Magma V2.19-8 Tue Aug 20 2013 16:16:21 on localhost [Seed = 1242289833] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0632 geometric_solution 4.62522934 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 -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 1.369911282937 0.151124749806 0 2 2 0 3201 0132 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 -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 1.110971441962 0.140194255433 3 1 1 3 0132 0132 1023 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 1 0 -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 1.047314702428 0.296614917019 2 4 5 2 0132 0132 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 -1 1 -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.685004688560 0.272584198128 5 3 6 5 2031 0132 0132 3201 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.390348267754 0.642380061595 6 4 4 3 1023 2310 1302 0132 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 -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.390348267754 0.642380061595 6 5 6 4 2031 1023 1302 0132 0 0 0 0 0 1 -1 0 1 0 -1 0 1 0 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.017012271819 1.976490186565 ==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_5']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0011_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], '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' : d['c_0110_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_1'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_4']), 'c_1010_4' : negation(d['c_0110_4']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_5, c_0101_0, c_0101_2, c_0101_3, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 493737643213663891391052572023716490998156370933866/432380339093842\ 7822120203106659665946434378546793*c_0110_4^23 - 6743283535716023954252071763373624067761053940554909/86476067818768\ 55644240406213319331892868757093586*c_0110_4^22 + 907628891936441762345508268562045945106159631235251/332600260841417\ 524778477162050743534341106042061*c_0110_4^21 - 23399519900647196537940201779514806625722969064405173/4323803390938\ 427822120203106659665946434378546793*c_0110_4^20 - 119783552507163287483993384720398684760971362461350161/864760678187\ 6855644240406213319331892868757093586*c_0110_4^19 + 279563798635014575816914773666944658239464383340733153/432380339093\ 8427822120203106659665946434378546793*c_0110_4^18 - 100780120385361359886633371080864450382774102504449830/432380339093\ 8427822120203106659665946434378546793*c_0110_4^17 + 47987114157881285593043996097538164603528810468324767/8647606781876\ 855644240406213319331892868757093586*c_0110_4^16 + 2428275405225163558629199747859743161655047937105631555/86476067818\ 76855644240406213319331892868757093586*c_0110_4^15 - 4966731929870137946926083140922625574963811185114553042/43238033909\ 38427822120203106659665946434378546793*c_0110_4^14 - 9850479881789448911818371045697072009333388504905995075/86476067818\ 76855644240406213319331892868757093586*c_0110_4^13 + 15375192212069681910692663921494117971916039757064422081/8647606781\ 876855644240406213319331892868757093586*c_0110_4^12 + 21157847649850118974726874684625851367553100001863179827/8647606781\ 876855644240406213319331892868757093586*c_0110_4^11 + 18801560061778132174474326011371002922348655896543345473/8647606781\ 876855644240406213319331892868757093586*c_0110_4^10 + 10505982812677016754349866020131871500776092896919855587/8647606781\ 876855644240406213319331892868757093586*c_0110_4^9 - 6161456057307138431823348933696911196217471908975139949/43238033909\ 38427822120203106659665946434378546793*c_0110_4^8 - 16417067841343031973999332492600700012121041545764990437/8647606781\ 876855644240406213319331892868757093586*c_0110_4^7 - 2681695620935129110960864574446918585353016435087466983/43238033909\ 38427822120203106659665946434378546793*c_0110_4^6 + 375081653343416007166561373054115594129422715506115329/864760678187\ 6855644240406213319331892868757093586*c_0110_4^5 + 724071169105679384307834347836993140035689253856837473/432380339093\ 8427822120203106659665946434378546793*c_0110_4^4 + 589964954648052985789105515956403168264075017542676677/864760678187\ 6855644240406213319331892868757093586*c_0110_4^3 - 78908775547063845296868004752258214017683490804856607/8647606781876\ 855644240406213319331892868757093586*c_0110_4^2 - 34694322711242609064566398951557580529723496093395637/8647606781876\ 855644240406213319331892868757093586*c_0110_4 + 1511420143031644064427927247177235078964010454255889/86476067818768\ 55644240406213319331892868757093586, c_0011_0 - 1, c_0011_1 - 99481629085617991354868507824098253750301748735/665200521682\ 835049556954324101487068682212084122*c_0110_4^23 + 679292171440108546180521831734555530111473360965/665200521682835049\ 556954324101487068682212084122*c_0110_4^22 - 1196405316372584328824777914079781565946900819364/33260026084141752\ 4778477162050743534341106042061*c_0110_4^21 + 4839804610554393648606738653062249731899978635373/66520052168283504\ 9556954324101487068682212084122*c_0110_4^20 + 11547525900720359431363407622891637156207183646597/6652005216828350\ 49556954324101487068682212084122*c_0110_4^19 - 27493846556356524327493047643260933286180472801929/3326002608414175\ 24778477162050743534341106042061*c_0110_4^18 + 20734253379620196896419724400041262415509550226659/6652005216828350\ 49556954324101487068682212084122*c_0110_4^17 - 7297458714188673112590066860377723311491005730992/33260026084141752\ 4778477162050743534341106042061*c_0110_4^16 - 229989968673535429036832906052859392198189320574879/665200521682835\ 049556954324101487068682212084122*c_0110_4^15 + 984722284464020999942187303465546524307431484089623/665200521682835\ 049556954324101487068682212084122*c_0110_4^14 + 484825306481254956562245264523361837069997843420807/332600260841417\ 524778477162050743534341106042061*c_0110_4^13 - 679254738272654762181578822038444273793762795329139/332600260841417\ 524778477162050743534341106042061*c_0110_4^12 - 1097149314982919625448767318920696297120517838565397/33260026084141\ 7524778477162050743534341106042061*c_0110_4^11 - 1054885853452543414236972472325881773288837504288724/33260026084141\ 7524778477162050743534341106042061*c_0110_4^10 - 1132522667988758892992873883756398522303807157304439/66520052168283\ 5049556954324101487068682212084122*c_0110_4^9 + 1066221856118679480374527054850742356357558583725089/66520052168283\ 5049556954324101487068682212084122*c_0110_4^8 + 1717860324759768128390721658458282120617815131687379/66520052168283\ 5049556954324101487068682212084122*c_0110_4^7 + 716975525714069422102556818460852711070093278906115/665200521682835\ 049556954324101487068682212084122*c_0110_4^6 + 11872002896171123070755980766235347270192723399631/6652005216828350\ 49556954324101487068682212084122*c_0110_4^5 - 146767762327782095103723562279806436904114935536983/665200521682835\ 049556954324101487068682212084122*c_0110_4^4 - 40687399622039595835463202014652503210669853200085/3326002608414175\ 24778477162050743534341106042061*c_0110_4^3 + 593854179862171580399796319343930108333544561789/332600260841417524\ 778477162050743534341106042061*c_0110_4^2 + 2117277427158034351331271988243042284681363056607/33260026084141752\ 4778477162050743534341106042061*c_0110_4 + 553563457246519402055174447468649688450545404379/665200521682835049\ 556954324101487068682212084122, c_0011_5 - 403838525451285782593519326178535252314138504689/33260026084\ 1417524778477162050743534341106042061*c_0110_4^23 + 6288083722362621752153541232871734795231265033153/66520052168283504\ 9556954324101487068682212084122*c_0110_4^22 - 12561857345763959145630033455762746901941798591302/3326002608414175\ 24778477162050743534341106042061*c_0110_4^21 + 30438640551204942945570172431582295961498788591908/3326002608414175\ 24778477162050743534341106042061*c_0110_4^20 + 45232667488211748230754527103031749777312423557091/6652005216828350\ 49556954324101487068682212084122*c_0110_4^19 - 256595269454213205263431129073548262479185245949000/332600260841417\ 524778477162050743534341106042061*c_0110_4^18 + 320262383081320915290015755909298031999981099311032/332600260841417\ 524778477162050743534341106042061*c_0110_4^17 - 534894941381567246268840529820796572572795845137155/665200521682835\ 049556954324101487068682212084122*c_0110_4^16 - 1585897428988433644874842152032334692155569593080525/66520052168283\ 5049556954324101487068682212084122*c_0110_4^15 + 4865388049145531937859760688395074647116368161861152/33260026084141\ 7524778477162050743534341106042061*c_0110_4^14 - 842041288059154680708661718941360148212879313218897/665200521682835\ 049556954324101487068682212084122*c_0110_4^13 - 13948020757012886304856238795039325679854177949532937/6652005216828\ 35049556954324101487068682212084122*c_0110_4^12 - 4534168470100529074249890976176687200886530185861567/66520052168283\ 5049556954324101487068682212084122*c_0110_4^11 - 7927270836112267498160427436521775060270316239161867/66520052168283\ 5049556954324101487068682212084122*c_0110_4^10 + 1184737623927302862998933100937088261529064804788459/66520052168283\ 5049556954324101487068682212084122*c_0110_4^9 + 5819041967726799043319916202638270750303960152621585/33260026084141\ 7524778477162050743534341106042061*c_0110_4^8 + 2973292329294484232825196300462125141961084613738443/66520052168283\ 5049556954324101487068682212084122*c_0110_4^7 - 491291787795446279222662565916434061507526649915126/332600260841417\ 524778477162050743534341106042061*c_0110_4^6 - 977527857150244469977459949723761614818283652945647/665200521682835\ 049556954324101487068682212084122*c_0110_4^5 - 300393267238397791619984856712956717147927262590872/332600260841417\ 524778477162050743534341106042061*c_0110_4^4 + 199290015639283747870856873464992307381292312175087/665200521682835\ 049556954324101487068682212084122*c_0110_4^3 + 55339335180558446761440764061049493626056828227387/6652005216828350\ 49556954324101487068682212084122*c_0110_4^2 - 7416976121216095159124156177875656688828474024675/66520052168283504\ 9556954324101487068682212084122*c_0110_4 - 1050259202299955595822388248014487923776733109767/66520052168283504\ 9556954324101487068682212084122, c_0101_0 + 64760887568065362714549179060071575804355713621/332600260841\ 417524778477162050743534341106042061*c_0110_4^23 - 1209452543309869220932885541892475637191907950571/66520052168283504\ 9556954324101487068682212084122*c_0110_4^22 + 2784323459051770050326953272852760019675130947296/33260026084141752\ 4778477162050743534341106042061*c_0110_4^21 - 7913513498026267262089590260449483539364650768437/33260026084141752\ 4778477162050743534341106042061*c_0110_4^20 + 7176025897080359584194541414871537000843277734915/66520052168283504\ 9556954324101487068682212084122*c_0110_4^19 + 47609175596340290005799078073856214785325011354224/3326002608414175\ 24778477162050743534341106042061*c_0110_4^18 - 114211215410585840826218472188792248067039011241189/332600260841417\ 524778477162050743534341106042061*c_0110_4^17 + 229830102954961891934495946202102249024325492485843/665200521682835\ 049556954324101487068682212084122*c_0110_4^16 + 135351779613200896218848961941882191633741761759421/665200521682835\ 049556954324101487068682212084122*c_0110_4^15 - 983592844555902054916605402508941897055844813643057/332600260841417\ 524778477162050743534341106042061*c_0110_4^14 + 2504048886969449177545752650508553568771436934015401/66520052168283\ 5049556954324101487068682212084122*c_0110_4^13 + 2313206968409148346916989267781214465199283638050609/66520052168283\ 5049556954324101487068682212084122*c_0110_4^12 - 2658257303098530526004860485657821678070589025568455/66520052168283\ 5049556954324101487068682212084122*c_0110_4^11 - 256466219503298858122163609394623736155103875934889/665200521682835\ 049556954324101487068682212084122*c_0110_4^10 - 2487559301958431598830911454295621664867343590010867/66520052168283\ 5049556954324101487068682212084122*c_0110_4^9 - 973204902004640253380403643136456039726536465095958/332600260841417\ 524778477162050743534341106042061*c_0110_4^8 + 2322380419375179580289388727209338123269541062593977/66520052168283\ 5049556954324101487068682212084122*c_0110_4^7 + 608388608106102837977691681397089806127170438175219/332600260841417\ 524778477162050743534341106042061*c_0110_4^6 + 153418718010729674508608076736320108058626472265751/665200521682835\ 049556954324101487068682212084122*c_0110_4^5 - 44671494191197901912251820049696459704132729073745/3326002608414175\ 24778477162050743534341106042061*c_0110_4^4 - 199608375325895677532027402744173344423518809295917/665200521682835\ 049556954324101487068682212084122*c_0110_4^3 + 17629951712971939461854294886042212922644636234215/6652005216828350\ 49556954324101487068682212084122*c_0110_4^2 + 10539167192449097125977200871758442503778897578381/6652005216828350\ 49556954324101487068682212084122*c_0110_4 - 112346398316702028325980274381672403623939426855/665200521682835049\ 556954324101487068682212084122, c_0101_2 + 89565144492751651265397497292299108056840821421/665200521682\ 835049556954324101487068682212084122*c_0110_4^23 - 864236772038043037772206323078838236916000766693/665200521682835049\ 556954324101487068682212084122*c_0110_4^22 + 2034626440660273898087412082604920208989533589170/33260026084141752\ 4778477162050743534341106042061*c_0110_4^21 - 11833190298206947905520960345739499838917130216929/6652005216828350\ 49556954324101487068682212084122*c_0110_4^20 + 7193218945995743569127080234461949128859492272917/66520052168283504\ 9556954324101487068682212084122*c_0110_4^19 + 33468970517631010857761284501130486028886227919954/3326002608414175\ 24778477162050743534341106042061*c_0110_4^18 - 174787765361301980106383635013426204364950736214235/665200521682835\ 049556954324101487068682212084122*c_0110_4^17 + 91014282268570396713423899684635969903300462306341/3326002608414175\ 24778477162050743534341106042061*c_0110_4^16 + 67490418661825202952006811162503347962141199611687/6652005216828350\ 49556954324101487068682212084122*c_0110_4^15 - 1403130019673768877692948784282062375584575396509595/66520052168283\ 5049556954324101487068682212084122*c_0110_4^14 + 1028626791180676151215713672657875872190222414149672/33260026084141\ 7524778477162050743534341106042061*c_0110_4^13 + 770569026326726172552741879937663481619157363310397/332600260841417\ 524778477162050743534341106042061*c_0110_4^12 - 1094131363513704747880272932630490685941687015268079/33260026084141\ 7524778477162050743534341106042061*c_0110_4^11 - 188402257753303867441895717159821655259092471093638/332600260841417\ 524778477162050743534341106042061*c_0110_4^10 - 2112231183888878678022781382829853955815804267597431/66520052168283\ 5049556954324101487068682212084122*c_0110_4^9 - 1314155122136751556022800332193996112222920797691993/66520052168283\ 5049556954324101487068682212084122*c_0110_4^8 + 1878254423070935212899067923504078758024365377580071/66520052168283\ 5049556954324101487068682212084122*c_0110_4^7 + 981287427030817499760122840680005209332896806773957/665200521682835\ 049556954324101487068682212084122*c_0110_4^6 + 164691413780273059917638942953670413242438521342391/665200521682835\ 049556954324101487068682212084122*c_0110_4^5 - 82280613277390280404958141679725429498385214382385/6652005216828350\ 49556954324101487068682212084122*c_0110_4^4 - 74763998207574970036297474993320210268352351045128/3326002608414175\ 24778477162050743534341106042061*c_0110_4^3 + 5051091161043983508651397336265700964296362868514/33260026084141752\ 4778477162050743534341106042061*c_0110_4^2 + 3987948271894769384785142320045117722498810697173/33260026084141752\ 4778477162050743534341106042061*c_0110_4 + 28782025314037939169157914763132266257362521179/6652005216828350495\ 56954324101487068682212084122, c_0101_3 - 251122016547841601624404671538165054438734629441/33260026084\ 1417524778477162050743534341106042061*c_0110_4^23 + 1886295141293009916290752550374830229764594002781/33260026084141752\ 4778477162050743534341106042061*c_0110_4^22 - 7306692557236035521040575939482680312169187610063/33260026084141752\ 4778477162050743534341106042061*c_0110_4^21 + 17022268234796340875853233784159806730739173259986/3326002608414175\ 24778477162050743534341106042061*c_0110_4^20 + 18328858380139695972617882661601943329739417170260/3326002608414175\ 24778477162050743534341106042061*c_0110_4^19 - 153517907734232525653232891398150754354199973532330/332600260841417\ 524778477162050743534341106042061*c_0110_4^18 + 157411741019212342525135989925094445624422701770964/332600260841417\ 524778477162050743534341106042061*c_0110_4^17 - 130543570460518225201047513262450941556988367406141/332600260841417\ 524778477162050743534341106042061*c_0110_4^16 - 517602514194236609583897652294522000585055680609240/332600260841417\ 524778477162050743534341106042061*c_0110_4^15 + 2870986400217767658664535933973235249350832124950031/33260026084141\ 7524778477162050743534341106042061*c_0110_4^14 + 507606715023322792318084309733585446019072233479485/332600260841417\ 524778477162050743534341106042061*c_0110_4^13 - 4053791735293628205705664027682001010091340081918378/33260026084141\ 7524778477162050743534341106042061*c_0110_4^12 - 2570411998469984380377960855137882746841207319744187/33260026084141\ 7524778477162050743534341106042061*c_0110_4^11 - 3320425617882434566598138657179070659126154368029838/33260026084141\ 7524778477162050743534341106042061*c_0110_4^10 - 591787879318865871395734765972687913113640797506198/332600260841417\ 524778477162050743534341106042061*c_0110_4^9 + 3307489479127397976433157782936455610289411120919425/33260026084141\ 7524778477162050743534341106042061*c_0110_4^8 + 1868685555374503481885838574905695769875945572683189/33260026084141\ 7524778477162050743534341106042061*c_0110_4^7 + 326242247827600793000797125988420795688593574951019/332600260841417\ 524778477162050743534341106042061*c_0110_4^6 - 182828582693229609636600747621911500441751923552353/332600260841417\ 524778477162050743534341106042061*c_0110_4^5 - 225051218897675679196971271312580280758582828665971/332600260841417\ 524778477162050743534341106042061*c_0110_4^4 - 8915958774118681755788181688173609917607155952386/33260026084141752\ 4778477162050743534341106042061*c_0110_4^3 + 10925107118145192396463830374186319924723451209657/3326002608414175\ 24778477162050743534341106042061*c_0110_4^2 + 1052107455788291871349137501216976453825880526496/33260026084141752\ 4778477162050743534341106042061*c_0110_4 + 159938916357296651738304351742455096757358659354/332600260841417524\ 778477162050743534341106042061, c_0110_4^24 - 7*c_0110_4^23 + 25*c_0110_4^22 - 51*c_0110_4^21 - 115*c_0110_4^20 + 591*c_0110_4^19 - 295*c_0110_4^18 + 44*c_0110_4^17 + 2482*c_0110_4^16 - 10504*c_0110_4^15 - 8400*c_0110_4^14 + 18005*c_0110_4^13 + 19093*c_0110_4^12 + 14325*c_0110_4^11 + 6418*c_0110_4^10 - 15352*c_0110_4^9 - 14865*c_0110_4^8 - 1738*c_0110_4^7 + 2035*c_0110_4^6 + 1612*c_0110_4^5 + 314*c_0110_4^4 - 257*c_0110_4^3 - 39*c_0110_4^2 + 10*c_0110_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB