constraints.json

[[4, 54, "ge"], [6, 14, "le"], [36, 30, "ge"], [28, 34, "xor"], [23, 7, "add"], [55, 31, "xor"], [58, 18, "ne"], [40, 56, "add"], [29, 51, "sub"], [12, 60, "xor"], [48, 42, "le"], [19, 16, "add"], [59, 49, "ne"], [61, 43, "sub"], [21, 46, "ne"], [39, 13, "ne"], [9, 38, "sub"], [3, 8, "sub"], [17, 26, "sub"], [45, 20, "sub"], [5, 37, "ge"], [41, 44, "sub"], [47, 24, "add"], [10, 2, "add"], [25, 22, "xor"], [62, 52, "ge"], [11, 53, "ne"], [63, 35, "sub"], [33, 50, "sub"], [15, 0, "ne"], [32, 1, "xor"], [57, 27, "ne"], [2, 34, "xor"], [27, 53, "sub"], [7, 52, "add"], [23, 5, "le"], [49, 8, "le"], [6, 22, "ne"], [45, 0, "add"], [30, 14, "eq"], [63, 10, "add"], [42, 19, "ge"], [13, 43, "add"], [57, 17, "ne"], [24, 44, "sub"], [47, 40, "ne"], [9, 60, "ge"], [62, 32, "xor"], [20, 21, "add"], [28, 38, "le"], [29, 11, "ge"], [46, 26, "add"], [4, 15, "add"], [31, 48, "xor"], [33, 18, "ge"], [55, 39, "add"], [36, 58, "ne"], [61, 1, "sub"], [50, 41, "ne"], [37, 12, "add"], [3, 59, "ne"], [25, 16, "xor"], [51, 35, "ne"], [56, 54, "ne"], [23, 61, "xor"], [52, 31, "sub"], [37, 36, "add"], [57, 60, "sub"], [45, 17, "sub"], [20, 56, "xor"], [7, 43, "ge"], [33, 55, "ge"], [10, 2, "ge"], [54, 46, "ge"], [41, 11, "sub"], [1, 34, "add"], [50, 28, "ne"], [22, 44, "le"], [27, 13, "xor"], [63, 15, "xor"], [24, 18, "ne"], [40, 9, "le"], [29, 26, "sub"], [4, 16, "add"], [42, 19, "xor"], [12, 62, "xor"], [35, 6, "xor"], [0, 49, "xor"], [51, 3, "add"], [25, 8, "ge"], [59, 32, "sub"], [5, 38, "xor"], [14, 53, "sub"], [47, 30, "ge"], [48, 39, "ne"], [58, 21, "xor"], [0, 59, "le"], [28, 39, "add"], [1, 2, "sub"], [42, 53, "ne"], [51, 63, "le"], [17, 37, "ne"], [29, 50, "sub"], [6, 55, "xor"], [40, 31, "xor"], [62, 49, "xor"], [36, 23, "sub"], [7, 20, "sub"], [32, 57, "add"], [19, 14, "sub"], [9, 44, "sub"], [56, 21, "ne"], [4, 3, "xor"], [24, 43, "ne"], [27, 34, "ne"], [54, 13, "xor"], [38, 25, "add"], [35, 5, "xor"], [30, 60, "sub"], [12, 22, "ge"], [11, 58, "xor"], [47, 48, "xor"], [18, 16, "le"], [45, 61, "xor"], [46, 26, "xor"], [15, 52, "le"], [33, 8, "ge"], [41, 10, "ne"], [54, 55, "sub"], [49, 14, "xor"], [12, 25, "xor"], [30, 40, "ne"], [13, 59, "ne"], [46, 39, "sub"], [27, 28, "sub"], [56, 63, "add"], [24, 23, "sub"], [32, 48, "ne"], [61, 4, "add"], [8, 34, "ne"], [11, 31, "sub"], [5, 42, "ne"], [33, 19, "xor"], [17, 16, "ge"], [1, 15, "sub"], [62, 7, "le"], [45, 58, "add"], [37, 22, "ne"], [38, 47, "ne"], [21, 57, "add"], [36, 10, "xor"], [43, 6, "sub"], [9, 3, "ge"], [52, 29, "xor"], [26, 20, "le"], [50, 60, "ne"], [0, 35, "xor"], [2, 53, "add"], [44, 18, "le"], [51, 41, "xor"], [50, 48, "sub"], [32, 16, "sub"], [54, 18, "ne"], [11, 6, "add"], [45, 61, "add"], [42, 55, "ge"], [1, 37, "add"], [41, 51, "ge"], [30, 36, "add"], [20, 63, "ne"], [58, 56, "le"], [15, 35, "xor"], [7, 22, "xor"], [46, 31, "add"], [53, 0, "le"], [12, 62, "ge"], [39, 26, "xor"], [52, 10, "add"], [28, 25, "xor"], [17, 23, "le"], [60, 57, "sub"], [3, 4, "xor"], [13, 9, "add"], [38, 47, "xor"], [24, 2, "ge"], [19, 34, "sub"], [21, 5, "sub"], [43, 33, "add"], [27, 44, "sub"], [59, 49, "sub"], [8, 14, "xor"], [29, 40, "sub"], [12, 31, "ne"], [42, 5, "xor"], [35, 25, "add"], [10, 36, "le"], [7, 15, "sub"], [57, 43, "xor"], [60, 49, "xor"], [21, 46, "sub"], [18, 20, "xor"], [45, 17, "ge"], [26, 1, "xor"], [38, 37, "xor"], [40, 16, "xor"], [24, 22, "sub"], [50, 48, "sub"], [41, 13, "add"], [52, 54, "le"], [19, 59, "ne"], [61, 55, "xor"], [23, 27, "sub"], [4, 53, "ge"], [29, 63, "xor"], [9, 47, "sub"], [2, 39, "sub"], [8, 11, "sub"], [3, 0, "sub"], [62, 34, "ge"], [30, 44, "ne"], [33, 6, "ne"], [56, 32, "sub"], [51, 14, "ne"], [28, 58, "ne"], [39, 58, "sub"], [54, 14, "sub"], [61, 51, "xor"], [28, 37, "add"], [47, 22, "add"], [6, 23, "le"], [46, 45, "add"], [26, 49, "sub"], [32, 18, "sub"], [21, 50, "xor"], [40, 36, "add"], [53, 8, "add"], [11, 33, "ne"], [31, 3, "add"], [20, 24, "ne"], [27, 48, "sub"], [35, 60, "sub"], [52, 63, "le"], [2, 25, "add"], [62, 12, "add"], [4, 10, "sub"], [29, 9, "xor"], [43, 16, "le"], [7, 56, "xor"], [34, 59, "ne"], [0, 30, "xor"]]