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