Logo Search packages:      
Sourcecode: gadfly version File versions  Download package

sql_mar.py

tokens = [(-6, 'INTO'), (-7, 'boolean_factor'), (-7, 'primary'), (-7, 'column_constraint_definition'), (-7, 'drop_index_statement'), (-6, 'COUNT'), (-6, 'EXISTS'), (-6, 'CREATE'), (-7, 'sortspeclist'), (-6, 'INSERT'), (-6, 'DESC'), (-7, 'optorder_by'), (-6, 'INTEGER'), (-6, 'AS'), (-6, 'IN'), (-6, 'INTERSECT'), (-7, 'search_condition'), (-6, 'HAVING'), (-7, 'sliteral'), (-6, 'AND'), (-6, 'UPDATE'), (-7, 'character_string_type'), (-8, 'character_string_literal'), (-6, 'FROM'), (-6, 'AVG'), (-7, 'column_name'), (-7, 'approximate_numeric_type'), (-6, 'NOT'), (-6, 'ANY'), (-7, 'statement'), (-7, 'factor'), (-7, 'literal'), (-7, 'set_function_reference'), (-7, 'table_reference_list'), (-6, 'ORDER'), (-7, 'statement_list'), (-6, 'FLOAT'), (-7, 'create_view_statement'), (-7, 'insert_spec'), (-6, 'INDEX'), (-7, 'select_sublist'), (-7, 'predicate'), (-7, 'term'), (-7, 'boolean_primary'), (-6, 'GROUP'), (-6, '?'), (-7, 'insert_statement'), (-6, 'SELECT'), (-7, 'drop_table_statement'), (-7, 'comparison_predicate'), (-6, 'DROP'), (-7, 'select_statement'), (-6, '+'), (-6, ')'), (-6, '/'), (-6, 'UNION'), (-6, '-'), (-6, 'DISTINCT'), (-7, 'data_type'), (-7, 'colids'), (-7, 'assn'), (-7, 'delete_statement_searched'), (-6, 'VARCHAR'), (-6, ';'), (-7, 'opt_ord'), (-7, 'update_statement_searched'), (-7, 'litlist'), (-6, 'VIEW'), (-6, '='), (-7, 'table_name'), (-7, 'create_table_statement'), (-7, 'exists_predicate'), (-7, 'create_index_statement'), (-7, 'column_definition'), (-7, 'boolean_term'), (-7, 'assns'), (-7, 'optgroup'), (-6, 'UNIQUE'), (-7, 'colelts'), (-6, 'WHERE'), (-7, 'alldistinct'), (-7, 'optunion'), (-6, 'BETWEEN'), (-6, 'TABLE'), (-8, 'user_defined_name'), (-6, 'MAX'), (-7, 'exact_numeric_type'), (-6, 'ALL'), (-6, 'ON'), (-6, 'BY'), (-7, 'opthaving'), (-7, 'column_alias'), (-6, 'DELETE'), (-6, 'OR'), (-7, 'optdefault'), (-7, 'selectsubs'), (-7, 'sort_specification'), (-6, 'VALUES'), (-6, ','), (-6, 'SUM'), (-7, 'optwhere'), (-7, 'drop_view_statement'), (-7, 'sub_query'), (-6, 'MIN'), (-7, 'optcolconstraints'), (-7, 'namelist'), (-8, 'numeric_literal'), (-7, 'aggregate'), (-7, 'optcolids'), (-6, '*'), (-6, '('), (-6, '.'), (-6, 'EXCEPT'), (-6, 'MEDIAN'), (-6, 'SET'), (-7, 'allany'), (-7, 'colnamelist'), (-7, 'colelt'), (-8, '*'), (-7, 'expression'), (-7, 'column_identifier'), (-6, '>'), (-6, '<'), (-6, 'ASC'), (-7, 'select_list'), (-7, 'optnamelist')]
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 = [(88, 79, 141), (158, 118, 78), (73, 97, 43), (231, 53, 104), (136, 93, 128), (251, 118, 47), (149, 19, 101), (145, 17, 97), (126, 109, 155), (181, 121, 147), (170, 98, 40), (272, 44, 87), (132, 121, 138), (57, 15, 157), (107, 98, 75), (51, 93, 139), (133, 53, 126), (152, 112, 112), (133, 27, 126), (91, 53, 134), (278, 99, 58), (178, 34, 143), (284, 53, 122), (136, 68, 128), (91, 14, 134), (245, 17, 85), (273, 112, 65), (79, 52, 157), (43, 53, 133), (181, 13, 147), (270, 63, 18), (133, 52, 126), (307, 93, 117), (284, 17, 122), (298, 53, 71), (266, 34, 109), (136, 34, 128), (68, 98, 92), (178, 68, 143), (161, 98, 23), (137, 118, 129), (128, 79, 131), (128, 19, 131), (28, 103, 59), (282, 52, 54), (208, 17, 144), (77, 17, 22), (274, 63, 64), (150, 112, 99), (132, 56, 138), (51, 68, 139), (235, 112, 105), (224, 17, 102), (178, 19, 143), (137, 44, 129), (48, 52, 136), (181, 53, 147), (88, 19, 141), (151, 55, 103), (93, 15, 135), (209, 93, 146), (181, 14, 147), (137, 19, 129), (274, 53, 64), (77, 53, 22), (136, 13, 128), (223, 53, 96), (275, 55, 68), (128, 118, 131), (88, 44, 141), (53, 93, 127), (8, 99, 58), (57, 109, 157), (132, 23, 138), (274, 55, 64), (63, 56, 142), (27, 56, 60), (88, 118, 141), (272, 79, 87), (74, 111, 156), (223, 112, 96), (57, 27, 157), (56, 121, 153), (9, 118, 7), (271, 98, 41), (263, 15, 107), (136, 63, 128), (310, 118, 118), (133, 15, 126), (263, 55, 107), (50, 79, 137), (302, 44, 114), (132, 98, 138), (179, 63, 145), (51, 122, 139), (46, 68, 140), (79, 15, 157), (109, 118, 79), (127, 17, 132), (63, 121, 142), (300, 17, 123), (51, 112, 139), (302, 118, 114), (28, 56, 59), (304, 17, 116), (183, 15, 84), (57, 55, 157), (167, 53, 35), (57, 52, 157), (138, 63, 82), (235, 15, 105), (171, 98, 37), (75, 63, 61), (63, 82, 142), (214, 112, 67), (268, 63, 108), (250, 98, 55), (127, 53, 132), (137, 79, 129), (7, 118, 5), (43, 112, 133), (56, 82, 153), (43, 44, 133), (50, 54, 137), (283, 19, 124), (239, 118, 106), (209, 109, 146), (57, 97, 156), (59, 19, 154), (56, 53, 153), (249, 53, 52), (50, 118, 137), (210, 17, 86), (127, 82, 132), (49, 34, 130), (111, 63, 21), (50, 19, 137), (49, 17, 130), (219, 53, 49), (28, 113, 59), (301, 93, 111), (93, 52, 135), (299, 17, 125), (162, 15, 24), (50, 44, 137), (56, 17, 153), (49, 122, 130), (283, 15, 124), (209, 13, 146), (210, 53, 86), (133, 14, 126), (174, 13, 15), (63, 14, 142), (212, 34, 83), (169, 53, 36), (299, 53, 125), (178, 112, 143), (127, 56, 132), (93, 27, 135), (63, 17, 142), (127, 121, 132), (59, 44, 154), (302, 112, 114), (212, 44, 83), (178, 122, 143), (49, 93, 130), (268, 93, 108), (179, 54, 145), (150, 63, 99), (274, 112, 64), (128, 93, 131), (151, 34, 103), (136, 112, 128), (132, 44, 138), (307, 63, 117), (57, 23, 157), (88, 93, 141), (153, 17, 95), (71, 118, 26), (283, 17, 124), (136, 23, 128), (136, 79, 128), (137, 34, 129), (162, 98, 24), (151, 44, 103), (28, 52, 59), (181, 27, 147), (88, 34, 141), (209, 19, 146), (235, 17, 105), (46, 55, 140), (28, 5, 59), (57, 56, 157), (151, 112, 103), (312, 93, 119), (126, 82, 155), (139, 17, 61), (48, 121, 136), (239, 17, 106), (62, 110, 150), (215, 56, 51), (63, 109, 142), (128, 34, 131), (48, 56, 136), (172, 63, 27), (153, 53, 95), (57, 93, 157), (150, 55, 99), (51, 27, 139), (209, 82, 146), (149, 93, 101), (147, 15, 62), (166, 98, 33), (231, 34, 104), (27, 22, 60), (136, 19, 128), (166, 53, 33), (266, 19, 109), (93, 82, 135), (50, 13, 137), (201, 118, 76), (255, 15, 113), (46, 14, 140), (126, 53, 155), (43, 23, 133), (273, 55, 65), (49, 14, 130), (307, 118, 117), (93, 56, 135), (91, 109, 134), (272, 34, 87), (266, 118, 109), (275, 63, 68), (136, 118, 128), (312, 112, 119), (128, 44, 131), (208, 112, 144), (79, 98, 157), (235, 118, 105), (159, 63, 80), (9, 63, 7), (273, 63, 65), (209, 68, 146), (299, 118, 125), (128, 54, 131), (14, 118, 9), (133, 98, 126), (56, 15, 153), (266, 44, 109), (145, 44, 97), (126, 17, 155), (88, 54, 141), (310, 53, 118), (149, 34, 101), (79, 53, 157), (49, 44, 130), (209, 53, 146), (59, 93, 154), (178, 55, 143), (56, 109, 153), (139, 63, 61), (308, 55, 66), (249, 98, 52), (79, 23, 157), (209, 54, 146), (133, 13, 126), (127, 122, 132), (132, 13, 138), (301, 19, 111), (133, 23, 126), (49, 118, 130), (48, 44, 136), (53, 53, 127), (50, 93, 137), (221, 118, 98), (43, 118, 133), (301, 44, 111), (151, 53, 103), (53, 14, 127), (91, 55, 134), (19, 63, 2), (79, 56, 157), (50, 34, 137), (132, 15, 138), (49, 19, 130), (53, 17, 127), (224, 34, 102), (308, 63, 66), (301, 118, 111), (235, 34, 105), (43, 98, 133), (187, 47, 44), (208, 56, 144), (120, 98, 19), (209, 14, 146), (161, 15, 23), (178, 63, 143), (302, 34, 114), (88, 13, 141), (204, 53, 34), (278, 110, 58), (206, 98, 29), (281, 98, 53), (208, 53, 144), (136, 44, 128), (53, 121, 127), (51, 63, 139), (128, 13, 131), (132, 52, 138), (310, 17, 118), (93, 17, 135), (7, 63, 5), (53, 19, 127), (296, 63, 72), (179, 112, 145), (209, 56, 146), (43, 52, 133), (138, 112, 82), (133, 82, 126), (35, 118, 57), (127, 13, 132), (214, 63, 67), (75, 112, 61), (51, 55, 139), (300, 15, 123), (57, 98, 157), (56, 22, 153), (224, 53, 102), (278, 45, 58), (127, 109, 132), (46, 54, 140), (63, 22, 142), (133, 63, 126), (223, 118, 96), (132, 27, 138), (137, 13, 129), (27, 109, 60), (10, 118, 4), (50, 27, 137), (72, 118, 12), (307, 34, 117), (301, 63, 111), (138, 17, 82), (300, 34, 123), (13, 63, 8), (75, 17, 61), (309, 63, 70), (57, 10, 157), (138, 55, 82), (160, 63, 77), (48, 15, 136), (133, 19, 126), (152, 118, 112), (137, 53, 129), (116, 53, 30), (309, 53, 70), (183, 118, 84), (126, 123, 155), (63, 54, 142), (263, 44, 107), (136, 98, 128), (138, 53, 82), (75, 53, 61), (133, 44, 126), (162, 79, 24), (302, 15, 114), (27, 47, 60), (161, 34, 23), (139, 53, 61), (142, 118, 48), (46, 63, 140), (74, 97, 156), (235, 19, 105), (207, 53, 20), (133, 118, 126), (179, 17, 145), (312, 53, 119), (263, 118, 107), (70, 118, 16), (78, 63, 61), (47, 110, 148), (300, 93, 123), (304, 63, 116), (137, 52, 129), (147, 44, 62), (56, 63, 153), (212, 118, 83), (209, 112, 146), (133, 79, 126), (162, 44, 24), (50, 15, 137), (8, 22, 58), (278, 56, 58), (79, 79, 157), (88, 27, 141), (278, 22, 58), (53, 122, 127), (179, 121, 145), (57, 36, 157), (49, 13, 130), (51, 15, 139), (6, 118, 10), (53, 112, 127), (280, 98, 50), (63, 63, 142), (126, 68, 155), (162, 118, 24), (63, 55, 142), (183, 79, 84), (179, 82, 145), (137, 27, 129), (57, 111, 156), (185, 118, 63), (27, 84, 60), (79, 121, 157), (128, 52, 131), (134, 98, 94), (209, 122, 146), (176, 118, 13), (281, 52, 53), (56, 55, 153), (88, 52, 141), (106, 63, 74), (57, 54, 157), (79, 13, 157), (157, 98, 81), (289, 112, 110), (137, 23, 129), (132, 82, 138), (235, 44, 105), (289, 63, 110), (132, 34, 138), (43, 34, 133), (179, 14, 145), (56, 13, 153), (57, 19, 157), (271, 53, 41), (48, 19, 136), (79, 10, 157), (312, 34, 119), (300, 118, 123), (78, 34, 61), (48, 109, 136), (149, 15, 101), (255, 93, 113), (278, 103, 58), (208, 14, 144), (283, 112, 124), (77, 63, 22), (185, 15, 63), (93, 79, 135), (181, 56, 147), (207, 98, 20), (250, 56, 55), (28, 47, 59), (57, 118, 157), (88, 112, 141), (284, 55, 122), (132, 93, 138), (149, 44, 101), (134, 23, 94), (231, 55, 104), (179, 122, 145), (272, 15, 87), (53, 82, 127), (48, 98, 136), (46, 22, 140), (144, 53, 45), (139, 112, 61), (88, 15, 141), (93, 44, 135), (250, 53, 55), (273, 98, 65), (178, 27, 143), (224, 55, 102), (48, 82, 136), (28, 99, 59), (43, 19, 133), (181, 63, 147), (151, 63, 103), (57, 79, 157), (128, 15, 131), (152, 55, 112), (168, 53, 39), (240, 118, 17), (49, 98, 130), (239, 112, 106), (150, 19, 99), (208, 82, 144), (301, 34, 111), (136, 56, 128), (179, 118, 145), (128, 122, 131), (277, 118, 56), (268, 53, 108), (181, 55, 147), (274, 17, 64), (46, 122, 140), (208, 121, 144), (140, 63, 42), (108, 98, 79), (49, 112, 130), (224, 63, 102), (50, 52, 137), (8, 103, 58), (93, 19, 135), (153, 112, 95), (235, 53, 105), (63, 118, 142), (126, 27, 155), (56, 122, 153), (245, 34, 85), (161, 79, 23), (119, 53, 28), (178, 14, 143), (169, 98, 36), (48, 13, 136), (56, 112, 153), (16, 118, 3), (209, 63, 146), (272, 118, 87), (289, 55, 110), (63, 112, 142), (53, 52, 127), (51, 121, 139), (105, 63, 25), (63, 122, 142), (298, 63, 71), (181, 118, 147), (282, 53, 54), (178, 17, 143), (214, 34, 67), (57, 123, 157), (221, 15, 98), (8, 24, 58), (304, 118, 116), (79, 12, 157), (210, 112, 86), (302, 55, 114), (28, 22, 59), (127, 52, 132), (79, 54, 157), (49, 15, 130), (19, 118, 2), (53, 55, 127), (14, 63, 9), (128, 98, 131), (8, 85, 58), (185, 34, 63), (135, 98, 93), (191, 19, 100), (299, 112, 125), (178, 53, 143), (115, 53, 31), (126, 13, 155), (88, 98, 141), (308, 53, 66), (307, 53, 117), (179, 98, 145), (289, 17, 110), (79, 14, 157), (231, 93, 104), (48, 122, 136), (79, 93, 157), (158, 98, 78), (46, 53, 140), (181, 82, 147), (191, 15, 100), (178, 82, 143), (136, 27, 128), (43, 13, 133), (208, 68, 144), (59, 23, 154), (93, 98, 135), (119, 98, 28), (59, 98, 154), (296, 53, 72), (181, 68, 147), (50, 23, 137), (183, 112, 84), (242, 98, 32), (42, 118, 1), (51, 53, 139), (133, 93, 126), (48, 23, 136), (263, 93, 107), (212, 17, 83), (278, 85, 58), (137, 14, 129), (136, 52, 128), (93, 13, 135), (93, 118, 135), (210, 63, 86), (120, 53, 19), (91, 17, 134), (239, 55, 106), (300, 44, 123), (161, 44, 23), (263, 34, 107), (59, 56, 154), (183, 34, 84), (5, 118, 0), (300, 19, 123), (201, 98, 76), (50, 56, 137), (304, 112, 116), (275, 34, 68), (8, 5, 58), (49, 79, 130), (78, 118, 61), (161, 118, 23), (93, 34, 135), (209, 55, 146), (153, 55, 95), (57, 13, 157), (283, 55, 124), (150, 53, 99), (60, 110, 151), (239, 34, 106), (181, 122, 147), (165, 53, 38), (239, 63, 106), (63, 34, 142), (127, 112, 132), (181, 112, 147), (158, 63, 78), (311, 112, 115), (133, 17, 126), (43, 93, 133), (245, 53, 85), (57, 12, 157), (43, 27, 133), (165, 98, 38), (138, 44, 82), (77, 112, 22), (150, 17, 99), (310, 112, 118), (132, 79, 138), (284, 118, 122), (153, 63, 95), (129, 23, 91), (277, 34, 56), (147, 34, 62), (46, 17, 140), (139, 55, 61), (50, 98, 137), (93, 93, 135), (48, 54, 136), (127, 68, 132), (210, 79, 86), (224, 112, 102), (56, 68, 153), (137, 56, 129), (231, 112, 104), (49, 121, 130), (133, 121, 126), (28, 106, 59), (301, 53, 111), (128, 23, 131), (65, 23, 88), (59, 13, 154), (239, 15, 106), (310, 55, 118), (107, 118, 75), (77, 44, 22), (28, 85, 59), (132, 118, 138), (46, 121, 140), (91, 82, 134), (57, 63, 157), (208, 122, 144), (109, 98, 79), (255, 19, 113), (63, 68, 142), (126, 63, 155), (93, 54, 135), (278, 24, 58), (48, 93, 136), (308, 112, 66), (126, 55, 155), (255, 44, 113), (46, 98, 140), (273, 53, 65), (46, 82, 140), (307, 15, 117), (145, 112, 97), (248, 118, 69), (275, 112, 68), (191, 112, 100), (128, 56, 131), (79, 109, 157), (255, 118, 113), (181, 17, 147), (126, 15, 155), (152, 17, 112), (46, 79, 140), (57, 34, 157), (239, 53, 106), (132, 19, 138), (43, 54, 133), (312, 55, 119), (278, 5, 58), (88, 56, 141), (281, 56, 53), (91, 68, 134), (278, 47, 58), (133, 55, 126), (20, 63, 73), (13, 118, 8), (50, 82, 137), (77, 55, 22), (179, 93, 145), (278, 109, 58), (255, 53, 113), (129, 98, 91), (304, 19, 116), (138, 34, 82), (178, 23, 143), (59, 82, 154), (300, 112, 123), (127, 19, 132), (183, 17, 84), (183, 63, 84), (282, 98, 54), (268, 15, 108), (245, 79, 85), (49, 54, 130), (75, 15, 61), (93, 109, 135), (138, 15, 82), (235, 63, 105), (59, 63, 154), (142, 63, 48), (51, 79, 139), (228, 110, 121), (304, 44, 116), (79, 63, 157), (179, 109, 145), (235, 55, 105), (43, 79, 133), (208, 52, 144), (179, 15, 145), (63, 79, 142), (79, 122, 157), (183, 55, 84), (127, 118, 132), (126, 10, 155), (56, 79, 153), (302, 17, 114), (309, 34, 70), (178, 56, 143), (43, 121, 133), (57, 17, 157), (302, 19, 114), (70, 63, 16), (50, 109, 137), (263, 63, 107), (161, 112, 23), (53, 34, 127), (75, 44, 61), (15, 63, 6), (127, 55, 132), (59, 123, 154), (126, 79, 155), (59, 17, 154), (50, 14, 137), (298, 34, 71), (191, 34, 100), (231, 63, 104), (59, 52, 154), (20, 118, 73), (59, 14, 154), (49, 109, 130), (311, 55, 115), (208, 63, 144), (162, 63, 24), (132, 68, 138), (185, 55, 63), (51, 56, 139), (6, 63, 10), (50, 17, 137), (53, 27, 127), (147, 63, 62), (56, 44, 153), (209, 34, 146), (185, 63, 63), (28, 84, 59), (8, 109, 58), (299, 44, 125), (210, 118, 86), (208, 79, 144), (160, 118, 77), (229, 110, 120), (289, 34, 110), (56, 19, 153), (106, 118, 74), (210, 44, 86), (50, 53, 137), (278, 84, 58), (266, 63, 109), (248, 34, 69), (49, 52, 130), (312, 63, 119), (51, 23, 139), (245, 112, 85), (149, 17, 101), (78, 44, 61), (284, 44, 122), (91, 44, 134), (272, 53, 87), (126, 34, 155), (235, 93, 105), (132, 112, 138), (301, 15, 111), (79, 118, 157), (310, 93, 118), (242, 53, 32), (132, 122, 138), (249, 52, 52), (51, 98, 139), (208, 15, 144), (179, 52, 145), (248, 63, 69), (77, 79, 22), (181, 54, 147), (88, 82, 141), (231, 19, 104), (310, 34, 118), (49, 23, 130), (275, 118, 68), (149, 53, 101), (8, 45, 58), (191, 93, 100), (245, 44, 85), (272, 17, 87), (179, 27, 145), (255, 112, 113), (57, 47, 156), (255, 55, 113), (91, 19, 134), (245, 118, 85), (284, 19, 122), (212, 79, 83), (231, 44, 104), (223, 55, 96), (137, 82, 129), (46, 23, 140), (302, 93, 114), (128, 82, 131), (43, 55, 133), (18, 118, 11), (128, 17, 131), (88, 14, 141), (311, 44, 115), (245, 15, 85), (153, 44, 95), (181, 44, 147), (46, 34, 140), (178, 109, 143), (215, 52, 51), (307, 19, 117), (88, 17, 141), (126, 54, 155), (128, 14, 131), (126, 98, 155), (268, 19, 108), (93, 63, 135), (283, 93, 124), (209, 15, 146), (147, 55, 62), (224, 19, 102), (282, 56, 54), (43, 109, 133), (311, 118, 115), (240, 63, 17), (139, 34, 61), (221, 93, 98), (53, 56, 127), (140, 118, 42), (181, 79, 147), (91, 79, 134), (152, 34, 112), (270, 118, 18), (137, 17, 129), (93, 55, 135), (239, 93, 106), (208, 19, 144), (59, 112, 154), (178, 98, 143), (128, 121, 131), (50, 121, 137), (308, 98, 66), (274, 15, 64), (281, 53, 53), (49, 82, 130), (311, 19, 115), (115, 98, 31), (43, 63, 133), (56, 14, 153), (224, 118, 102), (181, 19, 147), (214, 118, 67), (308, 15, 66), (144, 98, 45), (209, 118, 146), (79, 112, 157), (48, 55, 136), (51, 34, 139), (161, 63, 23), (298, 118, 71), (107, 63, 75), (56, 34, 153), (68, 23, 92), (209, 44, 146), (105, 118, 25), (289, 19, 110), (53, 118, 127), (179, 56, 145), (59, 79, 154), (191, 63, 100), (162, 112, 24), (301, 17, 111), (299, 93, 125), (221, 53, 98), (57, 68, 157), (135, 23, 93), (212, 53, 83), (289, 44, 110), (185, 112, 63), (59, 109, 154), (53, 79, 127), (299, 34, 125), (268, 112, 108), (133, 112, 126), (127, 54, 132), (108, 63, 79), (127, 63, 132), (171, 53, 37), (221, 17, 98), (63, 93, 142), (266, 55, 109), (137, 93, 129), (210, 34, 86), (48, 68, 136), (307, 17, 117), (289, 118, 110), (136, 15, 128), (275, 15, 68), (145, 53, 97), (289, 53, 110), (304, 55, 116), (15, 118, 6), (56, 54, 153), (161, 55, 23), (128, 27, 131), (214, 15, 67), (126, 121, 155), (93, 68, 135), (304, 53, 116), (157, 118, 81), (127, 93, 132), (46, 109, 140), (145, 55, 97), (79, 19, 157), (304, 93, 116), (300, 63, 123), (59, 27, 154), (153, 34, 95), (179, 55, 145), (208, 98, 144), (300, 55, 123), (127, 34, 132), (159, 98, 80), (51, 82, 139), (304, 34, 116), (179, 68, 145), (179, 53, 145), (51, 109, 139), (263, 112, 107), (52, 98, 90), (283, 63, 124), (133, 122, 126), (152, 53, 112), (223, 15, 96), (57, 62, 157), (91, 121, 134), (209, 79, 146), (48, 34, 136), (308, 17, 66), (208, 23, 144), (191, 118, 100), (88, 23, 141), (311, 34, 115), (139, 118, 61), (61, 23, 89), (311, 53, 115), (79, 36, 157), (239, 44, 106), (215, 98, 51), (79, 34, 157), (139, 44, 61), (159, 118, 80), (93, 122, 135), (280, 53, 50), (63, 53, 142), (52, 23, 90), (93, 112, 135), (91, 54, 134), (79, 68, 157), (172, 118, 27), (88, 121, 141), (43, 15, 133), (46, 15, 140), (56, 93, 153), (28, 24, 59), (147, 112, 62), (136, 121, 128), (79, 62, 157), (128, 109, 131), (223, 63, 96), (181, 93, 147), (311, 93, 115), (178, 52, 143), (51, 13, 139), (88, 109, 141), (224, 93, 102), (311, 15, 115), (153, 118, 95), (27, 106, 60), (77, 34, 22), (239, 19, 106), (220, 98, 46), (126, 112, 155), (77, 118, 22), (59, 54, 154), (187, 97, 44), (284, 34, 122), (46, 112, 140), (209, 121, 146), (91, 34, 134), (133, 68, 126), (132, 54, 138), (312, 118, 119), (43, 122, 133), (27, 24, 60), (128, 53, 131), (93, 23, 135), (145, 93, 97), (162, 34, 24), (126, 118, 155), (46, 52, 140), (151, 15, 103), (179, 23, 145), (116, 98, 30), (51, 52, 139), (310, 19, 118), (132, 63, 138), (88, 22, 141), (312, 44, 119), (136, 14, 128), (8, 110, 58), (136, 53, 128), (266, 53, 109), (191, 44, 100), (79, 123, 157), (126, 93, 155), (152, 15, 112), (209, 52, 146), (77, 15, 22), (310, 44, 118), (312, 19, 119), (311, 17, 115), (63, 13, 142), (63, 44, 142), (126, 19, 155), (48, 112, 136), (91, 93, 134), (178, 44, 143), (78, 55, 61), (127, 23, 132), (170, 53, 40), (145, 34, 97), (79, 27, 157), (251, 63, 47), (27, 5, 60), (206, 53, 29), (178, 13, 143), (48, 14, 136), (43, 82, 133), (255, 17, 113), (272, 63, 87), (132, 17, 138), (57, 121, 157), (191, 55, 100), (132, 109, 138), (160, 98, 77), (93, 121, 135), (72, 63, 12), (28, 45, 59), (272, 55, 87), (127, 27, 132), (307, 112, 117), (149, 55, 101), (48, 17, 136), (49, 68, 130), (178, 54, 143), (266, 112, 109), (284, 15, 122), (149, 63, 101), (91, 15, 134), (208, 118, 144), (48, 79, 136), (201, 63, 76), (245, 55, 85), (57, 53, 157), (136, 122, 128), (283, 118, 124), (48, 27, 136), (63, 27, 142), (208, 44, 144), (48, 53, 136), (273, 34, 65), (126, 14, 155), (91, 63, 134), (27, 52, 60), (220, 53, 46), (255, 63, 113), (137, 15, 129), (78, 15, 61), (224, 15, 102), (274, 118, 64), (126, 44, 155), (310, 63, 118), (209, 98, 146), (137, 63, 129), (88, 55, 141), (151, 19, 103), (176, 63, 13), (43, 14, 133), (59, 53, 154), (43, 68, 133), (299, 55, 125), (162, 55, 24), (168, 98, 39), (63, 52, 142), (126, 56, 155), (53, 68, 127), (231, 17, 104), (149, 118, 101), (57, 82, 157), (150, 34, 99), (283, 53, 124), (74, 47, 156), (53, 98, 127), (128, 55, 131), (43, 17, 133), (93, 53, 135), (277, 63, 56), (56, 27, 153), (224, 44, 102), (126, 122, 155), (181, 15, 147), (311, 63, 115), (128, 63, 131), (137, 98, 129), (147, 53, 62), (277, 53, 56), (151, 118, 103), (208, 13, 144), (308, 118, 66), (137, 55, 129), (88, 63, 141), (46, 93, 140), (48, 118, 136), (126, 23, 155), (73, 47, 43), (41, 13, 14), (79, 17, 157), (275, 53, 68), (91, 122, 134), (284, 112, 122), (273, 17, 65), (74, 110, 156), (49, 27, 130), (221, 63, 98), (296, 34, 72), (212, 15, 83), (179, 44, 145), (302, 63, 114), (266, 15, 109), (266, 17, 109), (181, 98, 147), (223, 34, 96), (309, 118, 70), (245, 63, 85), (91, 52, 134), (183, 53, 84), (145, 63, 97), (138, 118, 82), (221, 34, 98), (268, 118, 108), (46, 13, 140), (78, 112, 61), (255, 34, 113), (75, 118, 61), (268, 17, 108), (57, 44, 157), (283, 34, 124), (150, 15, 99), (59, 34, 154), (127, 98, 132), (16, 63, 3), (191, 53, 100), (215, 53, 51), (79, 55, 157), (91, 27, 134), (307, 44, 117), (263, 53, 107), (179, 19, 145), (53, 23, 127), (137, 121, 129), (185, 17, 63), (273, 15, 65), (50, 55, 137), (219, 98, 49), (299, 15, 125), (49, 53, 130), (152, 63, 112), (43, 56, 133), (46, 56, 140), (79, 82, 157), (210, 15, 86), (138, 79, 82), (145, 118, 97), (181, 52, 147), (59, 55, 154), (178, 93, 143), (221, 112, 98), (8, 84, 58), (28, 109, 59), (308, 34, 66), (108, 118, 79), (179, 79, 145), (304, 15, 116), (137, 112, 129), (48, 63, 136), (212, 112, 83), (185, 53, 63), (57, 110, 156), (57, 14, 157), (109, 63, 79), (10, 63, 4), (132, 14, 138), (248, 53, 69), (151, 93, 103), (27, 110, 60), (179, 13, 145), (162, 17, 24), (181, 34, 147), (51, 118, 139), (35, 63, 57), (27, 99, 60), (50, 63, 137), (268, 34, 108), (111, 118, 21), (51, 54, 139), (153, 15, 95), (8, 56, 58), (56, 98, 153), (53, 13, 127), (137, 122, 129), (150, 118, 99), (46, 44, 140), (63, 98, 142), (266, 93, 109), (91, 118, 134), (268, 44, 108), (46, 19, 140), (75, 55, 61), (46, 118, 140), (150, 44, 99), (221, 44, 98), (274, 34, 64), (63, 15, 142), (91, 56, 134), (71, 63, 26), (152, 93, 112), (208, 54, 144), (127, 14, 132), (208, 55, 144), (209, 27, 146), (299, 63, 125), (128, 112, 131), (88, 122, 141), (18, 63, 11), (289, 93, 110), (157, 63, 81), (231, 15, 104), (133, 56, 126), (91, 23, 134), (139, 15, 61), (27, 45, 60), (310, 15, 118), (57, 112, 157), (272, 112, 87), (209, 17, 146), (162, 53, 24), (56, 52, 153), (127, 79, 132), (278, 106, 58), (208, 93, 144), (152, 44, 112), (136, 55, 128), (132, 53, 138), (284, 63, 122), (278, 113, 58), (28, 110, 59), (150, 93, 99), (88, 53, 141), (151, 17, 103), (57, 122, 157), (263, 19, 107), (167, 98, 35), (59, 68, 154), (183, 44, 84), (273, 118, 65), (307, 55, 117), (149, 112, 101), (209, 23, 146), (27, 103, 60), (59, 15, 154), (49, 56, 130), (51, 14, 139), (214, 53, 67), (63, 19, 142), (210, 55, 86), (8, 52, 58), (312, 15, 119), (250, 52, 55), (152, 19, 112), (181, 23, 147), (50, 68, 137), (208, 34, 144), (208, 109, 144), (278, 52, 58), (289, 15, 110), (91, 112, 134), (301, 55, 111), (133, 34, 126), (127, 44, 132), (8, 113, 58), (181, 109, 147), (59, 121, 154), (231, 118, 104), (208, 27, 144), (212, 55, 83), (49, 63, 130), (147, 118, 62), (178, 121, 143), (212, 63, 83), (53, 15, 127), (49, 55, 130), (77, 98, 22), (91, 13, 134), (59, 122, 154), (204, 98, 34), (51, 17, 139), (58, 110, 149), (249, 56, 52), (221, 55, 98), (136, 17, 128), (312, 17, 119), (178, 118, 143), (178, 15, 143), (302, 53, 114), (59, 10, 154), (50, 112, 137), (268, 55, 108), (191, 17, 100), (53, 44, 127), (67, 110, 152), (8, 47, 58), (50, 122, 137), (56, 118, 153), (283, 44, 124), (179, 34, 145), (214, 55, 67), (46, 27, 140), (56, 56, 153), (137, 68, 129), (136, 82, 128), (147, 17, 62), (178, 79, 143), (51, 44, 139), (8, 106, 58), (126, 52, 155), (93, 14, 135), (296, 118, 72), (284, 93, 122), (223, 44, 96), (223, 17, 96), (300, 53, 123), (161, 17, 23), (53, 63, 127), (91, 98, 134), (59, 118, 154), (78, 17, 61), (128, 68, 131), (127, 15, 132), (78, 53, 61), (263, 17, 107), (299, 19, 125), (56, 23, 153), (88, 68, 141), (145, 15, 97), (27, 85, 60), (63, 23, 142), (301, 112, 111), (132, 55, 138), (79, 44, 157), (51, 19, 139), (161, 53, 23), (27, 113, 60), (75, 34, 61)]
moveTos = [(130, 107, 64), (95, 57, 130), (170, 110, 205), (146, 110, 190), (94, 24, 47), (94, 40, 129), (130, 22, 46), (55, 103, 62), (287, 24, 47), (154, 41, 149), (199, 106, 63), (94, 2, 43), (287, 2, 43), (192, 106, 63), (235, 52, 99), (95, 31, 50), (233, 120, 59), (99, 107, 64), (148, 99, 60), (90, 22, 46), (104, 31, 50), (29, 85, 58), (99, 85, 58), (37, 60, 77), (198, 99, 60), (29, 107, 64), (89, 84, 57), (130, 42, 53), (166, 94, 204), (227, 24, 47), (297, 47, 8), (123, 99, 60), (109, 10, 157), (86, 57, 123), (227, 2, 43), (66, 84, 57), (246, 25, 273), (217, 31, 250), (263, 52, 99), (261, 120, 59), (92, 113, 67), (54, 110, 92), (197, 30, 49), (104, 74, 153), (99, 52, 54), (112, 103, 62), (236, 2, 43), (189, 22, 46), (290, 102, 303), (29, 5, 44), (121, 98, 175), (247, 30, 49), (154, 120, 59), (89, 69, 45), (92, 25, 48), (37, 84, 79), (118, 53, 172), (73, 108, 102), (225, 56, 217), (247, 16, 275), (253, 31, 281), (136, 54, 89), (190, 102, 222), (123, 24, 47), (76, 96, 107), (189, 42, 53), (131, 53, 181), (99, 5, 44), (69, 23, 101), (85, 13, 122), (102, 38, 140), (100, 106, 63), (198, 5, 44), (123, 2, 43), (92, 56, 55), (237, 28, 228), (29, 52, 54), (110, 84, 79), (78, 98, 110), (1, 61, 13), (237, 106, 63), (233, 110, 66), (197, 52, 54), (233, 115, 262), (192, 1, 145), (112, 56, 55), (55, 113, 67), (97, 53, 133), (247, 85, 58), (130, 45, 56), (197, 5, 44), (236, 99, 60), (198, 113, 67), (92, 103, 62), (90, 45, 56), (261, 110, 66), (54, 120, 59), (258, 106, 63), (95, 42, 53), (112, 25, 48), (108, 64, 158), (1, 20, 3), (103, 59, 143), (29, 95, 61), (26, 46, 7), (198, 2, 43), (197, 107, 64), (247, 5, 44), (154, 102, 97), (227, 99, 60), (29, 30, 49), (139, 100, 185), (247, 27, 148), (112, 113, 67), (95, 106, 63), (53, 109, 90), (154, 110, 154), (148, 24, 47), (247, 49, 151), (24, 84, 40), (200, 24, 47), (99, 30, 49), (80, 68, 112), (94, 99, 60), (41, 110, 84), (287, 99, 60), (197, 85, 58), (45, 111, 87), (86, 106, 63), (104, 119, 155), (148, 2, 43), (199, 28, 228), (102, 47, 8), (247, 52, 54), (86, 24, 47), (199, 99, 60), (108, 10, 157), (90, 5, 44), (103, 120, 144), (29, 45, 56), (195, 110, 225), (197, 56, 55), (148, 106, 63), (112, 52, 54), (237, 87, 229), (216, 31, 249), (99, 103, 62), (200, 106, 63), (203, 84, 120), (154, 42, 53), (86, 2, 43), (200, 45, 56), (112, 5, 44), (173, 84, 79), (244, 84, 138), (189, 120, 59), (29, 103, 62), (95, 24, 47), (198, 69, 45), (198, 106, 63), (95, 2, 43), (254, 22, 46), (197, 25, 48), (81, 84, 113), (104, 69, 45), (154, 22, 46), (55, 85, 58), (104, 71, 152), (252, 31, 215), (137, 54, 89), (194, 122, 199), (26, 37, 6), (130, 31, 50), (112, 107, 64), (104, 84, 57), (197, 113, 67), (92, 30, 49), (66, 47, 8), (261, 22, 46), (233, 42, 53), (247, 25, 48), (248, 15, 276), (189, 6, 146), (236, 28, 228), (183, 98, 211), (26, 29, 5), (55, 52, 54), (66, 31, 50), (66, 32, 51), (261, 32, 51), (237, 2, 43), (130, 120, 59), (55, 5, 44), (256, 98, 252), (100, 99, 60), (112, 85, 58), (261, 42, 53), (89, 32, 51), (54, 45, 56), (233, 22, 46), (189, 41, 149), (1, 4, 19), (180, 53, 209), (247, 56, 55), (123, 30, 49), (237, 24, 47), (99, 113, 67), (194, 68, 197), (237, 99, 60), (66, 119, 96), (267, 110, 293), (100, 24, 47), (26, 102, 20), (154, 45, 56), (100, 2, 43), (186, 106, 63), (123, 106, 63), (1, 47, 8), (295, 84, 57), (254, 45, 56), (92, 85, 58), (109, 64, 160), (8, 57, 27), (55, 56, 55), (92, 107, 64), (247, 103, 62), (236, 106, 63), (189, 110, 154), (263, 56, 100), (112, 30, 49), (96, 53, 132), (29, 113, 67), (26, 48, 9), (99, 56, 55), (26, 51, 10), (197, 103, 62), (260, 102, 288), (92, 5, 44), (225, 66, 256), (278, 57, 27), (269, 102, 294), (95, 99, 60), (155, 27, 196), (29, 25, 48), (227, 106, 63), (104, 49, 151), (54, 22, 46), (225, 52, 216), (162, 56, 100), (154, 52, 54), (230, 110, 260), (199, 2, 43), (247, 43, 150), (99, 25, 48), (200, 28, 228), (295, 69, 45), (130, 110, 66), (188, 84, 79), (177, 56, 100), (55, 30, 93), (278, 87, 28), (261, 45, 56), (94, 106, 63), (287, 106, 63), (90, 110, 92), (218, 53, 251), (192, 2, 43), (29, 56, 55), (104, 99, 60), (92, 52, 54), (200, 113, 67), (95, 52, 54), (290, 47, 8), (156, 106, 109), (106, 98, 156), (148, 113, 67), (214, 90, 248), (237, 107, 64), (125, 53, 179), (100, 30, 49), (40, 110, 83), (200, 42, 53), (198, 119, 232), (39, 84, 82), (233, 119, 263), (123, 103, 62), (86, 119, 125), (236, 103, 62), (32, 84, 72), (112, 2, 43), (247, 106, 63), (29, 32, 51), (190, 47, 8), (86, 52, 54), (295, 120, 59), (92, 99, 60), (216, 45, 56), (233, 87, 229), (301, 56, 100), (95, 5, 44), (237, 85, 58), (156, 96, 201), (261, 119, 289), (112, 24, 47), (233, 2, 43), (247, 69, 45), (200, 56, 55), (175, 84, 207), (66, 45, 56), (188, 120, 220), (143, 98, 188), (148, 56, 55), (197, 106, 63), (86, 85, 58), (3, 84, 21), (54, 31, 50), (54, 32, 51), (154, 119, 194), (237, 52, 54), (227, 103, 62), (95, 107, 64), (117, 36, 168), (117, 21, 167), (198, 25, 48), (1, 92, 17), (192, 30, 49), (95, 85, 58), (237, 5, 44), (148, 25, 48), (297, 102, 309), (252, 45, 56), (200, 25, 48), (192, 16, 223), (55, 2, 43), (258, 52, 216), (102, 102, 142), (104, 110, 154), (287, 103, 62), (86, 107, 64), (55, 24, 47), (258, 66, 285), (199, 30, 49), (117, 62, 170), (200, 5, 44), (185, 44, 213), (86, 30, 49), (227, 56, 55), (104, 6, 146), (94, 25, 48), (76, 69, 45), (287, 25, 48), (199, 107, 64), (123, 113, 67), (55, 99, 60), (194, 53, 132), (246, 116, 274), (1, 46, 7), (192, 107, 64), (100, 5, 44), (200, 103, 62), (12, 0, 33), (99, 106, 63), (280, 56, 254), (148, 103, 62), (216, 22, 46), (287, 56, 55), (148, 49, 151), (198, 103, 62), (130, 69, 45), (100, 52, 54), (247, 1, 145), (29, 106, 63), (227, 25, 48), (192, 85, 58), (95, 30, 49), (200, 110, 66), (241, 98, 175), (173, 117, 206), (112, 69, 45), (154, 31, 50), (236, 113, 67), (83, 73, 116), (199, 85, 58), (90, 69, 45), (103, 84, 79), (197, 28, 228), (254, 31, 282), (155, 52, 99), (227, 113, 67), (155, 121, 200), (194, 121, 200), (112, 99, 60), (252, 22, 46), (186, 56, 217), (101, 33, 139), (192, 52, 54), (123, 56, 55), (92, 2, 43), (130, 84, 57), (192, 49, 151), (199, 52, 54), (112, 32, 51), (4, 83, 24), (261, 31, 50), (26, 61, 13), (200, 2, 43), (236, 25, 48), (287, 113, 67), (189, 71, 152), (266, 56, 100), (199, 5, 44), (94, 113, 67), (192, 27, 148), (123, 25, 48), (11, 39, 30), (233, 107, 64), (26, 20, 3), (154, 74, 153), (194, 82, 198), (236, 56, 55), (100, 107, 64), (104, 120, 59), (238, 110, 269), (237, 30, 49), (282, 22, 88), (94, 32, 51), (233, 32, 51), (233, 31, 50), (89, 22, 46), (247, 45, 56), (227, 52, 54), (54, 84, 57), (252, 18, 280), (225, 106, 63), (294, 53, 307), (100, 25, 48), (192, 113, 67), (66, 110, 66), (204, 104, 242), (26, 35, 42), (217, 45, 56), (244, 33, 272), (199, 113, 67), (94, 5, 44), (236, 85, 58), (123, 107, 64), (182, 84, 210), (280, 52, 253), (66, 102, 97), (1, 37, 6), (94, 52, 54), (287, 52, 54), (92, 106, 63), (189, 119, 155), (236, 107, 64), (123, 85, 58), (124, 53, 178), (92, 42, 53), (76, 8, 106), (110, 120, 80), (227, 5, 44), (76, 120, 59), (104, 45, 56), (82, 88, 114), (173, 120, 117), (237, 22, 46), (197, 99, 60), (236, 5, 44), (253, 45, 56), (214, 17, 247), (186, 52, 216), (123, 52, 54), (192, 56, 55), (29, 2, 43), (20, 34, 36), (177, 52, 99), (154, 6, 146), (29, 24, 47), (198, 30, 49), (227, 107, 64), (186, 66, 218), (227, 85, 58), (266, 52, 99), (192, 25, 48), (130, 119, 180), (148, 30, 49), (215, 22, 88), (99, 24, 47), (100, 113, 67), (200, 30, 49), (197, 87, 229), (99, 2, 43), (54, 69, 45), (236, 52, 54), (123, 5, 44), (287, 107, 64), (189, 31, 50), (247, 99, 60), (303, 53, 310), (94, 107, 64), (1, 102, 20), (75, 100, 105), (205, 106, 243), (95, 56, 55), (130, 32, 51), (199, 103, 62), (202, 53, 240), (86, 25, 48), (55, 106, 63), (66, 120, 59), (260, 47, 8), (94, 30, 49), (192, 119, 155), (287, 30, 49), (148, 107, 64), (89, 120, 59), (1, 51, 10), (90, 31, 50), (90, 32, 51), (237, 113, 67), (104, 22, 46), (98, 91, 135), (154, 69, 45), (1, 48, 9), (200, 107, 64), (192, 103, 62), (269, 47, 8), (194, 52, 99), (189, 74, 221), (200, 85, 58), (197, 2, 43), (102, 97, 141), (199, 24, 47), (148, 85, 58), (95, 25, 48), (227, 30, 49), (247, 74, 153), (29, 99, 60), (94, 103, 62), (233, 84, 57), (86, 56, 55), (203, 105, 241), (78, 79, 104), (301, 52, 99), (104, 42, 53), (241, 53, 270), (197, 24, 47), (233, 45, 56), (26, 4, 19), (192, 24, 47), (217, 22, 46), (95, 113, 67), (26, 47, 8), (200, 52, 54), (164, 110, 203), (138, 84, 183), (87, 120, 126), (184, 33, 212), (148, 52, 54), (112, 106, 63), (247, 2, 43), (156, 25, 108), (199, 56, 55), (237, 56, 55), (287, 42, 53), (247, 24, 47), (192, 43, 150), (236, 30, 49), (233, 69, 45), (83, 3, 115), (101, 84, 138), (55, 25, 48), (185, 76, 214), (225, 45, 56), (154, 84, 57), (253, 22, 46), (37, 120, 80), (287, 85, 58), (258, 56, 217), (87, 84, 79), (86, 113, 67), (198, 52, 54), (100, 103, 62), (243, 53, 271), (199, 69, 45), (237, 25, 48), (148, 5, 44), (261, 69, 45), (98, 84, 134), (99, 22, 46), (104, 5, 44), (258, 18, 219), (4, 39, 22), (92, 110, 66), (233, 106, 63), (227, 45, 56), (11, 83, 31), (89, 103, 62), (237, 115, 267), (237, 110, 66), (66, 103, 62), (104, 27, 148), (199, 121, 236), (199, 120, 59), (55, 84, 57), (194, 27, 196), (287, 45, 56), (94, 45, 56), (261, 106, 63), (117, 58, 166), (104, 52, 54), (211, 84, 138), (247, 119, 155), (258, 102, 286), (92, 31, 50), (189, 99, 60), (186, 45, 56), (202, 98, 175), (95, 110, 66), (154, 106, 63), (123, 45, 56), (254, 106, 63), (148, 42, 53), (104, 85, 58), (29, 31, 50), (100, 120, 59), (55, 69, 45), (198, 22, 46), (247, 113, 67), (292, 47, 8), (192, 41, 149), (197, 119, 231), (222, 53, 255), (200, 22, 46), (104, 107, 64), (112, 84, 57), (29, 40, 52), (148, 22, 46), (86, 110, 66), (99, 32, 51), (99, 31, 50), (122, 47, 8), (198, 42, 53), (155, 68, 197), (184, 84, 138), (189, 32, 51), (192, 6, 146), (198, 85, 58), (236, 45, 56), (130, 99, 60), (92, 84, 57), (1, 70, 15), (287, 22, 46), (130, 24, 47), (1, 65, 14), (94, 22, 46), (227, 42, 53), (90, 2, 43), (192, 110, 154), (250, 22, 88), (66, 113, 67), (125, 52, 99), (86, 103, 62), (104, 16, 147), (90, 24, 47), (199, 115, 234), (154, 32, 51), (89, 113, 67), (104, 30, 49), (237, 120, 59), (130, 2, 43), (76, 84, 57), (136, 109, 90), (31, 84, 71), (54, 106, 63), (94, 42, 53), (227, 22, 46), (268, 52, 99), (248, 112, 279), (11, 67, 32), (259, 52, 99), (33, 69, 73), (53, 54, 89), (155, 122, 199), (26, 101, 18), (29, 119, 68), (197, 32, 51), (197, 31, 50), (154, 1, 145), (148, 45, 56), (33, 84, 74), (189, 24, 47), (95, 120, 59), (163, 84, 120), (123, 42, 53), (66, 56, 55), (236, 22, 46), (247, 32, 51), (247, 31, 50), (153, 93, 192), (89, 56, 55), (189, 2, 43), (89, 99, 60), (100, 110, 92), (246, 84, 57), (86, 120, 59), (66, 25, 48), (123, 22, 46), (252, 56, 217), (186, 22, 46), (89, 25, 48), (236, 42, 53), (92, 69, 45), (117, 12, 165), (83, 84, 79), (293, 102, 306), (233, 28, 228), (198, 45, 56), (233, 99, 60), (29, 84, 57), (148, 120, 59), (89, 107, 64), (100, 22, 46), (274, 98, 295), (200, 120, 59), (95, 45, 56), (154, 113, 67), (123, 110, 66), (125, 56, 100), (66, 107, 64), (95, 32, 51), (20, 11, 35), (29, 120, 59), (138, 13, 182), (186, 18, 219), (73, 110, 103), (261, 99, 60), (268, 56, 100), (100, 42, 137), (104, 43, 150), (86, 45, 56), (96, 56, 100), (66, 85, 58), (29, 124, 69), (259, 56, 100), (236, 115, 265), (236, 110, 66), (189, 106, 63), (89, 85, 58), (112, 31, 50), (104, 32, 51), (198, 120, 59), (99, 84, 57), (227, 110, 66), (154, 99, 60), (192, 42, 53), (64, 110, 95), (99, 69, 45), (54, 2, 43), (66, 52, 54), (295, 25, 308), (68, 13, 98), (50, 22, 88), (199, 42, 53), (90, 99, 60), (54, 24, 47), (26, 72, 16), (89, 52, 54), (26, 7, 4), (237, 45, 56), (148, 41, 149), (76, 106, 109), (26, 9, 12), (94, 110, 66), (287, 110, 66), (90, 106, 63), (92, 24, 47), (104, 103, 62), (192, 22, 46), (4, 77, 23), (89, 5, 44), (61, 98, 94), (252, 52, 216), (199, 22, 46), (55, 32, 51), (55, 31, 50), (29, 69, 45), (163, 105, 202), (130, 106, 63), (5, 63, 26), (66, 5, 44), (148, 6, 146), (247, 84, 57), (137, 109, 90), (123, 120, 59), (200, 115, 238), (192, 120, 59), (143, 53, 187), (86, 22, 46), (257, 53, 284), (194, 56, 100), (66, 69, 45), (199, 25, 48), (276, 47, 8), (94, 85, 58), (246, 69, 45), (84, 84, 120), (44, 110, 86), (36, 89, 76), (104, 25, 48), (66, 22, 46), (197, 69, 45), (156, 84, 57), (95, 22, 46), (100, 45, 56), (86, 42, 53), (154, 2, 43), (54, 99, 60), (154, 24, 47), (104, 56, 55), (198, 110, 66), (189, 1, 145), (236, 120, 59), (261, 2, 43), (225, 47, 8), (192, 45, 56), (227, 120, 59), (258, 22, 46), (265, 110, 292), (237, 42, 53), (90, 120, 59), (213, 89, 246), (156, 69, 45), (232, 19, 261), (177, 53, 208), (248, 55, 278), (26, 65, 14), (261, 24, 47), (112, 119, 162), (189, 45, 56), (199, 45, 56), (281, 22, 88), (138, 98, 184), (34, 84, 75), (66, 30, 49), (94, 120, 59), (287, 120, 59), (86, 109, 124), (197, 84, 57), (155, 56, 100), (189, 84, 57), (247, 71, 152), (225, 31, 215), (89, 30, 127), (233, 24, 47), (189, 5, 44), (139, 79, 104), (41, 125, 85), (211, 33, 245), (99, 110, 92), (86, 31, 50), (86, 32, 51), (112, 120, 59), (130, 25, 48), (236, 84, 57), (227, 69, 45), (90, 25, 48), (156, 120, 59), (292, 102, 305), (278, 80, 297), (54, 85, 58), (199, 119, 235), (112, 45, 56), (200, 99, 60), (54, 107, 64), (114, 84, 164), (189, 113, 67), (130, 56, 55), (287, 69, 45), (76, 25, 108), (94, 56, 55), (123, 84, 57), (199, 87, 229), (279, 47, 8), (113, 110, 163), (247, 120, 59), (154, 30, 49), (218, 98, 252), (90, 56, 55), (154, 16, 193), (235, 56, 100), (122, 102, 20), (30, 84, 70), (258, 31, 215), (123, 69, 45), (286, 53, 300), (17, 23, 34), (189, 25, 48), (247, 6, 146), (54, 5, 44), (200, 68, 237), (37, 75, 78), (55, 45, 56), (92, 22, 46), (66, 42, 53), (197, 120, 59), (192, 99, 60), (287, 84, 57), (219, 52, 253), (261, 30, 49), (94, 84, 57), (237, 103, 62), (90, 84, 57), (100, 56, 55), (66, 24, 47), (285, 98, 252), (89, 2, 43), (247, 41, 149), (104, 1, 145), (189, 56, 55), (130, 113, 67), (89, 24, 47), (232, 56, 100), (288, 53, 302), (122, 51, 176), (258, 47, 8), (8, 80, 29), (104, 41, 149), (237, 32, 51), (237, 31, 50), (4, 67, 25), (90, 113, 67), (236, 69, 45), (108, 123, 159), (225, 22, 46), (233, 30, 49), (54, 52, 54), (227, 84, 57), (226, 110, 258), (66, 2, 43), (154, 49, 151), (231, 52, 99), (99, 120, 59), (261, 84, 57), (198, 84, 57), (100, 31, 50), (100, 32, 51), (112, 42, 53), (261, 85, 58), (259, 19, 287), (194, 14, 195), (253, 106, 63), (78, 100, 111), (123, 31, 50), (199, 110, 66), (66, 99, 60), (237, 119, 268), (1, 29, 5), (189, 69, 45), (261, 107, 64), (248, 81, 277), (256, 53, 283), (21, 114, 37), (154, 5, 44), (26, 92, 17), (233, 85, 58), (112, 22, 46), (154, 27, 148), (148, 84, 57), (117, 26, 171), (293, 47, 8), (189, 103, 62), (23, 39, 39), (192, 74, 153), (83, 78, 118), (247, 110, 154), (289, 56, 100), (86, 99, 60), (110, 60, 161), (217, 106, 63), (148, 71, 152), (148, 69, 45), (92, 119, 96), (261, 5, 44), (173, 73, 116), (95, 119, 131), (200, 69, 45), (83, 117, 119), (233, 52, 54), (54, 30, 91), (197, 110, 66), (197, 115, 230), (26, 70, 15), (154, 107, 64), (75, 79, 104), (236, 24, 47), (1, 101, 18), (192, 31, 50), (192, 32, 51), (233, 5, 44), (104, 106, 63), (90, 103, 62), (131, 52, 99), (261, 52, 54), (239, 56, 100), (68, 52, 99), (92, 45, 56), (306, 53, 312), (130, 103, 62), (55, 22, 46), (199, 32, 51), (189, 43, 150), (154, 85, 58), (104, 2, 43), (148, 119, 155), (130, 30, 49), (1, 72, 16), (155, 82, 198), (231, 56, 100), (200, 119, 239), (1, 9, 12), (1, 7, 4), (287, 32, 51), (287, 31, 50), (94, 31, 50), (95, 69, 45), (233, 113, 67), (197, 42, 53), (94, 69, 45), (90, 30, 128), (104, 24, 47), (154, 56, 55), (26, 50, 11), (55, 110, 92), (199, 31, 50), (86, 69, 45), (210, 98, 244), (200, 87, 229), (55, 107, 64), (237, 84, 57), (54, 103, 62), (258, 45, 56), (227, 32, 51), (227, 31, 50), (180, 56, 100), (261, 113, 67), (1, 50, 11), (154, 25, 48), (22, 84, 38), (197, 22, 46), (92, 120, 59), (29, 110, 66), (289, 52, 99), (84, 105, 121), (92, 32, 51), (96, 52, 99), (25, 84, 41), (104, 113, 67), (83, 120, 117), (189, 30, 49), (155, 14, 195), (8, 87, 28), (99, 45, 56), (196, 82, 227), (154, 47, 8), (233, 56, 55), (86, 84, 57), (112, 110, 66), (247, 107, 64), (246, 120, 59), (247, 22, 46), (236, 31, 50), (236, 32, 51), (261, 25, 48), (109, 123, 159), (237, 69, 45), (199, 68, 233), (38, 88, 81), (123, 32, 51), (148, 43, 191), (186, 31, 215), (117, 86, 169), (89, 45, 56), (249, 22, 88), (279, 102, 298), (68, 56, 100), (261, 56, 55), (131, 56, 100), (234, 110, 264), (86, 5, 44), (264, 102, 291), (233, 25, 48), (247, 42, 53), (154, 71, 152), (95, 84, 57), (285, 53, 299), (99, 99, 60), (89, 106, 63), (123, 119, 177), (193, 53, 224), (233, 103, 62), (141, 110, 186), (225, 102, 257), (121, 53, 174), (198, 107, 64), (287, 5, 44), (154, 43, 150), (189, 85, 58), (145, 19, 189), (236, 87, 229), (89, 110, 92), (95, 103, 62), (305, 53, 311), (55, 120, 59), (66, 106, 63), (197, 45, 56), (239, 52, 99), (130, 5, 44), (118, 98, 173), (192, 5, 44), (173, 3, 115), (261, 103, 62), (199, 84, 57), (100, 69, 45), (130, 52, 54), (198, 56, 55), (192, 84, 57), (162, 52, 99), (189, 107, 64), (252, 106, 63), (225, 18, 219), (200, 84, 57), (90, 52, 54), (236, 119, 266), (29, 109, 65), (54, 113, 67), (192, 69, 45), (192, 71, 152), (148, 110, 154), (189, 27, 148), (99, 42, 136), (227, 119, 259), (154, 103, 62), (89, 31, 50), (130, 85, 58), (54, 25, 48), (264, 47, 8), (29, 22, 46), (198, 31, 50), (198, 32, 51), (90, 85, 58), (100, 84, 57), (219, 56, 254), (276, 102, 296), (100, 85, 58), (291, 53, 304), (216, 106, 63), (90, 107, 64), (148, 31, 50), (148, 32, 51), (94, 119, 68), (287, 119, 301), (189, 52, 54), (200, 31, 50), (200, 32, 51), (232, 52, 99), (189, 49, 151), (29, 42, 53), (196, 14, 226), (198, 24, 47), (180, 52, 99), (262, 110, 290), (54, 56, 55)]
Root = (-7, 'statement_list')
CaseSensitivity = 0

Generated by  Doxygen 1.6.0   Back to index