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

------ Parsing...successful


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

Gamma_0: (extend-no-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]

Gamma_1: (extend-no-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]

Gamma_2: (extend-no-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]

Gamma_3: (extend-no-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]

Gamma_4: (extend-no-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]

Gamma_5: (extend-no-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]

Gamma_6: (extend-no-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]

Gamma_7: (extend-no-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]

Gamma_8: (extend-no-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]

Gamma_9: (extend-no-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]

Gamma_10: (extend-no-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]
  10: [greater(esk8_0,esk7_0)]

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

Gamma_12: (extend-no-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]
  10: [greater(esk8_0,esk7_0)]
  11: [inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)], ~(organization(esk2_0,esk9_0))
  12: [inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)], ~(organization(esk3_0,esk10_0))

Gamma_13: (extend-no-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]
  10: [greater(esk8_0,esk7_0)]
  11: [inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)], ~(organization(esk2_0,esk9_0))
  12: [inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)], ~(organization(esk3_0,esk10_0))
  13: ~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)), ~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), [greater(
esk1_2(esk3_0,esk10_0),esk1_2(esk2_0,esk9_0))], ~(greater(esk8_0,esk7_0))

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

Gamma_15: (extend-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]
  10: [greater(esk8_0,esk7_0)]
  11: [inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)], ~(organization(esk2_0,esk9_0))
  12: [inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)], ~(organization(esk3_0,esk10_0))
  13: ~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)), ~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), [greater(
esk1_2(esk3_0,esk10_0),esk1_2(esk2_0,esk9_0))], ~(greater(esk8_0,esk7_0))
  14: ~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)), ~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)), ~(
reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
reproducibility(esk2_0,esk5_0,esk9_0)), ~(reproducibility(esk3_0,esk6_0,esk10_0)), ~(
organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), ~(greater(esk1_2(esk3_0,esk10_0),esk1_2(esk2_0,esk9_0))), [greater(
esk6_0,esk5_0)]
  15: [~(greater(esk6_0,esk5_0))]

Gamma_16: (move)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]
  10: [greater(esk8_0,esk7_0)]
  11: [inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)], ~(organization(esk2_0,esk9_0))
  12: [inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)], ~(organization(esk3_0,esk10_0))
  13: ~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)), ~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), [greater(
esk1_2(esk3_0,esk10_0),esk1_2(esk2_0,esk9_0))], ~(greater(esk8_0,esk7_0))
  14: [~(greater(esk6_0,esk5_0))]
  15: ~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)), ~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)), ~(
reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
reproducibility(esk2_0,esk5_0,esk9_0)), ~(reproducibility(esk3_0,esk6_0,esk10_0)), ~(
organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), ~(greater(esk1_2(esk3_0,esk10_0),esk1_2(esk2_0,esk9_0))), [greater(
esk6_0,esk5_0)]

Gamma_17: (resolve)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]
  10: [greater(esk8_0,esk7_0)]
  11: [inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)], ~(organization(esk2_0,esk9_0))
  12: [inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)], ~(organization(esk3_0,esk10_0))
  13: ~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)), ~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), [greater(
esk1_2(esk3_0,esk10_0),esk1_2(esk2_0,esk9_0))], ~(greater(esk8_0,esk7_0))
  14: [~(greater(esk6_0,esk5_0))]
  15: [~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0))], ~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)), ~(
reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
reproducibility(esk2_0,esk5_0,esk9_0)), ~(reproducibility(esk3_0,esk6_0,esk10_0)), ~(
organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), ~(greater(esk1_2(esk3_0,esk10_0),esk1_2(esk2_0,esk9_0)))

Gamma_18: (extend-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]
  10: [greater(esk8_0,esk7_0)]
  11: [inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)], ~(organization(esk2_0,esk9_0))
  12: [inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)], ~(organization(esk3_0,esk10_0))
  13: ~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)), ~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), [greater(
esk1_2(esk3_0,esk10_0),esk1_2(esk2_0,esk9_0))], ~(greater(esk8_0,esk7_0))
  14: [~(greater(esk6_0,esk5_0))]
  15: ~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)), ~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)), ~(
reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
reproducibility(esk2_0,esk5_0,esk9_0)), ~(reproducibility(esk3_0,esk6_0,esk10_0)), ~(
organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), [~(greater(esk1_2(esk3_0,esk10_0),esk1_2(esk2_0,esk9_0)))]

Gamma_19: (move)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]
  10: [greater(esk8_0,esk7_0)]
  11: [inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)], ~(organization(esk2_0,esk9_0))
  12: [inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)], ~(organization(esk3_0,esk10_0))
  13: ~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)), ~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)), ~(
reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
reproducibility(esk2_0,esk5_0,esk9_0)), ~(reproducibility(esk3_0,esk6_0,esk10_0)), ~(
organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), [~(greater(esk1_2(esk3_0,esk10_0),esk1_2(esk2_0,esk9_0)))]
  14: ~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)), ~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), [greater(
esk1_2(esk3_0,esk10_0),esk1_2(esk2_0,esk9_0))], ~(greater(esk8_0,esk7_0))
  15: [~(greater(esk6_0,esk5_0))]

Gamma_20: (resolve)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]
  10: [greater(esk8_0,esk7_0)]
  11: [inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)], ~(organization(esk2_0,esk9_0))
  12: [inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)], ~(organization(esk3_0,esk10_0))
  13: ~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)), ~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)), ~(
reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
reproducibility(esk2_0,esk5_0,esk9_0)), ~(reproducibility(esk3_0,esk6_0,esk10_0)), ~(
organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), [~(greater(esk1_2(esk3_0,esk10_0),esk1_2(esk2_0,esk9_0)))]
  14: [~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0))], ~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)), ~(
reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), ~(
greater(esk8_0,esk7_0))
  15: [~(greater(esk6_0,esk5_0))]

Gamma_21: (extend-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]
  10: [greater(esk8_0,esk7_0)]
  11: [inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)], ~(organization(esk2_0,esk9_0))
  12: [inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)], ~(organization(esk3_0,esk10_0))
  13: ~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)), ~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)), ~(
reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
reproducibility(esk2_0,esk5_0,esk9_0)), ~(reproducibility(esk3_0,esk6_0,esk10_0)), ~(
organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), [~(greater(esk1_2(esk3_0,esk10_0),esk1_2(esk2_0,esk9_0)))]
  14: ~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)), [~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0))], ~(
reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), ~(
greater(esk8_0,esk7_0))
  15: [~(greater(esk6_0,esk5_0))]

Gamma_22: (move)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]
  10: [greater(esk8_0,esk7_0)]
  11: [inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)], ~(organization(esk2_0,esk9_0))
  12: ~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)), [~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0))], ~(
reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), ~(
greater(esk8_0,esk7_0))
  13: [inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)], ~(organization(esk3_0,esk10_0))
  14: ~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)), ~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0)), ~(
reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
reproducibility(esk2_0,esk5_0,esk9_0)), ~(reproducibility(esk3_0,esk6_0,esk10_0)), ~(
organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), [~(greater(esk1_2(esk3_0,esk10_0),esk1_2(esk2_0,esk9_0)))]
  15: [~(greater(esk6_0,esk5_0))]

Gamma_23: (resolve)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]
  10: [greater(esk8_0,esk7_0)]
  11: [inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)], ~(organization(esk2_0,esk9_0))
  12: ~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)), [~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0))], ~(
reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), ~(
greater(esk8_0,esk7_0))
  13: ~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)), ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(
reorganization_free(esk3_0,esk10_0,esk10_0)), ~(class(esk2_0,esk4_0,esk9_0)), ~(
class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), [~(organization(esk3_0,esk10_0))], ~(
greater(esk8_0,esk7_0))
  14: [~(greater(esk6_0,esk5_0))]

Gamma_24: (extend-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]
  10: [greater(esk8_0,esk7_0)]
  11: [inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)], ~(organization(esk2_0,esk9_0))
  12: ~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)), [~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0))], ~(
reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), ~(
greater(esk8_0,esk7_0))
  13: [~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0))], ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(
reorganization_free(esk3_0,esk10_0,esk10_0)), ~(class(esk2_0,esk4_0,esk9_0)), ~(
class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), ~(
greater(esk8_0,esk7_0))
  14: [~(greater(esk6_0,esk5_0))]

Gamma_25: (move)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]
  10: [greater(esk8_0,esk7_0)]
  11: [~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0))], ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(
reorganization_free(esk3_0,esk10_0,esk10_0)), ~(class(esk2_0,esk4_0,esk9_0)), ~(
class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), ~(
greater(esk8_0,esk7_0))
  12: [inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)], ~(organization(esk2_0,esk9_0))
  13: ~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0)), [~(inertia(esk3_0,esk1_2(esk3_0,esk10_0),esk10_0))], ~(
reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), ~(
greater(esk8_0,esk7_0))
  14: [~(greater(esk6_0,esk5_0))]

Gamma_26: (resolve)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]
  10: [greater(esk8_0,esk7_0)]
  11: [~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0))], ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(
reorganization_free(esk3_0,esk10_0,esk10_0)), ~(class(esk2_0,esk4_0,esk9_0)), ~(
class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), ~(
greater(esk8_0,esk7_0))
  12: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), [~(organization(esk2_0,esk9_0))], ~(organization(esk3_0,esk10_0)), ~(
greater(esk8_0,esk7_0))
  13: [~(greater(esk6_0,esk5_0))]

Gamma_27: (extend-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]
  10: [greater(esk8_0,esk7_0)]
  11: [~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0))], ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(
reorganization_free(esk3_0,esk10_0,esk10_0)), ~(class(esk2_0,esk4_0,esk9_0)), ~(
class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), ~(
greater(esk8_0,esk7_0))
  12: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), [~(
greater(esk8_0,esk7_0))]
  13: [~(greater(esk6_0,esk5_0))]

Gamma_28: (move)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]
  10: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), [~(
greater(esk8_0,esk7_0))]
  11: [greater(esk8_0,esk7_0)]
  12: [~(inertia(esk2_0,esk1_2(esk2_0,esk9_0),esk9_0))], ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(
reorganization_free(esk3_0,esk10_0,esk10_0)), ~(class(esk2_0,esk4_0,esk9_0)), ~(
class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), ~(
greater(esk8_0,esk7_0))
  13: [~(greater(esk6_0,esk5_0))]

Gamma_29: (resolve)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]
  10: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), [~(
greater(esk8_0,esk7_0))]
  11: [~(reorganization_free(esk2_0,esk9_0,esk9_0))], ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0))
  12: [~(greater(esk6_0,esk5_0))]

Gamma_30: (extend-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: [organization(esk3_0,esk10_0)]
  10: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), [~(
greater(esk8_0,esk7_0))]
  11: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), [~(organization(esk3_0,esk10_0))]
  12: [~(greater(esk6_0,esk5_0))]

Gamma_31: (move)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), [~(organization(esk3_0,esk10_0))]
  10: [organization(esk3_0,esk10_0)]
  11: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), ~(organization(esk3_0,esk10_0)), [~(
greater(esk8_0,esk7_0))]
  12: [~(greater(esk6_0,esk5_0))]

Gamma_32: (resolve)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), [~(organization(esk3_0,esk10_0))]
  10: [~(reorganization_free(esk2_0,esk9_0,esk9_0))], ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0))
  11: [~(greater(esk6_0,esk5_0))]

Gamma_33: (extend-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: [organization(esk2_0,esk9_0)]
  9: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), [~(organization(esk3_0,esk10_0))]
  10: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), [~(organization(esk2_0,esk9_0))]
  11: [~(greater(esk6_0,esk5_0))]

Gamma_34: (move)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), [~(organization(esk2_0,esk9_0))]
  9: [organization(esk2_0,esk9_0)]
  10: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), ~(organization(esk2_0,esk9_0)), [~(organization(esk3_0,esk10_0))]
  11: [~(greater(esk6_0,esk5_0))]

Gamma_35: (resolve)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), [~(organization(esk2_0,esk9_0))]
  9: [~(reorganization_free(esk2_0,esk9_0,esk9_0))], ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0))
  10: [~(greater(esk6_0,esk5_0))]

Gamma_36: (extend-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: [size(esk3_0,esk8_0,esk10_0)]
  8: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), [~(organization(esk2_0,esk9_0))]
  9: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), [~(
size(esk3_0,esk8_0,esk10_0))]
  10: [~(greater(esk6_0,esk5_0))]

Gamma_37: (move)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), [~(
size(esk3_0,esk8_0,esk10_0))]
  8: [size(esk3_0,esk8_0,esk10_0)]
  9: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), ~(
size(esk3_0,esk8_0,esk10_0)), [~(organization(esk2_0,esk9_0))]
  10: [~(greater(esk6_0,esk5_0))]

Gamma_38: (resolve)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), [~(
size(esk3_0,esk8_0,esk10_0))]
  8: [~(reorganization_free(esk2_0,esk9_0,esk9_0))], ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0))
  9: [~(greater(esk6_0,esk5_0))]

Gamma_39: (extend-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: [size(esk2_0,esk7_0,esk9_0)]
  7: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), [~(
size(esk3_0,esk8_0,esk10_0))]
  8: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), [~(size(esk2_0,esk7_0,esk9_0))]
  9: [~(greater(esk6_0,esk5_0))]

Gamma_40: (move)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), [~(size(esk2_0,esk7_0,esk9_0))]
  7: [size(esk2_0,esk7_0,esk9_0)]
  8: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), ~(size(esk2_0,esk7_0,esk9_0)), [~(
size(esk3_0,esk8_0,esk10_0))]
  9: [~(greater(esk6_0,esk5_0))]

Gamma_41: (resolve)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), [~(size(esk2_0,esk7_0,esk9_0))]
  7: [~(reorganization_free(esk2_0,esk9_0,esk9_0))], ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0))
  8: [~(greater(esk6_0,esk5_0))]

Gamma_42: (extend-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: [reproducibility(esk3_0,esk6_0,esk10_0)]
  6: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), [~(size(esk2_0,esk7_0,esk9_0))]
  7: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), [~(
reproducibility(esk3_0,esk6_0,esk10_0))]
  8: [~(greater(esk6_0,esk5_0))]

Gamma_43: (move)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), [~(
reproducibility(esk3_0,esk6_0,esk10_0))]
  6: [reproducibility(esk3_0,esk6_0,esk10_0)]
  7: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), ~(
reproducibility(esk3_0,esk6_0,esk10_0)), [~(size(esk2_0,esk7_0,esk9_0))]
  8: [~(greater(esk6_0,esk5_0))]

Gamma_44: (resolve)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), [~(
reproducibility(esk3_0,esk6_0,esk10_0))]
  6: [~(reorganization_free(esk2_0,esk9_0,esk9_0))], ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0))
  7: [~(greater(esk6_0,esk5_0))]

Gamma_45: (extend-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: [reproducibility(esk2_0,esk5_0,esk9_0)]
  5: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), [~(
reproducibility(esk3_0,esk6_0,esk10_0))]
  6: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), [~(reproducibility(esk2_0,esk5_0,esk9_0))]
  7: [~(greater(esk6_0,esk5_0))]

Gamma_46: (move)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), [~(reproducibility(esk2_0,esk5_0,esk9_0))]
  5: [reproducibility(esk2_0,esk5_0,esk9_0)]
  6: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), ~(reproducibility(esk2_0,esk5_0,esk9_0)), [~(
reproducibility(esk3_0,esk6_0,esk10_0))]
  7: [~(greater(esk6_0,esk5_0))]

Gamma_47: (resolve)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), [~(reproducibility(esk2_0,esk5_0,esk9_0))]
  5: [~(reorganization_free(esk2_0,esk9_0,esk9_0))], ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0))
  6: [~(greater(esk6_0,esk5_0))]

Gamma_48: (extend-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: [class(esk3_0,esk4_0,esk10_0)]
  4: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), [~(reproducibility(esk2_0,esk5_0,esk9_0))]
  5: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), [~(class(esk3_0,esk4_0,esk10_0))]
  6: [~(greater(esk6_0,esk5_0))]

Gamma_49: (move)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), [~(class(esk3_0,esk4_0,esk10_0))]
  4: [class(esk3_0,esk4_0,esk10_0)]
  5: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), ~(class(esk3_0,esk4_0,esk10_0)), [~(reproducibility(esk2_0,esk5_0,esk9_0))]
  6: [~(greater(esk6_0,esk5_0))]

Gamma_50: (resolve)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), [~(class(esk3_0,esk4_0,esk10_0))]
  4: [~(reorganization_free(esk2_0,esk9_0,esk9_0))], ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0))
  5: [~(greater(esk6_0,esk5_0))]

Gamma_51: (extend-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: [class(esk2_0,esk4_0,esk9_0)]
  3: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), [~(class(esk3_0,esk4_0,esk10_0))]
  4: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), [~(
class(esk2_0,esk4_0,esk9_0))]
  5: [~(greater(esk6_0,esk5_0))]

Gamma_52: (move)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), [~(
class(esk2_0,esk4_0,esk9_0))]
  3: [class(esk2_0,esk4_0,esk9_0)]
  4: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), ~(
class(esk2_0,esk4_0,esk9_0)), [~(class(esk3_0,esk4_0,esk10_0))]
  5: [~(greater(esk6_0,esk5_0))]

Gamma_53: (resolve)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), [~(
class(esk2_0,esk4_0,esk9_0))]
  3: [~(reorganization_free(esk2_0,esk9_0,esk9_0))], ~(reorganization_free(esk3_0,esk10_0,esk10_0))
  4: [~(greater(esk6_0,esk5_0))]

Gamma_54: (extend-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  2: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), [~(
class(esk2_0,esk4_0,esk9_0))]
  3: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), [~(reorganization_free(esk3_0,esk10_0,esk10_0))]
  4: [~(greater(esk6_0,esk5_0))]

Gamma_55: (move)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), [~(reorganization_free(esk3_0,esk10_0,esk10_0))]
  2: [reorganization_free(esk3_0,esk10_0,esk10_0)]
  3: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), ~(reorganization_free(esk3_0,esk10_0,esk10_0)), [~(
class(esk2_0,esk4_0,esk9_0))]
  4: [~(greater(esk6_0,esk5_0))]

Gamma_56: (resolve)
  0: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  1: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), [~(reorganization_free(esk3_0,esk10_0,esk10_0))]
  2: [~(reorganization_free(esk2_0,esk9_0,esk9_0))]
  3: [~(greater(esk6_0,esk5_0))]

Gamma_57: (extend-conflict)
  0: [reorganization_free(esk2_0,esk9_0,
esk9_0)]
  1: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), [~(reorganization_free(esk3_0,esk10_0,esk10_0))]
  2: [~(reorganization_free(esk2_0,esk9_0,esk9_0))]
  3: [~(greater(esk6_0,esk5_0))]

Gamma_58: (move)
  0: [~(reorganization_free(esk2_0,esk9_0,esk9_0))]
  1: [reorganization_free(esk2_0,esk9_0,esk9_0)]
  2: ~(reorganization_free(esk2_0,esk9_0,esk9_0)), [~(reorganization_free(esk3_0,esk10_0,esk10_0))]
  3: [~(greater(esk6_0,esk5_0))]

Gamma_59: (resolve)
  0: [~(reorganization_free(esk2_0,esk9_0,esk9_0))]
  1: []
  2: [~(greater(esk6_0,esk5_0))]

SZS status Unsatisfiable