Magma V2.19-8 Tue Aug 20 2013 16:17:16 on localhost [Seed = 1663238069] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1510 geometric_solution 5.31459449 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 1 -1 0 -1 0 0 1 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.586753231760 0.831360633784 3 4 4 0 0132 0132 3201 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.761840937081 0.600773116350 4 3 0 4 2310 3201 0132 1023 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 -1 1 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.761840937081 0.600773116350 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.965257101867 0.513574453437 1 1 2 2 2310 0132 3201 1023 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.190675982974 0.638217360317 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.819442115650 0.189379129140 5 6 5 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.841637469404 0.101386477835 ==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' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(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_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_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' : negation(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_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(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: 29 Groebner basis: [ t - 3118530605210862569081785425676101088553200501117902617755054640524\ 664980531068913331298106523/435905910275171952938196206246476409533\ 40948286443522894874934118795503191395410732838323372840*c_0101_6^2\ 8 + 420643539918829280468842011626949868805119873045795925492922966\ 374192619259222045852476175426/108976477568792988234549051561619102\ 3833523707161088072371873352969887579784885268320958084321*c_0101_6\ ^27 + 4529900633242938058351527724666647292411280579222992724320993\ 0619419200175273978944337454528089/21795295513758597646909810312323\ 820476670474143221761447437467059397751595697705366419161686420*c_0\ 101_6^26 + 57903284581725501541649394024230462133544858264978588948\ 07005804003827505611768273578964186739/3962781002501563208529056420\ 422512813940086207858502081352266738072318471945037339348938488440*\ c_0101_6^25 + 61741065070414441773250710716356401080593644325672122\ 6143488100233842587003865508076237238118471/21795295513758597646909\ 8103123238204766704741432217614474374670593977515956977053664191616\ 86420*c_0101_6^24 - 52228771189595587493915876552039295650504810258\ 530773649519726486327742239703725253666108871739/369411788368789790\ 6255900052936240758757707481901993465667367298203008745033509384138\ 84096380*c_0101_6^23 - 42589286792081785126233950395507028985966744\ 9627500007947917306859266000822074253232890925271847/43590591027517\ 1952938196206246476409533409482864435228948749341187955031913954107\ 32838323372840*c_0101_6^22 + 10380753328962959303565125055165539356\ 128823627303123178842415664469504695037156405032123735505091/435905\ 9102751719529381962062464764095334094828644352289487493411879550319\ 1395410732838323372840*c_0101_6^21 - 2994642943985254611227785454864402480884680148469032678853182023013\ 9925597894688560636933873800469/43590591027517195293819620624647640\ 953340948286443522894874934118795503191395410732838323372840*c_0101\ _6^20 + 10584479413708825900669201545262876271974373135379855377282\ 333797161110834237576345239262889194753/396278100250156320852905642\ 0422512813940086207858502081352266738072318471945037339348938488440\ *c_0101_6^19 - 4825681291150663185720626244133551025259396304338639\ 4813913547794394467712699872280174364550971889/21795295513758597646\ 9098103123238204766704741432217614474374670593977515956977053664191\ 61686420*c_0101_6^18 + 60592604129489239579567730128778331811193751\ 07156609272938395336435125187298991205181167213331139/3962781002501\ 5632085290564204225128139400862078585020813522667380723184719450373\ 39348938488440*c_0101_6^17 - 71397729647068472178536641800188086716\ 775721318121676347978837120090986048682594438392098593283602/544882\ 3878439649411727452578080955119167618535805440361859366764849437898\ 924426341604790421605*c_0101_6^16 + 3784924115494336013246398757541282621119520903614777606425940479629\ 88050594610086609865360931808543/1089764775687929882345490515616191\ 0238335237071610880723718733529698875797848852683209580843210*c_010\ 1_6^15 - 2212142506132082844107454785085074735473653745450762025888\ 305104568552926440674669953970861009459753/435905910275171952938196\ 2062464764095334094828644352289487493411879550319139541073283832337\ 2840*c_0101_6^14 + 101670272987679263509458313861841403111034377265\ 8665545487265325083654682310911352329588178093086037/21795295513758\ 5976469098103123238204766704741432217614474374670593977515956977053\ 66419161686420*c_0101_6^13 - 75263547282268862975097879005652839169\ 5614538646376583625288693320049296487187264687299430793018287/21795\ 2955137585976469098103123238204766704741432217614474374670593977515\ 95697705366419161686420*c_0101_6^12 + 1284169883414159782252866057495634043724127932205007578543311122608\ 044175920740087476664864181672313/435905910275171952938196206246476\ 40953340948286443522894874934118795503191395410732838323372840*c_01\ 01_6^11 - 145605463916071506026409527010062621470524161668242559765\ 162287609393017558992691790524067237860092/544882387843964941172745\ 2578080955119167618535805440361859366764849437898924426341604790421\ 605*c_0101_6^10 + 7868540317059738777828510232710456512766293127869\ 1250207300155484617016529792616312326619283485677/39627810025015632\ 0852905642042251281394008620785850208135226673807231847194503733934\ 8938488440*c_0101_6^9 - 1305315680387164577508992317632318789153226\ 30724330746465963948239871525826326262336518725194779299/1089764775\ 6879298823454905156161910238335237071610880723718733529698875797848\ 852683209580843210*c_0101_6^8 + 13480473026982147599025759539796223\ 3200269892700911856321709477704865514869630333197035757043487457/21\ 7952955137585976469098103123238204766704741432217614474374670593977\ 51595697705366419161686420*c_0101_6^7 - 2500049201545033029837593618825279313890910948240715702514163696580\ 3992886586937050501135621809721/87181182055034390587639241249295281\ 90668189657288704578974986823759100638279082146567664674568*c_0101_\ 6^6 + 1047981676104285620150485749769983334538734789281027564247149\ 9903033688697208168431281296541220817/87181182055034390587639241249\ 29528190668189657288704578974986823759100638279082146567664674568*c\ _0101_6^5 - 1789851514670267853715955563716014490221173839447114285\ 4883137501402698857035902893142211961315257/43590591027517195293819\ 6206246476409533409482864435228948749341187955031913954107328383233\ 72840*c_0101_6^4 + 767994708040040215532306776638024383120109744568\ 261622323890340447277754514527165640235150834061/544882387843964941\ 1727452578080955119167618535805440361859366764849437898924426341604\ 790421605*c_0101_6^3 - 28742788311405901501194837859779243558644972\ 54901791963987205907415531159226364836171705078635011/4359059102751\ 7195293819620624647640953340948286443522894874934118795503191395410\ 732838323372840*c_0101_6^2 + 14452623557488527217023209342319711515\ 82704494676135905505305861158979078592199525442417570165923/4359059\ 1027517195293819620624647640953340948286443522894874934118795503191\ 395410732838323372840*c_0101_6 - 4960860162279789464837206881211220\ 3562478952029590428305098178384779578088773652378422468348137/10897\ 6477568792988234549051561619102383352370716108807237187335296988757\ 97848852683209580843210, c_0011_0 - 1, c_0011_1 - 230299741482830582000628911618725736554975498611585730431186\ 3068649884796072431791176/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^28 + 1508216795933036230571047318063065770260628714847681611947180064610\ 2710875924410783470/21816675856097573268713149198538388097005539572\ 002323724687660967145554238851780110927871*c_0101_6^27 + 1033128308150181812701868718609884483434657919372508562847497746386\ 62286658459966718078/2181667585609757326871314919853838809700553957\ 2002323724687660967145554238851780110927871*c_0101_6^26 - 2456001613879144672010344254434766367209655516879878277267089595170\ 61028400965166215983/2181667585609757326871314919853838809700553957\ 2002323724687660967145554238851780110927871*c_0101_6^25 - 8992067269955391570997339728306852678749074604500763342298062978389\ 93881021566062723304/2181667585609757326871314919853838809700553957\ 2002323724687660967145554238851780110927871*c_0101_6^24 - 1440280624597697020622866766731745827415690947003700818358973338903\ 64389707886246612931/3697741670525012418425957491277692897797549080\ 00039385164197643510941597268674239168269*c_0101_6^23 - 1731394357989193443420472787667895277954956289747463101044485345622\ 3680626124974857702625/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871*c_0101_6^22 + 8436639895020150914551186919903202511871293940414914032113496959308\ 0595932096127519797899/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871*c_0101_6^21 + 7852986377131034330923575982202240373363901114664432855929265038825\ 3463977253792295695058/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871*c_0101_6^20 + 1054326879019087131611828057730116009534334990300810476755769003115\ 9597754516758233551874/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871*c_0101_6^19 + 1426799608184737464659124014579258493155085006073604350174503416991\ 54268184754754067194180/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^18 - 1313431821131411489160719937094798340658567341616325529255153753131\ 971765003704133061259143/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^17 - 8069049991255015947666143378165126703088761381480839607152200102406\ 86947575452772143537240/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^16 + 1222672722157577983390848383164848335418607318115014234163661141867\ 600427680973228628332273/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^15 + 5814558007747735992928216743583934265692256247842555097611836274721\ 499306544245792939965015/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^14 - 1092612175870644369555497719420768233548239806202584643592372142884\ 8141115407959190505430887/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^13 + 1046619821965251575212144738849692313768894472867553636449164283201\ 6269764218739234182774155/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^12 - 3642773886044267358093070077214031973948386135688156140499665170965\ 402853978814559652089014/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^11 + 2970758358370898215097877675486723933158055247430441784617970488014\ 216372404190491970574182/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^10 - 5387693814733845972527359811592689642798145103739024934069146418268\ 605658276868425031988682/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^9 + 3193337746831455849908928706986285980522725898545028726975126918950\ 604253244174049638395819/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^8 - 7172914628103947556619414580159091894769813051524107952990510961189\ 75166063765208071976991/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^7 + 8239842083368948532692781467223374297732138091559156376081337962572\ 41685843435488789701284/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^6 - 9663048989356604192650522295211770071521893472119542839695787228243\ 0494241037785175184937/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871*c_0101_6^5 - 2030467901959513456948218735131585684285221902398077285360482331162\ 82594839257594530290753/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^4 + 8317765292005941127013991954013434860546779622909145303721893134928\ 4093108756761654700575/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871*c_0101_6^3 + 3927201491337749085760708277956146620092033842432931300978528207979\ 93309986140259613354/2181667585609757326871314919853838809700553957\ 2002323724687660967145554238851780110927871*c_0101_6^2 + 1788926882690964827221563618968910579674629167348389873770876517714\ 819527431952556415419/218166758560975732687131491985383880970055395\ 72002323724687660967145554238851780110927871*c_0101_6 - 2249933541646654078211738634255806769879696256111190940577005193565\ 324672297492617131757/218166758560975732687131491985383880970055395\ 72002323724687660967145554238851780110927871, c_0101_0 + 158920809380858619796559016890061403907692990242780470601142\ 142096224438480361857882126/218166758560975732687131491985383880970\ 05539572002323724687660967145554238851780110927871*c_0101_6^28 - 8760820478110456383347207534880028774978731750229671797297186024042\ 97092330772021126912/2181667585609757326871314919853838809700553957\ 2002323724687660967145554238851780110927871*c_0101_6^27 - 4562027739880602999392656017446681635200624764541811965430506816883\ 234020743143509880617/218166758560975732687131491985383880970055395\ 72002323724687660967145554238851780110927871*c_0101_6^26 - 2491847927653537883641044537515452518763821034145323358204646180096\ 755918978074365932230/218166758560975732687131491985383880970055395\ 72002323724687660967145554238851780110927871*c_0101_6^25 - 6104676567971138574016280405414178160243685929475156230504813514133\ 2649208891973550763469/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871*c_0101_6^24 + 5482022832028541205277445964836224216879619774703714864947164421512\ 449525070802466559003/369774167052501241842595749127769289779754908\ 000039385164197643510941597268674239168269*c_0101_6^23 + 4042861355324707224463630418416896689484641849419125729435307292564\ 169505258068649522544/218166758560975732687131491985383880970055395\ 72002323724687660967145554238851780110927871*c_0101_6^22 - 6080200489084815863064372509039853357523907145809614768003510967683\ 80337320623602433170618/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^21 + 1519662687511883572868804459746591515835578580595299572137434488999\ 989045788698780601190728/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^20 - 5988869805459340483742780550638066590060405861127702095088230055276\ 587304708240315880342510/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^19 + 5283989716647939217764389356270319604009255403793335004591507238092\ 766843689087130515934288/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^18 - 2557979247609329833105969100983225555664812315961000729753041785942\ 208550977440576373634846/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^17 + 2924278763127452401541057852858210214923068112231479537042886372021\ 7032467865607289018683122/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^16 - 8018261315206744353886644564740149846194558630734948787219084383951\ 7968021578311677911754588/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^15 + 1138132520155093752521548305046575192562001084328972613839139589872\ 21618510449859481082024727/2181667585609757326871314919853838809700\ 5539572002323724687660967145554238851780110927871*c_0101_6^14 - 1006066778585420602376955749338306019233005634601349292606027932453\ 00380787035627768626263758/2181667585609757326871314919853838809700\ 5539572002323724687660967145554238851780110927871*c_0101_6^13 + 7074385820321002390597814295831811990526093670558899109894296964342\ 3156164661687074704362691/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^12 - 6308266325224163669036064273100480833120118459886914352259237467153\ 5616628360220565888307662/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^11 + 5868439716503196595175512431074835437046915440774092210999408767610\ 8482815674517297659305652/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^10 - 4107000545347795890562880029680401706409035270148225612571786728571\ 8094629264591248136670982/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^9 + 2339574821352090855617798536511424524485802475107579670130410902345\ 8993423152801344337254110/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^8 - 1257274351103944575664198580708732598762371389086272442531061396539\ 1668271534703649227113800/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^7 + 5718787735092586127368736895261213261159911233894781922285330473317\ 063995645454909357665120/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^6 - 1938328170195858968462322558516612604998924537701022294805804647340\ 056316034652820720502818/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^5 + 5361749194829351217316434291315346674325390433418435320717975171283\ 70756810106736068105207/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^4 - 3172041194108813038546890224991990730626092033931204112494082144625\ 05370997765839441514068/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^3 + 8456627095998387027431677546988424644527133653398416928731203804936\ 8183246628085514675010/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871*c_0101_6^2 - 1854819658979014098811494755444295265375854846069265497784031570759\ 7151714918753080330677/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871*c_0101_6 + 8917739850359985589318363573980825949846184695358184851818242449487\ 957434721661049705293/218166758560975732687131491985383880970055395\ 72002323724687660967145554238851780110927871, c_0101_1 - 133844791420922488023502525717386937631565403851351723499676\ 86516766060041386798711983/2181667585609757326871314919853838809700\ 5539572002323724687660967145554238851780110927871*c_0101_6^28 + 1070889400109294766900425561162923605342928388956606297995221264089\ 53861333597724656571/2181667585609757326871314919853838809700553957\ 2002323724687660967145554238851780110927871*c_0101_6^27 + 2014167370699830202982160695047744828836123396991036161954606796021\ 45298744577812944312/2181667585609757326871314919853838809700553957\ 2002323724687660967145554238851780110927871*c_0101_6^26 - 7349709962044380113067210054270705944720101864218206740080784990459\ 49567579235131359954/2181667585609757326871314919853838809700553957\ 2002323724687660967145554238851780110927871*c_0101_6^25 + 4531458002605103511893684384839431900066924758585294435218100857578\ 728817378268287997215/218166758560975732687131491985383880970055395\ 72002323724687660967145554238851780110927871*c_0101_6^24 - 6879560594843830496006441692173028294513097634435518169552218485013\ 84239740653294889183/3697741670525012418425957491277692897797549080\ 00039385164197643510941597268674239168269*c_0101_6^23 + 6619931858056591686249481252609835846558019256124529204745632993247\ 8725258522858101658290/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871*c_0101_6^22 + 4668306109636822125220597906376245659735777167030615400186043404919\ 4427274939757719064770/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871*c_0101_6^21 - 2327514033216567451275867299065860882157218190157153502380883797815\ 64006473756929595718837/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^20 + 8541892270904844047516235815113824114745528942214256521069365646987\ 89212576387915403031000/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^19 - 1719905709220845831599657363277818925840746753506955202155487713102\ 945866662721844145948722/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^18 + 1396107936004178392032944634568762384829010652488507510759677376141\ 841721114688414618221121/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^17 - 3399686579785104920812961204608092101281940223034994512629828267562\ 524688133318779221721805/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^16 + 1273989897883740917072304025948566995514227909514813525418611794595\ 8903518546014036682088439/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^15 - 2640162567652701051407957456560297293582549037053906004623537465184\ 1335161973114831913662242/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^14 + 3447846942474491510363789363292692780923235552711575836059236022346\ 9581067158125853964779385/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^13 - 3076251029546364511138119346363315003663105780475764733530337772260\ 7681845572820904547544617/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^12 + 2365728896628887803997332169049863219529522828632842388976621845100\ 5214503243811960448771296/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^11 - 1909713694271946665947798178925015963780687059969416933094544101829\ 8723076406249518611903614/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^10 + 1651087380706626932585116726772144055333707363643570940164516411381\ 3345470464018303340037333/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^9 - 1209543025391317959801955501106598842064160866329813048597042727397\ 3711970933204212906901731/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^8 + 7227206227211215126362368605715033833159068801594818486563653345943\ 146018264723516642526561/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^7 - 3465652854647523708100445210712991057908581258073378885498911318692\ 178588328580488407906361/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^6 + 1416646224159658489129107595241655734359995071179166387801991213146\ 295870985148632031385397/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^5 - 4926333639594799019585693952734712921661538142633719531224316982470\ 98014935029329963868136/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^4 + 2264182622308277797406515549643105729476481339651523476306538028334\ 76426321900035392260010/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^3 - 3711939572502927045211306733328831114605503318762440620609399737766\ 4255606996066067060341/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871*c_0101_6^2 + 5328071034272784410470376946337555945999771574705245213683850529727\ 6615781107669315696112/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871*c_0101_6 - 1248013632099300558359908039728973279023542594261512977536821785099\ 1179609595848564144758/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871, c_0101_4 + 606892470059165587794442656671812725500438166450728526570426\ 52998981549816714135624937/2181667585609757326871314919853838809700\ 5539572002323724687660967145554238851780110927871*c_0101_6^28 - 4069929806531045612603299406985988775192871785207878716957457254916\ 02082408331571971361/2181667585609757326871314919853838809700553957\ 2002323724687660967145554238851780110927871*c_0101_6^27 - 1369064355729851349651494020327808535441257607737774342821191835390\ 268841005837606028272/218166758560975732687131491985383880970055395\ 72002323724687660967145554238851780110927871*c_0101_6^26 + 1261402938432981166163438244879652705396865948271661595888229705607\ 957665857775215949964/218166758560975732687131491985383880970055395\ 72002323724687660967145554238851780110927871*c_0101_6^25 - 2136821606080312717598598639114288721367292668682714564231708779049\ 5735213026591766039896/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871*c_0101_6^24 + 2577446525399672605880903466335342326002202804207810552533687560567\ 959676302432100889209/369774167052501241842595749127769289779754908\ 000039385164197643510941597268674239168269*c_0101_6^23 - 1356023659474529216265989534177445050970950500541992653343647531349\ 99660529698789264920931/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^22 - 2833518378566866889682631142991660707648491444050901327882308632725\ 80956575707406919138815/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^21 + 8355573655709402654415872000364993479829855353282499753079745441391\ 40069121965452473000743/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^20 - 2885063461573347768939374105015613555766342063343693113350414125946\ 897810266261381800066328/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^19 + 4541915865940456253940394805735143355986805469337978559102291063227\ 660587436827075843606822/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^18 - 2483968041991599767509006311577417962735300922185582913926676108485\ 236663474723175492749711/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^17 + 1184474226271444536651812670495893093616323875412991112428030440849\ 3809032729950154442190008/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^16 - 4378962016916316998603626738745670928006744912413690268599401214619\ 6070719103593980047808138/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^15 + 7521281849293975922846608419479931840570495350834603293543350767377\ 1448289594965829501840902/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^14 - 7906344557880601572409661081122207535798039848811732478468021520282\ 3130181747851133961828728/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^13 + 5907211167456705091641631118664311554595386706916229935528334696036\ 3889318408180565731533509/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^12 - 4592687854655003519119065793467437749852622285955987608194695695677\ 9976778148333241806431966/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^11 + 4421248997951382748209814916283410147142135275233592948956317118456\ 5037959535784068756070683/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^10 - 3492701345971817253894584517161158238727332635833494381343194966684\ 5085589877183851582154727/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^9 + 2114262462224753395044833333514063437160804300513834878166612839756\ 1464854306044580128239442/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^8 - 1151136151072794574573973015520351719470920194916090226358405028564\ 5368592095012102929607104/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^7 + 5803631812017573552527520487832293515297429553049579479096980310684\ 508952771746500916918207/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^6 - 2160482417004769425996226825409833890211703819648114376770423306532\ 374286477083928729912101/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^5 + 6272847350887304102980562722208176041317143595670337439587408229415\ 01946770843504510310110/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^4 - 2077897515525388467330489920180485113223482020507552996817840634759\ 05527590652842644123289/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^3 + 1653660468254767116428365190179147831520281012899273343159430370020\ 43498067988098490962020/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^2 - 2043720591496105380777629730020639771191508186426588676681158033234\ 0351693459697949621932/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871*c_0101_6 + 1815176769237575104185195052004882371869636800190208421878327283597\ 9449633994430738057516/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871, c_0101_5 + 492781334011542139904606504729527727320836579138420623141539\ 52772920320442088984869581/2181667585609757326871314919853838809700\ 5539572002323724687660967145554238851780110927871*c_0101_6^28 - 2689872002893039164502052437683207616645594676379064338370493806313\ 25662608329572363758/2181667585609757326871314919853838809700553957\ 2002323724687660967145554238851780110927871*c_0101_6^27 - 1416368088965345910513807850526431834745557193247453491102626611016\ 234885600178200298552/218166758560975732687131491985383880970055395\ 72002323724687660967145554238851780110927871*c_0101_6^26 - 9173818816648301232408044057607053428842866998074159038590598201751\ 54383888358692723788/2181667585609757326871314919853838809700553957\ 2002323724687660967145554238851780110927871*c_0101_6^25 - 1936291715837290886946753233774291755290416676048638579622538902867\ 9780728138445076101556/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871*c_0101_6^24 + 1677683891640437925252767233206814766891845451908157559940574501719\ 982123180485504016389/369774167052501241842595749127769289779754908\ 000039385164197643510941597268674239168269*c_0101_6^23 + 1772896010590300073916028196145628721781224359926870396681704838688\ 599522688487168687795/218166758560975732687131491985383880970055395\ 72002323724687660967145554238851780110927871*c_0101_6^22 - 1631188655668193682496847999794720095239927784984705080963243626080\ 18944268035057492601203/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^21 + 4693063357180111646330552716794941489420569630813547282571336342886\ 11500759378892366148340/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^20 - 1884182845622805789075438273068787468723894671580449057002399752414\ 093435790308518746694145/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^19 + 1641377358870429854618060069637359345487824344634919919828862567740\ 888694972217828004737119/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^18 - 1163344552524624276643144847745127996534618109559051076203992866746\ 993335311989161595714994/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^17 + 9312896658689111429661067964691822321207435606525409894062208334636\ 393235632934255439098504/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^16 - 2440363888815080866139279003589718563006436566306592452889110047909\ 6423735037839760379660638/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^15 + 3633431398226069112325978012803931371360343287120777037280669038257\ 5832616417998100613162949/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^14 - 3512294311065778013605759828926896554787445731417473855325515251289\ 9594706458294287600473610/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^13 + 2747986507146491056722671030531541357854361636790555294489302242854\ 4672599615582958580930242/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^12 - 2375607130767229531110753313700869729455929786738667735906564721136\ 6928173198376800800174905/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^11 + 2026202829379137547655971671839364890151825197222337962188450057663\ 8063625183364195861032823/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^10 - 1517396900369832176495996816057324503098469374289092335594942164007\ 4476112315172632785452673/21816675856097573268713149198538388097005\ 539572002323724687660967145554238851780110927871*c_0101_6^9 + 9635455901740651551323679266972760278701940571014074873294683165275\ 956128725563985876982277/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^8 - 5438131415938897525180825248978296561126820308843613377944887189025\ 914901095496499417932089/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^7 + 2485974157786062244528107260468789272227996167971658457124008717897\ 365353121983998547532556/218166758560975732687131491985383880970055\ 39572002323724687660967145554238851780110927871*c_0101_6^6 - 9352489030017682178374365835389796263529209441689575920626097656089\ 42543740683891621049088/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^5 + 2745607687156172045169108682991238455000508187596619241280063029668\ 61918302579766436863884/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^4 - 1504506810819442275766602566237780381954947287874240390885764365091\ 90019558966769171704347/2181667585609757326871314919853838809700553\ 9572002323724687660967145554238851780110927871*c_0101_6^3 + 2687429959762365556846026964091595822346206784355450521741446633044\ 3788249568640839898248/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871*c_0101_6^2 - 3599483181531278545253855041545769123627953227319871390113185357432\ 6586360370427350361445/21816675856097573268713149198538388097005539\ 572002323724687660967145554238851780110927871*c_0101_6 + 5803799978041509788181955245601554396907582756183187317777559138869\ 379434013002740896203/218166758560975732687131491985383880970055395\ 72002323724687660967145554238851780110927871, c_0101_6^29 - 5*c_0101_6^28 - 31*c_0101_6^27 - 33*c_0101_6^26 - 409*c_0101_6^25 + 1819*c_0101_6^24 + 849*c_0101_6^23 - 2872*c_0101_6^22 + 8163*c_0101_6^21 - 34331*c_0101_6^20 + 18256*c_0101_6^19 - 16588*c_0101_6^18 + 183057*c_0101_6^17 - 416789*c_0101_6^16 + 550631*c_0101_6^15 - 476973*c_0101_6^14 + 385413*c_0101_6^13 - 365391*c_0101_6^12 + 302917*c_0101_6^11 - 202774*c_0101_6^10 + 133577*c_0101_6^9 - 77373*c_0101_6^8 + 34745*c_0101_6^7 - 13440*c_0101_6^6 + 4959*c_0101_6^5 - 1756*c_0101_6^4 + 402*c_0101_6^3 - 266*c_0101_6^2 + 76*c_0101_6 - 55 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB