Magma V2.19-8 Tue Aug 20 2013 16:16:37 on localhost [Seed = 4299993] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0916 geometric_solution 4.80975479 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 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 -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.551847936566 0.562004697235 0 0 2 2 2310 0132 3201 0132 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 1 -1 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.281968763211 0.235060131617 1 3 1 4 2310 0132 0132 0132 0 0 0 0 0 0 1 -1 0 0 1 -1 -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 -1 0 0 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.889787656589 0.975977151435 5 2 4 4 0132 0132 2310 3120 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 -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.344242992734 0.681870720401 3 3 2 5 3120 3201 0132 1023 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 -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.344242992734 0.681870720401 3 6 6 4 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 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 1 -1 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.187568417944 0.798252364804 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 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 -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 1.704646100892 0.276636720685 ==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' : negation(d['c_0011_2']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_2']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : 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_4, c_0101_0, c_0101_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 20587205873802182997484325811865581481941647264/9065401356004623086\ 8054712945814941606678033*c_0101_6^25 + 22765596882720541375789705183057886434970259802/9065401356004623086\ 8054712945814941606678033*c_0101_6^24 - 72671446682449121897023088471126597505806718979/8241273960004202806\ 186792085983176509698003*c_0101_6^23 - 927418164493937277027114383340514665934629538400/906540135600462308\ 68054712945814941606678033*c_0101_6^22 + 13055374995415156650928392025597925644590690982999/9065401356004623\ 0868054712945814941606678033*c_0101_6^21 + 14753746388694725179531200845928855224492076287389/9065401356004623\ 0868054712945814941606678033*c_0101_6^20 - 114222221551983032748263895995860300905232963426949/906540135600462\ 30868054712945814941606678033*c_0101_6^19 - 122577404590791469048853822589693653309569253272798/906540135600462\ 30868054712945814941606678033*c_0101_6^18 + 52309800839410572634334950033952379139080396388118/8241273960004202\ 806186792085983176509698003*c_0101_6^17 + 580264395232672888562286745240884968845380339693913/906540135600462\ 30868054712945814941606678033*c_0101_6^16 - 1683169932514609415677990022177544619392307457920020/90654013560046\ 230868054712945814941606678033*c_0101_6^15 - 1600313642529448013968483534857002317853442554674850/90654013560046\ 230868054712945814941606678033*c_0101_6^14 + 2759648338745523958059106956772677837680252272702469/90654013560046\ 230868054712945814941606678033*c_0101_6^13 + 236849457562869175584027138862494226529263573395193/824127396000420\ 2806186792085983176509698003*c_0101_6^12 - 2317943797022280149087162626588131248488778488731040/90654013560046\ 230868054712945814941606678033*c_0101_6^11 - 2574748079425132675266956260057105049662357123173091/90654013560046\ 230868054712945814941606678033*c_0101_6^10 + 819846318523956385455019447024121828262669035281204/906540135600462\ 30868054712945814941606678033*c_0101_6^9 + 1446535278417992102755425900381079074337651016460985/90654013560046\ 230868054712945814941606678033*c_0101_6^8 - 23782262067276335375945128330648319182931626110143/9065401356004623\ 0868054712945814941606678033*c_0101_6^7 - 380970307390719845355227387043305945573435992280614/906540135600462\ 30868054712945814941606678033*c_0101_6^6 - 26131903475092302561396813557047013242539519248240/9065401356004623\ 0868054712945814941606678033*c_0101_6^5 + 2484637736093298119238717781027556192276012740848/82412739600042028\ 06186792085983176509698003*c_0101_6^4 - 4228513665963349180367091620812407396317533493006/90654013560046230\ 868054712945814941606678033*c_0101_6^3 - 109354443401390845022597067981960033990277756923/906540135600462308\ 68054712945814941606678033*c_0101_6^2 + 55474877607223067745550364753819348523052010790/8241273960004202806\ 186792085983176509698003*c_0101_6 - 41335106158512463633867978504246179835333022492/9065401356004623086\ 8054712945814941606678033, c_0011_0 - 1, c_0011_2 + 2216835408686434140848353580684994093481217/8241273960004202\ 806186792085983176509698003*c_0101_6^25 + 5397157187747100750323768519516485674630966/82412739600042028061867\ 92085983176509698003*c_0101_6^24 - 83351382379365767460016239179825826064990446/8241273960004202806186\ 792085983176509698003*c_0101_6^23 - 214667627879385643927383126758606875850250366/824127396000420280618\ 6792085983176509698003*c_0101_6^22 + 1293791866585004147639968471662637310966146872/82412739600042028061\ 86792085983176509698003*c_0101_6^21 + 3474116384147053138961853541003449996526054172/82412739600042028061\ 86792085983176509698003*c_0101_6^20 - 10528392052464864061557218525291456858509335914/8241273960004202806\ 186792085983176509698003*c_0101_6^19 - 29813878247460330620338566855002768426701799846/8241273960004202806\ 186792085983176509698003*c_0101_6^18 + 47418434739943754587346268479530526296029651143/8241273960004202806\ 186792085983176509698003*c_0101_6^17 + 146988640199457680199168588365233571036216516130/824127396000420280\ 6186792085983176509698003*c_0101_6^16 - 113466294264123818207694732022688750752086687500/824127396000420280\ 6186792085983176509698003*c_0101_6^15 - 422927253922815101257608959301703425039070396577/824127396000420280\ 6186792085983176509698003*c_0101_6^14 + 113408817023543791747964146925221902468415316995/824127396000420280\ 6186792085983176509698003*c_0101_6^13 + 700531510384484151767077841885613186940372921083/824127396000420280\ 6186792085983176509698003*c_0101_6^12 + 47250735657738836842975693774094897853265345852/8241273960004202806\ 186792085983176509698003*c_0101_6^11 - 647077163595468638493912061287267439875824985827/824127396000420280\ 6186792085983176509698003*c_0101_6^10 - 212167745020799530319289100414283106084394115947/824127396000420280\ 6186792085983176509698003*c_0101_6^9 + 310585462074237847381287422454555178633130665284/824127396000420280\ 6186792085983176509698003*c_0101_6^8 + 172733082925304343841154597268244817771071493273/824127396000420280\ 6186792085983176509698003*c_0101_6^7 - 65983688366743697145889443861673256809373557631/8241273960004202806\ 186792085983176509698003*c_0101_6^6 - 48717398129362953642614988931061320433742499415/8241273960004202806\ 186792085983176509698003*c_0101_6^5 + 4320693424454189410016613855568818451421503509/82412739600042028061\ 86792085983176509698003*c_0101_6^4 + 1716536377577672583744368496684847455852254779/82412739600042028061\ 86792085983176509698003*c_0101_6^3 - 577398901359665595266687658285581101538989374/824127396000420280618\ 6792085983176509698003*c_0101_6^2 + 201059166697529089360739581778749035051319974/824127396000420280618\ 6792085983176509698003*c_0101_6 + 280029894108890493119054046502209\ 93341650781/8241273960004202806186792085983176509698003, c_0011_4 - 5357124668945252506781233594715521002777480/8241273960004202\ 806186792085983176509698003*c_0101_6^25 - 9511477076355631314948889989073506143312936/82412739600042028061867\ 92085983176509698003*c_0101_6^24 + 204570631479606882316628099362825916712612386/824127396000420280618\ 6792085983176509698003*c_0101_6^23 + 380989430106093145215000371641563515331681661/824127396000420280618\ 6792085983176509698003*c_0101_6^22 - 3256129801701434580368551324405083948336780734/82412739600042028061\ 86792085983176509698003*c_0101_6^21 - 6129193576167462939956807756039261595059548594/82412739600042028061\ 86792085983176509698003*c_0101_6^20 + 27490508401723410044388821000577736231318580725/8241273960004202806\ 186792085983176509698003*c_0101_6^19 + 52034166714857130321503588909927150794625481498/8241273960004202806\ 186792085983176509698003*c_0101_6^18 - 131379904554778734670307098666897025603402744396/824127396000420280\ 6186792085983176509698003*c_0101_6^17 - 253117613351203221721237615041116820204001886020/824127396000420280\ 6186792085983176509698003*c_0101_6^16 + 352329138310484346386231568707586086092009807113/824127396000420280\ 6186792085983176509698003*c_0101_6^15 + 717972168630333010894866324437390530519909071436/824127396000420280\ 6186792085983176509698003*c_0101_6^14 - 485713494365257006770091300376828289302874299708/824127396000420280\ 6186792085983176509698003*c_0101_6^13 - 1179819655465367844216316478067170110174872334196/82412739600042028\ 06186792085983176509698003*c_0101_6^12 + 228849500753718246260402981147385272124262942848/824127396000420280\ 6186792085983176509698003*c_0101_6^11 + 1106071542943716651818583482850874158964764949951/82412739600042028\ 06186792085983176509698003*c_0101_6^10 + 161383710178527079473676811103966214508335167972/824127396000420280\ 6186792085983176509698003*c_0101_6^9 - 552832504762430263219779558459270258092927996047/824127396000420280\ 6186792085983176509698003*c_0101_6^8 - 209014923141109306712613972989090207957866384609/824127396000420280\ 6186792085983176509698003*c_0101_6^7 + 124240985277134500798586535191283089100364310824/824127396000420280\ 6186792085983176509698003*c_0101_6^6 + 62374662740839103675873608396490063972285400822/8241273960004202806\ 186792085983176509698003*c_0101_6^5 - 7916416064203268305715358226591857712957218235/82412739600042028061\ 86792085983176509698003*c_0101_6^4 - 1569020997006201899673107455900416107759435594/82412739600042028061\ 86792085983176509698003*c_0101_6^3 + 723549213359083082550883924810754463132078758/824127396000420280618\ 6792085983176509698003*c_0101_6^2 - 298796128073628832042280660685317941177913330/824127396000420280618\ 6792085983176509698003*c_0101_6 - 382771443640475976231079483036386\ 66174347259/8241273960004202806186792085983176509698003, c_0101_0 + 9529368844910461292175413749806542301126209/8241273960004202\ 806186792085983176509698003*c_0101_6^25 + 10308858851263400787899645055923861486790954/8241273960004202806186\ 792085983176509698003*c_0101_6^24 - 370050941767837525680246722173398437138614348/824127396000420280618\ 6792085983176509698003*c_0101_6^23 - 420333617286948202770192082490727700224225886/824127396000420280618\ 6792085983176509698003*c_0101_6^22 + 6044567096344323577933450480631210733820430200/82412739600042028061\ 86792085983176509698003*c_0101_6^21 + 6681082026344932998791175585883864245922395910/82412739600042028061\ 86792085983176509698003*c_0101_6^20 - 52885940475829577890896865454618823375351468153/8241273960004202806\ 186792085983176509698003*c_0101_6^19 - 55421937234658878837546594741095489385524592801/8241273960004202806\ 186792085983176509698003*c_0101_6^18 + 266338269943956674378691544530152719680069379134/824127396000420280\ 6186792085983176509698003*c_0101_6^17 + 261828707811665163786406386647901189961979477875/824127396000420280\ 6186792085983176509698003*c_0101_6^16 - 778211038883428116274030439673526653474506371069/824127396000420280\ 6186792085983176509698003*c_0101_6^15 - 720395702593899840985267804465850039707804533992/824127396000420280\ 6186792085983176509698003*c_0101_6^14 + 1271745140999736164257894498511229949655833634370/82412739600042028\ 06186792085983176509698003*c_0101_6^13 + 1170659127763766410696399765975877138619968997833/82412739600042028\ 06186792085983176509698003*c_0101_6^12 - 1058331816321556960199636964507734684857862283719/82412739600042028\ 06186792085983176509698003*c_0101_6^11 - 1156490476268840520548247027394911403311289208573/82412739600042028\ 06186792085983176509698003*c_0101_6^10 + 362936802714961016704943821146991874721433295544/824127396000420280\ 6186792085983176509698003*c_0101_6^9 + 645326468168512759450229743098867580112526212461/824127396000420280\ 6186792085983176509698003*c_0101_6^8 - 1616547568459689553906278419157986724232200981/82412739600042028061\ 86792085983176509698003*c_0101_6^7 - 163162652527975043497875877768725764252109471635/824127396000420280\ 6186792085983176509698003*c_0101_6^6 - 15176605054306176705622656980878765368100405127/8241273960004202806\ 186792085983176509698003*c_0101_6^5 + 8803371562151358890731862311064878123141908512/82412739600042028061\ 86792085983176509698003*c_0101_6^4 - 1307920409694166252854061864210317406301020421/82412739600042028061\ 86792085983176509698003*c_0101_6^3 + 78105440770926358737864516221419930205112363/8241273960004202806186\ 792085983176509698003*c_0101_6^2 + 193307022245359998347563489513613405150871581/824127396000420280618\ 6792085983176509698003*c_0101_6 + 110926767988973367231402261779294\ 04584810076/8241273960004202806186792085983176509698003, c_0101_3 + 2246117558338135467864775988316915527770462/8241273960004202\ 806186792085983176509698003*c_0101_6^25 + 5114124000134133207968566181005385671965740/82412739600042028061867\ 92085983176509698003*c_0101_6^24 - 84655787282884782943430172038645350585973801/8241273960004202806186\ 792085983176509698003*c_0101_6^23 - 203468218046789476667702807228069896192423205/824127396000420280618\ 6792085983176509698003*c_0101_6^22 + 1319676918806095216101617314779729855840576051/82412739600042028061\ 86792085983176509698003*c_0101_6^21 + 3284298729897432240473177781494273283835363010/82412739600042028061\ 86792085983176509698003*c_0101_6^20 - 10807745820682476677006350104817068339082687720/8241273960004202806\ 186792085983176509698003*c_0101_6^19 - 28068633257088125573406332479558425606482560267/8241273960004202806\ 186792085983176509698003*c_0101_6^18 + 49200824322980634853104236694755609381468866185/8241273960004202806\ 186792085983176509698003*c_0101_6^17 + 137607750043972138196420393769584885995111128761/824127396000420280\ 6186792085983176509698003*c_0101_6^16 - 120439147749221236517196913566089418205026215309/824127396000420280\ 6186792085983176509698003*c_0101_6^15 - 392997289036273357209437025122080446550153163056/824127396000420280\ 6186792085983176509698003*c_0101_6^14 + 130520662358218008404812742373174255363627646214/824127396000420280\ 6186792085983176509698003*c_0101_6^13 + 645164675677071232052534165482816770290989446358/824127396000420280\ 6186792085983176509698003*c_0101_6^12 + 19299270645243252068383853609799595582352303132/8241273960004202806\ 186792085983176509698003*c_0101_6^11 - 590808393687561593935618515807834040899861332149/824127396000420280\ 6186792085983176509698003*c_0101_6^10 - 179402045727401802617013426804754835552474331369/824127396000420280\ 6186792085983176509698003*c_0101_6^9 + 280751220018130141698105115237804729868462178589/824127396000420280\ 6186792085983176509698003*c_0101_6^8 + 149236454345296190428931300695865173037016072557/824127396000420280\ 6186792085983176509698003*c_0101_6^7 - 58772588599319829019909864767491275932525713386/8241273960004202806\ 186792085983176509698003*c_0101_6^6 - 41195106045788168870834162494442057758714282914/8241273960004202806\ 186792085983176509698003*c_0101_6^5 + 3754874563742390254331380997536133433889774354/82412739600042028061\ 86792085983176509698003*c_0101_6^4 + 1227726461996181374968581987730892372324007610/82412739600042028061\ 86792085983176509698003*c_0101_6^3 - 490371264421599835759710631944246281656288407/824127396000420280618\ 6792085983176509698003*c_0101_6^2 + 177230449380685795066203682911127973349654100/824127396000420280618\ 6792085983176509698003*c_0101_6 + 247397407392960531008865109319094\ 65097570810/8241273960004202806186792085983176509698003, c_0101_5 + 567458141232995900686054053220070896934073/82412739600042028\ 06186792085983176509698003*c_0101_6^25 + 2069947522169375842072405470367257123937023/82412739600042028061867\ 92085983176509698003*c_0101_6^24 - 20763655691658784589610113539966611965128600/8241273960004202806186\ 792085983176509698003*c_0101_6^23 - 81895957587088047004470450845430802785675763/8241273960004202806186\ 792085983176509698003*c_0101_6^22 + 307443607138518447946971822463245452448278032/824127396000420280618\ 6792085983176509698003*c_0101_6^21 + 1334540961393288342869070966110929644292524282/82412739600042028061\ 86792085983176509698003*c_0101_6^20 - 2319172729407382884694664807144756206198975919/82412739600042028061\ 86792085983176509698003*c_0101_6^19 - 11587537733590665648010712794892201641398068542/8241273960004202806\ 186792085983176509698003*c_0101_6^18 + 9051133628101357489554608403430739074849118997/82412739600042028061\ 86792085983176509698003*c_0101_6^17 + 57977237949355327990611541900367625709053139186/8241273960004202806\ 186792085983176509698003*c_0101_6^16 - 14622228429360300640891147467175154696461979172/8241273960004202806\ 186792085983176509698003*c_0101_6^15 - 169628810560681398145943907823015300040025935044/824127396000420280\ 6186792085983176509698003*c_0101_6^14 - 10425687210492596288392821603678079981925080147/8241273960004202806\ 186792085983176509698003*c_0101_6^13 + 284852189262553936978754126607260390998772310308/824127396000420280\ 6186792085983176509698003*c_0101_6^12 + 77456828078817251820005429841621799174725653784/8241273960004202806\ 186792085983176509698003*c_0101_6^11 - 262761393939516890439256224679428680975016333189/824127396000420280\ 6186792085983176509698003*c_0101_6^10 - 123780300234458622121822406072164048365666974851/824127396000420280\ 6186792085983176509698003*c_0101_6^9 + 123813168321345318357594651076371042351340324846/824127396000420280\ 6186792085983176509698003*c_0101_6^8 + 87303480925134052887591537340595227173699812019/8241273960004202806\ 186792085983176509698003*c_0101_6^7 - 25498562083631165875809871427535880650143922158/8241273960004202806\ 186792085983176509698003*c_0101_6^6 - 24481061130371919863044436522262346657443019479/8241273960004202806\ 186792085983176509698003*c_0101_6^5 + 1724699256384816747922914935233243544029039441/82412739600042028061\ 86792085983176509698003*c_0101_6^4 + 1055652102443905590759470945390924196446309427/82412739600042028061\ 86792085983176509698003*c_0101_6^3 - 288198918178425817070322317199515729842018215/824127396000420280618\ 6792085983176509698003*c_0101_6^2 + 99032961798269312943861246487913386088791859/8241273960004202806186\ 792085983176509698003*c_0101_6 + 1311862615964493537262595973382220\ 9947797095/8241273960004202806186792085983176509698003, c_0101_6^26 + c_0101_6^25 - 39*c_0101_6^24 - 41*c_0101_6^23 + 641*c_0101_6^22 + 652*c_0101_6^21 - 5658*c_0101_6^20 - 5406*c_0101_6^19 + 28876*c_0101_6^18 + 25552*c_0101_6^17 - 86226*c_0101_6^16 - 70612*c_0101_6^15 + 146586*c_0101_6^14 + 116571*c_0101_6^13 - 132964*c_0101_6^12 - 119948*c_0101_6^11 + 58760*c_0101_6^10 + 72686*c_0101_6^9 - 10440*c_0101_6^8 - 22032*c_0101_6^7 + 629*c_0101_6^6 + 2381*c_0101_6^5 - 251*c_0101_6^4 - 39*c_0101_6^3 + 37*c_0101_6^2 - 5*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB