Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 1048552152] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0768 geometric_solution 4.71130314 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 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 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.730747131211 0.120520755409 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -1 -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 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 0 0 0 0.605680267392 0.365714685849 3 1 4 1 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 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 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 2.090226742773 1.627135642464 2 4 4 5 0132 3201 2310 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 1 0 -1 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.145009236720 0.705695065787 5 3 3 2 1023 3201 2310 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.145009236720 0.705695065787 6 4 3 6 0132 1023 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.577776270729 0.851553168367 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.830071126426 0.484377030144 ==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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), '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_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 535148767660446347515922646983058601709635270316389664/295013574440\ 291337336886965543865315831599923337553*c_0101_6^23 - 1134844730635859689458617746665706426012061400419072976/42144796348\ 613048190983852220552187975942846191079*c_0101_6^22 + 16918961713722850614372173489817373087648830124726038096/2950135744\ 40291337336886965543865315831599923337553*c_0101_6^21 + 103778902762168614744670990858827071312995598630899196772/295013574\ 440291337336886965543865315831599923337553*c_0101_6^20 - 305115582842526779989851105689274290158693492007344034524/295013574\ 440291337336886965543865315831599923337553*c_0101_6^19 - 15547859128824232239629083739887227964411777858827863778/1017288187\ 7251425425409895363581562614882755977157*c_0101_6^18 + 1380812823883119913387954042199731218998997803558152352804/29501357\ 4440291337336886965543865315831599923337553*c_0101_6^17 + 187906676534547581631239636346907250205241570257662955152/421447963\ 48613048190983852220552187975942846191079*c_0101_6^16 - 2481063310759969904219089708639567043921507243501620831428/29501357\ 4440291337336886965543865315831599923337553*c_0101_6^15 - 3175832653132707385317919223595918252453498521004903787795/29501357\ 4440291337336886965543865315831599923337553*c_0101_6^14 + 1657950367264971399819593264059731796797624914967346189326/29501357\ 4440291337336886965543865315831599923337553*c_0101_6^13 + 4807683146028574506752430741786627642285200161694815810836/29501357\ 4440291337336886965543865315831599923337553*c_0101_6^12 + 104348046549572772424400979684974468552497217558025215868/421447963\ 48613048190983852220552187975942846191079*c_0101_6^11 - 3091852077609350728289142683441968723640329737734923848418/29501357\ 4440291337336886965543865315831599923337553*c_0101_6^10 - 287161733496515092166084491785634977748437840911694626546/421447963\ 48613048190983852220552187975942846191079*c_0101_6^9 + 250886119702522170377207443336601010761437131483416739810/295013574\ 440291337336886965543865315831599923337553*c_0101_6^8 + 922143252095368278761544840061827863226886774549976470839/295013574\ 440291337336886965543865315831599923337553*c_0101_6^7 + 408101257716228052493067254525739462581204716981007436553/295013574\ 440291337336886965543865315831599923337553*c_0101_6^6 + 6196818733943271643893800937408912564321556605787282662/29501357444\ 0291337336886965543865315831599923337553*c_0101_6^5 - 59713854160750315120243052069014283506592426154384184758/2950135744\ 40291337336886965543865315831599923337553*c_0101_6^4 - 2798232531931338816862576663610849488582127423679245381/42144796348\ 613048190983852220552187975942846191079*c_0101_6^3 - 432720370334443453433511926963355373515047629691219512/295013574440\ 291337336886965543865315831599923337553*c_0101_6^2 + 938904820003531258898283092752278311602103704544919576/295013574440\ 291337336886965543865315831599923337553*c_0101_6 + 183639853148623824889370664088359562721214610960057959/295013574440\ 291337336886965543865315831599923337553, c_0011_0 - 1, c_0011_4 - 64668020552740176601600021540595974617359047246264/145326883\ 9607346489344270766225937516411822282451*c_0101_6^23 + 961312784709437734880388602240377537269750031910700/145326883960734\ 6489344270766225937516411822282451*c_0101_6^22 - 2064995925438116604733520126298253844530189540271036/14532688396073\ 46489344270766225937516411822282451*c_0101_6^21 - 12493230737166797555148529761297790436758836164898361/1453268839607\ 346489344270766225937516411822282451*c_0101_6^20 + 37121748956225350802076836056683336311208187023367572/1453268839607\ 346489344270766225937516411822282451*c_0101_6^19 + 53662987291097856956176117059906377399435273806612780/1453268839607\ 346489344270766225937516411822282451*c_0101_6^18 - 167800370612679802187464314156938602905135718690243129/145326883960\ 7346489344270766225937516411822282451*c_0101_6^17 - 155343686868863427690114943748173683164113848901766348/145326883960\ 7346489344270766225937516411822282451*c_0101_6^16 + 302290184984948249633535200795488581725517223522250363/145326883960\ 7346489344270766225937516411822282451*c_0101_6^15 + 377394759629609530289754093165083364898141542807181769/145326883960\ 7346489344270766225937516411822282451*c_0101_6^14 - 206819164106416338998865455811821928140544339588459875/145326883960\ 7346489344270766225937516411822282451*c_0101_6^13 - 576170071540776362325931712005073174954606427528705215/145326883960\ 7346489344270766225937516411822282451*c_0101_6^12 - 77758665831294030874245983575310025194760560610207925/1453268839607\ 346489344270766225937516411822282451*c_0101_6^11 + 373844257968295784326996727177673913968219099998363769/145326883960\ 7346489344270766225937516411822282451*c_0101_6^10 + 236180479609265634462342417620568212742192091416777451/145326883960\ 7346489344270766225937516411822282451*c_0101_6^9 - 34005730274386845964811904189475124513093527781226479/1453268839607\ 346489344270766225937516411822282451*c_0101_6^8 - 110722247643247651300933248425809177329891928515735125/145326883960\ 7346489344270766225937516411822282451*c_0101_6^7 - 47541070020685630138030170054311024103316045282191043/1453268839607\ 346489344270766225937516411822282451*c_0101_6^6 - 83865509923802043492898767804538384871718684018310/1453268839607346\ 489344270766225937516411822282451*c_0101_6^5 + 7284260168500581380678677299785904226522069515755664/14532688396073\ 46489344270766225937516411822282451*c_0101_6^4 + 2303151343158969837454220876493801170224133335330783/14532688396073\ 46489344270766225937516411822282451*c_0101_6^3 + 40763413160927474299827115288157058689241894299502/1453268839607346\ 489344270766225937516411822282451*c_0101_6^2 - 115668719975734818631603720155465026349214467760727/145326883960734\ 6489344270766225937516411822282451*c_0101_6 - 22592464439893449630659648112443318247075753363960/1453268839607346\ 489344270766225937516411822282451, c_0101_0 + 100371799920189092154953035432084775252141193743112/14532688\ 39607346489344270766225937516411822282451*c_0101_6^23 - 1487328002944987816865398334893900767323393839465348/14532688396073\ 46489344270766225937516411822282451*c_0101_6^22 + 3133667535885246614877683328560255278391106205553420/14532688396073\ 46489344270766225937516411822282451*c_0101_6^21 + 19558004434735053157769738638203547555062727193974855/1453268839607\ 346489344270766225937516411822282451*c_0101_6^20 - 56740084629401963272618027871564001296039139103007546/1453268839607\ 346489344270766225937516411822282451*c_0101_6^19 - 86202646579731615895452063265745723654840169596690472/1453268839607\ 346489344270766225937516411822282451*c_0101_6^18 + 257165580397051297494833882634373812103853119830433649/145326883960\ 7346489344270766225937516411822282451*c_0101_6^17 + 254108393345822738929029828093212383323041818633812816/145326883960\ 7346489344270766225937516411822282451*c_0101_6^16 - 460668038022076098702850515606970949541492809034767200/145326883960\ 7346489344270766225937516411822282451*c_0101_6^15 - 609760352165711923553226476820508925697400995496914168/145326883960\ 7346489344270766225937516411822282451*c_0101_6^14 + 298504085688028529622318684128297661527619987785553221/145326883960\ 7346489344270766225937516411822282451*c_0101_6^13 + 914502154515304573989183154168271136325385463642733773/145326883960\ 7346489344270766225937516411822282451*c_0101_6^12 + 158804082747199508811342774395735580384218483593955702/145326883960\ 7346489344270766225937516411822282451*c_0101_6^11 - 583136560295331472240220752051672883885902956960445803/145326883960\ 7346489344270766225937516411822282451*c_0101_6^10 - 393869129205855491454066222998421331910622289848715951/145326883960\ 7346489344270766225937516411822282451*c_0101_6^9 + 41410007960321840984832926660908405378625318355297786/1453268839607\ 346489344270766225937516411822282451*c_0101_6^8 + 177466022741173108180686825843911836199314560153367429/145326883960\ 7346489344270766225937516411822282451*c_0101_6^7 + 80877272115364257159151855317150613671908635544900198/1453268839607\ 346489344270766225937516411822282451*c_0101_6^6 + 1777097364241752579443873497697528544717145238908031/14532688396073\ 46489344270766225937516411822282451*c_0101_6^5 - 11803758519491099343451158627137763469986290283892964/1453268839607\ 346489344270766225937516411822282451*c_0101_6^4 - 3991749315495089360223486196170118420869623898571713/14532688396073\ 46489344270766225937516411822282451*c_0101_6^3 - 100522827022769045135605979842504311845132379454044/145326883960734\ 6489344270766225937516411822282451*c_0101_6^2 + 193461223664061228845698168474904986238148648194387/145326883960734\ 6489344270766225937516411822282451*c_0101_6 + 37342124146001611692445116419459342487467046042939/1453268839607346\ 489344270766225937516411822282451, c_0101_1 - 179420663313066402292934677866924585675703057156432/14532688\ 39607346489344270766225937516411822282451*c_0101_6^23 + 2671333100900265239490398447867748818192915079134760/14532688396073\ 46489344270766225937516411822282451*c_0101_6^22 - 5791870028362772877768125455726566788030192369923416/14532688396073\ 46489344270766225937516411822282451*c_0101_6^21 - 34523207070721395599567173631489612850297248344634390/1453268839607\ 346489344270766225937516411822282451*c_0101_6^20 + 103794057184827023432159455536244189594087959999584356/145326883960\ 7346489344270766225937516411822282451*c_0101_6^19 + 146394580751794223340378203911868423110820656659056604/145326883960\ 7346489344270766225937516411822282451*c_0101_6^18 - 468846046462065417956235681654879024962491128265443998/145326883960\ 7346489344270766225937516411822282451*c_0101_6^17 - 419578021516928784731859504261483499782156202947899032/145326883960\ 7346489344270766225937516411822282451*c_0101_6^16 + 847705909975603403080033112473057943685521994322977107/145326883960\ 7346489344270766225937516411822282451*c_0101_6^15 + 1025606121260711791437868726693817845274623641173495666/14532688396\ 07346489344270766225937516411822282451*c_0101_6^14 - 595953588894665392637852003133084256594553674290691138/145326883960\ 7346489344270766225937516411822282451*c_0101_6^13 - 1581144327180975312529167307089592153001998839931743112/14532688396\ 07346489344270766225937516411822282451*c_0101_6^12 - 180085726931541574374653672163681386153192126998917626/145326883960\ 7346489344270766225937516411822282451*c_0101_6^11 + 1036599403228620938450967772697572058369892384439033146/14532688396\ 07346489344270766225937516411822282451*c_0101_6^10 + 629955527589565234594998740375928318600193023726499467/145326883960\ 7346489344270766225937516411822282451*c_0101_6^9 - 105259639905563225593281310155911313223737884934878304/145326883960\ 7346489344270766225937516411822282451*c_0101_6^8 - 302783290995235789745638463887823939070406332893678923/145326883960\ 7346489344270766225937516411822282451*c_0101_6^7 - 125681089076730566053139366691616406772668833030315354/145326883960\ 7346489344270766225937516411822282451*c_0101_6^6 + 1678971364575563950696574646615713117405493952699931/14532688396073\ 46489344270766225937516411822282451*c_0101_6^5 + 19862067605846110049913890533203528142914937397419218/1453268839607\ 346489344270766225937516411822282451*c_0101_6^4 + 6092888678362339961958173303969371003996664416976011/14532688396073\ 46489344270766225937516411822282451*c_0101_6^3 + 48569360738557432889406732451878945099580838375233/1453268839607346\ 489344270766225937516411822282451*c_0101_6^2 - 313375470830896302703557730977519493957232896928135/145326883960734\ 6489344270766225937516411822282451*c_0101_6 - 61130399542638853456783032404748296756113473687387/1453268839607346\ 489344270766225937516411822282451, c_0101_2 + 74347433953134726222883912765757131527200445973464/145326883\ 9607346489344270766225937516411822282451*c_0101_6^23 - 1104939989960141531146756337617186790823017228283740/14532688396073\ 46489344270766225937516411822282451*c_0101_6^22 + 2370056051353004029401001671443084915298372807510500/14532688396073\ 46489344270766225937516411822282451*c_0101_6^21 + 14373817725572791358285424234803308483750100580436161/1453268839607\ 346489344270766225937516411822282451*c_0101_6^20 - 42633380974440163369115689302219671926806052854214284/1453268839607\ 346489344270766225937516411822282451*c_0101_6^19 - 61872093304028347360494340002950310765502046418578965/1453268839607\ 346489344270766225937516411822282451*c_0101_6^18 + 192797842436046112119432440784292467598607381088667729/145326883960\ 7346489344270766225937516411822282451*c_0101_6^17 + 179363934302699007301731127771520891431293970796685969/145326883960\ 7346489344270766225937516411822282451*c_0101_6^16 - 347350603552675241642400684571401365812955149356246801/145326883960\ 7346489344270766225937516411822282451*c_0101_6^15 - 435314067696153089215311453128445735932672634085536722/145326883960\ 7346489344270766225937516411822282451*c_0101_6^14 + 237102898709526018372324062350174871104180926626614130/145326883960\ 7346489344270766225937516411822282451*c_0101_6^13 + 663851681647324357085448003651198781468051836533111714/145326883960\ 7346489344270766225937516411822282451*c_0101_6^12 + 90896192525549202115992913065661361110419309718014498/1453268839607\ 346489344270766225937516411822282451*c_0101_6^11 - 430635595341087924764396538320508029722647395493749756/145326883960\ 7346489344270766225937516411822282451*c_0101_6^10 - 272704175481560499619633349579781150310629678907933604/145326883960\ 7346489344270766225937516411822282451*c_0101_6^9 + 39063137130539397091714624193737872206866952659083677/1453268839607\ 346489344270766225937516411822282451*c_0101_6^8 + 127634910306751419832544370314294995432616512177987054/145326883960\ 7346489344270766225937516411822282451*c_0101_6^7 + 54842872320312965743963041056831708252235121827151161/1453268839607\ 346489344270766225937516411822282451*c_0101_6^6 + 88271995979439780945214136622363666649154723853577/1453268839607346\ 489344270766225937516411822282451*c_0101_6^5 - 8393137605660047544172957653475471851880722252849391/14532688396073\ 46489344270766225937516411822282451*c_0101_6^4 - 2655399583619952463497483914683686993084305408951566/14532688396073\ 46489344270766225937516411822282451*c_0101_6^3 - 44459180212189283570348196531021584318333858544302/1453268839607346\ 489344270766225937516411822282451*c_0101_6^2 + 134546262952421453306078463569104812618652436562779/145326883960734\ 6489344270766225937516411822282451*c_0101_6 + 26368667312191719454057165872099921708947201285029/1453268839607346\ 489344270766225937516411822282451, c_0101_3 + 7351238225128949409983994415003831687263211181824/1453268839\ 607346489344270766225937516411822282451*c_0101_6^23 - 109029072950267530636997854067073641442753354456352/145326883960734\ 6489344270766225937516411822282451*c_0101_6^22 + 231105022926215023687124371046975727245736347772216/145326883960734\ 6489344270766225937516411822282451*c_0101_6^21 + 1426994759037467209088147518428684273072239215504940/14532688396073\ 46489344270766225937516411822282451*c_0101_6^20 - 4168475146535861872723308271911673866796773039117672/14532688396073\ 46489344270766225937516411822282451*c_0101_6^19 - 6230309908006581198161454790359861179236602625782021/14532688396073\ 46489344270766225937516411822282451*c_0101_6^18 + 18812998922997725748506846250749568752658059516444456/1453268839607\ 346489344270766225937516411822282451*c_0101_6^17 + 18269596037021499167243122064896014903011135715496580/1453268839607\ 346489344270766225937516411822282451*c_0101_6^16 - 33502055504884368941623600243861267279934474699493717/1453268839607\ 346489344270766225937516411822282451*c_0101_6^15 - 44007335926267992504049695139456827845974986276316828/1453268839607\ 346489344270766225937516411822282451*c_0101_6^14 + 21479104916852463242477281642233313949818863841182342/1453268839607\ 346489344270766225937516411822282451*c_0101_6^13 + 66063466241289815305824801306145926347888506497228157/1453268839607\ 346489344270766225937516411822282451*c_0101_6^12 + 11775158482185001910841471061324811829909861619965762/1453268839607\ 346489344270766225937516411822282451*c_0101_6^11 - 41592861018460127229912071457478576247338117441851433/1453268839607\ 346489344270766225937516411822282451*c_0101_6^10 - 28795331124060065573385701143901166758478247480792259/1453268839607\ 346489344270766225937516411822282451*c_0101_6^9 + 2295358442536447723101347998066444901413562123613960/14532688396073\ 46489344270766225937516411822282451*c_0101_6^8 + 12789597904987937902447364396054982034425223413320170/1453268839607\ 346489344270766225937516411822282451*c_0101_6^7 + 6133938167206283169119248653184880899247505807911474/14532688396073\ 46489344270766225937516411822282451*c_0101_6^6 + 282613090372889045251305708188158504319582174942534/145326883960734\ 6489344270766225937516411822282451*c_0101_6^5 - 856552861979421253062741927960525413234473326677500/145326883960734\ 6489344270766225937516411822282451*c_0101_6^4 - 315956514478804753386204193093421649006155100277147/145326883960734\ 6489344270766225937516411822282451*c_0101_6^3 - 18140167162861428151946617997365198721902128512352/1453268839607346\ 489344270766225937516411822282451*c_0101_6^2 + 15060769135625125332223694860147358768953656429375/1453268839607346\ 489344270766225937516411822282451*c_0101_6 + 2644484023162854133339522028652203803943053886347/14532688396073464\ 89344270766225937516411822282451, c_0101_6^24 - 29/2*c_0101_6^23 + 53/2*c_0101_6^22 + 1639/8*c_0101_6^21 - 1007/2*c_0101_6^20 - 4159/4*c_0101_6^19 + 18339/8*c_0101_6^18 + 13403/4*c_0101_6^17 - 30399/8*c_0101_6^16 - 60359/8*c_0101_6^15 + 8565/8*c_0101_6^14 + 10082*c_0101_6^13 + 35639/8*c_0101_6^12 - 10697/2*c_0101_6^11 - 46121/8*c_0101_6^10 - 6443/8*c_0101_6^9 + 7631/4*c_0101_6^8 + 2723/2*c_0101_6^7 + 1073/4*c_0101_6^6 - 113*c_0101_6^5 - 615/8*c_0101_6^4 - 27/2*c_0101_6^3 + 13/8*c_0101_6^2 + c_0101_6 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB