1 sort bitvec 4
2 input 1 @inp2
3 input 1 @inp3
4 input 1 @inp4
5 add 1 2 3
6 add 1 2 4
7 sort bitvec 1
8 eq 7 5 6
9 eq 7 3 4
10 eq 7 8 9
11 add 1 2 3
12 add 1 3 4
13 eq 7 11 12
14 eq 7 2 4
15 eq 7 13 14
16 add 1 2 4
17 add 1 3 4
18 eq 7 16 17
19 eq 7 2 3
20 eq 7 18 19
21 add 1 3 4
22 add 1 2 3
23 eq 7 21 22
24 eq 7 14 23
25 or 7 -10 -15
26 or 7 -20 -24
27 or 7 25 26
28 constraint 27