Magma V2.19-8 Tue Aug 20 2013 16:17:53 on localhost [Seed = 728414184] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2121 geometric_solution 5.61482084 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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.442876258167 0.186317016917 2 0 3 0 0132 2310 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638693095504 0.620762316408 1 4 5 3 0132 0132 0132 2310 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 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.090619316703 1.129569310807 2 5 4 1 3201 1023 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 0 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 0 0 0 0 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.090619316703 1.129569310807 3 2 6 6 2310 0132 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425196661505 1.998397820133 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 -1 0 0 1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.414419046718 0.725325066970 6 4 4 6 3201 3201 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.543738569299 0.440219424016 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 2900515809811516102327920951387600963233286318305343636914/99888810\ 93196959901766915351763910720648053816758011575*c_0101_4^25 + 546043251121916014493532598526763010830163062635586424018/369958559\ 007294811176552420435700397061039030250296725*c_0101_4^24 - 36490170987144748069439046647659619275641072980441943731798/9988881\ 093196959901766915351763910720648053816758011575*c_0101_4^23 - 52260327006035007253202657391757453600154486931062600411893/3329627\ 031065653300588971783921303573549351272252670525*c_0101_4^22 - 76708663406891311229175546272409961171400818098898587730184/9988881\ 093196959901766915351763910720648053816758011575*c_0101_4^21 - 1244611004737773509249475748893519939480332033094369505252699/99888\ 81093196959901766915351763910720648053816758011575*c_0101_4^20 - 666055964446727731986782146299284353760691127031477680988897/998888\ 1093196959901766915351763910720648053816758011575*c_0101_4^19 + 131352380374413175358607196974798309689401757141292932626921/332962\ 7031065653300588971783921303573549351272252670525*c_0101_4^18 - 1903913701443758209598868734518428737811709194803258637740636/19977\ 76218639391980353383070352782144129610763351602315*c_0101_4^17 + 17847243099418211858581656567381162033867328297233242353123019/9988\ 881093196959901766915351763910720648053816758011575*c_0101_4^16 - 10812237939141500387830213166461945030993420930366236868321726/3329\ 627031065653300588971783921303573549351272252670525*c_0101_4^15 + 40922416567398177583154360948739022879351762713423675173320327/9988\ 881093196959901766915351763910720648053816758011575*c_0101_4^14 - 10477560163187590645445610152529885037979614754425469615708426/3329\ 627031065653300588971783921303573549351272252670525*c_0101_4^13 + 994097608343921591949729615208437298113789039135734992100363/665925\ 406213130660117794356784260714709870254450534105*c_0101_4^12 + 24597918336764507269718555081644280392540929015503235865620608/9988\ 881093196959901766915351763910720648053816758011575*c_0101_4^11 - 46864119068934121253391153293504828969955387886012389043529176/9988\ 881093196959901766915351763910720648053816758011575*c_0101_4^10 + 57564979160951329079338143444800094097554861137379766026802886/9988\ 881093196959901766915351763910720648053816758011575*c_0101_4^9 - 40887990716373813711146848740891718263867914909710681309050121/9988\ 881093196959901766915351763910720648053816758011575*c_0101_4^8 + 9292629246389228558259927037126054696336427393721468261784051/99888\ 81093196959901766915351763910720648053816758011575*c_0101_4^7 + 3378433052822763987376257982601525348182029569628638861813264/33296\ 27031065653300588971783921303573549351272252670525*c_0101_4^6 - 282442984882465645077309477162301824561905158358154211386935/133185\ 081242626132023558871356852142941974050890106821*c_0101_4^5 + 962686498289539106841426735274919529373417524105176568548549/110987\ 5677021884433529657261307101191183117090750890175*c_0101_4^4 - 261880279702602477509678499331122439572482863837177518398141/332962\ 7031065653300588971783921303573549351272252670525*c_0101_4^3 + 1108872959627377493019265866904454513791668048678980187773966/99888\ 81093196959901766915351763910720648053816758011575*c_0101_4^2 - 224898683487490132392069557050532801619585568578701131764559/998888\ 1093196959901766915351763910720648053816758011575*c_0101_4 + 30288982008895002185365013349795291872663999809940148725906/9988881\ 093196959901766915351763910720648053816758011575, c_0011_0 - 1, c_0011_1 + 11867036832423057937880043408419954868539161611956/137162802\ 515577890858454038472556274914494388146351*c_0101_4^25 + 6701801483123516996048294318247908639935800834565/15240311390619765\ 650939337608061808323832709794039*c_0101_4^24 - 149423297004112437591439586740270532472689630268101/137162802515577\ 890858454038472556274914494388146351*c_0101_4^23 - 214030809935204928674232581388174529606157749227190/457209341718592\ 96952818012824185424971498129382117*c_0101_4^22 - 312938774305290733998812092658054648864742972234674/137162802515577\ 890858454038472556274914494388146351*c_0101_4^21 - 5085122764300121111301350263640223197819847316329613/13716280251557\ 7890858454038472556274914494388146351*c_0101_4^20 - 2713993851730945194224960590400412554351931330188606/13716280251557\ 7890858454038472556274914494388146351*c_0101_4^19 + 556622936102065068218409900650316840688459514049661/457209341718592\ 96952818012824185424971498129382117*c_0101_4^18 - 38861783695516764588652301895976385590102415117692183/1371628025155\ 77890858454038472556274914494388146351*c_0101_4^17 + 73097064301743435405864999752958710854385904001446785/1371628025155\ 77890858454038472556274914494388146351*c_0101_4^16 - 44096808269825207379615776347940830920056582613386680/4572093417185\ 9296952818012824185424971498129382117*c_0101_4^15 + 167253472146160023238322736571063963161725211220759375/137162802515\ 577890858454038472556274914494388146351*c_0101_4^14 - 42570840432653501068022193250644032818147679946397706/4572093417185\ 9296952818012824185424971498129382117*c_0101_4^13 + 20205992252928405229504259225915725418128362362546452/4572093417185\ 9296952818012824185424971498129382117*c_0101_4^12 + 101076169682865578480186131916667860218972318201293068/137162802515\ 577890858454038472556274914494388146351*c_0101_4^11 - 191587182635428708871243839602899544967511113718821924/137162802515\ 577890858454038472556274914494388146351*c_0101_4^10 + 234595443045175352208167090755911646965248576377556789/137162802515\ 577890858454038472556274914494388146351*c_0101_4^9 - 166684630910717990918291700307380282766896031761326827/137162802515\ 577890858454038472556274914494388146351*c_0101_4^8 + 36915929323961878388786010417893185656201744462007954/1371628025155\ 77890858454038472556274914494388146351*c_0101_4^7 + 13748475314508310372135853755610754012983158652707514/4572093417185\ 9296952818012824185424971498129382117*c_0101_4^6 - 28859462951724388611695038072922908250878235839522181/4572093417185\ 9296952818012824185424971498129382117*c_0101_4^5 + 3877843164607042039293699341406594168668782643230991/15240311390619\ 765650939337608061808323832709794039*c_0101_4^4 - 975153141208525925602589506199204921623589133146537/457209341718592\ 96952818012824185424971498129382117*c_0101_4^3 + 4768310981032464714280411868276215217416976352527255/13716280251557\ 7890858454038472556274914494388146351*c_0101_4^2 - 976552471717121184873144712878485783911542632078302/137162802515577\ 890858454038472556274914494388146351*c_0101_4 + 184351759138042573094740906464799265418622455668933/137162802515577\ 890858454038472556274914494388146351, c_0011_3 + 48031676403460005976543133605128077351936342678401162/399555\ 243727878396070676614070556428825922152670320463*c_0101_4^25 + 27117520867361660427938455260943600964803179016094240/4439502708087\ 5377341186290452284047647324683630035607*c_0101_4^24 - 605965728538224179732592291886062767697758908456244710/399555243727\ 878396070676614070556428825922152670320463*c_0101_4^23 - 867470021379626580650746077711704580878731333615319054/133185081242\ 626132023558871356852142941974050890106821*c_0101_4^22 - 1254153719023629360979685895267204319068603086650148290/39955524372\ 7878396070676614070556428825922152670320463*c_0101_4^21 - 20532185039313866516814085740911534182781048602142399870/3995552437\ 27878396070676614070556428825922152670320463*c_0101_4^20 - 10913033258521134035867254937173678300926666541019756797/3995552437\ 27878396070676614070556428825922152670320463*c_0101_4^19 + 2378433252551178686678891639000263357031766516773133542/13318508124\ 2626132023558871356852142941974050890106821*c_0101_4^18 - 157003028330398355196886516420317109571034744426489723242/399555243\ 727878396070676614070556428825922152670320463*c_0101_4^17 + 296036488705055726641243082092651030225909540723700132032/399555243\ 727878396070676614070556428825922152670320463*c_0101_4^16 - 177799853539057749776015125159184420669032809651942538526/133185081\ 242626132023558871356852142941974050890106821*c_0101_4^15 + 673453583610802447098459323489860444298400006154628111429/399555243\ 727878396070676614070556428825922152670320463*c_0101_4^14 - 170246075230015509054613311640256966574064444856082933367/133185081\ 242626132023558871356852142941974050890106821*c_0101_4^13 + 78936350607127338808802694940583469057402898239636196691/1331850812\ 42626132023558871356852142941974050890106821*c_0101_4^12 + 414046301537715686652495933294976392627079108198489957636/399555243\ 727878396070676614070556428825922152670320463*c_0101_4^11 - 778883041010819449688001015557721046707412983331123995557/399555243\ 727878396070676614070556428825922152670320463*c_0101_4^10 + 943232422754743706515431440598547151576614872312747217381/399555243\ 727878396070676614070556428825922152670320463*c_0101_4^9 - 665429601493202146400500890565234302764762531616207416063/399555243\ 727878396070676614070556428825922152670320463*c_0101_4^8 + 138629265312345463382952701625233336888979051653150528624/399555243\ 727878396070676614070556428825922152670320463*c_0101_4^7 + 58389002348666169324252319035226759477454765728445892409/1331850812\ 42626132023558871356852142941974050890106821*c_0101_4^6 - 116920010409571883225562486286351582241310306731725547275/133185081\ 242626132023558871356852142941974050890106821*c_0101_4^5 + 5174341693382853171531944683543772353382948371480022191/14798342360\ 291792447062096817428015882441561210011869*c_0101_4^4 - 2382896869060222204581405898853800343318859673292129905/13318508124\ 2626132023558871356852142941974050890106821*c_0101_4^3 + 18235735405737140506222117533587551335494193075088238890/3995552437\ 27878396070676614070556428825922152670320463*c_0101_4^2 - 3839743526112924845464792330352728652549689641004983443/39955524372\ 7878396070676614070556428825922152670320463*c_0101_4 + 216466962625986600600214240069507016352220319196318109/399555243727\ 878396070676614070556428825922152670320463, c_0011_6 + 26679981209947432981013951850293941509410529704582/411488407\ 546733672575362115417668824743483164439053*c_0101_4^25 + 15236344941646422700225535332572381933683544702259/4572093417185929\ 6952818012824185424971498129382117*c_0101_4^24 - 326740836874125059452360958144801397633191799645119/411488407546733\ 672575362115417668824743483164439053*c_0101_4^23 - 484753947292421908832817173865161495296551275282530/137162802515577\ 890858454038472556274914494388146351*c_0101_4^22 - 798213266474823778098912184601957263439373872267828/411488407546733\ 672575362115417668824743483164439053*c_0101_4^21 - 11559608153509017488814555375646058097315347766242782/4114884075467\ 33672575362115417668824743483164439053*c_0101_4^20 - 6854442104599965944968037927384999580686449312389473/41148840754673\ 3672575362115417668824743483164439053*c_0101_4^19 + 899078116670995737526975196881365385682812353193987/137162802515577\ 890858454038472556274914494388146351*c_0101_4^18 - 88005947632163588056295246035008055045273211953563520/4114884075467\ 33672575362115417668824743483164439053*c_0101_4^17 + 158877891566307188118826149489032659666280452772700395/411488407546\ 733672575362115417668824743483164439053*c_0101_4^16 - 97773308165454347183543634311194606482173507073515590/1371628025155\ 77890858454038472556274914494388146351*c_0101_4^15 + 364265858848003203197435496937454322276690966565749133/411488407546\ 733672575362115417668824743483164439053*c_0101_4^14 - 93008069012104186094848263359451737557110344739646016/1371628025155\ 77890858454038472556274914494388146351*c_0101_4^13 + 43823280563671665921866043200294883763288215000565417/1371628025155\ 77890858454038472556274914494388146351*c_0101_4^12 + 225921683889003511758942361450167189445603770162069632/411488407546\ 733672575362115417668824743483164439053*c_0101_4^11 - 415966827545100085942831753583134255106293911787675810/411488407546\ 733672575362115417668824743483164439053*c_0101_4^10 + 515623381396426363959308554045272007094498306494087409/411488407546\ 733672575362115417668824743483164439053*c_0101_4^9 - 359242135958893726026362127591995867995575254620680538/411488407546\ 733672575362115417668824743483164439053*c_0101_4^8 + 81235846227096793101885418439686670051697799604533585/4114884075467\ 33672575362115417668824743483164439053*c_0101_4^7 + 30011020487601055124850720163070413820539238179231394/1371628025155\ 77890858454038472556274914494388146351*c_0101_4^6 - 62884440742947435997944094505594380244910223320783239/1371628025155\ 77890858454038472556274914494388146351*c_0101_4^5 + 2703209276655781555889192788627850743478728989493107/15240311390619\ 765650939337608061808323832709794039*c_0101_4^4 - 2813050508210654762524142945354203858791122631809363/13716280251557\ 7890858454038472556274914494388146351*c_0101_4^3 + 10476799510324768017947959809331467865152632145582290/4114884075467\ 33672575362115417668824743483164439053*c_0101_4^2 - 1646261770705957802324210518825963761703528822036465/41148840754673\ 3672575362115417668824743483164439053*c_0101_4 + 430192525594411653527117505284406059315738392407047/411488407546733\ 672575362115417668824743483164439053, c_0101_0 + 12397716811037669622598601148396511035454862501150969/133185\ 081242626132023558871356852142941974050890106821*c_0101_4^25 + 7074408334047292266300540321337753516116142652324840/14798342360291\ 792447062096817428015882441561210011869*c_0101_4^24 - 152813468728700042997698175651790630657514438180808332/133185081242\ 626132023558871356852142941974050890106821*c_0101_4^23 - 226373203276469219673863626207626129019338833560777225/443950270808\ 75377341186290452284047647324683630035607*c_0101_4^22 - 360777347389807623785677384649645710163295572532989234/133185081242\ 626132023558871356852142941974050890106821*c_0101_4^21 - 5327988907869298587191854235930195192337228053265268513/13318508124\ 2626132023558871356852142941974050890106821*c_0101_4^20 - 3125691087420027427450781012754797230920480664412297714/13318508124\ 2626132023558871356852142941974050890106821*c_0101_4^19 + 531033697989555151109770069330879201043049300865528678/443950270808\ 75377341186290452284047647324683630035607*c_0101_4^18 - 40597477481200520367269446246070272769160494798168080426/1331850812\ 42626132023558871356852142941974050890106821*c_0101_4^17 + 74029029692753886822826425272061262303523189565839664671/1331850812\ 42626132023558871356852142941974050890106821*c_0101_4^16 - 44742607838597059652778213189084126948624773359920724249/4439502708\ 0875377341186290452284047647324683630035607*c_0101_4^15 + 166361004945443801972151224890186979906389012821577909924/133185081\ 242626132023558871356852142941974050890106821*c_0101_4^14 - 41234054698960046878436324224301329004720717129556414221/4439502708\ 0875377341186290452284047647324683630035607*c_0101_4^13 + 18043834161350108699388264599246338782115048893499017025/4439502708\ 0875377341186290452284047647324683630035607*c_0101_4^12 + 109515599181888510026671668125120899456732107937920273728/133185081\ 242626132023558871356852142941974050890106821*c_0101_4^11 - 195436664318685482236693026665799349582445605032861329860/133185081\ 242626132023558871356852142941974050890106821*c_0101_4^10 + 233514638219114968605912479032851067825941746432131679789/133185081\ 242626132023558871356852142941974050890106821*c_0101_4^9 - 158778086717463843383092183864098031951691225635666175302/133185081\ 242626132023558871356852142941974050890106821*c_0101_4^8 + 27685308719105754649611444069204991663552118338443677560/1331850812\ 42626132023558871356852142941974050890106821*c_0101_4^7 + 15897256082417530935216895471913191984701295286804483639/4439502708\ 0875377341186290452284047647324683630035607*c_0101_4^6 - 29230676802789356516071720596350532629228337026239137923/4439502708\ 0875377341186290452284047647324683630035607*c_0101_4^5 + 3507797494292702164577296645777760385931096559774000878/14798342360\ 291792447062096817428015882441561210011869*c_0101_4^4 + 65588537350675883404400419994646482955665436504424210/4439502708087\ 5377341186290452284047647324683630035607*c_0101_4^3 + 4273142580925657749628726520801265648237929381699263403/13318508124\ 2626132023558871356852142941974050890106821*c_0101_4^2 - 919208906353184893040468481560423241960296071215988633/133185081242\ 626132023558871356852142941974050890106821*c_0101_4 + 27410430741909957454707939234470254415626004711907008/1331850812426\ 26132023558871356852142941974050890106821, c_0101_1 - 28766722792317224264477983644958945533102110543615/137162802\ 515577890858454038472556274914494388146351*c_0101_4^25 - 16292630584487666133722121041409845347044358722417/1524031139061976\ 5650939337608061808323832709794039*c_0101_4^24 + 359745394376362981710548501752680894996908405553638/137162802515577\ 890858454038472556274914494388146351*c_0101_4^23 + 519958190574679495729442900499626529424694609138509/457209341718592\ 96952818012824185424971498129382117*c_0101_4^22 + 783807338489034709566226805541730014299146006825814/137162802515577\ 890858454038472556274914494388146351*c_0101_4^21 + 12356985280877289792164212013646412177742414372812000/1371628025155\ 77890858454038472556274914494388146351*c_0101_4^20 + 6784627146203632952317300031190956538321846377377664/13716280251557\ 7890858454038472556274914494388146351*c_0101_4^19 - 1262112685628212969626899865320438232374223090809236/45720934171859\ 296952818012824185424971498129382117*c_0101_4^18 + 94369906601647101235906927766425253646242564728441105/1371628025155\ 77890858454038472556274914494388146351*c_0101_4^17 - 175620252933719153854874420831842323486416302025840012/137162802515\ 577890858454038472556274914494388146351*c_0101_4^16 + 106461632826294881658255103964672553652294271557243177/457209341718\ 59296952818012824185424971498129382117*c_0101_4^15 - 401555086816902950781547430181555917406781006785129241/137162802515\ 577890858454038472556274914494388146351*c_0101_4^14 + 102281157748518085618046474414595362776574174480516012/457209341718\ 59296952818012824185424971498129382117*c_0101_4^13 - 48140580445172689481373969475878735368548731709976533/4572093417185\ 9296952818012824185424971498129382117*c_0101_4^12 - 244802779065024344692068875102135748486506618642204774/137162802515\ 577890858454038472556274914494388146351*c_0101_4^11 + 460629281413243683922504112308259106316122838720968925/137162802515\ 577890858454038472556274914494388146351*c_0101_4^10 - 564460608979983518217202253914060114784720944004974124/137162802515\ 577890858454038472556274914494388146351*c_0101_4^9 + 398451996180104231781311680302269641954907936709797725/137162802515\ 577890858454038472556274914494388146351*c_0101_4^8 - 88306359792419083007207190432739596187882636723924255/1371628025155\ 77890858454038472556274914494388146351*c_0101_4^7 - 33447074403673255140754711107091295965575651321232691/4572093417185\ 9296952818012824185424971498129382117*c_0101_4^6 + 69210601618414819265260387091820969523563095987213132/4572093417185\ 9296952818012824185424971498129382117*c_0101_4^5 - 9229659392522778354608331594666802142000388855789534/15240311390619\ 765650939337608061808323832709794039*c_0101_4^4 + 2402638159936349008790313324897477178990832304729395/45720934171859\ 296952818012824185424971498129382117*c_0101_4^3 - 11424232915768805942498756245979507841624669787205210/1371628025155\ 77890858454038472556274914494388146351*c_0101_4^2 + 2314489642066849581980968956609945184561018315242133/13716280251557\ 7890858454038472556274914494388146351*c_0101_4 - 246366341330881347371599116799192725067980906570245/137162802515577\ 890858454038472556274914494388146351, c_0101_4^26 + 5*c_0101_4^25 - 13*c_0101_4^24 - 53*c_0101_4^23 - 22*c_0101_4^22 - 427*c_0101_4^21 - 194*c_0101_4^20 + 154*c_0101_4^19 - 3293*c_0101_4^18 + 6426*c_0101_4^17 - 11701*c_0101_4^16 + 15056*c_0101_4^15 - 12044*c_0101_4^14 + 6093*c_0101_4^13 + 8002*c_0101_4^12 - 16827*c_0101_4^11 + 21195*c_0101_4^10 - 15795*c_0101_4^9 + 4450*c_0101_4^8 + 3157*c_0101_4^7 - 7557*c_0101_4^6 + 3594*c_0101_4^5 - 543*c_0101_4^4 + 427*c_0101_4^3 - 117*c_0101_4^2 + 18*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB