Magma V2.19-8 Tue Aug 20 2013 16:16:36 on localhost [Seed = 3616951052] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0893 geometric_solution 4.79170395 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 -1 0 1 -1 0 0 1 0 -1 0 1 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 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.803546614197 0.571786516320 0 0 3 2 0132 3201 0132 0132 0 0 0 0 0 -1 1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.163102203457 1.559243310882 4 3 1 3 0132 2031 0132 3012 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.664804522739 0.741793452029 2 4 2 1 1302 0132 1230 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.664804522739 0.741793452029 2 3 5 5 0132 0132 2310 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 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.450027832440 0.493398023893 6 4 4 6 0132 3201 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.248526732299 0.765207184744 5 5 6 6 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.265707766181 0.466987129319 ==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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_0'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_2']), '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_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), '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_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_0'], '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' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 234994314706381502502263908596232668961375572034074776453937/705606\ 161955820467202129661160820207499634044442070900256*c_0101_6^25 - 100721138360513685969873898708896079312812441657377153520907/882007\ 70244477558400266207645102525937454255555258862532*c_0101_6^24 + 4751417747491474713651494715286617643254806013212742912068793/35280\ 3080977910233601064830580410103749817022221035450128*c_0101_6^23 + 20685202476328903522550429924689985149802201943598149894059665/7056\ 06161955820467202129661160820207499634044442070900256*c_0101_6^22 - 41335674768460793470860614783395184734150939093203486308882285/1764\ 01540488955116800532415290205051874908511110517725064*c_0101_6^21 - 44029404524809434849976649129359196739574125107662373477784851/1764\ 01540488955116800532415290205051874908511110517725064*c_0101_6^20 + 805724543332842073618566993997917563575815880955403564315658823/352\ 803080977910233601064830580410103749817022221035450128*c_0101_6^19 - 164555150233672947458276439177943016762903607252051212456129731/352\ 803080977910233601064830580410103749817022221035450128*c_0101_6^18 - 3837962543155777743300043111559824651861703745076969282198063187/35\ 2803080977910233601064830580410103749817022221035450128*c_0101_6^17 + 650154648903718163907774997264844073013424030277934768949212791/4\ 4100385122238779200133103822551262968727127777629431266*c_0101_6^16 + 5105299386283706748662317551509901705180025613783504713063200735/\ 352803080977910233601064830580410103749817022221035450128*c_0101_6^\ 15 - 41100053622665281061136087625698463028634053359063975263350566\ 27/88200770244477558400266207645102525937454255555258862532*c_0101_\ 6^14 + 807142803418849903362489839747646330546189019745299175927033\ 6763/705606161955820467202129661160820207499634044442070900256*c_01\ 01_6^13 + 171099226446258353474412880142133092721040030617214138505\ 34033271/352803080977910233601064830580410103749817022221035450128*\ c_0101_6^12 - 17958496477055711609728994841889584600803051515465056\ 774304726165/705606161955820467202129661160820207499634044442070900\ 256*c_0101_6^11 - 8785367595878930408973064469342022254252404745778\ 479199544492307/352803080977910233601064830580410103749817022221035\ 450128*c_0101_6^10 + 4330940851124742487909405996246664103220432997\ 807522495192446631/352803080977910233601064830580410103749817022221\ 035450128*c_0101_6^9 + 68652272058847302018468493103420697468646898\ 25490973174637666443/7056061619558204672021296611608202074996340444\ 42070900256*c_0101_6^8 - 407113525171789676836800015576754270211720\ 585486546576872810081/176401540488955116800532415290205051874908511\ 110517725064*c_0101_6^7 - 52321795186279463379089280044364659906252\ 9788096005198454935919/17640154048895511680053241529020505187490851\ 1110517725064*c_0101_6^6 + 1285053445782791590225559466926172683557\ 44701866553355518123211/7056061619558204672021296611608202074996340\ 44442070900256*c_0101_6^5 + 386329590870396448083688028712374551140\ 87794555690949481323819/8820077024447755840026620764510252593745425\ 5555258862532*c_0101_6^4 + 1032631796265934710716565091725670623280\ 7334990533245610324045/70560616195582046720212966116082020749963404\ 4442070900256*c_0101_6^3 - 1411195141301187286941506607380064492020\ 3283157371770014880981/70560616195582046720212966116082020749963404\ 4442070900256*c_0101_6^2 - 3647283664907259355005655892887915329704\ 28758669614761065177/8820077024447755840026620764510252593745425555\ 5258862532*c_0101_6 + 216988814351637894116266931171871673084693246\ 616851106579475/705606161955820467202129661160820207499634044442070\ 900256, c_0011_0 - 1, c_0011_2 - 15024893996351280444575263631953510841716637209151096185/220\ 50192561119389600066551911275631484363563888814715633*c_0101_6^25 - 51933271904716316112766130304570581591297913014474569314/2205019256\ 1119389600066551911275631484363563888814715633*c_0101_6^24 + 607170641650791044732690343904533397326574867134478981174/220501925\ 61119389600066551911275631484363563888814715633*c_0101_6^23 + 1343312852861565582558818453205091982157849371259152161374/22050192\ 561119389600066551911275631484363563888814715633*c_0101_6^22 - 10573637498367442785032186054914357141231443127343837597843/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^21 - 11661460450307712866346007667630493280210746967907096574949/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^20 + 103370463480433892792413115448371720299549960128915032678884/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^19 - 17097184627939266343785912331159258973514727090342261180712/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^18 - 497664988414281902764759554306309025103679144771856548145748/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^17 + 649593936211849653342374667244223230841404425924104474740237/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^16 + 702948049636299098064508501482738670432804966359715501618449/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^15 - 2111705289305661616915688253071386998598670940926609810977917/22050\ 192561119389600066551911275631484363563888814715633*c_0101_6^14 + 399921064411395058765836000239832398559363130110657355141993/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^13 + 2311012299002415340547454042892831873784744724816701605547582/22050\ 192561119389600066551911275631484363563888814715633*c_0101_6^12 - 1064050777982917098280717966618138197054953257661135684703819/22050\ 192561119389600066551911275631484363563888814715633*c_0101_6^11 - 1286779418996918214150609388331542537220512525764128307285193/22050\ 192561119389600066551911275631484363563888814715633*c_0101_6^10 + 526950568541497604371353347816917055714387146529012336184886/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^9 + 530236634575963798902304797942792975345172722002803905088090/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^8 - 85092976146844335393293181624710737588538881738024732983058/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^7 - 162499498852674713541395844282908943859842940546679357962473/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^6 - 4216999497291544693915218734788416330839511426456560517182/22050192\ 561119389600066551911275631484363563888814715633*c_0101_6^5 + 24467428161206866692438297338300556849689927608550748138110/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^4 + 3742402293377343646296767306785574149432498298583619240962/22050192\ 561119389600066551911275631484363563888814715633*c_0101_6^3 - 830444634127288432450312447396371589015654292344758021353/220501925\ 61119389600066551911275631484363563888814715633*c_0101_6^2 - 421428985505886640824615551581213233367189889560061026070/220501925\ 61119389600066551911275631484363563888814715633*c_0101_6 - 43876118859257588654681400147189699492222154181043568356/2205019256\ 1119389600066551911275631484363563888814715633, c_0011_5 + 15740426638090467605086350550987974489742590729960807334/220\ 50192561119389600066551911275631484363563888814715633*c_0101_6^25 + 56353881725091856414593292006981703880053264711985022739/2205019256\ 1119389600066551911275631484363563888814715633*c_0101_6^24 - 628743262330078549581345786102996699020678814044402779960/220501925\ 61119389600066551911275631484363563888814715633*c_0101_6^23 - 1483427029430395055958531580189025227972888564818033390351/22050192\ 561119389600066551911275631484363563888814715633*c_0101_6^22 + 10880105888822938895611215011355329566051965193577224581042/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^21 + 13515724913534628745172697819012805613120752145166804200440/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^20 - 106399096911927229872808940098448696275173879757390216080649/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^19 + 5272089329331138479216407260758559620387506423222638363196/22050192\ 561119389600066551911275631484363563888814715633*c_0101_6^18 + 519853902390468846601264108200232627063606043272808490249415/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^17 - 618085633043594275755737474924631447779221150862806384137152/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^16 - 801211980974049971597177539150965184638378310867307848758602/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^15 + 2108570013034034769877763816996181053805896660766922045392883/22050\ 192561119389600066551911275631484363563888814715633*c_0101_6^14 - 185887298803803003320558328504587869786656206233355117467709/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^13 - 2412206413728753640350408105995020442949995041294150277752234/22050\ 192561119389600066551911275631484363563888814715633*c_0101_6^12 + 846231745805545373872257650501692238918499067402052214273842/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^11 + 1402308879151592775618139363062671147658783381150195960393962/22050\ 192561119389600066551911275631484363563888814715633*c_0101_6^10 - 398961486752658329594127427315102907556907134265514608415749/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^9 - 570328844449961673451098930624679939575016713294440993876397/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^8 + 32353688615489529921146094642674614473320570063872570934641/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^7 + 163254553342881381640034954838345303230755622710004369982609/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^6 + 17211577936157917259262821083847835956751637160297349529454/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^5 - 22365017441055090808935158703635607193124776528078264738268/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^4 - 4767014377293579592300974752065015607300943736257519581034/22050192\ 561119389600066551911275631484363563888814715633*c_0101_6^3 + 500026332738287646005296324919805742086845945441331652501/220501925\ 61119389600066551911275631484363563888814715633*c_0101_6^2 + 366929165681270626062516778268411663313956627129548670155/220501925\ 61119389600066551911275631484363563888814715633*c_0101_6 + 41423458376642340146376120030941473690169094285800901268/2205019256\ 1119389600066551911275631484363563888814715633, c_0101_0 - 18622020102502306984959256811254488169884814182554238983/220\ 50192561119389600066551911275631484363563888814715633*c_0101_6^25 - 66158417823523538988901064800046169954090996246604892883/2205019256\ 1119389600066551911275631484363563888814715633*c_0101_6^24 + 746092166397477221066052095768266141777032819982776757857/220501925\ 61119389600066551911275631484363563888814715633*c_0101_6^23 + 1736158156578171714893967615788893651131133229818218417405/22050192\ 561119389600066551911275631484363563888814715633*c_0101_6^22 - 12935987329654292966890860158980765830447640753858247835726/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^21 - 15680112961385457437551608574973090745455649801186621197218/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^20 + 126583491535592928756647035932152056469836909891288663892751/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^19 - 9259170674320183437813787843345697576173798468650815601487/22050192\ 561119389600066551911275631484363563888814715633*c_0101_6^18 - 617432015590917640488211013072548109831125918245123819037202/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^17 + 747448240768447182830891761084116102890367303184290776142292/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^16 + 940672302617842219049165295742228289396154901901339110029432/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^15 - 2532293599034941536269365375323897583032729723967163655326471/22050\ 192561119389600066551911275631484363563888814715633*c_0101_6^14 + 265631974866170390089242435572266995448508787486647118189823/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^13 + 2892351301003362933760299939794783938712647007464049615305220/22050\ 192561119389600066551911275631484363563888814715633*c_0101_6^12 - 1071855282271242036690519443015137706672234969428755091759656/22050\ 192561119389600066551911275631484363563888814715633*c_0101_6^11 - 1683835177604586167477011827228045485508393708888167125026995/22050\ 192561119389600066551911275631484363563888814715633*c_0101_6^10 + 520346502965781758696782060058111666742389617659435261880944/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^9 + 691831816639725413630930194114168187359178231596021572058789/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^8 - 54410153768594615093532201067439953548937819177440667737498/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^7 - 202721194421280449744086716111569817244155308304980351225930/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^6 - 18244047146498848551740288901824031178114509924187367505448/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^5 + 29041019874316223469728159272746292712897532566452442179125/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^4 + 5820836461025567890662000850216702110845138307274964311768/22050192\ 561119389600066551911275631484363563888814715633*c_0101_6^3 - 841995674376745629095414009993120270776166022410821183700/220501925\ 61119389600066551911275631484363563888814715633*c_0101_6^2 - 493348919883439921164415597115645037046411103166802688861/220501925\ 61119389600066551911275631484363563888814715633*c_0101_6 - 51000283250919771019888327478189715486579694463933366053/2205019256\ 1119389600066551911275631484363563888814715633, c_0101_1 + 6159235989820383887589422512233279695958808961338615745/2205\ 0192561119389600066551911275631484363563888814715633*c_0101_6^25 + 23659613801283951459619493720645342877951889844229062667/2205019256\ 1119389600066551911275631484363563888814715633*c_0101_6^24 - 240129095448396922680227226679061640910034773548043419620/220501925\ 61119389600066551911275631484363563888814715633*c_0101_6^23 - 644368783469837639582408864518365198882104463727977302832/220501925\ 61119389600066551911275631484363563888814715633*c_0101_6^22 + 4099783464127161713991467134169521947771213838092364172060/22050192\ 561119389600066551911275631484363563888814715633*c_0101_6^21 + 6394245501335409237930357354576398712009405067326228238042/22050192\ 561119389600066551911275631484363563888814715633*c_0101_6^20 - 40146585208447894730030655108028166321177442220262129859767/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^19 - 8815646345054295009904747478874128707068819763212972924969/22050192\ 561119389600066551911275631484363563888814715633*c_0101_6^18 + 202968417573227500828387402538282400572546194565193554453779/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^17 - 187451399132816392714361972539864029996793829092235707085428/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^16 - 373033296089525800574099441545532493499505386580008436772876/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^15 + 732271416728743574408104302002904359654366477183666066531643/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^14 + 146463662284144931899331170960388959045197013928465019603241/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^13 - 940937411974629266915122894727171959448072073702813139070257/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^12 + 54731750541585837660148282586678990535632171949759392487034/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^11 + 632435698019888040648633349033102296670736164235720853620847/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^10 + 17479138933938062931465313930869705586508223866440485962315/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^9 - 276104183688430023387852929237009809625718739015647920677460/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^8 - 57686313481005734787726115317642476806156256602406196671246/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^7 + 72696547881400460135971160996098278161914716712640473558620/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^6 + 27457414575275096589519444164693019105110626987534824593826/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^5 - 7899100694277653300668138090670112644860010633649795198452/22050192\ 561119389600066551911275631484363563888814715633*c_0101_6^4 - 5264741135618712433283959634213113200720314257585866563080/22050192\ 561119389600066551911275631484363563888814715633*c_0101_6^3 - 122172388954477431918973440156918564330624230116078090472/220501925\ 61119389600066551911275631484363563888814715633*c_0101_6^2 + 280978031282889253693067090884690450236481292826958185280/220501925\ 61119389600066551911275631484363563888814715633*c_0101_6 + 41379824169360182440100863356075811536926538766627726454/2205019256\ 1119389600066551911275631484363563888814715633, c_0101_4 - 2498495220411446124783334550810885625101573799886951531/2205\ 0192561119389600066551911275631484363563888814715633*c_0101_6^25 - 7445434510771671335284385388885908781110078893135675576/22050192561\ 119389600066551911275631484363563888814715633*c_0101_6^24 + 105712970104498543665720964625822632821045313661215050807/220501925\ 61119389600066551911275631484363563888814715633*c_0101_6^23 + 177843598896831019444152767687663287368371478439713372835/220501925\ 61119389600066551911275631484363563888814715633*c_0101_6^22 - 1888687483925814207486672836563160550497364911203839969542/22050192\ 561119389600066551911275631484363563888814715633*c_0101_6^21 - 1172881037502758602013201200326181787778212291935239919461/22050192\ 561119389600066551911275631484363563888814715633*c_0101_6^20 + 18515205659432208868477656414306180586285279752468809874704/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^19 - 10289615874397294337635854163587382180369586662202155803860/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^18 - 85316911721395389398416410096361344683544477677999045778145/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^17 + 145703302749670628743750991888164378767567447556195520668091/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^16 + 85588743101134964599758949408140134659137525347879732636042/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^15 - 421742427030771843015827953970935225166351992811271928570905/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^14 + 193432092625384126843125854353295851007769807124665193766771/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^13 + 418875302800460933612852354226001377700121831427421507472318/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^12 - 334350954346107519504920962441429503246499363622874750871335/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^11 - 218023971607631075093186596640952709454452998423545424087676/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^10 + 183554919482863321925774910366456944186840843427901941681498/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^9 + 101993543418801512872413075766034080320013654543948392972682/220501\ 92561119389600066551911275631484363563888814715633*c_0101_6^8 - 49251514435256779029538905051562529287433910644739251099103/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^7 - 39484249228951400063066663677240300947989436648157443930379/2205019\ 2561119389600066551911275631484363563888814715633*c_0101_6^6 + 5998014542641907116754732734274698162924673903754253732394/22050192\ 561119389600066551911275631484363563888814715633*c_0101_6^5 + 7751222593121715029344740181044485944086491869803939973197/22050192\ 561119389600066551911275631484363563888814715633*c_0101_6^4 + 424321453432493662496497472637867367086681176964429076270/220501925\ 61119389600066551911275631484363563888814715633*c_0101_6^3 - 508900186822345322250037432266308762713204252913830330433/220501925\ 61119389600066551911275631484363563888814715633*c_0101_6^2 - 99354686600193319346624839585511618068700892775306802416/2205019256\ 1119389600066551911275631484363563888814715633*c_0101_6 - 9730841017410075030323965227534736642456615147686576698/22050192561\ 119389600066551911275631484363563888814715633, c_0101_6^26 + 3*c_0101_6^25 - 42*c_0101_6^24 - 71*c_0101_6^23 + 745*c_0101_6^22 + 456*c_0101_6^21 - 7242*c_0101_6^20 + 4268*c_0101_6^19 + 32680*c_0101_6^18 - 58350*c_0101_6^17 - 27438*c_0101_6^16 + 162318*c_0101_6^15 - 90083*c_0101_6^14 - 143239*c_0101_6^13 + 140939*c_0101_6^12 + 55421*c_0101_6^11 - 74764*c_0101_6^10 - 20693*c_0101_6^9 + 22235*c_0101_6^8 + 8808*c_0101_6^7 - 4775*c_0101_6^6 - 1921*c_0101_6^5 + 507*c_0101_6^4 + 198*c_0101_6^3 - c_0101_6^2 - 11*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB