Magma V2.19-8 Wed Aug 21 2013 00:57:57 on localhost [Seed = 1899457490] Type ? for help. Type -D to quit. Loading file "L13n4624__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4624 geometric_solution 11.98661555 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 0 1 0 0 0 0 0 0 0 -1 1 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 2 -3 1 -2 0 1 -2 3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.808406214286 1.622569009458 0 3 4 5 0132 0213 0213 0132 1 0 0 1 0 0 0 0 0 0 0 0 -1 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 -1 0 1 0 2 -2 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.480116577853 0.496958980141 6 0 3 7 0132 0132 0213 0132 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 -1 -1 1 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 -3 0 3 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.827830963255 0.692296114962 8 2 1 0 0132 0213 0213 0132 1 0 0 1 0 0 0 0 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 0 0 0 0 0 2 -2 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.170578067608 0.698988725943 9 1 0 10 0132 0213 0132 0132 1 0 0 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 0 0 0 0 0 0 0 0 0 -1 1 -3 0 3 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.357639484749 0.609278029791 8 10 1 9 2103 0321 0132 0321 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.727438355545 1.383394373737 2 9 11 12 0132 3201 0132 0132 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 -1 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 2 0 0 -2 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.316632530367 0.673489600217 11 12 2 10 1023 2310 0132 2310 1 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 1 -1 0 0 1 -1 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.463990545666 1.375252812284 3 12 5 9 0132 2031 2103 2103 1 0 1 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 -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.599833637034 0.756841326198 4 5 6 8 0132 0321 2310 2103 1 0 1 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 3 0 -3 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.009703136782 1.147825325444 7 12 4 5 3201 3120 0132 0321 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 -1 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.549261600593 0.668458683335 11 7 11 6 2310 1023 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 0 3 0 -3 0 0 3 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.003713335688 0.773835397605 8 10 6 7 1302 3120 0132 3201 0 0 1 1 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 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.335552505620 1.065532070131 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_11']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_1001_10']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_10'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : d['c_0011_5'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0011_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' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(d['1']), 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : 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' : d['c_1001_10'], 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : d['c_1001_10'], 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_2' : d['c_0011_10'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_0'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : d['c_1001_5'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_5'], 'c_1010_6' : negation(d['c_1001_10']), 'c_1010_5' : negation(d['c_0011_12']), 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_0011_10'], 'c_1010_2' : d['c_0011_10'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0011_12']), 'c_1010_8' : d['c_0011_12'], 'c_1100_8' : negation(d['c_0011_4']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_3_8' : negation(d['1']), 'c_1100_12' : negation(d['c_0011_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_11'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_11']), 'c_0110_10' : negation(d['c_0011_5']), 'c_0110_12' : negation(d['c_0011_5']), 'c_0101_12' : d['c_0011_3'], 'c_0101_7' : negation(d['c_0101_11']), 'c_0101_6' : negation(d['c_0101_11']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_11']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0101_10']), 'c_0110_6' : d['c_0011_3']})} 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_3, c_0011_4, c_0011_5, c_0101_0, c_0101_10, c_0101_11, c_1001_1, c_1001_10, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 138502898442767484723029980635963/8296612375517985609836800*c_1001_\ 5^17 - 408679996837094932330847178812837/24889837126553956829510400\ *c_1001_5^16 + 1126245230921279354799629915934827/12444918563276978\ 414755200*c_1001_5^15 + 2599166245975681975871743873517/20468616058\ 021346076900*c_1001_5^14 - 1990383601310884645621810648501423/12444\ 918563276978414755200*c_1001_5^13 - 1048723330936643323374939952920851/3111229640819244603688800*c_1001\ _5^12 + 130065242312651373231678124987409/1244491856327697841475520\ *c_1001_5^11 + 6454681651367571247470791665121857/12444918563276978\ 414755200*c_1001_5^10 + 1126405302265742923236899056129/11886264148\ 306569641600*c_1001_5^9 - 6596552202587541434888925633138019/124449\ 18563276978414755200*c_1001_5^8 - 235622742131432704532959894612391\ /829661237551798560983680*c_1001_5^7 + 374259173670275446448095427057073/1037076546939748201229600*c_1001_\ 5^6 + 105728380133951098676412701205319/388903705102405575461100*c_\ 1001_5^5 - 21558770658798889872598117104407/13099914277133661489216\ 0*c_1001_5^4 - 838147354458397769066343159808709/622245928163848920\ 7377600*c_1001_5^3 + 188542195107094322655745805970499/622245928163\ 8489207377600*c_1001_5^2 + 209558848455506179211422859956601/829661\ 2375517985609836800*c_1001_5 + 111564311499665029824058782557609/24\ 889837126553956829510400, c_0011_0 - 1, c_0011_10 + 1017383006761117799/390995531194295054*c_1001_5^17 + 897744703312696094/195497765597147527*c_1001_5^16 - 2835973498585962610/195497765597147527*c_1001_5^15 - 6555703570656514711/195497765597147527*c_1001_5^14 + 4288635574795530607/195497765597147527*c_1001_5^13 + 17971195803081735793/195497765597147527*c_1001_5^12 + 1331961863784710261/195497765597147527*c_1001_5^11 - 27851713337673324986/195497765597147527*c_1001_5^10 - 15062176686980179839/195497765597147527*c_1001_5^9 + 26368446500203771402/195497765597147527*c_1001_5^8 + 27028562540493082369/195497765597147527*c_1001_5^7 - 14228756291880307912/195497765597147527*c_1001_5^6 - 25577408897434509489/195497765597147527*c_1001_5^5 + 3462872624903758677/195497765597147527*c_1001_5^4 + 13807614393825695024/195497765597147527*c_1001_5^3 + 765023154191778211/195497765597147527*c_1001_5^2 - 6305522105536827603/390995531194295054*c_1001_5 - 632401733842154901/195497765597147527, c_0011_11 + 561206697301934361/195497765597147527*c_1001_5^17 - 7428196759733495872/4496448608734393121*c_1001_5^16 - 209382236384274682951/8992897217468786242*c_1001_5^15 - 4302553276941284006/4496448608734393121*c_1001_5^14 + 683122239099576494429/8992897217468786242*c_1001_5^13 + 180684551810448799814/4496448608734393121*c_1001_5^12 - 1077546079639271560215/8992897217468786242*c_1001_5^11 - 512456487603870392078/4496448608734393121*c_1001_5^10 + 915988440647561493331/8992897217468786242*c_1001_5^9 + 747714276894545787359/4496448608734393121*c_1001_5^8 - 378021299478508079829/8992897217468786242*c_1001_5^7 - 708787150353330324944/4496448608734393121*c_1001_5^6 + 11097280476021161561/8992897217468786242*c_1001_5^5 + 417141214904163070732/4496448608734393121*c_1001_5^4 - 29539414065313515715/8992897217468786242*c_1001_5^3 - 132638807266732512478/4496448608734393121*c_1001_5^2 + 48505818570587420459/8992897217468786242*c_1001_5 + 13732470714596459125/4496448608734393121, c_0011_12 - 246474194470869062/195497765597147527*c_1001_5^17 - 84737964448822307/195497765597147527*c_1001_5^16 + 1488732030731301184/195497765597147527*c_1001_5^15 + 820359736755531526/195497765597147527*c_1001_5^14 - 3324787983559027098/195497765597147527*c_1001_5^13 - 2393317871381066280/195497765597147527*c_1001_5^12 + 4359314719633603390/195497765597147527*c_1001_5^11 + 3779047558988639317/195497765597147527*c_1001_5^10 - 4449719887519897962/195497765597147527*c_1001_5^9 - 4771660987224266212/195497765597147527*c_1001_5^8 + 4243175498379617166/195497765597147527*c_1001_5^7 + 5261878035438870721/195497765597147527*c_1001_5^6 - 4123584625361352972/195497765597147527*c_1001_5^5 - 4170311427189637156/195497765597147527*c_1001_5^4 + 3091460380786644128/195497765597147527*c_1001_5^3 + 2111506102048473140/195497765597147527*c_1001_5^2 - 934356319688471076/195497765597147527*c_1001_5 - 586075046923379923/195497765597147527, c_0011_3 - 1067948852946965645/390995531194295054*c_1001_5^17 - 492509664857302331/390995531194295054*c_1001_5^16 + 3193670650563299780/195497765597147527*c_1001_5^15 + 3156206129387232640/195497765597147527*c_1001_5^14 - 6623855571991122623/195497765597147527*c_1001_5^13 - 11180028668082321572/195497765597147527*c_1001_5^12 + 4042595987738785164/195497765597147527*c_1001_5^11 + 18643914451306215485/195497765597147527*c_1001_5^10 + 5999276924762664365/195497765597147527*c_1001_5^9 - 17282424441319089784/195497765597147527*c_1001_5^8 - 14004457859211210674/195497765597147527*c_1001_5^7 + 8103576379196498898/195497765597147527*c_1001_5^6 + 12237800726224382745/195497765597147527*c_1001_5^5 + 537432168251722828/195497765597147527*c_1001_5^4 - 5135709357184240011/195497765597147527*c_1001_5^3 - 2444843850814937958/195497765597147527*c_1001_5^2 + 1832781861258088107/390995531194295054*c_1001_5 + 1653126989387110373/390995531194295054, c_0011_4 - 809276615768251068/195497765597147527*c_1001_5^17 - 653521262255894139/390995531194295054*c_1001_5^16 + 4919043951084281730/195497765597147527*c_1001_5^15 + 3717726347976744246/195497765597147527*c_1001_5^14 - 11645727543653916434/195497765597147527*c_1001_5^13 - 12832813244562563641/195497765597147527*c_1001_5^12 + 14625734249778793599/195497765597147527*c_1001_5^11 + 24970602491958022751/195497765597147527*c_1001_5^10 - 7878616203414760968/195497765597147527*c_1001_5^9 - 31451966917715333669/195497765597147527*c_1001_5^8 - 3774499523414254879/195497765597147527*c_1001_5^7 + 26196685510245624671/195497765597147527*c_1001_5^6 + 8259148974735207268/195497765597147527*c_1001_5^5 - 13763380350053472511/195497765597147527*c_1001_5^4 - 5011491356325139459/195497765597147527*c_1001_5^3 + 2935146265285155018/195497765597147527*c_1001_5^2 + 1118976215336602544/195497765597147527*c_1001_5 + 612165750055407619/390995531194295054, c_0011_5 - 195391149284709227/195497765597147527*c_1001_5^17 - 36806133404149143/390995531194295054*c_1001_5^16 + 1089730547622903908/195497765597147527*c_1001_5^15 - 117707989890712830/195497765597147527*c_1001_5^14 - 2667608562756013861/195497765597147527*c_1001_5^13 + 1190191424177824185/195497765597147527*c_1001_5^12 + 5936497551987125733/195497765597147527*c_1001_5^11 - 1184998056511314983/195497765597147527*c_1001_5^10 - 9729800301698532145/195497765597147527*c_1001_5^9 - 2048367474461412978/195497765597147527*c_1001_5^8 + 10675173527945047638/195497765597147527*c_1001_5^7 + 5685668609681487711/195497765597147527*c_1001_5^6 - 8693404907194683393/195497765597147527*c_1001_5^5 - 5817341001059383004/195497765597147527*c_1001_5^4 + 4652405029854067823/195497765597147527*c_1001_5^3 + 2202851504576426068/195497765597147527*c_1001_5^2 - 1153712518221885729/195497765597147527*c_1001_5 - 199129405730923653/390995531194295054, c_0101_0 - 1, c_0101_10 - 479831475453995881/195497765597147527*c_1001_5^17 - 17570327203233573023/8992897217468786242*c_1001_5^16 + 58575098391491785397/4496448608734393121*c_1001_5^15 + 70257168895431213725/4496448608734393121*c_1001_5^14 - 219778006287648547973/8992897217468786242*c_1001_5^13 - 364565431563433216255/8992897217468786242*c_1001_5^12 + 105711726068589703936/4496448608734393121*c_1001_5^11 + 293940481733152333598/4496448608734393121*c_1001_5^10 - 43090554444816146009/8992897217468786242*c_1001_5^9 - 672413052298048277745/8992897217468786242*c_1001_5^8 - 87762726404156985537/4496448608734393121*c_1001_5^7 + 267521585361377636811/4496448608734393121*c_1001_5^6 + 219937004048271656369/8992897217468786242*c_1001_5^5 - 298636929790086558207/8992897217468786242*c_1001_5^4 - 63130568370119407683/4496448608734393121*c_1001_5^3 + 37451540524664494445/4496448608734393121*c_1001_5^2 + 24376448679021699241/8992897217468786242*c_1001_5 + 5112693618039497646/4496448608734393121, c_0101_11 - 1412872955316892210/195497765597147527*c_1001_5^17 - 18988116706801409175/8992897217468786242*c_1001_5^16 + 428532554205126645957/8992897217468786242*c_1001_5^15 + 286343572485380686563/8992897217468786242*c_1001_5^14 - 555620171353430567640/4496448608734393121*c_1001_5^13 - 571734392529175769501/4496448608734393121*c_1001_5^12 + 1450354092980738512089/8992897217468786242*c_1001_5^11 + 2321717274653939855691/8992897217468786242*c_1001_5^10 - 416666855872938092044/4496448608734393121*c_1001_5^9 - 1465693376651893652261/4496448608734393121*c_1001_5^8 - 238798340480450121793/8992897217468786242*c_1001_5^7 + 2476206384587723421167/8992897217468786242*c_1001_5^6 + 337958480306914792256/4496448608734393121*c_1001_5^5 - 672084269137819597291/4496448608734393121*c_1001_5^4 - 354435306342114636069/8992897217468786242*c_1001_5^3 + 371541538463997816093/8992897217468786242*c_1001_5^2 + 20960771517014990990/4496448608734393121*c_1001_5 - 14837269154832773977/8992897217468786242, c_1001_1 + 355301788599469964/195497765597147527*c_1001_5^17 + 1542974795951292303/390995531194295054*c_1001_5^16 - 1397772045678631225/195497765597147527*c_1001_5^15 - 4775265995543255519/195497765597147527*c_1001_5^14 - 251537181486091520/195497765597147527*c_1001_5^13 + 9941326496637431057/195497765597147527*c_1001_5^12 + 6092541226780372361/195497765597147527*c_1001_5^11 - 11451543236383690861/195497765597147527*c_1001_5^10 - 12935791539958763553/195497765597147527*c_1001_5^9 + 7720732758614449228/195497765597147527*c_1001_5^8 + 16234087478410667462/195497765597147527*c_1001_5^7 - 1340899742122989557/195497765597147527*c_1001_5^6 - 12735348640880791186/195497765597147527*c_1001_5^5 - 1626404173456700219/195497765597147527*c_1001_5^4 + 6905244895927770026/195497765597147527*c_1001_5^3 + 1658197805408931707/195497765597147527*c_1001_5^2 - 1815439411013266350/195497765597147527*c_1001_5 - 1032640673565404227/390995531194295054, c_1001_10 + 338569833471133117/390995531194295054*c_1001_5^17 + 1317883910740733787/390995531194295054*c_1001_5^16 - 283805244086694763/195497765597147527*c_1001_5^15 - 3683683325801220361/195497765597147527*c_1001_5^14 - 3021171638669533185/195497765597147527*c_1001_5^13 + 6270372042090548336/195497765597147527*c_1001_5^12 + 10021951708763867344/195497765597147527*c_1001_5^11 - 3566858402225561461/195497765597147527*c_1001_5^10 - 14972312771488971446/195497765597147527*c_1001_5^9 - 3090954728001988851/195497765597147527*c_1001_5^8 + 13789417978423406509/195497765597147527*c_1001_5^7 + 7903455547460523359/195497765597147527*c_1001_5^6 - 7850180888448478217/195497765597147527*c_1001_5^5 - 6567523650149817846/195497765597147527*c_1001_5^4 + 3084690716538829172/195497765597147527*c_1001_5^3 + 2741988080929523335/195497765597147527*c_1001_5^2 - 1470531720066644777/390995531194295054*c_1001_5 - 680781275405295067/390995531194295054, c_1001_5^18 + 4/23*c_1001_5^17 - 143/23*c_1001_5^16 - 74/23*c_1001_5^15 + 362/23*c_1001_5^14 + 286/23*c_1001_5^13 - 520/23*c_1001_5^12 - 26*c_1001_5^11 + 448/23*c_1001_5^10 + 836/23*c_1001_5^9 - 200/23*c_1001_5^8 - 814/23*c_1001_5^7 + 28/23*c_1001_5^6 + 530/23*c_1001_5^5 + 2/23*c_1001_5^4 - 192/23*c_1001_5^3 - 1/23*c_1001_5^2 + 22/23*c_1001_5 + 5/23 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.230 Total time: 0.440 seconds, Total memory usage: 32.09MB