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

------ Parsing...successful


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

Gamma_0: (extend-no-conflict)
  0: [q_3], u_17

Gamma_1: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16

Gamma_2: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)

Gamma_3: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)

Gamma_4: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]

Gamma_5: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]

Gamma_6: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)

Gamma_7: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3

Gamma_8: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]

Gamma_9: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)

Gamma_10: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]

Gamma_11: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)

Gamma_12: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]

Gamma_13: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(u_3), [p_0]

Gamma_14: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(u_3), [p_0]
  14: ~(q_0), ~(p_0), [u_1]

Gamma_15: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(u_3), [p_0]
  14: ~(q_0), ~(p_0), [u_1]
  15: [p_2], u_14

Gamma_16: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(u_3), [p_0]
  14: ~(q_0), ~(p_0), [u_1]
  15: [p_2], u_14
  16: [u_11], p_4, ~(p_2)

Gamma_17: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(u_3), [p_0]
  14: ~(q_0), ~(p_0), [u_1]
  15: [p_2], u_14
  16: [u_11], p_4, ~(p_2)
  17: ~(u_11), [p_4]

Gamma_18: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(u_3), [p_0]
  14: ~(q_0), ~(p_0), [u_1]
  15: [p_2], u_14
  16: [u_11], p_4, ~(p_2)
  17: ~(u_11), [p_4]
  18: [~(u_1)]

Gamma_19: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(u_3), [p_0]
  14: [~(u_1)]
  15: ~(q_0), ~(p_0), [u_1]
  16: [p_2], u_14
  17: [u_11], p_4, ~(p_2)
  18: ~(u_11), [p_4]

Gamma_20: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(u_3), [p_0]
  14: [~(u_1)]
  15: [~(q_0)], ~(p_0)
  16: [p_2], u_14
  17: [u_11], p_4, ~(p_2)
  18: ~(u_11), [p_4]

Gamma_21: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(u_3), [p_0]
  14: [~(u_1)]
  15: ~(q_0), [~(p_0)]
  16: [p_2], u_14
  17: [u_11], p_4, ~(p_2)
  18: ~(u_11), [p_4]

Gamma_22: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(q_0), [~(p_0)]
  14: ~(u_3), [p_0]
  15: [~(u_1)]
  16: [p_2], u_14
  17: [u_11], p_4, ~(p_2)
  18: ~(u_11), [p_4]

Gamma_23: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(q_0), [~(p_0)]
  14: ~(q_0), [~(u_3)]
  15: [~(u_1)]
  16: [p_2], u_14
  17: [u_11], p_4, ~(p_2)
  18: ~(u_11), [p_4]

Gamma_24: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(q_0), [~(p_0)]
  14: [~(q_0)], ~(u_3)
  15: [~(u_1)]
  16: [p_2], u_14
  17: [u_11], p_4, ~(p_2)
  18: ~(u_11), [p_4]

Gamma_25: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: [~(q_0)], ~(u_3)
  13: ~(u_6), [q_0]
  14: ~(q_0), [~(p_0)]
  15: [~(u_1)]
  16: [p_2], u_14
  17: [u_11], p_4, ~(p_2)
  18: ~(u_11), [p_4]

Gamma_26: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: [~(q_0)], ~(u_3)
  13: [~(u_6)], ~(u_3)
  14: [~(u_1)]
  15: [p_2], u_14
  16: [u_11], p_4, ~(p_2)
  17: ~(u_11), [p_4]

Gamma_27: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: [~(q_0)], ~(u_3)
  13: ~(u_6), [~(u_3)]
  14: [~(u_1)]
  15: [p_2], u_14
  16: [u_11], p_4, ~(p_2)
  17: ~(u_11), [p_4]

Gamma_28: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), [u_3], p_0, ~(q_2)
  13: [~(q_0)], ~(u_3)
  14: [~(u_1)]
  15: [p_2], u_14
  16: [u_11], p_4, ~(p_2)
  17: ~(u_11), [p_4]

Gamma_29: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: [~(q_1)], ~(u_6), p_0, ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]

Gamma_30: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]

Gamma_31: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: ~(q_1), [u_7], q_0, ~(p_2)

Gamma_32: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: ~(q_1), [u_7], q_0, ~(p_2)
  18: ~(u_7), [q_0]

Gamma_33: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: ~(q_1), [u_7], q_0, ~(p_2)
  18: ~(u_7), [q_0]
  19: [~(q_0)], ~(p_0), u_1

Gamma_34: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: ~(q_1), [u_7], q_0, ~(p_2)
  18: [~(q_0)], ~(p_0), u_1
  19: ~(u_7), [q_0]

Gamma_35: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: ~(q_1), [u_7], q_0, ~(p_2)
  18: [~(q_0)], ~(p_0), u_1
  19: [~(u_7)], ~(p_0), u_1

Gamma_36: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: ~(q_1), [u_7], q_0, ~(p_2)
  18: [~(q_0)], ~(p_0), u_1
  19: [~(u_7)], ~(p_0), u_1

Gamma_37: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: [~(u_7)], ~(p_0), u_1
  18: ~(q_1), [u_7], q_0, ~(p_2)
  19: [~(q_0)], ~(p_0), u_1

Gamma_38: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_1)], q_0, ~(p_0), ~(p_2), u_1
  19: [~(q_0)], ~(p_0), u_1

Gamma_39: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: [~(u_7)], ~(p_0), u_1
  18: ~(q_1), [q_0], ~(p_0), ~(p_2), u_1
  19: [~(q_0)], ~(p_0), u_1

Gamma_40: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1
  19: ~(q_1), [q_0], ~(p_0), ~(p_2), u_1

Gamma_41: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1
  19: [~(q_1)], ~(p_0), ~(p_2), u_1

Gamma_42: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1
  19: ~(q_1), ~(p_0), [~(p_2)], u_1

Gamma_43: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: [p_2], u_14
  16: [u_11], p_4, ~(p_2)
  17: ~(u_11), [p_4]
  18: [~(u_7)], ~(p_0), u_1
  19: [~(q_0)], ~(p_0), u_1

Gamma_44: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: ~(q_1), ~(p_0), [u_14], u_1
  16: [~(u_7)], ~(p_0), u_1
  17: [~(q_0)], ~(p_0), u_1

Gamma_45: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: ~(q_1), ~(p_0), [u_14], u_1
  16: [~(u_7)], ~(p_0), u_1
  17: [~(q_0)], ~(p_0), u_1

Gamma_46: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: ~(q_1), ~(p_0), [u_14], u_1
  16: [~(u_7)], ~(p_0), u_1
  17: [~(q_0)], ~(p_0), u_1
  18: p_2, [~(u_14)]

Gamma_47: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: p_2, [~(u_14)]
  16: ~(q_1), ~(p_0), [u_14], u_1
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1

Gamma_48: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: p_2, [~(u_14)]
  16: [~(q_1)], ~(p_0), p_2, u_1
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1

Gamma_49: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: p_2, [~(u_14)]
  16: ~(q_1), ~(p_0), [p_2], u_1
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1

Gamma_50: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: p_2, [~(u_14)]
  16: [~(q_1)], ~(p_0), u_1
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1

Gamma_51: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: p_2, [~(u_14)]
  16: ~(q_1), ~(p_0), [u_1]
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1

Gamma_52: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: p_2, [~(u_14)]
  16: [~(q_1)], ~(p_0)
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1

Gamma_53: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: p_2, [~(u_14)]
  16: ~(q_1), [~(p_0)]
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1

Gamma_54: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), [~(p_0)]
  13: ~(q_1), ~(u_6), [p_0], ~(q_2)
  14: [~(u_1)]
  15: ~(q_1), ~(p_0), [~(p_2)], u_1
  16: p_2, [~(u_14)]
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1

Gamma_55: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), [~(p_0)]
  13: [~(q_1)], ~(u_6), ~(q_2)
  14: [~(u_1)]

Gamma_56: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), [~(p_0)]
  13: [~(q_1)], ~(u_6), ~(q_2)
  14: [~(u_1)]

Gamma_57: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: [~(q_1)], ~(u_6), ~(q_2)
  11: ~(u_9), [q_1]
  12: ~(u_6), [~(u_3)]
  13: ~(q_1), [~(p_0)]
  14: [~(u_1)]

Gamma_58: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: [~(q_1)], ~(u_6), ~(q_2)
  11: [~(u_9)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_59: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: [~(q_1)], ~(u_6), ~(q_2)
  11: [~(u_9)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_60: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [~(u_9)], ~(u_6), ~(q_2)
  10: [u_9], q_1, ~(q_2), ~(p_3)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_61: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [~(u_9)], ~(u_6), ~(q_2)
  10: [q_1], ~(u_6), ~(q_2), ~(p_3)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_62: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [~(u_9)], ~(u_6), ~(q_2)
  10: [q_1], ~(u_6), ~(q_2), ~(p_3)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_63: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [~(u_9)], ~(u_6), ~(q_2)
  10: [~(q_1)], ~(u_6), ~(q_2)
  11: [q_1], ~(u_6), ~(q_2), ~(p_3)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_64: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [~(u_9)], ~(u_6), ~(q_2)
  10: [~(q_1)], ~(u_6), ~(q_2)
  11: [~(u_6)], ~(q_2), ~(p_3)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_65: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [~(u_9)], ~(u_6), ~(q_2)
  10: [~(q_1)], ~(u_6), ~(q_2)
  11: ~(u_6), ~(q_2), [~(p_3)]
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_66: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_6), ~(q_2), [~(p_3)]
  9: ~(u_10), [p_3]
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_67: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_6), ~(q_2), [~(p_3)]
  9: [~(u_10)], ~(u_6), ~(q_2)
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_68: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_6), ~(q_2), [~(p_3)]
  9: [~(u_10)], ~(u_6), ~(q_2)
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_69: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [~(u_10)], ~(u_6), ~(q_2)
  8: [u_10], ~(p_1), p_3
  9: ~(u_6), ~(q_2), [~(p_3)]
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_70: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [~(u_10)], ~(u_6), ~(q_2)
  8: ~(u_6), [~(p_1)], ~(q_2), p_3
  9: ~(u_6), ~(q_2), [~(p_3)]
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_71: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [~(u_10)], ~(u_6), ~(q_2)
  8: ~(u_6), ~(p_1), ~(q_2), [p_3]
  9: ~(u_6), ~(q_2), [~(p_3)]
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_72: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [~(u_10)], ~(u_6), ~(q_2)
  8: ~(u_6), ~(q_2), [~(p_3)]
  9: ~(u_6), ~(p_1), ~(q_2), [p_3]
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_73: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [~(u_10)], ~(u_6), ~(q_2)
  8: ~(u_6), ~(q_2), [~(p_3)]
  9: [~(u_6)], ~(p_1), ~(q_2)
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_74: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [~(u_10)], ~(u_6), ~(q_2)
  8: ~(u_6), ~(q_2), [~(p_3)]
  9: [~(u_6)], ~(p_1), ~(q_2)
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_75: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [u_6], q_0, ~(p_1), ~(q_2)
  8: [~(u_10)], ~(u_6), ~(q_2)
  9: ~(u_6), ~(q_2), [~(p_3)]
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_76: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]

Gamma_77: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]

Gamma_78: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3

Gamma_79: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]

Gamma_80: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)

Gamma_81: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]

Gamma_82: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_1), [u_3], p_0, ~(q_2)

Gamma_83: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_1), [u_3], p_0, ~(q_2)
  14: ~(u_3), [p_0]

Gamma_84: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_1), [u_3], p_0, ~(q_2)
  14: ~(u_3), [p_0]
  15: ~(q_0), [~(p_0)], u_1

Gamma_85: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_1), [u_3], p_0, ~(q_2)
  14: ~(q_0), [~(p_0)], u_1
  15: ~(u_3), [p_0]

Gamma_86: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_1), [u_3], p_0, ~(q_2)
  14: ~(q_0), [~(p_0)], u_1
  15: ~(q_0), [~(u_3)], u_1

Gamma_87: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_1), [u_3], p_0, ~(q_2)
  14: ~(q_0), [~(p_0)], u_1
  15: ~(q_0), [~(u_3)], u_1

Gamma_88: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_0), [~(u_3)], u_1
  14: ~(q_1), [u_3], p_0, ~(q_2)
  15: ~(q_0), [~(p_0)], u_1

Gamma_89: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_0), [~(u_3)], u_1
  14: [~(q_1)], ~(q_0), p_0, ~(q_2), u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_90: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_0), [~(u_3)], u_1
  14: ~(q_1), ~(q_0), [p_0], ~(q_2), u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_91: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_0), [~(u_3)], u_1
  14: ~(q_0), [~(p_0)], u_1
  15: ~(q_1), ~(q_0), [p_0], ~(q_2), u_1

Gamma_92: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_0), [~(u_3)], u_1
  14: ~(q_0), [~(p_0)], u_1
  15: [~(q_1)], ~(q_0), ~(q_2), u_1

Gamma_93: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_0), [~(u_3)], u_1
  14: ~(q_0), [~(p_0)], u_1
  15: [~(q_1)], ~(q_0), ~(q_2), u_1

Gamma_94: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: [~(q_1)], ~(q_0), ~(q_2), u_1
  13: ~(u_9), [q_1]
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_95: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: [~(q_1)], ~(q_0), ~(q_2), u_1
  13: [~(u_9)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_96: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: [~(q_1)], ~(q_0), ~(q_2), u_1
  13: [~(u_9)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_97: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [~(u_9)], ~(q_0), ~(q_2), u_1
  12: [u_9], q_1, ~(q_2), ~(p_3)
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_98: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [~(u_9)], ~(q_0), ~(q_2), u_1
  12: [q_1], ~(q_0), ~(q_2), ~(p_3), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_99: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [~(u_9)], ~(q_0), ~(q_2), u_1
  12: [q_1], ~(q_0), ~(q_2), ~(p_3), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_100: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [~(u_9)], ~(q_0), ~(q_2), u_1
  12: [~(q_1)], ~(q_0), ~(q_2), u_1
  13: [q_1], ~(q_0), ~(q_2), ~(p_3), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_101: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [~(u_9)], ~(q_0), ~(q_2), u_1
  12: [~(q_1)], ~(q_0), ~(q_2), u_1
  13: [~(q_0)], ~(q_2), ~(p_3), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_102: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [~(u_9)], ~(q_0), ~(q_2), u_1
  12: [~(q_1)], ~(q_0), ~(q_2), u_1
  13: ~(q_0), ~(q_2), [~(p_3)], u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_103: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(q_0), ~(q_2), [~(p_3)], u_1
  11: ~(u_10), [p_3]
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_104: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(q_0), ~(q_2), [~(p_3)], u_1
  11: [~(u_10)], ~(q_0), ~(q_2), u_1
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_105: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(q_0), ~(q_2), [~(p_3)], u_1
  11: [~(u_10)], ~(q_0), ~(q_2), u_1
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_106: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [~(u_10)], ~(q_0), ~(q_2), u_1
  10: [u_10], ~(p_1), p_3
  11: ~(q_0), ~(q_2), [~(p_3)], u_1
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_107: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [~(u_10)], ~(q_0), ~(q_2), u_1
  10: ~(q_0), [~(p_1)], ~(q_2), p_3, u_1
  11: ~(q_0), ~(q_2), [~(p_3)], u_1
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_108: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [~(u_10)], ~(q_0), ~(q_2), u_1
  10: ~(q_0), ~(p_1), ~(q_2), [p_3], u_1
  11: ~(q_0), ~(q_2), [~(p_3)], u_1
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_109: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [~(u_10)], ~(q_0), ~(q_2), u_1
  10: ~(q_0), ~(q_2), [~(p_3)], u_1
  11: ~(q_0), ~(p_1), ~(q_2), [p_3], u_1
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_110: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [~(u_10)], ~(q_0), ~(q_2), u_1
  10: ~(q_0), ~(q_2), [~(p_3)], u_1
  11: [~(q_0)], ~(p_1), ~(q_2), u_1
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_111: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [~(u_10)], ~(q_0), ~(q_2), u_1
  10: ~(q_0), ~(q_2), [~(p_3)], u_1
  11: ~(q_0), ~(p_1), ~(q_2), [u_1]
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_112: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [~(u_10)], ~(q_0), ~(q_2), u_1
  10: ~(q_0), ~(q_2), [~(p_3)], u_1
  11: [~(q_0)], ~(p_1), ~(q_2)
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_113: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [~(u_10)], ~(q_0), ~(q_2), u_1
  10: ~(q_0), ~(q_2), [~(p_3)], u_1
  11: [~(q_0)], ~(p_1), ~(q_2)
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_114: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [~(q_0)], ~(p_1), ~(q_2)
  8: [q_0], ~(p_1), ~(q_2)
  9: [~(u_1)]
  10: [~(u_10)], ~(q_0), ~(q_2), u_1
  11: ~(q_0), ~(q_2), [~(p_3)], u_1
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_115: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [~(q_0)], ~(p_1), ~(q_2)
  8: [~(p_1)], ~(q_2)
  9: [~(u_1)]

Gamma_116: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [~(q_0)], ~(p_1), ~(q_2)
  8: [~(p_1)], ~(q_2)
  9: [~(u_1)]

Gamma_117: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: [~(p_1)], ~(q_2)
  6: ~(u_5), [p_1]
  7: [~(u_6)], ~(p_1), ~(q_2)
  8: [~(q_0)], ~(p_1), ~(q_2)
  9: [~(u_1)]

Gamma_118: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: [~(p_1)], ~(q_2)
  6: [~(u_5)], ~(q_2)
  7: [~(u_1)]

Gamma_119: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: [~(p_1)], ~(q_2)
  6: [~(u_5)], ~(q_2)
  7: [~(u_1)]

Gamma_120: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [~(u_5)], ~(q_2)
  3: [u_5], p_1, ~(q_3), ~(q_2)
  4: [u_13], q_4, ~(q_2)
  5: ~(u_13), [q_4]
  6: [~(p_1)], ~(q_2)
  7: [~(u_1)]

Gamma_121: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [~(u_5)], ~(q_2)
  3: [p_1], ~(q_3), ~(q_2)
  4: [u_13], q_4, ~(q_2)
  5: ~(u_13), [q_4]
  6: [~(p_1)], ~(q_2)
  7: [~(u_1)]

Gamma_122: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [~(u_5)], ~(q_2)
  3: [p_1], ~(q_3), ~(q_2)
  4: [u_13], q_4, ~(q_2)
  5: ~(u_13), [q_4]
  6: [~(p_1)], ~(q_2)
  7: [~(u_1)]

Gamma_123: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [~(u_5)], ~(q_2)
  3: [~(p_1)], ~(q_2)
  4: [p_1], ~(q_3), ~(q_2)
  5: [u_13], q_4, ~(q_2)
  6: ~(u_13), [q_4]
  7: [~(u_1)]

Gamma_124: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [~(u_5)], ~(q_2)
  3: [~(p_1)], ~(q_2)
  4: [~(q_3)], ~(q_2)
  5: [u_13], q_4, ~(q_2)
  6: ~(u_13), [q_4]
  7: [~(u_1)]

Gamma_125: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [~(u_5)], ~(q_2)
  3: [~(p_1)], ~(q_2)
  4: ~(q_3), [~(q_2)]
  5: [u_13], q_4, ~(q_2)
  6: ~(u_13), [q_4]
  7: [~(u_1)]

Gamma_126: (move)
  0: [q_3], u_17
  1: ~(q_3), [~(q_2)]
  2: [q_2], u_16
  3: [~(u_5)], ~(q_2)
  4: [~(p_1)], ~(q_2)
  5: [u_13], q_4, ~(q_2)
  6: ~(u_13), [q_4]
  7: [~(u_1)]

Gamma_127: (resolve)
  0: [q_3], u_17
  1: ~(q_3), [~(q_2)]
  2: ~(q_3), [u_16]
  3: [~(u_1)]

Gamma_128: (extend-no-conflict)
  0: [q_3], u_17
  1: ~(q_3), [~(q_2)]
  2: ~(q_3), [u_16]
  3: [~(u_1)]

Gamma_129: (extend-conflict)
  0: [q_3], u_17
  1: ~(q_3), [~(q_2)]
  2: ~(q_3), [u_16]
  3: [~(u_1)]
  4: q_2, [~(u_16)]

Gamma_130: (move)
  0: [q_3], u_17
  1: ~(q_3), [~(q_2)]
  2: q_2, [~(u_16)]
  3: ~(q_3), [u_16]
  4: [~(u_1)]

Gamma_131: (resolve)
  0: [q_3], u_17
  1: ~(q_3), [~(q_2)]
  2: q_2, [~(u_16)]
  3: [~(q_3)], q_2
  4: [~(u_1)]

Gamma_132: (extend-conflict)
  0: [q_3], u_17
  1: ~(q_3), [~(q_2)]
  2: q_2, [~(u_16)]
  3: ~(q_3), [q_2]
  4: [~(u_1)]

Gamma_133: (resolve)
  0: [q_3], u_17
  1: ~(q_3), [~(q_2)]
  2: q_2, [~(u_16)]
  3: [~(q_3)]
  4: [~(u_1)]

Gamma_134: (extend-conflict)
  0: [q_3], u_17
  1: ~(q_3), [~(q_2)]
  2: q_2, [~(u_16)]
  3: [~(q_3)]
  4: [~(u_1)]

Gamma_135: (move)
  0: [~(q_3)]
  1: [q_3], u_17
  2: ~(q_3), [~(q_2)]
  3: q_2, [~(u_16)]
  4: [~(u_1)]

Gamma_136: (resolve)
  0: [~(q_3)]
  1: [u_17]
  2: [~(u_1)]

Gamma_137: (extend-no-conflict)
  0: [~(q_3)]
  1: [u_17]
  2: [~(u_1)]

Gamma_138: (extend-conflict)
  0: [~(q_3)]
  1: [u_17]
  2: [~(u_1)]
  3: q_3, [~(u_17)]

Gamma_139: (move)
  0: [~(q_3)]
  1: q_3, [~(u_17)]
  2: [u_17]
  3: [~(u_1)]

Gamma_140: (resolve)
  0: [~(q_3)]
  1: q_3, [~(u_17)]
  2: [q_3]
  3: [~(u_1)]

Gamma_141: (extend-conflict)
  0: [~(q_3)]
  1: q_3, [~(u_17)]
  2: [q_3]
  3: [~(u_1)]

Gamma_142: (resolve)
  0: [~(q_3)]
  1: q_3, [~(u_17)]
  2: []
  3: [~(u_1)]

SZS status Unsatisfiable

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

------ Parsing...successful


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

Gamma_0: (extend-no-conflict)
  0: [q_3], u_17

Gamma_1: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16

Gamma_2: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)

Gamma_3: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)

Gamma_4: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]

Gamma_5: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]

Gamma_6: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)

Gamma_7: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3

Gamma_8: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]

Gamma_9: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)

Gamma_10: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]

Gamma_11: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)

Gamma_12: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]

Gamma_13: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(u_3), [p_0]

Gamma_14: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(u_3), [p_0]
  14: ~(q_0), ~(p_0), [u_1]

Gamma_15: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(u_3), [p_0]
  14: ~(q_0), ~(p_0), [u_1]
  15: [p_2], u_14

Gamma_16: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(u_3), [p_0]
  14: ~(q_0), ~(p_0), [u_1]
  15: [p_2], u_14
  16: [u_11], p_4, ~(p_2)

Gamma_17: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(u_3), [p_0]
  14: ~(q_0), ~(p_0), [u_1]
  15: [p_2], u_14
  16: [u_11], p_4, ~(p_2)
  17: ~(u_11), [p_4]

Gamma_18: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(u_3), [p_0]
  14: ~(q_0), ~(p_0), [u_1]
  15: [p_2], u_14
  16: [u_11], p_4, ~(p_2)
  17: ~(u_11), [p_4]
  18: [~(u_1)]

Gamma_19: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(u_3), [p_0]
  14: [~(u_1)]
  15: ~(q_0), ~(p_0), [u_1]
  16: [p_2], u_14
  17: [u_11], p_4, ~(p_2)
  18: ~(u_11), [p_4]

Gamma_20: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(u_3), [p_0]
  14: [~(u_1)]
  15: [~(q_0)], ~(p_0)
  16: [p_2], u_14
  17: [u_11], p_4, ~(p_2)
  18: ~(u_11), [p_4]

Gamma_21: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(u_3), [p_0]
  14: [~(u_1)]
  15: ~(q_0), [~(p_0)]
  16: [p_2], u_14
  17: [u_11], p_4, ~(p_2)
  18: ~(u_11), [p_4]

Gamma_22: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(q_0), [~(p_0)]
  14: ~(u_3), [p_0]
  15: [~(u_1)]
  16: [p_2], u_14
  17: [u_11], p_4, ~(p_2)
  18: ~(u_11), [p_4]

Gamma_23: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(q_0), [~(p_0)]
  14: ~(q_0), [~(u_3)]
  15: [~(u_1)]
  16: [p_2], u_14
  17: [u_11], p_4, ~(p_2)
  18: ~(u_11), [p_4]

Gamma_24: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: ~(u_6), [q_0]
  13: ~(q_0), [~(p_0)]
  14: [~(q_0)], ~(u_3)
  15: [~(u_1)]
  16: [p_2], u_14
  17: [u_11], p_4, ~(p_2)
  18: ~(u_11), [p_4]

Gamma_25: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: [~(q_0)], ~(u_3)
  13: ~(u_6), [q_0]
  14: ~(q_0), [~(p_0)]
  15: [~(u_1)]
  16: [p_2], u_14
  17: [u_11], p_4, ~(p_2)
  18: ~(u_11), [p_4]

Gamma_26: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: [~(q_0)], ~(u_3)
  13: [~(u_6)], ~(u_3)
  14: [~(u_1)]
  15: [p_2], u_14
  16: [u_11], p_4, ~(p_2)
  17: ~(u_11), [p_4]

Gamma_27: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(q_1), [u_3], p_0, ~(q_2)
  12: [~(q_0)], ~(u_3)
  13: ~(u_6), [~(u_3)]
  14: [~(u_1)]
  15: [p_2], u_14
  16: [u_11], p_4, ~(p_2)
  17: ~(u_11), [p_4]

Gamma_28: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), [u_3], p_0, ~(q_2)
  13: [~(q_0)], ~(u_3)
  14: [~(u_1)]
  15: [p_2], u_14
  16: [u_11], p_4, ~(p_2)
  17: ~(u_11), [p_4]

Gamma_29: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: [~(q_1)], ~(u_6), p_0, ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]

Gamma_30: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]

Gamma_31: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: ~(q_1), [u_7], q_0, ~(p_2)

Gamma_32: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: ~(q_1), [u_7], q_0, ~(p_2)
  18: ~(u_7), [q_0]

Gamma_33: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: ~(q_1), [u_7], q_0, ~(p_2)
  18: ~(u_7), [q_0]
  19: [~(q_0)], ~(p_0), u_1

Gamma_34: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: ~(q_1), [u_7], q_0, ~(p_2)
  18: [~(q_0)], ~(p_0), u_1
  19: ~(u_7), [q_0]

Gamma_35: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: ~(q_1), [u_7], q_0, ~(p_2)
  18: [~(q_0)], ~(p_0), u_1
  19: [~(u_7)], ~(p_0), u_1

Gamma_36: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: ~(q_1), [u_7], q_0, ~(p_2)
  18: [~(q_0)], ~(p_0), u_1
  19: [~(u_7)], ~(p_0), u_1

Gamma_37: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: [~(u_7)], ~(p_0), u_1
  18: ~(q_1), [u_7], q_0, ~(p_2)
  19: [~(q_0)], ~(p_0), u_1

Gamma_38: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_1)], q_0, ~(p_0), ~(p_2), u_1
  19: [~(q_0)], ~(p_0), u_1

Gamma_39: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: [~(u_7)], ~(p_0), u_1
  18: ~(q_1), [q_0], ~(p_0), ~(p_2), u_1
  19: [~(q_0)], ~(p_0), u_1

Gamma_40: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1
  19: ~(q_1), [q_0], ~(p_0), ~(p_2), u_1

Gamma_41: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1
  19: [~(q_1)], ~(p_0), ~(p_2), u_1

Gamma_42: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: [p_2], u_14
  15: [u_11], p_4, ~(p_2)
  16: ~(u_11), [p_4]
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1
  19: ~(q_1), ~(p_0), [~(p_2)], u_1

Gamma_43: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: [p_2], u_14
  16: [u_11], p_4, ~(p_2)
  17: ~(u_11), [p_4]
  18: [~(u_7)], ~(p_0), u_1
  19: [~(q_0)], ~(p_0), u_1

Gamma_44: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: ~(q_1), ~(p_0), [u_14], u_1
  16: [~(u_7)], ~(p_0), u_1
  17: [~(q_0)], ~(p_0), u_1

Gamma_45: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: ~(q_1), ~(p_0), [u_14], u_1
  16: [~(u_7)], ~(p_0), u_1
  17: [~(q_0)], ~(p_0), u_1

Gamma_46: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: ~(q_1), ~(p_0), [u_14], u_1
  16: [~(u_7)], ~(p_0), u_1
  17: [~(q_0)], ~(p_0), u_1
  18: p_2, [~(u_14)]

Gamma_47: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: p_2, [~(u_14)]
  16: ~(q_1), ~(p_0), [u_14], u_1
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1

Gamma_48: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: p_2, [~(u_14)]
  16: [~(q_1)], ~(p_0), p_2, u_1
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1

Gamma_49: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: p_2, [~(u_14)]
  16: ~(q_1), ~(p_0), [p_2], u_1
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1

Gamma_50: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: p_2, [~(u_14)]
  16: [~(q_1)], ~(p_0), u_1
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1

Gamma_51: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: p_2, [~(u_14)]
  16: ~(q_1), ~(p_0), [u_1]
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1

Gamma_52: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: p_2, [~(u_14)]
  16: [~(q_1)], ~(p_0)
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1

Gamma_53: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), ~(u_6), [p_0], ~(q_2)
  13: [~(u_1)]
  14: ~(q_1), ~(p_0), [~(p_2)], u_1
  15: p_2, [~(u_14)]
  16: ~(q_1), [~(p_0)]
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1

Gamma_54: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), [~(p_0)]
  13: ~(q_1), ~(u_6), [p_0], ~(q_2)
  14: [~(u_1)]
  15: ~(q_1), ~(p_0), [~(p_2)], u_1
  16: p_2, [~(u_14)]
  17: [~(u_7)], ~(p_0), u_1
  18: [~(q_0)], ~(p_0), u_1

Gamma_55: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), [~(p_0)]
  13: [~(q_1)], ~(u_6), ~(q_2)
  14: [~(u_1)]

Gamma_56: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: ~(u_9), [q_1]
  11: ~(u_6), [~(u_3)]
  12: ~(q_1), [~(p_0)]
  13: [~(q_1)], ~(u_6), ~(q_2)
  14: [~(u_1)]

Gamma_57: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: [~(q_1)], ~(u_6), ~(q_2)
  11: ~(u_9), [q_1]
  12: ~(u_6), [~(u_3)]
  13: ~(q_1), [~(p_0)]
  14: [~(u_1)]

Gamma_58: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: [~(q_1)], ~(u_6), ~(q_2)
  11: [~(u_9)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_59: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [u_9], q_1, ~(q_2), ~(p_3)
  10: [~(q_1)], ~(u_6), ~(q_2)
  11: [~(u_9)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_60: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [~(u_9)], ~(u_6), ~(q_2)
  10: [u_9], q_1, ~(q_2), ~(p_3)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_61: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [~(u_9)], ~(u_6), ~(q_2)
  10: [q_1], ~(u_6), ~(q_2), ~(p_3)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_62: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [~(u_9)], ~(u_6), ~(q_2)
  10: [q_1], ~(u_6), ~(q_2), ~(p_3)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_63: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [~(u_9)], ~(u_6), ~(q_2)
  10: [~(q_1)], ~(u_6), ~(q_2)
  11: [q_1], ~(u_6), ~(q_2), ~(p_3)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_64: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [~(u_9)], ~(u_6), ~(q_2)
  10: [~(q_1)], ~(u_6), ~(q_2)
  11: [~(u_6)], ~(q_2), ~(p_3)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_65: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_10), [p_3]
  9: [~(u_9)], ~(u_6), ~(q_2)
  10: [~(q_1)], ~(u_6), ~(q_2)
  11: ~(u_6), ~(q_2), [~(p_3)]
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_66: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_6), ~(q_2), [~(p_3)]
  9: ~(u_10), [p_3]
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_67: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_6), ~(q_2), [~(p_3)]
  9: [~(u_10)], ~(u_6), ~(q_2)
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_68: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [u_10], ~(p_1), p_3
  8: ~(u_6), ~(q_2), [~(p_3)]
  9: [~(u_10)], ~(u_6), ~(q_2)
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_69: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [~(u_10)], ~(u_6), ~(q_2)
  8: [u_10], ~(p_1), p_3
  9: ~(u_6), ~(q_2), [~(p_3)]
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_70: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [~(u_10)], ~(u_6), ~(q_2)
  8: ~(u_6), [~(p_1)], ~(q_2), p_3
  9: ~(u_6), ~(q_2), [~(p_3)]
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_71: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [~(u_10)], ~(u_6), ~(q_2)
  8: ~(u_6), ~(p_1), ~(q_2), [p_3]
  9: ~(u_6), ~(q_2), [~(p_3)]
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_72: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [~(u_10)], ~(u_6), ~(q_2)
  8: ~(u_6), ~(q_2), [~(p_3)]
  9: ~(u_6), ~(p_1), ~(q_2), [p_3]
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_73: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [~(u_10)], ~(u_6), ~(q_2)
  8: ~(u_6), ~(q_2), [~(p_3)]
  9: [~(u_6)], ~(p_1), ~(q_2)
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_74: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [u_6], q_0, ~(p_1), ~(q_2)
  7: [~(u_10)], ~(u_6), ~(q_2)
  8: ~(u_6), ~(q_2), [~(p_3)]
  9: [~(u_6)], ~(p_1), ~(q_2)
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_75: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [u_6], q_0, ~(p_1), ~(q_2)
  8: [~(u_10)], ~(u_6), ~(q_2)
  9: ~(u_6), ~(q_2), [~(p_3)]
  10: [~(u_9)], ~(u_6), ~(q_2)
  11: [~(q_1)], ~(u_6), ~(q_2)
  12: ~(u_6), [~(u_3)]
  13: [~(u_1)]

Gamma_76: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]

Gamma_77: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]

Gamma_78: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3

Gamma_79: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]

Gamma_80: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)

Gamma_81: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]

Gamma_82: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_1), [u_3], p_0, ~(q_2)

Gamma_83: (extend-no-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_1), [u_3], p_0, ~(q_2)
  14: ~(u_3), [p_0]

Gamma_84: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_1), [u_3], p_0, ~(q_2)
  14: ~(u_3), [p_0]
  15: ~(q_0), [~(p_0)], u_1

Gamma_85: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_1), [u_3], p_0, ~(q_2)
  14: ~(q_0), [~(p_0)], u_1
  15: ~(u_3), [p_0]

Gamma_86: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_1), [u_3], p_0, ~(q_2)
  14: ~(q_0), [~(p_0)], u_1
  15: ~(q_0), [~(u_3)], u_1

Gamma_87: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_1), [u_3], p_0, ~(q_2)
  14: ~(q_0), [~(p_0)], u_1
  15: ~(q_0), [~(u_3)], u_1

Gamma_88: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_0), [~(u_3)], u_1
  14: ~(q_1), [u_3], p_0, ~(q_2)
  15: ~(q_0), [~(p_0)], u_1

Gamma_89: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_0), [~(u_3)], u_1
  14: [~(q_1)], ~(q_0), p_0, ~(q_2), u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_90: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_0), [~(u_3)], u_1
  14: ~(q_1), ~(q_0), [p_0], ~(q_2), u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_91: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_0), [~(u_3)], u_1
  14: ~(q_0), [~(p_0)], u_1
  15: ~(q_1), ~(q_0), [p_0], ~(q_2), u_1

Gamma_92: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_0), [~(u_3)], u_1
  14: ~(q_0), [~(p_0)], u_1
  15: [~(q_1)], ~(q_0), ~(q_2), u_1

Gamma_93: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: ~(u_9), [q_1]
  13: ~(q_0), [~(u_3)], u_1
  14: ~(q_0), [~(p_0)], u_1
  15: [~(q_1)], ~(q_0), ~(q_2), u_1

