Magma V2.19-8 Tue Aug 20 2013 16:16:04 on localhost [Seed = 2985307504] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0317 geometric_solution 4.35138027 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.624848431163 0.059409836434 2 0 2 0 0132 2310 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.789101316963 0.091389911698 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.569237632303 0.388850568040 5 2 4 4 0132 0132 2310 1230 0 0 0 0 0 0 0 0 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 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.249504161438 1.587366903329 3 3 2 5 3012 3201 0132 3201 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 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.249504161438 1.587366903329 3 4 6 6 0132 2310 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 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.722159790905 1.926680804705 5 6 6 5 3201 3201 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 1 0 -1 0 1 0 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.397134393844 0.572968897250 ==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_0011_6'], 'c_1100_5' : d['c_0011_6'], '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' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : 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_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_3']), '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_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 80595199293509073405294465049001624369710410544961907/4730566072319\ 25870764086134258297443784771951905225*c_0101_3^23 + 1385118075958437993649881562500142196450819184029757317/47305660723\ 1925870764086134258297443784771951905225*c_0101_3^22 - 5654009677815037846702010341477099279244871987873455043/47305660723\ 1925870764086134258297443784771951905225*c_0101_3^21 - 4086305685838108360167237367114861506154288508666439942/47305660723\ 1925870764086134258297443784771951905225*c_0101_3^20 + 1680447214043931333646983690327995305642347053827931612/18922264289\ 277034830563445370331897751390878076209*c_0101_3^19 - 98360341664892115432992925831583692476008758036893097709/4730566072\ 31925870764086134258297443784771951905225*c_0101_3^18 + 2043384322106185873659192266931818558282324916328325257/13515903063\ 769310593259603835951355536707770054435*c_0101_3^17 + 28762349003678430524373940350005815970191728528171359592/6757951531\ 8846552966298019179756777683538850272175*c_0101_3^16 - 584245833074338712764645075933247518943841774841658281687/473056607\ 231925870764086134258297443784771951905225*c_0101_3^15 + 472146249042771123381559125276412790958848074622520551291/473056607\ 231925870764086134258297443784771951905225*c_0101_3^14 + 165970769534568981538719006131599898256826693397627857733/473056607\ 231925870764086134258297443784771951905225*c_0101_3^13 - 394151853674395015357512573910756377277406458689421750787/473056607\ 231925870764086134258297443784771951905225*c_0101_3^12 + 132151664866917904207581670966121348565059030143595940006/473056607\ 231925870764086134258297443784771951905225*c_0101_3^11 - 250621220242409885746783145656550155470710391278833270841/473056607\ 231925870764086134258297443784771951905225*c_0101_3^10 + 625913901360219674099925492799674673148603167297715384849/473056607\ 231925870764086134258297443784771951905225*c_0101_3^9 - 40962726590539111623744001823149864517900056147169014176/4300514611\ 1993260978553284932572494889524722900475*c_0101_3^8 + 71615180594015726166325265785650535297865368837658935186/4730566072\ 31925870764086134258297443784771951905225*c_0101_3^7 - 37238778930367751717185005563056079759068967623257745674/4730566072\ 31925870764086134258297443784771951905225*c_0101_3^6 + 2433455959722628849095510906939797081500152356031446550/18922264289\ 277034830563445370331897751390878076209*c_0101_3^5 - 8327707357876756201556370151839974687558675803088628948/47305660723\ 1925870764086134258297443784771951905225*c_0101_3^4 - 2532328673542714299701718234555831332671268593921440246/43005146111\ 993260978553284932572494889524722900475*c_0101_3^3 + 2580601292160297861492966945953754863348013013249170767/67579515318\ 846552966298019179756777683538850272175*c_0101_3^2 - 2139890604998991517698150091828856828330941821126177014/47305660723\ 1925870764086134258297443784771951905225*c_0101_3 - 421603880016679155037142220194271633251876496831753457/473056607231\ 925870764086134258297443784771951905225, c_0011_0 - 1, c_0011_1 + 786860972554792935466774262784825026942721290068/61435923017\ 13322996936183561796070698503531842925*c_0101_3^23 - 13152767878420295849963486846272295101196408032557/6143592301713322\ 996936183561796070698503531842925*c_0101_3^22 + 9800441879914773868568475742881452053435110294781/12287184603426645\ 99387236712359214139700706368585*c_0101_3^21 + 63110334095403797461875735120935052024398207305949/6143592301713322\ 996936183561796070698503531842925*c_0101_3^20 - 76230177195814092545979004782469427877680084274936/1228718460342664\ 599387236712359214139700706368585*c_0101_3^19 + 780748186381740464956393402000217049288787027716596/614359230171332\ 2996936183561796070698503531842925*c_0101_3^18 - 325541022043820892843301771444589284622690638534248/614359230171332\ 2996936183561796070698503531842925*c_0101_3^17 - 2131871040094248188670105442907058432106196462988913/61435923017133\ 22996936183561796070698503531842925*c_0101_3^16 + 4711139929839757589403260215788399088735712385554493/61435923017133\ 22996936183561796070698503531842925*c_0101_3^15 - 2367556933129757453684596467833088014902513266300323/61435923017133\ 22996936183561796070698503531842925*c_0101_3^14 - 2816305798321441616843684874592045462780439277326986/61435923017133\ 22996936183561796070698503531842925*c_0101_3^13 + 2593329731194127284110055810643121452108187459122868/61435923017133\ 22996936183561796070698503531842925*c_0101_3^12 - 33688541646405616298304810683947122295492089694883/6143592301713322\ 996936183561796070698503531842925*c_0101_3^11 + 468696328475979387341026410612526308789594836645779/122871846034266\ 4599387236712359214139700706368585*c_0101_3^10 - 4990447435896104134025371298199349125217612192343069/61435923017133\ 22996936183561796070698503531842925*c_0101_3^9 + 408163865924316835146007953933581386913075940423052/122871846034266\ 4599387236712359214139700706368585*c_0101_3^8 + 347054076338083539592073011334873246111807029206468/614359230171332\ 2996936183561796070698503531842925*c_0101_3^7 + 462574743494062210431723561338006509720715497599631/614359230171332\ 2996936183561796070698503531842925*c_0101_3^6 - 398773340019376179628445740240212178769446172617973/614359230171332\ 2996936183561796070698503531842925*c_0101_3^5 - 16439417900404389212231588241049194218026127420923/1228718460342664\ 599387236712359214139700706368585*c_0101_3^4 + 49425507759645948429489622234971751655416273231653/1228718460342664\ 599387236712359214139700706368585*c_0101_3^3 - 57972513642900965492822586257038859330690000049239/6143592301713322\ 996936183561796070698503531842925*c_0101_3^2 - 19973162821912061145019883868624444976588999953838/6143592301713322\ 996936183561796070698503531842925*c_0101_3 + 84550017819770149790612447040610035045606135924/6143592301713322996\ 936183561796070698503531842925, c_0011_4 - 952341906090299054074462857974937153016241184741/61435923017\ 13322996936183561796070698503531842925*c_0101_3^23 + 15875248010540704469471910500140313018548332192184/6143592301713322\ 996936183561796070698503531842925*c_0101_3^22 - 11723616957363024596971397240296512127808182856152/1228718460342664\ 599387236712359214139700706368585*c_0101_3^21 - 78432726829833857367433438592184602808539183546388/6143592301713322\ 996936183561796070698503531842925*c_0101_3^20 + 91051610239335540647674260128448621659266021054702/1228718460342664\ 599387236712359214139700706368585*c_0101_3^19 - 926707450893567919952107210238609548281720969277352/614359230171332\ 2996936183561796070698503531842925*c_0101_3^18 + 370603190531424577880038011696791250630971481330001/614359230171332\ 2996936183561796070698503531842925*c_0101_3^17 + 2557011070960438961192637821337218618711040682703856/61435923017133\ 22996936183561796070698503531842925*c_0101_3^16 - 5564178054130033578766806086788480617527984596458716/61435923017133\ 22996936183561796070698503531842925*c_0101_3^15 + 2711202635532794699283573960391362711468237452880026/61435923017133\ 22996936183561796070698503531842925*c_0101_3^14 + 3290797989625433739297331363105768118620936792999282/61435923017133\ 22996936183561796070698503531842925*c_0101_3^13 - 2847352888904273759217247563419547897584022578897841/61435923017133\ 22996936183561796070698503531842925*c_0101_3^12 + 36879197462830421499718502944214716941186035915671/6143592301713322\ 996936183561796070698503531842925*c_0101_3^11 - 592185857614476801388396179260874570841896043589833/122871846034266\ 4599387236712359214139700706368585*c_0101_3^10 + 5890858960913979597498919151501041551757933684169128/61435923017133\ 22996936183561796070698503531842925*c_0101_3^9 - 467313207747449114529493657353469877993491727105674/122871846034266\ 4599387236712359214139700706368585*c_0101_3^8 - 228321468025631459277165051534902999656252163554216/614359230171332\ 2996936183561796070698503531842925*c_0101_3^7 - 684568687096964146154795470943115218455103974581147/614359230171332\ 2996936183561796070698503531842925*c_0101_3^6 + 424763220937723008925429357348470820541368103348926/614359230171332\ 2996936183561796070698503531842925*c_0101_3^5 + 15480005603041418510035392836002787890252455507716/1228718460342664\ 599387236712359214139700706368585*c_0101_3^4 - 50026700392209726727665986016401913758749970355441/1228718460342664\ 599387236712359214139700706368585*c_0101_3^3 + 75856067156295709347863381130383866534900598569368/6143592301713322\ 996936183561796070698503531842925*c_0101_3^2 + 10100093214346828725892932189318303094112899283631/6143592301713322\ 996936183561796070698503531842925*c_0101_3 + 1574841189575657799610931095914701786249437127512/61435923017133229\ 96936183561796070698503531842925, c_0011_6 + 446191189584020756028224157246758597633604312949/61435923017\ 13322996936183561796070698503531842925*c_0101_3^23 - 7422850255494228685645852678671092517557612095001/61435923017133229\ 96936183561796070698503531842925*c_0101_3^22 + 5436727010757236292071002141301107462365591845883/12287184603426645\ 99387236712359214139700706368585*c_0101_3^21 + 38157365488204526343487136554079328166435689624857/6143592301713322\ 996936183561796070698503531842925*c_0101_3^20 - 42744178963024124882948402915506645780134203650708/1228718460342664\ 599387236712359214139700706368585*c_0101_3^19 + 423891653775190689179581628197741934821421908800978/614359230171332\ 2996936183561796070698503531842925*c_0101_3^18 - 145531522887292503393116317068013535235577994979464/614359230171332\ 2996936183561796070698503531842925*c_0101_3^17 - 1227390351806385520568239871887002813551980360216709/61435923017133\ 22996936183561796070698503531842925*c_0101_3^16 + 2567608962249529093866305167718595215528101837358749/61435923017133\ 22996936183561796070698503531842925*c_0101_3^15 - 1098590298047803943486571697031018254678769429711214/61435923017133\ 22996936183561796070698503531842925*c_0101_3^14 - 1727575621909757794704889506865755016725321880425373/61435923017133\ 22996936183561796070698503531842925*c_0101_3^13 + 1300231721352379074296930206367538836992046258988099/61435923017133\ 22996936183561796070698503531842925*c_0101_3^12 + 158091451290299830724154831685940397467378979034331/614359230171332\ 2996936183561796070698503531842925*c_0101_3^11 + 271194467106653703295651101477482191335394354337017/122871846034266\ 4599387236712359214139700706368585*c_0101_3^10 - 2754943893427853172903575427196988486999642268946117/61435923017133\ 22996936183561796070698503531842925*c_0101_3^9 + 176016679164696730378449532253834979648041989478171/122871846034266\ 4599387236712359214139700706368585*c_0101_3^8 + 317313573078119333084996370338060631079508359471249/614359230171332\ 2996936183561796070698503531842925*c_0101_3^7 + 334602905894582786784528280572084716825886449170458/614359230171332\ 2996936183561796070698503531842925*c_0101_3^6 - 232093455508982681387404107497250681572268004701889/614359230171332\ 2996936183561796070698503531842925*c_0101_3^5 - 16930017861137691043094458610448332355927216402514/1228718460342664\ 599387236712359214139700706368585*c_0101_3^4 + 23349587426405560053589413274514171782025173541419/1228718460342664\ 599387236712359214139700706368585*c_0101_3^3 - 12782590497463748273754489693152249830345148553952/6143592301713322\ 996936183561796070698503531842925*c_0101_3^2 - 11179828947569141914429929185555540164385472423859/6143592301713322\ 996936183561796070698503531842925*c_0101_3 - 2167702842499950365152670279594761078390829795218/61435923017133229\ 96936183561796070698503531842925, c_0101_0 - 774567610450010842226892968050183772460842592439/61435923017\ 13322996936183561796070698503531842925*c_0101_3^23 + 13009464849203524183531253101738216433552511633286/6143592301713322\ 996936183561796070698503531842925*c_0101_3^22 - 9844566419911563345080113291556533663168167393983/12287184603426645\ 99387236712359214139700706368585*c_0101_3^21 - 59145914813474866797064644714735429647905888863452/6143592301713322\ 996936183561796070698503531842925*c_0101_3^20 + 76713269880279727901657967823705397447007996897733/1228718460342664\ 599387236712359214139700706368585*c_0101_3^19 - 794684375207433588062613974048813410580143007272508/614359230171332\ 2996936183561796070698503531842925*c_0101_3^18 + 356291432994192427848273891155233179968200327481929/614359230171332\ 2996936183561796070698503531842925*c_0101_3^17 + 2127659062807896285457312898498010193208556896985074/61435923017133\ 22996936183561796070698503531842925*c_0101_3^16 - 4833664497691610583482728525513581509394186252086839/61435923017133\ 22996936183561796070698503531842925*c_0101_3^15 + 2563753954401369318932420180534720008889084097857179/61435923017133\ 22996936183561796070698503531842925*c_0101_3^14 + 2911865174780532563642039176451620837563560856358378/61435923017133\ 22996936183561796070698503531842925*c_0101_3^13 - 2968254599596965606796500170373758296043849527678189/61435923017133\ 22996936183561796070698503531842925*c_0101_3^12 + 82363004030569280131390849960428569002073210881509/6143592301713322\ 996936183561796070698503531842925*c_0101_3^11 - 426800109602973011785301598258894421145118579875002/122871846034266\ 4599387236712359214139700706368585*c_0101_3^10 + 5063898924901243827006303507773332450667555056099137/61435923017133\ 22996936183561796070698503531842925*c_0101_3^9 - 446067497307252053362208717542561100000904405330461/122871846034266\ 4599387236712359214139700706368585*c_0101_3^8 - 524600677970162108987956594930263728156978143686414/614359230171332\ 2996936183561796070698503531842925*c_0101_3^7 - 259072147866014902059495653027036773271595819725963/614359230171332\ 2996936183561796070698503531842925*c_0101_3^6 + 417396790610229893942066037633399244821662233092954/614359230171332\ 2996936183561796070698503531842925*c_0101_3^5 + 17627881674482683054586865608406380139124851893194/1228718460342664\ 599387236712359214139700706368585*c_0101_3^4 - 54067691512727319397990038136498888044785739803499/1228718460342664\ 599387236712359214139700706368585*c_0101_3^3 + 75155508017833995012266144800638902672375718334672/6143592301713322\ 996936183561796070698503531842925*c_0101_3^2 + 28093552609912141816448185889531186705880487264524/6143592301713322\ 996936183561796070698503531842925*c_0101_3 - 1761244292907600143438103700980801670641061057977/61435923017133229\ 96936183561796070698503531842925, c_0101_1 - 76026130413941402987090323858484645533050979127/122871846034\ 2664599387236712359214139700706368585*c_0101_3^23 + 1278078814598402222238342223399233478271086414523/12287184603426645\ 99387236712359214139700706368585*c_0101_3^22 - 971435763712688514345394315076960745643062131866/245743692068532919\ 877447342471842827940141273717*c_0101_3^21 - 5623654124864741531670696020783477359239293061021/12287184603426645\ 99387236712359214139700706368585*c_0101_3^20 + 7461026607529520053339052713296490272820341888996/24574369206853291\ 9877447342471842827940141273717*c_0101_3^19 - 78956804584295751412133323745662723016255436653104/1228718460342664\ 599387236712359214139700706368585*c_0101_3^18 + 39476613369656643772476054887803440261480285936852/1228718460342664\ 599387236712359214139700706368585*c_0101_3^17 + 201124208059456398437823777133081391534890518353947/122871846034266\ 4599387236712359214139700706368585*c_0101_3^16 - 473159961895263586190671078971696201308017659603572/122871846034266\ 4599387236712359214139700706368585*c_0101_3^15 + 275649651002972561721636974757549293608606786928177/122871846034266\ 4599387236712359214139700706368585*c_0101_3^14 + 238663290279925560033992131902055508600107738199869/122871846034266\ 4599387236712359214139700706368585*c_0101_3^13 - 266734150510276567860538210256388052776271802230582/122871846034266\ 4599387236712359214139700706368585*c_0101_3^12 + 31696318244882892218407660647483656179758180252402/1228718460342664\ 599387236712359214139700706368585*c_0101_3^11 - 46810867518814366572494070551658554196776793673549/2457436920685329\ 19877447342471842827940141273717*c_0101_3^10 + 501462163741469960699357588863352963063716776263671/122871846034266\ 4599387236712359214139700706368585*c_0101_3^9 - 49373199129827286492203335849573272229098813931446/2457436920685329\ 19877447342471842827940141273717*c_0101_3^8 - 377990434739862055395787789830620672492743735337/122871846034266459\ 9387236712359214139700706368585*c_0101_3^7 - 51896189511950519122365579591657934364358502400084/1228718460342664\ 599387236712359214139700706368585*c_0101_3^6 + 44961884788770327038641737946463006213812257565872/1228718460342664\ 599387236712359214139700706368585*c_0101_3^5 + 374552740626184097253552826746544185367550485610/245743692068532919\ 877447342471842827940141273717*c_0101_3^4 - 4418169491448398497756314110226835734964533058410/24574369206853291\ 9877447342471842827940141273717*c_0101_3^3 + 6905852419342130455483551519819380279347470372691/12287184603426645\ 99387236712359214139700706368585*c_0101_3^2 + 1638974925629368609409484452532742471997178728002/12287184603426645\ 99387236712359214139700706368585*c_0101_3 + 762546617610609781363327511280865619203954121854/122871846034266459\ 9387236712359214139700706368585, c_0101_3^24 - 17*c_0101_3^23 + 67*c_0101_3^22 + 63*c_0101_3^21 - 509*c_0101_3^20 + 1127*c_0101_3^19 - 682*c_0101_3^18 - 2618*c_0101_3^17 + 6764*c_0101_3^16 - 4629*c_0101_3^15 - 2879*c_0101_3^14 + 4362*c_0101_3^13 - 874*c_0101_3^12 + 2948*c_0101_3^11 - 7203*c_0101_3^10 + 4289*c_0101_3^9 - 134*c_0101_3^8 + 424*c_0101_3^7 - 667*c_0101_3^6 - 7*c_0101_3^5 + 345*c_0101_3^4 - 163*c_0101_3^3 - 2*c_0101_3^2 + 6*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB