B-SqLogic
2
17
17
0
19
4
1
4
1
0
0
10
28
0
113
29
10
5
0
-1
-1
-1
-1
-1
-1
-1
-1
1
-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
120
80
220
150
120
80
120
80
5
0
0
1
0
2
0
3
0
4
5
1
1
19
4
1
4
1
0
0
10
28
0
113
29
23
5
3
-1
-1
-1
-1
-1
-1
-1
-1
5
-1
-1
-1
-1
-1
-1
-1
-1
6
-1
-1
-1
-1
-1
-1
-1
-1
7
-1
-1
-1
-1
-1
-1
-1
-1
8
120
80
220
150
120
80
120
80
5
5
0
6
0
7
0
8
0
9
5
1
2
19
3
1
3
1
0
0
20
41
0
113
44
7
4
0
-1
-1
-1
-1
-1
-1
-1
-1
3
-1
-1
-1
-1
-1
-1
-1
-1
5
-1
-1
-1
-1
-1
-1
-1
-1
9
175
120
270
190
175
120
175
120
4
10
0
11
0
12
0
13
5
0
3
19
3
1
3
1
0
0
20
41
0
113
44
14
4
5
-1
-1
-1
-1
-1
-1
-1
-1
4
-1
-1
-1
-1
-1
-1
-1
-1
7
-1
-1
-1
-1
-1
-1
-1
-1
10
175
120
270
190
175
120
175
120
4
14
0
15
0
16
0
17
5
0
4
19
3
1
3
1
0
0
20
41
0
113
44
21
4
0
-1
-1
-1
-1
-1
-1
-1
-1
8
-1
-1
-1
-1
-1
-1
-1
-1
2
-1
-1
-1
-1
-1
-1
-1
-1
11
175
120
270
190
175
120
175
120
4
18
0
19
0
20
0
21
5
0
5
19
3
1
3
1
0
0
20
41
0
113
44
29
4
2
-1
-1
-1
-1
-1
-1
-1
-1
3
-1
-1
-1
-1
-1
-1
-1
-1
7
-1
-1
-1
-1
-1
-1
-1
-1
12
175
120
270
190
175
120
175
120
4
22
0
23
0
24
0
25
5
0
6
20
2
1
2
1
0
0
14
33
0
113
54
10
3
9
-1
-1
-1
-1
-1
-1
-1
-1
10
-1
-1
-1
-1
-1
-1
-1
-1
0
120
80
220
150
120
80
120
80
3
26
0
27
0
28
5
1
7
20
2
1
2
1
0
0
14
33
0
113
54
26
3
11
-1
-1
-1
-1
-1
-1
-1
-1
12
-1
-1
-1
-1
-1
-1
-1
-1
7
120
80
220
150
120
80
120
80
3
29
0
30
0
74
5
1
8
19
1
1
1
1
0
0
10
28
0
113
18
26
2
1
-1
-1
-1
-1
-1
-1
-1
-1
6
120
80
220
150
120
80
120
80
2
32
0
33
5
1
9
19
1
1
1
1
0
0
10
28
0
113
18
17
2
13
-1
-1
-1
-1
-1
-1
-1
-1
3
120
80
220
150
120
80
120
80
2
34
0
35
5
1
10
15
0
1
0
1
0
0
0
0
0
113
8
8
1
1
-1
-1
-1
-1
-1
-1
-1
-1
1
36
7
1
D2
11
7
0
1
0
1
0
0
0
0
0
113
8
17
1
13
-1
-1
-1
-1
-1
-1
-1
-1
1
34
10
200
12
8
0
1
0
1
0
0
0
0
0
113
28
3
1
5
-1
-1
-1
-1
-1
-1
-1
-1
1
54
1
1
13
15
0
1
0
1
0
0
0
0
0
113
7
21
1
2
-1
-1
-1
-1
-1
-1
-1
-1
1
45
11
6
/Clear6
14
16
-16333
0
1
0
0
0
0
0
0
113
7
0
-16333
1
-1
0
3
Out15
16
1
0
1
0
0
0
0
0
0
113
68
11
1
0
-1
-1
-1
-1
-1
-1
-1
-1
1
71
0
1
Q16
16
1
0
1
0
0
0
0
0
0
113
67
27
1
7
-1
-1
-1
-1
-1
-1
-1
-1
1
75
0
2
/Q14
14
0
5
0
0
0
2
0
0
6
1
0
4
0
0
15
0
0
1
3
0
0
1
10
1
0
8
0
0
2
4
0
0
2
13
1
0
5
0
0
4
0
2
3
5
0
0
3
1
0
0
9
1
0
2
0
1
5
0
1
4
2
0
1
0
3
0
1
5
4
1
0
1
12
1
0
3
0
0
2
0
2
6
2
1
0
2
8
1
0
7
5
1
0
3
5
0
2
7
1
0
3
0
2
16
0
0
8
2
1
1
0
4
0
1
9
2
2
1
0
6
0
0
10
2
3
1
0
6
0
1
11
2
4
1
0
7
0
0
12
2
5
1
0
7
0
1
13
2
9
0
0
11
1
0
71
71
0
40
32
1
41
40
2
41
42
3
36
42
4
43
1
5
44
43
6
36
44
7
33
7
8
38
39
9
35
38
10
3
38
11
38
5
12
45
46
13
47
46
14
47
2
15
51
48
16
48
49
17
49
22
18
46
50
19
50
51
20
48
20
21
53
39
22
52
23
23
39
52
24
53
11
25
37
54
26
37
55
27
55
6
28
12
56
29
14
56
30
57
56
31
58
57
32
54
58
33
4
59
34
59
60
35
79
71
36
61
19
37
61
62
38
9
62
39
13
63
40
63
64
41
64
26
42
65
27
43
65
66
44
17
66
45
21
67
46
67
68
47
68
29
48
69
30
49
69
70
50
25
70
51
15
60
52
16
72
53
74
76
54
72
31
55
75
76
56
31
76
57
77
18
58
77
78
59
28
79
60
81
79
61
73
0
62
73
10
63
80
10
64
80
81
65
79
78
66
8
82
67
82
24
68
24
83
69
83
84
70
76
84
85
85
0
29
11
1
0
0
0
1
61
1
0
1
29
12
1
0
0
1
1
4
1
1
2
29
14
1
0
0
2
1
14
1
2
3
29
15
1
0
0
3
1
10
1
3
4
34
13
1
0
1
0
1
33
1
4
5
29
24
1
1
0
0
1
11
1
3
6
29
25
1
1
0
1
1
27
1
5
7
29
27
1
1
0
2
1
7
1
6
8
29
28
1
1
0
3
1
66
1
7
9
34
26
1
1
1
0
1
38
1
8
10
44
8
1
2
0
0
2
62
63
1
0
11
44
9
1
2
0
1
1
24
1
3
12
44
10
1
2
0
2
1
28
1
5
13
49
9
1
2
1
0
1
39
1
9
14
44
15
1
3
0
0
1
29
1
5
15
44
16
1
3
0
1
1
51
1
4
16
44
17
1
3
0
2
1
52
1
7
17
49
16
1
3
1
0
1
44
1
10
18
44
22
1
4
0
0
1
57
1
0
19
44
23
1
4
0
1
1
36
1
8
20
44
24
1
4
0
2
1
20
1
2
21
49
23
1
4
1
0
1
45
1
11
22
44
30
1
5
0
0
1
17
1
2
23
44
31
1
5
0
1
1
22
1
3
24
44
32
1
5
0
2
2
67
68
1
7
25
49
31
1
5
1
0
1
50
1
12
26
54
11
1
6
0
0
1
41
1
9
27
54
13
1
6
0
1
1
42
1
10
28
59
12
1
6
1
0
1
59
1
0
29
54
27
1
7
0
0
1
47
1
11
30
54
29
1
7
0
1
1
48
1
12
31
60
19
0
2
54
56
1
7
32
18
27
1
8
0
0
1
0
1
1
33
23
27
1
8
1
0
1
7
1
6
34
18
18
2
9
0
0
11
1
0
0
1
13
35
23
18
1
9
1
0
1
9
1
3
36
15
9
1
10
1
0
2
6
3
1
1
37
27
4
0
2
26
25
1
5
38
29
18
0
4
10
11
9
8
1
3
39
42
18
0
3
8
21
23
1
3
40
6
27
0
2
1
0
1
1
41
6
16
0
2
2
1
1
1
42
15
16
0
2
3
2
1
1
43
26
12
0
2
5
4
1
1
44
26
9
0
2
6
5
1
1
45
18
22
1
13
1
0
1
12
1
2
46
28
22
0
3
13
12
18
1
2
47
28
14
0
2
13
14
1
2
48
43
24
0
3
16
15
20
1
2
49
43
30
0
2
16
17
1
2
50
40
22
0
2
18
19
1
2
51
40
24
0
2
19
15
1
2
52
42
31
0
2
22
23
1
3
53
42
9
0
2
21
24
1
3
54
31
4
1
12
1
0
2
25
32
1
5
55
27
25
0
2
26
27
1
5
56
44
11
0
3
29
28
30
1
5
57
43
11
0
2
30
31
1
5
58
43
4
0
2
31
32
1
5
59
41
13
0
2
33
34
1
4
60
41
16
0
2
34
51
1
4
61
41
23
0
2
36
37
1
8
62
41
26
0
2
37
38
1
8
63
53
9
0
2
39
40
1
9
64
53
11
0
2
40
41
1
9
65
53
13
0
2
42
43
1
10
66
53
16
0
2
43
44
1
10
67
52
23
0
2
45
46
1
11
68
52
27
0
2
46
47
1
11
69
52
29
0
2
48
49
1
12
70
52
31
0
2
49
50
1
12
71
68
12
1
15
0
0
1
35
1
0
72
44
19
0
2
52
54
1
7
73
29
8
0
2
61
62
1
0
74
59
28
1
7
1
0
1
53
1
7
75
67
28
1
16
0
0
1
55
1
7
76
60
28
0
4
55
53
56
70
1
7
77
44
20
0
2
57
58
1
0
78
61
20
0
2
58
65
1
0
79
61
12
0
4
59
35
60
65
1
0
80
44
5
0
2
63
64
1
0
81
61
5
0
2
64
60
1
0
82
29
32
0
2
66
67
1
7
83
44
34
0
2
68
69
1
7
84
60
34
0
2
69
70
1
7
0
0
