Magma V2.19-8 Tue Aug 20 2013 16:16:42 on localhost [Seed = 3002281595] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0996 geometric_solution 4.88609927 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.229548685869 0.133259846216 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 -1 0 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 1 -1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.454420260795 1.804407344624 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 1 0 -1 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 -1 0 1 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.411683645862 0.606360108597 2 4 4 5 0132 2310 3201 0132 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 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.215649861305 0.751406489130 3 5 2 3 2310 0132 0132 3201 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.215649861305 0.751406489130 6 4 3 6 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.440210670774 0.707048385522 5 5 6 6 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.005069057104 1.242548190546 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 5929815398693074940960517670894663413523710914793805423454285637726\ 248034679173747505/432515236371016349138521686631911912787708428393\ 333722785627933645938492527849046*c_0101_6^35 - 1717258670871170360334347901302842594167654141261284379995663442316\ 0325636975385271429/14417174545700544971284056221063730426256947613\ 1111240928542644548646164175949682*c_0101_6^34 - 3084623284093876689291428660875485557553723642144086604870637677065\ 21525060639281039351/4325152363710163491385216866319119127877084283\ 93333722785627933645938492527849046*c_0101_6^33 + 1122942018221848947752803396506469621523220416176413674640470406649\ 399852788711684327397/216257618185508174569260843315955956393854214\ 196666861392813966822969246263924523*c_0101_6^32 + 4154512195083017488426394880954543162902760065624797402875316660268\ 482574128072663469027/216257618185508174569260843315955956393854214\ 196666861392813966822969246263924523*c_0101_6^31 - 3790317712659880720484098738932058466466545537116195992301591122270\ 467992620782724520385/393195669428196681035019715119919920716098571\ 26666702071420721240539862957077186*c_0101_6^30 - 5564762377320195913290871194187987801358128632708397944405390847272\ 683263310928115952221/205959636367150642446915088872339006089384965\ 90158748704077520649806594882278526*c_0101_6^29 + 2174247313182056727782490692071031525427584428524425016901864201001\ 57947656480464152725497/2162576181855081745692608433159559563938542\ 14196666861392813966822969246263924523*c_0101_6^28 + 4774254820693312419675099677489046852021281539502406949250379526252\ 18383324287298522352834/2162576181855081745692608433159559563938542\ 14196666861392813966822969246263924523*c_0101_6^27 - 1426119449755624541068227389783906787102178817467270901645022296350\ 510271453768274196096816/216257618185508174569260843315955956393854\ 214196666861392813966822969246263924523*c_0101_6^26 - 2460361696753490689945854367522992644164248282670193876493737430823\ 243968698983595991568265/216257618185508174569260843315955956393854\ 214196666861392813966822969246263924523*c_0101_6^25 + 6277823635009243149969240679109565483578601211871026782019337382660\ 032909635992200641538794/216257618185508174569260843315955956393854\ 214196666861392813966822969246263924523*c_0101_6^24 + 5498223910701262734698302331752871212821345219874986413762924036097\ 165633048826798766076223/144171745457005449712840562210637304262569\ 476131111240928542644548646164175949682*c_0101_6^23 - 5416389395805709016975451283412103508793669565488719316072801354303\ 306366894349408987283523/617878909101451927340745266617017018268154\ 89770476246112232561949419784646835578*c_0101_6^22 - 2039874416306725365681650665193523683085288082834166909726428172155\ 994506557974834939714356/240286242428342416188067603684395507104282\ 46021851873488090440758107694029324947*c_0101_6^21 + 7901917171629337644689145740841335002048551569455597531704476612409\ 0700200283014702832757141/43251523637101634913852168663191191278770\ 8428393333722785627933645938492527849046*c_0101_6^20 + 2769159539965371249825662086123178598079412628506558009613101299366\ 5663108303751516761694948/21625761818550817456926084331595595639385\ 4214196666861392813966822969246263924523*c_0101_6^19 - 3805822674592399251284512524892454547911922458445283526167368314222\ 6576953075506570923458189/14417174545700544971284056221063730426256\ 9476131111240928542644548646164175949682*c_0101_6^18 - 2873900262203625552311056663684325162918224031019482123858284120415\ 8974346527325744393759735/21625761818550817456926084331595595639385\ 4214196666861392813966822969246263924523*c_0101_6^17 + 5738717202364325669973217068748881839501318424507108861062987226680\ 2738196234443937938282088/21625761818550817456926084331595595639385\ 4214196666861392813966822969246263924523*c_0101_6^16 + 6864032224654459664947594423136434982856111675642831301380450969667\ 969274727459808897148746/720858727285027248564202811053186521312847\ 38065555620464271322274323082087974841*c_0101_6^15 - 8017749387701620115214016542614650457942790169298862092375139886104\ 5433402752739609746854691/43251523637101634913852168663191191278770\ 8428393333722785627933645938492527849046*c_0101_6^14 - 7669600451899034212536190157924693602591863481434820632183934971660\ 5406758568619775012821/16571464995058097668142593357544517731329824\ 84265646447454513155731565105470686*c_0101_6^13 + 2754202080469842471972404209905096388764346875063440842600250715275\ 549811051682811334032438/308939454550725963670372633308508509134077\ 44885238123056116280974709892323417789*c_0101_6^12 + 3121175716549500497129204899533136056212218587359927567904922128456\ 182852846825674089108002/216257618185508174569260843315955956393854\ 214196666861392813966822969246263924523*c_0101_6^11 - 1250111061978496036231087074159614181560754480371502378907087146080\ 5667475626048857127555029/43251523637101634913852168663191191278770\ 8428393333722785627933645938492527849046*c_0101_6^10 - 5381928163282655777701659240310467527676201237383832020488777919824\ 11828106493944042824746/2162576181855081745692608433159559563938542\ 14196666861392813966822969246263924523*c_0101_6^9 + 2629870272943444261376446712815018180499103212908617230433375473265\ 553428348310241143120399/432515236371016349138521686631911912787708\ 428393333722785627933645938492527849046*c_0101_6^8 + 3556935875234369246920106245279205833562673857896986468086639559494\ 620912353849236489752/308939454550725963670372633308508509134077448\ 85238123056116280974709892323417789*c_0101_6^7 - 4790971421347594570527964992147651433008961465896361031632053568253\ 1400640505112267336157/61787890910145192734074526661701701826815489\ 770476246112232561949419784646835578*c_0101_6^6 + 3948381789124276333776893772531679456896005724467383691588498876157\ 685456821219249771001/144171745457005449712840562210637304262569476\ 131111240928542644548646164175949682*c_0101_6^5 + 2300345597360093857646847323716315817607982084960016024086307422463\ 4440740213722167380153/43251523637101634913852168663191191278770842\ 8393333722785627933645938492527849046*c_0101_6^4 - 1467958440753475498577394903594941369575903339817209859986533757694\ 5283308400393284885/43688407714244075670557746124435546746233174585\ 18522452380080137837762550786354*c_0101_6^3 - 3603369478149783906114081944796554107426947083488447868233613815769\ 55675293275678947971/2162576181855081745692608433159559563938542141\ 96666861392813966822969246263924523*c_0101_6^2 + 3749526560781406156241689016161304839682715850024677898111708095088\ 2115088489764003697/43251523637101634913852168663191191278770842839\ 3333722785627933645938492527849046*c_0101_6 + 8637433490641829633103510424924246023309774555076769953721309111192\ 867012782990637929/432515236371016349138521686631911912787708428393\ 333722785627933645938492527849046, c_0011_0 - 1, c_0011_2 - 486561237743800919716795433796267686316748117059210489792965\ 4060706827009987846/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^35 + 4311978168475999247155378971283603775091899673888619591225664158385\ 1615634958317/39455869035852613495577603232248851741261487720610629\ 701297932279322978701683*c_0101_6^34 + 2451314737309658871687687270887793106664323811132283515666635589367\ 60876231504639/3945586903585261349557760323224885174126148772061062\ 9701297932279322978701683*c_0101_6^33 - 1881190696229412293889803780534667542147374661753867262147231730541\ 403740785924791/394558690358526134955776032322488517412614877206106\ 29701297932279322978701683*c_0101_6^32 - 6469466961314626351817413199466954889935577638641728446216833327429\ 658559580644618/394558690358526134955776032322488517412614877206106\ 29701297932279322978701683*c_0101_6^31 + 3195299219470851816274322860543691674292362267272906705984686347661\ 703399479095679/358689718507751031777978211202262288556922615641914\ 8154663448389029361700153*c_0101_6^30 + 8926383134416436434232378877461452350044531039621691725711062694238\ 3991533738805771/39455869035852613495577603232248851741261487720610\ 629701297932279322978701683*c_0101_6^29 - 3687462653521065324249831117685167666939050982907007762229029711820\ 86755930144274216/3945586903585261349557760323224885174126148772061\ 0629701297932279322978701683*c_0101_6^28 - 7129254010606051691130944863300295178280347954112660354760896507599\ 94551019606276136/3945586903585261349557760323224885174126148772061\ 0629701297932279322978701683*c_0101_6^27 + 2426000946740459103886337157285735359302871397182094385882115055728\ 043523397248347207/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^26 + 3570158766094177806866919939781065898848239489914637684761472663715\ 585277181826392315/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^25 - 1066854524312700329521064119308600982732662274349659449205761031524\ 6025866699543621699/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^24 - 1148799992538428910556502789745883533198778355256169721593095601208\ 5401510323592659876/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^23 + 3199137688035118949227760064697955904921677818856311790806781498275\ 5297346869749184818/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^22 + 2412424703188741137263277298046016824108203302447299791097591138764\ 0097779676714697784/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^21 - 6575507133473737301838762290358854670690109752028059314056648587594\ 7242288975850156524/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^20 - 3363059465318493896275017811255405642006793709838276034707493192930\ 5718956461876668138/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^19 + 9308837417563858320255302839651750129362358390062979118971750140501\ 8729894451432074983/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^18 + 3154731497826193419932085939596502234760181871619871797985700254586\ 4647712777479822494/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^17 - 9116550232917295962410688623390434462009166502371103574491129534560\ 8428706491253242581/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^16 - 1992049389938426135845113062845816889534678733941413711318778231448\ 2898072681943999412/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^15 + 6173857698794681228700148327773752354278629676865060277751688690117\ 2007650777879312278/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^14 + 8211085041763151146744810783674157094000676884547068995982234891635\ 356147302879095306/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^13 - 2865147239947049225408698665495784536896112082125485392099558620110\ 7945555405465283204/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^12 - 1963494461132626941518118599493763353385791785726641630420715392587\ 366238252309380287/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^11 + 8923322822736747766439369078662088699292474572570464208996387132762\ 966150073515126891/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^10 + 1384924589875156872043585863819877273476572873433755097769935022974\ 60911940092320534/3945586903585261349557760323224885174126148772061\ 0629701297932279322978701683*c_0101_6^9 - 1796776797124944306653138611189563868516858342850458375489064289053\ 548155689172033446/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^8 + 5438059580137213577788539475448371948574768148539462755568367308137\ 6847648134891014/39455869035852613495577603232248851741261487720610\ 629701297932279322978701683*c_0101_6^7 + 2194531799668168870908149321646974834399153671641769331715991277898\ 72165886245771143/3945586903585261349557760323224885174126148772061\ 0629701297932279322978701683*c_0101_6^6 - 1451934974003505138984466164520504898729046826916429378689589030365\ 5941839366471521/39455869035852613495577603232248851741261487720610\ 629701297932279322978701683*c_0101_6^5 - 1459256205933480160185344484991550278808966709133467644910003142206\ 1521794361836249/39455869035852613495577603232248851741261487720610\ 629701297932279322978701683*c_0101_6^4 + 1073333986148888111226960003986594640154405739831999445319703333788\ 96930884597533/3586897185077510317779782112022622885569226156419148\ 154663448389029361700153*c_0101_6^3 + 4528846413623258326056406811891509517441322524129773593994407012007\ 72119982451398/3945586903585261349557760323224885174126148772061062\ 9701297932279322978701683*c_0101_6^2 - 2729769861508152232923328828912063542666895662259466104953375499492\ 5372548786260/39455869035852613495577603232248851741261487720610629\ 701297932279322978701683*c_0101_6 - 5546528749222327029682887272955502180090597156130671190039889580251\ 636051380543/394558690358526134955776032322488517412614877206106297\ 01297932279322978701683, c_0011_4 - 265565055159102987528529868053096019756427554242792711052606\ 36924811192862341380/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^35 + 2323235393268687422003847689046757352935508340608706132132220014310\ 50070489486644/3945586903585261349557760323224885174126148772061062\ 9701297932279322978701683*c_0101_6^34 + 1366440530364349113084900895086935169716729027911117692563351657651\ 754080486233538/394558690358526134955776032322488517412614877206106\ 29701297932279322978701683*c_0101_6^33 - 1013140692635530461880150879490475564287969214033304163757438484726\ 0210111962433536/39455869035852613495577603232248851741261487720610\ 629701297932279322978701683*c_0101_6^32 - 3655593420707355381688177655097913189479002184889767947876787629214\ 2609581939397514/39455869035852613495577603232248851741261487720610\ 629701297932279322978701683*c_0101_6^31 + 1713888387940769609192698178408380910206046547175943391571655909940\ 4373881288233117/35868971850775103177797821120226228855692261564191\ 48154663448389029361700153*c_0101_6^30 + 5108914391875645947821870966812215345478557598539078959241252052480\ 88013944414574008/3945586903585261349557760323224885174126148772061\ 0629701297932279322978701683*c_0101_6^29 - 1970655655877267866672005011668679878425047984704939911293410680658\ 791516244009554075/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^28 - 4143504547055554090774587544353722532885245698958384465551877744146\ 254502081844284181/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^27 + 1294232074814185331059044518552637360802261098958062709910803472675\ 4460755522194801815/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^26 + 2115677232584725729645395114798888920655524786966266687533001994302\ 9382478310626565051/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^25 - 5696705972981936537914076600035031494465663818944265646827136487788\ 1738315660241899977/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^24 - 7000649721624056910152372698217422932355623221285077859058871819969\ 3628226985558846635/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^23 + 1716581579683817003007015203246386953739861011381875930438150210633\ 10240287321605472987/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^22 + 1530495553558554690051396155251242561993386997233753830552179873684\ 83877699919274208127/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^21 - 3561636861962631434892217134028001623818027328136825784002134261526\ 78821991008206291386/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^20 - 2254563805583316272295490497268491731727051103469227551887090075426\ 39021849604469451768/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^19 + 5112065399153195195139945528803345139536429677220286251171151908649\ 84990382112622537639/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^18 + 2272557163525566956636654757071863695840501147998007683587203747520\ 87085848222188284812/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^17 - 5095253918579035559300718214879208073674998502173514565274943210764\ 39800021971925124436/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^16 - 1572674591641052626609618537822397457381779979663387300107784442731\ 12072319459901511702/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^15 + 3523455602913899615746097734764157691196176250502762987381352143532\ 57523671406536113729/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^14 + 7325394206315486133158100947087081052675553214459924898142747705964\ 4923969379570926024/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^13 - 1674890215342358318005946977269824567383949724180984554198886502252\ 68634667638877340371/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^12 - 2148978380995752148328103729322205826843251119741836403922131436397\ 8621716125566144108/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^11 + 5359408925595050152706348104048516606440872334920441409975755246241\ 1195191165486030511/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^10 + 3237219758001070895475272477013885954334418240464390745501900403381\ 657224317117397973/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^9 - 1111405349070660122222767202220487476526714857501937083892083400560\ 6714413438513725675/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^8 - 6105530478680056501001188476764144405125814747872224047102595174567\ 329022049569434/394558690358526134955776032322488517412614877206106\ 29701297932279322978701683*c_0101_6^7 + 1396995242663107868524472580044756129457330721046319421359936698054\ 280969770046301463/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^6 - 6634593783564077429710842775719207637621715237740057040691364580953\ 1307387333591477/39455869035852613495577603232248851741261487720610\ 629701297932279322978701683*c_0101_6^5 - 9472104453971229874964467891486650349356367981004689157931574524846\ 1171149734729408/39455869035852613495577603232248851741261487720610\ 629701297932279322978701683*c_0101_6^4 + 6106727782992557821426799799373973914676391870722553769573134292498\ 27944237219080/3586897185077510317779782112022622885569226156419148\ 154663448389029361700153*c_0101_6^3 + 2945605335119244755958359212889528194358110251501058291864254848297\ 774079590546175/394558690358526134955776032322488517412614877206106\ 29701297932279322978701683*c_0101_6^2 - 1650247184974282973274513711720411635900750697371642940079723858718\ 41782489299194/3945586903585261349557760323224885174126148772061062\ 9701297932279322978701683*c_0101_6 - 3537030078725812057837573087855111025567632776887511809772467196427\ 4477038274881/39455869035852613495577603232248851741261487720610629\ 701297932279322978701683, c_0101_0 - 211341895392901675452829291151991113158679020119904214719339\ 3447055857662157031/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^35 + 1883916622183017213796145433838859168512823187204761316356219240642\ 7804661095260/39455869035852613495577603232248851741261487720610629\ 701297932279322978701683*c_0101_6^34 + 1053838738496453352240513168031335561390281269470468891977608405670\ 67698976584406/3945586903585261349557760323224885174126148772061062\ 9701297932279322978701683*c_0101_6^33 - 8215142586685254279038907000893166834695754048030357563710345151101\ 16413420819238/3945586903585261349557760323224885174126148772061062\ 9701297932279322978701683*c_0101_6^32 - 2762387700507159746248197006054804157224829533280314306181390783796\ 204906686619321/394558690358526134955776032322488517412614877206106\ 29701297932279322978701683*c_0101_6^31 + 1396714415034236182614377393828475507413962030664491242973580202345\ 713414677589878/358689718507751031777978211202262288556922615641914\ 8154663448389029361700153*c_0101_6^30 + 3785357095046660212270409082953488762226182641327575933517348779678\ 6899797429452790/39455869035852613495577603232248851741261487720610\ 629701297932279322978701683*c_0101_6^29 - 1612512338787998969014366223065555977539931206426079121474754994465\ 52300048957449226/3945586903585261349557760323224885174126148772061\ 0629701297932279322978701683*c_0101_6^28 - 2997742398182238991834662215138277649118841405039601362111705072750\ 92789485886568110/3945586903585261349557760323224885174126148772061\ 0629701297932279322978701683*c_0101_6^27 + 1059964492996265782860548466054094038123513968703274750097512000330\ 694653721573453224/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^26 + 1485059310862716173391406658345433344695780875124898840000356783730\ 292343555129484546/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^25 - 4649590881473395644883431096959675626804117593573969338888898881111\ 161866908352628921/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^24 - 4704719083239032322761957366122628193175993222525539502217699934380\ 831557768239034629/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^23 + 1387390142099274323536741068208973350016665670952199632208827895504\ 3348061029270528705/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^22 + 9661196960263912925476335956389681303951918231745389976940405945615\ 141712546257981911/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^21 - 2829561732614850094113974776846888076465748832267261974765945629077\ 5836378781432289946/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^20 - 1306704324103885887227543575020166607112763248155514238605000469288\ 4266234508218908551/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^19 + 3963947029712725227244260114054669037223652664858297094219910929480\ 8397125378285343392/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^18 + 1179561536441122010060513922249858975844224061987783711204581874067\ 2793141144677580005/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^17 - 3832679563925268472857729431538449734206834155325895249401681704320\ 1265578727383208925/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^16 - 7108116888916953027375011754526169869527799383361670300487285636554\ 752714566519915003/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^15 + 2557721042014966763667722396473599439901077819082789676547685016381\ 6163655037138559276/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^14 + 2763241102310827251065507798151328363689822027234895737434955130152\ 335485355968338664/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^13 - 1167850480255493418285056139892838333558203057142293469661968642171\ 0206542990580472721/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^12 - 5990577289778897114695235923904745533046896161150183720906815361896\ 88494802893727128/3945586903585261349557760323224885174126148772061\ 0629701297932279322978701683*c_0101_6^11 + 3574034457330135440976908018250945350340228520194379913696473834183\ 182318087847329398/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^10 + 1914167364108120948176035106094622938722345959773190353669419891394\ 3426784871629160/39455869035852613495577603232248851741261487720610\ 629701297932279322978701683*c_0101_6^9 - 7067923102502438214599828687214968860624617817813066025842056809112\ 41612560099630144/3945586903585261349557760323224885174126148772061\ 0629701297932279322978701683*c_0101_6^8 + 2434743692680231102325989602844134595340619778398474755993271567298\ 8762149593790195/39455869035852613495577603232248851741261487720610\ 629701297932279322978701683*c_0101_6^7 + 8490706796923574081403558404152946388180531870365079479686129687396\ 3692648382575606/39455869035852613495577603232248851741261487720610\ 629701297932279322978701683*c_0101_6^6 - 5600803198062289035644620963126597395699471810207913686311596704032\ 526905137058746/394558690358526134955776032322488517412614877206106\ 29701297932279322978701683*c_0101_6^5 - 5582482630716425321292579036676190083161803063961484175170130617990\ 238221490440790/394558690358526134955776032322488517412614877206106\ 29701297932279322978701683*c_0101_6^4 + 3987694855613821231574424276715803444200297784922128086353954344875\ 9649098309788/35868971850775103177797821120226228855692261564191481\ 54663448389029361700153*c_0101_6^3 + 1722707368084024603842860829013152849696279131189459288070958471933\ 21473590583120/3945586903585261349557760323224885174126148772061062\ 9701297932279322978701683*c_0101_6^2 - 1005760712108823880683501022064524678605958309280851856720207183967\ 4058502519427/39455869035852613495577603232248851741261487720610629\ 701297932279322978701683*c_0101_6 - 2082773283377336018462058180124154484165991713812312800855780552688\ 242244063951/394558690358526134955776032322488517412614877206106297\ 01297932279322978701683, c_0101_1 + 198714951995863521775608744621989194884087906666364443711369\ 06032560527590755604/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^35 - 1738367895584482145805723396210217448705507866970800315417652839872\ 95105529566502/3945586903585261349557760323224885174126148772061062\ 9701297932279322978701683*c_0101_6^34 - 1022525534398072146572934320683562165234227029805251648469986382049\ 970960179340196/394558690358526134955776032322488517412614877206106\ 29701297932279322978701683*c_0101_6^33 + 7580977960369362710359887519445426588728237666254469098175302276893\ 592955271976046/394558690358526134955776032322488517412614877206106\ 29701297932279322978701683*c_0101_6^32 + 2735629069742505388013202270349792573248923751940287673505534459676\ 8983212620729067/39455869035852613495577603232248851741261487720610\ 629701297932279322978701683*c_0101_6^31 - 1282461556618483996366852085355719945037944416474074633727485738691\ 1524620551482272/35868971850775103177797821120226228855692261564191\ 48154663448389029361700153*c_0101_6^30 - 3823376174761888085626207238299178938638304255342209857588772468227\ 58882340233957655/3945586903585261349557760323224885174126148772061\ 0629701297932279322978701683*c_0101_6^29 + 1474630420857333251586473226256745003469881782069592453850431039845\ 252592717924020339/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^28 + 3101064047066846619355691041188351927092869969962063371462758416431\ 778526981450884175/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^27 - 9685050259143422724951910726146302001489076426410853091102104919790\ 893331455332560029/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^26 - 1583517550053479461757693450486736978229421030708025309251505894070\ 9471117979969535257/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^25 + 4263231012986609712183090093384992533528707513585499137913885232224\ 3775641199570571625/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^24 + 5240255826443633995038479506919040559649362049072382416477181550582\ 3804416748360155307/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^23 - 1284744458974952011868259849777149316971375388923499860131970248151\ 34863595768541713213/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^22 - 1145768982150583033591240999310202618932126570848029854176134648935\ 32791570895373414086/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^21 + 2665962833538061136877663147961054772962252694586779322327214931495\ 52886890566449681692/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^20 + 1688039805132078258962087197772147095345716662875986664986630104247\ 38273589707629642219/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^19 - 3827092129885095990518522985866567897560368325128819452921648274393\ 86609382773299800408/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^18 - 1701700055682039577220845986498026426079197254685695743134730618988\ 56693932170569194356/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^17 + 3815242029954408335862959690172841139446500454591512618083019879759\ 19814068153186618298/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^16 + 1177692117492861539298877971674751079797616751838087963004441665507\ 97001565480305411589/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^15 - 2638906151423452045052312022157053298683523332151113839130808340939\ 47650314631865119056/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^14 - 5485318851674694753070038934548049675497293705800020472852486889466\ 6809653054330156671/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^13 + 1254742363931562627385924259232029427799982050336082136085443135055\ 69617318385978872452/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^12 + 1608719458609320245556283509691378688132350722501155550914042872611\ 2580630387674377171/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^11 - 4016144811260505523673583141320987090386294831664821837398613771978\ 1718962514028139407/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^10 - 2420595514534753553389976820579139391326663087593581487716027683811\ 296751601026593015/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^9 + 8330911028658619582475901224248105751818282609373240750382895457816\ 034502217091560866/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^8 + 3336389693651300273500685488913527377574559135567553026963732877114\ 379547233020443/394558690358526134955776032322488517412614877206106\ 29701297932279322978701683*c_0101_6^7 - 1047449477615430851422509172292550011764363108771973962119662616359\ 756016493673534197/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^6 + 4990568449993518825839268722684958886578676623057801885993368344406\ 0585178576426072/39455869035852613495577603232248851741261487720610\ 629701297932279322978701683*c_0101_6^5 + 7103725692082655718297941382177122729115078469539920376347171035364\ 0816499200232240/39455869035852613495577603232248851741261487720610\ 629701297932279322978701683*c_0101_6^4 - 4589002568336141062409445286826056363918508301097274828017451696427\ 63179270382655/3586897185077510317779782112022622885569226156419148\ 154663448389029361700153*c_0101_6^3 - 2209915099091557153910626932784112764566308498894388779742742727014\ 582955868287137/394558690358526134955776032322488517412614877206106\ 29701297932279322978701683*c_0101_6^2 + 1239687323082036719387421899533065015981802047768005085338391495845\ 92680135773399/3945586903585261349557760323224885174126148772061062\ 9701297932279322978701683*c_0101_6 + 2659596138494615136634856440854185082738401691199988173496193485709\ 0515841043063/39455869035852613495577603232248851741261487720610629\ 701297932279322978701683, c_0101_3 + 561749721152661818812377673173180795504677015104680809086235\ 08119596669760378865/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^35 - 4901514550191074360844561380583823241621171660025949661362535678590\ 06700538301851/3945586903585261349557760323224885174126148772061062\ 9701297932279322978701683*c_0101_6^34 - 2902566998127342470473242889269832726151384709743883818724606235772\ 711495356026452/394558690358526134955776032322488517412614877206106\ 29701297932279322978701683*c_0101_6^33 + 2137362790413315570237098748134433416868596189629811737086809733981\ 8145630592077995/39455869035852613495577603232248851741261487720610\ 629701297932279322978701683*c_0101_6^32 + 7785711224331568671654727766868222007050972770732234137418356022352\ 2904955641870868/39455869035852613495577603232248851741261487720610\ 629701297932279322978701683*c_0101_6^31 - 3612776676637811503537269986980848049923621335274358623929032384016\ 3134435483447851/35868971850775103177797821120226228855692261564191\ 48154663448389029361700153*c_0101_6^30 - 1090789393453876249725057486626003764500662796789934302518885311567\ 655625729761636446/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^29 + 4151054097794445287272814343054940672003551099584633016681098177963\ 221277529006207567/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^28 + 8872507459198389909195758737289266874592074810436987050000071913874\ 177396413909834647/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^27 - 2725354945542195814930148829350492928530303858955066428311775381290\ 4146712469406145353/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^26 - 4546714462258585345784324417830161933630172057134568599303906547836\ 3997263929503305904/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^25 + 1199893552863850792817879725391138537949748819936023351719620521518\ 66264194509141064998/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^24 + 1512096614272694285323719849210479715225549588210738475139698014199\ 44440925356339759788/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^23 - 3619530285448807104269595862793385939988298650837033810073690689812\ 20254364086044838854/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^22 - 3328931933058280164258921758856375909829873213512127867108606338880\ 51861729726944249402/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^21 + 7525175677778372792907118641159597543241325979625864657056931566229\ 02299736600772153791/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^20 + 4948283763614048313268236233862403656839919616670003486853163499994\ 56147921705767214907/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^19 - 1083239809554088468478999114352318877570818431087473454820866516975\ 338509763470595794735/394558690358526134955776032322488517412614877\ 20610629701297932279322978701683*c_0101_6^18 - 5042430625572334537938048130290484676080337973010564581784462560715\ 82799751657754285464/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^17 + 1083611179468548138111892664136833933042202361713715079193876144838\ 492192485288815713500/394558690358526134955776032322488517412614877\ 20610629701297932279322978701683*c_0101_6^16 + 3533719256892190921084728475664596262604523944003141559932501398911\ 43409946797132925627/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^15 - 7525145006338447132343110078133570994985378964924087900215077775129\ 07273267275363895774/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^14 - 1670513831390026047601288649121689649919129366465159199035463128060\ 24548271072358222542/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^13 + 3594125321931276029541025751473166957044913336157110377892295260786\ 68154482972432440455/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^12 + 5002004770687754628075680696543141797313019731262510204176972466679\ 4983496762216806951/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^11 - 1156058257756126542987157709992372636291535642443890326890095152588\ 30514436405164532191/3945586903585261349557760323224885174126148772\ 0610629701297932279322978701683*c_0101_6^10 - 7889474785510395510827928547156290972128607735673690276548623706150\ 054474166167089029/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^9 + 2410507140697242156805098670318016878215946456298716661844758927958\ 0828716475001936837/39455869035852613495577603232248851741261487720\ 610629701297932279322978701683*c_0101_6^8 + 1371386191702143739587341305925712968573534435088687700229801839045\ 98022824739101172/3945586903585261349557760323224885174126148772061\ 0629701297932279322978701683*c_0101_6^7 - 3045559636084222672776575598029251261157406482155938291341603155167\ 852707177769460240/394558690358526134955776032322488517412614877206\ 10629701297932279322978701683*c_0101_6^6 + 1356697658355412471134142563134109052597244734036957944672089743759\ 49982191378651394/3945586903585261349557760323224885174126148772061\ 0629701297932279322978701683*c_0101_6^5 + 2072128571034645567201794284146317126746618941785384844927821680220\ 81477439747052935/3945586903585261349557760323224885174126148772061\ 0629701297932279322978701683*c_0101_6^4 - 1308058203237726899430928626859027903434274046113427822306426577958\ 200790829948500/358689718507751031777978211202262288556922615641914\ 8154663448389029361700153*c_0101_6^3 - 6448259099603083271828228159931234857394694474363997669911917869821\ 493120131491341/394558690358526134955776032322488517412614877206106\ 29701297932279322978701683*c_0101_6^2 + 3572664377834364489038716825658394514664653791062496199896247980822\ 36749818935999/3945586903585261349557760323224885174126148772061062\ 9701297932279322978701683*c_0101_6 + 7729618100257760882851970509214090590366808701075717678280538844328\ 5057864125070/39455869035852613495577603232248851741261487720610629\ 701297932279322978701683, c_0101_6^36 - 8*c_0101_6^35 - 58*c_0101_6^34 + 343*c_0101_6^33 + 1662*c_0101_6^32 - 6069*c_0101_6^31 - 24550*c_0101_6^30 + 59809*c_0101_6^29 + 211554*c_0101_6^28 - 370578*c_0101_6^27 - 1161366*c_0101_6^26 + 1548844*c_0101_6^25 + 4241477*c_0101_6^24 - 4490636*c_0101_6^23 - 10600943*c_0101_6^22 + 9097085*c_0101_6^21 + 18528517*c_0101_6^20 - 12893359*c_0101_6^19 - 22968569*c_0101_6^18 + 12778616*c_0101_6^17 + 20288500*c_0101_6^16 - 8833103*c_0101_6^15 - 12695366*c_0101_6^14 + 4241365*c_0101_6^13 + 5534012*c_0101_6^12 - 1412343*c_0101_6^11 - 1634201*c_0101_6^10 + 327357*c_0101_6^9 + 313935*c_0101_6^8 - 52479*c_0101_6^7 - 36944*c_0101_6^6 + 5446*c_0101_6^5 + 2422*c_0101_6^4 - 301*c_0101_6^3 - 77*c_0101_6^2 + 6*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.270 seconds, Total memory usage: 32.09MB