Input: 1 2 3 0
Gadget:
0.50: 1 4       (CUT)
0.50: 1 6       (CUT)
0.50: 1 7       (CUT)
0.50: 1 11      (CUT)
0.50: 2 4       (CUT)
0.50: 2 5       (CUT)
0.50: 8 2       (CUT)
0.50: 2 11      (CUT)
0.50: 3 6       (CUT)
0.50: 8 3       (CUT)
0.50: 10 3      (CUT)
0.50: 11 3      (CUT)
0.50: 10 4      (CUT)
0.50: 5 6       (CUT)
0.50: 8 7       (CUT)
0.50: 9 11      (CUT)
0.50: 4 (PosClause)
0.50: 6 (PosClause)
0.50: 8 (PosClause)
0.50: 9 (PosClause)