puresat-0.1: dimacs/inductive-inference/ii8a3.cnf
c Filename: ii8a3.sat
c
c Source: Mauricio Resende (AT&T Bell Labs) (mgcr@gauss.att.com)
c
c Reference: "A continuous approach to inductive inference" by
c Kamath, Karmarkar, Ramakrishnan, and Resende (Math Prog 57,
c 215--238) (1992).
c
c Note: Instance is satisfiable
c
p cnf 264 1552
1 2
0
3 4
0
5 6
0
7 8
0
9 10
0
11 12
0
13 14
0
15 16
0
17 18
0
19 20
0
21 22
0
23 24
0
25 26
0
27 28
0
29 30
0
31 32
0
33 34
0
35 36
0
37 38
0
39 40
0
41 42
0
43 44
0
45 46
0
47 48
0
49 50
0
51 52
0
53 54
0
55 56
0
57 58
0
59 60
0
61 62
0
63 64
0
65 66
0
67 68
0
69 70
0
71 72
0
73 74
0
75 76
0
77 78
0
79 80
0
81 82
0
83 84
0
85 86
0
87 88
0
89 90
0
91 92
0
93 94
0
95 96
0
-2 -3 -6 -8 -9 -12
-14 -16
0
-18 -19 -22 -24 -25 -28
-30 -32
0
-34 -35 -38 -40 -41 -44
-46 -48
0
-50 -51 -54 -56 -57 -60
-62 -64
0
-66 -67 -70 -72 -73 -76
-78 -80
0
-82 -83 -86 -88 -89 -92
-94 -96
0
-1 -4 -6 -7 -10 -11
-13 -16
0
-17 -20 -22 -23 -26 -27
-29 -32
0
-33 -36 -38 -39 -42 -43
-45 -48
0
-49 -52 -54 -55 -58 -59
-61 -64
0
-65 -68 -70 -71 -74 -75
-77 -80
0
-81 -84 -86 -87 -90 -91
-93 -96
0
-2 -3 -6 -8 -9 -11
-14 -15
0
-18 -19 -22 -24 -25 -27
-30 -31
0
-34 -35 -38 -40 -41 -43
-46 -47
0
-50 -51 -54 -56 -57 -59
-62 -63
0
-66 -67 -70 -72 -73 -75
-78 -79
0
-82 -83 -86 -88 -89 -91
-94 -95
0
-1 -3 -5 -7 -9 -12
-13 -15
0
-17 -19 -21 -23 -25 -28
-29 -31
0
-33 -35 -37 -39 -41 -44
-45 -47
0
-49 -51 -53 -55 -57 -60
-61 -63
0
-65 -67 -69 -71 -73 -76
-77 -79
0
-81 -83 -85 -87 -89 -92
-93 -95
0
-2 -3 -6 -7 -9 -11
-13 -16
0
-18 -19 -22 -23 -25 -27
-29 -32
0
-34 -35 -38 -39 -41 -43
-45 -48
0
-50 -51 -54 -55 -57 -59
-61 -64
0
-66 -67 -70 -71 -73 -75
-77 -80
0
-82 -83 -86 -87 -89 -91
-93 -96
0
-1 -4 -6 -8 -10 -11
-14 -16
0
-17 -20 -22 -24 -26 -27
-30 -32
0
-33 -36 -38 -40 -42 -43
-46 -48
0
-49 -52 -54 -56 -58 -59
-62 -64
0
-65 -68 -70 -72 -74 -75
-78 -80
0
-81 -84 -86 -88 -90 -91
-94 -96
0
-1 -4 -5 -7 -10 -11
-13 -15
0
-17 -20 -21 -23 -26 -27
-29 -31
0
-33 -36 -37 -39 -42 -43
-45 -47
0
-49 -52 -53 -55 -58 -59
-61 -63
0
-65 -68 -69 -71 -74 -75
-77 -79
0
-81 -84 -85 -87 -90 -91
-93 -95
0
-2 -3 -6 -7 -10 -11
-13 -15
0
-18 -19 -22 -23 -26 -27
-29 -31
0
-34 -35 -38 -39 -42 -43
-45 -47
0
-50 -51 -54 -55 -58 -59
-61 -63
0
-66 -67 -70 -71 -74 -75
-77 -79
0
-82 -83 -86 -87 -90 -91
-93 -95
0
-1 -3 -5 -7 -9 -11
-14 -16
0
-17 -19 -21 -23 -25 -27
-30 -32
0
-33 -35 -37 -39 -41 -43
-46 -48
0
-49 -51 -53 -55 -57 -59
-62 -64
0
-65 -67 -69 -71 -73 -75
-78 -80
0
-81 -83 -85 -87 -89 -91
-94 -96
0
-1 -4 -6 -7 -9 -11
-14 -16
0
-17 -20 -22 -23 -25 -27
-30 -32
0
-33 -36 -38 -39 -41 -43
-46 -48
0
-49 -52 -54 -55 -57 -59
-62 -64
0
-65 -68 -70 -71 -73 -75
-78 -80
0
-81 -84 -86 -87 -89 -91
-94 -96
0
-2 -3 -6 -8 -9 -11
-14 -15
0
-18 -19 -22 -24 -25 -27
-30 -31
0
-34 -35 -38 -40 -41 -43
-46 -47
0
-50 -51 -54 -56 -57 -59
-62 -63
0
-66 -67 -70 -72 -73 -75
-78 -79
0
-82 -83 -86 -88 -89 -91
-94 -95
0
-2 -3 -5 -7 -9 -11
-13 -15
0
-18 -19 -21 -23 -25 -27
-29 -31
0
-34 -35 -37 -39 -41 -43
-45 -47
0
-50 -51 -53 -55 -57 -59
-61 -63
0
-66 -67 -69 -71 -73 -75
-77 -79
0
-82 -83 -85 -87 -89 -91
-93 -95
0
-1 -3 -6 -7 -10 -11
-13 -16
0
-17 -19 -22 -23 -26 -27
-29 -32
0
-33 -35 -38 -39 -42 -43
-45 -48
0
-49 -51 -54 -55 -58 -59
-61 -64
0
-65 -67 -70 -71 -74 -75
-77 -80
0
-81 -83 -86 -87 -90 -91
-93 -96
0
-1 -3 -6 -7 -9 -12
-13 -15
0
-17 -19 -22 -23 -25 -28
-29 -31
0
-33 -35 -38 -39 -41 -44
-45 -47
0
-49 -51 -54 -55 -57 -60
-61 -63
0
-65 -67 -70 -71 -73 -76
-77 -79
0
-81 -83 -86 -87 -89 -92
-93 -95
0
-1 -3 -6 -8 -10 -12
-14 -15
0
-17 -19 -22 -24 -26 -28
-30 -31
0
-33 -35 -38 -40 -42 -44
-46 -47
0
-49 -51 -54 -56 -58 -60
-62 -63
0
-65 -67 -70 -72 -74 -76
-78 -79
0
-81 -83 -86 -88 -90 -92
-94 -95
0
-1 -3 -5 -7 -10 -11
-14 -16
0
-17 -19 -21 -23 -26 -27
-30 -32
0
-33 -35 -37 -39 -42 -43
-46 -48
0
-49 -51 -53 -55 -58 -59
-62 -64
0
-65 -67 -69 -71 -74 -75
-78 -80
0
-81 -83 -85 -87 -90 -91
-94 -96
0
-2 -3 -6 -7 -10 -12
-14 -16
0
-18 -19 -22 -23 -26 -28
-30 -32
0
-34 -35 -38 -39 -42 -44
-46 -48
0
-50 -51 -54 -55 -58 -60
-62 -64
0
-66 -67 -70 -71 -74 -76
-78 -80
0
-82 -83 -86 -87 -90 -92
-94 -96
0
-1 -3 -6 -7 -9 -11
-13 -16
0
-17 -19 -22 -23 -25 -27
-29 -32
0
-33 -35 -38 -39 -41 -43
-45 -48
0
-49 -51 -54 -55 -57 -59
-61 -64
0
-65 -67 -70 -71 -73 -75
-77 -80
0
-81 -83 -86 -87 -89 -91
-93 -96
0
-1 -3 -6 -7 -9 -12
-13 -16
0
-17 -19 -22 -23 -25 -28
-29 -32
0
-33 -35 -38 -39 -41 -44
-45 -48
0
-49 -51 -54 -55 -57 -60
-61 -64
0
-65 -67 -70 -71 -73 -76
-77 -80
0
-81 -83 -86 -87 -89 -92
-93 -96
0
-1 -3 -6 -8 -10 -12
-14 -16
0
-17 -19 -22 -24 -26 -28
-30 -32
0
-33 -35 -38 -40 -42 -44
-46 -48
0
-49 -51 -54 -56 -58 -60
-62 -64
0
-65 -67 -70 -72 -74 -76
-78 -80
0
-81 -83 -86 -88 -90 -92
-94 -96
0
-1 -4 -6 -8 -9 -12
-14 -15
0
-17 -20 -22 -24 -25 -28
-30 -31
0
-33 -36 -38 -40 -41 -44
-46 -47
0
-49 -52 -54 -56 -57 -60
-62 -63
0
-65 -68 -70 -72 -73 -76
-78 -79
0
-81 -84 -86 -88 -89 -92
-94 -95
0
-1 -3 -5 -7 -9 -12
-13 -15
0
-17 -19 -21 -23 -25 -28
-29 -31
0
-33 -35 -37 -39 -41 -44
-45 -47
0
-49 -51 -53 -55 -57 -60
-61 -63
0
-65 -67 -69 -71 -73 -76
-77 -79
0
-81 -83 -85 -87 -89 -92
-93 -95
0
1 -97
0
3 -97
0
5 -97
0
8 -97
0
10 -97
0
11 -97
0
13 -97
0
15 -97
0
17 -98
0
19 -98
0
21 -98
0
24 -98
0
26 -98
0
27 -98
0
29 -98
0
31 -98
0
33 -99
0
35 -99
0
37 -99
0
40 -99
0
42 -99
0
43 -99
0
45 -99
0
47 -99
0
49 -100
0
51 -100
0
53 -100
0
56 -100
0
58 -100
0
59 -100
0
61 -100
0
63 -100
0
65 -101
0
67 -101
0
69 -101
0
72 -101
0
74 -101
0
75 -101
0
77 -101
0
79 -101
0
81 -102
0
83 -102
0
85 -102
0
88 -102
0
90 -102
0
91 -102
0
93 -102
0
95 -102
0
2 -103
0
3 -103
0
6 -103
0
8 -103
0
9 -103
0
12 -103
0
13 -103
0
16 -103
0
18 -104
0
19 -104
0
22 -104
0
24 -104
0
25 -104
0
28 -104
0
29 -104
0
32 -104
0
34 -105
0
35 -105
0
38 -105
0
40 -105
0
41 -105
0
44 -105
0
45 -105
0
48 -105
0
50 -106
0
51 -106
0
54 -106
0
56 -106
0
57 -106
0
60 -106
0
61 -106
0
64 -106
0
66 -107
0
67 -107
0
70 -107
0
72 -107
0
73 -107
0
76 -107
0
77 -107
0
80 -107
0
82 -108
0
83 -108
0
86 -108
0
88 -108
0
89 -108
0
92 -108
0
93 -108
0
96 -108
0
2 -109
0
4 -109
0
5 -109
0
8 -109
0
10 -109
0
11 -109
0
13 -109
0
16 -109
0
18 -110
0
20 -110
0
21 -110
0
24 -110
0
26 -110
0
27 -110
0
29 -110
0
32 -110
0
34 -111
0
36 -111
0
37 -111
0
40 -111
0
42 -111
0
43 -111
0
45 -111
0
48 -111
0
50 -112
0
52 -112
0
53 -112
0
56 -112
0
58 -112
0
59 -112
0
61 -112
0
64 -112
0
66 -113
0
68 -113
0
69 -113
0
72 -113
0
74 -113
0
75 -113
0
77 -113
0
80 -113
0
82 -114
0
84 -114
0
85 -114
0
88 -114
0
90 -114
0
91 -114
0
93 -114
0
96 -114
0
2 -115
0
4 -115
0
5 -115
0
7 -115
0
9 -115
0
11 -115
0
14 -115
0
15 -115
0
18 -116
0
20 -116
0
21 -116
0
23 -116
0
25 -116
0
27 -116
0
30 -116
0
31 -116
0
34 -117
0
36 -117
0
37 -117
0
39 -117
0
41 -117
0
43 -117
0
46 -117
0
47 -117
0
50 -118
0
52 -118
0
53 -118
0
55 -118
0
57 -118
0
59 -118
0
62 -118
0
63 -118
0
66 -119
0
68 -119
0
69 -119
0
71 -119
0
73 -119
0
75 -119
0
78 -119
0
79 -119
0
82 -120
0
84 -120
0
85 -120
0
87 -120
0
89 -120
0
91 -120
0
94 -120
0
95 -120
0
1 -121
0
3 -121
0
5 -121
0
8 -121
0
9 -121
0
11 -121
0
13 -121
0
16 -121
0
17 -122
0
19 -122
0
21 -122
0
24 -122
0
25 -122
0
27 -122
0
29 -122
0
32 -122
0
33 -123
0
35 -123
0
37 -123
0
40 -123
0
41 -123
0
43 -123
0
45 -123
0
48 -123
0
49 -124
0
51 -124
0
53 -124
0
56 -124
0
57 -124
0
59 -124
0
61 -124
0
64 -124
0
65 -125
0
67 -125
0
69 -125
0
72 -125
0
73 -125
0
75 -125
0
77 -125
0
80 -125
0
81 -126
0
83 -126
0
85 -126
0
88 -126
0
89 -126
0
91 -126
0
93 -126
0
96 -126
0
1 -127
0
4 -127
0
5 -127
0
8 -127
0
10 -127
0
12 -127
0
14 -127
0
16 -127
0
17 -128
0
20 -128
0
21 -128
0
24 -128
0
26 -128
0
28 -128
0
30 -128
0
32 -128
0
33 -129
0
36 -129
0
37 -129
0
40 -129
0
42 -129
0
44 -129
0
46 -129
0
48 -129
0
49 -130
0
52 -130
0
53 -130
0
56 -130
0
58 -130
0
60 -130
0
62 -130
0
64 -130
0
65 -131
0
68 -131
0
69 -131
0
72 -131
0
74 -131
0
76 -131
0
78 -131
0
80 -131
0
81 -132
0
84 -132
0
85 -132
0
88 -132
0
90 -132
0
92 -132
0
94 -132
0
96 -132
0
1 -133
0
4 -133
0
5 -133
0
8 -133
0
10 -133
0
11 -133
0
13 -133
0
16 -133
0
17 -134
0
20 -134
0
21 -134
0
24 -134
0
26 -134
0
27 -134
0
29 -134
0
32 -134
0
33 -135
0
36 -135
0
37 -135
0
40 -135
0
42 -135
0
43 -135
0
45 -135
0
48 -135
0
49 -136
0
52 -136
0
53 -136
0
56 -136
0
58 -136
0
59 -136
0
61 -136
0
64 -136
0
65 -137
0
68 -137
0
69 -137
0
72 -137
0
74 -137
0
75 -137
0
77 -137
0
80 -137
0
81 -138
0
84 -138
0
85 -138
0
88 -138
0
90 -138
0
91 -138
0
93 -138
0
96 -138
0
2 -139
0
3 -139
0
5 -139
0
8 -139
0
10 -139
0
11 -139
0
13 -139
0
16 -139
0
18 -140
0
19 -140
0
21 -140
0
24 -140
0
26 -140
0
27 -140
0
29 -140
0
32 -140
0
34 -141
0
35 -141
0
37 -141
0
40 -141
0
42 -141
0
43 -141
0
45 -141
0
48 -141
0
50 -142
0
51 -142
0
53 -142
0
56 -142
0
58 -142
0
59 -142
0
61 -142
0
64 -142
0
66 -143
0
67 -143
0
69 -143
0
72 -143
0
74 -143
0
75 -143
0
77 -143
0
80 -143
0
82 -144
0
83 -144
0
85 -144
0
88 -144
0
90 -144
0
91 -144
0
93 -144
0
96 -144
0
1 -145
0
3 -145
0
6 -145
0
8 -145
0
9 -145
0
11 -145
0
13 -145
0
15 -145
0
17 -146
0
19 -146
0
22 -146
0
24 -146
0
25 -146
0
27 -146
0
29 -146
0
31 -146
0
33 -147
0
35 -147
0
38 -147
0
40 -147
0
41 -147
0
43 -147
0
45 -147
0
47 -147
0
49 -148
0
51 -148
0
54 -148
0
56 -148
0
57 -148
0
59 -148
0
61 -148
0
63 -148
0
65 -149
0
67 -149
0
70 -149
0
72 -149
0
73 -149
0
75 -149
0
77 -149
0
79 -149
0
81 -150
0
83 -150
0
86 -150
0
88 -150
0
89 -150
0
91 -150
0
93 -150
0
95 -150
0
1 -151
0
3 -151
0
6 -151
0
8 -151
0
10 -151
0
12 -151
0
13 -151
0
15 -151
0
17 -152
0
19 -152
0
22 -152
0
24 -152
0
26 -152
0
28 -152
0
29 -152
0
31 -152
0
33 -153
0
35 -153
0
38 -153
0
40 -153
0
42 -153
0
44 -153
0
45 -153
0
47 -153
0
49 -154
0
51 -154
0
54 -154
0
56 -154
0
58 -154
0
60 -154
0
61 -154
0
63 -154
0
65 -155
0
67 -155
0
70 -155
0
72 -155
0
74 -155
0
76 -155
0
77 -155
0
79 -155
0
81 -156
0
83 -156
0
86 -156
0
88 -156
0
90 -156
0
92 -156
0
93 -156
0
95 -156
0
2 -157
0
3 -157
0
5 -157
0
8 -157
0
9 -157
0
12 -157
0
14 -157
0
16 -157
0
18 -158
0
19 -158
0
21 -158
0
24 -158
0
25 -158
0
28 -158
0
30 -158
0
32 -158
0
34 -159
0
35 -159
0
37 -159
0
40 -159
0
41 -159
0
44 -159
0
46 -159
0
48 -159
0
50 -160
0
51 -160
0
53 -160
0
56 -160
0
57 -160
0
60 -160
0
62 -160
0
64 -160
0
66 -161
0
67 -161
0
69 -161
0
72 -161
0
73 -161
0
76 -161
0
78 -161
0
80 -161
0
82 -162
0
83 -162
0
85 -162
0
88 -162
0
89 -162
0
92 -162
0
94 -162
0
96 -162
0
1 -163
0
4 -163
0
5 -163
0
8 -163
0
10 -163
0
12 -163
0
13 -163
0
16 -163
0
17 -164
0
20 -164
0
21 -164
0
24 -164
0
26 -164
0
28 -164
0
29 -164
0
32 -164
0
33 -165
0
36 -165
0
37 -165
0
40 -165
0
42 -165
0
44 -165
0
45 -165
0
48 -165
0
49 -166
0
52 -166
0
53 -166
0
56 -166
0
58 -166
0
60 -166
0
61 -166
0
64 -166
0
65 -167
0
68 -167
0
69 -167
0
72 -167
0
74 -167
0
76 -167
0
77 -167
0
80 -167
0
81 -168
0
84 -168
0
85 -168
0
88 -168
0
90 -168
0
92 -168
0
93 -168
0
96 -168
0
2 -169
0
4 -169
0
5 -169
0
7 -169
0
10 -169
0
11 -169
0
14 -169
0
15 -169
0
18 -170
0
20 -170
0
21 -170
0
23 -170
0
26 -170
0
27 -170
0
30 -170
0
31 -170
0
34 -171
0
36 -171
0
37 -171
0
39 -171
0
42 -171
0
43 -171
0
46 -171
0
47 -171
0
50 -172
0
52 -172
0
53 -172
0
55 -172
0
58 -172
0
59 -172
0
62 -172
0
63 -172
0
66 -173
0
68 -173
0
69 -173
0
71 -173
0
74 -173
0
75 -173
0
78 -173
0
79 -173
0
82 -174
0
84 -174
0
85 -174
0
87 -174
0
90 -174
0
91 -174
0
94 -174
0
95 -174
0
1 -175
0
3 -175
0
6 -175
0
8 -175
0
9 -175
0
11 -175
0
13 -175
0
16 -175
0
17 -176
0
19 -176
0
22 -176
0
24 -176
0
25 -176
0
27 -176
0
29 -176
0
32 -176
0
33 -177
0
35 -177
0
38 -177
0
40 -177
0
41 -177
0
43 -177
0
45 -177
0
48 -177
0
49 -178
0
51 -178
0
54 -178
0
56 -178
0
57 -178
0
59 -178
0
61 -178
0
64 -178
0
65 -179
0
67 -179
0
70 -179
0
72 -179
0
73 -179
0
75 -179
0
77 -179
0
80 -179
0
81 -180
0
83 -180
0
86 -180
0
88 -180
0
89 -180
0
91 -180
0
93 -180
0
96 -180
0
2 -181
0
3 -181
0
5 -181
0
8 -181
0
10 -181
0
12 -181
0
13 -181
0
16 -181
0
18 -182
0
19 -182
0
21 -182
0
24 -182
0
26 -182
0
28 -182
0
29 -182
0
32 -182
0
34 -183
0
35 -183
0
37 -183
0
40 -183
0
42 -183
0
44 -183
0
45 -183
0
48 -183
0
50 -184
0
51 -184
0
53 -184
0
56 -184
0
58 -184
0
60 -184
0
61 -184
0
64 -184
0
66 -185
0
67 -185
0
69 -185
0
72 -185
0
74 -185
0
76 -185
0
77 -185
0
80 -185
0
82 -186
0
83 -186
0
85 -186
0
88 -186
0
90 -186
0
92 -186
0
93 -186
0
96 -186
0
1 -187
0
3 -187
0
5 -187
0
8 -187
0
10 -187
0
12 -187
0
13 -187
0
15 -187
0
17 -188
0
19 -188
0
21 -188
0
24 -188
0
26 -188
0
28 -188
0
29 -188
0
31 -188
0
33 -189
0
35 -189
0
37 -189
0
40 -189
0
42 -189
0
44 -189
0
45 -189
0
47 -189
0
49 -190
0
51 -190
0
53 -190
0
56 -190
0
58 -190
0
60 -190
0
61 -190
0
63 -190
0
65 -191
0
67 -191
0
69 -191
0
72 -191
0
74 -191
0
76 -191
0
77 -191
0
79 -191
0
81 -192
0
83 -192
0
85 -192
0
88 -192
0
90 -192
0
92 -192
0
93 -192
0
95 -192
0
1 -193
0
3 -193
0
5 -193
0
8 -193
0
9 -193
0
11 -193
0
14 -193
0
15 -193
0
17 -194
0
19 -194
0
21 -194
0
24 -194
0
25 -194
0
27 -194
0
30 -194
0
31 -194
0
33 -195
0
35 -195
0
37 -195
0
40 -195
0
41 -195
0
43 -195
0
46 -195
0
47 -195
0
49 -196
0
51 -196
0
53 -196
0
56 -196
0
57 -196
0
59 -196
0
62 -196
0
63 -196
0
65 -197
0
67 -197
0
69 -197
0
72 -197
0
73 -197
0
75 -197
0
78 -197
0
79 -197
0
81 -198
0
83 -198
0
85 -198
0
88 -198
0
89 -198
0
91 -198
0
94 -198
0
95 -198
0
2 -199
0
3 -199
0
5 -199
0
8 -199
0
10 -199
0
11 -199
0
13 -199
0
16 -199
0
18 -200
0
19 -200
0
21 -200
0
24 -200
0
26 -200
0
27 -200
0
29 -200
0
32 -200
0
34 -201
0
35 -201
0
37 -201
0
40 -201
0
42 -201
0
43 -201
0
45 -201
0
48 -201
0
50 -202
0
51 -202
0
53 -202
0
56 -202
0
58 -202
0
59 -202
0
61 -202
0
64 -202
0
66 -203
0
67 -203
0
69 -203
0
72 -203
0
74 -203
0
75 -203
0
77 -203
0
80 -203
0
82 -204
0
83 -204
0
85 -204
0
88 -204
0
90 -204
0
91 -204
0
93 -204
0
96 -204
0
2 -205
0
4 -205
0
5 -205
0
8 -205
0
10 -205
0
12 -205
0
13 -205
0
16 -205
0
18 -206
0
20 -206
0
21 -206
0
24 -206
0
26 -206
0
28 -206
0
29 -206
0
32 -206
0
34 -207
0
36 -207
0
37 -207
0
40 -207
0
42 -207
0
44 -207
0
45 -207
0
48 -207
0
50 -208
0
52 -208
0
53 -208
0
56 -208
0
58 -208
0
60 -208
0
61 -208
0
64 -208
0
66 -209
0
68 -209
0
69 -209
0
72 -209
0
74 -209
0
76 -209
0
77 -209
0
80 -209
0
82 -210
0
84 -210
0
85 -210
0
88 -210
0
90 -210
0
92 -210
0
93 -210
0
96 -210
0
1 -211
0
3 -211
0
5 -211
0
8 -211
0
9 -211
0
12 -211
0
13 -211
0
15 -211
0
17 -212
0
19 -212
0
21 -212
0
24 -212
0
25 -212
0
28 -212
0
29 -212
0
31 -212
0
33 -213
0
35 -213
0
37 -213
0
40 -213
0
41 -213
0
44 -213
0
45 -213
0
47 -213
0
49 -214
0
51 -214
0
53 -214
0
56 -214
0
57 -214
0
60 -214
0
61 -214
0
63 -214
0
65 -215
0
67 -215
0
69 -215
0
72 -215
0
73 -215
0
76 -215
0
77 -215
0
79 -215
0
81 -216
0
83 -216
0
85 -216
0
88 -216
0
89 -216
0
92 -216
0
93 -216
0
95 -216
0
2 -217
0
3 -217
0
5 -217
0
8 -217
0
10 -217
0
11 -217
0
14 -217
0
15 -217
0
18 -218
0
19 -218
0
21 -218
0
24 -218
0
26 -218
0
27 -218
0
30 -218
0
31 -218
0
34 -219
0
35 -219
0
37 -219
0
40 -219
0
42 -219
0
43 -219
0
46 -219
0
47 -219
0
50 -220
0
51 -220
0
53 -220
0
56 -220
0
58 -220
0
59 -220
0
62 -220
0
63 -220
0
66 -221
0
67 -221
0
69 -221
0
72 -221
0
74 -221
0
75 -221
0
78 -221
0
79 -221
0
82 -222
0
83 -222
0
85 -222
0
88 -222
0
90 -222
0
91 -222
0
94 -222
0
95 -222
0
1 -223
0
4 -223
0
6 -223
0
8 -223
0
10 -223
0
12 -223
0
13 -223
0
15 -223
0
17 -224
0
20 -224
0
22 -224
0
24 -224
0
26 -224
0
28 -224
0
29 -224
0
31 -224
0
33 -225
0
36 -225
0
38 -225
0
40 -225
0
42 -225
0
44 -225
0
45 -225
0
47 -225
0
49 -226
0
52 -226
0
54 -226
0
56 -226
0
58 -226
0
60 -226
0
61 -226
0
63 -226
0
65 -227
0
68 -227
0
70 -227
0
72 -227
0
74 -227
0
76 -227
0
77 -227
0
79 -227
0
81 -228
0
84 -228
0
86 -228
0
88 -228
0
90 -228
0
92 -228
0
93 -228
0
95 -228
0
1 -229
0
3 -229
0
6 -229
0
8 -229
0
9 -229
0
12 -229
0
13 -229
0
16 -229
0
17 -230
0
19 -230
0
22 -230
0
24 -230
0
25 -230
0
28 -230
0
29 -230
0
32 -230
0
33 -231
0
35 -231
0
38 -231
0
40 -231
0
41 -231
0
44 -231
0
45 -231
0
48 -231
0
49 -232
0
51 -232
0
54 -232
0
56 -232
0
57 -232
0
60 -232
0
61 -232
0
64 -232
0
65 -233
0
67 -233
0
70 -233
0
72 -233
0
73 -233
0
76 -233
0
77 -233
0
80 -233
0
81 -234
0
83 -234
0
86 -234
0
88 -234
0
89 -234
0
92 -234
0
93 -234
0
96 -234
0
2 -235
0
4 -235
0
5 -235
0
8 -235
0
9 -235
0
12 -235
0
13 -235
0
16 -235
0
18 -236
0
20 -236
0
21 -236
0
24 -236
0
25 -236
0
28 -236
0
29 -236
0
32 -236
0
34 -237
0
36 -237
0
37 -237
0
40 -237
0
41 -237
0
44 -237
0
45 -237
0
48 -237
0
50 -238
0
52 -238
0
53 -238
0
56 -238
0
57 -238
0
60 -238
0
61 -238
0
64 -238
0
66 -239
0
68 -239
0
69 -239
0
72 -239
0
73 -239
0
76 -239
0
77 -239
0
80 -239
0
82 -240
0
84 -240
0
85 -240
0
88 -240
0
89 -240
0
92 -240
0
93 -240
0
96 -240
0
1 -241
0
3 -241
0
6 -241
0
8 -241
0
9 -241
0
11 -241
0
13 -241
0
16 -241
0
17 -242
0
19 -242
0
22 -242
0
24 -242
0
25 -242
0
27 -242
0
29 -242
0
32 -242
0
33 -243
0
35 -243
0
38 -243
0
40 -243
0
41 -243
0
43 -243
0
45 -243
0
48 -243
0
49 -244
0
51 -244
0
54 -244
0
56 -244
0
57 -244
0
59 -244
0
61 -244
0
64 -244
0
65 -245
0
67 -245
0
70 -245
0
72 -245
0
73 -245
0
75 -245
0
77 -245
0
80 -245
0
81 -246
0
83 -246
0
86 -246
0
88 -246
0
89 -246
0
91 -246
0
93 -246
0
96 -246
0
2 -247
0
4 -247
0
5 -247
0
7 -247
0
10 -247
0
11 -247
0
13 -247
0
16 -247
0
18 -248
0
20 -248
0
21 -248
0
23 -248
0
26 -248
0
27 -248
0
29 -248
0
32 -248
0
34 -249
0
36 -249
0
37 -249
0
39 -249
0
42 -249
0
43 -249
0
45 -249
0
48 -249
0
50 -250
0
52 -250
0
53 -250
0
55 -250
0
58 -250
0
59 -250
0
61 -250
0
64 -250
0
66 -251
0
68 -251
0
69 -251
0
71 -251
0
74 -251
0
75 -251
0
77 -251
0
80 -251
0
82 -252
0
84 -252
0
85 -252
0
87 -252
0
90 -252
0
91 -252
0
93 -252
0
96 -252
0
1 -253
0
4 -253
0
5 -253
0
8 -253
0
9 -253
0
11 -253
0
14 -253
0
15 -253
0
17 -254
0
20 -254
0
21 -254
0
24 -254
0
25 -254
0
27 -254
0
30 -254
0
31 -254
0
33 -255
0
36 -255
0
37 -255
0
40 -255
0
41 -255
0
43 -255
0
46 -255
0
47 -255
0
49 -256
0
52 -256
0
53 -256
0
56 -256
0
57 -256
0
59 -256
0
62 -256
0
63 -256
0
65 -257
0
68 -257
0
69 -257
0
72 -257
0
73 -257
0
75 -257
0
78 -257
0
79 -257
0
81 -258
0
84 -258
0
85 -258
0
88 -258
0
89 -258
0
91 -258
0
94 -258
0
95 -258
0
1 -259
0
3 -259
0
5 -259
0
8 -259
0
10 -259
0
12 -259
0
14 -259
0
15 -259
0
17 -260
0
19 -260
0
21 -260
0
24 -260
0
26 -260
0
28 -260
0
30 -260
0
31 -260
0
33 -261
0
35 -261
0
37 -261
0
40 -261
0
42 -261
0
44 -261
0
46 -261
0
47 -261
0
49 -262
0
51 -262
0
53 -262
0
56 -262
0
58 -262
0
60 -262
0
62 -262
0
63 -262
0
65 -263
0
67 -263
0
69 -263
0
72 -263
0
74 -263
0
76 -263
0
78 -263
0
79 -263
0
81 -264
0
83 -264
0
85 -264
0
88 -264
0
90 -264
0
92 -264
0
94 -264
0
95 -264
0
97 98 99 100 101 102
0
103 104 105 106 107 108
0
109 110 111 112 113 114
0
115 116 117 118 119 120
0
121 122 123 124 125 126
0
127 128 129 130 131 132
0
133 134 135 136 137 138
0
139 140 141 142 143 144
0
145 146 147 148 149 150
0
151 152 153 154 155 156
0
157 158 159 160 161 162
0
163 164 165 166 167 168
0
169 170 171 172 173 174
0
175 176 177 178 179 180
0
181 182 183 184 185 186
0
187 188 189 190 191 192
0
193 194 195 196 197 198
0
199 200 201 202 203 204
0
205 206 207 208 209 210
0
211 212 213 214 215 216
0
217 218 219 220 221 222
0
223 224 225 226 227 228
0
229 230 231 232 233 234
0
235 236 237 238 239 240
0
241 242 243 244 245 246
0
247 248 249 250 251 252
0
253 254 255 256 257 258
0
259 260 261 262 263 264
0