Magma V2.19-8 Tue Aug 20 2013 23:38:11 on localhost [Seed = 1932859222] Type ? for help. Type -D to quit. Loading file "K10a19__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a19 geometric_solution 8.42226667 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 10 0 1 2 0 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1.437083117862 1.254986810666 3 0 2 4 0132 0132 1302 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 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.351506588127 0.520426781884 1 5 6 0 2031 0132 0132 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 0.602033382454 0.361994915713 1 6 7 7 0132 3201 0132 3120 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 0 -1 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.598344471520 1.238909865594 5 8 1 6 0213 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.208728310299 1.024610109190 4 2 9 9 0213 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 -1 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.877477024324 0.754632507912 4 8 3 2 3012 1023 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.569425554013 0.313000706979 3 8 9 3 3120 0213 3120 0132 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 -2 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.236793804730 0.730392488066 6 4 7 9 1023 0132 0213 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.089977439467 0.474516648686 5 8 7 5 3120 0321 3120 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 1 0 -1 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.209626565719 1.291113116877 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : d['c_0101_6'], 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0011_9']), 'c_1001_9' : negation(d['c_0101_6']), 'c_1001_8' : d['c_0101_6'], 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_7']), 'c_1100_8' : negation(d['c_0101_6']), 'c_1100_5' : negation(d['c_0101_7']), 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : negation(d['c_0101_7']), 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0101_7']), 'c_1100_2' : d['c_0011_0'], 'c_1010_7' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0011_9']), 'c_1010_5' : negation(d['c_0011_9']), 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : negation(d['c_0011_7']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : d['c_1001_0'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : 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' : 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' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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' : d['c_0011_2'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : negation(d['c_0011_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_2']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : d['c_0011_7'], 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : negation(d['c_0011_9']), 'c_0110_1' : negation(d['c_0011_2']), 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0011_4']), 'c_0110_7' : negation(d['c_0011_2']), 'c_0110_6' : d['c_0101_2']})} 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_2, c_0011_4, c_0011_7, c_0011_9, c_0101_0, c_0101_2, c_0101_6, c_0101_7, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 19400088946130207823677886365235524252548879/8005848068866194401992\ 19019662284243370885*c_1001_0^17 - 334859287900217490964618241790604199791751766/800584806886619440199\ 219019662284243370885*c_1001_0^16 - 2395394162995762359721534378536244255457648318/80058480688661944019\ 9219019662284243370885*c_1001_0^15 - 8840592073293901699343458866655109339375898597/80058480688661944019\ 9219019662284243370885*c_1001_0^14 - 16431309162036022782112826498725354219821049932/8005848068866194401\ 99219019662284243370885*c_1001_0^13 - 11792869021128431282679954033986842006386845856/8005848068866194401\ 99219019662284243370885*c_1001_0^12 - 9670768301559022322991649164834270138359258571/80058480688661944019\ 9219019662284243370885*c_1001_0^11 - 57058274014748282036867612579255952727021605037/8005848068866194401\ 99219019662284243370885*c_1001_0^10 - 92461366814095193175513205328163523904519844136/8005848068866194401\ 99219019662284243370885*c_1001_0^9 - 71196035890574399319850461824717500386095270388/8005848068866194401\ 99219019662284243370885*c_1001_0^8 - 99431560710847538742222693034418066990712557571/8005848068866194401\ 99219019662284243370885*c_1001_0^7 - 25611072453988283472669416167453681872457037214/8005848068866194401\ 99219019662284243370885*c_1001_0^6 - 31228582426902759958434630996963786274849749377/8005848068866194401\ 99219019662284243370885*c_1001_0^5 + 5245542363830501283913087241280325335630755366/80058480688661944019\ 9219019662284243370885*c_1001_0^4 - 858186652783449213932077059439009190656195979/800584806886619440199\ 219019662284243370885*c_1001_0^3 + 78910562783735426159599862344476491566875279/8005848068866194401992\ 19019662284243370885*c_1001_0^2 - 500544247761417143994351932236132\ 398459596532/800584806886619440199219019662284243370885*c_1001_0 - 297906912061704507722905018162972565300528208/800584806886619440199\ 219019662284243370885, c_0011_0 - 1, c_0011_2 + 198322225679727054905771812654/25158624314483380966212134250\ 97*c_1001_0^17 + 3285221203472244992465739605786/251586243144833809\ 6621213425097*c_1001_0^16 + 22139280110743926703207223886064/251586\ 2431448338096621213425097*c_1001_0^15 + 73914368991800248420099802656488/2515862431448338096621213425097*c_\ 1001_0^14 + 109233033827854847594835411849346/251586243144833809662\ 1213425097*c_1001_0^13 + 19052226460439107605785484712302/251586243\ 1448338096621213425097*c_1001_0^12 + 43739490518909487208816825749536/2515862431448338096621213425097*c_\ 1001_0^11 + 534865478231462645923409744303152/251586243144833809662\ 1213425097*c_1001_0^10 + 553369557037443281724936954717495/25158624\ 31448338096621213425097*c_1001_0^9 + 165311864609032040219927882940440/2515862431448338096621213425097*c\ _1001_0^8 + 673361336684036032408868206125792/251586243144833809662\ 1213425097*c_1001_0^7 - 323468002557786125665051782117483/251586243\ 1448338096621213425097*c_1001_0^6 + 293017529185570494369676741440725/2515862431448338096621213425097*c\ _1001_0^5 - 239725732752075263273721435767549/251586243144833809662\ 1213425097*c_1001_0^4 + 77015274675931181155408868512138/2515862431\ 448338096621213425097*c_1001_0^3 - 20048282856110250974330338778239/2515862431448338096621213425097*c_\ 1001_0^2 + 1140004943675842785472471937119/251586243144833809662121\ 3425097*c_1001_0 + 122634224115570478661375250829/25158624314483380\ 96621213425097, c_0011_4 + 48189901003423364858169519552/251586243144833809662121342509\ 7*c_1001_0^17 + 831196220193071533201872521762/25158624314483380966\ 21213425097*c_1001_0^16 + 5927907709565823368118464958292/251586243\ 1448338096621213425097*c_1001_0^15 + 21686504876470895267369179789018/2515862431448338096621213425097*c_\ 1001_0^14 + 39179831863886719785283051593580/2515862431448338096621\ 213425097*c_1001_0^13 + 24133772889727967620525342308536/2515862431\ 448338096621213425097*c_1001_0^12 + 16363059469009930058548664033192/2515862431448338096621213425097*c_\ 1001_0^11 + 138981826887019328976922227684248/251586243144833809662\ 1213425097*c_1001_0^10 + 224274420035165188926202248697448/25158624\ 31448338096621213425097*c_1001_0^9 + 140709466708937063029045319570878/2515862431448338096621213425097*c\ _1001_0^8 + 206625638089179417284590505367982/251586243144833809662\ 1213425097*c_1001_0^7 + 42844750234344446662802116558424/2515862431\ 448338096621213425097*c_1001_0^6 + 29167286110492715661716933350422/2515862431448338096621213425097*c_\ 1001_0^5 - 2517619635308359915622452716719/251586243144833809662121\ 3425097*c_1001_0^4 - 18164804578837521627629256414723/2515862431448\ 338096621213425097*c_1001_0^3 + 6581256134557339467471861418792/251\ 5862431448338096621213425097*c_1001_0^2 - 4446137382397382474355062338339/2515862431448338096621213425097*c_1\ 001_0 + 367960528317507221501188304/2515862431448338096621213425097\ , c_0011_7 + 413815197396849696049243816358/25158624314483380966212134250\ 97*c_1001_0^17 + 6953157526584130845667561337562/251586243144833809\ 6621213425097*c_1001_0^16 + 47824468408411644894588284846848/251586\ 2431448338096621213425097*c_1001_0^15 + 165217759525861582548461629978856/2515862431448338096621213425097*c\ _1001_0^14 + 264680453632045363598687043189306/25158624314483380966\ 21213425097*c_1001_0^13 + 94347236575400174867483621093160/25158624\ 31448338096621213425097*c_1001_0^12 + 101541826924166694711033133360888/2515862431448338096621213425097*c\ _1001_0^11 + 1138393541433728232931030647504746/2515862431448338096\ 621213425097*c_1001_0^10 + 1421082130077377413732846096814344/25158\ 62431448338096621213425097*c_1001_0^9 + 624911124079625954821376786845178/2515862431448338096621213425097*c\ _1001_0^8 + 1495441697936925615199738933325560/25158624314483380966\ 21213425097*c_1001_0^7 - 336176443974484723049818096683163/25158624\ 31448338096621213425097*c_1001_0^6 + 458438575225324332924950968482285/2515862431448338096621213425097*c\ _1001_0^5 - 338260058751134627140220158437241/251586243144833809662\ 1213425097*c_1001_0^4 + 67190468166176457036473528116182/2515862431\ 448338096621213425097*c_1001_0^3 + 7595455512091600473247297380029/2515862431448338096621213425097*c_1\ 001_0^2 + 3846150552372384333524406030662/2515862431448338096621213\ 425097*c_1001_0 + 1903307582642367864541198693111/25158624314483380\ 96621213425097, c_0011_9 - 19444320644206254064908049024/251586243144833809662121342509\ 7*c_1001_0^17 - 264771986417022500275816207746/25158624314483380966\ 21213425097*c_1001_0^16 - 1213839281443817188942484781076/251586243\ 1448338096621213425097*c_1001_0^15 - 730155428102333017228765019066/2515862431448338096621213425097*c_10\ 01_0^14 + 11426922130745382785536791911760/251586243144833809662121\ 3425097*c_1001_0^13 + 32164059490486387424478965752876/251586243144\ 8338096621213425097*c_1001_0^12 + 4377021579346447967489142157624/2\ 515862431448338096621213425097*c_1001_0^11 - 40523282091675900295900023568580/2515862431448338096621213425097*c_\ 1001_0^10 + 101063041636067318816167372005600/251586243144833809662\ 1213425097*c_1001_0^9 + 162180515508232404913066980971066/251586243\ 1448338096621213425097*c_1001_0^8 - 4015100408442374992299346168107/2515862431448338096621213425097*c_1\ 001_0^7 + 224404280750698079280347545749302/25158624314483380966212\ 13425097*c_1001_0^6 - 102445987186711144606282413148855/25158624314\ 48338096621213425097*c_1001_0^5 + 86320178148965558892120178007741/\ 2515862431448338096621213425097*c_1001_0^4 - 70875792874041602273175899928087/2515862431448338096621213425097*c_\ 1001_0^3 + 13301634751357385456125003381784/25158624314483380966212\ 13425097*c_1001_0^2 - 1540199559320951927257958326313/2515862431448\ 338096621213425097*c_1001_0 - 19141097943125177035137564144/2515862\ 431448338096621213425097, c_0101_0 + 113425256534941836635235/3797476610051090772534733*c_1001_0^\ 17 + 1981071736517160537425856/3797476610051090772534733*c_1001_0^1\ 6 + 14420248374713572632926312/3797476610051090772534733*c_1001_0^1\ 5 + 54801944765559718760297373/3797476610051090772534733*c_1001_0^1\ 4 + 108458280552883451129956165/3797476610051090772534733*c_1001_0^\ 13 + 95589627984887917885006549/3797476610051090772534733*c_1001_0^\ 12 + 84674421579082441184399422/3797476610051090772534733*c_1001_0^\ 11 + 356977344902885327985436827/3797476610051090772534733*c_1001_0\ ^10 + 615420011233750136333778382/3797476610051090772534733*c_1001_\ 0^9 + 566260234596958910088993603/3797476610051090772534733*c_1001_\ 0^8 + 748915800440402616315461508/3797476610051090772534733*c_1001_\ 0^7 + 339695807011749025590124473/3797476610051090772534733*c_1001_\ 0^6 + 280642297370788688884645511/3797476610051090772534733*c_1001_\ 0^5 + 33374493195169152152904925/3797476610051090772534733*c_1001_0\ ^4 + 11355758845153505487874170/3797476610051090772534733*c_1001_0^\ 3 - 1910044210436086193516861/3797476610051090772534733*c_1001_0^2 - 2944726086883197552535410/3797476610051090772534733*c_1001_0 + 3622265231569354780930683/3797476610051090772534733, c_0101_2 + 278047866438413148134618060816/25158624314483380966212134250\ 97*c_1001_0^17 + 4635425432555685340812700701862/251586243144833809\ 6621213425097*c_1001_0^16 + 31548887509833032337635990380812/251586\ 2431448338096621213425097*c_1001_0^15 + 107271779476770627021139366260478/2515862431448338096621213425097*c\ _1001_0^14 + 166598859995311602381746439858900/25158624314483380966\ 21213425097*c_1001_0^13 + 51839012229777868813452706760280/25158624\ 31448338096621213425097*c_1001_0^12 + 80122629650423101099656057022312/2515862431448338096621213425097*c_\ 1001_0^11 + 767291850616447922736292718660507/251586243144833809662\ 1213425097*c_1001_0^10 + 867039287757591761269354707679015/25158624\ 31448338096621213425097*c_1001_0^9 + 376882875682731267800207465451591/2515862431448338096621213425097*c\ _1001_0^8 + 1059223438414322525659868851208194/25158624314483380966\ 21213425097*c_1001_0^7 - 288154856808730049276414865722346/25158624\ 31448338096621213425097*c_1001_0^6 + 473985573492139166898049532066325/2515862431448338096621213425097*c\ _1001_0^5 - 253374864044923200046616811829514/251586243144833809662\ 1213425097*c_1001_0^4 + 124088159297636840747942972627012/251586243\ 1448338096621213425097*c_1001_0^3 - 10104100900425168853964728936172/2515862431448338096621213425097*c_\ 1001_0^2 + 4416290662400174432874744457125/251586243144833809662121\ 3425097*c_1001_0 + 607576782657877494048918040936/25158624314483380\ 96621213425097, c_0101_6 - 46326252063441794694865766458/251586243144833809662121342509\ 7*c_1001_0^17 - 782102816509843923798509385302/25158624314483380966\ 21213425097*c_1001_0^16 - 5440115112921400869108363980724/251586243\ 1448338096621213425097*c_1001_0^15 - 19328043082203148471783514091300/2515862431448338096621213425097*c_\ 1001_0^14 - 33898878045850414474800500288090/2515862431448338096621\ 213425097*c_1001_0^13 - 22626191837115854795810428991847/2515862431\ 448338096621213425097*c_1001_0^12 - 27955472747930881601279431645021/2515862431448338096621213425097*c_\ 1001_0^11 - 134435588289208592209714585579262/251586243144833809662\ 1213425097*c_1001_0^10 - 175328876618228338456591730594543/25158624\ 31448338096621213425097*c_1001_0^9 - 148866899601284428083413300945824/2515862431448338096621213425097*c\ _1001_0^8 - 257850142074208714153781649641386/251586243144833809662\ 1213425097*c_1001_0^7 - 14412305765566477735322457382972/2515862431\ 448338096621213425097*c_1001_0^6 - 136519945046236036693390266754926/2515862431448338096621213425097*c\ _1001_0^5 + 49013114303878645412458379901705/2515862431448338096621\ 213425097*c_1001_0^4 - 26550672522887811146432267212104/25158624314\ 48338096621213425097*c_1001_0^3 + 19358732619992633142572391216162/\ 2515862431448338096621213425097*c_1001_0^2 - 1548997391782535706148322007044/2515862431448338096621213425097*c_1\ 001_0 + 760703042705490716100826269175/2515862431448338096621213425\ 097, c_0101_7 + 34917285745951166471725161192/251586243144833809662121342509\ 7*c_1001_0^17 + 624147804312458337324654444688/25158624314483380966\ 21213425097*c_1001_0^16 + 4682466416066260006375885685631/251586243\ 1448338096621213425097*c_1001_0^15 + 18571690073681736231074851258770/2515862431448338096621213425097*c_\ 1001_0^14 + 39397094843051969226569983617363/2515862431448338096621\ 213425097*c_1001_0^13 + 39388855691217473341573814829973/2515862431\ 448338096621213425097*c_1001_0^12 + 29807966672748468744432182506483/2515862431448338096621213425097*c_\ 1001_0^11 + 111702355049070241812715819603474/251586243144833809662\ 1213425097*c_1001_0^10 + 228982853608876648803068602095583/25158624\ 31448338096621213425097*c_1001_0^9 + 231675452231822828953739087038900/2515862431448338096621213425097*c\ _1001_0^8 + 252245734507052693949864923191831/251586243144833809662\ 1213425097*c_1001_0^7 + 147374868643224360182885484020630/251586243\ 1448338096621213425097*c_1001_0^6 + 81904144750231013049801806030629/2515862431448338096621213425097*c_\ 1001_0^5 + 11869659026842002586173689901729/25158624314483380966212\ 13425097*c_1001_0^4 - 618873886981775057520636524315/25158624314483\ 38096621213425097*c_1001_0^3 - 6738313279185489363130816495744/2515\ 862431448338096621213425097*c_1001_0^2 + 1686255864045092706389642453885/2515862431448338096621213425097*c_1\ 001_0 - 702506147451044579918292887063/2515862431448338096621213425\ 097, c_1001_0^18 + 17*c_1001_0^17 + 119*c_1001_0^16 + 424*c_1001_0^15 + 732*c_1001_0^14 + 403*c_1001_0^13 + 376*c_1001_0^12 + 2850*c_1001_0^11 + 4023*c_1001_0^10 + 2514*c_1001_0^9 + 4385*c_1001_0^8 + 208*c_1001_0^7 + 1466*c_1001_0^6 - 535*c_1001_0^5 + 154*c_1001_0^4 + 2*c_1001_0^3 + 15*c_1001_0^2 + 6*c_1001_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB