1 sort bitvec 8
2 input 1 @inp2
3 ones 1
4 sub 1 3 2
5 sort bitvec 1
6 eq 5 4 -2
7 constraint -6