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