lisp.log.cnf

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