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

------ Parsing...successful


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

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

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

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

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

Gamma_4: (extend-no-conflict)
  0: [reorganization_free(esk2_0,esk11_0,
esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: [reliability(esk2_0,esk5_0,esk11_0)]

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

Gamma_6: (extend-no-conflict)
  0: [reorganization_free(esk2_0,esk11_0,
esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: [reliability(esk2_0,esk5_0,esk11_0)]
  5: [reliability(esk3_0,esk6_0,esk12_0)]
  6: [accountability(esk2_0,esk7_0,esk11_0)]

Gamma_7: (extend-no-conflict)
  0: [reorganization_free(esk2_0,esk11_0,
esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: [reliability(esk2_0,esk5_0,esk11_0)]
  5: [reliability(esk3_0,esk6_0,esk12_0)]
  6: [accountability(esk2_0,esk7_0,esk11_0)]
  7: [accountability(esk3_0,esk8_0,esk12_0)]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Gamma_44: (resolve)
  0: [reorganization_free(esk2_0,esk11_0,esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: [reliability(esk2_0,esk5_0,esk11_0)]
  5: [reliability(esk3_0,esk6_0,esk12_0)]
  6: [accountability(esk2_0,esk7_0,esk11_0)]
  7: [accountability(esk3_0,esk8_0,esk12_0)]
  8: [size(esk2_0,esk9_0,esk11_0)]
  9: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), ~(accountability(esk2_0,esk7_0,esk11_0)), ~(
accountability(esk3_0,esk8_0,esk12_0)), ~(size(esk2_0,esk9_0,esk11_0)), [~(
size(esk3_0,esk10_0,esk12_0))]
  10: [~(reorganization_free(esk2_0,esk11_0,esk11_0))], ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), ~(accountability(esk2_0,esk7_0,esk11_0)), ~(
accountability(esk3_0,esk8_0,esk12_0)), ~(size(esk2_0,esk9_0,esk11_0))

Gamma_45: (extend-conflict)
  0: [reorganization_free(esk2_0,esk11_0,
esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: [reliability(esk2_0,esk5_0,esk11_0)]
  5: [reliability(esk3_0,esk6_0,esk12_0)]
  6: [accountability(esk2_0,esk7_0,esk11_0)]
  7: [accountability(esk3_0,esk8_0,esk12_0)]
  8: [size(esk2_0,esk9_0,esk11_0)]
  9: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), ~(accountability(esk2_0,esk7_0,esk11_0)), ~(
accountability(esk3_0,esk8_0,esk12_0)), ~(size(esk2_0,esk9_0,esk11_0)), [~(
size(esk3_0,esk10_0,esk12_0))]
  10: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), ~(accountability(esk2_0,esk7_0,esk11_0)), ~(
accountability(esk3_0,esk8_0,esk12_0)), [~(size(esk2_0,esk9_0,esk11_0))]

Gamma_46: (move)
  0: [reorganization_free(esk2_0,esk11_0,esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: [reliability(esk2_0,esk5_0,esk11_0)]
  5: [reliability(esk3_0,esk6_0,esk12_0)]
  6: [accountability(esk2_0,esk7_0,esk11_0)]
  7: [accountability(esk3_0,esk8_0,esk12_0)]
  8: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), ~(accountability(esk2_0,esk7_0,esk11_0)), ~(
accountability(esk3_0,esk8_0,esk12_0)), [~(size(esk2_0,esk9_0,esk11_0))]
  9: [size(esk2_0,esk9_0,esk11_0)]
  10: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), ~(accountability(esk2_0,esk7_0,esk11_0)), ~(
accountability(esk3_0,esk8_0,esk12_0)), ~(size(esk2_0,esk9_0,esk11_0)), [~(
size(esk3_0,esk10_0,esk12_0))]

Gamma_47: (resolve)
  0: [reorganization_free(esk2_0,esk11_0,esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: [reliability(esk2_0,esk5_0,esk11_0)]
  5: [reliability(esk3_0,esk6_0,esk12_0)]
  6: [accountability(esk2_0,esk7_0,esk11_0)]
  7: [accountability(esk3_0,esk8_0,esk12_0)]
  8: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), ~(accountability(esk2_0,esk7_0,esk11_0)), ~(
accountability(esk3_0,esk8_0,esk12_0)), [~(size(esk2_0,esk9_0,esk11_0))]
  9: [~(reorganization_free(esk2_0,esk11_0,esk11_0))], ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), ~(accountability(esk2_0,esk7_0,esk11_0)), ~(
accountability(esk3_0,esk8_0,esk12_0))

Gamma_48: (extend-conflict)
  0: [reorganization_free(esk2_0,esk11_0,
esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: [reliability(esk2_0,esk5_0,esk11_0)]
  5: [reliability(esk3_0,esk6_0,esk12_0)]
  6: [accountability(esk2_0,esk7_0,esk11_0)]
  7: [accountability(esk3_0,esk8_0,esk12_0)]
  8: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), ~(accountability(esk2_0,esk7_0,esk11_0)), ~(
accountability(esk3_0,esk8_0,esk12_0)), [~(size(esk2_0,esk9_0,esk11_0))]
  9: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), ~(accountability(esk2_0,esk7_0,esk11_0)), [~(
accountability(esk3_0,esk8_0,esk12_0))]

Gamma_49: (move)
  0: [reorganization_free(esk2_0,esk11_0,esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: [reliability(esk2_0,esk5_0,esk11_0)]
  5: [reliability(esk3_0,esk6_0,esk12_0)]
  6: [accountability(esk2_0,esk7_0,esk11_0)]
  7: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), ~(accountability(esk2_0,esk7_0,esk11_0)), [~(
accountability(esk3_0,esk8_0,esk12_0))]
  8: [accountability(esk3_0,esk8_0,esk12_0)]
  9: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), ~(accountability(esk2_0,esk7_0,esk11_0)), ~(
accountability(esk3_0,esk8_0,esk12_0)), [~(size(esk2_0,esk9_0,esk11_0))]

Gamma_50: (resolve)
  0: [reorganization_free(esk2_0,esk11_0,esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: [reliability(esk2_0,esk5_0,esk11_0)]
  5: [reliability(esk3_0,esk6_0,esk12_0)]
  6: [accountability(esk2_0,esk7_0,esk11_0)]
  7: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), ~(accountability(esk2_0,esk7_0,esk11_0)), [~(
accountability(esk3_0,esk8_0,esk12_0))]
  8: [~(reorganization_free(esk2_0,esk11_0,esk11_0))], ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), ~(accountability(esk2_0,esk7_0,esk11_0))

Gamma_51: (extend-conflict)
  0: [reorganization_free(esk2_0,esk11_0,
esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: [reliability(esk2_0,esk5_0,esk11_0)]
  5: [reliability(esk3_0,esk6_0,esk12_0)]
  6: [accountability(esk2_0,esk7_0,esk11_0)]
  7: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), ~(accountability(esk2_0,esk7_0,esk11_0)), [~(
accountability(esk3_0,esk8_0,esk12_0))]
  8: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), [~(accountability(esk2_0,esk7_0,esk11_0))]

Gamma_52: (move)
  0: [reorganization_free(esk2_0,esk11_0,esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: [reliability(esk2_0,esk5_0,esk11_0)]
  5: [reliability(esk3_0,esk6_0,esk12_0)]
  6: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), [~(accountability(esk2_0,esk7_0,esk11_0))]
  7: [accountability(esk2_0,esk7_0,esk11_0)]
  8: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), ~(accountability(esk2_0,esk7_0,esk11_0)), [~(
accountability(esk3_0,esk8_0,esk12_0))]

Gamma_53: (resolve)
  0: [reorganization_free(esk2_0,esk11_0,esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: [reliability(esk2_0,esk5_0,esk11_0)]
  5: [reliability(esk3_0,esk6_0,esk12_0)]
  6: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), [~(accountability(esk2_0,esk7_0,esk11_0))]
  7: [~(reorganization_free(esk2_0,esk11_0,esk11_0))], ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0))

Gamma_54: (extend-conflict)
  0: [reorganization_free(esk2_0,esk11_0,
esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: [reliability(esk2_0,esk5_0,esk11_0)]
  5: [reliability(esk3_0,esk6_0,esk12_0)]
  6: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), [~(accountability(esk2_0,esk7_0,esk11_0))]
  7: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), [~(
reliability(esk3_0,esk6_0,esk12_0))]

Gamma_55: (move)
  0: [reorganization_free(esk2_0,esk11_0,esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: [reliability(esk2_0,esk5_0,esk11_0)]
  5: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), [~(
reliability(esk3_0,esk6_0,esk12_0))]
  6: [reliability(esk3_0,esk6_0,esk12_0)]
  7: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), ~(
reliability(esk3_0,esk6_0,esk12_0)), [~(accountability(esk2_0,esk7_0,esk11_0))]

Gamma_56: (resolve)
  0: [reorganization_free(esk2_0,esk11_0,esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: [reliability(esk2_0,esk5_0,esk11_0)]
  5: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), [~(
reliability(esk3_0,esk6_0,esk12_0))]
  6: [~(reorganization_free(esk2_0,esk11_0,esk11_0))], ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0))

Gamma_57: (extend-conflict)
  0: [reorganization_free(esk2_0,esk11_0,
esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: [reliability(esk2_0,esk5_0,esk11_0)]
  5: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), [~(
reliability(esk3_0,esk6_0,esk12_0))]
  6: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), [~(reliability(esk2_0,esk5_0,esk11_0))]

Gamma_58: (move)
  0: [reorganization_free(esk2_0,esk11_0,esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), [~(reliability(esk2_0,esk5_0,esk11_0))]
  5: [reliability(esk2_0,esk5_0,esk11_0)]
  6: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), ~(reliability(esk2_0,esk5_0,esk11_0)), [~(
reliability(esk3_0,esk6_0,esk12_0))]

Gamma_59: (resolve)
  0: [reorganization_free(esk2_0,esk11_0,esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), [~(reliability(esk2_0,esk5_0,esk11_0))]
  5: [~(reorganization_free(esk2_0,esk11_0,esk11_0))], ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0))

Gamma_60: (extend-conflict)
  0: [reorganization_free(esk2_0,esk11_0,
esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: [class(esk3_0,esk4_0,esk12_0)]
  4: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), [~(reliability(esk2_0,esk5_0,esk11_0))]
  5: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), [~(class(esk3_0,esk4_0,esk12_0))]

Gamma_61: (move)
  0: [reorganization_free(esk2_0,esk11_0,esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), [~(class(esk3_0,esk4_0,esk12_0))]
  4: [class(esk3_0,esk4_0,esk12_0)]
  5: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), ~(class(esk3_0,esk4_0,esk12_0)), [~(reliability(esk2_0,esk5_0,esk11_0))]

Gamma_62: (resolve)
  0: [reorganization_free(esk2_0,esk11_0,esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), [~(class(esk3_0,esk4_0,esk12_0))]
  4: [~(reorganization_free(esk2_0,esk11_0,esk11_0))], ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0))

Gamma_63: (extend-conflict)
  0: [reorganization_free(esk2_0,esk11_0,
esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: [class(esk2_0,esk4_0,esk11_0)]
  3: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), [~(class(esk3_0,esk4_0,esk12_0))]
  4: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), [~(
class(esk2_0,esk4_0,esk11_0))]

Gamma_64: (move)
  0: [reorganization_free(esk2_0,esk11_0,esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), [~(
class(esk2_0,esk4_0,esk11_0))]
  3: [class(esk2_0,esk4_0,esk11_0)]
  4: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), ~(
class(esk2_0,esk4_0,esk11_0)), [~(class(esk3_0,esk4_0,esk12_0))]

Gamma_65: (resolve)
  0: [reorganization_free(esk2_0,esk11_0,esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), [~(
class(esk2_0,esk4_0,esk11_0))]
  3: [~(reorganization_free(esk2_0,esk11_0,esk11_0))], ~(reorganization_free(esk3_0,esk12_0,esk12_0))

Gamma_66: (extend-conflict)
  0: [reorganization_free(esk2_0,esk11_0,
esk11_0)]
  1: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  2: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), [~(
class(esk2_0,esk4_0,esk11_0))]
  3: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), [~(reorganization_free(esk3_0,esk12_0,esk12_0))]

Gamma_67: (move)
  0: [reorganization_free(esk2_0,esk11_0,esk11_0)]
  1: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), [~(reorganization_free(esk3_0,esk12_0,esk12_0))]
  2: [reorganization_free(esk3_0,esk12_0,esk12_0)]
  3: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), ~(reorganization_free(esk3_0,esk12_0,esk12_0)), [~(
class(esk2_0,esk4_0,esk11_0))]

Gamma_68: (resolve)
  0: [reorganization_free(esk2_0,esk11_0,esk11_0)]
  1: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), [~(reorganization_free(esk3_0,esk12_0,esk12_0))]
  2: [~(reorganization_free(esk2_0,esk11_0,esk11_0))]

Gamma_69: (extend-conflict)
  0: [reorganization_free(esk2_0,esk11_0,
esk11_0)]
  1: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), [~(reorganization_free(esk3_0,esk12_0,esk12_0))]
  2: [~(reorganization_free(esk2_0,esk11_0,esk11_0))]

Gamma_70: (move)
  0: [~(reorganization_free(esk2_0,esk11_0,esk11_0))]
  1: [reorganization_free(esk2_0,esk11_0,esk11_0)]
  2: ~(reorganization_free(esk2_0,esk11_0,esk11_0)), [~(reorganization_free(esk3_0,esk12_0,esk12_0))]

Gamma_71: (resolve)
  0: [~(reorganization_free(esk2_0,esk11_0,esk11_0))]
  1: []

SZS status Unsatisfiable