Magma V2.19-8 Tue Aug 20 2013 16:18:32 on localhost [Seed = 3103335819] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2729 geometric_solution 5.97809155 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 0 1 1 0 -1 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 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.495060693265 0.764931954242 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.479894380227 0.603727525753 3 0 4 5 3201 0132 3201 2310 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 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.479894380227 0.603727525753 6 1 6 2 0132 0132 2310 2310 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.004160124337 2.120150271827 2 4 1 4 2310 2310 0132 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.964690431474 1.270341246448 2 5 5 1 3201 1230 3012 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.752170840353 0.627431238549 3 3 6 6 0132 3201 2031 1302 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 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 0 0 0 0 0 0 0 0.386599489443 0.138021579423 ==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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : negation(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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 1930920118693619719471036917154712743306417185040269079842571078194\ 327207/323920448039654124044287918757185297625876624069987790815748\ 67061612384*c_0101_5^24 + 63223525805611072796876932552017880278464\ 0158915316038544669476333953723/10122514001239191376383997461162040\ 55080864450218711846299214595675387*c_0101_5^23 - 2672240132432721826204627824710259752363437132731624316456419584703\ 97079737/1295681792158616496177151675028741190503506496279951163262\ 99468246449536*c_0101_5^22 + 66959291329945734537961999135501563644\ 184412363728585416490033168222208709/323920448039654124044287918757\ 18529762587662406998779081574867061612384*c_0101_5^21 - 7948709639481418728765388284127279062955297606490323190225163521486\ 7519757/16196022401982706202214395937859264881293831203499389540787\ 433530806192*c_0101_5^20 + 1246152115599248915641813135098347715668\ 135587303214422258669911695931248555/129568179215861649617715167502\ 874119050350649627995116326299468246449536*c_0101_5^19 - 9644568355591528977073687389622602206406553096902905577665155433888\ 9937825/80980112009913531011071979689296324406469156017496947703937\ 16765403096*c_0101_5^18 - 72312372984558214397557220825339487113582\ 205003790787738084138300821907013/647840896079308248088575837514370\ 59525175324813997558163149734123224768*c_0101_5^17 + 5600955840480940176531240542774401206091523739233875763311487131090\ 01199165/6478408960793082480885758375143705952517532481399755816314\ 9734123224768*c_0101_5^16 + 142718122927454910152598303370310711281\ 2082789796384327309122101895167000387/12956817921586164961771516750\ 2874119050350649627995116326299468246449536*c_0101_5^15 + 7630867929795698610998821312840706142929653812340671860189247904893\ 26847025/1295681792158616496177151675028741190503506496279951163262\ 99468246449536*c_0101_5^14 - 40054049146131997924834746853819832282\ 85778360469562345077246332627500829515/6478408960793082480885758375\ 1437059525175324813997558163149734123224768*c_0101_5^13 + 1626652595699031943262320819454659459251863516818605858348038660460\ 51578911/8098011200991353101107197968929632440646915601749694770393\ 716765403096*c_0101_5^12 + 1159277646683953979411986244336005423412\ 7613257986392610631710530162101115315/12956817921586164961771516750\ 2874119050350649627995116326299468246449536*c_0101_5^11 - 3325256457216245569293928637793846879481406481267387705905630246869\ 08553309/8098011200991353101107197968929632440646915601749694770393\ 716765403096*c_0101_5^10 - 1125324093697879186491028770736627188480\ 8698279021552230183759656481155209725/12956817921586164961771516750\ 2874119050350649627995116326299468246449536*c_0101_5^9 + 5199557863899960412907050428728538301174297645107052163544592339725\ 57518797/1619602240198270620221439593785926488129383120349938954078\ 7433530806192*c_0101_5^8 + 9448678797839433426863926429445709857643\ 302151069840854879601753085559450513/129568179215861649617715167502\ 874119050350649627995116326299468246449536*c_0101_5^7 - 4149324199278755568373744439768593813194895623311005268915109239827\ 47604495/1619602240198270620221439593785926488129383120349938954078\ 7433530806192*c_0101_5^6 - 1186402901086678843371226089377107534529\ 658762166155496155873713908130653499/323920448039654124044287918757\ 18529762587662406998779081574867061612384*c_0101_5^5 + 1030495602735180141887288214414351365451098685440862852000879306314\ 382455177/647840896079308248088575837514370595251753248139975581631\ 49734123224768*c_0101_5^4 + 108552957374192984442329088133057925201\ 8602829768263249041200820357434835035/12956817921586164961771516750\ 2874119050350649627995116326299468246449536*c_0101_5^3 - 5779736724479823533989826815475988176262413453695913080105782765774\ 09458037/1295681792158616496177151675028741190503506496279951163262\ 99468246449536*c_0101_5^2 - 269076277833058883402219774762648794800\ 10660684940225318269793092429829123/3239204480396541240442879187571\ 8529762587662406998779081574867061612384*c_0101_5 + 1155926990938373385432927292287853706894059659632966704985779422661\ 041059/404900560049567655055359898446481622032345780087484738519685\ 8382701548, c_0011_0 - 1, c_0011_4 + 124520809103780593670021413942075306122772134099229419299779\ 88550896913/4049005600495676550553598984464816220323457800874847385\ 196858382701548*c_0101_5^24 + 3188526909073442741775667230022556677\ 2677522982036135678781229000288388/10122514001239191376383997461162\ 04055080864450218711846299214595675387*c_0101_5^23 - 1841250935060543681610483145204969122620188557863292654717454713948\ 879311/161960224019827062022143959378592648812938312034993895407874\ 33530806192*c_0101_5^22 + 54470469726376806035205297701460460165033\ 4429664823890784934013809896239/40490056004956765505535989844648162\ 20323457800874847385196858382701548*c_0101_5^21 - 5874797693024770405527585100548210561138806890977823352959832484873\ 95021/2024502800247838275276799492232408110161728900437423692598429\ 191350774*c_0101_5^20 + 9281048882399968303143604792349950345064131\ 918620603624076465695265995613/161960224019827062022143959378592648\ 81293831203499389540787433530806192*c_0101_5^19 - 7745562547323360712109151542501721141800577632451374488755029178132\ 92316/1012251400123919137638399746116204055080864450218711846299214\ 595675387*c_0101_5^18 + 1250929516265480879798157912311276640581455\ 125894824426571142311278177725/809801120099135310110719796892963244\ 0646915601749694770393716765403096*c_0101_5^17 + 2925638188436487945702182873191370138077766047435906424402771468610\ 041483/809801120099135310110719796892963244064691560174969477039371\ 6765403096*c_0101_5^16 + 835409413673732886361243963052536374373982\ 5300594982490453174953187630965/16196022401982706202214395937859264\ 881293831203499389540787433530806192*c_0101_5^15 + 3004512710542087124958500520406224297188037154627198908290264244774\ 791751/161960224019827062022143959378592648812938312034993895407874\ 33530806192*c_0101_5^14 - 26057266559932399606938267571180113400200\ 724224595753601802042555154958077/809801120099135310110719796892963\ 2440646915601749694770393716765403096*c_0101_5^13 + 1809572160420825440625774375523026340613191040886647881888444314236\ 254810/101225140012391913763839974611620405508086445021871184629921\ 4595675387*c_0101_5^12 + 658263195315290228700999445277472531113710\ 19378197746823243670979708065813/1619602240198270620221439593785926\ 4881293831203499389540787433530806192*c_0101_5^11 - 2950959109813108229759375974271894895026527031574089463016167210054\ 698908/101225140012391913763839974611620405508086445021871184629921\ 4595675387*c_0101_5^10 - 600134065369672439423655124566154228942564\ 04107635909092667612649950277899/1619602240198270620221439593785926\ 4881293831203499389540787433530806192*c_0101_5^9 + 4711433384492998600037092570823389493381705219069780086409582424936\ 480925/202450280024783827527679949223240811016172890043742369259842\ 9191350774*c_0101_5^8 + 5126314360550569770504737006178145494195559\ 4545510937838289422385167046183/16196022401982706202214395937859264\ 881293831203499389540787433530806192*c_0101_5^7 - 3863652623810377429261020381965927449863164505411705116807774671693\ 690601/202450280024783827527679949223240811016172890043742369259842\ 9191350774*c_0101_5^6 - 5630474953555175340371205120710132727074424\ 216508859699688849532167740309/404900560049567655055359898446481622\ 0323457800874847385196858382701548*c_0101_5^5 + 8211574427007033855748745525504569892065242943836960601996093616542\ 940111/809801120099135310110719796892963244064691560174969477039371\ 6765403096*c_0101_5^4 + 3302222539716792980789321589766656959424879\ 348936961729891215449617648493/161960224019827062022143959378592648\ 81293831203499389540787433530806192*c_0101_5^3 - 3618935502051370514137147103264247768066179567577269787483118209334\ 315411/161960224019827062022143959378592648812938312034993895407874\ 33530806192*c_0101_5^2 - 488172063144834786651475459642903701446498\ 20341696000947055133483512945/4049005600495676550553598984464816220\ 323457800874847385196858382701548*c_0101_5 + 1321167008839306701242115562057511808282814720562074682441397550135\ 6747/10122514001239191376383997461162040550808644502187118462992145\ 95675387, c_0101_0 + 294888146065470628855052180290918279525328783595210460553106\ 7635018102/10122514001239191376383997461162040550808644502187118462\ 99214595675387*c_0101_5^24 + 30013683261771879971071891806144168575\ 989886364011912564692126286015685/101225140012391913763839974611620\ 4055080864450218711846299214595675387*c_0101_5^23 - 2221113150758826222379546074573799011192965623918261917101689390343\ 45141/2024502800247838275276799492232408110161728900437423692598429\ 191350774*c_0101_5^22 + 5398167954687243330116723539337965943027401\ 06469236316060428688818778925/4049005600495676550553598984464816220\ 323457800874847385196858382701548*c_0101_5^21 - 2842347104450913672086800901157906681697649200663375740513306837048\ 18967/1012251400123919137638399746116204055080864450218711846299214\ 595675387*c_0101_5^20 + 1132440291594022270142698292334864323828335\ 851016568191202385221684392531/202450280024783827527679949223240811\ 0161728900437423692598429191350774*c_0101_5^19 - 3049506686188166043370587782327546451167996380726230988667415765151\ 145911/404900560049567655055359898446481622032345780087484738519685\ 8382701548*c_0101_5^18 + 185868074636873302228014674553477344208747\ 504745081206256483441651326834/101225140012391913763839974611620405\ 5080864450218711846299214595675387*c_0101_5^17 + 6954187508373324183093968364479173485011655115283816590748268500836\ 26965/2024502800247838275276799492232408110161728900437423692598429\ 191350774*c_0101_5^16 + 4827113613066237140253878042847290330538058\ 54389656359852918753163813954/1012251400123919137638399746116204055\ 080864450218711846299214595675387*c_0101_5^15 + 5711945319887733253912229090579773678676438727994440545740195128173\ 14355/4049005600495676550553598984464816220323457800874847385196858\ 382701548*c_0101_5^14 - 1247856898952525070810131208454768038411020\ 6204284469485229755215367425125/40490056004956765505535989844648162\ 20323457800874847385196858382701548*c_0101_5^13 + 3770740190502923647310128614924756016691886203087126671693766924926\ 163639/202450280024783827527679949223240811016172890043742369259842\ 9191350774*c_0101_5^12 + 772005638303285062273276063329241288697084\ 1891734047749201481880119608891/20245028002478382752767994922324081\ 10161728900437423692598429191350774*c_0101_5^11 - 1204853800041143959016045858248622142182787399792400623711948023859\ 2026367/40490056004956765505535989844648162203234578008748473851968\ 58382701548*c_0101_5^10 - 69695039599503209835994332726198002697885\ 15496294571812051328645586694091/2024502800247838275276799492232408\ 110161728900437423692598429191350774*c_0101_5^9 + 9687663513839730562071444605564449332234644517474883442353216811812\ 213913/404900560049567655055359898446481622032345780087484738519685\ 8382701548*c_0101_5^8 + 5998360329550011439712939207285638919065479\ 066433739479038399956530926619/202450280024783827527679949223240811\ 0161728900437423692598429191350774*c_0101_5^7 - 7906211261358768484908449237354655683512786152530230668738979413916\ 387333/404900560049567655055359898446481622032345780087484738519685\ 8382701548*c_0101_5^6 - 1291723205585101680812021561730162119677800\ 073373185867202960100248725989/101225140012391913763839974611620405\ 5080864450218711846299214595675387*c_0101_5^5 + 1029032331450068164632526908974750742143686688114762557454952915448\ 633654/101225140012391913763839974611620405508086445021871184629921\ 4595675387*c_0101_5^4 + 1656372651870289924518106485024087956817354\ 15177632029054958444753501213/1012251400123919137638399746116204055\ 080864450218711846299214595675387*c_0101_5^3 - 8837567474733819459874801598369290318464126002902156227208686473647\ 30773/4049005600495676550553598984464816220323457800874847385196858\ 382701548*c_0101_5^2 - 26692981513813459739344779921296443795979421\ 344239149729559088895243839/404900560049567655055359898446481622032\ 3457800874847385196858382701548*c_0101_5 + 1264336403629955372941096044674885218754943180624331095504280094934\ 4211/10122514001239191376383997461162040550808644502187118462992145\ 95675387, c_0101_1 - 333910639600825068640672821627451434582100417635592035201258\ 9228996609/40490056004956765505535989844648162203234578008748473851\ 96858382701548*c_0101_5^24 - 86562648583493654542700903856486796810\ 72816354591915952655708013554528/1012251400123919137638399746116204\ 055080864450218711846299214595675387*c_0101_5^23 + 4766058498981049669422788636089139004729452426801848310992956031079\ 41471/1619602240198270620221439593785926488129383120349938954078743\ 3530806192*c_0101_5^22 - 129894887991556866219876368408178470172880\ 358693114384845312395347375387/404900560049567655055359898446481622\ 0323457800874847385196858382701548*c_0101_5^21 + 1465628262561402410153773782510850744508978024907411646107713459386\ 28665/2024502800247838275276799492232408110161728900437423692598429\ 191350774*c_0101_5^20 - 2302927191105110010154713236259252561443480\ 725774768818615237347052922509/161960224019827062022143959378592648\ 81293831203499389540787433530806192*c_0101_5^19 + 1853594862514727177995811056478067936241829755876351831637468787646\ 15330/1012251400123919137638399746116204055080864450218711846299214\ 595675387*c_0101_5^18 - 7833153240102898871999393366543799245051098\ 7475297538576753293079225493/80980112009913531011071979689296324406\ 46915601749694770393716765403096*c_0101_5^17 - 8988585841701682819949729511123576725033590724326019209452043211952\ 22779/8098011200991353101107197968929632440646915601749694770393716\ 765403096*c_0101_5^16 - 2306841212120570521925872894601048856190829\ 704243280501683591033643031717/161960224019827062022143959378592648\ 81293831203499389540787433530806192*c_0101_5^15 - 1106792564473235398505263201817721321028831500920889331503120198230\ 216103/161960224019827062022143959378592648812938312034993895407874\ 33530806192*c_0101_5^14 + 69600217641397094098569084853194100144861\ 85206200995356973294250846886845/8098011200991353101107197968929632\ 440646915601749694770393716765403096*c_0101_5^13 - 3797300229026488543339584887419141006270898492099210858447049327420\ 88552/1012251400123919137638399746116204055080864450218711846299214\ 595675387*c_0101_5^12 - 1893751064657583027366240398625250216513302\ 4898396180962875165337751000821/16196022401982706202214395937859264\ 881293831203499389540787433530806192*c_0101_5^11 + 6845448279782804201742318122144592950459038267764794623634207871104\ 82132/1012251400123919137638399746116204055080864450218711846299214\ 595675387*c_0101_5^10 + 1783028738201412691829952998217670923134393\ 8339505152610749260463209443579/16196022401982706202214395937859264\ 881293831203499389540787433530806192*c_0101_5^9 - 1086029184837239252702868578298679334025700363496493273701726703233\ 927049/202450280024783827527679949223240811016172890043742369259842\ 9191350774*c_0101_5^8 - 1508226289234736814793227060303098100799420\ 7917324547516865867817468945143/16196022401982706202214395937859264\ 881293831203499389540787433530806192*c_0101_5^7 + 8813327058676819769270665985479999210898867902201481888758450502287\ 57737/2024502800247838275276799492232408110161728900437423692598429\ 191350774*c_0101_5^6 + 18032232037727317978003642289626866765172695\ 83409836523840777082453646617/4049005600495676550553598984464816220\ 323457800874847385196858382701548*c_0101_5^5 - 2018782885308282215560140869708847092262351514310010638089572488423\ 234895/809801120099135310110719796892963244064691560174969477039371\ 6765403096*c_0101_5^4 - 1403665345071540268312158553091649133616401\ 972081781364444090755720620493/161960224019827062022143959378592648\ 81293831203499389540787433530806192*c_0101_5^3 + 9929977838705775301019415255554328870344311830314234503516377875938\ 41779/1619602240198270620221439593785926488129383120349938954078743\ 3530806192*c_0101_5^2 + 3067628535785977625776641957757489804853910\ 9575154420973953464011764993/40490056004956765505535989844648162203\ 23457800874847385196858382701548*c_0101_5 - 3915865006958449825336506336559123500897549666883150021820336710582\ 107/101225140012391913763839974611620405508086445021871184629921459\ 5675387, c_0101_2 + 430009996317440188220950407344048017524564889644741492602798\ 55/10800126118026699898165804993834884220203372950940564011938501*c\ _0101_5^24 + 437948430980837992838593439262420863696016631208795727\ 777684192/108001261180266998981658049938348842202033729509405640119\ 38501*c_0101_5^23 - 64615158081402369236069928259423980737121387132\ 63912875638423153/4320050447210679959266321997533953688081349180376\ 2256047754004*c_0101_5^22 + 196977178875992050024705232216293206812\ 7535078821479670047418557/10800126118026699898165804993834884220203\ 372950940564011938501*c_0101_5^21 - 4165635329648689437211716231426691222764509589881084628052234998/10\ 800126118026699898165804993834884220203372950940564011938501*c_0101\ _5^20 + 33037906707951541022789798106277440615915454323474210476619\ 062275/432005044721067995926632199753395368808134918037622560477540\ 04*c_0101_5^19 - 11158591406674376728083204057746789193827134674647\ 008630480668522/108001261180266998981658049938348842202033729509405\ 64011938501*c_0101_5^18 + 55892110626379967550284764871623520581574\ 94394781783810606588329/2160025223605339979633160998766976844040674\ 5901881128023877002*c_0101_5^17 + 977213019350900140926998825548356\ 1310877541083732115237282688915/21600252236053399796331609987669768\ 440406745901881128023877002*c_0101_5^16 + 28134763848585613312588456207239510357589087205164123585699249819/4\ 3200504472106799592663219975339536880813491803762256047754004*c_010\ 1_5^15 + 8751442694887350732320433139324330602088912922233164476496\ 580097/432005044721067995926632199753395368808134918037622560477540\ 04*c_0101_5^14 - 90479852471297588715022535589840789142437705541534\ 360296354458389/216002522360533997963316099876697684404067459018811\ 28023877002*c_0101_5^13 + 27427480028233984777269024316738471149047\ 456587670169219086639409/108001261180266998981658049938348842202033\ 72950940564011938501*c_0101_5^12 + 221943502588204233919410357888936175183691666239205944086647375935/\ 43200504472106799592663219975339536880813491803762256047754004*c_01\ 01_5^11 - 435154721256752559264011960853819436481555826335066061698\ 64767549/1080012611802669989816580499383488422020337295094056401193\ 8501*c_0101_5^10 - 199087348039367184616328569470717558468959458666\ 365109664355460745/432005044721067995926632199753395368808134918037\ 62256047754004*c_0101_5^9 + 348074685796452868585711044933054267421\ 31400924447541168770252068/1080012611802669989816580499383488422020\ 3372950940564011938501*c_0101_5^8 + 171072501354264318538746349396288895071796141383606892318435175237/\ 43200504472106799592663219975339536880813491803762256047754004*c_01\ 01_5^7 - 2853841054385097204764614153575637115665933730452225250166\ 0093910/10800126118026699898165804993834884220203372950940564011938\ 501*c_0101_5^6 - 18121920763967197895313141429507975101616476810319\ 510933260835104/108001261180266998981658049938348842202033729509405\ 64011938501*c_0101_5^5 + 295723149545672254446908509951205228439135\ 61255020321303435623643/2160025223605339979633160998766976844040674\ 5901881128023877002*c_0101_5^4 + 8595704772926969591847856015921480\ 913031426155798180200389770515/432005044721067995926632199753395368\ 80813491803762256047754004*c_0101_5^3 - 12345754524641182389018050260167355684599220288220607549514399373/4\ 3200504472106799592663219975339536880813491803762256047754004*c_010\ 1_5^2 - 59120996012357481873774492634854730761459911007966108673087\ 236/10800126118026699898165804993834884220203372950940564011938501*\ c_0101_5 + 16625737141291241650825578094879969551272924884158392719\ 8026667/10800126118026699898165804993834884220203372950940564011938\ 501, c_0101_3 + 334244447868948186906166507777666983501738471455583806063839\ 23/10800126118026699898165804993834884220203372950940564011938501*c\ _0101_5^24 + 340509209146808365497437957036118249223445279947093666\ 031436714/108001261180266998981658049938348842202033729509405640119\ 38501*c_0101_5^23 - 50207941086632364079234538431158122359135195645\ 10754616737744621/4320050447210679959266321997533953688081349180376\ 2256047754004*c_0101_5^22 + 304316621051117933451106667586436583504\ 1509555583633624462596895/21600252236053399796331609987669768440406\ 745901881128023877002*c_0101_5^21 - 3219570286804332945372121118785284034404486303411467785496230280/10\ 800126118026699898165804993834884220203372950940564011938501*c_0101\ _5^20 + 25604328026499121949244407027992237519797591856722976459117\ 693243/432005044721067995926632199753395368808134918037622560477540\ 04*c_0101_5^19 - 17230019709240058731142543723722581526644878786513\ 392136630301319/216002522360533997963316099876697684404067459018811\ 28023877002*c_0101_5^18 + 41751919705277330094492363504108050449149\ 62832039413866541501955/2160025223605339979633160998766976844040674\ 5901881128023877002*c_0101_5^17 + 775662888706472660958318554070420\ 5039081983890194871871713563567/21600252236053399796331609987669768\ 440406745901881128023877002*c_0101_5^16 + 22098064357292780294894991524090473742207828316102914182413984875/4\ 3200504472106799592663219975339536880813491803762256047754004*c_010\ 1_5^15 + 6776332673277254759167329593385667026792558330024226132856\ 540487/432005044721067995926632199753395368808134918037622560477540\ 04*c_0101_5^14 - 35269848137676752792671153275008505960712860993551\ 752382196917672/108001261180266998981658049938348842202033729509405\ 64011938501*c_0101_5^13 + 21086653636897570580757858474257619080534\ 345206544126024779773724/108001261180266998981658049938348842202033\ 72950940564011938501*c_0101_5^12 + 174486361742867650076624885771287487775827903829104873169714900391/\ 43200504472106799592663219975339536880813491803762256047754004*c_01\ 01_5^11 - 672060539207389312753232387873637198405168495162417531508\ 10702759/2160025223605339979633160998766976844040674590188112802387\ 7002*c_0101_5^10 - 157633413026909963673748004679970311996866498308\ 268979106681438973/432005044721067995926632199753395368808134918037\ 62256047754004*c_0101_5^9 + 537434082483049083940787813621283909945\ 66827409990397619626832113/2160025223605339979633160998766976844040\ 6745901881128023877002*c_0101_5^8 + 135670983995156608214147171673760091947250643626821476505620891285/\ 43200504472106799592663219975339536880813491803762256047754004*c_01\ 01_5^7 - 4389820998795295374244055138399358010604208918366739308363\ 2311101/21600252236053399796331609987669768440406745901881128023877\ 002*c_0101_5^6 - 14596538191943260722550855839650986466464035002111\ 573822371645566/108001261180266998981658049938348842202033729509405\ 64011938501*c_0101_5^5 + 227640718819176942417888415196627202321973\ 66035284469826729826497/2160025223605339979633160998766976844040674\ 5901881128023877002*c_0101_5^4 + 7635574427512847589099759086930935\ 822343816651686362097275853839/432005044721067995926632199753395368\ 80813491803762256047754004*c_0101_5^3 - 9567742494222636316916427707419269489430224711875658747959375251/43\ 200504472106799592663219975339536880813491803762256047754004*c_0101\ _5^2 - 219258902034366271440318414522481021336810294344716201940990\ 243/21600252236053399796331609987669768440406745901881128023877002*\ c_0101_5 + 12262635657946968401336559587435952593451433128082283217\ 0160276/10800126118026699898165804993834884220203372950940564011938\ 501, c_0101_5^25 + 32/3*c_0101_5^24 - 1175/36*c_0101_5^23 + 251/9*c_0101_5^22 - 226/3*c_0101_5^21 + 1751/12*c_0101_5^20 - 1516/9*c_0101_5^19 - 115/2*c_0101_5^18 + 283/2*c_0101_5^17 + 7853/36*c_0101_5^16 + 4703/36*c_0101_5^15 - 18437/18*c_0101_5^14 + 1204/9*c_0101_5^13 + 56957/36*c_0101_5^12 - 3484/9*c_0101_5^11 - 19505/12*c_0101_5^10 + 246*c_0101_5^9 + 16405/12*c_0101_5^8 - 1634/9*c_0101_5^7 - 2183/3*c_0101_5^6 + 2471/18*c_0101_5^5 + 7573/36*c_0101_5^4 - 1627/36*c_0101_5^3 - 317/9*c_0101_5^2 + 8/3*c_0101_5 + 16/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB