tokens = [(-7, 'table_reference_list'), (-7, 'optgroup'), (-7, 'data_type'), (-6, 'MAX'), (-7, 'allany'), (-6, 'DESC'), (-6, 'BY'), (-6, 'INTO'), (-7, 'predicate'), (-6, 'ASC'), (-7, 'assn'), (-6, 'EXCEPT'), (-6, '.'), (-7, 'create_index_statement'), (-7, 'optcolids'), (-7, 'select_sublist'), (-6, '<'), (-6, 'DELETE'), (-8, 'character_string_literal'), (-7, 'namelist'), (-7, 'table_name'), (-7, 'insert_spec'), (-7, 'statement'), (-8, 'user_defined_name'), (-7, 'alldistinct'), (-6, 'ALL'), (-6, 'UNION'), (-7, 'boolean_primary'), (-6, 'FLOAT'), (-6, 'VARCHAR'), (-6, 'SUM'), (-6, ','), (-7, 'character_string_type'), (-7, 'create_view_statement'), (-7, 'comparison_predicate'), (-6, 'CREATE'), (-7, 'drop_index_statement'), (-7, 'sliteral'), (-7, 'exists_predicate'), (-7, 'aggregate'), (-6, 'INTERSECT'), (-6, '*'), (-6, 'MIN'), (-7, 'factor'), (-7, 'optnamelist'), (-6, 'BETWEEN'), (-7, 'selectsubs'), (-6, 'DISTINCT'), (-7, 'opt_ord'), (-7, 'colids'), (-6, 'EXISTS'), (-6, 'MEDIAN'), (-6, 'INDEX'), (-6, '('), (-6, '?'), (-7, 'colelt'), (-6, 'ORDER'), (-8, '*'), (-6, 'UPDATE'), (-7, 'insert_statement'), (-7, 'select_statement'), (-6, 'HAVING'), (-7, 'optcolconstraints'), (-7, 'colelts'), (-7, 'drop_view_statement'), (-6, 'AS'), (-7, 'exact_numeric_type'), (-7, 'column_identifier'), (-6, '/'), (-6, 'UNIQUE'), (-7, 'column_alias'), (-6, 'AND'), (-7, 'drop_table_statement'), (-7, 'sub_query'), (-6, '='), (-7, 'opthaving'), (-7, 'approximate_numeric_type'), (-6, 'INTEGER'), (-6, 'VIEW'), (-6, 'AVG'), (-6, 'ON'), (-6, 'IN'), (-7, 'statement_list'), (-7, 'set_function_reference'), (-6, 'WHERE'), (-7, 'optwhere'), (-6, 'SELECT'), (-7, 'assns'), (-7, 'boolean_factor'), (-7, 'select_list'), (-7, 'colnamelist'), (-6, ';'), (-7, 'optorder_by'), (-8, 'numeric_literal'), (-6, 'INSERT'), (-6, 'COUNT'), (-6, 'OR'), (-6, '-'), (-7, 'update_statement_searched'), (-6, '+'), (-6, 'DROP'), (-7, 'sort_specification'), (-7, 'column_name'), (-6, 'FROM'), (-7, 'create_table_statement'), (-6, 'TABLE'), (-6, 'SET'), (-6, ')'), (-7, 'optunion'), (-6, 'GROUP'), (-7, 'term'), (-6, 'NOT'), (-7, 'literal'), (-7, 'boolean_term'), (-7, 'column_constraint_definition'), (-7, 'expression'), (-6, 'VALUES'), (-7, 'primary'), (-6, 'ANY'), (-7, 'litlist'), (-6, '>'), (-7, 'delete_statement_searched'), (-7, 'sortspeclist'), (-7, 'optdefault'), (-7, 'search_condition'), (-7, 'column_definition')]
punct = '.,*;=<>{}()?+-/'
comments = ['--.*']
RuleTups = [('stat1', ((-7, 'statement_list'), [(-7, 'statement')])), ('statn', ((-7, 'statement_list'), [(-7, 'statement'), (-6, ';'), (-7, 'statement_list')])), ('dropindexstat', ((-7, 'statement'), [(-7, 'drop_index_statement')])), ('createindexstat', ((-7, 'statement'), [(-7, 'create_index_statement')])), ('selstat', ((-7, 'statement'), [(-7, 'select_statement')])), ('insstat', ((-7, 'statement'), [(-7, 'insert_statement')])), ('createtablestat', ((-7, 'statement'), [(-7, 'create_table_statement')])), ('droptablestat', ((-7, 'statement'), [(-7, 'drop_table_statement')])), ('delstat', ((-7, 'statement'), [(-7, 'delete_statement_searched')])), ('updatestat', ((-7, 'statement'), [(-7, 'update_statement_searched')])), ('createviewstat', ((-7, 'statement'), [(-7, 'create_view_statement')])), ('dropviewstat', ((-7, 'statement'), [(-7, 'drop_view_statement')])), ('dropview', ((-7, 'drop_view_statement'), [(-6, 'DROP'), (-6, 'VIEW'), (-8, 'user_defined_name')])), ('createview', ((-7, 'create_view_statement'), [(-6, 'CREATE'), (-6, 'VIEW'), (-8, 'user_defined_name'), (-7, 'optnamelist'), (-6, 'AS'), (-7, 'select_statement')])), ('optnamelist0', ((-7, 'optnamelist'), [])), ('optnamelistn', ((-7, 'optnamelist'), [(-6, '('), (-7, 'namelist'), (-6, ')')])), ('dropindex', ((-7, 'drop_index_statement'), [(-6, 'DROP'), (-6, 'INDEX'), (-8, 'user_defined_name')])), ('createindex', ((-7, 'create_index_statement'), [(-6, 'CREATE'), (-6, 'INDEX'), (-8, 'user_defined_name'), (-6, 'ON'), (-8, 'user_defined_name'), (-6, '('), (-7, 'namelist'), (-6, ')')])), ('createuniqueindex', ((-7, 'create_index_statement'), [(-6, 'CREATE'), (-6, 'UNIQUE'), (-6, 'INDEX'), (-8, 'user_defined_name'), (-6, 'ON'), (-8, 'user_defined_name'), (-6, '('), (-7, 'namelist'), (-6, ')')])), ('names1', ((-7, 'namelist'), [(-8, 'user_defined_name')])), ('namesn', ((-7, 'namelist'), [(-7, 'namelist'), (-6, ','), (-8, 'user_defined_name')])), ('update', ((-7, 'update_statement_searched'), [(-6, 'UPDATE'), (-8, 'user_defined_name'), (-6, 'SET'), (-7, 'assns'), (-7, 'optwhere')])), ('assn1', ((-7, 'assns'), [(-7, 'assn')])), ('assnn', ((-7, 'assns'), [(-7, 'assns'), (-6, ','), (-7, 'assn')])), ('assn', ((-7, 'assn'), [(-7, 'column_identifier'), (-6, '='), (-7, 'expression')])), ('deletefrom', ((-7, 'delete_statement_searched'), [(-6, 'DELETE'), (-6, 'FROM'), (-8, 'user_defined_name'), (-7, 'optwhere')])), ('droptable', ((-7, 'drop_table_statement'), [(-6, 'DROP'), (-6, 'TABLE'), (-8, 'user_defined_name')])), ('createtable', ((-7, 'create_table_statement'), [(-6, 'CREATE'), (-6, 'TABLE'), (-8, 'user_defined_name'), (-6, '('), (-7, 'colelts'), (-6, ')')])), ('colelts1', ((-7, 'colelts'), [(-7, 'colelt')])), ('coleltsn', ((-7, 'colelts'), [(-7, 'colelts'), (-6, ','), (-7, 'colelt')])), ('coleltid', ((-7, 'colelt'), [(-7, 'column_definition')])), ('coleltconstraint', ((-7, 'colelt'), [(-7, 'column_constraint_definition')])), ('coldef', ((-7, 'column_definition'), [(-7, 'column_identifier'), (-7, 'data_type'), (-7, 'optdefault'), (-7, 'optcolconstraints')])), ('optdef0', ((-7, 'optdefault'), [])), ('optcolconstr0', ((-7, 'optcolconstraints'), [])), ('stringtype', ((-7, 'data_type'), [(-7, 'character_string_type')])), ('exnumtype', ((-7, 'data_type'), [(-7, 'exact_numeric_type')])), ('appnumtype', ((-7, 'data_type'), [(-7, 'approximate_numeric_type')])), ('integer', ((-7, 'exact_numeric_type'), [(-6, 'INTEGER')])), ('float', ((-7, 'approximate_numeric_type'), [(-6, 'FLOAT')])), ('varchar', ((-7, 'character_string_type'), [(-6, 'VARCHAR')])), ('varcharn', ((-7, 'character_string_type'), [(-6, 'VARCHAR'), (-6, '('), (-8, 'numeric_literal'), (-6, ')')])), ('insert1', ((-7, 'insert_statement'), [(-6, 'INSERT'), (-6, 'INTO'), (-7, 'table_name'), (-7, 'optcolids'), (-7, 'insert_spec')])), ('optcolids0', ((-7, 'optcolids'), [])), ('optcolids1', ((-7, 'optcolids'), [(-6, '('), (-7, 'colids'), (-6, ')')])), ('colids1', ((-7, 'colids'), [(-7, 'column_identifier')])), ('colidsn', ((-7, 'colids'), [(-7, 'colids'), (-6, ','), (-7, 'column_identifier')])), ('insert_values', ((-7, 'insert_spec'), [(-6, 'VALUES'), (-6, '('), (-7, 'litlist'), (-6, ')')])), ('insert_query', ((-7, 'insert_spec'), [(-7, 'sub_query')])), ('litlist1', ((-7, 'litlist'), [(-7, 'sliteral')])), ('litlistn', ((-7, 'litlist'), [(-7, 'litlist'), (-6, ','), (-7, 'sliteral')])), ('sliteral0', ((-7, 'sliteral'), [(-7, 'literal')])), ('sliteralp', ((-7, 'sliteral'), [(-6, '+'), (-7, 'literal')])), ('sliterals', ((-7, 'sliteral'), [(-7, 'sliteral'), (-6, '+'), (-7, 'literal')])), ('sliterald', ((-7, 'sliteral'), [(-7, 'sliteral'), (-6, '-'), (-7, 'literal')])), ('sliteralm', ((-7, 'sliteral'), [(-6, '-'), (-7, 'literal')])), ('subselect', ((-7, 'sub_query'), [(-6, 'SELECT'), (-7, 'alldistinct'), (-7, 'select_list'), (-6, 'FROM'), (-7, 'table_reference_list'), (-7, 'optwhere'), (-7, 'optgroup'), (-7, 'opthaving'), (-7, 'optunion')])), ('selectx', ((-7, 'select_statement'), [(-7, 'sub_query'), (-7, 'optorder_by')])), ('ad0', ((-7, 'alldistinct'), [])), ('adall', ((-7, 'alldistinct'), [(-6, 'ALL')])), ('addistinct', ((-7, 'alldistinct'), [(-6, 'DISTINCT')])), ('where0', ((-7, 'optwhere'), [])), ('where1', ((-7, 'optwhere'), [(-6, 'WHERE'), (-7, 'search_condition')])), ('group0', ((-7, 'optgroup'), [])), ('group1', ((-7, 'optgroup'), [(-6, 'GROUP'), (-6, 'BY'), (-7, 'colnamelist')])), ('colnames1', ((-7, 'colnamelist'), [(-7, 'column_name')])), ('colnamesn', ((-7, 'colnamelist'), [(-7, 'colnamelist'), (-6, ','), (-7, 'column_name')])), ('having0', ((-7, 'opthaving'), [])), ('having1', ((-7, 'opthaving'), [(-6, 'HAVING'), (-7, 'search_condition')])), ('union0', ((-7, 'optunion'), [])), ('union1', ((-7, 'optunion'), [(-6, 'UNION'), (-7, 'alldistinct'), (-7, 'sub_query')])), ('except1', ((-7, 'optunion'), [(-6, 'EXCEPT'), (-7, 'sub_query')])), ('intersect1', ((-7, 'optunion'), [(-6, 'INTERSECT'), (-7, 'sub_query')])), ('order0', ((-7, 'optorder_by'), [])), ('order1', ((-7, 'optorder_by'), [(-6, 'ORDER'), (-6, 'BY'), (-7, 'sortspeclist')])), ('sortspec1', ((-7, 'sortspeclist'), [(-7, 'sort_specification')])), ('sortspecn', ((-7, 'sortspeclist'), [(-7, 'sortspeclist'), (-6, ','), (-7, 'sort_specification')])), ('sortint', ((-7, 'sort_specification'), [(-8, 'numeric_literal'), (-7, 'opt_ord')])), ('sortcol', ((-7, 'sort_specification'), [(-7, 'column_name'), (-7, 'opt_ord')])), ('optord0', ((-7, 'opt_ord'), [])), ('optordasc', ((-7, 'opt_ord'), [(-6, 'ASC')])), ('optorddesc', ((-7, 'opt_ord'), [(-6, 'DESC')])), ('trl1', ((-7, 'table_reference_list'), [(-8, 'user_defined_name')])), ('trln', ((-7, 'table_reference_list'), [(-8, 'user_defined_name'), (-6, ','), (-7, 'table_reference_list')])), ('trl1a', ((-7, 'table_reference_list'), [(-8, 'user_defined_name'), (-8, 'user_defined_name')])), ('trlna', ((-7, 'table_reference_list'), [(-8, 'user_defined_name'), (-8, 'user_defined_name'), (-6, ','), (-7, 'table_reference_list')])), ('trl1as', ((-7, 'table_reference_list'), [(-8, 'user_defined_name'), (-6, 'AS'), (-8, 'user_defined_name')])), ('trlnas', ((-7, 'table_reference_list'), [(-8, 'user_defined_name'), (-6, 'AS'), (-8, 'user_defined_name'), (-6, ','), (-7, 'table_reference_list')])), ('selectstar', ((-7, 'select_list'), [(-6, '*')])), ('selectsome', ((-7, 'select_list'), [(-7, 'selectsubs')])), ('select1', ((-7, 'selectsubs'), [(-7, 'select_sublist')])), ('selectn', ((-7, 'selectsubs'), [(-7, 'selectsubs'), (-6, ','), (-7, 'select_sublist')])), ('selectit', ((-7, 'select_sublist'), [(-7, 'expression')])), ('selectname', ((-7, 'select_sublist'), [(-7, 'expression'), (-6, 'AS'), (-7, 'column_alias')])), ('colalias', ((-7, 'column_alias'), [(-8, 'user_defined_name')])), ('search1', ((-7, 'search_condition'), [(-7, 'boolean_term')])), ('searchn', ((-7, 'search_condition'), [(-7, 'boolean_term'), (-6, 'OR'), (-7, 'search_condition')])), ('bool1', ((-7, 'boolean_term'), [(-7, 'boolean_factor')])), ('booln', ((-7, 'boolean_term'), [(-7, 'boolean_factor'), (-6, 'AND'), (-7, 'boolean_term')])), ('bf1', ((-7, 'boolean_factor'), [(-7, 'boolean_primary')])), ('notbf', ((-7, 'boolean_factor'), [(-6, 'NOT'), (-7, 'boolean_primary')])), ('bp1', ((-7, 'boolean_primary'), [(-7, 'predicate')])), ('bps', ((-7, 'boolean_primary'), [(-6, '('), (-7, 'search_condition'), (-6, ')')])), ('predicate1', ((-7, 'predicate'), [(-7, 'comparison_predicate')])), ('predicateeq', ((-7, 'comparison_predicate'), [(-7, 'expression'), (-6, '='), (-7, 'expression')])), ('predicatelt', ((-7, 'comparison_predicate'), [(-7, 'expression'), (-6, '<'), (-7, 'expression')])), ('predicategt', ((-7, 'comparison_predicate'), [(-7, 'expression'), (-6, '>'), (-7, 'expression')])), ('predicatele', ((-7, 'comparison_predicate'), [(-7, 'expression'), (-6, '<'), (-6, '='), (-7, 'expression')])), ('predicatege', ((-7, 'comparison_predicate'), [(-7, 'expression'), (-6, '>'), (-6, '='), (-7, 'expression')])), ('predicatene', ((-7, 'comparison_predicate'), [(-7, 'expression'), (-6, '<'), (-6, '>'), (-7, 'expression')])), ('predbetween', ((-7, 'comparison_predicate'), [(-7, 'expression'), (-6, 'BETWEEN'), (-7, 'expression'), (-6, 'AND'), (-7, 'expression')])), ('prednotbetween', ((-7, 'comparison_predicate'), [(-7, 'expression'), (-6, 'NOT'), (-6, 'BETWEEN'), (-7, 'expression'), (-6, 'AND'), (-7, 'expression')])), ('predexists', ((-7, 'predicate'), [(-7, 'exists_predicate')])), ('exists', ((-7, 'exists_predicate'), [(-6, 'EXISTS'), (-6, '('), (-7, 'sub_query'), (-6, ')')])), ('predqeq', ((-7, 'predicate'), [(-7, 'expression'), (-6, '='), (-7, 'allany'), (-6, '('), (-7, 'sub_query'), (-6, ')')])), ('predqne', ((-7, 'predicate'), [(-7, 'expression'), (-6, '<'), (-6, '>'), (-7, 'allany'), (-6, '('), (-7, 'sub_query'), (-6, ')')])), ('predqlt', ((-7, 'predicate'), [(-7, 'expression'), (-6, '<'), (-7, 'allany'), (-6, '('), (-7, 'sub_query'), (-6, ')')])), ('predqgt', ((-7, 'predicate'), [(-7, 'expression'), (-6, '>'), (-7, 'allany'), (-6, '('), (-7, 'sub_query'), (-6, ')')])), ('predqle', ((-7, 'predicate'), [(-7, 'expression'), (-6, '<'), (-6, '='), (-7, 'allany'), (-6, '('), (-7, 'sub_query'), (-6, ')')])), ('predqge', ((-7, 'predicate'), [(-7, 'expression'), (-6, '>'), (-6, '='), (-7, 'allany'), (-6, '('), (-7, 'sub_query'), (-6, ')')])), ('nnall', ((-7, 'allany'), [(-6, 'ALL')])), ('nnany', ((-7, 'allany'), [(-6, 'ANY')])), ('predin', ((-7, 'predicate'), [(-7, 'expression'), (-6, 'IN'), (-6, '('), (-7, 'sub_query'), (-6, ')')])), ('prednotin', ((-7, 'predicate'), [(-7, 'expression'), (-6, 'NOT'), (-6, 'IN'), (-6, '('), (-7, 'sub_query'), (-6, ')')])), ('predinlits', ((-7, 'predicate'), [(-7, 'expression'), (-6, 'IN'), (-6, '('), (-7, 'litlist'), (-6, ')')])), ('prednotinlits', ((-7, 'predicate'), [(-7, 'expression'), (-6, 'NOT'), (-6, 'IN'), (-6, '('), (-7, 'litlist'), (-6, ')')])), ('subqexpr', ((-7, 'expression'), [(-6, '('), (-7, 'sub_query'), (-6, ')')])), ('exp1', ((-7, 'expression'), [(-7, 'term')])), ('expplus', ((-7, 'expression'), [(-7, 'expression'), (-6, '+'), (-7, 'term')])), ('expminus', ((-7, 'expression'), [(-7, 'expression'), (-6, '-'), (-7, 'term')])), ('term1', ((-7, 'term'), [(-7, 'factor')])), ('termtimes', ((-7, 'term'), [(-7, 'term'), (-6, '*'), (-7, 'factor')])), ('termdiv', ((-7, 'term'), [(-7, 'term'), (-6, '/'), (-7, 'factor')])), ('factor1', ((-7, 'factor'), [(-7, 'primary')])), ('plusfactor', ((-7, 'factor'), [(-6, '+'), (-7, 'factor')])), ('minusfactor', ((-7, 'factor'), [(-6, '-'), (-7, 'factor')])), ('primary1', ((-7, 'primary'), [(-7, 'column_name')])), ('primarylit', ((-7, 'primary'), [(-7, 'literal')])), ('primaryexp', ((-7, 'primary'), [(-6, '('), (-7, 'expression'), (-6, ')')])), ('primaryset', ((-7, 'primary'), [(-7, 'set_function_reference')])), ('stringlit', ((-7, 'literal'), [(-8, 'character_string_literal')])), ('stringstring', ((-7, 'literal'), [(-7, 'literal'), (-8, 'character_string_literal')])), ('numlit', ((-7, 'literal'), [(-8, 'numeric_literal')])), ('countstar', ((-7, 'set_function_reference'), [(-6, 'COUNT'), (-6, '('), (-6, '*'), (-6, ')')])), ('distinctcount', ((-7, 'set_function_reference'), [(-6, 'COUNT'), (-6, '('), (-6, 'DISTINCT'), (-7, 'expression'), (-6, ')')])), ('allcount', ((-7, 'set_function_reference'), [(-6, 'COUNT'), (-6, '('), (-7, 'expression'), (-6, ')')])), ('distinctset', ((-7, 'set_function_reference'), [(-7, 'aggregate'), (-6, '('), (-6, 'DISTINCT'), (-7, 'expression'), (-6, ')')])), ('allset', ((-7, 'set_function_reference'), [(-7, 'aggregate'), (-6, '('), (-7, 'expression'), (-6, ')')])), ('average', ((-7, 'aggregate'), [(-6, 'AVG')])), ('maximum', ((-7, 'aggregate'), [(-6, 'MAX')])), ('minimum', ((-7, 'aggregate'), [(-6, 'MIN')])), ('summation', ((-7, 'aggregate'), [(-6, 'SUM')])), ('median', ((-7, 'aggregate'), [(-6, 'MEDIAN')])), ('dynamic', ((-7, 'literal'), [(-6, '?')])), ('columnname1', ((-7, 'column_name'), [(-7, 'column_identifier')])), ('columnname2', ((-7, 'column_name'), [(-7, 'table_name'), (-6, '.'), (-7, 'column_identifier')])), ('tablename1', ((-7, 'table_name'), [(-8, 'user_defined_name')])), ('columnid1', ((-7, 'column_identifier'), [(-8, 'user_defined_name')]))]
MaxStates = 312
reducts = [(99, 68, 135), (188, 40, 23), (290, 40, 65), (245, 91, 109), (189, 57, 76), (87, 91, 61), (240, 107, 113), (84, 31, 22), (153, 26, 128), (3, 91, 3), (276, 61, 122), (59, 45, 154), (48, 31, 157), (203, 61, 102), (152, 97, 129), (208, 71, 105), (233, 71, 144), (64, 71, 142), (133, 57, 21), (155, 45, 132), (301, 40, 123), (58, 103, 153), (142, 84, 126), (143, 81, 138), (54, 81, 130), (154, 91, 131), (99, 57, 135), (46, 103, 90), (143, 91, 138), (284, 26, 68), (74, 91, 16), (133, 91, 21), (260, 57, 69), (59, 61, 154), (219, 107, 106), (71, 65, 137), (273, 26, 110), (153, 99, 128), (295, 11, 116), (45, 53, 149), (85, 31, 157), (48, 109, 157), (61, 84, 139), (110, 71, 101), (299, 107, 111), (187, 91, 24), (49, 56, 133), (48, 28, 157), (208, 57, 105), (31, 18, 59), (187, 84, 24), (243, 56, 107), (113, 26, 112), (232, 61, 86), (309, 71, 115), (61, 74, 139), (145, 84, 82), (101, 97, 134), (70, 71, 127), (295, 56, 116), (145, 107, 82), (59, 97, 154), (59, 31, 154), (58, 65, 153), (301, 26, 123), (227, 97, 146), (191, 68, 147), (219, 57, 106), (231, 109, 83), (231, 57, 83), (184, 31, 37), (201, 116, 44), (153, 120, 128), (61, 71, 139), (61, 16, 139), (188, 109, 23), (291, 57, 87), (240, 91, 113), (302, 61, 117), (59, 41, 154), (188, 61, 23), (275, 11, 124), (193, 56, 84), (245, 26, 109), (227, 41, 146), (116, 109, 97), (120, 109, 99), (153, 57, 128), (153, 74, 128), (155, 68, 132), (47, 57, 140), (31, 30, 59), (153, 96, 128), (185, 31, 38), (301, 107, 123), (220, 57, 96), (71, 99, 137), (110, 26, 101), (87, 26, 61), (48, 57, 157), (144, 40, 61), (70, 96, 127), (85, 11, 157), (70, 97, 127), (59, 9, 154), (75, 57, 12), (268, 107, 55), (61, 120, 139), (196, 16, 143), (146, 68, 155), (54, 31, 130), (235, 31, 49), (15, 86, 58), (196, 97, 143), (260, 56, 69), (12, 91, 11), (213, 40, 104), (171, 56, 100), (155, 40, 132), (275, 96, 124), (134, 31, 81), (196, 96, 143), (154, 111, 131), (262, 56, 85), (191, 26, 147), (48, 11, 157), (85, 120, 157), (137, 31, 78), (273, 56, 110), (198, 57, 145), (152, 109, 129), (276, 57, 122), (76, 57, 26), (113, 56, 112), (107, 11, 141), (64, 45, 142), (146, 40, 155), (85, 96, 157), (99, 107, 135), (31, 51, 59), (107, 71, 141), (155, 111, 132), (245, 71, 109), (191, 96, 147), (152, 65, 129), (15, 99, 58), (142, 31, 126), (310, 56, 119), (153, 56, 128), (290, 56, 65), (64, 61, 142), (143, 56, 138), (120, 71, 99), (233, 103, 144), (254, 71, 108), (111, 61, 62), (308, 61, 118), (88, 91, 79), (142, 71, 126), (308, 109, 118), (310, 71, 119), (64, 120, 142), (101, 31, 134), (198, 107, 145), (101, 68, 134), (64, 109, 142), (17, 91, 9), (37, 91, 61), (70, 65, 127), (192, 107, 63), (59, 56, 154), (31, 97, 59), (58, 11, 153), (48, 40, 157), (6, 91, 10), (15, 30, 58), (29, 57, 57), (225, 31, 34), (142, 111, 126), (61, 45, 139), (155, 65, 132), (208, 11, 105), (68, 56, 136), (238, 107, 51), (49, 71, 133), (61, 41, 139), (227, 109, 146), (204, 96, 98), (301, 71, 123), (288, 86, 58), (107, 97, 141), (300, 71, 125), (64, 16, 142), (171, 91, 100), (302, 107, 117), (191, 91, 147), (295, 57, 116), (90, 31, 79), (32, 54, 60), (152, 11, 129), (191, 84, 147), (294, 99, 53), (64, 103, 142), (15, 3, 58), (144, 91, 61), (240, 96, 113), (99, 96, 135), (227, 103, 146), (13, 91, 7), (111, 91, 62), (71, 56, 137), (213, 61, 104), (157, 57, 48), (243, 40, 107), (304, 91, 72), (54, 41, 130), (61, 56, 139), (191, 107, 147), (196, 109, 143), (293, 99, 54), (189, 31, 76), (204, 109, 98), (120, 26, 99), (68, 120, 136), (116, 56, 97), (191, 74, 147), (302, 109, 117), (295, 40, 116), (47, 40, 140), (269, 31, 52), (171, 109, 100), (64, 68, 142), (193, 84, 84), (311, 57, 70), (153, 111, 128), (37, 107, 61), (201, 86, 44), (146, 5, 155), (48, 81, 157), (15, 51, 58), (300, 107, 125), (68, 103, 136), (71, 68, 137), (155, 11, 132), (64, 84, 142), (206, 53, 120), (233, 65, 144), (220, 26, 96), (213, 109, 104), (294, 97, 53), (64, 65, 142), (101, 74, 134), (196, 31, 143), (188, 11, 23), (107, 18, 141), (232, 11, 86), (302, 40, 117), (71, 61, 137), (113, 61, 112), (48, 61, 157), (227, 40, 146), (113, 109, 112), (160, 107, 45), (268, 31, 55), (119, 109, 95), (70, 74, 127), (112, 107, 103), (203, 107, 102), (59, 5, 154), (213, 107, 104), (309, 91, 115), (130, 31, 30), (53, 53, 150), (275, 71, 124), (273, 61, 110), (68, 11, 136), (302, 57, 117), (282, 91, 18), (54, 96, 130), (48, 26, 157), (309, 56, 115), (156, 57, 42), (15, 53, 58), (101, 99, 134), (310, 26, 119), (119, 11, 95), (203, 109, 102), (142, 26, 126), (275, 26, 124), (192, 56, 63), (85, 109, 157), (146, 56, 155), (203, 26, 102), (112, 71, 103), (171, 71, 100), (152, 107, 129), (47, 31, 140), (203, 71, 102), (285, 56, 56), (58, 56, 153), (49, 45, 133), (312, 31, 66), (49, 120, 133), (153, 31, 128), (186, 31, 39), (152, 56, 129), (153, 40, 128), (213, 71, 104), (155, 96, 132), (204, 61, 98), (262, 26, 85), (142, 99, 126), (68, 71, 136), (31, 23, 59), (295, 71, 116), (142, 109, 126), (99, 56, 135), (227, 111, 146), (233, 16, 144), (134, 57, 81), (301, 96, 123), (154, 109, 131), (233, 41, 144), (12, 57, 11), (84, 40, 22), (110, 11, 101), (85, 56, 157), (59, 40, 154), (64, 41, 142), (119, 40, 95), (99, 111, 135), (48, 56, 157), (20, 57, 8), (198, 31, 145), (233, 91, 144), (75, 91, 12), (289, 11, 64), (48, 77, 157), (46, 31, 90), (233, 107, 144), (288, 95, 58), (84, 107, 22), (48, 91, 157), (110, 107, 101), (54, 84, 130), (70, 40, 127), (154, 97, 131), (99, 103, 135), (180, 107, 33), (233, 11, 144), (84, 57, 22), (143, 97, 138), (227, 16, 146), (254, 91, 108), (111, 57, 62), (171, 26, 100), (260, 107, 69), (146, 57, 155), (254, 40, 108), (152, 96, 129), (101, 16, 134), (61, 81, 139), (289, 57, 64), (61, 40, 139), (47, 41, 140), (144, 109, 61), (112, 57, 103), (47, 81, 140), (99, 31, 135), (308, 26, 118), (107, 26, 141), (154, 31, 131), (61, 68, 139), (231, 91, 83), (69, 31, 92), (143, 120, 138), (84, 11, 22), (61, 91, 139), (101, 96, 134), (153, 65, 128), (143, 65, 138), (208, 109, 105), (243, 61, 107), (143, 107, 138), (153, 103, 128), (191, 99, 147), (288, 18, 58), (70, 26, 127), (275, 40, 124), (101, 45, 134), (154, 61, 131), (235, 107, 49), (47, 109, 140), (146, 107, 155), (153, 109, 128), (64, 99, 142), (300, 109, 125), (152, 26, 129), (113, 71, 112), (59, 57, 154), (302, 56, 117), (262, 91, 85), (72, 12, 156), (276, 91, 122), (48, 71, 157), (186, 107, 39), (309, 107, 115), (213, 91, 104), (227, 99, 146), (308, 40, 118), (285, 91, 56), (8, 91, 2), (156, 91, 42), (219, 109, 106), (59, 120, 154), (48, 103, 157), (49, 107, 133), (228, 40, 67), (203, 40, 102), (71, 111, 137), (76, 91, 26), (288, 42, 58), (47, 96, 140), (233, 97, 144), (59, 107, 154), (308, 71, 118), (289, 56, 64), (37, 61, 61), (73, 86, 43), (32, 53, 60), (198, 56, 145), (129, 107, 31), (155, 107, 132), (152, 111, 129), (298, 56, 114), (193, 57, 84), (154, 96, 131), (154, 81, 131), (219, 96, 106), (87, 57, 61), (71, 45, 137), (301, 109, 123), (240, 40, 113), (31, 95, 59), (49, 109, 133), (31, 99, 59), (294, 31, 53), (116, 26, 97), (290, 26, 65), (112, 26, 103), (198, 16, 145), (288, 99, 58), (71, 41, 137), (227, 45, 146), (72, 86, 156), (187, 26, 24), (219, 26, 106), (68, 91, 136), (196, 99, 143), (71, 96, 137), (208, 61, 105), (193, 109, 84), (85, 28, 157), (311, 107, 70), (31, 79, 59), (152, 61, 129), (38, 57, 1), (146, 41, 155), (47, 84, 140), (52, 103, 88), (204, 40, 98), (224, 107, 29), (269, 97, 52), (71, 16, 137), (49, 57, 133), (116, 107, 97), (54, 68, 130), (227, 61, 146), (54, 11, 130), (68, 26, 136), (99, 40, 135), (48, 12, 156), (71, 120, 137), (310, 109, 119), (37, 40, 61), (191, 56, 147), (61, 107, 139), (299, 91, 111), (191, 120, 147), (47, 65, 140), (84, 56, 22), (276, 107, 122), (213, 11, 104), (143, 26, 138), (47, 74, 140), (309, 11, 115), (91, 91, 74), (220, 61, 96), (111, 56, 62), (146, 71, 155), (284, 56, 68), (227, 26, 146), (15, 23, 58), (107, 40, 141), (20, 91, 8), (107, 31, 141), (198, 40, 145), (146, 96, 155), (68, 97, 136), (87, 56, 61), (198, 61, 145), (191, 97, 147), (69, 103, 92), (41, 65, 14), (68, 96, 136), (181, 31, 40), (298, 96, 114), (14, 91, 73), (254, 56, 108), (245, 40, 109), (119, 91, 95), (198, 96, 145), (142, 65, 126), (68, 68, 136), (154, 74, 131), (191, 81, 147), (112, 11, 103), (142, 103, 126), (58, 61, 153), (179, 91, 27), (144, 11, 61), (58, 120, 153), (136, 31, 77), (152, 71, 129), (152, 91, 129), (101, 11, 134), (99, 91, 135), (154, 84, 131), (208, 107, 105), (203, 96, 102), (312, 91, 66), (228, 56, 67), (231, 107, 83), (47, 45, 140), (171, 96, 100), (85, 71, 157), (233, 109, 144), (107, 45, 141), (312, 40, 66), (107, 84, 141), (120, 57, 99), (228, 11, 67), (191, 109, 147), (232, 40, 86), (309, 96, 115), (191, 61, 147), (146, 109, 155), (48, 84, 157), (146, 16, 155), (299, 56, 111), (312, 107, 66), (49, 97, 133), (152, 31, 129), (155, 74, 132), (276, 56, 122), (187, 56, 24), (54, 120, 130), (308, 56, 118), (219, 56, 106), (188, 84, 23), (196, 56, 143), (309, 109, 115), (154, 57, 131), (19, 57, 6), (64, 91, 142), (254, 96, 108), (310, 91, 119), (37, 109, 61), (48, 74, 157), (254, 57, 108), (70, 91, 127), (185, 107, 38), (273, 91, 110), (49, 111, 133), (143, 16, 138), (155, 84, 132), (289, 40, 64), (68, 111, 136), (54, 109, 130), (153, 97, 128), (233, 96, 144), (291, 107, 87), (32, 97, 60), (85, 99, 157), (231, 61, 83), (301, 56, 123), (220, 107, 96), (240, 56, 113), (193, 11, 84), (101, 84, 134), (291, 40, 87), (300, 26, 125), (85, 68, 157), (295, 96, 116), (145, 57, 82), (276, 71, 122), (209, 53, 121), (290, 91, 65), (284, 107, 68), (203, 91, 102), (294, 107, 53), (302, 26, 117), (48, 116, 156), (119, 107, 95), (61, 61, 139), (59, 96, 154), (48, 29, 157), (188, 31, 23), (291, 26, 87), (231, 84, 83), (68, 109, 136), (48, 5, 157), (196, 45, 143), (145, 40, 82), (120, 56, 99), (299, 57, 111), (196, 103, 143), (312, 61, 66), (130, 107, 30), (47, 26, 140), (146, 99, 155), (59, 109, 154), (89, 91, 75), (144, 26, 61), (285, 57, 56), (64, 56, 142), (182, 31, 35), (59, 74, 154), (68, 31, 136), (32, 79, 60), (232, 26, 86), (219, 11, 106), (157, 91, 48), (49, 16, 133), (293, 107, 54), (68, 107, 136), (275, 61, 124), (196, 61, 143), (107, 81, 141), (299, 11, 111), (58, 16, 153), (154, 120, 131), (291, 11, 87), (276, 96, 122), (213, 57, 104), (49, 96, 133), (300, 57, 125), (48, 68, 157), (155, 26, 132), (284, 11, 68), (193, 40, 84), (87, 40, 61), (198, 111, 145), (243, 26, 107), (61, 103, 139), (47, 111, 140), (54, 16, 130), (47, 11, 140), (70, 45, 127), (113, 40, 112), (6, 57, 10), (290, 107, 65), (68, 74, 136), (107, 107, 141), (126, 107, 28), (171, 11, 100), (196, 68, 143), (17, 57, 9), (47, 107, 140), (154, 103, 131), (291, 56, 87), (116, 96, 97), (146, 97, 155), (59, 111, 154), (155, 81, 132), (15, 54, 58), (220, 91, 96), (152, 103, 129), (143, 45, 138), (64, 96, 142), (245, 56, 109), (310, 96, 119), (84, 109, 22), (154, 45, 131), (144, 57, 61), (54, 26, 130), (155, 91, 132), (171, 57, 100), (175, 91, 13), (70, 107, 127), (99, 26, 135), (119, 26, 95), (196, 107, 143), (289, 107, 64), (146, 31, 155), (59, 91, 154), (262, 109, 85), (54, 97, 130), (312, 56, 66), (311, 56, 70), (191, 31, 147), (99, 45, 135), (240, 71, 113), (227, 120, 146), (99, 99, 135), (198, 84, 145), (220, 11, 96), (227, 107, 146), (58, 57, 153), (116, 40, 97), (192, 61, 63), (58, 18, 153), (101, 65, 134), (154, 71, 131), (152, 99, 129), (68, 65, 136), (15, 42, 58), (208, 56, 105), (99, 61, 135), (233, 99, 144), (110, 109, 101), (71, 26, 137), (110, 96, 101), (154, 11, 131), (58, 109, 153), (231, 56, 83), (85, 9, 157), (254, 11, 108), (220, 40, 96), (107, 103, 141), (112, 91, 103), (260, 91, 69), (71, 103, 137), (227, 57, 146), (50, 53, 151), (290, 61, 65), (152, 81, 129), (142, 74, 126), (273, 107, 110), (142, 61, 126), (112, 109, 103), (196, 65, 143), (288, 97, 58), (120, 61, 99), (146, 45, 155), (110, 91, 101), (153, 91, 128), (84, 91, 22), (58, 71, 153), (107, 109, 141), (68, 40, 136), (84, 84, 22), (58, 45, 153), (68, 81, 136), (283, 107, 41), (110, 40, 101), (233, 74, 144), (240, 109, 113), (257, 31, 32), (70, 16, 127), (203, 57, 102), (151, 31, 93), (142, 45, 126), (238, 97, 51), (187, 11, 24), (113, 107, 112), (54, 40, 130), (290, 31, 65), (47, 103, 140), (88, 57, 79), (73, 116, 43), (61, 11, 139), (233, 84, 144), (101, 40, 134), (31, 53, 59), (227, 71, 146), (64, 31, 142), (269, 99, 52), (145, 91, 82), (243, 91, 107), (85, 16, 157), (85, 81, 157), (305, 57, 71), (187, 57, 24), (48, 16, 157), (145, 61, 82), (227, 68, 146), (85, 61, 157), (61, 57, 139), (227, 74, 146), (192, 40, 63), (49, 41, 133), (64, 26, 142), (276, 40, 122), (116, 57, 97), (49, 31, 133), (299, 61, 111), (48, 96, 157), (155, 109, 132), (48, 107, 157), (310, 57, 119), (219, 91, 106), (293, 31, 54), (188, 57, 23), (231, 11, 83), (225, 107, 34), (85, 45, 157), (49, 103, 133), (47, 97, 140), (193, 61, 84), (255, 91, 17), (302, 71, 117), (32, 30, 60), (275, 57, 124), (32, 42, 60), (198, 65, 145), (145, 11, 82), (155, 61, 132), (54, 65, 130), (198, 120, 145), (305, 91, 71), (198, 68, 145), (107, 57, 141), (302, 11, 117), (47, 18, 140), (107, 56, 141), (87, 107, 61), (120, 107, 99), (68, 99, 136), (301, 61, 123), (288, 41, 58), (54, 71, 130), (143, 68, 138), (90, 91, 79), (150, 103, 94), (59, 99, 154), (198, 71, 145), (295, 109, 116), (68, 84, 136), (49, 74, 133), (208, 96, 105), (64, 57, 142), (71, 31, 137), (312, 26, 66), (31, 3, 59), (289, 26, 64), (187, 107, 24), (31, 42, 59), (308, 57, 118), (91, 57, 74), (58, 99, 153), (136, 57, 77), (198, 81, 145), (142, 16, 126), (47, 99, 140), (119, 56, 95), (243, 11, 107), (49, 99, 133), (302, 96, 117), (232, 84, 86), (191, 40, 147), (154, 65, 131), (116, 91, 97), (14, 57, 73), (223, 31, 20), (10, 57, 5), (48, 9, 157), (152, 40, 129), (64, 11, 142), (254, 109, 108), (188, 56, 23), (47, 56, 140), (37, 57, 61), (231, 40, 83), (153, 71, 128), (308, 11, 118), (220, 56, 96), (99, 109, 135), (233, 45, 144), (299, 26, 111), (107, 74, 141), (196, 74, 143), (196, 57, 143), (48, 45, 157), (59, 16, 154), (245, 57, 109), (49, 68, 133), (233, 81, 144), (188, 26, 23), (183, 31, 36), (198, 97, 145), (58, 68, 153), (152, 57, 129), (71, 109, 137), (146, 103, 155), (143, 111, 138), (116, 61, 97), (179, 57, 27), (228, 107, 67), (191, 57, 147), (298, 11, 114), (288, 51, 58), (243, 109, 107), (298, 107, 114), (289, 91, 64), (154, 40, 131), (198, 26, 145), (196, 41, 143), (308, 107, 118), (101, 81, 134), (110, 56, 101), (101, 120, 134), (54, 61, 130), (233, 56, 144), (120, 40, 99), (292, 31, 50), (101, 107, 134), (49, 40, 133), (245, 107, 109), (70, 57, 127), (54, 103, 130), (171, 107, 100), (273, 96, 110), (48, 97, 157), (219, 61, 106), (227, 65, 146), (152, 84, 129), (47, 68, 140), (181, 107, 40), (191, 103, 147), (107, 99, 141), (155, 97, 132), (48, 120, 157), (15, 18, 58), (228, 26, 67), (193, 26, 84), (220, 109, 96), (191, 41, 147), (288, 93, 58), (284, 91, 68), (8, 57, 2), (37, 26, 61), (99, 65, 135), (150, 31, 94), (54, 111, 130), (193, 91, 84), (262, 84, 85), (152, 120, 129), (155, 16, 132), (113, 91, 112), (187, 61, 24), (112, 61, 103), (275, 56, 124), (239, 107, 46), (196, 111, 143), (145, 26, 82), (240, 26, 113), (310, 107, 119), (13, 57, 7), (291, 109, 87), (48, 111, 157), (299, 109, 111), (49, 26, 133), (275, 109, 124), (310, 11, 119), (68, 57, 136), (85, 91, 157), (196, 91, 143), (224, 31, 29), (59, 84, 154), (262, 57, 85), (304, 56, 72), (11, 91, 4), (144, 56, 61), (183, 107, 36), (240, 61, 113), (31, 54, 59), (273, 57, 110), (155, 57, 132), (85, 57, 157), (160, 31, 45), (145, 109, 82), (85, 5, 157), (101, 71, 134), (203, 56, 102), (227, 96, 146), (196, 26, 143), (293, 97, 54), (232, 56, 86), (61, 109, 139), (113, 57, 112), (262, 11, 85), (208, 91, 105), (298, 40, 114), (273, 40, 110), (15, 97, 58), (153, 16, 128), (187, 109, 24), (289, 61, 64), (153, 84, 128), (276, 11, 122), (301, 57, 123), (240, 57, 113), (32, 95, 60), (47, 120, 140), (85, 84, 157), (111, 26, 62), (153, 61, 128), (15, 41, 58), (74, 57, 16), (312, 11, 66), (11, 57, 4), (301, 91, 123), (136, 91, 77), (3, 57, 3), (153, 11, 128), (101, 61, 134), (288, 3, 58), (300, 91, 125), (142, 91, 126), (151, 103, 93), (243, 96, 107), (31, 93, 59), (58, 41, 153), (302, 91, 117), (300, 61, 125), (85, 74, 157), (245, 109, 109), (171, 40, 100), (68, 16, 136), (191, 45, 147), (311, 91, 70), (37, 11, 61), (240, 11, 113), (154, 26, 131), (288, 79, 58), (153, 45, 128), (70, 81, 127), (71, 84, 137), (254, 26, 108), (231, 26, 83), (233, 57, 144), (285, 107, 56), (70, 11, 127), (58, 31, 153), (60, 53, 148), (99, 84, 135), (70, 99, 127), (111, 11, 62), (144, 61, 61), (146, 11, 155), (64, 97, 142), (143, 31, 138), (155, 99, 132), (171, 61, 100), (134, 91, 81), (71, 57, 137), (191, 11, 147), (84, 61, 22), (288, 30, 58), (154, 56, 131), (227, 31, 146), (144, 107, 61), (78, 91, 25), (243, 107, 107), (233, 40, 144), (54, 91, 130), (154, 107, 131), (59, 68, 154), (191, 16, 147), (233, 111, 144), (89, 31, 75), (99, 71, 135), (309, 61, 115), (59, 81, 154), (188, 91, 23), (184, 107, 37), (143, 109, 138), (107, 61, 141), (49, 65, 133), (101, 41, 134), (5, 57, 0), (101, 109, 134), (85, 26, 157), (85, 29, 157), (71, 40, 137), (155, 71, 132), (273, 71, 110), (10, 91, 5), (54, 45, 130), (300, 40, 125), (191, 111, 147), (146, 61, 155), (192, 91, 63), (254, 61, 108), (49, 84, 133), (48, 86, 156), (113, 96, 112), (238, 31, 51), (101, 103, 134), (142, 97, 126), (32, 93, 60), (153, 107, 128), (55, 103, 89), (288, 53, 58), (268, 97, 55), (146, 81, 155), (290, 57, 65), (37, 56, 61), (88, 31, 79), (295, 91, 116), (126, 31, 28), (61, 97, 139), (107, 65, 141), (182, 107, 35), (309, 40, 115), (233, 120, 144), (213, 56, 104), (125, 31, 19), (32, 99, 60), (191, 71, 147), (187, 31, 24), (48, 65, 157), (262, 107, 85), (232, 57, 86), (290, 11, 65), (143, 74, 138), (143, 41, 138), (78, 57, 25), (198, 109, 145), (71, 107, 137), (61, 31, 139), (196, 40, 143), (155, 41, 132), (154, 41, 131), (68, 45, 136), (291, 61, 87), (196, 120, 143), (146, 91, 155), (304, 57, 72), (227, 91, 146), (227, 84, 146), (129, 31, 31), (141, 31, 91), (135, 91, 80), (71, 91, 137), (85, 107, 157), (142, 81, 126), (59, 11, 154), (143, 84, 138), (87, 61, 61), (54, 57, 130), (204, 11, 98), (155, 103, 132), (32, 18, 60), (87, 109, 61), (56, 53, 152), (48, 41, 157), (15, 79, 58), (152, 16, 129), (208, 26, 105), (68, 61, 136), (189, 91, 76), (119, 57, 95), (245, 61, 109), (54, 107, 130), (262, 61, 85), (107, 41, 141), (295, 26, 116), (49, 11, 133), (275, 91, 124), (70, 111, 127), (301, 11, 123), (120, 96, 99), (58, 26, 153), (107, 96, 141), (54, 56, 130), (135, 57, 80), (61, 65, 139), (111, 107, 62), (146, 74, 155), (145, 56, 82), (146, 65, 155), (64, 111, 142), (107, 16, 141), (308, 96, 118), (58, 81, 153), (64, 40, 142), (245, 96, 109), (232, 91, 86), (310, 61, 119), (58, 97, 153), (265, 57, 47), (101, 91, 134), (213, 96, 104), (85, 40, 157), (146, 84, 155), (85, 111, 157), (49, 61, 133), (110, 57, 101), (198, 99, 145), (54, 74, 130), (257, 107, 32), (239, 31, 46), (198, 103, 145), (300, 11, 125), (298, 57, 114), (155, 120, 132), (31, 41, 59), (48, 53, 156), (276, 26, 122), (64, 81, 142), (71, 11, 137), (70, 56, 127), (143, 96, 138), (99, 120, 135), (282, 57, 18), (47, 71, 140), (71, 71, 137), (276, 109, 122), (112, 40, 103), (309, 57, 115), (32, 86, 60), (64, 74, 142), (155, 56, 132), (192, 11, 63), (137, 57, 78), (142, 40, 126), (288, 54, 58), (233, 61, 144), (142, 11, 126), (110, 61, 101), (300, 56, 125), (268, 99, 55), (146, 111, 155), (112, 96, 103), (142, 107, 126), (192, 57, 63), (204, 57, 98), (227, 81, 146), (142, 120, 126), (99, 41, 135), (58, 91, 153), (32, 41, 60), (47, 91, 140), (295, 61, 116), (142, 57, 126), (48, 99, 157), (204, 56, 98), (70, 31, 127), (64, 107, 142), (152, 45, 129), (146, 120, 155), (61, 96, 139), (291, 91, 87), (265, 91, 47), (180, 31, 33), (146, 26, 155), (85, 77, 157), (152, 74, 129), (99, 74, 135), (292, 107, 50), (120, 11, 99), (288, 23, 58), (107, 111, 141), (309, 26, 115), (232, 109, 86), (49, 91, 133), (58, 107, 153), (31, 86, 59), (153, 81, 128), (191, 65, 147), (208, 40, 105), (29, 91, 57), (70, 61, 127), (143, 61, 138), (58, 84, 153), (84, 26, 22), (61, 26, 139), (298, 61, 114), (15, 93, 58), (283, 31, 41), (143, 99, 138), (204, 91, 98), (213, 26, 104), (188, 107, 23), (85, 41, 157), (19, 91, 6), (58, 74, 153), (32, 51, 60), (113, 11, 112), (198, 45, 145), (87, 11, 61), (198, 41, 145), (192, 26, 63), (143, 40, 138), (204, 26, 98), (155, 31, 132), (142, 56, 126), (85, 103, 157), (203, 11, 102), (154, 16, 131), (304, 107, 72), (299, 96, 111), (101, 26, 134), (305, 107, 71), (196, 11, 143), (143, 71, 138), (196, 81, 143), (59, 71, 154), (107, 120, 141), (275, 107, 124), (227, 56, 146), (15, 95, 58), (49, 81, 133), (47, 16, 140), (232, 107, 86), (68, 41, 136), (154, 68, 131), (193, 107, 84), (58, 40, 153), (72, 116, 156), (233, 31, 144), (101, 56, 134), (58, 111, 153), (47, 61, 140), (70, 120, 127), (312, 57, 66), (99, 81, 135), (308, 91, 118), (298, 91, 114), (111, 40, 62), (99, 16, 135), (255, 57, 17), (70, 84, 127), (71, 81, 137), (228, 91, 67), (198, 91, 145), (59, 103, 154), (233, 68, 144), (187, 40, 24), (85, 97, 157), (177, 65, 15), (196, 84, 143), (273, 109, 110), (85, 65, 157), (59, 65, 154), (196, 71, 143), (284, 40, 68), (59, 26, 154), (204, 107, 98), (137, 91, 78), (107, 91, 141), (112, 56, 103), (219, 71, 106), (154, 99, 131), (72, 53, 156), (135, 31, 80), (125, 107, 19), (71, 74, 137), (284, 57, 68), (143, 57, 138), (142, 96, 126), (245, 11, 109), (298, 26, 114), (119, 61, 95), (254, 107, 108), (175, 57, 13), (219, 40, 106), (198, 74, 145), (291, 84, 87), (89, 57, 75), (269, 107, 52), (101, 57, 134), (298, 71, 114), (295, 107, 116), (32, 23, 60), (71, 97, 137), (262, 40, 85), (70, 103, 127), (273, 11, 110), (61, 111, 139), (198, 11, 145), (143, 11, 138), (143, 103, 138), (64, 18, 142), (223, 107, 20), (227, 11, 146), (238, 99, 51), (299, 71, 111), (120, 91, 99), (116, 11, 97), (300, 96, 125), (228, 57, 67), (298, 109, 114), (61, 99, 139), (299, 40, 111), (32, 3, 60), (243, 57, 107), (70, 109, 127), (141, 103, 91), (101, 111, 134), (243, 71, 107), (54, 99, 130), (90, 57, 79), (99, 97, 135), (107, 68, 141), (146, 9, 155), (305, 56, 71), (111, 109, 62), (58, 96, 153), (310, 40, 119), (99, 11, 135), (233, 26, 144)]
moveTos = [(106, 23, 48), (106, 102, 68), (22, 98, 17), (250, 97, 103), (190, 99, 104), (115, 50, 114), (106, 67, 59), (259, 93, 64), (278, 31, 264), (148, 112, 71), (207, 53, 57), (266, 112, 293), (200, 67, 239), (147, 107, 196), (165, 54, 58), (148, 99, 67), (118, 3, 45), (115, 110, 70), (97, 67, 146), (1, 33, 6), (93, 39, 51), (81, 65, 123), (246, 54, 58), (98, 3, 45), (251, 86, 15), (172, 39, 51), (167, 97, 66), (172, 111, 118), (249, 107, 276), (57, 23, 48), (106, 54, 58), (199, 18, 47), (70, 68, 106), (77, 102, 68), (140, 97, 103), (246, 93, 64), (259, 110, 70), (14, 92, 29), (92, 39, 51), (281, 86, 15), (207, 102, 68), (128, 77, 185), (92, 23, 48), (215, 39, 51), (170, 118, 209), (250, 71, 277), (164, 93, 64), (163, 111, 169), (105, 20, 63), (92, 53, 57), (131, 51, 56), (100, 93, 64), (207, 4, 242), (103, 39, 51), (165, 83, 61), (264, 37, 292), (246, 79, 60), (95, 107, 143), (172, 38, 113), (80, 80, 122), (88, 5, 134), (246, 53, 57), (30, 83, 61), (100, 30, 50), (1, 104, 19), (215, 79, 60), (221, 107, 255), (39, 80, 79), (259, 124, 284), (167, 43, 54), (237, 54, 58), (4, 103, 21), (41, 44, 81), (207, 110, 70), (259, 97, 66), (215, 112, 71), (174, 53, 222), (207, 23, 48), (77, 39, 51), (162, 107, 203), (57, 99, 67), (139, 83, 61), (148, 115, 197), (30, 51, 56), (210, 4, 244), (167, 117, 49), (131, 79, 60), (218, 99, 67), (251, 18, 47), (77, 27, 120), (215, 93, 64), (252, 73, 280), (118, 43, 54), (118, 99, 67), (103, 42, 53), (118, 95, 65), (261, 67, 59), (1, 100, 18), (211, 71, 246), (210, 102, 68), (259, 43, 54), (170, 23, 48), (117, 99, 104), (115, 79, 60), (98, 47, 148), (152, 41, 105), (77, 20, 63), (105, 53, 100), (165, 120, 210), (259, 95, 65), (165, 39, 51), (277, 97, 66), (210, 97, 66), (170, 3, 45), (118, 112, 71), (170, 99, 67), (167, 30, 50), (67, 53, 100), (236, 112, 268), (271, 73, 296), (118, 30, 50), (66, 18, 47), (212, 53, 247), (277, 117, 49), (241, 86, 15), (27, 106, 43), (264, 54, 58), (77, 18, 47), (67, 54, 58), (139, 53, 57), (164, 42, 53), (144, 84, 77), (1, 59, 10), (90, 9, 135), (195, 23, 232), (117, 81, 168), (268, 18, 107), (69, 99, 104), (199, 112, 238), (115, 23, 48), (118, 97, 66), (103, 97, 66), (170, 54, 58), (30, 97, 66), (170, 4, 217), (93, 42, 53), (1, 72, 13), (167, 99, 67), (207, 18, 47), (67, 102, 68), (140, 99, 104), (170, 74, 218), (30, 20, 63), (117, 74, 167), (109, 49, 159), (277, 93, 64), (286, 86, 15), (292, 97, 266), (148, 30, 50), (214, 99, 237), (148, 93, 64), (172, 23, 48), (167, 79, 60), (172, 27, 120), (266, 93, 64), (165, 67, 59), (166, 54, 58), (139, 30, 50), (259, 67, 59), (131, 54, 58), (251, 93, 64), (115, 102, 68), (131, 93, 64), (115, 39, 51), (106, 117, 49), (77, 88, 116), (166, 42, 53), (210, 118, 209), (98, 102, 68), (170, 79, 60), (117, 111, 169), (67, 93, 64), (37, 84, 77), (98, 30, 50), (264, 97, 236), (100, 83, 61), (124, 107, 177), (73, 14, 108), (30, 115, 69), (57, 97, 66), (294, 18, 107), (105, 93, 64), (193, 31, 230), (1, 17, 4), (105, 30, 50), (210, 54, 58), (87, 31, 132), (92, 54, 58), (118, 8, 110), (274, 107, 298), (88, 9, 135), (172, 43, 54), (214, 97, 236), (77, 50, 114), (97, 23, 85), (148, 83, 61), (246, 67, 59), (210, 115, 245), (98, 99, 67), (273, 97, 103), (104, 99, 67), (22, 13, 3), (117, 120, 170), (246, 83, 61), (93, 18, 47), (118, 39, 51), (138, 23, 48), (172, 67, 59), (115, 54, 58), (57, 110, 70), (218, 39, 51), (145, 31, 194), (213, 97, 103), (131, 115, 187), (259, 18, 47), (92, 67, 59), (44, 20, 63), (210, 67, 59), (67, 39, 51), (244, 53, 272), (77, 99, 67), (172, 50, 114), (264, 93, 64), (30, 15, 46), (92, 3, 45), (210, 83, 61), (70, 41, 105), (93, 15, 141), (37, 85, 78), (260, 108, 285), (1, 86, 15), (83, 67, 128), (104, 79, 60), (229, 6, 261), (163, 99, 104), (30, 95, 65), (22, 17, 4), (194, 0, 231), (22, 121, 20), (148, 79, 60), (259, 53, 115), (164, 39, 51), (167, 110, 70), (100, 53, 57), (83, 23, 85), (214, 86, 15), (55, 31, 93), (165, 30, 50), (77, 112, 71), (277, 20, 63), (104, 83, 61), (132, 10, 188), (214, 54, 58), (235, 99, 267), (167, 20, 63), (18, 105, 36), (139, 117, 49), (33, 20, 73), (259, 88, 116), (149, 99, 104), (208, 99, 104), (259, 27, 120), (104, 23, 48), (115, 86, 15), (30, 112, 71), (207, 95, 65), (246, 42, 53), (103, 79, 60), (148, 97, 66), (104, 3, 45), (248, 107, 275), (165, 110, 70), (246, 102, 68), (194, 23, 145), (131, 42, 53), (210, 23, 48), (163, 81, 168), (166, 67, 59), (44, 93, 88), (218, 51, 56), (93, 93, 64), (218, 4, 253), (115, 113, 119), (82, 19, 124), (106, 79, 60), (77, 113, 119), (167, 115, 213), (105, 3, 45), (118, 20, 63), (190, 107, 227), (67, 95, 65), (119, 96, 172), (148, 43, 54), (139, 20, 63), (105, 67, 59), (259, 99, 67), (167, 25, 206), (62, 103, 96), (207, 39, 51), (118, 27, 171), (164, 23, 48), (104, 18, 47), (115, 43, 54), (114, 53, 161), (103, 53, 100), (148, 42, 53), (100, 23, 48), (287, 86, 15), (164, 3, 45), (100, 99, 67), (57, 20, 63), (93, 97, 66), (259, 30, 50), (118, 23, 48), (30, 43, 54), (118, 42, 53), (104, 20, 63), (219, 97, 103), (104, 53, 100), (226, 93, 258), (131, 97, 66), (100, 115, 95), (1, 35, 7), (172, 102, 68), (254, 99, 104), (299, 97, 103), (277, 79, 60), (148, 110, 70), (218, 30, 50), (256, 107, 282), (261, 90, 289), (207, 54, 58), (164, 51, 56), (83, 114, 129), (67, 20, 63), (30, 89, 62), (103, 110, 152), (123, 86, 15), (103, 20, 63), (215, 23, 48), (92, 117, 49), (92, 112, 71), (1, 121, 20), (115, 8, 110), (210, 112, 71), (215, 43, 54), (105, 39, 51), (163, 120, 170), (106, 51, 56), (115, 53, 115), (218, 118, 209), (144, 85, 192), (161, 73, 202), (93, 54, 58), (178, 23, 85), (118, 79, 60), (90, 48, 137), (207, 3, 45), (307, 67, 59), (44, 67, 59), (131, 39, 51), (98, 23, 48), (187, 99, 104), (30, 3, 45), (259, 34, 112), (148, 95, 65), (115, 93, 64), (57, 86, 15), (66, 43, 99), (106, 53, 100), (103, 112, 71), (98, 43, 54), (98, 39, 51), (164, 43, 54), (15, 47, 32), (115, 112, 71), (128, 32, 182), (306, 86, 15), (115, 34, 112), (95, 97, 103), (57, 79, 60), (205, 53, 241), (22, 36, 8), (166, 115, 211), (139, 99, 67), (277, 23, 48), (166, 117, 49), (246, 43, 54), (93, 115, 69), (1, 13, 3), (148, 23, 48), (214, 93, 64), (164, 111, 118), (103, 95, 65), (100, 3, 45), (106, 42, 53), (218, 83, 61), (166, 23, 48), (88, 48, 136), (103, 54, 58), (166, 110, 70), (139, 54, 58), (148, 117, 49), (106, 97, 66), (77, 111, 118), (92, 115, 140), (1, 73, 14), (131, 95, 65), (271, 86, 15), (57, 112, 71), (102, 23, 150), (222, 19, 256), (158, 53, 199), (115, 3, 45), (115, 111, 118), (277, 110, 70), (93, 67, 59), (100, 110, 70), (22, 33, 6), (165, 20, 63), (106, 93, 64), (164, 8, 110), (118, 117, 49), (105, 95, 65), (106, 18, 47), (57, 3, 45), (164, 110, 70), (57, 95, 65), (92, 95, 65), (161, 86, 15), (118, 51, 56), (104, 30, 50), (1, 58, 9), (165, 117, 49), (139, 95, 65), (67, 83, 61), (166, 83, 61), (128, 66, 183), (192, 109, 229), (251, 73, 279), (172, 83, 61), (106, 99, 67), (98, 110, 70), (167, 67, 59), (213, 99, 104), (30, 102, 68), (218, 18, 47), (131, 110, 70), (93, 43, 54), (100, 18, 47), (164, 97, 66), (22, 100, 18), (199, 93, 64), (163, 45, 166), (164, 83, 61), (166, 112, 71), (237, 93, 64), (69, 65, 102), (128, 29, 181), (138, 101, 189), (98, 97, 66), (170, 39, 51), (1, 60, 11), (108, 86, 15), (251, 112, 238), (165, 99, 67), (100, 67, 59), (251, 97, 236), (77, 67, 59), (210, 20, 63), (66, 54, 58), (218, 67, 59), (92, 20, 63), (163, 97, 103), (77, 43, 54), (118, 53, 115), (115, 67, 59), (172, 20, 63), (104, 110, 153), (163, 16, 165), (66, 93, 64), (214, 112, 238), (172, 115, 117), (83, 125, 130), (169, 45, 215), (57, 54, 58), (164, 30, 50), (307, 20, 63), (104, 93, 64), (57, 53, 57), (98, 42, 53), (140, 107, 191), (115, 115, 163), (207, 51, 56), (7, 78, 25), (57, 39, 51), (166, 79, 60), (77, 8, 110), (103, 93, 64), (108, 116, 158), (167, 54, 58), (104, 112, 71), (77, 51, 56), (118, 83, 61), (246, 39, 51), (303, 107, 310), (259, 111, 118), (207, 118, 209), (148, 51, 56), (199, 54, 58), (260, 40, 286), (306, 73, 311), (128, 28, 186), (259, 115, 117), (215, 99, 67), (67, 112, 71), (218, 23, 48), (104, 117, 49), (278, 107, 300), (91, 31, 138), (166, 43, 54), (122, 23, 174), (259, 54, 58), (170, 93, 64), (77, 95, 65), (66, 97, 66), (100, 112, 71), (139, 112, 71), (218, 112, 71), (277, 43, 54), (1, 94, 16), (307, 23, 48), (105, 97, 66), (165, 51, 56), (1, 64, 12), (98, 115, 149), (100, 42, 53), (234, 31, 264), (165, 53, 57), (30, 39, 51), (178, 114, 129), (22, 82, 38), (100, 97, 66), (207, 20, 63), (166, 51, 56), (115, 51, 56), (289, 31, 307), (22, 73, 14), (210, 51, 56), (251, 37, 235), (93, 99, 67), (118, 102, 68), (165, 95, 65), (57, 83, 61), (92, 47, 139), (277, 51, 56), (18, 52, 34), (259, 42, 53), (139, 43, 54), (127, 31, 178), (297, 107, 309), (237, 112, 269), (148, 67, 59), (67, 3, 45), (272, 73, 297), (270, 107, 295), (277, 39, 51), (259, 39, 51), (251, 99, 237), (165, 102, 68), (281, 73, 303), (93, 30, 50), (148, 53, 57), (106, 43, 155), (92, 51, 56), (159, 107, 201), (139, 67, 59), (172, 112, 71), (167, 51, 56), (215, 54, 58), (100, 102, 68), (131, 99, 67), (163, 74, 167), (165, 4, 205), (180, 123, 225), (43, 23, 85), (242, 53, 271), (104, 95, 65), (207, 112, 71), (247, 86, 15), (164, 102, 68), (103, 43, 54), (199, 97, 236), (176, 23, 223), (167, 93, 64), (139, 18, 47), (259, 83, 61), (77, 3, 45), (172, 79, 60), (96, 23, 145), (277, 102, 68), (131, 30, 50), (57, 42, 53), (18, 78, 35), (67, 18, 47), (93, 110, 70), (259, 117, 49), (77, 34, 112), (277, 67, 59), (218, 95, 65), (123, 60, 175), (132, 67, 86), (67, 42, 53), (172, 54, 58), (105, 79, 60), (273, 99, 104), (115, 38, 113), (170, 67, 59), (77, 93, 64), (77, 42, 53), (277, 30, 50), (149, 97, 103), (139, 97, 66), (210, 18, 47), (253, 53, 281), (149, 107, 198), (92, 42, 53), (92, 18, 47), (221, 31, 176), (96, 0, 144), (22, 64, 12), (66, 67, 59), (215, 53, 57), (43, 67, 86), (192, 1, 228), (131, 53, 57), (197, 99, 104), (215, 20, 63), (210, 93, 64), (165, 112, 71), (277, 3, 45), (104, 67, 59), (266, 54, 58), (148, 54, 58), (100, 39, 51), (23, 23, 39), (215, 97, 66), (98, 41, 147), (216, 53, 251), (104, 54, 58), (166, 30, 50), (57, 67, 59), (115, 18, 47), (217, 53, 252), (228, 75, 260), (215, 18, 47), (207, 117, 49), (172, 34, 112), (207, 115, 243), (165, 18, 47), (165, 42, 53), (95, 99, 104), (277, 83, 61), (57, 51, 56), (246, 110, 70), (116, 71, 164), (105, 112, 71), (215, 51, 56), (66, 20, 63), (272, 86, 15), (259, 23, 48), (172, 93, 64), (28, 6, 44), (16, 7, 33), (128, 2, 180), (166, 99, 67), (296, 107, 308), (22, 104, 19), (7, 105, 26), (92, 93, 64), (106, 30, 50), (277, 42, 53), (92, 110, 70), (169, 81, 216), (139, 93, 64), (164, 38, 113), (138, 102, 90), (172, 110, 70), (118, 18, 47), (166, 3, 45), (139, 115, 190), (1, 98, 17), (164, 113, 204), (105, 51, 56), (153, 68, 106), (98, 79, 60), (210, 99, 67), (98, 51, 56), (251, 119, 278), (259, 102, 68), (66, 3, 45), (199, 99, 237), (98, 112, 71), (65, 53, 98), (287, 73, 305), (292, 99, 267), (30, 67, 59), (167, 42, 53), (159, 31, 200), (170, 110, 70), (166, 97, 66), (207, 93, 64), (152, 68, 106), (21, 23, 37), (30, 79, 60), (57, 18, 47), (215, 83, 61), (246, 23, 48), (118, 110, 70), (117, 97, 103), (57, 73, 94), (260, 11, 287), (164, 99, 67), (86, 74, 131), (267, 18, 47), (197, 97, 103), (181, 53, 226), (165, 118, 209), (243, 97, 103), (93, 95, 65), (44, 102, 90), (30, 54, 58), (170, 97, 66), (218, 42, 53), (246, 51, 56), (139, 42, 53), (210, 39, 51), (131, 3, 45), (237, 18, 47), (170, 20, 63), (14, 56, 28), (123, 73, 14), (241, 73, 270), (172, 88, 116), (87, 84, 77), (118, 115, 117), (100, 51, 56), (22, 35, 7), (77, 110, 70), (210, 53, 57), (117, 45, 166), (103, 99, 67), (57, 93, 64), (261, 20, 63), (92, 102, 68), (67, 79, 60), (66, 79, 60), (172, 53, 115), (5, 91, 22), (164, 53, 115), (170, 18, 47), (131, 112, 71), (165, 25, 206), (139, 110, 70), (9, 23, 27), (104, 102, 68), (250, 99, 104), (25, 23, 41), (166, 39, 51), (173, 23, 125), (43, 10, 84), (77, 38, 113), (66, 53, 100), (251, 54, 58), (71, 18, 107), (44, 23, 48), (243, 99, 104), (118, 93, 64), (93, 23, 48), (170, 95, 65), (236, 93, 64), (109, 23, 85), (66, 99, 67), (172, 117, 49), (77, 97, 66), (245, 97, 103), (93, 117, 49), (93, 20, 63), (267, 54, 58), (105, 83, 61), (104, 97, 66), (108, 21, 156), (115, 99, 67), (115, 124, 162), (170, 112, 71), (139, 51, 56), (215, 42, 53), (165, 43, 54), (66, 30, 50), (207, 25, 206), (259, 20, 63), (167, 83, 61), (259, 113, 119), (148, 20, 63), (77, 53, 115), (215, 30, 50), (100, 43, 54), (166, 95, 65), (172, 124, 220), (79, 23, 121), (92, 97, 66), (238, 18, 107), (165, 74, 207), (164, 34, 112), (218, 117, 49), (93, 3, 45), (124, 31, 176), (234, 107, 265), (207, 67, 59), (254, 97, 103), (167, 39, 51), (172, 97, 66), (115, 117, 49), (277, 95, 65), (98, 53, 57), (230, 23, 145), (228, 61, 259), (30, 53, 57), (98, 20, 63), (264, 18, 47), (105, 54, 58), (167, 53, 57), (41, 53, 82), (26, 23, 42), (117, 16, 165), (77, 124, 111), (131, 117, 49), (202, 107, 240), (164, 27, 120), (246, 117, 49), (288, 24, 306), (106, 20, 63), (168, 53, 214), (93, 102, 68), (170, 83, 61), (98, 18, 47), (246, 112, 71), (131, 23, 48), (139, 39, 51), (67, 67, 59), (22, 72, 13), (148, 39, 51), (67, 23, 48), (93, 83, 61), (7, 69, 24), (165, 79, 60), (66, 112, 71), (246, 3, 45), (236, 18, 47), (269, 18, 107), (218, 110, 70), (1, 36, 8), (277, 99, 67), (118, 54, 58), (30, 117, 49), (210, 42, 53), (93, 79, 60), (163, 107, 143), (100, 95, 65), (77, 23, 48), (170, 25, 206), (214, 119, 248), (218, 79, 60), (30, 23, 48), (44, 122, 91), (92, 83, 61), (131, 102, 68), (165, 93, 64), (115, 88, 116), (77, 83, 61), (207, 42, 53), (260, 26, 288), (87, 85, 133), (178, 67, 128), (218, 25, 206), (73, 53, 109), (100, 54, 58), (30, 99, 67), (214, 18, 47), (118, 38, 113), (115, 20, 63), (77, 115, 117), (164, 95, 65), (187, 97, 103), (77, 79, 60), (131, 67, 59), (98, 67, 59), (210, 43, 54), (92, 43, 54), (93, 51, 56), (165, 3, 45), (103, 83, 61), (105, 42, 53), (15, 24, 30), (307, 102, 312), (199, 119, 234), (170, 53, 57), (164, 20, 63), (77, 54, 58), (167, 112, 71), (170, 43, 54), (166, 93, 64), (131, 83, 61), (277, 112, 71), (207, 97, 66), (121, 53, 173), (145, 23, 193), (166, 18, 47), (92, 99, 67), (190, 97, 103), (256, 31, 176), (57, 43, 54), (210, 3, 45), (105, 43, 154), (172, 99, 67), (165, 115, 208), (263, 0, 291), (128, 76, 184), (118, 67, 59), (259, 79, 60), (115, 83, 61), (167, 95, 65), (172, 3, 45), (215, 117, 49), (104, 42, 53), (246, 99, 67), (118, 34, 112), (148, 102, 68), (210, 30, 50), (259, 112, 71), (92, 30, 50), (103, 30, 50), (131, 43, 54), (258, 107, 283), (109, 67, 160), (106, 83, 61), (218, 93, 64), (30, 46, 55), (170, 30, 50), (131, 18, 47), (172, 30, 50), (214, 37, 235), (164, 88, 116), (98, 95, 65), (261, 102, 290), (98, 117, 49), (102, 70, 151), (207, 99, 67), (66, 95, 65), (66, 39, 51), (263, 23, 145), (259, 50, 114), (66, 102, 68), (246, 30, 50), (22, 86, 15), (43, 87, 87), (215, 110, 70), (35, 23, 75), (115, 27, 120), (266, 18, 47), (103, 18, 47), (148, 18, 47), (280, 107, 302), (103, 23, 48), (170, 51, 56), (277, 18, 47), (259, 51, 56), (167, 18, 47), (246, 97, 66), (259, 8, 110), (207, 30, 50), (103, 67, 59), (267, 112, 294), (214, 73, 249), (148, 3, 45), (167, 4, 212), (207, 83, 61), (145, 65, 195), (22, 94, 16), (93, 53, 57), (57, 30, 50), (164, 54, 58), (215, 3, 45), (199, 37, 235), (67, 97, 66), (66, 23, 48), (82, 23, 125), (167, 102, 68), (235, 97, 266), (106, 39, 51), (218, 97, 66), (208, 97, 103), (210, 117, 49), (66, 117, 49), (167, 3, 45), (7, 52, 23), (63, 12, 97), (218, 20, 63), (218, 53, 57), (100, 20, 63), (66, 51, 56), (166, 102, 68), (57, 117, 49), (245, 99, 104), (127, 107, 179), (172, 51, 56), (215, 102, 68), (261, 23, 48), (197, 107, 233), (98, 83, 61), (246, 95, 65), (170, 42, 53), (218, 115, 254), (132, 23, 85), (33, 23, 72), (1, 22, 5), (115, 30, 50), (259, 3, 45), (36, 23, 76), (67, 99, 67), (83, 55, 126), (219, 99, 104), (115, 73, 94), (164, 117, 49), (105, 18, 47), (69, 97, 103), (115, 97, 66), (164, 79, 60), (166, 53, 57), (24, 52, 40), (100, 117, 49), (104, 39, 51), (236, 54, 58), (77, 117, 49), (172, 113, 119), (67, 51, 56), (164, 115, 117), (92, 79, 60), (210, 79, 60), (57, 115, 95), (170, 102, 68), (67, 30, 50), (98, 93, 64), (172, 8, 110), (139, 79, 60), (246, 115, 273), (115, 95, 65), (164, 112, 71), (104, 51, 56), (232, 31, 263), (286, 73, 304), (66, 42, 53), (105, 102, 68), (218, 43, 54), (167, 23, 48), (170, 115, 219), (164, 18, 47), (172, 42, 53), (172, 18, 47), (106, 3, 45), (105, 117, 49), (22, 22, 5), (277, 115, 299), (264, 99, 237), (299, 99, 104), (293, 18, 107), (67, 43, 101), (153, 41, 105), (166, 20, 63), (218, 102, 68), (40, 23, 80), (138, 67, 59), (66, 83, 61), (51, 53, 92), (94, 107, 142), (215, 67, 59), (105, 23, 48), (30, 110, 70), (93, 112, 71), (167, 118, 209), (178, 125, 130), (44, 101, 89), (222, 23, 125), (30, 41, 52), (104, 43, 54), (164, 67, 59), (83, 63, 127), (118, 50, 114), (103, 102, 68), (105, 99, 67), (288, 47, 32), (247, 73, 274), (34, 23, 74), (165, 97, 66), (108, 73, 157), (211, 97, 103), (267, 93, 64), (139, 3, 45), (173, 19, 221), (103, 3, 45), (200, 23, 85), (246, 18, 47), (252, 86, 15), (138, 93, 88), (30, 42, 53), (106, 95, 65), (277, 53, 57), (218, 3, 45), (98, 54, 58), (131, 20, 63), (207, 43, 54), (164, 50, 114), (42, 53, 83), (138, 20, 63), (139, 23, 48), (22, 58, 9), (210, 95, 65), (15, 25, 31), (210, 25, 206), (225, 62, 257), (103, 51, 56), (115, 42, 53), (288, 25, 31), (246, 20, 63), (264, 112, 238), (106, 112, 71), (279, 107, 301), (215, 115, 250), (207, 79, 60), (22, 59, 10), (139, 102, 68), (30, 93, 64), (77, 30, 50), (170, 117, 49), (210, 110, 70), (30, 30, 50), (259, 38, 113), (30, 18, 47), (277, 54, 58), (165, 23, 48), (215, 95, 65), (103, 117, 49), (211, 99, 104), (67, 117, 49), (100, 79, 60), (248, 31, 264), (178, 55, 224), (230, 0, 262), (22, 60, 11), (90, 5, 134), (172, 95, 65), (57, 102, 68), (218, 54, 58)]
Root = (-7, 'statement_list')
CaseSensitivity = False
|