(NFA {from = 0, to = 1527, alphabet = fromList "01",
     start = fromList [629],
     final = fromList [8, 9, 43, 44, 89, 90, 94, 95, 96, 97, 98, 99,
                       120, 121, 137, 138, 152, 153, 164, 165, 201, 202, 214, 224, 229,
                       230, 237, 238, 240, 241, 244, 245, 246, 247, 248, 249, 251, 287,
                       288, 289, 290, 332, 333, 334, 335, 351, 352, 377, 378, 419, 420,
                       448, 449, 450, 451, 452, 453, 454, 455, 456, 480, 481, 489, 490,
                       499, 500, 515, 542, 543, 544, 550, 594, 595, 641, 642, 669, 670,
                       733, 734, 735, 736, 760, 795, 797, 799, 800, 801, 807, 816, 820,
                       821, 822, 823, 824, 825, 826, 827, 828, 838, 839, 840, 841, 843,
                       844, 845, 846, 847, 848, 849, 850, 851, 852, 853, 854, 855, 858,
                       859, 860, 861, 862, 864, 865, 866, 868, 869, 872, 873, 874, 875,
                       876, 877, 878, 879, 880, 881, 890, 891, 892, 893, 894, 897, 899,
                       900, 901, 902, 903, 904, 909, 933, 934, 947, 948, 959, 987, 990,
                       991, 996, 1005, 1006, 1007, 1025, 1036, 1046, 1056, 1057, 1061,
                       1071, 1072, 1097, 1098, 1154, 1155, 1168, 1181, 1188, 1189, 1211,
                       1214, 1215, 1216, 1229, 1230, 1231, 1243, 1244, 1265, 1314, 1322,
                       1323, 1325, 1326, 1345, 1346, 1359, 1360, 1379, 1380, 1384, 1385,
                       1388, 1404, 1405, 1409, 1410, 1411, 1416, 1417, 1418, 1423, 1425,
                       1426, 1428, 1429, 1440, 1446, 1447, 1456, 1457, 1461, 1462, 1470,
                       1471, 1473, 1474, 1475, 1477, 1478, 1479, 1484, 1485, 1488, 1489,
                       1495, 1496, 1504, 1505, 1509, 1511, 1513, 1516, 1517, 1518, 1519,
                       1520, 1521, 1522, 1525, 1526, 1527],
     trans = fromList [((0, '0'), fromList [3]),
                       ((0, '1'), fromList [19]), ((1, '0'), fromList [2]),
                       ((1, '1'), fromList [19]), ((2, '0'), fromList [22]),
                       ((2, '1'), fromList [5]), ((3, '0'), fromList [21]),
                       ((3, '1'), fromList [5]), ((4, '0'), fromList [7]),
                       ((4, '1'), fromList [19]), ((5, '0'), fromList [6]),
                       ((5, '1'), fromList [19]), ((6, '0'), fromList [23]),
                       ((6, '1'), fromList [5]), ((7, '0'), fromList [23]),
                       ((7, '1'), fromList [10]), ((8, '0'), fromList [7]),
                       ((8, '1'), fromList [19]), ((9, '0'), fromList [1176]),
                       ((9, '1'), fromList [19]), ((10, '0'), fromList [1176]),
                       ((10, '1'), fromList [19]), ((11, '0'), fromList [14]),
                       ((11, '1'), fromList [530]), ((12, '0'), fromList [13]),
                       ((12, '1'), fromList [530]), ((13, '0'), fromList [829]),
                       ((13, '1'), fromList [531]), ((14, '0'), fromList [1089]),
                       ((14, '1'), fromList [531]), ((15, '0'), fromList [15]),
                       ((15, '1'), fromList [48]), ((16, '0'), fromList [80]),
                       ((16, '1'), fromList [48]), ((17, '0'), fromList [15]),
                       ((17, '1'), fromList [1181]), ((18, '0'), fromList [80]),
                       ((18, '1'), fromList [1181]), ((19, '0'), fromList [20]),
                       ((19, '1'), fromList [19]), ((20, '0'), fromList [24]),
                       ((20, '1'), fromList [5]), ((21, '0'), fromList [240]),
                       ((21, '1'), fromList [0]), ((22, '0'), fromList [237]),
                       ((22, '1'), fromList [0]), ((23, '0'), fromList [44]),
                       ((23, '1'), fromList [0]), ((24, '0'), fromList [43]),
                       ((24, '1'), fromList [0]), ((25, '0'), fromList [25]),
                       ((25, '1'), fromList [5]), ((26, '0'), fromList [25]),
                       ((26, '1'), fromList [27]), ((27, '0'), fromList [1176]),
                       ((27, '1'), fromList [28]), ((28, '0'), fromList [29]),
                       ((28, '1'), fromList [19]), ((29, '0'), fromList [30]),
                       ((29, '1'), fromList [5]), ((30, '0'), fromList [1168]),
                       ((30, '1'), fromList [0]), ((31, '0'), fromList [32]),
                       ((31, '1'), fromList [19]), ((32, '0'), fromList [211]),
                       ((32, '1'), fromList [5]), ((33, '0'), fromList [36]),
                       ((33, '1'), fromList [57]), ((34, '0'), fromList [35]),
                       ((34, '1'), fromList [57]), ((35, '0'), fromList [1148]),
                       ((35, '1'), fromList [48]), ((36, '0'), fromList [429]),
                       ((36, '1'), fromList [48]), ((37, '0'), fromList [40]),
                       ((37, '1'), fromList [66]), ((38, '0'), fromList [39]),
                       ((38, '1'), fromList [66]), ((39, '0'), fromList [564]),
                       ((39, '1'), fromList [60]), ((40, '0'), fromList [929]),
                       ((40, '1'), fromList [60]), ((41, '0'), fromList [223]),
                       ((41, '1'), fromList [19]), ((42, '0'), fromList [25]),
                       ((42, '1'), fromList [1181]), ((43, '0'), fromList [26]),
                       ((43, '1'), fromList [1425]), ((44, '0'), fromList [45]),
                       ((44, '1'), fromList [8]), ((45, '0'), fromList [25]),
                       ((45, '1'), fromList [46]), ((46, '0'), fromList [47]),
                       ((46, '1'), fromList [28]), ((47, '0'), fromList [23]),
                       ((47, '1'), fromList [1424]), ((48, '0'), fromList [16]),
                       ((48, '1'), fromList [57]), ((49, '0'), fromList [50]),
                       ((49, '1'), fromList [57]), ((50, '0'), fromList [78]),
                       ((50, '1'), fromList [48]), ((51, '0'), fromList [52]),
                       ((51, '1'), fromList [66]), ((52, '0'), fromList [1245]),
                       ((52, '1'), fromList [60]), ((53, '0'), fromList [80]),
                       ((53, '1'), fromList [56]), ((54, '0'), fromList [15]),
                       ((54, '1'), fromList [55]), ((55, '0'), fromList [18]),
                       ((55, '1'), fromList [49]), ((56, '0'), fromList [18]),
                       ((56, '1'), fromList [57]), ((57, '0'), fromList [58]),
                       ((57, '1'), fromList [57]), ((58, '0'), fromList [79]),
                       ((58, '1'), fromList [48]), ((59, '0'), fromList [62]),
                       ((59, '1'), fromList [66]), ((60, '0'), fromList [61]),
                       ((60, '1'), fromList [66]), ((61, '0'), fromList [81]),
                       ((61, '1'), fromList [60]), ((62, '0'), fromList [75]),
                       ((62, '1'), fromList [60]), ((63, '0'), fromList [64]),
                       ((63, '1'), fromList [66]), ((64, '0'), fromList [81]),
                       ((64, '1'), fromList [65]), ((65, '0'), fromList [61]),
                       ((65, '1'), fromList [59]), ((66, '0'), fromList [67]),
                       ((66, '1'), fromList [66]), ((67, '0'), fromList [74]),
                       ((67, '1'), fromList [60]), ((68, '0'), fromList [71]),
                       ((68, '1'), fromList [68]), ((69, '0'), fromList [70]),
                       ((69, '1'), fromList [68]), ((70, '0'), fromList [73]),
                       ((70, '1'), fromList [297]), ((71, '0'), fromList [72]),
                       ((71, '1'), fromList [297]), ((72, '0'), fromList [995]),
                       ((72, '1'), fromList [1099]), ((73, '0'), fromList [994]),
                       ((73, '1'), fromList [1099]), ((74, '0'), fromList [77]),
                       ((74, '1'), fromList [63]), ((75, '0'), fromList [76]),
                       ((75, '1'), fromList [63]), ((76, '0'), fromList [83]),
                       ((76, '1'), fromList [1325]), ((77, '0'), fromList [83]),
                       ((77, '1'), fromList [1154]), ((78, '0'), fromList [565]),
                       ((78, '1'), fromList [434]), ((79, '0'), fromList [1150]),
                       ((79, '1'), fromList [434]), ((80, '0'), fromList [988]),
                       ((80, '1'), fromList [434]), ((81, '0'), fromList [82]),
                       ((81, '1'), fromList [63]), ((82, '0'), fromList [84]),
                       ((82, '1'), fromList [1155]), ((83, '0'), fromList [557]),
                       ((83, '1'), fromList [562]), ((84, '0'), fromList [557]),
                       ((84, '1'), fromList [553]), ((85, '0'), fromList [81]),
                       ((85, '1'), fromList [561]), ((86, '0'), fromList [81]),
                       ((86, '1'), fromList [554]), ((87, '0'), fromList [90]),
                       ((87, '1'), fromList [93]), ((88, '0'), fromList [89]),
                       ((88, '1'), fromList [93]), ((89, '0'), fromList [824]),
                       ((89, '1'), fromList [88]), ((90, '0'), fromList [824]),
                       ((90, '1'), fromList [91]), ((91, '0'), fromList [89]),
                       ((91, '1'), fromList [92]), ((92, '0'), fromList [95]),
                       ((92, '1'), fromList [93]), ((93, '0'), fromList [94]),
                       ((93, '1'), fromList [93]), ((94, '0'), fromList [97]),
                       ((94, '1'), fromList [88]), ((95, '0'), fromList [96]),
                       ((95, '1'), fromList [88]), ((96, '0'), fromList [99]),
                       ((96, '1'), fromList [87]), ((97, '0'), fromList [98]),
                       ((97, '1'), fromList [87]), ((98, '0'), fromList [456]),
                       ((98, '1'), fromList [198]), ((99, '0'), fromList [456]),
                       ((99, '1'), fromList [197]), ((100, '0'), fromList [821]),
                       ((100, '1'), fromList [857]), ((101, '0'), fromList [820]),
                       ((101, '1'), fromList [857]), ((102, '0'), fromList [105]),
                       ((102, '1'), fromList [1009]), ((103, '0'), fromList [104]),
                       ((103, '1'), fromList [1009]), ((104, '0'), fromList [998]),
                       ((104, '1'), fromList [965]), ((105, '0'), fromList [997]),
                       ((105, '1'), fromList [965]), ((106, '0'), fromList [584]),
                       ((106, '1'), fromList [678]), ((107, '0'), fromList [584]),
                       ((107, '1'), fromList [676]), ((108, '0'), fromList [244]),
                       ((108, '1'), fromList [131]), ((109, '0'), fromList [112]),
                       ((109, '1'), fromList [115]), ((110, '0'), fromList [111]),
                       ((110, '1'), fromList [115]), ((111, '0'), fromList [233]),
                       ((111, '1'), fromList [110]), ((112, '0'), fromList [233]),
                       ((112, '1'), fromList [113]), ((113, '0'), fromList [111]),
                       ((113, '1'), fromList [114]), ((114, '0'), fromList [117]),
                       ((114, '1'), fromList [115]), ((115, '0'), fromList [116]),
                       ((115, '1'), fromList [115]), ((116, '0'), fromList [119]),
                       ((116, '1'), fromList [110]), ((117, '0'), fromList [118]),
                       ((117, '1'), fromList [110]), ((118, '0'), fromList [121]),
                       ((118, '1'), fromList [131]), ((119, '0'), fromList [120]),
                       ((119, '1'), fromList [131]), ((120, '0'), fromList [243]),
                       ((120, '1'), fromList [123]), ((121, '0'), fromList [243]),
                       ((121, '1'), fromList [122]), ((122, '0'), fromList [1391]),
                       ((122, '1'), fromList [125]), ((123, '0'), fromList [1391]),
                       ((123, '1'), fromList [124]), ((124, '0'), fromList [127]),
                       ((124, '1'), fromList [115]), ((125, '0'), fromList [126]),
                       ((125, '1'), fromList [115]), ((126, '0'), fromList [129]),
                       ((126, '1'), fromList [110]), ((127, '0'), fromList [128]),
                       ((127, '1'), fromList [110]), ((128, '0'), fromList [214]),
                       ((128, '1'), fromList [131]), ((129, '0'), fromList [214]),
                       ((129, '1'), fromList [130]), ((130, '0'), fromList [133]),
                       ((130, '1'), fromList [115]), ((131, '0'), fromList [132]),
                       ((131, '1'), fromList [115]), ((132, '0'), fromList [108]),
                       ((132, '1'), fromList [113]), ((133, '0'), fromList [134]),
                       ((133, '1'), fromList [113]), ((134, '0'), fromList [241]),
                       ((134, '1'), fromList [131]), ((135, '0'), fromList [138]),
                       ((135, '1'), fromList [93]), ((136, '0'), fromList [137]),
                       ((136, '1'), fromList [93]), ((137, '0'), fromList [825]),
                       ((137, '1'), fromList [88]), ((138, '0'), fromList [826]),
                       ((138, '1'), fromList [91]), ((139, '0'), fromList [228]),
                       ((139, '1'), fromList [1]), ((140, '0'), fromList [139]),
                       ((140, '1'), fromList [141]), ((141, '0'), fromList [142]),
                       ((141, '1'), fromList [115]), ((142, '0'), fromList [143]),
                       ((142, '1'), fromList [110]), ((143, '0'), fromList [1526]),
                       ((143, '1'), fromList [131]), ((144, '0'), fromList [144]),
                       ((144, '1'), fromList [187]), ((145, '0'), fromList [144]),
                       ((145, '1'), fromList [186]), ((146, '0'), fromList [238]),
                       ((146, '1'), fromList [192]), ((147, '0'), fromList [1426]),
                       ((147, '1'), fromList [192]), ((148, '0'), fromList [151]),
                       ((148, '1'), fromList [148]), ((149, '0'), fromList [150]),
                       ((149, '1'), fromList [148]), ((150, '0'), fromList [651]),
                       ((150, '1'), fromList [149]), ((151, '0'), fromList [650]),
                       ((151, '1'), fromList [149]), ((152, '0'), fromList [42]),
                       ((152, '1'), fromList [1181]), ((153, '0'), fromList [239]),
                       ((153, '1'), fromList [1181]), ((154, '0'), fromList [157]),
                       ((154, '1'), fromList [172]), ((155, '0'), fromList [156]),
                       ((155, '1'), fromList [172]), ((156, '0'), fromList [165]),
                       ((156, '1'), fromList [191]), ((157, '0'), fromList [224]),
                       ((157, '1'), fromList [191]), ((158, '0'), fromList [195]),
                       ((158, '1'), fromList [161]), ((159, '0'), fromList [195]),
                       ((159, '1'), fromList [160]), ((160, '0'), fromList [194]),
                       ((160, '1'), fromList [155]), ((161, '0'), fromList [194]),
                       ((161, '1'), fromList [162]), ((162, '0'), fromList [163]),
                       ((162, '1'), fromList [172]), ((163, '0'), fromList [164]),
                       ((163, '1'), fromList [191]), ((164, '0'), fromList [1426]),
                       ((164, '1'), fromList [192]), ((165, '0'), fromList [1404]),
                       ((165, '1'), fromList [192]), ((166, '0'), fromList [173]),
                       ((166, '1'), fromList [273]), ((167, '0'), fromList [917]),
                       ((167, '1'), fromList [273]), ((168, '0'), fromList [171]),
                       ((168, '1'), fromList [172]), ((169, '0'), fromList [170]),
                       ((169, '1'), fromList [172]), ((170, '0'), fromList [225]),
                       ((170, '1'), fromList [191]), ((171, '0'), fromList [519]),
                       ((171, '1'), fromList [191]), ((172, '0'), fromList [180]),
                       ((172, '1'), fromList [172]), ((173, '0'), fromList [1467]),
                       ((173, '1'), fromList [250]), ((174, '0'), fromList [182]),
                       ((174, '1'), fromList [177]), ((175, '0'), fromList [144]),
                       ((175, '1'), fromList [176]), ((176, '0'), fromList [231]),
                       ((176, '1'), fromList [168]), ((177, '0'), fromList [231]),
                       ((177, '1'), fromList [178]), ((178, '0'), fromList [179]),
                       ((178, '1'), fromList [172]), ((179, '0'), fromList [147]),
                       ((179, '1'), fromList [191]), ((180, '0'), fromList [181]),
                       ((180, '1'), fromList [191]), ((181, '0'), fromList [246]),
                       ((181, '1'), fromList [192]), ((182, '0'), fromList [183]),
                       ((182, '1'), fromList [187]), ((183, '0'), fromList [145]),
                       ((183, '1'), fromList [185]), ((184, '0'), fromList [252]),
                       ((184, '1'), fromList [169]), ((185, '0'), fromList [252]),
                       ((185, '1'), fromList [188]), ((186, '0'), fromList [159]),
                       ((186, '1'), fromList [168]), ((187, '0'), fromList [158]),
                       ((187, '1'), fromList [188]), ((188, '0'), fromList [189]),
                       ((188, '1'), fromList [172]), ((189, '0'), fromList [190]),
                       ((189, '1'), fromList [191]), ((190, '0'), fromList [251]),
                       ((190, '1'), fromList [192]), ((191, '0'), fromList [194]),
                       ((191, '1'), fromList [172]), ((192, '0'), fromList [193]),
                       ((192, '1'), fromList [188]), ((193, '0'), fromList [146]),
                       ((193, '1'), fromList [161]), ((194, '0'), fromList [195]),
                       ((194, '1'), fromList [191]), ((195, '0'), fromList [245]),
                       ((195, '1'), fromList [192]), ((196, '0'), fromList [1391]),
                       ((196, '1'), fromList [115]), ((197, '0'), fromList [873]),
                       ((197, '1'), fromList [199]), ((198, '0'), fromList [873]),
                       ((198, '1'), fromList [200]), ((199, '0'), fromList [202]),
                       ((199, '1'), fromList [93]), ((200, '0'), fromList [201]),
                       ((200, '1'), fromList [93]), ((201, '0'), fromList [879]),
                       ((201, '1'), fromList [88]), ((202, '0'), fromList [287]),
                       ((202, '1'), fromList [88]), ((203, '0'), fromList [940]),
                       ((203, '1'), fromList [206]), ((204, '0'), fromList [940]),
                       ((204, '1'), fromList [205]), ((205, '0'), fromList [227]),
                       ((205, '1'), fromList [961]), ((206, '0'), fromList [226]),
                       ((206, '1'), fromList [961]), ((207, '0'), fromList [233]),
                       ((207, '1'), fromList [208]), ((208, '0'), fromList [111]),
                       ((208, '1'), fromList [209]), ((209, '0'), fromList [210]),
                       ((209, '1'), fromList [115]), ((210, '0'), fromList [212]),
                       ((210, '1'), fromList [110]), ((211, '0'), fromList [248]),
                       ((211, '1'), fromList [0]), ((212, '0'), fromList [249]),
                       ((212, '1'), fromList [131]), ((213, '0'), fromList [152]),
                       ((213, '1'), fromList [0]), ((214, '0'), fromList [242]),
                       ((214, '1'), fromList [1181]), ((215, '0'), fromList [215]),
                       ((215, '1'), fromList [109]), ((216, '0'), fromList [215]),
                       ((216, '1'), fromList [219]), ((217, '0'), fromList [232]),
                       ((217, '1'), fromList [114]), ((218, '0'), fromList [232]),
                       ((218, '1'), fromList [220]), ((219, '0'), fromList [207]),
                       ((219, '1'), fromList [220]), ((220, '0'), fromList [221]),
                       ((220, '1'), fromList [115]), ((221, '0'), fromList [222]),
                       ((221, '1'), fromList [110]), ((222, '0'), fromList [641]),
                       ((222, '1'), fromList [130]), ((223, '0'), fromList [213]),
                       ((223, '1'), fromList [5]), ((224, '0'), fromList [153]),
                       ((224, '1'), fromList [192]), ((225, '0'), fromList [153]),
                       ((225, '1'), fromList [192]), ((226, '0'), fromList [1084]),
                       ((226, '1'), fromList [937]), ((227, '0'), fromList [1002]),
                       ((227, '1'), fromList [937]), ((228, '0'), fromList [234]),
                       ((228, '1'), fromList [109]), ((229, '0'), fromList [231]),
                       ((229, '1'), fromList [168]), ((230, '0'), fromList [232]),
                       ((230, '1'), fromList [114]), ((231, '0'), fromList [195]),
                       ((231, '1'), fromList [1181]), ((232, '0'), fromList [233]),
                       ((232, '1'), fromList [1181]), ((233, '0'), fromList [247]),
                       ((233, '1'), fromList [131]), ((234, '0'), fromList [216]),
                       ((234, '1'), fromList [196]), ((235, '0'), fromList [1389]),
                       ((235, '1'), fromList [115]), ((236, '0'), fromList [1523]),
                       ((236, '1'), fromList [188]), ((237, '0'), fromList [45]),
                       ((237, '1'), fromList [4]), ((238, '0'), fromList [145]),
                       ((238, '1'), fromList [236]), ((239, '0'), fromList [144]),
                       ((239, '1'), fromList [1181]), ((240, '0'), fromList [45]),
                       ((240, '1'), fromList [1423]), ((241, '0'), fromList [216]),
                       ((241, '1'), fromList [1379]), ((242, '0'), fromList [215]),
                       ((242, '1'), fromList [1181]), ((243, '0'), fromList [215]),
                       ((243, '1'), fromList [218]), ((244, '0'), fromList [216]),
                       ((244, '1'), fromList [235]), ((245, '0'), fromList [145]),
                       ((245, '1'), fromList [185]), ((246, '0'), fromList [175]),
                       ((246, '1'), fromList [184]), ((247, '0'), fromList [216]),
                       ((247, '1'), fromList [196]), ((248, '0'), fromList [26]),
                       ((248, '1'), fromList [1181]), ((249, '0'), fromList [243]),
                       ((249, '1'), fromList [1181]), ((250, '0'), fromList [174]),
                       ((250, '1'), fromList [169]), ((251, '0'), fromList [175]),
                       ((251, '1'), fromList [254]), ((252, '0'), fromList [195]),
                       ((252, '1'), fromList [253]), ((253, '0'), fromList [231]),
                       ((253, '1'), fromList [162]), ((254, '0'), fromList [252]),
                       ((254, '1'), fromList [154]), ((255, '0'), fromList [258]),
                       ((255, '1'), fromList [255]), ((256, '0'), fromList [257]),
                       ((256, '1'), fromList [255]), ((257, '0'), fromList [166]),
                       ((257, '1'), fromList [442]), ((258, '0'), fromList [259]),
                       ((258, '1'), fromList [442]), ((259, '0'), fromList [1113]),
                       ((259, '1'), fromList [273]), ((260, '0'), fromList [261]),
                       ((260, '1'), fromList [255]), ((261, '0'), fromList [262]),
                       ((261, '1'), fromList [442]), ((262, '0'), fromList [1144]),
                       ((262, '1'), fromList [273]), ((263, '0'), fromList [602]),
                       ((263, '1'), fromList [266]), ((264, '0'), fromList [602]),
                       ((264, '1'), fromList [265]), ((265, '0'), fromList [612]),
                       ((265, '1'), fromList [268]), ((266, '0'), fromList [612]),
                       ((266, '1'), fromList [267]), ((267, '0'), fromList [270]),
                       ((267, '1'), fromList [255]), ((268, '0'), fromList [269]),
                       ((268, '1'), fromList [255]), ((269, '0'), fromList [831]),
                       ((269, '1'), fromList [442]), ((270, '0'), fromList [830]),
                       ((270, '1'), fromList [442]), ((271, '0'), fromList [271]),
                       ((271, '1'), fromList [273]), ((272, '0'), fromList [271]),
                       ((272, '1'), fromList [274]), ((273, '0'), fromList [263]),
                       ((273, '1'), fromList [260]), ((274, '0'), fromList [264]),
                       ((274, '1'), fromList [275]), ((275, '0'), fromList [276]),
                       ((275, '1'), fromList [255]), ((276, '0'), fromList [277]),
                       ((276, '1'), fromList [442]), ((277, '0'), fromList [1170]),
                       ((277, '1'), fromList [273]), ((278, '0'), fromList [811]),
                       ((278, '1'), fromList [1181]), ((279, '0'), fromList [338]),
                       ((279, '1'), fromList [1181]), ((280, '0'), fromList [337]),
                       ((280, '1'), fromList [1181]), ((281, '0'), fromList [834]),
                       ((281, '1'), fromList [284]), ((282, '0'), fromList [834]),
                       ((282, '1'), fromList [283]), ((283, '0'), fromList [939]),
                       ((283, '1'), fromList [206]), ((284, '0'), fromList [939]),
                       ((284, '1'), fromList [285]), ((285, '0'), fromList [286]),
                       ((285, '1'), fromList [961]), ((286, '0'), fromList [1146]),
                       ((286, '1'), fromList [937]), ((287, '0'), fromList [290]),
                       ((287, '1'), fromList [135]), ((288, '0'), fromList [289]),
                       ((288, '1'), fromList [101]), ((289, '0'), fromList [333]),
                       ((289, '1'), fromList [1181]), ((290, '0'), fromList [452]),
                       ((290, '1'), fromList [1181]), ((291, '0'), fromList [294]),
                       ((291, '1'), fromList [304]), ((292, '0'), fromList [293]),
                       ((292, '1'), fromList [304]), ((293, '0'), fromList [307]),
                       ((293, '1'), fromList [292]), ((294, '0'), fromList [421]),
                       ((294, '1'), fromList [292]), ((295, '0'), fromList [1088]),
                       ((295, '1'), fromList [298]), ((296, '0'), fromList [1088]),
                       ((296, '1'), fromList [297]), ((297, '0'), fromList [296]),
                       ((297, '1'), fromList [68]), ((298, '0'), fromList [296]),
                       ((298, '1'), fromList [299]), ((299, '0'), fromList [300]),
                       ((299, '1'), fromList [68]), ((300, '0'), fromList [301]),
                       ((300, '1'), fromList [297]), ((301, '0'), fromList [302]),
                       ((301, '1'), fromList [1099]), ((302, '0'), fromList [1129]),
                       ((302, '1'), fromList [1181]), ((303, '0'), fromList [1128]),
                       ((303, '1'), fromList [1181]), ((304, '0'), fromList [305]),
                       ((304, '1'), fromList [304]), ((305, '0'), fromList [306]),
                       ((305, '1'), fromList [292]), ((306, '0'), fromList [400]),
                       ((306, '1'), fromList [403]), ((307, '0'), fromList [401]),
                       ((307, '1'), fromList [403]), ((308, '0'), fromList [308]),
                       ((308, '1'), fromList [358]), ((309, '0'), fromList [401]),
                       ((309, '1'), fromList [358]), ((310, '0'), fromList [1306]),
                       ((310, '1'), fromList [313]), ((311, '0'), fromList [310]),
                       ((311, '1'), fromList [312]), ((312, '0'), fromList [315]),
                       ((312, '1'), fromList [312]), ((313, '0'), fromList [314]),
                       ((313, '1'), fromList [312]), ((314, '0'), fromList [317]),
                       ((314, '1'), fromList [313]), ((315, '0'), fromList [316]),
                       ((315, '1'), fromList [313]), ((316, '0'), fromList [1112]),
                       ((316, '1'), fromList [432]), ((317, '0'), fromList [1115]),
                       ((317, '1'), fromList [432]), ((318, '0'), fromList [320]),
                       ((318, '1'), fromList [148]), ((319, '0'), fromList [321]),
                       ((319, '1'), fromList [312]), ((320, '0'), fromList [581]),
                       ((320, '1'), fromList [149]), ((321, '0'), fromList [580]),
                       ((321, '1'), fromList [313]), ((322, '0'), fromList [383]),
                       ((322, '1'), fromList [1181]), ((323, '0'), fromList [382]),
                       ((323, '1'), fromList [1181]), ((324, '0'), fromList [17]),
                       ((324, '1'), fromList [1181]), ((325, '0'), fromList [349]),
                       ((325, '1'), fromList [1181]), ((326, '0'), fromList [327]),
                       ((326, '1'), fromList [312]), ((327, '0'), fromList [430]),
                       ((327, '1'), fromList [313]), ((328, '0'), fromList [330]),
                       ((328, '1'), fromList [148]), ((329, '0'), fromList [331]),
                       ((329, '1'), fromList [312]), ((330, '0'), fromList [583]),
                       ((330, '1'), fromList [149]), ((331, '0'), fromList [582]),
                       ((331, '1'), fromList [313]), ((332, '0'), fromList [335]),
                       ((332, '1'), fromList [1181]), ((333, '0'), fromList [334]),
                       ((333, '1'), fromList [1181]), ((334, '0'), fromList [334]),
                       ((334, '1'), fromList [856]), ((335, '0'), fromList [894]),
                       ((335, '1'), fromList [856]), ((336, '0'), fromList [981]),
                       ((336, '1'), fromList [312]), ((337, '0'), fromList [271]),
                       ((337, '1'), fromList [1181]), ((338, '0'), fromList [341]),
                       ((338, '1'), fromList [1181]), ((339, '0'), fromList [279]),
                       ((339, '1'), fromList [788]), ((340, '0'), fromList [280]),
                       ((340, '1'), fromList [273]), ((341, '0'), fromList [341]),
                       ((341, '1'), fromList [788]), ((342, '0'), fromList [309]),
                       ((342, '1'), fromList [361]), ((343, '0'), fromList [308]),
                       ((343, '1'), fromList [360]), ((344, '0'), fromList [1264]),
                       ((344, '1'), fromList [353]), ((345, '0'), fromList [350]),
                       ((345, '1'), fromList [354]), ((346, '0'), fromList [80]),
                       ((346, '1'), fromList [1100]), ((347, '0'), fromList [428]),
                       ((347, '1'), fromList [1141]), ((348, '0'), fromList [428]),
                       ((348, '1'), fromList [643]), ((349, '0'), fromList [428]),
                       ((349, '1'), fromList [1181]), ((350, '0'), fromList [428]),
                       ((350, '1'), fromList [696]), ((351, '0'), fromList [53]),
                       ((351, '1'), fromList [57]), ((352, '0'), fromList [1142]),
                       ((352, '1'), fromList [312]), ((353, '0'), fromList [53]),
                       ((353, '1'), fromList [57]), ((354, '0'), fromList [1142]),
                       ((354, '1'), fromList [312]), ((355, '0'), fromList [308]),
                       ((355, '1'), fromList [367]), ((356, '0'), fromList [322]),
                       ((356, '1'), fromList [404]), ((357, '0'), fromList [323]),
                       ((357, '1'), fromList [403]), ((358, '0'), fromList [359]),
                       ((358, '1'), fromList [304]), ((359, '0'), fromList [307]),
                       ((359, '1'), fromList [362]), ((360, '0'), fromList [374]),
                       ((360, '1'), fromList [291]), ((361, '0'), fromList [374]),
                       ((361, '1'), fromList [363]), ((362, '0'), fromList [293]),
                       ((362, '1'), fromList [363]), ((363, '0'), fromList [364]),
                       ((363, '1'), fromList [304]), ((364, '0'), fromList [423]),
                       ((364, '1'), fromList [292]), ((365, '0'), fromList [390]),
                       ((365, '1'), fromList [304]), ((366, '0'), fromList [388]),
                       ((366, '1'), fromList [304]), ((367, '0'), fromList [368]),
                       ((367, '1'), fromList [291]), ((368, '0'), fromList [307]),
                       ((368, '1'), fromList [371]), ((369, '0'), fromList [393]),
                       ((369, '1'), fromList [304]), ((370, '0'), fromList [393]),
                       ((370, '1'), fromList [365]), ((371, '0'), fromList [293]),
                       ((371, '1'), fromList [366]), ((372, '0'), fromList [389]),
                       ((372, '1'), fromList [408]), ((373, '0'), fromList [391]),
                       ((373, '1'), fromList [408]), ((374, '0'), fromList [307]),
                       ((374, '1'), fromList [1181]), ((375, '0'), fromList [379]),
                       ((375, '1'), fromList [1181]), ((376, '0'), fromList [379]),
                       ((376, '1'), fromList [397]), ((377, '0'), fromList [401]),
                       ((377, '1'), fromList [403]), ((378, '0'), fromList [402]),
                       ((378, '1'), fromList [404]), ((379, '0'), fromList [402]),
                       ((379, '1'), fromList [404]), ((380, '0'), fromList [380]),
                       ((380, '1'), fromList [407]), ((381, '0'), fromList [384]),
                       ((381, '1'), fromList [407]), ((382, '0'), fromList [308]),
                       ((382, '1'), fromList [1181]), ((383, '0'), fromList [380]),
                       ((383, '1'), fromList [1181]), ((384, '0'), fromList [402]),
                       ((384, '1'), fromList [407]), ((385, '0'), fromList [380]),
                       ((385, '1'), fromList [416]), ((386, '0'), fromList [377]),
                       ((386, '1'), fromList [362]), ((387, '0'), fromList [378]),
                       ((387, '1'), fromList [407]), ((388, '0'), fromList [424]),
                       ((388, '1'), fromList [292]), ((389, '0'), fromList [425]),
                       ((389, '1'), fromList [407]), ((390, '0'), fromList [357]),
                       ((390, '1'), fromList [292]), ((391, '0'), fromList [356]),
                       ((391, '1'), fromList [407]), ((392, '0'), fromList [379]),
                       ((392, '1'), fromList [407]), ((393, '0'), fromList [307]),
                       ((393, '1'), fromList [361]), ((394, '0'), fromList [379]),
                       ((394, '1'), fromList [406]), ((395, '0'), fromList [382]),
                       ((395, '1'), fromList [370]), ((396, '0'), fromList [383]),
                       ((396, '1'), fromList [398]), ((397, '0'), fromList [392]),
                       ((397, '1'), fromList [372]), ((398, '0'), fromList [394]),
                       ((398, '1'), fromList [373]), ((399, '0'), fromList [342]),
                       ((399, '1'), fromList [365]), ((400, '0'), fromList [343]),
                       ((400, '1'), fromList [370]), ((401, '0'), fromList [355]),
                       ((401, '1'), fromList [369]), ((402, '0'), fromList [385]),
                       ((402, '1'), fromList [405]), ((403, '0'), fromList [386]),
                       ((403, '1'), fromList [304]), ((404, '0'), fromList [387]),
                       ((404, '1'), fromList [408]), ((405, '0'), fromList [394]),
                       ((405, '1'), fromList [408]), ((406, '0'), fromList [375]),
                       ((406, '1'), fromList [408]), ((407, '0'), fromList [392]),
                       ((407, '1'), fromList [408]), ((408, '0'), fromList [409]),
                       ((408, '1'), fromList [408]), ((409, '0'), fromList [410]),
                       ((409, '1'), fromList [407]), ((410, '0'), fromList [411]),
                       ((410, '1'), fromList [404]), ((411, '0'), fromList [414]),
                       ((411, '1'), fromList [398]), ((412, '0'), fromList [343]),
                       ((412, '1'), fromList [1181]), ((413, '0'), fromList [414]),
                       ((413, '1'), fromList [1181]), ((414, '0'), fromList [380]),
                       ((414, '1'), fromList [415]), ((415, '0'), fromList [375]),
                       ((415, '1'), fromList [417]), ((416, '0'), fromList [376]),
                       ((416, '1'), fromList [417]), ((417, '0'), fromList [418]),
                       ((417, '1'), fromList [408]), ((418, '0'), fromList [422]),
                       ((418, '1'), fromList [407]), ((419, '0'), fromList [988]),
                       ((419, '1'), fromList [434]), ((420, '0'), fromList [1324]),
                       ((420, '1'), fromList [403]), ((421, '0'), fromList [395]),
                       ((421, '1'), fromList [1328]), ((422, '0'), fromList [396]),
                       ((422, '1'), fromList [404]), ((423, '0'), fromList [400]),
                       ((423, '1'), fromList [1328]), ((424, '0'), fromList [412]),
                       ((424, '1'), fromList [1328]), ((425, '0'), fromList [413]),
                       ((425, '1'), fromList [404]), ((426, '0'), fromList [344]),
                       ((426, '1'), fromList [48]), ((427, '0'), fromList [345]),
                       ((427, '1'), fromList [432]), ((428, '0'), fromList [428]),
                       ((428, '1'), fromList [432]), ((429, '0'), fromList [324]),
                       ((429, '1'), fromList [434]), ((430, '0'), fromList [325]),
                       ((430, '1'), fromList [433]), ((431, '0'), fromList [983]),
                       ((431, '1'), fromList [312]), ((432, '0'), fromList [437]),
                       ((432, '1'), fromList [312]), ((433, '0'), fromList [436]),
                       ((433, '1'), fromList [312]), ((434, '0'), fromList [435]),
                       ((434, '1'), fromList [57]), ((435, '0'), fromList [419]),
                       ((435, '1'), fromList [48]), ((436, '0'), fromList [1265]),
                       ((436, '1'), fromList [1139]), ((437, '0'), fromList [317]),
                       ((437, '1'), fromList [1139]), ((438, '0'), fromList [317]),
                       ((438, '1'), fromList [978]), ((439, '0'), fromList [426]),
                       ((439, '1'), fromList [1181]), ((440, '0'), fromList [602]),
                       ((440, '1'), fromList [1181]), ((441, '0'), fromList [789]),
                       ((441, '1'), fromList [256]), ((442, '0'), fromList [612]),
                       ((442, '1'), fromList [255]), ((443, '0'), fromList [339]),
                       ((443, '1'), fromList [788]), ((444, '0'), fromList [340]),
                       ((444, '1'), fromList [442]), ((445, '0'), fromList [1182]),
                       ((445, '1'), fromList [441]), ((446, '0'), fromList [875]),
                       ((446, '1'), fromList [92]), ((447, '0'), fromList [873]),
                       ((447, '1'), fromList [93]), ((448, '0'), fromList [875]),
                       ((448, '1'), fromList [92]), ((449, '0'), fromList [873]),
                       ((449, '1'), fromList [93]), ((450, '0'), fromList [893]),
                       ((450, '1'), fromList [87]), ((451, '0'), fromList [451]),
                       ((451, '1'), fromList [87]), ((452, '0'), fromList [451]),
                       ((452, '1'), fromList [1181]), ((453, '0'), fromList [456]),
                       ((453, '1'), fromList [1181]), ((454, '0'), fromList [455]),
                       ((454, '1'), fromList [1181]), ((455, '0'), fromList [334]),
                       ((455, '1'), fromList [885]), ((456, '0'), fromList [451]),
                       ((456, '1'), fromList [884]), ((457, '0'), fromList [755]),
                       ((457, '1'), fromList [1181]), ((458, '0'), fromList [1049]),
                       ((458, '1'), fromList [1181]), ((459, '0'), fromList [1120]),
                       ((459, '1'), fromList [432]), ((460, '0'), fromList [1049]),
                       ((460, '1'), fromList [1151]), ((461, '0'), fromList [461]),
                       ((461, '1'), fromList [464]), ((462, '0'), fromList [461]),
                       ((462, '1'), fromList [463]), ((463, '0'), fromList [478]),
                       ((463, '1'), fromList [466]), ((464, '0'), fromList [479]),
                       ((464, '1'), fromList [465]), ((465, '0'), fromList [468]),
                       ((465, '1'), fromList [482]), ((466, '0'), fromList [467]),
                       ((466, '1'), fromList [482]), ((467, '0'), fromList [528]),
                       ((467, '1'), fromList [487]), ((468, '0'), fromList [529]),
                       ((468, '1'), fromList [487]), ((469, '0'), fromList [726]),
                       ((469, '1'), fromList [1181]), ((470, '0'), fromList [494]),
                       ((470, '1'), fromList [1181]), ((471, '0'), fromList [461]),
                       ((471, '1'), fromList [1181]), ((472, '0'), fromList [475]),
                       ((472, '1'), fromList [482]), ((473, '0'), fromList [474]),
                       ((473, '1'), fromList [482]), ((474, '0'), fromList [1090]),
                       ((474, '1'), fromList [487]), ((475, '0'), fromList [1092]),
                       ((475, '1'), fromList [487]), ((476, '0'), fromList [726]),
                       ((476, '1'), fromList [477]), ((477, '0'), fromList [495]),
                       ((477, '1'), fromList [473]), ((478, '0'), fromList [494]),
                       ((478, '1'), fromList [480]), ((479, '0'), fromList [494]),
                       ((479, '1'), fromList [481]), ((480, '0'), fromList [485]),
                       ((480, '1'), fromList [472]), ((481, '0'), fromList [485]),
                       ((481, '1'), fromList [482]), ((482, '0'), fromList [488]),
                       ((482, '1'), fromList [482]), ((483, '0'), fromList [946]),
                       ((483, '1'), fromList [283]), ((484, '0'), fromList [461]),
                       ((484, '1'), fromList [563]), ((485, '0'), fromList [494]),
                       ((485, '1'), fromList [487]), ((486, '0'), fromList [484]),
                       ((486, '1'), fromList [1181]), ((487, '0'), fromList [485]),
                       ((487, '1'), fromList [482]), ((488, '0'), fromList [493]),
                       ((488, '1'), fromList [487]), ((489, '0'), fromList [239]),
                       ((489, '1'), fromList [254]), ((490, '0'), fromList [470]),
                       ((490, '1'), fromList [482]), ((491, '0'), fromList [471]),
                       ((491, '1'), fromList [1181]), ((492, '0'), fromList [470]),
                       ((492, '1'), fromList [482]), ((493, '0'), fromList [545]),
                       ((493, '1'), fromList [464]), ((494, '0'), fromList [496]),
                       ((494, '1'), fromList [464]), ((495, '0'), fromList [494]),
                       ((495, '1'), fromList [492]), ((496, '0'), fromList [462]),
                       ((496, '1'), fromList [497]), ((497, '0'), fromList [518]),
                       ((497, '1'), fromList [465]), ((498, '0'), fromList [518]),
                       ((498, '1'), fromList [473]), ((499, '0'), fromList [1120]),
                       ((499, '1'), fromList [432]), ((500, '0'), fromList [518]),
                       ((500, '1'), fromList [473]), ((501, '0'), fromList [586]),
                       ((501, '1'), fromList [575]), ((502, '0'), fromList [585]),
                       ((502, '1'), fromList [575]), ((503, '0'), fromList [506]),
                       ((503, '1'), fromList [148]), ((504, '0'), fromList [1091]),
                       ((504, '1'), fromList [540]), ((505, '0'), fromList [538]),
                       ((505, '1'), fromList [540]), ((506, '0'), fromList [670]),
                       ((506, '1'), fromList [149]), ((507, '0'), fromList [738]),
                       ((507, '1'), fromList [507]), ((508, '0'), fromList [1080]),
                       ((508, '1'), fromList [507]), ((509, '0'), fromList [505]),
                       ((509, '1'), fromList [1181]), ((510, '0'), fromList [516]),
                       ((510, '1'), fromList [1181]), ((511, '0'), fromList [509]),
                       ((511, '1'), fromList [523]), ((512, '0'), fromList [510]),
                       ((512, '1'), fromList [1181]), ((513, '0'), fromList [534]),
                       ((513, '1'), fromList [543]), ((514, '0'), fromList [534]),
                       ((514, '1'), fromList [542]), ((515, '0'), fromList [551]),
                       ((515, '1'), fromList [523]), ((516, '0'), fromList [516]),
                       ((516, '1'), fromList [540]), ((517, '0'), fromList [516]),
                       ((517, '1'), fromList [521]), ((518, '0'), fromList [494]),
                       ((518, '1'), fromList [490]), ((519, '0'), fromList [489]),
                       ((519, '1'), fromList [192]), ((520, '0'), fromList [526]),
                       ((520, '1'), fromList [1181]), ((521, '0'), fromList [513]),
                       ((521, '1'), fromList [523]), ((522, '0'), fromList [514]),
                       ((522, '1'), fromList [11]), ((523, '0'), fromList [527]),
                       ((523, '1'), fromList [530]), ((524, '0'), fromList [484]),
                       ((524, '1'), fromList [500]), ((525, '0'), fromList [516]),
                       ((525, '1'), fromList [550]), ((526, '0'), fromList [516]),
                       ((526, '1'), fromList [515]), ((527, '0'), fromList [504]),
                       ((527, '1'), fromList [531]), ((528, '0'), fromList [1169]),
                       ((528, '1'), fromList [464]), ((529, '0'), fromList [524]),
                       ((529, '1'), fromList [464]), ((530, '0'), fromList [532]),
                       ((530, '1'), fromList [530]), ((531, '0'), fromList [533]),
                       ((531, '1'), fromList [530]), ((532, '0'), fromList [535]),
                       ((532, '1'), fromList [531]), ((533, '0'), fromList [534]),
                       ((533, '1'), fromList [531]), ((534, '0'), fromList [537]),
                       ((534, '1'), fromList [540]), ((535, '0'), fromList [536]),
                       ((535, '1'), fromList [540]), ((536, '0'), fromList [526]),
                       ((536, '1'), fromList [522]), ((537, '0'), fromList [525]),
                       ((537, '1'), fromList [539]), ((538, '0'), fromList [517]),
                       ((538, '1'), fromList [539]), ((539, '0'), fromList [514]),
                       ((539, '1'), fromList [530]), ((540, '0'), fromList [541]),
                       ((540, '1'), fromList [530]), ((541, '0'), fromList [534]),
                       ((541, '1'), fromList [544]), ((542, '0'), fromList [551]),
                       ((542, '1'), fromList [530]), ((543, '0'), fromList [533]),
                       ((543, '1'), fromList [12]), ((544, '0'), fromList [533]),
                       ((544, '1'), fromList [530]), ((545, '0'), fromList [484]),
                       ((545, '1'), fromList [498]), ((546, '0'), fromList [920]),
                       ((546, '1'), fromList [961]), ((547, '0'), fromList [483]),
                       ((547, '1'), fromList [961]), ((548, '0'), fromList [549]),
                       ((548, '1'), fromList [312]), ((549, '0'), fromList [459]),
                       ((549, '1'), fromList [1139]), ((550, '0'), fromList [513]),
                       ((550, '1'), fromList [523]), ((551, '0'), fromList [534]),
                       ((551, '1'), fromList [1181]), ((552, '0'), fromList [85]),
                       ((552, '1'), fromList [66]), ((553, '0'), fromList [86]),
                       ((553, '1'), fromList [51]), ((554, '0'), fromList [61]),
                       ((554, '1'), fromList [38]), ((555, '0'), fromList [556]),
                       ((555, '1'), fromList [561]), ((556, '0'), fromList [558]),
                       ((556, '1'), fromList [63]), ((557, '0'), fromList [557]),
                       ((557, '1'), fromList [63]), ((558, '0'), fromList [84]),
                       ((558, '1'), fromList [552]), ((559, '0'), fromList [83]),
                       ((559, '1'), fromList [1181]), ((560, '0'), fromList [557]),
                       ((560, '1'), fromList [1181]), ((561, '0'), fromList [1177]),
                       ((561, '1'), fromList [59]), ((562, '0'), fromList [1177]),
                       ((562, '1'), fromList [51]), ((563, '0'), fromList [470]),
                       ((563, '1'), fromList [466]), ((564, '0'), fromList [559]),
                       ((564, '1'), fromList [63]), ((565, '0'), fromList [17]),
                       ((565, '1'), fromList [1326]), ((566, '0'), fromList [560]),
                       ((566, '1'), fromList [1154]), ((567, '0'), fromList [560]),
                       ((567, '1'), fromList [1181]), ((568, '0'), fromList [651]),
                       ((568, '1'), fromList [664]), ((569, '0'), fromList [651]),
                       ((569, '1'), fromList [663]), ((570, '0'), fromList [271]),
                       ((570, '1'), fromList [813]), ((571, '0'), fromList [341]),
                       ((571, '1'), fromList [687]), ((572, '0'), fromList [443]),
                       ((572, '1'), fromList [690]), ((573, '0'), fromList [613]),
                       ((573, '1'), fromList [573]), ((574, '0'), fromList [685]),
                       ((574, '1'), fromList [573]), ((575, '0'), fromList [1260]),
                       ((575, '1'), fromList [575]), ((576, '0'), fromList [1344]),
                       ((576, '1'), fromList [575]), ((577, '0'), fromList [578]),
                       ((577, '1'), fromList [1181]), ((578, '0'), fromList [584]),
                       ((578, '1'), fromList [1181]), ((579, '0'), fromList [584]),
                       ((579, '1'), fromList [686]), ((580, '0'), fromList [1047]),
                       ((580, '1'), fromList [432]), ((581, '0'), fromList [628]),
                       ((581, '1'), fromList [673]), ((582, '0'), fromList [325]),
                       ((582, '1'), fromList [432]), ((583, '0'), fromList [577]),
                       ((583, '1'), fromList [673]), ((584, '0'), fromList [584]),
                       ((584, '1'), fromList [673]), ((585, '0'), fromList [1516]),
                       ((585, '1'), fromList [576]), ((586, '0'), fromList [1517]),
                       ((586, '1'), fromList [576]), ((587, '0'), fromList [272]),
                       ((587, '1'), fromList [912]), ((588, '0'), fromList [593]),
                       ((588, '1'), fromList [1059]), ((589, '0'), fromList [590]),
                       ((589, '1'), fromList [1181]), ((590, '0'), fromList [592]),
                       ((590, '1'), fromList [1181]), ((591, '0'), fromList [609]),
                       ((591, '1'), fromList [573]), ((592, '0'), fromList [592]),
                       ((592, '1'), fromList [574]), ((593, '0'), fromList [592]),
                       ((593, '1'), fromList [695]), ((594, '0'), fromList [280]),
                       ((594, '1'), fromList [273]), ((595, '0'), fromList [589]),
                       ((595, '1'), fromList [574]), ((596, '0'), fromList [589]),
                       ((596, '1'), fromList [574]), ((597, '0'), fromList [624]),
                       ((597, '1'), fromList [788]), ((598, '0'), fromList [625]),
                       ((598, '1'), fromList [574]), ((599, '0'), fromList [587]),
                       ((599, '1'), fromList [273]), ((600, '0'), fromList [588]),
                       ((600, '1'), fromList [574]), ((601, '0'), fromList [916]),
                       ((601, '1'), fromList [574]), ((602, '0'), fromList [630]),
                       ((602, '1'), fromList [273]), ((603, '0'), fromList [1070]),
                       ((603, '1'), fromList [574]), ((604, '0'), fromList [596]),
                       ((604, '1'), fromList [614]), ((605, '0'), fromList [1149]),
                       ((605, '1'), fromList [788]), ((606, '0'), fromList [639]),
                       ((606, '1'), fromList [614]), ((607, '0'), fromList [597]),
                       ((607, '1'), fromList [788]), ((608, '0'), fromList [598]),
                       ((608, '1'), fromList [614]), ((609, '0'), fromList [601]),
                       ((609, '1'), fromList [614]), ((610, '0'), fromList [594]),
                       ((610, '1'), fromList [442]), ((611, '0'), fromList [595]),
                       ((611, '1'), fromList [614]), ((612, '0'), fromList [602]),
                       ((612, '1'), fromList [442]), ((613, '0'), fromList [603]),
                       ((613, '1'), fromList [614]), ((614, '0'), fromList [617]),
                       ((614, '1'), fromList [573]), ((615, '0'), fromList [602]),
                       ((615, '1'), fromList [808]), ((616, '0'), fromList [681]),
                       ((616, '1'), fromList [805]), ((617, '0'), fromList [681]),
                       ((617, '1'), fromList [614]), ((618, '0'), fromList [427]),
                       ((618, '1'), fromList [1234]), ((619, '0'), fromList [681]),
                       ((619, '1'), fromList [1053]), ((620, '0'), fromList [681]),
                       ((620, '1'), fromList [1181]), ((621, '0'), fromList [631]),
                       ((621, '1'), fromList [788]), ((622, '0'), fromList [615]),
                       ((622, '1'), fromList [913]), ((623, '0'), fromList [648]),
                       ((623, '1'), fromList [572]), ((624, '0'), fromList [338]),
                       ((624, '1'), fromList [623]), ((625, '0'), fromList [590]),
                       ((625, '1'), fromList [697]), ((626, '0'), fromList [667]),
                       ((626, '1'), fromList [148]), ((627, '0'), fromList [106]),
                       ((627, '1'), fromList [758]), ((628, '0'), fromList [578]),
                       ((628, '1'), fromList [758]), ((629, '0'), fromList [445]),
                       ((629, '1'), fromList [688]), ((630, '0'), fromList [570]),
                       ((630, '1'), fromList [912]), ((631, '0'), fromList [571]),
                       ((631, '1'), fromList [803]), ((632, '0'), fromList [341]),
                       ((632, '1'), fromList [511]), ((633, '0'), fromList [341]),
                       ((633, '1'), fromList [1052]), ((634, '0'), fromList [636]),
                       ((634, '1'), fromList [1181]), ((635, '0'), fromList [638]),
                       ((635, '1'), fromList [1181]), ((636, '0'), fromList [636]),
                       ((636, '1'), fromList [576]), ((637, '0'), fromList [638]),
                       ((637, '1'), fromList [576]), ((638, '0'), fromList [1335]),
                       ((638, '1'), fromList [576]), ((639, '0'), fromList [278]),
                       ((639, '1'), fromList [574]), ((640, '0'), fromList [620]),
                       ((640, '1'), fromList [573]), ((641, '0'), fromList [242]),
                       ((641, '1'), fromList [123]), ((642, '0'), fromList [440]),
                       ((642, '1'), fromList [701]), ((643, '0'), fromList [439]),
                       ((643, '1'), fromList [49]), ((644, '0'), fromList [645]),
                       ((644, '1'), fromList [690]), ((645, '0'), fromList [649]),
                       ((645, '1'), fromList [1181]), ((646, '0'), fromList [649]),
                       ((646, '1'), fromList [1054]), ((647, '0'), fromList [649]),
                       ((647, '1'), fromList [788]), ((648, '0'), fromList [649]),
                       ((648, '1'), fromList [644]), ((649, '0'), fromList [1040]),
                       ((649, '1'), fromList [788]), ((650, '0'), fromList [627]),
                       ((650, '1'), fromList [673]), ((651, '0'), fromList [661]),
                       ((651, '1'), fromList [673]), ((652, '0'), fromList [592]),
                       ((652, '1'), fromList [1515]), ((653, '0'), fromList [811]),
                       ((653, '1'), fromList [699]), ((654, '0'), fromList [911]),
                       ((654, '1'), fromList [442]), ((655, '0'), fromList [611]),
                       ((655, '1'), fromList [573]), ((656, '0'), fromList [657]),
                       ((656, '1'), fromList [573]), ((657, '0'), fromList [1057]),
                       ((657, '1'), fromList [614]), ((658, '0'), fromList [659]),
                       ((658, '1'), fromList [575]), ((659, '0'), fromList [1519]),
                       ((659, '1'), fromList [576]), ((660, '0'), fromList [662]),
                       ((660, '1'), fromList [673]), ((661, '0'), fromList [107]),
                       ((661, '1'), fromList [626]), ((662, '0'), fromList [579]),
                       ((662, '1'), fromList [626]), ((663, '0'), fromList [150]),
                       ((663, '1'), fromList [503]), ((664, '0'), fromList [150]),
                       ((664, '1'), fromList [665]), ((665, '0'), fromList [666]),
                       ((665, '1'), fromList [148]), ((666, '0'), fromList [669]),
                       ((666, '1'), fromList [149]), ((667, '0'), fromList [651]),
                       ((667, '1'), fromList [677]), ((668, '0'), fromList [651]),
                       ((668, '1'), fromList [1181]), ((669, '0'), fromList [627]),
                       ((669, '1'), fromList [673]), ((670, '0'), fromList [675]),
                       ((670, '1'), fromList [673]), ((671, '0'), fromList [672]),
                       ((671, '1'), fromList [573]), ((672, '0'), fromList [674]),
                       ((672, '1'), fromList [614]), ((673, '0'), fromList [568]),
                       ((673, '1'), fromList [148]), ((674, '0'), fromList [653]),
                       ((674, '1'), fromList [574]), ((675, '0'), fromList [106]),
                       ((675, '1'), fromList [1181]), ((676, '0'), fromList [569]),
                       ((676, '1'), fromList [679]), ((677, '0'), fromList [668]),
                       ((677, '1'), fromList [665]), ((678, '0'), fromList [668]),
                       ((678, '1'), fromList [679]), ((679, '0'), fromList [680]),
                       ((679, '1'), fromList [148]), ((680, '0'), fromList [1056]),
                       ((680, '1'), fromList [149]), ((681, '0'), fromList [693]),
                       ((681, '1'), fromList [574]), ((682, '0'), fromList [648]),
                       ((682, '1'), fromList [690]), ((683, '0'), fromList [1142]),
                       ((683, '1'), fromList [329]), ((684, '0'), fromList [600]),
                       ((684, '1'), fromList [640]), ((685, '0'), fromList [681]),
                       ((685, '1'), fromList [804]), ((686, '0'), fromList [569]),
                       ((686, '1'), fromList [318]), ((687, '0'), fromList [1261]),
                       ((687, '1'), fromList [318]), ((688, '0'), fromList [1069]),
                       ((688, '1'), fromList [689]), ((689, '0'), fromList [692]),
                       ((689, '1'), fromList [690]), ((690, '0'), fromList [691]),
                       ((690, '1'), fromList [690]), ((691, '0'), fromList [756]),
                       ((691, '1'), fromList [788]), ((692, '0'), fromList [757]),
                       ((692, '1'), fromList [788]), ((693, '0'), fromList [812]),
                       ((693, '1'), fromList [1059]), ((694, '0'), fromList [618]),
                       ((694, '1'), fromList [311]), ((695, '0'), fromList [619]),
                       ((695, '1'), fromList [1058]), ((696, '0'), fromList [438]),
                       ((696, '1'), fromList [319]), ((697, '0'), fromList [616]),
                       ((697, '1'), fromList [1060]), ((698, '0'), fromList [615]),
                       ((698, '1'), fromList [915]), ((699, '0'), fromList [616]),
                       ((699, '1'), fromList [655]), ((700, '0'), fromList [620]),
                       ((700, '1'), fromList [656]), ((701, '0'), fromList [1208]),
                       ((701, '1'), fromList [255]), ((702, '0'), fromList [654]),
                       ((702, '1'), fromList [255]), ((703, '0'), fromList [704]),
                       ((703, '1'), fromList [1035]), ((704, '0'), fromList [704]),
                       ((704, '1'), fromList [1062]), ((705, '0'), fromList [708]),
                       ((705, '1'), fromList [709]), ((706, '0'), fromList [707]),
                       ((706, '1'), fromList [709]), ((707, '0'), fromList [717]),
                       ((707, '1'), fromList [1064]), ((708, '0'), fromList [716]),
                       ((708, '1'), fromList [1064]), ((709, '0'), fromList [711]),
                       ((709, '1'), fromList [709]), ((710, '0'), fromList [712]),
                       ((710, '1'), fromList [709]), ((711, '0'), fromList [714]),
                       ((711, '1'), fromList [1064]), ((712, '0'), fromList [713]),
                       ((712, '1'), fromList [1064]), ((713, '0'), fromList [476]),
                       ((713, '1'), fromList [1062]), ((714, '0'), fromList [715]),
                       ((714, '1'), fromList [1062]), ((715, '0'), fromList [726]),
                       ((715, '1'), fromList [1037]), ((716, '0'), fromList [721]),
                       ((716, '1'), fromList [1062]), ((717, '0'), fromList [718]),
                       ((717, '1'), fromList [1062]), ((718, '0'), fromList [726]),
                       ((718, '1'), fromList [1036]), ((719, '0'), fromList [723]),
                       ((719, '1'), fromList [1062]), ((720, '0'), fromList [724]),
                       ((720, '1'), fromList [1062]), ((721, '0'), fromList [727]),
                       ((721, '1'), fromList [1036]), ((722, '0'), fromList [727]),
                       ((722, '1'), fromList [1181]), ((723, '0'), fromList [725]),
                       ((723, '1'), fromList [1152]), ((724, '0'), fromList [703]),
                       ((724, '1'), fromList [1152]), ((725, '0'), fromList [704]),
                       ((725, '1'), fromList [1034]), ((726, '0'), fromList [704]),
                       ((726, '1'), fromList [1033]), ((727, '0'), fromList [704]),
                       ((727, '1'), fromList [1181]), ((728, '0'), fromList [719]),
                       ((728, '1'), fromList [1077]), ((729, '0'), fromList [719]),
                       ((729, '1'), fromList [1181]), ((730, '0'), fromList [755]),
                       ((730, '1'), fromList [1073]), ((731, '0'), fromList [734]),
                       ((731, '1'), fromList [731]), ((732, '0'), fromList [733]),
                       ((732, '1'), fromList [731]), ((733, '0'), fromList [736]),
                       ((733, '1'), fromList [732]), ((734, '0'), fromList [735]),
                       ((734, '1'), fromList [732]), ((735, '0'), fromList [853]),
                       ((735, '1'), fromList [732]), ((736, '0'), fromList [854]),
                       ((736, '1'), fromList [732]), ((737, '0'), fromList [739]),
                       ((737, '1'), fromList [507]), ((738, '0'), fromList [740]),
                       ((738, '1'), fromList [737]), ((739, '0'), fromList [741]),
                       ((739, '1'), fromList [737]), ((740, '0'), fromList [730]),
                       ((740, '1'), fromList [774]), ((741, '0'), fromList [772]),
                       ((741, '1'), fromList [774]), ((742, '0'), fromList [744]),
                       ((742, '1'), fromList [1073]), ((743, '0'), fromList [744]),
                       ((743, '1'), fromList [1181]), ((744, '0'), fromList [749]),
                       ((744, '1'), fromList [1181]), ((745, '0'), fromList [749]),
                       ((745, '1'), fromList [1071]), ((746, '0'), fromList [743]),
                       ((746, '1'), fromList [774]), ((747, '0'), fromList [742]),
                       ((747, '1'), fromList [774]), ((748, '0'), fromList [1465]),
                       ((748, '1'), fromList [774]), ((749, '0'), fromList [749]),
                       ((749, '1'), fromList [774]), ((750, '0'), fromList [751]),
                       ((750, '1'), fromList [754]), ((751, '0'), fromList [753]),
                       ((751, '1'), fromList [774]), ((752, '0'), fromList [749]),
                       ((752, '1'), fromList [773]), ((753, '0'), fromList [752]),
                       ((753, '1'), fromList [508]), ((754, '0'), fromList [1175]),
                       ((754, '1'), fromList [507]), ((755, '0'), fromList [749]),
                       ((755, '1'), fromList [760]), ((756, '0'), fromList [1116]),
                       ((756, '1'), fromList [788]), ((757, '0'), fromList [1043]),
                       ((757, '1'), fromList [788]), ((758, '0'), fromList [667]),
                       ((758, '1'), fromList [328]), ((759, '0'), fromList [750]),
                       ((759, '1'), fromList [770]), ((760, '0'), fromList [1175]),
                       ((760, '1'), fromList [767]), ((761, '0'), fromList [741]),
                       ((761, '1'), fromList [762]), ((762, '0'), fromList [739]),
                       ((762, '1'), fromList [763]), ((763, '0'), fromList [764]),
                       ((763, '1'), fromList [507]), ((764, '0'), fromList [832]),
                       ((764, '1'), fromList [737]), ((765, '0'), fromList [1175]),
                       ((765, '1'), fromList [766]), ((766, '0'), fromList [771]),
                       ((766, '1'), fromList [507]), ((767, '0'), fromList [768]),
                       ((767, '1'), fromList [507]), ((768, '0'), fromList [747]),
                       ((768, '1'), fromList [737]), ((769, '0'), fromList [746]),
                       ((769, '1'), fromList [737]), ((770, '0'), fromList [769]),
                       ((770, '1'), fromList [507]), ((771, '0'), fromList [748]),
                       ((771, '1'), fromList [737]), ((772, '0'), fromList [745]),
                       ((772, '1'), fromList [508]), ((773, '0'), fromList [761]),
                       ((773, '1'), fromList [767]), ((774, '0'), fromList [775]),
                       ((774, '1'), fromList [507]), ((775, '0'), fromList [741]),
                       ((775, '1'), fromList [1159]), ((776, '0'), fromList [778]),
                       ((776, '1'), fromList [1214]), ((777, '0'), fromList [778]),
                       ((777, '1'), fromList [1215]), ((778, '0'), fromList [778]),
                       ((778, '1'), fromList [783]), ((779, '0'), fromList [781]),
                       ((779, '1'), fromList [783]), ((780, '0'), fromList [777]),
                       ((780, '1'), fromList [1181]), ((781, '0'), fromList [817]),
                       ((781, '1'), fromList [784]), ((782, '0'), fromList [1354]),
                       ((782, '1'), fromList [783]), ((783, '0'), fromList [1200]),
                       ((783, '1'), fromList [1227]), ((784, '0'), fromList [1199]),
                       ((784, '1'), fromList [1227]), ((785, '0'), fromList [872]),
                       ((785, '1'), fromList [815]), ((786, '0'), fromList [874]),
                       ((786, '1'), fromList [731]), ((787, '0'), fromList [872]),
                       ((787, '1'), fromList [731]), ((788, '0'), fromList [647]),
                       ((788, '1'), fromList [690]), ((789, '0'), fromList [599]),
                       ((789, '1'), fromList [819]), ((790, '0'), fromList [776]),
                       ((790, '1'), fromList [1226]), ((791, '0'), fromList [793]),
                       ((791, '1'), fromList [1190]), ((792, '0'), fromList [794]),
                       ((792, '1'), fromList [1190]), ((793, '0'), fromList [1231]),
                       ((793, '1'), fromList [1191]), ((794, '0'), fromList [1509]),
                       ((794, '1'), fromList [1191]), ((795, '0'), fromList [828]),
                       ((795, '1'), fromList [732]), ((796, '0'), fromList [1225]),
                       ((796, '1'), fromList [791]), ((797, '0'), fromList [818]),
                       ((797, '1'), fromList [1181]), ((798, '0'), fromList [818]),
                       ((798, '1'), fromList [1181]), ((799, '0'), fromList [848]),
                       ((799, '1'), fromList [1181]), ((800, '0'), fromList [452]),
                       ((800, '1'), fromList [198]), ((801, '0'), fromList [848]),
                       ((801, '1'), fromList [785]), ((802, '0'), fromList [806]),
                       ((802, '1'), fromList [260]), ((803, '0'), fromList [684]),
                       ((803, '1'), fromList [591]), ((804, '0'), fromList [617]),
                       ((804, '1'), fromList [671]), ((805, '0'), fromList [620]),
                       ((805, '1'), fromList [671]), ((806, '0'), fromList [167]),
                       ((806, '1'), fromList [266]), ((807, '0'), fromList [440]),
                       ((807, '1'), fromList [267]), ((808, '0'), fromList [440]),
                       ((808, '1'), fromList [267]), ((809, '0'), fromList [619]),
                       ((809, '1'), fromList [656]), ((810, '0'), fromList [612]),
                       ((810, '1'), fromList [910]), ((811, '0'), fromList [592]),
                       ((811, '1'), fromList [700]), ((812, '0'), fromList [592]),
                       ((812, '1'), fromList [809]), ((813, '0'), fromList [1066]),
                       ((813, '1'), fromList [701]), ((814, '0'), fromList [795]),
                       ((814, '1'), fromList [731]), ((815, '0'), fromList [816]),
                       ((815, '1'), fromList [731]), ((816, '0'), fromList [827]),
                       ((816, '1'), fromList [732]), ((817, '0'), fromList [778]),
                       ((817, '1'), fromList [796]), ((818, '0'), fromList [778]),
                       ((818, '1'), fromList [1181]), ((819, '0'), fromList [1233]),
                       ((819, '1'), fromList [1198]), ((820, '0'), fromList [822]),
                       ((820, '1'), fromList [856]), ((821, '0'), fromList [823]),
                       ((821, '1'), fromList [856]), ((822, '0'), fromList [862]),
                       ((822, '1'), fromList [101]), ((823, '0'), fromList [454]),
                       ((823, '1'), fromList [101]), ((824, '0'), fromList [852]),
                       ((824, '1'), fromList [87]), ((825, '0'), fromList [453]),
                       ((825, '1'), fromList [87]), ((826, '0'), fromList [838]),
                       ((826, '1'), fromList [87]), ((827, '0'), fromList [799]),
                       ((827, '1'), fromList [732]), ((828, '0'), fromList [904]),
                       ((828, '1'), fromList [732]), ((829, '0'), fromList [520]),
                       ((829, '1'), fromList [540]), ((830, '0'), fromList [460]),
                       ((830, '1'), fromList [273]), ((831, '0'), fromList [458]),
                       ((831, '1'), fromList [273]), ((832, '0'), fromList [457]),
                       ((832, '1'), fromList [774]), ((833, '0'), fromList [835]),
                       ((833, '1'), fromList [140]), ((834, '0'), fromList [837]),
                       ((834, '1'), fromList [927]), ((835, '0'), fromList [836]),
                       ((835, '1'), fromList [927]), ((836, '0'), fromList [919]),
                       ((836, '1'), fromList [960]), ((837, '0'), fromList [918]),
                       ((837, '1'), fromList [960]), ((838, '0'), fromList [849]),
                       ((838, '1'), fromList [449]), ((839, '0'), fromList [850]),
                       ((839, '1'), fromList [841]), ((840, '0'), fromList [874]),
                       ((840, '1'), fromList [731]), ((841, '0'), fromList [874]),
                       ((841, '1'), fromList [842]), ((842, '0'), fromList [843]),
                       ((842, '1'), fromList [731]), ((843, '0'), fromList [902]),
                       ((843, '1'), fromList [732]), ((844, '0'), fromList [800]),
                       ((844, '1'), fromList [135]), ((845, '0'), fromList [847]),
                       ((845, '1'), fromList [101]), ((846, '0'), fromList [455]),
                       ((846, '1'), fromList [896]), ((847, '0'), fromList [333]),
                       ((847, '1'), fromList [896]), ((848, '0'), fromList [850]),
                       ((848, '1'), fromList [1181]), ((849, '0'), fromList [451]),
                       ((849, '1'), fromList [882]), ((850, '0'), fromList [850]),
                       ((850, '1'), fromList [732]), ((851, '0'), fromList [450]),
                       ((851, '1'), fromList [446]), ((852, '0'), fromList [849]),
                       ((852, '1'), fromList [447]), ((853, '0'), fromList [839]),
                       ((853, '1'), fromList [785]), ((854, '0'), fromList [861]),
                       ((854, '1'), fromList [787]), ((855, '0'), fromList [736]),
                       ((855, '1'), fromList [908]), ((856, '0'), fromList [859]),
                       ((856, '1'), fromList [857]), ((857, '0'), fromList [858]),
                       ((857, '1'), fromList [857]), ((858, '0'), fromList [891]),
                       ((858, '1'), fromList [856]), ((859, '0'), fromList [890]),
                       ((859, '1'), fromList [856]), ((860, '0'), fromList [869]),
                       ((860, '1'), fromList [898]), ((861, '0'), fromList [850]),
                       ((861, '1'), fromList [903]), ((862, '0'), fromList [869]),
                       ((862, '1'), fromList [897]), ((863, '0'), fromList [864]),
                       ((863, '1'), fromList [857]), ((864, '0'), fromList [288]),
                       ((864, '1'), fromList [856]), ((865, '0'), fromList [892]),
                       ((865, '1'), fromList [732]), ((866, '0'), fromList [890]),
                       ((866, '1'), fromList [870]), ((867, '0'), fromList [900]),
                       ((867, '1'), fromList [857]), ((868, '0'), fromList [900]),
                       ((868, '1'), fromList [857]), ((869, '0'), fromList [334]),
                       ((869, '1'), fromList [883]), ((870, '0'), fromList [859]),
                       ((870, '1'), fromList [100]), ((871, '0'), fromList [89]),
                       ((871, '1'), fromList [136]), ((872, '0'), fromList [736]),
                       ((872, '1'), fromList [840]), ((873, '0'), fromList [824]),
                       ((873, '1'), fromList [448]), ((874, '0'), fromList [736]),
                       ((874, '1'), fromList [1181]), ((875, '0'), fromList [824]),
                       ((875, '1'), fromList [1181]), ((876, '0'), fromList [736]),
                       ((876, '1'), fromList [786]), ((877, '0'), fromList [824]),
                       ((877, '1'), fromList [446]), ((878, '0'), fromList [824]),
                       ((878, '1'), fromList [871]), ((879, '0'), fromList [290]),
                       ((879, '1'), fromList [87]), ((880, '0'), fromList [845]),
                       ((880, '1'), fromList [856]), ((881, '0'), fromList [844]),
                       ((881, '1'), fromList [88]), ((882, '0'), fromList [878]),
                       ((882, '1'), fromList [889]), ((883, '0'), fromList [866]),
                       ((883, '1'), fromList [888]), ((884, '0'), fromList [875]),
                       ((884, '1'), fromList [889]), ((885, '0'), fromList [900]),
                       ((885, '1'), fromList [888]), ((886, '0'), fromList [876]),
                       ((886, '1'), fromList [731]), ((887, '0'), fromList [877]),
                       ((887, '1'), fromList [93]), ((888, '0'), fromList [880]),
                       ((888, '1'), fromList [857]), ((889, '0'), fromList [881]),
                       ((889, '1'), fromList [93]), ((890, '0'), fromList [860]),
                       ((890, '1'), fromList [101]), ((891, '0'), fromList [846]),
                       ((891, '1'), fromList [101]), ((892, '0'), fromList [861]),
                       ((892, '1'), fromList [886]), ((893, '0'), fromList [849]),
                       ((893, '1'), fromList [887]), ((894, '0'), fromList [869]),
                       ((894, '1'), fromList [895]), ((895, '0'), fromList [899]),
                       ((895, '1'), fromList [857]), ((896, '0'), fromList [901]),
                       ((896, '1'), fromList [863]), ((897, '0'), fromList [901]),
                       ((897, '1'), fromList [857]), ((898, '0'), fromList [901]),
                       ((898, '1'), fromList [857]), ((899, '0'), fromList [890]),
                       ((899, '1'), fromList [867]), ((900, '0'), fromList [890]),
                       ((900, '1'), fromList [1181]), ((901, '0'), fromList [890]),
                       ((901, '1'), fromList [868]), ((902, '0'), fromList [801]),
                       ((902, '1'), fromList [732]), ((903, '0'), fromList [855]),
                       ((903, '1'), fromList [842]), ((904, '0'), fromList [839]),
                       ((904, '1'), fromList [1181]), ((905, '0'), fromList [332]),
                       ((905, '1'), fromList [888]), ((906, '0'), fromList [909]),
                       ((906, '1'), fromList [731]), ((907, '0'), fromList [851]),
                       ((907, '1'), fromList [200]), ((908, '0'), fromList [733]),
                       ((908, '1'), fromList [814]), ((909, '0'), fromList [865]),
                       ((909, '1'), fromList [732]), ((910, '0'), fromList [1508]),
                       ((910, '1'), fromList [255]), ((911, '0'), fromList [1046]),
                       ((911, '1'), fromList [802]), ((912, '0'), fromList [615]),
                       ((912, '1'), fromList [260]), ((913, '0'), fromList [444]),
                       ((913, '1'), fromList [255]), ((914, '0'), fromList [1067]),
                       ((914, '1'), fromList [260]), ((915, '0'), fromList [610]),
                       ((915, '1'), fromList [255]), ((916, '0'), fromList [652]),
                       ((916, '1'), fromList [1514]), ((917, '0'), fromList [570]),
                       ((917, '1'), fromList [914]), ((918, '0'), fromList [944]),
                       ((918, '1'), fromList [928]), ((919, '0'), fromList [944]),
                       ((919, '1'), fromList [949]), ((920, '0'), fromList [945]),
                       ((920, '1'), fromList [283]), ((921, '0'), fromList [918]),
                       ((921, '1'), fromList [956]), ((922, '0'), fromList [918]),
                       ((922, '1'), fromList [959]), ((923, '0'), fromList [925]),
                       ((923, '1'), fromList [283]), ((924, '0'), fromList [930]),
                       ((924, '1'), fromList [937]), ((925, '0'), fromList [921]),
                       ((925, '1'), fromList [927]), ((926, '0'), fromList [923]),
                       ((926, '1'), fromList [961]), ((927, '0'), fromList [282]),
                       ((927, '1'), fromList [961]), ((928, '0'), fromList [281]),
                       ((928, '1'), fromList [205]), ((929, '0'), fromList [567]),
                       ((929, '1'), fromList [63]), ((930, '0'), fromList [932]),
                       ((930, '1'), fromList [547]), ((931, '0'), fromList [943]),
                       ((931, '1'), fromList [1074]), ((932, '0'), fromList [943]),
                       ((932, '1'), fromList [1181]), ((933, '0'), fromList [943]),
                       ((933, '1'), fromList [1074]), ((934, '0'), fromList [940]),
                       ((934, '1'), fromList [206]), ((935, '0'), fromList [440]),
                       ((935, '1'), fromList [701]), ((936, '0'), fromList [924]),
                       ((936, '1'), fromList [961]), ((937, '0'), fromList [939]),
                       ((937, '1'), fromList [961]), ((938, '0'), fromList [834]),
                       ((938, '1'), fromList [934]), ((939, '0'), fromList [834]),
                       ((939, '1'), fromList [937]), ((940, '0'), fromList [834]),
                       ((940, '1'), fromList [1181]), ((941, '0'), fromList [834]),
                       ((941, '1'), fromList [203]), ((942, '0'), fromList [944]),
                       ((942, '1'), fromList [204]), ((943, '0'), fromList [944]),
                       ((943, '1'), fromList [1181]), ((944, '0'), fromList [944]),
                       ((944, '1'), fromList [927]), ((945, '0'), fromList [922]),
                       ((945, '1'), fromList [927]), ((946, '0'), fromList [1083]),
                       ((946, '1'), fromList [927]), ((947, '0'), fromList [1018]),
                       ((947, '1'), fromList [1181]), ((948, '0'), fromList [942]),
                       ((948, '1'), fromList [1181]), ((949, '0'), fromList [281]),
                       ((949, '1'), fromList [958]), ((950, '0'), fromList [952]),
                       ((950, '1'), fromList [937]), ((951, '0'), fromList [931]),
                       ((951, '1'), fromList [927]), ((952, '0'), fromList [932]),
                       ((952, '1'), fromList [927]), ((953, '0'), fromList [951]),
                       ((953, '1'), fromList [937]), ((954, '0'), fromList [942]),
                       ((954, '1'), fromList [1074]), ((955, '0'), fromList [941]),
                       ((955, '1'), fromList [936]), ((956, '0'), fromList [938]),
                       ((956, '1'), fromList [961]), ((957, '0'), fromList [950]),
                       ((957, '1'), fromList [961]), ((958, '0'), fromList [953]),
                       ((958, '1'), fromList [961]), ((959, '0'), fromList [938]),
                       ((959, '1'), fromList [961]), ((960, '0'), fromList [941]),
                       ((960, '1'), fromList [961]), ((961, '0'), fromList [962]),
                       ((961, '1'), fromList [961]), ((962, '0'), fromList [1082]),
                       ((962, '1'), fromList [937]), ((963, '0'), fromList [1004]),
                       ((963, '1'), fromList [966]), ((964, '0'), fromList [1004]),
                       ((964, '1'), fromList [965]), ((965, '0'), fromList [1029]),
                       ((965, '1'), fromList [968]), ((966, '0'), fromList [1029]),
                       ((966, '1'), fromList [967]), ((967, '0'), fromList [970]),
                       ((967, '1'), fromList [1009]), ((968, '0'), fromList [969]),
                       ((968, '1'), fromList [1009]), ((969, '0'), fromList [1085]),
                       ((969, '1'), fromList [1013]), ((970, '0'), fromList [1145]),
                       ((970, '1'), fromList [1013]), ((971, '0'), fromList [999]),
                       ((971, '1'), fromList [968]), ((972, '0'), fromList [999]),
                       ((972, '1'), fromList [973]), ((973, '0'), fromList [974]),
                       ((973, '1'), fromList [1009]), ((974, '0'), fromList [1003]),
                       ((974, '1'), fromList [1013]), ((975, '0'), fromList [1136]),
                       ((975, '1'), fromList [312]), ((976, '0'), fromList [1137]),
                       ((976, '1'), fromList [68]), ((977, '0'), fromList [984]),
                       ((977, '1'), fromList [68]), ((978, '0'), fromList [314]),
                       ((978, '1'), fromList [980]), ((979, '0'), fromList [982]),
                       ((979, '1'), fromList [68]), ((980, '0'), fromList [985]),
                       ((980, '1'), fromList [312]), ((981, '0'), fromList [1086]),
                       ((981, '1'), fromList [313]), ((982, '0'), fromList [1087]),
                       ((982, '1'), fromList [297]), ((983, '0'), fromList [1094]),
                       ((983, '1'), fromList [313]), ((984, '0'), fromList [1095]),
                       ((984, '1'), fromList [297]), ((985, '0'), fromList [1096]),
                       ((985, '1'), fromList [313]), ((986, '0'), fromList [1106]),
                       ((986, '1'), fromList [68]), ((987, '0'), fromList [1106]),
                       ((987, '1'), fromList [68]), ((988, '0'), fromList [1264]),
                       ((988, '1'), fromList [351]), ((989, '0'), fromList [1018]),
                       ((989, '1'), fromList [1020]), ((990, '0'), fromList [941]),
                       ((990, '1'), fromList [961]), ((991, '0'), fromList [1018]),
                       ((991, '1'), fromList [1020]), ((992, '0'), fromList [1128]),
                       ((992, '1'), fromList [1108]), ((993, '0'), fromList [1129]),
                       ((993, '1'), fromList [1109]), ((994, '0'), fromList [1129]),
                       ((994, '1'), fromList [1001]), ((995, '0'), fromList [1129]),
                       ((995, '1'), fromList [1117]), ((996, '0'), fromList [942]),
                       ((996, '1'), fromList [955]), ((997, '0'), fromList [1021]),
                       ((997, '1'), fromList [103]), ((998, '0'), fromList [1022]),
                       ((998, '1'), fromList [103]), ((999, '0'), fromList [1004]),
                       ((999, '1'), fromList [1181]), ((1000, '0'), fromList [1004]),
                       ((1000, '1'), fromList [1005]), ((1001, '0'), fromList [555]),
                       ((1001, '1'), fromList [37]), ((1002, '0'), fromList [933]),
                       ((1002, '1'), fromList [546]), ((1003, '0'), fromList [1025]),
                       ((1003, '1'), fromList [102]), ((1004, '0'), fromList [1023]),
                       ((1004, '1'), fromList [103]), ((1005, '0'), fromList [999]),
                       ((1005, '1'), fromList [968]), ((1006, '0'), fromList [1000]),
                       ((1006, '1'), fromList [1009]), ((1007, '0'), fromList [1147]),
                       ((1007, '1'), fromList [1009]), ((1008, '0'), fromList [1147]),
                       ((1008, '1'), fromList [1009]), ((1009, '0'), fromList [1030]),
                       ((1009, '1'), fromList [1009]), ((1010, '0'), fromList [1024]),
                       ((1010, '1'), fromList [1013]), ((1011, '0'), fromList [1023]),
                       ((1011, '1'), fromList [1012]), ((1012, '0'), fromList [964]),
                       ((1012, '1'), fromList [1009]), ((1013, '0'), fromList [1029]),
                       ((1013, '1'), fromList [1009]), ((1014, '0'), fromList [963]),
                       ((1014, '1'), fromList [973]), ((1015, '0'), fromList [1010]),
                       ((1015, '1'), fromList [1009]), ((1016, '0'), fromList [1028]),
                       ((1016, '1'), fromList [1014]), ((1017, '0'), fromList [1011]),
                       ((1017, '1'), fromList [971]), ((1018, '0'), fromList [1028]),
                       ((1018, '1'), fromList [972]), ((1019, '0'), fromList [1017]),
                       ((1019, '1'), fromList [1015]), ((1020, '0'), fromList [1147]),
                       ((1020, '1'), fromList [1015]), ((1021, '0'), fromList [1016]),
                       ((1021, '1'), fromList [1006]), ((1022, '0'), fromList [1016]),
                       ((1022, '1'), fromList [1007]), ((1023, '0'), fromList [1016]),
                       ((1023, '1'), fromList [1008]), ((1024, '0'), fromList [1026]),
                       ((1024, '1'), fromList [103]), ((1025, '0'), fromList [1027]),
                       ((1025, '1'), fromList [1020]), ((1026, '0'), fromList [1027]),
                       ((1026, '1'), fromList [1181]), ((1027, '0'), fromList [1028]),
                       ((1027, '1'), fromList [1181]), ((1028, '0'), fromList [1028]),
                       ((1028, '1'), fromList [1012]), ((1029, '0'), fromList [1004]),
                       ((1029, '1'), fromList [1013]), ((1030, '0'), fromList [1081]),
                       ((1030, '1'), fromList [1013]), ((1031, '0'), fromList [1075]),
                       ((1031, '1'), fromList [709]), ((1032, '0'), fromList [1076]),
                       ((1032, '1'), fromList [709]), ((1033, '0'), fromList [729]),
                       ((1033, '1'), fromList [705]), ((1034, '0'), fromList [1039]),
                       ((1034, '1'), fromList [705]), ((1035, '0'), fromList [1038]),
                       ((1035, '1'), fromList [705]), ((1036, '0'), fromList [728]),
                       ((1036, '1'), fromList [1031]), ((1037, '0'), fromList [728]),
                       ((1037, '1'), fromList [1031]), ((1038, '0'), fromList [719]),
                       ((1038, '1'), fromList [1065]), ((1039, '0'), fromList [719]),
                       ((1039, '1'), fromList [1061]), ((1040, '0'), fromList [1050]),
                       ((1040, '1'), fromList [682]), ((1041, '0'), fromList [54]),
                       ((1041, '1'), fromList [1181]), ((1042, '0'), fromList [633]),
                       ((1042, '1'), fromList [1181]), ((1043, '0'), fromList [632]),
                       ((1043, '1'), fromList [759]), ((1044, '0'), fromList [606]),
                       ((1044, '1'), fromList [573]), ((1045, '0'), fromList [605]),
                       ((1045, '1'), fromList [690]), ((1046, '0'), fromList [337]),
                       ((1046, '1'), fromList [1181]), ((1047, '0'), fromList [349]),
                       ((1047, '1'), fromList [683]), ((1048, '0'), fromList [271]),
                       ((1048, '1'), fromList [935]), ((1049, '0'), fromList [271]),
                       ((1049, '1'), fromList [642]), ((1050, '0'), fromList [341]),
                       ((1050, '1'), fromList [1051]), ((1051, '0'), fromList [646]),
                       ((1051, '1'), fromList [1055]), ((1052, '0'), fromList [645]),
                       ((1052, '1'), fromList [1055]), ((1053, '0'), fromList [617]),
                       ((1053, '1'), fromList [1044]), ((1054, '0'), fromList [647]),
                       ((1054, '1'), fromList [1045]), ((1055, '0'), fromList [607]),
                       ((1055, '1'), fromList [690]), ((1056, '0'), fromList [628]),
                       ((1056, '1'), fromList [673]), ((1057, '0'), fromList [625]),
                       ((1057, '1'), fromList [574]), ((1058, '0'), fromList [608]),
                       ((1058, '1'), fromList [573]), ((1059, '0'), fromList [616]),
                       ((1059, '1'), fromList [573]), ((1060, '0'), fromList [604]),
                       ((1060, '1'), fromList [573]), ((1061, '0'), fromList [1068]),
                       ((1061, '1'), fromList [1032]), ((1062, '0'), fromList [1068]),
                       ((1062, '1'), fromList [706]), ((1063, '0'), fromList [1506]),
                       ((1063, '1'), fromList [710]), ((1064, '0'), fromList [1068]),
                       ((1064, '1'), fromList [709]), ((1065, '0'), fromList [1068]),
                       ((1065, '1'), fromList [1032]), ((1066, '0'), fromList [602]),
                       ((1066, '1'), fromList [810]), ((1067, '0'), fromList [602]),
                       ((1067, '1'), fromList [807]), ((1068, '0'), fromList [719]),
                       ((1068, '1'), fromList [1064]), ((1069, '0'), fromList [621]),
                       ((1069, '1'), fromList [1063]), ((1070, '0'), fromList [811]),
                       ((1070, '1'), fromList [697]), ((1071, '0'), fromList [761]),
                       ((1071, '1'), fromList [767]), ((1072, '0'), fromList [1080]),
                       ((1072, '1'), fromList [770]), ((1073, '0'), fromList [1080]),
                       ((1073, '1'), fromList [770]), ((1074, '0'), fromList [941]),
                       ((1074, '1'), fromList [957]), ((1075, '0'), fromList [1078]),
                       ((1075, '1'), fromList [1064]), ((1076, '0'), fromList [1079]),
                       ((1076, '1'), fromList [1064]), ((1077, '0'), fromList [729]),
                       ((1077, '1'), fromList [709]), ((1078, '0'), fromList [722]),
                       ((1078, '1'), fromList [1062]), ((1079, '0'), fromList [469]),
                       ((1079, '1'), fromList [1062]), ((1080, '0'), fromList [741]),
                       ((1080, '1'), fromList [765]), ((1081, '0'), fromList [989]),
                       ((1081, '1'), fromList [103]), ((1082, '0'), fromList [954]),
                       ((1082, '1'), fromList [927]), ((1083, '0'), fromList [918]),
                       ((1083, '1'), fromList [990]), ((1084, '0'), fromList [996]),
                       ((1084, '1'), fromList [926]), ((1085, '0'), fromList [991]),
                       ((1085, '1'), fromList [102]), ((1086, '0'), fromList [1047]),
                       ((1086, '1'), fromList [975]), ((1087, '0'), fromList [1127]),
                       ((1087, '1'), fromList [976]), ((1088, '0'), fromList [1122]),
                       ((1088, '1'), fromList [1099]), ((1089, '0'), fromList [512]),
                       ((1089, '1'), fromList [540]), ((1090, '0'), fromList [491]),
                       ((1090, '1'), fromList [464]), ((1091, '0'), fromList [510]),
                       ((1091, '1'), fromList [522]), ((1092, '0'), fromList [486]),
                       ((1092, '1'), fromList [464]), ((1093, '0'), fromList [1121]),
                       ((1093, '1'), fromList [1099]), ((1094, '0'), fromList [992]),
                       ((1094, '1'), fromList [548]), ((1095, '0'), fromList [993]),
                       ((1095, '1'), fromList [1099]), ((1096, '0'), fromList [303]),
                       ((1096, '1'), fromList [548]), ((1097, '0'), fromList [82]),
                       ((1097, '1'), fromList [63]), ((1098, '0'), fromList [1121]),
                       ((1098, '1'), fromList [1099]), ((1099, '0'), fromList [1135]),
                       ((1099, '1'), fromList [68]), ((1100, '0'), fromList [16]),
                       ((1100, '1'), fromList [34]), ((1101, '0'), fromList [295]),
                       ((1101, '1'), fromList [979]), ((1102, '0'), fromList [1143]),
                       ((1102, '1'), fromList [336]), ((1103, '0'), fromList [1107]),
                       ((1103, '1'), fromList [979]), ((1104, '0'), fromList [1143]),
                       ((1104, '1'), fromList [431]), ((1105, '0'), fromList [1107]),
                       ((1105, '1'), fromList [977]), ((1106, '0'), fromList [1088]),
                       ((1106, '1'), fromList [1105]), ((1107, '0'), fromList [1088]),
                       ((1107, '1'), fromList [1181]), ((1108, '0'), fromList [1142]),
                       ((1108, '1'), fromList [326]), ((1109, '0'), fromList [1106]),
                       ((1109, '1'), fromList [1110]), ((1110, '0'), fromList [1111]),
                       ((1110, '1'), fromList [68]), ((1111, '0'), fromList [1124]),
                       ((1111, '1'), fromList [297]), ((1112, '0'), fromList [1128]),
                       ((1112, '1'), fromList [683]), ((1113, '0'), fromList [1048]),
                       ((1113, '1'), fromList [622]), ((1114, '0'), fromList [346]),
                       ((1114, '1'), fromList [49]), ((1115, '0'), fromList [347]),
                       ((1115, '1'), fromList [354]), ((1116, '0'), fromList [633]),
                       ((1116, '1'), fromList [623]), ((1117, '0'), fromList [1106]),
                       ((1117, '1'), fromList [1118]), ((1118, '0'), fromList [1119]),
                       ((1118, '1'), fromList [68]), ((1119, '0'), fromList [1123]),
                       ((1119, '1'), fromList [297]), ((1120, '0'), fromList [347]),
                       ((1120, '1'), fromList [352]), ((1121, '0'), fromList [1130]),
                       ((1121, '1'), fromList [987]), ((1122, '0'), fromList [1130]),
                       ((1122, '1'), fromList [986]), ((1123, '0'), fromList [1126]),
                       ((1123, '1'), fromList [1099]), ((1124, '0'), fromList [1126]),
                       ((1124, '1'), fromList [976]), ((1125, '0'), fromList [567]),
                       ((1125, '1'), fromList [1157]), ((1126, '0'), fromList [1131]),
                       ((1126, '1'), fromList [1181]), ((1127, '0'), fromList [1131]),
                       ((1127, '1'), fromList [1117]), ((1128, '0'), fromList [428]),
                       ((1128, '1'), fromList [1102]), ((1129, '0'), fromList [1133]),
                       ((1129, '1'), fromList [1103]), ((1130, '0'), fromList [1133]),
                       ((1130, '1'), fromList [1101]), ((1131, '0'), fromList [1133]),
                       ((1131, '1'), fromList [1181]), ((1132, '0'), fromList [1122]),
                       ((1132, '1'), fromList [1134]), ((1133, '0'), fromList [1133]),
                       ((1133, '1'), fromList [1134]), ((1134, '0'), fromList [1138]),
                       ((1134, '1'), fromList [68]), ((1135, '0'), fromList [1093]),
                       ((1135, '1'), fromList [1140]), ((1136, '0'), fromList [499]),
                       ((1136, '1'), fromList [1139]), ((1137, '0'), fromList [1098]),
                       ((1137, '1'), fromList [1140]), ((1138, '0'), fromList [1088]),
                       ((1138, '1'), fromList [1140]), ((1139, '0'), fromList [314]),
                       ((1139, '1'), fromList [431]), ((1140, '0'), fromList [296]),
                       ((1140, '1'), fromList [977]), ((1141, '0'), fromList [438]),
                       ((1141, '1'), fromList [336]), ((1142, '0'), fromList [317]),
                       ((1142, '1'), fromList [1104]), ((1143, '0'), fromList [317]),
                       ((1143, '1'), fromList [1181]), ((1144, '0'), fromList [1048]),
                       ((1144, '1'), fromList [698]), ((1145, '0'), fromList [947]),
                       ((1145, '1'), fromList [102]), ((1146, '0'), fromList [948]),
                       ((1146, '1'), fromList [926]), ((1147, '0'), fromList [1004]),
                       ((1147, '1'), fromList [971]), ((1148, '0'), fromList [1041]),
                       ((1148, '1'), fromList [434]), ((1149, '0'), fromList [1042]),
                       ((1149, '1'), fromList [788]), ((1150, '0'), fromList [54]),
                       ((1150, '1'), fromList [1326]), ((1151, '0'), fromList [615]),
                       ((1151, '1'), fromList [702]), ((1152, '0'), fromList [728]),
                       ((1152, '1'), fromList [706]), ((1153, '0'), fromList [1097]),
                       ((1153, '1'), fromList [65]), ((1154, '0'), fromList [85]),
                       ((1154, '1'), fromList [37]), ((1155, '0'), fromList [85]),
                       ((1155, '1'), fromList [66]), ((1156, '0'), fromList [1158]),
                       ((1156, '1'), fromList [66]), ((1157, '0'), fromList [1153]),
                       ((1157, '1'), fromList [66]), ((1158, '0'), fromList [1125]),
                       ((1158, '1'), fromList [60]), ((1159, '0'), fromList [739]),
                       ((1159, '1'), fromList [766]), ((1160, '0'), fromList [1163]),
                       ((1160, '1'), fromList [1291]), ((1161, '0'), fromList [1162]),
                       ((1161, '1'), fromList [1291]), ((1162, '0'), fromList [1165]),
                       ((1162, '1'), fromList [1290]), ((1163, '0'), fromList [1164]),
                       ((1163, '1'), fromList [1290]), ((1164, '0'), fromList [1167]),
                       ((1164, '1'), fromList [1280]), ((1165, '0'), fromList [1166]),
                       ((1165, '1'), fromList [1280]), ((1166, '0'), fromList [1180]),
                       ((1166, '1'), fromList [1283]), ((1167, '0'), fromList [1179]),
                       ((1167, '1'), fromList [1283]), ((1168, '0'), fromList [42]),
                       ((1168, '1'), fromList [1425]), ((1169, '0'), fromList [471]),
                       ((1169, '1'), fromList [500]), ((1170, '0'), fromList [337]),
                       ((1170, '1'), fromList [698]), ((1171, '0'), fromList [381]),
                       ((1171, '1'), fromList [1172]), ((1172, '0'), fromList [1173]),
                       ((1172, '1'), fromList [408]), ((1173, '0'), fromList [1174]),
                       ((1173, '1'), fromList [407]), ((1174, '0'), fromList [1178]),
                       ((1174, '1'), fromList [404]), ((1175, '0'), fromList [741]),
                       ((1175, '1'), fromList [1181]), ((1176, '0'), fromList [23]),
                       ((1176, '1'), fromList [1181]), ((1177, '0'), fromList [81]),
                       ((1177, '1'), fromList [1181]), ((1178, '0'), fromList [414]),
                       ((1178, '1'), fromList [1514]), ((1179, '0'), fromList [1287]),
                       ((1179, '1'), fromList [1515]), ((1180, '0'), fromList [1287]),
                       ((1180, '1'), fromList [1181]), ((1181, '0'), fromList [1181]),
                       ((1181, '1'), fromList [1181]), ((1182, '0'), fromList [1294]),
                       ((1182, '1'), fromList [1183]), ((1183, '0'), fromList [833]),
                       ((1183, '1'), fromList [1184]), ((1184, '0'), fromList [1185]),
                       ((1184, '1'), fromList [961]), ((1185, '0'), fromList [1186]),
                       ((1185, '1'), fromList [937]), ((1186, '0'), fromList [1187]),
                       ((1186, '1'), fromList [927]), ((1187, '0'), fromList [1232]),
                       ((1187, '1'), fromList [1019]), ((1188, '0'), fromList [337]),
                       ((1188, '1'), fromList [698]), ((1189, '0'), fromList [818]),
                       ((1189, '1'), fromList [1201]), ((1190, '0'), fromList [1193]),
                       ((1190, '1'), fromList [1190]), ((1191, '0'), fromList [1192]),
                       ((1191, '1'), fromList [1190]), ((1192, '0'), fromList [1194]),
                       ((1192, '1'), fromList [1191]), ((1193, '0'), fromList [1195]),
                       ((1193, '1'), fromList [1191]), ((1194, '0'), fromList [1213]),
                       ((1194, '1'), fromList [783]), ((1195, '0'), fromList [1212]),
                       ((1195, '1'), fromList [783]), ((1196, '0'), fromList [782]),
                       ((1196, '1'), fromList [1191]), ((1197, '0'), fromList [1218]),
                       ((1197, '1'), fromList [1190]), ((1198, '0'), fromList [1196]),
                       ((1198, '1'), fromList [1190]), ((1199, '0'), fromList [1194]),
                       ((1199, '1'), fromList [1203]), ((1200, '0'), fromList [1194]),
                       ((1200, '1'), fromList [1204]), ((1201, '0'), fromList [1199]),
                       ((1201, '1'), fromList [1209]), ((1202, '0'), fromList [1192]),
                       ((1202, '1'), fromList [792]), ((1203, '0'), fromList [1210]),
                       ((1203, '1'), fromList [1197]), ((1204, '0'), fromList [1192]),
                       ((1204, '1'), fromList [1197]), ((1205, '0'), fromList [1510]),
                       ((1205, '1'), fromList [1204]), ((1206, '0'), fromList [1188]),
                       ((1206, '1'), fromList [802]), ((1207, '0'), fromList [1211]),
                       ((1207, '1'), fromList [1191]), ((1208, '0'), fromList [1206]),
                       ((1208, '1'), fromList [442]), ((1209, '0'), fromList [1207]),
                       ((1209, '1'), fromList [1190]), ((1210, '0'), fromList [1194]),
                       ((1210, '1'), fromList [1181]), ((1211, '0'), fromList [798]),
                       ((1211, '1'), fromList [783]), ((1212, '0'), fromList [777]),
                       ((1212, '1'), fromList [1201]), ((1213, '0'), fromList [776]),
                       ((1213, '1'), fromList [784]), ((1214, '0'), fromList [1225]),
                       ((1214, '1'), fromList [791]), ((1215, '0'), fromList [1210]),
                       ((1215, '1'), fromList [791]), ((1216, '0'), fromList [1210]),
                       ((1216, '1'), fromList [1197]), ((1217, '0'), fromList [1205]),
                       ((1217, '1'), fromList [1227]), ((1218, '0'), fromList [1219]),
                       ((1218, '1'), fromList [1191]), ((1219, '0'), fromList [1220]),
                       ((1219, '1'), fromList [783]), ((1220, '0'), fromList [777]),
                       ((1220, '1'), fromList [1221]), ((1221, '0'), fromList [1199]),
                       ((1221, '1'), fromList [1222]), ((1222, '0'), fromList [1223]),
                       ((1222, '1'), fromList [1190]), ((1223, '0'), fromList [1230]),
                       ((1223, '1'), fromList [1191]), ((1224, '0'), fromList [1194]),
                       ((1224, '1'), fromList [1216]), ((1225, '0'), fromList [1194]),
                       ((1225, '1'), fromList [1202]), ((1226, '0'), fromList [1224]),
                       ((1226, '1'), fromList [1227]), ((1227, '0'), fromList [1228]),
                       ((1227, '1'), fromList [1190]), ((1228, '0'), fromList [1229]),
                       ((1228, '1'), fromList [1191]), ((1229, '0'), fromList [1212]),
                       ((1229, '1'), fromList [783]), ((1230, '0'), fromList [797]),
                       ((1230, '1'), fromList [1217]), ((1231, '0'), fromList [1189]),
                       ((1231, '1'), fromList [1217]), ((1232, '0'), fromList [944]),
                       ((1232, '1'), fromList [905]), ((1233, '0'), fromList [779]),
                       ((1233, '1'), fromList [906]), ((1234, '0'), fromList [1347]),
                       ((1234, '1'), fromList [69]), ((1235, '0'), fromList [1238]),
                       ((1235, '1'), fromList [1239]), ((1236, '0'), fromList [1237]),
                       ((1236, '1'), fromList [1239]), ((1237, '0'), fromList [1323]),
                       ((1237, '1'), fromList [1240]), ((1238, '0'), fromList [1518]),
                       ((1238, '1'), fromList [1240]), ((1239, '0'), fromList [1242]),
                       ((1239, '1'), fromList [1239]), ((1240, '0'), fromList [1241]),
                       ((1240, '1'), fromList [1239]), ((1241, '0'), fromList [1244]),
                       ((1241, '1'), fromList [1240]), ((1242, '0'), fromList [1243]),
                       ((1242, '1'), fromList [1240]), ((1243, '0'), fromList [1267]),
                       ((1243, '1'), fromList [1246]), ((1244, '0'), fromList [1330]),
                       ((1244, '1'), fromList [1246]), ((1245, '0'), fromList [566]),
                       ((1245, '1'), fromList [1157]), ((1246, '0'), fromList [1262]),
                       ((1246, '1'), fromList [1239]), ((1247, '0'), fromList [637]),
                       ((1247, '1'), fromList [502]), ((1248, '0'), fromList [1330]),
                       ((1248, '1'), fromList [1246]), ((1249, '0'), fromList [1343]),
                       ((1249, '1'), fromList [658]), ((1250, '0'), fromList [1342]),
                       ((1250, '1'), fromList [1235]), ((1251, '0'), fromList [634]),
                       ((1251, '1'), fromList [1181]), ((1252, '0'), fromList [1255]),
                       ((1252, '1'), fromList [1181]), ((1253, '0'), fromList [636]),
                       ((1253, '1'), fromList [1249]), ((1254, '0'), fromList [1256]),
                       ((1254, '1'), fromList [1250]), ((1255, '0'), fromList [1256]),
                       ((1255, '1'), fromList [1181]), ((1256, '0'), fromList [1256]),
                       ((1256, '1'), fromList [1240]), ((1257, '0'), fromList [1340]),
                       ((1257, '1'), fromList [1239]), ((1258, '0'), fromList [1344]),
                       ((1258, '1'), fromList [502]), ((1259, '0'), fromList [1241]),
                       ((1259, '1'), fromList [1236]), ((1260, '0'), fromList [1346]),
                       ((1260, '1'), fromList [576]), ((1261, '0'), fromList [660]),
                       ((1261, '1'), fromList [1247]), ((1262, '0'), fromList [1322]),
                       ((1262, '1'), fromList [1240]), ((1263, '0'), fromList [1266]),
                       ((1263, '1'), fromList [1239]), ((1264, '0'), fromList [15]),
                       ((1264, '1'), fromList [1114]), ((1265, '0'), fromList [1115]),
                       ((1265, '1'), fromList [432]), ((1266, '0'), fromList [1248]),
                       ((1266, '1'), fromList [1240]), ((1267, '0'), fromList [1318]),
                       ((1267, '1'), fromList [1351]), ((1268, '0'), fromList [1318]),
                       ((1268, '1'), fromList [1181]), ((1269, '0'), fromList [1298]),
                       ((1269, '1'), fromList [1272]), ((1270, '0'), fromList [1298]),
                       ((1270, '1'), fromList [1271]), ((1271, '0'), fromList [1293]),
                       ((1271, '1'), fromList [1274]), ((1272, '0'), fromList [1293]),
                       ((1272, '1'), fromList [1273]), ((1273, '0'), fromList [1276]),
                       ((1273, '1'), fromList [1291]), ((1274, '0'), fromList [1275]),
                       ((1274, '1'), fromList [1291]), ((1275, '0'), fromList [1301]),
                       ((1275, '1'), fromList [1290]), ((1276, '0'), fromList [1300]),
                       ((1276, '1'), fromList [1290]), ((1277, '0'), fromList [1296]),
                       ((1277, '1'), fromList [1291]), ((1278, '0'), fromList [1309]),
                       ((1278, '1'), fromList [1274]), ((1279, '0'), fromList [1309]),
                       ((1279, '1'), fromList [1310]), ((1280, '0'), fromList [1270]),
                       ((1280, '1'), fromList [1291]), ((1281, '0'), fromList [1284]),
                       ((1281, '1'), fromList [1291]), ((1282, '0'), fromList [1269]),
                       ((1282, '1'), fromList [1161]), ((1283, '0'), fromList [1284]),
                       ((1283, '1'), fromList [1277]), ((1284, '0'), fromList [1298]),
                       ((1284, '1'), fromList [1278]), ((1285, '0'), fromList [1287]),
                       ((1285, '1'), fromList [1279]), ((1286, '0'), fromList [1287]),
                       ((1286, '1'), fromList [1316]), ((1287, '0'), fromList [1287]),
                       ((1287, '1'), fromList [1280]), ((1288, '0'), fromList [1289]),
                       ((1288, '1'), fromList [1280]), ((1289, '0'), fromList [1304]),
                       ((1289, '1'), fromList [1281]), ((1290, '0'), fromList [1293]),
                       ((1290, '1'), fromList [1291]), ((1291, '0'), fromList [1292]),
                       ((1291, '1'), fromList [1291]), ((1292, '0'), fromList [1299]),
                       ((1292, '1'), fromList [1290]), ((1293, '0'), fromList [1298]),
                       ((1293, '1'), fromList [1290]), ((1294, '0'), fromList [1295]),
                       ((1294, '1'), fromList [694]), ((1295, '0'), fromList [341]),
                       ((1295, '1'), fromList [1307]), ((1296, '0'), fromList [1305]),
                       ((1296, '1'), fromList [1290]), ((1297, '0'), fromList [1180]),
                       ((1297, '1'), fromList [1181]), ((1298, '0'), fromList [1303]),
                       ((1298, '1'), fromList [1280]), ((1299, '0'), fromList [1302]),
                       ((1299, '1'), fromList [1280]), ((1300, '0'), fromList [1308]),
                       ((1300, '1'), fromList [1320]), ((1301, '0'), fromList [1302]),
                       ((1301, '1'), fromList [1320]), ((1302, '0'), fromList [1285]),
                       ((1302, '1'), fromList [1283]), ((1303, '0'), fromList [1286]),
                       ((1303, '1'), fromList [1281]), ((1304, '0'), fromList [1287]),
                       ((1304, '1'), fromList [1282]), ((1305, '0'), fromList [1297]),
                       ((1305, '1'), fromList [1280]), ((1306, '0'), fromList [1312]),
                       ((1306, '1'), fromList [432]), ((1307, '0'), fromList [1313]),
                       ((1307, '1'), fromList [1160]), ((1308, '0'), fromList [1285]),
                       ((1308, '1'), fromList [1181]), ((1309, '0'), fromList [1298]),
                       ((1309, '1'), fromList [1181]), ((1310, '0'), fromList [1311]),
                       ((1310, '1'), fromList [1291]), ((1311, '0'), fromList [1315]),
                       ((1311, '1'), fromList [1290]), ((1312, '0'), fromList [348]),
                       ((1312, '1'), fromList [399]), ((1313, '0'), fromList [1288]),
                       ((1313, '1'), fromList [1171]), ((1314, '0'), fromList [1303]),
                       ((1314, '1'), fromList [1280]), ((1315, '0'), fromList [1166]),
                       ((1315, '1'), fromList [1320]), ((1316, '0'), fromList [1269]),
                       ((1316, '1'), fromList [1310]), ((1317, '0'), fromList [1319]),
                       ((1317, '1'), fromList [1181]), ((1318, '0'), fromList [1256]),
                       ((1318, '1'), fromList [1331]), ((1319, '0'), fromList [636]),
                       ((1319, '1'), fromList [1332]), ((1320, '0'), fromList [1321]),
                       ((1320, '1'), fromList [1291]), ((1321, '0'), fromList [1314]),
                       ((1321, '1'), fromList [1271]), ((1322, '0'), fromList [1329]),
                       ((1322, '1'), fromList [1246]), ((1323, '0'), fromList [1268]),
                       ((1323, '1'), fromList [1246]), ((1324, '0'), fromList [355]),
                       ((1324, '1'), fromList [1520]), ((1325, '0'), fromList [85]),
                       ((1325, '1'), fromList [1156]), ((1326, '0'), fromList [53]),
                       ((1326, '1'), fromList [33]), ((1327, '0'), fromList [420]),
                       ((1327, '1'), fromList [362]), ((1328, '0'), fromList [1327]),
                       ((1328, '1'), fromList [304]), ((1329, '0'), fromList [1254]),
                       ((1329, '1'), fromList [1527]), ((1330, '0'), fromList [1254]),
                       ((1330, '1'), fromList [1257]), ((1331, '0'), fromList [1338]),
                       ((1331, '1'), fromList [1235]), ((1332, '0'), fromList [1339]),
                       ((1332, '1'), fromList [658]), ((1333, '0'), fromList [1338]),
                       ((1333, '1'), fromList [1239]), ((1334, '0'), fromList [1339]),
                       ((1334, '1'), fromList [575]), ((1335, '0'), fromList [1253]),
                       ((1335, '1'), fromList [1336]), ((1336, '0'), fromList [1341]),
                       ((1336, '1'), fromList [575]), ((1337, '0'), fromList [1341]),
                       ((1337, '1'), fromList [501]), ((1338, '0'), fromList [1244]),
                       ((1338, '1'), fromList [1181]), ((1339, '0'), fromList [1345]),
                       ((1339, '1'), fromList [1181]), ((1340, '0'), fromList [1244]),
                       ((1340, '1'), fromList [1333]), ((1341, '0'), fromList [1345]),
                       ((1341, '1'), fromList [1334]), ((1342, '0'), fromList [1244]),
                       ((1342, '1'), fromList [1259]), ((1343, '0'), fromList [1345]),
                       ((1343, '1'), fromList [1258]), ((1344, '0'), fromList [1345]),
                       ((1344, '1'), fromList [576]), ((1345, '0'), fromList [1335]),
                       ((1345, '1'), fromList [576]), ((1346, '0'), fromList [1350]),
                       ((1346, '1'), fromList [576]), ((1347, '0'), fromList [1132]),
                       ((1347, '1'), fromList [1263]), ((1348, '0'), fromList [1255]),
                       ((1348, '1'), fromList [1351]), ((1349, '0'), fromList [634]),
                       ((1349, '1'), fromList [1337]), ((1350, '0'), fromList [1319]),
                       ((1350, '1'), fromList [1337]), ((1351, '0'), fromList [1340]),
                       ((1351, '1'), fromList [1352]), ((1352, '0'), fromList [1353]),
                       ((1352, '1'), fromList [1239]), ((1353, '0'), fromList [1513]),
                       ((1353, '1'), fromList [1240]), ((1354, '0'), fromList [777]),
                       ((1354, '1'), fromList [1449]), ((1355, '0'), fromList [1421]),
                       ((1355, '1'), fromList [1441]), ((1356, '0'), fromList [1420]),
                       ((1356, '1'), fromList [1441]), ((1357, '0'), fromList [1402]),
                       ((1357, '1'), fromList [1360]), ((1358, '0'), fromList [1402]),
                       ((1358, '1'), fromList [1359]), ((1359, '0'), fromList [1361]),
                       ((1359, '1'), fromList [1394]), ((1360, '0'), fromList [1362]),
                       ((1360, '1'), fromList [1394]), ((1361, '0'), fromList [1407]),
                       ((1361, '1'), fromList [1181]), ((1362, '0'), fromList [1407]),
                       ((1362, '1'), fromList [1383]), ((1363, '0'), fromList [1365]),
                       ((1363, '1'), fromList [1181]), ((1364, '0'), fromList [1370]),
                       ((1364, '1'), fromList [1181]), ((1365, '0'), fromList [1483]),
                       ((1365, '1'), fromList [1181]), ((1366, '0'), fromList [1368]),
                       ((1366, '1'), fromList [1367]), ((1367, '0'), fromList [1369]),
                       ((1367, '1'), fromList [1367]), ((1368, '0'), fromList [1370]),
                       ((1368, '1'), fromList [1366]), ((1369, '0'), fromList [1371]),
                       ((1369, '1'), fromList [1366]), ((1370, '0'), fromList [1372]),
                       ((1370, '1'), fromList [1489]), ((1371, '0'), fromList [1373]),
                       ((1371, '1'), fromList [1489]), ((1372, '0'), fromList [1499]),
                       ((1372, '1'), fromList [1495]), ((1373, '0'), fromList [1503]),
                       ((1373, '1'), fromList [1496]), ((1374, '0'), fromList [1503]),
                       ((1374, '1'), fromList [1181]), ((1375, '0'), fromList [1378]),
                       ((1375, '1'), fromList [1376]), ((1376, '0'), fromList [1377]),
                       ((1376, '1'), fromList [1376]), ((1377, '0'), fromList [1408]),
                       ((1377, '1'), fromList [1386]), ((1378, '0'), fromList [1422]),
                       ((1378, '1'), fromList [1386]), ((1379, '0'), fromList [1389]),
                       ((1379, '1'), fromList [115]), ((1380, '0'), fromList [1390]),
                       ((1380, '1'), fromList [1375]), ((1381, '0'), fromList [1382]),
                       ((1381, '1'), fromList [1376]), ((1382, '0'), fromList [1470]),
                       ((1382, '1'), fromList [1386]), ((1383, '0'), fromList [1393]),
                       ((1383, '1'), fromList [1381]), ((1384, '0'), fromList [1392]),
                       ((1384, '1'), fromList [1375]), ((1385, '0'), fromList [1393]),
                       ((1385, '1'), fromList [1375]), ((1386, '0'), fromList [1393]),
                       ((1386, '1'), fromList [1376]), ((1387, '0'), fromList [1361]),
                       ((1387, '1'), fromList [1376]), ((1388, '0'), fromList [1361]),
                       ((1388, '1'), fromList [1376]), ((1389, '0'), fromList [233]),
                       ((1389, '1'), fromList [230]), ((1390, '0'), fromList [1407]),
                       ((1390, '1'), fromList [1388]), ((1391, '0'), fromList [233]),
                       ((1391, '1'), fromList [217]), ((1392, '0'), fromList [1407]),
                       ((1392, '1'), fromList [1387]), ((1393, '0'), fromList [1407]),
                       ((1393, '1'), fromList [1386]), ((1394, '0'), fromList [1395]),
                       ((1394, '1'), fromList [1376]), ((1395, '0'), fromList [1427]),
                       ((1395, '1'), fromList [1386]), ((1396, '0'), fromList [1399]),
                       ((1396, '1'), fromList [1441]), ((1397, '0'), fromList [1398]),
                       ((1397, '1'), fromList [1441]), ((1398, '0'), fromList [1522]),
                       ((1398, '1'), fromList [1442]), ((1399, '0'), fromList [1525]),
                       ((1399, '1'), fromList [1442]), ((1400, '0'), fromList [1403]),
                       ((1400, '1'), fromList [1181]), ((1401, '0'), fromList [1402]),
                       ((1401, '1'), fromList [1181]), ((1402, '0'), fromList [1402]),
                       ((1402, '1'), fromList [1385]), ((1403, '0'), fromList [1406]),
                       ((1403, '1'), fromList [1385]), ((1404, '0'), fromList [1476]),
                       ((1404, '1'), fromList [1181]), ((1405, '0'), fromList [1358]),
                       ((1405, '1'), fromList [1181]), ((1406, '0'), fromList [1357]),
                       ((1406, '1'), fromList [1384]), ((1407, '0'), fromList [1410]),
                       ((1407, '1'), fromList [1416]), ((1408, '0'), fromList [1409]),
                       ((1408, '1'), fromList [1416]), ((1409, '0'), fromList [1358]),
                       ((1409, '1'), fromList [1411]), ((1410, '0'), fromList [1357]),
                       ((1410, '1'), fromList [1384]), ((1411, '0'), fromList [1392]),
                       ((1411, '1'), fromList [1412]), ((1412, '0'), fromList [1413]),
                       ((1412, '1'), fromList [1376]), ((1413, '0'), fromList [1469]),
                       ((1413, '1'), fromList [1386]), ((1414, '0'), fromList [1415]),
                       ((1414, '1'), fromList [1376]), ((1415, '0'), fromList [1471]),
                       ((1415, '1'), fromList [1386]), ((1416, '0'), fromList [1419]),
                       ((1416, '1'), fromList [1375]), ((1417, '0'), fromList [231]),
                       ((1417, '1'), fromList [162]), ((1418, '0'), fromList [1392]),
                       ((1418, '1'), fromList [1414]), ((1419, '0'), fromList [1468]),
                       ((1419, '1'), fromList [1386]), ((1420, '0'), fromList [1446]),
                       ((1420, '1'), fromList [1442]), ((1421, '0'), fromList [1511]),
                       ((1421, '1'), fromList [1442]), ((1422, '0'), fromList [1477]),
                       ((1422, '1'), fromList [1416]), ((1423, '0'), fromList [1524]),
                       ((1423, '1'), fromList [19]), ((1424, '0'), fromList [6]),
                       ((1424, '1'), fromList [31]), ((1425, '0'), fromList [7]),
                       ((1425, '1'), fromList [41]), ((1426, '0'), fromList [1476]),
                       ((1426, '1'), fromList [184]), ((1427, '0'), fromList [1474]),
                       ((1427, '1'), fromList [1416]), ((1428, '0'), fromList [1431]),
                       ((1428, '1'), fromList [1458]), ((1429, '0'), fromList [1430]),
                       ((1429, '1'), fromList [1458]), ((1430, '0'), fromList [1435]),
                       ((1430, '1'), fromList [1451]), ((1431, '0'), fromList [1464]),
                       ((1431, '1'), fromList [1451]), ((1432, '0'), fromList [1435]),
                       ((1432, '1'), fromList [1181]), ((1433, '0'), fromList [1434]),
                       ((1433, '1'), fromList [1181]), ((1434, '0'), fromList [1434]),
                       ((1434, '1'), fromList [1429]), ((1435, '0'), fromList [1436]),
                       ((1435, '1'), fromList [1429]), ((1436, '0'), fromList [1437]),
                       ((1436, '1'), fromList [1440]), ((1437, '0'), fromList [1434]),
                       ((1437, '1'), fromList [1478]), ((1438, '0'), fromList [1439]),
                       ((1438, '1'), fromList [1181]), ((1439, '0'), fromList [1434]),
                       ((1439, '1'), fromList [1504]), ((1440, '0'), fromList [1500]),
                       ((1440, '1'), fromList [1458]), ((1441, '0'), fromList [1444]),
                       ((1441, '1'), fromList [1441]), ((1442, '0'), fromList [1443]),
                       ((1442, '1'), fromList [1441]), ((1443, '0'), fromList [1435]),
                       ((1443, '1'), fromList [1442]), ((1444, '0'), fromList [1445]),
                       ((1444, '1'), fromList [1442]), ((1445, '0'), fromList [1448]),
                       ((1445, '1'), fromList [1429]), ((1446, '0'), fromList [1438]),
                       ((1446, '1'), fromList [1429]), ((1447, '0'), fromList [1433]),
                       ((1447, '1'), fromList [1457]), ((1448, '0'), fromList [1439]),
                       ((1448, '1'), fromList [1457]), ((1449, '0'), fromList [1500]),
                       ((1449, '1'), fromList [1355]), ((1450, '0'), fromList [1443]),
                       ((1450, '1'), fromList [1356]), ((1451, '0'), fromList [1443]),
                       ((1451, '1'), fromList [1452]), ((1452, '0'), fromList [1453]),
                       ((1452, '1'), fromList [1441]), ((1453, '0'), fromList [1454]),
                       ((1453, '1'), fromList [1442]), ((1454, '0'), fromList [1455]),
                       ((1454, '1'), fromList [1429]), ((1455, '0'), fromList [1439]),
                       ((1455, '1'), fromList [1479]), ((1456, '0'), fromList [1502]),
                       ((1456, '1'), fromList [1458]), ((1457, '0'), fromList [1500]),
                       ((1457, '1'), fromList [1355]), ((1458, '0'), fromList [1459]),
                       ((1458, '1'), fromList [1441]), ((1459, '0'), fromList [1521]),
                       ((1459, '1'), fromList [1442]), ((1460, '0'), fromList [1433]),
                       ((1460, '1'), fromList [1181]), ((1461, '0'), fromList [458]),
                       ((1461, '1'), fromList [273]), ((1462, '0'), fromList [1433]),
                       ((1462, '1'), fromList [1181]), ((1463, '0'), fromList [1435]),
                       ((1463, '1'), fromList [1450]), ((1464, '0'), fromList [1466]),
                       ((1464, '1'), fromList [1429]), ((1465, '0'), fromList [755]),
                       ((1465, '1'), fromList [1072]), ((1466, '0'), fromList [1437]),
                       ((1466, '1'), fromList [1456]), ((1467, '0'), fromList [271]),
                       ((1467, '1'), fromList [1472]), ((1468, '0'), fromList [1475]),
                       ((1468, '1'), fromList [1416]), ((1469, '0'), fromList [1473]),
                       ((1469, '1'), fromList [1416]), ((1470, '0'), fromList [1405]),
                       ((1470, '1'), fromList [1416]), ((1471, '0'), fromList [1473]),
                       ((1471, '1'), fromList [1416]), ((1472, '0'), fromList [1400]),
                       ((1472, '1'), fromList [1394]), ((1473, '0'), fromList [1401]),
                       ((1473, '1'), fromList [1181]), ((1474, '0'), fromList [1401]),
                       ((1474, '1'), fromList [1418]), ((1475, '0'), fromList [1357]),
                       ((1475, '1'), fromList [1380]), ((1476, '0'), fromList [144]),
                       ((1476, '1'), fromList [229]), ((1477, '0'), fromList [1358]),
                       ((1477, '1'), fromList [1418]), ((1478, '0'), fromList [1463]),
                       ((1478, '1'), fromList [1396]), ((1479, '0'), fromList [1500]),
                       ((1479, '1'), fromList [1397]), ((1480, '0'), fromList [1365]),
                       ((1480, '1'), fromList [1496]), ((1481, '0'), fromList [1374]),
                       ((1481, '1'), fromList [1489]), ((1482, '0'), fromList [1370]),
                       ((1482, '1'), fromList [1488]), ((1483, '0'), fromList [1483]),
                       ((1483, '1'), fromList [1489]), ((1484, '0'), fromList [1432]),
                       ((1484, '1'), fromList [1452]), ((1485, '0'), fromList [1364]),
                       ((1485, '1'), fromList [1491]), ((1486, '0'), fromList [1432]),
                       ((1486, '1'), fromList [1452]), ((1487, '0'), fromList [1364]),
                       ((1487, '1'), fromList [1367]), ((1488, '0'), fromList [1368]),
                       ((1488, '1'), fromList [1490]), ((1489, '0'), fromList [1368]),
                       ((1489, '1'), fromList [1367]), ((1490, '0'), fromList [1494]),
                       ((1490, '1'), fromList [1367]), ((1491, '0'), fromList [1492]),
                       ((1491, '1'), fromList [1367]), ((1492, '0'), fromList [1493]),
                       ((1492, '1'), fromList [1366]), ((1493, '0'), fromList [1480]),
                       ((1493, '1'), fromList [1489]), ((1494, '0'), fromList [1481]),
                       ((1494, '1'), fromList [1366]), ((1495, '0'), fromList [1501]),
                       ((1495, '1'), fromList [1367]), ((1496, '0'), fromList [1501]),
                       ((1496, '1'), fromList [1497]), ((1497, '0'), fromList [1498]),
                       ((1497, '1'), fromList [1367]), ((1498, '0'), fromList [1507]),
                       ((1498, '1'), fromList [1366]), ((1499, '0'), fromList [1483]),
                       ((1499, '1'), fromList [1505]), ((1500, '0'), fromList [1435]),
                       ((1500, '1'), fromList [1486]), ((1501, '0'), fromList [1370]),
                       ((1501, '1'), fromList [1487]), ((1502, '0'), fromList [1435]),
                       ((1502, '1'), fromList [1484]), ((1503, '0'), fromList [1483]),
                       ((1503, '1'), fromList [1485]), ((1504, '0'), fromList [1432]),
                       ((1504, '1'), fromList [1396]), ((1505, '0'), fromList [1482]),
                       ((1505, '1'), fromList [1491]), ((1506, '0'), fromList [720]),
                       ((1506, '1'), fromList [1366]), ((1507, '0'), fromList [1363]),
                       ((1507, '1'), fromList [1489]), ((1508, '0'), fromList [1461]),
                       ((1508, '1'), fromList [442]), ((1509, '0'), fromList [780]),
                       ((1509, '1'), fromList [783]), ((1510, '0'), fromList [790]),
                       ((1510, '1'), fromList [783]), ((1511, '0'), fromList [1460]),
                       ((1511, '1'), fromList [1429]), ((1512, '0'), fromList [638]),
                       ((1512, '1'), fromList [1334]), ((1513, '0'), fromList [1252]),
                       ((1513, '1'), fromList [1246]), ((1514, '0'), fromList [1512]),
                       ((1514, '1'), fromList [501]), ((1515, '0'), fromList [635]),
                       ((1515, '1'), fromList [658]), ((1516, '0'), fromList [1317]),
                       ((1516, '1'), fromList [576]), ((1517, '0'), fromList [1251]),
                       ((1517, '1'), fromList [576]), ((1518, '0'), fromList [1348]),
                       ((1518, '1'), fromList [1246]), ((1519, '0'), fromList [1349]),
                       ((1519, '1'), fromList [576]), ((1520, '0'), fromList [393]),
                       ((1520, '1'), fromList [304]), ((1521, '0'), fromList [1448]),
                       ((1521, '1'), fromList [1429]), ((1522, '0'), fromList [1462]),
                       ((1522, '1'), fromList [1428]), ((1523, '0'), fromList [195]),
                       ((1523, '1'), fromList [1417]), ((1524, '0'), fromList [23]),
                       ((1524, '1'), fromList [9]), ((1525, '0'), fromList [1447]),
                       ((1525, '1'), fromList [1428]), ((1526, '0'), fromList [243]),
                       ((1526, '1'), fromList [907]), ((1527, '0'), fromList [1340]),
                       ((1527, '1'), fromList [1239])],
     eps = fromList []}
,NFA {from = 0, to = 0, alphabet = fromList "01",
     start = fromList [0], final = fromList [],
     trans = fromList [((0, '0'), fromList [0]),
                       ((0, '1'), fromList [0])],
     eps = fromList []}