Newer
Older
#line 2 "Gmsh.yy.cpp"
#line 4 "Gmsh.yy.cpp"
#define YY_INT_ALIGNED short int
/* A lexical scanner generated by flex */
#define yy_create_buffer gmsh_yy_create_buffer
#define yy_delete_buffer gmsh_yy_delete_buffer
#define yy_flex_debug gmsh_yy_flex_debug
#define yy_init_buffer gmsh_yy_init_buffer
#define yy_flush_buffer gmsh_yy_flush_buffer
#define yy_load_buffer_state gmsh_yy_load_buffer_state
#define yy_switch_to_buffer gmsh_yy_switch_to_buffer
#define yyin gmsh_yyin
#define yyleng gmsh_yyleng
#define yylex gmsh_yylex
#define yylineno gmsh_yylineno
#define yyout gmsh_yyout
#define yyrestart gmsh_yyrestart
#define yytext gmsh_yytext
#define yywrap gmsh_yywrap
#define yyalloc gmsh_yyalloc
#define yyrealloc gmsh_yyrealloc
#define yyfree gmsh_yyfree
#define FLEX_SCANNER
#define YY_FLEX_MAJOR_VERSION 2
#define YY_FLEX_MINOR_VERSION 5
Christophe Geuzaine
committed
#define YY_FLEX_SUBMINOR_VERSION 37
/* First, we deal with platform-specific or compiler-specific issues. */
/* begin standard C headers. */
#include <stdio.h>
/* flex integer type definitions */
#ifndef FLEXINT_H
#define FLEXINT_H
/* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */
#if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
/* C99 says to define __STDC_LIMIT_MACROS before including stdint.h,
* if you want the limit (max/min) macros for int types.
*/
#ifndef __STDC_LIMIT_MACROS
#define __STDC_LIMIT_MACROS 1
#endif
#include <inttypes.h>
typedef int8_t flex_int8_t;
typedef uint8_t flex_uint8_t;
typedef int16_t flex_int16_t;
typedef uint16_t flex_uint16_t;
typedef int32_t flex_int32_t;
typedef uint32_t flex_uint32_t;
#else
typedef signed char flex_int8_t;
typedef short int flex_int16_t;
typedef int flex_int32_t;
typedef unsigned char flex_uint8_t;
typedef unsigned short int flex_uint16_t;
typedef unsigned int flex_uint32_t;
/* Limits of integral types. */
#ifndef INT8_MIN
#define INT8_MIN (-128)
#endif
#ifndef INT16_MIN
#define INT16_MIN (-32767-1)
#endif
#ifndef INT32_MIN
#define INT32_MIN (-2147483647-1)
#endif
#ifndef INT8_MAX
#define INT8_MAX (127)
#endif
#ifndef INT16_MAX
#define INT16_MAX (32767)
#endif
#ifndef INT32_MAX
#define INT32_MAX (2147483647)
#endif
#ifndef UINT8_MAX
#define UINT8_MAX (255U)
#endif
#ifndef UINT16_MAX
#define UINT16_MAX (65535U)
#endif
#ifndef UINT32_MAX
#define UINT32_MAX (4294967295U)
#endif
Christophe Geuzaine
committed
#endif /* ! C99 */
/* The "const" storage-class-modifier is valid. */
#define YY_USE_CONST
#else /* ! __cplusplus */
/* C99 requires __STDC__ to be defined as 1. */
#if defined (__STDC__)
#define YY_USE_CONST
#endif /* defined (__STDC__) */
#endif /* ! __cplusplus */
#ifdef YY_USE_CONST
#define yyconst const
#else
#define yyconst
#endif
/* Returned upon end-of-file. */
#define YY_NULL 0
/* Promotes a possibly negative, possibly signed char to an unsigned
* integer for use as an array index. If the signed char is negative,
* we want to instead treat it as an 8-bit unsigned char, hence the
* double cast.
*/
#define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
/* Enter a start condition. This macro really ought to take a parameter,
* but we do it the disgusting crufty way forced on us by the ()-less
* definition of BEGIN.
*/
/* Translate the current start state into a value that can be later handed
* to BEGIN to return to the state. The YYSTATE alias is for lex
* compatibility.
*/
#define YYSTATE YY_START
/* Action number for EOF rule of a given start state. */
#define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
/* Special action meaning "start processing a new file". */
#define YY_END_OF_BUFFER_CHAR 0
/* Size of default input buffer. */
#define YY_BUF_SIZE 16384
#endif
/* The state buf must be large enough to hold one state per character in the main buffer.
*/
#define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type))
#ifndef YY_TYPEDEF_YY_BUFFER_STATE
#define YY_TYPEDEF_YY_BUFFER_STATE
typedef struct yy_buffer_state *YY_BUFFER_STATE;
#ifndef YY_TYPEDEF_YY_SIZE_T
#define YY_TYPEDEF_YY_SIZE_T
typedef size_t yy_size_t;
#endif
extern yy_size_t gmsh_yyleng;
#define EOB_ACT_CONTINUE_SCAN 0
#define EOB_ACT_END_OF_FILE 1
#define EOB_ACT_LAST_MATCH 2
#define YY_LESS_LINENO(n)
/* Return all but the first "n" matched characters back to the input stream. */
#define yyless(n) \
do \
{ \
/* Undo effects of setting up gmsh_yytext. */ \
int yyless_macro_arg = (n); \
YY_LESS_LINENO(yyless_macro_arg);\
*yy_cp = (yy_hold_char); \
YY_RESTORE_YY_MORE_OFFSET \
(yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \
YY_DO_BEFORE_ACTION; /* set up gmsh_yytext again */ \
} \
while ( 0 )
#ifndef YY_STRUCT_YY_BUFFER_STATE
#define YY_STRUCT_YY_BUFFER_STATE
struct yy_buffer_state
{
FILE *yy_input_file;
char *yy_ch_buf; /* input buffer */
char *yy_buf_pos; /* current position in input buffer */
/* Size of input buffer in bytes, not including room for EOB
* characters.
*/
yy_size_t yy_buf_size;
/* Number of characters read into yy_ch_buf, not including EOB
* characters.
*/
/* Whether we "own" the buffer - i.e., we know we created it,
* and can realloc() it to grow it, and should free() it to
* delete it.
*/
int yy_is_our_buffer;
/* Whether this is an "interactive" input source; if so, and
* if we're using stdio for input, then we want to use getc()
* instead of fread(), to make sure we stop fetching input after
* each newline.
*/
int yy_is_interactive;
/* Whether we're considered to be at the beginning of a line.
* If so, '^' rules will be active on the next match, otherwise
* not.
*/
int yy_at_bol;
int yy_bs_lineno; /**< The line count. */
int yy_bs_column; /**< The column count. */
/* Whether to try to fill the input buffer when we reach the
* end of it.
*/
int yy_fill_buffer;
int yy_buffer_status;
#define YY_BUFFER_NEW 0
#define YY_BUFFER_NORMAL 1
/* When an EOF's been seen but there's still some text to process
* then we mark the buffer as YY_EOF_PENDING, to indicate that we
* shouldn't try reading from the input source any more. We might
* still have a bunch of tokens to match, though, because of
* possible backing-up.
*
* When we actually see the EOF, we change the status to "new"
* (via gmsh_yyrestart()), so that the user can continue scanning by
* just pointing gmsh_yyin at a new input file.
*/
#define YY_BUFFER_EOF_PENDING 2
/* Stack of input buffers. */
static size_t yy_buffer_stack_top = 0; /**< index of top of stack. */
static size_t yy_buffer_stack_max = 0; /**< capacity of stack. */
static YY_BUFFER_STATE * yy_buffer_stack = 0; /**< Stack as an array. */
/* We provide macros for accessing buffer states in case in the
* future we want to put the buffer states in a more general
* "scanner state".
*/
#define YY_CURRENT_BUFFER ( (yy_buffer_stack) \
? (yy_buffer_stack)[(yy_buffer_stack_top)] \
: NULL)
/* Same as previous macro, but useful when we know that the buffer stack is not
* NULL or when we need an lvalue. For internal use only.
*/
#define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)]
/* yy_hold_char holds the character lost when gmsh_yytext is formed. */
static char yy_hold_char;
static yy_size_t yy_n_chars; /* number of characters read into yy_ch_buf */
yy_size_t gmsh_yyleng;
/* Points to current character in buffer. */
static char *yy_c_buf_p = (char *) 0;
static int yy_init = 0; /* whether we need to initialize */
static int yy_start = 0; /* start state number */
/* Flag which is used to allow gmsh_yywrap()'s to do buffer switches
* instead of setting up a fresh gmsh_yyin. A bit of a hack ...
*/
static int yy_did_buffer_switch_on_eof;
void gmsh_yyrestart (FILE *input_file );
void gmsh_yy_switch_to_buffer (YY_BUFFER_STATE new_buffer );
YY_BUFFER_STATE gmsh_yy_create_buffer (FILE *file,int size );
void gmsh_yy_delete_buffer (YY_BUFFER_STATE b );
void gmsh_yy_flush_buffer (YY_BUFFER_STATE b );
void gmsh_yypush_buffer_state (YY_BUFFER_STATE new_buffer );
void gmsh_yypop_buffer_state (void );
static void gmsh_yyensure_buffer_stack (void );
static void gmsh_yy_load_buffer_state (void );
static void gmsh_yy_init_buffer (YY_BUFFER_STATE b,FILE *file );
YY_BUFFER_STATE gmsh_yy_scan_buffer (char *base,yy_size_t size );
YY_BUFFER_STATE gmsh_yy_scan_string (yyconst char *yy_str );
YY_BUFFER_STATE gmsh_yy_scan_bytes (yyconst char *bytes,yy_size_t len );
void *gmsh_yyalloc (yy_size_t );
void *gmsh_yyrealloc (void *,yy_size_t );
void gmsh_yyfree (void * );
#define yy_set_interactive(is_interactive) \
{ \
if ( ! YY_CURRENT_BUFFER ){ \
YY_CURRENT_BUFFER_LVALUE = \
} \
YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \
}
#define yy_set_bol(at_bol) \
{ \
if ( ! YY_CURRENT_BUFFER ){\
YY_CURRENT_BUFFER_LVALUE = \
} \
YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \
}
#define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol)
/* Begin user sect3 */
typedef unsigned char YY_CHAR;
typedef int yy_state_type;
static yy_state_type yy_get_previous_state (void );
static yy_state_type yy_try_NUL_trans (yy_state_type current_state );
static int yy_get_next_buffer (void );
static void yy_fatal_error (yyconst char msg[] );
/* Done after the current pattern has been matched and before the
*/
#define YY_DO_BEFORE_ACTION \
(yytext_ptr) = yy_bp; \
Christophe Geuzaine
committed
gmsh_yyleng = (size_t) (yy_cp - yy_bp); \
(yy_hold_char) = *yy_cp; \
*yy_cp = '\0'; \
(yy_c_buf_p) = yy_cp;
#define YY_NUM_RULES 190
#define YY_END_OF_BUFFER 191
/* This struct is not used in this scanner,
but its presence is necessary. */
struct yy_trans_info
{
flex_int32_t yy_verify;
flex_int32_t yy_nxt;
};
static yyconst flex_int16_t yy_accept[930] =
{ 0,
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
0, 0, 191, 189, 1, 1, 189, 5, 189, 6,
189, 189, 189, 189, 189, 184, 21, 2, 189, 16,
189, 188, 188, 188, 188, 188, 188, 188, 188, 188,
188, 188, 188, 188, 188, 188, 188, 188, 188, 188,
188, 188, 188, 188, 189, 28, 24, 19, 25, 17,
26, 18, 0, 186, 3, 4, 20, 185, 184, 0,
29, 27, 30, 188, 188, 188, 188, 188, 188, 188,
188, 188, 188, 188, 188, 188, 188, 188, 188, 188,
188, 188, 188, 188, 188, 188, 188, 188, 188, 188,
188, 188, 188, 188, 188, 188, 188, 188, 188, 188,
188, 104, 103, 188, 188, 188, 188, 188, 188, 188,
188, 188, 188, 188, 188, 188, 188, 126, 188, 188,
188, 188, 188, 188, 188, 188, 188, 188, 188, 188,
188, 188, 188, 188, 188, 188, 170, 171, 188, 188,
188, 188, 188, 188, 188, 188, 188, 23, 22, 0,
185, 0, 0, 187, 188, 188, 188, 188, 188, 188,
188, 188, 188, 188, 188, 188, 188, 188, 188, 188,
188, 188, 188, 188, 188, 54, 65, 188, 188, 188,
188, 188, 188, 188, 188, 188, 188, 188, 74, 188,
188, 188, 188, 188, 188, 188, 91, 188, 188, 188,
188, 188, 188, 188, 188, 188, 188, 188, 188, 188,
188, 188, 111, 188, 188, 188, 188, 188, 188, 188,
188, 188, 188, 188, 188, 188, 188, 188, 188, 188,
188, 188, 188, 188, 188, 188, 188, 188, 188, 188,
188, 152, 188, 188, 188, 188, 188, 158, 188, 188,
188, 188, 178, 188, 188, 188, 188, 188, 188, 188,
188, 0, 186, 0, 0, 185, 188, 32, 188, 188,
188, 188, 188, 37, 39, 188, 188, 188, 188, 62,
188, 47, 188, 188, 188, 188, 188, 188, 188, 188,
188, 53, 188, 188, 188, 188, 188, 72, 188, 188,
188, 188, 188, 188, 83, 188, 85, 188, 188, 188,
188, 90, 188, 188, 188, 188, 188, 99, 100, 188,
188, 188, 188, 188, 188, 188, 188, 109, 110, 188,
188, 188, 188, 188, 188, 188, 188, 188, 188, 188,
188, 188, 188, 188, 188, 188, 143, 188, 188, 188,
188, 188, 188, 188, 188, 188, 188, 188, 188, 167,
153, 188, 188, 188, 188, 151, 188, 188, 188, 188,
188, 188, 188, 173, 177, 188, 188, 188, 188, 188,
188, 188, 10, 15, 9, 8, 188, 12, 14, 0,
185, 31, 188, 35, 188, 188, 188, 41, 188, 43,
188, 188, 188, 188, 188, 188, 188, 57, 188, 188,
188, 188, 188, 188, 188, 188, 188, 188, 188, 188,
80, 82, 188, 188, 188, 86, 188, 188, 89, 188,
188, 188, 188, 188, 188, 102, 188, 188, 107, 188,
188, 188, 112, 188, 188, 188, 188, 188, 120, 188,
123, 188, 188, 188, 127, 188, 128, 188, 188, 188,
188, 188, 188, 188, 188, 188, 188, 141, 142, 188,
188, 188, 188, 188, 188, 156, 188, 188, 188, 188,
188, 188, 188, 188, 188, 188, 188, 179, 188, 188,
188, 182, 188, 11, 188, 13, 188, 188, 34, 38,
40, 188, 44, 188, 188, 188, 48, 188, 188, 188,
188, 188, 188, 188, 188, 188, 188, 188, 69, 71,
188, 188, 79, 188, 84, 188, 188, 188, 188, 188,
188, 93, 188, 188, 188, 188, 188, 113, 108, 188,
188, 188, 119, 188, 116, 188, 188, 188, 188, 132,
188, 131, 188, 188, 188, 188, 188, 146, 188, 140,
188, 188, 188, 188, 154, 155, 188, 160, 188, 165,
188, 188, 188, 188, 188, 188, 188, 188, 188, 188,
188, 188, 183, 7, 188, 188, 42, 45, 188, 188,
188, 188, 188, 188, 52, 56, 188, 188, 188, 188,
188, 188, 188, 188, 76, 188, 188, 188, 77, 188,
188, 188, 188, 188, 188, 188, 188, 188, 188, 188,
188, 188, 188, 188, 188, 188, 188, 188, 188, 188,
188, 188, 188, 188, 188, 188, 147, 188, 188, 188,
188, 159, 188, 164, 188, 188, 188, 157, 188, 188,
188, 188, 188, 188, 188, 188, 188, 188, 188, 188,
188, 188, 188, 188, 59, 188, 188, 188, 188, 188,
188, 188, 75, 78, 188, 188, 188, 92, 188, 188,
188, 188, 95, 101, 188, 188, 114, 117, 118, 188,
188, 188, 188, 124, 125, 188, 188, 188, 188, 188,
188, 188, 188, 188, 188, 188, 188, 150, 149, 188,
188, 188, 188, 168, 188, 188, 188, 188, 188, 188,
188, 33, 188, 188, 188, 188, 50, 188, 188, 188,
188, 188, 188, 188, 188, 188, 81, 188, 188, 188,
188, 188, 94, 188, 105, 188, 188, 122, 188, 188,
188, 188, 188, 188, 188, 137, 139, 188, 188, 188,
188, 166, 162, 188, 188, 169, 188, 188, 188, 188,
176, 188, 188, 188, 61, 188, 51, 58, 188, 188,
188, 188, 188, 188, 188, 87, 188, 188, 188, 188,
188, 188, 188, 129, 188, 188, 135, 188, 188, 188,
144, 188, 188, 73, 188, 161, 188, 188, 188, 188,
188, 188, 46, 188, 60, 49, 188, 188, 188, 188,
70, 188, 188, 188, 188, 188, 188, 188, 130, 188,
188, 136, 188, 188, 188, 163, 188, 180, 188, 174,
188, 188, 188, 188, 188, 67, 68, 188, 188, 188,
188, 188, 188, 121, 188, 188, 188, 145, 188, 188,
188, 188, 188, 188, 188, 188, 188, 188, 188, 188,
188, 115, 188, 188, 188, 188, 188, 175, 188, 188,
55, 63, 66, 188, 188, 188, 188, 188, 188, 188,
138, 148, 172, 188, 188, 188, 88, 188, 188, 188,
188, 133, 188, 188, 36, 188, 188, 188, 188, 188,
188, 181, 188, 188, 188, 188, 188, 134, 188, 96,
97, 98, 188, 188, 188, 188, 106, 64, 0
} ;
{ 0,
1, 1, 1, 1, 1, 1, 1, 1, 2, 3,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 2, 4, 5, 1, 1, 1, 6, 7, 1,
1, 8, 9, 1, 10, 11, 12, 13, 14, 15,
16, 17, 17, 17, 17, 17, 17, 18, 19, 20,
21, 22, 1, 1, 23, 24, 25, 26, 27, 28,
29, 30, 31, 32, 33, 34, 35, 36, 37, 38,
Christophe Geuzaine
committed
39, 40, 41, 42, 43, 44, 45, 46, 46, 46,
1, 1, 1, 1, 47, 1, 48, 49, 50, 51,
Christophe Geuzaine
committed
52, 53, 54, 55, 56, 46, 57, 58, 59, 60,
61, 62, 63, 64, 65, 66, 67, 68, 69, 70,
71, 72, 1, 73, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1
} ;
Christophe Geuzaine
committed
static yyconst flex_int32_t yy_meta[74] =
{ 0,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 2, 2, 2, 2, 2, 1, 1, 1,
1, 1, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
Christophe Geuzaine
committed
2, 2, 1
} ;
{ 0,
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
0, 0, 1062, 1063, 1063, 1063, 1040, 1063, 1054, 1063,
1038, 65, 66, 64, 76, 78, 1063, 1063, 1037, 1036,
1035, 49, 49, 56, 67, 68, 81, 50, 80, 97,
0, 995, 97, 108, 987, 61, 107, 986, 118, 125,
158, 62, 991, 999, 977, 1063, 1063, 1063, 1063, 1063,
1063, 1063, 1038, 184, 1063, 1063, 1063, 199, 214, 229,
1063, 1063, 1063, 0, 987, 986, 998, 989, 994, 987,
994, 979, 37, 973, 58, 983, 990, 973, 194, 969,
983, 149, 976, 985, 974, 980, 966, 979, 116, 979,
165, 966, 965, 961, 964, 982, 956, 970, 24, 958,
977, 0, 952, 956, 945, 84, 96, 961, 983, 159,
962, 948, 959, 959, 945, 944, 936, 0, 116, 137,
950, 957, 944, 204, 138, 945, 954, 935, 939, 939,
937, 203, 933, 932, 931, 149, 0, 0, 959, 933,
922, 181, 943, 939, 933, 930, 918, 1063, 1063, 264,
269, 278, 284, 289, 922, 920, 922, 935, 223, 922,
921, 922, 913, 922, 917, 918, 916, 916, 909, 922,
82, 910, 105, 906, 898, 913, 0, 919, 910, 913,
912, 915, 893, 905, 206, 899, 901, 155, 0, 894,
892, 898, 903, 914, 892, 901, 0, 901, 920, 281,
897, 896, 886, 885, 918, 892, 877, 890, 887, 888,
887, 872, 923, 889, 874, 879, 866, 883, 873, 878,
881, 872, 862, 866, 871, 864, 875, 862, 870, 869,
202, 863, 857, 850, 864, 867, 854, 861, 854, 282,
842, 855, 848, 856, 851, 850, 839, 286, 851, 844,
852, 874, 845, 833, 850, 849, 836, 843, 834, 826,
265, 321, 326, 335, 340, 345, 826, 0, 825, 825,
828, 832, 839, 0, 871, 829, 828, 831, 831, 0,
814, 0, 832, 821, 814, 818, 812, 819, 210, 823,
836, 0, 806, 811, 810, 803, 802, 0, 805, 805,
812, 800, 807, 796, 0, 794, 0, 809, 832, 806,
793, 0, 790, 808, 794, 787, 804, 0, 0, 793,
784, 809, 784, 782, 782, 779, 786, 0, 0, 830,
235, 778, 818, 782, 774, 790, 773, 777, 774, 778,
781, 776, 765, 766, 763, 247, 0, 769, 763, 766,
775, 760, 759, 756, 770, 769, 767, 763, 753, 0,
0, 750, 751, 250, 754, 0, 315, 757, 748, 759,
762, 757, 773, 0, 0, 784, 735, 747, 739, 750,
748, 742, 0, 0, 742, 0, 747, 740, 0, 351,
362, 0, 762, 751, 730, 734, 733, 0, 732, 0,
727, 734, 731, 738, 735, 734, 724, 742, 723, 730,
714, 724, 717, 726, 725, 724, 723, 722, 266, 709,
0, 0, 721, 706, 719, 0, 699, 710, 0, 711,
274, 698, 701, 706, 702, 0, 724, 696, 0, 695,
704, 693, 0, 709, 700, 684, 696, 692, 0, 703,
0, 699, 699, 699, 0, 688, 0, 706, 693, 681,
695, 678, 690, 693, 680, 674, 686, 0, 0, 703,
688, 684, 679, 681, 680, 0, 665, 664, 668, 666,
667, 674, 128, 675, 658, 662, 656, 0, 686, 327,
664, 0, 667, 0, 664, 0, 665, 660, 0, 0,
700, 662, 0, 653, 654, 645, 0, 650, 651, 660,
655, 636, 645, 644, 637, 660, 346, 637, 0, 0,
317, 644, 0, 643, 0, 646, 641, 648, 634, 297,
671, 0, 637, 625, 637, 653, 637, 0, 0, 636,
627, 614, 0, 631, 0, 210, 618, 627, 634, 0,
619, 0, 624, 338, 623, 643, 611, 0, 624, 0,
627, 614, 621, 620, 0, 0, 618, 0, 614, 0,
618, 615, 619, 608, 613, 600, 612, 596, 609, 342,
612, 599, 0, 0, 593, 591, 0, 0, 602, 615,
602, 603, 591, 602, 0, 0, 599, 601, 592, 586,
585, 578, 578, 595, 0, 577, 591, 592, 0, 574,
572, 577, 604, 599, 592, 573, 580, 560, 596, 579,
562, 570, 574, 564, 574, 556, 558, 571, 562, 564,
363, 570, 557, 548, 563, 562, 0, 548, 558, 547,
546, 0, 559, 0, 552, 541, 558, 0, 534, 552,
539, 543, 534, 540, 533, 546, 542, 541, 571, 533,
529, 540, 537, 532, 0, 523, 527, 525, 526, 526,
520, 517, 0, 0, 522, 515, 524, 0, 542, 541,
552, 522, 0, 0, 552, 508, 0, 0, 0, 509,
506, 511, 514, 0, 0, 517, 517, 518, 505, 505,
498, 44, 54, 82, 141, 128, 188, 0, 0, 208,
220, 261, 296, 0, 289, 327, 323, 340, 334, 339,
367, 0, 356, 334, 338, 344, 0, 330, 350, 351,
346, 346, 343, 360, 354, 360, 0, 348, 347, 376,
377, 388, 0, 377, 0, 364, 365, 0, 372, 360,
374, 368, 391, 375, 378, 0, 0, 376, 380, 399,
383, 0, 0, 367, 384, 0, 388, 374, 388, 374,
0, 380, 380, 373, 0, 379, 0, 0, 380, 381,
389, 382, 397, 390, 401, 0, 401, 407, 408, 409,
426, 392, 398, 0, 408, 417, 0, 410, 405, 400,
0, 400, 418, 0, 415, 0, 401, 398, 428, 419,
412, 407, 0, 408, 0, 0, 414, 428, 413, 424,
0, 441, 436, 437, 438, 446, 429, 426, 0, 435,
419, 0, 441, 435, 420, 0, 426, 0, 429, 0,
430, 440, 441, 444, 439, 0, 0, 452, 474, 475,
476, 468, 446, 0, 442, 463, 450, 0, 457, 458,
455, 446, 452, 464, 444, 450, 451, 478, 479, 480,
474, 0, 456, 471, 459, 461, 461, 0, 479, 468,
0, 493, 0, 475, 491, 492, 493, 494, 471, 473,
0, 0, 0, 478, 474, 479, 0, 510, 511, 512,
519, 0, 479, 480, 0, 517, 511, 512, 513, 521,
487, 0, 492, 518, 519, 520, 530, 0, 500, 0,
0, 0, 524, 508, 534, 497, 0, 0, 1063, 561
} ;
{ 0,
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
929, 1, 929, 929, 929, 929, 929, 929, 929, 929,
929, 929, 929, 929, 929, 929, 929, 929, 929, 929,
929, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 929, 929, 929, 929, 929, 929,
929, 929, 929, 929, 929, 929, 929, 929, 929, 929,
929, 929, 929, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 929, 929, 929,
929, 929, 929, 929, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 929, 929, 929, 929, 929, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 929,
929, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 930, 930,
930, 930, 930, 930, 930, 930, 930, 930, 0, 929
} ;
{ 0,
20, 21, 22, 23, 24, 25, 26, 27, 28, 29,
Christophe Geuzaine
committed
30, 31, 32, 33, 34, 35, 36, 37, 38, 39,
40, 41, 42, 43, 31, 31, 31, 31, 31, 31,
31, 31, 31, 31, 31, 31, 31, 31, 31, 44,
Christophe Geuzaine
committed
31, 31, 45, 49, 53, 51, 54, 54, 54, 54,
54, 202, 203, 55, 96, 50, 52, 56, 58, 72,
77, 78, 69, 70, 71, 166, 79, 80, 82, 81,
113, 144, 83, 167, 114, 85, 145, 86, 90, 60,
84, 87, 101, 285, 88, 98, 91, 89, 92, 93,
99, 94, 286, 209, 105, 109, 758, 95, 106, 102,
100, 210, 107, 288, 115, 211, 103, 108, 116, 110,
212, 117, 118, 224, 119, 123, 289, 120, 111, 124,
121, 188, 137, 138, 127, 759, 128, 189, 125, 129,
130, 190, 225, 131, 126, 573, 132, 133, 139, 574,
134, 135, 226, 760, 227, 136, 54, 54, 54, 54,
54, 179, 180, 236, 237, 140, 181, 250, 251, 141,
150, 151, 151, 151, 151, 151, 192, 215, 142, 304,
305, 143, 193, 216, 58, 152, 59, 59, 59, 59,
59, 255, 625, 300, 194, 150, 301, 153, 153, 761,
60, 154, 154, 154, 154, 154, 256, 271, 171, 626,
152, 172, 173, 231, 174, 175, 232, 244, 176, 762,
245, 233, 348, 272, 273, 60, 246, 410, 349, 234,
411, 235, 262, 262, 444, 445, 263, 263, 263, 263,
263, 151, 151, 151, 151, 151, 265, 265, 460, 763,
266, 266, 266, 266, 266, 264, 154, 154, 154, 154,
154, 154, 154, 154, 154, 154, 358, 315, 530, 475,
367, 531, 460, 368, 383, 476, 764, 384, 359, 613,
264, 316, 385, 369, 317, 370, 386, 614, 387, 388,
521, 522, 389, 263, 263, 263, 263, 263, 263, 263,
263, 263, 263, 390, 390, 765, 766, 391, 391, 391,
391, 391, 266, 266, 266, 266, 266, 266, 266, 266,
266, 266, 478, 391, 391, 391, 391, 391, 605, 479,
601, 632, 606, 480, 391, 391, 391, 391, 391, 580,
653, 602, 767, 768, 581, 697, 603, 769, 698, 770,
771, 772, 773, 633, 774, 632, 775, 654, 699, 776,
777, 778, 779, 700, 653, 780, 781, 782, 783, 784,
697, 785, 786, 698, 787, 788, 789, 790, 791, 792,
793, 794, 699, 795, 796, 797, 798, 700, 799, 800,
801, 802, 803, 804, 805, 806, 807, 808, 809, 810,
811, 812, 813, 814, 815, 816, 817, 818, 819, 820,
798, 821, 822, 823, 824, 825, 826, 827, 828, 829,
830, 831, 832, 833, 834, 835, 836, 837, 838, 839,
840, 841, 842, 843, 844, 845, 846, 847, 848, 849,
850, 851, 852, 853, 830, 854, 855, 856, 857, 858,
859, 860, 861, 839, 862, 863, 864, 865, 866, 867,
Christophe Geuzaine
committed
868, 869, 870, 871, 872, 873, 874, 875, 876, 877,
878, 879, 880, 881, 882, 883, 884, 885, 886, 887,
888, 889, 890, 891, 892, 893, 894, 895, 896, 897,
874, 898, 899, 900, 901, 902, 903, 904, 905, 906,
907, 908, 909, 910, 911, 912, 913, 914, 915, 916,
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
917, 918, 919, 920, 921, 922, 923, 924, 925, 926,
927, 928, 64, 755, 754, 753, 752, 751, 750, 749,
748, 747, 746, 745, 744, 743, 742, 741, 740, 739,
738, 737, 736, 735, 734, 733, 732, 731, 730, 729,
728, 727, 726, 725, 724, 723, 722, 721, 720, 719,
718, 717, 716, 715, 714, 713, 712, 711, 710, 709,
708, 707, 706, 705, 704, 703, 702, 701, 696, 695,
694, 693, 692, 691, 690, 689, 688, 687, 686, 685,
684, 683, 682, 681, 680, 679, 678, 677, 676, 675,
674, 673, 672, 671, 670, 669, 668, 667, 666, 665,
664, 663, 662, 661, 660, 659, 658, 657, 656, 655,
652, 651, 650, 649, 648, 647, 646, 645, 644, 643,
642, 641, 640, 639, 638, 637, 636, 635, 634, 631,
630, 629, 628, 627, 624, 623, 622, 621, 620, 619,
618, 617, 616, 615, 612, 611, 610, 609, 608, 607,
604, 600, 599, 598, 597, 596, 595, 594, 593, 592,
591, 590, 589, 588, 587, 586, 585, 584, 583, 582,
579, 578, 577, 576, 575, 572, 571, 570, 569, 568,
567, 566, 565, 564, 563, 562, 561, 560, 559, 558,
557, 556, 555, 554, 553, 552, 551, 550, 549, 548,
547, 546, 545, 544, 543, 542, 541, 540, 539, 538,
537, 536, 535, 534, 533, 532, 529, 528, 527, 526,
525, 524, 523, 520, 519, 518, 517, 516, 515, 514,
513, 512, 511, 510, 509, 508, 507, 506, 505, 504,
503, 502, 501, 500, 499, 498, 497, 496, 495, 494,
493, 492, 491, 490, 489, 488, 487, 486, 485, 484,
483, 482, 481, 477, 474, 473, 472, 471, 470, 469,
468, 467, 466, 465, 464, 463, 462, 461, 459, 458,
457, 456, 455, 454, 453, 452, 451, 450, 449, 448,
447, 446, 443, 442, 441, 440, 439, 438, 437, 436,
435, 434, 433, 432, 431, 430, 429, 428, 427, 426,
425, 424, 423, 422, 421, 420, 419, 418, 417, 416,
415, 414, 413, 412, 409, 408, 407, 406, 405, 404,
403, 402, 401, 400, 399, 398, 397, 396, 395, 394,
393, 392, 382, 381, 380, 379, 378, 377, 376, 375,
374, 373, 372, 371, 366, 365, 364, 363, 362, 361,
360, 357, 356, 355, 354, 353, 352, 351, 350, 347,
346, 345, 344, 343, 342, 341, 340, 339, 338, 337,
336, 335, 334, 333, 332, 331, 330, 329, 328, 327,
326, 325, 324, 323, 322, 321, 320, 319, 318, 314,
313, 312, 311, 310, 309, 308, 307, 306, 303, 302,
299, 298, 297, 296, 295, 294, 293, 292, 291, 290,
287, 284, 283, 282, 281, 280, 279, 278, 277, 276,
275, 274, 270, 269, 268, 267, 261, 260, 259, 258,
257, 254, 253, 252, 249, 248, 247, 243, 242, 241,
240, 239, 238, 230, 229, 228, 223, 222, 221, 220,
219, 218, 217, 214, 213, 208, 207, 206, 205, 204,
201, 200, 199, 198, 197, 196, 195, 191, 187, 186,
185, 184, 183, 182, 178, 177, 170, 169, 168, 165,
162, 161, 160, 159, 158, 157, 156, 155, 149, 148,
147, 146, 122, 112, 104, 63, 62, 61, 48, 47,
46, 929, 3, 929, 929, 929, 929, 929, 929, 929,
929, 929, 929, 929, 929, 929, 929, 929, 929, 929,
929, 929, 929, 929, 929, 929, 929, 929, 929, 929,
929, 929, 929, 929, 929, 929, 929, 929, 929, 929,
929, 929, 929, 929, 929, 929, 929, 929, 929, 929,
929, 929, 929, 929, 929, 929, 929, 929, 929, 929,
929, 929, 929, 929, 929, 929, 929, 929, 929, 929,
929, 929, 929, 929, 929, 929
} ;
{ 0,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
Christophe Geuzaine
committed
1, 1, 1, 12, 14, 13, 14, 14, 14, 14,
14, 99, 99, 15, 28, 12, 13, 15, 16, 23,
16, 16, 16, 16, 16, 702, 15, 22, 22, 22,
23, 28, 73, 24, 16, 703, 22, 24, 73, 23,
24, 24, 22, 22, 22, 75, 24, 24, 25, 24,
36, 42, 25, 75, 36, 26, 42, 26, 27, 16,
25, 26, 30, 171, 26, 29, 27, 26, 27, 27,
29, 27, 171, 106, 33, 34, 704, 27, 33, 30,
29, 106, 33, 173, 37, 107, 30, 33, 37, 34,
107, 37, 37, 119, 37, 39, 173, 37, 34, 39,
37, 89, 41, 41, 40, 705, 40, 89, 39, 40,
40, 89, 119, 40, 39, 483, 40, 40, 41, 483,
40, 40, 120, 706, 120, 40, 54, 54, 54, 54,
54, 82, 82, 125, 125, 41, 82, 136, 136, 41,
54, 58, 58, 58, 58, 58, 91, 110, 41, 188,
188, 41, 91, 110, 59, 58, 59, 59, 59, 59,
59, 142, 546, 185, 91, 54, 185, 60, 60, 707,
59, 60, 60, 60, 60, 60, 142, 159, 79, 546,
58, 79, 79, 124, 79, 79, 124, 132, 79, 710,
132, 124, 231, 159, 159, 59, 132, 289, 231, 124,
289, 124, 150, 150, 331, 331, 150, 150, 150, 150,
150, 151, 151, 151, 151, 151, 152, 152, 346, 711,
152, 152, 152, 152, 152, 151, 153, 153, 153, 153,
153, 154, 154, 154, 154, 154, 240, 200, 431, 364,
248, 431, 346, 248, 261, 364, 712, 261, 240, 530,
151, 200, 261, 248, 200, 248, 261, 530, 261, 261,
419, 419, 261, 262, 262, 262, 262, 262, 263, 263,
263, 263, 263, 264, 264, 713, 715, 264, 264, 264,
264, 264, 265, 265, 265, 265, 265, 266, 266, 266,
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
266, 266, 367, 390, 390, 390, 390, 390, 521, 367,
517, 554, 521, 367, 391, 391, 391, 391, 391, 490,
580, 517, 716, 717, 490, 631, 517, 718, 631, 719,
720, 721, 723, 554, 724, 554, 725, 580, 631, 726,
728, 729, 730, 631, 580, 731, 732, 733, 734, 735,
631, 736, 738, 631, 739, 740, 741, 742, 744, 746,
747, 749, 631, 750, 751, 752, 753, 631, 754, 755,
758, 759, 760, 761, 764, 765, 767, 768, 769, 770,
772, 773, 774, 776, 779, 780, 781, 782, 783, 784,
753, 785, 787, 788, 789, 790, 791, 792, 793, 795,
796, 798, 799, 800, 802, 803, 805, 807, 808, 809,
810, 811, 812, 814, 817, 818, 819, 820, 822, 823,
824, 825, 826, 827, 796, 828, 830, 831, 833, 834,
835, 837, 839, 809, 841, 842, 843, 844, 845, 848,
849, 850, 851, 852, 853, 855, 856, 857, 859, 860,
861, 862, 863, 864, 865, 866, 867, 868, 869, 870,
871, 873, 874, 875, 876, 877, 879, 880, 882, 884,
856, 885, 886, 887, 888, 889, 890, 894, 895, 896,
898, 899, 900, 901, 903, 904, 906, 907, 908, 909,
910, 911, 913, 914, 915, 916, 917, 919, 923, 924,
925, 926, 930, 701, 700, 699, 698, 697, 696, 693,
692, 691, 690, 686, 685, 682, 681, 680, 679, 677,
676, 675, 672, 671, 670, 669, 668, 667, 666, 664,
663, 662, 661, 660, 659, 658, 657, 656, 655, 654,
653, 652, 651, 650, 649, 647, 646, 645, 643, 641,
640, 639, 638, 636, 635, 634, 633, 632, 630, 629,
628, 627, 626, 625, 624, 623, 622, 621, 620, 619,
618, 617, 616, 615, 614, 613, 612, 611, 610, 608,
607, 606, 604, 603, 602, 601, 600, 599, 598, 597,
594, 593, 592, 591, 590, 589, 586, 585, 582, 581,
579, 578, 577, 576, 575, 574, 573, 572, 571, 569,
567, 564, 563, 562, 561, 559, 557, 556, 555, 553,
551, 549, 548, 547, 544, 542, 541, 540, 537, 536,
535, 534, 533, 531, 529, 528, 527, 526, 524, 522,
518, 516, 515, 514, 513, 512, 511, 510, 509, 508,
506, 505, 504, 502, 501, 498, 497, 495, 493, 491,
489, 487, 486, 485, 484, 482, 481, 480, 479, 478,
477, 475, 474, 473, 472, 471, 470, 467, 466, 465,
464, 463, 462, 461, 460, 459, 458, 456, 454, 453,
452, 450, 448, 447, 446, 445, 444, 442, 441, 440,
438, 437, 435, 434, 433, 432, 430, 428, 427, 425,
424, 423, 420, 418, 417, 416, 415, 414, 413, 412,
411, 410, 409, 408, 407, 406, 405, 404, 403, 402,
401, 399, 397, 396, 395, 394, 393, 388, 387, 385,
382, 381, 380, 379, 378, 377, 376, 373, 372, 371,
370, 369, 368, 365, 363, 362, 359, 358, 357, 356,
355, 354, 353, 352, 351, 350, 349, 348, 345, 344,
343, 342, 341, 340, 339, 338, 337, 336, 335, 334,
333, 332, 330, 327, 326, 325, 324, 323, 322, 321,
320, 317, 316, 315, 314, 313, 311, 310, 309, 308,
306, 304, 303, 302, 301, 300, 299, 297, 296, 295,
294, 293, 291, 290, 288, 287, 286, 285, 284, 283,
281, 279, 278, 277, 276, 275, 273, 272, 271, 270,
269, 267, 260, 259, 258, 257, 256, 255, 254, 253,
252, 251, 250, 249, 247, 246, 245, 244, 243, 242,
241, 239, 238, 237, 236, 235, 234, 233, 232, 230,
229, 228, 227, 226, 225, 224, 223, 222, 221, 220,
219, 218, 217, 216, 215, 214, 213, 212, 211, 210,
209, 208, 207, 206, 205, 204, 203, 202, 201, 199,
198, 196, 195, 194, 193, 192, 191, 190, 187, 186,
184, 183, 182, 181, 180, 179, 178, 176, 175, 174,
172, 170, 169, 168, 167, 166, 165, 164, 163, 162,
161, 160, 158, 157, 156, 155, 147, 146, 145, 144,
143, 141, 140, 139, 135, 134, 133, 131, 130, 129,
128, 127, 126, 123, 122, 121, 117, 116, 115, 114,
113, 112, 111, 109, 108, 105, 104, 103, 101, 100,
98, 97, 96, 95, 94, 93, 92, 90, 88, 87,
86, 85, 84, 83, 81, 80, 78, 77, 76, 74,
72, 71, 70, 69, 68, 67, 66, 65, 53, 45,
44, 43, 38, 35, 32, 21, 20, 19, 11, 9,