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

------ Parsing...successful


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Gamma_22: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: [decreases(resources(sk1,sk2))], constant(resources(sk1,sk2))
  2: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  3: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), ~(
decreases(resources(sk1,sk2))), [~(environment(sk1))]
  4: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], ~(
decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), ~(
decreases(resources(sk1,sk2)))
  5: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

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

Gamma_24: (move)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: [decreases(resources(sk1,sk2))], constant(resources(sk1,sk2))
  2: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], ~(
decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), ~(
decreases(resources(sk1,sk2)))
  3: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  4: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), ~(
decreases(resources(sk1,sk2))), [~(environment(sk1))]
  5: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

Gamma_25: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: [decreases(resources(sk1,sk2))], constant(resources(sk1,sk2))
  2: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], ~(
decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), ~(
decreases(resources(sk1,sk2)))
  3: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))], ~(
decreases(resources(sk1,sk2)))
  4: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

Gamma_26: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: [decreases(resources(sk1,sk2))], constant(resources(sk1,sk2))
  2: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], ~(
decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), ~(
decreases(resources(sk1,sk2)))
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  4: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

Gamma_27: (move)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: [decreases(resources(sk1,sk2))], constant(resources(sk1,sk2))
  3: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], ~(
decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), ~(
decreases(resources(sk1,sk2)))
  4: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

Gamma_28: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

Gamma_29: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

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

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

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

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

Gamma_34: (move)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  5: [environment(sk1)]
  6: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2))), ~(environment(sk1))
  7: [greater(resilience(efficient_producers),resilience(first_movers))]

Gamma_35: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  5: [environment(sk1)]
  6: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2))), ~(environment(sk1))
  7: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2))), ~(environment(sk1))

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

Gamma_37: (move)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  5: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2))), [~(environment(sk1))]
  6: [environment(sk1)]
  7: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2))), ~(environment(sk1))

Gamma_38: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  5: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2))), [~(environment(sk1))]
  6: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2)))

Gamma_39: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  5: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2))), [~(environment(sk1))]
  6: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2)))

Gamma_40: (move)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2)))
  5: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  6: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2))), [~(environment(sk1))]

Gamma_41: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2)))
  5: [constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], ~(
constant(resources(sk1,sk2)))

Gamma_42: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2)))
  5: [constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], ~(
constant(resources(sk1,sk2)))

Gamma_43: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2)))
  5: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(resources(sk1,sk2)))]

Gamma_44: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2)))
  5: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(resources(sk1,sk2)))]

Gamma_45: (move)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(resources(sk1,sk2)))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  4: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  5: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2)))

Gamma_46: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(resources(sk1,sk2)))]
  3: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

Gamma_47: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(resources(sk1,sk2)))]
  3: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

Gamma_48: (move)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(resources(sk1,sk2)))]
  4: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

Gamma_49: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: [decreases(resources(sk1,sk2))]

Gamma_50: (extend-no-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: [decreases(resources(sk1,sk2))]

Gamma_51: (extend-no-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: [decreases(resources(sk1,sk2))]
  2: [subpopulations(first_movers,efficient_producers,sk1,sk2)]

Gamma_52: (extend-no-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: [decreases(resources(sk1,sk2))]
  2: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  3: [environment(sk1)]

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

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

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

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

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

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

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

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

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

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

Gamma_63: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: [decreases(resources(sk1,sk2))]
  2: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  3: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
decreases(resources(sk1,sk2))), [~(environment(sk1))]
  4: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
decreases(resources(sk1,sk2)))
  5: [~(increases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))

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

Gamma_65: (move)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: [decreases(resources(sk1,sk2))]
  2: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
decreases(resources(sk1,sk2)))
  3: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  4: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
decreases(resources(sk1,sk2))), [~(environment(sk1))]
  5: [~(increases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))

Gamma_66: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: [decreases(resources(sk1,sk2))]
  2: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
decreases(resources(sk1,sk2)))
  3: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], ~(
decreases(resources(sk1,sk2)))
  4: [~(increases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))

Gamma_67: (extend-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: [decreases(resources(sk1,sk2))]
  2: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
decreases(resources(sk1,sk2)))
  3: decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), [~(
decreases(resources(sk1,sk2)))]
  4: [~(increases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))

Gamma_68: (move)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), [~(
decreases(resources(sk1,sk2)))]
  2: [decreases(resources(sk1,sk2))]
  3: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
decreases(resources(sk1,sk2)))
  4: [~(increases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))

Gamma_69: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), [~(
decreases(resources(sk1,sk2)))]
  2: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))]
  3: [~(increases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))

Gamma_70: (extend-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), [~(
decreases(resources(sk1,sk2)))]
  2: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))]
  3: [~(increases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))

Gamma_71: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), [~(
decreases(resources(sk1,sk2)))]
  2: []
  3: [~(increases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))

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,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Gamma_22: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: [decreases(resources(sk1,sk2))], constant(resources(sk1,sk2))
  2: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  3: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), ~(
decreases(resources(sk1,sk2))), [~(environment(sk1))]
  4: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], ~(
decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), ~(
decreases(resources(sk1,sk2)))
  5: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

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

