The key to map1 is 11443513758266689915.

decrypt.py

#!/usr/bin/python2

from hashlib import sha512
import sys

def verify(x, chalbox):
    length, gates, check = chalbox
    b = [(x >> i) & 1 for i in range(length)]
    for name, args in gates:
        if name == 'true':
            b.append(1)
        else:
            u1 = b[args[0][0]] ^ args[0][1]
            u2 = b[args[1][0]] ^ args[1][1]
            if name == 'or':
                b.append(u1 | u2)
            elif name == 'xor':
                b.append(u1 ^ u2)
    return b[check[0]] ^ check[1]
    
def dec(x, w):
    z = int(sha512(str(int(x))).hexdigest(), 16)
    return '{:x}'.format(w ^ z).decode('hex')

if __name__ == '__main__':
    if len(sys.argv) < 3:
        print 'Usage: ' + sys.argv[0] + ' <key> <map.txt>'
        print 'Example: Try Running ' + sys.argv[0] + ' 11443513758266689915 map1.txt'
        exit(1)
    with open(sys.argv[2], 'r') as f:
        cipher, chalbox = eval(f.read())
    
    key = int(sys.argv[1]) % (1 << chalbox[0])
    print 'Attempting to decrypt ' + sys.argv[2] + '...'
    if verify(key, chalbox):
        print 'Congrats the flag for ' + sys.argv[2] + ' is:', dec(key, cipher)
    else:
        print 'Wrong key for ' + sys.argv[2] + '.'

map1.txt

(1091562780682878452932647567206562803258945860781462102555439111325671293639822353361220777655154004326830877696329866178864341430343894025596404608627826L, (64, [('true', []), ('xor', [(0, False), (64, False)]), ('xor', [(65, False), (64, True)]), ('or', [(64, True), (64, False)]), ('or', [(0, True), (64, False)]), ('or', [(67, True), (68, True)]), ('or', [(0, True), (64, True)]), ('or', [(69, False), (70, True)]), ('xor', [(1, False), (64, False)]), ('xor', [(72, False), (71, False)]), ('or', [(64, True), (71, True)]), ('or', [(1, True), (71, True)]), ('or', [(74, True), (75, True)]), ('or', [(1, True), (64, True)]), ('or', [(76, False), (77, True)]), ('xor', [(2, False), (64, False)]), ('xor', [(79, False), (78, False)]), ('or', [(64, True), (78, True)]), ('or', [(2, True), (78, True)]), ('or', [(81, True), (82, True)]), ('or', [(2, True), (64, True)]), ('or', [(83, False), (84, True)]), ('xor', [(3, False), (64, True)]), ('xor', [(86, False), (85, False)]), ('or', [(64, False), (85, True)]), ('or', [(3, True), (85, True)]), ('or', [(88, True), (89, True)]), ('or', [(3, True), (64, False)]), ('or', [(90, False), (91, True)]), ('xor', [(4, False), (64, False)]), ('xor', [(93, False), (92, False)]), ('or', [(64, True), (92, True)]), ('or', [(4, True), (92, True)]), ('or', [(95, True), (96, True)]), ('or', [(4, True), (64, True)]), ('or', [(97, False), (98, True)]), ('xor', [(5, False), (64, True)]), ('xor', [(100, False), (99, False)]), ('or', [(64, False), (99, True)]), ('or', [(5, True), (99, True)]), ('or', [(102, True), (103, True)]), ('or', [(5, True), (64, False)]), ('or', [(104, False), (105, True)]), ('xor', [(6, False), (64, False)]), ('xor', [(107, False), (106, False)]), ('or', [(64, True), (106, True)]), ('or', [(6, True), (106, True)]), ('or', [(109, True), (110, True)]), ('or', [(6, True), (64, True)]), ('or', [(111, False), (112, True)]), ('xor', [(7, False), (64, False)]), ('xor', [(114, False), (113, False)]), ('or', [(64, True), (113, True)]), ('or', [(7, True), (113, True)]), ('or', [(116, True), (117, True)]), ('or', [(7, True), (64, True)]), ('or', [(118, False), (119, True)]), ('xor', [(8, False), (64, False)]), ('xor', [(121, False), (120, False)]), ('or', [(64, True), (120, True)]), ('or', [(8, True), (120, True)]), ('or', [(123, True), (124, True)]), ('or', [(8, True), (64, True)]), ('or', [(125, False), (126, True)]), ('xor', [(9, False), (64, False)]), ('xor', [(128, False), (127, False)]), ('or', [(64, True), (127, True)]), ('or', [(9, True), (127, True)]), ('or', [(130, True), (131, True)]), ('or', [(9, True), (64, True)]), ('or', [(132, False), (133, True)]), ('xor', [(10, False), (64, False)]), ('xor', [(135, False), (134, False)]), ('or', [(64, True), (134, True)]), ('or', [(10, True), (134, True)]), ('or', [(137, True), (138, True)]), ('or', [(10, True), (64, True)]), ('or', [(139, False), (140, True)]), ('xor', [(11, False), (64, True)]), ('xor', [(142, False), (141, False)]), ('or', [(64, False), (141, True)]), ('or', [(11, True), (141, True)]), ('or', [(144, True), (145, True)]), ('or', [(11, True), (64, False)]), ('or', [(146, False), (147, True)]), ('xor', [(12, False), (64, True)]), ('xor', [(149, False), (148, False)]), ('or', [(64, False), (148, True)]), ('or', [(12, True), (148, True)]), ('or', [(151, True), (152, True)]), ('or', [(12, True), (64, False)]), ('or', [(153, False), (154, True)]), ('xor', [(13, False), (64, False)]), ('xor', [(156, False), (155, False)]), ('or', [(64, True), (155, True)]), ('or', [(13, True), (155, True)]), ('or', [(158, True), (159, True)]), ('or', [(13, True), (64, True)]), ('or', [(160, False), (161, True)]), ('xor', [(14, False), (64, True)]), ('xor', [(163, False), (162, False)]), ('or', [(64, False), (162, True)]), ('or', [(14, True), (162, True)]), ('or', [(165, True), (166, True)]), ('or', [(14, True), (64, False)]), ('or', [(167, False), (168, True)]), ('xor', [(15, False), (64, True)]), ('xor', [(170, False), (169, False)]), ('or', [(64, False), (169, True)]), ('or', [(15, True), (169, True)]), ('or', [(172, True), (173, True)]), ('or', [(15, True), (64, False)]), ('or', [(174, False), (175, True)]), ('xor', [(16, False), (64, True)]), ('xor', [(177, False), (176, False)]), ('or', [(64, False), (176, True)]), ('or', [(16, True), (176, True)]), ('or', [(179, True), (180, True)]), ('or', [(16, True), (64, False)]), ('or', [(181, False), (182, True)]), ('xor', [(17, False), (64, True)]), ('xor', [(184, False), (183, False)]), ('or', [(64, False), (183, True)]), ('or', [(17, True), (183, True)]), ('or', [(186, True), (187, True)]), ('or', [(17, True), (64, False)]), ('or', [(188, False), (189, True)]), ('xor', [(18, False), (64, True)]), ('xor', [(191, False), (190, False)]), ('or', [(64, False), (190, True)]), ('or', [(18, True), (190, True)]), ('or', [(193, True), (194, True)]), ('or', [(18, True), (64, False)]), ('or', [(195, False), (196, True)]), ('xor', [(19, False), (64, False)]), ('xor', [(198, False), (197, False)]), ('or', [(64, True), (197, True)]), ('or', [(19, True), (197, True)]), ('or', [(200, True), (201, True)]), ('or', [(19, True), (64, True)]), ('or', [(202, False), (203, True)]), ('xor', [(20, False), (64, True)]), ('xor', [(205, False), (204, False)]), ('or', [(64, False), (204, True)]), ('or', [(20, True), (204, True)]), ('or', [(207, True), (208, True)]), ('or', [(20, True), (64, False)]), ('or', [(209, False), (210, True)]), ('xor', [(21, False), (64, False)]), ('xor', [(212, False), (211, False)]), ('or', [(64, True), (211, True)]), ('or', [(21, True), (211, True)]), ('or', [(214, True), (215, True)]), ('or', [(21, True), (64, True)]), ('or', [(216, False), (217, True)]), ('xor', [(22, False), (64, True)]), ('xor', [(219, False), (218, False)]), ('or', [(64, False), (218, True)]), ('or', [(22, True), (218, True)]), ('or', [(221, True), (222, True)]), ('or', [(22, True), (64, False)]), ('or', [(223, False), (224, True)]), ('xor', [(23, False), (64, False)]), ('xor', [(226, False), (225, False)]), ('or', [(64, True), (225, True)]), ('or', [(23, True), (225, True)]), ('or', [(228, True), (229, True)]), ('or', [(23, True), (64, True)]), ('or', [(230, False), (231, True)]), ('xor', [(24, False), (64, True)]), ('xor', [(233, False), (232, False)]), ('or', [(64, False), (232, True)]), ('or', [(24, True), (232, True)]), ('or', [(235, True), (236, True)]), ('or', [(24, True), (64, False)]), ('or', [(237, False), (238, True)]), ('xor', [(25, False), (64, False)]), ('xor', [(240, False), (239, False)]), ('or', [(64, True), (239, True)]), ('or', [(25, True), (239, True)]), ('or', [(242, True), (243, True)]), ('or', [(25, True), (64, True)]), ('or', [(244, False), (245, True)]), ('xor', [(26, False), (64, True)]), ('xor', [(247, False), (246, False)]), ('or', [(64, False), (246, True)]), ('or', [(26, True), (246, True)]), ('or', [(249, True), (250, True)]), ('or', [(26, True), (64, False)]), ('or', [(251, False), (252, True)]), ('xor', [(27, False), (64, True)]), ('xor', [(254, False), (253, False)]), ('or', [(64, False), (253, True)]), ('or', [(27, True), (253, True)]), ('or', [(256, True), (257, True)]), ('or', [(27, True), (64, False)]), ('or', [(258, False), (259, True)]), ('xor', [(28, False), (64, False)]), ('xor', [(261, False), (260, False)]), ('or', [(64, True), (260, True)]), ('or', [(28, True), (260, True)]), ('or', [(263, True), (264, True)]), ('or', [(28, True), (64, True)]), ('or', [(265, False), (266, True)]), ('xor', [(29, False), (64, True)]), ('xor', [(268, False), (267, False)]), ('or', [(64, False), (267, True)]), ('or', [(29, True), (267, True)]), ('or', [(270, True), (271, True)]), ('or', [(29, True), (64, False)]), ('or', [(272, False), (273, True)]), ('xor', [(30, False), (64, False)]), ('xor', [(275, False), (274, False)]), ('or', [(64, True), (274, True)]), ('or', [(30, True), (274, True)]), ('or', [(277, True), (278, True)]), ('or', [(30, True), (64, True)]), ('or', [(279, False), (280, True)]), ('xor', [(31, False), (64, True)]), ('xor', [(282, False), (281, False)]), ('or', [(64, False), (281, True)]), ('or', [(31, True), (281, True)]), ('or', [(284, True), (285, True)]), ('or', [(31, True), (64, False)]), ('or', [(286, False), (287, True)]), ('xor', [(32, False), (64, True)]), ('xor', [(289, False), (288, False)]), ('or', [(64, False), (288, True)]), ('or', [(32, True), (288, True)]), ('or', [(291, True), (292, True)]), ('or', [(32, True), (64, False)]), ('or', [(293, False), (294, True)]), ('xor', [(33, False), (64, False)]), ('xor', [(296, False), (295, False)]), ('or', [(64, True), (295, True)]), ('or', [(33, True), (295, True)]), ('or', [(298, True), (299, True)]), ('or', [(33, True), (64, True)]), ('or', [(300, False), (301, True)]), ('xor', [(34, False), (64, False)]), ('xor', [(303, False), (302, False)]), ('or', [(64, True), (302, True)]), ('or', [(34, True), (302, True)]), ('or', [(305, True), (306, True)]), ('or', [(34, True), (64, True)]), ('or', [(307, False), (308, True)]), ('xor', [(35, False), (64, False)]), ('xor', [(310, False), (309, False)]), ('or', [(64, True), (309, True)]), ('or', [(35, True), (309, True)]), ('or', [(312, True), (313, True)]), ('or', [(35, True), (64, True)]), ('or', [(314, False), (315, True)]), ('xor', [(36, False), (64, False)]), ('xor', [(317, False), (316, False)]), ('or', [(64, True), (316, True)]), ('or', [(36, True), (316, True)]), ('or', [(319, True), (320, True)]), ('or', [(36, True), (64, True)]), ('or', [(321, False), (322, True)]), ('xor', [(37, False), (64, True)]), ('xor', [(324, False), (323, False)]), ('or', [(64, False), (323, True)]), ('or', [(37, True), (323, True)]), ('or', [(326, True), (327, True)]), ('or', [(37, True), (64, False)]), ('or', [(328, False), (329, True)]), ('xor', [(38, False), (64, True)]), ('xor', [(331, False), (330, False)]), ('or', [(64, False), (330, True)]), ('or', [(38, True), (330, True)]), ('or', [(333, True), (334, True)]), ('or', [(38, True), (64, False)]), ('or', [(335, False), (336, True)]), ('xor', [(39, False), (64, False)]), ('xor', [(338, False), (337, False)]), ('or', [(64, True), (337, True)]), ('or', [(39, True), (337, True)]), ('or', [(340, True), (341, True)]), ('or', [(39, True), (64, True)]), ('or', [(342, False), (343, True)]), ('xor', [(40, False), (64, True)]), ('xor', [(345, False), (344, False)]), ('or', [(64, False), (344, True)]), ('or', [(40, True), (344, True)]), ('or', [(347, True), (348, True)]), ('or', [(40, True), (64, False)]), ('or', [(349, False), (350, True)]), ('xor', [(41, False), (64, True)]), ('xor', [(352, False), (351, False)]), ('or', [(64, False), (351, True)]), ('or', [(41, True), (351, True)]), ('or', [(354, True), (355, True)]), ('or', [(41, True), (64, False)]), ('or', [(356, False), (357, True)]), ('xor', [(42, False), (64, False)]), ('xor', [(359, False), (358, False)]), ('or', [(64, True), (358, True)]), ('or', [(42, True), (358, True)]), ('or', [(361, True), (362, True)]), ('or', [(42, True), (64, True)]), ('or', [(363, False), (364, True)]), ('xor', [(43, False), (64, True)]), ('xor', [(366, False), (365, False)]), ('or', [(64, False), (365, True)]), ('or', [(43, True), (365, True)]), ('or', [(368, True), (369, True)]), ('or', [(43, True), (64, False)]), ('or', [(370, False), (371, True)]), ('xor', [(44, False), (64, True)]), ('xor', [(373, False), (372, False)]), ('or', [(64, False), (372, True)]), ('or', [(44, True), (372, True)]), ('or', [(375, True), (376, True)]), ('or', [(44, True), (64, False)]), ('or', [(377, False), (378, True)]), ('xor', [(45, False), (64, False)]), ('xor', [(380, False), (379, False)]), ('or', [(64, True), (379, True)]), ('or', [(45, True), (379, True)]), ('or', [(382, True), (383, True)]), ('or', [(45, True), (64, True)]), ('or', [(384, False), (385, True)]), ('xor', [(46, False), (64, False)]), ('xor', [(387, False), (386, False)]), ('or', [(64, True), (386, True)]), ('or', [(46, True), (386, True)]), ('or', [(389, True), (390, True)]), ('or', [(46, True), (64, True)]), ('or', [(391, False), (392, True)]), ('xor', [(47, False), (64, True)]), ('xor', [(394, False), (393, False)]), ('or', [(64, False), (393, True)]), ('or', [(47, True), (393, True)]), ('or', [(396, True), (397, True)]), ('or', [(47, True), (64, False)]), ('or', [(398, False), (399, True)]), ('xor', [(48, False), (64, True)]), ('xor', [(401, False), (400, False)]), ('or', [(64, False), (400, True)]), ('or', [(48, True), (400, True)]), ('or', [(403, True), (404, True)]), ('or', [(48, True), (64, False)]), ('or', [(405, False), (406, True)]), ('xor', [(49, False), (64, True)]), ('xor', [(408, False), (407, False)]), ('or', [(64, False), (407, True)]), ('or', [(49, True), (407, True)]), ('or', [(410, True), (411, True)]), ('or', [(49, True), (64, False)]), ('or', [(412, False), (413, True)]), ('xor', [(50, False), (64, True)]), ('xor', [(415, False), (414, False)]), ('or', [(64, False), (414, True)]), ('or', [(50, True), (414, True)]), ('or', [(417, True), (418, True)]), ('or', [(50, True), (64, False)]), ('or', [(419, False), (420, True)]), ('xor', [(51, False), (64, False)]), ('xor', [(422, False), (421, False)]), ('or', [(64, True), (421, True)]), ('or', [(51, True), (421, True)]), ('or', [(424, True), (425, True)]), ('or', [(51, True), (64, True)]), ('or', [(426, False), (427, True)]), ('xor', [(52, False), (64, True)]), ('xor', [(429, False), (428, False)]), ('or', [(64, False), (428, True)]), ('or', [(52, True), (428, True)]), ('or', [(431, True), (432, True)]), ('or', [(52, True), (64, False)]), ('or', [(433, False), (434, True)]), ('xor', [(53, False), (64, False)]), ('xor', [(436, False), (435, False)]), ('or', [(64, True), (435, True)]), ('or', [(53, True), (435, True)]), ('or', [(438, True), (439, True)]), ('or', [(53, True), (64, True)]), ('or', [(440, False), (441, True)]), ('xor', [(54, False), (64, False)]), ('xor', [(443, False), (442, False)]), ('or', [(64, True), (442, True)]), ('or', [(54, True), (442, True)]), ('or', [(445, True), (446, True)]), ('or', [(54, True), (64, True)]), ('or', [(447, False), (448, True)]), ('xor', [(55, False), (64, True)]), ('xor', [(450, False), (449, False)]), ('or', [(64, False), (449, True)]), ('or', [(55, True), (449, True)]), ('or', [(452, True), (453, True)]), ('or', [(55, True), (64, False)]), ('or', [(454, False), (455, True)]), ('xor', [(56, False), (64, True)]), ('xor', [(457, False), (456, False)]), ('or', [(64, False), (456, True)]), ('or', [(56, True), (456, True)]), ('or', [(459, True), (460, True)]), ('or', [(56, True), (64, False)]), ('or', [(461, False), (462, True)]), ('xor', [(57, False), (64, False)]), ('xor', [(464, False), (463, False)]), ('or', [(64, True), (463, True)]), ('or', [(57, True), (463, True)]), ('or', [(466, True), (467, True)]), ('or', [(57, True), (64, True)]), ('or', [(468, False), (469, True)]), ('xor', [(58, False), (64, True)]), ('xor', [(471, False), (470, False)]), ('or', [(64, False), (470, True)]), ('or', [(58, True), (470, True)]), ('or', [(473, True), (474, True)]), ('or', [(58, True), (64, False)]), ('or', [(475, False), (476, True)]), ('xor', [(59, False), (64, False)]), ('xor', [(478, False), (477, False)]), ('or', [(64, True), (477, True)]), ('or', [(59, True), (477, True)]), ('or', [(480, True), (481, True)]), ('or', [(59, True), (64, True)]), ('or', [(482, False), (483, True)]), ('xor', [(60, False), (64, True)]), ('xor', [(485, False), (484, False)]), ('or', [(64, False), (484, True)]), ('or', [(60, True), (484, True)]), ('or', [(487, True), (488, True)]), ('or', [(60, True), (64, False)]), ('or', [(489, False), (490, True)]), ('xor', [(61, False), (64, True)]), ('xor', [(492, False), (491, False)]), ('or', [(64, False), (491, True)]), ('or', [(61, True), (491, True)]), ('or', [(494, True), (495, True)]), ('or', [(61, True), (64, False)]), ('or', [(496, False), (497, True)]), ('xor', [(62, False), (64, True)]), ('xor', [(499, False), (498, False)]), ('or', [(64, False), (498, True)]), ('or', [(62, True), (498, True)]), ('or', [(501, True), (502, True)]), ('or', [(62, True), (64, False)]), ('or', [(503, False), (504, True)]), ('xor', [(63, False), (64, False)]), ('xor', [(506, False), (505, False)]), ('or', [(66, False), (73, True)]), ('or', [(80, False), (87, False)]), ('or', [(508, False), (509, False)]), ('or', [(94, True), (101, False)]), ('or', [(108, True), (115, False)]), ('or', [(511, False), (512, False)]), ('or', [(510, False), (513, False)]), ('or', [(122, True), (129, False)]), ('or', [(136, False), (143, False)]), ('or', [(515, False), (516, False)]), ('or', [(150, True), (157, True)]), ('or', [(164, False), (171, False)]), ('or', [(518, False), (519, False)]), ('or', [(517, False), (520, False)]), ('or', [(514, False), (521, False)]), ('or', [(178, False), (185, False)]), ('or', [(192, False), (199, False)]), ('or', [(523, False), (524, False)]), ('or', [(206, True), (213, True)]), ('or', [(220, True), (227, False)]), ('or', [(526, False), (527, False)]), ('or', [(525, False), (528, False)]), ('or', [(234, False), (241, True)]), ('or', [(248, False), (255, False)]), ('or', [(530, False), (531, False)]), ('or', [(262, True), (269, False)]), ('or', [(276, True), (283, False)]), ('or', [(533, False), (534, False)]), ('or', [(532, False), (535, False)]), ('or', [(529, False), (536, False)]), ('or', [(522, False), (537, False)]), ('or', [(290, False), (297, False)]), ('or', [(304, False), (311, False)]), ('or', [(539, False), (540, False)]), ('or', [(318, False), (325, False)]), ('or', [(332, True), (339, True)]), ('or', [(542, False), (543, False)]), ('or', [(541, False), (544, False)]), ('or', [(346, True), (353, True)]), ('or', [(360, False), (367, True)]), ('or', [(546, False), (547, False)]), ('or', [(374, False), (381, True)]), ('or', [(388, True), (395, True)]), ('or', [(549, False), (550, False)]), ('or', [(548, False), (551, False)]), ('or', [(545, False), (552, False)]), ('or', [(402, True), (409, True)]), ('or', [(416, True), (423, False)]), ('or', [(554, False), (555, False)]), ('or', [(430, True), (437, True)]), ('or', [(444, False), (451, False)]), ('or', [(557, False), (558, False)]), ('or', [(556, False), (559, False)]), ('or', [(458, True), (465, False)]), ('or', [(472, False), (479, True)]), ('or', [(561, False), (562, False)]), ('or', [(486, False), (493, True)]), ('or', [(500, False), (507, False)]), ('or', [(564, False), (565, False)]), ('or', [(563, False), (566, False)]), ('or', [(560, False), (567, False)]), ('or', [(553, False), (568, False)]), ('or', [(538, False), (569, False)])], (570, True)))

map2.txt

(11290419911155290710690302751351816427340816196576026120444648063369847565343076531411187044376577503480139343099182304342421923153437113486849423485713547L, (128, [('true', []), ('xor', [(0, False), (64, False)]), ('xor', [(129, False), (128, True)]), ('or', [(64, True), (128, False)]), ('or', [(0, True), (128, False)]), ('or', [(131, True), (132, True)]), ('or', [(0, True), (64, True)]), ('or', [(133, False), (134, True)]), ('xor', [(1, False), (65, False)]), ('xor', [(136, False), (135, False)]), ('or', [(65, True), (135, True)]), ('or', [(1, True), (135, True)]), ('or', [(138, True), (139, True)]), ('or', [(1, True), (65, True)]), ('or', [(140, False), (141, True)]), ('xor', [(2, False), (66, False)]), ('xor', [(143, False), (142, False)]), ('or', [(66, True), (142, True)]), ('or', [(2, True), (142, True)]), ('or', [(145, True), (146, True)]), ('or', [(2, True), (66, True)]), ('or', [(147, False), (148, True)]), ('xor', [(3, False), (67, False)]), ('xor', [(150, False), (149, False)]), ('or', [(67, True), (149, True)]), ('or', [(3, True), (149, True)]), ('or', [(152, True), (153, True)]), ('or', [(3, True), (67, True)]), ('or', [(154, False), (155, True)]), ('xor', [(4, False), (68, False)]), ('xor', [(157, False), (156, False)]), ('or', [(68, True), (156, True)]), ('or', [(4, True), (156, True)]), ('or', [(159, True), (160, True)]), ('or', [(4, True), (68, True)]), ('or', [(161, False), (162, True)]), ('xor', [(5, False), (69, False)]), ('xor', [(164, False), (163, False)]), ('or', [(69, True), (163, True)]), ('or', [(5, True), (163, True)]), ('or', [(166, True), (167, True)]), ('or', [(5, True), (69, True)]), ('or', [(168, False), (169, True)]), ('xor', [(6, False), (70, False)]), ('xor', [(171, False), (170, False)]), ('or', [(70, True), (170, True)]), ('or', [(6, True), (170, True)]), ('or', [(173, True), (174, True)]), ('or', [(6, True), (70, True)]), ('or', [(175, False), (176, True)]), ('xor', [(7, False), (71, False)]), ('xor', [(178, False), (177, False)]), ('or', [(71, True), (177, True)]), ('or', [(7, True), (177, True)]), ('or', [(180, True), (181, True)]), ('or', [(7, True), (71, True)]), ('or', [(182, False), (183, True)]), ('xor', [(8, False), (72, False)]), ('xor', [(185, False), (184, False)]), ('or', [(72, True), (184, True)]), ('or', [(8, True), (184, True)]), ('or', [(187, True), (188, True)]), ('or', [(8, True), (72, True)]), ('or', [(189, False), (190, True)]), ('xor', [(9, False), (73, False)]), ('xor', [(192, False), (191, False)]), ('or', [(73, True), (191, True)]), ('or', [(9, True), (191, True)]), ('or', [(194, True), (195, True)]), ('or', [(9, True), (73, True)]), ('or', [(196, False), (197, True)]), ('xor', [(10, False), (74, False)]), ('xor', [(199, False), (198, False)]), ('or', [(74, True), (198, True)]), ('or', [(10, True), (198, True)]), ('or', [(201, True), (202, True)]), ('or', [(10, True), (74, True)]), ('or', [(203, False), (204, True)]), ('xor', [(11, False), (75, False)]), ('xor', [(206, False), (205, False)]), ('or', [(75, True), (205, True)]), ('or', [(11, True), (205, True)]), ('or', [(208, True), (209, True)]), ('or', [(11, True), (75, True)]), ('or', [(210, False), (211, True)]), ('xor', [(12, False), (76, False)]), ('xor', [(213, False), (212, False)]), ('or', [(76, True), (212, True)]), ('or', [(12, True), (212, True)]), ('or', [(215, True), (216, True)]), ('or', [(12, True), (76, True)]), ('or', [(217, False), (218, True)]), ('xor', [(13, False), (77, False)]), ('xor', [(220, False), (219, False)]), ('or', [(77, True), (219, True)]), ('or', [(13, True), (219, True)]), ('or', [(222, True), (223, True)]), ('or', [(13, True), (77, True)]), ('or', [(224, False), (225, True)]), ('xor', [(14, False), (78, False)]), ('xor', [(227, False), (226, False)]), ('or', [(78, True), (226, True)]), ('or', [(14, True), (226, True)]), ('or', [(229, True), (230, True)]), ('or', [(14, True), (78, True)]), ('or', [(231, False), (232, True)]), ('xor', [(15, False), (79, False)]), ('xor', [(234, False), (233, False)]), ('or', [(79, True), (233, True)]), ('or', [(15, True), (233, True)]), ('or', [(236, True), (237, True)]), ('or', [(15, True), (79, True)]), ('or', [(238, False), (239, True)]), ('xor', [(16, False), (80, False)]), ('xor', [(241, False), (240, False)]), ('or', [(80, True), (240, True)]), ('or', [(16, True), (240, True)]), ('or', [(243, True), (244, True)]), ('or', [(16, True), (80, True)]), ('or', [(245, False), (246, True)]), ('xor', [(17, False), (81, False)]), ('xor', [(248, False), (247, False)]), ('or', [(81, True), (247, True)]), ('or', [(17, True), (247, True)]), ('or', [(250, True), (251, True)]), ('or', [(17, True), (81, True)]), ('or', [(252, False), (253, True)]), ('xor', [(18, False), (82, False)]), ('xor', [(255, False), (254, False)]), ('or', [(82, True), (254, True)]), ('or', [(18, True), (254, True)]), ('or', [(257, True), (258, True)]), ('or', [(18, True), (82, True)]), ('or', [(259, False), (260, True)]), ('xor', [(19, False), (83, False)]), ('xor', [(262, False), (261, False)]), ('or', [(83, True), (261, True)]), ('or', [(19, True), (261, True)]), ('or', [(264, True), (265, True)]), ('or', [(19, True), (83, True)]), ('or', [(266, False), (267, True)]), ('xor', [(20, False), (84, False)]), ('xor', [(269, False), (268, False)]), ('or', [(84, True), (268, True)]), ('or', [(20, True), (268, True)]), ('or', [(271, True), (272, True)]), ('or', [(20, True), (84, True)]), ('or', [(273, False), (274, True)]), ('xor', [(21, False), (85, False)]), ('xor', [(276, False), (275, False)]), ('or', [(85, True), (275, True)]), ('or', [(21, True), (275, True)]), ('or', [(278, True), (279, True)]), ('or', [(21, True), (85, True)]), ('or', [(280, False), (281, True)]), ('xor', [(22, False), (86, False)]), ('xor', [(283, False), (282, False)]), ('or', [(86, True), (282, True)]), ('or', [(22, True), (282, True)]), ('or', [(285, True), (286, True)]), ('or', [(22, True), (86, True)]), ('or', [(287, False), (288, True)]), ('xor', [(23, False), (87, False)]), ('xor', [(290, False), (289, False)]), ('or', [(87, True), (289, True)]), ('or', [(23, True), (289, True)]), ('or', [(292, True), (293, True)]), ('or', [(23, True), (87, True)]), ('or', [(294, False), (295, True)]), ('xor', [(24, False), (88, False)]), ('xor', [(297, False), (296, False)]), ('or', [(88, True), (296, True)]), ('or', [(24, True), (296, True)]), ('or', [(299, True), (300, True)]), ('or', [(24, True), (88, True)]), ('or', [(301, False), (302, True)]), ('xor', [(25, False), (89, False)]), ('xor', [(304, False), (303, False)]), ('or', [(89, True), (303, True)]), ('or', [(25, True), (303, True)]), ('or', [(306, True), (307, True)]), ('or', [(25, True), (89, True)]), ('or', [(308, False), (309, True)]), ('xor', [(26, False), (90, False)]), ('xor', [(311, False), (310, False)]), ('or', [(90, True), (310, True)]), ('or', [(26, True), (310, True)]), ('or', [(313, True), (314, True)]), ('or', [(26, True), (90, True)]), ('or', [(315, False), (316, True)]), ('xor', [(27, False), (91, False)]), ('xor', [(318, False), (317, False)]), ('or', [(91, True), (317, True)]), ('or', [(27, True), (317, True)]), ('or', [(320, True), (321, True)]), ('or', [(27, True), (91, True)]), ('or', [(322, False), (323, True)]), ('xor', [(28, False), (92, False)]), ('xor', [(325, False), (324, False)]), ('or', [(92, True), (324, True)]), ('or', [(28, True), (324, True)]), ('or', [(327, True), (328, True)]), ('or', [(28, True), (92, True)]), ('or', [(329, False), (330, True)]), ('xor', [(29, False), (93, False)]), ('xor', [(332, False), (331, False)]), ('or', [(93, True), (331, True)]), ('or', [(29, True), (331, True)]), ('or', [(334, True), (335, True)]), ('or', [(29, True), (93, True)]), ('or', [(336, False), (337, True)]), ('xor', [(30, False), (94, False)]), ('xor', [(339, False), (338, False)]), ('or', [(94, True), (338, True)]), ('or', [(30, True), (338, True)]), ('or', [(341, True), (342, True)]), ('or', [(30, True), (94, True)]), ('or', [(343, False), (344, True)]), ('xor', [(31, False), (95, False)]), ('xor', [(346, False), (345, False)]), ('or', [(95, True), (345, True)]), ('or', [(31, True), (345, True)]), ('or', [(348, True), (349, True)]), ('or', [(31, True), (95, True)]), ('or', [(350, False), (351, True)]), ('xor', [(32, False), (96, False)]), ('xor', [(353, False), (352, False)]), ('or', [(96, True), (352, True)]), ('or', [(32, True), (352, True)]), ('or', [(355, True), (356, True)]), ('or', [(32, True), (96, True)]), ('or', [(357, False), (358, True)]), ('xor', [(33, False), (97, False)]), ('xor', [(360, False), (359, False)]), ('or', [(97, True), (359, True)]), ('or', [(33, True), (359, True)]), ('or', [(362, True), (363, True)]), ('or', [(33, True), (97, True)]), ('or', [(364, False), (365, True)]), ('xor', [(34, False), (98, False)]), ('xor', [(367, False), (366, False)]), ('or', [(98, True), (366, True)]), ('or', [(34, True), (366, True)]), ('or', [(369, True), (370, True)]), ('or', [(34, True), (98, True)]), ('or', [(371, False), (372, True)]), ('xor', [(35, False), (99, False)]), ('xor', [(374, False), (373, False)]), ('or', [(99, True), (373, True)]), ('or', [(35, True), (373, True)]), ('or', [(376, True), (377, True)]), ('or', [(35, True), (99, True)]), ('or', [(378, False), (379, True)]), ('xor', [(36, False), (100, False)]), ('xor', [(381, False), (380, False)]), ('or', [(100, True), (380, True)]), ('or', [(36, True), (380, True)]), ('or', [(383, True), (384, True)]), ('or', [(36, True), (100, True)]), ('or', [(385, False), (386, True)]), ('xor', [(37, False), (101, False)]), ('xor', [(388, False), (387, False)]), ('or', [(101, True), (387, True)]), ('or', [(37, True), (387, True)]), ('or', [(390, True), (391, True)]), ('or', [(37, True), (101, True)]), ('or', [(392, False), (393, True)]), ('xor', [(38, False), (102, False)]), ('xor', [(395, False), (394, False)]), ('or', [(102, True), (394, True)]), ('or', [(38, True), (394, True)]), ('or', [(397, True), (398, True)]), ('or', [(38, True), (102, True)]), ('or', [(399, False), (400, True)]), ('xor', [(39, False), (103, False)]), ('xor', [(402, False), (401, False)]), ('or', [(103, True), (401, True)]), ('or', [(39, True), (401, True)]), ('or', [(404, True), (405, True)]), ('or', [(39, True), (103, True)]), ('or', [(406, False), (407, True)]), ('xor', [(40, False), (104, False)]), ('xor', [(409, False), (408, False)]), ('or', [(104, True), (408, True)]), ('or', [(40, True), (408, True)]), ('or', [(411, True), (412, True)]), ('or', [(40, True), (104, True)]), ('or', [(413, False), (414, True)]), ('xor', [(41, False), (105, False)]), ('xor', [(416, False), (415, False)]), ('or', [(105, True), (415, True)]), ('or', [(41, True), (415, True)]), ('or', [(418, True), (419, True)]), ('or', [(41, True), (105, True)]), ('or', [(420, False), (421, True)]), ('xor', [(42, False), (106, False)]), ('xor', [(423, False), (422, False)]), ('or', [(106, True), (422, True)]), ('or', [(42, True), (422, True)]), ('or', [(425, True), (426, True)]), ('or', [(42, True), (106, True)]), ('or', [(427, False), (428, True)]), ('xor', [(43, False), (107, False)]), ('xor', [(430, False), (429, False)]), ('or', [(107, True), (429, True)]), ('or', [(43, True), (429, True)]), ('or', [(432, True), (433, True)]), ('or', [(43, True), (107, True)]), ('or', [(434, False), (435, True)]), ('xor', [(44, False), (108, False)]), ('xor', [(437, False), (436, False)]), ('or', [(108, True), (436, True)]), ('or', [(44, True), (436, True)]), ('or', [(439, True), (440, True)]), ('or', [(44, True), (108, True)]), ('or', [(441, False), (442, True)]), ('xor', [(45, False), (109, False)]), ('xor', [(444, False), (443, False)]), ('or', [(109, True), (443, True)]), ('or', [(45, True), (443, True)]), ('or', [(446, True), (447, True)]), ('or', [(45, True), (109, True)]), ('or', [(448, False), (449, True)]), ('xor', [(46, False), (110, False)]), ('xor', [(451, False), (450, False)]), ('or', [(110, True), (450, True)]), ('or', [(46, True), (450, True)]), ('or', [(453, True), (454, True)]), ('or', [(46, True), (110, True)]), ('or', [(455, False), (456, True)]), ('xor', [(47, False), (111, False)]), ('xor', [(458, False), (457, False)]), ('or', [(111, True), (457, True)]), ('or', [(47, True), (457, True)]), ('or', [(460, True), (461, True)]), ('or', [(47, True), (111, True)]), ('or', [(462, False), (463, True)]), ('xor', [(48, False), (112, False)]), ('xor', [(465, False), (464, False)]), ('or', [(112, True), (464, True)]), ('or', [(48, True), (464, True)]), ('or', [(467, True), (468, True)]), ('or', [(48, True), (112, True)]), ('or', [(469, False), (470, True)]), ('xor', [(49, False), (113, False)]), ('xor', [(472, False), (471, False)]), ('or', [(113, True), (471, True)]), ('or', [(49, True), (471, True)]), ('or', [(474, True), (475, True)]), ('or', [(49, True), (113, True)]), ('or', [(476, False), (477, True)]), ('xor', [(50, False), (114, False)]), ('xor', [(479, False), (478, False)]), ('or', [(114, True), (478, True)]), ('or', [(50, True), (478, True)]), ('or', [(481, True), (482, True)]), ('or', [(50, True), (114, True)]), ('or', [(483, False), (484, True)]), ('xor', [(51, False), (115, False)]), ('xor', [(486, False), (485, False)]), ('or', [(115, True), (485, True)]), ('or', [(51, True), (485, True)]), ('or', [(488, True), (489, True)]), ('or', [(51, True), (115, True)]), ('or', [(490, False), (491, True)]), ('xor', [(52, False), (116, False)]), ('xor', [(493, False), (492, False)]), ('or', [(116, True), (492, True)]), ('or', [(52, True), (492, True)]), ('or', [(495, True), (496, True)]), ('or', [(52, True), (116, True)]), ('or', [(497, False), (498, True)]), ('xor', [(53, False), (117, False)]), ('xor', [(500, False), (499, False)]), ('or', [(117, True), (499, True)]), ('or', [(53, True), (499, True)]), ('or', [(502, True), (503, True)]), ('or', [(53, True), (117, True)]), ('or', [(504, False), (505, True)]), ('xor', [(54, False), (118, False)]), ('xor', [(507, False), (506, False)]), ('or', [(118, True), (506, True)]), ('or', [(54, True), (506, True)]), ('or', [(509, True), (510, True)]), ('or', [(54, True), (118, True)]), ('or', [(511, False), (512, True)]), ('xor', [(55, False), (119, False)]), ('xor', [(514, False), (513, False)]), ('or', [(119, True), (513, True)]), ('or', [(55, True), (513, True)]), ('or', [(516, True), (517, True)]), ('or', [(55, True), (119, True)]), ('or', [(518, False), (519, True)]), ('xor', [(56, False), (120, False)]), ('xor', [(521, False), (520, False)]), ('or', [(120, True), (520, True)]), ('or', [(56, True), (520, True)]), ('or', [(523, True), (524, True)]), ('or', [(56, True), (120, True)]), ('or', [(525, False), (526, True)]), ('xor', [(57, False), (121, False)]), ('xor', [(528, False), (527, False)]), ('or', [(121, True), (527, True)]), ('or', [(57, True), (527, True)]), ('or', [(530, True), (531, True)]), ('or', [(57, True), (121, True)]), ('or', [(532, False), (533, True)]), ('xor', [(58, False), (122, False)]), ('xor', [(535, False), (534, False)]), ('or', [(122, True), (534, True)]), ('or', [(58, True), (534, True)]), ('or', [(537, True), (538, True)]), ('or', [(58, True), (122, True)]), ('or', [(539, False), (540, True)]), ('xor', [(59, False), (123, False)]), ('xor', [(542, False), (541, False)]), ('or', [(123, True), (541, True)]), ('or', [(59, True), (541, True)]), ('or', [(544, True), (545, True)]), ('or', [(59, True), (123, True)]), ('or', [(546, False), (547, True)]), ('xor', [(60, False), (124, False)]), ('xor', [(549, False), (548, False)]), ('or', [(124, True), (548, True)]), ('or', [(60, True), (548, True)]), ('or', [(551, True), (552, True)]), ('or', [(60, True), (124, True)]), ('or', [(553, False), (554, True)]), ('xor', [(61, False), (125, False)]), ('xor', [(556, False), (555, False)]), ('or', [(125, True), (555, True)]), ('or', [(61, True), (555, True)]), ('or', [(558, True), (559, True)]), ('or', [(61, True), (125, True)]), ('or', [(560, False), (561, True)]), ('xor', [(62, False), (126, False)]), ('xor', [(563, False), (562, False)]), ('or', [(126, True), (562, True)]), ('or', [(62, True), (562, True)]), ('or', [(565, True), (566, True)]), ('or', [(62, True), (126, True)]), ('or', [(567, False), (568, True)]), ('xor', [(63, False), (127, False)]), ('xor', [(570, False), (569, False)]), ('xor', [(0, False), (128, False)]), ('xor', [(572, False), (128, True)]), ('or', [(128, True), (128, False)]), ('or', [(574, True), (132, True)]), ('or', [(0, True), (128, True)]), ('or', [(575, False), (576, True)]), ('xor', [(1, False), (64, False)]), ('xor', [(578, False), (577, False)]), ('or', [(64, True), (577, True)]), ('or', [(1, True), (577, True)]), ('or', [(580, True), (581, True)]), ('or', [(1, True), (64, True)]), ('or', [(582, False), (583, True)]), ('xor', [(2, False), (65, False)]), ('xor', [(585, False), (584, False)]), ('or', [(65, True), (584, True)]), ('or', [(2, True), (584, True)]), ('or', [(587, True), (588, True)]), ('or', [(2, True), (65, True)]), ('or', [(589, False), (590, True)]), ('xor', [(3, False), (66, False)]), ('xor', [(592, False), (591, False)]), ('or', [(66, True), (591, True)]), ('or', [(3, True), (591, True)]), ('or', [(594, True), (595, True)]), ('or', [(3, True), (66, True)]), ('or', [(596, False), (597, True)]), ('xor', [(4, False), (67, False)]), ('xor', [(599, False), (598, False)]), ('or', [(67, True), (598, True)]), ('or', [(4, True), (598, True)]), ('or', [(601, True), (602, True)]), ('or', [(4, True), (67, True)]), ('or', [(603, False), (604, True)]), ('xor', [(5, False), (68, False)]), ('xor', [(606, False), (605, False)]), ('or', [(68, True), (605, True)]), ('or', [(5, True), (605, True)]), ('or', [(608, True), (609, True)]), ('or', [(5, True), (68, True)]), ('or', [(610, False), (611, True)]), ('xor', [(6, False), (69, False)]), ('xor', [(613, False), (612, False)]), ('or', [(69, True), (612, True)]), ('or', [(6, True), (612, True)]), ('or', [(615, True), (616, True)]), ('or', [(6, True), (69, True)]), ('or', [(617, False), (618, True)]), ('xor', [(7, False), (70, False)]), ('xor', [(620, False), (619, False)]), ('or', [(70, True), (619, True)]), ('or', [(7, True), (619, True)]), ('or', [(622, True), (623, True)]), ('or', [(7, True), (70, True)]), ('or', [(624, False), (625, True)]), ('xor', [(8, False), (71, False)]), ('xor', [(627, False), (626, False)]), ('or', [(71, True), (626, True)]), ('or', [(8, True), (626, True)]), ('or', [(629, True), (630, True)]), ('or', [(8, True), (71, True)]), ('or', [(631, False), (632, True)]), ('xor', [(9, False), (72, False)]), ('xor', [(634, False), (633, False)]), ('or', [(72, True), (633, True)]), ('or', [(9, True), (633, True)]), ('or', [(636, True), (637, True)]), ('or', [(9, True), (72, True)]), ('or', [(638, False), (639, True)]), ('xor', [(10, False), (73, False)]), ('xor', [(641, False), (640, False)]), ('or', [(73, True), (640, True)]), ('or', [(10, True), (640, True)]), ('or', [(643, True), (644, True)]), ('or', [(10, True), (73, True)]), ('or', [(645, False), (646, True)]), ('xor', [(11, False), (74, False)]), ('xor', [(648, False), (647, False)]), ('or', [(74, True), (647, True)]), ('or', [(11, True), (647, True)]), ('or', [(650, True), (651, True)]), ('or', [(11, True), (74, True)]), ('or', [(652, False), (653, True)]), ('xor', [(12, False), (75, False)]), ('xor', [(655, False), (654, False)]), ('or', [(75, True), (654, True)]), ('or', [(12, True), (654, True)]), ('or', [(657, True), (658, True)]), ('or', [(12, True), (75, True)]), ('or', [(659, False), (660, True)]), ('xor', [(13, False), (76, False)]), ('xor', [(662, False), (661, False)]), ('or', [(76, True), (661, True)]), ('or', [(13, True), (661, True)]), ('or', [(664, True), (665, True)]), ('or', [(13, True), (76, True)]), ('or', [(666, False), (667, True)]), ('xor', [(14, False), (77, False)]), ('xor', [(669, False), (668, False)]), ('or', [(77, True), (668, True)]), ('or', [(14, True), (668, True)]), ('or', [(671, True), (672, True)]), ('or', [(14, True), (77, True)]), ('or', [(673, False), (674, True)]), ('xor', [(15, False), (78, False)]), ('xor', [(676, False), (675, False)]), ('or', [(78, True), (675, True)]), ('or', [(15, True), (675, True)]), ('or', [(678, True), (679, True)]), ('or', [(15, True), (78, True)]), ('or', [(680, False), (681, True)]), ('xor', [(16, False), (79, False)]), ('xor', [(683, False), (682, False)]), ('or', [(79, True), (682, True)]), ('or', [(16, True), (682, True)]), ('or', [(685, True), (686, True)]), ('or', [(16, True), (79, True)]), ('or', [(687, False), (688, True)]), ('xor', [(17, False), (80, False)]), ('xor', [(690, False), (689, False)]), ('or', [(80, True), (689, True)]), ('or', [(17, True), (689, True)]), ('or', [(692, True), (693, True)]), ('or', [(17, True), (80, True)]), ('or', [(694, False), (695, True)]), ('xor', [(18, False), (81, False)]), ('xor', [(697, False), (696, False)]), ('or', [(81, True), (696, True)]), ('or', [(18, True), (696, True)]), ('or', [(699, True), (700, True)]), ('or', [(18, True), (81, True)]), ('or', [(701, False), (702, True)]), ('xor', [(19, False), (82, False)]), ('xor', [(704, False), (703, False)]), ('or', [(82, True), (703, True)]), ('or', [(19, True), (703, True)]), ('or', [(706, True), (707, True)]), ('or', [(19, True), (82, True)]), ('or', [(708, False), (709, True)]), ('xor', [(20, False), (83, False)]), ('xor', [(711, False), (710, False)]), ('or', [(83, True), (710, True)]), ('or', [(20, True), (710, True)]), ('or', [(713, True), (714, True)]), ('or', [(20, True), (83, True)]), ('or', [(715, False), (716, True)]), ('xor', [(21, False), (84, False)]), ('xor', [(718, False), (717, False)]), ('or', [(84, True), (717, True)]), ('or', [(21, True), (717, True)]), ('or', [(720, True), (721, True)]), ('or', [(21, True), (84, True)]), ('or', [(722, False), (723, True)]), ('xor', [(22, False), (85, False)]), ('xor', [(725, False), (724, False)]), ('or', [(85, True), (724, True)]), ('or', [(22, True), (724, True)]), ('or', [(727, True), (728, True)]), ('or', [(22, True), (85, True)]), ('or', [(729, False), (730, True)]), ('xor', [(23, False), (86, False)]), ('xor', [(732, False), (731, False)]), ('or', [(86, True), (731, True)]), ('or', [(23, True), (731, True)]), ('or', [(734, True), (735, True)]), ('or', [(23, True), (86, True)]), ('or', [(736, False), (737, True)]), ('xor', [(24, False), (87, False)]), ('xor', [(739, False), (738, False)]), ('or', [(87, True), (738, True)]), ('or', [(24, True), (738, True)]), ('or', [(741, True), (742, True)]), ('or', [(24, True), (87, True)]), ('or', [(743, False), (744, True)]), ('xor', [(25, False), (88, False)]), ('xor', [(746, False), (745, False)]), ('or', [(88, True), (745, True)]), ('or', [(25, True), (745, True)]), ('or', [(748, True), (749, True)]), ('or', [(25, True), (88, True)]), ('or', [(750, False), (751, True)]), ('xor', [(26, False), (89, False)]), ('xor', [(753, False), (752, False)]), ('or', [(89, True), (752, True)]), ('or', [(26, True), (752, True)]), ('or', [(755, True), (756, True)]), ('or', [(26, True), (89, True)]), ('or', [(757, False), (758, True)]), ('xor', [(27, False), (90, False)]), ('xor', [(760, False), (759, False)]), ('or', [(90, True), (759, True)]), ('or', [(27, True), (759, True)]), ('or', [(762, True), (763, True)]), ('or', [(27, True), (90, True)]), ('or', [(764, False), (765, True)]), ('xor', [(28, False), (91, False)]), ('xor', [(767, False), (766, False)]), ('or', [(91, True), (766, True)]), ('or', [(28, True), (766, True)]), ('or', [(769, True), (770, True)]), ('or', [(28, True), (91, True)]), ('or', [(771, False), (772, True)]), ('xor', [(29, False), (92, False)]), ('xor', [(774, False), (773, False)]), ('or', [(92, True), (773, True)]), ('or', [(29, True), (773, True)]), ('or', [(776, True), (777, True)]), ('or', [(29, True), (92, True)]), ('or', [(778, False), (779, True)]), ('xor', [(30, False), (93, False)]), ('xor', [(781, False), (780, False)]), ('or', [(93, True), (780, True)]), ('or', [(30, True), (780, True)]), ('or', [(783, True), (784, True)]), ('or', [(30, True), (93, True)]), ('or', [(785, False), (786, True)]), ('xor', [(31, False), (94, False)]), ('xor', [(788, False), (787, False)]), ('or', [(94, True), (787, True)]), ('or', [(31, True), (787, True)]), ('or', [(790, True), (791, True)]), ('or', [(31, True), (94, True)]), ('or', [(792, False), (793, True)]), ('xor', [(32, False), (95, False)]), ('xor', [(795, False), (794, False)]), ('or', [(95, True), (794, True)]), ('or', [(32, True), (794, True)]), ('or', [(797, True), (798, True)]), ('or', [(32, True), (95, True)]), ('or', [(799, False), (800, True)]), ('xor', [(33, False), (96, False)]), ('xor', [(802, False), (801, False)]), ('or', [(96, True), (801, True)]), ('or', [(33, True), (801, True)]), ('or', [(804, True), (805, True)]), ('or', [(33, True), (96, True)]), ('or', [(806, False), (807, True)]), ('xor', [(34, False), (97, False)]), ('xor', [(809, False), (808, False)]), ('or', [(97, True), (808, True)]), ('or', [(34, True), (808, True)]), ('or', [(811, True), (812, True)]), ('or', [(34, True), (97, True)]), ('or', [(813, False), (814, True)]), ('xor', [(35, False), (98, False)]), ('xor', [(816, False), (815, False)]), ('or', [(98, True), (815, True)]), ('or', [(35, True), (815, True)]), ('or', [(818, True), (819, True)]), ('or', [(35, True), (98, True)]), ('or', [(820, False), (821, True)]), ('xor', [(36, False), (99, False)]), ('xor', [(823, False), (822, False)]), ('or', [(99, True), (822, True)]), ('or', [(36, True), (822, True)]), ('or', [(825, True), (826, True)]), ('or', [(36, True), (99, True)]), ('or', [(827, False), (828, True)]), ('xor', [(37, False), (100, False)]), ('xor', [(830, False), (829, False)]), ('or', [(100, True), (829, True)]), ('or', [(37, True), (829, True)]), ('or', [(832, True), (833, True)]), ('or', [(37, True), (100, True)]), ('or', [(834, False), (835, True)]), ('xor', [(38, False), (101, False)]), ('xor', [(837, False), (836, False)]), ('or', [(101, True), (836, True)]), ('or', [(38, True), (836, True)]), ('or', [(839, True), (840, True)]), ('or', [(38, True), (101, True)]), ('or', [(841, False), (842, True)]), ('xor', [(39, False), (102, False)]), ('xor', [(844, False), (843, False)]), ('or', [(102, True), (843, True)]), ('or', [(39, True), (843, True)]), ('or', [(846, True), (847, True)]), ('or', [(39, True), (102, True)]), ('or', [(848, False), (849, True)]), ('xor', [(40, False), (103, False)]), ('xor', [(851, False), (850, False)]), ('or', [(103, True), (850, True)]), ('or', [(40, True), (850, True)]), ('or', [(853, True), (854, True)]), ('or', [(40, True), (103, True)]), ('or', [(855, False), (856, True)]), ('xor', [(41, False), (104, False)]), ('xor', [(858, False), (857, False)]), ('or', [(104, True), (857, True)]), ('or', [(41, True), (857, True)]), ('or', [(860, True), (861, True)]), ('or', [(41, True), (104, True)]), ('or', [(862, False), (863, True)]), ('xor', [(42, False), (105, False)]), ('xor', [(865, False), (864, False)]), ('or', [(105, True), (864, True)]), ('or', [(42, True), (864, True)]), ('or', [(867, True), (868, True)]), ('or', [(42, True), (105, True)]), ('or', [(869, False), (870, True)]), ('xor', [(43, False), (106, False)]), ('xor', [(872, False), (871, False)]), ('or', [(106, True), (871, True)]), ('or', [(43, True), (871, True)]), ('or', [(874, True), (875, True)]), ('or', [(43, True), (106, True)]), ('or', [(876, False), (877, True)]), ('xor', [(44, False), (107, False)]), ('xor', [(879, False), (878, False)]), ('or', [(107, True), (878, True)]), ('or', [(44, True), (878, True)]), ('or', [(881, True), (882, True)]), ('or', [(44, True), (107, True)]), ('or', [(883, False), (884, True)]), ('xor', [(45, False), (108, False)]), ('xor', [(886, False), (885, False)]), ('or', [(108, True), (885, True)]), ('or', [(45, True), (885, True)]), ('or', [(888, True), (889, True)]), ('or', [(45, True), (108, True)]), ('or', [(890, False), (891, True)]), ('xor', [(46, False), (109, False)]), ('xor', [(893, False), (892, False)]), ('or', [(109, True), (892, True)]), ('or', [(46, True), (892, True)]), ('or', [(895, True), (896, True)]), ('or', [(46, True), (109, True)]), ('or', [(897, False), (898, True)]), ('xor', [(47, False), (110, False)]), ('xor', [(900, False), (899, False)]), ('or', [(110, True), (899, True)]), ('or', [(47, True), (899, True)]), ('or', [(902, True), (903, True)]), ('or', [(47, True), (110, True)]), ('or', [(904, False), (905, True)]), ('xor', [(48, False), (111, False)]), ('xor', [(907, False), (906, False)]), ('or', [(111, True), (906, True)]), ('or', [(48, True), (906, True)]), ('or', [(909, True), (910, True)]), ('or', [(48, True), (111, True)]), ('or', [(911, False), (912, True)]), ('xor', [(49, False), (112, False)]), ('xor', [(914, False), (913, False)]), ('or', [(112, True), (913, True)]), ('or', [(49, True), (913, True)]), ('or', [(916, True), (917, True)]), ('or', [(49, True), (112, True)]), ('or', [(918, False), (919, True)]), ('xor', [(50, False), (113, False)]), ('xor', [(921, False), (920, False)]), ('or', [(113, True), (920, True)]), ('or', [(50, True), (920, True)]), ('or', [(923, True), (924, True)]), ('or', [(50, True), (113, True)]), ('or', [(925, False), (926, True)]), ('xor', [(51, False), (114, False)]), ('xor', [(928, False), (927, False)]), ('or', [(114, True), (927, True)]), ('or', [(51, True), (927, True)]), ('or', [(930, True), (931, True)]), ('or', [(51, True), (114, True)]), ('or', [(932, False), (933, True)]), ('xor', [(52, False), (115, False)]), ('xor', [(935, False), (934, False)]), ('or', [(115, True), (934, True)]), ('or', [(52, True), (934, True)]), ('or', [(937, True), (938, True)]), ('or', [(52, True), (115, True)]), ('or', [(939, False), (940, True)]), ('xor', [(53, False), (116, False)]), ('xor', [(942, False), (941, False)]), ('or', [(116, True), (941, True)]), ('or', [(53, True), (941, True)]), ('or', [(944, True), (945, True)]), ('or', [(53, True), (116, True)]), ('or', [(946, False), (947, True)]), ('xor', [(54, False), (117, False)]), ('xor', [(949, False), (948, False)]), ('or', [(117, True), (948, True)]), ('or', [(54, True), (948, True)]), ('or', [(951, True), (952, True)]), ('or', [(54, True), (117, True)]), ('or', [(953, False), (954, True)]), ('xor', [(55, False), (118, False)]), ('xor', [(956, False), (955, False)]), ('or', [(118, True), (955, True)]), ('or', [(55, True), (955, True)]), ('or', [(958, True), (959, True)]), ('or', [(55, True), (118, True)]), ('or', [(960, False), (961, True)]), ('xor', [(56, False), (119, False)]), ('xor', [(963, False), (962, False)]), ('or', [(119, True), (962, True)]), ('or', [(56, True), (962, True)]), ('or', [(965, True), (966, True)]), ('or', [(56, True), (119, True)]), ('or', [(967, False), (968, True)]), ('xor', [(57, False), (120, False)]), ('xor', [(970, False), (969, False)]), ('or', [(120, True), (969, True)]), ('or', [(57, True), (969, True)]), ('or', [(972, True), (973, True)]), ('or', [(57, True), (120, True)]), ('or', [(974, False), (975, True)]), ('xor', [(58, False), (121, False)]), ('xor', [(977, False), (976, False)]), ('or', [(121, True), (976, True)]), ('or', [(58, True), (976, True)]), ('or', [(979, True), (980, True)]), ('or', [(58, True), (121, True)]), ('or', [(981, False), (982, True)]), ('xor', [(59, False), (122, False)]), ('xor', [(984, False), (983, False)]), ('or', [(122, True), (983, True)]), ('or', [(59, True), (983, True)]), ('or', [(986, True), (987, True)]), ('or', [(59, True), (122, True)]), ('or', [(988, False), (989, True)]), ('xor', [(60, False), (123, False)]), ('xor', [(991, False), (990, False)]), ('or', [(123, True), (990, True)]), ('or', [(60, True), (990, True)]), ('or', [(993, True), (994, True)]), ('or', [(60, True), (123, True)]), ('or', [(995, False), (996, True)]), ('xor', [(61, False), (124, False)]), ('xor', [(998, False), (997, False)]), ('or', [(124, True), (997, True)]), ('or', [(61, True), (997, True)]), ('or', [(1000, True), (1001, True)]), ('or', [(61, True), (124, True)]), ('or', [(1002, False), (1003, True)]), ('xor', [(62, False), (125, False)]), ('xor', [(1005, False), (1004, False)]), ('or', [(125, True), (1004, True)]), ('or', [(62, True), (1004, True)]), ('or', [(1007, True), (1008, True)]), ('or', [(62, True), (125, True)]), ('or', [(1009, False), (1010, True)]), ('xor', [(63, False), (126, False)]), ('xor', [(1012, False), (1011, False)]), ('or', [(130, False), (137, False)]), ('or', [(144, True), (151, False)]), ('or', [(1014, False), (1015, False)]), ('or', [(158, False), (165, True)]), ('or', [(172, False), (179, False)]), ('or', [(1017, False), (1018, False)]), ('or', [(1016, False), (1019, False)]), ('or', [(186, True), (193, False)]), ('or', [(200, False), (207, True)]), ('or', [(1021, False), (1022, False)]), ('or', [(214, True), (221, True)]), ('or', [(228, True), (235, False)]), ('or', [(1024, False), (1025, False)]), ('or', [(1023, False), (1026, False)]), ('or', [(1020, False), (1027, False)]), ('or', [(242, True), (249, False)]), ('or', [(256, False), (263, True)]), ('or', [(1029, False), (1030, False)]), ('or', [(270, False), (277, False)]), ('or', [(284, False), (291, False)]), ('or', [(1032, False), (1033, False)]), ('or', [(1031, False), (1034, False)]), ('or', [(298, True), (305, False)]), ('or', [(312, True), (319, False)]), ('or', [(1036, False), (1037, False)]), ('or', [(326, False), (333, True)]), ('or', [(340, True), (347, False)]), ('or', [(1039, False), (1040, False)]), ('or', [(1038, False), (1041, False)]), ('or', [(1035, False), (1042, False)]), ('or', [(1028, False), (1043, False)]), ('or', [(354, True), (361, False)]), ('or', [(368, False), (375, True)]), ('or', [(1045, False), (1046, False)]), ('or', [(382, True), (389, True)]), ('or', [(396, True), (403, True)]), ('or', [(1048, False), (1049, False)]), ('or', [(1047, False), (1050, False)]), ('or', [(410, False), (417, True)]), ('or', [(424, True), (431, False)]), ('or', [(1052, False), (1053, False)]), ('or', [(438, True), (445, False)]), ('or', [(452, False), (459, False)]), ('or', [(1055, False), (1056, False)]), ('or', [(1054, False), (1057, False)]), ('or', [(1051, False), (1058, False)]), ('or', [(466, True), (473, True)]), ('or', [(480, False), (487, True)]), ('or', [(1060, False), (1061, False)]), ('or', [(494, False), (501, False)]), ('or', [(508, False), (515, False)]), ('or', [(1063, False), (1064, False)]), ('or', [(1062, False), (1065, False)]), ('or', [(522, False), (529, False)]), ('or', [(536, True), (543, True)]), ('or', [(1067, False), (1068, False)]), ('or', [(550, True), (557, True)]), ('or', [(564, False), (571, False)]), ('or', [(1070, False), (1071, False)]), ('or', [(1069, False), (1072, False)]), ('or', [(1066, False), (1073, False)]), ('or', [(1059, False), (1074, False)]), ('or', [(1044, False), (1075, False)]), ('or', [(573, False), (579, False)]), ('or', [(586, True), (593, True)]), ('or', [(1077, False), (1078, False)]), ('or', [(600, True), (607, True)]), ('or', [(614, True), (621, False)]), ('or', [(1080, False), (1081, False)]), ('or', [(1079, False), (1082, False)]), ('or', [(628, True), (635, True)]), ('or', [(642, True), (649, True)]), ('or', [(1084, False), (1085, False)]), ('or', [(656, True), (663, True)]), ('or', [(670, False), (677, True)]), ('or', [(1087, False), (1088, False)]), ('or', [(1086, False), (1089, False)]), ('or', [(1083, False), (1090, False)]), ('or', [(684, True), (691, True)]), ('or', [(698, True), (705, False)]), ('or', [(1092, False), (1093, False)]), ('or', [(712, True), (719, True)]), ('or', [(726, True), (733, True)]), ('or', [(1095, False), (1096, False)]), ('or', [(1094, False), (1097, False)]), ('or', [(740, True), (747, True)]), ('or', [(754, False), (761, True)]), ('or', [(1099, False), (1100, False)]), ('or', [(768, True), (775, True)]), ('or', [(782, True), (789, False)]), ('or', [(1102, False), (1103, False)]), ('or', [(1101, False), (1104, False)]), ('or', [(1098, False), (1105, False)]), ('or', [(1091, False), (1106, False)]), ('or', [(796, True), (803, True)]), ('or', [(810, False), (817, False)]), ('or', [(1108, False), (1109, False)]), ('or', [(824, False), (831, False)]), ('or', [(838, True), (845, False)]), ('or', [(1111, False), (1112, False)]), ('or', [(1110, False), (1113, False)]), ('or', [(852, True), (859, True)]), ('or', [(866, False), (873, True)]), ('or', [(1115, False), (1116, False)]), ('or', [(880, False), (887, False)]), ('or', [(894, False), (901, True)]), ('or', [(1118, False), (1119, False)]), ('or', [(1117, False), (1120, False)]), ('or', [(1114, False), (1121, False)]), ('or', [(908, False), (915, True)]), ('or', [(922, True), (929, False)]), ('or', [(1123, False), (1124, False)]), ('or', [(936, False), (943, True)]), ('or', [(950, False), (957, False)]), ('or', [(1126, False), (1127, False)]), ('or', [(1125, False), (1128, False)]), ('or', [(964, True), (971, False)]), ('or', [(978, False), (985, False)]), ('or', [(1130, False), (1131, False)]), ('or', [(992, False), (999, True)]), ('or', [(1006, True), (1013, True)]), ('or', [(1133, False), (1134, False)]), ('or', [(1132, False), (1135, False)]), ('or', [(1129, False), (1136, False)]), ('or', [(1122, False), (1137, False)]), ('or', [(1107, False), (1138, False)]), ('or', [(1076, False), (1139, False)])], (1140, True)))