Magma V2.19-8 Tue Aug 20 2013 23:47:17 on localhost [Seed = 4173238971] Type ? for help. Type -D to quit. Loading file "K9a2__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K9a2 geometric_solution 10.62072702 oriented_manifold CS_known 0.0000000000000001 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 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.694679353363 1.232558548373 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 1 -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 1 -5 4 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.109928082011 0.428087266889 8 0 10 9 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 0 0 5 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.984031251269 1.187180837004 6 5 9 0 0132 1230 0132 0132 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 -1 0 1 5 0 -5 0 -1 1 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.847982700680 0.743362957363 7 11 0 8 1302 0132 0132 1023 0 0 0 0 0 1 0 -1 1 0 0 -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 -4 -1 5 -4 0 0 4 5 0 0 -5 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.545853364482 0.567031262427 9 1 3 11 1023 0132 3012 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 -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.996518966949 1.450097564643 3 7 1 7 0132 3012 0132 1302 0 0 0 0 0 -1 1 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 4 -4 0 -5 0 5 0 5 -5 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.212941404987 1.041157690188 6 4 6 1 1230 2031 2031 0132 0 0 0 0 0 1 0 -1 -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 -5 0 5 5 0 0 -5 1 -1 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.212941404987 1.041157690188 2 9 10 4 0132 1023 1023 1023 0 0 0 0 0 0 -1 1 -1 0 0 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 4 -4 5 0 0 -5 0 -5 0 5 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.270313326778 0.741423159714 8 5 2 3 1023 1023 0132 0132 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 0 -5 5 5 0 0 -5 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.151171705909 0.481094630954 11 11 8 2 2031 0321 1023 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 0 -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.632677215539 0.606128053376 5 4 10 10 3120 0132 1302 0321 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -4 0 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.632677215539 0.606128053376 ==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_0101_10'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0011_11']), 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : negation(d['c_0011_10']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : d['c_0101_10'], 'c_1010_11' : d['c_1001_2'], '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' : negation(d['1']), 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0101_10'], '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' : 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' : negation(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_1100_5' : d['c_0011_10'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0101_7'], 'c_1100_6' : d['c_0101_7'], 'c_1100_1' : d['c_0101_7'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : negation(d['c_0011_11']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_0101_3'], 'c_1100_8' : negation(d['c_1100_0']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : 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' : negation(d['1']), 'c_0011_9' : d['c_0011_0'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0101_2'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_10'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_3'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_3']})} 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_11, c_0011_3, c_0101_0, c_0101_10, c_0101_2, c_0101_3, c_0101_5, c_0101_7, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 818676807557738430924736558182940040432561003/598743638991118656764\ 4586278648659861375264*c_1100_0^22 + 2596790008853679616131463514336213875393932209/17962309169733559702\ 933758835945979584125792*c_1100_0^21 + 9672082939317713258311278569621622751357184923/17962309169733559702\ 933758835945979584125792*c_1100_0^20 - 46359104152678527900725809111400740485618386905/1796230916973355970\ 2933758835945979584125792*c_1100_0^19 + 100035160019613606694464607252385681376068274953/898115458486677985\ 1466879417972989792062896*c_1100_0^18 + 205750711547705284181334126415895662967680530133/449057729243338992\ 5733439708986494896031448*c_1100_0^17 + 1931277875932220672193850186956265779752443071323/89811545848667798\ 51466879417972989792062896*c_1100_0^16 + 1523660412953851756472727800054682803129561204923/44905772924333899\ 25733439708986494896031448*c_1100_0^15 + 12332905053842250652371347416028511342403035761639/1796230916973355\ 9702933758835945979584125792*c_1100_0^14 + 10630208762591004785945092292550768292587700186129/1796230916973355\ 9702933758835945979584125792*c_1100_0^13 + 6905082264732464139485823655536761597683658544341/89811545848667798\ 51466879417972989792062896*c_1100_0^12 + 271224599950056131340991450733104220668145217931/561322161554173740\ 716679963623311862003931*c_1100_0^11 + 293107959370248054455190750748837364743811764313/748429548738898320\ 955573284831082482671908*c_1100_0^10 + 509998113865766342435441894705479117255253078173/224528864621669496\ 2866719854493247448015724*c_1100_0^9 + 362344291131448399153113351319049144024193545151/299371819495559328\ 3822293139324329930687632*c_1100_0^8 + 1452756573327202667304318385994461119285674958907/17962309169733559\ 702933758835945979584125792*c_1100_0^7 + 33127987329359722905644508129280454937253999153/5987436389911186567\ 644586278648659861375264*c_1100_0^6 + 149144570885551588860629249903349424844913318101/598743638991118656\ 7644586278648659861375264*c_1100_0^5 - 29688637092553800264683722829977829230740944611/4490577292433389925\ 733439708986494896031448*c_1100_0^4 + 128493711336802372181935665455391411041901922973/179623091697335597\ 02933758835945979584125792*c_1100_0^3 - 5153736050317204700165571627195208504197181877/89811545848667798514\ 66879417972989792062896*c_1100_0^2 + 3758700806299007283129758780739291533575231789/17962309169733559702\ 933758835945979584125792*c_1100_0 + 6094743334646622800038743188090007845806627411/17962309169733559702\ 933758835945979584125792, c_0011_0 - 1, c_0011_10 - 4030001719441866493012510573076083169/166911139326248510471\ 804925252248546537*c_1100_0^22 - 1439123443731128078377576937394871\ 2790/166911139326248510471804925252248546537*c_1100_0^21 - 22452163336549563623911723820212393899/1669111393262485104718049252\ 52248546537*c_1100_0^20 + 45600968549295749475460131462254929040/16\ 6911139326248510471804925252248546537*c_1100_0^19 - 115279123268326027284418051816447805384/166911139326248510471804925\ 252248546537*c_1100_0^18 - 2234727215275609246662585235591365483987\ /166911139326248510471804925252248546537*c_1100_0^17 - 9492605887239072792853245388252116824817/16691113932624851047180492\ 5252248546537*c_1100_0^16 - 241447363440886203595685793737017485358\ 08/166911139326248510471804925252248546537*c_1100_0^15 - 37147618643326640468990211322105493848115/1669111393262485104718049\ 25252248546537*c_1100_0^14 - 50140499715622783334855944598483551190\ 033/166911139326248510471804925252248546537*c_1100_0^13 - 33380148845259974683866220749875938049308/1669111393262485104718049\ 25252248546537*c_1100_0^12 - 29540655152190563482684362180054685616\ 100/166911139326248510471804925252248546537*c_1100_0^11 - 4851583141251633790836415326450994101867/16691113932624851047180492\ 5252248546537*c_1100_0^10 + 143023008927720649830310109053239483526\ 4/166911139326248510471804925252248546537*c_1100_0^9 + 4128924932736953839105711780675051974280/16691113932624851047180492\ 5252248546537*c_1100_0^8 + 3717662990528768988339649910800154492874\ /166911139326248510471804925252248546537*c_1100_0^7 + 1979278884495153869575944603677344483672/16691113932624851047180492\ 5252248546537*c_1100_0^6 + 3014440737052911507459454969650262774878\ /166911139326248510471804925252248546537*c_1100_0^5 + 286350125295692295474804620404149160576/166911139326248510471804925\ 252248546537*c_1100_0^4 + 565110587261593543375040998905516011331/1\ 66911139326248510471804925252248546537*c_1100_0^3 - 70472104386446121850929640019751563035/1669111393262485104718049252\ 52248546537*c_1100_0^2 + 49253938132158450291606363215952886298/166\ 911139326248510471804925252248546537*c_1100_0 + 113355556318013281386010721035806255767/166911139326248510471804925\ 252248546537, c_0011_11 + 16743747881052886422142198991105827625/16691113932624851047\ 1804925252248546537*c_1100_0^22 + 554437044590110569968917044407069\ 9787/166911139326248510471804925252248546537*c_1100_0^21 + 39142372375342784402991663217449840673/1669111393262485104718049252\ 52248546537*c_1100_0^20 - 378419893982386976110362859531631354528/1\ 66911139326248510471804925252248546537*c_1100_0^19 + 1541679137579891549882239030607017074047/16691113932624851047180492\ 5252248546537*c_1100_0^18 + 488851832639074567367286850665858497085\ 8/166911139326248510471804925252248546537*c_1100_0^17 + 21129561733876925094704165416610877962741/1669111393262485104718049\ 25252248546537*c_1100_0^16 + 17726221571157296135795498428466508320\ 969/166911139326248510471804925252248546537*c_1100_0^15 + 32273736053561513851501550870332031559763/1669111393262485104718049\ 25252248546537*c_1100_0^14 - 21726711724052692191361749712030794918\ 488/166911139326248510471804925252248546537*c_1100_0^13 - 23051537444201383773679358415887863051925/1669111393262485104718049\ 25252248546537*c_1100_0^12 - 59705227229228887963232958454456747666\ 816/166911139326248510471804925252248546537*c_1100_0^11 - 56420930724020347869652420244726668354084/1669111393262485104718049\ 25252248546537*c_1100_0^10 - 39116872714114182688978250618163845546\ 553/166911139326248510471804925252248546537*c_1100_0^9 - 27620664612872709208616908548728569580438/1669111393262485104718049\ 25252248546537*c_1100_0^8 - 112387750527891873608083013642425949920\ 34/166911139326248510471804925252248546537*c_1100_0^7 - 10878555221655519440928491763172619739703/1669111393262485104718049\ 25252248546537*c_1100_0^6 - 117935669274485902766908701691891645347\ 2/166911139326248510471804925252248546537*c_1100_0^5 - 1573866917433517866609759729403622308824/16691113932624851047180492\ 5252248546537*c_1100_0^4 + 148608870220631625145550763018170077151/\ 166911139326248510471804925252248546537*c_1100_0^3 - 48840932852406124871975422622694217646/1669111393262485104718049252\ 52248546537*c_1100_0^2 - 344932533988508997852880292196615590258/16\ 6911139326248510471804925252248546537*c_1100_0 + 2002518641432252641881100538203497505/16691113932624851047180492525\ 2248546537, c_0011_3 + 20374421054166454587321044978106737655/166911139326248510471\ 804925252248546537*c_1100_0^22 + 4008661172284416624690631760944678\ 7772/166911139326248510471804925252248546537*c_1100_0^21 + 98345786520300015462722692272746350137/1669111393262485104718049252\ 52248546537*c_1100_0^20 - 316051243912749009967430943948634165441/1\ 66911139326248510471804925252248546537*c_1100_0^19 + 1299697889398484842053545283008666344305/16691113932624851047180492\ 5252248546537*c_1100_0^18 + 835366371549848536896279204197063398575\ 3/166911139326248510471804925252248546537*c_1100_0^17 + 38185823769188158188081629964137732927339/1669111393262485104718049\ 25252248546537*c_1100_0^16 + 79003075108097944132875745862112601029\ 523/166911139326248510471804925252248546537*c_1100_0^15 + 144915580277279580790067458483794799127035/166911139326248510471804\ 925252248546537*c_1100_0^14 + 1726579320328255529026678439936396965\ 79797/166911139326248510471804925252248546537*c_1100_0^13 + 178477690663007806632650221668806722402675/166911139326248510471804\ 925252248546537*c_1100_0^12 + 1526105243492521261030115432170642834\ 99944/166911139326248510471804925252248546537*c_1100_0^11 + 97952988351804119199580143280234149114555/1669111393262485104718049\ 25252248546537*c_1100_0^10 + 61338442379780602608933826732859778352\ 323/166911139326248510471804925252248546537*c_1100_0^9 + 29648261356023013152711224654216781588882/1669111393262485104718049\ 25252248546537*c_1100_0^8 + 153945551394863293052341667661214508090\ 01/166911139326248510471804925252248546537*c_1100_0^7 + 4131122552059635076489067590194784191913/16691113932624851047180492\ 5252248546537*c_1100_0^6 + 398175235982054302831567290889516136685/\ 166911139326248510471804925252248546537*c_1100_0^5 + 749152712098502619640358277182161169029/166911139326248510471804925\ 252248546537*c_1100_0^4 - 403413762376382051762864521152583610338/1\ 66911139326248510471804925252248546537*c_1100_0^3 + 899364478857811795590493383382092574553/166911139326248510471804925\ 252248546537*c_1100_0^2 - 35097900241888906175605309098838414022/16\ 6911139326248510471804925252248546537*c_1100_0 + 147355494004243087362859937558404130009/166911139326248510471804925\ 252248546537, c_0101_0 - 16743747881052886422142198991105827625/166911139326248510471\ 804925252248546537*c_1100_0^22 - 5544370445901105699689170444070699\ 787/166911139326248510471804925252248546537*c_1100_0^21 - 39142372375342784402991663217449840673/1669111393262485104718049252\ 52248546537*c_1100_0^20 + 378419893982386976110362859531631354528/1\ 66911139326248510471804925252248546537*c_1100_0^19 - 1541679137579891549882239030607017074047/16691113932624851047180492\ 5252248546537*c_1100_0^18 - 488851832639074567367286850665858497085\ 8/166911139326248510471804925252248546537*c_1100_0^17 - 21129561733876925094704165416610877962741/1669111393262485104718049\ 25252248546537*c_1100_0^16 - 17726221571157296135795498428466508320\ 969/166911139326248510471804925252248546537*c_1100_0^15 - 32273736053561513851501550870332031559763/1669111393262485104718049\ 25252248546537*c_1100_0^14 + 21726711724052692191361749712030794918\ 488/166911139326248510471804925252248546537*c_1100_0^13 + 23051537444201383773679358415887863051925/1669111393262485104718049\ 25252248546537*c_1100_0^12 + 59705227229228887963232958454456747666\ 816/166911139326248510471804925252248546537*c_1100_0^11 + 56420930724020347869652420244726668354084/1669111393262485104718049\ 25252248546537*c_1100_0^10 + 39116872714114182688978250618163845546\ 553/166911139326248510471804925252248546537*c_1100_0^9 + 27620664612872709208616908548728569580438/1669111393262485104718049\ 25252248546537*c_1100_0^8 + 112387750527891873608083013642425949920\ 34/166911139326248510471804925252248546537*c_1100_0^7 + 10878555221655519440928491763172619739703/1669111393262485104718049\ 25252248546537*c_1100_0^6 + 117935669274485902766908701691891645347\ 2/166911139326248510471804925252248546537*c_1100_0^5 + 1573866917433517866609759729403622308824/16691113932624851047180492\ 5252248546537*c_1100_0^4 - 148608870220631625145550763018170077151/\ 166911139326248510471804925252248546537*c_1100_0^3 + 48840932852406124871975422622694217646/1669111393262485104718049252\ 52248546537*c_1100_0^2 + 344932533988508997852880292196615590258/16\ 6911139326248510471804925252248546537*c_1100_0 - 2002518641432252641881100538203497505/16691113932624851047180492525\ 2248546537, c_0101_10 - 13604391005246745040326803891719467090/16691113932624851047\ 1804925252248546537*c_1100_0^22 - 137068324883737608840030426849209\ 99568/166911139326248510471804925252248546537*c_1100_0^21 - 58477721532742229615801387489136398766/1669111393262485104718049252\ 52248546537*c_1100_0^20 + 254168478661080782023298906547686623865/1\ 66911139326248510471804925252248546537*c_1100_0^19 - 1141265455155319290383589604685298586034/16691113932624851047180492\ 5252248546537*c_1100_0^18 - 439354901791546206751057308718406938532\ 3/166911139326248510471804925252248546537*c_1100_0^17 - 21634274515783643914834770292418009740884/1669111393262485104718049\ 25252248546537*c_1100_0^16 - 34546463254466946291017076411212718767\ 560/166911139326248510471804925252248546537*c_1100_0^15 - 75161486131004830041772961089406949312609/1669111393262485104718049\ 25252248546537*c_1100_0^14 - 67977149996118864144109195669922127533\ 051/166911139326248510471804925252248546537*c_1100_0^13 - 98299768507577297174334717134150481720342/1669111393262485104718049\ 25252248546537*c_1100_0^12 - 62365518394376042028134896831527344789\ 623/166911139326248510471804925252248546537*c_1100_0^11 - 60148788074155719140941808090768841501635/1669111393262485104718049\ 25252248546537*c_1100_0^10 - 32822414301906032762536698188576712804\ 766/166911139326248510471804925252248546537*c_1100_0^9 - 20915741415115991761653896836552435191363/1669111393262485104718049\ 25252248546537*c_1100_0^8 - 129491497422685037020455963798840248247\ 35/166911139326248510471804925252248546537*c_1100_0^7 - 3476440616433199739107906357717480486712/16691113932624851047180492\ 5252248546537*c_1100_0^6 - 4855054923139028624478032933345726946562\ /166911139326248510471804925252248546537*c_1100_0^5 + 849568824954735161740561416255845876776/166911139326248510471804925\ 252248546537*c_1100_0^4 - 1457550064547914569999284615103147008334/\ 166911139326248510471804925252248546537*c_1100_0^3 + 270646327627535132804303348431857442606/166911139326248510471804925\ 252248546537*c_1100_0^2 - 321977250958931863875559665506441148725/1\ 66911139326248510471804925252248546537*c_1100_0 + 22812485177461182246018408445398993743/1669111393262485104718049252\ 52248546537, c_0101_2 - 12338294535417784282002526767010104542/166911139326248510471\ 804925252248546537*c_1100_0^22 - 2257040843160809939448692696457540\ 5228/166911139326248510471804925252248546537*c_1100_0^21 - 53633454780906522680845908696589288489/1669111393262485104718049252\ 52248546537*c_1100_0^20 + 201206281797205161951754026473255907316/1\ 66911139326248510471804925252248546537*c_1100_0^19 - 804871913535292359940945882158354357265/166911139326248510471804925\ 252248546537*c_1100_0^18 - 5002318505134464209889883003579251680065\ /166911139326248510471804925252248546537*c_1100_0^17 - 22195021539880840203606582932384991863493/1669111393262485104718049\ 25252248546537*c_1100_0^16 - 43870601847480378688248323668401241094\ 187/166911139326248510471804925252248546537*c_1100_0^15 - 77527561689051501927715676237166226999289/1669111393262485104718049\ 25252248546537*c_1100_0^14 - 87854747734650182497713979677400156605\ 063/166911139326248510471804925252248546537*c_1100_0^13 - 83664746014800129658456425958711497308847/1669111393262485104718049\ 25252248546537*c_1100_0^12 - 71364816994483983931861312170437257972\ 671/166911139326248510471804925252248546537*c_1100_0^11 - 36492046893187710161240963516070268341509/1669111393262485104718049\ 25252248546537*c_1100_0^10 - 24059621861362929005090918795431959257\ 445/166911139326248510471804925252248546537*c_1100_0^9 - 9299957641432101945897205025800949154339/16691113932624851047180492\ 5252248546537*c_1100_0^8 - 5099821457509164959591416525791785370641\ /166911139326248510471804925252248546537*c_1100_0^7 - 1819666288694675519087606500173210645984/16691113932624851047180492\ 5252248546537*c_1100_0^6 - 313681686731510246206498493971681024699/\ 166911139326248510471804925252248546537*c_1100_0^5 - 1763648742774656315429106375920930784455/16691113932624851047180492\ 5252248546537*c_1100_0^4 + 180592783115080771373286101491923911983/\ 166911139326248510471804925252248546537*c_1100_0^3 - 716921538891338742103724880601042193376/166911139326248510471804925\ 252248546537*c_1100_0^2 + 8344659929548285022271206849516840054/166\ 911139326248510471804925252248546537*c_1100_0 - 119971412584662685429229833328283965517/166911139326248510471804925\ 252248546537, c_0101_3 - 1, c_0101_5 + 3372277109056429927842403694154166404/1669111393262485104718\ 04925252248546537*c_1100_0^22 + 94265558491383753311672410563721292\ 47/166911139326248510471804925252248546537*c_1100_0^21 + 25256407157009490209507405389200319784/1669111393262485104718049252\ 52248546537*c_1100_0^20 - 34961945756697046558035067044202304144/16\ 6911139326248510471804925252248546537*c_1100_0^19 + 185907557637888324990535380685361195745/166911139326248510471804925\ 252248546537*c_1100_0^18 + 1495620131428036480955942018402881025518\ /166911139326248510471804925252248546537*c_1100_0^17 + 7745728389368481031852586667851322683757/16691113932624851047180492\ 5252248546537*c_1100_0^16 + 194876867982356861830801931954186510644\ 17/166911139326248510471804925252248546537*c_1100_0^15 + 40373743193186537740951849036917252342688/1669111393262485104718049\ 25252248546537*c_1100_0^14 + 57416799103669106356517740805745499635\ 554/166911139326248510471804925252248546537*c_1100_0^13 + 71352811840597336657682501324949600098871/1669111393262485104718049\ 25252248546537*c_1100_0^12 + 65775516028729446234890104879967754536\ 942/166911139326248510471804925252248546537*c_1100_0^11 + 57730534827915583766483321244672605610858/1669111393262485104718049\ 25252248546537*c_1100_0^10 + 36304929799166755332794110893398231955\ 939/166911139326248510471804925252248546537*c_1100_0^9 + 23675413576667955389698089861346086413976/1669111393262485104718049\ 25252248546537*c_1100_0^8 + 118080896530218063184681288518963699285\ 61/166911139326248510471804925252248546537*c_1100_0^7 + 5803153960281095329249948591885961834001/16691113932624851047180492\ 5252248546537*c_1100_0^6 + 2129019206601785135052729469598008007831\ /166911139326248510471804925252248546537*c_1100_0^5 + 244057753781261646500911665994825771315/166911139326248510471804925\ 252248546537*c_1100_0^4 + 481524340412802357973506672394892619576/1\ 66911139326248510471804925252248546537*c_1100_0^3 - 126580427808391220680004347145229452590/166911139326248510471804925\ 252248546537*c_1100_0^2 + 356578683165099904636132230663395625203/1\ 66911139326248510471804925252248546537*c_1100_0 - 10474190642043397964015881678388889201/1669111393262485104718049252\ 52248546537, c_0101_7 - 7028642646141929657017347245533811076/1669111393262485104718\ 04925252248546537*c_1100_0^22 - 39092741303449893263294037623689258\ 677/166911139326248510471804925252248546537*c_1100_0^21 - 69495325714318041334234841169759002648/1669111393262485104718049252\ 52248546537*c_1100_0^20 - 944284183480042731357695407966144400/1669\ 11139326248510471804925252248546537*c_1100_0^19 - 5311978073217803914146924834266628876/16691113932624851047180492525\ 2248546537*c_1100_0^18 - 4773423267464985019658493989322469849064/1\ 66911139326248510471804925252248546537*c_1100_0^17 - 22329120040329273804551807484762115994272/1669111393262485104718049\ 25252248546537*c_1100_0^16 - 70082929670457072312573113466290472532\ 492/166911139326248510471804925252248546537*c_1100_0^15 - 126829302869229937351792711909924386663076/166911139326248510471804\ 925252248546537*c_1100_0^14 - 2093114026477396956305897296125944162\ 27080/166911139326248510471804925252248546537*c_1100_0^13 - 214209290863455093545308135857337367707564/166911139326248510471804\ 925252248546537*c_1100_0^12 - 2311766580444360651697162735233858112\ 63228/166911139326248510471804925252248546537*c_1100_0^11 - 163492255748299287955841423920022446020528/166911139326248510471804\ 925252248546537*c_1100_0^10 - 1159157246742529810427708893825080711\ 13436/166911139326248510471804925252248546537*c_1100_0^9 - 64298253968030960792719276822830307632136/1669111393262485104718049\ 25252248546537*c_1100_0^8 - 326517857286381369882703773100311818082\ 80/166911139326248510471804925252248546537*c_1100_0^7 - 15917735108437255481826823573083418391540/1669111393262485104718049\ 25252248546537*c_1100_0^6 - 190828103685423949196697684637696815128\ 0/166911139326248510471804925252248546537*c_1100_0^5 - 2297877627157819417831348944022023262828/16691113932624851047180492\ 5252248546537*c_1100_0^4 + 1368631003934652158141923462196682786224\ /166911139326248510471804925252248546537*c_1100_0^3 - 827504915803949184976748058795485485356/166911139326248510471804925\ 252248546537*c_1100_0^2 - 15125012402109987781851660807053984764/16\ 6911139326248510471804925252248546537*c_1100_0 - 39656908403341341409554274356605470980/1669111393262485104718049252\ 52248546537, c_1001_2 - 16779964816587063111124797334119413069/166911139326248510471\ 804925252248546537*c_1100_0^22 - 3676687098501728028283054141607207\ 8163/166911139326248510471804925252248546537*c_1100_0^21 - 80038905741841021376329720937561290408/1669111393262485104718049252\ 52248546537*c_1100_0^20 + 252168301727168898984355668067873260043/1\ 66911139326248510471804925252248546537*c_1100_0^19 - 979359726578607371725316738401460403977/166911139326248510471804925\ 252248546537*c_1100_0^18 - 7273886401277090503760280393261072942158\ /166911139326248510471804925252248546537*c_1100_0^17 - 32336249119416380849200945772444293647596/1669111393262485104718049\ 25252248546537*c_1100_0^16 - 69187318588122247588024014549812195026\ 157/166911139326248510471804925252248546537*c_1100_0^15 - 120485926754212072543569553451704530693408/166911139326248510471804\ 925252248546537*c_1100_0^14 - 1467983885404039867858131286701032590\ 01977/166911139326248510471804925252248546537*c_1100_0^13 - 136169341152777605173394774558148709775405/166911139326248510471804\ 925252248546537*c_1100_0^12 - 1206234554408894964928653050041117195\ 09117/166911139326248510471804925252248546537*c_1100_0^11 - 65108139801413078613845576822489837854632/1669111393262485104718049\ 25252248546537*c_1100_0^10 - 41658768743607320295249327005795468384\ 267/166911139326248510471804925252248546537*c_1100_0^9 - 19393591851854774982550410342942453335061/1669111393262485104718049\ 25252248546537*c_1100_0^8 - 102686884762224796992121033355075512074\ 05/166911139326248510471804925252248546537*c_1100_0^7 - 4834201733456061339040791554214526609463/16691113932624851047180492\ 5252248546537*c_1100_0^6 - 65658970540782740924253456334959716819/1\ 66911139326248510471804925252248546537*c_1100_0^5 - 2338870965879605383161040520069710947102/16691113932624851047180492\ 5252248546537*c_1100_0^4 + 318387631460518694269119361621485452657/\ 166911139326248510471804925252248546537*c_1100_0^3 - 1098677533125492551607022272050460101452/16691113932624851047180492\ 5252248546537*c_1100_0^2 + 41323690451464581739162020859448315336/1\ 66911139326248510471804925252248546537*c_1100_0 - 69590306752407217804552786438436317996/1669111393262485104718049252\ 52248546537, c_1100_0^23 + c_1100_0^22 + 4*c_1100_0^21 - 19*c_1100_0^20 + 83*c_1100_0^19 + 328*c_1100_0^18 + 1564*c_1100_0^17 + 2430*c_1100_0^16 + 5063*c_1100_0^15 + 4301*c_1100_0^14 + 5925*c_1100_0^13 + 3600*c_1100_0^12 + 3234*c_1100_0^11 + 1754*c_1100_0^10 + 1036*c_1100_0^9 + 637*c_1100_0^8 + 55*c_1100_0^7 + 214*c_1100_0^6 - 78*c_1100_0^5 + 74*c_1100_0^4 - 21*c_1100_0^3 + 11*c_1100_0^2 - c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.400 Total time: 0.610 seconds, Total memory usage: 32.09MB