Magma V2.19-8 Tue Aug 20 2013 23:38:24 on localhost [Seed = 3230049530] Type ? for help. Type -D to quit. Loading file "K14n15447__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n15447 geometric_solution 9.42918477 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 0132 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 1 -1 1 0 0 -1 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.509253342346 0.784061467359 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 1 -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 3 -3 0 -1 0 0 1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.487329115595 1.023903873906 5 0 7 8 3201 0132 3201 0132 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 1 0 0 -1 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.513220497036 1.283194247632 9 6 8 0 0132 2103 1230 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 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.335667009273 0.762968995558 5 5 0 9 0132 3201 0132 2031 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 -1 1 0 -1 0 1 0 3 -3 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399867540714 0.795573683609 4 1 4 2 0132 0132 2310 2310 0 0 0 0 0 -1 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 0 0 -3 3 0 1 0 -1 0 1 0 0 -1 -3 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.521137882536 0.703509594888 7 3 1 8 1023 2103 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 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.614186073055 1.437692204599 2 6 9 1 2310 1023 1023 0132 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 -1 -2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.246876728268 0.918295709271 9 6 2 3 3201 2310 0132 3012 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 1 -1 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.229504155048 0.328864099266 3 4 7 8 0132 1302 1023 2310 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.543402721638 1.375759727351 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0101_5']), 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : d['c_1001_0'], 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_8'], 'c_1100_8' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0110_8'], 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : negation(d['c_0011_8']), 'c_1100_1' : negation(d['c_0011_8']), 'c_1100_0' : d['c_0110_8'], 'c_1100_3' : d['c_0110_8'], 'c_1100_2' : negation(d['c_0011_6']), 'c_1010_7' : d['c_0101_3'], 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0101_5']), 'c_1010_9' : negation(d['c_0110_8']), 'c_1010_8' : negation(d['c_0101_3']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_6'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0101_3']), 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_3, c_0101_5, c_0110_8, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 568090392355470372789976892415688500644625/376736478946770345965372\ 227533850236101459*c_1001_0^16 - 3601439858056979125306019522076669\ 261605605/376736478946770345965372227533850236101459*c_1001_0^15 + 8496732580774036178420776103709877355916506/37673647894677034596537\ 2227533850236101459*c_1001_0^14 - 968115705061441171714770994048030\ 9835377041/376736478946770345965372227533850236101459*c_1001_0^13 - 4648430139787424130535838727465290872157277/37673647894677034596537\ 2227533850236101459*c_1001_0^12 + 326652004602692095510631152127856\ 85215698955/376736478946770345965372227533850236101459*c_1001_0^11 - 24349995357584917534856956941618106034751383/3767364789467703459653\ 72227533850236101459*c_1001_0^10 - 12706590631553637327804854199544821609846856/3767364789467703459653\ 72227533850236101459*c_1001_0^9 + 107839689084283636632978470490978\ 150783603553/376736478946770345965372227533850236101459*c_1001_0^8 + 2508526991759793553053155273111829331748210/12152789643444204708560\ 394436575814067789*c_1001_0^7 - 10810321763613611722600853000470073\ 1719603729/376736478946770345965372227533850236101459*c_1001_0^6 + 290628646360749944213449989820610682056536440/376736478946770345965\ 372227533850236101459*c_1001_0^5 + 295488053706660150634226752229995992507810745/376736478946770345965\ 372227533850236101459*c_1001_0^4 - 97672500616264579373933958008232788581514471/3767364789467703459653\ 72227533850236101459*c_1001_0^3 + 311119649225049437721682310648529\ 544051961925/376736478946770345965372227533850236101459*c_1001_0^2 + 30157108888627492836321491088469625103380938/5381949699239576370933\ 8889647692890871637*c_1001_0 - 137808998318786747965166936275879301\ 79316285/376736478946770345965372227533850236101459, c_0011_0 - 1, c_0011_3 - 95845284083905437761157653557450/201374828182097242685647249\ 69512079*c_1001_0^16 + 571771446651582117027236220086820/2013748281\ 8209724268564724969512079*c_1001_0^15 - 1282994093279649259435463030563306/20137482818209724268564724969512\ 079*c_1001_0^14 + 1712522542598554276254347053236569/20137482818209\ 724268564724969512079*c_1001_0^13 - 647735822440810645926263865542988/201374828182097242685647249695120\ 79*c_1001_0^12 - 1386166340579812591832623208233264/201374828182097\ 24268564724969512079*c_1001_0^11 - 1707135794342514583442902375287568/20137482818209724268564724969512\ 079*c_1001_0^10 + 3454391853732662961867756593529909/20137482818209\ 724268564724969512079*c_1001_0^9 - 13793976566130892280876921955434299/2013748281820972426856472496951\ 2079*c_1001_0^8 - 19669110195848096366142109129162918/2013748281820\ 9724268564724969512079*c_1001_0^7 - 1177264771544119548222285443896914/20137482818209724268564724969512\ 079*c_1001_0^6 - 37922099827316098162284710509821884/20137482818209\ 724268564724969512079*c_1001_0^5 - 49054468304731823220414929258908326/2013748281820972426856472496951\ 2079*c_1001_0^4 - 54874783786411376330537708305843611/2013748281820\ 9724268564724969512079*c_1001_0^3 - 41837636462140299596344245350149940/2013748281820972426856472496951\ 2079*c_1001_0^2 - 59032824634525094334964035303534888/2013748281820\ 9724268564724969512079*c_1001_0 - 305761553020562475667206852702481\ 46/20137482818209724268564724969512079, c_0011_6 - 89063295455413958685875618904165/201374828182097242685647249\ 69512079*c_1001_0^16 + 621299141874628568045280209449338/2013748281\ 8209724268564724969512079*c_1001_0^15 - 1737159183413043948554807622437337/20137482818209724268564724969512\ 079*c_1001_0^14 + 2809682694481092338387701393441758/20137482818209\ 724268564724969512079*c_1001_0^13 - 2035563511152060501800792279763609/20137482818209724268564724969512\ 079*c_1001_0^12 - 1530585759565639847226036845169387/20137482818209\ 724268564724969512079*c_1001_0^11 + 1828568758453076271097529126669660/20137482818209724268564724969512\ 079*c_1001_0^10 + 1645310220372995267092595963065461/20137482818209\ 724268564724969512079*c_1001_0^9 - 13909599561121441414989288645273804/2013748281820972426856472496951\ 2079*c_1001_0^8 - 5918931069390772761582739795857928/20137482818209\ 724268564724969512079*c_1001_0^7 + 16504534582453461590830531308441866/2013748281820972426856472496951\ 2079*c_1001_0^6 - 38141291884541073578747494187563612/2013748281820\ 9724268564724969512079*c_1001_0^5 - 9561431625429785064729975040873067/20137482818209724268564724969512\ 079*c_1001_0^4 - 6356449729224985404356533339129985/201374828182097\ 24268564724969512079*c_1001_0^3 - 329412736588242932403328891857328\ 5/20137482818209724268564724969512079*c_1001_0^2 - 22658956054203555848059620485508524/2013748281820972426856472496951\ 2079*c_1001_0 - 5925602913344505376279527150580021/2013748281820972\ 4268564724969512079, c_0011_8 - 70760894153985762354850315556320/201374828182097242685647249\ 69512079*c_1001_0^16 + 473481722561362241588351685753724/2013748281\ 8209724268564724969512079*c_1001_0^15 - 1250447904848041320120647861538290/20137482818209724268564724969512\ 079*c_1001_0^14 + 1817855740579868141325820242623804/20137482818209\ 724268564724969512079*c_1001_0^13 - 617459713022712209741788295206966/201374828182097242685647249695120\ 79*c_1001_0^12 - 2508918593672393246073049196323187/201374828182097\ 24268564724969512079*c_1001_0^11 + 2019432624906451319529687808437695/20137482818209724268564724969512\ 079*c_1001_0^10 + 1882746193401642213691974067899610/20137482818209\ 724268564724969512079*c_1001_0^9 - 13410447238241358787149715432193170/2013748281820972426856472496951\ 2079*c_1001_0^8 - 8091719581908645102127748601751623/20137482818209\ 724268564724969512079*c_1001_0^7 + 13930456793061958575840542017655705/2013748281820972426856472496951\ 2079*c_1001_0^6 - 38518351528245568123215663127952765/2013748281820\ 9724268564724969512079*c_1001_0^5 - 31358668507273019737624825164255957/2013748281820972426856472496951\ 2079*c_1001_0^4 - 6063002056682186320798321562347009/20137482818209\ 724268564724969512079*c_1001_0^3 - 26057883290073266004551791128506743/2013748281820972426856472496951\ 2079*c_1001_0^2 - 41857690591107379520927561551864293/2013748281820\ 9724268564724969512079*c_1001_0 - 254226710627636855131025655951565\ 78/20137482818209724268564724969512079, c_0101_0 - 205125786912209779045271174066350/20137482818209724268564724\ 969512079*c_1001_0^16 + 1311830316298088722101540243796075/20137482\ 818209724268564724969512079*c_1001_0^15 - 3238633792440201628814316303832486/20137482818209724268564724969512\ 079*c_1001_0^14 + 4528469722946072169988350999923884/20137482818209\ 724268564724969512079*c_1001_0^13 - 1667909141924369872963813133991489/20137482818209724268564724969512\ 079*c_1001_0^12 - 5416841749543112628248948363199370/20137482818209\ 724268564724969512079*c_1001_0^11 + 2174485202000789611334242107619285/20137482818209724268564724969512\ 079*c_1001_0^10 + 4930382682194949238461642061312754/20137482818209\ 724268564724969512079*c_1001_0^9 - 31255576969540697380496495228084030/2013748281820972426856472496951\ 2079*c_1001_0^8 - 30580604812554293378334584205124749/2013748281820\ 9724268564724969512079*c_1001_0^7 + 21868577893530187719766767856582835/2013748281820972426856472496951\ 2079*c_1001_0^6 - 85376335037508410956253328363243338/2013748281820\ 9724268564724969512079*c_1001_0^5 - 74130855236798559445254436464002382/2013748281820972426856472496951\ 2079*c_1001_0^4 - 47845345598503862964316346418616455/2013748281820\ 9724268564724969512079*c_1001_0^3 - 57421498325499460785767860713131671/2013748281820972426856472496951\ 2079*c_1001_0^2 - 64583928522269207755624504342430395/2013748281820\ 9724268564724969512079*c_1001_0 - 389848491212482229583754094556671\ 59/20137482818209724268564724969512079, c_0101_1 + 155571636703682293660198630849140/20137482818209724268564724\ 969512079*c_1001_0^16 - 914295144126843162033608753893968/201374828\ 18209724268564724969512079*c_1001_0^15 + 1960910412997153838774509087626989/20137482818209724268564724969512\ 079*c_1001_0^14 - 2163830590082583359520537976446244/20137482818209\ 724268564724969512079*c_1001_0^13 - 927187752655619423896379787813150/201374828182097242685647249695120\ 79*c_1001_0^12 + 5744692741818059207486239132299312/201374828182097\ 24268564724969512079*c_1001_0^11 - 765143181174715194130909520077092/201374828182097242685647249695120\ 79*c_1001_0^10 - 4334002709547986741078472439930151/201374828182097\ 24268564724969512079*c_1001_0^9 + 243498399352553051153963549541412\ 11/20137482818209724268564724969512079*c_1001_0^8 + 38045432947216963921292011164674995/2013748281820972426856472496951\ 2079*c_1001_0^7 - 7297210695906039330471700157796060/20137482818209\ 724268564724969512079*c_1001_0^6 + 72389003467831545079841769983185070/2013748281820972426856472496951\ 2079*c_1001_0^5 + 115509754408971087444036302123436040/201374828182\ 09724268564724969512079*c_1001_0^4 + 65233678547705060065684107143291860/2013748281820972426856472496951\ 2079*c_1001_0^3 + 82545118238716298387135276440343969/2013748281820\ 9724268564724969512079*c_1001_0^2 + 118885478447993087161159317576459730/201374828182097242685647249695\ 12079*c_1001_0 + 76149908734524207699151636667481336/20137482818209\ 724268564724969512079, c_0101_3 - 232500432761244338853982736673440/20137482818209724268564724\ 969512079*c_1001_0^16 + 1444171491581347239671257875215848/20137482\ 818209724268564724969512079*c_1001_0^15 - 3370732581607435002216070247747703/20137482818209724268564724969512\ 079*c_1001_0^14 + 4184093529869531275103487046444650/20137482818209\ 724268564724969512079*c_1001_0^13 + 49016115786948007425821565032630/2013748281820972426856472496951207\ 9*c_1001_0^12 - 8245878179593578072666989396739371/2013748281820972\ 4268564724969512079*c_1001_0^11 + 295202036921622484468842203556397\ 4/20137482818209724268564724969512079*c_1001_0^10 + 7037762794696635604812640107915790/20137482818209724268564724969512\ 079*c_1001_0^9 - 37729291312911427029234554614763063/20137482818209\ 724268564724969512079*c_1001_0^8 - 42508530864875226483559006005323737/2013748281820972426856472496951\ 2079*c_1001_0^7 + 23581206413581406065719218760770625/2013748281820\ 9724268564724969512079*c_1001_0^6 - 103639337267558752078044498648884822/201374828182097242685647249695\ 12079*c_1001_0^5 - 129460443994360261586737467245944250/20137482818\ 209724268564724969512079*c_1001_0^4 - 55676700310156041345566962894245842/2013748281820972426856472496951\ 2079*c_1001_0^3 - 100964887818405032788702622457970329/201374828182\ 09724268564724969512079*c_1001_0^2 - 126827695885843042127420489215675233/201374828182097242685647249695\ 12079*c_1001_0 - 64735939872446729494165211960222392/20137482818209\ 724268564724969512079, c_0101_5 - 141021081011838715777585582908935/20137482818209724268564724\ 969512079*c_1001_0^16 + 794683097834594201279358123756902/201374828\ 18209724268564724969512079*c_1001_0^15 - 1496427597001666071130391394079452/20137482818209724268564724969512\ 079*c_1001_0^14 + 1017575774088000169909899137138805/20137482818209\ 724268564724969512079*c_1001_0^13 + 2600181272785973958146128924511909/20137482818209724268564724969512\ 079*c_1001_0^12 - 7007709729871610600412153106918453/20137482818209\ 724268564724969512079*c_1001_0^11 + 960375852584438202426142041742599/201374828182097242685647249695120\ 79*c_1001_0^10 + 5021176388898210693805594346174523/201374828182097\ 24268564724969512079*c_1001_0^9 - 219710494854296372136154609695496\ 32/20137482818209724268564724969512079*c_1001_0^8 - 39394592822762408561338991270495249/2013748281820972426856472496951\ 2079*c_1001_0^7 + 7306671461810898131863081760800708/20137482818209\ 724268564724969512079*c_1001_0^6 - 56487467762341263210176165568324177/2013748281820972426856472496951\ 2079*c_1001_0^5 - 117857510213835103250154022067521891/201374828182\ 09724268564724969512079*c_1001_0^4 - 51382262027617088402876592312769870/2013748281820972426856472496951\ 2079*c_1001_0^3 - 79291222849376655781691316523235441/2013748281820\ 9724268564724969512079*c_1001_0^2 - 82974117311491523846829622407372069/2013748281820972426856472496951\ 2079*c_1001_0 - 46797339859884822395638435249035367/201374828182097\ 24268564724969512079, c_0110_8 + 110552585467979039101932746277840/20137482818209724268564724\ 969512079*c_1001_0^16 - 596146146531040681980263819338633/201374828\ 18209724268564724969512079*c_1001_0^15 + 1049996459547220253693121423670219/20137482818209724268564724969512\ 079*c_1001_0^14 - 651693594215256410102149164836072/201374828182097\ 24268564724969512079*c_1001_0^13 - 2081166620802395323087884826328393/20137482818209724268564724969512\ 079*c_1001_0^12 + 5149058798154975069002923867253825/20137482818209\ 724268564724969512079*c_1001_0^11 - 178939074942251480326247606587344/201374828182097242685647249695120\ 79*c_1001_0^10 - 2994222270114018174091839982559241/201374828182097\ 24268564724969512079*c_1001_0^9 + 166252432785769212750059527255662\ 53/20137482818209724268564724969512079*c_1001_0^8 + 35441962355992802801233124315254420/2013748281820972426856472496951\ 2079*c_1001_0^7 + 2194661866858022007254199758710675/20137482818209\ 724268564724969512079*c_1001_0^6 + 51924879925724507329997498383792135/2013748281820972426856472496951\ 2079*c_1001_0^5 + 108001527795496515242089411950824327/201374828182\ 09724268564724969512079*c_1001_0^4 + 56179322929527360397564293141440723/2013748281820972426856472496951\ 2079*c_1001_0^3 + 76928748304923123139745266221177629/2013748281820\ 9724268564724969512079*c_1001_0^2 + 100685461711296351775203237034475519/201374828182097242685647249695\ 12079*c_1001_0 + 68788617896604035171200526103855391/20137482818209\ 724268564724969512079, c_1001_0^17 - 26/5*c_1001_0^16 + 42/5*c_1001_0^15 - 21/5*c_1001_0^14 - 89/5*c_1001_0^13 + 186/5*c_1001_0^12 + 84/5*c_1001_0^11 - 166/5*c_1001_0^10 + 687/5*c_1001_0^9 + 1687/5*c_1001_0^8 + 457/5*c_1001_0^7 + 1959/5*c_1001_0^6 + 4907/5*c_1001_0^5 + 3788/5*c_1001_0^4 + 713*c_1001_0^3 + 4503/5*c_1001_0^2 + 3812/5*c_1001_0 + 1181/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.300 seconds, Total memory usage: 32.09MB