puresat-0.1: dimacs/inductive-inference/ii8d1.cnf
c Filename: ii8d1.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 530 3207
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
97 98
0
99 100
0
101 102
0
103 104
0
105 106
0
107 108
0
109 110
0
111 112
0
113 114
0
115 116
0
117 118
0
119 120
0
121 122
0
123 124
0
125 126
0
127 128
0
129 130
0
131 132
0
133 134
0
135 136
0
137 138
0
139 140
0
141 142
0
143 144
0
145 146
0
147 148
0
149 150
0
151 152
0
153 154
0
155 156
0
157 158
0
159 160
0
-2 -4 -5 -7 -10 -12
-14 -15
0
-18 -20 -21 -23 -26 -28
-30 -31
0
-34 -36 -37 -39 -42 -44
-46 -47
0
-50 -52 -53 -55 -58 -60
-62 -63
0
-66 -68 -69 -71 -74 -76
-78 -79
0
-82 -84 -85 -87 -90 -92
-94 -95
0
-98 -100 -101 -103 -106 -108
-110 -111
0
-114 -116 -117 -119 -122 -124
-126 -127
0
-130 -132 -133 -135 -138 -140
-142 -143
0
-146 -148 -149 -151 -154 -156
-158 -159
0
-2 -4 -6 -7 -9 -12
-14 -16
0
-18 -20 -22 -23 -25 -28
-30 -32
0
-34 -36 -38 -39 -41 -44
-46 -48
0
-50 -52 -54 -55 -57 -60
-62 -64
0
-66 -68 -70 -71 -73 -76
-78 -80
0
-82 -84 -86 -87 -89 -92
-94 -96
0
-98 -100 -102 -103 -105 -108
-110 -112
0
-114 -116 -118 -119 -121 -124
-126 -128
0
-130 -132 -134 -135 -137 -140
-142 -144
0
-146 -148 -150 -151 -153 -156
-158 -160
0
-1 -4 -5 -7 -9 -12
-14 -16
0
-17 -20 -21 -23 -25 -28
-30 -32
0
-33 -36 -37 -39 -41 -44
-46 -48
0
-49 -52 -53 -55 -57 -60
-62 -64
0
-65 -68 -69 -71 -73 -76
-78 -80
0
-81 -84 -85 -87 -89 -92
-94 -96
0
-97 -100 -101 -103 -105 -108
-110 -112
0
-113 -116 -117 -119 -121 -124
-126 -128
0
-129 -132 -133 -135 -137 -140
-142 -144
0
-145 -148 -149 -151 -153 -156
-158 -160
0
-2 -4 -6 -7 -10 -12
-14 -16
0
-18 -20 -22 -23 -26 -28
-30 -32
0
-34 -36 -38 -39 -42 -44
-46 -48
0
-50 -52 -54 -55 -58 -60
-62 -64
0
-66 -68 -70 -71 -74 -76
-78 -80
0
-82 -84 -86 -87 -90 -92
-94 -96
0
-98 -100 -102 -103 -106 -108
-110 -112
0
-114 -116 -118 -119 -122 -124
-126 -128
0
-130 -132 -134 -135 -138 -140
-142 -144
0
-146 -148 -150 -151 -154 -156
-158 -160
0
-1 -4 -6 -8 -9 -12
-13 -16
0
-17 -20 -22 -24 -25 -28
-29 -32
0
-33 -36 -38 -40 -41 -44
-45 -48
0
-49 -52 -54 -56 -57 -60
-61 -64
0
-65 -68 -70 -72 -73 -76
-77 -80
0
-81 -84 -86 -88 -89 -92
-93 -96
0
-97 -100 -102 -104 -105 -108
-109 -112
0
-113 -116 -118 -120 -121 -124
-125 -128
0
-129 -132 -134 -136 -137 -140
-141 -144
0
-145 -148 -150 -152 -153 -156
-157 -160
0
-1 -4 -6 -8 -10 -12
-14 -15
0
-17 -20 -22 -24 -26 -28
-30 -31
0
-33 -36 -38 -40 -42 -44
-46 -47
0
-49 -52 -54 -56 -58 -60
-62 -63
0
-65 -68 -70 -72 -74 -76
-78 -79
0
-81 -84 -86 -88 -90 -92
-94 -95
0
-97 -100 -102 -104 -106 -108
-110 -111
0
-113 -116 -118 -120 -122 -124
-126 -127
0
-129 -132 -134 -136 -138 -140
-142 -143
0
-145 -148 -150 -152 -154 -156
-158 -159
0
-2 -4 -6 -8 -9 -12
-14 -16
0
-18 -20 -22 -24 -25 -28
-30 -32
0
-34 -36 -38 -40 -41 -44
-46 -48
0
-50 -52 -54 -56 -57 -60
-62 -64
0
-66 -68 -70 -72 -73 -76
-78 -80
0
-82 -84 -86 -88 -89 -92
-94 -96
0
-98 -100 -102 -104 -105 -108
-110 -112
0
-114 -116 -118 -120 -121 -124
-126 -128
0
-130 -132 -134 -136 -137 -140
-142 -144
0
-146 -148 -150 -152 -153 -156
-158 -160
0
-2 -4 -5 -8 -10 -12
-14 -16
0
-18 -20 -21 -24 -26 -28
-30 -32
0
-34 -36 -37 -40 -42 -44
-46 -48
0
-50 -52 -53 -56 -58 -60
-62 -64
0
-66 -68 -69 -72 -74 -76
-78 -80
0
-82 -84 -85 -88 -90 -92
-94 -96
0
-98 -100 -101 -104 -106 -108
-110 -112
0
-114 -116 -117 -120 -122 -124
-126 -128
0
-130 -132 -133 -136 -138 -140
-142 -144
0
-146 -148 -149 -152 -154 -156
-158 -160
0
-1 -4 -6 -7 -10 -12
-14 -16
0
-17 -20 -22 -23 -26 -28
-30 -32
0
-33 -36 -38 -39 -42 -44
-46 -48
0
-49 -52 -54 -55 -58 -60
-62 -64
0
-65 -68 -70 -71 -74 -76
-78 -80
0
-81 -84 -86 -87 -90 -92
-94 -96
0
-97 -100 -102 -103 -106 -108
-110 -112
0
-113 -116 -118 -119 -122 -124
-126 -128
0
-129 -132 -134 -135 -138 -140
-142 -144
0
-145 -148 -150 -151 -154 -156
-158 -160
0
-2 -4 -6 -8 -9 -12
-14 -16
0
-18 -20 -22 -24 -25 -28
-30 -32
0
-34 -36 -38 -40 -41 -44
-46 -48
0
-50 -52 -54 -56 -57 -60
-62 -64
0
-66 -68 -70 -72 -73 -76
-78 -80
0
-82 -84 -86 -88 -89 -92
-94 -96
0
-98 -100 -102 -104 -105 -108
-110 -112
0
-114 -116 -118 -120 -121 -124
-126 -128
0
-130 -132 -134 -136 -137 -140
-142 -144
0
-146 -148 -150 -152 -153 -156
-158 -160
0
-2 -4 -6 -8 -9 -12
-14 -15
0
-18 -20 -22 -24 -25 -28
-30 -31
0
-34 -36 -38 -40 -41 -44
-46 -47
0
-50 -52 -54 -56 -57 -60
-62 -63
0
-66 -68 -70 -72 -73 -76
-78 -79
0
-82 -84 -86 -88 -89 -92
-94 -95
0
-98 -100 -102 -104 -105 -108
-110 -111
0
-114 -116 -118 -120 -121 -124
-126 -127
0
-130 -132 -134 -136 -137 -140
-142 -143
0
-146 -148 -150 -152 -153 -156
-158 -159
0
-2 -4 -5 -8 -10 -12
-14 -15
0
-18 -20 -21 -24 -26 -28
-30 -31
0
-34 -36 -37 -40 -42 -44
-46 -47
0
-50 -52 -53 -56 -58 -60
-62 -63
0
-66 -68 -69 -72 -74 -76
-78 -79
0
-82 -84 -85 -88 -90 -92
-94 -95
0
-98 -100 -101 -104 -106 -108
-110 -111
0
-114 -116 -117 -120 -122 -124
-126 -127
0
-130 -132 -133 -136 -138 -140
-142 -143
0
-146 -148 -149 -152 -154 -156
-158 -159
0
-2 -4 -6 -8 -10 -12
-14 -15
0
-18 -20 -22 -24 -26 -28
-30 -31
0
-34 -36 -38 -40 -42 -44
-46 -47
0
-50 -52 -54 -56 -58 -60
-62 -63
0
-66 -68 -70 -72 -74 -76
-78 -79
0
-82 -84 -86 -88 -90 -92
-94 -95
0
-98 -100 -102 -104 -106 -108
-110 -111
0
-114 -116 -118 -120 -122 -124
-126 -127
0
-130 -132 -134 -136 -138 -140
-142 -143
0
-146 -148 -150 -152 -154 -156
-158 -159
0
1 -161
0
4 -161
0
5 -161
0
7 -161
0
9 -161
0
12 -161
0
13 -161
0
15 -161
0
17 -162
0
20 -162
0
21 -162
0
23 -162
0
25 -162
0
28 -162
0
29 -162
0
31 -162
0
33 -163
0
36 -163
0
37 -163
0
39 -163
0
41 -163
0
44 -163
0
45 -163
0
47 -163
0
49 -164
0
52 -164
0
53 -164
0
55 -164
0
57 -164
0
60 -164
0
61 -164
0
63 -164
0
65 -165
0
68 -165
0
69 -165
0
71 -165
0
73 -165
0
76 -165
0
77 -165
0
79 -165
0
81 -166
0
84 -166
0
85 -166
0
87 -166
0
89 -166
0
92 -166
0
93 -166
0
95 -166
0
97 -167
0
100 -167
0
101 -167
0
103 -167
0
105 -167
0
108 -167
0
109 -167
0
111 -167
0
113 -168
0
116 -168
0
117 -168
0
119 -168
0
121 -168
0
124 -168
0
125 -168
0
127 -168
0
129 -169
0
132 -169
0
133 -169
0
135 -169
0
137 -169
0
140 -169
0
141 -169
0
143 -169
0
145 -170
0
148 -170
0
149 -170
0
151 -170
0
153 -170
0
156 -170
0
157 -170
0
159 -170
0
1 -171
0
4 -171
0
6 -171
0
8 -171
0
10 -171
0
11 -171
0
13 -171
0
16 -171
0
17 -172
0
20 -172
0
22 -172
0
24 -172
0
26 -172
0
27 -172
0
29 -172
0
32 -172
0
33 -173
0
36 -173
0
38 -173
0
40 -173
0
42 -173
0
43 -173
0
45 -173
0
48 -173
0
49 -174
0
52 -174
0
54 -174
0
56 -174
0
58 -174
0
59 -174
0
61 -174
0
64 -174
0
65 -175
0
68 -175
0
70 -175
0
72 -175
0
74 -175
0
75 -175
0
77 -175
0
80 -175
0
81 -176
0
84 -176
0
86 -176
0
88 -176
0
90 -176
0
91 -176
0
93 -176
0
96 -176
0
97 -177
0
100 -177
0
102 -177
0
104 -177
0
106 -177
0
107 -177
0
109 -177
0
112 -177
0
113 -178
0
116 -178
0
118 -178
0
120 -178
0
122 -178
0
123 -178
0
125 -178
0
128 -178
0
129 -179
0
132 -179
0
134 -179
0
136 -179
0
138 -179
0
139 -179
0
141 -179
0
144 -179
0
145 -180
0
148 -180
0
150 -180
0
152 -180
0
154 -180
0
155 -180
0
157 -180
0
160 -180
0
1 -181
0
4 -181
0
6 -181
0
8 -181
0
9 -181
0
11 -181
0
13 -181
0
16 -181
0
17 -182
0
20 -182
0
22 -182
0
24 -182
0
25 -182
0
27 -182
0
29 -182
0
32 -182
0
33 -183
0
36 -183
0
38 -183
0
40 -183
0
41 -183
0
43 -183
0
45 -183
0
48 -183
0
49 -184
0
52 -184
0
54 -184
0
56 -184
0
57 -184
0
59 -184
0
61 -184
0
64 -184
0
65 -185
0
68 -185
0
70 -185
0
72 -185
0
73 -185
0
75 -185
0
77 -185
0
80 -185
0
81 -186
0
84 -186
0
86 -186
0
88 -186
0
89 -186
0
91 -186
0
93 -186
0
96 -186
0
97 -187
0
100 -187
0
102 -187
0
104 -187
0
105 -187
0
107 -187
0
109 -187
0
112 -187
0
113 -188
0
116 -188
0
118 -188
0
120 -188
0
121 -188
0
123 -188
0
125 -188
0
128 -188
0
129 -189
0
132 -189
0
134 -189
0
136 -189
0
137 -189
0
139 -189
0
141 -189
0
144 -189
0
145 -190
0
148 -190
0
150 -190
0
152 -190
0
153 -190
0
155 -190
0
157 -190
0
160 -190
0
1 -191
0
4 -191
0
5 -191
0
8 -191
0
10 -191
0
12 -191
0
13 -191
0
16 -191
0
17 -192
0
20 -192
0
21 -192
0
24 -192
0
26 -192
0
28 -192
0
29 -192
0
32 -192
0
33 -193
0
36 -193
0
37 -193
0
40 -193
0
42 -193
0
44 -193
0
45 -193
0
48 -193
0
49 -194
0
52 -194
0
53 -194
0
56 -194
0
58 -194
0
60 -194
0
61 -194
0
64 -194
0
65 -195
0
68 -195
0
69 -195
0
72 -195
0
74 -195
0
76 -195
0
77 -195
0
80 -195
0
81 -196
0
84 -196
0
85 -196
0
88 -196
0
90 -196
0
92 -196
0
93 -196
0
96 -196
0
97 -197
0
100 -197
0
101 -197
0
104 -197
0
106 -197
0
108 -197
0
109 -197
0
112 -197
0
113 -198
0
116 -198
0
117 -198
0
120 -198
0
122 -198
0
124 -198
0
125 -198
0
128 -198
0
129 -199
0
132 -199
0
133 -199
0
136 -199
0
138 -199
0
140 -199
0
141 -199
0
144 -199
0
145 -200
0
148 -200
0
149 -200
0
152 -200
0
154 -200
0
156 -200
0
157 -200
0
160 -200
0
1 -201
0
4 -201
0
5 -201
0
7 -201
0
10 -201
0
11 -201
0
14 -201
0
15 -201
0
17 -202
0
20 -202
0
21 -202
0
23 -202
0
26 -202
0
27 -202
0
30 -202
0
31 -202
0
33 -203
0
36 -203
0
37 -203
0
39 -203
0
42 -203
0
43 -203
0
46 -203
0
47 -203
0
49 -204
0
52 -204
0
53 -204
0
55 -204
0
58 -204
0
59 -204
0
62 -204
0
63 -204
0
65 -205
0
68 -205
0
69 -205
0
71 -205
0
74 -205
0
75 -205
0
78 -205
0
79 -205
0
81 -206
0
84 -206
0
85 -206
0
87 -206
0
90 -206
0
91 -206
0
94 -206
0
95 -206
0
97 -207
0
100 -207
0
101 -207
0
103 -207
0
106 -207
0
107 -207
0
110 -207
0
111 -207
0
113 -208
0
116 -208
0
117 -208
0
119 -208
0
122 -208
0
123 -208
0
126 -208
0
127 -208
0
129 -209
0
132 -209
0
133 -209
0
135 -209
0
138 -209
0
139 -209
0
142 -209
0
143 -209
0
145 -210
0
148 -210
0
149 -210
0
151 -210
0
154 -210
0
155 -210
0
158 -210
0
159 -210
0
2 -211
0
4 -211
0
6 -211
0
8 -211
0
10 -211
0
11 -211
0
14 -211
0
15 -211
0
18 -212
0
20 -212
0
22 -212
0
24 -212
0
26 -212
0
27 -212
0
30 -212
0
31 -212
0
34 -213
0
36 -213
0
38 -213
0
40 -213
0
42 -213
0
43 -213
0
46 -213
0
47 -213
0
50 -214
0
52 -214
0
54 -214
0
56 -214
0
58 -214
0
59 -214
0
62 -214
0
63 -214
0
66 -215
0
68 -215
0
70 -215
0
72 -215
0
74 -215
0
75 -215
0
78 -215
0
79 -215
0
82 -216
0
84 -216
0
86 -216
0
88 -216
0
90 -216
0
91 -216
0
94 -216
0
95 -216
0
98 -217
0
100 -217
0
102 -217
0
104 -217
0
106 -217
0
107 -217
0
110 -217
0
111 -217
0
114 -218
0
116 -218
0
118 -218
0
120 -218
0
122 -218
0
123 -218
0
126 -218
0
127 -218
0
130 -219
0
132 -219
0
134 -219
0
136 -219
0
138 -219
0
139 -219
0
142 -219
0
143 -219
0
146 -220
0
148 -220
0
150 -220
0
152 -220
0
154 -220
0
155 -220
0
158 -220
0
159 -220
0
1 -221
0
3 -221
0
6 -221
0
7 -221
0
9 -221
0
12 -221
0
14 -221
0
15 -221
0
17 -222
0
19 -222
0
22 -222
0
23 -222
0
25 -222
0
28 -222
0
30 -222
0
31 -222
0
33 -223
0
35 -223
0
38 -223
0
39 -223
0
41 -223
0
44 -223
0
46 -223
0
47 -223
0
49 -224
0
51 -224
0
54 -224
0
55 -224
0
57 -224
0
60 -224
0
62 -224
0
63 -224
0
65 -225
0
67 -225
0
70 -225
0
71 -225
0
73 -225
0
76 -225
0
78 -225
0
79 -225
0
81 -226
0
83 -226
0
86 -226
0
87 -226
0
89 -226
0
92 -226
0
94 -226
0
95 -226
0
97 -227
0
99 -227
0
102 -227
0
103 -227
0
105 -227
0
108 -227
0
110 -227
0
111 -227
0
113 -228
0
115 -228
0
118 -228
0
119 -228
0
121 -228
0
124 -228
0
126 -228
0
127 -228
0
129 -229
0
131 -229
0
134 -229
0
135 -229
0
137 -229
0
140 -229
0
142 -229
0
143 -229
0
145 -230
0
147 -230
0
150 -230
0
151 -230
0
153 -230
0
156 -230
0
158 -230
0
159 -230
0
2 -231
0
3 -231
0
5 -231
0
8 -231
0
9 -231
0
11 -231
0
14 -231
0
15 -231
0
18 -232
0
19 -232
0
21 -232
0
24 -232
0
25 -232
0
27 -232
0
30 -232
0
31 -232
0
34 -233
0
35 -233
0
37 -233
0
40 -233
0
41 -233
0
43 -233
0
46 -233
0
47 -233
0
50 -234
0
51 -234
0
53 -234
0
56 -234
0
57 -234
0
59 -234
0
62 -234
0
63 -234
0
66 -235
0
67 -235
0
69 -235
0
72 -235
0
73 -235
0
75 -235
0
78 -235
0
79 -235
0
82 -236
0
83 -236
0
85 -236
0
88 -236
0
89 -236
0
91 -236
0
94 -236
0
95 -236
0
98 -237
0
99 -237
0
101 -237
0
104 -237
0
105 -237
0
107 -237
0
110 -237
0
111 -237
0
114 -238
0
115 -238
0
117 -238
0
120 -238
0
121 -238
0
123 -238
0
126 -238
0
127 -238
0
130 -239
0
131 -239
0
133 -239
0
136 -239
0
137 -239
0
139 -239
0
142 -239
0
143 -239
0
146 -240
0
147 -240
0
149 -240
0
152 -240
0
153 -240
0
155 -240
0
158 -240
0
159 -240
0
2 -241
0
3 -241
0
6 -241
0
7 -241
0
10 -241
0
12 -241
0
13 -241
0
15 -241
0
18 -242
0
19 -242
0
22 -242
0
23 -242
0
26 -242
0
28 -242
0
29 -242
0
31 -242
0
34 -243
0
35 -243
0
38 -243
0
39 -243
0
42 -243
0
44 -243
0
45 -243
0
47 -243
0
50 -244
0
51 -244
0
54 -244
0
55 -244
0
58 -244
0
60 -244
0
61 -244
0
63 -244
0
66 -245
0
67 -245
0
70 -245
0
71 -245
0
74 -245
0
76 -245
0
77 -245
0
79 -245
0
82 -246
0
83 -246
0
86 -246
0
87 -246
0
90 -246
0
92 -246
0
93 -246
0
95 -246
0
98 -247
0
99 -247
0
102 -247
0
103 -247
0
106 -247
0
108 -247
0
109 -247
0
111 -247
0
114 -248
0
115 -248
0
118 -248
0
119 -248
0
122 -248
0
124 -248
0
125 -248
0
127 -248
0
130 -249
0
131 -249
0
134 -249
0
135 -249
0
138 -249
0
140 -249
0
141 -249
0
143 -249
0
146 -250
0
147 -250
0
150 -250
0
151 -250
0
154 -250
0
156 -250
0
157 -250
0
159 -250
0
1 -251
0
3 -251
0
6 -251
0
7 -251
0
9 -251
0
12 -251
0
13 -251
0
15 -251
0
17 -252
0
19 -252
0
22 -252
0
23 -252
0
25 -252
0
28 -252
0
29 -252
0
31 -252
0
33 -253
0
35 -253
0
38 -253
0
39 -253
0
41 -253
0
44 -253
0
45 -253
0
47 -253
0
49 -254
0
51 -254
0
54 -254
0
55 -254
0
57 -254
0
60 -254
0
61 -254
0
63 -254
0
65 -255
0
67 -255
0
70 -255
0
71 -255
0
73 -255
0
76 -255
0
77 -255
0
79 -255
0
81 -256
0
83 -256
0
86 -256
0
87 -256
0
89 -256
0
92 -256
0
93 -256
0
95 -256
0
97 -257
0
99 -257
0
102 -257
0
103 -257
0
105 -257
0
108 -257
0
109 -257
0
111 -257
0
113 -258
0
115 -258
0
118 -258
0
119 -258
0
121 -258
0
124 -258
0
125 -258
0
127 -258
0
129 -259
0
131 -259
0
134 -259
0
135 -259
0
137 -259
0
140 -259
0
141 -259
0
143 -259
0
145 -260
0
147 -260
0
150 -260
0
151 -260
0
153 -260
0
156 -260
0
157 -260
0
159 -260
0
1 -261
0
3 -261
0
6 -261
0
8 -261
0
10 -261
0
12 -261
0
13 -261
0
15 -261
0
17 -262
0
19 -262
0
22 -262
0
24 -262
0
26 -262
0
28 -262
0
29 -262
0
31 -262
0
33 -263
0
35 -263
0
38 -263
0
40 -263
0
42 -263
0
44 -263
0
45 -263
0
47 -263
0
49 -264
0
51 -264
0
54 -264
0
56 -264
0
58 -264
0
60 -264
0
61 -264
0
63 -264
0
65 -265
0
67 -265
0
70 -265
0
72 -265
0
74 -265
0
76 -265
0
77 -265
0
79 -265
0
81 -266
0
83 -266
0
86 -266
0
88 -266
0
90 -266
0
92 -266
0
93 -266
0
95 -266
0
97 -267
0
99 -267
0
102 -267
0
104 -267
0
106 -267
0
108 -267
0
109 -267
0
111 -267
0
113 -268
0
115 -268
0
118 -268
0
120 -268
0
122 -268
0
124 -268
0
125 -268
0
127 -268
0
129 -269
0
131 -269
0
134 -269
0
136 -269
0
138 -269
0
140 -269
0
141 -269
0
143 -269
0
145 -270
0
147 -270
0
150 -270
0
152 -270
0
154 -270
0
156 -270
0
157 -270
0
159 -270
0
2 -271
0
4 -271
0
6 -271
0
8 -271
0
10 -271
0
11 -271
0
13 -271
0
16 -271
0
18 -272
0
20 -272
0
22 -272
0
24 -272
0
26 -272
0
27 -272
0
29 -272
0
32 -272
0
34 -273
0
36 -273
0
38 -273
0
40 -273
0
42 -273
0
43 -273
0
45 -273
0
48 -273
0
50 -274
0
52 -274
0
54 -274
0
56 -274
0
58 -274
0
59 -274
0
61 -274
0
64 -274
0
66 -275
0
68 -275
0
70 -275
0
72 -275
0
74 -275
0
75 -275
0
77 -275
0
80 -275
0
82 -276
0
84 -276
0
86 -276
0
88 -276
0
90 -276
0
91 -276
0
93 -276
0
96 -276
0
98 -277
0
100 -277
0
102 -277
0
104 -277
0
106 -277
0
107 -277
0
109 -277
0
112 -277
0
114 -278
0
116 -278
0
118 -278
0
120 -278
0
122 -278
0
123 -278
0
125 -278
0
128 -278
0
130 -279
0
132 -279
0
134 -279
0
136 -279
0
138 -279
0
139 -279
0
141 -279
0
144 -279
0
146 -280
0
148 -280
0
150 -280
0
152 -280
0
154 -280
0
155 -280
0
157 -280
0
160 -280
0
2 -281
0
4 -281
0
5 -281
0
7 -281
0
9 -281
0
11 -281
0
14 -281
0
15 -281
0
18 -282
0
20 -282
0
21 -282
0
23 -282
0
25 -282
0
27 -282
0
30 -282
0
31 -282
0
34 -283
0
36 -283
0
37 -283
0
39 -283
0
41 -283
0
43 -283
0
46 -283
0
47 -283
0
50 -284
0
52 -284
0
53 -284
0
55 -284
0
57 -284
0
59 -284
0
62 -284
0
63 -284
0
66 -285
0
68 -285
0
69 -285
0
71 -285
0
73 -285
0
75 -285
0
78 -285
0
79 -285
0
82 -286
0
84 -286
0
85 -286
0
87 -286
0
89 -286
0
91 -286
0
94 -286
0
95 -286
0
98 -287
0
100 -287
0
101 -287
0
103 -287
0
105 -287
0
107 -287
0
110 -287
0
111 -287
0
114 -288
0
116 -288
0
117 -288
0
119 -288
0
121 -288
0
123 -288
0
126 -288
0
127 -288
0
130 -289
0
132 -289
0
133 -289
0
135 -289
0
137 -289
0
139 -289
0
142 -289
0
143 -289
0
146 -290
0
148 -290
0
149 -290
0
151 -290
0
153 -290
0
155 -290
0
158 -290
0
159 -290
0
1 -291
0
4 -291
0
6 -291
0
8 -291
0
10 -291
0
11 -291
0
14 -291
0
16 -291
0
17 -292
0
20 -292
0
22 -292
0
24 -292
0
26 -292
0
27 -292
0
30 -292
0
32 -292
0
33 -293
0
36 -293
0
38 -293
0
40 -293
0
42 -293
0
43 -293
0
46 -293
0
48 -293
0
49 -294
0
52 -294
0
54 -294
0
56 -294
0
58 -294
0
59 -294
0
62 -294
0
64 -294
0
65 -295
0
68 -295
0
70 -295
0
72 -295
0
74 -295
0
75 -295
0
78 -295
0
80 -295
0
81 -296
0
84 -296
0
86 -296
0
88 -296
0
90 -296
0
91 -296
0
94 -296
0
96 -296
0
97 -297
0
100 -297
0
102 -297
0
104 -297
0
106 -297
0
107 -297
0
110 -297
0
112 -297
0
113 -298
0
116 -298
0
118 -298
0
120 -298
0
122 -298
0
123 -298
0
126 -298
0
128 -298
0
129 -299
0
132 -299
0
134 -299
0
136 -299
0
138 -299
0
139 -299
0
142 -299
0
144 -299
0
145 -300
0
148 -300
0
150 -300
0
152 -300
0
154 -300
0
155 -300
0
158 -300
0
160 -300
0
2 -301
0
3 -301
0
6 -301
0
7 -301
0
10 -301
0
11 -301
0
14 -301
0
16 -301
0
18 -302
0
19 -302
0
22 -302
0
23 -302
0
26 -302
0
27 -302
0
30 -302
0
32 -302
0
34 -303
0
35 -303
0
38 -303
0
39 -303
0
42 -303
0
43 -303
0
46 -303
0
48 -303
0
50 -304
0
51 -304
0
54 -304
0
55 -304
0
58 -304
0
59 -304
0
62 -304
0
64 -304
0
66 -305
0
67 -305
0
70 -305
0
71 -305
0
74 -305
0
75 -305
0
78 -305
0
80 -305
0
82 -306
0
83 -306
0
86 -306
0
87 -306
0
90 -306
0
91 -306
0
94 -306
0
96 -306
0
98 -307
0
99 -307
0
102 -307
0
103 -307
0
106 -307
0
107 -307
0
110 -307
0
112 -307
0
114 -308
0
115 -308
0
118 -308
0
119 -308
0
122 -308
0
123 -308
0
126 -308
0
128 -308
0
130 -309
0
131 -309
0
134 -309
0
135 -309
0
138 -309
0
139 -309
0
142 -309
0
144 -309
0
146 -310
0
147 -310
0
150 -310
0
151 -310
0
154 -310
0
155 -310
0
158 -310
0
160 -310
0
1 -311
0
3 -311
0
5 -311
0
7 -311
0
9 -311
0
11 -311
0
13 -311
0
15 -311
0
17 -312
0
19 -312
0
21 -312
0
23 -312
0
25 -312
0
27 -312
0
29 -312
0
31 -312
0
33 -313
0
35 -313
0
37 -313
0
39 -313
0
41 -313
0
43 -313
0
45 -313
0
47 -313
0
49 -314
0
51 -314
0
53 -314
0
55 -314
0
57 -314
0
59 -314
0
61 -314
0
63 -314
0
65 -315
0
67 -315
0
69 -315
0
71 -315
0
73 -315
0
75 -315
0
77 -315
0
79 -315
0
81 -316
0
83 -316
0
85 -316
0
87 -316
0
89 -316
0
91 -316
0
93 -316
0
95 -316
0
97 -317
0
99 -317
0
101 -317
0
103 -317
0
105 -317
0
107 -317
0
109 -317
0
111 -317
0
113 -318
0
115 -318
0
117 -318
0
119 -318
0
121 -318
0
123 -318
0
125 -318
0
127 -318
0
129 -319
0
131 -319
0
133 -319
0
135 -319
0
137 -319
0
139 -319
0
141 -319
0
143 -319
0
145 -320
0
147 -320
0
149 -320
0
151 -320
0
153 -320
0
155 -320
0
157 -320
0
159 -320
0
1 -321
0
3 -321
0
5 -321
0
8 -321
0
9 -321
0
11 -321
0
13 -321
0
16 -321
0
17 -322
0
19 -322
0
21 -322
0
24 -322
0
25 -322
0
27 -322
0
29 -322
0
32 -322
0
33 -323
0
35 -323
0
37 -323
0
40 -323
0
41 -323
0
43 -323
0
45 -323
0
48 -323
0
49 -324
0
51 -324
0
53 -324
0
56 -324
0
57 -324
0
59 -324
0
61 -324
0
64 -324
0
65 -325
0
67 -325
0
69 -325
0
72 -325
0
73 -325
0
75 -325
0
77 -325
0
80 -325
0
81 -326
0
83 -326
0
85 -326
0
88 -326
0
89 -326
0
91 -326
0
93 -326
0
96 -326
0
97 -327
0
99 -327
0
101 -327
0
104 -327
0
105 -327
0
107 -327
0
109 -327
0
112 -327
0
113 -328
0
115 -328
0
117 -328
0
120 -328
0
121 -328
0
123 -328
0
125 -328
0
128 -328
0
129 -329
0
131 -329
0
133 -329
0
136 -329
0
137 -329
0
139 -329
0
141 -329
0
144 -329
0
145 -330
0
147 -330
0
149 -330
0
152 -330
0
153 -330
0
155 -330
0
157 -330
0
160 -330
0
2 -331
0
3 -331
0
5 -331
0
8 -331
0
10 -331
0
12 -331
0
13 -331
0
16 -331
0
18 -332
0
19 -332
0
21 -332
0
24 -332
0
26 -332
0
28 -332
0
29 -332
0
32 -332
0
34 -333
0
35 -333
0
37 -333
0
40 -333
0
42 -333
0
44 -333
0
45 -333
0
48 -333
0
50 -334
0
51 -334
0
53 -334
0
56 -334
0
58 -334
0
60 -334
0
61 -334
0
64 -334
0
66 -335
0
67 -335
0
69 -335
0
72 -335
0
74 -335
0
76 -335
0
77 -335
0
80 -335
0
82 -336
0
83 -336
0
85 -336
0
88 -336
0
90 -336
0
92 -336
0
93 -336
0
96 -336
0
98 -337
0
99 -337
0
101 -337
0
104 -337
0
106 -337
0
108 -337
0
109 -337
0
112 -337
0
114 -338
0
115 -338
0
117 -338
0
120 -338
0
122 -338
0
124 -338
0
125 -338
0
128 -338
0
130 -339
0
131 -339
0
133 -339
0
136 -339
0
138 -339
0
140 -339
0
141 -339
0
144 -339
0
146 -340
0
147 -340
0
149 -340
0
152 -340
0
154 -340
0
156 -340
0
157 -340
0
160 -340
0
2 -341
0
4 -341
0
5 -341
0
8 -341
0
9 -341
0
12 -341
0
13 -341
0
15 -341
0
18 -342
0
20 -342
0
21 -342
0
24 -342
0
25 -342
0
28 -342
0
29 -342
0
31 -342
0
34 -343
0
36 -343
0
37 -343
0
40 -343
0
41 -343
0
44 -343
0
45 -343
0
47 -343
0
50 -344
0
52 -344
0
53 -344
0
56 -344
0
57 -344
0
60 -344
0
61 -344
0
63 -344
0
66 -345
0
68 -345
0
69 -345
0
72 -345
0
73 -345
0
76 -345
0
77 -345
0
79 -345
0
82 -346
0
84 -346
0
85 -346
0
88 -346
0
89 -346
0
92 -346
0
93 -346
0
95 -346
0
98 -347
0
100 -347
0
101 -347
0
104 -347
0
105 -347
0
108 -347
0
109 -347
0
111 -347
0
114 -348
0
116 -348
0
117 -348
0
120 -348
0
121 -348
0
124 -348
0
125 -348
0
127 -348
0
130 -349
0
132 -349
0
133 -349
0
136 -349
0
137 -349
0
140 -349
0
141 -349
0
143 -349
0
146 -350
0
148 -350
0
149 -350
0
152 -350
0
153 -350
0
156 -350
0
157 -350
0
159 -350
0
2 -351
0
3 -351
0
6 -351
0
7 -351
0
9 -351
0
12 -351
0
14 -351
0
15 -351
0
18 -352
0
19 -352
0
22 -352
0
23 -352
0
25 -352
0
28 -352
0
30 -352
0
31 -352
0
34 -353
0
35 -353
0
38 -353
0
39 -353
0
41 -353
0
44 -353
0
46 -353
0
47 -353
0
50 -354
0
51 -354
0
54 -354
0
55 -354
0
57 -354
0
60 -354
0
62 -354
0
63 -354
0
66 -355
0
67 -355
0
70 -355
0
71 -355
0
73 -355
0
76 -355
0
78 -355
0
79 -355
0
82 -356
0
83 -356
0
86 -356
0
87 -356
0
89 -356
0
92 -356
0
94 -356
0
95 -356
0
98 -357
0
99 -357
0
102 -357
0
103 -357
0
105 -357
0
108 -357
0
110 -357
0
111 -357
0
114 -358
0
115 -358
0
118 -358
0
119 -358
0
121 -358
0
124 -358
0
126 -358
0
127 -358
0
130 -359
0
131 -359
0
134 -359
0
135 -359
0
137 -359
0
140 -359
0
142 -359
0
143 -359
0
146 -360
0
147 -360
0
150 -360
0
151 -360
0
153 -360
0
156 -360
0
158 -360
0
159 -360
0
2 -361
0
3 -361
0
5 -361
0
7 -361
0
10 -361
0
12 -361
0
14 -361
0
16 -361
0
18 -362
0
19 -362
0
21 -362
0
23 -362
0
26 -362
0
28 -362
0
30 -362
0
32 -362
0
34 -363
0
35 -363
0
37 -363
0
39 -363
0
42 -363
0
44 -363
0
46 -363
0
48 -363
0
50 -364
0
51 -364
0
53 -364
0
55 -364
0
58 -364
0
60 -364
0
62 -364
0
64 -364
0
66 -365
0
67 -365
0
69 -365
0
71 -365
0
74 -365
0
76 -365
0
78 -365
0
80 -365
0
82 -366
0
83 -366
0
85 -366
0
87 -366
0
90 -366
0
92 -366
0
94 -366
0
96 -366
0
98 -367
0
99 -367
0
101 -367
0
103 -367
0
106 -367
0
108 -367
0
110 -367
0
112 -367
0
114 -368
0
115 -368
0
117 -368
0
119 -368
0
122 -368
0
124 -368
0
126 -368
0
128 -368
0
130 -369
0
131 -369
0
133 -369
0
135 -369
0
138 -369
0
140 -369
0
142 -369
0
144 -369
0
146 -370
0
147 -370
0
149 -370
0
151 -370
0
154 -370
0
156 -370
0
158 -370
0
160 -370
0
1 -371
0
3 -371
0
6 -371
0
8 -371
0
9 -371
0
11 -371
0
13 -371
0
15 -371
0
17 -372
0
19 -372
0
22 -372
0
24 -372
0
25 -372
0
27 -372
0
29 -372
0
31 -372
0
33 -373
0
35 -373
0
38 -373
0
40 -373
0
41 -373
0
43 -373
0
45 -373
0
47 -373
0
49 -374
0
51 -374
0
54 -374
0
56 -374
0
57 -374
0
59 -374
0
61 -374
0
63 -374
0
65 -375
0
67 -375
0
70 -375
0
72 -375
0
73 -375
0
75 -375
0
77 -375
0
79 -375
0
81 -376
0
83 -376
0
86 -376
0
88 -376
0
89 -376
0
91 -376
0
93 -376
0
95 -376
0
97 -377
0
99 -377
0
102 -377
0
104 -377
0
105 -377
0
107 -377
0
109 -377
0
111 -377
0
113 -378
0
115 -378
0
118 -378
0
120 -378
0
121 -378
0
123 -378
0
125 -378
0
127 -378
0
129 -379
0
131 -379
0
134 -379
0
136 -379
0
137 -379
0
139 -379
0
141 -379
0
143 -379
0
145 -380
0
147 -380
0
150 -380
0
152 -380
0
153 -380
0
155 -380
0
157 -380
0
159 -380
0
2 -381
0
4 -381
0
5 -381
0
8 -381
0
9 -381
0
12 -381
0
13 -381
0
16 -381
0
18 -382
0
20 -382
0
21 -382
0
24 -382
0
25 -382
0
28 -382
0
29 -382
0
32 -382
0
34 -383
0
36 -383
0
37 -383
0
40 -383
0
41 -383
0
44 -383
0
45 -383
0
48 -383
0
50 -384
0
52 -384
0
53 -384
0
56 -384
0
57 -384
0
60 -384
0
61 -384
0
64 -384
0
66 -385
0
68 -385
0
69 -385
0
72 -385
0
73 -385
0
76 -385
0
77 -385
0
80 -385
0
82 -386
0
84 -386
0
85 -386
0
88 -386
0
89 -386
0
92 -386
0
93 -386
0
96 -386
0
98 -387
0
100 -387
0
101 -387
0
104 -387
0
105 -387
0
108 -387
0
109 -387
0
112 -387
0
114 -388
0
116 -388
0
117 -388
0
120 -388
0
121 -388
0
124 -388
0
125 -388
0
128 -388
0
130 -389
0
132 -389
0
133 -389
0
136 -389
0
137 -389
0
140 -389
0
141 -389
0
144 -389
0
146 -390
0
148 -390
0
149 -390
0
152 -390
0
153 -390
0
156 -390
0
157 -390
0
160 -390
0
1 -391
0
3 -391
0
6 -391
0
7 -391
0
9 -391
0
11 -391
0
13 -391
0
15 -391
0
17 -392
0
19 -392
0
22 -392
0
23 -392
0
25 -392
0
27 -392
0
29 -392
0
31 -392
0
33 -393
0
35 -393
0
38 -393
0
39 -393
0
41 -393
0
43 -393
0
45 -393
0
47 -393
0
49 -394
0
51 -394
0
54 -394
0
55 -394
0
57 -394
0
59 -394
0
61 -394
0
63 -394
0
65 -395
0
67 -395
0
70 -395
0
71 -395
0
73 -395
0
75 -395
0
77 -395
0
79 -395
0
81 -396
0
83 -396
0
86 -396
0
87 -396
0
89 -396
0
91 -396
0
93 -396
0
95 -396
0
97 -397
0
99 -397
0
102 -397
0
103 -397
0
105 -397
0
107 -397
0
109 -397
0
111 -397
0
113 -398
0
115 -398
0
118 -398
0
119 -398
0
121 -398
0
123 -398
0
125 -398
0
127 -398
0
129 -399
0
131 -399
0
134 -399
0
135 -399
0
137 -399
0
139 -399
0
141 -399
0
143 -399
0
145 -400
0
147 -400
0
150 -400
0
151 -400
0
153 -400
0
155 -400
0
157 -400
0
159 -400
0
1 -401
0
3 -401
0
6 -401
0
8 -401
0
9 -401
0
11 -401
0
14 -401
0
15 -401
0
17 -402
0
19 -402
0
22 -402
0
24 -402
0
25 -402
0
27 -402
0
30 -402
0
31 -402
0
33 -403
0
35 -403
0
38 -403
0
40 -403
0
41 -403
0
43 -403
0
46 -403
0
47 -403
0
49 -404
0
51 -404
0
54 -404
0
56 -404
0
57 -404
0
59 -404
0
62 -404
0
63 -404
0
65 -405
0
67 -405
0
70 -405
0
72 -405
0
73 -405
0
75 -405
0
78 -405
0
79 -405
0
81 -406
0
83 -406
0
86 -406
0
88 -406
0
89 -406
0
91 -406
0
94 -406
0
95 -406
0
97 -407
0
99 -407
0
102 -407
0
104 -407
0
105 -407
0
107 -407
0
110 -407
0
111 -407
0
113 -408
0
115 -408
0
118 -408
0
120 -408
0
121 -408
0
123 -408
0
126 -408
0
127 -408
0
129 -409
0
131 -409
0
134 -409
0
136 -409
0
137 -409
0
139 -409
0
142 -409
0
143 -409
0
145 -410
0
147 -410
0
150 -410
0
152 -410
0
153 -410
0
155 -410
0
158 -410
0
159 -410
0
1 -411
0
3 -411
0
5 -411
0
8 -411
0
10 -411
0
12 -411
0
14 -411
0
15 -411
0
17 -412
0
19 -412
0
21 -412
0
24 -412
0
26 -412
0
28 -412
0
30 -412
0
31 -412
0
33 -413
0
35 -413
0
37 -413
0
40 -413
0
42 -413
0
44 -413
0
46 -413
0
47 -413
0
49 -414
0
51 -414
0
53 -414
0
56 -414
0
58 -414
0
60 -414
0
62 -414
0
63 -414
0
65 -415
0
67 -415
0
69 -415
0
72 -415
0
74 -415
0
76 -415
0
78 -415
0
79 -415
0
81 -416
0
83 -416
0
85 -416
0
88 -416
0
90 -416
0
92 -416
0
94 -416
0
95 -416
0
97 -417
0
99 -417
0
101 -417
0
104 -417
0
106 -417
0
108 -417
0
110 -417
0
111 -417
0
113 -418
0
115 -418
0
117 -418
0
120 -418
0
122 -418
0
124 -418
0
126 -418
0
127 -418
0
129 -419
0
131 -419
0
133 -419
0
136 -419
0
138 -419
0
140 -419
0
142 -419
0
143 -419
0
145 -420
0
147 -420
0
149 -420
0
152 -420
0
154 -420
0
156 -420
0
158 -420
0
159 -420
0
2 -421
0
3 -421
0
5 -421
0
8 -421
0
10 -421
0
11 -421
0
13 -421
0
15 -421
0
18 -422
0
19 -422
0
21 -422
0
24 -422
0
26 -422
0
27 -422
0
29 -422
0
31 -422
0
34 -423
0
35 -423
0
37 -423
0
40 -423
0
42 -423
0
43 -423
0
45 -423
0
47 -423
0
50 -424
0
51 -424
0
53 -424
0
56 -424
0
58 -424
0
59 -424
0
61 -424
0
63 -424
0
66 -425
0
67 -425
0
69 -425
0
72 -425
0
74 -425
0
75 -425
0
77 -425
0
79 -425
0
82 -426
0
83 -426
0
85 -426
0
88 -426
0
90 -426
0
91 -426
0
93 -426
0
95 -426
0
98 -427
0
99 -427
0
101 -427
0
104 -427
0
106 -427
0
107 -427
0
109 -427
0
111 -427
0
114 -428
0
115 -428
0
117 -428
0
120 -428
0
122 -428
0
123 -428
0
125 -428
0
127 -428
0
130 -429
0
131 -429
0
133 -429
0
136 -429
0
138 -429
0
139 -429
0
141 -429
0
143 -429
0
146 -430
0
147 -430
0
149 -430
0
152 -430
0
154 -430
0
155 -430
0
157 -430
0
159 -430
0
1 -431
0
3 -431
0
5 -431
0
7 -431
0
10 -431
0
12 -431
0
14 -431
0
15 -431
0
17 -432
0
19 -432
0
21 -432
0
23 -432
0
26 -432
0
28 -432
0
30 -432
0
31 -432
0
33 -433
0
35 -433
0
37 -433
0
39 -433
0
42 -433
0
44 -433
0
46 -433
0
47 -433
0
49 -434
0
51 -434
0
53 -434
0
55 -434
0
58 -434
0
60 -434
0
62 -434
0
63 -434
0
65 -435
0
67 -435
0
69 -435
0
71 -435
0
74 -435
0
76 -435
0
78 -435
0
79 -435
0
81 -436
0
83 -436
0
85 -436
0
87 -436
0
90 -436
0
92 -436
0
94 -436
0
95 -436
0
97 -437
0
99 -437
0
101 -437
0
103 -437
0
106 -437
0
108 -437
0
110 -437
0
111 -437
0
113 -438
0
115 -438
0
117 -438
0
119 -438
0
122 -438
0
124 -438
0
126 -438
0
127 -438
0
129 -439
0
131 -439
0
133 -439
0
135 -439
0
138 -439
0
140 -439
0
142 -439
0
143 -439
0
145 -440
0
147 -440
0
149 -440
0
151 -440
0
154 -440
0
156 -440
0
158 -440
0
159 -440
0
2 -441
0
3 -441
0
6 -441
0
7 -441
0
9 -441
0
12 -441
0
13 -441
0
16 -441
0
18 -442
0
19 -442
0
22 -442
0
23 -442
0
25 -442
0
28 -442
0
29 -442
0
32 -442
0
34 -443
0
35 -443
0
38 -443
0
39 -443
0
41 -443
0
44 -443
0
45 -443
0
48 -443
0
50 -444
0
51 -444
0
54 -444
0
55 -444
0
57 -444
0
60 -444
0
61 -444
0
64 -444
0
66 -445
0
67 -445
0
70 -445
0
71 -445
0
73 -445
0
76 -445
0
77 -445
0
80 -445
0
82 -446
0
83 -446
0
86 -446
0
87 -446
0
89 -446
0
92 -446
0
93 -446
0
96 -446
0
98 -447
0
99 -447
0
102 -447
0
103 -447
0
105 -447
0
108 -447
0
109 -447
0
112 -447
0
114 -448
0
115 -448
0
118 -448
0
119 -448
0
121 -448
0
124 -448
0
125 -448
0
128 -448
0
130 -449
0
131 -449
0
134 -449
0
135 -449
0
137 -449
0
140 -449
0
141 -449
0
144 -449
0
146 -450
0
147 -450
0
150 -450
0
151 -450
0
153 -450
0
156 -450
0
157 -450
0
160 -450
0
1 -451
0
4 -451
0
6 -451
0
7 -451
0
9 -451
0
11 -451
0
13 -451
0
15 -451
0
17 -452
0
20 -452
0
22 -452
0
23 -452
0
25 -452
0
27 -452
0
29 -452
0
31 -452
0
33 -453
0
36 -453
0
38 -453
0
39 -453
0
41 -453
0
43 -453
0
45 -453
0
47 -453
0
49 -454
0
52 -454
0
54 -454
0
55 -454
0
57 -454
0
59 -454
0
61 -454
0
63 -454
0
65 -455
0
68 -455
0
70 -455
0
71 -455
0
73 -455
0
75 -455
0
77 -455
0
79 -455
0
81 -456
0
84 -456
0
86 -456
0
87 -456
0
89 -456
0
91 -456
0
93 -456
0
95 -456
0
97 -457
0
100 -457
0
102 -457
0
103 -457
0
105 -457
0
107 -457
0
109 -457
0
111 -457
0
113 -458
0
116 -458
0
118 -458
0
119 -458
0
121 -458
0
123 -458
0
125 -458
0
127 -458
0
129 -459
0
132 -459
0
134 -459
0
135 -459
0
137 -459
0
139 -459
0
141 -459
0
143 -459
0
145 -460
0
148 -460
0
150 -460
0
151 -460
0
153 -460
0
155 -460
0
157 -460
0
159 -460
0
1 -461
0
3 -461
0
5 -461
0
8 -461
0
10 -461
0
11 -461
0
14 -461
0
15 -461
0
17 -462
0
19 -462
0
21 -462
0
24 -462
0
26 -462
0
27 -462
0
30 -462
0
31 -462
0
33 -463
0
35 -463
0
37 -463
0
40 -463
0
42 -463
0
43 -463
0
46 -463
0
47 -463
0
49 -464
0
51 -464
0
53 -464
0
56 -464
0
58 -464
0
59 -464
0
62 -464
0
63 -464
0
65 -465
0
67 -465
0
69 -465
0
72 -465
0
74 -465
0
75 -465
0
78 -465
0
79 -465
0
81 -466
0
83 -466
0
85 -466
0
88 -466
0
90 -466
0
91 -466
0
94 -466
0
95 -466
0
97 -467
0
99 -467
0
101 -467
0
104 -467
0
106 -467
0
107 -467
0
110 -467
0
111 -467
0
113 -468
0
115 -468
0
117 -468
0
120 -468
0
122 -468
0
123 -468
0
126 -468
0
127 -468
0
129 -469
0
131 -469
0
133 -469
0
136 -469
0
138 -469
0
139 -469
0
142 -469
0
143 -469
0
145 -470
0
147 -470
0
149 -470
0
152 -470
0
154 -470
0
155 -470
0
158 -470
0
159 -470
0
2 -471
0
4 -471
0
5 -471
0
7 -471
0
9 -471
0
11 -471
0
14 -471
0
16 -471
0
18 -472
0
20 -472
0
21 -472
0
23 -472
0
25 -472
0
27 -472
0
30 -472
0
32 -472
0
34 -473
0
36 -473
0
37 -473
0
39 -473
0
41 -473
0
43 -473
0
46 -473
0
48 -473
0
50 -474
0
52 -474
0
53 -474
0
55 -474
0
57 -474
0
59 -474
0
62 -474
0
64 -474
0
66 -475
0
68 -475
0
69 -475
0
71 -475
0
73 -475
0
75 -475
0
78 -475
0
80 -475
0
82 -476
0
84 -476
0
85 -476
0
87 -476
0
89 -476
0
91 -476
0
94 -476
0
96 -476
0
98 -477
0
100 -477
0
101 -477
0
103 -477
0
105 -477
0
107 -477
0
110 -477
0
112 -477
0
114 -478
0
116 -478
0
117 -478
0
119 -478
0
121 -478
0
123 -478
0
126 -478
0
128 -478
0
130 -479
0
132 -479
0
133 -479
0
135 -479
0
137 -479
0
139 -479
0
142 -479
0
144 -479
0
146 -480
0
148 -480
0
149 -480
0
151 -480
0
153 -480
0
155 -480
0
158 -480
0
160 -480
0
1 -481
0
3 -481
0
6 -481
0
7 -481
0
9 -481
0
12 -481
0
14 -481
0
15 -481
0
17 -482
0
19 -482
0
22 -482
0
23 -482
0
25 -482
0
28 -482
0
30 -482
0
31 -482
0
33 -483
0
35 -483
0
38 -483
0
39 -483
0
41 -483
0
44 -483
0
46 -483
0
47 -483
0
49 -484
0
51 -484
0
54 -484
0
55 -484
0
57 -484
0
60 -484
0
62 -484
0
63 -484
0
65 -485
0
67 -485
0
70 -485
0
71 -485
0
73 -485
0
76 -485
0
78 -485
0
79 -485
0
81 -486
0
83 -486
0
86 -486
0
87 -486
0
89 -486
0
92 -486
0
94 -486
0
95 -486
0
97 -487
0
99 -487
0
102 -487
0
103 -487
0
105 -487
0
108 -487
0
110 -487
0
111 -487
0
113 -488
0
115 -488
0
118 -488
0
119 -488
0
121 -488
0
124 -488
0
126 -488
0
127 -488
0
129 -489
0
131 -489
0
134 -489
0
135 -489
0
137 -489
0
140 -489
0
142 -489
0
143 -489
0
145 -490
0
147 -490
0
150 -490
0
151 -490
0
153 -490
0
156 -490
0
158 -490
0
159 -490
0
1 -491
0
3 -491
0
5 -491
0
8 -491
0
10 -491
0
11 -491
0
13 -491
0
16 -491
0
17 -492
0
19 -492
0
21 -492
0
24 -492
0
26 -492
0
27 -492
0
29 -492
0
32 -492
0
33 -493
0
35 -493
0
37 -493
0
40 -493
0
42 -493
0
43 -493
0
45 -493
0
48 -493
0
49 -494
0
51 -494
0
53 -494
0
56 -494
0
58 -494
0
59 -494
0
61 -494
0
64 -494
0
65 -495
0
67 -495
0
69 -495
0
72 -495
0
74 -495
0
75 -495
0
77 -495
0
80 -495
0
81 -496
0
83 -496
0
85 -496
0
88 -496
0
90 -496
0
91 -496
0
93 -496
0
96 -496
0
97 -497
0
99 -497
0
101 -497
0
104 -497
0
106 -497
0
107 -497
0
109 -497
0
112 -497
0
113 -498
0
115 -498
0
117 -498
0
120 -498
0
122 -498
0
123 -498
0
125 -498
0
128 -498
0
129 -499
0
131 -499
0
133 -499
0
136 -499
0
138 -499
0
139 -499
0
141 -499
0
144 -499
0
145 -500
0
147 -500
0
149 -500
0
152 -500
0
154 -500
0
155 -500
0
157 -500
0
160 -500
0
1 -501
0
3 -501
0
6 -501
0
8 -501
0
9 -501
0
11 -501
0
14 -501
0
15 -501
0
17 -502
0
19 -502
0
22 -502
0
24 -502
0
25 -502
0
27 -502
0
30 -502
0
31 -502
0
33 -503
0
35 -503
0
38 -503
0
40 -503
0
41 -503
0
43 -503
0
46 -503
0
47 -503
0
49 -504
0
51 -504
0
54 -504
0
56 -504
0
57 -504
0
59 -504
0
62 -504
0
63 -504
0
65 -505
0
67 -505
0
70 -505
0
72 -505
0
73 -505
0
75 -505
0
78 -505
0
79 -505
0
81 -506
0
83 -506
0
86 -506
0
88 -506
0
89 -506
0
91 -506
0
94 -506
0
95 -506
0
97 -507
0
99 -507
0
102 -507
0
104 -507
0
105 -507
0
107 -507
0
110 -507
0
111 -507
0
113 -508
0
115 -508
0
118 -508
0
120 -508
0
121 -508
0
123 -508
0
126 -508
0
127 -508
0
129 -509
0
131 -509
0
134 -509
0
136 -509
0
137 -509
0
139 -509
0
142 -509
0
143 -509
0
145 -510
0
147 -510
0
150 -510
0
152 -510
0
153 -510
0
155 -510
0
158 -510
0
159 -510
0
2 -511
0
3 -511
0
5 -511
0
8 -511
0
10 -511
0
11 -511
0
13 -511
0
16 -511
0
18 -512
0
19 -512
0
21 -512
0
24 -512
0
26 -512
0
27 -512
0
29 -512
0
32 -512
0
34 -513
0
35 -513
0
37 -513
0
40 -513
0
42 -513
0
43 -513
0
45 -513
0
48 -513
0
50 -514
0
51 -514
0
53 -514
0
56 -514
0
58 -514
0
59 -514
0
61 -514
0
64 -514
0
66 -515
0
67 -515
0
69 -515
0
72 -515
0
74 -515
0
75 -515
0
77 -515
0
80 -515
0
82 -516
0
83 -516
0
85 -516
0
88 -516
0
90 -516
0
91 -516
0
93 -516
0
96 -516
0
98 -517
0
99 -517
0
101 -517
0
104 -517
0
106 -517
0
107 -517
0
109 -517
0
112 -517
0
114 -518
0
115 -518
0
117 -518
0
120 -518
0
122 -518
0
123 -518
0
125 -518
0
128 -518
0
130 -519
0
131 -519
0
133 -519
0
136 -519
0
138 -519
0
139 -519
0
141 -519
0
144 -519
0
146 -520
0
147 -520
0
149 -520
0
152 -520
0
154 -520
0
155 -520
0
157 -520
0
160 -520
0
2 -521
0
3 -521
0
6 -521
0
7 -521
0
10 -521
0
11 -521
0
13 -521
0
16 -521
0
18 -522
0
19 -522
0
22 -522
0
23 -522
0
26 -522
0
27 -522
0
29 -522
0
32 -522
0
34 -523
0
35 -523
0
38 -523
0
39 -523
0
42 -523
0
43 -523
0
45 -523
0
48 -523
0
50 -524
0
51 -524
0
54 -524
0
55 -524
0
58 -524
0
59 -524
0
61 -524
0
64 -524
0
66 -525
0
67 -525
0
70 -525
0
71 -525
0
74 -525
0
75 -525
0
77 -525
0
80 -525
0
82 -526
0
83 -526
0
86 -526
0
87 -526
0
90 -526
0
91 -526
0
93 -526
0
96 -526
0
98 -527
0
99 -527
0
102 -527
0
103 -527
0
106 -527
0
107 -527
0
109 -527
0
112 -527
0
114 -528
0
115 -528
0
118 -528
0
119 -528
0
122 -528
0
123 -528
0
125 -528
0
128 -528
0
130 -529
0
131 -529
0
134 -529
0
135 -529
0
138 -529
0
139 -529
0
141 -529
0
144 -529
0
146 -530
0
147 -530
0
150 -530
0
151 -530
0
154 -530
0
155 -530
0
157 -530
0
160 -530
0
161 162 163 164 165 166
167 168 169 170
0
171 172 173 174 175 176
177 178 179 180
0
181 182 183 184 185 186
187 188 189 190
0
191 192 193 194 195 196
197 198 199 200
0
201 202 203 204 205 206
207 208 209 210
0
211 212 213 214 215 216
217 218 219 220
0
221 222 223 224 225 226
227 228 229 230
0
231 232 233 234 235 236
237 238 239 240
0
241 242 243 244 245 246
247 248 249 250
0
251 252 253 254 255 256
257 258 259 260
0
261 262 263 264 265 266
267 268 269 270
0
271 272 273 274 275 276
277 278 279 280
0
281 282 283 284 285 286
287 288 289 290
0
291 292 293 294 295 296
297 298 299 300
0
301 302 303 304 305 306
307 308 309 310
0
311 312 313 314 315 316
317 318 319 320
0
321 322 323 324 325 326
327 328 329 330
0
331 332 333 334 335 336
337 338 339 340
0
341 342 343 344 345 346
347 348 349 350
0
351 352 353 354 355 356
357 358 359 360
0
361 362 363 364 365 366
367 368 369 370
0
371 372 373 374 375 376
377 378 379 380
0
381 382 383 384 385 386
387 388 389 390
0
391 392 393 394 395 396
397 398 399 400
0
401 402 403 404 405 406
407 408 409 410
0
411 412 413 414 415 416
417 418 419 420
0
421 422 423 424 425 426
427 428 429 430
0
431 432 433 434 435 436
437 438 439 440
0
441 442 443 444 445 446
447 448 449 450
0
451 452 453 454 455 456
457 458 459 460
0
461 462 463 464 465 466
467 468 469 470
0
471 472 473 474 475 476
477 478 479 480
0
481 482 483 484 485 486
487 488 489 490
0
491 492 493 494 495 496
497 498 499 500
0
501 502 503 504 505 506
507 508 509 510
0
511 512 513 514 515 516
517 518 519 520
0
521 522 523 524 525 526
527 528 529 530
0