Magma V2.19-8 Tue Aug 20 2013 16:15:59 on localhost [Seed = 678016017] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0219 geometric_solution 4.02890933 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 0 -1 1 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 -1 1 0 0 0 -1 1 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.756436775131 0.018803908158 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0.576756583843 0.053938422003 3 1 3 1 0132 0132 2310 1023 0 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 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 0 0 0 -1.076106495887 0.788481587626 2 2 4 4 0132 3201 2310 0132 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 0 1 -1 1 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.509435282640 2.505005759760 5 3 3 6 0132 3201 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.497951311765 0.295239800367 4 6 6 6 0132 1302 3201 0321 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 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510006962460 0.863705728645 5 5 4 5 2310 0321 0132 2031 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 1 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510006962460 0.863705728645 ==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' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : 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' : 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' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_6, 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 - 1556861214587613291638882524781374358820436576210270706077963042266\ 36613549343182767/6957668041721527795709924651982573138452350684060\ 8424630653474775554496788766595*c_0101_5^28 - 3702406601400789334824116231915338157157716105081970900185594735284\ 808681066841672209/695766804172152779570992465198257313845235068406\ 08424630653474775554496788766595*c_0101_5^27 - 3219555679960333800974995477317991881338101182621144239943172095669\ 7512781944807930231/69576680417215277957099246519825731384523506840\ 608424630653474775554496788766595*c_0101_5^26 - 1204655660376573773796405779662008769954865572077075816265304491187\ 58635145602839144401/6957668041721527795709924651982573138452350684\ 0608424630653474775554496788766595*c_0101_5^25 - 6800291918007276334692875687206288172120396246040530529294563061570\ 83619370003561940/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^24 + 1565632628360210229940484649654610797408156413280898304631330067377\ 713307258347699534039/695766804172152779570992465198257313845235068\ 40608424630653474775554496788766595*c_0101_5^23 + 4687713542402913111623774884849466999358637002754237483977110782307\ 166887108005363945877/695766804172152779570992465198257313845235068\ 40608424630653474775554496788766595*c_0101_5^22 + 2430534376154496079869002324615079567038653172924160955313113030746\ 678753935586221738592/695766804172152779570992465198257313845235068\ 40608424630653474775554496788766595*c_0101_5^21 - 1748879821401922772672746433751868023567709310808771678129181499511\ 205172905284093432422/139153360834430555914198493039651462769047013\ 68121684926130694955110899357753319*c_0101_5^20 - 1262602518825286393863578275396805469367333192555768061839914989870\ 5242794816662825229624/69576680417215277957099246519825731384523506\ 840608424630653474775554496788766595*c_0101_5^19 - 2151702949544897908661535618515666318087694946335339491178776663885\ 8376416692766869391252/69576680417215277957099246519825731384523506\ 840608424630653474775554496788766595*c_0101_5^18 - 3700520059407506842140878794149657834340804000043679909572969255403\ 0591111949055265174894/69576680417215277957099246519825731384523506\ 840608424630653474775554496788766595*c_0101_5^17 + 1181206436331565536469200347426735921305665396039709286194748351542\ 64227960630654788169832/6957668041721527795709924651982573138452350\ 6840608424630653474775554496788766595*c_0101_5^16 + 2652219689865590557573501435759790007752008322432732220390354232445\ 3718615842876204463501/13915336083443055591419849303965146276904701\ 368121684926130694955110899357753319*c_0101_5^15 - 2563698208586789123043543262475682633071312406961046630730232951082\ 80212589379092378023117/6957668041721527795709924651982573138452350\ 6840608424630653474775554496788766595*c_0101_5^14 + 1024537785661699528069993501723079479388490367377507649688616315878\ 1296794365949402404179/69576680417215277957099246519825731384523506\ 840608424630653474775554496788766595*c_0101_5^13 + 1026692808864176497563653994814645853649367765221480914047906622649\ 32259222586779375235276/6957668041721527795709924651982573138452350\ 6840608424630653474775554496788766595*c_0101_5^12 - 3324599757595797794122989036685013126265020145695070601251813391334\ 541821869420227200254/409274590689501635041760273646033714026608863\ 7682848507685498516209088046398035*c_0101_5^11 + 1690820820276362171863430609390142085502640409149005320476094368152\ 5236439783097196797221/69576680417215277957099246519825731384523506\ 840608424630653474775554496788766595*c_0101_5^10 + 1722035872083113652356861828833633776150730029771076794565843107720\ 1636850561868109251507/69576680417215277957099246519825731384523506\ 840608424630653474775554496788766595*c_0101_5^9 - 1393840804351819135308211028866292599926151620598666615738505939056\ 9531420191555318493421/69576680417215277957099246519825731384523506\ 840608424630653474775554496788766595*c_0101_5^8 - 1920095549887341734734600900561477373164121740544603037320683157668\ 66433139269534676880/1391533608344305559141984930396514627690470136\ 8121684926130694955110899357753319*c_0101_5^7 + 1476827878943540907303486370711418382730645027753001140928214160535\ 947251816437900367766/695766804172152779570992465198257313845235068\ 40608424630653474775554496788766595*c_0101_5^6 - 3347602915688768765761286955887057351896786740721544474310980433920\ 55570072180830611263/6957668041721527795709924651982573138452350684\ 0608424630653474775554496788766595*c_0101_5^5 + 1060153583300641797580830167180351884804137490241481180367298565653\ 49803390890327966764/6957668041721527795709924651982573138452350684\ 0608424630653474775554496788766595*c_0101_5^4 + 1892955583772054648107289374612299740399482057802036736534620053916\ 2238621845795775983/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^3 - 1244429648627282370760789653060528164019974271871302821389946128322\ 9822077616695769536/69576680417215277957099246519825731384523506840\ 608424630653474775554496788766595*c_0101_5^2 - 8169420248931670160349522308562713370095273281193284819791961131430\ 807146872037826168/695766804172152779570992465198257313845235068406\ 08424630653474775554496788766595*c_0101_5 - 7184402687755630076955840061975746728303700462788371453340294185417\ 76639361053146896/6957668041721527795709924651982573138452350684060\ 8424630653474775554496788766595, c_0011_0 - 1, c_0011_4 + 217682146925215607545030321758751977694469143023828697654113\ 59710512852737559051/1391533608344305559141984930396514627690470136\ 8121684926130694955110899357753319*c_0101_5^28 + 5211432404086334465038914496509596374002443293487685240279956562536\ 61654031885187/1391533608344305559141984930396514627690470136812168\ 4926130694955110899357753319*c_0101_5^27 + 4583079368285781110083906521849903461892767086743517741180974040237\ 047596765183863/139153360834430555914198493039651462769047013681216\ 84926130694955110899357753319*c_0101_5^26 + 1753671016526023230849611100531853724157489273512160941354325314990\ 3763748212302390/13915336083443055591419849303965146276904701368121\ 684926130694955110899357753319*c_0101_5^25 + 2951314067838546319294393533400079960454447487531733575847974281566\ 304771524866454/139153360834430555914198493039651462769047013681216\ 84926130694955110899357753319*c_0101_5^24 - 2195931814632224278290559397959506667389613644439323524586526824145\ 34099691540494393/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^23 - 6902415362629297550247279541537797721421991636764147228078479616565\ 40002855697483473/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^22 - 4340979874180978716499681511950778905588295003755961670571054785213\ 05631275064740816/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^21 + 1197544801394379022236335248649358047865831962622102361582032673308\ 642911350635204436/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^20 + 1972436241819706613637649647243797351909111960794719135702706660282\ 841621505751117955/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^19 + 3234641152418594789812158631317262847614709847061591899041928034332\ 320198298071234502/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^18 + 5584484928902575577838923696355158641521747158725628844803287135975\ 536388016154363539/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^17 - 1582495663727345477830317327938240822645213407130401196982115762016\ 9420292722287366617/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^16 - 2140590016657827149793415398454549446178868299918618019813163851095\ 3287559835936251268/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^15 + 3368387358707446016463360138494673632096877611405553874072326961893\ 5906972594104414286/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^14 + 4970675084152877705823962075777971884169004361720056429221794914642\ 716902742185218589/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^13 - 1632325005487823755090944421336814412793897859448954488507163009491\ 7067153616944145085/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^12 + 3599370775748771783209169287436126585658864976074803549753277437625\ 11588436942965758/8185491813790032700835205472920674280532177275365\ 69701537099703241817609279607*c_0101_5^11 - 6319335662833355968828316632987104451366497766351913982470301443010\ 14714394303927482/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^10 - 3276986287010742433530712514870167425958696834373693595756108599283\ 665355282692285031/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^9 + 1802215691932784751600091896980678296088471623982819997433176867663\ 114371351297390208/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^8 + 4880191180518349629437532946216340702205471096415986795123457908136\ 84398740418037622/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^7 - 2781256342704560670464461303113998557513954769811194143636197151534\ 41057560182060468/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^6 + 3609669546002590120647742457780458476626916717077546226630731962589\ 1392525776822847/13915336083443055591419849303965146276904701368121\ 684926130694955110899357753319*c_0101_5^5 - 4626954671511565510294609809444886966882344216920424835296326017915\ 156132299786047/139153360834430555914198493039651462769047013681216\ 84926130694955110899357753319*c_0101_5^4 - 1844900621722057163893658001780895418463600835244779387983747724064\ 8447328040358394/13915336083443055591419849303965146276904701368121\ 684926130694955110899357753319*c_0101_5^3 + 9928845061654394345014591489576096977037701352590647169642217126040\ 53179122698165/1391533608344305559141984930396514627690470136812168\ 4926130694955110899357753319*c_0101_5^2 + 1563298546350542495500811781655925189162868401064980426220229713499\ 405705748084021/139153360834430555914198493039651462769047013681216\ 84926130694955110899357753319*c_0101_5 + 1554981077230654225821077857229237015686689160402296754077271985638\ 47480974874190/1391533608344305559141984930396514627690470136812168\ 4926130694955110899357753319, c_0011_6 - 104060081319018869017730114544935497907152302897421614269688\ 304805196779035775192/139153360834430555914198493039651462769047013\ 68121684926130694955110899357753319*c_0101_5^28 - 2470711549299148925023187688989111169005300665580374575777825376997\ 428633162764087/139153360834430555914198493039651462769047013681216\ 84926130694955110899357753319*c_0101_5^27 - 2142631057282609008450087576367704556317766205236303566256101263286\ 3831780836254576/13915336083443055591419849303965146276904701368121\ 684926130694955110899357753319*c_0101_5^26 - 7972694573528717414914695783830366432695685407047819861268388436323\ 1368448669303048/13915336083443055591419849303965146276904701368121\ 684926130694955110899357753319*c_0101_5^25 + 5556626637467167914577431025047009614859778383694253796112564086187\ 11265887216256/1391533608344305559141984930396514627690470136812168\ 4926130694955110899357753319*c_0101_5^24 + 1045687764165940995556908700021244753155936471298155283429238012517\ 780553527460949299/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^23 + 3093568035549729780706897070595324088038025821796493054029687410505\ 114501495012711007/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^22 + 1517100582205466495084942285448412530885906855775370439228207661329\ 139304438273985862/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^21 - 5873757555375595549948583841335980655042061357385516842218375073218\ 228700376815887574/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^20 - 8205955404099756964041455956455043093610123458779260998706792071495\ 530785632838651652/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^19 - 1412905433564867732438376140710852397507472243434069453793361820669\ 3834881577408903640/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^18 - 2426438998669464785606889541558325080072585167088552320977342338329\ 2362634471935938715/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^17 + 7974822495458997310807027569693246880296060015006555296171136104407\ 0207210298326362747/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^16 + 8537905022681143989020426737525830350932905167187958970454869441179\ 0048973445100810346/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^15 - 1737725685207662387218595818451890160316030710819684939955153244729\ 20324274639092970986/1391533608344305559141984930396514627690470136\ 8121684926130694955110899357753319*c_0101_5^14 + 1414016207221088731958949942736905315867245289965400872624381758654\ 9993987392797378280/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^13 + 6621656223733658142608238562436137913404896049671463416515583287886\ 2080175380917847160/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^12 - 2337481969317713956921688299950532124882513765909833606124400479619\ 402133199163536739/818549181379003270083520547292067428053217727536\ 569701537099703241817609279607*c_0101_5^11 + 1335477275544150043875758255831869181441145858572680205679464196777\ 6587860157897469620/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^10 + 1046075442052728592880225616051942132086169861535502543862404921373\ 4096230727985036043/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^9 - 9454850237313744786656716582513444794524546291399189767794105235310\ 716343554415276856/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^8 - 2353221996750185713997174520026296862747725476529293648493859323795\ 38728116953295762/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^7 + 8890135541288016143855869567372679223996935335075686846351999282535\ 83843799173824370/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^6 - 2323685119607559707788713073747622866433168745516077361919972236542\ 77403100839259977/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^5 + 8276792105579811665750024127166614776128006467249263229545969471718\ 8693874230077667/13915336083443055591419849303965146276904701368121\ 684926130694955110899357753319*c_0101_5^4 + 5693042531855458267052767923394254550043437386627910054945917414092\ 3346722214220723/13915336083443055591419849303965146276904701368121\ 684926130694955110899357753319*c_0101_5^3 - 8885997650603942049124811283636780558654322612135010821572473001580\ 825519349046222/139153360834430555914198493039651462769047013681216\ 84926130694955110899357753319*c_0101_5^2 - 4957543541414971466295978538204366801991806327853448695455194489774\ 675033019034810/139153360834430555914198493039651462769047013681216\ 84926130694955110899357753319*c_0101_5 - 4251594880729957960551782784423073964009686032729792362189825446757\ 29501334208339/1391533608344305559141984930396514627690470136812168\ 4926130694955110899357753319, c_0101_0 + 309907915612441273017085756489254772764218395032996435430876\ 33941250281979534812/1391533608344305559141984930396514627690470136\ 8121684926130694955110899357753319*c_0101_5^28 + 7430085742980447854962261377038619007611118278730352452323855460748\ 04513921081076/1391533608344305559141984930396514627690470136812168\ 4926130694955110899357753319*c_0101_5^27 + 6549566456752691925503018616229981032281200543573993260236427814669\ 058826893790556/139153360834430555914198493039651462769047013681216\ 84926130694955110899357753319*c_0101_5^26 + 2517135190366534213986531116281855449219711006645067956697602493497\ 0452377272682278/13915336083443055591419849303965146276904701368121\ 684926130694955110899357753319*c_0101_5^25 + 4889954395263137331802967452534156607945865123865963507107549373494\ 839826430400216/139153360834430555914198493039651462769047013681216\ 84926130694955110899357753319*c_0101_5^24 - 3130938641487402660844304373570783844046825415098046115143981136419\ 43962891185483120/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^23 - 9932151136451012915836151222461005437650462211505329532732878712776\ 09448644463019211/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^22 - 6430310747549353905934631867118851061200749820867923098609614459307\ 76004041207216487/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^21 + 1706592808808366921906589792128273101026907399124565883741450532808\ 361113597307996088/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^20 + 2869779126346163204424592459775409584747992958153976141098351040491\ 361376634212132881/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^19 + 4646073490065922043642881107172474403289950799532729259276592365271\ 716970598694600077/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^18 + 8055961091893438696688244047936686136551001767716541826841599997124\ 056146678587254891/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^17 - 2235138338318274761961186376260619962470384677813540869786787591230\ 8074191517402505978/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^16 - 3141104353433235776806325511858349495577311760664477727103314538721\ 4440008309751272378/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^15 + 4767256247116110038056030569131002429849724404155740182866060809836\ 1047692535224268607/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^14 + 9214055387494928720977285138534868224321915528635445634997276495677\ 611726636562045405/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^13 - 2472859547506342722487076016260987696381606620927534064928123959151\ 1260019481793234463/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^12 + 5032882310559635646212887624555957415926335198462615361759771704572\ 91478796620032801/8185491813790032700835205472920674280532177275365\ 69701537099703241817609279607*c_0101_5^11 - 1907871003106338791850712895067699771435957988594827656134889719853\ 45053122448463871/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^10 - 5137524729857910281983849914638401854199846954813080458167998176742\ 774395518288492040/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^9 + 2652611414042778871372347667329182452636283293337562351499347998222\ 193148440447622831/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^8 + 8039968693243951201025190557870222317525400592188496658292682980119\ 76281456456351813/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^7 - 4623066619790225106010799597035140328624928055104733482731801667266\ 75191767325584551/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^6 + 5664120749541602888095579662720289799626709966074389313947530563980\ 3422684150146289/13915336083443055591419849303965146276904701368121\ 684926130694955110899357753319*c_0101_5^5 - 2720063388569218970378633550187042282995487037712285619444332337306\ 654715695695858/139153360834430555914198493039651462769047013681216\ 84926130694955110899357753319*c_0101_5^4 - 2919896967107023178544696704845758996244622139477984144637665274480\ 2170412232297524/13915336083443055591419849303965146276904701368121\ 684926130694955110899357753319*c_0101_5^3 + 1953502643406576330308191950306816465593469020244401925777186666106\ 047307540718418/139153360834430555914198493039651462769047013681216\ 84926130694955110899357753319*c_0101_5^2 + 2452416053274124573914533730883435463142253230927042667184897610149\ 571557261858353/139153360834430555914198493039651462769047013681216\ 84926130694955110899357753319*c_0101_5 + 2163359440481585368923935574493365845417748392261399338965966598299\ 27125538614604/1391533608344305559141984930396514627690470136812168\ 4926130694955110899357753319, c_0101_1 - 625058597059623295424799908700335335363470225035709505037276\ 28986921510211394950/1391533608344305559141984930396514627690470136\ 8121684926130694955110899357753319*c_0101_5^28 - 1494934867837318617128168448271210865976210027982204033582844227146\ 065360356696265/139153360834430555914198493039651462769047013681216\ 84926130694955110899357753319*c_0101_5^27 - 1312623596512098587987246906229096264725144525096393024403486791121\ 7861035159751529/13915336083443055591419849303965146276904701368121\ 684926130694955110899357753319*c_0101_5^26 - 5008732758859202826080542720313548513654525794193121668830922198238\ 1256202766183690/13915336083443055591419849303965146276904701368121\ 684926130694955110899357753319*c_0101_5^25 - 7667377546997157586027988033347528728616508181674046528222204136988\ 781696635728529/139153360834430555914198493039651462769047013681216\ 84926130694955110899357753319*c_0101_5^24 + 6293007236291819905818333776678110747259237868212790815887076567324\ 61208588652725986/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^23 + 1967030871072149215314672362416907709618021859725062868993776691848\ 427107174457566751/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^22 + 1218297895327763928069599291764259364273140448289424328474768669632\ 038694499456831686/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^21 - 3413243217331552042866924325521890136025572071994647471700504534204\ 316079289903514575/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^20 - 5555921327109382810112586379766853826186827411563179632695626109971\ 359735944532717598/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^19 - 9251097725989100979536851181251145731909000155229311236759259074594\ 071498225230992805/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^18 - 1594112957235470308672703908309840820385547454686975171287173387441\ 5030618337952932882/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^17 + 4556145288956377262643017630074889645107721615935185223979686636159\ 0743263951397299334/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^16 + 5992283687746845556814458465155639619967701414779209099745142494390\ 9114189105995700426/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^15 - 9672911390961352003878157753828168835399105506453816542129545849132\ 1893560909128244986/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^14 - 1068592745003152292277734330064718939973113640792049945047479687644\ 6076919855011680913/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^13 + 4405026553120815470434157158576560019809017742168420131519798612645\ 3736094646549204060/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^12 - 1036881365109660551983622561731768785127001376191116560620049969370\ 882075092166218154/818549181379003270083520547292067428053217727536\ 569701537099703241817609279607*c_0101_5^11 + 2957954308827289871841368804859691817045423396745164345385236545412\ 442331786357035061/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^10 + 8417199969682042770662073992264414461471106794587069804479537254958\ 730524432651428430/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^9 - 4898238596225858713713391628811036113377540799778755707476138680192\ 619644620866900198/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^8 - 1238659177594058529091989186917576474750687485453229950224953897226\ 077614991613464031/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^7 + 6744105126795261059181499127686217030065749488880126463618992893250\ 34455823840941728/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^6 - 6779540020662874886960583064968454606613830902856312737324046862216\ 4777512991492907/13915336083443055591419849303965146276904701368121\ 684926130694955110899357753319*c_0101_5^5 + 1380556241873809782383830452704205465774686426254515137534086045614\ 9517121213654298/13915336083443055591419849303965146276904701368121\ 684926130694955110899357753319*c_0101_5^4 + 4811613976900999994864223476518936297718146937639615328917349086690\ 0148991931736816/13915336083443055591419849303965146276904701368121\ 684926130694955110899357753319*c_0101_5^3 - 1645430002697861465965562994127716464960444963434293450721715340170\ 785424354846876/139153360834430555914198493039651462769047013681216\ 84926130694955110899357753319*c_0101_5^2 - 4476615435113463086205262147844672285409398717697705721652440527857\ 618207279529233/139153360834430555914198493039651462769047013681216\ 84926130694955110899357753319*c_0101_5 - 5228262598014794362826555377252492000463306781752923819553149453122\ 87894630971264/1391533608344305559141984930396514627690470136812168\ 4926130694955110899357753319, c_0101_3 - 344215611101140414140723156650329774227417149321724748331621\ 501235519584019227164/139153360834430555914198493039651462769047013\ 68121684926130694955110899357753319*c_0101_5^28 - 8199560758851256248367889525624161376342432361516822362077900983663\ 468598812996207/139153360834430555914198493039651462769047013681216\ 84926130694955110899357753319*c_0101_5^27 - 7150479859512201165550464938535013214147529055369010346645656863123\ 7545341199681562/13915336083443055591419849303965146276904701368121\ 684926130694955110899357753319*c_0101_5^26 - 2690849909271672598298879322130979419288145024685739551862679207661\ 41960929511010836/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^25 - 1733713356880921050456361790196077740342589327804756238727455520625\ 8867765334036297/13915336083443055591419849303965146276904701368121\ 684926130694955110899357753319*c_0101_5^24 + 3464032708277817533211866962540759649898762201752537333877306368303\ 679339531920030930/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^23 + 1050137155917144928343104965135698460443147081762494826776146826407\ 8326122790768965737/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^22 + 5747412395793573649591961325013809006217488582433625950145156726401\ 585036243023345349/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^21 - 1922566000546606315429855545094201714573865657169912741063158876110\ 1194740073118683187/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^20 - 2871672670455362276987084602114233668652125410566834324310736940624\ 1515290058004556909/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^19 - 4845927913751311881982620142057936304094623293467411163747124359788\ 5877105303315972248/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^18 - 8345748932143006790271574769618801839010209234734438905681420594816\ 3414432876766734282/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^17 + 2583741843574313012160412910623663360950652264297064043039447354208\ 71668338190087204198/1391533608344305559141984930396514627690470136\ 8121684926130694955110899357753319*c_0101_5^16 + 3043811335673670903609960411278686229103636083105924520268081693634\ 13493006003402027378/1391533608344305559141984930396514627690470136\ 8121684926130694955110899357753319*c_0101_5^15 - 5583037843339105807259025770901451225584308341865372299713076318522\ 17391348805519861602/1391533608344305559141984930396514627690470136\ 8121684926130694955110899357753319*c_0101_5^14 - 2321175673018858399059624202334100261728380450120205918566131020223\ 906496838998225339/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^13 + 2348861516242624622282022894021123292336778878092556659053163605595\ 66223176165660256400/1391533608344305559141984930396514627690470136\ 8121684926130694955110899357753319*c_0101_5^12 - 6948554719783214727248626544234304790059041017952418921081966852198\ 015207353856104641/818549181379003270083520547292067428053217727536\ 569701537099703241817609279607*c_0101_5^11 + 3054698197938236040633784629027463298571388479770586612564510876155\ 5005606088715561719/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^10 + 4145732355985255609760865894581571336169665842084698674089401529714\ 5864272162454571868/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^9 - 3026353128776583531750724294560204902740999717056163050223279503770\ 5057913510738127741/13915336083443055591419849303965146276904701368\ 121684926130694955110899357753319*c_0101_5^8 - 3495609812456336514941953062889363942889931179648362672440559582681\ 102587706308478328/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^7 + 3556673925294092785863737105119114623905345311110705948594374764010\ 929507528169986865/139153360834430555914198493039651462769047013681\ 21684926130694955110899357753319*c_0101_5^6 - 6917353995621141769301992341648423502096631603480715143313513260788\ 71408332342367003/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^5 + 1943600121789744301195549777176857981225294900837879468890565221283\ 81154339836140693/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^4 + 2295169586427174731950971445755794284026352492184463310925466722820\ 96662399881028263/1391533608344305559141984930396514627690470136812\ 1684926130694955110899357753319*c_0101_5^3 - 2482189430723330257632225029844164432271157408766118504217511036310\ 0981749671403685/13915336083443055591419849303965146276904701368121\ 684926130694955110899357753319*c_0101_5^2 - 1986362165967317440703219549791635280702831315328773824737530067698\ 6952814700098307/13915336083443055591419849303965146276904701368121\ 684926130694955110899357753319*c_0101_5 - 1848201968603438689760361133618423602522760294241076043567178208084\ 343975521195378/139153360834430555914198493039651462769047013681216\ 84926130694955110899357753319, c_0101_5^29 + 24*c_0101_5^28 + 212*c_0101_5^27 + 819*c_0101_5^26 + 191*c_0101_5^25 - 10052*c_0101_5^24 - 32310*c_0101_5^23 - 22193*c_0101_5^22 + 52768*c_0101_5^21 + 93392*c_0101_5^20 + 155915*c_0101_5^19 + 267889*c_0101_5^18 - 706782*c_0101_5^17 - 1017897*c_0101_5^16 + 1460856*c_0101_5^15 + 294825*c_0101_5^14 - 674977*c_0101_5^13 + 219128*c_0101_5^12 - 28870*c_0101_5^11 - 134707*c_0101_5^10 + 65496*c_0101_5^9 + 25776*c_0101_5^8 - 8203*c_0101_5^7 + 93*c_0101_5^6 - 209*c_0101_5^5 - 759*c_0101_5^4 - 52*c_0101_5^3 + 70*c_0101_5^2 + 16*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB