1 sort bitvec 32
2 zero 1
3 sort bitvec 12
4 sort array 3 1
5 input 4 MaSt0p11093th1
6 constd 3 28
7 write 4 5 6 2
8 constd 3 20
9 write 4 7 8 2
10 constd 3 12
11 write 4 9 10 2
12 zero 3
13 write 4 11 12 2
14 constd 3 16
15 input 1 _substvar_10_
16 write 4 13 14 15
17 read 1 16 12
18 sort bitvec 1
19 eq 18 2 17
20 constraint 19
21 constd 1 12
22 input 1 _substvar_11_
23 add 1 21 22
24 eq 18 15 23
25 constraint 24
26 write 4 7 14 2
27 read 1 26 14
28 eq 18 22 27
29 constraint 28