Magma V2.19-8 Tue Aug 20 2013 16:17:10 on localhost [Seed = 122067927] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1404 geometric_solution 5.24810155 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0.560501928960 0.075582679147 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 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 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.687245911468 0.160705379677 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 1 0 -1 0 1 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 -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.398705963325 1.093698237561 5 2 4 6 0132 0132 3012 0132 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 -1 0 1 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.989036499195 1.295778404247 6 3 2 5 1023 1230 0132 3201 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 -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.989036499195 1.295778404247 3 4 5 5 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -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.158228874437 0.972928120973 6 4 3 6 3012 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.032636753235 0.617026234598 ==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' : negation(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' : negation(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' : 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' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0101_3'], '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' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], '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_4'], '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_0101_1'], '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_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), '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_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 1213399452194111373986769756817944573966908795641391902434044373037\ 123668059309957101116505430114413/964009199898332215032540130132893\ 7035029787858669784349488536419243917363248582671583713852570845839\ 36*c_0101_5^28 - 49304770184090334789874493118917995700389715601465\ 016471357673478168745757121925533392037738604567501/241002299974583\ 0537581350325332234258757446964667446087372134104810979340812145667\ 895928463142711459840*c_0101_5^27 - 2062364504884728107611134282003698482336779455633646620572877405660\ 8133238255420331935625625391860803/24100229997458305375813503253322\ 3425875744696466744608737213410481097934081214566789592846314271145\ 984*c_0101_5^26 + 4538268518332280706325771251487377655754268630762\ 849948319440783836710855649608825925976550603655179/803340999915276\ 8458604501084440780862524823215558153624573780349369931136040485559\ 6530948771423715328*c_0101_5^25 + 160724253802659465335465605074733\ 1614726456160422581199062099765974352256282700803885071059422074027\ 91/1205011499872915268790675162666117129378723482333723043686067052\ 40548967040607283394796423157135572992*c_0101_5^24 + 3587910032443680436803482898701716033597260205584055630655163946889\ 580655821814570504639411616612298007/482004599949166107516270065066\ 4468517514893929334892174744268209621958681624291335791856926285422\ 91968*c_0101_5^23 + 19368537866976831671826939308115706716368291893\ 940928995314403726829838572387887406860905439117992536307/120501149\ 9872915268790675162666117129378723482333723043686067052405489670406\ 072833947964231571355729920*c_0101_5^22 + 3087863687988867884348554049922575855524929940684874757368821192668\ 3784104824707963391024987223444473507/12050114998729152687906751626\ 6611712937872348233372304368606705240548967040607283394796423157135\ 5729920*c_0101_5^21 + 116289961636982690395246616294102442169397322\ 2303755645496538542625316953461361921029820742625963854517/12050114\ 9987291526879067516266611712937872348233372304368606705240548967040\ 607283394796423157135572992*c_0101_5^20 - 8288986318835728228908119847105192783950268897005415486147527494867\ 27371740035136339132212559690373503023/4820045999491661075162700650\ 6644685175148939293348921747442682096219586816242913357918569262854\ 22919680*c_0101_5^19 - 83418854413311884068800209592459980015342059\ 404831475869972873900526018816090134128144995108563648764561/241002\ 2999745830537581350325332234258757446964667446087372134104810979340\ 81214566789592846314271145984*c_0101_5^18 - 2783694314897762704975052649068213238928875098604562255785597918126\ 201121735549431101125288795192557590927/482004599949166107516270065\ 0664468517514893929334892174744268209621958681624291335791856926285\ 422919680*c_0101_5^17 - 1912890182815163333611293083046004604989433\ 799395366352234766071729324742974505447971123499397731772935217/241\ 0022999745830537581350325332234258757446964667446087372134104810979\ 340812145667895928463142711459840*c_0101_5^16 + 5718754734436384043516678213919644178609694373128671136107256763763\ 296972289621500490261785321843394811997/482004599949166107516270065\ 0664468517514893929334892174744268209621958681624291335791856926285\ 422919680*c_0101_5^15 + 1251304076661719046211352313288697216202238\ 972312502923912073507929853330268928670160926743665966395775855/482\ 0045999491661075162700650664468517514893929334892174744268209621958\ 68162429133579185692628542291968*c_0101_5^14 + 1143313542018855377345098049110944393965231257197200491400257680518\ 59699703115569901846022400343839641769/3347254166313653524418542118\ 5169920260520096731492306769057418122374713066835356498554561988093\ 214720*c_0101_5^13 + 1048313846992593412606754561928125286369275523\ 7078951976210858930518896601067621113040047790584713946878691/16066\ 8199983055369172090021688815617250496464311163072491475606987398622\ 7208097111930618975428474306560*c_0101_5^12 - 4467433919816177159331331070791155218654602196865206239926806442699\ 718281758000867205287573651127897780757/241002299974583053758135032\ 5332234258757446964667446087372134104810979340812145667895928463142\ 711459840*c_0101_5^11 - 2458130525912396619592720123782180811492685\ 40291281355491849394691454114496467499661710577053450266354485/3012\ 5287496822881719766879066652928234468087058343076092151676310137241\ 760151820848699105789283893248*c_0101_5^10 - 2515573444844772088580459845518417164009568301047089591682300424615\ 42791978660574392131326795858291582661/4016704999576384229302250542\ 2203904312624116077790768122868901746849655680202427798265474385711\ 857664*c_0101_5^9 - 12580619997757519730426960316711901342074501927\ 71112250162880491859704397836542749663867806740216555388991/1004176\ 2498940960573255626355550976078156029019447692030717225436712413920\ 0506069495663685964279644160*c_0101_5^8 - 1064239885264334615669282943343135991305727057095982599358882348912\ 66004164056998820527074850156025717451/1506264374841144085988343953\ 3326464117234043529171538046075838155068620880075910424349552894641\ 9466240*c_0101_5^7 + 2812870214633747396522079022034223991517571406\ 8507433828625384221555852253550287966392769156185163552627/37656609\ 3710286021497085988333161602930851088229288451151895953876715522001\ 8977606087388223660486656*c_0101_5^6 + 2201262556693969953813001660848315622529321258548705579093152764004\ 3400862710246138666699722362391928381/41840677078920669055231776481\ 4624003256501209143653834613217726529683913335441956231932024851165\ 1840*c_0101_5^5 + 1477527414164289182804373457760540835397916115299\ 9450347752636234623901161573012084805298663656760958299/20920338539\ 4603345276158882407312001628250604571826917306608863264841956667720\ 9781159660124255825920*c_0101_5^4 - 5984689650419242773537805942065821546149442417781824513792369247515\ 492151012192499273494374489264549893/470707617137857526871357485416\ 4520036635638602866105639398699423458944025023722007609235279575608\ 320*c_0101_5^3 - 53159249290412009891294235397284201629886529303764\ 18090464182719908475373749751069481756998011319797473/2353538085689\ 2876343567874270822600183178193014330528196993497117294720125118610\ 03804617639787804160*c_0101_5^2 - 241579948379197425230759001983899\ 5276682584147259776331942675262359149056014101240806841762744966958\ 31/5883845214223219085891968567705650045794548253582632049248374279\ 32368003127965250951154409946951040*c_0101_5 - 2594704296750161541279411382147102004198048145955209756893718998062\ 80268807021474389132825736797629693/1176769042844643817178393713541\ 1300091589096507165264098496748558647360062559305019023088198939020\ 80, c_0011_0 - 1, c_0011_1 + 291305912827602055309402015383406951445214535962624310285708\ 618250279331229170278866661786543/464896411988007433947019738682915\ 55917389023238183759401468636281075990370604661803548002761240576*c\ _0101_5^28 + 231683500961710212515393820858505039999207452685747633\ 8467114725693994870886034928458827323469/23244820599400371697350986\ 9341457779586945116190918797007343181405379951853023309017740013806\ 20288*c_0101_5^27 + 91177004407182120064478624047079736355412038321\ 62660667369438346644909608362144319274492159765/2324482059940037169\ 7350986934145777958694511619091879700734318140537995185302330901774\ 001380620288*c_0101_5^26 - 5874572205708168418884673219927207600114\ 51733776993640962263220105708248646638109471088071357/1452801287462\ 5232310844366833841111224184069761932424812958948837836246990813956\ 81360875086288768*c_0101_5^25 - 37472277658050903326461965693316202\ 657738817336687364158722240827140887103618568377418753444915/581120\ 5149850092924337746733536444489673627904772969925183579535134498796\ 325582725443500345155072*c_0101_5^24 - 8102928975747375049141981081762323139296912056214876432000599061657\ 48159343968647129526473932593/2324482059940037169735098693414577795\ 8694511619091879700734318140537995185302330901774001380620288*c_010\ 1_5^23 - 7985046888039948571408418673652504801691955121037357933412\ 92302336151570273730355197048481171967/1162241029970018584867549346\ 7072888979347255809545939850367159070268997592651165450887000690310\ 144*c_0101_5^22 - 6294523068404079180049520028672080559230468993232\ 23505867980098294884796560976040194622317085063/5811205149850092924\ 3377467335364444896736279047729699251835795351344987963255827254435\ 00345155072*c_0101_5^21 - 58449599151463795175837755667646982283654\ 361678065267451110248752467586472536747403062525153323/290560257492\ 5046462168873366768222244836813952386484962591789767567249398162791\ 362721750172577536*c_0101_5^20 + 3924586053757823517475184608087512\ 7441913948239575282142825224500551878693538423073908124454942057/46\ 4896411988007433947019738682915559173890232381837594014686362810759\ 90370604661803548002761240576*c_0101_5^19 + 8250877449599248181140436526525591599785047713761085085964474904001\ 634874886178071440458511170177/581120514985009292433774673353644448\ 9673627904772969925183579535134498796325582725443500345155072*c_010\ 1_5^18 + 1151073791293309367571973327875044156721431777047629184388\ 69972173479981591235846306795717511117203/4648964119880074339470197\ 3868291555917389023238183759401468636281075990370604661803548002761\ 240576*c_0101_5^17 + 7606362967021920833856969130074251230405059508\ 1456344063849832229232488319869978524735806183577497/23244820599400\ 3716973509869341457779586945116190918797007343181405379951853023309\ 01774001380620288*c_0101_5^16 - 30697156143664680661991417935023485\ 0485722867212855372119473661413268614247230483565628845585254529/46\ 4896411988007433947019738682915559173890232381837594014686362810759\ 90370604661803548002761240576*c_0101_5^15 - 2341715253228137245781763052184734160763346603980918729004877488897\ 13266588427852392280102082888081/2324482059940037169735098693414577\ 7958694511619091879700734318140537995185302330901774001380620288*c_\ 0101_5^14 - 3250452030947688544464148365923250465444730088868829994\ 10145839475525712934529080673681544548332675/2324482059940037169735\ 0986934145777958694511619091879700734318140537995185302330901774001\ 380620288*c_0101_5^13 - 1326567398193129134784253599555160512149941\ 567952449908483003932495796422096243879391890296844969979/464896411\ 9880074339470197386829155591738902323818375940146863628107599037060\ 4661803548002761240576*c_0101_5^12 + 3813143864833835487300293289155009987900282422468076881785185550982\ 74027092232743564303695016922405/2324482059940037169735098693414577\ 7958694511619091879700734318140537995185302330901774001380620288*c_\ 0101_5^11 + 7109379722456360462065098250675690794869764379679856414\ 09507551622033989488003298115346537407185621/2324482059940037169735\ 0986934145777958694511619091879700734318140537995185302330901774001\ 380620288*c_0101_5^10 + 2367173499106171165799771226821115766654462\ 40250304012873201847144884231663680033227855881467373433/1162241029\ 9700185848675493467072888979347255809545939850367159070268997592651\ 165450887000690310144*c_0101_5^9 + 3261462212791901035340685282401804504450234841317677851297090833165\ 32797921349246716393028267053367/5811205149850092924337746733536444\ 489673627904772969925183579535134498796325582725443500345155072*c_0\ 101_5^8 - 408978636953186425385608371324172416952020016557493731654\ 5670341757348164001836639694457228210919/36320032186563080777110917\ 0846027780604601744048310620323973720945906174770348920340218771572\ 192*c_0101_5^7 - 22653002176050061585937528893515762447332370781540\ 72659382804070999535123070643310526237574369661/9080008046640770194\ 2777292711506945151150436012077655080993430236476543692587230085054\ 692893048*c_0101_5^6 - 11051596151893500514106766479220797650641140\ 298725656864869132343306737444952226789751457505510165/726400643731\ 2616155422183416920555612092034880966212406479474418918123495406978\ 40680437543144384*c_0101_5^5 - 130576719507572221997737587052847918\ 0630093828056575742837473354910205236885652550010043120667721/45400\ 0402332038509713886463557534725755752180060388275404967151182382718\ 46293615042527346446524*c_0101_5^4 + 6578702877541768755385334450463270501861024466144988551907151159503\ 50218563972678790983483311509/4540004023320385097138864635575347257\ 5575218006038827540496715118238271846293615042527346446524*c_0101_5\ ^3 + 21643877216390244634674574800472455694003183194920689267098413\ 5535043163500891791614403818647289/90800080466407701942777292711506\ 945151150436012077655080993430236476543692587230085054692893048*c_0\ 101_5^2 + 104066872517849935907235336840466696044482103287742195111\ 38698130888606726440850148212044791812/1135001005830096274284716158\ 8938368143893804501509706885124178779559567961573403760631836611631\ *c_0101_5 + 9161378958983647639229093390835017021496982334744193022\ 495421666697306948374297631806169604185/227000201166019254856943231\ 7787673628778760900301941377024835755911913592314680752126367322326\ 2, c_0011_4 - 489304902644681509473147457941748107721537652968719672129084\ 697160445982535579661062253989833/464896411988007433947019738682915\ 55917389023238183759401468636281075990370604661803548002761240576*c\ _0101_5^28 - 967720232886586631792109948375754418292989747893416684\ 665209787914065104642464364665514716377/581120514985009292433774673\ 3536444489673627904772969925183579535134498796325582725443500345155\ 072*c_0101_5^27 - 7483654843469916636020469230055135021079669453346\ 181020304821697790886349953843956269524551759/116224102997001858486\ 7549346707288897934725580954593985036715907026899759265116545088700\ 0690310144*c_0101_5^26 + 867842664834434819238286463906068409882868\ 6589942982338703870066270142411869207776133886927853/11622410299700\ 1858486754934670728889793472558095459398503671590702689975926511654\ 50887000690310144*c_0101_5^25 + 31414584040560722494127102395662886\ 561597990407251408264396125492539526026127197608406148085161/290560\ 2574925046462168873366768222244836813952386484962591789767567249398\ 162791362721750172577536*c_0101_5^24 + 1338046518448449539529613038251565762612007534567348753563675630422\ 456410764561552081701591606203/232448205994003716973509869341457779\ 58694511619091879700734318140537995185302330901774001380620288*c_01\ 01_5^23 + 797517424173961404639404537610771594939588280436460797387\ 18364620545928847118191835908442771009/7264006437312616155422183416\ 9205556120920348809662124064794744189181234954069784068043754314438\ 4*c_0101_5^22 + 195739322678526156735272698394392459233670023084435\ 4090759196313190789768554276777437377810610851/11622410299700185848\ 6754934670728889793472558095459398503671590702689975926511654508870\ 00690310144*c_0101_5^21 + 45837910713934311173241382256898357965657\ 96074702284425081694510263424011089754793885265786939/3632003218656\ 3080777110917084602778060460174404831062032397372094590617477034892\ 0340218771572192*c_0101_5^20 - 667231601411213258199837512452537517\ 27466036757316912633175171316473725725266090131695313290857479/4648\ 9641198800743394701973868291555917389023238183759401468636281075990\ 370604661803548002761240576*c_0101_5^19 - 5267147295241814925734264484086725435002183328013311528799596221603\ 6816415612186904265035091892587/23244820599400371697350986934145777\ 958694511619091879700734318140537995185302330901774001380620288*c_0\ 101_5^18 - 18023228250290710904665141605764252115858340185620219597\ 1114795320675285425384848606419535891797931/46489641198800743394701\ 9738682915559173890232381837594014686362810759903706046618035480027\ 61240576*c_0101_5^17 - 58889097680160684498151471942898713815693119\ 320734143957826352004174212284002883312998143111330485/116224102997\ 0018584867549346707288897934725580954593985036715907026899759265116\ 5450887000690310144*c_0101_5^16 + 554401214383368872105283757593418\ 723403515137434749483838099059408143574524080377398499379733833613/\ 4648964119880074339470197386829155591738902323818375940146863628107\ 5990370604661803548002761240576*c_0101_5^15 + 1888843868028787414399706290005728920838881717929090043179228568907\ 60840373459872347640644760643381/1162241029970018584867549346707288\ 8979347255809545939850367159070268997592651165450887000690310144*c_\ 0101_5^14 + 1252350455140497773024364172879844475529649333260828737\ 77139770450418482474207935402521362711231747/5811205149850092924337\ 7467335364444896736279047729699251835795351344987963255827254435003\ 45155072*c_0101_5^13 + 21384031163102449921238838541296185975343340\ 19522594971646793511159592085044985796479204409974649369/4648964119\ 8800743394701973868291555917389023238183759401468636281075990370604\ 661803548002761240576*c_0101_5^12 - 3962824691381681891631662180421611890179394769001452788775914337377\ 37616349548817417230085443839311/1162241029970018584867549346707288\ 8979347255809545939850367159070268997592651165450887000690310144*c_\ 0101_5^11 - 2973865304431311369164487023313193149387586360900002501\ 76679773662014229634558202520562367922040195/5811205149850092924337\ 7467335364444896736279047729699251835795351344987963255827254435003\ 45155072*c_0101_5^10 - 84351210471496010147048429598691140051038722\ 235820508871504533263937191457618212451198233225427031/290560257492\ 5046462168873366768222244836813952386484962591789767567249398162791\ 362721750172577536*c_0101_5^9 - 27286260215026428914175160226413965\ 4049847318779744022996127292712115844734195672567394082711362855/29\ 0560257492504646216887336676822224483681395238648496259178976756724\ 9398162791362721750172577536*c_0101_5^8 + 4535542113749136289680424584138400118380343545676061201846281371692\ 1446636877976794766395812673501/14528012874625232310844366833841111\ 22418406976193242481295894883783624699081395681360875086288768*c_01\ 01_5^7 + 3171784965939600995822277754525209747324422751683955362510\ 1892881722781259544640465351888876144769/72640064373126161554221834\ 1692055561209203488096621240647947441891812349540697840680437543144\ 384*c_0101_5^6 + 80197403632238553138070662626118845442831277014654\ 58966428310842160267141027992127545548971224099/3632003218656308077\ 7110917084602778060460174404831062032397372094590617477034892034021\ 8771572192*c_0101_5^5 + 2259781358873620428220232698823088320066162\ 198423626766383399825637427135107089736994716418685433/454000402332\ 0385097138864635575347257557521800603882754049671511823827184629361\ 5042527346446524*c_0101_5^4 - 2614428407609785327659242444204483895\ 636638358369096811170150936878634738291763558740168237692995/908000\ 8046640770194277729271150694515115043601207765508099343023647654369\ 2587230085054692893048*c_0101_5^3 - 1178612028845102785740735994291884881795025319467271818866025682007\ 98012135761764209634030231731/4540004023320385097138864635575347257\ 5575218006038827540496715118238271846293615042527346446524*c_0101_5\ ^2 - 23491428765551642278140907821177663424237948966258596798858034\ 522643100848916696961663151001157/227000201166019254856943231778767\ 36287787609003019413770248357559119135923146807521263673223262*c_01\ 01_5 - 165009789977927952223614746876356506175192902921706670112231\ 15158257241384010443752267466306254/1135001005830096274284716158893\ 8368143893804501509706885124178779559567961573403760631836611631, c_0101_0 + 157139355514726658587535721824388116459223361018689898610574\ 5174151622384930461498201476961027/18595856479520297357880789547316\ 6223669556092952735037605874545124303961482418647214192011044962304\ *c_0101_5^28 + 1248608415959307929315998042565491703375913641798835\ 1803194697992948976762492357042854776566593/92979282397601486789403\ 9477365831118347780464763675188029372725621519807412093236070960055\ 22481152*c_0101_5^27 + 61206715053645172616782472580304168865098467\ 69294948732816036162846651662831965079760739967489/1162241029970018\ 5848675493467072888979347255809545939850367159070268997592651165450\ 887000690310144*c_0101_5^26 - 2599518795616412443985864560761285459\ 0892499211858274638115772466361476688237902631580681262201/46489641\ 1988007433947019738682915559173890232381837594014686362810759903706\ 04661803548002761240576*c_0101_5^25 - 2025944967629582247582279740819660773573597164261269632274078915182\ 53355525047676980004991991791/2324482059940037169735098693414577795\ 8694511619091879700734318140537995185302330901774001380620288*c_010\ 1_5^24 - 4359024559683925207591558934816050825932820692447751156163\ 852516014792924208422543372112439217601/929792823976014867894039477\ 3658311183477804647636751880293727256215198074120932360709600552248\ 1152*c_0101_5^23 - 425768848353941606649618769427707164686196122886\ 0381991326937420178098380290865994736505256794463/46489641198800743\ 3947019738682915559173890232381837594014686362810759903706046618035\ 48002761240576*c_0101_5^22 - 66194521086949125588813470492077913709\ 90928992388022223222250338443821327461530000157086216878835/4648964\ 1198800743394701973868291555917389023238183759401468636281075990370\ 604661803548002761240576*c_0101_5^21 - 4414344063519447534746852101820664767308088352128770813789304657597\ 38645187476595647973519530959/2324482059940037169735098693414577795\ 8694511619091879700734318140537995185302330901774001380620288*c_010\ 1_5^20 + 2138234385788605276736923556167050881689594827337542156649\ 42786322729719263514320676704836069653053/1859585647952029735788078\ 9547316622366955609295273503760587454512430396148241864721419201104\ 4962304*c_0101_5^19 + 443615339425042726273921186217292224449845186\ 56123262219681618795233893118001077494415177909872445/2324482059940\ 0371697350986934145777958694511619091879700734318140537995185302330\ 901774001380620288*c_0101_5^18 + 6076432748850529603764212476728953\ 45489081152298504691559278689002723440184973233292443773530666889/1\ 8595856479520297357880789547316622366955609295273503760587454512430\ 3961482418647214192011044962304*c_0101_5^17 + 3945573576360110873046456871515532358413347608167829376883294681789\ 14817666026901543710023313016145/9297928239760148678940394773658311\ 1834778046476367518802937272562151980741209323607096005522481152*c_\ 0101_5^16 - 1712925769093103707190179399562638770888356961805410410\ 129332438617112777968587399540556000204968595/185958564795202973578\ 8078954731662236695560929527350376058745451243039614824186472141920\ 11044962304*c_0101_5^15 - 12889424554538340747627603652554242137810\ 81350920047679307801521371777406573628773931951790326922703/9297928\ 2397601486789403947736583111834778046476367518802937272562151980741\ 209323607096005522481152*c_0101_5^14 - 8603452340030565668292581469300093364907880231945771585632593900361\ 32796180343224509422379328127959/4648964119880074339470197386829155\ 5917389023238183759401468636281075990370604661803548002761240576*c_\ 0101_5^13 - 6974746623767365070447893006761866496641917786300939696\ 563927832378627238991026843731931567305035219/185958564795202973578\ 8078954731662236695560929527350376058745451243039614824186472141920\ 11044962304*c_0101_5^12 + 22440226616992674199847128999556155759896\ 88786788825413096760273110226232934815005754318691319750749/9297928\ 2397601486789403947736583111834778046476367518802937272562151980741\ 209323607096005522481152*c_0101_5^11 + 2051897520910959156391673225266076816077337321052901866664119272636\ 864316775272468675395053694609605/464896411988007433947019738682915\ 55917389023238183759401468636281075990370604661803548002761240576*c\ _0101_5^10 + 317487816689001098568667493646045974581815806940515338\ 840626642971918329769728406397483846613819455/116224102997001858486\ 7549346707288897934725580954593985036715907026899759265116545088700\ 0690310144*c_0101_5^9 + 4319950626237513229506260697176833871699791\ 03904657429104585069537123136549517946046070536627518953/5811205149\ 8500929243377467335364444896736279047729699251835795351344987963255\ 82725443500345155072*c_0101_5^8 - 108296608049957348920010626090347\ 541273866958249902771418200753969365127445186421089305175136183903/\ 5811205149850092924337746733536444489673627904772969925183579535134\ 498796325582725443500345155072*c_0101_5^7 - 2986019098221947433134462002570798639025018628924471099634828938185\ 0683003196634374091131175111219/72640064373126161554221834169205556\ 1209203488096621240647947441891812349540697840680437543144384*c_010\ 1_5^6 - 14864111076811264564283664283183499652194992741066152457544\ 860888992796497501457325368595134230689/726400643731261615542218341\ 6920555612092034880966212406479474418918123495406978406804375431443\ 84*c_0101_5^5 - 283653963903107434087114728560685605077756812650600\ 67965094538033993621924817959860975329152566691/7264006437312616155\ 4221834169205556120920348809662124064794744189181234954069784068043\ 7543144384*c_0101_5^4 + 1844658607885860034734740982130156002111765\ 951818327037025365260226123279316935967203198471162297/908000804664\ 0770194277729271150694515115043601207765508099343023647654369258723\ 0085054692893048*c_0101_5^3 + 1540034262641637659670595724034178345\ 865636973533115438968895637986045044578096011736696310690681/181600\ 1609328154038855545854230138903023008720241553101619868604729530873\ 85174460170109385786096*c_0101_5^2 + 1108334524417351557522156505036293302137705515524382026762621636380\ 6014908935441223737904321113/45400040233203850971388646355753472575\ 575218006038827540496715118238271846293615042527346446524*c_0101_5 + 2366449512420171900243624821774604389072269263792479020429394406497\ 6626868505750309217599990917/22700020116601925485694323177876736287\ 787609003019413770248357559119135923146807521263673223262, c_0101_1 + 333422757009006857707294590253239086987067909000553649626741\ 340606464498117265725132463976505/464896411988007433947019738682915\ 55917389023238183759401468636281075990370604661803548002761240576*c\ _0101_5^28 + 133041660032868323604628753114289530563424928661347143\ 4803289049767228784402604576543523628211/11622410299700185848675493\ 4670728889793472558095459398503671590702689975926511654508870006903\ 10144*c_0101_5^27 + 10563702103052261663713667539274109589250283643\ 472915722284218952524254579317385035869202643635/232448205994003716\ 9735098693414577795869451161909187970073431814053799518530233090177\ 4001380620288*c_0101_5^26 - 260502639634553353508829166236852757381\ 8204813531534232516789016897059811617341358829671537383/58112051498\ 5009292433774673353644448967362790477296992518357953513449879632558\ 2725443500345155072*c_0101_5^25 - 215970251755181847455900828600488\ 55231926047012171230115590935385143550259463454828301863175797/2905\ 6025749250464621688733667682222448368139523864849625917897675672493\ 98162791362721750172577536*c_0101_5^24 - 9347712945702610268113427440855657721336156328693802173502021622734\ 98315579405676295688266847143/2324482059940037169735098693414577795\ 8694511619091879700734318140537995185302330901774001380620288*c_010\ 1_5^23 - 4663504557581867721158712024653845830554701985210392998900\ 81140741161571674163605436777143414309/5811205149850092924337746733\ 5364444896736279047729699251835795351344987963255827254435003451550\ 72*c_0101_5^22 - 72835717973500841398507547904750576047246732860573\ 9742501370473339325310790539695556423598162525/58112051498500929243\ 3774673353644448967362790477296992518357953513449879632558272544350\ 0345155072*c_0101_5^21 - 155171507529801056117822318096681148336781\ 045721455941528541328178244783348586732774724648182243/581120514985\ 0092924337746733536444489673627904772969925183579535134498796325582\ 725443500345155072*c_0101_5^20 + 4525239088174741683732720442023470\ 2298365875266134268339672166281392003536251663886826566338561231/46\ 4896411988007433947019738682915559173890232381837594014686362810759\ 90370604661803548002761240576*c_0101_5^19 + 3883922700208865245830564305299538066955810219010102721003459881532\ 9516255293449569443065022791921/23244820599400371697350986934145777\ 958694511619091879700734318140537995185302330901774001380620288*c_0\ 101_5^18 + 13246099172601500498984001067302982575932565069178238031\ 2672712680180688375951714708823578570311049/46489641198800743394701\ 9738682915559173890232381837594014686362810759903706046618035480027\ 61240576*c_0101_5^17 + 56258727126116443555217795336775898422721394\ 82670810143468149902344316158520877105915106304014225/1452801287462\ 5232310844366833841111224184069761932424812958948837836246990813956\ 81360875086288768*c_0101_5^16 - 35334099261724403166531977391215508\ 3092574701199444751037420522206328247320704042186527859711058207/46\ 4896411988007433947019738682915559173890232381837594014686362810759\ 90370604661803548002761240576*c_0101_5^15 - 1394892163589655424832230612215237687391205521426917549751681561545\ 84738898902685321231988584996119/1162241029970018584867549346707288\ 8979347255809545939850367159070268997592651165450887000690310144*c_\ 0101_5^14 - 3716310649213656625929371707106938517101341041876771851\ 09106289711540183485829803900590602852412353/2324482059940037169735\ 0986934145777958694511619091879700734318140537995185302330901774001\ 380620288*c_0101_5^13 - 1571560935383414230786000406830489547474656\ 264690859903346833071301200693064845507266421345826476541/464896411\ 9880074339470197386829155591738902323818375940146863628107599037060\ 4661803548002761240576*c_0101_5^12 + 1367538786280871349226336813765656232764038104674915808539779641692\ 2057817779214359918684024239353/72640064373126161554221834169205556\ 1209203488096621240647947441891812349540697840680437543144384*c_010\ 1_5^11 + 8562371398700594003486326640621814418309894625575560986216\ 75109054613019825720346381337816564156271/2324482059940037169735098\ 6934145777958694511619091879700734318140537995185302330901774001380\ 620288*c_0101_5^10 + 2680389309720932653241433766428936240036526936\ 05510560250062272147390385975691207213290051223974979/1162241029970\ 0185848675493467072888979347255809545939850367159070268997592651165\ 450887000690310144*c_0101_5^9 + 39446587975236248877468139245702528\ 8194243337073866016747539588968429929950248529764671915729204523/58\ 1120514985009292433774673353644448967362790477296992518357953513449\ 8796325582725443500345155072*c_0101_5^8 - 9623255383342512308580775482077545949450033031027263442470322109187\ 473620809423405077543556794125/726400643731261615542218341692055561\ 209203488096621240647947441891812349540697840680437543144384*c_0101\ _5^7 - 219538415178328421536986266097764588701448280280577602638373\ 26472159884325303748814230726022800531/7264006437312616155422183416\ 9205556120920348809662124064794744189181234954069784068043754314438\ 4*c_0101_5^6 - 1267740778042110880857498452898012700578943670203262\ 3432478632165505425462853117131409063007451489/72640064373126161554\ 2218341692055561209203488096621240647947441891812349540697840680437\ 543144384*c_0101_5^5 - 33543050662538626694022661333278424881216352\ 79067153225746943846328451538273192697224432348404739/9080008046640\ 7701942777292711506945151150436012077655080993430236476543692587230\ 085054692893048*c_0101_5^4 + 15438703552140109507317887941774590980\ 84236759597620762992778396358563631161191193696989286672111/9080008\ 0466407701942777292711506945151150436012077655080993430236476543692\ 587230085054692893048*c_0101_5^3 + 2533356779624874057031076935425488445214008133407457229839465758420\ 11687683064583906845881086563/9080008046640770194277729271150694515\ 1150436012077655080993430236476543692587230085054692893048*c_0101_5\ ^2 + 26083781111487461757255521224621269720284712794879199295181057\ 762576323807586754683729163573867/227000201166019254856943231778767\ 36287787609003019413770248357559119135923146807521263673223262*c_01\ 01_5 + 315213491552122390036398252385149113076718772908140004700708\ 37050289607528657311363362990964407/2270002011660192548569432317787\ 6736287787609003019413770248357559119135923146807521263673223262, c_0101_3 + 133553730925902902943903753097154209048934677336972651268706\ 120696652962282861178852942086223/464896411988007433947019738682915\ 55917389023238183759401468636281075990370604661803548002761240576*c\ _0101_5^28 + 104754835941959977907862474242985166587796778045865936\ 4192242703905551170938691051424500629401/23244820599400371697350986\ 9341457779586945116190918797007343181405379951853023309017740013806\ 20288*c_0101_5^27 + 98665629641780497161706970150550500339075734635\ 8943156374439883051279866178962787312418661365/58112051498500929243\ 3774673353644448967362790477296992518357953513449879632558272544350\ 0345155072*c_0101_5^26 - 261704056912107003754197339364363964467196\ 1993795650309255101876877286253592211286516471127161/11622410299700\ 1858486754934670728889793472558095459398503671590702689975926511654\ 50887000690310144*c_0101_5^25 - 16946856304520418343786766229435877\ 058457096927962273633669509445420449884263051085434690313247/581120\ 5149850092924337746733536444489673627904772969925183579535134498796\ 325582725443500345155072*c_0101_5^24 - 3563088652046964014755938099462533635800832132999014865536277007598\ 82730258169406862615998375093/2324482059940037169735098693414577795\ 8694511619091879700734318140537995185302330901774001380620288*c_010\ 1_5^23 - 3251417635031086403660266891423083249716413057044280458998\ 27798404505757627826683378130071841111/1162241029970018584867549346\ 7072888979347255809545939850367159070268997592651165450887000690310\ 144*c_0101_5^22 - 4958130939768333110413863674716141833340875128525\ 30658944755282508629933685206556211689771328483/1162241029970018584\ 8675493467072888979347255809545939850367159070268997592651165450887\ 000690310144*c_0101_5^21 + 9446756100656168339268452195969583882172\ 312393637564133231803195525463600639647097625395548965/581120514985\ 0092924337746733536444489673627904772969925183579535134498796325582\ 725443500345155072*c_0101_5^20 + 1809093662043563629318689604995461\ 1774476079249184554990072877948571415237836439638182366928560273/46\ 4896411988007433947019738682915559173890232381837594014686362810759\ 90370604661803548002761240576*c_0101_5^19 + 8205974774968314068458913028845139438803087260733222188388625890769\ 83732750555989274391921903737/1452801287462523231084436683384111122\ 418406976193242481295894883783624699081395681360875086288768*c_0101\ _5^18 + 45967476755267062455678931808537710442935231933543784769605\ 030964459477053004573557044098895921093/464896411988007433947019738\ 6829155591738902323818375940146863628107599037060466180354800276124\ 0576*c_0101_5^17 + 291088284047545087162200068171608821277539975201\ 64844115450023216321636496681184319515697286352097/2324482059940037\ 1697350986934145777958694511619091879700734318140537995185302330901\ 774001380620288*c_0101_5^16 - 1564788965738207409708041618990482238\ 28215312067539861756256796646865089377816117368847018743319543/4648\ 9641198800743394701973868291555917389023238183759401468636281075990\ 370604661803548002761240576*c_0101_5^15 - 9141378180425702644237594099360333153866569214070169855483858494697\ 1434512977448841812711203379159/23244820599400371697350986934145777\ 958694511619091879700734318140537995185302330901774001380620288*c_0\ 101_5^14 - 62161425588344711974569428297326367369495066677926736906\ 988707011650676447465633469015405620081137/116224102997001858486754\ 9346707288897934725580954593985036715907026899759265116545088700069\ 0310144*c_0101_5^13 - 542928364250745628391410516804264291273569647\ 704617427057757587594427639363057054527597579519066223/464896411988\ 0074339470197386829155591738902323818375940146863628107599037060466\ 1803548002761240576*c_0101_5^12 + 245092318836610080240690198325744\ 656999515856631944896725251168524978549071735935472634617643231981/\ 2324482059940037169735098693414577795869451161909187970073431814053\ 7995185302330901774001380620288*c_0101_5^11 + 1422300203341650424137393592992106781997958997831624818184852663481\ 13839233748307916773639545287675/1162241029970018584867549346707288\ 8979347255809545939850367159070268997592651165450887000690310144*c_\ 0101_5^10 + 8742622038372259379295441893103131172937469702180732524\ 795464618412894607339712537559358219366879/145280128746252323108443\ 6683384111122418406976193242481295894883783624699081395681360875086\ 288768*c_0101_5^9 + 17177671287417899345749553443827542438592904058\ 500810688969149641368288188374681249967709736849811/726400643731261\ 6155422183416920555612092034880966212406479474418918123495406978406\ 80437543144384*c_0101_5^8 - 169013020893454795525496925190295389847\ 11103353973872437392797772066388809006118372590642110756385/1452801\ 2874625232310844366833841111224184069761932424812958948837836246990\ 81395681360875086288768*c_0101_5^7 - 7321922501621234548220508030938880069140213588064467156445033435605\ 675329354496906424666402693553/726400643731261615542218341692055561\ 209203488096621240647947441891812349540697840680437543144384*c_0101\ _5^6 - 151527106527546857245621917980217756226274134414578633500083\ 7995326631137466333112130994555088033/36320032186563080777110917084\ 6027780604601744048310620323973720945906174770348920340218771572192\ *c_0101_5^5 - 10492490573254463908690715299898531191495046236050562\ 04436251273164717486988058582128906785927127/9080008046640770194277\ 7292711506945151150436012077655080993430236476543692587230085054692\ 893048*c_0101_5^4 + 12754796100721066301224696150863395660532835858\ 7778471442370403439483637145428379985161735540231/11350010058300962\ 7428471615889383681438938045015097068851241787795595679615734037606\ 31836611631*c_0101_5^3 - 717390133175242305870213597639904210908395\ 9811748487062698893064735705200691060986514016439355/22700020116601\ 9254856943231778767362877876090030194137702483575591191359231468075\ 21263673223262*c_0101_5^2 + 738407275753948161353710980321993456737\ 0507169699897098829660733947051744903073961874325757789/22700020116\ 6019254856943231778767362877876090030194137702483575591191359231468\ 07521263673223262*c_0101_5 + 38404885787254926908655889987211490291\ 7303497517773084927697108340680367398578623933010720789/11350010058\ 3009627428471615889383681438938045015097068851241787795595679615734\ 03760631836611631, c_0101_5^29 + 16*c_0101_5^28 + 64*c_0101_5^27 - 60*c_0101_5^26 - 1040*c_0101_5^25 - 5654*c_0101_5^24 - 11408*c_0101_5^23 - 17860*c_0101_5^22 - 3952*c_0101_5^21 + 136319*c_0101_5^20 + 240062*c_0101_5^19 + 407263*c_0101_5^18 + 544460*c_0101_5^17 - 1050553*c_0101_5^16 - 1756612*c_0101_5^15 - 2336892*c_0101_5^14 - 4714809*c_0101_5^13 + 2487076*c_0101_5^12 + 5515508*c_0101_5^11 + 3723144*c_0101_5^10 + 9379200*c_0101_5^9 - 1478848*c_0101_5^8 - 4882112*c_0101_5^7 - 3010944*c_0101_5^6 - 5147136*c_0101_5^5 + 2003456*c_0101_5^4 + 899072*c_0101_5^3 + 217088*c_0101_5^2 + 176128*c_0101_5 + 24576 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB