Magma V2.19-8 Tue Aug 20 2013 16:18:54 on localhost [Seed = 3086363330] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3058 geometric_solution 6.22817661 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 0213 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.290600016686 1.031615120332 0 4 0 5 0132 0132 0213 0132 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.124419783653 0.875427130411 6 6 5 0 0132 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.004801817178 0.769455810589 4 5 0 5 3120 0321 0132 2031 0 0 0 0 0 1 -1 0 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 -1 0 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.492973594060 0.530195500618 4 1 4 3 2310 0132 3201 3120 0 0 0 0 0 1 0 -1 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.543579281318 0.814239877876 2 3 1 3 2310 1302 0132 0321 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 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.089274033550 1.192829335501 2 6 2 6 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.695023952299 1.593994126522 ==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' : negation(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' : negation(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' : d['c_0011_2'], 'c_1100_5' : d['c_1001_3'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : negation(d['c_0101_4']), 'c_1010_0' : d['c_1001_3']})} 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_3, c_0011_5, c_0101_0, c_0101_4, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 131691567839909291161829470227388281442443307728858/159107536804738\ 4608886420290683176911951497581002937*c_1001_3^27 + 2203021451289950814141150145785989580368843399242783/15910753680473\ 84608886420290683176911951497581002937*c_1001_3^26 - 8132696432197296387589816113477928666892650446675167/15910753680473\ 84608886420290683176911951497581002937*c_1001_3^25 - 6366640679105254162536722044668503862432599240134256/15910753680473\ 84608886420290683176911951497581002937*c_1001_3^24 + 418015920065333849833568363373940304426367847935897/217955529869504\ 74094334524529906533040431473712369*c_1001_3^23 + 14128761673718820658681688239865781591413371814980664/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^22 + 34400145181717013238550523667346792931669964071960940/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^21 + 158210231729556739664247453281859426636753245504668312/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^20 - 173978277445068337186815599032917874927794952723822690/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^19 - 1164504175542881775953455216226149010032811727149012113/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^18 - 675788013001310792253892720438834251872528534962274875/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^17 + 1479196705271541366955263743793860022994225633440899992/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^16 + 1284388648355920883297938413248935810224527219325685569/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^15 + 2036573650906385738938540004332858662174807245617450041/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^14 + 3761880173225193499607679945854399757434705959395448076/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^13 - 4582056691559696341195103476876357711572007102933636478/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^12 - 9926048503344410198609150599965318599107428892846032354/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^11 + 2682117296171556060588659397310448765409771677926537789/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^10 + 9122918828760623805910022056812830237074578280723218260/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^9 - 1018198639936117766446285032493730505153270231304173986/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^8 - 5542625373864306098376220574307791010168585876647582540/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^7 - 376813379615688456592949303950167895172710945489150109/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^6 + 2174574235876671487123256777705240912468496434954853854/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^5 + 482798162313064420223926935777607678024609694247760627/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^4 - 705327562664084050734724819974523686608986529864441303/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^3 - 293236140806109050142432642370224236936067508986882059/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^2 + 21215152317057287449190135725276479023320445218005161/1591075368047\ 384608886420290683176911951497581002937*c_1001_3 - 6594965537022460008103046287672715014813417211183276/15910753680473\ 84608886420290683176911951497581002937, c_0011_0 - 1, c_0011_2 + 342536631837455339495440909718551423300822554572509/15910753\ 68047384608886420290683176911951497581002937*c_1001_3^27 - 3731819117729411062121868219344909293521874666460862/15910753680473\ 84608886420290683176911951497581002937*c_1001_3^26 - 1043379606114910658939531831933862885962556354564977/15910753680473\ 84608886420290683176911951497581002937*c_1001_3^25 + 14230570651183934513359552812304276006703126100111467/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^24 + 194224888129998276582350213809978105495930766506343/217955529869504\ 74094334524529906533040431473712369*c_1001_3^23 + 34353170731587066240193127826193030576261113994727663/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^22 + 61025406070667285774893957635671477238777953329072898/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^21 - 145047825814536325654178162035815708775580677197703864/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^20 - 582171031605976075083254805969062715092850968781784492/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^19 - 399089343064714606151606275611517771904284047213634026/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^18 + 415428314768172464472358594887082767008293849944757160/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^17 + 612897295266649825606573621861222041252804924291698557/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^16 + 1378084797848761929226846375748949005666983703024239126/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^15 + 1896673068568181697350018735821331306467337810880549228/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^14 - 1576545607840207077777474869616157614290753955702560437/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^13 - 3490034764254510539200671202484458314983577683563194398/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^12 + 854778927809687560977450256694869816647085951617338724/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^11 + 2946222634672716867798077304276270226006358634106167309/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^10 - 139129342568490225553451554788352576966564018288888789/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^9 - 1507435359278947687147352907125259225826590705327370907/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^8 - 158945351168408502145705398785630944085556105849590104/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^7 + 550198348447851080780672508799437404616528162537805426/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^6 + 183250029479702365533173447647813821644695379198677423/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^5 - 124539216369153309461039586041762446353706781308328949/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^4 - 64100795860614215825392481040860145234064833149701878/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^3 - 12499507333204121473550240761421571107924334953771364/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^2 - 6904789867637899701933329492808137430075060086585142/15910753680473\ 84608886420290683176911951497581002937*c_1001_3 - 158670265138992970405167326796001599064938740213258/159107536804738\ 4608886420290683176911951497581002937, c_0011_3 + 203178957624360153659049982718960704038846397260814/15910753\ 68047384608886420290683176911951497581002937*c_1001_3^27 - 2185249989144194699889009467911223575413013910721008/15910753680473\ 84608886420290683176911951497581002937*c_1001_3^26 - 954968313974664292511277860029548507585410914117036/159107536804738\ 4608886420290683176911951497581002937*c_1001_3^25 + 8658222324997075094458914034964714732068091637586504/15910753680473\ 84608886420290683176911951497581002937*c_1001_3^24 + 132014194608290553164188629574504141186565594398053/217955529869504\ 74094334524529906533040431473712369*c_1001_3^23 + 20423500233202362015316345216571565653665873506607548/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^22 + 37998994513122477235344831791542165565005268854276285/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^21 - 83755092243695364928286636678394829168278233676342472/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^20 - 361952143176802350878284587622534751121063849892496186/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^19 - 272836489281639203465717747681650480026553800618538770/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^18 + 258858373970247576807522471752540970767425923642428172/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^17 + 426637135378246621587262269358377130343428021782742204/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^16 + 834674213200557600133957986493890524514157919311362432/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^15 + 1192437182657532499148746500669613355763871403514085386/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^14 - 889395236304948422302116858726136605115644166407249628/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^13 - 2342983469637107019392657032827960944953035522457548589/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^12 + 355032891701636214640643248764185773762779324365777936/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^11 + 2080225333165228761510914084177943564895727722114072040/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^10 + 85544180948467573259272943081068224383523278006157424/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^9 - 1123223581981570246048064689015316167030785792905057487/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^8 - 212520716812126175855192395698268694138239078984210056/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^7 + 419842962674410953706687266874588894078833185693093166/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^6 + 175320938248634282987535796280790159537998637647730438/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^5 - 93560565125271845165918812322063818991091024427343078/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^4 - 67054337402202538842204195279696286090021536301688183/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^3 - 8199668127223443998761735520274330953144715114509906/15910753680473\ 84608886420290683176911951497581002937*c_1001_3^2 + 841373927860744240490389862200336927900050159191695/159107536804738\ 4608886420290683176911951497581002937*c_1001_3 + 1851379116919064038099709236477080972958600978892837/15910753680473\ 84608886420290683176911951497581002937, c_0011_5 + 1563556218422981538235117517266714457762108895808/1591075368\ 047384608886420290683176911951497581002937*c_1001_3^27 + 92417096032122162720986209481112793908370494255459/1591075368047384\ 608886420290683176911951497581002937*c_1001_3^26 - 1217022333778163757760426409174792952768852759814588/15910753680473\ 84608886420290683176911951497581002937*c_1001_3^25 - 43105337292417497770153054799985664670183781994459/1591075368047384\ 608886420290683176911951497581002937*c_1001_3^24 + 62395321222874419124140155843086478910187021924035/2179555298695047\ 4094334524529906533040431473712369*c_1001_3^23 + 4010496188546341599921688125968402516018565652828265/15910753680473\ 84608886420290683176911951497581002937*c_1001_3^22 + 10777818938257765205894679778094976648523858195991478/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^21 + 16620908925340451038873818904304530451943701507189612/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^20 - 51913960505698673704030501479214983285866797091161732/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^19 - 179113076364738305506672312542152448048222927829446775/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^18 - 97911846369340306614565361486756334280877807358828336/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^17 + 150316846015032899724633972861817030698683215210112565/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^16 + 189291174011513117735134545564606903375297352325463726/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^15 + 430744052393159788917546291443887806271156986587990209/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^14 + 513108582981710560979277137969438136153425801115385902/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^13 - 607680900663301216340613399395204333708156081681860214/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^12 - 1019627956512901772121895345792225877047978337072400569/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^11 + 389488182822018295388328619289385059204749183714080069/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^10 + 898161613694017545482541430819340383931261543146005363/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^9 - 93525532216389991578436416342847217465767860215453728/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^8 - 493508324489043058693050101525638448432509538626101033/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^7 - 53403038374753144891555982017482619509266497901224184/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^6 + 200652303689625442035326012715298300489015935013502198/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^5 + 68390381730637093566685240970181938662675016872753957/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^4 - 52626683568117170429459836033666398542488583988518272/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^3 - 28766485571294456344380460093123438743937602430792798/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^2 - 2109764969760100196439757386712899333542272683797044/15910753680473\ 84608886420290683176911951497581002937*c_1001_3 + 2505308858459353996359164735069364375128663962011292/15910753680473\ 84608886420290683176911951497581002937, c_0101_0 + 653929741540289958259455498592283402170062983118455/15910753\ 68047384608886420290683176911951497581002937*c_1001_3^27 - 6740912816808836754715369851124528011281714119549556/15910753680473\ 84608886420290683176911951497581002937*c_1001_3^26 - 6223419554847452594762925804307347858889434375563448/15910753680473\ 84608886420290683176911951497581002937*c_1001_3^25 + 26549065383348388823388526893138375043789140462159103/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^24 + 597439063848406905048320175309835229820092646984869/217955529869504\ 74094334524529906533040431473712369*c_1001_3^23 + 79274758901562026830546220736011069533762489031677381/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^22 + 150993009789658208899025950549021387817888815824545197/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^21 - 215552941138468220008173335608024808741459549796399847/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^20 - 1287262910379459475459404112430126019784651714993829426/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^19 - 1397372372490593403841184220681132195230837396120951551/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^18 + 456654419471761824793043236858215320182715828419834520/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^17 + 1765885720700193321088104715191254618395720712201248422/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^16 + 3290212520997527710484441992825753575790778703355423931/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^15 + 5009147435909842786670688255398190957425674048039381679/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^14 - 1173014937693215093976397717840271809457684033307603372/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^13 - 8877925647468239450515505896673712624246490190082595525/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^12 - 2226203805277270764083737777039296239101362110955912015/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^11 + 7351377622899091216251635578659018067746562785294485015/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^10 + 3295477128901500465605762711877602435855751707878227404/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^9 - 3667455226546976531812261133117461428719363232204687266/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^8 - 2341309767875014480357864822570751988621656745286031766/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^7 + 1172044278025607404414652412044683965327609488847316033/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^6 + 1200814137293978194545962827504173995967261553188927450/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^5 - 113955669507090602061473804765648223711206118038459155/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^4 - 374271441207128827040149455553426632125685604857036065/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^3 - 96740402227763924491363075514658290821377754816967439/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^2 + 5590372217540585984759495370842228296009632008455308/15910753680473\ 84608886420290683176911951497581002937*c_1001_3 + 2934228776241765187404952238417314358088244005077356/15910753680473\ 84608886420290683176911951497581002937, c_0101_4 + 272553318058959035353711394841543233341963349186023/15910753\ 68047384608886420290683176911951497581002937*c_1001_3^27 - 2534168211388675843286262121883851885038792479388069/15910753680473\ 84608886420290683176911951497581002937*c_1001_3^26 - 5610586262002320523854726275199561961411749466332618/15910753680473\ 84608886420290683176911951497581002937*c_1001_3^25 + 10396146821082198755400564245561684505492393379662088/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^24 + 407567439235845498739670931478138455867626624647788/217955529869504\ 74094334524529906533040431473712369*c_1001_3^23 + 43908041719051125267433252181019087275936420919102184/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^22 + 89445281676036488452219487338602531534845563207571536/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^21 - 43187881402128273898105252295175082391326521444010924/1591075368047\ 384608886420290683176911951497581002937*c_1001_3^20 - 656989489670842318312374444744065692811942243926896799/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^19 - 1045821711485644681211177416600033165214480868301022414/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^18 - 100079643158194258403937866632366262103263221892183706/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^17 + 1109390922211650427331488406743160720738491416376865293/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^16 + 1867485523329789094885400632386231914091544602461135988/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^15 + 3153886571351456109744753831243018166151191480532283229/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^14 + 935871078949317804259424212716739543407291324520779660/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^13 - 5099163791056228483326308329045761090970743379685007013/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^12 - 3733865601892200393880703974612888518785797426654365421/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^11 + 3934509070808846912954556877473846862854620828419749828/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^10 + 3875841833576574365881997989815305624937226104435945673/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^9 - 1750116132995837189762337131425173808986030715225276393/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^8 - 2359222691732051989895931832075188173777447971712539774/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^7 + 387087484489753843560655060265913911656793093569106771/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^6 + 1057052517278272789854219275893172647980061378018849479/15910753680\ 47384608886420290683176911951497581002937*c_1001_3^5 + 106554553286322380869504517392758992838613371110263304/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^4 - 304717047509581282014999113296274786391141948012565896/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^3 - 105435745809997406250959135692820892321596011374143524/159107536804\ 7384608886420290683176911951497581002937*c_1001_3^2 + 4977022867321828511011060020018098017299071072741036/15910753680473\ 84608886420290683176911951497581002937*c_1001_3 + 3438023449152019111806017259680501942164545074032589/15910753680473\ 84608886420290683176911951497581002937, c_1001_3^28 - 10*c_1001_3^27 - 13*c_1001_3^26 + 41*c_1001_3^25 + 80*c_1001_3^24 + 129*c_1001_3^23 + 256*c_1001_3^22 - 288*c_1001_3^21 - 2122*c_1001_3^20 - 2611*c_1001_3^19 + 555*c_1001_3^18 + 3246*c_1001_3^17 + 5454*c_1001_3^16 + 8647*c_1001_3^15 - 629*c_1001_3^14 - 15721*c_1001_3^13 - 6058*c_1001_3^12 + 13344*c_1001_3^11 + 7625*c_1001_3^10 - 6851*c_1001_3^9 - 5155*c_1001_3^8 + 2222*c_1001_3^7 + 2560*c_1001_3^6 - 213*c_1001_3^5 - 820*c_1001_3^4 - 170*c_1001_3^3 + 40*c_1001_3^2 + 9*c_1001_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB