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

------ Parsing...successful


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

Gamma_0: (extend-no-conflict)
  0: [q_15]

Gamma_1: (extend-no-conflict)
  0: [q_15]
  1: [q_14]

Gamma_2: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)

Gamma_3: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)

Gamma_4: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]

Gamma_5: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]

Gamma_6: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]

Gamma_7: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]

Gamma_8: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]

Gamma_9: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)

Gamma_10: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)

Gamma_11: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]

Gamma_12: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]

Gamma_13: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]

Gamma_14: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]

Gamma_15: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]

Gamma_16: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]

Gamma_17: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]

Gamma_18: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)

Gamma_19: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)

Gamma_20: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]

Gamma_21: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]

Gamma_22: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]

Gamma_23: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]

Gamma_24: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]

Gamma_25: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)

Gamma_26: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]

Gamma_27: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)

Gamma_28: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]

Gamma_29: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(p_3), ~(q_2), [q_1]

Gamma_30: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(p_3), ~(q_2), [q_1]
  30: ~(q_4), ~(q_3), [p_2]

Gamma_31: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(p_3), ~(q_2), [q_1]
  30: ~(q_4), ~(q_3), [p_2]
  31: ~(q_2), ~(q_1), [p_0]

Gamma_32: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(p_3), ~(q_2), [q_1]
  30: ~(q_4), ~(q_3), [p_2]
  31: ~(q_2), ~(q_1), [p_0]
  32: ~(q_0), [~(p_0)]

Gamma_33: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(p_3), ~(q_2), [q_1]
  30: ~(q_4), ~(q_3), [p_2]
  31: ~(q_0), [~(p_0)]
  32: ~(q_2), ~(q_1), [p_0]

Gamma_34: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(p_3), ~(q_2), [q_1]
  30: ~(q_4), ~(q_3), [p_2]
  31: ~(q_0), [~(p_0)]
  32: [~(q_2)], ~(q_1), ~(q_0)

Gamma_35: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(p_3), ~(q_2), [q_1]
  30: ~(q_4), ~(q_3), [p_2]
  31: ~(q_0), [~(p_0)]
  32: ~(q_2), [~(q_1)], ~(q_0)

Gamma_36: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(q_2), [~(q_1)], ~(q_0)
  30: ~(p_3), ~(q_2), [q_1]
  31: ~(q_4), ~(q_3), [p_2]
  32: ~(q_0), [~(p_0)]

Gamma_37: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(q_2), [~(q_1)], ~(q_0)
  30: [~(p_3)], ~(q_2), ~(q_0)
  31: ~(q_4), ~(q_3), [p_2]
  32: ~(q_0), [~(p_0)]

Gamma_38: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(q_2), [~(q_1)], ~(q_0)
  30: [~(p_3)], ~(q_2), ~(q_0)
  31: ~(q_4), ~(q_3), [p_2]
  32: ~(q_0), [~(p_0)]

Gamma_39: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: [~(p_3)], ~(q_2), ~(q_0)
  29: ~(q_5), ~(q_4), [p_3]
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_4), ~(q_3), [p_2]
  32: ~(q_0), [~(p_0)]

Gamma_40: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: [~(p_3)], ~(q_2), ~(q_0)
  29: [~(q_5)], ~(q_4), ~(q_2), ~(q_0)
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_4), ~(q_3), [p_2]
  32: ~(q_0), [~(p_0)]

Gamma_41: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: [~(p_3)], ~(q_2), ~(q_0)
  29: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_4), ~(q_3), [p_2]
  32: ~(q_0), [~(p_0)]

Gamma_42: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  27: ~(p_6), ~(q_5), [q_4]
  28: ~(q_6), [p_5], ~(q_7)
  29: [~(p_3)], ~(q_2), ~(q_0)
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_4), ~(q_3), [p_2]
  32: ~(q_0), [~(p_0)]

Gamma_43: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  27: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  28: ~(q_6), [p_5], ~(q_7)
  29: [~(p_3)], ~(q_2), ~(q_0)
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_0), [~(p_0)]

Gamma_44: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  27: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  28: ~(q_6), [p_5], ~(q_7)
  29: [~(p_3)], ~(q_2), ~(q_0)
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_0), [~(p_0)]

Gamma_45: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  26: [p_6], ~(q_8), ~(q_7)
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: ~(q_6), [p_5], ~(q_7)
  29: [~(p_3)], ~(q_2), ~(q_0)
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_0), [~(p_0)]

Gamma_46: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  26: ~(q_5), ~(q_2), ~(q_0), [~(q_8)], ~(q_7)
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: ~(q_6), [p_5], ~(q_7)
  29: [~(p_3)], ~(q_2), ~(q_0)
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_0), [~(p_0)]

Gamma_47: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  26: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: ~(q_6), [p_5], ~(q_7)
  29: [~(p_3)], ~(q_2), ~(q_0)
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_0), [~(p_0)]

Gamma_48: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  24: ~(p_9), ~(q_8), [q_7]
  25: ~(q_10), ~(q_9), [p_8]
  26: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: ~(q_6), [p_5], ~(q_7)
  29: [~(p_3)], ~(q_2), ~(q_0)
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_0), [~(p_0)]

Gamma_49: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  24: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  25: ~(q_10), ~(q_9), [p_8]
  26: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: [~(p_3)], ~(q_2), ~(q_0)
  29: ~(q_2), [~(q_1)], ~(q_0)
  30: ~(q_0), [~(p_0)]

Gamma_50: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  24: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  25: ~(q_10), ~(q_9), [p_8]
  26: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: [~(p_3)], ~(q_2), ~(q_0)
  29: ~(q_2), [~(q_1)], ~(q_0)
  30: ~(q_0), [~(p_0)]

Gamma_51: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  23: ~(q_11), ~(q_10), [p_9]
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: ~(q_10), ~(q_9), [p_8]
  26: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: [~(p_3)], ~(q_2), ~(q_0)
  29: ~(q_2), [~(q_1)], ~(q_0)
  30: ~(q_0), [~(p_0)]

Gamma_52: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  23: [~(q_11)], ~(q_10), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: ~(q_10), ~(q_9), [p_8]
  26: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: [~(p_3)], ~(q_2), ~(q_0)
  29: ~(q_2), [~(q_1)], ~(q_0)
  30: ~(q_0), [~(p_0)]

Gamma_53: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  23: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: ~(q_10), ~(q_9), [p_8]
  26: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: [~(p_3)], ~(q_2), ~(q_0)
  29: ~(q_2), [~(q_1)], ~(q_0)
  30: ~(q_0), [~(p_0)]

Gamma_54: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: ~(p_12), ~(q_11), [q_10]
  22: ~(q_13), ~(q_12), [p_11]
  23: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: ~(q_10), ~(q_9), [p_8]
  26: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: [~(p_3)], ~(q_2), ~(q_0)
  29: ~(q_2), [~(q_1)], ~(q_0)
  30: ~(q_0), [~(p_0)]

Gamma_55: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: ~(q_13), ~(q_12), [p_11]
  23: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  26: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  27: [~(p_3)], ~(q_2), ~(q_0)
  28: ~(q_2), [~(q_1)], ~(q_0)
  29: ~(q_0), [~(p_0)]

Gamma_56: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: ~(q_13), ~(q_12), [p_11]
  23: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  26: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  27: [~(p_3)], ~(q_2), ~(q_0)
  28: ~(q_2), [~(q_1)], ~(q_0)
  29: ~(q_0), [~(p_0)]

Gamma_57: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  20: ~(q_13), [p_12], ~(q_14)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: ~(q_13), ~(q_12), [p_11]
  23: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  26: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  27: [~(p_3)], ~(q_2), ~(q_0)
  28: ~(q_2), [~(q_1)], ~(q_0)
  29: ~(q_0), [~(p_0)]

Gamma_58: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  20: [~(q_13)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: ~(q_13), ~(q_12), [p_11]
  23: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  26: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  27: [~(p_3)], ~(q_2), ~(q_0)
  28: ~(q_2), [~(q_1)], ~(q_0)
  29: ~(q_0), [~(p_0)]

Gamma_59: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  20: [~(q_13)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: ~(q_13), ~(q_12), [p_11]
  23: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  26: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  27: [~(p_3)], ~(q_2), ~(q_0)
  28: ~(q_2), [~(q_1)], ~(q_0)
  29: ~(q_0), [~(p_0)]

Gamma_60: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [~(q_13)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14)
  19: [q_13], ~(q_14), ~(p_15)
  20: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: ~(q_13), ~(q_12), [p_11]
  23: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  26: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  27: [~(p_3)], ~(q_2), ~(q_0)
  28: ~(q_2), [~(q_1)], ~(q_0)
  29: ~(q_0), [~(p_0)]

Gamma_61: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [~(q_13)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14)
  19: ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_14)], ~(p_15)
  20: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  23: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  24: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  25: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  26: [~(p_3)], ~(q_2), ~(q_0)
  27: ~(q_2), [~(q_1)], ~(q_0)
  28: ~(q_0), [~(p_0)]

Gamma_62: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [~(q_13)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14)
  19: ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14), [~(p_15)]
  20: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  23: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  24: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  25: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  26: [~(p_3)], ~(q_2), ~(q_0)
  27: ~(q_2), [~(q_1)], ~(q_0)
  28: ~(q_0), [~(p_0)]

Gamma_63: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14), [~(p_15)]
  18: ~(p_7), [p_15]
  19: [~(q_13)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14)
  20: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  23: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  24: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  25: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  26: [~(p_3)], ~(q_2), ~(q_0)
  27: ~(q_2), [~(q_1)], ~(q_0)
  28: ~(q_0), [~(p_0)]

Gamma_64: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14), [~(p_15)]
  18: ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(p_7)], ~(q_14)
  19: [~(q_13)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14)
  20: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  23: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  24: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  25: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  26: [~(p_3)], ~(q_2), ~(q_0)
  27: ~(q_2), [~(q_1)], ~(q_0)
  28: ~(q_0), [~(p_0)]

Gamma_65: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14), [~(p_15)]
  18: ~(q_11), ~(q_5), ~(q_2), [~(q_0)], ~(q_8), ~(p_7), ~(q_14)
  19: [~(q_13)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14)
  20: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  23: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  24: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  25: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  26: [~(p_3)], ~(q_2), ~(q_0)
  27: ~(q_2), [~(q_1)], ~(q_0)
  28: ~(q_0), [~(p_0)]

Gamma_66: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_11), ~(q_5), ~(q_2), [~(q_0)], ~(q_8), ~(p_7), ~(q_14)
  16: ~(q_2), ~(p_1), [q_0]
  17: ~(q_8), [q_16]
  18: ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14), [~(p_15)]
  19: [~(q_13)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14)
  20: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  23: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  24: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  25: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  26: [~(p_3)], ~(q_2), ~(q_0)
  27: ~(q_2), [~(q_1)], ~(q_0)
  28: ~(q_0), [~(p_0)]

Gamma_67: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_11), ~(q_5), ~(q_2), [~(q_0)], ~(q_8), ~(p_7), ~(q_14)
  16: ~(q_11), ~(q_5), [~(q_2)], ~(p_1), ~(q_8), ~(p_7), ~(q_14)
  17: ~(q_8), [q_16]

Gamma_68: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_11), ~(q_5), ~(q_2), [~(q_0)], ~(q_8), ~(p_7), ~(q_14)
  16: ~(q_11), ~(q_5), ~(q_2), [~(p_1)], ~(q_8), ~(p_7), ~(q_14)
  17: ~(q_8), [q_16]

Gamma_69: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_11), ~(q_5), ~(q_2), [~(p_1)], ~(q_8), ~(p_7), ~(q_14)
  15: ~(q_3), ~(q_2), [p_1]
  16: ~(q_11), ~(q_5), ~(q_2), [~(q_0)], ~(q_8), ~(p_7), ~(q_14)
  17: ~(q_8), [q_16]

Gamma_70: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_11), ~(q_5), ~(q_2), [~(p_1)], ~(q_8), ~(p_7), ~(q_14)
  15: ~(q_11), ~(q_5), [~(q_3)], ~(q_2), ~(q_8), ~(p_7), ~(q_14)
  16: ~(q_11), ~(q_5), ~(q_2), [~(q_0)], ~(q_8), ~(p_7), ~(q_14)
  17: ~(q_8), [q_16]

Gamma_71: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_11), ~(q_5), ~(q_2), [~(p_1)], ~(q_8), ~(p_7), ~(q_14)
  15: ~(q_11), ~(q_5), ~(q_3), [~(q_2)], ~(q_8), ~(p_7), ~(q_14)
  16: ~(q_11), ~(q_5), ~(q_2), [~(q_0)], ~(q_8), ~(p_7), ~(q_14)
  17: ~(q_8), [q_16]

Gamma_72: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(q_11), ~(q_5), ~(q_3), [~(q_2)], ~(q_8), ~(p_7), ~(q_14)
  14: ~(p_4), ~(q_3), [q_2]
  15: ~(q_11), ~(q_5), ~(q_2), [~(p_1)], ~(q_8), ~(p_7), ~(q_14)
  16: ~(q_11), ~(q_5), ~(q_2), [~(q_0)], ~(q_8), ~(p_7), ~(q_14)
  17: ~(q_8), [q_16]

Gamma_73: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(q_11), ~(q_5), ~(q_3), [~(q_2)], ~(q_8), ~(p_7), ~(q_14)
  14: ~(q_11), ~(q_5), [~(p_4)], ~(q_3), ~(q_8), ~(p_7), ~(q_14)
  15: ~(q_8), [q_16]

Gamma_74: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(q_11), ~(q_5), ~(q_3), [~(q_2)], ~(q_8), ~(p_7), ~(q_14)
  14: ~(q_11), ~(q_5), ~(p_4), [~(q_3)], ~(q_8), ~(p_7), ~(q_14)
  15: ~(q_8), [q_16]

Gamma_75: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_11), ~(q_5), ~(p_4), [~(q_3)], ~(q_8), ~(p_7), ~(q_14)
  13: ~(q_5), ~(p_4), [q_3]
  14: ~(q_11), ~(q_5), ~(q_3), [~(q_2)], ~(q_8), ~(p_7), ~(q_14)
  15: ~(q_8), [q_16]

Gamma_76: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_11), ~(q_5), ~(p_4), [~(q_3)], ~(q_8), ~(p_7), ~(q_14)
  13: ~(q_11), [~(q_5)], ~(p_4), ~(q_8), ~(p_7), ~(q_14)
  14: ~(q_8), [q_16]

Gamma_77: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_11), ~(q_5), ~(p_4), [~(q_3)], ~(q_8), ~(p_7), ~(q_14)
  13: ~(q_11), ~(q_5), [~(p_4)], ~(q_8), ~(p_7), ~(q_14)
  14: ~(q_8), [q_16]

Gamma_78: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_11), ~(q_5), [~(p_4)], ~(q_8), ~(p_7), ~(q_14)
  12: ~(q_6), ~(q_5), [p_4]
  13: ~(q_11), ~(q_5), ~(p_4), [~(q_3)], ~(q_8), ~(p_7), ~(q_14)
  14: ~(q_8), [q_16]

Gamma_79: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_11), ~(q_5), [~(p_4)], ~(q_8), ~(p_7), ~(q_14)
  12: ~(q_11), [~(q_6)], ~(q_5), ~(q_8), ~(p_7), ~(q_14)
  13: ~(q_8), [q_16]

Gamma_80: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_11), ~(q_5), [~(p_4)], ~(q_8), ~(p_7), ~(q_14)
  12: ~(q_11), ~(q_6), [~(q_5)], ~(q_8), ~(p_7), ~(q_14)
  13: ~(q_8), [q_16]

Gamma_81: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_11), ~(q_6), [~(q_5)], ~(q_8), ~(p_7), ~(q_14)
  11: ~(q_6), [q_5], ~(p_7)
  12: ~(q_11), ~(q_5), [~(p_4)], ~(q_8), ~(p_7), ~(q_14)
  13: ~(q_8), [q_16]

Gamma_82: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_11), ~(q_6), [~(q_5)], ~(q_8), ~(p_7), ~(q_14)
  11: ~(q_11), [~(q_6)], ~(q_8), ~(p_7), ~(q_14)
  12: ~(q_8), [q_16]

Gamma_83: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_11), ~(q_6), [~(q_5)], ~(q_8), ~(p_7), ~(q_14)
  11: ~(q_11), [~(q_6)], ~(q_8), ~(p_7), ~(q_14)
  12: ~(q_8), [q_16]

Gamma_84: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: ~(q_11), [~(q_6)], ~(q_8), ~(p_7), ~(q_14)
  10: [q_6], ~(q_8), ~(p_7)
  11: ~(q_11), ~(q_6), [~(q_5)], ~(q_8), ~(p_7), ~(q_14)
  12: ~(q_8), [q_16]

