%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------% ------ Parsing...successful ------ Proving... use I- Gamma_0: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 Gamma_1: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: [vertical_2_3], horizontal_2_2, horizontal_2_3, vertical_1_3 Gamma_2: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: [vertical_2_3], horizontal_2_2, horizontal_2_3, vertical_1_3 2: [vertical_2_2], horizontal_2_2, horizontal_2_1, vertical_1_2 Gamma_3: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: [vertical_2_3], horizontal_2_2, horizontal_2_3, vertical_1_3 2: [vertical_2_2], horizontal_2_2, horizontal_2_1, vertical_1_2 3: ~(horizontal_3_2), [~(vertical_2_3)] Gamma_4: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: [vertical_2_3], horizontal_2_2, horizontal_2_3, vertical_1_3 3: [vertical_2_2], horizontal_2_2, horizontal_2_1, vertical_1_2 Gamma_5: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: [vertical_2_2], horizontal_2_2, horizontal_2_1, vertical_1_2 Gamma_6: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: [vertical_2_2], horizontal_2_2, horizontal_2_1, vertical_1_2 Gamma_7: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: [vertical_2_2], horizontal_2_2, horizontal_2_1, vertical_1_2 4: ~(horizontal_3_2), [~(vertical_2_2)] Gamma_8: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: [vertical_2_2], horizontal_2_2, horizontal_2_1, vertical_1_2 Gamma_9: (resolve+delete) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] Gamma_10: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: [vertical_3_3], horizontal_4_2, horizontal_4_3 Gamma_11: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: [vertical_3_3], horizontal_4_2, horizontal_4_3 5: ~(horizontal_3_2), [~(vertical_3_3)] Gamma_12: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: [vertical_3_3], horizontal_4_2, horizontal_4_3 Gamma_13: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 Gamma_14: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 Gamma_15: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: [horizontal_3_3], vertical_2_4, vertical_3_4 Gamma_16: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: [horizontal_3_3], vertical_2_4, vertical_3_4 7: ~(horizontal_3_2), [~(horizontal_3_3)] Gamma_17: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: [horizontal_3_3], vertical_2_4, vertical_3_4 Gamma_18: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 Gamma_19: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 Gamma_20: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: [horizontal_3_1], vertical_2_1, vertical_3_1 Gamma_21: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: [horizontal_3_1], vertical_2_1, vertical_3_1 9: ~(horizontal_3_2), [~(horizontal_3_1)] Gamma_22: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: [horizontal_3_1], vertical_2_1, vertical_3_1 Gamma_23: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 Gamma_24: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 Gamma_25: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 10: [vertical_3_4], horizontal_4_3 Gamma_26: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 10: [vertical_3_4], horizontal_4_3 11: ~(vertical_2_4), [~(vertical_3_4)] Gamma_27: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 10: ~(vertical_2_4), [~(vertical_3_4)] 11: [vertical_3_4], horizontal_4_3 Gamma_28: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 10: ~(vertical_2_4), [~(vertical_3_4)] 11: ~(vertical_2_4), [horizontal_4_3] Gamma_29: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 10: ~(vertical_2_4), [~(vertical_3_4)] 11: ~(vertical_2_4), [horizontal_4_3] Gamma_30: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 10: ~(vertical_2_4), [~(vertical_3_4)] 11: ~(vertical_2_4), [horizontal_4_3] 12: ~(horizontal_4_2), [~(horizontal_4_3)] Gamma_31: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 10: ~(vertical_2_4), [~(vertical_3_4)] 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(vertical_2_4), [horizontal_4_3] Gamma_32: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 10: ~(vertical_2_4), [~(vertical_3_4)] 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_4_2), [~(vertical_2_4)] Gamma_33: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 10: ~(vertical_2_4), [~(vertical_3_4)] 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_4_2), [~(vertical_2_4)] Gamma_34: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(vertical_2_4), [~(vertical_3_4)] 12: ~(horizontal_4_2), [~(horizontal_4_3)] Gamma_35: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: [~(horizontal_3_2)], ~(horizontal_4_2), vertical_3_4 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] Gamma_36: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] Gamma_37: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: [horizontal_2_3], vertical_2_4, vertical_1_4 Gamma_38: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: [horizontal_2_3], vertical_2_4, vertical_1_4 13: ~(horizontal_2_2), [~(horizontal_2_3)] Gamma_39: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: [horizontal_2_3], vertical_2_4, vertical_1_4 Gamma_40: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), [vertical_2_4], vertical_1_4 Gamma_41: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] Gamma_42: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 14: [vertical_3_1], horizontal_4_1 Gamma_43: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 14: [vertical_3_1], horizontal_4_1 15: ~(vertical_2_1), [~(vertical_3_1)] Gamma_44: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 14: ~(vertical_2_1), [~(vertical_3_1)] 15: [vertical_3_1], horizontal_4_1 Gamma_45: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 14: ~(vertical_2_1), [~(vertical_3_1)] 15: ~(vertical_2_1), [horizontal_4_1] Gamma_46: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 14: ~(vertical_2_1), [~(vertical_3_1)] 15: ~(vertical_2_1), [horizontal_4_1] Gamma_47: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 14: ~(vertical_2_1), [~(vertical_3_1)] 15: ~(vertical_2_1), [horizontal_4_1] 16: ~(horizontal_4_2), [~(horizontal_4_1)] Gamma_48: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 14: ~(vertical_2_1), [~(vertical_3_1)] 15: ~(horizontal_4_2), [~(horizontal_4_1)] 16: ~(vertical_2_1), [horizontal_4_1] Gamma_49: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 14: ~(vertical_2_1), [~(vertical_3_1)] 15: ~(horizontal_4_2), [~(horizontal_4_1)] 16: ~(horizontal_4_2), [~(vertical_2_1)] Gamma_50: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 14: ~(vertical_2_1), [~(vertical_3_1)] 15: ~(horizontal_4_2), [~(horizontal_4_1)] 16: ~(horizontal_4_2), [~(vertical_2_1)] Gamma_51: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_4_2), [~(vertical_2_1)] 11: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 12: ~(horizontal_4_2), [~(horizontal_4_3)] 13: ~(horizontal_2_2), [~(horizontal_2_3)] 14: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 15: ~(vertical_2_1), [~(vertical_3_1)] 16: ~(horizontal_4_2), [~(horizontal_4_1)] Gamma_52: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_4_2), [~(vertical_2_1)] 11: [~(horizontal_3_2)], ~(horizontal_4_2), vertical_3_1 12: ~(horizontal_4_2), [~(horizontal_4_3)] 13: ~(horizontal_2_2), [~(horizontal_2_3)] 14: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 15: ~(horizontal_4_2), [~(horizontal_4_1)] Gamma_53: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_4_2), [~(vertical_2_1)] 11: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_1] 12: ~(horizontal_4_2), [~(horizontal_4_3)] 13: ~(horizontal_2_2), [~(horizontal_2_3)] 14: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 15: ~(horizontal_4_2), [~(horizontal_4_1)] Gamma_54: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_4_2), [~(vertical_2_1)] 11: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_1] 12: ~(horizontal_4_2), [~(horizontal_4_3)] 13: ~(horizontal_2_2), [~(horizontal_2_3)] 14: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 15: ~(horizontal_4_2), [~(horizontal_4_1)] 16: vertical_2_1, [horizontal_2_1], vertical_1_1 Gamma_55: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_4_2), [~(vertical_2_1)] 11: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_1] 12: ~(horizontal_4_2), [~(horizontal_4_3)] 13: ~(horizontal_2_2), [~(horizontal_2_3)] 14: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 15: ~(horizontal_4_2), [~(horizontal_4_1)] 16: vertical_2_1, [horizontal_2_1], vertical_1_1 17: ~(horizontal_2_2), [~(horizontal_2_1)] Gamma_56: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_4_2), [~(vertical_2_1)] 11: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_1] 12: ~(horizontal_4_2), [~(horizontal_4_3)] 13: ~(horizontal_2_2), [~(horizontal_2_3)] 14: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 15: ~(horizontal_4_2), [~(horizontal_4_1)] 16: ~(horizontal_2_2), [~(horizontal_2_1)] 17: vertical_2_1, [horizontal_2_1], vertical_1_1 Gamma_57: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_4_2), [~(vertical_2_1)] 11: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_1] 12: ~(horizontal_4_2), [~(horizontal_4_3)] 13: ~(horizontal_2_2), [~(horizontal_2_3)] 14: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 15: ~(horizontal_4_2), [~(horizontal_4_1)] 16: ~(horizontal_2_2), [~(horizontal_2_1)] 17: ~(horizontal_2_2), [vertical_2_1], vertical_1_1 Gamma_58: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_4_2), [~(vertical_2_1)] 11: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_1] 12: ~(horizontal_4_2), [~(horizontal_4_3)] 13: ~(horizontal_2_2), [~(horizontal_2_3)] 14: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 15: ~(horizontal_4_2), [~(horizontal_4_1)] 16: ~(horizontal_2_2), [~(horizontal_2_1)] 17: ~(horizontal_2_2), vertical_2_1, [vertical_1_1] 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_4_2), [~(vertical_2_1)] 11: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_1] 12: ~(horizontal_4_2), [~(horizontal_4_3)] 13: ~(horizontal_2_2), [~(horizontal_2_3)] 14: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 15: ~(horizontal_4_2), [~(horizontal_4_1)] 16: ~(horizontal_2_2), [~(horizontal_2_1)] 17: ~(horizontal_2_2), vertical_2_1, [vertical_1_1] SZS status Satisfiable %---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------% ------ Parsing...successful ------ Proving... use I- Gamma_0: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 Gamma_1: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: [vertical_2_3], horizontal_2_2, horizontal_2_3, vertical_1_3 Gamma_2: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: [vertical_2_3], horizontal_2_2, horizontal_2_3, vertical_1_3 2: [vertical_2_2], horizontal_2_2, horizontal_2_1, vertical_1_2 Gamma_3: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: [vertical_2_3], horizontal_2_2, horizontal_2_3, vertical_1_3 2: [vertical_2_2], horizontal_2_2, horizontal_2_1, vertical_1_2 3: ~(horizontal_3_2), [~(vertical_2_3)] Gamma_4: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: [vertical_2_3], horizontal_2_2, horizontal_2_3, vertical_1_3 3: [vertical_2_2], horizontal_2_2, horizontal_2_1, vertical_1_2 Gamma_5: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: [vertical_2_2], horizontal_2_2, horizontal_2_1, vertical_1_2 Gamma_6: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: [vertical_2_2], horizontal_2_2, horizontal_2_1, vertical_1_2 Gamma_7: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: [vertical_2_2], horizontal_2_2, horizontal_2_1, vertical_1_2 4: ~(horizontal_3_2), [~(vertical_2_2)] Gamma_8: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: [vertical_2_2], horizontal_2_2, horizontal_2_1, vertical_1_2 Gamma_9: (resolve+delete) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] Gamma_10: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: [vertical_3_3], horizontal_4_2, horizontal_4_3 Gamma_11: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: [vertical_3_3], horizontal_4_2, horizontal_4_3 5: ~(horizontal_3_2), [~(vertical_3_3)] Gamma_12: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: [vertical_3_3], horizontal_4_2, horizontal_4_3 Gamma_13: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 Gamma_14: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 Gamma_15: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: [horizontal_3_3], vertical_2_4, vertical_3_4 Gamma_16: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: [horizontal_3_3], vertical_2_4, vertical_3_4 7: ~(horizontal_3_2), [~(horizontal_3_3)] Gamma_17: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: [horizontal_3_3], vertical_2_4, vertical_3_4 Gamma_18: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 Gamma_19: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 Gamma_20: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: [horizontal_3_1], vertical_2_1, vertical_3_1 Gamma_21: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: [horizontal_3_1], vertical_2_1, vertical_3_1 9: ~(horizontal_3_2), [~(horizontal_3_1)] Gamma_22: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: [horizontal_3_1], vertical_2_1, vertical_3_1 Gamma_23: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 Gamma_24: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 Gamma_25: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 10: [vertical_3_4], horizontal_4_3 Gamma_26: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 10: [vertical_3_4], horizontal_4_3 11: ~(vertical_2_4), [~(vertical_3_4)] Gamma_27: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 10: ~(vertical_2_4), [~(vertical_3_4)] 11: [vertical_3_4], horizontal_4_3 Gamma_28: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 10: ~(vertical_2_4), [~(vertical_3_4)] 11: ~(vertical_2_4), [horizontal_4_3] Gamma_29: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 10: ~(vertical_2_4), [~(vertical_3_4)] 11: ~(vertical_2_4), [horizontal_4_3] Gamma_30: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 10: ~(vertical_2_4), [~(vertical_3_4)] 11: ~(vertical_2_4), [horizontal_4_3] 12: ~(horizontal_4_2), [~(horizontal_4_3)] Gamma_31: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 10: ~(vertical_2_4), [~(vertical_3_4)] 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(vertical_2_4), [horizontal_4_3] Gamma_32: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 10: ~(vertical_2_4), [~(vertical_3_4)] 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_4_2), [~(vertical_2_4)] Gamma_33: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 8: ~(horizontal_3_2), [~(horizontal_3_1)] 9: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 10: ~(vertical_2_4), [~(vertical_3_4)] 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_4_2), [~(vertical_2_4)] Gamma_34: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), [vertical_2_4], vertical_3_4 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(vertical_2_4), [~(vertical_3_4)] 12: ~(horizontal_4_2), [~(horizontal_4_3)] Gamma_35: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: [~(horizontal_3_2)], ~(horizontal_4_2), vertical_3_4 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] Gamma_36: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] Gamma_37: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: [horizontal_2_3], vertical_2_4, vertical_1_4 Gamma_38: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: [horizontal_2_3], vertical_2_4, vertical_1_4 13: ~(horizontal_2_2), [~(horizontal_2_3)] Gamma_39: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: [horizontal_2_3], vertical_2_4, vertical_1_4 Gamma_40: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), [vertical_2_4], vertical_1_4 Gamma_41: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] Gamma_42: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 14: [vertical_3_1], horizontal_4_1 Gamma_43: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 14: [vertical_3_1], horizontal_4_1 15: ~(vertical_2_1), [~(vertical_3_1)] Gamma_44: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 14: ~(vertical_2_1), [~(vertical_3_1)] 15: [vertical_3_1], horizontal_4_1 Gamma_45: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 14: ~(vertical_2_1), [~(vertical_3_1)] 15: ~(vertical_2_1), [horizontal_4_1] Gamma_46: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 14: ~(vertical_2_1), [~(vertical_3_1)] 15: ~(vertical_2_1), [horizontal_4_1] Gamma_47: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 14: ~(vertical_2_1), [~(vertical_3_1)] 15: ~(vertical_2_1), [horizontal_4_1] 16: ~(horizontal_4_2), [~(horizontal_4_1)] Gamma_48: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 14: ~(vertical_2_1), [~(vertical_3_1)] 15: ~(horizontal_4_2), [~(horizontal_4_1)] 16: ~(vertical_2_1), [horizontal_4_1] Gamma_49: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 14: ~(vertical_2_1), [~(vertical_3_1)] 15: ~(horizontal_4_2), [~(horizontal_4_1)] 16: ~(horizontal_4_2), [~(vertical_2_1)] Gamma_50: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 11: ~(horizontal_4_2), [~(horizontal_4_3)] 12: ~(horizontal_2_2), [~(horizontal_2_3)] 13: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 14: ~(vertical_2_1), [~(vertical_3_1)] 15: ~(horizontal_4_2), [~(horizontal_4_1)] 16: ~(horizontal_4_2), [~(vertical_2_1)] Gamma_51: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_4_2), [~(vertical_2_1)] 11: ~(horizontal_3_2), [vertical_2_1], vertical_3_1 12: ~(horizontal_4_2), [~(horizontal_4_3)] 13: ~(horizontal_2_2), [~(horizontal_2_3)] 14: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 15: ~(vertical_2_1), [~(vertical_3_1)] 16: ~(horizontal_4_2), [~(horizontal_4_1)] Gamma_52: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_4_2), [~(vertical_2_1)] 11: [~(horizontal_3_2)], ~(horizontal_4_2), vertical_3_1 12: ~(horizontal_4_2), [~(horizontal_4_3)] 13: ~(horizontal_2_2), [~(horizontal_2_3)] 14: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 15: ~(horizontal_4_2), [~(horizontal_4_1)] Gamma_53: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_4_2), [~(vertical_2_1)] 11: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_1] 12: ~(horizontal_4_2), [~(horizontal_4_3)] 13: ~(horizontal_2_2), [~(horizontal_2_3)] 14: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 15: ~(horizontal_4_2), [~(horizontal_4_1)] Gamma_54: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_4_2), [~(vertical_2_1)] 11: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_1] 12: ~(horizontal_4_2), [~(horizontal_4_3)] 13: ~(horizontal_2_2), [~(horizontal_2_3)] 14: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 15: ~(horizontal_4_2), [~(horizontal_4_1)] 16: vertical_2_1, [horizontal_2_1], vertical_1_1 Gamma_55: (extend-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_4_2), [~(vertical_2_1)] 11: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_1] 12: ~(horizontal_4_2), [~(horizontal_4_3)] 13: ~(horizontal_2_2), [~(horizontal_2_3)] 14: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 15: ~(horizontal_4_2), [~(horizontal_4_1)] 16: vertical_2_1, [horizontal_2_1], vertical_1_1 17: ~(horizontal_2_2), [~(horizontal_2_1)] Gamma_56: (move) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_4_2), [~(vertical_2_1)] 11: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_1] 12: ~(horizontal_4_2), [~(horizontal_4_3)] 13: ~(horizontal_2_2), [~(horizontal_2_3)] 14: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 15: ~(horizontal_4_2), [~(horizontal_4_1)] 16: ~(horizontal_2_2), [~(horizontal_2_1)] 17: vertical_2_1, [horizontal_2_1], vertical_1_1 Gamma_57: (resolve) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_4_2), [~(vertical_2_1)] 11: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_1] 12: ~(horizontal_4_2), [~(horizontal_4_3)] 13: ~(horizontal_2_2), [~(horizontal_2_3)] 14: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 15: ~(horizontal_4_2), [~(horizontal_4_1)] 16: ~(horizontal_2_2), [~(horizontal_2_1)] 17: ~(horizontal_2_2), [vertical_2_1], vertical_1_1 Gamma_58: (extend-no-conflict) 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_4_2), [~(vertical_2_1)] 11: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_1] 12: ~(horizontal_4_2), [~(horizontal_4_3)] 13: ~(horizontal_2_2), [~(horizontal_2_3)] 14: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 15: ~(horizontal_4_2), [~(horizontal_4_1)] 16: ~(horizontal_2_2), [~(horizontal_2_1)] 17: ~(horizontal_2_2), vertical_2_1, [vertical_1_1] 0: [horizontal_3_2], vertical_2_3, vertical_3_3, horizontal_3_3 1: ~(horizontal_3_2), [~(vertical_2_3)] 2: ~(horizontal_3_2), [horizontal_2_2], horizontal_2_3, vertical_1_3 3: ~(horizontal_3_2), [~(vertical_2_2)] 4: ~(horizontal_3_2), [~(vertical_3_3)] 5: ~(horizontal_3_2), [horizontal_4_2], horizontal_4_3 6: ~(horizontal_3_2), [~(horizontal_3_3)] 7: ~(horizontal_4_2), [~(vertical_2_4)] 8: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_4] 9: ~(horizontal_3_2), [~(horizontal_3_1)] 10: ~(horizontal_4_2), [~(vertical_2_1)] 11: ~(horizontal_3_2), ~(horizontal_4_2), [vertical_3_1] 12: ~(horizontal_4_2), [~(horizontal_4_3)] 13: ~(horizontal_2_2), [~(horizontal_2_3)] 14: ~(horizontal_2_2), vertical_2_4, [vertical_1_4] 15: ~(horizontal_4_2), [~(horizontal_4_1)] 16: ~(horizontal_2_2), [~(horizontal_2_1)] 17: ~(horizontal_2_2), vertical_2_1, [vertical_1_1] SZS status Satisfiable