Magma V2.19-8 Wed Aug 21 2013 00:57:34 on localhost [Seed = 2732898415] Type ? for help. Type -D to quit. Loading file "L13n4358__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4358 geometric_solution 11.83818749 oriented_manifold CS_known -0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 1302 0132 1 1 1 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 1 0 -1 0 0 0 0 3 0 0 -3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.329271975858 0.527650026695 0 4 5 4 0132 0132 0132 1230 1 1 0 1 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 -1 1 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.227001313915 1.184794071335 0 0 6 4 2031 0132 0132 0132 1 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 0 0 0 0 0 -1 0 1 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.148804194784 1.364019783875 7 8 0 5 0132 0132 0132 3201 1 1 1 1 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 1 0 -1 0 0 1 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.141798365880 0.797692167370 1 1 2 9 3012 0132 0132 0132 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 0 0 0 0 0 0 0 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.386255237427 0.592022888995 6 3 10 1 0321 2310 0132 0132 1 1 1 1 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 0 0 0 4 -1 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.441011812471 1.913990060828 5 7 11 2 0321 0321 0132 0132 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 0 0 0 0 0 0 -4 4 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.103276790298 0.688090094427 3 10 12 6 0132 2031 0132 0321 1 1 1 1 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 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.255505252255 0.641376750433 12 3 11 10 2031 0132 3012 2031 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 1 -1 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.042640053853 0.796187919234 10 12 4 11 2031 2031 0132 0132 1 1 1 1 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 1 -1 0 0 0 0 0 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.076566435070 0.878854083603 7 8 9 5 1302 1302 1302 0132 1 1 1 1 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 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.254955616322 0.365931944805 12 8 9 6 1023 1230 0132 0132 1 1 1 1 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 -1 0 0 1 3 1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.014056033933 1.339007989673 9 11 8 7 1302 1023 1302 0132 1 1 1 1 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 -1 1 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.649036241801 0.696453230721 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_0101_11'], 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_0101_4'], 'c_1001_7' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : negation(d['c_0101_7']), 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : d['c_0011_10'], 'c_1001_2' : d['c_0011_10'], 'c_1001_9' : negation(d['c_0101_7']), 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_12' : negation(d['c_0101_5']), 'c_1010_11' : d['c_0101_8'], 'c_1010_10' : d['c_0011_11'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_3'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : 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' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_11']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0101_9'], 'c_1100_4' : d['c_1100_11'], 'c_1100_7' : d['c_0101_8'], 'c_1100_6' : d['c_1100_11'], 'c_1100_1' : d['c_0101_9'], 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : d['c_1100_11'], 's_0_10' : d['1'], 'c_1100_11' : d['c_1100_11'], 'c_1100_10' : d['c_0101_9'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : negation(d['c_0101_7']), 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : negation(d['c_0011_11']), 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : d['c_0011_10'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_0011_10'], 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_8'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(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_3']), 'c_0011_8' : negation(d['c_0011_3']), '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_0101_5']), 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0011_3'], 'c_0110_0' : negation(d['c_0011_6']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0011_0'], 'c_1100_9' : d['c_1100_11'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0011_5'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 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_11, c_0101_4, c_0101_5, c_0101_7, c_0101_8, c_0101_9, c_1100_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 2855924048555053048582633623896331696061/10981617390265895271155888\ 3924675968*c_1100_11^13 + 1490661270847144600939070408045079390671/\ 5779798626455734353239941259193472*c_1100_11^12 - 77362046021898046063798462792438064903299/5490808695132947635577944\ 1962337984*c_1100_11^11 + 17848379182168673726380915950780481864229\ /7844012421618496622254205994619712*c_1100_11^10 - 861524797764237144759434637148457796467099/109816173902658952711558\ 883924675968*c_1100_11^9 + 4140474874888187753134106076183983328031\ /603385570893730509404169691893824*c_1100_11^8 - 63611496349633574343904717962015975236867/6459774935450526630091699\ 054392704*c_1100_11^7 - 1073256819737378519472694666506324744738931\ /109816173902658952711558883924675968*c_1100_11^6 - 5688190604677041036160475166828598968881/19610031054046241555635514\ 98654928*c_1100_11^5 + 1149111788007157603248782178570406535533831/\ 109816173902658952711558883924675968*c_1100_11^4 - 2109009544781991975034706598898992498099797/10981617390265895271155\ 8883924675968*c_1100_11^3 - 179877442168369444914795439701752188656\ 8885/109816173902658952711558883924675968*c_1100_11^2 - 542650645908784266297360267142676831492865/549080869513294763557794\ 41962337984*c_1100_11 + 12917132625267870900245931612784300216581/1\ 09816173902658952711558883924675968, c_0011_0 - 1, c_0011_10 - 339424894615823510907812/5439464030217268734086741*c_1100_1\ 1^13 + 3380815930627349044507933/5439464030217268734086741*c_1100_1\ 1^12 - 18529860626837268700402057/5439464030217268734086741*c_1100_\ 11^11 + 30438719683941838005301294/5439464030217268734086741*c_1100\ _11^10 - 103336038474975088288638826/5439464030217268734086741*c_11\ 00_11^9 + 93093595546282285984465718/5439464030217268734086741*c_11\ 00_11^8 - 129972076713345106056519749/5439464030217268734086741*c_1\ 100_11^7 - 126530283924050050098115927/5439464030217268734086741*c_\ 1100_11^6 - 26332129616714751774819035/5439464030217268734086741*c_\ 1100_11^5 + 133017295914401440049204093/5439464030217268734086741*c\ _1100_11^4 - 254268294553105106937503020/5439464030217268734086741*\ c_1100_11^3 - 206321444953295171006658540/5439464030217268734086741\ *c_1100_11^2 - 116490626615426265170613697/543946403021726873408674\ 1*c_1100_11 + 7560220342645572983642702/5439464030217268734086741, c_0011_11 - 197447477152344560119798/5439464030217268734086741*c_1100_1\ 1^13 + 1945985337574977583801771/5439464030217268734086741*c_1100_1\ 1^12 - 10571388546181035825047572/5439464030217268734086741*c_1100_\ 11^11 + 16567656534433566481507231/5439464030217268734086741*c_1100\ _11^10 - 58237359202895901995296691/5439464030217268734086741*c_110\ 0_11^9 + 48144244221513508175024777/5439464030217268734086741*c_110\ 0_11^8 - 70452622247746705008840641/5439464030217268734086741*c_110\ 0_11^7 - 78552170015825441344457682/5439464030217268734086741*c_110\ 0_11^6 - 27419396580503672878069677/5439464030217268734086741*c_110\ 0_11^5 + 85610578861296764198554284/5439464030217268734086741*c_110\ 0_11^4 - 145605720983240311346349100/5439464030217268734086741*c_11\ 00_11^3 - 130306072589584583389462232/5439464030217268734086741*c_1\ 100_11^2 - 79482727658646929922706014/5439464030217268734086741*c_1\ 100_11 + 2947541469623774533937167/5439464030217268734086741, c_0011_3 - 175167992282425706133965/5439464030217268734086741*c_1100_11\ ^13 + 3475501794701941298219949/10878928060434537468173482*c_1100_1\ 1^12 - 18974081091522938210859213/10878928060434537468173482*c_1100\ _11^11 + 30530930551618094088963723/10878928060434537468173482*c_11\ 00_11^10 - 52360621936124889254136069/5439464030217268734086741*c_1\ 100_11^9 + 45309744784927585932387934/5439464030217268734086741*c_1\ 100_11^8 - 126470489184898680122944875/10878928060434537468173482*c\ _1100_11^7 - 69744302663152438955778707/5439464030217268734086741*c\ _1100_11^6 - 28269439449529354308432711/10878928060434537468173482*\ c_1100_11^5 + 72159419401461515228542413/5439464030217268734086741*\ c_1100_11^4 - 132445694656724769575713625/5439464030217268734086741\ *c_1100_11^3 - 108762370738811824462584842/543946403021726873408674\ 1*c_1100_11^2 - 65337729666673289310819519/543946403021726873408674\ 1*c_1100_11 + 10000626306492527406464851/10878928060434537468173482\ , c_0011_5 - 611656724919105642277781/10878928060434537468173482*c_1100_1\ 1^13 + 3036436865626581579806192/5439464030217268734086741*c_1100_1\ 1^12 - 16588413536752582648439409/5439464030217268734086741*c_1100_\ 11^11 + 53587165432417161419597237/10878928060434537468173482*c_110\ 0_11^10 - 91694224032896398628553736/5439464030217268734086741*c_11\ 00_11^9 + 160232139532264011531403477/10878928060434537468173482*c_\ 1100_11^8 - 223101262748136127744853955/10878928060434537468173482*\ c_1100_11^7 - 239318555077050538540504189/1087892806043453746817348\ 2*c_1100_11^6 - 49762718620143612336172935/108789280604345374681734\ 82*c_1100_11^5 + 125006555629386623336268309/5439464030217268734086\ 741*c_1100_11^4 - 227545358623220533318753796/543946403021726873408\ 6741*c_1100_11^3 - 195963133199187684222280319/54394640302172687340\ 86741*c_1100_11^2 - 210713278985709410450447775/1087892806043453746\ 8173482*c_1100_11 + 16434448610623499793929783/10878928060434537468\ 173482, c_0011_6 + 1, c_0101_11 - 477199411826320522709133/10878928060434537468173482*c_1100_\ 11^13 + 2364919803022874378556871/5439464030217268734086741*c_1100_\ 11^12 - 12910308154232530873151200/5439464030217268734086741*c_1100\ _11^11 + 41543662701303985863292585/10878928060434537468173482*c_11\ 00_11^10 - 71680094011795080987693463/5439464030217268734086741*c_1\ 100_11^9 + 124559339857369663742712199/10878928060434537468173482*c\ _1100_11^8 - 178583400383966253105489201/10878928060434537468173482\ *c_1100_11^7 - 181455878343459429659474157/108789280604345374681734\ 82*c_1100_11^6 - 56202457576606182490500275/10878928060434537468173\ 482*c_1100_11^5 + 99439519375909469270774660/5439464030217268734086\ 741*c_1100_11^4 - 179725625756405953587915880/543946403021726873408\ 6741*c_1100_11^3 - 151835646318403679196704353/54394640302172687340\ 86741*c_1100_11^2 - 178926134501182629246404643/1087892806043453746\ 8173482*c_1100_11 + 8977226037292582839992659/108789280604345374681\ 73482, c_0101_4 + 1736322317051/281120168728474*c_1100_11^13 - 8899029419237/140560084364237*c_1100_11^12 + 50168539630936/140560084364237*c_1100_11^11 - 188386486925007/281120168728474*c_1100_11^10 + 300833760650130/140560084364237*c_1100_11^9 - 670699211673663/281120168728474*c_1100_11^8 + 952049649235951/281120168728474*c_1100_11^7 + 355104558776905/281120168728474*c_1100_11^6 + 74978121212695/281120168728474*c_1100_11^5 - 207003911419688/140560084364237*c_1100_11^4 + 690541955585768/140560084364237*c_1100_11^3 + 267667028578597/140560084364237*c_1100_11^2 + 575422196218283/281120168728474*c_1100_11 + 33955011709603/281120168728474, c_0101_5 + 47457095109799325904134/5439464030217268734086741*c_1100_11^\ 13 - 481828101152402086163874/5439464030217268734086741*c_1100_11^1\ 2 + 2683799485174629264907349/5439464030217268734086741*c_1100_11^1\ 1 - 4781228896200850341741885/5439464030217268734086741*c_1100_11^1\ 0 + 15442878230952492278490902/5439464030217268734086741*c_1100_11^\ 9 - 16345252719361133103205688/5439464030217268734086741*c_1100_11^\ 8 + 21998526749379922375765445/5439464030217268734086741*c_1100_11^\ 7 + 11102790631083587841015920/5439464030217268734086741*c_1100_11^\ 6 + 3805674414139093255355437/5439464030217268734086741*c_1100_11^5 - 23402190423451338045300182/5439464030217268734086741*c_1100_11^4 + 39706774810294785218678979/5439464030217268734086741*c_1100_11^3 + 21462635207272340899778991/5439464030217268734086741*c_1100_11^2 + 10665135252786429839181399/5439464030217268734086741*c_1100_11 - 1917203141334584135063452/5439464030217268734086741, c_0101_7 + 298717160955595237353779/5439464030217268734086741*c_1100_11\ ^13 - 2990292298079092501238060/5439464030217268734086741*c_1100_11\ ^12 + 16475958112924872983328798/5439464030217268734086741*c_1100_1\ 1^11 - 27811044517712127920062618/5439464030217268734086741*c_1100_\ 11^10 + 93475330703730497387018508/5439464030217268734086741*c_1100\ _11^9 - 88934544146242779419379018/5439464030217268734086741*c_1100\ _11^8 + 125779745123859814993077866/5439464030217268734086741*c_110\ 0_11^7 + 95816121512846322977929924/5439464030217268734086741*c_110\ 0_11^6 + 29921652343112441303655840/5439464030217268734086741*c_110\ 0_11^5 - 118709628001783229301183243/5439464030217268734086741*c_11\ 00_11^4 + 228842308716553511013123651/5439464030217268734086741*c_1\ 100_11^3 + 164669265903406428084362832/5439464030217268734086741*c_\ 1100_11^2 + 105488445678378021798417733/5439464030217268734086741*c\ _1100_11 - 4381909982659158975571551/5439464030217268734086741, c_0101_8 - 119172520815562499401819/5439464030217268734086741*c_1100_11\ ^13 + 2390526345549871738020189/10878928060434537468173482*c_1100_1\ 1^12 - 13188440140811541506855759/10878928060434537468173482*c_1100\ _11^11 + 22407938832921290725824951/10878928060434537468173482*c_11\ 00_11^10 - 37419732624499669719353534/5439464030217268734086741*c_1\ 100_11^9 + 36147552598678260843640434/5439464030217268734086741*c_1\ 100_11^8 - 101800675650625435938588705/10878928060434537468173482*c\ _1100_11^7 - 36819896469740112151108543/5439464030217268734086741*c\ _1100_11^6 - 28408949677057431878181347/10878928060434537468173482*\ c_1100_11^5 + 51737804702676478543193215/5439464030217268734086741*\ c_1100_11^4 - 98658529766320503363066502/5439464030217268734086741*\ c_1100_11^3 - 63799125377109721175324147/5439464030217268734086741*\ c_1100_11^2 - 41515896546952361652082772/5439464030217268734086741*\ c_1100_11 + 5808015278402283858048347/10878928060434537468173482, c_0101_9 - 530241257598649095169715/10878928060434537468173482*c_1100_1\ 1^13 + 2645913233078325036536319/5439464030217268734086741*c_1100_1\ 1^12 - 14534511022840186931366150/5439464030217268734086741*c_1100_\ 11^11 + 48331815099957741249119885/10878928060434537468173482*c_110\ 0_11^10 - 81833516261651807726933418/5439464030217268734086741*c_11\ 00_11^9 + 151914036732184998401230077/10878928060434537468173482*c_\ 1100_11^8 - 214716599569165545617970189/10878928060434537468173482*\ c_1100_11^7 - 177890230254643084300132183/1087892806043453746817348\ 2*c_1100_11^6 - 56941764072938991393846545/108789280604345374681734\ 82*c_1100_11^5 + 110698887716768412588247459/5439464030217268734086\ 741*c_1100_11^4 - 202119372786668937394374427/543946403021726873408\ 6741*c_1100_11^3 - 154310954149298941299984611/54394640302172687340\ 86741*c_1100_11^2 - 188708917111612923706055847/1087892806043453746\ 8173482*c_1100_11 + 10077827890650671777787481/10878928060434537468\ 173482, c_1100_11^14 - 10*c_1100_11^13 + 55*c_1100_11^12 - 92*c_1100_11^11 + 309*c_1100_11^10 - 289*c_1100_11^9 + 401*c_1100_11^8 + 344*c_1100_11^7 + 81*c_1100_11^6 - 411*c_1100_11^5 + 772*c_1100_11^4 + 568*c_1100_11^3 + 329*c_1100_11^2 - 35*c_1100_11 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.740 Total time: 0.950 seconds, Total memory usage: 32.09MB