Magma V2.19-8 Tue Aug 20 2013 16:17:38 on localhost [Seed = 2134827929] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1869 geometric_solution 5.50220257 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 -1 0 1 0 0 -1 1 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 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.455338343242 0.174767135226 0 2 0 3 0132 0132 1023 0132 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 0 1 0 -1 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.704055840704 1.343288876211 4 1 5 3 0132 0132 0132 3120 0 0 0 0 0 1 -1 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 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377548559433 0.584176380552 2 5 1 4 3120 3201 0132 3201 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 1 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.377548559433 0.584176380552 2 3 6 6 0132 2310 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 0 0 0 0 0 0 0 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.038252798450 1.895127787592 5 5 3 2 1230 3012 2310 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 0 1 -1 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.501025476372 0.919806179684 6 4 4 6 3201 3201 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 -0.585286020290 0.346714496437 ==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_0011_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : negation(d['c_0101_5']), '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_3, c_0011_5, c_0011_6, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 37152033795908930214458283298624493639159939/4942342873424255337221\ 9198767558829660132672*c_0101_5^25 - 167070884576246612571504530272914042068108275/494234287342425533722\ 19198767558829660132672*c_0101_5^24 - 13252946741268686085685128422449845029676345/4942342873424255337221\ 9198767558829660132672*c_0101_5^23 + 77534962096597249272651528698401013473873781/1235585718356063834305\ 4799691889707415033168*c_0101_5^22 + 2576757441747149199144321810896845790448900367/49423428734242553372\ 219198767558829660132672*c_0101_5^21 + 682828175677588591314084208689435339777880589/260123309127592386169\ 5747303555727876849088*c_0101_5^20 + 20564400493951035278678894182938449269951538609/4942342873424255337\ 2219198767558829660132672*c_0101_5^19 + 27455287438535197252349771406836010100638046727/4942342873424255337\ 2219198767558829660132672*c_0101_5^18 + 49864141609320570083309093515355495531291127485/4942342873424255337\ 2219198767558829660132672*c_0101_5^17 + 539665971748974464155582640515808457187476641/130061654563796193084\ 7873651777863938424544*c_0101_5^16 - 61787346492449219724198179215836377107038055/2097768621996712791690\ 1187931901031264912*c_0101_5^15 - 842475724110872298530332129121422\ 53313867965277/24711714367121276686109599383779414830066336*c_0101_\ 5^14 + 5987247936068358825313582919238700410633976871/4942342873424\ 2553372219198767558829660132672*c_0101_5^13 + 2211470435313205046024669474889896605110644485/77224107397253989644\ 0924980743106713439573*c_0101_5^12 + 133103944063186911559994683453216034084434319753/494234287342425533\ 72219198767558829660132672*c_0101_5^11 - 5311549403276920583922403518318029209139512995/24711714367121276686\ 109599383779414830066336*c_0101_5^10 - 171786358613133234284314096253917071213906683/996440095448438576052\ 80642676529898508332*c_0101_5^9 - 279551492967639502775686349180272\ 17284935421579/24711714367121276686109599383779414830066336*c_0101_\ 5^8 + 11548076732892342206365867054103594620680175123/2471171436712\ 1276686109599383779414830066336*c_0101_5^7 + 9338659224086911860312527580107627206308294711/12355857183560638343\ 054799691889707415033168*c_0101_5^6 + 2375493145024591977718942031299366622012244151/12355857183560638343\ 054799691889707415033168*c_0101_5^5 - 4159884397256922487306155447893068501350000295/24711714367121276686\ 109599383779414830066336*c_0101_5^4 - 289047860732461714907525023063509269578635663/159430415271750172168\ 4490282824478376133312*c_0101_5^3 - 3236573550923355564991532396076765283971480085/49423428734242553372\ 219198767558829660132672*c_0101_5^2 + 993497025027851080795303406443362683712117349/247117143671212766861\ 09599383779414830066336*c_0101_5 + 211665197126419443221163670087588286787626781/617792859178031917152\ 7399845944853707516584, c_0011_0 - 1, c_0011_3 - 2088428514314793848056321966145635830/2444032895441149148466\ 3891532205801609*c_0101_5^25 - 904139222133492903933715278967773946\ 47/195522631635291931877311132257646412872*c_0101_5^24 - 11228920536758227654109223093010061007/2444032895441149148466389153\ 2205801609*c_0101_5^23 + 51191376825893178625812324555905852415/195\ 522631635291931877311132257646412872*c_0101_5^22 + 1203180197261884827695275768856369061451/19552263163529193187731113\ 2257646412872*c_0101_5^21 + 347571292601929354046375826546256522809\ 7/97761315817645965938655566128823206436*c_0101_5^20 + 15692157057625795986276412736028593245905/1955226316352919318773111\ 32257646412872*c_0101_5^19 + 13577802539275770623716228607344454760\ 597/97761315817645965938655566128823206436*c_0101_5^18 + 48089422120599258019318870522512358899687/1955226316352919318773111\ 32257646412872*c_0101_5^17 + 26987083968185203089879459371003722708\ 183/97761315817645965938655566128823206436*c_0101_5^16 - 118092319360759328793315898930782280363/157679541641364461191379945\ 3690696878*c_0101_5^15 - 44242492791697136879869090313173728817571/\ 97761315817645965938655566128823206436*c_0101_5^14 - 42272608710632900321466607431078464115763/9776131581764596593865556\ 6128823206436*c_0101_5^13 - 226874850064410104646679163076600719979\ 65/195522631635291931877311132257646412872*c_0101_5^12 + 41940682648226756539836229025072972484571/1955226316352919318773111\ 32257646412872*c_0101_5^11 + 10668369643049819488460508921725410414\ 003/48880657908822982969327783064411603218*c_0101_5^10 + 112095695509721222696609578209640528519/315359083282728922382759890\ 7381393756*c_0101_5^9 - 4691700715213853342645835615041845757375/48\ 880657908822982969327783064411603218*c_0101_5^8 - 1545362635949554106919051954696064862589/24440328954411491484663891\ 532205801609*c_0101_5^7 + 711850224721599744638733733485838569717/4\ 8880657908822982969327783064411603218*c_0101_5^6 + 3763472650197038174345126302066127884585/97761315817645965938655566\ 128823206436*c_0101_5^5 + 1370250347458502845162287607840418321969/\ 48880657908822982969327783064411603218*c_0101_5^4 + 7082306722648518323782550098983236585/15767954164136446119137994536\ 90696878*c_0101_5^3 - 1267226579304438446562089584501228279023/1955\ 22631635291931877311132257646412872*c_0101_5^2 - 154259099719100282596862080338174346173/488806579088229829693277830\ 64411603218*c_0101_5 - 18622649993342865447283949178713725565/24440\ 328954411491484663891532205801609, c_0011_5 + 2610537313166791066168978959699473193206003/1235585718356063\ 8343054799691889707415033168*c_0101_5^25 + 12925002774628057150190041186599236937452603/1235585718356063834305\ 4799691889707415033168*c_0101_5^24 + 6482517988069083453961794245200518171318837/12355857183560638343054\ 799691889707415033168*c_0101_5^23 - 9875663484412955732918271442842157730862029/61779285917803191715273\ 99845944853707516584*c_0101_5^22 - 187781097380188988735069450960869543868604417/123558571835606383430\ 54799691889707415033168*c_0101_5^21 - 52306889643129135319819437105326113063426053/6503082728189809654239\ 36825888931969212272*c_0101_5^20 - 1877267043333864399351733988490351555754705871/12355857183560638343\ 054799691889707415033168*c_0101_5^19 - 2706602569908264938959203570073186162254990221/12355857183560638343\ 054799691889707415033168*c_0101_5^18 - 4741914108432215234050088085963497011422845177/12355857183560638343\ 054799691889707415033168*c_0101_5^17 - 96471713065702050309439227457180219202233603/3251541364094904827119\ 68412944465984606136*c_0101_5^16 + 7217407160909650883223369534151345384008897/10488843109983563958450\ 593965950515632456*c_0101_5^15 + 3746785583012502348415784862929555\ 159880250453/3088964295890159585763699922972426853758292*c_0101_5^1\ 4 + 4563296132145732281323339038674246903711157775/1235585718356063\ 8343054799691889707415033168*c_0101_5^13 - 3905812135942577486567332317336283563471713807/61779285917803191715\ 27399845944853707516584*c_0101_5^12 - 10986639221454809778638156711220772097034477235/1235585718356063834\ 3054799691889707415033168*c_0101_5^11 - 1235646496669810374723685872101559187310528495/61779285917803191715\ 27399845944853707516584*c_0101_5^10 + 81318258971100482409482664402838954663366231/1992880190896877152105\ 61285353059797016664*c_0101_5^9 + 114064327681478607675192345590636\ 1043845280443/3088964295890159585763699922972426853758292*c_0101_5^\ 8 - 93436935944559016412069352026710335066469921/308896429589015958\ 5763699922972426853758292*c_0101_5^7 - 1320779320954067495356933684171903059153842263/61779285917803191715\ 27399845944853707516584*c_0101_5^6 - 483047206682653539919545613959018267673408919/617792859178031917152\ 7399845944853707516584*c_0101_5^5 + 20196445638892366584737498248044395460992439/7722410739725398964409\ 24980743106713439573*c_0101_5^4 + 173343428778119216440243111423880\ 91773921521/398576038179375430421122570706119594033328*c_0101_5^3 + 268031126900828162148189288393712505132312007/123558571835606383430\ 54799691889707415033168*c_0101_5^2 - 15286266683311468678008130565111493542874293/3088964295890159585763\ 699922972426853758292*c_0101_5 - 4270327635757631775066425147889884\ 008222866/772241073972539896440924980743106713439573, c_0011_6 + 937888428136157650785857840665748097117361/61779285917803191\ 71527399845944853707516584*c_0101_5^25 + 4542896916613566196993961449491596844214337/61779285917803191715273\ 99845944853707516584*c_0101_5^24 + 1564301509596340525161050622145005471318855/61779285917803191715273\ 99845944853707516584*c_0101_5^23 - 1084552125891586791556944048061206184963691/77224107397253989644092\ 4980743106713439573*c_0101_5^22 - 675512425726617042204932195188074\ 98369490017/6177928591780319171527399845944853707516584*c_0101_5^21 - 18339584017247314469829173756166543290112251/32515413640949048271\ 1968412944465984606136*c_0101_5^20 - 617221627589830070215430170126761300672787059/617792859178031917152\ 7399845944853707516584*c_0101_5^19 - 797087504390136192054019950517978762124499273/617792859178031917152\ 7399845944853707516584*c_0101_5^18 - 1394208475642261029010929127350930896358798531/61779285917803191715\ 27399845944853707516584*c_0101_5^17 - 21079678393936542563638419530732001513930889/1625770682047452413559\ 84206472232992303068*c_0101_5^16 + 803382858876896370250124967118058023983156/131110538874794549480632\ 4245743814454057*c_0101_5^15 + 280131325372999598410195646985428732\ 2828387309/3088964295890159585763699922972426853758292*c_0101_5^14 + 479789927303424304797588119573017084314759795/617792859178031917152\ 7399845944853707516584*c_0101_5^13 - 539433601396386126458378971555468724311816694/772241073972539896440\ 924980743106713439573*c_0101_5^12 - 4484906762862737614213496257091668435625947427/61779285917803191715\ 27399845944853707516584*c_0101_5^11 - 147944919740219120142082041180234004799524225/308896429589015958576\ 3699922972426853758292*c_0101_5^10 + 21938009450763792693375244784425179205520709/4982200477242192880264\ 0321338264949254166*c_0101_5^9 + 9164219794752121124367787726762073\ 66405249163/3088964295890159585763699922972426853758292*c_0101_5^8 - 220594605496382733310573784369892791294426019/308896429589015958576\ 3699922972426853758292*c_0101_5^7 - 154722432123928685501174021214366057596830127/772241073972539896440\ 924980743106713439573*c_0101_5^6 - 37993237481157358366231682553646550503034913/7722410739725398964409\ 24980743106713439573*c_0101_5^5 + 136006275621051127248291215061217\ 052905659093/3088964295890159585763699922972426853758292*c_0101_5^4 + 8745745441329731735166650755011000212411857/199288019089687715210\ 561285353059797016664*c_0101_5^3 + 105582088479073400424676572228289910596598099/617792859178031917152\ 7399845944853707516584*c_0101_5^2 - 21724169247546172348005004874208837078049789/3088964295890159585763\ 699922972426853758292*c_0101_5 - 4817421658505137082433237103328334\ 106926078/772241073972539896440924980743106713439573, c_0101_1 + 72959323601084466381209500459889576855/195522631635291931877\ 311132257646412872*c_0101_5^25 + 1741281160905897097960058142043682\ 55565/97761315817645965938655566128823206436*c_0101_5^24 + 128140113757426114928830033492607569733/195522631635291931877311132\ 257646412872*c_0101_5^23 - 533251731319215396281394245752413334865/\ 195522631635291931877311132257646412872*c_0101_5^22 - 642282486664297836832643266363493052477/244403289544114914846638915\ 32205801609*c_0101_5^21 - 26911507316507405816512050650977138761441\ /195522631635291931877311132257646412872*c_0101_5^20 - 12073255433843181545059809072643866767921/4888065790882298296932778\ 3064411603218*c_0101_5^19 - 702915304141732121046161297140977810390\ 15/195522631635291931877311132257646412872*c_0101_5^18 - 15729525622991588396980562642636936550483/2444032895441149148466389\ 1532205801609*c_0101_5^17 - 223472400999124870910383412577323563857\ 05/48880657908822982969327783064411603218*c_0101_5^16 + 3815666262515019405230762045109589479731/31535908328272892238275989\ 07381393756*c_0101_5^15 + 18167886841151013661445816379867513098884\ 9/97761315817645965938655566128823206436*c_0101_5^14 + 85398299576200809769278185808477106857949/1955226316352919318773111\ 32257646412872*c_0101_5^13 - 19848630716487117881150985128905483766\ 4805/195522631635291931877311132257646412872*c_0101_5^12 - 128985882656651310344043868841940620772187/977613158176459659386555\ 66128823206436*c_0101_5^11 - 17377417772552976365471721369500833069\ 521/97761315817645965938655566128823206436*c_0101_5^10 + 504101692235720158464090617125318375955/788397708206822305956899726\ 845348439*c_0101_5^9 + 25461211833785227950454930938776529563933/48\ 880657908822982969327783064411603218*c_0101_5^8 - 5124346749335706471933903509117970113413/48880657908822982969327783\ 064411603218*c_0101_5^7 - 30381292206411427056619400082150258485867\ /97761315817645965938655566128823206436*c_0101_5^6 - 2246221443052191967853542908566212707744/24440328954411491484663891\ 532205801609*c_0101_5^5 + 1007998739344405129331250546696462316037/\ 24440328954411491484663891532205801609*c_0101_5^4 + 388119521329487466775242459631528402161/630718166565457844765519781\ 4762787512*c_0101_5^3 + 2678127608755700683555607736604380134817/97\ 761315817645965938655566128823206436*c_0101_5^2 - 527931539521389333513028207242890006591/488806579088229829693277830\ 64411603218*c_0101_5 - 173996036808525731523285543575421665120/2444\ 0328954411491484663891532205801609, c_0101_4 - 1461462575454825638267555615645417432958579/1235585718356063\ 8343054799691889707415033168*c_0101_5^25 - 8094494046317017699404881404936622639101933/12355857183560638343054\ 799691889707415033168*c_0101_5^24 - 7945613277149054257488499266914804495661301/12355857183560638343054\ 799691889707415033168*c_0101_5^23 + 508835401107539034397252148522750459369549/772241073972539896440924\ 980743106713439573*c_0101_5^22 + 1090999604460732100180938886083785\ 64916096831/12355857183560638343054799691889707415033168*c_0101_5^2\ 1 + 32468498173071725247900334749517875335481009/650308272818980965\ 423936825888931969212272*c_0101_5^20 + 1384748084128959577767374909886670614302782681/12355857183560638343\ 054799691889707415033168*c_0101_5^19 + 2190311023819360511398310201530788656713719893/12355857183560638343\ 054799691889707415033168*c_0101_5^18 + 3773576015124685874645840576088117153227090299/12355857183560638343\ 054799691889707415033168*c_0101_5^17 + 106721895843294900643371911580999570782491265/325154136409490482711\ 968412944465984606136*c_0101_5^16 - 2392288012718237580245529874336546397181703/10488843109983563958450\ 593965950515632456*c_0101_5^15 - 2498586204115531804094094988847787\ 157203992079/3088964295890159585763699922972426853758292*c_0101_5^1\ 4 - 6589606969986748564833666862992899894333583295/1235585718356063\ 8343054799691889707415033168*c_0101_5^13 + 417669327825110555124384360552013085963914207/308896429589015958576\ 3699922972426853758292*c_0101_5^12 + 6325980759424908701310752200535502040719065633/12355857183560638343\ 054799691889707415033168*c_0101_5^11 + 1872800584609719677022494457977046036378390399/61779285917803191715\ 27399845944853707516584*c_0101_5^10 - 23731766032500050788608358248207008139209779/1992880190896877152105\ 61285353059797016664*c_0101_5^9 - 360391472413019454438740019802062\ 176656220277/1544482147945079792881849961486213426879146*c_0101_5^8 - 51093609892533145346750772800256098667784621/77224107397253989644\ 0924980743106713439573*c_0101_5^7 + 594119852389235518259236369796494578126151441/617792859178031917152\ 7399845944853707516584*c_0101_5^6 + 428360222743396373422168330114403119155901095/617792859178031917152\ 7399845944853707516584*c_0101_5^5 + 31447602312997757733086242691171323284529361/3088964295890159585763\ 699922972426853758292*c_0101_5^4 - 5295592762989610551770438875748562043219565/39857603817937543042112\ 2570706119594033328*c_0101_5^3 - 1864552857765081118593083231248292\ 04889393893/12355857183560638343054799691889707415033168*c_0101_5^2 - 1768785001159528918503668147086807817918486/772241073972539896440\ 924980743106713439573*c_0101_5 + 2035301902202431663760327724883655\ 817968349/772241073972539896440924980743106713439573, c_0101_5^26 + 4*c_0101_5^25 - 2*c_0101_5^24 - 9*c_0101_5^23 - 65*c_0101_5^22 - 314*c_0101_5^21 - 372*c_0101_5^20 - 426*c_0101_5^19 - 928*c_0101_5^18 + 189*c_0101_5^17 + 4332*c_0101_5^16 + 2606*c_0101_5^15 - 2839*c_0101_5^14 - 3987*c_0101_5^13 - 1611*c_0101_5^12 + 2359*c_0101_5^11 + 2304*c_0101_5^10 + 158*c_0101_5^9 - 1432*c_0101_5^8 - 710*c_0101_5^7 + 392*c_0101_5^6 + 346*c_0101_5^5 + 101*c_0101_5^4 - 52*c_0101_5^3 - 89*c_0101_5^2 - 4*c_0101_5 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB