%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------%

------ Parsing...successful


------ Proving...
use I-

Gamma_0: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))

Gamma_1: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))

Gamma_2: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]

Gamma_3: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]

Gamma_4: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]

Gamma_5: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
greater(resilience(efficient_producers),resilience(first_movers))), [constant(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
constant(resources(esk1_0,esk2_0))), ~(environment(esk1_0))

Gamma_6: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
greater(resilience(efficient_producers),resilience(first_movers))), [constant(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
constant(resources(esk1_0,esk2_0))), ~(environment(esk1_0))
  6: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_7: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  6: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
greater(resilience(efficient_producers),resilience(first_movers))), [constant(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
constant(resources(esk1_0,esk2_0))), ~(environment(esk1_0))

Gamma_8: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  6: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
greater(resilience(efficient_producers),resilience(first_movers))), ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), ~(
environment(esk1_0))

Gamma_9: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  6: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), ~(
environment(esk1_0))

Gamma_10: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), ~(
environment(esk1_0))
  5: [greater(resilience(efficient_producers),resilience(first_movers))]
  6: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_11: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), ~(
environment(esk1_0))
  5: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), ~(
environment(esk1_0))
  6: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_12: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), ~(
environment(esk1_0))
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [~(
environment(esk1_0))]
  6: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_13: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [~(
environment(esk1_0))]
  4: [environment(esk1_0)]
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), ~(
environment(esk1_0))
  6: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_14: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [~(
environment(esk1_0))]
  4: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  5: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_15: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [~(
environment(esk1_0))]
  4: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  5: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_16: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  3: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  4: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [~(
environment(esk1_0))]
  5: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_17: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  3: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_18: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  3: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_19: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  3: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_20: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_21: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_22: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]

Gamma_23: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]

Gamma_24: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]
  6: [greater(resilience(efficient_producers),resilience(first_movers))]

Gamma_25: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]
  6: [greater(resilience(efficient_producers),resilience(first_movers))]
  7: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
greater(resilience(efficient_producers),resilience(first_movers))), [increases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))

Gamma_26: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]
  6: [greater(resilience(efficient_producers),resilience(first_movers))]
  7: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
greater(resilience(efficient_producers),resilience(first_movers))), [increases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))
  8: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_27: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]
  6: [greater(resilience(efficient_producers),resilience(first_movers))]
  7: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))
  8: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
greater(resilience(efficient_producers),resilience(first_movers))), [increases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))

Gamma_28: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]
  6: [greater(resilience(efficient_producers),resilience(first_movers))]
  7: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))
  8: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
greater(resilience(efficient_producers),resilience(first_movers))), constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), ~(
environment(esk1_0))

Gamma_29: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]
  6: [greater(resilience(efficient_producers),resilience(first_movers))]
  7: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))
  8: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), ~(
environment(esk1_0))

Gamma_30: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]
  6: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), ~(
environment(esk1_0))
  7: [greater(resilience(efficient_producers),resilience(first_movers))]
  8: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_31: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]
  6: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), ~(
environment(esk1_0))
  7: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), ~(
environment(esk1_0))
  8: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_32: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]
  6: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), ~(
environment(esk1_0))
  7: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), [~(
environment(esk1_0))]
  8: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_33: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), [~(
environment(esk1_0))]
  6: [environment(esk1_0)]
  7: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), ~(
environment(esk1_0))
  8: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_34: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), [~(
environment(esk1_0))]
  6: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0)))
  7: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_35: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), [~(
environment(esk1_0))]
  6: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0)))
  7: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_36: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0)))
  5: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  6: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), [~(
environment(esk1_0))]
  7: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_37: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0)))
  5: [constant(resources(esk1_0,esk2_0))], ~(decreases(resources(esk1_0,esk2_0)))
  6: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_38: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0)))
  5: constant(resources(esk1_0,esk2_0)), [~(decreases(resources(esk1_0,esk2_0)))]
  6: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_39: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: constant(resources(esk1_0,esk2_0)), [~(decreases(resources(esk1_0,esk2_0)))]
  3: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  4: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  5: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0)))
  6: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_40: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: constant(resources(esk1_0,esk2_0)), [~(decreases(resources(esk1_0,esk2_0)))]
  3: constant(resources(esk1_0,esk2_0)), [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  4: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_41: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: constant(resources(esk1_0,esk2_0)), [~(decreases(resources(esk1_0,esk2_0)))]
  3: [constant(resources(esk1_0,esk2_0))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_42: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: constant(resources(esk1_0,esk2_0)), [~(decreases(resources(esk1_0,esk2_0)))]
  3: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  4: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_43: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: constant(resources(esk1_0,esk2_0)), [~(decreases(resources(esk1_0,esk2_0)))]
  3: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  4: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_44: (move)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  2: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  3: constant(resources(esk1_0,esk2_0)), [~(decreases(resources(esk1_0,esk2_0)))]
  4: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_45: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]

Gamma_46: (extend-no-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]

Gamma_47: (extend-no-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]

Gamma_48: (extend-no-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]

Gamma_49: (extend-no-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]

Gamma_50: (extend-no-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
greater(resilience(efficient_producers),resilience(first_movers))), [increases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))

Gamma_51: (extend-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
greater(resilience(efficient_producers),resilience(first_movers))), [increases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))
  6: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_52: (move)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))
  6: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
greater(resilience(efficient_producers),resilience(first_movers))), [increases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))

Gamma_53: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))
  6: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
greater(resilience(efficient_producers),resilience(first_movers))), decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))

Gamma_54: (extend-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))
  6: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))

Gamma_55: (move)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))
  5: [greater(resilience(efficient_producers),resilience(first_movers))]
  6: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_56: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))
  5: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))
  6: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_57: (extend-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), [~(environment(esk1_0))]
  6: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_58: (move)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), [~(environment(esk1_0))]
  4: [environment(esk1_0)]
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))
  6: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_59: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), [~(environment(esk1_0))]
  4: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0)))
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_60: (extend-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), [~(environment(esk1_0))]
  4: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0)))
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_61: (move)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0)))
  3: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  4: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), [~(environment(esk1_0))]
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_62: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0)))
  3: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
decreases(resources(esk1_0,esk2_0)))
  4: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_63: (extend-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0)))
  3: decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), [~(
decreases(resources(esk1_0,esk2_0)))]
  4: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_64: (move)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), [~(
decreases(resources(esk1_0,esk2_0)))]
  2: [decreases(resources(esk1_0,esk2_0))]
  3: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0)))
  4: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_65: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), [~(
decreases(resources(esk1_0,esk2_0)))]
  2: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))]
  3: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_66: (extend-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), [~(
decreases(resources(esk1_0,esk2_0)))]
  2: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))]
  3: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_67: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), [~(
decreases(resources(esk1_0,esk2_0)))]
  2: []
  3: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

SZS status Unsatisfiable

%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------%

------ Parsing...successful


------ Proving...
use I-

Gamma_0: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))

Gamma_1: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))

Gamma_2: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]

Gamma_3: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]

Gamma_4: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]

Gamma_5: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
greater(resilience(efficient_producers),resilience(first_movers))), [constant(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
constant(resources(esk1_0,esk2_0))), ~(environment(esk1_0))

Gamma_6: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
greater(resilience(efficient_producers),resilience(first_movers))), [constant(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
constant(resources(esk1_0,esk2_0))), ~(environment(esk1_0))
  6: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_7: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  6: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
greater(resilience(efficient_producers),resilience(first_movers))), [constant(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
constant(resources(esk1_0,esk2_0))), ~(environment(esk1_0))

Gamma_8: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  6: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
greater(resilience(efficient_producers),resilience(first_movers))), ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), ~(
environment(esk1_0))

Gamma_9: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  6: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), ~(
environment(esk1_0))

Gamma_10: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), ~(
environment(esk1_0))
  5: [greater(resilience(efficient_producers),resilience(first_movers))]
  6: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_11: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), ~(
environment(esk1_0))
  5: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), ~(
environment(esk1_0))
  6: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_12: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), ~(
environment(esk1_0))
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [~(
environment(esk1_0))]
  6: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_13: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [~(
environment(esk1_0))]
  4: [environment(esk1_0)]
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), ~(
environment(esk1_0))
  6: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_14: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [~(
environment(esk1_0))]
  4: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  5: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_15: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [~(
environment(esk1_0))]
  4: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  5: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_16: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  3: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  4: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [~(
environment(esk1_0))]
  5: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_17: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  3: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_18: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  2: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  3: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_19: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: [constant(resources(esk1_0,esk2_0))], decreases(resources(esk1_0,esk2_0))
  3: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
constant(resources(esk1_0,esk2_0))), ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_20: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_21: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))

Gamma_22: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]

Gamma_23: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]

Gamma_24: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]
  6: [greater(resilience(efficient_producers),resilience(first_movers))]

Gamma_25: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]
  6: [greater(resilience(efficient_producers),resilience(first_movers))]
  7: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
greater(resilience(efficient_producers),resilience(first_movers))), [increases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))

Gamma_26: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]
  6: [greater(resilience(efficient_producers),resilience(first_movers))]
  7: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
greater(resilience(efficient_producers),resilience(first_movers))), [increases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))
  8: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_27: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]
  6: [greater(resilience(efficient_producers),resilience(first_movers))]
  7: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))
  8: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
greater(resilience(efficient_producers),resilience(first_movers))), [increases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))

Gamma_28: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]
  6: [greater(resilience(efficient_producers),resilience(first_movers))]
  7: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))
  8: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
greater(resilience(efficient_producers),resilience(first_movers))), constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), ~(
environment(esk1_0))

Gamma_29: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]
  6: [greater(resilience(efficient_producers),resilience(first_movers))]
  7: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))
  8: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), ~(
environment(esk1_0))

