1#line 2 "jsonpath_scan.c"
2
3#line 4 "jsonpath_scan.c"
4
5#define YY_INT_ALIGNED short int
6
7/* A lexical scanner generated by flex */
8
9#define yy_create_buffer jsonpath_yy_create_buffer
10#define yy_delete_buffer jsonpath_yy_delete_buffer
11#define yy_flex_debug jsonpath_yy_flex_debug
12#define yy_init_buffer jsonpath_yy_init_buffer
13#define yy_flush_buffer jsonpath_yy_flush_buffer
14#define yy_load_buffer_state jsonpath_yy_load_buffer_state
15#define yy_switch_to_buffer jsonpath_yy_switch_to_buffer
16#define yyin jsonpath_yyin
17#define yyleng jsonpath_yyleng
18#define yylex jsonpath_yylex
19#define yylineno jsonpath_yylineno
20#define yyout jsonpath_yyout
21#define yyrestart jsonpath_yyrestart
22#define yytext jsonpath_yytext
23#define yywrap jsonpath_yywrap
24#define yyalloc jsonpath_yyalloc
25#define yyrealloc jsonpath_yyrealloc
26#define yyfree jsonpath_yyfree
27
28#define FLEX_SCANNER
29#define YY_FLEX_MAJOR_VERSION 2
30#define YY_FLEX_MINOR_VERSION 6
31#define YY_FLEX_SUBMINOR_VERSION 1
32#if YY_FLEX_SUBMINOR_VERSION > 0
33#define FLEX_BETA
34#endif
35
36/* First, we deal with platform-specific or compiler-specific issues. */
37
38/* begin standard C headers. */
39#include <stdio.h>
40#include <string.h>
41#include <errno.h>
42#include <stdlib.h>
43
44/* end standard C headers. */
45
46/* flex integer type definitions */
47
48#ifndef FLEXINT_H
49#define FLEXINT_H
50
51/* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */
52
53#if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
54
55/* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
56 * if you want the limit (max/min) macros for int types.
57 */
58#ifndef __STDC_LIMIT_MACROS
59#define __STDC_LIMIT_MACROS 1
60#endif
61
62#include <inttypes.h>
63typedef int8_t flex_int8_t;
64typedef uint8_t flex_uint8_t;
65typedef int16_t flex_int16_t;
66typedef uint16_t flex_uint16_t;
67typedef int32_t flex_int32_t;
68typedef uint32_t flex_uint32_t;
69#else
70typedef signed char flex_int8_t;
71typedef short int flex_int16_t;
72typedef int flex_int32_t;
73typedef unsigned char flex_uint8_t;
74typedef unsigned short int flex_uint16_t;
75typedef unsigned int flex_uint32_t;
76
77/* Limits of integral types. */
78#ifndef INT8_MIN
79#define INT8_MIN (-128)
80#endif
81#ifndef INT16_MIN
82#define INT16_MIN (-32767-1)
83#endif
84#ifndef INT32_MIN
85#define INT32_MIN (-2147483647-1)
86#endif
87#ifndef INT8_MAX
88#define INT8_MAX (127)
89#endif
90#ifndef INT16_MAX
91#define INT16_MAX (32767)
92#endif
93#ifndef INT32_MAX
94#define INT32_MAX (2147483647)
95#endif
96#ifndef UINT8_MAX
97#define UINT8_MAX (255U)
98#endif
99#ifndef UINT16_MAX
100#define UINT16_MAX (65535U)
101#endif
102#ifndef UINT32_MAX
103#define UINT32_MAX (4294967295U)
104#endif
105
106#endif /* ! C99 */
107
108#endif /* ! FLEXINT_H */
109
110/* TODO: this is always defined, so inline it */
111#define yyconst const
112
113#if defined(__GNUC__) && __GNUC__ >= 3
114#define yynoreturn __attribute__((__noreturn__))
115#else
116#define yynoreturn
117#endif
118
119/* Returned upon end-of-file. */
120#define YY_NULL 0
121
122/* Promotes a possibly negative, possibly signed char to an unsigned
123 * integer for use as an array index. If the signed char is negative,
124 * we want to instead treat it as an 8-bit unsigned char, hence the
125 * double cast.
126 */
127#define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
128
129/* Enter a start condition. This macro really ought to take a parameter,
130 * but we do it the disgusting crufty way forced on us by the ()-less
131 * definition of BEGIN.
132 */
133#define BEGIN (yy_start) = 1 + 2 *
134
135/* Translate the current start state into a value that can be later handed
136 * to BEGIN to return to the state. The YYSTATE alias is for lex
137 * compatibility.
138 */
139#define YY_START (((yy_start) - 1) / 2)
140#define YYSTATE YY_START
141
142/* Action number for EOF rule of a given start state. */
143#define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
144
145/* Special action meaning "start processing a new file". */
146#define YY_NEW_FILE jsonpath_yyrestart(jsonpath_yyin )
147
148#define YY_END_OF_BUFFER_CHAR 0
149
150/* Size of default input buffer. */
151#ifndef YY_BUF_SIZE
152#ifdef __ia64__
153/* On IA-64, the buffer size is 16k, not 8k.
154 * Moreover, YY_BUF_SIZE is 2*YY_READ_BUF_SIZE in the general case.
155 * Ditto for the __ia64__ case accordingly.
156 */
157#define YY_BUF_SIZE 32768
158#else
159#define YY_BUF_SIZE 16384
160#endif /* __ia64__ */
161#endif
162
163/* The state buf must be large enough to hold one state per character in the main buffer.
164 */
165#define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))
166
167#ifndef YY_TYPEDEF_YY_BUFFER_STATE
168#define YY_TYPEDEF_YY_BUFFER_STATE
169typedef struct yy_buffer_state *YY_BUFFER_STATE;
170#endif
171
172#ifndef YY_TYPEDEF_YY_SIZE_T
173#define YY_TYPEDEF_YY_SIZE_T
174typedef size_t yy_size_t;
175#endif
176
177extern int jsonpath_yyleng;
178
179extern FILE *jsonpath_yyin, *jsonpath_yyout;
180
181#define EOB_ACT_CONTINUE_SCAN 0
182#define EOB_ACT_END_OF_FILE 1
183#define EOB_ACT_LAST_MATCH 2
184
185 #define YY_LESS_LINENO(n)
186 #define YY_LINENO_REWIND_TO(ptr)
187
188/* Return all but the first "n" matched characters back to the input stream. */
189#define yyless(n) \
190 do \
191 { \
192 /* Undo effects of setting up jsonpath_yytext. */ \
193 int yyless_macro_arg = (n); \
194 YY_LESS_LINENO(yyless_macro_arg);\
195 *yy_cp = (yy_hold_char); \
196 YY_RESTORE_YY_MORE_OFFSET \
197 (yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \
198 YY_DO_BEFORE_ACTION; /* set up jsonpath_yytext again */ \
199 } \
200 while ( 0 )
201
202#define unput(c) yyunput( c, (yytext_ptr) )
203
204#ifndef YY_STRUCT_YY_BUFFER_STATE
205#define YY_STRUCT_YY_BUFFER_STATE
206struct yy_buffer_state
207 {
208 FILE *yy_input_file;
209
210 char *yy_ch_buf; /* input buffer */
211 char *yy_buf_pos; /* current position in input buffer */
212
213 /* Size of input buffer in bytes, not including room for EOB
214 * characters.
215 */
216 int yy_buf_size;
217
218 /* Number of characters read into yy_ch_buf, not including EOB
219 * characters.
220 */
221 int yy_n_chars;
222
223 /* Whether we "own" the buffer - i.e., we know we created it,
224 * and can realloc() it to grow it, and should free() it to
225 * delete it.
226 */
227 int yy_is_our_buffer;
228
229 /* Whether this is an "interactive" input source; if so, and
230 * if we're using stdio for input, then we want to use getc()
231 * instead of fread(), to make sure we stop fetching input after
232 * each newline.
233 */
234 int yy_is_interactive;
235
236 /* Whether we're considered to be at the beginning of a line.
237 * If so, '^' rules will be active on the next match, otherwise
238 * not.
239 */
240 int yy_at_bol;
241
242 int yy_bs_lineno; /**< The line count. */
243 int yy_bs_column; /**< The column count. */
244
245 /* Whether to try to fill the input buffer when we reach the
246 * end of it.
247 */
248 int yy_fill_buffer;
249
250 int yy_buffer_status;
251
252#define YY_BUFFER_NEW 0
253#define YY_BUFFER_NORMAL 1
254 /* When an EOF's been seen but there's still some text to process
255 * then we mark the buffer as YY_EOF_PENDING, to indicate that we
256 * shouldn't try reading from the input source any more. We might
257 * still have a bunch of tokens to match, though, because of
258 * possible backing-up.
259 *
260 * When we actually see the EOF, we change the status to "new"
261 * (via jsonpath_yyrestart()), so that the user can continue scanning by
262 * just pointing jsonpath_yyin at a new input file.
263 */
264#define YY_BUFFER_EOF_PENDING 2
265
266 };
267#endif /* !YY_STRUCT_YY_BUFFER_STATE */
268
269/* Stack of input buffers. */
270static size_t yy_buffer_stack_top = 0; /**< index of top of stack. */
271static size_t yy_buffer_stack_max = 0; /**< capacity of stack. */
272static YY_BUFFER_STATE * yy_buffer_stack = NULL; /**< Stack as an array. */
273
274/* We provide macros for accessing buffer states in case in the
275 * future we want to put the buffer states in a more general
276 * "scanner state".
277 *
278 * Returns the top of the stack, or NULL.
279 */
280#define YY_CURRENT_BUFFER ( (yy_buffer_stack) \
281 ? (yy_buffer_stack)[(yy_buffer_stack_top)] \
282 : NULL)
283
284/* Same as previous macro, but useful when we know that the buffer stack is not
285 * NULL or when we need an lvalue. For internal use only.
286 */
287#define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)]
288
289/* yy_hold_char holds the character lost when jsonpath_yytext is formed. */
290static char yy_hold_char;
291static int yy_n_chars; /* number of characters read into yy_ch_buf */
292int jsonpath_yyleng;
293
294/* Points to current character in buffer. */
295static char *yy_c_buf_p = NULL;
296static int yy_init = 0; /* whether we need to initialize */
297static int yy_start = 0; /* start state number */
298
299/* Flag which is used to allow jsonpath_yywrap()'s to do buffer switches
300 * instead of setting up a fresh jsonpath_yyin. A bit of a hack ...
301 */
302static int yy_did_buffer_switch_on_eof;
303
304void jsonpath_yyrestart (FILE *input_file );
305void jsonpath_yy_switch_to_buffer (YY_BUFFER_STATE new_buffer );
306YY_BUFFER_STATE jsonpath_yy_create_buffer (FILE *file,int size );
307void jsonpath_yy_delete_buffer (YY_BUFFER_STATE b );
308void jsonpath_yy_flush_buffer (YY_BUFFER_STATE b );
309void jsonpath_yypush_buffer_state (YY_BUFFER_STATE new_buffer );
310void jsonpath_yypop_buffer_state (void );
311
312static void jsonpath_yyensure_buffer_stack (void );
313static void jsonpath_yy_load_buffer_state (void );
314static void jsonpath_yy_init_buffer (YY_BUFFER_STATE b,FILE *file );
315
316#define YY_FLUSH_BUFFER jsonpath_yy_flush_buffer(YY_CURRENT_BUFFER )
317
318YY_BUFFER_STATE jsonpath_yy_scan_buffer (char *base,yy_size_t size );
319YY_BUFFER_STATE jsonpath_yy_scan_string (yyconst char *yy_str );
320YY_BUFFER_STATE jsonpath_yy_scan_bytes (yyconst char *bytes,int len );
321
322void *jsonpath_yyalloc (yy_size_t );
323void *jsonpath_yyrealloc (void *,yy_size_t );
324void jsonpath_yyfree (void * );
325
326#define yy_new_buffer jsonpath_yy_create_buffer
327
328#define yy_set_interactive(is_interactive) \
329 { \
330 if ( ! YY_CURRENT_BUFFER ){ \
331 jsonpath_yyensure_buffer_stack (); \
332 YY_CURRENT_BUFFER_LVALUE = \
333 jsonpath_yy_create_buffer(jsonpath_yyin,YY_BUF_SIZE ); \
334 } \
335 YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
336 }
337
338#define yy_set_bol(at_bol) \
339 { \
340 if ( ! YY_CURRENT_BUFFER ){\
341 jsonpath_yyensure_buffer_stack (); \
342 YY_CURRENT_BUFFER_LVALUE = \
343 jsonpath_yy_create_buffer(jsonpath_yyin,YY_BUF_SIZE ); \
344 } \
345 YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
346 }
347
348#define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)
349
350/* Begin user sect3 */
351
352#define jsonpath_yywrap() (/*CONSTCOND*/1)
353#define YY_SKIP_YYWRAP
354
355typedef unsigned char YY_CHAR;
356
357FILE *jsonpath_yyin = NULL, *jsonpath_yyout = NULL;
358
359typedef yyconst struct yy_trans_info *yy_state_type;
360
361extern int jsonpath_yylineno;
362
363int jsonpath_yylineno = 1;
364
365extern char *jsonpath_yytext;
366#ifdef yytext_ptr
367#undef yytext_ptr
368#endif
369#define yytext_ptr jsonpath_yytext
370
371static yy_state_type yy_get_previous_state (void );
372static yy_state_type yy_try_NUL_trans (yy_state_type current_state );
373static int yy_get_next_buffer (void );
374static void yynoreturn yy_fatal_error (yyconst char* msg );
375
376/* Done after the current pattern has been matched and before the
377 * corresponding action - sets up jsonpath_yytext.
378 */
379#define YY_DO_BEFORE_ACTION \
380 (yytext_ptr) = yy_bp; \
381 jsonpath_yyleng = (int) (yy_cp - yy_bp); \
382 (yy_hold_char) = *yy_cp; \
383 *yy_cp = '\0'; \
384 (yy_c_buf_p) = yy_cp;
385
386#define YY_NUM_RULES 48
387#define YY_END_OF_BUFFER 49
388struct yy_trans_info
389 {
390 flex_int16_t yy_verify;
391 flex_int16_t yy_nxt;
392 };
393static yyconst struct yy_trans_info yy_transition[8135] =
394 {
395 { 0, 0 }, { 0,7879 }, { 0, 0 }, { 0,7877 }, { 1,2580 },
396 { 2,2580 }, { 3,2580 }, { 4,2580 }, { 5,2580 }, { 6,2580 },
397 { 7,2580 }, { 8,2580 }, { 9,2838 }, { 10,2838 }, { 11,2580 },
398 { 12,2838 }, { 13,2838 }, { 14,2580 }, { 15,2580 }, { 16,2580 },
399 { 17,2580 }, { 18,2580 }, { 19,2580 }, { 20,2580 }, { 21,2580 },
400 { 22,2580 }, { 23,2580 }, { 24,2580 }, { 25,2580 }, { 26,2580 },
401 { 27,2580 }, { 28,2580 }, { 29,2580 }, { 30,2580 }, { 31,2580 },
402 { 32,2838 }, { 33,2642 }, { 34,2644 }, { 35,2672 }, { 36,2857 },
403 { 37,2672 }, { 38,2854 }, { 39,2580 }, { 40,2672 }, { 41,2672 },
404 { 42,3115 }, { 43,2672 }, { 44,2672 }, { 45,2672 }, { 46,2672 },
405
406 { 47,3117 }, { 48,3119 }, { 49,3377 }, { 50,3377 }, { 51,3377 },
407 { 52,3377 }, { 53,3377 }, { 54,3377 }, { 55,3377 }, { 56,3377 },
408 { 57,3377 }, { 58,2672 }, { 59,2580 }, { 60,3181 }, { 61,3183 },
409 { 62,3439 }, { 63,2672 }, { 64,2672 }, { 65,2580 }, { 66,2580 },
410 { 67,2580 }, { 68,2580 }, { 69,2580 }, { 70,2580 }, { 71,2580 },
411 { 72,2580 }, { 73,2580 }, { 74,2580 }, { 75,2580 }, { 76,2580 },
412 { 77,2580 }, { 78,2580 }, { 79,2580 }, { 80,2580 }, { 81,2580 },
413 { 82,2580 }, { 83,2580 }, { 84,2580 }, { 85,2580 }, { 86,2580 },
414 { 87,2580 }, { 88,2580 }, { 89,2580 }, { 90,2580 }, { 91,2672 },
415 { 92,3441 }, { 93,2672 }, { 94,2580 }, { 95,2580 }, { 96,2580 },
416
417 { 97,2580 }, { 98,2580 }, { 99,2580 }, { 100,2580 }, { 101,2580 },
418 { 102,2580 }, { 103,2580 }, { 104,2580 }, { 105,2580 }, { 106,2580 },
419 { 107,2580 }, { 108,2580 }, { 109,2580 }, { 110,2580 }, { 111,2580 },
420 { 112,2580 }, { 113,2580 }, { 114,2580 }, { 115,2580 }, { 116,2580 },
421 { 117,2580 }, { 118,2580 }, { 119,2580 }, { 120,2580 }, { 121,2580 },
422 { 122,2580 }, { 123,2672 }, { 124,3635 }, { 125,2672 }, { 126,2580 },
423 { 127,2580 }, { 128,2580 }, { 129,2580 }, { 130,2580 }, { 131,2580 },
424 { 132,2580 }, { 133,2580 }, { 134,2580 }, { 135,2580 }, { 136,2580 },
425 { 137,2580 }, { 138,2580 }, { 139,2580 }, { 140,2580 }, { 141,2580 },
426 { 142,2580 }, { 143,2580 }, { 144,2580 }, { 145,2580 }, { 146,2580 },
427
428 { 147,2580 }, { 148,2580 }, { 149,2580 }, { 150,2580 }, { 151,2580 },
429 { 152,2580 }, { 153,2580 }, { 154,2580 }, { 155,2580 }, { 156,2580 },
430 { 157,2580 }, { 158,2580 }, { 159,2580 }, { 160,2580 }, { 161,2580 },
431 { 162,2580 }, { 163,2580 }, { 164,2580 }, { 165,2580 }, { 166,2580 },
432 { 167,2580 }, { 168,2580 }, { 169,2580 }, { 170,2580 }, { 171,2580 },
433 { 172,2580 }, { 173,2580 }, { 174,2580 }, { 175,2580 }, { 176,2580 },
434 { 177,2580 }, { 178,2580 }, { 179,2580 }, { 180,2580 }, { 181,2580 },
435 { 182,2580 }, { 183,2580 }, { 184,2580 }, { 185,2580 }, { 186,2580 },
436 { 187,2580 }, { 188,2580 }, { 189,2580 }, { 190,2580 }, { 191,2580 },
437 { 192,2580 }, { 193,2580 }, { 194,2580 }, { 195,2580 }, { 196,2580 },
438
439 { 197,2580 }, { 198,2580 }, { 199,2580 }, { 200,2580 }, { 201,2580 },
440 { 202,2580 }, { 203,2580 }, { 204,2580 }, { 205,2580 }, { 206,2580 },
441 { 207,2580 }, { 208,2580 }, { 209,2580 }, { 210,2580 }, { 211,2580 },
442 { 212,2580 }, { 213,2580 }, { 214,2580 }, { 215,2580 }, { 216,2580 },
443 { 217,2580 }, { 218,2580 }, { 219,2580 }, { 220,2580 }, { 221,2580 },
444 { 222,2580 }, { 223,2580 }, { 224,2580 }, { 225,2580 }, { 226,2580 },
445 { 227,2580 }, { 228,2580 }, { 229,2580 }, { 230,2580 }, { 231,2580 },
446 { 232,2580 }, { 233,2580 }, { 234,2580 }, { 235,2580 }, { 236,2580 },
447 { 237,2580 }, { 238,2580 }, { 239,2580 }, { 240,2580 }, { 241,2580 },
448 { 242,2580 }, { 243,2580 }, { 244,2580 }, { 245,2580 }, { 246,2580 },
449
450 { 247,2580 }, { 248,2580 }, { 249,2580 }, { 250,2580 }, { 251,2580 },
451 { 252,2580 }, { 253,2580 }, { 254,2580 }, { 255,2580 }, { 256,2580 },
452 { 0, 0 }, { 0,7619 }, { 1,2322 }, { 2,2322 }, { 3,2322 },
453 { 4,2322 }, { 5,2322 }, { 6,2322 }, { 7,2322 }, { 8,2322 },
454 { 9,2580 }, { 10,2580 }, { 11,2322 }, { 12,2580 }, { 13,2580 },
455 { 14,2322 }, { 15,2322 }, { 16,2322 }, { 17,2322 }, { 18,2322 },
456 { 19,2322 }, { 20,2322 }, { 21,2322 }, { 22,2322 }, { 23,2322 },
457 { 24,2322 }, { 25,2322 }, { 26,2322 }, { 27,2322 }, { 28,2322 },
458 { 29,2322 }, { 30,2322 }, { 31,2322 }, { 32,2580 }, { 33,2384 },
459 { 34,2386 }, { 35,2414 }, { 36,2599 }, { 37,2414 }, { 38,2596 },
460
461 { 39,2322 }, { 40,2414 }, { 41,2414 }, { 42,2857 }, { 43,2414 },
462 { 44,2414 }, { 45,2414 }, { 46,2414 }, { 47,2859 }, { 48,2861 },
463 { 49,3119 }, { 50,3119 }, { 51,3119 }, { 52,3119 }, { 53,3119 },
464 { 54,3119 }, { 55,3119 }, { 56,3119 }, { 57,3119 }, { 58,2414 },
465 { 59,2322 }, { 60,2923 }, { 61,2925 }, { 62,3181 }, { 63,2414 },
466 { 64,2414 }, { 65,2322 }, { 66,2322 }, { 67,2322 }, { 68,2322 },
467 { 69,2322 }, { 70,2322 }, { 71,2322 }, { 72,2322 }, { 73,2322 },
468 { 74,2322 }, { 75,2322 }, { 76,2322 }, { 77,2322 }, { 78,2322 },
469 { 79,2322 }, { 80,2322 }, { 81,2322 }, { 82,2322 }, { 83,2322 },
470 { 84,2322 }, { 85,2322 }, { 86,2322 }, { 87,2322 }, { 88,2322 },
471
472 { 89,2322 }, { 90,2322 }, { 91,2414 }, { 92,3183 }, { 93,2414 },
473 { 94,2322 }, { 95,2322 }, { 96,2322 }, { 97,2322 }, { 98,2322 },
474 { 99,2322 }, { 100,2322 }, { 101,2322 }, { 102,2322 }, { 103,2322 },
475 { 104,2322 }, { 105,2322 }, { 106,2322 }, { 107,2322 }, { 108,2322 },
476 { 109,2322 }, { 110,2322 }, { 111,2322 }, { 112,2322 }, { 113,2322 },
477 { 114,2322 }, { 115,2322 }, { 116,2322 }, { 117,2322 }, { 118,2322 },
478 { 119,2322 }, { 120,2322 }, { 121,2322 }, { 122,2322 }, { 123,2414 },
479 { 124,3377 }, { 125,2414 }, { 126,2322 }, { 127,2322 }, { 128,2322 },
480 { 129,2322 }, { 130,2322 }, { 131,2322 }, { 132,2322 }, { 133,2322 },
481 { 134,2322 }, { 135,2322 }, { 136,2322 }, { 137,2322 }, { 138,2322 },
482
483 { 139,2322 }, { 140,2322 }, { 141,2322 }, { 142,2322 }, { 143,2322 },
484 { 144,2322 }, { 145,2322 }, { 146,2322 }, { 147,2322 }, { 148,2322 },
485 { 149,2322 }, { 150,2322 }, { 151,2322 }, { 152,2322 }, { 153,2322 },
486 { 154,2322 }, { 155,2322 }, { 156,2322 }, { 157,2322 }, { 158,2322 },
487 { 159,2322 }, { 160,2322 }, { 161,2322 }, { 162,2322 }, { 163,2322 },
488 { 164,2322 }, { 165,2322 }, { 166,2322 }, { 167,2322 }, { 168,2322 },
489 { 169,2322 }, { 170,2322 }, { 171,2322 }, { 172,2322 }, { 173,2322 },
490 { 174,2322 }, { 175,2322 }, { 176,2322 }, { 177,2322 }, { 178,2322 },
491 { 179,2322 }, { 180,2322 }, { 181,2322 }, { 182,2322 }, { 183,2322 },
492 { 184,2322 }, { 185,2322 }, { 186,2322 }, { 187,2322 }, { 188,2322 },
493
494 { 189,2322 }, { 190,2322 }, { 191,2322 }, { 192,2322 }, { 193,2322 },
495 { 194,2322 }, { 195,2322 }, { 196,2322 }, { 197,2322 }, { 198,2322 },
496 { 199,2322 }, { 200,2322 }, { 201,2322 }, { 202,2322 }, { 203,2322 },
497 { 204,2322 }, { 205,2322 }, { 206,2322 }, { 207,2322 }, { 208,2322 },
498 { 209,2322 }, { 210,2322 }, { 211,2322 }, { 212,2322 }, { 213,2322 },
499 { 214,2322 }, { 215,2322 }, { 216,2322 }, { 217,2322 }, { 218,2322 },
500 { 219,2322 }, { 220,2322 }, { 221,2322 }, { 222,2322 }, { 223,2322 },
501 { 224,2322 }, { 225,2322 }, { 226,2322 }, { 227,2322 }, { 228,2322 },
502 { 229,2322 }, { 230,2322 }, { 231,2322 }, { 232,2322 }, { 233,2322 },
503 { 234,2322 }, { 235,2322 }, { 236,2322 }, { 237,2322 }, { 238,2322 },
504
505 { 239,2322 }, { 240,2322 }, { 241,2322 }, { 242,2322 }, { 243,2322 },
506 { 244,2322 }, { 245,2322 }, { 246,2322 }, { 247,2322 }, { 248,2322 },
507 { 249,2322 }, { 250,2322 }, { 251,2322 }, { 252,2322 }, { 253,2322 },
508 { 254,2322 }, { 255,2322 }, { 256,2322 }, { 0, 0 }, { 0,7361 },
509 { 1,3151 }, { 2,3151 }, { 3,3151 }, { 4,3151 }, { 5,3151 },
510 { 6,3151 }, { 7,3151 }, { 8,3151 }, { 9,3151 }, { 10,3151 },
511 { 11,3151 }, { 12,3151 }, { 13,3151 }, { 14,3151 }, { 15,3151 },
512 { 16,3151 }, { 17,3151 }, { 18,3151 }, { 19,3151 }, { 20,3151 },
513 { 21,3151 }, { 22,3151 }, { 23,3151 }, { 24,3151 }, { 25,3151 },
514 { 26,3151 }, { 27,3151 }, { 28,3151 }, { 29,3151 }, { 30,3151 },
515
516 { 31,3151 }, { 32,3151 }, { 33,3151 }, { 34,3121 }, { 35,3151 },
517 { 36,3151 }, { 37,3151 }, { 38,3151 }, { 39,3151 }, { 40,3151 },
518 { 41,3151 }, { 42,3151 }, { 43,3151 }, { 44,3151 }, { 45,3151 },
519 { 46,3151 }, { 47,3151 }, { 48,3151 }, { 49,3151 }, { 50,3151 },
520 { 51,3151 }, { 52,3151 }, { 53,3151 }, { 54,3151 }, { 55,3151 },
521 { 56,3151 }, { 57,3151 }, { 58,3151 }, { 59,3151 }, { 60,3151 },
522 { 61,3151 }, { 62,3151 }, { 63,3151 }, { 64,3151 }, { 65,3151 },
523 { 66,3151 }, { 67,3151 }, { 68,3151 }, { 69,3151 }, { 70,3151 },
524 { 71,3151 }, { 72,3151 }, { 73,3151 }, { 74,3151 }, { 75,3151 },
525 { 76,3151 }, { 77,3151 }, { 78,3151 }, { 79,3151 }, { 80,3151 },
526
527 { 81,3151 }, { 82,3151 }, { 83,3151 }, { 84,3151 }, { 85,3151 },
528 { 86,3151 }, { 87,3151 }, { 88,3151 }, { 89,3151 }, { 90,3151 },
529 { 91,3151 }, { 92,3409 }, { 93,3151 }, { 94,3151 }, { 95,3151 },
530 { 96,3151 }, { 97,3151 }, { 98,3151 }, { 99,3151 }, { 100,3151 },
531 { 101,3151 }, { 102,3151 }, { 103,3151 }, { 104,3151 }, { 105,3151 },
532 { 106,3151 }, { 107,3151 }, { 108,3151 }, { 109,3151 }, { 110,3151 },
533 { 111,3151 }, { 112,3151 }, { 113,3151 }, { 114,3151 }, { 115,3151 },
534 { 116,3151 }, { 117,3151 }, { 118,3151 }, { 119,3151 }, { 120,3151 },
535 { 121,3151 }, { 122,3151 }, { 123,3151 }, { 124,3151 }, { 125,3151 },
536 { 126,3151 }, { 127,3151 }, { 128,3151 }, { 129,3151 }, { 130,3151 },
537
538 { 131,3151 }, { 132,3151 }, { 133,3151 }, { 134,3151 }, { 135,3151 },
539 { 136,3151 }, { 137,3151 }, { 138,3151 }, { 139,3151 }, { 140,3151 },
540 { 141,3151 }, { 142,3151 }, { 143,3151 }, { 144,3151 }, { 145,3151 },
541 { 146,3151 }, { 147,3151 }, { 148,3151 }, { 149,3151 }, { 150,3151 },
542 { 151,3151 }, { 152,3151 }, { 153,3151 }, { 154,3151 }, { 155,3151 },
543 { 156,3151 }, { 157,3151 }, { 158,3151 }, { 159,3151 }, { 160,3151 },
544 { 161,3151 }, { 162,3151 }, { 163,3151 }, { 164,3151 }, { 165,3151 },
545 { 166,3151 }, { 167,3151 }, { 168,3151 }, { 169,3151 }, { 170,3151 },
546 { 171,3151 }, { 172,3151 }, { 173,3151 }, { 174,3151 }, { 175,3151 },
547 { 176,3151 }, { 177,3151 }, { 178,3151 }, { 179,3151 }, { 180,3151 },
548
549 { 181,3151 }, { 182,3151 }, { 183,3151 }, { 184,3151 }, { 185,3151 },
550 { 186,3151 }, { 187,3151 }, { 188,3151 }, { 189,3151 }, { 190,3151 },
551 { 191,3151 }, { 192,3151 }, { 193,3151 }, { 194,3151 }, { 195,3151 },
552 { 196,3151 }, { 197,3151 }, { 198,3151 }, { 199,3151 }, { 200,3151 },
553 { 201,3151 }, { 202,3151 }, { 203,3151 }, { 204,3151 }, { 205,3151 },
554 { 206,3151 }, { 207,3151 }, { 208,3151 }, { 209,3151 }, { 210,3151 },
555 { 211,3151 }, { 212,3151 }, { 213,3151 }, { 214,3151 }, { 215,3151 },
556 { 216,3151 }, { 217,3151 }, { 218,3151 }, { 219,3151 }, { 220,3151 },
557 { 221,3151 }, { 222,3151 }, { 223,3151 }, { 224,3151 }, { 225,3151 },
558 { 226,3151 }, { 227,3151 }, { 228,3151 }, { 229,3151 }, { 230,3151 },
559
560 { 231,3151 }, { 232,3151 }, { 233,3151 }, { 234,3151 }, { 235,3151 },
561 { 236,3151 }, { 237,3151 }, { 238,3151 }, { 239,3151 }, { 240,3151 },
562 { 241,3151 }, { 242,3151 }, { 243,3151 }, { 244,3151 }, { 245,3151 },
563 { 246,3151 }, { 247,3151 }, { 248,3151 }, { 249,3151 }, { 250,3151 },
564 { 251,3151 }, { 252,3151 }, { 253,3151 }, { 254,3151 }, { 255,3151 },
565 { 256,3151 }, { 0, 0 }, { 0,7103 }, { 1,2893 }, { 2,2893 },
566 { 3,2893 }, { 4,2893 }, { 5,2893 }, { 6,2893 }, { 7,2893 },
567 { 8,2893 }, { 9,2893 }, { 10,2893 }, { 11,2893 }, { 12,2893 },
568 { 13,2893 }, { 14,2893 }, { 15,2893 }, { 16,2893 }, { 17,2893 },
569 { 18,2893 }, { 19,2893 }, { 20,2893 }, { 21,2893 }, { 22,2893 },
570
571 { 23,2893 }, { 24,2893 }, { 25,2893 }, { 26,2893 }, { 27,2893 },
572 { 28,2893 }, { 29,2893 }, { 30,2893 }, { 31,2893 }, { 32,2893 },
573 { 33,2893 }, { 34,2863 }, { 35,2893 }, { 36,2893 }, { 37,2893 },
574 { 38,2893 }, { 39,2893 }, { 40,2893 }, { 41,2893 }, { 42,2893 },
575 { 43,2893 }, { 44,2893 }, { 45,2893 }, { 46,2893 }, { 47,2893 },
576 { 48,2893 }, { 49,2893 }, { 50,2893 }, { 51,2893 }, { 52,2893 },
577 { 53,2893 }, { 54,2893 }, { 55,2893 }, { 56,2893 }, { 57,2893 },
578 { 58,2893 }, { 59,2893 }, { 60,2893 }, { 61,2893 }, { 62,2893 },
579 { 63,2893 }, { 64,2893 }, { 65,2893 }, { 66,2893 }, { 67,2893 },
580 { 68,2893 }, { 69,2893 }, { 70,2893 }, { 71,2893 }, { 72,2893 },
581
582 { 73,2893 }, { 74,2893 }, { 75,2893 }, { 76,2893 }, { 77,2893 },
583 { 78,2893 }, { 79,2893 }, { 80,2893 }, { 81,2893 }, { 82,2893 },
584 { 83,2893 }, { 84,2893 }, { 85,2893 }, { 86,2893 }, { 87,2893 },
585 { 88,2893 }, { 89,2893 }, { 90,2893 }, { 91,2893 }, { 92,3151 },
586 { 93,2893 }, { 94,2893 }, { 95,2893 }, { 96,2893 }, { 97,2893 },
587 { 98,2893 }, { 99,2893 }, { 100,2893 }, { 101,2893 }, { 102,2893 },
588 { 103,2893 }, { 104,2893 }, { 105,2893 }, { 106,2893 }, { 107,2893 },
589 { 108,2893 }, { 109,2893 }, { 110,2893 }, { 111,2893 }, { 112,2893 },
590 { 113,2893 }, { 114,2893 }, { 115,2893 }, { 116,2893 }, { 117,2893 },
591 { 118,2893 }, { 119,2893 }, { 120,2893 }, { 121,2893 }, { 122,2893 },
592
593 { 123,2893 }, { 124,2893 }, { 125,2893 }, { 126,2893 }, { 127,2893 },
594 { 128,2893 }, { 129,2893 }, { 130,2893 }, { 131,2893 }, { 132,2893 },
595 { 133,2893 }, { 134,2893 }, { 135,2893 }, { 136,2893 }, { 137,2893 },
596 { 138,2893 }, { 139,2893 }, { 140,2893 }, { 141,2893 }, { 142,2893 },
597 { 143,2893 }, { 144,2893 }, { 145,2893 }, { 146,2893 }, { 147,2893 },
598 { 148,2893 }, { 149,2893 }, { 150,2893 }, { 151,2893 }, { 152,2893 },
599 { 153,2893 }, { 154,2893 }, { 155,2893 }, { 156,2893 }, { 157,2893 },
600 { 158,2893 }, { 159,2893 }, { 160,2893 }, { 161,2893 }, { 162,2893 },
601 { 163,2893 }, { 164,2893 }, { 165,2893 }, { 166,2893 }, { 167,2893 },
602 { 168,2893 }, { 169,2893 }, { 170,2893 }, { 171,2893 }, { 172,2893 },
603
604 { 173,2893 }, { 174,2893 }, { 175,2893 }, { 176,2893 }, { 177,2893 },
605 { 178,2893 }, { 179,2893 }, { 180,2893 }, { 181,2893 }, { 182,2893 },
606 { 183,2893 }, { 184,2893 }, { 185,2893 }, { 186,2893 }, { 187,2893 },
607 { 188,2893 }, { 189,2893 }, { 190,2893 }, { 191,2893 }, { 192,2893 },
608 { 193,2893 }, { 194,2893 }, { 195,2893 }, { 196,2893 }, { 197,2893 },
609 { 198,2893 }, { 199,2893 }, { 200,2893 }, { 201,2893 }, { 202,2893 },
610 { 203,2893 }, { 204,2893 }, { 205,2893 }, { 206,2893 }, { 207,2893 },
611 { 208,2893 }, { 209,2893 }, { 210,2893 }, { 211,2893 }, { 212,2893 },
612 { 213,2893 }, { 214,2893 }, { 215,2893 }, { 216,2893 }, { 217,2893 },
613 { 218,2893 }, { 219,2893 }, { 220,2893 }, { 221,2893 }, { 222,2893 },
614
615 { 223,2893 }, { 224,2893 }, { 225,2893 }, { 226,2893 }, { 227,2893 },
616 { 228,2893 }, { 229,2893 }, { 230,2893 }, { 231,2893 }, { 232,2893 },
617 { 233,2893 }, { 234,2893 }, { 235,2893 }, { 236,2893 }, { 237,2893 },
618 { 238,2893 }, { 239,2893 }, { 240,2893 }, { 241,2893 }, { 242,2893 },
619 { 243,2893 }, { 244,2893 }, { 245,2893 }, { 246,2893 }, { 247,2893 },
620 { 248,2893 }, { 249,2893 }, { 250,2893 }, { 251,2893 }, { 252,2893 },
621 { 253,2893 }, { 254,2893 }, { 255,2893 }, { 256,2893 }, { 0, 0 },
622 { 0,6845 }, { 1,3151 }, { 2,3151 }, { 3,3151 }, { 4,3151 },
623 { 5,3151 }, { 6,3151 }, { 7,3151 }, { 8,3151 }, { 9,3409 },
624 { 10,3409 }, { 11,3151 }, { 12,3409 }, { 13,3409 }, { 14,3151 },
625
626 { 15,3151 }, { 16,3151 }, { 17,3151 }, { 18,3151 }, { 19,3151 },
627 { 20,3151 }, { 21,3151 }, { 22,3151 }, { 23,3151 }, { 24,3151 },
628 { 25,3151 }, { 26,3151 }, { 27,3151 }, { 28,3151 }, { 29,3151 },
629 { 30,3151 }, { 31,3151 }, { 32,3409 }, { 33,2607 }, { 34,2607 },
630 { 35,2607 }, { 36,2607 }, { 37,2607 }, { 38,2607 }, { 39,3151 },
631 { 40,2607 }, { 41,2607 }, { 42,2607 }, { 43,2607 }, { 44,2607 },
632 { 45,2607 }, { 46,2607 }, { 47,2627 }, { 48,3151 }, { 49,3151 },
633 { 50,3151 }, { 51,3151 }, { 52,3151 }, { 53,3151 }, { 54,3151 },
634 { 55,3151 }, { 56,3151 }, { 57,3151 }, { 58,2607 }, { 59,3151 },
635 { 60,2607 }, { 61,2607 }, { 62,2607 }, { 63,2607 }, { 64,2607 },
636
637 { 65,3151 }, { 66,3151 }, { 67,3151 }, { 68,3151 }, { 69,3151 },
638 { 70,3151 }, { 71,3151 }, { 72,3151 }, { 73,3151 }, { 74,3151 },
639 { 75,3151 }, { 76,3151 }, { 77,3151 }, { 78,3151 }, { 79,3151 },
640 { 80,3151 }, { 81,3151 }, { 82,3151 }, { 83,3151 }, { 84,3151 },
641 { 85,3151 }, { 86,3151 }, { 87,3151 }, { 88,3151 }, { 89,3151 },
642 { 90,3151 }, { 91,2607 }, { 92,2893 }, { 93,2607 }, { 94,3151 },
643 { 95,3151 }, { 96,3151 }, { 97,3151 }, { 98,3151 }, { 99,3151 },
644 { 100,3151 }, { 101,3151 }, { 102,3151 }, { 103,3151 }, { 104,3151 },
645 { 105,3151 }, { 106,3151 }, { 107,3151 }, { 108,3151 }, { 109,3151 },
646 { 110,3151 }, { 111,3151 }, { 112,3151 }, { 113,3151 }, { 114,3151 },
647
648 { 115,3151 }, { 116,3151 }, { 117,3151 }, { 118,3151 }, { 119,3151 },
649 { 120,3151 }, { 121,3151 }, { 122,3151 }, { 123,2607 }, { 124,2607 },
650 { 125,2607 }, { 126,3151 }, { 127,3151 }, { 128,3151 }, { 129,3151 },
651 { 130,3151 }, { 131,3151 }, { 132,3151 }, { 133,3151 }, { 134,3151 },
652 { 135,3151 }, { 136,3151 }, { 137,3151 }, { 138,3151 }, { 139,3151 },
653 { 140,3151 }, { 141,3151 }, { 142,3151 }, { 143,3151 }, { 144,3151 },
654 { 145,3151 }, { 146,3151 }, { 147,3151 }, { 148,3151 }, { 149,3151 },
655 { 150,3151 }, { 151,3151 }, { 152,3151 }, { 153,3151 }, { 154,3151 },
656 { 155,3151 }, { 156,3151 }, { 157,3151 }, { 158,3151 }, { 159,3151 },
657 { 160,3151 }, { 161,3151 }, { 162,3151 }, { 163,3151 }, { 164,3151 },
658
659 { 165,3151 }, { 166,3151 }, { 167,3151 }, { 168,3151 }, { 169,3151 },
660 { 170,3151 }, { 171,3151 }, { 172,3151 }, { 173,3151 }, { 174,3151 },
661 { 175,3151 }, { 176,3151 }, { 177,3151 }, { 178,3151 }, { 179,3151 },
662 { 180,3151 }, { 181,3151 }, { 182,3151 }, { 183,3151 }, { 184,3151 },
663 { 185,3151 }, { 186,3151 }, { 187,3151 }, { 188,3151 }, { 189,3151 },
664 { 190,3151 }, { 191,3151 }, { 192,3151 }, { 193,3151 }, { 194,3151 },
665 { 195,3151 }, { 196,3151 }, { 197,3151 }, { 198,3151 }, { 199,3151 },
666 { 200,3151 }, { 201,3151 }, { 202,3151 }, { 203,3151 }, { 204,3151 },
667 { 205,3151 }, { 206,3151 }, { 207,3151 }, { 208,3151 }, { 209,3151 },
668 { 210,3151 }, { 211,3151 }, { 212,3151 }, { 213,3151 }, { 214,3151 },
669
670 { 215,3151 }, { 216,3151 }, { 217,3151 }, { 218,3151 }, { 219,3151 },
671 { 220,3151 }, { 221,3151 }, { 222,3151 }, { 223,3151 }, { 224,3151 },
672 { 225,3151 }, { 226,3151 }, { 227,3151 }, { 228,3151 }, { 229,3151 },
673 { 230,3151 }, { 231,3151 }, { 232,3151 }, { 233,3151 }, { 234,3151 },
674 { 235,3151 }, { 236,3151 }, { 237,3151 }, { 238,3151 }, { 239,3151 },
675 { 240,3151 }, { 241,3151 }, { 242,3151 }, { 243,3151 }, { 244,3151 },
676 { 245,3151 }, { 246,3151 }, { 247,3151 }, { 248,3151 }, { 249,3151 },
677 { 250,3151 }, { 251,3151 }, { 252,3151 }, { 253,3151 }, { 254,3151 },
678 { 255,3151 }, { 256,3151 }, { 0, 0 }, { 0,6587 }, { 1,2893 },
679 { 2,2893 }, { 3,2893 }, { 4,2893 }, { 5,2893 }, { 6,2893 },
680
681 { 7,2893 }, { 8,2893 }, { 9,3151 }, { 10,3151 }, { 11,2893 },
682 { 12,3151 }, { 13,3151 }, { 14,2893 }, { 15,2893 }, { 16,2893 },
683 { 17,2893 }, { 18,2893 }, { 19,2893 }, { 20,2893 }, { 21,2893 },
684 { 22,2893 }, { 23,2893 }, { 24,2893 }, { 25,2893 }, { 26,2893 },
685 { 27,2893 }, { 28,2893 }, { 29,2893 }, { 30,2893 }, { 31,2893 },
686 { 32,3151 }, { 33,2349 }, { 34,2349 }, { 35,2349 }, { 36,2349 },
687 { 37,2349 }, { 38,2349 }, { 39,2893 }, { 40,2349 }, { 41,2349 },
688 { 42,2349 }, { 43,2349 }, { 44,2349 }, { 45,2349 }, { 46,2349 },
689 { 47,2369 }, { 48,2893 }, { 49,2893 }, { 50,2893 }, { 51,2893 },
690 { 52,2893 }, { 53,2893 }, { 54,2893 }, { 55,2893 }, { 56,2893 },
691
692 { 57,2893 }, { 58,2349 }, { 59,2893 }, { 60,2349 }, { 61,2349 },
693 { 62,2349 }, { 63,2349 }, { 64,2349 }, { 65,2893 }, { 66,2893 },
694 { 67,2893 }, { 68,2893 }, { 69,2893 }, { 70,2893 }, { 71,2893 },
695 { 72,2893 }, { 73,2893 }, { 74,2893 }, { 75,2893 }, { 76,2893 },
696 { 77,2893 }, { 78,2893 }, { 79,2893 }, { 80,2893 }, { 81,2893 },
697 { 82,2893 }, { 83,2893 }, { 84,2893 }, { 85,2893 }, { 86,2893 },
698 { 87,2893 }, { 88,2893 }, { 89,2893 }, { 90,2893 }, { 91,2349 },
699 { 92,2635 }, { 93,2349 }, { 94,2893 }, { 95,2893 }, { 96,2893 },
700 { 97,2893 }, { 98,2893 }, { 99,2893 }, { 100,2893 }, { 101,2893 },
701 { 102,2893 }, { 103,2893 }, { 104,2893 }, { 105,2893 }, { 106,2893 },
702
703 { 107,2893 }, { 108,2893 }, { 109,2893 }, { 110,2893 }, { 111,2893 },
704 { 112,2893 }, { 113,2893 }, { 114,2893 }, { 115,2893 }, { 116,2893 },
705 { 117,2893 }, { 118,2893 }, { 119,2893 }, { 120,2893 }, { 121,2893 },
706 { 122,2893 }, { 123,2349 }, { 124,2349 }, { 125,2349 }, { 126,2893 },
707 { 127,2893 }, { 128,2893 }, { 129,2893 }, { 130,2893 }, { 131,2893 },
708 { 132,2893 }, { 133,2893 }, { 134,2893 }, { 135,2893 }, { 136,2893 },
709 { 137,2893 }, { 138,2893 }, { 139,2893 }, { 140,2893 }, { 141,2893 },
710 { 142,2893 }, { 143,2893 }, { 144,2893 }, { 145,2893 }, { 146,2893 },
711 { 147,2893 }, { 148,2893 }, { 149,2893 }, { 150,2893 }, { 151,2893 },
712 { 152,2893 }, { 153,2893 }, { 154,2893 }, { 155,2893 }, { 156,2893 },
713
714 { 157,2893 }, { 158,2893 }, { 159,2893 }, { 160,2893 }, { 161,2893 },
715 { 162,2893 }, { 163,2893 }, { 164,2893 }, { 165,2893 }, { 166,2893 },
716 { 167,2893 }, { 168,2893 }, { 169,2893 }, { 170,2893 }, { 171,2893 },
717 { 172,2893 }, { 173,2893 }, { 174,2893 }, { 175,2893 }, { 176,2893 },
718 { 177,2893 }, { 178,2893 }, { 179,2893 }, { 180,2893 }, { 181,2893 },
719 { 182,2893 }, { 183,2893 }, { 184,2893 }, { 185,2893 }, { 186,2893 },
720 { 187,2893 }, { 188,2893 }, { 189,2893 }, { 190,2893 }, { 191,2893 },
721 { 192,2893 }, { 193,2893 }, { 194,2893 }, { 195,2893 }, { 196,2893 },
722 { 197,2893 }, { 198,2893 }, { 199,2893 }, { 200,2893 }, { 201,2893 },
723 { 202,2893 }, { 203,2893 }, { 204,2893 }, { 205,2893 }, { 206,2893 },
724
725 { 207,2893 }, { 208,2893 }, { 209,2893 }, { 210,2893 }, { 211,2893 },
726 { 212,2893 }, { 213,2893 }, { 214,2893 }, { 215,2893 }, { 216,2893 },
727 { 217,2893 }, { 218,2893 }, { 219,2893 }, { 220,2893 }, { 221,2893 },
728 { 222,2893 }, { 223,2893 }, { 224,2893 }, { 225,2893 }, { 226,2893 },
729 { 227,2893 }, { 228,2893 }, { 229,2893 }, { 230,2893 }, { 231,2893 },
730 { 232,2893 }, { 233,2893 }, { 234,2893 }, { 235,2893 }, { 236,2893 },
731 { 237,2893 }, { 238,2893 }, { 239,2893 }, { 240,2893 }, { 241,2893 },
732 { 242,2893 }, { 243,2893 }, { 244,2893 }, { 245,2893 }, { 246,2893 },
733 { 247,2893 }, { 248,2893 }, { 249,2893 }, { 250,2893 }, { 251,2893 },
734 { 252,2893 }, { 253,2893 }, { 254,2893 }, { 255,2893 }, { 256,2893 },
735
736 { 0, 0 }, { 0,6329 }, { 1,2119 }, { 2,2119 }, { 3,2119 },
737 { 4,2119 }, { 5,2119 }, { 6,2119 }, { 7,2119 }, { 8,2119 },
738 { 9,2119 }, { 10,2119 }, { 11,2119 }, { 12,2119 }, { 13,2119 },
739 { 14,2119 }, { 15,2119 }, { 16,2119 }, { 17,2119 }, { 18,2119 },
740 { 19,2119 }, { 20,2119 }, { 21,2119 }, { 22,2119 }, { 23,2119 },
741 { 24,2119 }, { 25,2119 }, { 26,2119 }, { 27,2119 }, { 28,2119 },
742 { 29,2119 }, { 30,2119 }, { 31,2119 }, { 32,2119 }, { 33,2119 },
743 { 34,2113 }, { 35,2119 }, { 36,2119 }, { 37,2119 }, { 38,2119 },
744 { 39,2119 }, { 40,2119 }, { 41,2119 }, { 42,2119 }, { 43,2119 },
745 { 44,2119 }, { 45,2119 }, { 46,2119 }, { 47,2119 }, { 48,2119 },
746
747 { 49,2119 }, { 50,2119 }, { 51,2119 }, { 52,2119 }, { 53,2119 },
748 { 54,2119 }, { 55,2119 }, { 56,2119 }, { 57,2119 }, { 58,2119 },
749 { 59,2119 }, { 60,2119 }, { 61,2119 }, { 62,2119 }, { 63,2119 },
750 { 64,2119 }, { 65,2119 }, { 66,2119 }, { 67,2119 }, { 68,2119 },
751 { 69,2119 }, { 70,2119 }, { 71,2119 }, { 72,2119 }, { 73,2119 },
752 { 74,2119 }, { 75,2119 }, { 76,2119 }, { 77,2119 }, { 78,2119 },
753 { 79,2119 }, { 80,2119 }, { 81,2119 }, { 82,2119 }, { 83,2119 },
754 { 84,2119 }, { 85,2119 }, { 86,2119 }, { 87,2119 }, { 88,2119 },
755 { 89,2119 }, { 90,2119 }, { 91,2119 }, { 92,2377 }, { 93,2119 },
756 { 94,2119 }, { 95,2119 }, { 96,2119 }, { 97,2119 }, { 98,2119 },
757
758 { 99,2119 }, { 100,2119 }, { 101,2119 }, { 102,2119 }, { 103,2119 },
759 { 104,2119 }, { 105,2119 }, { 106,2119 }, { 107,2119 }, { 108,2119 },
760 { 109,2119 }, { 110,2119 }, { 111,2119 }, { 112,2119 }, { 113,2119 },
761 { 114,2119 }, { 115,2119 }, { 116,2119 }, { 117,2119 }, { 118,2119 },
762 { 119,2119 }, { 120,2119 }, { 121,2119 }, { 122,2119 }, { 123,2119 },
763 { 124,2119 }, { 125,2119 }, { 126,2119 }, { 127,2119 }, { 128,2119 },
764 { 129,2119 }, { 130,2119 }, { 131,2119 }, { 132,2119 }, { 133,2119 },
765 { 134,2119 }, { 135,2119 }, { 136,2119 }, { 137,2119 }, { 138,2119 },
766 { 139,2119 }, { 140,2119 }, { 141,2119 }, { 142,2119 }, { 143,2119 },
767 { 144,2119 }, { 145,2119 }, { 146,2119 }, { 147,2119 }, { 148,2119 },
768
769 { 149,2119 }, { 150,2119 }, { 151,2119 }, { 152,2119 }, { 153,2119 },
770 { 154,2119 }, { 155,2119 }, { 156,2119 }, { 157,2119 }, { 158,2119 },
771 { 159,2119 }, { 160,2119 }, { 161,2119 }, { 162,2119 }, { 163,2119 },
772 { 164,2119 }, { 165,2119 }, { 166,2119 }, { 167,2119 }, { 168,2119 },
773 { 169,2119 }, { 170,2119 }, { 171,2119 }, { 172,2119 }, { 173,2119 },
774 { 174,2119 }, { 175,2119 }, { 176,2119 }, { 177,2119 }, { 178,2119 },
775 { 179,2119 }, { 180,2119 }, { 181,2119 }, { 182,2119 }, { 183,2119 },
776 { 184,2119 }, { 185,2119 }, { 186,2119 }, { 187,2119 }, { 188,2119 },
777 { 189,2119 }, { 190,2119 }, { 191,2119 }, { 192,2119 }, { 193,2119 },
778 { 194,2119 }, { 195,2119 }, { 196,2119 }, { 197,2119 }, { 198,2119 },
779
780 { 199,2119 }, { 200,2119 }, { 201,2119 }, { 202,2119 }, { 203,2119 },
781 { 204,2119 }, { 205,2119 }, { 206,2119 }, { 207,2119 }, { 208,2119 },
782 { 209,2119 }, { 210,2119 }, { 211,2119 }, { 212,2119 }, { 213,2119 },
783 { 214,2119 }, { 215,2119 }, { 216,2119 }, { 217,2119 }, { 218,2119 },
784 { 219,2119 }, { 220,2119 }, { 221,2119 }, { 222,2119 }, { 223,2119 },
785 { 224,2119 }, { 225,2119 }, { 226,2119 }, { 227,2119 }, { 228,2119 },
786 { 229,2119 }, { 230,2119 }, { 231,2119 }, { 232,2119 }, { 233,2119 },
787 { 234,2119 }, { 235,2119 }, { 236,2119 }, { 237,2119 }, { 238,2119 },
788 { 239,2119 }, { 240,2119 }, { 241,2119 }, { 242,2119 }, { 243,2119 },
789 { 244,2119 }, { 245,2119 }, { 246,2119 }, { 247,2119 }, { 248,2119 },
790
791 { 249,2119 }, { 250,2119 }, { 251,2119 }, { 252,2119 }, { 253,2119 },
792 { 254,2119 }, { 255,2119 }, { 256,2119 }, { 0, 0 }, { 0,6071 },
793 { 1,1861 }, { 2,1861 }, { 3,1861 }, { 4,1861 }, { 5,1861 },
794 { 6,1861 }, { 7,1861 }, { 8,1861 }, { 9,1861 }, { 10,1861 },
795 { 11,1861 }, { 12,1861 }, { 13,1861 }, { 14,1861 }, { 15,1861 },
796 { 16,1861 }, { 17,1861 }, { 18,1861 }, { 19,1861 }, { 20,1861 },
797 { 21,1861 }, { 22,1861 }, { 23,1861 }, { 24,1861 }, { 25,1861 },
798 { 26,1861 }, { 27,1861 }, { 28,1861 }, { 29,1861 }, { 30,1861 },
799 { 31,1861 }, { 32,1861 }, { 33,1861 }, { 34,1855 }, { 35,1861 },
800 { 36,1861 }, { 37,1861 }, { 38,1861 }, { 39,1861 }, { 40,1861 },
801
802 { 41,1861 }, { 42,1861 }, { 43,1861 }, { 44,1861 }, { 45,1861 },
803 { 46,1861 }, { 47,1861 }, { 48,1861 }, { 49,1861 }, { 50,1861 },
804 { 51,1861 }, { 52,1861 }, { 53,1861 }, { 54,1861 }, { 55,1861 },
805 { 56,1861 }, { 57,1861 }, { 58,1861 }, { 59,1861 }, { 60,1861 },
806 { 61,1861 }, { 62,1861 }, { 63,1861 }, { 64,1861 }, { 65,1861 },
807 { 66,1861 }, { 67,1861 }, { 68,1861 }, { 69,1861 }, { 70,1861 },
808 { 71,1861 }, { 72,1861 }, { 73,1861 }, { 74,1861 }, { 75,1861 },
809 { 76,1861 }, { 77,1861 }, { 78,1861 }, { 79,1861 }, { 80,1861 },
810 { 81,1861 }, { 82,1861 }, { 83,1861 }, { 84,1861 }, { 85,1861 },
811 { 86,1861 }, { 87,1861 }, { 88,1861 }, { 89,1861 }, { 90,1861 },
812
813 { 91,1861 }, { 92,2119 }, { 93,1861 }, { 94,1861 }, { 95,1861 },
814 { 96,1861 }, { 97,1861 }, { 98,1861 }, { 99,1861 }, { 100,1861 },
815 { 101,1861 }, { 102,1861 }, { 103,1861 }, { 104,1861 }, { 105,1861 },
816 { 106,1861 }, { 107,1861 }, { 108,1861 }, { 109,1861 }, { 110,1861 },
817 { 111,1861 }, { 112,1861 }, { 113,1861 }, { 114,1861 }, { 115,1861 },
818 { 116,1861 }, { 117,1861 }, { 118,1861 }, { 119,1861 }, { 120,1861 },
819 { 121,1861 }, { 122,1861 }, { 123,1861 }, { 124,1861 }, { 125,1861 },
820 { 126,1861 }, { 127,1861 }, { 128,1861 }, { 129,1861 }, { 130,1861 },
821 { 131,1861 }, { 132,1861 }, { 133,1861 }, { 134,1861 }, { 135,1861 },
822 { 136,1861 }, { 137,1861 }, { 138,1861 }, { 139,1861 }, { 140,1861 },
823
824 { 141,1861 }, { 142,1861 }, { 143,1861 }, { 144,1861 }, { 145,1861 },
825 { 146,1861 }, { 147,1861 }, { 148,1861 }, { 149,1861 }, { 150,1861 },
826 { 151,1861 }, { 152,1861 }, { 153,1861 }, { 154,1861 }, { 155,1861 },
827 { 156,1861 }, { 157,1861 }, { 158,1861 }, { 159,1861 }, { 160,1861 },
828 { 161,1861 }, { 162,1861 }, { 163,1861 }, { 164,1861 }, { 165,1861 },
829 { 166,1861 }, { 167,1861 }, { 168,1861 }, { 169,1861 }, { 170,1861 },
830 { 171,1861 }, { 172,1861 }, { 173,1861 }, { 174,1861 }, { 175,1861 },
831 { 176,1861 }, { 177,1861 }, { 178,1861 }, { 179,1861 }, { 180,1861 },
832 { 181,1861 }, { 182,1861 }, { 183,1861 }, { 184,1861 }, { 185,1861 },
833 { 186,1861 }, { 187,1861 }, { 188,1861 }, { 189,1861 }, { 190,1861 },
834
835 { 191,1861 }, { 192,1861 }, { 193,1861 }, { 194,1861 }, { 195,1861 },
836 { 196,1861 }, { 197,1861 }, { 198,1861 }, { 199,1861 }, { 200,1861 },
837 { 201,1861 }, { 202,1861 }, { 203,1861 }, { 204,1861 }, { 205,1861 },
838 { 206,1861 }, { 207,1861 }, { 208,1861 }, { 209,1861 }, { 210,1861 },
839 { 211,1861 }, { 212,1861 }, { 213,1861 }, { 214,1861 }, { 215,1861 },
840 { 216,1861 }, { 217,1861 }, { 218,1861 }, { 219,1861 }, { 220,1861 },
841 { 221,1861 }, { 222,1861 }, { 223,1861 }, { 224,1861 }, { 225,1861 },
842 { 226,1861 }, { 227,1861 }, { 228,1861 }, { 229,1861 }, { 230,1861 },
843 { 231,1861 }, { 232,1861 }, { 233,1861 }, { 234,1861 }, { 235,1861 },
844 { 236,1861 }, { 237,1861 }, { 238,1861 }, { 239,1861 }, { 240,1861 },
845
846 { 241,1861 }, { 242,1861 }, { 243,1861 }, { 244,1861 }, { 245,1861 },
847 { 246,1861 }, { 247,1861 }, { 248,1861 }, { 249,1861 }, { 250,1861 },
848 { 251,1861 }, { 252,1861 }, { 253,1861 }, { 254,1861 }, { 255,1861 },
849 { 256,1861 }, { 0, 0 }, { 0,5813 }, { 1,2411 }, { 2,2411 },
850 { 3,2411 }, { 4,2411 }, { 5,2411 }, { 6,2411 }, { 7,2411 },
851 { 8,2411 }, { 9,2411 }, { 10,2411 }, { 11,2411 }, { 12,2411 },
852 { 13,2411 }, { 14,2411 }, { 15,2411 }, { 16,2411 }, { 17,2411 },
853 { 18,2411 }, { 19,2411 }, { 20,2411 }, { 21,2411 }, { 22,2411 },
854 { 23,2411 }, { 24,2411 }, { 25,2411 }, { 26,2411 }, { 27,2411 },
855 { 28,2411 }, { 29,2411 }, { 30,2411 }, { 31,2411 }, { 32,2411 },
856
857 { 33,2411 }, { 34,2411 }, { 35,2411 }, { 36,2411 }, { 37,2411 },
858 { 38,2411 }, { 39,2411 }, { 40,2411 }, { 41,2411 }, { 42,2132 },
859 { 43,2411 }, { 44,2411 }, { 45,2411 }, { 46,2411 }, { 47,2411 },
860 { 48,2411 }, { 49,2411 }, { 50,2411 }, { 51,2411 }, { 52,2411 },
861 { 53,2411 }, { 54,2411 }, { 55,2411 }, { 56,2411 }, { 57,2411 },
862 { 58,2411 }, { 59,2411 }, { 60,2411 }, { 61,2411 }, { 62,2411 },
863 { 63,2411 }, { 64,2411 }, { 65,2411 }, { 66,2411 }, { 67,2411 },
864 { 68,2411 }, { 69,2411 }, { 70,2411 }, { 71,2411 }, { 72,2411 },
865 { 73,2411 }, { 74,2411 }, { 75,2411 }, { 76,2411 }, { 77,2411 },
866 { 78,2411 }, { 79,2411 }, { 80,2411 }, { 81,2411 }, { 82,2411 },
867
868 { 83,2411 }, { 84,2411 }, { 85,2411 }, { 86,2411 }, { 87,2411 },
869 { 88,2411 }, { 89,2411 }, { 90,2411 }, { 91,2411 }, { 92,2411 },
870 { 93,2411 }, { 94,2411 }, { 95,2411 }, { 96,2411 }, { 97,2411 },
871 { 98,2411 }, { 99,2411 }, { 100,2411 }, { 101,2411 }, { 102,2411 },
872 { 103,2411 }, { 104,2411 }, { 105,2411 }, { 106,2411 }, { 107,2411 },
873 { 108,2411 }, { 109,2411 }, { 110,2411 }, { 111,2411 }, { 112,2411 },
874 { 113,2411 }, { 114,2411 }, { 115,2411 }, { 116,2411 }, { 117,2411 },
875 { 118,2411 }, { 119,2411 }, { 120,2411 }, { 121,2411 }, { 122,2411 },
876 { 123,2411 }, { 124,2411 }, { 125,2411 }, { 126,2411 }, { 127,2411 },
877 { 128,2411 }, { 129,2411 }, { 130,2411 }, { 131,2411 }, { 132,2411 },
878
879 { 133,2411 }, { 134,2411 }, { 135,2411 }, { 136,2411 }, { 137,2411 },
880 { 138,2411 }, { 139,2411 }, { 140,2411 }, { 141,2411 }, { 142,2411 },
881 { 143,2411 }, { 144,2411 }, { 145,2411 }, { 146,2411 }, { 147,2411 },
882 { 148,2411 }, { 149,2411 }, { 150,2411 }, { 151,2411 }, { 152,2411 },
883 { 153,2411 }, { 154,2411 }, { 155,2411 }, { 156,2411 }, { 157,2411 },
884 { 158,2411 }, { 159,2411 }, { 160,2411 }, { 161,2411 }, { 162,2411 },
885 { 163,2411 }, { 164,2411 }, { 165,2411 }, { 166,2411 }, { 167,2411 },
886 { 168,2411 }, { 169,2411 }, { 170,2411 }, { 171,2411 }, { 172,2411 },
887 { 173,2411 }, { 174,2411 }, { 175,2411 }, { 176,2411 }, { 177,2411 },
888 { 178,2411 }, { 179,2411 }, { 180,2411 }, { 181,2411 }, { 182,2411 },
889
890 { 183,2411 }, { 184,2411 }, { 185,2411 }, { 186,2411 }, { 187,2411 },
891 { 188,2411 }, { 189,2411 }, { 190,2411 }, { 191,2411 }, { 192,2411 },
892 { 193,2411 }, { 194,2411 }, { 195,2411 }, { 196,2411 }, { 197,2411 },
893 { 198,2411 }, { 199,2411 }, { 200,2411 }, { 201,2411 }, { 202,2411 },
894 { 203,2411 }, { 204,2411 }, { 205,2411 }, { 206,2411 }, { 207,2411 },
895 { 208,2411 }, { 209,2411 }, { 210,2411 }, { 211,2411 }, { 212,2411 },
896 { 213,2411 }, { 214,2411 }, { 215,2411 }, { 216,2411 }, { 217,2411 },
897 { 218,2411 }, { 219,2411 }, { 220,2411 }, { 221,2411 }, { 222,2411 },
898 { 223,2411 }, { 224,2411 }, { 225,2411 }, { 226,2411 }, { 227,2411 },
899 { 228,2411 }, { 229,2411 }, { 230,2411 }, { 231,2411 }, { 232,2411 },
900
901 { 233,2411 }, { 234,2411 }, { 235,2411 }, { 236,2411 }, { 237,2411 },
902 { 238,2411 }, { 239,2411 }, { 240,2411 }, { 241,2411 }, { 242,2411 },
903 { 243,2411 }, { 244,2411 }, { 245,2411 }, { 246,2411 }, { 247,2411 },
904 { 248,2411 }, { 249,2411 }, { 250,2411 }, { 251,2411 }, { 252,2411 },
905 { 253,2411 }, { 254,2411 }, { 255,2411 }, { 256,2411 }, { 0, 0 },
906 { 0,5555 }, { 1,2153 }, { 2,2153 }, { 3,2153 }, { 4,2153 },
907 { 5,2153 }, { 6,2153 }, { 7,2153 }, { 8,2153 }, { 9,2153 },
908 { 10,2153 }, { 11,2153 }, { 12,2153 }, { 13,2153 }, { 14,2153 },
909 { 15,2153 }, { 16,2153 }, { 17,2153 }, { 18,2153 }, { 19,2153 },
910 { 20,2153 }, { 21,2153 }, { 22,2153 }, { 23,2153 }, { 24,2153 },
911
912 { 25,2153 }, { 26,2153 }, { 27,2153 }, { 28,2153 }, { 29,2153 },
913 { 30,2153 }, { 31,2153 }, { 32,2153 }, { 33,2153 }, { 34,2153 },
914 { 35,2153 }, { 36,2153 }, { 37,2153 }, { 38,2153 }, { 39,2153 },
915 { 40,2153 }, { 41,2153 }, { 42,1874 }, { 43,2153 }, { 44,2153 },
916 { 45,2153 }, { 46,2153 }, { 47,2153 }, { 48,2153 }, { 49,2153 },
917 { 50,2153 }, { 51,2153 }, { 52,2153 }, { 53,2153 }, { 54,2153 },
918 { 55,2153 }, { 56,2153 }, { 57,2153 }, { 58,2153 }, { 59,2153 },
919 { 60,2153 }, { 61,2153 }, { 62,2153 }, { 63,2153 }, { 64,2153 },
920 { 65,2153 }, { 66,2153 }, { 67,2153 }, { 68,2153 }, { 69,2153 },
921 { 70,2153 }, { 71,2153 }, { 72,2153 }, { 73,2153 }, { 74,2153 },
922
923 { 75,2153 }, { 76,2153 }, { 77,2153 }, { 78,2153 }, { 79,2153 },
924 { 80,2153 }, { 81,2153 }, { 82,2153 }, { 83,2153 }, { 84,2153 },
925 { 85,2153 }, { 86,2153 }, { 87,2153 }, { 88,2153 }, { 89,2153 },
926 { 90,2153 }, { 91,2153 }, { 92,2153 }, { 93,2153 }, { 94,2153 },
927 { 95,2153 }, { 96,2153 }, { 97,2153 }, { 98,2153 }, { 99,2153 },
928 { 100,2153 }, { 101,2153 }, { 102,2153 }, { 103,2153 }, { 104,2153 },
929 { 105,2153 }, { 106,2153 }, { 107,2153 }, { 108,2153 }, { 109,2153 },
930 { 110,2153 }, { 111,2153 }, { 112,2153 }, { 113,2153 }, { 114,2153 },
931 { 115,2153 }, { 116,2153 }, { 117,2153 }, { 118,2153 }, { 119,2153 },
932 { 120,2153 }, { 121,2153 }, { 122,2153 }, { 123,2153 }, { 124,2153 },
933
934 { 125,2153 }, { 126,2153 }, { 127,2153 }, { 128,2153 }, { 129,2153 },
935 { 130,2153 }, { 131,2153 }, { 132,2153 }, { 133,2153 }, { 134,2153 },
936 { 135,2153 }, { 136,2153 }, { 137,2153 }, { 138,2153 }, { 139,2153 },
937 { 140,2153 }, { 141,2153 }, { 142,2153 }, { 143,2153 }, { 144,2153 },
938 { 145,2153 }, { 146,2153 }, { 147,2153 }, { 148,2153 }, { 149,2153 },
939 { 150,2153 }, { 151,2153 }, { 152,2153 }, { 153,2153 }, { 154,2153 },
940 { 155,2153 }, { 156,2153 }, { 157,2153 }, { 158,2153 }, { 159,2153 },
941 { 160,2153 }, { 161,2153 }, { 162,2153 }, { 163,2153 }, { 164,2153 },
942 { 165,2153 }, { 166,2153 }, { 167,2153 }, { 168,2153 }, { 169,2153 },
943 { 170,2153 }, { 171,2153 }, { 172,2153 }, { 173,2153 }, { 174,2153 },
944
945 { 175,2153 }, { 176,2153 }, { 177,2153 }, { 178,2153 }, { 179,2153 },
946 { 180,2153 }, { 181,2153 }, { 182,2153 }, { 183,2153 }, { 184,2153 },
947 { 185,2153 }, { 186,2153 }, { 187,2153 }, { 188,2153 }, { 189,2153 },
948 { 190,2153 }, { 191,2153 }, { 192,2153 }, { 193,2153 }, { 194,2153 },
949 { 195,2153 }, { 196,2153 }, { 197,2153 }, { 198,2153 }, { 199,2153 },
950 { 200,2153 }, { 201,2153 }, { 202,2153 }, { 203,2153 }, { 204,2153 },
951 { 205,2153 }, { 206,2153 }, { 207,2153 }, { 208,2153 }, { 209,2153 },
952 { 210,2153 }, { 211,2153 }, { 212,2153 }, { 213,2153 }, { 214,2153 },
953 { 215,2153 }, { 216,2153 }, { 217,2153 }, { 218,2153 }, { 219,2153 },
954 { 220,2153 }, { 221,2153 }, { 222,2153 }, { 223,2153 }, { 224,2153 },
955
956 { 225,2153 }, { 226,2153 }, { 227,2153 }, { 228,2153 }, { 229,2153 },
957 { 230,2153 }, { 231,2153 }, { 232,2153 }, { 233,2153 }, { 234,2153 },
958 { 235,2153 }, { 236,2153 }, { 237,2153 }, { 238,2153 }, { 239,2153 },
959 { 240,2153 }, { 241,2153 }, { 242,2153 }, { 243,2153 }, { 244,2153 },
960 { 245,2153 }, { 246,2153 }, { 247,2153 }, { 248,2153 }, { 249,2153 },
961 { 250,2153 }, { 251,2153 }, { 252,2153 }, { 253,2153 }, { 254,2153 },
962 { 255,2153 }, { 256,2153 }, { 0, 47 }, { 0,5297 }, { 1,2153 },
963 { 2,2153 }, { 3,2153 }, { 4,2153 }, { 5,2153 }, { 6,2153 },
964 { 7,2153 }, { 8,2153 }, { 0, 0 }, { 0, 0 }, { 11,2153 },
965 { 0, 0 }, { 0, 0 }, { 14,2153 }, { 15,2153 }, { 16,2153 },
966
967 { 17,2153 }, { 18,2153 }, { 19,2153 }, { 20,2153 }, { 21,2153 },
968 { 22,2153 }, { 23,2153 }, { 24,2153 }, { 25,2153 }, { 26,2153 },
969 { 27,2153 }, { 28,2153 }, { 29,2153 }, { 30,2153 }, { 31,2153 },
970 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
971 { 0, 0 }, { 0, 0 }, { 39,2153 }, { 0, 0 }, { 0, 0 },
972 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
973 { 0, 0 }, { 48,2153 }, { 49,2153 }, { 50,2153 }, { 51,2153 },
974 { 52,2153 }, { 53,2153 }, { 54,2153 }, { 55,2153 }, { 56,2153 },
975 { 57,2153 }, { 0, 0 }, { 59,2153 }, { 0, 0 }, { 0, 26 },
976 { 0,5235 }, { 0, 45 }, { 0,5233 }, { 65,2153 }, { 66,2153 },
977
978 { 67,2153 }, { 68,2153 }, { 69,2153 }, { 70,2153 }, { 71,2153 },
979 { 72,2153 }, { 73,2153 }, { 74,2153 }, { 75,2153 }, { 76,2153 },
980 { 77,2153 }, { 78,2153 }, { 79,2153 }, { 80,2153 }, { 81,2153 },
981 { 82,2153 }, { 83,2153 }, { 84,2153 }, { 85,2153 }, { 86,2153 },
982 { 87,2153 }, { 88,2153 }, { 89,2153 }, { 90,2153 }, { 0, 37 },
983 { 0,5205 }, { 0, 0 }, { 94,2153 }, { 95,2153 }, { 96,2153 },
984 { 97,2153 }, { 98,2153 }, { 99,2153 }, { 100,2153 }, { 101,2153 },
985 { 102,2153 }, { 103,2153 }, { 104,2153 }, { 105,2153 }, { 106,2153 },
986 { 107,2153 }, { 108,2153 }, { 109,2153 }, { 110,2153 }, { 111,2153 },
987 { 112,2153 }, { 113,2153 }, { 114,2153 }, { 115,2153 }, { 116,2153 },
988
989 { 117,2153 }, { 118,2153 }, { 119,2153 }, { 120,2153 }, { 121,2153 },
990 { 122,2153 }, { 61,1574 }, { 0, 0 }, { 0, 0 }, { 126,2153 },
991 { 127,2153 }, { 128,2153 }, { 129,2153 }, { 130,2153 }, { 131,2153 },
992 { 132,2153 }, { 133,2153 }, { 134,2153 }, { 135,2153 }, { 136,2153 },
993 { 137,2153 }, { 138,2153 }, { 139,2153 }, { 140,2153 }, { 141,2153 },
994 { 142,2153 }, { 143,2153 }, { 144,2153 }, { 145,2153 }, { 146,2153 },
995 { 147,2153 }, { 148,2153 }, { 149,2153 }, { 150,2153 }, { 151,2153 },
996 { 152,2153 }, { 153,2153 }, { 154,2153 }, { 155,2153 }, { 156,2153 },
997 { 157,2153 }, { 158,2153 }, { 159,2153 }, { 160,2153 }, { 161,2153 },
998 { 162,2153 }, { 163,2153 }, { 164,2153 }, { 165,2153 }, { 166,2153 },
999
1000 { 167,2153 }, { 168,2153 }, { 169,2153 }, { 170,2153 }, { 171,2153 },
1001 { 172,2153 }, { 173,2153 }, { 174,2153 }, { 175,2153 }, { 176,2153 },
1002 { 177,2153 }, { 178,2153 }, { 179,2153 }, { 180,2153 }, { 181,2153 },
1003 { 182,2153 }, { 183,2153 }, { 184,2153 }, { 185,2153 }, { 186,2153 },
1004 { 187,2153 }, { 188,2153 }, { 189,2153 }, { 190,2153 }, { 191,2153 },
1005 { 192,2153 }, { 193,2153 }, { 194,2153 }, { 195,2153 }, { 196,2153 },
1006 { 197,2153 }, { 198,2153 }, { 199,2153 }, { 200,2153 }, { 201,2153 },
1007 { 202,2153 }, { 203,2153 }, { 204,2153 }, { 205,2153 }, { 206,2153 },
1008 { 207,2153 }, { 208,2153 }, { 209,2153 }, { 210,2153 }, { 211,2153 },
1009 { 212,2153 }, { 213,2153 }, { 214,2153 }, { 215,2153 }, { 216,2153 },
1010
1011 { 217,2153 }, { 218,2153 }, { 219,2153 }, { 220,2153 }, { 221,2153 },
1012 { 222,2153 }, { 223,2153 }, { 224,2153 }, { 225,2153 }, { 226,2153 },
1013 { 227,2153 }, { 228,2153 }, { 229,2153 }, { 230,2153 }, { 231,2153 },
1014 { 232,2153 }, { 233,2153 }, { 234,2153 }, { 235,2153 }, { 236,2153 },
1015 { 237,2153 }, { 238,2153 }, { 239,2153 }, { 240,2153 }, { 241,2153 },
1016 { 242,2153 }, { 243,2153 }, { 244,2153 }, { 245,2153 }, { 246,2153 },
1017 { 247,2153 }, { 248,2153 }, { 249,2153 }, { 250,2153 }, { 251,2153 },
1018 { 252,2153 }, { 253,2153 }, { 254,2153 }, { 255,2153 }, { 256,2153 },
1019 { 0, 38 }, { 0,5039 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1020 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1021
1022 { 9,2153 }, { 10,2153 }, { 0, 0 }, { 12,2153 }, { 13,2153 },
1023 { 0, 0 }, { 0, 37 }, { 0,5023 }, { 0, 0 }, { 0, 37 },
1024 { 0,5020 }, { 1,2153 }, { 2,2153 }, { 3,2153 }, { 4,2153 },
1025 { 5,2153 }, { 6,2153 }, { 7,2153 }, { 8,2153 }, { 0, 0 },
1026 { 0, 0 }, { 11,2153 }, { 0, 0 }, { 32,2153 }, { 14,2153 },
1027 { 15,2153 }, { 16,2153 }, { 17,2153 }, { 18,2153 }, { 19,2153 },
1028 { 20,2153 }, { 21,2153 }, { 22,2153 }, { 23,2153 }, { 24,2153 },
1029 { 25,2153 }, { 26,2153 }, { 27,2153 }, { 28,2153 }, { 29,2153 },
1030 { 30,2153 }, { 31,2153 }, { 0, 0 }, { 0, 0 }, { 34,1361 },
1031 { 38,1366 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 39,2153 },
1032
1033 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1034 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 48,2153 }, { 49,2153 },
1035 { 50,2153 }, { 51,2153 }, { 52,2153 }, { 53,2153 }, { 54,2153 },
1036 { 55,2153 }, { 56,2153 }, { 57,2153 }, { 0, 0 }, { 59,2153 },
1037 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1038 { 65,2153 }, { 66,2153 }, { 67,2153 }, { 68,2153 }, { 69,2153 },
1039 { 70,2153 }, { 71,2153 }, { 72,2153 }, { 73,2153 }, { 74,2153 },
1040 { 75,2153 }, { 76,2153 }, { 77,2153 }, { 78,2153 }, { 79,2153 },
1041 { 80,2153 }, { 81,2153 }, { 82,2153 }, { 83,2153 }, { 84,2153 },
1042 { 85,2153 }, { 86,2153 }, { 87,2153 }, { 88,2153 }, { 89,2153 },
1043
1044 { 90,2153 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 94,2153 },
1045 { 95,2153 }, { 96,2153 }, { 97,2153 }, { 98,2153 }, { 99,2153 },
1046 { 100,2153 }, { 101,2153 }, { 102,2153 }, { 103,2153 }, { 104,2153 },
1047 { 105,2153 }, { 106,2153 }, { 107,2153 }, { 108,2153 }, { 109,2153 },
1048 { 110,2153 }, { 111,2153 }, { 112,2153 }, { 113,2153 }, { 114,2153 },
1049 { 115,2153 }, { 116,2153 }, { 117,2153 }, { 118,2153 }, { 119,2153 },
1050 { 120,2153 }, { 121,2153 }, { 122,2153 }, { 0, 0 }, { 0, 0 },
1051 { 0, 0 }, { 126,2153 }, { 127,2153 }, { 128,2153 }, { 129,2153 },
1052 { 130,2153 }, { 131,2153 }, { 132,2153 }, { 133,2153 }, { 134,2153 },
1053 { 135,2153 }, { 136,2153 }, { 137,2153 }, { 138,2153 }, { 139,2153 },
1054
1055 { 140,2153 }, { 141,2153 }, { 142,2153 }, { 143,2153 }, { 144,2153 },
1056 { 145,2153 }, { 146,2153 }, { 147,2153 }, { 148,2153 }, { 149,2153 },
1057 { 150,2153 }, { 151,2153 }, { 152,2153 }, { 153,2153 }, { 154,2153 },
1058 { 155,2153 }, { 156,2153 }, { 157,2153 }, { 158,2153 }, { 159,2153 },
1059 { 160,2153 }, { 161,2153 }, { 162,2153 }, { 163,2153 }, { 164,2153 },
1060 { 165,2153 }, { 166,2153 }, { 167,2153 }, { 168,2153 }, { 169,2153 },
1061 { 170,2153 }, { 171,2153 }, { 172,2153 }, { 173,2153 }, { 174,2153 },
1062 { 175,2153 }, { 176,2153 }, { 177,2153 }, { 178,2153 }, { 179,2153 },
1063 { 180,2153 }, { 181,2153 }, { 182,2153 }, { 183,2153 }, { 184,2153 },
1064 { 185,2153 }, { 186,2153 }, { 187,2153 }, { 188,2153 }, { 189,2153 },
1065
1066 { 190,2153 }, { 191,2153 }, { 192,2153 }, { 193,2153 }, { 194,2153 },
1067 { 195,2153 }, { 196,2153 }, { 197,2153 }, { 198,2153 }, { 199,2153 },
1068 { 200,2153 }, { 201,2153 }, { 202,2153 }, { 203,2153 }, { 204,2153 },
1069 { 205,2153 }, { 206,2153 }, { 207,2153 }, { 208,2153 }, { 209,2153 },
1070 { 210,2153 }, { 211,2153 }, { 212,2153 }, { 213,2153 }, { 214,2153 },
1071 { 215,2153 }, { 216,2153 }, { 217,2153 }, { 218,2153 }, { 219,2153 },
1072 { 220,2153 }, { 221,2153 }, { 222,2153 }, { 223,2153 }, { 224,2153 },
1073 { 225,2153 }, { 226,2153 }, { 227,2153 }, { 228,2153 }, { 229,2153 },
1074 { 230,2153 }, { 231,2153 }, { 232,2153 }, { 233,2153 }, { 234,2153 },
1075 { 235,2153 }, { 236,2153 }, { 237,2153 }, { 238,2153 }, { 239,2153 },
1076
1077 { 240,2153 }, { 241,2153 }, { 242,2153 }, { 243,2153 }, { 244,2153 },
1078 { 245,2153 }, { 246,2153 }, { 247,2153 }, { 248,2153 }, { 249,2153 },
1079 { 250,2153 }, { 251,2153 }, { 252,2153 }, { 253,2153 }, { 254,2153 },
1080 { 255,2153 }, { 256,2153 }, { 0, 37 }, { 0,4762 }, { 0, 37 },
1081 { 0,4760 }, { 0, 42 }, { 0,4758 }, { 1,1614 }, { 2,1614 },
1082 { 3,1614 }, { 4,1614 }, { 5,1614 }, { 6,1614 }, { 7,1614 },
1083 { 8,1614 }, { 0, 0 }, { 0, 0 }, { 11,1614 }, { 0, 0 },
1084 { 0, 0 }, { 14,1614 }, { 15,1614 }, { 16,1614 }, { 17,1614 },
1085 { 18,1614 }, { 19,1614 }, { 20,1614 }, { 21,1614 }, { 22,1614 },
1086 { 23,1614 }, { 24,1614 }, { 25,1614 }, { 26,1614 }, { 27,1614 },
1087
1088 { 28,1614 }, { 29,1614 }, { 30,1614 }, { 31,1614 }, { 0, 0 },
1089 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1090 { 42,1109 }, { 39,1614 }, { 42,1109 }, { 0, 0 }, { 0, 0 },
1091 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 46,2149 }, { 0, 0 },
1092 { 48,1614 }, { 49,1614 }, { 50,1614 }, { 51,1614 }, { 52,1614 },
1093 { 53,1614 }, { 54,1614 }, { 55,1614 }, { 56,1614 }, { 57,1614 },
1094 { 0, 0 }, { 59,1614 }, { 0, 0 }, { 0, 28 }, { 0,4696 },
1095 { 0, 37 }, { 0,4694 }, { 65,1614 }, { 66,1614 }, { 67,1614 },
1096 { 68,1614 }, { 69,2208 }, { 70,1614 }, { 71,1614 }, { 72,1614 },
1097 { 73,1614 }, { 74,1614 }, { 75,1614 }, { 76,1614 }, { 77,1614 },
1098
1099 { 78,1614 }, { 79,1614 }, { 80,1614 }, { 81,1614 }, { 82,1614 },
1100 { 83,1614 }, { 84,1614 }, { 85,1614 }, { 86,1614 }, { 87,1614 },
1101 { 88,1614 }, { 89,1614 }, { 90,1614 }, { 0, 0 }, { 0, 0 },
1102 { 0, 0 }, { 94,1614 }, { 95,1614 }, { 96,1614 }, { 97,1614 },
1103 { 98,1614 }, { 99,1614 }, { 100,1614 }, { 101,2208 }, { 102,1614 },
1104 { 103,1614 }, { 104,1614 }, { 105,1614 }, { 106,1614 }, { 107,1614 },
1105 { 108,1614 }, { 109,1614 }, { 110,1614 }, { 111,1614 }, { 112,1614 },
1106 { 113,1614 }, { 114,1614 }, { 115,1614 }, { 116,1614 }, { 117,1614 },
1107 { 118,1614 }, { 119,1614 }, { 120,1614 }, { 121,1614 }, { 122,1614 },
1108 { 61,1047 }, { 62,1049 }, { 61,1062 }, { 126,1614 }, { 127,1614 },
1109
1110 { 128,1614 }, { 129,1614 }, { 130,1614 }, { 131,1614 }, { 132,1614 },
1111 { 133,1614 }, { 134,1614 }, { 135,1614 }, { 136,1614 }, { 137,1614 },
1112 { 138,1614 }, { 139,1614 }, { 140,1614 }, { 141,1614 }, { 142,1614 },
1113 { 143,1614 }, { 144,1614 }, { 145,1614 }, { 146,1614 }, { 147,1614 },
1114 { 148,1614 }, { 149,1614 }, { 150,1614 }, { 151,1614 }, { 152,1614 },
1115 { 153,1614 }, { 154,1614 }, { 155,1614 }, { 156,1614 }, { 157,1614 },
1116 { 158,1614 }, { 159,1614 }, { 160,1614 }, { 161,1614 }, { 162,1614 },
1117 { 163,1614 }, { 164,1614 }, { 165,1614 }, { 166,1614 }, { 167,1614 },
1118 { 168,1614 }, { 169,1614 }, { 170,1614 }, { 171,1614 }, { 172,1614 },
1119 { 173,1614 }, { 174,1614 }, { 175,1614 }, { 176,1614 }, { 177,1614 },
1120
1121 { 178,1614 }, { 179,1614 }, { 180,1614 }, { 181,1614 }, { 182,1614 },
1122 { 183,1614 }, { 184,1614 }, { 185,1614 }, { 186,1614 }, { 187,1614 },
1123 { 188,1614 }, { 189,1614 }, { 190,1614 }, { 191,1614 }, { 192,1614 },
1124 { 193,1614 }, { 194,1614 }, { 195,1614 }, { 196,1614 }, { 197,1614 },
1125 { 198,1614 }, { 199,1614 }, { 200,1614 }, { 201,1614 }, { 202,1614 },
1126 { 203,1614 }, { 204,1614 }, { 205,1614 }, { 206,1614 }, { 207,1614 },
1127 { 208,1614 }, { 209,1614 }, { 210,1614 }, { 211,1614 }, { 212,1614 },
1128 { 213,1614 }, { 214,1614 }, { 215,1614 }, { 216,1614 }, { 217,1614 },
1129 { 218,1614 }, { 219,1614 }, { 220,1614 }, { 221,1614 }, { 222,1614 },
1130 { 223,1614 }, { 224,1614 }, { 225,1614 }, { 226,1614 }, { 227,1614 },
1131
1132 { 228,1614 }, { 229,1614 }, { 230,1614 }, { 231,1614 }, { 232,1614 },
1133 { 233,1614 }, { 234,1614 }, { 235,1614 }, { 236,1614 }, { 237,1614 },
1134 { 238,1614 }, { 239,1614 }, { 240,1614 }, { 241,1614 }, { 242,1614 },
1135 { 243,1614 }, { 244,1614 }, { 245,1614 }, { 246,1614 }, { 247,1614 },
1136 { 248,1614 }, { 249,1614 }, { 250,1614 }, { 251,1614 }, { 252,1614 },
1137 { 253,1614 }, { 254,1614 }, { 255,1614 }, { 256,1614 }, { 0, 42 },
1138 { 0,4500 }, { 1,1356 }, { 2,1356 }, { 3,1356 }, { 4,1356 },
1139 { 5,1356 }, { 6,1356 }, { 7,1356 }, { 8,1356 }, { 0, 0 },
1140 { 0, 0 }, { 11,1356 }, { 0, 0 }, { 0, 0 }, { 14,1356 },
1141 { 15,1356 }, { 16,1356 }, { 17,1356 }, { 18,1356 }, { 19,1356 },
1142
1143 { 20,1356 }, { 21,1356 }, { 22,1356 }, { 23,1356 }, { 24,1356 },
1144 { 25,1356 }, { 26,1356 }, { 27,1356 }, { 28,1356 }, { 29,1356 },
1145 { 30,1356 }, { 31,1356 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1146 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 39,1356 },
1147 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1148 { 0, 0 }, { 46,1891 }, { 0, 0 }, { 48,2208 }, { 49,2208 },
1149 { 50,2208 }, { 51,2208 }, { 52,2208 }, { 53,2208 }, { 54,2208 },
1150 { 55,2208 }, { 56,2208 }, { 57,2208 }, { 0, 0 }, { 59,1356 },
1151 { 0, 0 }, { 0, 34 }, { 0,4438 }, { 0, 46 }, { 0,4436 },
1152 { 65,1356 }, { 66,1356 }, { 67,1356 }, { 68,1356 }, { 69,1950 },
1153
1154 { 70,1356 }, { 71,1356 }, { 72,1356 }, { 73,1356 }, { 74,1356 },
1155 { 75,1356 }, { 76,1356 }, { 77,1356 }, { 78,1356 }, { 79,1356 },
1156 { 80,1356 }, { 81,1356 }, { 82,1356 }, { 83,1356 }, { 84,1356 },
1157 { 85,1356 }, { 86,1356 }, { 87,1356 }, { 88,1356 }, { 89,1356 },
1158 { 90,1356 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 94,1356 },
1159 { 95,1356 }, { 96,1356 }, { 97,1356 }, { 98,1356 }, { 99,1356 },
1160 { 100,1356 }, { 101,1950 }, { 102,1356 }, { 103,1356 }, { 104,1356 },
1161 { 105,1356 }, { 106,1356 }, { 107,1356 }, { 108,1356 }, { 109,1356 },
1162 { 110,1356 }, { 111,1356 }, { 112,1356 }, { 113,1356 }, { 114,1356 },
1163 { 115,1356 }, { 116,1356 }, { 117,1356 }, { 118,1356 }, { 119,1356 },
1164
1165 { 120,1356 }, { 121,1356 }, { 122,1356 }, { 61, 808 }, { 0, 0 },
1166 { 0, 0 }, { 126,1356 }, { 127,1356 }, { 128,1356 }, { 129,1356 },
1167 { 130,1356 }, { 131,1356 }, { 132,1356 }, { 133,1356 }, { 134,1356 },
1168 { 135,1356 }, { 136,1356 }, { 137,1356 }, { 138,1356 }, { 139,1356 },
1169 { 140,1356 }, { 141,1356 }, { 142,1356 }, { 143,1356 }, { 144,1356 },
1170 { 145,1356 }, { 146,1356 }, { 147,1356 }, { 148,1356 }, { 149,1356 },
1171 { 150,1356 }, { 151,1356 }, { 152,1356 }, { 153,1356 }, { 154,1356 },
1172 { 155,1356 }, { 156,1356 }, { 157,1356 }, { 158,1356 }, { 159,1356 },
1173 { 160,1356 }, { 161,1356 }, { 162,1356 }, { 163,1356 }, { 164,1356 },
1174 { 165,1356 }, { 166,1356 }, { 167,1356 }, { 168,1356 }, { 169,1356 },
1175
1176 { 170,1356 }, { 171,1356 }, { 172,1356 }, { 173,1356 }, { 174,1356 },
1177 { 175,1356 }, { 176,1356 }, { 177,1356 }, { 178,1356 }, { 179,1356 },
1178 { 180,1356 }, { 181,1356 }, { 182,1356 }, { 183,1356 }, { 184,1356 },
1179 { 185,1356 }, { 186,1356 }, { 187,1356 }, { 188,1356 }, { 189,1356 },
1180 { 190,1356 }, { 191,1356 }, { 192,1356 }, { 193,1356 }, { 194,1356 },
1181 { 195,1356 }, { 196,1356 }, { 197,1356 }, { 198,1356 }, { 199,1356 },
1182 { 200,1356 }, { 201,1356 }, { 202,1356 }, { 203,1356 }, { 204,1356 },
1183 { 205,1356 }, { 206,1356 }, { 207,1356 }, { 208,1356 }, { 209,1356 },
1184 { 210,1356 }, { 211,1356 }, { 212,1356 }, { 213,1356 }, { 214,1356 },
1185 { 215,1356 }, { 216,1356 }, { 217,1356 }, { 218,1356 }, { 219,1356 },
1186
1187 { 220,1356 }, { 221,1356 }, { 222,1356 }, { 223,1356 }, { 224,1356 },
1188 { 225,1356 }, { 226,1356 }, { 227,1356 }, { 228,1356 }, { 229,1356 },
1189 { 230,1356 }, { 231,1356 }, { 232,1356 }, { 233,1356 }, { 234,1356 },
1190 { 235,1356 }, { 236,1356 }, { 237,1356 }, { 238,1356 }, { 239,1356 },
1191 { 240,1356 }, { 241,1356 }, { 242,1356 }, { 243,1356 }, { 244,1356 },
1192 { 245,1356 }, { 246,1356 }, { 247,1356 }, { 248,1356 }, { 249,1356 },
1193 { 250,1356 }, { 251,1356 }, { 252,1356 }, { 253,1356 }, { 254,1356 },
1194 { 255,1356 }, { 256,1356 }, { 0, 37 }, { 0,4242 }, { 0, 18 },
1195 { 0,4240 }, { 0, 4 }, { 0,4238 }, { 0, 0 }, { 0, 0 },
1196 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1197
1198 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1199 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1200 { 0, 0 }, { 0, 4 }, { 0,4218 }, { 0, 19 }, { 0,4216 },
1201 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 20 },
1202 { 0,4210 }, { 1,2176 }, { 2,2176 }, { 3,2176 }, { 4,2176 },
1203 { 5,2176 }, { 6,2176 }, { 7,2176 }, { 8,2176 }, { 9,2176 },
1204 { 10,2176 }, { 11,2176 }, { 12,2176 }, { 13,2176 }, { 14,2176 },
1205 { 15,2176 }, { 16,2176 }, { 17,2176 }, { 18,2176 }, { 19,2176 },
1206 { 20,2176 }, { 21,2176 }, { 22,2176 }, { 23,2176 }, { 24,2176 },
1207 { 25,2176 }, { 26,2176 }, { 27,2176 }, { 28,2176 }, { 29,2176 },
1208
1209 { 30,2176 }, { 31,2176 }, { 32,2176 }, { 33,2176 }, { 42, 801 },
1210 { 35,2176 }, { 36,2176 }, { 37,2176 }, { 38,2176 }, { 39,2176 },
1211 { 40,2176 }, { 41,2176 }, { 42,2176 }, { 43,2176 }, { 44,2176 },
1212 { 45,2176 }, { 46,2176 }, { 47,2176 }, { 48,2176 }, { 49,2176 },
1213 { 50,2176 }, { 51,2176 }, { 52,2176 }, { 53,2176 }, { 54,2176 },
1214 { 55,2176 }, { 56,2176 }, { 57,2176 }, { 58,2176 }, { 59,2176 },
1215 { 60,2176 }, { 61,2176 }, { 62,2176 }, { 63,2176 }, { 64,2176 },
1216 { 65,2176 }, { 66,2176 }, { 67,2176 }, { 68,2176 }, { 69,2176 },
1217 { 70,2176 }, { 71,2176 }, { 72,2176 }, { 73,2176 }, { 74,2176 },
1218 { 75,2176 }, { 76,2176 }, { 77,2176 }, { 78,2176 }, { 79,2176 },
1219
1220 { 80,2176 }, { 81,2176 }, { 82,2176 }, { 83,2176 }, { 84,2176 },
1221 { 85,2176 }, { 86,2176 }, { 87,2176 }, { 88,2176 }, { 89,2176 },
1222 { 90,2176 }, { 91,2176 }, { 124, 640 }, { 93,2176 }, { 94,2176 },
1223 { 95,2176 }, { 96,2176 }, { 97,2176 }, { 98,2176 }, { 99,2176 },
1224 { 100,2176 }, { 101,2176 }, { 102,2176 }, { 103,2176 }, { 104,2176 },
1225 { 105,2176 }, { 106,2176 }, { 107,2176 }, { 108,2176 }, { 109,2176 },
1226 { 110,2176 }, { 111,2176 }, { 112,2176 }, { 113,2176 }, { 114,2176 },
1227 { 115,2176 }, { 116,2176 }, { 117,2176 }, { 118,2176 }, { 119,2176 },
1228 { 120,2176 }, { 121,2176 }, { 122,2176 }, { 123,2176 }, { 124,2176 },
1229 { 125,2176 }, { 126,2176 }, { 127,2176 }, { 128,2176 }, { 129,2176 },
1230
1231 { 130,2176 }, { 131,2176 }, { 132,2176 }, { 133,2176 }, { 134,2176 },
1232 { 135,2176 }, { 136,2176 }, { 137,2176 }, { 138,2176 }, { 139,2176 },
1233 { 140,2176 }, { 141,2176 }, { 142,2176 }, { 143,2176 }, { 144,2176 },
1234 { 145,2176 }, { 146,2176 }, { 147,2176 }, { 148,2176 }, { 149,2176 },
1235 { 150,2176 }, { 151,2176 }, { 152,2176 }, { 153,2176 }, { 154,2176 },
1236 { 155,2176 }, { 156,2176 }, { 157,2176 }, { 158,2176 }, { 159,2176 },
1237 { 160,2176 }, { 161,2176 }, { 162,2176 }, { 163,2176 }, { 164,2176 },
1238 { 165,2176 }, { 166,2176 }, { 167,2176 }, { 168,2176 }, { 169,2176 },
1239 { 170,2176 }, { 171,2176 }, { 172,2176 }, { 173,2176 }, { 174,2176 },
1240 { 175,2176 }, { 176,2176 }, { 177,2176 }, { 178,2176 }, { 179,2176 },
1241
1242 { 180,2176 }, { 181,2176 }, { 182,2176 }, { 183,2176 }, { 184,2176 },
1243 { 185,2176 }, { 186,2176 }, { 187,2176 }, { 188,2176 }, { 189,2176 },
1244 { 190,2176 }, { 191,2176 }, { 192,2176 }, { 193,2176 }, { 194,2176 },
1245 { 195,2176 }, { 196,2176 }, { 197,2176 }, { 198,2176 }, { 199,2176 },
1246 { 200,2176 }, { 201,2176 }, { 202,2176 }, { 203,2176 }, { 204,2176 },
1247 { 205,2176 }, { 206,2176 }, { 207,2176 }, { 208,2176 }, { 209,2176 },
1248 { 210,2176 }, { 211,2176 }, { 212,2176 }, { 213,2176 }, { 214,2176 },
1249 { 215,2176 }, { 216,2176 }, { 217,2176 }, { 218,2176 }, { 219,2176 },
1250 { 220,2176 }, { 221,2176 }, { 222,2176 }, { 223,2176 }, { 224,2176 },
1251 { 225,2176 }, { 226,2176 }, { 227,2176 }, { 228,2176 }, { 229,2176 },
1252
1253 { 230,2176 }, { 231,2176 }, { 232,2176 }, { 233,2176 }, { 234,2176 },
1254 { 235,2176 }, { 236,2176 }, { 237,2176 }, { 238,2176 }, { 239,2176 },
1255 { 240,2176 }, { 241,2176 }, { 242,2176 }, { 243,2176 }, { 244,2176 },
1256 { 245,2176 }, { 246,2176 }, { 247,2176 }, { 248,2176 }, { 249,2176 },
1257 { 250,2176 }, { 251,2176 }, { 252,2176 }, { 253,2176 }, { 254,2176 },
1258 { 255,2176 }, { 256,2176 }, { 0, 17 }, { 0,3952 }, { 1, 382 },
1259 { 2, 382 }, { 3, 382 }, { 4, 382 }, { 5, 382 }, { 6, 382 },
1260 { 7, 382 }, { 8, 382 }, { 9, 382 }, { 0, 0 }, { 11, 382 },
1261 { 12, 382 }, { 13, 382 }, { 14, 382 }, { 15, 382 }, { 16, 382 },
1262 { 17, 382 }, { 18, 382 }, { 19, 382 }, { 20, 382 }, { 21, 382 },
1263
1264 { 22, 382 }, { 23, 382 }, { 24, 382 }, { 25, 382 }, { 26, 382 },
1265 { 27, 382 }, { 28, 382 }, { 29, 382 }, { 30, 382 }, { 31, 382 },
1266 { 32, 382 }, { 33, 382 }, { 34, 382 }, { 35, 382 }, { 36, 382 },
1267 { 37, 382 }, { 38, 382 }, { 39, 382 }, { 40, 382 }, { 41, 382 },
1268 { 42, 382 }, { 43, 382 }, { 44, 382 }, { 45, 382 }, { 46, 382 },
1269 { 47, 382 }, { 48, 382 }, { 49, 382 }, { 50, 382 }, { 51, 382 },
1270 { 52, 382 }, { 53, 382 }, { 54, 382 }, { 55, 382 }, { 56, 382 },
1271 { 57, 382 }, { 58, 382 }, { 59, 382 }, { 60, 382 }, { 61, 382 },
1272 { 62, 382 }, { 63, 382 }, { 64, 382 }, { 65, 382 }, { 66, 382 },
1273 { 67, 382 }, { 68, 382 }, { 69, 382 }, { 70, 382 }, { 71, 382 },
1274
1275 { 72, 382 }, { 73, 382 }, { 74, 382 }, { 75, 382 }, { 76, 382 },
1276 { 77, 382 }, { 78, 382 }, { 79, 382 }, { 80, 382 }, { 81, 382 },
1277 { 82, 382 }, { 83, 382 }, { 84, 382 }, { 85, 382 }, { 86, 382 },
1278 { 87, 382 }, { 88, 382 }, { 89, 382 }, { 90, 382 }, { 91, 382 },
1279 { 92, 382 }, { 93, 382 }, { 94, 382 }, { 95, 382 }, { 96, 382 },
1280 { 97, 382 }, { 98, 518 }, { 99, 382 }, { 100, 382 }, { 101, 382 },
1281 { 102, 520 }, { 103, 382 }, { 104, 382 }, { 105, 382 }, { 106, 382 },
1282 { 107, 382 }, { 108, 382 }, { 109, 382 }, { 110, 522 }, { 111, 382 },
1283 { 112, 382 }, { 113, 382 }, { 114, 524 }, { 115, 382 }, { 116, 531 },
1284 { 117,2176 }, { 118, 533 }, { 119, 382 }, { 120,2214 }, { 121, 382 },
1285
1286 { 122, 382 }, { 123, 382 }, { 124, 382 }, { 125, 382 }, { 126, 382 },
1287 { 127, 382 }, { 128, 382 }, { 129, 382 }, { 130, 382 }, { 131, 382 },
1288 { 132, 382 }, { 133, 382 }, { 134, 382 }, { 135, 382 }, { 136, 382 },
1289 { 137, 382 }, { 138, 382 }, { 139, 382 }, { 140, 382 }, { 141, 382 },
1290 { 142, 382 }, { 143, 382 }, { 144, 382 }, { 145, 382 }, { 146, 382 },
1291 { 147, 382 }, { 148, 382 }, { 149, 382 }, { 150, 382 }, { 151, 382 },
1292 { 152, 382 }, { 153, 382 }, { 154, 382 }, { 155, 382 }, { 156, 382 },
1293 { 157, 382 }, { 158, 382 }, { 159, 382 }, { 160, 382 }, { 161, 382 },
1294 { 162, 382 }, { 163, 382 }, { 164, 382 }, { 165, 382 }, { 166, 382 },
1295 { 167, 382 }, { 168, 382 }, { 169, 382 }, { 170, 382 }, { 171, 382 },
1296
1297 { 172, 382 }, { 173, 382 }, { 174, 382 }, { 175, 382 }, { 176, 382 },
1298 { 177, 382 }, { 178, 382 }, { 179, 382 }, { 180, 382 }, { 181, 382 },
1299 { 182, 382 }, { 183, 382 }, { 184, 382 }, { 185, 382 }, { 186, 382 },
1300 { 187, 382 }, { 188, 382 }, { 189, 382 }, { 190, 382 }, { 191, 382 },
1301 { 192, 382 }, { 193, 382 }, { 194, 382 }, { 195, 382 }, { 196, 382 },
1302 { 197, 382 }, { 198, 382 }, { 199, 382 }, { 200, 382 }, { 201, 382 },
1303 { 202, 382 }, { 203, 382 }, { 204, 382 }, { 205, 382 }, { 206, 382 },
1304 { 207, 382 }, { 208, 382 }, { 209, 382 }, { 210, 382 }, { 211, 382 },
1305 { 212, 382 }, { 213, 382 }, { 214, 382 }, { 215, 382 }, { 216, 382 },
1306 { 217, 382 }, { 218, 382 }, { 219, 382 }, { 220, 382 }, { 221, 382 },
1307
1308 { 222, 382 }, { 223, 382 }, { 224, 382 }, { 225, 382 }, { 226, 382 },
1309 { 227, 382 }, { 228, 382 }, { 229, 382 }, { 230, 382 }, { 231, 382 },
1310 { 232, 382 }, { 233, 382 }, { 234, 382 }, { 235, 382 }, { 236, 382 },
1311 { 237, 382 }, { 238, 382 }, { 239, 382 }, { 240, 382 }, { 241, 382 },
1312 { 242, 382 }, { 243, 382 }, { 244, 382 }, { 245, 382 }, { 246, 382 },
1313 { 247, 382 }, { 248, 382 }, { 249, 382 }, { 250, 382 }, { 251, 382 },
1314 { 252, 382 }, { 253, 382 }, { 254, 382 }, { 255, 382 }, { 256, 382 },
1315 { 0, 1 }, { 0,3694 }, { 1,2060 }, { 2,2060 }, { 3,2060 },
1316 { 4,2060 }, { 5,2060 }, { 6,2060 }, { 7,2060 }, { 8,2060 },
1317 { 0, 0 }, { 0, 0 }, { 11,2060 }, { 0, 23 }, { 0,3681 },
1318
1319 { 14,2060 }, { 15,2060 }, { 16,2060 }, { 17,2060 }, { 18,2060 },
1320 { 19,2060 }, { 20,2060 }, { 21,2060 }, { 22,2060 }, { 23,2060 },
1321 { 24,2060 }, { 25,2060 }, { 26,2060 }, { 27,2060 }, { 28,2060 },
1322 { 29,2060 }, { 30,2060 }, { 31,2060 }, { 0, 32 }, { 0,3661 },
1323 { 0, 36 }, { 0,3659 }, { 0, 24 }, { 0,3657 }, { 0, 0 },
1324 { 39,2060 }, { 0, 27 }, { 0,3653 }, { 0, 39 }, { 0,3651 },
1325 { 0, 29 }, { 0,3649 }, { 0, 31 }, { 0,3647 }, { 48,2060 },
1326 { 49,2060 }, { 50,2060 }, { 51,2060 }, { 52,2060 }, { 53,2060 },
1327 { 54,2060 }, { 55,2060 }, { 56,2060 }, { 57,2060 }, { 0, 0 },
1328 { 59,2060 }, { 47, 266 }, { 0, 30 }, { 0,3632 }, { 0, 33 },
1329
1330 { 0,3630 }, { 65,2060 }, { 66,2060 }, { 67,2060 }, { 68,2060 },
1331 { 69,2060 }, { 70,2060 }, { 71,2060 }, { 72,2060 }, { 73,2060 },
1332 { 74,2060 }, { 75,2060 }, { 76,2060 }, { 77,2060 }, { 78,2060 },
1333 { 79,2060 }, { 80,2060 }, { 81,2060 }, { 82,2060 }, { 83,2060 },
1334 { 84,2060 }, { 85,2060 }, { 86,2060 }, { 87,2060 }, { 88,2060 },
1335 { 89,2060 }, { 90,2060 }, { 0, 25 }, { 0,3602 }, { 0, 0 },
1336 { 94,2060 }, { 95,2060 }, { 96,2060 }, { 97,2060 }, { 98,2060 },
1337 { 99,2060 }, { 100,2060 }, { 101,2060 }, { 102,2060 }, { 103,2060 },
1338 { 104,2060 }, { 105,2060 }, { 106,2060 }, { 107,2060 }, { 108,2060 },
1339 { 109,2060 }, { 110,2060 }, { 111,2060 }, { 112,2060 }, { 113,2060 },
1340
1341 { 114,2060 }, { 115,2060 }, { 116,2060 }, { 117,2060 }, { 118,2060 },
1342 { 119,2060 }, { 120,2060 }, { 121,2060 }, { 122,2060 }, { 0, 16 },
1343 { 0,3570 }, { 0, 0 }, { 126,2060 }, { 127,2060 }, { 128,2060 },
1344 { 129,2060 }, { 130,2060 }, { 131,2060 }, { 132,2060 }, { 133,2060 },
1345 { 134,2060 }, { 135,2060 }, { 136,2060 }, { 137,2060 }, { 138,2060 },
1346 { 139,2060 }, { 140,2060 }, { 141,2060 }, { 142,2060 }, { 143,2060 },
1347 { 144,2060 }, { 145,2060 }, { 146,2060 }, { 147,2060 }, { 148,2060 },
1348 { 149,2060 }, { 150,2060 }, { 151,2060 }, { 152,2060 }, { 153,2060 },
1349 { 154,2060 }, { 155,2060 }, { 156,2060 }, { 157,2060 }, { 158,2060 },
1350 { 159,2060 }, { 160,2060 }, { 161,2060 }, { 162,2060 }, { 163,2060 },
1351
1352 { 164,2060 }, { 165,2060 }, { 166,2060 }, { 167,2060 }, { 168,2060 },
1353 { 169,2060 }, { 170,2060 }, { 171,2060 }, { 172,2060 }, { 173,2060 },
1354 { 174,2060 }, { 175,2060 }, { 176,2060 }, { 177,2060 }, { 178,2060 },
1355 { 179,2060 }, { 180,2060 }, { 181,2060 }, { 182,2060 }, { 183,2060 },
1356 { 184,2060 }, { 185,2060 }, { 186,2060 }, { 187,2060 }, { 188,2060 },
1357 { 189,2060 }, { 190,2060 }, { 191,2060 }, { 192,2060 }, { 193,2060 },
1358 { 194,2060 }, { 195,2060 }, { 196,2060 }, { 197,2060 }, { 198,2060 },
1359 { 199,2060 }, { 200,2060 }, { 201,2060 }, { 202,2060 }, { 203,2060 },
1360 { 204,2060 }, { 205,2060 }, { 206,2060 }, { 207,2060 }, { 208,2060 },
1361 { 209,2060 }, { 210,2060 }, { 211,2060 }, { 212,2060 }, { 213,2060 },
1362
1363 { 214,2060 }, { 215,2060 }, { 216,2060 }, { 217,2060 }, { 218,2060 },
1364 { 219,2060 }, { 220,2060 }, { 221,2060 }, { 222,2060 }, { 223,2060 },
1365 { 224,2060 }, { 225,2060 }, { 226,2060 }, { 227,2060 }, { 228,2060 },
1366 { 229,2060 }, { 230,2060 }, { 231,2060 }, { 232,2060 }, { 233,2060 },
1367 { 234,2060 }, { 235,2060 }, { 236,2060 }, { 237,2060 }, { 238,2060 },
1368 { 239,2060 }, { 240,2060 }, { 241,2060 }, { 242,2060 }, { 243,2060 },
1369 { 244,2060 }, { 245,2060 }, { 246,2060 }, { 247,2060 }, { 248,2060 },
1370 { 249,2060 }, { 250,2060 }, { 251,2060 }, { 252,2060 }, { 253,2060 },
1371 { 254,2060 }, { 255,2060 }, { 256,2060 }, { 0, 2 }, { 0,3436 },
1372 { 0, 5 }, { 0,3434 }, { 0, 6 }, { 0,3432 }, { 0, 7 },
1373
1374 { 0,3430 }, { 0, 8 }, { 0,3428 }, { 9,2060 }, { 10,2060 },
1375 { 0, 0 }, { 12,2060 }, { 13,2060 }, { 0, 9 }, { 0,3421 },
1376 { 0, 10 }, { 0,3419 }, { 0, 3 }, { 0,3417 }, { 0, 21 },
1377 { 0,3415 }, { 0, 12 }, { 0,3413 }, { 0, 0 }, { 0, 0 },
1378 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1379 { 0, 0 }, { 32,2060 }, { 0, 22 }, { 0,3402 }, { 1,2060 },
1380 { 2,2060 }, { 3,2060 }, { 4,2060 }, { 5,2060 }, { 6,2060 },
1381 { 7,2060 }, { 8,2060 }, { 9,2060 }, { 10,2060 }, { 11,2060 },
1382 { 12,2060 }, { 13,2060 }, { 14,2060 }, { 15,2060 }, { 16,2060 },
1383 { 17,2060 }, { 18,2060 }, { 19,2060 }, { 20,2060 }, { 21,2060 },
1384
1385 { 22,2060 }, { 23,2060 }, { 24,2060 }, { 25,2060 }, { 26,2060 },
1386 { 27,2060 }, { 28,2060 }, { 29,2060 }, { 30,2060 }, { 31,2060 },
1387 { 32,2060 }, { 33,2060 }, { 34,2060 }, { 35,2060 }, { 36,2060 },
1388 { 37,2060 }, { 38,2060 }, { 39,2060 }, { 40,2060 }, { 41,2060 },
1389 { 0, 0 }, { 43,2060 }, { 44,2060 }, { 45,2060 }, { 46,2060 },
1390 { 47,2060 }, { 48,2060 }, { 49,2060 }, { 50,2060 }, { 51,2060 },
1391 { 52,2060 }, { 53,2060 }, { 54,2060 }, { 55,2060 }, { 56,2060 },
1392 { 57,2060 }, { 58,2060 }, { 59,2060 }, { 60,2060 }, { 61,2060 },
1393 { 62,2060 }, { 63,2060 }, { 64,2060 }, { 65,2060 }, { 66,2060 },
1394 { 67,2060 }, { 68,2060 }, { 69,2060 }, { 70,2060 }, { 71,2060 },
1395
1396 { 72,2060 }, { 73,2060 }, { 74,2060 }, { 75,2060 }, { 76,2060 },
1397 { 77,2060 }, { 78,2060 }, { 79,2060 }, { 80,2060 }, { 81,2060 },
1398 { 82,2060 }, { 83,2060 }, { 84,2060 }, { 85,2060 }, { 86,2060 },
1399 { 87,2060 }, { 88,2060 }, { 89,2060 }, { 90,2060 }, { 91,2060 },
1400 { 92,2060 }, { 93,2060 }, { 94,2060 }, { 95,2060 }, { 96,2060 },
1401 { 97,2060 }, { 98,2060 }, { 99,2060 }, { 100,2060 }, { 101,2060 },
1402 { 102,2060 }, { 103,2060 }, { 104,2060 }, { 105,2060 }, { 106,2060 },
1403 { 107,2060 }, { 108,2060 }, { 109,2060 }, { 110,2060 }, { 111,2060 },
1404 { 112,2060 }, { 113,2060 }, { 114,2060 }, { 115,2060 }, { 116,2060 },
1405 { 117,2060 }, { 118,2060 }, { 119,2060 }, { 120,2060 }, { 121,2060 },
1406
1407 { 122,2060 }, { 123,2060 }, { 124,2060 }, { 125,2060 }, { 126,2060 },
1408 { 127,2060 }, { 128,2060 }, { 129,2060 }, { 130,2060 }, { 131,2060 },
1409 { 132,2060 }, { 133,2060 }, { 134,2060 }, { 135,2060 }, { 136,2060 },
1410 { 137,2060 }, { 138,2060 }, { 139,2060 }, { 140,2060 }, { 141,2060 },
1411 { 142,2060 }, { 143,2060 }, { 144,2060 }, { 145,2060 }, { 146,2060 },
1412 { 147,2060 }, { 148,2060 }, { 149,2060 }, { 150,2060 }, { 151,2060 },
1413 { 152,2060 }, { 153,2060 }, { 154,2060 }, { 155,2060 }, { 156,2060 },
1414 { 157,2060 }, { 158,2060 }, { 159,2060 }, { 160,2060 }, { 161,2060 },
1415 { 162,2060 }, { 163,2060 }, { 164,2060 }, { 165,2060 }, { 166,2060 },
1416 { 167,2060 }, { 168,2060 }, { 169,2060 }, { 170,2060 }, { 171,2060 },
1417
1418 { 172,2060 }, { 173,2060 }, { 174,2060 }, { 175,2060 }, { 176,2060 },
1419 { 177,2060 }, { 178,2060 }, { 179,2060 }, { 180,2060 }, { 181,2060 },
1420 { 182,2060 }, { 183,2060 }, { 184,2060 }, { 185,2060 }, { 186,2060 },
1421 { 187,2060 }, { 188,2060 }, { 189,2060 }, { 190,2060 }, { 191,2060 },
1422 { 192,2060 }, { 193,2060 }, { 194,2060 }, { 195,2060 }, { 196,2060 },
1423 { 197,2060 }, { 198,2060 }, { 199,2060 }, { 200,2060 }, { 201,2060 },
1424 { 202,2060 }, { 203,2060 }, { 204,2060 }, { 205,2060 }, { 206,2060 },
1425 { 207,2060 }, { 208,2060 }, { 209,2060 }, { 210,2060 }, { 211,2060 },
1426 { 212,2060 }, { 213,2060 }, { 214,2060 }, { 215,2060 }, { 216,2060 },
1427 { 217,2060 }, { 218,2060 }, { 219,2060 }, { 220,2060 }, { 221,2060 },
1428
1429 { 222,2060 }, { 223,2060 }, { 224,2060 }, { 225,2060 }, { 226,2060 },
1430 { 227,2060 }, { 228,2060 }, { 229,2060 }, { 230,2060 }, { 231,2060 },
1431 { 232,2060 }, { 233,2060 }, { 234,2060 }, { 235,2060 }, { 236,2060 },
1432 { 237,2060 }, { 238,2060 }, { 239,2060 }, { 240,2060 }, { 241,2060 },
1433 { 242,2060 }, { 243,2060 }, { 244,2060 }, { 245,2060 }, { 246,2060 },
1434 { 247,2060 }, { 248,2060 }, { 249,2060 }, { 250,2060 }, { 251,2060 },
1435 { 252,2060 }, { 253,2060 }, { 254,2060 }, { 255,2060 }, { 256,2060 },
1436 { 0, 47 }, { 0,3144 }, { 1, 0 }, { 2, 0 }, { 3, 0 },
1437 { 4, 0 }, { 5, 0 }, { 6, 0 }, { 7, 0 }, { 8, 0 },
1438 { 0, 0 }, { 0, 0 }, { 11, 0 }, { 0, 0 }, { 0, 0 },
1439
1440 { 14, 0 }, { 15, 0 }, { 16, 0 }, { 17, 0 }, { 18, 0 },
1441 { 19, 0 }, { 20, 0 }, { 21, 0 }, { 22, 0 }, { 23, 0 },
1442 { 24, 0 }, { 25, 0 }, { 26, 0 }, { 27, 0 }, { 28, 0 },
1443 { 29, 0 }, { 30, 0 }, { 31, 0 }, { 0, 11 }, { 0,3111 },
1444 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1445 { 39, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1446 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 48, 0 },
1447 { 49, 0 }, { 50, 0 }, { 51, 0 }, { 52, 0 }, { 53, 0 },
1448 { 54, 0 }, { 55, 0 }, { 56, 0 }, { 57, 0 }, { 0, 0 },
1449 { 59, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1450
1451 { 0, 0 }, { 65, 0 }, { 66, 0 }, { 67, 0 }, { 68, 0 },
1452 { 69, 0 }, { 70, 0 }, { 71, 0 }, { 72, 0 }, { 73, 0 },
1453 { 74, 0 }, { 75, 0 }, { 76, 0 }, { 77, 0 }, { 78, 0 },
1454 { 79, 0 }, { 80, 0 }, { 81, 0 }, { 82, 0 }, { 83, 0 },
1455 { 84, 0 }, { 85, 0 }, { 86, 0 }, { 87, 0 }, { 88, 0 },
1456 { 89, 0 }, { 90, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1457 { 94, 0 }, { 95, 0 }, { 96, 0 }, { 97, 0 }, { 98, 0 },
1458 { 99, 0 }, { 100, 0 }, { 101, 0 }, { 102, 0 }, { 103, 0 },
1459 { 104, 0 }, { 105, 0 }, { 106, 0 }, { 107, 0 }, { 108, 0 },
1460 { 109, 0 }, { 110, 0 }, { 111, 0 }, { 112, 0 }, { 113, 0 },
1461
1462 { 114, 0 }, { 115, 0 }, { 116, 0 }, { 117, 0 }, { 118, 0 },
1463 { 119, 0 }, { 120, 0 }, { 121, 0 }, { 122, 0 }, { 0, 0 },
1464 { 0, 0 }, { 92, 504 }, { 126, 0 }, { 127, 0 }, { 128, 0 },
1465 { 129, 0 }, { 130, 0 }, { 131, 0 }, { 132, 0 }, { 133, 0 },
1466 { 134, 0 }, { 135, 0 }, { 136, 0 }, { 137, 0 }, { 138, 0 },
1467 { 139, 0 }, { 140, 0 }, { 141, 0 }, { 142, 0 }, { 143, 0 },
1468 { 144, 0 }, { 145, 0 }, { 146, 0 }, { 147, 0 }, { 148, 0 },
1469 { 149, 0 }, { 150, 0 }, { 151, 0 }, { 152, 0 }, { 153, 0 },
1470 { 154, 0 }, { 155, 0 }, { 156, 0 }, { 157, 0 }, { 158, 0 },
1471 { 159, 0 }, { 160, 0 }, { 161, 0 }, { 162, 0 }, { 163, 0 },
1472
1473 { 164, 0 }, { 165, 0 }, { 166, 0 }, { 167, 0 }, { 168, 0 },
1474 { 169, 0 }, { 170, 0 }, { 171, 0 }, { 172, 0 }, { 173, 0 },
1475 { 174, 0 }, { 175, 0 }, { 176, 0 }, { 177, 0 }, { 178, 0 },
1476 { 179, 0 }, { 180, 0 }, { 181, 0 }, { 182, 0 }, { 183, 0 },
1477 { 184, 0 }, { 185, 0 }, { 186, 0 }, { 187, 0 }, { 188, 0 },
1478 { 189, 0 }, { 190, 0 }, { 191, 0 }, { 192, 0 }, { 193, 0 },
1479 { 194, 0 }, { 195, 0 }, { 196, 0 }, { 197, 0 }, { 198, 0 },
1480 { 199, 0 }, { 200, 0 }, { 201, 0 }, { 202, 0 }, { 203, 0 },
1481 { 204, 0 }, { 205, 0 }, { 206, 0 }, { 207, 0 }, { 208, 0 },
1482 { 209, 0 }, { 210, 0 }, { 211, 0 }, { 212, 0 }, { 213, 0 },
1483
1484 { 214, 0 }, { 215, 0 }, { 216, 0 }, { 217, 0 }, { 218, 0 },
1485 { 219, 0 }, { 220, 0 }, { 221, 0 }, { 222, 0 }, { 223, 0 },
1486 { 224, 0 }, { 225, 0 }, { 226, 0 }, { 227, 0 }, { 228, 0 },
1487 { 229, 0 }, { 230, 0 }, { 231, 0 }, { 232, 0 }, { 233, 0 },
1488 { 234, 0 }, { 235, 0 }, { 236, 0 }, { 237, 0 }, { 238, 0 },
1489 { 239, 0 }, { 240, 0 }, { 241, 0 }, { 242, 0 }, { 243, 0 },
1490 { 244, 0 }, { 245, 0 }, { 246, 0 }, { 247, 0 }, { 248, 0 },
1491 { 249, 0 }, { 250, 0 }, { 251, 0 }, { 252, 0 }, { 253, 0 },
1492 { 254, 0 }, { 255, 0 }, { 256, 0 }, { 0, 38 }, { 0,2886 },
1493 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1494
1495 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 9, 0 }, { 10, 0 },
1496 { 0, 0 }, { 12, 0 }, { 13, 0 }, { 0, 0 }, { 0, 0 },
1497 { 0, 0 }, { 0, 0 }, { 0, 35 }, { 0,2867 }, { 1, 0 },
1498 { 2, 0 }, { 3, 0 }, { 4, 0 }, { 5, 0 }, { 6, 0 },
1499 { 7, 0 }, { 8, 0 }, { 0, 0 }, { 0, 0 }, { 11, 0 },
1500 { 0, 0 }, { 32, 0 }, { 14, 0 }, { 15, 0 }, { 16, 0 },
1501 { 17, 0 }, { 18, 0 }, { 19, 0 }, { 20, 0 }, { 21, 0 },
1502 { 22, 0 }, { 23, 0 }, { 24, 0 }, { 25, 0 }, { 26, 0 },
1503 { 27, 0 }, { 28, 0 }, { 29, 0 }, { 30, 0 }, { 31, 0 },
1504 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1505
1506 { 0, 0 }, { 0, 0 }, { 39, 0 }, { 0, 0 }, { 0, 0 },
1507 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1508 { 0, 0 }, { 48, 0 }, { 49, 0 }, { 50, 0 }, { 51, 0 },
1509 { 52, 0 }, { 53, 0 }, { 54, 0 }, { 55, 0 }, { 56, 0 },
1510 { 57, 0 }, { 0, 0 }, { 59, 0 }, { 0, 0 }, { 0, 0 },
1511 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 65, 0 }, { 66, 0 },
1512 { 67, 0 }, { 68, 0 }, { 69, 0 }, { 70, 0 }, { 71, 0 },
1513 { 72, 0 }, { 73, 0 }, { 74, 0 }, { 75, 0 }, { 76, 0 },
1514 { 77, 0 }, { 78, 0 }, { 79, 0 }, { 80, 0 }, { 81, 0 },
1515 { 82, 0 }, { 83, 0 }, { 84, 0 }, { 85, 0 }, { 86, 0 },
1516
1517 { 87, 0 }, { 88, 0 }, { 89, 0 }, { 90, 0 }, { 0, 0 },
1518 { 0, 0 }, { 0, 0 }, { 94, 0 }, { 95, 0 }, { 96, 0 },
1519 { 97, 0 }, { 98, 0 }, { 99, 0 }, { 100, 0 }, { 101, 0 },
1520 { 102, 0 }, { 103, 0 }, { 104, 0 }, { 105, 0 }, { 106, 0 },
1521 { 107, 0 }, { 108, 0 }, { 109, 0 }, { 110, 0 }, { 111, 0 },
1522 { 112, 0 }, { 113, 0 }, { 114, 0 }, { 115, 0 }, { 116, 0 },
1523 { 117, 0 }, { 118, 0 }, { 119, 0 }, { 120, 0 }, { 121, 0 },
1524 { 122, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 126, 0 },
1525 { 127, 0 }, { 128, 0 }, { 129, 0 }, { 130, 0 }, { 131, 0 },
1526 { 132, 0 }, { 133, 0 }, { 134, 0 }, { 135, 0 }, { 136, 0 },
1527
1528 { 137, 0 }, { 138, 0 }, { 139, 0 }, { 140, 0 }, { 141, 0 },
1529 { 142, 0 }, { 143, 0 }, { 144, 0 }, { 145, 0 }, { 146, 0 },
1530 { 147, 0 }, { 148, 0 }, { 149, 0 }, { 150, 0 }, { 151, 0 },
1531 { 152, 0 }, { 153, 0 }, { 154, 0 }, { 155, 0 }, { 156, 0 },
1532 { 157, 0 }, { 158, 0 }, { 159, 0 }, { 160, 0 }, { 161, 0 },
1533 { 162, 0 }, { 163, 0 }, { 164, 0 }, { 165, 0 }, { 166, 0 },
1534 { 167, 0 }, { 168, 0 }, { 169, 0 }, { 170, 0 }, { 171, 0 },
1535 { 172, 0 }, { 173, 0 }, { 174, 0 }, { 175, 0 }, { 176, 0 },
1536 { 177, 0 }, { 178, 0 }, { 179, 0 }, { 180, 0 }, { 181, 0 },
1537 { 182, 0 }, { 183, 0 }, { 184, 0 }, { 185, 0 }, { 186, 0 },
1538
1539 { 187, 0 }, { 188, 0 }, { 189, 0 }, { 190, 0 }, { 191, 0 },
1540 { 192, 0 }, { 193, 0 }, { 194, 0 }, { 195, 0 }, { 196, 0 },
1541 { 197, 0 }, { 198, 0 }, { 199, 0 }, { 200, 0 }, { 201, 0 },
1542 { 202, 0 }, { 203, 0 }, { 204, 0 }, { 205, 0 }, { 206, 0 },
1543 { 207, 0 }, { 208, 0 }, { 209, 0 }, { 210, 0 }, { 211, 0 },
1544 { 212, 0 }, { 213, 0 }, { 214, 0 }, { 215, 0 }, { 216, 0 },
1545 { 217, 0 }, { 218, 0 }, { 219, 0 }, { 220, 0 }, { 221, 0 },
1546 { 222, 0 }, { 223, 0 }, { 224, 0 }, { 225, 0 }, { 226, 0 },
1547 { 227, 0 }, { 228, 0 }, { 229, 0 }, { 230, 0 }, { 231, 0 },
1548 { 232, 0 }, { 233, 0 }, { 234, 0 }, { 235, 0 }, { 236, 0 },
1549
1550 { 237, 0 }, { 238, 0 }, { 239, 0 }, { 240, 0 }, { 241, 0 },
1551 { 242, 0 }, { 243, 0 }, { 244, 0 }, { 245, 0 }, { 246, 0 },
1552 { 247, 0 }, { 248, 0 }, { 249, 0 }, { 250, 0 }, { 251, 0 },
1553 { 252, 0 }, { 253, 0 }, { 254, 0 }, { 255, 0 }, { 256, 0 },
1554 { 0, 43 }, { 0,2609 }, { 0, 15 }, { 0,2607 }, { 0, 0 },
1555 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1556 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1557 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1558 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1559 { 0, 13 }, { 0,2584 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1560
1561 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1562 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1563 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1564 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 48,1525 },
1565 { 49,1525 }, { 50,1525 }, { 51,1525 }, { 52,1525 }, { 53,1525 },
1566 { 54,1525 }, { 55,1525 }, { 56,1525 }, { 57,1525 }, { 0, 44 },
1567 { 0,2550 }, { 1,-594 }, { 2,-594 }, { 3,-594 }, { 4,-594 },
1568 { 5,-594 }, { 6,-594 }, { 7,-594 }, { 8,-594 }, { 0, 0 },
1569 { 0, 0 }, { 11,-594 }, { 0, 0 }, { 0, 0 }, { 14,-594 },
1570 { 15,-594 }, { 16,-594 }, { 17,-594 }, { 18,-594 }, { 19,-594 },
1571
1572 { 20,-594 }, { 21,-594 }, { 22,-594 }, { 23,-594 }, { 24,-594 },
1573 { 25,-594 }, { 26,-594 }, { 27,-594 }, { 28,-594 }, { 29,-594 },
1574 { 30,-594 }, { 31,-594 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1575 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 39,-594 },
1576 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 43,1476 }, { 0, 0 },
1577 { 45,1476 }, { 0, 0 }, { 0, 0 }, { 48,1554 }, { 49,1554 },
1578 { 50,1554 }, { 51,1554 }, { 52,1554 }, { 53,1554 }, { 54,1554 },
1579 { 55,1554 }, { 56,1554 }, { 57,1554 }, { 0, 0 }, { 59,-594 },
1580 { 117,2290 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1581 { 65,-594 }, { 66,-594 }, { 67,-594 }, { 68,-594 }, { 69,-594 },
1582
1583 { 70,-594 }, { 71,-594 }, { 72,-594 }, { 73,-594 }, { 74,-594 },
1584 { 75,-594 }, { 76,-594 }, { 77,-594 }, { 78,-594 }, { 79,-594 },
1585 { 80,-594 }, { 81,-594 }, { 82,-594 }, { 83,-594 }, { 84,-594 },
1586 { 85,-594 }, { 86,-594 }, { 87,-594 }, { 88,-594 }, { 89,-594 },
1587 { 90,-594 }, { 125,-527 }, { 0, 0 }, { 0, 0 }, { 94,-594 },
1588 { 95,-594 }, { 96,-594 }, { 97,-594 }, { 98,-594 }, { 99,-594 },
1589 { 100,-594 }, { 101,-594 }, { 102,-594 }, { 103,-594 }, { 104,-594 },
1590 { 105,-594 }, { 106,-594 }, { 107,-594 }, { 108,-594 }, { 109,-594 },
1591 { 110,-594 }, { 111,-594 }, { 112,-594 }, { 113,-594 }, { 114,-594 },
1592 { 115,-594 }, { 116,-594 }, { 117,-594 }, { 118,-594 }, { 119,-594 },
1593
1594 { 120,-594 }, { 121,-594 }, { 122,-594 }, { 0, 0 }, { 0, 0 },
1595 { 0, 0 }, { 126,-594 }, { 127,-594 }, { 128,-594 }, { 129,-594 },
1596 { 130,-594 }, { 131,-594 }, { 132,-594 }, { 133,-594 }, { 134,-594 },
1597 { 135,-594 }, { 136,-594 }, { 137,-594 }, { 138,-594 }, { 139,-594 },
1598 { 140,-594 }, { 141,-594 }, { 142,-594 }, { 143,-594 }, { 144,-594 },
1599 { 145,-594 }, { 146,-594 }, { 147,-594 }, { 148,-594 }, { 149,-594 },
1600 { 150,-594 }, { 151,-594 }, { 152,-594 }, { 153,-594 }, { 154,-594 },
1601 { 155,-594 }, { 156,-594 }, { 157,-594 }, { 158,-594 }, { 159,-594 },
1602 { 160,-594 }, { 161,-594 }, { 162,-594 }, { 163,-594 }, { 164,-594 },
1603 { 165,-594 }, { 166,-594 }, { 167,-594 }, { 168,-594 }, { 169,-594 },
1604
1605 { 170,-594 }, { 171,-594 }, { 172,-594 }, { 173,-594 }, { 174,-594 },
1606 { 175,-594 }, { 176,-594 }, { 177,-594 }, { 178,-594 }, { 179,-594 },
1607 { 180,-594 }, { 181,-594 }, { 182,-594 }, { 183,-594 }, { 184,-594 },
1608 { 185,-594 }, { 186,-594 }, { 187,-594 }, { 188,-594 }, { 189,-594 },
1609 { 190,-594 }, { 191,-594 }, { 192,-594 }, { 193,-594 }, { 194,-594 },
1610 { 195,-594 }, { 196,-594 }, { 197,-594 }, { 198,-594 }, { 199,-594 },
1611 { 200,-594 }, { 201,-594 }, { 202,-594 }, { 203,-594 }, { 204,-594 },
1612 { 205,-594 }, { 206,-594 }, { 207,-594 }, { 208,-594 }, { 209,-594 },
1613 { 210,-594 }, { 211,-594 }, { 212,-594 }, { 213,-594 }, { 214,-594 },
1614 { 215,-594 }, { 216,-594 }, { 217,-594 }, { 218,-594 }, { 219,-594 },
1615
1616 { 220,-594 }, { 221,-594 }, { 222,-594 }, { 223,-594 }, { 224,-594 },
1617 { 225,-594 }, { 226,-594 }, { 227,-594 }, { 228,-594 }, { 229,-594 },
1618 { 230,-594 }, { 231,-594 }, { 232,-594 }, { 233,-594 }, { 234,-594 },
1619 { 235,-594 }, { 236,-594 }, { 237,-594 }, { 238,-594 }, { 239,-594 },
1620 { 240,-594 }, { 241,-594 }, { 242,-594 }, { 243,-594 }, { 244,-594 },
1621 { 245,-594 }, { 246,-594 }, { 247,-594 }, { 248,-594 }, { 249,-594 },
1622 { 250,-594 }, { 251,-594 }, { 252,-594 }, { 253,-594 }, { 254,-594 },
1623 { 255,-594 }, { 256,-594 }, { 0, 42 }, { 0,2292 }, { 1,-852 },
1624 { 2,-852 }, { 3,-852 }, { 4,-852 }, { 5,-852 }, { 6,-852 },
1625 { 7,-852 }, { 8,-852 }, { 0, 0 }, { 0, 0 }, { 11,-852 },
1626
1627 { 0, 0 }, { 0, 0 }, { 14,-852 }, { 15,-852 }, { 16,-852 },
1628 { 17,-852 }, { 18,-852 }, { 19,-852 }, { 20,-852 }, { 21,-852 },
1629 { 22,-852 }, { 23,-852 }, { 24,-852 }, { 25,-852 }, { 26,-852 },
1630 { 27,-852 }, { 28,-852 }, { 29,-852 }, { 30,-852 }, { 31,-852 },
1631 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1632 { 0, 0 }, { 0, 0 }, { 39,-852 }, { 0, 0 }, { 0, 0 },
1633 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 46,-317 },
1634 { 0, 0 }, { 48, 0 }, { 49, 0 }, { 50, 0 }, { 51, 0 },
1635 { 52, 0 }, { 53, 0 }, { 54, 0 }, { 55, 0 }, { 56, 0 },
1636 { 57, 0 }, { 0, 0 }, { 59,-852 }, { 0, 0 }, { 0, 0 },
1637
1638 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 65,-852 }, { 66,-852 },
1639 { 67,-852 }, { 68,-852 }, { 69,-258 }, { 70,-852 }, { 71,-852 },
1640 { 72,-852 }, { 73,-852 }, { 74,-852 }, { 75,-852 }, { 76,-852 },
1641 { 77,-852 }, { 78,-852 }, { 79,-852 }, { 80,-852 }, { 81,-852 },
1642 { 82,-852 }, { 83,-852 }, { 84,-852 }, { 85,-852 }, { 86,-852 },
1643 { 87,-852 }, { 88,-852 }, { 89,-852 }, { 90,-852 }, { 0, 0 },
1644 { 0, 0 }, { 0, 0 }, { 94,-852 }, { 95,-852 }, { 96,-852 },
1645 { 97,-852 }, { 98,-852 }, { 99,-852 }, { 100,-852 }, { 101,-258 },
1646 { 102,-852 }, { 103,-852 }, { 104,-852 }, { 105,-852 }, { 106,-852 },
1647 { 107,-852 }, { 108,-852 }, { 109,-852 }, { 110,-852 }, { 111,-852 },
1648
1649 { 112,-852 }, { 113,-852 }, { 114,-852 }, { 115,-852 }, { 116,-852 },
1650 { 117,-852 }, { 118,-852 }, { 119,-852 }, { 120,-852 }, { 121,-852 },
1651 { 122,-852 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 126,-852 },
1652 { 127,-852 }, { 128,-852 }, { 129,-852 }, { 130,-852 }, { 131,-852 },
1653 { 132,-852 }, { 133,-852 }, { 134,-852 }, { 135,-852 }, { 136,-852 },
1654 { 137,-852 }, { 138,-852 }, { 139,-852 }, { 140,-852 }, { 141,-852 },
1655 { 142,-852 }, { 143,-852 }, { 144,-852 }, { 145,-852 }, { 146,-852 },
1656 { 147,-852 }, { 148,-852 }, { 149,-852 }, { 150,-852 }, { 151,-852 },
1657 { 152,-852 }, { 153,-852 }, { 154,-852 }, { 155,-852 }, { 156,-852 },
1658 { 157,-852 }, { 158,-852 }, { 159,-852 }, { 160,-852 }, { 161,-852 },
1659
1660 { 162,-852 }, { 163,-852 }, { 164,-852 }, { 165,-852 }, { 166,-852 },
1661 { 167,-852 }, { 168,-852 }, { 169,-852 }, { 170,-852 }, { 171,-852 },
1662 { 172,-852 }, { 173,-852 }, { 174,-852 }, { 175,-852 }, { 176,-852 },
1663 { 177,-852 }, { 178,-852 }, { 179,-852 }, { 180,-852 }, { 181,-852 },
1664 { 182,-852 }, { 183,-852 }, { 184,-852 }, { 185,-852 }, { 186,-852 },
1665 { 187,-852 }, { 188,-852 }, { 189,-852 }, { 190,-852 }, { 191,-852 },
1666 { 192,-852 }, { 193,-852 }, { 194,-852 }, { 195,-852 }, { 196,-852 },
1667 { 197,-852 }, { 198,-852 }, { 199,-852 }, { 200,-852 }, { 201,-852 },
1668 { 202,-852 }, { 203,-852 }, { 204,-852 }, { 205,-852 }, { 206,-852 },
1669 { 207,-852 }, { 208,-852 }, { 209,-852 }, { 210,-852 }, { 211,-852 },
1670
1671 { 212,-852 }, { 213,-852 }, { 214,-852 }, { 215,-852 }, { 216,-852 },
1672 { 217,-852 }, { 218,-852 }, { 219,-852 }, { 220,-852 }, { 221,-852 },
1673 { 222,-852 }, { 223,-852 }, { 224,-852 }, { 225,-852 }, { 226,-852 },
1674 { 227,-852 }, { 228,-852 }, { 229,-852 }, { 230,-852 }, { 231,-852 },
1675 { 232,-852 }, { 233,-852 }, { 234,-852 }, { 235,-852 }, { 236,-852 },
1676 { 237,-852 }, { 238,-852 }, { 239,-852 }, { 240,-852 }, { 241,-852 },
1677 { 242,-852 }, { 243,-852 }, { 244,-852 }, { 245,-852 }, { 246,-852 },
1678 { 247,-852 }, { 248,-852 }, { 249,-852 }, { 250,-852 }, { 251,-852 },
1679 { 252,-852 }, { 253,-852 }, { 254,-852 }, { 255,-852 }, { 256,-852 },
1680 { 0, 20 }, { 0,2034 }, { 1, 0 }, { 2, 0 }, { 3, 0 },
1681
1682 { 4, 0 }, { 5, 0 }, { 6, 0 }, { 7, 0 }, { 8, 0 },
1683 { 9, 0 }, { 10, 0 }, { 11, 0 }, { 12, 0 }, { 13, 0 },
1684 { 14, 0 }, { 15, 0 }, { 16, 0 }, { 17, 0 }, { 18, 0 },
1685 { 19, 0 }, { 20, 0 }, { 21, 0 }, { 22, 0 }, { 23, 0 },
1686 { 24, 0 }, { 25, 0 }, { 26, 0 }, { 27, 0 }, { 28, 0 },
1687 { 29, 0 }, { 30, 0 }, { 31, 0 }, { 32, 0 }, { 33, 0 },
1688 { 0, 0 }, { 35, 0 }, { 36, 0 }, { 37, 0 }, { 38, 0 },
1689 { 39, 0 }, { 40, 0 }, { 41, 0 }, { 42, 0 }, { 43, 0 },
1690 { 44, 0 }, { 45, 0 }, { 46, 0 }, { 47, 0 }, { 48, 0 },
1691 { 49, 0 }, { 50, 0 }, { 51, 0 }, { 52, 0 }, { 53, 0 },
1692
1693 { 54, 0 }, { 55, 0 }, { 56, 0 }, { 57, 0 }, { 58, 0 },
1694 { 59, 0 }, { 60, 0 }, { 61, 0 }, { 62, 0 }, { 63, 0 },
1695 { 64, 0 }, { 65, 0 }, { 66, 0 }, { 67, 0 }, { 68, 0 },
1696 { 69, 0 }, { 70, 0 }, { 71, 0 }, { 72, 0 }, { 73, 0 },
1697 { 74, 0 }, { 75, 0 }, { 76, 0 }, { 77, 0 }, { 78, 0 },
1698 { 79, 0 }, { 80, 0 }, { 81, 0 }, { 82, 0 }, { 83, 0 },
1699 { 84, 0 }, { 85, 0 }, { 86, 0 }, { 87, 0 }, { 88, 0 },
1700 { 89, 0 }, { 90, 0 }, { 91, 0 }, { 0, 0 }, { 93, 0 },
1701 { 94, 0 }, { 95, 0 }, { 96, 0 }, { 97, 0 }, { 98, 0 },
1702 { 99, 0 }, { 100, 0 }, { 101, 0 }, { 102, 0 }, { 103, 0 },
1703
1704 { 104, 0 }, { 105, 0 }, { 106, 0 }, { 107, 0 }, { 108, 0 },
1705 { 109, 0 }, { 110, 0 }, { 111, 0 }, { 112, 0 }, { 113, 0 },
1706 { 114, 0 }, { 115, 0 }, { 116, 0 }, { 117, 0 }, { 118, 0 },
1707 { 119, 0 }, { 120, 0 }, { 121, 0 }, { 122, 0 }, { 123, 0 },
1708 { 124, 0 }, { 125, 0 }, { 126, 0 }, { 127, 0 }, { 128, 0 },
1709 { 129, 0 }, { 130, 0 }, { 131, 0 }, { 132, 0 }, { 133, 0 },
1710 { 134, 0 }, { 135, 0 }, { 136, 0 }, { 137, 0 }, { 138, 0 },
1711 { 139, 0 }, { 140, 0 }, { 141, 0 }, { 142, 0 }, { 143, 0 },
1712 { 144, 0 }, { 145, 0 }, { 146, 0 }, { 147, 0 }, { 148, 0 },
1713 { 149, 0 }, { 150, 0 }, { 151, 0 }, { 152, 0 }, { 153, 0 },
1714
1715 { 154, 0 }, { 155, 0 }, { 156, 0 }, { 157, 0 }, { 158, 0 },
1716 { 159, 0 }, { 160, 0 }, { 161, 0 }, { 162, 0 }, { 163, 0 },
1717 { 164, 0 }, { 165, 0 }, { 166, 0 }, { 167, 0 }, { 168, 0 },
1718 { 169, 0 }, { 170, 0 }, { 171, 0 }, { 172, 0 }, { 173, 0 },
1719 { 174, 0 }, { 175, 0 }, { 176, 0 }, { 177, 0 }, { 178, 0 },
1720 { 179, 0 }, { 180, 0 }, { 181, 0 }, { 182, 0 }, { 183, 0 },
1721 { 184, 0 }, { 185, 0 }, { 186, 0 }, { 187, 0 }, { 188, 0 },
1722 { 189, 0 }, { 190, 0 }, { 191, 0 }, { 192, 0 }, { 193, 0 },
1723 { 194, 0 }, { 195, 0 }, { 196, 0 }, { 197, 0 }, { 198, 0 },
1724 { 199, 0 }, { 200, 0 }, { 201, 0 }, { 202, 0 }, { 203, 0 },
1725
1726 { 204, 0 }, { 205, 0 }, { 206, 0 }, { 207, 0 }, { 208, 0 },
1727 { 209, 0 }, { 210, 0 }, { 211, 0 }, { 212, 0 }, { 213, 0 },
1728 { 214, 0 }, { 215, 0 }, { 216, 0 }, { 217, 0 }, { 218, 0 },
1729 { 219, 0 }, { 220, 0 }, { 221, 0 }, { 222, 0 }, { 223, 0 },
1730 { 224, 0 }, { 225, 0 }, { 226, 0 }, { 227, 0 }, { 228, 0 },
1731 { 229, 0 }, { 230, 0 }, { 231, 0 }, { 232, 0 }, { 233, 0 },
1732 { 234, 0 }, { 235, 0 }, { 236, 0 }, { 237, 0 }, { 238, 0 },
1733 { 239, 0 }, { 240, 0 }, { 241, 0 }, { 242, 0 }, { 243, 0 },
1734 { 244, 0 }, { 245, 0 }, { 246, 0 }, { 247, 0 }, { 248, 0 },
1735 { 249, 0 }, { 250, 0 }, { 251, 0 }, { 252, 0 }, { 253, 0 },
1736
1737 { 254, 0 }, { 255, 0 }, { 256, 0 }, { 0, 13 }, { 0,1776 },
1738 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1739 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1740 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1741 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1742 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1743 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1744 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1745 { 0, 0 }, { 0, 14 }, { 0,1738 }, { 0, 0 }, { 0, 0 },
1746 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1747
1748 { 0, 0 }, { 0, 0 }, { 48,1038 }, { 49,1038 }, { 50,1038 },
1749 { 51,1038 }, { 52,1038 }, { 53,1038 }, { 54,1038 }, { 55,1038 },
1750 { 56,1038 }, { 57,1038 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1751 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 65,1038 },
1752 { 66,1038 }, { 67,1038 }, { 68,1038 }, { 69,1038 }, { 70,1038 },
1753 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1754 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1755 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1756 { 48,1061 }, { 49,1061 }, { 50,1061 }, { 51,1061 }, { 52,1061 },
1757 { 53,1061 }, { 54,1061 }, { 55,1061 }, { 56,1061 }, { 57,1061 },
1758
1759 { 0, 0 }, { 97,1038 }, { 98,1038 }, { 99,1038 }, { 100,1038 },
1760 { 101,1038 }, { 102,1038 }, { 65,1061 }, { 66,1061 }, { 67,1061 },
1761 { 68,1061 }, { 69,1061 }, { 70,1061 }, { 0, 0 }, { 0, 0 },
1762 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1763 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1764 { 0, 0 }, { 0, 0 }, { 123,1061 }, { 0, 0 }, { 0, 0 },
1765 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1766 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 97,1061 },
1767 { 98,1061 }, { 99,1061 }, { 100,1061 }, { 101,1061 }, { 102,1061 },
1768 { 0, 1 }, { 0,1634 }, { 1, 0 }, { 2, 0 }, { 3, 0 },
1769
1770 { 4, 0 }, { 5, 0 }, { 6, 0 }, { 7, 0 }, { 8, 0 },
1771 { 0, 0 }, { 0, 0 }, { 11, 0 }, { 0, 0 }, { 0, 0 },
1772 { 14, 0 }, { 15, 0 }, { 16, 0 }, { 17, 0 }, { 18, 0 },
1773 { 19, 0 }, { 20, 0 }, { 21, 0 }, { 22, 0 }, { 23, 0 },
1774 { 24, 0 }, { 25, 0 }, { 26, 0 }, { 27, 0 }, { 28, 0 },
1775 { 29, 0 }, { 30, 0 }, { 31, 0 }, { 0, 0 }, { 0, 0 },
1776 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1777 { 39, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1778 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 48, 0 },
1779 { 49, 0 }, { 50, 0 }, { 51, 0 }, { 52, 0 }, { 53, 0 },
1780
1781 { 54, 0 }, { 55, 0 }, { 56, 0 }, { 57, 0 }, { 0, 0 },
1782 { 59, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1783 { 0, 0 }, { 65, 0 }, { 66, 0 }, { 67, 0 }, { 68, 0 },
1784 { 69, 0 }, { 70, 0 }, { 71, 0 }, { 72, 0 }, { 73, 0 },
1785 { 74, 0 }, { 75, 0 }, { 76, 0 }, { 77, 0 }, { 78, 0 },
1786 { 79, 0 }, { 80, 0 }, { 81, 0 }, { 82, 0 }, { 83, 0 },
1787 { 84, 0 }, { 85, 0 }, { 86, 0 }, { 87, 0 }, { 88, 0 },
1788 { 89, 0 }, { 90, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1789 { 94, 0 }, { 95, 0 }, { 96, 0 }, { 97, 0 }, { 98, 0 },
1790 { 99, 0 }, { 100, 0 }, { 101, 0 }, { 102, 0 }, { 103, 0 },
1791
1792 { 104, 0 }, { 105, 0 }, { 106, 0 }, { 107, 0 }, { 108, 0 },
1793 { 109, 0 }, { 110, 0 }, { 111, 0 }, { 112, 0 }, { 113, 0 },
1794 { 114, 0 }, { 115, 0 }, { 116, 0 }, { 117, 0 }, { 118, 0 },
1795 { 119, 0 }, { 120, 0 }, { 121, 0 }, { 122, 0 }, { 0, 0 },
1796 { 0, 0 }, { 0, 0 }, { 126, 0 }, { 127, 0 }, { 128, 0 },
1797 { 129, 0 }, { 130, 0 }, { 131, 0 }, { 132, 0 }, { 133, 0 },
1798 { 134, 0 }, { 135, 0 }, { 136, 0 }, { 137, 0 }, { 138, 0 },
1799 { 139, 0 }, { 140, 0 }, { 141, 0 }, { 142, 0 }, { 143, 0 },
1800 { 144, 0 }, { 145, 0 }, { 146, 0 }, { 147, 0 }, { 148, 0 },
1801 { 149, 0 }, { 150, 0 }, { 151, 0 }, { 152, 0 }, { 153, 0 },
1802
1803 { 154, 0 }, { 155, 0 }, { 156, 0 }, { 157, 0 }, { 158, 0 },
1804 { 159, 0 }, { 160, 0 }, { 161, 0 }, { 162, 0 }, { 163, 0 },
1805 { 164, 0 }, { 165, 0 }, { 166, 0 }, { 167, 0 }, { 168, 0 },
1806 { 169, 0 }, { 170, 0 }, { 171, 0 }, { 172, 0 }, { 173, 0 },
1807 { 174, 0 }, { 175, 0 }, { 176, 0 }, { 177, 0 }, { 178, 0 },
1808 { 179, 0 }, { 180, 0 }, { 181, 0 }, { 182, 0 }, { 183, 0 },
1809 { 184, 0 }, { 185, 0 }, { 186, 0 }, { 187, 0 }, { 188, 0 },
1810 { 189, 0 }, { 190, 0 }, { 191, 0 }, { 192, 0 }, { 193, 0 },
1811 { 194, 0 }, { 195, 0 }, { 196, 0 }, { 197, 0 }, { 198, 0 },
1812 { 199, 0 }, { 200, 0 }, { 201, 0 }, { 202, 0 }, { 203, 0 },
1813
1814 { 204, 0 }, { 205, 0 }, { 206, 0 }, { 207, 0 }, { 208, 0 },
1815 { 209, 0 }, { 210, 0 }, { 211, 0 }, { 212, 0 }, { 213, 0 },
1816 { 214, 0 }, { 215, 0 }, { 216, 0 }, { 217, 0 }, { 218, 0 },
1817 { 219, 0 }, { 220, 0 }, { 221, 0 }, { 222, 0 }, { 223, 0 },
1818 { 224, 0 }, { 225, 0 }, { 226, 0 }, { 227, 0 }, { 228, 0 },
1819 { 229, 0 }, { 230, 0 }, { 231, 0 }, { 232, 0 }, { 233, 0 },
1820 { 234, 0 }, { 235, 0 }, { 236, 0 }, { 237, 0 }, { 238, 0 },
1821 { 239, 0 }, { 240, 0 }, { 241, 0 }, { 242, 0 }, { 243, 0 },
1822 { 244, 0 }, { 245, 0 }, { 246, 0 }, { 247, 0 }, { 248, 0 },
1823 { 249, 0 }, { 250, 0 }, { 251, 0 }, { 252, 0 }, { 253, 0 },
1824
1825 { 254, 0 }, { 255, 0 }, { 256, 0 }, { 0, 2 }, { 0,1376 },
1826 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1827 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 9, 0 }, { 10, 0 },
1828 { 0, 0 }, { 12, 0 }, { 13, 0 }, { 0, 0 }, { 0, 0 },
1829 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1830 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1831 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1832 { 0, 0 }, { 32, 0 }, { 0, 22 }, { 0,1342 }, { 1, 0 },
1833 { 2, 0 }, { 3, 0 }, { 4, 0 }, { 5, 0 }, { 6, 0 },
1834 { 7, 0 }, { 8, 0 }, { 9, 0 }, { 10, 0 }, { 11, 0 },
1835
1836 { 12, 0 }, { 13, 0 }, { 14, 0 }, { 15, 0 }, { 16, 0 },
1837 { 17, 0 }, { 18, 0 }, { 19, 0 }, { 20, 0 }, { 21, 0 },
1838 { 22, 0 }, { 23, 0 }, { 24, 0 }, { 25, 0 }, { 26, 0 },
1839 { 27, 0 }, { 28, 0 }, { 29, 0 }, { 30, 0 }, { 31, 0 },
1840 { 32, 0 }, { 33, 0 }, { 34, 0 }, { 35, 0 }, { 36, 0 },
1841 { 37, 0 }, { 38, 0 }, { 39, 0 }, { 40, 0 }, { 41, 0 },
1842 { 0, 0 }, { 43, 0 }, { 44, 0 }, { 45, 0 }, { 46, 0 },
1843 { 47, 0 }, { 48, 0 }, { 49, 0 }, { 50, 0 }, { 51, 0 },
1844 { 52, 0 }, { 53, 0 }, { 54, 0 }, { 55, 0 }, { 56, 0 },
1845 { 57, 0 }, { 58, 0 }, { 59, 0 }, { 60, 0 }, { 61, 0 },
1846
1847 { 62, 0 }, { 63, 0 }, { 64, 0 }, { 65, 0 }, { 66, 0 },
1848 { 67, 0 }, { 68, 0 }, { 69, 0 }, { 70, 0 }, { 71, 0 },
1849 { 72, 0 }, { 73, 0 }, { 74, 0 }, { 75, 0 }, { 76, 0 },
1850 { 77, 0 }, { 78, 0 }, { 79, 0 }, { 80, 0 }, { 81, 0 },
1851 { 82, 0 }, { 83, 0 }, { 84, 0 }, { 85, 0 }, { 86, 0 },
1852 { 87, 0 }, { 88, 0 }, { 89, 0 }, { 90, 0 }, { 91, 0 },
1853 { 92, 0 }, { 93, 0 }, { 94, 0 }, { 95, 0 }, { 96, 0 },
1854 { 97, 0 }, { 98, 0 }, { 99, 0 }, { 100, 0 }, { 101, 0 },
1855 { 102, 0 }, { 103, 0 }, { 104, 0 }, { 105, 0 }, { 106, 0 },
1856 { 107, 0 }, { 108, 0 }, { 109, 0 }, { 110, 0 }, { 111, 0 },
1857
1858 { 112, 0 }, { 113, 0 }, { 114, 0 }, { 115, 0 }, { 116, 0 },
1859 { 117, 0 }, { 118, 0 }, { 119, 0 }, { 120, 0 }, { 121, 0 },
1860 { 122, 0 }, { 123, 0 }, { 124, 0 }, { 125, 0 }, { 126, 0 },
1861 { 127, 0 }, { 128, 0 }, { 129, 0 }, { 130, 0 }, { 131, 0 },
1862 { 132, 0 }, { 133, 0 }, { 134, 0 }, { 135, 0 }, { 136, 0 },
1863 { 137, 0 }, { 138, 0 }, { 139, 0 }, { 140, 0 }, { 141, 0 },
1864 { 142, 0 }, { 143, 0 }, { 144, 0 }, { 145, 0 }, { 146, 0 },
1865 { 147, 0 }, { 148, 0 }, { 149, 0 }, { 150, 0 }, { 151, 0 },
1866 { 152, 0 }, { 153, 0 }, { 154, 0 }, { 155, 0 }, { 156, 0 },
1867 { 157, 0 }, { 158, 0 }, { 159, 0 }, { 160, 0 }, { 161, 0 },
1868
1869 { 162, 0 }, { 163, 0 }, { 164, 0 }, { 165, 0 }, { 166, 0 },
1870 { 167, 0 }, { 168, 0 }, { 169, 0 }, { 170, 0 }, { 171, 0 },
1871 { 172, 0 }, { 173, 0 }, { 174, 0 }, { 175, 0 }, { 176, 0 },
1872 { 177, 0 }, { 178, 0 }, { 179, 0 }, { 180, 0 }, { 181, 0 },
1873 { 182, 0 }, { 183, 0 }, { 184, 0 }, { 185, 0 }, { 186, 0 },
1874 { 187, 0 }, { 188, 0 }, { 189, 0 }, { 190, 0 }, { 191, 0 },
1875 { 192, 0 }, { 193, 0 }, { 194, 0 }, { 195, 0 }, { 196, 0 },
1876 { 197, 0 }, { 198, 0 }, { 199, 0 }, { 200, 0 }, { 201, 0 },
1877 { 202, 0 }, { 203, 0 }, { 204, 0 }, { 205, 0 }, { 206, 0 },
1878 { 207, 0 }, { 208, 0 }, { 209, 0 }, { 210, 0 }, { 211, 0 },
1879
1880 { 212, 0 }, { 213, 0 }, { 214, 0 }, { 215, 0 }, { 216, 0 },
1881 { 217, 0 }, { 218, 0 }, { 219, 0 }, { 220, 0 }, { 221, 0 },
1882 { 222, 0 }, { 223, 0 }, { 224, 0 }, { 225, 0 }, { 226, 0 },
1883 { 227, 0 }, { 228, 0 }, { 229, 0 }, { 230, 0 }, { 231, 0 },
1884 { 232, 0 }, { 233, 0 }, { 234, 0 }, { 235, 0 }, { 236, 0 },
1885 { 237, 0 }, { 238, 0 }, { 239, 0 }, { 240, 0 }, { 241, 0 },
1886 { 242, 0 }, { 243, 0 }, { 244, 0 }, { 245, 0 }, { 246, 0 },
1887 { 247, 0 }, { 248, 0 }, { 249, 0 }, { 250, 0 }, { 251, 0 },
1888 { 252, 0 }, { 253, 0 }, { 254, 0 }, { 255, 0 }, { 256, 0 },
1889 { 0, 41 }, { 0,1084 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1890
1891 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1892 { 0, 44 }, { 0,1074 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1893 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1894 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1895 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1896 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1897 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1898 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1899 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 48, 0 },
1900 { 49, 0 }, { 50, 0 }, { 51, 0 }, { 52, 0 }, { 53, 0 },
1901
1902 { 54, 0 }, { 55, 0 }, { 56, 0 }, { 57, 0 }, { 48, 469 },
1903 { 49, 469 }, { 50, 469 }, { 51, 469 }, { 52, 469 }, { 53, 469 },
1904 { 54, 469 }, { 55, 469 }, { 56, 469 }, { 57, 469 }, { 0, 0 },
1905 { 69, 441 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1906 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1907 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1908 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 40 }, { 0, 996 },
1909 { 1,-2148 }, { 2,-2148 }, { 3,-2148 }, { 4,-2148 }, { 5,-2148 },
1910 { 6,-2148 }, { 7,-2148 }, { 8,-2148 }, { 0, 0 }, { 0, 0 },
1911 { 11,-2148 }, { 0, 0 }, { 101, 441 }, { 14,-2148 }, { 15,-2148 },
1912
1913 { 16,-2148 }, { 17,-2148 }, { 18,-2148 }, { 19,-2148 }, { 20,-2148 },
1914 { 21,-2148 }, { 22,-2148 }, { 23,-2148 }, { 24,-2148 }, { 25,-2148 },
1915 { 26,-2148 }, { 27,-2148 }, { 28,-2148 }, { 29,-2148 }, { 30,-2148 },
1916 { 31,-2148 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1917 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 39,-2148 }, { 0, 0 },
1918 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1919 { 0, 0 }, { 0, 0 }, { 48, 0 }, { 49, 0 }, { 50, 0 },
1920 { 51, 0 }, { 52, 0 }, { 53, 0 }, { 54, 0 }, { 55, 0 },
1921 { 56, 0 }, { 57, 0 }, { 0, 0 }, { 59,-2148 }, { 0, 0 },
1922 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 65,-2148 },
1923
1924 { 66,-2148 }, { 67,-2148 }, { 68,-2148 }, { 69,-2148 }, { 70,-2148 },
1925 { 71,-2148 }, { 72,-2148 }, { 73,-2148 }, { 74,-2148 }, { 75,-2148 },
1926 { 76,-2148 }, { 77,-2148 }, { 78,-2148 }, { 79,-2148 }, { 80,-2148 },
1927 { 81,-2148 }, { 82,-2148 }, { 83,-2148 }, { 84,-2148 }, { 85,-2148 },
1928 { 86,-2148 }, { 87,-2148 }, { 88,-2148 }, { 89,-2148 }, { 90,-2148 },
1929 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 94,-2148 }, { 95,-2148 },
1930 { 96,-2148 }, { 97,-2148 }, { 98,-2148 }, { 99,-2148 }, { 100,-2148 },
1931 { 101,-2148 }, { 102,-2148 }, { 103,-2148 }, { 104,-2148 }, { 105,-2148 },
1932 { 106,-2148 }, { 107,-2148 }, { 108,-2148 }, { 109,-2148 }, { 110,-2148 },
1933 { 111,-2148 }, { 112,-2148 }, { 113,-2148 }, { 114,-2148 }, { 115,-2148 },
1934
1935 { 116,-2148 }, { 117,-2148 }, { 118,-2148 }, { 119,-2148 }, { 120,-2148 },
1936 { 121,-2148 }, { 122,-2148 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1937 { 126,-2148 }, { 127,-2148 }, { 128,-2148 }, { 129,-2148 }, { 130,-2148 },
1938 { 131,-2148 }, { 132,-2148 }, { 133,-2148 }, { 134,-2148 }, { 135,-2148 },
1939 { 136,-2148 }, { 137,-2148 }, { 138,-2148 }, { 139,-2148 }, { 140,-2148 },
1940 { 141,-2148 }, { 142,-2148 }, { 143,-2148 }, { 144,-2148 }, { 145,-2148 },
1941 { 146,-2148 }, { 147,-2148 }, { 148,-2148 }, { 149,-2148 }, { 150,-2148 },
1942 { 151,-2148 }, { 152,-2148 }, { 153,-2148 }, { 154,-2148 }, { 155,-2148 },
1943 { 156,-2148 }, { 157,-2148 }, { 158,-2148 }, { 159,-2148 }, { 160,-2148 },
1944 { 161,-2148 }, { 162,-2148 }, { 163,-2148 }, { 164,-2148 }, { 165,-2148 },
1945
1946 { 166,-2148 }, { 167,-2148 }, { 168,-2148 }, { 169,-2148 }, { 170,-2148 },
1947 { 171,-2148 }, { 172,-2148 }, { 173,-2148 }, { 174,-2148 }, { 175,-2148 },
1948 { 176,-2148 }, { 177,-2148 }, { 178,-2148 }, { 179,-2148 }, { 180,-2148 },
1949 { 181,-2148 }, { 182,-2148 }, { 183,-2148 }, { 184,-2148 }, { 185,-2148 },
1950 { 186,-2148 }, { 187,-2148 }, { 188,-2148 }, { 189,-2148 }, { 190,-2148 },
1951 { 191,-2148 }, { 192,-2148 }, { 193,-2148 }, { 194,-2148 }, { 195,-2148 },
1952 { 196,-2148 }, { 197,-2148 }, { 198,-2148 }, { 199,-2148 }, { 200,-2148 },
1953 { 201,-2148 }, { 202,-2148 }, { 203,-2148 }, { 204,-2148 }, { 205,-2148 },
1954 { 206,-2148 }, { 207,-2148 }, { 208,-2148 }, { 209,-2148 }, { 210,-2148 },
1955 { 211,-2148 }, { 212,-2148 }, { 213,-2148 }, { 214,-2148 }, { 215,-2148 },
1956
1957 { 216,-2148 }, { 217,-2148 }, { 218,-2148 }, { 219,-2148 }, { 220,-2148 },
1958 { 221,-2148 }, { 222,-2148 }, { 223,-2148 }, { 224,-2148 }, { 225,-2148 },
1959 { 226,-2148 }, { 227,-2148 }, { 228,-2148 }, { 229,-2148 }, { 230,-2148 },
1960 { 231,-2148 }, { 232,-2148 }, { 233,-2148 }, { 234,-2148 }, { 235,-2148 },
1961 { 236,-2148 }, { 237,-2148 }, { 238,-2148 }, { 239,-2148 }, { 240,-2148 },
1962 { 241,-2148 }, { 242,-2148 }, { 243,-2148 }, { 244,-2148 }, { 245,-2148 },
1963 { 246,-2148 }, { 247,-2148 }, { 248,-2148 }, { 249,-2148 }, { 250,-2148 },
1964 { 251,-2148 }, { 252,-2148 }, { 253,-2148 }, { 254,-2148 }, { 255,-2148 },
1965 { 256,-2148 }, { 0, 13 }, { 0, 738 }, { 0, 0 }, { 0, 0 },
1966 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1967
1968 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1969 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1970 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 13 },
1971 { 0, 715 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1972 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1973 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1974 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1975 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1976 { 48, 154 }, { 49, 154 }, { 50, 154 }, { 51, 154 }, { 52, 154 },
1977 { 53, 154 }, { 54, 154 }, { 55, 154 }, { 56, 154 }, { 57, 154 },
1978
1979 { 0, 0 }, { 0, 0 }, { 0, 14 }, { 0, 677 }, { 0, 0 },
1980 { 0, 0 }, { 0, 0 }, { 65, 154 }, { 66, 154 }, { 67, 154 },
1981 { 68, 154 }, { 69, 154 }, { 70, 154 }, { 48, 154 }, { 49, 154 },
1982 { 50, 154 }, { 51, 154 }, { 52, 154 }, { 53, 154 }, { 54, 154 },
1983 { 55, 154 }, { 56, 154 }, { 57, 154 }, { 0, 0 }, { 0, 0 },
1984 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1985 { 65, 154 }, { 66, 154 }, { 67, 154 }, { 68, 154 }, { 69, 154 },
1986 { 70, 154 }, { 0, 44 }, { 0, 643 }, { 0, 0 }, { 97, 154 },
1987 { 98, 154 }, { 99, 154 }, { 100, 154 }, { 101, 154 }, { 102, 154 },
1988 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1989
1990 { 0, 0 }, { 48,-2736 }, { 49,-2736 }, { 50,-2736 }, { 51,-2736 },
1991 { 52,-2736 }, { 53,-2736 }, { 54,-2736 }, { 55,-2736 }, { 56,-2736 },
1992 { 57,-2736 }, { 0, 0 }, { 97, 154 }, { 98, 154 }, { 99, 154 },
1993 { 100, 154 }, { 101, 154 }, { 102, 154 }, { 65,-2736 }, { 66,-2736 },
1994 { 67,-2736 }, { 68,-2736 }, { 69,-2736 }, { 70,-2736 }, { 0, 40 },
1995 { 0, 605 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
1996 { 43,-431 }, { 0, 0 }, { 45,-431 }, { 0, 0 }, { 0, 0 },
1997 { 48, 38 }, { 49, 38 }, { 50, 38 }, { 51, 38 }, { 52, 38 },
1998 { 53, 38 }, { 54, 38 }, { 55, 38 }, { 56, 38 }, { 57, 38 },
1999 { 0, 13 }, { 0, 584 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2000
2001 { 97,-2736 }, { 98,-2736 }, { 99,-2736 }, { 100,-2736 }, { 101,-2736 },
2002 { 102,-2736 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2003 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2004 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 13 }, { 0, 561 },
2005 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 48, 0 }, { 49, 0 },
2006 { 50, 0 }, { 51, 0 }, { 52, 0 }, { 53, 0 }, { 54, 0 },
2007 { 55, 0 }, { 56, 0 }, { 57, 0 }, { 0, 0 }, { 0, 0 },
2008 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2009 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 48, 61 },
2010 { 49, 61 }, { 50, 61 }, { 51, 61 }, { 52, 61 }, { 53, 61 },
2011
2012 { 54, 61 }, { 55, 61 }, { 56, 61 }, { 57, 61 }, { 0, 0 },
2013 { 0, 0 }, { 0, 13 }, { 0, 523 }, { 0, 0 }, { 0, 0 },
2014 { 0, 0 }, { 65, 61 }, { 66, 61 }, { 67, 61 }, { 68, 61 },
2015 { 69, 61 }, { 70, 61 }, { 48, 61 }, { 49, 61 }, { 50, 61 },
2016 { 51, 61 }, { 52, 61 }, { 53, 61 }, { 54, 61 }, { 55, 61 },
2017 { 56, 61 }, { 57, 61 }, { 0, 0 }, { 0, 0 }, { 0, 13 },
2018 { 0, 500 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 65, 61 },
2019 { 66, 61 }, { 67, 61 }, { 68, 61 }, { 69, 61 }, { 70, 61 },
2020 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 97, 61 }, { 98, 61 },
2021 { 99, 61 }, { 100, 61 }, { 101, 61 }, { 102, 61 }, { 0, 0 },
2022
2023 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2024 { 48,-2588 }, { 49,-2588 }, { 50,-2588 }, { 51,-2588 }, { 52,-2588 },
2025 { 53,-2588 }, { 54,-2588 }, { 55,-2588 }, { 56,-2588 }, { 57,-2588 },
2026 { 0, 0 }, { 97, 61 }, { 98, 61 }, { 99, 61 }, { 100, 61 },
2027 { 101, 61 }, { 102, 61 }, { 65,-2588 }, { 66,-2588 }, { 67,-2588 },
2028 { 68,-2588 }, { 69,-2588 }, { 70,-2588 }, { 48, 61 }, { 49, 61 },
2029 { 50, 61 }, { 51, 61 }, { 52, 61 }, { 53, 61 }, { 54, 61 },
2030 { 55, 61 }, { 56, 61 }, { 57, 61 }, { 0, 0 }, { 0, 0 },
2031 { 0, 13 }, { 0, 439 }, { 0, 0 }, { 0, 0 }, { 125,-2550 },
2032 { 65, 61 }, { 66, 61 }, { 67, 61 }, { 68, 61 }, { 69, 61 },
2033
2034 { 70, 61 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 97,-2588 },
2035 { 98,-2588 }, { 99,-2588 }, { 100,-2588 }, { 101,-2588 }, { 102,-2588 },
2036 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2037 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2038 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2039 { 0, 0 }, { 0, 0 }, { 97, 61 }, { 98, 61 }, { 99, 61 },
2040 { 100, 61 }, { 101, 61 }, { 102, 61 }, { 0, 0 }, { 0, 0 },
2041 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 48, 61 },
2042 { 49, 61 }, { 50, 61 }, { 51, 61 }, { 52, 61 }, { 53, 61 },
2043 { 54, 61 }, { 55, 61 }, { 56, 61 }, { 57, 61 }, { 0, 0 },
2044
2045 { 0, 0 }, { 0, 13 }, { 0, 378 }, { 0, 0 }, { 0, 0 },
2046 { 125,-2611 }, { 65, 61 }, { 66, 61 }, { 67, 61 }, { 68, 61 },
2047 { 69, 61 }, { 70, 61 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2048 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2049 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2050 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2051 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2052 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 97, 61 }, { 98, 61 },
2053 { 99, 61 }, { 100, 61 }, { 101, 61 }, { 102, 61 }, { 0, 0 },
2054 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2055
2056 { 48, 120 }, { 49, 120 }, { 50, 120 }, { 51, 120 }, { 52, 120 },
2057 { 53, 120 }, { 54, 120 }, { 55, 120 }, { 56, 120 }, { 57, 120 },
2058 { 0, 0 }, { 0, 0 }, { 0, 13 }, { 0, 317 }, { 0, 0 },
2059 { 0, 0 }, { 125,-2672 }, { 65, 120 }, { 66, 120 }, { 67, 120 },
2060 { 68, 120 }, { 69, 120 }, { 70, 120 }, { 0, 0 }, { 0, 0 },
2061 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2062 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2063 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2064 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2065 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 97, 120 },
2066
2067 { 98, 120 }, { 99, 120 }, { 100, 120 }, { 101, 120 }, { 102, 120 },
2068 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2069 { 0, 0 }, { 48,-421 }, { 49,-421 }, { 50,-421 }, { 51,-421 },
2070 { 52,-421 }, { 53,-421 }, { 54,-421 }, { 55,-421 }, { 56,-421 },
2071 { 57,-421 }, { 0, 13 }, { 0, 258 }, { 0, 0 }, { 0, 0 },
2072 { 0, 0 }, { 0, 0 }, { 125,-2733 }, { 65,-421 }, { 66,-421 },
2073 { 67,-421 }, { 68,-421 }, { 69,-421 }, { 70,-421 }, { 0, 0 },
2074 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2075 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2076 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2077
2078 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2079 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2080 { 97,-421 }, { 98,-421 }, { 99,-421 }, { 100,-421 }, { 101,-421 },
2081 { 102,-421 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2082 { 48,-2326 }, { 49,-2326 }, { 50,-2326 }, { 51,-2326 }, { 52,-2326 },
2083 { 53,-2326 }, { 54,-2326 }, { 55,-2326 }, { 56,-2326 }, { 57,-2326 },
2084 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2085 { 0, 0 }, { 123,-398 }, { 65,-2326 }, { 66,-2326 }, { 67,-2326 },
2086 { 68,-2326 }, { 69,-2326 }, { 70,-2326 }, { 0, 0 }, { 0, 0 },
2087 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2088
2089 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2090 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2091 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2092 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 97,-2326 },
2093 { 98,-2326 }, { 99,-2326 }, { 100,-2326 }, { 101,-2326 }, { 102,-2326 },
2094 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2095 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2096 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2097 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2098 { 0, 0 }, { 0, 0 }, { 125,-2853 }, { 0, 0 }, { 0, 0 },
2099
2100 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2101 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2102 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2103 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2104 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2105 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2106 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2107 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2108 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2109 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2110
2111 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2112 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2113 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2114 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2115 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2116 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2117 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2118 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2119 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2120 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2121
2122 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2123 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2124 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2125 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2126 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 },
2127 { 0, 0 }, { 0, 0 }, { 0, 0 }, { 0, 0 }, { 257, 49 },
2128 { 1, 0 }, };
2129
2130static yyconst struct yy_trans_info *yy_start_state_list[11] =
2131 {
2132 &yy_transition[1],
2133 &yy_transition[3],
2134 &yy_transition[261],
2135 &yy_transition[519],
2136 &yy_transition[777],
2137 &yy_transition[1035],
2138 &yy_transition[1293],
2139 &yy_transition[1551],
2140 &yy_transition[1809],
2141 &yy_transition[2067],
2142 &yy_transition[2325],
2143
2144 } ;
2145
2146extern int jsonpath_yy_flex_debug;
2147int jsonpath_yy_flex_debug = 0;
2148
2149/* The intent behind this definition is that it'll catch
2150 * any uses of REJECT which flex missed.
2151 */
2152#define REJECT reject_used_but_not_detected
2153#define yymore() yymore_used_but_not_detected
2154#define YY_MORE_ADJ 0
2155#define YY_RESTORE_YY_MORE_OFFSET
2156char *jsonpath_yytext;
2157#line 1 "jsonpath_scan.l"
2158#line 2 "jsonpath_scan.l"
2159/*-------------------------------------------------------------------------
2160 *
2161 * jsonpath_scan.l
2162 * Lexical parser for jsonpath datatype
2163 *
2164 * Splits jsonpath string into tokens represented as JsonPathString structs.
2165 * Decodes unicode and hex escaped strings.
2166 *
2167 * Copyright (c) 2019, PostgreSQL Global Development Group
2168 *
2169 * IDENTIFICATION
2170 * src/backend/utils/adt/jsonpath_scan.l
2171 *
2172 *-------------------------------------------------------------------------
2173 */
2174
2175#include "postgres.h"
2176
2177#include "mb/pg_wchar.h"
2178#include "nodes/pg_list.h"
2179
2180static JsonPathString scanstring;
2181
2182/* Handles to the buffer that the lexer uses internally */
2183static YY_BUFFER_STATE scanbufhandle;
2184static char *scanbuf;
2185static int scanbuflen;
2186
2187static void addstring(bool init, char *s, int l);
2188static void addchar(bool init, char s);
2189static enum yytokentype checkKeyword(void);
2190static void parseUnicode(char *s, int l);
2191static void parseHexChar(char *s);
2192
2193/* Avoid exit() on fatal scanner errors (a bit ugly -- see yy_fatal_error) */
2194#undef fprintf
2195#define fprintf(file, fmt, msg) fprintf_to_ereport(fmt, msg)
2196
2197static void
2198fprintf_to_ereport(const char *fmt, const char *msg)
2199{
2200 ereport(ERROR, (errmsg_internal("%s", msg)));
2201}
2202
2203#define YY_NO_INPUT 1
2204/*
2205 * We use exclusive states for quoted and non-quoted strings,
2206 * quoted variable names and C-style comments.
2207 * Exclusive states:
2208 * <xq> - quoted strings
2209 * <xnq> - non-quoted strings
2210 * <xvq> - quoted variable names
2211 * <xc> - C-style comment
2212 */
2213
2214
2215
2216
2217/* "other" means anything that's not special, blank, or '\' or '"' */
2218#line 2219 "jsonpath_scan.c"
2219
2220#define INITIAL 0
2221#define xq 1
2222#define xnq 2
2223#define xvq 3
2224#define xc 4
2225
2226#ifndef YY_NO_UNISTD_H
2227/* Special case for "unistd.h", since it is non-ANSI. We include it way
2228 * down here because we want the user's section 1 to have been scanned first.
2229 * The user has a chance to override it with an option.
2230 */
2231#include <unistd.h>
2232#endif
2233
2234#ifndef YY_EXTRA_TYPE
2235#define YY_EXTRA_TYPE void *
2236#endif
2237
2238static int yy_init_globals (void );
2239
2240/* Accessor methods to globals.
2241 These are made visible to non-reentrant scanners for convenience. */
2242
2243int jsonpath_yylex_destroy (void );
2244
2245int jsonpath_yyget_debug (void );
2246
2247void jsonpath_yyset_debug (int debug_flag );
2248
2249YY_EXTRA_TYPE jsonpath_yyget_extra (void );
2250
2251void jsonpath_yyset_extra (YY_EXTRA_TYPE user_defined );
2252
2253FILE *jsonpath_yyget_in (void );
2254
2255void jsonpath_yyset_in (FILE * _in_str );
2256
2257FILE *jsonpath_yyget_out (void );
2258
2259void jsonpath_yyset_out (FILE * _out_str );
2260
2261 int jsonpath_yyget_leng (void );
2262
2263char *jsonpath_yyget_text (void );
2264
2265int jsonpath_yyget_lineno (void );
2266
2267void jsonpath_yyset_lineno (int _line_number );
2268
2269YYSTYPE * jsonpath_yyget_lval (void );
2270
2271void jsonpath_yyset_lval (YYSTYPE * yylval_param );
2272
2273/* Macros after this point can all be overridden by user definitions in
2274 * section 1.
2275 */
2276
2277#ifndef YY_SKIP_YYWRAP
2278#ifdef __cplusplus
2279extern "C" int jsonpath_yywrap (void );
2280#else
2281extern int jsonpath_yywrap (void );
2282#endif
2283#endif
2284
2285#ifndef YY_NO_UNPUT
2286
2287#endif
2288
2289#ifndef yytext_ptr
2290static void yy_flex_strncpy (char *,yyconst char *,int );
2291#endif
2292
2293#ifdef YY_NEED_STRLEN
2294static int yy_flex_strlen (yyconst char * );
2295#endif
2296
2297#ifndef YY_NO_INPUT
2298
2299#ifdef __cplusplus
2300static int yyinput (void );
2301#else
2302static int input (void );
2303#endif
2304
2305#endif
2306
2307/* Amount of stuff to slurp up with each read. */
2308#ifndef YY_READ_BUF_SIZE
2309#ifdef __ia64__
2310/* On IA-64, the buffer size is 16k, not 8k */
2311#define YY_READ_BUF_SIZE 16384
2312#else
2313#define YY_READ_BUF_SIZE 8192
2314#endif /* __ia64__ */
2315#endif
2316
2317/* Copy whatever the last rule matched to the standard output. */
2318#ifndef ECHO
2319/* This used to be an fputs(), but since the string might contain NUL's,
2320 * we now use fwrite().
2321 */
2322#define ECHO do { if (fwrite( jsonpath_yytext, (size_t) jsonpath_yyleng, 1, jsonpath_yyout )) {} } while (0)
2323#endif
2324
2325/* Gets input and stuffs it into "buf". number of characters read, or YY_NULL,
2326 * is returned in "result".
2327 */
2328#ifndef YY_INPUT
2329#define YY_INPUT(buf,result,max_size) \
2330 if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \
2331 { \
2332 int c = '*'; \
2333 size_t n; \
2334 for ( n = 0; n < max_size && \
2335 (c = getc( jsonpath_yyin )) != EOF && c != '\n'; ++n ) \
2336 buf[n] = (char) c; \
2337 if ( c == '\n' ) \
2338 buf[n++] = (char) c; \
2339 if ( c == EOF && ferror( jsonpath_yyin ) ) \
2340 YY_FATAL_ERROR( "input in flex scanner failed" ); \
2341 result = n; \
2342 } \
2343 else \
2344 { \
2345 errno=0; \
2346 while ( (result = (int) fread(buf, 1, max_size, jsonpath_yyin))==0 && ferror(jsonpath_yyin)) \
2347 { \
2348 if( errno != EINTR) \
2349 { \
2350 YY_FATAL_ERROR( "input in flex scanner failed" ); \
2351 break; \
2352 } \
2353 errno=0; \
2354 clearerr(jsonpath_yyin); \
2355 } \
2356 }\
2357\
2358
2359#endif
2360
2361/* No semi-colon after return; correct usage is to write "yyterminate();" -
2362 * we don't want an extra ';' after the "return" because that will cause
2363 * some compilers to complain about unreachable statements.
2364 */
2365#ifndef yyterminate
2366#define yyterminate() return YY_NULL
2367#endif
2368
2369/* Number of entries by which start-condition stack grows. */
2370#ifndef YY_START_STACK_INCR
2371#define YY_START_STACK_INCR 25
2372#endif
2373
2374/* Report a fatal error. */
2375#ifndef YY_FATAL_ERROR
2376#define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
2377#endif
2378
2379/* end tables serialization structures and prototypes */
2380
2381/* Default declaration of generated scanner - a define so the user can
2382 * easily add parameters.
2383 */
2384#ifndef YY_DECL
2385#define YY_DECL_IS_OURS 1
2386
2387extern int jsonpath_yylex \
2388 (YYSTYPE * yylval_param );
2389
2390#define YY_DECL int jsonpath_yylex \
2391 (YYSTYPE * yylval_param )
2392#endif /* !YY_DECL */
2393
2394/* Code executed at the beginning of each rule, after jsonpath_yytext and jsonpath_yyleng
2395 * have been set up.
2396 */
2397#ifndef YY_USER_ACTION
2398#define YY_USER_ACTION
2399#endif
2400
2401/* Code executed at the end of each rule. */
2402#ifndef YY_BREAK
2403#define YY_BREAK /*LINTED*/break;
2404#endif
2405
2406#define YY_RULE_SETUP \
2407 YY_USER_ACTION
2408
2409/** The main scanner function which does all the work.
2410 */
2411YY_DECL
2412{
2413 yy_state_type yy_current_state;
2414 char *yy_cp, *yy_bp;
2415 int yy_act;
2416
2417 YYSTYPE * yylval;
2418
2419 yylval = yylval_param;
2420
2421 if ( !(yy_init) )
2422 {
2423 (yy_init) = 1;
2424
2425#ifdef YY_USER_INIT
2426 YY_USER_INIT;
2427#endif
2428
2429 if ( ! (yy_start) )
2430 (yy_start) = 1; /* first start state */
2431
2432 if ( ! jsonpath_yyin )
2433 jsonpath_yyin = stdin;
2434
2435 if ( ! jsonpath_yyout )
2436 jsonpath_yyout = stdout;
2437
2438 if ( ! YY_CURRENT_BUFFER ) {
2439 jsonpath_yyensure_buffer_stack ();
2440 YY_CURRENT_BUFFER_LVALUE =
2441 jsonpath_yy_create_buffer(jsonpath_yyin,YY_BUF_SIZE );
2442 }
2443
2444 jsonpath_yy_load_buffer_state( );
2445 }
2446
2447 {
2448#line 95 "jsonpath_scan.l"
2449
2450
2451#line 2452 "jsonpath_scan.c"
2452
2453 while ( /*CONSTCOND*/1 ) /* loops until end-of-file is reached */
2454 {
2455 yy_cp = (yy_c_buf_p);
2456
2457 /* Support of jsonpath_yytext. */
2458 *yy_cp = (yy_hold_char);
2459
2460 /* yy_bp points to the position in yy_ch_buf of the start of
2461 * the current run.
2462 */
2463 yy_bp = yy_cp;
2464
2465 yy_current_state = yy_start_state_list[(yy_start)];
2466yy_match:
2467 {
2468 yyconst struct yy_trans_info *yy_trans_info;
2469
2470 YY_CHAR yy_c;
2471
2472 for ( yy_c = YY_SC_TO_UI(*yy_cp);
2473 (yy_trans_info = &yy_current_state[(unsigned int) yy_c])->
2474 yy_verify == yy_c;
2475 yy_c = YY_SC_TO_UI(*++yy_cp) )
2476 yy_current_state += yy_trans_info->yy_nxt;
2477 }
2478
2479yy_find_action:
2480 yy_act = yy_current_state[-1].yy_nxt;
2481
2482 YY_DO_BEFORE_ACTION;
2483
2484do_action: /* This label is used only to access EOF actions. */
2485
2486 switch ( yy_act )
2487 { /* beginning of action switch */
2488case 1:
2489YY_RULE_SETUP
2490#line 97 "jsonpath_scan.l"
2491{
2492 addstring(false, jsonpath_yytext, jsonpath_yyleng);
2493 }
2494 YY_BREAK
2495case 2:
2496/* rule 2 can match eol */
2497YY_RULE_SETUP
2498#line 101 "jsonpath_scan.l"
2499{
2500 yylval->str = scanstring;
2501 BEGIN INITIAL;
2502 return checkKeyword();
2503 }
2504 YY_BREAK
2505case 3:
2506YY_RULE_SETUP
2507#line 107 "jsonpath_scan.l"
2508{
2509 yylval->str = scanstring;
2510 BEGIN xc;
2511 }
2512 YY_BREAK
2513case 4:
2514YY_RULE_SETUP
2515#line 112 "jsonpath_scan.l"
2516{
2517 yylval->str = scanstring;
2518 yyless(0);
2519 BEGIN INITIAL;
2520 return checkKeyword();
2521 }
2522 YY_BREAK
2523case YY_STATE_EOF(xnq):
2524#line 119 "jsonpath_scan.l"
2525{
2526 yylval->str = scanstring;
2527 BEGIN INITIAL;
2528 return checkKeyword();
2529 }
2530 YY_BREAK
2531case 5:
2532YY_RULE_SETUP
2533#line 125 "jsonpath_scan.l"
2534{ addchar(false, '\b'); }
2535 YY_BREAK
2536case 6:
2537YY_RULE_SETUP
2538#line 127 "jsonpath_scan.l"
2539{ addchar(false, '\f'); }
2540 YY_BREAK
2541case 7:
2542YY_RULE_SETUP
2543#line 129 "jsonpath_scan.l"
2544{ addchar(false, '\n'); }
2545 YY_BREAK
2546case 8:
2547YY_RULE_SETUP
2548#line 131 "jsonpath_scan.l"
2549{ addchar(false, '\r'); }
2550 YY_BREAK
2551case 9:
2552YY_RULE_SETUP
2553#line 133 "jsonpath_scan.l"
2554{ addchar(false, '\t'); }
2555 YY_BREAK
2556case 10:
2557YY_RULE_SETUP
2558#line 135 "jsonpath_scan.l"
2559{ addchar(false, '\v'); }
2560 YY_BREAK
2561case 11:
2562YY_RULE_SETUP
2563#line 137 "jsonpath_scan.l"
2564{ parseUnicode(jsonpath_yytext, jsonpath_yyleng); }
2565 YY_BREAK
2566case 12:
2567YY_RULE_SETUP
2568#line 139 "jsonpath_scan.l"
2569{ parseHexChar(jsonpath_yytext); }
2570 YY_BREAK
2571case 13:
2572YY_RULE_SETUP
2573#line 141 "jsonpath_scan.l"
2574{ yyerror(NULL, "invalid unicode sequence"); }
2575 YY_BREAK
2576case 14:
2577YY_RULE_SETUP
2578#line 143 "jsonpath_scan.l"
2579{ yyerror(NULL, "invalid hex character sequence"); }
2580 YY_BREAK
2581case 15:
2582YY_RULE_SETUP
2583#line 145 "jsonpath_scan.l"
2584{
2585 /* throw back the \\, and treat as unicode */
2586 yyless(jsonpath_yyleng - 1);
2587 parseUnicode(jsonpath_yytext, jsonpath_yyleng);
2588 }
2589 YY_BREAK
2590case 16:
2591YY_RULE_SETUP
2592#line 151 "jsonpath_scan.l"
2593{ addchar(false, jsonpath_yytext[1]); }
2594 YY_BREAK
2595case 17:
2596YY_RULE_SETUP
2597#line 153 "jsonpath_scan.l"
2598{ yyerror(NULL, "unexpected end after backslash"); }
2599 YY_BREAK
2600case YY_STATE_EOF(xq):
2601case YY_STATE_EOF(xvq):
2602#line 155 "jsonpath_scan.l"
2603{ yyerror(NULL, "unexpected end of quoted string"); }
2604 YY_BREAK
2605case 18:
2606YY_RULE_SETUP
2607#line 157 "jsonpath_scan.l"
2608{
2609 yylval->str = scanstring;
2610 BEGIN INITIAL;
2611 return STRING_P;
2612 }
2613 YY_BREAK
2614case 19:
2615YY_RULE_SETUP
2616#line 163 "jsonpath_scan.l"
2617{
2618 yylval->str = scanstring;
2619 BEGIN INITIAL;
2620 return VARIABLE_P;
2621 }
2622 YY_BREAK
2623case 20:
2624/* rule 20 can match eol */
2625YY_RULE_SETUP
2626#line 169 "jsonpath_scan.l"
2627{ addstring(false, jsonpath_yytext, jsonpath_yyleng); }
2628 YY_BREAK
2629case 21:
2630YY_RULE_SETUP
2631#line 171 "jsonpath_scan.l"
2632{ BEGIN INITIAL; }
2633 YY_BREAK
2634case 22:
2635/* rule 22 can match eol */
2636YY_RULE_SETUP
2637#line 173 "jsonpath_scan.l"
2638{ }
2639 YY_BREAK
2640case 23:
2641YY_RULE_SETUP
2642#line 175 "jsonpath_scan.l"
2643{ }
2644 YY_BREAK
2645case YY_STATE_EOF(xc):
2646#line 177 "jsonpath_scan.l"
2647{ yyerror(NULL, "unexpected end of comment"); }
2648 YY_BREAK
2649case 24:
2650YY_RULE_SETUP
2651#line 179 "jsonpath_scan.l"
2652{ return AND_P; }
2653 YY_BREAK
2654case 25:
2655YY_RULE_SETUP
2656#line 181 "jsonpath_scan.l"
2657{ return OR_P; }
2658 YY_BREAK
2659case 26:
2660YY_RULE_SETUP
2661#line 183 "jsonpath_scan.l"
2662{ return NOT_P; }
2663 YY_BREAK
2664case 27:
2665YY_RULE_SETUP
2666#line 185 "jsonpath_scan.l"
2667{ return ANY_P; }
2668 YY_BREAK
2669case 28:
2670YY_RULE_SETUP
2671#line 187 "jsonpath_scan.l"
2672{ return LESS_P; }
2673 YY_BREAK
2674case 29:
2675YY_RULE_SETUP
2676#line 189 "jsonpath_scan.l"
2677{ return LESSEQUAL_P; }
2678 YY_BREAK
2679case 30:
2680YY_RULE_SETUP
2681#line 191 "jsonpath_scan.l"
2682{ return EQUAL_P; }
2683 YY_BREAK
2684case 31:
2685YY_RULE_SETUP
2686#line 193 "jsonpath_scan.l"
2687{ return NOTEQUAL_P; }
2688 YY_BREAK
2689case 32:
2690YY_RULE_SETUP
2691#line 195 "jsonpath_scan.l"
2692{ return NOTEQUAL_P; }
2693 YY_BREAK
2694case 33:
2695YY_RULE_SETUP
2696#line 197 "jsonpath_scan.l"
2697{ return GREATEREQUAL_P; }
2698 YY_BREAK
2699case 34:
2700YY_RULE_SETUP
2701#line 199 "jsonpath_scan.l"
2702{ return GREATER_P; }
2703 YY_BREAK
2704case 35:
2705YY_RULE_SETUP
2706#line 201 "jsonpath_scan.l"
2707{
2708 addstring(true, jsonpath_yytext + 1, jsonpath_yyleng - 1);
2709 addchar(false, '\0');
2710 yylval->str = scanstring;
2711 return VARIABLE_P;
2712 }
2713 YY_BREAK
2714case 36:
2715YY_RULE_SETUP
2716#line 208 "jsonpath_scan.l"
2717{
2718 addchar(true, '\0');
2719 BEGIN xvq;
2720 }
2721 YY_BREAK
2722case 37:
2723YY_RULE_SETUP
2724#line 213 "jsonpath_scan.l"
2725{ return *jsonpath_yytext; }
2726 YY_BREAK
2727case 38:
2728/* rule 38 can match eol */
2729YY_RULE_SETUP
2730#line 215 "jsonpath_scan.l"
2731{ /* ignore */ }
2732 YY_BREAK
2733case 39:
2734YY_RULE_SETUP
2735#line 217 "jsonpath_scan.l"
2736{
2737 addchar(true, '\0');
2738 BEGIN xc;
2739 }
2740 YY_BREAK
2741case 40:
2742YY_RULE_SETUP
2743#line 222 "jsonpath_scan.l"
2744{
2745 addstring(true, jsonpath_yytext, jsonpath_yyleng);
2746 addchar(false, '\0');
2747 yylval->str = scanstring;
2748 return NUMERIC_P;
2749 }
2750 YY_BREAK
2751case 41:
2752YY_RULE_SETUP
2753#line 229 "jsonpath_scan.l"
2754{
2755 addstring(true, jsonpath_yytext, jsonpath_yyleng);
2756 addchar(false, '\0');
2757 yylval->str = scanstring;
2758 return NUMERIC_P;
2759 }
2760 YY_BREAK
2761case 42:
2762YY_RULE_SETUP
2763#line 236 "jsonpath_scan.l"
2764{
2765 addstring(true, jsonpath_yytext, jsonpath_yyleng);
2766 addchar(false, '\0');
2767 yylval->str = scanstring;
2768 return INT_P;
2769 }
2770 YY_BREAK
2771case 43:
2772YY_RULE_SETUP
2773#line 243 "jsonpath_scan.l"
2774{
2775 /* throw back the ., and treat as integer */
2776 yyless(jsonpath_yyleng - 1);
2777 addstring(true, jsonpath_yytext, jsonpath_yyleng);
2778 addchar(false, '\0');
2779 yylval->str = scanstring;
2780 return INT_P;
2781 }
2782 YY_BREAK
2783case 44:
2784YY_RULE_SETUP
2785#line 252 "jsonpath_scan.l"
2786{ yyerror(NULL, "invalid floating point number"); }
2787 YY_BREAK
2788case 45:
2789YY_RULE_SETUP
2790#line 254 "jsonpath_scan.l"
2791{
2792 addchar(true, '\0');
2793 BEGIN xq;
2794 }
2795 YY_BREAK
2796case 46:
2797YY_RULE_SETUP
2798#line 259 "jsonpath_scan.l"
2799{
2800 yyless(0);
2801 addchar(true, '\0');
2802 BEGIN xnq;
2803 }
2804 YY_BREAK
2805case 47:
2806YY_RULE_SETUP
2807#line 265 "jsonpath_scan.l"
2808{
2809 addstring(true, jsonpath_yytext, jsonpath_yyleng);
2810 BEGIN xnq;
2811 }
2812 YY_BREAK
2813case YY_STATE_EOF(INITIAL):
2814#line 270 "jsonpath_scan.l"
2815{ yyterminate(); }
2816 YY_BREAK
2817case 48:
2818YY_RULE_SETUP
2819#line 272 "jsonpath_scan.l"
2820YY_FATAL_ERROR( "flex scanner jammed" );
2821 YY_BREAK
2822#line 2823 "jsonpath_scan.c"
2823
2824 case YY_END_OF_BUFFER:
2825 {
2826 /* Amount of text matched not including the EOB char. */
2827 int yy_amount_of_matched_text = (int) (yy_cp - (yytext_ptr)) - 1;
2828
2829 /* Undo the effects of YY_DO_BEFORE_ACTION. */
2830 *yy_cp = (yy_hold_char);
2831 YY_RESTORE_YY_MORE_OFFSET
2832
2833 if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_NEW )
2834 {
2835 /* We're scanning a new file or input source. It's
2836 * possible that this happened because the user
2837 * just pointed jsonpath_yyin at a new source and called
2838 * jsonpath_yylex(). If so, then we have to assure
2839 * consistency between YY_CURRENT_BUFFER and our
2840 * globals. Here is the right place to do so, because
2841 * this is the first action (other than possibly a
2842 * back-up) that will match for the new input source.
2843 */
2844 (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
2845 YY_CURRENT_BUFFER_LVALUE->yy_input_file = jsonpath_yyin;
2846 YY_CURRENT_BUFFER_LVALUE->yy_buffer_status = YY_BUFFER_NORMAL;
2847 }
2848
2849 /* Note that here we test for yy_c_buf_p "<=" to the position
2850 * of the first EOB in the buffer, since yy_c_buf_p will
2851 * already have been incremented past the NUL character
2852 * (since all states make transitions on EOB to the
2853 * end-of-buffer state). Contrast this with the test
2854 * in input().
2855 */
2856 if ( (yy_c_buf_p) <= &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
2857 { /* This was really a NUL. */
2858 yy_state_type yy_next_state;
2859
2860 (yy_c_buf_p) = (yytext_ptr) + yy_amount_of_matched_text;
2861
2862 yy_current_state = yy_get_previous_state( );
2863
2864 /* Okay, we're now positioned to make the NUL
2865 * transition. We couldn't have
2866 * yy_get_previous_state() go ahead and do it
2867 * for us because it doesn't know how to deal
2868 * with the possibility of jamming (and we don't
2869 * want to build jamming into it because then it
2870 * will run more slowly).
2871 */
2872
2873 yy_next_state = yy_try_NUL_trans( yy_current_state );
2874
2875 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
2876
2877 if ( yy_next_state )
2878 {
2879 /* Consume the NUL. */
2880 yy_cp = ++(yy_c_buf_p);
2881 yy_current_state = yy_next_state;
2882 goto yy_match;
2883 }
2884
2885 else
2886 {
2887 yy_cp = (yy_c_buf_p);
2888 goto yy_find_action;
2889 }
2890 }
2891
2892 else switch ( yy_get_next_buffer( ) )
2893 {
2894 case EOB_ACT_END_OF_FILE:
2895 {
2896 (yy_did_buffer_switch_on_eof) = 0;
2897
2898 if ( jsonpath_yywrap( ) )
2899 {
2900 /* Note: because we've taken care in
2901 * yy_get_next_buffer() to have set up
2902 * jsonpath_yytext, we can now set up
2903 * yy_c_buf_p so that if some total
2904 * hoser (like flex itself) wants to
2905 * call the scanner after we return the
2906 * YY_NULL, it'll still work - another
2907 * YY_NULL will get returned.
2908 */
2909 (yy_c_buf_p) = (yytext_ptr) + YY_MORE_ADJ;
2910
2911 yy_act = YY_STATE_EOF(YY_START);
2912 goto do_action;
2913 }
2914
2915 else
2916 {
2917 if ( ! (yy_did_buffer_switch_on_eof) )
2918 YY_NEW_FILE;
2919 }
2920 break;
2921 }
2922
2923 case EOB_ACT_CONTINUE_SCAN:
2924 (yy_c_buf_p) =
2925 (yytext_ptr) + yy_amount_of_matched_text;
2926
2927 yy_current_state = yy_get_previous_state( );
2928
2929 yy_cp = (yy_c_buf_p);
2930 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
2931 goto yy_match;
2932
2933 case EOB_ACT_LAST_MATCH:
2934 (yy_c_buf_p) =
2935 &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)];
2936
2937 yy_current_state = yy_get_previous_state( );
2938
2939 yy_cp = (yy_c_buf_p);
2940 yy_bp = (yytext_ptr) + YY_MORE_ADJ;
2941 goto yy_find_action;
2942 }
2943 break;
2944 }
2945
2946 default:
2947 YY_FATAL_ERROR(
2948 "fatal flex scanner internal error--no action found" );
2949 } /* end of action switch */
2950 } /* end of scanning one token */
2951 } /* end of user's declarations */
2952} /* end of jsonpath_yylex */
2953
2954/* yy_get_next_buffer - try to read in a new buffer
2955 *
2956 * Returns a code representing an action:
2957 * EOB_ACT_LAST_MATCH -
2958 * EOB_ACT_CONTINUE_SCAN - continue scanning from current position
2959 * EOB_ACT_END_OF_FILE - end of file
2960 */
2961static int yy_get_next_buffer (void)
2962{
2963 char *dest = YY_CURRENT_BUFFER_LVALUE->yy_ch_buf;
2964 char *source = (yytext_ptr);
2965 int number_to_move, i;
2966 int ret_val;
2967
2968 if ( (yy_c_buf_p) > &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] )
2969 YY_FATAL_ERROR(
2970 "fatal flex scanner internal error--end of buffer missed" );
2971
2972 if ( YY_CURRENT_BUFFER_LVALUE->yy_fill_buffer == 0 )
2973 { /* Don't try to fill the buffer, so this is an EOF. */
2974 if ( (yy_c_buf_p) - (yytext_ptr) - YY_MORE_ADJ == 1 )
2975 {
2976 /* We matched a single character, the EOB, so
2977 * treat this as a final EOF.
2978 */
2979 return EOB_ACT_END_OF_FILE;
2980 }
2981
2982 else
2983 {
2984 /* We matched some text prior to the EOB, first
2985 * process it.
2986 */
2987 return EOB_ACT_LAST_MATCH;
2988 }
2989 }
2990
2991 /* Try to read more data. */
2992
2993 /* First move last chars to start of buffer. */
2994 number_to_move = (int) ((yy_c_buf_p) - (yytext_ptr) - 1);
2995
2996 for ( i = 0; i < number_to_move; ++i )
2997 *(dest++) = *(source++);
2998
2999 if ( YY_CURRENT_BUFFER_LVALUE->yy_buffer_status == YY_BUFFER_EOF_PENDING )
3000 /* don't do the read, it's not guaranteed to return an EOF,
3001 * just force an EOF
3002 */
3003 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars) = 0;
3004
3005 else
3006 {
3007 int num_to_read =
3008 YY_CURRENT_BUFFER_LVALUE->yy_buf_size - number_to_move - 1;
3009
3010 while ( num_to_read <= 0 )
3011 { /* Not enough room in the buffer - grow it. */
3012
3013 /* just a shorter name for the current buffer */
3014 YY_BUFFER_STATE b = YY_CURRENT_BUFFER_LVALUE;
3015
3016 int yy_c_buf_p_offset =
3017 (int) ((yy_c_buf_p) - b->yy_ch_buf);
3018
3019 if ( b->yy_is_our_buffer )
3020 {
3021 int new_size = b->yy_buf_size * 2;
3022
3023 if ( new_size <= 0 )
3024 b->yy_buf_size += b->yy_buf_size / 8;
3025 else
3026 b->yy_buf_size *= 2;
3027
3028 b->yy_ch_buf = (char *)
3029 /* Include room in for 2 EOB chars. */
3030 jsonpath_yyrealloc((void *) b->yy_ch_buf,b->yy_buf_size + 2 );
3031 }
3032 else
3033 /* Can't grow it, we don't own it. */
3034 b->yy_ch_buf = NULL;
3035
3036 if ( ! b->yy_ch_buf )
3037 YY_FATAL_ERROR(
3038 "fatal error - scanner input buffer overflow" );
3039
3040 (yy_c_buf_p) = &b->yy_ch_buf[yy_c_buf_p_offset];
3041
3042 num_to_read = YY_CURRENT_BUFFER_LVALUE->yy_buf_size -
3043 number_to_move - 1;
3044
3045 }
3046
3047 if ( num_to_read > YY_READ_BUF_SIZE )
3048 num_to_read = YY_READ_BUF_SIZE;
3049
3050 /* Read in more data. */
3051 YY_INPUT( (&YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[number_to_move]),
3052 (yy_n_chars), num_to_read );
3053
3054 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
3055 }
3056
3057 if ( (yy_n_chars) == 0 )
3058 {
3059 if ( number_to_move == YY_MORE_ADJ )
3060 {
3061 ret_val = EOB_ACT_END_OF_FILE;
3062 jsonpath_yyrestart(jsonpath_yyin );
3063 }
3064
3065 else
3066 {
3067 ret_val = EOB_ACT_LAST_MATCH;
3068 YY_CURRENT_BUFFER_LVALUE->yy_buffer_status =
3069 YY_BUFFER_EOF_PENDING;
3070 }
3071 }
3072
3073 else
3074 ret_val = EOB_ACT_CONTINUE_SCAN;
3075
3076 if (((yy_n_chars) + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
3077 /* Extend the array by 50%, plus the number we really need. */
3078 int new_size = (yy_n_chars) + number_to_move + ((yy_n_chars) >> 1);
3079 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf = (char *) jsonpath_yyrealloc((void *) YY_CURRENT_BUFFER_LVALUE->yy_ch_buf,new_size );
3080 if ( ! YY_CURRENT_BUFFER_LVALUE->yy_ch_buf )
3081 YY_FATAL_ERROR( "out of dynamic memory in yy_get_next_buffer()" );
3082 }
3083
3084 (yy_n_chars) += number_to_move;
3085 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] = YY_END_OF_BUFFER_CHAR;
3086 YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars) + 1] = YY_END_OF_BUFFER_CHAR;
3087
3088 (yytext_ptr) = &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[0];
3089
3090 return ret_val;
3091}
3092
3093/* yy_get_previous_state - get the state just before the EOB char was reached */
3094
3095 static yy_state_type yy_get_previous_state (void)
3096{
3097 yy_state_type yy_current_state;
3098 char *yy_cp;
3099
3100 yy_current_state = yy_start_state_list[(yy_start)];
3101
3102 for ( yy_cp = (yytext_ptr) + YY_MORE_ADJ; yy_cp < (yy_c_buf_p); ++yy_cp )
3103 {
3104 yy_current_state += yy_current_state[(*yy_cp ? YY_SC_TO_UI(*yy_cp) : 256)].yy_nxt;
3105 }
3106
3107 return yy_current_state;
3108}
3109
3110/* yy_try_NUL_trans - try to make a transition on the NUL character
3111 *
3112 * synopsis
3113 * next_state = yy_try_NUL_trans( current_state );
3114 */
3115 static yy_state_type yy_try_NUL_trans (yy_state_type yy_current_state )
3116{
3117 int yy_is_jam;
3118
3119 int yy_c = 256;
3120 yyconst struct yy_trans_info *yy_trans_info;
3121
3122 yy_trans_info = &yy_current_state[(unsigned int) yy_c];
3123 yy_current_state += yy_trans_info->yy_nxt;
3124 yy_is_jam = (yy_trans_info->yy_verify != yy_c);
3125
3126 return yy_is_jam ? 0 : yy_current_state;
3127}
3128
3129#ifndef YY_NO_UNPUT
3130
3131#endif
3132
3133#ifndef YY_NO_INPUT
3134#ifdef __cplusplus
3135 static int yyinput (void)
3136#else
3137 static int input (void)
3138#endif
3139
3140{
3141 int c;
3142
3143 *(yy_c_buf_p) = (yy_hold_char);
3144
3145 if ( *(yy_c_buf_p) == YY_END_OF_BUFFER_CHAR )
3146 {
3147 /* yy_c_buf_p now points to the character we want to return.
3148 * If this occurs *before* the EOB characters, then it's a
3149 * valid NUL; if not, then we've hit the end of the buffer.
3150 */
3151 if ( (yy_c_buf_p) < &YY_CURRENT_BUFFER_LVALUE->yy_ch_buf[(yy_n_chars)] )
3152 /* This was really a NUL. */
3153 *(yy_c_buf_p) = '\0';
3154
3155 else
3156 { /* need more input */
3157 int offset = (yy_c_buf_p) - (yytext_ptr);
3158 ++(yy_c_buf_p);
3159
3160 switch ( yy_get_next_buffer( ) )
3161 {
3162 case EOB_ACT_LAST_MATCH:
3163 /* This happens because yy_g_n_b()
3164 * sees that we've accumulated a
3165 * token and flags that we need to
3166 * try matching the token before
3167 * proceeding. But for input(),
3168 * there's no matching to consider.
3169 * So convert the EOB_ACT_LAST_MATCH
3170 * to EOB_ACT_END_OF_FILE.
3171 */
3172
3173 /* Reset buffer status. */
3174 jsonpath_yyrestart(jsonpath_yyin );
3175
3176 /*FALLTHROUGH*/
3177
3178 case EOB_ACT_END_OF_FILE:
3179 {
3180 if ( jsonpath_yywrap( ) )
3181 return 0;
3182
3183 if ( ! (yy_did_buffer_switch_on_eof) )
3184 YY_NEW_FILE;
3185#ifdef __cplusplus
3186 return yyinput();
3187#else
3188 return input();
3189#endif
3190 }
3191
3192 case EOB_ACT_CONTINUE_SCAN:
3193 (yy_c_buf_p) = (yytext_ptr) + offset;
3194 break;
3195 }
3196 }
3197 }
3198
3199 c = *(unsigned char *) (yy_c_buf_p); /* cast for 8-bit char's */
3200 *(yy_c_buf_p) = '\0'; /* preserve jsonpath_yytext */
3201 (yy_hold_char) = *++(yy_c_buf_p);
3202
3203 return c;
3204}
3205#endif /* ifndef YY_NO_INPUT */
3206
3207/** Immediately switch to a different input stream.
3208 * @param input_file A readable stream.
3209 *
3210 * @note This function does not reset the start condition to @c INITIAL .
3211 */
3212 void jsonpath_yyrestart (FILE * input_file )
3213{
3214
3215 if ( ! YY_CURRENT_BUFFER ){
3216 jsonpath_yyensure_buffer_stack ();
3217 YY_CURRENT_BUFFER_LVALUE =
3218 jsonpath_yy_create_buffer(jsonpath_yyin,YY_BUF_SIZE );
3219 }
3220
3221 jsonpath_yy_init_buffer(YY_CURRENT_BUFFER,input_file );
3222 jsonpath_yy_load_buffer_state( );
3223}
3224
3225/** Switch to a different input buffer.
3226 * @param new_buffer The new input buffer.
3227 *
3228 */
3229 void jsonpath_yy_switch_to_buffer (YY_BUFFER_STATE new_buffer )
3230{
3231
3232 /* TODO. We should be able to replace this entire function body
3233 * with
3234 * jsonpath_yypop_buffer_state();
3235 * jsonpath_yypush_buffer_state(new_buffer);
3236 */
3237 jsonpath_yyensure_buffer_stack ();
3238 if ( YY_CURRENT_BUFFER == new_buffer )
3239 return;
3240
3241 if ( YY_CURRENT_BUFFER )
3242 {
3243 /* Flush out information for old buffer. */
3244 *(yy_c_buf_p) = (yy_hold_char);
3245 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
3246 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
3247 }
3248
3249 YY_CURRENT_BUFFER_LVALUE = new_buffer;
3250 jsonpath_yy_load_buffer_state( );
3251
3252 /* We don't actually know whether we did this switch during
3253 * EOF (jsonpath_yywrap()) processing, but the only time this flag
3254 * is looked at is after jsonpath_yywrap() is called, so it's safe
3255 * to go ahead and always set it.
3256 */
3257 (yy_did_buffer_switch_on_eof) = 1;
3258}
3259
3260static void jsonpath_yy_load_buffer_state (void)
3261{
3262 (yy_n_chars) = YY_CURRENT_BUFFER_LVALUE->yy_n_chars;
3263 (yytext_ptr) = (yy_c_buf_p) = YY_CURRENT_BUFFER_LVALUE->yy_buf_pos;
3264 jsonpath_yyin = YY_CURRENT_BUFFER_LVALUE->yy_input_file;
3265 (yy_hold_char) = *(yy_c_buf_p);
3266}
3267
3268/** Allocate and initialize an input buffer state.
3269 * @param file A readable stream.
3270 * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
3271 *
3272 * @return the allocated buffer state.
3273 */
3274 YY_BUFFER_STATE jsonpath_yy_create_buffer (FILE * file, int size )
3275{
3276 YY_BUFFER_STATE b;
3277
3278 b = (YY_BUFFER_STATE) jsonpath_yyalloc(sizeof( struct yy_buffer_state ) );
3279 if ( ! b )
3280 YY_FATAL_ERROR( "out of dynamic memory in jsonpath_yy_create_buffer()" );
3281
3282 b->yy_buf_size = (yy_size_t)size;
3283
3284 /* yy_ch_buf has to be 2 characters longer than the size given because
3285 * we need to put in 2 end-of-buffer characters.
3286 */
3287 b->yy_ch_buf = (char *) jsonpath_yyalloc(b->yy_buf_size + 2 );
3288 if ( ! b->yy_ch_buf )
3289 YY_FATAL_ERROR( "out of dynamic memory in jsonpath_yy_create_buffer()" );
3290
3291 b->yy_is_our_buffer = 1;
3292
3293 jsonpath_yy_init_buffer(b,file );
3294
3295 return b;
3296}
3297
3298/** Destroy the buffer.
3299 * @param b a buffer created with jsonpath_yy_create_buffer()
3300 *
3301 */
3302 void jsonpath_yy_delete_buffer (YY_BUFFER_STATE b )
3303{
3304
3305 if ( ! b )
3306 return;
3307
3308 if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */
3309 YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0;
3310
3311 if ( b->yy_is_our_buffer )
3312 jsonpath_yyfree((void *) b->yy_ch_buf );
3313
3314 jsonpath_yyfree((void *) b );
3315}
3316
3317/* Initializes or reinitializes a buffer.
3318 * This function is sometimes called more than once on the same buffer,
3319 * such as during a jsonpath_yyrestart() or at EOF.
3320 */
3321 static void jsonpath_yy_init_buffer (YY_BUFFER_STATE b, FILE * file )
3322
3323{
3324 int oerrno = errno;
3325
3326 jsonpath_yy_flush_buffer(b );
3327
3328 b->yy_input_file = file;
3329 b->yy_fill_buffer = 1;
3330
3331 /* If b is the current buffer, then jsonpath_yy_init_buffer was _probably_
3332 * called from jsonpath_yyrestart() or through yy_get_next_buffer.
3333 * In that case, we don't want to reset the lineno or column.
3334 */
3335 if (b != YY_CURRENT_BUFFER){
3336 b->yy_bs_lineno = 1;
3337 b->yy_bs_column = 0;
3338 }
3339
3340 b->yy_is_interactive = 0;
3341
3342 errno = oerrno;
3343}
3344
3345/** Discard all buffered characters. On the next scan, YY_INPUT will be called.
3346 * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
3347 *
3348 */
3349 void jsonpath_yy_flush_buffer (YY_BUFFER_STATE b )
3350{
3351 if ( ! b )
3352 return;
3353
3354 b->yy_n_chars = 0;
3355
3356 /* We always need two end-of-buffer characters. The first causes
3357 * a transition to the end-of-buffer state. The second causes
3358 * a jam in that state.
3359 */
3360 b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
3361 b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
3362
3363 b->yy_buf_pos = &b->yy_ch_buf[0];
3364
3365 b->yy_at_bol = 1;
3366 b->yy_buffer_status = YY_BUFFER_NEW;
3367
3368 if ( b == YY_CURRENT_BUFFER )
3369 jsonpath_yy_load_buffer_state( );
3370}
3371
3372/** Pushes the new state onto the stack. The new state becomes
3373 * the current state. This function will allocate the stack
3374 * if necessary.
3375 * @param new_buffer The new state.
3376 *
3377 */
3378void jsonpath_yypush_buffer_state (YY_BUFFER_STATE new_buffer )
3379{
3380 if (new_buffer == NULL)
3381 return;
3382
3383 jsonpath_yyensure_buffer_stack();
3384
3385 /* This block is copied from jsonpath_yy_switch_to_buffer. */
3386 if ( YY_CURRENT_BUFFER )
3387 {
3388 /* Flush out information for old buffer. */
3389 *(yy_c_buf_p) = (yy_hold_char);
3390 YY_CURRENT_BUFFER_LVALUE->yy_buf_pos = (yy_c_buf_p);
3391 YY_CURRENT_BUFFER_LVALUE->yy_n_chars = (yy_n_chars);
3392 }
3393
3394 /* Only push if top exists. Otherwise, replace top. */
3395 if (YY_CURRENT_BUFFER)
3396 (yy_buffer_stack_top)++;
3397 YY_CURRENT_BUFFER_LVALUE = new_buffer;
3398
3399 /* copied from jsonpath_yy_switch_to_buffer. */
3400 jsonpath_yy_load_buffer_state( );
3401 (yy_did_buffer_switch_on_eof) = 1;
3402}
3403
3404/** Removes and deletes the top of the stack, if present.
3405 * The next element becomes the new top.
3406 *
3407 */
3408void jsonpath_yypop_buffer_state (void)
3409{
3410 if (!YY_CURRENT_BUFFER)
3411 return;
3412
3413 jsonpath_yy_delete_buffer(YY_CURRENT_BUFFER );
3414 YY_CURRENT_BUFFER_LVALUE = NULL;
3415 if ((yy_buffer_stack_top) > 0)
3416 --(yy_buffer_stack_top);
3417
3418 if (YY_CURRENT_BUFFER) {
3419 jsonpath_yy_load_buffer_state( );
3420 (yy_did_buffer_switch_on_eof) = 1;
3421 }
3422}
3423
3424/* Allocates the stack if it does not exist.
3425 * Guarantees space for at least one push.
3426 */
3427static void jsonpath_yyensure_buffer_stack (void)
3428{
3429 int num_to_alloc;
3430
3431 if (!(yy_buffer_stack)) {
3432
3433 /* First allocation is just for 2 elements, since we don't know if this
3434 * scanner will even need a stack. We use 2 instead of 1 to avoid an
3435 * immediate realloc on the next call.
3436 */
3437 num_to_alloc = 1; /* After all that talk, this was set to 1 anyways... */
3438 (yy_buffer_stack) = (struct yy_buffer_state**)jsonpath_yyalloc
3439 (num_to_alloc * sizeof(struct yy_buffer_state*)
3440 );
3441 if ( ! (yy_buffer_stack) )
3442 YY_FATAL_ERROR( "out of dynamic memory in jsonpath_yyensure_buffer_stack()" );
3443
3444 memset((yy_buffer_stack), 0, num_to_alloc * sizeof(struct yy_buffer_state*));
3445
3446 (yy_buffer_stack_max) = num_to_alloc;
3447 (yy_buffer_stack_top) = 0;
3448 return;
3449 }
3450
3451 if ((yy_buffer_stack_top) >= ((yy_buffer_stack_max)) - 1){
3452
3453 /* Increase the buffer to prepare for a possible push. */
3454 yy_size_t grow_size = 8 /* arbitrary grow size */;
3455
3456 num_to_alloc = (yy_buffer_stack_max) + grow_size;
3457 (yy_buffer_stack) = (struct yy_buffer_state**)jsonpath_yyrealloc
3458 ((yy_buffer_stack),
3459 num_to_alloc * sizeof(struct yy_buffer_state*)
3460 );
3461 if ( ! (yy_buffer_stack) )
3462 YY_FATAL_ERROR( "out of dynamic memory in jsonpath_yyensure_buffer_stack()" );
3463
3464 /* zero only the new slots.*/
3465 memset((yy_buffer_stack) + (yy_buffer_stack_max), 0, grow_size * sizeof(struct yy_buffer_state*));
3466 (yy_buffer_stack_max) = num_to_alloc;
3467 }
3468}
3469
3470/** Setup the input buffer state to scan directly from a user-specified character buffer.
3471 * @param base the character buffer
3472 * @param size the size in bytes of the character buffer
3473 *
3474 * @return the newly allocated buffer state object.
3475 */
3476YY_BUFFER_STATE jsonpath_yy_scan_buffer (char * base, yy_size_t size )
3477{
3478 YY_BUFFER_STATE b;
3479
3480 if ( size < 2 ||
3481 base[size-2] != YY_END_OF_BUFFER_CHAR ||
3482 base[size-1] != YY_END_OF_BUFFER_CHAR )
3483 /* They forgot to leave room for the EOB's. */
3484 return NULL;
3485
3486 b = (YY_BUFFER_STATE) jsonpath_yyalloc(sizeof( struct yy_buffer_state ) );
3487 if ( ! b )
3488 YY_FATAL_ERROR( "out of dynamic memory in jsonpath_yy_scan_buffer()" );
3489
3490 b->yy_buf_size = size - 2; /* "- 2" to take care of EOB's */
3491 b->yy_buf_pos = b->yy_ch_buf = base;
3492 b->yy_is_our_buffer = 0;
3493 b->yy_input_file = NULL;
3494 b->yy_n_chars = b->yy_buf_size;
3495 b->yy_is_interactive = 0;
3496 b->yy_at_bol = 1;
3497 b->yy_fill_buffer = 0;
3498 b->yy_buffer_status = YY_BUFFER_NEW;
3499
3500 jsonpath_yy_switch_to_buffer(b );
3501
3502 return b;
3503}
3504
3505/** Setup the input buffer state to scan a string. The next call to jsonpath_yylex() will
3506 * scan from a @e copy of @a str.
3507 * @param yystr a NUL-terminated string to scan
3508 *
3509 * @return the newly allocated buffer state object.
3510 * @note If you want to scan bytes that may contain NUL values, then use
3511 * jsonpath_yy_scan_bytes() instead.
3512 */
3513YY_BUFFER_STATE jsonpath_yy_scan_string (yyconst char * yystr )
3514{
3515
3516 return jsonpath_yy_scan_bytes(yystr,(int) strlen(yystr) );
3517}
3518
3519/** Setup the input buffer state to scan the given bytes. The next call to jsonpath_yylex() will
3520 * scan from a @e copy of @a bytes.
3521 * @param yybytes the byte buffer to scan
3522 * @param _yybytes_len the number of bytes in the buffer pointed to by @a bytes.
3523 *
3524 * @return the newly allocated buffer state object.
3525 */
3526YY_BUFFER_STATE jsonpath_yy_scan_bytes (yyconst char * yybytes, int _yybytes_len )
3527{
3528 YY_BUFFER_STATE b;
3529 char *buf;
3530 yy_size_t n;
3531 int i;
3532
3533 /* Get memory for full buffer, including space for trailing EOB's. */
3534 n = (yy_size_t) (_yybytes_len + 2);
3535 buf = (char *) jsonpath_yyalloc(n );
3536 if ( ! buf )
3537 YY_FATAL_ERROR( "out of dynamic memory in jsonpath_yy_scan_bytes()" );
3538
3539 for ( i = 0; i < _yybytes_len; ++i )
3540 buf[i] = yybytes[i];
3541
3542 buf[_yybytes_len] = buf[_yybytes_len+1] = YY_END_OF_BUFFER_CHAR;
3543
3544 b = jsonpath_yy_scan_buffer(buf,n );
3545 if ( ! b )
3546 YY_FATAL_ERROR( "bad buffer in jsonpath_yy_scan_bytes()" );
3547
3548 /* It's okay to grow etc. this buffer, and we should throw it
3549 * away when we're done.
3550 */
3551 b->yy_is_our_buffer = 1;
3552
3553 return b;
3554}
3555
3556#ifndef YY_EXIT_FAILURE
3557#define YY_EXIT_FAILURE 2
3558#endif
3559
3560static void yynoreturn yy_fatal_error (yyconst char* msg )
3561{
3562 (void) fprintf( stderr, "%s\n", msg );
3563 exit( YY_EXIT_FAILURE );
3564}
3565
3566/* Redefine yyless() so it works in section 3 code. */
3567
3568#undef yyless
3569#define yyless(n) \
3570 do \
3571 { \
3572 /* Undo effects of setting up jsonpath_yytext. */ \
3573 int yyless_macro_arg = (n); \
3574 YY_LESS_LINENO(yyless_macro_arg);\
3575 jsonpath_yytext[jsonpath_yyleng] = (yy_hold_char); \
3576 (yy_c_buf_p) = jsonpath_yytext + yyless_macro_arg; \
3577 (yy_hold_char) = *(yy_c_buf_p); \
3578 *(yy_c_buf_p) = '\0'; \
3579 jsonpath_yyleng = yyless_macro_arg; \
3580 } \
3581 while ( 0 )
3582
3583/* Accessor methods (get/set functions) to struct members. */
3584
3585/** Get the current line number.
3586 *
3587 */
3588int jsonpath_yyget_lineno (void)
3589{
3590
3591 return jsonpath_yylineno;
3592}
3593
3594/** Get the input stream.
3595 *
3596 */
3597FILE *jsonpath_yyget_in (void)
3598{
3599 return jsonpath_yyin;
3600}
3601
3602/** Get the output stream.
3603 *
3604 */
3605FILE *jsonpath_yyget_out (void)
3606{
3607 return jsonpath_yyout;
3608}
3609
3610/** Get the length of the current token.
3611 *
3612 */
3613int jsonpath_yyget_leng (void)
3614{
3615 return jsonpath_yyleng;
3616}
3617
3618/** Get the current token.
3619 *
3620 */
3621
3622char *jsonpath_yyget_text (void)
3623{
3624 return jsonpath_yytext;
3625}
3626
3627/** Set the current line number.
3628 * @param _line_number line number
3629 *
3630 */
3631void jsonpath_yyset_lineno (int _line_number )
3632{
3633
3634 jsonpath_yylineno = _line_number;
3635}
3636
3637/** Set the input stream. This does not discard the current
3638 * input buffer.
3639 * @param _in_str A readable stream.
3640 *
3641 * @see jsonpath_yy_switch_to_buffer
3642 */
3643void jsonpath_yyset_in (FILE * _in_str )
3644{
3645 jsonpath_yyin = _in_str ;
3646}
3647
3648void jsonpath_yyset_out (FILE * _out_str )
3649{
3650 jsonpath_yyout = _out_str ;
3651}
3652
3653int jsonpath_yyget_debug (void)
3654{
3655 return jsonpath_yy_flex_debug;
3656}
3657
3658void jsonpath_yyset_debug (int _bdebug )
3659{
3660 jsonpath_yy_flex_debug = _bdebug ;
3661}
3662
3663static int yy_init_globals (void)
3664{
3665 /* Initialization is the same as for the non-reentrant scanner.
3666 * This function is called from jsonpath_yylex_destroy(), so don't allocate here.
3667 */
3668
3669 (yy_buffer_stack) = NULL;
3670 (yy_buffer_stack_top) = 0;
3671 (yy_buffer_stack_max) = 0;
3672 (yy_c_buf_p) = NULL;
3673 (yy_init) = 0;
3674 (yy_start) = 0;
3675
3676/* Defined in main.c */
3677#ifdef YY_STDINIT
3678 jsonpath_yyin = stdin;
3679 jsonpath_yyout = stdout;
3680#else
3681 jsonpath_yyin = NULL;
3682 jsonpath_yyout = NULL;
3683#endif
3684
3685 /* For future reference: Set errno on error, since we are called by
3686 * jsonpath_yylex_init()
3687 */
3688 return 0;
3689}
3690
3691/* jsonpath_yylex_destroy is for both reentrant and non-reentrant scanners. */
3692int jsonpath_yylex_destroy (void)
3693{
3694
3695 /* Pop the buffer stack, destroying each element. */
3696 while(YY_CURRENT_BUFFER){
3697 jsonpath_yy_delete_buffer(YY_CURRENT_BUFFER );
3698 YY_CURRENT_BUFFER_LVALUE = NULL;
3699 jsonpath_yypop_buffer_state();
3700 }
3701
3702 /* Destroy the stack itself. */
3703 jsonpath_yyfree((yy_buffer_stack) );
3704 (yy_buffer_stack) = NULL;
3705
3706 /* Reset the globals. This is important in a non-reentrant scanner so the next time
3707 * jsonpath_yylex() is called, initialization will occur. */
3708 yy_init_globals( );
3709
3710 return 0;
3711}
3712
3713/*
3714 * Internal utility routines.
3715 */
3716
3717#ifndef yytext_ptr
3718static void yy_flex_strncpy (char* s1, yyconst char * s2, int n )
3719{
3720
3721 int i;
3722 for ( i = 0; i < n; ++i )
3723 s1[i] = s2[i];
3724}
3725#endif
3726
3727#ifdef YY_NEED_STRLEN
3728static int yy_flex_strlen (yyconst char * s )
3729{
3730 int n;
3731 for ( n = 0; s[n]; ++n )
3732 ;
3733
3734 return n;
3735}
3736#endif
3737
3738#define YYTABLES_NAME "yytables"
3739
3740#line 272 "jsonpath_scan.l"
3741
3742
3743
3744void
3745jsonpath_yyerror(JsonPathParseResult **result, const char *message)
3746{
3747 if (*jsonpath_yytext == YY_END_OF_BUFFER_CHAR)
3748 {
3749 ereport(ERROR,
3750 (errcode(ERRCODE_SYNTAX_ERROR),
3751 /* translator: %s is typically "syntax error" */
3752 errmsg("%s at end of jsonpath input", _(message))));
3753 }
3754 else
3755 {
3756 ereport(ERROR,
3757 (errcode(ERRCODE_SYNTAX_ERROR),
3758 /* translator: first %s is typically "syntax error" */
3759 errmsg("%s at or near \"%s\" of jsonpath input",
3760 _(message), jsonpath_yytext)));
3761 }
3762}
3763
3764typedef struct JsonPathKeyword
3765{
3766 int16 len;
3767 bool lowercase;
3768 int val;
3769 const char *keyword;
3770} JsonPathKeyword;
3771
3772/*
3773 * Array of key words should be sorted by length and then
3774 * alphabetical order
3775 */
3776static const JsonPathKeyword keywords[] = {
3777 { 2, false, IS_P, "is"},
3778 { 2, false, TO_P, "to"},
3779 { 3, false, ABS_P, "abs"},
3780 { 3, false, LAX_P, "lax"},
3781 { 4, false, FLAG_P, "flag"},
3782 { 4, false, LAST_P, "last"},
3783 { 4, true, NULL_P, "null"},
3784 { 4, false, SIZE_P, "size"},
3785 { 4, true, TRUE_P, "true"},
3786 { 4, false, TYPE_P, "type"},
3787 { 4, false, WITH_P, "with"},
3788 { 5, true, FALSE_P, "false"},
3789 { 5, false, FLOOR_P, "floor"},
3790 { 6, false, DOUBLE_P, "double"},
3791 { 6, false, EXISTS_P, "exists"},
3792 { 6, false, STARTS_P, "starts"},
3793 { 6, false, STRICT_P, "strict"},
3794 { 7, false, CEILING_P, "ceiling"},
3795 { 7, false, UNKNOWN_P, "unknown"},
3796 { 8, false, KEYVALUE_P, "keyvalue"},
3797 { 10,false, LIKE_REGEX_P, "like_regex"},
3798};
3799
3800/* Check if current scanstring value is a keyword */
3801static enum yytokentype
3802checkKeyword()
3803{
3804 int res = IDENT_P;
3805 int diff;
3806 const JsonPathKeyword *StopLow = keywords,
3807 *StopHigh = keywords + lengthof(keywords),
3808 *StopMiddle;
3809
3810 if (scanstring.len > keywords[lengthof(keywords) - 1].len)
3811 return res;
3812
3813 while (StopLow < StopHigh)
3814 {
3815 StopMiddle = StopLow + ((StopHigh - StopLow) >> 1);
3816
3817 if (StopMiddle->len == scanstring.len)
3818 diff = pg_strncasecmp(StopMiddle->keyword, scanstring.val,
3819 scanstring.len);
3820 else
3821 diff = StopMiddle->len - scanstring.len;
3822
3823 if (diff < 0)
3824 StopLow = StopMiddle + 1;
3825 else if (diff > 0)
3826 StopHigh = StopMiddle;
3827 else
3828 {
3829 if (StopMiddle->lowercase)
3830 diff = strncmp(StopMiddle->keyword, scanstring.val,
3831 scanstring.len);
3832
3833 if (diff == 0)
3834 res = StopMiddle->val;
3835
3836 break;
3837 }
3838 }
3839
3840 return res;
3841}
3842
3843/*
3844 * Called before any actual parsing is done
3845 */
3846static void
3847jsonpath_scanner_init(const char *str, int slen)
3848{
3849 if (slen <= 0)
3850 slen = strlen(str);
3851
3852 /*
3853 * Might be left over after ereport()
3854 */
3855 yy_init_globals();
3856
3857 /*
3858 * Make a scan buffer with special termination needed by flex.
3859 */
3860
3861 scanbuflen = slen;
3862 scanbuf = palloc(slen + 2);
3863 memcpy(scanbuf, str, slen);
3864 scanbuf[slen] = scanbuf[slen + 1] = YY_END_OF_BUFFER_CHAR;
3865 scanbufhandle = jsonpath_yy_scan_buffer(scanbuf,slen + 2);
3866
3867 BEGIN(INITIAL);
3868}
3869
3870
3871/*
3872 * Called after parsing is done to clean up after jsonpath_scanner_init()
3873 */
3874static void
3875jsonpath_scanner_finish(void)
3876{
3877 jsonpath_yy_delete_buffer(scanbufhandle);
3878 pfree(scanbuf);
3879}
3880
3881/*
3882 * Resize scanstring so that it can append string of given length.
3883 * Reinitialize if required.
3884 */
3885static void
3886resizeString(bool init, int appendLen)
3887{
3888 if (init)
3889 {
3890 scanstring.total = Max(32, appendLen);
3891 scanstring.val = (char *) palloc(scanstring.total);
3892 scanstring.len = 0;
3893 }
3894 else
3895 {
3896 if (scanstring.len + appendLen >= scanstring.total)
3897 {
3898 while (scanstring.len + appendLen >= scanstring.total)
3899 scanstring.total *= 2;
3900 scanstring.val = repalloc(scanstring.val, scanstring.total);
3901 }
3902 }
3903}
3904
3905/* Add set of bytes at "s" of length "l" to scanstring */
3906static void
3907addstring(bool init, char *s, int l)
3908{
3909 resizeString(init, l + 1);
3910 memcpy(scanstring.val + scanstring.len, s, l);
3911 scanstring.len += l;
3912}
3913
3914/* Add single byte "c" to scanstring */
3915static void
3916addchar(bool init, char c)
3917{
3918 resizeString(init, 1);
3919 scanstring.val[scanstring.len] = c;
3920 if (c != '\0')
3921 scanstring.len++;
3922}
3923
3924/* Interface to jsonpath parser */
3925JsonPathParseResult *
3926parsejsonpath(const char *str, int len)
3927{
3928 JsonPathParseResult *parseresult;
3929
3930 jsonpath_scanner_init(str, len);
3931
3932 if (jsonpath_yyparse((void *) &parseresult) != 0)
3933 jsonpath_yyerror(NULL, "bogus input"); /* shouldn't happen */
3934
3935 jsonpath_scanner_finish();
3936
3937 return parseresult;
3938}
3939
3940/* Turn hex character into integer */
3941static int
3942hexval(char c)
3943{
3944 if (c >= '0' && c <= '9')
3945 return c - '0';
3946 if (c >= 'a' && c <= 'f')
3947 return c - 'a' + 0xA;
3948 if (c >= 'A' && c <= 'F')
3949 return c - 'A' + 0xA;
3950 jsonpath_yyerror(NULL, "invalid hexadecimal digit");
3951 return 0; /* not reached */
3952}
3953
3954/* Add given unicode character to scanstring */
3955static void
3956addUnicodeChar(int ch)
3957{
3958 /*
3959 * For UTF8, replace the escape sequence by the actual
3960 * utf8 character in lex->strval. Do this also for other
3961 * encodings if the escape designates an ASCII character,
3962 * otherwise raise an error.
3963 */
3964
3965 if (ch == 0)
3966 {
3967 /* We can't allow this, since our TEXT type doesn't */
3968 ereport(ERROR,
3969 (errcode(ERRCODE_UNTRANSLATABLE_CHARACTER),
3970 errmsg("unsupported Unicode escape sequence"),
3971 errdetail("\\u0000 cannot be converted to text.")));
3972 }
3973 else if (GetDatabaseEncoding() == PG_UTF8)
3974 {
3975 char utf8str[5];
3976 int utf8len;
3977
3978 unicode_to_utf8(ch, (unsigned char *) utf8str);
3979 utf8len = pg_utf_mblen((unsigned char *) utf8str);
3980 addstring(false, utf8str, utf8len);
3981 }
3982 else if (ch <= 0x007f)
3983 {
3984 /*
3985 * This is the only way to designate things like a
3986 * form feed character in JSON, so it's useful in all
3987 * encodings.
3988 */
3989 addchar(false, (char) ch);
3990 }
3991 else
3992 {
3993 ereport(ERROR,
3994 (errcode(ERRCODE_INVALID_TEXT_REPRESENTATION),
3995 errmsg("invalid input syntax for type %s", "jsonpath"),
3996 errdetail("Unicode escape values cannot be used for code "
3997 "point values above 007F when the server encoding "
3998 "is not UTF8.")));
3999 }
4000}
4001
4002/* Add unicode character and process its hi surrogate */
4003static void
4004addUnicode(int ch, int *hi_surrogate)
4005{
4006 if (ch >= 0xd800 && ch <= 0xdbff)
4007 {
4008 if (*hi_surrogate != -1)
4009 ereport(ERROR,
4010 (errcode(ERRCODE_INVALID_TEXT_REPRESENTATION),
4011 errmsg("invalid input syntax for type %s", "jsonpath"),
4012 errdetail("Unicode high surrogate must not follow "
4013 "a high surrogate.")));
4014 *hi_surrogate = (ch & 0x3ff) << 10;
4015 return;
4016 }
4017 else if (ch >= 0xdc00 && ch <= 0xdfff)
4018 {
4019 if (*hi_surrogate == -1)
4020 ereport(ERROR,
4021 (errcode(ERRCODE_INVALID_TEXT_REPRESENTATION),
4022 errmsg("invalid input syntax for type %s", "jsonpath"),
4023 errdetail("Unicode low surrogate must follow a high "
4024 "surrogate.")));
4025 ch = 0x10000 + *hi_surrogate + (ch & 0x3ff);
4026 *hi_surrogate = -1;
4027 }
4028 else if (*hi_surrogate != -1)
4029 {
4030 ereport(ERROR,
4031 (errcode(ERRCODE_INVALID_TEXT_REPRESENTATION),
4032 errmsg("invalid input syntax for type %s", "jsonpath"),
4033 errdetail("Unicode low surrogate must follow a high "
4034 "surrogate.")));
4035 }
4036
4037 addUnicodeChar(ch);
4038}
4039
4040/*
4041 * parseUnicode was adopted from json_lex_string() in
4042 * src/backend/utils/adt/json.c
4043 */
4044static void
4045parseUnicode(char *s, int l)
4046{
4047 int i = 2;
4048 int hi_surrogate = -1;
4049
4050 for (i = 2; i < l; i += 2) /* skip '\u' */
4051 {
4052 int ch = 0;
4053 int j;
4054
4055 if (s[i] == '{') /* parse '\u{XX...}' */
4056 {
4057 while (s[++i] != '}' && i < l)
4058 ch = (ch << 4) | hexval(s[i]);
4059 i++; /* skip '}' */
4060 }
4061 else /* parse '\uXXXX' */
4062 {
4063 for (j = 0; j < 4 && i < l; j++)
4064 ch = (ch << 4) | hexval(s[i++]);
4065 }
4066
4067 addUnicode(ch, &hi_surrogate);
4068 }
4069
4070 if (hi_surrogate != -1)
4071 {
4072 ereport(ERROR,
4073 (errcode(ERRCODE_INVALID_TEXT_REPRESENTATION),
4074 errmsg("invalid input syntax for type %s", "jsonpath"),
4075 errdetail("Unicode low surrogate must follow a high "
4076 "surrogate.")));
4077 }
4078}
4079
4080/* Parse sequence of hex-encoded characters */
4081static void
4082parseHexChar(char *s)
4083{
4084 int ch = (hexval(s[2]) << 4) |
4085 hexval(s[3]);
4086
4087 addUnicodeChar(ch);
4088}
4089
4090/*
4091 * Interface functions to make flex use palloc() instead of malloc().
4092 * It'd be better to make these static, but flex insists otherwise.
4093 */
4094
4095void *
4096jsonpath_yyalloc(yy_size_t bytes)
4097{
4098 return palloc(bytes);
4099}
4100
4101void *
4102jsonpath_yyrealloc(void *ptr, yy_size_t bytes)
4103{
4104 if (ptr)
4105 return repalloc(ptr, bytes);
4106 else
4107 return palloc(bytes);
4108}
4109
4110void
4111jsonpath_yyfree(void *ptr)
4112{
4113 if (ptr)
4114 pfree(ptr);
4115}
4116
4117