Magma V2.19-8 Tue Aug 20 2013 23:40:09 on localhost [Seed = 3203979802] Type ? for help. Type -D to quit. Loading file "K12n145__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n145 geometric_solution 10.88963559 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 1 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.341978387864 0.992851764051 0 0 5 4 0132 1302 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 0 1 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.689872861159 0.900379345028 6 0 8 7 0132 0132 0132 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 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.657600574209 1.062983245403 7 9 10 0 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.109332847862 0.478684674794 9 10 1 11 2031 1230 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -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.110839945327 0.674420219138 7 10 8 1 0213 1023 1302 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 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.372062931737 1.387204669719 2 8 10 11 0132 3120 0213 2031 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 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.763685389823 0.697750475911 5 11 2 3 0213 1023 0132 2310 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 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.119495267877 1.621293828810 5 6 9 2 2031 3120 3201 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.003182504326 0.572875411843 8 3 4 11 2310 0132 1302 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.338717766706 1.126294815880 5 6 4 3 1023 0213 3012 0132 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 -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.221165142507 1.109275607996 7 6 4 9 1023 1302 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 -1 1 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.798054681266 1.320982078122 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : negation(d['c_0011_4']), 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0101_11'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : d['c_0011_4'], 'c_1010_11' : negation(d['c_1001_3']), 'c_1010_10' : d['c_1001_3'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_3'], 'c_1100_5' : d['c_0101_8'], 'c_1100_4' : d['c_0101_8'], 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : d['c_0101_8'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : d['c_0011_3'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_0'], 'c_1100_11' : d['c_0101_8'], 'c_1100_10' : negation(d['c_1001_4']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_0101_11'], 'c_1010_2' : d['c_0101_11'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : negation(d['c_0011_0']), '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' : negation(d['1']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_11'], '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' : negation(d['c_0101_0']), 'c_0110_10' : d['c_0101_1'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_4']), 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_8']), 'c_0110_8' : d['c_0101_10'], '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_0011_10'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_8, c_1001_3, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 17967030807837349062926721280975296108381789441421/6344225587136073\ 9654148192106067643742135823501000*c_1001_4^23 + 122187803157564515033298952052654553317066057616299/190326767614082\ 218962444576318202931226407470503000*c_1001_4^22 - 5909609088532483755969618047306600789527428959/20972646569044872612\ 94155110944384917095399124*c_1001_4^21 + 173695322065482430371086183254423400123228502929797/380653535228164\ 43792488915263640586245281494100600*c_1001_4^20 - 2930647933781270048041975028316011367632172088422593/19032676761408\ 2218962444576318202931226407470503000*c_1001_4^19 + 1033890020695467848891300243889099367785759089005109/47581691903520\ 554740611144079550732806601867625750*c_1001_4^18 - 1964834442206311361806099594358427403672953320094433/38065353522816\ 443792488915263640586245281494100600*c_1001_4^17 + 9328753745387350123484573638230380768463938435072029/19032676761408\ 2218962444576318202931226407470503000*c_1001_4^16 - 8467434507347487236173759136948216046092699645083103/95163383807041\ 109481222288159101465613203735251500*c_1001_4^15 + 919638524105196368943520235413153992313906344430193/475816919035205\ 54740611144079550732806601867625750*c_1001_4^14 + 159382822975364068302197995190762153696058252236623/190326767614082\ 21896244457631820293122640747050300*c_1001_4^13 - 7913728569509676186343156081040833840875497153242931/38065353522816\ 443792488915263640586245281494100600*c_1001_4^12 + 2148344201703800858417659425208801435039135717156651/12688451174272\ 147930829638421213528748427164700200*c_1001_4^11 - 5952822936353706780471825531232438528538841045738433/63442255871360\ 739654148192106067643742135823501000*c_1001_4^10 - 7361557992724257309014249061718089861997429790266444/23790845951760\ 277370305572039775366403300933812875*c_1001_4^9 + 5129078832739171558709524102332451984204320265885643/95163383807041\ 10948122228815910146561320373525150*c_1001_4^8 - 138613153819309812222820019952522658146497782927106377/190326767614\ 082218962444576318202931226407470503000*c_1001_4^7 + 1130727850321408461840481193183675089040899518128867/15860563967840\ 18491353704802651691093553395587525*c_1001_4^6 - 1074067924059841701055086870742029119683478155784041/15729484926783\ 65445970616333208288687821549343000*c_1001_4^5 + 51532799364640706876955084538762289078924932042787641/9516338380704\ 1109481222288159101465613203735251500*c_1001_4^4 - 200902223854704832165644074975303842546668557214956/610021691070776\ 342828348001019881189828229072125*c_1001_4^3 + 1273193084580233131689547965393749971489095868319117/10573709311893\ 456609024698684344607290355970583500*c_1001_4^2 - 84758390476630341231061989996245691256224121969799/4758169190352055\ 474061114407955073280660186762575*c_1001_4 - 302884841552808508867457118500459937788306858947637/475816919035205\ 54740611144079550732806601867625750, c_0011_0 - 1, c_0011_10 + 110407358616097458719526489604628083351119/1792533894790160\ 0523881667614909272795687172*c_1001_4^23 + 47052813564250140838084009513912203194365/4481334736975400130970416\ 903727318198921793*c_1001_4^22 + 7739547709527149910654447371076416\ 23654977/17925338947901600523881667614909272795687172*c_1001_4^21 + 1639154528495455634288091870351684288965335/17925338947901600523881\ 667614909272795687172*c_1001_4^20 + 1090246142526970300903414623147308220071391/44813347369754001309704\ 16903727318198921793*c_1001_4^19 + 9526806501696188892927446677335340274980591/17925338947901600523881\ 667614909272795687172*c_1001_4^18 + 14606356421946926868390310950164595711513719/1792533894790160052388\ 1667614909272795687172*c_1001_4^17 + 8794527291167150148741167475598135942867915/44813347369754001309704\ 16903727318198921793*c_1001_4^16 + 41918104339965198564538397087001622545378499/1792533894790160052388\ 1667614909272795687172*c_1001_4^15 + 22849223448697597175990303122101815835251921/4481334736975400130970\ 416903727318198921793*c_1001_4^14 + 47241666711069449975857169547208549034684689/8962669473950800261940\ 833807454636397843586*c_1001_4^13 + 128693824064872949612293810518436395680682849/179253389479016005238\ 81667614909272795687172*c_1001_4^12 + 102098456864819313380901632482510669443084065/896266947395080026194\ 0833807454636397843586*c_1001_4^11 + 35160449287894903225555934583518767066865360/4481334736975400130970\ 416903727318198921793*c_1001_4^10 + 164736414300414620466608935873346343780751713/179253389479016005238\ 81667614909272795687172*c_1001_4^9 + 91512532975699901017671787262192215699966805/8962669473950800261940\ 833807454636397843586*c_1001_4^8 + 60336906096569820023112527059280496800645701/1792533894790160052388\ 1667614909272795687172*c_1001_4^7 + 113045726693972507606800404900298635430717237/179253389479016005238\ 81667614909272795687172*c_1001_4^6 - 77918324554192206448367760180347618492099729/1792533894790160052388\ 1667614909272795687172*c_1001_4^5 + 113420652764977137354533588782456809170265287/179253389479016005238\ 81667614909272795687172*c_1001_4^4 - 21941158959700266055167795456070466821097676/4481334736975400130970\ 416903727318198921793*c_1001_4^3 + 6976159541509762086422074098948721021566821/89626694739508002619408\ 33807454636397843586*c_1001_4^2 - 106087575438393995694271171647410\ 5513754949/8962669473950800261940833807454636397843586*c_1001_4 + 2847802198906447696197005837776782516219432/44813347369754001309704\ 16903727318198921793, c_0011_11 - 72309350833176940927039168436175444359967/44813347369754001\ 30970416903727318198921793*c_1001_4^23 + 403493522346039592590456712806462767610143/179253389479016005238816\ 67614909272795687172*c_1001_4^22 - 2522374473874510835995055602856693400877623/17925338947901600523881\ 667614909272795687172*c_1001_4^21 + 1357806228110472792467803002528666354531481/89626694739508002619408\ 33807454636397843586*c_1001_4^20 - 13385934947066972676669759415747619848053509/1792533894790160052388\ 1667614909272795687172*c_1001_4^19 + 12297946737267207929821601425035177178677573/1792533894790160052388\ 1667614909272795687172*c_1001_4^18 - 10499538898317154295633256869145306968584713/4481334736975400130970\ 416903727318198921793*c_1001_4^17 + 22595699041880715429236784073221795274962249/1792533894790160052388\ 1667614909272795687172*c_1001_4^16 - 70214716655595102557370312524546777779575133/1792533894790160052388\ 1667614909272795687172*c_1001_4^15 - 7954675153625496023106656616206820995939769/89626694739508002619408\ 33807454636397843586*c_1001_4^14 + 1661863214113127699182818706160404151447112/44813347369754001309704\ 16903727318198921793*c_1001_4^13 - 80420469153775876768368268377158496253592079/8962669473950800261940\ 833807454636397843586*c_1001_4^12 + 88801491355264283370635645445720748833894347/1792533894790160052388\ 1667614909272795687172*c_1001_4^11 + 1629648770949943511820711227243430554970275/17925338947901600523881\ 667614909272795687172*c_1001_4^10 - 216404717012226451277570655700285580618939617/179253389479016005238\ 81667614909272795687172*c_1001_4^9 + 106513484238938268554035817705602024938253589/448133473697540013097\ 0416903727318198921793*c_1001_4^8 - 97860773026763227930004512790103206640413641/4481334736975400130970\ 416903727318198921793*c_1001_4^7 + 495790935789941782060389369387964907155700189/179253389479016005238\ 81667614909272795687172*c_1001_4^6 - 86210407187034652917403546664314882023500905/4481334736975400130970\ 416903727318198921793*c_1001_4^5 + 348757736469057025403612223059138842129956977/179253389479016005238\ 81667614909272795687172*c_1001_4^4 - 86174307792655266476481257149249914051865703/8962669473950800261940\ 833807454636397843586*c_1001_4^3 + 21057378061410693083931109567866497922886514/4481334736975400130970\ 416903727318198921793*c_1001_4^2 - 12943032209899519607612395211366197751434499/8962669473950800261940\ 833807454636397843586*c_1001_4 + 1803956470447124871208302810576482\ 072187212/4481334736975400130970416903727318198921793, c_0011_3 + 112471411270940496956348192669074724995827/44813347369754001\ 30970416903727318198921793*c_1001_4^23 - 978422894206593112206683225747589315079051/179253389479016005238816\ 67614909272795687172*c_1001_4^22 + 4209248292389762322664053522548817990839071/17925338947901600523881\ 667614909272795687172*c_1001_4^21 - 3412075711154651841823517597150033806465759/89626694739508002619408\ 33807454636397843586*c_1001_4^20 + 22534257087532496413753099521459696649857325/1792533894790160052388\ 1667614909272795687172*c_1001_4^19 - 32510420103984193889651954854321356079913445/1792533894790160052388\ 1667614909272795687172*c_1001_4^18 + 18072367224954779918569053249302693880247662/4481334736975400130970\ 416903727318198921793*c_1001_4^17 - 72901624834522719726061672132429013729265353/1792533894790160052388\ 1667614909272795687172*c_1001_4^16 + 115006960226440501766107653430749396860896773/179253389479016005238\ 81667614909272795687172*c_1001_4^15 - 17486970909614114290111455066542077247995523/8962669473950800261940\ 833807454636397843586*c_1001_4^14 - 13414170129007607912115571779701027498687362/4481334736975400130970\ 416903727318198921793*c_1001_4^13 + 131766298575266579247499945511788206721350775/896266947395080026194\ 0833807454636397843586*c_1001_4^12 - 276444419442761022425217475442679593641555059/179253389479016005238\ 81667614909272795687172*c_1001_4^11 + 5674072197858758952362922497967932461337909/17925338947901600523881\ 667614909272795687172*c_1001_4^10 + 396814649967568636676814078953926596342516685/179253389479016005238\ 81667614909272795687172*c_1001_4^9 - 212063409398774272159570170188252750158754371/448133473697540013097\ 0416903727318198921793*c_1001_4^8 + 220976589961567288938662930598743836129730081/448133473697540013097\ 0416903727318198921793*c_1001_4^7 - 1036530100722412485261135588750923942703881477/17925338947901600523\ 881667614909272795687172*c_1001_4^6 + 220490750288815254926688971242509170286058929/448133473697540013097\ 0416903727318198921793*c_1001_4^5 - 807735996259547662782779531340354218003841585/179253389479016005238\ 81667614909272795687172*c_1001_4^4 + 214762581632716012902351515440850030130603359/896266947395080026194\ 0833807454636397843586*c_1001_4^3 - 42808696258272311153105069754664581430139895/4481334736975400130970\ 416903727318198921793*c_1001_4^2 + 22781026207479298336399941778985550485712477/8962669473950800261940\ 833807454636397843586*c_1001_4 - 2532309174526069692328502373090161\ 926547787/4481334736975400130970416903727318198921793, c_0011_4 + 107522138768039078973865617788761532899083/89626694739508002\ 61940833807454636397843586*c_1001_4^23 - 250524356795294442657558720130424857393345/896266947395080026194083\ 3807454636397843586*c_1001_4^22 + 556178443937759067966565366580728\ 765107492/4481334736975400130970416903727318198921793*c_1001_4^21 - 1875086072030981823269143491441926566144331/89626694739508002619408\ 33807454636397843586*c_1001_4^20 + 6232489900369428312708115211376013116153613/89626694739508002619408\ 33807454636397843586*c_1001_4^19 - 4583705990666902805554468576240965789038786/44813347369754001309704\ 16903727318198921793*c_1001_4^18 + 21612246062023114363013831565670007743667855/8962669473950800261940\ 833807454636397843586*c_1001_4^17 - 22493604847124186298117402137372805216891365/8962669473950800261940\ 833807454636397843586*c_1001_4^16 + 19937862004049635380068246741716042589244495/4481334736975400130970\ 416903727318198921793*c_1001_4^15 - 7948885707113261154874418181883853784813304/44813347369754001309704\ 16903727318198921793*c_1001_4^14 + 2371621564556104270473800331118551633729351/44813347369754001309704\ 16903727318198921793*c_1001_4^13 + 74162556445137085841927042996585728958660427/8962669473950800261940\ 833807454636397843586*c_1001_4^12 - 75483704538612915810706349324512812551279911/8962669473950800261940\ 833807454636397843586*c_1001_4^11 + 56869273521183388417819600848768928481914787/8962669473950800261940\ 833807454636397843586*c_1001_4^10 + 42998448160724413517998511308925716532755665/4481334736975400130970\ 416903727318198921793*c_1001_4^9 - 105916360152056945164325652733545859561864916/448133473697540013097\ 0416903727318198921793*c_1001_4^8 + 313334547626919716906555237591714921034631095/896266947395080026194\ 0833807454636397843586*c_1001_4^7 - 184738497748307854803537601312890879866367366/448133473697540013097\ 0416903727318198921793*c_1001_4^6 + 342743521093884201539308524792474964024943239/896266947395080026194\ 0833807454636397843586*c_1001_4^5 - 155518571051612881841157999769416166892039902/448133473697540013097\ 0416903727318198921793*c_1001_4^4 + 94240599157548680881806298228098872371865163/4481334736975400130970\ 416903727318198921793*c_1001_4^3 - 53474276913590589288334001627614532468297298/4481334736975400130970\ 416903727318198921793*c_1001_4^2 + 14149378491995376332448520606173137300931655/4481334736975400130970\ 416903727318198921793*c_1001_4 - 2267067888812831539625257642593983\ 455282212/4481334736975400130970416903727318198921793, c_0101_0 + 212311721001189994774158438954649177933857/17925338947901600\ 523881667614909272795687172*c_1001_4^23 - 143678283861692298915181337657558856971335/448133473697540013097041\ 6903727318198921793*c_1001_4^22 + 213106976893842477521524857894077\ 1258284505/17925338947901600523881667614909272795687172*c_1001_4^21 - 4101658539929722602707780047169502466970517/179253389479016005238\ 81667614909272795687172*c_1001_4^20 + 2857195926945334199906665588243484902634108/44813347369754001309704\ 16903727318198921793*c_1001_4^19 - 19800544883968819440660581594591633741015361/1792533894790160052388\ 1667614909272795687172*c_1001_4^18 + 37325547107023905375259159346150785529789947/1792533894790160052388\ 1667614909272795687172*c_1001_4^17 - 11742981772295256242438354161484453034483107/4481334736975400130970\ 416903727318198921793*c_1001_4^16 + 56586379775000202824343785894895512450258707/1792533894790160052388\ 1667614909272795687172*c_1001_4^15 - 17024657076272730450267138111878706540308331/8962669473950800261940\ 833807454636397843586*c_1001_4^14 - 22046827982634698761809059453106219622931193/8962669473950800261940\ 833807454636397843586*c_1001_4^13 + 136770486848322380859520378055613013679444851/179253389479016005238\ 81667614909272795687172*c_1001_4^12 - 98019689738629525205405398616711971909477421/8962669473950800261940\ 833807454636397843586*c_1001_4^11 + 4252570988494084619128573276956042353668205/89626694739508002619408\ 33807454636397843586*c_1001_4^10 + 221585508869863337593003315643503378357804133/179253389479016005238\ 81667614909272795687172*c_1001_4^9 - 128859101645772020528228894694326324212444448/448133473697540013097\ 0416903727318198921793*c_1001_4^8 + 542200834549222207163693994236813572362165615/179253389479016005238\ 81667614909272795687172*c_1001_4^7 - 562794754267485959167269078356847269335046893/179253389479016005238\ 81667614909272795687172*c_1001_4^6 + 498306624053811656651798650035110413502287043/179253389479016005238\ 81667614909272795687172*c_1001_4^5 - 391202923866532431825945246265686075296951843/179253389479016005238\ 81667614909272795687172*c_1001_4^4 + 112652207045140335834626227642009059772224709/896266947395080026194\ 0833807454636397843586*c_1001_4^3 - 9043941128488842839658064745294562544554583/89626694739508002619408\ 33807454636397843586*c_1001_4^2 - 119416715894972434134573632649234\ 53991662883/8962669473950800261940833807454636397843586*c_1001_4 + 2394533384292614532730308215641066825901707/44813347369754001309704\ 16903727318198921793, c_0101_1 + 348880373919383494231298325216347375942967/17925338947901600\ 523881667614909272795687172*c_1001_4^23 - 73901065620467643628959425975511208944292/4481334736975400130970416\ 903727318198921793*c_1001_4^22 + 3042242813229676115669142402746413\ 572142365/17925338947901600523881667614909272795687172*c_1001_4^21 - 1768525457894342975685216796980473201620533/17925338947901600523881\ 667614909272795687172*c_1001_4^20 + 4164275115174024922181406614493347384033182/44813347369754001309704\ 16903727318198921793*c_1001_4^19 - 6700827834707303018789725166520713282318649/17925338947901600523881\ 667614909272795687172*c_1001_4^18 + 55126257961257623352294638590871771253127907/1792533894790160052388\ 1667614909272795687172*c_1001_4^17 - 234645339884496463508246296979144985307206/448133473697540013097041\ 6903727318198921793*c_1001_4^16 + 111548185457271435199035535176013\ 083083327871/17925338947901600523881667614909272795687172*c_1001_4^\ 15 + 19550643608070696034271659736685851889222611/44813347369754001\ 30970416903727318198921793*c_1001_4^14 + 44814038474209644659191017765599665961381309/8962669473950800261940\ 833807454636397843586*c_1001_4^13 + 280319035785736438576375771953232620349093297/179253389479016005238\ 81667614909272795687172*c_1001_4^12 + 43486799091201515687629813436947053036435513/8962669473950800261940\ 833807454636397843586*c_1001_4^11 + 47925812359871788479807039588169955377375345/4481334736975400130970\ 416903727318198921793*c_1001_4^10 + 391646698970050475706610016392740188904427329/179253389479016005238\ 81667614909272795687172*c_1001_4^9 - 97928978273655652561559181050580605184524199/8962669473950800261940\ 833807454636397843586*c_1001_4^8 + 572083702244591305609339041822072797072269517/179253389479016005238\ 81667614909272795687172*c_1001_4^7 - 424851235141863057430554617183603746621120079/179253389479016005238\ 81667614909272795687172*c_1001_4^6 + 516811059797641953926242401331314165211017867/179253389479016005238\ 81667614909272795687172*c_1001_4^5 - 358717778629850381829594425558098460588187489/179253389479016005238\ 81667614909272795687172*c_1001_4^4 + 57625243889414933290888796642649716492802735/4481334736975400130970\ 416903727318198921793*c_1001_4^3 - 44131117094024989137583300699663101286951903/8962669473950800261940\ 833807454636397843586*c_1001_4^2 + 20219625241379072880643536302271917515515525/8962669473950800261940\ 833807454636397843586*c_1001_4 + 2412778484911595689750663447228291\ 54865551/4481334736975400130970416903727318198921793, c_0101_10 + 298177528447624839698691997415985664235031/8962669473950800\ 261940833807454636397843586*c_1001_4^23 - 239233287591490484319427967705890694215625/448133473697540013097041\ 6903727318198921793*c_1001_4^22 + 253731103759281639029388872367064\ 9484465187/8962669473950800261940833807454636397843586*c_1001_4^21 - 3096290382681596177486075944374201718424127/89626694739508002619408\ 33807454636397843586*c_1001_4^20 + 6667409694671195974776332098951852896734198/44813347369754001309704\ 16903727318198921793*c_1001_4^19 - 13957368416336785977897525314698063266744447/8962669473950800261940\ 833807454636397843586*c_1001_4^18 + 40826513124118115205039656978281214555304927/8962669473950800261940\ 833807454636397843586*c_1001_4^17 - 12395786464191843418117904385439804537785872/4481334736975400130970\ 416903727318198921793*c_1001_4^16 + 64909132522019739525744897571783627243714143/8962669473950800261940\ 833807454636397843586*c_1001_4^15 + 8625744426488960445934120624585574854079035/44813347369754001309704\ 16903727318198921793*c_1001_4^14 - 9805246244007512107539617174488356932589283/44813347369754001309704\ 16903727318198921793*c_1001_4^13 + 177506279659656658268142900203700524530586299/896266947395080026194\ 0833807454636397843586*c_1001_4^12 - 36028634855066905664184350322253896994331727/4481334736975400130970\ 416903727318198921793*c_1001_4^11 - 2249098004299307608802528801414086264657039/44813347369754001309704\ 16903727318198921793*c_1001_4^10 + 293456456241465700043210314445681389596201937/896266947395080026194\ 0833807454636397843586*c_1001_4^9 - 188272500485849386402279106660248708881350802/448133473697540013097\ 0416903727318198921793*c_1001_4^8 + 439996170727728997983313630924148727362721537/896266947395080026194\ 0833807454636397843586*c_1001_4^7 - 404749340307237527145859241204604503052753363/896266947395080026194\ 0833807454636397843586*c_1001_4^6 + 380502776593986931225381561956429032668366105/896266947395080026194\ 0833807454636397843586*c_1001_4^5 - 282799729784991504956685094937356391667151851/896266947395080026194\ 0833807454636397843586*c_1001_4^4 + 65784646587768073666685946535897997720144241/4481334736975400130970\ 416903727318198921793*c_1001_4^3 - 9956433577366083098853349140764397541706115/44813347369754001309704\ 16903727318198921793*c_1001_4^2 - 696628094065832634352104093974795\ 2456796678/4481334736975400130970416903727318198921793*c_1001_4 - 428057785915465652405112910863510992158908/448133473697540013097041\ 6903727318198921793, c_0101_11 + 530207721829302660116949086517645298988205/1792533894790160\ 0523881667614909272795687172*c_1001_4^23 - 60507914173007705459714574316863203131985/8962669473950800261940833\ 807454636397843586*c_1001_4^22 + 3775863587740254854958758662423613\ 489755997/17925338947901600523881667614909272795687172*c_1001_4^21 + 295270076648931355165977988745227512409221/179253389479016005238816\ 67614909272795687172*c_1001_4^20 + 9650864084790804452697795798110916064096545/89626694739508002619408\ 33807454636397843586*c_1001_4^19 + 5547195148841710953279905238640379395057843/17925338947901600523881\ 667614909272795687172*c_1001_4^18 + 54449201606867348534985202083821643104159933/1792533894790160052388\ 1667614909272795687172*c_1001_4^17 + 23361867717475781634643281850226566638112629/8962669473950800261940\ 833807454636397843586*c_1001_4^16 + 98291629928559976578063488764248904463512999/1792533894790160052388\ 1667614909272795687172*c_1001_4^15 + 45947580761223310791770802087734590415038417/4481334736975400130970\ 416903727318198921793*c_1001_4^14 + 34882730532720086752794346194391225515373421/8962669473950800261940\ 833807454636397843586*c_1001_4^13 + 325736431890984333423094894891428382472889255/179253389479016005238\ 81667614909272795687172*c_1001_4^12 + 66912273430009289255688308911047209898582618/4481334736975400130970\ 416903727318198921793*c_1001_4^11 - 5579027775568925919407195801584791020733769/89626694739508002619408\ 33807454636397843586*c_1001_4^10 + 506924606022898307659292316886805462145015821/179253389479016005238\ 81667614909272795687172*c_1001_4^9 - 46348509646568881970509969271108455904755117/8962669473950800261940\ 833807454636397843586*c_1001_4^8 + 137416800995786578815895956971515421039532043/179253389479016005238\ 81667614909272795687172*c_1001_4^7 + 17728766699476042044604265441994426971480517/1792533894790160052388\ 1667614909272795687172*c_1001_4^6 - 86627690434369433541638320679314700444084587/1792533894790160052388\ 1667614909272795687172*c_1001_4^5 + 128055491261285548231171168615168638675730503/179253389479016005238\ 81667614909272795687172*c_1001_4^4 - 58265789205679984027291981849190635326509544/4481334736975400130970\ 416903727318198921793*c_1001_4^3 + 77873658752744294200677739348037365709085205/8962669473950800261940\ 833807454636397843586*c_1001_4^2 - 26783380726277074257543967049697166135014003/8962669473950800261940\ 833807454636397843586*c_1001_4 + 2782934718054704431548830925790331\ 954821063/4481334736975400130970416903727318198921793, c_0101_8 - 270493268803809870396379323072764215875195/89626694739508002\ 61940833807454636397843586*c_1001_4^23 + 519427350839138709388331001083769674853771/896266947395080026194083\ 3807454636397843586*c_1001_4^22 - 251664137277860118268364118726654\ 7324139467/8962669473950800261940833807454636397843586*c_1001_4^21 + 1837416886402562466341714270108611024657622/44813347369754001309704\ 16903727318198921793*c_1001_4^20 - 13594240289424736588721319322257788080353067/8962669473950800261940\ 833807454636397843586*c_1001_4^19 + 17326308140448138036543868973832736723899251/8962669473950800261940\ 833807454636397843586*c_1001_4^18 - 22064037558469112186893721278623849247355868/4481334736975400130970\ 416903727318198921793*c_1001_4^17 + 37953072703913953017869901659631543017453631/8962669473950800261940\ 833807454636397843586*c_1001_4^16 - 74631977290209263913500139504296806527211249/8962669473950800261940\ 833807454636397843586*c_1001_4^15 + 9150918152661219848808846293491213007944227/89626694739508002619408\ 33807454636397843586*c_1001_4^14 + 5804042872191866679559071888077205242588954/44813347369754001309704\ 16903727318198921793*c_1001_4^13 - 171129871676100315481224869413110877955634873/896266947395080026194\ 0833807454636397843586*c_1001_4^12 + 130946113714839947150545594722414261738291975/896266947395080026194\ 0833807454636397843586*c_1001_4^11 - 29035098556929264181557695297839295885551972/4481334736975400130970\ 416903727318198921793*c_1001_4^10 - 253196621412889514357320485091200205878421271/896266947395080026194\ 0833807454636397843586*c_1001_4^9 + 448959290603500850387036856669211741184702199/896266947395080026194\ 0833807454636397843586*c_1001_4^8 - 593504212089606161541552749953426189496586547/896266947395080026194\ 0833807454636397843586*c_1001_4^7 + 288625500898553721604033442793964598406673216/448133473697540013097\ 0416903727318198921793*c_1001_4^6 - 272614962262028348984317214363456261763695183/448133473697540013097\ 0416903727318198921793*c_1001_4^5 + 211107622519376804076550090271402325108587523/448133473697540013097\ 0416903727318198921793*c_1001_4^4 - 258358591446109284718854845794071049062610987/896266947395080026194\ 0833807454636397843586*c_1001_4^3 + 49669035180912367337875412641217267929162905/4481334736975400130970\ 416903727318198921793*c_1001_4^2 - 6033940329337852192384896924906056012198748/44813347369754001309704\ 16903727318198921793*c_1001_4 + 27029554883213903335349396617342406\ 59830934/4481334736975400130970416903727318198921793, c_1001_3 - 220860267111452537703794619039153464662245/17925338947901600\ 523881667614909272795687172*c_1001_4^23 + 149493706260651490656436482030712264235173/179253389479016005238816\ 67614909272795687172*c_1001_4^22 - 406172115395626499252316231507982181102213/448133473697540013097041\ 6903727318198921793*c_1001_4^21 + 600885936720647066144581966286831\ 535909725/17925338947901600523881667614909272795687172*c_1001_4^20 - 8335711949904559722856025891040578132587083/17925338947901600523881\ 667614909272795687172*c_1001_4^19 + 722433128911398129213191581407537229484057/896266947395080026194083\ 3807454636397843586*c_1001_4^18 - 236884083527171888761873745072446\ 18957852777/17925338947901600523881667614909272795687172*c_1001_4^1\ 7 - 8805630293366315566097013303136434353369249/1792533894790160052\ 3881667614909272795687172*c_1001_4^16 - 10033895871978226854348371201781005712013474/4481334736975400130970\ 416903727318198921793*c_1001_4^15 - 29265426496675158584130446377564291672682331/8962669473950800261940\ 833807454636397843586*c_1001_4^14 - 6454638228758282728130660703707328381962167/89626694739508002619408\ 33807454636397843586*c_1001_4^13 - 134115127518578635268347919204984600254913217/179253389479016005238\ 81667614909272795687172*c_1001_4^12 - 72810247166467598760245535565718550441330821/1792533894790160052388\ 1667614909272795687172*c_1001_4^11 + 10406117047346356124307055029945662706261037/1792533894790160052388\ 1667614909272795687172*c_1001_4^10 - 110727721785053501341148763485717200902015233/896266947395080026194\ 0833807454636397843586*c_1001_4^9 + 40848355848820554249272170072089752711814891/8962669473950800261940\ 833807454636397843586*c_1001_4^8 - 128688055393719483185706456840907916852953947/179253389479016005238\ 81667614909272795687172*c_1001_4^7 + 16279985659429250995231012105326968531143536/4481334736975400130970\ 416903727318198921793*c_1001_4^6 - 49097970759948286913184614963428033252863597/1792533894790160052388\ 1667614909272795687172*c_1001_4^5 + 1683947535185031899332750215045756105462117/89626694739508002619408\ 33807454636397843586*c_1001_4^4 + 376646374917729560106567918247282\ 56600893957/8962669473950800261940833807454636397843586*c_1001_4^3 - 16850034554290856143428214135839230552164621/8962669473950800261940\ 833807454636397843586*c_1001_4^2 + 2960697973629121185461397386186797967058659/44813347369754001309704\ 16903727318198921793*c_1001_4 + 37028584266377034834651692942269378\ 79830984/4481334736975400130970416903727318198921793, c_1001_4^24 - 5/3*c_1001_4^23 + 28/3*c_1001_4^22 - 35/3*c_1001_4^21 + 51*c_1001_4^20 - 54*c_1001_4^19 + 169*c_1001_4^18 - 329/3*c_1001_4^17 + 308*c_1001_4^16 + 86/3*c_1001_4^15 + 68*c_1001_4^14 + 705*c_1001_4^13 - 875/3*c_1001_4^12 + 383*c_1001_4^11 + 2984/3*c_1001_4^10 - 4154/3*c_1001_4^9 + 2169*c_1001_4^8 - 6134/3*c_1001_4^7 + 6121/3*c_1001_4^6 - 4834/3*c_1001_4^5 + 3136/3*c_1001_4^4 - 440*c_1001_4^3 + 392/3*c_1001_4^2 - 32/3*c_1001_4 + 44/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.790 Total time: 1.000 seconds, Total memory usage: 32.09MB