puresat-0.1: dimacs/inductive-inference/ii8b1.cnf
c Filename: ii8b1.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 336 2068
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 -7 -10 -12
-13 -15
0
-18 -19 -22 -23 -26 -28
-29 -31
0
-34 -35 -38 -39 -42 -44
-45 -47
0
-50 -51 -54 -55 -58 -60
-61 -63
0
-66 -67 -70 -71 -74 -76
-77 -79
0
-82 -83 -86 -87 -90 -92
-93 -95
0
-1 -3 -6 -7 -10 -11
-14 -15
0
-17 -19 -22 -23 -26 -27
-30 -31
0
-33 -35 -38 -39 -42 -43
-46 -47
0
-49 -51 -54 -55 -58 -59
-62 -63
0
-65 -67 -70 -71 -74 -75
-78 -79
0
-81 -83 -86 -87 -90 -91
-94 -95
0
-1 -3 -5 -8 -9 -12
-13 -15
0
-17 -19 -21 -24 -25 -28
-29 -31
0
-33 -35 -37 -40 -41 -44
-45 -47
0
-49 -51 -53 -56 -57 -60
-61 -63
0
-65 -67 -69 -72 -73 -76
-77 -79
0
-81 -83 -85 -88 -89 -92
-93 -95
0
-2 -3 -5 -8 -9 -12
-14 -15
0
-18 -19 -21 -24 -25 -28
-30 -31
0
-34 -35 -37 -40 -41 -44
-46 -47
0
-50 -51 -53 -56 -57 -60
-62 -63
0
-66 -67 -69 -72 -73 -76
-78 -79
0
-82 -83 -85 -88 -89 -92
-94 -95
0
-1 -3 -5 -8 -10 -12
-13 -15
0
-17 -19 -21 -24 -26 -28
-29 -31
0
-33 -35 -37 -40 -42 -44
-45 -47
0
-49 -51 -53 -56 -58 -60
-61 -63
0
-65 -67 -69 -72 -74 -76
-77 -79
0
-81 -83 -85 -88 -90 -92
-93 -95
0
-2 -3 -5 -7 -10 -12
-13 -15
0
-18 -19 -21 -23 -26 -28
-29 -31
0
-34 -35 -37 -39 -42 -44
-45 -47
0
-50 -51 -53 -55 -58 -60
-61 -63
0
-66 -67 -69 -71 -74 -76
-77 -79
0
-82 -83 -85 -87 -90 -92
-93 -95
0
-2 -3 -5 -8 -10 -11
-13 -15
0
-18 -19 -21 -24 -26 -27
-29 -31
0
-34 -35 -37 -40 -42 -43
-45 -47
0
-50 -51 -53 -56 -58 -59
-61 -63
0
-66 -67 -69 -72 -74 -75
-77 -79
0
-82 -83 -85 -88 -90 -91
-93 -95
0
-2 -3 -5 -8 -10 -11
-13 -15
0
-18 -19 -21 -24 -26 -27
-29 -31
0
-34 -35 -37 -40 -42 -43
-45 -47
0
-50 -51 -53 -56 -58 -59
-61 -63
0
-66 -67 -69 -72 -74 -75
-77 -79
0
-82 -83 -85 -88 -90 -91
-93 -95
0
-2 -3 -6 -7 -10 -12
-14 -15
0
-18 -19 -22 -23 -26 -28
-30 -31
0
-34 -35 -38 -39 -42 -44
-46 -47
0
-50 -51 -54 -55 -58 -60
-62 -63
0
-66 -67 -70 -71 -74 -76
-78 -79
0
-82 -83 -86 -87 -90 -92
-94 -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 -97
0
3 -97
0
6 -97
0
7 -97
0
9 -97
0
11 -97
0
13 -97
0
16 -97
0
17 -98
0
19 -98
0
22 -98
0
23 -98
0
25 -98
0
27 -98
0
29 -98
0
32 -98
0
33 -99
0
35 -99
0
38 -99
0
39 -99
0
41 -99
0
43 -99
0
45 -99
0
48 -99
0
49 -100
0
51 -100
0
54 -100
0
55 -100
0
57 -100
0
59 -100
0
61 -100
0
64 -100
0
65 -101
0
67 -101
0
70 -101
0
71 -101
0
73 -101
0
75 -101
0
77 -101
0
80 -101
0
81 -102
0
83 -102
0
86 -102
0
87 -102
0
89 -102
0
91 -102
0
93 -102
0
96 -102
0
1 -103
0
4 -103
0
5 -103
0
7 -103
0
9 -103
0
12 -103
0
14 -103
0
15 -103
0
17 -104
0
20 -104
0
21 -104
0
23 -104
0
25 -104
0
28 -104
0
30 -104
0
31 -104
0
33 -105
0
36 -105
0
37 -105
0
39 -105
0
41 -105
0
44 -105
0
46 -105
0
47 -105
0
49 -106
0
52 -106
0
53 -106
0
55 -106
0
57 -106
0
60 -106
0
62 -106
0
63 -106
0
65 -107
0
68 -107
0
69 -107
0
71 -107
0
73 -107
0
76 -107
0
78 -107
0
79 -107
0
81 -108
0
84 -108
0
85 -108
0
87 -108
0
89 -108
0
92 -108
0
94 -108
0
95 -108
0
2 -109
0
4 -109
0
6 -109
0
8 -109
0
9 -109
0
11 -109
0
14 -109
0
16 -109
0
18 -110
0
20 -110
0
22 -110
0
24 -110
0
25 -110
0
27 -110
0
30 -110
0
32 -110
0
34 -111
0
36 -111
0
38 -111
0
40 -111
0
41 -111
0
43 -111
0
46 -111
0
48 -111
0
50 -112
0
52 -112
0
54 -112
0
56 -112
0
57 -112
0
59 -112
0
62 -112
0
64 -112
0
66 -113
0
68 -113
0
70 -113
0
72 -113
0
73 -113
0
75 -113
0
78 -113
0
80 -113
0
82 -114
0
84 -114
0
86 -114
0
88 -114
0
89 -114
0
91 -114
0
94 -114
0
96 -114
0
2 -115
0
4 -115
0
6 -115
0
7 -115
0
10 -115
0
12 -115
0
13 -115
0
16 -115
0
18 -116
0
20 -116
0
22 -116
0
23 -116
0
26 -116
0
28 -116
0
29 -116
0
32 -116
0
34 -117
0
36 -117
0
38 -117
0
39 -117
0
42 -117
0
44 -117
0
45 -117
0
48 -117
0
50 -118
0
52 -118
0
54 -118
0
55 -118
0
58 -118
0
60 -118
0
61 -118
0
64 -118
0
66 -119
0
68 -119
0
70 -119
0
71 -119
0
74 -119
0
76 -119
0
77 -119
0
80 -119
0
82 -120
0
84 -120
0
86 -120
0
87 -120
0
90 -120
0
92 -120
0
93 -120
0
96 -120
0
2 -121
0
4 -121
0
6 -121
0
8 -121
0
10 -121
0
11 -121
0
13 -121
0
15 -121
0
18 -122
0
20 -122
0
22 -122
0
24 -122
0
26 -122
0
27 -122
0
29 -122
0
31 -122
0
34 -123
0
36 -123
0
38 -123
0
40 -123
0
42 -123
0
43 -123
0
45 -123
0
47 -123
0
50 -124
0
52 -124
0
54 -124
0
56 -124
0
58 -124
0
59 -124
0
61 -124
0
63 -124
0
66 -125
0
68 -125
0
70 -125
0
72 -125
0
74 -125
0
75 -125
0
77 -125
0
79 -125
0
82 -126
0
84 -126
0
86 -126
0
88 -126
0
90 -126
0
91 -126
0
93 -126
0
95 -126
0
2 -127
0
4 -127
0
6 -127
0
8 -127
0
9 -127
0
11 -127
0
14 -127
0
16 -127
0
18 -128
0
20 -128
0
22 -128
0
24 -128
0
25 -128
0
27 -128
0
30 -128
0
32 -128
0
34 -129
0
36 -129
0
38 -129
0
40 -129
0
41 -129
0
43 -129
0
46 -129
0
48 -129
0
50 -130
0
52 -130
0
54 -130
0
56 -130
0
57 -130
0
59 -130
0
62 -130
0
64 -130
0
66 -131
0
68 -131
0
70 -131
0
72 -131
0
73 -131
0
75 -131
0
78 -131
0
80 -131
0
82 -132
0
84 -132
0
86 -132
0
88 -132
0
89 -132
0
91 -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
15 -133
0
17 -134
0
20 -134
0
21 -134
0
24 -134
0
26 -134
0
27 -134
0
29 -134
0
31 -134
0
33 -135
0
36 -135
0
37 -135
0
40 -135
0
42 -135
0
43 -135
0
45 -135
0
47 -135
0
49 -136
0
52 -136
0
53 -136
0
56 -136
0
58 -136
0
59 -136
0
61 -136
0
63 -136
0
65 -137
0
68 -137
0
69 -137
0
72 -137
0
74 -137
0
75 -137
0
77 -137
0
79 -137
0
81 -138
0
84 -138
0
85 -138
0
88 -138
0
90 -138
0
91 -138
0
93 -138
0
95 -138
0
2 -139
0
4 -139
0
5 -139
0
7 -139
0
9 -139
0
11 -139
0
14 -139
0
16 -139
0
18 -140
0
20 -140
0
21 -140
0
23 -140
0
25 -140
0
27 -140
0
30 -140
0
32 -140
0
34 -141
0
36 -141
0
37 -141
0
39 -141
0
41 -141
0
43 -141
0
46 -141
0
48 -141
0
50 -142
0
52 -142
0
53 -142
0
55 -142
0
57 -142
0
59 -142
0
62 -142
0
64 -142
0
66 -143
0
68 -143
0
69 -143
0
71 -143
0
73 -143
0
75 -143
0
78 -143
0
80 -143
0
82 -144
0
84 -144
0
85 -144
0
87 -144
0
89 -144
0
91 -144
0
94 -144
0
96 -144
0
1 -145
0
4 -145
0
6 -145
0
7 -145
0
9 -145
0
11 -145
0
14 -145
0
15 -145
0
17 -146
0
20 -146
0
22 -146
0
23 -146
0
25 -146
0
27 -146
0
30 -146
0
31 -146
0
33 -147
0
36 -147
0
38 -147
0
39 -147
0
41 -147
0
43 -147
0
46 -147
0
47 -147
0
49 -148
0
52 -148
0
54 -148
0
55 -148
0
57 -148
0
59 -148
0
62 -148
0
63 -148
0
65 -149
0
68 -149
0
70 -149
0
71 -149
0
73 -149
0
75 -149
0
78 -149
0
79 -149
0
81 -150
0
84 -150
0
86 -150
0
87 -150
0
89 -150
0
91 -150
0
94 -150
0
95 -150
0
2 -151
0
4 -151
0
6 -151
0
7 -151
0
9 -151
0
12 -151
0
13 -151
0
16 -151
0
18 -152
0
20 -152
0
22 -152
0
23 -152
0
25 -152
0
28 -152
0
29 -152
0
32 -152
0
34 -153
0
36 -153
0
38 -153
0
39 -153
0
41 -153
0
44 -153
0
45 -153
0
48 -153
0
50 -154
0
52 -154
0
54 -154
0
55 -154
0
57 -154
0
60 -154
0
61 -154
0
64 -154
0
66 -155
0
68 -155
0
70 -155
0
71 -155
0
73 -155
0
76 -155
0
77 -155
0
80 -155
0
82 -156
0
84 -156
0
86 -156
0
87 -156
0
89 -156
0
92 -156
0
93 -156
0
96 -156
0
1 -157
0
4 -157
0
5 -157
0
7 -157
0
9 -157
0
12 -157
0
13 -157
0
16 -157
0
17 -158
0
20 -158
0
21 -158
0
23 -158
0
25 -158
0
28 -158
0
29 -158
0
32 -158
0
33 -159
0
36 -159
0
37 -159
0
39 -159
0
41 -159
0
44 -159
0
45 -159
0
48 -159
0
49 -160
0
52 -160
0
53 -160
0
55 -160
0
57 -160
0
60 -160
0
61 -160
0
64 -160
0
65 -161
0
68 -161
0
69 -161
0
71 -161
0
73 -161
0
76 -161
0
77 -161
0
80 -161
0
81 -162
0
84 -162
0
85 -162
0
87 -162
0
89 -162
0
92 -162
0
93 -162
0
96 -162
0
2 -163
0
3 -163
0
5 -163
0
8 -163
0
10 -163
0
12 -163
0
14 -163
0
16 -163
0
18 -164
0
19 -164
0
21 -164
0
24 -164
0
26 -164
0
28 -164
0
30 -164
0
32 -164
0
34 -165
0
35 -165
0
37 -165
0
40 -165
0
42 -165
0
44 -165
0
46 -165
0
48 -165
0
50 -166
0
51 -166
0
53 -166
0
56 -166
0
58 -166
0
60 -166
0
62 -166
0
64 -166
0
66 -167
0
67 -167
0
69 -167
0
72 -167
0
74 -167
0
76 -167
0
78 -167
0
80 -167
0
82 -168
0
83 -168
0
85 -168
0
88 -168
0
90 -168
0
92 -168
0
94 -168
0
96 -168
0
2 -169
0
4 -169
0
5 -169
0
7 -169
0
9 -169
0
12 -169
0
14 -169
0
16 -169
0
18 -170
0
20 -170
0
21 -170
0
23 -170
0
25 -170
0
28 -170
0
30 -170
0
32 -170
0
34 -171
0
36 -171
0
37 -171
0
39 -171
0
41 -171
0
44 -171
0
46 -171
0
48 -171
0
50 -172
0
52 -172
0
53 -172
0
55 -172
0
57 -172
0
60 -172
0
62 -172
0
64 -172
0
66 -173
0
68 -173
0
69 -173
0
71 -173
0
73 -173
0
76 -173
0
78 -173
0
80 -173
0
82 -174
0
84 -174
0
85 -174
0
87 -174
0
89 -174
0
92 -174
0
94 -174
0
96 -174
0
2 -175
0
4 -175
0
5 -175
0
8 -175
0
10 -175
0
12 -175
0
13 -175
0
16 -175
0
18 -176
0
20 -176
0
21 -176
0
24 -176
0
26 -176
0
28 -176
0
29 -176
0
32 -176
0
34 -177
0
36 -177
0
37 -177
0
40 -177
0
42 -177
0
44 -177
0
45 -177
0
48 -177
0
50 -178
0
52 -178
0
53 -178
0
56 -178
0
58 -178
0
60 -178
0
61 -178
0
64 -178
0
66 -179
0
68 -179
0
69 -179
0
72 -179
0
74 -179
0
76 -179
0
77 -179
0
80 -179
0
82 -180
0
84 -180
0
85 -180
0
88 -180
0
90 -180
0
92 -180
0
93 -180
0
96 -180
0
2 -181
0
4 -181
0
6 -181
0
7 -181
0
10 -181
0
11 -181
0
13 -181
0
16 -181
0
18 -182
0
20 -182
0
22 -182
0
23 -182
0
26 -182
0
27 -182
0
29 -182
0
32 -182
0
34 -183
0
36 -183
0
38 -183
0
39 -183
0
42 -183
0
43 -183
0
45 -183
0
48 -183
0
50 -184
0
52 -184
0
54 -184
0
55 -184
0
58 -184
0
59 -184
0
61 -184
0
64 -184
0
66 -185
0
68 -185
0
70 -185
0
71 -185
0
74 -185
0
75 -185
0
77 -185
0
80 -185
0
82 -186
0
84 -186
0
86 -186
0
87 -186
0
90 -186
0
91 -186
0
93 -186
0
96 -186
0
1 -187
0
3 -187
0
5 -187
0
7 -187
0
10 -187
0
12 -187
0
14 -187
0
16 -187
0
17 -188
0
19 -188
0
21 -188
0
23 -188
0
26 -188
0
28 -188
0
30 -188
0
32 -188
0
33 -189
0
35 -189
0
37 -189
0
39 -189
0
42 -189
0
44 -189
0
46 -189
0
48 -189
0
49 -190
0
51 -190
0
53 -190
0
55 -190
0
58 -190
0
60 -190
0
62 -190
0
64 -190
0
65 -191
0
67 -191
0
69 -191
0
71 -191
0
74 -191
0
76 -191
0
78 -191
0
80 -191
0
81 -192
0
83 -192
0
85 -192
0
87 -192
0
90 -192
0
92 -192
0
94 -192
0
96 -192
0
1 -193
0
4 -193
0
6 -193
0
8 -193
0
10 -193
0
12 -193
0
13 -193
0
16 -193
0
17 -194
0
20 -194
0
22 -194
0
24 -194
0
26 -194
0
28 -194
0
29 -194
0
32 -194
0
33 -195
0
36 -195
0
38 -195
0
40 -195
0
42 -195
0
44 -195
0
45 -195
0
48 -195
0
49 -196
0
52 -196
0
54 -196
0
56 -196
0
58 -196
0
60 -196
0
61 -196
0
64 -196
0
65 -197
0
68 -197
0
70 -197
0
72 -197
0
74 -197
0
76 -197
0
77 -197
0
80 -197
0
81 -198
0
84 -198
0
86 -198
0
88 -198
0
90 -198
0
92 -198
0
93 -198
0
96 -198
0
2 -199
0
4 -199
0
5 -199
0
8 -199
0
10 -199
0
12 -199
0
13 -199
0
15 -199
0
18 -200
0
20 -200
0
21 -200
0
24 -200
0
26 -200
0
28 -200
0
29 -200
0
31 -200
0
34 -201
0
36 -201
0
37 -201
0
40 -201
0
42 -201
0
44 -201
0
45 -201
0
47 -201
0
50 -202
0
52 -202
0
53 -202
0
56 -202
0
58 -202
0
60 -202
0
61 -202
0
63 -202
0
66 -203
0
68 -203
0
69 -203
0
72 -203
0
74 -203
0
76 -203
0
77 -203
0
79 -203
0
82 -204
0
84 -204
0
85 -204
0
88 -204
0
90 -204
0
92 -204
0
93 -204
0
95 -204
0
2 -205
0
4 -205
0
6 -205
0
8 -205
0
9 -205
0
12 -205
0
13 -205
0
16 -205
0
18 -206
0
20 -206
0
22 -206
0
24 -206
0
25 -206
0
28 -206
0
29 -206
0
32 -206
0
34 -207
0
36 -207
0
38 -207
0
40 -207
0
41 -207
0
44 -207
0
45 -207
0
48 -207
0
50 -208
0
52 -208
0
54 -208
0
56 -208
0
57 -208
0
60 -208
0
61 -208
0
64 -208
0
66 -209
0
68 -209
0
70 -209
0
72 -209
0
73 -209
0
76 -209
0
77 -209
0
80 -209
0
82 -210
0
84 -210
0
86 -210
0
88 -210
0
89 -210
0
92 -210
0
93 -210
0
96 -210
0
2 -211
0
4 -211
0
6 -211
0
8 -211
0
9 -211
0
12 -211
0
14 -211
0
16 -211
0
18 -212
0
20 -212
0
22 -212
0
24 -212
0
25 -212
0
28 -212
0
30 -212
0
32 -212
0
34 -213
0
36 -213
0
38 -213
0
40 -213
0
41 -213
0
44 -213
0
46 -213
0
48 -213
0
50 -214
0
52 -214
0
54 -214
0
56 -214
0
57 -214
0
60 -214
0
62 -214
0
64 -214
0
66 -215
0
68 -215
0
70 -215
0
72 -215
0
73 -215
0
76 -215
0
78 -215
0
80 -215
0
82 -216
0
84 -216
0
86 -216
0
88 -216
0
89 -216
0
92 -216
0
94 -216
0
96 -216
0
2 -217
0
3 -217
0
5 -217
0
7 -217
0
9 -217
0
12 -217
0
13 -217
0
16 -217
0
18 -218
0
19 -218
0
21 -218
0
23 -218
0
25 -218
0
28 -218
0
29 -218
0
32 -218
0
34 -219
0
35 -219
0
37 -219
0
39 -219
0
41 -219
0
44 -219
0
45 -219
0
48 -219
0
50 -220
0
51 -220
0
53 -220
0
55 -220
0
57 -220
0
60 -220
0
61 -220
0
64 -220
0
66 -221
0
67 -221
0
69 -221
0
71 -221
0
73 -221
0
76 -221
0
77 -221
0
80 -221
0
82 -222
0
83 -222
0
85 -222
0
87 -222
0
89 -222
0
92 -222
0
93 -222
0
96 -222
0
1 -223
0
4 -223
0
6 -223
0
7 -223
0
9 -223
0
11 -223
0
14 -223
0
16 -223
0
17 -224
0
20 -224
0
22 -224
0
23 -224
0
25 -224
0
27 -224
0
30 -224
0
32 -224
0
33 -225
0
36 -225
0
38 -225
0
39 -225
0
41 -225
0
43 -225
0
46 -225
0
48 -225
0
49 -226
0
52 -226
0
54 -226
0
55 -226
0
57 -226
0
59 -226
0
62 -226
0
64 -226
0
65 -227
0
68 -227
0
70 -227
0
71 -227
0
73 -227
0
75 -227
0
78 -227
0
80 -227
0
81 -228
0
84 -228
0
86 -228
0
87 -228
0
89 -228
0
91 -228
0
94 -228
0
96 -228
0
1 -229
0
4 -229
0
6 -229
0
8 -229
0
9 -229
0
12 -229
0
13 -229
0
15 -229
0
17 -230
0
20 -230
0
22 -230
0
24 -230
0
25 -230
0
28 -230
0
29 -230
0
31 -230
0
33 -231
0
36 -231
0
38 -231
0
40 -231
0
41 -231
0
44 -231
0
45 -231
0
47 -231
0
49 -232
0
52 -232
0
54 -232
0
56 -232
0
57 -232
0
60 -232
0
61 -232
0
63 -232
0
65 -233
0
68 -233
0
70 -233
0
72 -233
0
73 -233
0
76 -233
0
77 -233
0
79 -233
0
81 -234
0
84 -234
0
86 -234
0
88 -234
0
89 -234
0
92 -234
0
93 -234
0
95 -234
0
1 -235
0
4 -235
0
6 -235
0
8 -235
0
9 -235
0
12 -235
0
13 -235
0
16 -235
0
17 -236
0
20 -236
0
22 -236
0
24 -236
0
25 -236
0
28 -236
0
29 -236
0
32 -236
0
33 -237
0
36 -237
0
38 -237
0
40 -237
0
41 -237
0
44 -237
0
45 -237
0
48 -237
0
49 -238
0
52 -238
0
54 -238
0
56 -238
0
57 -238
0
60 -238
0
61 -238
0
64 -238
0
65 -239
0
68 -239
0
70 -239
0
72 -239
0
73 -239
0
76 -239
0
77 -239
0
80 -239
0
81 -240
0
84 -240
0
86 -240
0
88 -240
0
89 -240
0
92 -240
0
93 -240
0
96 -240
0
1 -241
0
4 -241
0
6 -241
0
8 -241
0
9 -241
0
11 -241
0
13 -241
0
15 -241
0
17 -242
0
20 -242
0
22 -242
0
24 -242
0
25 -242
0
27 -242
0
29 -242
0
31 -242
0
33 -243
0
36 -243
0
38 -243
0
40 -243
0
41 -243
0
43 -243
0
45 -243
0
47 -243
0
49 -244
0
52 -244
0
54 -244
0
56 -244
0
57 -244
0
59 -244
0
61 -244
0
63 -244
0
65 -245
0
68 -245
0
70 -245
0
72 -245
0
73 -245
0
75 -245
0
77 -245
0
79 -245
0
81 -246
0
84 -246
0
86 -246
0
88 -246
0
89 -246
0
91 -246
0
93 -246
0
95 -246
0
2 -247
0
4 -247
0
6 -247
0
7 -247
0
9 -247
0
12 -247
0
13 -247
0
16 -247
0
18 -248
0
20 -248
0
22 -248
0
23 -248
0
25 -248
0
28 -248
0
29 -248
0
32 -248
0
34 -249
0
36 -249
0
38 -249
0
39 -249
0
41 -249
0
44 -249
0
45 -249
0
48 -249
0
50 -250
0
52 -250
0
54 -250
0
55 -250
0
57 -250
0
60 -250
0
61 -250
0
64 -250
0
66 -251
0
68 -251
0
70 -251
0
71 -251
0
73 -251
0
76 -251
0
77 -251
0
80 -251
0
82 -252
0
84 -252
0
86 -252
0
87 -252
0
89 -252
0
92 -252
0
93 -252
0
96 -252
0
1 -253
0
4 -253
0
6 -253
0
7 -253
0
10 -253
0
12 -253
0
14 -253
0
15 -253
0
17 -254
0
20 -254
0
22 -254
0
23 -254
0
26 -254
0
28 -254
0
30 -254
0
31 -254
0
33 -255
0
36 -255
0
38 -255
0
39 -255
0
42 -255
0
44 -255
0
46 -255
0
47 -255
0
49 -256
0
52 -256
0
54 -256
0
55 -256
0
58 -256
0
60 -256
0
62 -256
0
63 -256
0
65 -257
0
68 -257
0
70 -257
0
71 -257
0
74 -257
0
76 -257
0
78 -257
0
79 -257
0
81 -258
0
84 -258
0
86 -258
0
87 -258
0
90 -258
0
92 -258
0
94 -258
0
95 -258
0
2 -259
0
4 -259
0
6 -259
0
7 -259
0
10 -259
0
11 -259
0
13 -259
0
15 -259
0
18 -260
0
20 -260
0
22 -260
0
23 -260
0
26 -260
0
27 -260
0
29 -260
0
31 -260
0
34 -261
0
36 -261
0
38 -261
0
39 -261
0
42 -261
0
43 -261
0
45 -261
0
47 -261
0
50 -262
0
52 -262
0
54 -262
0
55 -262
0
58 -262
0
59 -262
0
61 -262
0
63 -262
0
66 -263
0
68 -263
0
70 -263
0
71 -263
0
74 -263
0
75 -263
0
77 -263
0
79 -263
0
82 -264
0
84 -264
0
86 -264
0
87 -264
0
90 -264
0
91 -264
0
93 -264
0
95 -264
0
1 -265
0
4 -265
0
5 -265
0
7 -265
0
9 -265
0
11 -265
0
14 -265
0
16 -265
0
17 -266
0
20 -266
0
21 -266
0
23 -266
0
25 -266
0
27 -266
0
30 -266
0
32 -266
0
33 -267
0
36 -267
0
37 -267
0
39 -267
0
41 -267
0
43 -267
0
46 -267
0
48 -267
0
49 -268
0
52 -268
0
53 -268
0
55 -268
0
57 -268
0
59 -268
0
62 -268
0
64 -268
0
65 -269
0
68 -269
0
69 -269
0
71 -269
0
73 -269
0
75 -269
0
78 -269
0
80 -269
0
81 -270
0
84 -270
0
85 -270
0
87 -270
0
89 -270
0
91 -270
0
94 -270
0
96 -270
0
2 -271
0
3 -271
0
6 -271
0
8 -271
0
9 -271
0
12 -271
0
13 -271
0
16 -271
0
18 -272
0
19 -272
0
22 -272
0
24 -272
0
25 -272
0
28 -272
0
29 -272
0
32 -272
0
34 -273
0
35 -273
0
38 -273
0
40 -273
0
41 -273
0
44 -273
0
45 -273
0
48 -273
0
50 -274
0
51 -274
0
54 -274
0
56 -274
0
57 -274
0
60 -274
0
61 -274
0
64 -274
0
66 -275
0
67 -275
0
70 -275
0
72 -275
0
73 -275
0
76 -275
0
77 -275
0
80 -275
0
82 -276
0
83 -276
0
86 -276
0
88 -276
0
89 -276
0
92 -276
0
93 -276
0
96 -276
0
1 -277
0
4 -277
0
5 -277
0
7 -277
0
10 -277
0
11 -277
0
14 -277
0
15 -277
0
17 -278
0
20 -278
0
21 -278
0
23 -278
0
26 -278
0
27 -278
0
30 -278
0
31 -278
0
33 -279
0
36 -279
0
37 -279
0
39 -279
0
42 -279
0
43 -279
0
46 -279
0
47 -279
0
49 -280
0
52 -280
0
53 -280
0
55 -280
0
58 -280
0
59 -280
0
62 -280
0
63 -280
0
65 -281
0
68 -281
0
69 -281
0
71 -281
0
74 -281
0
75 -281
0
78 -281
0
79 -281
0
81 -282
0
84 -282
0
85 -282
0
87 -282
0
90 -282
0
91 -282
0
94 -282
0
95 -282
0
1 -283
0
4 -283
0
6 -283
0
8 -283
0
10 -283
0
11 -283
0
14 -283
0
15 -283
0
17 -284
0
20 -284
0
22 -284
0
24 -284
0
26 -284
0
27 -284
0
30 -284
0
31 -284
0
33 -285
0
36 -285
0
38 -285
0
40 -285
0
42 -285
0
43 -285
0
46 -285
0
47 -285
0
49 -286
0
52 -286
0
54 -286
0
56 -286
0
58 -286
0
59 -286
0
62 -286
0
63 -286
0
65 -287
0
68 -287
0
70 -287
0
72 -287
0
74 -287
0
75 -287
0
78 -287
0
79 -287
0
81 -288
0
84 -288
0
86 -288
0
88 -288
0
90 -288
0
91 -288
0
94 -288
0
95 -288
0
1 -289
0
3 -289
0
6 -289
0
8 -289
0
10 -289
0
11 -289
0
14 -289
0
16 -289
0
17 -290
0
19 -290
0
22 -290
0
24 -290
0
26 -290
0
27 -290
0
30 -290
0
32 -290
0
33 -291
0
35 -291
0
38 -291
0
40 -291
0
42 -291
0
43 -291
0
46 -291
0
48 -291
0
49 -292
0
51 -292
0
54 -292
0
56 -292
0
58 -292
0
59 -292
0
62 -292
0
64 -292
0
65 -293
0
67 -293
0
70 -293
0
72 -293
0
74 -293
0
75 -293
0
78 -293
0
80 -293
0
81 -294
0
83 -294
0
86 -294
0
88 -294
0
90 -294
0
91 -294
0
94 -294
0
96 -294
0
1 -295
0
4 -295
0
6 -295
0
8 -295
0
10 -295
0
11 -295
0
13 -295
0
15 -295
0
17 -296
0
20 -296
0
22 -296
0
24 -296
0
26 -296
0
27 -296
0
29 -296
0
31 -296
0
33 -297
0
36 -297
0
38 -297
0
40 -297
0
42 -297
0
43 -297
0
45 -297
0
47 -297
0
49 -298
0
52 -298
0
54 -298
0
56 -298
0
58 -298
0
59 -298
0
61 -298
0
63 -298
0
65 -299
0
68 -299
0
70 -299
0
72 -299
0
74 -299
0
75 -299
0
77 -299
0
79 -299
0
81 -300
0
84 -300
0
86 -300
0
88 -300
0
90 -300
0
91 -300
0
93 -300
0
95 -300
0
2 -301
0
4 -301
0
5 -301
0
8 -301
0
10 -301
0
12 -301
0
14 -301
0
15 -301
0
18 -302
0
20 -302
0
21 -302
0
24 -302
0
26 -302
0
28 -302
0
30 -302
0
31 -302
0
34 -303
0
36 -303
0
37 -303
0
40 -303
0
42 -303
0
44 -303
0
46 -303
0
47 -303
0
50 -304
0
52 -304
0
53 -304
0
56 -304
0
58 -304
0
60 -304
0
62 -304
0
63 -304
0
66 -305
0
68 -305
0
69 -305
0
72 -305
0
74 -305
0
76 -305
0
78 -305
0
79 -305
0
82 -306
0
84 -306
0
85 -306
0
88 -306
0
90 -306
0
92 -306
0
94 -306
0
95 -306
0
2 -307
0
3 -307
0
5 -307
0
8 -307
0
9 -307
0
11 -307
0
14 -307
0
16 -307
0
18 -308
0
19 -308
0
21 -308
0
24 -308
0
25 -308
0
27 -308
0
30 -308
0
32 -308
0
34 -309
0
35 -309
0
37 -309
0
40 -309
0
41 -309
0
43 -309
0
46 -309
0
48 -309
0
50 -310
0
51 -310
0
53 -310
0
56 -310
0
57 -310
0
59 -310
0
62 -310
0
64 -310
0
66 -311
0
67 -311
0
69 -311
0
72 -311
0
73 -311
0
75 -311
0
78 -311
0
80 -311
0
82 -312
0
83 -312
0
85 -312
0
88 -312
0
89 -312
0
91 -312
0
94 -312
0
96 -312
0
2 -313
0
4 -313
0
6 -313
0
8 -313
0
10 -313
0
11 -313
0
14 -313
0
15 -313
0
18 -314
0
20 -314
0
22 -314
0
24 -314
0
26 -314
0
27 -314
0
30 -314
0
31 -314
0
34 -315
0
36 -315
0
38 -315
0
40 -315
0
42 -315
0
43 -315
0
46 -315
0
47 -315
0
50 -316
0
52 -316
0
54 -316
0
56 -316
0
58 -316
0
59 -316
0
62 -316
0
63 -316
0
66 -317
0
68 -317
0
70 -317
0
72 -317
0
74 -317
0
75 -317
0
78 -317
0
79 -317
0
82 -318
0
84 -318
0
86 -318
0
88 -318
0
90 -318
0
91 -318
0
94 -318
0
95 -318
0
1 -319
0
4 -319
0
5 -319
0
8 -319
0
10 -319
0
12 -319
0
13 -319
0
15 -319
0
17 -320
0
20 -320
0
21 -320
0
24 -320
0
26 -320
0
28 -320
0
29 -320
0
31 -320
0
33 -321
0
36 -321
0
37 -321
0
40 -321
0
42 -321
0
44 -321
0
45 -321
0
47 -321
0
49 -322
0
52 -322
0
53 -322
0
56 -322
0
58 -322
0
60 -322
0
61 -322
0
63 -322
0
65 -323
0
68 -323
0
69 -323
0
72 -323
0
74 -323
0
76 -323
0
77 -323
0
79 -323
0
81 -324
0
84 -324
0
85 -324
0
88 -324
0
90 -324
0
92 -324
0
93 -324
0
95 -324
0
1 -325
0
3 -325
0
6 -325
0
8 -325
0
10 -325
0
12 -325
0
14 -325
0
16 -325
0
17 -326
0
19 -326
0
22 -326
0
24 -326
0
26 -326
0
28 -326
0
30 -326
0
32 -326
0
33 -327
0
35 -327
0
38 -327
0
40 -327
0
42 -327
0
44 -327
0
46 -327
0
48 -327
0
49 -328
0
51 -328
0
54 -328
0
56 -328
0
58 -328
0
60 -328
0
62 -328
0
64 -328
0
65 -329
0
67 -329
0
70 -329
0
72 -329
0
74 -329
0
76 -329
0
78 -329
0
80 -329
0
81 -330
0
83 -330
0
86 -330
0
88 -330
0
90 -330
0
92 -330
0
94 -330
0
96 -330
0
2 -331
0
4 -331
0
6 -331
0
8 -331
0
9 -331
0
11 -331
0
13 -331
0
16 -331
0
18 -332
0
20 -332
0
22 -332
0
24 -332
0
25 -332
0
27 -332
0
29 -332
0
32 -332
0
34 -333
0
36 -333
0
38 -333
0
40 -333
0
41 -333
0
43 -333
0
45 -333
0
48 -333
0
50 -334
0
52 -334
0
54 -334
0
56 -334
0
57 -334
0
59 -334
0
61 -334
0
64 -334
0
66 -335
0
68 -335
0
70 -335
0
72 -335
0
73 -335
0
75 -335
0
77 -335
0
80 -335
0
82 -336
0
84 -336
0
86 -336
0
88 -336
0
89 -336
0
91 -336
0
93 -336
0
96 -336
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
265 266 267 268 269 270
0
271 272 273 274 275 276
0
277 278 279 280 281 282
0
283 284 285 286 287 288
0
289 290 291 292 293 294
0
295 296 297 298 299 300
0
301 302 303 304 305 306
0
307 308 309 310 311 312
0
313 314 315 316 317 318
0
319 320 321 322 323 324
0
325 326 327 328 329 330
0
331 332 333 334 335 336
0