Gamma_94: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: [~(q_1)], ~(q_0), ~(q_2), u_1
  13: ~(u_9), [q_1]
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_95: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: [~(q_1)], ~(q_0), ~(q_2), u_1
  13: [~(u_9)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_96: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [u_9], q_1, ~(q_2), ~(p_3)
  12: [~(q_1)], ~(q_0), ~(q_2), u_1
  13: [~(u_9)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_97: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [~(u_9)], ~(q_0), ~(q_2), u_1
  12: [u_9], q_1, ~(q_2), ~(p_3)
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_98: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [~(u_9)], ~(q_0), ~(q_2), u_1
  12: [q_1], ~(q_0), ~(q_2), ~(p_3), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_99: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [~(u_9)], ~(q_0), ~(q_2), u_1
  12: [q_1], ~(q_0), ~(q_2), ~(p_3), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_100: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [~(u_9)], ~(q_0), ~(q_2), u_1
  12: [~(q_1)], ~(q_0), ~(q_2), u_1
  13: [q_1], ~(q_0), ~(q_2), ~(p_3), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_101: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [~(u_9)], ~(q_0), ~(q_2), u_1
  12: [~(q_1)], ~(q_0), ~(q_2), u_1
  13: [~(q_0)], ~(q_2), ~(p_3), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_102: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(u_10), [p_3]
  11: [~(u_9)], ~(q_0), ~(q_2), u_1
  12: [~(q_1)], ~(q_0), ~(q_2), u_1
  13: ~(q_0), ~(q_2), [~(p_3)], u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_103: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(q_0), ~(q_2), [~(p_3)], u_1
  11: ~(u_10), [p_3]
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_104: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(q_0), ~(q_2), [~(p_3)], u_1
  11: [~(u_10)], ~(q_0), ~(q_2), u_1
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_105: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [u_10], ~(p_1), p_3
  10: ~(q_0), ~(q_2), [~(p_3)], u_1
  11: [~(u_10)], ~(q_0), ~(q_2), u_1
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_106: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [~(u_10)], ~(q_0), ~(q_2), u_1
  10: [u_10], ~(p_1), p_3
  11: ~(q_0), ~(q_2), [~(p_3)], u_1
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_107: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [~(u_10)], ~(q_0), ~(q_2), u_1
  10: ~(q_0), [~(p_1)], ~(q_2), p_3, u_1
  11: ~(q_0), ~(q_2), [~(p_3)], u_1
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_108: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [~(u_10)], ~(q_0), ~(q_2), u_1
  10: ~(q_0), ~(p_1), ~(q_2), [p_3], u_1
  11: ~(q_0), ~(q_2), [~(p_3)], u_1
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_109: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [~(u_10)], ~(q_0), ~(q_2), u_1
  10: ~(q_0), ~(q_2), [~(p_3)], u_1
  11: ~(q_0), ~(p_1), ~(q_2), [p_3], u_1
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_110: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [~(u_10)], ~(q_0), ~(q_2), u_1
  10: ~(q_0), ~(q_2), [~(p_3)], u_1
  11: [~(q_0)], ~(p_1), ~(q_2), u_1
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_111: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [~(u_10)], ~(q_0), ~(q_2), u_1
  10: ~(q_0), ~(q_2), [~(p_3)], u_1
  11: ~(q_0), ~(p_1), ~(q_2), [u_1]
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_112: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [~(u_10)], ~(q_0), ~(q_2), u_1
  10: ~(q_0), ~(q_2), [~(p_3)], u_1
  11: [~(q_0)], ~(p_1), ~(q_2)
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_113: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [q_0], ~(p_1), ~(q_2)
  8: [~(u_1)]
  9: [~(u_10)], ~(q_0), ~(q_2), u_1
  10: ~(q_0), ~(q_2), [~(p_3)], u_1
  11: [~(q_0)], ~(p_1), ~(q_2)
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_114: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [~(q_0)], ~(p_1), ~(q_2)
  8: [q_0], ~(p_1), ~(q_2)
  9: [~(u_1)]
  10: [~(u_10)], ~(q_0), ~(q_2), u_1
  11: ~(q_0), ~(q_2), [~(p_3)], u_1
  12: [~(u_9)], ~(q_0), ~(q_2), u_1
  13: [~(q_1)], ~(q_0), ~(q_2), u_1
  14: ~(q_0), [~(u_3)], u_1
  15: ~(q_0), [~(p_0)], u_1

Gamma_115: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [~(q_0)], ~(p_1), ~(q_2)
  8: [~(p_1)], ~(q_2)
  9: [~(u_1)]

Gamma_116: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: ~(u_5), [p_1]
  6: [~(u_6)], ~(p_1), ~(q_2)
  7: [~(q_0)], ~(p_1), ~(q_2)
  8: [~(p_1)], ~(q_2)
  9: [~(u_1)]

Gamma_117: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: [~(p_1)], ~(q_2)
  6: ~(u_5), [p_1]
  7: [~(u_6)], ~(p_1), ~(q_2)
  8: [~(q_0)], ~(p_1), ~(q_2)
  9: [~(u_1)]

Gamma_118: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: [~(p_1)], ~(q_2)
  6: [~(u_5)], ~(q_2)
  7: [~(u_1)]

Gamma_119: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [u_5], p_1, ~(q_3), ~(q_2)
  3: [u_13], q_4, ~(q_2)
  4: ~(u_13), [q_4]
  5: [~(p_1)], ~(q_2)
  6: [~(u_5)], ~(q_2)
  7: [~(u_1)]

Gamma_120: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [~(u_5)], ~(q_2)
  3: [u_5], p_1, ~(q_3), ~(q_2)
  4: [u_13], q_4, ~(q_2)
  5: ~(u_13), [q_4]
  6: [~(p_1)], ~(q_2)
  7: [~(u_1)]

Gamma_121: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [~(u_5)], ~(q_2)
  3: [p_1], ~(q_3), ~(q_2)
  4: [u_13], q_4, ~(q_2)
  5: ~(u_13), [q_4]
  6: [~(p_1)], ~(q_2)
  7: [~(u_1)]

Gamma_122: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [~(u_5)], ~(q_2)
  3: [p_1], ~(q_3), ~(q_2)
  4: [u_13], q_4, ~(q_2)
  5: ~(u_13), [q_4]
  6: [~(p_1)], ~(q_2)
  7: [~(u_1)]

Gamma_123: (move)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [~(u_5)], ~(q_2)
  3: [~(p_1)], ~(q_2)
  4: [p_1], ~(q_3), ~(q_2)
  5: [u_13], q_4, ~(q_2)
  6: ~(u_13), [q_4]
  7: [~(u_1)]

Gamma_124: (resolve)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [~(u_5)], ~(q_2)
  3: [~(p_1)], ~(q_2)
  4: [~(q_3)], ~(q_2)
  5: [u_13], q_4, ~(q_2)
  6: ~(u_13), [q_4]
  7: [~(u_1)]

Gamma_125: (extend-conflict)
  0: [q_3], u_17
  1: [q_2], u_16
  2: [~(u_5)], ~(q_2)
  3: [~(p_1)], ~(q_2)
  4: ~(q_3), [~(q_2)]
  5: [u_13], q_4, ~(q_2)
  6: ~(u_13), [q_4]
  7: [~(u_1)]

Gamma_126: (move)
  0: [q_3], u_17
  1: ~(q_3), [~(q_2)]
  2: [q_2], u_16
  3: [~(u_5)], ~(q_2)
  4: [~(p_1)], ~(q_2)
  5: [u_13], q_4, ~(q_2)
  6: ~(u_13), [q_4]
  7: [~(u_1)]

Gamma_127: (resolve)
  0: [q_3], u_17
  1: ~(q_3), [~(q_2)]
  2: ~(q_3), [u_16]
  3: [~(u_1)]

Gamma_128: (extend-no-conflict)
  0: [q_3], u_17
  1: ~(q_3), [~(q_2)]
  2: ~(q_3), [u_16]
  3: [~(u_1)]

Gamma_129: (extend-conflict)
  0: [q_3], u_17
  1: ~(q_3), [~(q_2)]
  2: ~(q_3), [u_16]
  3: [~(u_1)]
  4: q_2, [~(u_16)]

Gamma_130: (move)
  0: [q_3], u_17
  1: ~(q_3), [~(q_2)]
  2: q_2, [~(u_16)]
  3: ~(q_3), [u_16]
  4: [~(u_1)]

Gamma_131: (resolve)
  0: [q_3], u_17
  1: ~(q_3), [~(q_2)]
  2: q_2, [~(u_16)]
  3: [~(q_3)], q_2
  4: [~(u_1)]

Gamma_132: (extend-conflict)
  0: [q_3], u_17
  1: ~(q_3), [~(q_2)]
  2: q_2, [~(u_16)]
  3: ~(q_3), [q_2]
  4: [~(u_1)]

Gamma_133: (resolve)
  0: [q_3], u_17
  1: ~(q_3), [~(q_2)]
  2: q_2, [~(u_16)]
  3: [~(q_3)]
  4: [~(u_1)]

Gamma_134: (extend-conflict)
  0: [q_3], u_17
  1: ~(q_3), [~(q_2)]
  2: q_2, [~(u_16)]
  3: [~(q_3)]
  4: [~(u_1)]

Gamma_135: (move)
  0: [~(q_3)]
  1: [q_3], u_17
  2: ~(q_3), [~(q_2)]
  3: q_2, [~(u_16)]
  4: [~(u_1)]

Gamma_136: (resolve)
  0: [~(q_3)]
  1: [u_17]
  2: [~(u_1)]

Gamma_137: (extend-no-conflict)
  0: [~(q_3)]
  1: [u_17]
  2: [~(u_1)]

Gamma_138: (extend-conflict)
  0: [~(q_3)]
  1: [u_17]
  2: [~(u_1)]
  3: q_3, [~(u_17)]

Gamma_139: (move)
  0: [~(q_3)]
  1: q_3, [~(u_17)]
  2: [u_17]
  3: [~(u_1)]

Gamma_140: (resolve)
  0: [~(q_3)]
  1: q_3, [~(u_17)]
  2: [q_3]
  3: [~(u_1)]

Gamma_141: (extend-conflict)
  0: [~(q_3)]
  1: q_3, [~(u_17)]
  2: [q_3]
  3: [~(u_1)]

Gamma_142: (resolve)
  0: [~(q_3)]
  1: q_3, [~(u_17)]
  2: []
  3: [~(u_1)]

SZS status Unsatisfiable