Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 1326371718] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1653 geometric_solution 5.39377898 oriented_manifold CS_known 0.0000000000000005 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.518454021976 0.100508557537 2 0 2 0 0132 2310 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.622598511976 0.259870801924 1 3 1 4 0132 0132 1023 0132 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 1 1 0 -2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.027710324641 1.906074870278 5 2 6 5 0132 0132 0132 1023 0 0 0 0 0 0 0 0 -1 0 0 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 -1 0 0 1 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.247601035056 0.617314912154 5 6 2 5 2310 1023 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.247601035056 0.617314912154 3 4 4 3 0132 2310 3201 1023 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 0 0 1 -1 1 0 -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 1.440302881695 1.395427839552 4 6 6 3 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 -1 0 1 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.504017992480 0.936578211189 ==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' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), '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' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], '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_4'], '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_1']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], '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_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_6'], '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_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 9863342933437522376671168722875173554354506948582805315388883692177\ 123145728007934977/301758553565171907140232260251073971712682910412\ 74428060393316122303965878481867051520*c_0101_6^31 + 6410301418442497142302417292769333619724601192931228333095511892460\ 72722767797027369697/7543963839129297678505806506276849292817072760\ 318607015098329030575991469620466762880*c_0101_6^29 - 3820492740022609604939442736261802707697343420664709072454702091640\ 265479154011809176485/188599095978232441962645162656921232320426819\ 007965175377458225764399786740511669072*c_0101_6^27 + 2643375832741479835526324939088612717567623040980746144708321721629\ 6312099499174377042517/13119937111529213353923141750046694422290561\ 3222932295914753548357843329906442900224*c_0101_6^25 - 2135134234465373761772247703465731166296692557462939151618809575148\ 52296483564465028167583/9429954798911622098132258132846061616021340\ 9503982587688729112882199893370255834536*c_0101_6^23 + 3724599936761003541518184651769394928750819727068289470262486021678\ 35665252487092387903087201/3017585535651719071402322602510739717126\ 8291041274428060393316122303965878481867051520*c_0101_6^21 - 3929245114231933562666457743109125985900813873681052902129034039794\ 64942018683558487743364097/1508792767825859535701161301255369858563\ 4145520637214030196658061151982939240933525760*c_0101_6^19 + 9414625634199074926340744611885398640479647969111620171656132082624\ 0667627018641248436274453/18859909597823244196264516265692123232042\ 68190079651753774582257643997867405116690720*c_0101_6^17 - 1107521546012908234295040605447610177885326093088262768662389126396\ 476555168630770971914748801/150879276782585953570116130125536985856\ 34145520637214030196658061151982939240933525760*c_0101_6^15 + 6078597606892456041433345312112342477922030074179843098335791265192\ 26655753269629680626894039/1005861845217239690467440867503579905708\ 9430347091476020131105374101321959493955683840*c_0101_6^13 - 4672190852341364145621388593574748067538873159659404651873345527801\ 27957145105463933048569633/1508792767825859535701161301255369858563\ 4145520637214030196658061151982939240933525760*c_0101_6^11 + 1310983485838250925904923886649526061112346184677270365237244423417\ 85272245498127952199295799/1005861845217239690467440867503579905708\ 9430347091476020131105374101321959493955683840*c_0101_6^9 - 3821236643499525817561274622448634469770383125920288102942787593140\ 3803654287266403106095999/10058618452172396904674408675035799057089\ 430347091476020131105374101321959493955683840*c_0101_6^7 + 1208907596600049436239808669804155297000599233349054712580634893956\ 4886374559490883132597723/30175855356517190714023226025107397171268\ 291041274428060393316122303965878481867051520*c_0101_6^5 - 8212329914395937063800989107077931453180301714721484353627806749750\ 8485839113612276808959/30175855356517190714023226025107397171268291\ 04127442806039331612230396587848186705152*c_0101_6^3 + 1269490162983532566561425094058576820420839019203261523280090186795\ 88838747136466527284323/1005861845217239690467440867503579905708943\ 0347091476020131105374101321959493955683840*c_0101_6, c_0011_0 - 1, c_0011_1 - 154350506636802880180827092240642364920881800350834058745971\ 61867535819684/1267467042864465335770464802801890002153406041720196\ 07108506872153494480336365369*c_0101_6^30 + 4035258111793925821453995038511020236782893238362423735763595830432\ 760439218/126746704286446533577046480280189000215340604172019607108\ 506872153494480336365369*c_0101_6^28 - 9624748778880572930618464096648411430536669250478551742342423808447\ 32152429417/1267467042864465335770464802801890002153406041720196071\ 08506872153494480336365369*c_0101_6^26 + 4747093160811230804035420486024835520883101132895643730665799383312\ 20036120280/5510726273323762329436803490443000009362634964000852482\ 978559658847586101581103*c_0101_6^24 - 1204098730029144527554458368780318052991776382302960063931163050585\ 17242004719848/1267467042864465335770464802801890002153406041720196\ 07108506872153494480336365369*c_0101_6^22 + 7380899081540996628806093815438978944942076966546852296876838280878\ 72015561415225/1267467042864465335770464802801890002153406041720196\ 07108506872153494480336365369*c_0101_6^20 - 2057870965974351103672507269238738124564295671368060214235660661862\ 535922881042226/126746704286446533577046480280189000215340604172019\ 607108506872153494480336365369*c_0101_6^18 + 4177102207297745048988022152804567909502105346101982275797247872118\ 283412388613132/126746704286446533577046480280189000215340604172019\ 607108506872153494480336365369*c_0101_6^16 - 7871968575796729690538281994676274168135055388466358019430933491753\ 319324686590962/126746704286446533577046480280189000215340604172019\ 607108506872153494480336365369*c_0101_6^14 + 3033251172504402275216231657262463469810892520041687198891881207277\ 697161704778199/422489014288155111923488267600630000717802013906732\ 02369502290717831493445455123*c_0101_6^12 - 8635369490534040775695259134536068174147910993325321834671321029218\ 836653299236464/126746704286446533577046480280189000215340604172019\ 607108506872153494480336365369*c_0101_6^10 + 2323844927942749691295749939748366896527986868483658877859461335647\ 719796963271419/422489014288155111923488267600630000717802013906732\ 02369502290717831493445455123*c_0101_6^8 - 7064275223943848970467834745127396384709887982089645633648193197992\ 67201890546935/4224890142881551119234882676006300007178020139067320\ 2369502290717831493445455123*c_0101_6^6 + 3189625199723244571741085416339701654421575767557179002442270397840\ 06397903263735/1267467042864465335770464802801890002153406041720196\ 07108506872153494480336365369*c_0101_6^4 - 1009980999888857483379580980761902983405857600671848484193087684754\ 15206294341204/1267467042864465335770464802801890002153406041720196\ 07108506872153494480336365369*c_0101_6^2 - 1892602729933510630883561020241038800628113177136627706764910226812\ 9593118947643/42248901428815511192348826760063000071780201390673202\ 369502290717831493445455123, c_0011_4 + 313041226494091352723698359582883989974695541557637321104387\ 288746658332652/170832514473036632212540908203733000290241683884026\ 426972335349424275169149014193*c_0101_6^30 - 8147056781805688369880398287711200657108015633870378379097887960902\ 2925352266/17083251447303663221254090820373300029024168388402642697\ 2335349424275169149014193*c_0101_6^28 + 1942446089662612836206002105884973332898568286114219585089333481244\ 5456572272759/17083251447303663221254090820373300029024168388402642\ 6972335349424275169149014193*c_0101_6^26 - 1986331256365338648844687349985554118652176918168199840256525845157\ 73583642242332/1708325144730366322125409082037330002902416838840264\ 26972335349424275169149014193*c_0101_6^24 + 2234091935996889632167851661858697961962452215084038208543057568791\ 628555011432347/170832514473036632212540908203733000290241683884026\ 426972335349424275169149014193*c_0101_6^22 - 1253890318450237033093578680825346357854252575207785380037809093209\ 1668658272061476/17083251447303663221254090820373300029024168388402\ 6426972335349424275169149014193*c_0101_6^20 + 2937916071230515279495883517672663626631804545423513512700379717165\ 9315733753619432/17083251447303663221254090820373300029024168388402\ 6426972335349424275169149014193*c_0101_6^18 - 6011201522268470259814942562201576403037206641964128157422098667307\ 0917889700586686/17083251447303663221254090820373300029024168388402\ 6426972335349424275169149014193*c_0101_6^16 + 9249909259510922069097297922504357196897494874333266022080267904930\ 2156203079713686/17083251447303663221254090820373300029024168388402\ 6426972335349424275169149014193*c_0101_6^14 - 3174110025779147403258922143345136951417158395264529525795310272975\ 4621477322889950/56944171491012210737513636067911000096747227961342\ 142324111783141425056383004731*c_0101_6^12 + 6762964738977459853996858388986065978105194890694966821293264986984\ 0799345549247934/17083251447303663221254090820373300029024168388402\ 6426972335349424275169149014193*c_0101_6^10 - 1078562590104437433670821567548660296508296022732255649086155222385\ 8573886442770885/56944171491012210737513636067911000096747227961342\ 142324111783141425056383004731*c_0101_6^8 + 4087767114340084117972234349913409628506322561763312247714423062985\ 064446415473054/569441714910122107375136360679110000967472279613421\ 42324111783141425056383004731*c_0101_6^6 - 3147369082161491333397638485922106050862111729749000899852360787522\ 670439128281426/170832514473036632212540908203733000290241683884026\ 426972335349424275169149014193*c_0101_6^4 + 8740769259335947193868950798450640821057499656986811793129518363669\ 3196934602788/17083251447303663221254090820373300029024168388402642\ 6972335349424275169149014193*c_0101_6^2 - 4311152964051942719238915956769847937161745594421851276874045792500\ 767771929395/569441714910122107375136360679110000967472279613421423\ 24111783141425056383004731, c_0101_0 - 916221003096670454285096526291650676052513058795888825845519\ 03418593870206911/1520960451437358402924557763362268002584087250064\ 235285302082465841933764036384428*c_0101_6^31 + 5959106373495452389358975164293927624152210588765534106633892794505\ 575522139339/380240112859339600731139440840567000646021812516058821\ 325520616460483441009096107*c_0101_6^29 - 1420728738289196943732814092245399433271401464579234831582213207559\ 046286844735800/380240112859339600731139440840567000646021812516058\ 821325520616460483441009096107*c_0101_6^27 + 1251844732898007913271912267918511079578933804225204000308634457589\ 635952213072197/330643576399425739766208209426580000561758097840051\ 14897871357953085516609486618*c_0101_6^25 - 1613439191853240016373102066405183814484424260649548482722645703333\ 19104157846684765/3802401128593396007311394408405670006460218125160\ 58821325520616460483441009096107*c_0101_6^23 + 3580734017784974377168000682991915655205757130891288513739023190565\ 477086069398140995/152096045143735840292455776336226800258408725006\ 4235285302082465841933764036384428*c_0101_6^21 - 3969952727447529938995321191331845484210786680975770562987818255456\ 571380050621641767/760480225718679201462278881681134001292043625032\ 117642651041232920966882018192214*c_0101_6^19 + 3808043800892601983494687042953037749052469907285337398247839625278\ 884146519984772981/380240112859339600731139440840567000646021812516\ 058821325520616460483441009096107*c_0101_6^17 - 1149098277436120857349452957872498661322193520079212419940802597487\ 6424356679966238085/76048022571867920146227888168113400129204362503\ 2117642651041232920966882018192214*c_0101_6^15 + 6771044815332974504860525561332465707694943109214498344622300555888\ 058306046233354213/506986817145786134308185921120756000861362416688\ 078428434027488613977921345461476*c_0101_6^13 - 5567207356385433924194143912002813330008341042547745320788972659800\ 520781760878771127/760480225718679201462278881681134001292043625032\ 117642651041232920966882018192214*c_0101_6^11 + 1613337861225695422974389829079447906244283970561397088513164838197\ 166750029249631709/506986817145786134308185921120756000861362416688\ 078428434027488613977921345461476*c_0101_6^9 - 5208698427764589810662614169429243071045003053541777871818512364720\ 93530058577332865/5069868171457861343081859211207560008613624166880\ 78428434027488613977921345461476*c_0101_6^7 + 2305825150409272772790793151087751771879035668352011064386756498059\ 76763300543708905/1520960451437358402924557763362268002584087250064\ 235285302082465841933764036384428*c_0101_6^5 - 1123344926910481433717121531583453666715746942094486229528749784513\ 6207399455723765/76048022571867920146227888168113400129204362503211\ 7642651041232920966882018192214*c_0101_6^3 + 2341039610710062350190352432771767624456704595456019536898522247844\ 505604058937981/506986817145786134308185921120756000861362416688078\ 428434027488613977921345461476*c_0101_6, c_0101_1 - 289691650172242217970563497590971302829111831969631752638516\ 67909318253668/5510726273323762329436803490443000009362634964000852\ 482978559658847586101581103*c_0101_6^30 + 7521286643081651318025797620217068169138658839729778546196431304137\ 847092361/551072627332376232943680349044300000936263496400085248297\ 8559658847586101581103*c_0101_6^28 - 1792849236635848030049853125514719588735362949119261503591687421365\ 221237447156/551072627332376232943680349044300000936263496400085248\ 2978559658847586101581103*c_0101_6^26 + 1725847757789480943446052730919552284931674360316356226155008647369\ 5565064770977/55107262733237623294368034904430000093626349640008524\ 82978559658847586101581103*c_0101_6^24 - 1950273225128863186858474167541351108961757715520258677735504189290\ 81403073590429/5510726273323762329436803490443000009362634964000852\ 482978559658847586101581103*c_0101_6^22 + 1030007812141384994056855890613212359599325939603946718162601287922\ 867982111258542/551072627332376232943680349044300000936263496400085\ 2482978559658847586101581103*c_0101_6^20 - 1977485221404784724341984491778811478690952573083470709249777599616\ 563328645336052/551072627332376232943680349044300000936263496400085\ 2482978559658847586101581103*c_0101_6^18 + 3837608025610280464675927857042860547025529959021470245237157903083\ 046107724140576/551072627332376232943680349044300000936263496400085\ 2482978559658847586101581103*c_0101_6^16 - 5384729148499857688314824925194708128857145187125639331107149547589\ 920634358927526/551072627332376232943680349044300000936263496400085\ 2482978559658847586101581103*c_0101_6^14 + 1285509454618419403571343140524831521950962566128364026396635963844\ 137104811447048/183690875777458744314560116348100000312087832133361\ 7494326186552949195367193701*c_0101_6^12 - 1905546509291225165708337459465562205293749825253249550768817784571\ 888868754769881/551072627332376232943680349044300000936263496400085\ 2482978559658847586101581103*c_0101_6^10 + 2941001390626196971884658894513663699789253309749687708089380552040\ 12811065436432/1836908757774587443145601163481000003120878321333617\ 494326186552949195367193701*c_0101_6^8 - 7043621277739218671969872172427503203875101531587615542854912476084\ 6747727310362/18369087577745874431456011634810000031208783213336174\ 94326186552949195367193701*c_0101_6^6 + 2880114001323295321031764632596584660040134542358423610007550411159\ 7215876526170/55107262733237623294368034904430000093626349640008524\ 82978559658847586101581103*c_0101_6^4 - 9652060526825492411888711907400803333214481027900753824313681002423\ 564121828761/551072627332376232943680349044300000936263496400085248\ 2978559658847586101581103*c_0101_6^2 + 6568515639158794843113523606240646006831020367382671840176885524792\ 08033632147/1836908757774587443145601163481000003120878321333617494\ 326186552949195367193701, c_0101_5 - 765653303193234321511914114368011346080081036455687037930624\ 8096100605379657039/94299547989116220981322581328460616160213409503\ 982587688729112882199893370255834536*c_0101_6^31 + 4974765952417028925986453630682145411741496106386703638221006281970\ 49600239010747/2357488699727905524533064533211515404005335237599564\ 6922182278220549973342563958634*c_0101_6^29 - 5929713052905924272397047889644524004967543426039209889404091108384\ 7890742823735621/11787443498639527622665322666057577020026676187997\ 823461091139110274986671281979317*c_0101_6^27 + 1018972557229128002981926692512146143290130504964309435298487115420\ 97899369172632607/2049990173676439586550490898444796003482900206608\ 317123668024193091302029788170316*c_0101_6^25 - 6592878107067912135007768053870463434012905746993479657695519818921\ 969742868038658100/117874434986395276226653226660575770200266761879\ 97823461091139110274986671281979317*c_0101_6^23 + 2857686883831081927882637067814646938206786056212262831770567314952\ 48235891262271041079/9429954798911622098132258132846061616021340950\ 3982587688729112882199893370255834536*c_0101_6^21 - 2966123115364901405265640860507045846990649729587391932115734281514\ 75200342889815728447/4714977399455811049066129066423030808010670475\ 1991293844364556441099946685127917268*c_0101_6^19 + 1428478391718844403683410391832750912368664823491625071219531210445\ 37417466593625757695/1178744349863952762266532266605757702002667618\ 7997823461091139110274986671281979317*c_0101_6^17 - 8334976382608298085520874811955952751039552728047822129023835396730\ 90949213232310045779/4714977399455811049066129066423030808010670475\ 1991293844364556441099946685127917268*c_0101_6^15 + 4505213169682140519712538320560348044671542136983651701904235448733\ 18900898319425248329/3143318266303874032710752710948687205340446983\ 4660862562909704294066631123418611512*c_0101_6^13 - 3501169049779234271787457753757048449684213515994150268681563507273\ 81263997774865663023/4714977399455811049066129066423030808010670475\ 1991293844364556441099946685127917268*c_0101_6^11 + 1003578153652185536111199799285950179990743743940060092668209849077\ 74983623017801158025/3143318266303874032710752710948687205340446983\ 4660862562909704294066631123418611512*c_0101_6^9 - 2906327720104280629537961317089927861298090657474249222148513142213\ 6748019308697470945/31433182663038740327107527109486872053404469834\ 660862562909704294066631123418611512*c_0101_6^7 + 1110607314122083314396787849254934789975662456853126808053230734546\ 8555775909012700125/94299547989116220981322581328460616160213409503\ 982587688729112882199893370255834536*c_0101_6^5 - 6715933454859612488330515559977384120560993817546756599984109146082\ 15320478709500813/4714977399455811049066129066423030808010670475199\ 1293844364556441099946685127917268*c_0101_6^3 + 7766601928659910031473371188146914987431728488766892517347563102922\ 9152360872747677/31433182663038740327107527109486872053404469834660\ 862562909704294066631123418611512*c_0101_6, c_0101_6^32 - 260*c_0101_6^30 + 61984*c_0101_6^28 - 618590*c_0101_6^26 + 6948800*c_0101_6^24 - 38006113*c_0101_6^22 + 80999810*c_0101_6^20 - 155492176*c_0101_6^18 + 229886210*c_0101_6^16 - 192660357*c_0101_6^14 + 101049794*c_0101_6^12 - 43075749*c_0101_6^10 + 12975357*c_0101_6^8 - 1613915*c_0101_6^6 + 123254*c_0101_6^4 - 42537*c_0101_6^2 + 1152 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB