Magma V2.19-8 Tue Aug 20 2013 16:17:15 on localhost [Seed = 2084429986] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1483 geometric_solution 5.29707172 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 1 -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 1 0 -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.219455984114 0.982038498125 0 1 2 1 0132 2310 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.216733691744 0.969856575080 1 0 3 4 2310 0132 3201 3201 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 -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.219455984114 0.982038498125 2 5 5 0 2310 0132 3201 0132 0 0 0 0 0 0 1 -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 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.500335055280 0.178490018560 4 2 0 4 3012 2310 0132 1230 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 1 -1 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 1.336000749037 0.941230826018 3 3 6 6 2310 0132 0132 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.058145763822 1.863230211537 5 6 6 5 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.244776809370 0.272442447974 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : 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_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : negation(d['c_0101_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_6, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 69577647958565620962061872421316106415672699070470/7279694087876267\ 456604139848590160977430144331549*c_0101_5^23 + 586150809936790647207314850011593516248383687066931/727969408787626\ 7456604139848590160977430144331549*c_0101_5^22 + 234219776038288869407781364142924730139779061334918/727969408787626\ 7456604139848590160977430144331549*c_0101_5^21 - 6071783116142412683472707049372530467813046919423818/72796940878762\ 67456604139848590160977430144331549*c_0101_5^20 + 1100195707051775335477305765236110670723872037090878/72796940878762\ 67456604139848590160977430144331549*c_0101_5^19 + 52538589490196845678710648921123795223938138923073061/7279694087876\ 267456604139848590160977430144331549*c_0101_5^18 + 32930219486844672021004950121859656456378323497542367/7279694087876\ 267456604139848590160977430144331549*c_0101_5^17 - 157815838288243521816856706569650533593450799140499010/727969408787\ 6267456604139848590160977430144331549*c_0101_5^16 - 222717469291622401202023965213429073645219567671274948/727969408787\ 6267456604139848590160977430144331549*c_0101_5^15 + 270743444130899578851159360056770280672250838774579410/727969408787\ 6267456604139848590160977430144331549*c_0101_5^14 + 950178201487532308091886478875273193372370016616273401/727969408787\ 6267456604139848590160977430144331549*c_0101_5^13 + 108086356629479722741183425562680370062154972782537734/727969408787\ 6267456604139848590160977430144331549*c_0101_5^12 - 1723377226387536704426499151258579654479971807722987537/72796940878\ 76267456604139848590160977430144331549*c_0101_5^11 - 1400745731103505989619215194859210386905913809128595263/72796940878\ 76267456604139848590160977430144331549*c_0101_5^10 + 770149647190779482395479689598948272112126710126967576/727969408787\ 6267456604139848590160977430144331549*c_0101_5^9 + 1616911345295580350409760745930718188837058658356966932/72796940878\ 76267456604139848590160977430144331549*c_0101_5^8 + 340881112744649162395666710666601898257120540708252109/727969408787\ 6267456604139848590160977430144331549*c_0101_5^7 - 637685145302382364562864752180811750798205915212698583/727969408787\ 6267456604139848590160977430144331549*c_0101_5^6 - 345869727817066367689995010889599522717381798096920711/727969408787\ 6267456604139848590160977430144331549*c_0101_5^5 + 36250621952646468075573587537078805340700868839304838/7279694087876\ 267456604139848590160977430144331549*c_0101_5^4 + 65310945109857421994655139452125859713457993322977560/7279694087876\ 267456604139848590160977430144331549*c_0101_5^3 + 16758049323783709730614790039127853652434758761578707/7279694087876\ 267456604139848590160977430144331549*c_0101_5^2 + 3100975383655723131971236398356922183682286544799373/72796940878762\ 67456604139848590160977430144331549*c_0101_5 + 802431520426684300863824731847424669529859532430564/727969408787626\ 7456604139848590160977430144331549, c_0011_0 - 1, c_0011_3 - 1917625249611134943941966092782136285524572286397/7279694087\ 876267456604139848590160977430144331549*c_0101_5^23 - 15392897398554092155023512596228565066546803525904/7279694087876267\ 456604139848590160977430144331549*c_0101_5^22 - 506549197794587313288300045418083158947656640734/727969408787626745\ 6604139848590160977430144331549*c_0101_5^21 + 166155455972839705276323360170912202816641643618825/727969408787626\ 7456604139848590160977430144331549*c_0101_5^20 - 96731957664569168076621631508765390028179137376063/7279694087876267\ 456604139848590160977430144331549*c_0101_5^19 - 1394965118910170692966332610064244102355437682213859/72796940878762\ 67456604139848590160977430144331549*c_0101_5^18 - 357979398912599254216976322550944177957488195582110/727969408787626\ 7456604139848590160977430144331549*c_0101_5^17 + 4366397075262212344185508183918933618094359457447150/72796940878762\ 67456604139848590160977430144331549*c_0101_5^16 + 4341233821635517736807879864591612648828692391343564/72796940878762\ 67456604139848590160977430144331549*c_0101_5^15 - 8803743925291922418829884116559004045952707812284723/72796940878762\ 67456604139848590160977430144331549*c_0101_5^14 - 22213889370465026872637581723071122866915963763108581/7279694087876\ 267456604139848590160977430144331549*c_0101_5^13 + 5142880774633600797472656902057795402684254146432246/72796940878762\ 67456604139848590160977430144331549*c_0101_5^12 + 43299365218166951854571920970395180324346698957376927/7279694087876\ 267456604139848590160977430144331549*c_0101_5^11 + 21429402492353175777687722238490368786158756115948573/7279694087876\ 267456604139848590160977430144331549*c_0101_5^10 - 25714055227324484184001727437414392310593588074565604/7279694087876\ 267456604139848590160977430144331549*c_0101_5^9 - 31637789576589766156370811019226552778078496697133225/7279694087876\ 267456604139848590160977430144331549*c_0101_5^8 + 1095640878015512525998196046722896658980256089970259/72796940878762\ 67456604139848590160977430144331549*c_0101_5^7 + 13852777543037229934672990471849304393055405541352476/7279694087876\ 267456604139848590160977430144331549*c_0101_5^6 + 3766560372256929318250227664629273654164151515183467/72796940878762\ 67456604139848590160977430144331549*c_0101_5^5 - 1106917372933029898667801970993085717033952298743881/72796940878762\ 67456604139848590160977430144331549*c_0101_5^4 - 906326136479003309192505727975189068094144865755542/727969408787626\ 7456604139848590160977430144331549*c_0101_5^3 - 271335396569380864029185696053708932664847958288463/727969408787626\ 7456604139848590160977430144331549*c_0101_5^2 - 59100916367665455760771704111986396699576869739183/7279694087876267\ 456604139848590160977430144331549*c_0101_5 - 7966469013623761069215254449635409512637499867404/72796940878762674\ 56604139848590160977430144331549, c_0011_6 + 1216543757868545842260300176300788723567349686286/7279694087\ 876267456604139848590160977430144331549*c_0101_5^23 + 9855178485341307507830701331149294620136775076186/72796940878762674\ 56604139848590160977430144331549*c_0101_5^22 + 1018583551039485907915336381715651896671460036611/72796940878762674\ 56604139848590160977430144331549*c_0101_5^21 - 105602771397015655788037825375190768282409553180551/727969408787626\ 7456604139848590160977430144331549*c_0101_5^20 + 53408783125551498619365263881275573125002570149554/7279694087876267\ 456604139848590160977430144331549*c_0101_5^19 + 891662623375825452428603568751437356457074997393965/727969408787626\ 7456604139848590160977430144331549*c_0101_5^18 + 293013357593597375781455815550174782559481076993179/727969408787626\ 7456604139848590160977430144331549*c_0101_5^17 - 2772707875602633452175658304108949553612383131441530/72796940878762\ 67456604139848590160977430144331549*c_0101_5^16 - 2977426675449827049415978972459673845219755810667295/72796940878762\ 67456604139848590160977430144331549*c_0101_5^15 + 5437666755683208283298138561200842956801538652941385/72796940878762\ 67456604139848590160977430144331549*c_0101_5^14 + 14602849361101075471556843443720921651047789794781859/7279694087876\ 267456604139848590160977430144331549*c_0101_5^13 - 2301753744330700226699694095083650426621118595947875/72796940878762\ 67456604139848590160977430144331549*c_0101_5^12 - 28085381099925399705123547589239106630302074868208819/7279694087876\ 267456604139848590160977430144331549*c_0101_5^11 - 15754596735787856764981868500888985724112693076995734/7279694087876\ 267456604139848590160977430144331549*c_0101_5^10 + 15954141203096832990993199425800088897441188730709436/7279694087876\ 267456604139848590160977430144331549*c_0101_5^9 + 21908825866633215903262669908472390339623112004935570/7279694087876\ 267456604139848590160977430144331549*c_0101_5^8 + 580392907596249493955406138795450793064016770515314/727969408787626\ 7456604139848590160977430144331549*c_0101_5^7 - 9428671987783535099678695056341964533881278106464010/72796940878762\ 67456604139848590160977430144331549*c_0101_5^6 - 3214914387184126108816375365755441834897683062498481/72796940878762\ 67456604139848590160977430144331549*c_0101_5^5 + 742857411888202200109359506736575630058638621489207/727969408787626\ 7456604139848590160977430144331549*c_0101_5^4 + 724121160340673214980155986676740452862609582406640/727969408787626\ 7456604139848590160977430144331549*c_0101_5^3 + 202861976738868686949505054277448986486791458868802/727969408787626\ 7456604139848590160977430144331549*c_0101_5^2 + 41713141201760498709991361598399435050418185715133/7279694087876267\ 456604139848590160977430144331549*c_0101_5 + 5636768879549498776574684577617497524732090995683/72796940878762674\ 56604139848590160977430144331549, c_0101_0 - 1851767079335152636056443229488132986252887442144/7279694087\ 876267456604139848590160977430144331549*c_0101_5^23 - 14927093559137599718688951036249770303993917562244/7279694087876267\ 456604139848590160977430144331549*c_0101_5^22 - 900481239321853054633821741254041537206171030904/727969408787626745\ 6604139848590160977430144331549*c_0101_5^21 + 161195494563751267187991295220020816564082528641237/727969408787626\ 7456604139848590160977430144331549*c_0101_5^20 - 87793839842381594824274174219967296385984894799754/7279694087876267\ 456604139848590160977430144331549*c_0101_5^19 - 1358104188215039280229456794608193309093570135402257/72796940878762\ 67456604139848590160977430144331549*c_0101_5^18 - 387926720719029072785250141017176720365351183391153/727969408787626\ 7456604139848590160977430144331549*c_0101_5^17 + 4271404033501994025196559230588482420216868099693083/72796940878762\ 67456604139848590160977430144331549*c_0101_5^16 + 4363873775839824073078298461834498617839660363566339/72796940878762\ 67456604139848590160977430144331549*c_0101_5^15 - 8552194392103108672252719525531091355353343392716266/72796940878762\ 67456604139848590160977430144331549*c_0101_5^14 - 21972083367226547668247881437913596368706255842769030/7279694087876\ 267456604139848590160977430144331549*c_0101_5^13 + 4587562465935457547283678831814337685244722780698549/72796940878762\ 67456604139848590160977430144331549*c_0101_5^12 + 43057291081459797207052254417625928493623385572076396/7279694087876\ 267456604139848590160977430144331549*c_0101_5^11 + 22102572308935217251644856901932017423376787009687860/7279694087876\ 267456604139848590160977430144331549*c_0101_5^10 - 25986092004335670648779893437804617467775659831027811/7279694087876\ 267456604139848590160977430144331549*c_0101_5^9 - 32683020484562782692766731242743392695644413474309787/7279694087876\ 267456604139848590160977430144331549*c_0101_5^8 + 654198748962772390880255687932948463200946005412526/727969408787626\ 7456604139848590160977430144331549*c_0101_5^7 + 14686930202668417761810650609137636464602026832854318/7279694087876\ 267456604139848590160977430144331549*c_0101_5^6 + 4323893480139817575143223386696108131441375499125221/72796940878762\ 67456604139848590160977430144331549*c_0101_5^5 - 1292974990140712896399554074065329259031383217673276/72796940878762\ 67456604139848590160977430144331549*c_0101_5^4 - 1045219685305708973332957505924394263580613183145593/72796940878762\ 67456604139848590160977430144331549*c_0101_5^3 - 306904286718898254561469907365178777400766620778664/727969408787626\ 7456604139848590160977430144331549*c_0101_5^2 - 51154054045092359509217241286304812371037992841731/7279694087876267\ 456604139848590160977430144331549*c_0101_5 - 9384932310206180753803659012265526357080337308093/72796940878762674\ 56604139848590160977430144331549, c_0101_1 - 229321937206007214115301917823417118993909558716/72796940878\ 76267456604139848590160977430144331549*c_0101_5^23 - 2383272908418439232124479588142210432164503688544/72796940878762674\ 56604139848590160977430144331549*c_0101_5^22 - 4145439487303962228667127625452306554520266241751/72796940878762674\ 56604139848590160977430144331549*c_0101_5^21 + 21844848310440933089845414460546375393681480528635/7279694087876267\ 456604139848590160977430144331549*c_0101_5^20 + 35146838937487468603822082291369262234797350578086/7279694087876267\ 456604139848590160977430144331549*c_0101_5^19 - 217430868999233669818835040964038888519332779953610/727969408787626\ 7456604139848590160977430144331549*c_0101_5^18 - 419690211202651565152313312052200329955306180570734/727969408787626\ 7456604139848590160977430144331549*c_0101_5^17 + 613354567134767903796740703249660375896585959475473/727969408787626\ 7456604139848590160977430144331549*c_0101_5^16 + 1770715452432102028479935993450080204965552563692424/72796940878762\ 67456604139848590160977430144331549*c_0101_5^15 - 435710540412593684518121748602338224867703786387305/727969408787626\ 7456604139848590160977430144331549*c_0101_5^14 - 5642103113375561336767833331154747705769264115896459/72796940878762\ 67456604139848590160977430144331549*c_0101_5^13 - 4357805426114374288564855395436740790735967359388061/72796940878762\ 67456604139848590160977430144331549*c_0101_5^12 + 9489072434214549576568789532096707884204748841802361/72796940878762\ 67456604139848590160977430144331549*c_0101_5^11 + 13595582343982286071460238671804704723908764012352296/7279694087876\ 267456604139848590160977430144331549*c_0101_5^10 - 2762872592112844674207077232124288280691231286813534/72796940878762\ 67456604139848590160977430144331549*c_0101_5^9 - 12959276780027963445737410785293705576351526532378996/7279694087876\ 267456604139848590160977430144331549*c_0101_5^8 - 5027703920278663715611559507610373317261768118667955/72796940878762\ 67456604139848590160977430144331549*c_0101_5^7 + 5442303052072147632550813320023757694180396944161073/72796940878762\ 67456604139848590160977430144331549*c_0101_5^6 + 3520147545428676184286393450672775773715183057523455/72796940878762\ 67456604139848590160977430144331549*c_0101_5^5 - 671205382499459086469971661001717417488701181143527/727969408787626\ 7456604139848590160977430144331549*c_0101_5^4 - 500813297966361451830839259720729363351502942407673/727969408787626\ 7456604139848590160977430144331549*c_0101_5^3 - 119902038201915977795327361626729648768571721964548/727969408787626\ 7456604139848590160977430144331549*c_0101_5^2 - 38604924915070237217144359842409251334572153510214/7279694087876267\ 456604139848590160977430144331549*c_0101_5 - 4935977533207903224329605234485357705543062969109/72796940878762674\ 56604139848590160977430144331549, c_0101_3 + 143600974031960807020122303670072218832658844364/72796940878\ 76267456604139848590160977430144331549*c_0101_5^23 + 902707371461617955638646865134211312931950883521/727969408787626745\ 6604139848590160977430144331549*c_0101_5^22 - 1905492371291014347651587778120226348714344281885/72796940878762674\ 56604139848590160977430144331549*c_0101_5^21 - 12025700563992905115747802394429247439184169266120/7279694087876267\ 456604139848590160977430144331549*c_0101_5^20 + 28733364138612385424781219310336172042028097430070/7279694087876267\ 456604139848590160977430144331549*c_0101_5^19 + 86446209837247020750632311269479868160130979028443/7279694087876267\ 456604139848590160977430144331549*c_0101_5^18 - 149764360378019363965503306677011117456489421009916/727969408787626\ 7456604139848590160977430144331549*c_0101_5^17 - 329813542063543734736232993452230084893763771265015/727969408787626\ 7456604139848590160977430144331549*c_0101_5^16 + 239106768446215149506478263534285344832440242327083/727969408787626\ 7456604139848590160977430144331549*c_0101_5^15 + 1083889349813801022021185750782734720286299669848677/72796940878762\ 67456604139848590160977430144331549*c_0101_5^14 + 426063478384352569032083883871721354401162698634682/727969408787626\ 7456604139848590160977430144331549*c_0101_5^13 - 2958741182257462953309732350731334270768115461666978/72796940878762\ 67456604139848590160977430144331549*c_0101_5^12 - 1961992897366391688355141350857814409671319904338756/72796940878762\ 67456604139848590160977430144331549*c_0101_5^11 + 3643926132330563216589471204505684851988549628257559/72796940878762\ 67456604139848590160977430144331549*c_0101_5^10 + 3447896333976425986886314789131315425727966156810656/72796940878762\ 67456604139848590160977430144331549*c_0101_5^9 - 1228562046039025572113884143550587301561467634002535/72796940878762\ 67456604139848590160977430144331549*c_0101_5^8 - 3283098839007845077623014589228699836195697238057945/72796940878762\ 67456604139848590160977430144331549*c_0101_5^7 - 166541804539771150848282063471808375067856908013006/727969408787626\ 7456604139848590160977430144331549*c_0101_5^6 + 1258444148213598559629446994373132241072852545085078/72796940878762\ 67456604139848590160977430144331549*c_0101_5^5 + 214990983203398929516761081249018336436876892248971/727969408787626\ 7456604139848590160977430144331549*c_0101_5^4 - 110265403939388230867570417365430866699302234469374/727969408787626\ 7456604139848590160977430144331549*c_0101_5^3 - 71020634933287124633582922953093352433214776606047/7279694087876267\ 456604139848590160977430144331549*c_0101_5^2 - 9836667767841913697138964715094255696593152432551/72796940878762674\ 56604139848590160977430144331549*c_0101_5 + 332269329197540544055332382366659251638960054410/727969408787626745\ 6604139848590160977430144331549, c_0101_5^24 + 8*c_0101_5^23 - 87*c_0101_5^21 + 53*c_0101_5^20 + 730*c_0101_5^19 + 162*c_0101_5^18 - 2313*c_0101_5^17 - 2190*c_0101_5^16 + 4751*c_0101_5^15 + 11494*c_0101_5^14 - 3237*c_0101_5^13 - 22871*c_0101_5^12 - 10173*c_0101_5^11 + 14478*c_0101_5^10 + 16030*c_0101_5^9 - 1580*c_0101_5^8 - 7387*c_0101_5^7 - 1467*c_0101_5^6 + 690*c_0101_5^5 + 347*c_0101_5^4 + 140*c_0101_5^3 + 38*c_0101_5^2 + 5*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB