Input: 1 2 3 1
Gadget:
1.00: 1 2       (CUT)
1.00: 1 3       (CUT)
2.00: 1 4       (CUT)
1.00: 2 3       (CUT)
2.00: 2 4       (CUT)
2.00: 3 4       (CUT)
1.00: 1 (PosClause)
1.00: 2 (PosClause)
1.00: 3 (PosClause)
2.00: 4 (PosClause)