Magma V2.19-8 Tue Aug 20 2013 16:16:34 on localhost [Seed = 4206585382] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0859 geometric_solution 4.76980752 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2031 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 1 0 -1 0 0 0 0 2 -1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.606694079007 1.475772578422 0 4 3 4 0132 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.641391563613 0.477398785646 3 0 5 5 2031 0132 3201 0132 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 -1 0 1 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.936831285374 1.215250795352 1 0 2 0 2031 1302 1302 0132 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 0 0 0 0 0 0 0 -2 1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.761705313859 0.579647594329 6 1 6 1 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.791597027793 0.117151859674 2 5 2 5 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.090847215554 0.971438689384 4 4 6 6 0132 3201 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 0.620746673896 0.075210366509 ==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' : d['c_0101_4'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : d['c_0011_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_0, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 4726980043188069821936228811368389828636585/24399298137785059437051\ 9430417593317899*c_0101_6^27 - 418790050794804898989775447933216210\ 31869976/243992981377850594370519430417593317899*c_0101_6^26 - 71620637345588694739548505553780602360904085/2439929813778505943705\ 19430417593317899*c_0101_6^25 + 93073372360672916343496327100747467\ 9133694683/243992981377850594370519430417593317899*c_0101_6^24 - 265933988389966125673475055970382390094839554/243992981377850594370\ 519430417593317899*c_0101_6^23 - 6406549956893550243734750379551019\ 528118793882/243992981377850594370519430417593317899*c_0101_6^22 + 3074984920989294508615585456699934968975228698/24399298137785059437\ 0519430417593317899*c_0101_6^21 + 268357259218399762651188702090643\ 69859634677287/243992981377850594370519430417593317899*c_0101_6^20 - 10975128424364365112319979512353032220783927862/2439929813778505943\ 70519430417593317899*c_0101_6^19 - 78492996204251374379084518006831914027113297545/2439929813778505943\ 70519430417593317899*c_0101_6^18 + 24461754880297427220304832595481362323099064181/2439929813778505943\ 70519430417593317899*c_0101_6^17 + 161798849628743300506168515794657558700710493790/243992981377850594\ 370519430417593317899*c_0101_6^16 - 41937362340454981113073906902013194973758539288/2439929813778505943\ 70519430417593317899*c_0101_6^15 - 229072301668605456048907206578533380333799609936/243992981377850594\ 370519430417593317899*c_0101_6^14 + 55686307588376114792667499620539275305692223207/2439929813778505943\ 70519430417593317899*c_0101_6^13 + 217274338649894231939605720325471362984790954205/243992981377850594\ 370519430417593317899*c_0101_6^12 - 52428111801821483731733483393618299510288884230/2439929813778505943\ 70519430417593317899*c_0101_6^11 - 134773826903493824656098703012758670472281282480/243992981377850594\ 370519430417593317899*c_0101_6^10 + 32413269163451585722960992606114715737764427939/2439929813778505943\ 70519430417593317899*c_0101_6^9 + 526093283206045747761576610518421\ 46960224654110/243992981377850594370519430417593317899*c_0101_6^8 - 396744972548036847035341963208657004746260254/787074133476937401195\ 2239690890107029*c_0101_6^7 - 1194075166374792729058621465479590578\ 6418457839/243992981377850594370519430417593317899*c_0101_6^6 + 2555434612500372266287991537839484588812783635/24399298137785059437\ 0519430417593317899*c_0101_6^5 + 1299660014838497696365924808884838\ 734404156014/243992981377850594370519430417593317899*c_0101_6^4 - 208172826212368915763219373855028027191513552/243992981377850594370\ 519430417593317899*c_0101_6^3 - 29535076269924412168141123637866905\ 743286124/243992981377850594370519430417593317899*c_0101_6^2 - 4274535649969336263878403863432268329865423/24399298137785059437051\ 9430417593317899*c_0101_6 - 125660333657336015566441930827538257488\ 5532/243992981377850594370519430417593317899, c_0011_0 - 1, c_0011_3 - 1319683135824484833209554304726251186370/7870741334769374011\ 952239690890107029*c_0101_6^27 + 1412282897748163403170532950932618\ 3243222/7870741334769374011952239690890107029*c_0101_6^26 - 3320135121067565564766347374766382520810/78707413347693740119522396\ 90890107029*c_0101_6^25 - 27978624985368241165608288490900657453588\ 9/7870741334769374011952239690890107029*c_0101_6^24 + 568914183122825284395871890743028127765178/787074133476937401195223\ 9690890107029*c_0101_6^23 + 129223124761769554137163484027136991128\ 3090/7870741334769374011952239690890107029*c_0101_6^22 - 3821289215878227252201950610162374158145146/78707413347693740119522\ 39690890107029*c_0101_6^21 - 37297169426169195222643057046276487457\ 04041/7870741334769374011952239690890107029*c_0101_6^20 + 14315099832988605414727418218734290384594007/7870741334769374011952\ 239690890107029*c_0101_6^19 + 7914150884208647997360544810640456112\ 638894/7870741334769374011952239690890107029*c_0101_6^18 - 37765338296059844267322711474297919911922267/7870741334769374011952\ 239690890107029*c_0101_6^17 - 9527419054671993183048173189644700666\ 785164/7870741334769374011952239690890107029*c_0101_6^16 + 71120165961836228508185781439837093621509045/7870741334769374011952\ 239690890107029*c_0101_6^15 - 2056205867213329425872446647044955183\ 792287/7870741334769374011952239690890107029*c_0101_6^14 - 89520033314905102304077160553665771717534453/7870741334769374011952\ 239690890107029*c_0101_6^13 + 2377132203954349364857927675942590444\ 7137171/7870741334769374011952239690890107029*c_0101_6^12 + 70418105594777014736812022312432221710828084/7870741334769374011952\ 239690890107029*c_0101_6^11 - 3221966947188788712266467643068129011\ 5495367/7870741334769374011952239690890107029*c_0101_6^10 - 32111181332074508225005557792975306108723745/7870741334769374011952\ 239690890107029*c_0101_6^9 + 20532809012160092413376382508312933196\ 941082/7870741334769374011952239690890107029*c_0101_6^8 + 7207258215367833715504727171813170061050204/78707413347693740119522\ 39690890107029*c_0101_6^7 - 656589817306258427793801386245697079647\ 5130/7870741334769374011952239690890107029*c_0101_6^6 - 335974155482104346191456878388349403462582/787074133476937401195223\ 9690890107029*c_0101_6^5 + 8850597656772191745832166792993086627531\ 78/7870741334769374011952239690890107029*c_0101_6^4 - 86757937108891770247848210735684819713280/7870741334769374011952239\ 690890107029*c_0101_6^3 - 13684107738462642725718147754576819313172\ /7870741334769374011952239690890107029*c_0101_6^2 - 949752607469147127539815547761145407544/787074133476937401195223969\ 0890107029*c_0101_6 - 680880848594816295852284086715451818106/78707\ 41334769374011952239690890107029, c_0011_5 - 28649669445666547526347276751543563630920/787074133476937401\ 1952239690890107029*c_0101_6^27 + 260229951708196416147290347619771\ 840701722/7870741334769374011952239690890107029*c_0101_6^26 + 376125404808113589903339034310730200087573/787074133476937401195223\ 9690890107029*c_0101_6^25 - 572458813108101069768104542215098916333\ 0666/7870741334769374011952239690890107029*c_0101_6^24 + 2865189076137313884832625117642916270210966/78707413347693740119522\ 39690890107029*c_0101_6^23 + 38194921233905669118340458073144547728\ 641382/7870741334769374011952239690890107029*c_0101_6^22 - 26685668597207226896707904801328643131485040/7870741334769374011952\ 239690890107029*c_0101_6^21 - 1571465588466913664046747101539755282\ 44370667/7870741334769374011952239690890107029*c_0101_6^20 + 98476531792276206565210768948748720946175277/7870741334769374011952\ 239690890107029*c_0101_6^19 + 4565799912179612714765493411792342030\ 19048694/7870741334769374011952239690890107029*c_0101_6^18 - 237451918754743793920761825129641607332798352/787074133476937401195\ 2239690890107029*c_0101_6^17 - 936417079573674174451241022291268422\ 673663715/7870741334769374011952239690890107029*c_0101_6^16 + 427073585892792843551892132544398694047937787/787074133476937401195\ 2239690890107029*c_0101_6^15 + 131103975052731729031806499621343190\ 8602209408/7870741334769374011952239690890107029*c_0101_6^14 - 559453373050434837881820783031283327031152310/787074133476937401195\ 2239690890107029*c_0101_6^13 - 121939261951756522915665068913452807\ 8347697340/7870741334769374011952239690890107029*c_0101_6^12 + 498206739239537372569345702096317153165515473/787074133476937401195\ 2239690890107029*c_0101_6^11 + 736286700053076682926622080723639081\ 662327492/7870741334769374011952239690890107029*c_0101_6^10 - 284746628340208265180504187053566468145660507/787074133476937401195\ 2239690890107029*c_0101_6^9 - 2784842563617645231537510306606078991\ 05069507/7870741334769374011952239690890107029*c_0101_6^8 + 98127371506750012962732075159782249919831376/7870741334769374011952\ 239690890107029*c_0101_6^7 + 61295599620001547274059447802658049976\ 608951/7870741334769374011952239690890107029*c_0101_6^6 - 18111563228531388154126769994574638933092808/7870741334769374011952\ 239690890107029*c_0101_6^5 - 65884477593926102728018192992545400376\ 02811/7870741334769374011952239690890107029*c_0101_6^4 + 1255093433494912447798630429091633700813748/78707413347693740119522\ 39690890107029*c_0101_6^3 + 174543186368481047896277134739156010910\ 376/7870741334769374011952239690890107029*c_0101_6^2 + 26977924554407192587933947303509896179099/7870741334769374011952239\ 690890107029*c_0101_6 + 6958829051831444419979445476871553796009/78\ 70741334769374011952239690890107029, c_0101_0 + 1170187555384361430899195469131189926605/7870741334769374011\ 952239690890107029*c_0101_6^27 - 1194025988179772163824327302391172\ 7539348/7870741334769374011952239690890107029*c_0101_6^26 - 2748887049511565796336862725239631036329/78707413347693740119522396\ 90890107029*c_0101_6^25 + 24425141319553953373920402856759302272750\ 5/7870741334769374011952239690890107029*c_0101_6^24 - 384503965291954308651291931691397301938043/787074133476937401195223\ 9690890107029*c_0101_6^23 - 128522580920939471378098691138584669226\ 4318/7870741334769374011952239690890107029*c_0101_6^22 + 2687869840484222843104268694155363734781819/78707413347693740119522\ 39690890107029*c_0101_6^21 + 43413295616681602614024649272843915559\ 10038/7870741334769374011952239690890107029*c_0101_6^20 - 10082091769463895414520130672759756852228972/7870741334769374011952\ 239690890107029*c_0101_6^19 - 1090326441627276220014976102749646765\ 6739498/7870741334769374011952239690890107029*c_0101_6^18 + 26367435665707840605618317450976316008173360/7870741334769374011952\ 239690890107029*c_0101_6^17 + 1848281191679042669241969439662957331\ 1305008/7870741334769374011952239690890107029*c_0101_6^16 - 49491598932502846408088960060563055005825093/7870741334769374011952\ 239690890107029*c_0101_6^15 - 1691755231500891143256212240542917786\ 0242140/7870741334769374011952239690890107029*c_0101_6^14 + 62790623332767819461768759277752837186716635/7870741334769374011952\ 239690890107029*c_0101_6^13 + 2964942925212872311272849878037040312\ 907989/7870741334769374011952239690890107029*c_0101_6^12 - 50478866314786668255892735318761276178094802/7870741334769374011952\ 239690890107029*c_0101_6^11 + 8650687427957710769399602767168817209\ 466419/7870741334769374011952239690890107029*c_0101_6^10 + 24079611337850711934543176092601690034252128/7870741334769374011952\ 239690890107029*c_0101_6^9 - 81366864012052469657331553181134945853\ 24703/7870741334769374011952239690890107029*c_0101_6^8 - 6032953794437159327570107052346759836346536/78707413347693740119522\ 39690890107029*c_0101_6^7 + 297466099843234324578003659915806888399\ 3540/7870741334769374011952239690890107029*c_0101_6^6 + 528357502807980629164657979525149664959457/787074133476937401195223\ 9690890107029*c_0101_6^5 - 4202107489231397702304275441109526129134\ 37/7870741334769374011952239690890107029*c_0101_6^4 + 28507128553471515933404399874674963383238/7870741334769374011952239\ 690890107029*c_0101_6^3 + 4904890950361349513952183277910474412902/\ 7870741334769374011952239690890107029*c_0101_6^2 + 42671935420540809721788209264686511249/7870741334769374011952239690\ 890107029*c_0101_6 + 275871069270595137228222230249989326663/787074\ 1334769374011952239690890107029, c_0101_2 - 17600828390658463735945664076340273762630/787074133476937401\ 1952239690890107029*c_0101_6^27 + 153901493095451382085364084162991\ 381491678/7870741334769374011952239690890107029*c_0101_6^26 + 286905108751295708527186205857868330293745/787074133476937401195223\ 9690890107029*c_0101_6^25 - 345523393654002588706035550347709031267\ 2982/7870741334769374011952239690890107029*c_0101_6^24 + 565758746427079464467592390913958420087910/787074133476937401195223\ 9690890107029*c_0101_6^23 + 244080872557875676644492116134101506093\ 96914/7870741334769374011952239690890107029*c_0101_6^22 - 9015972344170651232896731163885612141272377/78707413347693740119522\ 39690890107029*c_0101_6^21 - 10397497791818443461398781341698241769\ 4463852/7870741334769374011952239690890107029*c_0101_6^20 + 31895696122259322224994985347891089079188623/7870741334769374011952\ 239690890107029*c_0101_6^19 + 3076118797995441137366792152579930260\ 15619507/7870741334769374011952239690890107029*c_0101_6^18 - 66645563071787329603594905108507032684230078/7870741334769374011952\ 239690890107029*c_0101_6^17 - 6424208023292896642627435251997665110\ 66042487/7870741334769374011952239690890107029*c_0101_6^16 + 109443784182092147585133530886618177495649166/787074133476937401195\ 2239690890107029*c_0101_6^15 + 927791145541561213954456100326594058\ 624507217/7870741334769374011952239690890107029*c_0101_6^14 - 150340824948176592484175306810000114234265862/787074133476937401195\ 2239690890107029*c_0101_6^13 - 904872444490889775381288403118380069\ 953328023/7870741334769374011952239690890107029*c_0101_6^12 + 154589917971122814645132992740206487260861308/787074133476937401195\ 2239690890107029*c_0101_6^11 + 580962394054431375104040733941039695\ 492484461/7870741334769374011952239690890107029*c_0101_6^10 - 106389910299869664671336472384993060235438302/787074133476937401195\ 2239690890107029*c_0101_6^9 - 2357267427280852358167710048565209594\ 62373948/7870741334769374011952239690890107029*c_0101_6^8 + 45131629259793729029589300043500980291838318/7870741334769374011952\ 239690890107029*c_0101_6^7 + 55667036449917484191735846286171045866\ 028680/7870741334769374011952239690890107029*c_0101_6^6 - 10502181964190189011171984426750787804994681/7870741334769374011952\ 239690890107029*c_0101_6^5 - 62635060375027882240851803307949832183\ 13564/7870741334769374011952239690890107029*c_0101_6^4 + 968901886727942036058737455961856676722256/787074133476937401195223\ 9690890107029*c_0101_6^3 + 1376473275514475472625001817248003300838\ 78/7870741334769374011952239690890107029*c_0101_6^2 + 18579086400055383462214383854728850001098/7870741334769374011952239\ 690890107029*c_0101_6 + 5913199631199873972216928929914183290539/78\ 70741334769374011952239690890107029, c_0101_4 - 995790127009114225547730263959463469095/78707413347693740119\ 52239690890107029*c_0101_6^27 + 10214398082815952439991652300530639\ 761752/7870741334769374011952239690890107029*c_0101_6^26 + 1814517641154655970652360762368415554748/78707413347693740119522396\ 90890107029*c_0101_6^25 - 20819768323323839236961642602759038893595\ 1/7870741334769374011952239690890107029*c_0101_6^24 + 338254919071761708956551478461233216583621/787074133476937401195223\ 9690890107029*c_0101_6^23 + 108072656382321060151810623796604526562\ 2751/7870741334769374011952239690890107029*c_0101_6^22 - 2351784947841289079150052348948156574103552/78707413347693740119522\ 39690890107029*c_0101_6^21 - 35981850622151743799665973552277071183\ 62235/7870741334769374011952239690890107029*c_0101_6^20 + 8819749684092976274132497256401512198710028/78707413347693740119522\ 39690890107029*c_0101_6^19 + 89164875354018540857095647281181381393\ 03507/7870741334769374011952239690890107029*c_0101_6^18 - 23092658593474148239990993090713641180040280/7870741334769374011952\ 239690890107029*c_0101_6^17 - 1479213249396705952860646781028901533\ 1423673/7870741334769374011952239690890107029*c_0101_6^16 + 43364272170881849924109279922546435197719879/7870741334769374011952\ 239690890107029*c_0101_6^15 + 1264494445712303641277058015174095067\ 4495447/7870741334769374011952239690890107029*c_0101_6^14 - 54958803310161088148080145300800044391023702/7870741334769374011952\ 239690890107029*c_0101_6^13 - 2715513015971726959803310476273465171\ 15820/7870741334769374011952239690890107029*c_0101_6^12 + 44054895190274250510569318143673672953397988/7870741334769374011952\ 239690890107029*c_0101_6^11 - 9232367907043647095605606167791410190\ 770125/7870741334769374011952239690890107029*c_0101_6^10 - 20891884887212539958243155020031396271201784/7870741334769374011952\ 239690890107029*c_0101_6^9 + 78740999821890962489133321485752574288\ 92844/7870741334769374011952239690890107029*c_0101_6^8 + 5163634065243510161310751342168177222353192/78707413347693740119522\ 39690890107029*c_0101_6^7 - 280167631112243701757793067753238981098\ 3620/7870741334769374011952239690890107029*c_0101_6^6 - 427023441025322059930851562128931744123991/787074133476937401195223\ 9690890107029*c_0101_6^5 + 3924679854389595735554443275019754751124\ 71/7870741334769374011952239690890107029*c_0101_6^4 - 28949874302208732811040581991811886714137/7870741334769374011952239\ 690890107029*c_0101_6^3 - 4854568850858435980027205084102106777903/\ 7870741334769374011952239690890107029*c_0101_6^2 - 111313348975827979248390168090707201812/787074133476937401195223969\ 0890107029*c_0101_6 - 264383701392492181256935417663528833447/78707\ 41334769374011952239690890107029, c_0101_6^28 - 48/5*c_0101_6^27 - 43/5*c_0101_6^26 + 1041/5*c_0101_6^25 - 202*c_0101_6^24 - 6577/5*c_0101_6^23 + 8281/5*c_0101_6^22 + 26027/5*c_0101_6^21 - 6541*c_0101_6^20 - 74613/5*c_0101_6^19 + 87642/5*c_0101_6^18 + 152477/5*c_0101_6^17 - 34366*c_0101_6^16 - 210381/5*c_0101_6^15 + 239699/5*c_0101_6^14 + 187307/5*c_0101_6^13 - 227374/5*c_0101_6^12 - 20449*c_0101_6^11 + 141252/5*c_0101_6^10 + 30502/5*c_0101_6^9 - 54904/5*c_0101_6^8 - 599*c_0101_6^7 + 12243/5*c_0101_6^6 - 649/5*c_0101_6^5 - 1261/5*c_0101_6^4 + 136/5*c_0101_6^3 + 19/5*c_0101_6^2 + 2/5*c_0101_6 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB