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