Google Git
Sign in
fuchsia / third_party / github.com / llvm / llvm-test-suite / 315e03c706ca8847bcc6f17f5c1a7d95d674c054 / . / MultiSource / Applications / SPASS / dfgscanner.c
blob: 2adac3afe5be1259e452ef2121562348de8b9d8e [file] [log] [blame]
#define yy_create_buffer dfg__create_buffer
#define yy_delete_buffer dfg__delete_buffer
#define yy_scan_buffer dfg__scan_buffer
#define yy_scan_string dfg__scan_string
#define yy_scan_bytes dfg__scan_bytes
#define yy_flex_debug dfg__flex_debug
#define yy_init_buffer dfg__init_buffer
#define yy_flush_buffer dfg__flush_buffer
#define yy_load_buffer_state dfg__load_buffer_state
#define yy_switch_to_buffer dfg__switch_to_buffer
#define yyin dfg_in
#define yyleng dfg_leng
#define yylex dfg_lex
#define yyout dfg_out
#define yyrestart dfg_restart
#define yytext dfg_text
#line 19 "dfgscanner.c"
/* A lexical scanner generated by flex */
/* Scanner skeleton version:
* $Header$
*/
#define FLEX_SCANNER
#define YY_FLEX_MAJOR_VERSION 2
#define YY_FLEX_MINOR_VERSION 5
#include <stdio.h>
/* cfront 1.2 defines "c_plusplus" instead of "__cplusplus" */
#ifdef c_plusplus
#ifndef __cplusplus
#define __cplusplus
#endif
#endif
#ifdef __cplusplus
#include <stdlib.h>
#include <unistd.h>
/* Use prototypes in function declarations. */
#define YY_USE_PROTOS
/* The "const" storage-class-modifier is valid. */
#define YY_USE_CONST
#else /* ! __cplusplus */
#if __STDC__
#define YY_USE_PROTOS
#define YY_USE_CONST
#endif /* __STDC__ */
#endif /* ! __cplusplus */
#ifdef __TURBOC__
#pragma warn -rch
#pragma warn -use
#include <io.h>
#include <stdlib.h>
#define YY_USE_CONST
#define YY_USE_PROTOS
#endif
#ifdef YY_USE_CONST
#define yyconst const
#else
#define yyconst
#endif
#ifdef YY_USE_PROTOS
#define YY_PROTO(proto) proto
#else
#define YY_PROTO(proto) ()
#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.
*/
#define BEGIN yy_start = 1 + 2 *
/* Translate the current start state into a value that can be later handed
* to BEGIN to return to the state. The YYSTATE alias is for lex
* compatibility.
*/
#define YY_START ((yy_start - 1) / 2)
#define YYSTATE YY_START
/* Action number for EOF rule of a given start state. */
#define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
/* Special action meaning "start processing a new file". */
#define YY_NEW_FILE yyrestart( yyin )
#define YY_END_OF_BUFFER_CHAR 0
/* Size of default input buffer. */
#define YY_BUF_SIZE 16384
typedef struct yy_buffer_state *YY_BUFFER_STATE;
extern int yyleng;
extern FILE *yyin, *yyout;
#define EOB_ACT_CONTINUE_SCAN 0
#define EOB_ACT_END_OF_FILE 1
#define EOB_ACT_LAST_MATCH 2
/* The funky do-while in the following #define is used to turn the definition
* int a single C statement (which needs a semi-colon terminator). This
* avoids problems with code like:
*
* if ( condition_holds )
* yyless( 5 );
* else
* do_something_else();
*
* Prior to using the do-while the compiler would get upset at the
* "else" because it interpreted the "if" statement as being all
* done when it reached the ';' after the yyless() call.
*/
/* Return all but the first 'n' matched characters back to the input stream. */
#define yyless(n) \
do \
{ \
/* Undo effects of setting up yytext. */ \
*yy_cp = yy_hold_char; \
YY_RESTORE_YY_MORE_OFFSET \
yy_c_buf_p = yy_cp = yy_bp + n - YY_MORE_ADJ; \
YY_DO_BEFORE_ACTION; /* set up yytext again */ \
} \
while ( 0 )
#define unput(c) yyunput( c, yytext_ptr )
/* The following is because we cannot portably get our hands on size_t
* (without autoconf's help, which isn't available because we want
* flex-generated scanners to compile on their own).
*/
typedef unsigned int yy_size_t;
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.
*/
int yy_n_chars;
/* Whether we "own" the buffer - i.e., we know we created it,
* and can realloc() it to grow it, and should free() it to
* delete it.
*/
int yy_is_our_buffer;
/* Whether this is an "interactive" input source; if so, and
* if we're using stdio for input, then we want to use getc()
* instead of fread(), to make sure we stop fetching input after
* each newline.
*/
int yy_is_interactive;
/* Whether we're considered to be at the beginning of a line.
* If so, '^' rules will be active on the next match, otherwise
* not.
*/
int yy_at_bol;
/* 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 yyrestart()), so that the user can continue scanning by
* just pointing yyin at a new input file.
*/
#define YY_BUFFER_EOF_PENDING 2
};
static YY_BUFFER_STATE yy_current_buffer = 0;
/* 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_current_buffer
/* yy_hold_char holds the character lost when yytext is formed. */
static char yy_hold_char;
static int yy_n_chars; /* number of characters read into yy_ch_buf */
int yyleng;
/* Points to current character in buffer. */
static char *yy_c_buf_p = (char *) 0;
static int yy_init = 1; /* whether we need to initialize */
static int yy_start = 0; /* start state number */
/* Flag which is used to allow yywrap()'s to do buffer switches
* instead of setting up a fresh yyin. A bit of a hack ...
*/
static int yy_did_buffer_switch_on_eof;
void yyrestart YY_PROTO(( FILE *input_file ));
void yy_switch_to_buffer YY_PROTO(( YY_BUFFER_STATE new_buffer ));
void yy_load_buffer_state YY_PROTO(( void ));
YY_BUFFER_STATE yy_create_buffer YY_PROTO(( FILE *file, int size ));
void yy_delete_buffer YY_PROTO(( YY_BUFFER_STATE b ));
void yy_init_buffer YY_PROTO(( YY_BUFFER_STATE b, FILE *file ));
void yy_flush_buffer YY_PROTO(( YY_BUFFER_STATE b ));
#define YY_FLUSH_BUFFER yy_flush_buffer( yy_current_buffer )
YY_BUFFER_STATE yy_scan_buffer YY_PROTO(( char *base, yy_size_t size ));
YY_BUFFER_STATE yy_scan_string YY_PROTO(( yyconst char *yy_str ));
YY_BUFFER_STATE yy_scan_bytes YY_PROTO(( yyconst char *bytes, int len ));
static void *yy_flex_alloc YY_PROTO(( yy_size_t ));
static void *yy_flex_realloc YY_PROTO(( void *, yy_size_t ));
static void yy_flex_free YY_PROTO(( void * ));
#define yy_new_buffer yy_create_buffer
#define yy_set_interactive(is_interactive) \
{ \
if ( ! yy_current_buffer ) \
yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \
yy_current_buffer->yy_is_interactive = is_interactive; \
}
#define yy_set_bol(at_bol) \
{ \
if ( ! yy_current_buffer ) \
yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \
yy_current_buffer->yy_at_bol = at_bol; \
}
#define YY_AT_BOL() (yy_current_buffer->yy_at_bol)
#define yywrap() 1
#define YY_SKIP_YYWRAP
typedef unsigned char YY_CHAR;
FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;
typedef int yy_state_type;
extern char *yytext;
#define yytext_ptr yytext
static yyconst short yy_nxt[][41] =
{
{
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0
},
{
5, 6, 7, 8, 9, 10, 11, 12, 13, 13,
14, 14, 14, 14, 15, 16, 17, 18, 19, 20,
21, 22, 23, 14, 14, 24, 14, 25, 26, 27,
28, 14, 29, 30, 31, 32, 14, 14, 14, 33,
6
},
{
5, 6, 7, 8, 9, 10, 11, 12, 13, 13,
14, 14, 14, 14, 15, 16, 17, 18, 19, 20,
21, 22, 23, 14, 14, 24, 14, 25, 26, 27,
28, 14, 29, 30, 31, 32, 14, 14, 14, 33,
6
},
{
5, 34, 34, 34, 34, 34, 35, 34, 34, 34,
34, 34, 34, 34, 34, 34, 34, 34, 34, 34,
34, 34, 34, 34, 34, 34, 34, 34, 34, 34,
34, 34, 34, 34, 34, 34, 34, 34, 34, 34,
34
},
{
5, 34, 34, 34, 34, 34, 35, 34, 34, 34,
34, 34, 34, 34, 34, 34, 34, 34, 34, 34,
34, 34, 34, 34, 34, 34, 34, 34, 34, 34,
34, 34, 34, 34, 34, 34, 34, 34, 34, 34,
34
},
{
-5, -5, -5, -5, -5, -5, -5, -5, -5, -5,
-5, -5, -5, -5, -5, -5, -5, -5, -5, -5,
-5, -5, -5, -5, -5, -5, -5, -5, -5, -5,
-5, -5, -5, -5, -5, -5, -5, -5, -5, -5,
-5
},
{
5, -6, -6, -6, -6, -6, -6, -6, -6, -6,
-6, -6, -6, -6, -6, -6, -6, -6, -6, -6,
-6, -6, -6, -6, -6, -6, -6, -6, -6, -6,
-6, -6, -6, -6, -6, -6, -6, -6, -6, -6,
-6
},
{
5, -7, 36, -7, -7, -7, -7, -7, -7, -7,
-7, -7, -7, -7, -7, -7, -7, -7, -7, -7,
-7, -7, -7, -7, -7, -7, -7, -7, -7, -7,
-7, -7, -7, -7, -7, -7, -7, -7, -7, -7,
-7
},
{
5, -8, -8, -8, -8, -8, -8, -8, -8, -8,
-8, -8, -8, -8, -8, -8, -8, -8, -8, -8,
-8, -8, -8, -8, -8, -8, -8, -8, -8, -8,
-8, -8, -8, -8, -8, -8, -8, -8, -8, -8,
-8
},
{
5, 37, 37, -9, 37, 37, 37, 37, 37, 37,
37, 37, 37, 37, 37, 37, 37, 37, 37, 37,
37, 37, 37, 37, 37, 37, 37, 37, 37, 37,
37, 37, 37, 37, 37, 37, 37, 37, 37, 37,
37
},
{
5, -10, -10, -10, -10, -10, -10, -10, -10, -10,
-10, -10, -10, -10, -10, -10, -10, -10, -10, -10,
-10, -10, -10, -10, -10, -10, -10, -10, -10, -10,
-10, -10, -10, -10, -10, -10, -10, -10, -10, -10,
-10
},
{
5, -11, -11, -11, -11, -11, -11, -11, -11, -11,
-11, -11, -11, -11, -11, -11, -11, -11, -11, -11,
-11, -11, -11, -11, -11, -11, -11, -11, -11, -11,
-11, -11, -11, -11, -11, -11, -11, -11, -11, -11,
38
},
{
5, -12, -12, -12, -12, -12, -12, -12, -12, 39,
-12, -12, -12, -12, -12, -12, -12, -12, -12, -12,
-12, -12, -12, -12, -12, -12, -12, -12, -12, -12,
-12, -12, -12, -12, -12, -12, -12, -12, -12, -12,
-12
},
{
5, -13, -13, -13, -13, -13, -13, -13, 40, 40,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -13,
-13
},
{
5, -14, -14, -14, -14, -14, -14, -14, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -14,
-14
},
{
5, -15, -15, -15, -15, -15, -15, -15, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 42, 41, 41,
41, 41, 41, 41, 43, 41, 41, 44, 41, -15,
-15
},
{
5, -16, -16, -16, -16, -16, -16, -16, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 45, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 46, -16,
-16
},
{
5, -17, -17, -17, -17, -17, -17, -17, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 47, 41, 48, 49, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -17,
-17
},
{
5, -18, -18, -18, -18, -18, -18, -18, 41, 41,
41, 41, 41, 41, 50, 41, 41, 41, 51, 41,
41, 41, 41, 41, 41, 41, 41, 52, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -18,
-18
},
{
5, -19, -19, -19, -19, -19, -19, -19, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 53, 41, 41,
54, 41, 41, 41, 41, 41, 41, 55, 41, -19,
-19
},
{
5, -20, -20, -20, -20, -20, -20, -20, 41, 41,
41, 41, 41, 41, 56, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 57, 41,
41, 58, 41, 41, 59, 41, 41, 41, 41, -20,
-20
},
{
5, -21, -21, -21, -21, -21, -21, -21, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 60, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -21,
-21
},
{
5, -22, -22, -22, -22, -22, -22, -22, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 61, -22,
-22
},
{
5, -23, -23, -23, -23, -23, -23, -23, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 62, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -23,
-23
},
{
5, -24, -24, -24, -24, -24, -24, -24, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 63, 41, 41, 41, 41, 41, 64, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -24,
-24
},
{
5, -25, -25, -25, -25, -25, -25, -25, 41, 41,
41, 41, 41, 41, 65, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 66, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -25,
-25
},
{
5, -26, -26, -26, -26, -26, -26, -26, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 67,
41, 68, 41, 41, 41, 41, 41, 41, 41, -26,
-26
},
{
5, -27, -27, -27, -27, -27, -27, -27, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 69, 41, 41, 41, 41, 41, 41, 41, -27,
-27
},
{
5, -28, -28, -28, -28, -28, -28, -28, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 70, 41, 41, 41, 41, -28,
-28
},
{
5, -29, -29, -29, -29, -29, -29, -29, 41, 41,
41, 41, 41, 41, 71, 41, 41, 41, 72, 41,
41, 41, 41, 41, 41, 41, 41, 41, 73, 41,
41, 41, 41, 74, 75, 41, 41, 41, 41, -29,
-29
},
{
5, -30, -30, -30, -30, -30, -30, -30, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 76, 41, 41, 41, 41, 41, 41, 41, -30,
-30
},
{
5, -31, -31, -31, -31, -31, -31, -31, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 77, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -31,
-31
},
{
5, -32, -32, -32, -32, -32, -32, -32, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 78, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -32,
-32
},
{
5, -33, -33, -33, -33, -33, 79, -33, -33, -33,
-33, -33, -33, -33, -33, -33, -33, -33, -33, -33,
-33, -33, -33, -33, -33, -33, -33, -33, -33, -33,
-33, -33, -33, -33, -33, -33, -33, -33, -33, -33,
-33
},
{
5, 80, 80, 80, 80, 80, -34, 80, 80, 80,
80, 80, 80, 80, 80, 80, 80, 80, 80, 80,
80, 80, 80, 80, 80, 80, 80, 80, 80, 80,
80, 80, 80, 80, 80, 80, 80, 80, 80, 80,
80
},
{
5, 81, 81, 81, 81, 81, 82, 81, 81, 81,
81, 81, 81, 81, 81, 81, 81, 81, 81, 81,
81, 81, 81, 81, 81, 81, 81, 81, 81, 81,
81, 81, 81, 81, 81, 81, 81, 81, 81, 81,
83
},
{
5, -36, 36, -36, -36, -36, -36, -36, -36, -36,
-36, -36, -36, -36, -36, -36, -36, -36, -36, -36,
-36, -36, -36, -36, -36, -36, -36, -36, -36, -36,
-36, -36, -36, -36, -36, -36, -36, -36, -36, -36,
-36
},
{
5, 37, 37, -37, 37, 37, 37, 37, 37, 37,
37, 37, 37, 37, 37, 37, 37, 37, 37, 37,
37, 37, 37, 37, 37, 37, 37, 37, 37, 37,
37, 37, 37, 37, 37, 37, 37, 37, 37, 37,
37
},
{
5, -38, -38, -38, -38, -38, -38, -38, -38, -38,
-38, -38, -38, -38, -38, -38, -38, -38, -38, -38,
-38, -38, -38, -38, -38, -38, -38, -38, -38, -38,
-38, -38, -38, -38, -38, -38, -38, -38, -38, -38,
-38
},
{
5, -39, -39, -39, -39, -39, -39, -39, -39, -39,
-39, -39, -39, -39, -39, -39, -39, -39, -39, -39,
-39, -39, -39, -39, -39, -39, -39, -39, -39, -39,
-39, -39, -39, -39, -39, -39, -39, -39, -39, -39,
-39
},
{
5, -40, -40, -40, -40, -40, -40, -40, 40, 40,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -40,
-40
},
{
5, -41, -41, -41, -41, -41, -41, -41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -41,
-41
},
{
5, -42, -42, -42, -42, -42, -42, -42, 41, 41,
41, 41, 41, 41, 41, 41, 41, 84, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -42,
-42
},
{
5, -43, -43, -43, -43, -43, -43, -43, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 85, 41, 41, 41, 41, 41, -43,
-43
},
{
5, -44, -44, -44, -44, -44, -44, -44, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 86, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -44,
-44
},
{
5, -45, -45, -45, -45, -45, -45, -45, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
87, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -45,
-45
},
{
5, -46, -46, -46, -46, -46, -46, -46, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -46,
-46
},
{
5, -47, -47, -47, -47, -47, -47, -47, 41, 41,
41, 41, 41, 41, 88, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -47,
-47
},
{
5, -48, -48, -48, -48, -48, -48, -48, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 89,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -48,
-48
},
{
5, -49, -49, -49, -49, -49, -49, -49, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 90, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -49,
-49
},
{
5, -50, -50, -50, -50, -50, -50, -50, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 91, 41, 41, 41, 41, 41, -50,
-50
},
{
5, -51, -51, -51, -51, -51, -51, -51, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 92, 41, 41, 41, 41, 41, 41, -51,
-51
},
{
5, -52, -52, -52, -52, -52, -52, -52, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 93,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -52,
-52
},
{
5, -53, -53, -53, -53, -53, -53, -53, 41, 41,
41, 41, 41, 41, 41, 41, 41, 94, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -53,
-53
},
{
5, -54, -54, -54, -54, -54, -54, -54, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 95, 41, 41, 41, 41, -54,
-54
},
{
5, -55, -55, -55, -55, -55, -55, -55, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 96, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -55,
-55
},
{
5, -56, -56, -56, -56, -56, -56, -56, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 97, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -56,
-56
},
{
5, -57, -57, -57, -57, -57, -57, -57, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 98, 41, 41, 41, 41, 41, 41, 41, -57,
-57
},
{
5, -58, -58, -58, -58, -58, -58, -58, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 99, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -58,
-58
},
{
5, -59, -59, -59, -59, -59, -59, -59, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 100, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -59,
-59
},
{
5, -60, -60, -60, -60, -60, -60, -60, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 101, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -60,
-60
},
{
5, -61, -61, -61, -61, -61, -61, -61, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 102,
41, 41, 41, 41, 41, 41, 41, 41, 41, -61,
-61
},
{
5, -62, -62, -62, -62, -62, -62, -62, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 103,
41, 41, 41, 41, 41, 41, 41, 41, 41, -62,
-62
},
{
5, -63, -63, -63, -63, -63, -63, -63, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 104, 41, 41, 41, 41, 41, 41, -63,
-63
},
{
5, -64, -64, -64, -64, -64, -64, -64, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
105, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -64,
-64
},
{
5, -65, -65, -65, -65, -65, -65, -65, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 106, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -65,
-65
},
{
5, -66, -66, -66, -66, -66, -66, -66, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 107, 41, 41, 41, 41, 41, -66,
-66
},
{
5, -67, -67, -67, -67, -67, -67, -67, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 108, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -67,
-67
},
{
5, -68, -68, -68, -68, -68, -68, -68, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -68,
-68
},
{
5, -69, -69, -69, -69, -69, -69, -69, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 109, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -69,
-69
},
{
5, -70, -70, -70, -70, -70, -70, -70, 41, 41,
41, 41, 41, 41, 110, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -70,
-70
},
{
5, -71, -71, -71, -71, -71, -71, -71, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 111, 41, 41, 41, 41, 41, -71,
-71
},
{
5, -72, -72, -72, -72, -72, -72, -72, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 112, 41, 41, 41, 41, 41, -72,
-72
},
{
5, -73, -73, -73, -73, -73, -73, -73, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 113, 41, 41, 41, 41, 41, 41, 41, -73,
-73
},
{
5, -74, -74, -74, -74, -74, -74, -74, 41, 41,
41, 41, 41, 41, 114, 41, 41, 41, 115, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -74,
-74
},
{
5, -75, -75, -75, -75, -75, -75, -75, 41, 41,
41, 41, 41, 41, 41, 116, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -75,
-75
},
{
5, -76, -76, -76, -76, -76, -76, -76, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 117, 41, 41, 41, 41, -76,
-76
},
{
5, -77, -77, -77, -77, -77, -77, -77, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 118, 41, 41, 41, 41, 41,
41, 41, 119, 41, 41, 41, 41, 41, 41, -77,
-77
},
{
5, -78, -78, -78, -78, -78, -78, -78, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 120, 41, 41, 41, 41, 41, 41, 41, -78,
-78
},
{
5, -79, -79, -79, -79, -79, -79, -79, -79, -79,
-79, -79, -79, -79, -79, -79, -79, -79, -79, -79,
-79, -79, -79, -79, -79, -79, -79, -79, -79, -79,
-79, -79, -79, -79, -79, -79, -79, -79, -79, -79,
-79
},
{
5, 80, 80, 80, 80, 80, -80, 80, 80, 80,
80, 80, 80, 80, 80, 80, 80, 80, 80, 80,
80, 80, 80, 80, 80, 80, 80, 80, 80, 80,
80, 80, 80, 80, 80, 80, 80, 80, 80, 80,
80
},
{
5, 81, 81, 81, 81, 81, -81, 81, 81, 81,
81, 81, 81, 81, 81, 81, 81, 81, 81, 81,
81, 81, 81, 81, 81, 81, 81, 81, 81, 81,
81, 81, 81, 81, 81, 81, 81, 81, 81, 81,
-81
},
{
5, 81, 81, 81, 81, 81, 82, 81, 81, 81,
81, 81, 81, 81, 81, 81, 81, 81, 81, 81,
81, 81, 81, 81, 81, 81, 81, 81, 81, 81,
81, 81, 81, 81, 81, 81, 81, 81, 81, 81,
83
},
{
5, -83, -83, -83, -83, -83, -83, -83, -83, -83,
-83, -83, -83, -83, -83, -83, -83, -83, -83, -83,
-83, -83, -83, -83, -83, -83, -83, -83, -83, -83,
-83, -83, -83, -83, -83, -83, -83, -83, -83, -83,
-83
},
{
5, -84, -84, -84, -84, -84, -84, -84, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -84,
-84
},
{
5, -85, -85, -85, -85, -85, -85, -85, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 121, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -85,
-85
},
{
5, -86, -86, -86, -86, -86, -86, -86, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 122, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -86,
-86
},
{
5, -87, -87, -87, -87, -87, -87, -87, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 123, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -87,
-87
},
{
5, -88, -88, -88, -88, -88, -88, -88, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 124, 41, 41, 41, 41, -88,
-88
},
{
5, -89, -89, -89, -89, -89, -89, -89, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -89,
-89
},
{
5, -90, -90, -90, -90, -90, -90, -90, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 125, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -90,
-90
},
{
5, -91, -91, -91, -91, -91, -91, -91, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 126, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -91,
-91
},
{
5, -92, -92, -92, -92, -92, -92, -92, 41, 41,
41, 41, 41, 41, 41, 41, 127, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -92,
-92
},
{
5, -93, -93, -93, -93, -93, -93, -93, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -93,
-93
},
{
5, -94, -94, -94, -94, -94, -94, -94, 41, 41,
41, 41, 41, 128, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -94,
-94
},
{
5, -95, -95, -95, -95, -95, -95, -95, 41, 41,
41, 41, 41, 41, 129, 41, 41, 41, 41, 41,
41, 41, 130, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -95,
-95
},
{
5, -96, -96, -96, -96, -96, -96, -96, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 131, 41, 41, 41, 41, 41, 41, -96,
-96
},
{
5, -97, -97, -97, -97, -97, -97, -97, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 132, 41, 41, 41, 41, 41, 41, -97,
-97
},
{
5, -98, -98, -98, -98, -98, -98, -98, 41, 41,
41, 41, 41, 41, 133, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 134, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -98,
-98
},
{
5, -99, -99, -99, -99, -99, -99, -99, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 135, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -99,
-99
},
{
5, -100, -100, -100, -100, -100, -100, -100, 41, 41,
41, 41, 41, 41, 41, 41, 136, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -100,
-100
},
{
5, -101, -101, -101, -101, -101, -101, -101, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 137, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -101,
-101
},
{
5, -102, -102, -102, -102, -102, -102, -102, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 138, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -102,
-102
},
{
5, -103, -103, -103, -103, -103, -103, -103, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 139, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -103,
-103
},
{
5, -104, -104, -104, -104, -104, -104, -104, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 140, 41, 41, 41, 41, 41, -104,
-104
},
{
5, -105, -105, -105, -105, -105, -105, -105, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 141, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -105,
-105
},
{
5, -106, -106, -106, -106, -106, -106, -106, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 142, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -106,
-106
},
{
5, -107, -107, -107, -107, -107, -107, -107, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -107,
-107
},
{
5, -108, -108, -108, -108, -108, -108, -108, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 143, 41, 41, 41, 41, 41, 41, 41, -108,
-108
},
{
5, -109, -109, -109, -109, -109, -109, -109, 41, 41,
41, 41, 41, 41, 41, 41, 41, 144, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -109,
-109
},
{
5, -110, -110, -110, -110, -110, -110, -110, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 145, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -110,
-110
},
{
5, -111, -111, -111, -111, -111, -111, -111, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 146, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -111,
-111
},
{
5, -112, -112, -112, -112, -112, -112, -112, 41, 41,
41, 41, 41, 147, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -112,
-112
},
{
5, -113, -113, -113, -113, -113, -113, -113, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 148, 41, 41, 41, 41, 41, -113,
-113
},
{
5, -114, -114, -114, -114, -114, -114, -114, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 149, 41, 41, 41, 41, 41, -114,
-114
},
{
5, -115, -115, -115, -115, -115, -115, -115, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 150,
41, 41, 41, 41, 41, 41, 41, 41, 41, -115,
-115
},
{
5, -116, -116, -116, -116, -116, -116, -116, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 151, 41, 41, 41, 41, 41, 41, -116,
-116
},
{
5, -117, -117, -117, -117, -117, -117, -117, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 152, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -117,
-117
},
{
5, -118, -118, -118, -118, -118, -118, -118, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 153, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -118,
-118
},
{
5, -119, -119, -119, -119, -119, -119, -119, 41, 41,
41, 41, 41, 41, 154, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -119,
-119
},
{
5, -120, -120, -120, -120, -120, -120, -120, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 155, 41, 41, 41, 41, 41, 41, -120,
-120
},
{
5, -121, -121, -121, -121, -121, -121, -121, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 156, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -121,
-121
},
{
5, -122, -122, -122, -122, -122, -122, -122, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 157, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -122,
-122
},
{
5, -123, -123, -123, -123, -123, -123, -123, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 158, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -123,
-123
},
{
5, -124, -124, -124, -124, -124, -124, -124, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 159, 41, 41, 41, 41, 41, 41, -124,
-124
},
{
5, -125, -125, -125, -125, -125, -125, -125, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 160, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -125,
-125
},
{
5, -126, -126, -126, -126, -126, -126, -126, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -126,
-126
},
{
5, -127, -127, -127, -127, -127, -127, -127, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 161, 41, 41, 41, 41, 41, 41, 41, -127,
-127
},
{
5, -128, -128, -128, -128, -128, -128, -128, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 162, 163,
41, 41, 41, 41, 41, 41, 41, 41, 41, -128,
-128
},
{
5, -129, -129, -129, -129, -129, -129, -129, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 164, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -129,
-129
},
{
5, -130, -130, -130, -130, -130, -130, -130, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 165, 41, 41, 41, -130,
-130
},
{
5, -131, -131, -131, -131, -131, -131, -131, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 166, 41, 41, 41, 41, 41, -131,
-131
},
{
5, -132, -132, -132, -132, -132, -132, -132, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 167, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -132,
-132
},
{
5, -133, -133, -133, -133, -133, -133, -133, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 168, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -133,
-133
},
{
5, -134, -134, -134, -134, -134, -134, -134, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 169, 41, 41, 41, 41, -134,
-134
},
{
5, -135, -135, -135, -135, -135, -135, -135, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 170, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -135,
-135
},
{
5, -136, -136, -136, -136, -136, -136, -136, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 171, 41, 41, 41, 41, 41, -136,
-136
},
{
5, -137, -137, -137, -137, -137, -137, -137, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 172, 41, 41, 41, 41, 41, 41, 41, -137,
-137
},
{
5, -138, -138, -138, -138, -138, -138, -138, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 173, 41, 41, 41, 41, 41, -138,
-138
},
{
5, -139, -139, -139, -139, -139, -139, -139, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 174, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -139,
-139
},
{
5, -140, -140, -140, -140, -140, -140, -140, 41, 41,
41, 41, 41, 175, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -140,
-140
},
{
5, -141, -141, -141, -141, -141, -141, -141, 41, 41,
41, 41, 41, 41, 41, 41, 176, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -141,
-141
},
{
5, -142, -142, -142, -142, -142, -142, -142, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -142,
-142
},
{
5, -143, -143, -143, -143, -143, -143, -143, 41, 41,
41, 41, 41, 41, 177, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -143,
-143
},
{
5, -144, -144, -144, -144, -144, -144, -144, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 178, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -144,
-144
},
{
5, -145, -145, -145, -145, -145, -145, -145, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 179, 41, 41, 41, 41, 41, -145,
-145
},
{
5, -146, -146, -146, -146, -146, -146, -146, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 180, 41, 41, 41, 41, 41, 41, -146,
-146
},
{
5, -147, -147, -147, -147, -147, -147, -147, 41, 41,
41, 181, 41, 41, 41, 41, 41, 41, 41, 182,
41, 41, 41, 41, 41, 41, 41, 41, 41, 183,
41, 41, 41, 41, 41, 41, 41, 41, 41, -147,
-147
},
{
5, -148, -148, -148, -148, -148, -148, -148, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 184, 41, 41, 41, 41, 41, 41, -148,
-148
},
{
5, -149, -149, -149, -149, -149, -149, -149, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 185, 41, 41, 41, 41, -149,
-149
},
{
5, -150, -150, -150, -150, -150, -150, -150, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -150,
-150
},
{
5, -151, -151, -151, -151, -151, -151, -151, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 186, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -151,
-151
},
{
5, -152, -152, -152, -152, -152, -152, -152, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -152,
-152
},
{
5, -153, -153, -153, -153, -153, -153, -153, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 187, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -153,
-153
},
{
5, -154, -154, -154, -154, -154, -154, -154, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 188, 41, 41, 41, 41, 41, -154,
-154
},
{
5, -155, -155, -155, -155, -155, -155, -155, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 189, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -155,
-155
},
{
5, -156, -156, -156, -156, -156, -156, -156, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 190, 41, 41, 41, 41, 41, 41, 41, -156,
-156
},
{
5, -157, -157, -157, -157, -157, -157, -157, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 191, 41, 41, 41, 41, 41, 41, -157,
-157
},
{
5, -158, -158, -158, -158, -158, -158, -158, 41, 41,
41, 41, 41, 192, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -158,
-158
},
{
5, -159, -159, -159, -159, -159, -159, -159, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 193, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -159,
-159
},
{
5, -160, -160, -160, -160, -160, -160, -160, 41, 41,
41, 41, 41, 41, 41, 41, 194, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -160,
-160
},
{
5, -161, -161, -161, -161, -161, -161, -161, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 195, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -161,
-161
},
{
5, -162, -162, -162, -162, -162, -162, -162, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 196,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -162,
-162
},
{
5, -163, -163, -163, -163, -163, -163, -163, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 197, 41, 41, 41, 41, 41, 41, 41, -163,
-163
},
{
5, -164, -164, -164, -164, -164, -164, -164, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -164,
-164
},
{
5, -165, -165, -165, -165, -165, -165, -165, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -165,
-165
},
{
5, -166, -166, -166, -166, -166, -166, -166, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 198, 41, 41, 41, 41, 41, 41, -166,
-166
},
{
5, -167, -167, -167, -167, -167, -167, -167, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -167,
-167
},
{
5, -168, -168, -168, -168, -168, -168, -168, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 199, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -168,
-168
},
{
5, -169, -169, -169, -169, -169, -169, -169, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 200, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -169,
-169
},
{
5, -170, -170, -170, -170, -170, -170, -170, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 201, -170,
-170
},
{
5, -171, -171, -171, -171, -171, -171, -171, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 202, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -171,
-171
},
{
5, -172, -172, -172, -172, -172, -172, -172, 41, 41,
41, 41, 41, 41, 203, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -172,
-172
},
{
5, -173, -173, -173, -173, -173, -173, -173, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 204, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -173,
-173
},
{
5, -174, -174, -174, -174, -174, -174, -174, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 205, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -174,
-174
},
{
5, -175, -175, -175, -175, -175, -175, -175, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 206, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -175,
-175
},
{
5, -176, -176, -176, -176, -176, -176, -176, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -176,
-176
},
{
5, -177, -177, -177, -177, -177, -177, -177, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 207, 41, 41, 41, 41, 41, -177,
-177
},
{
5, -178, -178, -178, -178, -178, -178, -178, 41, 41,
41, 41, 41, 41, 41, 41, 208, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -178,
-178
},
{
5, -179, -179, -179, -179, -179, -179, -179, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 209, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -179,
-179
},
{
5, -180, -180, -180, -180, -180, -180, -180, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 210,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -180,
-180
},
{
5, -181, -181, -181, -181, -181, -181, -181, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 211, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -181,
-181
},
{
5, -182, -182, -182, -182, -182, -182, -182, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 212, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -182,
-182
},
{
5, -183, -183, -183, -183, -183, -183, -183, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 213, 41, 41, 41, 41, 41, 41, 41, -183,
-183
},
{
5, -184, -184, -184, -184, -184, -184, -184, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -184,
-184
},
{
5, -185, -185, -185, -185, -185, -185, -185, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 214, 41, 41, 41, 41, 41, 41, -185,
-185
},
{
5, -186, -186, -186, -186, -186, -186, -186, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 215, 41, 41, 41, 41, 41, 41, 41, -186,
-186
},
{
5, -187, -187, -187, -187, -187, -187, -187, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 216, 41, 41, -187,
-187
},
{
5, -188, -188, -188, -188, -188, -188, -188, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 217, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -188,
-188
},
{
5, -189, -189, -189, -189, -189, -189, -189, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 218, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -189,
-189
},
{
5, -190, -190, -190, -190, -190, -190, -190, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -190,
-190
},
{
5, -191, -191, -191, -191, -191, -191, -191, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -191,
-191
},
{
5, -192, -192, -192, -192, -192, -192, -192, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 219,
41, 41, 41, 41, 41, 41, 41, 41, 41, -192,
-192
},
{
5, -193, -193, -193, -193, -193, -193, -193, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -193,
-193
},
{
5, -194, -194, -194, -194, -194, -194, -194, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 220, 41, 41, 41, 41, 41, -194,
-194
},
{
5, -195, -195, -195, -195, -195, -195, -195, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 221,
41, 41, 41, 41, 41, 41, 41, 41, 41, -195,
-195
},
{
5, -196, -196, -196, -196, -196, -196, -196, 41, 41,
41, 41, 41, 222, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -196,
-196
},
{
5, -197, -197, -197, -197, -197, -197, -197, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 223, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -197,
-197
},
{
5, -198, -198, -198, -198, -198, -198, -198, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -198,
-198
},
{
5, -199, -199, -199, -199, -199, -199, -199, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -199,
-199
},
{
5, -200, -200, -200, -200, -200, -200, -200, 41, 41,
41, 41, 41, 41, 224, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -200,
-200
},
{
5, -201, -201, -201, -201, -201, -201, -201, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -201,
-201
},
{
5, -202, -202, -202, -202, -202, -202, -202, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 225, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -202,
-202
},
{
5, -203, -203, -203, -203, -203, -203, -203, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 226, 41, 41, 41, 41, 41, -203,
-203
},
{
5, -204, -204, -204, -204, -204, -204, -204, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 227, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -204,
-204
},
{
5, -205, -205, -205, -205, -205, -205, -205, 41, 41,
41, 41, 41, 41, 41, 41, 41, 228, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 229, 41, 41, 41, 41, 41, 41, -205,
-205
},
{
5, -206, -206, -206, -206, -206, -206, -206, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 230,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -206,
-206
},
{
5, -207, -207, -207, -207, -207, -207, -207, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 231, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -207,
-207
},
{
5, -208, -208, -208, -208, -208, -208, -208, 41, 41,
41, 41, 41, 41, 232, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -208,
-208
},
{
5, -209, -209, -209, -209, -209, -209, -209, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 233,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -209,
-209
},
{
5, -210, -210, -210, -210, -210, -210, -210, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 234, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -210,
-210
},
{
5, -211, -211, -211, -211, -211, -211, -211, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 235, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -211,
-211
},
{
5, -212, -212, -212, -212, -212, -212, -212, 41, 41,
41, 41, 41, 41, 236, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -212,
-212
},
{
5, -213, -213, -213, -213, -213, -213, -213, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 237, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -213,
-213
},
{
5, -214, -214, -214, -214, -214, -214, -214, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -214,
-214
},
{
5, -215, -215, -215, -215, -215, -215, -215, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 238, 41, 41, 41, 41, 41, -215,
-215
},
{
5, -216, -216, -216, -216, -216, -216, -216, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 239, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -216,
-216
},
{
5, -217, -217, -217, -217, -217, -217, -217, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 240, 41, 41, 41, 41, 41, 41, -217,
-217
},
{
5, -218, -218, -218, -218, -218, -218, -218, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 241, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -218,
-218
},
{
5, -219, -219, -219, -219, -219, -219, -219, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 242, 41, 41, 41, 41, 41, 41, 41, -219,
-219
},
{
5, -220, -220, -220, -220, -220, -220, -220, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 243, 41, 41, 41, 41, -220,
-220
},
{
5, -221, -221, -221, -221, -221, -221, -221, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 244, 41, 41, 41, 41, 41, -221,
-221
},
{
5, -222, -222, -222, -222, -222, -222, -222, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 245, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -222,
-222
},
{
5, -223, -223, -223, -223, -223, -223, -223, 41, 41,
41, 41, 41, 41, 41, 246, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -223,
-223
},
{
5, -224, -224, -224, -224, -224, -224, -224, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -224,
-224
},
{
5, -225, -225, -225, -225, -225, -225, -225, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 247, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -225,
-225
},
{
5, -226, -226, -226, -226, -226, -226, -226, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 248, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -226,
-226
},
{
5, -227, -227, -227, -227, -227, -227, -227, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 249, 41, 41, 41, 41, 41, 41, -227,
-227
},
{
5, -228, -228, -228, -228, -228, -228, -228, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -228,
-228
},
{
5, -229, -229, -229, -229, -229, -229, -229, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -229,
-229
},
{
5, -230, -230, -230, -230, -230, -230, -230, 41, 41,
41, 41, 41, 250, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -230,
-230
},
{
5, -231, -231, -231, -231, -231, -231, -231, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 251, 41, 41, 41, 41, 41, 41, 41, -231,
-231
},
{
5, -232, -232, -232, -232, -232, -232, -232, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 252, 41, 41, 41, 41, 41, -232,
-232
},
{
5, -233, -233, -233, -233, -233, -233, -233, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 253, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -233,
-233
},
{
5, -234, -234, -234, -234, -234, -234, -234, 41, 41,
41, 41, 41, 41, 254, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -234,
-234
},
{
5, -235, -235, -235, -235, -235, -235, -235, 41, 41,
41, 41, 255, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -235,
-235
},
{
5, -236, -236, -236, -236, -236, -236, -236, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
256, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -236,
-236
},
{
5, -237, -237, -237, -237, -237, -237, -237, 41, 41,
41, 41, 41, 41, 41, 41, 257, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -237,
-237
},
{
5, -238, -238, -238, -238, -238, -238, -238, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -238,
-238
},
{
5, -239, -239, -239, -239, -239, -239, -239, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -239,
-239
},
{
5, -240, -240, -240, -240, -240, -240, -240, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 258,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -240,
-240
},
{
5, -241, -241, -241, -241, -241, -241, -241, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -241,
-241
},
{
5, -242, -242, -242, -242, -242, -242, -242, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 259, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -242,
-242
},
{
5, -243, -243, -243, -243, -243, -243, -243, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 260, 41, 41, 41, 41, 41, 41, 41, -243,
-243
},
{
5, -244, -244, -244, -244, -244, -244, -244, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 261, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -244,
-244
},
{
5, -245, -245, -245, -245, -245, -245, -245, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 262, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -245,
-245
},
{
5, -246, -246, -246, -246, -246, -246, -246, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 263, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -246,
-246
},
{
5, -247, -247, -247, -247, -247, -247, -247, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 264, 41, 41, 41, 41, 41, 41, -247,
-247
},
{
5, -248, -248, -248, -248, -248, -248, -248, 41, 41,
41, 41, 41, 41, 41, 41, 41, 265, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -248,
-248
},
{
5, -249, -249, -249, -249, -249, -249, -249, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 266, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -249,
-249
},
{
5, -250, -250, -250, -250, -250, -250, -250, 41, 41,
41, 41, 41, 41, 41, 41, 267, 268, 41, 269,
270, 41, 41, 41, 41, 41, 41, 41, 41, 271,
41, 41, 272, 273, 41, 41, 41, 41, 41, -250,
-250
},
{
5, -251, -251, -251, -251, -251, -251, -251, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 274, 41, 41, 41, 41, 41, 41, -251,
-251
},
{
5, -252, -252, -252, -252, -252, -252, -252, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 275, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -252,
-252
},
{
5, -253, -253, -253, -253, -253, -253, -253, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 276, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -253,
-253
},
{
5, -254, -254, -254, -254, -254, -254, -254, 41, 41,
41, 41, 41, 41, 41, 277, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -254,
-254
},
{
5, -255, -255, -255, -255, -255, -255, -255, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 278, 41, 41, 41, 41, 41, 41, 41, -255,
-255
},
{
5, -256, -256, -256, -256, -256, -256, -256, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -256,
-256
},
{
5, -257, -257, -257, -257, -257, -257, -257, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 279, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -257,
-257
},
{
5, -258, -258, -258, -258, -258, -258, -258, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 280, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -258,
-258
},
{
5, -259, -259, -259, -259, -259, -259, -259, 41, 41,
41, 41, 41, 41, 41, 281, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -259,
-259
},
{
5, -260, -260, -260, -260, -260, -260, -260, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 282, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -260,
-260
},
{
5, -261, -261, -261, -261, -261, -261, -261, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 283, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -261,
-261
},
{
5, -262, -262, -262, -262, -262, -262, -262, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 284, 41, 41, 41, 41, 41, 41, -262,
-262
},
{
5, -263, -263, -263, -263, -263, -263, -263, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 285, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -263,
-263
},
{
5, -264, -264, -264, -264, -264, -264, -264, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -264,
-264
},
{
5, -265, -265, -265, -265, -265, -265, -265, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -265,
-265
},
{
5, -266, -266, -266, -266, -266, -266, -266, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 286, 41, 41, 41, 41, 41, 41, -266,
-266
},
{
5, -267, -267, -267, -267, -267, -267, -267, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 287, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -267,
-267
},
{
5, -268, -268, -268, -268, -268, -268, -268, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 288, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -268,
-268
},
{
5, -269, -269, -269, -269, -269, -269, -269, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 289, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -269,
-269
},
{
5, -270, -270, -270, -270, -270, -270, -270, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 290, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -270,
-270
},
{
5, -271, -271, -271, -271, -271, -271, -271, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 291, 41, 41, 41, 41, 41, 41, 41, -271,
-271
},
{
5, -272, -272, -272, -272, -272, -272, -272, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 292, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 293, -272,
-272
},
{
5, -273, -273, -273, -273, -273, -273, -273, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 294, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -273,
-273
},
{
5, -274, -274, -274, -274, -274, -274, -274, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -274,
-274
},
{
5, -275, -275, -275, -275, -275, -275, -275, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 295, 41, 41, 41, 41, 41, 41, -275,
-275
},
{
5, -276, -276, -276, -276, -276, -276, -276, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 296, 41, 41, 41, 41, 41, 41, 41, -276,
-276
},
{
5, -277, -277, -277, -277, -277, -277, -277, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 297, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -277,
-277
},
{
5, -278, -278, -278, -278, -278, -278, -278, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 298, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -278,
-278
},
{
5, -279, -279, -279, -279, -279, -279, -279, 41, 41,
41, 41, 41, 41, 41, 41, 41, 299, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -279,
-279
},
{
5, -280, -280, -280, -280, -280, -280, -280, 41, 41,
41, 41, 41, 41, 300, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -280,
-280
},
{
5, -281, -281, -281, -281, -281, -281, -281, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 301, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -281,
-281
},
{
5, -282, -282, -282, -282, -282, -282, -282, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 302, 41, 41, 41, 41, 41, 41, -282,
-282
},
{
5, -283, -283, -283, -283, -283, -283, -283, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 303, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -283,
-283
},
{
5, -284, -284, -284, -284, -284, -284, -284, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 304, 41, 41, 41, 41, 41, -284,
-284
},
{
5, -285, -285, -285, -285, -285, -285, -285, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 305, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -285,
-285
},
{
5, -286, -286, -286, -286, -286, -286, -286, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -286,
-286
},
{
5, -287, -287, -287, -287, -287, -287, -287, 41, 41,
41, 41, 41, 41, 306, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -287,
-287
},
{
5, -288, -288, -288, -288, -288, -288, -288, 41, 41,
41, 41, 41, 41, 41, 41, 307, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 308, 41, 41, 41, 41, 41, 41, -288,
-288
},
{
5, -289, -289, -289, -289, -289, -289, -289, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 309, 41, 41, 41, 41, 41, 41, 41, -289,
-289
},
{
5, -290, -290, -290, -290, -290, -290, -290, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 310, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -290,
-290
},
{
5, -291, -291, -291, -291, -291, -291, -291, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 311, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -291,
-291
},
{
5, -292, -292, -292, -292, -292, -292, -292, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 312, 41, 41, 41, 41, 41, -292,
-292
},
{
5, -293, -293, -293, -293, -293, -293, -293, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 313, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -293,
-293
},
{
5, -294, -294, -294, -294, -294, -294, -294, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 314, 41, 41, 41, 41, 41, 41, 41, -294,
-294
},
{
5, -295, -295, -295, -295, -295, -295, -295, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -295,
-295
},
{
5, -296, -296, -296, -296, -296, -296, -296, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 315, 41, 41, 41, 41, 41, 41, -296,
-296
},
{
5, -297, -297, -297, -297, -297, -297, -297, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 316, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -297,
-297
},
{
5, -298, -298, -298, -298, -298, -298, -298, 41, 41,
41, 41, 41, 41, 41, 41, 41, 317, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -298,
-298
},
{
5, -299, -299, -299, -299, -299, -299, -299, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 318, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -299,
-299
},
{
5, -300, -300, -300, -300, -300, -300, -300, 41, 41,
41, 41, 41, 41, 41, 319, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -300,
-300
},
{
5, -301, -301, -301, -301, -301, -301, -301, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 320, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -301,
-301
},
{
5, -302, -302, -302, -302, -302, -302, -302, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -302,
-302
},
{
5, -303, -303, -303, -303, -303, -303, -303, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -303,
-303
},
{
5, -304, -304, -304, -304, -304, -304, -304, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -304,
-304
},
{
5, -305, -305, -305, -305, -305, -305, -305, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -305,
-305
},
{
5, -306, -306, -306, -306, -306, -306, -306, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 321, 41, 41, 41, 41, -306,
-306
},
{
5, -307, -307, -307, -307, -307, -307, -307, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 322, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -307,
-307
},
{
5, -308, -308, -308, -308, -308, -308, -308, 41, 41,
41, 41, 41, 41, 41, 41, 323, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -308,
-308
},
{
5, -309, -309, -309, -309, -309, -309, -309, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 324, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -309,
-309
},
{
5, -310, -310, -310, -310, -310, -310, -310, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 325, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -310,
-310
},
{
5, -311, -311, -311, -311, -311, -311, -311, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 326, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -311,
-311
},
{
5, -312, -312, -312, -312, -312, -312, -312, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 327, 41, 41, 41, 41, 41, -312,
-312
},
{
5, -313, -313, -313, -313, -313, -313, -313, 41, 41,
41, 41, 41, 41, 41, 328, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -313,
-313
},
{
5, -314, -314, -314, -314, -314, -314, -314, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 329, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -314,
-314
},
{
5, -315, -315, -315, -315, -315, -315, -315, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -315,
-315
},
{
5, -316, -316, -316, -316, -316, -316, -316, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -316,
-316
},
{
5, -317, -317, -317, -317, -317, -317, -317, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -317,
-317
},
{
5, -318, -318, -318, -318, -318, -318, -318, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 330, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -318,
-318
},
{
5, -319, -319, -319, -319, -319, -319, -319, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 331, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -319,
-319
},
{
5, -320, -320, -320, -320, -320, -320, -320, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 332, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -320,
-320
},
{
5, -321, -321, -321, -321, -321, -321, -321, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 333, 41, 41, 41, 41, 41, 41, -321,
-321
},
{
5, -322, -322, -322, -322, -322, -322, -322, 41, 41,
41, 41, 41, 41, 334, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -322,
-322
},
{
5, -323, -323, -323, -323, -323, -323, -323, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 335, 41, 41, 41, 41, 41, 41, 41, -323,
-323
},
{
5, -324, -324, -324, -324, -324, -324, -324, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 336, 41, 41, 41, 41, -324,
-324
},
{
5, -325, -325, -325, -325, -325, -325, -325, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 337, 41, 41, 41, 41, 41, 41, 41, -325,
-325
},
{
5, -326, -326, -326, -326, -326, -326, -326, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 338,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -326,
-326
},
{
5, -327, -327, -327, -327, -327, -327, -327, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 339, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -327,
-327
},
{
5, -328, -328, -328, -328, -328, -328, -328, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 340, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -328,
-328
},
{
5, -329, -329, -329, -329, -329, -329, -329, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 341, 41, 41, 41, 41, 41, 41, -329,
-329
},
{
5, -330, -330, -330, -330, -330, -330, -330, 41, 41,
41, 41, 41, 41, 41, 41, 342, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -330,
-330
},
{
5, -331, -331, -331, -331, -331, -331, -331, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 343, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -331,
-331
},
{
5, -332, -332, -332, -332, -332, -332, -332, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -332,
-332
},
{
5, -333, -333, -333, -333, -333, -333, -333, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 344, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -333,
-333
},
{
5, -334, -334, -334, -334, -334, -334, -334, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 345, 41, 41, 41, 41, 41, 41, 41, -334,
-334
},
{
5, -335, -335, -335, -335, -335, -335, -335, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 346, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -335,
-335
},
{
5, -336, -336, -336, -336, -336, -336, -336, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 347, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -336,
-336
},
{
5, -337, -337, -337, -337, -337, -337, -337, 41, 41,
41, 41, 41, 41, 348, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -337,
-337
},
{
5, -338, -338, -338, -338, -338, -338, -338, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -338,
-338
},
{
5, -339, -339, -339, -339, -339, -339, -339, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 349, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -339,
-339
},
{
5, -340, -340, -340, -340, -340, -340, -340, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 350, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -340,
-340
},
{
5, -341, -341, -341, -341, -341, -341, -341, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -341,
-341
},
{
5, -342, -342, -342, -342, -342, -342, -342, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 351, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -342,
-342
},
{
5, -343, -343, -343, -343, -343, -343, -343, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -343,
-343
},
{
5, -344, -344, -344, -344, -344, -344, -344, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 352, 41, 41, 41, 41, 41, 41, -344,
-344
},
{
5, -345, -345, -345, -345, -345, -345, -345, 41, 41,
41, 41, 41, 41, 353, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -345,
-345
},
{
5, -346, -346, -346, -346, -346, -346, -346, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 354,
41, 41, 41, 41, 41, 41, 41, 41, 41, -346,
-346
},
{
5, -347, -347, -347, -347, -347, -347, -347, 41, 41,
41, 41, 41, 41, 355, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -347,
-347
},
{
5, -348, -348, -348, -348, -348, -348, -348, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 356, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -348,
-348
},
{
5, -349, -349, -349, -349, -349, -349, -349, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
357, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -349,
-349
},
{
5, -350, -350, -350, -350, -350, -350, -350, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 358, 41, 41, 41, 41, 41, 41, -350,
-350
},
{
5, -351, -351, -351, -351, -351, -351, -351, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -351,
-351
},
{
5, -352, -352, -352, -352, -352, -352, -352, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -352,
-352
},
{
5, -353, -353, -353, -353, -353, -353, -353, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 359, 41, 41, 41, 41, 41, -353,
-353
},
{
5, -354, -354, -354, -354, -354, -354, -354, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 360, 41, 41, 41, 41, 41, -354,
-354
},
{
5, -355, -355, -355, -355, -355, -355, -355, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 361, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -355,
-355
},
{
5, -356, -356, -356, -356, -356, -356, -356, 41, 41,
41, 41, 41, 362, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -356,
-356
},
{
5, -357, -357, -357, -357, -357, -357, -357, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 363, 41, 41, 41, 41, 41, 41, -357,
-357
},
{
5, -358, -358, -358, -358, -358, -358, -358, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -358,
-358
},
{
5, -359, -359, -359, -359, -359, -359, -359, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 364, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -359,
-359
},
{
5, -360, -360, -360, -360, -360, -360, -360, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 365, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -360,
-360
},
{
5, -361, -361, -361, -361, -361, -361, -361, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -361,
-361
},
{
5, -362, -362, -362, -362, -362, -362, -362, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 366, 41, 41, 41, 41, 41, 41, -362,
-362
},
{
5, -363, -363, -363, -363, -363, -363, -363, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -363,
-363
},
{
5, -364, -364, -364, -364, -364, -364, -364, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 367, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -364,
-364
},
{
5, -365, -365, -365, -365, -365, -365, -365, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 368, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -365,
-365
},
{
5, -366, -366, -366, -366, -366, -366, -366, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 369, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -366,
-366
},
{
5, -367, -367, -367, -367, -367, -367, -367, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 370, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -367,
-367
},
{
5, -368, -368, -368, -368, -368, -368, -368, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 371, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -368,
-368
},
{
5, -369, -369, -369, -369, -369, -369, -369, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 372, 41, 41, 41, 41, 41, -369,
-369
},
{
5, -370, -370, -370, -370, -370, -370, -370, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 373, 41, 41, 41, 41, 41, 41, -370,
-370
},
{
5, -371, -371, -371, -371, -371, -371, -371, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 374, 41, 41, 41, 41, 41, 41, -371,
-371
},
{
5, -372, -372, -372, -372, -372, -372, -372, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 375, 41, 41, 41, 41, 41, -372,
-372
},
{
5, -373, -373, -373, -373, -373, -373, -373, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -373,
-373
},
{
5, -374, -374, -374, -374, -374, -374, -374, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -374,
-374
},
{
5, -375, -375, -375, -375, -375, -375, -375, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 376, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -375,
-375
},
{
5, -376, -376, -376, -376, -376, -376, -376, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 377, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -376,
-376
},
{
5, -377, -377, -377, -377, -377, -377, -377, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
378, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -377,
-377
},
{
5, -378, -378, -378, -378, -378, -378, -378, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 379, 41, 41, 41, 41, 41, 41, -378,
-378
},
{
5, -379, -379, -379, -379, -379, -379, -379, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, 41,
41, 41, 41, 41, 41, 41, 41, 41, 41, -379,
-379
},
} ;
static yy_state_type yy_get_previous_state YY_PROTO(( void ));
static yy_state_type yy_try_NUL_trans YY_PROTO(( yy_state_type current_state ));
static int yy_get_next_buffer YY_PROTO(( void ));
static void yy_fatal_error YY_PROTO(( yyconst char msg[] ));
/* Done after the current pattern has been matched and before the
* corresponding action - sets up yytext.
*/
#define YY_DO_BEFORE_ACTION \
yytext_ptr = yy_bp; \
yytext_ptr -= yy_more_len; \
yyleng = (int) (yy_cp - yytext_ptr); \
yy_hold_char = *yy_cp; \
*yy_cp = '\0'; \
yy_c_buf_p = yy_cp;
#define YY_NUM_RULES 69
#define YY_END_OF_BUFFER 70
static yyconst short int yy_accept[380] =
{ 0,
0, 0, 0, 0, 70, 68, 65, 66, 57, 67,
68, 67, 63, 64, 64, 64, 64, 64, 64, 64,
64, 64, 64, 64, 64, 64, 64, 64, 64, 64,
64, 64, 68, 60, 61, 65, 57, 59, 56, 63,
64, 64, 64, 64, 64, 5, 64, 64, 64, 64,
64, 64, 64, 64, 64, 64, 64, 64, 64, 64,
64, 64, 64, 64, 64, 64, 64, 39, 64, 64,
64, 64, 64, 64, 64, 64, 64, 64, 58, 60,
61, 61, 62, 1, 64, 64, 64, 64, 7, 64,
64, 64, 11, 64, 64, 64, 64, 64, 64, 64,
64, 64, 64, 64, 64, 64, 37, 64, 64, 64,
64, 64, 64, 64, 64, 64, 64, 64, 64, 64,
64, 64, 64, 64, 64, 9, 64, 64, 64, 64,
64, 64, 64, 64, 64, 64, 64, 64, 64, 64,
64, 36, 64, 64, 64, 64, 64, 47, 64, 50,
64, 52, 64, 64, 64, 64, 64, 64, 64, 64,
64, 64, 64, 14, 15, 64, 17, 64, 64, 64,
64, 64, 64, 64, 64, 35, 64, 64, 64, 64,
64, 64, 64, 48, 64, 64, 64, 64, 64, 2,
3, 64, 6, 64, 64, 64, 64, 16, 18, 64,
20, 64, 64, 64, 64, 64, 64, 64, 64, 64,
64, 64, 64, 49, 64, 64, 64, 64, 64, 64,
64, 64, 64, 19, 64, 64, 64, 24, 25, 64,
64, 64, 64, 64, 64, 64, 64, 51, 53, 64,
55, 64, 64, 64, 64, 64, 64, 64, 64, 64,
64, 64, 64, 64, 64, 45, 64, 64, 64, 64,
64, 64, 64, 21, 22, 64, 64, 64, 64, 64,
64, 64, 64, 38, 40, 64, 64, 64, 64, 64,
64, 64, 64, 64, 64, 23, 64, 64, 64, 64,
64, 64, 64, 64, 41, 64, 64, 64, 64, 64,
64, 8, 10, 12, 13, 64, 64, 64, 64, 64,
64, 64, 64, 64, 42, 43, 44, 64, 64, 64,
64, 64, 64, 64, 64, 64, 64, 64, 64, 64,
64, 4, 64, 64, 64, 64, 64, 31, 64, 64,
34, 64, 54, 64, 64, 64, 64, 64, 64, 64,
46, 26, 64, 64, 64, 64, 64, 33, 64, 64,
29, 64, 32, 64, 64, 64, 64, 64, 64, 64,
64, 64, 27, 28, 64, 64, 64, 64, 30
} ;
static yyconst int yy_ec[256] =
{ 0,
1, 1, 1, 1, 1, 1, 1, 1, 2, 3,
1, 1, 2, 1, 1, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
1, 2, 1, 1, 1, 1, 4, 1, 1, 5,
5, 6, 1, 5, 7, 5, 1, 8, 9, 8,
8, 8, 8, 8, 8, 8, 8, 5, 1, 1,
1, 1, 1, 1, 10, 10, 10, 11, 10, 10,
10, 10, 10, 10, 10, 10, 10, 10, 10, 12,
10, 10, 10, 10, 10, 10, 10, 10, 10, 10,
5, 1, 5, 1, 13, 1, 14, 15, 16, 17,
18, 19, 20, 21, 22, 23, 24, 25, 26, 27,
28, 29, 30, 31, 32, 33, 34, 35, 36, 37,
38, 10, 39, 1, 40, 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
} ;
/* The intent behind this definition is that it'll catch
* any uses of REJECT which flex missed.
*/
#define REJECT reject_used_but_not_detected
static int yy_more_flag = 0;
static int yy_more_len = 0;
#define yymore() (yy_more_flag = 1)
#define YY_MORE_ADJ yy_more_len
#define YY_RESTORE_YY_MORE_OFFSET
char *yytext;
#line 1 "dfgscanner.l"
#define INITIAL 0
/**************************************************************/
/* ********************************************************** */
/* * * */
/* * SCANNER FOR DFG SYNTAX * */
/* * * */
/* * $Module: DFG * */
/* * * */
/* * Copyright (C) 1997, 1998, 1999, 2000, 2001 * */
/* * MPI fuer Informatik * */
/* * * */
/* * This program is free software; you can redistribute * */
/* * it and/or modify it under the terms of the GNU * */
/* * General Public License as published by the Free * */
/* * Software Foundation; either version 2 of the License, * */
/* * or (at your option) any later version. * */
/* * * */
/* * This program is distributed in the hope that it will * */
/* * be useful, but WITHOUT ANY WARRANTY; without even * */
/* * the implied warranty of MERCHANTABILITY or FITNESS * */
/* * FOR A PARTICULAR PURPOSE. See the GNU General Public * */
/* * License for more details. * */
/* * * */
/* * You should have received a copy of the GNU General * */
/* * Public License along with this program; if not, write * */
/* * to the Free Software Foundation, Inc., 59 Temple * */
/* * Place, Suite 330, Boston, MA 02111-1307 USA * */
/* * * */
/* * * */
/* $Revision$ * */
/* $State$ * */
/* $Date$ * */
/* $Author$ * */
/* * * */
/* * Contact: * */
/* * Christoph Weidenbach * */
/* * MPI fuer Informatik * */
/* * Stuhlsatzenhausweg 85 * */
/* * 66123 Saarbruecken * */
/* * Email: weidenb@mpi-sb.mpg.de * */
/* * Germany * */
/* * * */
/* ********************************************************** */
/**************************************************************/
/* $RCSfile$ */
#line 49 "dfgscanner.l"
#include <ctype.h> /* for isprint */
#include <errno.h>
#include "misc.h"
#include "memory.h"
#include "symbol.h"
#include "term.h"
#include "dfg.h"
#include "dfgparser.h"
/* defined in dfgparser.y */
extern NAT dfg_LINENUMBER;
extern BOOL dfg_IGNORETEXT;
static NAT dfg_CountNewlines(char*);
static __inline__ char* dfg_StringCopy(void)
{
char *copy;
copy = (char*) memory_Malloc(yyleng+1);
strcpy(copy, yytext);
return copy;
}
/* Force the scanner to read the input character by character */
#define YY_ALWAYS_INTERACTIVE 1
/* Omit unused function yyunput */
#define YY_NO_UNPUT 1
/* Start conditions */
#define TXT 1
#line 3709 "dfgscanner.c"
/* Macros after this point can all be overridden by user definitions in
* section 1.
*/
#ifndef YY_SKIP_YYWRAP
#ifdef __cplusplus
extern "C" int yywrap YY_PROTO(( void ));
#else
extern int yywrap YY_PROTO(( void ));
#endif
#endif
#ifndef YY_NO_UNPUT
static void yyunput YY_PROTO(( int c, char *buf_ptr ));
#endif
#ifndef yytext_ptr
static void yy_flex_strncpy YY_PROTO(( char *, yyconst char *, int ));
#endif
#ifdef YY_NEED_STRLEN
static int yy_flex_strlen YY_PROTO(( yyconst char * ));
#endif
#ifndef YY_NO_INPUT
#ifdef __cplusplus
static int yyinput YY_PROTO(( void ));
#else
static int input YY_PROTO(( void ));
#endif
#endif
#if YY_STACK_USED
static int yy_start_stack_ptr = 0;
static int yy_start_stack_depth = 0;
static int *yy_start_stack = 0;
#ifndef YY_NO_PUSH_STATE
static void yy_push_state YY_PROTO(( int new_state ));
#endif
#ifndef YY_NO_POP_STATE
static void yy_pop_state YY_PROTO(( void ));
#endif
#ifndef YY_NO_TOP_STATE
static int yy_top_state YY_PROTO(( void ));
#endif
#else
#define YY_NO_PUSH_STATE 1
#define YY_NO_POP_STATE 1
#define YY_NO_TOP_STATE 1
#endif
#ifdef YY_MALLOC_DECL
YY_MALLOC_DECL
#else
#if __STDC__
#ifndef __cplusplus
#include <stdlib.h>
#endif
#else
/* Just try to get by without declaring the routines. This will fail
* miserably on non-ANSI systems for which sizeof(size_t) != sizeof(int)
* or sizeof(void*) != sizeof(int).
*/
#endif
#endif
/* Amount of stuff to slurp up with each read. */
#ifndef YY_READ_BUF_SIZE
#define YY_READ_BUF_SIZE 8192
#endif
/* Copy whatever the last rule matched to the standard output. */
#ifndef ECHO
/* This used to be an fputs(), but since the string might contain NUL's,
* we now use fwrite().
*/
#define ECHO (void) fwrite( yytext, yyleng, 1, yyout )
#endif
/* Gets input and stuffs it into "buf". number of characters read, or YY_NULL,
* is returned in "result".
*/
#ifndef YY_INPUT
#define YY_INPUT(buf,result,max_size) \
if ( yy_current_buffer->yy_is_interactive ) \
{ \
int c = '*', n; \
for ( n = 0; n < max_size && \
(c = getc( yyin )) != EOF && c != '\n'; ++n ) \
buf[n] = (char) c; \
if ( c == '\n' ) \
buf[n++] = (char) c; \
if ( c == EOF && ferror( yyin ) ) \
YY_FATAL_ERROR( "input in flex scanner failed" ); \
result = n; \
} \
else if ( ((result = fread( buf, 1, max_size, yyin )) == 0) \
&& ferror( yyin ) ) \
YY_FATAL_ERROR( "input in flex scanner failed" );
#endif
/* No semi-colon after return; correct usage is to write "yyterminate();" -
* we don't want an extra ';' after the "return" because that will cause
* some compilers to complain about unreachable statements.
*/
#ifndef yyterminate
#define yyterminate() return YY_NULL
#endif
/* Number of entries by which start-condition stack grows. */
#ifndef YY_START_STACK_INCR
#define YY_START_STACK_INCR 25
#endif
/* Report a fatal error. */
#ifndef YY_FATAL_ERROR
#define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
#endif
/* Default declaration of generated scanner - a define so the user can
* easily add parameters.
*/
#ifndef YY_DECL
#define YY_DECL int yylex YY_PROTO(( void ))
#endif
/* Code executed at the beginning of each rule, after yytext and yyleng
* have been set up.
*/
#ifndef YY_USER_ACTION
#define YY_USER_ACTION
#endif
/* Code executed at the end of each rule. */
#ifndef YY_BREAK
#define YY_BREAK break;
#endif
#define YY_RULE_SETUP \
YY_USER_ACTION
YY_DECL
{
register yy_state_type yy_current_state;
register char *yy_cp, *yy_bp;
register int yy_act;
#line 84 "dfgscanner.l"
#line 3863 "dfgscanner.c"
if ( yy_init )
{
yy_init = 0;
#ifdef YY_USER_INIT
YY_USER_INIT;
#endif
if ( ! yy_start )
yy_start = 1; /* first start state */
if ( ! yyin )
yyin = stdin;
if ( ! yyout )
yyout = stdout;
if ( ! yy_current_buffer )
yy_current_buffer =
yy_create_buffer( yyin, YY_BUF_SIZE );
yy_load_buffer_state();
}
while ( 1 ) /* loops until end-of-file is reached */
{
yy_more_len = 0;
if ( yy_more_flag )
{
yy_more_len = yy_c_buf_p - yytext_ptr;
yy_more_flag = 0;
}
yy_cp = yy_c_buf_p;
/* Support of yytext. */
*yy_cp = yy_hold_char;
/* yy_bp points to the position in yy_ch_buf of the start of
* the current run.
*/
yy_bp = yy_cp;
yy_current_state = yy_start;
yy_match:
while ( (yy_current_state = yy_nxt[yy_current_state][yy_ec[YY_SC_TO_UI(*yy_cp)]]) > 0 )
++yy_cp;
yy_current_state = -yy_current_state;
yy_find_action:
yy_act = yy_accept[yy_current_state];
YY_DO_BEFORE_ACTION;
do_action: /* This label is used only to access EOF actions. */
switch ( yy_act )
{ /* beginning of action switch */
case 1:
YY_RULE_SETUP
#line 86 "dfgscanner.l"
return DFG_AND;
YY_BREAK
case 2:
YY_RULE_SETUP
#line 87 "dfgscanner.l"
return DFG_AUTHOR;
YY_BREAK
case 3:
YY_RULE_SETUP
#line 88 "dfgscanner.l"
return DFG_AXIOMS;
YY_BREAK
case 4:
YY_RULE_SETUP
#line 89 "dfgscanner.l"
return DFG_BEGPROB;
YY_BREAK
case 5:
YY_RULE_SETUP
#line 90 "dfgscanner.l"
return DFG_BY;
YY_BREAK
case 6:
YY_RULE_SETUP
#line 91 "dfgscanner.l"
return DFG_CLAUSE;
YY_BREAK
case 7:
YY_RULE_SETUP
#line 92 "dfgscanner.l"
return DFG_CNF;
YY_BREAK
case 8:
YY_RULE_SETUP
#line 93 "dfgscanner.l"
return DFG_CONJECS;
YY_BREAK
case 9:
YY_RULE_SETUP
#line 94 "dfgscanner.l"
return DFG_DATE;
YY_BREAK
case 10:
YY_RULE_SETUP
#line 95 "dfgscanner.l"
return DFG_DESC;
YY_BREAK
case 11:
YY_RULE_SETUP
#line 96 "dfgscanner.l"
return DFG_DNF;
YY_BREAK
case 12:
YY_RULE_SETUP
#line 97 "dfgscanner.l"
return DFG_ENDLIST;
YY_BREAK
case 13:
YY_RULE_SETUP
#line 98 "dfgscanner.l"
return DFG_ENDPROB;
YY_BREAK
case 14:
YY_RULE_SETUP
#line 99 "dfgscanner.l"
return DFG_EQUAL;
YY_BREAK
case 15:
YY_RULE_SETUP
#line 100 "dfgscanner.l"
return DFG_EQUIV;
YY_BREAK
case 16:
YY_RULE_SETUP
#line 101 "dfgscanner.l"
return DFG_EXISTS;
YY_BREAK
case 17:
YY_RULE_SETUP
#line 102 "dfgscanner.l"
return DFG_FALSE;
YY_BREAK
case 18:
YY_RULE_SETUP
#line 103 "dfgscanner.l"
return DFG_FORALL;
YY_BREAK
case 19:
YY_RULE_SETUP
#line 104 "dfgscanner.l"
return DFG_FORMULA;
YY_BREAK
case 20:
YY_RULE_SETUP
#line 105 "dfgscanner.l"
return DFG_FREELY;
YY_BREAK
case 21:
YY_RULE_SETUP
#line 106 "dfgscanner.l"
return DFG_FUNC;
YY_BREAK
case 22:
YY_RULE_SETUP
#line 107 "dfgscanner.l"
return DFG_GENERATED;
YY_BREAK
case 23:
YY_RULE_SETUP
#line 108 "dfgscanner.l"
return DFG_HYPOTH;
YY_BREAK
case 24:
YY_RULE_SETUP
#line 109 "dfgscanner.l"
return DFG_IMPLIED;
YY_BREAK
case 25:
YY_RULE_SETUP
#line 110 "dfgscanner.l"
return DFG_IMPLIES;
YY_BREAK
case 26:
YY_RULE_SETUP
#line 111 "dfgscanner.l"
return DFG_CLSLIST;
YY_BREAK
case 27:
YY_RULE_SETUP
#line 112 "dfgscanner.l"
return DFG_DECLLIST;
YY_BREAK
case 28:
YY_RULE_SETUP
#line 113 "dfgscanner.l"
return DFG_DESCLIST;
YY_BREAK
case 29:
YY_RULE_SETUP
#line 114 "dfgscanner.l"
return DFG_FORMLIST;
YY_BREAK
case 30:
YY_RULE_SETUP
#line 115 "dfgscanner.l"
return DFG_GENSET;
YY_BREAK
case 31:
YY_RULE_SETUP
#line 116 "dfgscanner.l"
return DFG_PRFLIST;
YY_BREAK
case 32:
YY_RULE_SETUP
#line 117 "dfgscanner.l"
return DFG_SETTINGS;
YY_BREAK
case 33:
YY_RULE_SETUP
#line 118 "dfgscanner.l"
return DFG_SYMLIST;
YY_BREAK
case 34:
YY_RULE_SETUP
#line 119 "dfgscanner.l"
return DFG_TERMLIST;
YY_BREAK
case 35:
YY_RULE_SETUP
#line 120 "dfgscanner.l"
return DFG_LOGIC;
YY_BREAK
case 36:
YY_RULE_SETUP
#line 121 "dfgscanner.l"
return DFG_NAME;
YY_BREAK
case 37:
YY_RULE_SETUP
#line 122 "dfgscanner.l"
return DFG_NOT;
YY_BREAK
case 38:
YY_RULE_SETUP
#line 123 "dfgscanner.l"
return DFG_OPERAT;
YY_BREAK
case 39:
YY_RULE_SETUP
#line 124 "dfgscanner.l"
return DFG_OR;
YY_BREAK
case 40:
YY_RULE_SETUP
#line 125 "dfgscanner.l"
return DFG_PRED;
YY_BREAK
case 41:
YY_RULE_SETUP
#line 126 "dfgscanner.l"
return DFG_PRDICAT;
YY_BREAK
case 42:
YY_RULE_SETUP
#line 127 "dfgscanner.l"
return DFG_QUANTIF;
YY_BREAK
case 43:
YY_RULE_SETUP
#line 128 "dfgscanner.l"
return DFG_SATIS;
YY_BREAK
case 44:
YY_RULE_SETUP
#line 129 "dfgscanner.l"
return DFG_DOMPRED;
YY_BREAK
case 45:
YY_RULE_SETUP
#line 130 "dfgscanner.l"
return DFG_SETFLAG;
YY_BREAK
case 46:
YY_RULE_SETUP
#line 131 "dfgscanner.l"
return DFG_PREC;
YY_BREAK
case 47:
YY_RULE_SETUP
#line 132 "dfgscanner.l"
return DFG_SORT;
YY_BREAK
case 48:
YY_RULE_SETUP
#line 133 "dfgscanner.l"
return DFG_SORTS;
YY_BREAK
case 49:
YY_RULE_SETUP
#line 134 "dfgscanner.l"
return DFG_STATUS;
YY_BREAK
case 50:
YY_RULE_SETUP
#line 135 "dfgscanner.l"
return DFG_STEP;
YY_BREAK
case 51:
YY_RULE_SETUP
#line 136 "dfgscanner.l"
return DFG_SUBSORT;
YY_BREAK
case 52:
YY_RULE_SETUP
#line 137 "dfgscanner.l"
return DFG_TRUE;
YY_BREAK
case 53:
YY_RULE_SETUP
#line 138 "dfgscanner.l"
return DFG_UNKNOWN;
YY_BREAK
case 54:
YY_RULE_SETUP
#line 139 "dfgscanner.l"
return DFG_UNSATIS;
YY_BREAK
case 55:
YY_RULE_SETUP
#line 140 "dfgscanner.l"
return DFG_VERSION;
YY_BREAK
case 56:
YY_RULE_SETUP
#line 141 "dfgscanner.l"
return DFG_MINUS1;
YY_BREAK
case 57:
YY_RULE_SETUP
#line 143 "dfgscanner.l"
/* one-line comment */
YY_BREAK
case 58:
YY_RULE_SETUP
#line 144 "dfgscanner.l"
{ /* Start of multiline comment */
if (dfg_IGNORETEXT) {
BEGIN(TXT);
yymore();
} else
return DFG_OPENBRACE;
}
YY_BREAK
case 59:
YY_RULE_SETUP
#line 151 "dfgscanner.l"
return DFG_CLOSEBRACE;
YY_BREAK
case 60:
YY_RULE_SETUP
#line 152 "dfgscanner.l"
yymore();
YY_BREAK
case 61:
YY_RULE_SETUP
#line 153 "dfgscanner.l"
yymore();
YY_BREAK
case 62:
YY_RULE_SETUP
#line 154 "dfgscanner.l"
{ BEGIN(INITIAL);
dfg_lval.string = dfg_StringCopy();
dfg_LINENUMBER += dfg_CountNewlines(yytext);
return DFG_TEXT;
}
YY_BREAK
case 63:
YY_RULE_SETUP
#line 159 "dfgscanner.l"
{ unsigned long n;
errno = 0;
n = strtoul(yytext, NULL, 10);
if (errno != 0 || n > INT_MAX) {
misc_StartUserErrorReport();
misc_UserErrorReport("\n Number too big in line %d.\n",
dfg_LINENUMBER);
misc_FinishUserErrorReport();
}
dfg_lval.number = (int) n;
return DFG_NUM;
}
YY_BREAK
case 64:
YY_RULE_SETUP
#line 171 "dfgscanner.l"
{ dfg_lval.string = dfg_StringCopy();
return DFG_ID;
}
YY_BREAK
case 65:
YY_RULE_SETUP
#line 174 "dfgscanner.l"
/* ignore */
YY_BREAK
case 66:
YY_RULE_SETUP
#line 175 "dfgscanner.l"
dfg_LINENUMBER++;
YY_BREAK
case 67:
YY_RULE_SETUP
#line 176 "dfgscanner.l"
return yytext[0];
YY_BREAK
case 68:
YY_RULE_SETUP
#line 177 "dfgscanner.l"
{ misc_StartUserErrorReport();
misc_UserErrorReport("\n Illegal character '");
if (isprint((int)yytext[0]))
misc_UserErrorReport("%c",yytext[0]);
else
misc_UserErrorReport("\\x%x", (unsigned int) yytext[0]);
misc_UserErrorReport("' in line %d.\n", dfg_LINENUMBER);
misc_FinishUserErrorReport();
}
YY_BREAK
case 69:
YY_RULE_SETUP
#line 187 "dfgscanner.l"
ECHO;
YY_BREAK
#line 4301 "dfgscanner.c"
case YY_STATE_EOF(INITIAL):
case YY_STATE_EOF(TXT):
yyterminate();
case YY_END_OF_BUFFER:
{
/* Amount of text matched not including the EOB char. */
int yy_amount_of_matched_text = (int) (yy_cp - yytext_ptr) - 1;
/* Undo the effects of YY_DO_BEFORE_ACTION. */
*yy_cp = yy_hold_char;
YY_RESTORE_YY_MORE_OFFSET
if ( yy_current_buffer->yy_buffer_status == YY_BUFFER_NEW )
{
/* We're scanning a new file or input source. It's
* possible that this happened because the user
* just pointed yyin at a new source and called
* yylex(). If so, then we have to assure
* consistency between yy_current_buffer and our
* globals. Here is the right place to do so, because
* this is the first action (other than possibly a
* back-up) that will match for the new input source.
*/
yy_n_chars = yy_current_buffer->yy_n_chars;
yy_current_buffer->yy_input_file = yyin;
yy_current_buffer->yy_buffer_status = YY_BUFFER_NORMAL;
}
/* Note that here we test for yy_c_buf_p "<=" to the position
* of the first EOB in the buffer, since yy_c_buf_p will
* already have been incremented past the NUL character
* (since all states make transitions on EOB to the
* end-of-buffer state). Contrast this with the test
* in input().
*/
if ( yy_c_buf_p <= &yy_current_buffer->yy_ch_buf[yy_n_chars] )
{ /* This was really a NUL. */
yy_state_type yy_next_state;
yy_c_buf_p = yytext_ptr + yy_amount_of_matched_text;
yy_current_state = yy_get_previous_state();
/* Okay, we're now positioned to make the NUL
* transition. We couldn't have
* yy_get_previous_state() go ahead and do it
* for us because it doesn't know how to deal
* with the possibility of jamming (and we don't
* want to build jamming into it because then it
* will run more slowly).
*/
yy_next_state = yy_try_NUL_trans( yy_current_state );
yy_bp = yytext_ptr + YY_MORE_ADJ;
if ( yy_next_state )
{
/* Consume the NUL. */
yy_cp = ++yy_c_buf_p;
yy_current_state = yy_next_state;
goto yy_match;
}
else
{
yy_cp = yy_c_buf_p;
goto yy_find_action;
}
}
else switch ( yy_get_next_buffer() )
{
case EOB_ACT_END_OF_FILE:
{
yy_did_buffer_switch_on_eof = 0;
if ( yywrap() )
{
/* Note: because we've taken care in
* yy_get_next_buffer() to have set up
* yytext, we can now set up
* yy_c_buf_p so that if some total
* hoser (like flex itself) wants to
* call the scanner after we return the
* YY_NULL, it'll still work - another
* YY_NULL will get returned.
*/
yy_c_buf_p = yytext_ptr + YY_MORE_ADJ;
yy_act = YY_STATE_EOF(YY_START);
goto do_action;
}
else
{
if ( ! yy_did_buffer_switch_on_eof )
YY_NEW_FILE;
}
break;
}
case EOB_ACT_CONTINUE_SCAN:
yy_c_buf_p =
yytext_ptr + yy_amount_of_matched_text;
yy_current_state = yy_get_previous_state();
yy_cp = yy_c_buf_p;
yy_bp = yytext_ptr + YY_MORE_ADJ;
goto yy_match;
case EOB_ACT_LAST_MATCH:
yy_c_buf_p =
&yy_current_buffer->yy_ch_buf[yy_n_chars];
yy_current_state = yy_get_previous_state();
yy_cp = yy_c_buf_p;
yy_bp = yytext_ptr + YY_MORE_ADJ;
goto yy_find_action;
}
break;
}
default:
YY_FATAL_ERROR(
"fatal flex scanner internal error--no action found" );
} /* end of action switch */
} /* end of scanning one token */
} /* end of yylex */
/* yy_get_next_buffer - try to read in a new buffer
*
* Returns a code representing an action:
* EOB_ACT_LAST_MATCH -
* EOB_ACT_CONTINUE_SCAN - continue scanning from current position
* EOB_ACT_END_OF_FILE - end of file
*/
static int yy_get_next_buffer()
{
register char *dest = yy_current_buffer->yy_ch_buf;
register char *source = yytext_ptr;
register int number_to_move, i;
int ret_val;
if ( yy_c_buf_p > &yy_current_buffer->yy_ch_buf[yy_n_chars + 1] )
YY_FATAL_ERROR(
"fatal flex scanner internal error--end of buffer missed" );
if ( yy_current_buffer->yy_fill_buffer == 0 )
{ /* Don't try to fill the buffer, so this is an EOF. */
if ( yy_c_buf_p - yytext_ptr - YY_MORE_ADJ == 1 )
{
/* We matched a single character, the EOB, so
* treat this as a final EOF.
*/
return EOB_ACT_END_OF_FILE;
}
else
{
/* We matched some text prior to the EOB, first
* process it.
*/
return EOB_ACT_LAST_MATCH;
}
}
/* Try to read more data. */
/* First move last chars to start of buffer. */
number_to_move = (int) (yy_c_buf_p - yytext_ptr) - 1;
for ( i = 0; i < number_to_move; ++i )
*(dest++) = *(source++);
if ( yy_current_buffer->yy_buffer_status == YY_BUFFER_EOF_PENDING )
/* don't do the read, it's not guaranteed to return an EOF,
* just force an EOF
*/
yy_current_buffer->yy_n_chars = yy_n_chars = 0;
else
{
int num_to_read =
yy_current_buffer->yy_buf_size - number_to_move - 1;
while ( num_to_read <= 0 )
{ /* Not enough room in the buffer - grow it. */
#ifdef YY_USES_REJECT
YY_FATAL_ERROR(
"input buffer overflow, can't enlarge buffer because scanner uses REJECT" );
#else
/* just a shorter name for the current buffer */
YY_BUFFER_STATE b = yy_current_buffer;
int yy_c_buf_p_offset =
(int) (yy_c_buf_p - b->yy_ch_buf);
if ( b->yy_is_our_buffer )
{
int new_size = b->yy_buf_size * 2;
if ( new_size <= 0 )
b->yy_buf_size += b->yy_buf_size / 8;
else
b->yy_buf_size *= 2;
b->yy_ch_buf = (char *)
/* Include room in for 2 EOB chars. */
yy_flex_realloc( (void *) b->yy_ch_buf,
b->yy_buf_size + 2 );
}
else
/* Can't grow it, we don't own it. */
b->yy_ch_buf = 0;
if ( ! b->yy_ch_buf )
YY_FATAL_ERROR(
"fatal error - scanner input buffer overflow" );
yy_c_buf_p = &b->yy_ch_buf[yy_c_buf_p_offset];
num_to_read = yy_current_buffer->yy_buf_size -
number_to_move - 1;
#endif
}
if ( num_to_read > YY_READ_BUF_SIZE )
num_to_read = YY_READ_BUF_SIZE;
/* Read in more data. */
YY_INPUT( (&yy_current_buffer->yy_ch_buf[number_to_move]),
yy_n_chars, num_to_read );
yy_current_buffer->yy_n_chars = yy_n_chars;
}
if ( yy_n_chars == 0 )
{
if ( number_to_move == YY_MORE_ADJ )
{
ret_val = EOB_ACT_END_OF_FILE;
yyrestart( yyin );
}
else
{
ret_val = EOB_ACT_LAST_MATCH;
yy_current_buffer->yy_buffer_status =
YY_BUFFER_EOF_PENDING;
}
}
else
ret_val = EOB_ACT_CONTINUE_SCAN;
yy_n_chars += number_to_move;
yy_current_buffer->yy_ch_buf[yy_n_chars] = YY_END_OF_BUFFER_CHAR;
yy_current_buffer->yy_ch_buf[yy_n_chars + 1] = YY_END_OF_BUFFER_CHAR;
yytext_ptr = &yy_current_buffer->yy_ch_buf[0];
return ret_val;
}
/* yy_get_previous_state - get the state just before the EOB char was reached */
static yy_state_type yy_get_previous_state()
{
register yy_state_type yy_current_state;
register char *yy_cp;
yy_current_state = yy_start;
for ( yy_cp = yytext_ptr + YY_MORE_ADJ; yy_cp < yy_c_buf_p; ++yy_cp )
{
yy_current_state = yy_nxt[yy_current_state][(*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1)];
}
return yy_current_state;
}
/* yy_try_NUL_trans - try to make a transition on the NUL character
*
* synopsis
* next_state = yy_try_NUL_trans( current_state );
*/
#ifdef YY_USE_PROTOS
static yy_state_type yy_try_NUL_trans( yy_state_type yy_current_state )
#else
static yy_state_type yy_try_NUL_trans( yy_current_state )
yy_state_type yy_current_state;
#endif
{
register int yy_is_jam;
yy_current_state = yy_nxt[yy_current_state][1];
yy_is_jam = (yy_current_state <= 0);
return yy_is_jam ? 0 : yy_current_state;
}
#ifndef YY_NO_UNPUT
#ifdef YY_USE_PROTOS
static void yyunput( int c, register char *yy_bp )
#else
static void yyunput( c, yy_bp )
int c;
register char *yy_bp;
#endif
{
register char *yy_cp = yy_c_buf_p;
/* undo effects of setting up yytext */
*yy_cp = yy_hold_char;
if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 )
{ /* need to shift things up to make room */
/* +2 for EOB chars. */
register int number_to_move = yy_n_chars + 2;
register char *dest = &yy_current_buffer->yy_ch_buf[
yy_current_buffer->yy_buf_size + 2];
register char *source =
&yy_current_buffer->yy_ch_buf[number_to_move];
while ( source > yy_current_buffer->yy_ch_buf )
*--dest = *--source;
yy_cp += (int) (dest - source);
yy_bp += (int) (dest - source);
yy_current_buffer->yy_n_chars =
yy_n_chars = yy_current_buffer->yy_buf_size;
if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 )
YY_FATAL_ERROR( "flex scanner push-back overflow" );
}
*--yy_cp = (char) c;
yytext_ptr = yy_bp;
yy_hold_char = *yy_cp;
yy_c_buf_p = yy_cp;
}
#endif /* ifndef YY_NO_UNPUT */
#ifdef __cplusplus
static int yyinput()
#else
static int input()
#endif
{
int c;
*yy_c_buf_p = yy_hold_char;
if ( *yy_c_buf_p == YY_END_OF_BUFFER_CHAR )
{
/* yy_c_buf_p now points to the character we want to return.
* If this occurs *before* the EOB characters, then it's a
* valid NUL; if not, then we've hit the end of the buffer.
*/
if ( yy_c_buf_p < &yy_current_buffer->yy_ch_buf[yy_n_chars] )
/* This was really a NUL. */
*yy_c_buf_p = '\0';
else
{ /* need more input */
int offset = yy_c_buf_p - yytext_ptr;
++yy_c_buf_p;
switch ( yy_get_next_buffer() )
{
case EOB_ACT_LAST_MATCH:
/* This happens because yy_g_n_b()
* sees that we've accumulated a
* token and flags that we need to
* try matching the token before
* proceeding. But for input(),
* there's no matching to consider.
* So convert the EOB_ACT_LAST_MATCH
* to EOB_ACT_END_OF_FILE.
*/
/* Reset buffer status. */
yyrestart( yyin );
/* fall through */
case EOB_ACT_END_OF_FILE:
{
if ( yywrap() )
return EOF;
if ( ! yy_did_buffer_switch_on_eof )
YY_NEW_FILE;
#ifdef __cplusplus
return yyinput();
#else
return input();
#endif
}
case EOB_ACT_CONTINUE_SCAN:
yy_c_buf_p = yytext_ptr + offset;
break;
}
}
}
c = *(unsigned char *) yy_c_buf_p; /* cast for 8-bit char's */
*yy_c_buf_p = '\0'; /* preserve yytext */
yy_hold_char = *++yy_c_buf_p;
return c;
}
#ifdef YY_USE_PROTOS
void yyrestart( FILE *input_file )
#else
void yyrestart( input_file )
FILE *input_file;
#endif
{
if ( ! yy_current_buffer )
yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE );
yy_init_buffer( yy_current_buffer, input_file );
yy_load_buffer_state();
}
#ifdef YY_USE_PROTOS
void yy_switch_to_buffer( YY_BUFFER_STATE new_buffer )
#else
void yy_switch_to_buffer( new_buffer )
YY_BUFFER_STATE new_buffer;
#endif
{
if ( yy_current_buffer == new_buffer )
return;
if ( yy_current_buffer )
{
/* Flush out information for old buffer. */
*yy_c_buf_p = yy_hold_char;
yy_current_buffer->yy_buf_pos = yy_c_buf_p;
yy_current_buffer->yy_n_chars = yy_n_chars;
}
yy_current_buffer = new_buffer;
yy_load_buffer_state();
/* We don't actually know whether we did this switch during
* EOF (yywrap()) processing, but the only time this flag
* is looked at is after yywrap() is called, so it's safe
* to go ahead and always set it.
*/
yy_did_buffer_switch_on_eof = 1;
}
#ifdef YY_USE_PROTOS
void yy_load_buffer_state( void )
#else
void yy_load_buffer_state()
#endif
{
yy_n_chars = yy_current_buffer->yy_n_chars;
yytext_ptr = yy_c_buf_p = yy_current_buffer->yy_buf_pos;
yyin = yy_current_buffer->yy_input_file;
yy_hold_char = *yy_c_buf_p;
}
#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_create_buffer( FILE *file, int size )
#else
YY_BUFFER_STATE yy_create_buffer( file, size )
FILE *file;
int size;
#endif
{
YY_BUFFER_STATE b;
b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) );
if ( ! b )
YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
b->yy_buf_size = size;
/* yy_ch_buf has to be 2 characters longer than the size given because
* we need to put in 2 end-of-buffer characters.
*/
b->yy_ch_buf = (char *) yy_flex_alloc( b->yy_buf_size + 2 );
if ( ! b->yy_ch_buf )
YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
b->yy_is_our_buffer = 1;
yy_init_buffer( b, file );
return b;
}
#ifdef YY_USE_PROTOS
void yy_delete_buffer( YY_BUFFER_STATE b )
#else
void yy_delete_buffer( b )
YY_BUFFER_STATE b;
#endif
{
if ( ! b )
return;
if ( b == yy_current_buffer )
yy_current_buffer = (YY_BUFFER_STATE) 0;
if ( b->yy_is_our_buffer )
yy_flex_free( (void *) b->yy_ch_buf );
yy_flex_free( (void *) b );
}
#ifndef YY_ALWAYS_INTERACTIVE
#ifndef YY_NEVER_INTERACTIVE
extern int isatty YY_PROTO(( int ));
#endif
#endif
#ifdef YY_USE_PROTOS
void yy_init_buffer( YY_BUFFER_STATE b, FILE *file )
#else
void yy_init_buffer( b, file )
YY_BUFFER_STATE b;
FILE *file;
#endif
{
yy_flush_buffer( b );
b->yy_input_file = file;
b->yy_fill_buffer = 1;
#if YY_ALWAYS_INTERACTIVE
b->yy_is_interactive = 1;
#else
#if YY_NEVER_INTERACTIVE
b->yy_is_interactive = 0;
#else
b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
#endif
#endif
}
#ifdef YY_USE_PROTOS
void yy_flush_buffer( YY_BUFFER_STATE b )
#else
void yy_flush_buffer( b )
YY_BUFFER_STATE b;
#endif
{
if ( ! b )
return;
b->yy_n_chars = 0;
/* We always need two end-of-buffer characters. The first causes
* a transition to the end-of-buffer state. The second causes
* a jam in that state.
*/
b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
b->yy_buf_pos = &b->yy_ch_buf[0];
b->yy_at_bol = 1;
b->yy_buffer_status = YY_BUFFER_NEW;
if ( b == yy_current_buffer )
yy_load_buffer_state();
}
#ifndef YY_NO_SCAN_BUFFER
#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_scan_buffer( char *base, yy_size_t size )
#else
YY_BUFFER_STATE yy_scan_buffer( base, size )
char *base;
yy_size_t size;
#endif
{
YY_BUFFER_STATE b;
if ( size < 2 ||
base[size-2] != YY_END_OF_BUFFER_CHAR ||
base[size-1] != YY_END_OF_BUFFER_CHAR )
/* They forgot to leave room for the EOB's. */
return 0;
b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) );
if ( ! b )
YY_FATAL_ERROR( "out of dynamic memory in yy_scan_buffer()" );
b->yy_buf_size = size - 2; /* "- 2" to take care of EOB's */
b->yy_buf_pos = b->yy_ch_buf = base;
b->yy_is_our_buffer = 0;
b->yy_input_file = 0;
b->yy_n_chars = b->yy_buf_size;
b->yy_is_interactive = 0;
b->yy_at_bol = 1;
b->yy_fill_buffer = 0;
b->yy_buffer_status = YY_BUFFER_NEW;
yy_switch_to_buffer( b );
return b;
}
#endif
#ifndef YY_NO_SCAN_STRING
#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_scan_string( yyconst char *yy_str )
#else
YY_BUFFER_STATE yy_scan_string( yy_str )
yyconst char *yy_str;
#endif
{
int len;
for ( len = 0; yy_str[len]; ++len )
;
return yy_scan_bytes( yy_str, len );
}
#endif
#ifndef YY_NO_SCAN_BYTES
#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_scan_bytes( yyconst char *bytes, int len )
#else
YY_BUFFER_STATE yy_scan_bytes( bytes, len )
yyconst char *bytes;
int len;
#endif
{
YY_BUFFER_STATE b;
char *buf;
yy_size_t n;
int i;
/* Get memory for full buffer, including space for trailing EOB's. */
n = len + 2;
buf = (char *) yy_flex_alloc( n );
if ( ! buf )
YY_FATAL_ERROR( "out of dynamic memory in yy_scan_bytes()" );
for ( i = 0; i < len; ++i )
buf[i] = bytes[i];
buf[len] = buf[len+1] = YY_END_OF_BUFFER_CHAR;
b = yy_scan_buffer( buf, n );
if ( ! b )
YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" );
/* It's okay to grow etc. this buffer, and we should throw it
* away when we're done.
*/
b->yy_is_our_buffer = 1;
return b;
}
#endif
#ifndef YY_NO_PUSH_STATE
#ifdef YY_USE_PROTOS
static void yy_push_state( int new_state )
#else
static void yy_push_state( new_state )
int new_state;
#endif
{
if ( yy_start_stack_ptr >= yy_start_stack_depth )
{
yy_size_t new_size;
yy_start_stack_depth += YY_START_STACK_INCR;
new_size = yy_start_stack_depth * sizeof( int );
if ( ! yy_start_stack )
yy_start_stack = (int *) yy_flex_alloc( new_size );
else
yy_start_stack = (int *) yy_flex_realloc(
(void *) yy_start_stack, new_size );
if ( ! yy_start_stack )
YY_FATAL_ERROR(
"out of memory expanding start-condition stack" );
}
yy_start_stack[yy_start_stack_ptr++] = YY_START;
BEGIN(new_state);
}
#endif
#ifndef YY_NO_POP_STATE
static void yy_pop_state()
{
if ( --yy_start_stack_ptr < 0 )
YY_FATAL_ERROR( "start-condition stack underflow" );
BEGIN(yy_start_stack[yy_start_stack_ptr]);
}
#endif
#ifndef YY_NO_TOP_STATE
static int yy_top_state()
{
return yy_start_stack[yy_start_stack_ptr - 1];
}
#endif
#ifndef YY_EXIT_FAILURE
#define YY_EXIT_FAILURE 2
#endif
#ifdef YY_USE_PROTOS
static void yy_fatal_error( yyconst char msg[] )
#else
static void yy_fatal_error( msg )
char msg[];
#endif
{
(void) fprintf( stderr, "%s\n", msg );
exit( YY_EXIT_FAILURE );
}
/* Redefine yyless() so it works in section 3 code. */
#undef yyless
#define yyless(n) \
do \
{ \
/* Undo effects of setting up yytext. */ \
yytext[yyleng] = yy_hold_char; \
yy_c_buf_p = yytext + n; \
yy_hold_char = *yy_c_buf_p; \
*yy_c_buf_p = '\0'; \
yyleng = n; \
} \
while ( 0 )
/* Internal utility routines. */
#ifndef yytext_ptr
#ifdef YY_USE_PROTOS
static void yy_flex_strncpy( char *s1, yyconst char *s2, int n )
#else
static void yy_flex_strncpy( s1, s2, n )
char *s1;
yyconst char *s2;
int n;
#endif
{
register int i;
for ( i = 0; i < n; ++i )
s1[i] = s2[i];
}
#endif
#ifdef YY_NEED_STRLEN
#ifdef YY_USE_PROTOS
static int yy_flex_strlen( yyconst char *s )
#else
static int yy_flex_strlen( s )
yyconst char *s;
#endif
{
register int n;
for ( n = 0; s[n]; ++n )
;
return n;
}
#endif
#ifdef YY_USE_PROTOS
static void *yy_flex_alloc( yy_size_t size )
#else
static void *yy_flex_alloc( size )
yy_size_t size;
#endif
{
return (void *) malloc( size );
}
#ifdef YY_USE_PROTOS
static void *yy_flex_realloc( void *ptr, yy_size_t size )
#else
static void *yy_flex_realloc( ptr, size )
void *ptr;
yy_size_t size;
#endif
{
/* The cast to (char *) in the following accommodates both
* implementations that use char* generic pointers, and those
* that use void* generic pointers. It works with the latter
* because both ANSI C and C++ allow castless assignment from
* any pointer type to void*, and deal with argument conversions
* as though doing an assignment.
*/
return (void *) realloc( (char *) ptr, size );
}
#ifdef YY_USE_PROTOS
static void yy_flex_free( void *ptr )
#else
static void yy_flex_free( ptr )
void *ptr;
#endif
{
free( ptr );
}
#if YY_MAIN
int main()
{
yylex();
return 0;
}
#endif
#line 187 "dfgscanner.l"
static NAT dfg_CountNewlines(char* Text)
{
NAT result = 0;
while (*Text != 0) {
if (*Text++ == '\n')
result++;
}
return result;
}