Magma V2.19-8 Tue Aug 20 2013 23:45:36 on localhost [Seed = 3903753493] Type ? for help. Type -D to quit. Loading file "K13n4127__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n4127 geometric_solution 10.95656753 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 0 0 0 0 10 -9 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.703444868047 1.050327127836 0 5 7 6 0132 0132 0132 0132 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 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492258377487 0.890222368108 7 0 8 6 0132 0132 0132 3120 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 1 -1 0 -1 0 1 0 0 1 0 -1 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.207218146053 0.781540722038 8 9 7 0 2103 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 0 1 -1 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.522485903156 0.912808113413 8 10 0 11 0132 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 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.780875884863 0.549041769647 9 1 10 8 0321 0132 2031 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.411517029726 0.356607758106 2 10 1 11 3120 2031 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 1 0 -1 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.522084470961 0.575264587988 2 11 3 1 0132 1023 1023 0132 0 0 0 0 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 1 0 -1 0 9 1 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.465673286443 0.699381024879 4 5 3 2 0132 1302 2103 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 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.732261968108 0.714443715222 5 3 10 11 0321 0132 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.588212543060 0.819684720788 6 4 9 5 1302 0132 0321 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.563592640522 0.347067215446 7 9 4 6 1023 0321 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.863441906680 0.813961510638 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0110_10']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : negation(d['c_0110_10']), 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : negation(d['c_0011_6']), 'c_1001_3' : d['c_0101_7'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_6']), 'c_1001_8' : d['c_0011_3'], 'c_1010_11' : d['c_0101_7'], 'c_1010_10' : d['c_1001_2'], '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_0101_11'], 'c_0101_10' : negation(d['c_0011_6']), '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_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' : 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' : d['c_1001_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_2']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_1100_0']), 'c_1100_6' : negation(d['c_1100_0']), 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_0']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : negation(d['c_0011_6']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : negation(d['c_0110_10']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0101_0']), 's_3_1' : d['1'], 's_3_0' : 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' : 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' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], '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' : d['c_0011_10'], 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_6'], 'c_0101_8' : d['c_0101_11'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_0']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_7']})} 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_7, c_0110_10, c_1001_10, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 186889134237165815880045195932/12517415835807859378065430143*c_1100\ _0^16 - 1728802785687715883046093462817/500696633432314375122617205\ 72*c_1100_0^15 - 9791676635784159156079084393307/500696633432314375\ 12261720572*c_1100_0^14 - 2659218327868266586267220798105/125174158\ 35807859378065430143*c_1100_0^13 - 6030255696713448683123192060447/16689887781077145837420573524*c_110\ 0_0^12 + 2114095656088883721313223592120/41724719452692864593551433\ 81*c_1100_0^11 + 12114620230596855261858016976422/12517415835807859\ 378065430143*c_1100_0^10 + 10376199492199607715587025294314/4172471\ 945269286459355143381*c_1100_0^9 + 22957242430218658406907552855830/12517415835807859378065430143*c_11\ 00_0^8 + 28601826914963613135441077305361/1251741583580785937806543\ 0143*c_1100_0^7 + 8320746666612937684951820014627/12517415835807859\ 378065430143*c_1100_0^6 + 31953522977733164677972033036297/25034831\ 671615718756130860286*c_1100_0^5 + 3963339683928496617670591457253/16689887781077145837420573524*c_110\ 0_0^4 + 34201177938483001915358210446523/50069663343231437512261720\ 572*c_1100_0^3 + 4054091118441903046321368853201/500696633432314375\ 12261720572*c_1100_0^2 + 733984788736970532207460736089/83449438905\ 38572918710286762*c_1100_0 + 1046372371776567187182139318603/250348\ 31671615718756130860286, c_0011_0 - 1, c_0011_10 - 8580230204573602455265/98802333509413491655442*c_1100_0^16 - 1716748358406930248695/98802333509413491655442*c_1100_0^15 - 35491437569597548206215/49401166754706745827721*c_1100_0^14 + 58871243499530276141354/49401166754706745827721*c_1100_0^13 + 51722030683262902296485/98802333509413491655442*c_1100_0^12 + 758100056000160380123671/98802333509413491655442*c_1100_0^11 - 21228400302365701435194/49401166754706745827721*c_1100_0^10 + 235262072585703658381167/98802333509413491655442*c_1100_0^9 - 1071730714580607506034258/49401166754706745827721*c_1100_0^8 - 1135559557930513043221609/98802333509413491655442*c_1100_0^7 - 1259103119331482455810847/49401166754706745827721*c_1100_0^6 + 94855061274336763533317/49401166754706745827721*c_1100_0^5 - 936312063739565735812751/98802333509413491655442*c_1100_0^4 + 309556818380485499801410/49401166754706745827721*c_1100_0^3 - 469817847042810951501869/98802333509413491655442*c_1100_0^2 + 13940830253242104753594/49401166754706745827721*c_1100_0 - 20131818248998578078263/49401166754706745827721, c_0011_3 + 24606337997903951931985/98802333509413491655442*c_1100_0^16 + 36067718086576354776108/49401166754706745827721*c_1100_0^15 + 186765205982186475602541/49401166754706745827721*c_1100_0^14 + 293970823575172025485102/49401166754706745827721*c_1100_0^13 + 504760804246475802484832/49401166754706745827721*c_1100_0^12 - 127201624569558436783390/49401166754706745827721*c_1100_0^11 - 1896021118316254440420845/98802333509413491655442*c_1100_0^10 - 2892629410990680149802746/49401166754706745827721*c_1100_0^9 - 6939115343875911713958331/98802333509413491655442*c_1100_0^8 - 3952238799684728608944614/49401166754706745827721*c_1100_0^7 - 4692192805381608322739131/98802333509413491655442*c_1100_0^6 - 3285349848632466355522459/98802333509413491655442*c_1100_0^5 - 816595184337101400560481/98802333509413491655442*c_1100_0^4 - 736980665803692123502897/98802333509413491655442*c_1100_0^3 - 187927886307923160107737/98802333509413491655442*c_1100_0^2 - 29720148057806727181084/49401166754706745827721*c_1100_0 - 62696699523099132716615/49401166754706745827721, c_0011_6 + 12699980383115943223152/49401166754706745827721*c_1100_0^16 + 22154794409596749361396/49401166754706745827721*c_1100_0^15 + 151312998342893969690217/49401166754706745827721*c_1100_0^14 + 88669898798675580697910/49401166754706745827721*c_1100_0^13 + 443058998266983400182783/98802333509413491655442*c_1100_0^12 - 1211013042777465909086379/98802333509413491655442*c_1100_0^11 - 1162884309053319520160769/98802333509413491655442*c_1100_0^10 - 1776774902517102418094736/49401166754706745827721*c_1100_0^9 - 907579412019709370205085/98802333509413491655442*c_1100_0^8 - 1175227675860304061698800/49401166754706745827721*c_1100_0^7 + 1568043760401019655263303/98802333509413491655442*c_1100_0^6 - 521276610736536449138418/49401166754706745827721*c_1100_0^5 + 1564639749972506130661535/98802333509413491655442*c_1100_0^4 - 490013379930938933109945/49401166754706745827721*c_1100_0^3 + 562137277953479977983385/98802333509413491655442*c_1100_0^2 - 297804918038053269486981/98802333509413491655442*c_1100_0 + 25445491211633922552785/49401166754706745827721, c_0101_0 - 13938491126861753872623/98802333509413491655442*c_1100_0^16 - 49530233244443345687645/98802333509413491655442*c_1100_0^15 - 113499416742585414318390/49401166754706745827721*c_1100_0^14 - 215007882917246063072687/49401166754706745827721*c_1100_0^13 - 310579816043612213072333/49401166754706745827721*c_1100_0^12 + 41040375941378276293668/49401166754706745827721*c_1100_0^11 + 1568020834673509406392513/98802333509413491655442*c_1100_0^10 + 3876236623943940769519627/98802333509413491655442*c_1100_0^9 + 4878980817722413945870015/98802333509413491655442*c_1100_0^8 + 4410309987410522712998937/98802333509413491655442*c_1100_0^7 + 2206675206724240011838943/98802333509413491655442*c_1100_0^6 + 308698678439726051509015/49401166754706745827721*c_1100_0^5 - 97572081967284808181960/49401166754706745827721*c_1100_0^4 - 35544885955447479198812/49401166754706745827721*c_1100_0^3 + 29109596604941119366543/49401166754706745827721*c_1100_0^2 + 34108454904930475332371/98802333509413491655442*c_1100_0 - 8525177757228943636328/49401166754706745827721, c_0101_1 - 6595587836820108712173/197604667018826983310884*c_1100_0^16 - 1744640385771111966649/49401166754706745827721*c_1100_0^15 - 56000953219613614930339/197604667018826983310884*c_1100_0^14 + 51102329474553602962807/197604667018826983310884*c_1100_0^13 + 127515923838109418964971/197604667018826983310884*c_1100_0^12 + 176117660596727853651254/49401166754706745827721*c_1100_0^11 + 254570319940277921488173/98802333509413491655442*c_1100_0^10 + 61547851728961926925520/49401166754706745827721*c_1100_0^9 - 943057558475544194751777/98802333509413491655442*c_1100_0^8 - 1354453883382483130306205/98802333509413491655442*c_1100_0^7 - 1782232897751684498915753/98802333509413491655442*c_1100_0^6 - 1445415635182718024955399/197604667018826983310884*c_1100_0^5 - 180200379124773397479356/49401166754706745827721*c_1100_0^4 + 310177579948888532734253/98802333509413491655442*c_1100_0^3 - 85166060133430665157897/197604667018826983310884*c_1100_0^2 - 258398242108009653114/49401166754706745827721*c_1100_0 - 28166008321089566681896/49401166754706745827721, c_0101_11 - 20816028024809457349791/98802333509413491655442*c_1100_0^16 - 20413937900777291346393/49401166754706745827721*c_1100_0^15 - 246962984009398256223853/98802333509413491655442*c_1100_0^14 - 86748571187002163160029/49401166754706745827721*c_1100_0^13 - 134501606452401815862533/49401166754706745827721*c_1100_0^12 + 1087304503486853422609887/98802333509413491655442*c_1100_0^11 + 696844926043902214446344/49401166754706745827721*c_1100_0^10 + 2764024887848767950796831/98802333509413491655442*c_1100_0^9 + 229341452759657715837430/49401166754706745827721*c_1100_0^8 + 318028643456201504598993/98802333509413491655442*c_1100_0^7 - 1038943407009454693996248/49401166754706745827721*c_1100_0^6 - 105245042104424242197718/49401166754706745827721*c_1100_0^5 - 482816938868902111724950/49401166754706745827721*c_1100_0^4 + 337735613111789790983213/98802333509413491655442*c_1100_0^3 - 165491008418284179932738/49401166754706745827721*c_1100_0^2 - 14771167387382414436765/49401166754706745827721*c_1100_0 - 12410923923077699766925/49401166754706745827721, c_0101_7 + 24897278904226255760275/197604667018826983310884*c_1100_0^16 + 30480985595531280405539/98802333509413491655442*c_1100_0^15 + 333876781471747711984603/197604667018826983310884*c_1100_0^14 + 400906619881926868947861/197604667018826983310884*c_1100_0^13 + 656203630978022862003487/197604667018826983310884*c_1100_0^12 - 372256500393231459019683/98802333509413491655442*c_1100_0^11 - 853922669199347804615409/98802333509413491655442*c_1100_0^10 - 2226775917751277300041577/98802333509413491655442*c_1100_0^9 - 1881215568580016689892467/98802333509413491655442*c_1100_0^8 - 1144315100261564719965718/49401166754706745827721*c_1100_0^7 - 793195597036046356446631/98802333509413491655442*c_1100_0^6 - 2017878558605193269464933/197604667018826983310884*c_1100_0^5 + 160575394268268388851681/98802333509413491655442*c_1100_0^4 - 193461709802130549384835/98802333509413491655442*c_1100_0^3 + 358992321635035732702559/197604667018826983310884*c_1100_0^2 - 41259416137312200712243/49401166754706745827721*c_1100_0 - 11055731335374716615462/49401166754706745827721, c_0110_10 + 101518025499620889932101/197604667018826983310884*c_1100_0^\ 16 + 133570555607794590227963/98802333509413491655442*c_1100_0^15 + 1391714934560113749347429/197604667018826983310884*c_1100_0^14 + 1806264331046548108707183/197604667018826983310884*c_1100_0^13 + 2658724384238467511311105/197604667018826983310884*c_1100_0^12 - 1644253945231209504279461/98802333509413491655442*c_1100_0^11 - 4308297127845992403718431/98802333509413491655442*c_1100_0^10 - 9690012052131442699487973/98802333509413491655442*c_1100_0^9 - 8061409561342975555962715/98802333509413491655442*c_1100_0^8 - 3635224507019721899045617/49401166754706745827721*c_1100_0^7 - 1029294680307522880069853/98802333509413491655442*c_1100_0^6 - 2520149863544046140370659/197604667018826983310884*c_1100_0^5 + 679402416026566601195133/98802333509413491655442*c_1100_0^4 - 817710664258293336059209/98802333509413491655442*c_1100_0^3 - 234097745421754919075403/197604667018826983310884*c_1100_0^2 + 14593962422352488470058/49401166754706745827721*c_1100_0 - 37145232464983916325421/49401166754706745827721, c_1001_10 + 41301759713387701456369/197604667018826983310884*c_1100_0^1\ 6 + 22543906605612030467621/49401166754706745827721*c_1100_0^15 + 553050649441976672034289/197604667018826983310884*c_1100_0^14 + 568037619951894989773089/197604667018826983310884*c_1100_0^13 + 1218143181788277388540781/197604667018826983310884*c_1100_0^12 - 640255727693397115441335/98802333509413491655442*c_1100_0^11 - 532527986999516324858448/49401166754706745827721*c_1100_0^10 - 3793499746753525672465371/98802333509413491655442*c_1100_0^9 - 1464133137539481425834397/49401166754706745827721*c_1100_0^8 - 2240342628746140193938543/49401166754706745827721*c_1100_0^7 - 653471856868524003438788/49401166754706745827721*c_1100_0^6 - 4585924273827218856014175/197604667018826983310884*c_1100_0^5 + 373017805357271489717077/98802333509413491655442*c_1100_0^4 - 904086242649868660336395/98802333509413491655442*c_1100_0^3 + 570231737903856858146575/197604667018826983310884*c_1100_0^2 - 76838591886727330312910/49401166754706745827721*c_1100_0 + 1568443226725476207820/49401166754706745827721, c_1001_2 - 57788245954923240366813/197604667018826983310884*c_1100_0^16 - 78326807142824005184275/98802333509413491655442*c_1100_0^15 - 805894958550583211461315/197604667018826983310884*c_1100_0^14 - 1096951113799118534015869/197604667018826983310884*c_1100_0^13 - 1642839502726709671124805/197604667018826983310884*c_1100_0^12 + 415408780974523411910831/49401166754706745827721*c_1100_0^11 + 2373104327969360414758643/98802333509413491655442*c_1100_0^10 + 5635634340117204129138841/98802333509413491655442*c_1100_0^9 + 5032277895580975944251961/98802333509413491655442*c_1100_0^8 + 2575002095581135873561050/49401166754706745827721*c_1100_0^7 + 1798305884820188220263791/98802333509413491655442*c_1100_0^6 + 4014260943123974635993027/197604667018826983310884*c_1100_0^5 + 337367628123466465873297/98802333509413491655442*c_1100_0^4 + 453727658925236685804543/49401166754706745827721*c_1100_0^3 + 138209219061802719626861/197604667018826983310884*c_1100_0^2 + 17284612894725717638365/98802333509413491655442*c_1100_0 + 27509642159367375662736/49401166754706745827721, c_1100_0^17 + 18/7*c_1100_0^16 + 97/7*c_1100_0^15 + 125/7*c_1100_0^14 + 207/7*c_1100_0^13 - 192/7*c_1100_0^12 - 512/7*c_1100_0^11 - 1360/7*c_1100_0^10 - 1228/7*c_1100_0^9 - 1406/7*c_1100_0^8 - 508/7*c_1100_0^7 - 575/7*c_1100_0^6 - 234/7*c_1100_0^4 + 13/7*c_1100_0^3 - 52/7*c_1100_0^2 - 4/7*c_1100_0 - 8/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.630 Total time: 1.840 seconds, Total memory usage: 64.12MB