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