1 sort bitvec 8
2 input 1 @inp2
3 input 1 @inp3
4 sort bitvec 1
5 ult 4 2 3
6 ult 4 3 2
7 and 4 5 6
8 constraint 7