Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 981182172] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0795 geometric_solution 4.73485262 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2031 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 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.458251944178 1.098715341782 0 4 3 4 0132 0132 1302 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 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.713144929603 0.359003316570 5 0 5 3 0132 0132 1023 1302 0 0 0 0 0 1 -1 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 -1 1 0 -1 0 1 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.913684446279 1.190453800625 1 0 2 0 2031 1302 2031 0132 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 -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.676642982539 0.775288180380 6 1 6 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.806342660799 0.105952462894 2 5 2 5 0132 2310 1023 3201 0 0 0 0 0 0 1 -1 -1 0 1 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 -1 1 1 0 -1 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.495087315654 0.456678731017 4 6 4 6 0132 2310 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.850288987744 0.057362817204 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(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' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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_0'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], '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_2']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : d['c_0011_3']})} 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_3, c_0101_0, c_0101_2, c_0101_4, c_0101_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 1944516904252256288833217623825931223193278147049812397730954685705\ 6994/33310637340246910824651017572025905769715071246829528618546093\ 34585899*c_1001_0^27 + 25116909232398628831672097091943608245865201\ 466849804139051243969503751/111035457800823036082170058573419685899\ 0502374894317620618203111528633*c_1001_0^26 + 2926651802060552746752465534758367812498832411211265870758558389801\ 15544/3331063734024691082465101757202590576971507124682952861854609\ 334585899*c_1001_0^25 - 4491563004657393586423201919790879432205062\ 17607559742967170026127570272/3331063734024691082465101757202590576\ 971507124682952861854609334585899*c_1001_0^24 - 2740334889127854598140351552894509354502446675547348523142379381814\ 28597/3331063734024691082465101757202590576971507124682952861854609\ 334585899*c_1001_0^23 - 1802355984590591891017506401551636709278119\ 583329107057395750999154392189/333106373402469108246510175720259057\ 6971507124682952861854609334585899*c_1001_0^22 + 1652576159394644902033317348686266603724174180806854200529948996218\ 877352/111035457800823036082170058573419685899050237489431762061820\ 3111528633*c_1001_0^21 - 853350703221171110584215303600597548500557\ 193835952784498051002751648703/370118192669410120273900195244732286\ 330167458298105873539401037176211*c_1001_0^20 + 4932745577734992349428865157555764644222524042799405202069604998656\ 5951723/33310637340246910824651017572025905769715071246829528618546\ 09334585899*c_1001_0^19 - 70760957910772218969380702968579156389627\ 025413096253035138970664654791715/333106373402469108246510175720259\ 0576971507124682952861854609334585899*c_1001_0^18 - 5770465978533858875570061583808850789724922380042120988626361334031\ 605851/111035457800823036082170058573419685899050237489431762061820\ 3111528633*c_1001_0^17 + 180366181315200696042846794929367851177566\ 118354573772312700502391268034604/333106373402469108246510175720259\ 0576971507124682952861854609334585899*c_1001_0^16 - 3123311009271890790850538045979484567809460754236525074839678777775\ 67171658/3331063734024691082465101757202590576971507124682952861854\ 609334585899*c_1001_0^15 + 2969082656033879952185172144321039104704\ 71086293843223434257027917064401506/3331063734024691082465101757202\ 590576971507124682952861854609334585899*c_1001_0^14 + 6353820561453280468006950770785635811100299926174666618177378248019\ 8759929/33310637340246910824651017572025905769715071246829528618546\ 09334585899*c_1001_0^13 - 88495061903057947036090952623230213375929\ 4898099197337169944344542152127192/33310637340246910824651017572025\ 90576971507124682952861854609334585899*c_1001_0^12 + 3539069383323423680949504094289346143973663179177442735639067804250\ 59287892/1110354578008230360821700585734196858990502374894317620618\ 203111528633*c_1001_0^11 + 2265423730216874100954843993680051828491\ 25548873031635218915160840839960083/3331063734024691082465101757202\ 590576971507124682952861854609334585899*c_1001_0^10 - 1510468340835631941126973437468974624574370225031392322096919753013\ 684383880/333106373402469108246510175720259057697150712468295286185\ 4609334585899*c_1001_0^9 + 2345336153525425086226099893913157390106\ 47262120027254408774585183518627256/1110354578008230360821700585734\ 196858990502374894317620618203111528633*c_1001_0^8 + 8240289194579213677466950819336990851877280514803507923833016354989\ 85489111/3331063734024691082465101757202590576971507124682952861854\ 609334585899*c_1001_0^7 - 61429918021608136164948507779232301106830\ 9525424019105136845313679921943028/33310637340246910824651017572025\ 90576971507124682952861854609334585899*c_1001_0^6 - 6319281544792628981695790754318465414947994880894370792590848668715\ 2070691/11103545780082303608217005857341968589905023748943176206182\ 03111528633*c_1001_0^5 + 609706612950046049719016217535562465022727\ 67166875274582822861376736166280/1110354578008230360821700585734196\ 858990502374894317620618203111528633*c_1001_0^4 + 1899323555104347171797867483409408214854655154597980273259752575130\ 920556/370118192669410120273900195244732286330167458298105873539401\ 037176211*c_1001_0^3 - 20749055533020694426306069894152660644801413\ 958989569723242621612922510542/333106373402469108246510175720259057\ 6971507124682952861854609334585899*c_1001_0^2 - 1801573588710289306781790420867755527509404843419594299195859344617\ 37206/1110354578008230360821700585734196858990502374894317620618203\ 111528633*c_1001_0 + 6224023477021228693393867548980896482182555417\ 84061177354865284601097567/3331063734024691082465101757202590576971\ 507124682952861854609334585899, c_0011_0 - 1, c_0011_3 + 172745470250539704079480924630501014928078020706505329964554\ 909957628/370118192669410120273900195244732286330167458298105873539\ 401037176211*c_1001_0^27 - 4657950319174603932725744890870847897068\ 68320237686129288258786371650/3701181926694101202739001952447322863\ 30167458298105873539401037176211*c_1001_0^26 - 3268767657307942209528668353649369369387649796309926297983713654396\ 060/370118192669410120273900195244732286330167458298105873539401037\ 176211*c_1001_0^25 + 5460605293494761125673621874422168011631707905\ 36355155874421199204911/3701181926694101202739001952447322863301674\ 58298105873539401037176211*c_1001_0^24 + 5057825234492342759476415422804715176072236015408761068869111718638\ 865/370118192669410120273900195244732286330167458298105873539401037\ 176211*c_1001_0^23 + 2017210384089396981281356004703020591024027274\ 7928271264506950661586083/37011819266941012027390019524473228633016\ 7458298105873539401037176211*c_1001_0^22 - 2255723160753841238336183432006750829367376437649032500340858848318\ 3345/37011819266941012027390019524473228633016745829810587353940103\ 7176211*c_1001_0^21 + 293051754196212545631465185878663095114822733\ 96200042365826914003699920/3701181926694101202739001952447322863301\ 67458298105873539401037176211*c_1001_0^20 - 3791644143053364143058843380653761138773925524634835337792749588803\ 95690/3701181926694101202739001952447322863301674582981058735394010\ 37176211*c_1001_0^19 + 14436000216716307525593383761925565458983240\ 8278419197157332127908532087/37011819266941012027390019524473228633\ 0167458298105873539401037176211*c_1001_0^18 + 6130128625086517665336694619369812073479519905261548854014925495887\ 24874/3701181926694101202739001952447322863301674582981058735394010\ 37176211*c_1001_0^17 - 11850093770246875023933848179303043179044488\ 38655729218211259545983840818/3701181926694101202739001952447322863\ 30167458298105873539401037176211*c_1001_0^16 + 1161736355310456493351609016262268589683899182788056215899036150710\ 804790/370118192669410120273900195244732286330167458298105873539401\ 037176211*c_1001_0^15 - 2864577060487950843342488697552835457588000\ 45156550272338542175508293950/3701181926694101202739001952447322863\ 30167458298105873539401037176211*c_1001_0^14 - 2400788344314699647948448896568173638005618912844104778742056236695\ 824113/370118192669410120273900195244732286330167458298105873539401\ 037176211*c_1001_0^13 + 6275098242599859020345135281950577035009261\ 727062472063420440207516161662/370118192669410120273900195244732286\ 330167458298105873539401037176211*c_1001_0^12 - 1222418266848046657128004177855802030443300624090364033094977986114\ 752044/370118192669410120273900195244732286330167458298105873539401\ 037176211*c_1001_0^11 - 8413329005953309637774713470234804082262138\ 575483396899525885178584461719/370118192669410120273900195244732286\ 330167458298105873539401037176211*c_1001_0^10 + 7860020549116443699649357336684162515028169130129020487587466864164\ 142345/370118192669410120273900195244732286330167458298105873539401\ 037176211*c_1001_0^9 + 58686422982142506646621946292732806051910275\ 87046283929320783888999714384/3701181926694101202739001952447322863\ 30167458298105873539401037176211*c_1001_0^8 - 7962917660096025507028006548897441354701554975931449258690712771428\ 824377/370118192669410120273900195244732286330167458298105873539401\ 037176211*c_1001_0^7 - 27052100729687696077396175073180515025131224\ 62600206340228735254902316983/3701181926694101202739001952447322863\ 30167458298105873539401037176211*c_1001_0^6 + 3301649654529330346073564102838596555697507156586768628636608572171\ 540613/370118192669410120273900195244732286330167458298105873539401\ 037176211*c_1001_0^5 + 75245202839589873079645318960072951955873882\ 6600721571088349423573854150/37011819266941012027390019524473228633\ 0167458298105873539401037176211*c_1001_0^4 - 5739835344346926205187849749235112447196242399013216150537339039144\ 75436/3701181926694101202739001952447322863301674582981058735394010\ 37176211*c_1001_0^3 - 953275639795365717985419838022405643369613602\ 43589890895210800563618337/3701181926694101202739001952447322863301\ 67458298105873539401037176211*c_1001_0^2 + 3032350528466112554072729656765173793568944661439886264734674223663\ 6812/37011819266941012027390019524473228633016745829810587353940103\ 7176211*c_1001_0 + 216537689961136781811870406659759990923714643264\ 3531734389638072930130/37011819266941012027390019524473228633016745\ 8298105873539401037176211, c_0101_0 + 312939074829129162718627019339643251186803170991697645829781\ 431893496/370118192669410120273900195244732286330167458298105873539\ 401037176211*c_1001_0^27 - 8752574162847212856798357311074149120095\ 79190748364235552112927421192/3701181926694101202739001952447322863\ 30167458298105873539401037176211*c_1001_0^26 - 5814727918434890104667752997076072033537061717676083153413354715846\ 366/370118192669410120273900195244732286330167458298105873539401037\ 176211*c_1001_0^25 + 1510784348008030039394662703239720005751138890\ 833998502043799179617784/370118192669410120273900195244732286330167\ 458298105873539401037176211*c_1001_0^24 + 8692133696379951270811488797117020233185526290341171142508230757788\ 721/370118192669410120273900195244732286330167458298105873539401037\ 176211*c_1001_0^23 + 3592430991520664769112902452906753364053226782\ 2835713235026367732686866/37011819266941012027390019524473228633016\ 7458298105873539401037176211*c_1001_0^22 - 4408669104192169902559334319095775516826053441358247943383924952185\ 0018/37011819266941012027390019524473228633016745829810587353940103\ 7176211*c_1001_0^21 + 594914507974800577986531110941653507326123145\ 46473487978488391258456141/3701181926694101202739001952447322863301\ 67458298105873539401037176211*c_1001_0^20 - 6965257050187278040109669115681911294566584219756831296210836015370\ 07881/3701181926694101202739001952447322863301674582981058735394010\ 37176211*c_1001_0^19 + 33702748875573119590892737058502777361381350\ 2218321998751385410933349389/37011819266941012027390019524473228633\ 0167458298105873539401037176211*c_1001_0^18 + 1031652838325012113797854543142061664926115048528389502324672410448\ 910173/370118192669410120273900195244732286330167458298105873539401\ 037176211*c_1001_0^17 - 2206732088308475874863483875841810016140147\ 004455982615368852307038153975/370118192669410120273900195244732286\ 330167458298105873539401037176211*c_1001_0^16 + 2365255927650913094810112092637059960240448692267912838040320347460\ 050950/370118192669410120273900195244732286330167458298105873539401\ 037176211*c_1001_0^15 - 9096780393203250335040045743008573207524979\ 65505886239761302946374778796/3701181926694101202739001952447322863\ 30167458298105873539401037176211*c_1001_0^14 - 4034108129987463675877030770285732304500914712354751266198079925002\ 759730/370118192669410120273900195244732286330167458298105873539401\ 037176211*c_1001_0^13 + 1159933079030891006560488182445110410722806\ 4436760682145066110680754323530/37011819266941012027390019524473228\ 6330167458298105873539401037176211*c_1001_0^12 - 3530731317573336082985913262855555084184321645117639572611786350390\ 379680/370118192669410120273900195244732286330167458298105873539401\ 037176211*c_1001_0^11 - 1410827135151903419119936070002222312702853\ 0559408304132480856419190382490/37011819266941012027390019524473228\ 6330167458298105873539401037176211*c_1001_0^10 + 1503459111757734991413498573302105047211803372739091974311460312329\ 3649316/37011819266941012027390019524473228633016745829810587353940\ 1037176211*c_1001_0^9 + 8606465763335672601127490234308716573717570\ 179998574774226841128387633866/370118192669410120273900195244732286\ 330167458298105873539401037176211*c_1001_0^8 - 1412190854259885235968536422776612146112576975442634183467684760047\ 5502648/37011819266941012027390019524473228633016745829810587353940\ 1037176211*c_1001_0^7 - 3585968018205983673119151108688003897851111\ 524557370386361441259043036432/370118192669410120273900195244732286\ 330167458298105873539401037176211*c_1001_0^6 + 5565754077512360047604455376367292908378291033147040643219775353298\ 187355/370118192669410120273900195244732286330167458298105873539401\ 037176211*c_1001_0^5 + 99719109410174852831099539408047423233627013\ 8885365912908037965754698288/37011819266941012027390019524473228633\ 0167458298105873539401037176211*c_1001_0^4 - 9262391921523969680574571426953145153444383240714571556851684834890\ 89919/3701181926694101202739001952447322863301674582981058735394010\ 37176211*c_1001_0^3 - 132916264391691082982101792463134786523374612\ 104416770783739635789274982/370118192669410120273900195244732286330\ 167458298105873539401037176211*c_1001_0^2 + 4738642470528308242811382809075923037962624288790375648874477658797\ 1616/37011819266941012027390019524473228633016745829810587353940103\ 7176211*c_1001_0 + 274069867491521013024810207019921035399242262052\ 9281081542787888702171/37011819266941012027390019524473228633016745\ 8298105873539401037176211, c_0101_2 - 597679817368244990828431305854300393312610650120892622596790\ 846437772/111035457800823036082170058573419685899050237489431762061\ 8203111528633*c_1001_0^27 + 208385402566192608121136764915062324058\ 9031918100930237797187659601452/11103545780082303608217005857341968\ 58990502374894317620618203111528633*c_1001_0^26 + 3234321669456830011816156956112929690283207668055868940115098140492\ 063/370118192669410120273900195244732286330167458298105873539401037\ 176211*c_1001_0^25 - 9695885297225053154704489519175255432347466824\ 207220712760732299662890/111035457800823036082170058573419685899050\ 2374894317620618203111528633*c_1001_0^24 - 3494944750806075837917060113821608779227498677004397270399925155474\ 897/370118192669410120273900195244732286330167458298105873539401037\ 176211*c_1001_0^23 - 6085371703120400639587587256790008130853504161\ 5460518048813961757054616/11103545780082303608217005857341968589905\ 02374894317620618203111528633*c_1001_0^22 + 1268168433665801452489530739206997958407940175058982337633920997685\ 33949/1110354578008230360821700585734196858990502374894317620618203\ 111528633*c_1001_0^21 - 1975320795690128302336388976595475716014608\ 67601103982659421858878629393/1110354578008230360821700585734196858\ 990502374894317620618203111528633*c_1001_0^20 + 1459417137992401201600091170793299912898075048142557555825115071048\ 670949/111035457800823036082170058573419685899050237489431762061820\ 3111528633*c_1001_0^19 - 163927376704829924492869884110279620987569\ 1855317057827492690834870062138/11103545780082303608217005857341968\ 58990502374894317620618203111528633*c_1001_0^18 - 9234882567622166196697892440390765220701496452217831178920147111932\ 98622/1110354578008230360821700585734196858990502374894317620618203\ 111528633*c_1001_0^17 + 4940660046464482951363996259678777107985856\ 422363542160475042911458538764/111035457800823036082170058573419685\ 8990502374894317620618203111528633*c_1001_0^16 - 7863944555657948226304189609753529117609104426915819211125452526238\ 364745/111035457800823036082170058573419685899050237489431762061820\ 3111528633*c_1001_0^15 + 229171364281918777594539963094241389883090\ 0811289984859527499635696071385/37011819266941012027390019524473228\ 6330167458298105873539401037176211*c_1001_0^14 + 3403055861494041006356892769598870102333221687012435908392170119074\ 262619/111035457800823036082170058573419685899050237489431762061820\ 3111528633*c_1001_0^13 - 248674783211274478917485767234541107267957\ 48755410476258756152103420092199/1110354578008230360821700585734196\ 858990502374894317620618203111528633*c_1001_0^12 + 2366131855900625402470618864818821439474455077163270829041978518651\ 5377585/11103545780082303608217005857341968589905023748943176206182\ 03111528633*c_1001_0^11 + 12070798617823402591788168260702500122985\ 592097550964796930095479214824585/111035457800823036082170058573419\ 6858990502374894317620618203111528633*c_1001_0^10 - 1277660799456508313771278375249052308273449595144919833946685098787\ 0672009/37011819266941012027390019524473228633016745829810587353940\ 1037176211*c_1001_0^9 + 3067039533965765308886682478331779696925955\ 626581390821579872580767784922/370118192669410120273900195244732286\ 330167458298105873539401037176211*c_1001_0^8 + 2283858766396498308971139511556819297662741817356800255764650855247\ 3687716/11103545780082303608217005857341968589905023748943176206182\ 03111528633*c_1001_0^7 - 310816298355697585875322372438737615802283\ 4005177356122224319163082365496/37011819266941012027390019524473228\ 6330167458298105873539401037176211*c_1001_0^6 - 1856971265155512095562453101620889528023678218440056410297925931062\ 555544/370118192669410120273900195244732286330167458298105873539401\ 037176211*c_1001_0^5 + 81163843118765664050525689341197320707011694\ 8517513613421608160974296213/37011819266941012027390019524473228633\ 0167458298105873539401037176211*c_1001_0^4 + 1440930789330771557348258164218842323421167702307414933433685369270\ 03427/3701181926694101202739001952447322863301674582981058735394010\ 37176211*c_1001_0^3 - 184377815807754046476739958488840253506079293\ 284447245391996371371345115/111035457800823036082170058573419685899\ 0502374894317620618203111528633*c_1001_0^2 + 1232912623368069665298017108601893590446891460866591828051612782085\ 0913/11103545780082303608217005857341968589905023748943176206182031\ 11528633*c_1001_0 - 17395188247951995324510466932951224620318855444\ 6637582995492459875471/37011819266941012027390019524473228633016745\ 8298105873539401037176211, c_0101_4 - 310022280058366501342396432354242499576617348059050721176725\ 24422456/1110354578008230360821700585734196858990502374894317620618\ 203111528633*c_1001_0^27 + 5698132845637700076567339807072049687973\ 95079389988765898670563183268/1110354578008230360821700585734196858\ 990502374894317620618203111528633*c_1001_0^26 - 3739263977266295965172492905357902717576334290201713245897346553106\ 92/3701181926694101202739001952447322863301674582981058735394010371\ 76211*c_1001_0^25 - 79570335137705969962379522013499116441532235827\ 36295592563690247625298/1110354578008230360821700585734196858990502\ 374894317620618203111528633*c_1001_0^24 + 2402605336442406879949628172838509314001125570468165867385604170091\ 237/370118192669410120273900195244732286330167458298105873539401037\ 176211*c_1001_0^23 + 4973227434652149323284641761986475397909130339\ 455286079206851504274723/111035457800823036082170058573419685899050\ 2374894317620618203111528633*c_1001_0^22 + 5355546517917682592059619502857324611514806058137360464863170316870\ 8486/11103545780082303608217005857341968589905023748943176206182031\ 11528633*c_1001_0^21 - 11032000116573587882413895664392475186953860\ 2399851479769785385465326505/11103545780082303608217005857341968589\ 90502374894317620618203111528633*c_1001_0^20 + 2300804672190335176342295077400400489622647877918479381061409366391\ 65738/1110354578008230360821700585734196858990502374894317620618203\ 111528633*c_1001_0^19 - 1218024953015253332043913377295528124797258\ 055577362462164266159827276909/111035457800823036082170058573419685\ 8990502374894317620618203111528633*c_1001_0^18 + 1257293652106539454069763661515448534320039941188387000923717263118\ 302273/111035457800823036082170058573419685899050237489431762061820\ 3111528633*c_1001_0^17 + 946006835603353268446839134339949210790991\ 720826827798711064999820079525/111035457800823036082170058573419685\ 8990502374894317620618203111528633*c_1001_0^16 - 4212517807173983945335101174049566035386427945148416867223770702456\ 736695/111035457800823036082170058573419685899050237489431762061820\ 3111528633*c_1001_0^15 + 215505114139783393765628146660117459028362\ 7758748114371572878368719405448/37011819266941012027390019524473228\ 6330167458298105873539401037176211*c_1001_0^14 - 5247567168338043441187742118817539908139230318018482132352925968440\ 601125/111035457800823036082170058573419685899050237489431762061820\ 3111528633*c_1001_0^13 - 373064387376062860666658974779669873657883\ 5745554330183633457700517079433/11103545780082303608217005857341968\ 58990502374894317620618203111528633*c_1001_0^12 + 2033822091830097314497275280264444156502065691330789155241186970580\ 1402905/11103545780082303608217005857341968589905023748943176206182\ 03111528633*c_1001_0^11 - 17863020185126560633355360546825659580163\ 353890350218131024586426420966161/111035457800823036082170058573419\ 6858990502374894317620618203111528633*c_1001_0^10 - 3735437822873661955037477164874274397080843086303643461504840168247\ 228570/370118192669410120273900195244732286330167458298105873539401\ 037176211*c_1001_0^9 + 10003848496763657914431311811366806035142447\ 008294343939474971947153443864/370118192669410120273900195244732286\ 330167458298105873539401037176211*c_1001_0^8 - 5792380676690240371378320664411146450885298624383118500669618504561\ 859084/111035457800823036082170058573419685899050237489431762061820\ 3111528633*c_1001_0^7 - 6139522822561517636266695315569886605882369\ 447796016018663027290738888792/370118192669410120273900195244732286\ 330167458298105873539401037176211*c_1001_0^6 + 2189488208338820876636444902522973858084103187390110593324463193631\ 691114/370118192669410120273900195244732286330167458298105873539401\ 037176211*c_1001_0^5 + 16206738684912375198735372680879851635913410\ 28277840697253280906473750995/3701181926694101202739001952447322863\ 30167458298105873539401037176211*c_1001_0^4 - 5520429293718043529879890636395203684184616481784006567399091598980\ 80080/3701181926694101202739001952447322863301674582981058735394010\ 37176211*c_1001_0^3 - 499757699498142811237585193937802439750194805\ 868926499645674512901464936/111035457800823036082170058573419685899\ 0502374894317620618203111528633*c_1001_0^2 + 1109552992150067023284273384866557990639395783207805848561440665273\ 74995/1110354578008230360821700585734196858990502374894317620618203\ 111528633*c_1001_0 + 2145652578554055457467047487892800258146000471\ 476736657104642849615488/370118192669410120273900195244732286330167\ 458298105873539401037176211, c_0101_6 - 117022959052488073786639305076974093888294279233583575062873\ 140363724/370118192669410120273900195244732286330167458298105873539\ 401037176211*c_1001_0^27 + 4497937162672949090012241820809455583385\ 18648590525756337125571962470/3701181926694101202739001952447322863\ 30167458298105873539401037176211*c_1001_0^26 + 1756296881114512982290631557924663685762618261054613815172258505891\ 264/370118192669410120273900195244732286330167458298105873539401037\ 176211*c_1001_0^25 - 2581834136334168307129588812730070868115773091\ 222664152839824378211162/370118192669410120273900195244732286330167\ 458298105873539401037176211*c_1001_0^24 - 1419498899260736136489199920447939563432732011123780343536442026269\ 424/370118192669410120273900195244732286330167458298105873539401037\ 176211*c_1001_0^23 - 1118530442326476799158072893755996916780516919\ 5313583879422710650692235/37011819266941012027390019524473228633016\ 7458298105873539401037176211*c_1001_0^22 + 2915845943450044109165762900770637265874371919780296096595493276991\ 0434/37011819266941012027390019524473228633016745829810587353940103\ 7176211*c_1001_0^21 - 473087466819671317416653786320049781691995815\ 16889249192584461099315112/3701181926694101202739001952447322863301\ 67458298105873539401037176211*c_1001_0^20 + 2993782296150528244250616287971299936805006420352461481243968306421\ 69666/3701181926694101202739001952447322863301674582981058735394010\ 37176211*c_1001_0^19 - 42280676982547001691613875559055939128488931\ 6722696073791872731147514117/37011819266941012027390019524473228633\ 0167458298105873539401037176211*c_1001_0^18 - 7044457458708229525611045021775477512026243408929957716048661324008\ 1954/37011819266941012027390019524473228633016745829810587353940103\ 7176211*c_1001_0^17 + 103122600547677732466982856307503742158569853\ 4950654007346971691611415911/37011819266941012027390019524473228633\ 0167458298105873539401037176211*c_1001_0^16 - 1873650748498502726018071220963387318144836119689153565562923566451\ 807020/370118192669410120273900195244732286330167458298105873539401\ 037176211*c_1001_0^15 + 1875970387824764023344883622873004525242853\ 131627063413239960281439953951/370118192669410120273900195244732286\ 330167458298105873539401037176211*c_1001_0^14 + 1997130568048044254401729882722104960042917608182085494349799155297\ 07677/3701181926694101202739001952447322863301674582981058735394010\ 37176211*c_1001_0^13 - 50989101596679032527955179087706776347210639\ 65958525793586611306341227211/3701181926694101202739001952447322863\ 30167458298105873539401037176211*c_1001_0^12 + 6317152356080010687531178243705243421328949857096616056797023909347\ 786464/370118192669410120273900195244732286330167458298105873539401\ 037176211*c_1001_0^11 + 8117113227808465884924647092653120318413127\ 55771256584136708687898218138/3701181926694101202739001952447322863\ 30167458298105873539401037176211*c_1001_0^10 - 8360348762594173756604292684985487835211132109778240838090664268206\ 098863/370118192669410120273900195244732286330167458298105873539401\ 037176211*c_1001_0^9 + 43409726923414867075604650755235615477694516\ 50722690682904953579682562096/3701181926694101202739001952447322863\ 30167458298105873539401037176211*c_1001_0^8 + 3978668573491682319326866214948674254027616434914156248502600076703\ 612461/370118192669410120273900195244732286330167458298105873539401\ 037176211*c_1001_0^7 - 33582796283185553486077923567768748980858976\ 86465079285735161598464318792/3701181926694101202739001952447322863\ 30167458298105873539401037176211*c_1001_0^6 - 5712839433349913973913262131217173771882542785153613824984455854276\ 06830/3701181926694101202739001952447322863301674582981058735394010\ 37176211*c_1001_0^5 + 878150758911542493860419722931943921321549199\ 860126621063823772730397470/370118192669410120273900195244732286330\ 167458298105873539401037176211*c_1001_0^4 - 4118811159434376951644371179549936113184107538963543070653291774360\ 3628/37011819266941012027390019524473228633016745829810587353940103\ 7176211*c_1001_0^3 - 8144939351196036564491859710282859368877438116\ 3146074409179048401454773/37011819266941012027390019524473228633016\ 7458298105873539401037176211*c_1001_0^2 + 9982280730968056406921418555990608717698652876816921711780276232435\ 229/370118192669410120273900195244732286330167458298105873539401037\ 176211*c_1001_0 + 1140259859341720101693536623723182677548731234920\ 857756072545784229836/370118192669410120273900195244732286330167458\ 298105873539401037176211, c_1001_0^28 - 7/2*c_1001_0^27 - 33/2*c_1001_0^26 + 35/2*c_1001_0^25 + 45/2*c_1001_0^24 + 97*c_1001_0^23 - 439/2*c_1001_0^22 + 301*c_1001_0^21 - 2383*c_1001_0^20 + 5357/2*c_1001_0^19 + 4523/2*c_1001_0^18 - 18143/2*c_1001_0^17 + 12706*c_1001_0^16 - 18291/2*c_1001_0^15 - 18809/2*c_1001_0^14 + 89783/2*c_1001_0^13 - 76075/2*c_1001_0^12 - 32482*c_1001_0^11 + 151065/2*c_1001_0^10 - 17601/2*c_1001_0^9 - 114803/2*c_1001_0^8 + 38037/2*c_1001_0^7 + 21459*c_1001_0^6 - 7911*c_1001_0^5 - 8055/2*c_1001_0^4 + 1298*c_1001_0^3 + 326*c_1001_0^2 - 141/2*c_1001_0 - 9/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB