Magma V2.19-8 Tue Aug 20 2013 16:17:33 on localhost [Seed = 2412647251] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1795 geometric_solution 5.46766808 oriented_manifold CS_known -0.0000000000000002 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 -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.744433918634 0.078986603699 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 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.583703698265 0.233497480579 3 1 4 1 0132 0132 0132 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 -1 0 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.812426535813 2.146755782292 2 4 6 5 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 0 0 0 1 0 -1 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.114906943535 0.918539745756 5 6 3 2 1023 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.114906943535 0.918539745756 5 4 3 5 3012 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.941527658054 0.936864188957 6 6 4 3 1230 3012 2310 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 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.525667951939 0.774424356948 ==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' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_6'], '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_4'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0011_6'], '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_6'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_6'], '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_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 37 Groebner basis: [ t + 3369017733721659811407921300623953479371140360314974243776279277241\ 584/555599297785590289551673065932737200588410451215047787546414739\ 1*c_0101_4^36 + 379808528594185496695935545815442167384396770948932\ 6871849221248838568/55559929778559028955167306593273720058841045121\ 50477875464147391*c_0101_4^35 - 12449322418175494400466147760905686\ 782023773960873667567817383235118012/793713282550843270788104379903\ 910286554872073164353982209163913*c_0101_4^34 + 1242428311995942896439640156403629070491761552902766829652812555959\ 1508/79371328255084327078810437990391028655487207316435398220916391\ 3*c_0101_4^33 + 632710046908581977951452900831239534088732113681908\ 239566911077629951469/555599297785590289551673065932737200588410451\ 2150477875464147391*c_0101_4^32 - 140533115745717038737103622997327\ 5044014722443915763990931891088076017949/55559929778559028955167306\ 59327372005884104512150477875464147391*c_0101_4^31 - 9549557531872102579265269955345156466815659565090360053332326688624\ 33020/5555992977855902895516730659327372005884104512150477875464147\ 391*c_0101_4^30 + 4553828577475869781173866766931173978632525558570\ 729100669632318976903202/555599297785590289551673065932737200588410\ 4512150477875464147391*c_0101_4^29 + 1405314359552623024794357059828128910097589601799235774791403454904\ 803955/555599297785590289551673065932737200588410451215047787546414\ 7391*c_0101_4^28 - 115347714535389780922405625600981628258896015717\ 10388696295430340332449779/5555992977855902895516730659327372005884\ 104512150477875464147391*c_0101_4^27 - 2308794426923908888089048732881271998325989141875707673156061680921\ 085052/555599297785590289551673065932737200588410451215047787546414\ 7391*c_0101_4^26 + 247760725804776323238949489642819425328728353226\ 94501586423887596161343060/5555992977855902895516730659327372005884\ 104512150477875464147391*c_0101_4^25 - 2062351702610308249392243749939941387270933894024271630372432793816\ 752899/555599297785590289551673065932737200588410451215047787546414\ 7391*c_0101_4^24 - 358805685212213152799025012961425962338401897307\ 42933533243453683395903239/5555992977855902895516730659327372005884\ 104512150477875464147391*c_0101_4^23 + 1889614922144305065293509287866961796939139957460614308901883975615\ 515141/793713282550843270788104379903910286554872073164353982209163\ 913*c_0101_4^22 + 5136282638655126319950533073229156055097334966277\ 347956140439875508111262/793713282550843270788104379903910286554872\ 073164353982209163913*c_0101_4^21 - 2501701675042231245840375635566442071042949201541741590312915950411\ 0218432/55559929778559028955167306593273720058841045121504778754641\ 47391*c_0101_4^20 - 25572324102909973421538039915815254468776713999\ 912645174116411855683805348/555599297785590289551673065932737200588\ 4104512150477875464147391*c_0101_4^19 + 3000057000491808835184456620856150259570672765317504667208572215268\ 1597018/55559929778559028955167306593273720058841045121504778754641\ 47391*c_0101_4^18 + 11990160577658761329049819403335034978158137947\ 024861718013936604206363290/555599297785590289551673065932737200588\ 4104512150477875464147391*c_0101_4^17 - 2681391646889691228487254887239934833333571517662444602502365662205\ 2976079/55559929778559028955167306593273720058841045121504778754641\ 47391*c_0101_4^16 - 11719847726416265065259894234929898754547819867\ 38760795452066964636356713/5555992977855902895516730659327372005884\ 104512150477875464147391*c_0101_4^15 + 1777263698611261275707971087197341514269040690759401265956821243573\ 4415060/55559929778559028955167306593273720058841045121504778754641\ 47391*c_0101_4^14 - 39759482114684197727310208821999384800686460420\ 59207797112237769660779286/5555992977855902895516730659327372005884\ 104512150477875464147391*c_0101_4^13 - 8057369343078731094408102352406524708539989455866875847040972876855\ 503940/555599297785590289551673065932737200588410451215047787546414\ 7391*c_0101_4^12 + 409450124802423824763387864579791220225434460431\ 9520296448279634598144415/55559929778559028955167306593273720058841\ 04512150477875464147391*c_0101_4^11 + 2172194293713455923628267039215265295811768936139837237728207649790\ 699499/555599297785590289551673065932737200588410451215047787546414\ 7391*c_0101_4^10 - 221219575454452638206041104605883406913922815802\ 2455995525170231562833793/55559929778559028955167306593273720058841\ 04512150477875464147391*c_0101_4^9 - 2268551825400989018180064684093557459057881948722742892406846020516\ 8180/79371328255084327078810437990391028655487207316435398220916391\ 3*c_0101_4^8 + 7609998895865519123081125893453580922490443256845503\ 56698618327851148047/5555992977855902895516730659327372005884104512\ 150477875464147391*c_0101_4^7 - 10461456003977545624224349431889923\ 5424808562413117155228221830803129745/55559929778559028955167306593\ 27372005884104512150477875464147391*c_0101_4^6 - 1804872443626981784208368691232189567095942286443892891324695842984\ 59324/5555992977855902895516730659327372005884104512150477875464147\ 391*c_0101_4^5 + 33185665587466490383435513052915848190753649222088\ 739145144354959057814/555599297785590289551673065932737200588410451\ 2150477875464147391*c_0101_4^4 + 2916846333500238617534540164916503\ 4328054187707236814655722910727282611/55559929778559028955167306593\ 27372005884104512150477875464147391*c_0101_4^3 - 3095448909836331429591836216321828306296225625432129312636987918870\ 35/793713282550843270788104379903910286554872073164353982209163913*\ c_0101_4^2 - 236399605023847964590646412407699019884658375727226656\ 2456251493272237/55559929778559028955167306593273720058841045121504\ 77875464147391*c_0101_4 - 21799584855974129512027568456930414301384\ 3851417320921872385385427300/55559929778559028955167306593273720058\ 84104512150477875464147391, c_0011_0 - 1, c_0011_4 + 344428268558715759718601992470038458841192041950264714761464\ 390179360/793713282550843270788104379903910286554872073164353982209\ 163913*c_0101_4^36 + 5137215419123968613981368857237585178189124931\ 13031443473259637362688/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^35 - 8785717058205128055206950381581859499551841448728243072452436444079\ 400/793713282550843270788104379903910286554872073164353982209163913\ *c_0101_4^34 + 5629905419065773632310394154767473963784302031854542\ 367660033459478164/793713282550843270788104379903910286554872073164\ 353982209163913*c_0101_4^33 + 6838830565628139608186610324739070015\ 7133721690069557829804179422205560/79371328255084327078810437990391\ 0286554872073164353982209163913*c_0101_4^32 - 1206628885504424739139556606420123406221804274419873061372476025218\ 50452/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^31 - 15320594346157148092410728695716302391116832869107\ 7217276103351293805295/79371328255084327078810437990391028655487207\ 3164353982209163913*c_0101_4^30 + 438043447376699743304410348932910\ 275312298107956393995506484216266611494/793713282550843270788104379\ 903910286554872073164353982209163913*c_0101_4^29 + 3167901996907250260498592114108116004541029131549587971049143834299\ 47611/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^28 - 11516064162133370153119768241950519028033240895673\ 57253557338285595085475/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^27 - 6685191939646339345674022501758151173491481619847715066010680703468\ 72171/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^26 + 25084098227372306544572975769175788597739441480231\ 99600108727991359939429/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^25 + 7129400276024745140634963971304802189470080987020138247277083253204\ 13092/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^24 - 38758625031936526929276031504787640537955870677685\ 99105879432764517070788/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^23 + 5051419202996010816808311092000262825851366492953582869429885250803\ 1147/79371328255084327078810437990391028655487207316435398220916391\ 3*c_0101_4^22 + 435055619541185333515576364845174849374692380117937\ 9991470754069226909524/79371328255084327078810437990391028655487207\ 3164353982209163913*c_0101_4^21 - 132062205482908449205357778786314\ 7069220026897840531988576771442431352026/79371328255084327078810437\ 9903910286554872073164353982209163913*c_0101_4^20 - 3715906830311207784400104058667575463749325946735966479144241146703\ 661861/793713282550843270788104379903910286554872073164353982209163\ 913*c_0101_4^19 + 2275718245254502371534303448398151392413743795233\ 575028003278310527329265/793713282550843270788104379903910286554872\ 073164353982209163913*c_0101_4^18 + 2447862313149557067076942054661690276106191296373970331990852108621\ 366433/793713282550843270788104379903910286554872073164353982209163\ 913*c_0101_4^17 - 2469675948792439736540507516295046000527620777876\ 132861973694910333719068/793713282550843270788104379903910286554872\ 073164353982209163913*c_0101_4^16 - 1149957000751285765782495424207827494757085975661518143766312841658\ 883545/793713282550843270788104379903910286554872073164353982209163\ 913*c_0101_4^15 + 1918332246332108069372158362634575173384391993751\ 996958575274725527764571/793713282550843270788104379903910286554872\ 073164353982209163913*c_0101_4^14 + 2360663498716614105046133264106220461426711679642417028697817108591\ 64929/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^13 - 10605239116082648647619987066678857580016578905318\ 18196731463280931679019/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^12 + 1545047492989838601805741108388244031108153440557305680366466945217\ 71175/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^11 + 40981457235788654597053193229676703267376025952498\ 7965409264211057250993/79371328255084327078810437990391028655487207\ 3164353982209163913*c_0101_4^10 - 172370360220274921794765819213657\ 358523578667266905357417726983586778632/793713282550843270788104379\ 903910286554872073164353982209163913*c_0101_4^9 - 1050681759910055756007805767757157805465815144877860213968123760742\ 39475/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^8 + 842696100138621648816031228965922524759758474411596\ 47358016910939883295/7937132825508432707881043799039102865548720731\ 64353982209163913*c_0101_4^7 + 163561991889665996025231279355058420\ 16903841415223133926590335968936354/7937132825508432707881043799039\ 10286554872073164353982209163913*c_0101_4^6 - 2599185476604109635025211684178549227297238895075755893355858017149\ 6850/79371328255084327078810437990391028655487207316435398220916391\ 3*c_0101_4^5 - 2202956782488916082793576040568018424729985726863089\ 032142112630373736/793713282550843270788104379903910286554872073164\ 353982209163913*c_0101_4^4 + 49479402697104587346554442751900690444\ 98630070527910277555630612561935/7937132825508432707881043799039102\ 86554872073164353982209163913*c_0101_4^3 + 5854365338158882093284542121927522244140084803680564338807867360822\ 74/793713282550843270788104379903910286554872073164353982209163913*\ c_0101_4^2 - 426281703828387189257202201204778194035423189890460928\ 613536895241807/793713282550843270788104379903910286554872073164353\ 982209163913*c_0101_4 - 8475651561399421263850741426853718499941181\ 7057241491479301954549327/79371328255084327078810437990391028655487\ 2073164353982209163913, c_0011_6 + 360661452275686842253374950293014015738273711563259800986405\ 998003360/793713282550843270788104379903910286554872073164353982209\ 163913*c_0101_4^36 + 5364832097847741792800403519519050298227946825\ 75368800758203487759904/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^35 - 9201131680940509349239154012602393448422045266077228205843561335305\ 488/793713282550843270788104379903910286554872073164353982209163913\ *c_0101_4^34 + 5933006432074665770084121768408257608782028461009385\ 712748113053179868/793713282550843270788104379903910286554872073164\ 353982209163913*c_0101_4^33 + 7156626940050539276625947707478067063\ 5257285918094120714761972134957322/79371328255084327078810437990391\ 0286554872073164353982209163913*c_0101_4^32 - 1266120180688501152927651707002662105434238787916086038467389982728\ 77075/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^31 - 15976908283336528848223379732916724995203806296612\ 6725922840168441157778/79371328255084327078810437990391028655487207\ 3164353982209163913*c_0101_4^30 + 458958952549959556463993869646647\ 164299660429297159737564276046956690107/793713282550843270788104379\ 903910286554872073164353982209163913*c_0101_4^29 + 3297222837193098221831305891950265622818077271343986514866202408483\ 83674/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^28 - 12060767783307051706810061881917345011483431001090\ 58235610345327597474701/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^27 - 6950676333517073911679835020311824979927773473477645061873337402851\ 70797/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^26 + 26266198240187578224390641672677153654619379714341\ 28698752509009237812830/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^25 + 7359882488404404341546988025382385023102521259994185621059149214876\ 39235/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^24 - 40555178722289850415392482611449969986644669879671\ 95890785011088073831034/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^23 + 6749176319413558475136921244932526406690465890498340496809315235822\ 8695/79371328255084327078810437990391028655487207316435398220916391\ 3*c_0101_4^22 + 454706162927943115044758477951936114230299533012839\ 2364833484235622476095/79371328255084327078810437990391028655487207\ 3164353982209163913*c_0101_4^21 - 139630821120769213789818065977724\ 4428021999594363612934658340158322780987/79371328255084327078810437\ 9903910286554872073164353982209163913*c_0101_4^20 - 3877809206772577286654624282832477083303799488325547270603447604939\ 009999/793713282550843270788104379903910286554872073164353982209163\ 913*c_0101_4^19 + 2391069241366387076876127384347142926823361344085\ 201905405933191825790250/793713282550843270788104379903910286554872\ 073164353982209163913*c_0101_4^18 + 2549031331296580091402536771864108355941537768937209121480271324165\ 903035/793713282550843270788104379903910286554872073164353982209163\ 913*c_0101_4^17 - 2588275443562595079201948286895538569088453920754\ 544843615476341208884252/793713282550843270788104379903910286554872\ 073164353982209163913*c_0101_4^16 - 1192500971126763786390331304511785881357874402877898261810127317720\ 085401/793713282550843270788104379903910286554872073164353982209163\ 913*c_0101_4^15 + 2006934401898985759866646265974269309542263995277\ 089650139525138478548369/793713282550843270788104379903910286554872\ 073164353982209163913*c_0101_4^14 + 2401492046680086574410738930945707129024202662563033329378520858347\ 54198/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^13 - 11074803058549547211233913923982038689883994842931\ 02635865293578620078341/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^12 + 1645236285121456473360070933429327818778707281677777793069235500871\ 99024/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^11 + 42691587256338691985308382241545668836318568196872\ 0918798612436816189414/79371328255084327078810437990391028655487207\ 3164353982209163913*c_0101_4^10 - 180955760783817806462719178300472\ 513014003544441069661305226103623442373/793713282550843270788104379\ 903910286554872073164353982209163913*c_0101_4^9 - 1090306552560165957444961309202816838377464923170858190678311281794\ 36542/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^8 + 881185041795961343411663584019112862855713367323282\ 48767613325231382330/7937132825508432707881043799039102865548720731\ 64353982209163913*c_0101_4^7 + 168423712375467407084110672103531098\ 92353890531298927594513554711177076/7937132825508432707881043799039\ 10286554872073164353982209163913*c_0101_4^6 - 2712305970067666483412967805427452880347122814664803499899967297603\ 5707/79371328255084327078810437990391028655487207316435398220916391\ 3*c_0101_4^5 - 2250957555136922098785393876551983703603356479063206\ 722516549165688211/793713282550843270788104379903910286554872073164\ 353982209163913*c_0101_4^4 + 51585101944227128059531365120860644592\ 55474086093550779750759435027713/7937132825508432707881043799039102\ 86554872073164353982209163913*c_0101_4^3 + 6051403041289452001761090279661350332010932247583834538228610187423\ 61/793713282550843270788104379903910286554872073164353982209163913*\ c_0101_4^2 - 444326200851497417035181571706322155835072236533962211\ 776007648030353/793713282550843270788104379903910286554872073164353\ 982209163913*c_0101_4 - 8812747369797343233211544201865824471782191\ 0714383789587417515661718/79371328255084327078810437990391028655487\ 2073164353982209163913, c_0101_0 + 329880151804693849093694624301377080086176322276531170172082\ 031768872/793713282550843270788104379903910286554872073164353982209\ 163913*c_0101_4^36 + 4937296464130827763522940060765391892860561734\ 84978762214895276770496/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^35 - 8413019469788401286811666620085975820725140577382906702042051322028\ 886/793713282550843270788104379903910286554872073164353982209163913\ *c_0101_4^34 + 5347681245710942177724625153649779901305233463070896\ 823795115222094395/793713282550843270788104379903910286554872073164\ 353982209163913*c_0101_4^33 + 6555214482602415007214049217171603495\ 8460568070084821117998415469898311/79371328255084327078810437990391\ 0286554872073164353982209163913*c_0101_4^32 - 1152563475940782647875861533783773486452332897678764216823663688163\ 70792/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^31 - 14750406761274119091859476254975270411240199075210\ 2177864420655974078656/79371328255084327078810437990391028655487207\ 3164353982209163913*c_0101_4^30 + 419207138414447209201976592045478\ 055913935448559183389509966113223483745/793713282550843270788104379\ 903910286554872073164353982209163913*c_0101_4^29 + 3057651766099199185575699536322675332454422018434900172568668016024\ 96606/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^28 - 11026969568261417061200100888651877451051475743375\ 69210296744480382781842/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^27 - 6461370648430116775930336825814152097684385998711547542297553282603\ 71031/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^26 + 24023830601291899511699876167351765751123233187468\ 69800703212495001595206/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^25 + 6952995902019829411492609178579219616963293375447193097643815768933\ 58724/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^24 - 37155164320348274314963736948041359785908284773685\ 69169010557514173959456/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^23 + 3103180659060218388386865024662648130597363892821190307050814560224\ 1742/79371328255084327078810437990391028655487207316435398220916391\ 3*c_0101_4^22 + 417664214965424064363879556920285464642718098573665\ 1728790751899614653710/79371328255084327078810437990391028655487207\ 3164353982209163913*c_0101_4^21 - 124872509358665003897951731490791\ 3298627843155328266098785487479708363160/79371328255084327078810437\ 9903910286554872073164353982209163913*c_0101_4^20 - 3574414199001030088209005112128936505777754461884566278577666042000\ 455076/793713282550843270788104379903910286554872073164353982209163\ 913*c_0101_4^19 + 2169731896514737769050690022664961123475093623827\ 064115140896833328641071/793713282550843270788104379903910286554872\ 073164353982209163913*c_0101_4^18 + 2361205523103545464771454386532093390058592500892166381712449159831\ 618832/793713282550843270788104379903910286554872073164353982209163\ 913*c_0101_4^17 - 2362488859662095094251046540431957248713442413078\ 139442475598443971611864/793713282550843270788104379903910286554872\ 073164353982209163913*c_0101_4^16 - 1115214615955141778719872402283708129727346732589487439320015044996\ 011099/793713282550843270788104379903910286554872073164353982209163\ 913*c_0101_4^15 + 1839258134839853876395255593642840912408067845834\ 918447563340110428190586/793713282550843270788104379903910286554872\ 073164353982209163913*c_0101_4^14 + 2345226659431400223599987848010483796599268523353815569622010482653\ 02238/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^13 - 10192231267194455020527626396946855959769798270458\ 23298692200351487609322/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^12 + 1446559874471851199809770261519160087112776655546121080503046509129\ 33120/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^11 + 39510984579306807480652121981471329805692782468525\ 6675129506778256194895/79371328255084327078810437990391028655487207\ 3164353982209163913*c_0101_4^10 - 164500607308578075215430445380145\ 624070655569593286322334141142948852306/793713282550843270788104379\ 903910286554872073164353982209163913*c_0101_4^9 - 1018107774480203887054937497948847388595402753414069530760236591450\ 80744/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^8 + 808430454492208485699703694463326110046425731683651\ 02859276675927907257/7937132825508432707881043799039102865548720731\ 64353982209163913*c_0101_4^7 + 160094206450576689709362589404945332\ 71298258396697012482180524623512973/7937132825508432707881043799039\ 10286554872073164353982209163913*c_0101_4^6 - 2500343378585157806095377884621012184603303091495485987850398060741\ 5278/79371328255084327078810437990391028655487207316435398220916391\ 3*c_0101_4^5 - 2178098662699977735101113000687630347757688545173794\ 515179999070312037/793713282550843270788104379903910286554872073164\ 353982209163913*c_0101_4^4 + 47657698138953233916905345089661047608\ 11006757829827083627676667340307/7937132825508432707881043799039102\ 86554872073164353982209163913*c_0101_4^3 + 5703702413522549548411058241019163859873693241749536292987401441900\ 51/793713282550843270788104379903910286554872073164353982209163913*\ c_0101_4^2 - 410718548529874272343548841432950884542223689856434145\ 118664705825382/793713282550843270788104379903910286554872073164353\ 982209163913*c_0101_4 - 8193696046651186590448794607537276019899949\ 4987608226707970936687322/79371328255084327078810437990391028655487\ 2073164353982209163913, c_0101_1 + 490408603635756469373432979684642807004607764666417629772537\ 139841240/793713282550843270788104379903910286554872073164353982209\ 163913*c_0101_4^36 + 7267359639129588414935898063818320070454898614\ 54593148947649141356008/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^35 - 1251388559365991538044585683303012447819420476903817258524974320404\ 9306/79371328255084327078810437990391028655487207316435398220916391\ 3*c_0101_4^34 + 813882478164254156843046318657394517693742007476152\ 3515296026956138119/79371328255084327078810437990391028655487207316\ 4353982209163913*c_0101_4^33 + 972300504855015426053244271165422752\ 88739210633630502887739057874335280/7937132825508432707881043799039\ 10286554872073164353982209163913*c_0101_4^32 - 1726630226953538582918592183964545011235934485064637594972444624552\ 16741/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^31 - 21602242444946312989252280838651419899686638772157\ 7315358634080832661811/79371328255084327078810437990391028655487207\ 3164353982209163913*c_0101_4^30 + 624654351311410209350625059360977\ 669314389702691545988963195933851768875/793713282550843270788104379\ 903910286554872073164353982209163913*c_0101_4^29 + 4445425470027401053934499253417295056442516850910489984825428095731\ 23339/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^28 - 16405153645029968231512365274467658109665426889476\ 63095936671383103759736/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^27 - 9356452645514039158045839726494899735154330956229404293427634191006\ 09867/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^26 + 35719555256836222248767583988709156821244799850180\ 28762811367441075218818/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^25 + 9805385479621772571777098698604816835918488167881065091754312210699\ 83284/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^24 - 55096765432498258738873756504586367820643205284646\ 75824905796667817460732/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^23 + 1201866047327422416107980478295949530834262424865408416856070728365\ 28164/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^22 + 61677281680653389032443488991177352931215043068127\ 37893830470115600220685/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^21 - 1925476123449531191202524807501217854784588543810032577298874876447\ 793913/793713282550843270788104379903910286554872073164353982209163\ 913*c_0101_4^20 - 5248412246649088546645428731707665999520635354421\ 136394995652889932969713/793713282550843270788104379903910286554872\ 073164353982209163913*c_0101_4^19 + 3268226610854357956886205761808753449933430767325543026762924342833\ 959853/793713282550843270788104379903910286554872073164353982209163\ 913*c_0101_4^18 + 3439115712885738487398556811264495371202623534952\ 024530009226335277103067/793713282550843270788104379903910286554872\ 073164353982209163913*c_0101_4^17 - 3524984670573554344034880790997419113757257676470697151274893096538\ 571858/793713282550843270788104379903910286554872073164353982209163\ 913*c_0101_4^16 - 1598928107733283520383342059082541725031128011243\ 067974418413605574542753/793713282550843270788104379903910286554872\ 073164353982209163913*c_0101_4^15 + 2726418730112264508671201309844735934496343533681723996328187251094\ 010018/793713282550843270788104379903910286554872073164353982209163\ 913*c_0101_4^14 + 3125488209454842400992744916604685549004639075277\ 20164650391106311056848/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^13 - 1500546472945398648759964580708088326914207766762872677735575711298\ 137717/793713282550843270788104379903910286554872073164353982209163\ 913*c_0101_4^12 + 2293991979709307817808512045920739508233707893703\ 92052750248224020009255/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^11 + 5763330539753041648858522205456017234799856012055974813790571737646\ 49849/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^10 - 24716990013441430404338764091785755910353930807992\ 0367022840510034771338/79371328255084327078810437990391028655487207\ 3164353982209163913*c_0101_4^9 - 1463073870369463711908062619081614\ 41087780091091784132961006151485327216/7937132825508432707881043799\ 03910286554872073164353982209163913*c_0101_4^8 + 1196526897812025016928806171934619397160613499558256183148862149941\ 46723/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^7 + 223163261477621269884655058804655771853553414586077\ 07889554619564588447/7937132825508432707881043799039102865548720731\ 64353982209163913*c_0101_4^6 - 367098430772798805288294295836520034\ 66192883493893565022331443177377792/7937132825508432707881043799039\ 10286554872073164353982209163913*c_0101_4^5 - 2941516752025611506362414149009238849504603422764221031055057248945\ 752/793713282550843270788104379903910286554872073164353982209163913\ *c_0101_4^4 + 69706051051181640650989154303485402774716696717200213\ 04920144042834945/7937132825508432707881043799039102865548720731643\ 53982209163913*c_0101_4^3 + 805793787908457215199310294513571475939\ 830477399901411855614468899871/793713282550843270788104379903910286\ 554872073164353982209163913*c_0101_4^2 - 6001099724785310846124720893990103948732728188443610804241329395306\ 92/793713282550843270788104379903910286554872073164353982209163913*\ c_0101_4 - 11850562203682859819397396730386714047419798961092384154\ 7231544456824/79371328255084327078810437990391028655487207316435398\ 2209163913, c_0101_2 + 317390672636266858854684363855283464257020824894672130848009\ 638391256/793713282550843270788104379903910286554872073164353982209\ 163913*c_0101_4^36 + 4751927714804174632174762838746514713266023483\ 90230348149163394849968/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^35 - 8094379952542741614583450898291727699280407004369618550531485302823\ 946/793713282550843270788104379903910286554872073164353982209163913\ *c_0101_4^34 + 5141136547708306026362528798424105885753932048264377\ 629645476163731361/793713282550843270788104379903910286554872073164\ 353982209163913*c_0101_4^33 + 6307585852158925551815989938488089657\ 4984969279786005315822729184700699/79371328255084327078810437990391\ 0286554872073164353982209163913*c_0101_4^32 - 1108655362373497350029232240128561736875364179276577294842725804752\ 35850/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^31 - 14199450243633939339413149474320973946285000580517\ 7561472753170510837538/79371328255084327078810437990391028655487207\ 3164353982209163913*c_0101_4^30 + 403320000538287507393866445081097\ 949316587160894799797427667456096784870/793713282550843270788104379\ 903910286554872073164353982209163913*c_0101_4^29 + 2944029225785659072982339774853711648185230562705577242255076372971\ 70796/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^28 - 10609608456380266881809086255381177261422257235330\ 27280433307030012487180/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^27 - 6221984937549930134671221440019852610517653821452656455559146081870\ 89911/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^26 + 23115088440008345737931490766856604462325804748091\ 82941118395021531406966/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^25 + 6700816020546516220974685485365725271136384967660801217569178580130\ 88831/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^24 - 35753337163033111022918617959977567971195330307639\ 25709974802069517201125/7937132825508432707881043799039102865548720\ 73164353982209163913*c_0101_4^23 + 2839965664660321292408027648121741312491419174475966391743104316795\ 6547/79371328255084327078810437990391028655487207316435398220916391\ 3*c_0101_4^22 + 401961912116540034034138091824281182832869044515181\ 4245172846630899568848/79371328255084327078810437990391028655487207\ 3164353982209163913*c_0101_4^21 - 120021189357255096670367205038712\ 7022162096652816154390648259961505806272/79371328255084327078810437\ 9903910286554872073164353982209163913*c_0101_4^20 - 3440630861901540327109581650867834040096221302844431484322070575933\ 440431/793713282550843270788104379903910286554872073164353982209163\ 913*c_0101_4^19 + 2086968177345856667569435343423118904440675661629\ 480065120191130185419995/793713282550843270788104379903910286554872\ 073164353982209163913*c_0101_4^18 + 2273354336574090862900240202484923883790459878922019037433551152949\ 255969/793713282550843270788104379903910286554872073164353982209163\ 913*c_0101_4^17 - 2273028651695447192756492389062748049875988866324\ 376958248498923204568506/793713282550843270788104379903910286554872\ 073164353982209163913*c_0101_4^16 - 1074186685622021067734232503347563090251635980038737903062529596071\ 686945/793713282550843270788104379903910286554872073164353982209163\ 913*c_0101_4^15 + 1769966043792436632433747956072599697086591838256\ 571280536272482482176214/793713282550843270788104379903910286554872\ 073164353982209163913*c_0101_4^14 + 2263126288308384341964508595446848880416380365313035542399922837918\ 95030/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^13 - 98102444927616420080843998026556689250141635727420\ 9104776111650869177500/79371328255084327078810437990391028655487207\ 3164353982209163913*c_0101_4^12 + 138955085631922910138843389078378\ 839709040812408759415531414672809891231/793713282550843270788104379\ 903910286554872073164353982209163913*c_0101_4^11 + 3803963173252355449881242038650788838993242739411249584718594488878\ 02207/7937132825508432707881043799039102865548720731643539822091639\ 13*c_0101_4^10 - 15825663406761156037993607791060304455524667147523\ 6141701779579294219229/79371328255084327078810437990391028655487207\ 3164353982209163913*c_0101_4^9 - 9805390492756057244333574354630193\ 4881041545381278980867276738751121805/79371328255084327078810437990\ 3910286554872073164353982209163913*c_0101_4^8 + 7780485002225728593406254181861419309058786240255716351133785420927\ 3931/79371328255084327078810437990391028655487207316435398220916391\ 3*c_0101_4^7 + 1542822771783313678793350451229326700586151048124847\ 5831509721854264254/79371328255084327078810437990391028655487207316\ 4353982209163913*c_0101_4^6 - 2406806740564155616281999714560009624\ 8190870079101351925583766312674044/79371328255084327078810437990391\ 0286554872073164353982209163913*c_0101_4^5 - 2100020268631909675548143589798836253213685076671688293514970391474\ 005/793713282550843270788104379903910286554872073164353982209163913\ *c_0101_4^4 + 45877764777116882016675993983817634304221633588640309\ 94049227150236126/7937132825508432707881043799039102865548720731643\ 53982209163913*c_0101_4^3 + 549388550368179375140980524178473242257\ 927532835093655131249096247248/793713282550843270788104379903910286\ 554872073164353982209163913*c_0101_4^2 - 3953798798063734302087948832920416235771716950058186965426849516999\ 02/793713282550843270788104379903910286554872073164353982209163913*\ c_0101_4 - 78886431771598866880234256656323856242637618795845722154\ 159270941764/793713282550843270788104379903910286554872073164353982\ 209163913, c_0101_4^37 + 2*c_0101_4^36 - 99/4*c_0101_4^35 + 27/8*c_0101_4^34 + 1655/8*c_0101_4^33 - 1995/8*c_0101_4^32 - 623*c_0101_4^31 + 4183/4*c_0101_4^30 + 3133/2*c_0101_4^29 - 11505/4*c_0101_4^28 - 29129/8*c_0101_4^27 + 50375/8*c_0101_4^26 + 46185/8*c_0101_4^25 - 81621/8*c_0101_4^24 - 22299/4*c_0101_4^23 + 50835/4*c_0101_4^22 + 20695/8*c_0101_4^21 - 12741*c_0101_4^20 + 1124*c_0101_4^19 + 83747/8*c_0101_4^18 - 28475/8*c_0101_4^17 - 27941/4*c_0101_4^16 + 15497/4*c_0101_4^15 + 28137/8*c_0101_4^14 - 2732*c_0101_4^13 - 2233/2*c_0101_4^12 + 2837/2*c_0101_4^11 + 833/8*c_0101_4^10 - 4477/8*c_0101_4^9 + 359/4*c_0101_4^8 + 1375/8*c_0101_4^7 - 411/8*c_0101_4^6 - 179/4*c_0101_4^5 + 89/8*c_0101_4^4 + 9*c_0101_4^3 - 3/8*c_0101_4^2 - 7/8*c_0101_4 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB