Magma V2.19-8 Tue Aug 20 2013 16:19:14 on localhost [Seed = 1031577658] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3350 geometric_solution 6.50219895 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 -1 1 -1 0 0 1 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 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.184836817658 0.876875971676 0 3 5 4 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.163570685691 1.105729097308 3 0 4 5 0132 0132 0132 2310 0 0 0 0 0 0 0 0 -1 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 1 -1 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.163570685691 1.105729097308 2 1 6 6 0132 0132 0132 2310 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 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.429356130566 0.783175931229 6 6 1 2 1023 3201 0132 0132 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 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.456902850588 1.097503591742 2 5 5 1 3201 3201 2310 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.350452422044 0.741923913884 3 4 4 3 3201 1023 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.051890945615 0.969081347378 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], '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_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_2'], '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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 6038643024692400444786252067608209000410674451180669005604462230742\ 0721682234/35701497923406093721111809248337574853880839360900271617\ 4182983806594401*c_0101_3^22 - 212626980664762358785580346141316218\ 9932555922081306005615735221354891712814037/14280599169362437488444\ 72369933502994155233574436010864696731935226377604*c_0101_3^21 + 1450205769074884772692431793551581698870905645625519771620120688474\ 8308054140291/71402995846812187442223618496675149707761678721800543\ 2348365967613188802*c_0101_3^20 - 828907683454142909012457522443720\ 14208072038006008574091634456062915367726576349/1428059916936243748\ 844472369933502994155233574436010864696731935226377604*c_0101_3^19 + 1048701652391500970600542593354930169191835835668106583429653515349\ 05734444012867/1428059916936243748844472369933502994155233574436010\ 864696731935226377604*c_0101_3^18 - 5741013742447344319639866175143160444986739221839173677604667623661\ 581538823281/649118144061928976747487440878864997343287988380004938\ 49851451601198982*c_0101_3^17 + 10503807640671516720215332029598058\ 6350365626901652036457374322325375072287277095/14280599169362437488\ 44472369933502994155233574436010864696731935226377604*c_0101_3^16 - 7386841671717771753006425514470011609833969784856724697302343211247\ 1229732682795/14280599169362437488444723699335029941552335744360108\ 64696731935226377604*c_0101_3^15 + 5623969436010174765518681384319235067188036194962516304221256316094\ 5362459074755/14280599169362437488444723699335029941552335744360108\ 64696731935226377604*c_0101_3^14 - 2447949735602284165912204352970955844970567358659385140261526378920\ 8822561468397/14280599169362437488444723699335029941552335744360108\ 64696731935226377604*c_0101_3^13 + 2153298401777061919705276503268123571782931511568065516847195181481\ 714456460955/129823628812385795349497488175772999468657597676000987\ 699702903202397964*c_0101_3^12 - 1651906549160068655914621557204889\ 449597396216693443779648020314686828192112022/357014979234060937211\ 118092483375748538808393609002716174182983806594401*c_0101_3^11 + 8295446192528915440511024046819098064282171236667359712476640007512\ 405185874599/142805991693624374884447236993350299415523357443601086\ 4696731935226377604*c_0101_3^10 - 902242636313618829729088634169259\ 912642725789193901293765809790839458931243537/714029958468121874422\ 236184966751497077616787218005432348365967613188802*c_0101_3^9 + 2124539959110944430443637547373389124687344642994653723622839516763\ 507822349051/142805991693624374884447236993350299415523357443601086\ 4696731935226377604*c_0101_3^8 - 1126931136383530943746823757056463\ 8150469644315351397602106502145158260425474/32455907203096448837374\ 372043943249867164399419000246924925725800599491*c_0101_3^7 + 1719048668421902142018678964667999106992720432718749973319689023371\ 35220008743/7140299584681218744222361849667514970776167872180054323\ 48365967613188802*c_0101_3^6 - 106304236334194551140822869058321038\ 166416464210176278973684332814895168853637/142805991693624374884447\ 2369933502994155233574436010864696731935226377604*c_0101_3^5 + 2090978900295039485751450042398533975535557844280087821545926521766\ 2338197507/14280599169362437488444723699335029941552335744360108646\ 96731935226377604*c_0101_3^4 - 352945399810403217893329410142118551\ 2638937547734699887048927810213557619855/35701497923406093721111809\ 2483375748538808393609002716174182983806594401*c_0101_3^3 - 1427708079982702178428382528830126584886664105291619435867139981155\ 895481649/142805991693624374884447236993350299415523357443601086469\ 6731935226377604*c_0101_3^2 - 1690796781634991821878223777475245197\ 7197801345992121945650928867888091068/32455907203096448837374372043\ 943249867164399419000246924925725800599491*c_0101_3 - 7805776784009347138142307097592813888030847631644517118666566863384\ 8220523/35701497923406093721111809248337574853880839360900271617418\ 2983806594401, c_0011_0 - 1, c_0011_4 + 291731379421485630333910555101843495683399929513906963460604\ 02492379932712/3245590720309644883737437204394324986716439941900024\ 6924925725800599491*c_0101_3^22 + 257168113629876244926340535758661\ 993412933964103113320433133726584025795229/324559072030964488373743\ 72043943249867164399419000246924925725800599491*c_0101_3^21 - 3496901014821525878770989552154181463719299609534509816863800005693\ 888080610/324559072030964488373743720439432498671643994190002469249\ 25725800599491*c_0101_3^20 + 99929385906145722558660126852224808795\ 21511069345673768208873926990641250333/3245590720309644883737437204\ 3943249867164399419000246924925725800599491*c_0101_3^19 - 1289569145218985695659751653316494365000918868243793977388350321674\ 3735723455/32455907203096448837374372043943249867164399419000246924\ 925725800599491*c_0101_3^18 + 1614095390053864329256935897449700241\ 3673089374131929159390344899175568689899/32455907203096448837374372\ 043943249867164399419000246924925725800599491*c_0101_3^17 - 1384208737653536126682998451964178272095552692149638310389291826008\ 8337327856/32455907203096448837374372043943249867164399419000246924\ 925725800599491*c_0101_3^16 + 1030567204040949375123386260453472501\ 5518428026120017336496434160961291964247/32455907203096448837374372\ 043943249867164399419000246924925725800599491*c_0101_3^15 - 7970437803408215514209200521165764827939737910369565135554281142813\ 066046836/324559072030964488373743720439432498671643994190002469249\ 25725800599491*c_0101_3^14 + 37324788698652120249698089864679929474\ 09842181893673001901241074778707026660/3245590720309644883737437204\ 3943249867164399419000246924925725800599491*c_0101_3^13 - 3455981666076044556297754717167583153944519911199154139480662059387\ 622600157/324559072030964488373743720439432498671643994190002469249\ 25725800599491*c_0101_3^12 + 10401090380444800490829455347806943530\ 28223812465849491920518091270122940012/3245590720309644883737437204\ 3943249867164399419000246924925725800599491*c_0101_3^11 - 1234601705156330620912237419935431209671535089620008283711874665746\ 289567260/324559072030964488373743720439432498671643994190002469249\ 25725800599491*c_0101_3^10 + 28639684658763169090078356393892148061\ 6791085362235546388494441552546628660/32455907203096448837374372043\ 943249867164399419000246924925725800599491*c_0101_3^9 - 3323404070828041040376971333831215728717538047450896036403287451515\ 47795832/3245590720309644883737437204394324986716439941900024692492\ 5725800599491*c_0101_3^8 + 8087199470136141291223202332193101813565\ 7145197980933658225754471211634243/32455907203096448837374372043943\ 249867164399419000246924925725800599491*c_0101_3^7 - 5898214444584582523318701367128062784507131154247123236340963334937\ 7156840/32455907203096448837374372043943249867164399419000246924925\ 725800599491*c_0101_3^6 + 18461387870543325050601572565105435119474\ 643476710669629106139261613818395/324559072030964488373743720439432\ 49867164399419000246924925725800599491*c_0101_3^5 - 4890774357034426786769743415510356914729248494751758422092133224357\ 593925/324559072030964488373743720439432498671643994190002469249257\ 25800599491*c_0101_3^4 + 267791181883169640469150050752399976713738\ 5108767509131056464978948159293/32455907203096448837374372043943249\ 867164399419000246924925725800599491*c_0101_3^3 + 1087140499030260952862964148884380901013675187142778098373050826514\ 50817/3245590720309644883737437204394324986716439941900024692492572\ 5800599491*c_0101_3^2 + 1471397095166809512539768993073475020498415\ 79950475030608526194516324938/3245590720309644883737437204394324986\ 7164399419000246924925725800599491*c_0101_3 + 3454038911255205477612512780058620385623662193324722859753448819952\ 8369/32455907203096448837374372043943249867164399419000246924925725\ 800599491, c_0011_5 - 858646023130652645592134349731079214036307214336374571001530\ 55095433419720/3245590720309644883737437204394324986716439941900024\ 6924925725800599491*c_0101_3^22 - 747711086335570376427770526554268\ 357750953116808919526787951736703002715601/324559072030964488373743\ 72043943249867164399419000246924925725800599491*c_0101_3^21 + 1038057215392521245452770828558366474194262667878180044112941816975\ 9436005198/32455907203096448837374372043943249867164399419000246924\ 925725800599491*c_0101_3^20 - 3045582062982845123014819924541984280\ 6417709993793342354635707161931672568523/32455907203096448837374372\ 043943249867164399419000246924925725800599491*c_0101_3^19 + 4023482657814806320120819415721503886572676752733886206786242597045\ 4118024975/32455907203096448837374372043943249867164399419000246924\ 925725800599491*c_0101_3^18 - 4883472075980452343397154455220869361\ 9403473584955939990143195594241422841195/32455907203096448837374372\ 043943249867164399419000246924925725800599491*c_0101_3^17 + 4194980346978799851628224254687730963200530880942621170549267168464\ 3962802278/32455907203096448837374372043943249867164399419000246924\ 925725800599491*c_0101_3^16 - 3015284908630123524064933616121595915\ 3568584693128032236658808126274517008705/32455907203096448837374372\ 043943249867164399419000246924925725800599491*c_0101_3^15 + 2262872261885449711464958859046412428406680927520181308386509640655\ 3941064857/32455907203096448837374372043943249867164399419000246924\ 925725800599491*c_0101_3^14 - 1058497638728127413673819014382398862\ 9185099820008730744408165058964869761514/32455907203096448837374372\ 043943249867164399419000246924925725800599491*c_0101_3^13 + 9237185612616112433399907331491307479517143921663881920259121784852\ 030127595/324559072030964488373743720439432498671643994190002469249\ 25725800599491*c_0101_3^12 - 30404917048070916771835465450695432900\ 71270360639540756420387615026756304450/3245590720309644883737437204\ 3943249867164399419000246924925725800599491*c_0101_3^11 + 3174114440183798119573747072366945026536666952889786497609476196964\ 257056952/324559072030964488373743720439432498671643994190002469249\ 25725800599491*c_0101_3^10 - 87319276957791199623606019846990878859\ 3229117040622248160607894695253073014/32455907203096448837374372043\ 943249867164399419000246924925725800599491*c_0101_3^9 + 8215920124917117987043179284273610760637745767813469018626408963783\ 43929938/3245590720309644883737437204394324986716439941900024692492\ 5725800599491*c_0101_3^8 - 2330765672674115221025846182451911703631\ 61905807249607452497737184855217684/3245590720309644883737437204394\ 3249867164399419000246924925725800599491*c_0101_3^7 + 1365957179109270056847270962916701712875106433121892377768094688786\ 19925347/3245590720309644883737437204394324986716439941900024692492\ 5725800599491*c_0101_3^6 - 4535126908139498948526885369768328780352\ 9176903057653435602687523574907369/32455907203096448837374372043943\ 249867164399419000246924925725800599491*c_0101_3^5 + 9335290798825686246570204197867055071954548141809320991819701691901\ 326386/324559072030964488373743720439432498671643994190002469249257\ 25800599491*c_0101_3^4 - 522467916872384873512528226148489992260842\ 4314553475002552065277380051321/32455907203096448837374372043943249\ 867164399419000246924925725800599491*c_0101_3^3 - 3532194410858788602576436589570392583941652566930680546242464277305\ 23903/3245590720309644883737437204394324986716439941900024692492572\ 5800599491*c_0101_3^2 - 1836433298459235909325869109518537101337524\ 71836546168834681841485030387/3245590720309644883737437204394324986\ 7164399419000246924925725800599491*c_0101_3 - 1097702683147715462119540105003647899633515352359759679376346768917\ 51127/3245590720309644883737437204394324986716439941900024692492572\ 5800599491, c_0101_0 + 206027056053527917926214440020848337748466095012285262074011\ 915533011731520/324559072030964488373743720439432498671643994190002\ 46924925725800599491*c_0101_3^22 + 1813198740659353563585336061180373226761295482022592324700051897418\ 799517328/324559072030964488373743720439432498671643994190002469249\ 25725800599491*c_0101_3^21 - 24736750237248655794505719607144420648\ 423013710167999357539099554573979493719/324559072030964488373743720\ 43943249867164399419000246924925725800599491*c_0101_3^20 + 7080230113680906918649394536344309257518273628319656995965115089210\ 3908176077/32455907203096448837374372043943249867164399419000246924\ 925725800599491*c_0101_3^19 - 9032014134815728059161191160813898300\ 7620204338737141554209697514573437063654/32455907203096448837374372\ 043943249867164399419000246924925725800599491*c_0101_3^18 + 1101188529695244643765283469938123571764615659014205561511859965314\ 73177335652/3245590720309644883737437204394324986716439941900024692\ 4925725800599491*c_0101_3^17 - 928155214758973894636827396301036136\ 00298771913088738065224301210307952839848/3245590720309644883737437\ 2043943249867164399419000246924925725800599491*c_0101_3^16 + 6669854382755381184442137478859676308984637474490390318370541283478\ 3670599876/32455907203096448837374372043943249867164399419000246924\ 925725800599491*c_0101_3^15 - 5101536813832763330594866902916250729\ 4808990379892073956798769006452619947473/32455907203096448837374372\ 043943249867164399419000246924925725800599491*c_0101_3^14 + 2289081976009577113262114557154540460306545155314406494031126211072\ 1035090338/32455907203096448837374372043943249867164399419000246924\ 925725800599491*c_0101_3^13 - 2155562429704933535451875277178200239\ 0257612796438490441325442844926963413522/32455907203096448837374372\ 043943249867164399419000246924925725800599491*c_0101_3^12 + 6212249303616151029537417914112222212488018066697791132158049547477\ 391959409/324559072030964488373743720439432498671643994190002469249\ 25725800599491*c_0101_3^11 - 75643936047827868853622824674865862685\ 64096216513695320170889893242775504926/3245590720309644883737437204\ 3943249867164399419000246924925725800599491*c_0101_3^10 + 1708452615538918066480130770191589094405493829834455918581787859011\ 530177756/324559072030964488373743720439432498671643994190002469249\ 25725800599491*c_0101_3^9 - 197898642284604944683969857060709066658\ 5399168372048241163584269059766282513/32455907203096448837374372043\ 943249867164399419000246924925725800599491*c_0101_3^8 + 4736668190894809008016367268113130103532766456943783389348553429934\ 57603423/3245590720309644883737437204394324986716439941900024692492\ 5725800599491*c_0101_3^7 - 3296108633694926071613006601067576353328\ 60273278629270882403640049006162903/3245590720309644883737437204394\ 3249867164399419000246924925725800599491*c_0101_3^6 + 1013781155514610483497633535449267464719597830553014328965646740690\ 16827833/3245590720309644883737437204394324986716439941900024692492\ 5725800599491*c_0101_3^5 - 2215633007005279192051019270810051925794\ 3682621939582387344024502241540916/32455907203096448837374372043943\ 249867164399419000246924925725800599491*c_0101_3^4 + 1354341577559032258442757384209049976925641142870538172944214797857\ 0897895/32455907203096448837374372043943249867164399419000246924925\ 725800599491*c_0101_3^3 + 11649844703377901430114051906611053906250\ 71442961934491011844773260489545/3245590720309644883737437204394324\ 9867164399419000246924925725800599491*c_0101_3^2 + 6469413532657819684785956347501524771200723884452926705821504672606\ 19886/3245590720309644883737437204394324986716439941900024692492572\ 5800599491*c_0101_3 + 298113130497563486253355163717813365875706210\ 685753661855185741215597265/324559072030964488373743720439432498671\ 64399419000246924925725800599491, c_0101_1 + 167436417399231977962543204361161058741930544633106051532373\ 61904653780008/3245590720309644883737437204394324986716439941900024\ 6924925725800599491*c_0101_3^22 + 147567830880604015772388081957316\ 281416580699410064068128266415826540215869/324559072030964488373743\ 72043943249867164399419000246924925725800599491*c_0101_3^21 - 2009520267123278036287059211610720640922363696391314118709982244215\ 246941486/324559072030964488373743720439432498671643994190002469249\ 25725800599491*c_0101_3^20 + 57191124897327067144190251873417291455\ 83646212465392533674106848457977232695/3245590720309644883737437204\ 3943249867164399419000246924925725800599491*c_0101_3^19 - 7146211739102267902918948219719896077007453804750318493032755150500\ 631366790/324559072030964488373743720439432498671643994190002469249\ 25725800599491*c_0101_3^18 + 85635304994531231046624985087270193744\ 79874376504278028718579472855619846569/3245590720309644883737437204\ 3943249867164399419000246924925725800599491*c_0101_3^17 - 7238259900704755846346823242718335910035304729917463781825011563400\ 375499583/324559072030964488373743720439432498671643994190002469249\ 25725800599491*c_0101_3^16 + 52604352640483975556382834912801868990\ 61665119832861152615408970991045713128/3245590720309644883737437204\ 3943249867164399419000246924925725800599491*c_0101_3^15 - 4185410262950156288194029053459727904329608427712664995738727597844\ 028288912/324559072030964488373743720439432498671643994190002469249\ 25725800599491*c_0101_3^14 + 20192724568616534709724139820837660555\ 46728390987017411115703231878109909948/3245590720309644883737437204\ 3943249867164399419000246924925725800599491*c_0101_3^13 - 1851120624300954107707995843877362062781307807592427999763050699585\ 298416805/324559072030964488373743720439432498671643994190002469249\ 25725800599491*c_0101_3^12 + 59103711002729459540006819305912559193\ 1074170033865495891389946772547151293/32455907203096448837374372043\ 943249867164399419000246924925725800599491*c_0101_3^11 - 6278451622291440537367977348194842361314707169096867951654638135669\ 05276565/3245590720309644883737437204394324986716439941900024692492\ 5725800599491*c_0101_3^10 + 157553774512708849079222452710511846934\ 950015986677898024945725153521619135/324559072030964488373743720439\ 43249867164399419000246924925725800599491*c_0101_3^9 - 1674474244154223529855620400418118721119341940673491034407472472736\ 24586078/3245590720309644883737437204394324986716439941900024692492\ 5725800599491*c_0101_3^8 + 4585141530126208067468244489466117696013\ 7484222257738180348263133849195305/32455907203096448837374372043943\ 249867164399419000246924925725800599491*c_0101_3^7 - 3165794787524679148395646204639108181299232729692798294865559577949\ 4863361/32455907203096448837374372043943249867164399419000246924925\ 725800599491*c_0101_3^6 + 94611163053027281481585750512213069685758\ 80020119590595906439998289377762/3245590720309644883737437204394324\ 9867164399419000246924925725800599491*c_0101_3^5 - 2958958834429768407487307317510913759105717955356380921561622706140\ 366806/324559072030964488373743720439432498671643994190002469249257\ 25800599491*c_0101_3^4 + 101969362036226485212759669419979562470510\ 5847544464242921005793606239099/32455907203096448837374372043943249\ 867164399419000246924925725800599491*c_0101_3^3 + 1402891994482477006164312463259356461597255144130941113804889643610\ 8235/32455907203096448837374372043943249867164399419000246924925725\ 800599491*c_0101_3^2 - 66413862341476806933129973841931718571580267\ 10687089047376111430458819/3245590720309644883737437204394324986716\ 4399419000246924925725800599491*c_0101_3 + 3676775706952813882893683715810050480859887970767638680043091923617\ 4473/32455907203096448837374372043943249867164399419000246924925725\ 800599491, c_0101_2 + 188969495497606241801464143450264012360342235498971164867816\ 697565754658120/324559072030964488373743720439432498671643994190002\ 46924925725800599491*c_0101_3^22 + 1658122814434017408669161061999800767762202351785216015437705042827\ 798253201/324559072030964488373743720439432498671643994190002469249\ 25725800599491*c_0101_3^21 - 22733346152871528031918026134773627357\ 808294940814104054469652708643566804996/324559072030964488373743720\ 43943249867164399419000246924925725800599491*c_0101_3^20 + 6552521783000895558050586300513077093515586250190647484320349644523\ 7278313886/32455907203096448837374372043943249867164399419000246924\ 925725800599491*c_0101_3^19 - 8443618879244283224744158014196115566\ 3227608854088772973375761818213712827668/32455907203096448837374372\ 043943249867164399419000246924925725800599491*c_0101_3^18 + 1030046862101448952121319799514348336880932059766733060780273724701\ 87781916010/3245590720309644883737437204394324986716439941900024692\ 4925725800599491*c_0101_3^17 - 879252592058306616380919321377363918\ 07375284439780430034874495191119654991499/3245590720309644883737437\ 2043943249867164399419000246924925725800599491*c_0101_3^16 + 6373697841445426827906222516418505644328693833212702721901548642198\ 7247832615/32455907203096448837374372043943249867164399419000246924\ 925725800599491*c_0101_3^15 - 4888106908787826159530900725778407144\ 5325786938356225901449488323722289877175/32455907203096448837374372\ 043943249867164399419000246924925725800599491*c_0101_3^14 + 2272111211098105940328180434159579403789244604481096932592379193663\ 8572735413/32455907203096448837374372043943249867164399419000246924\ 925725800599491*c_0101_3^13 - 2059954358242946647096727297332817656\ 7811093340135519294363703458192782190498/32455907203096448837374372\ 043943249867164399419000246924925725800599491*c_0101_3^12 + 6441939240998098738339816396161952018735016892502212361539493215370\ 194109644/324559072030964488373743720439432498671643994190002469249\ 25725800599491*c_0101_3^11 - 71558757752590838939528002175138516981\ 23613489234761225469651914886857745764/3245590720309644883737437204\ 3943249867164399419000246924925725800599491*c_0101_3^10 + 1815220961048016012685659141841431431651509788868118638395693451588\ 949113352/324559072030964488373743720439432498671643994190002469249\ 25725800599491*c_0101_3^9 - 188066803177319641757762028989073246012\ 0198106793520273357596857627781589289/32455907203096448837374372043\ 943249867164399419000246924925725800599491*c_0101_3^8 + 5002450240925825548154155527679389360171297132708303507611135976217\ 33288227/3245590720309644883737437204394324986716439941900024692492\ 5725800599491*c_0101_3^7 - 3238688227768464882324149849241927122592\ 78094600156784392202224542165937650/3245590720309644883737437204394\ 3249867164399419000246924925725800599491*c_0101_3^6 + 1040401972962597862084147876858254514919251007096821038425822665410\ 54930674/3245590720309644883737437204394324986716439941900024692492\ 5725800599491*c_0101_3^5 - 2486277644704506815644511055273455248837\ 8006496625224768112027877844094035/32455907203096448837374372043943\ 249867164399419000246924925725800599491*c_0101_3^4 + 1305839974870354674554880938320660713824573872540133124728094315724\ 8031192/32455907203096448837374372043943249867164399419000246924925\ 725800599491*c_0101_3^3 + 62421706883095963610826116267192395848838\ 0335682646633539225413024251839/32455907203096448837374372043943249\ 867164399419000246924925725800599491*c_0101_3^2 + 5450451856161828988415163654501888265865849913745461862717856737452\ 11372/3245590720309644883737437204394324986716439941900024692492572\ 5800599491*c_0101_3 + 294063568722832099502797108341002224857622677\ 730287243405586044798231538/324559072030964488373743720439432498671\ 64399419000246924925725800599491, c_0101_3^23 + 30367/3384*c_0101_3^22 - 50146/423*c_0101_3^21 + 182089/564*c_0101_3^20 - 213409/564*c_0101_3^19 + 515413/1128*c_0101_3^18 - 401209/1128*c_0101_3^17 + 102773/423*c_0101_3^16 - 79979/423*c_0101_3^15 + 74945/1128*c_0101_3^14 - 94795/1128*c_0101_3^13 + 19201/1692*c_0101_3^12 - 104699/3384*c_0101_3^11 + 1925/1128*c_0101_3^10 - 13501/1692*c_0101_3^9 + 213/376*c_0101_3^8 - 1301/1128*c_0101_3^7 + 37/188*c_0101_3^6 - 5/376*c_0101_3^5 + 49/1128*c_0101_3^4 + 61/3384*c_0101_3^3 + 13/3384*c_0101_3^2 + 7/3384*c_0101_3 + 1/3384 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB