1 sort bitvec 8
2 input 1 x
3 input 1 y
4 xor 1 2 3
5 xor 1 3 4
6 xor 1 4 5
7 sort bitvec 1
8 eq 7 2 5
9 eq 7 3 6
10 and 7 8 9
11 add 1 2 3
12 sub 1 11 3
13 sub 1 11 12
14 eq 7 2 12
15 eq 7 3 13
16 and 7 14 15
17 sub 1 2 3
18 add 1 3 17
19 sub 1 18 17
20 eq 7 2 18
21 eq 7 3 19
22 and 7 20 21
23 sub 1 3 2
24 sub 1 3 23
25 add 1 23 24
26 eq 7 2 24
27 eq 7 3 25
28 and 7 26 27
29 or 7 -10 -16
30 or 7 -22 -28
31 or 7 29 30
32 constraint 31