%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------% ------ Parsing...successful ------ Proving... use I- not ground preserving Gamma_0: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) Gamma_1: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) Gamma_2: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) Gamma_3: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 Gamma_4: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 Gamma_5: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 Gamma_6: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) Gamma_7: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) Gamma_8: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 Gamma_9: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 Gamma_10: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 Gamma_11: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 Gamma_12: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 Gamma_13: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 Gamma_14: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 Gamma_15: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 Gamma_16: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 Gamma_17: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 Gamma_18: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 Gamma_19: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 Gamma_20: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 Gamma_21: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 Gamma_22: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 Gamma_23: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 Gamma_24: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 Gamma_25: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 Gamma_26: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 Gamma_27: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) Gamma_28: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] Gamma_29: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) Gamma_30: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) Gamma_31: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) Gamma_32: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) Gamma_33: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) Gamma_34: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) Gamma_35: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) Gamma_36: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) Gamma_37: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) Gamma_38: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) Gamma_39: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~(ndr1_0) Gamma_40: (right-split) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: top(X0) != a458 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) Gamma_41: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: top(X0) != a458 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) 40: [c2_1(X0)], c3_1(X0), c1_0, ~(ndr1_0) Gamma_42: (right-split) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: top(X0) != a458 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) 40: top(X0) != a449 | [c2_1(X0)], c3_1(X0), c1_0, ~(ndr1_0) Gamma_43: (extend-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: top(X0) != a458 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) 40: top(X0) != a449 | [c2_1(X0)], c3_1(X0), c1_0, ~(ndr1_0) 41: [~(c1_1(a460))], ~(ssSkC2), ~(c3_0) Gamma_44: (move) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: [~(c1_1(a460))], ~(ssSkC2), ~(c3_0) 40: top(X0) != a458 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) 41: top(X0) != a449 | [c2_1(X0)], c3_1(X0), c1_0, ~(ndr1_0) Gamma_45: (right-split) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: [~(c1_1(a460))], ~(ssSkC2), ~(c3_0) 40: ~(ssSkP1(a460)), [c1_1(a460)], ndr1_1(a460), ssSkC3, ~(ndr1_0) 41: top(X0) != a460 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) 42: top(X0) != a449 | [c2_1(X0)], c3_1(X0), c1_0, ~(ndr1_0) Gamma_46: (right-split) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: [~(c1_1(a460))], ~(ssSkC2), ~(c3_0) 40: ~(ssSkP1(a460)), [c1_1(a460)], ndr1_1(a460), ssSkC3, ~(ndr1_0) 41: top(X0) != a460 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) 42: top(X0) != a449 | [c2_1(X0)], c3_1(X0), c1_0, ~(ndr1_0) Gamma_47: (resolve) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: [~(c1_1(a460))], ~(ssSkC2), ~(c3_0) 40: [~(ssSkP1(a460))], ndr1_1(a460), ssSkC3, ~(ssSkC2), ~(c3_0), ~( ndr1_0) 41: top(X0) != a460 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) 42: top(X0) != a449 | [c2_1(X0)], c3_1(X0), c1_0, ~(ndr1_0) Gamma_48: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: [~(c1_1(a460))], ~(ssSkC2), ~(c3_0) 40: ~(ssSkP1(a460)), [ndr1_1(a460)], ssSkC3, ~(ssSkC2), ~(c3_0), ~( ndr1_0) 41: top(X0) != a460 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) 42: top(X0) != a449 | [c2_1(X0)], c3_1(X0), c1_0, ~(ndr1_0) Gamma_49: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: [~(c1_1(a460))], ~(ssSkC2), ~(c3_0) 40: ~(ssSkP1(a460)), [ndr1_1(a460)], ssSkC3, ~(ssSkC2), ~(c3_0), ~( ndr1_0) 41: top(X0) != a460 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) 42: top(X0) != a449 | [c2_1(X0)], c3_1(X0), c1_0, ~(ndr1_0) 43: [c4_2(a460,a443)], c3_2(a460,a469), ~(c3_2(a460,a443)), ~(c5_2(a460,a469)), c1_2( a460,a443), ~(ssSkP0(X0)), ~(c2_1(X0)), ndr1_1(X0), ~(ndr1_1(a460)), c1_0, ~( ndr1_0) Gamma_50: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: [~(c1_1(a460))], ~(ssSkC2), ~(c3_0) 40: ~(ssSkP1(a460)), [ndr1_1(a460)], ssSkC3, ~(ssSkC2), ~(c3_0), ~( ndr1_0) 41: top(X0) != a460 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) 42: top(X0) != a449 | [c2_1(X0)], c3_1(X0), c1_0, ~(ndr1_0) 43: [c4_2(a460,a443)], c3_2(a460,a469), ~(c3_2(a460,a443)), ~(c5_2(a460,a469)), c1_2( a460,a443), ~(ssSkP0(X0)), ~(c2_1(X0)), ndr1_1(X0), ~(ndr1_1(a460)), c1_0, ~( ndr1_0) 44: [c3_2(a460,X0)], ~(ndr1_1(a460)), ~(ssSkC2), ~(c3_0) Gamma_51: (right-split) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: [~(c1_1(a460))], ~(ssSkC2), ~(c3_0) 40: ~(ssSkP1(a460)), [ndr1_1(a460)], ssSkC3, ~(ssSkC2), ~(c3_0), ~( ndr1_0) 41: top(X0) != a460 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) 42: top(X0) != a449 | [c2_1(X0)], c3_1(X0), c1_0, ~(ndr1_0) 43: [c4_2(a460,a443)], c3_2(a460,a469), ~(c3_2(a460,a443)), ~(c5_2(a460,a469)), c1_2( a460,a443), ~(ssSkP0(X0)), ~(c2_1(X0)), ndr1_1(X0), ~(ndr1_1(a460)), c1_0, ~( ndr1_0) 44: top(X0) != a443 | [c3_2(a460,X0)], ~(ndr1_1(a460)), ~(ssSkC2), ~( c3_0) Gamma_52: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: [~(c1_1(a460))], ~(ssSkC2), ~(c3_0) 40: ~(ssSkP1(a460)), [ndr1_1(a460)], ssSkC3, ~(ssSkC2), ~(c3_0), ~( ndr1_0) 41: top(X0) != a460 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) 42: top(X0) != a449 | [c2_1(X0)], c3_1(X0), c1_0, ~(ndr1_0) 43: [c4_2(a460,a443)], c3_2(a460,a469), ~(c3_2(a460,a443)), ~(c5_2(a460,a469)), c1_2( a460,a443), ~(ssSkP0(X0)), ~(c2_1(X0)), ndr1_1(X0), ~(ndr1_1(a460)), c1_0, ~( ndr1_0) 44: top(X0) != a443 | [c3_2(a460,X0)], ~(ndr1_1(a460)), ~(ssSkC2), ~( c3_0) 45: ~(c2_1(a464)), [c2_0] Gamma_53: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: [~(c1_1(a460))], ~(ssSkC2), ~(c3_0) 40: ~(ssSkP1(a460)), [ndr1_1(a460)], ssSkC3, ~(ssSkC2), ~(c3_0), ~( ndr1_0) 41: top(X0) != a460 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) 42: top(X0) != a449 | [c2_1(X0)], c3_1(X0), c1_0, ~(ndr1_0) 43: [c4_2(a460,a443)], c3_2(a460,a469), ~(c3_2(a460,a443)), ~(c5_2(a460,a469)), c1_2( a460,a443), ~(ssSkP0(X0)), ~(c2_1(X0)), ndr1_1(X0), ~(ndr1_1(a460)), c1_0, ~( ndr1_0) 44: top(X0) != a443 | [c3_2(a460,X0)], ~(ndr1_1(a460)), ~(ssSkC2), ~( c3_0) 45: ~(c2_1(a464)), [c2_0] 46: [c1_2(a461,a462)], ~(c2_0), c1_0 Gamma_54: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: [~(c1_1(a460))], ~(ssSkC2), ~(c3_0) 40: ~(ssSkP1(a460)), [ndr1_1(a460)], ssSkC3, ~(ssSkC2), ~(c3_0), ~( ndr1_0) 41: top(X0) != a460 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) 42: top(X0) != a449 | [c2_1(X0)], c3_1(X0), c1_0, ~(ndr1_0) 43: [c4_2(a460,a443)], c3_2(a460,a469), ~(c3_2(a460,a443)), ~(c5_2(a460,a469)), c1_2( a460,a443), ~(ssSkP0(X0)), ~(c2_1(X0)), ndr1_1(X0), ~(ndr1_1(a460)), c1_0, ~( ndr1_0) 44: top(X0) != a443 | [c3_2(a460,X0)], ~(ndr1_1(a460)), ~(ssSkC2), ~( c3_0) 45: ~(c2_1(a464)), [c2_0] 46: [c1_2(a461,a462)], ~(c2_0), c1_0 47: [c1_2(a461,a463)], ~(c2_0), c1_0 Gamma_55: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: [~(c1_1(a460))], ~(ssSkC2), ~(c3_0) 40: ~(ssSkP1(a460)), [ndr1_1(a460)], ssSkC3, ~(ssSkC2), ~(c3_0), ~( ndr1_0) 41: top(X0) != a460 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) 42: top(X0) != a449 | [c2_1(X0)], c3_1(X0), c1_0, ~(ndr1_0) 43: [c4_2(a460,a443)], c3_2(a460,a469), ~(c3_2(a460,a443)), ~(c5_2(a460,a469)), c1_2( a460,a443), ~(ssSkP0(X0)), ~(c2_1(X0)), ndr1_1(X0), ~(ndr1_1(a460)), c1_0, ~( ndr1_0) 44: top(X0) != a443 | [c3_2(a460,X0)], ~(ndr1_1(a460)), ~(ssSkC2), ~( c3_0) 45: ~(c2_1(a464)), [c2_0] 46: [c1_2(a461,a462)], ~(c2_0), c1_0 47: [c1_2(a461,a463)], ~(c2_0), c1_0 48: [c2_2(a461,a463)], ~(c2_0), c1_0 Gamma_56: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: [~(c1_1(a460))], ~(ssSkC2), ~(c3_0) 40: ~(ssSkP1(a460)), [ndr1_1(a460)], ssSkC3, ~(ssSkC2), ~(c3_0), ~( ndr1_0) 41: top(X0) != a460 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) 42: top(X0) != a449 | [c2_1(X0)], c3_1(X0), c1_0, ~(ndr1_0) 43: [c4_2(a460,a443)], c3_2(a460,a469), ~(c3_2(a460,a443)), ~(c5_2(a460,a469)), c1_2( a460,a443), ~(ssSkP0(X0)), ~(c2_1(X0)), ndr1_1(X0), ~(ndr1_1(a460)), c1_0, ~( ndr1_0) 44: top(X0) != a443 | [c3_2(a460,X0)], ~(ndr1_1(a460)), ~(ssSkC2), ~( c3_0) 45: ~(c2_1(a464)), [c2_0] 46: [c1_2(a461,a462)], ~(c2_0), c1_0 47: [c1_2(a461,a463)], ~(c2_0), c1_0 48: [c2_2(a461,a463)], ~(c2_0), c1_0 49: [ndr1_1(a461)], ~(c2_0), c1_0 Gamma_57: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: [~(c1_1(a460))], ~(ssSkC2), ~(c3_0) 40: ~(ssSkP1(a460)), [ndr1_1(a460)], ssSkC3, ~(ssSkC2), ~(c3_0), ~( ndr1_0) 41: top(X0) != a460 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) 42: top(X0) != a449 | [c2_1(X0)], c3_1(X0), c1_0, ~(ndr1_0) 43: [c4_2(a460,a443)], c3_2(a460,a469), ~(c3_2(a460,a443)), ~(c5_2(a460,a469)), c1_2( a460,a443), ~(ssSkP0(X0)), ~(c2_1(X0)), ndr1_1(X0), ~(ndr1_1(a460)), c1_0, ~( ndr1_0) 44: top(X0) != a443 | [c3_2(a460,X0)], ~(ndr1_1(a460)), ~(ssSkC2), ~( c3_0) 45: ~(c2_1(a464)), [c2_0] 46: [c1_2(a461,a462)], ~(c2_0), c1_0 47: [c1_2(a461,a463)], ~(c2_0), c1_0 48: [c2_2(a461,a463)], ~(c2_0), c1_0 49: [ndr1_1(a461)], ~(c2_0), c1_0 50: [c4_2(a461,a443)], ~(c3_2(a460,a444)), c3_2(a461,a469), ~(c3_2(a461,a443)), ~( c5_2(a461,a469)), c1_2(a461,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ~( ndr1_1(a461)), c1_0, ~(ndr1_0) Gamma_58: (extend-no-conflict) 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: [~(c1_1(a460))], ~(ssSkC2), ~(c3_0) 40: ~(ssSkP1(a460)), [ndr1_1(a460)], ssSkC3, ~(ssSkC2), ~(c3_0), ~( ndr1_0) 41: top(X0) != a460 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) 42: top(X0) != a449 | [c2_1(X0)], c3_1(X0), c1_0, ~(ndr1_0) 43: [c4_2(a460,a443)], c3_2(a460,a469), ~(c3_2(a460,a443)), ~(c5_2(a460,a469)), c1_2( a460,a443), ~(ssSkP0(X0)), ~(c2_1(X0)), ndr1_1(X0), ~(ndr1_1(a460)), c1_0, ~( ndr1_0) 44: top(X0) != a443 | [c3_2(a460,X0)], ~(ndr1_1(a460)), ~(ssSkC2), ~( c3_0) 45: ~(c2_1(a464)), [c2_0] 46: [c1_2(a461,a462)], ~(c2_0), c1_0 47: [c1_2(a461,a463)], ~(c2_0), c1_0 48: [c2_2(a461,a463)], ~(c2_0), c1_0 49: [ndr1_1(a461)], ~(c2_0), c1_0 50: [c4_2(a461,a443)], ~(c3_2(a460,a444)), c3_2(a461,a469), ~(c3_2(a461,a443)), ~( c5_2(a461,a469)), c1_2(a461,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ~( ndr1_1(a461)), c1_0, ~(ndr1_0) 51: [c4_0] 0: [c3_2(X0,a443)], ssSkP0(X0) 1: [c5_2(X0,a468)], ssSkP1(X0) 2: [c2_2(X0,a468)], ssSkP1(X0) 3: [c5_2(a453,a454)], ssSkC1 4: [c5_2(a458,a459)], ssSkC2 5: [c1_2(a465,a466)], c2_0 6: [ssSkP0(X0)], ndr1_1(X0) 7: [ssSkP1(X0)], ndr1_1(X0) 8: [ndr1_1(a447)], ssSkC0 9: [c3_2(a447,a468)], ~(c5_2(a447,a468)), c1_2(a447,a468), ~(ndr1_1(a447)), ssSkC0 10: [ndr1_1(a453)], ssSkC1 11: [c1_1(a458)], ssSkC2 12: [ndr1_1(a458)], ssSkC2 13: [c3_1(a445)], c3_0 14: [ndr1_1(a445)], c3_0 15: [c3_1(a464)], c2_0 16: [ndr1_1(a465)], c2_0 17: [c5_1(a467)], c1_0 18: [c4_1(a467)], c1_0 19: [ssSkC0], ndr1_0 20: [c5_2(a449,a450)], ~(ssSkC0), c2_0 21: [c2_1(a449)], ~(ssSkC0), c2_0 22: [c1_1(a449)], ~(ssSkC0), c2_0 23: [ndr1_1(a449)], ~(ssSkC0), c2_0 24: [ssSkC1], ndr1_0 25: [ssSkC2], ndr1_0 26: [c3_0], ndr1_0 27: [c2_1(a460)], ~(ssSkC2), ~(c3_0) 28: ~(ssSkC2), ~(c3_0), [ndr1_0] 29: [c4_2(a449,a443)], ~(c3_2(a449,a443)), c3_2(a449,a468), ~(c5_2(a449,a468)), c1_2( a449,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a449)), c1_0, ~( ndr1_0) 30: [c4_2(a453,a443)], ~(c3_2(a453,a443)), c3_2(a453,a468), ~(c5_2(a453,a468)), c1_2( a453,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a453)), c1_0, ~( ndr1_0) 31: [c4_2(a458,a443)], ~(c3_2(a458,a443)), c3_2(a458,a468), ~(c5_2(a458,a468)), c1_2( a458,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a458)), c1_0, ~( ndr1_0) 32: [c4_2(a445,a443)], ~(c3_2(a445,a443)), c3_2(a445,a468), ~(c5_2(a445,a468)), c1_2( a445,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a445)), c1_0, ~( ndr1_0) 33: [c4_2(a465,a443)], ~(c3_2(a465,a443)), c3_2(a465,a468), ~(c5_2(a465,a468)), c1_2( a465,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a465)), c1_0, ~( ndr1_0) 34: [c2_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 35: [c4_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 36: [c5_2(X0,a469)], ~(ssSkP1(X0)), c1_1(X0), ssSkC3, ~(ndr1_0) 37: [c4_2(a447,a468)], c3_2(a447,a469), ~(c3_2(a447,a468)), ~(c5_2(a447,a469)), c1_2( a447,a468), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 38: [c4_2(a447,a443)], c3_2(a447,a469), ~(c3_2(a447,a443)), ~(c5_2(a447,a469)), c1_2( a447,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ndr1_1(a460), ~(ndr1_1(a447)), c1_0, ~( ndr1_0) 39: [~(c1_1(a460))], ~(ssSkC2), ~(c3_0) 40: ~(ssSkP1(a460)), [ndr1_1(a460)], ssSkC3, ~(ssSkC2), ~(c3_0), ~( ndr1_0) 41: top(X0) != a460 | ~(ssSkP1(X0)), [c1_1(X0)], ndr1_1(X0), ssSkC3, ~( ndr1_0) 42: top(X0) != a449 | [c2_1(X0)], c3_1(X0), c1_0, ~(ndr1_0) 43: [c4_2(a460,a443)], c3_2(a460,a469), ~(c3_2(a460,a443)), ~(c5_2(a460,a469)), c1_2( a460,a443), ~(ssSkP0(X0)), ~(c2_1(X0)), ndr1_1(X0), ~(ndr1_1(a460)), c1_0, ~( ndr1_0) 44: top(X0) != a443 | [c3_2(a460,X0)], ~(ndr1_1(a460)), ~(ssSkC2), ~( c3_0) 45: ~(c2_1(a464)), [c2_0] 46: [c1_2(a461,a462)], ~(c2_0), c1_0 47: [c1_2(a461,a463)], ~(c2_0), c1_0 48: [c2_2(a461,a463)], ~(c2_0), c1_0 49: [ndr1_1(a461)], ~(c2_0), c1_0 50: [c4_2(a461,a443)], ~(c3_2(a460,a444)), c3_2(a461,a469), ~(c3_2(a461,a443)), ~( c5_2(a461,a469)), c1_2(a461,a443), ~(ssSkP0(a460)), ~(c2_1(a460)), ~( ndr1_1(a461)), c1_0, ~(ndr1_0) 51: [c4_0] SZS status Satisfiable