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

------ Parsing...successful


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

Gamma_0: (extend-no-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]

Gamma_1: (extend-no-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]

Gamma_2: (extend-no-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]

Gamma_3: (extend-no-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]

Gamma_4: (extend-no-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]

Gamma_5: (extend-no-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]

Gamma_6: (extend-no-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]

Gamma_7: (extend-no-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]

Gamma_8: (extend-no-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]

Gamma_9: (extend-no-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))

Gamma_10: (extend-no-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))

Gamma_11: (extend-no-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))

Gamma_12: (extend-no-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))

Gamma_13: (extend-no-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))

Gamma_14: (extend-no-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: [reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))

Gamma_15: (extend-no-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: [reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  15: [reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))

Gamma_16: (extend-no-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: [reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  15: [reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  16: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [greater(
esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0))]

Gamma_17: (extend-no-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: [reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  15: [reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  16: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [greater(
esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0))]
  17: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [greater(
esk2_2(esk5_0,esk7_0),esk2_2(esk4_0,esk6_0))]

Gamma_18: (extend-no-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: [reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  15: [reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  16: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [greater(
esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0))]
  17: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [greater(
esk2_2(esk5_0,esk7_0),esk2_2(esk4_0,esk6_0))]
  18: ~(accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk2_2(esk5_0,esk7_0),esk2_2(esk4_0,esk6_0))), ~(
greater(esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0))), [greater(esk11_0,
esk10_0)]

Gamma_19: (extend-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: [reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  15: [reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  16: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [greater(
esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0))]
  17: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [greater(
esk2_2(esk5_0,esk7_0),esk2_2(esk4_0,esk6_0))]
  18: ~(accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk2_2(esk5_0,esk7_0),esk2_2(esk4_0,esk6_0))), ~(
greater(esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0))), [greater(esk11_0,
esk10_0)]
  19: [~(greater(esk11_0,esk10_0))]

Gamma_20: (move)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: [reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  15: [reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  16: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [greater(
esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0))]
  17: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [greater(
esk2_2(esk5_0,esk7_0),esk2_2(esk4_0,esk6_0))]
  18: [~(greater(esk11_0,esk10_0))]
  19: ~(accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk2_2(esk5_0,esk7_0),esk2_2(esk4_0,esk6_0))), ~(
greater(esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0))), [greater(esk11_0,
esk10_0)]

Gamma_21: (resolve)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: [reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  15: [reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  16: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [greater(
esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0))]
  17: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [greater(
esk2_2(esk5_0,esk7_0),esk2_2(esk4_0,esk6_0))]
  18: [~(greater(esk11_0,esk10_0))]
  19: [~(accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0))], ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk2_2(esk5_0,esk7_0),esk2_2(esk4_0,esk6_0))), ~(
greater(esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0)))

Gamma_22: (extend-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: [reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  15: [reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  16: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [greater(
esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0))]
  17: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [greater(
esk2_2(esk5_0,esk7_0),esk2_2(esk4_0,esk6_0))]
  18: [~(greater(esk11_0,esk10_0))]
  19: ~(accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), [~(greater(esk2_2(esk5_0,esk7_0),esk2_2(esk4_0,esk6_0)))], ~(
greater(esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0)))

Gamma_23: (move)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: [reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  15: [reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  16: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [greater(
esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0))]
  17: ~(accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), [~(greater(esk2_2(esk5_0,esk7_0),esk2_2(esk4_0,esk6_0)))], ~(
greater(esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0)))
  18: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [greater(
esk2_2(esk5_0,esk7_0),esk2_2(esk4_0,esk6_0))]
  19: [~(greater(esk11_0,esk10_0))]

Gamma_24: (resolve)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: [reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  15: [reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  16: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [greater(
esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0))]
  17: ~(accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), [~(greater(esk2_2(esk5_0,esk7_0),esk2_2(esk4_0,esk6_0)))], ~(
greater(esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0)))
  18: [~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0))], ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), ~(
greater(esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0)))
  19: [~(greater(esk11_0,esk10_0))]

Gamma_25: (extend-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: [reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  15: [reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  16: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [greater(
esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0))]
  17: ~(accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), [~(greater(esk2_2(esk5_0,esk7_0),esk2_2(esk4_0,esk6_0)))], ~(
greater(esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0)))
  18: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [~(
greater(esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0)))]
  19: [~(greater(esk11_0,esk10_0))]

Gamma_26: (move)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: [reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  15: [reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  16: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [~(
greater(esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0)))]
  17: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [greater(
esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0))]
  18: ~(accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), [~(greater(esk2_2(esk5_0,esk7_0),esk2_2(esk4_0,esk6_0)))], ~(
greater(esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0)))
  19: [~(greater(esk11_0,esk10_0))]

Gamma_27: (resolve)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: [reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  15: [reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  16: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [~(
greater(esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0)))]
  17: [~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0))], ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  18: [~(greater(esk11_0,esk10_0))]

Gamma_28: (extend-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: [reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  15: [reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  16: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [~(
greater(esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0)))]
  17: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), [~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0))], ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  18: [~(greater(esk11_0,esk10_0))]

Gamma_29: (move)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: [reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  15: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), [~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0))], ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  16: [reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  17: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))), [~(
greater(esk1_2(esk5_0,esk7_0),esk1_2(esk4_0,esk6_0)))]
  18: [~(greater(esk11_0,esk10_0))]

Gamma_30: (resolve)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: [reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  15: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), [~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0))], ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  16: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), [~(
organization(esk5_0,esk7_0))], ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  17: [~(greater(esk11_0,esk10_0))]

Gamma_31: (extend-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: [reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  15: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), [~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0))], ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  16: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), [~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0))], ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  17: [~(greater(esk11_0,esk10_0))]

Gamma_32: (move)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), [~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0))], ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  15: [reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  16: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0)), [~(reliability(esk5_0,esk1_2(esk5_0,esk7_0),esk7_0))], ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  17: [~(greater(esk11_0,esk10_0))]

Gamma_33: (resolve)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), [~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0))], ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  15: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), [~(
organization(esk4_0,esk6_0))], ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  16: [~(greater(esk11_0,esk10_0))]

Gamma_34: (extend-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  14: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), [~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0))], ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  15: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), [~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0))], ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  16: [~(greater(esk11_0,esk10_0))]

Gamma_35: (move)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), [~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0))], ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  14: [accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  15: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0)), [~(
reliability(esk4_0,esk1_2(esk4_0,esk6_0),esk6_0))], ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  16: [~(greater(esk11_0,esk10_0))]

Gamma_36: (resolve)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), [~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0))], ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  14: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), [~(
organization(esk5_0,esk7_0))], ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  15: [~(greater(esk11_0,esk10_0))]

Gamma_37: (extend-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  13: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), [~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0))], ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  14: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), [~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0))], ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  15: [~(greater(esk11_0,esk10_0))]

Gamma_38: (move)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), [~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0))], ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  13: [accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  14: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0)), [~(accountability(esk5_0,esk2_2(esk5_0,esk7_0),esk7_0))], ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  15: [~(greater(esk11_0,esk10_0))]

Gamma_39: (resolve)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), [~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0))], ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  13: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), [~(
organization(esk4_0,esk6_0))], ~(organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  14: [~(greater(esk11_0,esk10_0))]

Gamma_40: (extend-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  12: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), [~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0))], ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  13: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), [~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))]
  14: [~(greater(esk11_0,esk10_0))]

Gamma_41: (move)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), [~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))]
  12: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0))], ~(
greater(esk9_0,esk8_0))
  13: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), [~(
accountability(esk4_0,esk2_2(esk4_0,esk6_0),esk6_0))], ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))
  14: [~(greater(esk11_0,esk10_0))]

Gamma_42: (resolve)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), [~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))]
  12: [~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0))], ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk9_0,esk8_0))
  13: [~(greater(esk11_0,esk10_0))]

Gamma_43: (extend-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), [~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))]
  12: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), [~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0))], ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk9_0,esk8_0))
  13: [~(greater(esk11_0,esk10_0))]

Gamma_44: (move)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), [~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0))], ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk9_0,esk8_0))
  11: [reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)], ~(organization(esk5_0,esk7_0))
  12: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0)), ~(
survival_chance(esk4_0,esk10_0,esk6_0)), ~(survival_chance(esk5_0,esk11_0,esk7_0)), ~(
organization(esk4_0,esk6_0)), ~(organization(esk5_0,esk7_0)), [~(greater(esk3_2(esk5_0,esk7_0),esk3_2(esk4_0,esk6_0)))]
  13: [~(greater(esk11_0,esk10_0))]

Gamma_45: (resolve)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), [~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0))], ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk9_0,esk8_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(
reorganization_free(esk5_0,esk7_0,esk7_0)), ~(inertia(esk4_0,esk8_0,esk6_0)), ~(
inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), [~(
organization(esk5_0,esk7_0))], ~(greater(esk9_0,esk8_0))
  12: [~(greater(esk11_0,esk10_0))]

Gamma_46: (extend-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  10: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), [~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0))], ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk9_0,esk8_0))
  11: [~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0))], ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(
reorganization_free(esk5_0,esk7_0,esk7_0)), ~(inertia(esk4_0,esk8_0,esk6_0)), ~(
inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk9_0,esk8_0))
  12: [~(greater(esk11_0,esk10_0))]

Gamma_47: (move)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0))], ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(
reorganization_free(esk5_0,esk7_0,esk7_0)), ~(inertia(esk4_0,esk8_0,esk6_0)), ~(
inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk9_0,esk8_0))
  10: [reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)], ~(organization(esk4_0,esk6_0))
  11: ~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0)), [~(reproducibility(esk5_0,esk3_2(esk5_0,esk7_0),esk7_0))], ~(
reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk9_0,esk8_0))
  12: [~(greater(esk11_0,esk10_0))]

Gamma_48: (resolve)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0))], ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(
reorganization_free(esk5_0,esk7_0,esk7_0)), ~(inertia(esk4_0,esk8_0,esk6_0)), ~(
inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk9_0,esk8_0))
  10: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), [~(organization(esk4_0,esk6_0))], ~(
organization(esk5_0,esk7_0)), ~(greater(esk9_0,esk8_0))
  11: [~(greater(esk11_0,esk10_0))]

Gamma_49: (extend-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: [greater(esk9_0,esk8_0)]
  9: [~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0))], ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(
reorganization_free(esk5_0,esk7_0,esk7_0)), ~(inertia(esk4_0,esk8_0,esk6_0)), ~(
inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk9_0,esk8_0))
  10: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [~(greater(esk9_0,esk8_0))]
  11: [~(greater(esk11_0,esk10_0))]

Gamma_50: (move)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [~(greater(esk9_0,esk8_0))]
  9: [greater(esk9_0,esk8_0)]
  10: [~(reproducibility(esk4_0,esk3_2(esk4_0,esk6_0),esk6_0))], ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(
reorganization_free(esk5_0,esk7_0,esk7_0)), ~(inertia(esk4_0,esk8_0,esk6_0)), ~(
inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), ~(greater(esk9_0,esk8_0))
  11: [~(greater(esk11_0,esk10_0))]

Gamma_51: (resolve)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [~(greater(esk9_0,esk8_0))]
  9: [~(reorganization_free(esk4_0,esk6_0,esk6_0))], ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0))
  10: [~(greater(esk11_0,esk10_0))]

Gamma_52: (extend-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: [organization(esk5_0,esk7_0)]
  8: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [~(greater(esk9_0,esk8_0))]
  9: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), [~(
organization(esk5_0,esk7_0))]
  10: [~(greater(esk11_0,esk10_0))]

Gamma_53: (move)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), [~(
organization(esk5_0,esk7_0))]
  8: [organization(esk5_0,esk7_0)]
  9: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), ~(
organization(esk5_0,esk7_0)), [~(greater(esk9_0,esk8_0))]
  10: [~(greater(esk11_0,esk10_0))]

Gamma_54: (resolve)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), [~(
organization(esk5_0,esk7_0))]
  8: [~(reorganization_free(esk4_0,esk6_0,esk6_0))], ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0))
  9: [~(greater(esk11_0,esk10_0))]

Gamma_55: (extend-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: [organization(esk4_0,esk6_0)]
  7: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), [~(
organization(esk5_0,esk7_0))]
  8: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), [~(organization(esk4_0,esk6_0))]
  9: [~(greater(esk11_0,esk10_0))]

Gamma_56: (move)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), [~(organization(esk4_0,esk6_0))]
  7: [organization(esk4_0,esk6_0)]
  8: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), ~(organization(esk4_0,esk6_0)), [~(
organization(esk5_0,esk7_0))]
  9: [~(greater(esk11_0,esk10_0))]

Gamma_57: (resolve)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), [~(organization(esk4_0,esk6_0))]
  7: [~(reorganization_free(esk4_0,esk6_0,esk6_0))], ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0))
  8: [~(greater(esk11_0,esk10_0))]

Gamma_58: (extend-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: [survival_chance(esk5_0,esk11_0,esk7_0)]
  6: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), [~(organization(esk4_0,esk6_0))]
  7: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), [~(
survival_chance(esk5_0,esk11_0,esk7_0))]
  8: [~(greater(esk11_0,esk10_0))]

Gamma_59: (move)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), [~(
survival_chance(esk5_0,esk11_0,esk7_0))]
  6: [survival_chance(esk5_0,esk11_0,esk7_0)]
  7: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), ~(
survival_chance(esk5_0,esk11_0,esk7_0)), [~(organization(esk4_0,esk6_0))]
  8: [~(greater(esk11_0,esk10_0))]

Gamma_60: (resolve)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), [~(
survival_chance(esk5_0,esk11_0,esk7_0))]
  6: [~(reorganization_free(esk4_0,esk6_0,esk6_0))], ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0))
  7: [~(greater(esk11_0,esk10_0))]

Gamma_61: (extend-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: [survival_chance(esk4_0,esk10_0,esk6_0)]
  5: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), [~(
survival_chance(esk5_0,esk11_0,esk7_0))]
  6: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), [~(
survival_chance(esk4_0,esk10_0,esk6_0))]
  7: [~(greater(esk11_0,esk10_0))]

Gamma_62: (move)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), [~(
survival_chance(esk4_0,esk10_0,esk6_0))]
  5: [survival_chance(esk4_0,esk10_0,esk6_0)]
  6: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), ~(survival_chance(esk4_0,esk10_0,esk6_0)), [~(
survival_chance(esk5_0,esk11_0,esk7_0))]
  7: [~(greater(esk11_0,esk10_0))]

Gamma_63: (resolve)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), [~(
survival_chance(esk4_0,esk10_0,esk6_0))]
  5: [~(reorganization_free(esk4_0,esk6_0,esk6_0))], ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0))
  6: [~(greater(esk11_0,esk10_0))]

Gamma_64: (extend-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: [inertia(esk5_0,esk9_0,esk7_0)]
  4: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), [~(
survival_chance(esk4_0,esk10_0,esk6_0))]
  5: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), [~(inertia(esk5_0,esk9_0,esk7_0))]
  6: [~(greater(esk11_0,esk10_0))]

Gamma_65: (move)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), [~(inertia(esk5_0,esk9_0,esk7_0))]
  4: [inertia(esk5_0,esk9_0,esk7_0)]
  5: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), ~(inertia(esk5_0,esk9_0,esk7_0)), [~(
survival_chance(esk4_0,esk10_0,esk6_0))]
  6: [~(greater(esk11_0,esk10_0))]

Gamma_66: (resolve)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), [~(inertia(esk5_0,esk9_0,esk7_0))]
  4: [~(reorganization_free(esk4_0,esk6_0,esk6_0))], ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0))
  5: [~(greater(esk11_0,esk10_0))]

Gamma_67: (extend-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: [inertia(esk4_0,esk8_0,esk6_0)]
  3: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), [~(inertia(esk5_0,esk9_0,esk7_0))]
  4: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), [~(
inertia(esk4_0,esk8_0,esk6_0))]
  5: [~(greater(esk11_0,esk10_0))]

Gamma_68: (move)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), [~(
inertia(esk4_0,esk8_0,esk6_0))]
  3: [inertia(esk4_0,esk8_0,esk6_0)]
  4: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), ~(
inertia(esk4_0,esk8_0,esk6_0)), [~(inertia(esk5_0,esk9_0,esk7_0))]
  5: [~(greater(esk11_0,esk10_0))]

Gamma_69: (resolve)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), [~(
inertia(esk4_0,esk8_0,esk6_0))]
  3: [~(reorganization_free(esk4_0,esk6_0,esk6_0))], ~(reorganization_free(esk5_0,esk7_0,esk7_0))
  4: [~(greater(esk11_0,esk10_0))]

Gamma_70: (extend-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  2: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), [~(
inertia(esk4_0,esk8_0,esk6_0))]
  3: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), [~(reorganization_free(esk5_0,esk7_0,esk7_0))]
  4: [~(greater(esk11_0,esk10_0))]

Gamma_71: (move)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), [~(reorganization_free(esk5_0,esk7_0,esk7_0))]
  2: [reorganization_free(esk5_0,esk7_0,esk7_0)]
  3: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), ~(reorganization_free(esk5_0,esk7_0,esk7_0)), [~(
inertia(esk4_0,esk8_0,esk6_0))]
  4: [~(greater(esk11_0,esk10_0))]

Gamma_72: (resolve)
  0: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  1: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), [~(reorganization_free(esk5_0,esk7_0,esk7_0))]
  2: [~(reorganization_free(esk4_0,esk6_0,esk6_0))]
  3: [~(greater(esk11_0,esk10_0))]

Gamma_73: (extend-conflict)
  0: [reorganization_free(esk4_0,esk6_0,
esk6_0)]
  1: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), [~(reorganization_free(esk5_0,esk7_0,esk7_0))]
  2: [~(reorganization_free(esk4_0,esk6_0,esk6_0))]
  3: [~(greater(esk11_0,esk10_0))]

Gamma_74: (move)
  0: [~(reorganization_free(esk4_0,esk6_0,esk6_0))]
  1: [reorganization_free(esk4_0,esk6_0,esk6_0)]
  2: ~(reorganization_free(esk4_0,esk6_0,esk6_0)), [~(reorganization_free(esk5_0,esk7_0,esk7_0))]
  3: [~(greater(esk11_0,esk10_0))]

Gamma_75: (resolve)
  0: [~(reorganization_free(esk4_0,esk6_0,esk6_0))]
  1: []
  2: [~(greater(esk11_0,esk10_0))]

SZS status Unsatisfiable