Magma V2.19-8 Tue Aug 20 2013 23:39:23 on localhost [Seed = 340947019] Type ? for help. Type -D to quit. Loading file "K13n3094__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3094 geometric_solution 10.28227131 oriented_manifold CS_known -0.0000000000000009 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 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 -7 -1 8 -1 0 1 0 0 0 0 0 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.846236674742 0.863095933258 0 5 7 6 0132 0132 0132 0132 0 0 0 0 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 0 0 0 0 0 -8 8 1 0 -1 0 -8 8 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.417632298400 0.717752427745 8 0 5 9 0132 0132 0132 0132 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 7 -7 0 0 0 0 0 -7 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.355048536356 0.785237533411 8 6 10 0 2103 2103 0132 0132 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 -1 1 0 0 1 -1 0 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.644670999515 0.364411150340 9 7 0 6 3201 0132 0132 2103 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 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425216140574 0.889286757791 10 1 7 2 2103 0132 3201 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 7 -1 0 1 0 1 -1 0 0 7 -8 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.122134087751 0.780598337304 8 3 1 4 3120 2103 0132 2103 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 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.284565034935 1.485711156758 5 4 9 1 2310 0132 0213 0132 0 0 0 0 0 1 0 -1 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 -8 0 8 -1 0 0 1 -1 0 0 1 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.067247821594 1.002005486216 2 10 3 6 0132 2103 2103 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.409475557781 1.258745730391 10 7 2 4 0132 0213 0132 2310 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 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.682370149084 1.317402736165 9 8 5 3 0132 2103 2103 0132 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 -1 1 0 0 1 -1 0 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.706064079163 0.728390153411 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0011_0'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_10'], 'c_1010_10' : d['c_0011_6'], 's_0_10' : d['1'], 's_3_10' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0101_1']), '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_10' : d['1'], 's_0_8' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_4'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : negation(d['c_0110_4']), 'c_1100_6' : negation(d['c_0110_4']), 'c_1100_1' : negation(d['c_0110_4']), 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : d['c_0011_4'], 'c_1100_10' : negation(d['c_0101_2']), 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0110_4']), 'c_1010_8' : negation(d['c_0011_6']), 'c_1100_8' : negation(d['c_0101_0']), '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' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), '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_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_3'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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_3'], 'c_0101_8' : d['c_0101_3'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0101_1']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_4, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 1108553688873957873400694022224241346189243905406609140305013034109\ 38990359/2093070126629392791553214348437681916142338871726806453276\ 84713361563138*c_1001_1^24 + 21215182257141963586854202831235928696\ 1027828719598890080957592418479194523/20930701266293927915532143484\ 3768191614233887172680645327684713361563138*c_1001_1^23 - 1011190871035564436257377515928206056187285542010248627127649565028\ 37180513/1046535063314696395776607174218840958071169435863403226638\ 42356680781569*c_1001_1^22 + 39713468561205693202421191064878193962\ 8789252587221758771817171584530507119/20930701266293927915532143484\ 3768191614233887172680645327684713361563138*c_1001_1^21 - 3676463656335545822190754243554314742770269924110700347638445817614\ 22391863/2093070126629392791553214348437681916142338871726806453276\ 84713361563138*c_1001_1^20 + 10415515175828805437041038233589027910\ 0639881287369747089596773821642907791/20930701266293927915532143484\ 3768191614233887172680645327684713361563138*c_1001_1^19 - 5551309055142796693303292016372628808416525120042453361756068451946\ 53481/7217483195273768246735221891164420400490823695609677425092576\ 322812522*c_1001_1^18 - 3006994174012121509663137183384126807347140\ 4922199619698308753547642741461/20930701266293927915532143484376819\ 1614233887172680645327684713361563138*c_1001_1^17 + 5055525127724524254439602320139090223741943941460142458818823914270\ 68549027/1046535063314696395776607174218840958071169435863403226638\ 42356680781569*c_1001_1^16 - 98275352386233234790011166094967004541\ 1339673194622343135628655154610367655/20930701266293927915532143484\ 3768191614233887172680645327684713361563138*c_1001_1^15 + 4017963647919079617012279980668799176902722450361306026443277017306\ 2525314/55080792806036652409295114432570576740587865045442275086232\ 81930567451*c_1001_1^14 - 32057693360571669632096969124382818959711\ 001473635187033449315746810733635/360874159763688412336761094558221\ 0200245411847804838712546288161406261*c_1001_1^13 + 1517603415732300864427904306016969300452300177939566872365416261871\ 009462621/209307012662939279155321434843768191614233887172680645327\ 684713361563138*c_1001_1^12 - 1027117673187286676823100388277264457\ 132087274212463703014431306916767413591/104653506331469639577660717\ 421884095807116943586340322663842356680781569*c_1001_1^11 + 1460511784288017968516963417826615562838522613101636031109651572298\ 884410479/209307012662939279155321434843768191614233887172680645327\ 684713361563138*c_1001_1^10 - 1609737500694439775530902465514278080\ 646720201617111260412110285713080071013/209307012662939279155321434\ 843768191614233887172680645327684713361563138*c_1001_1^9 + 1196391102741772724273722182515675105718950383812083413740149155653\ 499925763/209307012662939279155321434843768191614233887172680645327\ 684713361563138*c_1001_1^8 - 77245819496011772052585075452862145000\ 7443217799849774799269675868761715085/20930701266293927915532143484\ 3768191614233887172680645327684713361563138*c_1001_1^7 + 9000552559464159213622875368049615707386163823384583273845940756141\ 21728729/2093070126629392791553214348437681916142338871726806453276\ 84713361563138*c_1001_1^6 - 682345318126862867900179711814249708320\ 3809494130242632153400841138537517/26494558564929022677888789220730\ 15083724479584464311966173224219766622*c_1001_1^5 + 3004562553679915966801720308084544227309029544318664891460306811754\ 436509/147399304692210759968536221720963515221291469839915947413862\ 4741982839*c_1001_1^4 - 1307439449116038622048190496138213231573323\ 65173473566854542353101245817883/1046535063314696395776607174218840\ 95807116943586340322663842356680781569*c_1001_1^3 + 1782505231146446932059919880731251171576325868972658330736147569139\ 49662193/2093070126629392791553214348437681916142338871726806453276\ 84713361563138*c_1001_1^2 - 445118323929030624361675451287156242539\ 6081117443033156396494043293262719/56569462881875480852789576984802\ 21394979294247910287711559046307069274*c_1001_1 + 3629682063062280457961720146848508897854931003761825082600194224172\ 8745013/10465350633146963957766071742188409580711694358634032266384\ 2356680781569, c_0011_0 - 1, c_0011_10 + 62467779893192447077348666239788782080242020964873425955173\ 8/138618132746722769054761993653269776190206054261390261905631*c_10\ 01_1^24 - 118754810964843910996293024045147084287228477979364833862\ 6240/138618132746722769054761993653269776190206054261390261905631*c\ _1001_1^23 + 114811651718644742211949175549331255692523434535679223\ 6321004/13861813274672276905476199365326977619020605426139026190563\ 1*c_1001_1^22 - 226923412439170345853774339431160459146589858148527\ 5511431578/13861813274672276905476199365326977619020605426139026190\ 5631*c_1001_1^21 + 208632827836320703660826086566508836039564483473\ 1549586416803/13861813274672276905476199365326977619020605426139026\ 1905631*c_1001_1^20 - 601834903369546723891717248933368294998416601\ 714056317474804/138618132746722769054761993653269776190206054261390\ 261905631*c_1001_1^19 + 7224090927449469142669652782677188556041862\ 6466128062768311/13861813274672276905476199365326977619020605426139\ 0261905631*c_1001_1^18 + 242365605184353234149578052831271155342370\ 227750923054654644/138618132746722769054761993653269776190206054261\ 390261905631*c_1001_1^17 - 5845829579493837981294561088493380900061\ 049437167183067064292/138618132746722769054761993653269776190206054\ 261390261905631*c_1001_1^16 + 5626634366264392811441164908056101860\ 845638719680892232084186/138618132746722769054761993653269776190206\ 054261390261905631*c_1001_1^15 - 8771870467149477896938994203844897\ 977987164136542715110577782/138618132746722769054761993653269776190\ 206054261390261905631*c_1001_1^14 + 10521566270311577778436385405895391898895183678923104795100269/1386\ 18132746722769054761993653269776190206054261390261905631*c_1001_1^1\ 3 - 8701390122515731477615211058227309613035990746461536115855269/1\ 38618132746722769054761993653269776190206054261390261905631*c_1001_\ 1^12 + 114141905314305298087388395113243603100802802144676114667678\ 24/138618132746722769054761993653269776190206054261390261905631*c_1\ 001_1^11 - 79259883267406369541243995824302359023947966995255171692\ 52660/138618132746722769054761993653269776190206054261390261905631*\ c_1001_1^10 + 87692985865597441907785243801851786250463420716627511\ 06284664/1386181327467227690547619936532697761902060542613902619056\ 31*c_1001_1^9 - 627024584101297038691414023360396791882394902567708\ 0991481814/13861813274672276905476199365326977619020605426139026190\ 5631*c_1001_1^8 + 3932343239915352466817594782257983883443489319835\ 157059098891/138618132746722769054761993653269776190206054261390261\ 905631*c_1001_1^7 - 48329019189169543781989808962251822686118225935\ 06024525564776/1386181327467227690547619936532697761902060542613902\ 61905631*c_1001_1^6 + 260829787902713379105290194634543677785026345\ 9575170479271877/13861813274672276905476199365326977619020605426139\ 0261905631*c_1001_1^5 - 3185155790022585727113408077482190487279497\ 1999794455304949/19523680668552502683769294880742221998620571022731\ 02280361*c_1001_1^4 + 120980001741391698956849128123006090910122000\ 7961484366220185/13861813274672276905476199365326977619020605426139\ 0261905631*c_1001_1^3 - 9029601950454453928453207231931477770201716\ 62508517938618049/1386181327467227690547619936532697761902060542613\ 90261905631*c_1001_1^2 + 895089292413705935105625380161200512168675\ 550128876214623662/138618132746722769054761993653269776190206054261\ 390261905631*c_1001_1 - 2571444800004261075715944119623662598133123\ 28609372598466090/1386181327467227690547619936532697761902060542613\ 90261905631, c_0011_4 + 522558991672157475432624150299966383461207279283979312275609\ /138618132746722769054761993653269776190206054261390261905631*c_100\ 1_1^24 - 9611398876285565088018658653229671620103424064620300574626\ 37/138618132746722769054761993653269776190206054261390261905631*c_1\ 001_1^23 + 90010376123503879800463099724509749486156897849470773421\ 8841/138618132746722769054761993653269776190206054261390261905631*c\ _1001_1^22 - 181193935996431762178470890813148188190091729365700715\ 3102425/13861813274672276905476199365326977619020605426139026190563\ 1*c_1001_1^21 + 163338409282417659564399996819726214035123035971202\ 3205559729/13861813274672276905476199365326977619020605426139026190\ 5631*c_1001_1^20 - 469762067655965893463313365014264526191938442749\ 945281910320/138618132746722769054761993653269776190206054261390261\ 905631*c_1001_1^19 + 1066182055040123305004877861924398143863834837\ 83668456301843/1386181327467227690547619936532697761902060542613902\ 61905631*c_1001_1^18 - 12803392385115389098942257965119742646311760\ 041233450437314/138618132746722769054761993653269776190206054261390\ 261905631*c_1001_1^17 - 4603230118244260268668954772268867559582232\ 342454386623747439/138618132746722769054761993653269776190206054261\ 390261905631*c_1001_1^16 + 4211102012975113327652456255704693750306\ 050259063062535279624/138618132746722769054761993653269776190206054\ 261390261905631*c_1001_1^15 - 7036708828983301968572234410266056441\ 912266992342123300550252/138618132746722769054761993653269776190206\ 054261390261905631*c_1001_1^14 + 8259520157310447834538464349008549\ 308865921237311118639376929/138618132746722769054761993653269776190\ 206054261390261905631*c_1001_1^13 - 7228002690781381597016332194532777187185181973720351249668103/13861\ 8132746722769054761993653269776190206054261390261905631*c_1001_1^12 + 9526586425288867109098985603948188145178941745524793677038886/138\ 618132746722769054761993653269776190206054261390261905631*c_1001_1^\ 11 - 6951974952922309150412058992362755368354917321503112477837995/\ 138618132746722769054761993653269776190206054261390261905631*c_1001\ _1^10 + 78457310289006499246060050123541977115013816734568239796223\ 96/138618132746722769054761993653269776190206054261390261905631*c_1\ 001_1^9 - 564258655281217777774012824412241594858282631553701941997\ 7206/138618132746722769054761993653269776190206054261390261905631*c\ _1001_1^8 + 4001546296865978630606976297933653536111180678284522287\ 591737/138618132746722769054761993653269776190206054261390261905631\ *c_1001_1^7 - 42075596201017255766093751281549530109936934629513881\ 09372897/1386181327467227690547619936532697761902060542613902619056\ 31*c_1001_1^6 + 249857747418366092261387161825130043756595381603959\ 2326282946/13861813274672276905476199365326977619020605426139026190\ 5631*c_1001_1^5 - 2893061652918055898255267534992247523434154492087\ 4075929027/19523680668552502683769294880742221998620571022731022803\ 61*c_1001_1^4 + 110157753689742565778729050979007534286684893693128\ 4583470689/13861813274672276905476199365326977619020605426139026190\ 5631*c_1001_1^3 - 9226600178972112284466373524569063713349806564925\ 69912660641/1386181327467227690547619936532697761902060542613902619\ 05631*c_1001_1^2 + 766213078242931096476115953598695517665884854479\ 765993032078/138618132746722769054761993653269776190206054261390261\ 905631*c_1001_1 - 3072816537885262532139090528907558513711499496980\ 66479699190/1386181327467227690547619936532697761902060542613902619\ 05631, c_0011_6 + 125495193401272907716353659408775585997902070643967117980967\ 0/138618132746722769054761993653269776190206054261390261905631*c_10\ 01_1^24 - 215008777628828643933071358192679373564023050841682797277\ 2141/138618132746722769054761993653269776190206054261390261905631*c\ _1001_1^23 + 194196759028177013039776689461852776070797089012789771\ 2115943/13861813274672276905476199365326977619020605426139026190563\ 1*c_1001_1^22 - 413677319419572688884910167387776021826795520346615\ 8576780710/13861813274672276905476199365326977619020605426139026190\ 5631*c_1001_1^21 + 329486212217435861927993724110022475632527225444\ 9941175490148/13861813274672276905476199365326977619020605426139026\ 1905631*c_1001_1^20 - 660555433476380498594726623200819708677092889\ 391941090733129/138618132746722769054761993653269776190206054261390\ 261905631*c_1001_1^19 - 2213307785144087511051494467485581419473317\ 3976598732023207/13861813274672276905476199365326977619020605426139\ 0261905631*c_1001_1^18 + 451926365018791234424855160658771031935999\ 486441999810287179/138618132746722769054761993653269776190206054261\ 390261905631*c_1001_1^17 - 1125960971800260911002070094960083331785\ 5264024998407100294844/13861813274672276905476199365326977619020605\ 4261390261905631*c_1001_1^16 + 868654764155708181669412695708227629\ 8572812233235635593379099/13861813274672276905476199365326977619020\ 6054261390261905631*c_1001_1^15 - 161278903762157793384421382719942\ 48945761948497074293370434848/1386181327467227690547619936532697761\ 90206054261390261905631*c_1001_1^14 + 17252263368291942959308057867986943079446840473296848076929798/1386\ 18132746722769054761993653269776190206054261390261905631*c_1001_1^1\ 3 - 14216782947086279616135151479061511871871478455757128087166721/\ 138618132746722769054761993653269776190206054261390261905631*c_1001\ _1^12 + 20349226426765072307538394014639355484298843578346518915107\ 461/138618132746722769054761993653269776190206054261390261905631*c_\ 1001_1^11 - 1275883693749935410837002476135001109132249973980381030\ 4969321/13861813274672276905476199365326977619020605426139026190563\ 1*c_1001_1^10 + 163032175840919128692760955714651033063364760686585\ 50171051165/1386181327467227690547619936532697761902060542613902619\ 05631*c_1001_1^9 - 106722196245138191329211630693392709522186320236\ 23101944380824/1386181327467227690547619936532697761902060542613902\ 61905631*c_1001_1^8 + 743767854910003988497508377817031199136492237\ 1491044958369663/13861813274672276905476199365326977619020605426139\ 0261905631*c_1001_1^7 - 9088528477197592297092626640459843739672388\ 278635208038169689/138618132746722769054761993653269776190206054261\ 390261905631*c_1001_1^6 + 46974235200223904507655180080363763880289\ 06748070166982636813/1386181327467227690547619936532697761902060542\ 61390261905631*c_1001_1^5 - 639419309892036816744035523460463261673\ 82854443105815872603/1952368066855250268376929488074222199862057102\ 273102280361*c_1001_1^4 + 21395142454750076415352798539624196616807\ 14019572402518136509/1386181327467227690547619936532697761902060542\ 61390261905631*c_1001_1^3 - 168227890126330466522015056379784880963\ 4883547894497450598018/13861813274672276905476199365326977619020605\ 4261390261905631*c_1001_1^2 + 1656297610683070250953581581755675641\ 776239835136005101743966/138618132746722769054761993653269776190206\ 054261390261905631*c_1001_1 - 4745498156742648485278720202514792396\ 77710343161029061186858/1386181327467227690547619936532697761902060\ 54261390261905631, c_0101_0 + 192898704476217083302085649676205077022503166787949240302388\ /138618132746722769054761993653269776190206054261390261905631*c_100\ 1_1^24 - 7868546730921391477272066728720960258223947492229544409770\ 5/138618132746722769054761993653269776190206054261390261905631*c_10\ 01_1^23 - 291137728267868755000102519565130034284358261979747488905\ 81/138618132746722769054761993653269776190206054261390261905631*c_1\ 001_1^22 - 36096500159538764222047775402485067910432235015733317597\ 9395/138618132746722769054761993653269776190206054261390261905631*c\ _1001_1^21 - 175551120981495421002869136231602303649261252086200110\ 361624/138618132746722769054761993653269776190206054261390261905631\ *c_1001_1^20 + 2174904676707010525517129519803711336394994244659851\ 46990802/1386181327467227690547619936532697761902060542613902619056\ 31*c_1001_1^19 - 13988454129637210859117554972314916097940273163996\ 879479099/138618132746722769054761993653269776190206054261390261905\ 631*c_1001_1^18 - 7477383154274075987221828275001111550110487558180\ 3849070421/13861813274672276905476199365326977619020605426139026190\ 5631*c_1001_1^17 - 159902005658339453562767544849809155544882837278\ 7420683827406/13861813274672276905476199365326977619020605426139026\ 1905631*c_1001_1^16 - 828854465453901276404375043659282686178767034\ 096291409512619/138618132746722769054761993653269776190206054261390\ 261905631*c_1001_1^15 - 1614633700075423124192936032258036232441825\ 783833993838143894/138618132746722769054761993653269776190206054261\ 390261905631*c_1001_1^14 - 4395534567290033474850177178709122609946\ 33603474889296064589/1386181327467227690547619936532697761902060542\ 61390261905631*c_1001_1^13 - 50375877122029427676900493288292921730\ 8943561702578393130916/13861813274672276905476199365326977619020605\ 4261390261905631*c_1001_1^12 + 940291368115830759978323360387104183\ 095078556662419547400885/138618132746722769054761993653269776190206\ 054261390261905631*c_1001_1^11 + 8853980655758950571260069002869300\ 20921763609118236666805774/1386181327467227690547619936532697761902\ 06054261390261905631*c_1001_1^10 + 1527875914229659970870827144047532369222167395023567437554326/13861\ 8132746722769054761993653269776190206054261390261905631*c_1001_1^9 + 1098309568505882733036296143357336532079063296044928016430933/13861\ 8132746722769054761993653269776190206054261390261905631*c_1001_1^8 + 608732352711730957818486720487721429806014324456971574760370/138618\ 132746722769054761993653269776190206054261390261905631*c_1001_1^7 - 407982949325530766506939402524682957182916443155416417878751/138618\ 132746722769054761993653269776190206054261390261905631*c_1001_1^6 - 188518864508928584599760492979877020991784485308893129456187/138618\ 132746722769054761993653269776190206054261390261905631*c_1001_1^5 - 6522891989674519842017782256119513971990028655316942467079/19523680\ 66855250268376929488074222199862057102273102280361*c_1001_1^4 - 204947525015256264858565995174597390257349190167938486612200/138618\ 132746722769054761993653269776190206054261390261905631*c_1001_1^3 - 377980895710398593085363348971977578540473782036019641618880/138618\ 132746722769054761993653269776190206054261390261905631*c_1001_1^2 + 125679329631498833285636357413365726217160384911194720175720/138618\ 132746722769054761993653269776190206054261390261905631*c_1001_1 + 31257081805629665202785607247237069309682259781608803455210/1386181\ 32746722769054761993653269776190206054261390261905631, c_0101_1 - 391327749437111455610973976131596828151389617858194809708302\ /138618132746722769054761993653269776190206054261390261905631*c_100\ 1_1^24 + 6494648103430894609456968684440310152858048584389024643791\ 82/138618132746722769054761993653269776190206054261390261905631*c_1\ 001_1^23 - 60961511346712931638499600857629611100962240913317250594\ 5781/138618132746722769054761993653269776190206054261390261905631*c\ _1001_1^22 + 132535268084067168907807689699586843565723527813768249\ 6669296/13861813274672276905476199365326977619020605426139026190563\ 1*c_1001_1^21 - 101193798011474088414923077552421690425726162220923\ 6183096626/13861813274672276905476199365326977619020605426139026190\ 5631*c_1001_1^20 + 281389520812802050712155667008120175323332168968\ 990692700601/138618132746722769054761993653269776190206054261390261\ 905631*c_1001_1^19 - 6753119695222943110957461606846509877077473692\ 5413221908795/13861813274672276905476199365326977619020605426139026\ 1905631*c_1001_1^18 - 159042736120629368042433650029508535121355240\ 891396351741454/138618132746722769054761993653269776190206054261390\ 261905631*c_1001_1^17 + 3546587475861977323953657347132626071631068\ 698123767425959018/138618132746722769054761993653269776190206054261\ 390261905631*c_1001_1^16 - 2633379487776309464563855054574413944678\ 214255333819173208375/138618132746722769054761993653269776190206054\ 261390261905631*c_1001_1^15 + 5304591775161449901353434614536324724\ 265697883275949046631641/138618132746722769054761993653269776190206\ 054261390261905631*c_1001_1^14 - 5430646824445217972696200833917479\ 710417488370753765672711721/138618132746722769054761993653269776190\ 206054261390261905631*c_1001_1^13 + 4564861728417688514740009992778186604054030171393049160937559/13861\ 8132746722769054761993653269776190206054261390261905631*c_1001_1^12 - 6602778728091523204606579744562129890115427369161405880234198/138\ 618132746722769054761993653269776190206054261390261905631*c_1001_1^\ 11 + 3707412811755583320055923085680619489146914510867212095054940/\ 138618132746722769054761993653269776190206054261390261905631*c_1001\ _1^10 - 54151464712604964766974054556278350792941245325021784095958\ 05/138618132746722769054761993653269776190206054261390261905631*c_1\ 001_1^9 + 295683391450832613902828789726317149650292807662478667814\ 6296/138618132746722769054761993653269776190206054261390261905631*c\ _1001_1^8 - 2464141985716623241860802200623394952264283024282377512\ 085519/138618132746722769054761993653269776190206054261390261905631\ *c_1001_1^7 + 27006220098699402177058703552704071096755782737043068\ 26380492/1386181327467227690547619936532697761902060542613902619056\ 31*c_1001_1^6 - 130022523960493924901579217093854010527248501064882\ 8136642619/13861813274672276905476199365326977619020605426139026190\ 5631*c_1001_1^5 + 2306100982385930618507705416435170160367580446629\ 4205039627/19523680668552502683769294880742221998620571022731022803\ 61*c_1001_1^4 - 503438076984512106913225243931898273214394980366829\ 207504492/138618132746722769054761993653269776190206054261390261905\ 631*c_1001_1^3 + 61927956594085473227522975441942975692491411487805\ 6103076423/13861813274672276905476199365326977619020605426139026190\ 5631*c_1001_1^2 - 4048052922160259537107223778836572526071880566234\ 32680143931/1386181327467227690547619936532697761902060542613902619\ 05631*c_1001_1 + 15767254467613798495880212101143242947522748479124\ 4725658175/13861813274672276905476199365326977619020605426139026190\ 5631, c_0101_2 - 510100501838984941618620452854633615981858775858327902440692\ /138618132746722769054761993653269776190206054261390261905631*c_100\ 1_1^24 + 6868092538908203678238762488534679548775848579786874258183\ 85/138618132746722769054761993653269776190206054261390261905631*c_1\ 001_1^23 - 61666842171344998461127285442506811556268263872033144029\ 2310/138618132746722769054761993653269776190206054261390261905631*c\ _1001_1^22 + 158914943529383671679642778848560006249571982501045355\ 5568233/13861813274672276905476199365326977619020605426139026190563\ 1*c_1001_1^21 - 994948423374807216706847726116583186124694748126170\ 967484097/138618132746722769054761993653269776190206054261390261905\ 631*c_1001_1^20 + 3539991024062919469081814142758074225043587357035\ 88270048908/1386181327467227690547619936532697761902060542613902619\ 05631*c_1001_1^19 - 18887777914440840609637437202481944063200601544\ 2994327699949/13861813274672276905476199365326977619020605426139026\ 1905631*c_1001_1^18 + 298364581764009711713266278960558159401385260\ 81582631660969/1386181327467227690547619936532697761902060542613902\ 61905631*c_1001_1^17 + 44927190953632003660773675391619533647677361\ 53285432078333569/1386181327467227690547619936532697761902060542613\ 90261905631*c_1001_1^16 - 21389862945638659015842192314278721362409\ 61733910363740968219/1386181327467227690547619936532697761902060542\ 61390261905631*c_1001_1^15 + 68033283868047535351013940081547426292\ 90208286534443800817199/1386181327467227690547619936532697761902060\ 54261390261905631*c_1001_1^14 - 52334447552034246213761807496821016\ 21431948610543602417491300/1386181327467227690547619936532697761902\ 06054261390261905631*c_1001_1^13 + 5924324175930603212126039965902491420606267831319496712142956/13861\ 8132746722769054761993653269776190206054261390261905631*c_1001_1^12 - 7732683950717076910371211522487954984172688033917908745907518/138\ 618132746722769054761993653269776190206054261390261905631*c_1001_1^\ 11 + 4153760021597877659607638218445383688150580564653258619766230/\ 138618132746722769054761993653269776190206054261390261905631*c_1001\ _1^10 - 69621352534239183129942655396171048102537720843247847973425\ 51/138618132746722769054761993653269776190206054261390261905631*c_1\ 001_1^9 + 278944364725403900039786628019261115227111313532692366965\ 7642/138618132746722769054761993653269776190206054261390261905631*c\ _1001_1^8 - 3339454150164743284767360325010702440481179187360813032\ 936012/138618132746722769054761993653269776190206054261390261905631\ *c_1001_1^7 + 30593423418817293466258396783494704501032588954992628\ 29868064/1386181327467227690547619936532697761902060542613902619056\ 31*c_1001_1^6 - 144634390861886496004198214682292421558669195210870\ 7041903405/13861813274672276905476199365326977619020605426139026190\ 5631*c_1001_1^5 + 2392065476349685525824520047876578793078167248793\ 9030479519/19523680668552502683769294880742221998620571022731022803\ 61*c_1001_1^4 - 423210381611725988638989436635256831662210587851469\ 133878085/138618132746722769054761993653269776190206054261390261905\ 631*c_1001_1^3 + 76071801751299957878623289897200793935322600736894\ 5779152859/13861813274672276905476199365326977619020605426139026190\ 5631*c_1001_1^2 - 5202244172249831236206899843667878439611600457238\ 78137371143/1386181327467227690547619936532697761902060542613902619\ 05631*c_1001_1 + 12376548119339843416111745732953587405562086853057\ 6837334678/13861813274672276905476199365326977619020605426139026190\ 5631, c_0101_3 - 17500333292832888525742695786854420458328235932959224511201/\ 1952368066855250268376929488074222199862057102273102280361*c_1001_1\ ^24 + 33870769669891452751926420431451875499230625171591988819248/1\ 952368066855250268376929488074222199862057102273102280361*c_1001_1^\ 23 - 34726921980425109963708136646198479503311114581025530760309/19\ 52368066855250268376929488074222199862057102273102280361*c_1001_1^2\ 2 + 66115705115477610565749924941615314042439549308731412246885/195\ 2368066855250268376929488074222199862057102273102280361*c_1001_1^21 - 61627837457986332456254967394649061104251735294687061867914/19523\ 68066855250268376929488074222199862057102273102280361*c_1001_1^20 + 23715858253201074042632904728504981567019981157268858220954/1952368\ 066855250268376929488074222199862057102273102280361*c_1001_1^19 - 5895995031831733972226144924926496072065492255209712546543/19523680\ 66855250268376929488074222199862057102273102280361*c_1001_1^18 - 5860139682963949435822834587043790126574667038587478849971/19523680\ 66855250268376929488074222199862057102273102280361*c_1001_1^17 + 160878077957763457901272849172291412041852632317462457466564/195236\ 8066855250268376929488074222199862057102273102280361*c_1001_1^16 - 160313977786958385604635080679150533963291122955226436051927/195236\ 8066855250268376929488074222199862057102273102280361*c_1001_1^15 + 265730963679000804590242815653642967128598940346090081047328/195236\ 8066855250268376929488074222199862057102273102280361*c_1001_1^14 - 305739519914869178983298922639773447122342425052822937862705/195236\ 8066855250268376929488074222199862057102273102280361*c_1001_1^13 + 269592138982818691510401687485039414336934391728251632584392/195236\ 8066855250268376929488074222199862057102273102280361*c_1001_1^12 - 347443117076039266547472812869680782765304822294176738222850/195236\ 8066855250268376929488074222199862057102273102280361*c_1001_1^11 + 253138391677280022479485220916331791407159316275675016161243/195236\ 8066855250268376929488074222199862057102273102280361*c_1001_1^10 - 274624830315332321269276079822724238974714075580393709211626/195236\ 8066855250268376929488074222199862057102273102280361*c_1001_1^9 + 206792056604510344599523514293918383861195441635758883892818/195236\ 8066855250268376929488074222199862057102273102280361*c_1001_1^8 - 136069084444484090054156543010610196214884230028395407897797/195236\ 8066855250268376929488074222199862057102273102280361*c_1001_1^7 + 148822538257919789590211194259940471559104822650184368134251/195236\ 8066855250268376929488074222199862057102273102280361*c_1001_1^6 - 91551590754503944902880842696509218802688750184143117885548/1952368\ 066855250268376929488074222199862057102273102280361*c_1001_1^5 + 73133487751909730140005711253327213353021512964951831291976/1952368\ 066855250268376929488074222199862057102273102280361*c_1001_1^4 - 43617401269808075748773401951360055899669900638969184587376/1952368\ 066855250268376929488074222199862057102273102280361*c_1001_1^3 + 28886737700485145130403849188650320892844278830426581785089/1952368\ 066855250268376929488074222199862057102273102280361*c_1001_1^2 - 28214733779188674042924477714085577046916014129518429951273/1952368\ 066855250268376929488074222199862057102273102280361*c_1001_1 + 11071815525135434229862450589240163348918155848761440429800/1952368\ 066855250268376929488074222199862057102273102280361, c_0110_4 - 601005627745270428713574045095492492583737474993067290505167\ /138618132746722769054761993653269776190206054261390261905631*c_100\ 1_1^24 + 9803998293465285893363460552663226620073255257390389891380\ 48/138618132746722769054761993653269776190206054261390261905631*c_1\ 001_1^23 - 84661735097699713568056633608147845019437323600761828855\ 5918/138618132746722769054761993653269776190206054261390261905631*c\ _1001_1^22 + 187061013558625342045062533531624941928631359222675249\ 6321164/13861813274672276905476199365326977619020605426139026190563\ 1*c_1001_1^21 - 140816724845744428920740744639355569288482405824208\ 8523283968/13861813274672276905476199365326977619020605426139026190\ 5631*c_1001_1^20 + 258596204279932913948085953468030526001541378833\ 498983972516/138618132746722769054761993653269776190206054261390261\ 905631*c_1001_1^19 + 5591493898658232032704615742786776788324916351\ 646271302140/138618132746722769054761993653269776190206054261390261\ 905631*c_1001_1^18 - 9011724486743359170282846125141850771889086192\ 7896449537443/13861813274672276905476199365326977619020605426139026\ 1905631*c_1001_1^17 + 518776536742271612198533007704902765695468238\ 7335612387322516/13861813274672276905476199365326977619020605426139\ 0261905631*c_1001_1^16 - 369445041879521735100902390108537210788560\ 6413103830233391676/13861813274672276905476199365326977619020605426\ 1390261905631*c_1001_1^15 + 751906779310110931725407242391307484419\ 5950200736414708464672/13861813274672276905476199365326977619020605\ 4261390261905631*c_1001_1^14 - 748201147602505549611133688254447684\ 4520148975180004076512186/13861813274672276905476199365326977619020\ 6054261390261905631*c_1001_1^13 + 653956950226516497563590431704849\ 8943503249289970559564379372/13861813274672276905476199365326977619\ 0206054261390261905631*c_1001_1^12 - 9454653799834699727162363878184724216606990630777854201149535/13861\ 8132746722769054761993653269776190206054261390261905631*c_1001_1^11 + 5657602224301367055684353989308745909700314494818032012066885/138\ 618132746722769054761993653269776190206054261390261905631*c_1001_1^\ 10 - 7789951384676728710616203079403570987698575171542738023747132/\ 138618132746722769054761993653269776190206054261390261905631*c_1001\ _1^9 + 464774412628430242026002626440956076363860424003957546201341\ 8/138618132746722769054761993653269776190206054261390261905631*c_10\ 01_1^8 - 3232742048203074940612682451885633950150984310722895796546\ 727/138618132746722769054761993653269776190206054261390261905631*c_\ 1001_1^7 + 40069649873918462915454584211582369865945244375996310006\ 08954/138618132746722769054761993653269776190206054261390261905631*\ c_1001_1^6 - 199512517446462276551292386883791607017732007714246759\ 9908136/13861813274672276905476199365326977619020605426139026190563\ 1*c_1001_1^5 + 2731265748725824401217828183400233513863930137826054\ 9938726/1952368066855250268376929488074222199862057102273102280361*\ c_1001_1^4 - 817268356200726364895544059155657570151338342135387604\ 298984/138618132746722769054761993653269776190206054261390261905631\ *c_1001_1^3 + 71852151853989413351390041229636371127153517144596965\ 3868666/13861813274672276905476199365326977619020605426139026190563\ 1*c_1001_1^2 - 7479613186161473368387882394257068950884344475831261\ 32280273/1386181327467227690547619936532697761902060542613902619056\ 31*c_1001_1 + 25609189250503558271320776137900494359917398490457327\ 6294275/13861813274672276905476199365326977619020605426139026190563\ 1, c_1001_0 - 25956609356265348610864071942426058073375839187955329452332/\ 138618132746722769054761993653269776190206054261390261905631*c_1001\ _1^24 + 11010389380882201348179419925839430873016363939090863064776\ 5/138618132746722769054761993653269776190206054261390261905631*c_10\ 01_1^23 - 205481727302082091428306568872547764821655033546823134437\ 407/138618132746722769054761993653269776190206054261390261905631*c_\ 1001_1^22 + 2237996885876094650602184199773775912943683171652307795\ 22158/138618132746722769054761993653269776190206054261390261905631*\ c_1001_1^21 - 21629177847708703902925175722902058136359823694517652\ 5752786/13861813274672276905476199365326977619020605426139026190563\ 1*c_1001_1^20 + 138261374003061831323768676070864154688144285949837\ 596604416/138618132746722769054761993653269776190206054261390261905\ 631*c_1001_1^19 + 1420986641612124246145002174547624469881965137014\ 66938011658/1386181327467227690547619936532697761902060542613902619\ 05631*c_1001_1^18 - 32319601612247460007565107028967935256368912409\ 6084279289044/13861813274672276905476199365326977619020605426139026\ 1905631*c_1001_1^17 + 494168002964707546835285825900196656322939087\ 123959777948762/138618132746722769054761993653269776190206054261390\ 261905631*c_1001_1^16 - 8038385065323348913248299895666097528401768\ 52241826241826288/1386181327467227690547619936532697761902060542613\ 90261905631*c_1001_1^15 + 11266797451158642420587180694008367658712\ 26593824765656787709/1386181327467227690547619936532697761902060542\ 61390261905631*c_1001_1^14 - 96608954033202825093655318313590715445\ 6097864017395473878886/13861813274672276905476199365326977619020605\ 4261390261905631*c_1001_1^13 + 940030980244268059970017968146302945\ 008908669564964071489709/138618132746722769054761993653269776190206\ 054261390261905631*c_1001_1^12 - 4448167931226780631327600595604675\ 42502479547570682393133453/1386181327467227690547619936532697761902\ 06054261390261905631*c_1001_1^11 + 363556194385527688805539081135243812144055073642795912566894/138618\ 132746722769054761993653269776190206054261390261905631*c_1001_1^10 - 280589768714457741718650395106232276783472649531789261414211/138618\ 132746722769054761993653269776190206054261390261905631*c_1001_1^9 + 24412444252028851750393137434613183952963853595024465509016/1386181\ 32746722769054761993653269776190206054261390261905631*c_1001_1^8 - 81460242260586263133171549349029501138358575080922134557640/1386181\ 32746722769054761993653269776190206054261390261905631*c_1001_1^7 - 215671300414458034012788732982902112061862683885251951529159/138618\ 132746722769054761993653269776190206054261390261905631*c_1001_1^6 + 57956265484276330374496695911868161515447635674512987599083/1386181\ 32746722769054761993653269776190206054261390261905631*c_1001_1^5 - 745936555366191472376013748751361162258487129206619956196/195236806\ 6855250268376929488074222199862057102273102280361*c_1001_1^4 - 59661257783387843822585671803735894423924855010811866466446/1386181\ 32746722769054761993653269776190206054261390261905631*c_1001_1^3 - 44597951241445138212405743182353343509495472392001020008317/1386181\ 32746722769054761993653269776190206054261390261905631*c_1001_1^2 + 75136295102743739155541334895431778991752467104864606729009/1386181\ 32746722769054761993653269776190206054261390261905631*c_1001_1 + 46931471557965341489456071085457386292092366750896094873603/1386181\ 32746722769054761993653269776190206054261390261905631, c_1001_1^25 - 634/269*c_1001_1^24 + 740/269*c_1001_1^23 - 1200/269*c_1001_1^22 + 1322/269*c_1001_1^21 - 699/269*c_1001_1^20 + 163/269*c_1001_1^19 + 89/269*c_1001_1^18 - 2476/269*c_1001_1^17 + 3460/269*c_1001_1^16 - 4967/269*c_1001_1^15 + 6145/269*c_1001_1^14 - 5823/269*c_1001_1^13 + 6763/269*c_1001_1^12 - 5810/269*c_1001_1^11 + 5624/269*c_1001_1^10 - 4699/269*c_1001_1^9 + 3255/269*c_1001_1^8 - 3059/269*c_1001_1^7 + 2291/269*c_1001_1^6 - 1700/269*c_1001_1^5 + 1097/269*c_1001_1^4 - 709/269*c_1001_1^3 + 626/269*c_1001_1^2 - 356/269*c_1001_1 + 79/269 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.330 Total time: 0.540 seconds, Total memory usage: 32.09MB