%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------% ------ Parsing...successful ------ Proving... flip all literals with predicate ndr1_0 use I+ Gamma_0: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) Gamma_1: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) Gamma_2: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) Gamma_3: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) Gamma_4: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) Gamma_5: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) Gamma_6: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) Gamma_7: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) Gamma_8: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) Gamma_9: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) Gamma_10: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) Gamma_11: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) Gamma_12: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) Gamma_13: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) Gamma_14: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) Gamma_15: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) Gamma_16: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) Gamma_17: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) Gamma_18: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) Gamma_19: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) Gamma_20: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) Gamma_21: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) Gamma_22: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) Gamma_23: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) Gamma_24: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) Gamma_25: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) Gamma_26: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) Gamma_27: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) Gamma_28: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) Gamma_29: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) Gamma_30: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) Gamma_31: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) Gamma_32: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) Gamma_33: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) Gamma_34: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: [~(hskp12)], ~(ndr1_0) Gamma_35: (extend-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: [~(hskp12)], ~(ndr1_0) 35: hskp1, hskp11, [hskp12] Gamma_36: (move) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: [~(hskp12)], ~(ndr1_0) Gamma_37: (resolve) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] Gamma_38: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] Gamma_39: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] 36: c1_1(a71), c1_1(a75), [~(c0_1(a71))], c0_1(a75), ~(c2_1(a71)), ~( c3_1(a75)), hskp4, ndr1_0 Gamma_40: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] 36: c1_1(a71), c1_1(a75), [~(c0_1(a71))], c0_1(a75), ~(c2_1(a71)), ~( c3_1(a75)), hskp4, ndr1_0 37: c1_1(a71), c1_1(a62), c0_1(a71), [~(c0_1(a62))], ~(c2_1(a62)), ~( c3_1(a71)), hskp4, ndr1_0 Gamma_41: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] 36: c1_1(a71), c1_1(a75), [~(c0_1(a71))], c0_1(a75), ~(c2_1(a71)), ~( c3_1(a75)), hskp4, ndr1_0 37: c1_1(a71), c1_1(a62), c0_1(a71), [~(c0_1(a62))], ~(c2_1(a62)), ~( c3_1(a71)), hskp4, ndr1_0 38: c1_1(a62), c1_1(a63), c0_1(a62), [~(c0_1(a63))], ~(c2_1(a63)), ~( c3_1(a62)), hskp4, ndr1_0 Gamma_42: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] 36: c1_1(a71), c1_1(a75), [~(c0_1(a71))], c0_1(a75), ~(c2_1(a71)), ~( c3_1(a75)), hskp4, ndr1_0 37: c1_1(a71), c1_1(a62), c0_1(a71), [~(c0_1(a62))], ~(c2_1(a62)), ~( c3_1(a71)), hskp4, ndr1_0 38: c1_1(a62), c1_1(a63), c0_1(a62), [~(c0_1(a63))], ~(c2_1(a63)), ~( c3_1(a62)), hskp4, ndr1_0 39: c1_1(a63), c1_1(a68), c0_1(a63), [~(c0_1(a68))], ~(c2_1(a68)), ~( c3_1(a63)), hskp4, ndr1_0 Gamma_43: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] 36: c1_1(a71), c1_1(a75), [~(c0_1(a71))], c0_1(a75), ~(c2_1(a71)), ~( c3_1(a75)), hskp4, ndr1_0 37: c1_1(a71), c1_1(a62), c0_1(a71), [~(c0_1(a62))], ~(c2_1(a62)), ~( c3_1(a71)), hskp4, ndr1_0 38: c1_1(a62), c1_1(a63), c0_1(a62), [~(c0_1(a63))], ~(c2_1(a63)), ~( c3_1(a62)), hskp4, ndr1_0 39: c1_1(a63), c1_1(a68), c0_1(a63), [~(c0_1(a68))], ~(c2_1(a68)), ~( c3_1(a63)), hskp4, ndr1_0 40: c1_1(a63), c1_1(a74), c0_1(a63), [~(c0_1(a74))], ~(c2_1(a74)), ~( c3_1(a63)), hskp4, ndr1_0 Gamma_44: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] 36: c1_1(a71), c1_1(a75), [~(c0_1(a71))], c0_1(a75), ~(c2_1(a71)), ~( c3_1(a75)), hskp4, ndr1_0 37: c1_1(a71), c1_1(a62), c0_1(a71), [~(c0_1(a62))], ~(c2_1(a62)), ~( c3_1(a71)), hskp4, ndr1_0 38: c1_1(a62), c1_1(a63), c0_1(a62), [~(c0_1(a63))], ~(c2_1(a63)), ~( c3_1(a62)), hskp4, ndr1_0 39: c1_1(a63), c1_1(a68), c0_1(a63), [~(c0_1(a68))], ~(c2_1(a68)), ~( c3_1(a63)), hskp4, ndr1_0 40: c1_1(a63), c1_1(a74), c0_1(a63), [~(c0_1(a74))], ~(c2_1(a74)), ~( c3_1(a63)), hskp4, ndr1_0 41: [~(c1_1(a66))], ~(c0_1(a66)), c3_1(a66), hskp9, hskp10, ndr1_0 Gamma_45: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] 36: c1_1(a71), c1_1(a75), [~(c0_1(a71))], c0_1(a75), ~(c2_1(a71)), ~( c3_1(a75)), hskp4, ndr1_0 37: c1_1(a71), c1_1(a62), c0_1(a71), [~(c0_1(a62))], ~(c2_1(a62)), ~( c3_1(a71)), hskp4, ndr1_0 38: c1_1(a62), c1_1(a63), c0_1(a62), [~(c0_1(a63))], ~(c2_1(a63)), ~( c3_1(a62)), hskp4, ndr1_0 39: c1_1(a63), c1_1(a68), c0_1(a63), [~(c0_1(a68))], ~(c2_1(a68)), ~( c3_1(a63)), hskp4, ndr1_0 40: c1_1(a63), c1_1(a74), c0_1(a63), [~(c0_1(a74))], ~(c2_1(a74)), ~( c3_1(a63)), hskp4, ndr1_0 41: [~(c1_1(a66))], ~(c0_1(a66)), c3_1(a66), hskp9, hskp10, ndr1_0 42: c1_1(a66), c1_1(a74), [~(c0_1(a66))], c0_1(a74), ~(c2_1(a66)), ~( c3_1(a74)), hskp4, ndr1_0 Gamma_46: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] 36: c1_1(a71), c1_1(a75), [~(c0_1(a71))], c0_1(a75), ~(c2_1(a71)), ~( c3_1(a75)), hskp4, ndr1_0 37: c1_1(a71), c1_1(a62), c0_1(a71), [~(c0_1(a62))], ~(c2_1(a62)), ~( c3_1(a71)), hskp4, ndr1_0 38: c1_1(a62), c1_1(a63), c0_1(a62), [~(c0_1(a63))], ~(c2_1(a63)), ~( c3_1(a62)), hskp4, ndr1_0 39: c1_1(a63), c1_1(a68), c0_1(a63), [~(c0_1(a68))], ~(c2_1(a68)), ~( c3_1(a63)), hskp4, ndr1_0 40: c1_1(a63), c1_1(a74), c0_1(a63), [~(c0_1(a74))], ~(c2_1(a74)), ~( c3_1(a63)), hskp4, ndr1_0 41: [~(c1_1(a66))], ~(c0_1(a66)), c3_1(a66), hskp9, hskp10, ndr1_0 42: c1_1(a66), c1_1(a74), [~(c0_1(a66))], c0_1(a74), ~(c2_1(a66)), ~( c3_1(a74)), hskp4, ndr1_0 43: [~(c1_1(a64))], ~(c0_1(a64)), c3_1(a64), hskp9, hskp10, ndr1_0 Gamma_47: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] 36: c1_1(a71), c1_1(a75), [~(c0_1(a71))], c0_1(a75), ~(c2_1(a71)), ~( c3_1(a75)), hskp4, ndr1_0 37: c1_1(a71), c1_1(a62), c0_1(a71), [~(c0_1(a62))], ~(c2_1(a62)), ~( c3_1(a71)), hskp4, ndr1_0 38: c1_1(a62), c1_1(a63), c0_1(a62), [~(c0_1(a63))], ~(c2_1(a63)), ~( c3_1(a62)), hskp4, ndr1_0 39: c1_1(a63), c1_1(a68), c0_1(a63), [~(c0_1(a68))], ~(c2_1(a68)), ~( c3_1(a63)), hskp4, ndr1_0 40: c1_1(a63), c1_1(a74), c0_1(a63), [~(c0_1(a74))], ~(c2_1(a74)), ~( c3_1(a63)), hskp4, ndr1_0 41: [~(c1_1(a66))], ~(c0_1(a66)), c3_1(a66), hskp9, hskp10, ndr1_0 42: c1_1(a66), c1_1(a74), [~(c0_1(a66))], c0_1(a74), ~(c2_1(a66)), ~( c3_1(a74)), hskp4, ndr1_0 43: [~(c1_1(a64))], ~(c0_1(a64)), c3_1(a64), hskp9, hskp10, ndr1_0 44: [~(c1_1(a67))], ~(c0_1(a67)), c3_1(a67), hskp9, hskp10, ndr1_0 Gamma_48: (extend-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] 36: c1_1(a71), c1_1(a75), [~(c0_1(a71))], c0_1(a75), ~(c2_1(a71)), ~( c3_1(a75)), hskp4, ndr1_0 37: c1_1(a71), c1_1(a62), c0_1(a71), [~(c0_1(a62))], ~(c2_1(a62)), ~( c3_1(a71)), hskp4, ndr1_0 38: c1_1(a62), c1_1(a63), c0_1(a62), [~(c0_1(a63))], ~(c2_1(a63)), ~( c3_1(a62)), hskp4, ndr1_0 39: c1_1(a63), c1_1(a68), c0_1(a63), [~(c0_1(a68))], ~(c2_1(a68)), ~( c3_1(a63)), hskp4, ndr1_0 40: c1_1(a63), c1_1(a74), c0_1(a63), [~(c0_1(a74))], ~(c2_1(a74)), ~( c3_1(a63)), hskp4, ndr1_0 41: [~(c1_1(a66))], ~(c0_1(a66)), c3_1(a66), hskp9, hskp10, ndr1_0 42: c1_1(a66), c1_1(a74), [~(c0_1(a66))], c0_1(a74), ~(c2_1(a66)), ~( c3_1(a74)), hskp4, ndr1_0 43: [~(c1_1(a64))], ~(c0_1(a64)), c3_1(a64), hskp9, hskp10, ndr1_0 44: [~(c1_1(a67))], ~(c0_1(a67)), c3_1(a67), hskp9, hskp10, ndr1_0 45: [c1_1(a64)], c2_1(a64), c3_1(a64), hskp0, hskp8, ndr1_0 Gamma_49: (move) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] 36: c1_1(a71), c1_1(a75), [~(c0_1(a71))], c0_1(a75), ~(c2_1(a71)), ~( c3_1(a75)), hskp4, ndr1_0 37: c1_1(a71), c1_1(a62), c0_1(a71), [~(c0_1(a62))], ~(c2_1(a62)), ~( c3_1(a71)), hskp4, ndr1_0 38: c1_1(a62), c1_1(a63), c0_1(a62), [~(c0_1(a63))], ~(c2_1(a63)), ~( c3_1(a62)), hskp4, ndr1_0 39: c1_1(a63), c1_1(a68), c0_1(a63), [~(c0_1(a68))], ~(c2_1(a68)), ~( c3_1(a63)), hskp4, ndr1_0 40: c1_1(a63), c1_1(a74), c0_1(a63), [~(c0_1(a74))], ~(c2_1(a74)), ~( c3_1(a63)), hskp4, ndr1_0 41: [~(c1_1(a66))], ~(c0_1(a66)), c3_1(a66), hskp9, hskp10, ndr1_0 42: c1_1(a66), c1_1(a74), [~(c0_1(a66))], c0_1(a74), ~(c2_1(a66)), ~( c3_1(a74)), hskp4, ndr1_0 43: [c1_1(a64)], c2_1(a64), c3_1(a64), hskp0, hskp8, ndr1_0 44: [~(c1_1(a64))], ~(c0_1(a64)), c3_1(a64), hskp9, hskp10, ndr1_0 45: [~(c1_1(a67))], ~(c0_1(a67)), c3_1(a67), hskp9, hskp10, ndr1_0 Gamma_50: (resolve) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] 36: c1_1(a71), c1_1(a75), [~(c0_1(a71))], c0_1(a75), ~(c2_1(a71)), ~( c3_1(a75)), hskp4, ndr1_0 37: c1_1(a71), c1_1(a62), c0_1(a71), [~(c0_1(a62))], ~(c2_1(a62)), ~( c3_1(a71)), hskp4, ndr1_0 38: c1_1(a62), c1_1(a63), c0_1(a62), [~(c0_1(a63))], ~(c2_1(a63)), ~( c3_1(a62)), hskp4, ndr1_0 39: c1_1(a63), c1_1(a68), c0_1(a63), [~(c0_1(a68))], ~(c2_1(a68)), ~( c3_1(a63)), hskp4, ndr1_0 40: c1_1(a63), c1_1(a74), c0_1(a63), [~(c0_1(a74))], ~(c2_1(a74)), ~( c3_1(a63)), hskp4, ndr1_0 41: [~(c1_1(a66))], ~(c0_1(a66)), c3_1(a66), hskp9, hskp10, ndr1_0 42: c1_1(a66), c1_1(a74), [~(c0_1(a66))], c0_1(a74), ~(c2_1(a66)), ~( c3_1(a74)), hskp4, ndr1_0 43: [c1_1(a64)], c2_1(a64), c3_1(a64), hskp0, hskp8, ndr1_0 44: [~(c0_1(a64))], c2_1(a64), c3_1(a64), hskp0, hskp8, hskp9, hskp10, ndr1_0 45: [~(c1_1(a67))], ~(c0_1(a67)), c3_1(a67), hskp9, hskp10, ndr1_0 Gamma_51: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] 36: c1_1(a71), c1_1(a75), [~(c0_1(a71))], c0_1(a75), ~(c2_1(a71)), ~( c3_1(a75)), hskp4, ndr1_0 37: c1_1(a71), c1_1(a62), c0_1(a71), [~(c0_1(a62))], ~(c2_1(a62)), ~( c3_1(a71)), hskp4, ndr1_0 38: c1_1(a62), c1_1(a63), c0_1(a62), [~(c0_1(a63))], ~(c2_1(a63)), ~( c3_1(a62)), hskp4, ndr1_0 39: c1_1(a63), c1_1(a68), c0_1(a63), [~(c0_1(a68))], ~(c2_1(a68)), ~( c3_1(a63)), hskp4, ndr1_0 40: c1_1(a63), c1_1(a74), c0_1(a63), [~(c0_1(a74))], ~(c2_1(a74)), ~( c3_1(a63)), hskp4, ndr1_0 41: [~(c1_1(a66))], ~(c0_1(a66)), c3_1(a66), hskp9, hskp10, ndr1_0 42: c1_1(a66), c1_1(a74), [~(c0_1(a66))], c0_1(a74), ~(c2_1(a66)), ~( c3_1(a74)), hskp4, ndr1_0 43: [c1_1(a64)], c2_1(a64), c3_1(a64), hskp0, hskp8, ndr1_0 44: [~(c0_1(a64))], c2_1(a64), c3_1(a64), hskp0, hskp8, hskp9, hskp10, ndr1_0 45: [~(c1_1(a67))], ~(c0_1(a67)), c3_1(a67), hskp9, hskp10, ndr1_0 Gamma_52: (extend-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] 36: c1_1(a71), c1_1(a75), [~(c0_1(a71))], c0_1(a75), ~(c2_1(a71)), ~( c3_1(a75)), hskp4, ndr1_0 37: c1_1(a71), c1_1(a62), c0_1(a71), [~(c0_1(a62))], ~(c2_1(a62)), ~( c3_1(a71)), hskp4, ndr1_0 38: c1_1(a62), c1_1(a63), c0_1(a62), [~(c0_1(a63))], ~(c2_1(a63)), ~( c3_1(a62)), hskp4, ndr1_0 39: c1_1(a63), c1_1(a68), c0_1(a63), [~(c0_1(a68))], ~(c2_1(a68)), ~( c3_1(a63)), hskp4, ndr1_0 40: c1_1(a63), c1_1(a74), c0_1(a63), [~(c0_1(a74))], ~(c2_1(a74)), ~( c3_1(a63)), hskp4, ndr1_0 41: [~(c1_1(a66))], ~(c0_1(a66)), c3_1(a66), hskp9, hskp10, ndr1_0 42: c1_1(a66), c1_1(a74), [~(c0_1(a66))], c0_1(a74), ~(c2_1(a66)), ~( c3_1(a74)), hskp4, ndr1_0 43: [c1_1(a64)], c2_1(a64), c3_1(a64), hskp0, hskp8, ndr1_0 44: [~(c0_1(a64))], c2_1(a64), c3_1(a64), hskp0, hskp8, hskp9, hskp10, ndr1_0 45: [~(c1_1(a67))], ~(c0_1(a67)), c3_1(a67), hskp9, hskp10, ndr1_0 46: [c1_1(a67)], c2_1(a67), c3_1(a67), hskp0, hskp8, ndr1_0 Gamma_53: (move) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] 36: c1_1(a71), c1_1(a75), [~(c0_1(a71))], c0_1(a75), ~(c2_1(a71)), ~( c3_1(a75)), hskp4, ndr1_0 37: c1_1(a71), c1_1(a62), c0_1(a71), [~(c0_1(a62))], ~(c2_1(a62)), ~( c3_1(a71)), hskp4, ndr1_0 38: c1_1(a62), c1_1(a63), c0_1(a62), [~(c0_1(a63))], ~(c2_1(a63)), ~( c3_1(a62)), hskp4, ndr1_0 39: c1_1(a63), c1_1(a68), c0_1(a63), [~(c0_1(a68))], ~(c2_1(a68)), ~( c3_1(a63)), hskp4, ndr1_0 40: c1_1(a63), c1_1(a74), c0_1(a63), [~(c0_1(a74))], ~(c2_1(a74)), ~( c3_1(a63)), hskp4, ndr1_0 41: [~(c1_1(a66))], ~(c0_1(a66)), c3_1(a66), hskp9, hskp10, ndr1_0 42: c1_1(a66), c1_1(a74), [~(c0_1(a66))], c0_1(a74), ~(c2_1(a66)), ~( c3_1(a74)), hskp4, ndr1_0 43: [c1_1(a64)], c2_1(a64), c3_1(a64), hskp0, hskp8, ndr1_0 44: [~(c0_1(a64))], c2_1(a64), c3_1(a64), hskp0, hskp8, hskp9, hskp10, ndr1_0 45: [c1_1(a67)], c2_1(a67), c3_1(a67), hskp0, hskp8, ndr1_0 46: [~(c1_1(a67))], ~(c0_1(a67)), c3_1(a67), hskp9, hskp10, ndr1_0 Gamma_54: (resolve) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] 36: c1_1(a71), c1_1(a75), [~(c0_1(a71))], c0_1(a75), ~(c2_1(a71)), ~( c3_1(a75)), hskp4, ndr1_0 37: c1_1(a71), c1_1(a62), c0_1(a71), [~(c0_1(a62))], ~(c2_1(a62)), ~( c3_1(a71)), hskp4, ndr1_0 38: c1_1(a62), c1_1(a63), c0_1(a62), [~(c0_1(a63))], ~(c2_1(a63)), ~( c3_1(a62)), hskp4, ndr1_0 39: c1_1(a63), c1_1(a68), c0_1(a63), [~(c0_1(a68))], ~(c2_1(a68)), ~( c3_1(a63)), hskp4, ndr1_0 40: c1_1(a63), c1_1(a74), c0_1(a63), [~(c0_1(a74))], ~(c2_1(a74)), ~( c3_1(a63)), hskp4, ndr1_0 41: [~(c1_1(a66))], ~(c0_1(a66)), c3_1(a66), hskp9, hskp10, ndr1_0 42: c1_1(a66), c1_1(a74), [~(c0_1(a66))], c0_1(a74), ~(c2_1(a66)), ~( c3_1(a74)), hskp4, ndr1_0 43: [c1_1(a64)], c2_1(a64), c3_1(a64), hskp0, hskp8, ndr1_0 44: [~(c0_1(a64))], c2_1(a64), c3_1(a64), hskp0, hskp8, hskp9, hskp10, ndr1_0 45: [c1_1(a67)], c2_1(a67), c3_1(a67), hskp0, hskp8, ndr1_0 46: [~(c0_1(a67))], c2_1(a67), c3_1(a67), hskp0, hskp8, hskp9, hskp10, ndr1_0 Gamma_55: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] 36: c1_1(a71), c1_1(a75), [~(c0_1(a71))], c0_1(a75), ~(c2_1(a71)), ~( c3_1(a75)), hskp4, ndr1_0 37: c1_1(a71), c1_1(a62), c0_1(a71), [~(c0_1(a62))], ~(c2_1(a62)), ~( c3_1(a71)), hskp4, ndr1_0 38: c1_1(a62), c1_1(a63), c0_1(a62), [~(c0_1(a63))], ~(c2_1(a63)), ~( c3_1(a62)), hskp4, ndr1_0 39: c1_1(a63), c1_1(a68), c0_1(a63), [~(c0_1(a68))], ~(c2_1(a68)), ~( c3_1(a63)), hskp4, ndr1_0 40: c1_1(a63), c1_1(a74), c0_1(a63), [~(c0_1(a74))], ~(c2_1(a74)), ~( c3_1(a63)), hskp4, ndr1_0 41: [~(c1_1(a66))], ~(c0_1(a66)), c3_1(a66), hskp9, hskp10, ndr1_0 42: c1_1(a66), c1_1(a74), [~(c0_1(a66))], c0_1(a74), ~(c2_1(a66)), ~( c3_1(a74)), hskp4, ndr1_0 43: [c1_1(a64)], c2_1(a64), c3_1(a64), hskp0, hskp8, ndr1_0 44: [~(c0_1(a64))], c2_1(a64), c3_1(a64), hskp0, hskp8, hskp9, hskp10, ndr1_0 45: [c1_1(a67)], c2_1(a67), c3_1(a67), hskp0, hskp8, ndr1_0 46: [~(c0_1(a67))], c2_1(a67), c3_1(a67), hskp0, hskp8, hskp9, hskp10, ndr1_0 Gamma_56: (extend-no-conflict) 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] 36: c1_1(a71), c1_1(a75), [~(c0_1(a71))], c0_1(a75), ~(c2_1(a71)), ~( c3_1(a75)), hskp4, ndr1_0 37: c1_1(a71), c1_1(a62), c0_1(a71), [~(c0_1(a62))], ~(c2_1(a62)), ~( c3_1(a71)), hskp4, ndr1_0 38: c1_1(a62), c1_1(a63), c0_1(a62), [~(c0_1(a63))], ~(c2_1(a63)), ~( c3_1(a62)), hskp4, ndr1_0 39: c1_1(a63), c1_1(a68), c0_1(a63), [~(c0_1(a68))], ~(c2_1(a68)), ~( c3_1(a63)), hskp4, ndr1_0 40: c1_1(a63), c1_1(a74), c0_1(a63), [~(c0_1(a74))], ~(c2_1(a74)), ~( c3_1(a63)), hskp4, ndr1_0 41: [~(c1_1(a66))], ~(c0_1(a66)), c3_1(a66), hskp9, hskp10, ndr1_0 42: c1_1(a66), c1_1(a74), [~(c0_1(a66))], c0_1(a74), ~(c2_1(a66)), ~( c3_1(a74)), hskp4, ndr1_0 43: [c1_1(a64)], c2_1(a64), c3_1(a64), hskp0, hskp8, ndr1_0 44: [~(c0_1(a64))], c2_1(a64), c3_1(a64), hskp0, hskp8, hskp9, hskp10, ndr1_0 45: [c1_1(a67)], c2_1(a67), c3_1(a67), hskp0, hskp8, ndr1_0 46: [~(c0_1(a67))], c2_1(a67), c3_1(a67), hskp0, hskp8, hskp9, hskp10, ndr1_0 47: c0_1(a68), [~(hskp13)] 0: [~(c2_1(a61))], ~(hskp0) 1: [~(c3_1(a66))], ~(hskp1) 2: [~(c0_1(a69))], ~(hskp2) 3: [~(c2_1(a69))], ~(hskp2) 4: [~(c1_1(a71))], ~(hskp3) 5: [~(c2_1(a73))], ~(hskp4) 6: [~(c0_1(a75))], ~(hskp5) 7: [~(c1_1(a75))], ~(hskp5) 8: [~(c2_1(a76))], ~(hskp6) 9: [~(c2_1(a77))], ~(hskp7) 10: [~(c0_1(a77))], ~(hskp7) 11: [~(c1_1(a62))], ~(hskp8) 12: [~(c1_1(a63))], ~(hskp9) 13: [~(c3_1(a64))], ~(hskp10) 14: [~(c2_1(a64))], ~(hskp10) 15: [~(c1_1(a65))], ~(hskp11) 16: [~(c0_1(a65))], ~(hskp11) 17: [~(c3_1(a67))], ~(hskp12) 18: [~(c2_1(a67))], ~(hskp12) 19: [~(c1_1(a68))], ~(hskp13) 20: [~(c0_1(a70))], ~(hskp14) 21: [~(c1_1(a74))], ~(hskp16) 22: [~(hskp0)], ~(ndr1_0) 23: [~(hskp1)], ~(ndr1_0) 24: [~(hskp2)], ~(ndr1_0) 25: [~(hskp3)], ~(ndr1_0) 26: [~(hskp4)], ~(ndr1_0) 27: [~(hskp5)], ~(ndr1_0) 28: [~(hskp6)], ~(ndr1_0) 29: [~(hskp7)], ~(ndr1_0) 30: [~(hskp8)], ~(ndr1_0) 31: [~(hskp9)], ~(ndr1_0) 32: [~(hskp10)], ~(ndr1_0) 33: [~(hskp11)], ~(ndr1_0) 34: hskp1, hskp11, [hskp12] 35: hskp1, hskp11, [~(ndr1_0)] 36: c1_1(a71), c1_1(a75), [~(c0_1(a71))], c0_1(a75), ~(c2_1(a71)), ~( c3_1(a75)), hskp4, ndr1_0 37: c1_1(a71), c1_1(a62), c0_1(a71), [~(c0_1(a62))], ~(c2_1(a62)), ~( c3_1(a71)), hskp4, ndr1_0 38: c1_1(a62), c1_1(a63), c0_1(a62), [~(c0_1(a63))], ~(c2_1(a63)), ~( c3_1(a62)), hskp4, ndr1_0 39: c1_1(a63), c1_1(a68), c0_1(a63), [~(c0_1(a68))], ~(c2_1(a68)), ~( c3_1(a63)), hskp4, ndr1_0 40: c1_1(a63), c1_1(a74), c0_1(a63), [~(c0_1(a74))], ~(c2_1(a74)), ~( c3_1(a63)), hskp4, ndr1_0 41: [~(c1_1(a66))], ~(c0_1(a66)), c3_1(a66), hskp9, hskp10, ndr1_0 42: c1_1(a66), c1_1(a74), [~(c0_1(a66))], c0_1(a74), ~(c2_1(a66)), ~( c3_1(a74)), hskp4, ndr1_0 43: [c1_1(a64)], c2_1(a64), c3_1(a64), hskp0, hskp8, ndr1_0 44: [~(c0_1(a64))], c2_1(a64), c3_1(a64), hskp0, hskp8, hskp9, hskp10, ndr1_0 45: [c1_1(a67)], c2_1(a67), c3_1(a67), hskp0, hskp8, ndr1_0 46: [~(c0_1(a67))], c2_1(a67), c3_1(a67), hskp0, hskp8, hskp9, hskp10, ndr1_0 47: c0_1(a68), [~(hskp13)] SZS status Satisfiable