des (0, 104, 62) (0, i, 3) (0, "C_INP !1", 54) (2, "C_INP !1", 36) (3, i, 52) (3, "C_INP !1", 51) (4, "OUT_C !0", 1) (5, i, 25) (5, "OUT_C !0", 24) (6, "C_INP !1", 37) (6, "OUT_C !0", 2) (7, "OUT_C !1", 1) (8, i, 10) (8, "OUT_C !1", 17) (9, i, 1) (10, i, 7) (10, "OUT_C !1", 9) (11, i, 4) (11, "OUT_C !0", 9) (12, i, 6) (12, "C_INP !1", 61) (13, i, 11) (14, i, 5) (14, i, 18) (15, i, 10) (16, i, 8) (16, i, 15) (17, i, 9) (18, i, 13) (18, i, 25) (19, i, 13) (20, i, 14) (20, i, 27) (21, i, 16) (21, i, 26) (22, i, 15) (23, i, 16) (23, i, 22) (24, i, 17) (25, i, 11) (25, "OUT_C !0", 17) (26, i, 8) (26, "OUT_C !1", 24) (27, i, 18) (27, i, 19) (28, i, 19) (29, i, 59) (30, i, 20) (30, i, 38) (31, i, 12) (31, "C_INP !1", 59) (32, i, 21) (32, i, 23) (33, i, 22) (34, i, 32) (35, i, 23) (35, i, 33) (36, i, 24) (37, i, 5) (37, "OUT_C !0", 36) (38, i, 27) (38, i, 28) (39, i, 60) (40, i, 29) (40, i, 57) (41, i, 31) (41, "C_INP !1", 29) (42, i, 29) (42, i, 39) (43, i, 31) (43, "C_INP !1", 57) (44, i, 32) (44, i, 35) (45, i, 34) (46, i, 34) (46, i, 44) (47, i, 39) (47, i, 58) (48, i, 40) (48, i, 42) (48, i, 47) (49, i, 41) (49, "C_INP !1", 42) (50, i, 45) (50, i, 46) (51, i, 48) (52, i, 49) (52, i, 56) (52, "C_INP !1", 48) (53, i, 50) (54, i, 51) (54, i, 55) (55, i, 53) (56, i, 41) (56, i, 43) (56, "C_INP !1", 40) (57, i, 30) (57, i, 59) (58, i, 30) (58, i, 60) (59, i, 20) (59, i, 61) (60, i, 20) (61, i, 14) (61, i, 37)