Magma V2.19-8 Wed Aug 21 2013 00:21:48 on localhost [Seed = 2378932192] Type ? for help. Type -D to quit. Loading file "K14n11194__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n11194 geometric_solution 12.37722516 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 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 -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.410800583877 0.976217935015 0 5 6 6 0132 0132 0213 0132 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 -1 -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 0 0 0 0.358969771285 0.875172036027 7 0 8 3 0132 0132 0132 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 1 0 -1 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.540557651415 0.995599150276 9 4 2 0 0132 1302 2031 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 1 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.661884101164 0.834009908008 10 11 0 3 0132 0132 0132 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 -1 1 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.475876230918 0.658922986981 7 1 9 10 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 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.573322392075 0.871842823645 8 1 1 12 2103 0213 0132 0132 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 1 -2 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.544701950960 0.743659025886 2 5 11 12 0132 1023 3120 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.644023348869 0.546065607157 9 10 6 2 2103 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 0 0 1 0 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.710335359684 0.569778681107 3 5 8 12 0132 0213 2103 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.249150836557 1.327673259684 4 5 11 8 0132 0321 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 1 -1 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.296893987893 0.690374845395 12 4 7 10 3120 0132 3120 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 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.252876038750 0.714538898094 9 7 6 11 3201 0321 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 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.872389812111 1.217692548260 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_12'], 'c_1001_11' : d['c_0011_3'], 'c_1001_10' : negation(d['c_0110_11']), 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0011_8'], 'c_1001_1' : d['c_0011_8'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_10'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_8'], 'c_1001_8' : d['c_0011_6'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_0011_8'], 's_0_10' : 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' : negation(d['1']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : 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' : 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' : negation(d['1']), 's_0_9' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_11']), 'c_1100_4' : negation(d['c_1001_0']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : negation(d['c_0101_12']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_12'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_1001_2']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_8'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0110_11']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : 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' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 'c_1100_12' : negation(d['c_0101_11']), '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_3']), 'c_0011_8' : d['c_0011_8'], '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_0110_11'], 'c_0110_10' : d['c_0011_6'], 'c_0110_12' : d['c_0110_11'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0101_12']), 'c_0101_2' : negation(d['c_0011_12']), 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], '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' : negation(d['c_0101_12']), 'c_0110_8' : negation(d['c_0011_12']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_6'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_12']), 'c_1100_8' : negation(d['c_0101_12'])})} 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_12, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0110_11, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 9486075788215992860076845441829322728597514833854324219715950364271\ 9/3296660693793597388305811983116417041418009678243988293275766800*\ c_1001_2^23 + 25028256851571565134783689413773791902675117009853449\ 08417126657995479/1483497312207118824737615392402387668638104355209\ 7947319740950600*c_1001_2^22 + 406667540349326405005772517058140850\ 922458927150092846818065812544813/114115177862086063441355030184799\ 0514337003350161380563056996200*c_1001_2^21 + 2315398803379594102387705046605970640161954231921925837762373074335\ 99/1483497312207118824737615392402387668638104355209794731974095060\ *c_1001_2^20 - 1289218101695004601015076721800082956252181599979291\ 5116125767130125881/14834973122071188247376153924023876686381043552\ 097947319740950600*c_1001_2^19 - 1026004399772361002429491849776712\ 8222454068679871796486049528664730653/59339892488284752989504615696\ 09550674552417420839178927896380240*c_1001_2^18 + 4505301612040197592263674847295558715014459529365483563164774724752\ 03/1648330346896798694152905991558208520709004839121994146637883400\ *c_1001_2^17 + 4498216660754655602365137240897245039706844250779554\ 074807089624809869/659332138758719477661162396623283408283601935648\ 797658655153360*c_1001_2^16 + 5086265148619128111899009634273838852\ 7269579951794688894763626862812751/37087432805177970618440384810059\ 69171595260888024486829935237650*c_1001_2^15 + 2356191375351569923938053257730488188660725245607615211974939730579\ 03049/1483497312207118824737615392402387668638104355209794731974095\ 0600*c_1001_2^14 + 223580712016187050364542629012175900284182290226\ 793885642971679223007549/296699462441423764947523078480477533727620\ 87104195894639481901200*c_1001_2^13 + 1341016062753677247349986313402902273678303458941002195381046888783\ 94177/2966994624414237649475230784804775337276208710419589463948190\ 1200*c_1001_2^12 + 501925455046112028807175667113969177312092075021\ 742106079756496654221649/296699462441423764947523078480477533727620\ 87104195894639481901200*c_1001_2^11 + 4106190406805666491093834503767276738715307802478849572176762248475\ 43401/1483497312207118824737615392402387668638104355209794731974095\ 0600*c_1001_2^10 + 231505470333617383281543962599738955963168407633\ 504486727502370667146669/148349731220711882473761539240238766863810\ 43552097947319740950600*c_1001_2^9 + 4775430702902883655448101930373551221038843261487149856504079005176\ 2243/74174865610355941236880769620119383431905217760489736598704753\ 00*c_1001_2^8 + 374574885137609354816091031000170046979134223010079\ 366349805271726650101/296699462441423764947523078480477533727620871\ 04195894639481901200*c_1001_2^7 + 168213988188951185347690414330750\ 656249876959389922492744898483542541191/988998208138079216491743594\ 9349251124254029034731964879827300400*c_1001_2^6 + 3513431521344296216645851276786971020899919254039940742822086528970\ 4903/37087432805177970618440384810059691715952608880244868299352376\ 50*c_1001_2^5 + 143719124940356588412875679074023570075511884898424\ 629373724340954922001/296699462441423764947523078480477533727620871\ 04195894639481901200*c_1001_2^4 + 163909146356312869012177988868178\ 51969078718733939956754821673954688831/2966994624414237649475230784\ 804775337276208710419589463948190120*c_1001_2^3 + 1514439283432041974191838619539018255098772235140191882737833325368\ 24837/2966994624414237649475230784804775337276208710419589463948190\ 1200*c_1001_2^2 + 6966814782528695193110828467219871035766615352750\ 7141168695033253874999/29669946244142376494752307848047753372762087\ 104195894639481901200*c_1001_2 + 1493020082702953558399392610408806\ 2735999247489975535842849409937877607/29669946244142376494752307848\ 047753372762087104195894639481901200, c_0011_0 - 1, c_0011_10 - 26112956919421075579322866909168953985768342032179838/12772\ 0590808225991729680762016018230560920936848114859*c_1001_2^23 - 160162135949433342872904695053726238874888503805501252/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^22 - 360387037275075977661079002585450851963582775346157013/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^21 - 203987062619786023499007283213499624610735886614708180/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^20 + 798941160989101172235969573707680030457420276468698550/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^19 + 1789520647352282809978790058683862483269210810427145200/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^18 + 29020275954042425040664812589414308352035745717550550/1277205908082\ 25991729680762016018230560920936848114859*c_1001_2^17 - 6494367726552376664526073693336128206366279707763256592/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^16 - 13988473625980665249787038480614270945404262930464238863/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^15 - 16699168749812370007620412845125895638292801029443138936/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^14 - 8888605678483897093667013903009739409022349658693310187/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^13 - 4173401855158092246604967224422019532655821444167007043/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^12 - 16099593751330654145695730210876970373010838638508098418/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^11 - 29115394593023108783835404295456568363385231084144093907/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^10 - 18329848202593797836655045983292498331484542523519334543/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^9 - 6103145335407697074340542033120881648426677791496301396/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^8 - 11917635048522291088837371256653187593451704450419710895/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^7 - 18577143281704540922322168008778890866477428964421560397/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^6 - 11016965311435015238571163743470926195131255733337026326/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^5 - 4620668764934358104612695560309133067119624665332307328/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^4 - 5503436211466742653392177075583420661376197552431857711/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^3 - 5750855235418394704399853121306964317886701840413313105/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^2 - 2686133921311052793003677819731748901194223168459674196/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2 - 464435721222941673754405971983682301235707683095165112/127720590808\ 225991729680762016018230560920936848114859, c_0011_12 + 153358757933299451815630016176578144353527078254744771/2554\ 41181616451983459361524032036461121841873696229718*c_1001_2^23 + 458034975860657736745749224938813802331997086724177532/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^22 + 983641839525771145806756971812429759751193413132445221/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^21 + 438719783157944701265012347133455239228311207344451719/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^20 - 2410281742948140908359372699171435379758262953544857077/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^19 - 9693716378541547977686977337717910963425813134345574897/25544118161\ 6451983459361524032036461121841873696229718*c_1001_2^18 + 705873794296652683637179752152961645279711498802938689/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^17 + 37790951655660784881688578298632458979808368725678081799/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^16 + 37926319833233753634636577642588240606337700460620397072/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^15 + 42935229995012913114440447890759672498174993151640879059/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^14 + 39070388887677749992804236120048488044293196468338248287/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^13 + 18894806566038251332680132135138089569433547992746159785/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^12 + 92237119475076951565601703965446970779078761537817674645/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^11 + 77256858591884757819633210850821179061293960278769774440/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^10 + 41468713333837673513233536556507238745147542464043717703/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^9 + 12233796329482259092306139786435590922885213844462024192/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^8 + 69200655716482907352214752543973474390441198459778314263/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^7 + 95275347357055610474322370926319670814028362101024330869/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^6 + 24125831220813005273694842039513808908068961082846540910/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^5 + 21386892695159997336992585894589445185662237545125936199/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^4 + 15587369927499725697351439052727816930169338764186739366/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^3 + 27635151896913074667781006026572282111661311134808860909/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^2 + 11226313200182224641751515845841799127502877553768014561/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2 + 1830382939039907261186996767498580741832706764701942407/25544118161\ 6451983459361524032036461121841873696229718, c_0011_3 - 116147297679602076860029958936562677065437858192673395/25544\ 1181616451983459361524032036461121841873696229718*c_1001_2^23 - 341118750019929098735631959181074183395776853399121367/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^22 - 719264941597430850231254074791775881943823543744846288/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^21 - 307424908574859312379563061458033546598749957608161332/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^20 + 1767098143613029959547543611433239678697727430540297362/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^19 + 6973614710939830988050352814584664649081833446608802697/25544118161\ 6451983459361524032036461121841873696229718*c_1001_2^18 - 605531512389709597991128595741360013422849225556320715/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^17 - 27658053392586013735707825515154672318371747427868984425/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^16 - 27623007198518088147823253601339385440950410521863926819/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^15 - 31760913331978304173115838867407704143309012067636202938/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^14 - 29889194520386857895900729516475143510988947489563504815/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^13 - 17632366523836169827309251257570187438588366680800327613/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^12 - 69441676907258832325968884147883507242315280128123532369/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^11 - 55520553709830792236930611147874487053224726597964101846/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^10 - 30911320157410362061355191716427889677872715690896434731/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^9 - 12419120426166198665949480730687618248754157611583218185/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^8 - 52139738470915092220418742940149492419280818714588624371/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^7 - 67644420409838839044652179786641322239144193887660287469/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^6 - 18879645843975692271898276007352600199082580168421997716/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^5 - 18640375675486915230707609117421932113662423017177904635/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^4 - 11320690297904391770804779496888364627003495118560305888/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^3 - 20349874351981625487500234738282749250336695658705603411/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^2 - 9257624038324833824363056059761872418805083050502603859/25544118161\ 6451983459361524032036461121841873696229718*c_1001_2 - 1729970777145308224416194770955633850146343244429890449/25544118161\ 6451983459361524032036461121841873696229718, c_0011_6 - 57651456909586899758083489600505639439611403122906922/127720\ 590808225991729680762016018230560920936848114859*c_1001_2^23 - 324130841039946658777137805752275296909881900928374442/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^22 - 629497791776172944322228670311603544668067095625710638/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^21 - 129167298954568834013064588825031967710451070293159766/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^20 + 1820745343915958939188366904994121222736284155180448480/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^19 + 3003464787318016189433519957465891782315866262164807381/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^18 - 1468915147737871805828738505741686265226843266789801586/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^17 - 13521079651881033087518889425741052342940878254191943482/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^16 - 23891668043647854417179874679199278923401282714085596353/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^15 - 24728920418478357858114747297629031506492414548454200146/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^14 - 7383831193318794736803941635854032159333771920164502010/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^13 - 5886410064305220334461874101096797720547822529584194403/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^12 - 32909160445371629804047535938050929678960843904838320786/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^11 - 46899886768763080760671653958596966703710987703763357701/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^10 - 16744989762860213051804920814470497181741031723175455212/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^9 - 5719081695100632334108094545256432877234780581992658035/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^8 - 24662227901723110618275052907956594446297594903034107643/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^7 - 27650851747605442821383728565973737805811683234549082405/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^6 - 9899945620547867581462160773601809242741878583762454759/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^5 - 5728950861031387033907776987919266004130876246888135076/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^4 - 9947018936061173415920516864526099238607349239301180994/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^3 - 7272305956448337679538061448220671799448816729922739543/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^2 - 2192950497688444669156249541433923958117780494393250092/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2 - 129918382803229890349959144141174952532491027734255261/127720590808\ 225991729680762016018230560920936848114859, c_0011_8 + 88254616886944064871312885771033557671862676970538811/255441\ 181616451983459361524032036461121841873696229718*c_1001_2^23 + 242255523556977782472511263566850016520624104087650256/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^22 + 450038485177246050604696295492598326470966405427677867/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^21 + 42896600774534437813540717167271233148954515218316376/1277205908082\ 25991729680762016018230560920936848114859*c_1001_2^20 - 1387249318474566393098744889424260137045691632259596176/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^19 - 4212054527980954298344554161671718020293159538732862123/25544118161\ 6451983459361524032036461121841873696229718*c_1001_2^18 + 1375005779600799340142142123950471466287888959234973511/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^17 + 20184970362676048480231584753917727260099064394733302533/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^16 + 16936951387741692186442485135196038855482606776146691617/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^15 + 16912319313443865138907157032564409943812231268819652006/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^14 + 7785086402357950569288699461635408634736859466004048525/25544118161\ 6451983459361524032036461121841873696229718*c_1001_2^13 + 8736655852562125500121764579845668017598628132489680663/25544118161\ 6451983459361524032036461121841873696229718*c_1001_2^12 + 49319807663406220519501246697781752281810141549408962325/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^11 + 32206992811599728003669772796791698881459841497119436626/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^10 + 8930588290192357684750312399088191041316244936207054105/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^9 + 4556854415524839618341979108992268218482842291999536437/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^8 + 36901195723382816521489181989345846719548652484303224827/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^7 + 35911968559912838033561389056929456526296105100539087053/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^6 + 5679131250660155213562806432060864697627769582745674559/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^5 + 9116497101085657927029910056068362911036489224347041731/25544118161\ 6451983459361524032036461121841873696229718*c_1001_2^4 + 6958715149845312810022386374066658975706352028935742756/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^3 + 9022329678852251763227308403855577568932664888732469113/25544118161\ 6451983459361524032036461121841873696229718*c_1001_2^2 + 2676071304212131819384419038377527340074938120492963883/25544118161\ 6451983459361524032036461121841873696229718*c_1001_2 + 301446168128197663065320453625292477260792876256179083/255441181616\ 451983459361524032036461121841873696229718, c_0101_0 - 32004870264700822621232779232008981782023217231323709/255441\ 181616451983459361524032036461121841873696229718*c_1001_2^23 - 62114027245201296610127172221163276558291257204881371/1277205908082\ 25991729680762016018230560920936848114859*c_1001_2^22 - 19952653560269443769021709905278801335554533250161512/1277205908082\ 25991729680762016018230560920936848114859*c_1001_2^21 + 260214673684204661083902680182248416182977679233721047/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^20 + 559142281344415337847917217493519034397838619437424468/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^19 - 66069221743669050087310426111160419487400231447259761/2554411816164\ 51983459361524032036461121841873696229718*c_1001_2^18 - 1811342229977441009670889754823603193501908748802793852/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^17 - 6043534306244275220369898480001065059354180251908451241/25544118161\ 6451983459361524032036461121841873696229718*c_1001_2^16 - 217438516298800409281727828445664988940845239070194121/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^15 + 4380250078682585340325314194069423542283277308591859210/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^14 + 19247363495359951761335546024980373214487387142275647539/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^13 + 3492429752429143951201574219570573414106819667753146303/25544118161\ 6451983459361524032036461121841873696229718*c_1001_2^12 - 12246511597615744393182604558843976374209797590045735639/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^11 + 2483784046078958829941299309793900313797103809727405168/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^10 + 17034229617949601986248832858671074377055435761747417352/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^9 + 6227167313328043397306167906056284620502017020243189885/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^8 - 7561766197578635948993478944886748659092002621640245957/25544118161\ 6451983459361524032036461121841873696229718*c_1001_2^7 + 6787382774680355675154279991479418332530853505404838571/25544118161\ 6451983459361524032036461121841873696229718*c_1001_2^6 + 10024786289406848417199876106858096602168433429110783604/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^5 + 6779317721370671548651063542119935546709438627955949983/25544118161\ 6451983459361524032036461121841873696229718*c_1001_2^4 - 181435145728208640020508346168179983407935138305164901/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^3 + 4619023013376870980647646904703501313409267766515150143/25544118161\ 6451983459361524032036461121841873696229718*c_1001_2^2 + 5723392920069304613055704125155980042235593445565840521/25544118161\ 6451983459361524032036461121841873696229718*c_1001_2 + 2101215614750517140571363228717973628335447906072792055/25544118161\ 6451983459361524032036461121841873696229718, c_0101_10 - 34469949449940871517581312900560038973008376956502231/12772\ 0590808225991729680762016018230560920936848114859*c_1001_2^23 - 212929747987000911375758875093547515501296852464720226/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^22 - 483916626189590774259216759503586601172822576570647567/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^21 - 286755848480401199393510754978624954707823123425842994/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^20 + 1043840358803942944671192834722347790916274746955451814/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^19 + 2402069791654411995419951203785563229508064890972862549/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^18 + 132366236163916495623732054383754749086631373487337497/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^17 - 8552089677553363578780596872340261938405794822476691543/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^16 - 18789545450693524901193701774591124364777176768868674705/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^15 - 22798749960668460839507743988778296272031983885139352425/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^14 - 12712835668131382388338793159166819190166962528993424228/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^13 - 5871319709263562587262463204972362501844638835475552117/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^12 - 21333743212283982823479582337956941324484882182613769106/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^11 - 38416466849222217103045153946298654419652819085053571697/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^10 - 25562747441212438952965167187083956538229531761316796611/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^9 - 9073716517896885758950607204303743400012018758613068263/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^8 - 16429902934078849849261719126098960056430996069578188601/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^7 - 24043183797367568139596716734502984785773705175073730529/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^6 - 15068615882212991457660628372691617807744553207577399813/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^5 - 6656439775061252369890236677126556958930074385169113505/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^4 - 7740767524159108246301495682481109470170009438374961796/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^3 - 7503692566433354943874612698801674248900716310651478421/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^2 - 3675889556176400261476028745955921714203031392959550556/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2 - 776553052084040602739092644730936779614636609093086158/127720590808\ 225991729680762016018230560920936848114859, c_0101_11 - 50480312360646105400423126229584121875156276051307250/12772\ 0590808225991729680762016018230560920936848114859*c_1001_2^23 - 311763226008610315327108469774398886532181986273372063/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^22 - 699857686978300663212050813371276761662492619991912897/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^21 - 376719563356405514552293415351973915361799024156408391/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^20 + 1594520941317920212236127392408016812967843763868659468/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^19 + 3488865669611678957395542054367585035335835953639792020/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^18 - 73214478171371282574635396898039705807500698991515563/1277205908082\ 25991729680762016018230560920936848114859*c_1001_2^17 - 12813609773028010525633009860557216824699089690857631373/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^16 - 27089137174033416439260520060905747728869905338548010095/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^15 - 31571224297172946798929947192505879149896286062543607794/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^14 - 16143810127887513608206305678454074717403072431948545549/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^13 - 6617729745868252232236589064044198748405990019927245244/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^12 - 31808268909032491154855142127923673920252348446778277236/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^11 - 55810710744608652473481521495033075931450455190404992924/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^10 - 33382039957362813905934574639752228305701180570184805708/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^9 - 9454775147082334290912950448222591331513865046891416233/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^8 - 24325139700923848398351708326873992277763616204169157898/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^7 - 34887665971427811953283206553854955390926876457952852554/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^6 - 19328278874292134272931629084266615130901870496521529034/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^5 - 8164689800590112834225934393891304922024034985706072247/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^4 - 11095115256292481661194755147302238422557419484707949491/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^3 - 10454866151715876809525582267331633216664435103004908833/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^2 - 4612327944369529310246947826182591975017102119237176675/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2 - 873336418413397907406632740932870025788477725234596095/127720590808\ 225991729680762016018230560920936848114859, c_0101_12 - 112671686860319765257385892871873791604141398543145425/2554\ 41181616451983459361524032036461121841873696229718*c_1001_2^23 - 322551002647445647482408575759363970266492959066347230/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^22 - 654976534654958660044050001430161101907929781772182427/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^21 - 226545662300601035987141220483747742256377659131236702/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^20 + 1708771824711925078618730303326890663034148271533988940/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^19 + 6288998826390692583648736512732803703365712436305097959/25544118161\ 6451983459361524032036461121841873696229718*c_1001_2^18 - 902151545466345657289578278706817937998804165111288968/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^17 - 26241452613043726088107769053277953344288524673984762981/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^16 - 25102444087663590230822003156948746072933700847992245874/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^15 - 28125076428584425438477545751296776180717792998145089942/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^14 - 23446642790243322089970045714926173264303158616781539337/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^13 - 16004420291504043162166005537036179864388076065031294783/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^12 - 64744125894387415346109063264581779658495767262273386055/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^11 - 49770127362978720988151964367865381454664841906861677565/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^10 - 25528636730150676884069542131202324855635653133462791230/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^9 - 10719279001906331874156760115098719621830275085547406428/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^8 - 47422399161493011456048821495424231622873063549134981169/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^7 - 59926294225669889036956053309473209513675956787038665025/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^6 - 16047250508734392660447823014993444108668684737007359606/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^5 - 15972461106411742935982758195908861291056867358427286871/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^4 - 10047354757204678840611984136916989361485506109336225634/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^3 - 17696310410702805680615664915039737324602194821157564729/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^2 - 7780551377420225649598484691119991777689761072483919437/25544118161\ 6451983459361524032036461121841873696229718*c_1001_2 - 1190125192751362592251986794362821560121560247548286879/25544118161\ 6451983459361524032036461121841873696229718, c_0110_11 - 96892034745490612419770989596870671166894432727748055/25544\ 1181616451983459361524032036461121841873696229718*c_1001_2^23 - 302967974073695007679414761975439523546594185088757717/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^22 - 698502385118246349347154295195777642917565326575909543/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^21 - 429550424211203000250449239537494480494014678547452697/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^20 + 1484825953938305815476926860570453201368129442808484619/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^19 + 6986307343075762883240752489414775963439932395022007121/25544118161\ 6451983459361524032036461121841873696229718*c_1001_2^18 + 291258453931407470121440372724221726099317321540423429/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^17 - 24493925150458830044809222203473550529829624882850477317/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^16 - 27189781497220315385651119958342042725291481112895198529/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^15 - 32955545437347457207105376055782826355633558679125991099/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^14 - 36873530446307911188805677588999153236561466830544370863/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^13 - 15700393070759473735582424508868746520622274137743911823/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^12 - 60815191176525860674468045588050987586021830035276532279/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^11 - 56433038437277827735281364968307128547271242306801728077/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^10 - 37758035077230142222715396789124979842858644480558443417/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^9 - 12267034830006539258911674881995010354610583241786677617/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^8 - 45830446595874545175609496752013886100235037227230624547/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^7 - 71370669574497518707382912480850811718936288371711456647/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^6 - 22184883411627114798858812444259535538316537075305912158/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^5 - 18707086251800541511524444127262258201858650835372726987/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^4 - 10998679811780603853925730397728848222032800086395546117/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^3 - 22043808629258750611934783396583212827129718463958428751/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^2 - 10645344250975683690754826833337749271712968577494941969/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2 - 2202660473162190076995681779244657359935070434349034439/25544118161\ 6451983459361524032036461121841873696229718, c_1001_0 - 211749156440229434524327162600321567399477481395614771/25544\ 1181616451983459361524032036461121841873696229718*c_1001_2^23 - 632486217967965895042550101946998088489510394411659778/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^22 - 1360563257465690241493453512700457329908186701780967272/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^21 - 622150025326592249023512170023718120071207256458053854/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^20 + 3288656670615445305196335261546376233072530839856363514/12772059080\ 8225991729680762016018230560920936848114859*c_1001_2^19 + 13350679283670804845003553567612419201580085703564581823/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^18 - 873082151249139910820801028895598114955406363535147909/127720590808\ 225991729680762016018230560920936848114859*c_1001_2^17 - 51763154584300869490901190948674794957918207141172873867/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^16 - 52400013400104436021817489421995394748383937005138759535/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^15 - 60056606337493698268231377288085099834480854866169296720/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^14 - 56958178480959482596628275902002663554677870171886777219/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^13 - 28882801561181595582797744985608281124856038167137572635/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^12 - 128429931404085041717995579604539406818519551061847338085/255441181\ 616451983459361524032036461121841873696229718*c_1001_2^11 - 106177633484397769595730529127351133572273623123251860326/127720590\ 808225991729680762016018230560920936848114859*c_1001_2^10 - 59148265425708308176148255517490672880140828767834660657/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^9 - 19837960197929078437424899704171862687265786148532237241/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^8 - 97008226882865074721454729860127944090397912424626211589/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^7 - 130390680598873904631059297931246165302735581223055253845/255441181\ 616451983459361524032036461121841873696229718*c_1001_2^6 - 35293301572188502814981507990789699165955990060181215612/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^5 - 32608119140635401264326024795352188739309286369265917531/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^4 - 21316390001471990779969493415247030662181438584214014604/1277205908\ 08225991729680762016018230560920936848114859*c_1001_2^3 - 38481212971903469337523455687408084318464626706003947845/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2^2 - 17100144828425228042910548080600313496548430871308959667/2554411816\ 16451983459361524032036461121841873696229718*c_1001_2 - 3206807562315608819596421585875764725795695515766673387/25544118161\ 6451983459361524032036461121841873696229718, c_1001_2^24 + 59/9*c_1001_2^23 + 148/9*c_1001_2^22 + 14*c_1001_2^21 - 238/9*c_1001_2^20 - 81*c_1001_2^19 - 289/9*c_1001_2^18 + 731/3*c_1001_2^17 + 5767/9*c_1001_2^16 + 882*c_1001_2^15 + 5797/9*c_1001_2^14 + 3046/9*c_1001_2^13 + 2090/3*c_1001_2^12 + 1369*c_1001_2^11 + 10876/9*c_1001_2^10 + 1798/3*c_1001_2^9 + 1781/3*c_1001_2^8 + 8054/9*c_1001_2^7 + 6647/9*c_1001_2^6 + 1189/3*c_1001_2^5 + 2777/9*c_1001_2^4 + 931/3*c_1001_2^3 + 1840/9*c_1001_2^2 + 74*c_1001_2 + 109/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.770 Total time: 5.980 seconds, Total memory usage: 135.19MB