1 sort bitvec 8
2 input 1 @inp2
3 sort bitvec 1
4 const 3 0
5 ult 3 2 2
6 eq 3 4 5
7 constraint 6