Magma V2.19-8 Tue Aug 20 2013 16:16:13 on localhost [Seed = 2530675287] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0483 geometric_solution 4.50565136 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 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 -2.260177957720 0.321290139294 0 0 2 2 2310 0132 3201 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.184277368216 0.053471526758 1 3 1 3 2310 0132 0132 2310 0 0 0 0 0 -1 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 -1.178678609267 1.069406977593 2 2 5 4 3201 0132 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.762331693282 1.911129691739 6 5 3 5 0132 2031 0132 3012 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.596959927309 0.630370611164 4 6 4 3 1302 3201 1230 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 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 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.596959927309 0.630370611164 4 6 5 6 0132 2310 2310 3201 0 0 0 0 0 1 -1 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 1 -1 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.207990522285 0.836336704820 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), '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' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 715669612674793648858810485721217868514560363490379123971857484/318\ 031665186488811243631195539761060690033463834734766590717*c_0101_6^\ 29 + 12924281330898090437082558595164675983879610586406992227091383\ 70/28911969562408073749421017776341914608184860348612251508247*c_01\ 01_6^28 - 105429584289822174714495983913931015333819345376569510142\ 792666222/318031665186488811243631195539761060690033463834734766590\ 717*c_0101_6^27 + 2970677113859391216889368693148240273016908928329\ 90429817606049146/3180316651864888112436311955397610606900334638347\ 34766590717*c_0101_6^26 + 31070260291743575968995346320061091456714\ 6071645849854419075056632/31803166518648881124363119553976106069003\ 3463834734766590717*c_0101_6^25 - 362815584124203130042916102358834\ 5606059491219272958155750923340502/31803166518648881124363119553976\ 1060690033463834734766590717*c_0101_6^24 + 383941444822891490410904221739921261070647840418383202914758386735/\ 28911969562408073749421017776341914608184860348612251508247*c_0101_\ 6^23 + 158693849835524143448929946120567306919883140743709367587655\ 15603197/3180316651864888112436311955397610606900334638347347665907\ 17*c_0101_6^22 - 36795864398407784836129504367561336385526074195307\ 839374429840601289/318031665186488811243631195539761060690033463834\ 734766590717*c_0101_6^21 - 4225189423877584154341977632146027714094\ 600972269202874133850240950/454330950266412587490901707913944372414\ 33351976390680941531*c_0101_6^20 + 1361869059215857272846996711487275021606510598678374997564568671257\ 17/318031665186488811243631195539761060690033463834734766590717*c_0\ 101_6^19 - 84600508778735301583833340384738933016020515116086560160\ 93047433358/3180316651864888112436311955397610606900334638347347665\ 90717*c_0101_6^18 - 29447436150893475507217534192681380016205954866\ 2805858436097453122718/31803166518648881124363119553976106069003346\ 3834734766590717*c_0101_6^17 + 227899987605626152988684388756806672\ 34534497820398534716157520687948/4543309502664125874909017079139443\ 7241433351976390680941531*c_0101_6^16 + 5665988210464114902409900584793855708768223992416249091768978631893\ 1/45433095026641258749090170791394437241433351976390680941531*c_010\ 1_6^15 - 3534404028429291503398320297193293016991854701285037749349\ 97248225914/3180316651864888112436311955397610606900334638347347665\ 90717*c_0101_6^14 - 32782215849218639188654051987249874125207807420\ 9838258755920007505819/31803166518648881124363119553976106069003346\ 3834734766590717*c_0101_6^13 + 576714736172124299102639604323084719\ 97403827832810089937444171807883/4543309502664125874909017079139443\ 7241433351976390680941531*c_0101_6^12 + 2212031760219992809296136745934891812483524921770752210826694467733\ 2/45433095026641258749090170791394437241433351976390680941531*c_010\ 1_6^11 - 2669398579700275690771024299251263073346356013071703508439\ 95187974838/3180316651864888112436311955397610606900334638347347665\ 90717*c_0101_6^10 - 29735964876154067677513533860091301594101143453\ 301437821695002132775/318031665186488811243631195539761060690033463\ 834734766590717*c_0101_6^9 + 10325234847573922929620971438341903373\ 6257651766737202382241810472001/31803166518648881124363119553976106\ 0690033463834734766590717*c_0101_6^8 - 6697287123858191979163277957683964795256604587054420685261095725030\ /318031665186488811243631195539761060690033463834734766590717*c_010\ 1_6^7 - 22507570278011273520908197273710481500786509526919095586294\ 903062803/318031665186488811243631195539761060690033463834734766590\ 717*c_0101_6^6 + 47864278914044879482267537093344040976443821835001\ 31938586037011534/3180316651864888112436311955397610606900334638347\ 34766590717*c_0101_6^5 + 241742095970097164748025264694194625175583\ 7733304599248347618435725/31803166518648881124363119553976106069003\ 3463834734766590717*c_0101_6^4 - 9250115873511279013839722242206631\ 66204041000476392003374301292252/3180316651864888112436311955397610\ 60690033463834734766590717*c_0101_6^3 - 63858329463628323011066628959046709504516947348068331878039764671/3\ 18031665186488811243631195539761060690033463834734766590717*c_0101_\ 6^2 + 6155024758042069893288342036923036565350717299961434799239994\ 2717/318031665186488811243631195539761060690033463834734766590717*c\ _0101_6 - 545507413255633013206731690671329293361248006316283555435\ 2308132/31803166518648881124363119553976106069003346383473476659071\ 7, c_0011_0 - 1, c_0011_2 + 20099975856524045528847762458227227745133581918108859538231/\ 45433095026641258749090170791394437241433351976390680941531*c_0101_\ 6^29 - 37536166086165615855788517286633408063817629791044520001984/\ 4130281366058296249917288253763130658312122906944607358321*c_0101_6\ ^28 + 3242252016957936666267575744735391963748923499776834124884861\ /45433095026641258749090170791394437241433351976390680941531*c_0101\ _6^27 - 10566484039343141464860549567396906244078459378862603633863\ 853/45433095026641258749090170791394437241433351976390680941531*c_0\ 101_6^26 - 14110752457667208863478158635361636562505653582321244741\ 53579/45433095026641258749090170791394437241433351976390680941531*c\ _0101_6^25 + 102714678767796080404862839739465812888128031532073876\ 926614535/454330950266412587490901707913944372414333519763906809415\ 31*c_0101_6^24 - 17289784073015060385312335085886294625098654644907\ 361497049380/413028136605829624991728825376313065831212290694460735\ 8321*c_0101_6^23 - 310890520333638658318330835131594240359436111863\ 226307503259397/454330950266412587490901707913944372414333519763906\ 80941531*c_0101_6^22 + 12519459388195308425546870124939402285868566\ 53187849343628672370/4543309502664125874909017079139443724143335197\ 6390680941531*c_0101_6^21 - 673763965589376816429056887520766035487\ 89418074886322752580567/4543309502664125874909017079139443724143335\ 1976390680941531*c_0101_6^20 - 377946272080795714142037947693412180\ 7398786139386385013679656304/45433095026641258749090170791394437241\ 433351976390680941531*c_0101_6^19 + 3013139581905756179704519750283075610832909254104210604214557815/45\ 433095026641258749090170791394437241433351976390680941531*c_0101_6^\ 18 + 61137150476937065842262792751380507795858579334299522366798442\ 66/45433095026641258749090170791394437241433351976390680941531*c_01\ 01_6^17 - 917861534900905333080587780522492651674323544284784759965\ 7971436/45433095026641258749090170791394437241433351976390680941531\ *c_0101_6^16 - 4400639145111925746795601599381326448871489315129433\ 131133467339/454330950266412587490901707913944372414333519763906809\ 41531*c_0101_6^15 + 13834826903425594138289563828255928904160594580\ 480365931916396941/454330950266412587490901707913944372414333519763\ 90680941531*c_0101_6^14 - 13799802375599640038335920466956273009330\ 89794112709392901309215/4543309502664125874909017079139443724143335\ 1976390680941531*c_0101_6^13 - 114112642796476447008058664039712317\ 49590449245000200623305025429/4543309502664125874909017079139443724\ 1433351976390680941531*c_0101_6^12 + 5078906177644591158447198402165572843752531519301860919942294135/45\ 433095026641258749090170791394437241433351976390680941531*c_0101_6^\ 11 + 47388435275246514286399187800850953385191329370399873032976793\ 00/45433095026641258749090170791394437241433351976390680941531*c_01\ 01_6^10 - 383086716092470499070419054017948548199861703115577344826\ 2287586/45433095026641258749090170791394437241433351976390680941531\ *c_0101_6^9 - 56977961383229781244704548410941510626013941342645144\ 9823432491/45433095026641258749090170791394437241433351976390680941\ 531*c_0101_6^8 + 13034407188314539058984254848343859761518468887316\ 71962003605168/4543309502664125874909017079139443724143335197639068\ 0941531*c_0101_6^7 - 2214739744509623562218466127062269684781373137\ 66717413626674962/4543309502664125874909017079139443724143335197639\ 0680941531*c_0101_6^6 - 1826258821199219946155510484172244300641116\ 78683380593683763520/4543309502664125874909017079139443724143335197\ 6390680941531*c_0101_6^5 + 7657506290873143914953859328207082727334\ 9804437328164762122745/45433095026641258749090170791394437241433351\ 976390680941531*c_0101_6^4 + 10053623103286268025715912272902237294\ 79708952583556601973053/4543309502664125874909017079139443724143335\ 1976390680941531*c_0101_6^3 - 6281501038676273252481295404566484211\ 842539559439759538791786/454330950266412587490901707913944372414333\ 51976390680941531*c_0101_6^2 + 118112865907122562062849020630616388\ 4066676619343753170629625/45433095026641258749090170791394437241433\ 351976390680941531*c_0101_6 - 8982272993289493377616416097766360494\ 6174299495450856218381/45433095026641258749090170791394437241433351\ 976390680941531, c_0011_4 - 65768260318437241756023379245398744030519814240378698520371/\ 45433095026641258749090170791394437241433351976390680941531*c_0101_\ 6^29 + 121313585060607626670047443594366416042100382294746982173293\ /4130281366058296249917288253763130658312122906944607358321*c_0101_\ 6^28 - 102641167729101810730098016058834631043567924639976464313272\ 09/45433095026641258749090170791394437241433351976390680941531*c_01\ 01_6^27 + 318215952457094763508752109493177472052218691084956972902\ 88986/45433095026641258749090170791394437241433351976390680941531*c\ _0101_6^26 + 138570435662809652348923915972700081548929399454054103\ 36673105/4543309502664125874909017079139443724143335197639068094153\ 1*c_0101_6^25 - 336013951015607588000269520124437482250700368281430\ 037663189685/454330950266412587490901707913944372414333519763906809\ 41531*c_0101_6^24 + 48564539383181180299756028487016802659148439208\ 944515048589553/413028136605829624991728825376313065831212290694460\ 7358321*c_0101_6^23 + 119202321032701407906190186785999987538791012\ 6769733157719510967/45433095026641258749090170791394437241433351976\ 390680941531*c_0101_6^22 - 3841749440237472613500903080981126088009\ 749952438356621826514496/454330950266412587490901707913944372414333\ 51976390680941531*c_0101_6^21 - 91794093586158492390556635386751271\ 8721822940769120964266817438/45433095026641258749090170791394437241\ 433351976390680941531*c_0101_6^20 + 12514842792637211492362907826082814385169270099086523652816476711/4\ 5433095026641258749090170791394437241433351976390680941531*c_0101_6\ ^19 - 6393226053089493338599777157277916090585350788049467236782954\ 749/45433095026641258749090170791394437241433351976390680941531*c_0\ 101_6^18 - 22944634942375115650195026663508403042642017651145558035\ 917351171/454330950266412587490901707913944372414333519763906809415\ 31*c_0101_6^17 + 24286656410485646774901177765204401735646908472131\ 739512957281183/454330950266412587490901707913944372414333519763906\ 80941531*c_0101_6^16 + 23216609326109705488610470561120997419546684\ 743058522759039836050/454330950266412587490901707913944372414333519\ 76390680941531*c_0101_6^15 - 40709625356674202956915657095762028443\ 017441388939502880662330098/454330950266412587490901707913944372414\ 33351976390680941531*c_0101_6^14 - 9110837572528931641725609095093780099386717827824675888120615701/45\ 433095026641258749090170791394437241433351976390680941531*c_0101_6^\ 13 + 37607243986887952438721393415408012810430429119201606635399958\ 241/45433095026641258749090170791394437241433351976390680941531*c_0\ 101_6^12 - 45858211541821922157483470611038320276281016719943495953\ 91222696/4543309502664125874909017079139443724143335197639068094153\ 1*c_0101_6^11 - 190748380818498367769421581433503675823776305732877\ 53143371880108/4543309502664125874909017079139443724143335197639068\ 0941531*c_0101_6^10 + 655867617894804113484320263894149268804644905\ 9428696011056517932/45433095026641258749090170791394437241433351976\ 390680941531*c_0101_6^9 + 46734163198531922220257926847297879944080\ 75909524277691333705789/4543309502664125874909017079139443724143335\ 1976390680941531*c_0101_6^8 - 2778630361425800384957614374864740854\ 843523129754202512655104686/454330950266412587490901707913944372414\ 33351976390680941531*c_0101_6^7 - 245556526772909012874834471271910\ 826793595546608601851271790785/454330950266412587490901707913944372\ 41433351976390680941531*c_0101_6^6 + 494642820599800654635726293654626193931227918670727002990695406/454\ 33095026641258749090170791394437241433351976390680941531*c_0101_6^5 - 93070429882665541039899780723835955369688641945190760881238167/45\ 433095026641258749090170791394437241433351976390680941531*c_0101_6^\ 4 - 22766723989526245388579362367851628106747513881172179901349629/\ 45433095026641258749090170791394437241433351976390680941531*c_0101_\ 6^3 + 1132823385774892816781540133006334280230317844902441750347809\ 8/45433095026641258749090170791394437241433351976390680941531*c_010\ 1_6^2 - 17972496361392220519571988925092595910787512000460605998692\ 05/45433095026641258749090170791394437241433351976390680941531*c_01\ 01_6 + 111790456179583119839933361905304402947774044514579452051867\ /45433095026641258749090170791394437241433351976390680941531, c_0101_0 + 147800968880831521760708497976572930890571059045134513850630\ /45433095026641258749090170791394437241433351976390680941531*c_0101\ _6^29 - 26583879027946815773898648596372143132118848715247718145643\ 2/4130281366058296249917288253763130658312122906944607358321*c_0101\ _6^28 + 21550302553604171167468259378024414976491498596023269036340\ 683/45433095026641258749090170791394437241433351976390680941531*c_0\ 101_6^27 - 59842446406817011454664225478072133090936792037512516080\ 382644/45433095026641258749090170791394437241433351976390680941531*\ c_0101_6^26 - 67338792730541938603993858047539042573000230587275090\ 798821969/454330950266412587490901707913944372414333519763906809415\ 31*c_0101_6^25 + 73920494829429134240614543349446919720539761948525\ 2130791903144/45433095026641258749090170791394437241433351976390680\ 941531*c_0101_6^24 - 7425733943944871823972233828756906197674624654\ 4950640677939774/41302813660582962499172882537631306583121229069446\ 07358321*c_0101_6^23 - 32891880690555280647794531049290466501549985\ 09253896802217401792/4543309502664125874909017079139443724143335197\ 6390680941531*c_0101_6^22 + 726665542997425308650576232745824395037\ 6281802974776521042487477/45433095026641258749090170791394437241433\ 351976390680941531*c_0101_6^21 + 6473341437940012123612110042007918\ 022703787524520161884238297564/454330950266412587490901707913944372\ 41433351976390680941531*c_0101_6^20 - 27059171582123455822283256598196446968361156939542672064358822448/4\ 5433095026641258749090170791394437241433351976390680941531*c_0101_6\ ^19 - 8456761971631636622887545378798668148443006716882524374374744\ 3/45433095026641258749090170791394437241433351976390680941531*c_010\ 1_6^18 + 5891628074105497366379612049720283500680232212397030806240\ 4751174/45433095026641258749090170791394437241433351976390680941531\ *c_0101_6^17 - 2786507929637711898042311168823594475326435606554997\ 3893579391324/45433095026641258749090170791394437241433351976390680\ 941531*c_0101_6^16 - 8036940488552856855572264322510248075942443985\ 6876430870911528034/45433095026641258749090170791394437241433351976\ 390680941531*c_0101_6^15 + 6406154181601333192795914832381587110866\ 2618733995386397546683106/45433095026641258749090170791394437241433\ 351976390680941531*c_0101_6^14 + 6828569871331652753320368093921779\ 7543463689566437097455780161961/45433095026641258749090170791394437\ 241433351976390680941531*c_0101_6^13 - 73232533251823469808782207136684499480198209445254128995424174633/4\ 5433095026641258749090170791394437241433351976390680941531*c_0101_6\ ^12 - 3466449424192357404748702233647231670988924241591330383530096\ 4819/45433095026641258749090170791394437241433351976390680941531*c_\ 0101_6^11 + 4781602269420354070399935847523751065744762178109982196\ 4586583746/45433095026641258749090170791394437241433351976390680941\ 531*c_0101_6^10 + 8815632766464038262559247513482394047076058614872\ 997448031875608/454330950266412587490901707913944372414333519763906\ 80941531*c_0101_6^9 - 182044725397463093998453538416232887206588232\ 26842088107848044416/4543309502664125874909017079139443724143335197\ 6390680941531*c_0101_6^8 + 4924560487592429875792070453193063869796\ 7262417268020525244509/45433095026641258749090170791394437241433351\ 976390680941531*c_0101_6^7 + 39679121922196206971978746804774312284\ 11087212559623261108214434/4543309502664125874909017079139443724143\ 3351976390680941531*c_0101_6^6 - 6222548801906205360526579438181024\ 18308193287050652434808604987/4543309502664125874909017079139443724\ 1433351976390680941531*c_0101_6^5 - 448910630688350642132742041876121806589696569832376396492250844/454\ 33095026641258749090170791394437241433351976390680941531*c_0101_6^4 + 138182176855021780331271242665930427337534576638666022717498378/4\ 5433095026641258749090170791394437241433351976390680941531*c_0101_6\ ^3 + 16038367887013934203383035423337552393572787375716685499892943\ /45433095026641258749090170791394437241433351976390680941531*c_0101\ _6^2 - 963511437346613415209994626524299301228858292911727241021368\ 8/45433095026641258749090170791394437241433351976390680941531*c_010\ 1_6 + 798177780536268376733971959657347142684554744483090429326641/\ 45433095026641258749090170791394437241433351976390680941531, c_0101_1 + 6347668306998278573246702799293815433353131395462951219857/4\ 5433095026641258749090170791394437241433351976390680941531*c_0101_6\ ^29 - 9307780800155966412680846375814839145559219819191918106485/41\ 30281366058296249917288253763130658312122906944607358321*c_0101_6^2\ 8 + 463307843683261122670337180605257748315322671624361573201919/45\ 433095026641258749090170791394437241433351976390680941531*c_0101_6^\ 27 + 883315935022890187171234487819721206135518955624631494213817/4\ 5433095026641258749090170791394437241433351976390680941531*c_0101_6\ ^26 - 1290373052719809484667056792326111122657406736991780149676280\ 8/45433095026641258749090170791394437241433351976390680941531*c_010\ 1_6^25 + 2364852500454505572269823805280120883217279439078872898265\ 3048/45433095026641258749090170791394437241433351976390680941531*c_\ 0101_6^24 + 7159895131275663787086000460904810096033763456755697892\ 132290/4130281366058296249917288253763130658312122906944607358321*c\ _0101_6^23 - 287115212625766068842929180828254399299957555183114571\ 279502572/454330950266412587490901707913944372414333519763906809415\ 31*c_0101_6^22 - 14805719426451476577584430264962209054458405520543\ 7382001692983/45433095026641258749090170791394437241433351976390680\ 941531*c_0101_6^21 + 1430006864948233946275468808534002741683854866\ 251180857932849213/454330950266412587490901707913944372414333519763\ 90680941531*c_0101_6^20 - 44159027810410851827723183894737710073877\ 4263235236251499398257/45433095026641258749090170791394437241433351\ 976390680941531*c_0101_6^19 - 3961791928638459427299229054412185302\ 756142158623280003787303875/454330950266412587490901707913944372414\ 33351976390680941531*c_0101_6^18 + 3227677534405096543016293340970000589146587246092302813242399852/45\ 433095026641258749090170791394437241433351976390680941531*c_0101_6^\ 17 + 66596719587428014677536730022106348635867163749902515551351849\ 37/45433095026641258749090170791394437241433351976390680941531*c_01\ 01_6^16 - 846695853883436100851368145465188433239672455651496826661\ 7104806/45433095026641258749090170791394437241433351976390680941531\ *c_0101_6^15 - 6703464083580481712005856841099242368741219575821317\ 701542962218/454330950266412587490901707913944372414333519763906809\ 41531*c_0101_6^14 + 12233925755691520712266507751217703328169778902\ 210553120708616015/454330950266412587490901707913944372414333519763\ 90680941531*c_0101_6^13 + 35440968613573006897275770690440099969592\ 95163871626836509329325/4543309502664125874909017079139443724143335\ 1976390680941531*c_0101_6^12 - 103256836250503316045191188572629765\ 56922062580817521749054333584/4543309502664125874909017079139443724\ 1433351976390680941531*c_0101_6^11 - 587059085836766671842170426566086574218287416263043108012598857/454\ 33095026641258749090170791394437241433351976390680941531*c_0101_6^1\ 0 + 491734199489838544860574078325944564904220961318090251389220551\ 0/45433095026641258749090170791394437241433351976390680941531*c_010\ 1_6^9 - 25470088787851480776560173354892199276677280593365078541195\ 9826/45433095026641258749090170791394437241433351976390680941531*c_\ 0101_6^8 - 12371934032612601946115211581460164889026836119557800813\ 04210366/4543309502664125874909017079139443724143335197639068094153\ 1*c_0101_6^7 + 1277941028269571598946513831247342269512290159382148\ 32681643569/4543309502664125874909017079139443724143335197639068094\ 1531*c_0101_6^6 + 1641042865169660282807099756969989048841217837292\ 49221093233956/4543309502664125874909017079139443724143335197639068\ 0941531*c_0101_6^5 - 1949062996936086578289858509331197862091612238\ 3143647765956097/45433095026641258749090170791394437241433351976390\ 680941531*c_0101_6^4 - 16618705885388498555147089646455501381908608\ 421755335540914758/454330950266412587490901707913944372414333519763\ 90680941531*c_0101_6^3 + 172591581403501749891090458238468649618111\ 7146742345584211842/45433095026641258749090170791394437241433351976\ 390680941531*c_0101_6^2 + 14613000551867462625971268753340820576078\ 73915603555833462136/4543309502664125874909017079139443724143335197\ 6390680941531*c_0101_6 - 178652660376957797724984938333194261160061\ 456203473459366861/454330950266412587490901707913944372414333519763\ 90680941531, c_0101_4 - 43756100838049043466016209296793605388375771073178093936094/\ 45433095026641258749090170791394437241433351976390680941531*c_0101_\ 6^29 + 77182966215867244356806027399089324174822018775611074305387/\ 4130281366058296249917288253763130658312122906944607358321*c_0101_6\ ^28 - 6044980625360837822440749609793384600729096123755942109137585\ /45433095026641258749090170791394437241433351976390680941531*c_0101\ _6^27 + 15187056832889678484483549094310786835595170159528105069428\ 071/45433095026641258749090170791394437241433351976390680941531*c_0\ 101_6^26 + 27443697449893559295050658041721581451157569637907585574\ 913536/45433095026641258749090170791394437241433351976390680941531*\ c_0101_6^25 - 21369052816951406483843466570804323307493206540501280\ 1486594344/45433095026641258749090170791394437241433351976390680941\ 531*c_0101_6^24 + 1436460162588214270224309149725015133588774892372\ 7695089375956/41302813660582962499172882537631306583121229069446073\ 58321*c_0101_6^23 + 10902220470870829544702206037633818764965940992\ 71811180420283553/4543309502664125874909017079139443724143335197639\ 0680941531*c_0101_6^22 - 182512280259104434981432132921348032065484\ 6913143390294908968100/45433095026641258749090170791394437241433351\ 976390680941531*c_0101_6^21 - 2811695629826154147807877789825485254\ 762028980965865059867067609/454330950266412587490901707913944372414\ 33351976390680941531*c_0101_6^20 + 7583880380418003198116927743131988532024277871120260677227036832/45\ 433095026641258749090170791394437241433351976390680941531*c_0101_6^\ 19 + 30681211107280309938944454210662046330199749765512412029970571\ 41/45433095026641258749090170791394437241433351976390680941531*c_01\ 01_6^18 - 183783214534538647268152718527981974149784370133488021380\ 79634343/4543309502664125874909017079139443724143335197639068094153\ 1*c_0101_6^17 + 232595970991113298365509143947518318525257117794322\ 4577498673277/45433095026641258749090170791394437241433351976390680\ 941531*c_0101_6^16 + 2855181038677912879385576010839793754152420885\ 9309516796228029165/45433095026641258749090170791394437241433351976\ 390680941531*c_0101_6^15 - 1219358028700610417499263694586546914657\ 0872792888658468211263674/45433095026641258749090170791394437241433\ 351976390680941531*c_0101_6^14 - 2880177976396930525751249102938562\ 1513463843434130767838736989942/45433095026641258749090170791394437\ 241433351976390680941531*c_0101_6^13 + 17620919942724927511030910611654999323668968497725519696008768669/4\ 5433095026641258749090170791394437241433351976390680941531*c_0101_6\ ^12 + 1855592020857629942507481977922607470395860337105222236506136\ 5034/45433095026641258749090170791394437241433351976390680941531*c_\ 0101_6^11 - 1352158244796468424810555648476484264873022520644662243\ 0523850455/45433095026641258749090170791394437241433351976390680941\ 531*c_0101_6^10 - 7026524571433873978321397424547770251085391810372\ 400849193490713/454330950266412587490901707913944372414333519763906\ 80941531*c_0101_6^9 + 602593112187733964172261873416358033476740867\ 5052296880284348998/45433095026641258749090170791394437241433351976\ 390680941531*c_0101_6^8 + 11962825187341189364227232409604416119104\ 92739955333164207738703/4543309502664125874909017079139443724143335\ 1976390680941531*c_0101_6^7 - 1564055187493161848450287172138685532\ 711827703411792930347102662/454330950266412587490901707913944372414\ 33351976390680941531*c_0101_6^6 + 505502096420736373936083459732310\ 91936625775176333867187916939/4543309502664125874909017079139443724\ 1433351976390680941531*c_0101_6^5 + 214092848904214253322848078258696036849977945419836763920691440/454\ 33095026641258749090170791394437241433351976390680941531*c_0101_6^4 - 43449250805791675873201693148044996836230976579740452743848017/45\ 433095026641258749090170791394437241433351976390680941531*c_0101_6^\ 3 - 10201445852452213902562422624741233942639257668982133365094108/\ 45433095026641258749090170791394437241433351976390680941531*c_0101_\ 6^2 + 3872738542697584448167243756552129227147654369054242972888531\ /45433095026641258749090170791394437241433351976390680941531*c_0101\ _6 - 288472064702960712915051703524653013770102447963602751741168/4\ 5433095026641258749090170791394437241433351976390680941531, c_0101_6^30 - 20*c_0101_6^29 + 150*c_0101_6^28 - 435*c_0101_6^27 - 378*c_0101_6^26 + 5128*c_0101_6^25 - 6586*c_0101_6^24 - 21375*c_0101_6^23 + 54405*c_0101_6^22 + 34378*c_0101_6^21 - 195847*c_0101_6^20 + 37508*c_0101_6^19 + 409796*c_0101_6^18 - 278379*c_0101_6^17 - 523999*c_0101_6^16 + 568446*c_0101_6^15 + 391385*c_0101_6^14 - 625602*c_0101_6^13 - 140378*c_0101_6^12 + 401969*c_0101_6^11 - 8567*c_0101_6^10 - 149821*c_0101_6^9 + 28689*c_0101_6^8 + 30204*c_0101_6^7 - 10890*c_0101_6^6 - 2490*c_0101_6^5 + 1743*c_0101_6^4 - 82*c_0101_6^3 - 98*c_0101_6^2 + 19*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB