Magma V2.19-8 Tue Aug 20 2013 16:17:53 on localhost [Seed = 3852761369] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2116 geometric_solution 5.61404910 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.303550074479 0.213665782708 0 0 2 2 0132 2310 2310 0132 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 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 1.455834556706 1.428146288527 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 -1 0 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 0 0 -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 0.649785911705 0.275896508269 2 4 6 5 0132 0321 0132 0132 0 0 0 0 0 -1 1 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 -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.903644592571 0.960275151058 6 5 2 3 0132 2310 0132 0321 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 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.903644592571 0.960275151058 5 5 3 4 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.484163712249 0.754003094590 4 6 6 3 0132 1230 3012 0132 0 0 0 0 0 1 0 -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 -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.244307997818 0.612803525316 ==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_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], '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' : d['c_0011_5'], '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_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_2'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), '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_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 2862800188126791003711515888691993750016559633658700038721919845/25\ 915659460988822283946911362778587961214059938708377445210950703*c_0\ 101_3^20 - 49572999544648883027207029698256950399645342119123019017\ 257406860/259156594609888222839469113627785879612140599387083774452\ 10950703*c_0101_3^19 + 43660688854698111822767831499441106465331618\ 4390316633620727251952/25915659460988822283946911362778587961214059\ 938708377445210950703*c_0101_3^18 - 33928698289890222524476784739233662997848744533289724451887469910/2\ 91187184954930587460077655761557168103528763356273903878774727*c_01\ 01_3^17 + 177358356043718230177850563081550855640991694911795370546\ 10922189630/2591565946098882228394691136277858796121405993870837744\ 5210950703*c_0101_3^16 - 788274892529455288513758310660164063549406\ 45675351094643963279057302/2591565946098882228394691136277858796121\ 4059938708377445210950703*c_0101_3^15 + 2371904273114757199167267403450186622862645674659866982539489400551\ 44/2591565946098882228394691136277858796121405993870837744521095070\ 3*c_0101_3^14 - 413708456685215302842067871415165128577208656999187\ 103801395448619830/259156594609888222839469113627785879612140599387\ 08377445210950703*c_0101_3^13 + 19975085162549539566291379670567806\ 8790060522809411867896999968867952/25915659460988822283946911362778\ 587961214059938708377445210950703*c_0101_3^12 + 7851482284235482753075088545956534426664225713951597984907314819836\ /291187184954930587460077655761557168103528763356273903878774727*c_\ 0101_3^11 - 1342665974792520359343078766124313932882297439056358530\ 389681584541512/259156594609888222839469113627785879612140599387083\ 77445210950703*c_0101_3^10 + 35292061224723805559528740988879482385\ 0157046116734265939941853794596/25915659460988822283946911362778587\ 961214059938708377445210950703*c_0101_3^9 + 1799954961694079778941595425396398693579302931064941175851617580406\ 7/439248465440488513287235785809806575613797626079803007545948317*c\ _0101_3^8 - 5220474478333597913068593183861554408652287450329939204\ 76325315114866/2591565946098882228394691136277858796121405993870837\ 7445210950703*c_0101_3^7 - 6908357090291528553332197095618912477359\ 18462858195100103587574627724/2591565946098882228394691136277858796\ 1214059938708377445210950703*c_0101_3^6 + 2729040182073020233353595742707411186651845470742096486628697346170\ 82/2591565946098882228394691136277858796121405993870837744521095070\ 3*c_0101_3^5 + 5607099683824555536884433894156838248068115358288363\ 99038628260898145/2591565946098882228394691136277858796121405993870\ 8377445210950703*c_0101_3^4 - 4102283094639234206096081057436104832\ 26702023325812023794414736462874/2591565946098882228394691136277858\ 7961214059938708377445210950703*c_0101_3^3 + 1704557372463726267688923420629724677942314473920277768311665948830\ 6/25915659460988822283946911362778587961214059938708377445210950703\ *c_0101_3^2 + 58683570249627764737948265326918244167923523606318274\ 215070855005726/259156594609888222839469113627785879612140599387083\ 77445210950703*c_0101_3 - 16706158372105168688571348313785614408866\ 477210048381541240154258603/259156594609888222839469113627785879612\ 14059938708377445210950703, c_0011_0 - 1, c_0011_2 - 244938229218836488024332914804516337936128083888740/30314622\ 2492206737849022591299281964702768401142169381*c_0101_3^20 + 3880946884077109604080499674749687047990600827109461/30314622249220\ 6737849022591299281964702768401142169381*c_0101_3^19 - 31534494288158792403337452379280647371881677236133830/3031462224922\ 06737849022591299281964702768401142169381*c_0101_3^18 + 210165275098312695329581833377952847663705603154608502/303146222492\ 206737849022591299281964702768401142169381*c_0101_3^17 - 1193290023829613462439869630814451410855068463960179369/30314622249\ 2206737849022591299281964702768401142169381*c_0101_3^16 + 4887945509015750949275943753731890364000138576752864941/30314622249\ 2206737849022591299281964702768401142169381*c_0101_3^15 - 12524278205717232845852824291031622209840016088378708083/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^14 + 14537786100795638021160810095070055328415490104424312872/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^13 + 10903734382881299878331745037712999744371208276006477252/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^12 - 52877968459306187153006873135806644398257968183097676903/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^11 + 35586843040546986457156676560903574734173123526175874383/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^10 + 47032540685133358893435508751767767730707880170371193333/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^9 - 47722685936113543007790891677345996632844023838399048344/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^8 - 37465035619629736616445037856844223894858457299181746536/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^7 + 31432574163371395410045590393163653954028403956365051608/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^6 + 29839875988903959615467231290660692838825313543576939604/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^5 - 22119265739357586811570884715604858977468854005344580234/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^4 - 4787104244307647132414737324620406574270178268020343290/30314622249\ 2206737849022591299281964702768401142169381*c_0101_3^3 + 5035932369094433817229347157151063102118037558984223366/30314622249\ 2206737849022591299281964702768401142169381*c_0101_3^2 - 438899587538268705213807539353595586938446567689468460/303146222492\ 206737849022591299281964702768401142169381*c_0101_3 - 590491851347440135033997498586096997998968810869033001/303146222492\ 206737849022591299281964702768401142169381, c_0011_4 + 1094892384256132473123747741863442385122278360854063761234/1\ 41421653693506841894161076134801927199382595122036864438453*c_0101_\ 3^20 - 17358823679756579624129149220567010314254624862718451982363/\ 141421653693506841894161076134801927199382595122036864438453*c_0101\ _3^19 + 14101774865878517684327962319526057979048458517466959793795\ 0/141421653693506841894161076134801927199382595122036864438453*c_01\ 01_3^18 - 939190034996493982388341178719092947697170834290467997599\ 097/141421653693506841894161076134801927199382595122036864438453*c_\ 0101_3^17 + 5330890403848339139169115860978836345036523213437367895\ 065019/141421653693506841894161076134801927199382595122036864438453\ *c_0101_3^16 - 2182075824151963218672428351156242409252833900063810\ 3932297625/14142165369350684189416107613480192719938259512203686443\ 8453*c_0101_3^15 + 557518026543263473834006597237539635467257200746\ 21158174714813/1414216536935068418941610761348019271993825951220368\ 64438453*c_0101_3^14 - 63849862341724680058893746108067654160169476\ 419040651637852671/141421653693506841894161076134801927199382595122\ 036864438453*c_0101_3^13 - 5177171529305307377053865882890677398899\ 4537387881682517481248/14142165369350684189416107613480192719938259\ 5122036864438453*c_0101_3^12 + 239296879815139736522650400872952758\ 445601193644259334769210678/141421653693506841894161076134801927199\ 382595122036864438453*c_0101_3^11 - 155186458382285814378199484489896954371059358608960880842210195/141\ 421653693506841894161076134801927199382595122036864438453*c_0101_3^\ 10 - 22075525634212464708125806682019918404519404797568517453237880\ 1/141421653693506841894161076134801927199382595122036864438453*c_01\ 01_3^9 + 3609594040355568578601623627193122492407675133471459557626\ 485/2396977181245878676172221629403422494904789747831133295567*c_01\ 01_3^8 + 1792260830525383201040459341613305145222117999211925572279\ 40552/141421653693506841894161076134801927199382595122036864438453*\ c_0101_3^7 - 136749322370540696731179106993566989619046808520624647\ 399431301/141421653693506841894161076134801927199382595122036864438\ 453*c_0101_3^6 - 14163513722280426647020425188369634082690123569637\ 3047865711053/14142165369350684189416107613480192719938259512203686\ 4438453*c_0101_3^5 + 9521100625430618403570405478172570780252269316\ 9501433242311078/14142165369350684189416107613480192719938259512203\ 6864438453*c_0101_3^4 + 2378209561597361887240049251877096993973622\ 1125829223494084342/14142165369350684189416107613480192719938259512\ 2036864438453*c_0101_3^3 - 2237641778666762836681324486579312028204\ 4811435916468431845681/14142165369350684189416107613480192719938259\ 5122036864438453*c_0101_3^2 + 8814174789716490919826403317412177802\ 52123615617074805208771/1414216536935068418941610761348019271993825\ 95122036864438453*c_0101_3 + 20719390755127981339057293199325346120\ 43342876377731060293427/1414216536935068418941610761348019271993825\ 95122036864438453, c_0011_5 - 231360552741017431384524890261327699081031629686201793150887\ /12586527178722108928580335775997371520745050965861280935022317*c_0\ 101_3^20 + 36872739305099125745472136287649923190781731423229952991\ 22904/1258652717872210892858033577599737152074505096586128093502231\ 7*c_0101_3^19 - 300933964334444436631417510265196228276102529845112\ 16024053247/1258652717872210892858033577599737152074505096586128093\ 5022317*c_0101_3^18 + 225613487236584270605147352161278114374828048\ 4774201004599760/14142165369350684189416107613480192719938259512203\ 6864438453*c_0101_3^17 - 114190846908777714766570125377618958010322\ 3843136186984495719238/12586527178722108928580335775997371520745050\ 965861280935022317*c_0101_3^16 + 4697765242099843772631520807552585\ 887025308681758287320101695549/125865271787221089285803357759973715\ 20745050965861280935022317*c_0101_3^15 - 12127035294273164288126603028457122271761639593017691976782428825/1\ 2586527178722108928580335775997371520745050965861280935022317*c_010\ 1_3^14 + 1433366096782275205866804633059088555702311132001747409183\ 7002184/12586527178722108928580335775997371520745050965861280935022\ 317*c_0101_3^13 + 1010091025720072186687025816856522068421848189830\ 2892381101349937/12586527178722108928580335775997371520745050965861\ 280935022317*c_0101_3^12 - 5793914138528819828078126414323925947043\ 45914720241475477699833/1414216536935068418941610761348019271993825\ 95122036864438453*c_0101_3^11 + 36162417215426410875662524118100220\ 529334434742058005340421179459/125865271787221089285803357759973715\ 20745050965861280935022317*c_0101_3^10 + 45296105384247792547746367032502184265982692415849025999043954512/1\ 2586527178722108928580335775997371520745050965861280935022317*c_010\ 1_3^9 - 82093439328622764686445978014520925838632053386405186636290\ 4102/213330969130883202179327725016904602046526287556970863305463*c\ _0101_3^8 - 3630790903185673570102510837689743515230334419383241053\ 7720161384/12586527178722108928580335775997371520745050965861280935\ 022317*c_0101_3^7 + 31803569689205501319328367056692319408361969177\ 981027517501690683/125865271787221089285803357759973715207450509658\ 61280935022317*c_0101_3^6 + 293821350387637370748124906144774415219\ 22023099309228461041040990/1258652717872210892858033577599737152074\ 5050965861280935022317*c_0101_3^5 - 22000205611808166287052746162990030222134565672137601567760644441/1\ 2586527178722108928580335775997371520745050965861280935022317*c_010\ 1_3^4 - 44786369139060798840560050250734586830636890700427137334404\ 99060/1258652717872210892858033577599737152074505096586128093502231\ 7*c_0101_3^3 + 4912540732544673261919970536803699991212448366808989\ 423467521018/125865271787221089285803357759973715207450509658612809\ 35022317*c_0101_3^2 - 274583080640073995634467571535763952383743085\ 351607781082625656/125865271787221089285803357759973715207450509658\ 61280935022317*c_0101_3 - 44192370901508309926140763635734334021217\ 4737331195974262564538/12586527178722108928580335775997371520745050\ 965861280935022317, c_0101_0 + 23731162267567737326495094214760303669749793869321425041/159\ 1820814306577580445217626912529596654236874397531419631*c_0101_3^20 - 377789214227391156834440526109011772773664608964483554987/1591820\ 814306577580445217626912529596654236874397531419631*c_0101_3^19 + 3079947100054966961095893145321379405014646895009581440850/15918208\ 14306577580445217626912529596654236874397531419631*c_0101_3^18 - 230783962867837798197240876827128007500182014335156626589/178856271\ 27040197533092332886657635917463335667387993479*c_0101_3^17 + 116748215877212341526686586651616700384680380667002198190761/159182\ 0814306577580445217626912529596654236874397531419631*c_0101_3^16 - 479683076739581297520001068188511567054737652872348956346778/159182\ 0814306577580445217626912529596654236874397531419631*c_0101_3^15 + 1234767675897706427246932161205289044212278124552144996279289/15918\ 20814306577580445217626912529596654236874397531419631*c_0101_3^14 - 1445506435864067698704290408629203339994779334472567252442503/15918\ 20814306577580445217626912529596654236874397531419631*c_0101_3^13 - 1070381514260748040649435704636327469490995369511803833137775/15918\ 20814306577580445217626912529596654236874397531419631*c_0101_3^12 + 59379650440301654682583394610463720975940460455805841538309/1788562\ 7127040197533092332886657635917463335667387993479*c_0101_3^11 - 3617152473266623687421967973813468193735330163157946379358949/15918\ 20814306577580445217626912529596654236874397531419631*c_0101_3^10 - 4749882204627742718194009959331862491691308352383923888864030/15918\ 20814306577580445217626912529596654236874397531419631*c_0101_3^9 + 83688451256574146176399718870439984495932775112330407087430/2698001\ 3801806399668563010625636094858546387701653074909*c_0101_3^8 + 3830759291748492006497390740873120306575966909003118403617198/15918\ 20814306577580445217626912529596654236874397531419631*c_0101_3^7 - 3258465293057552495635019706893391564669316410511965171464678/15918\ 20814306577580445217626912529596654236874397531419631*c_0101_3^6 - 3088789795750321603553358396716253228694333078143269671069722/15918\ 20814306577580445217626912529596654236874397531419631*c_0101_3^5 + 2242402844861479895743430227060378475056865881324410961559068/15918\ 20814306577580445217626912529596654236874397531419631*c_0101_3^4 + 521934166855461155102969741776572787218417933614056263393617/159182\ 0814306577580445217626912529596654236874397531419631*c_0101_3^3 - 518198741672225254095832605649007486161057416680709090265222/159182\ 0814306577580445217626912529596654236874397531419631*c_0101_3^2 + 20360025344570988419061528661399524101129751364449687003199/1591820\ 814306577580445217626912529596654236874397531419631*c_0101_3 + 47720421315735013412300192079599157220427409431547757877255/1591820\ 814306577580445217626912529596654236874397531419631, c_0101_1 + 250559991611845142425960819596874488161396891963471/30314622\ 2492206737849022591299281964702768401142169381*c_0101_3^20 - 4056998544934763198967201402387076790493042164977323/30314622249220\ 6737849022591299281964702768401142169381*c_0101_3^19 + 33579833567994427090339202706072004391960420032348494/3031462224922\ 06737849022591299281964702768401142169381*c_0101_3^18 - 225320561500286158797763833810134371111243064264862314/303146222492\ 206737849022591299281964702768401142169381*c_0101_3^17 + 1288482762101923246196568731392017628191146494996222535/30314622249\ 2206737849022591299281964702768401142169381*c_0101_3^16 - 5378928442142779092294842032162489348824148430218590817/30314622249\ 2206737849022591299281964702768401142169381*c_0101_3^15 + 14295469418936950105894904433555252055268076950775814748/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^14 - 18322009860018494530930422486762364109871219716795782946/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^13 - 8364528967993960766749507530894942863981284477445368074/30314622249\ 2206737849022591299281964702768401142169381*c_0101_3^12 + 60102704438601200105004468762846405566743383444129701562/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^11 - 51655869981475406353427652713149397567392357143684708879/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^10 - 45547808216176563699494637516388874004922393511212196654/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^9 + 68110906329825321642883227545997820302175016014053320463/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^8 + 33496775824237883338089802525917250997148060434342705998/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^7 - 49358840773514104033928265278998064868873186695967654725/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^6 - 30534849982587283759515762404766345471866549344100471973/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^5 + 34123701442256264687066444770859677094687152429151134940/3031462224\ 92206737849022591299281964702768401142169381*c_0101_3^4 + 4573230611852590704670793603450659989814552203902223294/30314622249\ 2206737849022591299281964702768401142169381*c_0101_3^3 - 7151282762404630983977228002829333574134163004442178142/30314622249\ 2206737849022591299281964702768401142169381*c_0101_3^2 + 651759657775191134759088234903366242900171566772530345/303146222492\ 206737849022591299281964702768401142169381*c_0101_3 + 468084526278447104605618560642049217186403842119737365/303146222492\ 206737849022591299281964702768401142169381, c_0101_3^21 - 17*c_0101_3^20 + 147*c_0101_3^19 - 1006*c_0101_3^18 + 5857*c_0101_3^17 - 25544*c_0101_3^16 + 73961*c_0101_3^15 - 117528*c_0101_3^14 + 21896*c_0101_3^13 + 269395*c_0101_3^12 - 392120*c_0101_3^11 - 32166*c_0101_3^10 + 418746*c_0101_3^9 - 63246*c_0101_3^8 - 306746*c_0101_3^7 + 18093*c_0101_3^6 + 231131*c_0101_3^5 - 80287*c_0101_3^4 - 43161*c_0101_3^3 + 23820*c_0101_3^2 + 864*c_0101_3 - 2059 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB