Magma V2.19-8 Tue Aug 20 2013 16:17:27 on localhost [Seed = 1292685703] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1679 geometric_solution 5.40614567 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 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.965571146422 1.055022405402 3 4 2 0 0132 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.900594580020 0.892769090046 4 3 0 1 2310 3201 0132 3012 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 -1 2 -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.900594580020 0.892769090046 1 5 2 5 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.925916978451 0.444192411104 4 1 2 4 3012 0132 3201 1230 0 0 0 0 0 0 0 0 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 -1 0 1 -1 0 1 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.460909210225 0.929201280556 6 3 6 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.831572762585 0.168583226573 5 6 5 6 0132 2310 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.852176233699 0.093964122583 ==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' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_6'], '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_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 4993747875735405086415154634563505735056130738682368402312151964729\ 59/2079791085185359227897264689575410556656415559605619367429299258\ 27275*c_0101_6^23 + 16340857877977123710902924817958433382585286669\ 09672952482812063997626/2079791085185359227897264689575410556656415\ 55960561936742929925827275*c_0101_6^22 + 8546410674464596320475930053430866435946333171497414331811452236741\ 176/207979108518535922789726468957541055665641555960561936742929925\ 827275*c_0101_6^21 - 3568846959486717193415985521994651792092668477\ 855272024930421347352743/415958217037071845579452937915082111331283\ 11192112387348585985165455*c_0101_6^20 + 5393877072278736717859478168808566102257133089468849286670600538147\ 961/189071916835032657081569517234128232423310505418692669766299932\ 57025*c_0101_6^19 - 56137180193091377188169197720697523263858506188\ 0088661392844690590491293/20797910851853592278972646895754105566564\ 1555960561936742929925827275*c_0101_6^18 - 1957265114352302908420357085155706331990058899420156357062842743277\ 9822/29711301216933703255675209851077293666520222280080276677561417\ 975325*c_0101_6^17 + 3772629685095048990003975073125231695311442710\ 305509270921032253411710431/207979108518535922789726468957541055665\ 641555960561936742929925827275*c_0101_6^16 - 2957163969027954916918943348254239117316799039368995534510291413584\ 685677/207979108518535922789726468957541055665641555960561936742929\ 925827275*c_0101_6^15 + 2583585504773025011823035043681575531483690\ 56170350669401087811889460138/2079791085185359227897264689575410556\ 65641555960561936742929925827275*c_0101_6^14 + 1935599456413818387653318962126250469807004809569259365018884784972\ 497581/297113012169337032556752098510772936665202222800802766775614\ 17975325*c_0101_6^13 - 27148144318577905964605647771370882270663246\ 201406819226426477207977057547/207979108518535922789726468957541055\ 665641555960561936742929925827275*c_0101_6^12 - 4048976129199304310837267701647525246345113721720194622207793444124\ 2608069/20797910851853592278972646895754105566564155596056193674292\ 9925827275*c_0101_6^11 + 692966444994332851966833535838328375140461\ 9396104906883528093306346881828/20797910851853592278972646895754105\ 5665641555960561936742929925827275*c_0101_6^10 + 1801488655795267155232225742085715842976913864079354423292569914052\ 6637406/41595821703707184557945293791508211133128311192112387348585\ 985165455*c_0101_6^9 + 47259018304098108718549789225303659908585538\ 521350496405601441637057766174/207979108518535922789726468957541055\ 665641555960561936742929925827275*c_0101_6^8 - 3938150820919699642181542949028747844071616453211064980587551639023\ 1476898/20797910851853592278972646895754105566564155596056193674292\ 9925827275*c_0101_6^7 - 1136791264830454311749035020364558231580731\ 239333984804700407791561240/756287667340130628326278068936512929693\ 242021674770679065199730281*c_0101_6^6 + 1601356036040591184145820668490564153303943028120960974406663589034\ 9206142/20797910851853592278972646895754105566564155596056193674292\ 9925827275*c_0101_6^5 - 4010961270763779671837526867799675207384393\ 31251958632365283119135586214/1890719168350326570815695172341282324\ 2331050541869266976629993257025*c_0101_6^4 - 6870250373242206147830440741845240125745015299485563150368994376374\ 50823/2079791085185359227897264689575410556656415559605619367429299\ 25827275*c_0101_6^3 + 903206051034034947179879016555573230347938029\ 75380686223820229371593913/1890719168350326570815695172341282324233\ 1050541869266976629993257025*c_0101_6^2 - 2481306477192204966525021133422285638147587713827238639345059589409\ 80242/2079791085185359227897264689575410556656415559605619367429299\ 25827275*c_0101_6 + 11464824001014225773373776636922252142898714534\ 619637745250355059727744/207979108518535922789726468957541055665641\ 555960561936742929925827275, c_0011_0 - 1, c_0011_1 - 213394353633731217929709328530223253907030928852130144178381\ 21/1521705568088794020777219454600629637209742498339578831117102073\ *c_0101_6^23 + 6156753571163786882417305954760336529277857564259697\ 3783705103/15217055680887940207772194546006296372097424983395788311\ 17102073*c_0101_6^22 + 39170739219030107022180598208772860353122310\ 6314087250416090204/15217055680887940207772194546006296372097424983\ 39578831117102073*c_0101_6^21 - 61944640313203245858426735316955540\ 7698797671518054182386395265/15217055680887940207772194546006296372\ 09742498339578831117102073*c_0101_6^20 + 2250183689498600472594709364234656834836080477384150590500474199/15\ 21705568088794020777219454600629637209742498339578831117102073*c_01\ 01_6^19 - 230284155054268638628974105041957667066018546343088789806\ 02312088/1521705568088794020777219454600629637209742498339578831117\ 102073*c_0101_6^18 - 1508976094360116046935984916766057338094166899\ 4475449674273999031/15217055680887940207772194546006296372097424983\ 39578831117102073*c_0101_6^17 + 15838577882619280618947407691175389\ 5125689917720078083581845550875/15217055680887940207772194546006296\ 37209742498339578831117102073*c_0101_6^16 - 64252503186764195390222411713339269982784961849922123523306362457/1\ 521705568088794020777219454600629637209742498339578831117102073*c_0\ 101_6^15 - 32988620042916367849728064162830843215712730660911155767\ 870960380/152170556808879402077721945460062963720974249833957883111\ 7102073*c_0101_6^14 + 580039576192628592344690860195052410855956544\ 389903298930392383972/152170556808879402077721945460062963720974249\ 8339578831117102073*c_0101_6^13 - 941139911216835964293928564090214\ 480923253356339732921300096367369/152170556808879402077721945460062\ 9637209742498339578831117102073*c_0101_6^12 - 2157400047226953993549557729635671498921310896895905662131578296714\ /1521705568088794020777219454600629637209742498339578831117102073*c\ _0101_6^11 - 406629605021338786376884313821451707545495377495336133\ 092619137035/152170556808879402077721945460062963720974249833957883\ 1117102073*c_0101_6^10 + 390260827460535856968165086740070210534796\ 7004985957321050222838394/15217055680887940207772194546006296372097\ 42498339578831117102073*c_0101_6^9 + 3562347430094277776645460347990806516485447144237741864356583200886\ /1521705568088794020777219454600629637209742498339578831117102073*c\ _0101_6^8 - 7760751297327723282429241836104226911649237664171442487\ 40968545543/1521705568088794020777219454600629637209742498339578831\ 117102073*c_0101_6^7 - 63379218843682714355437065520693185896690590\ 7206998409097029094839/15217055680887940207772194546006296372097424\ 98339578831117102073*c_0101_6^6 + 522570779615549574809566506629745\ 242575669420948453299574269590270/152170556808879402077721945460062\ 9637209742498339578831117102073*c_0101_6^5 + 76247135147164403596140401072958069851132131893729840644275175509/1\ 521705568088794020777219454600629637209742498339578831117102073*c_0\ 101_6^4 - 266155431103106448914973431047137200190281606677642877104\ 98427716/1521705568088794020777219454600629637209742498339578831117\ 102073*c_0101_6^3 + 44338975147682949512888799086007741195742203531\ 51690386008468363/1521705568088794020777219454600629637209742498339\ 578831117102073*c_0101_6^2 - 38496055030678471248142849701560829522\ 18637551982995038174765852/1521705568088794020777219454600629637209\ 742498339578831117102073*c_0101_6 + 1777489663898696194923049140515852123548199816441986960305155988/15\ 21705568088794020777219454600629637209742498339578831117102073, c_0101_0 + 389082373214757417538062347914866076758254825015507459380462\ 852/167387612489767342285494140006069260093071674817353671422881228\ 03*c_0101_6^23 - 11510530935695376091913542381298345808828690749716\ 73544388564893/1673876124897673422854941400060692600930716748173536\ 7142288122803*c_0101_6^22 - 703249659707307669136191033143660482314\ 0954585033683256090131938/16738761248976734228549414000606926009307\ 167481735367142288122803*c_0101_6^21 + 11699603456658373549881045331561754726886565913236117013639934670/1\ 6738761248976734228549414000606926009307167481735367142288122803*c_\ 0101_6^20 - 3838129965691582337920545942734553348963619476129069991\ 317229504/152170556808879402077721945460062963720974249833957883111\ 7102073*c_0101_6^19 + 424300037137201179631176274507083566321570250\ 632100290868876439875/167387612489767342285494140006069260093071674\ 81735367142288122803*c_0101_6^18 + 240007230825865198753345602458749030257031265484401769927305505500/\ 16738761248976734228549414000606926009307167481735367142288122803*c\ _0101_6^17 - 287341501445030089921006376356116041500014130279951316\ 0392213795365/16738761248976734228549414000606926009307167481735367\ 142288122803*c_0101_6^16 + 1356833834135521389782035158160931788201\ 490228298182182725153699630/167387612489767342285494140006069260093\ 07167481735367142288122803*c_0101_6^15 + 314380077619722529310071362780527680573654933919443029706838926049/\ 16738761248976734228549414000606926009307167481735367142288122803*c\ _0101_6^14 - 102555281017081754870615772440616075541744962470738085\ 94702922218022/1673876124897673422854941400060692600930716748173536\ 7142288122803*c_0101_6^13 + 176875026377426658631562274981753292831\ 66681011787819555905537958628/1673876124897673422854941400060692600\ 9307167481735367142288122803*c_0101_6^12 + 3749485280435529523534143553144349429138822532050755890362507714321\ 6/16738761248976734228549414000606926009307167481735367142288122803\ *c_0101_6^11 + 6643818092659900150713587751553915521919913896140229\ 319537607414194/167387612489767342285494140006069260093071674817353\ 67142288122803*c_0101_6^10 - 71190151832614644131523518338547851319\ 150491983764178416342405958961/167387612489767342285494140006069260\ 09307167481735367142288122803*c_0101_6^9 - 6165639624437144635045376182152686995444869734055930271303016569677\ 7/16738761248976734228549414000606926009307167481735367142288122803\ *c_0101_6^8 + 14310493011451985306171043973801524840610008492677595\ 620133937655641/167387612489767342285494140006069260093071674817353\ 67142288122803*c_0101_6^7 + 114721724379153339051833073899705180312\ 2985136143196966777629321533/15217055680887940207772194546006296372\ 09742498339578831117102073*c_0101_6^6 - 6723537165936459013553683424353316159748858278167606917214358280130\ /16738761248976734228549414000606926009307167481735367142288122803*\ c_0101_6^5 - 176382225989569779461650779090134435243786302114816142\ 777335404218/152170556808879402077721945460062963720974249833957883\ 1117102073*c_0101_6^4 + 8528022183309483871957563334068367162676654\ 0591518096151682917952/16738761248976734228549414000606926009307167\ 481735367142288122803*c_0101_6^3 + 7182064076790758625637434748427160031835825971431557118679948231/15\ 21705568088794020777219454600629637209742498339578831117102073*c_01\ 01_6^2 + 9217272439349595508501462928310290919734438709662436598102\ 8129233/16738761248976734228549414000606926009307167481735367142288\ 122803*c_0101_6 - 1924219231945161604675196361344576087881936746876\ 9653879978232246/16738761248976734228549414000606926009307167481735\ 367142288122803, c_0101_1 - 338973554500701311664002173693700245944238888925114053604884\ 597/167387612489767342285494140006069260093071674817353671422881228\ 03*c_0101_6^23 + 10117561035336743078547693737599771530599448367351\ 97873614221856/1673876124897673422854941400060692600930716748173536\ 7142288122803*c_0101_6^22 + 610593224579609905540002095403354750622\ 8055575036593144743241543/16738761248976734228549414000606926009307\ 167481735367142288122803*c_0101_6^21 - 10377786075008362545849046791838487499863508376582490454181229118/1\ 6738761248976734228549414000606926009307167481735367142288122803*c_\ 0101_6^20 + 3361009839558989244432615716377464572925736029113267733\ 331374627/152170556808879402077721945460062963720974249833957883111\ 7102073*c_0101_6^19 - 370338377609996053654908101484905092765172999\ 426816314697695270795/167387612489767342285494140006069260093071674\ 81735367142288122803*c_0101_6^18 - 200177056145766622484876314020073776855553650512435651986795424010/\ 16738761248976734228549414000606926009307167481735367142288122803*c\ _0101_6^17 + 251571772651200247609473828292157431214709325374387717\ 8263604709214/16738761248976734228549414000606926009307167481735367\ 142288122803*c_0101_6^16 - 1252152983328601241292510835581794213151\ 760103328216296294233843603/167387612489767342285494140006069260093\ 07167481735367142288122803*c_0101_6^15 - 287066291984140506116310841659916283563946352558191802677565528093/\ 16738761248976734228549414000606926009307167481735367142288122803*c\ _0101_6^14 + 901317831151497145304009002718043036977617635654020298\ 7974537519424/16738761248976734228549414000606926009307167481735367\ 142288122803*c_0101_6^13 - 1567210299179682207768917517949643475740\ 0806253681390816420798747453/16738761248976734228549414000606926009\ 307167481735367142288122803*c_0101_6^12 - 3241348402936104129632067888970673353197918599712556510493502509956\ 7/16738761248976734228549414000606926009307167481735367142288122803\ *c_0101_6^11 - 4487106679364408924053116884028463248679716410245335\ 643634761398819/167387612489767342285494140006069260093071674817353\ 67142288122803*c_0101_6^10 + 62367353487381074554715348452765240706\ 596552211983526328865522181336/167387612489767342285494140006069260\ 09307167481735367142288122803*c_0101_6^9 + 5154901760034963996794466476374135531506590872708957196605827782555\ 9/16738761248976734228549414000606926009307167481735367142288122803\ *c_0101_6^8 - 14886067477054312754678906666596080413305547533359246\ 824804610405067/167387612489767342285494140006069260093071674817353\ 67142288122803*c_0101_6^7 - 933127397036667279835696943401929273286\ 583794166265416151788361892/152170556808879402077721945460062963720\ 9742498339578831117102073*c_0101_6^6 + 7259201787162152209005251926023753053512518527737271248394717744821\ /16738761248976734228549414000606926009307167481735367142288122803*\ c_0101_6^5 + 112339494055039043710736313590629380892058534291494660\ 775289843448/152170556808879402077721945460062963720974249833957883\ 1117102073*c_0101_6^4 - 3343721087195712004677585757317250366802444\ 91873880860477442692601/1673876124897673422854941400060692600930716\ 7481735367142288122803*c_0101_6^3 + 9905120315719089444938962778596661805938346448469390992511157298/15\ 21705568088794020777219454600629637209742498339578831117102073*c_01\ 01_6^2 - 5855548778955125200426830306332948157981295277778579969312\ 2243848/16738761248976734228549414000606926009307167481735367142288\ 122803*c_0101_6 + 1921274188534878218525220522905795632554236063857\ 7835416907843568/16738761248976734228549414000606926009307167481735\ 367142288122803, c_0101_4 + 507434270009063749249466755062218969024846013045797475200644\ 4/1521705568088794020777219454600629637209742498339578831117102073*\ c_0101_6^23 - 21592899440034312506896636202181934243814446827215133\ 240128640/152170556808879402077721945460062963720974249833957883111\ 7102073*c_0101_6^22 - 706218916211151088864608804693761092680394644\ 91352837768617702/1521705568088794020777219454600629637209742498339\ 578831117102073*c_0101_6^21 + 2659726299642614841951537148677798196\ 87653514471814627438616908/1521705568088794020777219454600629637209\ 742498339578831117102073*c_0101_6^20 - 775047985545335274766507402869602710534768637271803908074778915/152\ 1705568088794020777219454600629637209742498339578831117102073*c_010\ 1_6^19 + 6307983799676192518876138580178628092428809175683369737610\ 195565/152170556808879402077721945460062963720974249833957883111710\ 2073*c_0101_6^18 - 425511836367110659847738649233184554376272930905\ 7078090546772371/15217055680887940207772194546006296372097424983395\ 78831117102073*c_0101_6^17 - 39654392764536641844444054820310205860\ 279933638156631166187322279/152170556808879402077721945460062963720\ 9742498339578831117102073*c_0101_6^16 + 66395740879494445700963118750218389639373487105472567991897678237/1\ 521705568088794020777219454600629637209742498339578831117102073*c_0\ 101_6^15 - 30589188230572925236135651296511779937928826106924881609\ 023648437/152170556808879402077721945460062963720974249833957883111\ 7102073*c_0101_6^14 - 127987519476763321410028345340618738645384746\ 460302662874472372561/152170556808879402077721945460062963720974249\ 8339578831117102073*c_0101_6^13 + 398332684057406590562561489100342\ 647413776398053891181368591007476/152170556808879402077721945460062\ 9637209742498339578831117102073*c_0101_6^12 + 151618181938500419306547189295166177886112329434844206579892797925/\ 1521705568088794020777219454600629637209742498339578831117102073*c_\ 0101_6^11 - 4568507944340602703910666696447980840684433528966142547\ 91502532072/1521705568088794020777219454600629637209742498339578831\ 117102073*c_0101_6^10 - 9321413039814820522382743375238348237856108\ 60381338507164576122299/1521705568088794020777219454600629637209742\ 498339578831117102073*c_0101_6^9 + 393607946403593505734507825804659049190405893512037778439406681147/\ 1521705568088794020777219454600629637209742498339578831117102073*c_\ 0101_6^8 + 95320574382797650039306287290861221776092813476257421343\ 9012320381/15217055680887940207772194546006296372097424983395788311\ 17102073*c_0101_6^7 - 210681282823783665916556839080703899051598546\ 061168228436248914300/152170556808879402077721945460062963720974249\ 8339578831117102073*c_0101_6^6 - 2298442343245922219655545270137642\ 08094305856425753195436440161328/1521705568088794020777219454600629\ 637209742498339578831117102073*c_0101_6^5 + 83333854913806635985004242328184586868476022896907581985674311625/1\ 521705568088794020777219454600629637209742498339578831117102073*c_0\ 101_6^4 + 199811703914705773311176053477241786828206633019328706818\ 54524684/1521705568088794020777219454600629637209742498339578831117\ 102073*c_0101_6^3 - 48257293829069136451226844510078463271431445402\ 1119255336611979/15217055680887940207772194546006296372097424983395\ 78831117102073*c_0101_6^2 + 329666897930266600593230486102051717443\ 118662651402258435711667/152170556808879402077721945460062963720974\ 2498339578831117102073*c_0101_6 - 745915847824593284516903234014514\ 320664104322423453086750466297/152170556808879402077721945460062963\ 7209742498339578831117102073, c_0101_5 + 332453322090377182022369805913969103989181848272426684691280\ 922/167387612489767342285494140006069260093071674817353671422881228\ 03*c_0101_6^23 - 10214139386624058341736111155925152782145114639902\ 66657708207745/1673876124897673422854941400060692600930716748173536\ 7142288122803*c_0101_6^22 - 589437237208312095724801009314772558033\ 3963238250854216307298729/16738761248976734228549414000606926009307\ 167481735367142288122803*c_0101_6^21 + 10671854342041593724203572392768667547760149103425403438075832364/1\ 6738761248976734228549414000606926009307167481735367142288122803*c_\ 0101_6^20 - 3386133139997297118120566892110096847070814385718117127\ 934410552/152170556808879402077721945460062963720974249833957883111\ 7102073*c_0101_6^19 + 366760080414549113574175188205795411095154253\ 241271957331820580997/167387612489767342285494140006069260093071674\ 81735367142288122803*c_0101_6^18 + 163349906187181042737406411987230416194188919456782564464740542973/\ 16738761248976734228549414000606926009307167481735367142288122803*c\ _0101_6^17 - 247542798796144808270254625380487354636557764644677550\ 6132689579910/16738761248976734228549414000606926009307167481735367\ 142288122803*c_0101_6^16 + 1437447276310205920320437629458082427030\ 673624044244595080104924138/167387612489767342285494140006069260093\ 07167481735367142288122803*c_0101_6^15 + 121621923430794582861997342371561035614885000513841926211375275531/\ 16738761248976734228549414000606926009307167481735367142288122803*c\ _0101_6^14 - 876831638021502725888042759093296649775511886895219710\ 1467053736746/16738761248976734228549414000606926009307167481735367\ 142288122803*c_0101_6^13 + 1607610423327928671828822269944624149136\ 9177920378032204253192466436/16738761248976734228549414000606926009\ 307167481735367142288122803*c_0101_6^12 + 3028727399768323577508056227236619840326580437410746012755686513465\ 4/16738761248976734228549414000606926009307167481735367142288122803\ *c_0101_6^11 + 2174461791221771745691474256720554825537077302904472\ 562819059198189/167387612489767342285494140006069260093071674817353\ 67142288122803*c_0101_6^10 - 61437119446638387632499250585862833179\ 536638715366385021922885352613/167387612489767342285494140006069260\ 09307167481735367142288122803*c_0101_6^9 - 4568062922084721227669957762882961286274012357867031884286776737630\ 6/16738761248976734228549414000606926009307167481735367142288122803\ *c_0101_6^8 + 17912491803136502264118291275648667922434827321832118\ 491156845255209/167387612489767342285494140006069260093071674817353\ 67142288122803*c_0101_6^7 + 849489715873127894808933031015061626490\ 297759728117222268494922053/152170556808879402077721945460062963720\ 9742498339578831117102073*c_0101_6^6 - 7157969949536672633549421509769889789786496052755353289202587941173\ /16738761248976734228549414000606926009307167481735367142288122803*\ c_0101_6^5 - 968061353957919285925471224217032101945473974420564152\ 40453980534/1521705568088794020777219454600629637209742498339578831\ 117102073*c_0101_6^4 + 38297309166667446108931315048957487268300438\ 2944788461614438805807/16738761248976734228549414000606926009307167\ 481735367142288122803*c_0101_6^3 - 1618336613086906661036404210958087939448581192382482150059205899/15\ 21705568088794020777219454600629637209742498339578831117102073*c_01\ 01_6^2 + 4266489031172078808090938461747766108127553053138760341190\ 8941444/16738761248976734228549414000606926009307167481735367142288\ 122803*c_0101_6 - 1966496882694191982020018467077029649791519296524\ 2300302105491781/16738761248976734228549414000606926009307167481735\ 367142288122803, c_0101_6^24 - 3*c_0101_6^23 - 18*c_0101_6^22 + 31*c_0101_6^21 - 109*c_0101_6^20 + 1093*c_0101_6^19 + 578*c_0101_6^18 - 7468*c_0101_6^17 + 3804*c_0101_6^16 + 1026*c_0101_6^15 - 26815*c_0101_6^14 + 46740*c_0101_6^13 + 95679*c_0101_6^12 + 10009*c_0101_6^11 - 186457*c_0101_6^10 - 149181*c_0101_6^9 + 51951*c_0101_6^8 + 32442*c_0101_6^7 - 23488*c_0101_6^6 - 3637*c_0101_6^5 + 1563*c_0101_6^4 - 60*c_0101_6^3 + 166*c_0101_6^2 - 73*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB