token literal names:
null
null
null
null
'SELECT'
'FROM'
'ADD'
'AS'
'ALL'
'ANY'
'DISTINCT'
'WHERE'
'GROUP'
'BY'
'GROUPING'
'SETS'
'CUBE'
'ROLLUP'
'ORDER'
'HAVING'
'LIMIT'
'AT'
'OR'
'AND'
'IN'
'NOT'
'NO'
'EXISTS'
'BETWEEN'
'LIKE'
'RLIKE'
'IS'
'TRUE'
'FALSE'
'NULLS'
'ASC'
'DESC'
'FOR'
'INTERVAL'
'CASE'
'WHEN'
'THEN'
'ELSE'
'END'
'JOIN'
'CROSS'
'OUTER'
'INNER'
'LEFT'
'SEMI'
'RIGHT'
'FULL'
'NATURAL'
'ON'
'PIVOT'
'LATERAL'
'WINDOW'
'OVER'
'PARTITION'
'RANGE'
'ROWS'
'UNBOUNDED'
'PRECEDING'
'FOLLOWING'
'CURRENT'
'FIRST'
'AFTER'
'LAST'
'WITH'
'VALUES'
'CREATE'
'TABLE'
'DIRECTORY'
'VIEW'
'REPLACE'
'INSERT'
'DELETE'
'INTO'
'DESCRIBE'
'EXPLAIN'
'FORMAT'
'LOGICAL'
'CODEGEN'
'COST'
'CAST'
'SHOW'
'TABLES'
'COLUMNS'
'COLUMN'
'USE'
'PARTITIONS'
'FUNCTIONS'
'DROP'
'UNION'
'EXCEPT'
'SETMINUS'
'INTERSECT'
'TO'
'TABLESAMPLE'
'STRATIFY'
'ALTER'
'RENAME'
'STRUCT'
'COMMENT'
'SET'
'RESET'
'DATA'
'START'
'TRANSACTION'
'COMMIT'
'ROLLBACK'
'MACRO'
'IGNORE'
'BOTH'
'LEADING'
'TRAILING'
'IF'
'POSITION'
'EXTRACT'
'EQ'
'NSEQ'
'NEQ'
'NEQJ'
'LT'
'LTE'
'GT'
'GTE'
'PLUS'
'MINUS'
'ASTERISK'
'SLASH'
'PERCENT'
'DIV'
'TILDE'
'AMPERSAND'
'PIPE'
'CONCAT_PIPE'
'HAT'
'PERCENTLIT'
'BUCKET'
'OUT'
'OF'
'SORT'
'CLUSTER'
'DISTRIBUTE'
'OVERWRITE'
'TRANSFORM'
'REDUCE'
'USING'
'SERDE'
'SERDEPROPERTIES'
'RECORDREADER'
'RECORDWRITER'
'DELIMITED'
'FIELDS'
'TERMINATED'
'COLLECTION'
'ITEMS'
'KEYS'
'ESCAPED'
'LINES'
'SEPARATED'
'FUNCTION'
'EXTENDED'
'REFRESH'
'CLEAR'
'CACHE'
'UNCACHE'
'LAZY'
'FORMATTED'
'GLOBAL'
'TEMPORARY'
'OPTIONS'
'UNSET'
'TBLPROPERTIES'
'DBPROPERTIES'
'BUCKETS'
'SKEWED'
'STORED'
'DIRECTORIES'
'LOCATION'
'EXCHANGE'
'ARCHIVE'
'UNARCHIVE'
'FILEFORMAT'
'TOUCH'
'COMPACT'
'CONCATENATE'
'CHANGE'
'CASCADE'
'RESTRICT'
'CLUSTERED'
'SORTED'
'PURGE'
'INPUTFORMAT'
'OUTPUTFORMAT'
'DATABASE'
'DATABASES'
'DFS'
'TRUNCATE'
'ANALYZE'
'COMPUTE'
'LIST'
'STATISTICS'
'PARTITIONED'
'EXTERNAL'
'DEFINED'
'REVOKE'
'GRANT'
'LOCK'
'UNLOCK'
'MSCK'
'REPAIR'
'RECOVER'
'EXPORT'
'IMPORT'
'LOAD'
'ROLE'
'ROLES'
'COMPACTIONS'
'PRINCIPALS'
'TRANSACTIONS'
'INDEX'
'INDEXES'
'LOCKS'
'OPTION'
'ANTI'
'LOCAL'
'INPATH'
'WATERMARK'
'UNNEST'
'MATCH_RECOGNIZE'
'MEASURES'
'ONE'
'PER'
'MATCH'
'SKIP1'
'NEXT'
'PAST'
'PATTERN'
'WITHIN'
'DEFINE'
'BIGINT_LITERAL'
'SMALLINT_LITERAL'
'TINYINT_LITERAL'
'INTEGER_VALUE'
'DECIMAL_VALUE'
'DOUBLE_LITERAL'
'BIGDECIMAL_LITERAL'
'IDENTIFIER'
'BACKQUOTED_IDENTIFIER'
'SIMPLE_COMMENT'
'BRACKETED_EMPTY_COMMENT'
'BRACKETED_COMMENT'
'WS'
'UNRECOGNIZED'
null
null
null
null
'SYSTEM'
'STRING'
'ARRAY'
'MAP'
'CHAR'
'VARCHAR'
'BINARY'
'VARBINARY'
'BYTES'
'DECIMAL'
'TINYINT'
'SMALLINT'
'INT'
'BIGINT'
'FLOAT'
'DOUBLE'
'DATE'
'TIME'
'TIMESTAMP'
'MULTISET'
'BOOLEAN'
'RAW'
'ROW'
'NULL'
'='
'>'
'<'
'!'
'~'
'|'
'&'
'^'
'.'
'['
']'
'('
')'
','
';'
'@'
'0'
'1'
'2'
'\''
'"'
'`'
':'
'*'
'_'
'-'
'+'
'%'
'--'
'/'
null
null
null
null
null
null

token symbolic names:
null
SPACE
COMMENT_INPUT
LINE_COMMENT
SELECT
FROM
ADD
AS
ALL
ANY
DISTINCT
WHERE
GROUP
BY
GROUPING
SETS
CUBE
ROLLUP
ORDER
HAVING
LIMIT
AT
OR
AND
IN
NOT
NO
EXISTS
BETWEEN
LIKE
RLIKE
IS
TRUE
FALSE
NULLS
ASC
DESC
FOR
INTERVAL
CASE
WHEN
THEN
ELSE
END
JOIN
CROSS
OUTER
INNER
LEFT
SEMI
RIGHT
FULL
NATURAL
ON
PIVOT
LATERAL
WINDOW
OVER
PARTITION
RANGE
ROWS
UNBOUNDED
PRECEDING
FOLLOWING
CURRENT
FIRST
AFTER
LAST
WITH
VALUES
CREATE
TABLE
DIRECTORY
VIEW
REPLACE
INSERT
DELETE
INTO
DESCRIBE
EXPLAIN
FORMAT
LOGICAL
CODEGEN
COST
CAST
SHOW
TABLES
COLUMNS
COLUMN
USE
PARTITIONS
FUNCTIONS
DROP
UNION
EXCEPT
SETMINUS
INTERSECT
TO
TABLESAMPLE
STRATIFY
ALTER
RENAME
STRUCT
COMMENT
SET
RESET
DATA
START
TRANSACTION
COMMIT
ROLLBACK
MACRO
IGNORE
BOTH
LEADING
TRAILING
IF
POSITION
EXTRACT
EQ
NSEQ
NEQ
NEQJ
LT
LTE
GT
GTE
PLUS
MINUS
ASTERISK
SLASH
PERCENT
DIV
TILDE
AMPERSAND
PIPE
CONCAT_PIPE
HAT
PERCENTLIT
BUCKET
OUT
OF
SORT
CLUSTER
DISTRIBUTE
OVERWRITE
TRANSFORM
REDUCE
USING
SERDE
SERDEPROPERTIES
RECORDREADER
RECORDWRITER
DELIMITED
FIELDS
TERMINATED
COLLECTION
ITEMS
KEYS
ESCAPED
LINES
SEPARATED
FUNCTION
EXTENDED
REFRESH
CLEAR
CACHE
UNCACHE
LAZY
FORMATTED
GLOBAL
TEMPORARY
OPTIONS
UNSET
TBLPROPERTIES
DBPROPERTIES
BUCKETS
SKEWED
STORED
DIRECTORIES
LOCATION
EXCHANGE
ARCHIVE
UNARCHIVE
FILEFORMAT
TOUCH
COMPACT
CONCATENATE
CHANGE
CASCADE
RESTRICT
CLUSTERED
SORTED
PURGE
INPUTFORMAT
OUTPUTFORMAT
DATABASE
DATABASES
DFS
TRUNCATE
ANALYZE
COMPUTE
LIST
STATISTICS
PARTITIONED
EXTERNAL
DEFINED
REVOKE
GRANT
LOCK
UNLOCK
MSCK
REPAIR
RECOVER
EXPORT
IMPORT
LOAD
ROLE
ROLES
COMPACTIONS
PRINCIPALS
TRANSACTIONS
INDEX
INDEXES
LOCKS
OPTION
ANTI
LOCAL
INPATH
WATERMARK
UNNEST
MATCH_RECOGNIZE
MEASURES
ONE
PER
MATCH
SKIP1
NEXT
PAST
PATTERN
WITHIN
DEFINE
BIGINT_LITERAL
SMALLINT_LITERAL
TINYINT_LITERAL
INTEGER_VALUE
DECIMAL_VALUE
DOUBLE_LITERAL
BIGDECIMAL_LITERAL
IDENTIFIER
BACKQUOTED_IDENTIFIER
SIMPLE_COMMENT
BRACKETED_EMPTY_COMMENT
BRACKETED_COMMENT
WS
UNRECOGNIZED
REVERSE_QUOTE_ID
DOUBLE_QUOTE_ID
DOT_ID
ID
SYSTEM
STRING
ARRAY
MAP
CHAR
VARCHAR
BINARY
VARBINARY
BYTES
DECIMAL
TINYINT
SMALLINT
INT
BIGINT
FLOAT
DOUBLE
DATE
TIME
TIMESTAMP
MULTISET
BOOLEAN
RAW
ROW
NULL
EQUAL_SYMBOL
GREATER_SYMBOL
LESS_SYMBOL
EXCLAMATION_SYMBOL
BIT_NOT_OP
BIT_OR_OP
BIT_AND_OP
BIT_XOR_OP
DOT
LS_BRACKET
RS_BRACKET
LR_BRACKET
RR_BRACKET
COMMA
SEMICOLON
AT_SIGN
ZERO_DECIMAL
ONE_DECIMAL
TWO_DECIMAL
SINGLE_QUOTE_SYMB
DOUBLE_QUOTE_SYMB
REVERSE_QUOTE_SYMB
COLON_SYMB
ASTERISK_SIGN
UNDERLINE_SIGN
HYPNEN_SIGN
ADD_SIGN
PENCENT_SIGN
DOUBLE_HYPNEN_SIGN
SLASH_SIGN
STRING_LITERAL
DECIMAL_LITERAL
REAL_LITERAL
BIT_STRING
IDENTIFIER_BASE
DEC_DIGIT

rule names:
program
statement
sqlStatements
sqlStatement
emptyStatement
ddlStatement
dmlStatement
createTable
columnOptionDefinition
columnName
columnType
partitionDefinition
partitionColumnDefinition
partitionColumnName
createDatabase
createView
createFunction
alterTable
renameDefinition
setKeyValueDefinition
alterDatabase
alterFunction
dropTable
dropDatabase
dropView
dropFunction
insertStatement
insertPartitionDefinition
valuesDefinition
valuesRowDefinition
allValueDifinition
queryStatement
selectStatement
projectItemDefinition
tableExpression
tableReference
tablePrimary
expression
booleanExpression
predicate
valueExpression
primaryExpression
tableAlias
identifierList
identifierSeq
identifier
strictIdentifier
quotedIdentifier
whenClause
uidList
uid
withOption
ifNotExists
ifExists
keyValueDefinition
logicalOperator
comparisonOperator
bitOperator
mathOperator
unaryOperator
fullColumnName
constant
stringLiteral
decimalLiteral
booleanLiteral
setQuantifier


atn:
[3, 24715, 42794, 33075, 47597, 16764, 15335, 30598, 22884, 3, 321, 724, 4, 2, 9, 2, 4, 3, 9, 3, 4, 4, 9, 4, 4, 5, 9, 5, 4, 6, 9, 6, 4, 7, 9, 7, 4, 8, 9, 8, 4, 9, 9, 9, 4, 10, 9, 10, 4, 11, 9, 11, 4, 12, 9, 12, 4, 13, 9, 13, 4, 14, 9, 14, 4, 15, 9, 15, 4, 16, 9, 16, 4, 17, 9, 17, 4, 18, 9, 18, 4, 19, 9, 19, 4, 20, 9, 20, 4, 21, 9, 21, 4, 22, 9, 22, 4, 23, 9, 23, 4, 24, 9, 24, 4, 25, 9, 25, 4, 26, 9, 26, 4, 27, 9, 27, 4, 28, 9, 28, 4, 29, 9, 29, 4, 30, 9, 30, 4, 31, 9, 31, 4, 32, 9, 32, 4, 33, 9, 33, 4, 34, 9, 34, 4, 35, 9, 35, 4, 36, 9, 36, 4, 37, 9, 37, 4, 38, 9, 38, 4, 39, 9, 39, 4, 40, 9, 40, 4, 41, 9, 41, 4, 42, 9, 42, 4, 43, 9, 43, 4, 44, 9, 44, 4, 45, 9, 45, 4, 46, 9, 46, 4, 47, 9, 47, 4, 48, 9, 48, 4, 49, 9, 49, 4, 50, 9, 50, 4, 51, 9, 51, 4, 52, 9, 52, 4, 53, 9, 53, 4, 54, 9, 54, 4, 55, 9, 55, 4, 56, 9, 56, 4, 57, 9, 57, 4, 58, 9, 58, 4, 59, 9, 59, 4, 60, 9, 60, 4, 61, 9, 61, 4, 62, 9, 62, 4, 63, 9, 63, 4, 64, 9, 64, 4, 65, 9, 65, 4, 66, 9, 66, 4, 67, 9, 67, 3, 2, 3, 2, 3, 2, 3, 3, 3, 3, 3, 3, 3, 4, 3, 4, 3, 4, 3, 4, 7, 4, 145, 10, 4, 12, 4, 14, 4, 148, 11, 4, 3, 5, 3, 5, 5, 5, 152, 10, 5, 3, 6, 3, 6, 3, 7, 3, 7, 3, 7, 3, 7, 3, 7, 3, 7, 3, 7, 3, 7, 3, 7, 3, 7, 3, 7, 5, 7, 167, 10, 7, 3, 8, 3, 8, 5, 8, 171, 10, 8, 3, 9, 3, 9, 3, 9, 3, 9, 3, 9, 3, 9, 3, 9, 7, 9, 180, 10, 9, 12, 9, 14, 9, 183, 11, 9, 3, 9, 3, 9, 5, 9, 187, 10, 9, 3, 9, 3, 9, 3, 10, 3, 10, 3, 10, 3, 11, 3, 11, 3, 12, 3, 12, 3, 13, 3, 13, 3, 13, 3, 13, 3, 14, 3, 14, 3, 14, 7, 14, 205, 10, 14, 12, 14, 14, 14, 208, 11, 14, 3, 15, 3, 15, 3, 16, 3, 16, 3, 16, 5, 16, 215, 10, 16, 3, 16, 3, 16, 3, 16, 3, 17, 3, 17, 5, 17, 222, 10, 17, 3, 17, 3, 17, 5, 17, 226, 10, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 18, 3, 18, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 5, 19, 239, 10, 19, 3, 20, 3, 20, 3, 20, 3, 20, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 7, 21, 250, 10, 21, 12, 21, 14, 21, 253, 11, 21, 3, 21, 3, 21, 3, 22, 3, 22, 3, 22, 3, 22, 3, 22, 3, 23, 3, 23, 3, 24, 3, 24, 3, 24, 5, 24, 267, 10, 24, 3, 24, 3, 24, 3, 25, 3, 25, 3, 25, 5, 25, 274, 10, 25, 3, 25, 3, 25, 5, 25, 278, 10, 25, 3, 26, 3, 26, 5, 26, 282, 10, 26, 3, 26, 3, 26, 5, 26, 286, 10, 26, 3, 26, 3, 26, 3, 27, 3, 27, 3, 27, 3, 27, 5, 27, 294, 10, 27, 3, 27, 3, 27, 5, 27, 298, 10, 27, 3, 27, 3, 27, 3, 28, 3, 28, 3, 28, 3, 28, 5, 28, 306, 10, 28, 3, 28, 3, 28, 5, 28, 310, 10, 28, 3, 29, 3, 29, 3, 29, 3, 29, 3, 29, 7, 29, 317, 10, 29, 12, 29, 14, 29, 320, 11, 29, 3, 29, 3, 29, 3, 30, 3, 30, 3, 30, 3, 30, 7, 30, 328, 10, 30, 12, 30, 14, 30, 331, 11, 30, 3, 31, 3, 31, 3, 31, 3, 31, 7, 31, 337, 10, 31, 12, 31, 14, 31, 340, 11, 31, 3, 31, 3, 31, 3, 32, 3, 32, 3, 32, 3, 32, 5, 32, 348, 10, 32, 3, 33, 3, 33, 3, 34, 3, 34, 5, 34, 354, 10, 34, 3, 34, 3, 34, 3, 34, 3, 34, 7, 34, 360, 10, 34, 12, 34, 14, 34, 363, 11, 34, 5, 34, 365, 10, 34, 3, 34, 3, 34, 3, 34, 3, 35, 3, 35, 5, 35, 372, 10, 35, 3, 35, 5, 35, 375, 10, 35, 3, 35, 3, 35, 3, 35, 3, 35, 5, 35, 381, 10, 35, 3, 36, 3, 36, 3, 36, 7, 36, 386, 10, 36, 12, 36, 14, 36, 389, 11, 36, 3, 37, 3, 37, 3, 37, 3, 38, 5, 38, 395, 10, 38, 3, 38, 3, 38, 3, 39, 3, 39, 3, 40, 3, 40, 3, 40, 3, 40, 3, 40, 5, 40, 406, 10, 40, 5, 40, 408, 10, 40, 3, 40, 3, 40, 3, 40, 3, 40, 3, 40, 3, 40, 7, 40, 416, 10, 40, 12, 40, 14, 40, 419, 11, 40, 3, 41, 5, 41, 422, 10, 41, 3, 41, 3, 41, 3, 41, 3, 41, 3, 41, 3, 41, 5, 41, 430, 10, 41, 3, 41, 3, 41, 3, 41, 3, 41, 3, 41, 7, 41, 437, 10, 41, 12, 41, 14, 41, 440, 11, 41, 3, 41, 3, 41, 3, 41, 5, 41, 445, 10, 41, 3, 41, 3, 41, 3, 41, 5, 41, 450, 10, 41, 3, 41, 3, 41, 3, 41, 3, 41, 3, 41, 3, 41, 3, 41, 3, 41, 7, 41, 460, 10, 41, 12, 41, 14, 41, 463, 11, 41, 3, 41, 3, 41, 5, 41, 467, 10, 41, 3, 41, 5, 41, 470, 10, 41, 3, 41, 3, 41, 3, 41, 3, 41, 5, 41, 476, 10, 41, 3, 41, 3, 41, 3, 41, 5, 41, 481, 10, 41, 3, 41, 3, 41, 3, 41, 5, 41, 486, 10, 41, 3, 41, 3, 41, 3, 41, 5, 41, 491, 10, 41, 3, 42, 3, 42, 3, 42, 3, 42, 5, 42, 497, 10, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 3, 42, 7, 42, 518, 10, 42, 12, 42, 14, 42, 521, 11, 42, 3, 43, 3, 43, 3, 43, 6, 43, 526, 10, 43, 13, 43, 14, 43, 527, 3, 43, 3, 43, 5, 43, 532, 10, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 6, 43, 539, 10, 43, 13, 43, 14, 43, 540, 3, 43, 3, 43, 5, 43, 545, 10, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 5, 43, 554, 10, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 5, 43, 563, 10, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 5, 43, 580, 10, 43, 3, 43, 3, 43, 3, 43, 3, 43, 3, 43, 7, 43, 587, 10, 43, 12, 43, 14, 43, 590, 11, 43, 3, 44, 5, 44, 593, 10, 44, 3, 44, 3, 44, 5, 44, 597, 10, 44, 5, 44, 599, 10, 44, 3, 45, 3, 45, 3, 45, 3, 45, 3, 46, 3, 46, 3, 46, 7, 46, 608, 10, 46, 12, 46, 14, 46, 611, 11, 46, 3, 47, 3, 47, 3, 48, 3, 48, 5, 48, 617, 10, 48, 3, 49, 3, 49, 3, 50, 3, 50, 3, 50, 3, 50, 3, 50, 3, 51, 3, 51, 3, 51, 7, 51, 629, 10, 51, 12, 51, 14, 51, 632, 11, 51, 3, 52, 3, 52, 7, 52, 636, 10, 52, 12, 52, 14, 52, 639, 11, 52, 3, 53, 3, 53, 3, 53, 3, 53, 3, 53, 7, 53, 646, 10, 53, 12, 53, 14, 53, 649, 11, 53, 3, 53, 3, 53, 3, 54, 3, 54, 3, 54, 3, 54, 3, 55, 3, 55, 3, 55, 3, 56, 3, 56, 3, 56, 3, 56, 3, 57, 3, 57, 3, 57, 3, 57, 3, 57, 3, 57, 5, 57, 670, 10, 57, 3, 58, 3, 58, 3, 58, 3, 58, 3, 58, 3, 58, 3, 58, 3, 58, 3, 58, 3, 58, 3, 58, 3, 58, 3, 58, 3, 58, 5, 58, 686, 10, 58, 3, 59, 3, 59, 3, 59, 3, 59, 3, 59, 3, 59, 3, 59, 5, 59, 695, 10, 59, 3, 60, 3, 60, 3, 61, 3, 61, 3, 62, 3, 62, 3, 63, 3, 63, 3, 63, 3, 63, 3, 63, 3, 63, 3, 63, 3, 63, 5, 63, 711, 10, 63, 3, 63, 5, 63, 714, 10, 63, 3, 64, 3, 64, 3, 65, 3, 65, 3, 66, 3, 66, 3, 67, 3, 67, 3, 67, 3, 637, 5, 78, 82, 84, 68, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46, 48, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, 86, 88, 90, 92, 94, 96, 98, 100, 102, 104, 106, 108, 110, 112, 114, 116, 118, 120, 122, 124, 126, 128, 130, 132, 2, 14, 3, 2, 263, 285, 3, 2, 191, 192, 4, 2, 79, 79, 147, 147, 3, 2, 10, 11, 3, 2, 34, 35, 4, 2, 129, 130, 135, 135, 3, 2, 131, 134, 4, 2, 129, 130, 138, 138, 5, 2, 134, 134, 309, 309, 311, 315, 5, 2, 27, 27, 289, 290, 311, 312, 4, 2, 302, 304, 317, 317, 4, 2, 10, 10, 12, 12, 2, 775, 2, 134, 3, 2, 2, 2, 4, 137, 3, 2, 2, 2, 6, 146, 3, 2, 2, 2, 8, 151, 3, 2, 2, 2, 10, 153, 3, 2, 2, 2, 12, 166, 3, 2, 2, 2, 14, 170, 3, 2, 2, 2, 16, 172, 3, 2, 2, 2, 18, 190, 3, 2, 2, 2, 20, 193, 3, 2, 2, 2, 22, 195, 3, 2, 2, 2, 24, 197, 3, 2, 2, 2, 26, 201, 3, 2, 2, 2, 28, 209, 3, 2, 2, 2, 30, 211, 3, 2, 2, 2, 32, 219, 3, 2, 2, 2, 34, 231, 3, 2, 2, 2, 36, 233, 3, 2, 2, 2, 38, 240, 3, 2, 2, 2, 40, 244, 3, 2, 2, 2, 42, 256, 3, 2, 2, 2, 44, 261, 3, 2, 2, 2, 46, 263, 3, 2, 2, 2, 48, 270, 3, 2, 2, 2, 50, 279, 3, 2, 2, 2, 52, 289, 3, 2, 2, 2, 54, 301, 3, 2, 2, 2, 56, 311, 3, 2, 2, 2, 58, 323, 3, 2, 2, 2, 60, 332, 3, 2, 2, 2, 62, 347, 3, 2, 2, 2, 64, 349, 3, 2, 2, 2, 66, 351, 3, 2, 2, 2, 68, 380, 3, 2, 2, 2, 70, 382, 3, 2, 2, 2, 72, 390, 3, 2, 2, 2, 74, 394, 3, 2, 2, 2, 76, 398, 3, 2, 2, 2, 78, 407, 3, 2, 2, 2, 80, 490, 3, 2, 2, 2, 82, 496, 3, 2, 2, 2, 84, 579, 3, 2, 2, 2, 86, 598, 3, 2, 2, 2, 88, 600, 3, 2, 2, 2, 90, 604, 3, 2, 2, 2, 92, 612, 3, 2, 2, 2, 94, 616, 3, 2, 2, 2, 96, 618, 3, 2, 2, 2, 98, 620, 3, 2, 2, 2, 100, 625, 3, 2, 2, 2, 102, 633, 3, 2, 2, 2, 104, 640, 3, 2, 2, 2, 106, 652, 3, 2, 2, 2, 108, 656, 3, 2, 2, 2, 110, 659, 3, 2, 2, 2, 112, 669, 3, 2, 2, 2, 114, 685, 3, 2, 2, 2, 116, 694, 3, 2, 2, 2, 118, 696, 3, 2, 2, 2, 120, 698, 3, 2, 2, 2, 122, 700, 3, 2, 2, 2, 124, 713, 3, 2, 2, 2, 126, 715, 3, 2, 2, 2, 128, 717, 3, 2, 2, 2, 130, 719, 3, 2, 2, 2, 132, 721, 3, 2, 2, 2, 134, 135, 5, 4, 3, 2, 135, 136, 7, 2, 2, 3, 136, 3, 3, 2, 2, 2, 137, 138, 5, 6, 4, 2, 138, 139, 7, 2, 2, 3, 139, 5, 3, 2, 2, 2, 140, 141, 5, 8, 5, 2, 141, 142, 7, 300, 2, 2, 142, 145, 3, 2, 2, 2, 143, 145, 5, 10, 6, 2, 144, 140, 3, 2, 2, 2, 144, 143, 3, 2, 2, 2, 145, 148, 3, 2, 2, 2, 146, 144, 3, 2, 2, 2, 146, 147, 3, 2, 2, 2, 147, 7, 3, 2, 2, 2, 148, 146, 3, 2, 2, 2, 149, 152, 5, 12, 7, 2, 150, 152, 5, 14, 8, 2, 151, 149, 3, 2, 2, 2, 151, 150, 3, 2, 2, 2, 152, 9, 3, 2, 2, 2, 153, 154, 7, 300, 2, 2, 154, 11, 3, 2, 2, 2, 155, 167, 5, 16, 9, 2, 156, 167, 5, 30, 16, 2, 157, 167, 5, 32, 17, 2, 158, 167, 5, 34, 18, 2, 159, 167, 5, 36, 19, 2, 160, 167, 5, 42, 22, 2, 161, 167, 5, 44, 23, 2, 162, 167, 5, 46, 24, 2, 163, 167, 5, 48, 25, 2, 164, 167, 5, 50, 26, 2, 165, 167, 5, 52, 27, 2, 166, 155, 3, 2, 2, 2, 166, 156, 3, 2, 2, 2, 166, 157, 3, 2, 2, 2, 166, 158, 3, 2, 2, 2, 166, 159, 3, 2, 2, 2, 166, 160, 3, 2, 2, 2, 166, 161, 3, 2, 2, 2, 166, 162, 3, 2, 2, 2, 166, 163, 3, 2, 2, 2, 166, 164, 3, 2, 2, 2, 166, 165, 3, 2, 2, 2, 167, 13, 3, 2, 2, 2, 168, 171, 5, 64, 33, 2, 169, 171, 5, 54, 28, 2, 170, 168, 3, 2, 2, 2, 170, 169, 3, 2, 2, 2, 171, 15, 3, 2, 2, 2, 172, 173, 7, 72, 2, 2, 173, 174, 7, 73, 2, 2, 174, 175, 5, 102, 52, 2, 175, 176, 7, 297, 2, 2, 176, 181, 5, 18, 10, 2, 177, 178, 7, 299, 2, 2, 178, 180, 5, 18, 10, 2, 179, 177, 3, 2, 2, 2, 180, 183, 3, 2, 2, 2, 181, 179, 3, 2, 2, 2, 181, 182, 3, 2, 2, 2, 182, 184, 3, 2, 2, 2, 183, 181, 3, 2, 2, 2, 184, 186, 7, 298, 2, 2, 185, 187, 5, 24, 13, 2, 186, 185, 3, 2, 2, 2, 186, 187, 3, 2, 2, 2, 187, 188, 3, 2, 2, 2, 188, 189, 5, 104, 53, 2, 189, 17, 3, 2, 2, 2, 190, 191, 5, 20, 11, 2, 191, 192, 5, 22, 12, 2, 192, 19, 3, 2, 2, 2, 193, 194, 7, 261, 2, 2, 194, 21, 3, 2, 2, 2, 195, 196, 9, 2, 2, 2, 196, 23, 3, 2, 2, 2, 197, 198, 7, 206, 2, 2, 198, 199, 7, 15, 2, 2, 199, 200, 5, 26, 14, 2, 200, 25, 3, 2, 2, 2, 201, 206, 5, 28, 15, 2, 202, 203, 7, 299, 2, 2, 203, 205, 5, 28, 15, 2, 204, 202, 3, 2, 2, 2, 205, 208, 3, 2, 2, 2, 206, 204, 3, 2, 2, 2, 206, 207, 3, 2, 2, 2, 207, 27, 3, 2, 2, 2, 208, 206, 3, 2, 2, 2, 209, 210, 7, 261, 2, 2, 210, 29, 3, 2, 2, 2, 211, 212, 7, 72, 2, 2, 212, 214, 7, 198, 2, 2, 213, 215, 5, 106, 54, 2, 214, 213, 3, 2, 2, 2, 214, 215, 3, 2, 2, 2, 215, 216, 3, 2, 2, 2, 216, 217, 5, 102, 52, 2, 217, 218, 5, 104, 53, 2, 218, 31, 3, 2, 2, 2, 219, 221, 7, 72, 2, 2, 220, 222, 7, 173, 2, 2, 221, 220, 3, 2, 2, 2, 221, 222, 3, 2, 2, 2, 222, 223, 3, 2, 2, 2, 223, 225, 7, 75, 2, 2, 224, 226, 5, 106, 54, 2, 225, 224, 3, 2, 2, 2, 225, 226, 3, 2, 2, 2, 226, 227, 3, 2, 2, 2, 227, 228, 5, 102, 52, 2, 228, 229, 7, 9, 2, 2, 229, 230, 5, 66, 34, 2, 230, 33, 3, 2, 2, 2, 231, 232, 3, 2, 2, 2, 232, 35, 3, 2, 2, 2, 233, 234, 7, 102, 2, 2, 234, 235, 7, 73, 2, 2, 235, 238, 5, 102, 52, 2, 236, 239, 5, 38, 20, 2, 237, 239, 5, 40, 21, 2, 238, 236, 3, 2, 2, 2, 238, 237, 3, 2, 2, 2, 239, 37, 3, 2, 2, 2, 240, 241, 7, 103, 2, 2, 241, 242, 7, 99, 2, 2, 242, 243, 5, 102, 52, 2, 243, 39, 3, 2, 2, 2, 244, 245, 7, 106, 2, 2, 245, 246, 7, 297, 2, 2, 246, 251, 5, 110, 56, 2, 247, 248, 7, 299, 2, 2, 248, 250, 5, 110, 56, 2, 249, 247, 3, 2, 2, 2, 250, 253, 3, 2, 2, 2, 251, 249, 3, 2, 2, 2, 251, 252, 3, 2, 2, 2, 252, 254, 3, 2, 2, 2, 253, 251, 3, 2, 2, 2, 254, 255, 7, 298, 2, 2, 255, 41, 3, 2, 2, 2, 256, 257, 7, 102, 2, 2, 257, 258, 7, 198, 2, 2, 258, 259, 5, 102, 52, 2, 259, 260, 5, 40, 21, 2, 260, 43, 3, 2, 2, 2, 261, 262, 3, 2, 2, 2, 262, 45, 3, 2, 2, 2, 263, 264, 7, 94, 2, 2, 264, 266, 7, 73, 2, 2, 265, 267, 5, 108, 55, 2, 266, 265, 3, 2, 2, 2, 266, 267, 3, 2, 2, 2, 267, 268, 3, 2, 2, 2, 268, 269, 5, 102, 52, 2, 269, 47, 3, 2, 2, 2, 270, 271, 7, 94, 2, 2, 271, 273, 7, 198, 2, 2, 272, 274, 5, 108, 55, 2, 273, 272, 3, 2, 2, 2, 273, 274, 3, 2, 2, 2, 274, 275, 3, 2, 2, 2, 275, 277, 5, 102, 52, 2, 276, 278, 9, 3, 2, 2, 277, 276, 3, 2, 2, 2, 277, 278, 3, 2, 2, 2, 278, 49, 3, 2, 2, 2, 279, 281, 7, 94, 2, 2, 280, 282, 7, 173, 2, 2, 281, 280, 3, 2, 2, 2, 281, 282, 3, 2, 2, 2, 282, 283, 3, 2, 2, 2, 283, 285, 7, 75, 2, 2, 284, 286, 5, 108, 55, 2, 285, 284, 3, 2, 2, 2, 285, 286, 3, 2, 2, 2, 286, 287, 3, 2, 2, 2, 287, 288, 5, 102, 52, 2, 288, 51, 3, 2, 2, 2, 289, 293, 7, 94, 2, 2, 290, 294, 7, 173, 2, 2, 291, 292, 7, 173, 2, 2, 292, 294, 7, 262, 2, 2, 293, 290, 3, 2, 2, 2, 293, 291, 3, 2, 2, 2, 293, 294, 3, 2, 2, 2, 294, 295, 3, 2, 2, 2, 295, 297, 7, 164, 2, 2, 296, 298, 5, 108, 55, 2, 297, 296, 3, 2, 2, 2, 297, 298, 3, 2, 2, 2, 298, 299, 3, 2, 2, 2, 299, 300, 5, 102, 52, 2, 300, 53, 3, 2, 2, 2, 301, 302, 7, 77, 2, 2, 302, 303, 9, 4, 2, 2, 303, 309, 5, 102, 52, 2, 304, 306, 5, 56, 29, 2, 305, 304, 3, 2, 2, 2, 305, 306, 3, 2, 2, 2, 306, 307, 3, 2, 2, 2, 307, 310, 5, 66, 34, 2, 308, 310, 5, 58, 30, 2, 309, 305, 3, 2, 2, 2, 309, 308, 3, 2, 2, 2, 310, 55, 3, 2, 2, 2, 311, 312, 7, 60, 2, 2, 312, 313, 7, 297, 2, 2, 313, 318, 5, 110, 56, 2, 314, 315, 7, 299, 2, 2, 315, 317, 5, 110, 56, 2, 316, 314, 3, 2, 2, 2, 317, 320, 3, 2, 2, 2, 318, 316, 3, 2, 2, 2, 318, 319, 3, 2, 2, 2, 319, 321, 3, 2, 2, 2, 320, 318, 3, 2, 2, 2, 321, 322, 7, 298, 2, 2, 322, 57, 3, 2, 2, 2, 323, 324, 7, 71, 2, 2, 324, 329, 5, 60, 31, 2, 325, 326, 7, 299, 2, 2, 326, 328, 5, 60, 31, 2, 327, 325, 3, 2, 2, 2, 328, 331, 3, 2, 2, 2, 329, 327, 3, 2, 2, 2, 329, 330, 3, 2, 2, 2, 330, 59, 3, 2, 2, 2, 331, 329, 3, 2, 2, 2, 332, 333, 7, 297, 2, 2, 333, 338, 5, 62, 32, 2, 334, 335, 7, 299, 2, 2, 335, 337, 5, 62, 32, 2, 336, 334, 3, 2, 2, 2, 337, 340, 3, 2, 2, 2, 338, 336, 3, 2, 2, 2, 338, 339, 3, 2, 2, 2, 339, 341, 3, 2, 2, 2, 340, 338, 3, 2, 2, 2, 341, 342, 7, 298, 2, 2, 342, 61, 3, 2, 2, 2, 343, 348, 5, 126, 64, 2, 344, 348, 5, 130, 66, 2, 345, 348, 7, 321, 2, 2, 346, 348, 7, 285, 2, 2, 347, 343, 3, 2, 2, 2, 347, 344, 3, 2, 2, 2, 347, 345, 3, 2, 2, 2, 347, 346, 3, 2, 2, 2, 348, 63, 3, 2, 2, 2, 349, 350, 3, 2, 2, 2, 350, 65, 3, 2, 2, 2, 351, 353, 7, 6, 2, 2, 352, 354, 5, 132, 67, 2, 353, 352, 3, 2, 2, 2, 353, 354, 3, 2, 2, 2, 354, 364, 3, 2, 2, 2, 355, 365, 7, 309, 2, 2, 356, 361, 5, 68, 35, 2, 357, 358, 7, 299, 2, 2, 358, 360, 5, 68, 35, 2, 359, 357, 3, 2, 2, 2, 360, 363, 3, 2, 2, 2, 361, 359, 3, 2, 2, 2, 361, 362, 3, 2, 2, 2, 362, 365, 3, 2, 2, 2, 363, 361, 3, 2, 2, 2, 364, 355, 3, 2, 2, 2, 364, 356, 3, 2, 2, 2, 365, 366, 3, 2, 2, 2, 366, 367, 7, 7, 2, 2, 367, 368, 5, 70, 36, 2, 368, 67, 3, 2, 2, 2, 369, 374, 5, 76, 39, 2, 370, 372, 7, 9, 2, 2, 371, 370, 3, 2, 2, 2, 371, 372, 3, 2, 2, 2, 372, 373, 3, 2, 2, 2, 373, 375, 5, 102, 52, 2, 374, 371, 3, 2, 2, 2, 374, 375, 3, 2, 2, 2, 375, 381, 3, 2, 2, 2, 376, 377, 5, 102, 52, 2, 377, 378, 7, 294, 2, 2, 378, 379, 7, 309, 2, 2, 379, 381, 3, 2, 2, 2, 380, 369, 3, 2, 2, 2, 380, 376, 3, 2, 2, 2, 381, 69, 3, 2, 2, 2, 382, 387, 5, 72, 37, 2, 383, 384, 7, 299, 2, 2, 384, 386, 5, 72, 37, 2, 385, 383, 3, 2, 2, 2, 386, 389, 3, 2, 2, 2, 387, 385, 3, 2, 2, 2, 387, 388, 3, 2, 2, 2, 388, 71, 3, 2, 2, 2, 389, 387, 3, 2, 2, 2, 390, 391, 5, 74, 38, 2, 391, 392, 5, 86, 44, 2, 392, 73, 3, 2, 2, 2, 393, 395, 7, 73, 2, 2, 394, 393, 3, 2, 2, 2, 394, 395, 3, 2, 2, 2, 395, 396, 3, 2, 2, 2, 396, 397, 5, 102, 52, 2, 397, 75, 3, 2, 2, 2, 398, 399, 5, 78, 40, 2, 399, 77, 3, 2, 2, 2, 400, 401, 8, 40, 1, 2, 401, 402, 7, 27, 2, 2, 402, 408, 5, 78, 40, 6, 403, 405, 5, 82, 42, 2, 404, 406, 5, 80, 41, 2, 405, 404, 3, 2, 2, 2, 405, 406, 3, 2, 2, 2, 406, 408, 3, 2, 2, 2, 407, 400, 3, 2, 2, 2, 407, 403, 3, 2, 2, 2, 408, 417, 3, 2, 2, 2, 409, 410, 12, 4, 2, 2, 410, 411, 7, 25, 2, 2, 411, 416, 5, 78, 40, 5, 412, 413, 12, 3, 2, 2, 413, 414, 7, 24, 2, 2, 414, 416, 5, 78, 40, 4, 415, 409, 3, 2, 2, 2, 415, 412, 3, 2, 2, 2, 416, 419, 3, 2, 2, 2, 417, 415, 3, 2, 2, 2, 417, 418, 3, 2, 2, 2, 418, 79, 3, 2, 2, 2, 419, 417, 3, 2, 2, 2, 420, 422, 7, 27, 2, 2, 421, 420, 3, 2, 2, 2, 421, 422, 3, 2, 2, 2, 422, 423, 3, 2, 2, 2, 423, 424, 7, 30, 2, 2, 424, 425, 5, 82, 42, 2, 425, 426, 7, 25, 2, 2, 426, 427, 5, 82, 42, 2, 427, 491, 3, 2, 2, 2, 428, 430, 7, 27, 2, 2, 429, 428, 3, 2, 2, 2, 429, 430, 3, 2, 2, 2, 430, 431, 3, 2, 2, 2, 431, 432, 7, 26, 2, 2, 432, 433, 7, 297, 2, 2, 433, 438, 5, 76, 39, 2, 434, 435, 7, 299, 2, 2, 435, 437, 5, 76, 39, 2, 436, 434, 3, 2, 2, 2, 437, 440, 3, 2, 2, 2, 438, 436, 3, 2, 2, 2, 438, 439, 3, 2, 2, 2, 439, 441, 3, 2, 2, 2, 440, 438, 3, 2, 2, 2, 441, 442, 7, 298, 2, 2, 442, 491, 3, 2, 2, 2, 443, 445, 7, 27, 2, 2, 444, 443, 3, 2, 2, 2, 444, 445, 3, 2, 2, 2, 445, 446, 3, 2, 2, 2, 446, 447, 7, 32, 2, 2, 447, 491, 5, 82, 42, 2, 448, 450, 7, 27, 2, 2, 449, 448, 3, 2, 2, 2, 449, 450, 3, 2, 2, 2, 450, 451, 3, 2, 2, 2, 451, 452, 7, 31, 2, 2, 452, 466, 9, 5, 2, 2, 453, 454, 7, 297, 2, 2, 454, 467, 7, 298, 2, 2, 455, 456, 7, 297, 2, 2, 456, 461, 5, 76, 39, 2, 457, 458, 7, 299, 2, 2, 458, 460, 5, 76, 39, 2, 459, 457, 3, 2, 2, 2, 460, 463, 3, 2, 2, 2, 461, 459, 3, 2, 2, 2, 461, 462, 3, 2, 2, 2, 462, 464, 3, 2, 2, 2, 463, 461, 3, 2, 2, 2, 464, 465, 7, 298, 2, 2, 465, 467, 3, 2, 2, 2, 466, 453, 3, 2, 2, 2, 466, 455, 3, 2, 2, 2, 467, 491, 3, 2, 2, 2, 468, 470, 7, 27, 2, 2, 469, 468, 3, 2, 2, 2, 469, 470, 3, 2, 2, 2, 470, 471, 3, 2, 2, 2, 471, 472, 7, 31, 2, 2, 472, 491, 5, 82, 42, 2, 473, 475, 7, 33, 2, 2, 474, 476, 7, 27, 2, 2, 475, 474, 3, 2, 2, 2, 475, 476, 3, 2, 2, 2, 476, 477, 3, 2, 2, 2, 477, 491, 7, 285, 2, 2, 478, 480, 7, 33, 2, 2, 479, 481, 7, 27, 2, 2, 480, 479, 3, 2, 2, 2, 480, 481, 3, 2, 2, 2, 481, 482, 3, 2, 2, 2, 482, 491, 9, 6, 2, 2, 483, 485, 7, 33, 2, 2, 484, 486, 7, 27, 2, 2, 485, 484, 3, 2, 2, 2, 485, 486, 3, 2, 2, 2, 486, 487, 3, 2, 2, 2, 487, 488, 7, 12, 2, 2, 488, 489, 7, 7, 2, 2, 489, 491, 5, 82, 42, 2, 490, 421, 3, 2, 2, 2, 490, 429, 3, 2, 2, 2, 490, 444, 3, 2, 2, 2, 490, 449, 3, 2, 2, 2, 490, 469, 3, 2, 2, 2, 490, 473, 3, 2, 2, 2, 490, 478, 3, 2, 2, 2, 490, 483, 3, 2, 2, 2, 491, 81, 3, 2, 2, 2, 492, 493, 8, 42, 1, 2, 493, 497, 5, 84, 43, 2, 494, 495, 9, 7, 2, 2, 495, 497, 5, 82, 42, 9, 496, 492, 3, 2, 2, 2, 496, 494, 3, 2, 2, 2, 497, 519, 3, 2, 2, 2, 498, 499, 12, 8, 2, 2, 499, 500, 9, 8, 2, 2, 500, 518, 5, 82, 42, 9, 501, 502, 12, 7, 2, 2, 502, 503, 9, 9, 2, 2, 503, 518, 5, 82, 42, 8, 504, 505, 12, 6, 2, 2, 505, 506, 7, 136, 2, 2, 506, 518, 5, 82, 42, 7, 507, 508, 12, 5, 2, 2, 508, 509, 7, 139, 2, 2, 509, 518, 5, 82, 42, 6, 510, 511, 12, 4, 2, 2, 511, 512, 7, 137, 2, 2, 512, 518, 5, 82, 42, 5, 513, 514, 12, 3, 2, 2, 514, 515, 5, 114, 58, 2, 515, 516, 5, 82, 42, 4, 516, 518, 3, 2, 2, 2, 517, 498, 3, 2, 2, 2, 517, 501, 3, 2, 2, 2, 517, 504, 3, 2, 2, 2, 517, 507, 3, 2, 2, 2, 517, 510, 3, 2, 2, 2, 517, 513, 3, 2, 2, 2, 518, 521, 3, 2, 2, 2, 519, 517, 3, 2, 2, 2, 519, 520, 3, 2, 2, 2, 520, 83, 3, 2, 2, 2, 521, 519, 3, 2, 2, 2, 522, 523, 8, 43, 1, 2, 523, 525, 7, 41, 2, 2, 524, 526, 5, 98, 50, 2, 525, 524, 3, 2, 2, 2, 526, 527, 3, 2, 2, 2, 527, 525, 3, 2, 2, 2, 527, 528, 3, 2, 2, 2, 528, 531, 3, 2, 2, 2, 529, 530, 7, 44, 2, 2, 530, 532, 5, 76, 39, 2, 531, 529, 3, 2, 2, 2, 531, 532, 3, 2, 2, 2, 532, 533, 3, 2, 2, 2, 533, 534, 7, 45, 2, 2, 534, 580, 3, 2, 2, 2, 535, 536, 7, 41, 2, 2, 536, 538, 5, 76, 39, 2, 537, 539, 5, 98, 50, 2, 538, 537, 3, 2, 2, 2, 539, 540, 3, 2, 2, 2, 540, 538, 3, 2, 2, 2, 540, 541, 3, 2, 2, 2, 541, 544, 3, 2, 2, 2, 542, 543, 7, 44, 2, 2, 543, 545, 5, 76, 39, 2, 544, 542, 3, 2, 2, 2, 544, 545, 3, 2, 2, 2, 545, 546, 3, 2, 2, 2, 546, 547, 7, 45, 2, 2, 547, 580, 3, 2, 2, 2, 548, 549, 7, 67, 2, 2, 549, 550, 7, 297, 2, 2, 550, 553, 5, 76, 39, 2, 551, 552, 7, 114, 2, 2, 552, 554, 7, 36, 2, 2, 553, 551, 3, 2, 2, 2, 553, 554, 3, 2, 2, 2, 554, 555, 3, 2, 2, 2, 555, 556, 7, 298, 2, 2, 556, 580, 3, 2, 2, 2, 557, 558, 7, 69, 2, 2, 558, 559, 7, 297, 2, 2, 559, 562, 5, 76, 39, 2, 560, 561, 7, 114, 2, 2, 561, 563, 7, 36, 2, 2, 562, 560, 3, 2, 2, 2, 562, 563, 3, 2, 2, 2, 563, 564, 3, 2, 2, 2, 564, 565, 7, 298, 2, 2, 565, 580, 3, 2, 2, 2, 566, 567, 7, 119, 2, 2, 567, 568, 7, 297, 2, 2, 568, 569, 5, 82, 42, 2, 569, 570, 7, 26, 2, 2, 570, 571, 5, 82, 42, 2, 571, 572, 7, 298, 2, 2, 572, 580, 3, 2, 2, 2, 573, 580, 5, 124, 63, 2, 574, 580, 7, 131, 2, 2, 575, 576, 7, 297, 2, 2, 576, 577, 5, 76, 39, 2, 577, 578, 7, 298, 2, 2, 578, 580, 3, 2, 2, 2, 579, 522, 3, 2, 2, 2, 579, 535, 3, 2, 2, 2, 579, 548, 3, 2, 2, 2, 579, 557, 3, 2, 2, 2, 579, 566, 3, 2, 2, 2, 579, 573, 3, 2, 2, 2, 579, 574, 3, 2, 2, 2, 579, 575, 3, 2, 2, 2, 580, 588, 3, 2, 2, 2, 581, 582, 12, 4, 2, 2, 582, 583, 7, 295, 2, 2, 583, 584, 5, 82, 42, 2, 584, 585, 7, 296, 2, 2, 585, 587, 3, 2, 2, 2, 586, 581, 3, 2, 2, 2, 587, 590, 3, 2, 2, 2, 588, 586, 3, 2, 2, 2, 588, 589, 3, 2, 2, 2, 589, 85, 3, 2, 2, 2, 590, 588, 3, 2, 2, 2, 591, 593, 7, 9, 2, 2, 592, 591, 3, 2, 2, 2, 592, 593, 3, 2, 2, 2, 593, 594, 3, 2, 2, 2, 594, 596, 5, 94, 48, 2, 595, 597, 5, 88, 45, 2, 596, 595, 3, 2, 2, 2, 596, 597, 3, 2, 2, 2, 597, 599, 3, 2, 2, 2, 598, 592, 3, 2, 2, 2, 598, 599, 3, 2, 2, 2, 599, 87, 3, 2, 2, 2, 600, 601, 7, 297, 2, 2, 601, 602, 5, 90, 46, 2, 602, 603, 7, 298, 2, 2, 603, 89, 3, 2, 2, 2, 604, 609, 5, 92, 47, 2, 605, 606, 7, 299, 2, 2, 606, 608, 5, 92, 47, 2, 607, 605, 3, 2, 2, 2, 608, 611, 3, 2, 2, 2, 609, 607, 3, 2, 2, 2, 609, 610, 3, 2, 2, 2, 610, 91, 3, 2, 2, 2, 611, 609, 3, 2, 2, 2, 612, 613, 5, 94, 48, 2, 613, 93, 3, 2, 2, 2, 614, 617, 7, 320, 2, 2, 615, 617, 5, 96, 49, 2, 616, 614, 3, 2, 2, 2, 616, 615, 3, 2, 2, 2, 617, 95, 3, 2, 2, 2, 618, 619, 7, 316, 2, 2, 619, 97, 3, 2, 2, 2, 620, 621, 7, 42, 2, 2, 621, 622, 5, 76, 39, 2, 622, 623, 7, 43, 2, 2, 623, 624, 5, 76, 39, 2, 624, 99, 3, 2, 2, 2, 625, 630, 5, 102, 52, 2, 626, 627, 7, 299, 2, 2, 627, 629, 5, 102, 52, 2, 628, 626, 3, 2, 2, 2, 629, 632, 3, 2, 2, 2, 630, 628, 3, 2, 2, 2, 630, 631, 3, 2, 2, 2, 631, 101, 3, 2, 2, 2, 632, 630, 3, 2, 2, 2, 633, 637, 7, 261, 2, 2, 634, 636, 7, 260, 2, 2, 635, 634, 3, 2, 2, 2, 636, 639, 3, 2, 2, 2, 637, 638, 3, 2, 2, 2, 637, 635, 3, 2, 2, 2, 638, 103, 3, 2, 2, 2, 639, 637, 3, 2, 2, 2, 640, 641, 7, 70, 2, 2, 641, 642, 7, 297, 2, 2, 642, 647, 5, 110, 56, 2, 643, 644, 7, 299, 2, 2, 644, 646, 5, 110, 56, 2, 645, 643, 3, 2, 2, 2, 646, 649, 3, 2, 2, 2, 647, 645, 3, 2, 2, 2, 647, 648, 3, 2, 2, 2, 648, 650, 3, 2, 2, 2, 649, 647, 3, 2, 2, 2, 650, 651, 7, 298, 2, 2, 651, 105, 3, 2, 2, 2, 652, 653, 7, 118, 2, 2, 653, 654, 7, 27, 2, 2, 654, 655, 7, 29, 2, 2, 655, 107, 3, 2, 2, 2, 656, 657, 7, 118, 2, 2, 657, 658, 7, 29, 2, 2, 658, 109, 3, 2, 2, 2, 659, 660, 7, 259, 2, 2, 660, 661, 7, 286, 2, 2, 661, 662, 7, 259, 2, 2, 662, 111, 3, 2, 2, 2, 663, 670, 7, 25, 2, 2, 664, 665, 7, 292, 2, 2, 665, 670, 7, 292, 2, 2, 666, 670, 7, 24, 2, 2, 667, 668, 7, 291, 2, 2, 668, 670, 7, 291, 2, 2, 669, 663, 3, 2, 2, 2, 669, 664, 3, 2, 2, 2, 669, 666, 3, 2, 2, 2, 669, 667, 3, 2, 2, 2, 670, 113, 3, 2, 2, 2, 671, 686, 7, 286, 2, 2, 672, 686, 7, 287, 2, 2, 673, 686, 7, 288, 2, 2, 674, 675, 7, 288, 2, 2, 675, 686, 7, 286, 2, 2, 676, 677, 7, 287, 2, 2, 677, 686, 7, 286, 2, 2, 678, 679, 7, 288, 2, 2, 679, 686, 7, 287, 2, 2, 680, 681, 7, 289, 2, 2, 681, 686, 7, 286, 2, 2, 682, 683, 7, 288, 2, 2, 683, 684, 7, 286, 2, 2, 684, 686, 7, 287, 2, 2, 685, 671, 3, 2, 2, 2, 685, 672, 3, 2, 2, 2, 685, 673, 3, 2, 2, 2, 685, 674, 3, 2, 2, 2, 685, 676, 3, 2, 2, 2, 685, 678, 3, 2, 2, 2, 685, 680, 3, 2, 2, 2, 685, 682, 3, 2, 2, 2, 686, 115, 3, 2, 2, 2, 687, 688, 7, 288, 2, 2, 688, 695, 7, 288, 2, 2, 689, 690, 7, 287, 2, 2, 690, 695, 7, 287, 2, 2, 691, 695, 7, 292, 2, 2, 692, 695, 7, 293, 2, 2, 693, 695, 7, 291, 2, 2, 694, 687, 3, 2, 2, 2, 694, 689, 3, 2, 2, 2, 694, 691, 3, 2, 2, 2, 694, 692, 3, 2, 2, 2, 694, 693, 3, 2, 2, 2, 695, 117, 3, 2, 2, 2, 696, 697, 9, 10, 2, 2, 697, 119, 3, 2, 2, 2, 698, 699, 9, 11, 2, 2, 699, 121, 3, 2, 2, 2, 700, 701, 5, 102, 52, 2, 701, 123, 3, 2, 2, 2, 702, 714, 5, 126, 64, 2, 703, 714, 5, 128, 65, 2, 704, 705, 7, 311, 2, 2, 705, 714, 5, 128, 65, 2, 706, 714, 5, 130, 66, 2, 707, 714, 7, 318, 2, 2, 708, 714, 7, 319, 2, 2, 709, 711, 7, 27, 2, 2, 710, 709, 3, 2, 2, 2, 710, 711, 3, 2, 2, 2, 711, 712, 3, 2, 2, 2, 712, 714, 7, 285, 2, 2, 713, 702, 3, 2, 2, 2, 713, 703, 3, 2, 2, 2, 713, 704, 3, 2, 2, 2, 713, 706, 3, 2, 2, 2, 713, 707, 3, 2, 2, 2, 713, 708, 3, 2, 2, 2, 713, 710, 3, 2, 2, 2, 714, 125, 3, 2, 2, 2, 715, 716, 7, 316, 2, 2, 716, 127, 3, 2, 2, 2, 717, 718, 9, 12, 2, 2, 718, 129, 3, 2, 2, 2, 719, 720, 9, 6, 2, 2, 720, 131, 3, 2, 2, 2, 721, 722, 9, 13, 2, 2, 722, 133, 3, 2, 2, 2, 76, 144, 146, 151, 166, 170, 181, 186, 206, 214, 221, 225, 238, 251, 266, 273, 277, 281, 285, 293, 297, 305, 309, 318, 329, 338, 347, 353, 361, 364, 371, 374, 380, 387, 394, 405, 407, 415, 417, 421, 429, 438, 444, 449, 461, 466, 469, 475, 480, 485, 490, 496, 517, 519, 527, 531, 540, 544, 553, 562, 579, 588, 592, 596, 598, 609, 616, 630, 637, 647, 669, 685, 694, 710, 713]