Magma V2.19-8 Tue Aug 20 2013 23:48:03 on localhost [Seed = 1545221661] Type ? for help. Type -D to quit. Loading file "K10n41__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10n41 geometric_solution 12.27123636 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 1302 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 2 0 -2 0 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.157986997975 0.922376363747 0 4 6 5 0132 0132 0132 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 -1 0 1 -2 0 -1 3 -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.866080612789 0.839491733887 0 0 4 7 2031 0132 0132 0132 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 1 0 1 0 0 -1 1 0 0 -1 2 1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.819595598994 1.053256011805 8 9 0 5 0132 0132 0132 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 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.640050376973 1.126230850475 5 1 10 2 0213 0132 0132 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 1 0 -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 0.837767131026 0.690574080181 4 11 1 3 0213 0132 0132 2103 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.308075507239 0.610817323777 8 9 10 1 3120 0321 0321 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 -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.441048346291 0.518625345326 12 11 2 9 0132 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 1 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422646514506 1.370433255027 3 11 10 6 0132 2310 2310 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 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.794504330999 0.666320645972 12 3 7 6 1023 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.441048346291 0.518625345326 12 8 6 4 2103 3201 0321 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 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.330834748280 0.537476534023 12 5 7 8 3201 0132 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.327179231725 0.455336362188 7 9 10 11 0132 1023 2103 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.169451101026 1.349315771324 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0101_11']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_11']), 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_1001_11']), 'c_1001_8' : negation(d['c_1001_4']), 'c_1010_12' : negation(d['c_0011_6']), 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : d['c_1001_4'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_10'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_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' : negation(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' : negation(d['1']), 's_0_5' : negation(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' : d['c_1001_6'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : d['c_1001_6'], 'c_1100_7' : d['c_1001_6'], 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : negation(d['c_0101_8']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_1001_6'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : d['c_1001_6'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_1001_11']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_11'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_1001_11']), 'c_1010_2' : negation(d['c_0101_11']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : negation(d['c_0011_6']), 's_3_1' : negation(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' : d['c_0011_11'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_12'], 'c_0011_8' : d['c_0011_12'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_12']), '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_12']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_6'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : negation(d['c_0101_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_11']), 'c_0101_6' : negation(d['c_0011_10']), 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : negation(d['c_0011_11']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : negation(d['c_0101_11']), 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0011_10'], 'c_1100_8' : d['c_0011_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_6, c_0101_1, c_0101_11, c_0101_2, c_0101_8, c_1001_1, c_1001_11, c_1001_4, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 200365919/32476*c_1001_6^11 + 689434101/32476*c_1001_6^10 + 6265696381/129904*c_1001_6^9 + 12106209181/129904*c_1001_6^8 + 21241957433/129904*c_1001_6^7 + 1170364543/5648*c_1001_6^6 + 26495737057/129904*c_1001_6^5 + 10453968745/64952*c_1001_6^4 + 13627866667/129904*c_1001_6^3 + 6715312207/129904*c_1001_6^2 + 95768939/5648*c_1001_6 + 350756683/129904, c_0011_0 - 1, c_0011_10 + 11728/353*c_1001_6^11 + 41444/353*c_1001_6^10 + 92904/353*c_1001_6^9 + 178803/353*c_1001_6^8 + 313335/353*c_1001_6^7 + 396755/353*c_1001_6^6 + 380193/353*c_1001_6^5 + 296442/353*c_1001_6^4 + 189654/353*c_1001_6^3 + 89799/353*c_1001_6^2 + 26801/353*c_1001_6 + 3412/353, c_0011_11 + 8104/353*c_1001_6^11 + 33204/353*c_1001_6^10 + 79082/353*c_1001_6^9 + 155267/353*c_1001_6^8 + 276705/353*c_1001_6^7 + 378169/353*c_1001_6^6 + 385858/353*c_1001_6^5 + 314511/353*c_1001_6^4 + 212819/353*c_1001_6^3 + 109967/353*c_1001_6^2 + 38147/353*c_1001_6 + 6363/353, c_0011_12 - 22464/353*c_1001_6^11 - 76624/353*c_1001_6^10 - 172820/353*c_1001_6^9 - 332968/353*c_1001_6^8 - 583155/353*c_1001_6^7 - 733003/353*c_1001_6^6 - 714037/353*c_1001_6^5 - 559332/353*c_1001_6^4 - 361719/353*c_1001_6^3 - 175858/353*c_1001_6^2 - 56135/353*c_1001_6 - 8690/353, c_0011_6 - 4196/353*c_1001_6^11 - 10884/353*c_1001_6^10 - 23207/353*c_1001_6^9 - 43513/353*c_1001_6^8 - 74240/353*c_1001_6^7 - 78178/353*c_1001_6^6 - 73266/353*c_1001_6^5 - 52918/353*c_1001_6^4 - 32487/353*c_1001_6^3 - 13434/353*c_1001_6^2 - 4062/353*c_1001_6 - 730/353, c_0101_1 + 4192/353*c_1001_6^11 + 18044/353*c_1001_6^10 + 44272/353*c_1001_6^9 + 87365/353*c_1001_6^8 + 156500/353*c_1001_6^7 + 218865/353*c_1001_6^6 + 228782/353*c_1001_6^5 + 187196/353*c_1001_6^4 + 128610/353*c_1001_6^3 + 68151/353*c_1001_6^2 + 24801/353*c_1001_6 + 4333/353, c_0101_11 - 22464/353*c_1001_6^11 - 76624/353*c_1001_6^10 - 172820/353*c_1001_6^9 - 332968/353*c_1001_6^8 - 583155/353*c_1001_6^7 - 733003/353*c_1001_6^6 - 714037/353*c_1001_6^5 - 559332/353*c_1001_6^4 - 361719/353*c_1001_6^3 - 175858/353*c_1001_6^2 - 56135/353*c_1001_6 - 8690/353, c_0101_2 - 3564/353*c_1001_6^11 - 15388/353*c_1001_6^10 - 36101/353*c_1001_6^9 - 70979/353*c_1001_6^8 - 126104/353*c_1001_6^7 - 173271/353*c_1001_6^6 - 172716/353*c_1001_6^5 - 140380/353*c_1001_6^4 - 91753/353*c_1001_6^3 - 47285/353*c_1001_6^2 - 15574/353*c_1001_6 - 2380/353, c_0101_8 - 10024/353*c_1001_6^11 - 34624/353*c_1001_6^10 - 77802/353*c_1001_6^9 - 149696/353*c_1001_6^8 - 262247/353*c_1001_6^7 - 330007/353*c_1001_6^6 - 318606/353*c_1001_6^5 - 248624/353*c_1001_6^4 - 160047/353*c_1001_6^3 - 76178/353*c_1001_6^2 - 23554/353*c_1001_6 - 3446/353, c_1001_1 + 12296/353*c_1001_6^11 + 39952/353*c_1001_6^10 + 89466/353*c_1001_6^9 + 172032/353*c_1001_6^8 + 300477/353*c_1001_6^7 + 369702/353*c_1001_6^6 + 360480/353*c_1001_6^5 + 282141/353*c_1001_6^4 + 182579/353*c_1001_6^3 + 88103/353*c_1001_6^2 + 28707/353*c_1001_6 + 4695/353, c_1001_11 - 11728/353*c_1001_6^11 - 41444/353*c_1001_6^10 - 92904/353*c_1001_6^9 - 178803/353*c_1001_6^8 - 313335/353*c_1001_6^7 - 396755/353*c_1001_6^6 - 380193/353*c_1001_6^5 - 296442/353*c_1001_6^4 - 189654/353*c_1001_6^3 - 89799/353*c_1001_6^2 - 26448/353*c_1001_6 - 3412/353, c_1001_4 - 10024/353*c_1001_6^11 - 34624/353*c_1001_6^10 - 77802/353*c_1001_6^9 - 149696/353*c_1001_6^8 - 262247/353*c_1001_6^7 - 330007/353*c_1001_6^6 - 318606/353*c_1001_6^5 - 248624/353*c_1001_6^4 - 160047/353*c_1001_6^3 - 76178/353*c_1001_6^2 - 23554/353*c_1001_6 - 3446/353, c_1001_6^12 + 4*c_1001_6^11 + 39/4*c_1001_6^10 + 39/2*c_1001_6^9 + 35*c_1001_6^8 + 97/2*c_1001_6^7 + 52*c_1001_6^6 + 179/4*c_1001_6^5 + 127/4*c_1001_6^4 + 18*c_1001_6^3 + 15/2*c_1001_6^2 + 2*c_1001_6 + 1/4 ], 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_6, c_0101_1, c_0101_11, c_0101_2, c_0101_8, c_1001_1, c_1001_11, c_1001_4, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 271866685771566085461215537827/3291287248885731765593772482381*c_10\ 01_6^15 - 1762464379814298263572420875663/3291287248885731765593772\ 482381*c_1001_6^14 - 7629666025151922522280998381837/32912872488857\ 31765593772482381*c_1001_6^13 - 20707237097580590206963995431665/32\ 91287248885731765593772482381*c_1001_6^12 - 53874227119599510823423863877787/3291287248885731765593772482381*c_\ 1001_6^11 - 120345156356876996317611431406063/329128724888573176559\ 3772482381*c_1001_6^10 - 299609296799585950704931261752622/32912872\ 48885731765593772482381*c_1001_6^9 - 670273372923040648331251086613261/3291287248885731765593772482381*c\ _1001_6^8 - 1208651937113286285055395863797350/32912872488857317655\ 93772482381*c_1001_6^7 - 150974360223173845580079653511553/29920793\ 1716884705963070225671*c_1001_6^6 - 1615480451938647069520046430515490/3291287248885731765593772482381*\ c_1001_6^5 - 980536827265749240385108364599679/32912872488857317655\ 93772482381*c_1001_6^4 - 177975329417075209053814869950209/32912872\ 48885731765593772482381*c_1001_6^3 + 335080831106864581526303243793886/3291287248885731765593772482381*c\ _1001_6^2 + 374772237925024254351466926777224/329128724888573176559\ 3772482381*c_1001_6 + 194079477067582798225701223930243/32912872488\ 85731765593772482381, c_0011_0 - 1, c_0011_10 - 640785130207840963564/294101264309331763523704091*c_1001_6^\ 15 - 423599626473399297175819/294101264309331763523704091*c_1001_6^\ 14 - 2481667388882232587359412/294101264309331763523704091*c_1001_6\ ^13 - 10111955532401236677948987/294101264309331763523704091*c_1001\ _6^12 - 24943151618779907988188093/294101264309331763523704091*c_10\ 01_6^11 - 64588146382046666661030129/294101264309331763523704091*c_\ 1001_6^10 - 140157359810677273462757864/294101264309331763523704091\ *c_1001_6^9 - 360751525914104634188405428/2941012643093317635237040\ 91*c_1001_6^8 - 784913809013169109713165691/29410126430933176352370\ 4091*c_1001_6^7 - 117634011804791955816265404/267364785735756148657\ 91281*c_1001_6^6 - 1582415734525334339923730546/2941012643093317635\ 23704091*c_1001_6^5 - 1334922757155972891974251243/2941012643093317\ 63523704091*c_1001_6^4 - 620576675565503759359090577/29410126430933\ 1763523704091*c_1001_6^3 - 250081156802270659619952295/294101264309\ 331763523704091*c_1001_6^2 + 146391951424027703900124180/2941012643\ 09331763523704091*c_1001_6 + 12414789779553514279388201/15479013911\ 017461238089689, c_0011_11 - 78649821809389534822790/294101264309331763523704091*c_1001_\ 6^15 - 641695353618556821093539/294101264309331763523704091*c_1001_\ 6^14 - 2290548052062733717076041/294101264309331763523704091*c_1001\ _6^13 - 5924416880281847609842792/294101264309331763523704091*c_100\ 1_6^12 - 11198952083420613994416709/294101264309331763523704091*c_1\ 001_6^11 - 31297840247672591313487584/294101264309331763523704091*c\ _1001_6^10 - 62302232183386539941236003/294101264309331763523704091\ *c_1001_6^9 - 176236071277465141513216172/2941012643093317635237040\ 91*c_1001_6^8 - 208223353801401075740595578/29410126430933176352370\ 4091*c_1001_6^7 - 14248795489563528295725926/2673647857357561486579\ 1281*c_1001_6^6 + 2496285091249453917493364/29410126430933176352370\ 4091*c_1001_6^5 + 229844294139967258007057509/294101264309331763523\ 704091*c_1001_6^4 + 157818362514937948358141702/2941012643093317635\ 23704091*c_1001_6^3 + 224646664927648591690163242/29410126430933176\ 3523704091*c_1001_6^2 + 239751906537527734674235086/294101264309331\ 763523704091*c_1001_6 - 464500469910609343001343/154790139110174612\ 38089689, c_0011_12 - 391196083153340508313704/294101264309331763523704091*c_1001\ _6^15 - 1286531498526249269200381/294101264309331763523704091*c_100\ 1_6^14 - 3970306959944035881547889/294101264309331763523704091*c_10\ 01_6^13 - 963313591513357617622795/294101264309331763523704091*c_10\ 01_6^12 - 7871621763564851445529082/294101264309331763523704091*c_1\ 001_6^11 + 12336858038575438113800012/294101264309331763523704091*c\ _1001_6^10 - 41245514509675654164413564/294101264309331763523704091\ *c_1001_6^9 + 65158119611133695536901406/29410126430933176352370409\ 1*c_1001_6^8 + 436683643797244764015634326/294101264309331763523704\ 091*c_1001_6^7 + 111571131931320866806315750/2673647857357561486579\ 1281*c_1001_6^6 + 2122833693882089014544848164/29410126430933176352\ 3704091*c_1001_6^5 + 2109262749213421771472144717/29410126430933176\ 3523704091*c_1001_6^4 + 1239694558668201803425364504/29410126430933\ 1763523704091*c_1001_6^3 + 225797674982771442188222421/294101264309\ 331763523704091*c_1001_6^2 - 551502666718410149617478004/2941012643\ 09331763523704091*c_1001_6 - 9113458465637092747618332/154790139110\ 17461238089689, c_0011_6 - 496724738549044581707375/294101264309331763523704091*c_1001_\ 6^15 - 2504593807666852328018364/294101264309331763523704091*c_1001\ _6^14 - 9390276361067527725123575/294101264309331763523704091*c_100\ 1_6^13 - 18986383710385653983848133/294101264309331763523704091*c_1\ 001_6^12 - 49766817397968904487919862/294101264309331763523704091*c\ _1001_6^11 - 96953334900656871302064968/294101264309331763523704091\ *c_1001_6^10 - 273199275877383698501953461/294101264309331763523704\ 091*c_1001_6^9 - 540228288328659212924018958/2941012643093317635237\ 04091*c_1001_6^8 - 680581024186199135191398751/29410126430933176352\ 3704091*c_1001_6^7 - 39434882488854146296455506/2673647857357561486\ 5791281*c_1001_6^6 + 254738018160822779455722780/294101264309331763\ 523704091*c_1001_6^5 + 1040142300512702885009699085/294101264309331\ 763523704091*c_1001_6^4 + 860939519543076022398231886/2941012643093\ 31763523704091*c_1001_6^3 + 509105211715094373271048735/29410126430\ 9331763523704091*c_1001_6^2 - 44224832281685859899913633/2941012643\ 09331763523704091*c_1001_6 - 12810181745711552983482598/15479013911\ 017461238089689, c_0101_1 + 541838564631112856229/1407183082819769203462699*c_1001_6^15 + 2222973440420671291683/1407183082819769203462699*c_1001_6^14 + 6378024447182412188613/1407183082819769203462699*c_1001_6^13 + 2784973147514284356610/1407183082819769203462699*c_1001_6^12 - 1333277251723845896451/1407183082819769203462699*c_1001_6^11 - 42308628230702117776549/1407183082819769203462699*c_1001_6^10 - 51842670917003688231435/1407183082819769203462699*c_1001_6^9 - 235404162493736234105107/1407183082819769203462699*c_1001_6^8 - 1181337258661083450416256/1407183082819769203462699*c_1001_6^7 - 3281304807345577709099380/1407183082819769203462699*c_1001_6^6 - 6194099157351200725021140/1407183082819769203462699*c_1001_6^5 - 8155679541350551576414744/1407183082819769203462699*c_1001_6^4 - 5910630461266761634818072/1407183082819769203462699*c_1001_6^3 - 2353456434089496498274691/1407183082819769203462699*c_1001_6^2 + 1106047978244764149781743/1407183082819769203462699*c_1001_6 + 848717128883215026173530/1407183082819769203462699, c_0101_11 + 32199411938130179979988/26736478573575614865791281*c_1001_6\ ^15 + 185268699296105106161860/26736478573575614865791281*c_1001_6^\ 14 + 785868127309203439371700/26736478573575614865791281*c_1001_6^1\ 3 + 1974466147726617187512443/26736478573575614865791281*c_1001_6^1\ 2 + 5281345025177955260660953/26736478573575614865791281*c_1001_6^1\ 1 + 11134983225347760019867748/26736478573575614865791281*c_1001_6^\ 10 + 29135498120009512754584774/26736478573575614865791281*c_1001_6\ ^9 + 62146100470428201263777968/26736478573575614865791281*c_1001_6\ ^8 + 107663754578634557708624807/26736478573575614865791281*c_1001_\ 6^7 + 140708996961139177463370272/26736478573575614865791281*c_1001\ _6^6 + 114403083143184447690210980/26736478573575614865791281*c_100\ 1_6^5 + 56111491505783017417995907/26736478573575614865791281*c_100\ 1_6^4 - 17622494333063744486323287/26736478573575614865791281*c_100\ 1_6^3 - 45990141692942917722646159/26736478573575614865791281*c_100\ 1_6^2 - 15932010553006605358278759/26736478573575614865791281*c_100\ 1_6 - 263749761784390790704242/1407183082819769203462699, c_0101_2 + 487329486614002379707880/294101264309331763523704091*c_1001_\ 6^15 + 1897247079963698478784592/294101264309331763523704091*c_1001\ _6^14 + 6516964442487351101149953/294101264309331763523704091*c_100\ 1_6^13 + 8866154972602867348850077/294101264309331763523704091*c_10\ 01_6^12 + 30497455196760592873173895/294101264309331763523704091*c_\ 1001_6^11 + 46955369485665628729240412/294101264309331763523704091*\ c_1001_6^10 + 175498465309873566234342455/2941012643093317635237040\ 91*c_1001_6^9 + 263040534854251741109945870/29410126430933176352370\ 4091*c_1001_6^8 + 139678303051868729339953265/294101264309331763523\ 704091*c_1001_6^7 - 9430993850472669469641539/267364785735756148657\ 91281*c_1001_6^6 - 501087702625586187860446846/29410126430933176352\ 3704091*c_1001_6^5 - 361721068135776451441668088/294101264309331763\ 523704091*c_1001_6^4 + 78390689173263652851337046/29410126430933176\ 3523704091*c_1001_6^3 - 216556666155701628031183958/294101264309331\ 763523704091*c_1001_6^2 + 96800114744158960476526506/29410126430933\ 1763523704091*c_1001_6 - 2343679724547850063683387/1547901391101746\ 1238089689, c_0101_8 - 832286737096599085568516/294101264309331763523704091*c_1001_\ 6^15 - 4258609311356641043503640/294101264309331763523704091*c_1001\ _6^14 - 17128826253152822128606162/294101264309331763523704091*c_10\ 01_6^13 - 37905340225647646703553222/294101264309331763523704091*c_\ 1001_6^12 - 104805866209289475007296400/294101264309331763523704091\ *c_1001_6^11 - 207695185490335534864468426/294101264309331763523704\ 091*c_1001_6^10 - 586909011104743808866243448/294101264309331763523\ 704091*c_1001_6^9 - 1164972421117775070134742467/294101264309331763\ 523704091*c_1001_6^8 - 1856705762982269794476429514/294101264309331\ 763523704091*c_1001_6^7 - 187451426717557035473361848/2673647857357\ 5614865791281*c_1001_6^6 - 1409617266198820540207294864/29410126430\ 9331763523704091*c_1001_6^5 - 550516482186159794941701268/294101264\ 309331763523704091*c_1001_6^4 - 81823566884564969760595778/29410126\ 4309331763523704091*c_1001_6^3 + 227391707146405942722143482/294101\ 264309331763523704091*c_1001_6^2 + 83969632145543144007945282/294101264309331763523704091*c_1001_6 + 15227502069863220637845434/15479013911017461238089689, c_1001_1 + 560357411187570366714633/294101264309331763523704091*c_1001_\ 6^15 + 1976512063277726307467815/294101264309331763523704091*c_1001\ _6^14 + 6888289826427502188645991/294101264309331763523704091*c_100\ 1_6^13 + 7865694728042014822864630/294101264309331763523704091*c_10\ 01_6^12 + 33068139419807828482637638/294101264309331763523704091*c_\ 1001_6^11 + 41789510763176017174289045/294101264309331763523704091*\ c_1001_6^10 + 194800004348576102638509812/2941012643093317635237040\ 91*c_1001_6^9 + 236259476691361553215023125/29410126430933176352370\ 4091*c_1001_6^8 + 127273886501703890613311238/294101264309331763523\ 704091*c_1001_6^7 - 13238422561799490038210798/26736478573575614865\ 791281*c_1001_6^6 - 430340086936806184802242804/2941012643093317635\ 23704091*c_1001_6^5 - 68601450861456016541647171/294101264309331763\ 523704091*c_1001_6^4 + 579689840090839546549492969/2941012643093317\ 63523704091*c_1001_6^3 + 281000064812149860534923011/29410126430933\ 1763523704091*c_1001_6^2 + 320839987012513265347705636/294101264309\ 331763523704091*c_1001_6 - 10851690869607725267553942/1547901391101\ 7461238089689, c_1001_11 - 3611115967153248127965/1407183082819769203462699*c_1001_6^1\ 5 - 17051660388440247923292/1407183082819769203462699*c_1001_6^14 - 65568526377120713626422/1407183082819769203462699*c_1001_6^13 - 131063261457659062458499/1407183082819769203462699*c_1001_6^12 - 373560757672279232376075/1407183082819769203462699*c_1001_6^11 - 705321476873839635242310/1407183082819769203462699*c_1001_6^10 - 2087188257691301305910871/1407183082819769203462699*c_1001_6^9 - 3951989680721577992338254/1407183082819769203462699*c_1001_6^8 - 5471959397520873455958402/1407183082819769203462699*c_1001_6^7 - 5261114397046989747813549/1407183082819769203462699*c_1001_6^6 - 1772615834292880238049498/1407183082819769203462699*c_1001_6^5 + 893716814040633507355200/1407183082819769203462699*c_1001_6^4 + 1239690532054896898102488/1407183082819769203462699*c_1001_6^3 + 1677547503453813961352853/1407183082819769203462699*c_1001_6^2 - 647644252878712013137212/1407183082819769203462699*c_1001_6 + 410950855308412372289016/1407183082819769203462699, c_1001_4 + 1151765187648874245420183/294101264309331763523704091*c_1001\ _6^15 + 6813990378298767559622855/294101264309331763523704091*c_100\ 1_6^14 + 27976494080934140624862803/294101264309331763523704091*c_1\ 001_6^13 + 69092830055167475174003096/294101264309331763523704091*c\ _1001_6^12 + 177978746520873810531643772/29410126430933176352370409\ 1*c_1001_6^11 + 383163104649251283843549826/29410126430933176352370\ 4091*c_1001_6^10 + 987509432945281994538251143/29410126430933176352\ 3704091*c_1001_6^9 + 2145956454387589153226402782/29410126430933176\ 3523704091*c_1001_6^8 + 3551063587622673773578444014/29410126430933\ 1763523704091*c_1001_6^7 + 388015158924480906404443231/267364785735\ 75614865791281*c_1001_6^6 + 3284304578285261392933225695/2941012643\ 09331763523704091*c_1001_6^5 + 1182007096585892567349431266/2941012\ 64309331763523704091*c_1001_6^4 - 184588824947176816653749445/29410\ 1264309331763523704091*c_1001_6^3 - 691137385330546014252382967/294101264309331763523704091*c_1001_6^2 - 462538164675184440821710577/294101264309331763523704091*c_1001_6 - 1015653817546466434685280/15479013911017461238089689, c_1001_6^16 + 6*c_1001_6^15 + 25*c_1001_6^14 + 63*c_1001_6^13 + 163*c_1001_6^12 + 351*c_1001_6^11 + 899*c_1001_6^10 + 1956*c_1001_6^9 + 3315*c_1001_6^8 + 4089*c_1001_6^7 + 3214*c_1001_6^6 + 1017*c_1001_6^5 - 839*c_1001_6^4 - 1410*c_1001_6^3 - 727*c_1001_6^2 - 21*c_1001_6 + 361 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.150 Total time: 2.359 seconds, Total memory usage: 64.12MB