Magma V2.19-8 Tue Aug 20 2013 16:17:51 on localhost [Seed = 88381944] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2095 geometric_solution 5.60080211 oriented_manifold CS_known -0.0000000000000003 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.464242818558 0.297088182211 2 0 3 0 0132 2310 0132 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 0 0 0 0 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.007550695884 0.680874359563 1 4 3 5 0132 0132 3012 0132 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 -1 0 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 1.090397268668 0.909545656717 5 2 4 1 3201 1230 1023 0132 0 0 0 0 0 0 0 0 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 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 1.090397268668 0.909545656717 4 2 3 4 3201 0132 1023 2310 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 1 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 0 0 0 0.002600975994 0.780079038505 6 6 2 3 0132 3201 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534347709930 1.054679515150 5 6 5 6 0132 2310 2310 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.783598355222 0.481424558342 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : 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' : 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_5'], 'c_1100_5' : d['c_0011_3'], '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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_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_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1453795351587076016481021088319262148400104927992817289/45707846771\ 193208391491267167813560883953939532574976*c_0101_3^22 + 17246738099504693488131475559311138928634112782333417423/2285392338\ 55966041957456335839067804419769697662874880*c_0101_3^21 - 6370526719251915855979687020828177004728321951060100855/28567404231\ 99575524468204197988347555247121220785936*c_0101_3^20 - 95358634861919777621097258414176147429129064617732321727/2285392338\ 55966041957456335839067804419769697662874880*c_0101_3^19 + 4789079524453966730627254297779486008276803759521068932977/22853923\ 3855966041957456335839067804419769697662874880*c_0101_3^18 - 939870656128447850355290195049515880149187056946057092435/457078467\ 71193208391491267167813560883953939532574976*c_0101_3^17 - 7518835204515384099120578067734076607764070813117439111859/22853923\ 3855966041957456335839067804419769697662874880*c_0101_3^16 - 6588210216007295348654710869886298573427438079854419891917/22853923\ 3855966041957456335839067804419769697662874880*c_0101_3^15 + 8184508854670513941981176366564713040532817745882880877751/57134808\ 463991510489364083959766951104942424415718720*c_0101_3^14 - 4101121464815071391129482207209746674662491630979036478509/57134808\ 463991510489364083959766951104942424415718720*c_0101_3^13 - 5017843736844943965448824034624886799340707305826783800303/22853923\ 3855966041957456335839067804419769697662874880*c_0101_3^12 + 52243192164821119969981230731341329162472183790383624020477/2285392\ 33855966041957456335839067804419769697662874880*c_0101_3^11 - 107322036850229399504726037400835359774312629896815578774307/114269\ 616927983020978728167919533902209884848831437440*c_0101_3^10 + 243763032524612820086086955034108450676397922743185284782209/228539\ 233855966041957456335839067804419769697662874880*c_0101_3^9 + 74928440733609008204380003918904083916960684424229099604147/4570784\ 6771193208391491267167813560883953939532574976*c_0101_3^8 - 617968782759421977112811238586321804901699380788115533962411/228539\ 233855966041957456335839067804419769697662874880*c_0101_3^7 - 253328634581921750070958106012262854071341747584332441259101/228539\ 233855966041957456335839067804419769697662874880*c_0101_3^6 + 618559730671058607196373774248526333997184868588319908069507/228539\ 233855966041957456335839067804419769697662874880*c_0101_3^5 - 88247902428991469063882439589734675162464225602535415733981/2285392\ 33855966041957456335839067804419769697662874880*c_0101_3^4 - 77356854539443592374999556993529175665192697622359119011463/1142696\ 16927983020978728167919533902209884848831437440*c_0101_3^3 + 42060978115965926438348936324718554454333429966783505345113/2285392\ 33855966041957456335839067804419769697662874880*c_0101_3^2 + 248597974097150562325611155181670693707135629611602345077/571348084\ 6399151048936408395976695110494242441571872*c_0101_3 - 11947570070315547183857523346648280474500344916003889312/8927313822\ 49867351396313811871358611014725381495605, c_0011_0 - 1, c_0011_1 - 9704157523694067831832580846600589402464787690142967/2285392\ 33855966041957456335839067804419769697662874880*c_0101_3^22 - 24526815778996946115550432727681820740589412670059363/2285392338559\ 66041957456335839067804419769697662874880*c_0101_3^21 + 5280481820396241753034212136394978382826713192837747/17854627644997\ 34702792627623742717222029450762991210*c_0101_3^20 + 229866055555530695021361365359999221563509755686012021/228539233855\ 966041957456335839067804419769697662874880*c_0101_3^19 - 6311702940257774526585668029495962426273938964345932601/22853923385\ 5966041957456335839067804419769697662874880*c_0101_3^18 + 5336797676523741678508267059640519162127709652278703297/22853923385\ 5966041957456335839067804419769697662874880*c_0101_3^17 + 10444544051487324481025040670224559031007906564060848711/2285392338\ 55966041957456335839067804419769697662874880*c_0101_3^16 + 10567679757159222226186534951015914565600889413489854903/2285392338\ 55966041957456335839067804419769697662874880*c_0101_3^15 - 20633775033369574169804928230517560071524669731858977787/1142696169\ 27983020978728167919533902209884848831437440*c_0101_3^14 + 8335103449308992607304718372671424692934626913462851333/11426961692\ 7983020978728167919533902209884848831437440*c_0101_3^13 + 7017554397599946892622789993764889228578648482545295891/22853923385\ 5966041957456335839067804419769697662874880*c_0101_3^12 - 13727472933758169081662469659718726997355188536327726595/4570784677\ 1193208391491267167813560883953939532574976*c_0101_3^11 + 69099224959611761300289940518291452671431986801517308111/5713480846\ 3991510489364083959766951104942424415718720*c_0101_3^10 - 287207337553350823864842152491346846014965415644868484349/228539233\ 855966041957456335839067804419769697662874880*c_0101_3^9 - 527668617941418426031253414935162824869883765358209969557/228539233\ 855966041957456335839067804419769697662874880*c_0101_3^8 + 731954948307320123995322275597856761702200649636104760111/228539233\ 855966041957456335839067804419769697662874880*c_0101_3^7 + 409050322906310394646964635929951150912202473778691639431/228539233\ 855966041957456335839067804419769697662874880*c_0101_3^6 - 733617981272124543239828114258955080725690875727244586427/228539233\ 855966041957456335839067804419769697662874880*c_0101_3^5 + 46840802901933290534670443178653047132373790163048868291/2285392338\ 55966041957456335839067804419769697662874880*c_0101_3^4 + 46235117891904083308762741079773427102353056602477420633/5713480846\ 3991510489364083959766951104942424415718720*c_0101_3^3 - 38443735744115930908886842125882758870498166370263717317/2285392338\ 55966041957456335839067804419769697662874880*c_0101_3^2 - 75714182135822641190741538668175552247954934560421583/1428370211599\ 787762234102098994173777623560610392968*c_0101_3 + 19595195091927377691637237000644440329631945063460829/1428370211599\ 787762234102098994173777623560610392968, c_0011_3 - 7416441186851196902591695075623167485045218982210459/2285392\ 33855966041957456335839067804419769697662874880*c_0101_3^22 - 18077669103016945544116006425430574998689159142491511/2285392338559\ 66041957456335839067804419769697662874880*c_0101_3^21 + 129697858791087868535751239350408699934860227509027803/571348084639\ 91510489364083959766951104942424415718720*c_0101_3^20 + 131018256780043120240100167192235156696815545027764877/228539233855\ 966041957456335839067804419769697662874880*c_0101_3^19 - 4876069896128133107790728982376424412681289771553229817/22853923385\ 5966041957456335839067804419769697662874880*c_0101_3^18 + 4471179048564369442430001997806561935963185289339895349/22853923385\ 5966041957456335839067804419769697662874880*c_0101_3^17 + 7935956162696128202755053634457680501420251495244002747/22853923385\ 5966041957456335839067804419769697662874880*c_0101_3^16 + 7308062558298332783592662274678512805290633298900819551/22853923385\ 5966041957456335839067804419769697662874880*c_0101_3^15 - 16438154743407963316163702747150312658900705946066938949/1142696169\ 27983020978728167919533902209884848831437440*c_0101_3^14 + 7247585434213281338909512254301771123247367425757950661/11426961692\ 7983020978728167919533902209884848831437440*c_0101_3^13 + 5669370604680082567091367662673018133409594436978672307/22853923385\ 5966041957456335839067804419769697662874880*c_0101_3^12 - 10554800917647355896678566128398144977714955467187298087/4570784677\ 1193208391491267167813560883953939532574976*c_0101_3^11 + 53943600275846908328559570955930806376507900667826644967/5713480846\ 3991510489364083959766951104942424415718720*c_0101_3^10 - 234830058132060689475605990517667005421228437508225444173/228539233\ 855966041957456335839067804419769697662874880*c_0101_3^9 - 396179851556132796853771529336424862670415930408377694129/228539233\ 855966041957456335839067804419769697662874880*c_0101_3^8 + 602095795679998476252361937148910410423950370450844128787/228539233\ 855966041957456335839067804419769697662874880*c_0101_3^7 + 296272094662710840544279140849585472953969639174674543487/228539233\ 855966041957456335839067804419769697662874880*c_0101_3^6 - 602700329734669616949158609595587089609094661898774546699/228539233\ 855966041957456335839067804419769697662874880*c_0101_3^5 + 53584792033782641652983131107639354731031683107933117327/2285392338\ 55966041957456335839067804419769697662874880*c_0101_3^4 + 38096384188699167727854723151055979101286232287553962861/5713480846\ 3991510489364083959766951104942424415718720*c_0101_3^3 - 34201941605171722400928035082751345556881057989578767829/2285392338\ 55966041957456335839067804419769697662874880*c_0101_3^2 - 61225544698135779766059677197370255358928883613187715/1428370211599\ 787762234102098994173777623560610392968*c_0101_3 + 16509281686702248593349186876519067399137552911420189/1428370211599\ 787762234102098994173777623560610392968, c_0011_5 + 1037864468871330234918679917252126373267931307740757/1142696\ 1692798302097872816791953390220988484883143744*c_0101_3^22 + 2499278089325483844729163115468888304507548263413341/11426961692798\ 302097872816791953390220988484883143744*c_0101_3^21 - 72667012341361483704156978732372293172317532923523397/1142696169279\ 8302097872816791953390220988484883143744*c_0101_3^20 - 8081521898147841813724081659777250851487061903090803/57134808463991\ 51048936408395976695110494242441571872*c_0101_3^19 + 341217226392435762506498041140258974541313676626866551/571348084639\ 9151048936408395976695110494242441571872*c_0101_3^18 - 647064285065827462927335748282478441749892140432079751/114269616927\ 98302097872816791953390220988484883143744*c_0101_3^17 - 1088969491400421262468517544355322006492260057763566071/11426961692\ 798302097872816791953390220988484883143744*c_0101_3^16 - 492445890565343867676838023904320496120557127013517889/571348084639\ 9151048936408395976695110494242441571872*c_0101_3^15 + 4625060019707436339924735556137804248735928870196230947/11426961692\ 798302097872816791953390220988484883143744*c_0101_3^14 - 1095556272106517041211005361183782812691730618387723995/57134808463\ 99151048936408395976695110494242441571872*c_0101_3^13 - 11595144824118605064376793482932984272386723894146432/1785462764499\ 73470279262762374271722202945076299121*c_0101_3^12 + 7424873933514106776643011986311533435056635621062770405/11426961692\ 798302097872816791953390220988484883143744*c_0101_3^11 - 1899926965224925107550459090536234996868002366598433483/71418510579\ 9893881117051049497086888811780305196484*c_0101_3^10 + 16899875176402995269892831775563875378024696866343240383/5713480846\ 399151048936408395976695110494242441571872*c_0101_3^9 + 54373141522992420805442340684647376534840196288752330405/1142696169\ 2798302097872816791953390220988484883143744*c_0101_3^8 - 86008982555014608004734921013362949734447571371804598619/1142696169\ 2798302097872816791953390220988484883143744*c_0101_3^7 - 19262660251236131213055759201643753415806554840109688627/5713480846\ 399151048936408395976695110494242441571872*c_0101_3^6 + 43053327218750168186614375959863315761307462632537031223/5713480846\ 399151048936408395976695110494242441571872*c_0101_3^5 - 10304739630320245038830519208069910450256413652943414745/1142696169\ 2798302097872816791953390220988484883143744*c_0101_3^4 - 10813853760020264103109418151241049813428708734569838311/5713480846\ 399151048936408395976695110494242441571872*c_0101_3^3 + 170758009673067673512751313033912690082825363174320039/357092552899\ 946940558525524748543444405890152598242*c_0101_3^2 + 44034441946409711335078346253564672574323261033974139/3570925528999\ 46940558525524748543444405890152598242*c_0101_3 - 6448645531927512114159670146555130260713585207869209/17854627644997\ 3470279262762374271722202945076299121, c_0101_0 + 833443837601821284471455759858580982831986527912993/57134808\ 463991510489364083959766951104942424415718720*c_0101_3^22 + 3680993861802935213275458329458986048985616304848309/11426961692798\ 3020978728167919533902209884848831437440*c_0101_3^21 - 14717505960481093729455035698594800584236271423395351/1428370211599\ 7877622341020989941737776235606103929680*c_0101_3^20 - 1669373346219442303833358315445508021726679509925729/57134808463991\ 510489364083959766951104942424415718720*c_0101_3^19 + 1116852352568256768850430830557149916157521840375897453/11426961692\ 7983020978728167919533902209884848831437440*c_0101_3^18 - 77798526603122228197326168371090938067346785281331261/7141851057998\ 938811170510494970868888117803051964840*c_0101_3^17 - 1683805285614568897645330446199169922538855875596593093/11426961692\ 7983020978728167919533902209884848831437440*c_0101_3^16 - 589691960107858508045925191542130825337872229121728007/571348084639\ 91510489364083959766951104942424415718720*c_0101_3^15 + 8019515274150494088010934469635740792144985390687135857/11426961692\ 7983020978728167919533902209884848831437440*c_0101_3^14 - 4611151961740310888924188546741154348473635345433917123/11426961692\ 7983020978728167919533902209884848831437440*c_0101_3^13 - 1268411955476155476537868394397698024893041462135967953/11426961692\ 7983020978728167919533902209884848831437440*c_0101_3^12 + 1215274221939810849976119345596377949065666745182802185/11426961692\ 798302097872816791953390220988484883143744*c_0101_3^11 - 51039808936809045462084264576696851778880595113793408717/1142696169\ 27983020978728167919533902209884848831437440*c_0101_3^10 + 62515862807096060285193755496918619448379944492866853467/1142696169\ 27983020978728167919533902209884848831437440*c_0101_3^9 + 41115595670401676059551222311364824749695318916279597133/5713480846\ 3991510489364083959766951104942424415718720*c_0101_3^8 - 159418781827787557609376139338597922665120751006133523133/114269616\ 927983020978728167919533902209884848831437440*c_0101_3^7 - 24372053228212792597025673360407207118874411300558330439/5713480846\ 3991510489364083959766951104942424415718720*c_0101_3^6 + 160505787493163777497798595484041915763873010313629546151/114269616\ 927983020978728167919533902209884848831437440*c_0101_3^5 - 1826256383023370787980504003159856935407437364445750303/71418510579\ 98938811170510494970868888117803051964840*c_0101_3^4 - 41091284965996333225693382496027536566080612798103862481/1142696169\ 27983020978728167919533902209884848831437440*c_0101_3^3 + 11459242174221682608999983126764778846382187131824585471/1142696169\ 27983020978728167919533902209884848831437440*c_0101_3^2 + 17063274998910926005810236738752812724343511703266357/7141851057998\ 93881117051049497086888811780305196484*c_0101_3 - 4541216720857391905917642419116563466616080731539543/71418510579989\ 3881117051049497086888811780305196484, c_0101_1 + 17999160377024023026451256286667219770465331940862737/228539\ 233855966041957456335839067804419769697662874880*c_0101_3^22 + 44012609496423664602798178115891359369835323555190723/2285392338559\ 66041957456335839067804419769697662874880*c_0101_3^21 - 314600538598434656121478558078735928658451937889868759/571348084639\ 91510489364083959766951104942424415718720*c_0101_3^20 - 326564636812346157334524969792850426017948192273236511/228539233855\ 966041957456335839067804419769697662874880*c_0101_3^19 + 11809845877377605137049204058043940669888555758768451241/2285392338\ 55966041957456335839067804419769697662874880*c_0101_3^18 - 10789333163873321917630312325935413313312334551344342907/2285392338\ 55966041957456335839067804419769697662874880*c_0101_3^17 - 19163706365918877175365521112161469195846112026759213751/2285392338\ 55966041957456335839067804419769697662874880*c_0101_3^16 - 17877610826250116307332373734372640922041136993378021653/2285392338\ 55966041957456335839067804419769697662874880*c_0101_3^15 + 9915741878352482421619675715361488882556632988056570723/28567404231\ 995755244682041979883475552471212207859360*c_0101_3^14 - 8823316537550042330554079602691434146097623699348465219/57134808463\ 991510489364083959766951104942424415718720*c_0101_3^13 - 13405331375730106152314198814350451618434560172785189791/2285392338\ 55966041957456335839067804419769697662874880*c_0101_3^12 + 25615307320975063154374710563823698716170439878745699285/4570784677\ 1193208391491267167813560883953939532574976*c_0101_3^11 - 261303916222988043708585744081051396213417997646518355907/114269616\ 927983020978728167919533902209884848831437440*c_0101_3^10 + 568060311907741565830300582796609073637728085228180640209/228539233\ 855966041957456335839067804419769697662874880*c_0101_3^9 + 958874094808778518776737387216452787236881258737745121587/228539233\ 855966041957456335839067804419769697662874880*c_0101_3^8 - 1451165670244129038800130748813466860769634286259640667951/22853923\ 3855966041957456335839067804419769697662874880*c_0101_3^7 - 710957854361531664015397571676225631003709060119211628341/228539233\ 855966041957456335839067804419769697662874880*c_0101_3^6 + 1454334073082856058779394927218706578489222635589555596187/22853923\ 3855966041957456335839067804419769697662874880*c_0101_3^5 - 134964036304869205782821240537274869769328776266318420961/228539233\ 855966041957456335839067804419769697662874880*c_0101_3^4 - 183765041592882646909394161576326046308724039384809058311/114269616\ 927983020978728167919533902209884848831437440*c_0101_3^3 + 82701671723554989648501891056481720012135184340915207017/2285392338\ 55966041957456335839067804419769697662874880*c_0101_3^2 + 150855724750742395654955923078042645459320941437459493/142837021159\ 9787762234102098994173777623560610392968*c_0101_3 - 39029976449910314249878478881461657938548764790323009/1428370211599\ 787762234102098994173777623560610392968, c_0101_3^23 + 2*c_0101_3^22 - 71*c_0101_3^21 + 13*c_0101_3^20 + 664*c_0101_3^19 - 892*c_0101_3^18 - 796*c_0101_3^17 - 518*c_0101_3^16 + 4845*c_0101_3^15 - 3932*c_0101_3^14 + 133*c_0101_3^13 + 7456*c_0101_3^12 - 32207*c_0101_3^11 + 44511*c_0101_3^10 + 39162*c_0101_3^9 - 104370*c_0101_3^8 - 3342*c_0101_3^7 + 98432*c_0101_3^6 - 43780*c_0101_3^5 - 17085*c_0101_3^4 + 13823*c_0101_3^3 - 737*c_0101_3^2 - 960*c_0101_3 + 160 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB