%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------% ------ Parsing...successful ------ Proving... use I- Gamma_0: (extend-no-conflict) 0: [e(exist)] Gamma_1: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) Gamma_2: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) Gamma_3: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) Gamma_4: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) Gamma_5: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) Gamma_6: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) Gamma_7: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) Gamma_8: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) Gamma_9: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) Gamma_10: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) Gamma_11: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 11: [equalish(u2r1(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r2(exist))), ~(c(u2r1(exist))), ~(e(exist)) Gamma_12: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 11: [equalish(u2r1(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r2(exist))), ~(c(u2r1(exist))), ~(e(exist)) 12: [equalish(u2r2(exist),u2r1(exist))], ~(r(exist,u2r2(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r2(exist))), ~(c(u2r1(exist))), ~(e(exist)) Gamma_13: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 11: [equalish(u2r1(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r2(exist))), ~(c(u2r1(exist))), ~(e(exist)) 12: [equalish(u2r2(exist),u2r1(exist))], ~(r(exist,u2r2(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r2(exist))), ~(c(u2r1(exist))), ~(e(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), ~(e(exist)) Gamma_14: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 11: [equalish(u2r1(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r2(exist))), ~(c(u2r1(exist))), ~(e(exist)) 12: [equalish(u2r2(exist),u2r1(exist))], ~(r(exist,u2r2(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r2(exist))), ~(c(u2r1(exist))), ~(e(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), ~(e(exist)) 14: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) Gamma_15: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 11: [equalish(u2r1(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r2(exist))), ~(c(u2r1(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r1(exist))], ~(r(exist,u2r2(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r2(exist))), ~(c(u2r1(exist))), ~(e(exist)) 14: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), ~(e(exist)) Gamma_16: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 11: [equalish(u2r1(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r2(exist))), ~(c(u2r1(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [~(r(exist,u2r2(exist)))], ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r2(exist))), ~(c(u2r1(exist))), ~(e(exist)) 14: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), ~(e(exist)) Gamma_17: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 11: [equalish(u2r1(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r2(exist))), ~(c(u2r1(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 14: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), ~(e(exist)) Gamma_18: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 12: [equalish(u2r1(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r2(exist))), ~(c(u2r1(exist))), ~(e(exist)) 13: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 14: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), ~(e(exist)) Gamma_19: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) Gamma_20: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) Gamma_21: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) Gamma_22: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: [c(u2r3(exist))], d(u2r3(exist)), ~(a(u2r3(exist))) Gamma_23: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: [c(u2r3(exist))], d(u2r3(exist)), ~(a(u2r3(exist))) 15: [equalish(u2r1(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r3(exist))), ~(c(u2r1(exist))), ~(e(exist)) Gamma_24: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: [c(u2r3(exist))], d(u2r3(exist)), ~(a(u2r3(exist))) 15: [equalish(u2r1(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r3(exist))), ~(c(u2r1(exist))), ~(e(exist)) 16: [equalish(u2r3(exist),u2r1(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r3(exist))), ~(c(u2r1(exist))), ~(e(exist)) Gamma_25: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: [c(u2r3(exist))], d(u2r3(exist)), ~(a(u2r3(exist))) 15: [equalish(u2r1(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r3(exist))), ~(c(u2r1(exist))), ~(e(exist)) 16: [equalish(u2r3(exist),u2r1(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r3(exist))), ~(c(u2r1(exist))), ~(e(exist)) 17: [equalish(u2r3(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( c(u2r3(exist))), ~(e(exist)) Gamma_26: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: [c(u2r3(exist))], d(u2r3(exist)), ~(a(u2r3(exist))) 15: [equalish(u2r1(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r3(exist))), ~(c(u2r1(exist))), ~(e(exist)) 16: [equalish(u2r3(exist),u2r1(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r3(exist))), ~(c(u2r1(exist))), ~(e(exist)) 17: [equalish(u2r3(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( c(u2r3(exist))), ~(e(exist)) 18: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) Gamma_27: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: [c(u2r3(exist))], d(u2r3(exist)), ~(a(u2r3(exist))) 15: [equalish(u2r1(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r3(exist))), ~(c(u2r1(exist))), ~(e(exist)) 16: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 17: [equalish(u2r3(exist),u2r1(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r3(exist))), ~(c(u2r1(exist))), ~(e(exist)) 18: [equalish(u2r3(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( c(u2r3(exist))), ~(e(exist)) Gamma_28: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: [c(u2r3(exist))], d(u2r3(exist)), ~(a(u2r3(exist))) 15: [equalish(u2r1(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r3(exist))), ~(c(u2r1(exist))), ~(e(exist)) 16: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 17: [~(r(exist,u2r3(exist)))], ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r3(exist))), ~(c(u2r1(exist))), ~(e(exist)) 18: [equalish(u2r3(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( c(u2r3(exist))), ~(e(exist)) Gamma_29: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: [c(u2r3(exist))], d(u2r3(exist)), ~(a(u2r3(exist))) 15: [equalish(u2r1(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r3(exist))), ~(c(u2r1(exist))), ~(e(exist)) 16: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 17: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 18: [equalish(u2r3(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( c(u2r3(exist))), ~(e(exist)) Gamma_30: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: [c(u2r3(exist))], d(u2r3(exist)), ~(a(u2r3(exist))) 16: [equalish(u2r1(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r1(exist))), ~(c(u2r3(exist))), ~(c(u2r1(exist))), ~(e(exist)) 17: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 18: [equalish(u2r3(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( c(u2r3(exist))), ~(e(exist)) Gamma_31: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r3(exist))], ~(a(u2r3(exist))), ~(e(exist)) 16: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) Gamma_32: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r3(exist))], ~(a(u2r3(exist))), ~(e(exist)) 16: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) Gamma_33: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r3(exist))], ~(a(u2r3(exist))), ~(e(exist)) 16: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 17: [equalish(u2r3(exist),u2r2(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(d(u2r3(exist))), ~(d(u2r2(exist))), f(exist) Gamma_34: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r3(exist))], ~(a(u2r3(exist))), ~(e(exist)) 16: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 17: [equalish(u2r3(exist),u2r2(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(d(u2r3(exist))), ~(d(u2r2(exist))), f(exist) 18: [equalish(u2r2(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(d(u2r3(exist))), ~(d(u2r2(exist))), f(exist) Gamma_35: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r3(exist))], ~(a(u2r3(exist))), ~(e(exist)) 16: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 17: [equalish(u2r3(exist),u2r2(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(d(u2r3(exist))), ~(d(u2r2(exist))), f(exist) 18: [equalish(u2r2(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(d(u2r3(exist))), ~(d(u2r2(exist))), f(exist) 19: [equalish(u2r3(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( d(u2r3(exist))), f(exist) Gamma_36: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r3(exist))], ~(a(u2r3(exist))), ~(e(exist)) 16: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 17: [equalish(u2r3(exist),u2r2(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(d(u2r3(exist))), ~(d(u2r2(exist))), f(exist) 18: [equalish(u2r2(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(d(u2r3(exist))), ~(d(u2r2(exist))), f(exist) 19: [equalish(u2r3(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( d(u2r3(exist))), f(exist) 20: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) Gamma_37: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r3(exist))], ~(a(u2r3(exist))), ~(e(exist)) 16: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 17: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 18: [equalish(u2r3(exist),u2r2(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(d(u2r3(exist))), ~(d(u2r2(exist))), f(exist) 19: [equalish(u2r2(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(d(u2r3(exist))), ~(d(u2r2(exist))), f(exist) 20: [equalish(u2r3(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( d(u2r3(exist))), f(exist) Gamma_38: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r3(exist))], ~(a(u2r3(exist))), ~(e(exist)) 16: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 17: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 18: [~(r(exist,u2r3(exist)))], ~(r(exist,u2r2(exist))), ~(r3least(exist)), ~( d(u2r3(exist))), ~(d(u2r2(exist))), f(exist) 19: [equalish(u2r2(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(d(u2r3(exist))), ~(d(u2r2(exist))), f(exist) 20: [equalish(u2r3(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( d(u2r3(exist))), f(exist) Gamma_39: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r3(exist))], ~(a(u2r3(exist))), ~(e(exist)) 16: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 17: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 18: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r3least(exist)), ~( d(u2r3(exist))), ~(d(u2r2(exist))), [f(exist)] 19: [equalish(u2r2(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(d(u2r3(exist))), ~(d(u2r2(exist))), f(exist) 20: [equalish(u2r3(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( d(u2r3(exist))), f(exist) Gamma_40: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r3(exist))], ~(a(u2r3(exist))), ~(e(exist)) 16: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 17: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 18: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r3least(exist)), ~( d(u2r3(exist))), ~(d(u2r2(exist))), [f(exist)] 19: [equalish(u2r2(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(d(u2r3(exist))), ~(d(u2r2(exist))), f(exist) 20: [equalish(u2r3(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( d(u2r3(exist))), f(exist) 21: [~(f(exist))] Gamma_41: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r3(exist))], ~(a(u2r3(exist))), ~(e(exist)) 16: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 17: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 18: [~(f(exist))] 19: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r3least(exist)), ~( d(u2r3(exist))), ~(d(u2r2(exist))), [f(exist)] 20: [equalish(u2r2(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(d(u2r3(exist))), ~(d(u2r2(exist))), f(exist) 21: [equalish(u2r3(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( d(u2r3(exist))), f(exist) Gamma_42: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r3(exist))], ~(a(u2r3(exist))), ~(e(exist)) 16: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 17: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 18: [~(f(exist))] 19: [~(r(exist,u2r3(exist)))], ~(r(exist,u2r2(exist))), ~(r3least(exist)), ~( d(u2r3(exist))), ~(d(u2r2(exist))) 20: [equalish(u2r2(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(d(u2r3(exist))), ~(d(u2r2(exist))), f(exist) 21: [equalish(u2r3(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( d(u2r3(exist))), f(exist) Gamma_43: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r3(exist))], ~(a(u2r3(exist))), ~(e(exist)) 16: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 17: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 18: [~(f(exist))] 19: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r3least(exist)), [~( d(u2r3(exist)))], ~(d(u2r2(exist))) 20: [equalish(u2r2(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(d(u2r3(exist))), ~(d(u2r2(exist))), f(exist) 21: [equalish(u2r3(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( d(u2r3(exist))), f(exist) Gamma_44: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r3least(exist)), [~( d(u2r3(exist)))], ~(d(u2r2(exist))) 16: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r3(exist))], ~(a(u2r3(exist))), ~(e(exist)) 17: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 18: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 19: [~(f(exist))] 20: [equalish(u2r2(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(d(u2r3(exist))), ~(d(u2r2(exist))), f(exist) 21: [equalish(u2r3(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( d(u2r3(exist))), f(exist) Gamma_45: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r3least(exist)), [~( d(u2r3(exist)))], ~(d(u2r2(exist))) 16: [~(r(exist,u2r3(exist)))], ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), ~(c(u2r1(exist))), ~(d(u2r2(exist))), ~(a(u2r3(exist))), ~( e(exist)) 17: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 18: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 19: [~(f(exist))] Gamma_46: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 12: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 13: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r3least(exist)), [~( d(u2r3(exist)))], ~(d(u2r2(exist))) 16: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), ~(c(u2r1(exist))), [~(d(u2r2(exist)))], ~(a(u2r3(exist))), ~( e(exist)) 17: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 18: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 19: [~(f(exist))] Gamma_47: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), ~(c(u2r1(exist))), [~(d(u2r2(exist)))], ~(a(u2r3(exist))), ~( e(exist)) 12: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( c(u2r1(exist))), [d(u2r2(exist))], ~(a(u2r2(exist))), ~(e(exist)) 13: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 14: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( d(u2r2(exist))), f(exist) 15: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 16: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r3least(exist)), [~( d(u2r3(exist)))], ~(d(u2r2(exist))) 17: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 18: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 19: [~(f(exist))] Gamma_48: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), ~(c(u2r1(exist))), [~(d(u2r2(exist)))], ~(a(u2r3(exist))), ~( e(exist)) 12: ~(r(exist,u2r3(exist))), [~(r(exist,u2r2(exist)))], ~(r(exist,u2r1(exist))), ~( r3least(exist)), ~(c(u2r1(exist))), ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 13: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 16: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 17: [~(f(exist))] Gamma_49: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 9: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 10: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), ~(c(u2r1(exist))), [~(d(u2r2(exist)))], ~(a(u2r3(exist))), ~( e(exist)) 12: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 13: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 16: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 17: [~(f(exist))] Gamma_50: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: [c(u2r1(exist))], d(u2r1(exist)), ~(a(u2r1(exist))) 10: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( c(u2r1(exist))), ~(e(exist)) 11: ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r2(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 12: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), ~(c(u2r1(exist))), [~(d(u2r2(exist)))], ~(a(u2r3(exist))), ~( e(exist)) 13: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 14: ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), [~( c(u2r3(exist)))], ~(c(u2r1(exist))), ~(e(exist)) 15: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 16: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 17: [~(f(exist))] Gamma_51: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] Gamma_52: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] Gamma_53: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) Gamma_54: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) Gamma_55: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 16: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), ~(e(exist)) Gamma_56: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 16: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), ~(e(exist)) 17: [c(u2r3(exist))], d(u2r3(exist)), ~(a(u2r3(exist))) Gamma_57: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 16: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), ~(e(exist)) 17: [c(u2r3(exist))], d(u2r3(exist)), ~(a(u2r3(exist))) 18: [equalish(u2r2(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(c(u2r3(exist))), ~(c(u2r2(exist))), ~(e(exist)) Gamma_58: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 16: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), ~(e(exist)) 17: [c(u2r3(exist))], d(u2r3(exist)), ~(a(u2r3(exist))) 18: [equalish(u2r2(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(c(u2r3(exist))), ~(c(u2r2(exist))), ~(e(exist)) 19: equalish(u2r3(exist),u2r2(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), [~( c(u2r3(exist)))], ~(c(u2r2(exist))), ~(e(exist)) Gamma_59: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 16: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), ~(e(exist)) 17: equalish(u2r3(exist),u2r2(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), [~( c(u2r3(exist)))], ~(c(u2r2(exist))), ~(e(exist)) 18: [c(u2r3(exist))], d(u2r3(exist)), ~(a(u2r3(exist))) 19: [equalish(u2r2(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(c(u2r3(exist))), ~(c(u2r2(exist))), ~(e(exist)) Gamma_60: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 16: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), ~(e(exist)) 17: equalish(u2r3(exist),u2r2(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), [~( c(u2r3(exist)))], ~(c(u2r2(exist))), ~(e(exist)) 18: equalish(u2r3(exist),u2r2(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), [d(u2r3(exist))], ~(a(u2r3(exist))), ~(e(exist)) Gamma_61: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 16: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), ~(e(exist)) 17: equalish(u2r3(exist),u2r2(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), [~( c(u2r3(exist)))], ~(c(u2r2(exist))), ~(e(exist)) 18: equalish(u2r3(exist),u2r2(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), [d(u2r3(exist))], ~(a(u2r3(exist))), ~(e(exist)) Gamma_62: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 16: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), ~(e(exist)) 17: equalish(u2r3(exist),u2r2(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), [~( c(u2r3(exist)))], ~(c(u2r2(exist))), ~(e(exist)) 18: equalish(u2r3(exist),u2r2(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), [d(u2r3(exist))], ~(a(u2r3(exist))), ~(e(exist)) 19: [equalish(u2r1(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r1(exist))), ~(d(u2r3(exist))), ~(d(u2r1(exist))), f(exist) Gamma_63: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 16: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), ~(e(exist)) 17: equalish(u2r3(exist),u2r2(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), [~( c(u2r3(exist)))], ~(c(u2r2(exist))), ~(e(exist)) 18: equalish(u2r3(exist),u2r2(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), [d(u2r3(exist))], ~(a(u2r3(exist))), ~(e(exist)) 19: [equalish(u2r1(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r1(exist))), ~(d(u2r3(exist))), ~(d(u2r1(exist))), f(exist) 20: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) Gamma_64: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 16: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), ~(e(exist)) 17: equalish(u2r3(exist),u2r2(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), [~( c(u2r3(exist)))], ~(c(u2r2(exist))), ~(e(exist)) 18: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) 19: equalish(u2r3(exist),u2r2(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), [d(u2r3(exist))], ~(a(u2r3(exist))), ~(e(exist)) 20: [equalish(u2r1(exist),u2r3(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r1(exist))), ~(d(u2r3(exist))), ~(d(u2r1(exist))), f(exist) Gamma_65: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 16: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), ~(e(exist)) 17: equalish(u2r3(exist),u2r2(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), [~( c(u2r3(exist)))], ~(c(u2r2(exist))), ~(e(exist)) 18: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) 19: [equalish(u2r3(exist),u2r2(exist))], equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( c(u2r2(exist))), ~(d(u2r1(exist))), ~(a(u2r3(exist))), f(exist), ~(e(exist)) Gamma_66: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 16: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), ~(e(exist)) 17: equalish(u2r3(exist),u2r2(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), [~( c(u2r3(exist)))], ~(c(u2r2(exist))), ~(e(exist)) 18: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) 19: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( c(u2r2(exist)))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), f(exist), ~(e(exist)) Gamma_67: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( c(u2r2(exist)))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), f(exist), ~(e(exist)) 16: [c(u2r2(exist))], d(u2r2(exist)), ~(a(u2r2(exist))) 17: [equalish(u2r2(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( c(u2r2(exist))), ~(e(exist)) 18: equalish(u2r3(exist),u2r2(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), [~( c(u2r3(exist)))], ~(c(u2r2(exist))), ~(e(exist)) 19: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) Gamma_68: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( c(u2r2(exist)))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), f(exist), ~(e(exist)) 16: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [d( u2r2(exist))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), ~(a(u2r2(exist))), f( exist), ~(e(exist)) 17: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) Gamma_69: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( c(u2r2(exist)))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), f(exist), ~(e(exist)) 16: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [d( u2r2(exist))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), ~(a(u2r2(exist))), f( exist), ~(e(exist)) 17: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) Gamma_70: (extend-no-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( c(u2r2(exist)))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), f(exist), ~(e(exist)) 16: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [d( u2r2(exist))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), ~(a(u2r2(exist))), f( exist), ~(e(exist)) 17: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) 18: [equalish(u2r1(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( r(exist,u2r1(exist))), ~(d(u2r2(exist))), ~(d(u2r1(exist))), f(exist) Gamma_71: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( c(u2r2(exist)))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), f(exist), ~(e(exist)) 16: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [d( u2r2(exist))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), ~(a(u2r2(exist))), f( exist), ~(e(exist)) 17: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) 18: [equalish(u2r1(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( r(exist,u2r1(exist))), ~(d(u2r2(exist))), ~(d(u2r1(exist))), f(exist) 19: equalish(u2r2(exist),u2r1(exist)), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r2(exist)))], ~(d(u2r1(exist))), f(exist) Gamma_72: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( c(u2r2(exist)))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), f(exist), ~(e(exist)) 16: equalish(u2r2(exist),u2r1(exist)), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r2(exist)))], ~(d(u2r1(exist))), f(exist) 17: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [d( u2r2(exist))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), ~(a(u2r2(exist))), f( exist), ~(e(exist)) 18: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) 19: [equalish(u2r1(exist),u2r2(exist))], ~(r(exist,u2r2(exist))), ~( r(exist,u2r1(exist))), ~(d(u2r2(exist))), ~(d(u2r1(exist))), f(exist) Gamma_73: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( c(u2r2(exist)))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), f(exist), ~(e(exist)) 16: equalish(u2r2(exist),u2r1(exist)), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r2(exist)))], ~(d(u2r1(exist))), f(exist) 17: [equalish(u2r3(exist),u2r2(exist))], equalish(u2r3(exist),u2r1(exist)), equalish( u2r2(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~( r(exist,u2r1(exist))), ~(d(u2r1(exist))), ~(a(u2r3(exist))), ~(a(u2r2(exist))), f( exist), ~(e(exist)) 18: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) Gamma_74: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( c(u2r2(exist)))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), f(exist), ~(e(exist)) 16: equalish(u2r2(exist),u2r1(exist)), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r2(exist)))], ~(d(u2r1(exist))), f(exist) 17: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), equalish( u2r2(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~( r(exist,u2r1(exist))), ~(d(u2r1(exist))), ~(a(u2r3(exist))), ~(a(u2r2(exist))), [f( exist)], ~(e(exist)) 18: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) Gamma_75: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( c(u2r2(exist)))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), f(exist), ~(e(exist)) 16: equalish(u2r2(exist),u2r1(exist)), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r2(exist)))], ~(d(u2r1(exist))), f(exist) 17: [equalish(u2r3(exist),u2r2(exist))], equalish(u2r3(exist),u2r1(exist)), equalish( u2r2(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~( r(exist,u2r1(exist))), ~(d(u2r1(exist))), ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 18: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) Gamma_76: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( c(u2r2(exist)))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), f(exist), ~(e(exist)) 16: equalish(u2r2(exist),u2r1(exist)), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r2(exist)))], ~(d(u2r1(exist))), f(exist) 17: [equalish(u2r3(exist),u2r2(exist))], equalish(u2r3(exist),u2r1(exist)), equalish( u2r2(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~( r(exist,u2r1(exist))), ~(d(u2r1(exist))), ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 18: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) Gamma_77: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( c(u2r2(exist)))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), f(exist), ~(e(exist)) 16: equalish(u2r2(exist),u2r1(exist)), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r2(exist)))], ~(d(u2r1(exist))), f(exist) 17: [equalish(u2r3(exist),u2r1(exist))], equalish(u2r2(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), ~(d(u2r1(exist))), ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 18: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) Gamma_78: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( c(u2r2(exist)))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), f(exist), ~(e(exist)) 16: equalish(u2r2(exist),u2r1(exist)), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r2(exist)))], ~(d(u2r1(exist))), f(exist) 17: [equalish(u2r3(exist),u2r1(exist))], equalish(u2r2(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), ~(d(u2r1(exist))), ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 18: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) Gamma_79: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( c(u2r2(exist)))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), f(exist), ~(e(exist)) 16: equalish(u2r2(exist),u2r1(exist)), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r2(exist)))], ~(d(u2r1(exist))), f(exist) 17: [equalish(u2r2(exist),u2r1(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( d(u2r1(exist))), ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~(e(exist)) 18: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) Gamma_80: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( c(u2r2(exist)))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), f(exist), ~(e(exist)) 16: equalish(u2r2(exist),u2r1(exist)), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r2(exist)))], ~(d(u2r1(exist))), f(exist) 17: [equalish(u2r2(exist),u2r1(exist))], ~(r(exist,u2r3(exist))), ~( r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~(r3least(exist)), ~( d(u2r1(exist))), ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~(e(exist)) 18: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) Gamma_81: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( c(u2r2(exist)))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), f(exist), ~(e(exist)) 16: equalish(u2r2(exist),u2r1(exist)), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r2(exist)))], ~(d(u2r1(exist))), f(exist) 17: [~(r(exist,u2r3(exist)))], ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), ~(d(u2r1(exist))), ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 18: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) Gamma_82: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 10: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 11: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 13: [~(f(exist))] 14: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 15: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( c(u2r2(exist)))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), f(exist), ~(e(exist)) 16: equalish(u2r2(exist),u2r1(exist)), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r2(exist)))], ~(d(u2r1(exist))), f(exist) 17: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(d(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 18: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) Gamma_83: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(d(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 10: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [d(u2r1(exist))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( a(u2r1(exist))), ~(e(exist)) 11: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 13: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 14: [~(f(exist))] 15: [equalish(u2r1(exist),u2r1(exist))], ~(r(exist,u2r1(exist))), ~( d(u2r1(exist))), f(exist) 16: equalish(u2r3(exist),u2r2(exist)), equalish(u2r3(exist),u2r1(exist)), ~( r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( c(u2r2(exist)))], ~(d(u2r1(exist))), ~(a(u2r3(exist))), f(exist), ~(e(exist)) 17: equalish(u2r2(exist),u2r1(exist)), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r2(exist)))], ~(d(u2r1(exist))), f(exist) 18: equalish(u2r3(exist),u2r1(exist)), ~(r(exist,u2r3(exist))), ~(r(exist,u2r1(exist))), [~( d(u2r3(exist)))], ~(d(u2r1(exist))), f(exist) Gamma_84: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(d(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 10: [~(r(exist,u2r3(exist)))], ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~(a(u2r1(exist))), ~( e(exist)) 11: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 13: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 14: [~(f(exist))] Gamma_85: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(d(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 10: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), ~(a(u2r3(exist))), ~(a(u2r2(exist))), [~(a(u2r1(exist)))], ~( e(exist)) 11: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 13: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 14: [~(f(exist))] Gamma_86: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), ~(a(u2r3(exist))), ~(a(u2r2(exist))), [~(a(u2r1(exist)))], ~( e(exist)) 8: ~(r(exist,u2r1(exist))), [a(u2r1(exist))], ~(e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 10: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(d(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 11: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 13: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 14: [~(f(exist))] Gamma_87: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), ~(a(u2r3(exist))), ~(a(u2r2(exist))), [~(a(u2r1(exist)))], ~( e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), [~(r(exist,u2r1(exist)))], ~( r3least(exist)), ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~(e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 10: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(d(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 11: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 13: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 14: [~(f(exist))] Gamma_88: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: [r(exist,u2r1(exist))], ~(r3least(exist)) 7: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), ~(a(u2r3(exist))), ~(a(u2r2(exist))), [~(a(u2r1(exist)))], ~( e(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), [~(r(exist,u2r1(exist)))], ~( r3least(exist)), ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~(e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 10: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(d(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 11: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 13: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 14: [~(f(exist))] Gamma_89: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), [~(r(exist,u2r1(exist)))], ~( r3least(exist)), ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~(e(exist)) 7: [r(exist,u2r1(exist))], ~(r3least(exist)) 8: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), ~(a(u2r3(exist))), ~(a(u2r2(exist))), [~(a(u2r1(exist)))], ~( e(exist)) 9: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(c(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 10: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r(exist,u2r1(exist))), ~( r3least(exist)), [~(d(u2r1(exist)))], ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~( e(exist)) 11: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 12: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 13: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 14: [~(f(exist))] Gamma_90: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), [~(r(exist,u2r1(exist)))], ~( r3least(exist)), ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~(e(exist)) 7: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), [~(r3least(exist))], ~( a(u2r3(exist))), ~(a(u2r2(exist))), ~(e(exist)) 8: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 9: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 10: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 11: [~(f(exist))] Gamma_91: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 6: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), [~(r(exist,u2r1(exist)))], ~( r3least(exist)), ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~(e(exist)) 7: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r3least(exist)), ~( a(u2r3(exist))), [~(a(u2r2(exist)))], ~(e(exist)) 8: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 9: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 10: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 11: [~(f(exist))] Gamma_92: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r3least(exist)), ~( a(u2r3(exist))), [~(a(u2r2(exist)))], ~(e(exist)) 6: ~(r(exist,u2r2(exist))), [a(u2r2(exist))], ~(e(exist)) 7: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), [~(r(exist,u2r1(exist)))], ~( r3least(exist)), ~(a(u2r3(exist))), ~(a(u2r2(exist))), ~(e(exist)) 8: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 9: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 10: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 11: [~(f(exist))] Gamma_93: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r3least(exist)), ~( a(u2r3(exist))), [~(a(u2r2(exist)))], ~(e(exist)) 6: ~(r(exist,u2r3(exist))), [~(r(exist,u2r2(exist)))], ~(r3least(exist)), ~( a(u2r3(exist))), ~(e(exist)) 7: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 8: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 9: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 10: [~(f(exist))] Gamma_94: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: [r(exist,u2r2(exist))], ~(r3least(exist)) 5: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r3least(exist)), ~( a(u2r3(exist))), [~(a(u2r2(exist)))], ~(e(exist)) 6: ~(r(exist,u2r3(exist))), [~(r(exist,u2r2(exist)))], ~(r3least(exist)), ~( a(u2r3(exist))), ~(e(exist)) 7: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 8: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 9: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 10: [~(f(exist))] Gamma_95: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: ~(r(exist,u2r3(exist))), [~(r(exist,u2r2(exist)))], ~(r3least(exist)), ~( a(u2r3(exist))), ~(e(exist)) 5: [r(exist,u2r2(exist))], ~(r3least(exist)) 6: ~(r(exist,u2r3(exist))), ~(r(exist,u2r2(exist))), ~(r3least(exist)), ~( a(u2r3(exist))), [~(a(u2r2(exist)))], ~(e(exist)) 7: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 8: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 9: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 10: [~(f(exist))] Gamma_96: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: ~(r(exist,u2r3(exist))), [~(r(exist,u2r2(exist)))], ~(r3least(exist)), ~( a(u2r3(exist))), ~(e(exist)) 5: ~(r(exist,u2r3(exist))), [~(r3least(exist))], ~(a(u2r3(exist))), ~( e(exist)) 6: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 7: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 8: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 9: [~(f(exist))] Gamma_97: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 4: ~(r(exist,u2r3(exist))), [~(r(exist,u2r2(exist)))], ~(r3least(exist)), ~( a(u2r3(exist))), ~(e(exist)) 5: ~(r(exist,u2r3(exist))), ~(r3least(exist)), [~(a(u2r3(exist)))], ~( e(exist)) 6: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 7: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 8: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 9: [~(f(exist))] Gamma_98: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), ~(r3least(exist)), [~(a(u2r3(exist)))], ~( e(exist)) 4: ~(r(exist,u2r3(exist))), [a(u2r3(exist))], ~(e(exist)) 5: ~(r(exist,u2r3(exist))), [~(r(exist,u2r2(exist)))], ~(r3least(exist)), ~( a(u2r3(exist))), ~(e(exist)) 6: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 7: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 8: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 9: [~(f(exist))] Gamma_99: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), ~(r3least(exist)), [~(a(u2r3(exist)))], ~( e(exist)) 4: [~(r(exist,u2r3(exist)))], ~(r3least(exist)), ~(e(exist)) 5: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 6: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 7: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 8: [~(f(exist))] Gamma_100: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [r(exist,u2r3(exist))], ~(r3least(exist)) 3: ~(r(exist,u2r3(exist))), ~(r3least(exist)), [~(a(u2r3(exist)))], ~( e(exist)) 4: [~(r(exist,u2r3(exist)))], ~(r3least(exist)), ~(e(exist)) 5: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 6: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 7: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 8: [~(f(exist))] Gamma_101: (move) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [~(r(exist,u2r3(exist)))], ~(r3least(exist)), ~(e(exist)) 3: [r(exist,u2r3(exist))], ~(r3least(exist)) 4: ~(r(exist,u2r3(exist))), ~(r3least(exist)), [~(a(u2r3(exist)))], ~( e(exist)) 5: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 6: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 7: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 8: [~(f(exist))] Gamma_102: (resolve) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [~(r(exist,u2r3(exist)))], ~(r3least(exist)), ~(e(exist)) 3: [~(r3least(exist))], ~(e(exist)) 4: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 5: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 6: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 7: [~(f(exist))] Gamma_103: (extend-conflict) 0: [e(exist)] 1: [r3least(exist)], ~(e(exist)) 2: [~(r(exist,u2r3(exist)))], ~(r3least(exist)), ~(e(exist)) 3: [~(r3least(exist))], ~(e(exist)) 4: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 5: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 6: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 7: [~(f(exist))] Gamma_104: (move) 0: [e(exist)] 1: [~(r3least(exist))], ~(e(exist)) 2: [r3least(exist)], ~(e(exist)) 3: [~(r(exist,u2r3(exist)))], ~(r3least(exist)), ~(e(exist)) 4: [~(equalish(u2r2(exist),u2r1(exist)))], ~(r3least(exist)) 5: [~(equalish(u2r3(exist),u2r1(exist)))], ~(r3least(exist)) 6: [~(equalish(u2r3(exist),u2r2(exist)))], ~(r3least(exist)) 7: [~(f(exist))] Gamma_105: (resolve) 0: [e(exist)] 1: [~(r3least(exist))], ~(e(exist)) 2: [~(e(exist))] 3: [~(f(exist))] Gamma_106: (extend-conflict) 0: [e(exist)] 1: [~(r3least(exist))], ~(e(exist)) 2: [~(e(exist))] 3: [~(f(exist))] Gamma_107: (move) 0: [~(e(exist))] 1: [e(exist)] 2: [~(r3least(exist))], ~(e(exist)) 3: [~(f(exist))] Gamma_108: (resolve) 0: [~(e(exist))] 1: [] 2: [~(f(exist))] SZS status Unsatisfiable