Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 1141233826] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0767 geometric_solution 4.71106684 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 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 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.813699637714 0.727648319408 0 0 1 1 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.317785774448 0.231698816067 0 0 4 3 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 1 -1 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.075519039897 0.352280012482 4 4 2 5 1230 1023 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 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.574278334137 1.155957826200 3 3 5 2 1023 3012 2310 0132 0 0 0 0 0 1 -1 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 -1 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.574278334137 1.155957826200 6 4 3 6 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 1 -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 -1 1 -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.579284620216 0.771583601449 5 6 6 5 0132 1230 3012 1023 0 0 0 0 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 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 1.802677266405 0.516301559152 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_5']), '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_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 43914568500790850039296231930689894718288485588490415/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^23 - 120689866405625430072948484514502120001959050936527794/323597234267\ 332418861806586212257966854468101670663*c_0101_6^22 + 787262842969817333187920181753618957898722941366481027/323597234267\ 332418861806586212257966854468101670663*c_0101_6^21 - 2279421721459841035657563493799158989390416818845489175/32359723426\ 7332418861806586212257966854468101670663*c_0101_6^20 - 1488453761704029230897636226924705450497671712544130177/32359723426\ 7332418861806586212257966854468101670663*c_0101_6^19 + 18324915482234057156856666305398382883326770514536677731/3235972342\ 67332418861806586212257966854468101670663*c_0101_6^18 - 21146741962979383210322770541940096491473158222510651318/3235972342\ 67332418861806586212257966854468101670663*c_0101_6^17 + 8507773098714428039641233767934952508233031808959760089/32359723426\ 7332418861806586212257966854468101670663*c_0101_6^16 + 79302756775555400670147548151284574957543032772721084963/3235972342\ 67332418861806586212257966854468101670663*c_0101_6^15 - 142232016243747557218882746581423706416409954632696925792/323597234\ 267332418861806586212257966854468101670663*c_0101_6^14 - 65782926062363551546133203964604670063234078401709407094/3235972342\ 67332418861806586212257966854468101670663*c_0101_6^13 + 202658845265303189347648652011517304060722503945345051584/323597234\ 267332418861806586212257966854468101670663*c_0101_6^12 - 26710349900344170463000785992475070377066926269963348360/3235972342\ 67332418861806586212257966854468101670663*c_0101_6^11 - 109161616084975597426330387588511546030330602162860726427/323597234\ 267332418861806586212257966854468101670663*c_0101_6^10 + 42806591112810400505774036211114412500821376064839734321/3235972342\ 67332418861806586212257966854468101670663*c_0101_6^9 + 33010041434471885698478373791825640855951758673203979918/3235972342\ 67332418861806586212257966854468101670663*c_0101_6^8 - 9910874825144457136085365491635604379674102194479725872/32359723426\ 7332418861806586212257966854468101670663*c_0101_6^7 - 9239799878282253780320521024979112633091016061656637682/32359723426\ 7332418861806586212257966854468101670663*c_0101_6^6 - 1365962993611377569757110882369222270135815701004258991/32359723426\ 7332418861806586212257966854468101670663*c_0101_6^5 + 2508328412199126287796141059036991867308484823231962578/32359723426\ 7332418861806586212257966854468101670663*c_0101_6^4 + 312833527594313294418085780633173955197877184263541646/323597234267\ 332418861806586212257966854468101670663*c_0101_6^3 - 602953787935857736477835247696626079777956855145641710/323597234267\ 332418861806586212257966854468101670663*c_0101_6^2 - 29496055893277495830840969408468684369951484014380738/3235972342673\ 32418861806586212257966854468101670663*c_0101_6 + 38784298653154399039827360270425777713183524723196696/3235972342673\ 32418861806586212257966854468101670663, c_0011_0 - 1, c_0011_3 - 203637419062378100218144161920035317863394256541815/32359723\ 4267332418861806586212257966854468101670663*c_0101_6^23 - 623975499081586276894590834462056215830450748517324/323597234267332\ 418861806586212257966854468101670663*c_0101_6^22 + 3417302250286074420031110906268436802339313521872858/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^21 - 9572574198104107896320828661378206048103309131799238/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^20 - 9255396245088803202117335500226941092003082720930360/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^19 + 79787397275288371491350143747792449489416388399020215/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^18 - 72659880391271915281633700750303251650393887144666875/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^17 + 30581298251401216381280705472244284318866003124480213/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^16 + 352334992637166444552250380365524583661197378249215012/323597234267\ 332418861806586212257966854468101670663*c_0101_6^15 - 521440824762067851322695158035436156594872019160410098/323597234267\ 332418861806586212257966854468101670663*c_0101_6^14 - 425286862489855597648562691848246885002238995222517844/323597234267\ 332418861806586212257966854468101670663*c_0101_6^13 + 670635579320276617925488921371399482567625605874061283/323597234267\ 332418861806586212257966854468101670663*c_0101_6^12 + 133342160897810665795645107447449429996219674258106384/323597234267\ 332418861806586212257966854468101670663*c_0101_6^11 - 373367621930431845439459766429578875046704159915034984/323597234267\ 332418861806586212257966854468101670663*c_0101_6^10 - 15302103654180397535888382973278190984581386421076440/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^9 + 174535681190689403374372567719808441975361415487942851/323597234267\ 332418861806586212257966854468101670663*c_0101_6^8 + 20342955656130926415407036562537053822308207389128849/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^7 - 48162987585349698316189806483400827845440873874694921/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^6 - 9625888599004604546006167680949993895306313287343151/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^5 + 3663914098457277272066429465608804656756602469439550/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^4 + 2675189400848476640168142795080560344694036299215881/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^3 - 1877581470723707901163620352113838292109980777562363/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^2 - 768396318624981261650637176569008237992004940240324/323597234267332\ 418861806586212257966854468101670663*c_0101_6 + 317845235543468483645172925181884947536961715324540/323597234267332\ 418861806586212257966854468101670663, c_0011_5 - 11703040806878714633761290838486228487293076946900/323597234\ 267332418861806586212257966854468101670663*c_0101_6^23 + 48713488961814406816757203659251053168667058684030/3235972342673324\ 18861806586212257966854468101670663*c_0101_6^22 + 475643732973021130211437241877132939902839378563677/323597234267332\ 418861806586212257966854468101670663*c_0101_6^21 - 1938416055085044403329222399190226634286990184805651/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^20 + 3052250467882541037196898365623506945966881685644575/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^19 + 9991659876454190118490498102275053502636967059109387/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^18 - 38554955691454390003466114897431089600757557038543938/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^17 + 24886836329309696570502367469167562241123519291181946/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^16 + 27487766043360480546624887028150680450188106552403721/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^15 - 206298901517073170893484017041129029848522105114326599/323597234267\ 332418861806586212257966854468101670663*c_0101_6^14 + 184220079383973699415055014301454319894674199996655499/323597234267\ 332418861806586212257966854468101670663*c_0101_6^13 + 302968806816944333639713744277934680240658463414830327/323597234267\ 332418861806586212257966854468101670663*c_0101_6^12 - 371047384679026342411567685811899522938356040504788678/323597234267\ 332418861806586212257966854468101670663*c_0101_6^11 - 71409452169351909669151554346312033189998068615216358/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^10 + 255933700713135387628386881195422560104228963554019381/323597234267\ 332418861806586212257966854468101670663*c_0101_6^9 - 75136687921145631762623507528008987845517004001469257/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^8 - 56725544852569904054806443902590259599303213524613042/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^7 + 13254493680606199923712142401759093795110308916018150/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^6 + 2867336162496838531167399980880947493154316017579543/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^5 + 7849550775712428817441241174920925370556123955943725/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^4 - 3733664309865705178709478918355442261442635485159216/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^3 - 417689639957689363493041164722760751294048217608610/323597234267332\ 418861806586212257966854468101670663*c_0101_6^2 + 909908285109952670864213024366728404448636156733841/323597234267332\ 418861806586212257966854468101670663*c_0101_6 - 306378567975453997794141556196753516405642836872575/323597234267332\ 418861806586212257966854468101670663, c_0101_0 - 506908696038220934374480249299203742139800328623480/32359723\ 4267332418861806586212257966854468101670663*c_0101_6^23 - 1070531220805437514609939637298988530128022131657243/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^22 + 9901643852822833752048735889561611347195834237825680/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^21 - 32267287645998438672154369969139448405519656966440681/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^20 + 913305684102217744914194509915975463376345463107986/323597234267332\ 418861806586212257966854468101670663*c_0101_6^19 + 218167878216817286142248106573655061064235214171768381/323597234267\ 332418861806586212257966854468101670663*c_0101_6^18 - 379452126595920353351346764054539283684875004453118469/323597234267\ 332418861806586212257966854468101670663*c_0101_6^17 + 283666510493712533174300802690133108201628592714833652/323597234267\ 332418861806586212257966854468101670663*c_0101_6^16 + 806155365833173453239375343440643036661324925574274292/323597234267\ 332418861806586212257966854468101670663*c_0101_6^15 - 2189589631070455497965350510312923635492539424480680160/32359723426\ 7332418861806586212257966854468101670663*c_0101_6^14 + 403147119270559782817118823025229593869472753964927539/323597234267\ 332418861806586212257966854468101670663*c_0101_6^13 + 2544381948363246012090077589284611108757090814764798007/32359723426\ 7332418861806586212257966854468101670663*c_0101_6^12 - 1783989750966180076558050326090259264221845772547215993/32359723426\ 7332418861806586212257966854468101670663*c_0101_6^11 - 745947003946271235782501405860565162671523555032247904/323597234267\ 332418861806586212257966854468101670663*c_0101_6^10 + 1094663193934487511706829146403677452942355533328771763/32359723426\ 7332418861806586212257966854468101670663*c_0101_6^9 - 26765305797494320373219912507807200744444898553303330/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^8 - 225620356703584642371832593234000161822802076945434159/323597234267\ 332418861806586212257966854468101670663*c_0101_6^7 - 37812705132544209640499913490095690938767890639382076/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^6 + 27433109823198971383473775792911357078221602284727699/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^5 + 37293055719465727720090107096667121925353294792721418/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^4 - 10988358655469727562677964948306574952757345653352392/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^3 - 5781935345741795722764930339799316511811796701007404/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^2 + 2218983439086036398316350854635619746847253840402752/32359723426733\ 2418861806586212257966854468101670663*c_0101_6 + 88860744728811799803856808462321148974935782177996/3235972342673324\ 18861806586212257966854468101670663, c_0101_1 + 171599862157530241151583015723635669032642375815415/32359723\ 4267332418861806586212257966854468101670663*c_0101_6^23 + 665362409679880400391107739041165189098219963964274/323597234267332\ 418861806586212257966854468101670663*c_0101_6^22 - 2656428108272509531586624472219148649389230781096334/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^21 + 5147259763434053685495734728026992403130939633090900/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^20 + 17930157658375495936218024804314699605429498056045522/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^19 - 71377004066600593272598931549153199265743129950271411/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^18 - 372945314993809450781674913646018055929506663562901/323597234267332\ 418861806586212257966854468101670663*c_0101_6^17 + 106487228508981508263990272876704814639979577816060373/323597234267\ 332418861806586212257966854468101670663*c_0101_6^16 - 412223354028676593526622547551302397997378891379386574/323597234267\ 332418861806586212257966854468101670663*c_0101_6^15 + 249394070132412911481514665833056091195736350267948126/323597234267\ 332418861806586212257966854468101670663*c_0101_6^14 + 1071212278723753814784015783650165647646096030651823710/32359723426\ 7332418861806586212257966854468101670663*c_0101_6^13 - 900782125505271008982516331512629480410148727874438777/323597234267\ 332418861806586212257966854468101670663*c_0101_6^12 - 837862402882414194421775230076000875239773539835425863/323597234267\ 332418861806586212257966854468101670663*c_0101_6^11 + 1019170374988648396619521411284444321436593703814772447/32359723426\ 7332418861806586212257966854468101670663*c_0101_6^10 + 109424413017843677048930673397364442855222753536674055/323597234267\ 332418861806586212257966854468101670663*c_0101_6^9 - 486987584959162847001505920583745134528920146065607107/323597234267\ 332418861806586212257966854468101670663*c_0101_6^8 + 32233772586296399918861788475793303827759417120410846/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^7 + 101137425151676941508352133211214512587922566688243772/323597234267\ 332418861806586212257966854468101670663*c_0101_6^6 + 27880585042661926908175245645292224044056303326828860/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^5 - 14100828294100173498490250203999207688904126885531286/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^4 - 13916366127004373355161601885698071025539372576194132/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^3 + 6609366091994615707145985148196630048117426714089267/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^2 + 2133544112185428417594998703840572232757971902225956/32359723426733\ 2418861806586212257966854468101670663*c_0101_6 - 758549227127219308644494309376425666652455732338786/323597234267332\ 418861806586212257966854468101670663, c_0101_2 - 349652965529126887621413817908168200321294179693490/32359723\ 4267332418861806586212257966854468101670663*c_0101_6^23 - 977801455107386205638828773713810304561879144607074/323597234267332\ 418861806586212257966854468101670663*c_0101_6^22 + 6182370652884743733458748855411938228171656468434021/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^21 - 17946548248416283676097240299636622868625831480040168/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^20 - 12000359192813938504945274792099690129290474238200970/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^19 + 143094342891342014197147622114404806227804701842449400/323597234267\ 332418861806586212257966854468101670663*c_0101_6^18 - 162040922748751771758453802610636645596931837029364435/323597234267\ 332418861806586212257966854468101670663*c_0101_6^17 + 75905722918798370226879609982897479469595791481621683/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^16 + 611779601113281601129252697851995218277137582670713306/323597234267\ 332418861806586212257966854468101670663*c_0101_6^15 - 1086331417925975466549844959660411042362149062825431858/32359723426\ 7332418861806586212257966854468101670663*c_0101_6^14 - 514623354447544580134125448505121267418728285352566449/323597234267\ 332418861806586212257966854468101670663*c_0101_6^13 + 1449040310570496514223818359617650130555434372118515298/32359723426\ 7332418861806586212257966854468101670663*c_0101_6^12 - 151474600334172209507121024705635202974266162225300525/323597234267\ 332418861806586212257966854468101670663*c_0101_6^11 - 717156156137095113936327010288860523136516078460625220/323597234267\ 332418861806586212257966854468101670663*c_0101_6^10 + 238824884529087532433984509154544659958802362253747293/323597234267\ 332418861806586212257966854468101670663*c_0101_6^9 + 218110913441075140122813670787109114459978509249660682/323597234267\ 332418861806586212257966854468101670663*c_0101_6^8 - 30257154871429856122806843202895192747881255429280350/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^7 - 59775501478302755095198785053465002135714278001878848/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^6 - 19840275186263626622180128366871938521076841709748355/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^5 + 12098663520731095347721959361252621321107661034371903/3235972342673\ 32418861806586212257966854468101670663*c_0101_6^4 + 3729892405576111374928432204417367167231934256529026/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^3 - 3153539784123927143383706929196855893211225812973965/32359723426733\ 2418861806586212257966854468101670663*c_0101_6^2 - 88965041936616981083410765599662433346651143602618/3235972342673324\ 18861806586212257966854468101670663*c_0101_6 + 138479309404108923633763215515996325535286362620394/323597234267332\ 418861806586212257966854468101670663, c_0101_6^24 + 13/5*c_0101_6^23 - 92/5*c_0101_6^22 + 272/5*c_0101_6^21 + 137/5*c_0101_6^20 - 426*c_0101_6^19 + 2711/5*c_0101_6^18 - 238*c_0101_6^17 - 1815*c_0101_6^16 + 3531*c_0101_6^15 + 5628/5*c_0101_6^14 - 25354/5*c_0101_6^13 + 6301/5*c_0101_6^12 + 13394/5*c_0101_6^11 - 1450*c_0101_6^10 - 3573/5*c_0101_6^9 + 413*c_0101_6^8 + 989/5*c_0101_6^7 - 58/5*c_0101_6^6 - 352/5*c_0101_6^5 - 2/5*c_0101_6^4 + 18*c_0101_6^3 - 8/5*c_0101_6^2 - 8/5*c_0101_6 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB