Magma V2.19-8 Tue Aug 20 2013 16:17:40 on localhost [Seed = 307465980] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1911 geometric_solution 5.51848135 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.814871271085 0.121006922096 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.790797580563 0.249877774122 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 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.145486678116 0.682839208546 2 4 6 5 0132 0213 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 0 0 1 -1 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.464498223078 0.570498974476 5 6 3 2 1023 3201 0213 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 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.464498223078 0.570498974476 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 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.126164404320 0.925549458675 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 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 1.141769275673 1.054083145568 ==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' : negation(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' : negation(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_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_0']), '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' : negation(d['c_0011_0']), 'c_1001_4' : negation(d['c_0101_6']), '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_6']), '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_6']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0011_0']), '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_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 37 Groebner basis: [ t + 8896776005368602128761790130202775741980440067552161246548189552182\ 1/13058700116865541145593755481410242561312401896202110389064832532\ 2560*c_0101_6^36 - 404843870919562736623535181643247066752261156449\ 443390731799438291443/261174002337310822911875109628204851226248037\ 924042207781296650645120*c_0101_6^35 - 5902019592362405763393371823146187003547824468184113690561364851296\ 93/6529350058432770572796877740705121280656200948101055194532416266\ 1280*c_0101_6^34 + 125985381873047305549153440750081963634791114870\ 9466146488613991204621/65293500584327705727968777407051212806562009\ 481010551945324162661280*c_0101_6^33 + 5394116514778903388126357517452323188818333784016205779233712256132\ 59/9006000080596924927995693435455339697456828893932489923492987953\ 280*c_0101_6^32 - 1012281165596620163893421463833149111026563977349\ 885835057266718297283/900600008059692492799569343545533969745682889\ 3932489923492987953280*c_0101_6^31 - 2321605928852563897519472436852929000689024191282975137534236676027\ 1807/87058000779103607637291703209401617075416012641347402593765550\ 215040*c_0101_6^30 + 3530743764287935921493361667338751272112492832\ 8309597212646231563690421/87058000779103607637291703209401617075416\ 012641347402593765550215040*c_0101_6^29 + 2410129500470221368536464554410670865152306704370273345952116530742\ 70049/2611740023373108229118751096282048512262480379240422077812966\ 50645120*c_0101_6^28 - 54349481847500138326891660078153688672780281\ 185495181215793624612391209/522348004674621645823750219256409702452\ 49607584808441556259330129024*c_0101_6^27 - 1396901553794887050341381613188077923074581366227948415938561914771\ 71205/5223480046746216458237502192564097024524960758480844155625933\ 0129024*c_0101_6^26 + 274562209278491337477226392734939487516650934\ 973180626796074926644273987/130587001168655411455937554814102425613\ 124018962021103890648325322560*c_0101_6^25 + 2938600599731873230521885496483279515309616943347268087149870224484\ 68681/4352900038955180381864585160470080853770800632067370129688277\ 5107520*c_0101_6^24 - 298357458977314173911078821353899207833783173\ 648099027208206005233775759/870580007791036076372917032094016170754\ 16012641347402593765550215040*c_0101_6^23 - 4157372302332204739296332878096734470061950538349929675456789218359\ 165201/261174002337310822911875109628204851226248037924042207781296\ 650645120*c_0101_6^22 + 8068687174842549711233805405239965355207540\ 0893322788960169766272834081/21764500194775901909322925802350404268\ 854003160336850648441387553760*c_0101_6^21 + 9700444605698484858130917780759170033390666532474590603473144143153\ 94307/2611740023373108229118751096282048512262480379240422077812966\ 5064512*c_0101_6^20 + 580498297089753504956081897112877927101713528\ 54287122123734900658354563/1305870011686554114559375548141024256131\ 24018962021103890648325322560*c_0101_6^19 - 2176193438660418711217207232761410914915327729962764705783500313293\ 20061/2720562524346987738665365725293800533606750395042106331055173\ 444220*c_0101_6^18 - 3597870627373659318160542864871208770336026196\ 995599326480573205878310329/261174002337310822911875109628204851226\ 248037924042207781296650645120*c_0101_6^17 + 1857291775902273661655128246675615108082776835241986372107075044177\ 2741789/13058700116865541145593755481410242561312401896202110389064\ 8325322560*c_0101_6^16 + 340333800775159952149854405468307103387785\ 701420583162368273640957212045/870580007791036076372917032094016170\ 7541601264134740259376555021504*c_0101_6^15 - 2595850011599169241940348190826097144549320284247454566361267182704\ 1708871/13058700116865541145593755481410242561312401896202110389064\ 8325322560*c_0101_6^14 - 308429659516835749065712724748638177692197\ 590528229694734096315563690587/450300004029846246399784671772766984\ 8728414446966244961746493976640*c_0101_6^13 + 5652094354125184747382250723609869640219002656767171125649305642526\ 4362353/26117400233731082291187510962820485122624803792404220778129\ 6650645120*c_0101_6^12 + 228808377575726426892463411615332517401060\ 0464480028477764020566544703603/26117400233731082291187510962820485\ 122624803792404220778129665064512*c_0101_6^11 - 8029631208367874465768396265670041513101428713250101909306476898253\ 17169/4352900038955180381864585160470080853770800632067370129688277\ 510752*c_0101_6^10 - 4136875057844661254519015577167004127982311187\ 02600397856613302970390171/4503000040298462463997846717727669848728\ 414446966244961746493976640*c_0101_6^9 + 1607765342347793364884389266559084931244921934736907651183794536071\ 767927/130587001168655411455937554814102425613124018962021103890648\ 32532256*c_0101_6^8 + 825795775073570437440983559241200133501958551\ 502020514436807067886340129/108822500973879509546614629011752021344\ 27001580168425324220693776880*c_0101_6^7 - 1572175496365999921505177863632710587402906761056804936207950547561\ 7613373/26117400233731082291187510962820485122624803792404220778129\ 6650645120*c_0101_6^6 - 5249383329565917058889650150508154764115924\ 518556978664402980014363481991/130587001168655411455937554814102425\ 613124018962021103890648325322560*c_0101_6^5 + 7905710150871245918306881004041626145610544221136496911784486396075\ 2807/43529000389551803818645851604700808537708006320673701296882775\ 10752*c_0101_6^4 + 431360151359621194722097044554970474251013229301\ 70026012951024325253717/4080843786520481607998048587940700800410125\ 592563159496582760166330*c_0101_6^3 - 1482132184142790496464085681376853903128911697060584217388358204750\ 5849/54411250486939754773307314505876010672135007900842126621103468\ 88440*c_0101_6^2 - 347676683159082949084418812159376771681950995396\ 58213247590495512544/3709857987745892370907316898127909818554659629\ 6028722696206910603*c_0101_6 + 352671096064675819110569781825467423\ 395952990227945116243949622908832/204042189326024080399902429397035\ 0400205062796281579748291380083165, c_0011_0 - 1, c_0011_4 - 357710539855875492231677035622841594386419412397328594717191\ 15/6622898499741620968983773541985668853207760566097177831400954752\ *c_0101_6^36 + 5741100145962070816166715211337341695076008501314687\ 6086986025/33114492498708104844918867709928344266038802830485889157\ 00477376*c_0101_6^35 + 19833247649156401101280708060766031374625145\ 7314351518182800467/33114492498708104844918867709928344266038802830\ 48588915700477376*c_0101_6^34 - 14258725139288775632143622929315222\ 68977068018907335338171359763/6622898499741620968983773541985668853\ 207760566097177831400954752*c_0101_6^33 - 76852889179789728512565283281824694325557998054006356506116995/2283\ 75810335917964447716329033988581145095191934385442462101888*c_0101_\ 6^32 + 291765647861623007156690925667665441314076304313072999215602\ 903/228375810335917964447716329033988581145095191934385442462101888\ *c_0101_6^31 + 8944135337722214609963923076360394742297071582441303\ 077851237207/662289849974162096898377354198566885320776056609717783\ 1400954752*c_0101_6^30 - 320729025497193920843277006537314805759926\ 75695517876656225970235/6622898499741620968983773541985668853207760\ 566097177831400954752*c_0101_6^29 - 31055361285365120466389569935767828454960330986753138239223266825/6\ 622898499741620968983773541985668853207760566097177831400954752*c_0\ 101_6^28 + 90608168050945178712346271278755445768734339897410614674\ 996863641/662289849974162096898377354198566885320776056609717783140\ 0954752*c_0101_6^27 + 121427807572886328581077632556916140008148040\ 07081956569223358459/8278623124677026211229716927482086066509700707\ 62147228925119344*c_0101_6^26 - 53114287375706080144038476525062939\ 736714299313838005307460118619/165572462493540524224594338549641721\ 3301940141524294457850238688*c_0101_6^25 - 267340807559290024026452375776461564487737468902541820694433738883/\ 6622898499741620968983773541985668853207760566097177831400954752*c_\ 0101_6^24 + 4339351621490797036165242706456129202304044092669819174\ 28190245137/6622898499741620968983773541985668853207760566097177831\ 400954752*c_0101_6^23 + 3457427826512557517717234977252096963759403\ 78029667828385203224669/3311449249870810484491886770992834426603880\ 283048588915700477376*c_0101_6^22 - 397537708550700607926183998470326409588533677915672782049094077925/\ 3311449249870810484491886770992834426603880283048588915700477376*c_\ 0101_6^21 - 8916705531525849529067062249767394064614414102712644960\ 18600715445/3311449249870810484491886770992834426603880283048588915\ 700477376*c_0101_6^20 + 6967959440881762858938521469506229288103755\ 08605834861468366716787/3311449249870810484491886770992834426603880\ 283048588915700477376*c_0101_6^19 + 4145202840435428193375390690882552073417352725703112921647974716607\ /6622898499741620968983773541985668853207760566097177831400954752*c\ _0101_6^18 - 571897216200639682651381942986713257392604759794439004\ 200039568003/165572462493540524224594338549641721330194014152429445\ 7850238688*c_0101_6^17 - 388927586747388957006945861620819280268569\ 7623968269220118800828315/33114492498708104844918867709928344266038\ 80283048588915700477376*c_0101_6^16 + 1548199484098489161791721226242236507666959256749155269526341295799\ /3311449249870810484491886770992834426603880283048588915700477376*c\ _0101_6^15 + 286200485013289550926466631085125909306229835483372446\ 3542116215193/16557246249354052422459433854964172133019401415242944\ 57850238688*c_0101_6^14 - 11285073202536663839801067455246646796293\ 9597802848668341351692919/22837581033591796444771632903398858114509\ 5191934385442462101888*c_0101_6^13 - 1641854915181593955919014325119669744011496820117299058137948457599\ /827862312467702621122971692748208606650970070762147228925119344*c_\ 0101_6^12 + 1571337076521768303187943363919334869432678804715581758\ 63794071487/4139311562338513105614858463741043033254850353810736144\ 62559672*c_0101_6^11 + 59867040905489394507964073920448620405996559\ 70939819388814016511949/3311449249870810484491886770992834426603880\ 283048588915700477376*c_0101_6^10 - 8170151310504976817674980781132356561248722838561717905998171037/57\ 093952583979491111929082258497145286273797983596360615525472*c_0101\ _6^9 - 447220834936215039240262165918618947650652447884268165127054\ 7994943/33114492498708104844918867709928344266038802830485889157004\ 77376*c_0101_6^8 - 295805399420962397937093339252648669539329220975\ 279258128376801461/662289849974162096898377354198566885320776056609\ 7177831400954752*c_0101_6^7 + 3194916173073851192784713961498033506\ 48849981075797870076148125819/4139311562338513105614858463741043033\ 25485035381073614462559672*c_0101_6^6 + 108214168899074931271876020957873010725570730968790300172423934773/\ 1655724624935405242245943385496417213301940141524294457850238688*c_\ 0101_6^5 - 11626875081310060871948255267673747802021247895673799667\ 6582077239/41393115623385131056148584637410430332548503538107361446\ 2559672*c_0101_6^4 - 4256988143511487843437970830998327153229515151\ 095516478652471537/206965578116925655280742923187052151662742517690\ 536807231279836*c_0101_6^3 + 53085658076411200374934042927076313986\ 06715973317126912441158975/1034827890584628276403714615935260758313\ 71258845268403615639918*c_0101_6^2 + 189882173586138435571654414249453328302395567472988673938291361/103\ 482789058462827640371461593526075831371258845268403615639918*c_0101\ _6 - 14561554442608274946747505909647083510540733035292014368838212\ 6/51741394529231413820185730796763037915685629422634201807819959, c_0011_6 + 133468179090677707872569943616943597593084278835412591006528\ 27/6622898499741620968983773541985668853207760566097177831400954752\ *c_0101_6^36 - 1390025460789497956947880954307546001575637791537659\ 8255978955/99343477496124314534756603129785032798116408491457667471\ 01432128*c_0101_6^35 - 30724383012089127600830646327704286248632244\ 4092874493250542441/99343477496124314534756603129785032798116408491\ 45766747101432128*c_0101_6^34 + 25576738304861822394037021104973178\ 6375136578898799992454425257/19868695499224862906951320625957006559\ 623281698291533494202864256*c_0101_6^33 + 151230550362395136699913236815360824874721570447512585070961529/685\ 127431007753893343148987101965743435285575803156327386305664*c_0101\ _6^32 - 25257752225415601657505504059483840386292702084128226444422\ 581/685127431007753893343148987101965743435285575803156327386305664\ *c_0101_6^31 - 1953049187253987482046588870593545283485832920710977\ 7213461553845/19868695499224862906951320625957006559623281698291533\ 494202864256*c_0101_6^30 - 4652138391575027167344497710090253999525\ 13941652159913940999797/6622898499741620968983773541985668853207760\ 566097177831400954752*c_0101_6^29 + 62769859989245768505609354219993753922210350200361190301851836395/1\ 9868695499224862906951320625957006559623281698291533494202864256*c_\ 0101_6^28 + 6446279354950259756813383416182870909678876968843012528\ 855048951/662289849974162096898377354198566885320776056609717783140\ 0954752*c_0101_6^27 - 201302811332121456831435791979984506072326115\ 91646623066998682833/2483586937403107863368915078244625819952910212\ 286441686775358032*c_0101_6^26 - 7117454045372252975895543760959097\ 235267032361307287520562104277/165572462493540524224594338549641721\ 3301940141524294457850238688*c_0101_6^25 + 119103012937685645484456349240806512349882431550783609230057967699/\ 6622898499741620968983773541985668853207760566097177831400954752*c_\ 0101_6^24 + 9033392944217722171898905251379920988768681397192249245\ 4713568383/66228984997416209689837735419856688532077605660971778314\ 00954752*c_0101_6^23 - 12363626601954064518514498966339245388739219\ 9023868122414726971789/33114492498708104844918867709928344266038802\ 83048588915700477376*c_0101_6^22 - 398368489844152969772304496191088267562034335991904477837160458241/\ 9934347749612431453475660312978503279811640849145766747101432128*c_\ 0101_6^21 + 7407266199831174530361688694788383620972968722124810001\ 77801179695/9934347749612431453475660312978503279811640849145766747\ 101432128*c_0101_6^20 + 1083480511979793562447872223928279785628913\ 425146011807312731276407/993434774961243145347566031297850327981164\ 0849145766747101432128*c_0101_6^19 - 2614991721816865039114607483917871442648305951752201843844293022573\ /19868695499224862906951320625957006559623281698291533494202864256*\ c_0101_6^18 - 39820622664736980171960460674628014794294503974212550\ 2757721041165/16557246249354052422459433854964172133019401415242944\ 57850238688*c_0101_6^17 + 18101731856033754618609540315224349098440\ 53541195619824330785073601/9934347749612431453475660312978503279811\ 640849145766747101432128*c_0101_6^16 + 1333503574042544367658122676525661783238302906912029621388546069753\ /3311449249870810484491886770992834426603880283048588915700477376*c\ _0101_6^15 - 911223485284465661640948200172338080950992802650925468\ 706343133019/496717387480621572673783015648925163990582042457288337\ 3550716064*c_0101_6^14 - 115876239455853614723792398278450030531852\ 142377326651108231193849/228375810335917964447716329033988581145095\ 191934385442462101888*c_0101_6^13 + 108542388606300701858578245144623611623527515075602438407092960815/\ 827862312467702621122971692748208606650970070762147228925119344*c_0\ 101_6^12 + 61642246490307212285007415519978290231140734709848520904\ 5320568027/12417934687015539316844575391223129099764551061432208433\ 87679016*c_0101_6^11 - 15730878971183359767517129571609880764616432\ 9848201367184151651069/33114492498708104844918867709928344266038802\ 83048588915700477376*c_0101_6^10 - 66923541860948008067472817421880596838419650461580092639406493785/1\ 71281857751938473335787246775491435858821393950789081846576416*c_01\ 01_6^9 - 3397200076372396372884377077127641904815972905113673473308\ 37805715/9934347749612431453475660312978503279811640849145766747101\ 432128*c_0101_6^8 + 45669875738769648323887437089548307599035675729\ 53855855241187569455/1986869549922486290695132062595700655962328169\ 8291533494202864256*c_0101_6^7 + 2036247982986835594521379436301282\ 2190101894899278554306703824973/41393115623385131056148584637410430\ 3325485035381073614462559672*c_0101_6^6 - 409006237989980877171993076904808481926093724582674622802967296815/\ 4967173874806215726737830156489251639905820424572883373550716064*c_\ 0101_6^5 - 21656828315079652849313046711353032481744526658449247856\ 424600787/124179346870155393168445753912231290997645510614322084338\ 7679016*c_0101_6^4 + 8667702955135927728145200426201067280042480325\ 308695445741601739/620896734350776965842228769561156454988227553071\ 610421693839508*c_0101_6^3 + 27311744972209734903649119266491495348\ 7094513382291540997469375/10348278905846282764037146159352607583137\ 1258845268403615639918*c_0101_6^2 - 261218024457833933780944320388949342052882785388932407486120067/310\ 448367175388482921114384780578227494113776535805210846919754*c_0101\ _6 + 2500270767918982303780219440963677483359486071507558501716546/\ 51741394529231413820185730796763037915685629422634201807819959, c_0101_0 + 233589014128575082742413439832632102540484986947869267183437\ 827/198686954992248629069513206259570065596232816982915334942028642\ 56*c_0101_6^36 - 99474781333736357200201864752178826965634072921142\ 02846285233/4139311562338513105614858463741043033254850353810736144\ 62559672*c_0101_6^35 - 15534134608093733281569466003331467793863966\ 24325611143956601235/9934347749612431453475660312978503279811640849\ 145766747101432128*c_0101_6^34 + 5789565032841722689273746423911797\ 367875980524967439323106621727/198686954992248629069513206259570065\ 59623281698291533494202864256*c_0101_6^33 + 701186378253369047670406852021270618769225109432639654531376973/685\ 127431007753893343148987101965743435285575803156327386305664*c_0101\ _6^32 - 11257715948427433873245734316568680080994812011638328505019\ 05057/6851274310077538933431489871019657434352855758031563273863056\ 64*c_0101_6^31 - 88124787631941938666484767981468914025355611340959\ 200586835016213/198686954992248629069513206259570065596232816982915\ 33494202864256*c_0101_6^30 + 11315789930381988340538533825267387726\ 7735980963229794041103891997/19868695499224862906951320625957006559\ 623281698291533494202864256*c_0101_6^29 + 294228113810747820917017082797737633572764293803164158143642081527/\ 19868695499224862906951320625957006559623281698291533494202864256*c\ _0101_6^28 - 276640381844162421035595531199449447427386224171636639\ 812117801183/198686954992248629069513206259570065596232816982915334\ 94202864256*c_0101_6^27 - 41176835192979508685825677871842915454851\ 4388743924195518751387845/99343477496124314534756603129785032798116\ 40849145766747101432128*c_0101_6^26 + 22110691556338427336168393986823877234608413592376066267927330627/8\ 27862312467702621122971692748208606650970070762147228925119344*c_01\ 01_6^25 + 674588763854871798906239854918272582125014974859009738052\ 219122561/662289849974162096898377354198566885320776056609717783140\ 0954752*c_0101_6^24 - 266368783224897261792994276645466280563342662\ 044536158500093373325/662289849974162096898377354198566885320776056\ 6097177831400954752*c_0101_6^23 - 117446303925914102743966374103073\ 8624027516322147571630712266165241/49671738748062157267378301564892\ 51639905820424572883373550716064*c_0101_6^22 + 296607544714335052214198788251760523606519374322057604432602936341/\ 9934347749612431453475660312978503279811640849145766747101432128*c_\ 0101_6^21 + 5423540914552409055999448627900322188204932093633430162\ 770902453303/993434774961243145347566031297850327981164084914576674\ 7101432128*c_0101_6^20 + 615324260871492002577454937161369435669822\ 332902974803807878980183/993434774961243145347566031297850327981164\ 0849145766747101432128*c_0101_6^19 - 2290760184361772440097512737564221289963038336993066424518014529589\ 1/19868695499224862906951320625957006559623281698291533494202864256\ *c_0101_6^18 - 2873583935753774669607261781622411309929307163691231\ 864592676754939/993434774961243145347566031297850327981164084914576\ 6747101432128*c_0101_6^17 + 197180351401769410083258188229572057598\ 03462725038687223326142797105/9934347749612431453475660312978503279\ 811640849145766747101432128*c_0101_6^16 + 6334167907095261965270110951627864507253319400997892296089194431323\ /9934347749612431453475660312978503279811640849145766747101432128*c\ _0101_6^15 - 165832404363719962906832515350676683597416820557377372\ 7720994084319/62089673435077696584222876956115645498822755307161042\ 1693839508*c_0101_6^14 - 216188294874258745311410161139294608659490\ 949717387345098230596875/228375810335917964447716329033988581145095\ 191934385442462101888*c_0101_6^13 + 2790112142340402161630396878787794520653749989856018127978627022876\ 5/9934347749612431453475660312978503279811640849145766747101432128*\ c_0101_6^12 + 52936440420607625810279303843814227647482198866695219\ 18760996534359/4967173874806215726737830156489251639905820424572883\ 373550716064*c_0101_6^11 - 2297939904917843610226330951532735082242\ 5494368027540214160368069301/99343477496124314534756603129785032798\ 11640849145766747101432128*c_0101_6^10 - 29517263606369489392094336772148309134423024996946644403236062941/2\ 8546976291989745555964541129248572643136898991798180307762736*c_010\ 1_6^9 + 14814253638529400313986768253343016660149269844761993038248\ 166234879/993434774961243145347566031297850327981164084914576674710\ 1432128*c_0101_6^8 + 1544061293927767413603782367033668694313218012\ 3205071322316401374625/19868695499224862906951320625957006559623281\ 698291533494202864256*c_0101_6^7 - 7270837761416748751934390329313577737899343433305484542889831660965\ /9934347749612431453475660312978503279811640849145766747101432128*c\ _0101_6^6 - 1349395794689072031900529184170266827439331061076063887\ 77789283795/4139311562338513105614858463741043033254850353810736144\ 62559672*c_0101_6^5 + 200126137937751054196354089229968311973626783\ 379319467517674372477/827862312467702621122971692748208606650970070\ 762147228925119344*c_0101_6^4 + 57051141919677117422905795975663560\ 133377702352073037418220339605/124179346870155393168445753912231290\ 9976455106143220843387679016*c_0101_6^3 - 12893004506678297651860992417367835040077097525174734748978044831/3\ 10448367175388482921114384780578227494113776535805210846919754*c_01\ 01_6^2 + 3133341712901564683584321889952451908827632709319604916075\ 78817/3104483671753884829211143847805782274941137765358052108469197\ 54*c_0101_6 + 13626569644812380717691472596989884721438692077005123\ 6051299558/51741394529231413820185730796763037915685629422634201807\ 819959, c_0101_1 + 810463137346499002183419747401342915186053816795798754758210\ 91/2483586937403107863368915078244625819952910212286441686775358032\ *c_0101_6^36 - 3558353783483497422686247420879605074163277681088706\ 0130838283/41393115623385131056148584637410430332548503538107361446\ 2559672*c_0101_6^35 - 820740060709976891483571417479387008098285670\ 11323595653599147/2069655781169256552807429231870521516627425176905\ 36807231279836*c_0101_6^34 + 13195323250676794970684929841305127186\ 70394950701805130433257411/1241793468701553931684457539122312909976\ 455106143220843387679016*c_0101_6^33 + 206413979319763893926187757658839046307821556519383689555793123/856\ 40928875969236667893623387745717929410696975394540923288208*c_0101_\ 6^32 - 533334443412764308007771635127880896733108727819978312834363\ 259/85640928875969236667893623387745717929410696975394540923288208*\ c_0101_6^31 - 41515546553956007651469782262245218239020851291019277\ 35187104735/4139311562338513105614858463741043033254850353810736144\ 62559672*c_0101_6^30 + 28672887301845617084213750155215320252382172\ 254465245931200798737/124179346870155393168445753912231290997645510\ 6143220843387679016*c_0101_6^29 + 420064828813798015714569366973454\ 67847953131436346369474703105545/1241793468701553931684457539122312\ 909976455106143220843387679016*c_0101_6^28 - 13047672950325033088907020507695660449382187912047434880132485931/2\ 06965578116925655280742923187052151662742517690536807231279836*c_01\ 01_6^27 - 246755532153173802804242655417964223183940525692726407676\ 521440301/248358693740310786336891507824462581995291021228644168677\ 5358032*c_0101_6^26 + 352113918234392794174498999837873010228766866\ 786158935129142755749/248358693740310786336891507824462581995291021\ 2286441686775358032*c_0101_6^25 + 535059304682856762387505448558424\ 07170239416268100238420651162779/2069655781169256552807429231870521\ 51662742517690536807231279836*c_0101_6^24 - 227357267336355257234295888480911518157263224113428866418171579253/\ 827862312467702621122971692748208606650970070762147228925119344*c_0\ 101_6^23 - 19777607616520318818218539114093179895089457595254695435\ 7362134479/31044836717538848292111438478057822749411377653580521084\ 6919754*c_0101_6^22 + 112556889629397843725955164607568320377432935\ 1404822650624675132811/24835869374031078633689150782446258199529102\ 12286441686775358032*c_0101_6^21 + 3892950267153387329459645937070651951389574449493490394588305719231\ /2483586937403107863368915078244625819952910212286441686775358032*c\ _0101_6^20 - 820931981620535932885901639191595262148488836423414267\ 379710544149/124179346870155393168445753912231290997645510614322084\ 3387679016*c_0101_6^19 - 290678380818835037002898304217600679798894\ 6353403950240998207063059/82786231246770262112297169274820860665097\ 0070762147228925119344*c_0101_6^18 + 368026362676536195858380797303739741287271781251215788016358023113/\ 413931156233851310561485846374104303325485035381073614462559672*c_0\ 101_6^17 + 79587388848274981300877660480591131302876464200618491266\ 12378914973/1241793468701553931684457539122312909976455106143220843\ 387679016*c_0101_6^16 - 2488650107171120389671897007895025465076072\ 051571508415839422569429/248358693740310786336891507824462581995291\ 0212286441686775358032*c_0101_6^15 - 1145129647703321244161657215836433518175772939300080019172757588368\ 5/1241793468701553931684457539122312909976455106143220843387679016*\ c_0101_6^14 + 75980273263536597335242180577293123250300170384864540\ 314953103109/856409288759692366678936233877457179294106969753945409\ 23288208*c_0101_6^13 + 12954410120740822078766140172316414423588848\ 032057625320452601085891/124179346870155393168445753912231290997645\ 5106143220843387679016*c_0101_6^12 - 575336467225179028926554203387410120341598488278026550969723165139/\ 1241793468701553931684457539122312909976455106143220843387679016*c_\ 0101_6^11 - 2330213158743360015021103281868368654049923758623622075\ 6494314206579/24835869374031078633689150782446258199529102122864416\ 86775358032*c_0101_6^10 - 45796743474198305424601634231158015536922\ 78504204652182691481641/1427348814599487277798227056462428632156844\ 9495899090153881368*c_0101_6^9 + 2842215362789993959162080398990132\ 718741213549513496354341094833129/413931156233851310561485846374104\ 303325485035381073614462559672*c_0101_6^8 + 646914275435198020798132135181500512095887409868577235915754865217/\ 827862312467702621122971692748208606650970070762147228925119344*c_0\ 101_6^7 - 816466661501775163556415338318256903235535280658039870581\ 614554157/206965578116925655280742923187052151662742517690536807231\ 279836*c_0101_6^6 - 25259166796956974358971525228581495740841642365\ 268583129332287574/517413945292314138201857307967630379156856294226\ 34201807819959*c_0101_6^5 + 379069529581369535949164160152168436187\ 9038794116910796021903832037/24835869374031078633689150782446258199\ 52910212286441686775358032*c_0101_6^4 + 139568652558548443603990607954987336714816019728802705307472202533/\ 1241793468701553931684457539122312909976455106143220843387679016*c_\ 0101_6^3 - 96682204902491941052893703742473014123332366820925961632\ 589916633/310448367175388482921114384780578227494113776535805210846\ 919754*c_0101_6^2 - 25579791048290245142359249282954744584440544914\ 54680892695027189/3104483671753884829211143847805782274941137765358\ 05210846919754*c_0101_6 + 35774618656377244637181962436097466221557\ 71423321101914261549580/1552241835876942414605571923902891137470568\ 88267902605423459877, c_0101_2 - 925723844962510823570345490858965703679792602652673138688116\ 7/827862312467702621122971692748208606650970070762147228925119344*c\ _0101_6^36 + 986168435443285258908399882307065158933585927738509103\ 81235307/3311449249870810484491886770992834426603880283048588915700\ 477376*c_0101_6^35 + 6845414002751305397718500793799333356570074697\ 50836823239549513/4967173874806215726737830156489251639905820424572\ 883373550716064*c_0101_6^34 - 1839706397241557889878882088838460457\ 382227311996974231931646971/496717387480621572673783015648925163990\ 5820424572883373550716064*c_0101_6^33 - 293404589411931052743692860988834879109641916450576287270531935/342\ 563715503876946671574493550982871717642787901578163693152832*c_0101\ _6^32 + 74632891592838865526101183784579687613357334389636971050752\ 6277/34256371550387694667157449355098287171764278790157816369315283\ 2*c_0101_6^31 + 363756102317489509433065641364628061937373615638142\ 10856622578075/9934347749612431453475660312978503279811640849145766\ 747101432128*c_0101_6^30 - 8016900883874542562416929738478624724940\ 2804596515401641148096785/99343477496124314534756603129785032798116\ 40849145766747101432128*c_0101_6^29 - 41776178801387228542278864090066439180863019008063410855258373521/3\ 311449249870810484491886770992834426603880283048588915700477376*c_0\ 101_6^28 + 21693763552844268978676929710139655107995613709052959408\ 9620897439/99343477496124314534756603129785032798116408491457667471\ 01432128*c_0101_6^27 + 12380876866928448010603946803064036666989110\ 2931075225379839605295/33114492498708104844918867709928344266038802\ 83048588915700477376*c_0101_6^26 - 59827980338861390996010808811010197486245843704849346953825396241/1\ 241793468701553931684457539122312909976455106143220843387679016*c_0\ 101_6^25 - 20117434371573230291596512282813668862391696430555979454\ 430449097/206965578116925655280742923187052151662742517690536807231\ 279836*c_0101_6^24 + 3004207314951465881249003703501022669049299336\ 13842264422329767151/3311449249870810484491886770992834426603880283\ 048588915700477376*c_0101_6^23 + 7861384184137549592818259048749508\ 54996490587577456451427724822783/3311449249870810484491886770992834\ 426603880283048588915700477376*c_0101_6^22 - 237096406332300726619717141970534385961233749293664925560554201649/\ 1655724624935405242245943385496417213301940141524294457850238688*c_\ 0101_6^21 - 2867831625371204246863599169010357839020550777270209012\ 146831663797/496717387480621572673783015648925163990582042457288337\ 3550716064*c_0101_6^20 + 939259145724962669284157318054146246289552\ 349382675790526832129339/496717387480621572673783015648925163990582\ 0424572883373550716064*c_0101_6^19 + 6383765116086619627798285681340555721149888050731664282128439950017\ /4967173874806215726737830156489251639905820424572883373550716064*c\ _0101_6^18 - 197006835689534585780768930145774500229589384761618490\ 6052267794165/99343477496124314534756603129785032798116408491457667\ 47101432128*c_0101_6^17 - 19355833893129624557882451257593658181044\ 13038989138255370769291071/8278623124677026211229716927482086066509\ 70070762147228925119344*c_0101_6^16 + 500473344902564645128221049535668064596156473865637246873280288637/\ 4967173874806215726737830156489251639905820424572883373550716064*c_\ 0101_6^15 + 5526903597044256478645865893066452779406067138458454753\ 391360820521/165572462493540524224594338549641721330194014152429445\ 7850238688*c_0101_6^14 + 116203054794590820359411115413692480484336\ 1191869369630134187603/10705116109496154583486702923468214741176337\ 121924317615411026*c_0101_6^13 - 1230000921760012245559989552716385\ 5270431919655002049823243847575469/33114492498708104844918867709928\ 34426603880283048588915700477376*c_0101_6^12 - 147300363820944376177593123341215300524965953737532840334051710611/\ 413931156233851310561485846374104303325485035381073614462559672*c_0\ 101_6^11 + 40468084898867803766191618381708940376363775569744300600\ 53547026561/1241793468701553931684457539122312909976455106143220843\ 387679016*c_0101_6^10 + 3424504019919268983076542769719581003903756\ 9302848969739974793823/57093952583979491111929082258497145286273797\ 983596360615525472*c_0101_6^9 - 57028235703214368624015272271283381\ 89109126419950727344978684389975/2483586937403107863368915078244625\ 819952910212286441686775358032*c_0101_6^8 - 3176260139104076064535734608339438588723417861897290595317657421249\ /4967173874806215726737830156489251639905820424572883373550716064*c\ _0101_6^7 + 1215936511343915029402531925589875558042603725466382731\ 7980832518551/99343477496124314534756603129785032798116408491457667\ 47101432128*c_0101_6^6 + 745161451728669882868090286239259740033565\ 54309846402066123377979/2069655781169256552807429231870521516627425\ 17690536807231279836*c_0101_6^5 - 102134815968589648819098764574613\ 6868181163520524068777638165582135/24835869374031078633689150782446\ 25819952910212286441686775358032*c_0101_6^4 - 50711843569810918785496268564603680298351936556158407056864438251/6\ 20896734350776965842228769561156454988227553071610421693839508*c_01\ 01_6^3 + 2116149866401231771910305359648715750737357344721977544525\ 1464551/31044836717538848292111438478057822749411377653580521084691\ 9754*c_0101_6^2 + 1853894483310202605969522832868216321851836697783\ 87879247455964/5174139452923141382018573079676303791568562942263420\ 1807819959*c_0101_6 - 637605995399127217904836699374806432363184968\ 540590767935645083/155224183587694241460557192390289113747056888267\ 902605423459877, c_0101_6^37 - 2*c_0101_6^36 - 14*c_0101_6^35 + 25*c_0101_6^34 + 97*c_0101_6^33 - 145*c_0101_6^32 - 445*c_0101_6^31 + 513*c_0101_6^30 + 1555*c_0101_6^29 - 1251*c_0101_6^28 - 4480*c_0101_6^27 + 2272*c_0101_6^26 + 11177*c_0101_6^25 - 2895*c_0101_6^24 - 25870*c_0101_6^23 + 130*c_0101_6^22 + 58782*c_0101_6^21 + 13838*c_0101_6^20 - 123997*c_0101_6^19 - 50008*c_0101_6^18 + 218470*c_0101_6^17 + 112318*c_0101_6^16 - 304316*c_0101_6^15 - 180695*c_0101_6^14 + 330988*c_0101_6^13 + 220908*c_0101_6^12 - 280990*c_0101_6^11 - 219564*c_0101_6^10 + 183202*c_0101_6^9 + 174903*c_0101_6^8 - 84908*c_0101_6^7 - 96824*c_0101_6^6 + 23568*c_0101_6^5 + 30864*c_0101_6^4 - 3008*c_0101_6^3 - 4672*c_0101_6^2 + 128*c_0101_6 + 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB