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