Gamma_85: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: ~(q_11), [~(q_6)], ~(q_8), ~(p_7), ~(q_14)
  10: ~(q_11), [~(q_8)], ~(p_7), ~(q_14)
  11: ~(q_8), [q_16]

Gamma_86: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: ~(q_11), [~(q_6)], ~(q_8), ~(p_7), ~(q_14)
  10: ~(q_11), ~(q_8), [~(p_7)], ~(q_14)
  11: ~(q_8), [q_16]

Gamma_87: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_11), ~(q_8), [~(p_7)], ~(q_14)
  9: ~(q_9), ~(q_8), [p_7]
  10: ~(q_11), [~(q_6)], ~(q_8), ~(p_7), ~(q_14)
  11: ~(q_8), [q_16]

Gamma_88: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_11), ~(q_8), [~(p_7)], ~(q_14)
  9: ~(q_11), [~(q_9)], ~(q_8), ~(q_14)
  10: ~(q_8), [q_16]

Gamma_89: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_11), ~(q_8), [~(p_7)], ~(q_14)
  9: ~(q_11), ~(q_9), [~(q_8)], ~(q_14)
  10: ~(q_8), [q_16]

Gamma_90: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(q_11), ~(q_9), [~(q_8)], ~(q_14)
  8: ~(p_10), ~(q_9), [q_8]
  9: ~(q_11), ~(q_8), [~(p_7)], ~(q_14)
  10: ~(q_8), [q_16]

Gamma_91: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(q_11), ~(q_9), [~(q_8)], ~(q_14)
  8: ~(q_11), [~(p_10)], ~(q_9), ~(q_14)

Gamma_92: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(q_11), ~(q_9), [~(q_8)], ~(q_14)
  8: ~(q_11), ~(p_10), [~(q_9)], ~(q_14)

Gamma_93: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [~(q_9)], ~(q_14)
  7: ~(q_11), ~(p_10), [q_9]
  8: ~(q_11), ~(q_9), [~(q_8)], ~(q_14)

Gamma_94: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [~(q_9)], ~(q_14)
  7: [~(q_11)], ~(p_10), ~(q_14)

Gamma_95: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [~(q_9)], ~(q_14)
  7: ~(q_11), [~(p_10)], ~(q_14)

Gamma_96: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_11), [~(p_10)], ~(q_14)
  6: ~(q_12), ~(q_11), [p_10]
  7: ~(q_11), ~(p_10), [~(q_9)], ~(q_14)

Gamma_97: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_11), [~(p_10)], ~(q_14)
  6: [~(q_12)], ~(q_11), ~(q_14)

Gamma_98: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_11), [~(p_10)], ~(q_14)
  6: ~(q_12), [~(q_11)], ~(q_14)

Gamma_99: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(q_12), [~(q_11)], ~(q_14)
  5: ~(p_13), ~(q_12), [q_11]
  6: ~(q_11), [~(p_10)], ~(q_14)

Gamma_100: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(q_12), [~(q_11)], ~(q_14)
  5: [~(p_13)], ~(q_12), ~(q_14)

Gamma_101: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(q_12), [~(q_11)], ~(q_14)
  5: ~(p_13), [~(q_12)], ~(q_14)

Gamma_102: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [~(q_12)], ~(q_14)
  4: ~(p_13), [q_12], ~(q_14)
  5: ~(q_12), [~(q_11)], ~(q_14)

Gamma_103: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [~(q_12)], ~(q_14)
  4: [~(p_13)], ~(q_14)

Gamma_104: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [~(q_12)], ~(q_14)
  4: [~(p_13)], ~(q_14)

Gamma_105: (move)
  0: [q_15]
  1: [q_14]
  2: [~(p_13)], ~(q_14)
  3: [p_13], ~(q_15), ~(q_14)
  4: ~(p_13), [~(q_12)], ~(q_14)

Gamma_106: (resolve)
  0: [q_15]
  1: [q_14]
  2: [~(p_13)], ~(q_14)
  3: [~(q_15)], ~(q_14)

Gamma_107: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [~(p_13)], ~(q_14)
  3: ~(q_15), [~(q_14)]

Gamma_108: (move)
  0: [q_15]
  1: ~(q_15), [~(q_14)]
  2: [q_14]
  3: [~(p_13)], ~(q_14)

Gamma_109: (resolve)
  0: [q_15]
  1: ~(q_15), [~(q_14)]
  2: [~(q_15)]

Gamma_110: (extend-conflict)
  0: [q_15]
  1: ~(q_15), [~(q_14)]
  2: [~(q_15)]

Gamma_111: (move)
  0: [~(q_15)]
  1: [q_15]
  2: ~(q_15), [~(q_14)]

Gamma_112: (resolve)
  0: [~(q_15)]
  1: []

SZS status Unsatisfiable

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

------ Parsing...successful


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

Gamma_0: (extend-no-conflict)
  0: [q_15]

Gamma_1: (extend-no-conflict)
  0: [q_15]
  1: [q_14]

Gamma_2: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)

Gamma_3: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)

Gamma_4: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]

Gamma_5: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]

Gamma_6: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]

Gamma_7: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]

Gamma_8: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]

Gamma_9: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)

Gamma_10: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)

Gamma_11: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]

Gamma_12: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]

Gamma_13: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]

Gamma_14: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]

Gamma_15: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]

Gamma_16: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]

Gamma_17: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]

Gamma_18: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)

Gamma_19: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)

Gamma_20: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]

Gamma_21: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]

Gamma_22: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]

Gamma_23: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]

Gamma_24: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]

Gamma_25: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)

Gamma_26: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]

Gamma_27: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)

Gamma_28: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]

Gamma_29: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(p_3), ~(q_2), [q_1]

Gamma_30: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(p_3), ~(q_2), [q_1]
  30: ~(q_4), ~(q_3), [p_2]

Gamma_31: (extend-no-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(p_3), ~(q_2), [q_1]
  30: ~(q_4), ~(q_3), [p_2]
  31: ~(q_2), ~(q_1), [p_0]

Gamma_32: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(p_3), ~(q_2), [q_1]
  30: ~(q_4), ~(q_3), [p_2]
  31: ~(q_2), ~(q_1), [p_0]
  32: ~(q_0), [~(p_0)]

Gamma_33: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(p_3), ~(q_2), [q_1]
  30: ~(q_4), ~(q_3), [p_2]
  31: ~(q_0), [~(p_0)]
  32: ~(q_2), ~(q_1), [p_0]

Gamma_34: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(p_3), ~(q_2), [q_1]
  30: ~(q_4), ~(q_3), [p_2]
  31: ~(q_0), [~(p_0)]
  32: [~(q_2)], ~(q_1), ~(q_0)

Gamma_35: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(p_3), ~(q_2), [q_1]
  30: ~(q_4), ~(q_3), [p_2]
  31: ~(q_0), [~(p_0)]
  32: ~(q_2), [~(q_1)], ~(q_0)

Gamma_36: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(q_2), [~(q_1)], ~(q_0)
  30: ~(p_3), ~(q_2), [q_1]
  31: ~(q_4), ~(q_3), [p_2]
  32: ~(q_0), [~(p_0)]

Gamma_37: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(q_2), [~(q_1)], ~(q_0)
  30: [~(p_3)], ~(q_2), ~(q_0)
  31: ~(q_4), ~(q_3), [p_2]
  32: ~(q_0), [~(p_0)]

Gamma_38: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: ~(q_5), ~(q_4), [p_3]
  29: ~(q_2), [~(q_1)], ~(q_0)
  30: [~(p_3)], ~(q_2), ~(q_0)
  31: ~(q_4), ~(q_3), [p_2]
  32: ~(q_0), [~(p_0)]

Gamma_39: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: [~(p_3)], ~(q_2), ~(q_0)
  29: ~(q_5), ~(q_4), [p_3]
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_4), ~(q_3), [p_2]
  32: ~(q_0), [~(p_0)]

Gamma_40: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: [~(p_3)], ~(q_2), ~(q_0)
  29: [~(q_5)], ~(q_4), ~(q_2), ~(q_0)
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_4), ~(q_3), [p_2]
  32: ~(q_0), [~(p_0)]

Gamma_41: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(p_6), ~(q_5), [q_4]
  27: ~(q_6), [p_5], ~(q_7)
  28: [~(p_3)], ~(q_2), ~(q_0)
  29: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_4), ~(q_3), [p_2]
  32: ~(q_0), [~(p_0)]

Gamma_42: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  27: ~(p_6), ~(q_5), [q_4]
  28: ~(q_6), [p_5], ~(q_7)
  29: [~(p_3)], ~(q_2), ~(q_0)
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_4), ~(q_3), [p_2]
  32: ~(q_0), [~(p_0)]

Gamma_43: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  27: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  28: ~(q_6), [p_5], ~(q_7)
  29: [~(p_3)], ~(q_2), ~(q_0)
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_0), [~(p_0)]

Gamma_44: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [p_6], ~(q_8), ~(q_7)
  26: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  27: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  28: ~(q_6), [p_5], ~(q_7)
  29: [~(p_3)], ~(q_2), ~(q_0)
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_0), [~(p_0)]

Gamma_45: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  26: [p_6], ~(q_8), ~(q_7)
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: ~(q_6), [p_5], ~(q_7)
  29: [~(p_3)], ~(q_2), ~(q_0)
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_0), [~(p_0)]

Gamma_46: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  26: ~(q_5), ~(q_2), ~(q_0), [~(q_8)], ~(q_7)
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: ~(q_6), [p_5], ~(q_7)
  29: [~(p_3)], ~(q_2), ~(q_0)
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_0), [~(p_0)]

Gamma_47: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(p_9), ~(q_8), [q_7]
  24: ~(q_10), ~(q_9), [p_8]
  25: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  26: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: ~(q_6), [p_5], ~(q_7)
  29: [~(p_3)], ~(q_2), ~(q_0)
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_0), [~(p_0)]

Gamma_48: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  24: ~(p_9), ~(q_8), [q_7]
  25: ~(q_10), ~(q_9), [p_8]
  26: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: ~(q_6), [p_5], ~(q_7)
  29: [~(p_3)], ~(q_2), ~(q_0)
  30: ~(q_2), [~(q_1)], ~(q_0)
  31: ~(q_0), [~(p_0)]

Gamma_49: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  24: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  25: ~(q_10), ~(q_9), [p_8]
  26: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: [~(p_3)], ~(q_2), ~(q_0)
  29: ~(q_2), [~(q_1)], ~(q_0)
  30: ~(q_0), [~(p_0)]

Gamma_50: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: ~(q_11), ~(q_10), [p_9]
  23: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  24: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  25: ~(q_10), ~(q_9), [p_8]
  26: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: [~(p_3)], ~(q_2), ~(q_0)
  29: ~(q_2), [~(q_1)], ~(q_0)
  30: ~(q_0), [~(p_0)]

Gamma_51: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  23: ~(q_11), ~(q_10), [p_9]
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: ~(q_10), ~(q_9), [p_8]
  26: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: [~(p_3)], ~(q_2), ~(q_0)
  29: ~(q_2), [~(q_1)], ~(q_0)
  30: ~(q_0), [~(p_0)]

Gamma_52: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  23: [~(q_11)], ~(q_10), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: ~(q_10), ~(q_9), [p_8]
  26: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: [~(p_3)], ~(q_2), ~(q_0)
  29: ~(q_2), [~(q_1)], ~(q_0)
  30: ~(q_0), [~(p_0)]

Gamma_53: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(p_12), ~(q_11), [q_10]
  21: ~(q_13), ~(q_12), [p_11]
  22: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  23: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: ~(q_10), ~(q_9), [p_8]
  26: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: [~(p_3)], ~(q_2), ~(q_0)
  29: ~(q_2), [~(q_1)], ~(q_0)
  30: ~(q_0), [~(p_0)]

Gamma_54: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: ~(p_12), ~(q_11), [q_10]
  22: ~(q_13), ~(q_12), [p_11]
  23: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: ~(q_10), ~(q_9), [p_8]
  26: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  27: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  28: [~(p_3)], ~(q_2), ~(q_0)
  29: ~(q_2), [~(q_1)], ~(q_0)
  30: ~(q_0), [~(p_0)]

Gamma_55: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: ~(q_13), ~(q_12), [p_11]
  23: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  26: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  27: [~(p_3)], ~(q_2), ~(q_0)
  28: ~(q_2), [~(q_1)], ~(q_0)
  29: ~(q_0), [~(p_0)]

Gamma_56: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: ~(q_13), [p_12], ~(q_14)
  20: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: ~(q_13), ~(q_12), [p_11]
  23: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  26: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  27: [~(p_3)], ~(q_2), ~(q_0)
  28: ~(q_2), [~(q_1)], ~(q_0)
  29: ~(q_0), [~(p_0)]

Gamma_57: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  20: ~(q_13), [p_12], ~(q_14)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: ~(q_13), ~(q_12), [p_11]
  23: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  26: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  27: [~(p_3)], ~(q_2), ~(q_0)
  28: ~(q_2), [~(q_1)], ~(q_0)
  29: ~(q_0), [~(p_0)]

Gamma_58: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  20: [~(q_13)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: ~(q_13), ~(q_12), [p_11]
  23: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  26: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  27: [~(p_3)], ~(q_2), ~(q_0)
  28: ~(q_2), [~(q_1)], ~(q_0)
  29: ~(q_0), [~(p_0)]

Gamma_59: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [q_13], ~(q_14), ~(p_15)
  19: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  20: [~(q_13)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: ~(q_13), ~(q_12), [p_11]
  23: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  26: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  27: [~(p_3)], ~(q_2), ~(q_0)
  28: ~(q_2), [~(q_1)], ~(q_0)
  29: ~(q_0), [~(p_0)]

Gamma_60: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [~(q_13)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14)
  19: [q_13], ~(q_14), ~(p_15)
  20: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: ~(q_13), ~(q_12), [p_11]
  23: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  24: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  25: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  26: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  27: [~(p_3)], ~(q_2), ~(q_0)
  28: ~(q_2), [~(q_1)], ~(q_0)
  29: ~(q_0), [~(p_0)]

Gamma_61: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [~(q_13)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14)
  19: ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_14)], ~(p_15)
  20: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  23: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  24: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  25: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  26: [~(p_3)], ~(q_2), ~(q_0)
  27: ~(q_2), [~(q_1)], ~(q_0)
  28: ~(q_0), [~(p_0)]

Gamma_62: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(p_7), [p_15]
  18: [~(q_13)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14)
  19: ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14), [~(p_15)]
  20: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  23: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  24: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  25: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  26: [~(p_3)], ~(q_2), ~(q_0)
  27: ~(q_2), [~(q_1)], ~(q_0)
  28: ~(q_0), [~(p_0)]

Gamma_63: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14), [~(p_15)]
  18: ~(p_7), [p_15]
  19: [~(q_13)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14)
  20: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  23: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  24: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  25: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  26: [~(p_3)], ~(q_2), ~(q_0)
  27: ~(q_2), [~(q_1)], ~(q_0)
  28: ~(q_0), [~(p_0)]

Gamma_64: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14), [~(p_15)]
  18: ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(p_7)], ~(q_14)
  19: [~(q_13)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14)
  20: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  23: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  24: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  25: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  26: [~(p_3)], ~(q_2), ~(q_0)
  27: ~(q_2), [~(q_1)], ~(q_0)
  28: ~(q_0), [~(p_0)]

Gamma_65: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_2), ~(p_1), [q_0]
  16: ~(q_8), [q_16]
  17: ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14), [~(p_15)]
  18: ~(q_11), ~(q_5), ~(q_2), [~(q_0)], ~(q_8), ~(p_7), ~(q_14)
  19: [~(q_13)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14)
  20: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  23: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  24: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  25: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  26: [~(p_3)], ~(q_2), ~(q_0)
  27: ~(q_2), [~(q_1)], ~(q_0)
  28: ~(q_0), [~(p_0)]

Gamma_66: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_11), ~(q_5), ~(q_2), [~(q_0)], ~(q_8), ~(p_7), ~(q_14)
  16: ~(q_2), ~(p_1), [q_0]
  17: ~(q_8), [q_16]
  18: ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14), [~(p_15)]
  19: [~(q_13)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8), ~(q_14)
  20: [~(p_12)], ~(q_11), ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  21: ~(q_11), [~(q_10)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  22: [~(p_9)], ~(q_5), ~(q_2), ~(q_0), ~(q_8)
  23: ~(q_5), ~(q_2), ~(q_0), ~(q_8), [~(q_7)]
  24: [~(p_6)], ~(q_5), ~(q_2), ~(q_0)
  25: ~(q_5), [~(q_4)], ~(q_2), ~(q_0)
  26: [~(p_3)], ~(q_2), ~(q_0)
  27: ~(q_2), [~(q_1)], ~(q_0)
  28: ~(q_0), [~(p_0)]

Gamma_67: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_11), ~(q_5), ~(q_2), [~(q_0)], ~(q_8), ~(p_7), ~(q_14)
  16: ~(q_11), ~(q_5), [~(q_2)], ~(p_1), ~(q_8), ~(p_7), ~(q_14)
  17: ~(q_8), [q_16]

Gamma_68: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_3), ~(q_2), [p_1]
  15: ~(q_11), ~(q_5), ~(q_2), [~(q_0)], ~(q_8), ~(p_7), ~(q_14)
  16: ~(q_11), ~(q_5), ~(q_2), [~(p_1)], ~(q_8), ~(p_7), ~(q_14)
  17: ~(q_8), [q_16]

Gamma_69: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_11), ~(q_5), ~(q_2), [~(p_1)], ~(q_8), ~(p_7), ~(q_14)
  15: ~(q_3), ~(q_2), [p_1]
  16: ~(q_11), ~(q_5), ~(q_2), [~(q_0)], ~(q_8), ~(p_7), ~(q_14)
  17: ~(q_8), [q_16]

Gamma_70: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_11), ~(q_5), ~(q_2), [~(p_1)], ~(q_8), ~(p_7), ~(q_14)
  15: ~(q_11), ~(q_5), [~(q_3)], ~(q_2), ~(q_8), ~(p_7), ~(q_14)
  16: ~(q_11), ~(q_5), ~(q_2), [~(q_0)], ~(q_8), ~(p_7), ~(q_14)
  17: ~(q_8), [q_16]

Gamma_71: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(p_4), ~(q_3), [q_2]
  14: ~(q_11), ~(q_5), ~(q_2), [~(p_1)], ~(q_8), ~(p_7), ~(q_14)
  15: ~(q_11), ~(q_5), ~(q_3), [~(q_2)], ~(q_8), ~(p_7), ~(q_14)
  16: ~(q_11), ~(q_5), ~(q_2), [~(q_0)], ~(q_8), ~(p_7), ~(q_14)
  17: ~(q_8), [q_16]

Gamma_72: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(q_11), ~(q_5), ~(q_3), [~(q_2)], ~(q_8), ~(p_7), ~(q_14)
  14: ~(p_4), ~(q_3), [q_2]
  15: ~(q_11), ~(q_5), ~(q_2), [~(p_1)], ~(q_8), ~(p_7), ~(q_14)
  16: ~(q_11), ~(q_5), ~(q_2), [~(q_0)], ~(q_8), ~(p_7), ~(q_14)
  17: ~(q_8), [q_16]

Gamma_73: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(q_11), ~(q_5), ~(q_3), [~(q_2)], ~(q_8), ~(p_7), ~(q_14)
  14: ~(q_11), ~(q_5), [~(p_4)], ~(q_3), ~(q_8), ~(p_7), ~(q_14)
  15: ~(q_8), [q_16]

Gamma_74: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_5), ~(p_4), [q_3]
  13: ~(q_11), ~(q_5), ~(q_3), [~(q_2)], ~(q_8), ~(p_7), ~(q_14)
  14: ~(q_11), ~(q_5), ~(p_4), [~(q_3)], ~(q_8), ~(p_7), ~(q_14)
  15: ~(q_8), [q_16]

Gamma_75: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_11), ~(q_5), ~(p_4), [~(q_3)], ~(q_8), ~(p_7), ~(q_14)
  13: ~(q_5), ~(p_4), [q_3]
  14: ~(q_11), ~(q_5), ~(q_3), [~(q_2)], ~(q_8), ~(p_7), ~(q_14)
  15: ~(q_8), [q_16]

Gamma_76: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_11), ~(q_5), ~(p_4), [~(q_3)], ~(q_8), ~(p_7), ~(q_14)
  13: ~(q_11), [~(q_5)], ~(p_4), ~(q_8), ~(p_7), ~(q_14)
  14: ~(q_8), [q_16]

Gamma_77: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_6), ~(q_5), [p_4]
  12: ~(q_11), ~(q_5), ~(p_4), [~(q_3)], ~(q_8), ~(p_7), ~(q_14)
  13: ~(q_11), ~(q_5), [~(p_4)], ~(q_8), ~(p_7), ~(q_14)
  14: ~(q_8), [q_16]

Gamma_78: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_11), ~(q_5), [~(p_4)], ~(q_8), ~(p_7), ~(q_14)
  12: ~(q_6), ~(q_5), [p_4]
  13: ~(q_11), ~(q_5), ~(p_4), [~(q_3)], ~(q_8), ~(p_7), ~(q_14)
  14: ~(q_8), [q_16]

Gamma_79: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_11), ~(q_5), [~(p_4)], ~(q_8), ~(p_7), ~(q_14)
  12: ~(q_11), [~(q_6)], ~(q_5), ~(q_8), ~(p_7), ~(q_14)
  13: ~(q_8), [q_16]

Gamma_80: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_6), [q_5], ~(p_7)
  11: ~(q_11), ~(q_5), [~(p_4)], ~(q_8), ~(p_7), ~(q_14)
  12: ~(q_11), ~(q_6), [~(q_5)], ~(q_8), ~(p_7), ~(q_14)
  13: ~(q_8), [q_16]

Gamma_81: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_11), ~(q_6), [~(q_5)], ~(q_8), ~(p_7), ~(q_14)
  11: ~(q_6), [q_5], ~(p_7)
  12: ~(q_11), ~(q_5), [~(p_4)], ~(q_8), ~(p_7), ~(q_14)
  13: ~(q_8), [q_16]

Gamma_82: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_11), ~(q_6), [~(q_5)], ~(q_8), ~(p_7), ~(q_14)
  11: ~(q_11), [~(q_6)], ~(q_8), ~(p_7), ~(q_14)
  12: ~(q_8), [q_16]

Gamma_83: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: [q_6], ~(q_8), ~(p_7)
  10: ~(q_11), ~(q_6), [~(q_5)], ~(q_8), ~(p_7), ~(q_14)
  11: ~(q_11), [~(q_6)], ~(q_8), ~(p_7), ~(q_14)
  12: ~(q_8), [q_16]

Gamma_84: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: ~(q_11), [~(q_6)], ~(q_8), ~(p_7), ~(q_14)
  10: [q_6], ~(q_8), ~(p_7)
  11: ~(q_11), ~(q_6), [~(q_5)], ~(q_8), ~(p_7), ~(q_14)
  12: ~(q_8), [q_16]

Gamma_85: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: ~(q_11), [~(q_6)], ~(q_8), ~(p_7), ~(q_14)
  10: ~(q_11), [~(q_8)], ~(p_7), ~(q_14)
  11: ~(q_8), [q_16]

Gamma_86: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_9), ~(q_8), [p_7]
  9: ~(q_11), [~(q_6)], ~(q_8), ~(p_7), ~(q_14)
  10: ~(q_11), ~(q_8), [~(p_7)], ~(q_14)
  11: ~(q_8), [q_16]

Gamma_87: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_11), ~(q_8), [~(p_7)], ~(q_14)
  9: ~(q_9), ~(q_8), [p_7]
  10: ~(q_11), [~(q_6)], ~(q_8), ~(p_7), ~(q_14)
  11: ~(q_8), [q_16]

Gamma_88: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_11), ~(q_8), [~(p_7)], ~(q_14)
  9: ~(q_11), [~(q_9)], ~(q_8), ~(q_14)
  10: ~(q_8), [q_16]

Gamma_89: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(p_10), ~(q_9), [q_8]
  8: ~(q_11), ~(q_8), [~(p_7)], ~(q_14)
  9: ~(q_11), ~(q_9), [~(q_8)], ~(q_14)
  10: ~(q_8), [q_16]

Gamma_90: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(q_11), ~(q_9), [~(q_8)], ~(q_14)
  8: ~(p_10), ~(q_9), [q_8]
  9: ~(q_11), ~(q_8), [~(p_7)], ~(q_14)
  10: ~(q_8), [q_16]

Gamma_91: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(q_11), ~(q_9), [~(q_8)], ~(q_14)
  8: ~(q_11), [~(p_10)], ~(q_9), ~(q_14)

Gamma_92: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [q_9]
  7: ~(q_11), ~(q_9), [~(q_8)], ~(q_14)
  8: ~(q_11), ~(p_10), [~(q_9)], ~(q_14)

Gamma_93: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [~(q_9)], ~(q_14)
  7: ~(q_11), ~(p_10), [q_9]
  8: ~(q_11), ~(q_9), [~(q_8)], ~(q_14)

Gamma_94: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [~(q_9)], ~(q_14)
  7: [~(q_11)], ~(p_10), ~(q_14)

Gamma_95: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_12), ~(q_11), [p_10]
  6: ~(q_11), ~(p_10), [~(q_9)], ~(q_14)
  7: ~(q_11), [~(p_10)], ~(q_14)

Gamma_96: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_11), [~(p_10)], ~(q_14)
  6: ~(q_12), ~(q_11), [p_10]
  7: ~(q_11), ~(p_10), [~(q_9)], ~(q_14)

Gamma_97: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_11), [~(p_10)], ~(q_14)
  6: [~(q_12)], ~(q_11), ~(q_14)

Gamma_98: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(p_13), ~(q_12), [q_11]
  5: ~(q_11), [~(p_10)], ~(q_14)
  6: ~(q_12), [~(q_11)], ~(q_14)

Gamma_99: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(q_12), [~(q_11)], ~(q_14)
  5: ~(p_13), ~(q_12), [q_11]
  6: ~(q_11), [~(p_10)], ~(q_14)

Gamma_100: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(q_12), [~(q_11)], ~(q_14)
  5: [~(p_13)], ~(q_12), ~(q_14)

Gamma_101: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [q_12], ~(q_14)
  4: ~(q_12), [~(q_11)], ~(q_14)
  5: ~(p_13), [~(q_12)], ~(q_14)

Gamma_102: (move)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [~(q_12)], ~(q_14)
  4: ~(p_13), [q_12], ~(q_14)
  5: ~(q_12), [~(q_11)], ~(q_14)

Gamma_103: (resolve)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [~(q_12)], ~(q_14)
  4: [~(p_13)], ~(q_14)

Gamma_104: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [p_13], ~(q_15), ~(q_14)
  3: ~(p_13), [~(q_12)], ~(q_14)
  4: [~(p_13)], ~(q_14)

Gamma_105: (move)
  0: [q_15]
  1: [q_14]
  2: [~(p_13)], ~(q_14)
  3: [p_13], ~(q_15), ~(q_14)
  4: ~(p_13), [~(q_12)], ~(q_14)

Gamma_106: (resolve)
  0: [q_15]
  1: [q_14]
  2: [~(p_13)], ~(q_14)
  3: [~(q_15)], ~(q_14)

Gamma_107: (extend-conflict)
  0: [q_15]
  1: [q_14]
  2: [~(p_13)], ~(q_14)
  3: ~(q_15), [~(q_14)]

Gamma_108: (move)
  0: [q_15]
  1: ~(q_15), [~(q_14)]
  2: [q_14]
  3: [~(p_13)], ~(q_14)

Gamma_109: (resolve)
  0: [q_15]
  1: ~(q_15), [~(q_14)]
  2: [~(q_15)]

Gamma_110: (extend-conflict)
  0: [q_15]
  1: ~(q_15), [~(q_14)]
  2: [~(q_15)]

Gamma_111: (move)
  0: [~(q_15)]
  1: [q_15]
  2: ~(q_15), [~(q_14)]

Gamma_112: (resolve)
  0: [~(q_15)]
  1: []

SZS status Unsatisfiable