Magma V2.19-8 Tue Aug 20 2013 16:16:09 on localhost [Seed = 2311591241] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0408 geometric_solution 4.46826737 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2310 0132 0132 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 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.745689363128 1.683621275813 0 4 4 0 0132 0132 3201 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.194746081203 0.194050357414 3 5 3 0 1302 0132 1230 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 0 1 -1 0 0 1 -1 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.622157497955 0.573031629376 5 2 0 2 3201 2031 0132 3012 0 0 0 0 0 0 0 0 0 0 1 -1 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 1 -1 0 0 1 -1 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.622157497955 0.573031629376 1 1 6 6 2310 0132 0132 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 6.580103409831 2.886256191245 5 2 5 3 2031 0132 1302 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.409339269868 0.635387515994 4 6 6 4 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.116044178013 0.045373861421 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0110_3'], 'c_1100_3' : d['c_0110_3'], 'c_1100_2' : d['c_0110_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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_1']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0110_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0110_3']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_6, c_0101_0, c_0101_1, c_0101_4, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 73395068815778766235416884220824019980342817332579283/1647946212166\ 1079494425319344808995656269384153182*c_0110_3^23 + 244379142870873991675950395554523203355466581302364642/823973106083\ 0539747212659672404497828134692076591*c_0110_3^22 - 972501970322756310498731916802928437158471586521120513/164794621216\ 61079494425319344808995656269384153182*c_0110_3^21 - 3920961710729656946551215120411198183261739193276017354/82397310608\ 30539747212659672404497828134692076591*c_0110_3^20 - 4586192855289341953403174857976559827205685479909335742/82397310608\ 30539747212659672404497828134692076591*c_0110_3^19 + 13697462541163613346068702984060642707658964714137170695/1647946212\ 1661079494425319344808995656269384153182*c_0110_3^18 + 34316823076207020153837861173706460778161007280927566217/1647946212\ 1661079494425319344808995656269384153182*c_0110_3^17 + 18846424243899747881014024162791058166640941324658791193/1647946212\ 1661079494425319344808995656269384153182*c_0110_3^16 + 5578802606690359890086584275674104231546011816943517014/82397310608\ 30539747212659672404497828134692076591*c_0110_3^15 + 9986616551074070181222058598766356326799891043588404873/16479462121\ 661079494425319344808995656269384153182*c_0110_3^14 - 12028035229350913010693758753251256400812909777001945378/8239731060\ 830539747212659672404497828134692076591*c_0110_3^13 - 19743934348369249131142965706534619078228844151799985393/8239731060\ 830539747212659672404497828134692076591*c_0110_3^12 - 54909143013216962559601381844654566507144325286568010319/1647946212\ 1661079494425319344808995656269384153182*c_0110_3^11 - 32811636750616465188431341140072885904304977655993397854/8239731060\ 830539747212659672404497828134692076591*c_0110_3^10 - 11911265656921390150543473121298445479061500763607278152/8239731060\ 830539747212659672404497828134692076591*c_0110_3^9 + 1547291982071563868652291795997350302629522732720380128/82397310608\ 30539747212659672404497828134692076591*c_0110_3^8 + 10762135324743175945822179231573830958347776410210428253/1647946212\ 1661079494425319344808995656269384153182*c_0110_3^7 + 12292489986840428722415453344063909480834321196193934073/1647946212\ 1661079494425319344808995656269384153182*c_0110_3^6 - 152045872635241718805797598702554249840467154031793063/823973106083\ 0539747212659672404497828134692076591*c_0110_3^5 - 749440814946173420442466462886619225396896469366564062/823973106083\ 0539747212659672404497828134692076591*c_0110_3^4 + 502870487742910523726054977302358363118802102849315196/823973106083\ 0539747212659672404497828134692076591*c_0110_3^3 - 31167763880898262756653982794333469475625921147651217/8239731060830\ 539747212659672404497828134692076591*c_0110_3^2 - 149976310429327747982052034176483173521802855371884459/164794621216\ 61079494425319344808995656269384153182*c_0110_3 + 26840807272172774521692105877102606014510620517335575/1647946212166\ 1079494425319344808995656269384153182, c_0011_0 - 1, c_0011_2 + 323359994187589472283170588999712120494107803260484/82397310\ 60830539747212659672404497828134692076591*c_0110_3^23 + 2161215150897042896349585267167189286387143475155036/82397310608305\ 39747212659672404497828134692076591*c_0110_3^22 - 4241225475725113346777240874079224239084465772428313/82397310608305\ 39747212659672404497828134692076591*c_0110_3^21 - 34711276937590615266241440140166524580788996221018367/8239731060830\ 539747212659672404497828134692076591*c_0110_3^20 - 41115738234030016395544027512505726139841476932539280/8239731060830\ 539747212659672404497828134692076591*c_0110_3^19 + 60283472309320078796037617414561406122836400710896161/8239731060830\ 539747212659672404497828134692076591*c_0110_3^18 + 153523462939672251654241539561692659914038903481477746/823973106083\ 0539747212659672404497828134692076591*c_0110_3^17 + 84846218243103108275621781688797463270825977076191933/8239731060830\ 539747212659672404497828134692076591*c_0110_3^16 + 47599365159334108594375062240444399175234862551237004/8239731060830\ 539747212659672404497828134692076591*c_0110_3^15 + 43802669594657295168899095197280381946140686032081922/8239731060830\ 539747212659672404497828134692076591*c_0110_3^14 - 106189411529732743327744216842091435775518977982205132/823973106083\ 0539747212659672404497828134692076591*c_0110_3^13 - 177558035737541447032090731846563933853049633963180186/823973106083\ 0539747212659672404497828134692076591*c_0110_3^12 - 243033380162829355191691934139917227687435978595081564/823973106083\ 0539747212659672404497828134692076591*c_0110_3^11 - 291192990452839441283202177264834896517509581855779689/823973106083\ 0539747212659672404497828134692076591*c_0110_3^10 - 106125556002207716896351416288314536818793562798425121/823973106083\ 0539747212659672404497828134692076591*c_0110_3^9 + 17733637818043001183889943654014097896047639755478983/8239731060830\ 539747212659672404497828134692076591*c_0110_3^8 + 49232371083942724445563566145794375149246092061083291/8239731060830\ 539747212659672404497828134692076591*c_0110_3^7 + 55139366077086194282221506705736781847113367596909505/8239731060830\ 539747212659672404497828134692076591*c_0110_3^6 - 1069124625694927700423193055182159031831189833350171/82397310608305\ 39747212659672404497828134692076591*c_0110_3^5 - 7795826394375049571764258500000099951322425031562575/82397310608305\ 39747212659672404497828134692076591*c_0110_3^4 + 4589403305284236212058743827609642452348385039114571/82397310608305\ 39747212659672404497828134692076591*c_0110_3^3 - 181410209458200780927184059128152985969286666174277/823973106083053\ 9747212659672404497828134692076591*c_0110_3^2 - 765247714976142555775064845819136623313582966327963/823973106083053\ 9747212659672404497828134692076591*c_0110_3 + 139820343847253440930221499476990841211706488907689/823973106083053\ 9747212659672404497828134692076591, c_0011_6 - 229268934697660635238170948696216263286069158684/35685279605\ 15608379044027575749024611578472099*c_0110_3^23 - 1498443641351214129851572520751875232559276082177/35685279605156083\ 79044027575749024611578472099*c_0110_3^22 + 3212769455224494149832021495951913214786967782253/35685279605156083\ 79044027575749024611578472099*c_0110_3^21 + 24036360615110864453428197726918279939123910007639/3568527960515608\ 379044027575749024611578472099*c_0110_3^20 + 25848411349226721104122735602201579865655046775633/3568527960515608\ 379044027575749024611578472099*c_0110_3^19 - 44969868104188992443718187757604517896559827909166/3568527960515608\ 379044027575749024611578472099*c_0110_3^18 - 100849501015373405667688169507339875049565745115528/356852796051560\ 8379044027575749024611578472099*c_0110_3^17 - 48690469348308342337167152498312963218913780251420/3568527960515608\ 379044027575749024611578472099*c_0110_3^16 - 32514547496954782352880987204916963299619021675611/3568527960515608\ 379044027575749024611578472099*c_0110_3^15 - 28054227108950183136092174282670828494880858986721/3568527960515608\ 379044027575749024611578472099*c_0110_3^14 + 77453175543458095781157545247615569302922920455171/3568527960515608\ 379044027575749024611578472099*c_0110_3^13 + 112937616346366959722886645069093554104809931284940/356852796051560\ 8379044027575749024611578472099*c_0110_3^12 + 161304491020308224631100405390755098173487105139988/356852796051560\ 8379044027575749024611578472099*c_0110_3^11 + 188747226921080508219939659478448053026359501596742/356852796051560\ 8379044027575749024611578472099*c_0110_3^10 + 56984819542757639950462025032644988771769209137196/3568527960515608\ 379044027575749024611578472099*c_0110_3^9 - 10371148816161104722245604288466995057826012104912/3568527960515608\ 379044027575749024611578472099*c_0110_3^8 - 32009756486884627685501373031470301285677931040940/3568527960515608\ 379044027575749024611578472099*c_0110_3^7 - 34968535009234735445381504556312489717991016352679/3568527960515608\ 379044027575749024611578472099*c_0110_3^6 + 4058159116327410624542903114741672841797754935846/35685279605156083\ 79044027575749024611578472099*c_0110_3^5 + 3082524206220187997723586210307504663009859503689/35685279605156083\ 79044027575749024611578472099*c_0110_3^4 - 2933366051104742590853999082943754674895074658588/35685279605156083\ 79044027575749024611578472099*c_0110_3^3 + 490748480499330134349273543898490682772938113726/356852796051560837\ 9044027575749024611578472099*c_0110_3^2 + 305330829456259312758114454437940342950565393681/356852796051560837\ 9044027575749024611578472099*c_0110_3 - 67242039685911568996583560171726932474455163041/3568527960515608379\ 044027575749024611578472099, c_0101_0 - 235039173199172848634804322249203440560376505300/35685279605\ 15608379044027575749024611578472099*c_0110_3^23 - 1576475871924226131698859255650511551728726120144/35685279605156083\ 79044027575749024611578472099*c_0110_3^22 + 3044685417292592938674241926893415586582362619313/35685279605156083\ 79044027575749024611578472099*c_0110_3^21 + 25296492336318394729565462708716115834555253631637/3568527960515608\ 379044027575749024611578472099*c_0110_3^20 + 30490593043783691709542148588280595074563949501765/3568527960515608\ 379044027575749024611578472099*c_0110_3^19 - 43000813692074602395461109266606384316014418060215/3568527960515608\ 379044027575749024611578472099*c_0110_3^18 - 112439196659714985439749222389252013153024571818787/356852796051560\ 8379044027575749024611578472099*c_0110_3^17 - 64414192735703034412300715894546667421267053351177/3568527960515608\ 379044027575749024611578472099*c_0110_3^16 - 36631686779038272306997052425548188404163941756752/3568527960515608\ 379044027575749024611578472099*c_0110_3^15 - 33180275426453751143958765806369099343751858269362/3568527960515608\ 379044027575749024611578472099*c_0110_3^14 + 76160345211453844246861989356639536669669383467952/3568527960515608\ 379044027575749024611578472099*c_0110_3^13 + 130633678153401896896979433549193699823384778944842/356852796051560\ 8379044027575749024611578472099*c_0110_3^12 + 179909962693208473619367825858029453612435377509856/356852796051560\ 8379044027575749024611578472099*c_0110_3^11 + 216576550646532035920165640496708946611403232897289/356852796051560\ 8379044027575749024611578472099*c_0110_3^10 + 83151424625544967403665054777571611526975217160361/3568527960515608\ 379044027575749024611578472099*c_0110_3^9 - 9751661423583156778381607853840161728194317732112/35685279605156083\ 79044027575749024611578472099*c_0110_3^8 - 35212305937949547077115366850518111205082900937217/3568527960515608\ 379044027575749024611578472099*c_0110_3^7 - 40779630898031736939151716499833159545871902668112/3568527960515608\ 379044027575749024611578472099*c_0110_3^6 - 275249181556048617904212645278468698448466868515/356852796051560837\ 9044027575749024611578472099*c_0110_3^5 + 5464218280627654879467818482523447973816157455376/35685279605156083\ 79044027575749024611578472099*c_0110_3^4 - 3286767954183704718306617162299877707132659250023/35685279605156083\ 79044027575749024611578472099*c_0110_3^3 + 85094421834386071470223177074077861282534477755/3568527960515608379\ 044027575749024611578472099*c_0110_3^2 + 545867990412744690119800885519154791263671062385/356852796051560837\ 9044027575749024611578472099*c_0110_3 - 96026134064037881531752985794686721631921641062/3568527960515608379\ 044027575749024611578472099, c_0101_1 + 139047742006673738480241411469323612881091234822144/82397310\ 60830539747212659672404497828134692076591*c_0110_3^23 + 942016735465342633510122251356659333820781875715566/823973106083053\ 9747212659672404497828134692076591*c_0110_3^22 - 1739101170996101991247897734990250516610628805345852/82397310608305\ 39747212659672404497828134692076591*c_0110_3^21 - 15090563170517283996405433898796441802027361488568364/8239731060830\ 539747212659672404497828134692076591*c_0110_3^20 - 19026337662786245491824517947279893490412204084218789/8239731060830\ 539747212659672404497828134692076591*c_0110_3^19 + 24283702477718136213885874573561265331997151956575881/8239731060830\ 539747212659672404497828134692076591*c_0110_3^18 + 68167092449043007542496266461291375823649285662891498/8239731060830\ 539747212659672404497828134692076591*c_0110_3^17 + 42281164397473749499173726035046658882062478087190391/8239731060830\ 539747212659672404497828134692076591*c_0110_3^16 + 24192876756880398168660210479842256855439433245885621/8239731060830\ 539747212659672404497828134692076591*c_0110_3^15 + 21534368643607628410102687386019783764110976482712464/8239731060830\ 539747212659672404497828134692076591*c_0110_3^14 - 43561328448332418472308900604896258653009108192674613/8239731060830\ 539747212659672404497828134692076591*c_0110_3^13 - 80149154730381202112639668808853474868507674160612084/8239731060830\ 539747212659672404497828134692076591*c_0110_3^12 - 111192894504799098782648417110327474056133614358579077/823973106083\ 0539747212659672404497828134692076591*c_0110_3^11 - 135408780167674033339735079168958970124137047201577434/823973106083\ 0539747212659672404497828134692076591*c_0110_3^10 - 57926187723451552354715397722743839983592871294641378/8239731060830\ 539747212659672404497828134692076591*c_0110_3^9 + 2022840023832796066733217517857572952360620871577482/82397310608305\ 39747212659672404497828134692076591*c_0110_3^8 + 20232267745888755057222933202659404952563482301958522/8239731060830\ 539747212659672404497828134692076591*c_0110_3^7 + 25114244591830031507581253295811820956063926682382393/8239731060830\ 539747212659672404497828134692076591*c_0110_3^6 + 1623545308756269528737685292835131064091031032265748/82397310608305\ 39747212659672404497828134692076591*c_0110_3^5 - 3166901503078027060321024448673567452583355937476424/82397310608305\ 39747212659672404497828134692076591*c_0110_3^4 + 1917208023159519604769530095064527572814262573603249/82397310608305\ 39747212659672404497828134692076591*c_0110_3^3 + 70896204030846622875775049974213405764147401894820/8239731060830539\ 747212659672404497828134692076591*c_0110_3^2 - 335003997950934218159191741882460250389290445498395/823973106083053\ 9747212659672404497828134692076591*c_0110_3 + 48625752056032911014027740933125176127363828268245/8239731060830539\ 747212659672404497828134692076591, c_0101_4 - 376058614595001057185888552629273834335070384997/35685279605\ 15608379044027575749024611578472099*c_0110_3^23 - 2498416289513605592574540785166175252865200033836/35685279605156083\ 79044027575749024611578472099*c_0110_3^22 + 5019590189112875958288882014427096912146614589760/35685279605156083\ 79044027575749024611578472099*c_0110_3^21 + 40087707449835078133863646281437455258432077206594/3568527960515608\ 379044027575749024611578472099*c_0110_3^20 + 46406311537634991267743790532507513829239265567728/3568527960515608\ 379044027575749024611578472099*c_0110_3^19 - 70676490106185351245666008800854825587267414328095/3568527960515608\ 379044027575749024611578472099*c_0110_3^18 - 174528365605311871716326649219591782046961055260222/356852796051560\ 8379044027575749024611578472099*c_0110_3^17 - 94350842147210739115889385388552567097483506204468/3568527960515608\ 379044027575749024611578472099*c_0110_3^16 - 56592918020434063841834393601714139280630825869180/3568527960515608\ 379044027575749024611578472099*c_0110_3^15 - 50507503763898093220228599871245514222778405104154/3568527960515608\ 379044027575749024611578472099*c_0110_3^14 + 123847848178891930233535139543069093562491919177001/356852796051560\ 8379044027575749024611578472099*c_0110_3^13 + 200162338224727881216009944103339960079962275328633/356852796051560\ 8379044027575749024611578472099*c_0110_3^12 + 279079960023867969998005500882580944070558678503848/356852796051560\ 8379044027575749024611578472099*c_0110_3^11 + 332797877342647319752261080964382591147122160375834/356852796051560\ 8379044027575749024611578472099*c_0110_3^10 + 118155614392290060119302534489721003480684068249435/356852796051560\ 8379044027575749024611578472099*c_0110_3^9 - 16163851481054528433811237589143265184262693222640/3568527960515608\ 379044027575749024611578472099*c_0110_3^8 - 54845524857482850435670101834895252690709439810437/3568527960515608\ 379044027575749024611578472099*c_0110_3^7 - 62326965019022444207104563916692029256926191803693/3568527960515608\ 379044027575749024611578472099*c_0110_3^6 + 2265612129406836545167791949737221300694095120437/35685279605156083\ 79044027575749024611578472099*c_0110_3^5 + 7352399483591296296925309023948479781195286179191/35685279605156083\ 79044027575749024611578472099*c_0110_3^4 - 5097203315236350223643645617083542551984256510073/35685279605156083\ 79044027575749024611578472099*c_0110_3^3 + 392180706786088015763058165791329296864779144644/356852796051560837\ 9044027575749024611578472099*c_0110_3^2 + 733763233867223851990441892089061764498994212719/356852796051560837\ 9044027575749024611578472099*c_0110_3 - 136739771815690803940228587691294096811741227308/356852796051560837\ 9044027575749024611578472099, c_0110_3^24 + 71/11*c_0110_3^23 - 161/11*c_0110_3^22 - 1147/11*c_0110_3^21 - 1130/11*c_0110_3^20 + 2359/11*c_0110_3^19 + 4742/11*c_0110_3^18 + 156*c_0110_3^17 + 1005/11*c_0110_3^16 + 103*c_0110_3^15 - 3941/11*c_0110_3^14 - 5200/11*c_0110_3^13 - 6927/11*c_0110_3^12 - 8061/11*c_0110_3^11 - 1412/11*c_0110_3^10 + 1348/11*c_0110_3^9 + 1527/11*c_0110_3^8 + 1500/11*c_0110_3^7 - 453/11*c_0110_3^6 - 22*c_0110_3^5 + 210/11*c_0110_3^4 - 42/11*c_0110_3^3 - 23/11*c_0110_3^2 + 10/11*c_0110_3 - 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB