Magma V2.19-8 Tue Aug 20 2013 16:16:33 on localhost [Seed = 1326371728] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0848 geometric_solution 4.76513805 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 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.752798147502 0.053250462394 0 2 0 2 0132 0132 1023 1023 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 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.583446224585 0.153665216343 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 0 -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.139536400888 1.813171957731 2 2 5 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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 -1.005731381432 1.056271019589 5 5 3 6 1023 3012 0132 0132 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 -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.471038486705 1.168509240147 4 4 6 3 1230 1023 3201 0132 0 0 0 0 0 0 0 0 -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 0 0 1 0 -1 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.471038486705 1.168509240147 5 6 4 6 2310 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.463459547954 0.466004914609 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_4'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : negation(d['c_0101_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 1011363503753436479623082075474555545727920232568524712062548455288\ 67111299345695727676823171037088/1883848784100856091596161002430030\ 73427078156332665448219730545553200224764587587316674629379879*c_01\ 01_5^28 + 579263619554231564375940450790255593282831140620075049232\ 569232844309981046695264953275949335848894/627949594700285363865387\ 0008100102447569271877755514940657684851773340825486252910555820979\ 3293*c_0101_5^27 + 374658886939549534372974853917843612322706693082\ 2791185605143116255644172364159037743040991274672775/18838487841008\ 5609159616100243003073427078156332665448219730545553200224764587587\ 316674629379879*c_0101_5^26 - 7188750035576000500134760004420095250\ 4124703277413335871973046538818817395138968883304755617093416039/18\ 8384878410085609159616100243003073427078156332665448219730545553200\ 224764587587316674629379879*c_0101_5^25 - 1144436209442461591694344478816704667359579841320921318502573272262\ 17280815943464034710171259779908512/1883848784100856091596161002430\ 03073427078156332665448219730545553200224764587587316674629379879*c\ _0101_5^24 + 102466360358812310406918099416835587306306709693823712\ 6009289170262232838850957070043703779810540710786/62794959470028536\ 3865387000810010244756927187775551494065768485177334082548625291055\ 58209793293*c_0101_5^23 - 66921973489477336442871058430856123908127\ 2482432162710774009042966852607799015361460361358112303508482/62794\ 9594700285363865387000810010244756927187775551494065768485177334082\ 54862529105558209793293*c_0101_5^22 - 6942782041069293752450582118753136922841827142857364527969770379478\ 615444831023707027375414185830167604/188384878410085609159616100243\ 003073427078156332665448219730545553200224764587587316674629379879*\ c_0101_5^21 + 10971469232725902792203513124705854722765052118085178\ 088365385509654674134059545527854688378134856759898/188384878410085\ 6091596161002430030734270781563326654482197305455532002247645875873\ 16674629379879*c_0101_5^20 - 43967648410824649935790449106647586898\ 82373113073683884422589776186082170842593228300530732650322997191/2\ 0931653156676178795512900027000341491897572925851716468858949505911\ 136084954176368519403264431*c_0101_5^19 + 1819308235165002019703242665531016140421575533646339316225235388707\ 4663521677116118651419543431363183174/62794959470028536386538700081\ 001024475692718777555149406576848517733408254862529105558209793293*\ c_0101_5^18 - 29398593693369913762958847820240588353281982199446506\ 546758573540366623388527780619148125856415733141802/188384878410085\ 6091596161002430030734270781563326654482197305455532002247645875873\ 16674629379879*c_0101_5^17 + 14567028812954866578813303255975359433\ 196369934915989523427954954786961004816952701070791777606736980752/\ 6279495947002853638653870008100102447569271877755514940657684851773\ 3408254862529105558209793293*c_0101_5^16 - 2005216179783470252681470823459413901358864702211697727858461890417\ 59354234708268141403144465921946839/2093165315667617879551290002700\ 0341491897572925851716468858949505911136084954176368519403264431*c_\ 0101_5^15 - 1601433086395229391917054021664472153257240804342209121\ 6470397400918786354183294052415048710402371633976/62794959470028536\ 3865387000810010244756927187775551494065768485177334082548625291055\ 58209793293*c_0101_5^14 + 27189397506135656452831215941614912708012\ 57702117262591300243218981604956631297259435233570919872022314/6279\ 4959470028536386538700081001024475692718777555149406576848517733408\ 254862529105558209793293*c_0101_5^13 - 3282576962665619203909349435636057038965717542529938059682667644232\ 366973348418133293560949742325894261/627949594700285363865387000810\ 01024475692718777555149406576848517733408254862529105558209793293*c\ _0101_5^12 + 391210308173458225445234277922707486925139848961303971\ 9254807345842449677805512219016897078627093915255/62794959470028536\ 3865387000810010244756927187775551494065768485177334082548625291055\ 58209793293*c_0101_5^11 + 15906739893161001645390636761904798631037\ 562390355407310050021874817225865118695061650848222116032439738/188\ 3848784100856091596161002430030734270781563326654482197305455532002\ 24764587587316674629379879*c_0101_5^10 - 5712100483367749274585437657461657327433973215141750218584510341168\ 097635744187187897285897338231774717/188384878410085609159616100243\ 003073427078156332665448219730545553200224764587587316674629379879*\ c_0101_5^9 - 125883302739238665547584726707621626215592027646426568\ 7100311459823594910804113912369405337042817812880/62794959470028536\ 3865387000810010244756927187775551494065768485177334082548625291055\ 58209793293*c_0101_5^8 - 354422949309974345679158501556833269457467\ 226502474051158154392577176502759807321749626212270675806585/188384\ 8784100856091596161002430030734270781563326654482197305455532002247\ 64587587316674629379879*c_0101_5^7 - 1805424988195950886360754636666616165582042949281733546484221015501\ 22044920401870333939722817135452073/1883848784100856091596161002430\ 03073427078156332665448219730545553200224764587587316674629379879*c\ _0101_5^6 + 3604539691962249228523376556724490751674817425744279048\ 37879592533775825746355110793459758298643252405/1883848784100856091\ 5961610024300307342707815633266544821973054555320022476458758731667\ 4629379879*c_0101_5^5 + 1555983566336591148274522510623648324386984\ 03363008715334763706717271364499373682360874847649011904891/1883848\ 7841008560915961610024300307342707815633266544821973054555320022476\ 4587587316674629379879*c_0101_5^4 - 2571397474516971776499773334701844395444090398861010408462671469735\ 1331202967377257140528322739050036/18838487841008560915961610024300\ 3073427078156332665448219730545553200224764587587316674629379879*c_\ 0101_5^3 - 10901289722150906612435396569724190597712865024804936871\ 371676359883880551101076948829311445299909211/188384878410085609159\ 6161002430030734270781563326654482197305455532002247645875873166746\ 29379879*c_0101_5^2 + 439569118945935913015188608967945709783987113\ 410224765344708167760570470619334165517287018914646294/188384878410\ 0856091596161002430030734270781563326654482197305455532002247645875\ 87316674629379879*c_0101_5 + 18485283751234517762194340300042797332\ 2151246547659651883580969821732495747152566469563425060870250/18838\ 4878410085609159616100243003073427078156332665448219730545553200224\ 764587587316674629379879, c_0011_0 - 1, c_0011_4 + 182656239774348076357396984997146351825548999618882836796020\ 882868053431284012521011549015714386/209316531566761787955129000270\ 00341491897572925851716468858949505911136084954176368519403264431*c\ _0101_5^28 + 313472972377088445457220126167090065582141307752680804\ 8889333535863480583763341014910125605168265/20931653156676178795512\ 9000270003414918975729258517164688589495059111360849541763685194032\ 64431*c_0101_5^27 + 67026346953098732825222439314376440054171277824\ 77743572986182583324250667587937332445184189952238/2093165315667617\ 8795512900027000341491897572925851716468858949505911136084954176368\ 519403264431*c_0101_5^26 - 1299503789527715128928242322670580863512\ 83530292905433312767311026437586989221557739025826527473583/2093165\ 3156676178795512900027000341491897572925851716468858949505911136084\ 954176368519403264431*c_0101_5^25 - 2039483426147315860108949232972082298695854295202083666651320397524\ 76134225184527410100540678160019/2093165315667617879551290002700034\ 1491897572925851716468858949505911136084954176368519403264431*c_010\ 1_5^24 + 5555147965084467508034452962285206450059844740966023128633\ 683908072605913938724294085476966317612455/209316531566761787955129\ 0002700034149189757292585171646885894950591113608495417636851940326\ 4431*c_0101_5^23 - 374256359398489365542223836824113618377860517997\ 3972069539486590762320281950916720167956959841143773/20931653156676\ 1787955129000270003414918975729258517164688589495059111360849541763\ 68519403264431*c_0101_5^22 - 12425683940819058335751321946970267643\ 858949558810965558555991755525857727516900433818748841858814450/209\ 3165315667617879551290002700034149189757292585171646885894950591113\ 6084954176368519403264431*c_0101_5^21 + 2005279537374055254037602770611682905505679134637396725431795940127\ 6895545389447210684560569166765357/20931653156676178795512900027000\ 341491897572925851716468858949505911136084954176368519403264431*c_0\ 101_5^20 - 71965374650203113283406050494596018817445370219415825851\ 572507204986324408305244500908814831197527988/209316531566761787955\ 1290002700034149189757292585171646885894950591113608495417636851940\ 3264431*c_0101_5^19 + 100186272191776437045988835155993450629629273\ 902296420006591779377373095124976072902613253120529751134/209316531\ 5667617879551290002700034149189757292585171646885894950591113608495\ 4176368519403264431*c_0101_5^18 - 556231791708547804537883906020757\ 3450545961447005064995696193331665374626007090038061595688699801062\ 2/20931653156676178795512900027000341491897572925851716468858949505\ 911136084954176368519403264431*c_0101_5^17 + 8066706373381391302865832860606411863293650922953880110981127740720\ 9213776491344843975411954134092079/20931653156676178795512900027000\ 341491897572925851716468858949505911136084954176368519403264431*c_0\ 101_5^16 - 52094566961569528552120747930462172968634568380811987249\ 75543903319475605917684468096033036701803924/2093165315667617879551\ 2900027000341491897572925851716468858949505911136084954176368519403\ 264431*c_0101_5^15 - 8620261977719741472285062295025973851554996673\ 2085939160048724744801316020855564255896392097296443655/20931653156\ 6761787955129000270003414918975729258517164688589495059111360849541\ 76368519403264431*c_0101_5^14 + 16581904116387132685141902657684812\ 611780037687043874957073693226080745023755350704337041466900863518/\ 2093165315667617879551290002700034149189757292585171646885894950591\ 1136084954176368519403264431*c_0101_5^13 - 1871257034597232952960984046217675691958065685525265530938317372826\ 2145731329062944940128473160834967/20931653156676178795512900027000\ 341491897572925851716468858949505911136084954176368519403264431*c_0\ 101_5^12 + 21658185854320871170114696213645958073317019222683459674\ 113100169146377345852348666774959839406261796/209316531566761787955\ 1290002700034149189757292585171646885894950591113608495417636851940\ 3264431*c_0101_5^11 + 281565644982767573384071838440702382188215713\ 84360836921367263256292215868732730281496395224580011227/2093165315\ 6676178795512900027000341491897572925851716468858949505911136084954\ 176368519403264431*c_0101_5^10 - 1079450737065678536051949613945509\ 4204406088181766580582397577251652647042570979100673380978794445946\ /209316531566761787955129000270003414918975729258517164688589495059\ 11136084954176368519403264431*c_0101_5^9 - 6392308030351433992395437620916659081503112668347152233417249231844\ 294190450391489165038472755651740/209316531566761787955129000270003\ 41491897572925851716468858949505911136084954176368519403264431*c_01\ 01_5^8 - 5648705033814315241512478909147247138432875244141736402267\ 91269659893157505069879812619838380226629/2093165315667617879551290\ 0027000341491897572925851716468858949505911136084954176368519403264\ 431*c_0101_5^7 - 35311003105133912248020293563964289929562983449383\ 8192440619122762957038039436363326605482770155605/20931653156676178\ 7955129000270003414918975729258517164688589495059111360849541763685\ 19403264431*c_0101_5^6 + 655061580188073499695487460500091683445366\ 805210819007509977819921899138432673464600892684851860519/209316531\ 5667617879551290002700034149189757292585171646885894950591113608495\ 4176368519403264431*c_0101_5^5 + 2620486783954366368143982183175032\ 86787749368697080899140163042411142955207617171749260271773017880/2\ 0931653156676178795512900027000341491897572925851716468858949505911\ 136084954176368519403264431*c_0101_5^4 - 4830286416054468642156515391804080978231283333221945890245894630156\ 4576919213134112215767058703245/20931653156676178795512900027000341\ 491897572925851716468858949505911136084954176368519403264431*c_0101\ _5^3 - 170883182070075246414639719362792428605965881780129001028517\ 57699096015694473204894700322055291497/2093165315667617879551290002\ 7000341491897572925851716468858949505911136084954176368519403264431\ *c_0101_5^2 + 89399840903617840144264794609460962406961113064087075\ 8555082270309958397456546094782378812925921/20931653156676178795512\ 9000270003414918975729258517164688589495059111360849541763685194032\ 64431*c_0101_5 + 26787926513667990487522319594183496910095835895447\ 0746764756957179003197581221671658848483737012/20931653156676178795\ 5129000270003414918975729258517164688589495059111360849541763685194\ 03264431, c_0011_6 + 195732426603334534048829683427161708921851057757041034932735\ 284605918073708229181091877616963112/209316531566761787955129000270\ 00341491897572925851716468858949505911136084954176368519403264431*c\ _0101_5^28 + 335531972126670104875152321655223516040622436577471713\ 7919387223080601821748046180338995561235784/20931653156676178795512\ 9000270003414918975729258517164688589495059111360849541763685194032\ 64431*c_0101_5^27 + 71189790594454631940082539453374501460670706367\ 56528791653183387807460976678721744627136055240134/2093165315667617\ 8795512900027000341491897572925851716468858949505911136084954176368\ 519403264431*c_0101_5^26 - 1393580460725233478702265571385281116531\ 79243310208955976300017947513957561310435112191401543856930/2093165\ 3156676178795512900027000341491897572925851716468858949505911136084\ 954176368519403264431*c_0101_5^25 - 2157610421579037081107404736583138493713510020016247692390464415857\ 88122998893944593803777778265318/2093165315667617879551290002700034\ 1491897572925851716468858949505911136084954176368519403264431*c_010\ 1_5^24 + 5955592490300207969682420112798244317726660707862935251084\ 763125498789664389770499871704354538018407/209316531566761787955129\ 0002700034149189757292585171646885894950591113608495417636851940326\ 4431*c_0101_5^23 - 412868289603346357814587174912532620454655842399\ 8320409388571731791529017109938297984375671422995872/20931653156676\ 1787955129000270003414918975729258517164688589495059111360849541763\ 68519403264431*c_0101_5^22 - 13172549163381277631447919850747980181\ 980589324792563096736196518393604509281803972667417468136913711/209\ 3165315667617879551290002700034149189757292585171646885894950591113\ 6084954176368519403264431*c_0101_5^21 + 2168793013326945335784186528862092312701604566542251332626654956553\ 5668093338690828655855773220596751/20931653156676178795512900027000\ 341491897572925851716468858949505911136084954176368519403264431*c_0\ 101_5^20 - 77653961610535212389415948698868659672798935130093464209\ 836832738112312196900107185278869455881138231/209316531566761787955\ 1290002700034149189757292585171646885894950591113608495417636851940\ 3264431*c_0101_5^19 + 109121529644580589255494781496697886478151759\ 261130635420048858864500994948491874445783854080234775216/209316531\ 5667617879551290002700034149189757292585171646885894950591113608495\ 4176368519403264431*c_0101_5^18 - 626206929319279097252906380073653\ 0834066150469198293871713377425768939949156640574480943845325848212\ 9/20931653156676178795512900027000341491897572925851716468858949505\ 911136084954176368519403264431*c_0101_5^17 + 8903395730493046115534086692745261992936180693719798694929355971245\ 6676013827940686574244971511950485/20931653156676178795512900027000\ 341491897572925851716468858949505911136084954176368519403264431*c_0\ 101_5^16 - 84247014729289012392995988391143429606261957896504893571\ 97915292951244392168279219125272083120151869/2093165315667617879551\ 2900027000341491897572925851716468858949505911136084954176368519403\ 264431*c_0101_5^15 - 9085973592554129135994308217034947098253259278\ 3367639999131525313659338399343778292788052344504571526/20931653156\ 6761787955129000270003414918975729258517164688589495059111360849541\ 76368519403264431*c_0101_5^14 + 19028694261564175304666111984106239\ 901266004062587882904615286890539210022345687100945689058718389173/\ 2093165315667617879551290002700034149189757292585171646885894950591\ 1136084954176368519403264431*c_0101_5^13 - 2106000729095071185185750020736974131120687024632764945313968064150\ 4653935346194435592437702384664573/20931653156676178795512900027000\ 341491897572925851716468858949505911136084954176368519403264431*c_0\ 101_5^12 + 23955371678331088923460217677337826370213394183035312585\ 441657074645960578466714178836493373266140964/209316531566761787955\ 1290002700034149189757292585171646885894950591113608495417636851940\ 3264431*c_0101_5^11 + 293112558666319413779372003096017067781616176\ 76142662254267396357661428400446782756213837831212977346/2093165315\ 6676178795512900027000341491897572925851716468858949505911136084954\ 176368519403264431*c_0101_5^10 - 1179702624347432652997273097354299\ 2620906394995170965984534242015445838731700007452842119381952987642\ /209316531566761787955129000270003414918975729258517164688589495059\ 11136084954176368519403264431*c_0101_5^9 - 6463305492578552739062334814458489370437938061597515996346916829146\ 266952797523468077703424777006763/209316531566761787955129000270003\ 41491897572925851716468858949505911136084954176368519403264431*c_01\ 01_5^8 - 6104244445562083733926777496222191367099000784216740278928\ 95456193528146116646920893465872860932055/2093165315667617879551290\ 0027000341491897572925851716468858949505911136084954176368519403264\ 431*c_0101_5^7 - 36798585688951025461271413236476677217983981979632\ 1752220496347996081143576998921169546986167778991/20931653156676178\ 7955129000270003414918975729258517164688589495059111360849541763685\ 19403264431*c_0101_5^6 + 701694664825001419908810816170915239049850\ 341030004179553591183431263366055606208838430759764316004/209316531\ 5667617879551290002700034149189757292585171646885894950591113608495\ 4176368519403264431*c_0101_5^5 + 2646348745559073523757628795800840\ 58419223551558606363277548973709151370546903465162123580637797398/2\ 0931653156676178795512900027000341491897572925851716468858949505911\ 136084954176368519403264431*c_0101_5^4 - 5125935993255503830622145824347168541176936482982488708468070058687\ 1696938091459897195453134820486/20931653156676178795512900027000341\ 491897572925851716468858949505911136084954176368519403264431*c_0101\ _5^3 - 172445124872589939837143322412172838436335721407691827788531\ 86746035831900333627294035716565956004/2093165315667617879551290002\ 7000341491897572925851716468858949505911136084954176368519403264431\ *c_0101_5^2 + 82998334185983867051237012607194251947705760405577704\ 2751289493713642490456330309699481833447748/20931653156676178795512\ 9000270003414918975729258517164688589495059111360849541763685194032\ 64431*c_0101_5 + 27315721419987042716688234269903066118241259436126\ 1980893953019915789290213142426391166870142442/20931653156676178795\ 5129000270003414918975729258517164688589495059111360849541763685194\ 03264431, c_0101_0 - 311560310061269375364159601786396798839097462692761984915985\ 12873372951899051637907673114253506/2093165315667617879551290002700\ 0341491897572925851716468858949505911136084954176368519403264431*c_\ 0101_5^28 - 5423592982895354916481993355478348776544449348034695423\ 69508331272997646991729821555909298289753/2093165315667617879551290\ 0027000341491897572925851716468858949505911136084954176368519403264\ 431*c_0101_5^27 - 1273430072042756736865927341853290237430443632319\ 930885126423855898031601443305020528076820290976/209316531566761787\ 9551290002700034149189757292585171646885894950591113608495417636851\ 9403264431*c_0101_5^26 + 219073315086937673390283307854915653162724\ 85851339348958689182904041112007429584953770714500796336/2093165315\ 6676178795512900027000341491897572925851716468858949505911136084954\ 176368519403264431*c_0101_5^25 + 4027899765832124328111476481457933\ 8916695921741319434129742408237593762880390765836843581803588561/20\ 9316531566761787955129000270003414918975729258517164688589495059111\ 36084954176368519403264431*c_0101_5^24 - 9399767182263605194986993165604037026876712058667582365358377018221\ 45728069939534232867444844819727/2093165315667617879551290002700034\ 1491897572925851716468858949505911136084954176368519403264431*c_010\ 1_5^23 + 4042518987522184152916075060326747194755595298731867870125\ 01421130961136967578870536539759050917178/2093165315667617879551290\ 0027000341491897572925851716468858949505911136084954176368519403264\ 431*c_0101_5^22 + 2318087751375040209794389530116997118111160005389\ 266686470562142354787105412511892974258683697831108/209316531566761\ 7879551290002700034149189757292585171646885894950591113608495417636\ 8519403264431*c_0101_5^21 - 294477350408315222581740749078670769270\ 0088559990266710444208626617488706310878450494205375647812006/20931\ 6531566761787955129000270003414918975729258517164688589495059111360\ 84954176368519403264431*c_0101_5^20 + 1136025895310707841234848699771443197815565378640236836982293683425\ 3729834119745709789783820168589087/20931653156676178795512900027000\ 341491897572925851716468858949505911136084954176368519403264431*c_0\ 101_5^19 - 13890210538729872347485445495672500955115691992449087540\ 608165579000952857308360631220334468572676580/209316531566761787955\ 1290002700034149189757292585171646885894950591113608495417636851940\ 3264431*c_0101_5^18 + 467884310447973073135807729176083408126377143\ 2914913427076862921018076978659707186528206069342733609/20931653156\ 6761787955129000270003414918975729258517164688589495059111360849541\ 76368519403264431*c_0101_5^17 - 10425512899875010803425099544083110\ 570807269330066531775181928688209298793667761291903533726593180573/\ 2093165315667617879551290002700034149189757292585171646885894950591\ 1136084954176368519403264431*c_0101_5^16 - 3322476160703862905700327386925307946145811753744364787123463759637\ 486900575225175437055411925803789/209316531566761787955129000270003\ 41491897572925851716468858949505911136084954176368519403264431*c_01\ 01_5^15 + 158670297967854265896139956496054168589735054591185251940\ 58648359769921657832486857977774212717852285/2093165315667617879551\ 2900027000341491897572925851716468858949505911136084954176368519403\ 264431*c_0101_5^14 + 3348672541982289424220745599884611047372619523\ 54129391252907456328547128268637767460208127324993932/2093165315667\ 6178795512900027000341491897572925851716468858949505911136084954176\ 368519403264431*c_0101_5^13 + 2044067733970242902674785049293651795\ 096333441346835147915087695149250980237662396413741180891003542/209\ 3165315667617879551290002700034149189757292585171646885894950591113\ 6084954176368519403264431*c_0101_5^12 - 2615958857634849627546991591906808694746244436346194745206695867625\ 822529212421121472467561857906431/209316531566761787955129000270003\ 41491897572925851716468858949505911136084954176368519403264431*c_01\ 01_5^11 - 595335535689968949841990680731886585175256620004644433992\ 6568160446972168049476134053503668931133960/20931653156676178795512\ 9000270003414918975729258517164688589495059111360849541763685194032\ 64431*c_0101_5^10 + 93409627955903109918410222671932072121618855324\ 3641833399964544711746154670354037670766153128714743/20931653156676\ 1787955129000270003414918975729258517164688589495059111360849541763\ 68519403264431*c_0101_5^9 + 164127701986700403225519229096458755383\ 8080607477964174177944480719051245047344009192790557264136850/20931\ 6531566761787955129000270003414918975729258517164688589495059111360\ 84954176368519403264431*c_0101_5^8 + 2461825788468981780361143647591895690893642411834084984679715006689\ 04209728734542488894869112311541/2093165315667617879551290002700034\ 1491897572925851716468858949505911136084954176368519403264431*c_010\ 1_5^7 + 76966688323626717366335468916987489707939085532375333039239\ 493499258251220504193666529432502768592/209316531566761787955129000\ 2700034149189757292585171646885894950591113608495417636851940326443\ 1*c_0101_5^6 - 1007613228172625954947565094834850832450881889746943\ 01757898120902528846328198049103042843558399925/2093165315667617879\ 5512900027000341491897572925851716468858949505911136084954176368519\ 403264431*c_0101_5^5 - 72159113673882970646832564422524230800958070\ 574823221578474470614417692574847146766351207013968801/209316531566\ 7617879551290002700034149189757292585171646885894950591113608495417\ 6368519403264431*c_0101_5^4 + 2314266440118426687701393670184299164\ 834202221834273032706124633714950659183853779749557359987621/209316\ 5315667617879551290002700034149189757292585171646885894950591113608\ 4954176368519403264431*c_0101_5^3 + 5093860587509392062699851216756151666286741283943913755258498180610\ 488354663906819368043330699412/209316531566761787955129000270003414\ 91897572925851716468858949505911136084954176368519403264431*c_0101_\ 5^2 + 1788106257970921621117916896734171152446717129374788854765605\ 22011783726561686439211024823924931/2093165315667617879551290002700\ 0341491897572925851716468858949505911136084954176368519403264431*c_\ 0101_5 - 8624155025973619513519200055237075248497027100890198516988\ 4658045548234194654651134214846504978/20931653156676178795512900027\ 000341491897572925851716468858949505911136084954176368519403264431, c_0101_1 + 307651498645517879615306511971631089459159725596065623587731\ 373035305159464472620781674631235886/209316531566761787955129000270\ 00341491897572925851716468858949505911136084954176368519403264431*c\ _0101_5^28 + 525797855648672947441606662043530994619806428647653133\ 3489053816465263320566199881716163311908729/20931653156676178795512\ 9000270003414918975729258517164688589495059111360849541763685194032\ 64431*c_0101_5^27 + 10916849006502617525346566213450851314737711576\ 604219400742016724067969974036641356426540168066057/209316531566761\ 7879551290002700034149189757292585171646885894950591113608495417636\ 8519403264431*c_0101_5^26 - 219623781545569560215977638577877311437\ 199571838488638249878687527708576283334280640797863360093808/209316\ 5315667617879551290002700034149189757292585171646885894950591113608\ 4954176368519403264431*c_0101_5^25 - 3278214778316427768405597868617277806549296959597347205096359436172\ 99482629926321592970678322819282/2093165315667617879551290002700034\ 1491897572925851716468858949505911136084954176368519403264431*c_010\ 1_5^24 + 9378605833348739568702114138466430372703765127272775836244\ 427219809715580866044729285667346136684903/209316531566761787955129\ 0002700034149189757292585171646885894950591113608495417636851940326\ 4431*c_0101_5^23 - 697295085537014991765189552184326480041269974179\ 2277623973270467035139534473904879045828500147422443/20931653156676\ 1787955129000270003414918975729258517164688589495059111360849541763\ 68519403264431*c_0101_5^22 - 20373555525493139914406272054758512448\ 864449104110782089572060370632276826214490017831430851370137252/209\ 3165315667617879551290002700034149189757292585171646885894950591113\ 6084954176368519403264431*c_0101_5^21 + 3515698026772616245762895233171610813144008671702465353700812736353\ 7961043125803652274419678228434101/20931653156676178795512900027000\ 341491897572925851716468858949505911136084954176368519403264431*c_0\ 101_5^20 - 12381864368169689453883831133976594583143011060929859959\ 0055116697953914789102656820233875842209609367/20931653156676178795\ 5129000270003414918975729258517164688589495059111360849541763685194\ 03264431*c_0101_5^19 + 17783202912980338050740129002218779683048335\ 5946939221402757337453129798166817801629428528420602080524/20931653\ 1566761787955129000270003414918975729258517164688589495059111360849\ 54176368519403264431*c_0101_5^18 - 1072196834005717172761057485575333328506552845538880828132700660827\ 97254961598229488417198970356364070/2093165315667617879551290002700\ 0341491897572925851716468858949505911136084954176368519403264431*c_\ 0101_5^17 + 1449639591377754700401767733117202748653388451662391337\ 21944116011924549511144400447191498661109703195/2093165315667617879\ 5512900027000341491897572925851716468858949505911136084954176368519\ 403264431*c_0101_5^16 - 2031361407774621966018588053322577424490973\ 3438042071001980182506255116787483977292931433135513867735/20931653\ 1566761787955129000270003414918975729258517164688589495059111360849\ 54176368519403264431*c_0101_5^15 - 1424540716092249783769540590306728631599226193446652782108162767039\ 19545785024215592119297838418776763/2093165315667617879551290002700\ 0341491897572925851716468858949505911136084954176368519403264431*c_\ 0101_5^14 + 3745952350930240065901672643545864308747546258475676666\ 0732010272241662315860673945215508881383315196/20931653156676178795\ 5129000270003414918975729258517164688589495059111360849541763685194\ 03264431*c_0101_5^13 - 34915418208056526885483623328815555619258224\ 639796719108189315795878507227024950923654978777866248031/209316531\ 5667617879551290002700034149189757292585171646885894950591113608495\ 4176368519403264431*c_0101_5^12 + 395505954554783675961646429044212\ 3970293134985073851024724604710062832995902494705146724546911802594\ 6/20931653156676178795512900027000341491897572925851716468858949505\ 911136084954176368519403264431*c_0101_5^11 + 4424339622824238593016900180806569208457664990529145155806601491023\ 2862579257712215746674896217757766/20931653156676178795512900027000\ 341491897572925851716468858949505911136084954176368519403264431*c_0\ 101_5^10 - 20949314031825230615251897042255814467250184709548616998\ 158054923369500648738738087938292169402545232/209316531566761787955\ 1290002700034149189757292585171646885894950591113608495417636851940\ 3264431*c_0101_5^9 - 9142535467983948853828683335537656432531530944\ 379991206750774412836899527658806851143581414536076304/209316531566\ 7617879551290002700034149189757292585171646885894950591113608495417\ 6368519403264431*c_0101_5^8 - 5252958224466101766497049794589702055\ 71758195045122991787281899199514044339920280440033023798888905/2093\ 1653156676178795512900027000341491897572925851716468858949505911136\ 084954176368519403264431*c_0101_5^7 - 5495216738063224222026849600238236741420645268467734340331534161812\ 39332821223252087789924861620134/2093165315667617879551290002700034\ 1491897572925851716468858949505911136084954176368519403264431*c_010\ 1_5^6 + 11503461441814487944381791759518091317780229710766201987292\ 04012009412040045042137215886777635708478/2093165315667617879551290\ 0027000341491897572925851716468858949505911136084954176368519403264\ 431*c_0101_5^5 + 35946456037152120371501320573489094353942982941105\ 2349575016350253294072677944438251729567666870499/20931653156676178\ 7955129000270003414918975729258517164688589495059111360849541763685\ 19403264431*c_0101_5^4 - 983095571433222390491453349918790729673424\ 75752387467418963741569376058011501082020102218142664922/2093165315\ 6676178795512900027000341491897572925851716468858949505911136084954\ 176368519403264431*c_0101_5^3 - 22663627460411605088757757862493838\ 835449356670499044277337669751639078658493355282436875248399837/209\ 3165315667617879551290002700034149189757292585171646885894950591113\ 6084954176368519403264431*c_0101_5^2 + 2024763444643964593892925423492247911255791137711178443659958521375\ 555305037492602843537074637002/209316531566761787955129000270003414\ 91897572925851716468858949505911136084954176368519403264431*c_0101_\ 5 + 353554767769385275242251128088073032925139397249696454398841750\ 890012620421822079380515106164632/209316531566761787955129000270003\ 41491897572925851716468858949505911136084954176368519403264431, c_0101_2 - 858776668431958577078887696995996370846737472720878271995836\ 57982850091055018410049086809458194/2093165315667617879551290002700\ 0341491897572925851716468858949505911136084954176368519403264431*c_\ 0101_5^28 - 1473364713150753632054180431401216658125443850171655962\ 193043613948205841521483258031619525161013/209316531566761787955129\ 0002700034149189757292585171646885894950591113608495417636851940326\ 4431*c_0101_5^27 - 314375152680836435709977714772292796306440070456\ 5750908398158345871924980979879212271001824721012/20931653156676178\ 7955129000270003414918975729258517164688589495059111360849541763685\ 19403264431*c_0101_5^26 + 61108628490067110913631643387167909291826\ 931479711761850467547899091141053336527049942053529065695/209316531\ 5667617879551290002700034149189757292585171646885894950591113608495\ 4176368519403264431*c_0101_5^25 + 955489981135189079553521165562529\ 96686799590346475827955128497826985312211551773671372845733779163/2\ 0931653156676178795512900027000341491897572925851716468858949505911\ 136084954176368519403264431*c_0101_5^24 - 2612084938115282496930785556856613387779329654265120055399870132224\ 005112308748120728135971029741393/209316531566761787955129000270003\ 41491897572925851716468858949505911136084954176368519403264431*c_01\ 01_5^23 + 177395509406171127075820713323283649273360483522695659139\ 8304441908658047741069894224409916753670244/20931653156676178795512\ 9000270003414918975729258517164688589495059111360849541763685194032\ 64431*c_0101_5^22 + 58224956234056112805234798489105794090269915817\ 00023476586131196500916109874965119099392599538416700/2093165315667\ 6178795512900027000341491897572925851716468858949505911136084954176\ 368519403264431*c_0101_5^21 - 9452005380563042478833151974568950161\ 458701905560160632866626583369505272609188762960346490680196322/209\ 3165315667617879551290002700034149189757292585171646885894950591113\ 6084954176368519403264431*c_0101_5^20 + 3390628542028979305392474818283225913404384327993242005247997967068\ 9147770690398015035023472383505279/20931653156676178795512900027000\ 341491897572925851716468858949505911136084954176368519403264431*c_0\ 101_5^19 - 47321053094071189199201807217987042789120786050713445532\ 541882929700389799152284069177966674728765747/209316531566761787955\ 1290002700034149189757292585171646885894950591113608495417636851940\ 3264431*c_0101_5^18 + 265412656852999761021705860253568250058196371\ 07964045152135593158261648538158152183761723773959744480/2093165315\ 6676178795512900027000341491897572925851716468858949505911136084954\ 176368519403264431*c_0101_5^17 - 3826171434540653069901043260693094\ 1676712162009958738300885818620117258120527061990124142170859998775\ /209316531566761787955129000270003414918975729258517164688589495059\ 11136084954176368519403264431*c_0101_5^16 + 2787311811593596776609411724276985619350415939520376027374382240574\ 938991777710209957028501518405555/209316531566761787955129000270003\ 41491897572925851716468858949505911136084954176368519403264431*c_01\ 01_5^15 + 403277498235631206328815463410217147284679864857408414967\ 19580934506291759183137230203550075027806958/2093165315667617879551\ 2900027000341491897572925851716468858949505911136084954176368519403\ 264431*c_0101_5^14 - 7973756020519891250806568891641141987742339958\ 520504983706112261148506138792314093544370154212188050/209316531566\ 7617879551290002700034149189757292585171646885894950591113608495417\ 6368519403264431*c_0101_5^13 + 896166056068109826393751405225956535\ 7826516180803264870369602406464793420710668787114986017053001415/20\ 9316531566761787955129000270003414918975729258517164688589495059111\ 36084954176368519403264431*c_0101_5^12 - 1025998206757331713026880012637925621888479153326094302987070996812\ 3774877269110920970728280650340923/20931653156676178795512900027000\ 341491897572925851716468858949505911136084954176368519403264431*c_0\ 101_5^11 - 13124203224821286101561928981546522558010613528626578615\ 731919237802381572232152901820403489824201834/209316531566761787955\ 1290002700034149189757292585171646885894950591113608495417636851940\ 3264431*c_0101_5^10 + 510090033622636151858759870846673374889482109\ 7556963261821278673882217351716155513756541471553899101/20931653156\ 6761787955129000270003414918975729258517164688589495059111360849541\ 76368519403264431*c_0101_5^9 + 293972122694703259163901739351440523\ 8102333411300195457988422366248990619947041519250086717097504825/20\ 9316531566761787955129000270003414918975729258517164688589495059111\ 36084954176368519403264431*c_0101_5^8 + 2629592195622369094536694881267708088337628810511887042779756171346\ 44191347341286811839915484310285/2093165315667617879551290002700034\ 1491897572925851716468858949505911136084954176368519403264431*c_010\ 1_5^7 + 16744580600420536163969093484619023910646547540011302635147\ 7115930352672017173269918373403310732709/20931653156676178795512900\ 0270003414918975729258517164688589495059111360849541763685194032644\ 31*c_0101_5^6 - 306351279129357711954135513419196138651815822922388\ 958325088282389329718926843191957026849580409200/209316531566761787\ 9551290002700034149189757292585171646885894950591113608495417636851\ 9403264431*c_0101_5^5 - 1203958929332344940789987408382774541037943\ 06175127016767184241511627299561913851812516255772809773/2093165315\ 6676178795512900027000341491897572925851716468858949505911136084954\ 176368519403264431*c_0101_5^4 + 22661975492085907148063346515418071\ 497784950428979994782722850085192614601173420567969070778343078/209\ 3165315667617879551290002700034149189757292585171646885894950591113\ 6084954176368519403264431*c_0101_5^3 + 7830028508787927219703901784115452216500642829608686311552981768041\ 402745095999714540480022081037/209316531566761787955129000270003414\ 91897572925851716468858949505911136084954176368519403264431*c_0101_\ 5^2 - 4600763849728683377151173517874513980098516521293260163321443\ 10847080323036590935295345635878760/2093165315667617879551290002700\ 0341491897572925851716468858949505911136084954176368519403264431*c_\ 0101_5 - 1274315593513489395365477493089138126477449559577996154935\ 73512329387354902239480112184272368250/2093165315667617879551290002\ 7000341491897572925851716468858949505911136084954176368519403264431\ , c_0101_5^29 + 35/2*c_0101_5^28 + 85/2*c_0101_5^27 - 699*c_0101_5^26 - 1357*c_0101_5^25 + 30034*c_0101_5^24 - 20421/2*c_0101_5^23 - 74885*c_0101_5^22 + 173527/2*c_0101_5^21 - 357029*c_0101_5^20 + 415482*c_0101_5^19 - 119969*c_0101_5^18 + 339667*c_0101_5^17 + 120252*c_0101_5^16 - 960987/2*c_0101_5^15 - 137169/2*c_0101_5^14 - 72501*c_0101_5^13 + 83853*c_0101_5^12 + 193807*c_0101_5^11 - 13739/2*c_0101_5^10 - 54683*c_0101_5^9 - 29809/2*c_0101_5^8 - 5993/2*c_0101_5^7 + 2919*c_0101_5^6 + 2637*c_0101_5^5 + 441/2*c_0101_5^4 - 182*c_0101_5^3 - 27*c_0101_5^2 + 3*c_0101_5 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB