[dswinars@abe0748 ~/g5w]$ M2 Macaulay 2, version 1.1 with packages: Classic, Core, Elimination, IntegralClosure, LLLBases, Parsing, PrimaryDecomposition, SchurRings, TangentCone i11 : load "g5whittle.m2" --warning: comphp redefined --warning: subhp redefined --warning: clearDenominators redefined --warning: inWId redefined --warning: printPt redefined --warning: M2ToPolymakeV redefined --warning: createPolymakeInputFile redefined --warning: isPInQ redefined --warning: polymakeVToM2 redefined --warning: checkm redefined --warning: showsStability redefined i12 : #urinids o12 = 48 i13 : showsStability(7,urinids) polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 18473 18556 18390 18564 18432 18411 18564 18564 18475 18557 18551 18475 1 18551 18557 18564 18541 18564 18563 18556 18254 18513 18315 18540 18494 1 18558 18561 18464 18564 18414 18517 18560 18563 18530 18273 18556 18452 1 18506 18348 18564 18395 18564 18564 18564 18538 18328 18563 18542 18536 1 18515 18543 18362 18564 18562 18564 18421 18564 18468 18557 18332 18560 1 18534 18562 18564 18548 18550 18433 18564 18330 18514 18299 18564 18550 1 18356 18563 18564 18398 18555 18564 18564 18335 18536 18562 18539 18476 1 18563 18508 18540 18564 18564 18302 18522 18563 18415 18347 18562 18562 1 18382 18538 18564 18539 18561 18285 18564 18564 18534 18509 18550 18422 1 18562 18561 18330 18563 18562 18564 18405 18437 18513 18497 18482 18536 1 18563 18551 18557 18557 18263 18557 18551 18563 18389 18395 18539 18527 1 18288 18556 18551 18550 18564 18545 18557 18278 18536 18539 18539 18509 1 18561 18557 18303 18564 18557 18562 18564 18391 18498 18360 18557 18538 1 18497 18452 18564 18335 18564 18544 18522 18564 18473 18563 18376 18558 1 18563 18305 18550 18564 18563 18564 18343 18561 18420 18506 18535 18538 1 18375 18563 18563 18484 18562 18303 18564 18527 18536 18534 18559 18442 1 18415 18535 18564 18564 18264 18564 18564 18531 18402 18522 18564 18523 1 18556 18561 18480 18403 18564 18564 18506 18561 18500 18515 18258 18544 1 18272 18557 18557 18545 18539 18539 18557 18563 18518 18563 18545 18257 1 18563 18411 18552 18556 18560 18557 18543 18381 18490 18274 18562 18563 1 18563 18382 18562 18564 18398 18564 18421 18462 18515 18503 18521 18557 1 18423 18557 18563 18291 18564 18470 18564 18564 18389 18551 18556 18520 1 18509 18326 18562 18564 18564 18551 18362 18564 18535 18563 18493 18419 1 18560 18563 18556 18507 18448 18563 18563 18313 18510 18311 18563 18555 1 18550 18564 18564 18538 18562 18293 18562 18546 18442 18503 18345 18543 1 18515 18283 18520 18564 18564 18564 18549 18529 18517 18531 18564 18312 1 18563 18308 18563 18555 18564 18564 18562 18428 18436 18355 18551 18563 1 18356 18563 18561 18563 18462 18345 18542 18563 18530 18562 18558 18407 1 18563 18293 18564 18564 18545 18564 18564 18342 18530 18492 18526 18465 1 18323 18563 18562 18528 18563 18522 18280 18563 18467 18551 18545 18545 1 18543 18562 18400 18563 18564 18320 18560 18554 18431 18402 18562 18551 1 18504 18309 18564 18549 18545 18564 18557 18532 18535 18562 18314 18477 1 18432 18562 18340 18564 18525 18561 18561 18311 18515 18563 18533 18545 1 18560 18372 18564 18472 18564 18564 18561 18564 18484 18284 18548 18475 1 18561 18416 18558 18564 18562 18439 18564 18537 18530 18273 18555 18453 1 18425 18563 18547 18329 18460 18564 18559 18562 18362 18563 18519 18559 1 18561 18517 18564 18332 18563 18555 18564 18539 18536 18487 18311 18483 1 18473 18556 18318 18564 18550 18557 18329 18551 18473 18551 18539 18551 1 18511 18564 18465 18564 18564 18305 18562 18560 18452 18556 18392 18517 1 18560 18385 18564 18545 18489 18564 18515 18451 18514 18304 18564 18557 1 18339 18564 18564 18564 18558 18364 18560 18564 18416 18416 18559 18544 1 18557 18462 18377 18498 18561 18563 18563 18317 18515 18514 18531 18554 1 18563 18346 18564 18564 18564 18369 18564 18443 18536 18507 18503 18489 1 18424 18563 18557 18278 18555 18564 18480 18562 18388 18536 18554 18551 1 18327 18489 18564 18564 18551 18532 18562 18292 18536 18563 18563 18469 1 18563 18563 18315 18558 18562 18562 18548 18562 18448 18387 18383 18561 1 18467 18556 18564 18549 18338 18543 18564 18564 18460 18551 18557 18299 1 18563 18336 18529 18564 18564 18564 18563 18311 18509 18450 18496 18563 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 18473 18556 18390 18564 18432 18411 18564 18564 18475 18557 18551 18475 1 18551 18557 18564 18541 18564 18563 18556 18254 18513 18315 18540 18494 1 18558 18561 18464 18564 18414 18517 18560 18563 18530 18273 18556 18452 1 18506 18348 18564 18395 18564 18564 18564 18538 18328 18563 18542 18536 1 18515 18543 18362 18564 18562 18564 18421 18564 18468 18557 18332 18560 1 18534 18562 18564 18548 18550 18433 18564 18330 18514 18299 18564 18550 1 18356 18563 18564 18398 18555 18564 18564 18335 18536 18562 18539 18476 1 18563 18508 18540 18564 18564 18302 18522 18563 18415 18347 18562 18562 1 18382 18538 18564 18539 18561 18285 18564 18564 18534 18509 18550 18422 1 18562 18561 18330 18563 18562 18564 18405 18437 18513 18497 18482 18536 1 18563 18551 18557 18557 18263 18557 18551 18563 18389 18395 18539 18527 1 18288 18556 18551 18550 18564 18545 18557 18278 18536 18539 18539 18509 1 18561 18557 18303 18564 18557 18562 18564 18391 18498 18360 18557 18538 1 18497 18452 18564 18335 18564 18544 18522 18564 18473 18563 18376 18558 1 18563 18305 18550 18564 18563 18564 18343 18561 18420 18506 18535 18538 1 18375 18563 18563 18484 18562 18303 18564 18527 18536 18534 18559 18442 1 18415 18535 18564 18564 18264 18564 18564 18531 18402 18522 18564 18523 1 18556 18561 18480 18403 18564 18564 18506 18561 18500 18515 18258 18544 1 18272 18557 18557 18545 18539 18539 18557 18563 18518 18563 18545 18257 1 18563 18411 18552 18556 18560 18557 18543 18381 18490 18274 18562 18563 1 18563 18382 18562 18564 18398 18564 18421 18462 18515 18503 18521 18557 1 18423 18557 18563 18291 18564 18470 18564 18564 18389 18551 18556 18520 1 18509 18326 18562 18564 18564 18551 18362 18564 18535 18563 18493 18419 1 18560 18563 18556 18507 18448 18563 18563 18313 18510 18311 18563 18555 1 18550 18564 18564 18538 18562 18293 18562 18546 18442 18503 18345 18543 1 18515 18283 18520 18564 18564 18564 18549 18529 18517 18531 18564 18312 1 18563 18308 18563 18555 18564 18564 18562 18428 18436 18355 18551 18563 1 18356 18563 18561 18563 18462 18345 18542 18563 18530 18562 18558 18407 1 18563 18293 18564 18564 18545 18564 18564 18342 18530 18492 18526 18465 1 18323 18563 18562 18528 18563 18522 18280 18563 18467 18551 18545 18545 1 18543 18562 18400 18563 18564 18320 18560 18554 18431 18402 18562 18551 1 18504 18309 18564 18549 18545 18564 18557 18532 18535 18562 18314 18477 1 18432 18562 18340 18564 18525 18561 18561 18311 18515 18563 18533 18545 1 18560 18372 18564 18472 18564 18564 18561 18564 18484 18284 18548 18475 1 18561 18416 18558 18564 18562 18439 18564 18537 18530 18273 18555 18453 1 18425 18563 18547 18329 18460 18564 18559 18562 18362 18563 18519 18559 1 18561 18517 18564 18332 18563 18555 18564 18539 18536 18487 18311 18483 1 18473 18556 18318 18564 18550 18557 18329 18551 18473 18551 18539 18551 1 18511 18564 18465 18564 18564 18305 18562 18560 18452 18556 18392 18517 1 18560 18385 18564 18545 18489 18564 18515 18451 18514 18304 18564 18557 1 18339 18564 18564 18564 18558 18364 18560 18564 18416 18416 18559 18544 1 18557 18462 18377 18498 18561 18563 18563 18317 18515 18514 18531 18554 1 18563 18346 18564 18564 18564 18369 18564 18443 18536 18507 18503 18489 1 18424 18563 18557 18278 18555 18564 18480 18562 18388 18536 18554 18551 1 18327 18489 18564 18564 18551 18532 18562 18292 18536 18563 18563 18469 1 18563 18563 18315 18558 18562 18562 18548 18562 18448 18387 18383 18561 1 18467 18556 18564 18549 18338 18543 18564 18564 18460 18551 18557 18299 1 18563 18336 18529 18564 18564 18564 18563 18311 18509 18450 18496 18563 o13 = true i14 : for m from 2 to 117 do (print concatenate("m=",toString m) << endl; print toString showsStability(m,urinids) << endl) m=2 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 7 10 4 13 5 6 11 13 7 11 8 5 1 10 11 12 4 13 12 10 2 8 4 9 5 1 10 11 5 13 8 5 9 12 9 2 10 6 1 7 4 12 4 13 11 10 5 6 12 6 10 1 9 7 4 12 11 11 5 13 6 11 3 8 1 6 11 13 8 8 5 13 5 7 3 13 8 1 3 12 10 5 8 12 13 3 10 10 8 6 1 11 7 6 13 12 4 7 12 4 3 10 11 1 6 7 13 8 10 4 13 13 8 3 9 6 1 11 11 2 12 10 13 5 6 8 7 6 9 1 12 10 11 11 2 11 10 12 3 4 8 6 1 2 10 10 9 13 9 11 2 10 8 8 8 1 11 11 1 12 7 11 13 6 6 3 11 8 1 6 6 13 4 13 8 6 13 7 12 5 7 1 12 4 8 12 10 13 4 11 4 7 8 7 1 2 12 12 7 11 4 13 7 10 7 9 6 1 5 7 13 12 5 8 13 6 5 6 13 7 1 10 11 5 6 13 10 7 11 9 9 1 8 1 1 11 11 9 8 8 11 12 7 12 9 1 1 12 4 10 10 10 11 8 4 7 1 11 12 1 11 6 9 13 4 13 6 5 9 6 7 11 1 4 10 11 4 13 5 13 13 5 9 7 6 1 7 4 8 12 13 7 6 13 8 12 5 5 1 10 12 10 6 5 12 12 4 7 1 12 9 1 9 13 13 7 11 2 11 10 6 7 4 7 1 9 3 6 12 11 13 8 8 8 5 13 4 1 11 3 11 4 13 13 11 7 5 3 9 10 1 2 12 10 12 6 5 8 12 9 11 9 4 1 12 4 11 13 6 13 12 5 6 6 6 6 1 2 12 11 7 12 6 4 12 6 10 9 9 1 10 11 3 12 12 4 9 10 5 3 11 10 1 8 3 13 8 9 13 11 6 9 11 3 6 1 4 11 5 13 7 10 10 3 9 12 7 9 1 10 4 13 3 12 11 11 12 6 4 8 6 1 11 5 10 12 11 3 12 9 9 2 10 6 1 4 12 9 5 6 13 8 11 4 12 7 9 1 10 7 13 2 12 9 13 8 8 6 5 7 1 7 10 2 13 9 11 3 10 7 10 8 10 1 6 12 7 13 13 2 11 10 6 10 4 6 1 10 5 13 6 7 13 6 6 8 4 12 10 1 3 13 13 12 9 6 10 12 4 3 9 6 1 11 6 7 6 10 12 12 1 9 8 9 9 1 12 5 8 13 11 5 13 5 10 7 6 5 1 3 12 11 3 10 13 5 11 4 9 9 10 1 3 7 13 11 8 6 11 5 10 11 12 3 1 12 12 3 10 11 11 7 11 3 5 4 11 1 6 10 13 8 4 8 11 12 6 10 11 1 1 8 5 7 10 13 12 10 5 8 5 5 12 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 25/3 25/3 25/3 25/3 25/3 25/3 25/3 25/3 25/3 25/3 25/3 25/3 1 7 10 4 13 5 6 11 13 7 11 8 5 1 10 11 12 4 13 12 10 2 8 4 9 5 1 10 11 5 13 8 5 9 12 9 2 10 6 1 7 4 12 4 13 11 10 5 6 12 6 10 1 9 7 4 12 11 11 5 13 6 11 3 8 1 6 11 13 8 8 5 13 5 7 3 13 8 1 3 12 10 5 8 12 13 3 10 10 8 6 1 11 7 6 13 12 4 7 12 4 3 10 11 1 6 7 13 8 10 4 13 13 8 3 9 6 1 11 11 2 12 10 13 5 6 8 7 6 9 1 12 10 11 11 2 11 10 12 3 4 8 6 1 2 10 10 9 13 9 11 2 10 8 8 8 1 11 11 1 12 7 11 13 6 6 3 11 8 1 6 6 13 4 13 8 6 13 7 12 5 7 1 12 4 8 12 10 13 4 11 4 7 8 7 1 2 12 12 7 11 4 13 7 10 7 9 6 1 5 7 13 12 5 8 13 6 5 6 13 7 1 10 11 5 6 13 10 7 11 9 9 1 8 1 1 11 11 9 8 8 11 12 7 12 9 1 1 12 4 10 10 10 11 8 4 7 1 11 12 1 11 6 9 13 4 13 6 5 9 6 7 11 1 4 10 11 4 13 5 13 13 5 9 7 6 1 7 4 8 12 13 7 6 13 8 12 5 5 1 10 12 10 6 5 12 12 4 7 1 12 9 1 9 13 13 7 11 2 11 10 6 7 4 7 1 9 3 6 12 11 13 8 8 8 5 13 4 1 11 3 11 4 13 13 11 7 5 3 9 10 1 2 12 10 12 6 5 8 12 9 11 9 4 1 12 4 11 13 6 13 12 5 6 6 6 6 1 2 12 11 7 12 6 4 12 6 10 9 9 1 10 11 3 12 12 4 9 10 5 3 11 10 1 8 3 13 8 9 13 11 6 9 11 3 6 1 4 11 5 13 7 10 10 3 9 12 7 9 1 10 4 13 3 12 11 11 12 6 4 8 6 1 11 5 10 12 11 3 12 9 9 2 10 6 1 4 12 9 5 6 13 8 11 4 12 7 9 1 10 7 13 2 12 9 13 8 8 6 5 7 1 7 10 2 13 9 11 3 10 7 10 8 10 1 6 12 7 13 13 2 11 10 6 10 4 6 1 10 5 13 6 7 13 6 6 8 4 12 10 1 3 13 13 12 9 6 10 12 4 3 9 6 1 11 6 7 6 10 12 12 1 9 8 9 9 1 12 5 8 13 11 5 13 5 10 7 6 5 1 3 12 11 3 10 13 5 11 4 9 9 10 1 3 7 13 11 8 6 11 5 10 11 12 3 1 12 12 3 10 11 11 7 11 3 5 4 11 1 6 10 13 8 4 8 11 12 6 10 11 1 1 8 5 7 10 13 12 10 5 8 5 5 12 false m=3 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 76 87 65 91 68 73 90 91 77 88 84 70 1 86 88 91 80 91 90 87 53 80 62 83 69 1 86 88 69 91 76 76 87 90 83 54 87 73 1 78 62 91 66 91 91 88 72 67 90 79 85 1 82 80 63 90 88 90 69 91 73 88 61 85 1 79 89 91 77 84 70 91 64 81 59 91 84 1 63 90 89 71 81 91 91 63 85 89 77 70 1 89 74 80 91 91 64 77 90 66 60 89 89 1 69 81 91 82 88 58 91 91 83 72 85 69 1 89 88 57 90 89 91 68 72 80 76 77 83 1 90 86 88 88 54 88 86 90 64 66 82 78 1 55 87 86 85 91 84 88 55 85 82 82 80 1 88 88 54 91 84 89 91 68 75 63 88 81 1 76 75 91 60 91 83 77 91 74 90 67 85 1 90 60 85 91 90 91 62 88 67 77 82 77 1 62 90 90 75 89 60 91 78 85 81 86 73 1 69 80 91 91 60 90 91 76 66 77 91 78 1 87 88 71 72 91 89 75 88 81 82 53 83 1 53 88 88 84 82 82 88 90 79 90 84 52 1 90 68 86 86 87 88 82 64 77 53 89 90 1 90 68 88 91 68 91 69 73 82 75 77 88 1 67 88 89 60 91 68 91 91 71 86 84 74 1 79 63 84 91 91 79 68 91 84 90 72 68 1 87 90 87 72 72 90 90 62 78 56 90 86 1 85 91 91 81 89 56 89 85 73 78 60 82 1 82 58 74 91 90 91 84 80 78 78 91 63 1 88 57 89 80 91 91 89 74 67 61 84 89 1 59 90 88 90 72 67 81 90 83 89 86 65 1 90 61 91 91 81 91 91 63 79 75 75 72 1 58 90 89 79 90 77 59 90 74 86 84 84 1 85 89 66 90 90 61 85 86 70 63 89 86 1 79 58 91 84 84 91 88 79 84 89 59 74 1 67 89 67 91 76 88 88 58 82 90 80 84 1 87 64 91 70 91 90 88 91 72 59 82 75 1 88 72 86 91 89 64 90 83 83 55 86 73 1 68 90 83 66 71 91 86 89 62 90 78 86 1 88 75 91 59 90 86 91 82 84 74 64 76 1 76 87 57 91 85 88 60 86 76 86 82 86 1 78 91 74 91 91 58 89 87 75 87 65 74 1 87 68 91 81 75 91 74 72 81 61 91 88 1 61 91 91 91 84 65 87 91 67 68 86 78 1 88 73 72 73 88 90 90 56 82 81 82 85 1 90 66 89 91 91 67 91 70 85 78 72 70 1 67 90 88 57 86 91 71 89 67 83 85 86 1 62 73 91 90 85 76 89 63 85 90 90 66 1 90 90 59 86 89 89 80 89 68 67 65 88 1 74 87 91 84 64 79 90 90 73 86 88 54 1 82 63 77 91 91 91 86 67 80 68 74 90 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 80 80 80 80 80 80 80 80 80 80 80 80 1 76 87 65 91 68 73 90 91 77 88 84 70 1 86 88 91 80 91 90 87 53 80 62 83 69 1 86 88 69 91 76 76 87 90 83 54 87 73 1 78 62 91 66 91 91 88 72 67 90 79 85 1 82 80 63 90 88 90 69 91 73 88 61 85 1 79 89 91 77 84 70 91 64 81 59 91 84 1 63 90 89 71 81 91 91 63 85 89 77 70 1 89 74 80 91 91 64 77 90 66 60 89 89 1 69 81 91 82 88 58 91 91 83 72 85 69 1 89 88 57 90 89 91 68 72 80 76 77 83 1 90 86 88 88 54 88 86 90 64 66 82 78 1 55 87 86 85 91 84 88 55 85 82 82 80 1 88 88 54 91 84 89 91 68 75 63 88 81 1 76 75 91 60 91 83 77 91 74 90 67 85 1 90 60 85 91 90 91 62 88 67 77 82 77 1 62 90 90 75 89 60 91 78 85 81 86 73 1 69 80 91 91 60 90 91 76 66 77 91 78 1 87 88 71 72 91 89 75 88 81 82 53 83 1 53 88 88 84 82 82 88 90 79 90 84 52 1 90 68 86 86 87 88 82 64 77 53 89 90 1 90 68 88 91 68 91 69 73 82 75 77 88 1 67 88 89 60 91 68 91 91 71 86 84 74 1 79 63 84 91 91 79 68 91 84 90 72 68 1 87 90 87 72 72 90 90 62 78 56 90 86 1 85 91 91 81 89 56 89 85 73 78 60 82 1 82 58 74 91 90 91 84 80 78 78 91 63 1 88 57 89 80 91 91 89 74 67 61 84 89 1 59 90 88 90 72 67 81 90 83 89 86 65 1 90 61 91 91 81 91 91 63 79 75 75 72 1 58 90 89 79 90 77 59 90 74 86 84 84 1 85 89 66 90 90 61 85 86 70 63 89 86 1 79 58 91 84 84 91 88 79 84 89 59 74 1 67 89 67 91 76 88 88 58 82 90 80 84 1 87 64 91 70 91 90 88 91 72 59 82 75 1 88 72 86 91 89 64 90 83 83 55 86 73 1 68 90 83 66 71 91 86 89 62 90 78 86 1 88 75 91 59 90 86 91 82 84 74 64 76 1 76 87 57 91 85 88 60 86 76 86 82 86 1 78 91 74 91 91 58 89 87 75 87 65 74 1 87 68 91 81 75 91 74 72 81 61 91 88 1 61 91 91 91 84 65 87 91 67 68 86 78 1 88 73 72 73 88 90 90 56 82 81 82 85 1 90 66 89 91 91 67 91 70 85 78 72 70 1 67 90 88 57 86 91 71 89 67 83 85 86 1 62 73 91 90 85 76 89 63 85 90 90 66 1 90 90 59 86 89 89 80 89 68 67 65 88 1 74 87 91 84 64 79 90 90 73 86 88 54 1 82 63 77 91 91 91 86 67 80 68 74 90 false m=4 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 427 450 404 455 411 418 455 455 429 451 447 418 1 448 451 455 441 455 454 450 373 437 392 443 421 1 449 452 415 455 422 432 451 454 442 377 450 421 1 433 400 455 400 455 455 455 430 399 454 439 445 1 439 440 400 455 452 455 409 455 421 451 394 449 1 438 453 455 437 447 410 455 399 438 386 455 447 1 396 454 454 411 447 455 455 397 445 453 435 418 1 454 426 440 455 455 394 434 454 408 394 453 453 1 408 441 455 442 452 383 455 455 443 427 447 412 1 453 452 386 454 453 455 413 415 437 430 430 442 1 454 448 451 451 376 451 448 454 403 406 442 436 1 380 450 448 447 455 445 451 379 445 442 442 436 1 452 451 380 455 448 453 455 408 428 398 451 441 1 430 424 455 391 455 444 434 455 424 454 405 449 1 454 385 447 455 454 455 399 452 407 433 441 438 1 401 454 454 423 453 389 455 436 445 440 450 420 1 414 439 455 455 382 454 455 437 405 434 455 435 1 450 452 419 417 455 455 424 452 436 439 377 444 1 376 451 451 445 442 442 451 454 436 454 445 373 1 454 412 448 448 451 451 443 402 429 375 453 454 1 454 405 453 455 412 455 411 422 439 430 433 451 1 410 451 454 389 455 412 455 455 415 448 450 426 1 436 390 450 455 455 440 407 455 444 454 425 409 1 451 454 450 425 417 454 454 393 434 385 454 449 1 447 455 455 441 453 382 453 446 420 433 392 443 1 439 384 429 455 455 455 446 438 435 437 455 392 1 453 384 453 445 455 455 453 418 406 399 445 454 1 394 454 452 454 416 404 442 454 442 453 449 406 1 454 387 455 455 444 455 455 395 438 427 435 420 1 388 454 453 437 454 434 384 454 424 448 445 445 1 445 453 410 454 455 389 449 448 415 401 453 448 1 434 386 455 446 445 455 451 438 444 453 388 425 1 410 453 402 455 434 452 452 385 439 454 439 445 1 450 400 455 419 455 455 452 455 423 385 445 426 1 452 416 448 455 453 409 455 442 442 378 449 421 1 412 454 444 400 417 455 450 453 397 454 434 450 1 452 429 455 391 454 449 455 442 445 426 394 428 1 427 450 386 455 447 451 391 448 427 448 442 448 1 435 455 425 455 455 385 453 451 424 450 403 429 1 451 405 455 442 428 455 430 420 438 390 455 451 1 393 455 455 455 448 399 451 455 411 411 450 437 1 451 422 412 425 452 454 454 385 439 438 440 448 1 454 398 455 455 455 407 455 416 445 434 424 422 1 411 454 451 382 449 455 419 453 408 442 448 448 1 395 422 455 455 448 435 453 390 445 454 454 414 1 454 454 388 449 453 453 441 453 413 403 407 452 1 424 450 455 446 397 438 455 454 421 448 451 381 1 451 395 432 455 455 455 451 398 436 414 424 454 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 427 450 404 455 411 418 455 455 429 451 447 418 1 448 451 455 441 455 454 450 373 437 392 443 421 1 449 452 415 455 422 432 451 454 442 377 450 421 1 433 400 455 400 455 455 455 430 399 454 439 445 1 439 440 400 455 452 455 409 455 421 451 394 449 1 438 453 455 437 447 410 455 399 438 386 455 447 1 396 454 454 411 447 455 455 397 445 453 435 418 1 454 426 440 455 455 394 434 454 408 394 453 453 1 408 441 455 442 452 383 455 455 443 427 447 412 1 453 452 386 454 453 455 413 415 437 430 430 442 1 454 448 451 451 376 451 448 454 403 406 442 436 1 380 450 448 447 455 445 451 379 445 442 442 436 1 452 451 380 455 448 453 455 408 428 398 451 441 1 430 424 455 391 455 444 434 455 424 454 405 449 1 454 385 447 455 454 455 399 452 407 433 441 438 1 401 454 454 423 453 389 455 436 445 440 450 420 1 414 439 455 455 382 454 455 437 405 434 455 435 1 450 452 419 417 455 455 424 452 436 439 377 444 1 376 451 451 445 442 442 451 454 436 454 445 373 1 454 412 448 448 451 451 443 402 429 375 453 454 1 454 405 453 455 412 455 411 422 439 430 433 451 1 410 451 454 389 455 412 455 455 415 448 450 426 1 436 390 450 455 455 440 407 455 444 454 425 409 1 451 454 450 425 417 454 454 393 434 385 454 449 1 447 455 455 441 453 382 453 446 420 433 392 443 1 439 384 429 455 455 455 446 438 435 437 455 392 1 453 384 453 445 455 455 453 418 406 399 445 454 1 394 454 452 454 416 404 442 454 442 453 449 406 1 454 387 455 455 444 455 455 395 438 427 435 420 1 388 454 453 437 454 434 384 454 424 448 445 445 1 445 453 410 454 455 389 449 448 415 401 453 448 1 434 386 455 446 445 455 451 438 444 453 388 425 1 410 453 402 455 434 452 452 385 439 454 439 445 1 450 400 455 419 455 455 452 455 423 385 445 426 1 452 416 448 455 453 409 455 442 442 378 449 421 1 412 454 444 400 417 455 450 453 397 454 434 450 1 452 429 455 391 454 449 455 442 445 426 394 428 1 427 450 386 455 447 451 391 448 427 448 442 448 1 435 455 425 455 455 385 453 451 424 450 403 429 1 451 405 455 442 428 455 430 420 438 390 455 451 1 393 455 455 455 448 399 451 455 411 411 450 437 1 451 422 412 425 452 454 454 385 439 438 440 448 1 454 398 455 455 455 407 455 416 445 434 424 422 1 411 454 451 382 449 455 419 453 408 442 448 448 1 395 422 455 455 448 435 453 390 445 454 454 414 1 454 454 388 449 453 453 441 453 413 403 407 452 1 424 450 455 446 397 438 455 454 421 448 451 381 1 451 395 432 455 455 455 451 398 436 414 424 454 true m=5 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 1775 1814 1736 1820 1752 1753 1820 1820 1779 1815 1811 1765 1 1811 1815 1820 1803 1820 1819 1814 1678 1793 1709 1804 1774 1 1814 1817 1760 1820 1759 1789 1816 1819 1801 1686 1814 1765 1 1788 1724 1820 1732 1820 1820 1820 1794 1717 1819 1801 1805 1 1795 1802 1730 1820 1818 1820 1744 1820 1768 1815 1713 1815 1 1798 1818 1820 1804 1810 1745 1820 1720 1794 1701 1820 1810 1 1721 1819 1820 1743 1811 1820 1820 1718 1805 1818 1796 1769 1 1819 1782 1802 1820 1820 1708 1792 1819 1745 1717 1818 1818 1 1738 1802 1820 1803 1817 1694 1820 1820 1803 1783 1810 1750 1 1818 1817 1706 1819 1818 1820 1749 1755 1793 1783 1780 1802 1 1819 1811 1815 1815 1683 1815 1811 1819 1735 1739 1803 1795 1 1692 1814 1811 1810 1820 1807 1815 1689 1805 1803 1803 1791 1 1817 1815 1695 1820 1813 1818 1820 1740 1781 1724 1815 1802 1 1783 1768 1820 1712 1820 1806 1792 1820 1772 1819 1734 1814 1 1819 1699 1810 1820 1819 1820 1723 1817 1744 1788 1801 1800 1 1731 1819 1819 1772 1818 1704 1820 1795 1805 1800 1815 1762 1 1751 1799 1820 1820 1688 1820 1820 1797 1740 1792 1820 1793 1 1814 1817 1768 1752 1820 1820 1780 1817 1789 1795 1682 1806 1 1685 1815 1815 1807 1803 1803 1815 1819 1793 1819 1807 1679 1 1819 1749 1811 1812 1816 1815 1805 1732 1780 1684 1818 1819 1 1819 1734 1818 1820 1746 1820 1749 1768 1795 1785 1791 1815 1 1749 1815 1819 1701 1820 1760 1820 1820 1745 1811 1814 1786 1 1791 1708 1816 1820 1820 1807 1735 1820 1804 1819 1776 1744 1 1816 1819 1814 1781 1756 1819 1819 1711 1790 1703 1819 1813 1 1810 1820 1820 1802 1818 1695 1818 1808 1762 1787 1715 1805 1 1795 1694 1788 1820 1820 1820 1809 1797 1792 1797 1820 1708 1 1819 1701 1819 1811 1820 1820 1818 1753 1744 1727 1809 1819 1 1720 1819 1817 1819 1760 1728 1804 1819 1801 1818 1814 1741 1 1819 1701 1820 1820 1807 1820 1820 1715 1799 1778 1794 1767 1 1707 1819 1818 1796 1819 1792 1694 1819 1771 1811 1807 1807 1 1806 1818 1746 1819 1820 1706 1815 1812 1755 1734 1818 1811 1 1788 1702 1820 1809 1807 1820 1815 1798 1804 1818 1705 1774 1 1750 1818 1724 1820 1793 1817 1817 1701 1795 1819 1799 1807 1 1815 1729 1820 1767 1820 1820 1817 1820 1773 1695 1808 1776 1 1817 1751 1813 1820 1818 1753 1820 1802 1801 1687 1813 1765 1 1751 1819 1807 1721 1760 1820 1815 1818 1724 1819 1791 1815 1 1817 1787 1820 1711 1819 1813 1820 1803 1805 1777 1710 1778 1 1775 1814 1704 1820 1810 1815 1711 1811 1775 1811 1803 1811 1 1791 1820 1772 1820 1820 1700 1818 1816 1768 1814 1735 1786 1 1816 1738 1820 1805 1777 1820 1787 1764 1794 1704 1820 1815 1 1715 1820 1820 1820 1814 1728 1816 1820 1748 1744 1815 1800 1 1815 1768 1741 1778 1817 1819 1819 1703 1795 1794 1799 1812 1 1819 1720 1820 1820 1820 1733 1820 1760 1805 1789 1779 1775 1 1750 1819 1815 1692 1813 1820 1768 1818 1740 1802 1812 1811 1 1715 1773 1820 1820 1811 1796 1818 1701 1805 1819 1819 1763 1 1819 1819 1705 1814 1818 1818 1804 1818 1756 1732 1740 1817 1 1771 1814 1820 1809 1718 1800 1820 1820 1763 1811 1815 1699 1 1817 1716 1794 1820 1820 1820 1818 1713 1791 1756 1776 1819 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 1775 1814 1736 1820 1752 1753 1820 1820 1779 1815 1811 1765 1 1811 1815 1820 1803 1820 1819 1814 1678 1793 1709 1804 1774 1 1814 1817 1760 1820 1759 1789 1816 1819 1801 1686 1814 1765 1 1788 1724 1820 1732 1820 1820 1820 1794 1717 1819 1801 1805 1 1795 1802 1730 1820 1818 1820 1744 1820 1768 1815 1713 1815 1 1798 1818 1820 1804 1810 1745 1820 1720 1794 1701 1820 1810 1 1721 1819 1820 1743 1811 1820 1820 1718 1805 1818 1796 1769 1 1819 1782 1802 1820 1820 1708 1792 1819 1745 1717 1818 1818 1 1738 1802 1820 1803 1817 1694 1820 1820 1803 1783 1810 1750 1 1818 1817 1706 1819 1818 1820 1749 1755 1793 1783 1780 1802 1 1819 1811 1815 1815 1683 1815 1811 1819 1735 1739 1803 1795 1 1692 1814 1811 1810 1820 1807 1815 1689 1805 1803 1803 1791 1 1817 1815 1695 1820 1813 1818 1820 1740 1781 1724 1815 1802 1 1783 1768 1820 1712 1820 1806 1792 1820 1772 1819 1734 1814 1 1819 1699 1810 1820 1819 1820 1723 1817 1744 1788 1801 1800 1 1731 1819 1819 1772 1818 1704 1820 1795 1805 1800 1815 1762 1 1751 1799 1820 1820 1688 1820 1820 1797 1740 1792 1820 1793 1 1814 1817 1768 1752 1820 1820 1780 1817 1789 1795 1682 1806 1 1685 1815 1815 1807 1803 1803 1815 1819 1793 1819 1807 1679 1 1819 1749 1811 1812 1816 1815 1805 1732 1780 1684 1818 1819 1 1819 1734 1818 1820 1746 1820 1749 1768 1795 1785 1791 1815 1 1749 1815 1819 1701 1820 1760 1820 1820 1745 1811 1814 1786 1 1791 1708 1816 1820 1820 1807 1735 1820 1804 1819 1776 1744 1 1816 1819 1814 1781 1756 1819 1819 1711 1790 1703 1819 1813 1 1810 1820 1820 1802 1818 1695 1818 1808 1762 1787 1715 1805 1 1795 1694 1788 1820 1820 1820 1809 1797 1792 1797 1820 1708 1 1819 1701 1819 1811 1820 1820 1818 1753 1744 1727 1809 1819 1 1720 1819 1817 1819 1760 1728 1804 1819 1801 1818 1814 1741 1 1819 1701 1820 1820 1807 1820 1820 1715 1799 1778 1794 1767 1 1707 1819 1818 1796 1819 1792 1694 1819 1771 1811 1807 1807 1 1806 1818 1746 1819 1820 1706 1815 1812 1755 1734 1818 1811 1 1788 1702 1820 1809 1807 1820 1815 1798 1804 1818 1705 1774 1 1750 1818 1724 1820 1793 1817 1817 1701 1795 1819 1799 1807 1 1815 1729 1820 1767 1820 1820 1817 1820 1773 1695 1808 1776 1 1817 1751 1813 1820 1818 1753 1820 1802 1801 1687 1813 1765 1 1751 1819 1807 1721 1760 1820 1815 1818 1724 1819 1791 1815 1 1817 1787 1820 1711 1819 1813 1820 1803 1805 1777 1710 1778 1 1775 1814 1704 1820 1810 1815 1711 1811 1775 1811 1803 1811 1 1791 1820 1772 1820 1820 1700 1818 1816 1768 1814 1735 1786 1 1816 1738 1820 1805 1777 1820 1787 1764 1794 1704 1820 1815 1 1715 1820 1820 1820 1814 1728 1816 1820 1748 1744 1815 1800 1 1815 1768 1741 1778 1817 1819 1819 1703 1795 1794 1799 1812 1 1819 1720 1820 1820 1820 1733 1820 1760 1805 1789 1779 1775 1 1750 1819 1815 1692 1813 1820 1768 1818 1740 1802 1812 1811 1 1715 1773 1820 1820 1811 1796 1818 1701 1805 1819 1819 1763 1 1819 1819 1705 1814 1818 1818 1804 1818 1756 1732 1740 1817 1 1771 1814 1820 1809 1718 1800 1820 1820 1763 1811 1815 1699 1 1817 1716 1794 1820 1820 1820 1818 1713 1791 1756 1776 1819 true m=6 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 6122 6181 6063 6188 6091 6082 6188 6188 6126 6182 6177 6116 1 6177 6182 6188 6168 6188 6187 6181 5970 6150 6015 6168 6130 1 6182 6185 6108 6188 6088 6149 6184 6187 6162 5983 6181 6107 1 6144 6039 6188 6061 6188 6188 6188 6162 6025 6187 6167 6167 1 6152 6168 6049 6188 6186 6188 6081 6188 6115 6182 6023 6184 1 6162 6186 6188 6172 6176 6085 6188 6029 6151 6003 6188 6176 1 6039 6187 6188 6071 6179 6188 6188 6028 6167 6186 6163 6120 1 6187 6141 6167 6188 6188 6009 6153 6187 6079 6033 6186 6186 1 6061 6166 6188 6167 6185 5993 6188 6188 6165 6142 6176 6085 1 6186 6185 6019 6187 6186 6188 6078 6094 6150 6137 6129 6165 1 6187 6177 6182 6182 5977 6182 6177 6187 6062 6067 6167 6157 1 5993 6181 6177 6176 6188 6172 6182 5987 6167 6167 6167 6147 1 6185 6182 6001 6188 6181 6186 6188 6066 6136 6043 6182 6166 1 6137 6109 6188 6025 6188 6171 6153 6188 6120 6187 6056 6182 1 6187 6004 6176 6188 6187 6188 6036 6185 6080 6144 6164 6165 1 6054 6187 6187 6124 6186 6007 6188 6157 6167 6163 6183 6101 1 6083 6163 6188 6188 5980 6188 6188 6160 6071 6153 6188 6154 1 6181 6185 6120 6079 6188 6188 6139 6185 6142 6152 5974 6171 1 5982 6182 6182 6172 6167 6167 6182 6187 6152 6187 6172 5972 1 6187 6081 6177 6180 6184 6182 6170 6056 6132 5982 6186 6187 1 6187 6058 6186 6188 6073 6188 6084 6113 6152 6141 6152 6182 1 6085 6182 6187 6000 6188 6111 6188 6188 6068 6177 6181 6149 1 6147 6021 6185 6188 6188 6177 6051 6188 6166 6187 6129 6077 1 6184 6187 6181 6140 6098 6187 6187 6016 6147 6010 6187 6180 1 6176 6188 6188 6166 6186 5997 6186 6173 6101 6142 6031 6170 1 6152 5992 6150 6188 6188 6188 6175 6159 6151 6160 6188 6013 1 6187 6006 6187 6179 6188 6188 6186 6089 6087 6044 6176 6187 1 6039 6187 6185 6187 6107 6040 6169 6187 6162 6186 6182 6073 1 6187 6000 6188 6188 6172 6188 6188 6031 6161 6132 6156 6113 1 6017 6187 6186 6158 6187 6153 5991 6187 6117 6177 6172 6172 1 6170 6186 6075 6187 6188 6014 6184 6179 6092 6066 6186 6177 1 6143 6008 6188 6175 6172 6188 6182 6161 6166 6186 6012 6123 1 6089 6186 6035 6188 6155 6185 6185 6008 6152 6187 6162 6172 1 6184 6054 6188 6113 6188 6188 6185 6188 6125 5993 6174 6124 1 6185 6080 6182 6188 6186 6097 6188 6165 6162 5984 6180 6107 1 6087 6187 6173 6029 6106 6188 6183 6186 6044 6187 6151 6183 1 6185 6148 6188 6023 6187 6180 6188 6167 6167 6129 6014 6128 1 6122 6181 6013 6188 6176 6182 6022 6177 6122 6177 6167 6177 1 6148 6188 6117 6188 6188 6005 6186 6184 6109 6181 6063 6147 1 6184 6063 6188 6171 6129 6188 6147 6106 6151 6007 6188 6182 1 6028 6188 6188 6188 6182 6050 6184 6188 6081 6076 6183 6168 1 6182 6113 6061 6134 6185 6187 6187 6012 6152 6151 6161 6179 1 6187 6034 6188 6188 6188 6053 6188 6100 6167 6145 6137 6129 1 6086 6187 6182 5989 6180 6188 6120 6186 6065 6165 6179 6177 1 6024 6127 6188 6188 6177 6160 6186 6000 6167 6187 6187 6113 1 6187 6187 6012 6182 6186 6186 6172 6186 6099 6059 6063 6185 1 6117 6181 6188 6175 6030 6167 6188 6188 6109 6177 6182 6002 1 6186 6026 6159 6188 6188 6188 6186 6017 6147 6100 6132 6187 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 6122 6181 6063 6188 6091 6082 6188 6188 6126 6182 6177 6116 1 6177 6182 6188 6168 6188 6187 6181 5970 6150 6015 6168 6130 1 6182 6185 6108 6188 6088 6149 6184 6187 6162 5983 6181 6107 1 6144 6039 6188 6061 6188 6188 6188 6162 6025 6187 6167 6167 1 6152 6168 6049 6188 6186 6188 6081 6188 6115 6182 6023 6184 1 6162 6186 6188 6172 6176 6085 6188 6029 6151 6003 6188 6176 1 6039 6187 6188 6071 6179 6188 6188 6028 6167 6186 6163 6120 1 6187 6141 6167 6188 6188 6009 6153 6187 6079 6033 6186 6186 1 6061 6166 6188 6167 6185 5993 6188 6188 6165 6142 6176 6085 1 6186 6185 6019 6187 6186 6188 6078 6094 6150 6137 6129 6165 1 6187 6177 6182 6182 5977 6182 6177 6187 6062 6067 6167 6157 1 5993 6181 6177 6176 6188 6172 6182 5987 6167 6167 6167 6147 1 6185 6182 6001 6188 6181 6186 6188 6066 6136 6043 6182 6166 1 6137 6109 6188 6025 6188 6171 6153 6188 6120 6187 6056 6182 1 6187 6004 6176 6188 6187 6188 6036 6185 6080 6144 6164 6165 1 6054 6187 6187 6124 6186 6007 6188 6157 6167 6163 6183 6101 1 6083 6163 6188 6188 5980 6188 6188 6160 6071 6153 6188 6154 1 6181 6185 6120 6079 6188 6188 6139 6185 6142 6152 5974 6171 1 5982 6182 6182 6172 6167 6167 6182 6187 6152 6187 6172 5972 1 6187 6081 6177 6180 6184 6182 6170 6056 6132 5982 6186 6187 1 6187 6058 6186 6188 6073 6188 6084 6113 6152 6141 6152 6182 1 6085 6182 6187 6000 6188 6111 6188 6188 6068 6177 6181 6149 1 6147 6021 6185 6188 6188 6177 6051 6188 6166 6187 6129 6077 1 6184 6187 6181 6140 6098 6187 6187 6016 6147 6010 6187 6180 1 6176 6188 6188 6166 6186 5997 6186 6173 6101 6142 6031 6170 1 6152 5992 6150 6188 6188 6188 6175 6159 6151 6160 6188 6013 1 6187 6006 6187 6179 6188 6188 6186 6089 6087 6044 6176 6187 1 6039 6187 6185 6187 6107 6040 6169 6187 6162 6186 6182 6073 1 6187 6000 6188 6188 6172 6188 6188 6031 6161 6132 6156 6113 1 6017 6187 6186 6158 6187 6153 5991 6187 6117 6177 6172 6172 1 6170 6186 6075 6187 6188 6014 6184 6179 6092 6066 6186 6177 1 6143 6008 6188 6175 6172 6188 6182 6161 6166 6186 6012 6123 1 6089 6186 6035 6188 6155 6185 6185 6008 6152 6187 6162 6172 1 6184 6054 6188 6113 6188 6188 6185 6188 6125 5993 6174 6124 1 6185 6080 6182 6188 6186 6097 6188 6165 6162 5984 6180 6107 1 6087 6187 6173 6029 6106 6188 6183 6186 6044 6187 6151 6183 1 6185 6148 6188 6023 6187 6180 6188 6167 6167 6129 6014 6128 1 6122 6181 6013 6188 6176 6182 6022 6177 6122 6177 6167 6177 1 6148 6188 6117 6188 6188 6005 6186 6184 6109 6181 6063 6147 1 6184 6063 6188 6171 6129 6188 6147 6106 6151 6007 6188 6182 1 6028 6188 6188 6188 6182 6050 6184 6188 6081 6076 6183 6168 1 6182 6113 6061 6134 6185 6187 6187 6012 6152 6151 6161 6179 1 6187 6034 6188 6188 6188 6053 6188 6100 6167 6145 6137 6129 1 6086 6187 6182 5989 6180 6188 6120 6186 6065 6165 6179 6177 1 6024 6127 6188 6188 6177 6160 6186 6000 6167 6187 6187 6113 1 6187 6187 6012 6182 6186 6186 6172 6186 6099 6059 6063 6185 1 6117 6181 6188 6175 6030 6167 6188 6188 6109 6177 6182 6002 1 6186 6026 6159 6188 6188 6188 6186 6017 6147 6100 6132 6187 true m=7 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 18473 18556 18390 18564 18432 18411 18564 18564 18475 18557 18551 18475 1 18551 18557 18564 18541 18564 18563 18556 18254 18513 18315 18540 18494 1 18558 18561 18464 18564 18414 18517 18560 18563 18530 18273 18556 18452 1 18506 18348 18564 18395 18564 18564 18564 18538 18328 18563 18542 18536 1 18515 18543 18362 18564 18562 18564 18421 18564 18468 18557 18332 18560 1 18534 18562 18564 18548 18550 18433 18564 18330 18514 18299 18564 18550 1 18356 18563 18564 18398 18555 18564 18564 18335 18536 18562 18539 18476 1 18563 18508 18540 18564 18564 18302 18522 18563 18415 18347 18562 18562 1 18382 18538 18564 18539 18561 18285 18564 18564 18534 18509 18550 18422 1 18562 18561 18330 18563 18562 18564 18405 18437 18513 18497 18482 18536 1 18563 18551 18557 18557 18263 18557 18551 18563 18389 18395 18539 18527 1 18288 18556 18551 18550 18564 18545 18557 18278 18536 18539 18539 18509 1 18561 18557 18303 18564 18557 18562 18564 18391 18498 18360 18557 18538 1 18497 18452 18564 18335 18564 18544 18522 18564 18473 18563 18376 18558 1 18563 18305 18550 18564 18563 18564 18343 18561 18420 18506 18535 18538 1 18375 18563 18563 18484 18562 18303 18564 18527 18536 18534 18559 18442 1 18415 18535 18564 18564 18264 18564 18564 18531 18402 18522 18564 18523 1 18556 18561 18480 18403 18564 18564 18506 18561 18500 18515 18258 18544 1 18272 18557 18557 18545 18539 18539 18557 18563 18518 18563 18545 18257 1 18563 18411 18552 18556 18560 18557 18543 18381 18490 18274 18562 18563 1 18563 18382 18562 18564 18398 18564 18421 18462 18515 18503 18521 18557 1 18423 18557 18563 18291 18564 18470 18564 18564 18389 18551 18556 18520 1 18509 18326 18562 18564 18564 18551 18362 18564 18535 18563 18493 18419 1 18560 18563 18556 18507 18448 18563 18563 18313 18510 18311 18563 18555 1 18550 18564 18564 18538 18562 18293 18562 18546 18442 18503 18345 18543 1 18515 18283 18520 18564 18564 18564 18549 18529 18517 18531 18564 18312 1 18563 18308 18563 18555 18564 18564 18562 18428 18436 18355 18551 18563 1 18356 18563 18561 18563 18462 18345 18542 18563 18530 18562 18558 18407 1 18563 18293 18564 18564 18545 18564 18564 18342 18530 18492 18526 18465 1 18323 18563 18562 18528 18563 18522 18280 18563 18467 18551 18545 18545 1 18543 18562 18400 18563 18564 18320 18560 18554 18431 18402 18562 18551 1 18504 18309 18564 18549 18545 18564 18557 18532 18535 18562 18314 18477 1 18432 18562 18340 18564 18525 18561 18561 18311 18515 18563 18533 18545 1 18560 18372 18564 18472 18564 18564 18561 18564 18484 18284 18548 18475 1 18561 18416 18558 18564 18562 18439 18564 18537 18530 18273 18555 18453 1 18425 18563 18547 18329 18460 18564 18559 18562 18362 18563 18519 18559 1 18561 18517 18564 18332 18563 18555 18564 18539 18536 18487 18311 18483 1 18473 18556 18318 18564 18550 18557 18329 18551 18473 18551 18539 18551 1 18511 18564 18465 18564 18564 18305 18562 18560 18452 18556 18392 18517 1 18560 18385 18564 18545 18489 18564 18515 18451 18514 18304 18564 18557 1 18339 18564 18564 18564 18558 18364 18560 18564 18416 18416 18559 18544 1 18557 18462 18377 18498 18561 18563 18563 18317 18515 18514 18531 18554 1 18563 18346 18564 18564 18564 18369 18564 18443 18536 18507 18503 18489 1 18424 18563 18557 18278 18555 18564 18480 18562 18388 18536 18554 18551 1 18327 18489 18564 18564 18551 18532 18562 18292 18536 18563 18563 18469 1 18563 18563 18315 18558 18562 18562 18548 18562 18448 18387 18383 18561 1 18467 18556 18564 18549 18338 18543 18564 18564 18460 18551 18557 18299 1 18563 18336 18529 18564 18564 18564 18563 18311 18509 18450 18496 18563 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 18473 18556 18390 18564 18432 18411 18564 18564 18475 18557 18551 18475 1 18551 18557 18564 18541 18564 18563 18556 18254 18513 18315 18540 18494 1 18558 18561 18464 18564 18414 18517 18560 18563 18530 18273 18556 18452 1 18506 18348 18564 18395 18564 18564 18564 18538 18328 18563 18542 18536 1 18515 18543 18362 18564 18562 18564 18421 18564 18468 18557 18332 18560 1 18534 18562 18564 18548 18550 18433 18564 18330 18514 18299 18564 18550 1 18356 18563 18564 18398 18555 18564 18564 18335 18536 18562 18539 18476 1 18563 18508 18540 18564 18564 18302 18522 18563 18415 18347 18562 18562 1 18382 18538 18564 18539 18561 18285 18564 18564 18534 18509 18550 18422 1 18562 18561 18330 18563 18562 18564 18405 18437 18513 18497 18482 18536 1 18563 18551 18557 18557 18263 18557 18551 18563 18389 18395 18539 18527 1 18288 18556 18551 18550 18564 18545 18557 18278 18536 18539 18539 18509 1 18561 18557 18303 18564 18557 18562 18564 18391 18498 18360 18557 18538 1 18497 18452 18564 18335 18564 18544 18522 18564 18473 18563 18376 18558 1 18563 18305 18550 18564 18563 18564 18343 18561 18420 18506 18535 18538 1 18375 18563 18563 18484 18562 18303 18564 18527 18536 18534 18559 18442 1 18415 18535 18564 18564 18264 18564 18564 18531 18402 18522 18564 18523 1 18556 18561 18480 18403 18564 18564 18506 18561 18500 18515 18258 18544 1 18272 18557 18557 18545 18539 18539 18557 18563 18518 18563 18545 18257 1 18563 18411 18552 18556 18560 18557 18543 18381 18490 18274 18562 18563 1 18563 18382 18562 18564 18398 18564 18421 18462 18515 18503 18521 18557 1 18423 18557 18563 18291 18564 18470 18564 18564 18389 18551 18556 18520 1 18509 18326 18562 18564 18564 18551 18362 18564 18535 18563 18493 18419 1 18560 18563 18556 18507 18448 18563 18563 18313 18510 18311 18563 18555 1 18550 18564 18564 18538 18562 18293 18562 18546 18442 18503 18345 18543 1 18515 18283 18520 18564 18564 18564 18549 18529 18517 18531 18564 18312 1 18563 18308 18563 18555 18564 18564 18562 18428 18436 18355 18551 18563 1 18356 18563 18561 18563 18462 18345 18542 18563 18530 18562 18558 18407 1 18563 18293 18564 18564 18545 18564 18564 18342 18530 18492 18526 18465 1 18323 18563 18562 18528 18563 18522 18280 18563 18467 18551 18545 18545 1 18543 18562 18400 18563 18564 18320 18560 18554 18431 18402 18562 18551 1 18504 18309 18564 18549 18545 18564 18557 18532 18535 18562 18314 18477 1 18432 18562 18340 18564 18525 18561 18561 18311 18515 18563 18533 18545 1 18560 18372 18564 18472 18564 18564 18561 18564 18484 18284 18548 18475 1 18561 18416 18558 18564 18562 18439 18564 18537 18530 18273 18555 18453 1 18425 18563 18547 18329 18460 18564 18559 18562 18362 18563 18519 18559 1 18561 18517 18564 18332 18563 18555 18564 18539 18536 18487 18311 18483 1 18473 18556 18318 18564 18550 18557 18329 18551 18473 18551 18539 18551 1 18511 18564 18465 18564 18564 18305 18562 18560 18452 18556 18392 18517 1 18560 18385 18564 18545 18489 18564 18515 18451 18514 18304 18564 18557 1 18339 18564 18564 18564 18558 18364 18560 18564 18416 18416 18559 18544 1 18557 18462 18377 18498 18561 18563 18563 18317 18515 18514 18531 18554 1 18563 18346 18564 18564 18564 18369 18564 18443 18536 18507 18503 18489 1 18424 18563 18557 18278 18555 18564 18480 18562 18388 18536 18554 18551 1 18327 18489 18564 18564 18551 18532 18562 18292 18536 18563 18563 18469 1 18563 18563 18315 18558 18562 18562 18548 18562 18448 18387 18383 18561 1 18467 18556 18564 18549 18338 18543 18564 18564 18460 18551 18557 18299 1 18563 18336 18529 18564 18564 18564 18563 18311 18509 18450 18496 18563 true m=8 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 50268 50379 50157 50388 50215 50180 50388 50388 50266 50380 50373 50282 1 50373 50380 50388 50362 50388 50387 50379 49970 50322 50049 50360 50306 1 50382 50385 50268 50388 50177 50333 50384 50387 50345 49996 50379 50240 1 50314 50089 50388 50177 50388 50388 50388 50362 50065 50387 50365 50353 1 50324 50366 50113 50388 50386 50388 50203 50388 50267 50380 50077 50384 1 50354 50386 50388 50372 50372 50229 50388 50063 50323 50029 50388 50372 1 50115 50387 50388 50159 50379 50388 50388 50081 50352 50386 50363 50278 1 50387 50323 50361 50388 50388 50027 50339 50387 50193 50099 50386 50386 1 50141 50358 50388 50359 50385 50010 50388 50388 50350 50324 50372 50201 1 50386 50385 50079 50387 50386 50388 50170 50224 50322 50303 50279 50355 1 50387 50373 50380 50380 49981 50380 50373 50387 50156 50163 50359 50345 1 50017 50379 50373 50372 50388 50366 50380 50002 50352 50359 50359 50317 1 50385 50380 50041 50388 50381 50386 50388 50155 50307 50115 50380 50358 1 50303 50237 50388 50082 50388 50365 50339 50388 50271 50387 50134 50382 1 50387 50042 50372 50388 50387 50388 50084 50385 50204 50314 50354 50359 1 50134 50387 50387 50292 50386 50032 50388 50345 50352 50353 50383 50225 1 50187 50355 50388 50388 49980 50388 50388 50350 50173 50339 50388 50340 1 50379 50385 50288 50164 50388 50388 50321 50385 50303 50324 49974 50365 1 49995 50380 50380 50366 50359 50359 50380 50387 50331 50387 50366 49974 1 50387 50179 50376 50380 50384 50380 50364 50147 50294 50000 50386 50387 1 50387 50146 50386 50388 50161 50388 50200 50255 50324 50311 50338 50380 1 50203 50380 50387 50014 50388 50277 50388 50388 50148 50373 50379 50339 1 50317 50064 50386 50388 50388 50373 50110 50388 50351 50387 50305 50207 1 50384 50387 50379 50322 50246 50387 50387 50042 50319 50046 50387 50378 1 50372 50388 50388 50358 50386 50023 50386 50367 50225 50310 50097 50364 1 50324 50007 50338 50388 50388 50388 50371 50347 50330 50350 50388 50045 1 50387 50047 50387 50379 50388 50388 50386 50210 50231 50100 50374 50387 1 50111 50387 50385 50387 50265 50083 50363 50387 50345 50386 50382 50183 1 50387 50020 50388 50388 50366 50388 50388 50088 50346 50298 50344 50263 1 50065 50387 50386 50346 50387 50339 50001 50387 50261 50373 50366 50366 1 50364 50386 50163 50387 50388 50062 50384 50377 50212 50182 50386 50373 1 50311 50045 50388 50371 50366 50388 50380 50351 50351 50386 50051 50276 1 50219 50386 50079 50388 50343 50385 50385 50050 50324 50387 50352 50366 1 50384 50127 50388 50279 50388 50388 50385 50388 50290 50008 50370 50269 1 50385 50195 50382 50388 50386 50222 50388 50358 50345 49995 50378 50242 1 50205 50387 50369 50061 50262 50388 50383 50386 50118 50387 50335 50383 1 50385 50334 50388 50078 50387 50378 50388 50359 50352 50291 50041 50283 1 50268 50379 50059 50388 50372 50380 50072 50373 50268 50373 50359 50373 1 50320 50388 50253 50388 50388 50041 50386 50384 50237 50379 50165 50335 1 50384 50144 50388 50367 50297 50388 50331 50239 50323 50035 50388 50380 1 50088 50388 50388 50388 50382 50110 50384 50388 50193 50204 50383 50368 1 50380 50255 50129 50310 50385 50387 50387 50058 50324 50323 50349 50377 1 50387 50096 50388 50388 50388 50121 50388 50229 50352 50315 50317 50295 1 50204 50387 50380 49999 50378 50388 50288 50386 50149 50355 50377 50373 1 50064 50299 50388 50388 50373 50352 50386 50017 50352 50387 50387 50271 1 50387 50387 50054 50382 50386 50386 50372 50386 50243 50156 50140 50385 1 50261 50379 50388 50371 50084 50366 50388 50388 50260 50373 50380 50026 1 50387 50081 50347 50388 50388 50388 50388 50037 50317 50246 50310 50387 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 50268 50379 50157 50388 50215 50180 50388 50388 50266 50380 50373 50282 1 50373 50380 50388 50362 50388 50387 50379 49970 50322 50049 50360 50306 1 50382 50385 50268 50388 50177 50333 50384 50387 50345 49996 50379 50240 1 50314 50089 50388 50177 50388 50388 50388 50362 50065 50387 50365 50353 1 50324 50366 50113 50388 50386 50388 50203 50388 50267 50380 50077 50384 1 50354 50386 50388 50372 50372 50229 50388 50063 50323 50029 50388 50372 1 50115 50387 50388 50159 50379 50388 50388 50081 50352 50386 50363 50278 1 50387 50323 50361 50388 50388 50027 50339 50387 50193 50099 50386 50386 1 50141 50358 50388 50359 50385 50010 50388 50388 50350 50324 50372 50201 1 50386 50385 50079 50387 50386 50388 50170 50224 50322 50303 50279 50355 1 50387 50373 50380 50380 49981 50380 50373 50387 50156 50163 50359 50345 1 50017 50379 50373 50372 50388 50366 50380 50002 50352 50359 50359 50317 1 50385 50380 50041 50388 50381 50386 50388 50155 50307 50115 50380 50358 1 50303 50237 50388 50082 50388 50365 50339 50388 50271 50387 50134 50382 1 50387 50042 50372 50388 50387 50388 50084 50385 50204 50314 50354 50359 1 50134 50387 50387 50292 50386 50032 50388 50345 50352 50353 50383 50225 1 50187 50355 50388 50388 49980 50388 50388 50350 50173 50339 50388 50340 1 50379 50385 50288 50164 50388 50388 50321 50385 50303 50324 49974 50365 1 49995 50380 50380 50366 50359 50359 50380 50387 50331 50387 50366 49974 1 50387 50179 50376 50380 50384 50380 50364 50147 50294 50000 50386 50387 1 50387 50146 50386 50388 50161 50388 50200 50255 50324 50311 50338 50380 1 50203 50380 50387 50014 50388 50277 50388 50388 50148 50373 50379 50339 1 50317 50064 50386 50388 50388 50373 50110 50388 50351 50387 50305 50207 1 50384 50387 50379 50322 50246 50387 50387 50042 50319 50046 50387 50378 1 50372 50388 50388 50358 50386 50023 50386 50367 50225 50310 50097 50364 1 50324 50007 50338 50388 50388 50388 50371 50347 50330 50350 50388 50045 1 50387 50047 50387 50379 50388 50388 50386 50210 50231 50100 50374 50387 1 50111 50387 50385 50387 50265 50083 50363 50387 50345 50386 50382 50183 1 50387 50020 50388 50388 50366 50388 50388 50088 50346 50298 50344 50263 1 50065 50387 50386 50346 50387 50339 50001 50387 50261 50373 50366 50366 1 50364 50386 50163 50387 50388 50062 50384 50377 50212 50182 50386 50373 1 50311 50045 50388 50371 50366 50388 50380 50351 50351 50386 50051 50276 1 50219 50386 50079 50388 50343 50385 50385 50050 50324 50387 50352 50366 1 50384 50127 50388 50279 50388 50388 50385 50388 50290 50008 50370 50269 1 50385 50195 50382 50388 50386 50222 50388 50358 50345 49995 50378 50242 1 50205 50387 50369 50061 50262 50388 50383 50386 50118 50387 50335 50383 1 50385 50334 50388 50078 50387 50378 50388 50359 50352 50291 50041 50283 1 50268 50379 50059 50388 50372 50380 50072 50373 50268 50373 50359 50373 1 50320 50388 50253 50388 50388 50041 50386 50384 50237 50379 50165 50335 1 50384 50144 50388 50367 50297 50388 50331 50239 50323 50035 50388 50380 1 50088 50388 50388 50388 50382 50110 50384 50388 50193 50204 50383 50368 1 50380 50255 50129 50310 50385 50387 50387 50058 50324 50323 50349 50377 1 50387 50096 50388 50388 50388 50121 50388 50229 50352 50315 50317 50295 1 50204 50387 50380 49999 50378 50388 50288 50386 50149 50355 50377 50373 1 50064 50299 50388 50388 50373 50352 50386 50017 50352 50387 50387 50271 1 50387 50387 50054 50382 50386 50386 50372 50386 50243 50156 50140 50385 1 50261 50379 50388 50371 50084 50366 50388 50388 50260 50373 50380 50026 1 50387 50081 50347 50388 50388 50388 50388 50037 50317 50246 50310 50387 true m=9 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 125817 125960 125674 125970 125750 125699 125970 125970 125809 125961 125953 125847 1 125953 125961 125970 125941 125970 125969 125960 125428 125887 125527 125938 125876 1 125964 125967 125830 125970 125687 125907 125966 125969 125917 125462 125960 125781 1 125878 125572 125970 125717 125970 125970 125970 125944 125546 125969 125946 125928 1 125889 125947 125612 125970 125968 125970 125737 125970 125822 125961 125568 125966 1 125932 125968 125970 125954 125952 125783 125970 125538 125888 125503 125970 125952 1 125626 125969 125970 125664 125961 125970 125970 125576 125925 125968 125945 125836 1 125969 125896 125940 125970 125970 125494 125914 125969 125723 125599 125968 125968 1 125648 125936 125970 125937 125967 125478 125970 125970 125923 125897 125952 125732 1 125968 125967 125576 125969 125968 125970 125683 125765 125887 125865 125830 125932 1 125969 125953 125961 125961 125441 125961 125953 125969 125673 125681 125937 125921 1 125490 125960 125953 125952 125970 125945 125961 125469 125925 125937 125937 125881 1 125967 125961 125524 125970 125963 125968 125970 125666 125872 125621 125961 125937 1 125865 125774 125970 125576 125970 125944 125914 125970 125824 125969 125640 125964 1 125969 125525 125952 125970 125969 125970 125569 125967 125742 125878 125931 125938 1 125641 125969 125969 125858 125968 125504 125970 125921 125925 125930 125965 125760 1 125709 125933 125970 125970 125438 125970 125970 125927 125694 125914 125970 125915 1 125960 125967 125854 125672 125970 125970 125894 125967 125861 125889 125432 125944 1 125461 125961 125961 125945 125937 125937 125961 125969 125901 125969 125945 125433 1 125969 125701 125958 125962 125966 125962 125943 125658 125854 125470 125968 125969 1 125969 125660 125968 125970 125672 125970 125731 125802 125889 125875 125913 125961 1 125735 125961 125969 125479 125970 125842 125970 125970 125655 125953 125960 125916 1 125881 125548 125968 125970 125970 125953 125603 125970 125924 125969 125875 125749 1 125966 125969 125960 125895 125802 125969 125969 125513 125884 125525 125969 125959 1 125952 125970 125970 125936 125968 125497 125968 125946 125760 125873 125597 125943 1 125889 125474 125914 125970 125970 125970 125951 125923 125900 125927 125970 125522 1 125969 125533 125969 125961 125970 125970 125968 125745 125782 125589 125955 125969 1 125614 125969 125967 125969 125826 125564 125942 125969 125917 125968 125964 125711 1 125969 125491 125970 125970 125945 125970 125970 125579 125919 125860 125920 125817 1 125553 125969 125968 125922 125969 125914 125464 125969 125809 125953 125945 125945 1 125943 125968 125674 125969 125970 125550 125966 125958 125745 125716 125968 125953 1 125874 125526 125970 125951 125945 125970 125961 125928 125924 125968 125533 125830 1 125760 125968 125562 125970 125919 125967 125967 125535 125889 125969 125929 125945 1 125966 125629 125970 125844 125970 125970 125967 125970 125853 125475 125950 125816 1 125967 125727 125964 125970 125968 125756 125970 125938 125917 125460 125959 125784 1 125737 125969 125949 125535 125822 125970 125965 125968 125622 125969 125909 125965 1 125967 125909 125970 125571 125969 125959 125970 125937 125925 125851 125514 125838 1 125817 125960 125546 125970 125952 125961 125561 125953 125817 125953 125937 125953 1 125885 125970 125791 125970 125970 125523 125968 125966 125774 125960 125692 125911 1 125966 125650 125970 125947 125863 125970 125905 125780 125888 125510 125970 125961 1 125585 125970 125970 125970 125964 125598 125966 125970 125722 125750 125965 125950 1 125961 125802 125627 125880 125967 125969 125969 125545 125889 125888 125925 125958 1 125969 125594 125970 125970 125970 125619 125970 125768 125925 125879 125889 125857 1 125736 125969 125961 125462 125959 125970 125854 125968 125658 125932 125958 125953 1 125545 125867 125970 125970 125953 125930 125968 125485 125925 125969 125969 125829 1 125969 125969 125539 125964 125968 125968 125954 125968 125794 125676 125644 125967 1 125809 125960 125970 125951 125577 125947 125970 125970 125817 125953 125961 125495 1 125969 125570 125923 125970 125970 125970 125970 125506 125881 125798 125884 125969 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 125817 125960 125674 125970 125750 125699 125970 125970 125809 125961 125953 125847 1 125953 125961 125970 125941 125970 125969 125960 125428 125887 125527 125938 125876 1 125964 125967 125830 125970 125687 125907 125966 125969 125917 125462 125960 125781 1 125878 125572 125970 125717 125970 125970 125970 125944 125546 125969 125946 125928 1 125889 125947 125612 125970 125968 125970 125737 125970 125822 125961 125568 125966 1 125932 125968 125970 125954 125952 125783 125970 125538 125888 125503 125970 125952 1 125626 125969 125970 125664 125961 125970 125970 125576 125925 125968 125945 125836 1 125969 125896 125940 125970 125970 125494 125914 125969 125723 125599 125968 125968 1 125648 125936 125970 125937 125967 125478 125970 125970 125923 125897 125952 125732 1 125968 125967 125576 125969 125968 125970 125683 125765 125887 125865 125830 125932 1 125969 125953 125961 125961 125441 125961 125953 125969 125673 125681 125937 125921 1 125490 125960 125953 125952 125970 125945 125961 125469 125925 125937 125937 125881 1 125967 125961 125524 125970 125963 125968 125970 125666 125872 125621 125961 125937 1 125865 125774 125970 125576 125970 125944 125914 125970 125824 125969 125640 125964 1 125969 125525 125952 125970 125969 125970 125569 125967 125742 125878 125931 125938 1 125641 125969 125969 125858 125968 125504 125970 125921 125925 125930 125965 125760 1 125709 125933 125970 125970 125438 125970 125970 125927 125694 125914 125970 125915 1 125960 125967 125854 125672 125970 125970 125894 125967 125861 125889 125432 125944 1 125461 125961 125961 125945 125937 125937 125961 125969 125901 125969 125945 125433 1 125969 125701 125958 125962 125966 125962 125943 125658 125854 125470 125968 125969 1 125969 125660 125968 125970 125672 125970 125731 125802 125889 125875 125913 125961 1 125735 125961 125969 125479 125970 125842 125970 125970 125655 125953 125960 125916 1 125881 125548 125968 125970 125970 125953 125603 125970 125924 125969 125875 125749 1 125966 125969 125960 125895 125802 125969 125969 125513 125884 125525 125969 125959 1 125952 125970 125970 125936 125968 125497 125968 125946 125760 125873 125597 125943 1 125889 125474 125914 125970 125970 125970 125951 125923 125900 125927 125970 125522 1 125969 125533 125969 125961 125970 125970 125968 125745 125782 125589 125955 125969 1 125614 125969 125967 125969 125826 125564 125942 125969 125917 125968 125964 125711 1 125969 125491 125970 125970 125945 125970 125970 125579 125919 125860 125920 125817 1 125553 125969 125968 125922 125969 125914 125464 125969 125809 125953 125945 125945 1 125943 125968 125674 125969 125970 125550 125966 125958 125745 125716 125968 125953 1 125874 125526 125970 125951 125945 125970 125961 125928 125924 125968 125533 125830 1 125760 125968 125562 125970 125919 125967 125967 125535 125889 125969 125929 125945 1 125966 125629 125970 125844 125970 125970 125967 125970 125853 125475 125950 125816 1 125967 125727 125964 125970 125968 125756 125970 125938 125917 125460 125959 125784 1 125737 125969 125949 125535 125822 125970 125965 125968 125622 125969 125909 125965 1 125967 125909 125970 125571 125969 125959 125970 125937 125925 125851 125514 125838 1 125817 125960 125546 125970 125952 125961 125561 125953 125817 125953 125937 125953 1 125885 125970 125791 125970 125970 125523 125968 125966 125774 125960 125692 125911 1 125966 125650 125970 125947 125863 125970 125905 125780 125888 125510 125970 125961 1 125585 125970 125970 125970 125964 125598 125966 125970 125722 125750 125965 125950 1 125961 125802 125627 125880 125967 125969 125969 125545 125889 125888 125925 125958 1 125969 125594 125970 125970 125970 125619 125970 125768 125925 125879 125889 125857 1 125736 125969 125961 125462 125959 125970 125854 125968 125658 125932 125958 125953 1 125545 125867 125970 125970 125953 125930 125968 125485 125925 125969 125969 125829 1 125969 125969 125539 125964 125968 125968 125954 125968 125794 125676 125644 125967 1 125809 125960 125970 125951 125577 125947 125970 125970 125817 125953 125961 125495 1 125969 125570 125923 125970 125970 125970 125970 125506 125881 125798 125884 125969 true m=10 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 293740 293919 293561 293930 293657 293588 293930 293930 293724 293920 293911 293790 1 293911 293920 293930 293898 293930 293929 293919 293248 293828 293369 293894 293824 1 293924 293927 293770 293930 293564 293859 293926 293929 293866 293291 293919 293695 1 293818 293417 293930 293635 293930 293930 293930 293904 293391 293929 293905 293881 1 293830 293906 293478 293930 293928 293930 293649 293930 293752 293920 293421 293926 1 293888 293928 293930 293914 293910 293715 293930 293375 293829 293341 293930 293910 1 293509 293929 293930 293533 293921 293930 293930 293440 293875 293928 293905 293770 1 293929 293847 293897 293930 293930 293323 293867 293929 293625 293467 293928 293928 1 293523 293892 293930 293893 293927 293309 293930 293930 293873 293848 293910 293635 1 293928 293927 293441 293929 293928 293930 293564 293680 293828 293803 293755 293887 1 293929 293911 293920 293920 293263 293920 293911 293929 293560 293569 293893 293875 1 293327 293919 293911 293910 293930 293902 293920 293299 293875 293893 293893 293821 1 293927 293920 293372 293930 293923 293928 293930 293544 293813 293498 293920 293895 1 293803 293683 293930 293437 293930 293901 293867 293930 293752 293929 293514 293924 1 293929 293374 293910 293930 293929 293930 293418 293927 293654 293818 293886 293895 1 293516 293929 293929 293802 293928 293339 293930 293875 293875 293885 293925 293667 1 293601 293889 293930 293930 293258 293930 293930 293882 293585 293867 293930 293868 1 293919 293927 293798 293547 293930 293930 293845 293927 293794 293830 293252 293901 1 293290 293920 293920 293902 293893 293893 293920 293929 293848 293929 293902 293254 1 293929 293590 293918 293922 293926 293922 293900 293542 293790 293304 293928 293929 1 293929 293544 293928 293930 293551 293930 293634 293723 293830 293815 293866 293920 1 293639 293920 293929 293306 293930 293785 293930 293930 293530 293911 293919 293871 1 293821 293398 293928 293930 293930 293911 293461 293930 293874 293929 293823 293665 1 293926 293929 293919 293846 293736 293929 293929 293346 293825 293368 293929 293918 1 293910 293930 293930 293892 293928 293335 293928 293903 293667 293812 293465 293900 1 293830 293304 293868 293930 293930 293930 293909 293877 293847 293882 293930 293363 1 293929 293386 293929 293921 293930 293930 293928 293653 293709 293442 293914 293929 1 293485 293929 293927 293929 293765 293408 293899 293929 293866 293928 293924 293611 1 293929 293326 293930 293930 293902 293930 293930 293435 293869 293798 293874 293747 1 293407 293929 293928 293876 293929 293867 293289 293929 293731 293911 293902 293902 1 293900 293928 293553 293929 293930 293404 293926 293917 293650 293624 293928 293911 1 293813 293372 293930 293909 293902 293930 293920 293883 293874 293928 293380 293759 1 293675 293928 293409 293930 293873 293927 293927 293386 293830 293929 293884 293902 1 293926 293498 293930 293787 293930 293930 293927 293930 293793 293305 293908 293736 1 293927 293632 293924 293930 293928 293661 293930 293897 293866 293288 293918 293699 1 293641 293929 293907 293371 293760 293930 293925 293928 293494 293929 293861 293925 1 293927 293862 293930 293431 293929 293918 293930 293893 293875 293787 293350 293768 1 293740 293919 293399 293930 293910 293920 293416 293911 293740 293911 293893 293911 1 293826 293930 293699 293930 293930 293371 293928 293926 293683 293919 293593 293865 1 293926 293523 293930 293905 293807 293930 293857 293694 293829 293349 293930 293920 1 293450 293930 293930 293930 293924 293448 293926 293930 293623 293674 293925 293910 1 293920 293723 293491 293828 293927 293929 293929 293398 293830 293829 293879 293917 1 293929 293460 293930 293930 293930 293483 293930 293680 293875 293819 293839 293795 1 293640 293929 293920 293287 293918 293930 293798 293928 293535 293887 293917 293911 1 293390 293813 293930 293930 293911 293886 293928 293316 293875 293929 293929 293763 1 293929 293929 293390 293924 293928 293928 293914 293928 293721 293567 293515 293927 1 293731 293919 293930 293909 293437 293906 293930 293930 293751 293911 293920 293326 1 293929 293423 293877 293930 293930 293930 293930 293339 293821 293726 293836 293929 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 293740 293919 293561 293930 293657 293588 293930 293930 293724 293920 293911 293790 1 293911 293920 293930 293898 293930 293929 293919 293248 293828 293369 293894 293824 1 293924 293927 293770 293930 293564 293859 293926 293929 293866 293291 293919 293695 1 293818 293417 293930 293635 293930 293930 293930 293904 293391 293929 293905 293881 1 293830 293906 293478 293930 293928 293930 293649 293930 293752 293920 293421 293926 1 293888 293928 293930 293914 293910 293715 293930 293375 293829 293341 293930 293910 1 293509 293929 293930 293533 293921 293930 293930 293440 293875 293928 293905 293770 1 293929 293847 293897 293930 293930 293323 293867 293929 293625 293467 293928 293928 1 293523 293892 293930 293893 293927 293309 293930 293930 293873 293848 293910 293635 1 293928 293927 293441 293929 293928 293930 293564 293680 293828 293803 293755 293887 1 293929 293911 293920 293920 293263 293920 293911 293929 293560 293569 293893 293875 1 293327 293919 293911 293910 293930 293902 293920 293299 293875 293893 293893 293821 1 293927 293920 293372 293930 293923 293928 293930 293544 293813 293498 293920 293895 1 293803 293683 293930 293437 293930 293901 293867 293930 293752 293929 293514 293924 1 293929 293374 293910 293930 293929 293930 293418 293927 293654 293818 293886 293895 1 293516 293929 293929 293802 293928 293339 293930 293875 293875 293885 293925 293667 1 293601 293889 293930 293930 293258 293930 293930 293882 293585 293867 293930 293868 1 293919 293927 293798 293547 293930 293930 293845 293927 293794 293830 293252 293901 1 293290 293920 293920 293902 293893 293893 293920 293929 293848 293929 293902 293254 1 293929 293590 293918 293922 293926 293922 293900 293542 293790 293304 293928 293929 1 293929 293544 293928 293930 293551 293930 293634 293723 293830 293815 293866 293920 1 293639 293920 293929 293306 293930 293785 293930 293930 293530 293911 293919 293871 1 293821 293398 293928 293930 293930 293911 293461 293930 293874 293929 293823 293665 1 293926 293929 293919 293846 293736 293929 293929 293346 293825 293368 293929 293918 1 293910 293930 293930 293892 293928 293335 293928 293903 293667 293812 293465 293900 1 293830 293304 293868 293930 293930 293930 293909 293877 293847 293882 293930 293363 1 293929 293386 293929 293921 293930 293930 293928 293653 293709 293442 293914 293929 1 293485 293929 293927 293929 293765 293408 293899 293929 293866 293928 293924 293611 1 293929 293326 293930 293930 293902 293930 293930 293435 293869 293798 293874 293747 1 293407 293929 293928 293876 293929 293867 293289 293929 293731 293911 293902 293902 1 293900 293928 293553 293929 293930 293404 293926 293917 293650 293624 293928 293911 1 293813 293372 293930 293909 293902 293930 293920 293883 293874 293928 293380 293759 1 293675 293928 293409 293930 293873 293927 293927 293386 293830 293929 293884 293902 1 293926 293498 293930 293787 293930 293930 293927 293930 293793 293305 293908 293736 1 293927 293632 293924 293930 293928 293661 293930 293897 293866 293288 293918 293699 1 293641 293929 293907 293371 293760 293930 293925 293928 293494 293929 293861 293925 1 293927 293862 293930 293431 293929 293918 293930 293893 293875 293787 293350 293768 1 293740 293919 293399 293930 293910 293920 293416 293911 293740 293911 293893 293911 1 293826 293930 293699 293930 293930 293371 293928 293926 293683 293919 293593 293865 1 293926 293523 293930 293905 293807 293930 293857 293694 293829 293349 293930 293920 1 293450 293930 293930 293930 293924 293448 293926 293930 293623 293674 293925 293910 1 293920 293723 293491 293828 293927 293929 293929 293398 293830 293829 293879 293917 1 293929 293460 293930 293930 293930 293483 293930 293680 293875 293819 293839 293795 1 293640 293929 293920 293287 293918 293930 293798 293928 293535 293887 293917 293911 1 293390 293813 293930 293930 293911 293886 293928 293316 293875 293929 293929 293763 1 293929 293929 293390 293924 293928 293928 293914 293928 293721 293567 293515 293927 1 293731 293919 293930 293909 293437 293906 293930 293930 293751 293911 293920 293326 1 293929 293423 293877 293930 293930 293930 293930 293339 293821 293726 293836 293929 true m=11 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 646415 646634 646196 646646 646314 646225 646646 646646 646389 646635 646625 646489 1 646625 646635 646646 646611 646646 646645 646634 645808 646523 645953 646606 646528 1 646640 646643 646466 646646 646186 646567 646642 646645 646570 645861 646634 646360 1 646512 646002 646646 646309 646646 646646 646646 646620 645978 646645 646620 646590 1 646525 646621 646089 646646 646644 646646 646317 646646 646435 646635 646014 646642 1 646600 646644 646646 646630 646624 646403 646646 645952 646524 645921 646646 646624 1 646142 646645 646646 646144 646637 646646 646646 646051 646580 646644 646621 646458 1 646645 646554 646610 646646 646646 645892 646576 646645 646277 646081 646644 646644 1 646144 646604 646646 646605 646643 645881 646646 646646 646578 646555 646624 646288 1 646644 646643 646052 646645 646644 646646 646191 646347 646523 646495 646432 646598 1 646645 646625 646635 646635 645825 646635 646625 646645 646195 646205 646605 646585 1 645906 646634 646625 646624 646646 646615 646635 645870 646580 646605 646605 646515 1 646643 646635 645965 646646 646639 646644 646646 646165 646508 646124 646636 646609 1 646495 646342 646646 646043 646646 646614 646576 646646 646433 646645 646134 646640 1 646645 645967 646624 646646 646645 646646 646009 646643 646318 646512 646597 646608 1 646137 646645 646645 646502 646644 645915 646646 646585 646580 646596 646641 646324 1 646241 646601 646646 646646 645818 646646 646646 646593 646224 646576 646646 646577 1 646634 646643 646498 646167 646646 646646 646552 646643 646480 646525 645812 646614 1 645860 646635 646635 646615 646605 646605 646635 646645 646550 646645 646615 645815 1 646645 646224 646634 646638 646642 646638 646613 646177 646480 645880 646644 646645 1 646645 646176 646644 646646 646176 646646 646287 646396 646525 646509 646575 646635 1 646293 646635 646645 645873 646646 646484 646646 646646 646151 646625 646634 646582 1 646515 645992 646644 646646 646646 646625 646062 646646 646579 646645 646527 646333 1 646642 646645 646634 646553 646426 646645 646645 645919 646520 645953 646645 646633 1 646624 646646 646646 646604 646644 645915 646644 646616 646324 646505 646079 646613 1 646525 645875 646578 646646 646646 646646 646623 646587 646549 646593 646646 645946 1 646645 645984 646645 646637 646646 646646 646644 646312 646390 646037 646629 646645 1 646102 646645 646643 646645 646460 645993 646612 646645 646570 646644 646640 646261 1 646645 645903 646646 646646 646615 646646 646646 646034 646574 646490 646584 646431 1 646005 646645 646644 646586 646645 646576 645854 646645 646405 646625 646615 646615 1 646613 646644 646178 646645 646646 646002 646642 646632 646305 646284 646644 646625 1 646506 645961 646646 646623 646615 646646 646635 646594 646579 646644 645970 646441 1 646342 646644 645998 646646 646583 646643 646643 645981 646525 646645 646595 646615 1 646642 646112 646646 646486 646646 646646 646643 646646 646488 645876 646622 646407 1 646643 646282 646640 646646 646644 646322 646646 646612 646570 645857 646633 646365 1 646295 646645 646621 645947 646454 646646 646641 646644 646112 646645 646569 646641 1 646643 646571 646646 646036 646645 646633 646646 646605 646580 646477 645927 646451 1 646415 646634 645996 646646 646624 646635 646015 646625 646415 646625 646605 646625 1 646521 646646 646355 646646 646646 645963 646644 646642 646342 646634 646246 646575 1 646642 646141 646646 646619 646507 646646 646565 646359 646524 645930 646646 646635 1 646061 646646 646646 646646 646640 646038 646642 646646 646274 646354 646641 646626 1 646635 646396 646099 646532 646643 646645 646645 645995 646525 646524 646589 646632 1 646645 646072 646646 646646 646646 646091 646646 646343 646580 646513 646545 646487 1 646294 646645 646635 645852 646633 646646 646498 646644 646158 646598 646632 646625 1 645977 646515 646646 646646 646625 646598 646644 645888 646580 646645 646645 646451 1 646645 646645 645985 646640 646644 646644 646630 646644 646402 646207 646131 646643 1 646405 646634 646646 646623 646042 646621 646646 646646 646440 646625 646635 645897 1 646645 646018 646587 646646 646646 646646 646646 645914 646515 646408 646544 646645 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 646415 646634 646196 646646 646314 646225 646646 646646 646389 646635 646625 646489 1 646625 646635 646646 646611 646646 646645 646634 645808 646523 645953 646606 646528 1 646640 646643 646466 646646 646186 646567 646642 646645 646570 645861 646634 646360 1 646512 646002 646646 646309 646646 646646 646646 646620 645978 646645 646620 646590 1 646525 646621 646089 646646 646644 646646 646317 646646 646435 646635 646014 646642 1 646600 646644 646646 646630 646624 646403 646646 645952 646524 645921 646646 646624 1 646142 646645 646646 646144 646637 646646 646646 646051 646580 646644 646621 646458 1 646645 646554 646610 646646 646646 645892 646576 646645 646277 646081 646644 646644 1 646144 646604 646646 646605 646643 645881 646646 646646 646578 646555 646624 646288 1 646644 646643 646052 646645 646644 646646 646191 646347 646523 646495 646432 646598 1 646645 646625 646635 646635 645825 646635 646625 646645 646195 646205 646605 646585 1 645906 646634 646625 646624 646646 646615 646635 645870 646580 646605 646605 646515 1 646643 646635 645965 646646 646639 646644 646646 646165 646508 646124 646636 646609 1 646495 646342 646646 646043 646646 646614 646576 646646 646433 646645 646134 646640 1 646645 645967 646624 646646 646645 646646 646009 646643 646318 646512 646597 646608 1 646137 646645 646645 646502 646644 645915 646646 646585 646580 646596 646641 646324 1 646241 646601 646646 646646 645818 646646 646646 646593 646224 646576 646646 646577 1 646634 646643 646498 646167 646646 646646 646552 646643 646480 646525 645812 646614 1 645860 646635 646635 646615 646605 646605 646635 646645 646550 646645 646615 645815 1 646645 646224 646634 646638 646642 646638 646613 646177 646480 645880 646644 646645 1 646645 646176 646644 646646 646176 646646 646287 646396 646525 646509 646575 646635 1 646293 646635 646645 645873 646646 646484 646646 646646 646151 646625 646634 646582 1 646515 645992 646644 646646 646646 646625 646062 646646 646579 646645 646527 646333 1 646642 646645 646634 646553 646426 646645 646645 645919 646520 645953 646645 646633 1 646624 646646 646646 646604 646644 645915 646644 646616 646324 646505 646079 646613 1 646525 645875 646578 646646 646646 646646 646623 646587 646549 646593 646646 645946 1 646645 645984 646645 646637 646646 646646 646644 646312 646390 646037 646629 646645 1 646102 646645 646643 646645 646460 645993 646612 646645 646570 646644 646640 646261 1 646645 645903 646646 646646 646615 646646 646646 646034 646574 646490 646584 646431 1 646005 646645 646644 646586 646645 646576 645854 646645 646405 646625 646615 646615 1 646613 646644 646178 646645 646646 646002 646642 646632 646305 646284 646644 646625 1 646506 645961 646646 646623 646615 646646 646635 646594 646579 646644 645970 646441 1 646342 646644 645998 646646 646583 646643 646643 645981 646525 646645 646595 646615 1 646642 646112 646646 646486 646646 646646 646643 646646 646488 645876 646622 646407 1 646643 646282 646640 646646 646644 646322 646646 646612 646570 645857 646633 646365 1 646295 646645 646621 645947 646454 646646 646641 646644 646112 646645 646569 646641 1 646643 646571 646646 646036 646645 646633 646646 646605 646580 646477 645927 646451 1 646415 646634 645996 646646 646624 646635 646015 646625 646415 646625 646605 646625 1 646521 646646 646355 646646 646646 645963 646644 646642 646342 646634 646246 646575 1 646642 646141 646646 646619 646507 646646 646565 646359 646524 645930 646646 646635 1 646061 646646 646646 646646 646640 646038 646642 646646 646274 646354 646641 646626 1 646635 646396 646099 646532 646643 646645 646645 645995 646525 646524 646589 646632 1 646645 646072 646646 646646 646646 646091 646646 646343 646580 646513 646545 646487 1 646294 646645 646635 645852 646633 646646 646498 646644 646158 646598 646632 646625 1 645977 646515 646646 646646 646625 646598 646644 645888 646580 646645 646645 646451 1 646645 646645 645985 646640 646644 646644 646630 646644 646402 646207 646131 646643 1 646405 646634 646646 646623 646042 646621 646646 646646 646440 646625 646635 645897 1 646645 646018 646587 646646 646646 646646 646646 645914 646515 646408 646544 646645 true