B-SqLogic
2
10
8
-1
-1
2
16
32
0
1
0
0
0
0
0
0
113
29
27
32
6
-1
-1
-1
-1
-1
-1
-1
-1
7
-1
-1
-1
-1
-1
-1
-1
-1
8
-1
-1
-1
-1
-1
-1
-1
-1
9
-1
-1
-1
-1
-1
-1
-1
-1
10
-1
-1
-1
-1
-1
-1
-1
-1
11
-1
-1
-1
-1
-1
-1
-1
-1
12
-1
-1
-1
-1
-1
-1
-1
-1
13
-1
-1
-1
-1
-1
-1
-1
-1
14
-1
-1
-1
-1
-1
-1
-1
-1
15
-1
-1
-1
-1
-1
-1
-1
-1
16
-1
-1
-1
-1
-1
-1
-1
-1
17
-1
-1
-1
-1
-1
-1
-1
-1
18
-1
-1
-1
-1
-1
-1
-1
-1
19
-1
-1
-1
-1
-1
-1
-1
-1
20
-1
-1
-1
-1
-1
-1
-1
-1
21
-1
-1
-1
-1
-1
-1
-1
-1
22
-1
-1
-1
-1
-1
-1
-1
-1
23
-1
-1
-1
-1
-1
-1
-1
-1
24
-1
-1
-1
-1
-1
-1
-1
-1
25
-1
-1
-1
-1
-1
-1
-1
-1
26
-1
-1
-1
-1
-1
-1
-1
-1
27
-1
-1
-1
-1
-1
-1
-1
-1
28
-1
-1
-1
-1
-1
-1
-1
-1
29
-1
-1
-1
-1
-1
-1
-1
-1
30
-1
-1
-1
-1
-1
-1
-1
-1
31
-1
-1
-1
-1
-1
-1
-1
-1
32
-1
-1
-1
-1
-1
-1
-1
-1
33
-1
-1
-1
-1
-1
-1
-1
-1
34
-1
-1
-1
-1
-1
-1
-1
-1
35
-1
-1
-1
-1
-1
-1
-1
-1
36
-1
-1
-1
-1
-1
-1
-1
-1
37
-1
-1
-1
-1
-1
-1
-1
-1
1
19
0
3
Out3
8
0
1
0
1
0
0
0
0
0
113
17
33
1
0
-1
-1
-1
-1
-1
-1
-1
-1
1
21
1
0
4
1
3
3
1
3
0
0
0
0
0
113
17
27
6
2
-1
-1
-1
-1
-1
-1
-1
-1
3
-1
-1
-1
-1
-1
-1
-1
-1
4
-1
-1
-1
-1
-1
-1
-1
-1
2
-1
-1
-1
-1
-1
-1
-1
-1
3
-1
-1
-1
-1
-1
-1
-1
-1
4
-1
-1
-1
-1
-1
-1
-1
-1
4
32
0
28
3
25
3
24
3
0
3
0
1
1
1
2
1
0
0
0
0
1
2
5
15
0
1
0
1
0
0
0
0
0
113
4
21
1
1
-1
-1
-1
-1
-1
-1
-1
-1
1
34
10
5
TRIP15
6
15
0
3
0
1
0
0
0
0
0
113
4
25
3
2
-1
-1
-1
-1
-1
-1
-1
-1
3
-1
-1
-1
-1
-1
-1
-1
-1
4
-1
-1
-1
-1
-1
-1
-1
-1
1
33
10
5
STATE5
7
15
0
1
0
1
0
0
0
0
0
113
6
23
1
5
-1
-1
-1
-1
-1
-1
-1
-1
1
40
8
2
TC3
8
0
8
8
8
1
0
0
0
0
0
113
20
25
16
1
-1
-1
-1
-1
-1
-1
-1
-1
5
-1
-1
-1
-1
-1
-1
-1
-1
2
-1
-1
-1
-1
-1
-1
-1
-1
3
-1
-1
-1
-1
-1
-1
-1
-1
4
-1
-1
-1
-1
-1
-1
-1
-1
0
-1
-1
-1
-1
-1
-1
-1
-1
0
-1
-1
-1
-1
-1
-1
-1
-1
0
-1
-1
-1
-1
-1
-1
-1
-1
1
-1
-1
-1
-1
-1
-1
-1
-1
5
-1
-1
-1
-1
-1
-1
-1
-1
2
-1
-1
-1
-1
-1
-1
-1
-1
3
-1
-1
-1
-1
-1
-1
-1
-1
4
-1
-1
-1
-1
-1
-1
-1
-1
0
-1
-1
-1
-1
-1
-1
-1
-1
0
-1
-1
-1
-1
-1
-1
-1
-1
0
-1
-1
-1
-1
-1
-1
-1
-1
9
37
0
36
0
28
0
25
0
24
0
23
0
31
0
30
0
29
3
0
1
1
1
2
1
3
1
4
1
5
1
6
1
7
1
0
8
0
1
2
3
4
5
6
7
0
0
0
0
0
0
0
0
9
50
9
32
2
1
0
0
200
400
0
113
23
23
41
1
-1
-1
-1
-1
-1
-1
-1
-1
5
-1
-1
-1
-1
-1
-1
-1
-1
2
-1
-1
-1
-1
-1
-1
-1
-1
3
-1
-1
-1
-1
-1
-1
-1
-1
4
-1
-1
-1
-1
-1
-1
-1
-1
0
-1
-1
-1
-1
-1
-1
-1
-1
0
-1
-1
-1
-1
-1
-1
-1
-1
0
-1
-1
-1
-1
-1
-1
-1
-1
0
-1
-1
-1
-1
-1
-1
-1
-1
6
250
250
300
300
250
250
200
200
7
250
250
300
300
250
250
200
200
8
250
250
300
300
250
250
200
200
9
250
250
300
300
250
250
200
200
10
250
250
300
300
250
250
200
200
11
250
250
300
300
250
250
200
200
12
250
250
300
300
250
250
200
200
13
250
250
300
300
250
250
200
200
14
250
250
300
300
250
250
200
200
15
250
250
300
300
250
250
200
200
16
250
250
300
300
250
250
200
200
17
250
250
300
300
250
250
200
200
18
250
250
300
300
250
250
200
200
19
250
250
300
300
250
250
200
200
20
250
250
300
300
250
250
200
200
21
250
250
300
300
250
250
200
200
22
250
250
300
300
250
250
200
200
23
250
250
300
300
250
250
200
200
24
250
250
300
300
250
250
200
200
25
250
250
300
300
250
250
200
200
26
250
250
300
300
250
250
200
200
27
250
250
300
300
250
250
200
200
28
250
250
300
300
250
250
200
200
29
250
250
300
300
250
250
200
200
30
250
250
300
300
250
250
200
200
31
250
250
300
300
250
250
200
200
32
250
250
300
300
250
250
200
200
33
250
250
300
300
250
250
200
200
34
250
250
300
300
250
250
200
200
35
250
250
300
300
250
250
200
200
36
250
250
300
300
250
250
200
200
37
250
250
300
300
250
250
200
200
3
29
0
39
0
19
6
13062
13062
13062
13062
21296
21296
21296
21296
12848
12848
29232
29232
29472
37664
29472
37664
45126
45126
45126
45126
44080
44080
52272
52272
2208
2208
2208
2208
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
10
ROM_DAT3.T38
38
0
5
3
1
0
9
0
7
9
0
6
9
0
5
9
0
8
1
2
5
1
0
9
0
0
2
2
6
1
0
9
0
2
3
2
6
1
1
9
0
3
4
2
6
1
2
9
0
4
5
2
7
1
0
9
0
1
6
2
9
1
0
2
0
0
7
2
9
1
1
2
0
1
8
2
9
1
2
2
0
2
9
2
9
1
3
2
0
3
10
2
9
1
4
2
0
4
11
2
9
1
5
2
0
5
12
2
9
1
6
2
0
6
13
2
9
1
7
2
0
7
14
2
9
1
8
2
0
8
15
2
9
1
9
2
0
9
16
2
9
1
10
2
0
10
17
2
9
1
11
2
0
11
18
2
9
1
12
2
0
12
19
2
9
1
13
2
0
13
20
2
9
1
14
2
0
14
21
2
9
1
15
2
0
15
22
2
9
1
16
2
0
16
23
2
9
1
17
2
0
17
24
2
9
1
18
2
0
18
25
2
9
1
19
2
0
19
26
2
9
1
20
2
0
20
27
2
9
1
21
2
0
21
28
2
9
1
22
2
0
22
29
2
9
1
23
2
0
23
30
2
9
1
24
2
0
24
31
2
9
1
25
2
0
25
32
2
9
1
26
2
0
26
33
2
9
1
27
2
0
27
34
2
9
1
28
2
0
28
35
2
9
1
29
2
0
29
36
2
9
1
30
2
0
30
37
2
9
1
31
2
0
31
14
12
-1
-1
2
39
20
3
21
20
4
30
21
5
31
30
6
23
31
7
22
37
8
34
22
9
26
36
10
27
26
11
40
27
12
35
32
13
33
35
41
21
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
19
29
28
2
2
0
0
9
1
0
0
32
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
20
23
34
0
2
3
2
1
0
21
20
34
1
3
1
0
2
4
3
1
0
22
20
22
0
2
8
7
1
1
23
20
30
1
8
0
5
1
6
1
0
24
20
29
2
8
0
4
4
1
2
0
1
4
25
20
28
2
8
0
3
4
1
1
0
1
3
26
18
26
0
2
10
9
1
5
27
18
24
0
2
11
10
1
5
28
20
27
2
4
1
0
8
0
2
0
1
2
29
23
25
2
8
1
0
9
0
0
0
8
1
5
2
3
4
0
0
0
30
20
32
1
8
0
7
2
5
4
1
0
31
20
31
1
8
0
6
2
6
5
1
0
32
17
27
1
4
0
0
1
12
3
2
3
4
33
14
26
1
6
1
0
1
13
3
2
3
4
34
14
22
1
5
1
0
1
8
1
1
35
17
26
0
2
13
12
3
2
3
4
36
20
26
1
8
0
1
1
9
1
5
37
20
25
1
8
0
0
1
7
1
1
-1
39
23
26
1
9
0
1
1
2
1
0
40
14
24
1
7
1
0
1
11
1
5
0
0
