YugabyteDB (2.13.1.0-b60, 21121d69985fbf76aa6958d8f04a9bfa936293b5)

#line 1 "scan.c"

/*-------------------------------------------------------------------------

 *

 * scan.l

 *    lexical scanner for PostgreSQL

 *

 * NOTE NOTE NOTE:

 *

 * The rules in this file must be kept in sync with src/fe_utils/psqlscan.l!

 *

 * The rules are designed so that the scanner never has to backtrack,

 * in the sense that there is always a rule that can match the input

 * consumed so far (the rule action may internally throw back some input

 * with yyless(), however).  As explained in the flex manual, this makes

 * for a useful speed increase --- about a third faster than a plain -CF

 * lexer, in simple testing.  The extra complexity is mostly in the rules

 * for handling float numbers and continued string literals.  If you change

 * the lexical rules, verify that you haven't broken the no-backtrack

 * property by running flex with the "-b" option and checking that the

 * resulting "lex.backup" file says that no backing up is needed.  (As of

 * Postgres 9.2, this check is made automatically by the Makefile.)

 *

 *

 * Portions Copyright (c) 1996-2018, PostgreSQL Global Development Group

 * Portions Copyright (c) 1994, Regents of the University of California

 *

 * IDENTIFICATION

 *    src/backend/parser/scan.l

 *

 *-------------------------------------------------------------------------

 */

#include "postgres.h"

#include <ctype.h>

#include <unistd.h>

#include "common/string.h"

#include "parser/gramparse.h"

#include "parser/parser.h"    /* only needed for GUC variables */

#include "parser/scansup.h"

#include "mb/pg_wchar.h"

#line 43 "scan.c"

#define  YY_INT_ALIGNED short int

/* A lexical scanner generated by flex */

#define FLEX_SCANNER

#define YY_FLEX_MAJOR_VERSION 2

#define YY_FLEX_MINOR_VERSION 6

#define YY_FLEX_SUBMINOR_VERSION 3

#if YY_FLEX_SUBMINOR_VERSION > 0

#define FLEX_BETA

#endif

    #define yy_create_buffer core_yy_create_buffer

    #define yy_delete_buffer core_yy_delete_buffer

    #define yy_scan_buffer core_yy_scan_buffer

    #define yy_scan_string core_yy_scan_string

    #define yy_scan_bytes core_yy_scan_bytes

    #define yy_init_buffer core_yy_init_buffer

    #define yy_flush_buffer core_yy_flush_buffer

    #define yy_load_buffer_state core_yy_load_buffer_state

    #define yy_switch_to_buffer core_yy_switch_to_buffer

    #define yypush_buffer_state core_yypush_buffer_state

    #define yypop_buffer_state core_yypop_buffer_state

    #define yyensure_buffer_stack core_yyensure_buffer_stack

    #define yylex core_yylex

    #define yyrestart core_yyrestart

    #define yylex_init core_yylex_init

    #define yylex_init_extra core_yylex_init_extra

    #define yylex_destroy core_yylex_destroy

    #define yyget_debug core_yyget_debug

    #define yyset_debug core_yyset_debug

    #define yyget_extra core_yyget_extra

    #define yyset_extra core_yyset_extra

    #define yyget_in core_yyget_in

    #define yyset_in core_yyset_in

    #define yyget_out core_yyget_out

    #define yyset_out core_yyset_out

    #define yyget_leng core_yyget_leng

    #define yyget_text core_yyget_text

    #define yyget_lineno core_yyget_lineno

    #define yyset_lineno core_yyset_lineno

        #define yyget_column core_yyget_column

        #define yyset_column core_yyset_column

    #define yywrap core_yywrap

    #define yyget_lval core_yyget_lval

    #define yyset_lval core_yyset_lval

    #define yyget_lloc core_yyget_lloc

    #define yyset_lloc core_yyset_lloc

    #define yyalloc core_yyalloc

    #define yyrealloc core_yyrealloc

    #define yyfree core_yyfree

/* First, we deal with  platform-specific or compiler-specific issues. */

/* begin standard C headers. */

#include <stdio.h>

#include <string.h>

#include <errno.h>

#include <stdlib.h>

/* end standard C headers. */

/* flex integer type definitions */

#ifndef FLEXINT_H

#define FLEXINT_H

/* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */

#if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L

/* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,

 * if you want the limit (max/min) macros for int types. 

 */

#ifndef __STDC_LIMIT_MACROS

#define __STDC_LIMIT_MACROS 1

#endif

#include <inttypes.h>

typedef int8_t flex_int8_t;

typedef uint8_t flex_uint8_t;

typedef int16_t flex_int16_t;

typedef uint16_t flex_uint16_t;

typedef int32_t flex_int32_t;

typedef uint32_t flex_uint32_t;

#else

typedef signed char flex_int8_t;

typedef short int flex_int16_t;

typedef int flex_int32_t;

typedef unsigned char flex_uint8_t; 

typedef unsigned short int flex_uint16_t;

typedef unsigned int flex_uint32_t;

/* Limits of integral types. */

#ifndef INT8_MIN

#define INT8_MIN               (-128)

#endif

#ifndef INT16_MIN

#define INT16_MIN              (-32767-1)

#endif

#ifndef INT32_MIN

#define INT32_MIN              (-2147483647-1)

#endif

#ifndef INT8_MAX

#define INT8_MAX               (127)

#endif

#ifndef INT16_MAX

#define INT16_MAX              (32767)

#endif

#ifndef INT32_MAX

#define INT32_MAX              (2147483647)

#endif

#ifndef UINT8_MAX

#define UINT8_MAX              (255U)

#endif

#ifndef UINT16_MAX

#define UINT16_MAX             (65535U)

#endif

#ifndef UINT32_MAX

#define UINT32_MAX             (4294967295U)

#endif

#endif /* ! C99 */

#endif /* ! FLEXINT_H */

/* TODO: this is always defined, so inline it */

#define yyconst const

#if defined(__GNUC__) && __GNUC__ >= 3

#define yynoreturn __attribute__((__noreturn__))

#else

#define yynoreturn

#endif

/* Returned upon end-of-file. */

#define YY_NULL 0

/* Promotes a possibly negative, possibly signed char to an

 *   integer in range [0..255] for use as an array index.

 */

#define YY_SC_TO_UI(c) ((YY_CHAR) (c))

/* An opaque pointer. */

#ifndef YY_TYPEDEF_YY_SCANNER_T

#define YY_TYPEDEF_YY_SCANNER_T

typedef void* yyscan_t;

#endif

/* For convenience, these vars (plus the bison vars far below)

   are macros in the reentrant scanner. */

#define yyin yyg->yyin_r

#define yyout yyg->yyout_r

#define yyextra yyg->yyextra_r

#define yyleng yyg->yyleng_r

#define yytext yyg->yytext_r

#define yylineno (YY_CURRENT_BUFFER_LVALUE->yy_bs_lineno)

#define yycolumn (YY_CURRENT_BUFFER_LVALUE->yy_bs_column)

#define yy_flex_debug yyg->yy_flex_debug_r

/* Enter a start condition.  This macro really ought to take a parameter,

 * but we do it the disgusting crufty way forced on us by the ()-less

 * definition of BEGIN.

 */

#define BEGIN yyg->yy_start = 1 + 2 *

/* Translate the current start state into a value that can be later handed

 * to BEGIN to return to the state.  The YYSTATE alias is for lex

 * compatibility.

 */

#define YY_START ((yyg->yy_start - 1) / 2)

#define YYSTATE YY_START

/* Action number for EOF rule of a given start state. */

#define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)

/* Special action meaning "start processing a new file". */

#define YY_NEW_FILE core_yyrestart(yyin ,yyscanner )

#define YY_END_OF_BUFFER_CHAR 0

/* Size of default input buffer. */

#ifndef YY_BUF_SIZE

#ifdef __ia64__

/* On IA-64, the buffer size is 16k, not 8k.

 * Moreover, YY_BUF_SIZE is 2*YY_READ_BUF_SIZE in the general case.

 * Ditto for the __ia64__ case accordingly.

 */

#define YY_BUF_SIZE 32768

#else

#define YY_BUF_SIZE 16384

#endif /* __ia64__ */

#endif

/* The state buf must be large enough to hold one state per character in the main buffer.

 */

#define YY_STATE_BUF_SIZE   ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))

#ifndef YY_TYPEDEF_YY_BUFFER_STATE

#define YY_TYPEDEF_YY_BUFFER_STATE

typedef struct yy_buffer_state *YY_BUFFER_STATE;

#endif

#ifndef YY_TYPEDEF_YY_SIZE_T

#define YY_TYPEDEF_YY_SIZE_T

typedef size_t yy_size_t;

#endif

#define EOB_ACT_CONTINUE_SCAN 0

#define EOB_ACT_END_OF_FILE 1

#define EOB_ACT_LAST_MATCH 2

    #define YY_LESS_LINENO(n)

    #define YY_LINENO_REWIND_TO(ptr)

/* Return all but the first "n" matched characters back to the input stream. */

#define yyless(n) \

  do \

    { \

    /* Undo effects of setting up yytext. */ \

        int yyless_macro_arg = (n); \

        YY_LESS_LINENO(yyless_macro_arg);\

    *yy_cp = yyg->yy_hold_char; \

    YY_RESTORE_YY_MORE_OFFSET \

    yyg->yy_c_buf_p = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \

    YY_DO_BEFORE_ACTION; /* set up yytext again */ \

    } \

  while ( 0 )

#define unput(c) yyunput( c, yyg->yytext_ptr , yyscanner )

#ifndef YY_STRUCT_YY_BUFFER_STATE

#define YY_STRUCT_YY_BUFFER_STATE

struct yy_buffer_state

  {

  FILE *yy_input_file;

  char *yy_ch_buf;    /* input buffer */

  char *yy_buf_pos;   /* current position in input buffer */

  /* Size of input buffer in bytes, not including room for EOB

   * characters.

   */

  int yy_buf_size;

  /* Number of characters read into yy_ch_buf, not including EOB

   * characters.

   */

  int yy_n_chars;

  /* Whether we "own" the buffer - i.e., we know we created it,

   * and can realloc() it to grow it, and should free() it to

   * delete it.

   */

  int yy_is_our_buffer;

  /* Whether this is an "interactive" input source; if so, and

   * if we're using stdio for input, then we want to use getc()

   * instead of fread(), to make sure we stop fetching input after

   * each newline.

   */

  int yy_is_interactive;

  /* Whether we're considered to be at the beginning of a line.

   * If so, '^' rules will be active on the next match, otherwise

   * not.

   */

  int yy_at_bol;

    int yy_bs_lineno; /**< The line count. */

    int yy_bs_column; /**< The column count. */

  /* Whether to try to fill the input buffer when we reach the

   * end of it.

   */

  int yy_fill_buffer;

  int yy_buffer_status;

#define YY_BUFFER_NEW 0

#define YY_BUFFER_NORMAL 1

  /* When an EOF's been seen but there's still some text to process

   * then we mark the buffer as YY_EOF_PENDING, to indicate that we

   * shouldn't try reading from the input source any more.  We might

   * still have a bunch of tokens to match, though, because of

   * possible backing-up.

   *

   * When we actually see the EOF, we change the status to "new"

   * (via core_yyrestart()), so that the user can continue scanning by

   * just pointing yyin at a new input file.

   */

#define YY_BUFFER_EOF_PENDING 2

  };

#endif /* !YY_STRUCT_YY_BUFFER_STATE */

/* We provide macros for accessing buffer states in case in the

 * future we want to put the buffer states in a more general

 * "scanner state".

 *

 * Returns the top of the stack, or NULL.

 */

#define YY_CURRENT_BUFFER ( yyg->yy_buffer_stack \

                          ? 
yyg->yy_buffer_stack[yyg->yy_buffer_stack_top]8.21M
 \

                          : NULL)

/* Same as previous macro, but useful when we know that the buffer stack is not

 * NULL or when we need an lvalue. For internal use only.

 */

#define YY_CURRENT_BUFFER_LVALUE yyg->yy_buffer_stack[yyg->yy_buffer_stack_top]

void core_yyrestart ( FILE *input_file , yyscan_t yyscanner );

void core_yy_switch_to_buffer ( YY_BUFFER_STATE new_buffer , yyscan_t yyscanner );

YY_BUFFER_STATE core_yy_create_buffer ( FILE *file, int size , yyscan_t yyscanner );

void core_yy_delete_buffer ( YY_BUFFER_STATE b , yyscan_t yyscanner );

void core_yy_flush_buffer ( YY_BUFFER_STATE b , yyscan_t yyscanner );

void core_yypush_buffer_state ( YY_BUFFER_STATE new_buffer , yyscan_t yyscanner );

void core_yypop_buffer_state ( yyscan_t yyscanner );

static void core_yyensure_buffer_stack ( yyscan_t yyscanner );

static void core_yy_load_buffer_state ( yyscan_t yyscanner );

static void core_yy_init_buffer ( YY_BUFFER_STATE b, FILE *file , yyscan_t yyscanner );

#define YY_FLUSH_BUFFER core_yy_flush_buffer(YY_CURRENT_BUFFER ,yyscanner)

YY_BUFFER_STATE core_yy_scan_buffer ( char *base, yy_size_t size , yyscan_t yyscanner );

YY_BUFFER_STATE core_yy_scan_string ( const char *yy_str , yyscan_t yyscanner );

YY_BUFFER_STATE core_yy_scan_bytes ( const char *bytes, int len , yyscan_t yyscanner );

void *core_yyalloc ( yy_size_t , yyscan_t yyscanner );

void *core_yyrealloc ( void *, yy_size_t , yyscan_t yyscanner );

void core_yyfree ( void * , yyscan_t yyscanner );

#define yy_new_buffer core_yy_create_buffer

#define yy_set_interactive(is_interactive) \

  { \

  if ( ! YY_CURRENT_BUFFER ){ \

        core_yyensure_buffer_stack (yyscanner); \

    YY_CURRENT_BUFFER_LVALUE =    \

            core_yy_create_buffer(yyin,YY_BUF_SIZE ,yyscanner); \

  } \

  YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \

  }

#define yy_set_bol(at_bol) \

  { \

  if ( ! YY_CURRENT_BUFFER ){\

        core_yyensure_buffer_stack (yyscanner); \

    YY_CURRENT_BUFFER_LVALUE =    \

            core_yy_create_buffer(yyin,YY_BUF_SIZE ,yyscanner); \

  } \

  YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \

  }

#define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)

/* Begin user sect3 */

#define core_yywrap(yyscanner) (/*CONSTCOND*/1)

#define YY_SKIP_YYWRAP

typedef flex_uint8_t YY_CHAR;

typedef const struct yy_trans_info *yy_state_type;

#define yytext_ptr yytext_r

static yy_state_type yy_get_previous_state ( yyscan_t yyscanner );

static yy_state_type yy_try_NUL_trans ( yy_state_type current_state  , yyscan_t yyscanner);

static int yy_get_next_buffer ( yyscan_t yyscanner );

static void yynoreturn yy_fatal_error ( const char* msg , yyscan_t yyscanner );

/* Done after the current pattern has been matched and before the

 * corresponding action - sets up yytext.

 */

#define YY_DO_BEFORE_ACTION \

  yyg->yytext_ptr = yy_bp; \

  yyleng = (int) (yy_cp - yy_bp); \

  yyg->yy_hold_char = *yy_cp; \

  *yy_cp = '\0'; \

  yyg->yy_c_buf_p = yy_cp;

#define YY_NUM_RULES 79

#define YY_END_OF_BUFFER 80

struct yy_trans_info

  {

  flex_int32_t yy_verify;

  flex_int32_t yy_nxt;

  };

static const struct yy_trans_info yy_transition[37005] =

    {

 {   0,   0 }, {   0,36749 }, {   0,   0 }, {   0,36747 }, {   1,6708 },

 {   2,6708 }, {   3,6708 }, {   4,6708 }, {   5,6708 }, {   6,6708 },

 {   7,6708 }, {   8,6708 }, {   9,6710 }, {  10,6715 }, {  11,6708 },

 {  12,6710 }, {  13,6710 }, {  14,6708 }, {  15,6708 }, {  16,6708 },

 {  17,6708 }, {  18,6708 }, {  19,6708 }, {  20,6708 }, {  21,6708 },

 {  22,6708 }, {  23,6708 }, {  24,6708 }, {  25,6708 }, {  26,6708 },

 {  27,6708 }, {  28,6708 }, {  29,6708 }, {  30,6708 }, {  31,6708 },

 {  32,6710 }, {  33,6717 }, {  34,6712 }, {  35,6757 }, {  36,6823 },

 {  37,7080 }, {  38,6757 }, {  39,6730 }, {  40,6732 }, {  41,6732 },

 {  42,7080 }, {  43,7080 }, {  44,6732 }, {  45,7091 }, {  46,7110 },

 {  47,7181 }, {  48,7183 }, {  49,7183 }, {  50,7183 }, {  51,7183 },

 {  52,7183 }, {  53,7183 }, {  54,7183 }, {  55,7183 }, {  56,7183 },

 {  57,7183 }, {  58,6735 }, {  59,6732 }, {  60,7248 }, {  61,7259 },

 {  62,7326 }, {  63,6757 }, {  64,6757 }, {  65,7358 }, {  66,7615 },

 {  67,7358 }, {  68,7358 }, {  69,7872 }, {  70,7358 }, {  71,7358 },

 {  72,7358 }, {  73,7358 }, {  74,7358 }, {  75,7358 }, {  76,7358 },

 {  77,7358 }, {  78,8129 }, {  79,7358 }, {  80,7358 }, {  81,7358 },

 {  82,7358 }, {  83,7358 }, {  84,7358 }, {  85,8386 }, {  86,7358 },

 {  87,7358 }, {  88,8643 }, {  89,7358 }, {  90,7358 }, {  91,6732 },

 {  92,6708 }, {  93,6732 }, {  94,7080 }, {  95,7358 }, {  96,6757 },

 {  97,7358 }, {  98,7615 }, {  99,7358 }, { 100,7358 }, { 101,7872 },

 { 102,7358 }, { 103,7358 }, { 104,7358 }, { 105,7358 }, { 106,7358 },

 { 107,7358 }, { 108,7358 }, { 109,7358 }, { 110,8129 }, { 111,7358 },

 { 112,7358 }, { 113,7358 }, { 114,7358 }, { 115,7358 }, { 116,7358 },

 { 117,8386 }, { 118,7358 }, { 119,7358 }, { 120,8643 }, { 121,7358 },

 { 122,7358 }, { 123,6708 }, { 124,6757 }, { 125,6708 }, { 126,6757 },

 { 127,6708 }, { 128,7358 }, { 129,7358 }, { 130,7358 }, { 131,7358 },

 { 132,7358 }, { 133,7358 }, { 134,7358 }, { 135,7358 }, { 136,7358 },

 { 137,7358 }, { 138,7358 }, { 139,7358 }, { 140,7358 }, { 141,7358 },

 { 142,7358 }, { 143,7358 }, { 144,7358 }, { 145,7358 }, { 146,7358 },

 { 147,7358 }, { 148,7358 }, { 149,7358 }, { 150,7358 }, { 151,7358 },

 { 152,7358 }, { 153,7358 }, { 154,7358 }, { 155,7358 }, { 156,7358 },

 { 157,7358 }, { 158,7358 }, { 159,7358 }, { 160,7358 }, { 161,7358 },

 { 162,7358 }, { 163,7358 }, { 164,7358 }, { 165,7358 }, { 166,7358 },

 { 167,7358 }, { 168,7358 }, { 169,7358 }, { 170,7358 }, { 171,7358 },

 { 172,7358 }, { 173,7358 }, { 174,7358 }, { 175,7358 }, { 176,7358 },

 { 177,7358 }, { 178,7358 }, { 179,7358 }, { 180,7358 }, { 181,7358 },

 { 182,7358 }, { 183,7358 }, { 184,7358 }, { 185,7358 }, { 186,7358 },

 { 187,7358 }, { 188,7358 }, { 189,7358 }, { 190,7358 }, { 191,7358 },

 { 192,7358 }, { 193,7358 }, { 194,7358 }, { 195,7358 }, { 196,7358 },

 { 197,7358 }, { 198,7358 }, { 199,7358 }, { 200,7358 }, { 201,7358 },

 { 202,7358 }, { 203,7358 }, { 204,7358 }, { 205,7358 }, { 206,7358 },

 { 207,7358 }, { 208,7358 }, { 209,7358 }, { 210,7358 }, { 211,7358 },

 { 212,7358 }, { 213,7358 }, { 214,7358 }, { 215,7358 }, { 216,7358 },

 { 217,7358 }, { 218,7358 }, { 219,7358 }, { 220,7358 }, { 221,7358 },

 { 222,7358 }, { 223,7358 }, { 224,7358 }, { 225,7358 }, { 226,7358 },

 { 227,7358 }, { 228,7358 }, { 229,7358 }, { 230,7358 }, { 231,7358 },

 { 232,7358 }, { 233,7358 }, { 234,7358 }, { 235,7358 }, { 236,7358 },

 { 237,7358 }, { 238,7358 }, { 239,7358 }, { 240,7358 }, { 241,7358 },

 { 242,7358 }, { 243,7358 }, { 244,7358 }, { 245,7358 }, { 246,7358 },

 { 247,7358 }, { 248,7358 }, { 249,7358 }, { 250,7358 }, { 251,7358 },

 { 252,7358 }, { 253,7358 }, { 254,7358 }, { 255,7358 }, { 256,6708 },

 {   0,   0 }, {   0,36489 }, {   1,6450 }, {   2,6450 }, {   3,6450 },

 {   4,6450 }, {   5,6450 }, {   6,6450 }, {   7,6450 }, {   8,6450 },

 {   9,6452 }, {  10,6457 }, {  11,6450 }, {  12,6452 }, {  13,6452 },

 {  14,6450 }, {  15,6450 }, {  16,6450 }, {  17,6450 }, {  18,6450 },

 {  19,6450 }, {  20,6450 }, {  21,6450 }, {  22,6450 }, {  23,6450 },

 {  24,6450 }, {  25,6450 }, {  26,6450 }, {  27,6450 }, {  28,6450 },

 {  29,6450 }, {  30,6450 }, {  31,6450 }, {  32,6452 }, {  33,6459 },

 {  34,6454 }, {  35,6499 }, {  36,6565 }, {  37,6822 }, {  38,6499 },

 {  39,6472 }, {  40,6474 }, {  41,6474 }, {  42,6822 }, {  43,6822 },

 {  44,6474 }, {  45,6833 }, {  46,6852 }, {  47,6923 }, {  48,6925 },

 {  49,6925 }, {  50,6925 }, {  51,6925 }, {  52,6925 }, {  53,6925 },

 {  54,6925 }, {  55,6925 }, {  56,6925 }, {  57,6925 }, {  58,6477 },

 {  59,6474 }, {  60,6990 }, {  61,7001 }, {  62,7068 }, {  63,6499 },

 {  64,6499 }, {  65,7100 }, {  66,7357 }, {  67,7100 }, {  68,7100 },

 {  69,7614 }, {  70,7100 }, {  71,7100 }, {  72,7100 }, {  73,7100 },

 {  74,7100 }, {  75,7100 }, {  76,7100 }, {  77,7100 }, {  78,7871 },

 {  79,7100 }, {  80,7100 }, {  81,7100 }, {  82,7100 }, {  83,7100 },

 {  84,7100 }, {  85,8128 }, {  86,7100 }, {  87,7100 }, {  88,8385 },

 {  89,7100 }, {  90,7100 }, {  91,6474 }, {  92,6450 }, {  93,6474 },

 {  94,6822 }, {  95,7100 }, {  96,6499 }, {  97,7100 }, {  98,7357 },

 {  99,7100 }, { 100,7100 }, { 101,7614 }, { 102,7100 }, { 103,7100 },

 { 104,7100 }, { 105,7100 }, { 106,7100 }, { 107,7100 }, { 108,7100 },

 { 109,7100 }, { 110,7871 }, { 111,7100 }, { 112,7100 }, { 113,7100 },

 { 114,7100 }, { 115,7100 }, { 116,7100 }, { 117,8128 }, { 118,7100 },

 { 119,7100 }, { 120,8385 }, { 121,7100 }, { 122,7100 }, { 123,6450 },

 { 124,6499 }, { 125,6450 }, { 126,6499 }, { 127,6450 }, { 128,7100 },

 { 129,7100 }, { 130,7100 }, { 131,7100 }, { 132,7100 }, { 133,7100 },

 { 134,7100 }, { 135,7100 }, { 136,7100 }, { 137,7100 }, { 138,7100 },

 { 139,7100 }, { 140,7100 }, { 141,7100 }, { 142,7100 }, { 143,7100 },

 { 144,7100 }, { 145,7100 }, { 146,7100 }, { 147,7100 }, { 148,7100 },

 { 149,7100 }, { 150,7100 }, { 151,7100 }, { 152,7100 }, { 153,7100 },

 { 154,7100 }, { 155,7100 }, { 156,7100 }, { 157,7100 }, { 158,7100 },

 { 159,7100 }, { 160,7100 }, { 161,7100 }, { 162,7100 }, { 163,7100 },

 { 164,7100 }, { 165,7100 }, { 166,7100 }, { 167,7100 }, { 168,7100 },

 { 169,7100 }, { 170,7100 }, { 171,7100 }, { 172,7100 }, { 173,7100 },

 { 174,7100 }, { 175,7100 }, { 176,7100 }, { 177,7100 }, { 178,7100 },

 { 179,7100 }, { 180,7100 }, { 181,7100 }, { 182,7100 }, { 183,7100 },

 { 184,7100 }, { 185,7100 }, { 186,7100 }, { 187,7100 }, { 188,7100 },

 { 189,7100 }, { 190,7100 }, { 191,7100 }, { 192,7100 }, { 193,7100 },

 { 194,7100 }, { 195,7100 }, { 196,7100 }, { 197,7100 }, { 198,7100 },

 { 199,7100 }, { 200,7100 }, { 201,7100 }, { 202,7100 }, { 203,7100 },

 { 204,7100 }, { 205,7100 }, { 206,7100 }, { 207,7100 }, { 208,7100 },

 { 209,7100 }, { 210,7100 }, { 211,7100 }, { 212,7100 }, { 213,7100 },

 { 214,7100 }, { 215,7100 }, { 216,7100 }, { 217,7100 }, { 218,7100 },

 { 219,7100 }, { 220,7100 }, { 221,7100 }, { 222,7100 }, { 223,7100 },

 { 224,7100 }, { 225,7100 }, { 226,7100 }, { 227,7100 }, { 228,7100 },

 { 229,7100 }, { 230,7100 }, { 231,7100 }, { 232,7100 }, { 233,7100 },

 { 234,7100 }, { 235,7100 }, { 236,7100 }, { 237,7100 }, { 238,7100 },

 { 239,7100 }, { 240,7100 }, { 241,7100 }, { 242,7100 }, { 243,7100 },

 { 244,7100 }, { 245,7100 }, { 246,7100 }, { 247,7100 }, { 248,7100 },

 { 249,7100 }, { 250,7100 }, { 251,7100 }, { 252,7100 }, { 253,7100 },

 { 254,7100 }, { 255,7100 }, { 256,6450 }, {   0,  12 }, {   0,36231 },

 {   1,8384 }, {   2,8384 }, {   3,8384 }, {   4,8384 }, {   5,8384 },

 {   6,8384 }, {   7,8384 }, {   8,8384 }, {   9,8384 }, {  10,8384 },

 {  11,8384 }, {  12,8384 }, {  13,8384 }, {  14,8384 }, {  15,8384 },

 {  16,8384 }, {  17,8384 }, {  18,8384 }, {  19,8384 }, {  20,8384 },

 {  21,8384 }, {  22,8384 }, {  23,8384 }, {  24,8384 }, {  25,8384 },

 {  26,8384 }, {  27,8384 }, {  28,8384 }, {  29,8384 }, {  30,8384 },

 {  31,8384 }, {  32,8384 }, {  33,8384 }, {  34,8384 }, {  35,8384 },

 {  36,8384 }, {  37,8384 }, {  38,8384 }, {  39,8642 }, {  40,8384 },

 {  41,8384 }, {  42,8384 }, {  43,8384 }, {  44,8384 }, {  45,8384 },

 {  46,8384 }, {  47,8384 }, {  48,8384 }, {  49,8384 }, {  50,8384 },

 {  51,8384 }, {  52,8384 }, {  53,8384 }, {  54,8384 }, {  55,8384 },

 {  56,8384 }, {  57,8384 }, {  58,8384 }, {  59,8384 }, {  60,8384 },

 {  61,8384 }, {  62,8384 }, {  63,8384 }, {  64,8384 }, {  65,8384 },

 {  66,8384 }, {  67,8384 }, {  68,8384 }, {  69,8384 }, {  70,8384 },

 {  71,8384 }, {  72,8384 }, {  73,8384 }, {  74,8384 }, {  75,8384 },

 {  76,8384 }, {  77,8384 }, {  78,8384 }, {  79,8384 }, {  80,8384 },

 {  81,8384 }, {  82,8384 }, {  83,8384 }, {  84,8384 }, {  85,8384 },

 {  86,8384 }, {  87,8384 }, {  88,8384 }, {  89,8384 }, {  90,8384 },

 {  91,8384 }, {  92,8384 }, {  93,8384 }, {  94,8384 }, {  95,8384 },

 {  96,8384 }, {  97,8384 }, {  98,8384 }, {  99,8384 }, { 100,8384 },

 { 101,8384 }, { 102,8384 }, { 103,8384 }, { 104,8384 }, { 105,8384 },

 { 106,8384 }, { 107,8384 }, { 108,8384 }, { 109,8384 }, { 110,8384 },

 { 111,8384 }, { 112,8384 }, { 113,8384 }, { 114,8384 }, { 115,8384 },

 { 116,8384 }, { 117,8384 }, { 118,8384 }, { 119,8384 }, { 120,8384 },

 { 121,8384 }, { 122,8384 }, { 123,8384 }, { 124,8384 }, { 125,8384 },

 { 126,8384 }, { 127,8384 }, { 128,8384 }, { 129,8384 }, { 130,8384 },

 { 131,8384 }, { 132,8384 }, { 133,8384 }, { 134,8384 }, { 135,8384 },

 { 136,8384 }, { 137,8384 }, { 138,8384 }, { 139,8384 }, { 140,8384 },

 { 141,8384 }, { 142,8384 }, { 143,8384 }, { 144,8384 }, { 145,8384 },

 { 146,8384 }, { 147,8384 }, { 148,8384 }, { 149,8384 }, { 150,8384 },

 { 151,8384 }, { 152,8384 }, { 153,8384 }, { 154,8384 }, { 155,8384 },

 { 156,8384 }, { 157,8384 }, { 158,8384 }, { 159,8384 }, { 160,8384 },

 { 161,8384 }, { 162,8384 }, { 163,8384 }, { 164,8384 }, { 165,8384 },

 { 166,8384 }, { 167,8384 }, { 168,8384 }, { 169,8384 }, { 170,8384 },

 { 171,8384 }, { 172,8384 }, { 173,8384 }, { 174,8384 }, { 175,8384 },

 { 176,8384 }, { 177,8384 }, { 178,8384 }, { 179,8384 }, { 180,8384 },

 { 181,8384 }, { 182,8384 }, { 183,8384 }, { 184,8384 }, { 185,8384 },

 { 186,8384 }, { 187,8384 }, { 188,8384 }, { 189,8384 }, { 190,8384 },

 { 191,8384 }, { 192,8384 }, { 193,8384 }, { 194,8384 }, { 195,8384 },

 { 196,8384 }, { 197,8384 }, { 198,8384 }, { 199,8384 }, { 200,8384 },

 { 201,8384 }, { 202,8384 }, { 203,8384 }, { 204,8384 }, { 205,8384 },

 { 206,8384 }, { 207,8384 }, { 208,8384 }, { 209,8384 }, { 210,8384 },

 { 211,8384 }, { 212,8384 }, { 213,8384 }, { 214,8384 }, { 215,8384 },

 { 216,8384 }, { 217,8384 }, { 218,8384 }, { 219,8384 }, { 220,8384 },

 { 221,8384 }, { 222,8384 }, { 223,8384 }, { 224,8384 }, { 225,8384 },

 { 226,8384 }, { 227,8384 }, { 228,8384 }, { 229,8384 }, { 230,8384 },

 { 231,8384 }, { 232,8384 }, { 233,8384 }, { 234,8384 }, { 235,8384 },

 { 236,8384 }, { 237,8384 }, { 238,8384 }, { 239,8384 }, { 240,8384 },

 { 241,8384 }, { 242,8384 }, { 243,8384 }, { 244,8384 }, { 245,8384 },

 { 246,8384 }, { 247,8384 }, { 248,8384 }, { 249,8384 }, { 250,8384 },

 { 251,8384 }, { 252,8384 }, { 253,8384 }, { 254,8384 }, { 255,8384 },

 { 256,8384 }, {   0,  12 }, {   0,35973 }, {   1,8126 }, {   2,8126 },

 {   3,8126 }, {   4,8126 }, {   5,8126 }, {   6,8126 }, {   7,8126 },

 {   8,8126 }, {   9,8126 }, {  10,8126 }, {  11,8126 }, {  12,8126 },

 {  13,8126 }, {  14,8126 }, {  15,8126 }, {  16,8126 }, {  17,8126 },

 {  18,8126 }, {  19,8126 }, {  20,8126 }, {  21,8126 }, {  22,8126 },

 {  23,8126 }, {  24,8126 }, {  25,8126 }, {  26,8126 }, {  27,8126 },

 {  28,8126 }, {  29,8126 }, {  30,8126 }, {  31,8126 }, {  32,8126 },

 {  33,8126 }, {  34,8126 }, {  35,8126 }, {  36,8126 }, {  37,8126 },

 {  38,8126 }, {  39,8384 }, {  40,8126 }, {  41,8126 }, {  42,8126 },

 {  43,8126 }, {  44,8126 }, {  45,8126 }, {  46,8126 }, {  47,8126 },

 {  48,8126 }, {  49,8126 }, {  50,8126 }, {  51,8126 }, {  52,8126 },

 {  53,8126 }, {  54,8126 }, {  55,8126 }, {  56,8126 }, {  57,8126 },

 {  58,8126 }, {  59,8126 }, {  60,8126 }, {  61,8126 }, {  62,8126 },

 {  63,8126 }, {  64,8126 }, {  65,8126 }, {  66,8126 }, {  67,8126 },

 {  68,8126 }, {  69,8126 }, {  70,8126 }, {  71,8126 }, {  72,8126 },

 {  73,8126 }, {  74,8126 }, {  75,8126 }, {  76,8126 }, {  77,8126 },

 {  78,8126 }, {  79,8126 }, {  80,8126 }, {  81,8126 }, {  82,8126 },

 {  83,8126 }, {  84,8126 }, {  85,8126 }, {  86,8126 }, {  87,8126 },

 {  88,8126 }, {  89,8126 }, {  90,8126 }, {  91,8126 }, {  92,8126 },

 {  93,8126 }, {  94,8126 }, {  95,8126 }, {  96,8126 }, {  97,8126 },

 {  98,8126 }, {  99,8126 }, { 100,8126 }, { 101,8126 }, { 102,8126 },

 { 103,8126 }, { 104,8126 }, { 105,8126 }, { 106,8126 }, { 107,8126 },

 { 108,8126 }, { 109,8126 }, { 110,8126 }, { 111,8126 }, { 112,8126 },

 { 113,8126 }, { 114,8126 }, { 115,8126 }, { 116,8126 }, { 117,8126 },

 { 118,8126 }, { 119,8126 }, { 120,8126 }, { 121,8126 }, { 122,8126 },

 { 123,8126 }, { 124,8126 }, { 125,8126 }, { 126,8126 }, { 127,8126 },

 { 128,8126 }, { 129,8126 }, { 130,8126 }, { 131,8126 }, { 132,8126 },

 { 133,8126 }, { 134,8126 }, { 135,8126 }, { 136,8126 }, { 137,8126 },

 { 138,8126 }, { 139,8126 }, { 140,8126 }, { 141,8126 }, { 142,8126 },

 { 143,8126 }, { 144,8126 }, { 145,8126 }, { 146,8126 }, { 147,8126 },

 { 148,8126 }, { 149,8126 }, { 150,8126 }, { 151,8126 }, { 152,8126 },

 { 153,8126 }, { 154,8126 }, { 155,8126 }, { 156,8126 }, { 157,8126 },

 { 158,8126 }, { 159,8126 }, { 160,8126 }, { 161,8126 }, { 162,8126 },

 { 163,8126 }, { 164,8126 }, { 165,8126 }, { 166,8126 }, { 167,8126 },

 { 168,8126 }, { 169,8126 }, { 170,8126 }, { 171,8126 }, { 172,8126 },

 { 173,8126 }, { 174,8126 }, { 175,8126 }, { 176,8126 }, { 177,8126 },

 { 178,8126 }, { 179,8126 }, { 180,8126 }, { 181,8126 }, { 182,8126 },

 { 183,8126 }, { 184,8126 }, { 185,8126 }, { 186,8126 }, { 187,8126 },

 { 188,8126 }, { 189,8126 }, { 190,8126 }, { 191,8126 }, { 192,8126 },

 { 193,8126 }, { 194,8126 }, { 195,8126 }, { 196,8126 }, { 197,8126 },

 { 198,8126 }, { 199,8126 }, { 200,8126 }, { 201,8126 }, { 202,8126 },

 { 203,8126 }, { 204,8126 }, { 205,8126 }, { 206,8126 }, { 207,8126 },

 { 208,8126 }, { 209,8126 }, { 210,8126 }, { 211,8126 }, { 212,8126 },

 { 213,8126 }, { 214,8126 }, { 215,8126 }, { 216,8126 }, { 217,8126 },

 { 218,8126 }, { 219,8126 }, { 220,8126 }, { 221,8126 }, { 222,8126 },

 { 223,8126 }, { 224,8126 }, { 225,8126 }, { 226,8126 }, { 227,8126 },

 { 228,8126 }, { 229,8126 }, { 230,8126 }, { 231,8126 }, { 232,8126 },

 { 233,8126 }, { 234,8126 }, { 235,8126 }, { 236,8126 }, { 237,8126 },

 { 238,8126 }, { 239,8126 }, { 240,8126 }, { 241,8126 }, { 242,8126 },

 { 243,8126 }, { 244,8126 }, { 245,8126 }, { 246,8126 }, { 247,8126 },

 { 248,8126 }, { 249,8126 }, { 250,8126 }, { 251,8126 }, { 252,8126 },

 { 253,8126 }, { 254,8126 }, { 255,8126 }, { 256,8126 }, {   0,   0 },

 {   0,35715 }, {   1,8173 }, {   2,8173 }, {   3,8173 }, {   4,8173 },

 {   5,8173 }, {   6,8173 }, {   7,8173 }, {   8,8173 }, {   9,8173 },

 {  10,8173 }, {  11,8173 }, {  12,8173 }, {  13,8173 }, {  14,8173 },

 {  15,8173 }, {  16,8173 }, {  17,8173 }, {  18,8173 }, {  19,8173 },

 {  20,8173 }, {  21,8173 }, {  22,8173 }, {  23,8173 }, {  24,8173 },

 {  25,8173 }, {  26,8173 }, {  27,8173 }, {  28,8173 }, {  29,8173 },

 {  30,8173 }, {  31,8173 }, {  32,8173 }, {  33,8431 }, {  34,8173 },

 {  35,8431 }, {  36,8173 }, {  37,8431 }, {  38,8431 }, {  39,8173 },

 {  40,8173 }, {  41,8173 }, {  42,5708 }, {  43,8431 }, {  44,8173 },

 {  45,8431 }, {  46,8173 }, {  47,5712 }, {  48,8173 }, {  49,8173 },

 {  50,8173 }, {  51,8173 }, {  52,8173 }, {  53,8173 }, {  54,8173 },

 {  55,8173 }, {  56,8173 }, {  57,8173 }, {  58,8173 }, {  59,8173 },

 {  60,8431 }, {  61,8431 }, {  62,8431 }, {  63,8431 }, {  64,8431 },

 {  65,8173 }, {  66,8173 }, {  67,8173 }, {  68,8173 }, {  69,8173 },

 {  70,8173 }, {  71,8173 }, {  72,8173 }, {  73,8173 }, {  74,8173 },

 {  75,8173 }, {  76,8173 }, {  77,8173 }, {  78,8173 }, {  79,8173 },

 {  80,8173 }, {  81,8173 }, {  82,8173 }, {  83,8173 }, {  84,8173 },

 {  85,8173 }, {  86,8173 }, {  87,8173 }, {  88,8173 }, {  89,8173 },

 {  90,8173 }, {  91,8173 }, {  92,8173 }, {  93,8173 }, {  94,8431 },

 {  95,8173 }, {  96,8431 }, {  97,8173 }, {  98,8173 }, {  99,8173 },

 { 100,8173 }, { 101,8173 }, { 102,8173 }, { 103,8173 }, { 104,8173 },

 { 105,8173 }, { 106,8173 }, { 107,8173 }, { 108,8173 }, { 109,8173 },

 { 110,8173 }, { 111,8173 }, { 112,8173 }, { 113,8173 }, { 114,8173 },

 { 115,8173 }, { 116,8173 }, { 117,8173 }, { 118,8173 }, { 119,8173 },

 { 120,8173 }, { 121,8173 }, { 122,8173 }, { 123,8173 }, { 124,8431 },

 { 125,8173 }, { 126,8431 }, { 127,8173 }, { 128,8173 }, { 129,8173 },

 { 130,8173 }, { 131,8173 }, { 132,8173 }, { 133,8173 }, { 134,8173 },

 { 135,8173 }, { 136,8173 }, { 137,8173 }, { 138,8173 }, { 139,8173 },

 { 140,8173 }, { 141,8173 }, { 142,8173 }, { 143,8173 }, { 144,8173 },

 { 145,8173 }, { 146,8173 }, { 147,8173 }, { 148,8173 }, { 149,8173 },

 { 150,8173 }, { 151,8173 }, { 152,8173 }, { 153,8173 }, { 154,8173 },

 { 155,8173 }, { 156,8173 }, { 157,8173 }, { 158,8173 }, { 159,8173 },

 { 160,8173 }, { 161,8173 }, { 162,8173 }, { 163,8173 }, { 164,8173 },

 { 165,8173 }, { 166,8173 }, { 167,8173 }, { 168,8173 }, { 169,8173 },

 { 170,8173 }, { 171,8173 }, { 172,8173 }, { 173,8173 }, { 174,8173 },

 { 175,8173 }, { 176,8173 }, { 177,8173 }, { 178,8173 }, { 179,8173 },

 { 180,8173 }, { 181,8173 }, { 182,8173 }, { 183,8173 }, { 184,8173 },

 { 185,8173 }, { 186,8173 }, { 187,8173 }, { 188,8173 }, { 189,8173 },

 { 190,8173 }, { 191,8173 }, { 192,8173 }, { 193,8173 }, { 194,8173 },

 { 195,8173 }, { 196,8173 }, { 197,8173 }, { 198,8173 }, { 199,8173 },

 { 200,8173 }, { 201,8173 }, { 202,8173 }, { 203,8173 }, { 204,8173 },

 { 205,8173 }, { 206,8173 }, { 207,8173 }, { 208,8173 }, { 209,8173 },

 { 210,8173 }, { 211,8173 }, { 212,8173 }, { 213,8173 }, { 214,8173 },

 { 215,8173 }, { 216,8173 }, { 217,8173 }, { 218,8173 }, { 219,8173 },

 { 220,8173 }, { 221,8173 }, { 222,8173 }, { 223,8173 }, { 224,8173 },

 { 225,8173 }, { 226,8173 }, { 227,8173 }, { 228,8173 }, { 229,8173 },

 { 230,8173 }, { 231,8173 }, { 232,8173 }, { 233,8173 }, { 234,8173 },

 { 235,8173 }, { 236,8173 }, { 237,8173 }, { 238,8173 }, { 239,8173 },

 { 240,8173 }, { 241,8173 }, { 242,8173 }, { 243,8173 }, { 244,8173 },

 { 245,8173 }, { 246,8173 }, { 247,8173 }, { 248,8173 }, { 249,8173 },

 { 250,8173 }, { 251,8173 }, { 252,8173 }, { 253,8173 }, { 254,8173 },

 { 255,8173 }, { 256,8173 }, {   0,   0 }, {   0,35457 }, {   1,7915 },

 {   2,7915 }, {   3,7915 }, {   4,7915 }, {   5,7915 }, {   6,7915 },

 {   7,7915 }, {   8,7915 }, {   9,7915 }, {  10,7915 }, {  11,7915 },

 {  12,7915 }, {  13,7915 }, {  14,7915 }, {  15,7915 }, {  16,7915 },

 {  17,7915 }, {  18,7915 }, {  19,7915 }, {  20,7915 }, {  21,7915 },

 {  22,7915 }, {  23,7915 }, {  24,7915 }, {  25,7915 }, {  26,7915 },

 {  27,7915 }, {  28,7915 }, {  29,7915 }, {  30,7915 }, {  31,7915 },

 {  32,7915 }, {  33,8173 }, {  34,7915 }, {  35,8173 }, {  36,7915 },

 {  37,8173 }, {  38,8173 }, {  39,7915 }, {  40,7915 }, {  41,7915 },

 {  42,5450 }, {  43,8173 }, {  44,7915 }, {  45,8173 }, {  46,7915 },

 {  47,5454 }, {  48,7915 }, {  49,7915 }, {  50,7915 }, {  51,7915 },

 {  52,7915 }, {  53,7915 }, {  54,7915 }, {  55,7915 }, {  56,7915 },

 {  57,7915 }, {  58,7915 }, {  59,7915 }, {  60,8173 }, {  61,8173 },

 {  62,8173 }, {  63,8173 }, {  64,8173 }, {  65,7915 }, {  66,7915 },

 {  67,7915 }, {  68,7915 }, {  69,7915 }, {  70,7915 }, {  71,7915 },

 {  72,7915 }, {  73,7915 }, {  74,7915 }, {  75,7915 }, {  76,7915 },

 {  77,7915 }, {  78,7915 }, {  79,7915 }, {  80,7915 }, {  81,7915 },

 {  82,7915 }, {  83,7915 }, {  84,7915 }, {  85,7915 }, {  86,7915 },

 {  87,7915 }, {  88,7915 }, {  89,7915 }, {  90,7915 }, {  91,7915 },

 {  92,7915 }, {  93,7915 }, {  94,8173 }, {  95,7915 }, {  96,8173 },

 {  97,7915 }, {  98,7915 }, {  99,7915 }, { 100,7915 }, { 101,7915 },

 { 102,7915 }, { 103,7915 }, { 104,7915 }, { 105,7915 }, { 106,7915 },

 { 107,7915 }, { 108,7915 }, { 109,7915 }, { 110,7915 }, { 111,7915 },

 { 112,7915 }, { 113,7915 }, { 114,7915 }, { 115,7915 }, { 116,7915 },

 { 117,7915 }, { 118,7915 }, { 119,7915 }, { 120,7915 }, { 121,7915 },

 { 122,7915 }, { 123,7915 }, { 124,8173 }, { 125,7915 }, { 126,8173 },

 { 127,7915 }, { 128,7915 }, { 129,7915 }, { 130,7915 }, { 131,7915 },

 { 132,7915 }, { 133,7915 }, { 134,7915 }, { 135,7915 }, { 136,7915 },

 { 137,7915 }, { 138,7915 }, { 139,7915 }, { 140,7915 }, { 141,7915 },

 { 142,7915 }, { 143,7915 }, { 144,7915 }, { 145,7915 }, { 146,7915 },

 { 147,7915 }, { 148,7915 }, { 149,7915 }, { 150,7915 }, { 151,7915 },

 { 152,7915 }, { 153,7915 }, { 154,7915 }, { 155,7915 }, { 156,7915 },

 { 157,7915 }, { 158,7915 }, { 159,7915 }, { 160,7915 }, { 161,7915 },

 { 162,7915 }, { 163,7915 }, { 164,7915 }, { 165,7915 }, { 166,7915 },

 { 167,7915 }, { 168,7915 }, { 169,7915 }, { 170,7915 }, { 171,7915 },

 { 172,7915 }, { 173,7915 }, { 174,7915 }, { 175,7915 }, { 176,7915 },

 { 177,7915 }, { 178,7915 }, { 179,7915 }, { 180,7915 }, { 181,7915 },

 { 182,7915 }, { 183,7915 }, { 184,7915 }, { 185,7915 }, { 186,7915 },

 { 187,7915 }, { 188,7915 }, { 189,7915 }, { 190,7915 }, { 191,7915 },

 { 192,7915 }, { 193,7915 }, { 194,7915 }, { 195,7915 }, { 196,7915 },

 { 197,7915 }, { 198,7915 }, { 199,7915 }, { 200,7915 }, { 201,7915 },

 { 202,7915 }, { 203,7915 }, { 204,7915 }, { 205,7915 }, { 206,7915 },

 { 207,7915 }, { 208,7915 }, { 209,7915 }, { 210,7915 }, { 211,7915 },

 { 212,7915 }, { 213,7915 }, { 214,7915 }, { 215,7915 }, { 216,7915 },

 { 217,7915 }, { 218,7915 }, { 219,7915 }, { 220,7915 }, { 221,7915 },

 { 222,7915 }, { 223,7915 }, { 224,7915 }, { 225,7915 }, { 226,7915 },

 { 227,7915 }, { 228,7915 }, { 229,7915 }, { 230,7915 }, { 231,7915 },

 { 232,7915 }, { 233,7915 }, { 234,7915 }, { 235,7915 }, { 236,7915 },

 { 237,7915 }, { 238,7915 }, { 239,7915 }, { 240,7915 }, { 241,7915 },

 { 242,7915 }, { 243,7915 }, { 244,7915 }, { 245,7915 }, { 246,7915 },

 { 247,7915 }, { 248,7915 }, { 249,7915 }, { 250,7915 }, { 251,7915 },

 { 252,7915 }, { 253,7915 }, { 254,7915 }, { 255,7915 }, { 256,7915 },

 {   0,   0 }, {   0,35199 }, {   1,8173 }, {   2,8173 }, {   3,8173 },

 {   4,8173 }, {   5,8173 }, {   6,8173 }, {   7,8173 }, {   8,8173 },

 {   9,8173 }, {  10,8173 }, {  11,8173 }, {  12,8173 }, {  13,8173 },

 {  14,8173 }, {  15,8173 }, {  16,8173 }, {  17,8173 }, {  18,8173 },

 {  19,8173 }, {  20,8173 }, {  21,8173 }, {  22,8173 }, {  23,8173 },

 {  24,8173 }, {  25,8173 }, {  26,8173 }, {  27,8173 }, {  28,8173 },

 {  29,8173 }, {  30,8173 }, {  31,8173 }, {  32,8173 }, {  33,8173 },

 {  34,5201 }, {  35,8173 }, {  36,8173 }, {  37,8173 }, {  38,8173 },

 {  39,8173 }, {  40,8173 }, {  41,8173 }, {  42,8173 }, {  43,8173 },

 {  44,8173 }, {  45,8173 }, {  46,8173 }, {  47,8173 }, {  48,8173 },

 {  49,8173 }, {  50,8173 }, {  51,8173 }, {  52,8173 }, {  53,8173 },

 {  54,8173 }, {  55,8173 }, {  56,8173 }, {  57,8173 }, {  58,8173 },

 {  59,8173 }, {  60,8173 }, {  61,8173 }, {  62,8173 }, {  63,8173 },

 {  64,8173 }, {  65,8173 }, {  66,8173 }, {  67,8173 }, {  68,8173 },

 {  69,8173 }, {  70,8173 }, {  71,8173 }, {  72,8173 }, {  73,8173 },

 {  74,8173 }, {  75,8173 }, {  76,8173 }, {  77,8173 }, {  78,8173 },

 {  79,8173 }, {  80,8173 }, {  81,8173 }, {  82,8173 }, {  83,8173 },

 {  84,8173 }, {  85,8173 }, {  86,8173 }, {  87,8173 }, {  88,8173 },

 {  89,8173 }, {  90,8173 }, {  91,8173 }, {  92,8173 }, {  93,8173 },

 {  94,8173 }, {  95,8173 }, {  96,8173 }, {  97,8173 }, {  98,8173 },

 {  99,8173 }, { 100,8173 }, { 101,8173 }, { 102,8173 }, { 103,8173 },

 { 104,8173 }, { 105,8173 }, { 106,8173 }, { 107,8173 }, { 108,8173 },

 { 109,8173 }, { 110,8173 }, { 111,8173 }, { 112,8173 }, { 113,8173 },

 { 114,8173 }, { 115,8173 }, { 116,8173 }, { 117,8173 }, { 118,8173 },

 { 119,8173 }, { 120,8173 }, { 121,8173 }, { 122,8173 }, { 123,8173 },

 { 124,8173 }, { 125,8173 }, { 126,8173 }, { 127,8173 }, { 128,8173 },

 { 129,8173 }, { 130,8173 }, { 131,8173 }, { 132,8173 }, { 133,8173 },

 { 134,8173 }, { 135,8173 }, { 136,8173 }, { 137,8173 }, { 138,8173 },

 { 139,8173 }, { 140,8173 }, { 141,8173 }, { 142,8173 }, { 143,8173 },

 { 144,8173 }, { 145,8173 }, { 146,8173 }, { 147,8173 }, { 148,8173 },

 { 149,8173 }, { 150,8173 }, { 151,8173 }, { 152,8173 }, { 153,8173 },

 { 154,8173 }, { 155,8173 }, { 156,8173 }, { 157,8173 }, { 158,8173 },

 { 159,8173 }, { 160,8173 }, { 161,8173 }, { 162,8173 }, { 163,8173 },

 { 164,8173 }, { 165,8173 }, { 166,8173 }, { 167,8173 }, { 168,8173 },

 { 169,8173 }, { 170,8173 }, { 171,8173 }, { 172,8173 }, { 173,8173 },

 { 174,8173 }, { 175,8173 }, { 176,8173 }, { 177,8173 }, { 178,8173 },

 { 179,8173 }, { 180,8173 }, { 181,8173 }, { 182,8173 }, { 183,8173 },

 { 184,8173 }, { 185,8173 }, { 186,8173 }, { 187,8173 }, { 188,8173 },

 { 189,8173 }, { 190,8173 }, { 191,8173 }, { 192,8173 }, { 193,8173 },

 { 194,8173 }, { 195,8173 }, { 196,8173 }, { 197,8173 }, { 198,8173 },

 { 199,8173 }, { 200,8173 }, { 201,8173 }, { 202,8173 }, { 203,8173 },

 { 204,8173 }, { 205,8173 }, { 206,8173 }, { 207,8173 }, { 208,8173 },

 { 209,8173 }, { 210,8173 }, { 211,8173 }, { 212,8173 }, { 213,8173 },

 { 214,8173 }, { 215,8173 }, { 216,8173 }, { 217,8173 }, { 218,8173 },

 { 219,8173 }, { 220,8173 }, { 221,8173 }, { 222,8173 }, { 223,8173 },

 { 224,8173 }, { 225,8173 }, { 226,8173 }, { 227,8173 }, { 228,8173 },

 { 229,8173 }, { 230,8173 }, { 231,8173 }, { 232,8173 }, { 233,8173 },

 { 234,8173 }, { 235,8173 }, { 236,8173 }, { 237,8173 }, { 238,8173 },

 { 239,8173 }, { 240,8173 }, { 241,8173 }, { 242,8173 }, { 243,8173 },

 { 244,8173 }, { 245,8173 }, { 246,8173 }, { 247,8173 }, { 248,8173 },

 { 249,8173 }, { 250,8173 }, { 251,8173 }, { 252,8173 }, { 253,8173 },

 { 254,8173 }, { 255,8173 }, { 256,8173 }, {   0,   0 }, {   0,34941 },

 {   1,7915 }, {   2,7915 }, {   3,7915 }, {   4,7915 }, {   5,7915 },

 {   6,7915 }, {   7,7915 }, {   8,7915 }, {   9,7915 }, {  10,7915 },

 {  11,7915 }, {  12,7915 }, {  13,7915 }, {  14,7915 }, {  15,7915 },

 {  16,7915 }, {  17,7915 }, {  18,7915 }, {  19,7915 }, {  20,7915 },

 {  21,7915 }, {  22,7915 }, {  23,7915 }, {  24,7915 }, {  25,7915 },

 {  26,7915 }, {  27,7915 }, {  28,7915 }, {  29,7915 }, {  30,7915 },

 {  31,7915 }, {  32,7915 }, {  33,7915 }, {  34,4943 }, {  35,7915 },

 {  36,7915 }, {  37,7915 }, {  38,7915 }, {  39,7915 }, {  40,7915 },

 {  41,7915 }, {  42,7915 }, {  43,7915 }, {  44,7915 }, {  45,7915 },

 {  46,7915 }, {  47,7915 }, {  48,7915 }, {  49,7915 }, {  50,7915 },

 {  51,7915 }, {  52,7915 }, {  53,7915 }, {  54,7915 }, {  55,7915 },

 {  56,7915 }, {  57,7915 }, {  58,7915 }, {  59,7915 }, {  60,7915 },

 {  61,7915 }, {  62,7915 }, {  63,7915 }, {  64,7915 }, {  65,7915 },

 {  66,7915 }, {  67,7915 }, {  68,7915 }, {  69,7915 }, {  70,7915 },

 {  71,7915 }, {  72,7915 }, {  73,7915 }, {  74,7915 }, {  75,7915 },

 {  76,7915 }, {  77,7915 }, {  78,7915 }, {  79,7915 }, {  80,7915 },

 {  81,7915 }, {  82,7915 }, {  83,7915 }, {  84,7915 }, {  85,7915 },

 {  86,7915 }, {  87,7915 }, {  88,7915 }, {  89,7915 }, {  90,7915 },

 {  91,7915 }, {  92,7915 }, {  93,7915 }, {  94,7915 }, {  95,7915 },

 {  96,7915 }, {  97,7915 }, {  98,7915 }, {  99,7915 }, { 100,7915 },

 { 101,7915 }, { 102,7915 }, { 103,7915 }, { 104,7915 }, { 105,7915 },

 { 106,7915 }, { 107,7915 }, { 108,7915 }, { 109,7915 }, { 110,7915 },

 { 111,7915 }, { 112,7915 }, { 113,7915 }, { 114,7915 }, { 115,7915 },

 { 116,7915 }, { 117,7915 }, { 118,7915 }, { 119,7915 }, { 120,7915 },

 { 121,7915 }, { 122,7915 }, { 123,7915 }, { 124,7915 }, { 125,7915 },

 { 126,7915 }, { 127,7915 }, { 128,7915 }, { 129,7915 }, { 130,7915 },

 { 131,7915 }, { 132,7915 }, { 133,7915 }, { 134,7915 }, { 135,7915 },

 { 136,7915 }, { 137,7915 }, { 138,7915 }, { 139,7915 }, { 140,7915 },

 { 141,7915 }, { 142,7915 }, { 143,7915 }, { 144,7915 }, { 145,7915 },

 { 146,7915 }, { 147,7915 }, { 148,7915 }, { 149,7915 }, { 150,7915 },

 { 151,7915 }, { 152,7915 }, { 153,7915 }, { 154,7915 }, { 155,7915 },

 { 156,7915 }, { 157,7915 }, { 158,7915 }, { 159,7915 }, { 160,7915 },

 { 161,7915 }, { 162,7915 }, { 163,7915 }, { 164,7915 }, { 165,7915 },

 { 166,7915 }, { 167,7915 }, { 168,7915 }, { 169,7915 }, { 170,7915 },

 { 171,7915 }, { 172,7915 }, { 173,7915 }, { 174,7915 }, { 175,7915 },

 { 176,7915 }, { 177,7915 }, { 178,7915 }, { 179,7915 }, { 180,7915 },

 { 181,7915 }, { 182,7915 }, { 183,7915 }, { 184,7915 }, { 185,7915 },

 { 186,7915 }, { 187,7915 }, { 188,7915 }, { 189,7915 }, { 190,7915 },

 { 191,7915 }, { 192,7915 }, { 193,7915 }, { 194,7915 }, { 195,7915 },

 { 196,7915 }, { 197,7915 }, { 198,7915 }, { 199,7915 }, { 200,7915 },

 { 201,7915 }, { 202,7915 }, { 203,7915 }, { 204,7915 }, { 205,7915 },

 { 206,7915 }, { 207,7915 }, { 208,7915 }, { 209,7915 }, { 210,7915 },

 { 211,7915 }, { 212,7915 }, { 213,7915 }, { 214,7915 }, { 215,7915 },

 { 216,7915 }, { 217,7915 }, { 218,7915 }, { 219,7915 }, { 220,7915 },

 { 221,7915 }, { 222,7915 }, { 223,7915 }, { 224,7915 }, { 225,7915 },

 { 226,7915 }, { 227,7915 }, { 228,7915 }, { 229,7915 }, { 230,7915 },

 { 231,7915 }, { 232,7915 }, { 233,7915 }, { 234,7915 }, { 235,7915 },

 { 236,7915 }, { 237,7915 }, { 238,7915 }, { 239,7915 }, { 240,7915 },

 { 241,7915 }, { 242,7915 }, { 243,7915 }, { 244,7915 }, { 245,7915 },

 { 246,7915 }, { 247,7915 }, { 248,7915 }, { 249,7915 }, { 250,7915 },

 { 251,7915 }, { 252,7915 }, { 253,7915 }, { 254,7915 }, { 255,7915 },

 { 256,7915 }, {   0,  11 }, {   0,34683 }, {   1,7915 }, {   2,7915 },

 {   3,7915 }, {   4,7915 }, {   5,7915 }, {   6,7915 }, {   7,7915 },

 {   8,7915 }, {   9,7915 }, {  10,7915 }, {  11,7915 }, {  12,7915 },

 {  13,7915 }, {  14,7915 }, {  15,7915 }, {  16,7915 }, {  17,7915 },

 {  18,7915 }, {  19,7915 }, {  20,7915 }, {  21,7915 }, {  22,7915 },

 {  23,7915 }, {  24,7915 }, {  25,7915 }, {  26,7915 }, {  27,7915 },

 {  28,7915 }, {  29,7915 }, {  30,7915 }, {  31,7915 }, {  32,7915 },

 {  33,7915 }, {  34,7915 }, {  35,7915 }, {  36,7915 }, {  37,7915 },

 {  38,7915 }, {  39,8173 }, {  40,7915 }, {  41,7915 }, {  42,7915 },

 {  43,7915 }, {  44,7915 }, {  45,7915 }, {  46,7915 }, {  47,7915 },

 {  48,7915 }, {  49,7915 }, {  50,7915 }, {  51,7915 }, {  52,7915 },

 {  53,7915 }, {  54,7915 }, {  55,7915 }, {  56,7915 }, {  57,7915 },

 {  58,7915 }, {  59,7915 }, {  60,7915 }, {  61,7915 }, {  62,7915 },

 {  63,7915 }, {  64,7915 }, {  65,7915 }, {  66,7915 }, {  67,7915 },

 {  68,7915 }, {  69,7915 }, {  70,7915 }, {  71,7915 }, {  72,7915 },

 {  73,7915 }, {  74,7915 }, {  75,7915 }, {  76,7915 }, {  77,7915 },

 {  78,7915 }, {  79,7915 }, {  80,7915 }, {  81,7915 }, {  82,7915 },

 {  83,7915 }, {  84,7915 }, {  85,7915 }, {  86,7915 }, {  87,7915 },

 {  88,7915 }, {  89,7915 }, {  90,7915 }, {  91,7915 }, {  92,7915 },

 {  93,7915 }, {  94,7915 }, {  95,7915 }, {  96,7915 }, {  97,7915 },

 {  98,7915 }, {  99,7915 }, { 100,7915 }, { 101,7915 }, { 102,7915 },

 { 103,7915 }, { 104,7915 }, { 105,7915 }, { 106,7915 }, { 107,7915 },

 { 108,7915 }, { 109,7915 }, { 110,7915 }, { 111,7915 }, { 112,7915 },

 { 113,7915 }, { 114,7915 }, { 115,7915 }, { 116,7915 }, { 117,7915 },

 { 118,7915 }, { 119,7915 }, { 120,7915 }, { 121,7915 }, { 122,7915 },

 { 123,7915 }, { 124,7915 }, { 125,7915 }, { 126,7915 }, { 127,7915 },

 { 128,7915 }, { 129,7915 }, { 130,7915 }, { 131,7915 }, { 132,7915 },

 { 133,7915 }, { 134,7915 }, { 135,7915 }, { 136,7915 }, { 137,7915 },

 { 138,7915 }, { 139,7915 }, { 140,7915 }, { 141,7915 }, { 142,7915 },

 { 143,7915 }, { 144,7915 }, { 145,7915 }, { 146,7915 }, { 147,7915 },

 { 148,7915 }, { 149,7915 }, { 150,7915 }, { 151,7915 }, { 152,7915 },

 { 153,7915 }, { 154,7915 }, { 155,7915 }, { 156,7915 }, { 157,7915 },

 { 158,7915 }, { 159,7915 }, { 160,7915 }, { 161,7915 }, { 162,7915 },

 { 163,7915 }, { 164,7915 }, { 165,7915 }, { 166,7915 }, { 167,7915 },

 { 168,7915 }, { 169,7915 }, { 170,7915 }, { 171,7915 }, { 172,7915 },

 { 173,7915 }, { 174,7915 }, { 175,7915 }, { 176,7915 }, { 177,7915 },

 { 178,7915 }, { 179,7915 }, { 180,7915 }, { 181,7915 }, { 182,7915 },

 { 183,7915 }, { 184,7915 }, { 185,7915 }, { 186,7915 }, { 187,7915 },

 { 188,7915 }, { 189,7915 }, { 190,7915 }, { 191,7915 }, { 192,7915 },

 { 193,7915 }, { 194,7915 }, { 195,7915 }, { 196,7915 }, { 197,7915 },

 { 198,7915 }, { 199,7915 }, { 200,7915 }, { 201,7915 }, { 202,7915 },

 { 203,7915 }, { 204,7915 }, { 205,7915 }, { 206,7915 }, { 207,7915 },

 { 208,7915 }, { 209,7915 }, { 210,7915 }, { 211,7915 }, { 212,7915 },

 { 213,7915 }, { 214,7915 }, { 215,7915 }, { 216,7915 }, { 217,7915 },

 { 218,7915 }, { 219,7915 }, { 220,7915 }, { 221,7915 }, { 222,7915 },

 { 223,7915 }, { 224,7915 }, { 225,7915 }, { 226,7915 }, { 227,7915 },

 { 228,7915 }, { 229,7915 }, { 230,7915 }, { 231,7915 }, { 232,7915 },

 { 233,7915 }, { 234,7915 }, { 235,7915 }, { 236,7915 }, { 237,7915 },

 { 238,7915 }, { 239,7915 }, { 240,7915 }, { 241,7915 }, { 242,7915 },

 { 243,7915 }, { 244,7915 }, { 245,7915 }, { 246,7915 }, { 247,7915 },

 { 248,7915 }, { 249,7915 }, { 250,7915 }, { 251,7915 }, { 252,7915 },

 { 253,7915 }, { 254,7915 }, { 255,7915 }, { 256,7915 }, {   0,  11 },

 {   0,34425 }, {   1,7657 }, {   2,7657 }, {   3,7657 }, {   4,7657 },

 {   5,7657 }, {   6,7657 }, {   7,7657 }, {   8,7657 }, {   9,7657 },

 {  10,7657 }, {  11,7657 }, {  12,7657 }, {  13,7657 }, {  14,7657 },

 {  15,7657 }, {  16,7657 }, {  17,7657 }, {  18,7657 }, {  19,7657 },

 {  20,7657 }, {  21,7657 }, {  22,7657 }, {  23,7657 }, {  24,7657 },

 {  25,7657 }, {  26,7657 }, {  27,7657 }, {  28,7657 }, {  29,7657 },

 {  30,7657 }, {  31,7657 }, {  32,7657 }, {  33,7657 }, {  34,7657 },

 {  35,7657 }, {  36,7657 }, {  37,7657 }, {  38,7657 }, {  39,7915 },

 {  40,7657 }, {  41,7657 }, {  42,7657 }, {  43,7657 }, {  44,7657 },

 {  45,7657 }, {  46,7657 }, {  47,7657 }, {  48,7657 }, {  49,7657 },

 {  50,7657 }, {  51,7657 }, {  52,7657 }, {  53,7657 }, {  54,7657 },

 {  55,7657 }, {  56,7657 }, {  57,7657 }, {  58,7657 }, {  59,7657 },

 {  60,7657 }, {  61,7657 }, {  62,7657 }, {  63,7657 }, {  64,7657 },

 {  65,7657 }, {  66,7657 }, {  67,7657 }, {  68,7657 }, {  69,7657 },

 {  70,7657 }, {  71,7657 }, {  72,7657 }, {  73,7657 }, {  74,7657 },

 {  75,7657 }, {  76,7657 }, {  77,7657 }, {  78,7657 }, {  79,7657 },

 {  80,7657 }, {  81,7657 }, {  82,7657 }, {  83,7657 }, {  84,7657 },

 {  85,7657 }, {  86,7657 }, {  87,7657 }, {  88,7657 }, {  89,7657 },

 {  90,7657 }, {  91,7657 }, {  92,7657 }, {  93,7657 }, {  94,7657 },

 {  95,7657 }, {  96,7657 }, {  97,7657 }, {  98,7657 }, {  99,7657 },

 { 100,7657 }, { 101,7657 }, { 102,7657 }, { 103,7657 }, { 104,7657 },

 { 105,7657 }, { 106,7657 }, { 107,7657 }, { 108,7657 }, { 109,7657 },

 { 110,7657 }, { 111,7657 }, { 112,7657 }, { 113,7657 }, { 114,7657 },

 { 115,7657 }, { 116,7657 }, { 117,7657 }, { 118,7657 }, { 119,7657 },

 { 120,7657 }, { 121,7657 }, { 122,7657 }, { 123,7657 }, { 124,7657 },

 { 125,7657 }, { 126,7657 }, { 127,7657 }, { 128,7657 }, { 129,7657 },

 { 130,7657 }, { 131,7657 }, { 132,7657 }, { 133,7657 }, { 134,7657 },

 { 135,7657 }, { 136,7657 }, { 137,7657 }, { 138,7657 }, { 139,7657 },

 { 140,7657 }, { 141,7657 }, { 142,7657 }, { 143,7657 }, { 144,7657 },

 { 145,7657 }, { 146,7657 }, { 147,7657 }, { 148,7657 }, { 149,7657 },

 { 150,7657 }, { 151,7657 }, { 152,7657 }, { 153,7657 }, { 154,7657 },

 { 155,7657 }, { 156,7657 }, { 157,7657 }, { 158,7657 }, { 159,7657 },

 { 160,7657 }, { 161,7657 }, { 162,7657 }, { 163,7657 }, { 164,7657 },

 { 165,7657 }, { 166,7657 }, { 167,7657 }, { 168,7657 }, { 169,7657 },

 { 170,7657 }, { 171,7657 }, { 172,7657 }, { 173,7657 }, { 174,7657 },

 { 175,7657 }, { 176,7657 }, { 177,7657 }, { 178,7657 }, { 179,7657 },

 { 180,7657 }, { 181,7657 }, { 182,7657 }, { 183,7657 }, { 184,7657 },

 { 185,7657 }, { 186,7657 }, { 187,7657 }, { 188,7657 }, { 189,7657 },

 { 190,7657 }, { 191,7657 }, { 192,7657 }, { 193,7657 }, { 194,7657 },

 { 195,7657 }, { 196,7657 }, { 197,7657 }, { 198,7657 }, { 199,7657 },

 { 200,7657 }, { 201,7657 }, { 202,7657 }, { 203,7657 }, { 204,7657 },

 { 205,7657 }, { 206,7657 }, { 207,7657 }, { 208,7657 }, { 209,7657 },

 { 210,7657 }, { 211,7657 }, { 212,7657 }, { 213,7657 }, { 214,7657 },

 { 215,7657 }, { 216,7657 }, { 217,7657 }, { 218,7657 }, { 219,7657 },

 { 220,7657 }, { 221,7657 }, { 222,7657 }, { 223,7657 }, { 224,7657 },

 { 225,7657 }, { 226,7657 }, { 227,7657 }, { 228,7657 }, { 229,7657 },

 { 230,7657 }, { 231,7657 }, { 232,7657 }, { 233,7657 }, { 234,7657 },

 { 235,7657 }, { 236,7657 }, { 237,7657 }, { 238,7657 }, { 239,7657 },

 { 240,7657 }, { 241,7657 }, { 242,7657 }, { 243,7657 }, { 244,7657 },

 { 245,7657 }, { 246,7657 }, { 247,7657 }, { 248,7657 }, { 249,7657 },

 { 250,7657 }, { 251,7657 }, { 252,7657 }, { 253,7657 }, { 254,7657 },

 { 255,7657 }, { 256,7657 }, {   0,   0 }, {   0,34167 }, {   1,7704 },

 {   2,7704 }, {   3,7704 }, {   4,7704 }, {   5,7704 }, {   6,7704 },

 {   7,7704 }, {   8,7704 }, {   9,7704 }, {  10,7962 }, {  11,7704 },

 {  12,7704 }, {  13,7704 }, {  14,7704 }, {  15,7704 }, {  16,7704 },

 {  17,7704 }, {  18,7704 }, {  19,7704 }, {  20,7704 }, {  21,7704 },

 {  22,7704 }, {  23,7704 }, {  24,7704 }, {  25,7704 }, {  26,7704 },

 {  27,7704 }, {  28,7704 }, {  29,7704 }, {  30,7704 }, {  31,7704 },

 {  32,7704 }, {  33,7704 }, {  34,7704 }, {  35,7704 }, {  36,7704 },

 {  37,7704 }, {  38,7704 }, {  39,8220 }, {  40,7704 }, {  41,7704 },

 {  42,7704 }, {  43,7704 }, {  44,7704 }, {  45,7704 }, {  46,7704 },

 {  47,7704 }, {  48,7704 }, {  49,7704 }, {  50,7704 }, {  51,7704 },

 {  52,7704 }, {  53,7704 }, {  54,7704 }, {  55,7704 }, {  56,7704 },

 {  57,7704 }, {  58,7704 }, {  59,7704 }, {  60,7704 }, {  61,7704 },

 {  62,7704 }, {  63,7704 }, {  64,7704 }, {  65,7704 }, {  66,7704 },

 {  67,7704 }, {  68,7704 }, {  69,7704 }, {  70,7704 }, {  71,7704 },

 {  72,7704 }, {  73,7704 }, {  74,7704 }, {  75,7704 }, {  76,7704 },

 {  77,7704 }, {  78,7704 }, {  79,7704 }, {  80,7704 }, {  81,7704 },

 {  82,7704 }, {  83,7704 }, {  84,7704 }, {  85,7704 }, {  86,7704 },

 {  87,7704 }, {  88,7704 }, {  89,7704 }, {  90,7704 }, {  91,7704 },

 {  92,8267 }, {  93,7704 }, {  94,7704 }, {  95,7704 }, {  96,7704 },

 {  97,7704 }, {  98,7704 }, {  99,7704 }, { 100,7704 }, { 101,7704 },

 { 102,7704 }, { 103,7704 }, { 104,7704 }, { 105,7704 }, { 106,7704 },

 { 107,7704 }, { 108,7704 }, { 109,7704 }, { 110,7704 }, { 111,7704 },

 { 112,7704 }, { 113,7704 }, { 114,7704 }, { 115,7704 }, { 116,7704 },

 { 117,7704 }, { 118,7704 }, { 119,7704 }, { 120,7704 }, { 121,7704 },

 { 122,7704 }, { 123,7704 }, { 124,7704 }, { 125,7704 }, { 126,7704 },

 { 127,7704 }, { 128,7704 }, { 129,7704 }, { 130,7704 }, { 131,7704 },

 { 132,7704 }, { 133,7704 }, { 134,7704 }, { 135,7704 }, { 136,7704 },

 { 137,7704 }, { 138,7704 }, { 139,7704 }, { 140,7704 }, { 141,7704 },

 { 142,7704 }, { 143,7704 }, { 144,7704 }, { 145,7704 }, { 146,7704 },

 { 147,7704 }, { 148,7704 }, { 149,7704 }, { 150,7704 }, { 151,7704 },

 { 152,7704 }, { 153,7704 }, { 154,7704 }, { 155,7704 }, { 156,7704 },

 { 157,7704 }, { 158,7704 }, { 159,7704 }, { 160,7704 }, { 161,7704 },

 { 162,7704 }, { 163,7704 }, { 164,7704 }, { 165,7704 }, { 166,7704 },

 { 167,7704 }, { 168,7704 }, { 169,7704 }, { 170,7704 }, { 171,7704 },

 { 172,7704 }, { 173,7704 }, { 174,7704 }, { 175,7704 }, { 176,7704 },

 { 177,7704 }, { 178,7704 }, { 179,7704 }, { 180,7704 }, { 181,7704 },

 { 182,7704 }, { 183,7704 }, { 184,7704 }, { 185,7704 }, { 186,7704 },

 { 187,7704 }, { 188,7704 }, { 189,7704 }, { 190,7704 }, { 191,7704 },

 { 192,7704 }, { 193,7704 }, { 194,7704 }, { 195,7704 }, { 196,7704 },

 { 197,7704 }, { 198,7704 }, { 199,7704 }, { 200,7704 }, { 201,7704 },

 { 202,7704 }, { 203,7704 }, { 204,7704 }, { 205,7704 }, { 206,7704 },

 { 207,7704 }, { 208,7704 }, { 209,7704 }, { 210,7704 }, { 211,7704 },

 { 212,7704 }, { 213,7704 }, { 214,7704 }, { 215,7704 }, { 216,7704 },

 { 217,7704 }, { 218,7704 }, { 219,7704 }, { 220,7704 }, { 221,7704 },

 { 222,7704 }, { 223,7704 }, { 224,7704 }, { 225,7704 }, { 226,7704 },

 { 227,7704 }, { 228,7704 }, { 229,7704 }, { 230,7704 }, { 231,7704 },

 { 232,7704 }, { 233,7704 }, { 234,7704 }, { 235,7704 }, { 236,7704 },

 { 237,7704 }, { 238,7704 }, { 239,7704 }, { 240,7704 }, { 241,7704 },

 { 242,7704 }, { 243,7704 }, { 244,7704 }, { 245,7704 }, { 246,7704 },

 { 247,7704 }, { 248,7704 }, { 249,7704 }, { 250,7704 }, { 251,7704 },

 { 252,7704 }, { 253,7704 }, { 254,7704 }, { 255,7704 }, { 256,7704 },

 {   0,   0 }, {   0,33909 }, {   1,7446 }, {   2,7446 }, {   3,7446 },

 {   4,7446 }, {   5,7446 }, {   6,7446 }, {   7,7446 }, {   8,7446 },

 {   9,7446 }, {  10,7704 }, {  11,7446 }, {  12,7446 }, {  13,7446 },

 {  14,7446 }, {  15,7446 }, {  16,7446 }, {  17,7446 }, {  18,7446 },

 {  19,7446 }, {  20,7446 }, {  21,7446 }, {  22,7446 }, {  23,7446 },

 {  24,7446 }, {  25,7446 }, {  26,7446 }, {  27,7446 }, {  28,7446 },

 {  29,7446 }, {  30,7446 }, {  31,7446 }, {  32,7446 }, {  33,7446 },

 {  34,7446 }, {  35,7446 }, {  36,7446 }, {  37,7446 }, {  38,7446 },

 {  39,7962 }, {  40,7446 }, {  41,7446 }, {  42,7446 }, {  43,7446 },

 {  44,7446 }, {  45,7446 }, {  46,7446 }, {  47,7446 }, {  48,7446 },

 {  49,7446 }, {  50,7446 }, {  51,7446 }, {  52,7446 }, {  53,7446 },

 {  54,7446 }, {  55,7446 }, {  56,7446 }, {  57,7446 }, {  58,7446 },

 {  59,7446 }, {  60,7446 }, {  61,7446 }, {  62,7446 }, {  63,7446 },

 {  64,7446 }, {  65,7446 }, {  66,7446 }, {  67,7446 }, {  68,7446 },

 {  69,7446 }, {  70,7446 }, {  71,7446 }, {  72,7446 }, {  73,7446 },

 {  74,7446 }, {  75,7446 }, {  76,7446 }, {  77,7446 }, {  78,7446 },

 {  79,7446 }, {  80,7446 }, {  81,7446 }, {  82,7446 }, {  83,7446 },

 {  84,7446 }, {  85,7446 }, {  86,7446 }, {  87,7446 }, {  88,7446 },

 {  89,7446 }, {  90,7446 }, {  91,7446 }, {  92,8009 }, {  93,7446 },

 {  94,7446 }, {  95,7446 }, {  96,7446 }, {  97,7446 }, {  98,7446 },

 {  99,7446 }, { 100,7446 }, { 101,7446 }, { 102,7446 }, { 103,7446 },

 { 104,7446 }, { 105,7446 }, { 106,7446 }, { 107,7446 }, { 108,7446 },

 { 109,7446 }, { 110,7446 }, { 111,7446 }, { 112,7446 }, { 113,7446 },

 { 114,7446 }, { 115,7446 }, { 116,7446 }, { 117,7446 }, { 118,7446 },

 { 119,7446 }, { 120,7446 }, { 121,7446 }, { 122,7446 }, { 123,7446 },

 { 124,7446 }, { 125,7446 }, { 126,7446 }, { 127,7446 }, { 128,7446 },

 { 129,7446 }, { 130,7446 }, { 131,7446 }, { 132,7446 }, { 133,7446 },

 { 134,7446 }, { 135,7446 }, { 136,7446 }, { 137,7446 }, { 138,7446 },

 { 139,7446 }, { 140,7446 }, { 141,7446 }, { 142,7446 }, { 143,7446 },

 { 144,7446 }, { 145,7446 }, { 146,7446 }, { 147,7446 }, { 148,7446 },

 { 149,7446 }, { 150,7446 }, { 151,7446 }, { 152,7446 }, { 153,7446 },

 { 154,7446 }, { 155,7446 }, { 156,7446 }, { 157,7446 }, { 158,7446 },

 { 159,7446 }, { 160,7446 }, { 161,7446 }, { 162,7446 }, { 163,7446 },

 { 164,7446 }, { 165,7446 }, { 166,7446 }, { 167,7446 }, { 168,7446 },

 { 169,7446 }, { 170,7446 }, { 171,7446 }, { 172,7446 }, { 173,7446 },

 { 174,7446 }, { 175,7446 }, { 176,7446 }, { 177,7446 }, { 178,7446 },

 { 179,7446 }, { 180,7446 }, { 181,7446 }, { 182,7446 }, { 183,7446 },

 { 184,7446 }, { 185,7446 }, { 186,7446 }, { 187,7446 }, { 188,7446 },

 { 189,7446 }, { 190,7446 }, { 191,7446 }, { 192,7446 }, { 193,7446 },

 { 194,7446 }, { 195,7446 }, { 196,7446 }, { 197,7446 }, { 198,7446 },

 { 199,7446 }, { 200,7446 }, { 201,7446 }, { 202,7446 }, { 203,7446 },

 { 204,7446 }, { 205,7446 }, { 206,7446 }, { 207,7446 }, { 208,7446 },