1 sort bitvec 32
2 input 1 @inp2
3 input 1 @inp3
4 input 1 @inp4
5 sort bitvec 1
6 eq 5 2 3
7 eq 5 2 4
8 eq 5 6 7
9 eq 5 3 4
10 eq 5 8 9
11 constraint -10