Magma V2.19-8 Tue Aug 20 2013 16:17:06 on localhost [Seed = 1157945748] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1342 geometric_solution 5.21781018 oriented_manifold CS_known 0.0000000000000000 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.590954591681 0.191115621155 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.877092728190 0.304320224786 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.344600331895 0.507089032448 4 2 6 5 3120 0132 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 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.461983820992 0.435233467867 5 6 2 3 3201 0132 0132 3120 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.461983820992 0.435233467867 5 5 3 4 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.853231876475 1.080366550867 6 4 6 3 2310 0132 3201 0132 0 0 0 0 0 1 -1 0 1 0 -1 0 1 0 0 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.478105739400 1.254799912957 ==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' : negation(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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0101_0, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 4625568168606037584389884376652681284250975902980495010956450404854\ 260716314486905269772021349984021708358245/382312080070612798752166\ 4503416223725935053683903198295784328226231902042669015975405160885\ 04423836933448121996*c_1001_3^21 + 1120143602745915007444594677154130586576498556502034951710997958512\ 8897986019979111052886539921573332453842281/19115604003530639937608\ 3225170811186296752684195159914789216411311595102133450798770258044\ 252211918466724060998*c_1001_3^20 - 5904471999751012966920320585687086808125121271369452400539380662158\ 29002292085053603091057753824122059427728875/1911560400353063993760\ 8322517081118629675268419515991478921641131159510213345079877025804\ 4252211918466724060998*c_1001_3^19 + 1608522032052596370670108635649438907998509016333939647796843804147\ 882404232580693739841237030629375092787356491/127437360023537599584\ 0554834472074575311684561301066098594776075410634014223005325135053\ 62834807945644482707332*c_1001_3^18 - 1214414410631334920514934053451166437135518282038416852360860317976\ 5286709405080603631450143638769725959817143951/95578020017653199688\ 0416125854055931483763420975799573946082056557975510667253993851290\ 22126105959233362030499*c_1001_3^17 + 7147715519080152592547951612098628456953192226824477167898712465483\ 873343603158982744035571757930473822670855036/318593400058843998960\ 1387086180186438279211403252665246486940188526585035557513312837634\ 0708701986411120676833*c_1001_3^16 - 6534100197026687039636573642196010104668198972814712603713830706121\ 86054367282871857338201821764107461955708356221/3823120800706127987\ 5216645034162237259350536839031982957843282262319020426690159754051\ 6088504423836933448121996*c_1001_3^15 + 1200904074246569458888205082085545323557139425714486239131409054673\ 98647692784461614352841170559924471730430312475/1911560400353063993\ 7608322517081118629675268419515991478921641131159510213345079877025\ 8044252211918466724060998*c_1001_3^14 - 4839065852416782686261789292337766837110894338137928290946870244681\ 66778756627000862509177299120040669652208365690/3185934000588439989\ 6013870861801864382792114032526652464869401885265850355575133128376\ 340708701986411120676833*c_1001_3^13 + 4499986703518296590653151898113840053633174742358568746428938452551\ 36039065974030148167242289881435142698209303744/9557802001765319968\ 8041612585405593148376342097579957394608205655797551066725399385129\ 022126105959233362030499*c_1001_3^12 + 3238473662575075988110139230203010794158698589139713774212654829781\ 38311884137481850349561183805371778622469920028/9557802001765319968\ 8041612585405593148376342097579957394608205655797551066725399385129\ 022126105959233362030499*c_1001_3^11 + 3141498391192516990138088412020239788630201980406028562598632927858\ 139313408199106925345523535308014292115087695985/127437360023537599\ 5840554834472074575311684561301066098594776075410634014223005325135\ 05362834807945644482707332*c_1001_3^10 + 7649740919998279821087015762790395159071200053552171569852750550400\ 70221581853150880615214031206603493976903162393/5622236471626658805\ 1789183873767995969633142410341151408593062150469147686309058461840\ 60125065056425491884147*c_1001_3^9 - 7428751746582039054343968746823314507204275031001955909616636987450\ 364897152429432050650675970223290427573973263527/127437360023537599\ 5840554834472074575311684561301066098594776075410634014223005325135\ 05362834807945644482707332*c_1001_3^8 + 7303216196484166562489745291843873676580518695814857737154828019856\ 556736132993068327121482685900127109043114685697/127437360023537599\ 5840554834472074575311684561301066098594776075410634014223005325135\ 05362834807945644482707332*c_1001_3^7 - 1724809519740643276315391953251765955290099017677006620201403263106\ 5179245104814806802879561300515936014293971985243/19115604003530639\ 9376083225170811186296752684195159914789216411311595102133450798770\ 258044252211918466724060998*c_1001_3^6 - 6929095257724461867043349990342331672430682662333547078243143014725\ 6513374058835040435225864716576656773483973373797/38231208007061279\ 8752166450341622372593505368390319829578432822623190204266901597540\ 516088504423836933448121996*c_1001_3^5 + 5466301216821149956108671071276761535237920642262165229200071458473\ 110085122812368847756536208850843237942518382877/955780200176531996\ 8804161258540559314837634209757995739460820565579755106672539938512\ 9022126105959233362030499*c_1001_3^4 - 1122605034662190283043559205341072483024280196280929074855377806834\ 5539049241494291250194471883295445975301545213567/38231208007061279\ 8752166450341622372593505368390319829578432822623190204266901597540\ 516088504423836933448121996*c_1001_3^3 + 2839155593830854637049186710329787476553476428675610041214749051153\ 6030103898048945113488895409114273739285444780/56222364716266588051\ 7891838737679959696331424103411514085930621504691476863090584618406\ 0125065056425491884147*c_1001_3^2 + 6953346239926023746851865904163949437776360569476541548002044449340\ 753347419000384874618951668223307801387735268215/382312080070612798\ 7521664503416223725935053683903198295784328226231902042669015975405\ 16088504423836933448121996*c_1001_3 - 2132887038826030187183884210966302934482684998708346683359799573815\ 744904271932414901921414717450307375285459630831/382312080070612798\ 7521664503416223725935053683903198295784328226231902042669015975405\ 16088504423836933448121996, c_0011_0 - 1, c_0011_1 - 529828607295302447448914863858755298537392424433453969351252\ 30873308283700119482209183843044577/1470777796598815134704985193913\ 7553920816723982396278795845955031283905571634092590981983407537044\ 756*c_1001_3^21 + 6133918383658624794764019944422333686402567550472\ 0681253875984827474203247772875810398073708483/36769444914970378367\ 6246298478438848020418099559906969896148875782097639290852314774549\ 5851884261189*c_1001_3^20 - 336863519186336500055103688894458794997\ 7071676983510003892024841039184912114998856202335902727496/36769444\ 9149703783676246298478438848020418099559906969896148875782097639290\ 8523147745495851884261189*c_1001_3^19 + 5241397367511845980028671621713694738738698193328580168031705408479\ 3597616842085609078856936684863/14707777965988151347049851939137553\ 920816723982396278795845955031283905571634092590981983407537044756*\ c_1001_3^18 - 13633899322399263862585502416513567091996197680054358\ 8876493909484059316498621958135383930223603142/36769444914970378367\ 6246298478438848020418099559906969896148875782097639290852314774549\ 5851884261189*c_1001_3^17 + 216788903763706667398340671356824358031\ 454485862258146330911110611558751131201045572876239649542064/367694\ 4491497037836762462984784388480204180995599069698961488757820976392\ 908523147745495851884261189*c_1001_3^16 - 7304018739552608115697082645971008776737883860229225539729880607047\ 723082201866000459735539910460593/147077779659881513470498519391375\ 5392081672398239627879584595503128390557163409259098198340753704475\ 6*c_1001_3^15 + 303559943321134130651245155681390114694265918136727\ 731856660902498093855162177512473360781324890742/367694449149703783\ 6762462984784388480204180995599069698961488757820976392908523147745\ 495851884261189*c_1001_3^14 - 3315522976005035550165830250375827797\ 5809086820820392007297945158609477367065647400354264821859103897/73\ 5388898299407567352492596956877696040836199119813939792297751564195\ 2785817046295490991703768522378*c_1001_3^13 + 3338618349360584475435581194794386412933957687799327026683310968065\ 789829122705699905620599629710139/735388898299407567352492596956877\ 6960408361991198139397922977515641952785817046295490991703768522378\ *c_1001_3^12 + 7938673006102090393121644321444691276605120644997961\ 245338693147822413134088289123207174968368525845/735388898299407567\ 3524925969568776960408361991198139397922977515641952785817046295490\ 991703768522378*c_1001_3^11 + 1126460325194421756590316488117560400\ 03054868955777013519291595119169506632547512660573399529782989157/1\ 4707777965988151347049851939137553920816723982396278795845955031283\ 905571634092590981983407537044756*c_1001_3^10 + 1549348881519091495067759939147814836047778149519574727803433125855\ 60639733930176849666887054660983003/3676944491497037836762462984784\ 3884802041809955990696989614887578209763929085231477454958518842611\ 89*c_1001_3^9 - 122471611641233619744909092924327233912911814859392\ 690456196856427521445111139523854651780007304487013/147077779659881\ 5134704985193913755392081672398239627879584595503128390557163409259\ 0981983407537044756*c_1001_3^8 + 2255732494222245441674555451304488\ 9318223994604962617802841678679177449263842576695673501296678139460\ 9/14707777965988151347049851939137553920816723982396278795845955031\ 283905571634092590981983407537044756*c_1001_3^7 - 1795765319601012416350467093975886876553779587214051852087010202910\ 84646863444043788198506805720397189/7353888982994075673524925969568\ 7769604083619911981393979229775156419527858170462954909917037685223\ 78*c_1001_3^6 - 869226041872692852944503313397920028926568668540322\ 115750631045083537992114470908797207445195414688841/147077779659881\ 5134704985193913755392081672398239627879584595503128390557163409259\ 0981983407537044756*c_1001_3^5 + 2851100333815529278548570813557262\ 6239406567437778731542551975375427577299553669115228463587345390223\ /735388898299407567352492596956877696040836199119813939792297751564\ 1952785817046295490991703768522378*c_1001_3^4 - 1095258847152693456287635575990728506328315688434226361953842523186\ 31950904439984875257323816230557161/1470777796598815134704985193913\ 7553920816723982396278795845955031283905571634092590981983407537044\ 756*c_1001_3^3 + 34930161642232698076577455294054258840385275392474\ 14622484404310566677029294977763259502561366830023/3676944491497037\ 8367624629847843884802041809955990696989614887578209763929085231477\ 45495851884261189*c_1001_3^2 + 883057107671408669848526705041869191\ 40089171093240066465601584495027601234101175380590078667972627967/1\ 4707777965988151347049851939137553920816723982396278795845955031283\ 905571634092590981983407537044756*c_1001_3 - 6572735233179026638652657051897292141764164763053323144657981860649\ 811215494949668259042612830060657/147077779659881513470498519391375\ 5392081672398239627879584595503128390557163409259098198340753704475\ 6, c_0011_4 + 431311673213363048854184760075399218688768597682939918524581\ 6678681494033862928208771036308522756963/24675165554648491574188801\ 3490313785251846137416463249543967795262098519580026589694275186529\ 0786230191742*c_1001_3^21 - 190654217272696119063214222631845682659\ 54272335417338789319364247623730044683618410567989595110380757/2467\ 5165554648491574188801349031378525184613741646324954396779526209851\ 95800265896942751865290786230191742*c_1001_3^20 + 1092692756851142107673707641770483378577359516228522884245080726115\ 400533543872680894937358641055122551/246751655546484915741888013490\ 3137852518461374164632495439677952620985195800265896942751865290786\ 230191742*c_1001_3^19 - 2017982754824949325305856912924033843207120\ 917154573921365958840028645743699602951660867796235943038182/123375\ 8277732424578709440067451568926259230687082316247719838976310492597\ 900132948471375932645393115095871*c_1001_3^18 + 2174757823493804461180980463651407384466029980369450428666517718198\ 9473164587501882270502533491238869236/12337582777324245787094400674\ 5156892625923068708231624771983897631049259790013294847137593264539\ 3115095871*c_1001_3^17 - 306354355761668140444793688552886567816705\ 38531319450313986214316096630973977116406280769439803145466577/1233\ 7582777324245787094400674515689262592306870823162477198389763104925\ 97900132948471375932645393115095871*c_1001_3^16 + 5797579817258317215288368948911988680088478038902632733089716544315\ 84775100496535504507658103246929179857/2467516555464849157418880134\ 9031378525184613741646324954396779526209851958002658969427518652907\ 86230191742*c_1001_3^15 + 25105122547197203203736075816481971102883\ 005078794775095493224521162525153496564916301274665640694128899/246\ 7516555464849157418880134903137852518461374164632495439677952620985\ 195800265896942751865290786230191742*c_1001_3^14 + 5377735899430658179017945682753732356783706257685466826150915999286\ 202460222789943604666714694253917180689/246751655546484915741888013\ 4903137852518461374164632495439677952620985195800265896942751865290\ 786230191742*c_1001_3^13 + 5745690202162701297862244790579972631653\ 56619477115999704793969622335804414653395051260582100684830737213/2\ 4675165554648491574188801349031378525184613741646324954396779526209\ 85195800265896942751865290786230191742*c_1001_3^12 - 1421880466393860916682159969050242901234329990923413147751192829217\ 189430325370410721509626009412890853153/246751655546484915741888013\ 4903137852518461374164632495439677952620985195800265896942751865290\ 786230191742*c_1001_3^11 - 4809457410987328969446045056409610715721\ 636249078542314223156160328437184495941941896481554838528920601134/\ 1233758277732424578709440067451568926259230687082316247719838976310\ 492597900132948471375932645393115095871*c_1001_3^10 - 2621186429473714297833433577572327055858479617743712297261260265536\ 8761550210510020238978180357118796638201/12337582777324245787094400\ 6745156892625923068708231624771983897631049259790013294847137593264\ 5393115095871*c_1001_3^9 - 6376664174818382656960691671255453540457\ 03679683312140713645697992356352864967130608743411229216330070257/2\ 4675165554648491574188801349031378525184613741646324954396779526209\ 85195800265896942751865290786230191742*c_1001_3^8 - 7903261385433325561277194802503968980131966270205122823585999004778\ 158942757169847679536501172303261305407/123375827773242457870944006\ 7451568926259230687082316247719838976310492597900132948471375932645\ 393115095871*c_1001_3^7 + 13492877637865416036134538987656053025869\ 436092104913262195651751178305747663212606302410093036922778106474/\ 1233758277732424578709440067451568926259230687082316247719838976310\ 492597900132948471375932645393115095871*c_1001_3^6 + 7755410604088097560197400145053004442943188509346556475174300510098\ 6235054753308417704169439315234012886737/24675165554648491574188801\ 3490313785251846137416463249543967795262098519580026589694275186529\ 0786230191742*c_1001_3^5 + 1161504965354327284842195669806371527076\ 1133794162265092937578026040165163928346293995752124942824702090067\ /246751655546484915741888013490313785251846137416463249543967795262\ 0985195800265896942751865290786230191742*c_1001_3^4 + 3610624508985778821448714284318801883970740310871587278046878312172\ 872941166540522372809136610197963136452/123375827773242457870944006\ 7451568926259230687082316247719838976310492597900132948471375932645\ 393115095871*c_1001_3^3 - 43265456383796479744416596449083108602595\ 5482735912117792057665628628892441456735337935256255600118189909/12\ 3375827773242457870944006745156892625923068708231624771983897631049\ 2597900132948471375932645393115095871*c_1001_3^2 - 9030434088091080643527498810227226532044467846279366075640294304594\ 491775070555564027269724512414533758265/246751655546484915741888013\ 4903137852518461374164632495439677952620985195800265896942751865290\ 786230191742*c_1001_3 - 4791850034830487133602132769253635118272038\ 22518830099860638349807381189723099031285834742974798263505075/1233\ 7582777324245787094400674515689262592306870823162477198389763104925\ 97900132948471375932645393115095871, c_0011_5 + 196209952793885568567404687795475644382884006004702546273356\ 31812587438603389012211201480878105/1470777796598815134704985193913\ 7553920816723982396278795845955031283905571634092590981983407537044\ 756*c_1001_3^21 - 4574193540451955642514356718073140060859860391071\ 2947789181000500576562747259275332160883267263/73538889829940756735\ 2492596956877696040836199119813939792297751564195278581704629549099\ 1703768522378*c_1001_3^20 + 249739865453213604481788165886979433451\ 0848715213336829177602301535686731310625396149376103511861/73538889\ 8299407567352492596956877696040836199119813939792297751564195278581\ 7046295490991703768522378*c_1001_3^19 - 1957728714054225908460754480787433977817818414557688626959539650683\ 4931905104668874247252608616337/14707777965988151347049851939137553\ 920816723982396278795845955031283905571634092590981983407537044756*\ c_1001_3^18 + 50766434968852361076236611441767955101589182437375594\ 421601662042516116783881575658422837132761930/367694449149703783676\ 2462984784388480204180995599069698961488757820976392908523147745495\ 851884261189*c_1001_3^17 - 8235644952319053319192379519846092646267\ 7767183417499039026083574058472612155217913802264583636918/36769444\ 9149703783676246298478438848020418099559906969896148875782097639290\ 8523147745495851884261189*c_1001_3^16 + 2734903178099821583761119450291844663659673039269165942350669213618\ 295720025726378795477618202617809/147077779659881513470498519391375\ 5392081672398239627879584595503128390557163409259098198340753704475\ 6*c_1001_3^15 - 283294868944043885926686977720910382701096201210384\ 344631460665603217480285326355995073868434010617/735388898299407567\ 3524925969568776960408361991198139397922977515641952785817046295490\ 991703768522378*c_1001_3^14 + 6209488173643175037321118907799667817\ 827561909499741599173093940460527996501694964589318783945190063/367\ 6944491497037836762462984784388480204180995599069698961488757820976\ 392908523147745495851884261189*c_1001_3^13 - 8230283233615604649869573238393934522220073437613666439552079957100\ 32062274496613109251225031073458/3676944491497037836762462984784388\ 480204180995599069698961488757820976392908523147745495851884261189*\ c_1001_3^12 - 83897829461290631742010380297914537249645559457924947\ 6123290572647643838331771961779050889135515048/36769444914970378367\ 6246298478438848020418099559906969896148875782097639290852314774549\ 5851884261189*c_1001_3^11 - 417335379925289725092166351315963122667\ 09810169308230488662113568854915568701842548349786297361984151/1470\ 7777965988151347049851939137553920816723982396278795845955031283905\ 571634092590981983407537044756*c_1001_3^10 - 5711546321290057979032390575013798014613564859799427974350557149308\ 3840850651407755924120910067473413/36769444914970378367624629847843\ 8848020418099559906969896148875782097639290852314774549585188426118\ 9*c_1001_3^9 + 4839235855510432005166370626556864187617630774776928\ 5966903657074198573577648767250036423929201199725/14707777965988151\ 3470498519391375539208167239823962787958459550312839055716340925909\ 81983407537044756*c_1001_3^8 - 106720139890359979569611151652645130\ 502379749776694305944419787623447571032511073086313724843856322623/\ 1470777796598815134704985193913755392081672398239627879584595503128\ 3905571634092590981983407537044756*c_1001_3^7 + 6990866355687180464861860575171097286371249103885722237842517403521\ 8070022206504461860503684390406237/73538889829940756735249259695687\ 7696040836199119813939792297751564195278581704629549099170376852237\ 8*c_1001_3^6 + 3084551195361310316865837989601403427491082148743797\ 54252336746561598705997162045484221022863607806461/1470777796598815\ 1347049851939137553920816723982396278795845955031283905571634092590\ 981983407537044756*c_1001_3^5 - 41863122721652798469279757357017967\ 91913595697780178990344801245184072926842848169832798208025065138/3\ 6769444914970378367624629847843884802041809955990696989614887578209\ 76392908523147745495851884261189*c_1001_3^4 + 6340630928795891788142359409692061245287389302489622575445642585332\ 5998610549088256041455080805116895/14707777965988151347049851939137\ 5539208167239823962787958459550312839055716340925909819834075370447\ 56*c_1001_3^3 - 140204312472904838910244617099620103036261717145234\ 3196630692245056320450055406449879029853012805885/36769444914970378\ 3676246298478438848020418099559906969896148875782097639290852314774\ 5495851884261189*c_1001_3^2 - 3039324235526750456358913302978855240\ 8894299745627349192110368259811794342036044965559742539552947719/14\ 7077779659881513470498519391375539208167239823962787958459550312839\ 05571634092590981983407537044756*c_1001_3 - 5967700260593767795386745008481326511349077813999667030881911240840\ 543813552461477823071328130683085/147077779659881513470498519391375\ 5392081672398239627879584595503128390557163409259098198340753704475\ 6, c_0101_0 - 566600130221937458308597557032475932077351921730666475289214\ 57796055055357521519596669650517629/1470777796598815134704985193913\ 7553920816723982396278795845955031283905571634092590981983407537044\ 756*c_1001_3^21 + 1351739649331471826888621113402302787536247788699\ 43137975692112118287253005161064957439614017531/7353888982994075673\ 5249259695687769604083619911981393979229775156419527858170462954909\ 91703768522378*c_1001_3^20 - 72229953240388107317290298335524314493\ 57703906960471181792783571877984532459060533672495160923421/7353888\ 9829940756735249259695687769604083619911981393979229775156419527858\ 17046295490991703768522378*c_1001_3^19 + 5807680460766626007753332466103337791888322646219475246969558069692\ 7654076093567020878497751573693/14707777965988151347049851939137553\ 920816723982396278795845955031283905571634092590981983407537044756*\ c_1001_3^18 - 14773599905702066959084780087963503098570951667689629\ 7417997275933655350918510639254356918525966543/36769444914970378367\ 6246298478438848020418099559906969896148875782097639290852314774549\ 5851884261189*c_1001_3^17 + 252357143578117918292044208869174396625\ 855578501921803582777771542810295461657017730137117483314913/367694\ 4491497037836762462984784388480204180995599069698961488757820976392\ 908523147745495851884261189*c_1001_3^16 - 7937822829569471402052428367380775693764169818056124780313291308446\ 547285465303271554575365643753685/147077779659881513470498519391375\ 5392081672398239627879584595503128390557163409259098198340753704475\ 6*c_1001_3^15 + 120752085546295331705727313844681854141435059112581\ 6017433497308620485023085008028827925346720163489/73538889829940756\ 7352492596956877696040836199119813939792297751564195278581704629549\ 0991703768522378*c_1001_3^14 - 177635360682851865958462341131845095\ 03048951182871204647733557554536969581762017621688980369473415275/3\ 6769444914970378367624629847843884802041809955990696989614887578209\ 76392908523147745495851884261189*c_1001_3^13 + 4367709220429554374192880122140437587013362679729483233923091457752\ 757435961325405795371811843912573/367694449149703783676246298478438\ 8480204180995599069698961488757820976392908523147745495851884261189\ *c_1001_3^12 + 4182304126660836806664982296879677502951750637377876\ 947371776579961961175995705703164879590517366922/367694449149703783\ 6762462984784388480204180995599069698961488757820976392908523147745\ 495851884261189*c_1001_3^11 + 1214812446363364243359428504505528627\ 84915669911593918478962378099224995143159435346454770159830200679/1\ 4707777965988151347049851939137553920816723982396278795845955031283\ 905571634092590981983407537044756*c_1001_3^10 + 1614878054122006183006523288882002108453958796255166841692981331335\ 10160209415500128485980042141386681/3676944491497037836762462984784\ 3884802041809955990696989614887578209763929085231477454958518842611\ 89*c_1001_3^9 - 226629863563933426040742470347096441599112744405123\ 203843046762456661659864861197201383973606023558653/147077779659881\ 5134704985193913755392081672398239627879584595503128390557163409259\ 0981983407537044756*c_1001_3^8 + 2474457311889268777961291228158294\ 7233299867374482066591845834807163736597301328295408343832983429643\ 9/14707777965988151347049851939137553920816723982396278795845955031\ 283905571634092590981983407537044756*c_1001_3^7 - 2247821270949444873801944920205846917109886880504217161229360569952\ 98243503590437099804316239267635459/7353888982994075673524925969568\ 7769604083619911981393979229775156419527858170462954909917037685223\ 78*c_1001_3^6 - 874374594422800322652175826217844593038669711243853\ 007037536365235031082677395924597431199685848466009/147077779659881\ 5134704985193913755392081672398239627879584595503128390557163409259\ 0981983407537044756*c_1001_3^5 + 4614214441236517815391868646395383\ 3606831892845868191893251535246596984055909782242534307837187446059\ /367694449149703783676246298478438848020418099559906969896148875782\ 0976392908523147745495851884261189*c_1001_3^4 - 1042279663718115125762383171319324376391220659629446248367076173944\ 67651949610589317617266122466151727/1470777796598815134704985193913\ 7553920816723982396278795845955031283905571634092590981983407537044\ 756*c_1001_3^3 + 16304687322700647162025805732038412337794434877022\ 217210774097767361809084882814070301384120024280119/367694449149703\ 7836762462984784388480204180995599069698961488757820976392908523147\ 745495851884261189*c_1001_3^2 + 88865764521133657831612694309339473\ 520560873647503767682523823221062465275458278010419581041777059007/\ 1470777796598815134704985193913755392081672398239627879584595503128\ 3905571634092590981983407537044756*c_1001_3 - 1178801050926725048111562556679509629431157758637151790811534403883\ 8586681308587830459805023512646887/14707777965988151347049851939137\ 5539208167239823962787958459550312839055716340925909819834075370447\ 56, c_0101_5 + 109433076079062727711053683147538341677502493449529974599495\ 00369646823129699022594532597172003032049/4935033110929698314837760\ 2698062757050369227483292649908793559052419703916005317938855037305\ 81572460383484*c_1001_3^21 - 23991119915671127173069703208679669737\ 081007780311912229126981653578007213848432342382114557318651003/246\ 7516555464849157418880134903137852518461374164632495439677952620985\ 195800265896942751865290786230191742*c_1001_3^20 + 1384929349219275543456411145681785043371293673860250907000409275578\ 859435340932406546340392981334244539/246751655546484915741888013490\ 3137852518461374164632495439677952620985195800265896942751865290786\ 230191742*c_1001_3^19 - 1013716299173958259576319591677683358285033\ 1214407421570110806723376264307339576923375769852542108971997/49350\ 3311092969831483776026980627570503692274832926499087935590524197039\ 1600531793885503730581572460383484*c_1001_3^18 + 2744598277906778959554135546187829280576140317782839062594675598932\ 9411036546312557831074248044503798153/12337582777324245787094400674\ 5156892625923068708231624771983897631049259790013294847137593264539\ 3115095871*c_1001_3^17 - 376671827796122247248025322144222403285661\ 24476147362285583797325903817584610280022651159910982699614494/1233\ 7582777324245787094400674515689262592306870823162477198389763104925\ 97900132948471375932645393115095871*c_1001_3^16 + 1456925077610523834350050035910413606890718768412281971774509699896\ 198665639981956334792767311977847808393/493503311092969831483776026\ 9806275705036922748329264990879355905241970391600531793885503730581\ 572460383484*c_1001_3^15 + 6562569948025723033028834753867140357656\ 1734505634715501316314128412086121084783037265587874472492432445/24\ 6751655546484915741888013490313785251846137416463249543967795262098\ 5195800265896942751865290786230191742*c_1001_3^14 + 3383301751393095439237203877991152180260593783371113034812686447279\ 336100520085757673995511409349015477370/123375827773242457870944006\ 7451568926259230687082316247719838976310492597900132948471375932645\ 393115095871*c_1001_3^13 + 4968059593401956154700517792781006394691\ 53311119489430712162923285617151467094294180418607481671786382670/1\ 2337582777324245787094400674515689262592306870823162477198389763104\ 92597900132948471375932645393115095871*c_1001_3^12 - 1139629347039062343039934807110952650037705433655685832251952326539\ 896208959780248979962913335359708375883/123375827773242457870944006\ 7451568926259230687082316247719838976310492597900132948471375932645\ 393115095871*c_1001_3^11 - 2419788171263161829537306702316322619190\ 2444761204321937969458017411955307952206393978357328746076278289603\ /493503311092969831483776026980627570503692274832926499087935590524\ 1970391600531793885503730581572460383484*c_1001_3^10 - 3337701567168594541896434838960377067350324069051476378158340541448\ 4956655119074710685657017133192179286849/12337582777324245787094400\ 6745156892625923068708231624771983897631049259790013294847137593264\ 5393115095871*c_1001_3^9 - 4563045116406703825317543799831440329964\ 232838052904807351467975328623093865641345511672478229186339703059/\ 4935033110929698314837760269806275705036922748329264990879355905241\ 970391600531793885503730581572460383484*c_1001_3^8 - 3101250140046533129157599409272559522208072488389192264726021032420\ 2991033404602610698963532063610014684795/49350331109296983148377602\ 6980627570503692274832926499087935590524197039160053179388550373058\ 1572460383484*c_1001_3^7 + 3154954870268179444747841002086729660182\ 0088796304329435687275629397730653274233231752937636055376050861865\ /246751655546484915741888013490313785251846137416463249543967795262\ 0985195800265896942751865290786230191742*c_1001_3^6 + 2004347712854639565474127026821463168021898318230453730010370828039\ 64520094993245814122288194859524629672553/4935033110929698314837760\ 2698062757050369227483292649908793559052419703916005317938855037305\ 81572460383484*c_1001_3^5 + 709342989656610407955782547077119221532\ 9487570315693765662095270736612135180370877855975498371763978557002\ /123375827773242457870944006745156892625923068708231624771983897631\ 0492597900132948471375932645393115095871*c_1001_3^4 + 6362372113009315338013118907546613705231963358844760506986943461176\ 895481547413555876494530084151497774775/493503311092969831483776026\ 9806275705036922748329264990879355905241970391600531793885503730581\ 572460383484*c_1001_3^3 + 62472393087105389059327161766143090877658\ 3381033381048817050516350237203771418273576106653909189389390371/12\ 3375827773242457870944006745156892625923068708231624771983897631049\ 2597900132948471375932645393115095871*c_1001_3^2 - 1809242138892167956056865118436026392228786567420403679040205188308\ 9768514877899293975069144134304467987423/49350331109296983148377602\ 6980627570503692274832926499087935590524197039160053179388550373058\ 1572460383484*c_1001_3 - 279654260542927211528535742032286013120080\ 1247340470641527223617826587367728392293774028193443790044113245/49\ 3503311092969831483776026980627570503692274832926499087935590524197\ 0391600531793885503730581572460383484, c_1001_3^22 - 5*c_1001_3^21 + 256*c_1001_3^20 - 1083*c_1001_3^19 + 10651*c_1001_3^18 - 20136*c_1001_3^17 + 143597*c_1001_3^16 - 73245*c_1001_3^15 + 1255906*c_1001_3^14 - 585968*c_1001_3^13 - 289628*c_1001_3^12 - 1999331*c_1001_3^11 - 10912351*c_1001_3^10 + 6700665*c_1001_3^9 - 4812546*c_1001_3^8 + 8194111*c_1001_3^7 + 14069019*c_1001_3^6 - 7390967*c_1001_3^5 + 2198823*c_1001_3^4 - 907069*c_1001_3^3 - 1609423*c_1001_3^2 + 650836*c_1001_3 - 3689 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB