Magma V2.19-8 Wed Aug 21 2013 00:05:48 on localhost [Seed = 3170554412] Type ? for help. Type -D to quit. Loading file "K13n2150__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2150 geometric_solution 11.77215038 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.897674824883 0.630904736236 0 5 2 6 0132 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.010312052572 1.064155959483 1 0 8 7 2103 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.613503293221 0.130137356703 9 10 11 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.984825223178 1.160328840902 11 8 0 12 2310 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.459956978884 0.639003477622 9 1 6 9 2103 0132 2103 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 -1 -1 -2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.165762823193 0.898907675612 5 9 1 7 2103 2310 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -3 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.195304225127 1.065405723934 6 11 2 10 3120 3012 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.796718493551 1.089254028292 12 4 10 2 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.362226588333 0.872965761176 3 5 5 6 0132 2310 2103 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.165762823193 0.898907675612 7 3 12 8 3012 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563124891216 1.299084616208 7 12 4 3 1230 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.802401008748 0.723543836275 10 11 4 8 2103 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.512354025804 0.795295388037 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_10'], 'c_1001_11' : negation(d['c_0101_1']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_0011_6'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : negation(d['c_0011_11']), 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_0'], 'c_1001_8' : d['c_1001_12'], 'c_1010_12' : negation(d['c_0101_1']), 'c_1010_11' : d['c_1001_12'], 'c_1010_10' : d['c_1001_12'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0101_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_8'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : d['c_0101_8'], 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : negation(d['c_0101_7']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0101_8'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_4']), 'c_1100_10' : d['c_0101_8'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_1001_12'], 'c_1010_3' : negation(d['c_0011_11']), 'c_1010_2' : negation(d['c_0011_11']), 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_4']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_7'], 'c_0110_10' : d['c_0101_8'], 'c_0110_12' : negation(d['c_0101_8']), 'c_0101_12' : d['c_0101_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_7'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_7'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_6']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_7, c_0101_8, c_1001_12, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 993148374874173082558174548142345/254053345176052927469144835741602\ *c_1001_2^20 + 11177274989377177660818807279907705/1016213380704211\ 709876579342966408*c_1001_2^19 + 843661957370732716625031953213225/\ 44183190465400509125068667085496*c_1001_2^18 + 3486281579728634811140272666903299/44183190465400509125068667085496\ *c_1001_2^17 + 23450486469733823552213142125991229/2540533451760529\ 27469144835741602*c_1001_2^16 + 42239477162581358191035975743238221\ /508106690352105854938289671483204*c_1001_2^15 - 29053889904569524276533861495087145/1016213380704211709876579342966\ 408*c_1001_2^14 + 24686481434790442853987524321586087/5081066903521\ 05854938289671483204*c_1001_2^13 - 61155227666821646327749041453752642/1270266725880264637345724178708\ 01*c_1001_2^12 - 106479081322487661239451712750077967/1016213380704\ 211709876579342966408*c_1001_2^11 - 92113113535774785446050979322890405/2540533451760529274691448357416\ 02*c_1001_2^10 - 3046487388225604898926734909197727/236328693187025\ 97904106496348056*c_1001_2^9 + 53985985282144259296801070686250647/\ 254053345176052927469144835741602*c_1001_2^8 + 131756925299593356584409772167408041/101621338070421170987657934296\ 6408*c_1001_2^7 + 272945182412272708917038138657209393/101621338070\ 4211709876579342966408*c_1001_2^6 + 172445293577945813160217353937764413/101621338070421170987657934296\ 6408*c_1001_2^5 + 92650137852201247279311129639519615/1016213380704\ 211709876579342966408*c_1001_2^4 + 26311485121954341336133038131557225/5081066903521058549382896714832\ 04*c_1001_2^3 - 8554082617391520847417362127798257/5081066903521058\ 54938289671483204*c_1001_2^2 + 999740690329698194766953919713193/50\ 8106690352105854938289671483204*c_1001_2 - 2648070364306412622124080147863755/10162133807042117098765793429664\ 08, c_0011_0 - 1, c_0011_10 - 2980227230764000886/5965364405551402121*c_1001_2^20 - 6957494668147317065/5965364405551402121*c_1001_2^19 - 10671820765280950050/5965364405551402121*c_1001_2^18 - 53269013047532835730/5965364405551402121*c_1001_2^17 - 40563125821381109465/5965364405551402121*c_1001_2^16 - 28693508856891801678/5965364405551402121*c_1001_2^15 + 58458147019222241992/5965364405551402121*c_1001_2^14 - 27493898302258063060/5965364405551402121*c_1001_2^13 + 408936444723196953718/5965364405551402121*c_1001_2^12 - 85586754176960373747/5965364405551402121*c_1001_2^11 + 247678851442081934149/5965364405551402121*c_1001_2^10 - 52639720738100662480/5965364405551402121*c_1001_2^9 - 301589584950896101400/5965364405551402121*c_1001_2^8 - 41184919552785695097/5965364405551402121*c_1001_2^7 - 233843019410366686084/5965364405551402121*c_1001_2^6 - 21053064391162819111/5965364405551402121*c_1001_2^5 + 37294001437523824105/5965364405551402121*c_1001_2^4 + 20814030989085880473/5965364405551402121*c_1001_2^3 + 65218149767908625084/5965364405551402121*c_1001_2^2 + 10078343071085440823/5965364405551402121*c_1001_2 + 15468208286037835105/5965364405551402121, c_0011_11 + 63464881746644892/145496692818326881*c_1001_2^20 + 178888984996680725/145496692818326881*c_1001_2^19 + 320942640343071156/145496692818326881*c_1001_2^18 + 1325305946910944808/145496692818326881*c_1001_2^17 + 1588291763720354199/145496692818326881*c_1001_2^16 + 1614086576850477885/145496692818326881*c_1001_2^15 + 52394118330939174/145496692818326881*c_1001_2^14 + 1236951176892519925/145496692818326881*c_1001_2^13 - 7659349716589046176/145496692818326881*c_1001_2^12 - 1675893705084342784/145496692818326881*c_1001_2^11 - 6704727239012041003/145496692818326881*c_1001_2^10 - 4098955671559866274/145496692818326881*c_1001_2^9 + 2985272400859529765/145496692818326881*c_1001_2^8 + 582957594328135763/145496692818326881*c_1001_2^7 + 4283307343865187229/145496692818326881*c_1001_2^6 + 4082178294565811134/145496692818326881*c_1001_2^5 + 1640073267494268730/145496692818326881*c_1001_2^4 + 1862990244698475425/145496692818326881*c_1001_2^3 + 494641423373523364/145496692818326881*c_1001_2^2 + 303591933253412716/145496692818326881*c_1001_2 + 151744452939526803/145496692818326881, c_0011_4 + 2385423842068655213/5965364405551402121*c_1001_2^20 + 3973783074538973322/5965364405551402121*c_1001_2^19 + 4320534754339026787/5965364405551402121*c_1001_2^18 + 36127955394194902631/5965364405551402121*c_1001_2^17 + 3426284289928805124/5965364405551402121*c_1001_2^16 - 5690295994289274803/5965364405551402121*c_1001_2^15 - 61795293867093782171/5965364405551402121*c_1001_2^14 + 59262676117359887304/5965364405551402121*c_1001_2^13 - 328919670598694097845/5965364405551402121*c_1001_2^12 + 273756798929965778402/5965364405551402121*c_1001_2^11 - 184053011132592730469/5965364405551402121*c_1001_2^10 + 122797175847809373876/5965364405551402121*c_1001_2^9 + 216291780071593730494/5965364405551402121*c_1001_2^8 - 108609859049390291619/5965364405551402121*c_1001_2^7 + 98193033407329914019/5965364405551402121*c_1001_2^6 - 45071844652120231154/5965364405551402121*c_1001_2^5 - 46761643639450178037/5965364405551402121*c_1001_2^4 - 9162251924657749127/5965364405551402121*c_1001_2^3 - 33138171153490454083/5965364405551402121*c_1001_2^2 + 5010883292925412385/5965364405551402121*c_1001_2 - 7431538509438206932/5965364405551402121, c_0011_6 - 3237681912469006924/5965364405551402121*c_1001_2^20 - 11549887776975450262/5965364405551402121*c_1001_2^19 - 24576770041697758222/5965364405551402121*c_1001_2^18 - 83376912639120715653/5965364405551402121*c_1001_2^17 - 137024333454469732435/5965364405551402121*c_1001_2^16 - 168131606910101955143/5965364405551402121*c_1001_2^15 - 88117402782977048406/5965364405551402121*c_1001_2^14 - 79440333738676337979/5965364405551402121*c_1001_2^13 + 367572282315278699725/5965364405551402121*c_1001_2^12 + 366027905012749533781/5965364405551402121*c_1001_2^11 + 576901905447281952699/5965364405551402121*c_1001_2^10 + 466165804680277194342/5965364405551402121*c_1001_2^9 + 80266371639569894470/5965364405551402121*c_1001_2^8 - 125897947881332106696/5965364405551402121*c_1001_2^7 - 376137676256864105805/5965364405551402121*c_1001_2^6 - 391211326239643357509/5965364405551402121*c_1001_2^5 - 318138258817854741765/5965364405551402121*c_1001_2^4 - 194588002607326520180/5965364405551402121*c_1001_2^3 - 85413796707029123706/5965364405551402121*c_1001_2^2 - 29669914835173613107/5965364405551402121*c_1001_2 - 540965871553539886/5965364405551402121, c_0011_7 - 4117416015871701685/5965364405551402121*c_1001_2^20 - 13827871378649106800/5965364405551402121*c_1001_2^19 - 26518443981004537990/5965364405551402121*c_1001_2^18 - 95397620770702811980/5965364405551402121*c_1001_2^17 - 145864361790465308634/5965364405551402121*c_1001_2^16 - 147503308119535701662/5965364405551402121*c_1001_2^15 - 41583001301711374250/5965364405551402121*c_1001_2^14 - 62020637108130561407/5965364405551402121*c_1001_2^13 + 454484181487080524482/5965364405551402121*c_1001_2^12 + 383688271542287725460/5965364405551402121*c_1001_2^11 + 422229763513238578804/5965364405551402121*c_1001_2^10 + 466693570226609327358/5965364405551402121*c_1001_2^9 - 126097836963141446552/5965364405551402121*c_1001_2^8 - 148799689972621855315/5965364405551402121*c_1001_2^7 - 305740169529490831936/5965364405551402121*c_1001_2^6 - 348846765439455493559/5965364405551402121*c_1001_2^5 - 215389953832455124214/5965364405551402121*c_1001_2^4 - 166766061503451554028/5965364405551402121*c_1001_2^3 - 67353335720986879995/5965364405551402121*c_1001_2^2 - 37054366155889593139/5965364405551402121*c_1001_2 - 8105923952634693539/5965364405551402121, c_0101_0 - 6294349724330506133/5965364405551402121*c_1001_2^20 - 17809662659881486274/5965364405551402121*c_1001_2^19 - 32716390915444626974/5965364405551402121*c_1001_2^18 - 133117312748247809973/5965364405551402121*c_1001_2^17 - 161204413217695118354/5965364405551402121*c_1001_2^16 - 174446486895374975488/5965364405551402121*c_1001_2^15 - 13173171835788419867/5965364405551402121*c_1001_2^14 - 134055661119618134374/5965364405551402121*c_1001_2^13 + 764679592723026752976/5965364405551402121*c_1001_2^12 + 156906185256974275918/5965364405551402121*c_1001_2^11 + 770464604546743513791/5965364405551402121*c_1001_2^10 + 348421263036197778375/5965364405551402121*c_1001_2^9 - 179384307684552717812/5965364405551402121*c_1001_2^8 - 86382394123442949480/5965364405551402121*c_1001_2^7 - 488331456680924186409/5965364405551402121*c_1001_2^6 - 364922413114093794131/5965364405551402121*c_1001_2^5 - 259609588285766340427/5965364405551402121*c_1001_2^4 - 189255958905990182586/5965364405551402121*c_1001_2^3 - 36623186812963712162/5965364405551402121*c_1001_2^2 - 31202197261107615935/5965364405551402121*c_1001_2 + 9665536332422104516/5965364405551402121, c_0101_1 + 5043249900251502059/5965364405551402121*c_1001_2^20 + 13975213543312197138/5965364405551402121*c_1001_2^19 + 25673180227902249055/5965364405551402121*c_1001_2^18 + 106469227766483203117/5965364405551402121*c_1001_2^17 + 125690669524060848278/5965364405551402121*c_1001_2^16 + 140438533070668831980/5965364405551402121*c_1001_2^15 + 19756142314855623378/5965364405551402121*c_1001_2^14 + 124019505842901737556/5965364405551402121*c_1001_2^13 - 609264450712151827837/5965364405551402121*c_1001_2^12 - 84619703258828233611/5965364405551402121*c_1001_2^11 - 629242960883658847457/5965364405551402121*c_1001_2^10 - 312389984345381404678/5965364405551402121*c_1001_2^9 + 136210717418871100255/5965364405551402121*c_1001_2^8 - 346884001263511700/5965364405551402121*c_1001_2^7 + 377313724367724368577/5965364405551402121*c_1001_2^6 + 295396076570744098866/5965364405551402121*c_1001_2^5 + 209753520540421946642/5965364405551402121*c_1001_2^4 + 175171025163759731393/5965364405551402121*c_1001_2^3 + 45411588223156683688/5965364405551402121*c_1001_2^2 + 39317595178817523751/5965364405551402121*c_1001_2 + 1832233061379972114/5965364405551402121, c_0101_10 - 5169871584756124419/5965364405551402121*c_1001_2^20 - 13579737135320990898/5965364405551402121*c_1001_2^19 - 24274769360782793260/5965364405551402121*c_1001_2^18 - 105689532064369346640/5965364405551402121*c_1001_2^17 - 114210424754583611591/5965364405551402121*c_1001_2^16 - 127520103655862735455/5965364405551402121*c_1001_2^15 - 5580965540556843585/5965364405551402121*c_1001_2^14 - 133536411848970168524/5965364405551402121*c_1001_2^13 + 639527366382082439978/5965364405551402121*c_1001_2^12 + 5733152433089399263/5965364405551402121*c_1001_2^11 + 646539507432353096565/5965364405551402121*c_1001_2^10 + 262223737218628353785/5965364405551402121*c_1001_2^9 - 141061913207397302001/5965364405551402121*c_1001_2^8 + 27168216814831851847/5965364405551402121*c_1001_2^7 - 378818447386392917737/5965364405551402121*c_1001_2^6 - 282234833138994513074/5965364405551402121*c_1001_2^5 - 207554748249217198987/5965364405551402121*c_1001_2^4 - 175974013598653254230/5965364405551402121*c_1001_2^3 - 42001816573702771441/5965364405551402121*c_1001_2^2 - 39088263001173547295/5965364405551402121*c_1001_2 - 1262666717040657152/5965364405551402121, c_0101_7 - 7792610544694020115/5965364405551402121*c_1001_2^20 - 22117408611620344253/5965364405551402121*c_1001_2^19 - 41440967145006880371/5965364405551402121*c_1001_2^18 - 168059803822778532360/5965364405551402121*c_1001_2^17 - 206987734927696947953/5965364405551402121*c_1001_2^16 - 236788547397315937626/5965364405551402121*c_1001_2^15 - 52130419344109821989/5965364405551402121*c_1001_2^14 - 201603618737400693349/5965364405551402121*c_1001_2^13 + 933666334347213943716/5965364405551402121*c_1001_2^12 + 201196326391536359290/5965364405551402121*c_1001_2^11 + 1041692398939649354861/5965364405551402121*c_1001_2^10 + 560985698905066226220/5965364405551402121*c_1001_2^9 - 119655840637840780885/5965364405551402121*c_1001_2^8 - 9269457876328753502/5965364405551402121*c_1001_2^7 - 618044158023048059392/5965364405551402121*c_1001_2^6 - 531072159504212962884/5965364405551402121*c_1001_2^5 - 411083522588703438977/5965364405551402121*c_1001_2^4 - 324376533835166213732/5965364405551402121*c_1001_2^3 - 107425086559671120092/5965364405551402121*c_1001_2^2 - 67709215495991006238/5965364405551402121*c_1001_2 - 538625663381472824/5965364405551402121, c_0101_8 - 2198387332716971246/5965364405551402121*c_1001_2^20 - 3708794381920142827/5965364405551402121*c_1001_2^19 - 4803026960508927588/5965364405551402121*c_1001_2^18 - 35465191672927798788/5965364405551402121*c_1001_2^17 - 7336172797692721964/5965364405551402121*c_1001_2^16 - 9294778388215903607/5965364405551402121*c_1001_2^15 + 40693421680580156638/5965364405551402121*c_1001_2^14 - 65572450475703832458/5965364405551402121*c_1001_2^13 + 313279378918715621937/5965364405551402121*c_1001_2^12 - 248243779076676230380/5965364405551402121*c_1001_2^11 + 258777451528017891970/5965364405551402121*c_1001_2^10 - 87040881926913660661/5965364405551402121*c_1001_2^9 - 143673626285570076462/5965364405551402121*c_1001_2^8 + 113740631539982677016/5965364405551402121*c_1001_2^7 - 144481914168367964212/5965364405551402121*c_1001_2^6 + 5967471876446681254/5965364405551402121*c_1001_2^5 - 2958064529005556135/5965364405551402121*c_1001_2^4 - 25681388133325323235/5965364405551402121*c_1001_2^3 + 19105065224059773510/5965364405551402121*c_1001_2^2 - 12218523648001961761/5965364405551402121*c_1001_2 + 8929799329801720914/5965364405551402121, c_1001_12 - 653060968089645759/5965364405551402121*c_1001_2^20 - 1196096219817477090/5965364405551402121*c_1001_2^19 - 1591745027784618034/5965364405551402121*c_1001_2^18 - 10750836207155547383/5965364405551402121*c_1001_2^17 - 3249514617392286244/5965364405551402121*c_1001_2^16 - 1477901327766508610/5965364405551402121*c_1001_2^15 + 14855545092236182585/5965364405551402121*c_1001_2^14 - 6981196878761927458/5965364405551402121*c_1001_2^13 + 108230235066460729530/5965364405551402121*c_1001_2^12 - 44904120936730043355/5965364405551402121*c_1001_2^11 + 68528040520034715694/5965364405551402121*c_1001_2^10 - 15472993949098645766/5965364405551402121*c_1001_2^9 - 92890099955594871918/5965364405551402121*c_1001_2^8 - 26841666128356511961/5965364405551402121*c_1001_2^7 - 58329312091543739704/5965364405551402121*c_1001_2^6 - 46244953034881748493/5965364405551402121*c_1001_2^5 + 40800091845744214665/5965364405551402121*c_1001_2^4 + 21643647039113409263/5965364405551402121*c_1001_2^3 + 25063641975049171268/5965364405551402121*c_1001_2^2 + 15055928216713643530/5965364405551402121*c_1001_2 + 4843222666531594886/5965364405551402121, c_1001_2^21 + 3*c_1001_2^20 + 6*c_1001_2^19 + 23*c_1001_2^18 + 31*c_1001_2^17 + 39*c_1001_2^16 + 16*c_1001_2^15 + 31*c_1001_2^14 - 117*c_1001_2^13 - 40*c_1001_2^12 - 164*c_1001_2^11 - 92*c_1001_2^10 - 16*c_1001_2^9 - 3*c_1001_2^8 + 90*c_1001_2^7 + 80*c_1001_2^6 + 75*c_1001_2^5 + 57*c_1001_2^4 + 24*c_1001_2^3 + 15*c_1001_2^2 + 2*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 15.790 Total time: 16.000 seconds, Total memory usage: 64.12MB