Magma V2.19-8 Wed Aug 21 2013 00:58:36 on localhost [Seed = 1916037371] Type ? for help. Type -D to quit. Loading file "L13n5901__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5901 geometric_solution 11.58834987 oriented_manifold CS_known 0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.121633120637 0.857739701312 0 5 7 6 0132 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 1 -1 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 2 -2 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.723617786732 0.864419521720 5 0 7 6 0132 0132 2310 1023 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 0 -1 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.319555641841 0.678185400321 8 7 9 0 0132 2031 0132 0132 1 1 1 1 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 0 0 0 3 0 -3 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.048587155222 0.646325451498 9 10 0 9 1230 0132 0132 0132 1 1 0 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 3 1 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427620214110 0.953836953365 2 1 6 10 0132 0132 2310 2103 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 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.182349349767 0.817887144727 11 5 1 2 0132 3201 0132 1023 1 1 1 1 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 -3 0 2 1 -1 0 0 1 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.290338063719 1.083695739019 3 2 11 1 1302 3201 3120 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 2 0 0 -2 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.850470574826 0.322075331888 3 8 11 8 0132 2310 0132 3201 1 1 1 1 0 1 -1 0 0 0 1 -1 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 3 -3 0 0 0 3 -3 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.435147023307 0.809884279572 12 4 4 3 0132 3012 0132 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 0 0 0 0 0 0 0 2 0 0 -2 -1 -3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427620214110 0.953836953365 12 4 12 5 1302 0132 0132 2103 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 -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.462557694613 0.770824954099 6 12 7 8 0132 1230 3120 0132 1 1 1 1 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 0 0 -3 3 3 0 0 -3 2 -2 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.048587155222 0.646325451498 9 10 11 10 0132 2031 3012 0132 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 1 -1 0 0 0 0 1 -1 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462557694613 0.770824954099 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_2'], 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_1001_1']), 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_7'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0101_12'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : negation(d['c_1001_1']), 's_0_10' : d['1'], 's_3_10' : 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_0011_7'], 'c_0101_10' : negation(d['c_0011_12']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : negation(d['1']), 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : negation(d['1']), 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_7']), 'c_1100_6' : negation(d['c_0011_7']), 'c_1100_1' : negation(d['c_0011_7']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0011_7'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_0011_3'], 'c_1100_10' : negation(d['c_0101_2']), 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : d['c_0011_7'], 'c_1010_2' : d['c_0011_7'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : negation(d['c_0101_1']), 'c_1010_8' : negation(d['c_0101_12']), 'c_1100_8' : d['c_0011_3'], 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : negation(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' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_2']), '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' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_11']), '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_0101_0'], 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : negation(d['c_0011_12']), 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : negation(d['c_0011_3']), '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_12'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_12']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_7']})} 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_12, c_0011_3, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_2, c_0101_5, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 4014160673803082897950301313494109051992653056495332713887441388032\ 429/633182889964234023713490071198709170710502982674638612035652972\ *c_1100_0^18 + 1001958288507224428878604474725248249114310712063499\ 4785587849650981061/31659144498211701185674503559935458535525149133\ 7319306017826486*c_1100_0^17 + 217362020137794826631381748557691132\ 4284314660845706893012430028289483/48706376151094924901037697784516\ 090054654075590356816310434844*c_1100_0^16 - 5036658086885338842857329368516061778146099804104429979391528345003\ 14079/3165914449821170118567450355993545853552514913373193060178264\ 86*c_1100_0^15 + 10237000159989415107189407391047305203042850029872\ 21497324222406227239545/6331828899642340237134900711987091707105029\ 82674638612035652972*c_1100_0^14 + 1487712762170989907177214516315499189149888479890863528032855990679\ 608261/487063761510949249010376977845160900546540755903568163104348\ 44*c_1100_0^13 + 12933518056430952274334510292759003114794469190508\ 636661630429820390664867/633182889964234023713490071198709170710502\ 982674638612035652972*c_1100_0^12 - 5136762911889570148237465661988906103768253713619969427135323039369\ 9507489/63318288996423402371349007119870917071050298267463861203565\ 2972*c_1100_0^11 + 150576951314633061419909486520473554490617220882\ 21887269365789597485262577/6331828899642340237134900711987091707105\ 02982674638612035652972*c_1100_0^10 + 5352004683699172106717197691402890542538150829435929948153257204204\ 919639/316591444982117011856745035599354585355251491337319306017826\ 486*c_1100_0^9 - 48779073467801516232425941695666839459439701696803\ 4348172702403192403357417/31659144498211701185674503559935458535525\ 1491337319306017826486*c_1100_0^8 - 3413436304426758573012667408974859772970598645158762317221952330232\ 45746472/1582957224910585059283725177996772926776257456686596530089\ 13243*c_1100_0^7 - 948242164237714969411911131640123143779674232191\ 98678110563813620326634501/3165914449821170118567450355993545853552\ 51491337319306017826486*c_1100_0^6 + 1993423781613829045898302316142656033826231703325347120578172352398\ 73100567/3165914449821170118567450355993545853552514913373193060178\ 26486*c_1100_0^5 + 136631555850463694753734230954999205289778619175\ 092643874263532844545714635/316591444982117011856745035599354585355\ 251491337319306017826486*c_1100_0^4 + 6917712940510602813473046394327291735590527920091767761120365207432\ 5445793/31659144498211701185674503559935458535525149133731930601782\ 6486*c_1100_0^3 + 6929577003396507281039129667303829792077078991360\ 3171293182104679780960173/31659144498211701185674503559935458535525\ 1491337319306017826486*c_1100_0^2 + 4819120086463104823008444113119774926792818833538396515248298319214\ 476464/158295722491058505928372517799677292677625745668659653008913\ 243*c_1100_0 + 5092118082252126291836583533941762533212528834788210\ 01508657299759879893/6331828899642340237134900711987091707105029826\ 74638612035652972, c_0011_0 - 1, c_0011_10 + 1, c_0011_11 - c_1100_0, c_0011_12 + 21914559114627074785894363680662224918239370959514249787101\ /1895757155581538993154161889816494523085338271480953928250458*c_11\ 00_0^18 - 544267766652785686109873274150723950147237688585896556974\ 55/947878577790769496577080944908247261542669135740476964125229*c_1\ 100_0^17 - 12086267976571366524670701293935942949341970158687536932\ 745/145827473506272230242627837678191886391179867036996456019266*c_\ 1100_0^16 + 2748074149357750612707686030778806933197438681744271068\ 333537/947878577790769496577080944908247261542669135740476964125229\ *c_1100_0^15 - 5450705244697343856388586836936383651298894208895437\ 246585745/189575715558153899315416188981649452308533827148095392825\ 0458*c_1100_0^14 - 813511049414560181404267092736544851546173395969\ 3391035710025/14582747350627223024262783767819188639117986703699645\ 6019266*c_1100_0^13 - 732050643466141395988215916934796345934449334\ 78608213423741181/1895757155581538993154161889816494523085338271480\ 953928250458*c_1100_0^12 + 2792900812710291275255036493577724961772\ 87508871022302396484881/1895757155581538993154161889816494523085338\ 271480953928250458*c_1100_0^11 - 7486184697852546917885457574752146\ 0936253200636347996793390691/18957571555815389931541618898164945230\ 85338271480953928250458*c_1100_0^10 - 31090912579212009092659053651749521388857443059517829251622442/9478\ 78577790769496577080944908247261542669135740476964125229*c_1100_0^9 + 2662629004103010100395319337582127854323718552355244692269966890/\ 947878577790769496577080944908247261542669135740476964125229*c_1100\ _0^8 + 379356395751897135258111629937874058638554713153339536362011\ 2521/947878577790769496577080944908247261542669135740476964125229*c\ _1100_0^7 + 5948150324725415781691718783649414320055538685127559550\ 43642471/9478785777907694965770809449082472615426691357404769641252\ 29*c_1100_0^6 - 109560948320918590103716360008248254937742713969045\ 6567564165245/94787857779076949657708094490824726154266913574047696\ 4125229*c_1100_0^5 - 7737360510229574879643079863230400909046824691\ 69577478921672812/9478785777907694965770809449082472615426691357404\ 76964125229*c_1100_0^4 - 391055161504485253666953884445607917782714\ 387939895883162475613/947878577790769496577080944908247261542669135\ 740476964125229*c_1100_0^3 - 38451538320438205266410399397190904728\ 1042219049201979220141668/94787857779076949657708094490824726154266\ 9135740476964125229*c_1100_0^2 - 5943944738955798227222064697622037\ 8290442760731523365283900149/94787857779076949657708094490824726154\ 2669135740476964125229*c_1100_0 - 130430738516839548956062831238928\ 0529818922310182072770956531/18957571555815389931541618898164945230\ 85338271480953928250458, c_0011_3 + 10452557945181204348288319275057687557401973030312333244467/\ 947878577790769496577080944908247261542669135740476964125229*c_1100\ _0^18 - 53163567396350739914603207857126881985325356308990977586166\ /947878577790769496577080944908247261542669135740476964125229*c_110\ 0_0^17 - 5276801589136707421118549303193084637600881462806796206737\ /72913736753136115121313918839095943195589933518498228009633*c_1100\ _0^16 + 26295534989313347879568008311698406396621167139654125784576\ 00/947878577790769496577080944908247261542669135740476964125229*c_1\ 100_0^15 - 29127800441978415410302921206914552201216318005802301874\ 71675/947878577790769496577080944908247261542669135740476964125229*\ c_1100_0^14 - 38531884113514411085005370771433375667374054424934392\ 50057491/7291373675313611512131391883909594319558993351849822800963\ 3*c_1100_0^13 - 289636954986244298114399763908103450909006327598991\ 22200040481/9478785777907694965770809449082472615426691357404769641\ 25229*c_1100_0^12 + 13657939497707003464142257362410396102722548952\ 8196021734799509/94787857779076949657708094490824726154266913574047\ 6964125229*c_1100_0^11 - 519448455524571427770304340977023342699479\ 13674432268484401452/9478785777907694965770809449082472615426691357\ 40476964125229*c_1100_0^10 - 23210432057075683095677839720424536867\ 049858257118083721091584/947878577790769496577080944908247261542669\ 135740476964125229*c_1100_0^9 + 25424625797863085906317323578513520\ 10636601577731799598238756325/9478785777907694965770809449082472615\ 42669135740476964125229*c_1100_0^8 + 3316278800584894406509831054075545479270449342837590085575777950/94\ 7878577790769496577080944908247261542669135740476964125229*c_1100_0\ ^7 + 17712925139535800057964380389029687468140441266492925268404384\ 3/947878577790769496577080944908247261542669135740476964125229*c_11\ 00_0^6 - 1063942165880953397236128563287900157954886837107970538106\ 860876/947878577790769496577080944908247261542669135740476964125229\ *c_1100_0^5 - 61561400057950812845518168520607777270915062060913857\ 4489601541/94787857779076949657708094490824726154266913574047696412\ 5229*c_1100_0^4 - 3004054966974398764560505158358434764265954234471\ 69233351381247/9478785777907694965770809449082472615426691357404769\ 64125229*c_1100_0^3 - 330302811359164240158039897541352152283499294\ 370288964391846299/947878577790769496577080944908247261542669135740\ 476964125229*c_1100_0^2 - 17824543066496670987707352760503763798600\ 630305763466826099456/947878577790769496577080944908247261542669135\ 740476964125229*c_1100_0 + 1393232770915339742308018501372374928672\ 992201998526089910854/947878577790769496577080944908247261542669135\ 740476964125229, c_0011_7 - 11093831307425085975599254925615544771013522338174601680567/\ 947878577790769496577080944908247261542669135740476964125229*c_1100\ _0^18 + 55752588161295374248992866658861646114558612516756296178511\ /947878577790769496577080944908247261542669135740476964125229*c_110\ 0_0^17 + 5863297874504648390531110689433625824681459280016822103782\ /72913736753136115121313918839095943195589933518498228009633*c_1100\ _0^16 - 27864417701406585371790143551752073617774578991783048499718\ 94/947878577790769496577080944908247261542669135740476964125229*c_1\ 100_0^15 + 29223164330778021996951784486533322206398229042272308751\ 13473/947878577790769496577080944908247261542669135740476964125229*\ c_1100_0^14 + 41039083728501535567243619059963525090914374411160563\ 01065126/7291373675313611512131391883909594319558993351849822800963\ 3*c_1100_0^13 + 339645786435443334435749818834419234609365245608110\ 17953445695/9478785777907694965770809449082472615426691357404769641\ 25229*c_1100_0^12 - 14307108187415478577661314035403451940457381358\ 2552865898106338/94787857779076949657708094490824726154266913574047\ 6964125229*c_1100_0^11 + 463766139183101255067431327741216483492919\ 36576524439313906879/9478785777907694965770809449082472615426691357\ 40476964125229*c_1100_0^10 + 27947047745469607793402871815050645931\ 859151457747646654396456/947878577790769496577080944908247261542669\ 135740476964125229*c_1100_0^9 - 26969829308448433479426735437707562\ 77456783852996809413668811917/9478785777907694965770809449082472615\ 42669135740476964125229*c_1100_0^8 - 3683388325621286471427774880041719962989977480385602225222350373/94\ 7878577790769496577080944908247261542669135740476964125229*c_1100_0\ ^7 - 40252558385882285712584828672100445072084370759747483338003064\ 3/947878577790769496577080944908247261542669135740476964125229*c_11\ 00_0^6 + 1115248915271994065850722342563515479280749252390010606617\ 074343/947878577790769496577080944908247261542669135740476964125229\ *c_1100_0^5 + 71922309097891342076921398230714958785045057886805871\ 9674288673/94787857779076949657708094490824726154266913574047696412\ 5229*c_1100_0^4 + 3585243312449199546310952088434481992461013065108\ 66156976356871/9478785777907694965770809449082472615426691357404769\ 64125229*c_1100_0^3 + 370827941017721994103326900668493342262171773\ 437355692609856893/947878577790769496577080944908247261542669135740\ 476964125229*c_1100_0^2 + 40331566983807864058403044182336615327834\ 061850061566908942699/947878577790769496577080944908247261542669135\ 740476964125229*c_1100_0 - 3014777984074352163052577100954897058321\ 80538434549673897656/9478785777907694965770809449082472615426691357\ 40476964125229, c_0101_0 - 11104227339883048714404092972550250063631644517167008709637/\ 947878577790769496577080944908247261542669135740476964125229*c_1100\ _0^18 + 55831759528071194870000388321635954210722515602833555855912\ /947878577790769496577080944908247261542669135740476964125229*c_110\ 0_0^17 + 5858554568467788836407880017212115101772156898951423465074\ /72913736753136115121313918839095943195589933518498228009633*c_1100\ _0^16 - 27892481727103267855772005016154505393439913485483321032009\ 46/947878577790769496577080944908247261542669135740476964125229*c_1\ 100_0^15 + 29318018251266886522202898014082131513990378701778328584\ 15978/947878577790769496577080944908247261542669135740476964125229*\ c_1100_0^14 + 41072492475460555292494141664353132119452438004808680\ 50803341/7291373675313611512131391883909594319558993351849822800963\ 3*c_1100_0^13 + 338665657053013285048586503322717334546395918810564\ 94685744176/9478785777907694965770809449082472615426691357404769641\ 25229*c_1100_0^12 - 14329754052426245302517277425464542449957085732\ 2840574841908388/94787857779076949657708094490824726154266913574047\ 6964125229*c_1100_0^11 + 467541448237791256095209174122317967818349\ 22770903914951118331/9478785777907694965770809449082472615426691357\ 40476964125229*c_1100_0^10 + 27869377269138703199403614272115882404\ 359002384909932862583365/947878577790769496577080944908247261542669\ 135740476964125229*c_1100_0^9 - 26995776244751391504776832242198482\ 63655248428389575460164965847/9478785777907694965770809449082472615\ 42669135740476964125229*c_1100_0^8 - 3680268777259485555644169822490649820874562155991982502854823608/94\ 7878577790769496577080944908247261542669135740476964125229*c_1100_0\ ^7 - 39344710213556022628580544267089868824548808212407040518703981\ 3/947878577790769496577080944908247261542669135740476964125229*c_11\ 00_0^6 + 1118328841734618381961465764740045953199545156323960770239\ 229648/947878577790769496577080944908247261542669135740476964125229\ *c_1100_0^5 + 71841403393320054670365168445940322746512258331238005\ 4290760855/94787857779076949657708094490824726154266913574047696412\ 5229*c_1100_0^4 + 3577498251383686498238946011543232156517432764353\ 74547922079538/9478785777907694965770809449082472615426691357404769\ 64125229*c_1100_0^3 + 370675218820417728209226402300103953823801423\ 454847218719787655/947878577790769496577080944908247261542669135740\ 476964125229*c_1100_0^2 + 39024872796060030793547965182312406400283\ 861915576719653471606/947878577790769496577080944908247261542669135\ 740476964125229*c_1100_0 - 3701678796579422644046647805997662513882\ 30037775382068803124/9478785777907694965770809449082472615426691357\ 40476964125229, c_0101_1 - 29581257937356419191567610967626474889574613511105814040308/\ 947878577790769496577080944908247261542669135740476964125229*c_1100\ _0^18 + 14882159342180429529849981903368117869317705163691412141399\ 5/947878577790769496577080944908247261542669135740476964125229*c_11\ 00_0^17 + 155722716938470039401385927229747163306758471360028215217\ 55/72913736753136115121313918839095943195589933518498228009633*c_11\ 00_0^16 - 743103192011597367824235497445630452806893062088595580337\ 0986/947878577790769496577080944908247261542669135740476964125229*c\ _1100_0^15 + 783245537123897541062234182530845233950618875021082824\ 4329867/94787857779076949657708094490824726154266913574047696412522\ 9*c_1100_0^14 + 109396019643090646421665837301723382384453577673302\ 29799850670/7291373675313611512131391883909594319558993351849822800\ 9633*c_1100_0^13 + 897940062351165025641177997120330826223066162462\ 31171027073052/9478785777907694965770809449082472615426691357404769\ 64125229*c_1100_0^12 - 38195365306206852222163859559938830663403228\ 1474762377035929883/94787857779076949657708094490824726154266913574\ 0476964125229*c_1100_0^11 + 125816923658933746007368697711812246599\ 573314967855473356268575/947878577790769496577080944908247261542669\ 135740476964125229*c_1100_0^10 + 7379411763976014299247160785430532\ 6929796706542565226883356829/94787857779076949657708094490824726154\ 2669135740476964125229*c_1100_0^9 - 7192010732574112310698540035898690618723647623026571553701380100/94\ 7878577790769496577080944908247261542669135740476964125229*c_1100_0\ ^8 - 97825524180111551911616013187174923065722788435829134485227325\ 23/947878577790769496577080944908247261542669135740476964125229*c_1\ 100_0^7 - 102151394599988034310683121363019115810217358411156828167\ 0266280/94787857779076949657708094490824726154266913574047696412522\ 9*c_1100_0^6 + 2973751689189518355913858533373497145089262864076084\ 145385179292/947878577790769496577080944908247261542669135740476964\ 125229*c_1100_0^5 + 18987508586452346862246508599339078467180167846\ 14129436170914410/9478785777907694965770809449082472615426691357404\ 76964125229*c_1100_0^4 + 946656698276064143465564190872130913267844\ 896024896274143674659/947878577790769496577080944908247261542669135\ 740476964125229*c_1100_0^3 + 98536320838774418545519195332072876953\ 4368957311021675050536640/94787857779076949657708094490824726154266\ 9135740476964125229*c_1100_0^2 + 1038420081649552097306462391546455\ 51098392169488039965490470951/9478785777907694965770809449082472615\ 42669135740476964125229*c_1100_0 + 148763519060699595542301045938962867545354898451820499649342/947878\ 577790769496577080944908247261542669135740476964125229, c_0101_12 + 17174125236823853763970975727860688273705733908232056811057\ /947878577790769496577080944908247261542669135740476964125229*c_110\ 0_0^18 - 8699027157285927899476259114782046422991861956658981280819\ 3/947878577790769496577080944908247261542669135740476964125229*c_11\ 00_0^17 - 881262476248977235297766702972406020467399268231430858212\ 6/72913736753136115121313918839095943195589933518498228009633*c_110\ 0_0^16 + 4318260179053343027422956329230667023254570518255095484655\ 564/947878577790769496577080944908247261542669135740476964125229*c_\ 1100_0^15 - 4695175117745018850807329679880266538799493982558781507\ 002842/947878577790769496577080944908247261542669135740476964125229\ *c_1100_0^14 - 6339127449833976328109736229650113863993650583255393\ 101352464/729137367531361151213139188390959431955899335184982280096\ 33*c_1100_0^13 - 49304757178129208334764357579245631436893794625746\ 252671611973/947878577790769496577080944908247261542669135740476964\ 125229*c_1100_0^12 + 2234996612118387841463123807346316902169985269\ 35156532010924685/9478785777907694965770809449082472615426691357404\ 76964125229*c_1100_0^11 - 80691079154705310581175712322010933783606\ 439312017431675524484/947878577790769496577080944908247261542669135\ 740476964125229*c_1100_0^10 - 4025427503510498995083331288867962966\ 5067140357351002354101120/94787857779076949657708094490824726154266\ 9135740476964125229*c_1100_0^9 + 4177015189672739467218586931732802\ 593741347482543769391683030685/947878577790769496577080944908247261\ 542669135740476964125229*c_1100_0^8 + 5536431628497953614621865704651618364424081714471004224298182054/94\ 7878577790769496577080944908247261542669135740476964125229*c_1100_0\ ^7 + 40036605524112174804442550133648165008154561974853948602225303\ 4/947878577790769496577080944908247261542669135740476964125229*c_11\ 00_0^6 - 1742884243775325248670994440106286427471844792964641494241\ 626215/947878577790769496577080944908247261542669135740476964125229\ *c_1100_0^5 - 10413377334934118291393518118794992250592962416322145\ 05983892418/9478785777907694965770809449082472615426691357404769641\ 25229*c_1100_0^4 - 513227027633125599305042877333798670270330774886\ 254991052313735/947878577790769496577080944908247261542669135740476\ 964125229*c_1100_0^3 - 55433175889517695351479388326528636025482449\ 8657157264026918574/94787857779076949657708094490824726154266913574\ 0476964125229*c_1100_0^2 - 4124954232014646958325999238475531772837\ 3198135819270937758699/94787857779076949657708094490824726154266913\ 5740476964125229*c_1100_0 + 161173750374713951207666441867743183164\ 6693806175756561534645/94787857779076949657708094490824726154266913\ 5740476964125229, c_0101_2 - 29581257937356419191567610967626474889574613511105814040308/\ 947878577790769496577080944908247261542669135740476964125229*c_1100\ _0^18 + 14882159342180429529849981903368117869317705163691412141399\ 5/947878577790769496577080944908247261542669135740476964125229*c_11\ 00_0^17 + 155722716938470039401385927229747163306758471360028215217\ 55/72913736753136115121313918839095943195589933518498228009633*c_11\ 00_0^16 - 743103192011597367824235497445630452806893062088595580337\ 0986/947878577790769496577080944908247261542669135740476964125229*c\ _1100_0^15 + 783245537123897541062234182530845233950618875021082824\ 4329867/94787857779076949657708094490824726154266913574047696412522\ 9*c_1100_0^14 + 109396019643090646421665837301723382384453577673302\ 29799850670/7291373675313611512131391883909594319558993351849822800\ 9633*c_1100_0^13 + 897940062351165025641177997120330826223066162462\ 31171027073052/9478785777907694965770809449082472615426691357404769\ 64125229*c_1100_0^12 - 38195365306206852222163859559938830663403228\ 1474762377035929883/94787857779076949657708094490824726154266913574\ 0476964125229*c_1100_0^11 + 125816923658933746007368697711812246599\ 573314967855473356268575/947878577790769496577080944908247261542669\ 135740476964125229*c_1100_0^10 + 7379411763976014299247160785430532\ 6929796706542565226883356829/94787857779076949657708094490824726154\ 2669135740476964125229*c_1100_0^9 - 7192010732574112310698540035898690618723647623026571553701380100/94\ 7878577790769496577080944908247261542669135740476964125229*c_1100_0\ ^8 - 97825524180111551911616013187174923065722788435829134485227325\ 23/947878577790769496577080944908247261542669135740476964125229*c_1\ 100_0^7 - 102151394599988034310683121363019115810217358411156828167\ 0266280/94787857779076949657708094490824726154266913574047696412522\ 9*c_1100_0^6 + 2973751689189518355913858533373497145089262864076084\ 145385179292/947878577790769496577080944908247261542669135740476964\ 125229*c_1100_0^5 + 18987508586452346862246508599339078467180167846\ 14129436170914410/9478785777907694965770809449082472615426691357404\ 76964125229*c_1100_0^4 + 946656698276064143465564190872130913267844\ 896024896274143674659/947878577790769496577080944908247261542669135\ 740476964125229*c_1100_0^3 + 98536320838774418545519195332072876953\ 4368957311021675050536640/94787857779076949657708094490824726154266\ 9135740476964125229*c_1100_0^2 + 1038420081649552097306462391546455\ 51098392169488039965490470951/9478785777907694965770809449082472615\ 42669135740476964125229*c_1100_0 + 148763519060699595542301045938962867545354898451820499649342/947878\ 577790769496577080944908247261542669135740476964125229, c_0101_5 - 18123577433136436091899672236775572204862869681019508168491/\ 947878577790769496577080944908247261542669135740476964125229*c_1100\ _0^18 + 91377155001776859303118691819233651619745874338686172746215\ /947878577790769496577080944908247261542669135740476964125229*c_110\ 0_0^17 + 9465308084840195570212721072132506119752778794985957443437\ /72913736753136115121313918839095943195589933518498228009633*c_1100\ _0^16 - 45542486256074921135262793033319974992414580572997421457461\ 78/947878577790769496577080944908247261542669135740476964125229*c_1\ 100_0^15 + 48485521047418439676676820808273145379604752669379316233\ 54642/947878577790769496577080944908247261542669135740476964125229*\ c_1100_0^14 + 66987022746576846587933359911017456253072617368769391\ 17930100/7291373675313611512131391883909594319558993351849822800963\ 3*c_1100_0^13 + 540503054712261526603412339427993300988444238735842\ 29365415995/9478785777907694965770809449082472615426691357404769641\ 25229*c_1100_0^12 - 23469767540432238266292117600182589429392986296\ 3144083289555409/94787857779076949657708094490824726154266913574047\ 6964125229*c_1100_0^11 + 796750681090885865524734507645402591694275\ 38157377347680421004/9478785777907694965770809449082472615426691357\ 40476964125229*c_1100_0^10 + 44629584788788707609369008172553206027\ 942535992014550937648894/947878577790769496577080944908247261542669\ 135740476964125229*c_1100_0^9 - 44071391686326240888909526616444291\ 13873382583347934785397335595/9478785777907694965770809449082472615\ 42669135740476964125229*c_1100_0^8 - 5945087024992638054239696597688857995013525738303448393430085192/94\ 7878577790769496577080944908247261542669135740476964125229*c_1100_0\ ^7 - 55574781663811962351452852698622785282538840932863618370893333\ 5/947878577790769496577080944908247261542669135740476964125229*c_11\ 00_0^6 + 1830562371019993798449566216732261543229085317804854146536\ 349215/947878577790769496577080944908247261542669135740476964125229\ *c_1100_0^5 + 11398635050348417048908501923404927407624170211565791\ 47552042172/9478785777907694965770809449082472615426691357404769641\ 25229*c_1100_0^4 + 565572847052158108167000128094745370787199626453\ 650064740179479/947878577790769496577080944908247261542669135740476\ 964125229*c_1100_0^3 + 59665218957882498425103467372329180911158563\ 9148632751105053804/94787857779076949657708094490824726154266913574\ 0476964125229*c_1100_0^2 + 5772415566951512028981022461714198142673\ 2585687872091974574071/94787857779076949657708094490824726154266913\ 5740476964125229*c_1100_0 - 496150159452096446643822425569108868276\ 304885350445085801025/947878577790769496577080944908247261542669135\ 740476964125229, c_1001_1 + 17233310635309456052067977126354273613279939286884057526064/\ 947878577790769496577080944908247261542669135740476964125229*c_1100\ _0^18 - 87054194239968245139804395851370987599133901335078997737312\ /947878577790769496577080944908247261542669135740476964125229*c_110\ 0_0^17 - 8936317650710754438983750992773919544121398857288652736075\ /72913736753136115121313918839095943195589933518498228009633*c_1100\ _0^16 + 43316647856989627232063982350620327485266333942823435068088\ 04/947878577790769496577080944908247261542669135740476964125229*c_1\ 100_0^15 - 46519386121742259535092803567715913443620721639163272734\ 72783/947878577790769496577080944908247261542669135740476964125229*\ c_1100_0^14 - 63662932464008274840337993112200500118035930016798399\ 12541521/7291373675313611512131391883909594319558993351849822800963\ 3*c_1100_0^13 - 506007313179698159968876419740923935656045286099368\ 19278449937/9478785777907694965770809449082472615426691357404769641\ 25229*c_1100_0^12 + 22368124284061438689236527468455191422843484960\ 2789202258128851/94787857779076949657708094490824726154266913574047\ 6964125229*c_1100_0^11 - 778592273637407336753713035483351086167943\ 04720514524461709239/9478785777907694965770809449082472615426691357\ 40476964125229*c_1100_0^10 - 41758467249789694639686029348667217663\ 939493649735564584488208/947878577790769496577080944908247261542669\ 135740476964125229*c_1100_0^9 + 41909598115900654362057576155728619\ 70221141396686498599711772774/9478785777907694965770809449082472615\ 42669135740476964125229*c_1100_0^8 + 5612910209574722141444735385327284400483241770995606510101976354/94\ 7878577790769496577080944908247261542669135740476964125229*c_1100_0\ ^7 + 47329568196406178723484879794865591826449559056322401700274120\ 6/947878577790769496577080944908247261542669135740476964125229*c_11\ 00_0^6 - 1748689973628734619875840290806327376087905907747120338456\ 140998/947878577790769496577080944908247261542669135740476964125229\ *c_1100_0^5 - 10680600645707955955049911646332405879932207666275052\ 94497416028/9478785777907694965770809449082472615426691357404769641\ 25229*c_1100_0^4 - 526179352966653321407789293615942159310440602978\ 428862392595032/947878577790769496577080944908247261542669135740476\ 964125229*c_1100_0^3 - 56099171233934780570191761297856504302352064\ 0406025966205638114/94787857779076949657708094490824726154266913574\ 0476964125229*c_1100_0^2 - 4823925204660757487793622190284745596239\ 8650767648426054092806/94787857779076949657708094490824726154266913\ 5740476964125229*c_1100_0 + 127361769342404897713921083564361265289\ 4932072839686240132776/94787857779076949657708094490824726154266913\ 5740476964125229, c_1100_0^19 - 5*c_1100_0^18 - 7*c_1100_0^17 + 251*c_1100_0^16 - 257*c_1100_0^15 - 4816*c_1100_0^14 - 3184*c_1100_0^13 + 12822*c_1100_0^12 - 3852*c_1100_0^11 - 2637*c_1100_0^10 + 243056*c_1100_0^9 + 338224*c_1100_0^8 + 44564*c_1100_0^7 - 99692*c_1100_0^6 - 67292*c_1100_0^5 - 33930*c_1100_0^4 - 34254*c_1100_0^3 - 4530*c_1100_0^2 - 89*c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.590 Total time: 0.800 seconds, Total memory usage: 32.09MB