Magma V2.19-8 Wed Aug 21 2013 00:11:31 on localhost [Seed = 509112799] Type ? for help. Type -D to quit. Loading file "K13n2995__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2995 geometric_solution 12.05596791 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.365640883066 1.171641935440 0 5 4 6 0132 0132 2310 0132 0 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 0 0 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.173794456090 0.923012624105 7 0 8 7 0132 0132 0132 2103 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 1 -1 0 1 0 -1 0 1 -2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.402032135742 0.987435327070 9 10 6 0 0132 0132 0213 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.583202943873 0.462581685480 8 1 0 11 1230 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.328737261871 0.852443801883 7 1 10 12 1023 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -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.231997979481 0.727052935947 9 3 1 11 2103 0213 0132 0213 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 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.055641510297 0.889605312396 2 5 9 2 0132 1023 0213 2103 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 1 0 -1 -1 0 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.402032135742 0.987435327070 12 4 11 2 1023 3012 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.894719682784 0.772315050939 3 7 6 10 0132 0213 2103 3120 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 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.518186912683 0.794272159631 9 3 12 5 3120 0132 3201 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 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 1.183354017993 0.575664572670 12 8 4 6 3120 3201 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.764967264142 0.745033093729 10 8 5 11 2310 1023 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -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.344063732037 0.512358411128 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_8']), 'c_1001_10' : negation(d['c_0101_12']), 'c_1001_12' : d['c_0101_8'], 'c_1001_5' : d['c_1001_3'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : d['c_1001_3'], 'c_1001_1' : d['c_0101_8'], 'c_1001_0' : negation(d['c_0101_12']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_1']), 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : negation(d['c_0011_4']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_0011_4'], 'c_1010_10' : d['c_1001_3'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0011_12'], '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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_11'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_12']), 'c_1100_4' : d['c_1010_6'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_1010_6'], 'c_1100_3' : d['c_1010_6'], 'c_1100_2' : d['c_0011_11'], 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0101_10']), 'c_1100_11' : d['c_1010_6'], 'c_1100_10' : negation(d['c_0011_12']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_12'], 'c_1010_6' : d['c_1010_6'], 'c_1010_5' : d['c_0101_8'], 'c_1010_4' : negation(d['c_0101_8']), 'c_1010_3' : negation(d['c_0101_12']), 'c_1010_2' : negation(d['c_0101_12']), 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : negation(d['c_0101_1']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : negation(d['c_0101_1']), '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' : d['c_0011_10'], 'c_0011_8' : d['c_0011_12'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0011_6'], 'c_0110_12' : negation(d['c_0101_10']), 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : negation(d['c_0011_11']), '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_12'], 'c_0110_4' : d['c_0011_12'], 'c_0110_7' : negation(d['c_0011_11']), 'c_0110_6' : d['c_0101_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_8, c_1001_3, c_1010_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 576751312682454067900513162961532698452145855327156/494254525572522\ 8176441149076227509323193275*c_1010_6^18 + 10175207603164073734941227540175115552441105539738194/4942545255725\ 228176441149076227509323193275*c_1010_6^17 - 3647165284512105635389030076460551024874507034710995/19770181022900\ 9127057645963049100372927731*c_1010_6^16 - 58194087309842845264539918478771668742774147438317376/4942545255725\ 228176441149076227509323193275*c_1010_6^15 + 14430513672400985014787554780789258046450526666707188/4942545255725\ 228176441149076227509323193275*c_1010_6^14 + 39749956597283278396519778863589240951287573081122537/4942545255725\ 228176441149076227509323193275*c_1010_6^13 - 54437108835069789400685791418762239032106175647234029/4942545255725\ 228176441149076227509323193275*c_1010_6^12 - 57144836734690321942086452505515007326263189838583899/4942545255725\ 228176441149076227509323193275*c_1010_6^11 + 52169371540856181693317880721779141485769815479740093/4942545255725\ 228176441149076227509323193275*c_1010_6^10 + 125626786474900283095588954803173264718113077922321/125127727993043\ 75130230757155006352716945*c_1010_6^9 + 1255553341040301760617182745098922820109333135035993/49425452557252\ 28176441149076227509323193275*c_1010_6^8 + 4883449061301965233198445329552098697877393575458777/98850905114504\ 5635288229815245501864638655*c_1010_6^7 + 38270188046215472474027049961421260737212386020752637/4942545255725\ 228176441149076227509323193275*c_1010_6^6 + 15928382483525627470227776932361176519311356725662949/4942545255725\ 228176441149076227509323193275*c_1010_6^5 + 3994136766450986370633478430643879985861341306384338/49425452557252\ 28176441149076227509323193275*c_1010_6^4 + 3741628947846765501615460564686351901307635863405692/49425452557252\ 28176441149076227509323193275*c_1010_6^3 + 1754256552452890688403468154802282575981636613145317/49425452557252\ 28176441149076227509323193275*c_1010_6^2 + 18525656230260598352758510292273609453444596744812/9885090511450456\ 35288229815245501864638655*c_1010_6 - 70228126102609678772417434938556714475931168086204/4942545255725228\ 176441149076227509323193275, c_0011_0 - 1, c_0011_10 + 2057250565327839115966201482411817166682/382401954021294249\ 627941901448936891543*c_1010_6^18 - 34008327300184553193950062418447138854705/3824019540212942496279419\ 01448936891543*c_1010_6^17 + 28334859395784951988587019042085510300\ 6077/382401954021294249627941901448936891543*c_1010_6^16 + 597204975976550782564841968853175494526256/382401954021294249627941\ 901448936891543*c_1010_6^15 - 8138833394746423454840263523214534145\ 6597/382401954021294249627941901448936891543*c_1010_6^14 - 210084028714576185757344676725464055301388/382401954021294249627941\ 901448936891543*c_1010_6^13 + 7900196425397662902748600738852528076\ 4230/382401954021294249627941901448936891543*c_1010_6^12 + 499697148038894285023180377182484430801752/382401954021294249627941\ 901448936891543*c_1010_6^11 - 1484277109655848329016585874412249032\ 93477/382401954021294249627941901448936891543*c_1010_6^10 - 5440347938619223690327301615546888073196/48405310635606867041511633\ 09480213817*c_1010_6^9 - 36377932086583607572066807284157197511483/\ 382401954021294249627941901448936891543*c_1010_6^8 - 54511477352174638649243072961368427367113/3824019540212942496279419\ 01448936891543*c_1010_6^7 - 248881834933784148398224090869954884684\ 556/382401954021294249627941901448936891543*c_1010_6^6 - 131381945246700656209945694895455333501173/382401954021294249627941\ 901448936891543*c_1010_6^5 - 17297137701159816578647657822618321030\ 628/382401954021294249627941901448936891543*c_1010_6^4 - 20584337490793851194420285084490170677025/3824019540212942496279419\ 01448936891543*c_1010_6^3 - 143588097479989412607648307941363334840\ 75/382401954021294249627941901448936891543*c_1010_6^2 - 583972187002699516854586272786781263456/382401954021294249627941901\ 448936891543*c_1010_6 + 682666067450941681519507848973023157130/382\ 401954021294249627941901448936891543, c_0011_11 + 821442881173063651006007160709500113244/2420265531780343352\ 0755816547401069085*c_1010_6^18 - 143986598180074413815151554751493\ 61140421/24202655317803433520755816547401069085*c_1010_6^17 + 25634461108080080168558022363426429384772/4840531063560686704151163\ 309480213817*c_1010_6^16 + 9840516384880899539549382912317313751858\ 4/24202655317803433520755816547401069085*c_1010_6^15 - 17941510799520413664142012251205020183517/2420265531780343352075581\ 6547401069085*c_1010_6^14 - 606578192602205085174069766960671941958\ 03/24202655317803433520755816547401069085*c_1010_6^13 + 73276642200515332651274520407094111255591/2420265531780343352075581\ 6547401069085*c_1010_6^12 + 919340612051159053002625065505288084298\ 61/24202655317803433520755816547401069085*c_1010_6^11 - 69585543245482992351251615704902740510182/2420265531780343352075581\ 6547401069085*c_1010_6^10 - 163358276386756814943007638924455116009\ 18/4840531063560686704151163309480213817*c_1010_6^9 - 4729642376723593967960054394641338074047/24202655317803433520755816\ 547401069085*c_1010_6^8 - 6692677656109529156989719120354170155558/\ 4840531063560686704151163309480213817*c_1010_6^7 - 59224956199295656758163610916592549161813/2420265531780343352075581\ 6547401069085*c_1010_6^6 - 2670176749882435457685942664996592806991\ 1/24202655317803433520755816547401069085*c_1010_6^5 - 6356945253386451980418233894471728370982/24202655317803433520755816\ 547401069085*c_1010_6^4 - 5690036663084176231457883619183549839958/\ 24202655317803433520755816547401069085*c_1010_6^3 - 2937194191280621103252474774517000788318/24202655317803433520755816\ 547401069085*c_1010_6^2 - 37231860368044164189940862971043274563/48\ 40531063560686704151163309480213817*c_1010_6 + 115147604264780396329382674344223883586/242026553178034335207558165\ 47401069085, c_0011_12 - 85257699581793680204753388387662620521796/19120097701064712\ 48139709507244684457715*c_1010_6^18 + 1512662184121987041746059182298066563950379/19120097701064712481397\ 09507244684457715*c_1010_6^17 - 27263415547177136121004012875251761\ 56888465/382401954021294249627941901448936891543*c_1010_6^16 - 7203250705632655080503901740749491053447786/19120097701064712481397\ 09507244684457715*c_1010_6^15 + 25190100434326900506703959458096564\ 63170588/1912009770106471248139709507244684457715*c_1010_6^14 + 5521963125234430983706823428450621094370647/19120097701064712481397\ 09507244684457715*c_1010_6^13 - 84998563069746315457291807505224429\ 35401389/1912009770106471248139709507244684457715*c_1010_6^12 - 7499327907847408910197535436757663522043169/19120097701064712481397\ 09507244684457715*c_1010_6^11 + 82438838717026642065701179987829732\ 45652788/1912009770106471248139709507244684457715*c_1010_6^10 + 16117954944371224885953984341320051798427/4840531063560686704151163\ 309480213817*c_1010_6^9 - 20055627028398551089142714354850246171287\ 2/1912009770106471248139709507244684457715*c_1010_6^8 + 743525355016956074758225746461657194513350/382401954021294249627941\ 901448936891543*c_1010_6^7 + 52594934067507210107415648083344641980\ 85127/1912009770106471248139709507244684457715*c_1010_6^6 + 1919645125811395754573152833337938436224449/19120097701064712481397\ 09507244684457715*c_1010_6^5 + 506966714007629723820372528593213876\ 933738/1912009770106471248139709507244684457715*c_1010_6^4 + 522297999275469200395353072169874926053202/191200977010647124813970\ 9507244684457715*c_1010_6^3 + 2128185357799579211384950904429502461\ 56762/1912009770106471248139709507244684457715*c_1010_6^2 + 653697894949345184203861590612654670500/382401954021294249627941901\ 448936891543*c_1010_6 - 8405651112219545348569110060251197426899/19\ 12009770106471248139709507244684457715, c_0011_4 - 32066046525848247673950992687099592979389/191200977010647124\ 8139709507244684457715*c_1010_6^18 + 565174245046184806064202751464748466584041/191200977010647124813970\ 9507244684457715*c_1010_6^17 - 101177223855516080615832785508235761\ 5061323/382401954021294249627941901448936891543*c_1010_6^16 - 3338667249798577979384242731017712719517669/19120097701064712481397\ 09507244684457715*c_1010_6^15 + 91564110361808477288903042755450641\ 9408012/1912009770106471248139709507244684457715*c_1010_6^14 + 2061263312481031706835705574577496137317893/19120097701064712481397\ 09507244684457715*c_1010_6^13 - 29668335169252144291512947948712057\ 17163501/1912009770106471248139709507244684457715*c_1010_6^12 - 3240053506905038873035645220520366330316616/19120097701064712481397\ 09507244684457715*c_1010_6^11 + 29761316905961299920607423359996296\ 45797137/1912009770106471248139709507244684457715*c_1010_6^10 + 6903900892420385890642879297812355276074/48405310635606867041511633\ 09480213817*c_1010_6^9 + 12648236508509000171704491196552800543942/\ 1912009770106471248139709507244684457715*c_1010_6^8 + 292879105181125234687885096691400166941680/382401954021294249627941\ 901448936891543*c_1010_6^7 + 21275627147315641768720114749809414067\ 01428/1912009770106471248139709507244684457715*c_1010_6^6 + 880601085262869557122878654013968755845796/191200977010647124813970\ 9507244684457715*c_1010_6^5 + 2537613707556660132748224155286019523\ 63197/1912009770106471248139709507244684457715*c_1010_6^4 + 220595641259212985790151244055590411647218/191200977010647124813970\ 9507244684457715*c_1010_6^3 + 9772565827177495728658795501294508086\ 8068/1912009770106471248139709507244684457715*c_1010_6^2 + 1591894032665771520681542772331578412966/38240195402129424962794190\ 1448936891543*c_1010_6 - 2614697624297306240868382335211725764701/1\ 912009770106471248139709507244684457715, c_0011_6 - 30117819502775536561563692121099281300508/191200977010647124\ 8139709507244684457715*c_1010_6^18 + 518405262808909563149530338272870391169027/191200977010647124813970\ 9507244684457715*c_1010_6^17 - 904803486143102196725144398540229515\ 125075/382401954021294249627941901448936891543*c_1010_6^16 - 5248969481439020216762471746182259464775423/19120097701064712481397\ 09507244684457715*c_1010_6^15 + 96520483092960103334911746396383443\ 7883959/1912009770106471248139709507244684457715*c_1010_6^14 + 2457197416637780778260695861986317568770981/19120097701064712481397\ 09507244684457715*c_1010_6^13 - 22510767275789504942167818027983620\ 22787052/1912009770106471248139709507244684457715*c_1010_6^12 - 4645318490428131545201329125497818165779472/19120097701064712481397\ 09507244684457715*c_1010_6^11 + 25233057817304083044357717188598152\ 88083254/1912009770106471248139709507244684457715*c_1010_6^10 + 10264796118630642233182707801291827312371/4840531063560686704151163\ 309480213817*c_1010_6^9 + 17120293219866476169270558276295591062329\ 4/1912009770106471248139709507244684457715*c_1010_6^8 + 221949664199767611028417109028447037158620/382401954021294249627941\ 901448936891543*c_1010_6^7 + 26442607071281611194464066944500067311\ 99486/1912009770106471248139709507244684457715*c_1010_6^6 + 1245088963759370958333636013304037776244562/19120097701064712481397\ 09507244684457715*c_1010_6^5 + 228457988424390957599582756292037763\ 292809/1912009770106471248139709507244684457715*c_1010_6^4 + 247434537290734557205048165554105926920216/191200977010647124813970\ 9507244684457715*c_1010_6^3 + 1392129377766308955890603317594178123\ 35931/1912009770106471248139709507244684457715*c_1010_6^2 + 1704924624668717228984423729420547354842/38240195402129424962794190\ 1448936891543*c_1010_6 - 4782360275362351658641443087016565914767/1\ 912009770106471248139709507244684457715, c_0101_0 - 3525513149511104060009454703560434359745/3824019540212942496\ 27941901448936891543*c_1010_6^18 + 62276483218007031664220514804418742458574/3824019540212942496279419\ 01448936891543*c_1010_6^17 - 55826062547138046490593104414464698050\ 0673/382401954021294249627941901448936891543*c_1010_6^16 - 352088097427247177686830612808395084579566/382401954021294249627941\ 901448936891543*c_1010_6^15 + 1783858950299295919404545018483276380\ 20914/382401954021294249627941901448936891543*c_1010_6^14 + 219885251363621215646266103992299367288159/382401954021294249627941\ 901448936891543*c_1010_6^13 - 3304506211487282976494129322253626724\ 63655/382401954021294249627941901448936891543*c_1010_6^12 - 372711975309757068047030642086636271204061/382401954021294249627941\ 901448936891543*c_1010_6^11 + 3901586070879604624877940255963405406\ 51656/382401954021294249627941901448936891543*c_1010_6^10 + 3657060580982211215298290817682074479882/48405310635606867041511633\ 09480213817*c_1010_6^9 - 36072465712504069041203323725585086097988/\ 382401954021294249627941901448936891543*c_1010_6^8 + 149052026137076267239219366779780790482243/382401954021294249627941\ 901448936891543*c_1010_6^7 + 22491592707241615969090857405085231200\ 0688/382401954021294249627941901448936891543*c_1010_6^6 + 71086792014953307913296970755230129669783/3824019540212942496279419\ 01448936891543*c_1010_6^5 + 105529899876099702297838150277244401677\ 66/382401954021294249627941901448936891543*c_1010_6^4 + 19842392287337472878917362109943549477154/3824019540212942496279419\ 01448936891543*c_1010_6^3 + 737476214786123523238099841762695960238\ 8/382401954021294249627941901448936891543*c_1010_6^2 - 798850312805615948681045084810915933155/382401954021294249627941901\ 448936891543*c_1010_6 - 384938824276231670434738936675045377929/382\ 401954021294249627941901448936891543, c_0101_1 - 68675766801938278029503665382345779047879/191200977010647124\ 8139709507244684457715*c_1010_6^18 + 1198416038475086652364542708751331414731651/19120097701064712481397\ 09507244684457715*c_1010_6^17 - 21237817909309477207570356078921081\ 83818835/382401954021294249627941901448936891543*c_1010_6^16 - 9113444866644175457691921101886429228675589/19120097701064712481397\ 09507244684457715*c_1010_6^15 + 13064521246212554606704763909374134\ 46361142/1912009770106471248139709507244684457715*c_1010_6^14 + 5268439833556771301136563702658444249687508/19120097701064712481397\ 09507244684457715*c_1010_6^13 - 57971243382352506733881369386610892\ 55495006/1912009770106471248139709507244684457715*c_1010_6^12 - 8340167710493339715540541561856846869079146/19120097701064712481397\ 09507244684457715*c_1010_6^11 + 55552122705929604038110790259720714\ 15334967/1912009770106471248139709507244684457715*c_1010_6^10 + 18717839670334219124743572364116040163554/4840531063560686704151163\ 309480213817*c_1010_6^9 + 65642407272618903810178061267627258152596\ 2/1912009770106471248139709507244684457715*c_1010_6^8 + 540822152661282931962329905457311443164479/382401954021294249627941\ 901448936891543*c_1010_6^7 + 52057036281160152697235032423533295580\ 69098/1912009770106471248139709507244684457715*c_1010_6^6 + 2496401901716026639070707782864205380294171/19120097701064712481397\ 09507244684457715*c_1010_6^5 + 565115221444931543492136068216124671\ 924657/1912009770106471248139709507244684457715*c_1010_6^4 + 493254807553385109996947615939997029337363/191200977010647124813970\ 9507244684457715*c_1010_6^3 + 2729788159046708425577763395605594301\ 03923/1912009770106471248139709507244684457715*c_1010_6^2 + 3761419419759853467387349743144893898442/38240195402129424962794190\ 1448936891543*c_1010_6 - 11106927375092125402993016759473775412676/\ 1912009770106471248139709507244684457715, c_0101_10 - 645068668943656614168286700618829645844/3824019540212942496\ 27941901448936891543*c_1010_6^18 + 12463998231537046430273620338848239990289/3824019540212942496279419\ 01448936891543*c_1010_6^17 - 12179465641124071477343542709156439291\ 6777/382401954021294249627941901448936891543*c_1010_6^16 + 118830378467967233470947485224322055196100/382401954021294249627941\ 901448936891543*c_1010_6^15 + 9965181857259796579362053603400742844\ 160/382401954021294249627941901448936891543*c_1010_6^14 - 9959943465649802335860076865980879689685/38240195402129424962794190\ 1448936891543*c_1010_6^13 - 741501803589692078812874723357564654475\ 24/382401954021294249627941901448936891543*c_1010_6^12 + 57221048110109691167190902044888482305971/3824019540212942496279419\ 01448936891543*c_1010_6^11 + 91807468527641986856015062920594680394\ 260/382401954021294249627941901448936891543*c_1010_6^10 - 1203964834756444132696771725446281032008/48405310635606867041511633\ 09480213817*c_1010_6^9 + 15858668279423069910016885880610283338176/\ 382401954021294249627941901448936891543*c_1010_6^8 + 43592493732625321977556063813430926208946/3824019540212942496279419\ 01448936891543*c_1010_6^7 - 249289292340762975542428507361983736874\ 35/382401954021294249627941901448936891543*c_1010_6^6 - 18576555892301539873077813105910421212090/3824019540212942496279419\ 01448936891543*c_1010_6^5 + 437761697603654510142337700008615219380\ 7/382401954021294249627941901448936891543*c_1010_6^4 - 3963079710168067745980012628538930201653/38240195402129424962794190\ 1448936891543*c_1010_6^3 - 3830525505361911689024955347873840001109\ /382401954021294249627941901448936891543*c_1010_6^2 - 297977086506541163995104560341243930119/382401954021294249627941901\ 448936891543*c_1010_6 + 17003133945822006829551208933523303428/3824\ 01954021294249627941901448936891543, c_0101_12 + 57916937176550586275341268271876175495227/19120097701064712\ 48139709507244684457715*c_1010_6^18 - 1017879447216708089154447028423815702487753/19120097701064712481397\ 09507244684457715*c_1010_6^17 + 18168273907477415729224006137748636\ 94390194/382401954021294249627941901448936891543*c_1010_6^16 + 6517205136614953568516431486428759014721887/19120097701064712481397\ 09507244684457715*c_1010_6^15 - 15678473168495923160010571290953638\ 39152686/1912009770106471248139709507244684457715*c_1010_6^14 - 4144515624185987857321932588872580278352169/19120097701064712481397\ 09507244684457715*c_1010_6^13 + 53168173498503219248937743151116344\ 20751228/1912009770106471248139709507244684457715*c_1010_6^12 + 6243804457252389098659223746773405626587468/19120097701064712481397\ 09507244684457715*c_1010_6^11 - 52067044381724951622859752592459609\ 45509796/1912009770106471248139709507244684457715*c_1010_6^10 - 13832909935176855297114548888037392323625/4840531063560686704151163\ 309480213817*c_1010_6^9 - 11017787003532203182535763421459759160227\ 6/1912009770106471248139709507244684457715*c_1010_6^8 - 476142356962957154702663126296137617522704/382401954021294249627941\ 901448936891543*c_1010_6^7 - 40483392477865828002333891319267142163\ 75769/1912009770106471248139709507244684457715*c_1010_6^6 - 1697216290649204412412681356373970546617573/19120097701064712481397\ 09507244684457715*c_1010_6^5 - 388665379637995541768081817845958899\ 834561/1912009770106471248139709507244684457715*c_1010_6^4 - 382385481560403966044162662137027898053554/191200977010647124813970\ 9507244684457715*c_1010_6^3 - 1868414495511908613657592839924096277\ 67219/1912009770106471248139709507244684457715*c_1010_6^2 - 1299819293069328999964129602759337956309/38240195402129424962794190\ 1448936891543*c_1010_6 + 9162845781675909853045382571309281943593/1\ 912009770106471248139709507244684457715, c_0101_8 - 70769299791357391191667463388386238086228/191200977010647124\ 8139709507244684457715*c_1010_6^18 + 1247585011587081981590178993792621109259997/19120097701064712481397\ 09507244684457715*c_1010_6^17 - 22342732494510121842336888884605463\ 12433496/382401954021294249627941901448936891543*c_1010_6^16 - 7288933634456597894695533489490345578358153/19120097701064712481397\ 09507244684457715*c_1010_6^15 + 16647359391392561661738312660268160\ 94087244/1912009770106471248139709507244684457715*c_1010_6^14 + 4862996217820928961153175236115399305345661/19120097701064712481397\ 09507244684457715*c_1010_6^13 - 66293243739481034748353902293252137\ 49096177/1912009770106471248139709507244684457715*c_1010_6^12 - 7083365216663165197939637037742582530907707/19120097701064712481397\ 09507244684457715*c_1010_6^11 + 63114398272959550829389710202429138\ 22495084/1912009770106471248139709507244684457715*c_1010_6^10 + 15551136438363763537103302294674143818735/4840531063560686704151163\ 309480213817*c_1010_6^9 + 22620004241200226341467888993398492889082\ 4/1912009770106471248139709507244684457715*c_1010_6^8 + 605657695045157760191609309034763254422595/382401954021294249627941\ 901448936891543*c_1010_6^7 + 47507088437193074614973734325945677776\ 88346/1912009770106471248139709507244684457715*c_1010_6^6 + 2015552446993191630681363327145111996184762/19120097701064712481397\ 09507244684457715*c_1010_6^5 + 527372125047346643653207688797506010\ 409109/1912009770106471248139709507244684457715*c_1010_6^4 + 481925820417735152021256211687103622555976/191200977010647124813970\ 9507244684457715*c_1010_6^3 + 2221654234607127062116113011026154678\ 90391/1912009770106471248139709507244684457715*c_1010_6^2 + 3077909873981505279758401931711372957026/38240195402129424962794190\ 1448936891543*c_1010_6 - 7021164685058840090883083978291584912507/1\ 912009770106471248139709507244684457715, c_1001_3 + 76433489658385782057790416207093767950727/191200977010647124\ 8139709507244684457715*c_1010_6^18 - 1349346118638377223541964514242704383631488/19120097701064712481397\ 09507244684457715*c_1010_6^17 + 24199494850601747181286767048177849\ 75745388/382401954021294249627941901448936891543*c_1010_6^16 + 7558809174174869305324783598747261378164017/19120097701064712481397\ 09507244684457715*c_1010_6^15 - 18706711445941111801609896515876755\ 79190081/1912009770106471248139709507244684457715*c_1010_6^14 - 5379219431237580729872928639720538474831379/19120097701064712481397\ 09507244684457715*c_1010_6^13 + 73184570299312388886339815443117098\ 07764283/1912009770106471248139709507244684457715*c_1010_6^12 + 7447863076620801786356445375890010586152478/19120097701064712481397\ 09507244684457715*c_1010_6^11 - 68775519773288528200662757526288958\ 75502426/1912009770106471248139709507244684457715*c_1010_6^10 - 16671067612253604753771938568184393601722/4840531063560686704151163\ 309480213817*c_1010_6^9 - 13495231449144609774189918849457907840301\ 1/1912009770106471248139709507244684457715*c_1010_6^8 - 635779456875226549666846462217771830833605/382401954021294249627941\ 901448936891543*c_1010_6^7 - 50473713267991604984809734655936359116\ 45414/1912009770106471248139709507244684457715*c_1010_6^6 - 2081552522838400862299047277323699995934443/19120097701064712481397\ 09507244684457715*c_1010_6^5 - 492931202570029111451084027229152171\ 287326/1912009770106471248139709507244684457715*c_1010_6^4 - 484585459147774855208058992394124648144854/191200977010647124813970\ 9507244684457715*c_1010_6^3 - 2307911252071332694701516688923916666\ 51619/1912009770106471248139709507244684457715*c_1010_6^2 - 1723223677141641978332455088115480032178/38240195402129424962794190\ 1448936891543*c_1010_6 + 10193443995363234699825999105880212161478/\ 1912009770106471248139709507244684457715, c_1010_6^19 - 327/19*c_1010_6^18 + 2859/19*c_1010_6^17 + 3214/19*c_1010_6^16 + 352/19*c_1010_6^15 - 1515/19*c_1010_6^14 + 1228/19*c_1010_6^13 + 2657/19*c_1010_6^12 - 906/19*c_1010_6^11 - 2377/19*c_1010_6^10 - 747/19*c_1010_6^9 - 822/19*c_1010_6^8 - 1608/19*c_1010_6^7 - 1069/19*c_1010_6^6 - 358/19*c_1010_6^5 - 180/19*c_1010_6^4 - 111/19*c_1010_6^3 - 28/19*c_1010_6^2 + 1/19*c_1010_6 + 1/19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 257.400 Total time: 257.610 seconds, Total memory usage: 400.81MB