/* c40-20.ext in normaliz format */ amb_space 20 vertices 40 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 4 8 16 32 64 128 256 512 1024 2048 4096 8192 16384 32768 65536 131072 262144 524288 1048576 1 3 9 27 81 243 729 2187 6561 19683 59049 177147 531441 1594323 4782969 14348907 43046721 129140163 387420489 1162261467 3486784401 1 4 16 64 256 1024 4096 16384 65536 262144 1048576 4194304 16777216 67108864 268435456 1073741824 4294967296 17179869184 68719476736 274877906944 1099511627776 1 5 25 125 625 3125 15625 78125 390625 1953125 9765625 48828125 244140625 1220703125 6103515625 30517578125 152587890625 762939453125 3814697265625 19073486328125 95367431640625 1 6 36 216 1296 7776 46656 279936 1679616 10077696 60466176 362797056 2176782336 13060694016 78364164096 470184984576 2821109907456 16926659444736 101559956668416 609359740010496 3656158440062976 1 7 49 343 2401 16807 117649 823543 5764801 40353607 282475249 1977326743 13841287201 96889010407 678223072849 4747561509943 33232930569601 232630513987207 1628413597910449 11398895185373143 79792266297612001 1 8 64 512 4096 32768 262144 2097152 16777216 134217728 1073741824 8589934592 68719476736 549755813888 4398046511104 35184372088832 281474976710656 2251799813685248 18014398509481984 144115188075855872 1152921504606846976 1 9 81 729 6561 59049 531441 4782969 43046721 387420489 3486784401 31381059609 282429536481 2541865828329 22876792454961 205891132094649 1853020188851841 16677181699666569 150094635296999121 1350851717672992089 12157665459056928801 1 10 100 1000 10000 100000 1000000 10000000 100000000 1000000000 10000000000 100000000000 1000000000000 10000000000000 100000000000000 1000000000000000 10000000000000000 100000000000000000 1000000000000000000 10000000000000000000 100000000000000000000 1 11 121 1331 14641 161051 1771561 19487171 214358881 2357947691 25937424601 285311670611 3138428376721 34522712143931 379749833583241 4177248169415651 45949729863572161 505447028499293771 5559917313492231481 61159090448414546291 672749994932560009201 1 12 144 1728 20736 248832 2985984 35831808 429981696 5159780352 61917364224 743008370688 8916100448256 106993205379072 1283918464548864 15407021574586368 184884258895036416 2218611106740436992 26623333280885243904 319479999370622926848 3833759992447475122176 1 13 169 2197 28561 371293 4826809 62748517 815730721 10604499373 137858491849 1792160394037 23298085122481 302875106592253 3937376385699289 51185893014090757 665416609183179841 8650415919381337933 112455406951957393129 1461920290375446110677 19004963774880799438801 1 14 196 2744 38416 537824 7529536 105413504 1475789056 20661046784 289254654976 4049565169664 56693912375296 793714773254144 11112006825558016 155568095557812224 2177953337809371136 30491346729331195904 426878854210636742656 5976303958948914397184 83668255425284801560576 1 15 225 3375 50625 759375 11390625 170859375 2562890625 38443359375 576650390625 8649755859375 129746337890625 1946195068359375 29192926025390625 437893890380859375 6568408355712890625 98526125335693359375 1477891880035400390625 22168378200531005859375 332525673007965087890625 1 16 256 4096 65536 1048576 16777216 268435456 4294967296 68719476736 1099511627776 17592186044416 281474976710656 4503599627370496 72057594037927936 1152921504606846976 18446744073709551616 295147905179352825856 4722366482869645213696 75557863725914323419136 1208925819614629174706176 1 17 289 4913 83521 1419857 24137569 410338673 6975757441 118587876497 2015993900449 34271896307633 582622237229761 9904578032905937 168377826559400929 2862423051509815793 48661191875666868481 827240261886336764177 14063084452067724991009 239072435685151324847153 4064231406647572522401601 1 18 324 5832 104976 1889568 34012224 612220032 11019960576 198359290368 3570467226624 64268410079232 1156831381426176 20822964865671168 374813367582081024 6746640616477458432 121439531096594251776 2185911559738696531968 39346408075296537575424 708235345355337676357632 12748236216396078174437376 1 19 361 6859 130321 2476099 47045881 893871739 16983563041 322687697779 6131066257801 116490258898219 2213314919066161 42052983462257059 799006685782884121 15181127029874798299 288441413567621167681 5480386857784802185939 104127350297911241532841 1978419655660313589123979 37589973457545958193355601 1 20 400 8000 160000 3200000 64000000 1280000000 25600000000 512000000000 10240000000000 204800000000000 4096000000000000 81920000000000000 1638400000000000000 32768000000000000000 655360000000000000000 13107200000000000000000 262144000000000000000000 5242880000000000000000000 104857600000000000000000000 1 21 441 9261 194481 4084101 85766121 1801088541 37822859361 794280046581 16679880978201 350277500542221 7355827511386641 154472377739119461 3243919932521508681 68122318582951682301 1430568690241985328321 30041942495081691894741 630880792396715529789561 13248496640331026125580781 278218429446951548637196401 1 22 484 10648 234256 5153632 113379904 2494357888 54875873536 1207269217792 26559922791424 584318301411328 12855002631049216 282810057883082752 6221821273427820544 136880068015412051968 3011361496339065143296 66249952919459433152512 1457498964228107529355264 32064977213018365645815808 705429498686404044207947776 1 23 529 12167 279841 6436343 148035889 3404825447 78310985281 1801152661463 41426511213649 952809757913927 21914624432020321 504036361936467383 11592836324538749809 266635235464391245607 6132610415680998648961 141050039560662968926103 3244150909895248285300369 74615470927590710561908487 1716155831334586342923895201 1 24 576 13824 331776 7962624 191102976 4586471424 110075314176 2641807540224 63403380965376 1521681143169024 36520347436056576 876488338465357824 21035720123168587776 504857282956046106624 12116574790945106558976 290797794982682557415424 6979147079584381377970176 167499529910025153071284224 4019988717840603673710821376 1 25 625 15625 390625 9765625 244140625 6103515625 152587890625 3814697265625 95367431640625 2384185791015625 59604644775390625 1490116119384765625 37252902984619140625 931322574615478515625 23283064365386962890625 582076609134674072265625 14551915228366851806640625 363797880709171295166015625 9094947017729282379150390625 1 26 676 17576 456976 11881376 308915776 8031810176 208827064576 5429503678976 141167095653376 3670344486987776 95428956661682176 2481152873203736576 64509974703297150976 1677259342285725925376 43608742899428874059776 1133827315385150725554176 29479510200013918864408576 766467265200361890474622976 19928148895209409152340197376 1 27 729 19683 531441 14348907 387420489 10460353203 282429536481 7625597484987 205891132094649 5559060566555523 150094635296999121 4052555153018976267 109418989131512359209 2954312706550833698643 79766443076872509863361 2153693963075557766310747 58149737003040059690390169 1570042899082081611640534563 42391158275216203514294433201 1 28 784 21952 614656 17210368 481890304 13492928512 377801998336 10578455953408 296196766695424 8293509467471872 232218265089212416 6502111422497947648 182059119829942534144 5097655355238390956032 142734349946674946768896 3996561798506898509529088 111903730358193158266814464 3133304450029408431470804992 87732524600823436081182539776 1 29 841 24389 707281 20511149 594823321 17249876309 500246412961 14507145975869 420707233300201 12200509765705829 353814783205469041 10260628712958602189 297558232675799463481 8629188747598184440949 250246473680347348787521 7257147736730073114838109 210457284365172120330305161 6103261246589991489578849669 176994576151109753197786640401 1 30 900 27000 810000 24300000 729000000 21870000000 656100000000 19683000000000 590490000000000 17714700000000000 531441000000000000 15943230000000000000 478296900000000000000 14348907000000000000000 430467210000000000000000 12914016300000000000000000 387420489000000000000000000 11622614670000000000000000000 348678440100000000000000000000 1 31 961 29791 923521 28629151 887503681 27512614111 852891037441 26439622160671 819628286980801 25408476896404831 787662783788549761 24417546297445042591 756943935220796320321 23465261991844685929951 727423121747185263828481 22550116774162743178682911 699053619999045038539170241 21670662219970396194714277471 671790528819082282036142601601 1 32 1024 32768 1048576 33554432 1073741824 34359738368 1099511627776 35184372088832 1125899906842624 36028797018963968 1152921504606846976 36893488147419103232 1180591620717411303424 37778931862957161709568 1208925819614629174706176 38685626227668133590597632 1237940039285380274899124224 39614081257132168796771975168 1267650600228229401496703205376 1 33 1089 35937 1185921 39135393 1291467969 42618442977 1406408618241 46411484401953 1531578985264449 50542106513726817 1667889514952984961 55040353993448503713 1816331681783800622529 59938945498865420543457 1977985201462558877934081 65273511648264442971824673 2154025884392726618070214209 71082854184959978396317068897 2345734188103679287078463273601 1 34 1156 39304 1336336 45435424 1544804416 52523350144 1785793904896 60716992766464 2064377754059776 70188843638032384 2386420683693101056 81138303245565435904 2758702310349224820736 93795878551873643905024 3189059870763703892770816 108428035605965932354207744 3686553210602841700043063296 125342809160496617801464152064 4261655511456885005249781170176 1 35 1225 42875 1500625 52521875 1838265625 64339296875 2251875390625 78815638671875 2758547353515625 96549157373046875 3379220508056640625 118272717781982421875 4139545122369384765625 144884079282928466796875 5070942774902496337890625 177482997121587371826171875 6211904899255558013916015625 217416671473944530487060546875 7609583501588058567047119140625 1 36 1296 46656 1679616 60466176 2176782336 78364164096 2821109907456 101559956668416 3656158440062976 131621703842267136 4738381338321616896 170581728179578208256 6140942214464815497216 221073919720733357899776 7958661109946400884391936 286511799958070431838109696 10314424798490535546171949056 371319292745659279662190166016 13367494538843734067838845976576 1 37 1369 50653 1874161 69343957 2565726409 94931877133 3512479453921 129961739795077 4808584372417849 177917621779460413 6582952005840035281 243569224216081305397 9012061295995008299689 333446267951815307088493 12337511914217166362274241 456487940826035155404146917 16890053810563300749953435929 624931990990842127748277129373 23122483666661158726686253786801 1 38 1444 54872 2085136 79235168 3010936384 114415582592 4347792138496 165216101262848 6278211847988224 238572050223552512 9065737908494995456 344498040522809827328 13090925539866773438464 497455170514937390661632 18903296479567620845142016 718325266223569592115396608 27296360116495644500385071104 1037261684426834491014632701952 39415944008219710658556042674176 1 39 1521 59319 2313441 90224199 3518743761 137231006679 5352009260481 208728361158759 8140406085191601 317475837322472439 12381557655576425121 482880748567480579719 18832349194131742609041 734461618571137961752599 28644003124274380508351361 1117116121846700839825703079 43567528752021332753202420081 1699133621328831977374894383159 66266211231824447117620880943201 1 40 1600 64000 2560000 102400000 4096000000 163840000000 6553600000000 262144000000000 10485760000000000 419430400000000000 16777216000000000000 671088640000000000000 26843545600000000000000 1073741824000000000000000 42949672960000000000000000 1717986918400000000000000000 68719476736000000000000000000 2748779069440000000000000000000 109951162777600000000000000000000 1 SupportHyperplanes