Magma V2.19-8 Tue Aug 20 2013 16:18:51 on localhost [Seed = 1781266203] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3022 geometric_solution 6.19417117 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 0 -1 0 0 1 -1 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.545590226280 0.719116896437 0 3 5 4 0132 0132 0132 0132 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 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.728348083682 1.118635174068 3 0 4 5 2310 0132 3201 2310 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 0 0 0 0 -1 0 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 0 0 0.728348083682 1.118635174068 3 1 2 3 3201 0132 3201 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 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.091476192793 0.783179517394 2 6 1 6 2310 0132 0132 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 0 0 0 0 0 0 0 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.134386031187 0.917919909201 2 5 5 1 3201 3201 2310 0132 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 1 -1 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.211469547528 0.652540917871 4 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.511341021478 0.228633451677 ==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' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], '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' : negation(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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 329873353278296725778967154271395425402446259036/344867319873912840\ 4338914739640723073633845499*c_0110_6^24 + 2921977844648151519208058561313984751108050761877/34486731987391284\ 04338914739640723073633845499*c_0110_6^23 - 17240949527138366317692756923937958488431613273025/3448673198739128\ 404338914739640723073633845499*c_0110_6^22 + 3054357624533264443097371978832578862965006638099/26528255374916372\ 3410685749203132544125680423*c_0110_6^21 - 97570856353291052026094883897972078175586130044946/3448673198739128\ 404338914739640723073633845499*c_0110_6^20 + 14472256976861684638638551393353408133809130113628/2652825537491637\ 23410685749203132544125680423*c_0110_6^19 - 166361165401019837185457053433858025496480837494064/344867319873912\ 8404338914739640723073633845499*c_0110_6^18 - 72110017477532197675146039399079048495437173181969/3448673198739128\ 404338914739640723073633845499*c_0110_6^17 + 961756168245920077757218297226005323073134961696750/344867319873912\ 8404338914739640723073633845499*c_0110_6^16 - 2612384943226624830956634420725027209039283322976698/34486731987391\ 28404338914739640723073633845499*c_0110_6^15 + 2630820757740404876883872226249959492781452386263932/34486731987391\ 28404338914739640723073633845499*c_0110_6^14 + 241226388056544167727578540828653634749287564090361/344867319873912\ 8404338914739640723073633845499*c_0110_6^13 - 2063004418095226515919700787558333916765867446096071/34486731987391\ 28404338914739640723073633845499*c_0110_6^12 + 734973834139114655132652372401692973415631813296433/344867319873912\ 8404338914739640723073633845499*c_0110_6^11 + 258011644716861062994676491985512290520148514900699/344867319873912\ 8404338914739640723073633845499*c_0110_6^10 + 487582480595527040201137209862340893440420148995448/344867319873912\ 8404338914739640723073633845499*c_0110_6^9 - 753305458844898963911573415153586473789396710113296/344867319873912\ 8404338914739640723073633845499*c_0110_6^8 + 160666856402892789330513938236556029218712021748338/344867319873912\ 8404338914739640723073633845499*c_0110_6^7 + 209312888792253386391490907674437433791297323549321/344867319873912\ 8404338914739640723073633845499*c_0110_6^6 - 162049177246204054531601576373940263144215082062106/344867319873912\ 8404338914739640723073633845499*c_0110_6^5 - 1011582886384979546885515293962799403438424590342/26528255374916372\ 3410685749203132544125680423*c_0110_6^4 + 2128979351061683414989984164867405472873403519019/34486731987391284\ 04338914739640723073633845499*c_0110_6^3 + 48508542989409494545710297267029635498979754323657/3448673198739128\ 404338914739640723073633845499*c_0110_6^2 - 5862144378126373719369343844709634103147817143179/34486731987391284\ 04338914739640723073633845499*c_0110_6 - 2762918750418672301859803598705935150204886873355/34486731987391284\ 04338914739640723073633845499, c_0011_0 - 1, c_0011_4 - 6366715602129697420190303334821956678176608/1396223967100861\ 7021615039431743818111877917*c_0110_6^24 - 58888159757586025263131295696966506128926032/1396223967100861702161\ 5039431743818111877917*c_0110_6^23 + 307846937625163094052834274085796594089373985/139622396710086170216\ 15039431743818111877917*c_0110_6^22 - 664147379763243940984440431255363134893743566/139622396710086170216\ 15039431743818111877917*c_0110_6^21 + 1701868420765813482425401476683734718834684269/13962239671008617021\ 615039431743818111877917*c_0110_6^20 - 3109295827657651280784988320588199117972787004/13962239671008617021\ 615039431743818111877917*c_0110_6^19 + 2395631172549008123240103788703763504851408563/13962239671008617021\ 615039431743818111877917*c_0110_6^18 + 1681749683231499038313111676234144849141174289/13962239671008617021\ 615039431743818111877917*c_0110_6^17 - 17635253646709490557121451774933376174600549101/1396223967100861702\ 1615039431743818111877917*c_0110_6^16 + 44231992835016516918766713946701131370856611762/1396223967100861702\ 1615039431743818111877917*c_0110_6^15 - 38214004017913546159039624739104783638097804435/1396223967100861702\ 1615039431743818111877917*c_0110_6^14 - 9653584571157905301306184924987401659713987570/13962239671008617021\ 615039431743818111877917*c_0110_6^13 + 31330377760788341386420845992219073720253772072/1396223967100861702\ 1615039431743818111877917*c_0110_6^12 - 8475696559283752508096918851691036991997845229/13962239671008617021\ 615039431743818111877917*c_0110_6^11 - 2409353272420628280015217011479572041462709750/13962239671008617021\ 615039431743818111877917*c_0110_6^10 - 9072535733221462430837168064942471258807137567/13962239671008617021\ 615039431743818111877917*c_0110_6^9 + 10466752086130362120592382953739659662948243312/1396223967100861702\ 1615039431743818111877917*c_0110_6^8 - 1809931351837782130214765407446839920072645127/13962239671008617021\ 615039431743818111877917*c_0110_6^7 - 3308518847017471119121302019354481854012768047/13962239671008617021\ 615039431743818111877917*c_0110_6^6 + 2302005530059502074615189880408860440060130091/13962239671008617021\ 615039431743818111877917*c_0110_6^5 + 290652328905965203390032223067248365995572600/139622396710086170216\ 15039431743818111877917*c_0110_6^4 + 248325857979147996500840285835966214130638103/139622396710086170216\ 15039431743818111877917*c_0110_6^3 - 583205954590208242508573854085182123263960236/139622396710086170216\ 15039431743818111877917*c_0110_6^2 + 75318436122268943914534818476764982834738161/1396223967100861702161\ 5039431743818111877917*c_0110_6 + 245925768347511260440507353301749\ 37402946759/13962239671008617021615039431743818111877917, c_0101_0 - 781305875024786665997280186076989466613893/13962239671008617\ 021615039431743818111877917*c_0110_6^24 - 7310273261034488631790958523033680150104457/13962239671008617021615\ 039431743818111877917*c_0110_6^23 + 37190119816722373470297990580671883711056862/1396223967100861702161\ 5039431743818111877917*c_0110_6^22 - 75457889158208601263647120042191071260059654/1396223967100861702161\ 5039431743818111877917*c_0110_6^21 + 193921774449655978009691836658980275486666772/139622396710086170216\ 15039431743818111877917*c_0110_6^20 - 350940582463856283691450429140201233839393935/139622396710086170216\ 15039431743818111877917*c_0110_6^19 + 224376883051560936240348166767142307146450040/139622396710086170216\ 15039431743818111877917*c_0110_6^18 + 268241800484024663700269887058144941243787631/139622396710086170216\ 15039431743818111877917*c_0110_6^17 - 2119541516277293474349418500993553103831882922/13962239671008617021\ 615039431743818111877917*c_0110_6^16 + 5101017144281717525297500612416728553686405411/13962239671008617021\ 615039431743818111877917*c_0110_6^15 - 3683933770774063416009448802802076514011042263/13962239671008617021\ 615039431743818111877917*c_0110_6^14 - 2284991182518295631858405148139198874374559738/13962239671008617021\ 615039431743818111877917*c_0110_6^13 + 3424217109058555292414506411785470024724874684/13962239671008617021\ 615039431743818111877917*c_0110_6^12 + 389914252647454295611856730301437589166019152/139622396710086170216\ 15039431743818111877917*c_0110_6^11 - 638537678452527358526630779162042992698387287/139622396710086170216\ 15039431743818111877917*c_0110_6^10 - 1646332391507522073050980785141264295577729553/13962239671008617021\ 615039431743818111877917*c_0110_6^9 + 1252009145027446891739003979538627072136327508/13962239671008617021\ 615039431743818111877917*c_0110_6^8 + 118547455623335217845107048013453448189863640/139622396710086170216\ 15039431743818111877917*c_0110_6^7 - 372643214080576681073568269364245437117479560/139622396710086170216\ 15039431743818111877917*c_0110_6^6 + 95475108873691342691345560369565838459158020/1396223967100861702161\ 5039431743818111877917*c_0110_6^5 + 142392667417090563305494133351857025188181735/139622396710086170216\ 15039431743818111877917*c_0110_6^4 + 48429829730353802340101741096830140242514659/1396223967100861702161\ 5039431743818111877917*c_0110_6^3 - 85146791172026994979279866124995476618769195/1396223967100861702161\ 5039431743818111877917*c_0110_6^2 - 417551250594015150207186278743061825144104/139622396710086170216150\ 39431743818111877917*c_0110_6 - 20190455847073873707778048496762992\ 22320101/13962239671008617021615039431743818111877917, c_0101_1 + 2457969264752641657323398610071131386341723/1396223967100861\ 7021615039431743818111877917*c_0110_6^24 + 24175473034621979557717891420029702021579577/1396223967100861702161\ 5039431743818111877917*c_0110_6^23 - 104749996011989626309200349933241700235203925/139622396710086170216\ 15039431743818111877917*c_0110_6^22 + 194335373375852819357914053193094945523743971/139622396710086170216\ 15039431743818111877917*c_0110_6^21 - 539569811231359315477216254263442776963546485/139622396710086170216\ 15039431743818111877917*c_0110_6^20 + 877837715357611049915345099546845295110494846/139622396710086170216\ 15039431743818111877917*c_0110_6^19 - 395942676337361190189854039684270425151944811/139622396710086170216\ 15039431743818111877917*c_0110_6^18 - 905292858418504970913254055536310761061370497/139622396710086170216\ 15039431743818111877917*c_0110_6^17 + 6274244953611778889719371925525512043887511584/13962239671008617021\ 615039431743818111877917*c_0110_6^16 - 13330740413868447941781932917871615716604163612/1396223967100861702\ 1615039431743818111877917*c_0110_6^15 + 6694875173816148567794246825488119213698264585/13962239671008617021\ 615039431743818111877917*c_0110_6^14 + 8135051632809402548672715437077051810361056612/13962239671008617021\ 615039431743818111877917*c_0110_6^13 - 7466876789736866736608517067096994223254906160/13962239671008617021\ 615039431743818111877917*c_0110_6^12 - 1877369609278127764531032023161140056479588588/13962239671008617021\ 615039431743818111877917*c_0110_6^11 + 825994037048213588845814135354586339327081540/139622396710086170216\ 15039431743818111877917*c_0110_6^10 + 3709384007041754019420207825094979894628817249/13962239671008617021\ 615039431743818111877917*c_0110_6^9 - 2135971126204869233120188694538206189192083910/13962239671008617021\ 615039431743818111877917*c_0110_6^8 - 353030102241698505764001337722899839531400068/139622396710086170216\ 15039431743818111877917*c_0110_6^7 + 1037254002506115797707177511968182466797356416/13962239671008617021\ 615039431743818111877917*c_0110_6^6 - 231613694324205595070177287533664762055063694/139622396710086170216\ 15039431743818111877917*c_0110_6^5 - 381402469611792316374977002202594467234745857/139622396710086170216\ 15039431743818111877917*c_0110_6^4 - 234317614489588053928570689478965576744304534/139622396710086170216\ 15039431743818111877917*c_0110_6^3 + 119635620298242323704926719565785577679337195/139622396710086170216\ 15039431743818111877917*c_0110_6^2 + 14193674728371176843740258038877947315160679/1396223967100861702161\ 5039431743818111877917*c_0110_6 + 714369282343306657805241324602567\ 5708754268/13962239671008617021615039431743818111877917, c_0101_2 - 7917238490983477167929372204639383927360441/1396223967100861\ 7021615039431743818111877917*c_0110_6^24 - 73898642959447080076427582140629676805547498/1396223967100861702161\ 5039431743818111877917*c_0110_6^23 + 376203939297152668512628583767820974355699231/139622396710086170216\ 15039431743818111877917*c_0110_6^22 - 797737085871565534311993074059768055834300399/139622396710086170216\ 15039431743818111877917*c_0110_6^21 + 2064464314208249346846830102488901078184164117/13962239671008617021\ 615039431743818111877917*c_0110_6^20 - 3722131948738387111756240936613872365409948413/13962239671008617021\ 615039431743818111877917*c_0110_6^19 + 2748798266117149477705796128585666166082079885/13962239671008617021\ 615039431743818111877917*c_0110_6^18 + 2186980954417243318585899536975971167878797506/13962239671008617021\ 615039431743818111877917*c_0110_6^17 - 21667200218627633979892460166857535568693564031/1396223967100861702\ 1615039431743818111877917*c_0110_6^16 + 53284010923942183433700202135589327164267625866/1396223967100861702\ 1615039431743818111877917*c_0110_6^15 - 43950968775481193794020105583226270717392268246/1396223967100861702\ 1615039431743818111877917*c_0110_6^14 - 13698877086634230177961141849134381805440799724/1396223967100861702\ 1615039431743818111877917*c_0110_6^13 + 36582089189759325048296952012856867965482353379/1396223967100861702\ 1615039431743818111877917*c_0110_6^12 - 8271156191274155417064617724275106928705076504/13962239671008617021\ 615039431743818111877917*c_0110_6^11 - 2665160097735049695822370087756376132937126196/13962239671008617021\ 615039431743818111877917*c_0110_6^10 - 11487016611324890354877877812911976659591337995/1396223967100861702\ 1615039431743818111877917*c_0110_6^9 + 12002805059568915543518176446493201099868416085/1396223967100861702\ 1615039431743818111877917*c_0110_6^8 - 1645128942186695576643092805629543924739061629/13962239671008617021\ 615039431743818111877917*c_0110_6^7 - 3939709403936671852145198115914087595970124273/13962239671008617021\ 615039431743818111877917*c_0110_6^6 + 2479993146718385871458139735486607633022759112/13962239671008617021\ 615039431743818111877917*c_0110_6^5 + 463694767628450741526589210157964436801904188/139622396710086170216\ 15039431743818111877917*c_0110_6^4 + 393974147262309441676760222799177527932248000/139622396710086170216\ 15039431743818111877917*c_0110_6^3 - 662954793207238077895229441523448426924579939/139622396710086170216\ 15039431743818111877917*c_0110_6^2 + 55596691667252935417090009629667742387211024/1396223967100861702161\ 5039431743818111877917*c_0110_6 + 240472780509880554247989257514581\ 88044961298/13962239671008617021615039431743818111877917, c_0101_3 + 1745375541692156451553028140232343723333419/1396223967100861\ 7021615039431743818111877917*c_0110_6^24 + 12942681622511713754340397229766671302182569/1396223967100861702161\ 5039431743818111877917*c_0110_6^23 - 115785302216767621418967966519093149916372290/139622396710086170216\ 15039431743818111877917*c_0110_6^22 + 319244461113023593231632624905187737816775726/139622396710086170216\ 15039431743818111877917*c_0110_6^21 - 724702901535706502496722052591206799955933376/139622396710086170216\ 15039431743818111877917*c_0110_6^20 + 1569722159974043826994890525170067532044968007/13962239671008617021\ 615039431743818111877917*c_0110_6^19 - 1835448849110244451090353170389165342951442529/13962239671008617021\ 615039431743818111877917*c_0110_6^18 + 123291589856873875505804969003059572524009404/139622396710086170216\ 15039431743818111877917*c_0110_6^17 + 5928340769001005755892779466958600631443245820/13962239671008617021\ 615039431743818111877917*c_0110_6^16 - 20290115737520479952348479239363557894059693315/1396223967100861702\ 1615039431743818111877917*c_0110_6^15 + 28143195430824384182981438810988271106581605837/1396223967100861702\ 1615039431743818111877917*c_0110_6^14 - 7004423952756283307069406252119307740911502687/13962239671008617021\ 615039431743818111877917*c_0110_6^13 - 17841008521675403519641889010455568645601822901/1396223967100861702\ 1615039431743818111877917*c_0110_6^12 + 11542146164632878768973167521827723577720563611/1396223967100861702\ 1615039431743818111877917*c_0110_6^11 + 2071223206075776545483756273993702757939821451/13962239671008617021\ 615039431743818111877917*c_0110_6^10 + 2720876772483549378905372114246207729026966205/13962239671008617021\ 615039431743818111877917*c_0110_6^9 - 8008945957934119805800062806886199358095100245/13962239671008617021\ 615039431743818111877917*c_0110_6^8 + 2988108514959460927097238814941228444524710308/13962239671008617021\ 615039431743818111877917*c_0110_6^7 + 1405873080942489237677334056618172487351503853/13962239671008617021\ 615039431743818111877917*c_0110_6^6 - 1817685254348357149071419233417697057411572520/13962239671008617021\ 615039431743818111877917*c_0110_6^5 + 219589335026068305559251918221664052221465415/139622396710086170216\ 15039431743818111877917*c_0110_6^4 + 263750552994355009034553911704096195035210241/139622396710086170216\ 15039431743818111877917*c_0110_6^3 + 557247793525423701600545625638570157968347494/139622396710086170216\ 15039431743818111877917*c_0110_6^2 - 127665943418669040870329276598751055400222760/139622396710086170216\ 15039431743818111877917*c_0110_6 - 34597805941538817211076382267566138631936545/1396223967100861702161\ 5039431743818111877917, c_0110_6^25 + 9*c_0110_6^24 - 51*c_0110_6^23 + 113*c_0110_6^22 - 279*c_0110_6^21 + 529*c_0110_6^20 - 425*c_0110_6^19 - 287*c_0110_6^18 + 2882*c_0110_6^17 - 7507*c_0110_6^16 + 6868*c_0110_6^15 + 1818*c_0110_6^14 - 6110*c_0110_6^13 + 1354*c_0110_6^12 + 1063*c_0110_6^11 + 1593*c_0110_6^10 - 2067*c_0110_6^9 + 174*c_0110_6^8 + 692*c_0110_6^7 - 401*c_0110_6^6 - 106*c_0110_6^5 - c_0110_6^4 + 147*c_0110_6^3 + 3*c_0110_6^2 - 10*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB