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

------ Parsing...successful


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

Gamma_0: (extend-no-conflict)
  0: [hskp3], hskp13, hskp27

Gamma_1: (extend-no-conflict)
  0: [hskp3], hskp13, hskp27
  1: [c2_1(a136)], ~(hskp3)

Gamma_2: (extend-no-conflict)
  0: [hskp3], hskp13, hskp27
  1: [c2_1(a136)], ~(hskp3)
  2: [hskp11], hskp25, hskp26

Gamma_3: (extend-no-conflict)
  0: [hskp3], hskp13, hskp27
  1: [c2_1(a136)], ~(hskp3)
  2: [hskp11], hskp25, hskp26
  3: [c1_1(a151)], ~(hskp11)

Gamma_4: (extend-no-conflict)
  0: [hskp3], hskp13, hskp27
  1: [c2_1(a136)], ~(hskp3)
  2: [hskp11], hskp25, hskp26
  3: [c1_1(a151)], ~(hskp11)
  4: [hskp22], hskp23, hskp24

Gamma_5: (extend-no-conflict)
  0: [hskp3], hskp13, hskp27
  1: [c2_1(a136)], ~(hskp3)
  2: [hskp11], hskp25, hskp26
  3: [c1_1(a151)], ~(hskp11)
  4: [hskp22], hskp23, hskp24
  5: [c2_1(a148)], ~(hskp22)

Gamma_6: (extend-no-conflict)
  0: [hskp3], hskp13, hskp27
  1: [c2_1(a136)], ~(hskp3)
  2: [hskp11], hskp25, hskp26
  3: [c1_1(a151)], ~(hskp11)
  4: [hskp22], hskp23, hskp24
  5: [c2_1(a148)], ~(hskp22)
  6: [c1_1(a148)], ~(hskp22)

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

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

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

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

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

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

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

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

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

Gamma_16: (move)
  0: [hskp3], hskp13, hskp27
  1: [c2_1(a136)], ~(hskp3)
  2: [hskp11], hskp25, hskp26
  3: [c1_1(a151)], ~(hskp11)
  4: [hskp22], hskp23, hskp24
  5: [c2_1(a148)], ~(hskp22)
  6: [c1_1(a148)], ~(hskp22)
  7: [hskp5], hskp6, hskp18
  8: [c0_1(a139)], ~(hskp5)
  9: [c2_1(a139)], ~(hskp5)
  10: ~(hskp3), [ndr1_0]
  11: [c0_1(a151)], c3_1(a136), ~(c2_1(a136)), c2_1(a151), c1_1(a136), ~(
c1_1(a151)), hskp21, ~(ndr1_0)
  12: [c3_1(a148)], ~(c2_1(a148)), ~(c1_1(a148)), hskp9, hskp10, ~(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)], ~(c2_1(a136)), c1_1(a136), hskp19, hskp20, ~(ndr1_0)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

SZS status Satisfiable