Magma V2.19-8 Wed Aug 21 2013 01:05:45 on localhost [Seed = 4020893528] Type ? for help. Type -D to quit. Loading file "L14n27311__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n27311 geometric_solution 11.49444428 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 3201 0132 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 0 0 0 0 0 -1 0 1 1 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 0.260431228542 0.522558396952 0 4 6 5 0132 0132 0132 0132 1 0 0 1 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 8 0 -8 -1 0 0 1 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.677175352224 0.594341296142 0 0 7 7 2310 0132 2310 0132 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 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 1.236029430370 1.532916149953 8 9 0 9 0132 0132 0132 2103 1 0 1 1 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 -1 1 0 0 0 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625927090814 0.754129500402 9 1 8 10 0321 0132 2310 0132 1 1 1 0 0 1 -1 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 -8 8 0 1 0 0 -1 -9 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.791407356819 0.805307027367 6 11 1 12 2103 0132 0132 0132 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 0 0 0 0 0 -9 8 1 0 0 -1 1 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.731269498170 1.081850067697 8 10 5 1 3120 0132 2103 0132 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 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.817797546367 0.567906654444 8 2 2 9 2031 3201 0132 0132 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 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.260431228542 0.522558396952 3 4 7 6 0132 3201 1302 3120 0 0 1 1 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 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.765470966757 0.514114428382 4 3 7 3 0321 0132 0132 2103 1 0 1 1 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 9 -8 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625927090814 0.754129500402 11 6 4 12 3120 0132 0132 2310 1 1 0 1 0 0 0 0 0 0 0 0 -1 0 0 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 -1 0 1 0 3 1 0 -4 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.571141832175 0.634458621692 12 5 12 10 3012 0132 2310 3120 1 1 0 1 0 -1 0 1 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 9 0 -9 -1 0 0 1 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.828292448146 1.077742241041 10 11 5 11 3201 3201 0132 1230 1 0 1 1 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 0 -1 1 4 0 -1 -3 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.604804926101 0.264157214621 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : negation(d['c_0101_11']), 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : negation(d['c_0011_10']), 'c_1001_4' : negation(d['c_0011_10']), 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_2']), 'c_1001_8' : negation(d['c_0101_4']), 'c_1010_12' : d['c_0101_11'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_12']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_12']), 'c_1100_4' : d['c_0011_12'], 'c_1100_7' : d['c_0011_7'], 'c_1100_6' : negation(d['c_0101_12']), 'c_1100_1' : negation(d['c_0101_12']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_7'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_0011_12'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_2']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0101_11']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_1001_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0011_10']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_10'], '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_0101_12']), 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_12'], 'c_0011_8' : d['c_0011_12'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_12']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_12']), 'c_0110_10' : negation(d['c_0101_12']), 'c_0110_12' : d['c_0011_11'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_4']), 'c_0101_8' : negation(d['c_0011_7']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_0']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_7'], 'c_0110_3' : negation(d['c_0011_7']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : negation(d['c_0011_12']), 'c_0110_7' : negation(d['c_0101_4']), 'c_1100_8' : negation(d['c_0101_0'])})} 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_12, c_0011_7, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_2, c_0101_4, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 104420501948249730141360321387931/4118309351536803364034560000*c_10\ 01_2^18 - 540835293020312159284346080590587/10295773378842008410086\ 40000*c_1001_2^17 - 18706799403944003353265703229345411/41183093515\ 36803364034560000*c_1001_2^16 - 20842268873681337476511138688339119\ /1029577337884200841008640000*c_1001_2^15 - 188316534262201517954903007772787211/4118309351536803364034560000*c\ _1001_2^14 - 5257950274892720437724817598841369/1286971672355251051\ 26080000*c_1001_2^13 - 33523811462430190608749397985450583/41183093\ 51536803364034560000*c_1001_2^12 - 4211742698347519443142105758779331/64348583617762552563040000*c_100\ 1_2^11 - 54485288604620502006050115972687889/4118309351536803364034\ 560000*c_1001_2^10 - 730605353682984774602247732532173/102957733788\ 42008410086400*c_1001_2^9 - 12523347996690356861368037717248041/411\ 8309351536803364034560000*c_1001_2^8 - 25481488677844776803689043723074777/1029577337884200841008640000*c_\ 1001_2^7 - 26198642848705779817859950556021433/41183093515368033640\ 34560000*c_1001_2^6 - 12321547503934623930339838050906401/102957733\ 7884200841008640000*c_1001_2^5 - 2062105674452964237479182438473740\ 9/4118309351536803364034560000*c_1001_2^4 - 3154170240675249391194462992859/823661870307360672806912*c_1001_2^3 + 349523747345947231049622014734763/514788668942100420504320000*c_1\ 001_2^2 - 98090314119493998291139597533469/514788668942100420504320\ 000*c_1001_2 + 368422408549211571889048179789287/102957733788420084\ 1008640000, c_0011_0 - 1, c_0011_10 + 350605221524146953/23360992407605668864*c_1001_2^18 + 7360892526054356809/23360992407605668864*c_1001_2^17 + 16202557842159015297/5840248101901417216*c_1001_2^16 + 148520740916483158921/11680496203802834432*c_1001_2^15 + 707250040347741540311/23360992407605668864*c_1001_2^14 + 727151103018650751519/23360992407605668864*c_1001_2^13 + 115343826318021924429/11680496203802834432*c_1001_2^12 + 107730878627555319029/2920124050950708608*c_1001_2^11 + 321323400871747581523/23360992407605668864*c_1001_2^10 + 905300478082131623495/23360992407605668864*c_1001_2^9 + 37376885288028820963/2920124050950708608*c_1001_2^8 + 96588838226835139445/11680496203802834432*c_1001_2^7 + 42706849778774528425/23360992407605668864*c_1001_2^6 + 64870959466464947429/23360992407605668864*c_1001_2^5 + 18747252415516040937/11680496203802834432*c_1001_2^4 + 3144624603349049253/5840248101901417216*c_1001_2^3 - 18991947235890589679/5840248101901417216*c_1001_2^2 - 12236001085077477275/5840248101901417216*c_1001_2 - 2423638875999299873/2920124050950708608, c_0011_11 + 1578961668540350673/93443969630422675456*c_1001_2^18 + 15699814349902283189/46721984815211337728*c_1001_2^17 + 253847248721226691515/93443969630422675456*c_1001_2^16 + 123476217088669767883/11680496203802834432*c_1001_2^15 + 1476249360523105121333/93443969630422675456*c_1001_2^14 - 622100626594450250423/46721984815211337728*c_1001_2^13 - 4719097953514186680365/93443969630422675456*c_1001_2^12 + 72861154732009019495/5840248101901417216*c_1001_2^11 - 2811169295714375766397/93443969630422675456*c_1001_2^10 - 803459927788562900215/46721984815211337728*c_1001_2^9 - 5030665382841413220167/93443969630422675456*c_1001_2^8 - 190827497262067825741/5840248101901417216*c_1001_2^7 - 1843716268892655608913/93443969630422675456*c_1001_2^6 - 563478823680534971963/46721984815211337728*c_1001_2^5 - 1830677359094754970227/93443969630422675456*c_1001_2^4 - 55776926616061989413/5840248101901417216*c_1001_2^3 - 5811820563917108697/730031012737677152*c_1001_2^2 - 1866194203196632557/730031012737677152*c_1001_2 - 11899140483472146643/23360992407605668864, c_0011_12 - 1425234355244640223/93443969630422675456*c_1001_2^18 - 14972733212737290139/46721984815211337728*c_1001_2^17 - 263963313588191093829/93443969630422675456*c_1001_2^16 - 151532118844026077173/11680496203802834432*c_1001_2^15 - 2899379713712707849179/93443969630422675456*c_1001_2^14 - 1513685666229681928871/46721984815211337728*c_1001_2^13 - 1059243596456972970445/93443969630422675456*c_1001_2^12 - 227803844064206992409/5840248101901417216*c_1001_2^11 - 1511306642336745561869/93443969630422675456*c_1001_2^10 - 1957223122378796092487/46721984815211337728*c_1001_2^9 - 1510087732039863708231/93443969630422675456*c_1001_2^8 - 69362657871643971281/5840248101901417216*c_1001_2^7 - 519941917487744159233/93443969630422675456*c_1001_2^6 - 310493034992949147211/46721984815211337728*c_1001_2^5 - 519031509732172180243/93443969630422675456*c_1001_2^4 - 26505617010954718117/5840248101901417216*c_1001_2^3 - 1097964660215782899/1460062025475354304*c_1001_2^2 - 165861146555463337/182507753184419288*c_1001_2 - 3994694868759322291/23360992407605668864, c_0011_7 - 1, c_0101_0 - 1, c_0101_1 + 3994694868759322291/93443969630422675456*c_1001_2^18 + 42656913299595204167/46721984815211337728*c_1001_2^17 + 768964017145949204113/93443969630422675456*c_1001_2^16 + 456932407145606964861/11680496203802834432*c_1001_2^15 + 9317492839464873545823/93443969630422675456*c_1001_2^14 + 5686063765175615214195/46721984815211337728*c_1001_2^13 + 6131249245485357277849/93443969630422675456*c_1001_2^12 + 733566436290665090893/5840248101901417216*c_1001_2^11 + 8642224785845224064585/93443969630422675456*c_1001_2^10 + 6641836210285234176723/46721984815211337728*c_1001_2^9 + 7553613270197334792075/93443969630422675456*c_1001_2^8 + 346795265272221159027/5840248101901417216*c_1001_2^7 + 3215006721782466387853/93443969630422675456*c_1001_2^6 + 1344530615612028081623/46721984815211337728*c_1001_2^5 + 1943230071545233972743/93443969630422675456*c_1001_2^4 + 84120834222834493405/5840248101901417216*c_1001_2^3 + 3812538984964255051/730031012737677152*c_1001_2^2 + 1097964660215782899/1460062025475354304*c_1001_2 - 14114850254784328601/23360992407605668864, c_0101_11 - 3183074960985812439/93443969630422675456*c_1001_2^18 - 35601990718345959291/46721984815211337728*c_1001_2^17 - 680666203096921670557/93443969630422675456*c_1001_2^16 - 439214590608072323793/11680496203802834432*c_1001_2^15 - 10196412035616733510355/93443969630422675456*c_1001_2^14 - 7863250593655446667351/46721984815211337728*c_1001_2^13 - 11854360975903834392517/93443969630422675456*c_1001_2^12 - 722278238196029166289/5840248101901417216*c_1001_2^11 - 14953323334174087418997/93443969630422675456*c_1001_2^10 - 7536329168735606970391/46721984815211337728*c_1001_2^9 - 14332538926310487848015/93443969630422675456*c_1001_2^8 - 430183395598433074515/5840248101901417216*c_1001_2^7 - 5192363951090928611497/93443969630422675456*c_1001_2^6 - 1898688293420599845547/46721984815211337728*c_1001_2^5 - 3010291025405068829147/93443969630422675456*c_1001_2^4 - 110604717723530344137/5840248101901417216*c_1001_2^3 - 5949679755841531567/730031012737677152*c_1001_2^2 - 3179063975332849151/1460062025475354304*c_1001_2 - 6577983962883170235/23360992407605668864, c_0101_12 + 6294856335349385857/93443969630422675456*c_1001_2^18 + 66753670778762952095/46721984815211337728*c_1001_2^17 + 1191733878349846576535/93443969630422675456*c_1001_2^16 + 348635304891366105529/5840248101901417216*c_1001_2^15 + 13801494513584676609565/93443969630422675456*c_1001_2^14 + 7797201722022395104775/46721984815211337728*c_1001_2^13 + 6571774274785686568983/93443969630422675456*c_1001_2^12 + 1033173122539864674033/5840248101901417216*c_1001_2^11 + 11074286196273537573747/93443969630422675456*c_1001_2^10 + 9834852242574537069687/46721984815211337728*c_1001_2^9 + 8675829267956028835069/93443969630422675456*c_1001_2^8 + 857378439702919716285/11680496203802834432*c_1001_2^7 + 4269690659352329988439/93443969630422675456*c_1001_2^6 + 2182088603979469956567/46721984815211337728*c_1001_2^5 + 3104135599858867112409/93443969630422675456*c_1001_2^4 + 51124723827536521283/2920124050950708608*c_1001_2^3 + 27014735046249758203/5840248101901417216*c_1001_2^2 + 5673257465216261655/5840248101901417216*c_1001_2 - 1865967026091865079/23360992407605668864, c_0101_2 - 709523737804083609/46721984815211337728*c_1001_2^18 - 7737602506419506607/23360992407605668864*c_1001_2^17 - 143470866567774368479/46721984815211337728*c_1001_2^16 - 44463446162923229419/2920124050950708608*c_1001_2^15 - 1949809678604037522709/46721984815211337728*c_1001_2^14 - 1382073366077253330151/23360992407605668864*c_1001_2^13 - 1959531311065199589215/46721984815211337728*c_1001_2^12 - 154564279037456753209/2920124050950708608*c_1001_2^11 - 2460686469205265331387/46721984815211337728*c_1001_2^10 - 1597869528928804157847/23360992407605668864*c_1001_2^9 - 2135250155188349936341/46721984815211337728*c_1001_2^8 - 200480139101289266785/5840248101901417216*c_1001_2^7 - 989538756217055429631/46721984815211337728*c_1001_2^6 - 371632517778961542183/23360992407605668864*c_1001_2^5 - 525624902274307524625/46721984815211337728*c_1001_2^4 - 10417056011177146209/1460062025475354304*c_1001_2^3 - 8683020321389678835/2920124050950708608*c_1001_2^2 - 4371206298035775571/2920124050950708608*c_1001_2 + 9764296299575909055/11680496203802834432, c_0101_4 - 3994694868759322291/93443969630422675456*c_1001_2^18 - 42656913299595204167/46721984815211337728*c_1001_2^17 - 768964017145949204113/93443969630422675456*c_1001_2^16 - 456932407145606964861/11680496203802834432*c_1001_2^15 - 9317492839464873545823/93443969630422675456*c_1001_2^14 - 5686063765175615214195/46721984815211337728*c_1001_2^13 - 6131249245485357277849/93443969630422675456*c_1001_2^12 - 733566436290665090893/5840248101901417216*c_1001_2^11 - 8642224785845224064585/93443969630422675456*c_1001_2^10 - 6641836210285234176723/46721984815211337728*c_1001_2^9 - 7553613270197334792075/93443969630422675456*c_1001_2^8 - 346795265272221159027/5840248101901417216*c_1001_2^7 - 3215006721782466387853/93443969630422675456*c_1001_2^6 - 1344530615612028081623/46721984815211337728*c_1001_2^5 - 1943230071545233972743/93443969630422675456*c_1001_2^4 - 84120834222834493405/5840248101901417216*c_1001_2^3 - 3812538984964255051/730031012737677152*c_1001_2^2 - 1097964660215782899/1460062025475354304*c_1001_2 + 14114850254784328601/23360992407605668864, c_1001_1 - 282089821149042189/93443969630422675456*c_1001_2^18 - 2867227365380639559/46721984815211337728*c_1001_2^17 - 48393748130119501523/93443969630422675456*c_1001_2^16 - 3256199032064302603/1460062025475354304*c_1001_2^15 - 446816232504876941129/93443969630422675456*c_1001_2^14 - 188919508414691971095/46721984815211337728*c_1001_2^13 - 207583482013396854019/93443969630422675456*c_1001_2^12 - 60490742726402464513/5840248101901417216*c_1001_2^11 + 186506123763084490089/93443969630422675456*c_1001_2^10 - 509121641338500936903/46721984815211337728*c_1001_2^9 - 382199314288061659441/93443969630422675456*c_1001_2^8 - 55851430126937558543/11680496203802834432*c_1001_2^7 - 305985328911720182075/93443969630422675456*c_1001_2^6 - 176832136918714416303/46721984815211337728*c_1001_2^5 - 386069882236134326029/93443969630422675456*c_1001_2^4 - 7738247991442676289/1460062025475354304*c_1001_2^3 - 2045199027967640513/5840248101901417216*c_1001_2^2 - 1240385116479980353/5840248101901417216*c_1001_2 - 1173226507054567261/23360992407605668864, c_1001_2^19 + 21*c_1001_2^18 + 185*c_1001_2^17 + 849*c_1001_2^16 + 2029*c_1001_2^15 + 2121*c_1001_2^14 + 777*c_1001_2^13 + 2673*c_1001_2^12 + 1251*c_1001_2^11 + 2947*c_1001_2^10 + 911*c_1001_2^9 + 1011*c_1001_2^8 + 527*c_1001_2^7 + 543*c_1001_2^6 + 331*c_1001_2^5 + 207*c_1001_2^4 + 16*c_1001_2^3 - 12*c_1001_2 - 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.380 Total time: 0.590 seconds, Total memory usage: 32.09MB