Magma V2.19-8 Tue Aug 20 2013 16:17:49 on localhost [Seed = 997894105] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2047 geometric_solution 5.57781052 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.496601278658 0.693230549574 3 4 2 0 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.505000141160 0.638863278909 4 3 0 1 2310 3201 0132 1302 0 0 0 0 0 0 -1 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 1 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.505000141160 0.638863278909 1 5 2 5 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.228014229598 1.322378231278 4 1 2 4 3201 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.775231602111 0.834806203242 6 3 6 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.592304207140 0.250903284919 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.592749051825 0.067056092337 ==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' : 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' : 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_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_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_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 115063056257775161936895594679787991327746908188854551397/767536320\ 1120462974566998381185676221133883968651795158*c_0101_6^25 + 124574076156744633794103066674345149142121858054039772298/127922720\ 0186743829094499730197612703522313994775299193*c_0101_6^24 + 244943193659045158115385030730475823912289642396582778386/127922720\ 0186743829094499730197612703522313994775299193*c_0101_6^23 - 11885471816777527235005234055466439301956588833336152886193/7675363\ 201120462974566998381185676221133883968651795158*c_0101_6^22 + 14185341713452543798919634628171897854619396354671257368237/7675363\ 201120462974566998381185676221133883968651795158*c_0101_6^21 + 2924638328271280678086216451258380026801177083476854841589/25584544\ 00373487658188999460395225407044627989550598386*c_0101_6^20 - 234825346422458072698391499767518878100542001764530030963849/767536\ 3201120462974566998381185676221133883968651795158*c_0101_6^19 + 40254153501562939708535906577683925872761317547583989146923/1279227\ 200186743829094499730197612703522313994775299193*c_0101_6^18 + 21190707576812115853919190428766901034146632594066556365706/3488801\ 45505475589753045380962985282778812907665990689*c_0101_6^17 - 475602792688336128140363889411123117777441316960130215177715/767536\ 3201120462974566998381185676221133883968651795158*c_0101_6^16 + 103067235820022390617783375825173053302826619842739535216543/767536\ 3201120462974566998381185676221133883968651795158*c_0101_6^15 + 182292103643933885223011507105947557004476919059309370814567/383768\ 1600560231487283499190592838110566941984325897579*c_0101_6^14 - 207291423105920437783238564771606744415091876423283540910929/383768\ 1600560231487283499190592838110566941984325897579*c_0101_6^13 - 135807636682271824780306965628057871793267357539109706839197/383768\ 1600560231487283499190592838110566941984325897579*c_0101_6^12 - 55750678563355236828347404706102463505957574608161788880875/2558454\ 400373487658188999460395225407044627989550598386*c_0101_6^11 - 84429867440702106250195759582251507609707217537142851806053/7675363\ 201120462974566998381185676221133883968651795158*c_0101_6^10 - 156940179559622677967613729001061319778427747362052318824909/767536\ 3201120462974566998381185676221133883968651795158*c_0101_6^9 - 25552771476959757627485270278338219934543130184977733851223/2558454\ 400373487658188999460395225407044627989550598386*c_0101_6^8 + 160144766052344745572310718580869030842024732350478739598165/767536\ 3201120462974566998381185676221133883968651795158*c_0101_6^7 + 7037920846108289305507911812053053708711770990904673177600/38376816\ 00560231487283499190592838110566941984325897579*c_0101_6^6 + 3239751657910590109610627983566313025403509484390357006641/69776029\ 1010951179506090761925970565557625815331981378*c_0101_6^5 + 27880226006806850384723104565310454971151980925172299303231/2558454\ 400373487658188999460395225407044627989550598386*c_0101_6^4 + 1263370922121582272158065994284357607447811573589003109912/38376816\ 00560231487283499190592838110566941984325897579*c_0101_6^3 + 135945969093938981679744421004653028968619580447374248259/116293381\ 835158529917681793654328427592937635888663563*c_0101_6^2 + 16233829844283378890157269036429116807849158860105496944141/7675363\ 201120462974566998381185676221133883968651795158*c_0101_6 + 1285694938577967372476904957628446968674290879378673999511/38376816\ 00560231487283499190592838110566941984325897579, c_0011_0 - 1, c_0011_1 + 21141807601125402759197185212802829875722374958788204/116293\ 381835158529917681793654328427592937635888663563*c_0101_6^25 - 276428706885978076765769122088310033170583598779465969/232586763670\ 317059835363587308656855185875271777327126*c_0101_6^24 - 262884254684744908657637093611799737592194250559217611/116293381835\ 158529917681793654328427592937635888663563*c_0101_6^23 + 2184509016299195936384333190288622041115963187039138702/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6^22 - 5414790363811439387762955412503908697748659801974740149/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6^21 - 2690351707563300730756511813654650860251094197782897311/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6^20 + 85821290823472385856100349105923316648036180324249042423/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^19 - 92110594283922928572268181536258682198926987566136627005/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^18 - 80923944703484641474884676876442540469921944551958313192/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^17 + 85613460451618021310323724732825074549107864521168362896/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^16 - 48987072937278684681216657936464705846397197000050879735/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^15 - 116373649646655095894865132567022797341438989920590888633/232586763\ 670317059835363587308656855185875271777327126*c_0101_6^14 + 71677147229739293413754644072035828476253014133336132991/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^13 + 46757497688948486879023174198195731387018147034268460804/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^12 + 34360976482919256149764270254981415509491274042758884359/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^11 + 27586920300605603720802647163914970797966135689182158653/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^10 + 59803527839119396512496650678147141248068752384787370701/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^9 + 25179304510737559060402076049704265203467551060577341613/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^8 - 55446238190100539600346055369075676726301582418432702851/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^7 - 4064097200420716955438274902382752657480850123398635271/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6^6 - 8214859806503599727760564318988602607550017024583750126/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6^5 - 28214147158661588483428537508861510857844742751964130779/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^4 - 1925497767920147333765535352801799650762162841834946815/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6^3 - 1980065784694268411620891619301276221564772741684128989/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6^2 - 2702772832681287055621305105768749141197988949672805531/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6 - 1144489819059842591453961466987221405562278544693358953/23258676367\ 0317059835363587308656855185875271777327126, c_0101_0 + 22224658369612118263499137428498090166192199306272361/116293\ 381835158529917681793654328427592937635888663563*c_0101_6^25 - 284572789033605182729943882970508566484239310834773449/232586763670\ 317059835363587308656855185875271777327126*c_0101_6^24 - 595550585754327636375363559949145865686399893373312799/232586763670\ 317059835363587308656855185875271777327126*c_0101_6^23 + 4543337880421137850267574055942250504500776453429035843/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6^22 - 2521002917339255763386473722942518697358030533862200024/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6^21 - 1992876262804587549618575687712367515160759817195970838/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6^20 + 90523624070700355025661001558238871519961297015710892297/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^19 - 84764062704922631178915487831879291858096655595519031359/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^18 - 190423809249983925186457583688133614784456813690275093547/232586763\ 670317059835363587308656855185875271777327126*c_0101_6^17 + 169174185626421319942884747958162747997455196961941755673/232586763\ 670317059835363587308656855185875271777327126*c_0101_6^16 - 10016769284956223756337538128894530261167773931191122431/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^15 - 74893709462323932211651554889363299155807764036500376125/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^14 + 74658259191098086914316945713081913343724293947092695693/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^13 + 121773337356994070237002479447658315896089040803026216979/232586763\ 670317059835363587308656855185875271777327126*c_0101_6^12 + 70320934130010459065409082524477351955599799916292498601/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^11 + 19764044933305402924362524551314517052191555535317565201/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^10 + 31303205945949397301994038946715227117884146136953382730/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^9 + 36342454704230949227201567127735428096694382086921606179/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^8 - 60045408194922915293364647378384442869062595833650798169/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^7 - 5695904594614591300558597148058991607876387814433328998/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6^6 - 6526821210788125481598110626180933598706654184102271329/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6^5 - 34347084675427778982610206481369527131928082542940544085/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^4 - 3781233128627843821928184988237754682948696255551737285/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6^3 - 1730270253168594705948353920332928872359070699436394893/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6^2 - 6586349607364067173817703435602105430234976466223323435/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6 - 1414609310575300528552233154076155502987401360657092189/23258676367\ 0317059835363587308656855185875271777327126, c_0101_1 - 7275963805257301666425372683711202637005057710382357/2325867\ 63670317059835363587308656855185875271777327126*c_0101_6^25 + 18834975380849118521904850228647913845042220638852865/1162933818351\ 58529917681793654328427592937635888663563*c_0101_6^24 + 80633626843241204905807399780561029199277018425558352/1162933818351\ 58529917681793654328427592937635888663563*c_0101_6^23 - 672085500739247872742199022331626515024648194816887605/232586763670\ 317059835363587308656855185875271777327126*c_0101_6^22 - 141007872964834243512488089469276259332668591710587139/232586763670\ 317059835363587308656855185875271777327126*c_0101_6^21 + 2382769958466855589419283441253796260432587931908374501/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6^20 - 15297737050467049865758993933462757795106282838831395527/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^19 - 1934736123518446282450094124619035408087872525997672780/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6^18 + 30698275074752316795550037082156960937946323415757154174/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^17 - 11644428280967203736319157464169569839787894686180247489/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^16 - 41861862094181825968432726066630110373220596573046495541/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^15 + 29473165062247888543461868201506456726369107329384642779/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^14 - 10616531503477431360805789168477742884233511677878720866/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^13 - 24373995724451275059319419602827760511568701072510679386/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^12 - 16994700535357034698374859054525757421304290993883307811/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^11 - 16338070024982593735952322782867658258617015048054242855/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^10 - 7463563085296826934479266650453515107462225284369993145/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6^9 - 18815808996355501674652487595958718289254382368031252647/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^8 + 13524065217850345334165416895892355023446405970492646979/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^7 + 5465153367611766660648640819429022127777548760458612791/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6^6 - 1345193983374642728969894367597924145211512081559874905/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6^5 + 10064898895508196272275569005279304510831241928019941705/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^4 + 1377944311667143599796434795986685499661704966088322625/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6^3 - 203799713701351035929489837400320909449406931765664739/116293381835\ 158529917681793654328427592937635888663563*c_0101_6^2 + 2043640319125492559277419528271435153735786796729343165/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6 + 337485936759563327030659210996527488251028197442322071/116293381835\ 158529917681793654328427592937635888663563, c_0101_4 - 15993381396925438105080097218953700050734118579126683/116293\ 381835158529917681793654328427592937635888663563*c_0101_6^25 + 107942067925716487686614159054809237454124595985387102/116293381835\ 158529917681793654328427592937635888663563*c_0101_6^24 + 175966932593656891385796938543148795119887605564077375/116293381835\ 158529917681793654328427592937635888663563*c_0101_6^23 - 3378344525618545060090898533907561426457865364495315795/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6^22 + 4808207584706860390672795563073610787203326151603040855/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6^21 + 1004768008200831149295633624955005010146625620807601957/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6^20 - 65060204111423301468073340786769783228336968564039417691/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^19 + 41657246373130043465859789741637752232831726806197525256/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^18 + 52358559174299330537641977375098796778501408886403088222/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^17 - 150439392910713398305139236326804942342773064977063365291/232586763\ 670317059835363587308656855185875271777327126*c_0101_6^16 + 66825296088965620597934253362218817286841736760219895807/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^15 + 74058230018905889519716060542202782913448868589788096353/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^14 - 122036046762161325258495752030234973472834826065288025237/232586763\ 670317059835363587308656855185875271777327126*c_0101_6^13 - 24123105847507293262078427028122424059067484031931287109/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^12 - 39629507447618176868348867782168075322939861476001777151/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^11 - 12274746596859874920904355400541119222028011347637013289/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^10 - 42091664205467743629368502220398262243478856545987276493/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^9 - 9651116885936569074487136037915609440711644838282973861/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6^8 + 21652717728647273168461840911667751926484925750824092782/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^7 - 2488918811182474015310734585197495305369409218943064425/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6^6 + 12144575214407419716734447102419123655966714088375424503/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^5 + 9265255848023885946435213385139765882094537595813279770/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6^4 - 1410123038297849439071787902957415847539651064011013039/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6^3 + 1608091129897116120240485306063915067170582485427387235/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6^2 + 1757189970582739213124930744405913202643919401385386223/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6 + 48608709798951891038210734888998961662394542035193103/2325867636703\ 17059835363587308656855185875271777327126, c_0101_5 - 20455005814187244902316258712227991348573697336329048/116293\ 381835158529917681793654328427592937635888663563*c_0101_6^25 + 138045400100625903280771840681139504384426204277902452/116293381835\ 158529917681793654328427592937635888663563*c_0101_6^24 + 449000127013567939354838455246685737408734190003263897/232586763670\ 317059835363587308656855185875271777327126*c_0101_6^23 - 4312967859444397238471213856406629148411601820053343309/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6^22 + 6166272659794049920830863235490267756623569886744673261/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6^21 + 1162384229114019229129942372259312449131312754303977335/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6^20 - 41550133907740265127879046422331839313718967051151425772/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^19 + 53350843229799899577913014493622277533191322753034576236/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^18 + 131418869393314048245751817897785358344884756899163620193/232586763\ 670317059835363587308656855185875271777327126*c_0101_6^17 - 190477272185179505705995873542151582256483445319588788751/232586763\ 670317059835363587308656855185875271777327126*c_0101_6^16 + 91902500756139554964746258251534904452440107479275049513/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^15 + 90096691456882361550060305542001085367329308152507363031/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^14 - 78335269502484644247031313910159510558960858198838309571/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^13 - 57706347993272912558682202540723103376332339140939012823/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^12 - 55107880258916708051646068904137148211914759614776067077/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^11 - 18523612906769991034391730410665294682103755415019399309/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^10 - 57896909699435241905714633684795576612440611698831575125/2325867636\ 70317059835363587308656855185875271777327126*c_0101_6^9 - 6053932256107800906896988708024128536402531477248198170/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6^8 + 27431533197377170548440113519750252255952202701719458790/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^7 - 7010448312739555822132332432442915213351049416894013589/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6^6 + 8993629756119563641794771867731885542594148219700864794/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6^5 + 12102323521293246124015987514702509190707453555209545076/1162933818\ 35158529917681793654328427592937635888663563*c_0101_6^4 - 1276835982815887729294082983371427457121857653963629136/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6^3 + 2292892850866396372006420195904661253018396694949423173/11629338183\ 5158529917681793654328427592937635888663563*c_0101_6^2 + 4391442625091064089089599113921564760679791222322766997/23258676367\ 0317059835363587308656855185875271777327126*c_0101_6 + 138102788033891050335758171390359881081625496993007906/116293381835\ 158529917681793654328427592937635888663563, c_0101_6^26 - 6*c_0101_6^25 - 16*c_0101_6^24 + 97*c_0101_6^23 - 72*c_0101_6^22 - 138*c_0101_6^21 + 2004*c_0101_6^20 - 1087*c_0101_6^19 - 5104*c_0101_6^18 + 2141*c_0101_6^17 + 1168*c_0101_6^16 - 3639*c_0101_6^15 + 2049*c_0101_6^14 + 4151*c_0101_6^13 + 2605*c_0101_6^12 + 1450*c_0101_6^11 + 1720*c_0101_6^10 + 1344*c_0101_6^9 - 1068*c_0101_6^8 - 810*c_0101_6^7 - 363*c_0101_6^6 - 882*c_0101_6^5 - 380*c_0101_6^4 - 88*c_0101_6^3 - 181*c_0101_6^2 - 92*c_0101_6 - 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB