1 sort bitvec 32
2 sort bitvec 3
3 sort array 2 1
4 input 3 @arr4
5 input 2 start
6 input 2 end
7 input 2 p
8 sort bitvec 1
9 input 8 flag
10 const 1 00000000000000000000000000000000
11 const 8 1
12 eq 8 9 11
13 input 2 i
14 read 1 4 13
15 eq 8 10 14
16 ult 8 5 6
17 ult 8 13 5
18 ult 8 13 6
19 and 8 -17 18
20 and 8 12 19
21 and 8 16 20
22 and 8 -15 21
23 eq 8 6 7
24 and 8 22 23
25 constraint 24