Gamma_24: (move)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: [decreases(resources(sk1,sk2))], constant(resources(sk1,sk2))
  2: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], ~(
decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), ~(
decreases(resources(sk1,sk2)))
  3: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  4: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), ~(
decreases(resources(sk1,sk2))), [~(environment(sk1))]
  5: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

Gamma_25: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: [decreases(resources(sk1,sk2))], constant(resources(sk1,sk2))
  2: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], ~(
decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), ~(
decreases(resources(sk1,sk2)))
  3: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))], ~(
decreases(resources(sk1,sk2)))
  4: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

Gamma_26: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: [decreases(resources(sk1,sk2))], constant(resources(sk1,sk2))
  2: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], ~(
decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), ~(
decreases(resources(sk1,sk2)))
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  4: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

Gamma_27: (move)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: [decreases(resources(sk1,sk2))], constant(resources(sk1,sk2))
  3: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], ~(
decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), ~(
decreases(resources(sk1,sk2)))
  4: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

Gamma_28: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

Gamma_29: (extend-no-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

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

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

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

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

Gamma_34: (move)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  5: [environment(sk1)]
  6: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2))), ~(environment(sk1))
  7: [greater(resilience(efficient_producers),resilience(first_movers))]

Gamma_35: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  5: [environment(sk1)]
  6: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2))), ~(environment(sk1))
  7: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2))), ~(environment(sk1))

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

Gamma_37: (move)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  5: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2))), [~(environment(sk1))]
  6: [environment(sk1)]
  7: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), [~(
greater(resilience(efficient_producers),resilience(first_movers)))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2))), ~(environment(sk1))

Gamma_38: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  5: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2))), [~(environment(sk1))]
  6: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2)))

Gamma_39: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  5: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2))), [~(environment(sk1))]
  6: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2)))

Gamma_40: (move)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2)))
  5: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  6: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2))), [~(environment(sk1))]

Gamma_41: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2)))
  5: [constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], ~(
constant(resources(sk1,sk2)))

Gamma_42: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2)))
  5: [constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], ~(
constant(resources(sk1,sk2)))

Gamma_43: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2)))
  5: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(resources(sk1,sk2)))]

Gamma_44: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2)))
  5: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(resources(sk1,sk2)))]

Gamma_45: (move)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(resources(sk1,sk2)))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [constant(
resources(sk1,sk2))]
  4: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  5: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], constant(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
constant(resources(sk1,sk2)))

Gamma_46: (resolve)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(resources(sk1,sk2)))]
  3: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

Gamma_47: (extend-conflict)
  0: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  1: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(resources(sk1,sk2)))]
  3: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  4: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

Gamma_48: (move)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], decreases(
resources(sk1,sk2))
  2: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
decreases(resources(sk1,sk2)))]
  3: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(resources(sk1,sk2)))]
  4: ~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))), [~(
constant(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]

Gamma_49: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: [decreases(resources(sk1,sk2))]

Gamma_50: (extend-no-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: [decreases(resources(sk1,sk2))]

Gamma_51: (extend-no-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: [decreases(resources(sk1,sk2))]
  2: [subpopulations(first_movers,efficient_producers,sk1,sk2)]

Gamma_52: (extend-no-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: [decreases(resources(sk1,sk2))]
  2: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  3: [environment(sk1)]

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

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

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

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

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

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

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

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

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

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

Gamma_63: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: [decreases(resources(sk1,sk2))]
  2: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  3: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
decreases(resources(sk1,sk2))), [~(environment(sk1))]
  4: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
decreases(resources(sk1,sk2)))
  5: [~(increases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))

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

Gamma_65: (move)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: [decreases(resources(sk1,sk2))]
  2: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
decreases(resources(sk1,sk2)))
  3: [subpopulations(first_movers,efficient_producers,sk1,sk2)]
  4: ~(subpopulations(first_movers,efficient_producers,sk1,sk2)), decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
decreases(resources(sk1,sk2))), [~(environment(sk1))]
  5: [~(increases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))

Gamma_66: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: [decreases(resources(sk1,sk2))]
  2: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
decreases(resources(sk1,sk2)))
  3: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))], ~(
decreases(resources(sk1,sk2)))
  4: [~(increases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))

Gamma_67: (extend-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: [decreases(resources(sk1,sk2))]
  2: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
decreases(resources(sk1,sk2)))
  3: decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), [~(
decreases(resources(sk1,sk2)))]
  4: [~(increases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))

Gamma_68: (move)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), [~(
decreases(resources(sk1,sk2)))]
  2: [decreases(resources(sk1,sk2))]
  3: [~(subpopulations(first_movers,efficient_producers,sk1,sk2))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), ~(
decreases(resources(sk1,sk2)))
  4: [~(increases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))

Gamma_69: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), [~(
decreases(resources(sk1,sk2)))]
  2: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))]
  3: [~(increases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))

Gamma_70: (extend-conflict)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), [~(
decreases(resources(sk1,sk2)))]
  2: [decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))]
  3: [~(increases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))

Gamma_71: (resolve)
  0: [~(decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))]
  1: decreases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))), [~(
decreases(resources(sk1,sk2)))]
  2: []
  3: [~(increases(difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2))))], decreases(
difference(disbanding_rate(first_movers,sk2),disbanding_rate(efficient_producers,sk2)))

SZS status Unsatisfiable