Magma V2.19-8 Wed Aug 21 2013 01:06:39 on localhost [Seed = 1326012301] Type ? for help. Type -D to quit. Loading file "L14n32807__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32807 geometric_solution 11.95255224 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 0 0 0 0 0 -1 0 1 -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.145484083798 0.609275012797 0 4 5 2 0132 3012 0132 0213 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 0 0 0 0 0 0 0 0 1 0 -1 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.109707997637 1.475101140440 6 0 5 1 0132 0132 2103 0213 1 0 0 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.629228124853 1.552761189243 7 5 8 0 0132 0213 0132 0132 1 0 0 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -3 3 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.270221566114 1.545787445008 1 5 0 6 1230 0132 0132 0321 1 0 1 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 -1 1 0 0 0 0 1 -8 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.417127222580 0.778356863478 2 4 3 1 2103 0132 0213 0132 1 0 1 1 0 0 0 0 -1 0 1 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 2 0 -3 1 1 0 0 -1 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.465108034748 0.998105157938 2 4 8 7 0132 0321 0321 0321 1 0 1 0 0 0 0 0 1 0 -1 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 -1 0 1 -2 0 2 0 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.249750032787 0.529010514900 3 6 9 10 0132 0321 0132 0132 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 0 1 0 -7 0 7 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350875791458 0.644849244526 11 10 6 3 0132 0132 0321 0132 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 -1 -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 -8 0 0 8 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350875791458 0.644849244526 12 10 11 7 0132 0321 3012 0132 1 0 0 0 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 -3 0 0 3 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.117847086483 1.680873663459 11 8 7 9 2103 0132 0132 0321 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.681330147518 0.435092462884 8 9 10 12 0132 1230 2103 0132 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 -1 -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 -2 -1 0 3 8 -1 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.117847086483 1.680873663459 9 12 11 12 0132 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.138531246122 0.590473297395 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0101_9'], 'c_1001_5' : d['c_1001_10'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : negation(d['c_0011_4']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_1001_7'], 'c_1010_12' : negation(d['c_0101_9']), 'c_1010_11' : d['c_0101_9'], 'c_1010_10' : d['c_1001_7'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_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_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_1100_9' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : d['c_1001_6'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_1001_7'], 'c_1100_1' : d['c_1001_0'], 'c_1100_0' : d['c_1001_6'], 'c_1100_3' : d['c_1001_6'], 'c_1100_2' : negation(d['c_0101_1']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : negation(d['c_0011_10']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0011_4']), 'c_1010_9' : d['c_1001_7'], 'c_1010_8' : d['c_1001_10'], 'c_1100_8' : d['c_1001_6'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : 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'], 'c_1100_12' : negation(d['c_0011_12']), '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' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : d['c_0101_9'], 'c_0101_12' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0011_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_9, c_1001_0, c_1001_10, c_1001_6, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 5217922897028283262571322963627783167076371659303049936759045/25997\ 57262190873686241906969997225366060111017553809204416*c_1001_7^24 + 105845085013755559064999281201313376347481487336017527188389/361077\ 39752651023420026485694405907861945986354914016728*c_1001_7^23 - 33027287702551898542024672186812957037882382360008380880959979/2599\ 757262190873686241906969997225366060111017553809204416*c_1001_7^22 + 213123350036009372148855968331933755388098808330731648163745/129987\ 8631095436843120953484998612683030055508776904602208*c_1001_7^21 + 44286232987678213406435475512912581539075651579474133272493/4332928\ 77031812281040317828332870894343351836258968200736*c_1001_7^20 + 245372340208084630749362975033092039446942570074697501235623661/259\ 9757262190873686241906969997225366060111017553809204416*c_1001_7^19 + 82609840307850317545879863315296079521408682543295990409687221/32\ 4969657773859210780238371249653170757513877194226150552*c_1001_7^18 - 150594080699332371369614514041084116544843675996138362845997223/1\ 62484828886929605390119185624826585378756938597113075276*c_1001_7^1\ 7 + 100542067923538398167920838409888259753894761585205888963614835\ 3/866585754063624562080635656665741788686703672517936401472*c_1001_\ 7^16 + 100794167279898582849988164054464455490174170284877875426288\ 5347/2599757262190873686241906969997225366060111017553809204416*c_1\ 001_7^15 - 11960400338982646696881986377697953339807186837644644315\ 607255751/259975726219087368624190696999722536606011101755380920441\ 6*c_1001_7^14 + 127622063550782599287907842601028586107968284698678\ 98820181041749/2599757262190873686241906969997225366060111017553809\ 204416*c_1001_7^13 + 1146602638166334863162626575848516593637845969\ 798670740989929/464242368248370301114626244642361672510734110277465\ 92936*c_1001_7^12 - 43964747892167679159636400027699225904991113406\ 9525903964652255/31704356855986264466364719146307626415367207531144\ 014688*c_1001_7^11 + 7868301916159890921242475071639832486183668055\ 18063480690421/6443974970728915541944048606973094799871383644541466\ 4*c_1001_7^10 + 112110012326050968205735528689529894107930857294650\ 244002544749/309494912165580200743084163094907781673822740184977286\ 24*c_1001_7^9 - 378831485639249035353571976267226818981033242562994\ 92458013495/1299878631095436843120953484998612683030055508776904602\ 208*c_1001_7^8 - 22228478236453751468444308269467124001130385364074\ 54177836354563/4332928770318122810403178283328708943433518362589682\ 00736*c_1001_7^7 + 593114693664203247477955838161202053331978894864\ 1743446317621395/86658575406362456208063565666574178868670367251793\ 6401472*c_1001_7^6 - 7298186832066774075918354931110261427561418436\ 41882349242920127/1856969472993481204458504978569446690042936441109\ 86371744*c_1001_7^5 + 542736397097877442259996753175390838448196023\ 31652982425228997/4062120722173240134752979640620664634468923464927\ 8268819*c_1001_7^4 - 2399731059269084191481935497589182838250656168\ 95681657864862547/4332928770318122810403178283328708943433518362589\ 68200736*c_1001_7^3 + 229667317341122761960974487048505624277237705\ 087970186521533431/433292877031812281040317828332870894343351836258\ 968200736*c_1001_7^2 - 15702344689364242659968201791063882471460148\ 0389670149719649333/64993931554771842156047674249930634151502775438\ 8452301104*c_1001_7 + 101494288942577931820330545404816517299821401\ 673739032482973387/259975726219087368624190696999722536606011101755\ 3809204416, c_0011_0 - 1, c_0011_10 - 5673016557897957203032827439444224189987760018240/605636745\ 36925897950601960591852394735633304929901*c_1001_7^24 - 5558748010396188211564683911452245166595962220437/60563674536925897\ 950601960591852394735633304929901*c_1001_7^23 + 40576066758899293930829250502756840564012662319240/6056367453692589\ 7950601960591852394735633304929901*c_1001_7^22 - 5572445335700862119054497241707738885981534863992/20187891512308632\ 650200653530617464911877768309967*c_1001_7^21 - 1500588749280110776925136689779522462206354225934/20187891512308632\ 650200653530617464911877768309967*c_1001_7^20 - 266806571808942876400003731585289829291792353462397/605636745369258\ 97950601960591852394735633304929901*c_1001_7^19 - 196573618334800907164765523020837006894119000362570/201878915123086\ 32650200653530617464911877768309967*c_1001_7^18 + 2997584987417727248349000842804193681914868894794182/60563674536925\ 897950601960591852394735633304929901*c_1001_7^17 - 4451351528557503876521375574048931946211661366645544/60563674536925\ 897950601960591852394735633304929901*c_1001_7^16 + 159469457714768505665930103192234043723866371439059/605636745369258\ 97950601960591852394735633304929901*c_1001_7^15 + 13909485408073743299839780145844857298502105034484091/6056367453692\ 5897950601960591852394735633304929901*c_1001_7^14 - 19952319181050794070307089160455746331545494692244219/6056367453692\ 5897950601960591852394735633304929901*c_1001_7^13 + 1664600588208732665795946590161852917549721546392532/20187891512308\ 632650200653530617464911877768309967*c_1001_7^12 + 40853031056006904831374242172759275646856450495993967/6056367453692\ 5897950601960591852394735633304929901*c_1001_7^11 - 53124440611509866112095611589950833188718109627905068/6056367453692\ 5897950601960591852394735633304929901*c_1001_7^10 + 1492279560098891403379704388845410727258308292759703/60563674536925\ 897950601960591852394735633304929901*c_1001_7^9 + 3016544494032203131155227609249825207923530457496919/20187891512308\ 632650200653530617464911877768309967*c_1001_7^8 + 5458324087206230095247025222908877671491797909543957/20187891512308\ 632650200653530617464911877768309967*c_1001_7^7 - 8845738509293015683939927584871128869534720500178049/20187891512308\ 632650200653530617464911877768309967*c_1001_7^6 + 18241929046045677287250576262902131801561698976467229/6056367453692\ 5897950601960591852394735633304929901*c_1001_7^5 - 6994742725658315312971995566716443874713001426089551/60563674536925\ 897950601960591852394735633304929901*c_1001_7^4 + 2298035246761565450702308652338142788110896621582530/60563674536925\ 897950601960591852394735633304929901*c_1001_7^3 - 2011543394373912099190933582156494671395110139380983/60563674536925\ 897950601960591852394735633304929901*c_1001_7^2 + 1283028720488036561176139250805033201333103432677295/60563674536925\ 897950601960591852394735633304929901*c_1001_7 - 87160612964423260472087878474385730054394597668249/2018789151230863\ 2650200653530617464911877768309967, c_0011_12 - 22440464477275471744477824674141387440970358916152/14131524\ 0586160428551404574714322254383144378169769*c_1001_7^24 - 25221209590597889927540719913091300392982238640493/1413152405861604\ 28551404574714322254383144378169769*c_1001_7^23 + 155089150298142308388771292744754256771172299922054/141315240586160\ 428551404574714322254383144378169769*c_1001_7^22 - 46050125578238604710854013699162227737613564273503/1413152405861604\ 28551404574714322254383144378169769*c_1001_7^21 - 12140798222988681789866789526876509256528517028272/1413152405861604\ 28551404574714322254383144378169769*c_1001_7^20 - 1058425693072793749763853845249412443624177400117531/14131524058616\ 0428551404574714322254383144378169769*c_1001_7^19 - 2488213554964988510732359801340859749624602343606345/14131524058616\ 0428551404574714322254383144378169769*c_1001_7^18 + 11413699302280222411429112874180201174724619460299972/1413152405861\ 60428551404574714322254383144378169769*c_1001_7^17 - 16173687252779130141026934240264737734968313806047962/1413152405861\ 60428551404574714322254383144378169769*c_1001_7^16 - 808324413889520430034705528839198813067270833664060/141315240586160\ 428551404574714322254383144378169769*c_1001_7^15 + 53795557058935240049188239636093184432898806649509042/1413152405861\ 60428551404574714322254383144378169769*c_1001_7^14 - 71534041656590563755503198974329940921513076052383763/1413152405861\ 60428551404574714322254383144378169769*c_1001_7^13 + 1970675145179159191886954764788912277424867006723782/20187891512308\ 632650200653530617464911877768309967*c_1001_7^12 + 158675988439426627828203430760848744465138883393175950/141315240586\ 160428551404574714322254383144378169769*c_1001_7^11 - 187598362646100103775155170554014052892715466974176196/141315240586\ 160428551404574714322254383144378169769*c_1001_7^10 - 1155949656924985587702852626830738520336369718295910/20187891512308\ 632650200653530617464911877768309967*c_1001_7^9 + 21979846918903555124519933058840988177388414648793874/1413152405861\ 60428551404574714322254383144378169769*c_1001_7^8 + 63305527667509156692420579747535555361706628729728971/1413152405861\ 60428551404574714322254383144378169769*c_1001_7^7 - 93810732861877158807866650786322979300907291494992748/1413152405861\ 60428551404574714322254383144378169769*c_1001_7^6 + 9354359187964428752476149116607842033982386492323321/20187891512308\ 632650200653530617464911877768309967*c_1001_7^5 - 24350534786204526755572519910872500540157560012658089/1413152405861\ 60428551404574714322254383144378169769*c_1001_7^4 + 8545998827784671141060439811673142119792858176750234/14131524058616\ 0428551404574714322254383144378169769*c_1001_7^3 - 7295290182842484877397041292101364517088876216398897/14131524058616\ 0428551404574714322254383144378169769*c_1001_7^2 + 4334085770180650800198172352486555663382032053184176/14131524058616\ 0428551404574714322254383144378169769*c_1001_7 - 987090790568030044820266361120136973726026006686809/141315240586160\ 428551404574714322254383144378169769, c_0011_3 + 624155331405400320648814424044142617280643472109/60563674536\ 925897950601960591852394735633304929901*c_1001_7^24 + 2222654464484308882041787800603124446894477216689/60563674536925897\ 950601960591852394735633304929901*c_1001_7^23 - 1993379390559399605762052331845859325302676129735/60563674536925897\ 950601960591852394735633304929901*c_1001_7^22 - 2834547515470736788491648021534134896908399242291/20187891512308632\ 650200653530617464911877768309967*c_1001_7^21 - 277456074725599732605270242026391935454882273431/201878915123086326\ 50200653530617464911877768309967*c_1001_7^20 + 30977201693157011629729179723477015366998508877018/6056367453692589\ 7950601960591852394735633304929901*c_1001_7^19 + 47335368215222095463147422870764228785661478588918/2018789151230863\ 2650200653530617464911877768309967*c_1001_7^18 - 119539539603836795815880828274895098451388587774490/605636745369258\ 97950601960591852394735633304929901*c_1001_7^17 - 254065195268545776625277129261562895661370789939476/605636745369258\ 97950601960591852394735633304929901*c_1001_7^16 + 807327706964549369758232147620552013264032937307497/605636745369258\ 97950601960591852394735633304929901*c_1001_7^15 - 1041360132182312211482343520357403102294848072187768/60563674536925\ 897950601960591852394735633304929901*c_1001_7^14 - 1559269807891560121076204649859686658482461891254432/60563674536925\ 897950601960591852394735633304929901*c_1001_7^13 + 988657086471881048424044251616424777517837280913131/201878915123086\ 32650200653530617464911877768309967*c_1001_7^12 - 3561102140421944378604110877233216139196656258030278/60563674536925\ 897950601960591852394735633304929901*c_1001_7^11 - 5528918727856570686151925537851047590260168388322998/60563674536925\ 897950601960591852394735633304929901*c_1001_7^10 + 8469277818637986772674523389693710590192251178762777/60563674536925\ 897950601960591852394735633304929901*c_1001_7^9 + 1533717966727924981351757960602870939502985242835009/20187891512308\ 632650200653530617464911877768309967*c_1001_7^8 - 632839844827044254366940694899876031048312254959878/201878915123086\ 32650200653530617464911877768309967*c_1001_7^7 - 831633090868680035239727165318896204519859070318655/201878915123086\ 32650200653530617464911877768309967*c_1001_7^6 + 2222939599384829012426135092848276402689848918190504/60563674536925\ 897950601960591852394735633304929901*c_1001_7^5 - 1564786034814494518048474025049345932838240562170440/60563674536925\ 897950601960591852394735633304929901*c_1001_7^4 + 71148714926091457672801675038138276666163601354209/6056367453692589\ 7950601960591852394735633304929901*c_1001_7^3 - 9610495190158514075781897502640538975842557748831/60563674536925897\ 950601960591852394735633304929901*c_1001_7^2 + 232983661839320249198974962031456575109176876927944/605636745369258\ 97950601960591852394735633304929901*c_1001_7 - 31450103760181600176831325406411125233799786069437/2018789151230863\ 2650200653530617464911877768309967, c_0011_4 - 3174236825699614133240757940543616750418739237463/6056367453\ 6925897950601960591852394735633304929901*c_1001_7^24 - 3881247133144008120591432524910784686358426088870/60563674536925897\ 950601960591852394735633304929901*c_1001_7^23 + 21503410545297732851294486571214991144147610235232/6056367453692589\ 7950601960591852394735633304929901*c_1001_7^22 - 1503446318333287947620204043102625186247314629444/20187891512308632\ 650200653530617464911877768309967*c_1001_7^21 - 644856586374421461493006822014837622209962449369/201878915123086326\ 50200653530617464911877768309967*c_1001_7^20 - 149650933350315490595778586574870677642362616751590/605636745369258\ 97950601960591852394735633304929901*c_1001_7^19 - 122203643349447432084900056056296340159116399106982/201878915123086\ 32650200653530617464911877768309967*c_1001_7^18 + 1575936202749687324163399053743829836840452843112456/60563674536925\ 897950601960591852394735633304929901*c_1001_7^17 - 2140754852713304252541214658541597311844696614925346/60563674536925\ 897950601960591852394735633304929901*c_1001_7^16 - 309617225102197103344007921856899387113243536237110/605636745369258\ 97950601960591852394735633304929901*c_1001_7^15 + 7568265004649341689947732543330064311807882764580801/60563674536925\ 897950601960591852394735633304929901*c_1001_7^14 - 9397719506917929485027374619848094623446337927326320/60563674536925\ 897950601960591852394735633304929901*c_1001_7^13 + 373663544042601486200378335967685979143535179892934/201878915123086\ 32650200653530617464911877768309967*c_1001_7^12 + 22528937310720661736367220919113188104026375166287595/6056367453692\ 5897950601960591852394735633304929901*c_1001_7^11 - 24372484166091373697866295194820023340765855641452592/6056367453692\ 5897950601960591852394735633304929901*c_1001_7^10 - 3239621835864862613554348715928799855957670587590199/60563674536925\ 897950601960591852394735633304929901*c_1001_7^9 + 925035390956978239716471416887117200337375083339552/201878915123086\ 32650200653530617464911877768309967*c_1001_7^8 + 3002522332218713405915612301617276514240422021153214/20187891512308\ 632650200653530617464911877768309967*c_1001_7^7 - 4181101445646080817006085728494547889482444399525448/20187891512308\ 632650200653530617464911877768309967*c_1001_7^6 + 8003813133723130118904011349403410071935657259195944/60563674536925\ 897950601960591852394735633304929901*c_1001_7^5 - 2725559972644393822583317800097415286674386357619869/60563674536925\ 897950601960591852394735633304929901*c_1001_7^4 + 985169452356560765727682160618485387296321201005030/605636745369258\ 97950601960591852394735633304929901*c_1001_7^3 - 922375854064179921469626849503952690822031451602324/605636745369258\ 97950601960591852394735633304929901*c_1001_7^2 + 496267558685402461970769539159654909723407002694813/605636745369258\ 97950601960591852394735633304929901*c_1001_7 - 21851941576747600284789892139177667254505246016320/2018789151230863\ 2650200653530617464911877768309967, c_0101_0 - 1, c_0101_1 + 3798392157105014453889572364587759367699382709572/6056367453\ 6925897950601960591852394735633304929901*c_1001_7^24 + 6103901597628317002633220325513909133252903305559/60563674536925897\ 950601960591852394735633304929901*c_1001_7^23 - 23496789935857132457056538903060850469450286364967/6056367453692589\ 7950601960591852394735633304929901*c_1001_7^22 - 1331101197137448840871443978431509710661084612847/20187891512308632\ 650200653530617464911877768309967*c_1001_7^21 + 367400511648821728887736579988445686755080175938/201878915123086326\ 50200653530617464911877768309967*c_1001_7^20 + 180628135043472502225507766298347693009361125628608/605636745369258\ 97950601960591852394735633304929901*c_1001_7^19 + 169539011564669527548047478927060568944777877695900/201878915123086\ 32650200653530617464911877768309967*c_1001_7^18 - 1695475742353524119979279882018724935291841430886946/60563674536925\ 897950601960591852394735633304929901*c_1001_7^17 + 1886689657444758475915937529280034416183325824985870/60563674536925\ 897950601960591852394735633304929901*c_1001_7^16 + 1116944932066746473102240069477451400377276473544607/60563674536925\ 897950601960591852394735633304929901*c_1001_7^15 - 8609625136831653901430076063687467414102730836768569/60563674536925\ 897950601960591852394735633304929901*c_1001_7^14 + 7838449699026369363951169969988407964963876036071888/60563674536925\ 897950601960591852394735633304929901*c_1001_7^13 + 614993542429279562223665915648738798374302101020197/201878915123086\ 32650200653530617464911877768309967*c_1001_7^12 - 26090039451142606114971331796346404243223031424317873/6056367453692\ 5897950601960591852394735633304929901*c_1001_7^11 + 18843565438234803011714369656968975750505687253129594/6056367453692\ 5897950601960591852394735633304929901*c_1001_7^10 + 11708899654502849386228872105622510446149921766352976/6056367453692\ 5897950601960591852394735633304929901*c_1001_7^9 + 608682575770946741635286543715753739165610159495457/201878915123086\ 32650200653530617464911877768309967*c_1001_7^8 - 3635362177045757660282552996517152545288734276113092/20187891512308\ 632650200653530617464911877768309967*c_1001_7^7 + 3349468354777400781766358563175651684962585329206793/20187891512308\ 632650200653530617464911877768309967*c_1001_7^6 - 5780873534338301106477876256555133669245808341005440/60563674536925\ 897950601960591852394735633304929901*c_1001_7^5 + 1160773937829899304534843775048069353836145795449429/60563674536925\ 897950601960591852394735633304929901*c_1001_7^4 - 914020737430469308054880485580347110630157599650821/605636745369258\ 97950601960591852394735633304929901*c_1001_7^3 + 912765358874021407393844952001312151846188893853493/605636745369258\ 97950601960591852394735633304929901*c_1001_7^2 - 263283896846082212771794577128198334614230125766869/605636745369258\ 97950601960591852394735633304929901*c_1001_7 - 9598162183433999892041433267233457979294540053117/20187891512308632\ 650200653530617464911877768309967, c_0101_10 + c_1001_7, c_0101_9 - 70208857927279953759409288224762649021689759742778/423945721\ 758481285654213724142966763149433134509307*c_1001_7^24 - 129091074748526869034361297156642851785310051448791/423945721758481\ 285654213724142966763149433134509307*c_1001_7^23 + 402404109337910730854506651325181845597846581022480/423945721758481\ 285654213724142966763149433134509307*c_1001_7^22 + 53052308311883854650093537558058534460246854892264/1413152405861604\ 28551404574714322254383144378169769*c_1001_7^21 + 6183729697401776718746717509987973071053834874308/14131524058616042\ 8551404574714322254383144378169769*c_1001_7^20 - 3309520885663676737059481298361135276338154806835757/42394572175848\ 1285654213724142966763149433134509307*c_1001_7^19 - 3383473978335953839818390499459370130852468411620892/14131524058616\ 0428551404574714322254383144378169769*c_1001_7^18 + 28902161222397977940957472396475034493588685076182378/4239457217584\ 81285654213724142966763149433134509307*c_1001_7^17 - 28660283145598844319611825679580953198467208470940280/4239457217584\ 81285654213724142966763149433134509307*c_1001_7^16 - 27151551411738254861108200254536506399313776511336192/4239457217584\ 81285654213724142966763149433134509307*c_1001_7^15 + 153496138877632798136740811191332171190722979506628445/423945721758\ 481285654213724142966763149433134509307*c_1001_7^14 - 111279708061421373039954379676384774808788724800312354/423945721758\ 481285654213724142966763149433134509307*c_1001_7^13 - 2738356442315667577261237965091883583351197689510327/20187891512308\ 632650200653530617464911877768309967*c_1001_7^12 + 474126699764462003975163354629301627942929989963510322/423945721758\ 481285654213724142966763149433134509307*c_1001_7^11 - 243704790956293631537065317317932102981397390779694881/423945721758\ 481285654213724142966763149433134509307*c_1001_7^10 - 37663166843149416987727134435350206958806763155514578/6056367453692\ 5897950601960591852394735633304929901*c_1001_7^9 - 25121133355461773473938853779570663362637986751383642/1413152405861\ 60428551404574714322254383144378169769*c_1001_7^8 + 57248594502327002139436192232174696338085454898864247/1413152405861\ 60428551404574714322254383144378169769*c_1001_7^7 - 54602006252601722489112493444545549071489482610861401/1413152405861\ 60428551404574714322254383144378169769*c_1001_7^6 + 8861363296572531652583856670970402696558973450902878/60563674536925\ 897950601960591852394735633304929901*c_1001_7^5 - 7472089473247416949741122703305062945213353589368483/42394572175848\ 1285654213724142966763149433134509307*c_1001_7^4 + 9596419093353782149282825687587963419278874208685904/42394572175848\ 1285654213724142966763149433134509307*c_1001_7^3 - 12865914568754275209969228794361418363225518174889537/4239457217584\ 81285654213724142966763149433134509307*c_1001_7^2 + 2496348779940540803058297903905438001352181641848589/42394572175848\ 1285654213724142966763149433134509307*c_1001_7 + 256018380700588846531547905777379385649700643932383/141315240586160\ 428551404574714322254383144378169769, c_1001_0 - 1, c_1001_10 - 8426957344623134229354273766334959820458098408086/605636745\ 36925897950601960591852394735633304929901*c_1001_7^24 - 11749599961661953089523417203938662746181343991266/6056367453692589\ 7950601960591852394735633304929901*c_1001_7^23 + 54679780555673870684440380314880696970052717968646/6056367453692589\ 7950601960591852394735633304929901*c_1001_7^22 - 1040453598111629589932027365643561276089859353031/20187891512308632\ 650200653530617464911877768309967*c_1001_7^21 - 1009709419790877395151959106018988507386777368717/20187891512308632\ 650200653530617464911877768309967*c_1001_7^20 - 397928310892626210063118231102262285792895071942536/605636745369258\ 97950601960591852394735633304929901*c_1001_7^19 - 347366605864942507013345160226753933252740297615447/201878915123086\ 32650200653530617464911877768309967*c_1001_7^18 + 3986253210193418658523303933126586974251832217077166/60563674536925\ 897950601960591852394735633304929901*c_1001_7^17 - 5047003188268419853872429299383173296038737001111708/60563674536925\ 897950601960591852394735633304929901*c_1001_7^16 - 1496671964224119116565364493847081332433250439862704/60563674536925\ 897950601960591852394735633304929901*c_1001_7^15 + 19603619589629183795720213420420203345919152974242813/6056367453692\ 5897950601960591852394735633304929901*c_1001_7^14 - 21674305792579279193230679242857763993317476853481457/6056367453692\ 5897950601960591852394735633304929901*c_1001_7^13 + 65286313378786722703824351684500144034521539669432/2018789151230863\ 2650200653530617464911877768309967*c_1001_7^12 + 58829816594845496745248891114233046816606279393627771/6056367453692\ 5897950601960591852394735633304929901*c_1001_7^11 - 54720409025620421368300022640373485106214180682014350/6056367453692\ 5897950601960591852394735633304929901*c_1001_7^10 - 15160846781017065549261581408850542175785379663216025/6056367453692\ 5897950601960591852394735633304929901*c_1001_7^9 + 728257535678268999932210355999349701359643120945141/201878915123086\ 32650200653530617464911877768309967*c_1001_7^8 + 7738276472808663263997844116435147712023462146223729/20187891512308\ 632650200653530617464911877768309967*c_1001_7^7 - 9660445544732601533721050195798937605035775551018564/20187891512308\ 632650200653530617464911877768309967*c_1001_7^6 + 17739358679966259800338979441967346067071365723437743/6056367453692\ 5897950601960591852394735633304929901*c_1001_7^5 - 5414409213447830887224575038444853936391883596488086/60563674536925\ 897950601960591852394735633304929901*c_1001_7^4 + 2411366586887388934274270369672377874807024462778200/60563674536925\ 897950601960591852394735633304929901*c_1001_7^3 - 2218914779884654588747918173559252125132270563747896/60563674536925\ 897950601960591852394735633304929901*c_1001_7^2 + 1059820880259290872605479089587926867043366386317321/60563674536925\ 897950601960591852394735633304929901*c_1001_7 - 54277220907952122758785643937803989857296892689521/2018789151230863\ 2650200653530617464911877768309967, c_1001_6 - 624155331405400320648814424044142617280643472109/60563674536\ 925897950601960591852394735633304929901*c_1001_7^24 - 2222654464484308882041787800603124446894477216689/60563674536925897\ 950601960591852394735633304929901*c_1001_7^23 + 1993379390559399605762052331845859325302676129735/60563674536925897\ 950601960591852394735633304929901*c_1001_7^22 + 2834547515470736788491648021534134896908399242291/20187891512308632\ 650200653530617464911877768309967*c_1001_7^21 + 277456074725599732605270242026391935454882273431/201878915123086326\ 50200653530617464911877768309967*c_1001_7^20 - 30977201693157011629729179723477015366998508877018/6056367453692589\ 7950601960591852394735633304929901*c_1001_7^19 - 47335368215222095463147422870764228785661478588918/2018789151230863\ 2650200653530617464911877768309967*c_1001_7^18 + 119539539603836795815880828274895098451388587774490/605636745369258\ 97950601960591852394735633304929901*c_1001_7^17 + 254065195268545776625277129261562895661370789939476/605636745369258\ 97950601960591852394735633304929901*c_1001_7^16 - 807327706964549369758232147620552013264032937307497/605636745369258\ 97950601960591852394735633304929901*c_1001_7^15 + 1041360132182312211482343520357403102294848072187768/60563674536925\ 897950601960591852394735633304929901*c_1001_7^14 + 1559269807891560121076204649859686658482461891254432/60563674536925\ 897950601960591852394735633304929901*c_1001_7^13 - 988657086471881048424044251616424777517837280913131/201878915123086\ 32650200653530617464911877768309967*c_1001_7^12 + 3561102140421944378604110877233216139196656258030278/60563674536925\ 897950601960591852394735633304929901*c_1001_7^11 + 5528918727856570686151925537851047590260168388322998/60563674536925\ 897950601960591852394735633304929901*c_1001_7^10 - 8469277818637986772674523389693710590192251178762777/60563674536925\ 897950601960591852394735633304929901*c_1001_7^9 - 1533717966727924981351757960602870939502985242835009/20187891512308\ 632650200653530617464911877768309967*c_1001_7^8 + 632839844827044254366940694899876031048312254959878/201878915123086\ 32650200653530617464911877768309967*c_1001_7^7 + 831633090868680035239727165318896204519859070318655/201878915123086\ 32650200653530617464911877768309967*c_1001_7^6 - 2222939599384829012426135092848276402689848918190504/60563674536925\ 897950601960591852394735633304929901*c_1001_7^5 + 1564786034814494518048474025049345932838240562170440/60563674536925\ 897950601960591852394735633304929901*c_1001_7^4 - 71148714926091457672801675038138276666163601354209/6056367453692589\ 7950601960591852394735633304929901*c_1001_7^3 + 9610495190158514075781897502640538975842557748831/60563674536925897\ 950601960591852394735633304929901*c_1001_7^2 - 232983661839320249198974962031456575109176876927944/605636745369258\ 97950601960591852394735633304929901*c_1001_7 + 31450103760181600176831325406411125233799786069437/2018789151230863\ 2650200653530617464911877768309967, c_1001_7^25 + c_1001_7^24 - 7*c_1001_7^23 + 3*c_1001_7^22 + 47*c_1001_7^20 + 105*c_1001_7^19 - 520*c_1001_7^18 + 791*c_1001_7^17 - 74*c_1001_7^16 - 2380*c_1001_7^15 + 3502*c_1001_7^14 - 1119*c_1001_7^13 - 6910*c_1001_7^12 + 9266*c_1001_7^11 - 1012*c_1001_7^10 - 834*c_1001_7^9 - 2544*c_1001_7^8 + 4587*c_1001_7^7 - 3533*c_1001_7^6 + 1574*c_1001_7^5 - 586*c_1001_7^4 + 392*c_1001_7^3 - 242*c_1001_7^2 + 75*c_1001_7 - 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.130 Total time: 0.340 seconds, Total memory usage: 32.09MB