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