c ind 10 109 115 124 13 15 183 19 209 214 0
c ind 217 228 230 232 234 236 25 273 275 277 0
c ind 279 28 281 283 285 287 332 39 41 43 0
c ind 45 48 5 56 6 64 65 83 85 87 0
c ind 89 9 91 93 95 97 0
p cnf 400 1414
-1 -2 11 0
-1 2 123 0
-100 52 0
-100 73 0
-101 -102 13 0
-101 102 104 0
-102 103 0
-102 44 0
-103 60 0
-103 73 0
-104 -105 107 0
-104 105 110 0
-105 106 0
-105 44 0
-106 69 0
-106 73 0
-107 -108 13 0
-107 108 19 0
-108 -109 19 0
-108 -19 109 0
-11 -12 14 0
-11 12 16 0
-110 -111 113 0
-110 111 19 0
-111 112 0
-111 36 0
-112 -19 45 0
-112 -45 19 0
-113 -114 19 0
-113 114 116 0
-114 -115 19 0
-114 -19 115 0
-116 117 0
-116 122 0
-117 118 0
-117 121 0
-118 119 0
-118 120 0
-119 -13 39 0
-119 -39 13 0
-12 -13 9 0
-12 -9 13 0
-120 -13 41 0
-120 -41 13 0
-121 -13 43 0
-121 -43 13 0
-122 -13 45 0
-122 -45 13 0
-123 -124 15 0
-123 -15 124 0
-125 -126 123 0
-125 126 145 0
-126 -22 127 0
-126 22 141 0
-127 -30 13 0
-127 30 128 0
-128 -32 129 0
-128 32 141 0
-129 -35 130 0
-129 35 131 0
-13 0
-130 -47 19 0
-130 47 13 0
-131 -50 54 0
-131 50 132 0
-132 -58 62 0
-132 58 133 0
-133 -67 13 0
-133 67 134 0
-134 -71 74 0
-134 71 135 0
-135 -99 13 0
-135 99 136 0
-136 -102 13 0
-136 102 137 0
-137 -105 138 0
-137 105 139 0
-138 -108 13 0
-138 108 13 0
-139 -111 140 0
-139 111 13 0
-14 -13 15 0
-14 -15 13 0
-140 -114 13 0
-140 114 141 0
-141 122 0
-141 142 0
-142 121 0
-142 143 0
-143 120 0
-143 144 0
-144 -19 39 0
-144 -39 19 0
-145 -146 123 0
-145 146 164 0
-146 -22 147 0
-146 22 160 0
-147 -30 13 0
-147 30 148 0
-148 -32 149 0
-148 32 160 0
-149 -35 46 0
-149 35 150 0
-150 -50 151 0
-150 50 152 0
-151 -55 19 0
-151 55 13 0
-152 -58 62 0
-152 58 153 0
-153 -67 13 0
-153 67 154 0
-154 -71 74 0
-154 71 155 0
-155 -99 13 0
-155 99 156 0
-156 -102 13 0
-156 102 157 0
-157 -105 138 0
-157 105 158 0
-158 -111 159 0
-158 111 13 0
-159 -114 13 0
-159 114 160 0
-16 -17 20 0
-16 17 123 0
-160 122 0
-160 161 0
-161 121 0
-161 162 0
-162 119 0
-162 163 0
-163 -19 41 0
-163 -41 19 0
-164 -165 182 0
-164 165 184 0
-165 -22 166 0
-165 22 179 0
-166 -30 13 0
-166 30 167 0
-167 -32 168 0
-167 32 179 0
-168 -35 46 0
-168 35 169 0
-169 -50 170 0
-169 50 171 0
-17 18 0
-17 3 0
-170 -55 13 0
-170 55 19 0
-171 -58 62 0
-171 58 172 0
-172 -67 13 0
-172 67 173 0
-173 -71 74 0
-173 71 174 0
-174 -99 13 0
-174 99 175 0
-175 -102 13 0
-175 102 176 0
-176 -105 138 0
-176 105 177 0
-177 -111 178 0
-177 111 13 0
-178 -114 13 0
-178 114 179 0
-179 122 0
-179 180 0
-18 -19 5 0
-18 -5 19 0
-180 121 0
-180 181 0
-181 144 0
-181 163 0
-182 -15 183 0
-182 -183 15 0
-184 -185 202 0
-184 185 123 0
-185 -22 186 0
-185 22 199 0
-186 -30 13 0
-186 30 187 0
-187 -32 188 0
-187 32 199 0
-188 -35 46 0
-188 35 189 0
-189 -50 54 0
-189 50 190 0
-190 -58 191 0
-190 58 192 0
-191 -63 19 0
-191 63 13 0
-192 -67 13 0
-192 67 193 0
-193 -71 74 0
-193 71 194 0
-194 -99 13 0
-194 99 195 0
-195 -102 13 0
-195 102 196 0
-196 -105 138 0
-196 105 197 0
-197 -111 198 0
-197 111 13 0
-198 -114 13 0
-198 114 199 0
-199 122 0
-199 200 0
-2 3 7 0
-20 -21 123 0
-20 21 125 0
-200 118 0
-200 201 0
-201 -19 43 0
-201 -43 19 0
-202 -203 393 0
-202 203 123 0
-203 -22 204 0
-203 22 378 0
-204 -30 19 0
-204 30 205 0
-205 -32 206 0
-205 32 378 0
-206 -207 264 0
-206 207 326 0
-207 208 210 0
-208 -19 209 0
-208 -209 19 0
-21 -22 29 0
-21 22 116 0
-210 -211 218 0
-210 211 235 0
-211 212 215 0
-212 -213 0
-213 -214 25 0
-213 -25 214 0
-215 -216 0
-216 -217 28 0
-216 -28 217 0
-218 -219 13 0
-218 219 220 0
-219 -13 28 0
-219 -28 13 0
-22 23 26 0
-220 -221 223 0
-220 221 235 0
-221 212 0
-221 222 0
-222 -19 25 0
-222 -25 19 0
-223 -224 235 0
-223 224 237 0
-224 225 0
-224 233 0
-225 226 0
-225 231 0
-226 227 0
-226 229 0
-227 -13 228 0
-227 -228 13 0
-229 -13 230 0
-229 -230 13 0
-23 -24 0
-231 -13 232 0
-231 -232 13 0
-233 -13 234 0
-233 -234 13 0
-235 -19 236 0
-235 -236 19 0
-237 -238 235 0
-237 238 242 0
-238 233 0
-238 239 0
-239 231 0
-239 240 0
-24 -25 6 0
-24 -6 25 0
-240 229 0
-240 241 0
-241 -19 228 0
-241 -228 19 0
-242 -243 235 0
-242 243 247 0
-243 233 0
-243 244 0
-244 231 0
-244 245 0
-245 227 0
-245 246 0
-246 -19 230 0
-246 -230 19 0
-247 -248 235 0
-247 248 251 0
-248 233 0
-248 249 0
-249 231 0
-249 250 0
-250 241 0
-250 246 0
-251 -252 235 0
-251 252 255 0
-252 233 0
-252 253 0
-253 226 0
-253 254 0
-254 -19 232 0
-254 -232 19 0
-255 -256 19 0
-255 256 258 0
-256 233 0
-256 257 0
-257 240 0
-257 254 0
-258 -259 235 0
-258 259 261 0
-259 233 0
-259 260 0
-26 -27 0
-260 245 0
-260 254 0
-261 -262 13 0
-261 262 235 0
-262 233 0
-262 263 0
-263 250 0
-263 254 0
-264 -265 19 0
-264 265 288 0
-265 266 0
-265 286 0
-266 267 0
-266 284 0
-267 268 0
-267 282 0
-268 269 0
-268 280 0
-269 270 0
-269 278 0
-27 -10 28 0
-27 -28 10 0
-270 271 0
-270 276 0
-271 272 0
-271 274 0
-272 -13 273 0
-272 -273 13 0
-274 -13 275 0
-274 -275 13 0
-276 -13 277 0
-276 -277 13 0
-278 -13 279 0
-278 -279 13 0
-280 -13 281 0
-280 -281 13 0
-282 -13 283 0
-282 -283 13 0
-284 -13 285 0
-284 -285 13 0
-286 -13 287 0
-286 -287 13 0
-288 289 0
-288 322 0
-289 290 0
-289 318 0
-29 -30 19 0
-29 30 31 0
-290 291 0
-290 314 0
-291 292 0
-291 310 0
-292 293 0
-292 306 0
-293 294 0
-293 302 0
-294 295 0
-294 298 0
-295 -13 296 0
-295 -296 13 0
-296 -297 -13 0
-296 297 13 0
-297 -273 -19 0
-297 273 19 0
-298 -13 299 0
-298 -299 13 0
-299 -300 -301 0
-299 300 301 0
-3 -4 0
-30 -10 13 0
-30 -13 10 0
-300 -275 -19 0
-300 275 19 0
-301 273 13 0
-302 -13 303 0
-302 -303 13 0
-303 -304 -305 0
-303 304 305 0
-304 -277 -19 0
-304 277 19 0
-305 275 301 0
-306 -13 307 0
-306 -307 13 0
-307 -308 -309 0
-307 308 309 0
-308 -279 -19 0
-308 279 19 0
-309 277 305 0
-31 -32 34 0
-31 32 116 0
-310 -13 311 0
-310 -311 13 0
-311 -312 -313 0
-311 312 313 0
-312 -281 -19 0
-312 281 19 0
-313 279 309 0
-314 -13 315 0
-314 -315 13 0
-315 -316 -317 0
-315 316 317 0
-316 -283 -19 0
-316 283 19 0
-317 281 313 0
-318 -13 319 0
-318 -319 13 0
-319 -320 -321 0
-319 320 321 0
-32 23 0
-32 33 0
-320 -285 -19 0
-320 285 19 0
-321 283 317 0
-322 -13 323 0
-322 -323 13 0
-323 -324 -325 0
-323 324 325 0
-324 -287 -19 0
-324 287 19 0
-325 285 321 0
-326 -327 340 0
-326 327 378 0
-327 -211 328 0
-327 211 331 0
-328 -219 13 0
-328 219 329 0
-329 -221 330 0
-329 221 331 0
-33 -19 6 0
-33 -6 19 0
-330 -224 331 0
-330 224 333 0
-331 -19 332 0
-331 -332 19 0
-333 -238 331 0
-333 238 334 0
-334 -243 331 0
-334 243 335 0
-335 -248 331 0
-335 248 336 0
-336 -252 331 0
-336 252 337 0
-337 -256 331 0
-337 256 338 0
-338 -259 19 0
-338 259 339 0
-339 -262 13 0
-339 262 331 0
-34 -35 46 0
-34 35 49 0
-340 341 0
-340 374 0
-341 342 0
-341 370 0
-342 343 0
-342 366 0
-343 344 0
-343 362 0
-344 345 0
-344 358 0
-345 346 0
-345 354 0
-346 347 0
-346 350 0
-347 -13 348 0
-347 -348 13 0
-348 -349 -13 0
-348 349 13 0
-349 -83 -19 0
-349 83 19 0
-35 36 0
-35 44 0
-350 -13 351 0
-350 -351 13 0
-351 -352 -353 0
-351 352 353 0
-352 -85 -19 0
-352 85 19 0
-353 83 13 0
-354 -13 355 0
-354 -355 13 0
-355 -356 -357 0
-355 356 357 0
-356 -87 -19 0
-356 87 19 0
-357 85 353 0
-358 -13 359 0
-358 -359 13 0
-359 -360 -361 0
-359 360 361 0
-36 37 0
-36 42 0
-360 -89 -19 0
-360 89 19 0
-361 87 357 0
-362 -13 363 0
-362 -363 13 0
-363 -364 -365 0
-363 364 365 0
-364 -91 -19 0
-364 91 19 0
-365 89 361 0
-366 -13 367 0
-366 -367 13 0
-367 -368 -369 0
-367 368 369 0
-368 -93 -19 0
-368 93 19 0
-369 91 365 0
-37 38 0
-37 40 0
-370 -13 371 0
-370 -371 13 0
-371 -372 -373 0
-371 372 373 0
-372 -95 -19 0
-372 95 19 0
-373 93 369 0
-374 -13 375 0
-374 -375 13 0
-375 -376 -377 0
-375 376 377 0
-376 -97 -19 0
-376 97 19 0
-377 95 373 0
-378 379 0
-378 392 0
-379 380 0
-379 391 0
-38 -13 39 0
-38 -39 13 0
-380 381 0
-380 390 0
-381 382 0
-381 389 0
-382 383 0
-382 388 0
-383 384 0
-383 387 0
-384 385 0
-384 386 0
-385 -13 83 0
-385 -83 13 0
-386 -13 85 0
-386 -85 13 0
-387 -13 87 0
-387 -87 13 0
-388 -13 89 0
-388 -89 13 0
-389 -13 91 0
-389 -91 13 0
-390 -13 93 0
-390 -93 13 0
-391 -13 95 0
-391 -95 13 0
-392 -13 97 0
-392 -97 13 0
-393 -22 394 0
-393 22 397 0
-394 -30 14 0
-394 30 395 0
-395 -32 396 0
-395 32 397 0
-396 -35 397 0
-396 35 398 0
-397 -15 64 0
-397 -64 15 0
-398 -50 397 0
-398 50 399 0
-399 -58 400 0
-399 58 397 0
-4 -5 6 0
-4 -6 5 0
-40 -13 41 0
-40 -41 13 0
-400 -15 65 0
-400 -65 15 0
-42 -13 43 0
-42 -43 13 0
-44 -13 45 0
-44 -45 13 0
-46 -47 13 0
-46 47 13 0
-47 -19 48 0
-47 -48 19 0
-49 -50 54 0
-49 50 57 0
-50 44 0
-50 51 0
-51 42 0
-51 52 0
-52 40 0
-52 53 0
-53 -19 39 0
-53 -39 19 0
-54 -55 13 0
-54 55 13 0
-55 -19 56 0
-55 -56 19 0
-57 -58 62 0
-57 58 66 0
-58 44 0
-58 59 0
-59 42 0
-59 60 0
-60 38 0
-60 61 0
-61 -19 41 0
-61 -41 19 0
-62 -63 13 0
-62 63 13 0
-63 -64 65 0
-63 -65 64 0
-66 -67 13 0
-66 67 70 0
-67 44 0
-67 68 0
-68 42 0
-68 69 0
-69 53 0
-69 61 0
-7 -8 0
-70 -71 74 0
-70 71 98 0
-71 44 0
-71 72 0
-72 37 0
-72 73 0
-73 -19 43 0
-73 -43 19 0
-74 -75 13 0
-74 75 13 0
-75 76 0
-75 96 0
-76 77 0
-76 94 0
-77 78 0
-77 92 0
-78 79 0
-78 90 0
-79 80 0
-79 88 0
-8 -10 9 0
-8 -9 10 0
-80 81 0
-80 86 0
-81 82 0
-81 84 0
-82 -13 83 0
-82 -83 13 0
-84 -13 85 0
-84 -85 13 0
-86 -13 87 0
-86 -87 13 0
-88 -13 89 0
-88 -89 13 0
-90 -13 91 0
-90 -91 13 0
-92 -13 93 0
-92 -93 13 0
-94 -13 95 0
-94 -95 13 0
-96 -13 97 0
-96 -97 13 0
-98 -99 13 0
-98 99 101 0
-99 100 0
-99 44 0
1 -11 -123 0
1 -2 -11 0
1 0
1 2 -123 0
100 -52 -73 0
101 -102 -13 0
101 -13 -104 0
101 102 -104 0
102 -103 -44 0
103 -60 -73 0
104 -105 -107 0
104 -107 -110 0
104 105 -110 0
105 -106 -44 0
106 -69 -73 0
107 -108 -13 0
107 -13 -19 0
107 108 -19 0
108 -109 -19 0
108 109 19 0
11 -12 -14 0
11 -14 -16 0
11 12 -16 0
110 -111 -113 0
110 -113 -19 0
110 111 -19 0
111 -36 -112 0
112 -45 -19 0
112 45 19 0
113 -114 -19 0
113 -19 -116 0
113 114 -116 0
114 -115 -19 0
114 115 19 0
116 -117 -122 0
117 -118 -121 0
118 -119 -120 0
119 -13 -39 0
119 13 39 0
12 -9 -13 0
12 9 13 0
120 -13 -41 0
120 13 41 0
121 -13 -43 0
121 13 43 0
122 -13 -45 0
122 13 45 0
123 -15 -124 0
123 15 124 0
125 -123 -145 0
125 -126 -123 0
125 126 -145 0
126 -127 -141 0
126 -22 -127 0
126 22 -141 0
127 -13 -128 0
127 -30 -13 0
127 30 -128 0
128 -129 -141 0
128 -32 -129 0
128 32 -141 0
129 -130 -131 0
129 -35 -130 0
129 35 -131 0
130 -19 -13 0
130 -47 -19 0
130 47 -13 0
131 -50 -54 0
131 -54 -132 0
131 50 -132 0
132 -58 -62 0
132 -62 -133 0
132 58 -133 0
133 -13 -134 0
133 -67 -13 0
133 67 -134 0
134 -71 -74 0
134 -74 -135 0
134 71 -135 0
135 -13 -136 0
135 -99 -13 0
135 99 -136 0
136 -102 -13 0
136 -13 -137 0
136 102 -137 0
137 -105 -138 0
137 -138 -139 0
137 105 -139 0
138 -108 -13 0
138 -13 -13 0
138 108 -13 0
139 -111 -140 0
139 -140 -13 0
139 111 -13 0
14 -15 -13 0
14 15 13 0
140 -114 -13 0
140 -13 -141 0
140 114 -141 0
141 -142 -122 0
142 -143 -121 0
143 -144 -120 0
144 -19 -39 0
144 19 39 0
145 -123 -164 0
145 -146 -123 0
145 146 -164 0
146 -147 -160 0
146 -22 -147 0
146 22 -160 0
147 -13 -148 0
147 -30 -13 0
147 30 -148 0
148 -149 -160 0
148 -32 -149 0
148 32 -160 0
149 -35 -46 0
149 -46 -150 0
149 35 -150 0
150 -151 -152 0
150 -50 -151 0
150 50 -152 0
151 -19 -13 0
151 -55 -19 0
151 55 -13 0
152 -58 -62 0
152 -62 -153 0
152 58 -153 0
153 -13 -154 0
153 -67 -13 0
153 67 -154 0
154 -71 -74 0
154 -74 -155 0
154 71 -155 0
155 -13 -156 0
155 -99 -13 0
155 99 -156 0
156 -102 -13 0
156 -13 -157 0
156 102 -157 0
157 -105 -138 0
157 -138 -158 0
157 105 -158 0
158 -111 -159 0
158 -159 -13 0
158 111 -13 0
159 -114 -13 0
159 -13 -160 0
159 114 -160 0
16 -17 -20 0
16 -20 -123 0
16 17 -123 0
160 -161 -122 0
161 -162 -121 0
162 -119 -163 0
163 -19 -41 0
163 19 41 0
164 -165 -182 0
164 -182 -184 0
164 165 -184 0
165 -166 -179 0
165 -22 -166 0
165 22 -179 0
166 -13 -167 0
166 -30 -13 0
166 30 -167 0
167 -168 -179 0
167 -32 -168 0
167 32 -179 0
168 -35 -46 0
168 -46 -169 0
168 35 -169 0
169 -170 -171 0
169 -50 -170 0
169 50 -171 0
17 -3 -18 0
170 -13 -19 0
170 -55 -13 0
170 55 -19 0
171 -58 -62 0
171 -62 -172 0
171 58 -172 0
172 -13 -173 0
172 -67 -13 0
172 67 -173 0
173 -71 -74 0
173 -74 -174 0
173 71 -174 0
174 -13 -175 0
174 -99 -13 0
174 99 -175 0
175 -102 -13 0
175 -13 -176 0
175 102 -176 0
176 -105 -138 0
176 -138 -177 0
176 105 -177 0
177 -111 -178 0
177 -178 -13 0
177 111 -13 0
178 -114 -13 0
178 -13 -179 0
178 114 -179 0
179 -180 -122 0
18 -5 -19 0
18 5 19 0
180 -181 -121 0
181 -144 -163 0
182 -15 -183 0
182 15 183 0
184 -185 -202 0
184 -202 -123 0
184 185 -123 0
185 -186 -199 0
185 -22 -186 0
185 22 -199 0
186 -13 -187 0
186 -30 -13 0
186 30 -187 0
187 -188 -199 0
187 -32 -188 0
187 32 -199 0
188 -35 -46 0
188 -46 -189 0
188 35 -189 0
189 -50 -54 0
189 -54 -190 0
189 50 -190 0
19 0
190 -191 -192 0
190 -58 -191 0
190 58 -192 0
191 -19 -13 0
191 -63 -19 0
191 63 -13 0
192 -13 -193 0
192 -67 -13 0
192 67 -193 0
193 -71 -74 0
193 -74 -194 0
193 71 -194 0
194 -13 -195 0
194 -99 -13 0
194 99 -195 0
195 -102 -13 0
195 -13 -196 0
195 102 -196 0
196 -105 -138 0
196 -138 -197 0
196 105 -197 0
197 -111 -198 0
197 -198 -13 0
197 111 -13 0
198 -114 -13 0
198 -13 -199 0
198 114 -199 0
199 -200 -122 0
2 -3 0
2 -7 0
20 -123 -125 0
20 -21 -123 0
20 21 -125 0
200 -118 -201 0
201 -19 -43 0
201 19 43 0
202 -203 -393 0
202 -393 -123 0
202 203 -123 0
203 -204 -378 0
203 -22 -204 0
203 22 -378 0
204 -19 -205 0
204 -30 -19 0
204 30 -205 0
205 -206 -378 0
205 -32 -206 0
205 32 -378 0
206 -207 -264 0
206 -264 -326 0
206 207 -326 0
207 -208 0
207 -210 0
208 -209 -19 0
208 209 19 0
21 -22 -29 0
21 -29 -116 0
21 22 -116 0
210 -211 -218 0
210 -218 -235 0
210 211 -235 0
211 -212 0
211 -215 0
212 213 0
213 -25 -214 0
213 25 214 0
215 216 0
216 -28 -217 0
216 28 217 0
218 -13 -220 0
218 -219 -13 0
218 219 -220 0
219 -28 -13 0
219 28 13 0
22 -23 0
22 -26 0
220 -221 -223 0
220 -223 -235 0
220 221 -235 0
221 -212 -222 0
222 -25 -19 0
222 25 19 0
223 -224 -235 0
223 -235 -237 0
223 224 -237 0
224 -225 -233 0
225 -226 -231 0
226 -227 -229 0
227 -228 -13 0
227 228 13 0
229 -230 -13 0
229 230 13 0
23 24 0
231 -232 -13 0
231 232 13 0
233 -234 -13 0
233 234 13 0
235 -19 -236 0
235 19 236 0
237 -235 -242 0
237 -238 -235 0
237 238 -242 0
238 -239 -233 0
239 -240 -231 0
24 -6 -25 0
24 6 25 0
240 -241 -229 0
241 -228 -19 0
241 228 19 0
242 -235 -247 0
242 -243 -235 0
242 243 -247 0
243 -244 -233 0
244 -245 -231 0
245 -227 -246 0
246 -230 -19 0
246 230 19 0
247 -235 -251 0
247 -248 -235 0
247 248 -251 0
248 -249 -233 0
249 -250 -231 0
250 -241 -246 0
251 -235 -255 0
251 -252 -235 0
251 252 -255 0
252 -253 -233 0
253 -226 -254 0
254 -232 -19 0
254 232 19 0
255 -19 -258 0
255 -256 -19 0
255 256 -258 0
256 -257 -233 0
257 -240 -254 0
258 -235 -261 0
258 -259 -235 0
258 259 -261 0
259 -260 -233 0
26 27 0
260 -245 -254 0
261 -13 -235 0
261 -262 -13 0
261 262 -235 0
262 -263 -233 0
263 -250 -254 0
264 -19 -288 0
264 -265 -19 0
264 265 -288 0
265 -266 -286 0
266 -267 -284 0
267 -268 -282 0
268 -269 -280 0
269 -270 -278 0
27 -10 -28 0
27 10 28 0
270 -271 -276 0
271 -272 -274 0
272 -273 -13 0
272 273 13 0
274 -275 -13 0
274 275 13 0
276 -277 -13 0
276 277 13 0
278 -279 -13 0
278 279 13 0
280 -281 -13 0
280 281 13 0
282 -283 -13 0
282 283 13 0
284 -285 -13 0
284 285 13 0
286 -287 -13 0
286 287 13 0
288 -289 -322 0
289 -290 -318 0
29 -19 -31 0
29 -30 -19 0
29 30 -31 0
290 -291 -314 0
291 -292 -310 0
292 -293 -306 0
293 -294 -302 0
294 -295 -298 0
295 -13 -296 0
295 13 296 0
296 -13 297 0
296 -297 13 0
297 -19 273 0
297 -273 19 0
298 -13 -299 0
298 13 299 0
299 -300 301 0
299 -301 300 0
3 4 0
30 -10 -13 0
30 10 13 0
300 -19 275 0
300 -275 19 0
301 -13 0
301 -273 0
302 -13 -303 0
302 13 303 0
303 -304 305 0
303 -305 304 0
304 -19 277 0
304 -277 19 0
305 -275 0
305 -301 0
306 -13 -307 0
306 13 307 0
307 -308 309 0
307 -309 308 0
308 -19 279 0
308 -279 19 0
309 -277 0
309 -305 0
31 -32 -34 0
31 -34 -116 0
31 32 -116 0
310 -13 -311 0
310 13 311 0
311 -312 313 0
311 -313 312 0
312 -19 281 0
312 -281 19 0
313 -279 0
313 -309 0
314 -13 -315 0
314 13 315 0
315 -316 317 0
315 -317 316 0
316 -19 283 0
316 -283 19 0
317 -281 0
317 -313 0
318 -13 -319 0
318 13 319 0
319 -320 321 0
319 -321 320 0
32 -23 -33 0
320 -19 285 0
320 -285 19 0
321 -283 0
321 -317 0
322 -13 -323 0
322 13 323 0
323 -324 325 0
323 -325 324 0
324 -19 287 0
324 -287 19 0
325 -285 0
325 -321 0
326 -327 -340 0
326 -340 -378 0
326 327 -378 0
327 -211 -328 0
327 -328 -331 0
327 211 -331 0
328 -13 -329 0
328 -219 -13 0
328 219 -329 0
329 -221 -330 0
329 -330 -331 0
329 221 -331 0
33 -6 -19 0
33 6 19 0
330 -224 -331 0
330 -331 -333 0
330 224 -333 0
331 -19 -332 0
331 19 332 0
333 -238 -331 0
333 -331 -334 0
333 238 -334 0
334 -243 -331 0
334 -331 -335 0
334 243 -335 0
335 -248 -331 0
335 -331 -336 0
335 248 -336 0
336 -252 -331 0
336 -331 -337 0
336 252 -337 0
337 -256 -331 0
337 -331 -338 0
337 256 -338 0
338 -19 -339 0
338 -259 -19 0
338 259 -339 0
339 -13 -331 0
339 -262 -13 0
339 262 -331 0
34 -35 -46 0
34 -46 -49 0
34 35 -49 0
340 -341 -374 0
341 -342 -370 0
342 -343 -366 0
343 -344 -362 0
344 -345 -358 0
345 -346 -354 0
346 -347 -350 0
347 -13 -348 0
347 13 348 0
348 -13 349 0
348 -349 13 0
349 -19 83 0
349 -83 19 0
35 -36 -44 0
350 -13 -351 0
350 13 351 0
351 -352 353 0
351 -353 352 0
352 -19 85 0
352 -85 19 0
353 -13 0
353 -83 0
354 -13 -355 0
354 13 355 0
355 -356 357 0
355 -357 356 0
356 -19 87 0
356 -87 19 0
357 -353 0
357 -85 0
358 -13 -359 0
358 13 359 0
359 -360 361 0
359 -361 360 0
36 -37 -42 0
360 -19 89 0
360 -89 19 0
361 -357 0
361 -87 0
362 -13 -363 0
362 13 363 0
363 -364 365 0
363 -365 364 0
364 -19 91 0
364 -91 19 0
365 -361 0
365 -89 0
366 -13 -367 0
366 13 367 0
367 -368 369 0
367 -369 368 0
368 -19 93 0
368 -93 19 0
369 -365 0
369 -91 0
37 -38 -40 0
370 -13 -371 0
370 13 371 0
371 -372 373 0
371 -373 372 0
372 -19 95 0
372 -95 19 0
373 -369 0
373 -93 0
374 -13 -375 0
374 13 375 0
375 -376 377 0
375 -377 376 0
376 -19 97 0
376 -97 19 0
377 -373 0
377 -95 0
378 -379 -392 0
379 -380 -391 0
38 -39 -13 0
38 39 13 0
380 -381 -390 0
381 -382 -389 0
382 -383 -388 0
383 -384 -387 0
384 -385 -386 0
385 -13 -83 0
385 13 83 0
386 -13 -85 0
386 13 85 0
387 -13 -87 0
387 13 87 0
388 -13 -89 0
388 13 89 0
389 -13 -91 0
389 13 91 0
390 -13 -93 0
390 13 93 0
391 -13 -95 0
391 13 95 0
392 -13 -97 0
392 13 97 0
393 -22 -394 0
393 -394 -397 0
393 22 -397 0
394 -14 -395 0
394 -30 -14 0
394 30 -395 0
395 -32 -396 0
395 -396 -397 0
395 32 -397 0
396 -35 -397 0
396 -397 -398 0
396 35 -398 0
397 -15 -64 0
397 15 64 0
398 -397 -399 0
398 -50 -397 0
398 50 -399 0
399 -400 -397 0
399 -58 -400 0
399 58 -397 0
4 -5 -6 0
4 5 6 0
40 -41 -13 0
40 41 13 0
400 -15 -65 0
400 15 65 0
42 -43 -13 0
42 43 13 0
44 -45 -13 0
44 45 13 0
46 -13 -13 0
46 -47 -13 0
46 47 -13 0
47 -48 -19 0
47 48 19 0
49 -50 -54 0
49 -54 -57 0
49 50 -57 0
50 -51 -44 0
51 -52 -42 0
52 -53 -40 0
53 -39 -19 0
53 39 19 0
54 -13 -13 0
54 -55 -13 0
54 55 -13 0
55 -56 -19 0
55 56 19 0
57 -58 -62 0
57 -62 -66 0
57 58 -66 0
58 -59 -44 0
59 -60 -42 0
60 -38 -61 0
61 -41 -19 0
61 41 19 0
62 -13 -13 0
62 -63 -13 0
62 63 -13 0
63 -64 -65 0
63 64 65 0
66 -13 -70 0
66 -67 -13 0
66 67 -70 0
67 -68 -44 0
68 -69 -42 0
69 -53 -61 0
7 8 0
70 -71 -74 0
70 -74 -98 0
70 71 -98 0
71 -72 -44 0
72 -37 -73 0
73 -43 -19 0
73 43 19 0
74 -13 -13 0
74 -75 -13 0
74 75 -13 0
75 -76 -96 0
76 -77 -94 0
77 -78 -92 0
78 -79 -90 0
79 -80 -88 0
8 -9 -10 0
8 9 10 0
80 -81 -86 0
81 -82 -84 0
82 -83 -13 0
82 83 13 0
84 -85 -13 0
84 85 13 0
86 -87 -13 0
86 87 13 0
88 -89 -13 0
88 89 13 0
90 -91 -13 0
90 91 13 0
92 -93 -13 0
92 93 13 0
94 -95 -13 0
94 95 13 0
96 -97 -13 0
96 97 13 0
98 -13 -101 0
98 -99 -13 0
98 99 -101 0
99 -100 -44 0