c 1 = x@0
c 2 = x@1
c 3 = x@2
c 4 = x@3
c 5 = x@4
c 6 = x@5
c 7 = x@6
c 8 = x@7
c 9 = x@9
c 10 = x@8
c 11 = y@0
c 12 = y@1
c 13 = y@2
c 14 = y@3
c 15 = y@4
c 16 = y@5
c 17 = y@6
c 18 = y@7
c 19 = y@9
c 20 = y@8
p cnf 989 2908
-21 -9 0
-21 -10 0
9 10 21 0
-22 -8 0
-22 21 0
8 -21 22 0
-23 -7 0
-23 22 0
7 -22 23 0
-24 -6 0
-24 23 0
6 -23 24 0
-25 -5 0
-25 24 0
5 -24 25 0
-26 -4 0
-26 25 0
4 -25 26 0
-27 -3 0
-27 26 0
3 -26 27 0
-28 -2 0
-28 27 0
2 -27 28 0
-29 1 0
-29 28 0
-1 -28 29 0
-30 -19 0
-30 -20 0
19 20 30 0
-31 -18 0
-31 30 0
18 -30 31 0
-32 -17 0
-32 31 0
17 -31 32 0
-33 -16 0
-33 32 0
16 -32 33 0
-34 -15 0
-34 33 0
15 -33 34 0
-35 -14 0
-35 34 0
14 -34 35 0
-36 -13 0
-36 35 0
13 -35 36 0
-37 -12 0
-37 36 0
12 -36 37 0
-38 11 0
-38 37 0
-11 -37 38 0
-39 -29 0
-39 -38 0
29 38 39 0
-40 1 0
-40 11 0
-1 -11 40 0
-41 1 0
-41 12 0
-1 -12 41 0
-42 2 0
-42 11 0
-2 -11 42 0
-43 41 0
-43 42 0
-41 -42 43 0
-44 -41 0
-44 -42 0
41 42 44 0
-45 -43 0
-45 -44 0
43 44 45 0
-46 3 0
-46 11 0
-3 -11 46 0
-47 1 0
-47 13 0
-1 -13 47 0
-48 2 0
-48 12 0
-2 -12 48 0
-49 48 0
-49 -43 0
-48 43 49 0
-50 -48 0
-50 43 0
48 -43 50 0
-51 -49 0
-51 -50 0
49 50 51 0
-52 47 0
-52 -51 0
-47 51 52 0
-53 -47 0
-53 51 0
47 -51 53 0
-54 -52 0
-54 -53 0
52 53 54 0
-55 46 0
-55 54 0
-46 -54 55 0
-56 -46 0
-56 -54 0
46 54 56 0
-57 -55 0
-57 -56 0
55 56 57 0
-58 4 0
-58 11 0
-4 -11 58 0
-59 1 0
-59 14 0
-1 -14 59 0
-60 2 0
-60 13 0
-2 -13 60 0
-61 -47 0
-61 -48 0
47 48 61 0
-62 43 0
-62 -61 0
-43 61 62 0
-63 47 0
-63 48 0
-47 -48 63 0
-64 -62 0
-64 -63 0
62 63 64 0
-65 60 0
-65 64 0
-60 -64 65 0
-66 -60 0
-66 -64 0
60 64 66 0
-67 -65 0
-67 -66 0
65 66 67 0
-68 59 0
-68 -67 0
-59 67 68 0
-69 -59 0
-69 67 0
59 -67 69 0
-70 -68 0
-70 -69 0
68 69 70 0
-71 3 0
-71 12 0
-3 -12 71 0
-72 71 0
-72 -55 0
-71 55 72 0
-73 -71 0
-73 55 0
71 -55 73 0
-74 -72 0
-74 -73 0
72 73 74 0
-75 70 0
-75 -74 0
-70 74 75 0
-76 -70 0
-76 74 0
70 -74 76 0
-77 -75 0
-77 -76 0
75 76 77 0
-78 58 0
-78 77 0
-58 -77 78 0
-79 -58 0
-79 -77 0
58 77 79 0
-80 -78 0
-80 -79 0
78 79 80 0
-81 5 0
-81 11 0
-5 -11 81 0
-82 1 0
-82 15 0
-1 -15 82 0
-83 2 0
-83 14 0
-2 -14 83 0
-84 -59 0
-84 -60 0
59 60 84 0
-85 -64 0
-85 -84 0
64 84 85 0
-86 59 0
-86 60 0
-59 -60 86 0
-87 -85 0
-87 -86 0
85 86 87 0
-88 83 0
-88 87 0
-83 -87 88 0
-89 -83 0
-89 -87 0
83 87 89 0
-90 -88 0
-90 -89 0
88 89 90 0
-91 82 0
-91 -90 0
-82 90 91 0
-92 -82 0
-92 90 0
82 -90 92 0
-93 -91 0
-93 -92 0
91 92 93 0
-94 3 0
-94 13 0
-3 -13 94 0
-95 -71 0
-95 -70 0
71 70 95 0
-96 55 0
-96 -95 0
-55 95 96 0
-97 71 0
-97 70 0
-71 -70 97 0
-98 -96 0
-98 -97 0
96 97 98 0
-99 94 0
-99 98 0
-94 -98 99 0
-100 -94 0
-100 -98 0
94 98 100 0
-101 -99 0
-101 -100 0
99 100 101 0
-102 93 0
-102 -101 0
-93 101 102 0
-103 -93 0
-103 101 0
93 -101 103 0
-104 -102 0
-104 -103 0
102 103 104 0
-105 4 0
-105 12 0
-4 -12 105 0
-106 105 0
-106 -78 0
-105 78 106 0
-107 -105 0
-107 78 0
105 -78 107 0
-108 -106 0
-108 -107 0
106 107 108 0
-109 104 0
-109 -108 0
-104 108 109 0
-110 -104 0
-110 108 0
104 -108 110 0
-111 -109 0
-111 -110 0
109 110 111 0
-112 81 0
-112 111 0
-81 -111 112 0
-113 -81 0
-113 -111 0
81 111 113 0
-114 -112 0
-114 -113 0
112 113 114 0
-115 6 0
-115 11 0
-6 -11 115 0
-116 1 0
-116 16 0
-1 -16 116 0
-117 2 0
-117 15 0
-2 -15 117 0
-118 -82 0
-118 -83 0
82 83 118 0
-119 -87 0
-119 -118 0
87 118 119 0
-120 82 0
-120 83 0
-82 -83 120 0
-121 -119 0
-121 -120 0
119 120 121 0
-122 117 0
-122 121 0
-117 -121 122 0
-123 -117 0
-123 -121 0
117 121 123 0
-124 -122 0
-124 -123 0
122 123 124 0
-125 116 0
-125 -124 0
-116 124 125 0
-126 -116 0
-126 124 0
116 -124 126 0
-127 -125 0
-127 -126 0
125 126 127 0
-128 3 0
-128 14 0
-3 -14 128 0
-129 -94 0
-129 -93 0
94 93 129 0
-130 -98 0
-130 -129 0
98 129 130 0
-131 94 0
-131 93 0
-94 -93 131 0
-132 -130 0
-132 -131 0
130 131 132 0
-133 128 0
-133 132 0
-128 -132 133 0
-134 -128 0
-134 -132 0
128 132 134 0
-135 -133 0
-135 -134 0
133 134 135 0
-136 127 0
-136 -135 0
-127 135 136 0
-137 -127 0
-137 135 0
127 -135 137 0
-138 -136 0
-138 -137 0
136 137 138 0
-139 4 0
-139 13 0
-4 -13 139 0
-140 -105 0
-140 -104 0
105 104 140 0
-141 78 0
-141 -140 0
-78 140 141 0
-142 105 0
-142 104 0
-105 -104 142 0
-143 -141 0
-143 -142 0
141 142 143 0
-144 139 0
-144 143 0
-139 -143 144 0
-145 -139 0
-145 -143 0
139 143 145 0
-146 -144 0
-146 -145 0
144 145 146 0
-147 138 0
-147 -146 0
-138 146 147 0
-148 -138 0
-148 146 0
138 -146 148 0
-149 -147 0
-149 -148 0
147 148 149 0
-150 5 0
-150 12 0
-5 -12 150 0
-151 150 0
-151 -112 0
-150 112 151 0
-152 -150 0
-152 112 0
150 -112 152 0
-153 -151 0
-153 -152 0
151 152 153 0
-154 149 0
-154 -153 0
-149 153 154 0
-155 -149 0
-155 153 0
149 -153 155 0
-156 -154 0
-156 -155 0
154 155 156 0
-157 115 0
-157 156 0
-115 -156 157 0
-158 -115 0
-158 -156 0
115 156 158 0
-159 -157 0
-159 -158 0
157 158 159 0
-160 7 0
-160 11 0
-7 -11 160 0
-161 1 0
-161 17 0
-1 -17 161 0
-162 2 0
-162 16 0
-2 -16 162 0
-163 -116 0
-163 -117 0
116 117 163 0
-164 -121 0
-164 -163 0
121 163 164 0
-165 116 0
-165 117 0
-116 -117 165 0
-166 -164 0
-166 -165 0
164 165 166 0
-167 162 0
-167 166 0
-162 -166 167 0
-168 -162 0
-168 -166 0
162 166 168 0
-169 -167 0
-169 -168 0
167 168 169 0
-170 161 0
-170 -169 0
-161 169 170 0
-171 -161 0
-171 169 0
161 -169 171 0
-172 -170 0
-172 -171 0
170 171 172 0
-173 3 0
-173 15 0
-3 -15 173 0
-174 -128 0
-174 -127 0
128 127 174 0
-175 -132 0
-175 -174 0
132 174 175 0
-176 128 0
-176 127 0
-128 -127 176 0
-177 -175 0
-177 -176 0
175 176 177 0
-178 173 0
-178 177 0
-173 -177 178 0
-179 -173 0
-179 -177 0
173 177 179 0
-180 -178 0
-180 -179 0
178 179 180 0
-181 172 0
-181 -180 0
-172 180 181 0
-182 -172 0
-182 180 0
172 -180 182 0
-183 -181 0
-183 -182 0
181 182 183 0
-184 4 0
-184 14 0
-4 -14 184 0
-185 -139 0
-185 -138 0
139 138 185 0
-186 -143 0
-186 -185 0
143 185 186 0
-187 139 0
-187 138 0
-139 -138 187 0
-188 -186 0
-188 -187 0
186 187 188 0
-189 184 0
-189 188 0
-184 -188 189 0
-190 -184 0
-190 -188 0
184 188 190 0
-191 -189 0
-191 -190 0
189 190 191 0
-192 183 0
-192 -191 0
-183 191 192 0
-193 -183 0
-193 191 0
183 -191 193 0
-194 -192 0
-194 -193 0
192 193 194 0
-195 5 0
-195 13 0
-5 -13 195 0
-196 -150 0
-196 -149 0
150 149 196 0
-197 112 0
-197 -196 0
-112 196 197 0
-198 150 0
-198 149 0
-150 -149 198 0
-199 -197 0
-199 -198 0
197 198 199 0
-200 195 0
-200 199 0
-195 -199 200 0
-201 -195 0
-201 -199 0
195 199 201 0
-202 -200 0
-202 -201 0
200 201 202 0
-203 194 0
-203 -202 0
-194 202 203 0
-204 -194 0
-204 202 0
194 -202 204 0
-205 -203 0
-205 -204 0
203 204 205 0
-206 6 0
-206 12 0
-6 -12 206 0
-207 206 0
-207 -157 0
-206 157 207 0
-208 -206 0
-208 157 0
206 -157 208 0
-209 -207 0
-209 -208 0
207 208 209 0
-210 205 0
-210 -209 0
-205 209 210 0
-211 -205 0
-211 209 0
205 -209 211 0
-212 -210 0
-212 -211 0
210 211 212 0
-213 160 0
-213 212 0
-160 -212 213 0
-214 -160 0
-214 -212 0
160 212 214 0
-215 -213 0
-215 -214 0
213 214 215 0
-216 8 0
-216 11 0
-8 -11 216 0
-217 1 0
-217 18 0
-1 -18 217 0
-218 2 0
-218 17 0
-2 -17 218 0
-219 -161 0
-219 -162 0
161 162 219 0
-220 -166 0
-220 -219 0
166 219 220 0
-221 161 0
-221 162 0
-161 -162 221 0
-222 -220 0
-222 -221 0
220 221 222 0
-223 218 0
-223 222 0
-218 -222 223 0
-224 -218 0
-224 -222 0
218 222 224 0
-225 -223 0
-225 -224 0
223 224 225 0
-226 217 0
-226 -225 0
-217 225 226 0
-227 -217 0
-227 225 0
217 -225 227 0
-228 -226 0
-228 -227 0
226 227 228 0
-229 3 0
-229 16 0
-3 -16 229 0
-230 -173 0
-230 -172 0
173 172 230 0
-231 -177 0
-231 -230 0
177 230 231 0
-232 173 0
-232 172 0
-173 -172 232 0
-233 -231 0
-233 -232 0
231 232 233 0
-234 229 0
-234 233 0
-229 -233 234 0
-235 -229 0
-235 -233 0
229 233 235 0
-236 -234 0
-236 -235 0
234 235 236 0
-237 228 0
-237 -236 0
-228 236 237 0
-238 -228 0
-238 236 0
228 -236 238 0
-239 -237 0
-239 -238 0
237 238 239 0
-240 4 0
-240 15 0
-4 -15 240 0
-241 -184 0
-241 -183 0
184 183 241 0
-242 -188 0
-242 -241 0
188 241 242 0
-243 184 0
-243 183 0
-184 -183 243 0
-244 -242 0
-244 -243 0
242 243 244 0
-245 240 0
-245 244 0
-240 -244 245 0
-246 -240 0
-246 -244 0
240 244 246 0
-247 -245 0
-247 -246 0
245 246 247 0
-248 239 0
-248 -247 0
-239 247 248 0
-249 -239 0
-249 247 0
239 -247 249 0
-250 -248 0
-250 -249 0
248 249 250 0
-251 5 0
-251 14 0
-5 -14 251 0
-252 -195 0
-252 -194 0
195 194 252 0
-253 -199 0
-253 -252 0
199 252 253 0
-254 195 0
-254 194 0
-195 -194 254 0
-255 -253 0
-255 -254 0
253 254 255 0
-256 251 0
-256 255 0
-251 -255 256 0
-257 -251 0
-257 -255 0
251 255 257 0
-258 -256 0
-258 -257 0
256 257 258 0
-259 250 0
-259 -258 0
-250 258 259 0
-260 -250 0
-260 258 0
250 -258 260 0
-261 -259 0
-261 -260 0
259 260 261 0
-262 6 0
-262 13 0
-6 -13 262 0
-263 -206 0
-263 -205 0
206 205 263 0
-264 157 0
-264 -263 0
-157 263 264 0
-265 206 0
-265 205 0
-206 -205 265 0
-266 -264 0
-266 -265 0
264 265 266 0
-267 262 0
-267 266 0
-262 -266 267 0
-268 -262 0
-268 -266 0
262 266 268 0
-269 -267 0
-269 -268 0
267 268 269 0
-270 261 0
-270 -269 0
-261 269 270 0
-271 -261 0
-271 269 0
261 -269 271 0
-272 -270 0
-272 -271 0
270 271 272 0
-273 7 0
-273 12 0
-7 -12 273 0
-274 273 0
-274 -213 0
-273 213 274 0
-275 -273 0
-275 213 0
273 -213 275 0
-276 -274 0
-276 -275 0
274 275 276 0
-277 272 0
-277 -276 0
-272 276 277 0
-278 -272 0
-278 276 0
272 -276 278 0
-279 -277 0
-279 -278 0
277 278 279 0
-280 216 0
-280 279 0
-216 -279 280 0
-281 -216 0
-281 -279 0
216 279 281 0
-282 -280 0
-282 -281 0
280 281 282 0
-283 10 0
-283 11 0
-10 -11 283 0
-284 1 0
-284 20 0
-1 -20 284 0
-285 2 0
-285 18 0
-2 -18 285 0
-286 -217 0
-286 -218 0
217 218 286 0
-287 -222 0
-287 -286 0
222 286 287 0
-288 217 0
-288 218 0
-217 -218 288 0
-289 -287 0
-289 -288 0
287 288 289 0
-290 285 0
-290 289 0
-285 -289 290 0
-291 -285 0
-291 -289 0
285 289 291 0
-292 -290 0
-292 -291 0
290 291 292 0
-293 284 0
-293 -292 0
-284 292 293 0
-294 -284 0
-294 292 0
284 -292 294 0
-295 -293 0
-295 -294 0
293 294 295 0
-296 3 0
-296 17 0
-3 -17 296 0
-297 -229 0
-297 -228 0
229 228 297 0
-298 -233 0
-298 -297 0
233 297 298 0
-299 229 0
-299 228 0
-229 -228 299 0
-300 -298 0
-300 -299 0
298 299 300 0
-301 296 0
-301 300 0
-296 -300 301 0
-302 -296 0
-302 -300 0
296 300 302 0
-303 -301 0
-303 -302 0
301 302 303 0
-304 295 0
-304 -303 0
-295 303 304 0
-305 -295 0
-305 303 0
295 -303 305 0
-306 -304 0
-306 -305 0
304 305 306 0
-307 4 0
-307 16 0
-4 -16 307 0
-308 -240 0
-308 -239 0
240 239 308 0
-309 -244 0
-309 -308 0
244 308 309 0
-310 240 0
-310 239 0
-240 -239 310 0
-311 -309 0
-311 -310 0
309 310 311 0
-312 307 0
-312 311 0
-307 -311 312 0
-313 -307 0
-313 -311 0
307 311 313 0
-314 -312 0
-314 -313 0
312 313 314 0
-315 306 0
-315 -314 0
-306 314 315 0
-316 -306 0
-316 314 0
306 -314 316 0
-317 -315 0
-317 -316 0
315 316 317 0
-318 5 0
-318 15 0
-5 -15 318 0
-319 -251 0
-319 -250 0
251 250 319 0
-320 -255 0
-320 -319 0
255 319 320 0
-321 251 0
-321 250 0
-251 -250 321 0
-322 -320 0
-322 -321 0
320 321 322 0
-323 318 0
-323 322 0
-318 -322 323 0
-324 -318 0
-324 -322 0
318 322 324 0
-325 -323 0
-325 -324 0
323 324 325 0
-326 317 0
-326 -325 0
-317 325 326 0
-327 -317 0
-327 325 0
317 -325 327 0
-328 -326 0
-328 -327 0
326 327 328 0
-329 6 0
-329 14 0
-6 -14 329 0
-330 -262 0
-330 -261 0
262 261 330 0
-331 -266 0
-331 -330 0
266 330 331 0
-332 262 0
-332 261 0
-262 -261 332 0
-333 -331 0
-333 -332 0
331 332 333 0
-334 329 0
-334 333 0
-329 -333 334 0
-335 -329 0
-335 -333 0
329 333 335 0
-336 -334 0
-336 -335 0
334 335 336 0
-337 328 0
-337 -336 0
-328 336 337 0
-338 -328 0
-338 336 0
328 -336 338 0
-339 -337 0
-339 -338 0
337 338 339 0
-340 7 0
-340 13 0
-7 -13 340 0
-341 -273 0
-341 -272 0
273 272 341 0
-342 213 0
-342 -341 0
-213 341 342 0
-343 273 0
-343 272 0
-273 -272 343 0
-344 -342 0
-344 -343 0
342 343 344 0
-345 340 0
-345 344 0
-340 -344 345 0
-346 -340 0
-346 -344 0
340 344 346 0
-347 -345 0
-347 -346 0
345 346 347 0
-348 339 0
-348 -347 0
-339 347 348 0
-349 -339 0
-349 347 0
339 -347 349 0
-350 -348 0
-350 -349 0
348 349 350 0
-351 8 0
-351 12 0
-8 -12 351 0
-352 351 0
-352 -280 0
-351 280 352 0
-353 -351 0
-353 280 0
351 -280 353 0
-354 -352 0
-354 -353 0
352 353 354 0
-355 350 0
-355 -354 0
-350 354 355 0
-356 -350 0
-356 354 0
350 -354 356 0
-357 -355 0
-357 -356 0
355 356 357 0
-358 283 0
-358 357 0
-283 -357 358 0
-359 -283 0
-359 -357 0
283 357 359 0
-360 -358 0
-360 -359 0
358 359 360 0
-361 9 0
-361 11 0
-9 -11 361 0
-362 1 0
-362 19 0
-1 -19 362 0
-363 2 0
-363 20 0
-2 -20 363 0
-364 -284 0
-364 -285 0
284 285 364 0
-365 -289 0
-365 -364 0
289 364 365 0
-366 284 0
-366 285 0
-284 -285 366 0
-367 -365 0
-367 -366 0
365 366 367 0
-368 363 0
-368 367 0
-363 -367 368 0
-369 -363 0
-369 -367 0
363 367 369 0
-370 -368 0
-370 -369 0
368 369 370 0
-371 362 0
-371 -370 0
-362 370 371 0
-372 -362 0
-372 370 0
362 -370 372 0
-373 -371 0
-373 -372 0
371 372 373 0
-374 3 0
-374 18 0
-3 -18 374 0
-375 -296 0
-375 -295 0
296 295 375 0
-376 -300 0
-376 -375 0
300 375 376 0
-377 296 0
-377 295 0
-296 -295 377 0
-378 -376 0
-378 -377 0
376 377 378 0
-379 374 0
-379 378 0
-374 -378 379 0
-380 -374 0
-380 -378 0
374 378 380 0
-381 -379 0
-381 -380 0
379 380 381 0
-382 373 0
-382 -381 0
-373 381 382 0
-383 -373 0
-383 381 0
373 -381 383 0
-384 -382 0
-384 -383 0
382 383 384 0
-385 4 0
-385 17 0
-4 -17 385 0
-386 -307 0
-386 -306 0
307 306 386 0
-387 -311 0
-387 -386 0
311 386 387 0
-388 307 0
-388 306 0
-307 -306 388 0
-389 -387 0
-389 -388 0
387 388 389 0
-390 385 0
-390 389 0
-385 -389 390 0
-391 -385 0
-391 -389 0
385 389 391 0
-392 -390 0
-392 -391 0
390 391 392 0
-393 384 0
-393 -392 0
-384 392 393 0
-394 -384 0
-394 392 0
384 -392 394 0
-395 -393 0
-395 -394 0
393 394 395 0
-396 5 0
-396 16 0
-5 -16 396 0
-397 -318 0
-397 -317 0
318 317 397 0
-398 -322 0
-398 -397 0
322 397 398 0
-399 318 0
-399 317 0
-318 -317 399 0
-400 -398 0
-400 -399 0
398 399 400 0
-401 396 0
-401 400 0
-396 -400 401 0
-402 -396 0
-402 -400 0
396 400 402 0
-403 -401 0
-403 -402 0
401 402 403 0
-404 395 0
-404 -403 0
-395 403 404 0
-405 -395 0
-405 403 0
395 -403 405 0
-406 -404 0
-406 -405 0
404 405 406 0
-407 6 0
-407 15 0
-6 -15 407 0
-408 -329 0
-408 -328 0
329 328 408 0
-409 -333 0
-409 -408 0
333 408 409 0
-410 329 0
-410 328 0
-329 -328 410 0
-411 -409 0
-411 -410 0
409 410 411 0
-412 407 0
-412 411 0
-407 -411 412 0
-413 -407 0
-413 -411 0
407 411 413 0
-414 -412 0
-414 -413 0
412 413 414 0
-415 406 0
-415 -414 0
-406 414 415 0
-416 -406 0
-416 414 0
406 -414 416 0
-417 -415 0
-417 -416 0
415 416 417 0
-418 7 0
-418 14 0
-7 -14 418 0
-419 -340 0
-419 -339 0
340 339 419 0
-420 -344 0
-420 -419 0
344 419 420 0
-421 340 0
-421 339 0
-340 -339 421 0
-422 -420 0
-422 -421 0
420 421 422 0
-423 418 0
-423 422 0
-418 -422 423 0
-424 -418 0
-424 -422 0
418 422 424 0
-425 -423 0
-425 -424 0
423 424 425 0
-426 417 0
-426 -425 0
-417 425 426 0
-427 -417 0
-427 425 0
417 -425 427 0
-428 -426 0
-428 -427 0
426 427 428 0
-429 8 0
-429 13 0
-8 -13 429 0
-430 -351 0
-430 -350 0
351 350 430 0
-431 280 0
-431 -430 0
-280 430 431 0
-432 351 0
-432 350 0
-351 -350 432 0
-433 -431 0
-433 -432 0
431 432 433 0
-434 429 0
-434 433 0
-429 -433 434 0
-435 -429 0
-435 -433 0
429 433 435 0
-436 -434 0
-436 -435 0
434 435 436 0
-437 428 0
-437 -436 0
-428 436 437 0
-438 -428 0
-438 436 0
428 -436 438 0
-439 -437 0
-439 -438 0
437 438 439 0
-440 10 0
-440 12 0
-10 -12 440 0
-441 440 0
-441 -358 0
-440 358 441 0
-442 -440 0
-442 358 0
440 -358 442 0
-443 -441 0
-443 -442 0
441 442 443 0
-444 439 0
-444 -443 0
-439 443 444 0
-445 -439 0
-445 443 0
439 -443 445 0
-446 -444 0
-446 -445 0
444 445 446 0
-447 361 0
-447 446 0
-361 -446 447 0
-448 -361 0
-448 -446 0
361 446 448 0
-449 -447 0
-449 -448 0
447 448 449 0
-450 2 0
-450 19 0
-2 -19 450 0
-451 -362 0
-451 -363 0
362 363 451 0
-452 -367 0
-452 -451 0
367 451 452 0
-453 362 0
-453 363 0
-362 -363 453 0
-454 -452 0
-454 -453 0
452 453 454 0
-455 450 0
-455 -454 0
-450 454 455 0
-456 -450 0
-456 454 0
450 -454 456 0
-457 -455 0
-457 -456 0
455 456 457 0
-458 3 0
-458 20 0
-3 -20 458 0
-459 -374 0
-459 -373 0
374 373 459 0
-460 -378 0
-460 -459 0
378 459 460 0
-461 374 0
-461 373 0
-374 -373 461 0
-462 -460 0
-462 -461 0
460 461 462 0
-463 458 0
-463 462 0
-458 -462 463 0
-464 -458 0
-464 -462 0
458 462 464 0
-465 -463 0
-465 -464 0
463 464 465 0
-466 457 0
-466 -465 0
-457 465 466 0
-467 -457 0
-467 465 0
457 -465 467 0
-468 -466 0
-468 -467 0
466 467 468 0
-469 4 0
-469 18 0
-4 -18 469 0
-470 -385 0
-470 -384 0
385 384 470 0
-471 -389 0
-471 -470 0
389 470 471 0
-472 385 0
-472 384 0
-385 -384 472 0
-473 -471 0
-473 -472 0
471 472 473 0
-474 469 0
-474 473 0
-469 -473 474 0
-475 -469 0
-475 -473 0
469 473 475 0
-476 -474 0
-476 -475 0
474 475 476 0
-477 468 0
-477 -476 0
-468 476 477 0
-478 -468 0
-478 476 0
468 -476 478 0
-479 -477 0
-479 -478 0
477 478 479 0
-480 5 0
-480 17 0
-5 -17 480 0
-481 -396 0
-481 -395 0
396 395 481 0
-482 -400 0
-482 -481 0
400 481 482 0
-483 396 0
-483 395 0
-396 -395 483 0
-484 -482 0
-484 -483 0
482 483 484 0
-485 480 0
-485 484 0
-480 -484 485 0
-486 -480 0
-486 -484 0
480 484 486 0
-487 -485 0
-487 -486 0
485 486 487 0
-488 479 0
-488 -487 0
-479 487 488 0
-489 -479 0
-489 487 0
479 -487 489 0
-490 -488 0
-490 -489 0
488 489 490 0
-491 6 0
-491 16 0
-6 -16 491 0
-492 -407 0
-492 -406 0
407 406 492 0
-493 -411 0
-493 -492 0
411 492 493 0
-494 407 0
-494 406 0
-407 -406 494 0
-495 -493 0
-495 -494 0
493 494 495 0
-496 491 0
-496 495 0
-491 -495 496 0
-497 -491 0
-497 -495 0
491 495 497 0
-498 -496 0
-498 -497 0
496 497 498 0
-499 490 0
-499 -498 0
-490 498 499 0
-500 -490 0
-500 498 0
490 -498 500 0
-501 -499 0
-501 -500 0
499 500 501 0
-502 7 0
-502 15 0
-7 -15 502 0
-503 -418 0
-503 -417 0
418 417 503 0
-504 -422 0
-504 -503 0
422 503 504 0
-505 418 0
-505 417 0
-418 -417 505 0
-506 -504 0
-506 -505 0
504 505 506 0
-507 502 0
-507 506 0
-502 -506 507 0
-508 -502 0
-508 -506 0
502 506 508 0
-509 -507 0
-509 -508 0
507 508 509 0
-510 501 0
-510 -509 0
-501 509 510 0
-511 -501 0
-511 509 0
501 -509 511 0
-512 -510 0
-512 -511 0
510 511 512 0
-513 8 0
-513 14 0
-8 -14 513 0
-514 -429 0
-514 -428 0
429 428 514 0
-515 -433 0
-515 -514 0
433 514 515 0
-516 429 0
-516 428 0
-429 -428 516 0
-517 -515 0
-517 -516 0
515 516 517 0
-518 513 0
-518 517 0
-513 -517 518 0
-519 -513 0
-519 -517 0
513 517 519 0
-520 -518 0
-520 -519 0
518 519 520 0
-521 512 0
-521 -520 0
-512 520 521 0
-522 -512 0
-522 520 0
512 -520 522 0
-523 -521 0
-523 -522 0
521 522 523 0
-524 10 0
-524 13 0
-10 -13 524 0
-525 -440 0
-525 -439 0
440 439 525 0
-526 358 0
-526 -525 0
-358 525 526 0
-527 440 0
-527 439 0
-440 -439 527 0
-528 -526 0
-528 -527 0
526 527 528 0
-529 524 0
-529 528 0
-524 -528 529 0
-530 -524 0
-530 -528 0
524 528 530 0
-531 -529 0
-531 -530 0
529 530 531 0
-532 523 0
-532 -531 0
-523 531 532 0
-533 -523 0
-533 531 0
523 -531 533 0
-534 -532 0
-534 -533 0
532 533 534 0
-535 9 0
-535 12 0
-9 -12 535 0
-536 535 0
-536 -447 0
-535 447 536 0
-537 -535 0
-537 447 0
535 -447 537 0
-538 -536 0
-538 -537 0
536 537 538 0
-539 534 0
-539 -538 0
-534 538 539 0
-540 -534 0
-540 538 0
534 -538 540 0
-541 -539 0
-541 -540 0
539 540 541 0
-542 3 0
-542 19 0
-3 -19 542 0
-543 -458 0
-543 -457 0
458 457 543 0
-544 -462 0
-544 -543 0
462 543 544 0
-545 458 0
-545 457 0
-458 -457 545 0
-546 -544 0
-546 -545 0
544 545 546 0
-547 542 0
-547 546 0
-542 -546 547 0
-548 -542 0
-548 -546 0
542 546 548 0
-549 -547 0
-549 -548 0
547 548 549 0
-550 455 0
-550 -549 0
-455 549 550 0
-551 -455 0
-551 549 0
455 -549 551 0
-552 -550 0
-552 -551 0
550 551 552 0
-553 4 0
-553 20 0
-4 -20 553 0
-554 -469 0
-554 -468 0
469 468 554 0
-555 -473 0
-555 -554 0
473 554 555 0
-556 469 0
-556 468 0
-469 -468 556 0
-557 -555 0
-557 -556 0
555 556 557 0
-558 553 0
-558 557 0
-553 -557 558 0
-559 -553 0
-559 -557 0
553 557 559 0
-560 -558 0
-560 -559 0
558 559 560 0
-561 552 0
-561 -560 0
-552 560 561 0
-562 -552 0
-562 560 0
552 -560 562 0
-563 -561 0
-563 -562 0
561 562 563 0
-564 5 0
-564 18 0
-5 -18 564 0
-565 -480 0
-565 -479 0
480 479 565 0
-566 -484 0
-566 -565 0
484 565 566 0
-567 480 0
-567 479 0
-480 -479 567 0
-568 -566 0
-568 -567 0
566 567 568 0
-569 564 0
-569 568 0
-564 -568 569 0
-570 -564 0
-570 -568 0
564 568 570 0
-571 -569 0
-571 -570 0
569 570 571 0
-572 563 0
-572 -571 0
-563 571 572 0
-573 -563 0
-573 571 0
563 -571 573 0
-574 -572 0
-574 -573 0
572 573 574 0
-575 6 0
-575 17 0
-6 -17 575 0
-576 -491 0
-576 -490 0
491 490 576 0
-577 -495 0
-577 -576 0
495 576 577 0
-578 491 0
-578 490 0
-491 -490 578 0
-579 -577 0
-579 -578 0
577 578 579 0
-580 575 0
-580 579 0
-575 -579 580 0
-581 -575 0
-581 -579 0
575 579 581 0
-582 -580 0
-582 -581 0
580 581 582 0
-583 574 0
-583 -582 0
-574 582 583 0
-584 -574 0
-584 582 0
574 -582 584 0
-585 -583 0
-585 -584 0
583 584 585 0
-586 7 0
-586 16 0
-7 -16 586 0
-587 -502 0
-587 -501 0
502 501 587 0
-588 -506 0
-588 -587 0
506 587 588 0
-589 502 0
-589 501 0
-502 -501 589 0
-590 -588 0
-590 -589 0
588 589 590 0
-591 586 0
-591 590 0
-586 -590 591 0
-592 -586 0
-592 -590 0
586 590 592 0
-593 -591 0
-593 -592 0
591 592 593 0
-594 585 0
-594 -593 0
-585 593 594 0
-595 -585 0
-595 593 0
585 -593 595 0
-596 -594 0
-596 -595 0
594 595 596 0
-597 8 0
-597 15 0
-8 -15 597 0
-598 -513 0
-598 -512 0
513 512 598 0
-599 -517 0
-599 -598 0
517 598 599 0
-600 513 0
-600 512 0
-513 -512 600 0
-601 -599 0
-601 -600 0
599 600 601 0
-602 597 0
-602 601 0
-597 -601 602 0
-603 -597 0
-603 -601 0
597 601 603 0
-604 -602 0
-604 -603 0
602 603 604 0
-605 596 0
-605 -604 0
-596 604 605 0
-606 -596 0
-606 604 0
596 -604 606 0
-607 -605 0
-607 -606 0
605 606 607 0
-608 10 0
-608 14 0
-10 -14 608 0
-609 -524 0
-609 -523 0
524 523 609 0
-610 -528 0
-610 -609 0
528 609 610 0
-611 524 0
-611 523 0
-524 -523 611 0
-612 -610 0
-612 -611 0
610 611 612 0
-613 608 0
-613 612 0
-608 -612 613 0
-614 -608 0
-614 -612 0
608 612 614 0
-615 -613 0
-615 -614 0
613 614 615 0
-616 607 0
-616 -615 0
-607 615 616 0
-617 -607 0
-617 615 0
607 -615 617 0
-618 -616 0
-618 -617 0
616 617 618 0
-619 9 0
-619 13 0
-9 -13 619 0
-620 -535 0
-620 -534 0
535 534 620 0
-621 447 0
-621 -620 0
-447 620 621 0
-622 535 0
-622 534 0
-535 -534 622 0
-623 -621 0
-623 -622 0
621 622 623 0
-624 619 0
-624 623 0
-619 -623 624 0
-625 -619 0
-625 -623 0
619 623 625 0
-626 -624 0
-626 -625 0
624 625 626 0
-627 618 0
-627 -626 0
-618 626 627 0
-628 -618 0
-628 626 0
618 -626 628 0
-629 -627 0
-629 -628 0
627 628 629 0
-630 -542 0
-630 -455 0
542 455 630 0
-631 -546 0
-631 -630 0
546 630 631 0
-632 542 0
-632 455 0
-542 -455 632 0
-633 -631 0
-633 -632 0
631 632 633 0
-634 4 0
-634 19 0
-4 -19 634 0
-635 -553 0
-635 -552 0
553 552 635 0
-636 -557 0
-636 -635 0
557 635 636 0
-637 553 0
-637 552 0
-553 -552 637 0
-638 -636 0
-638 -637 0
636 637 638 0
-639 634 0
-639 638 0
-634 -638 639 0
-640 -634 0
-640 -638 0
634 638 640 0
-641 -639 0
-641 -640 0
639 640 641 0
-642 -633 0
-642 -641 0
633 641 642 0
-643 633 0
-643 641 0
-633 -641 643 0
-644 -642 0
-644 -643 0
642 643 644 0
-645 5 0
-645 20 0
-5 -20 645 0
-646 -564 0
-646 -563 0
564 563 646 0
-647 -568 0
-647 -646 0
568 646 647 0
-648 564 0
-648 563 0
-564 -563 648 0
-649 -647 0
-649 -648 0
647 648 649 0
-650 645 0
-650 649 0
-645 -649 650 0
-651 -645 0
-651 -649 0
645 649 651 0
-652 -650 0
-652 -651 0
650 651 652 0
-653 644 0
-653 -652 0
-644 652 653 0
-654 -644 0
-654 652 0
644 -652 654 0
-655 -653 0
-655 -654 0
653 654 655 0
-656 6 0
-656 18 0
-6 -18 656 0
-657 -575 0
-657 -574 0
575 574 657 0
-658 -579 0
-658 -657 0
579 657 658 0
-659 575 0
-659 574 0
-575 -574 659 0
-660 -658 0
-660 -659 0
658 659 660 0
-661 656 0
-661 660 0
-656 -660 661 0
-662 -656 0
-662 -660 0
656 660 662 0
-663 -661 0
-663 -662 0
661 662 663 0
-664 655 0
-664 -663 0
-655 663 664 0
-665 -655 0
-665 663 0
655 -663 665 0
-666 -664 0
-666 -665 0
664 665 666 0
-667 7 0
-667 17 0
-7 -17 667 0
-668 -586 0
-668 -585 0
586 585 668 0
-669 -590 0
-669 -668 0
590 668 669 0
-670 586 0
-670 585 0
-586 -585 670 0
-671 -669 0
-671 -670 0
669 670 671 0
-672 667 0
-672 671 0
-667 -671 672 0
-673 -667 0
-673 -671 0
667 671 673 0
-674 -672 0
-674 -673 0
672 673 674 0
-675 666 0
-675 -674 0
-666 674 675 0
-676 -666 0
-676 674 0
666 -674 676 0
-677 -675 0
-677 -676 0
675 676 677 0
-678 8 0
-678 16 0
-8 -16 678 0
-679 -597 0
-679 -596 0
597 596 679 0
-680 -601 0
-680 -679 0
601 679 680 0
-681 597 0
-681 596 0
-597 -596 681 0
-682 -680 0
-682 -681 0
680 681 682 0
-683 678 0
-683 682 0
-678 -682 683 0
-684 -678 0
-684 -682 0
678 682 684 0
-685 -683 0
-685 -684 0
683 684 685 0
-686 677 0
-686 -685 0
-677 685 686 0
-687 -677 0
-687 685 0
677 -685 687 0
-688 -686 0
-688 -687 0
686 687 688 0
-689 10 0
-689 15 0
-10 -15 689 0
-690 -608 0
-690 -607 0
608 607 690 0
-691 -612 0
-691 -690 0
612 690 691 0
-692 608 0
-692 607 0
-608 -607 692 0
-693 -691 0
-693 -692 0
691 692 693 0
-694 689 0
-694 693 0
-689 -693 694 0
-695 -689 0
-695 -693 0
689 693 695 0
-696 -694 0
-696 -695 0
694 695 696 0
-697 688 0
-697 -696 0
-688 696 697 0
-698 -688 0
-698 696 0
688 -696 698 0
-699 -697 0
-699 -698 0
697 698 699 0
-700 9 0
-700 14 0
-9 -14 700 0
-701 -619 0
-701 -618 0
619 618 701 0
-702 -623 0
-702 -701 0
623 701 702 0
-703 619 0
-703 618 0
-619 -618 703 0
-704 -702 0
-704 -703 0
702 703 704 0
-705 700 0
-705 704 0
-700 -704 705 0
-706 -700 0
-706 -704 0
700 704 706 0
-707 -705 0
-707 -706 0
705 706 707 0
-708 699 0
-708 -707 0
-699 707 708 0
-709 -699 0
-709 707 0
699 -707 709 0
-710 -708 0
-710 -709 0
708 709 710 0
-711 -634 0
-711 633 0
634 -633 711 0
-712 -638 0
-712 -711 0
638 711 712 0
-713 634 0
-713 -633 0
-634 633 713 0
-714 -712 0
-714 -713 0
712 713 714 0
-715 5 0
-715 19 0
-5 -19 715 0
-716 -645 0
-716 -644 0
645 644 716 0
-717 -649 0
-717 -716 0
649 716 717 0
-718 645 0
-718 644 0
-645 -644 718 0
-719 -717 0
-719 -718 0
717 718 719 0
-720 715 0
-720 719 0
-715 -719 720 0
-721 -715 0
-721 -719 0
715 719 721 0
-722 -720 0
-722 -721 0
720 721 722 0
-723 -714 0
-723 -722 0
714 722 723 0
-724 714 0
-724 722 0
-714 -722 724 0
-725 -723 0
-725 -724 0
723 724 725 0
-726 6 0
-726 20 0
-6 -20 726 0
-727 -656 0
-727 -655 0
656 655 727 0
-728 -660 0
-728 -727 0
660 727 728 0
-729 656 0
-729 655 0
-656 -655 729 0
-730 -728 0
-730 -729 0
728 729 730 0
-731 726 0
-731 730 0
-726 -730 731 0
-732 -726 0
-732 -730 0
726 730 732 0
-733 -731 0
-733 -732 0
731 732 733 0
-734 725 0
-734 -733 0
-725 733 734 0
-735 -725 0
-735 733 0
725 -733 735 0
-736 -734 0
-736 -735 0
734 735 736 0
-737 7 0
-737 18 0
-7 -18 737 0
-738 -667 0
-738 -666 0
667 666 738 0
-739 -671 0
-739 -738 0
671 738 739 0
-740 667 0
-740 666 0
-667 -666 740 0
-741 -739 0
-741 -740 0
739 740 741 0
-742 737 0
-742 741 0
-737 -741 742 0
-743 -737 0
-743 -741 0
737 741 743 0
-744 -742 0
-744 -743 0
742 743 744 0
-745 736 0
-745 -744 0
-736 744 745 0
-746 -736 0
-746 744 0
736 -744 746 0
-747 -745 0
-747 -746 0
745 746 747 0
-748 8 0
-748 17 0
-8 -17 748 0
-749 -678 0
-749 -677 0
678 677 749 0
-750 -682 0
-750 -749 0
682 749 750 0
-751 678 0
-751 677 0
-678 -677 751 0
-752 -750 0
-752 -751 0
750 751 752 0
-753 748 0
-753 752 0
-748 -752 753 0
-754 -748 0
-754 -752 0
748 752 754 0
-755 -753 0
-755 -754 0
753 754 755 0
-756 747 0
-756 -755 0
-747 755 756 0
-757 -747 0
-757 755 0
747 -755 757 0
-758 -756 0
-758 -757 0
756 757 758 0
-759 10 0
-759 16 0
-10 -16 759 0
-760 -689 0
-760 -688 0
689 688 760 0
-761 -693 0
-761 -760 0
693 760 761 0
-762 689 0
-762 688 0
-689 -688 762 0
-763 -761 0
-763 -762 0
761 762 763 0
-764 759 0
-764 763 0
-759 -763 764 0
-765 -759 0
-765 -763 0
759 763 765 0
-766 -764 0
-766 -765 0
764 765 766 0
-767 758 0
-767 -766 0
-758 766 767 0
-768 -758 0
-768 766 0
758 -766 768 0
-769 -767 0
-769 -768 0
767 768 769 0
-770 9 0
-770 15 0
-9 -15 770 0
-771 -700 0
-771 -699 0
700 699 771 0
-772 -704 0
-772 -771 0
704 771 772 0
-773 700 0
-773 699 0
-700 -699 773 0
-774 -772 0
-774 -773 0
772 773 774 0
-775 770 0
-775 774 0
-770 -774 775 0
-776 -770 0
-776 -774 0
770 774 776 0
-777 -775 0
-777 -776 0
775 776 777 0
-778 769 0
-778 -777 0
-769 777 778 0
-779 -769 0
-779 777 0
769 -777 779 0
-780 -778 0
-780 -779 0
778 779 780 0
-781 -715 0
-781 714 0
715 -714 781 0
-782 -719 0
-782 -781 0
719 781 782 0
-783 715 0
-783 -714 0
-715 714 783 0
-784 -782 0
-784 -783 0
782 783 784 0
-785 6 0
-785 19 0
-6 -19 785 0
-786 -726 0
-786 -725 0
726 725 786 0
-787 -730 0
-787 -786 0
730 786 787 0
-788 726 0
-788 725 0
-726 -725 788 0
-789 -787 0
-789 -788 0
787 788 789 0
-790 785 0
-790 789 0
-785 -789 790 0
-791 -785 0
-791 -789 0
785 789 791 0
-792 -790 0
-792 -791 0
790 791 792 0
-793 -784 0
-793 -792 0
784 792 793 0
-794 784 0
-794 792 0
-784 -792 794 0
-795 -793 0
-795 -794 0
793 794 795 0
-796 7 0
-796 20 0
-7 -20 796 0
-797 -737 0
-797 -736 0
737 736 797 0
-798 -741 0
-798 -797 0
741 797 798 0
-799 737 0
-799 736 0
-737 -736 799 0
-800 -798 0
-800 -799 0
798 799 800 0
-801 796 0
-801 800 0
-796 -800 801 0
-802 -796 0
-802 -800 0
796 800 802 0
-803 -801 0
-803 -802 0
801 802 803 0
-804 795 0
-804 -803 0
-795 803 804 0
-805 -795 0
-805 803 0
795 -803 805 0
-806 -804 0
-806 -805 0
804 805 806 0
-807 8 0
-807 18 0
-8 -18 807 0
-808 -748 0
-808 -747 0
748 747 808 0
-809 -752 0
-809 -808 0
752 808 809 0
-810 748 0
-810 747 0
-748 -747 810 0
-811 -809 0
-811 -810 0
809 810 811 0
-812 807 0
-812 811 0
-807 -811 812 0
-813 -807 0
-813 -811 0
807 811 813 0
-814 -812 0
-814 -813 0
812 813 814 0
-815 806 0
-815 -814 0
-806 814 815 0
-816 -806 0
-816 814 0
806 -814 816 0
-817 -815 0
-817 -816 0
815 816 817 0
-818 10 0
-818 17 0
-10 -17 818 0
-819 -759 0
-819 -758 0
759 758 819 0
-820 -763 0
-820 -819 0
763 819 820 0
-821 759 0
-821 758 0
-759 -758 821 0
-822 -820 0
-822 -821 0
820 821 822 0
-823 818 0
-823 822 0
-818 -822 823 0
-824 -818 0
-824 -822 0
818 822 824 0
-825 -823 0
-825 -824 0
823 824 825 0
-826 817 0
-826 -825 0
-817 825 826 0
-827 -817 0
-827 825 0
817 -825 827 0
-828 -826 0
-828 -827 0
826 827 828 0
-829 9 0
-829 16 0
-9 -16 829 0
-830 -770 0
-830 -769 0
770 769 830 0
-831 -774 0
-831 -830 0
774 830 831 0
-832 770 0
-832 769 0
-770 -769 832 0
-833 -831 0
-833 -832 0
831 832 833 0
-834 829 0
-834 833 0
-829 -833 834 0
-835 -829 0
-835 -833 0
829 833 835 0
-836 -834 0
-836 -835 0
834 835 836 0
-837 828 0
-837 -836 0
-828 836 837 0
-838 -828 0
-838 836 0
828 -836 838 0
-839 -837 0
-839 -838 0
837 838 839 0
-840 -785 0
-840 784 0
785 -784 840 0
-841 -789 0
-841 -840 0
789 840 841 0
-842 785 0
-842 -784 0
-785 784 842 0
-843 -841 0
-843 -842 0
841 842 843 0
-844 7 0
-844 19 0
-7 -19 844 0
-845 -796 0
-845 -795 0
796 795 845 0
-846 -800 0
-846 -845 0
800 845 846 0
-847 796 0
-847 795 0
-796 -795 847 0
-848 -846 0
-848 -847 0
846 847 848 0
-849 844 0
-849 848 0
-844 -848 849 0
-850 -844 0
-850 -848 0
844 848 850 0
-851 -849 0
-851 -850 0
849 850 851 0
-852 -843 0
-852 -851 0
843 851 852 0
-853 843 0
-853 851 0
-843 -851 853 0
-854 -852 0
-854 -853 0
852 853 854 0
-855 8 0
-855 20 0
-8 -20 855 0
-856 -807 0
-856 -806 0
807 806 856 0
-857 -811 0
-857 -856 0
811 856 857 0
-858 807 0
-858 806 0
-807 -806 858 0
-859 -857 0
-859 -858 0
857 858 859 0
-860 855 0
-860 859 0
-855 -859 860 0
-861 -855 0
-861 -859 0
855 859 861 0
-862 -860 0
-862 -861 0
860 861 862 0
-863 854 0
-863 -862 0
-854 862 863 0
-864 -854 0
-864 862 0
854 -862 864 0
-865 -863 0
-865 -864 0
863 864 865 0
-866 10 0
-866 18 0
-10 -18 866 0
-867 -818 0
-867 -817 0
818 817 867 0
-868 -822 0
-868 -867 0
822 867 868 0
-869 818 0
-869 817 0
-818 -817 869 0
-870 -868 0
-870 -869 0
868 869 870 0
-871 866 0
-871 870 0
-866 -870 871 0
-872 -866 0
-872 -870 0
866 870 872 0
-873 -871 0
-873 -872 0
871 872 873 0
-874 865 0
-874 -873 0
-865 873 874 0
-875 -865 0
-875 873 0
865 -873 875 0
-876 -874 0
-876 -875 0
874 875 876 0
-877 9 0
-877 17 0
-9 -17 877 0
-878 -829 0
-878 -828 0
829 828 878 0
-879 -833 0
-879 -878 0
833 878 879 0
-880 829 0
-880 828 0
-829 -828 880 0
-881 -879 0
-881 -880 0
879 880 881 0
-882 877 0
-882 881 0
-877 -881 882 0
-883 -877 0
-883 -881 0
877 881 883 0
-884 -882 0
-884 -883 0
882 883 884 0
-885 876 0
-885 -884 0
-876 884 885 0
-886 -876 0
-886 884 0
876 -884 886 0
-887 -885 0
-887 -886 0
885 886 887 0
-888 -844 0
-888 843 0
844 -843 888 0
-889 -848 0
-889 -888 0
848 888 889 0
-890 844 0
-890 -843 0
-844 843 890 0
-891 -889 0
-891 -890 0
889 890 891 0
-892 8 0
-892 19 0
-8 -19 892 0
-893 -855 0
-893 -854 0
855 854 893 0
-894 -859 0
-894 -893 0
859 893 894 0
-895 855 0
-895 854 0
-855 -854 895 0
-896 -894 0
-896 -895 0
894 895 896 0
-897 892 0
-897 896 0
-892 -896 897 0
-898 -892 0
-898 -896 0
892 896 898 0
-899 -897 0
-899 -898 0
897 898 899 0
-900 -891 0
-900 -899 0
891 899 900 0
-901 891 0
-901 899 0
-891 -899 901 0
-902 -900 0
-902 -901 0
900 901 902 0
-903 10 0
-903 20 0
-10 -20 903 0
-904 -866 0
-904 -865 0
866 865 904 0
-905 -870 0
-905 -904 0
870 904 905 0
-906 866 0
-906 865 0
-866 -865 906 0
-907 -905 0
-907 -906 0
905 906 907 0
-908 903 0
-908 907 0
-903 -907 908 0
-909 -903 0
-909 -907 0
903 907 909 0
-910 -908 0
-910 -909 0
908 909 910 0
-911 902 0
-911 -910 0
-902 910 911 0
-912 -902 0
-912 910 0
902 -910 912 0
-913 -911 0
-913 -912 0
911 912 913 0
-914 9 0
-914 18 0
-9 -18 914 0
-915 -877 0
-915 -876 0
877 876 915 0
-916 -881 0
-916 -915 0
881 915 916 0
-917 877 0
-917 876 0
-877 -876 917 0
-918 -916 0
-918 -917 0
916 917 918 0
-919 914 0
-919 918 0
-914 -918 919 0
-920 -914 0
-920 -918 0
914 918 920 0
-921 -919 0
-921 -920 0
919 920 921 0
-922 913 0
-922 -921 0
-913 921 922 0
-923 -913 0
-923 921 0
913 -921 923 0
-924 -922 0
-924 -923 0
922 923 924 0
-925 -892 0
-925 891 0
892 -891 925 0
-926 -896 0
-926 -925 0
896 925 926 0
-927 892 0
-927 -891 0
-892 891 927 0
-928 -926 0
-928 -927 0
926 927 928 0
-929 10 0
-929 19 0
-10 -19 929 0
-930 -903 0
-930 -902 0
903 902 930 0
-931 -907 0
-931 -930 0
907 930 931 0
-932 903 0
-932 902 0
-903 -902 932 0
-933 -931 0
-933 -932 0
931 932 933 0
-934 929 0
-934 933 0
-929 -933 934 0
-935 -929 0
-935 -933 0
929 933 935 0
-936 -934 0
-936 -935 0
934 935 936 0
-937 -928 0
-937 -936 0
928 936 937 0
-938 928 0
-938 936 0
-928 -936 938 0
-939 -937 0
-939 -938 0
937 938 939 0
-940 9 0
-940 20 0
-9 -20 940 0
-941 -914 0
-941 -913 0
914 913 941 0
-942 -918 0
-942 -941 0
918 941 942 0
-943 914 0
-943 913 0
-914 -913 943 0
-944 -942 0
-944 -943 0
942 943 944 0
-945 940 0
-945 944 0
-940 -944 945 0
-946 -940 0
-946 -944 0
940 944 946 0
-947 -945 0
-947 -946 0
945 946 947 0
-948 939 0
-948 -947 0
-939 947 948 0
-949 -939 0
-949 947 0
939 -947 949 0
-950 -948 0
-950 -949 0
948 949 950 0
-951 -940 0
-951 -939 0
940 939 951 0
-952 -944 0
-952 -951 0
944 951 952 0
-953 940 0
-953 939 0
-940 -939 953 0
-954 -952 0
-954 -953 0
952 953 954 0
-955 9 0
-955 19 0
-9 -19 955 0
-956 -929 0
-956 928 0
929 -928 956 0
-957 -933 0
-957 -956 0
933 956 957 0
-958 929 0
-958 -928 0
-929 928 958 0
-959 -957 0
-959 -958 0
957 958 959 0
-960 -955 0
-960 959 0
955 -959 960 0
-961 -954 0
-961 -960 0
954 960 961 0
-962 955 0
-962 -959 0
-955 959 962 0
-963 -961 0
-963 -962 0
961 962 963 0
-964 955 0
-964 954 0
-955 -954 964 0
-965 -955 0
-965 -954 0
955 954 965 0
-966 -964 0
-966 -965 0
964 965 966 0
-967 -959 0
-967 -966 0
959 966 967 0
-968 959 0
-968 966 0
-959 -966 968 0
-969 -967 0
-969 -968 0
967 968 969 0
-970 963 0
-970 -969 0
-963 969 970 0
-971 -950 0
-971 970 0
950 -970 971 0
-972 -924 0
-972 971 0
924 -971 972 0
-973 -887 0
-973 972 0
887 -972 973 0
-974 -839 0
-974 973 0
839 -973 974 0
-975 -780 0
-975 974 0
780 -974 975 0
-976 -710 0
-976 975 0
710 -975 976 0
-977 -629 0
-977 976 0
629 -976 977 0
-978 541 0
-978 977 0
-541 -977 978 0
-979 449 0
-979 978 0
-449 -978 979 0
-980 360 0
-980 979 0
-360 -979 980 0
-981 -282 0
-981 980 0
282 -980 981 0
-982 -215 0
-982 981 0
215 -981 982 0
-983 159 0
-983 982 0
-159 -982 983 0
-984 114 0
-984 983 0
-114 -983 984 0
-985 80 0
-985 984 0
-80 -984 985 0
-986 -57 0
-986 985 0
57 -985 986 0
-987 -45 0
-987 986 0
45 -986 987 0
-988 40 0
-988 987 0
-40 -987 988 0
-989 39 0
-989 988 0
-39 -988 989 0
989 0