Magma V2.19-8 Tue Aug 20 2013 16:18:19 on localhost [Seed = 2176851112] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2527 geometric_solution 5.84223529 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.458358198759 0.277242172609 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.944327020289 0.688908365137 1 3 4 5 0132 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 -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.567447394401 0.584616776910 5 4 2 1 1023 1023 0213 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 1 0 -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.567447394401 0.584616776910 3 6 6 2 1023 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.797552393264 0.480641950241 5 3 2 5 3012 1023 0132 1230 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 -1 0 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.409993382794 0.897057003995 4 4 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.565815092201 0.489829239679 ==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' : negation(d['c_0101_4']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_1']), '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_3'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], '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' : d['c_0011_3'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 5295886200131060311702485239723416243241863596607538056135825071228\ 374/403213426275967499251376064368138588380488333713889722767586553\ 533*c_0101_6^37 - 1242594673718858504558160687744429420887510345275\ 5207020423980235098122/40321342627596749925137606436813858838048833\ 3713889722767586553533*c_0101_6^36 - 9610569224926038529448128189869491762778064892423920302958743965996\ 0806/40321342627596749925137606436813858838048833371388972276758655\ 3533*c_0101_6^35 + 234081514471512511083223311313518463673280475931\ 675381264799381308554465/403213426275967499251376064368138588380488\ 333713889722767586553533*c_0101_6^34 + 7781804307923873716331320462508331125092261120665311193941185811955\ 97667/4032134262759674992513760643681385883804883337138897227675865\ 53533*c_0101_6^33 - 24217666586374495649166040003108287312134673072\ 37998752056038157387258299/4032134262759674992513760643681385883804\ 88333713889722767586553533*c_0101_6^32 - 4201235985361050378621806318307692238523530196783153781087009966855\ 851690/403213426275967499251376064368138588380488333713889722767586\ 553533*c_0101_6^31 + 1519816284706717763624082633521907641922122857\ 1378154629487332978837140818/40321342627596749925137606436813858838\ 0488333713889722767586553533*c_0101_6^30 + 1931885230471149194589224644662637191069849437415411754453306082284\ 8579726/40321342627596749925137606436813858838048833371388972276758\ 6553533*c_0101_6^29 - 578672678435367319869489623471494990215558368\ 95642597089369975481614455045/4032134262759674992513760643681385883\ 80488333713889722767586553533*c_0101_6^28 - 8775943059160880036288415784728668590671205683444953613058484792761\ 4966155/40321342627596749925137606436813858838048833371388972276758\ 6553533*c_0101_6^27 + 164198945073578335628660259461306049197777693\ 325690934725265195027043195365/403213426275967499251376064368138588\ 380488333713889722767586553533*c_0101_6^26 + 3634922510123018328070566122450147305592703579982529150347525277822\ 74293298/4032134262759674992513760643681385883804883337138897227675\ 86553533*c_0101_6^25 - 45234977720792144022815269402365455885086782\ 8061918710489255640306219298610/40321342627596749925137606436813858\ 8380488333713889722767586553533*c_0101_6^24 - 1070124447809623822411195265629102944629599073238339710833204285942\ 792299866/403213426275967499251376064368138588380488333713889722767\ 586553533*c_0101_6^23 + 1123106374623315379548340410651146629962042\ 119575039170852806071830652026623/403213426275967499251376064368138\ 588380488333713889722767586553533*c_0101_6^22 + 2144919026055831471736067874259978233160806592239037653196908173132\ 396255398/403213426275967499251376064368138588380488333713889722767\ 586553533*c_0101_6^21 - 2051717546221105124248175289812668780529167\ 090124058847959999222547776076522/403213426275967499251376064368138\ 588380488333713889722767586553533*c_0101_6^20 - 3142801327133980202663983118776495807885935110828899828402562426159\ 753750653/403213426275967499251376064368138588380488333713889722767\ 586553533*c_0101_6^19 + 2629267833328495851276745430868208337324192\ 052472048738267490342327985839841/403213426275967499251376064368138\ 588380488333713889722767586553533*c_0101_6^18 + 3641642100927822524167939555234196301510606619338786836318464305879\ 130626721/403213426275967499251376064368138588380488333713889722767\ 586553533*c_0101_6^17 - 2508185987840438019477021062954101094621911\ 669484541123220113387418700646938/403213426275967499251376064368138\ 588380488333713889722767586553533*c_0101_6^16 - 3396568135805522302345770948030536068614422553999983417008819427278\ 197581021/403213426275967499251376064368138588380488333713889722767\ 586553533*c_0101_6^15 + 1947721312494259328160932440648346939868527\ 830063091117778493572866831508981/403213426275967499251376064368138\ 588380488333713889722767586553533*c_0101_6^14 + 2425053086815908181036972657116680004998665082316609222161502380812\ 582190275/403213426275967499251376064368138588380488333713889722767\ 586553533*c_0101_6^13 - 1261406067788047112347785934747159746237073\ 080505178889868949743345477841568/403213426275967499251376064368138\ 588380488333713889722767586553533*c_0101_6^12 - 1235003535132004174479067440253731524522612074553625954564351909258\ 532787097/403213426275967499251376064368138588380488333713889722767\ 586553533*c_0101_6^11 + 4167276771333239463581547536863054110287841\ 362683162389840910617836770429/267028759123157284272434479713999065\ 1526412806052249819652891083*c_0101_6^10 + 4217766935249845110980349638940762110818831579813809591494077976616\ 05102820/4032134262759674992513760643681385883804883337138897227675\ 86553533*c_0101_6^9 - 216174667518926153912743874434395749228457325\ 970566693926912211165782168944/403213426275967499251376064368138588\ 380488333713889722767586553533*c_0101_6^8 - 9154650648347643675333541891264173373954233604371452137922806927334\ 5928012/40321342627596749925137606436813858838048833371388972276758\ 6553533*c_0101_6^7 + 4663158519323756902624697200179500642976362146\ 9164101327063307284310684340/40321342627596749925137606436813858838\ 0488333713889722767586553533*c_0101_6^6 + 1193796171896349841550948787415326081088004970403756574192287801605\ 4219600/40321342627596749925137606436813858838048833371388972276758\ 6553533*c_0101_6^5 - 5865850601782517307106061866051879342235879029\ 322421793119655020483670656/403213426275967499251376064368138588380\ 488333713889722767586553533*c_0101_6^4 - 8455611953299806632364006723087858307061612466133243669300749928617\ 89028/4032134262759674992513760643681385883804883337138897227675865\ 53533*c_0101_6^3 + 388451384793184611414630951769693153789842215244\ 022031796377928025715365/403213426275967499251376064368138588380488\ 333713889722767586553533*c_0101_6^2 + 2492986694586240521263851582455200510693505027161516056017821319505\ 6096/40321342627596749925137606436813858838048833371388972276758655\ 3533*c_0101_6 - 103553086034683209169407815301218220358310648292064\ 27018074836015699787/4032134262759674992513760643681385883804883337\ 13889722767586553533, c_0011_0 - 1, c_0011_1 + 575791571021142319432954215764266566522714820871654101476972\ 03810/5679062341915035200723606540396318146204061038223798912219528\ 923*c_0101_6^37 - 1125560586100435166681214415920462495553646771155\ 82665239904718606/5679062341915035200723606540396318146204061038223\ 798912219528923*c_0101_6^36 - 1116911593470496507376541210534374429\ 364835113044586637566285774578/567906234191503520072360654039631814\ 6204061038223798912219528923*c_0101_6^35 + 2204311436402873317346005717896502035222185719340788523902373267784\ /5679062341915035200723606540396318146204061038223798912219528923*c\ _0101_6^34 + 973958914616927155573056558911441408493119412011512765\ 5685648630842/56790623419150352007236065403963181462040610382237989\ 12219528923*c_0101_6^33 - 24252222215199036994516272612705209232595\ 896730559411050819374288791/567906234191503520072360654039631814620\ 4061038223798912219528923*c_0101_6^32 - 5763123885812841214481758987058968236784369109649231565078404889255\ 8/5679062341915035200723606540396318146204061038223798912219528923*\ c_0101_6^31 + 15888101474361530610091449399042593321667726170758275\ 1908560730315004/56790623419150352007236065403963181462040610382237\ 98912219528923*c_0101_6^30 + 27856971318578103821611893297060763834\ 6665116517148994855844595887778/56790623419150352007236065403963181\ 46204061038223798912219528923*c_0101_6^29 - 6142950337109370008248854943513183160460182288700340940551014035986\ 99/5679062341915035200723606540396318146204061038223798912219528923\ *c_0101_6^28 - 1203029661062141881421317720183098760729606562185053\ 155739133215197587/567906234191503520072360654039631814620406103822\ 3798912219528923*c_0101_6^27 + 167102639292057548473654822783629407\ 2966958846791891630169550272775838/56790623419150352007236065403963\ 18146204061038223798912219528923*c_0101_6^26 + 4722592550649409874632193792585270729457802348243836026014251813425\ 251/567906234191503520072360654039631814620406103822379891221952892\ 3*c_0101_6^25 - 421608939021120634395358444411231718085964970884355\ 7362795082570002329/56790623419150352007236065403963181462040610382\ 23798912219528923*c_0101_6^24 - 14156401620000153924281845911730935\ 532841321872643245073597000316541031/567906234191503520072360654039\ 6318146204061038223798912219528923*c_0101_6^23 + 1043694070487033075425724438677158535628401825298730429374268073137\ 4991/56790623419150352007236065403963181462040610382237989122195289\ 23*c_0101_6^22 + 29803735502878360175697447208797559801699210264804\ 189711730805043063333/567906234191503520072360654039631814620406103\ 8223798912219528923*c_0101_6^21 - 203881402670650264885517209287504\ 58173731957481054352800787168407348920/5679062341915035200723606540\ 396318146204061038223798912219528923*c_0101_6^20 - 4523470482639905694182147825321376844211543320216213904682327980857\ 7315/56790623419150352007236065403963181462040610382237989122195289\ 23*c_0101_6^19 + 27953755978152829859308802333270877584075748999693\ 138494611721891473979/567906234191503520072360654039631814620406103\ 8223798912219528923*c_0101_6^18 + 528797637218200169494685170951576\ 23730189237219528325968245178979020686/5679062341915035200723606540\ 396318146204061038223798912219528923*c_0101_6^17 - 2780647078820165287588668223211659157348542299373337725022140689344\ 9609/56790623419150352007236065403963181462040610382237989122195289\ 23*c_0101_6^16 - 49745566050043145294233989601260304036072951462642\ 103704362334447129886/567906234191503520072360654039631814620406103\ 8223798912219528923*c_0101_6^15 + 225625711295315340996642183169097\ 17097704154681127680436260449078301259/5679062341915035200723606540\ 396318146204061038223798912219528923*c_0101_6^14 + 3672501746400031010100914440678023028779479520112854843746801754499\ 4638/56790623419150352007236065403963181462040610382237989122195289\ 23*c_0101_6^13 - 16095720159063552493321039550583669062263946968147\ 677586151487068534081/567906234191503520072360654039631814620406103\ 8223798912219528923*c_0101_6^12 - 196893907897149765372220909866369\ 64788903806052044204597893554908446554/5679062341915035200723606540\ 396318146204061038223798912219528923*c_0101_6^11 + 6131587868269350414603590976848025526662808147888759061790733373083\ 3/37609684383543279474990771790704093683470602902144363657082973*c_\ 0101_6^10 + 7032604195181815056352102225537980987672117490571147578\ 273507788740511/567906234191503520072360654039631814620406103822379\ 8912219528923*c_0101_6^9 - 3690588289679476423026461829174965855267\ 619152438298114915401914612136/567906234191503520072360654039631814\ 6204061038223798912219528923*c_0101_6^8 - 1547278853070484975920578628031908518907790214060780763111597958821\ 658/567906234191503520072360654039631814620406103822379891221952892\ 3*c_0101_6^7 + 9122524003607938768631669192967121776867972717636517\ 51638240959180564/5679062341915035200723606540396318146204061038223\ 798912219528923*c_0101_6^6 + 19528816894771317803373258680249742267\ 4933512491359580275317805267081/56790623419150352007236065403963181\ 46204061038223798912219528923*c_0101_6^5 - 1300324570424751073861836617540028209616168815151453649150343999410\ 07/5679062341915035200723606540396318146204061038223798912219528923\ *c_0101_6^4 - 12655283462372476702814040735368740556889332878295799\ 568755430495397/567906234191503520072360654039631814620406103822379\ 8912219528923*c_0101_6^3 + 9645243590997711519084332449949528390868\ 873417478728353599940296272/567906234191503520072360654039631814620\ 4061038223798912219528923*c_0101_6^2 + 315868067995925414777298711857794304813301950194056759270224548895/\ 5679062341915035200723606540396318146204061038223798912219528923*c_\ 0101_6 - 2814996153242116408938649239604706266097121042715029905594\ 73278012/5679062341915035200723606540396318146204061038223798912219\ 528923, c_0011_3 + 124606057419556753218733734622191689817335491175405949397072\ 403826/567906234191503520072360654039631814620406103822379891221952\ 8923*c_0101_6^37 - 189472391752494726068732247742178712631301461540\ 761857262930348975/567906234191503520072360654039631814620406103822\ 3798912219528923*c_0101_6^36 - 258501114419587925984013357652659632\ 7540961293568571866198855893168/56790623419150352007236065403963181\ 46204061038223798912219528923*c_0101_6^35 + 3908384468776849661052854200827784286908565446002034808534611485823\ /5679062341915035200723606540396318146204061038223798912219528923*c\ _0101_6^34 + 241229819387151930002235554076505663152540023367312378\ 41537480804508/5679062341915035200723606540396318146204061038223798\ 912219528923*c_0101_6^33 - 4668024399474244343402124042660571636217\ 8837382709487107388068109952/56790623419150352007236065403963181462\ 04061038223798912219528923*c_0101_6^32 - 1538904386041188566143570083113082798421958426580294154103503760831\ 17/5679062341915035200723606540396318146204061038223798912219528923\ *c_0101_6^31 + 3214138996668960961659596073898375760466002757928738\ 35826791107594894/5679062341915035200723606540396318146204061038223\ 798912219528923*c_0101_6^30 + 7760334083538935728170505041959056402\ 65786678784186294007031005488355/5679062341915035200723606540396318\ 146204061038223798912219528923*c_0101_6^29 - 1251886349203557636839611696807752269272350645532922171240090301564\ 395/567906234191503520072360654039631814620406103822379891221952892\ 3*c_0101_6^28 - 326035293304882932077813457969040809792936099487138\ 9686724417366526182/56790623419150352007236065403963181462040610382\ 23798912219528923*c_0101_6^27 + 31567846464377586562876602048658872\ 46968220500887868968365806842810720/5679062341915035200723606540396\ 318146204061038223798912219528923*c_0101_6^26 + 1225800799476586677992927864328098167746526273521021796915845047559\ 5550/56790623419150352007236065403963181462040610382237989122195289\ 23*c_0101_6^25 - 67191842782795717550482418946510763371500517560573\ 54015100600149477215/5679062341915035200723606540396318146204061038\ 223798912219528923*c_0101_6^24 - 3701759109018113815784688129475230\ 3423783155945760886316366081184363539/56790623419150352007236065403\ 96318146204061038223798912219528923*c_0101_6^23 + 1572590797299653318505382782936102867945136318026012966194315839298\ 0409/56790623419150352007236065403963181462040610382237989122195289\ 23*c_0101_6^22 + 80715903946154355640603416624356397062009756534557\ 961488254859270490882/567906234191503520072360654039631814620406103\ 8223798912219528923*c_0101_6^21 - 324331592928830238604356428626427\ 75887134151279776355875378264446919201/5679062341915035200723606540\ 396318146204061038223798912219528923*c_0101_6^20 - 1263148476595089873446250495830275959208958675036138652035707054612\ 41704/5679062341915035200723606540396318146204061038223798912219528\ 923*c_0101_6^19 + 4571168002128397886819791333354579035890867032590\ 2365598899915307952205/56790623419150352007236065403963181462040610\ 38223798912219528923*c_0101_6^18 + 1497380929263419320884379467067298767926937008134350850988503795045\ 09410/5679062341915035200723606540396318146204061038223798912219528\ 923*c_0101_6^17 - 4357975826272524497490857280937747535235763418404\ 4554127824951139458774/56790623419150352007236065403963181462040610\ 38223798912219528923*c_0101_6^16 - 1416974995920042662166625536564332125070037061753776792899761877935\ 84340/5679062341915035200723606540396318146204061038223798912219528\ 923*c_0101_6^15 + 3345882805404101829672437577750832268386097907812\ 3946827682321797000469/56790623419150352007236065403963181462040610\ 38223798912219528923*c_0101_6^14 + 1061119031345977691746129289600845230229769496496708369770281801994\ 42572/5679062341915035200723606540396318146204061038223798912219528\ 923*c_0101_6^13 - 2509304710939990959403592555008584279868524174205\ 7296618374864501960030/56790623419150352007236065403963181462040610\ 38223798912219528923*c_0101_6^12 - 5858736223575193381035763722150072740517722021274723718045049237239\ 5729/56790623419150352007236065403963181462040610382237989122195289\ 23*c_0101_6^11 + 10810097310148625618818982132128528535854004067718\ 3685569286362552424/37609684383543279474990771790704093683470602902\ 144363657082973*c_0101_6^10 + 2186675674396913794840852194463266118\ 4863620911175701295573867404149709/56790623419150352007236065403963\ 18146204061038223798912219528923*c_0101_6^9 - 7217678430072758864792657313497101841658839772940786756280598716738\ 845/567906234191503520072360654039631814620406103822379891221952892\ 3*c_0101_6^8 - 5103248582037781439572680109317247393825102625953883\ 717786789823031317/567906234191503520072360654039631814620406103822\ 3798912219528923*c_0101_6^7 + 1899310294444171738742708903913659362\ 635478058321500042572341009267489/567906234191503520072360654039631\ 8146204061038223798912219528923*c_0101_6^6 + 6937458203708867881587123931945165086260752996360130532252939054425\ 73/5679062341915035200723606540396318146204061038223798912219528923\ *c_0101_6^5 - 27968512012003728357945395721985819891562590100887518\ 8646481555077801/56790623419150352007236065403963181462040610382237\ 98912219528923*c_0101_6^4 - 492283384118609904121646793803641289175\ 01335310405124565702752474494/5679062341915035200723606540396318146\ 204061038223798912219528923*c_0101_6^3 + 2113235147469894034205512489648582776769589103706377308886890203805\ 4/5679062341915035200723606540396318146204061038223798912219528923*\ c_0101_6^2 + 138444013203338869174771309355488418581228457556050999\ 4545697252973/56790623419150352007236065403963181462040610382237989\ 12219528923*c_0101_6 - 63299225521156368987435939090309232914544185\ 3135978129847206061931/56790623419150352007236065403963181462040610\ 38223798912219528923, c_0101_0 + 407799232101949352774921359551789440294701003293677553855433\ 643045/567906234191503520072360654039631814620406103822379891221952\ 8923*c_0101_6^37 - 101013016993096213324318624243383328446286421816\ 4895649353013042426/56790623419150352007236065403963181462040610382\ 23798912219528923*c_0101_6^36 - 73055247651053731514646727651266458\ 11611169949380413149732506964089/5679062341915035200723606540396318\ 146204061038223798912219528923*c_0101_6^35 + 1905873419671192043621552228994855899779305959146739845115784294632\ 1/5679062341915035200723606540396318146204061038223798912219528923*\ c_0101_6^34 + 58106415843276824035099587835810045846964312374940595\ 450123639373251/567906234191503520072360654039631814620406103822379\ 8912219528923*c_0101_6^33 - 195532827852257254843100292378020732575\ 622367643844717002543906890723/567906234191503520072360654039631814\ 6204061038223798912219528923*c_0101_6^32 - 3034531795153797456731003043269247496686922409131007982739695048342\ 67/5679062341915035200723606540396318146204061038223798912219528923\ *c_0101_6^31 + 1225052671595757697012293628285002291254899758601229\ 594726960279687430/567906234191503520072360654039631814620406103822\ 3798912219528923*c_0101_6^30 + 135817568950192596510192750309681670\ 1929904686587228534457096949608386/56790623419150352007236065403963\ 18146204061038223798912219528923*c_0101_6^29 - 4726474388961851686284118514272897267416552868869089414475082750072\ 338/567906234191503520072360654039631814620406103822379891221952892\ 3*c_0101_6^28 - 628522196518491710385409412399931095829013088196327\ 7289570745102397940/56790623419150352007236065403963181462040610382\ 23798912219528923*c_0101_6^27 + 13798460246164413321980540120880729\ 701663288247813459859560242619605496/567906234191503520072360654039\ 6318146204061038223798912219528923*c_0101_6^26 + 2682763935236212677798364176484669144878320719744715562789983478880\ 2546/56790623419150352007236065403963181462040610382237989122195289\ 23*c_0101_6^25 - 39205115059439192552878454490005362819306987161808\ 154992777776584886902/567906234191503520072360654039631814620406103\ 8223798912219528923*c_0101_6^24 - 798003407419479196178137601816445\ 24797664040694684635126511717159000612/5679062341915035200723606540\ 396318146204061038223798912219528923*c_0101_6^23 + 9913865937809406676111222190472892167017612167888893506133719851265\ 4865/56790623419150352007236065403963181462040610382237989122195289\ 23*c_0101_6^22 + 15930564792781633582069935258041950854617972715797\ 7440843746664959238865/56790623419150352007236065403963181462040610\ 38223798912219528923*c_0101_6^21 - 1840232208101774917068382050691261047616294114692464825073030315638\ 46213/5679062341915035200723606540396318146204061038223798912219528\ 923*c_0101_6^20 - 2316959413294583611667855580174182657381741585204\ 61530544299914764041871/5679062341915035200723606540396318146204061\ 038223798912219528923*c_0101_6^19 + 2414469491706245204225086926403597845497131872914820778577883998949\ 29524/5679062341915035200723606540396318146204061038223798912219528\ 923*c_0101_6^18 + 2684396170038282253907597940673456125727884975439\ 35124543283915591894797/5679062341915035200723606540396318146204061\ 038223798912219528923*c_0101_6^17 - 2379595805699369429695729917529072758606361387809741386119913404179\ 25518/5679062341915035200723606540396318146204061038223798912219528\ 923*c_0101_6^16 - 2523678727405365293853714268298484659375314141519\ 66462961568430265795955/5679062341915035200723606540396318146204061\ 038223798912219528923*c_0101_6^15 + 1907966827793348067618951366605790196087885875530632718546055383689\ 36604/5679062341915035200723606540396318146204061038223798912219528\ 923*c_0101_6^14 + 1812135255649368570127060563047069846292160135347\ 33882572552361316341850/5679062341915035200723606540396318146204061\ 038223798912219528923*c_0101_6^13 - 1259814282944392831588320887581434415657250257763886182023371169012\ 54897/5679062341915035200723606540396318146204061038223798912219528\ 923*c_0101_6^12 - 9162929346880505724130013041729234825950591154817\ 2498904424797228792798/56790623419150352007236065403963181462040610\ 38223798912219528923*c_0101_6^11 + 4196906006942124793528835936485913508106604336457889959083443324558\ 02/37609684383543279474990771790704093683470602902144363657082973*c\ _0101_6^10 + 304268184672981877504109424757430539434284678655351591\ 91794300403856819/5679062341915035200723606540396318146204061038223\ 798912219528923*c_0101_6^9 - 21915470963901997254928706560226509372\ 886212130982478530994429205395371/567906234191503520072360654039631\ 8146204061038223798912219528923*c_0101_6^8 - 6236315763473908983072989963776954065236369635310175847376596540600\ 307/567906234191503520072360654039631814620406103822379891221952892\ 3*c_0101_6^7 + 4782310773594324955877465349459268145887171344225285\ 690000541762328219/567906234191503520072360654039631814620406103822\ 3798912219528923*c_0101_6^6 + 7405522784723141788765167070992498570\ 58305424657714301406338944095583/5679062341915035200723606540396318\ 146204061038223798912219528923*c_0101_6^5 - 6136740233074868205176456637055244588972209884599747230375962936866\ 39/5679062341915035200723606540396318146204061038223798912219528923\ *c_0101_6^4 - 45672023624899111899600914559162391161565989717352145\ 326556183098854/567906234191503520072360654039631814620406103822379\ 8912219528923*c_0101_6^3 + 4184105659567467997823582513387744316966\ 3547700509493445990023108883/56790623419150352007236065403963181462\ 04061038223798912219528923*c_0101_6^2 + 1108138721194550359735755055455163479761641773354289891017558600261\ /5679062341915035200723606540396318146204061038223798912219528923*c\ _0101_6 - 116184743274938923356409113315433683966983632156838009555\ 7226975849/56790623419150352007236065403963181462040610382237989122\ 19528923, c_0101_1 - 386433963155418728851510904816568735282381971637099399159519\ 706860/567906234191503520072360654039631814620406103822379891221952\ 8923*c_0101_6^37 + 104722510416523957903932813344128086031454301120\ 3301123475786437808/56790623419150352007236065403963181462040610382\ 23798912219528923*c_0101_6^36 + 66352671348411437484404505418484891\ 50094105191205953372911540528444/5679062341915035200723606540396318\ 146204061038223798912219528923*c_0101_6^35 - 1944750308935658142195475166375179822231987131320116369519948297452\ 4/5679062341915035200723606540396318146204061038223798912219528923*\ c_0101_6^34 - 49915757422238464511881489915141591562320292731812350\ 346307282762699/567906234191503520072360654039631814620406103822379\ 8912219528923*c_0101_6^33 + 194109908757256220977913843063377598062\ 330446895540140281077595414021/567906234191503520072360654039631814\ 6204061038223798912219528923*c_0101_6^32 + 2390707147847281701718775608198780836210425434700575977246179764425\ 34/5679062341915035200723606540396318146204061038223798912219528923\ *c_0101_6^31 - 1190863002336412703190409838086193740241520776604282\ 224158760715563678/567906234191503520072360654039631814620406103822\ 3798912219528923*c_0101_6^30 - 100481456627580097524735182097637907\ 5012224182302543460717520493974329/56790623419150352007236065403963\ 18146204061038223798912219528923*c_0101_6^29 + 4566616945925383851725572089190247124548474729140437599324697120608\ 141/567906234191503520072360654039631814620406103822379891221952892\ 3*c_0101_6^28 + 490760925087274521213431082426171835732061846115680\ 9580284232545547702/56790623419150352007236065403963181462040610382\ 23798912219528923*c_0101_6^27 - 13673183256207556838636570578567551\ 060718844000818916609786443279876142/567906234191503520072360654039\ 6318146204061038223798912219528923*c_0101_6^26 - 2216398776098353031773006184024760619246383175813354927928676333096\ 6489/56790623419150352007236065403963181462040610382237989122195289\ 23*c_0101_6^25 + 40536817379281319557667845774100629922623750445048\ 642044005962959972214/567906234191503520072360654039631814620406103\ 8223798912219528923*c_0101_6^24 + 651859327896104920439230727397148\ 30740840871546011528521456097371582195/5679062341915035200723606540\ 396318146204061038223798912219528923*c_0101_6^23 - 1031319613827377722674530092707299347794655486580104303858235230872\ 82808/5679062341915035200723606540396318146204061038223798912219528\ 923*c_0101_6^22 - 1244599133870021666877755014546157576589103895065\ 94514672795838007179179/5679062341915035200723606540396318146204061\ 038223798912219528923*c_0101_6^21 + 1878775770828094779442080360313432107833011793621134606147418596243\ 52239/5679062341915035200723606540396318146204061038223798912219528\ 923*c_0101_6^20 + 1742059460170631583510691859825884634684003235073\ 70488791774941159844393/5679062341915035200723606540396318146204061\ 038223798912219528923*c_0101_6^19 - 2427545452881260127243739528736609530127367476544191576947459402604\ 22553/5679062341915035200723606540396318146204061038223798912219528\ 923*c_0101_6^18 - 1996186630912250852274887984606833850562984841653\ 09432606177127180694666/5679062341915035200723606540396318146204061\ 038223798912219528923*c_0101_6^17 + 2394466735535749040363357788553970008362460294430806363638603258163\ 85233/5679062341915035200723606540396318146204061038223798912219528\ 923*c_0101_6^16 + 1869724759390296242980939539024835313800519360920\ 35684684199470629613111/5679062341915035200723606540396318146204061\ 038223798912219528923*c_0101_6^15 - 1924426832403592274785206776138392277336172401828922400507097448714\ 23655/5679062341915035200723606540396318146204061038223798912219528\ 923*c_0101_6^14 - 1309555884782298580356421770287083331009180710386\ 98889365267721245375904/5679062341915035200723606540396318146204061\ 038223798912219528923*c_0101_6^13 + 1242139415353898774874834782916503278255407575922439959478473888114\ 69680/5679062341915035200723606540396318146204061038223798912219528\ 923*c_0101_6^12 + 6298534421636592588695728611578156648264060567788\ 2392794895640825031618/56790623419150352007236065403963181462040610\ 38223798912219528923*c_0101_6^11 - 3940557148413773975050586306531562454500624860734016286156591528361\ 47/37609684383543279474990771790704093683470602902144363657082973*c\ _0101_6^10 - 196345717025583135855468105902157304304851809086841588\ 77535204788245296/5679062341915035200723606540396318146204061038223\ 798912219528923*c_0101_6^9 + 19481153645573750288107229625604015729\ 008195145883697585954822811692301/567906234191503520072360654039631\ 8146204061038223798912219528923*c_0101_6^8 + 3785255193606837356579149550062896599052824129156948211470184199021\ 495/567906234191503520072360654039631814620406103822379891221952892\ 3*c_0101_6^7 - 4080028157813676569617375293517632148539246572333516\ 165136428590533249/567906234191503520072360654039631814620406103822\ 3798912219528923*c_0101_6^6 - 4253467124684861799276740558589781131\ 16666012937475107419713001619816/5679062341915035200723606540396318\ 146204061038223798912219528923*c_0101_6^5 + 5115060933693023239370293594800727563289225822272405391112707362304\ 43/5679062341915035200723606540396318146204061038223798912219528923\ *c_0101_6^4 + 24803985532756091795598498515405500864114343803476305\ 894718985115326/567906234191503520072360654039631814620406103822379\ 8912219528923*c_0101_6^3 - 3444990932453065507773001717846015877368\ 6538591280415274681550082885/56790623419150352007236065403963181462\ 04061038223798912219528923*c_0101_6^2 - 554184090151307879893276905693729211914868336168942980626295288951/\ 5679062341915035200723606540396318146204061038223798912219528923*c_\ 0101_6 + 9472218950506103960601861647927719928975400436684035001359\ 20297605/5679062341915035200723606540396318146204061038223798912219\ 528923, c_0101_4 - 127920769807381610692071336961083386561212472720402549993472\ 925272/567906234191503520072360654039631814620406103822379891221952\ 8923*c_0101_6^37 + 397471780595279074300029871810492132727241358933\ 462358631369471353/567906234191503520072360654039631814620406103822\ 3798912219528923*c_0101_6^36 + 202766824309061334099954223556538067\ 5326553930678940024217554717340/56790623419150352007236065403963181\ 46204061038223798912219528923*c_0101_6^35 - 7213738783664263119556451685714561114525673777366002103393385052684\ /5679062341915035200723606540396318146204061038223798912219528923*c\ _0101_6^34 - 134762788988769196944004233577311534067890061597587850\ 00982112534380/5679062341915035200723606540396318146204061038223798\ 912219528923*c_0101_6^33 + 6907919219026672044129093898009606802743\ 3227206680737837624117502983/56790623419150352007236065403963181462\ 04061038223798912219528923*c_0101_6^32 + 5038538996531555297405170663317925923091430002700815743208745779473\ 0/5679062341915035200723606540396318146204061038223798912219528923*\ c_0101_6^31 - 40905492113473768287458417424533108524393798717689198\ 3396087691232413/56790623419150352007236065403963181462040610382237\ 98912219528923*c_0101_6^30 - 16408580074183567072647109771663255124\ 0679742866879705275971525070246/56790623419150352007236065403963181\ 46204061038223798912219528923*c_0101_6^29 + 1546193676461534651343670715296695314535868543213653087471712484216\ 853/567906234191503520072360654039631814620406103822379891221952892\ 3*c_0101_6^28 + 985389874066366173742057785113586416897365722274833\ 250857298379754485/567906234191503520072360654039631814620406103822\ 3798912219528923*c_0101_6^27 - 480633562607286459404229077374500319\ 4254798435935523237496728657538051/56790623419150352007236065403963\ 18146204061038223798912219528923*c_0101_6^26 - 5304653385714358457416157728787904520113258609869519908591206937822\ 698/567906234191503520072360654039631814620406103822379891221952892\ 3*c_0101_6^25 + 152050832060134075034743498121474606157282071224058\ 38935576543655674681/5679062341915035200723606540396318146204061038\ 223798912219528923*c_0101_6^24 + 1499061824027904790268891650286185\ 4072820947327818967182663939139368350/56790623419150352007236065403\ 96318146204061038223798912219528923*c_0101_6^23 - 3913727657978840572037279112761644406162524144342955908229213032301\ 3026/56790623419150352007236065403963181462040610382237989122195289\ 23*c_0101_6^22 - 24152181208285001255813166509228765565276790805283\ 585177106692333054107/567906234191503520072360654039631814620406103\ 8223798912219528923*c_0101_6^21 + 694076163142837110180163039290140\ 86133228148005012195814600111038446883/5679062341915035200723606540\ 396318146204061038223798912219528923*c_0101_6^20 + 2753974470367578183440438307553279549170673328537949077521033030915\ 8695/56790623419150352007236065403963181462040610382237989122195289\ 23*c_0101_6^19 - 87266943731819858865237300207690803028933993934862\ 801850457868110337281/567906234191503520072360654039631814620406103\ 8223798912219528923*c_0101_6^18 - 282600530567540320752541454032669\ 10554574752381308203218996035599885000/5679062341915035200723606540\ 396318146204061038223798912219528923*c_0101_6^17 + 8575360577863181418572153469399414465439701234497796401681894743728\ 5567/56790623419150352007236065403963181462040610382237989122195289\ 23*c_0101_6^16 + 24588800096752676854315003580215565070765658985301\ 844231457358432400168/567906234191503520072360654039631814620406103\ 8223798912219528923*c_0101_6^15 - 691434735067789984205686377176136\ 87723800716577210717615068016560743862/5679062341915035200723606540\ 396318146204061038223798912219528923*c_0101_6^14 - 1323680181677723998034345328112870354534211033041818704083465521021\ 0250/56790623419150352007236065403963181462040610382237989122195289\ 23*c_0101_6^13 + 43056667668886874704457315129649911013131343842584\ 748409643986895653055/567906234191503520072360654039631814620406103\ 8223798912219528923*c_0101_6^12 + 232866350391572271473660007814912\ 0738385053985377306942374885249386222/56790623419150352007236065403\ 96318146204061038223798912219528923*c_0101_6^11 - 1233879313785785886033574148169483332453955841264724103790589109869\ 15/37609684383543279474990771790704093683470602902144363657082973*c\ _0101_6^10 + 127015186471801414393303545800423337055094209480872268\ 8105640272158252/56790623419150352007236065403963181462040610382237\ 98912219528923*c_0101_6^9 + 513142789040652510689275386102571053525\ 4443931549589394478205560602753/56790623419150352007236065403963181\ 46204061038223798912219528923*c_0101_6^8 - 7717627934213876054632329519681271239937099901971190537505261661291\ 39/5679062341915035200723606540396318146204061038223798912219528923\ *c_0101_6^7 - 84012961182366069803135368025696073303136139147901519\ 4302074999235663/56790623419150352007236065403963181462040610382237\ 98912219528923*c_0101_6^6 + 161180321296354114506808315727356890240\ 602538822429959069979428007876/567906234191503520072360654039631814\ 6204061038223798912219528923*c_0101_6^5 + 7559398628535149961178620330249131723420211202687425213775451573103\ 1/5679062341915035200723606540396318146204061038223798912219528923*\ c_0101_6^4 - 147987688038839880105817683876827526793077545869347957\ 83938118315765/5679062341915035200723606540396318146204061038223798\ 912219528923*c_0101_6^3 - 32240501518008223040294299782829578709221\ 07164964760338296147710284/5679062341915035200723606540396318146204\ 061038223798912219528923*c_0101_6^2 + 501499940751961360001981478689010263971008254693057249519039397623/\ 5679062341915035200723606540396318146204061038223798912219528923*c_\ 0101_6 + 4343848128894575764660247918561759622344567531166771670994\ 8663464/56790623419150352007236065403963181462040610382237989122195\ 28923, c_0101_6^38 - 2*c_0101_6^37 - 19*c_0101_6^36 + 38*c_0101_6^35 + 163*c_0101_6^34 - 408*c_0101_6^33 - 958*c_0101_6^32 + 2612*c_0101_6^31 + 4678*c_0101_6^30 - 9771*c_0101_6^29 - 20529*c_0101_6^28 + 25669*c_0101_6^27 + 80141*c_0101_6^26 - 62727*c_0101_6^25 - 234686*c_0101_6^24 + 144854*c_0101_6^23 + 487340*c_0101_6^22 - 253735*c_0101_6^21 - 745726*c_0101_6^20 + 302671*c_0101_6^19 + 886640*c_0101_6^18 - 249765*c_0101_6^17 - 836911*c_0101_6^16 + 158113*c_0101_6^15 + 614524*c_0101_6^14 - 88268*c_0101_6^13 - 336566*c_0101_6^12 + 43306*c_0101_6^11 + 131618*c_0101_6^10 - 15801*c_0101_6^9 - 35275*c_0101_6^8 + 3674*c_0101_6^7 + 6196*c_0101_6^6 - 495*c_0101_6^5 - 670*c_0101_6^4 + 35*c_0101_6^3 + 40*c_0101_6^2 - c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB