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@8
c 9 = x@7
c 10 = y@0
c 11 = y@1
c 12 = y@2
c 13 = y@3
c 14 = y@4
c 15 = y@5
c 16 = y@6
c 17 = y@8
c 18 = y@7
p cnf 791 2320
-19 -8 0
-19 -9 0
8 9 19 0
-20 -7 0
-20 19 0
7 -19 20 0
-21 -6 0
-21 20 0
6 -20 21 0
-22 -5 0
-22 21 0
5 -21 22 0
-23 -4 0
-23 22 0
4 -22 23 0
-24 -3 0
-24 23 0
3 -23 24 0
-25 -2 0
-25 24 0
2 -24 25 0
-26 1 0
-26 25 0
-1 -25 26 0
-27 -17 0
-27 -18 0
17 18 27 0
-28 -16 0
-28 27 0
16 -27 28 0
-29 -15 0
-29 28 0
15 -28 29 0
-30 -14 0
-30 29 0
14 -29 30 0
-31 -13 0
-31 30 0
13 -30 31 0
-32 -12 0
-32 31 0
12 -31 32 0
-33 -11 0
-33 32 0
11 -32 33 0
-34 10 0
-34 33 0
-10 -33 34 0
-35 -26 0
-35 -34 0
26 34 35 0
-36 1 0
-36 10 0
-1 -10 36 0
-37 1 0
-37 11 0
-1 -11 37 0
-38 2 0
-38 10 0
-2 -10 38 0
-39 37 0
-39 38 0
-37 -38 39 0
-40 -37 0
-40 -38 0
37 38 40 0
-41 -39 0
-41 -40 0
39 40 41 0
-42 3 0
-42 10 0
-3 -10 42 0
-43 1 0
-43 12 0
-1 -12 43 0
-44 2 0
-44 11 0
-2 -11 44 0
-45 44 0
-45 -39 0
-44 39 45 0
-46 -44 0
-46 39 0
44 -39 46 0
-47 -45 0
-47 -46 0
45 46 47 0
-48 43 0
-48 -47 0
-43 47 48 0
-49 -43 0
-49 47 0
43 -47 49 0
-50 -48 0
-50 -49 0
48 49 50 0
-51 42 0
-51 50 0
-42 -50 51 0
-52 -42 0
-52 -50 0
42 50 52 0
-53 -51 0
-53 -52 0
51 52 53 0
-54 4 0
-54 10 0
-4 -10 54 0
-55 1 0
-55 13 0
-1 -13 55 0
-56 2 0
-56 12 0
-2 -12 56 0
-57 -43 0
-57 -44 0
43 44 57 0
-58 39 0
-58 -57 0
-39 57 58 0
-59 43 0
-59 44 0
-43 -44 59 0
-60 -58 0
-60 -59 0
58 59 60 0
-61 56 0
-61 60 0
-56 -60 61 0
-62 -56 0
-62 -60 0
56 60 62 0
-63 -61 0
-63 -62 0
61 62 63 0
-64 55 0
-64 -63 0
-55 63 64 0
-65 -55 0
-65 63 0
55 -63 65 0
-66 -64 0
-66 -65 0
64 65 66 0
-67 3 0
-67 11 0
-3 -11 67 0
-68 67 0
-68 -51 0
-67 51 68 0
-69 -67 0
-69 51 0
67 -51 69 0
-70 -68 0
-70 -69 0
68 69 70 0
-71 66 0
-71 -70 0
-66 70 71 0
-72 -66 0
-72 70 0
66 -70 72 0
-73 -71 0
-73 -72 0
71 72 73 0
-74 54 0
-74 73 0
-54 -73 74 0
-75 -54 0
-75 -73 0
54 73 75 0
-76 -74 0
-76 -75 0
74 75 76 0
-77 5 0
-77 10 0
-5 -10 77 0
-78 1 0
-78 14 0
-1 -14 78 0
-79 2 0
-79 13 0
-2 -13 79 0
-80 -55 0
-80 -56 0
55 56 80 0
-81 -60 0
-81 -80 0
60 80 81 0
-82 55 0
-82 56 0
-55 -56 82 0
-83 -81 0
-83 -82 0
81 82 83 0
-84 79 0
-84 83 0
-79 -83 84 0
-85 -79 0
-85 -83 0
79 83 85 0
-86 -84 0
-86 -85 0
84 85 86 0
-87 78 0
-87 -86 0
-78 86 87 0
-88 -78 0
-88 86 0
78 -86 88 0
-89 -87 0
-89 -88 0
87 88 89 0
-90 3 0
-90 12 0
-3 -12 90 0
-91 -67 0
-91 -66 0
67 66 91 0
-92 51 0
-92 -91 0
-51 91 92 0
-93 67 0
-93 66 0
-67 -66 93 0
-94 -92 0
-94 -93 0
92 93 94 0
-95 90 0
-95 94 0
-90 -94 95 0
-96 -90 0
-96 -94 0
90 94 96 0
-97 -95 0
-97 -96 0
95 96 97 0
-98 89 0
-98 -97 0
-89 97 98 0
-99 -89 0
-99 97 0
89 -97 99 0
-100 -98 0
-100 -99 0
98 99 100 0
-101 4 0
-101 11 0
-4 -11 101 0
-102 101 0
-102 -74 0
-101 74 102 0
-103 -101 0
-103 74 0
101 -74 103 0
-104 -102 0
-104 -103 0
102 103 104 0
-105 100 0
-105 -104 0
-100 104 105 0
-106 -100 0
-106 104 0
100 -104 106 0
-107 -105 0
-107 -106 0
105 106 107 0
-108 77 0
-108 107 0
-77 -107 108 0
-109 -77 0
-109 -107 0
77 107 109 0
-110 -108 0
-110 -109 0
108 109 110 0
-111 6 0
-111 10 0
-6 -10 111 0
-112 1 0
-112 15 0
-1 -15 112 0
-113 2 0
-113 14 0
-2 -14 113 0
-114 -78 0
-114 -79 0
78 79 114 0
-115 -83 0
-115 -114 0
83 114 115 0
-116 78 0
-116 79 0
-78 -79 116 0
-117 -115 0
-117 -116 0
115 116 117 0
-118 113 0
-118 117 0
-113 -117 118 0
-119 -113 0
-119 -117 0
113 117 119 0
-120 -118 0
-120 -119 0
118 119 120 0
-121 112 0
-121 -120 0
-112 120 121 0
-122 -112 0
-122 120 0
112 -120 122 0
-123 -121 0
-123 -122 0
121 122 123 0
-124 3 0
-124 13 0
-3 -13 124 0
-125 -90 0
-125 -89 0
90 89 125 0
-126 -94 0
-126 -125 0
94 125 126 0
-127 90 0
-127 89 0
-90 -89 127 0
-128 -126 0
-128 -127 0
126 127 128 0
-129 124 0
-129 128 0
-124 -128 129 0
-130 -124 0
-130 -128 0
124 128 130 0
-131 -129 0
-131 -130 0
129 130 131 0
-132 123 0
-132 -131 0
-123 131 132 0
-133 -123 0
-133 131 0
123 -131 133 0
-134 -132 0
-134 -133 0
132 133 134 0
-135 4 0
-135 12 0
-4 -12 135 0
-136 -101 0
-136 -100 0
101 100 136 0
-137 74 0
-137 -136 0
-74 136 137 0
-138 101 0
-138 100 0
-101 -100 138 0
-139 -137 0
-139 -138 0
137 138 139 0
-140 135 0
-140 139 0
-135 -139 140 0
-141 -135 0
-141 -139 0
135 139 141 0
-142 -140 0
-142 -141 0
140 141 142 0
-143 134 0
-143 -142 0
-134 142 143 0
-144 -134 0
-144 142 0
134 -142 144 0
-145 -143 0
-145 -144 0
143 144 145 0
-146 5 0
-146 11 0
-5 -11 146 0
-147 146 0
-147 -108 0
-146 108 147 0
-148 -146 0
-148 108 0
146 -108 148 0
-149 -147 0
-149 -148 0
147 148 149 0
-150 145 0
-150 -149 0
-145 149 150 0
-151 -145 0
-151 149 0
145 -149 151 0
-152 -150 0
-152 -151 0
150 151 152 0
-153 111 0
-153 152 0
-111 -152 153 0
-154 -111 0
-154 -152 0
111 152 154 0
-155 -153 0
-155 -154 0
153 154 155 0
-156 7 0
-156 10 0
-7 -10 156 0
-157 1 0
-157 16 0
-1 -16 157 0
-158 2 0
-158 15 0
-2 -15 158 0
-159 -112 0
-159 -113 0
112 113 159 0
-160 -117 0
-160 -159 0
117 159 160 0
-161 112 0
-161 113 0
-112 -113 161 0
-162 -160 0
-162 -161 0
160 161 162 0
-163 158 0
-163 162 0
-158 -162 163 0
-164 -158 0
-164 -162 0
158 162 164 0
-165 -163 0
-165 -164 0
163 164 165 0
-166 157 0
-166 -165 0
-157 165 166 0
-167 -157 0
-167 165 0
157 -165 167 0
-168 -166 0
-168 -167 0
166 167 168 0
-169 3 0
-169 14 0
-3 -14 169 0
-170 -124 0
-170 -123 0
124 123 170 0
-171 -128 0
-171 -170 0
128 170 171 0
-172 124 0
-172 123 0
-124 -123 172 0
-173 -171 0
-173 -172 0
171 172 173 0
-174 169 0
-174 173 0
-169 -173 174 0
-175 -169 0
-175 -173 0
169 173 175 0
-176 -174 0
-176 -175 0
174 175 176 0
-177 168 0
-177 -176 0
-168 176 177 0
-178 -168 0
-178 176 0
168 -176 178 0
-179 -177 0
-179 -178 0
177 178 179 0
-180 4 0
-180 13 0
-4 -13 180 0
-181 -135 0
-181 -134 0
135 134 181 0
-182 -139 0
-182 -181 0
139 181 182 0
-183 135 0
-183 134 0
-135 -134 183 0
-184 -182 0
-184 -183 0
182 183 184 0
-185 180 0
-185 184 0
-180 -184 185 0
-186 -180 0
-186 -184 0
180 184 186 0
-187 -185 0
-187 -186 0
185 186 187 0
-188 179 0
-188 -187 0
-179 187 188 0
-189 -179 0
-189 187 0
179 -187 189 0
-190 -188 0
-190 -189 0
188 189 190 0
-191 5 0
-191 12 0
-5 -12 191 0
-192 -146 0
-192 -145 0
146 145 192 0
-193 108 0
-193 -192 0
-108 192 193 0
-194 146 0
-194 145 0
-146 -145 194 0
-195 -193 0
-195 -194 0
193 194 195 0
-196 191 0
-196 195 0
-191 -195 196 0
-197 -191 0
-197 -195 0
191 195 197 0
-198 -196 0
-198 -197 0
196 197 198 0
-199 190 0
-199 -198 0
-190 198 199 0
-200 -190 0
-200 198 0
190 -198 200 0
-201 -199 0
-201 -200 0
199 200 201 0
-202 6 0
-202 11 0
-6 -11 202 0
-203 202 0
-203 -153 0
-202 153 203 0
-204 -202 0
-204 153 0
202 -153 204 0
-205 -203 0
-205 -204 0
203 204 205 0
-206 201 0
-206 -205 0
-201 205 206 0
-207 -201 0
-207 205 0
201 -205 207 0
-208 -206 0
-208 -207 0
206 207 208 0
-209 156 0
-209 208 0
-156 -208 209 0
-210 -156 0
-210 -208 0
156 208 210 0
-211 -209 0
-211 -210 0
209 210 211 0
-212 9 0
-212 10 0
-9 -10 212 0
-213 1 0
-213 18 0
-1 -18 213 0
-214 2 0
-214 16 0
-2 -16 214 0
-215 -157 0
-215 -158 0
157 158 215 0
-216 -162 0
-216 -215 0
162 215 216 0
-217 157 0
-217 158 0
-157 -158 217 0
-218 -216 0
-218 -217 0
216 217 218 0
-219 214 0
-219 218 0
-214 -218 219 0
-220 -214 0
-220 -218 0
214 218 220 0
-221 -219 0
-221 -220 0
219 220 221 0
-222 213 0
-222 -221 0
-213 221 222 0
-223 -213 0
-223 221 0
213 -221 223 0
-224 -222 0
-224 -223 0
222 223 224 0
-225 3 0
-225 15 0
-3 -15 225 0
-226 -169 0
-226 -168 0
169 168 226 0
-227 -173 0
-227 -226 0
173 226 227 0
-228 169 0
-228 168 0
-169 -168 228 0
-229 -227 0
-229 -228 0
227 228 229 0
-230 225 0
-230 229 0
-225 -229 230 0
-231 -225 0
-231 -229 0
225 229 231 0
-232 -230 0
-232 -231 0
230 231 232 0
-233 224 0
-233 -232 0
-224 232 233 0
-234 -224 0
-234 232 0
224 -232 234 0
-235 -233 0
-235 -234 0
233 234 235 0
-236 4 0
-236 14 0
-4 -14 236 0
-237 -180 0
-237 -179 0
180 179 237 0
-238 -184 0
-238 -237 0
184 237 238 0
-239 180 0
-239 179 0
-180 -179 239 0
-240 -238 0
-240 -239 0
238 239 240 0
-241 236 0
-241 240 0
-236 -240 241 0
-242 -236 0
-242 -240 0
236 240 242 0
-243 -241 0
-243 -242 0
241 242 243 0
-244 235 0
-244 -243 0
-235 243 244 0
-245 -235 0
-245 243 0
235 -243 245 0
-246 -244 0
-246 -245 0
244 245 246 0
-247 5 0
-247 13 0
-5 -13 247 0
-248 -191 0
-248 -190 0
191 190 248 0
-249 -195 0
-249 -248 0
195 248 249 0
-250 191 0
-250 190 0
-191 -190 250 0
-251 -249 0
-251 -250 0
249 250 251 0
-252 247 0
-252 251 0
-247 -251 252 0
-253 -247 0
-253 -251 0
247 251 253 0
-254 -252 0
-254 -253 0
252 253 254 0
-255 246 0
-255 -254 0
-246 254 255 0
-256 -246 0
-256 254 0
246 -254 256 0
-257 -255 0
-257 -256 0
255 256 257 0
-258 6 0
-258 12 0
-6 -12 258 0
-259 -202 0
-259 -201 0
202 201 259 0
-260 153 0
-260 -259 0
-153 259 260 0
-261 202 0
-261 201 0
-202 -201 261 0
-262 -260 0
-262 -261 0
260 261 262 0
-263 258 0
-263 262 0
-258 -262 263 0
-264 -258 0
-264 -262 0
258 262 264 0
-265 -263 0
-265 -264 0
263 264 265 0
-266 257 0
-266 -265 0
-257 265 266 0
-267 -257 0
-267 265 0
257 -265 267 0
-268 -266 0
-268 -267 0
266 267 268 0
-269 7 0
-269 11 0
-7 -11 269 0
-270 269 0
-270 -209 0
-269 209 270 0
-271 -269 0
-271 209 0
269 -209 271 0
-272 -270 0
-272 -271 0
270 271 272 0
-273 268 0
-273 -272 0
-268 272 273 0
-274 -268 0
-274 272 0
268 -272 274 0
-275 -273 0
-275 -274 0
273 274 275 0
-276 212 0
-276 275 0
-212 -275 276 0
-277 -212 0
-277 -275 0
212 275 277 0
-278 -276 0
-278 -277 0
276 277 278 0
-279 8 0
-279 10 0
-8 -10 279 0
-280 1 0
-280 17 0
-1 -17 280 0
-281 2 0
-281 18 0
-2 -18 281 0
-282 -213 0
-282 -214 0
213 214 282 0
-283 -218 0
-283 -282 0
218 282 283 0
-284 213 0
-284 214 0
-213 -214 284 0
-285 -283 0
-285 -284 0
283 284 285 0
-286 281 0
-286 285 0
-281 -285 286 0
-287 -281 0
-287 -285 0
281 285 287 0
-288 -286 0
-288 -287 0
286 287 288 0
-289 280 0
-289 -288 0
-280 288 289 0
-290 -280 0
-290 288 0
280 -288 290 0
-291 -289 0
-291 -290 0
289 290 291 0
-292 3 0
-292 16 0
-3 -16 292 0
-293 -225 0
-293 -224 0
225 224 293 0
-294 -229 0
-294 -293 0
229 293 294 0
-295 225 0
-295 224 0
-225 -224 295 0
-296 -294 0
-296 -295 0
294 295 296 0
-297 292 0
-297 296 0
-292 -296 297 0
-298 -292 0
-298 -296 0
292 296 298 0
-299 -297 0
-299 -298 0
297 298 299 0
-300 291 0
-300 -299 0
-291 299 300 0
-301 -291 0
-301 299 0
291 -299 301 0
-302 -300 0
-302 -301 0
300 301 302 0
-303 4 0
-303 15 0
-4 -15 303 0
-304 -236 0
-304 -235 0
236 235 304 0
-305 -240 0
-305 -304 0
240 304 305 0
-306 236 0
-306 235 0
-236 -235 306 0
-307 -305 0
-307 -306 0
305 306 307 0
-308 303 0
-308 307 0
-303 -307 308 0
-309 -303 0
-309 -307 0
303 307 309 0
-310 -308 0
-310 -309 0
308 309 310 0
-311 302 0
-311 -310 0
-302 310 311 0
-312 -302 0
-312 310 0
302 -310 312 0
-313 -311 0
-313 -312 0
311 312 313 0
-314 5 0
-314 14 0
-5 -14 314 0
-315 -247 0
-315 -246 0
247 246 315 0
-316 -251 0
-316 -315 0
251 315 316 0
-317 247 0
-317 246 0
-247 -246 317 0
-318 -316 0
-318 -317 0
316 317 318 0
-319 314 0
-319 318 0
-314 -318 319 0
-320 -314 0
-320 -318 0
314 318 320 0
-321 -319 0
-321 -320 0
319 320 321 0
-322 313 0
-322 -321 0
-313 321 322 0
-323 -313 0
-323 321 0
313 -321 323 0
-324 -322 0
-324 -323 0
322 323 324 0
-325 6 0
-325 13 0
-6 -13 325 0
-326 -258 0
-326 -257 0
258 257 326 0
-327 -262 0
-327 -326 0
262 326 327 0
-328 258 0
-328 257 0
-258 -257 328 0
-329 -327 0
-329 -328 0
327 328 329 0
-330 325 0
-330 329 0
-325 -329 330 0
-331 -325 0
-331 -329 0
325 329 331 0
-332 -330 0
-332 -331 0
330 331 332 0
-333 324 0
-333 -332 0
-324 332 333 0
-334 -324 0
-334 332 0
324 -332 334 0
-335 -333 0
-335 -334 0
333 334 335 0
-336 7 0
-336 12 0
-7 -12 336 0
-337 -269 0
-337 -268 0
269 268 337 0
-338 209 0
-338 -337 0
-209 337 338 0
-339 269 0
-339 268 0
-269 -268 339 0
-340 -338 0
-340 -339 0
338 339 340 0
-341 336 0
-341 340 0
-336 -340 341 0
-342 -336 0
-342 -340 0
336 340 342 0
-343 -341 0
-343 -342 0
341 342 343 0
-344 335 0
-344 -343 0
-335 343 344 0
-345 -335 0
-345 343 0
335 -343 345 0
-346 -344 0
-346 -345 0
344 345 346 0
-347 9 0
-347 11 0
-9 -11 347 0
-348 347 0
-348 -276 0
-347 276 348 0
-349 -347 0
-349 276 0
347 -276 349 0
-350 -348 0
-350 -349 0
348 349 350 0
-351 346 0
-351 -350 0
-346 350 351 0
-352 -346 0
-352 350 0
346 -350 352 0
-353 -351 0
-353 -352 0
351 352 353 0
-354 279 0
-354 353 0
-279 -353 354 0
-355 -279 0
-355 -353 0
279 353 355 0
-356 -354 0
-356 -355 0
354 355 356 0
-357 2 0
-357 17 0
-2 -17 357 0
-358 -280 0
-358 -281 0
280 281 358 0
-359 -285 0
-359 -358 0
285 358 359 0
-360 280 0
-360 281 0
-280 -281 360 0
-361 -359 0
-361 -360 0
359 360 361 0
-362 357 0
-362 -361 0
-357 361 362 0
-363 -357 0
-363 361 0
357 -361 363 0
-364 -362 0
-364 -363 0
362 363 364 0
-365 3 0
-365 18 0
-3 -18 365 0
-366 -292 0
-366 -291 0
292 291 366 0
-367 -296 0
-367 -366 0
296 366 367 0
-368 292 0
-368 291 0
-292 -291 368 0
-369 -367 0
-369 -368 0
367 368 369 0
-370 365 0
-370 369 0
-365 -369 370 0
-371 -365 0
-371 -369 0
365 369 371 0
-372 -370 0
-372 -371 0
370 371 372 0
-373 364 0
-373 -372 0
-364 372 373 0
-374 -364 0
-374 372 0
364 -372 374 0
-375 -373 0
-375 -374 0
373 374 375 0
-376 4 0
-376 16 0
-4 -16 376 0
-377 -303 0
-377 -302 0
303 302 377 0
-378 -307 0
-378 -377 0
307 377 378 0
-379 303 0
-379 302 0
-303 -302 379 0
-380 -378 0
-380 -379 0
378 379 380 0
-381 376 0
-381 380 0
-376 -380 381 0
-382 -376 0
-382 -380 0
376 380 382 0
-383 -381 0
-383 -382 0
381 382 383 0
-384 375 0
-384 -383 0
-375 383 384 0
-385 -375 0
-385 383 0
375 -383 385 0
-386 -384 0
-386 -385 0
384 385 386 0
-387 5 0
-387 15 0
-5 -15 387 0
-388 -314 0
-388 -313 0
314 313 388 0
-389 -318 0
-389 -388 0
318 388 389 0
-390 314 0
-390 313 0
-314 -313 390 0
-391 -389 0
-391 -390 0
389 390 391 0
-392 387 0
-392 391 0
-387 -391 392 0
-393 -387 0
-393 -391 0
387 391 393 0
-394 -392 0
-394 -393 0
392 393 394 0
-395 386 0
-395 -394 0
-386 394 395 0
-396 -386 0
-396 394 0
386 -394 396 0
-397 -395 0
-397 -396 0
395 396 397 0
-398 6 0
-398 14 0
-6 -14 398 0
-399 -325 0
-399 -324 0
325 324 399 0
-400 -329 0
-400 -399 0
329 399 400 0
-401 325 0
-401 324 0
-325 -324 401 0
-402 -400 0
-402 -401 0
400 401 402 0
-403 398 0
-403 402 0
-398 -402 403 0
-404 -398 0
-404 -402 0
398 402 404 0
-405 -403 0
-405 -404 0
403 404 405 0
-406 397 0
-406 -405 0
-397 405 406 0
-407 -397 0
-407 405 0
397 -405 407 0
-408 -406 0
-408 -407 0
406 407 408 0
-409 7 0
-409 13 0
-7 -13 409 0
-410 -336 0
-410 -335 0
336 335 410 0
-411 -340 0
-411 -410 0
340 410 411 0
-412 336 0
-412 335 0
-336 -335 412 0
-413 -411 0
-413 -412 0
411 412 413 0
-414 409 0
-414 413 0
-409 -413 414 0
-415 -409 0
-415 -413 0
409 413 415 0
-416 -414 0
-416 -415 0
414 415 416 0
-417 408 0
-417 -416 0
-408 416 417 0
-418 -408 0
-418 416 0
408 -416 418 0
-419 -417 0
-419 -418 0
417 418 419 0
-420 9 0
-420 12 0
-9 -12 420 0
-421 -347 0
-421 -346 0
347 346 421 0
-422 276 0
-422 -421 0
-276 421 422 0
-423 347 0
-423 346 0
-347 -346 423 0
-424 -422 0
-424 -423 0
422 423 424 0
-425 420 0
-425 424 0
-420 -424 425 0
-426 -420 0
-426 -424 0
420 424 426 0
-427 -425 0
-427 -426 0
425 426 427 0
-428 419 0
-428 -427 0
-419 427 428 0
-429 -419 0
-429 427 0
419 -427 429 0
-430 -428 0
-430 -429 0
428 429 430 0
-431 8 0
-431 11 0
-8 -11 431 0
-432 431 0
-432 -354 0
-431 354 432 0
-433 -431 0
-433 354 0
431 -354 433 0
-434 -432 0
-434 -433 0
432 433 434 0
-435 430 0
-435 -434 0
-430 434 435 0
-436 -430 0
-436 434 0
430 -434 436 0
-437 -435 0
-437 -436 0
435 436 437 0
-438 3 0
-438 17 0
-3 -17 438 0
-439 -365 0
-439 -364 0
365 364 439 0
-440 -369 0
-440 -439 0
369 439 440 0
-441 365 0
-441 364 0
-365 -364 441 0
-442 -440 0
-442 -441 0
440 441 442 0
-443 438 0
-443 442 0
-438 -442 443 0
-444 -438 0
-444 -442 0
438 442 444 0
-445 -443 0
-445 -444 0
443 444 445 0
-446 362 0
-446 -445 0
-362 445 446 0
-447 -362 0
-447 445 0
362 -445 447 0
-448 -446 0
-448 -447 0
446 447 448 0
-449 4 0
-449 18 0
-4 -18 449 0
-450 -376 0
-450 -375 0
376 375 450 0
-451 -380 0
-451 -450 0
380 450 451 0
-452 376 0
-452 375 0
-376 -375 452 0
-453 -451 0
-453 -452 0
451 452 453 0
-454 449 0
-454 453 0
-449 -453 454 0
-455 -449 0
-455 -453 0
449 453 455 0
-456 -454 0
-456 -455 0
454 455 456 0
-457 448 0
-457 -456 0
-448 456 457 0
-458 -448 0
-458 456 0
448 -456 458 0
-459 -457 0
-459 -458 0
457 458 459 0
-460 5 0
-460 16 0
-5 -16 460 0
-461 -387 0
-461 -386 0
387 386 461 0
-462 -391 0
-462 -461 0
391 461 462 0
-463 387 0
-463 386 0
-387 -386 463 0
-464 -462 0
-464 -463 0
462 463 464 0
-465 460 0
-465 464 0
-460 -464 465 0
-466 -460 0
-466 -464 0
460 464 466 0
-467 -465 0
-467 -466 0
465 466 467 0
-468 459 0
-468 -467 0
-459 467 468 0
-469 -459 0
-469 467 0
459 -467 469 0
-470 -468 0
-470 -469 0
468 469 470 0
-471 6 0
-471 15 0
-6 -15 471 0
-472 -398 0
-472 -397 0
398 397 472 0
-473 -402 0
-473 -472 0
402 472 473 0
-474 398 0
-474 397 0
-398 -397 474 0
-475 -473 0
-475 -474 0
473 474 475 0
-476 471 0
-476 475 0
-471 -475 476 0
-477 -471 0
-477 -475 0
471 475 477 0
-478 -476 0
-478 -477 0
476 477 478 0
-479 470 0
-479 -478 0
-470 478 479 0
-480 -470 0
-480 478 0
470 -478 480 0
-481 -479 0
-481 -480 0
479 480 481 0
-482 7 0
-482 14 0
-7 -14 482 0
-483 -409 0
-483 -408 0
409 408 483 0
-484 -413 0
-484 -483 0
413 483 484 0
-485 409 0
-485 408 0
-409 -408 485 0
-486 -484 0
-486 -485 0
484 485 486 0
-487 482 0
-487 486 0
-482 -486 487 0
-488 -482 0
-488 -486 0
482 486 488 0
-489 -487 0
-489 -488 0
487 488 489 0
-490 481 0
-490 -489 0
-481 489 490 0
-491 -481 0
-491 489 0
481 -489 491 0
-492 -490 0
-492 -491 0
490 491 492 0
-493 9 0
-493 13 0
-9 -13 493 0
-494 -420 0
-494 -419 0
420 419 494 0
-495 -424 0
-495 -494 0
424 494 495 0
-496 420 0
-496 419 0
-420 -419 496 0
-497 -495 0
-497 -496 0
495 496 497 0
-498 493 0
-498 497 0
-493 -497 498 0
-499 -493 0
-499 -497 0
493 497 499 0
-500 -498 0
-500 -499 0
498 499 500 0
-501 492 0
-501 -500 0
-492 500 501 0
-502 -492 0
-502 500 0
492 -500 502 0
-503 -501 0
-503 -502 0
501 502 503 0
-504 8 0
-504 12 0
-8 -12 504 0
-505 -431 0
-505 -430 0
431 430 505 0
-506 354 0
-506 -505 0
-354 505 506 0
-507 431 0
-507 430 0
-431 -430 507 0
-508 -506 0
-508 -507 0
506 507 508 0
-509 504 0
-509 508 0
-504 -508 509 0
-510 -504 0
-510 -508 0
504 508 510 0
-511 -509 0
-511 -510 0
509 510 511 0
-512 503 0
-512 -511 0
-503 511 512 0
-513 -503 0
-513 511 0
503 -511 513 0
-514 -512 0
-514 -513 0
512 513 514 0
-515 -438 0
-515 -362 0
438 362 515 0
-516 -442 0
-516 -515 0
442 515 516 0
-517 438 0
-517 362 0
-438 -362 517 0
-518 -516 0
-518 -517 0
516 517 518 0
-519 4 0
-519 17 0
-4 -17 519 0
-520 -449 0
-520 -448 0
449 448 520 0
-521 -453 0
-521 -520 0
453 520 521 0
-522 449 0
-522 448 0
-449 -448 522 0
-523 -521 0
-523 -522 0
521 522 523 0
-524 519 0
-524 523 0
-519 -523 524 0
-525 -519 0
-525 -523 0
519 523 525 0
-526 -524 0
-526 -525 0
524 525 526 0
-527 -518 0
-527 -526 0
518 526 527 0
-528 518 0
-528 526 0
-518 -526 528 0
-529 -527 0
-529 -528 0
527 528 529 0
-530 5 0
-530 18 0
-5 -18 530 0
-531 -460 0
-531 -459 0
460 459 531 0
-532 -464 0
-532 -531 0
464 531 532 0
-533 460 0
-533 459 0
-460 -459 533 0
-534 -532 0
-534 -533 0
532 533 534 0
-535 530 0
-535 534 0
-530 -534 535 0
-536 -530 0
-536 -534 0
530 534 536 0
-537 -535 0
-537 -536 0
535 536 537 0
-538 529 0
-538 -537 0
-529 537 538 0
-539 -529 0
-539 537 0
529 -537 539 0
-540 -538 0
-540 -539 0
538 539 540 0
-541 6 0
-541 16 0
-6 -16 541 0
-542 -471 0
-542 -470 0
471 470 542 0
-543 -475 0
-543 -542 0
475 542 543 0
-544 471 0
-544 470 0
-471 -470 544 0
-545 -543 0
-545 -544 0
543 544 545 0
-546 541 0
-546 545 0
-541 -545 546 0
-547 -541 0
-547 -545 0
541 545 547 0
-548 -546 0
-548 -547 0
546 547 548 0
-549 540 0
-549 -548 0
-540 548 549 0
-550 -540 0
-550 548 0
540 -548 550 0
-551 -549 0
-551 -550 0
549 550 551 0
-552 7 0
-552 15 0
-7 -15 552 0
-553 -482 0
-553 -481 0
482 481 553 0
-554 -486 0
-554 -553 0
486 553 554 0
-555 482 0
-555 481 0
-482 -481 555 0
-556 -554 0
-556 -555 0
554 555 556 0
-557 552 0
-557 556 0
-552 -556 557 0
-558 -552 0
-558 -556 0
552 556 558 0
-559 -557 0
-559 -558 0
557 558 559 0
-560 551 0
-560 -559 0
-551 559 560 0
-561 -551 0
-561 559 0
551 -559 561 0
-562 -560 0
-562 -561 0
560 561 562 0
-563 9 0
-563 14 0
-9 -14 563 0
-564 -493 0
-564 -492 0
493 492 564 0
-565 -497 0
-565 -564 0
497 564 565 0
-566 493 0
-566 492 0
-493 -492 566 0
-567 -565 0
-567 -566 0
565 566 567 0
-568 563 0
-568 567 0
-563 -567 568 0
-569 -563 0
-569 -567 0
563 567 569 0
-570 -568 0
-570 -569 0
568 569 570 0
-571 562 0
-571 -570 0
-562 570 571 0
-572 -562 0
-572 570 0
562 -570 572 0
-573 -571 0
-573 -572 0
571 572 573 0
-574 8 0
-574 13 0
-8 -13 574 0
-575 -504 0
-575 -503 0
504 503 575 0
-576 -508 0
-576 -575 0
508 575 576 0
-577 504 0
-577 503 0
-504 -503 577 0
-578 -576 0
-578 -577 0
576 577 578 0
-579 574 0
-579 578 0
-574 -578 579 0
-580 -574 0
-580 -578 0
574 578 580 0
-581 -579 0
-581 -580 0
579 580 581 0
-582 573 0
-582 -581 0
-573 581 582 0
-583 -573 0
-583 581 0
573 -581 583 0
-584 -582 0
-584 -583 0
582 583 584 0
-585 -519 0
-585 518 0
519 -518 585 0
-586 -523 0
-586 -585 0
523 585 586 0
-587 519 0
-587 -518 0
-519 518 587 0
-588 -586 0
-588 -587 0
586 587 588 0
-589 5 0
-589 17 0
-5 -17 589 0
-590 -530 0
-590 -529 0
530 529 590 0
-591 -534 0
-591 -590 0
534 590 591 0
-592 530 0
-592 529 0
-530 -529 592 0
-593 -591 0
-593 -592 0
591 592 593 0
-594 589 0
-594 593 0
-589 -593 594 0
-595 -589 0
-595 -593 0
589 593 595 0
-596 -594 0
-596 -595 0
594 595 596 0
-597 -588 0
-597 -596 0
588 596 597 0
-598 588 0
-598 596 0
-588 -596 598 0
-599 -597 0
-599 -598 0
597 598 599 0
-600 6 0
-600 18 0
-6 -18 600 0
-601 -541 0
-601 -540 0
541 540 601 0
-602 -545 0
-602 -601 0
545 601 602 0
-603 541 0
-603 540 0
-541 -540 603 0
-604 -602 0
-604 -603 0
602 603 604 0
-605 600 0
-605 604 0
-600 -604 605 0
-606 -600 0
-606 -604 0
600 604 606 0
-607 -605 0
-607 -606 0
605 606 607 0
-608 599 0
-608 -607 0
-599 607 608 0
-609 -599 0
-609 607 0
599 -607 609 0
-610 -608 0
-610 -609 0
608 609 610 0
-611 7 0
-611 16 0
-7 -16 611 0
-612 -552 0
-612 -551 0
552 551 612 0
-613 -556 0
-613 -612 0
556 612 613 0
-614 552 0
-614 551 0
-552 -551 614 0
-615 -613 0
-615 -614 0
613 614 615 0
-616 611 0
-616 615 0
-611 -615 616 0
-617 -611 0
-617 -615 0
611 615 617 0
-618 -616 0
-618 -617 0
616 617 618 0
-619 610 0
-619 -618 0
-610 618 619 0
-620 -610 0
-620 618 0
610 -618 620 0
-621 -619 0
-621 -620 0
619 620 621 0
-622 9 0
-622 15 0
-9 -15 622 0
-623 -563 0
-623 -562 0
563 562 623 0
-624 -567 0
-624 -623 0
567 623 624 0
-625 563 0
-625 562 0
-563 -562 625 0
-626 -624 0
-626 -625 0
624 625 626 0
-627 622 0
-627 626 0
-622 -626 627 0
-628 -622 0
-628 -626 0
622 626 628 0
-629 -627 0
-629 -628 0
627 628 629 0
-630 621 0
-630 -629 0
-621 629 630 0
-631 -621 0
-631 629 0
621 -629 631 0
-632 -630 0
-632 -631 0
630 631 632 0
-633 8 0
-633 14 0
-8 -14 633 0
-634 -574 0
-634 -573 0
574 573 634 0
-635 -578 0
-635 -634 0
578 634 635 0
-636 574 0
-636 573 0
-574 -573 636 0
-637 -635 0
-637 -636 0
635 636 637 0
-638 633 0
-638 637 0
-633 -637 638 0
-639 -633 0
-639 -637 0
633 637 639 0
-640 -638 0
-640 -639 0
638 639 640 0
-641 632 0
-641 -640 0
-632 640 641 0
-642 -632 0
-642 640 0
632 -640 642 0
-643 -641 0
-643 -642 0
641 642 643 0
-644 -589 0
-644 588 0
589 -588 644 0
-645 -593 0
-645 -644 0
593 644 645 0
-646 589 0
-646 -588 0
-589 588 646 0
-647 -645 0
-647 -646 0
645 646 647 0
-648 6 0
-648 17 0
-6 -17 648 0
-649 -600 0
-649 -599 0
600 599 649 0
-650 -604 0
-650 -649 0
604 649 650 0
-651 600 0
-651 599 0
-600 -599 651 0
-652 -650 0
-652 -651 0
650 651 652 0
-653 648 0
-653 652 0
-648 -652 653 0
-654 -648 0
-654 -652 0
648 652 654 0
-655 -653 0
-655 -654 0
653 654 655 0
-656 -647 0
-656 -655 0
647 655 656 0
-657 647 0
-657 655 0
-647 -655 657 0
-658 -656 0
-658 -657 0
656 657 658 0
-659 7 0
-659 18 0
-7 -18 659 0
-660 -611 0
-660 -610 0
611 610 660 0
-661 -615 0
-661 -660 0
615 660 661 0
-662 611 0
-662 610 0
-611 -610 662 0
-663 -661 0
-663 -662 0
661 662 663 0
-664 659 0
-664 663 0
-659 -663 664 0
-665 -659 0
-665 -663 0
659 663 665 0
-666 -664 0
-666 -665 0
664 665 666 0
-667 658 0
-667 -666 0
-658 666 667 0
-668 -658 0
-668 666 0
658 -666 668 0
-669 -667 0
-669 -668 0
667 668 669 0
-670 9 0
-670 16 0
-9 -16 670 0
-671 -622 0
-671 -621 0
622 621 671 0
-672 -626 0
-672 -671 0
626 671 672 0
-673 622 0
-673 621 0
-622 -621 673 0
-674 -672 0
-674 -673 0
672 673 674 0
-675 670 0
-675 674 0
-670 -674 675 0
-676 -670 0
-676 -674 0
670 674 676 0
-677 -675 0
-677 -676 0
675 676 677 0
-678 669 0
-678 -677 0
-669 677 678 0
-679 -669 0
-679 677 0
669 -677 679 0
-680 -678 0
-680 -679 0
678 679 680 0
-681 8 0
-681 15 0
-8 -15 681 0
-682 -633 0
-682 -632 0
633 632 682 0
-683 -637 0
-683 -682 0
637 682 683 0
-684 633 0
-684 632 0
-633 -632 684 0
-685 -683 0
-685 -684 0
683 684 685 0
-686 681 0
-686 685 0
-681 -685 686 0
-687 -681 0
-687 -685 0
681 685 687 0
-688 -686 0
-688 -687 0
686 687 688 0
-689 680 0
-689 -688 0
-680 688 689 0
-690 -680 0
-690 688 0
680 -688 690 0
-691 -689 0
-691 -690 0
689 690 691 0
-692 -648 0
-692 647 0
648 -647 692 0
-693 -652 0
-693 -692 0
652 692 693 0
-694 648 0
-694 -647 0
-648 647 694 0
-695 -693 0
-695 -694 0
693 694 695 0
-696 7 0
-696 17 0
-7 -17 696 0
-697 -659 0
-697 -658 0
659 658 697 0
-698 -663 0
-698 -697 0
663 697 698 0
-699 659 0
-699 658 0
-659 -658 699 0
-700 -698 0
-700 -699 0
698 699 700 0
-701 696 0
-701 700 0
-696 -700 701 0
-702 -696 0
-702 -700 0
696 700 702 0
-703 -701 0
-703 -702 0
701 702 703 0
-704 -695 0
-704 -703 0
695 703 704 0
-705 695 0
-705 703 0
-695 -703 705 0
-706 -704 0
-706 -705 0
704 705 706 0
-707 9 0
-707 18 0
-9 -18 707 0
-708 -670 0
-708 -669 0
670 669 708 0
-709 -674 0
-709 -708 0
674 708 709 0
-710 670 0
-710 669 0
-670 -669 710 0
-711 -709 0
-711 -710 0
709 710 711 0
-712 707 0
-712 711 0
-707 -711 712 0
-713 -707 0
-713 -711 0
707 711 713 0
-714 -712 0
-714 -713 0
712 713 714 0
-715 706 0
-715 -714 0
-706 714 715 0
-716 -706 0
-716 714 0
706 -714 716 0
-717 -715 0
-717 -716 0
715 716 717 0
-718 8 0
-718 16 0
-8 -16 718 0
-719 -681 0
-719 -680 0
681 680 719 0
-720 -685 0
-720 -719 0
685 719 720 0
-721 681 0
-721 680 0
-681 -680 721 0
-722 -720 0
-722 -721 0
720 721 722 0
-723 718 0
-723 722 0
-718 -722 723 0
-724 -718 0
-724 -722 0
718 722 724 0
-725 -723 0
-725 -724 0
723 724 725 0
-726 717 0
-726 -725 0
-717 725 726 0
-727 -717 0
-727 725 0
717 -725 727 0
-728 -726 0
-728 -727 0
726 727 728 0
-729 -696 0
-729 695 0
696 -695 729 0
-730 -700 0
-730 -729 0
700 729 730 0
-731 696 0
-731 -695 0
-696 695 731 0
-732 -730 0
-732 -731 0
730 731 732 0
-733 9 0
-733 17 0
-9 -17 733 0
-734 -707 0
-734 -706 0
707 706 734 0
-735 -711 0
-735 -734 0
711 734 735 0
-736 707 0
-736 706 0
-707 -706 736 0
-737 -735 0
-737 -736 0
735 736 737 0
-738 733 0
-738 737 0
-733 -737 738 0
-739 -733 0
-739 -737 0
733 737 739 0
-740 -738 0
-740 -739 0
738 739 740 0
-741 -732 0
-741 -740 0
732 740 741 0
-742 732 0
-742 740 0
-732 -740 742 0
-743 -741 0
-743 -742 0
741 742 743 0
-744 8 0
-744 18 0
-8 -18 744 0
-745 -718 0
-745 -717 0
718 717 745 0
-746 -722 0
-746 -745 0
722 745 746 0
-747 718 0
-747 717 0
-718 -717 747 0
-748 -746 0
-748 -747 0
746 747 748 0
-749 744 0
-749 748 0
-744 -748 749 0
-750 -744 0
-750 -748 0
744 748 750 0
-751 -749 0
-751 -750 0
749 750 751 0
-752 743 0
-752 -751 0
-743 751 752 0
-753 -743 0
-753 751 0
743 -751 753 0
-754 -752 0
-754 -753 0
752 753 754 0
-755 -744 0
-755 -743 0
744 743 755 0
-756 -748 0
-756 -755 0
748 755 756 0
-757 744 0
-757 743 0
-744 -743 757 0
-758 -756 0
-758 -757 0
756 757 758 0
-759 8 0
-759 17 0
-8 -17 759 0
-760 -733 0
-760 732 0
733 -732 760 0
-761 -737 0
-761 -760 0
737 760 761 0
-762 733 0
-762 -732 0
-733 732 762 0
-763 -761 0
-763 -762 0
761 762 763 0
-764 -759 0
-764 763 0
759 -763 764 0
-765 -758 0
-765 -764 0
758 764 765 0
-766 759 0
-766 -763 0
-759 763 766 0
-767 -765 0
-767 -766 0
765 766 767 0
-768 759 0
-768 758 0
-759 -758 768 0
-769 -759 0
-769 -758 0
759 758 769 0
-770 -768 0
-770 -769 0
768 769 770 0
-771 -763 0
-771 -770 0
763 770 771 0
-772 763 0
-772 770 0
-763 -770 772 0
-773 -771 0
-773 -772 0
771 772 773 0
-774 767 0
-774 -773 0
-767 773 774 0
-775 -754 0
-775 774 0
754 -774 775 0
-776 -728 0
-776 775 0
728 -775 776 0
-777 -691 0
-777 776 0
691 -776 777 0
-778 -643 0
-778 777 0
643 -777 778 0
-779 -584 0
-779 778 0
584 -778 779 0
-780 -514 0
-780 779 0
514 -779 780 0
-781 437 0
-781 780 0
-437 -780 781 0
-782 -356 0
-782 781 0
356 -781 782 0
-783 -278 0
-783 782 0
278 -782 783 0
-784 -211 0
-784 783 0
211 -783 784 0
-785 -155 0
-785 784 0
155 -784 785 0
-786 110 0
-786 785 0
-110 -785 786 0
-787 -76 0
-787 786 0
76 -786 787 0
-788 -53 0
-788 787 0
53 -787 788 0
-789 -41 0
-789 788 0
41 -788 789 0
-790 36 0
-790 789 0
-36 -789 790 0
-791 35 0
-791 790 0
-35 -790 791 0
791 0