1 sort bitvec 32
2 input 1 @inp2
3 input 1 @inp3
4 or 1 2 3
5 zero 1
6 sort bitvec 1
7 eq 6 5 4
8 eq 6 2 5
9 eq 6 3 5
10 and 6 8 9
11 neq 6 7 10
12 constraint 11