Magma V2.19-8 Tue Aug 20 2013 16:16:25 on localhost [Seed = 3532869183] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0692 geometric_solution 4.65361666 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574870713851 0.085483828432 2 0 2 0 0132 2310 1023 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.723239866217 0.167588766289 1 3 1 4 0132 0132 1023 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 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.585110972522 0.920893034868 5 2 4 4 0132 0132 3012 1230 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 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.495303865149 1.550309210419 3 3 2 5 3012 1230 0132 3201 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 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 1.495303865149 1.550309210419 3 4 6 6 0132 2310 0132 3201 0 0 0 0 0 1 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 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.267476004978 0.497970668304 6 5 6 5 2031 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 -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.037575404603 1.968501750072 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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_0_6' : 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_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 2197781542408648313998542992033714210396716150119879999299057984644\ 5554255353305/25005457852861799182856773775552818778847245211107377\ 74586680184591260992210159*c_0101_3^24 - 5478232203226030941309102054498673094539454453306918729268253851305\ 86006938067954/2500545785286179918285677377555281877884724521110737\ 774586680184591260992210159*c_0101_3^23 - 4507961345625815365780762116166876798350355375926400476827448912263\ 936709472357647/250054578528617991828567737755528187788472452111073\ 7774586680184591260992210159*c_0101_3^22 - 1572984455204787047771332079349159349293094487649502333056070698269\ 9807252594444280/25005457852861799182856773775552818778847245211107\ 37774586680184591260992210159*c_0101_3^21 - 3395067096820162175756067549821757088207363036446664381615781161110\ 2790216230316187/25005457852861799182856773775552818778847245211107\ 37774586680184591260992210159*c_0101_3^20 - 8936881366324868461599170235227497926188118266034130945662735504140\ 3722257754594816/25005457852861799182856773775552818778847245211107\ 37774586680184591260992210159*c_0101_3^19 - 1098108211730700450540649251617088427534917978240661981632454321968\ 38138351005309022/2500545785286179918285677377555281877884724521110\ 737774586680184591260992210159*c_0101_3^18 - 1172910053919906861813989387450390906215731527662864565521946804923\ 38539955056331550/2500545785286179918285677377555281877884724521110\ 737774586680184591260992210159*c_0101_3^17 - 3262191843897182763638053736709156009455858886338153176218768597199\ 60926151106197027/2500545785286179918285677377555281877884724521110\ 737774586680184591260992210159*c_0101_3^16 + 6483846629895036674256818186829008986590386818465700241939909266054\ 53544026720441532/2500545785286179918285677377555281877884724521110\ 737774586680184591260992210159*c_0101_3^15 - 7713182040132913720414012553641879057371528666682922813100983499294\ 30026536312660923/2500545785286179918285677377555281877884724521110\ 737774586680184591260992210159*c_0101_3^14 + 1078936114446282040074282532584225927719785590070083214278313150645\ 674922182587075849/250054578528617991828567737755528187788472452111\ 0737774586680184591260992210159*c_0101_3^13 - 5978287005121108746482442440096909503476183021659405294208504934009\ 6122326365647090/25005457852861799182856773775552818778847245211107\ 37774586680184591260992210159*c_0101_3^12 + 1917295653547955233673307459841228330780482348196472339433527588471\ 93004871290601688/2500545785286179918285677377555281877884724521110\ 737774586680184591260992210159*c_0101_3^11 + 4439615388233175138849340312465705897930409743076767835584271865236\ 72344397135742647/2500545785286179918285677377555281877884724521110\ 737774586680184591260992210159*c_0101_3^10 + 4686165762211423833744259074366063058372496887612368870833369513826\ 14220312067079304/2500545785286179918285677377555281877884724521110\ 737774586680184591260992210159*c_0101_3^9 - 8492545654377803514858986048147477121256350410148669087214114320141\ 07007617757968545/2500545785286179918285677377555281877884724521110\ 737774586680184591260992210159*c_0101_3^8 - 3825898151000976930451523529339027022340762785139652987829901412974\ 13771782500088846/2500545785286179918285677377555281877884724521110\ 737774586680184591260992210159*c_0101_3^7 - 3359303876725885889658690647907344442954187491814930381663592518646\ 67602566802216083/2500545785286179918285677377555281877884724521110\ 737774586680184591260992210159*c_0101_3^6 - 3216176408695588392557435474410739381392809681491711214521124463516\ 30725810251109099/2500545785286179918285677377555281877884724521110\ 737774586680184591260992210159*c_0101_3^5 + 5267720792689786206778298288857809234161169837011573175618325197868\ 56732532194205896/2500545785286179918285677377555281877884724521110\ 737774586680184591260992210159*c_0101_3^4 + 2007136728264710098182031674206759987900857826362983974144104973193\ 79120299228234522/2500545785286179918285677377555281877884724521110\ 737774586680184591260992210159*c_0101_3^3 - 1084034046087536733067823456304309999110100515102834814204952645919\ 76055330717730278/2500545785286179918285677377555281877884724521110\ 737774586680184591260992210159*c_0101_3^2 - 2351009441088881175445127181867213070888902435926063076439968945131\ 8038885764882408/25005457852861799182856773775552818778847245211107\ 37774586680184591260992210159*c_0101_3 + 3570623664751250913950316889827066892882339624040216906556883877444\ 420293022829/250054578528617991828567737755528187788472452111073777\ 4586680184591260992210159, c_0011_0 - 1, c_0011_1 + 972162559620589879501114322612118722335042118625135951270724\ 597339553306/182295384215657936741683850517990951219998871554329501\ 683070655725833709427*c_0101_3^24 + 2407445506807545145941477339745263420612136914119581598967928884859\ 8193331/18229538421565793674168385051799095121999887155432950168307\ 0655725833709427*c_0101_3^23 + 195740744778232293125341037158057032\ 256155583341322012946911965122878183561/182295384215657936741683850\ 517990951219998871554329501683070655725833709427*c_0101_3^22 + 6701064658067771704924138853638465183530876007532432850490557937604\ 99891780/1822953842156579367416838505179909512199988715543295016830\ 70655725833709427*c_0101_3^21 + 14428773984819367966407630152155770\ 67565061010793673802853528658084814453153/1822953842156579367416838\ 50517990951219998871554329501683070655725833709427*c_0101_3^20 + 3892241362433381038134533268177186480990348881043527959487996182740\ 851508964/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^19 + 4605676729513119144044426938301675\ 072607193474867720749537979222683490709322/182295384215657936741683\ 850517990951219998871554329501683070655725833709427*c_0101_3^18 + 5461859362116642250560305865227211134666217476747480872243321709681\ 470631034/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^17 + 1480669213883725072149992744524263\ 1073651990538488645535841146513133507141087/18229538421565793674168\ 3850517990951219998871554329501683070655725833709427*c_0101_3^16 - 2955045068342274434875665605980573523113529253824143892036832112542\ 7010851177/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^15 + 428566377912488147102425934046829\ 41674222173871796676295481946703183650441489/1822953842156579367416\ 83850517990951219998871554329501683070655725833709427*c_0101_3^14 - 6172872030253289419529276024340973241997058869734848935191529850891\ 3411642443/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^13 + 231858573728842123912492909854222\ 40602470610703063745242107722848488835182154/1822953842156579367416\ 83850517990951219998871554329501683070655725833709427*c_0101_3^12 - 2724849324545339003973534588775387742626711218868466131993358640114\ 4954608893/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^11 - 100137568778675804717078826446334\ 73437614323345352508950254352128844779189249/1822953842156579367416\ 83850517990951219998871554329501683070655725833709427*c_0101_3^10 - 2619319048159439829168904098744121145739318021134785517007493923979\ 7856310435/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^9 + 3894852413978647490754646335711424\ 1534916496945011004886299196202490022346514/18229538421565793674168\ 3850517990951219998871554329501683070655725833709427*c_0101_3^8 + 3309855960201455981522410456097190844626387866923624292823258372810\ 417268004/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^7 + 23540672619027914653174518883678717\ 078830238269571028781698109963539088077395/182295384215657936741683\ 850517990951219998871554329501683070655725833709427*c_0101_3^6 + 1128588424624567164096149229272333468170264828001143163764835443447\ 8420371586/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^5 - 1883210990226351135062533397444016\ 8987545756449314422051610833113374288007568/18229538421565793674168\ 3850517990951219998871554329501683070655725833709427*c_0101_3^4 - 2539213038671139670925280855752282580450471304002395842928279369646\ 230988370/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^3 + 10097358999373347364131352241726977\ 16006491462482617300893852271584964585524/1822953842156579367416838\ 50517990951219998871554329501683070655725833709427*c_0101_3^2 + 1366626081387276294570969155804966021064880607718744766790953013681\ 16277528/1822953842156579367416838505179909512199988715543295016830\ 70655725833709427*c_0101_3 + 15837281504160594461001337145984138687\ 6743784296291725124722234860544008714/18229538421565793674168385051\ 7990951219998871554329501683070655725833709427, c_0011_4 + 721739993708363197537451579092580425330380962014672361821117\ 039919095515/182295384215657936741683850517990951219998871554329501\ 683070655725833709427*c_0101_3^24 + 1773389604491664135708821073895288848176116804225261942439562837518\ 9339590/18229538421565793674168385051799095121999887155432950168307\ 0655725833709427*c_0101_3^23 + 141740965244520742183885524508658871\ 880363294111396652563285915819857439735/182295384215657936741683850\ 517990951219998871554329501683070655725833709427*c_0101_3^22 + 4661747234874093444983914168662680647891731586249838494874389902601\ 98535396/1822953842156579367416838505179909512199988715543295016830\ 70655725833709427*c_0101_3^21 + 94813875267579317535540790195147101\ 5539040027097003130944039689226907576301/18229538421565793674168385\ 0517990951219998871554329501683070655725833709427*c_0101_3^20 + 2587602321580432473933611902600479299155964849203353399218439043008\ 658552884/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^19 + 2648198078874747386909407121918028\ 727439153758934794771990530406058220755356/182295384215657936741683\ 850517990951219998871554329501683070655725833709427*c_0101_3^18 + 2819558051576460511164036517727521865372085422217976571543031637009\ 818894376/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^17 + 9466468804192319589425909724169406\ 634054015545331460124722947536628666729975/182295384215657936741683\ 850517990951219998871554329501683070655725833709427*c_0101_3^16 - 2501173742419817902509442432497176195714065573526993850833065576721\ 5462599516/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^15 + 337393963450839851620944549216099\ 54673404242155808184100717432171906499360049/1822953842156579367416\ 83850517990951219998871554329501683070655725833709427*c_0101_3^14 - 4846293679352313444122631537582178207196799085820837002407465787140\ 4647529711/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^13 + 201482252820147805236314386838861\ 95625104925512266970191754669263584687576388/1822953842156579367416\ 83850517990951219998871554329501683070655725833709427*c_0101_3^12 - 1547758620274134419896061163043871598097321945685227364388078198607\ 3224059472/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^11 - 677777298273796894652582445779525\ 3909885001180611332815524561958591944960652/18229538421565793674168\ 3850517990951219998871554329501683070655725833709427*c_0101_3^10 - 1352106700799781178974156964724170733558320350753050853194033789345\ 5924777623/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^9 + 3404941067951013999589752716797220\ 2570273189826040784298694302254732044354273/18229538421565793674168\ 3850517990951219998871554329501683070655725833709427*c_0101_3^8 + 1409472919150920228566935001509585967948247891272587934360613423994\ 101617420/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^7 + 12532759835974586347675580373785707\ 638403162739348851468480284838115046017037/182295384215657936741683\ 850517990951219998871554329501683070655725833709427*c_0101_3^6 + 5103770584727387113591887733824469640498982735955856803427069775762\ 972372039/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^5 - 19358228220909974294808193974854771\ 702365656239500779709159490003601146996179/182295384215657936741683\ 850517990951219998871554329501683070655725833709427*c_0101_3^4 - 8051010533680384857560293675481413844491122503116730682031954400658\ 16733092/1822953842156579367416838505179909512199988715543295016830\ 70655725833709427*c_0101_3^3 + 289434665715841477996832536816177038\ 6866960927640182202701383218675504465306/18229538421565793674168385\ 0517990951219998871554329501683070655725833709427*c_0101_3^2 + 1762018871410585294185103096984317169096765034559840086520430839171\ 52542975/1822953842156579367416838505179909512199988715543295016830\ 70655725833709427*c_0101_3 + 13200139253991639221191742857175691499\ 7685602316239531455275735990013162657/18229538421565793674168385051\ 7990951219998871554329501683070655725833709427, c_0011_6 - 761370781044411305798584104241033647680973115918432917778708\ 617705009687/182295384215657936741683850517990951219998871554329501\ 683070655725833709427*c_0101_3^24 - 1873722605521792433241947404703183807125910029740012828620562551758\ 1028173/18229538421565793674168385051799095121999887155432950168307\ 0655725833709427*c_0101_3^23 - 150244723724569640256921123369436341\ 493145154058554936198834425019841983382/182295384215657936741683850\ 517990951219998871554329501683070655725833709427*c_0101_3^22 - 4974358532777715418969156937319547317661142348344716593881989981695\ 72990661/1822953842156579367416838505179909512199988715543295016830\ 70655725833709427*c_0101_3^21 - 10180759511223619339777723946858866\ 98398932072901766033038716428718900810449/1822953842156579367416838\ 50517990951219998871554329501683070655725833709427*c_0101_3^20 - 2763836475803296519937032333173746909374893301673365734517998096341\ 610607861/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^19 - 2887916891950191735586216642432448\ 097865265578007099137272220248239316426393/182295384215657936741683\ 850517990951219998871554329501683070655725833709427*c_0101_3^18 - 3051734268084185531385908622907610010408408460916462170159860933183\ 165637233/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^17 - 1005279559181649363350102656450496\ 6718074838021450425893153440600634166236765/18229538421565793674168\ 3850517990951219998871554329501683070655725833709427*c_0101_3^16 + 2606580858183396546526032598209265478634127457299527055544102389902\ 4696226090/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^15 - 344331333993397233580558222962850\ 89305801962841972078035411379728763079678478/1822953842156579367416\ 83850517990951219998871554329501683070655725833709427*c_0101_3^14 + 4966157648275403971546050867593131087842587770039810382673609573537\ 3160736535/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^13 - 190656405343489174639430016369210\ 55521774236944039096089948263273697592835544/1822953842156579367416\ 83850517990951219998871554329501683070655725833709427*c_0101_3^12 + 1523094326417666617821160487219029671831258979944517261217397219051\ 5726141823/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^11 + 777487299962758849990504115309178\ 8731853070594349559374051990809405009379152/18229538421565793674168\ 3850517990951219998871554329501683070655725833709427*c_0101_3^10 + 1432635893432802879544557123902900186989026984182325108602615499715\ 6961567788/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^9 - 3546041087946653512712627321420380\ 8899838493148143810400908367266151349742170/18229538421565793674168\ 3850517990951219998871554329501683070655725833709427*c_0101_3^8 - 3277034646533134051496673408953218974098654841555632514841132807843\ 835901321/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^7 - 13088950901279095258534494131626766\ 495719102894346480176733521639071022952825/182295384215657936741683\ 850517990951219998871554329501683070655725833709427*c_0101_3^6 - 5994106867342289323752199447959774487482557175119203217126354224884\ 839590424/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^5 + 20389211370046393740668320398923490\ 160102472531573562779842961895203260670355/182295384215657936741683\ 850517990951219998871554329501683070655725833709427*c_0101_3^4 + 2046198099020985440011022041268060873383812042766550045741507644106\ 645221048/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^3 - 30068697626287338876001609575183659\ 10955146131964528325471970690235647438176/1822953842156579367416838\ 50517990951219998871554329501683070655725833709427*c_0101_3^2 - 3370581860507032787940874201512343529374175498919466562099637093573\ 52738013/1822953842156579367416838505179909512199988715543295016830\ 70655725833709427*c_0101_3 - 16964226191371682898949166025288853652\ 7850124377453104947528184789459727964/18229538421565793674168385051\ 7990951219998871554329501683070655725833709427, c_0101_0 + 608661405309457649054101792582105324965446909629821764027281\ 603365240178/182295384215657936741683850517990951219998871554329501\ 683070655725833709427*c_0101_3^24 + 1480668655785862255620074404113809558690230020376517061427028388083\ 2075087/18229538421565793674168385051799095121999887155432950168307\ 0655725833709427*c_0101_3^23 + 115794397447809135189653139600806911\ 920602390847984554716042333386154595101/182295384215657936741683850\ 517990951219998871554329501683070655725833709427*c_0101_3^22 + 3618028341529293057580221203164795820498785107454527264283409996987\ 49172286/1822953842156579367416838505179909512199988715543295016830\ 70655725833709427*c_0101_3^21 + 68573327038354362143193555678892451\ 6661038066633014900844195960128657527044/18229538421565793674168385\ 0517990951219998871554329501683070655725833709427*c_0101_3^20 + 1922406391155370436449078524886824410527638516949477439042615731866\ 490588577/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^19 + 1555295590355883509073032517496822\ 190063577853228712608383610978268598965936/182295384215657936741683\ 850517990951219998871554329501683070655725833709427*c_0101_3^18 + 1457436821848412839702362831884295042612409256466442881307871905003\ 098654831/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^17 + 6900963354445984647857296397913924\ 227751221498010708898438187573793265528911/182295384215657936741683\ 850517990951219998871554329501683070655725833709427*c_0101_3^16 - 2359079566698777723388628134744335284474105647708216289776060772409\ 4173814939/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^15 + 322736662631838146660651249617064\ 23665410208388201399995106662401383668012001/1822953842156579367416\ 83850517990951219998871554329501683070655725833709427*c_0101_3^14 - 4554605309727582716144791142244256373894265466452376577997301959600\ 5382675069/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^13 + 247009606573620093290872732494093\ 77988649968918812199944236507951850678549161/1822953842156579367416\ 83850517990951219998871554329501683070655725833709427*c_0101_3^12 - 1336703553170543970935734081303214125353372577610959447209472277606\ 1458968128/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^11 - 150711205959041188630801046984750\ 6378873283849474486841152205129090240149973/18229538421565793674168\ 3850517990951219998871554329501683070655725833709427*c_0101_3^10 - 8972802361427564797220992142808527817756230222906996845233386085875\ 308499233/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^9 + 33875956916543920271983594796199319\ 843977600483525897206139967520135934342411/182295384215657936741683\ 850517990951219998871554329501683070655725833709427*c_0101_3^8 - 3595805236443994416911385741211213603319999038144434959708023886473\ 366584475/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^7 + 74193529712645881961609196191685820\ 54569101543267044027611140409742843727493/1822953842156579367416838\ 50517990951219998871554329501683070655725833709427*c_0101_3^6 - 5416724735499864638842301278572507361308467672563364165207611887390\ 98643510/1822953842156579367416838505179909512199988715543295016830\ 70655725833709427*c_0101_3^5 - 196557602155596161427711833430481240\ 25085783793716371629405018014832671881376/1822953842156579367416838\ 50517990951219998871554329501683070655725833709427*c_0101_3^4 + 8880769683164840229650841494791349178615823013215357237890180166504\ 59294949/1822953842156579367416838505179909512199988715543295016830\ 70655725833709427*c_0101_3^3 + 388411125773459427923876143943180593\ 6348187248477007386216012750615459239731/18229538421565793674168385\ 0517990951219998871554329501683070655725833709427*c_0101_3^2 + 4724825666706887119241826713421960324647675673886493678719805820208\ 61259238/1822953842156579367416838505179909512199988715543295016830\ 70655725833709427*c_0101_3 + 44416542400436261240378992358742771331\ 422096471455044995640175297237336331/182295384215657936741683850517\ 990951219998871554329501683070655725833709427, c_0101_1 - 795550262815489431788497059495527985907865753886195656286196\ 318419785293/182295384215657936741683850517990951219998871554329501\ 683070655725833709427*c_0101_3^24 - 1974872893413837189984794037381630196605457196246358627942943102861\ 1637124/18229538421565793674168385051799095121999887155432950168307\ 0655725833709427*c_0101_3^23 - 161271508268957037163936837706400677\ 121352749130798285964970365359735869796/182295384215657936741683850\ 517990951219998871554329501683070655725833709427*c_0101_3^22 - 5556644688872908686877248492960665364422261864024784439790506824511\ 48141393/1822953842156579367416838505179909512199988715543295016830\ 70655725833709427*c_0101_3^21 - 11946685941064351417705538268541657\ 17790472434588611802810013984683488094417/1822953842156579367416838\ 50517990951219998871554329501683070655725833709427*c_0101_3^20 - 3190540781697066387475274586255341189999305256641135721774304479135\ 609407798/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^19 - 3817865560553518486812091314977084\ 442117735681937065211259067450573538920895/182295384215657936741683\ 850517990951219998871554329501683070655725833709427*c_0101_3^18 - 4311009042400049436542588210137119021093001337038391755495020171985\ 378324883/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^17 - 1192145528973769552672559131414215\ 5637227384519431418562427086453127212071149/18229538421565793674168\ 3850517990951219998871554329501683070655725833709427*c_0101_3^16 + 2401995231039288977048887702531172588097546778456764556301210228595\ 7147067210/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^15 - 321315291139811626544937639222086\ 25411251812375970239376631254035972901329266/1822953842156579367416\ 83850517990951219998871554329501683070655725833709427*c_0101_3^14 + 4560572553736220406185469322768388466854146250375742835158444500777\ 7834384381/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^13 - 116874688970240161552633411467826\ 01475203310678020217182578467322631034566080/1822953842156579367416\ 83850517990951219998871554329501683070655725833709427*c_0101_3^12 + 1504714191417398651839014446371310789962204294596175743049590401136\ 0039670317/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^11 + 120572975703341405904693785742993\ 93912290092026120215063844098375852557632239/1822953842156579367416\ 83850517990951219998871554329501683070655725833709427*c_0101_3^10 + 1890581550637373086809216436742998548245572497263055987330056456656\ 1741237079/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^9 - 3151303766334318429715580531161359\ 4929229074052308324324940298298537563335628/18229538421565793674168\ 3850517990951219998871554329501683070655725833709427*c_0101_3^8 - 7264128500088046034112406943746993042162466240974336675625621623395\ 293649730/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^7 - 15857437929147258166109050693752350\ 495251082977932160006435630619156861142864/182295384215657936741683\ 850517990951219998871554329501683070655725833709427*c_0101_3^6 - 1023736395064355489036548812963100241416903884582255810533892234519\ 9682499344/18229538421565793674168385051799095121999887155432950168\ 3070655725833709427*c_0101_3^5 + 1734626781914531573977585519093482\ 2878004050014082052957473560749013877806203/18229538421565793674168\ 3850517990951219998871554329501683070655725833709427*c_0101_3^4 + 4136644437186447197744758305025918463716327382515094292207647481936\ 495174388/182295384215657936741683850517990951219998871554329501683\ 070655725833709427*c_0101_3^3 - 23907638305899038475783346316775838\ 75405591177776458570514943059327121591236/1822953842156579367416838\ 50517990951219998871554329501683070655725833709427*c_0101_3^2 - 2147104800871930931778222266492348962895814884100053020315942543687\ 64234310/1822953842156579367416838505179909512199988715543295016830\ 70655725833709427*c_0101_3 - 69122594323590552818025050970261425547\ 931106621084682043552540206924577972/182295384215657936741683850517\ 990951219998871554329501683070655725833709427, c_0101_3^25 + 25*c_0101_3^24 + 207*c_0101_3^23 + 732*c_0101_3^22 + 1607*c_0101_3^21 + 4213*c_0101_3^20 + 5367*c_0101_3^19 + 5892*c_0101_3^18 + 15464*c_0101_3^17 - 28158*c_0101_3^16 + 33605*c_0101_3^15 - 47870*c_0101_3^14 + 810*c_0101_3^13 - 10934*c_0101_3^12 - 20490*c_0101_3^11 - 23423*c_0101_3^10 + 36256*c_0101_3^9 + 19202*c_0101_3^8 + 18377*c_0101_3^7 + 16401*c_0101_3^6 - 22095*c_0101_3^5 - 10274*c_0101_3^4 + 3210*c_0101_3^3 + 1081*c_0101_3^2 + 278*c_0101_3 + 43 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB