%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------% ------ Parsing...successful ------ Proving... use I- not ground preserving Gamma_0: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 Gamma_1: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 Gamma_2: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 Gamma_3: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 Gamma_4: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 Gamma_5: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 Gamma_6: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 Gamma_7: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 Gamma_8: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 Gamma_9: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 Gamma_10: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 Gamma_11: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 Gamma_12: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 Gamma_13: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 Gamma_14: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1(a326), c5_0 Gamma_15: (right-split) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 Gamma_16: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 Gamma_17: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 Gamma_18: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 Gamma_19: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 Gamma_20: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 Gamma_21: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 Gamma_22: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 Gamma_23: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 Gamma_24: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 Gamma_25: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 Gamma_26: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 Gamma_27: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 Gamma_28: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 Gamma_29: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 Gamma_30: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 Gamma_31: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 Gamma_32: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 Gamma_33: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 Gamma_34: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 Gamma_35: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 Gamma_36: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 Gamma_37: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 Gamma_38: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 Gamma_39: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] Gamma_40: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) Gamma_41: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) Gamma_42: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) Gamma_43: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) Gamma_44: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) Gamma_45: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) Gamma_46: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) Gamma_47: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1(X1), c4_1(a335), c4_1( a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~(ndr1_0) Gamma_48: (right-split) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: top(X0) != a336 | [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1( X1), c4_1(a335), c4_1(a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~( ndr1_0) Gamma_49: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: top(X0) != a336 | [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1( X1), c4_1(a335), c4_1(a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~( ndr1_0) 47: [c4_2(a344,X0)], c5_2(a344,X0), c1_1(X1), c5_1(X1), c4_1(a344), c4_1( a343), ~(ndr1_1(a344)), c2_1(a344), ~(c2_1(a343)), ~(ndr1_0) Gamma_50: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: top(X0) != a336 | [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1( X1), c4_1(a335), c4_1(a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~( ndr1_0) 47: [c4_2(a344,X0)], c5_2(a344,X0), c1_1(X1), c5_1(X1), c4_1(a344), c4_1( a343), ~(ndr1_1(a344)), c2_1(a344), ~(c2_1(a343)), ~(ndr1_0) 48: [c4_2(a353,X0)], c5_2(a353,X0), c1_1(X1), c5_1(X1), c4_1(a353), c4_1( a343), ~(ndr1_1(a353)), c2_1(a353), ~(c2_1(a343)), ~(ndr1_0) Gamma_51: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: top(X0) != a336 | [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1( X1), c4_1(a335), c4_1(a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~( ndr1_0) 47: [c4_2(a344,X0)], c5_2(a344,X0), c1_1(X1), c5_1(X1), c4_1(a344), c4_1( a343), ~(ndr1_1(a344)), c2_1(a344), ~(c2_1(a343)), ~(ndr1_0) 48: [c4_2(a353,X0)], c5_2(a353,X0), c1_1(X1), c5_1(X1), c4_1(a353), c4_1( a343), ~(ndr1_1(a353)), c2_1(a353), ~(c2_1(a343)), ~(ndr1_0) 49: [c4_2(a355,X0)], c5_2(a355,X0), c1_1(X1), c5_1(X1), c4_1(a355), c4_1( a343), ~(ndr1_1(a355)), c2_1(a355), ~(c2_1(a343)), ~(ndr1_0) Gamma_52: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: top(X0) != a336 | [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1( X1), c4_1(a335), c4_1(a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~( ndr1_0) 47: [c4_2(a344,X0)], c5_2(a344,X0), c1_1(X1), c5_1(X1), c4_1(a344), c4_1( a343), ~(ndr1_1(a344)), c2_1(a344), ~(c2_1(a343)), ~(ndr1_0) 48: [c4_2(a353,X0)], c5_2(a353,X0), c1_1(X1), c5_1(X1), c4_1(a353), c4_1( a343), ~(ndr1_1(a353)), c2_1(a353), ~(c2_1(a343)), ~(ndr1_0) 49: [c4_2(a355,X0)], c5_2(a355,X0), c1_1(X1), c5_1(X1), c4_1(a355), c4_1( a343), ~(ndr1_1(a355)), c2_1(a355), ~(c2_1(a343)), ~(ndr1_0) 50: [c4_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~(ndr1_0) Gamma_53: (right-split) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: top(X0) != a336 | [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1( X1), c4_1(a335), c4_1(a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~( ndr1_0) 47: [c4_2(a344,X0)], c5_2(a344,X0), c1_1(X1), c5_1(X1), c4_1(a344), c4_1( a343), ~(ndr1_1(a344)), c2_1(a344), ~(c2_1(a343)), ~(ndr1_0) 48: [c4_2(a353,X0)], c5_2(a353,X0), c1_1(X1), c5_1(X1), c4_1(a353), c4_1( a343), ~(ndr1_1(a353)), c2_1(a353), ~(c2_1(a343)), ~(ndr1_0) 49: [c4_2(a355,X0)], c5_2(a355,X0), c1_1(X1), c5_1(X1), c4_1(a355), c4_1( a343), ~(ndr1_1(a355)), c2_1(a355), ~(c2_1(a343)), ~(ndr1_0) 50: top(X0) != a331 | [c4_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~( ndr1_0) Gamma_54: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: top(X0) != a336 | [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1( X1), c4_1(a335), c4_1(a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~( ndr1_0) 47: [c4_2(a344,X0)], c5_2(a344,X0), c1_1(X1), c5_1(X1), c4_1(a344), c4_1( a343), ~(ndr1_1(a344)), c2_1(a344), ~(c2_1(a343)), ~(ndr1_0) 48: [c4_2(a353,X0)], c5_2(a353,X0), c1_1(X1), c5_1(X1), c4_1(a353), c4_1( a343), ~(ndr1_1(a353)), c2_1(a353), ~(c2_1(a343)), ~(ndr1_0) 49: [c4_2(a355,X0)], c5_2(a355,X0), c1_1(X1), c5_1(X1), c4_1(a355), c4_1( a343), ~(ndr1_1(a355)), c2_1(a355), ~(c2_1(a343)), ~(ndr1_0) 50: top(X0) != a331 | [c4_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~( ndr1_0) 51: ~(c4_2(a346,a334)), [c5_2(a346,a334)], c1_2(a346,a334), c2_2(a348, a349), c2_2(a346,a350), ~(c3_1(a346)), ~(ndr1_1(a346)), ~(ndr1_0) Gamma_55: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: top(X0) != a336 | [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1( X1), c4_1(a335), c4_1(a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~( ndr1_0) 47: [c4_2(a344,X0)], c5_2(a344,X0), c1_1(X1), c5_1(X1), c4_1(a344), c4_1( a343), ~(ndr1_1(a344)), c2_1(a344), ~(c2_1(a343)), ~(ndr1_0) 48: [c4_2(a353,X0)], c5_2(a353,X0), c1_1(X1), c5_1(X1), c4_1(a353), c4_1( a343), ~(ndr1_1(a353)), c2_1(a353), ~(c2_1(a343)), ~(ndr1_0) 49: [c4_2(a355,X0)], c5_2(a355,X0), c1_1(X1), c5_1(X1), c4_1(a355), c4_1( a343), ~(ndr1_1(a355)), c2_1(a355), ~(c2_1(a343)), ~(ndr1_0) 50: top(X0) != a331 | [c4_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~( ndr1_0) 51: ~(c4_2(a346,a334)), [c5_2(a346,a334)], c1_2(a346,a334), c2_2(a348, a349), c2_2(a346,a350), ~(c3_1(a346)), ~(ndr1_1(a346)), ~(ndr1_0) 52: [c2_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~(ndr1_0) Gamma_56: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: top(X0) != a336 | [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1( X1), c4_1(a335), c4_1(a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~( ndr1_0) 47: [c4_2(a344,X0)], c5_2(a344,X0), c1_1(X1), c5_1(X1), c4_1(a344), c4_1( a343), ~(ndr1_1(a344)), c2_1(a344), ~(c2_1(a343)), ~(ndr1_0) 48: [c4_2(a353,X0)], c5_2(a353,X0), c1_1(X1), c5_1(X1), c4_1(a353), c4_1( a343), ~(ndr1_1(a353)), c2_1(a353), ~(c2_1(a343)), ~(ndr1_0) 49: [c4_2(a355,X0)], c5_2(a355,X0), c1_1(X1), c5_1(X1), c4_1(a355), c4_1( a343), ~(ndr1_1(a355)), c2_1(a355), ~(c2_1(a343)), ~(ndr1_0) 50: top(X0) != a331 | [c4_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~( ndr1_0) 51: ~(c4_2(a346,a334)), [c5_2(a346,a334)], c1_2(a346,a334), c2_2(a348, a349), c2_2(a346,a350), ~(c3_1(a346)), ~(ndr1_1(a346)), ~(ndr1_0) 52: [c2_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~(ndr1_0) 53: [c5_1(X0)], c3_1(X0), ndr1_1(X0), c1_0, ~(ndr1_0) Gamma_57: (right-split) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: top(X0) != a336 | [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1( X1), c4_1(a335), c4_1(a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~( ndr1_0) 47: [c4_2(a344,X0)], c5_2(a344,X0), c1_1(X1), c5_1(X1), c4_1(a344), c4_1( a343), ~(ndr1_1(a344)), c2_1(a344), ~(c2_1(a343)), ~(ndr1_0) 48: [c4_2(a353,X0)], c5_2(a353,X0), c1_1(X1), c5_1(X1), c4_1(a353), c4_1( a343), ~(ndr1_1(a353)), c2_1(a353), ~(c2_1(a343)), ~(ndr1_0) 49: [c4_2(a355,X0)], c5_2(a355,X0), c1_1(X1), c5_1(X1), c4_1(a355), c4_1( a343), ~(ndr1_1(a355)), c2_1(a355), ~(c2_1(a343)), ~(ndr1_0) 50: top(X0) != a331 | [c4_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~( ndr1_0) 51: ~(c4_2(a346,a334)), [c5_2(a346,a334)], c1_2(a346,a334), c2_2(a348, a349), c2_2(a346,a350), ~(c3_1(a346)), ~(ndr1_1(a346)), ~(ndr1_0) 52: [c2_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~(ndr1_0) 53: top(X0) != a328 | [c5_1(X0)], c3_1(X0), ndr1_1(X0), c1_0, ~(ndr1_0) Gamma_58: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: top(X0) != a336 | [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1( X1), c4_1(a335), c4_1(a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~( ndr1_0) 47: [c4_2(a344,X0)], c5_2(a344,X0), c1_1(X1), c5_1(X1), c4_1(a344), c4_1( a343), ~(ndr1_1(a344)), c2_1(a344), ~(c2_1(a343)), ~(ndr1_0) 48: [c4_2(a353,X0)], c5_2(a353,X0), c1_1(X1), c5_1(X1), c4_1(a353), c4_1( a343), ~(ndr1_1(a353)), c2_1(a353), ~(c2_1(a343)), ~(ndr1_0) 49: [c4_2(a355,X0)], c5_2(a355,X0), c1_1(X1), c5_1(X1), c4_1(a355), c4_1( a343), ~(ndr1_1(a355)), c2_1(a355), ~(c2_1(a343)), ~(ndr1_0) 50: top(X0) != a331 | [c4_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~( ndr1_0) 51: ~(c4_2(a346,a334)), [c5_2(a346,a334)], c1_2(a346,a334), c2_2(a348, a349), c2_2(a346,a350), ~(c3_1(a346)), ~(ndr1_1(a346)), ~(ndr1_0) 52: [c2_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~(ndr1_0) 53: top(X0) != a328 | [c5_1(X0)], c3_1(X0), ndr1_1(X0), c1_0, ~(ndr1_0) 54: ~(c5_0), [c2_0] Gamma_59: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: top(X0) != a336 | [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1( X1), c4_1(a335), c4_1(a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~( ndr1_0) 47: [c4_2(a344,X0)], c5_2(a344,X0), c1_1(X1), c5_1(X1), c4_1(a344), c4_1( a343), ~(ndr1_1(a344)), c2_1(a344), ~(c2_1(a343)), ~(ndr1_0) 48: [c4_2(a353,X0)], c5_2(a353,X0), c1_1(X1), c5_1(X1), c4_1(a353), c4_1( a343), ~(ndr1_1(a353)), c2_1(a353), ~(c2_1(a343)), ~(ndr1_0) 49: [c4_2(a355,X0)], c5_2(a355,X0), c1_1(X1), c5_1(X1), c4_1(a355), c4_1( a343), ~(ndr1_1(a355)), c2_1(a355), ~(c2_1(a343)), ~(ndr1_0) 50: top(X0) != a331 | [c4_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~( ndr1_0) 51: ~(c4_2(a346,a334)), [c5_2(a346,a334)], c1_2(a346,a334), c2_2(a348, a349), c2_2(a346,a350), ~(c3_1(a346)), ~(ndr1_1(a346)), ~(ndr1_0) 52: [c2_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~(ndr1_0) 53: top(X0) != a328 | [c5_1(X0)], c3_1(X0), ndr1_1(X0), c1_0, ~(ndr1_0) 54: ~(c5_0), [c2_0] 55: ~(c4_0), [epred1_0] Gamma_60: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: top(X0) != a336 | [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1( X1), c4_1(a335), c4_1(a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~( ndr1_0) 47: [c4_2(a344,X0)], c5_2(a344,X0), c1_1(X1), c5_1(X1), c4_1(a344), c4_1( a343), ~(ndr1_1(a344)), c2_1(a344), ~(c2_1(a343)), ~(ndr1_0) 48: [c4_2(a353,X0)], c5_2(a353,X0), c1_1(X1), c5_1(X1), c4_1(a353), c4_1( a343), ~(ndr1_1(a353)), c2_1(a353), ~(c2_1(a343)), ~(ndr1_0) 49: [c4_2(a355,X0)], c5_2(a355,X0), c1_1(X1), c5_1(X1), c4_1(a355), c4_1( a343), ~(ndr1_1(a355)), c2_1(a355), ~(c2_1(a343)), ~(ndr1_0) 50: top(X0) != a331 | [c4_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~( ndr1_0) 51: ~(c4_2(a346,a334)), [c5_2(a346,a334)], c1_2(a346,a334), c2_2(a348, a349), c2_2(a346,a350), ~(c3_1(a346)), ~(ndr1_1(a346)), ~(ndr1_0) 52: [c2_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~(ndr1_0) 53: top(X0) != a328 | [c5_1(X0)], c3_1(X0), ndr1_1(X0), c1_0, ~(ndr1_0) 54: ~(c5_0), [c2_0] 55: ~(c4_0), [epred1_0] 56: [c4_2(a318,a319)], c3_2(a316,a317), ~(epred1_0) Gamma_61: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: top(X0) != a336 | [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1( X1), c4_1(a335), c4_1(a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~( ndr1_0) 47: [c4_2(a344,X0)], c5_2(a344,X0), c1_1(X1), c5_1(X1), c4_1(a344), c4_1( a343), ~(ndr1_1(a344)), c2_1(a344), ~(c2_1(a343)), ~(ndr1_0) 48: [c4_2(a353,X0)], c5_2(a353,X0), c1_1(X1), c5_1(X1), c4_1(a353), c4_1( a343), ~(ndr1_1(a353)), c2_1(a353), ~(c2_1(a343)), ~(ndr1_0) 49: [c4_2(a355,X0)], c5_2(a355,X0), c1_1(X1), c5_1(X1), c4_1(a355), c4_1( a343), ~(ndr1_1(a355)), c2_1(a355), ~(c2_1(a343)), ~(ndr1_0) 50: top(X0) != a331 | [c4_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~( ndr1_0) 51: ~(c4_2(a346,a334)), [c5_2(a346,a334)], c1_2(a346,a334), c2_2(a348, a349), c2_2(a346,a350), ~(c3_1(a346)), ~(ndr1_1(a346)), ~(ndr1_0) 52: [c2_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~(ndr1_0) 53: top(X0) != a328 | [c5_1(X0)], c3_1(X0), ndr1_1(X0), c1_0, ~(ndr1_0) 54: ~(c5_0), [c2_0] 55: ~(c4_0), [epred1_0] 56: [c4_2(a318,a319)], c3_2(a316,a317), ~(epred1_0) 57: [c3_2(a316,a317)], c2_2(a318,a319), ~(epred1_0) Gamma_62: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: top(X0) != a336 | [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1( X1), c4_1(a335), c4_1(a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~( ndr1_0) 47: [c4_2(a344,X0)], c5_2(a344,X0), c1_1(X1), c5_1(X1), c4_1(a344), c4_1( a343), ~(ndr1_1(a344)), c2_1(a344), ~(c2_1(a343)), ~(ndr1_0) 48: [c4_2(a353,X0)], c5_2(a353,X0), c1_1(X1), c5_1(X1), c4_1(a353), c4_1( a343), ~(ndr1_1(a353)), c2_1(a353), ~(c2_1(a343)), ~(ndr1_0) 49: [c4_2(a355,X0)], c5_2(a355,X0), c1_1(X1), c5_1(X1), c4_1(a355), c4_1( a343), ~(ndr1_1(a355)), c2_1(a355), ~(c2_1(a343)), ~(ndr1_0) 50: top(X0) != a331 | [c4_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~( ndr1_0) 51: ~(c4_2(a346,a334)), [c5_2(a346,a334)], c1_2(a346,a334), c2_2(a348, a349), c2_2(a346,a350), ~(c3_1(a346)), ~(ndr1_1(a346)), ~(ndr1_0) 52: [c2_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~(ndr1_0) 53: top(X0) != a328 | [c5_1(X0)], c3_1(X0), ndr1_1(X0), c1_0, ~(ndr1_0) 54: ~(c5_0), [c2_0] 55: ~(c4_0), [epred1_0] 56: [c4_2(a318,a319)], c3_2(a316,a317), ~(epred1_0) 57: [c3_2(a316,a317)], c2_2(a318,a319), ~(epred1_0) 58: [c2_2(a318,a319)], c2_2(a316,a317), ~(epred1_0) Gamma_63: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: top(X0) != a336 | [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1( X1), c4_1(a335), c4_1(a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~( ndr1_0) 47: [c4_2(a344,X0)], c5_2(a344,X0), c1_1(X1), c5_1(X1), c4_1(a344), c4_1( a343), ~(ndr1_1(a344)), c2_1(a344), ~(c2_1(a343)), ~(ndr1_0) 48: [c4_2(a353,X0)], c5_2(a353,X0), c1_1(X1), c5_1(X1), c4_1(a353), c4_1( a343), ~(ndr1_1(a353)), c2_1(a353), ~(c2_1(a343)), ~(ndr1_0) 49: [c4_2(a355,X0)], c5_2(a355,X0), c1_1(X1), c5_1(X1), c4_1(a355), c4_1( a343), ~(ndr1_1(a355)), c2_1(a355), ~(c2_1(a343)), ~(ndr1_0) 50: top(X0) != a331 | [c4_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~( ndr1_0) 51: ~(c4_2(a346,a334)), [c5_2(a346,a334)], c1_2(a346,a334), c2_2(a348, a349), c2_2(a346,a350), ~(c3_1(a346)), ~(ndr1_1(a346)), ~(ndr1_0) 52: [c2_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~(ndr1_0) 53: top(X0) != a328 | [c5_1(X0)], c3_1(X0), ndr1_1(X0), c1_0, ~(ndr1_0) 54: ~(c5_0), [c2_0] 55: ~(c4_0), [epred1_0] 56: [c4_2(a318,a319)], c3_2(a316,a317), ~(epred1_0) 57: [c3_2(a316,a317)], c2_2(a318,a319), ~(epred1_0) 58: [c2_2(a318,a319)], c2_2(a316,a317), ~(epred1_0) 59: [c2_2(a318,a320)], c2_2(a316,a317), ~(epred1_0) Gamma_64: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: top(X0) != a336 | [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1( X1), c4_1(a335), c4_1(a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~( ndr1_0) 47: [c4_2(a344,X0)], c5_2(a344,X0), c1_1(X1), c5_1(X1), c4_1(a344), c4_1( a343), ~(ndr1_1(a344)), c2_1(a344), ~(c2_1(a343)), ~(ndr1_0) 48: [c4_2(a353,X0)], c5_2(a353,X0), c1_1(X1), c5_1(X1), c4_1(a353), c4_1( a343), ~(ndr1_1(a353)), c2_1(a353), ~(c2_1(a343)), ~(ndr1_0) 49: [c4_2(a355,X0)], c5_2(a355,X0), c1_1(X1), c5_1(X1), c4_1(a355), c4_1( a343), ~(ndr1_1(a355)), c2_1(a355), ~(c2_1(a343)), ~(ndr1_0) 50: top(X0) != a331 | [c4_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~( ndr1_0) 51: ~(c4_2(a346,a334)), [c5_2(a346,a334)], c1_2(a346,a334), c2_2(a348, a349), c2_2(a346,a350), ~(c3_1(a346)), ~(ndr1_1(a346)), ~(ndr1_0) 52: [c2_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~(ndr1_0) 53: top(X0) != a328 | [c5_1(X0)], c3_1(X0), ndr1_1(X0), c1_0, ~(ndr1_0) 54: ~(c5_0), [c2_0] 55: ~(c4_0), [epred1_0] 56: [c4_2(a318,a319)], c3_2(a316,a317), ~(epred1_0) 57: [c3_2(a316,a317)], c2_2(a318,a319), ~(epred1_0) 58: [c2_2(a318,a319)], c2_2(a316,a317), ~(epred1_0) 59: [c2_2(a318,a320)], c2_2(a316,a317), ~(epred1_0) 60: [c2_2(a316,a317)], ndr1_1(a318), ~(epred1_0) Gamma_65: (extend-no-conflict) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: top(X0) != a336 | [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1( X1), c4_1(a335), c4_1(a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~( ndr1_0) 47: [c4_2(a344,X0)], c5_2(a344,X0), c1_1(X1), c5_1(X1), c4_1(a344), c4_1( a343), ~(ndr1_1(a344)), c2_1(a344), ~(c2_1(a343)), ~(ndr1_0) 48: [c4_2(a353,X0)], c5_2(a353,X0), c1_1(X1), c5_1(X1), c4_1(a353), c4_1( a343), ~(ndr1_1(a353)), c2_1(a353), ~(c2_1(a343)), ~(ndr1_0) 49: [c4_2(a355,X0)], c5_2(a355,X0), c1_1(X1), c5_1(X1), c4_1(a355), c4_1( a343), ~(ndr1_1(a355)), c2_1(a355), ~(c2_1(a343)), ~(ndr1_0) 50: top(X0) != a331 | [c4_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~( ndr1_0) 51: ~(c4_2(a346,a334)), [c5_2(a346,a334)], c1_2(a346,a334), c2_2(a348, a349), c2_2(a346,a350), ~(c3_1(a346)), ~(ndr1_1(a346)), ~(ndr1_0) 52: [c2_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~(ndr1_0) 53: top(X0) != a328 | [c5_1(X0)], c3_1(X0), ndr1_1(X0), c1_0, ~(ndr1_0) 54: ~(c5_0), [c2_0] 55: ~(c4_0), [epred1_0] 56: [c4_2(a318,a319)], c3_2(a316,a317), ~(epred1_0) 57: [c3_2(a316,a317)], c2_2(a318,a319), ~(epred1_0) 58: [c2_2(a318,a319)], c2_2(a316,a317), ~(epred1_0) 59: [c2_2(a318,a320)], c2_2(a316,a317), ~(epred1_0) 60: [c2_2(a316,a317)], ndr1_1(a318), ~(epred1_0) 61: [ndr1_1(a318)], ndr1_1(a316), ~(epred1_0) 0: [c1_2(a324,a325)], c3_2(a326,a327), c5_0 1: [c5_2(a324,a325)], c3_2(a326,a327), c5_0 2: [c1_2(a346,a347)], c3_2(a344,a345), c5_0 3: [c2_2(a353,a354)], c2_2(a351,a352), c3_0 4: [c3_2(a353,a354)], c2_2(a351,a352), c3_0 5: [c3_2(a326,a327)], ndr1_1(a324), c5_0 6: [c3_2(a344,a345)], c4_1(a346), c5_0 7: [c2_2(a351,a352)], ndr1_1(a353), c3_0 8: [c4_2(a335,a336)], c5_0, c4_0 9: [c5_2(a335,a336)], c5_0, c4_0 10: [c2_2(a335,a336)], c5_0, c4_0 11: [c1_2(a335,a337)], c5_0, c4_0 12: [c5_2(a335,a337)], c5_0, c4_0 13: [ndr1_1(a324)], c2_1(a326), c5_0 14: top(X0) != a325 | [c1_2(a324,X0)], c3_2(a324,X0), ~(ndr1_1(a324)), c2_1( a326), c5_0 15: [c5_1(a328)], ndr1_1(a329), c4_0 16: [c4_1(a346)], ndr1_1(a344), c5_0 17: [ndr1_1(a346)], ndr1_1(a344), c5_0 18: [c3_1(a346)], ndr1_1(a344), c5_0 19: [ndr1_1(a353)], ndr1_1(a351), c3_0 20: [c2_1(a326)], c5_0, ndr1_0 21: [c4_1(a326)], c5_0, ndr1_0 22: [ndr1_1(a326)], c5_0, ndr1_0 23: [ndr1_1(a329)], c4_0, ndr1_0 24: [c1_1(a329)], c4_0, ndr1_0 25: [ndr1_1(a335)], c5_0, c4_0 26: [ndr1_1(a344)], c5_0, ndr1_0 27: [ndr1_1(a351)], ndr1_0, c3_0 28: [c4_1(a351)], ndr1_0, c3_0 29: [ndr1_1(a355)], c5_0, c2_0 30: [c2_1(a343)], c3_0 31: [c5_0], ndr1_0 32: [c4_0], ndr1_0 33: [c1_2(a331,a332)], ~(c4_0), ndr1_0 34: [c2_2(a331,a332)], ~(c4_0), ndr1_0 35: [ndr1_1(a331)], ~(c4_0), ndr1_0 36: [c5_1(a331)], ~(c4_0), ndr1_0 37: [c3_1(a331)], ~(c4_0), ndr1_0 38: ~(c4_0), [ndr1_0] 39: [c1_2(a338,a339)], c1_2(a326,a327), ~(c3_2(a326,a327)), c2_2(a326, a341), c2_2(a326,a340), c2_2(a326,a327), ~(ndr1_1(a326)), ~(c5_0), ~( ndr1_0) 40: [c1_2(a326,a327)], ~(c3_2(a326,a327)), c2_2(a326,a341), c2_2(a326, a340), c2_2(a326,a327), c1_1(a338), ~(ndr1_1(a326)), ~(c5_0), ~(ndr1_0) 41: [c1_2(a344,a345)], ~(c3_2(a344,a345)), c2_2(a344,a341), c2_2(a344, a340), c2_2(a344,a345), c1_1(a338), ~(ndr1_1(a344)), ~(c5_0), ~(ndr1_0) 42: [c4_2(a331,X0)], c5_2(a331,X0), c1_1(X1), c5_1(X1), c4_1(a331), c4_1( a343), ~(ndr1_1(a331)), c2_1(a331), ~(c2_1(a343)), ~(ndr1_0) 43: ~(c4_2(a331,X0)), [c5_2(a331,X0)], c1_2(a331,X0), c2_2(a348,a349), c2_2( a331,a350), ~(c3_1(a331)), ~(ndr1_1(a331)), ~(ndr1_0) 44: [c4_2(a324,X0)], c5_2(a324,X0), c1_1(X1), c5_1(X1), c4_1(a324), c4_1( a343), ~(ndr1_1(a324)), c2_1(a324), ~(c2_1(a343)), ~(ndr1_0) 45: [c4_2(a329,X0)], c5_2(a329,X0), c1_1(X1), c5_1(X1), c4_1(a329), c4_1( a343), ~(ndr1_1(a329)), c2_1(a329), ~(c2_1(a343)), ~(ndr1_0) 46: top(X0) != a336 | [c4_2(a335,X0)], c5_2(a335,X0), c1_1(X1), c5_1( X1), c4_1(a335), c4_1(a343), ~(ndr1_1(a335)), c2_1(a335), ~(c2_1(a343)), ~( ndr1_0) 47: [c4_2(a344,X0)], c5_2(a344,X0), c1_1(X1), c5_1(X1), c4_1(a344), c4_1( a343), ~(ndr1_1(a344)), c2_1(a344), ~(c2_1(a343)), ~(ndr1_0) 48: [c4_2(a353,X0)], c5_2(a353,X0), c1_1(X1), c5_1(X1), c4_1(a353), c4_1( a343), ~(ndr1_1(a353)), c2_1(a353), ~(c2_1(a343)), ~(ndr1_0) 49: [c4_2(a355,X0)], c5_2(a355,X0), c1_1(X1), c5_1(X1), c4_1(a355), c4_1( a343), ~(ndr1_1(a355)), c2_1(a355), ~(c2_1(a343)), ~(ndr1_0) 50: top(X0) != a331 | [c4_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~( ndr1_0) 51: ~(c4_2(a346,a334)), [c5_2(a346,a334)], c1_2(a346,a334), c2_2(a348, a349), c2_2(a346,a350), ~(c3_1(a346)), ~(ndr1_1(a346)), ~(ndr1_0) 52: [c2_2(X0,a334)], c5_1(X0), c3_1(X0), c1_0, ~(ndr1_0) 53: top(X0) != a328 | [c5_1(X0)], c3_1(X0), ndr1_1(X0), c1_0, ~(ndr1_0) 54: ~(c5_0), [c2_0] 55: ~(c4_0), [epred1_0] 56: [c4_2(a318,a319)], c3_2(a316,a317), ~(epred1_0) 57: [c3_2(a316,a317)], c2_2(a318,a319), ~(epred1_0) 58: [c2_2(a318,a319)], c2_2(a316,a317), ~(epred1_0) 59: [c2_2(a318,a320)], c2_2(a316,a317), ~(epred1_0) 60: [c2_2(a316,a317)], ndr1_1(a318), ~(epred1_0) 61: [ndr1_1(a318)], ndr1_1(a316), ~(epred1_0) SZS status Satisfiable