{"gadget": "T = I + (3/5) P", "problem": "Erd\u0151s #1 explicit dissociated set", "b": 9, "s": 2, "d": 81, "r": 80, "D": 25, "delta_formula": "13953020419224025302426049473523721050215046642854952714633216/32311742677852643549664402033982923967414535582065582275390625", "alpha": "3/5", "detA": 2954667002198689857188099983388402365526747658615626338729498456814326345920562744140625000000000000000000000000, "H_upper_triangular_rows": [[1233005, 411005, 136990, 182680, 106530, 1055450, 295920, 739800, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 821995, 1096010, 1050320, 1126470, 177550, 937080, 493200, 1233000, 0, 1096010, 91330, 121790, 482025, 292635, 608285, 904205, 411005, 0, 1050320, 121790, 436335, 323095, 922830, 745275, 1041200, 136990, 0, 1126470, 482025, 323095, 998980, 1105510, 927960, 812875, 182680, 0, 177550, 292635, 922830, 1105510, 1212045, 623485, 782415, 106530, 0, 937080, 608285, 745275, 927960, 623485, 308940, 422180, 1055450, 0, 493200, 904205, 1041200, 812875, 782415, 422180, 611570, 295920], [0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 1972808, 739803, 1561798, 1835813, 1790123, 1866273, 917353, 1676883, 1233003, 0, 1342611, 1570936, 1847997, 482025, 1279039, 854886, 411003, 1890611, 0, 1543522, 1847997, 682936, 1556100, 429628, 745275, 1041200, 1863197, 0, 1619672, 482025, 1556100, 505778, 1352111, 1174561, 812875, 1662286, 0, 177550, 1279039, 429628, 1352111, 1705247, 870086, 535814, 1586136, 0, 443878, 854886, 745275, 1174561, 870086, 62339, 1901786, 1055450, 0, 493200, 411003, 1041200, 812875, 535814, 1901786, 1844575, 1528925, 0, 1233000, 1890611, 1863197, 1662286, 1586136, 1055450, 1528925, 739800], [0, 0, 0, 0, 0, 0, 0, 0, 0, 1233005, 411005, 136990, 182680, 106530, 1055450, 295920, 739800, 0, 411005, 548000, 319675, 289215, 1161985, 118370, 1035725, 739805, 0, 136990, 319675, 15200, 933660, 1046900, 447165, 624720, 328795, 0, 182680, 289215, 933660, 1092590, 416705, 310175, 487725, 602810, 0, 106530, 1161985, 1046900, 416705, 234025, 127490, 716050, 557120, 0, 1055450, 118370, 447165, 310175, 127490, 431965, 746510, 633270, 0, 295920, 1035725, 624720, 487725, 716050, 746510, 1106745, 917355, 0, 739800, 739805, 328795, 602810, 557120, 633270, 917355, 443880], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1972808, 657611, 219187, 292291, 170451, 1688723, 473475, 1183683, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1972808, 657611, 219187, 292291, 170451, 1688723, 473475, 1183683, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1972808, 657611, 219187, 292291, 170451, 1688723, 473475, 1183683, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1972808, 657611, 219187, 292291, 170451, 1688723, 473475, 1183683, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1972808, 657611, 219187, 292291, 170451, 1688723, 473475, 1183683, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1972808, 657611, 219187, 292291, 170451, 1688723, 473475, 1183683, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1972808, 657611, 219187, 292291, 170451, 1688723, 473475, 1183683, 3], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5]], "K": "239225945/986404", "instances": [{"k": 21, "n": 1701, "t": 83896, "ratio": "1464512558951603167020647406009354752217597152783359380709286132274673511094520554756240682695576629024035945397307306072916990768722443025356954353980075630026502644874548525640409313694031869943344117883827470206375061602055842284202313661751097110536835272617532961019196478197468882906400101998851378927714129346276397060997732660503054295378598314184248926282049696543027286443279670202305092001877757420655023344351724265355167668015867252793700982314775066585079475683561723653622881337795224012335/6718970410202238872129370590146842707876081992519893043089201857877885066159767550941870163905351778674484500678032342178421783679706160979863387159669421494212459699226510810244909092576756128735939300874634283146552298924707170031024645335496134273916559412065612832262277791574488592718923934698420329543091103556702192061828419599075181288424725836078930718259346819606260215355075764619931616372721665548217572156449042380653889374023341813648552054264417626318023919188169092214845135092184904630272", "ratio_float": 0.2179668118091209, "N_bits": 1699, "a": ["23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603926960159971417129714332000315710536562227120977397372671884454799839923408171663894239623842907243297639696423806612872279681", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603926960159971417129714332000315710536562227120977397372671884454799839923408171663894239623842907243297639696423806716316467160", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603926960159971417129714332000315710536562227120977397372671884454799839923408171663894239623842907243297639696467199415118065560", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603926960159971417129714332000315710536562227120977397372671884454799839923408171663894239623842907243297657898836492686626135120", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603926960159971417129714332000315710536562227120977397372671884454799839923408171663894239623842907250933187769978024895478372160", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603926960159971417129714332000315710536562227120977397372671884454799839923408171663894239623846110203003534219908994225483230960", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603926960159971417129714332000315710536562227120977397372671884454799839923408171663894240967420444671932351262923544743263247280", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603926960159971417129714332000315710536562227120977397372671884454799839923408171664457843529243470932105555006574743040787632000", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603926960159971417129714332000315710536562227120977397372671884454799839923408408084460477052299088387611941811236588606929734080", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603926960159971417129714332000315710536562227120977397372671884454838970056812959355757102435506273659383888806259900765113738880", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603926960159971417129714332000315710536562227120977397376719669310856782450093418187568019371778310417198018668009509633533642880", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603926960159971417129714332000315710536562227120979095338812575782634908376722686190490081725039125277058792784411420213139466880", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603926960159971417129714332000315710536562227833240234070319803929815873231426440228982080057824412349722355591405565109171274880", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603926960159971417129714332000315710536861007135715326722532977350751749548807206755545657041008519883215232652149663167550666880", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603926960159971417129714332000315835868802809387581077104269601615818322455021936472980329425498558438340341658331341095640906880", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603926960159971417129714332052890078816011422032551207986531484839717966301577167143623176072616538552516227869874774067239242880", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603926960159971417129736385896321573884843734103053699198812814336502352732370259002356985804188063836057044148160509919965898880", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603926960159971426380882628539873047663111068488067426972367322089937744485303903777285446334643927727805376142431589480775882880", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603928491327311699162041400685568241343027065440408119980437060702942843042602740584750085983424866333310421338907652994196977280", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324222246221546457059565160982800479985657855723186236334610649707432873051614412740220274179290602296544387675148652449301178513501800", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941593651336987032815232382527596265159906753632030622184693816752241990354742454584866728146121512406742077718815243446579362230331485040", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514633961708645643204615887308599819271671462674905460514025957904032801131617521882409046881613211011884181532146115592957041123954869207427200", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967057924311799520217794951595854525994692855101644484073703309168756941679599391081948773859440017350782838687328776433651206934052145884773013051600", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784521854469583716997806432618109422592907948701453237748746655239819806985958664258311860845822731667814541030255257606938069394947146422009248163808907280", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254118126893297356876294099200450863268695857235024750295181616004454876638510715407118788531329905142274918338317452184378868777088808130072343302057439783261760", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266734753576099755658847118786861973930275218166997103222776175693461702980125011721398953422773724134200336286015085665221282526726945775019094653408916015194835950080", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024130734687384032403153585767982915081117654839371000212132402787839602839229380155207952659482518918131332151515956480856631467167798364864213220128574193536020995801423680", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833352433470715075693959062669374308724634898669542237930918927457094140307894363305865368625758630462888517814841710864768906046726456676695427050632866255898316857503620199939671680", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847179751077553347765274159025360297755624867893680659841747079901213782704225129658906916293568521816379992394001134493697096764908404768345400836626732162671206458279944957374200394859440", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320081599627084309583973428387600330870913229177160963951783341762692610508011663007598099235686878800544772517861508282744818869710759607198989107107152372872295742597542957369656423491664846960", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067362253878206971256525440306707831063728270095691330208253077851481309006287303691729046758340866429336514625447884624768885142269421185464495867304049941666322451011082158852174163262925459820498320", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991017590231254726940332363925119083563382625063295425074513834259073892385091783649791043842355232389803175691202261694352674911395710880570380064826467492199724346475739972804661650209741996698942675932280", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214394146710678707281397257664381365418221536994716081823497152000666553675923303014625987878315885580874521033936340417100581936195437416997124085428284341052607414752674883450676758962291228146039116292402892840", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506428538144283464602374946111692340237898150738053035685718536460893223020501584338858138114592028570585538211745748778881535439464879111799483584614861702297902233980786729831069293951918228606762968333176453666402840", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787548061715245509819364714369357169520638588621645013001605389800868206323343589230191307778427719287435973261548235432480873668388371315578008629335321637295480225350640036453682444370534844411135685135683696347209732795160", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852827020479729720940509198344129919894984112800079854323562216696353440938604171036365104097481329655455873767398325966011970630485292810577561914632939762981840109537503666453515111911664535030405551871310747628111291476658174360", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908876319628149234631793806584439083532158317296854657230912901327774209087544877024781760773503525432300562767126757362219083394555012092236935489110721732367541049075156903484848146226621115682212692847527382096025986927032369584799649920", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860206080968810200887868490920754887612342854112280075129077814165680741615687297094433589543090696117893467245133344753093425415574321629425106333780589405405420678990996168312149633895243826591279911074956431672555070828179760723319312383404480", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669469644075438905694885345622256676743188144284123277503122826635924808722210439554007430511136525358733175780695500573187214474800233571373096785712224202481196198337767446893054952298011257346682115527185409902276335921582696083496846015124827548880", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739393515167162342803294559828243587228083635233999229342246239479312126358926595084556304407721559179478574570288304517303380793949987134943837114554966604140913827022305384723802916759621240592057509202755616203582834169100358671891904648697355714244893320", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522395933106710129956356644358425659342616908768055621200756029098577704824033639102278514832387459085217325862875207484382309208767695870145261705203637223471196647022722384284667820743191466323474957131397818326454250243636570139206473954741548280280024159289480", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893437023134744129702962882406114826925275939995269608623239678962393788864604259455978736723737620545096062544336617424296353024804861688378806389613626641198233528548646259417873527791038025193088788286698428486603866394022017536350324155932923970221247453336078013200", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818526103486939582669163258782114278241022347068384890626810568187610875113645673152150468864623451799369871542975961390995298655241618526343753479926969729806627387535755546213346010595678615471694828810304169587745588156003150753927526871925917255394822069968352815769335080", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144906637842438515175745158310167833774696569720795924215049323497569783118235787638194811995479249811693354824239654606984856399803649703158249567501625824456454085083359479217942743304346032982746729782187390828327937192139104672086534607727416840437102149691097660676997397120", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410466106018893249368298694149313591782206947708877817420341495188530446343287131700463240984369374194799778357100357903753861234357743091801432783720063135953692621940380556227322548443722026458482628515234916009461345516607481646855656729731330061432615570236410373328578020991262160", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692344758702554887723824218062365610632742562581458852737772312670653590265871728288055622622958409225559597223337596560190242433895112165956373021288994152943291438479650188681629383195305941138469504580079647272342806253957935177473954971259331573845886283608437032655239527133229595105600840320", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089127258498734529784110529068889426217090168739849585045438744316662514166237486167673042928265904229744930296756793367169176165836841106487324982710906261638585463319979952985942266211932481300290429639379478982321666870210336552808725692196587865554235333239338265865095438869243699499906689948460880", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904350165577528277381136558866745818149533881601926836055796464523576217526727157320870532312430908967431383835418742113047415885268319553542204170530640848327768227409940264783045556861922434691374925639166962582858850088620534736330679438574360562084923332628358513782821090521068695619382887226083533819640", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619727355899524744274956217699261162229103629105249606017176661719636045821402254712656616920923266269343377773191368941788841529209356342808624441069194973107310577507598914431536736257823402057431802103514081238492287356529532470491544456227628494662572896767681934843572256065934635337451901823665592940166491080", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638809143281082791641113317162244896334982648365785645892271617580634010395126656507814295130299138606579530559624137882475110250710510458962590456270332462526390350139300836387048352415221263984291946209104360730295308444651639511261376062932833914068348379044456904348887719071304196299939068881671872235116655918240", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498770095001439157880677396762339873292049557380504621149022513678505452120349392853391739978868707420809415399572548377626624907896884387785954105350381280874398100892592029046282991407793746456755970132197900906880428447327605428565103347647826438728296057150554237946720889920929837249261544024853615295402674010028512080", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947273829053639275838334997457048809166164767066373422318973938091986277802539987292415992748857170564075959380242018577093406614916885712764345414032905932972856646970234106793357718479944608270908173579993831516535305023147131941422683924856243049170416437231282595899588785118516574540876054938001896445132642467882086511906240", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000557928661170205864242655281725897651501916307102821015821332265414635695136608853331680564744078243161950843218035908461961313041847232102342790532860135878902416657723523764738600910130752297235083642778670951331892071301936301586605720900055023141929901518942987347344245305313480174025278777601592739987509300481176726264340383720", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342826865470290527705534944615468927989915206331619638990612183726331958279331527681617410463916020348564220719426824816486368579688134249245202380218899822550512788762694379535031799606593244746659165195969517560807263329035051283168056415418056670823092392497844369570749421175159208326116106089035927519572843564955499839481375492808076800", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541807624981407159228806807926249132198965655498217199948555792654852449536128541141079678224008441412318125226361525798852776221920939895838832571113631355448722532227291930663219187216239776581791498660297642492226920782115069844340069640769831466418328413224008613310445586043896574025293372173296052632863148998513502537729804480734971338844110771840", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627948999596675397957618902221942723703558635053653641397050324693805014374085526373114352539571309586874127750906730019057509106479394681554634988229000559296227380654316244160689899772855833177291011194433272537879396834842961681783459066942138557391394418001127138632741993386875295982219321679428269429498164974490945862259819733584744464248828859885200", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424592047436837285576211669140559194916867753208024967187513983284461040879333243405227621173320914372901708224650156789788643841131392225568854311858648568088730597468805669568225773200895190577490845004023591788987133917871783341437914733146724833143150134185106776380021701445780936239712858587739012014110963742685985262214777964008153864927997173265960560715880", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005496242959895039981487217863312269406007729310680596373786667388899091822250169153795219519494829224615545244082847089691032734053107714707622348777857593905833106622944955750439294024736708624971230794566397838426298128963576274028094308057687407883509831713688417404415536004892221986175236087681399864125003619712035046268184689509732388418345853087829941682969680", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261517061621000926761920730305598388348733560714716198374956761885690489940252467182323002756618913012559034047595437916367665701938176115053275114934655118143761286375001037821685422646404157388790267506975099682933185669934374684308338925715407280384913949048054840691969326381703234866027036734773855061639527704840217913736727396473355632572549631052089234935353923956560", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083146869460275092942245898435065315297100495975955980059573230396478667784688546485838240788654667130574108514339087991803288761882525112898393055677417705518783403008129553022476841976002038842712606866732800640232014686853966004071790578686554473738579221642112749516961384747272232745766505727805917536268371223294055821025641772782709349736104256638225329824047907020239196760", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459329371926888647485037493630931684933133113308355384190116578859110765897875162855830031300445288951969933688262458227674660824080900696618627226994876462794347176620917630309258229541763967242436249634036454666104817324599862297485793823131175312868831580005576077892085895851157944456249905103056620050366932804545117268349237011854643831716008764341818575159359210152376926816889240", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109674677866814375539475025452487378586237151025439658996883722156771246133738667694801004558211173539264322675510024125456534235497286559179163632589750776447500730127843511955222198611129882074506711242290703661137025778779357704027177409167934424040997760606835860977996826513024971943852441023413965180873701366393629727241440703222640282157355286889818680174771218884200631095278546527880", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431633040306764225174424676128307029753510150598623500584278428177367175694159986216511462052756321886085478996579744792768854069389514786714662951314593064590864572061515690318865458219371423705241462518861765777221953339853593818553272662103517236802688107169537510178696797272134952533811240044454562543690693141591625896694961342825625931300488434384489493130217380112460529168032762049863539120", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557724515366850522424942919733918574390931604019499894439037571084439708967599230727102840773569181556429276172559943727454370422092041916394504533025137171570560571482982147410547317471538043533527521450628825175989217297246362809826763088125706753877720320809336304854474303938829584085701573419622002861587832595281535540841879276635695178672883154926464589122339594126018025898713517250166476425159977600", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619826170099054813790456108507071142195526737615787192835556150351730913770427019665572178713705989273756161903239634490215031899660278778049935586753301091370075467998837198565819909693306123412665081422244996831243147873803117896449702190169142578741092762399203797921943593259568141394280301679886827162635725881586651583863221669084133442772038757182443512497081349767053047884237232128153304207404723200833600", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926582723425041872026567645820454144462777397252296419955806730054322774462523141671336468778284013405158418031052972878825098590266310293991745732235942780293062166713924158994788280914290440364318027127571617084615438735270840001513845314457757229473277554277877987873574191099703612014188608513900784056787256661963428913956118301891702236197401364172147816594763874901087546003786296633087049406953514045362485557720", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396501296000378156368069041520019086084018652614920991038350356177415939730057116036070782076528927607021135396884900939732778409716741603162304566928358558907018584972150808599269183793755392482801394584143082781566456885833814559676487831078042904780607405388891665060952653558135989456960982695500855382491758336185171650431131760671807503523360535615629681317830242179239432352585144182537992879676337298432027125406622120", "23432145083244046676796180952092862616814116630772353189670255853606304303686996165744613807074869491891750217256242947786604710037903387230778314972390791174128767172192289361779214367804816072392324890162059548156344188224021999527302982965014873377616134345774698394786727128169252716938546536177547694999975734584470265228310429142145935325341713915267763256859100135115427935286688316100689424703117181599701505520720105196342398466452144891631951392638832018962943248883810631138260084507030957249280", "23432145083244046676796180952092862616814116630772353189670255853606304305687598352698166944296050641854608617011836098962348724303808041771615409569345864459500347912580422999490778548136780579285674771004660467738521648807526193755032329998605626213463475109302909329165619444562490256275778685276494163992769262669920481162826229978075274561115338187662755926746644580934279613751035176509239752521662488742156856150525495957381797358294831643100305052401037287982286830424718430842963800752936389446360", "23432145083244046676796180952092862616814116630772353189670255853607143518292981629168168485364837061601255788048533517332376133388176276295885034522602695642585264684289066540852496449422896133584241033010906937915370088503165590705867416995238741702765206636949728241173101078806153227029530710325919655752579743646784667582313709657418235275710189620348998117802900282794079264581536832816035290522690638721346659334622906479390073784479476725918513160274818039217827837057525678901048526433284031978720", "23432145083244046676796180952092862616814116630772353189670256205640047224469795265414616019892192385212012813699912512656003164652516840667660651217444305428868222365805991760056483131717583443372475346868017913269324679083661980451998036696461216649922078669865965666931602815954232702884514236269875990663503478649597175618234656549738990215847548919408944572230954726302269115295744916981510609259377462900883807169544581718330611959887392080714892552736686252862422647748666328500184966094873942714080", "23432145083244046676796180952092862616814116630772353189817926968086714274253927925226399554903340625476715467797002307346304062770255640187518095843755906528297196186056618772092046802913676499881372238466957405190196279432126931584621518763690345586576355130942941964302686349990918198114784218842122875601256525083979314690461953748087617882229025128771577758698520383863080924837189801279556528901161705742161795691947307150042296354001082783781092719180656609627369323596070705266501380646153587015600", "23432145083244046676796180952092862616814116655213502712377570705746246972288784119447460613052899031247819699344022671615102223857971892230625099862945180543998180232287810019681394434435514953231588675958350464225795471823323183140762445250443832533792678710649775553243621817219200384648953928778454108545521873420825060778083493701125950970861082427331899602842922185457468428458679295102571681661527841110649061975963333526460394105844050797338596074610422932476074876362593423564109179383744344730240", "23432145083244046676796180952092862616824369212321291536805373538094332637457472490018415753517274392600834062738437188595483756795243530161321746739220020363288036638439388304332417204546587936193627916316302790284390453318576972369546715159257832178070680908896544532397965852836711696320465973532285277966450063408320366883555101900801010073155005326096854832521470704926484149530231252251870942282747754350296824139405441270959790088372255343188321442840646543503932146837693056831636151677027946275200", "23432145083244046676796180952092866917567024782145720639473184757596044034565541763873554733609133959246270029304117717620268666330534499482734933594586008471624507673130755239207564834253876350789860249669823365675404553674805579643869984443751061287125477840340339278185301540948674615733650437234223655965002863540144061817310491892412595130292744367480401040265189732465169180338452262209144691957766500398339539081950940677411761664944080744823233708735012268028071313252265683194650606439575969242200", "23432145083244046676796180953896942446725454734571394345461606643901444645079970660599050674523639221865948115794966037043280511897422309657987641381240826543094140093522790967817987407662413236534682309671403937694209784485482138580154059745653169374053816172776408465705674334911734190070556677210889310998514900481671259707399848398081210518596557859893980094395440970644127111055076057852226250929271822083473472518148493634385659111467187301031141810409149726901539898101659215648618063458083340318400", "23432145083244046676796937727499913824921898254668104681111031852668640375021182166592800478418721532528964105477109264303658940477573185044465622574386891476835179335019904631741225887274608710816366897372061803739117247030929521338587341505027737772231612639385678985108746646212603482636647837476758065119583233080681550758840720805582884119729132303951682120730533428946513290125927553620303814468423820854088231250818660904991596779604385469989771960608199956617028210026117080540358219406040207713000", "23432145083244046994248328701933639669049708441529598729741552385161569331312223081804802780455959090095714135010836343531731785180022974343790803426481314905649918486654726529204514457263139220330413246109348473401796973670137070622234732053136591092537921754198732826446693299340680252757331059431886675696173400222158203859024443831091896842713612730824185112624374361607059197730759877024559925102312814216012191036483183282924859017728649447654857190947674326928200914051327765322420967813887829695880", "23432145083377211503734284161250734402866893085997391562726154305046560714742353599428376744306097780150662181166046442157726257611374076227831178751472963707868990950730348451006854459486223014057241653074958835751145146776359864426754607123946375548945916602524529963637980500450433791382336447489510234670885051928941999752098159097302041147873247133555019890388687223982963711115948367418780484899637674803737466359658006095143468262894482363746884415104619000067304489877398370834952150985838069324960", "23432200943225650672330358496149676035481554444533750091348578116394776177512328876099850923129226064384575126356916897166671852299559088405711269663681210080424042317992776410246549019104509919093505886141239523302000985632893476547237018588017553768589364361880527376307143651159502126502401631981622062843426069540422352975963722568048868726057573026947982820512795144688436583092474723236881472030044118730480373509627588245682682688253876044699215717036401065361271610936987578457966101404723584197360", "23432145083244046676796180952092862616814116630772353189670255853606304303686991396489926555619761557570485431632109672459324083134261487005424591876627541806654273342821000543947240498690638619726904349089124692338641228410429144818525893436522394739390669462860189908837766852826787547506427214390991010067344320038847077833109471024129266731254109784501967010514520941324221603926960159971417129714332000315710536562227120977397372671884454799839923408171663894239623842907243297639696423806612872279680"]}], "set_definition": "A = { a_i * 2^j : 0<=i<=r, 0<=j<k }, |A| = (r+1)k, max A = 2^(k-1) max a_i", "claims": "A is dissociated (all 2^|A| subset sums distinct); N/2^n = ratio < 0.22002 (Bohman 1998)."}