1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
1 sort bitvec 8
2 sort array 1 1
3 input 2 @arr3
4 input 1 @inp4
5 input 1 @inp5
6 input 1 @inp6
7 input 1 @inp7
8 input 1 @inp8
9 input 1 @inp9
10 input 1 @inp10
11 input 1 @inp11
12 write 2 3 4 5
13 write 2 12 6 7
14 write 2 13 8 9
15 read 1 14 10
16 read 1 14 11
17 sort bitvec 1
18 eq 17 10 11
19 eq 17 15 16
20 and 17 18 -19
21 eq 17 8 10
22 eq 17 9 15
23 and 17 21 -22
24 eq 17 6 10
25 and 17 -21 24
26 eq 17 7 15
27 and 17 25 -26
28 eq 17 4 10
29 and 17 -24 28
30 and 17 -21 29
31 eq 17 5 15
32 and 17 30 -31
33 eq 17 8 11
34 eq 17 9 16
35 and 17 33 -34
36 eq 17 6 11
37 and 17 -33 36
38 eq 17 7 16
39 and 17 37 -38
40 eq 17 4 11
41 and 17 -36 40
42 and 17 -33 41
43 eq 17 5 16
44 and 17 42 -43
45 and 17 -20 -23
46 and 17 -27 45
47 and 17 -32 46
48 and 17 -35 47
49 and 17 -39 48
50 and 17 -44 49
51 constraint -50
|
