Magma V2.19-8 Tue Aug 20 2013 16:18:09 on localhost [Seed = 1528481378] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2374 geometric_solution 5.74180471 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 1 0 0 -1 0 -1 1 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.107793807217 0.598111988588 0 2 3 0 0132 0132 0132 3201 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 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.073616777692 0.747369095316 4 1 5 3 0132 0132 0132 2031 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 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.433691257353 0.635159625261 5 2 4 1 1023 1302 2310 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.433691257353 0.635159625261 2 3 4 4 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598452731225 1.230290741055 6 3 6 2 0132 1023 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 -1 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.991596461799 0.625014757570 5 5 6 6 0132 3201 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 1 -1 0 0 1 -1 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482323583636 0.288821573781 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : 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' : 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_0101_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 2419032797609884133947060366109463828223883659618311835819614299992\ 822096808555412/666138257134320667187356089828169148284326524787165\ 25873609450177836339222452321*c_0101_5^30 + 1473348793812539399532451852589883561948636289155433255197650194344\ 4750400851830362/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^29 + 6758899351087371300536142237895130982737562772764088521176246653197\ 2949190946882898/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^28 - 4022908959827005188935452238823806936052357232960527869201696235575\ 38447465199168618/6661382571343206671873560898281691482843265247871\ 6525873609450177836339222452321*c_0101_5^27 - 4343615113651124202253337859452132828007364577823730363495667256889\ 22266810366767232/6661382571343206671873560898281691482843265247871\ 6525873609450177836339222452321*c_0101_5^26 + 2600297166778811045494397651768367126621284396728958429126486924310\ 288527225907216035/666138257134320667187356089828169148284326524787\ 16525873609450177836339222452321*c_0101_5^25 + 1566904307629845033670804085442618751176465565481944554469200535659\ 723842254561950494/666138257134320667187356089828169148284326524787\ 16525873609450177836339222452321*c_0101_5^24 - 6346291339042276274787665780347309133972362443512577117826163288594\ 044624873468257079/666138257134320667187356089828169148284326524787\ 16525873609450177836339222452321*c_0101_5^23 - 6453417946897350080779682260993951160357246735202767900424940414537\ 043875636735390181/666138257134320667187356089828169148284326524787\ 16525873609450177836339222452321*c_0101_5^22 + 1129229987302671347931065424335630393681103665489884829760046036860\ 1096091266291951871/66613825713432066718735608982816914828432652478\ 716525873609450177836339222452321*c_0101_5^21 + 1012275930547975110926270248329178171124555860787241038207980034674\ 2217603897836023631/66613825713432066718735608982816914828432652478\ 716525873609450177836339222452321*c_0101_5^20 - 1379298395404545574178914716233545778427449331830321780326237843984\ 8526597772356109862/66613825713432066718735608982816914828432652478\ 716525873609450177836339222452321*c_0101_5^19 - 6596195318902576649171237760123394339806531933706407485066422888229\ 640398601617589647/666138257134320667187356089828169148284326524787\ 16525873609450177836339222452321*c_0101_5^18 + 1061297576421807138652598632490501957638698470412215117269938112429\ 1153235371235075568/66613825713432066718735608982816914828432652478\ 716525873609450177836339222452321*c_0101_5^17 + 3526986577794773378950202573939322442745551342642572604701050159434\ 983460366529994332/666138257134320667187356089828169148284326524787\ 16525873609450177836339222452321*c_0101_5^16 - 7691061565234599812534868375134324892747373712987362237322943086659\ 165246099163421059/666138257134320667187356089828169148284326524787\ 16525873609450177836339222452321*c_0101_5^15 - 1931252787744060189211022371103975214776302915553164741268889365313\ 975256902042429169/666138257134320667187356089828169148284326524787\ 16525873609450177836339222452321*c_0101_5^14 + 4677300781434607906298909280208593033913943525384178467987560127723\ 791921195169433732/666138257134320667187356089828169148284326524787\ 16525873609450177836339222452321*c_0101_5^13 + 1486030497659121180034923250461051927468581521502616315823538923923\ 902525552271024598/666138257134320667187356089828169148284326524787\ 16525873609450177836339222452321*c_0101_5^12 - 1883072281442944928873574164773034038552217807260850507202321332619\ 120561032551982890/666138257134320667187356089828169148284326524787\ 16525873609450177836339222452321*c_0101_5^11 - 1126209318409936109192269055060604694798597831563567267155309842089\ 451424054055793560/666138257134320667187356089828169148284326524787\ 16525873609450177836339222452321*c_0101_5^10 + 6105249653428849318398416371913641785523022009636601679075820548773\ 36610677027297274/6661382571343206671873560898281691482843265247871\ 6525873609450177836339222452321*c_0101_5^9 + 3691648974058864420367109402901322787918865447324813230138719052027\ 92037258511166254/6661382571343206671873560898281691482843265247871\ 6525873609450177836339222452321*c_0101_5^8 - 8314704820693844404271067292897457308925536712333929283879708685677\ 6059973149268960/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^7 - 8963563579983529121697193042298870102728213596197075247433057620506\ 3163112461887061/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^6 + 2737428172517902235941405645217378206810170692813766387500472593487\ 5459641475429773/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^5 + 8194532760448332760944845147278014002652052001034508147437821111702\ 846746451434908/666138257134320667187356089828169148284326524787165\ 25873609450177836339222452321*c_0101_5^4 - 1419187462418359902584909316485964344118089499538989835561918432819\ 5305030852752463/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^3 - 5811354699889198279525430559125061693495995916113013891513078032488\ 113557664887439/666138257134320667187356089828169148284326524787165\ 25873609450177836339222452321*c_0101_5^2 - 2620291076702557828428441385535242563567801582367382097827980734410\ 943218597125920/666138257134320667187356089828169148284326524787165\ 25873609450177836339222452321*c_0101_5 + 1952929274651951265133620867301713681462970703603417172095906864137\ 529130899482614/666138257134320667187356089828169148284326524787165\ 25873609450177836339222452321, c_0011_0 - 1, c_0011_3 - 586011134974017104317643211341965220237161868663989371630106\ 12986640095043321/9914247017924105777457301530408827925053230016180\ 462252360388477129980536159*c_0101_5^30 + 1347396275591860543811926893919122714160909707908304641465170699918\ 81182239214/9914247017924105777457301530408827925053230016180462252\ 360388477129980536159*c_0101_5^29 + 2102245480653334744018023636249616296384848919645469039721839638534\ 091867556201/991424701792410577745730153040882792505323001618046225\ 2360388477129980536159*c_0101_5^28 - 1695143221116193051668465844095651921139421344929877871778117958948\ 452732583886/991424701792410577745730153040882792505323001618046225\ 2360388477129980536159*c_0101_5^27 - 1527208527456010783938921565139310278597329433787091354493924825247\ 9199780577799/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^26 + 4744707686788452211617479130437094263321197985414118354352445951572\ 691567067115/991424701792410577745730153040882792505323001618046225\ 2360388477129980536159*c_0101_5^25 + 4431579687400910289986500925702638149764484017463557910480069021021\ 8499493578000/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^24 + 1073398067656888321235533484976811292864352715657476937459986090277\ 3843665192928/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^23 - 8637329575677277325690571545522855583674499335247944423106963254966\ 2009846012905/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^22 - 2590908577146632587897454500902619991445723571505377751802388173407\ 0669059875301/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^21 + 1035263642773815173600344620077356313573991617335269094369674491964\ 66336289689124/9914247017924105777457301530408827925053230016180462\ 252360388477129980536159*c_0101_5^20 + 1170990253183218480428461034067219473629430879207848482437793101121\ 0076725494996/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^19 - 7741035819602931653805267759782844239239970773758938784112790499024\ 3139976982384/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^18 - 1286474842481259216802463778285406942243443535836134238347079233348\ 081216479808/991424701792410577745730153040882792505323001618046225\ 2360388477129980536159*c_0101_5^17 + 5504196436034452005962127977283296804002043981115955718165619679864\ 8899711681053/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^16 - 3821374121902591943222971438321361604103611942085093530331986074813\ 967292250893/991424701792410577745730153040882792505323001618046225\ 2360388477129980536159*c_0101_5^15 - 3433677071380180588265879694865011204557664265567161962456155682564\ 1203702640709/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^14 - 7431505007839932839312471869676355103484107112682899973447583182031\ 60694216857/9914247017924105777457301530408827925053230016180462252\ 360388477129980536159*c_0101_5^13 + 1595562028883082566085484671438198628036997180346784864027772259629\ 3819580179493/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^12 + 4413365939845698872419065199448697137473277509981885521733807526815\ 463539666731/991424701792410577745730153040882792505323001618046225\ 2360388477129980536159*c_0101_5^11 - 5889864912521583997299537210009954738146183846677645604352822094744\ 209913400626/991424701792410577745730153040882792505323001618046225\ 2360388477129980536159*c_0101_5^10 - 1868334109472416043839835530427942187906885920846757511443880735995\ 892680072449/991424701792410577745730153040882792505323001618046225\ 2360388477129980536159*c_0101_5^9 + 9108800615830558736660595641565545989432962303328573644641342902101\ 33330465206/9914247017924105777457301530408827925053230016180462252\ 360388477129980536159*c_0101_5^8 + 5186914449590233669608729377303629039329990490224576015038799983584\ 70348951191/9914247017924105777457301530408827925053230016180462252\ 360388477129980536159*c_0101_5^7 - 2305554204131285114311226341070914320196191313318918585665487433859\ 54604798171/9914247017924105777457301530408827925053230016180462252\ 360388477129980536159*c_0101_5^6 + 2348406596792581476822442184574738697766356478245705236780992480621\ 7040175686/99142470179241057774573015304088279250532300161804622523\ 60388477129980536159*c_0101_5^5 + 102647529119505751470211060932443\ 170360471572102222378391319366259002603518608/991424701792410577745\ 7301530408827925053230016180462252360388477129980536159*c_0101_5^4 + 1114784246730451050715033334833908071334039530585060062219854560336\ 7235222237/99142470179241057774573015304088279250532300161804622523\ 60388477129980536159*c_0101_5^3 + 570604327459871933854726724813741\ 5851742844127191821867897243889641123240021/99142470179241057774573\ 01530408827925053230016180462252360388477129980536159*c_0101_5^2 - 2992876869894180064462460082812449350385390951736081651589774924071\ 9024444731/99142470179241057774573015304088279250532300161804622523\ 60388477129980536159*c_0101_5 - 17103091532811491153583098208883821\ 39744283373230071783368630294808397907232/9914247017924105777457301\ 530408827925053230016180462252360388477129980536159, c_0101_0 - 264885234999727304411490743570697764857690980027091806077409\ 703351887997969866/991424701792410577745730153040882792505323001618\ 0462252360388477129980536159*c_0101_5^30 + 4964692808054537043536019288455346526173184163668850957168352961384\ 01534301167/9914247017924105777457301530408827925053230016180462252\ 360388477129980536159*c_0101_5^29 + 9715184969186000002689135745153917956400966894820523354576760820510\ 674594748156/991424701792410577745730153040882792505323001618046225\ 2360388477129980536159*c_0101_5^28 - 3544523048657332836267316924592380746179384608941620344415287920976\ 145722224751/991424701792410577745730153040882792505323001618046225\ 2360388477129980536159*c_0101_5^27 - 7058926061838012322994830068979636607895189048416711660073341605913\ 6927097506440/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^26 - 8248640868788938650491165082159695124906143214445735849771471293027\ 115345507833/991424701792410577745730153040882792505323001618046225\ 2360388477129980536159*c_0101_5^25 + 1972420317262746820302886361516566631861393540362843193691838982816\ 03524501649952/9914247017924105777457301530408827925053230016180462\ 252360388477129980536159*c_0101_5^24 + 1305664083211675412132420275805122411712175869670261696901774300218\ 33748725932297/9914247017924105777457301530408827925053230016180462\ 252360388477129980536159*c_0101_5^23 - 3372153498090364291178910044936817771931453721452416766895183379178\ 32834278041083/9914247017924105777457301530408827925053230016180462\ 252360388477129980536159*c_0101_5^22 - 2574691428507770680369679505521637361299361186128020496578087920201\ 12037454466542/9914247017924105777457301530408827925053230016180462\ 252360388477129980536159*c_0101_5^21 + 3673827037170329395106592711382307873956243048053866054445334269173\ 83047569017540/9914247017924105777457301530408827925053230016180462\ 252360388477129980536159*c_0101_5^20 + 2075318926762869558844274311093952096184037971854389908866340706384\ 78049243396467/9914247017924105777457301530408827925053230016180462\ 252360388477129980536159*c_0101_5^19 - 2753429633492957401543897617372643688361371669013912701151589017974\ 98159804864064/9914247017924105777457301530408827925053230016180462\ 252360388477129980536159*c_0101_5^18 - 1277942823153838757223502333266689523398787264257681234764773897396\ 32112872679796/9914247017924105777457301530408827925053230016180462\ 252360388477129980536159*c_0101_5^17 + 2062966547935443190692410868107306904469882223766001473864154980610\ 06665123753676/9914247017924105777457301530408827925053230016180462\ 252360388477129980536159*c_0101_5^16 + 8092429691631841534768861212789440554940304581395782006947236985655\ 8636503300870/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^15 - 1329251854050808174839941084870732857856501945045809444990846415279\ 93817308668413/9914247017924105777457301530408827925053230016180462\ 252360388477129980536159*c_0101_5^14 - 6621121524587866890295589467325424231621796020172407986507229952586\ 3754813927912/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^13 + 5492000703557443155024780872968074999101025927416739121820221919036\ 2860161027563/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^12 + 4594951813323166566273040190118297626288847100184458649649477406099\ 7903598165251/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^11 - 1435041688136048646345236396278728112954461001729070313628828344427\ 8091483148411/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^10 - 1696246874840172431334394651112702412019869601923152005957897564162\ 2659431662422/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^9 + 5240213846677743128419398411696482227371684876116040347881041160732\ 40121097394/9914247017924105777457301530408827925053230016180462252\ 360388477129980536159*c_0101_5^8 + 4197752423441448901176881181655354110463185904778747839434207542380\ 542790933403/991424701792410577745730153040882792505323001618046225\ 2360388477129980536159*c_0101_5^7 - 1474662309867867912431353822854950195316893398874118629081534383481\ 60803415597/9914247017924105777457301530408827925053230016180462252\ 360388477129980536159*c_0101_5^6 - 5687999988138007057475610171588240187133844039894512726217835786162\ 96799122391/9914247017924105777457301530408827925053230016180462252\ 360388477129980536159*c_0101_5^5 + 3662257965211716353838567492189762070566696287395976128497662189378\ 25108360034/9914247017924105777457301530408827925053230016180462252\ 360388477129980536159*c_0101_5^4 + 3195740858779182716406444348263214203016612346998837865957782020345\ 96115464408/9914247017924105777457301530408827925053230016180462252\ 360388477129980536159*c_0101_5^3 + 7830888558080106127306297785461101396863344471773425185187210901225\ 0827267120/99142470179241057774573015304088279250532300161804622523\ 60388477129980536159*c_0101_5^2 - 622478543852798380400557378061832\ 07722926275915941490509945981423870764758847/9914247017924105777457\ 301530408827925053230016180462252360388477129980536159*c_0101_5 - 1695178822905989149214607692027025336561636720116844870176984159641\ 6581229680/99142470179241057774573015304088279250532300161804622523\ 60388477129980536159, c_0101_1 + 243125848418751259833252507222427412902487211006832765009270\ 823293386006324623/991424701792410577745730153040882792505323001618\ 0462252360388477129980536159*c_0101_5^30 - 5188246559309184465929991448140034859347216464560542502269419498215\ 98304644875/9914247017924105777457301530408827925053230016180462252\ 360388477129980536159*c_0101_5^29 - 8798259394514314742562717790022661624184513851262465998121900551705\ 074229085867/991424701792410577745730153040882792505323001618046225\ 2360388477129980536159*c_0101_5^28 + 5576633427426818243769143592422827315137767674139293884548826565911\ 706759244239/991424701792410577745730153040882792505323001618046225\ 2360388477129980536159*c_0101_5^27 + 6390561668547134063508052289698513145533017141439629721828563468706\ 5307925081843/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^26 - 9548916616841306498576923447904885992635683574059668474102917885618\ 614721333655/991424701792410577745730153040882792505323001618046225\ 2360388477129980536159*c_0101_5^25 - 1825670178996915595324645985883501642658345515470218187564958201044\ 65684681743039/9914247017924105777457301530408827925053230016180462\ 252360388477129980536159*c_0101_5^24 - 7067600346072850191535475906413613084965365162409924271671961908047\ 1581355005355/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^23 + 3391230222832106649242654679281517913530726860673372564200417322440\ 52759056372542/9914247017924105777457301530408827925053230016180462\ 252360388477129980536159*c_0101_5^22 + 1496827153755954056466225137424129883050895431537652464132829639053\ 54725550910388/9914247017924105777457301530408827925053230016180462\ 252360388477129980536159*c_0101_5^21 - 3978939389487097025844493262430823589871083970854257861368585698852\ 07598554208725/9914247017924105777457301530408827925053230016180462\ 252360388477129980536159*c_0101_5^20 - 9037974775842921136544948354754201531195263760414768751656936359167\ 1533103989080/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^19 + 3014150115118784225000046112428037187285481904221169112889013267911\ 56343574583004/9914247017924105777457301530408827925053230016180462\ 252360388477129980536159*c_0101_5^18 + 3620980952584198998813183375878386136395749250227724783044906895181\ 9662305916207/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^17 - 2154951022264137067721235760873231607482943978717741437624005925769\ 42450120642041/9914247017924105777457301530408827925053230016180462\ 252360388477129980536159*c_0101_5^16 - 1351087577978481706634812718353516392631764891581632929059124822804\ 0543334648333/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^15 + 1366532469699747894417740074518731387138136971779736438300635513267\ 19950673850353/9914247017924105777457301530408827925053230016180462\ 252360388477129980536159*c_0101_5^14 + 2113510076122489951765131421588452081715984753322624522950532407975\ 6947286688175/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^13 - 6255667616929435571458805582381156142457027292589433975854104387323\ 3536920415725/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^12 - 2420965382656263320748677028563947836385168446271706139084218974159\ 9572909594871/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^11 + 2200675541178972010667267533081135465144969892070334393093609181350\ 5900426906804/99142470179241057774573015304088279250532300161804622\ 52360388477129980536159*c_0101_5^10 + 9755813758700411178108199978876862537446070336106070157858392471774\ 152086230374/991424701792410577745730153040882792505323001618046225\ 2360388477129980536159*c_0101_5^9 - 3846333566034358177638038726246150983933347270706799702311883591244\ 020823311630/991424701792410577745730153040882792505323001618046225\ 2360388477129980536159*c_0101_5^8 - 2603302437577295498974500508582012092583159767989791261852977769424\ 051359405670/991424701792410577745730153040882792505323001618046225\ 2360388477129980536159*c_0101_5^7 + 8759559033774743764255364543349882868936080655646936833357707341370\ 95059507143/9914247017924105777457301530408827925053230016180462252\ 360388477129980536159*c_0101_5^6 + 1392419041339605226776347537439148244104116955044184476096013764327\ 89712695919/9914247017924105777457301530408827925053230016180462252\ 360388477129980536159*c_0101_5^5 - 3995842505354693732781435918245513690416048142098103535690579820002\ 44089270548/9914247017924105777457301530408827925053230016180462252\ 360388477129980536159*c_0101_5^4 - 1110064376088318144314854275401768710504299463866669571388164844004\ 45038466963/9914247017924105777457301530408827925053230016180462252\ 360388477129980536159*c_0101_5^3 - 1967907899758501576317275998353944858328121372883456493571528667263\ 8815871329/99142470179241057774573015304088279250532300161804622523\ 60388477129980536159*c_0101_5^2 + 551237772168050930459654321040619\ 29712150748912508040491174155826437053154125/9914247017924105777457\ 301530408827925053230016180462252360388477129980536159*c_0101_5 + 7159735975993533974292115927391119374016907105412702511446662925531\ 803662767/991424701792410577745730153040882792505323001618046225236\ 0388477129980536159, c_0101_2 - 919267853373103161737003975644079313995731105842897052527078\ 28458250926688916867/6661382571343206671873560898281691482843265247\ 8716525873609450177836339222452321*c_0101_5^30 + 2462610866214333152211413511708460057901248818759125927199619314126\ 02021452968700/6661382571343206671873560898281691482843265247871652\ 5873609450177836339222452321*c_0101_5^29 + 3167635228706006798897401895691015748913675847146707766006610184489\ 455186289757942/666138257134320667187356089828169148284326524787165\ 25873609450177836339222452321*c_0101_5^28 - 3792697588286587408499307585475905803076132326724670882602802289686\ 241375960831511/666138257134320667187356089828169148284326524787165\ 25873609450177836339222452321*c_0101_5^27 - 2118570620809116084169871169551784626287924965853487483321133535961\ 3083772113098564/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^26 + 1500790407781586721742474541176676212741426775192856031686762840771\ 5556207695982605/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^25 + 5449383367265869199041391349268251733482047886078049645716252904665\ 9047624245170491/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^24 - 5070652633513197204596928496923654238385488342297704436404351683631\ 290407118719718/666138257134320667187356089828169148284326524787165\ 25873609450177836339222452321*c_0101_5^23 - 1094004446560161149041092878904043752779083607337362816621176366927\ 68339048802390593/6661382571343206671873560898281691482843265247871\ 6525873609450177836339222452321*c_0101_5^22 + 1826059921068546121357287555619867968114860066853197573340306379650\ 7754523695364298/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^21 + 1171448971156145488853045171694469933240181660364304841026656942036\ 72530287264920178/6661382571343206671873560898281691482843265247871\ 6525873609450177836339222452321*c_0101_5^20 - 5503026046377735676825902945513947959084478588242199042819452973524\ 7095680753833002/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^19 - 6297355969648259764145278544375498747594989625482973220069520915193\ 5241117719856415/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^18 + 3834367029502654524316529230774174269046399990411987271100473954655\ 0480292523771259/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^17 + 4618632779720651874565061299275189108663319669117822309726409661766\ 7674682574572784/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^16 - 3236262907341742894684800448267300729926351865042130663886740207570\ 3084349565486934/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^15 - 2059315527443837619912166982483607096708847013439238253642009773955\ 0397865997580697/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^14 + 1300681428448314619376306505586963169739553863246370396609361642739\ 4231028507864897/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^13 + 7116241532873842268259369956498859551467402137846947022429360841377\ 559943294981908/666138257134320667187356089828169148284326524787165\ 25873609450177836339222452321*c_0101_5^12 - 1645174476258120528525716511621426172066162570311824724703273262946\ 973312307622898/666138257134320667187356089828169148284326524787165\ 25873609450177836339222452321*c_0101_5^11 - 3985727990856531793242071493048547385322334607807160675711760723974\ 926091577718191/666138257134320667187356089828169148284326524787165\ 25873609450177836339222452321*c_0101_5^10 + 2008855834504429745208778024754848231054720085735130191278976337943\ 479404834715555/666138257134320667187356089828169148284326524787165\ 25873609450177836339222452321*c_0101_5^9 - 8212272143552392124190027783308987803844972521831417841983719266432\ 17161658231060/6661382571343206671873560898281691482843265247871652\ 5873609450177836339222452321*c_0101_5^8 + 6163928899687847434386044671419572946646758093104312199365129673449\ 79393527387461/6661382571343206671873560898281691482843265247871652\ 5873609450177836339222452321*c_0101_5^7 - 9384322620551675021059289487406114365276898554425983234937746676761\ 009506365201/666138257134320667187356089828169148284326524787165258\ 73609450177836339222452321*c_0101_5^6 + 2537432555989960093496166633293988924318657731242169620769968943621\ 91727251798375/6661382571343206671873560898281691482843265247871652\ 5873609450177836339222452321*c_0101_5^5 - 3281143715842358653099059128837787095050170344748978389902498693880\ 25087619650356/6661382571343206671873560898281691482843265247871652\ 5873609450177836339222452321*c_0101_5^4 + 5947971985252803114097040262919416646295715988512614235334472309152\ 0608761417382/66613825713432066718735608982816914828432652478716525\ 873609450177836339222452321*c_0101_5^3 + 1498996236257392910216920064071742715258931220860660081043823283370\ 59298703260300/6661382571343206671873560898281691482843265247871652\ 5873609450177836339222452321*c_0101_5^2 - 1040236906523767637521031595823596477848128226794875463540667364278\ 2628510001155/66613825713432066718735608982816914828432652478716525\ 873609450177836339222452321*c_0101_5 + 2852553578966755098160119669967771659996191010146241494711612254526\ 3398622919070/66613825713432066718735608982816914828432652478716525\ 873609450177836339222452321, c_0101_4 - 359202474996934917887447722576328298614370932313554602226631\ 846972324486142952649/666138257134320667187356089828169148284326524\ 78716525873609450177836339222452321*c_0101_5^30 + 8949335043387827917376836431247261609495424335536905195760425866983\ 39492925419034/6661382571343206671873560898281691482843265247871652\ 5873609450177836339222452321*c_0101_5^29 + 1264387785130028023964290022774357263937004173586384222691311179982\ 9343589523249615/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^28 - 1274252167751636181895247491402370822038693209182502318233953233676\ 2207190346427728/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^27 - 8849436610792106282255634999489863501403057301826174271576623783016\ 4610469783417064/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^26 + 4709669397589213886737686146024803162388263792132291814480995565896\ 9448425695691887/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^25 + 2433186676362194243171337710824201157518370855742671919751508248849\ 94904684671772688/6661382571343206671873560898281691482843265247871\ 6525873609450177836339222452321*c_0101_5^24 + 3293686335981290226870890395130927437501791503370071623407215981980\ 552712146381742/666138257134320667187356089828169148284326524787165\ 25873609450177836339222452321*c_0101_5^23 - 4806045214863800774729577475974553744239907558490655855001576392778\ 49533959786797042/6661382571343206671873560898281691482843265247871\ 6525873609450177836339222452321*c_0101_5^22 + 2606021697767964306232448292729595642196793746771471033761040891083\ 965229484936749/666138257134320667187356089828169148284326524787165\ 25873609450177836339222452321*c_0101_5^21 + 5738869053250415393600648225076347347579061759536094927963882353286\ 90305029667785489/6661382571343206671873560898281691482843265247871\ 6525873609450177836339222452321*c_0101_5^20 - 1586753774371014708480020333170834458097045913831237434484406390951\ 58915235644922914/6661382571343206671873560898281691482843265247871\ 6525873609450177836339222452321*c_0101_5^19 - 3974098196247645897381030904658307699515774114248149486081078261479\ 68182081584794835/6661382571343206671873560898281691482843265247871\ 6525873609450177836339222452321*c_0101_5^18 + 1682640057611392096941212646108422018314762093342504037016443832842\ 06513901361993780/6661382571343206671873560898281691482843265247871\ 6525873609450177836339222452321*c_0101_5^17 + 2685840737865482257312590459352920001685184895187868517364653688255\ 86385411156013781/6661382571343206671873560898281691482843265247871\ 6525873609450177836339222452321*c_0101_5^16 - 1300255168760061218109974302820776170524155836205462722992499062973\ 48831580723121283/6661382571343206671873560898281691482843265247871\ 6525873609450177836339222452321*c_0101_5^15 - 1593370795731090076115179313489637851869833490355033433647132591523\ 00276544548904413/6661382571343206671873560898281691482843265247871\ 6525873609450177836339222452321*c_0101_5^14 + 6436706471245067436009823587884303155017022046551290075551112466137\ 1165253197090386/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^13 + 7470919073142949683230791621880741353124913604111189869212350890664\ 2725216612979863/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^12 - 1823483934790217503943234626055552503404522311482092354081183742057\ 5035260386953655/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^11 - 3584571957367407343620495262970844086179632534366318576327766016803\ 9838777470723338/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^10 + 1069026035937595443977838723607003734759140095989660307696846862493\ 5523003831469484/66613825713432066718735608982816914828432652478716\ 525873609450177836339222452321*c_0101_5^9 + 9802819497674466881991776351629391340123646394180676612589228405913\ 576306522948000/666138257134320667187356089828169148284326524787165\ 25873609450177836339222452321*c_0101_5^8 - 2631886750145295321081251653014638409567109521676792695020190923254\ 788890644569410/666138257134320667187356089828169148284326524787165\ 25873609450177836339222452321*c_0101_5^7 - 3487690597550100218794548549333432249264629301423101431941500708050\ 398100696973487/666138257134320667187356089828169148284326524787165\ 25873609450177836339222452321*c_0101_5^6 + 1063869778910019859022430160214094339307184446211098738940983865045\ 500419362979623/666138257134320667187356089828169148284326524787165\ 25873609450177836339222452321*c_0101_5^5 + 8738145800473853012189275970837254477447609900547224937937724675039\ 70604407086912/6661382571343206671873560898281691482843265247871652\ 5873609450177836339222452321*c_0101_5^4 - 5337985842269434268415483640181592704296005012133296907974553913659\ 2934612450676/66613825713432066718735608982816914828432652478716525\ 873609450177836339222452321*c_0101_5^3 - 6323122943659568600362703505121991137195177266076950657785589352590\ 6457370835809/66613825713432066718735608982816914828432652478716525\ 873609450177836339222452321*c_0101_5^2 - 6777652576625933533664674981807663537776769080896193317737623341697\ 587793384800/666138257134320667187356089828169148284326524787165258\ 73609450177836339222452321*c_0101_5 + 1843284162720772653369699267165920429695744114710864744883010107772\ 6139531587683/66613825713432066718735608982816914828432652478716525\ 873609450177836339222452321, c_0101_5^31 - 100/47*c_0101_5^30 - 1705/47*c_0101_5^29 + 1075/47*c_0101_5^28 + 12488/47*c_0101_5^27 - 1855/47*c_0101_5^26 - 36227/47*c_0101_5^25 - 13698/47*c_0101_5^24 + 68107/47*c_0101_5^23 + 30212/47*c_0101_5^22 - 81696/47*c_0101_5^21 - 19795/47*c_0101_5^20 + 64081/47*c_0101_5^19 + 8254/47*c_0101_5^18 - 46144/47*c_0101_5^17 - 3078/47*c_0101_5^16 + 29587/47*c_0101_5^15 + 4281/47*c_0101_5^14 - 14076/47*c_0101_5^13 - 4970/47*c_0101_5^12 + 5193/47*c_0101_5^11 + 2211/47*c_0101_5^10 - 1104/47*c_0101_5^9 - 642/47*c_0101_5^8 + 247/47*c_0101_5^7 + 78/47*c_0101_5^6 - 96/47*c_0101_5^5 - 31/47*c_0101_5^4 + 1/47*c_0101_5^3 + 14/47*c_0101_5^2 + 1/47*c_0101_5 - 1/47 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB