Magma V2.19-8 Tue Aug 20 2013 16:16:42 on localhost [Seed = 3920131360] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0988 geometric_solution 4.87784650 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493403121668 0.140976860383 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632827201799 0.394403145291 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.132877083203 1.511087801399 4 2 5 4 3201 0132 0132 2310 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 0 0 0 0 0 -1 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.182682962592 0.692519726294 3 5 2 3 3201 1023 0132 2310 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.182682962592 0.692519726294 4 6 6 3 1023 0132 1023 0132 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 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 0 0 0 0.504577898187 0.767607948859 6 5 5 6 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.441078469352 0.483318472554 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], '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_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 6005051173534057169315247278418616330809297501267524853125584196952\ 74249/1048749316557750078353375327779584169337355801186529492812658\ 8415655848*c_0101_6^26 - 706780843371150272065972558598013259949781\ 6760675440085838069168204414257/10487493165577500783533753277795841\ 693373558011865294928126588415655848*c_0101_6^25 + 1136351844148551906014084812051188169120284688941400210868371881773\ 4303183/52437465827887503917668766388979208466867790059326474640632\ 94207827924*c_0101_6^24 + 16122658509127007980043099497100665680604\ 2516223433627207997964293508406663/52437465827887503917668766388979\ 20846686779005932647464063294207827924*c_0101_6^23 + 4426297919241281713161271389145472965028398768483816440415243826175\ 78441903/1048749316557750078353375327779584169337355801186529492812\ 6588415655848*c_0101_6^22 - 149372358607163111649164802972822746422\ 4749738370201055353005597312030902879/10487493165577500783533753277\ 795841693373558011865294928126588415655848*c_0101_6^21 - 3044409631126729876998813542085237965679175692630650181124021593811\ 0032652/13109366456971875979417191597244802116716947514831618660158\ 23551956981*c_0101_6^20 + 56232093950959121293658832609324749867516\ 14462486517927935353798581417417845/5243746582788750391766876638897\ 920846686779005932647464063294207827924*c_0101_6^19 - 3914257125535314583396812593421336893816607688702573538388729866286\ 91119891/1498213309368214397647679039685120241910508287409327846875\ 226916522264*c_0101_6^18 - 1841821796587906457652666231104376534926\ 6117097063030352637561812855696189263/52437465827887503917668766388\ 97920846686779005932647464063294207827924*c_0101_6^17 + 2123544454839464949232026061176034432790519848784771242744554829582\ 2533935857/52437465827887503917668766388979208466867790059326474640\ 63294207827924*c_0101_6^16 + 79949984471708017792072042295949812212\ 957906071807685656725072798101499073055/104874931655775007835337532\ 77795841693373558011865294928126588415655848*c_0101_6^15 - 1402863039982529403523123583969017549941962006229127063004460682174\ 96110644967/1048749316557750078353375327779584169337355801186529492\ 8126588415655848*c_0101_6^14 - 782852942127938409546164939061041362\ 1125625553920678478924847738069200261913/13109366456971875979417191\ 59724480211671694751483161866015823551956981*c_0101_6^13 + 1981708930758820579444788567538907685291207781480167072371410112593\ 73436267275/1048749316557750078353375327779584169337355801186529492\ 8126588415655848*c_0101_6^12 - 525238455874077358851735332338254906\ 02739250729592639642550679788902986540585/1048749316557750078353375\ 3277795841693373558011865294928126588415655848*c_0101_6^11 - 1944379385562365431867329243190951113953433448093051674306989765291\ 0747232395/26218732913943751958834383194489604233433895029663237320\ 31647103913962*c_0101_6^10 + 25942900719156550431415357717592543162\ 573536554403562332618163252751743598631/524374658278875039176687663\ 8897920846686779005932647464063294207827924*c_0101_6^9 - 2930733338203740441168496899473196223320737091146602841612890127747\ 2303926627/10487493165577500783533753277795841693373558011865294928\ 126588415655848*c_0101_6^8 + 37082383257003155334559002081456448807\ 146042952298067641624320977923537210903/104874931655775007835337532\ 77795841693373558011865294928126588415655848*c_0101_6^7 - 8001404854346775106897648766792100042687259839116142483521826756447\ 724159763/524374658278875039176687663889792084668677900593264746406\ 3294207827924*c_0101_6^6 - 3631716521803717682698108410858655084015\ 301071256523257033300225561222645789/104874931655775007835337532777\ 95841693373558011865294928126588415655848*c_0101_6^5 + 2299169590858787857398644635333209613304957633694572840913599358646\ 58301285/7491066546841071988238395198425601209552541437046639234376\ 13458261132*c_0101_6^4 - 200219203072994137476789694560905037926276\ 85641158938676991297215311532107/7491066546841071988238395198425601\ 20955254143704663923437613458261132*c_0101_6^3 - 2618304519917608944896683796821554086448126852777332796406776602211\ 5336193/10487493165577500783533753277795841693373558011865294928126\ 588415655848*c_0101_6^2 - 14405364063768505953680326618454315873685\ 707910768306861586110997952202719/524374658278875039176687663889792\ 0846686779005932647464063294207827924*c_0101_6 + 8709672793825877620492394277175815346292380485909317449697242177850\ 620099/104874931655775007835337532777958416933735580118652949281265\ 88415655848, c_0011_0 - 1, c_0011_1 - 658701422838186096578268097601083424456664487473795962731923\ 28479837/1498213309368214397647679039685120241910508287409327846875\ 226916522264*c_0101_6^26 - 8133158605422429634108362416846076818405\ 18455295137407740014929920527/1498213309368214397647679039685120241\ 910508287409327846875226916522264*c_0101_6^25 + 1009629078387420280040533507803290831307443170793215082488827739457\ 611/749106654684107198823839519842560120955254143704663923437613458\ 261132*c_0101_6^24 + 1824408943395292728544510844596903335093395997\ 6384021447260856040445809/74910665468410719882383951984256012095525\ 4143704663923437613458261132*c_0101_6^23 + 6976407211103094714667655361667471615759128049372868039440754392606\ 5099/14982133093682143976476790396851202419105082874093278468752269\ 16522264*c_0101_6^22 - 12138381938225771882116965800708528943963512\ 7906456808346964092817733213/14982133093682143976476790396851202419\ 10508287409327846875226916522264*c_0101_6^21 - 2332978754721264804657567433703447521366995441853359426294658595187\ 8627/37455332734205359941191975992128006047762707185233196171880672\ 9130566*c_0101_6^20 + 585561158847371072969028225223978980012938487\ 889057240097191075755134563/749106654684107198823839519842560120955\ 254143704663923437613458261132*c_0101_6^19 + 3731680137620201586249328787842920335006925074305284683920108903125\ 63119/1498213309368214397647679039685120241910508287409327846875226\ 916522264*c_0101_6^18 - 4690641918016860618624078936166129286867223\ 38358688124516379235122035339/1872766636710267997059598799606400302\ 38813535926165980859403364565283*c_0101_6^17 + 3111201312809299016274426043589659787886894607586239932326847949908\ 86397/1872766636710267997059598799606400302388135359261659808594033\ 64565283*c_0101_6^16 + 99786545530645705278868998293300505329702986\ 41800625170014063851488892321/1498213309368214397647679039685120241\ 910508287409327846875226916522264*c_0101_6^15 - 9391208407994608260665795410691844249078710548531684169813059918000\ 852147/149821330936821439764767903968512024191050828740932784687522\ 6916522264*c_0101_6^14 - 588118301522742621690765836744356784348033\ 3774224403429632346451863362963/74910665468410719882383951984256012\ 0955254143704663923437613458261132*c_0101_6^13 + 1417828451333699666385294724480444264492357826340733986206452802094\ 2869773/14982133093682143976476790396851202419105082874093278468752\ 26916522264*c_0101_6^12 + 19751822172495860337177844899543496775078\ 55572202413237909475197457009131/1498213309368214397647679039685120\ 241910508287409327846875226916522264*c_0101_6^11 - 3169000093955966106933141181360218102094155624459035675012727360127\ 541843/749106654684107198823839519842560120955254143704663923437613\ 458261132*c_0101_6^10 + 2227070197339673241234878908060167499740415\ 00216518276122858992663061809/1872766636710267997059598799606400302\ 38813535926165980859403364565283*c_0101_6^9 - 2527647966237123741752749108419209174797013160457212294801700400091\ 668565/149821330936821439764767903968512024191050828740932784687522\ 6916522264*c_0101_6^8 + 2843541705470042636497866649889886048389736\ 396662898747708529941078285019/149821330936821439764767903968512024\ 1910508287409327846875226916522264*c_0101_6^7 - 4118513023198538312305407052804718970756535444764437088518957175814\ 0751/18727666367102679970595987996064003023881353592616598085940336\ 4565283*c_0101_6^6 - 3378872488489986163109676489430028491448738369\ 33150518257553795948779315/1498213309368214397647679039685120241910\ 508287409327846875226916522264*c_0101_6^5 + 2379632028974246129509494763696053953278832996682836529623467236876\ 2671/74910665468410719882383951984256012095525414370466392343761345\ 8261132*c_0101_6^4 + 6140095251860147165739760905221051079320270535\ 21960083304851936841589/7491066546841071988238395198425601209552541\ 43704663923437613458261132*c_0101_6^3 + 3941068239885022348035461415889785670758533479549614017242322593501\ 955/149821330936821439764767903968512024191050828740932784687522691\ 6522264*c_0101_6^2 - 7259320018839190788752524479243804181886246185\ 7758796596345834757906/18727666367102679970595987996064003023881353\ 5926165980859403364565283*c_0101_6 + 5963788295248563929987763187759814321493835089075442808357591543184\ 93/1498213309368214397647679039685120241910508287409327846875226916\ 522264, c_0011_4 + 794457461967058211493637969763706165103261271890978608520711\ 9710913/37455332734205359941191975992128006047762707185233196171880\ 6729130566*c_0101_6^26 + 201593849207793059430711427104030487582225\ 879477097357211788537667231/749106654684107198823839519842560120955\ 254143704663923437613458261132*c_0101_6^25 - 1061086648615766933971406850626559232849504767161102067991663556754\ 24/1872766636710267997059598799606400302388135359261659808594033645\ 65283*c_0101_6^24 - 45099929017134850084046896235283555277483400644\ 47733876454888947357337/3745533273420535994119197599212800604776270\ 71852331961718806729130566*c_0101_6^23 - 9861056174178429822320650330713921026876223522811986827837286150140\ 611/374553327342053599411919759921280060477627071852331961718806729\ 130566*c_0101_6^22 + 2587418183895075160605415526201625667701907285\ 5792928164319354911333727/74910665468410719882383951984256012095525\ 4143704663923437613458261132*c_0101_6^21 + 1895372855417869581800071930234596230003692032400479062486452485792\ 2405/37455332734205359941191975992128006047762707185233196171880672\ 9130566*c_0101_6^20 - 139908892586612130664631724387588150652045637\ 649458598391158974271037415/374553327342053599411919759921280060477\ 627071852331961718806729130566*c_0101_6^19 - 9708924824011046863928384222060637510899060171868939108932156871455\ 5155/37455332734205359941191975992128006047762707185233196171880672\ 9130566*c_0101_6^18 + 943708120600098452242181558212826907072737303\ 379687359364563204684499305/749106654684107198823839519842560120955\ 254143704663923437613458261132*c_0101_6^17 - 2368749553659982430531945809649055279719909952270572878685019959582\ 88387/7491066546841071988238395198425601209552541437046639234376134\ 58261132*c_0101_6^16 - 28179781241939423473888907469224720874088135\ 39836877913286048686944997845/7491066546841071988238395198425601209\ 55254143704663923437613458261132*c_0101_6^15 + 7528943148525586353180724590911397466594319357406814307658279235176\ 70829/3745533273420535994119197599212800604776270718523319617188067\ 29130566*c_0101_6^14 + 42547494723385025817250391965901246147252067\ 49456110463094375922836475063/7491066546841071988238395198425601209\ 55254143704663923437613458261132*c_0101_6^13 - 2735841934604531120432950415967482486514244720427865730722812352821\ 732121/749106654684107198823839519842560120955254143704663923437613\ 458261132*c_0101_6^12 - 1247279123634217110847975029577127944432190\ 433568717659138391939053354461/374553327342053599411919759921280060\ 477627071852331961718806729130566*c_0101_6^11 + 1846488491407450499834998086616950742486824713078846209559185186877\ 142165/749106654684107198823839519842560120955254143704663923437613\ 458261132*c_0101_6^10 + 4283348645860160103943820721064721244119251\ 63785191343457422401314472755/7491066546841071988238395198425601209\ 55254143704663923437613458261132*c_0101_6^9 + 2337376617253610538947745601815229701744542790277270421838462015744\ 18849/7491066546841071988238395198425601209552541437046639234376134\ 58261132*c_0101_6^8 - 238405033626459623503345217252974310080919069\ 877221675699996602524247039/374553327342053599411919759921280060477\ 627071852331961718806729130566*c_0101_6^7 - 3131033018837796055571400321147254894743836148696709607003388946196\ 90967/7491066546841071988238395198425601209552541437046639234376134\ 58261132*c_0101_6^6 + 215687181397173903787506703542257691659054031\ 153541885670216191790574147/749106654684107198823839519842560120955\ 254143704663923437613458261132*c_0101_6^5 + 1040915957147039084260320477042451571375458563205860285431367958674\ 5342/18727666367102679970595987996064003023881353592616598085940336\ 4565283*c_0101_6^4 - 6381264131323064521674501490542677548698705121\ 688593015878901856020527/374553327342053599411919759921280060477627\ 071852331961718806729130566*c_0101_6^3 - 1115547988572002385509169213840413641674730606090431445846955342927\ 175/374553327342053599411919759921280060477627071852331961718806729\ 130566*c_0101_6^2 - 48091742326939586595293371152585697362967182424\ 3144970646847408239747/74910665468410719882383951984256012095525414\ 3704663923437613458261132*c_0101_6 + 1213004860504206276814109277954106804223112658287235114740148226595\ 87/7491066546841071988238395198425601209552541437046639234376134582\ 61132, c_0101_0 - 105861503060894134745474708694496218750913529277706865912987\ 07746345/1872766636710267997059598799606400302388135359261659808594\ 03364565283*c_0101_6^26 - 55142295437555855393847648527013678617931\ 0047043661067075121315722955/74910665468410719882383951984256012095\ 5254143704663923437613458261132*c_0101_6^25 + 2369216390847663320892826739590332099034046570897418630935272992619\ 08/1872766636710267997059598799606400302388135359261659808594033645\ 65283*c_0101_6^24 + 12182783667254901335401878518280596466851274537\ 926130362138137667770941/374553327342053599411919759921280060477627\ 071852331961718806729130566*c_0101_6^23 + 1515645931821627109096353305930346308375704763839690207337890218686\ 0357/18727666367102679970595987996064003023881353592616598085940336\ 4565283*c_0101_6^22 - 491948393753209922089637148960423339051870371\ 33733347196311333376039831/7491066546841071988238395198425601209552\ 54143704663923437613458261132*c_0101_6^21 - 5815218278016398860031402559386031073045680032815782481922290572952\ 1677/37455332734205359941191975992128006047762707185233196171880672\ 9130566*c_0101_6^20 + 357239281534718820705286457475192865810563975\ 781641359943344039822523963/374553327342053599411919759921280060477\ 627071852331961718806729130566*c_0101_6^19 + 1881716656185200498219185205105988119204747598421288028784298627525\ 80919/1872766636710267997059598799606400302388135359261659808594033\ 64565283*c_0101_6^18 - 22923557863553216874410084168799005939401615\ 11916936079167594103822437459/7491066546841071988238395198425601209\ 55254143704663923437613458261132*c_0101_6^17 - 6980694238894989169956367733188263684978792435861567242901936752928\ 2139/74910665468410719882383951984256012095525414370466392343761345\ 8261132*c_0101_6^16 + 760857288269170318279639999270788158983803927\ 4426878376439791454420238129/74910665468410719882383951984256012095\ 5254143704663923437613458261132*c_0101_6^15 - 4335729496758083504783606913904807101114617387710171593301272538351\ 01096/1872766636710267997059598799606400302388135359261659808594033\ 64565283*c_0101_6^14 - 12030044179404859329323315756873445431412210\ 503232424693841909422226074733/749106654684107198823839519842560120\ 955254143704663923437613458261132*c_0101_6^13 + 4122344432303125796420218379860644988597099778543928285598051584941\ 194889/749106654684107198823839519842560120955254143704663923437613\ 458261132*c_0101_6^12 + 1976626074810481263108196756608069010983537\ 383625590365663674124040755468/187276663671026799705959879960640030\ 238813535926165980859403364565283*c_0101_6^11 - 3467210255592114103935603043624409154066579840883744983696064528396\ 049231/749106654684107198823839519842560120955254143704663923437613\ 458261132*c_0101_6^10 - 1761092393285782856285316451807142927316649\ 513109534482507903472194708765/749106654684107198823839519842560120\ 955254143704663923437613458261132*c_0101_6^9 - 6952058241558768044901289245413175849378210320000768894086794660999\ 40021/7491066546841071988238395198425601209552541437046639234376134\ 58261132*c_0101_6^8 + 171254367457287074310099150882106844350489295\ 365033855425155883217094653/187276663671026799705959879960640030238\ 813535926165980859403364565283*c_0101_6^7 + 1111519631603039832298576080624803676687876821574397696224206140212\ 734261/749106654684107198823839519842560120955254143704663923437613\ 458261132*c_0101_6^6 - 39632458184882583967004542985175590037837417\ 2467875476797515061849195739/74910665468410719882383951984256012095\ 5254143704663923437613458261132*c_0101_6^5 - 3397897988508318088367952637397249034109509370501046021303468958024\ 1574/18727666367102679970595987996064003023881353592616598085940336\ 4565283*c_0101_6^4 + 2040391808415301474563050964225325913164867533\ 9182074640827528397749945/37455332734205359941191975992128006047762\ 7071852331961718806729130566*c_0101_6^3 - 1637868406393935480657675343546771357828798389082832097657848867556\ 571/187276663671026799705959879960640030238813535926165980859403364\ 565283*c_0101_6^2 + 17978915989833688408977522395535031016072153228\ 83084763566412727979933/7491066546841071988238395198425601209552541\ 43704663923437613458261132*c_0101_6 - 5731919382986502462035025889253280115327211581066156299663050133627\ 5/74910665468410719882383951984256012095525414370466392343761345826\ 1132, c_0101_1 + 588691749112101133143000650855450347289947478872823774941147\ 49468153/7491066546841071988238395198425601209552541437046639234376\ 13458261132*c_0101_6^26 + 36418393377665428907832627771034266912990\ 4344029943709105660374629521/37455332734205359941191975992128006047\ 7627071852331961718806729130566*c_0101_6^25 - 4470736915029104467605865212718449608390884695700350839651231139802\ 71/1872766636710267997059598799606400302388135359261659808594033645\ 65283*c_0101_6^24 - 16341313351574180977001609125539702627884787226\ 947618764691319829808235/374553327342053599411919759921280060477627\ 071852331961718806729130566*c_0101_6^23 - 6312243939471459469597666603877015221290612538279276187170170671717\ 1297/74910665468410719882383951984256012095525414370466392343761345\ 8261132*c_0101_6^22 + 540380569774114860180172122465617687555690389\ 24534129048230532504840601/3745533273420535994119197599212800604776\ 27071852331961718806729130566*c_0101_6^21 + 4440306223803995652238586561785915941745376001114510747809822561958\ 2105/37455332734205359941191975992128006047762707185233196171880672\ 9130566*c_0101_6^20 - 261771168363334943353308716585168500768731258\ 195906716727983510216639095/187276663671026799705959879960640030238\ 813535926165980859403364565283*c_0101_6^19 - 3629300854844857976455579120928941095446651504376919419383634742221\ 67887/7491066546841071988238395198425601209552541437046639234376134\ 58261132*c_0101_6^18 + 33808014195699094910298536636241980711665833\ 75065255980781645644556765051/7491066546841071988238395198425601209\ 55254143704663923437613458261132*c_0101_6^17 - 2116490323989636088130959151741927675925275619378979420742725133137\ 825547/749106654684107198823839519842560120955254143704663923437613\ 458261132*c_0101_6^16 - 4536897635681139262629853509344682169962323\ 403975904477355185494005027723/374553327342053599411919759921280060\ 477627071852331961718806729130566*c_0101_6^15 + 8221888544815801829035336517696004362210679831206887411876118465838\ 856145/749106654684107198823839519842560120955254143704663923437613\ 458261132*c_0101_6^14 + 1102594920817126494320352408560942230110064\ 7218609108139866534357096061441/74910665468410719882383951984256012\ 0955254143704663923437613458261132*c_0101_6^13 - 6292761059198270175496955601092935905682568265346799394033274484937\ 053207/374553327342053599411919759921280060477627071852331961718806\ 729130566*c_0101_6^12 - 2409865689380943898982533447998926110068003\ 607428408376793171446839242473/749106654684107198823839519842560120\ 955254143704663923437613458261132*c_0101_6^11 + 5900591514041934895278591708962352734490130335071132376347248260643\ 302211/749106654684107198823839519842560120955254143704663923437613\ 458261132*c_0101_6^10 - 1420964984346880945682711884513741196189458\ 987192184860589836726531446311/749106654684107198823839519842560120\ 955254143704663923437613458261132*c_0101_6^9 + 5318700987447112197890736291777842742769516851683429199816565085529\ 07473/1872766636710267997059598799606400302388135359261659808594033\ 64565283*c_0101_6^8 - 243726358623305287524866187665356862949670796\ 3126026756972338139119893035/74910665468410719882383951984256012095\ 5254143704663923437613458261132*c_0101_6^7 + 1264453536246927705971404577749553008031182488932166656011064940962\ 88195/7491066546841071988238395198425601209552541437046639234376134\ 58261132*c_0101_6^6 + 969306287099881639630870093365958608625086054\ 40886648479829365038062714/1872766636710267997059598799606400302388\ 13535926165980859403364565283*c_0101_6^5 - 2793784582738876946105573910359302497389561904112390040698971442914\ 3021/37455332734205359941191975992128006047762707185233196171880672\ 9130566*c_0101_6^4 + 1906672751181558047941847367330313862680458825\ 5458829617935896809601/18727666367102679970595987996064003023881353\ 5926165980859403364565283*c_0101_6^3 - 4085724291750874944233994453249889473833847646099108940660963589284\ 111/749106654684107198823839519842560120955254143704663923437613458\ 261132*c_0101_6^2 + 57515691732375082139786084170371616928195209141\ 7028966985921411287587/74910665468410719882383951984256012095525414\ 3704663923437613458261132*c_0101_6 + 8768179135433863845682782411620007841542333610893199015812410420155\ 3/18727666367102679970595987996064003023881353592616598085940336456\ 5283, c_0101_5 + 736138962816028003584525952260960615132688522276224913226940\ 49922469/1498213309368214397647679039685120241910508287409327846875\ 226916522264*c_0101_6^26 + 9271533451458492508568886030531343711279\ 23378200626324372890125693099/1498213309368214397647679039685120241\ 910508287409327846875226916522264*c_0101_6^25 - 1018478824611458912615877063221247169515817028494008819015087237913\ 055/749106654684107198823839519842560120955254143704663923437613458\ 261132*c_0101_6^24 - 2070206209885563852009731647805649338536136380\ 1700422657618432149750757/74910665468410719882383951984256012095525\ 4143704663923437613458261132*c_0101_6^23 - 8792332225659754786449426673441053791302771671894522281692524138386\ 1603/14982133093682143976476790396851202419105082874093278468752269\ 16522264*c_0101_6^22 + 11934490976405255921728197735841908087802176\ 4095559894706831776907752785/14982133093682143976476790396851202419\ 10508287409327846875226916522264*c_0101_6^21 + 3616243088277747583537019088653968923468127390182658446300431968300\ 2005/37455332734205359941191975992128006047762707185233196171880672\ 9130566*c_0101_6^20 - 644939098511448526897451905106455868322251001\ 498460007876028129965483159/749106654684107198823839519842560120955\ 254143704663923437613458261132*c_0101_6^19 - 7501959795806085738301358632006347188179388834925589273558424674778\ 10503/1498213309368214397647679039685120241910508287409327846875226\ 916522264*c_0101_6^18 + 1045331737984253618763537893719413917782832\ 743879273492813210628414493585/374553327342053599411919759921280060\ 477627071852331961718806729130566*c_0101_6^17 - 4200697408437384484701381684029605648357880797581222064448758493340\ 76477/3745533273420535994119197599212800604776270718523319617188067\ 29130566*c_0101_6^16 - 12109992514577873077703253602362117860899489\ 646155628902918233016680724533/149821330936821439764767903968512024\ 1910508287409327846875226916522264*c_0101_6^15 + 7847097494257957727265827936396682056935313451072065335010840616850\ 446131/149821330936821439764767903968512024191050828740932784687522\ 6916522264*c_0101_6^14 + 828359667397499168466719686715723688808615\ 3542062045580308660559067192865/74910665468410719882383951984256012\ 0955254143704663923437613458261132*c_0101_6^13 - 1304222122240316191704436807975960877363907412174552983037171386350\ 1813193/14982133093682143976476790396851202419105082874093278468752\ 26916522264*c_0101_6^12 - 71530765036395052900060194043759595292332\ 94905134730078263658767774741427/1498213309368214397647679039685120\ 241910508287409327846875226916522264*c_0101_6^11 + 3649942712868545482048009408485089642320573295240143729975934324464\ 054061/749106654684107198823839519842560120955254143704663923437613\ 458261132*c_0101_6^10 + 1970206107845458451533049583868977159344895\ 6522698452450363681036965059/37455332734205359941191975992128006047\ 7627071852331961718806729130566*c_0101_6^9 + 1958188965811162490091300068237412551968715725603560168620345027260\ 150753/149821330936821439764767903968512024191050828740932784687522\ 6916522264*c_0101_6^8 - 2415332149963319133843938596898975949153924\ 703850448828631070085539732779/149821330936821439764767903968512024\ 1910508287409327846875226916522264*c_0101_6^7 - 1548285847072208828946526242545039103879705856254675116070083694421\ 84337/3745533273420535994119197599212800604776270718523319617188067\ 29130566*c_0101_6^6 + 630861189847460665210146461365122604757981185\ 813092743234555194247848567/149821330936821439764767903968512024191\ 0508287409327846875226916522264*c_0101_6^5 + 2681122285332297678056713381105851296926998592771118894398662826605\ 2677/74910665468410719882383951984256012095525414370466392343761345\ 8261132*c_0101_6^4 - 2184990591366577239200103800269876312051291537\ 4785851018374760104992105/74910665468410719882383951984256012095525\ 4143704663923437613458261132*c_0101_6^3 - 2117412340661033933561834001763222311526847167683200186713590352981\ 859/149821330936821439764767903968512024191050828740932784687522691\ 6522264*c_0101_6^2 - 2246026631685126904885113069101098419963763739\ 13561916969649534194781/3745533273420535994119197599212800604776270\ 71852331961718806729130566*c_0101_6 + 2695747862722229056028861693504656986678290166343353439653126523560\ 23/1498213309368214397647679039685120241910508287409327846875226916\ 522264, c_0101_6^27 + 12*c_0101_6^26 - 35*c_0101_6^25 - 544*c_0101_6^24 - 865*c_0101_6^23 + 2242*c_0101_6^22 + 837*c_0101_6^21 - 18370*c_0101_6^20 + 447*c_0101_6^19 + 59933*c_0101_6^18 - 57288*c_0101_6^17 - 141389*c_0101_6^16 + 197538*c_0101_6^15 + 136949*c_0101_6^14 - 285187*c_0101_6^13 + 36800*c_0101_6^12 + 117679*c_0101_6^11 - 61370*c_0101_6^10 + 44465*c_0101_6^9 - 54558*c_0101_6^8 + 16929*c_0101_6^7 + 6375*c_0101_6^6 - 3527*c_0101_6^5 + 392*c_0101_6^4 - 65*c_0101_6^3 + 25*c_0101_6^2 - c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB