1 sort bitvec 32
2 input 1 @inp2
3 input 1 @inp3
4 one 1
5 add 1 2 4
6 add 1 3 4
7 add 1 5 6
8 add 1 2 3
9 add 1 8 4
10 add 1 9 4
11 sort bitvec 1
12 eq 11 7 10
13 constraint -12