Magma V2.19-8 Wed Aug 21 2013 00:00:38 on localhost [Seed = 223044615] Type ? for help. Type -D to quit. Loading file "L14n491__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n491 geometric_solution 11.15439127 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 1 3 0132 0132 3012 0132 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 -1 3 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 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.720507145050 0.825081260438 0 0 5 4 0132 1230 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 2 -3 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 1 0 1 -2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.368298769736 1.087242152241 4 0 6 4 0132 0132 0132 2031 1 1 0 1 0 0 0 0 1 0 -1 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 -1 0 1 6 0 -6 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.399522151373 0.687630960517 4 7 0 5 3012 0132 0132 3012 1 1 1 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 0 0 0 0 0 0 1 -1 0 0 1 -1 -6 7 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.686781611576 0.549447601393 2 2 1 3 0132 1302 0132 1230 1 1 1 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 -6 0 0 6 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.368298769736 1.087242152241 6 8 3 1 2103 0132 1230 0132 1 1 1 1 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 -1 1 0 0 0 1 -1 0 0 0 0 -7 6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.764271370615 0.727745252695 9 7 5 2 0132 0321 2103 0132 1 1 1 1 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 0 0 0 -6 0 0 6 0 0 0 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.678207090159 0.551799222078 9 3 8 6 2031 0132 3201 0321 1 1 1 1 0 0 0 0 1 0 -1 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 6 0 -6 0 1 -1 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.657526910611 1.443343787928 7 5 10 10 2310 0132 0213 0132 1 1 1 1 0 0 0 0 -1 0 0 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 1 -1 0 -7 0 0 7 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.184335320667 0.796697987212 6 10 7 11 0132 2310 1302 0132 1 1 1 1 0 1 -1 0 1 0 0 -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 6 -6 0 6 0 0 -6 7 -7 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.724340754038 1.191400354635 11 8 8 9 0213 0213 0132 3201 1 1 1 1 0 0 0 0 0 0 -1 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 1 0 -1 0 0 -7 7 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.627416727719 0.612827374756 10 11 9 11 0213 2310 0132 3201 1 1 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 0 0 0 0 0 0 0 0 0 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.438761582513 0.595597433811 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_3'], 'c_1001_11' : negation(d['c_0110_10']), 'c_1001_10' : d['c_1001_1'], 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_6']), 'c_1001_8' : d['c_1001_1'], 'c_1010_11' : d['c_0110_10'], 'c_1010_10' : d['c_0011_6'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0011_11'], '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' : negation(d['1']), 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0110_3'], 'c_1100_4' : d['c_0110_3'], 'c_1100_7' : d['c_0011_5'], 'c_1100_6' : negation(d['c_0101_1']), 'c_1100_1' : d['c_0110_3'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_0101_1']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : d['c_0011_6'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0011_10']), 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0110_10']), 'c_1010_8' : d['c_1001_1'], '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' : d['1'], 's_3_6' : negation(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' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_6']), 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), '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_0110_11' : negation(d['c_0110_10']), 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_3'], 'c_0101_8' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : negation(d['c_0011_6']), 'c_1100_8' : d['c_0011_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0110_10, c_0110_3, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 3152058869510299510369902570950488287002906066944/93836205712605873\ 119175022881157348260014285*c_1001_2^15 - 4431273194011070743221270747732576856658910642176/93836205712605873\ 119175022881157348260014285*c_1001_2^14 - 6562390497172277384497023926941176305273846890496/93836205712605873\ 119175022881157348260014285*c_1001_2^13 - 4024486789898900932804179852351004089242041188352/93836205712605873\ 119175022881157348260014285*c_1001_2^12 - 11437335929798815919194733071609815934636431245312/9383620571260587\ 3119175022881157348260014285*c_1001_2^11 - 11996296225163598657938225105118408810936731697152/9383620571260587\ 3119175022881157348260014285*c_1001_2^10 - 2131477271532114737918862724938368413497152241664/13405172244657981\ 874167860411593906894287755*c_1001_2^9 - 6394825849634049412357988707585975252438204678144/93836205712605873\ 119175022881157348260014285*c_1001_2^8 - 10552870539663717661907703436864745115853232930816/9383620571260587\ 3119175022881157348260014285*c_1001_2^7 - 8323411378163992626960145419799383370069988737024/93836205712605873\ 119175022881157348260014285*c_1001_2^6 - 42226342110662003333644686098266921940838744064/4622473187813097197\ 98891738330824375665095*c_1001_2^5 - 1340075107368162151245501985694100117408544784384/93836205712605873\ 119175022881157348260014285*c_1001_2^4 - 907806850845533894513922885033438876791672014848/938362057126058731\ 19175022881157348260014285*c_1001_2^3 - 13650424102441035813989137204285229103662739456/5519776806623874889\ 363236640068079309412605*c_1001_2^2 - 72826770890418106068823644658780304464380080640/1876724114252117462\ 3835004576231469652002857*c_1001_2 - 82312695187930736738607576521126956177319139328/9383620571260587311\ 9175022881157348260014285, c_0011_0 - 1, c_0011_10 + 4552994951069408091621785600/47076735215765421277371312773*\ c_1001_2^15 + 37726329412898895950507016192/47076735215765421277371\ 312773*c_1001_2^14 + 41475063539616953351459233792/4707673521576542\ 1277371312773*c_1001_2^13 + 78072782094692838272611844096/470767352\ 15765421277371312773*c_1001_2^12 + 56849364408327078069252763648/47076735215765421277371312773*c_1001_\ 2^11 + 163076963971028851860320944128/47076735215765421277371312773\ *c_1001_2^10 + 17019985097019318589776213504/6725247887966488753910\ 187539*c_1001_2^9 + 206714778188447078401797656576/4707673521576542\ 1277371312773*c_1001_2^8 + 90408384999112638810981868032/4707673521\ 5765421277371312773*c_1001_2^7 + 214434369219487329872993986560/470\ 76735215765421277371312773*c_1001_2^6 + 12550912248090224457626030080/6725247887966488753910187539*c_1001_2\ ^5 + 176276378993416405473485917952/47076735215765421277371312773*c\ _1001_2^4 + 28557665302565985507580539280/4707673521576542127737131\ 2773*c_1001_2^3 + 51422683551768416474192736246/4707673521576542127\ 7371312773*c_1001_2^2 + 3283772882721349536896815782/47076735215765\ 421277371312773*c_1001_2 + 25838022425148373758225275271/4707673521\ 5765421277371312773, c_0011_11 + 55181079402910289204252672000/47076735215765421277371312773\ *c_1001_2^15 + 291185875489415505946434994176/470767352157654212773\ 71312773*c_1001_2^14 + 349182033689530039388027650048/4707673521576\ 5421277371312773*c_1001_2^13 + 566373140847688044652277104640/47076\ 735215765421277371312773*c_1001_2^12 + 499885137811581491854412769280/47076735215765421277371312773*c_1001\ _2^11 + 1176201022798500019244332032000/470767352157654212773713127\ 73*c_1001_2^10 + 139316253124625297695915158528/6725247887966488753\ 910187539*c_1001_2^9 + 1390543052586767824888165996544/470767352157\ 65421277371312773*c_1001_2^8 + 745265880936412375600224446976/47076\ 735215765421277371312773*c_1001_2^7 + 1309584328962501553673359489536/47076735215765421277371312773*c_100\ 1_2^6 + 100051911377560796843253264064/6725247887966488753910187539\ *c_1001_2^5 + 883333366005704448517350352296/4707673521576542127737\ 1312773*c_1001_2^4 + 222214983970199124851445726904/470767352157654\ 21277371312773*c_1001_2^3 + 302796897741841214294686858152/47076735\ 215765421277371312773*c_1001_2^2 + 24032371846582687818992205888/47076735215765421277371312773*c_1001_\ 2 + 42397603520145043833569911961/47076735215765421277371312773, c_0011_3 - 2276497475534704045810892800/47076735215765421277371312773*c\ _1001_2^15 - 18863164706449447975253508096/470767352157654212773713\ 12773*c_1001_2^14 - 20737531769808476675729616896/47076735215765421\ 277371312773*c_1001_2^13 - 39036391047346419136305922048/4707673521\ 5765421277371312773*c_1001_2^12 - 28424682204163539034626381824/470\ 76735215765421277371312773*c_1001_2^11 - 81538481985514425930160472064/47076735215765421277371312773*c_1001_\ 2^10 - 8509992548509659294888106752/6725247887966488753910187539*c_\ 1001_2^9 - 103357389094223539200898828288/4707673521576542127737131\ 2773*c_1001_2^8 - 45204192499556319405490934016/4707673521576542127\ 7371312773*c_1001_2^7 - 107217184609743664936496993280/470767352157\ 65421277371312773*c_1001_2^6 - 6275456124045112228813015040/6725247\ 887966488753910187539*c_1001_2^5 - 88138189496708202736742958976/47076735215765421277371312773*c_1001_\ 2^4 - 14278832651282992753790269640/47076735215765421277371312773*c\ _1001_2^3 - 72788076991649629514467680896/4707673521576542127737131\ 2773*c_1001_2^2 - 1641886441360674768448407891/47076735215765421277\ 371312773*c_1001_2 - 36457378820456897517798294022/4707673521576542\ 1277371312773, c_0011_5 + 57516086017300091331669884928/6725247887966488753910187539*c\ _1001_2^15 + 58281408270931628300568649728/672524788796648875391018\ 7539*c_1001_2^14 + 119396916490733674304380829696/67252478879664887\ 53910187539*c_1001_2^13 + 62660516502642519261324005376/67252478879\ 66488753910187539*c_1001_2^12 + 238665757224403623912364072960/6725\ 247887966488753910187539*c_1001_2^11 + 165473806388387580304865020416/6725247887966488753910187539*c_1001_\ 2^10 + 298276097319344584800997521408/6725247887966488753910187539*\ c_1001_2^9 + 104315236345253387278689827328/67252478879664887539101\ 87539*c_1001_2^8 + 281196940314295272320664220672/67252478879664887\ 53910187539*c_1001_2^7 + 115272699369864006648439620992/67252478879\ 66488753910187539*c_1001_2^6 + 203803721819156536607211368704/67252\ 47887966488753910187539*c_1001_2^5 + 24359155071793303015930910608/6725247887966488753910187539*c_1001_2\ ^4 + 81899866766172581983362921696/6725247887966488753910187539*c_1\ 001_2^3 - 2122940229071592517706483138/6725247887966488753910187539\ *c_1001_2^2 + 12581142290165851715291946310/67252478879664887539101\ 87539*c_1001_2 - 1292672822685961101907380921/672524788796648875391\ 0187539, c_0011_6 - 303092598735612175745033502720/47076735215765421277371312773\ *c_1001_2^15 - 310862636984086986599333560320/470767352157654212773\ 71312773*c_1001_2^14 - 615219054004265429587695632384/4707673521576\ 5421277371312773*c_1001_2^13 - 322711461706349297720971173888/47076\ 735215765421277371312773*c_1001_2^12 - 1218991617004061428561465409536/47076735215765421277371312773*c_100\ 1_2^11 - 867484508840697465088723273728/470767352157654212773713127\ 73*c_1001_2^10 - 212732930071886958404438114304/6725247887966488753\ 910187539*c_1001_2^9 - 520660352897204182259072064000/4707673521576\ 5421277371312773*c_1001_2^8 - 1349832384588044823123861044224/47076\ 735215765421277371312773*c_1001_2^7 - 586824397189171703178990347264/47076735215765421277371312773*c_1001\ _2^6 - 128729278735426129520941540096/6725247887966488753910187539*\ c_1001_2^5 - 101861465251782600306282759616/47076735215765421277371\ 312773*c_1001_2^4 - 323583677593987999723932567188/4707673521576542\ 1277371312773*c_1001_2^3 + 21273811046670645642012249512/4707673521\ 5765421277371312773*c_1001_2^2 - 10160432610042361615074313957/4707\ 6735215765421277371312773*c_1001_2 + 8383017656428267808354108622/47076735215765421277371312773, c_0101_0 + 217892968291465063590287212544/47076735215765421277371312773\ *c_1001_2^15 + 220169465766999767636098105344/470767352157654212773\ 71312773*c_1001_2^14 + 454649101289379575155827933184/4707673521576\ 5421277371312773*c_1001_2^13 + 238630500061273540266016829440/47076\ 735215765421277371312773*c_1001_2^12 + 910608264213206673497454772224/47076735215765421277371312773*c_1001\ _2^11 + 627630345005692463907916216320/4707673521576542127737131277\ 3*c_1001_2^10 + 163395243200915230133258661888/67252478879664887539\ 10187539*c_1001_2^9 + 400027710794981776924040516864/47076735215765\ 421277371312773*c_1001_2^8 + 1087280324035370466975789522432/470767\ 35215765421277371312773*c_1001_2^7 + 440135197527836747162886506752/47076735215765421277371312773*c_1001\ _2^6 + 114414268090200002817983989120/6725247887966488753910187539*\ c_1001_2^5 + 96699146126404980689963789568/470767352157654212773713\ 12773*c_1001_2^4 + 359653255453650996819952415232/47076735215765421\ 277371312773*c_1001_2^3 - 6361419227888990808961546392/470767352157\ 65421277371312773*c_1001_2^2 + 127633694742748379651573666280/47076\ 735215765421277371312773*c_1001_2 - 4635303563129773840842092861/47076735215765421277371312773, c_0101_1 - 1, c_0110_10 + 44486059716698021130801938432/47076735215765421277371312773\ *c_1001_2^15 + 56097092109278479085881262080/4707673521576542127737\ 1312773*c_1001_2^14 + 223255471109152014339248259072/47076735215765\ 421277371312773*c_1001_2^13 + 206336137824247116313204391936/470767\ 35215765421277371312773*c_1001_2^12 + 438918214808195570419136520192/47076735215765421277371312773*c_1001\ _2^11 + 340086103514696438458983049728/4707673521576542127737131277\ 3*c_1001_2^10 + 97609912367765792139290466304/672524788796648875391\ 0187539*c_1001_2^9 + 546135934403408327213568737024/470767352157654\ 21277371312773*c_1001_2^8 + 777718298467199975415379044352/47076735\ 215765421277371312773*c_1001_2^7 + 447635782552864662361899235808/47076735215765421277371312773*c_1001\ _2^6 + 85113278069443080572591598688/6725247887966488753910187539*c\ _1001_2^5 + 371258581320731665227791837232/470767352157654212773713\ 12773*c_1001_2^4 + 382045916029873211419335203200/47076735215765421\ 277371312773*c_1001_2^3 + 119650411592700288188799982250/4707673521\ 5765421277371312773*c_1001_2^2 + 95669480953998969137624057710/4707\ 6735215765421277371312773*c_1001_2 + 15110667112048792408302028397/47076735215765421277371312773, c_0110_3 + c_1001_2, c_1001_1 + 2276497475534704045810892800/47076735215765421277371312773*c\ _1001_2^15 + 18863164706449447975253508096/470767352157654212773713\ 12773*c_1001_2^14 + 20737531769808476675729616896/47076735215765421\ 277371312773*c_1001_2^13 + 39036391047346419136305922048/4707673521\ 5765421277371312773*c_1001_2^12 + 28424682204163539034626381824/470\ 76735215765421277371312773*c_1001_2^11 + 81538481985514425930160472064/47076735215765421277371312773*c_1001_\ 2^10 + 8509992548509659294888106752/6725247887966488753910187539*c_\ 1001_2^9 + 103357389094223539200898828288/4707673521576542127737131\ 2773*c_1001_2^8 + 45204192499556319405490934016/4707673521576542127\ 7371312773*c_1001_2^7 + 107217184609743664936496993280/470767352157\ 65421277371312773*c_1001_2^6 + 6275456124045112228813015040/6725247\ 887966488753910187539*c_1001_2^5 + 88138189496708202736742958976/47076735215765421277371312773*c_1001_\ 2^4 + 14278832651282992753790269640/47076735215765421277371312773*c\ _1001_2^3 + 72788076991649629514467680896/4707673521576542127737131\ 2773*c_1001_2^2 + 1641886441360674768448407891/47076735215765421277\ 371312773*c_1001_2 + 36457378820456897517798294022/4707673521576542\ 1277371312773, c_1001_2^16 + c_1001_2^15 + 2*c_1001_2^14 + c_1001_2^13 + 4*c_1001_2^12 + 11/4*c_1001_2^11 + 39/8*c_1001_2^10 + 25/16*c_1001_2^9 + 289/64*c_1001_2^8 + 29/16*c_1001_2^7 + 815/256*c_1001_2^6 + 31/128*c_1001_2^5 + 319/256*c_1001_2^4 - 97/1024*c_1001_2^3 + 1031/4096*c_1001_2^2 - 59/2048*c_1001_2 + 1597/32768 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.320 seconds, Total memory usage: 32.09MB