Magma V2.19-8 Wed Aug 21 2013 00:56:32 on localhost [Seed = 2716318575] Type ? for help. Type -D to quit. Loading file "L13n2656__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2656 geometric_solution 12.48217000 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1230 0132 0132 0 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 0 0 0 0 0 1 0 -1 -2 0 2 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.548622305927 1.210524509376 0 4 0 5 0132 0132 3012 0132 0 0 0 1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 2 0 -1 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.689404458115 0.685323057216 6 7 7 0 0132 0132 2103 0132 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 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.144920108949 0.842128091560 8 8 0 9 0132 1302 0132 0132 0 0 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 0 1 -1 0 0 0 0 2 0 0 -2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531691991563 0.557103207800 10 1 11 10 0132 0132 0132 2031 0 0 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.467704272210 1.278065701823 6 6 1 8 2103 1302 0132 0321 0 0 1 0 0 0 0 0 0 0 -1 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 -1 1 0 1 0 1 -2 -10 11 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.885802844977 0.910173645890 2 10 5 5 0132 3201 2103 2031 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 10 -11 0 0 -1 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.885802844977 0.910173645890 2 2 11 9 2103 0132 3012 2103 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 -2 0 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.365717583885 0.481329531211 3 5 11 3 0132 0321 2103 2031 0 0 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 0 0 0 0 0 0 0 0 0 1 0 -1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.884139883564 1.051780359088 12 10 3 7 0132 1302 0132 2103 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 -1 1 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.183840078771 0.848379542358 4 4 6 9 0132 1302 2310 2031 0 0 0 1 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 -1 1 0 -2 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.747487059684 0.690026043080 8 7 12 4 2103 1230 0132 0132 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 -2 0 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.713583897349 0.680213715989 9 12 12 11 0132 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516907685744 0.603066361646 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : negation(d['c_0011_5']), 'c_1001_12' : negation(d['c_0101_12']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0101_2'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : negation(d['c_0011_11']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0011_2']), 'c_1001_9' : d['c_0101_4'], 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : d['c_0101_2'], 'c_1010_10' : negation(d['c_0011_12']), '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'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_5']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : negation(d['c_0011_0']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_11'], 'c_1100_4' : d['c_0011_12'], 'c_1100_7' : negation(d['c_0101_12']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : d['c_0011_11'], 'c_1100_0' : negation(d['c_0110_7']), 'c_1100_3' : negation(d['c_0110_7']), 'c_1100_2' : negation(d['c_0110_7']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0110_7']), 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : negation(d['c_0011_2']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_2']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : negation(d['c_0011_11']), 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0011_2'], 'c_1010_8' : d['c_0011_3'], 'c_1100_8' : negation(d['c_0101_4']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : d['c_0011_12'], 's_1_7' : negation(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' : d['1'], 's_1_9' : 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_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0110_11' : d['c_0101_4'], 'c_0110_10' : d['c_0101_4'], 'c_0110_12' : d['c_0101_11'], 'c_0101_7' : d['c_0101_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0101_11'], '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_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_11'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0101_2'], 's_2_9' : negation(d['1'])})} 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_11, c_0011_12, c_0011_2, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_2, c_0101_4, c_0110_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1191976241750633040358439468798951080292430852108438220330019564911\ 31851149701410281/4208453122009714946602255109652107487230570186193\ 596753755916831530831636112*c_0110_7^15 + 2941561153624989820277290157110503053804945911109601464291848665912\ 42225316686062691/4208453122009714946602255109652107487230570186193\ 596753755916831530831636112*c_0110_7^14 + 7321794078978173112444629994764868285403323230906670845787307418177\ 6480545537060007/21042265610048574733011275548260537436152850930967\ 98376877958415765415818056*c_0110_7^13 - 8379002975916787109640268618424244062760573731062408114788140716997\ 4224085701706477/42084531220097149466022551096521074872305701861935\ 96753755916831530831636112*c_0110_7^12 - 6842545891954478042477356332374933322255426584580408064758649450968\ 3790085696409901/42084531220097149466022551096521074872305701861935\ 96753755916831530831636112*c_0110_7^11 - 1854322228842855872548362819887696436944916455941040000313501445220\ 2766428416702799/10521132805024287366505637774130268718076425465483\ 99188438979207882707909028*c_0110_7^10 - 3911611741704207288583411358479057382279835155495020748144312751720\ 9694976265848505/42084531220097149466022551096521074872305701861935\ 96753755916831530831636112*c_0110_7^9 + 2291851990146992495133067522777190761714570413122511487146397406140\ 015904399512779/191293323727714315754647959529641249419571372099708\ 943352541674160492347096*c_0110_7^8 + 8421635362568152464236351498452310821023900756382681936085430408756\ 020684326013465/210422656100485747330112755482605374361528509309679\ 8376877958415765415818056*c_0110_7^7 - 3633973226120591271253372296551813185605861510348645190964974773414\ 17714728084813/1829762226960745628957502221587872820535030515736346\ 41467648557892644853744*c_0110_7^6 + 1669659833564159993213086790755497719945600840763398793500522268505\ 1477159140807/27327617675387759393521137075663035631367338871386991\ 907505953451498906728*c_0110_7^5 - 1009832506479457268487265123909711406712344282285688878220790486765\ 98777817290907/1912933237277143157546479595296412494195713720997089\ 43352541674160492347096*c_0110_7^4 - 4949667762119044116195116293543856921410502174661467427364285540352\ 9799880648905/38258664745542863150929591905928249883914274419941788\ 6705083348320984694192*c_0110_7^3 + 1092776553750901813129595098520179233894537377669489590372464967202\ 181030817645/578084220056279525632177899677487292202001399202417136\ 5049336307047845654*c_0110_7^2 - 2114343768878928309651157940066033\ 69879320017934688317796265549026797548076498331/4208453122009714946\ 602255109652107487230570186193596753755916831530831636112*c_0110_7 + 2764881074294950110452111984120346373286625911775461623664810289795\ 7326613970689/42084531220097149466022551096521074872305701861935967\ 53755916831530831636112, c_0011_0 - 1, c_0011_11 - 286972990972856885778833685440590834394552180976535211/4992\ 45352585488654509136290871707539604844516015487*c_0110_7^15 - 929879336055978833363478070059977316560695612853454025/998490705170\ 977309018272581743415079209689032030974*c_0110_7^14 + 1607446605504432670855546022403818771701457823801385247/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^13 + 1757788677926219922300336457092844697147957364434648863/99849070517\ 0977309018272581743415079209689032030974*c_0110_7^12 + 884132421965579631001011219037675186618805740572497593/199698141034\ 1954618036545163486830158419378064061948*c_0110_7^11 + 21575056509917768237997446749101913203867493112461816/4992453525854\ 88654509136290871707539604844516015487*c_0110_7^10 - 425767482065100739380305576965476000559075856209827119/199698141034\ 1954618036545163486830158419378064061948*c_0110_7^9 - 1235328290260380458153191449293799451861417234349084455/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^8 + 6411232952594610635026141747402293226827761974160128/49924535258548\ 8654509136290871707539604844516015487*c_0110_7^7 + 186647362686475079352540530349858887335717001640912087/998490705170\ 977309018272581743415079209689032030974*c_0110_7^6 - 40328057673839775220583362622620528590139588455724373/1996981410341\ 954618036545163486830158419378064061948*c_0110_7^5 + 12472886115969495684760582128766441309969897533679443/4992453525854\ 88654509136290871707539604844516015487*c_0110_7^4 - 1241285381823751483886993096158649634610170889576507/99849070517097\ 7309018272581743415079209689032030974*c_0110_7^3 - 19477809761455065093682799355277154854362837851428463/1996981410341\ 954618036545163486830158419378064061948*c_0110_7^2 + 9151469934287944926920171662130286750520452883734847/19969814103419\ 54618036545163486830158419378064061948*c_0110_7 + 18770693294010995470059894429649585886268939035001/1996981410341954\ 618036545163486830158419378064061948, c_0011_12 + 1810126754314340982804354034615019363184947546663369107/499\ 245352585488654509136290871707539604844516015487*c_0110_7^15 + 5911819195283932948967462372812291226899182341458830430/49924535258\ 5488654509136290871707539604844516015487*c_0110_7^14 + 12405622720032782961797649727380269069458920967268891341/9984907051\ 70977309018272581743415079209689032030974*c_0110_7^13 + 6151437396783281568469205385916003619081950407963161975/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^12 - 5769272361580945879393548868617376872560488969976269567/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^11 - 8424950884367869076460005029793114027364693042509355589/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^10 - 3464048773414126262478523617448963218835903269670788907/99849070517\ 0977309018272581743415079209689032030974*c_0110_7^9 - 27832416261211091641453458213180771649501841285922333/4992453525854\ 88654509136290871707539604844516015487*c_0110_7^8 + 2758041350938437764177268802655610635118624531449892891/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^7 + 812218291199470390737850565252840015281827755134000633/199698141034\ 1954618036545163486830158419378064061948*c_0110_7^6 + 8184316956241084262453978768523762802412721620990983/99849070517097\ 7309018272581743415079209689032030974*c_0110_7^5 - 7132325042418990499362682891852504792543781712318447/49924535258548\ 8654509136290871707539604844516015487*c_0110_7^4 - 26314999734663668830581749893124927720883428972017991/4992453525854\ 88654509136290871707539604844516015487*c_0110_7^3 - 2388843957531229685946778011388327901745932374810103/99849070517097\ 7309018272581743415079209689032030974*c_0110_7^2 + 14740495830309422348666287773134962783969539562501409/1996981410341\ 954618036545163486830158419378064061948*c_0110_7 - 826947092911240566876340994895431044114544976833643/998490705170977\ 309018272581743415079209689032030974, c_0011_2 - 376698098399161885449712307523651162715467938669923392/49924\ 5352585488654509136290871707539604844516015487*c_0110_7^15 - 1182808395679283368060659917327253104536994685093132241/49924535258\ 5488654509136290871707539604844516015487*c_0110_7^14 - 5252798562000933999830742996767511893081631613195348879/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^13 - 1110091820933987158091002889685525139077233352784286841/99849070517\ 0977309018272581743415079209689032030974*c_0110_7^12 + 169898874203722118361275277375288517512547580174178439/499245352585\ 488654509136290871707539604844516015487*c_0110_7^11 + 1853958145000480562370784319083144052527450996189208811/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^10 + 342937188639798294133473592242474202307952434900865049/499245352585\ 488654509136290871707539604844516015487*c_0110_7^9 + 284875735750235579743323983828931396008032052727364355/199698141034\ 1954618036545163486830158419378064061948*c_0110_7^8 - 106564512545777781006986050045205178098390353744311120/499245352585\ 488654509136290871707539604844516015487*c_0110_7^7 - 324077391914269539271006419649630719301013571830970415/199698141034\ 1954618036545163486830158419378064061948*c_0110_7^6 + 8380130650186995456809518040727532031354315638568351/99849070517097\ 7309018272581743415079209689032030974*c_0110_7^5 + 898302459562296405260029231259222596545689774012031/499245352585488\ 654509136290871707539604844516015487*c_0110_7^4 + 1935285053879802134864771396087815862107878224556095/49924535258548\ 8654509136290871707539604844516015487*c_0110_7^3 + 13594431580951332037949376036470640052371731113035645/1996981410341\ 954618036545163486830158419378064061948*c_0110_7^2 - 8948789299270876164597378689003922646928304061046015/19969814103419\ 54618036545163486830158419378064061948*c_0110_7 + 417725031956585852643636209464387835839116741683739/998490705170977\ 309018272581743415079209689032030974, c_0011_3 + 100597421259349441108187771198395871149827930066843227/19969\ 81410341954618036545163486830158419378064061948*c_0110_7^15 + 515886470565183758829668531950382856556961551380071295/499245352585\ 488654509136290871707539604844516015487*c_0110_7^14 + 669202632740118649247175498111432256756343328962109368/499245352585\ 488654509136290871707539604844516015487*c_0110_7^13 - 2359938778152938806653567877497623357657273321030486607/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^12 - 3848795748639203048899689869311445169882538889105858545/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^11 - 234075483103277817461432471309392489966187668122148205/499245352585\ 488654509136290871707539604844516015487*c_0110_7^10 - 555363674495009666541972389252589620773324063626623909/199698141034\ 1954618036545163486830158419378064061948*c_0110_7^9 + 958271644836116569789446100171704201097629830545176481/199698141034\ 1954618036545163486830158419378064061948*c_0110_7^8 + 359783080179134653463617810931117874330753064052246618/499245352585\ 488654509136290871707539604844516015487*c_0110_7^7 - 157245622411668355507650822472572181896227897959821521/199698141034\ 1954618036545163486830158419378064061948*c_0110_7^6 - 220928937966788320057815837446077409004997481075525761/199698141034\ 1954618036545163486830158419378064061948*c_0110_7^5 - 52311410323314084080454715487206000310319730823233523/1996981410341\ 954618036545163486830158419378064061948*c_0110_7^4 - 61963479372506582115768651452451995632829140343631761/1996981410341\ 954618036545163486830158419378064061948*c_0110_7^3 + 10712075448996202121006394814587699012263631328626715/9984907051709\ 77309018272581743415079209689032030974*c_0110_7^2 + 3140355828885050675353373436530091232041650082201217/99849070517097\ 7309018272581743415079209689032030974*c_0110_7 - 1064498114486527396833716783234089558953992830933181/19969814103419\ 54618036545163486830158419378064061948, c_0011_5 + 3246707651301100348569197808260361944541283098780654159/1996\ 981410341954618036545163486830158419378064061948*c_0110_7^15 + 1455779274223558936741610706816375542047137838183301174/49924535258\ 5488654509136290871707539604844516015487*c_0110_7^14 - 1642480908475133887166123625725619238108562284217682023/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^13 - 5666048272174783361697944952972111183645708951519831739/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^12 - 705905991161211861208016066437756441673347644847409679/199698141034\ 1954618036545163486830158419378064061948*c_0110_7^11 - 188128350588238165538570831103780601512354470061639267/199698141034\ 1954618036545163486830158419378064061948*c_0110_7^10 + 845252293986810865622522472682355386054155741323375579/199698141034\ 1954618036545163486830158419378064061948*c_0110_7^9 + 565895522840386012633322802926709406523487571344095181/499245352585\ 488654509136290871707539604844516015487*c_0110_7^8 - 171675142734309499276251712988217256619436964382135649/998490705170\ 977309018272581743415079209689032030974*c_0110_7^7 - 378345997181243722349562895077120676930684937698466897/998490705170\ 977309018272581743415079209689032030974*c_0110_7^6 + 51529053455294934870563939810576669654749722519318625/1996981410341\ 954618036545163486830158419378064061948*c_0110_7^5 - 48726414704515721388780545848625230258623935103702967/1996981410341\ 954618036545163486830158419378064061948*c_0110_7^4 + 28874618361306474190469085233036791527003206078179283/1996981410341\ 954618036545163486830158419378064061948*c_0110_7^3 + 38707953370562976598234776211950858752418194553844079/1996981410341\ 954618036545163486830158419378064061948*c_0110_7^2 - 12963204870505618973441479718813563004310060621876255/1996981410341\ 954618036545163486830158419378064061948*c_0110_7 + 764978215969792255128083630617873166793668547823893/199698141034195\ 4618036545163486830158419378064061948, c_0101_0 - 1, c_0101_1 - 1575654297789152990455287434997883546027389344635701489/1996\ 981410341954618036545163486830158419378064061948*c_0110_7^15 - 6845062162082661261496092132617042876459996173164131171/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^14 - 9313045914470003572045637396634098819268156903341883163/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^13 - 3140665602682010048093527128338171306354513226398541183/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^12 + 1735977684102869185819369593810014695897121389266771107/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^11 + 1025116094194916480814252599975401304407007581880300525/99849070517\ 0977309018272581743415079209689032030974*c_0110_7^10 + 2580214439544722042297942593307444981030517226868694485/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^9 + 226426596443068193484615152602181467339399825217575705/998490705170\ 977309018272581743415079209689032030974*c_0110_7^8 - 1151693566648355479665501195361817264816459275574785119/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^7 - 140626186522525306633710836550494148724221797678679803/199698141034\ 1954618036545163486830158419378064061948*c_0110_7^6 - 10171309902444096027037951712817047414696779826619321/9984907051709\ 77309018272581743415079209689032030974*c_0110_7^5 - 41793631556684686051945504248630745654024033238413831/1996981410341\ 954618036545163486830158419378064061948*c_0110_7^4 + 16311084325425973958470665626874634878106071944680389/4992453525854\ 88654509136290871707539604844516015487*c_0110_7^3 - 7822553527298998129769913910237216560792587018703725/99849070517097\ 7309018272581743415079209689032030974*c_0110_7^2 - 4003894019648370762841156987813059985176694070072603/19969814103419\ 54618036545163486830158419378064061948*c_0110_7 + 259665154382490164296323043338445215678457294735760/499245352585488\ 654509136290871707539604844516015487, c_0101_11 - 6711578577051517896078356444475555535784752665094043955/199\ 6981410341954618036545163486830158419378064061948*c_0110_7^15 - 12061189222831981876092696683416852928725515372670865727/9984907051\ 70977309018272581743415079209689032030974*c_0110_7^14 - 14572381803943701378984958189811070713783403028242106793/9984907051\ 70977309018272581743415079209689032030974*c_0110_7^13 - 9417545678881047994018221051302400417986311677656837793/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^12 + 3866847336017997311943955497859683898377094827000546353/99849070517\ 0977309018272581743415079209689032030974*c_0110_7^11 + 10544434831020753594337640101959580653000382931285250619/1996981410\ 341954618036545163486830158419378064061948*c_0110_7^10 + 4108286239710530122295762921491168996065015784460535633/99849070517\ 0977309018272581743415079209689032030974*c_0110_7^9 + 1096264847724837894174812721945530581092015559621934591/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^8 - 1884992446469488140567706447740833008273810371523372291/99849070517\ 0977309018272581743415079209689032030974*c_0110_7^7 - 398508706263175483102744891075614184544089174918681651/499245352585\ 488654509136290871707539604844516015487*c_0110_7^6 + 81947522061650549832455152849740502106683917799494883/9984907051709\ 77309018272581743415079209689032030974*c_0110_7^5 + 52387316483772017693117998686727367302941449993455009/1996981410341\ 954618036545163486830158419378064061948*c_0110_7^4 + 145774679954544922646806257409581361508628956296140937/199698141034\ 1954618036545163486830158419378064061948*c_0110_7^3 + 9247127636757526166504008259040542899056183020641576/49924535258548\ 8654509136290871707539604844516015487*c_0110_7^2 - 16334582258290032896968271168556071841116778396844167/9984907051709\ 77309018272581743415079209689032030974*c_0110_7 + 1693951908720405713607394076002609914349525054037357/99849070517097\ 7309018272581743415079209689032030974, c_0101_12 - 2914757507353292089837076440138976873533028855058467987/998\ 490705170977309018272581743415079209689032030974*c_0110_7^15 - 17786421015805662471657960293985938317356845505373749411/1996981410\ 341954618036545163486830158419378064061948*c_0110_7^14 - 16130278192080071218275167717185831442116097222396647667/1996981410\ 341954618036545163486830158419378064061948*c_0110_7^13 - 497481264406184244604840242857018064780822235830394515/499245352585\ 488654509136290871707539604844516015487*c_0110_7^12 + 3826014941649055014408233793119471383375158957994978501/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^11 + 5244136699066999502941138582251537851273192514874231093/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^10 + 4381924114611942171080059764769464759058433226735523101/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^9 - 863401893479532771129931973205684315143350503466115241/199698141034\ 1954618036545163486830158419378064061948*c_0110_7^8 - 1739242521299143624295307673223496656846962725231263111/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^7 - 137287983316878670848659171073483154962262916905536593/199698141034\ 1954618036545163486830158419378064061948*c_0110_7^6 - 21899276826008003704248702423186163263704908775336473/4992453525854\ 88654509136290871707539604844516015487*c_0110_7^5 + 19788698080116502222519856843369924338110229975537149/9984907051709\ 77309018272581743415079209689032030974*c_0110_7^4 + 68007262534756941175368988357896796650356860542182247/1996981410341\ 954618036545163486830158419378064061948*c_0110_7^3 - 4856254660357124039696411298446589665418805692229975/49924535258548\ 8654509136290871707539604844516015487*c_0110_7^2 - 1211213753452776254078865673332596740570041587322307/19969814103419\ 54618036545163486830158419378064061948*c_0110_7 + 19394073757341338042470602324398374878350417992107/4992453525854886\ 54509136290871707539604844516015487, c_0101_2 - 579405677134467552683995572405453141646309072426160056/49924\ 5352585488654509136290871707539604844516015487*c_0110_7^15 - 3653817060637876960527320507772254495078664905203478789/99849070517\ 0977309018272581743415079209689032030974*c_0110_7^14 - 7345833496966301477752425063164285909027897188234748227/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^13 - 441346249260627434877349974215395048365750150846621927/499245352585\ 488654509136290871707539604844516015487*c_0110_7^12 + 785972093998599793709417344765511716798225375091085817/998490705170\ 977309018272581743415079209689032030974*c_0110_7^11 + 2453078025772513387196371526714193757070968656851850619/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^10 + 490147199661245368659649056998491909614484438332813281/499245352585\ 488654509136290871707539604844516015487*c_0110_7^9 - 51227860908370283890283686810537993043473750911912637/1996981410341\ 954618036545163486830158419378064061948*c_0110_7^8 - 193352967383764219356137917174376707719874354703179443/499245352585\ 488654509136290871707539604844516015487*c_0110_7^7 - 220865973868071862999228249040874922616026868096868023/199698141034\ 1954618036545163486830158419378064061948*c_0110_7^6 + 1003743376936713373959043058777083851861619908967721/49924535258548\ 8654509136290871707539604844516015487*c_0110_7^5 + 2024119070006860705413917348520672599929948209432036/49924535258548\ 8654509136290871707539604844516015487*c_0110_7^4 + 13515839202437284673714258834720360077417177743608707/9984907051709\ 77309018272581743415079209689032030974*c_0110_7^3 + 1976240674802913169117519197383461789438361137868379/19969814103419\ 54618036545163486830158419378064061948*c_0110_7^2 - 7202491985986573840371030630007738991488105964835577/19969814103419\ 54618036545163486830158419378064061948*c_0110_7 + 18097177464183290160260985953092718177039920112121/4992453525854886\ 54509136290871707539604844516015487, c_0101_4 - 5044193644812298153503123672715436904683313893100542235/9984\ 90705170977309018272581743415079209689032030974*c_0110_7^15 - 32298664817645727968538751893783127908710411922482965197/1996981410\ 341954618036545163486830158419378064061948*c_0110_7^14 - 32097885971158837117337748222016630519569380276937470673/1996981410\ 341954618036545163486830158419378064061948*c_0110_7^13 - 1388543573749335937017514430304327258937805640796696781/49924535258\ 5488654509136290871707539604844516015487*c_0110_7^12 + 2283970786545437178489879136937358128128299224754689400/49924535258\ 5488654509136290871707539604844516015487*c_0110_7^11 + 2879203683762489903440156141559639754828172496542186614/49924535258\ 5488654509136290871707539604844516015487*c_0110_7^10 + 2242336695677684718331754037651119391310909326308373057/49924535258\ 5488654509136290871707539604844516015487*c_0110_7^9 - 791643626867290026108010179510164715127932617340740935/199698141034\ 1954618036545163486830158419378064061948*c_0110_7^8 - 4019537704815845971775615397766282384503818409110516903/19969814103\ 41954618036545163486830158419378064061948*c_0110_7^7 - 452164168070061392662409299444032896610559319072447875/998490705170\ 977309018272581743415079209689032030974*c_0110_7^6 + 13719015563556894217293860413808036916395211474065167/1996981410341\ 954618036545163486830158419378064061948*c_0110_7^5 + 48073823409130874896150402040127965077111250341627441/9984907051709\ 77309018272581743415079209689032030974*c_0110_7^4 + 161250058455812229287146379919919319759859009265192489/199698141034\ 1954618036545163486830158419378064061948*c_0110_7^3 - 2557706971598403741447303371238806215940871617347316/49924535258548\ 8654509136290871707539604844516015487*c_0110_7^2 - 17205215130086965155329786610609455039020478504996493/1996981410341\ 954618036545163486830158419378064061948*c_0110_7 + 1633454933566461199270534544298871550616164931566517/19969814103419\ 54618036545163486830158419378064061948, c_0110_7^16 + 719988/206281*c_0110_7^15 + 773973/206281*c_0110_7^14 + 114245/206281*c_0110_7^13 - 266550/206281*c_0110_7^12 - 249429/206281*c_0110_7^11 - 198973/206281*c_0110_7^10 + 18009/206281*c_0110_7^9 + 118332/206281*c_0110_7^8 + 15347/206281*c_0110_7^7 - 10325/206281*c_0110_7^6 + 704/206281*c_0110_7^5 - 4873/206281*c_0110_7^4 + 413/206281*c_0110_7^3 + 1041/206281*c_0110_7^2 - 326/206281*c_0110_7 + 49/206281 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.480 Total time: 0.690 seconds, Total memory usage: 32.09MB