%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------% ------ Parsing...successful ------ Proving... use I- not ground preserving Gamma_0: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) Gamma_1: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) Gamma_2: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) Gamma_3: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) Gamma_4: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) Gamma_5: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) Gamma_6: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) Gamma_7: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 Gamma_8: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 Gamma_9: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 Gamma_10: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 Gamma_11: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 Gamma_12: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 Gamma_13: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) Gamma_14: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) Gamma_15: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) Gamma_16: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) Gamma_17: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) Gamma_18: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 Gamma_19: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 Gamma_20: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 Gamma_21: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 Gamma_22: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 Gamma_23: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 Gamma_24: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 Gamma_25: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 Gamma_26: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 Gamma_27: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 Gamma_28: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 Gamma_29: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] Gamma_30: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) Gamma_31: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) Gamma_32: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) Gamma_33: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) Gamma_34: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) Gamma_35: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) Gamma_36: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) Gamma_37: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) Gamma_38: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) Gamma_39: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~(ndr1_0) Gamma_40: (right-split) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) Gamma_41: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2(X0,a116), ~( ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) Gamma_42: (right-split) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) Gamma_43: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) 41: ~(c5_2(a134,a115)), [c1_2(a134,a115)], c4_2(a134,a115), ~(ndr1_1(a134)), ssSkC7 Gamma_44: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) 41: ~(c5_2(a134,a115)), [c1_2(a134,a115)], c4_2(a134,a115), ~(ndr1_1(a134)), ssSkC7 42: [c5_2(a114,X0)], c1_2(a114,X0), c4_2(a114,X0), ~(ndr1_1(a114)), c2_0 Gamma_45: (right-split) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) 41: ~(c5_2(a134,a115)), [c1_2(a134,a115)], c4_2(a134,a115), ~(ndr1_1(a134)), ssSkC7 42: top(X0) != a115 | [c5_2(a114,X0)], c1_2(a114,X0), c4_2(a114,X0), ~( ndr1_1(a114)), c2_0 Gamma_46: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) 41: ~(c5_2(a134,a115)), [c1_2(a134,a115)], c4_2(a134,a115), ~(ndr1_1(a134)), ssSkC7 42: top(X0) != a115 | [c5_2(a114,X0)], c1_2(a114,X0), c4_2(a114,X0), ~( ndr1_1(a114)), c2_0 43: ~(c5_2(a114,X0)), [c3_2(a114,X0)], c2_2(a114,X0), c2_2(a114,a105), ~( ssSkP0(a114)), ~(ndr1_1(a114)), ssSkC0, ~(ndr1_0) Gamma_47: (right-split) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) 41: ~(c5_2(a134,a115)), [c1_2(a134,a115)], c4_2(a134,a115), ~(ndr1_1(a134)), ssSkC7 42: top(X0) != a115 | [c5_2(a114,X0)], c1_2(a114,X0), c4_2(a114,X0), ~( ndr1_1(a114)), c2_0 43: top(X0) != a104 | ~(c5_2(a114,X0)), [c3_2(a114,X0)], c2_2(a114, X0), c2_2(a114,a105), ~(ssSkP0(a114)), ~(ndr1_1(a114)), ssSkC0, ~(ndr1_0) Gamma_48: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) 41: ~(c5_2(a134,a115)), [c1_2(a134,a115)], c4_2(a134,a115), ~(ndr1_1(a134)), ssSkC7 42: top(X0) != a115 | [c5_2(a114,X0)], c1_2(a114,X0), c4_2(a114,X0), ~( ndr1_1(a114)), c2_0 43: top(X0) != a104 | ~(c5_2(a114,X0)), [c3_2(a114,X0)], c2_2(a114, X0), c2_2(a114,a105), ~(ssSkP0(a114)), ~(ndr1_1(a114)), ssSkC0, ~(ndr1_0) 44: [c5_2(a130,X0)], c2_2(a130,X0), ~(ndr1_1(a130)), ~(ssSkC4), ~(ssSkC5) Gamma_49: (right-split) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) 41: ~(c5_2(a134,a115)), [c1_2(a134,a115)], c4_2(a134,a115), ~(ndr1_1(a134)), ssSkC7 42: top(X0) != a115 | [c5_2(a114,X0)], c1_2(a114,X0), c4_2(a114,X0), ~( ndr1_1(a114)), c2_0 43: top(X0) != a104 | ~(c5_2(a114,X0)), [c3_2(a114,X0)], c2_2(a114, X0), c2_2(a114,a105), ~(ssSkP0(a114)), ~(ndr1_1(a114)), ssSkC0, ~(ndr1_0) 44: top(X0) != a115 | [c5_2(a130,X0)], c2_2(a130,X0), ~(ndr1_1(a130)), ~( ssSkC4), ~(ssSkC5) Gamma_50: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) 41: ~(c5_2(a134,a115)), [c1_2(a134,a115)], c4_2(a134,a115), ~(ndr1_1(a134)), ssSkC7 42: top(X0) != a115 | [c5_2(a114,X0)], c1_2(a114,X0), c4_2(a114,X0), ~( ndr1_1(a114)), c2_0 43: top(X0) != a104 | ~(c5_2(a114,X0)), [c3_2(a114,X0)], c2_2(a114, X0), c2_2(a114,a105), ~(ssSkP0(a114)), ~(ndr1_1(a114)), ssSkC0, ~(ndr1_0) 44: top(X0) != a115 | [c5_2(a130,X0)], c2_2(a130,X0), ~(ndr1_1(a130)), ~( ssSkC4), ~(ssSkC5) 45: ~(c5_2(a130,X0)), [c3_2(a130,X0)], c2_2(a130,X0), c2_2(a130,a105), ~( ssSkP0(a130)), ~(ndr1_1(a130)), ssSkC0, ~(ndr1_0) Gamma_51: (right-split) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) 41: ~(c5_2(a134,a115)), [c1_2(a134,a115)], c4_2(a134,a115), ~(ndr1_1(a134)), ssSkC7 42: top(X0) != a115 | [c5_2(a114,X0)], c1_2(a114,X0), c4_2(a114,X0), ~( ndr1_1(a114)), c2_0 43: top(X0) != a104 | ~(c5_2(a114,X0)), [c3_2(a114,X0)], c2_2(a114, X0), c2_2(a114,a105), ~(ssSkP0(a114)), ~(ndr1_1(a114)), ssSkC0, ~(ndr1_0) 44: top(X0) != a115 | [c5_2(a130,X0)], c2_2(a130,X0), ~(ndr1_1(a130)), ~( ssSkC4), ~(ssSkC5) 45: top(X0) != a104 | ~(c5_2(a130,X0)), [c3_2(a130,X0)], c2_2(a130, X0), c2_2(a130,a105), ~(ssSkP0(a130)), ~(ndr1_1(a130)), ssSkC0, ~(ndr1_0) Gamma_52: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) 41: ~(c5_2(a134,a115)), [c1_2(a134,a115)], c4_2(a134,a115), ~(ndr1_1(a134)), ssSkC7 42: top(X0) != a115 | [c5_2(a114,X0)], c1_2(a114,X0), c4_2(a114,X0), ~( ndr1_1(a114)), c2_0 43: top(X0) != a104 | ~(c5_2(a114,X0)), [c3_2(a114,X0)], c2_2(a114, X0), c2_2(a114,a105), ~(ssSkP0(a114)), ~(ndr1_1(a114)), ssSkC0, ~(ndr1_0) 44: top(X0) != a115 | [c5_2(a130,X0)], c2_2(a130,X0), ~(ndr1_1(a130)), ~( ssSkC4), ~(ssSkC5) 45: top(X0) != a104 | ~(c5_2(a130,X0)), [c3_2(a130,X0)], c2_2(a130, X0), c2_2(a130,a105), ~(ssSkP0(a130)), ~(ndr1_1(a130)), ssSkC0, ~(ndr1_0) 46: [c4_0] Gamma_53: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) 41: ~(c5_2(a134,a115)), [c1_2(a134,a115)], c4_2(a134,a115), ~(ndr1_1(a134)), ssSkC7 42: top(X0) != a115 | [c5_2(a114,X0)], c1_2(a114,X0), c4_2(a114,X0), ~( ndr1_1(a114)), c2_0 43: top(X0) != a104 | ~(c5_2(a114,X0)), [c3_2(a114,X0)], c2_2(a114, X0), c2_2(a114,a105), ~(ssSkP0(a114)), ~(ndr1_1(a114)), ssSkC0, ~(ndr1_0) 44: top(X0) != a115 | [c5_2(a130,X0)], c2_2(a130,X0), ~(ndr1_1(a130)), ~( ssSkC4), ~(ssSkC5) 45: top(X0) != a104 | ~(c5_2(a130,X0)), [c3_2(a130,X0)], c2_2(a130, X0), c2_2(a130,a105), ~(ssSkP0(a130)), ~(ndr1_1(a130)), ssSkC0, ~(ndr1_0) 46: [c4_0] 47: [c5_2(X0,a120)], ~(ssSkP3(X0)), c4_1(X0), c3_0, ~(ndr1_0), ~(c4_0) Gamma_54: (right-split) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) 41: ~(c5_2(a134,a115)), [c1_2(a134,a115)], c4_2(a134,a115), ~(ndr1_1(a134)), ssSkC7 42: top(X0) != a115 | [c5_2(a114,X0)], c1_2(a114,X0), c4_2(a114,X0), ~( ndr1_1(a114)), c2_0 43: top(X0) != a104 | ~(c5_2(a114,X0)), [c3_2(a114,X0)], c2_2(a114, X0), c2_2(a114,a105), ~(ssSkP0(a114)), ~(ndr1_1(a114)), ssSkC0, ~(ndr1_0) 44: top(X0) != a115 | [c5_2(a130,X0)], c2_2(a130,X0), ~(ndr1_1(a130)), ~( ssSkC4), ~(ssSkC5) 45: top(X0) != a104 | ~(c5_2(a130,X0)), [c3_2(a130,X0)], c2_2(a130, X0), c2_2(a130,a105), ~(ssSkP0(a130)), ~(ndr1_1(a130)), ssSkC0, ~(ndr1_0) 46: [c4_0] 47: top(X0) != a114 & top(X0) != a115 | [c5_2(X0,a120)], ~(ssSkP3(X0)), c4_1( X0), c3_0, ~(ndr1_0), ~(c4_0) Gamma_55: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) 41: ~(c5_2(a134,a115)), [c1_2(a134,a115)], c4_2(a134,a115), ~(ndr1_1(a134)), ssSkC7 42: top(X0) != a115 | [c5_2(a114,X0)], c1_2(a114,X0), c4_2(a114,X0), ~( ndr1_1(a114)), c2_0 43: top(X0) != a104 | ~(c5_2(a114,X0)), [c3_2(a114,X0)], c2_2(a114, X0), c2_2(a114,a105), ~(ssSkP0(a114)), ~(ndr1_1(a114)), ssSkC0, ~(ndr1_0) 44: top(X0) != a115 | [c5_2(a130,X0)], c2_2(a130,X0), ~(ndr1_1(a130)), ~( ssSkC4), ~(ssSkC5) 45: top(X0) != a104 | ~(c5_2(a130,X0)), [c3_2(a130,X0)], c2_2(a130, X0), c2_2(a130,a105), ~(ssSkP0(a130)), ~(ndr1_1(a130)), ssSkC0, ~(ndr1_0) 46: [c4_0] 47: top(X0) != a114 & top(X0) != a115 | [c5_2(X0,a120)], ~(ssSkP3(X0)), c4_1( X0), c3_0, ~(ndr1_0), ~(c4_0) 48: ~(c5_2(X0,a120)), [c3_2(X0,a120)], c2_2(X0,a105), c2_2(X0,a120), ~( ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) Gamma_56: (right-split) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) 41: ~(c5_2(a134,a115)), [c1_2(a134,a115)], c4_2(a134,a115), ~(ndr1_1(a134)), ssSkC7 42: top(X0) != a115 | [c5_2(a114,X0)], c1_2(a114,X0), c4_2(a114,X0), ~( ndr1_1(a114)), c2_0 43: top(X0) != a104 | ~(c5_2(a114,X0)), [c3_2(a114,X0)], c2_2(a114, X0), c2_2(a114,a105), ~(ssSkP0(a114)), ~(ndr1_1(a114)), ssSkC0, ~(ndr1_0) 44: top(X0) != a115 | [c5_2(a130,X0)], c2_2(a130,X0), ~(ndr1_1(a130)), ~( ssSkC4), ~(ssSkC5) 45: top(X0) != a104 | ~(c5_2(a130,X0)), [c3_2(a130,X0)], c2_2(a130, X0), c2_2(a130,a105), ~(ssSkP0(a130)), ~(ndr1_1(a130)), ssSkC0, ~(ndr1_0) 46: [c4_0] 47: top(X0) != a114 & top(X0) != a115 | [c5_2(X0,a120)], ~(ssSkP3(X0)), c4_1( X0), c3_0, ~(ndr1_0), ~(c4_0) 48: top(X0) != a114 & top(X0) != a104 | ~(c5_2(X0,a120)), [c3_2(X0, a120)], c2_2(X0,a105), c2_2(X0,a120), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~( ndr1_0) Gamma_57: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) 41: ~(c5_2(a134,a115)), [c1_2(a134,a115)], c4_2(a134,a115), ~(ndr1_1(a134)), ssSkC7 42: top(X0) != a115 | [c5_2(a114,X0)], c1_2(a114,X0), c4_2(a114,X0), ~( ndr1_1(a114)), c2_0 43: top(X0) != a104 | ~(c5_2(a114,X0)), [c3_2(a114,X0)], c2_2(a114, X0), c2_2(a114,a105), ~(ssSkP0(a114)), ~(ndr1_1(a114)), ssSkC0, ~(ndr1_0) 44: top(X0) != a115 | [c5_2(a130,X0)], c2_2(a130,X0), ~(ndr1_1(a130)), ~( ssSkC4), ~(ssSkC5) 45: top(X0) != a104 | ~(c5_2(a130,X0)), [c3_2(a130,X0)], c2_2(a130, X0), c2_2(a130,a105), ~(ssSkP0(a130)), ~(ndr1_1(a130)), ssSkC0, ~(ndr1_0) 46: [c4_0] 47: top(X0) != a114 & top(X0) != a115 | [c5_2(X0,a120)], ~(ssSkP3(X0)), c4_1( X0), c3_0, ~(ndr1_0), ~(c4_0) 48: top(X0) != a114 & top(X0) != a104 | ~(c5_2(X0,a120)), [c3_2(X0, a120)], c2_2(X0,a105), c2_2(X0,a120), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~( ndr1_0) 49: ~(c5_2(a134,a120)), [c1_2(a134,a120)], c4_2(a134,a120), ~(ndr1_1(a134)), ssSkC7 Gamma_58: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) 41: ~(c5_2(a134,a115)), [c1_2(a134,a115)], c4_2(a134,a115), ~(ndr1_1(a134)), ssSkC7 42: top(X0) != a115 | [c5_2(a114,X0)], c1_2(a114,X0), c4_2(a114,X0), ~( ndr1_1(a114)), c2_0 43: top(X0) != a104 | ~(c5_2(a114,X0)), [c3_2(a114,X0)], c2_2(a114, X0), c2_2(a114,a105), ~(ssSkP0(a114)), ~(ndr1_1(a114)), ssSkC0, ~(ndr1_0) 44: top(X0) != a115 | [c5_2(a130,X0)], c2_2(a130,X0), ~(ndr1_1(a130)), ~( ssSkC4), ~(ssSkC5) 45: top(X0) != a104 | ~(c5_2(a130,X0)), [c3_2(a130,X0)], c2_2(a130, X0), c2_2(a130,a105), ~(ssSkP0(a130)), ~(ndr1_1(a130)), ssSkC0, ~(ndr1_0) 46: [c4_0] 47: top(X0) != a114 & top(X0) != a115 | [c5_2(X0,a120)], ~(ssSkP3(X0)), c4_1( X0), c3_0, ~(ndr1_0), ~(c4_0) 48: top(X0) != a114 & top(X0) != a104 | ~(c5_2(X0,a120)), [c3_2(X0, a120)], c2_2(X0,a105), c2_2(X0,a120), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~( ndr1_0) 49: ~(c5_2(a134,a120)), [c1_2(a134,a120)], c4_2(a134,a120), ~(ndr1_1(a134)), ssSkC7 50: ~(c1_2(a134,a120)), ~(ssSkP3(a134)), [c4_1(a134)], c3_0, ~(ndr1_0), ~( c4_0) Gamma_59: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) 41: ~(c5_2(a134,a115)), [c1_2(a134,a115)], c4_2(a134,a115), ~(ndr1_1(a134)), ssSkC7 42: top(X0) != a115 | [c5_2(a114,X0)], c1_2(a114,X0), c4_2(a114,X0), ~( ndr1_1(a114)), c2_0 43: top(X0) != a104 | ~(c5_2(a114,X0)), [c3_2(a114,X0)], c2_2(a114, X0), c2_2(a114,a105), ~(ssSkP0(a114)), ~(ndr1_1(a114)), ssSkC0, ~(ndr1_0) 44: top(X0) != a115 | [c5_2(a130,X0)], c2_2(a130,X0), ~(ndr1_1(a130)), ~( ssSkC4), ~(ssSkC5) 45: top(X0) != a104 | ~(c5_2(a130,X0)), [c3_2(a130,X0)], c2_2(a130, X0), c2_2(a130,a105), ~(ssSkP0(a130)), ~(ndr1_1(a130)), ssSkC0, ~(ndr1_0) 46: [c4_0] 47: top(X0) != a114 & top(X0) != a115 | [c5_2(X0,a120)], ~(ssSkP3(X0)), c4_1( X0), c3_0, ~(ndr1_0), ~(c4_0) 48: top(X0) != a114 & top(X0) != a104 | ~(c5_2(X0,a120)), [c3_2(X0, a120)], c2_2(X0,a105), c2_2(X0,a120), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~( ndr1_0) 49: ~(c5_2(a134,a120)), [c1_2(a134,a120)], c4_2(a134,a120), ~(ndr1_1(a134)), ssSkC7 50: ~(c1_2(a134,a120)), ~(ssSkP3(a134)), [c4_1(a134)], c3_0, ~(ndr1_0), ~( c4_0) 51: [c2_2(X0,a120)], ~(ssSkP3(X0)), c4_1(X0), c3_0, ~(ndr1_0), ~(c4_0) Gamma_60: (extend-no-conflict) 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) 41: ~(c5_2(a134,a115)), [c1_2(a134,a115)], c4_2(a134,a115), ~(ndr1_1(a134)), ssSkC7 42: top(X0) != a115 | [c5_2(a114,X0)], c1_2(a114,X0), c4_2(a114,X0), ~( ndr1_1(a114)), c2_0 43: top(X0) != a104 | ~(c5_2(a114,X0)), [c3_2(a114,X0)], c2_2(a114, X0), c2_2(a114,a105), ~(ssSkP0(a114)), ~(ndr1_1(a114)), ssSkC0, ~(ndr1_0) 44: top(X0) != a115 | [c5_2(a130,X0)], c2_2(a130,X0), ~(ndr1_1(a130)), ~( ssSkC4), ~(ssSkC5) 45: top(X0) != a104 | ~(c5_2(a130,X0)), [c3_2(a130,X0)], c2_2(a130, X0), c2_2(a130,a105), ~(ssSkP0(a130)), ~(ndr1_1(a130)), ssSkC0, ~(ndr1_0) 46: [c4_0] 47: top(X0) != a114 & top(X0) != a115 | [c5_2(X0,a120)], ~(ssSkP3(X0)), c4_1( X0), c3_0, ~(ndr1_0), ~(c4_0) 48: top(X0) != a114 & top(X0) != a104 | ~(c5_2(X0,a120)), [c3_2(X0, a120)], c2_2(X0,a105), c2_2(X0,a120), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~( ndr1_0) 49: ~(c5_2(a134,a120)), [c1_2(a134,a120)], c4_2(a134,a120), ~(ndr1_1(a134)), ssSkC7 50: ~(c1_2(a134,a120)), ~(ssSkP3(a134)), [c4_1(a134)], c3_0, ~(ndr1_0), ~( c4_0) 51: [c2_2(X0,a120)], ~(ssSkP3(X0)), c4_1(X0), c3_0, ~(ndr1_0), ~(c4_0) 52: ~(c3_2(a134,a120)), ~(c1_2(a134,a120)), ~(c2_2(a134,a120)), ~(ndr1_1(a134)), [ssSkC7] 0: [c3_2(X0,a104)], ssSkP0(X0) 1: [c4_2(X0,a104)], ssSkP0(X0) 2: [c5_2(X0,a115)], ssSkP1(X0) 3: [c2_2(X0,a115)], ssSkP1(X0) 4: [c1_2(X0,a116)], ssSkP2(X0) 5: [c5_2(X0,a116)], ssSkP2(X0) 6: [c4_2(X0,a119)], ssSkP3(X0) 7: [c2_2(a106,a107)], ssSkC1 8: [c4_2(a106,a107)], ssSkC1 9: [c1_2(a106,a107)], ssSkC1 10: [c1_2(a125,a126)], ssSkC4 11: [c2_2(a128,a129)], ssSkC5 12: [c4_2(a128,a129)], ssSkC5 13: [ssSkP0(X0)], ndr1_1(X0) 14: [ssSkP1(X0)], ndr1_1(X0) 15: [ssSkP2(X0)], ndr1_1(X0) 16: [ssSkP3(X0)], ndr1_1(X0) 17: [ssSkP4(X0)], ndr1_1(X0) 18: [ndr1_1(a106)], ssSkC1 19: [c3_1(a109)], ssSkC2 20: [ndr1_1(a125)], ssSkC4 21: [c3_1(a128)], ssSkC5 22: [ndr1_1(a128)], ssSkC5 23: [c1_1(a118)], c1_0 24: [c5_1(a118)], c1_0 25: [ssSkC1], ndr1_0 26: [ssSkC2], ndr1_0 27: [ssSkC4], ndr1_0 28: [ssSkC5], ndr1_0 29: ~(ssSkC4), ~(ssSkC5), [ndr1_0] 30: ~(c5_2(a106,a116)), [c3_2(a106,a116)], c2_2(a106,a105), c2_2(a106, a116), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 31: ~(c5_2(a125,a116)), [c3_2(a125,a116)], c2_2(a125,a105), c2_2(a125, a116), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 32: ~(c5_2(a128,a116)), [c3_2(a128,a116)], c2_2(a128,a105), c2_2(a128, a116), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 33: [c1_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 34: [c5_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 35: ~(c5_2(a106,a132)), [c3_2(a106,a132)], c2_2(a106,a105), c2_2(a106, a132), ~(ssSkP0(a106)), ~(ndr1_1(a106)), ssSkC0, ~(ndr1_0) 36: ~(c5_2(a125,a132)), [c3_2(a125,a132)], c2_2(a125,a105), c2_2(a125, a132), ~(ssSkP0(a125)), ~(ndr1_1(a125)), ssSkC0, ~(ndr1_0) 37: ~(c5_2(a128,a132)), [c3_2(a128,a132)], c2_2(a128,a105), c2_2(a128, a132), ~(ssSkP0(a128)), ~(ndr1_1(a128)), ssSkC0, ~(ndr1_0) 38: [c2_2(X0,a132)], ~(ssSkP4(X0)), c5_1(X0), ssSkC6, ~(ndr1_0) 39: top(X0) != a106 | ~(ssSkP4(X0)), [ndr1_1(X0)], c5_1(X0), ssSkC6, ~( ndr1_0) 40: top(X0) != a106 | ~(c5_2(X0,a116)), [c3_2(X0,a116)], c2_2(X0,a105), c2_2( X0,a116), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~(ndr1_0) 41: ~(c5_2(a134,a115)), [c1_2(a134,a115)], c4_2(a134,a115), ~(ndr1_1(a134)), ssSkC7 42: top(X0) != a115 | [c5_2(a114,X0)], c1_2(a114,X0), c4_2(a114,X0), ~( ndr1_1(a114)), c2_0 43: top(X0) != a104 | ~(c5_2(a114,X0)), [c3_2(a114,X0)], c2_2(a114, X0), c2_2(a114,a105), ~(ssSkP0(a114)), ~(ndr1_1(a114)), ssSkC0, ~(ndr1_0) 44: top(X0) != a115 | [c5_2(a130,X0)], c2_2(a130,X0), ~(ndr1_1(a130)), ~( ssSkC4), ~(ssSkC5) 45: top(X0) != a104 | ~(c5_2(a130,X0)), [c3_2(a130,X0)], c2_2(a130, X0), c2_2(a130,a105), ~(ssSkP0(a130)), ~(ndr1_1(a130)), ssSkC0, ~(ndr1_0) 46: [c4_0] 47: top(X0) != a114 & top(X0) != a115 | [c5_2(X0,a120)], ~(ssSkP3(X0)), c4_1( X0), c3_0, ~(ndr1_0), ~(c4_0) 48: top(X0) != a114 & top(X0) != a104 | ~(c5_2(X0,a120)), [c3_2(X0, a120)], c2_2(X0,a105), c2_2(X0,a120), ~(ssSkP0(X0)), ~(ndr1_1(X0)), ssSkC0, ~( ndr1_0) 49: ~(c5_2(a134,a120)), [c1_2(a134,a120)], c4_2(a134,a120), ~(ndr1_1(a134)), ssSkC7 50: ~(c1_2(a134,a120)), ~(ssSkP3(a134)), [c4_1(a134)], c3_0, ~(ndr1_0), ~( c4_0) 51: [c2_2(X0,a120)], ~(ssSkP3(X0)), c4_1(X0), c3_0, ~(ndr1_0), ~(c4_0) 52: ~(c3_2(a134,a120)), ~(c1_2(a134,a120)), ~(c2_2(a134,a120)), ~(ndr1_1(a134)), [ssSkC7] SZS status Satisfiable