Magma V2.19-8 Tue Aug 20 2013 16:17:42 on localhost [Seed = 728414150] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1941 geometric_solution 5.52982671 oriented_manifold CS_known 0.0000000000000006 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.489068920851 0.290705492697 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.000051244855 0.607370520538 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 1.025243860477 0.882698402805 5 2 4 1 3201 1230 1023 0132 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 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.025243860477 0.882698402805 4 2 3 4 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.038533655707 0.836650234916 6 6 2 3 0132 2310 0132 2310 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.778906895283 1.202078149021 5 6 6 5 0132 3201 2310 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.734092966116 0.399061988604 ==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' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], '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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 5592790707300094385681956713602650938430238311880436813743722659935\ 127851007207250037645095244213885/512838677381492291345494135570457\ 083604852383753411769976939895512810658303336937341933260041982*c_0\ 101_3^26 + 81131207849576886007331582974326733750545451292923731824\ 685250510294921189342733998264083095394571361/512838677381492291345\ 4941355704570836048523837534117699769398955128106583033369373419332\ 60041982*c_0101_3^25 + 38837453734378570312967429632583363006166005\ 8445913587319301480973348967342039725551722779682799928927/51283867\ 7381492291345494135570457083604852383753411769976939895512810658303\ 336937341933260041982*c_0101_3^24 + 8699542516163561955001547918067696865827492651264656673411161911847\ 49431799599440042291887365375859664/2564193386907461456727470677852\ 28541802426191876705884988469947756405329151668468670966630020991*c\ _0101_3^23 + 212322553724461028453748038245032696143232423328420368\ 8964483930218876633431398538942070622514759595548/25641933869074614\ 5672747067785228541802426191876705884988469947756405329151668468670\ 966630020991*c_0101_3^22 + 1107390813720152464607881040667566418945\ 0757065132427210341501021292988994576242733273545998328524487285/17\ 0946225793830763781831378523485694534950794584470589992313298504270\ 219434445645780644420013994*c_0101_3^21 + 2281566692270119670376288118299435520832437147977614167322960110816\ 4051757824986607429208662411103788647/51283867738149229134549413557\ 0457083604852383753411769976939895512810658303336937341933260041982\ *c_0101_3^20 + 1318636632840197896670986394513300709504716844208714\ 02485627480792197121883393775588219492286036312317003/5128386773814\ 9229134549413557045708360485238375341176997693989551281065830333693\ 7341933260041982*c_0101_3^19 - 113389085398966098921252767190873314\ 7843263417181577767559378621624578966679826161769385029508668078301\ 23/2564193386907461456727470677852285418024261918767058849884699477\ 56405329151668468670966630020991*c_0101_3^18 - 1114203865311090532478691268973112347765095166463658731574217956689\ 5489485117573576982844092127955386804/85473112896915381890915689261\ 742847267475397292235294996156649252135109717222822890322210006997*\ c_0101_3^17 - 58291820683593059131053021459600755952330895382190034\ 1467861029034426204733934901208347984844848813894363/51283867738149\ 2291345494135570457083604852383753411769976939895512810658303336937\ 341933260041982*c_0101_3^16 - 7892678634572639990164472712385444321\ 444609026923031618528501155659275388861595893006598476434086451290/\ 8547311289691538189091568926174284726747539729223529499615664925213\ 5109717222822890322210006997*c_0101_3^15 + 2139657961696847238546539757241237467579826638013170973929752503023\ 86286771194410500463042530713776494723/1709462257938307637818313785\ 2348569453495079458447058999231329850427021943444564578064442001399\ 4*c_0101_3^14 - 383042361528181794343031376302812565217323858518078\ 930764763321136797913584667011503140056320888433594039/256419338690\ 7461456727470677852285418024261918767058849884699477564053291516684\ 68670966630020991*c_0101_3^13 + 42018074838051683523138491371894945\ 3977543295923039072860469215052262650924081120406085145463975591949\ 879/256419338690746145672747067785228541802426191876705884988469947\ 756405329151668468670966630020991*c_0101_3^12 + 6320314595421249751097975795089456998237718734093966569017801478304\ 34363369992754984922202018082001466799/5128386773814922913454941355\ 7045708360485238375341176997693989551281065830333693734193326004198\ 2*c_0101_3^11 - 170373336975227602659175979018633683821965275439858\ 979052107162339223915461074460985407461564308259857143/170946225793\ 8307637818313785234856945349507945844705899923132985042702194344456\ 45780644420013994*c_0101_3^10 - 52228654279178290494632948783157379\ 3894985577352624180233473666920104370082892858742204306217303247015\ 64/2564193386907461456727470677852285418024261918767058849884699477\ 56405329151668468670966630020991*c_0101_3^9 + 1622181467822636937101099578058097176365153984516460518801692841356\ 866041139442804331169872111124026961/512838677381492291345494135570\ 457083604852383753411769976939895512810658303336937341933260041982*\ c_0101_3^8 - 136388501228369476804240720939675011044304726922751014\ 1588295582633448077781260720741728773403564541350/25641933869074614\ 5672747067785228541802426191876705884988469947756405329151668468670\ 966630020991*c_0101_3^7 - 11264829291965668323202180227132415964670\ 33311422871476269738842563971671933276936992601789500155433728/8547\ 3112896915381890915689261742847267475397292235294996156649252135109\ 717222822890322210006997*c_0101_3^6 + 7510629219884093393320213315273138943481171031971989114398746194819\ 357783633796227587107673883626941814/256419338690746145672747067785\ 228541802426191876705884988469947756405329151668468670966630020991*\ c_0101_3^5 - 195749272166928800834867394348925297521233870171609231\ 6896811497057874304883890534851985183928289086135/17094622579383076\ 3781831378523485694534950794584470589992313298504270219434445645780\ 644420013994*c_0101_3^4 + 13717046121744895597686424094453968597315\ 82588112000794990082813233337118167278928308146221764218496743/2564\ 1933869074614567274706778522854180242619187670588498846994775640532\ 9151668468670966630020991*c_0101_3^3 + 1304198966271212355226596318528220051148673704993408784633280047295\ 7939181578341358241802266662391293/17094622579383076378183137852348\ 5694534950794584470589992313298504270219434445645780644420013994*c_\ 0101_3^2 + 99411725248306509723361549005274999320828205859701113134\ 445734051869536567918759363090088532772359591/512838677381492291345\ 4941355704570836048523837534117699769398955128106583033369373419332\ 60041982*c_0101_3 + 59212954339339881662365274083978048714929352015\ 88571540334143759082536766197676053922728811566910009/2564193386907\ 4614567274706778522854180242619187670588498846994775640532915166846\ 8670966630020991, c_0011_0 - 1, c_0011_1 + 891656398184696255155655287626568705929897206182680117424188\ 2148158463481175618501063490430515/17094622579383076378183137852348\ 5694534950794584470589992313298504270219434445645780644420013994*c_\ 0101_3^26 + 1280229073935707554297189564875353496720614968708126994\ 59749615358312964790693788036993830037139/1709462257938307637818313\ 7852348569453495079458447058999231329850427021943444564578064442001\ 3994*c_0101_3^25 + 599590130575263298675062119134721688222589034779\ 451594203182573327272243466199293177216348864439/170946225793830763\ 7818313785234856945349507945844705899923132985042702194344456457806\ 44420013994*c_0101_3^24 + 13381283368636581657165045948812009349019\ 82088126870857019001035242229169152181087601825821119150/8547311289\ 6915381890915689261742847267475397292235294996156649252135109717222\ 822890322210006997*c_0101_3^23 + 6329274741321561715248139938849032\ 262522583172436584255938395578784461703481226316255015173442595/170\ 9462257938307637818313785234856945349507945844705899923132985042702\ 19434445645780644420013994*c_0101_3^22 + 5182919003834991540070575128289474751819713971446164073288831212711\ 5358235124409208771369003218011/17094622579383076378183137852348569\ 4534950794584470589992313298504270219434445645780644420013994*c_010\ 1_3^21 + 1408321446115786786125431732850155434982507033964695086608\ 9228289199248557564114544809905124569459/85473112896915381890915689\ 2617428472674753972922352949961566492521351097172228228903222100069\ 97*c_0101_3^20 + 10120663584424905232502065517979896681477321995532\ 1634954146563894174098371370353696603977177307197/85473112896915381\ 8909156892617428472674753972922352949961566492521351097172228228903\ 22210006997*c_0101_3^19 - 19763866210810838369269659749196240093633\ 6648203110651836851147618609973717501331810336075673778287/85473112\ 8969153818909156892617428472674753972922352949961566492521351097172\ 22822890322210006997*c_0101_3^18 - 3147747703153873919671015946650131504592290316416497025911918414206\ 9908869094165732452799635111427/85473112896915381890915689261742847\ 267475397292235294996156649252135109717222822890322210006997*c_0101\ _3^17 - 45095481378222726072474133843134074400510840598575763757040\ 9584870767044844254853514933897525644428/85473112896915381890915689\ 2617428472674753972922352949961566492521351097172228228903222100069\ 97*c_0101_3^16 + 71310258351473281697013531295428571696425537529014\ 645932121362220266752752849322449111846311307191/170946225793830763\ 7818313785234856945349507945844705899923132985042702194344456457806\ 44420013994*c_0101_3^15 + 10781445077182385107870396364599815160321\ 18813907000492073006445576493299973604696623330278323725987/1709462\ 2579383076378183137852348569453495079458447058999231329850427021943\ 4445645780644420013994*c_0101_3^14 - 1353073976823798804773628876638280812487387218617699142431977793246\ 912712569211901581825245459628837/170946225793830763781831378523485\ 694534950794584470589992313298504270219434445645780644420013994*c_0\ 101_3^13 + 74306886381944101210783781788229118831067409995879680598\ 8076491470250871437646382350895151487385105/85473112896915381890915\ 6892617428472674753972922352949961566492521351097172228228903222100\ 06997*c_0101_3^12 + 42432919594566741232539335815603227855423396089\ 7125467113287229192156025847629461965810835629270170/85473112896915\ 3818909156892617428472674753972922352949961566492521351097172228228\ 90322210006997*c_0101_3^11 - 50367112947634786493468460326541966144\ 8569087974870761252994294680908729210380119428678836153910500/85473\ 1128969153818909156892617428472674753972922352949961566492521351097\ 17222822890322210006997*c_0101_3^10 - 1047739216491176276310591772196887027960773240483272253753004646650\ 67804404209865812788390475921685/1709462257938307637818313785234856\ 94534950794584470589992313298504270219434445645780644420013994*c_01\ 01_3^9 + 1913716342077210165990289431157518251071079110242129956268\ 8375527643215355692662729842566783077154/85473112896915381890915689\ 2617428472674753972922352949961566492521351097172228228903222100069\ 97*c_0101_3^8 + 513832125822463037219927783639153721478940018132995\ 6932836715161698628486020866177169748735470919/17094622579383076378\ 1831378523485694534950794584470589992313298504270219434445645780644\ 420013994*c_0101_3^7 - 34081854832572531353092909194806674283902596\ 05845752592229575015561941514005628540535101971788539/8547311289691\ 5381890915689261742847267475397292235294996156649252135109717222822\ 890322210006997*c_0101_3^6 + 26770928024337621784075363594741541902\ 909831042785979263228722301042941335364227644637169804463121/170946\ 2257938307637818313785234856945349507945844705899923132985042702194\ 34445645780644420013994*c_0101_3^5 - 1108356230990261217990489260113203915671709971573722471307717901237\ 2254089395624003655012439539133/17094622579383076378183137852348569\ 4534950794584470589992313298504270219434445645780644420013994*c_010\ 1_3^4 + 57681724073793877105398318242201716507760274749511635380883\ 06483436380716973657200371590636795223/1709462257938307637818313785\ 2348569453495079458447058999231329850427021943444564578064442001399\ 4*c_0101_3^3 + 1170616745094885470524036093783358172541052427620029\ 5225679947131289700608877664327050842517521/17094622579383076378183\ 1378523485694534950794584470589992313298504270219434445645780644420\ 013994*c_0101_3^2 + 13991350218163074984496950996459254075926252664\ 5525967804994885889537576634861726372382530936535/17094622579383076\ 3781831378523485694534950794584470589992313298504270219434445645780\ 644420013994*c_0101_3 - 6066776913113375954780631791463268671923910\ 4584290200378994615557129002074766757749965847944363/17094622579383\ 0763781831378523485694534950794584470589992313298504270219434445645\ 780644420013994, c_0011_3 - 827707081788801382292845862679646623663637737701276908804522\ 564196373526032721589967129564865165/170946225793830763781831378523\ 485694534950794584470589992313298504270219434445645780644420013994*\ c_0101_3^26 - 60054930350657404517138806944580939627034057335958281\ 92942838400027939964041207319685510107877087/8547311289691538189091\ 5689261742847267475397292235294996156649252135109717222822890322210\ 006997*c_0101_3^25 - 5753588127926881628587127514645713613892795140\ 6528724490436393304363780588682079624502294319337861/17094622579383\ 0763781831378523485694534950794584470589992313298504270219434445645\ 780644420013994*c_0101_3^24 - 2577885321517816785799909633854791181\ 76499652340643591178913289508442463255823482308502600099603537/1709\ 4622579383076378183137852348569453495079458447058999231329850427021\ 9434445645780644420013994*c_0101_3^23 - 3148859538982735372568128761683159173502937715207043969790117569317\ 00524067683967163131115002882465/8547311289691538189091568926174284\ 7267475397292235294996156649252135109717222822890322210006997*c_010\ 1_3^22 - 4920071783826371597620489311003169720912153570045376765956\ 837769327478309123474140494158751250899167/170946225793830763781831\ 3785234856945349507945844705899923132985042702194344456457806444200\ 13994*c_0101_3^21 - 34012501010648841533404936997254693439403125536\ 94095858116975162793139183439737795361693196053343431/1709462257938\ 3076378183137852348569453495079458447058999231329850427021943444564\ 5780644420013994*c_0101_3^20 - 195386455299319314837391889419492807\ 56526441376093251057706461772750496407659127170169251483536103765/1\ 7094622579383076378183137852348569453495079458447058999231329850427\ 0219434445645780644420013994*c_0101_3^19 + 3345727242071151131288032340378471957486018671145803474475375912800\ 7972699539446631318506363119312457/17094622579383076378183137852348\ 5694534950794584470589992313298504270219434445645780644420013994*c_\ 0101_3^18 + 1001945215335129183261740597810009790576354121275745255\ 2077484576095094179240550389479837665653355375/17094622579383076378\ 1831378523485694534950794584470589992313298504270219434445645780644\ 420013994*c_0101_3^17 + 8632536253164431626359861576045921819418874\ 7136183158183943857340840529308751792246541564021935714265/17094622\ 5793830763781831378523485694534950794584470589992313298504270219434\ 445645780644420013994*c_0101_3^16 + 3728701839453640714144532149595440421155562110512134584974715797581\ 876451367209217202838072444821071/854731128969153818909156892617428\ 47267475397292235294996156649252135109717222822890322210006997*c_01\ 01_3^15 - 948234772376085756063263032617361079209997258181318261141\ 27920223591792726265216952148830392140398739/1709462257938307637818\ 3137852348569453495079458447058999231329850427021943444564578064442\ 0013994*c_0101_3^14 + 565367643283008865501162729463233647906935136\ 77164401458413045694018491268824251623349408674635002778/8547311289\ 6915381890915689261742847267475397292235294996156649252135109717222\ 822890322210006997*c_0101_3^13 - 6192429820251028486154072476352143\ 2952993411072935047195410893738555818711654862343367799138431038059\ /854731128969153818909156892617428472674753972922352949961566492521\ 35109717222822890322210006997*c_0101_3^12 - 4703031178934094239277573487972536245995385835794921257467751489824\ 0175388821743610839490039810041287/85473112896915381890915689261742\ 847267475397292235294996156649252135109717222822890322210006997*c_0\ 101_3^11 + 37573243315191662102589649323495362121844967859741306104\ 925697321130170405792559098999076255381467397/854731128969153818909\ 1568926174284726747539729223529499615664925213510971722282289032221\ 0006997*c_0101_3^10 + 156027442173671811864158800607240702254296805\ 44027622076720673080716513400398059745012866008611331003/1709462257\ 9383076378183137852348569453495079458447058999231329850427021943444\ 5645780644420013994*c_0101_3^9 - 2726975816260115548296384032138134\ 76528459732179623666738257735170130938614619200125689806195461231/1\ 7094622579383076378183137852348569453495079458447058999231329850427\ 0219434445645780644420013994*c_0101_3^8 + 1996186407990448314572077144579920961299399554703451565850802008481\ 14028389054543642191229788394644/8547311289691538189091568926174284\ 7267475397292235294996156649252135109717222822890322210006997*c_010\ 1_3^7 + 51002184227117846817538196042993266207397746479030608092389\ 7694313720090236014455413898808781204589/85473112896915381890915689\ 2617428472674753972922352949961566492521351097172228228903222100069\ 97*c_0101_3^6 - 220717038461513154980881023972955020964179236424366\ 1044619959526390158192833434569733989724783898575/17094622579383076\ 3781831378523485694534950794584470589992313298504270219434445645780\ 644420013994*c_0101_3^5 + 43259555557933690547773554285801842604967\ 5821840860699722208401329668451939962509919974344167790850/85473112\ 8969153818909156892617428472674753972922352949961566492521351097172\ 22822890322210006997*c_0101_3^4 - 399426253050600568659439980859009\ 746526161745429871048569817922370490823826255618862468017839927187/\ 1709462257938307637818313785234856945349507945844705899923132985042\ 70219434445645780644420013994*c_0101_3^3 - 3220217896572998587228218287732557738462903552652873995877375059195\ 654734413010356976328146043289/854731128969153818909156892617428472\ 67475397292235294996156649252135109717222822890322210006997*c_0101_\ 3^2 - 1425865765106539411310787865414656549157279194694976078019632\ 9633926743804943108057616369181071201/17094622579383076378183137852\ 3485694534950794584470589992313298504270219434445645780644420013994\ *c_0101_3 - 8559271484705588188269763074000349110893815542993063682\ 55527633895596298064691150485934635586133/8547311289691538189091568\ 9261742847267475397292235294996156649252135109717222822890322210006\ 997, c_0011_5 + 171360651915650365028464219246661155137261863560418006697636\ 724035528153516213251075456104762820/854731128969153818909156892617\ 42847267475397292235294996156649252135109717222822890322210006997*c\ _0101_3^26 + 497609237202438774874623791969707379449167433862576438\ 8708770326307514053895603272351535898388819/17094622579383076378183\ 1378523485694534950794584470589992313298504270219434445645780644420\ 013994*c_0101_3^25 + 1193250317894973169478280459597678098585857996\ 2592076594282095926152824615749430504518616969900361/85473112896915\ 3818909156892617428472674753972922352949961566492521351097172228228\ 90322210006997*c_0101_3^24 + 10694796248915767982195399076283152098\ 4064165509865447916403727304612833055146616066300438234249019/17094\ 6225793830763781831378523485694534950794584470589992313298504270219\ 434445645780644420013994*c_0101_3^23 + 2616987645325262360049191459490467081247142634952924048957999934027\ 39530022805060988229952395478119/1709462257938307637818313785234856\ 94534950794584470589992313298504270219434445645780644420013994*c_01\ 01_3^22 + 101980787839533216742228341521494221532626133768345246146\ 6157788721227869118069696438877812665013522/85473112896915381890915\ 6892617428472674753972922352949961566492521351097172228228903222100\ 06997*c_0101_3^21 + 14256853521154084931178344277941767387112696876\ 59717898763018883592804334634622257929477236645214467/1709462257938\ 3076378183137852348569453495079458447058999231329850427021943444564\ 5780644420013994*c_0101_3^20 + 810685046921815728953398202551955208\ 3522622503570430146968395263780435808146596268416371677731725761/17\ 0946225793830763781831378523485694534950794584470589992313298504270\ 219434445645780644420013994*c_0101_3^19 - 1378346337031931143244841510351729879921756155799598876998794392506\ 2797471450091434980703490652782805/17094622579383076378183137852348\ 5694534950794584470589992313298504270219434445645780644420013994*c_\ 0101_3^18 - 4241585809853476032340868073862254008758716598923651662\ 766858489023662643325493439323168733479172595/170946225793830763781\ 8313785234856945349507945844705899923132985042702194344456457806444\ 20013994*c_0101_3^17 - 35812063037190944712004038040962358378348859\ 285692764802742995726014756026583429263679326054372423375/170946225\ 7938307637818313785234856945349507945844705899923132985042702194344\ 45645780644420013994*c_0101_3^16 - 3388820153869055892141272601344217324487252096704262520012094647471\ 423495327096605969179213123861699/170946225793830763781831378523485\ 694534950794584470589992313298504270219434445645780644420013994*c_0\ 101_3^15 + 19573361958737813363236605102485435754241507617979517990\ 639509232071740718032350888793129335285589168/854731128969153818909\ 1568926174284726747539729223529499615664925213510971722282289032221\ 0006997*c_0101_3^14 - 465070806086719945289240153267795553053637257\ 72488683100486207797797231147032480863820981449201820141/1709462257\ 9383076378183137852348569453495079458447058999231329850427021943444\ 5645780644420013994*c_0101_3^13 + 254930112632427470507226285368834\ 3371868689080590623371407419731698884005682183261817282495431778911\ 1/85473112896915381890915689261742847267475397292235294996156649252\ 135109717222822890322210006997*c_0101_3^12 + 1962111992214173455583552785665913402032265824706955717867523054811\ 2982310600952680016619760569710189/85473112896915381890915689261742\ 847267475397292235294996156649252135109717222822890322210006997*c_0\ 101_3^11 - 15330554980729441557071905342025853495863170509240538327\ 750503725341540033234989903000988071344532372/854731128969153818909\ 1568926174284726747539729223529499615664925213510971722282289032221\ 0006997*c_0101_3^10 - 331258557089819932248460188332114135701832213\ 9427840474498231781021523305732531936318610387763283994/85473112896\ 9153818909156892617428472674753972922352949961566492521351097172228\ 22890322210006997*c_0101_3^9 - 139792653913195605234830398104079102\ 30850891912246052974887027229290445062933100153818250143990397/1709\ 4622579383076378183137852348569453495079458447058999231329850427021\ 9434445645780644420013994*c_0101_3^8 - 1646396407893151555972293142148637130177037800552054517833939382030\ 52449031145676970830327342962375/1709462257938307637818313785234856\ 94534950794584470589992313298504270219434445645780644420013994*c_01\ 01_3^7 - 2109848828818686988412146016829629184243480003952163550047\ 88699624297098247139796248100802415077668/8547311289691538189091568\ 9261742847267475397292235294996156649252135109717222822890322210006\ 997*c_0101_3^6 + 45361166156243497211576398848166374620649421920080\ 1447586586492837596086991433955893242698857111484/85473112896915381\ 8909156892617428472674753972922352949961566492521351097172228228903\ 22210006997*c_0101_3^5 - 352778615217729424130478612413603665594183\ 921573528568731569465834554886990373789743963691729214875/170946225\ 7938307637818313785234856945349507945844705899923132985042702194344\ 45645780644420013994*c_0101_3^4 + 824472452006671465607624341569549\ 03841765317020183871479489470051014556000801466293964933425038260/8\ 5473112896915381890915689261742847267475397292235294996156649252135\ 109717222822890322210006997*c_0101_3^3 + 3065986414870053545230330005142452948847611875821072463654118528352\ 543488075378119305806896064469/170946225793830763781831378523485694\ 534950794584470589992313298504270219434445645780644420013994*c_0101\ _3^2 + 310633886349149418603118018731015838386836361326282667071791\ 6734769576576863193202236179598074333/85473112896915381890915689261\ 742847267475397292235294996156649252135109717222822890322210006997*\ c_0101_3 + 73034197927158013243523802176595920291962139003127132787\ 9131237683800316728670572989986588205993/17094622579383076378183137\ 8523485694534950794584470589992313298504270219434445645780644420013\ 994, c_0101_0 + 618681470231206384509989973458614168968683947940660585124132\ 652356124490526674751154464905252885/854731128969153818909156892617\ 42847267475397292235294996156649252135109717222822890322210006997*c\ _0101_3^26 + 179474025845784138424460943725256556206429437454260232\ 47438342873534689522098613752423692698095157/1709462257938307637818\ 3137852348569453495079458447058999231329850427021943444564578064442\ 0013994*c_0101_3^25 + 429473264640370061663002783479333932596880001\ 61154963279068096913330417667893957471486014578723980/8547311289691\ 5381890915689261742847267475397292235294996156649252135109717222822\ 890322210006997*c_0101_3^24 + 3848230444202551806398568378253989606\ 92406197660024115876283133909752380959489828806207953086750015/1709\ 4622579383076378183137852348569453495079458447058999231329850427021\ 9434445645780644420013994*c_0101_3^23 + 9389870289389790119990857455869847777526520645859814873687114656712\ 07513287769085509157229922806969/1709462257938307637818313785234856\ 94534950794584470589992313298504270219434445645780644420013994*c_01\ 01_3^22 + 367461439026866630420174657077739671572851339836330705385\ 1008991876324100993609824404583128795838513/85473112896915381890915\ 6892617428472674753972922352949961566492521351097172228228903222100\ 06997*c_0101_3^21 + 50366830005841186804371871912030081650452130115\ 28418127601513725878807736880888483719705374267578435/1709462257938\ 3076378183137852348569453495079458447058999231329850427021943444564\ 5780644420013994*c_0101_3^20 + 291810720422882535670852450175163523\ 93916185576326996757565214825927186739219479597589668680256067851/1\ 7094622579383076378183137852348569453495079458447058999231329850427\ 0219434445645780644420013994*c_0101_3^19 - 5020876230175630844070500405342066377840473219467257855827325236105\ 2999855843764651166559879568336965/17094622579383076378183137852348\ 5694534950794584470589992313298504270219434445645780644420013994*c_\ 0101_3^18 - 1462932974309653819515870924055894015475294742842175252\ 2666277816442219974986723389457453879948866789/17094622579383076378\ 1831378523485694534950794584470589992313298504270219434445645780644\ 420013994*c_0101_3^17 - 1290142720276226765680134194360813205018371\ 43906950566090233843319211939692723193627142061534400256705/1709462\ 2579383076378183137852348569453495079458447058999231329850427021943\ 4445645780644420013994*c_0101_3^16 - 1030137139317079025521430469511956575026327900103450278115375300862\ 6264000985626669616020621386421915/17094622579383076378183137852348\ 5694534950794584470589992313298504270219434445645780644420013994*c_\ 0101_3^15 + 7086936034263863401837549863960017322754698604319911936\ 8223259756550502523797231340780773872494984653/85473112896915381890\ 9156892617428472674753972922352949961566492521351097172228228903222\ 10006997*c_0101_3^14 - 16990169240618232180853048902951606700369691\ 0571782827887893218697972639814391919909768513848045630923/17094622\ 5793830763781831378523485694534950794584470589992313298504270219434\ 445645780644420013994*c_0101_3^13 + 9322971330653581053483398065927609906791796358340216243115531511886\ 0938985329533505207624634089420984/85473112896915381890915689261742\ 847267475397292235294996156649252135109717222822890322210006997*c_0\ 101_3^12 + 69607457747904552293042681747614663133145581784214077766\ 110487373221356645139440454484440792133769017/854731128969153818909\ 1568926174284726747539729223529499615664925213510971722282289032221\ 0006997*c_0101_3^11 - 565337051414981325891933454572599407825577504\ 12510447587431566330359014968934592507199567579291973378/8547311289\ 6915381890915689261742847267475397292235294996156649252135109717222\ 822890322210006997*c_0101_3^10 - 1124584223838103248718418562440635\ 2041754768442670152356173262573358139961712943375383005454572553038\ /854731128969153818909156892617428472674753972922352949961566492521\ 35109717222822890322210006997*c_0101_3^9 + 3344957952697529375492969214446428722553646422860151711216508738354\ 15480726164376919633913259168607/1709462257938307637818313785234856\ 94534950794584470589992313298504270219434445645780644420013994*c_01\ 01_3^8 - 6643257614452104575349844299694358930739133179699513705795\ 06330536234805298943440060007765576014343/1709462257938307637818313\ 7852348569453495079458447058999231329850427021943444564578064442001\ 3994*c_0101_3^7 - 7503559230485632466850664838343106183144284048093\ 29289457849618670985383117918142381144634310392694/8547311289691538\ 1890915689261742847267475397292235294996156649252135109717222822890\ 322210006997*c_0101_3^6 + 16603268250993537799637836406923673536455\ 99276742567363933618822685563564784272561545503302211703552/8547311\ 2896915381890915689261742847267475397292235294996156649252135109717\ 222822890322210006997*c_0101_3^5 - 1315344974349240190565499970429443251814305323287527961061665928064\ 903291411684863122655433175091801/170946225793830763781831378523485\ 694534950794584470589992313298504270219434445645780644420013994*c_0\ 101_3^4 + 305695394836049827098583297945716384094984989060281184616\ 189431657992908727797369309939787877974943/854731128969153818909156\ 8926174284726747539729223529499615664925213510971722282289032221000\ 6997*c_0101_3^3 + 5773938323437116503896794504924553528855933900284\ 522163050302444047056589443870851682870287972583/170946225793830763\ 7818313785234856945349507945844705899923132985042702194344456457806\ 44420013994*c_0101_3^2 + 110355578851788761920133628936891062860524\ 58902611704837364941926994468443171945585885527239152046/8547311289\ 6915381890915689261742847267475397292235294996156649252135109717222\ 822890322210006997*c_0101_3 + 2668363952527744780321271405750112358\ 015892814884356788156960699149256167155702538216272539408047/170946\ 2257938307637818313785234856945349507945844705899923132985042702194\ 34445645780644420013994, c_0101_1 - 201103157776495141791412373635872372646606249253683951191124\ 65408802797761930101826054437873595/1709462257938307637818313785234\ 85694534950794584470589992313298504270219434445645780644420013994*c\ _0101_3^26 - 145524352255501584747388157722049682351699060833233530\ 131008619349961934070957264184692287366226/854731128969153818909156\ 8926174284726747539729223529499615664925213510971722282289032221000\ 6997*c_0101_3^25 - 138688484219576555399169006345777400410337337835\ 1668297216819880786483853437906366332446902884195/17094622579383076\ 3781831378523485694534950794584470589992313298504270219434445645780\ 644420013994*c_0101_3^24 - 6212815514485216626018149972823639029499\ 398249720569474286588844862353687385248868525447464625627/170946225\ 7938307637818313785234856945349507945844705899923132985042702194344\ 45645780644420013994*c_0101_3^23 - 7538948219318852083803466550334069902615233958907050654721402657850\ 372502690723786611267920957831/854731128969153818909156892617428472\ 67475397292235294996156649252135109717222822890322210006997*c_0101_\ 3^22 - 119033544613301965255208068839580915060971933649022003767677\ 002471526398768567946710404878863817579/170946225793830763781831378\ 5234856945349507945844705899923132985042702194344456457806444200139\ 94*c_0101_3^21 - 78265633657914286337827347366201729871632121871038\ 016512711861178482381416975590478051327979155923/170946225793830763\ 7818313785234856945349507945844705899923132985042702194344456457806\ 44420013994*c_0101_3^20 - 47301783516226201748515196426231172912881\ 6542949277291763031987041459958983522082839459138633439969/17094622\ 5793830763781831378523485694534950794584470589992313298504270219434\ 445645780644420013994*c_0101_3^19 + 8290292003420984308070024471622172160484410420411941973978602582502\ 86157261955944485829106167438169/1709462257938307637818313785234856\ 94534950794584470589992313298504270219434445645780644420013994*c_01\ 01_3^18 + 205461485678772413006136363072163915356924654420930639732\ 281876915132039951298599145939802921508465/170946225793830763781831\ 3785234856945349507945844705899923132985042702194344456457806444200\ 13994*c_0101_3^17 + 20914662211570668706079233865684322627625258322\ 99120957048369810811107464848763913778008897857665357/1709462257938\ 3076378183137852348569453495079458447058999231329850427021943444564\ 5780644420013994*c_0101_3^16 + 540627421246543273287650992270427413\ 34293001678922720999603674921881639167348286644101728879485028/8547\ 3112896915381890915689261742847267475397292235294996156649252135109\ 717222822890322210006997*c_0101_3^15 - 2282555743851727085008957204291625176755941381806038216639826777206\ 395282853537516683689351287253191/170946225793830763781831378523485\ 694534950794584470589992313298504270219434445645780644420013994*c_0\ 101_3^14 + 14307805224892890529347299670029552100125583149124205809\ 72237922712291830831858839865510110673495202/8547311289691538189091\ 5689261742847267475397292235294996156649252135109717222822890322210\ 006997*c_0101_3^13 - 1563048366958637021370195561432150865132553834\ 453488113286031957959770746189359211315719988294722001/854731128969\ 1538189091568926174284726747539729223529499615664925213510971722282\ 2890322210006997*c_0101_3^12 - 107790299034758138906263810411754078\ 2374083513278425893393181295266714132161599726099235376347101384/85\ 4731128969153818909156892617428472674753972922352949961566492521351\ 09717222822890322210006997*c_0101_3^11 + 9486288160820360931374932241086248018681198221941266494711503584765\ 84285956723630952997848566246042/8547311289691538189091568926174284\ 7267475397292235294996156649252135109717222822890322210006997*c_010\ 1_3^10 + 2639672433353325145462324230573870093603152083635452482291\ 07166390129805292280996479736909293508317/1709462257938307637818313\ 7852348569453495079458447058999231329850427021943444564578064442001\ 3994*c_0101_3^9 - 3414446515490438791558065225866771713079717901119\ 9870205722552220697980579123687655052953997773807/17094622579383076\ 3781831378523485694534950794584470589992313298504270219434445645780\ 644420013994*c_0101_3^8 + 66666518208789516277355574097917629817956\ 95211991954251251338315514076518125560239497777305659709/8547311289\ 6915381890915689261742847267475397292235294996156649252135109717222\ 822890322210006997*c_0101_3^7 + 15457888792793193328306918591509794\ 228004505070872466808773400076120309305366569304195249819737893/854\ 7311289691538189091568926174284726747539729223529499615664925213510\ 9717222822890322210006997*c_0101_3^6 - 4952674572998508166953764038848741951583584283947103973343896212225\ 1678249239035326789501359311331/17094622579383076378183137852348569\ 4534950794584470589992313298504270219434445645780644420013994*c_010\ 1_3^5 + 12348563498044209279036589487421071434702058504824226640132\ 724492572830777123522290996931627050111/854731128969153818909156892\ 6174284726747539729223529499615664925213510971722282289032221000699\ 7*c_0101_3^4 - 1046423078942455988848224720671312685490560784500485\ 8557645472476398025922615914693365381838741939/17094622579383076378\ 1831378523485694534950794584470589992313298504270219434445645780644\ 420013994*c_0101_3^3 + 81326770343350270763994950412340524229992925\ 628251437628680581441360851485239524081382392666875/854731128969153\ 8189091568926174284726747539729223529499615664925213510971722282289\ 0322210006997*c_0101_3^2 - 2426348020961938538341995661207363764521\ 17367998343553538663952047680142659574210311008071280119/1709462257\ 9383076378183137852348569453495079458447058999231329850427021943444\ 5645780644420013994*c_0101_3 - 447878176761090707578838270461449515\ 06759593889752048412131173383244641098805163927879800922223/8547311\ 2896915381890915689261742847267475397292235294996156649252135109717\ 222822890322210006997, c_0101_3^27 + 73/5*c_0101_3^26 + 354/5*c_0101_3^25 + 1588/5*c_0101_3^24 + 3942/5*c_0101_3^23 + 30056/5*c_0101_3^22 + 23178/5*c_0101_3^21 + 119799/5*c_0101_3^20 - 191703/5*c_0101_3^19 - 15747*c_0101_3^18 - 526737/5*c_0101_3^17 - 91136/5*c_0101_3^16 + 569856/5*c_0101_3^15 - 631199/5*c_0101_3^14 + 687221/5*c_0101_3^13 + 635352/5*c_0101_3^12 - 404036/5*c_0101_3^11 - 27215*c_0101_3^10 - 7294/5*c_0101_3^9 - 468*c_0101_3^8 - 6277/5*c_0101_3^7 + 2573*c_0101_3^6 - 3993/5*c_0101_3^5 + 1962/5*c_0101_3^4 + 53*c_0101_3^3 + 92/5*c_0101_3^2 + 19/5*c_0101_3 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB