%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------% ------ Parsing...successful ------ Proving... use I- Gamma_0: (extend-no-conflict) 0: [environment(esk4_0)] Gamma_1: (extend-no-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] Gamma_2: (extend-no-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) Gamma_3: (extend-no-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) Gamma_4: (extend-no-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) Gamma_5: (extend-no-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) Gamma_6: (extend-no-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))], ~(greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) Gamma_7: (extend-no-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))], ~(greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_8: (extend-no-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))], ~(greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) Gamma_9: (extend-no-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))], ~(greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 9: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] Gamma_10: (extend-no-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))], ~(greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 9: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] 10: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), [greater( zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0))))], ~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_11: (extend-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))], ~(greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 9: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] 10: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), [greater( zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0))))], ~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 11: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_12: (move) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))], ~(greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 9: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] 10: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] 11: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), [greater( zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0))))], ~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_13: (resolve) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))], ~(greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 9: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] 10: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] 11: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0))))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), ~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) Gamma_14: (extend-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))], ~(greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 9: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] 10: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] 11: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), ~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), [~( greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) Gamma_15: (move) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))], ~(greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 9: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), ~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), [~( greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 10: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] 11: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_16: (resolve) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))], ~(greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 9: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), ~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), [~( greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 10: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), [~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], ~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 11: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_17: (extend-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))], ~(greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 9: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), ~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), [~( greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 10: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0))))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), ~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 11: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_18: (move) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))], ~(greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0))))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), ~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 9: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 10: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), ~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), [~( greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 11: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_19: (resolve) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))], ~(greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0))))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), ~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 9: [~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 10: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_20: (extend-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))], ~(greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0))))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), ~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 9: [~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 10: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_21: (move) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))], ~(greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 9: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0))))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), ~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 10: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_22: (resolve) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))], ~(greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_23: (extend-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))], ~(greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_24: (move) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 7: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))], ~(greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 8: [~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], ~( greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0))))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_25: (resolve) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 7: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) Gamma_26: (extend-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 7: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) Gamma_27: (move) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( growth_rate(efficient_producers,esk1_2(esk4_0,esk3_1(esk4_0))),zero)], ~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))), ~(environment(esk4_0)), ~( stable(esk4_0)) 7: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_28: (resolve) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_29: (extend-no-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_30: (extend-no-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 7: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) Gamma_31: (extend-no-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 7: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 8: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] Gamma_32: (extend-no-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 7: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 8: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] 9: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0))))], greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), ~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_33: (extend-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 7: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 8: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] 9: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0))))], greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), ~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 10: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_34: (move) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 7: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 8: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] 9: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] 10: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0))))], greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), ~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_35: (resolve) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 7: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 8: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] 9: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] 10: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0))))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), ~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_36: (extend-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 7: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 8: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] 9: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] 10: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), [~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0)))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_37: (move) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 7: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 8: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), [~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0)))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 9: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] 10: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_38: (resolve) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 7: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 8: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), [~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0)))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 9: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), [~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 10: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_39: (extend-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 7: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 8: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), [~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0)))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 9: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0))))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 10: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_40: (move) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 7: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0))))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 8: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 9: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), [~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0)))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 10: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_41: (resolve) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 7: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0))))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 8: [~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 9: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_42: (extend-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 7: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0))))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 8: [~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 9: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_43: (move) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0))))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 9: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_44: (resolve) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_45: (extend-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_46: (resolve) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 7: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_47: (extend-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 4: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 7: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_48: (move) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], greater( esk2_1(esk4_0),appear(efficient_producers,esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: ~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))), [~( greater_or_equal(esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], greater_or_equal( esk1_2(esk4_0,esk3_1(esk4_0)),esk3_1(esk4_0)), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_49: (resolve) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_50: (extend-no-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_51: (extend-no-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 6: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) Gamma_52: (extend-no-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 6: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 7: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] Gamma_53: (extend-no-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 6: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 7: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] 8: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), ~( subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0))))], ~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_54: (extend-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 6: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 7: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] 8: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), ~( subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0))))], ~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 9: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_55: (move) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 6: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 7: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] 8: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] 9: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), ~( subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), [greater( zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0))))], ~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_56: (resolve) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 6: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 7: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] 8: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] 9: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], ~( subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), ~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))), ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_57: (extend-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 6: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 7: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] 8: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] 9: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), ~( subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0)))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_58: (move) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 6: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 7: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), ~( subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0)))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [greater_or_equal( esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0))] 9: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_59: (resolve) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 6: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 7: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), ~( subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0)))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), ~( subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), [~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 9: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_60: (extend-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 6: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 7: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), ~( subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0)))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 8: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), [~( subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0))))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 9: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_61: (move) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 6: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), [~( subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0))))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: [subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))) 8: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), ~( subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0)))), ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~(greater_or_equal(esk5_1(esk2_1(esk4_0)),esk2_1(esk4_0)))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 9: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_62: (resolve) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 6: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), [~( subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0))))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), [~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 8: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_63: (extend-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 5: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 6: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), [~( subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0))))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 7: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), [~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 8: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_64: (move) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), [~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: [greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 7: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), [~( subpopulations(first_movers,efficient_producers,esk4_0,esk5_1(esk2_1(esk4_0))))], ~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 8: ~(greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0))), [~( greater(zero,growth_rate(first_movers,esk5_1(esk2_1(esk4_0)))))] Gamma_65: (resolve) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), [~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), [~( in_environment(esk4_0,esk3_1(esk4_0)))], ~(environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_66: (extend-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), [~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: [subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0)))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_67: (resolve) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), [~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: [~(in_environment(esk4_0,esk3_1(esk4_0)))], ~(environment(esk4_0)), ~( stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_68: (extend-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 4: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), [~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 5: [~(in_environment(esk4_0,esk3_1(esk4_0)))], ~(environment(esk4_0)), ~( stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_69: (move) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [~(in_environment(esk4_0,esk3_1(esk4_0)))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [in_environment(esk4_0,esk3_1(esk4_0))], ~(environment(esk4_0)), ~( stable(esk4_0)) 4: [~(subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) 5: subpopulations(first_movers,efficient_producers,esk4_0,esk1_2(esk4_0,esk3_1(esk4_0))), [~( greater(esk2_1(esk4_0),appear(efficient_producers,esk4_0)))], ~(in_environment(esk4_0,esk3_1(esk4_0))), ~( environment(esk4_0)), ~(stable(esk4_0)) 6: [~(greater(zero,growth_rate(first_movers,esk1_2(esk4_0,esk3_1(esk4_0)))))], ~( in_environment(esk4_0,esk3_1(esk4_0))), ~(environment(esk4_0)), ~(stable(esk4_0)) Gamma_70: (resolve) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [~(in_environment(esk4_0,esk3_1(esk4_0)))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: [~(environment(esk4_0))], ~(stable(esk4_0)) Gamma_71: (extend-conflict) 0: [environment(esk4_0)] 1: [stable(esk4_0)] 2: [~(in_environment(esk4_0,esk3_1(esk4_0)))], ~(environment(esk4_0)), ~( stable(esk4_0)) 3: ~(environment(esk4_0)), [~(stable(esk4_0))] Gamma_72: (move) 0: [environment(esk4_0)] 1: ~(environment(esk4_0)), [~(stable(esk4_0))] 2: [stable(esk4_0)] 3: [~(in_environment(esk4_0,esk3_1(esk4_0)))], ~(environment(esk4_0)), ~( stable(esk4_0)) Gamma_73: (resolve) 0: [environment(esk4_0)] 1: ~(environment(esk4_0)), [~(stable(esk4_0))] 2: [~(environment(esk4_0))] Gamma_74: (extend-conflict) 0: [environment(esk4_0)] 1: ~(environment(esk4_0)), [~(stable(esk4_0))] 2: [~(environment(esk4_0))] Gamma_75: (move) 0: [~(environment(esk4_0))] 1: [environment(esk4_0)] 2: ~(environment(esk4_0)), [~(stable(esk4_0))] Gamma_76: (resolve) 0: [~(environment(esk4_0))] 1: [] SZS status Unsatisfiable