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

------ Parsing...successful


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

Gamma_0: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18

Gamma_1: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)

Gamma_2: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)

Gamma_3: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24

Gamma_4: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)

Gamma_5: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)

Gamma_6: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26

Gamma_7: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)

Gamma_8: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27

Gamma_9: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)

Gamma_10: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]

Gamma_11: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [c0_1(a151)], c3_1(a136), c1_1(a136), ~(c1_1(a151)), ~(c2_1(a136)), c2_1(
a151), hskp21, ~(ndr1_0)

Gamma_12: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [c0_1(a151)], c3_1(a136), c1_1(a136), ~(c1_1(a151)), ~(c2_1(a136)), c2_1(
a151), hskp21, ~(ndr1_0)
  12: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)

Gamma_13: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [c0_1(a151)], c3_1(a136), c1_1(a136), ~(c1_1(a151)), ~(c2_1(a136)), c2_1(
a151), hskp21, ~(ndr1_0)
  12: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  13: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)

Gamma_14: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [c0_1(a151)], c3_1(a136), c1_1(a136), ~(c1_1(a151)), ~(c2_1(a136)), c2_1(
a151), hskp21, ~(ndr1_0)
  12: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  13: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  14: [c0_1(a136)], c1_1(a136), ~(c2_1(a136)), hskp19, hskp20, ~(ndr1_0)

Gamma_15: (extend-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [c0_1(a151)], c3_1(a136), c1_1(a136), ~(c1_1(a151)), ~(c2_1(a136)), c2_1(
a151), hskp21, ~(ndr1_0)
  12: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  13: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  14: [c0_1(a136)], c1_1(a136), ~(c2_1(a136)), hskp19, hskp20, ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)

Gamma_16: (move)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [c0_1(a151)], c3_1(a136), c1_1(a136), ~(c1_1(a151)), ~(c2_1(a136)), c2_1(
a151), hskp21, ~(ndr1_0)
  12: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  13: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  14: [~(c0_1(a136))], ~(hskp3)
  15: [c0_1(a136)], c1_1(a136), ~(c2_1(a136)), hskp19, hskp20, ~(ndr1_0)

Gamma_17: (resolve)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [c0_1(a151)], c3_1(a136), c1_1(a136), ~(c1_1(a151)), ~(c2_1(a136)), c2_1(
a151), hskp21, ~(ndr1_0)
  12: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  13: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  14: [~(c0_1(a136))], ~(hskp3)
  15: [c1_1(a136)], ~(c2_1(a136)), ~(hskp3), hskp19, hskp20, ~(ndr1_0)

Gamma_18: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [c0_1(a151)], c3_1(a136), c1_1(a136), ~(c1_1(a151)), ~(c2_1(a136)), c2_1(
a151), hskp21, ~(ndr1_0)
  12: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  13: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  14: [~(c0_1(a136))], ~(hskp3)
  15: [c1_1(a136)], ~(c2_1(a136)), ~(hskp3), hskp19, hskp20, ~(ndr1_0)

Gamma_19: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [c0_1(a151)], c3_1(a136), c1_1(a136), ~(c1_1(a151)), ~(c2_1(a136)), c2_1(
a151), hskp21, ~(ndr1_0)
  12: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  13: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  14: [~(c0_1(a136))], ~(hskp3)
  15: [c1_1(a136)], ~(c2_1(a136)), ~(hskp3), hskp19, hskp20, ~(ndr1_0)
  16: [c3_1(a136)], ~(c1_1(a136)), ~(c2_1(a136)), hskp7, hskp8, ~(ndr1_0)

Gamma_20: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [c0_1(a151)], c3_1(a136), c1_1(a136), ~(c1_1(a151)), ~(c2_1(a136)), c2_1(
a151), hskp21, ~(ndr1_0)
  12: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  13: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  14: [~(c0_1(a136))], ~(hskp3)
  15: [c1_1(a136)], ~(c2_1(a136)), ~(hskp3), hskp19, hskp20, ~(ndr1_0)
  16: [c3_1(a136)], ~(c1_1(a136)), ~(c2_1(a136)), hskp7, hskp8, ~(ndr1_0)
  17: c0_1(a136), ~(c3_1(a136)), ~(c2_1(a136)), [hskp15], hskp16, ~(ndr1_0)

Gamma_21: (extend-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [c0_1(a151)], c3_1(a136), c1_1(a136), ~(c1_1(a151)), ~(c2_1(a136)), c2_1(
a151), hskp21, ~(ndr1_0)
  12: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  13: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  14: [~(c0_1(a136))], ~(hskp3)
  15: [c1_1(a136)], ~(c2_1(a136)), ~(hskp3), hskp19, hskp20, ~(ndr1_0)
  16: [c3_1(a136)], ~(c1_1(a136)), ~(c2_1(a136)), hskp7, hskp8, ~(ndr1_0)
  17: c0_1(a136), ~(c3_1(a136)), ~(c2_1(a136)), [hskp15], hskp16, ~(ndr1_0)
  18: [~(c3_1(a136))], ~(hskp3)

Gamma_22: (move)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [c0_1(a151)], c3_1(a136), c1_1(a136), ~(c1_1(a151)), ~(c2_1(a136)), c2_1(
a151), hskp21, ~(ndr1_0)
  12: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  13: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  14: [~(c0_1(a136))], ~(hskp3)
  15: [c1_1(a136)], ~(c2_1(a136)), ~(hskp3), hskp19, hskp20, ~(ndr1_0)
  16: [~(c3_1(a136))], ~(hskp3)
  17: [c3_1(a136)], ~(c1_1(a136)), ~(c2_1(a136)), hskp7, hskp8, ~(ndr1_0)
  18: c0_1(a136), ~(c3_1(a136)), ~(c2_1(a136)), [hskp15], hskp16, ~(ndr1_0)

Gamma_23: (resolve)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [c0_1(a151)], c3_1(a136), c1_1(a136), ~(c1_1(a151)), ~(c2_1(a136)), c2_1(
a151), hskp21, ~(ndr1_0)
  12: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  13: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  14: [~(c0_1(a136))], ~(hskp3)
  15: [c1_1(a136)], ~(c2_1(a136)), ~(hskp3), hskp19, hskp20, ~(ndr1_0)
  16: [~(c3_1(a136))], ~(hskp3)
  17: [~(c1_1(a136))], ~(c2_1(a136)), ~(hskp3), hskp7, hskp8, ~(ndr1_0)

Gamma_24: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [c0_1(a151)], c3_1(a136), c1_1(a136), ~(c1_1(a151)), ~(c2_1(a136)), c2_1(
a151), hskp21, ~(ndr1_0)
  12: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  13: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  14: [~(c0_1(a136))], ~(hskp3)
  15: [c1_1(a136)], ~(c2_1(a136)), ~(hskp3), hskp19, hskp20, ~(ndr1_0)
  16: [~(c3_1(a136))], ~(hskp3)
  17: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [hskp7], hskp8, ~(ndr1_0)

Gamma_25: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [c0_1(a151)], c3_1(a136), c1_1(a136), ~(c1_1(a151)), ~(c2_1(a136)), c2_1(
a151), hskp21, ~(ndr1_0)
  12: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  13: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  14: [~(c0_1(a136))], ~(hskp3)
  15: [c1_1(a136)], ~(c2_1(a136)), ~(hskp3), hskp19, hskp20, ~(ndr1_0)
  16: [~(c3_1(a136))], ~(hskp3)
  17: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [hskp7], hskp8, ~(ndr1_0)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)

Gamma_26: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [c0_1(a151)], c3_1(a136), c1_1(a136), ~(c1_1(a151)), ~(c2_1(a136)), c2_1(
a151), hskp21, ~(ndr1_0)
  12: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  13: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  14: [~(c0_1(a136))], ~(hskp3)
  15: [c1_1(a136)], ~(c2_1(a136)), ~(hskp3), hskp19, hskp20, ~(ndr1_0)
  16: [~(c3_1(a136))], ~(hskp3)
  17: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [hskp7], hskp8, ~(ndr1_0)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)

Gamma_27: (extend-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [c0_1(a151)], c3_1(a136), c1_1(a136), ~(c1_1(a151)), ~(c2_1(a136)), c2_1(
a151), hskp21, ~(ndr1_0)
  12: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  13: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  14: [~(c0_1(a136))], ~(hskp3)
  15: [c1_1(a136)], ~(c2_1(a136)), ~(hskp3), hskp19, hskp20, ~(ndr1_0)
  16: [~(c3_1(a136))], ~(hskp3)
  17: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [hskp7], hskp8, ~(ndr1_0)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: [~(c0_1(a151))], ~(hskp11)

Gamma_28: (move)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: [c0_1(a151)], c3_1(a136), c1_1(a136), ~(c1_1(a151)), ~(c2_1(a136)), c2_1(
a151), hskp21, ~(ndr1_0)
  13: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  14: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [c1_1(a136)], ~(c2_1(a136)), ~(hskp3), hskp19, hskp20, ~(ndr1_0)
  17: [~(c3_1(a136))], ~(hskp3)
  18: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [hskp7], hskp8, ~(ndr1_0)
  19: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  20: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)

Gamma_29: (resolve)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: [c3_1(a136)], c1_1(a136), ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  14: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [c1_1(a136)], ~(c2_1(a136)), ~(hskp3), hskp19, hskp20, ~(ndr1_0)
  17: [~(c3_1(a136))], ~(hskp3)
  18: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [hskp7], hskp8, ~(ndr1_0)
  19: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  20: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)

Gamma_30: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  14: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [hskp7], hskp8, ~(ndr1_0)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)

Gamma_31: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  14: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [hskp7], hskp8, ~(ndr1_0)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c0_1(a151), [c3_1(a139)], c1_1(a139), ~(c1_1(a151)), ~(c2_1(a139)), c2_1(
a151), hskp21, ~(ndr1_0)

Gamma_32: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  14: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [hskp7], hskp8, ~(ndr1_0)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c0_1(a151), [c3_1(a139)], c1_1(a139), ~(c1_1(a151)), ~(c2_1(a139)), c2_1(
a151), hskp21, ~(ndr1_0)
  21: c3_1(a136), ~(c3_1(a139)), ~(c1_1(a136)), [c1_1(a139)], ~(c2_1(a136)), ~(
c2_1(a139)), ~(ndr1_0)

Gamma_33: (extend-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  14: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [hskp7], hskp8, ~(ndr1_0)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c0_1(a151), [c3_1(a139)], c1_1(a139), ~(c1_1(a151)), ~(c2_1(a139)), c2_1(
a151), hskp21, ~(ndr1_0)
  21: c3_1(a136), ~(c3_1(a139)), ~(c1_1(a136)), [c1_1(a139)], ~(c2_1(a136)), ~(
c2_1(a139)), ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)

Gamma_34: (move)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  14: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [hskp7], hskp8, ~(ndr1_0)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c0_1(a151), [c3_1(a139)], c1_1(a139), ~(c1_1(a151)), ~(c2_1(a139)), c2_1(
a151), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: c3_1(a136), ~(c3_1(a139)), ~(c1_1(a136)), [c1_1(a139)], ~(c2_1(a136)), ~(
c2_1(a139)), ~(ndr1_0)

Gamma_35: (resolve)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  14: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [hskp7], hskp8, ~(ndr1_0)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c0_1(a151), [c3_1(a139)], c1_1(a139), ~(c1_1(a151)), ~(c2_1(a139)), c2_1(
a151), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: [c3_1(a136)], ~(c3_1(a139)), ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)

Gamma_36: (extend-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  14: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [hskp7], hskp8, ~(ndr1_0)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c0_1(a151), [c3_1(a139)], c1_1(a139), ~(c1_1(a151)), ~(c2_1(a139)), c2_1(
a151), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)

Gamma_37: (move)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  14: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [hskp7], hskp8, ~(ndr1_0)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), [c3_1(a139)], c1_1(a139), ~(c1_1(a151)), ~(c2_1(a139)), c2_1(
a151), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)

Gamma_38: (resolve)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  14: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [hskp7], hskp8, ~(ndr1_0)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: [c0_1(a151)], c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), c2_1(a151), ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)

Gamma_39: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  14: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [hskp7], hskp8, ~(ndr1_0)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)

Gamma_40: (extend-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  14: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [hskp7], hskp8, ~(ndr1_0)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [~(c3_1(a148))], ~(hskp22)

Gamma_41: (move)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: [c3_1(a148)], ~(c1_1(a148)), ~(c2_1(a148)), hskp7, hskp8, ~(ndr1_0)
  15: [c0_1(a148)], ~(c3_1(a148)), ~(c2_1(a148)), hskp15, hskp16, ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [hskp7], hskp8, ~(ndr1_0)
  19: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  20: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  21: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  22: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  23: [~(c1_1(a139))], ~(hskp5)

Gamma_42: (resolve)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: [~(c1_1(a148))], ~(c2_1(a148)), hskp7, hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [hskp7], hskp8, ~(ndr1_0)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)

Gamma_43: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  18: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  19: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  20: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)

Gamma_44: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  18: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  19: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  20: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: [c2_1(a141)], ~(hskp7)

Gamma_45: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  18: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  19: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  20: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: [c2_1(a141)], ~(hskp7)
  23: [c0_1(a141)], c1_1(a141), ~(c2_1(a141)), hskp19, hskp20, ~(ndr1_0)

Gamma_46: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  18: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  19: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  20: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: [c2_1(a141)], ~(hskp7)
  23: [c0_1(a141)], c1_1(a141), ~(c2_1(a141)), hskp19, hskp20, ~(ndr1_0)
  24: [c3_1(a141)], ~(hskp7)

Gamma_47: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  18: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  19: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  20: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: [c2_1(a141)], ~(hskp7)
  23: [c0_1(a141)], c1_1(a141), ~(c2_1(a141)), hskp19, hskp20, ~(ndr1_0)
  24: [c3_1(a141)], ~(hskp7)
  25: ~(c3_1(a141)), [c3_1(a151)], c1_1(a141), ~(c1_1(a151)), ~(c2_1(a141)), ~(
c2_1(a151)), ~(ndr1_0)

Gamma_48: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  18: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  19: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  20: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: [c2_1(a141)], ~(hskp7)
  23: [c0_1(a141)], c1_1(a141), ~(c2_1(a141)), hskp19, hskp20, ~(ndr1_0)
  24: [c3_1(a141)], ~(hskp7)
  25: ~(c3_1(a141)), [c3_1(a151)], c1_1(a141), ~(c1_1(a151)), ~(c2_1(a141)), ~(
c2_1(a151)), ~(ndr1_0)
  26: c3_1(a136), ~(c3_1(a141)), ~(c1_1(a136)), [c1_1(a141)], ~(c2_1(a136)), ~(
c2_1(a141)), ~(ndr1_0)

Gamma_49: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  18: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  19: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  20: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: [c2_1(a141)], ~(hskp7)
  23: [c0_1(a141)], c1_1(a141), ~(c2_1(a141)), hskp19, hskp20, ~(ndr1_0)
  24: [c3_1(a141)], ~(hskp7)
  25: ~(c3_1(a141)), [c3_1(a151)], c1_1(a141), ~(c1_1(a151)), ~(c2_1(a141)), ~(
c2_1(a151)), ~(ndr1_0)
  26: c3_1(a136), ~(c3_1(a141)), ~(c1_1(a136)), [c1_1(a141)], ~(c2_1(a136)), ~(
c2_1(a141)), ~(ndr1_0)
  27: c0_1(a151), ~(c3_1(a151)), ~(c2_1(a151)), [hskp15], hskp16, ~(ndr1_0)

Gamma_50: (extend-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  18: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  19: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  20: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: [c2_1(a141)], ~(hskp7)
  23: [c0_1(a141)], c1_1(a141), ~(c2_1(a141)), hskp19, hskp20, ~(ndr1_0)
  24: [c3_1(a141)], ~(hskp7)
  25: ~(c3_1(a141)), [c3_1(a151)], c1_1(a141), ~(c1_1(a151)), ~(c2_1(a141)), ~(
c2_1(a151)), ~(ndr1_0)
  26: c3_1(a136), ~(c3_1(a141)), ~(c1_1(a136)), [c1_1(a141)], ~(c2_1(a136)), ~(
c2_1(a141)), ~(ndr1_0)
  27: c0_1(a151), ~(c3_1(a151)), ~(c2_1(a151)), [hskp15], hskp16, ~(ndr1_0)
  28: [~(c1_1(a141))], ~(hskp7)

Gamma_51: (move)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  18: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  19: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  20: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: [c2_1(a141)], ~(hskp7)
  23: [c0_1(a141)], c1_1(a141), ~(c2_1(a141)), hskp19, hskp20, ~(ndr1_0)
  24: [c3_1(a141)], ~(hskp7)
  25: ~(c3_1(a141)), [c3_1(a151)], c1_1(a141), ~(c1_1(a151)), ~(c2_1(a141)), ~(
c2_1(a151)), ~(ndr1_0)
  26: [~(c1_1(a141))], ~(hskp7)
  27: c3_1(a136), ~(c3_1(a141)), ~(c1_1(a136)), [c1_1(a141)], ~(c2_1(a136)), ~(
c2_1(a141)), ~(ndr1_0)
  28: c0_1(a151), ~(c3_1(a151)), ~(c2_1(a151)), [hskp15], hskp16, ~(ndr1_0)

Gamma_52: (resolve)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  18: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  19: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  20: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: [c2_1(a141)], ~(hskp7)
  23: [c0_1(a141)], c1_1(a141), ~(c2_1(a141)), hskp19, hskp20, ~(ndr1_0)
  24: [c3_1(a141)], ~(hskp7)
  25: ~(c3_1(a141)), [c3_1(a151)], c1_1(a141), ~(c1_1(a151)), ~(c2_1(a141)), ~(
c2_1(a151)), ~(ndr1_0)
  26: [~(c1_1(a141))], ~(hskp7)
  27: [c3_1(a136)], ~(c3_1(a141)), ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a141)), ~(
hskp7), ~(ndr1_0)
  28: c0_1(a151), ~(c3_1(a151)), ~(c2_1(a151)), [hskp15], hskp16, ~(ndr1_0)

Gamma_53: (extend-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  18: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  19: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  20: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: [c2_1(a141)], ~(hskp7)
  23: [c0_1(a141)], c1_1(a141), ~(c2_1(a141)), hskp19, hskp20, ~(ndr1_0)
  24: [c3_1(a141)], ~(hskp7)
  25: ~(c3_1(a141)), [c3_1(a151)], c1_1(a141), ~(c1_1(a151)), ~(c2_1(a141)), ~(
c2_1(a151)), ~(ndr1_0)
  26: [~(c1_1(a141))], ~(hskp7)
  27: c3_1(a136), [~(c3_1(a141))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a141)), ~(
hskp7), ~(ndr1_0)
  28: c0_1(a151), ~(c3_1(a151)), ~(c2_1(a151)), [hskp15], hskp16, ~(ndr1_0)

Gamma_54: (move)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  18: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  19: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  20: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: [c2_1(a141)], ~(hskp7)
  23: [c0_1(a141)], c1_1(a141), ~(c2_1(a141)), hskp19, hskp20, ~(ndr1_0)
  24: c3_1(a136), [~(c3_1(a141))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a141)), ~(
hskp7), ~(ndr1_0)
  25: [c3_1(a141)], ~(hskp7)
  26: ~(c3_1(a141)), [c3_1(a151)], c1_1(a141), ~(c1_1(a151)), ~(c2_1(a141)), ~(
c2_1(a151)), ~(ndr1_0)
  27: [~(c1_1(a141))], ~(hskp7)
  28: c0_1(a151), ~(c3_1(a151)), ~(c2_1(a151)), [hskp15], hskp16, ~(ndr1_0)

Gamma_55: (resolve)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  18: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  19: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  20: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: [c2_1(a141)], ~(hskp7)
  23: [c0_1(a141)], c1_1(a141), ~(c2_1(a141)), hskp19, hskp20, ~(ndr1_0)
  24: c3_1(a136), [~(c3_1(a141))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a141)), ~(
hskp7), ~(ndr1_0)
  25: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a141)), [~(hskp7)], ~(
ndr1_0)
  26: [~(c1_1(a141))], ~(hskp7)

Gamma_56: (extend-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  18: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  19: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  20: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: [c2_1(a141)], ~(hskp7)
  23: [c0_1(a141)], c1_1(a141), ~(c2_1(a141)), hskp19, hskp20, ~(ndr1_0)
  24: c3_1(a136), [~(c3_1(a141))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a141)), ~(
hskp7), ~(ndr1_0)
  25: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [~(c2_1(a141))], ~(hskp7), ~(
ndr1_0)
  26: [~(c1_1(a141))], ~(hskp7)

Gamma_57: (move)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  18: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  19: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  20: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [~(c2_1(a141))], ~(hskp7), ~(
ndr1_0)
  23: [c2_1(a141)], ~(hskp7)
  24: [c0_1(a141)], c1_1(a141), ~(c2_1(a141)), hskp19, hskp20, ~(ndr1_0)
  25: c3_1(a136), [~(c3_1(a141))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a141)), ~(
hskp7), ~(ndr1_0)
  26: [~(c1_1(a141))], ~(hskp7)

Gamma_58: (resolve)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  18: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  19: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  20: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [~(c2_1(a141))], ~(hskp7), ~(
ndr1_0)
  23: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [~(hskp7)], ~(ndr1_0)
  24: [~(c1_1(a141))], ~(hskp7)

Gamma_59: (extend-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  18: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  19: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  20: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [~(c2_1(a141))], ~(hskp7), ~(
ndr1_0)
  23: [c3_1(a136)], ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp7), ~(ndr1_0)
  24: [~(c1_1(a141))], ~(hskp7)

Gamma_60: (resolve)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  18: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  19: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  20: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [~(c2_1(a141))], ~(hskp7), ~(
ndr1_0)
  23: [~(c1_1(a136))], ~(c2_1(a136)), ~(hskp3), ~(hskp7), ~(ndr1_0)
  24: [~(c1_1(a141))], ~(hskp7)

Gamma_61: (extend-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  15: [~(c0_1(a136))], ~(hskp3)
  16: [~(c3_1(a136))], ~(hskp3)
  17: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  18: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  19: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  20: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  21: [~(c1_1(a139))], ~(hskp5)
  22: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [~(c2_1(a141))], ~(hskp7), ~(
ndr1_0)
  23: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  24: [~(c1_1(a141))], ~(hskp7)

Gamma_62: (move)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a148)), ~(c2_1(a148)), [hskp7], hskp8, ~(hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [~(c2_1(a141))], ~(hskp7), ~(
ndr1_0)
  24: [~(c1_1(a141))], ~(hskp7)

Gamma_63: (resolve)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), [~(c1_1(a148))], ~(c2_1(a136)), ~(c2_1(a148)), ~(
hskp3), hskp8, ~(hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)

Gamma_64: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)

Gamma_65: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [c3_1(a142)], ~(hskp8)

Gamma_66: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [c3_1(a142)], ~(hskp8)
  24: [c0_1(a142)], ~(c3_1(a142)), c2_1(a142), hskp0, hskp1, ~(ndr1_0)

Gamma_67: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [c3_1(a142)], ~(hskp8)
  24: [c0_1(a142)], ~(c3_1(a142)), c2_1(a142), hskp0, hskp1, ~(ndr1_0)
  25: ~(c0_1(a142)), ~(c3_1(a142)), [c1_1(a142)], hskp2, hskp17, ~(ndr1_0)

Gamma_68: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [c3_1(a142)], ~(hskp8)
  24: [c0_1(a142)], ~(c3_1(a142)), c2_1(a142), hskp0, hskp1, ~(ndr1_0)
  25: ~(c0_1(a142)), ~(c3_1(a142)), [c1_1(a142)], hskp2, hskp17, ~(ndr1_0)
  26: ~(c0_1(a139)), c3_1(a139), ~(c3_1(a142)), ~(c1_1(a142)), ~(c2_1(a139)), [c2_1(
a142)], hskp12, ~(ndr1_0)

Gamma_69: (extend-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [c3_1(a142)], ~(hskp8)
  24: [c0_1(a142)], ~(c3_1(a142)), c2_1(a142), hskp0, hskp1, ~(ndr1_0)
  25: ~(c0_1(a142)), ~(c3_1(a142)), [c1_1(a142)], hskp2, hskp17, ~(ndr1_0)
  26: ~(c0_1(a139)), c3_1(a139), ~(c3_1(a142)), ~(c1_1(a142)), ~(c2_1(a139)), [c2_1(
a142)], hskp12, ~(ndr1_0)
  27: [~(c0_1(a142))], ~(hskp8)

Gamma_70: (move)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [c3_1(a142)], ~(hskp8)
  24: [~(c0_1(a142))], ~(hskp8)
  25: [c0_1(a142)], ~(c3_1(a142)), c2_1(a142), hskp0, hskp1, ~(ndr1_0)
  26: ~(c0_1(a142)), ~(c3_1(a142)), [c1_1(a142)], hskp2, hskp17, ~(ndr1_0)
  27: ~(c0_1(a139)), c3_1(a139), ~(c3_1(a142)), ~(c1_1(a142)), ~(c2_1(a139)), [c2_1(
a142)], hskp12, ~(ndr1_0)

Gamma_71: (resolve)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [c3_1(a142)], ~(hskp8)
  24: [~(c0_1(a142))], ~(hskp8)
  25: [~(c3_1(a142))], c2_1(a142), hskp0, hskp1, ~(hskp8), ~(ndr1_0)

Gamma_72: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [c3_1(a142)], ~(hskp8)
  24: [~(c0_1(a142))], ~(hskp8)
  25: ~(c3_1(a142)), [c2_1(a142)], hskp0, hskp1, ~(hskp8), ~(ndr1_0)

Gamma_73: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [c3_1(a142)], ~(hskp8)
  24: [~(c0_1(a142))], ~(hskp8)
  25: ~(c3_1(a142)), [c2_1(a142)], hskp0, hskp1, ~(hskp8), ~(ndr1_0)
  26: ~(c3_1(a142)), [c3_1(a151)], c1_1(a142), ~(c1_1(a151)), ~(c2_1(a142)), ~(
c2_1(a151)), ~(ndr1_0)

Gamma_74: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [c3_1(a142)], ~(hskp8)
  24: [~(c0_1(a142))], ~(hskp8)
  25: ~(c3_1(a142)), [c2_1(a142)], hskp0, hskp1, ~(hskp8), ~(ndr1_0)
  26: ~(c3_1(a142)), [c3_1(a151)], c1_1(a142), ~(c1_1(a151)), ~(c2_1(a142)), ~(
c2_1(a151)), ~(ndr1_0)
  27: c3_1(a136), ~(c3_1(a142)), ~(c1_1(a136)), [c1_1(a142)], ~(c2_1(a136)), ~(
c2_1(a142)), ~(ndr1_0)

Gamma_75: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [c3_1(a142)], ~(hskp8)
  24: [~(c0_1(a142))], ~(hskp8)
  25: ~(c3_1(a142)), [c2_1(a142)], hskp0, hskp1, ~(hskp8), ~(ndr1_0)
  26: ~(c3_1(a142)), [c3_1(a151)], c1_1(a142), ~(c1_1(a151)), ~(c2_1(a142)), ~(
c2_1(a151)), ~(ndr1_0)
  27: c3_1(a136), ~(c3_1(a142)), ~(c1_1(a136)), [c1_1(a142)], ~(c2_1(a136)), ~(
c2_1(a142)), ~(ndr1_0)
  28: c0_1(a142), ~(c3_1(a142)), ~(c2_1(a142)), [hskp15], hskp16, ~(ndr1_0)

Gamma_76: (extend-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [c3_1(a142)], ~(hskp8)
  24: [~(c0_1(a142))], ~(hskp8)
  25: ~(c3_1(a142)), [c2_1(a142)], hskp0, hskp1, ~(hskp8), ~(ndr1_0)
  26: ~(c3_1(a142)), [c3_1(a151)], c1_1(a142), ~(c1_1(a151)), ~(c2_1(a142)), ~(
c2_1(a151)), ~(ndr1_0)
  27: c3_1(a136), ~(c3_1(a142)), ~(c1_1(a136)), [c1_1(a142)], ~(c2_1(a136)), ~(
c2_1(a142)), ~(ndr1_0)
  28: c0_1(a142), ~(c3_1(a142)), ~(c2_1(a142)), [hskp15], hskp16, ~(ndr1_0)
  29: [~(c3_1(a151))], ~(hskp11)

Gamma_77: (move)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [c3_1(a142)], ~(hskp8)
  24: [~(c0_1(a142))], ~(hskp8)
  25: ~(c3_1(a142)), [c2_1(a142)], hskp0, hskp1, ~(hskp8), ~(ndr1_0)
  26: [~(c3_1(a151))], ~(hskp11)
  27: ~(c3_1(a142)), [c3_1(a151)], c1_1(a142), ~(c1_1(a151)), ~(c2_1(a142)), ~(
c2_1(a151)), ~(ndr1_0)
  28: c3_1(a136), ~(c3_1(a142)), ~(c1_1(a136)), [c1_1(a142)], ~(c2_1(a136)), ~(
c2_1(a142)), ~(ndr1_0)
  29: c0_1(a142), ~(c3_1(a142)), ~(c2_1(a142)), [hskp15], hskp16, ~(ndr1_0)

Gamma_78: (resolve)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [c3_1(a142)], ~(hskp8)
  24: [~(c0_1(a142))], ~(hskp8)
  25: ~(c3_1(a142)), [c2_1(a142)], hskp0, hskp1, ~(hskp8), ~(ndr1_0)
  26: [~(c3_1(a151))], ~(hskp11)
  27: [~(c3_1(a142))], c1_1(a142), ~(c1_1(a151)), ~(c2_1(a142)), ~(c2_1(a151)), ~(
hskp11), ~(ndr1_0)
  28: c3_1(a136), ~(c3_1(a142)), ~(c1_1(a136)), [c1_1(a142)], ~(c2_1(a136)), ~(
c2_1(a142)), ~(ndr1_0)
  29: c0_1(a142), ~(c3_1(a142)), ~(c2_1(a142)), [hskp15], hskp16, ~(ndr1_0)

Gamma_79: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [c3_1(a142)], ~(hskp8)
  24: [~(c0_1(a142))], ~(hskp8)
  25: ~(c3_1(a142)), [c2_1(a142)], hskp0, hskp1, ~(hskp8), ~(ndr1_0)
  26: [~(c3_1(a151))], ~(hskp11)
  27: ~(c3_1(a142)), [c1_1(a142)], ~(c1_1(a151)), ~(c2_1(a142)), ~(c2_1(a151)), ~(
hskp11), ~(ndr1_0)
  28: c0_1(a142), ~(c3_1(a142)), ~(c2_1(a142)), [hskp15], hskp16, ~(ndr1_0)

Gamma_80: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [c3_1(a142)], ~(hskp8)
  24: [~(c0_1(a142))], ~(hskp8)
  25: ~(c3_1(a142)), [c2_1(a142)], hskp0, hskp1, ~(hskp8), ~(ndr1_0)
  26: [~(c3_1(a151))], ~(hskp11)
  27: ~(c3_1(a142)), [c1_1(a142)], ~(c1_1(a151)), ~(c2_1(a142)), ~(c2_1(a151)), ~(
hskp11), ~(ndr1_0)
  28: c0_1(a142), ~(c3_1(a142)), ~(c2_1(a142)), [hskp15], hskp16, ~(ndr1_0)
  29: [c1_1(a159)], ~(hskp14)

Gamma_81: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [c3_1(a142)], ~(hskp8)
  24: [~(c0_1(a142))], ~(hskp8)
  25: ~(c3_1(a142)), [c2_1(a142)], hskp0, hskp1, ~(hskp8), ~(ndr1_0)
  26: [~(c3_1(a151))], ~(hskp11)
  27: ~(c3_1(a142)), [c1_1(a142)], ~(c1_1(a151)), ~(c2_1(a142)), ~(c2_1(a151)), ~(
hskp11), ~(ndr1_0)
  28: c0_1(a142), ~(c3_1(a142)), ~(c2_1(a142)), [hskp15], hskp16, ~(ndr1_0)
  29: [c1_1(a159)], ~(hskp14)
  30: [c0_1(a159)], c3_1(a139), c1_1(a139), ~(c1_1(a159)), ~(c2_1(a139)), c2_1(
a159), hskp21, ~(ndr1_0)

Gamma_82: (extend-no-conflict)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [c3_1(a142)], ~(hskp8)
  24: [~(c0_1(a142))], ~(hskp8)
  25: ~(c3_1(a142)), [c2_1(a142)], hskp0, hskp1, ~(hskp8), ~(ndr1_0)
  26: [~(c3_1(a151))], ~(hskp11)
  27: ~(c3_1(a142)), [c1_1(a142)], ~(c1_1(a151)), ~(c2_1(a142)), ~(c2_1(a151)), ~(
hskp11), ~(ndr1_0)
  28: c0_1(a142), ~(c3_1(a142)), ~(c2_1(a142)), [hskp15], hskp16, ~(ndr1_0)
  29: [c1_1(a159)], ~(hskp14)
  30: [c0_1(a159)], c3_1(a139), c1_1(a139), ~(c1_1(a159)), ~(c2_1(a139)), c2_1(
a159), hskp21, ~(ndr1_0)
  31: [c2_1(a159)], ~(hskp14)
  0: [hskp5], hskp6, hskp18
  1: [c2_1(a139)], ~(hskp5)
  2: [c0_1(a139)], ~(hskp5)
  3: [hskp22], hskp23, hskp24
  4: [c1_1(a148)], ~(hskp22)
  5: [c2_1(a148)], ~(hskp22)
  6: [hskp11], hskp25, hskp26
  7: [c1_1(a151)], ~(hskp11)
  8: [hskp3], hskp13, hskp27
  9: [c2_1(a136)], ~(hskp3)
  10: ~(hskp3), [ndr1_0]
  11: [~(c0_1(a151))], ~(hskp11)
  12: c3_1(a136), [c1_1(a136)], ~(c1_1(a151)), ~(c2_1(a136)), c2_1(a151), ~(
hskp11), hskp21, ~(ndr1_0)
  13: [~(c3_1(a148))], ~(hskp22)
  14: ~(c1_1(a136)), ~(c2_1(a136)), ~(hskp3), [~(hskp7)], ~(ndr1_0)
  15: ~(c1_1(a136)), ~(c1_1(a148)), ~(c2_1(a136)), ~(c2_1(a148)), ~(hskp3), [hskp8], ~(
hskp22), ~(ndr1_0)
  16: [~(c0_1(a136))], ~(hskp3)
  17: [~(c3_1(a136))], ~(hskp3)
  18: c3_1(a136), ~(c1_1(a136)), ~(c2_1(a136)), [hskp9], hskp10, ~(ndr1_0)
  19: c0_1(a136), c3_1(a136), ~(c1_1(a136)), [hskp14], hskp28, ~(ndr1_0)
  20: c3_1(a136), [~(c3_1(a139))], ~(c1_1(a136)), ~(c2_1(a136)), ~(c2_1(a139)), ~(
hskp5), ~(ndr1_0)
  21: c0_1(a151), c3_1(a136), ~(c1_1(a136)), c1_1(a139), ~(c1_1(a151)), ~(
c2_1(a136)), ~(c2_1(a139)), [c2_1(a151)], ~(hskp5), hskp21, ~(ndr1_0)
  22: [~(c1_1(a139))], ~(hskp5)
  23: [c3_1(a142)], ~(hskp8)
  24: [~(c0_1(a142))], ~(hskp8)
  25: ~(c3_1(a142)), [c2_1(a142)], hskp0, hskp1, ~(hskp8), ~(ndr1_0)
  26: [~(c3_1(a151))], ~(hskp11)
  27: ~(c3_1(a142)), [c1_1(a142)], ~(c1_1(a151)), ~(c2_1(a142)), ~(c2_1(a151)), ~(
hskp11), ~(ndr1_0)
  28: c0_1(a142), ~(c3_1(a142)), ~(c2_1(a142)), [hskp15], hskp16, ~(ndr1_0)
  29: [c1_1(a159)], ~(hskp14)
  30: [c0_1(a159)], c3_1(a139), c1_1(a139), ~(c1_1(a159)), ~(c2_1(a139)), c2_1(
a159), hskp21, ~(ndr1_0)
  31: [c2_1(a159)], ~(hskp14)

SZS status Satisfiable