1 sort bitvec 2
2 input 1 @inp2
3 input 1 @inp3
4 input 1 @inp4
5 mul 1 3 4
6 sort bitvec 1
7 eq 6 2 5
8 ones 1
9 neq 6 2 8
10 and 6 7 9
11 constraint 10