1 sort bitvec 32
2 input 1 a
3 input 1 b
4 input 1 q
5 input 1 r
6 mul 1 3 4
7 add 1 5 6
8 sort bitvec 1
9 eq 8 2 7
10 ult 8 5 3
11 umulo 8 3 4
12 uaddo 8 5 6
13 and 8 -11 -12
14 and 8 10 13
15 constraint 14