Magma V2.19-8 Tue Aug 20 2013 16:16:01 on localhost [Seed = 1393741718] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0267 geometric_solution 4.31465049 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.784495468112 0.078678317465 0 0 2 2 0132 2310 2310 0132 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 0 0 0 0 0 0 0 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.576651530615 0.319463147316 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 -1 0 1 -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 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 1.090570274539 0.192141844573 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 1 -1 1 0 0 -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 -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.891901505048 0.345403317607 5 3 6 6 2103 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 1 -1 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 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.407316970656 0.803487166585 6 6 4 3 1023 3201 2103 0132 0 0 0 0 0 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 -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.407316970656 0.803487166585 4 5 5 4 3201 1023 2310 0132 0 0 0 0 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 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.501931734272 0.990127434022 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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' : negation(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' : negation(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' : negation(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' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_2']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_2'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 45542312750365695555005893054444192870298459543005431629303/1982989\ 054461882859791980228159260578066986345313002255090*c_0101_4^23 + 8178566158279202705334896720241648491305198572335975327348/90135866\ 111903766354180919461784571730317561150591011595*c_0101_4^22 - 163359402846319339223885893824150320972841057036367253408174/991494\ 527230941429895990114079630289033493172656501127545*c_0101_4^21 - 445592531807029771770824891153491837201763178982024430774307/991494\ 527230941429895990114079630289033493172656501127545*c_0101_4^20 - 45699717291519444781417263005214895224565251492489377889587/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^19 - 4865394490274838638538307675796258158668637565816738183775519/99149\ 4527230941429895990114079630289033493172656501127545*c_0101_4^18 - 8848580826413818437126638240457000903094137161086291564948579/99149\ 4527230941429895990114079630289033493172656501127545*c_0101_4^17 - 11116000602660713101151712307964307947814070843180680688569049/9914\ 94527230941429895990114079630289033493172656501127545*c_0101_4^16 - 46114898731482649052786656105862518133942591903473585952796741/1982\ 989054461882859791980228159260578066986345313002255090*c_0101_4^15 - 22923186674048701115405729747685006540314388996363186564183282/9914\ 94527230941429895990114079630289033493172656501127545*c_0101_4^14 - 191156795259393315374375683146443318241694210927985830323042497/991\ 494527230941429895990114079630289033493172656501127545*c_0101_4^13 - 135768279506506376354768860828075298293434927207141237549205987/198\ 2989054461882859791980228159260578066986345313002255090*c_0101_4^12 - 20520850805806251483149243470500879073627306293220252726413246/99\ 1494527230941429895990114079630289033493172656501127545*c_0101_4^11 - 290064179157737047913968901253462984114727476367587396840017641/9\ 91494527230941429895990114079630289033493172656501127545*c_0101_4^1\ 0 - 781383164416172370051409699674210509434168448624951778525192301\ /991494527230941429895990114079630289033493172656501127545*c_0101_4\ ^9 - 12544405971198065580870757046100618528418714005065182566710758\ 6/991494527230941429895990114079630289033493172656501127545*c_0101_\ 4^8 + 7185940268916552005773932271905998224244768592339474939986335\ 48/991494527230941429895990114079630289033493172656501127545*c_0101\ _4^7 + 144306946670054522466095167386952996222251604001564396124980\ 8369/1982989054461882859791980228159260578066986345313002255090*c_0\ 101_4^6 + 192482779365747572386431258971352511680292915209789267197\ 553937/1982989054461882859791980228159260578066986345313002255090*c\ _0101_4^5 - 1734917667727247275890345017767858293810130201606264107\ 2231547/396597810892376571958396045631852115613397269062600451018*c\ _0101_4^4 + 1378313066505493228754079175951199094585104967732429763\ 0213889/396597810892376571958396045631852115613397269062600451018*c\ _0101_4^3 + 3594977371681717530320899495624314466939208306808709481\ 965341/396597810892376571958396045631852115613397269062600451018*c_\ 0101_4^2 - 42894883076575412409654141122977762941485751587228478597\ 93691/1982989054461882859791980228159260578066986345313002255090*c_\ 0101_4 + 9316630740934126314655681957727286210156127762078945332120\ 7/991494527230941429895990114079630289033493172656501127545, c_0011_0 - 1, c_0011_2 + 6806784429825345254133374160191319851218139390192294813/3605\ 4346444761506541672367784713828692127024460236404638*c_0101_4^23 + 27763285395799858612125129122321695842421800072794455037/3605434644\ 4761506541672367784713828692127024460236404638*c_0101_4^22 - 22652090989768503470809323442811664647606935979619370110/1802717322\ 2380753270836183892356914346063512230118202319*c_0101_4^21 - 69568095340086197266582658106527786018136937849257770530/1802717322\ 2380753270836183892356914346063512230118202319*c_0101_4^20 - 393433715872309717181924246857283131215952232512154194801/360543464\ 44761506541672367784713828692127024460236404638*c_0101_4^19 - 751932197119300327126524328705152610429863034549678030352/180271732\ 22380753270836183892356914346063512230118202319*c_0101_4^18 - 2835445150279297553068564378616849796755099972334903152127/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^17 - 3678203669780068080805564612901254650842712788844260582469/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^16 - 3672636872092813354837634337705286758198233773807272730303/18027173\ 222380753270836183892356914346063512230118202319*c_0101_4^15 - 3883585822137946614926215220610865978633212927269357783217/18027173\ 222380753270836183892356914346063512230118202319*c_0101_4^14 - 58093908349406091567049503285247774574453157323450143775517/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^13 - 13832391319239843976728375536056089967602009133449541124703/1802717\ 3222380753270836183892356914346063512230118202319*c_0101_4^12 - 4717102704484992403849696449375432096607464991437490498843/18027173\ 222380753270836183892356914346063512230118202319*c_0101_4^11 - 87500934686506001492108232549851083964963539456257817056861/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^10 - 122387454034862318382462068478956976657171636793280683761390/180271\ 73222380753270836183892356914346063512230118202319*c_0101_4^9 - 68410689750957074778037156827515937532400966059321644744493/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^8 + 207388598138878935782358281351484614102953228388397795558059/360543\ 46444761506541672367784713828692127024460236404638*c_0101_4^7 + 121798496043303324658211242584926840919673609233883326610511/180271\ 73222380753270836183892356914346063512230118202319*c_0101_4^6 + 58846004445918307745878711439039810040053887292778102913689/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^5 - 7308609726768869407745885216542779721656261389204865465149/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^4 + 8429953825335546598927693585352110593903415736393761468859/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^3 + 3965003845981097624220821080663622118964608066343558451697/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^2 - 248812678508875954062616292512430234353225159353124642043/360543464\ 44761506541672367784713828692127024460236404638*c_0101_4 - 35321176418563799418002595097929963326959188071306053652/1802717322\ 2380753270836183892356914346063512230118202319, c_0011_5 - 6627081931800187029343148049263000665465062319409029277/3605\ 4346444761506541672367784713828692127024460236404638*c_0101_4^23 - 27165226051007459931201331499706074230832479420024656987/3605434644\ 4761506541672367784713828692127024460236404638*c_0101_4^22 + 21802245641925305423161798398962337101970107856111520004/1802717322\ 2380753270836183892356914346063512230118202319*c_0101_4^21 + 68274945681043456328553409976263145778961675004192604531/1802717322\ 2380753270836183892356914346063512230118202319*c_0101_4^20 + 385488083677255552387814329876056811093364896968522897037/360543464\ 44761506541672367784713828692127024460236404638*c_0101_4^19 + 735499513236057024214097270474947431748152627249010355872/180271732\ 22380753270836183892356914346063512230118202319*c_0101_4^18 + 2787719728283366899313776231359713195987165741972321231503/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^17 + 3627176455053950754550165403561380236661591613160349996543/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^16 + 3602586179379926836216718122262323379103959287172590109390/18027173\ 222380753270836183892356914346063512230118202319*c_0101_4^15 + 3841804699451171824380389864171185195585462523592702341390/18027173\ 222380753270836183892356914346063512230118202319*c_0101_4^14 + 56666135566032158492659243553299679383833633635850928623915/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^13 + 14017607727342641473426781783670473552060469527224267041217/1802717\ 3222380753270836183892356914346063512230118202319*c_0101_4^12 + 4669934276786831756120867811370652907640308917689554703132/18027173\ 222380753270836183892356914346063512230118202319*c_0101_4^11 + 85203700927214557603043354308255254081061272710040912605899/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^10 + 120000316060467215381331859230295194433342520879140523765048/180271\ 73222380753270836183892356914346063512230118202319*c_0101_4^9 + 70919639211345840478703015907266131737834945758594122572315/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^8 - 202292299761773772282850651300577718654333930731501407837261/360543\ 46444761506541672367784713828692127024460236404638*c_0101_4^7 - 120803816218997527945379175206984374940663744371414932733852/180271\ 73222380753270836183892356914346063512230118202319*c_0101_4^6 - 60557506793871566664421440098508353633581973262851503369683/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^5 + 7632562294256377911223897808602033825792655970335882088875/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^4 - 7872097289556426584548500615877422578831069074966152464683/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^3 - 4128576221929447276733875151170150746742175814193055155445/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^2 + 231056700649753961788244092186223685478518201831572700405/360543464\ 44761506541672367784713828692127024460236404638*c_0101_4 + 36728098509639457271329649960191656784203625125848909000/1802717322\ 2380753270836183892356914346063512230118202319, c_0101_0 - 908772059510922376840417023977218516034601524403811893/36054\ 346444761506541672367784713828692127024460236404638*c_0101_4^23 - 3175047152235162279557688990151635798279688087513831499/36054346444\ 761506541672367784713828692127024460236404638*c_0101_4^22 + 8101303426849036264877278525056493282193005378302953691/36054346444\ 761506541672367784713828692127024460236404638*c_0101_4^21 + 7309957040473172883947653596128744212668992141041998320/18027173222\ 380753270836183892356914346063512230118202319*c_0101_4^20 + 42621602058391775368105536069724887365106030781230479991/3605434644\ 4761506541672367784713828692127024460236404638*c_0101_4^19 + 85980501937331212594908856151217296777528481208132002811/1802717322\ 2380753270836183892356914346063512230118202319*c_0101_4^18 + 133461947299425037748315142869817496038432881850666391467/180271732\ 22380753270836183892356914346063512230118202319*c_0101_4^17 + 146242211277911820349719377723499518347335723604941964502/180271732\ 22380753270836183892356914346063512230118202319*c_0101_4^16 + 365527556785798393751512781953315685729777996050486112042/180271732\ 22380753270836183892356914346063512230118202319*c_0101_4^15 + 508721167639495384974300744038031146766659199161139631139/360543464\ 44761506541672367784713828692127024460236404638*c_0101_4^14 + 3626877119945328990358182292619348786218896471283732968813/18027173\ 222380753270836183892356914346063512230118202319*c_0101_4^13 - 759363836514099243049243310712028678022333455775320498837/360543464\ 44761506541672367784713828692127024460236404638*c_0101_4^12 + 24190090996536741644376629512025180967375722099343353577/1802717322\ 2380753270836183892356914346063512230118202319*c_0101_4^11 + 10974711891893290241018642658798542400771841692567488230587/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^10 + 13007114345141446581171583491273892616908160066318090199711/1802717\ 3222380753270836183892356914346063512230118202319*c_0101_4^9 - 4293445750934264760144390865923914079005535390927692941192/18027173\ 222380753270836183892356914346063512230118202319*c_0101_4^8 - 14750628999104933119754028494461390010274048320742466710372/1802717\ 3222380753270836183892356914346063512230118202319*c_0101_4^7 - 8398250563450619421162503567590433750089945933691411875488/18027173\ 222380753270836183892356914346063512230118202319*c_0101_4^6 + 3969494572004410812658983765292952959175154984981311157123/18027173\ 222380753270836183892356914346063512230118202319*c_0101_4^5 + 1463369523495835401008109214002081404950121427155579140752/18027173\ 222380753270836183892356914346063512230118202319*c_0101_4^4 - 1513577099954273514087689028244606317010542168249054830383/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^3 + 48003797722333363809829329421493522625620235019120211774/1802717322\ 2380753270836183892356914346063512230118202319*c_0101_4^2 + 236867091580600397494864514693469853026075226931000057735/360543464\ 44761506541672367784713828692127024460236404638*c_0101_4 - 1722520034035124401152605553159636645321422146732105575/36054346444\ 761506541672367784713828692127024460236404638, c_0101_1 - 4308761984278077437677947499246953427091309439804687265/3605\ 4346444761506541672367784713828692127024460236404638*c_0101_4^23 - 17923784695566989312986706920668610768007754692209664101/3605434644\ 4761506541672367784713828692127024460236404638*c_0101_4^22 + 13791043312435797147011764745852442072128342043029519813/1802717322\ 2380753270836183892356914346063512230118202319*c_0101_4^21 + 91574074872907380797306494146769879629123668213976612033/3605434644\ 4761506541672367784713828692127024460236404638*c_0101_4^20 + 126695716962755803361229823674836798645680870991367835098/180271732\ 22380753270836183892356914346063512230118202319*c_0101_4^19 + 966822766017367592906508258679153864639863985219785068917/360543464\ 44761506541672367784713828692127024460236404638*c_0101_4^18 + 927913036744784937168196401459369477837745383242472585661/180271732\ 22380753270836183892356914346063512230118202319*c_0101_4^17 + 2409575464568500981912186343006350059260483317564265587289/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^16 + 4734549045448931411560771728718789759158074451067653931449/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^15 + 5170518952846175971654122340790845902867164176368070124523/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^14 + 36883033595758268854845239917598033361414855818605441450215/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^13 + 20268996579494474454581943394534373462668919500147735873075/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^12 + 2352947296440282302879057570549055443591034707833974596451/18027173\ 222380753270836183892356914346063512230118202319*c_0101_4^11 + 55909789433743666405832400430384594362257861932081557895609/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^10 + 79516648381880168199301801409738129505552256481066722586718/1802717\ 3222380753270836183892356914346063512230118202319*c_0101_4^9 + 51835118316325712161893540426898139383310022361898585519715/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^8 - 68763675942293993915219436407692471810775768023961014411076/1802717\ 3222380753270836183892356914346063512230118202319*c_0101_4^7 - 81536377634656310907299761765336466723979963539205435470137/1802717\ 3222380753270836183892356914346063512230118202319*c_0101_4^6 - 40380670480144467235015978646962507436827019091409767829851/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^5 + 4275197022120666076779336346982379347113060835131869550427/18027173\ 222380753270836183892356914346063512230118202319*c_0101_4^4 - 5888006158124158315772479724309319018253323701503944882863/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^3 - 3002173734895076942707602699632077944454642325677204791567/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^2 + 209314385253495655521538607121310902303863566468734002253/180271732\ 22380753270836183892356914346063512230118202319*c_0101_4 + 39079844613425312766031424899955234883454168588320837533/3605434644\ 4761506541672367784713828692127024460236404638, c_0101_3 - 7271044083727099376168210490850420754845664632306822223/3605\ 4346444761506541672367784713828692127024460236404638*c_0101_4^23 - 29558052196692787556433960077712006120402239401884856389/3605434644\ 4761506541672367784713828692127024460236404638*c_0101_4^22 + 24376420594385272559676336953831910960297035454779470495/1802717322\ 2380753270836183892356914346063512230118202319*c_0101_4^21 + 147822841376698348943000949344305166248415541839783248163/360543464\ 44761506541672367784713828692127024460236404638*c_0101_4^20 + 209336229051334111218600624668048851268155189041565868829/180271732\ 22380753270836183892356914346063512230118202319*c_0101_4^19 + 1601325976292561420842930992293444391348086921448493859961/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^18 + 1504496386369672945678350518474401342336456886757004591809/18027173\ 222380753270836183892356914346063512230118202319*c_0101_4^17 + 3895958285842509712381754634281032331835550975809553184745/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^16 + 7804258675787123141975103562929813765091021416589969134105/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^15 + 8202925294113471743446409162802549863742747290606455552519/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^14 + 61977697617441059008932768628782135182890420479311450899507/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^13 + 28726327455807141086635923135842329371123566492473820610267/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^12 + 5015313119354345657847808023324288817501608181789483538682/18027173\ 222380753270836183892356914346063512230118202319*c_0101_4^11 + 93217362122841178367793298061550755870093529974145271220861/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^10 + 130130687354696525691211807869287425019060168386570316350312/180271\ 73222380753270836183892356914346063512230118202319*c_0101_4^9 + 70049896084024929215039879532107420327234435055515292512853/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^8 - 110705010178855107534089001300767690797065201547322204281461/180271\ 73222380753270836183892356914346063512230118202319*c_0101_4^7 - 128877901003155691175795428845522271903116863638199730207441/180271\ 73222380753270836183892356914346063512230118202319*c_0101_4^6 - 60548461965563963291581096992598157016650151864804517382435/3605434\ 6444761506541672367784713828692127024460236404638*c_0101_4^5 + 4020964610684436571318406498183609098912294387239158774118/18027173\ 222380753270836183892356914346063512230118202319*c_0101_4^4 - 8736455733300605886489375256769055681900837183282405639901/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^3 - 4038838233311686834567076149765437299271184265994451201277/36054346\ 444761506541672367784713828692127024460236404638*c_0101_4^2 + 117567939437810980754253006075478480039156430725273599094/180271732\ 22380753270836183892356914346063512230118202319*c_0101_4 + 73157042139851364606250615853124653738705920054075010211/3605434644\ 4761506541672367784713828692127024460236404638, c_0101_4^24 + 4*c_0101_4^23 - 7*c_0101_4^22 - 20*c_0101_4^21 - 56*c_0101_4^20 - 216*c_0101_4^19 - 398*c_0101_4^18 - 503*c_0101_4^17 - 1029*c_0101_4^16 - 1047*c_0101_4^15 - 8424*c_0101_4^14 - 3375*c_0101_4^13 - 877*c_0101_4^12 - 12737*c_0101_4^11 - 34917*c_0101_4^10 - 6937*c_0101_4^9 + 31964*c_0101_4^8 + 33302*c_0101_4^7 + 5175*c_0101_4^6 - 2282*c_0101_4^5 + 1355*c_0101_4^4 + 480*c_0101_4^3 - 112*c_0101_4^2 - 6*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB