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