Magma V2.19-8 Tue Aug 20 2013 16:17:55 on localhost [Seed = 155751881] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2148 geometric_solution 5.63021282 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1.492508519147 0.215950856461 0 2 2 0 3201 0132 1023 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 -1 0 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 1.162326355188 0.307491297700 3 1 1 4 0132 0132 1023 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 1 0 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.733105241888 0.486107425412 2 5 4 6 0132 0132 3201 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 -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.265301394396 0.790653319916 3 6 2 5 2310 1023 0132 1023 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 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.265301394396 0.790653319916 5 3 5 4 2310 0132 3201 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515383902408 0.766016963325 4 6 3 6 1023 1302 0132 2031 0 0 0 0 0 1 0 -1 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.391904247202 1.452917250152 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 6888955431302357794717976980396935709978185993967181774527362707169\ 4/1716462049127853591282761152669149942095169213858801768015364625*\ c_0101_5^33 + 44551854404610509300680058595831643016903443975716143\ 9011769873037119/17164620491278535912827611526691499420951692138588\ 01768015364625*c_0101_5^32 + 99505477757804847897427117283666474886\ 8519050500791003961965679107173/17164620491278535912827611526691499\ 42095169213858801768015364625*c_0101_5^31 - 7046845351501907612455591673667112925952085138964345391975137420988\ 777/171646204912785359128276115266914994209516921385880176801536462\ 5*c_0101_5^30 + 311642657425580357835760836503013013427344230287008\ 636686077407366059/171646204912785359128276115266914994209516921385\ 8801768015364625*c_0101_5^29 + 292252037701369710543686627506226594\ 67641813230575859656415581987535297/1716462049127853591282761152669\ 149942095169213858801768015364625*c_0101_5^28 - 1266188289302663148634470906012742155479463455631075677774931519580\ 77534/1716462049127853591282761152669149942095169213858801768015364\ 625*c_0101_5^27 - 1079105962816245452360632176074455098313934089602\ 0520319650628843455061/17164620491278535912827611526691499420951692\ 13858801768015364625*c_0101_5^26 + 1914768409837802891118594756772538023587106921059231291032849775970\ 39471/3432924098255707182565522305338299884190338427717603536030729\ 25*c_0101_5^25 - 57026989033969001807606518231571273782768852871203\ 8508964578636193854303/17164620491278535912827611526691499420951692\ 13858801768015364625*c_0101_5^24 - 3174294467699232574894051076354013588770340759130769151465340022870\ 279091/171646204912785359128276115266914994209516921385880176801536\ 4625*c_0101_5^23 + 358078307538571574872412640332235321840122319093\ 1200702186278399867339651/17164620491278535912827611526691499420951\ 69213858801768015364625*c_0101_5^22 + 5564906018160221623720479812387282596308105254037105574624422878690\ 343798/171646204912785359128276115266914994209516921385880176801536\ 4625*c_0101_5^21 - 103490894625457466896589322016243884678893136771\ 68119923255539084276277746/1716462049127853591282761152669149942095\ 169213858801768015364625*c_0101_5^20 - 4344232684538142958211809365821341062045232497035785455620420117504\ 240851/171646204912785359128276115266914994209516921385880176801536\ 4625*c_0101_5^19 + 172509097039323802368674097910365731610305750846\ 03289254567093667496597757/1716462049127853591282761152669149942095\ 169213858801768015364625*c_0101_5^18 - 6886306038865775134225551114708997630436431104434416441441796820224\ 58828/1716462049127853591282761152669149942095169213858801768015364\ 625*c_0101_5^17 - 1507471189083945948731270913583588740295307073845\ 94076967970291021375313/1373169639302282873026208922135319953676135\ 3710870414144122917*c_0101_5^16 + 424170353920674059706913863540630\ 5918652001974098651382476787056253103331/17164620491278535912827611\ 52669149942095169213858801768015364625*c_0101_5^15 + 1581956730033175473602598033441984825114308385610792689031223800234\ 4698868/17164620491278535912827611526691499420951692138588017680153\ 64625*c_0101_5^14 - 46779320091897558380404583883202820564907170785\ 74351941996101697127009844/1716462049127853591282761152669149942095\ 169213858801768015364625*c_0101_5^13 - 1084717247215312812297405096642095791533595696915061749907177303807\ 1756536/17164620491278535912827611526691499420951692138588017680153\ 64625*c_0101_5^12 + 38684516260100534871784551130112488603186176499\ 19111888480553682923844421/1716462049127853591282761152669149942095\ 169213858801768015364625*c_0101_5^11 + 1045954075306000355344434820202981318566925221833606690480961492713\ 539366/343292409825570718256552230533829988419033842771760353603072\ 925*c_0101_5^10 - 2108078640849203470151613294198436532251685340663\ 183996801750595677618992/171646204912785359128276115266914994209516\ 9213858801768015364625*c_0101_5^9 - 3265486873675362847267757672334823549318366856541196381734604645919\ 21801/3432924098255707182565522305338299884190338427717603536030729\ 25*c_0101_5^8 + 671457462583255144225814481718046801881937246420291\ 239188275091388290479/171646204912785359128276115266914994209516921\ 3858801768015364625*c_0101_5^7 + 3405569312050579622175388775608661\ 59707457107065393300107956967999096239/1716462049127853591282761152\ 669149942095169213858801768015364625*c_0101_5^6 - 2554208095402719430739566542835229527008221261719196174429052820274\ 6649/34329240982557071825655223053382998841903384277176035360307292\ 5*c_0101_5^5 - 1506946927244918163471956189779525378406325652512632\ 961918696911594123/553697435202533416542826178280370949062957810922\ 19411871463375*c_0101_5^4 + 140709788448977480040212458654898153468\ 96908553977826124663992101193276/1716462049127853591282761152669149\ 942095169213858801768015364625*c_0101_5^3 + 3588822619724628331754420092901866095075608356993168574361457129508\ 217/171646204912785359128276115266914994209516921385880176801536462\ 5*c_0101_5^2 - 6350842944652086220079950011486738335615505259387767\ 79024615681635651/1716462049127853591282761152669149942095169213858\ 801768015364625*c_0101_5 - 1294696380147652057972768834667649947946\ 32495448428874609798238587999/1716462049127853591282761152669149942\ 095169213858801768015364625, c_0011_0 - 1, c_0011_1 + 280088398967820738983695391741735445296654827748889608544/24\ 89744696351737833852843483187269953574872261935638739*c_0101_5^33 - 9178853541466250431112702204889069732969972815826998783446/12448723\ 481758689169264217415936349767874361309678193695*c_0101_5^32 - 3903791085039709646400501001132850004788399036745034015991/24897446\ 96351737833852843483187269953574872261935638739*c_0101_5^31 + 145477834784067192041879017813701318400250675534135610087337/124487\ 23481758689169264217415936349767874361309678193695*c_0101_5^30 - 17354906659344308044044938004858318062525303231340144789466/1244872\ 3481758689169264217415936349767874361309678193695*c_0101_5^29 - 120146325722989951992140938279818357451319263418318558063380/248974\ 4696351737833852843483187269953574872261935638739*c_0101_5^28 + 2621324659162707029980952844864992671266476471932530386884948/12448\ 723481758689169264217415936349767874361309678193695*c_0101_5^27 + 25954964486240172723867904344576594909903417146752496128672/1244872\ 3481758689169264217415936349767874361309678193695*c_0101_5^26 - 19607360111634369120154786980058418627382879349618910620265842/1244\ 8723481758689169264217415936349767874361309678193695*c_0101_5^25 + 13191671412979038965809199722281510144937461708168990278952078/1244\ 8723481758689169264217415936349767874361309678193695*c_0101_5^24 + 64561895526211108789041922108362692571749443463998930384782231/1244\ 8723481758689169264217415936349767874361309678193695*c_0101_5^23 - 78376133008694951828161733639687464645453686332035825284748793/1244\ 8723481758689169264217415936349767874361309678193695*c_0101_5^22 - 110430404438859000152932044295590989991610867710522051753703999/124\ 48723481758689169264217415936349767874361309678193695*c_0101_5^21 + 221940908744239637087648155593507122000301417710236696197084733/124\ 48723481758689169264217415936349767874361309678193695*c_0101_5^20 + 77554935776588940242709884529992194671138855457474660302544904/1244\ 8723481758689169264217415936349767874361309678193695*c_0101_5^19 - 73056700689442174335450090869591731548101284152290557978069202/2489\ 744696351737833852843483187269953574872261935638739*c_0101_5^18 + 34918795909716367249318569654146829963546447450553792129654948/1244\ 8723481758689169264217415936349767874361309678193695*c_0101_5^17 + 395341696354735403573013537550926629795433650505348766497154386/124\ 48723481758689169264217415936349767874361309678193695*c_0101_5^16 - 111382887262949909547631400688079997386091993994389366241759399/124\ 48723481758689169264217415936349767874361309678193695*c_0101_5^15 - 66071407954493885071192358441237975302755435462945468756314961/2489\ 744696351737833852843483187269953574872261935638739*c_0101_5^14 + 117153106585684772513043618194236556979813434964941798077052197/124\ 48723481758689169264217415936349767874361309678193695*c_0101_5^13 + 226504407452711871206034634729299557275210559552317139848608231/124\ 48723481758689169264217415936349767874361309678193695*c_0101_5^12 - 93734107556385041879428336377170872824050617997362005517763373/1244\ 8723481758689169264217415936349767874361309678193695*c_0101_5^11 - 109223830751791192362449940394787329448125303324483523376120039/124\ 48723481758689169264217415936349767874361309678193695*c_0101_5^10 + 50084508034077900883638560172678182053387341670963475620896696/1244\ 8723481758689169264217415936349767874361309678193695*c_0101_5^9 + 34124723240092616710656138617617618012307891799819169441370183/1244\ 8723481758689169264217415936349767874361309678193695*c_0101_5^8 - 15875572315167912326978656518626579894047416774789845226491847/1244\ 8723481758689169264217415936349767874361309678193695*c_0101_5^7 - 7164624044835869783718832924905111440942229192741120865714091/12448\ 723481758689169264217415936349767874361309678193695*c_0101_5^6 + 605618346637104196431809987191319925051843201140640987103502/248974\ 4696351737833852843483187269953574872261935638739*c_0101_5^5 + 199734751955621419989228455694932280897647302701160149680768/248974\ 4696351737833852843483187269953574872261935638739*c_0101_5^4 - 335282441766747561832759174750095414972194422816070527615572/124487\ 23481758689169264217415936349767874361309678193695*c_0101_5^3 - 79016634571721947396564416242470768677630454004456352615978/1244872\ 3481758689169264217415936349767874361309678193695*c_0101_5^2 + 3067050066931505481208200295800388075742694984968727555127/24897446\ 96351737833852843483187269953574872261935638739*c_0101_5 + 3008039156931537511028155749147626452186980791517040862661/12448723\ 481758689169264217415936349767874361309678193695, c_0011_4 + 701717490166791069561660345642866252939375121944911115826538\ 4062/11073948704050668330856523565607418981259156218443882374292675\ *c_0101_5^33 - 4517431867230993600662061008388877337828604540481198\ 0452963973287/11073948704050668330856523565607418981259156218443882\ 374292675*c_0101_5^32 - 1025795445451103325390828286022072000389546\ 38060491481951260452154/1107394870405066833085652356560741898125915\ 6218443882374292675*c_0101_5^31 + 714134412654588468255920287461974\ 800246615610027264232150944583271/110739487040506683308565235656074\ 18981259156218443882374292675*c_0101_5^30 - 12637546618083407150802377804831633793741841218478760330988716982/1\ 1073948704050668330856523565607418981259156218443882374292675*c_010\ 1_5^29 - 2967224431913997264066103278798558993561122862435321179508\ 938577331/110739487040506683308565235656074189812591562184438823742\ 92675*c_0101_5^28 + 12815267171245716429502731417105470199092501170\ 187702862984575211907/110739487040506683308565235656074189812591562\ 18443882374292675*c_0101_5^27 + 14334133066718511836815258469330687\ 03837534239379168838394222510203/1107394870405066833085652356560741\ 8981259156218443882374292675*c_0101_5^26 - 1946042434467424770368876282927830350398693495141097426653100417087\ 8/2214789740810133666171304713121483796251831243688776474858535*c_0\ 101_5^25 + 55337150777359508343994084024619694528836323222491590463\ 394990193119/110739487040506683308565235656074189812591562184438823\ 74292675*c_0101_5^24 + 32351825494219011584128700280725689064266205\ 9866573488149067015786593/11073948704050668330856523565607418981259\ 156218443882374292675*c_0101_5^23 - 3551205136384810819175616582142090044465468874714424016942545028986\ 98/11073948704050668330856523565607418981259156218443882374292675*c\ _0101_5^22 - 572238434759418570001227394638803677488931627984410941\ 032544173234029/110739487040506683308565235656074189812591562184438\ 82374292675*c_0101_5^21 + 10344859103727461765088335621552890173000\ 68024046291993763127231387883/1107394870405066833085652356560741898\ 1259156218443882374292675*c_0101_5^20 + 4626013823362564462817501343559242336712666322057549668374111859891\ 98/11073948704050668330856523565607418981259156218443882374292675*c\ _0101_5^19 - 173300846687844008798807369678019118420579925681936053\ 3837377614470336/11073948704050668330856523565607418981259156218443\ 882374292675*c_0101_5^18 + 3187050317784302816038158531512774981091\ 2191357129750877808431736944/11073948704050668330856523565607418981\ 259156218443882374292675*c_0101_5^17 + 7600830376881897394791361049316345326209809379747227307735130664565\ 9/442957948162026733234260942624296759250366248737755294971707*c_01\ 01_5^16 - 386258842110859783213901469246166846750672707888372885128\ 981455279063/110739487040506683308565235656074189812591562184438823\ 74292675*c_0101_5^15 - 15986601861296973728958201711502898124037904\ 46708162625076913383590489/1107394870405066833085652356560741898125\ 9156218443882374292675*c_0101_5^14 + 4361756362172443946135115833165315754875131703241046664392877914957\ 37/11073948704050668330856523565607418981259156218443882374292675*c\ _0101_5^13 + 109652433776248697844705364718987697438455646208546644\ 5782650424256103/11073948704050668330856523565607418981259156218443\ 882374292675*c_0101_5^12 - 3662090615677292409830194123995064294174\ 34812122007589713811903041408/1107394870405066833085652356560741898\ 1259156218443882374292675*c_0101_5^11 - 1057696673161028389098387414364412432019486811954801176530067574510\ 33/2214789740810133666171304713121483796251831243688776474858535*c_\ 0101_5^10 + 2012205911825684475929728029554257721983039957228444795\ 26223273560891/1107394870405066833085652356560741898125915621844388\ 2374292675*c_0101_5^9 + 3302674872570860497892188065313303398702667\ 0850914774586915804707763/22147897408101336661713047131214837962518\ 31243688776474858535*c_0101_5^8 - 641649891586963593395729465232428\ 10191353770494475550555138370945867/1107394870405066833085652356560\ 7418981259156218443882374292675*c_0101_5^7 - 3435885757956969990032205646953279855377867288796289180788869129642\ 2/11073948704050668330856523565607418981259156218443882374292675*c_\ 0101_5^6 + 24347414658617521724157813128618871829293941417778627105\ 26528804652/2214789740810133666171304713121483796251831243688776474\ 858535*c_0101_5^5 + 46804275766736548945431373699520435735598851117\ 12791647401463130674/1107394870405066833085652356560741898125915621\ 8443882374292675*c_0101_5^4 - 1336888442895398313636521091057444994\ 195151338673333787817704822048/110739487040506683308565235656074189\ 81259156218443882374292675*c_0101_5^3 - 354738776526501080808824696615775580701309936993234238787065159741/\ 11073948704050668330856523565607418981259156218443882374292675*c_01\ 01_5^2 + 5990081921814285063406438100662766580204153348031348591095\ 7124873/11073948704050668330856523565607418981259156218443882374292\ 675*c_0101_5 + 1247583647493599606905298916379932134140027365749674\ 4790002685677/11073948704050668330856523565607418981259156218443882\ 374292675, c_0101_0 + 112962362278046825571693911871498820473845789725946949610474\ 29923/1107394870405066833085652356560741898125915621844388237429267\ 5*c_0101_5^33 - 732432452990356336690865780636327306842769193694116\ 24450090781758/1107394870405066833085652356560741898125915621844388\ 2374292675*c_0101_5^32 - 162098098191187261727820152292247182530274\ 513935189657160194664966/110739487040506683308565235656074189812591\ 56218443882374292675*c_0101_5^31 + 1159137441072903689271035923670799095441785170648928146498771141729\ /11073948704050668330856523565607418981259156218443882374292675*c_0\ 101_5^30 - 67591357711859177895171034438608373382701721742576778435\ 510592388/110739487040506683308565235656074189812591562184438823742\ 92675*c_0101_5^29 - 48052807340922027566001737113030470391845895893\ 81355794760788794699/1107394870405066833085652356560741898125915621\ 8443882374292675*c_0101_5^28 + 208339485976223387650429775168372257\ 99393923304448843976428296077783/1107394870405066833085652356560741\ 8981259156218443882374292675*c_0101_5^27 + 1482033454592552530870344952139623575921225176685037856389815472682\ /11073948704050668330856523565607418981259156218443882374292675*c_0\ 101_5^26 - 31452266197014625004277472395140244263245744523222918219\ 050843886291/221478974081013366617130471312148379625183124368877647\ 4858535*c_0101_5^25 + 959480947134897866900660665569282490885703228\ 64220175322710557995231/1107394870405066833085652356560741898125915\ 6218443882374292675*c_0101_5^24 + 520965198744498581951701293905719\ 945419733387187256148691502897911982/110739487040506683308565235656\ 07418981259156218443882374292675*c_0101_5^23 - 5957866152238141049038541282894723613521891588405398142068446159765\ 22/11073948704050668330856523565607418981259156218443882374292675*c\ _0101_5^22 - 909757618813639084243882747017073934943510175805307774\ 266761170126206/110739487040506683308565235656074189812591562184438\ 82374292675*c_0101_5^21 + 17155257683386422737016164344020208420914\ 78648292603731818782618446487/1107394870405066833085652356560741898\ 1259156218443882374292675*c_0101_5^20 + 6986477162056773652658866442759271854456450233451151695855400889691\ 57/11073948704050668330856523565607418981259156218443882374292675*c\ _0101_5^19 - 285392194479280989477520891987546965067742687916985081\ 0606480007657319/11073948704050668330856523565607418981259156218443\ 882374292675*c_0101_5^18 + 1415181358029716064864574840414469220169\ 68902928752100365363983930106/1107394870405066833085652356560741898\ 1259156218443882374292675*c_0101_5^17 + 6227871287778581920666541619257294176297967251189952632739130432715\ 52/2214789740810133666171304713121483796251831243688776474858535*c_\ 0101_5^16 - 7311465875729890365422299214652113039469254116277567395\ 98459796249967/1107394870405066833085652356560741898125915621844388\ 2374292675*c_0101_5^15 - 261366496828342048928779687705979725929562\ 9416945951817198015469591306/11073948704050668330856523565607418981\ 259156218443882374292675*c_0101_5^14 + 7986369762513659232486124944266755172971123079478998274608212006297\ 68/11073948704050668330856523565607418981259156218443882374292675*c\ _0101_5^13 + 179322555863328128598473845709525930720343715522040573\ 4721789747939522/11073948704050668330856523565607418981259156218443\ 882374292675*c_0101_5^12 - 6558024888004664776561282139159513278304\ 25474857836932510051782093262/1107394870405066833085652356560741898\ 1259156218443882374292675*c_0101_5^11 - 3462364579455486634366256305959476710887371680680846443421203140715\ 0/442957948162026733234260942624296759250366248737755294971707*c_01\ 01_5^10 + 355846504731398982183137379975042674111367996409966544911\ 980252392049/110739487040506683308565235656074189812591562184438823\ 74292675*c_0101_5^9 + 541566649136424097278708856902743661837697961\ 47111182774716907754263/2214789740810133666171304713121483796251831\ 243688776474858535*c_0101_5^8 - 11316116838825250815424509865314910\ 7879188521783387261910060088348613/11073948704050668330856523565607\ 418981259156218443882374292675*c_0101_5^7 - 5666092545057898672995828843471058171877084656782302154531548553597\ 3/11073948704050668330856523565607418981259156218443882374292675*c_\ 0101_5^6 + 43003675448442117042988460362014139310181876895342667076\ 30955834183/2214789740810133666171304713121483796251831243688776474\ 858535*c_0101_5^5 + 78048613531497226394142144155215153119108306059\ 59024315350994784996/1107394870405066833085652356560741898125915621\ 8443882374292675*c_0101_5^4 - 2365051890087002244431049649078291714\ 950544097770532906199674484112/110739487040506683308565235656074189\ 81259156218443882374292675*c_0101_5^3 - 602470475188287262402087289209528831386805278261754989645658500044/\ 11073948704050668330856523565607418981259156218443882374292675*c_01\ 01_5^2 + 1065660659950513867970672671360650903635967769681675960260\ 09764867/1107394870405066833085652356560741898125915621844388237429\ 2675*c_0101_5 + 217704262738985870659500444046439546306621911365654\ 21423982422343/1107394870405066833085652356560741898125915621844388\ 2374292675, c_0101_2 + 528084132390909444935345224149233902615870736462029902435845\ 6636/11073948704050668330856523565607418981259156218443882374292675\ *c_0101_5^33 - 3435445498400968629797143330406960180206947446285448\ 8617833400286/11073948704050668330856523565607418981259156218443882\ 374292675*c_0101_5^32 - 7510214277062839931008099383326143170524470\ 6791269821329649061787/11073948704050668330856523565607418981259156\ 218443882374292675*c_0101_5^31 + 5438993933894834753493564421898089\ 05736834144647413022243050683088/1107394870405066833085652356560741\ 8981259156218443882374292675*c_0101_5^30 - 42191333230508876975639319618085844129515591293164802950634581746/1\ 1073948704050668330856523565607418981259156218443882374292675*c_010\ 1_5^29 - 2251655649186408461456949811717346079887436327654146733387\ 379382468/110739487040506683308565235656074189812591562184438823742\ 92675*c_0101_5^28 + 97852966654225027196430026198959767698726530542\ 90916772784825495196/1107394870405066833085652356560741898125915621\ 8443882374292675*c_0101_5^27 + 507743992173582963804785907667255336\ 407854922800876996817689685084/110739487040506683308565235656074189\ 81259156218443882374292675*c_0101_5^26 - 1472727514575721417967072033070267279470386416867643404629431209548\ 9/2214789740810133666171304713121483796251831243688776474858535*c_0\ 101_5^25 + 46378975358304154628827749124583862610484708916726813370\ 087597048232/110739487040506683308565235656074189812591562184438823\ 74292675*c_0101_5^24 + 24342700277109526298547360331066497081994634\ 7982295746585628353606304/11073948704050668330856523565607418981259\ 156218443882374292675*c_0101_5^23 - 2838622943501973034178027323307516977066115502498111798732437387411\ 94/11073948704050668330856523565607418981259156218443882374292675*c\ _0101_5^22 - 422256402050526123887102499607204835249057681281473351\ 211454062569462/110739487040506683308565235656074189812591562184438\ 82374292675*c_0101_5^21 + 81290836148278871830247931538100686821351\ 2892609356863400669607781799/11073948704050668330856523565607418981\ 259156218443882374292675*c_0101_5^20 + 3153378653537200500672173158494290043212209502605996931217758400151\ 44/11073948704050668330856523565607418981259156218443882374292675*c\ _0101_5^19 - 134757070680949631773530931434339148300297488882297840\ 1226227430638833/11073948704050668330856523565607418981259156218443\ 882374292675*c_0101_5^18 + 8761086985490294302291198660435638145605\ 6009097253860227202115683607/11073948704050668330856523565607418981\ 259156218443882374292675*c_0101_5^17 + 5865182062151877411287132964881672682809558922217724796538478562620\ 6/442957948162026733234260942624296759250366248737755294971707*c_01\ 01_5^16 - 367512691592175437773360498226862059598125468204651751288\ 860532514589/110739487040506683308565235656074189812591562184438823\ 74292675*c_0101_5^15 - 12287891626006489516988470401881572952263159\ 99997362767556652517256342/1107394870405066833085652356560741898125\ 9156218443882374292675*c_0101_5^14 + 3960367067216049712806347181949001393115495092797990916971731258720\ 11/11073948704050668330856523565607418981259156218443882374292675*c\ _0101_5^13 + 842841298755408186901476779675817069989050797739477905\ 848564933685684/110739487040506683308565235656074189812591562184438\ 82374292675*c_0101_5^12 - 32228298903436183749697692757698317977530\ 3180495807931256869295657724/11073948704050668330856523565607418981\ 259156218443882374292675*c_0101_5^11 - 8134624148675439567122637504010943275553571094119457374639119047230\ 9/2214789740810133666171304713121483796251831243688776474858535*c_0\ 101_5^10 + 17401472772680077404443338282802768328927928372841729070\ 8372838458398/11073948704050668330856523565607418981259156218443882\ 374292675*c_0101_5^9 + 25444118760171009695301864305185668707034150\ 581478711953297174215644/221478974081013366617130471312148379625183\ 1243688776474858535*c_0101_5^8 - 5531682087331259878508260793569004\ 3613525989404983121413192914407576/11073948704050668330856523565607\ 418981259156218443882374292675*c_0101_5^7 - 2666969781846791891066065590598460447575281196385537697290112930139\ 1/11073948704050668330856523565607418981259156218443882374292675*c_\ 0101_5^6 + 21064235831682286177257556682454229307688913548567261307\ 23940852631/2214789740810133666171304713121483796251831243688776474\ 858535*c_0101_5^5 + 36931050276235683374196022032340051989997754024\ 02268034561409629522/1107394870405066833085652356560741898125915621\ 8443882374292675*c_0101_5^4 - 1161550231544805343401308488523994754\ 168420860824798876553959577969/110739487040506683308565235656074189\ 81259156218443882374292675*c_0101_5^3 - 287974199824207027046915115205032036383090490029942490528815262998/\ 11073948704050668330856523565607418981259156218443882374292675*c_01\ 01_5^2 + 5262198068132904839789591324694995835568946665633611305166\ 6317794/11073948704050668330856523565607418981259156218443882374292\ 675*c_0101_5 + 1059889954077924562264554561023058812188798002900984\ 0426699578031/11073948704050668330856523565607418981259156218443882\ 374292675, c_0101_3 - 40384123951793497691123990173188954291010874048458126565801/\ 62243617408793445846321087079681748839371806548390968475*c_0101_5^3\ 3 + 261402247243487005432584598799131221236452892452551416100131/62\ 243617408793445846321087079681748839371806548390968475*c_0101_5^32 + 581911224854723283079210697085468895897029710372235578682417/622436\ 17408793445846321087079681748839371806548390968475*c_0101_5^31 - 4134944070733053605012435064174312480666895188708633661015368/62243\ 617408793445846321087079681748839371806548390968475*c_0101_5^30 + 204950365013864526979034364097546645290166056082188472095991/622436\ 17408793445846321087079681748839371806548390968475*c_0101_5^29 + 17141091363466665595999324568865621272043096274962250887064088/6224\ 3617408793445846321087079681748839371806548390968475*c_0101_5^28 - 74323208746755678910508059853498944929383470054872994252197851/6224\ 3617408793445846321087079681748839371806548390968475*c_0101_5^27 - 5941476472608064846788223583701924540091951526753508181704629/62243\ 617408793445846321087079681748839371806548390968475*c_0101_5^26 + 112288257342292549320932012301197308224002407400909804998021306/124\ 48723481758689169264217415936349767874361309678193695*c_0101_5^25 - 337486122548291340345680954164065435529466360467849257863883777/622\ 43617408793445846321087079681748839371806548390968475*c_0101_5^24 - 1860272756655779314613599986406357362096480972340650959554799069/62\ 243617408793445846321087079681748839371806548390968475*c_0101_5^23 + 2110401123605925381890188831493467409325657940496374690184069519/62\ 243617408793445846321087079681748839371806548390968475*c_0101_5^22 + 3254958753710909250549256425337502029360654464925365438261120637/62\ 243617408793445846321087079681748839371806548390968475*c_0101_5^21 - 6089834902080857502582959542348756772976883944062234265033625074/62\ 243617408793445846321087079681748839371806548390968475*c_0101_5^20 - 2521010204916546588662174013374444325896283973379331945622508324/62\ 243617408793445846321087079681748839371806548390968475*c_0101_5^19 + 10140700172636090372696661168348769136746835819307771728598857353/6\ 2243617408793445846321087079681748839371806548390968475*c_0101_5^18 - 452074637818852097981095778299696011703722641230432051152619377/6\ 2243617408793445846321087079681748839371806548390968475*c_0101_5^17 - 2213515598558489148360982401436345531732886778842722100676623486/\ 12448723481758689169264217415936349767874361309678193695*c_0101_5^1\ 6 + 254503755391052786666347378584304664978534918839335453456378576\ 9/62243617408793445846321087079681748839371806548390968475*c_0101_5\ ^15 + 9286945157340625735986897187998333705331551226522307428402347\ 997/62243617408793445846321087079681748839371806548390968475*c_0101\ _5^14 - 27946395168385145955063834559084913113878000045249447997069\ 66111/62243617408793445846321087079681748839371806548390968475*c_01\ 01_5^13 - 636740745567085258284640137443554387028981499330565321428\ 5823699/62243617408793445846321087079681748839371806548390968475*c_\ 0101_5^12 + 2304585025682736496529877777597811085353614976838117840\ 115491074/62243617408793445846321087079681748839371806548390968475*\ c_0101_5^11 + 61398954838682832781228570775532150560606677172104144\ 6270559018/12448723481758689169264217415936349767874361309678193695\ *c_0101_5^10 - 1254189067728125664824313142210239314601536938767241\ 480172684648/622436174087934458463210870796817488393718065483909684\ 75*c_0101_5^9 - 191729364158011609282204839861882790073890145027703\ 530545603012/124487234817586891692642174159363497678743613096781936\ 95*c_0101_5^8 + 399579479605579055629699293549892100608336800583654\ 199573508351/622436174087934458463210870796817488393718065483909684\ 75*c_0101_5^7 + 200174527253104507110952078633298607507458419671269\ 485245334586/622436174087934458463210870796817488393718065483909684\ 75*c_0101_5^6 - 152145288089758621554577660812039256886416224328646\ 95774216196/1244872348175868916926421741593634976787436130967819369\ 5*c_0101_5^5 - 2752724075129046879256237948496034754309992843770623\ 0213968627/62243617408793445846321087079681748839371806548390968475\ *c_0101_5^4 + 83899582382813667604455470344274552357834649420289311\ 50976739/62243617408793445846321087079681748839371806548390968475*c\ _0101_5^3 + 2123843572687156544855497915940365363650027840283936227\ 362083/62243617408793445846321087079681748839371806548390968475*c_0\ 101_5^2 - 379444985067405463431735968190713420452176442317964131266\ 079/62243617408793445846321087079681748839371806548390968475*c_0101\ _5 - 77088604430791007372944460767874020277828250305349936675451/62\ 243617408793445846321087079681748839371806548390968475, c_0101_5^34 - 7*c_0101_5^33 - 11*c_0101_5^32 + 110*c_0101_5^31 - 59*c_0101_5^30 - 422*c_0101_5^29 + 2064*c_0101_5^28 - 822*c_0101_5^27 - 13984*c_0101_5^26 + 15682*c_0101_5^25 + 41692*c_0101_5^24 - 76538*c_0101_5^23 - 53168*c_0101_5^22 + 193336*c_0101_5^21 - 16825*c_0101_5^20 - 284227*c_0101_5^19 + 143255*c_0101_5^18 + 268578*c_0101_5^17 - 207224*c_0101_5^16 - 197253*c_0101_5^15 + 190233*c_0101_5^14 + 121638*c_0101_5^13 - 140048*c_0101_5^12 - 46241*c_0101_5^11 + 71063*c_0101_5^10 + 7512*c_0101_5^9 - 22386*c_0101_5^8 + 215*c_0101_5^7 + 4491*c_0101_5^6 - 303*c_0101_5^5 - 566*c_0101_5^4 + 56*c_0101_5^3 + 37*c_0101_5^2 - 3*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB