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

------ Parsing...successful


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

Gamma_0: (extend-no-conflict)
  0: [size(sk3,sk8,sk10)]

Gamma_1: (extend-no-conflict)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]

Gamma_2: (extend-no-conflict)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]

Gamma_3: (extend-no-conflict)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: [survival_chance(sk2,sk5,sk9)]

Gamma_4: (extend-no-conflict)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: [survival_chance(sk2,sk5,sk9)]
  4: [class(sk3,sk4,sk10)]

Gamma_5: (extend-no-conflict)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: [survival_chance(sk2,sk5,sk9)]
  4: [class(sk3,sk4,sk10)]
  5: [class(sk2,sk4,sk9)]

Gamma_6: (extend-no-conflict)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: [survival_chance(sk2,sk5,sk9)]
  4: [class(sk3,sk4,sk10)]
  5: [class(sk2,sk4,sk9)]
  6: [reorganization_free(sk3,sk10,sk10)]

Gamma_7: (extend-no-conflict)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: [survival_chance(sk2,sk5,sk9)]
  4: [class(sk3,sk4,sk10)]
  5: [class(sk2,sk4,sk9)]
  6: [reorganization_free(sk3,sk10,sk10)]
  7: [reorganization_free(sk2,sk9,sk9)]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Gamma_35: (resolve)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: [survival_chance(sk2,sk5,sk9)]
  4: [class(sk3,sk4,sk10)]
  5: [class(sk2,sk4,sk9)]
  6: [reorganization_free(sk3,sk10,sk10)]
  7: [reorganization_free(sk2,sk9,sk9)]
  8: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), ~(class(sk2,sk4,sk9)), ~(
reorganization_free(sk3,sk10,sk10)), ~(reorganization_free(sk2,sk9,sk9)), [~(
greater(sk8,sk7))]
  9: [~(size(sk3,sk8,sk10))], ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), ~(class(sk2,sk4,sk9)), ~(
reorganization_free(sk3,sk10,sk10)), ~(reorganization_free(sk2,sk9,sk9))
  10: [~(greater(sk6,sk5))]

Gamma_36: (extend-conflict)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: [survival_chance(sk2,sk5,sk9)]
  4: [class(sk3,sk4,sk10)]
  5: [class(sk2,sk4,sk9)]
  6: [reorganization_free(sk3,sk10,sk10)]
  7: [reorganization_free(sk2,sk9,sk9)]
  8: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), ~(class(sk2,sk4,sk9)), ~(
reorganization_free(sk3,sk10,sk10)), ~(reorganization_free(sk2,sk9,sk9)), [~(
greater(sk8,sk7))]
  9: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), ~(class(sk2,sk4,sk9)), ~(
reorganization_free(sk3,sk10,sk10)), [~(reorganization_free(sk2,sk9,sk9))]
  10: [~(greater(sk6,sk5))]

Gamma_37: (move)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: [survival_chance(sk2,sk5,sk9)]
  4: [class(sk3,sk4,sk10)]
  5: [class(sk2,sk4,sk9)]
  6: [reorganization_free(sk3,sk10,sk10)]
  7: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), ~(class(sk2,sk4,sk9)), ~(
reorganization_free(sk3,sk10,sk10)), [~(reorganization_free(sk2,sk9,sk9))]
  8: [reorganization_free(sk2,sk9,sk9)]
  9: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), ~(class(sk2,sk4,sk9)), ~(
reorganization_free(sk3,sk10,sk10)), ~(reorganization_free(sk2,sk9,sk9)), [~(
greater(sk8,sk7))]
  10: [~(greater(sk6,sk5))]

Gamma_38: (resolve)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: [survival_chance(sk2,sk5,sk9)]
  4: [class(sk3,sk4,sk10)]
  5: [class(sk2,sk4,sk9)]
  6: [reorganization_free(sk3,sk10,sk10)]
  7: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), ~(class(sk2,sk4,sk9)), ~(
reorganization_free(sk3,sk10,sk10)), [~(reorganization_free(sk2,sk9,sk9))]
  8: [~(size(sk3,sk8,sk10))], ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), ~(class(sk2,sk4,sk9)), ~(
reorganization_free(sk3,sk10,sk10))
  9: [~(greater(sk6,sk5))]

Gamma_39: (extend-conflict)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: [survival_chance(sk2,sk5,sk9)]
  4: [class(sk3,sk4,sk10)]
  5: [class(sk2,sk4,sk9)]
  6: [reorganization_free(sk3,sk10,sk10)]
  7: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), ~(class(sk2,sk4,sk9)), ~(
reorganization_free(sk3,sk10,sk10)), [~(reorganization_free(sk2,sk9,sk9))]
  8: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), ~(class(sk2,sk4,sk9)), [~(
reorganization_free(sk3,sk10,sk10))]
  9: [~(greater(sk6,sk5))]

Gamma_40: (move)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: [survival_chance(sk2,sk5,sk9)]
  4: [class(sk3,sk4,sk10)]
  5: [class(sk2,sk4,sk9)]
  6: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), ~(class(sk2,sk4,sk9)), [~(
reorganization_free(sk3,sk10,sk10))]
  7: [reorganization_free(sk3,sk10,sk10)]
  8: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), ~(class(sk2,sk4,sk9)), ~(
reorganization_free(sk3,sk10,sk10)), [~(reorganization_free(sk2,sk9,sk9))]
  9: [~(greater(sk6,sk5))]

Gamma_41: (resolve)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: [survival_chance(sk2,sk5,sk9)]
  4: [class(sk3,sk4,sk10)]
  5: [class(sk2,sk4,sk9)]
  6: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), ~(class(sk2,sk4,sk9)), [~(
reorganization_free(sk3,sk10,sk10))]
  7: [~(size(sk3,sk8,sk10))], ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), ~(class(sk2,sk4,sk9))
  8: [~(greater(sk6,sk5))]

Gamma_42: (extend-conflict)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: [survival_chance(sk2,sk5,sk9)]
  4: [class(sk3,sk4,sk10)]
  5: [class(sk2,sk4,sk9)]
  6: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), ~(class(sk2,sk4,sk9)), [~(
reorganization_free(sk3,sk10,sk10))]
  7: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), [~(class(sk2,sk4,sk9))]
  8: [~(greater(sk6,sk5))]

Gamma_43: (move)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: [survival_chance(sk2,sk5,sk9)]
  4: [class(sk3,sk4,sk10)]
  5: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), [~(class(sk2,sk4,sk9))]
  6: [class(sk2,sk4,sk9)]
  7: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), ~(class(sk2,sk4,sk9)), [~(
reorganization_free(sk3,sk10,sk10))]
  8: [~(greater(sk6,sk5))]

Gamma_44: (resolve)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: [survival_chance(sk2,sk5,sk9)]
  4: [class(sk3,sk4,sk10)]
  5: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), [~(class(sk2,sk4,sk9))]
  6: [~(size(sk3,sk8,sk10))], ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10))
  7: [~(greater(sk6,sk5))]

Gamma_45: (extend-conflict)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: [survival_chance(sk2,sk5,sk9)]
  4: [class(sk3,sk4,sk10)]
  5: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), [~(class(sk2,sk4,sk9))]
  6: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), [~(class(sk3,sk4,sk10))]
  7: [~(greater(sk6,sk5))]

Gamma_46: (move)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: [survival_chance(sk2,sk5,sk9)]
  4: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), [~(class(sk3,sk4,sk10))]
  5: [class(sk3,sk4,sk10)]
  6: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), ~(class(sk3,sk4,sk10)), [~(class(sk2,sk4,sk9))]
  7: [~(greater(sk6,sk5))]

Gamma_47: (resolve)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: [survival_chance(sk2,sk5,sk9)]
  4: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), [~(class(sk3,sk4,sk10))]
  5: [~(size(sk3,sk8,sk10))], ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9))
  6: [~(greater(sk6,sk5))]

Gamma_48: (extend-conflict)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: [survival_chance(sk2,sk5,sk9)]
  4: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), [~(class(sk3,sk4,sk10))]
  5: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), [~(
survival_chance(sk2,sk5,sk9))]
  6: [~(greater(sk6,sk5))]

Gamma_49: (move)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), [~(
survival_chance(sk2,sk5,sk9))]
  4: [survival_chance(sk2,sk5,sk9)]
  5: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), ~(
survival_chance(sk2,sk5,sk9)), [~(class(sk3,sk4,sk10))]
  6: [~(greater(sk6,sk5))]

Gamma_50: (resolve)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), [~(
survival_chance(sk2,sk5,sk9))]
  4: [~(size(sk3,sk8,sk10))], ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10))
  5: [~(greater(sk6,sk5))]

Gamma_51: (extend-conflict)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: [survival_chance(sk3,sk6,sk10)]
  3: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), [~(
survival_chance(sk2,sk5,sk9))]
  4: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), [~(survival_chance(sk3,sk6,sk10))]
  5: [~(greater(sk6,sk5))]

Gamma_52: (move)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), [~(survival_chance(sk3,sk6,sk10))]
  3: [survival_chance(sk3,sk6,sk10)]
  4: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), ~(survival_chance(sk3,sk6,sk10)), [~(
survival_chance(sk2,sk5,sk9))]
  5: [~(greater(sk6,sk5))]

Gamma_53: (resolve)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), [~(survival_chance(sk3,sk6,sk10))]
  3: [~(size(sk3,sk8,sk10))], ~(size(sk2,sk7,sk9))
  4: [~(greater(sk6,sk5))]

Gamma_54: (extend-conflict)
  0: [size(sk3,sk8,sk10)]
  1: [size(sk2,sk7,sk9)]
  2: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), [~(survival_chance(sk3,sk6,sk10))]
  3: ~(size(sk3,sk8,sk10)), [~(size(sk2,sk7,sk9))]
  4: [~(greater(sk6,sk5))]

Gamma_55: (move)
  0: [size(sk3,sk8,sk10)]
  1: ~(size(sk3,sk8,sk10)), [~(size(sk2,sk7,sk9))]
  2: [size(sk2,sk7,sk9)]
  3: ~(size(sk3,sk8,sk10)), ~(size(sk2,sk7,sk9)), [~(survival_chance(sk3,sk6,sk10))]
  4: [~(greater(sk6,sk5))]

Gamma_56: (resolve)
  0: [size(sk3,sk8,sk10)]
  1: ~(size(sk3,sk8,sk10)), [~(size(sk2,sk7,sk9))]
  2: [~(size(sk3,sk8,sk10))]
  3: [~(greater(sk6,sk5))]

Gamma_57: (extend-conflict)
  0: [size(sk3,sk8,sk10)]
  1: ~(size(sk3,sk8,sk10)), [~(size(sk2,sk7,sk9))]
  2: [~(size(sk3,sk8,sk10))]
  3: [~(greater(sk6,sk5))]

Gamma_58: (move)
  0: [~(size(sk3,sk8,sk10))]
  1: [size(sk3,sk8,sk10)]
  2: ~(size(sk3,sk8,sk10)), [~(size(sk2,sk7,sk9))]
  3: [~(greater(sk6,sk5))]

Gamma_59: (resolve)
  0: [~(size(sk3,sk8,sk10))]
  1: []
  2: [~(greater(sk6,sk5))]

SZS status Unsatisfiable