Gamma_30: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]
  6: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), ~(
environment(esk1_0))
  7: [greater(resilience(efficient_producers),resilience(first_movers))]
  8: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_31: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]
  6: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), ~(
environment(esk1_0))
  7: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), ~(
environment(esk1_0))
  8: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_32: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: [environment(esk1_0)]
  6: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), ~(
environment(esk1_0))
  7: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), [~(
environment(esk1_0))]
  8: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_33: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), [~(
environment(esk1_0))]
  6: [environment(esk1_0)]
  7: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), ~(
environment(esk1_0))
  8: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_34: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), [~(
environment(esk1_0))]
  6: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0)))
  7: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_35: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), [~(
environment(esk1_0))]
  6: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0)))
  7: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_36: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0)))
  5: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  6: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0))), [~(
environment(esk1_0))]
  7: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_37: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0)))
  5: [constant(resources(esk1_0,esk2_0))], ~(decreases(resources(esk1_0,esk2_0)))
  6: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_38: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  3: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0)))
  5: constant(resources(esk1_0,esk2_0)), [~(decreases(resources(esk1_0,esk2_0)))]
  6: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_39: (move)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: constant(resources(esk1_0,esk2_0)), [~(decreases(resources(esk1_0,esk2_0)))]
  3: ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))), [decreases(
resources(esk1_0,esk2_0))]
  4: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  5: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], constant(
resources(esk1_0,esk2_0)), ~(decreases(resources(esk1_0,esk2_0)))
  6: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_40: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: constant(resources(esk1_0,esk2_0)), [~(decreases(resources(esk1_0,esk2_0)))]
  3: constant(resources(esk1_0,esk2_0)), [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  4: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_41: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: constant(resources(esk1_0,esk2_0)), [~(decreases(resources(esk1_0,esk2_0)))]
  3: [constant(resources(esk1_0,esk2_0))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  4: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_42: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: constant(resources(esk1_0,esk2_0)), [~(decreases(resources(esk1_0,esk2_0)))]
  3: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  4: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_43: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  1: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  2: constant(resources(esk1_0,esk2_0)), [~(decreases(resources(esk1_0,esk2_0)))]
  3: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  4: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_44: (move)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], decreases(
resources(esk1_0,esk2_0))
  2: [~(constant(resources(esk1_0,esk2_0)))], ~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  3: constant(resources(esk1_0,esk2_0)), [~(decreases(resources(esk1_0,esk2_0)))]
  4: [~(constant(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], ~(
decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], constant(
resources(esk1_0,esk2_0))

Gamma_45: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]

Gamma_46: (extend-no-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]

Gamma_47: (extend-no-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]

Gamma_48: (extend-no-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]

Gamma_49: (extend-no-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]

Gamma_50: (extend-no-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
greater(resilience(efficient_producers),resilience(first_movers))), [increases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))

Gamma_51: (extend-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
greater(resilience(efficient_producers),resilience(first_movers))), [increases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))
  6: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_52: (move)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))
  6: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), ~(
greater(resilience(efficient_producers),resilience(first_movers))), [increases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))

Gamma_53: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))
  6: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], ~(
greater(resilience(efficient_producers),resilience(first_movers))), decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))

Gamma_54: (extend-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: [greater(resilience(efficient_producers),resilience(first_movers))]
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))
  6: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))

Gamma_55: (move)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))
  5: [greater(resilience(efficient_producers),resilience(first_movers))]
  6: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_56: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))
  5: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))
  6: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_57: (extend-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: [environment(esk1_0)]
  4: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), [~(environment(esk1_0))]
  6: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_58: (move)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), [~(environment(esk1_0))]
  4: [environment(esk1_0)]
  5: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), ~(environment(esk1_0))
  6: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_59: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), [~(environment(esk1_0))]
  4: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0)))
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_60: (extend-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  3: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), [~(environment(esk1_0))]
  4: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0)))
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_61: (move)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0)))
  3: [subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)]
  4: ~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0)), decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0))), [~(environment(esk1_0))]
  5: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_62: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0)))
  3: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))], ~(
decreases(resources(esk1_0,esk2_0)))
  4: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_63: (extend-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: [decreases(resources(esk1_0,esk2_0))]
  2: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0)))
  3: decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), [~(
decreases(resources(esk1_0,esk2_0)))]
  4: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_64: (move)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), [~(
decreases(resources(esk1_0,esk2_0)))]
  2: [decreases(resources(esk1_0,esk2_0))]
  3: [~(subpopulations(first_movers,efficient_producers,esk1_0,esk2_0))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), ~(
decreases(resources(esk1_0,esk2_0)))
  4: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_65: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), [~(
decreases(resources(esk1_0,esk2_0)))]
  2: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))]
  3: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_66: (extend-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), [~(
decreases(resources(esk1_0,esk2_0)))]
  2: [decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))]
  3: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

Gamma_67: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))]
  1: decreases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))), [~(
decreases(resources(esk1_0,esk2_0)))]
  2: []
  3: [~(increases(difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0))))], decreases(
difference(disbanding_rate(first_movers,esk2_0),disbanding_rate(efficient_producers,esk2_0)))

SZS status Unsatisfiable