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

------ Parsing...successful


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

Gamma_0: (extend-no-conflict)
  0: [survival_chance(sk5,sk11,sk7)]

Gamma_1: (extend-no-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]

Gamma_2: (extend-no-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]

Gamma_3: (extend-no-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]

Gamma_4: (extend-no-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]

Gamma_5: (extend-no-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]

Gamma_6: (extend-no-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]

Gamma_7: (extend-no-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]

Gamma_8: (extend-no-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]

Gamma_9: (extend-no-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))

Gamma_10: (extend-no-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))

Gamma_11: (extend-no-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))

Gamma_12: (extend-no-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))

Gamma_13: (extend-no-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))

Gamma_14: (extend-no-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: [reliability(sk5,sk1(sk7,sk5),sk7)], ~(organization(sk5,sk7))

Gamma_15: (extend-no-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: [reliability(sk5,sk1(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  15: [reliability(sk4,sk1(sk6,sk4),sk6)], ~(organization(sk4,sk6))

Gamma_16: (extend-no-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: [reliability(sk5,sk1(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  15: [reliability(sk4,sk1(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  16: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
greater(sk3(sk7,sk5),sk3(sk6,sk4))), [greater(sk2(sk7,sk5),sk2(sk6,sk4))], ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))

Gamma_17: (extend-no-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: [reliability(sk5,sk1(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  15: [reliability(sk4,sk1(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  16: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
greater(sk3(sk7,sk5),sk3(sk6,sk4))), [greater(sk2(sk7,sk5),sk2(sk6,sk4))], ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  17: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
greater(sk3(sk7,sk5),sk3(sk6,sk4))), [greater(sk1(sk7,sk5),sk1(sk6,sk4))], ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))

Gamma_18: (extend-no-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: [reliability(sk5,sk1(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  15: [reliability(sk4,sk1(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  16: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
greater(sk3(sk7,sk5),sk3(sk6,sk4))), [greater(sk2(sk7,sk5),sk2(sk6,sk4))], ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  17: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
greater(sk3(sk7,sk5),sk3(sk6,sk4))), [greater(sk1(sk7,sk5),sk1(sk6,sk4))], ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  18: ~(accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk2(sk7,sk5),sk2(sk6,sk4))), ~(
greater(sk1(sk7,sk5),sk1(sk6,sk4))), [greater(sk11,sk10)], ~(organization(sk5,sk7)), ~(
organization(sk4,sk6))

Gamma_19: (extend-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: [reliability(sk5,sk1(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  15: [reliability(sk4,sk1(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  16: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
greater(sk3(sk7,sk5),sk3(sk6,sk4))), [greater(sk2(sk7,sk5),sk2(sk6,sk4))], ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  17: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
greater(sk3(sk7,sk5),sk3(sk6,sk4))), [greater(sk1(sk7,sk5),sk1(sk6,sk4))], ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  18: ~(accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk2(sk7,sk5),sk2(sk6,sk4))), ~(
greater(sk1(sk7,sk5),sk1(sk6,sk4))), [greater(sk11,sk10)], ~(organization(sk5,sk7)), ~(
organization(sk4,sk6))
  19: [~(greater(sk11,sk10))]

Gamma_20: (move)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: [reliability(sk5,sk1(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  15: [reliability(sk4,sk1(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  16: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
greater(sk3(sk7,sk5),sk3(sk6,sk4))), [greater(sk2(sk7,sk5),sk2(sk6,sk4))], ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  17: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
greater(sk3(sk7,sk5),sk3(sk6,sk4))), [greater(sk1(sk7,sk5),sk1(sk6,sk4))], ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  18: [~(greater(sk11,sk10))]
  19: ~(accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk2(sk7,sk5),sk2(sk6,sk4))), ~(
greater(sk1(sk7,sk5),sk1(sk6,sk4))), [greater(sk11,sk10)], ~(organization(sk5,sk7)), ~(
organization(sk4,sk6))

Gamma_21: (resolve)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: [reliability(sk5,sk1(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  15: [reliability(sk4,sk1(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  16: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
greater(sk3(sk7,sk5),sk3(sk6,sk4))), [greater(sk2(sk7,sk5),sk2(sk6,sk4))], ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  17: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
greater(sk3(sk7,sk5),sk3(sk6,sk4))), [greater(sk1(sk7,sk5),sk1(sk6,sk4))], ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  18: [~(greater(sk11,sk10))]
  19: [~(accountability(sk5,sk2(sk7,sk5),sk7))], ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk2(sk7,sk5),sk2(sk6,sk4))), ~(
greater(sk1(sk7,sk5),sk1(sk6,sk4))), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))

Gamma_22: (extend-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: [reliability(sk5,sk1(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  15: [reliability(sk4,sk1(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  16: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
greater(sk3(sk7,sk5),sk3(sk6,sk4))), [greater(sk2(sk7,sk5),sk2(sk6,sk4))], ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  17: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
greater(sk3(sk7,sk5),sk3(sk6,sk4))), [greater(sk1(sk7,sk5),sk1(sk6,sk4))], ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  18: [~(greater(sk11,sk10))]
  19: ~(accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk2(sk7,sk5),sk2(sk6,sk4))), [~(
greater(sk1(sk7,sk5),sk1(sk6,sk4)))], ~(organization(sk5,sk7)), ~(organization(sk4,sk6))

Gamma_23: (move)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: [reliability(sk5,sk1(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  15: [reliability(sk4,sk1(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  16: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
greater(sk3(sk7,sk5),sk3(sk6,sk4))), [greater(sk2(sk7,sk5),sk2(sk6,sk4))], ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  17: ~(accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk2(sk7,sk5),sk2(sk6,sk4))), [~(
greater(sk1(sk7,sk5),sk1(sk6,sk4)))], ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  18: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
greater(sk3(sk7,sk5),sk3(sk6,sk4))), [greater(sk1(sk7,sk5),sk1(sk6,sk4))], ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  19: [~(greater(sk11,sk10))]

Gamma_24: (resolve)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: [reliability(sk5,sk1(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  15: [reliability(sk4,sk1(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  16: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
greater(sk3(sk7,sk5),sk3(sk6,sk4))), [greater(sk2(sk7,sk5),sk2(sk6,sk4))], ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  17: ~(accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk2(sk7,sk5),sk2(sk6,sk4))), [~(
greater(sk1(sk7,sk5),sk1(sk6,sk4)))], ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  18: [~(reproducibility(sk5,sk3(sk7,sk5),sk7))], ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
greater(sk2(sk7,sk5),sk2(sk6,sk4))), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  19: [~(greater(sk11,sk10))]

Gamma_25: (extend-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: [reliability(sk5,sk1(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  15: [reliability(sk4,sk1(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  16: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
greater(sk3(sk7,sk5),sk3(sk6,sk4))), [greater(sk2(sk7,sk5),sk2(sk6,sk4))], ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  17: ~(accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk2(sk7,sk5),sk2(sk6,sk4))), [~(
greater(sk1(sk7,sk5),sk1(sk6,sk4)))], ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  18: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), [~(
greater(sk2(sk7,sk5),sk2(sk6,sk4)))], ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  19: [~(greater(sk11,sk10))]

Gamma_26: (move)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: [reliability(sk5,sk1(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  15: [reliability(sk4,sk1(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  16: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), [~(
greater(sk2(sk7,sk5),sk2(sk6,sk4)))], ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  17: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
greater(sk3(sk7,sk5),sk3(sk6,sk4))), [greater(sk2(sk7,sk5),sk2(sk6,sk4))], ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  18: ~(accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk2(sk7,sk5),sk2(sk6,sk4))), [~(
greater(sk1(sk7,sk5),sk1(sk6,sk4)))], ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  19: [~(greater(sk11,sk10))]

Gamma_27: (resolve)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: [reliability(sk5,sk1(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  15: [reliability(sk4,sk1(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  16: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), [~(
greater(sk2(sk7,sk5),sk2(sk6,sk4)))], ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  17: [~(reproducibility(sk5,sk3(sk7,sk5),sk7))], ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  18: [~(greater(sk11,sk10))]

Gamma_28: (extend-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: [reliability(sk5,sk1(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  15: [reliability(sk4,sk1(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  16: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), [~(
greater(sk2(sk7,sk5),sk2(sk6,sk4)))], ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  17: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), [~(reliability(sk4,sk1(sk6,sk4),sk6))], ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  18: [~(greater(sk11,sk10))]

Gamma_29: (move)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: [reliability(sk5,sk1(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  15: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), [~(reliability(sk4,sk1(sk6,sk4),sk6))], ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  16: [reliability(sk4,sk1(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  17: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(reliability(sk4,sk1(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), [~(
greater(sk2(sk7,sk5),sk2(sk6,sk4)))], ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  18: [~(greater(sk11,sk10))]

Gamma_30: (resolve)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: [reliability(sk5,sk1(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  15: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), [~(reliability(sk4,sk1(sk6,sk4),sk6))], ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  16: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), ~(survival_chance(sk5,sk11,sk7)), ~(
survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), [~(organization(sk4,sk6))]
  17: [~(greater(sk11,sk10))]

Gamma_31: (extend-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: [reliability(sk5,sk1(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  15: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), [~(reliability(sk4,sk1(sk6,sk4),sk6))], ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  16: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), [~(
reliability(sk5,sk1(sk7,sk5),sk7))], ~(survival_chance(sk5,sk11,sk7)), ~(
survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  17: [~(greater(sk11,sk10))]

Gamma_32: (move)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), [~(
reliability(sk5,sk1(sk7,sk5),sk7))], ~(survival_chance(sk5,sk11,sk7)), ~(
survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  15: [reliability(sk5,sk1(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  16: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
reliability(sk5,sk1(sk7,sk5),sk7)), [~(reliability(sk4,sk1(sk6,sk4),sk6))], ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  17: [~(greater(sk11,sk10))]

Gamma_33: (resolve)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), [~(
reliability(sk5,sk1(sk7,sk5),sk7))], ~(survival_chance(sk5,sk11,sk7)), ~(
survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  15: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), [~(
organization(sk5,sk7))], ~(organization(sk4,sk6))
  16: [~(greater(sk11,sk10))]

Gamma_34: (extend-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  14: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), [~(
reliability(sk5,sk1(sk7,sk5),sk7))], ~(survival_chance(sk5,sk11,sk7)), ~(
survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  15: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), [~(accountability(sk4,sk2(sk6,sk4),sk6))], ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  16: [~(greater(sk11,sk10))]

Gamma_35: (move)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), [~(accountability(sk4,sk2(sk6,sk4),sk6))], ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  14: [accountability(sk4,sk2(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  15: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(accountability(sk4,sk2(sk6,sk4),sk6)), [~(
reliability(sk5,sk1(sk7,sk5),sk7))], ~(survival_chance(sk5,sk11,sk7)), ~(
survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  16: [~(greater(sk11,sk10))]

Gamma_36: (resolve)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), [~(accountability(sk4,sk2(sk6,sk4),sk6))], ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  14: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), ~(survival_chance(sk5,sk11,sk7)), ~(
survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), [~(organization(sk4,sk6))]
  15: [~(greater(sk11,sk10))]

Gamma_37: (extend-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  13: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), [~(accountability(sk4,sk2(sk6,sk4),sk6))], ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  14: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), [~(
accountability(sk5,sk2(sk7,sk5),sk7))], ~(survival_chance(sk5,sk11,sk7)), ~(
survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  15: [~(greater(sk11,sk10))]

Gamma_38: (move)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), [~(
accountability(sk5,sk2(sk7,sk5),sk7))], ~(survival_chance(sk5,sk11,sk7)), ~(
survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  13: [accountability(sk5,sk2(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  14: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
accountability(sk5,sk2(sk7,sk5),sk7)), [~(accountability(sk4,sk2(sk6,sk4),sk6))], ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  15: [~(greater(sk11,sk10))]

Gamma_39: (resolve)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), [~(
accountability(sk5,sk2(sk7,sk5),sk7))], ~(survival_chance(sk5,sk11,sk7)), ~(
survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  13: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), [~(
organization(sk5,sk7))], ~(organization(sk4,sk6))
  14: [~(greater(sk11,sk10))]

Gamma_40: (extend-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), [~(
accountability(sk5,sk2(sk7,sk5),sk7))], ~(survival_chance(sk5,sk11,sk7)), ~(
survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  13: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), [~(
greater(sk3(sk7,sk5),sk3(sk6,sk4)))], ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  14: [~(greater(sk11,sk10))]

Gamma_41: (move)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), [~(
greater(sk3(sk7,sk5),sk3(sk6,sk4)))], ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [greater(sk3(sk7,sk5),sk3(sk6,sk4))], ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  13: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), [~(
accountability(sk5,sk2(sk7,sk5),sk7))], ~(survival_chance(sk5,sk11,sk7)), ~(
survival_chance(sk4,sk10,sk6)), ~(greater(sk3(sk7,sk5),sk3(sk6,sk4))), ~(
organization(sk5,sk7)), ~(organization(sk4,sk6))
  14: [~(greater(sk11,sk10))]

Gamma_42: (resolve)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), [~(
greater(sk3(sk7,sk5),sk3(sk6,sk4)))], ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [~(reproducibility(sk5,sk3(sk7,sk5),sk7))], ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(inertia(sk5,sk9,sk7)), ~(
inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(reorganization_free(sk4,sk6,sk6)), ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  13: [~(greater(sk11,sk10))]

Gamma_43: (extend-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), [~(
greater(sk3(sk7,sk5),sk3(sk6,sk4)))], ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), [~(reproducibility(sk4,sk3(sk6,sk4),sk6))], ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(inertia(sk5,sk9,sk7)), ~(
inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(reorganization_free(sk4,sk6,sk6)), ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  13: [~(greater(sk11,sk10))]

Gamma_44: (move)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), [~(reproducibility(sk4,sk3(sk6,sk4),sk6))], ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(inertia(sk5,sk9,sk7)), ~(
inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(reorganization_free(sk4,sk6,sk6)), ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  11: [reproducibility(sk4,sk3(sk6,sk4),sk6)], ~(organization(sk4,sk6))
  12: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(reproducibility(sk4,sk3(sk6,sk4),sk6)), ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), [~(
greater(sk3(sk7,sk5),sk3(sk6,sk4)))], ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  13: [~(greater(sk11,sk10))]

Gamma_45: (resolve)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), [~(reproducibility(sk4,sk3(sk6,sk4),sk6))], ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(inertia(sk5,sk9,sk7)), ~(
inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(reorganization_free(sk4,sk6,sk6)), ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), ~(survival_chance(sk5,sk11,sk7)), ~(
survival_chance(sk4,sk10,sk6)), ~(inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(
reorganization_free(sk5,sk7,sk7)), ~(reorganization_free(sk4,sk6,sk6)), ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), [~(organization(sk4,sk6))]
  12: [~(greater(sk11,sk10))]

Gamma_46: (extend-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  10: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), [~(reproducibility(sk4,sk3(sk6,sk4),sk6))], ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(inertia(sk5,sk9,sk7)), ~(
inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(reorganization_free(sk4,sk6,sk6)), ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  11: [~(reproducibility(sk5,sk3(sk7,sk5),sk7))], ~(survival_chance(sk5,sk11,sk7)), ~(
survival_chance(sk4,sk10,sk6)), ~(inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(
reorganization_free(sk5,sk7,sk7)), ~(reorganization_free(sk4,sk6,sk6)), ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [~(greater(sk11,sk10))]

Gamma_47: (move)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [~(reproducibility(sk5,sk3(sk7,sk5),sk7))], ~(survival_chance(sk5,sk11,sk7)), ~(
survival_chance(sk4,sk10,sk6)), ~(inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(
reorganization_free(sk5,sk7,sk7)), ~(reorganization_free(sk4,sk6,sk6)), ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  10: [reproducibility(sk5,sk3(sk7,sk5),sk7)], ~(organization(sk5,sk7))
  11: ~(reproducibility(sk5,sk3(sk7,sk5),sk7)), [~(reproducibility(sk4,sk3(sk6,sk4),sk6))], ~(
survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(inertia(sk5,sk9,sk7)), ~(
inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(reorganization_free(sk4,sk6,sk6)), ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  12: [~(greater(sk11,sk10))]

Gamma_48: (resolve)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [~(reproducibility(sk5,sk3(sk7,sk5),sk7))], ~(survival_chance(sk5,sk11,sk7)), ~(
survival_chance(sk4,sk10,sk6)), ~(inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(
reorganization_free(sk5,sk7,sk7)), ~(reorganization_free(sk4,sk6,sk6)), ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  10: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), ~(greater(sk9,sk8)), [~(organization(sk5,sk7))], ~(
organization(sk4,sk6))
  11: [~(greater(sk11,sk10))]

Gamma_49: (extend-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: [organization(sk4,sk6)]
  9: [~(reproducibility(sk5,sk3(sk7,sk5),sk7))], ~(survival_chance(sk5,sk11,sk7)), ~(
survival_chance(sk4,sk10,sk6)), ~(inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(
reorganization_free(sk5,sk7,sk7)), ~(reorganization_free(sk4,sk6,sk6)), ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  10: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), ~(greater(sk9,sk8)), ~(organization(sk5,sk7)), [~(
organization(sk4,sk6))]
  11: [~(greater(sk11,sk10))]

Gamma_50: (move)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), ~(greater(sk9,sk8)), ~(organization(sk5,sk7)), [~(
organization(sk4,sk6))]
  9: [organization(sk4,sk6)]
  10: [~(reproducibility(sk5,sk3(sk7,sk5),sk7))], ~(survival_chance(sk5,sk11,sk7)), ~(
survival_chance(sk4,sk10,sk6)), ~(inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(
reorganization_free(sk5,sk7,sk7)), ~(reorganization_free(sk4,sk6,sk6)), ~(
greater(sk9,sk8)), ~(organization(sk5,sk7)), ~(organization(sk4,sk6))
  11: [~(greater(sk11,sk10))]

Gamma_51: (resolve)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), ~(greater(sk9,sk8)), ~(organization(sk5,sk7)), [~(
organization(sk4,sk6))]
  9: [~(survival_chance(sk5,sk11,sk7))], ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), ~(greater(sk9,sk8)), ~(organization(sk5,sk7))
  10: [~(greater(sk11,sk10))]

Gamma_52: (extend-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: [organization(sk5,sk7)]
  8: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), ~(greater(sk9,sk8)), ~(organization(sk5,sk7)), [~(
organization(sk4,sk6))]
  9: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), ~(greater(sk9,sk8)), [~(organization(sk5,sk7))]
  10: [~(greater(sk11,sk10))]

Gamma_53: (move)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), ~(greater(sk9,sk8)), [~(organization(sk5,sk7))]
  8: [organization(sk5,sk7)]
  9: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), ~(greater(sk9,sk8)), ~(organization(sk5,sk7)), [~(
organization(sk4,sk6))]
  10: [~(greater(sk11,sk10))]

Gamma_54: (resolve)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), ~(greater(sk9,sk8)), [~(organization(sk5,sk7))]
  8: [~(survival_chance(sk5,sk11,sk7))], ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), ~(greater(sk9,sk8))
  9: [~(greater(sk11,sk10))]

Gamma_55: (extend-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: [greater(sk9,sk8)]
  7: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), ~(greater(sk9,sk8)), [~(organization(sk5,sk7))]
  8: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [~(greater(sk9,sk8))]
  9: [~(greater(sk11,sk10))]

Gamma_56: (move)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [~(greater(sk9,sk8))]
  7: [greater(sk9,sk8)]
  8: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), ~(greater(sk9,sk8)), [~(organization(sk5,sk7))]
  9: [~(greater(sk11,sk10))]

Gamma_57: (resolve)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [~(greater(sk9,sk8))]
  7: [~(survival_chance(sk5,sk11,sk7))], ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6))
  8: [~(greater(sk11,sk10))]

Gamma_58: (extend-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: [reorganization_free(sk4,sk6,sk6)]
  6: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [~(greater(sk9,sk8))]
  7: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), [~(
reorganization_free(sk4,sk6,sk6))]
  8: [~(greater(sk11,sk10))]

Gamma_59: (move)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), [~(
reorganization_free(sk4,sk6,sk6))]
  6: [reorganization_free(sk4,sk6,sk6)]
  7: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), ~(
reorganization_free(sk4,sk6,sk6)), [~(greater(sk9,sk8))]
  8: [~(greater(sk11,sk10))]

Gamma_60: (resolve)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), [~(
reorganization_free(sk4,sk6,sk6))]
  6: [~(survival_chance(sk5,sk11,sk7))], ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7))
  7: [~(greater(sk11,sk10))]

Gamma_61: (extend-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: [reorganization_free(sk5,sk7,sk7)]
  5: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), [~(
reorganization_free(sk4,sk6,sk6))]
  6: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), [~(reorganization_free(sk5,sk7,sk7))]
  7: [~(greater(sk11,sk10))]

Gamma_62: (move)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), [~(reorganization_free(sk5,sk7,sk7))]
  5: [reorganization_free(sk5,sk7,sk7)]
  6: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), ~(reorganization_free(sk5,sk7,sk7)), [~(
reorganization_free(sk4,sk6,sk6))]
  7: [~(greater(sk11,sk10))]

Gamma_63: (resolve)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), [~(reorganization_free(sk5,sk7,sk7))]
  5: [~(survival_chance(sk5,sk11,sk7))], ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6))
  6: [~(greater(sk11,sk10))]

Gamma_64: (extend-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: [inertia(sk4,sk8,sk6)]
  4: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), [~(reorganization_free(sk5,sk7,sk7))]
  5: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), [~(inertia(sk4,sk8,sk6))]
  6: [~(greater(sk11,sk10))]

Gamma_65: (move)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), [~(inertia(sk4,sk8,sk6))]
  4: [inertia(sk4,sk8,sk6)]
  5: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), ~(inertia(sk4,sk8,sk6)), [~(reorganization_free(sk5,sk7,sk7))]
  6: [~(greater(sk11,sk10))]

Gamma_66: (resolve)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), [~(inertia(sk4,sk8,sk6))]
  4: [~(survival_chance(sk5,sk11,sk7))], ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7))
  5: [~(greater(sk11,sk10))]

Gamma_67: (extend-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: [inertia(sk5,sk9,sk7)]
  3: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), [~(inertia(sk4,sk8,sk6))]
  4: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), [~(
inertia(sk5,sk9,sk7))]
  5: [~(greater(sk11,sk10))]

Gamma_68: (move)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), [~(
inertia(sk5,sk9,sk7))]
  3: [inertia(sk5,sk9,sk7)]
  4: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), ~(
inertia(sk5,sk9,sk7)), [~(inertia(sk4,sk8,sk6))]
  5: [~(greater(sk11,sk10))]

Gamma_69: (resolve)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), [~(
inertia(sk5,sk9,sk7))]
  3: [~(survival_chance(sk5,sk11,sk7))], ~(survival_chance(sk4,sk10,sk6))
  4: [~(greater(sk11,sk10))]

Gamma_70: (extend-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: [survival_chance(sk4,sk10,sk6)]
  2: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), [~(
inertia(sk5,sk9,sk7))]
  3: ~(survival_chance(sk5,sk11,sk7)), [~(survival_chance(sk4,sk10,sk6))]
  4: [~(greater(sk11,sk10))]

Gamma_71: (move)
  0: [survival_chance(sk5,sk11,sk7)]
  1: ~(survival_chance(sk5,sk11,sk7)), [~(survival_chance(sk4,sk10,sk6))]
  2: [survival_chance(sk4,sk10,sk6)]
  3: ~(survival_chance(sk5,sk11,sk7)), ~(survival_chance(sk4,sk10,sk6)), [~(
inertia(sk5,sk9,sk7))]
  4: [~(greater(sk11,sk10))]

Gamma_72: (resolve)
  0: [survival_chance(sk5,sk11,sk7)]
  1: ~(survival_chance(sk5,sk11,sk7)), [~(survival_chance(sk4,sk10,sk6))]
  2: [~(survival_chance(sk5,sk11,sk7))]
  3: [~(greater(sk11,sk10))]

Gamma_73: (extend-conflict)
  0: [survival_chance(sk5,sk11,sk7)]
  1: ~(survival_chance(sk5,sk11,sk7)), [~(survival_chance(sk4,sk10,sk6))]
  2: [~(survival_chance(sk5,sk11,sk7))]
  3: [~(greater(sk11,sk10))]

Gamma_74: (move)
  0: [~(survival_chance(sk5,sk11,sk7))]
  1: [survival_chance(sk5,sk11,sk7)]
  2: ~(survival_chance(sk5,sk11,sk7)), [~(survival_chance(sk4,sk10,sk6))]
  3: [~(greater(sk11,sk10))]

Gamma_75: (resolve)
  0: [~(survival_chance(sk5,sk11,sk7))]
  1: []
  2: [~(greater(sk11,sk10))]

SZS status Unsatisfiable