Magma V2.19-8 Tue Aug 20 2013 16:18:07 on localhost [Seed = 3869735459] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2342 geometric_solution 5.72400717 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 -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.354935848006 0.565749746871 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.644372533286 0.987829919496 1 3 0 4 1230 0132 0132 3201 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 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 0.644372533286 0.987829919496 1 2 5 5 0132 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.641535024470 1.489004939540 6 2 6 1 0132 2310 2310 0132 0 0 0 0 0 -1 0 1 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 -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.498706230195 1.715408874720 3 5 5 3 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.656059662698 0.431699258405 4 4 6 6 0132 3201 1230 3012 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 -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.255488976523 0.220200258688 ==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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_1_2' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_4'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), '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_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 9335019728417118208994668753119299227522424691642655419155071946565\ 109986/102842036742917079395482718884138914394558793606527013224231\ 188777128393*c_0101_4^30 + 4006918932295272223801911894448165524973\ 27599614845140748649828197784413403/5142101837145853969774135944206\ 94571972793968032635066121155943885641965*c_0101_4^29 - 6279636517120039098047094414877044617920536105607004077324336633061\ 33563364/5142101837145853969774135944206945719727939680326350661211\ 55943885641965*c_0101_4^28 - 10418569493124237606073590521427188632\ 788033880612635180603338447511222820132/514210183714585396977413594\ 420694571972793968032635066121155943885641965*c_0101_4^27 - 2515768444446694510582193685683288599821465352543510022966338642864\ 523198228/514210183714585396977413594420694571972793968032635066121\ 155943885641965*c_0101_4^26 + 1042842598445007754910393064821785312\ 53954620912400354892085699904725040749643/5142101837145853969774135\ 94420694571972793968032635066121155943885641965*c_0101_4^25 + 5849894647585279276144021730176360690776728517578468400100297393784\ 9078233158/51421018371458539697741359442069457197279396803263506612\ 1155943885641965*c_0101_4^24 - 618665283530563960710134482096822112\ 627605062125378040396581462729832658554487/514210183714585396977413\ 594420694571972793968032635066121155943885641965*c_0101_4^23 - 5213354782171317567180703680649512349679945235962635730762852687395\ 0298030774/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^22 + 255924396585486417495018362719763333\ 9204680684208918633466721584750623909093578/51421018371458539697741\ 3594420694571972793968032635066121155943885641965*c_0101_4^21 - 1871544373752982419359016362815084802804579561210488945531189846867\ 52010504533/5142101837145853969774135944206945719727939680326350661\ 21155943885641965*c_0101_4^20 - 68802736185619225959320495244353404\ 87459790640259412351498398589474726715822938/5142101837145853969774\ 13594420694571972793968032635066121155943885641965*c_0101_4^19 + 5143700381191533855280833773612462627533620385709653402340944168069\ 868499520646/514210183714585396977413594420694571972793968032635066\ 121155943885641965*c_0101_4^18 + 8109920879143097997934763465964784\ 398780631738213966119048047377892092065228319/514210183714585396977\ 413594420694571972793968032635066121155943885641965*c_0101_4^17 - 1345827011069698575356887540882278115299352596055032942322353581169\ 1905247277854/51421018371458539697741359442069457197279396803263506\ 6121155943885641965*c_0101_4^16 + 195710553233351735491719560444030\ 4774854848830973219805417433035666528979655696/51421018371458539697\ 7413594420694571972793968032635066121155943885641965*c_0101_4^15 + 9841557721787435756346286196645705558653976357679368437285267598536\ 035620364212/514210183714585396977413594420694571972793968032635066\ 121155943885641965*c_0101_4^14 - 9316841230655431729420177499014594\ 647754643375090207743634514975698382271457499/514210183714585396977\ 413594420694571972793968032635066121155943885641965*c_0101_4^13 + 5146094507098244217722668952981093072548445645233021482926654009112\ 91826962270/1028420367429170793954827188841389143945587936065270132\ 24231188777128393*c_0101_4^12 + 24394013081475078049013361924485249\ 94807022530368297869579194175474256921814046/5142101837145853969774\ 13594420694571972793968032635066121155943885641965*c_0101_4^11 - 4070177571729837995231830007681137282132157373770285057979949720950\ 322611038749/514210183714585396977413594420694571972793968032635066\ 121155943885641965*c_0101_4^10 + 4844561879162960523492908861790877\ 86477637409576981352807324520626670918935000/1028420367429170793954\ 82718884138914394558793606527013224231188777128393*c_0101_4^9 + 3776247955159123719564695484842682650858934184428595934575537157968\ 8385385631/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^8 - 8458731497690749648339589515170381267\ 52020067707731113201042203942899931909579/5142101837145853969774135\ 94420694571972793968032635066121155943885641965*c_0101_4^7 + 1933591073414783063669075742312392425135987800431878713527686231756\ 25428695394/5142101837145853969774135944206945719727939680326350661\ 21155943885641965*c_0101_4^6 + 814952714586348174435116746535444188\ 52186040844888127464438823234017306730508/5142101837145853969774135\ 94420694571972793968032635066121155943885641965*c_0101_4^5 - 1702461054189109564689667707879351216414602524704000022063409015730\ 8219641899/51421018371458539697741359442069457197279396803263506612\ 1155943885641965*c_0101_4^4 - 3070737520369611212527007817283435302\ 936524182326758537118147615095270218147/514210183714585396977413594\ 420694571972793968032635066121155943885641965*c_0101_4^3 - 1829507474746491783219904747443045149052673877079913464194824390966\ 847439798/514210183714585396977413594420694571972793968032635066121\ 155943885641965*c_0101_4^2 + 17231942139523210086980135824766158204\ 1077836671810780909658084518776937029/51421018371458539697741359442\ 0694571972793968032635066121155943885641965*c_0101_4 + 1515974035088787369232537677475173772319899308947185372581190416347\ 31272112/5142101837145853969774135944206945719727939680326350661211\ 55943885641965, c_0011_0 - 1, c_0011_1 - 940582686271335388641822717582620987891187864651246131857671\ 796925375725/102842036742917079395482718884138914394558793606527013\ 224231188777128393*c_0101_4^30 - 6292439195012971681735875293811771\ 950454731725354621151067525588658611395/102842036742917079395482718\ 884138914394558793606527013224231188777128393*c_0101_4^29 + 2527713189134087413062084262496766641046927902279633046735312134924\ 9646484/10284203674291707939548271888413891439455879360652701322423\ 1188777128393*c_0101_4^28 + 167002207625932116098934678391874508023\ 238964593439986143236115223841191111/102842036742917079395482718884\ 138914394558793606527013224231188777128393*c_0101_4^27 - 2826641567505927496564893783854361066698226001307844810424446425202\ 56819371/1028420367429170793954827188841389143945587936065270132242\ 31188777128393*c_0101_4^26 - 16963901632604620611310011166655417874\ 92026605956375236757964726188241643985/1028420367429170793954827188\ 84138914394558793606527013224231188777128393*c_0101_4^25 + 2196003113788620644202459846330020114683647396133189014146524195840\ 797807713/102842036742917079395482718884138914394558793606527013224\ 231188777128393*c_0101_4^24 + 9624457197056529408084346405558806819\ 906354596585694367252279835346459213192/102842036742917079395482718\ 884138914394558793606527013224231188777128393*c_0101_4^23 - 1411176333980933861747228577782790500692647059538553185638213603206\ 3062564271/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^22 - 323705597970338848328777915900252430\ 09158380207947922357403525343522450938360/1028420367429170793954827\ 18884138914394558793606527013224231188777128393*c_0101_4^21 + 7269270550064012594125329604644989303905540473338079832712851968420\ 2606256629/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^20 + 275476216197172063566609033879441402\ 66143761879859174334703019397165318552023/1028420367429170793954827\ 18884138914394558793606527013224231188777128393*c_0101_4^19 - 1994377441217536590538675515333370714123647647684026098016506732166\ 06318752574/1028420367429170793954827188841389143945587936065270132\ 24231188777128393*c_0101_4^18 + 17865360646321651540059430651969452\ 2301127968750805805538574578864058653317099/10284203674291707939548\ 2718884138914394558793606527013224231188777128393*c_0101_4^17 + 6523994439201965748935713964388632994750643549330584637411609998165\ 7119118647/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^16 - 247263784683679011505669202991771739\ 848957442914620104013367535481262434349945/102842036742917079395482\ 718884138914394558793606527013224231188777128393*c_0101_4^15 + 1965317509799132624812084852224578854762680670765110720364349370314\ 59850339622/1028420367429170793954827188841389143945587936065270132\ 24231188777128393*c_0101_4^14 - 33513873380800549578172795263586696\ 987451356909152111058783634029530012828619/102842036742917079395482\ 718884138914394558793606527013224231188777128393*c_0101_4^13 - 8047207677994107049029364492194828483926010367031372738506254707978\ 6852248582/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^12 + 101178643696211595337197862271649952\ 078300545641561563071214804178027539154319/102842036742917079395482\ 718884138914394558793606527013224231188777128393*c_0101_4^11 - 5604443310782052254638270288896010356633864244013488287631390624696\ 8835782252/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^10 + 302480026140626285842398755962361393\ 3723745979459105572738025203771662909040/10284203674291707939548271\ 8884138914394558793606527013224231188777128393*c_0101_4^9 + 1404144479789124957034016724759217564380998889178126849744631657628\ 4853293997/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^8 - 5845675729139307599917224243746525947\ 070992927448963867140995697295982368291/102842036742917079395482718\ 884138914394558793606527013224231188777128393*c_0101_4^7 - 3141391466264316516368450473599719823019992146009100938880796587594\ 95596769/1028420367429170793954827188841389143945587936065270132242\ 31188777128393*c_0101_4^6 + 432530180917851045523942615761470210194\ 999358731382584019560988788170441662/102842036742917079395482718884\ 138914394558793606527013224231188777128393*c_0101_4^5 - 4187103616134404744467271612755240453209998042430906976641922326258\ 59643/1028420367429170793954827188841389143945587936065270132242311\ 88777128393*c_0101_4^4 + 160734268264977530335843354857583146370560\ 48408125691834225535581362161352/1028420367429170793954827188841389\ 14394558793606527013224231188777128393*c_0101_4^3 - 1051859674706698640416689244605430365430940288691102102058051262345\ 0103845/10284203674291707939548271888413891439455879360652701322423\ 1188777128393*c_0101_4^2 - 1205582198098862065931706293969316460705\ 564105440791370123830418550116642/102842036742917079395482718884138\ 914394558793606527013224231188777128393*c_0101_4 + 4020497510976728155960907810542410201301554853291880559912565546506\ 46097/1028420367429170793954827188841389143945587936065270132242311\ 88777128393, c_0011_4 + 406625211826944097649900975272784879623138562781939392232759\ 411971569410/102842036742917079395482718884138914394558793606527013\ 224231188777128393*c_0101_4^30 + 3164421698725158136623149186538077\ 723025551020138495659892441146179860356/102842036742917079395482718\ 884138914394558793606527013224231188777128393*c_0101_4^29 - 7692927190988282047374048018293734346046775887262629476855086434242\ 201171/102842036742917079395482718884138914394558793606527013224231\ 188777128393*c_0101_4^28 - 8218693968667594756693294200402177061484\ 9356971075082001833391175174763253/10284203674291707939548271888413\ 8914394558793606527013224231188777128393*c_0101_4^27 + 3762107894118320903135299063046462866295563752536930378978311668236\ 0904611/10284203674291707939548271888413891439455879360652701322423\ 1188777128393*c_0101_4^26 + 816175238955580971663621008236149627256\ 351762117327240644076230409967788167/102842036742917079395482718884\ 138914394558793606527013224231188777128393*c_0101_4^25 - 1044210805582480570066880045667805072680696642817882866976706260260\ 35069107/1028420367429170793954827188841389143945587936065270132242\ 31188777128393*c_0101_4^24 - 46941908938227378728698824820416423410\ 99229400945542035321106240675896000339/1028420367429170793954827188\ 84138914394558793606527013224231188777128393*c_0101_4^23 + 1289623400718382641244668342922166235967924646719025302058042097489\ 294890137/102842036742917079395482718884138914394558793606527013224\ 231188777128393*c_0101_4^22 + 1779682223180384573647246544945409668\ 5138747913924325162027375519262760776162/10284203674291707939548271\ 8884138914394558793606527013224231188777128393*c_0101_4^21 - 1416243745243068933376922368775751550795473944112570133596855923158\ 7936020301/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^20 - 359040847961096711734601629047462462\ 43824935385844672096430591929432364749297/1028420367429170793954827\ 18884138914394558793606527013224231188777128393*c_0101_4^19 + 5998691807090856555632423673426308372241250117229167139877500580530\ 0811856656/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^18 + 466322851280581970548414455794687526\ 079610418545845876243122578866156347036/102842036742917079395482718\ 884138914394558793606527013224231188777128393*c_0101_4^17 - 6828438966285767050928691184151375835139724030259052252946036190175\ 1173509612/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^16 + 558670444847937501290712993388130200\ 89983750378082048162615064407496162225110/1028420367429170793954827\ 18884138914394558793606527013224231188777128393*c_0101_4^15 + 6027216985456578281287809385366870768863626882410431368635229363282\ 40085387/1028420367429170793954827188841389143945587936065270132242\ 31188777128393*c_0101_4^14 - 30497199013385169388710015010649340874\ 413495710362195276663188485497795191325/102842036742917079395482718\ 884138914394558793606527013224231188777128393*c_0101_4^13 + 2743821634345446038957777260768169084825053705588224476176180579884\ 6797081611/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^12 - 114594049498255003917833623666522912\ 72121682200612918931969475196788828411090/1028420367429170793954827\ 18884138914394558793606527013224231188777128393*c_0101_4^11 - 5040123395935085631401943354090391179342794776740720587120420431764\ 664344221/102842036742917079395482718884138914394558793606527013224\ 231188777128393*c_0101_4^10 + 9216182261707699537970171725382589539\ 174176463086199600597607453137508711946/102842036742917079395482718\ 884138914394558793606527013224231188777128393*c_0101_4^9 - 2366464025041242968561568537812213837834305071088100638176186498895\ 862037866/102842036742917079395482718884138914394558793606527013224\ 231188777128393*c_0101_4^8 - 16457909785164510448116065694505020425\ 29125948622573663970934568561149775751/1028420367429170793954827188\ 84138914394558793606527013224231188777128393*c_0101_4^7 + 6264779902687415418245945146317628629886820572643896720917571823484\ 36003272/1028420367429170793954827188841389143945587936065270132242\ 31188777128393*c_0101_4^6 + 134431323673068865370899699506395257861\ 309298753432550721568103738984864725/102842036742917079395482718884\ 138914394558793606527013224231188777128393*c_0101_4^5 - 1879923525807792259248955338533341281013429182268058679391768601425\ 8193470/10284203674291707939548271888413891439455879360652701322423\ 1188777128393*c_0101_4^4 - 1072319552671422735729123497353540925962\ 5586158756941770409897208395636300/10284203674291707939548271888413\ 8914394558793606527013224231188777128393*c_0101_4^3 - 4506736561744819335823284323280333358286114350149508773519979116331\ 783749/102842036742917079395482718884138914394558793606527013224231\ 188777128393*c_0101_4^2 + 38278632594295009989117053828450309199079\ 9848055505447347399091005910490/10284203674291707939548271888413891\ 4394558793606527013224231188777128393*c_0101_4 + 2496956707443674733556634338763193739723030876095903197555491328491\ 26193/1028420367429170793954827188841389143945587936065270132242311\ 88777128393, c_0011_5 - 688295290723458237756016757801369643913000752116280538453637\ 767337654880/102842036742917079395482718884138914394558793606527013\ 224231188777128393*c_0101_4^30 - 4858154481590238418982466582943888\ 345185648917474800975841578689776621723/102842036742917079395482718\ 884138914394558793606527013224231188777128393*c_0101_4^29 + 1666157961877729782576603944549635062342673806005070115283411838766\ 9746659/10284203674291707939548271888413891439455879360652701322423\ 1188777128393*c_0101_4^28 + 128003360473890803267695327351174905602\ 184466665584189364139252462149967826/102842036742917079395482718884\ 138914394558793606527013224231188777128393*c_0101_4^27 - 1586825531403911687488807306963212848631294092500937093216911196548\ 69234920/1028420367429170793954827188841389143945587936065270132242\ 31188777128393*c_0101_4^26 - 12908580110554854790054049508817266801\ 35272230684812997060756206741379950794/1028420367429170793954827188\ 84138914394558793606527013224231188777128393*c_0101_4^25 + 1123579000732987816870707417294400342875767304815993661819529275492\ 242172041/102842036742917079395482718884138914394558793606527013224\ 231188777128393*c_0101_4^24 + 7366645083152599888694509337140354698\ 164843494291661526143808967587768297628/102842036742917079395482718\ 884138914394558793606527013224231188777128393*c_0101_4^23 - 7565578341619503681159982131463890101098222093691865669513674771637\ 567418811/102842036742917079395482718884138914394558793606527013224\ 231188777128393*c_0101_4^22 - 2595692778069253530758840475193301460\ 4650389658163089107528671969113043258146/10284203674291707939548271\ 8884138914394558793606527013224231188777128393*c_0101_4^21 + 4328572223719738777289038661631704036492268113125512231716383446062\ 7142133052/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^20 + 342103633043125152650095272372486998\ 42881535050705560693738735284524643218728/1028420367429170793954827\ 18884138914394558793606527013224231188777128393*c_0101_4^19 - 1310058054673106383837926069773389584561004502644412992590413120241\ 92344497158/1028420367429170793954827188841389143945587936065270132\ 24231188777128393*c_0101_4^18 + 85632627671512867004409210378217596\ 580763265473579967657232789318306235732874/102842036742917079395482\ 718884138914394558793606527013224231188777128393*c_0101_4^17 + 7131420783264697505341569914885150428781292793238648365031416744427\ 6263981868/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^16 - 151562530862670700319128469910715526\ 637619570767243828281672832381558933255414/102842036742917079395482\ 718884138914394558793606527013224231188777128393*c_0101_4^15 + 9421843297378984131404228342741331881006302466959674599509586705354\ 6837433457/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^14 + 163020340885992822413300347426617464\ 0829294336577744580895351916295662805557/10284203674291707939548271\ 8884138914394558793606527013224231188777128393*c_0101_4^13 - 5481222085259199174340546527869966633691556808611720095424951274600\ 8287138958/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^12 + 555396461791136072895692583406981181\ 94829410537470186269757174046495986258498/1028420367429170793954827\ 18884138914394558793606527013224231188777128393*c_0101_4^11 - 2409991922221563406205611606697410634072280671706196702690375966135\ 0887309645/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^10 - 395351366539130797049339159829124127\ 0688449973160729213830597567192785596309/10284203674291707939548271\ 8884138914394558793606527013224231188777128393*c_0101_4^9 + 8191230739604319333639062976495019051439667754544052947403299864705\ 934874771/102842036742917079395482718884138914394558793606527013224\ 231188777128393*c_0101_4^8 - 19142845517682764585362796940293389522\ 48022377531727062490578647199616332968/1028420367429170793954827188\ 84138914394558793606527013224231188777128393*c_0101_4^7 - 4781014198839855265721866101573324518732028140473275942757953440402\ 97016258/1028420367429170793954827188841389143945587936065270132242\ 31188777128393*c_0101_4^6 + 132789973928927493824209689771085047234\ 344261582478251841400895270218754939/102842036742917079395482718884\ 138914394558793606527013224231188777128393*c_0101_4^5 + 1943660739979506792388452460540245363442417094563549989047925762939\ 957094/102842036742917079395482718884138914394558793606527013224231\ 188777128393*c_0101_4^4 + 13700295781181896102856948670453970493564\ 355135821314466212935118077816606/102842036742917079395482718884138\ 914394558793606527013224231188777128393*c_0101_4^3 - 1640104200596639234718172489246510512715181720043862133135399191903\ 911980/102842036742917079395482718884138914394558793606527013224231\ 188777128393*c_0101_4^2 - 58207249812007698086219195119179738758301\ 8486873446114586118576370964898/10284203674291707939548271888413891\ 4394558793606527013224231188777128393*c_0101_4 + 9024702960044442247762123420683805286091322472848568456515813157798\ 9143/10284203674291707939548271888413891439455879360652701322423118\ 8777128393, c_0101_0 - 670624175121051299050422911360819536021513028821458170721227\ 623814623925/102842036742917079395482718884138914394558793606527013\ 224231188777128393*c_0101_4^30 - 4930090058377989987289884786318015\ 683247801051733230823163317992751995630/102842036742917079395482718\ 884138914394558793606527013224231188777128393*c_0101_4^29 + 1485415418960493445545466444024728190714579363741757142568429952479\ 5377175/10284203674291707939548271888413891439455879360652701322423\ 1188777128393*c_0101_4^28 + 129514672722503117215267525328912437995\ 125807424376055380645797796605826803/102842036742917079395482718884\ 138914394558793606527013224231188777128393*c_0101_4^27 - 1184347928286533058185278243757601816378534997716222289263167572565\ 64605289/1028420367429170793954827188841389143945587936065270132242\ 31188777128393*c_0101_4^26 - 13043851064026072049916930715738665300\ 38616042018953331866279703888326855773/1028420367429170793954827188\ 84138914394558793606527013224231188777128393*c_0101_4^25 + 7325654176767982300392856719201946521318100391274337080804839731974\ 39837784/1028420367429170793954827188841389143945587936065270132242\ 31188777128393*c_0101_4^24 + 75167123793223706765229006302635927017\ 60630155026039820372759950382566883241/1028420367429170793954827188\ 84138914394558793606527013224231188777128393*c_0101_4^23 - 5322090628874050437610538936909871341114244659936187960380695368105\ 398814796/102842036742917079395482718884138914394558793606527013224\ 231188777128393*c_0101_4^22 - 2757511833725451523159841025254563184\ 5807004533346018008024104192172465583910/10284203674291707939548271\ 8884138914394558793606527013224231188777128393*c_0101_4^21 + 3506964492102601416708711755358103497699244246723307565371517290195\ 2438998816/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^20 + 461455117193770022998982833856369081\ 36846130918733610097599394299529719834881/1028420367429170793954827\ 18884138914394558793606527013224231188777128393*c_0101_4^19 - 1192092820071381974164979046994013573895640031943790753223983659696\ 64290587332/1028420367429170793954827188841389143945587936065270132\ 24231188777128393*c_0101_4^18 + 45619484993056385236477767524518640\ 767701196219355191651133610932135447472829/102842036742917079395482\ 718884138914394558793606527013224231188777128393*c_0101_4^17 + 9737456762173405406653136549627108034772695233523989408445631287621\ 9187070136/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^16 - 129853992042831552202419425661613676\ 939612257166925027408956715336466259315852/102842036742917079395482\ 718884138914394558793606527013224231188777128393*c_0101_4^15 + 4657958111633783691132509403120862147969083749527069826925395244880\ 8690267699/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^14 + 325526118512811309893381672087426794\ 14887627577750106850813099487789038905962/1028420367429170793954827\ 18884138914394558793606527013224231188777128393*c_0101_4^13 - 5505124052950707947630116765248321529534183408121176003348173229967\ 0912630894/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^12 + 380754411931102703714499724549253320\ 18587820115680078876315758817149324505974/1028420367429170793954827\ 18884138914394558793606527013224231188777128393*c_0101_4^11 - 6221760989585886169917037406588314827910049086756644452724652461435\ 539040940/102842036742917079395482718884138914394558793606527013224\ 231188777128393*c_0101_4^10 - 1203380241880168222464768677958038763\ 7956562252164264785871178740236200618531/10284203674291707939548271\ 8884138914394558793606527013224231188777128393*c_0101_4^9 + 7350591971679553340938602715169245977839329052333930671616432604630\ 478796001/102842036742917079395482718884138914394558793606527013224\ 231188777128393*c_0101_4^8 + 71168339183601933724361984811616825868\ 8094048628232002726608297650149872619/10284203674291707939548271888\ 4138914394558793606527013224231188777128393*c_0101_4^7 - 1245680614721087065262858036607468400807948404277637310892150851579\ 262419376/102842036742917079395482718884138914394558793606527013224\ 231188777128393*c_0101_4^6 - 18544288454675278433182311445778240081\ 331630346569178735362805542949216833/102842036742917079395482718884\ 138914394558793606527013224231188777128393*c_0101_4^5 + 6513118473782421579695325358518094697637800706248077977188811388687\ 9611005/10284203674291707939548271888413891439455879360652701322423\ 1188777128393*c_0101_4^4 + 2215549308259849232420973324423372407207\ 0499043269381330507991358978035516/10284203674291707939548271888413\ 8914394558793606527013224231188777128393*c_0101_4^3 + 1993746812911605931749177389103634122560760133788803960513701409676\ 059910/102842036742917079395482718884138914394558793606527013224231\ 188777128393*c_0101_4^2 - 21752716664033647681102709814832345814016\ 06966608620061972582531849202415/1028420367429170793954827188841389\ 14394558793606527013224231188777128393*c_0101_4 - 3142072691687598037582902314540377125780306319440563463424997232624\ 80405/1028420367429170793954827188841389143945587936065270132242311\ 88777128393, c_0101_1 + 611608177346039547263567879462573179662442262616542408089664\ 003543011085/102842036742917079395482718884138914394558793606527013\ 224231188777128393*c_0101_4^30 + 4409173455295539432337311150555550\ 090646308417035942739716715729079840501/102842036742917079395482718\ 884138914394558793606527013224231188777128393*c_0101_4^29 - 1415577275892198382836038931739803231004295451732296442534687443506\ 7041932/10284203674291707939548271888413891439455879360652701322423\ 1188777128393*c_0101_4^28 - 115991731913673388378655518092494626210\ 852476141405401890859348217545222397/102842036742917079395482718884\ 138914394558793606527013224231188777128393*c_0101_4^27 + 1238871049077142839598193543256007109871833490984212859214888761398\ 19818105/1028420367429170793954827188841389143945587936065270132242\ 31188777128393*c_0101_4^26 + 11688276969114689896219115358290199949\ 30745249261739147490885804103893286763/1028420367429170793954827188\ 84138914394558793606527013224231188777128393*c_0101_4^25 - 8256029580295183396935577663360685505662682855348466168372584560799\ 63019658/1028420367429170793954827188841389143945587936065270132242\ 31188777128393*c_0101_4^24 - 67031270980318068496881805308374261111\ 21524501426826263866287483075361019510/1028420367429170793954827188\ 84138914394558793606527013224231188777128393*c_0101_4^23 + 5734414122284145197351910105555797941958590805863090758459625293914\ 135276723/102842036742917079395482718884138914394558793606527013224\ 231188777128393*c_0101_4^22 + 2412532933026078970722144948129875364\ 2639390365672778025567500707895234558296/10284203674291707939548271\ 8884138914394558793606527013224231188777128393*c_0101_4^21 - 3497637475452803718914550591264153919998301599747686987298799445891\ 9007586549/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^20 - 364118958518352934448538287490752571\ 67714749943574075096850705874920420213019/1028420367429170793954827\ 18884138914394558793606527013224231188777128393*c_0101_4^19 + 1118598587533234407903110888528279102155607096916241836968457689207\ 54093652939/1028420367429170793954827188841389143945587936065270132\ 24231188777128393*c_0101_4^18 - 57900619622469038896963275353415747\ 929821705537375952605520716497055930195058/102842036742917079395482\ 718884138914394558793606527013224231188777128393*c_0101_4^17 - 7532806611695989821203107509711307471197654198146906782474538232572\ 9025734211/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^16 + 124198380812014979261943803991347342\ 632104088648845605095246315466010904181004/102842036742917079395482\ 718884138914394558793606527013224231188777128393*c_0101_4^15 - 6186989637822375384717873336828842177331505219068492802803197587214\ 7901073943/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^14 - 142992347579851223916948689257020704\ 42873313131989730076826541819946963918315/1028420367429170793954827\ 18884138914394558793606527013224231188777128393*c_0101_4^13 + 4726215709818252792179448659054342831485697270081108950545010315683\ 2437286702/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^12 - 407825499676530718855484664069963820\ 70616537008954584434333299085273880893331/1028420367429170793954827\ 18884138914394558793606527013224231188777128393*c_0101_4^11 + 1356779759179362447018199441102804689404130537270088942473646324939\ 2430334988/10284203674291707939548271888413891439455879360652701322\ 4231188777128393*c_0101_4^10 + 649449607174622464671664580031473902\ 8038590398964048076337011596418935216095/10284203674291707939548271\ 8884138914394558793606527013224231188777128393*c_0101_4^9 - 6240483662922118967038158696600593407469906955068830422787242534531\ 740170262/102842036742917079395482718884138914394558793606527013224\ 231188777128393*c_0101_4^8 + 24115926892470656411690531032342704552\ 8443165344657303977534028625210636834/10284203674291707939548271888\ 4138914394558793606527013224231188777128393*c_0101_4^7 + 7231009144630182698441530444699597479358822978657422764186385883687\ 59628773/1028420367429170793954827188841389143945587936065270132242\ 31188777128393*c_0101_4^6 + 208245134768595987541742001352361934755\ 88500383732947841797856693093389050/1028420367429170793954827188841\ 38914394558793606527013224231188777128393*c_0101_4^5 - 3883997266984991588668019645730391274170108397266664462869951014620\ 6588782/10284203674291707939548271888413891439455879360652701322423\ 1188777128393*c_0101_4^4 - 1866391765502624107475246471242151069015\ 5180308831782787181642312564061996/10284203674291707939548271888413\ 8914394558793606527013224231188777128393*c_0101_4^3 - 7712635004830063687571267012118363142307223151639838655518452682406\ 03435/1028420367429170793954827188841389143945587936065270132242311\ 88777128393*c_0101_4^2 + 130776777302864732628982412382728797377610\ 9088472222251246890864839087566/10284203674291707939548271888413891\ 4394558793606527013224231188777128393*c_0101_4 + 2267440149153628381773314400480987935227810116870614773795270757812\ 26442/1028420367429170793954827188841389143945587936065270132242311\ 88777128393, c_0101_4^31 + 33/5*c_0101_4^30 - 138/5*c_0101_4^29 - 176*c_0101_4^28 + 1598/5*c_0101_4^27 + 8997/5*c_0101_4^26 - 12641/5*c_0101_4^25 - 51271/5*c_0101_4^24 + 80761/5*c_0101_4^23 + 171953/5*c_0101_4^22 - 409467/5*c_0101_4^21 - 134839/5*c_0101_4^20 + 223033*c_0101_4^19 - 1016704/5*c_0101_4^18 - 384696/5*c_0101_4^17 + 1432673/5*c_0101_4^16 - 1100666/5*c_0101_4^15 + 25376*c_0101_4^14 + 505937/5*c_0101_4^13 - 577789/5*c_0101_4^12 + 294938/5*c_0101_4^11 + 10747/5*c_0101_4^10 - 19528*c_0101_4^9 + 34771/5*c_0101_4^8 + 6816/5*c_0101_4^7 - 4344/5*c_0101_4^6 - 328/5*c_0101_4^5 + 7*c_0101_4^4 + 83/5*c_0101_4^3 + 18/5*c_0101_4^2 - c_0101_4 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB