%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------% ------ Parsing...successful ------ Proving... use I- Gamma_0: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix Gamma_1: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix Gamma_2: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang Gamma_3: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] Gamma_4: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] Gamma_5: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill Gamma_6: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: [mustard_lang], mustard_mill, salt_mill Gamma_7: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: [mustard_lang], mustard_mill, salt_mill 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] Gamma_8: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: [mustard_lang], mustard_mill, salt_mill Gamma_9: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill], salt_mill Gamma_10: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill], salt_mill Gamma_11: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill], salt_mill 8: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] Gamma_12: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill], salt_mill Gamma_13: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), [~(salt_barry)], ~(salt_lang), ~(mustard_dix), ~(mustard_cole), ~( salt_cole), salt_mill Gamma_14: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] Gamma_15: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] 9: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] Gamma_16: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] 9: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] Gamma_17: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] 9: [~(salt_dix)], ~(salt_barry), ~(salt_lang), ~(mustard_dix), ~(mustard_cole), ~( salt_cole) Gamma_18: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] 9: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) Gamma_19: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) 6: ~(salt_dix), [mustard_dix], mustard_mill 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 8: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 9: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] Gamma_20: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) 6: [~(salt_dix)], ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), mustard_mill 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] Gamma_21: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) 6: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill] 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] Gamma_22: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) 6: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill] 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 8: mustard_dix, ~(mustard_cole), [mustard_lang] Gamma_23: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) 6: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill] 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 8: ~(salt_barry), ~(salt_lang), [mustard_dix], ~(mustard_cole), ~(salt_cole) Gamma_24: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) 6: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill] 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 8: ~(salt_barry), ~(salt_lang), [mustard_dix], ~(mustard_cole), ~(salt_cole) Gamma_25: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) 6: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill] 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 8: ~(salt_dix), [~(salt_barry)], ~(salt_lang), ~(mustard_cole), ~(salt_cole) Gamma_26: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) 6: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill] 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 8: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_cole)], ~(salt_cole) Gamma_27: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_cole)], ~(salt_cole) 5: ~(salt_dix), ~(salt_barry), [mustard_cole] 6: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) 7: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill] 8: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] Gamma_28: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_cole)], ~(salt_cole) 5: [~(salt_dix)], ~(salt_barry), ~(salt_lang), ~(salt_cole) Gamma_29: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_cole)], ~(salt_cole) 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(salt_cole)] Gamma_30: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(salt_cole)] 4: ~(salt_dix), ~(salt_barry), [salt_cole] 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_cole)], ~(salt_cole) Gamma_31: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(salt_cole)] 4: [~(salt_dix)], ~(salt_barry), ~(salt_lang) Gamma_32: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(salt_cole)] 4: ~(salt_dix), [~(salt_barry)], ~(salt_lang) Gamma_33: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: [salt_barry], ~(salt_lang), mustard_lang 4: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(salt_cole)] Gamma_34: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), [~(salt_lang)], mustard_lang Gamma_35: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] Gamma_36: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] 4: ~(salt_lang), [mustard_cole], ~(mustard_lang) Gamma_37: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] 4: ~(salt_lang), [mustard_cole], ~(mustard_lang) 5: ~(salt_lang), ~(mustard_lang), [salt_mill] Gamma_38: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] 4: ~(salt_lang), [mustard_cole], ~(mustard_lang) 5: ~(salt_lang), ~(mustard_lang), [salt_mill] 6: ~(mustard_cole), ~(mustard_lang), [~(salt_mill)] Gamma_39: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] 4: ~(salt_lang), [mustard_cole], ~(mustard_lang) 5: ~(mustard_cole), ~(mustard_lang), [~(salt_mill)] 6: ~(salt_lang), ~(mustard_lang), [salt_mill] Gamma_40: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] 4: ~(salt_lang), [mustard_cole], ~(mustard_lang) 5: ~(mustard_cole), ~(mustard_lang), [~(salt_mill)] 6: [~(salt_lang)], ~(mustard_cole), ~(mustard_lang) Gamma_41: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] 4: ~(salt_lang), [mustard_cole], ~(mustard_lang) 5: ~(mustard_cole), ~(mustard_lang), [~(salt_mill)] 6: ~(salt_lang), [~(mustard_cole)], ~(mustard_lang) Gamma_42: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] 4: ~(salt_lang), [~(mustard_cole)], ~(mustard_lang) 5: ~(salt_lang), [mustard_cole], ~(mustard_lang) 6: ~(mustard_cole), ~(mustard_lang), [~(salt_mill)] Gamma_43: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] 4: ~(salt_lang), [~(mustard_cole)], ~(mustard_lang) 5: [~(salt_lang)], ~(mustard_lang) Gamma_44: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] 4: ~(salt_lang), [~(mustard_cole)], ~(mustard_lang) 5: ~(salt_lang), [~(mustard_lang)] Gamma_45: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_lang), [~(mustard_lang)] 4: ~(salt_dix), ~(salt_lang), [mustard_lang] 5: ~(salt_lang), [~(mustard_cole)], ~(mustard_lang) Gamma_46: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_lang), [~(mustard_lang)] 4: [~(salt_dix)], ~(salt_lang) Gamma_47: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_lang), [~(mustard_lang)] 4: ~(salt_dix), [~(salt_lang)] Gamma_48: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [salt_lang], mustard_dix 3: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 4: ~(salt_lang), [~(mustard_lang)] Gamma_49: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: [~(salt_dix)], mustard_dix Gamma_50: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] Gamma_51: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] Gamma_52: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole Gamma_53: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] Gamma_54: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] Gamma_55: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 7: [mustard_barry], ~(salt_barry), salt_lang Gamma_56: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 7: [mustard_barry], ~(salt_barry), salt_lang 8: ~(mustard_barry), ~(salt_barry), [salt_mill] Gamma_57: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 7: [mustard_barry], ~(salt_barry), salt_lang 8: ~(mustard_barry), ~(salt_barry), [salt_mill] 9: ~(mustard_barry), ~(salt_barry), ~(salt_cole), [~(salt_mill)] Gamma_58: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 7: [mustard_barry], ~(salt_barry), salt_lang 8: ~(mustard_barry), ~(salt_barry), ~(salt_cole), [~(salt_mill)] 9: ~(mustard_barry), ~(salt_barry), [salt_mill] Gamma_59: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 7: [mustard_barry], ~(salt_barry), salt_lang 8: ~(mustard_barry), ~(salt_barry), ~(salt_cole), [~(salt_mill)] 9: [~(mustard_barry)], ~(salt_barry), ~(salt_cole) Gamma_60: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 7: [mustard_barry], ~(salt_barry), salt_lang 8: ~(mustard_barry), ~(salt_barry), ~(salt_cole), [~(salt_mill)] 9: [~(mustard_barry)], ~(salt_barry), ~(salt_cole) Gamma_61: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 7: [~(mustard_barry)], ~(salt_barry), ~(salt_cole) 8: [mustard_barry], ~(salt_barry), salt_lang 9: ~(mustard_barry), ~(salt_barry), ~(salt_cole), [~(salt_mill)] Gamma_62: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 7: [~(mustard_barry)], ~(salt_barry), ~(salt_cole) 8: [~(salt_barry)], salt_lang, ~(salt_cole) Gamma_63: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 7: [~(mustard_barry)], ~(salt_barry), ~(salt_cole) 8: ~(salt_barry), salt_lang, [~(salt_cole)] Gamma_64: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_barry), salt_lang, [~(salt_cole)] 6: ~(salt_dix), ~(salt_barry), [salt_cole] 7: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 8: [~(mustard_barry)], ~(salt_barry), ~(salt_cole) Gamma_65: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_barry), salt_lang, [~(salt_cole)] 6: [~(salt_dix)], ~(salt_barry), salt_lang Gamma_66: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_barry), salt_lang, [~(salt_cole)] 6: ~(salt_dix), [~(salt_barry)], salt_lang Gamma_67: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: [salt_barry], ~(mustard_cole), salt_cole 6: ~(salt_barry), salt_lang, [~(salt_cole)] Gamma_68: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, [~(mustard_cole)], salt_cole Gamma_69: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] Gamma_70: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: [mustard_lang], mustard_mill, salt_mill Gamma_71: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: [mustard_lang], mustard_mill, salt_mill 7: salt_barry, salt_lang, [~(mustard_lang)] Gamma_72: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: [mustard_lang], mustard_mill, salt_mill Gamma_73: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: salt_barry, salt_lang, [mustard_mill], salt_mill Gamma_74: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: salt_barry, salt_lang, [mustard_mill], salt_mill Gamma_75: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: salt_barry, salt_lang, [mustard_mill], salt_mill 8: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] Gamma_76: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: salt_barry, salt_lang, [mustard_mill], salt_mill Gamma_77: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), [salt_barry], salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), salt_mill Gamma_78: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] Gamma_79: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] 9: [mustard_barry], salt_barry, ~(salt_cole), ~(salt_mill) Gamma_80: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] 9: [mustard_barry], salt_barry, ~(salt_cole), ~(salt_mill) 10: ~(salt_dix), [~(mustard_barry)], mustard_mill Gamma_81: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] 9: ~(salt_dix), [~(mustard_barry)], mustard_mill 10: [mustard_barry], salt_barry, ~(salt_cole), ~(salt_mill) Gamma_82: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] 9: ~(salt_dix), [~(mustard_barry)], mustard_mill 10: ~(salt_dix), [salt_barry], ~(salt_cole), mustard_mill, ~(salt_mill) Gamma_83: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] 9: ~(salt_dix), [~(mustard_barry)], mustard_mill 10: ~(salt_dix), salt_barry, ~(salt_cole), mustard_mill, [~(salt_mill)] Gamma_84: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, ~(salt_cole), mustard_mill, [~(salt_mill)] 9: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] 10: ~(salt_dix), [~(mustard_barry)], mustard_mill Gamma_85: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, ~(salt_cole), mustard_mill, [~(salt_mill)] 9: [~(salt_dix)], salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), mustard_mill 10: ~(salt_dix), [~(mustard_barry)], mustard_mill Gamma_86: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, ~(salt_cole), mustard_mill, [~(salt_mill)] 9: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [mustard_mill] 10: ~(salt_dix), [~(mustard_barry)], mustard_mill Gamma_87: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, ~(salt_cole), mustard_mill, [~(salt_mill)] 9: [~(salt_dix)], salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole) 10: ~(salt_dix), [~(mustard_barry)], mustard_mill Gamma_88: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, ~(salt_cole), mustard_mill, [~(salt_mill)] 9: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), [~( salt_cole)] 10: ~(salt_dix), [~(mustard_barry)], mustard_mill Gamma_89: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), [~( salt_cole)] 6: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 7: salt_barry, salt_lang, [~(mustard_lang)] 8: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 9: ~(salt_dix), salt_barry, ~(salt_cole), mustard_mill, [~(salt_mill)] 10: ~(salt_dix), [~(mustard_barry)], mustard_mill Gamma_90: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), [~( salt_cole)] 6: [~(salt_dix)], salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole) 7: salt_barry, salt_lang, [~(mustard_lang)] Gamma_91: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), [~( salt_cole)] 6: ~(salt_dix), [salt_barry], salt_lang, ~(mustard_dix), ~(mustard_cole) 7: salt_barry, salt_lang, [~(mustard_lang)] Gamma_92: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), [~( salt_cole)] 6: [~(salt_dix)], salt_lang, ~(mustard_dix), ~(mustard_cole) 7: salt_barry, salt_lang, [~(mustard_lang)] Gamma_93: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), [~( salt_cole)] 6: ~(salt_dix), salt_lang, ~(mustard_dix), [~(mustard_cole)] 7: salt_barry, salt_lang, [~(mustard_lang)] Gamma_94: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), salt_lang, ~(mustard_dix), [~(mustard_cole)] 4: ~(salt_dix), ~(mustard_dix), [mustard_cole] 5: ~(salt_dix), [~(salt_barry)], salt_lang 6: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), [~( salt_cole)] 7: salt_barry, salt_lang, [~(mustard_lang)] Gamma_95: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), salt_lang, ~(mustard_dix), [~(mustard_cole)] 4: [~(salt_dix)], salt_lang, ~(mustard_dix) 5: ~(salt_dix), [~(salt_barry)], salt_lang 6: salt_barry, salt_lang, [~(mustard_lang)] Gamma_96: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), salt_lang, ~(mustard_dix), [~(mustard_cole)] 4: ~(salt_dix), salt_lang, [~(mustard_dix)] 5: ~(salt_dix), [~(salt_barry)], salt_lang 6: salt_barry, salt_lang, [~(mustard_lang)] Gamma_97: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), salt_lang, [~(mustard_dix)] 3: ~(salt_dix), [mustard_dix] 4: ~(salt_dix), salt_lang, ~(mustard_dix), [~(mustard_cole)] 5: ~(salt_dix), [~(salt_barry)], salt_lang 6: salt_barry, salt_lang, [~(mustard_lang)] Gamma_98: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), salt_lang, [~(mustard_dix)] 3: [~(salt_dix)], salt_lang 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: salt_barry, salt_lang, [~(mustard_lang)] Gamma_99: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), salt_lang, [~(mustard_dix)] 3: ~(salt_dix), [salt_lang] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: salt_barry, salt_lang, [~(mustard_lang)] Gamma_100: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), salt_lang, [~(mustard_dix)] 3: [~(salt_dix)] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: salt_barry, salt_lang, [~(mustard_lang)] Gamma_101: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), salt_lang, [~(mustard_dix)] 3: [~(salt_dix)] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: salt_barry, salt_lang, [~(mustard_lang)] Gamma_102: (move) 0: [~(salt_dix)] 1: [salt_dix], mustard_barry, mustard_dix 2: ~(salt_dix), [~(salt_lang)] 3: ~(salt_dix), salt_lang, [~(mustard_dix)] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: salt_barry, salt_lang, [~(mustard_lang)] Gamma_103: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix Gamma_104: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix Gamma_105: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole Gamma_106: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] Gamma_107: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: [salt_lang], mustard_dix, mustard_lang Gamma_108: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: [salt_lang], mustard_dix, mustard_lang 5: salt_dix, ~(mustard_barry), ~(salt_barry), ~(salt_lang), [mustard_dix] Gamma_109: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: [salt_lang], mustard_dix, mustard_lang 5: salt_dix, ~(mustard_barry), ~(salt_barry), ~(salt_lang), [mustard_dix] 6: ~(salt_lang), [~(mustard_dix)], ~(salt_mill) Gamma_110: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: [salt_lang], mustard_dix, mustard_lang 5: ~(salt_lang), [~(mustard_dix)], ~(salt_mill) 6: salt_dix, ~(mustard_barry), ~(salt_barry), ~(salt_lang), [mustard_dix] Gamma_111: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: [salt_lang], mustard_dix, mustard_lang 5: ~(salt_lang), [~(mustard_dix)], ~(salt_mill) 6: [salt_dix], ~(mustard_barry), ~(salt_barry), ~(salt_lang), ~(salt_mill) Gamma_112: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: [salt_lang], mustard_dix, mustard_lang 5: ~(salt_lang), [~(mustard_dix)], ~(salt_mill) 6: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) Gamma_113: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: [salt_lang], mustard_dix, mustard_lang 6: ~(salt_lang), [~(mustard_dix)], ~(salt_mill) Gamma_114: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, ~(mustard_barry), ~(salt_barry), [mustard_dix], mustard_lang, ~( salt_mill) Gamma_115: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, ~(mustard_barry), ~(salt_barry), [mustard_dix], mustard_lang, ~( salt_mill) Gamma_116: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, ~(mustard_barry), ~(salt_barry), [mustard_dix], mustard_lang, ~( salt_mill) 6: ~(mustard_barry), ~(mustard_dix), [mustard_mill] Gamma_117: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, ~(mustard_barry), ~(salt_barry), [mustard_dix], mustard_lang, ~( salt_mill) 6: ~(mustard_barry), ~(mustard_dix), [mustard_mill] 7: salt_dix, salt_lang, [~(mustard_dix)] Gamma_118: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), [mustard_dix], mustard_lang, ~( salt_mill) 7: ~(mustard_barry), ~(mustard_dix), [mustard_mill] Gamma_119: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: [salt_dix], ~(mustard_barry), ~(salt_barry), salt_lang, mustard_lang, ~( salt_mill) Gamma_120: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) Gamma_121: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [mustard_cole], salt_cole, ~( mustard_lang), mustard_mill, ~(salt_mill) Gamma_122: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [mustard_cole], salt_cole, ~( mustard_lang), mustard_mill, ~(salt_mill) 8: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) Gamma_123: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [mustard_cole], salt_cole, ~( mustard_lang), mustard_mill, ~(salt_mill) Gamma_124: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: [salt_dix], ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, salt_cole, ~( mustard_lang), mustard_mill, ~(salt_mill) Gamma_125: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [salt_cole], ~( mustard_lang), mustard_mill, ~(salt_mill) Gamma_126: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [salt_cole], ~( mustard_lang), mustard_mill, ~(salt_mill) 9: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) Gamma_127: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [salt_cole], ~( mustard_lang), mustard_mill, ~(salt_mill) Gamma_128: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: [salt_dix], ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, ~( mustard_lang), mustard_mill, ~(salt_mill) Gamma_129: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, ~( mustard_lang), [mustard_mill], ~(salt_mill) Gamma_130: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, ~( mustard_lang), [mustard_mill], ~(salt_mill) 10: salt_dix, mustard_dix, mustard_cole, salt_cole, [~(mustard_mill)] Gamma_131: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, mustard_dix, mustard_cole, salt_cole, [~(mustard_mill)] 10: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, ~( mustard_lang), [mustard_mill], ~(salt_mill) Gamma_132: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, mustard_dix, mustard_cole, salt_cole, [~(mustard_mill)] 10: [salt_dix], ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, mustard_cole, salt_cole, ~( mustard_lang), ~(salt_mill) Gamma_133: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, mustard_dix, mustard_cole, salt_cole, [~(mustard_mill)] 10: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, mustard_cole, [salt_cole], ~( mustard_lang), ~(salt_mill) Gamma_134: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, mustard_dix, mustard_cole, salt_cole, [~(mustard_mill)] 10: [salt_dix], ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, mustard_cole, ~( mustard_lang), ~(salt_mill) Gamma_135: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, mustard_dix, mustard_cole, salt_cole, [~(mustard_mill)] 10: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [mustard_cole], ~( mustard_lang), ~(salt_mill) Gamma_136: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, mustard_dix, mustard_cole, salt_cole, [~(mustard_mill)] 10: [salt_dix], ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, ~( mustard_lang), ~(salt_mill) Gamma_137: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, mustard_dix, mustard_cole, salt_cole, [~(mustard_mill)] 10: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [~( mustard_lang)], ~(salt_mill) Gamma_138: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [~( mustard_lang)], ~(salt_mill) 7: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 8: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 9: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 10: salt_dix, mustard_dix, mustard_cole, salt_cole, [~(mustard_mill)] Gamma_139: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [~( mustard_lang)], ~(salt_mill) 7: [salt_dix], ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, ~( salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) Gamma_140: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [~( mustard_lang)], ~(salt_mill) 7: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_dix], ~( salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) Gamma_141: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [~( mustard_lang)], ~(salt_mill) 7: [salt_dix], ~(mustard_barry), ~(salt_barry), salt_lang, ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) Gamma_142: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [~( mustard_lang)], ~(salt_mill) 7: salt_dix, ~(mustard_barry), ~(salt_barry), [salt_lang], ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) Gamma_143: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [~( mustard_lang)], ~(salt_mill) 7: [salt_dix], ~(mustard_barry), ~(salt_barry), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) Gamma_144: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [~( mustard_lang)], ~(salt_mill) 7: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_mill)] 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) Gamma_145: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_mill)] 4: ~(mustard_barry), ~(salt_barry), [salt_mill] 5: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 6: salt_dix, salt_lang, [~(mustard_dix)] 7: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [~( mustard_lang)], ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) Gamma_146: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_mill)] 4: salt_dix, [~(mustard_barry)], ~(salt_barry) Gamma_147: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_mill)] 4: salt_dix, ~(mustard_barry), [~(salt_barry)] Gamma_148: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: ~(mustard_barry), [salt_barry], salt_cole 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_mill)] Gamma_149: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, [~(mustard_barry)], salt_cole Gamma_150: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, ~(mustard_barry), [salt_cole] Gamma_151: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, ~(mustard_barry), [salt_cole] 4: salt_barry, [mustard_cole], ~(salt_cole) Gamma_152: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, ~(mustard_barry), [salt_cole] 4: salt_barry, [mustard_cole], ~(salt_cole) 5: salt_dix, [~(mustard_cole)], ~(salt_cole) Gamma_153: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, ~(mustard_barry), [salt_cole] 4: salt_dix, [~(mustard_cole)], ~(salt_cole) 5: salt_barry, [mustard_cole], ~(salt_cole) Gamma_154: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, ~(mustard_barry), [salt_cole] 4: salt_dix, [~(mustard_cole)], ~(salt_cole) 5: salt_dix, [salt_barry], ~(salt_cole) Gamma_155: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, ~(mustard_barry), [salt_cole] 4: salt_dix, [~(mustard_cole)], ~(salt_cole) 5: salt_dix, salt_barry, [~(salt_cole)] Gamma_156: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, salt_barry, [~(salt_cole)] 4: salt_dix, ~(mustard_barry), [salt_cole] 5: salt_dix, [~(mustard_cole)], ~(salt_cole) Gamma_157: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, salt_barry, [~(salt_cole)] 4: [salt_dix], ~(mustard_barry), salt_barry Gamma_158: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, salt_barry, [~(salt_cole)] 4: salt_dix, ~(mustard_barry), [salt_barry] Gamma_159: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, salt_barry, [~(salt_cole)] 4: [salt_dix], ~(mustard_barry) Gamma_160: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, salt_barry, [~(salt_cole)] 4: salt_dix, [~(mustard_barry)] Gamma_161: (move) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: [mustard_barry], mustard_dix 3: salt_dix, ~(mustard_barry), [~(salt_barry)] 4: salt_dix, salt_barry, [~(salt_cole)] Gamma_162: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] Gamma_163: (extend-no-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] Gamma_164: (extend-no-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) Gamma_165: (extend-no-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang Gamma_166: (extend-no-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] Gamma_167: (extend-no-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] 6: [mustard_cole], ~(salt_cole), mustard_mill Gamma_168: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] 6: [mustard_cole], ~(salt_cole), mustard_mill 7: salt_dix, [~(mustard_cole)], ~(salt_cole) Gamma_169: (move) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] 6: salt_dix, [~(mustard_cole)], ~(salt_cole) 7: [mustard_cole], ~(salt_cole), mustard_mill Gamma_170: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] 6: salt_dix, [~(mustard_cole)], ~(salt_cole) 7: salt_dix, [~(salt_cole)], mustard_mill Gamma_171: (extend-no-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] 6: salt_dix, [~(mustard_cole)], ~(salt_cole) 7: salt_dix, ~(salt_cole), [mustard_mill] Gamma_172: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] 6: salt_dix, [~(mustard_cole)], ~(salt_cole) 7: salt_dix, ~(salt_cole), [mustard_mill] 8: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] Gamma_173: (move) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] 6: salt_dix, [~(mustard_cole)], ~(salt_cole) 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 8: salt_dix, ~(salt_cole), [mustard_mill] Gamma_174: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] 6: salt_dix, [~(mustard_cole)], ~(salt_cole) 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 8: [salt_dix], ~(salt_lang), ~(mustard_dix), ~(salt_cole) Gamma_175: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] 6: salt_dix, [~(mustard_cole)], ~(salt_cole) 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 8: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] Gamma_176: (move) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 6: mustard_barry, ~(salt_barry), [salt_cole] 7: salt_dix, [~(mustard_cole)], ~(salt_cole) 8: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] Gamma_177: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 6: salt_dix, [mustard_barry], ~(salt_barry), ~(salt_lang), ~(mustard_dix) 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] Gamma_178: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 6: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] Gamma_179: (move) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: [salt_barry], ~(salt_lang), mustard_lang 6: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] Gamma_180: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: salt_dix, mustard_barry, [~(salt_lang)], ~(mustard_dix), mustard_lang 6: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] Gamma_181: (extend-no-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: salt_dix, mustard_barry, ~(salt_lang), ~(mustard_dix), [mustard_lang] 6: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] Gamma_182: (extend-no-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: salt_dix, mustard_barry, ~(salt_lang), ~(mustard_dix), [mustard_lang] 6: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 8: ~(salt_lang), [mustard_cole], ~(mustard_lang) Gamma_183: (extend-no-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: salt_dix, mustard_barry, ~(salt_lang), ~(mustard_dix), [mustard_lang] 6: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 8: ~(salt_lang), [mustard_cole], ~(mustard_lang) 9: ~(salt_lang), ~(mustard_lang), [salt_mill] Gamma_184: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: salt_dix, mustard_barry, ~(salt_lang), ~(mustard_dix), [mustard_lang] 6: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 8: ~(salt_lang), [mustard_cole], ~(mustard_lang) 9: ~(salt_lang), ~(mustard_lang), [salt_mill] 10: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] Gamma_185: (move) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: salt_dix, mustard_barry, ~(salt_lang), ~(mustard_dix), [mustard_lang] 6: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 8: ~(salt_lang), [mustard_cole], ~(mustard_lang) 9: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] 10: ~(salt_lang), ~(mustard_lang), [salt_mill] Gamma_186: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: salt_dix, mustard_barry, ~(salt_lang), ~(mustard_dix), [mustard_lang] 6: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 8: ~(salt_lang), [mustard_cole], ~(mustard_lang) 9: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] 10: [~(salt_lang)], ~(mustard_dix), ~(mustard_lang) Gamma_187: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: salt_dix, mustard_barry, ~(salt_lang), ~(mustard_dix), [mustard_lang] 6: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 8: ~(salt_lang), [mustard_cole], ~(mustard_lang) 9: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] 10: ~(salt_lang), ~(mustard_dix), [~(mustard_lang)] Gamma_188: (move) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: ~(salt_lang), ~(mustard_dix), [~(mustard_lang)] 6: salt_dix, mustard_barry, ~(salt_lang), ~(mustard_dix), [mustard_lang] 7: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 8: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 9: ~(salt_lang), [mustard_cole], ~(mustard_lang) 10: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] Gamma_189: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: ~(salt_lang), ~(mustard_dix), [~(mustard_lang)] 6: [salt_dix], mustard_barry, ~(salt_lang), ~(mustard_dix) 7: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 8: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 9: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] Gamma_190: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: ~(salt_lang), ~(mustard_dix), [~(mustard_lang)] 6: salt_dix, mustard_barry, [~(salt_lang)], ~(mustard_dix) 7: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 8: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 9: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] Gamma_191: (move) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, mustard_barry, [~(salt_lang)], ~(mustard_dix) 4: salt_dix, [salt_lang], ~(mustard_dix) 5: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 6: ~(salt_lang), ~(mustard_dix), [~(mustard_lang)] 7: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 8: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 9: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] Gamma_192: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, mustard_barry, [~(salt_lang)], ~(mustard_dix) 4: [salt_dix], mustard_barry, ~(mustard_dix) Gamma_193: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, mustard_barry, [~(salt_lang)], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(mustard_dix)] Gamma_194: (move) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, mustard_barry, [~(mustard_dix)] 3: salt_dix, [mustard_dix] 4: salt_dix, mustard_barry, [~(salt_lang)], ~(mustard_dix) Gamma_195: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, mustard_barry, [~(mustard_dix)] 3: [salt_dix], mustard_barry Gamma_196: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, mustard_barry, [~(mustard_dix)] 3: salt_dix, [mustard_barry] Gamma_197: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, mustard_barry, [~(mustard_dix)] 3: [salt_dix] Gamma_198: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, mustard_barry, [~(mustard_dix)] 3: [salt_dix] Gamma_199: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, mustard_barry, [~(mustard_dix)] 3: [] SZS status Unsatisfiable %---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------% ------ Parsing...successful ------ Proving... use I- Gamma_0: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix Gamma_1: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix Gamma_2: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang Gamma_3: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] Gamma_4: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] Gamma_5: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill Gamma_6: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: [mustard_lang], mustard_mill, salt_mill Gamma_7: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: [mustard_lang], mustard_mill, salt_mill 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] Gamma_8: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: [mustard_lang], mustard_mill, salt_mill Gamma_9: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill], salt_mill Gamma_10: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill], salt_mill Gamma_11: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill], salt_mill 8: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] Gamma_12: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill], salt_mill Gamma_13: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), [~(salt_barry)], ~(salt_lang), ~(mustard_dix), ~(mustard_cole), ~( salt_cole), salt_mill Gamma_14: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] Gamma_15: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] 9: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] Gamma_16: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] 9: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] Gamma_17: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] 9: [~(salt_dix)], ~(salt_barry), ~(salt_lang), ~(mustard_dix), ~(mustard_cole), ~( salt_cole) Gamma_18: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), [mustard_dix], mustard_mill 6: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] 9: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) Gamma_19: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) 6: ~(salt_dix), [mustard_dix], mustard_mill 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 8: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 9: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] Gamma_20: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) 6: [~(salt_dix)], ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), mustard_mill 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] Gamma_21: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) 6: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill] 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] Gamma_22: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) 6: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill] 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 8: mustard_dix, ~(mustard_cole), [mustard_lang] Gamma_23: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) 6: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill] 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 8: ~(salt_barry), ~(salt_lang), [mustard_dix], ~(mustard_cole), ~(salt_cole) Gamma_24: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) 6: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill] 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 8: ~(salt_barry), ~(salt_lang), [mustard_dix], ~(mustard_cole), ~(salt_cole) Gamma_25: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) 6: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill] 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 8: ~(salt_dix), [~(salt_barry)], ~(salt_lang), ~(mustard_cole), ~(salt_cole) Gamma_26: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), [mustard_cole] 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) 6: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill] 7: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] 8: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_cole)], ~(salt_cole) Gamma_27: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_cole)], ~(salt_cole) 5: ~(salt_dix), ~(salt_barry), [mustard_cole] 6: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_dix)], ~(mustard_cole), ~( salt_cole) 7: ~(salt_dix), ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [mustard_mill] 8: ~(salt_barry), ~(salt_lang), ~(mustard_cole), ~(salt_cole), [~(mustard_lang)] Gamma_28: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_cole)], ~(salt_cole) 5: [~(salt_dix)], ~(salt_barry), ~(salt_lang), ~(salt_cole) Gamma_29: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), [salt_cole] 4: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_cole)], ~(salt_cole) 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(salt_cole)] Gamma_30: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(salt_cole)] 4: ~(salt_dix), ~(salt_barry), [salt_cole] 5: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(mustard_cole)], ~(salt_cole) Gamma_31: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(salt_cole)] 4: [~(salt_dix)], ~(salt_barry), ~(salt_lang) Gamma_32: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: [salt_barry], ~(salt_lang), mustard_lang 3: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(salt_cole)] 4: ~(salt_dix), [~(salt_barry)], ~(salt_lang) Gamma_33: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: [salt_barry], ~(salt_lang), mustard_lang 4: ~(salt_dix), ~(salt_barry), ~(salt_lang), [~(salt_cole)] Gamma_34: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), [~(salt_lang)], mustard_lang Gamma_35: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] Gamma_36: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] 4: ~(salt_lang), [mustard_cole], ~(mustard_lang) Gamma_37: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] 4: ~(salt_lang), [mustard_cole], ~(mustard_lang) 5: ~(salt_lang), ~(mustard_lang), [salt_mill] Gamma_38: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] 4: ~(salt_lang), [mustard_cole], ~(mustard_lang) 5: ~(salt_lang), ~(mustard_lang), [salt_mill] 6: ~(mustard_cole), ~(mustard_lang), [~(salt_mill)] Gamma_39: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] 4: ~(salt_lang), [mustard_cole], ~(mustard_lang) 5: ~(mustard_cole), ~(mustard_lang), [~(salt_mill)] 6: ~(salt_lang), ~(mustard_lang), [salt_mill] Gamma_40: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] 4: ~(salt_lang), [mustard_cole], ~(mustard_lang) 5: ~(mustard_cole), ~(mustard_lang), [~(salt_mill)] 6: [~(salt_lang)], ~(mustard_cole), ~(mustard_lang) Gamma_41: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] 4: ~(salt_lang), [mustard_cole], ~(mustard_lang) 5: ~(mustard_cole), ~(mustard_lang), [~(salt_mill)] 6: ~(salt_lang), [~(mustard_cole)], ~(mustard_lang) Gamma_42: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] 4: ~(salt_lang), [~(mustard_cole)], ~(mustard_lang) 5: ~(salt_lang), [mustard_cole], ~(mustard_lang) 6: ~(mustard_cole), ~(mustard_lang), [~(salt_mill)] Gamma_43: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] 4: ~(salt_lang), [~(mustard_cole)], ~(mustard_lang) 5: [~(salt_lang)], ~(mustard_lang) Gamma_44: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_dix), ~(salt_lang), [mustard_lang] 4: ~(salt_lang), [~(mustard_cole)], ~(mustard_lang) 5: ~(salt_lang), [~(mustard_lang)] Gamma_45: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_lang), [~(mustard_lang)] 4: ~(salt_dix), ~(salt_lang), [mustard_lang] 5: ~(salt_lang), [~(mustard_cole)], ~(mustard_lang) Gamma_46: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_lang), [~(mustard_lang)] 4: [~(salt_dix)], ~(salt_lang) Gamma_47: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [salt_lang], mustard_dix 2: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 3: ~(salt_lang), [~(mustard_lang)] 4: ~(salt_dix), [~(salt_lang)] Gamma_48: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [salt_lang], mustard_dix 3: ~(salt_dix), [~(salt_barry)], ~(salt_lang) 4: ~(salt_lang), [~(mustard_lang)] Gamma_49: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: [~(salt_dix)], mustard_dix Gamma_50: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] Gamma_51: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] Gamma_52: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole Gamma_53: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] Gamma_54: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] Gamma_55: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 7: [mustard_barry], ~(salt_barry), salt_lang Gamma_56: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 7: [mustard_barry], ~(salt_barry), salt_lang 8: ~(mustard_barry), ~(salt_barry), [salt_mill] Gamma_57: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 7: [mustard_barry], ~(salt_barry), salt_lang 8: ~(mustard_barry), ~(salt_barry), [salt_mill] 9: ~(mustard_barry), ~(salt_barry), ~(salt_cole), [~(salt_mill)] Gamma_58: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 7: [mustard_barry], ~(salt_barry), salt_lang 8: ~(mustard_barry), ~(salt_barry), ~(salt_cole), [~(salt_mill)] 9: ~(mustard_barry), ~(salt_barry), [salt_mill] Gamma_59: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 7: [mustard_barry], ~(salt_barry), salt_lang 8: ~(mustard_barry), ~(salt_barry), ~(salt_cole), [~(salt_mill)] 9: [~(mustard_barry)], ~(salt_barry), ~(salt_cole) Gamma_60: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 7: [mustard_barry], ~(salt_barry), salt_lang 8: ~(mustard_barry), ~(salt_barry), ~(salt_cole), [~(salt_mill)] 9: [~(mustard_barry)], ~(salt_barry), ~(salt_cole) Gamma_61: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 7: [~(mustard_barry)], ~(salt_barry), ~(salt_cole) 8: [mustard_barry], ~(salt_barry), salt_lang 9: ~(mustard_barry), ~(salt_barry), ~(salt_cole), [~(salt_mill)] Gamma_62: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 7: [~(mustard_barry)], ~(salt_barry), ~(salt_cole) 8: [~(salt_barry)], salt_lang, ~(salt_cole) Gamma_63: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_dix), ~(salt_barry), [salt_cole] 6: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 7: [~(mustard_barry)], ~(salt_barry), ~(salt_cole) 8: ~(salt_barry), salt_lang, [~(salt_cole)] Gamma_64: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_barry), salt_lang, [~(salt_cole)] 6: ~(salt_dix), ~(salt_barry), [salt_cole] 7: ~(salt_barry), salt_lang, ~(mustard_cole), ~(salt_cole), [mustard_lang] 8: [~(mustard_barry)], ~(salt_barry), ~(salt_cole) Gamma_65: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_barry), salt_lang, [~(salt_cole)] 6: [~(salt_dix)], ~(salt_barry), salt_lang Gamma_66: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: [salt_barry], ~(mustard_cole), salt_cole 5: ~(salt_barry), salt_lang, [~(salt_cole)] 6: ~(salt_dix), [~(salt_barry)], salt_lang Gamma_67: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: [salt_barry], ~(mustard_cole), salt_cole 6: ~(salt_barry), salt_lang, [~(salt_cole)] Gamma_68: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, [~(mustard_cole)], salt_cole Gamma_69: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] Gamma_70: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: [mustard_lang], mustard_mill, salt_mill Gamma_71: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: [mustard_lang], mustard_mill, salt_mill 7: salt_barry, salt_lang, [~(mustard_lang)] Gamma_72: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: [mustard_lang], mustard_mill, salt_mill Gamma_73: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: salt_barry, salt_lang, [mustard_mill], salt_mill Gamma_74: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: salt_barry, salt_lang, [mustard_mill], salt_mill Gamma_75: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: salt_barry, salt_lang, [mustard_mill], salt_mill 8: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] Gamma_76: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: salt_barry, salt_lang, [mustard_mill], salt_mill Gamma_77: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), [salt_barry], salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), salt_mill Gamma_78: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] Gamma_79: (extend-no-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] 9: [mustard_barry], salt_barry, ~(salt_cole), ~(salt_mill) Gamma_80: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] 9: [mustard_barry], salt_barry, ~(salt_cole), ~(salt_mill) 10: ~(salt_dix), [~(mustard_barry)], mustard_mill Gamma_81: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] 9: ~(salt_dix), [~(mustard_barry)], mustard_mill 10: [mustard_barry], salt_barry, ~(salt_cole), ~(salt_mill) Gamma_82: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] 9: ~(salt_dix), [~(mustard_barry)], mustard_mill 10: ~(salt_dix), [salt_barry], ~(salt_cole), mustard_mill, ~(salt_mill) Gamma_83: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] 9: ~(salt_dix), [~(mustard_barry)], mustard_mill 10: ~(salt_dix), salt_barry, ~(salt_cole), mustard_mill, [~(salt_mill)] Gamma_84: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, ~(salt_cole), mustard_mill, [~(salt_mill)] 9: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [salt_mill] 10: ~(salt_dix), [~(mustard_barry)], mustard_mill Gamma_85: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, ~(salt_cole), mustard_mill, [~(salt_mill)] 9: [~(salt_dix)], salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), mustard_mill 10: ~(salt_dix), [~(mustard_barry)], mustard_mill Gamma_86: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, ~(salt_cole), mustard_mill, [~(salt_mill)] 9: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole), [mustard_mill] 10: ~(salt_dix), [~(mustard_barry)], mustard_mill Gamma_87: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, ~(salt_cole), mustard_mill, [~(salt_mill)] 9: [~(salt_dix)], salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), ~( salt_cole) 10: ~(salt_dix), [~(mustard_barry)], mustard_mill Gamma_88: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 6: salt_barry, salt_lang, [~(mustard_lang)] 7: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 8: ~(salt_dix), salt_barry, ~(salt_cole), mustard_mill, [~(salt_mill)] 9: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), [~( salt_cole)] 10: ~(salt_dix), [~(mustard_barry)], mustard_mill Gamma_89: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), [~( salt_cole)] 6: ~(salt_dix), salt_lang, ~(mustard_cole), [salt_cole] 7: salt_barry, salt_lang, [~(mustard_lang)] 8: ~(salt_dix), ~(mustard_dix), ~(mustard_cole), ~(salt_cole), [~(mustard_mill)] 9: ~(salt_dix), salt_barry, ~(salt_cole), mustard_mill, [~(salt_mill)] 10: ~(salt_dix), [~(mustard_barry)], mustard_mill Gamma_90: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), [~( salt_cole)] 6: [~(salt_dix)], salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole) 7: salt_barry, salt_lang, [~(mustard_lang)] Gamma_91: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), [~( salt_cole)] 6: ~(salt_dix), [salt_barry], salt_lang, ~(mustard_dix), ~(mustard_cole) 7: salt_barry, salt_lang, [~(mustard_lang)] Gamma_92: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), [~( salt_cole)] 6: [~(salt_dix)], salt_lang, ~(mustard_dix), ~(mustard_cole) 7: salt_barry, salt_lang, [~(mustard_lang)] Gamma_93: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), ~(mustard_dix), [mustard_cole] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), [~( salt_cole)] 6: ~(salt_dix), salt_lang, ~(mustard_dix), [~(mustard_cole)] 7: salt_barry, salt_lang, [~(mustard_lang)] Gamma_94: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), salt_lang, ~(mustard_dix), [~(mustard_cole)] 4: ~(salt_dix), ~(mustard_dix), [mustard_cole] 5: ~(salt_dix), [~(salt_barry)], salt_lang 6: ~(salt_dix), salt_barry, salt_lang, ~(mustard_dix), ~(mustard_cole), [~( salt_cole)] 7: salt_barry, salt_lang, [~(mustard_lang)] Gamma_95: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), salt_lang, ~(mustard_dix), [~(mustard_cole)] 4: [~(salt_dix)], salt_lang, ~(mustard_dix) 5: ~(salt_dix), [~(salt_barry)], salt_lang 6: salt_barry, salt_lang, [~(mustard_lang)] Gamma_96: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), [mustard_dix] 3: ~(salt_dix), salt_lang, ~(mustard_dix), [~(mustard_cole)] 4: ~(salt_dix), salt_lang, [~(mustard_dix)] 5: ~(salt_dix), [~(salt_barry)], salt_lang 6: salt_barry, salt_lang, [~(mustard_lang)] Gamma_97: (move) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), salt_lang, [~(mustard_dix)] 3: ~(salt_dix), [mustard_dix] 4: ~(salt_dix), salt_lang, ~(mustard_dix), [~(mustard_cole)] 5: ~(salt_dix), [~(salt_barry)], salt_lang 6: salt_barry, salt_lang, [~(mustard_lang)] Gamma_98: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), salt_lang, [~(mustard_dix)] 3: [~(salt_dix)], salt_lang 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: salt_barry, salt_lang, [~(mustard_lang)] Gamma_99: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), salt_lang, [~(mustard_dix)] 3: ~(salt_dix), [salt_lang] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: salt_barry, salt_lang, [~(mustard_lang)] Gamma_100: (resolve) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), salt_lang, [~(mustard_dix)] 3: [~(salt_dix)] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: salt_barry, salt_lang, [~(mustard_lang)] Gamma_101: (extend-conflict) 0: [salt_dix], mustard_barry, mustard_dix 1: ~(salt_dix), [~(salt_lang)] 2: ~(salt_dix), salt_lang, [~(mustard_dix)] 3: [~(salt_dix)] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: salt_barry, salt_lang, [~(mustard_lang)] Gamma_102: (move) 0: [~(salt_dix)] 1: [salt_dix], mustard_barry, mustard_dix 2: ~(salt_dix), [~(salt_lang)] 3: ~(salt_dix), salt_lang, [~(mustard_dix)] 4: ~(salt_dix), [~(salt_barry)], salt_lang 5: salt_barry, salt_lang, [~(mustard_lang)] Gamma_103: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix Gamma_104: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix Gamma_105: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole Gamma_106: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] Gamma_107: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: [salt_lang], mustard_dix, mustard_lang Gamma_108: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: [salt_lang], mustard_dix, mustard_lang 5: salt_dix, ~(mustard_barry), ~(salt_barry), ~(salt_lang), [mustard_dix] Gamma_109: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: [salt_lang], mustard_dix, mustard_lang 5: salt_dix, ~(mustard_barry), ~(salt_barry), ~(salt_lang), [mustard_dix] 6: ~(salt_lang), [~(mustard_dix)], ~(salt_mill) Gamma_110: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: [salt_lang], mustard_dix, mustard_lang 5: ~(salt_lang), [~(mustard_dix)], ~(salt_mill) 6: salt_dix, ~(mustard_barry), ~(salt_barry), ~(salt_lang), [mustard_dix] Gamma_111: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: [salt_lang], mustard_dix, mustard_lang 5: ~(salt_lang), [~(mustard_dix)], ~(salt_mill) 6: [salt_dix], ~(mustard_barry), ~(salt_barry), ~(salt_lang), ~(salt_mill) Gamma_112: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: [salt_lang], mustard_dix, mustard_lang 5: ~(salt_lang), [~(mustard_dix)], ~(salt_mill) 6: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) Gamma_113: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: [salt_lang], mustard_dix, mustard_lang 6: ~(salt_lang), [~(mustard_dix)], ~(salt_mill) Gamma_114: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, ~(mustard_barry), ~(salt_barry), [mustard_dix], mustard_lang, ~( salt_mill) Gamma_115: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, ~(mustard_barry), ~(salt_barry), [mustard_dix], mustard_lang, ~( salt_mill) Gamma_116: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, ~(mustard_barry), ~(salt_barry), [mustard_dix], mustard_lang, ~( salt_mill) 6: ~(mustard_barry), ~(mustard_dix), [mustard_mill] Gamma_117: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, ~(mustard_barry), ~(salt_barry), [mustard_dix], mustard_lang, ~( salt_mill) 6: ~(mustard_barry), ~(mustard_dix), [mustard_mill] 7: salt_dix, salt_lang, [~(mustard_dix)] Gamma_118: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), [mustard_dix], mustard_lang, ~( salt_mill) 7: ~(mustard_barry), ~(mustard_dix), [mustard_mill] Gamma_119: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: [salt_dix], ~(mustard_barry), ~(salt_barry), salt_lang, mustard_lang, ~( salt_mill) Gamma_120: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) Gamma_121: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [mustard_cole], salt_cole, ~( mustard_lang), mustard_mill, ~(salt_mill) Gamma_122: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [mustard_cole], salt_cole, ~( mustard_lang), mustard_mill, ~(salt_mill) 8: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) Gamma_123: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [mustard_cole], salt_cole, ~( mustard_lang), mustard_mill, ~(salt_mill) Gamma_124: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: [salt_dix], ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, salt_cole, ~( mustard_lang), mustard_mill, ~(salt_mill) Gamma_125: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [salt_cole], ~( mustard_lang), mustard_mill, ~(salt_mill) Gamma_126: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [salt_cole], ~( mustard_lang), mustard_mill, ~(salt_mill) 9: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) Gamma_127: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [salt_cole], ~( mustard_lang), mustard_mill, ~(salt_mill) Gamma_128: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: [salt_dix], ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, ~( mustard_lang), mustard_mill, ~(salt_mill) Gamma_129: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, ~( mustard_lang), [mustard_mill], ~(salt_mill) Gamma_130: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, ~( mustard_lang), [mustard_mill], ~(salt_mill) 10: salt_dix, mustard_dix, mustard_cole, salt_cole, [~(mustard_mill)] Gamma_131: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, mustard_dix, mustard_cole, salt_cole, [~(mustard_mill)] 10: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, ~( mustard_lang), [mustard_mill], ~(salt_mill) Gamma_132: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, mustard_dix, mustard_cole, salt_cole, [~(mustard_mill)] 10: [salt_dix], ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, mustard_cole, salt_cole, ~( mustard_lang), ~(salt_mill) Gamma_133: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, mustard_dix, mustard_cole, salt_cole, [~(mustard_mill)] 10: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, mustard_cole, [salt_cole], ~( mustard_lang), ~(salt_mill) Gamma_134: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, mustard_dix, mustard_cole, salt_cole, [~(mustard_mill)] 10: [salt_dix], ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, mustard_cole, ~( mustard_lang), ~(salt_mill) Gamma_135: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, mustard_dix, mustard_cole, salt_cole, [~(mustard_mill)] 10: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [mustard_cole], ~( mustard_lang), ~(salt_mill) Gamma_136: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, mustard_dix, mustard_cole, salt_cole, [~(mustard_mill)] 10: [salt_dix], ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, ~( mustard_lang), ~(salt_mill) Gamma_137: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 7: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 9: salt_dix, mustard_dix, mustard_cole, salt_cole, [~(mustard_mill)] 10: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [~( mustard_lang)], ~(salt_mill) Gamma_138: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [~( mustard_lang)], ~(salt_mill) 7: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_lang], ~( salt_mill) 8: [~(mustard_cole)], ~(mustard_lang), ~(salt_mill) 9: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) 10: salt_dix, mustard_dix, mustard_cole, salt_cole, [~(mustard_mill)] Gamma_139: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [~( mustard_lang)], ~(salt_mill) 7: [salt_dix], ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, ~( salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) Gamma_140: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [~( mustard_lang)], ~(salt_mill) 7: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, [mustard_dix], ~( salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) Gamma_141: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [~( mustard_lang)], ~(salt_mill) 7: [salt_dix], ~(mustard_barry), ~(salt_barry), salt_lang, ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) Gamma_142: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [~( mustard_lang)], ~(salt_mill) 7: salt_dix, ~(mustard_barry), ~(salt_barry), [salt_lang], ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) Gamma_143: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [~( mustard_lang)], ~(salt_mill) 7: [salt_dix], ~(mustard_barry), ~(salt_barry), ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) Gamma_144: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: ~(mustard_barry), ~(salt_barry), [salt_mill] 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 5: salt_dix, salt_lang, [~(mustard_dix)] 6: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [~( mustard_lang)], ~(salt_mill) 7: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_mill)] 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) Gamma_145: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_mill)] 4: ~(mustard_barry), ~(salt_barry), [salt_mill] 5: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_lang)], ~(salt_mill) 6: salt_dix, salt_lang, [~(mustard_dix)] 7: salt_dix, ~(mustard_barry), ~(salt_barry), salt_lang, mustard_dix, [~( mustard_lang)], ~(salt_mill) 8: ~(mustard_barry), ~(salt_barry), [~(salt_cole)], ~(salt_mill) Gamma_146: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_mill)] 4: salt_dix, [~(mustard_barry)], ~(salt_barry) Gamma_147: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: ~(mustard_barry), [salt_barry], salt_cole 3: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_mill)] 4: salt_dix, ~(mustard_barry), [~(salt_barry)] Gamma_148: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: ~(mustard_barry), [salt_barry], salt_cole 4: salt_dix, ~(mustard_barry), ~(salt_barry), [~(salt_mill)] Gamma_149: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, [~(mustard_barry)], salt_cole Gamma_150: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, ~(mustard_barry), [salt_cole] Gamma_151: (extend-no-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, ~(mustard_barry), [salt_cole] 4: salt_barry, [mustard_cole], ~(salt_cole) Gamma_152: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, ~(mustard_barry), [salt_cole] 4: salt_barry, [mustard_cole], ~(salt_cole) 5: salt_dix, [~(mustard_cole)], ~(salt_cole) Gamma_153: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, ~(mustard_barry), [salt_cole] 4: salt_dix, [~(mustard_cole)], ~(salt_cole) 5: salt_barry, [mustard_cole], ~(salt_cole) Gamma_154: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, ~(mustard_barry), [salt_cole] 4: salt_dix, [~(mustard_cole)], ~(salt_cole) 5: salt_dix, [salt_barry], ~(salt_cole) Gamma_155: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, ~(mustard_barry), [salt_cole] 4: salt_dix, [~(mustard_cole)], ~(salt_cole) 5: salt_dix, salt_barry, [~(salt_cole)] Gamma_156: (move) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, salt_barry, [~(salt_cole)] 4: salt_dix, ~(mustard_barry), [salt_cole] 5: salt_dix, [~(mustard_cole)], ~(salt_cole) Gamma_157: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, salt_barry, [~(salt_cole)] 4: [salt_dix], ~(mustard_barry), salt_barry Gamma_158: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, salt_barry, [~(salt_cole)] 4: salt_dix, ~(mustard_barry), [salt_barry] Gamma_159: (resolve) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, salt_barry, [~(salt_cole)] 4: [salt_dix], ~(mustard_barry) Gamma_160: (extend-conflict) 0: [~(salt_dix)] 1: [mustard_barry], mustard_dix 2: salt_dix, ~(mustard_barry), [~(salt_barry)] 3: salt_dix, salt_barry, [~(salt_cole)] 4: salt_dix, [~(mustard_barry)] Gamma_161: (move) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: [mustard_barry], mustard_dix 3: salt_dix, ~(mustard_barry), [~(salt_barry)] 4: salt_dix, salt_barry, [~(salt_cole)] Gamma_162: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] Gamma_163: (extend-no-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] Gamma_164: (extend-no-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) Gamma_165: (extend-no-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang Gamma_166: (extend-no-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] Gamma_167: (extend-no-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] 6: [mustard_cole], ~(salt_cole), mustard_mill Gamma_168: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] 6: [mustard_cole], ~(salt_cole), mustard_mill 7: salt_dix, [~(mustard_cole)], ~(salt_cole) Gamma_169: (move) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] 6: salt_dix, [~(mustard_cole)], ~(salt_cole) 7: [mustard_cole], ~(salt_cole), mustard_mill Gamma_170: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] 6: salt_dix, [~(mustard_cole)], ~(salt_cole) 7: salt_dix, [~(salt_cole)], mustard_mill Gamma_171: (extend-no-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] 6: salt_dix, [~(mustard_cole)], ~(salt_cole) 7: salt_dix, ~(salt_cole), [mustard_mill] Gamma_172: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] 6: salt_dix, [~(mustard_cole)], ~(salt_cole) 7: salt_dix, ~(salt_cole), [mustard_mill] 8: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] Gamma_173: (move) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] 6: salt_dix, [~(mustard_cole)], ~(salt_cole) 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 8: salt_dix, ~(salt_cole), [mustard_mill] Gamma_174: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] 6: salt_dix, [~(mustard_cole)], ~(salt_cole) 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 8: [salt_dix], ~(salt_lang), ~(mustard_dix), ~(salt_cole) Gamma_175: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: mustard_barry, ~(salt_barry), [salt_cole] 6: salt_dix, [~(mustard_cole)], ~(salt_cole) 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 8: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] Gamma_176: (move) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 6: mustard_barry, ~(salt_barry), [salt_cole] 7: salt_dix, [~(mustard_cole)], ~(salt_cole) 8: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] Gamma_177: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 6: salt_dix, [mustard_barry], ~(salt_barry), ~(salt_lang), ~(mustard_dix) 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] Gamma_178: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: [salt_barry], ~(salt_lang), mustard_lang 5: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 6: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] Gamma_179: (move) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: [salt_barry], ~(salt_lang), mustard_lang 6: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] Gamma_180: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: salt_dix, mustard_barry, [~(salt_lang)], ~(mustard_dix), mustard_lang 6: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] Gamma_181: (extend-no-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: salt_dix, mustard_barry, ~(salt_lang), ~(mustard_dix), [mustard_lang] 6: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] Gamma_182: (extend-no-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: salt_dix, mustard_barry, ~(salt_lang), ~(mustard_dix), [mustard_lang] 6: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 8: ~(salt_lang), [mustard_cole], ~(mustard_lang) Gamma_183: (extend-no-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: salt_dix, mustard_barry, ~(salt_lang), ~(mustard_dix), [mustard_lang] 6: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 8: ~(salt_lang), [mustard_cole], ~(mustard_lang) 9: ~(salt_lang), ~(mustard_lang), [salt_mill] Gamma_184: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: salt_dix, mustard_barry, ~(salt_lang), ~(mustard_dix), [mustard_lang] 6: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 8: ~(salt_lang), [mustard_cole], ~(mustard_lang) 9: ~(salt_lang), ~(mustard_lang), [salt_mill] 10: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] Gamma_185: (move) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: salt_dix, mustard_barry, ~(salt_lang), ~(mustard_dix), [mustard_lang] 6: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 8: ~(salt_lang), [mustard_cole], ~(mustard_lang) 9: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] 10: ~(salt_lang), ~(mustard_lang), [salt_mill] Gamma_186: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: salt_dix, mustard_barry, ~(salt_lang), ~(mustard_dix), [mustard_lang] 6: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 8: ~(salt_lang), [mustard_cole], ~(mustard_lang) 9: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] 10: [~(salt_lang)], ~(mustard_dix), ~(mustard_lang) Gamma_187: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: salt_dix, mustard_barry, ~(salt_lang), ~(mustard_dix), [mustard_lang] 6: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 7: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 8: ~(salt_lang), [mustard_cole], ~(mustard_lang) 9: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] 10: ~(salt_lang), ~(mustard_dix), [~(mustard_lang)] Gamma_188: (move) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: ~(salt_lang), ~(mustard_dix), [~(mustard_lang)] 6: salt_dix, mustard_barry, ~(salt_lang), ~(mustard_dix), [mustard_lang] 7: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 8: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 9: ~(salt_lang), [mustard_cole], ~(mustard_lang) 10: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] Gamma_189: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: ~(salt_lang), ~(mustard_dix), [~(mustard_lang)] 6: [salt_dix], mustard_barry, ~(salt_lang), ~(mustard_dix) 7: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 8: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 9: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] Gamma_190: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, [salt_lang], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 5: ~(salt_lang), ~(mustard_dix), [~(mustard_lang)] 6: salt_dix, mustard_barry, [~(salt_lang)], ~(mustard_dix) 7: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 8: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 9: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] Gamma_191: (move) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, mustard_barry, [~(salt_lang)], ~(mustard_dix) 4: salt_dix, [salt_lang], ~(mustard_dix) 5: salt_dix, mustard_barry, [~(salt_barry)], ~(salt_lang), ~(mustard_dix) 6: ~(salt_lang), ~(mustard_dix), [~(mustard_lang)] 7: salt_dix, ~(salt_lang), ~(mustard_dix), [~(salt_cole)] 8: ~(salt_lang), ~(mustard_dix), [~(mustard_mill)] 9: ~(salt_lang), ~(mustard_dix), [~(salt_mill)] Gamma_192: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, mustard_barry, [~(salt_lang)], ~(mustard_dix) 4: [salt_dix], mustard_barry, ~(mustard_dix) Gamma_193: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, [mustard_dix] 3: salt_dix, mustard_barry, [~(salt_lang)], ~(mustard_dix) 4: salt_dix, mustard_barry, [~(mustard_dix)] Gamma_194: (move) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, mustard_barry, [~(mustard_dix)] 3: salt_dix, [mustard_dix] 4: salt_dix, mustard_barry, [~(salt_lang)], ~(mustard_dix) Gamma_195: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, mustard_barry, [~(mustard_dix)] 3: [salt_dix], mustard_barry Gamma_196: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, mustard_barry, [~(mustard_dix)] 3: salt_dix, [mustard_barry] Gamma_197: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, mustard_barry, [~(mustard_dix)] 3: [salt_dix] Gamma_198: (extend-conflict) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, mustard_barry, [~(mustard_dix)] 3: [salt_dix] Gamma_199: (resolve) 0: [~(salt_dix)] 1: salt_dix, [~(mustard_barry)] 2: salt_dix, mustard_barry, [~(mustard_dix)] 3: [] SZS status Unsatisfiable