1 sort bitvec 32
2 sort bitvec 1
3 zero 1
4 ones 1
5 one 1
6 add 1 -3 -5
7 and 1 6 4
8 eq 2 7 6
9 mul 1 -7 5
10 nand 1 9 -7
11 nor 1 6 9
12 or 1 11 -7
13 sdiv 1 9 10
14 srem 1 -11 12
15 smod 1 13 14
16 sub 1 -15 7
17 udiv 1 7 11
18 urem 1 16 -17
19 xnor 1 -18 15
20 xor 1 19 -11
21 implies 2 8 8