Magma V2.19-8 Wed Aug 21 2013 00:34:14 on localhost [Seed = 1864990236] Type ? for help. Type -D to quit. Loading file "K14n21152__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n21152 geometric_solution 12.11434990 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 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 1 0 -1 0 0 -1 1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.408779900987 0.792667661516 0 0 4 4 0132 2310 2310 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 4 -4 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.336585932602 1.529955857305 5 0 7 6 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 -1 0 1 0 0 3 -3 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.412696065184 0.825942021941 6 7 5 0 0132 0132 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 0 0 -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.412696065184 0.825942021941 8 1 1 9 0132 3201 0132 0132 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 0 0 0 -4 0 4 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.174586885996 0.369391149120 2 3 8 9 0132 3201 0132 3201 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 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.376028688345 0.620917852646 3 10 2 11 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 -1 1 1 0 3 -4 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.447956391565 0.837763966202 11 3 10 2 1023 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 0 0 0 3 0 0 -3 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.447956391565 0.837763966202 4 11 12 5 0132 3012 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 4 0 0 -4 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.108121100284 1.776845952621 12 5 4 11 0132 2310 0132 2103 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 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.108121100284 1.776845952621 12 6 12 7 1302 0132 3120 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.468427005565 1.080304356885 8 7 6 9 1230 1023 0132 2103 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 -3 -1 4 -4 0 4 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.805253046517 0.682635234731 9 10 10 8 0132 2031 3120 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.301453304341 0.536065766255 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_7'], 'c_1001_10' : d['c_0101_7'], 'c_1001_12' : negation(d['c_0101_7']), 'c_1001_5' : negation(d['c_0101_11']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : negation(d['c_1001_1']), 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : d['c_0101_2'], 'c_1010_10' : d['c_1001_0'], 's_0_10' : d['1'], 's_3_10' : 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_11'], 'c_0101_10' : negation(d['c_0011_12']), 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_12'], 'c_1100_4' : d['c_0011_4'], 'c_1100_7' : negation(d['c_0101_12']), 'c_1100_6' : negation(d['c_0101_12']), 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0101_12']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_4'], 'c_1100_11' : negation(d['c_0101_12']), 'c_1100_10' : negation(d['c_0101_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_1']), 'c_1010_6' : d['c_0101_7'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_1']), '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_1001_1']), 'c_1010_9' : negation(d['c_0101_2']), 'c_1010_8' : negation(d['c_0101_11']), 'c_1100_8' : d['c_0011_12'], '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']), 'c_1100_12' : d['c_0011_12'], '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_4']), 'c_0110_10' : d['c_0101_7'], 'c_0110_12' : d['c_0101_8'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], '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' : d['c_0101_12'], 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_11']})} 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_4, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_2, c_0101_7, c_0101_8, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t - 128/33*c_1001_1^3 + 256/33*c_1001_1^2 - 128/33*c_1001_1 + 32/33, c_0011_0 - 1, c_0011_10 + c_1001_1 - 1, c_0011_12 - 2*c_1001_1^3 + 4*c_1001_1^2 - 2*c_1001_1 - 2, c_0011_4 - 1, c_0101_0 + 2*c_1001_1^3 - 4*c_1001_1^2 + c_1001_1 + 2, c_0101_1 + 2*c_1001_1^3 - 4*c_1001_1^2 + 2*c_1001_1 + 1, c_0101_11 + 2*c_1001_1^3 - 6*c_1001_1^2 + 4*c_1001_1 + 2, c_0101_12 - 2*c_1001_1^3 + 4*c_1001_1^2 - c_1001_1 - 1, c_0101_2 - 2*c_1001_1^3 + 6*c_1001_1^2 - 4*c_1001_1 - 1, c_0101_7 + 1, c_0101_8 + 2*c_1001_1^3 - 4*c_1001_1^2 + 2*c_1001_1 + 1, c_1001_0 - 2*c_1001_1^3 + 4*c_1001_1^2 - 2*c_1001_1 - 1, c_1001_1^4 - 2*c_1001_1^3 + 1/2*c_1001_1^2 + c_1001_1 + 1/4 ], 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_4, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_2, c_0101_7, c_0101_8, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 240/2023*c_1001_1^6 + 352/2023*c_1001_1^5 + 704/2023*c_1001_1^4 + 48/119*c_1001_1^3 + 1056/2023*c_1001_1^2 + 2192/2023*c_1001_1 - 72/119, c_0011_0 - 1, c_0011_10 - c_1001_1 - 1, c_0011_12 + 4/17*c_1001_1^6 + 10/17*c_1001_1^5 + 20/17*c_1001_1^4 + 2*c_1001_1^3 + 30/17*c_1001_1^2 + 19/17*c_1001_1, c_0011_4 + 8/17*c_1001_1^7 + 12/17*c_1001_1^6 + 20/17*c_1001_1^5 + 28/17*c_1001_1^4 + 26/17*c_1001_1^3 + 12/17*c_1001_1^2 + 30/17*c_1001_1 + 1, c_0101_0 + 8/17*c_1001_1^7 + 16/17*c_1001_1^6 + 30/17*c_1001_1^5 + 48/17*c_1001_1^4 + 60/17*c_1001_1^3 + 42/17*c_1001_1^2 + 32/17*c_1001_1, c_0101_1 - 16/17*c_1001_1^7 - 48/17*c_1001_1^6 - 66/17*c_1001_1^5 - 108/17*c_1001_1^4 - 154/17*c_1001_1^3 - 6*c_1001_1^2 - 55/17*c_1001_1 - 5, c_0101_11 - 4/17*c_1001_1^7 - 24/17*c_1001_1^6 - 38/17*c_1001_1^5 - 70/17*c_1001_1^4 - 98/17*c_1001_1^3 - 90/17*c_1001_1^2 - 41/17*c_1001_1 - 3, c_0101_12 + 8/17*c_1001_1^7 + 16/17*c_1001_1^6 + 30/17*c_1001_1^5 + 48/17*c_1001_1^4 + 60/17*c_1001_1^3 + 42/17*c_1001_1^2 + 32/17*c_1001_1 + 1, c_0101_2 - 4/17*c_1001_1^7 - 8/17*c_1001_1^6 + 2/17*c_1001_1^5 + 10/17*c_1001_1^4 + 4/17*c_1001_1^3 + 30/17*c_1001_1^2 + 35/17*c_1001_1, c_0101_7 - 1, c_0101_8 + 4/17*c_1001_1^6 + 10/17*c_1001_1^5 + 20/17*c_1001_1^4 + 2*c_1001_1^3 + 30/17*c_1001_1^2 + 19/17*c_1001_1 + 1, c_1001_0 + 4/17*c_1001_1^6 + 10/17*c_1001_1^5 + 20/17*c_1001_1^4 + 2*c_1001_1^3 + 30/17*c_1001_1^2 + 19/17*c_1001_1 + 1, c_1001_1^8 + 4*c_1001_1^7 + 8*c_1001_1^6 + 12*c_1001_1^5 + 33/2*c_1001_1^4 + 16*c_1001_1^3 + 10*c_1001_1^2 + 6*c_1001_1 + 17/4 ], 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_4, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_2, c_0101_7, c_0101_8, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 49640323505551839431138013238477900597002863318006800/4026616415949\ 2374315904450940693273397984345450467*c_1001_1^18 + 16699955384838467119648622147099995329015678751498987/1964203129731\ 335332483143948326501141365090021974*c_1001_1^17 - 322587321280076751474726906038636528769565783612677266/134220547198\ 30791438634816980231091132661448483489*c_1001_1^16 + 3246307445411065004886999752212886759502865221250474795/80532328318\ 984748631808901881386546795968690900934*c_1001_1^15 - 4241940667318697844535356190737092917240313305412187755/80532328318\ 984748631808901881386546795968690900934*c_1001_1^14 + 2134773735091347995030859746750030890146741198072067841/40266164159\ 492374315904450940693273397984345450467*c_1001_1^13 - 3409452721360521493847608400344940543996138801665305103/80532328318\ 984748631808901881386546795968690900934*c_1001_1^12 + 1197063872826318109486515854909550284780681548946496457/26844109439\ 661582877269633960462182265322896966978*c_1001_1^11 - 3129617197072890801601488104522019444768178755691785911/80532328318\ 984748631808901881386546795968690900934*c_1001_1^10 + 2272653016557689227491783770906900484871063198349747303/80532328318\ 984748631808901881386546795968690900934*c_1001_1^9 - 18846011852067725898898143229784298963488857050290038/1342205471983\ 0791438634816980231091132661448483489*c_1001_1^8 + 74407855920904396934045740384634692858337247603093619/8053232831898\ 4748631808901881386546795968690900934*c_1001_1^7 - 2647923474687720177844203445533323122502539794921022519/80532328318\ 984748631808901881386546795968690900934*c_1001_1^6 - 723019141892097201561892714917775555056613867657600480/402661641594\ 92374315904450940693273397984345450467*c_1001_1^5 - 607685450405987301873839493836333038650209130852503765/402661641594\ 92374315904450940693273397984345450467*c_1001_1^4 - 786300853669857882908446681652425288520560984292485/263177543526093\ 949777153274122178257503165656539*c_1001_1^3 - 197486270110276527391954906366171259937883552270377659/805323283189\ 84748631808901881386546795968690900934*c_1001_1^2 + 52320185291732947678632688918428873424696153395493745/4026616415949\ 2374315904450940693273397984345450467*c_1001_1 - 17437261095794260785165046592892006163468392138726929/8053232831898\ 4748631808901881386546795968690900934, c_0011_0 - 1, c_0011_10 - 571533741277521732869859407600/1226624998861498555805731914\ 23*c_1001_1^18 + 3162614923562129868804976113222/122662499886149855\ 580573191423*c_1001_1^17 - 7111303005385635300475926873095/12266249\ 9886149855580573191423*c_1001_1^16 + 10607624831942151447321856954863/122662499886149855580573191423*c_1\ 001_1^15 - 13628025898773299864695109013948/12266249988614985558057\ 3191423*c_1001_1^14 + 11053537057296034988372003587861/122662499886\ 149855580573191423*c_1001_1^13 - 10356628343138783780802541577748/1\ 22662499886149855580573191423*c_1001_1^12 + 10602690785810436155758438607298/122662499886149855580573191423*c_1\ 001_1^11 - 6347714896882909855482338753115/122662499886149855580573\ 191423*c_1001_1^10 + 8217207964940326690291503761361/12266249988614\ 9855580573191423*c_1001_1^9 + 8430578507694829305493422853321/12266\ 2499886149855580573191423*c_1001_1^8 + 14090601555763538492936232711618/122662499886149855580573191423*c_1\ 001_1^7 + 8435313536135248391746497879332/1226624998861498555805731\ 91423*c_1001_1^6 + 7411341070078836851653449960899/1226624998861498\ 55580573191423*c_1001_1^5 + 2771396345321638032364579054390/1226624\ 99886149855580573191423*c_1001_1^4 + 1529544960981244298533965437972/122662499886149855580573191423*c_10\ 01_1^3 - 162463368940817410109382845304/122662499886149855580573191\ 423*c_1001_1^2 + 59528720029361689717613565099/12266249988614985558\ 0573191423*c_1001_1 - 145823261883305552050930557068/12266249988614\ 9855580573191423, c_0011_12 + 829172768729561624401082359600/1226624998861498555805731914\ 23*c_1001_1^18 - 4471395209765311810525903208437/122662499886149855\ 580573191423*c_1001_1^17 + 9775427812321068489769114478358/12266249\ 9886149855580573191423*c_1001_1^16 - 14509154752586141859765960689301/122662499886149855580573191423*c_1\ 001_1^15 + 18888500113415743848670894642226/12266249988614985558057\ 3191423*c_1001_1^14 - 15236998608867991515627913108200/122662499886\ 149855580573191423*c_1001_1^13 + 15471203470145202979991318638738/1\ 22662499886149855580573191423*c_1001_1^12 - 15692677760039821940696084581255/122662499886149855580573191423*c_1\ 001_1^11 + 9614351890683513186117438175625/122662499886149855580573\ 191423*c_1001_1^10 - 13288722913391609183354113699955/1226624998861\ 49855580573191423*c_1001_1^9 - 11998404080092070191564687686752/122\ 662499886149855580573191423*c_1001_1^8 - 24546356783145538172196848014763/122662499886149855580573191423*c_1\ 001_1^7 - 16046112379640677579268945224169/122662499886149855580573\ 191423*c_1001_1^6 - 15800633599312045049480127429272/12266249988614\ 9855580573191423*c_1001_1^5 - 7500943480607320489268450630733/12266\ 2499886149855580573191423*c_1001_1^4 - 4721192998035590083191604312648/122662499886149855580573191423*c_10\ 01_1^3 - 870025304783574399255529390235/122662499886149855580573191\ 423*c_1001_1^2 - 523778168002843383492936245992/1226624998861498555\ 80573191423*c_1001_1 + 119809748685191844121751237340/1226624998861\ 49855580573191423, c_0011_4 - 700802491084970058085403193775/12266249988614985558057319142\ 3*c_1001_1^18 + 4108656125008189577792222783043/1226624998861498555\ 80573191423*c_1001_1^17 - 10158059924121345337174633032838/12266249\ 9886149855580573191423*c_1001_1^16 + 16771578496003384914346759898843/122662499886149855580573191423*c_1\ 001_1^15 - 23021994627145546247128244817145/12266249988614985558057\ 3191423*c_1001_1^14 + 22173709003974522417154836631349/122662499886\ 149855580573191423*c_1001_1^13 - 21309236506307331220423534015187/1\ 22662499886149855580573191423*c_1001_1^12 + 20742789429976070513414229915169/122662499886149855580573191423*c_1\ 001_1^11 - 15513315657835212887376456640099/12266249988614985558057\ 3191423*c_1001_1^10 + 16066981208562345633878457885132/122662499886\ 149855580573191423*c_1001_1^9 + 4856320678308251990550499546214/122\ 662499886149855580573191423*c_1001_1^8 + 16713680902460494303961653618922/122662499886149855580573191423*c_1\ 001_1^7 + 6582517737710896092239974559939/1226624998861498555805731\ 91423*c_1001_1^6 + 10098042185840253913308832843200/122662499886149\ 855580573191423*c_1001_1^5 + 2926300787065507835761579553630/122662\ 499886149855580573191423*c_1001_1^4 + 3175697811486051821585659531952/122662499886149855580573191423*c_10\ 01_1^3 - 161046073778527250725643011954/122662499886149855580573191\ 423*c_1001_1^2 + 565955540133258327874306792393/1226624998861498555\ 80573191423*c_1001_1 - 131502858247940537430323601881/1226624998861\ 49855580573191423, c_0101_0 + c_1001_1, c_0101_1 + 776464941301289645811598437450/12266249988614985558057319142\ 3*c_1001_1^18 - 4304721546069331009834440581689/1226624998861498555\ 80573191423*c_1001_1^17 + 9602823885274515978430870685292/122662499\ 886149855580573191423*c_1001_1^16 - 13851281633762697930356486920451/122662499886149855580573191423*c_1\ 001_1^15 + 16929226490041907810660672425938/12266249988614985558057\ 3191423*c_1001_1^14 - 12459423544100278602420823651285/122662499886\ 149855580573191423*c_1001_1^13 + 10849684809225671355414083206091/1\ 22662499886149855580573191423*c_1001_1^12 - 11689084320449987578430582442431/122662499886149855580573191423*c_1\ 001_1^11 + 6875064218300104298837662498565/122662499886149855580573\ 191423*c_1001_1^10 - 9327695197349810852762191539306/12266249988614\ 9855580573191423*c_1001_1^9 - 12852815188181091982860170833680/1226\ 62499886149855580573191423*c_1001_1^8 - 17631503870689894663994042016488/122662499886149855580573191423*c_1\ 001_1^7 - 10341757053187097730545499081203/122662499886149855580573\ 191423*c_1001_1^6 - 9328232772030315715956839515862/122662499886149\ 855580573191423*c_1001_1^5 - 4930487277692686795807141241268/122662\ 499886149855580573191423*c_1001_1^4 - 2454178804727343506438911442368/122662499886149855580573191423*c_10\ 01_1^3 - 451753561585882543884323198596/122662499886149855580573191\ 423*c_1001_1^2 - 436553317295643620731000799765/1226624998861498555\ 80573191423*c_1001_1 + 11249253247422453567259796468/12266249988614\ 9855580573191423, c_0101_11 + 173252432917345932850358369225/1226624998861498555805731914\ 23*c_1001_1^18 - 913851151259157734984433041942/1226624998861498555\ 80573191423*c_1001_1^17 + 2034579938106531003939491777367/122662499\ 886149855580573191423*c_1001_1^16 - 3335712891123789329707414171754/122662499886149855580573191423*c_10\ 01_1^15 + 4726654202171485872053792780815/1226624998861498555805731\ 91423*c_1001_1^14 - 4241352046888456213817256933967/122662499886149\ 855580573191423*c_1001_1^13 + 4622082140465228902454085851761/12266\ 2499886149855580573191423*c_1001_1^12 - 3891061424101393147639702449099/122662499886149855580573191423*c_10\ 01_1^11 + 2345547889610334113022693898271/1226624998861498555805731\ 91423*c_1001_1^10 - 3269484974976076277903252137013/122662499886149\ 855580573191423*c_1001_1^9 - 2907167993692867922908341117976/122662\ 499886149855580573191423*c_1001_1^8 - 5843706287021161432857925805627/122662499886149855580573191423*c_10\ 01_1^7 - 6310926385054047439963216680359/12266249988614985558057319\ 1423*c_1001_1^6 - 6059162508470385046811960753579/12266249988614985\ 5580573191423*c_1001_1^5 - 3842830270939340644863260613046/12266249\ 9886149855580573191423*c_1001_1^4 - 2294336735596652450111022090524/122662499886149855580573191423*c_10\ 01_1^3 - 889033188957743792435270913843/122662499886149855580573191\ 423*c_1001_1^2 - 408729798430473016606512999010/1226624998861498555\ 80573191423*c_1001_1 - 8718013130150878544331706733/122662499886149\ 855580573191423, c_0101_12 + 571533741277521732869859407600/1226624998861498555805731914\ 23*c_1001_1^18 - 3162614923562129868804976113222/122662499886149855\ 580573191423*c_1001_1^17 + 7111303005385635300475926873095/12266249\ 9886149855580573191423*c_1001_1^16 - 10607624831942151447321856954863/122662499886149855580573191423*c_1\ 001_1^15 + 13628025898773299864695109013948/12266249988614985558057\ 3191423*c_1001_1^14 - 11053537057296034988372003587861/122662499886\ 149855580573191423*c_1001_1^13 + 10356628343138783780802541577748/1\ 22662499886149855580573191423*c_1001_1^12 - 10602690785810436155758438607298/122662499886149855580573191423*c_1\ 001_1^11 + 6347714896882909855482338753115/122662499886149855580573\ 191423*c_1001_1^10 - 8217207964940326690291503761361/12266249988614\ 9855580573191423*c_1001_1^9 - 8430578507694829305493422853321/12266\ 2499886149855580573191423*c_1001_1^8 - 14090601555763538492936232711618/122662499886149855580573191423*c_1\ 001_1^7 - 8435313536135248391746497879332/1226624998861498555805731\ 91423*c_1001_1^6 - 7411341070078836851653449960899/1226624998861498\ 55580573191423*c_1001_1^5 - 2771396345321638032364579054390/1226624\ 99886149855580573191423*c_1001_1^4 - 1529544960981244298533965437972/122662499886149855580573191423*c_10\ 01_1^3 + 162463368940817410109382845304/122662499886149855580573191\ 423*c_1001_1^2 - 59528720029361689717613565099/12266249988614985558\ 0573191423*c_1001_1 + 145823261883305552050930557068/12266249988614\ 9855580573191423, c_0101_2 + 173252432917345932850358369225/12266249988614985558057319142\ 3*c_1001_1^18 - 913851151259157734984433041942/12266249988614985558\ 0573191423*c_1001_1^17 + 2034579938106531003939491777367/1226624998\ 86149855580573191423*c_1001_1^16 - 3335712891123789329707414171754/122662499886149855580573191423*c_10\ 01_1^15 + 4726654202171485872053792780815/1226624998861498555805731\ 91423*c_1001_1^14 - 4241352046888456213817256933967/122662499886149\ 855580573191423*c_1001_1^13 + 4622082140465228902454085851761/12266\ 2499886149855580573191423*c_1001_1^12 - 3891061424101393147639702449099/122662499886149855580573191423*c_10\ 01_1^11 + 2345547889610334113022693898271/1226624998861498555805731\ 91423*c_1001_1^10 - 3269484974976076277903252137013/122662499886149\ 855580573191423*c_1001_1^9 - 2907167993692867922908341117976/122662\ 499886149855580573191423*c_1001_1^8 - 5843706287021161432857925805627/122662499886149855580573191423*c_10\ 01_1^7 - 6310926385054047439963216680359/12266249988614985558057319\ 1423*c_1001_1^6 - 6059162508470385046811960753579/12266249988614985\ 5580573191423*c_1001_1^5 - 3842830270939340644863260613046/12266249\ 9886149855580573191423*c_1001_1^4 - 2294336735596652450111022090524/122662499886149855580573191423*c_10\ 01_1^3 - 889033188957743792435270913843/122662499886149855580573191\ 423*c_1001_1^2 - 408729798430473016606512999010/1226624998861498555\ 80573191423*c_1001_1 - 8718013130150878544331706733/122662499886149\ 855580573191423, c_0101_7 - 1403172198395018527304218960275/1226624998861498555805731914\ 23*c_1001_1^18 + 7846167498667255031064037670873/122662499886149855\ 580573191423*c_1001_1^17 - 17976769074171492558948068956072/1226624\ 99886149855580573191423*c_1001_1^16 + 27342584444561709914836896801775/122662499886149855580573191423*c_1\ 001_1^15 - 35384047900095200614961854614105/12266249988614985558057\ 3191423*c_1001_1^14 + 29542492742379173186451868981474/122662499886\ 149855580573191423*c_1001_1^13 - 27701970329301757335858274412987/1\ 22662499886149855580573191423*c_1001_1^12 + 27871374665757596644036962926955/122662499886149855580573191423*c_1\ 001_1^11 - 18043326529372461624144553595086/12266249988614985558057\ 3191423*c_1001_1^10 + 22018900726169093496516903949821/122662499886\ 149855580573191423*c_1001_1^9 + 19315220265251482565911257357860/12\ 2662499886149855580573191423*c_1001_1^8 + 34422692405781826623410180575481/122662499886149855580573191423*c_1\ 001_1^7 + 20145893832468584881708779282274/122662499886149855580573\ 191423*c_1001_1^6 + 20432443138697304137424550775040/12266249988614\ 9855580573191423*c_1001_1^5 + 9291950003725763699137463395050/12266\ 2499886149855580573191423*c_1001_1^4 + 5848541409834790412868379264282/122662499886149855580573191423*c_10\ 01_1^3 + 677344459447437867085498436690/122662499886149855580573191\ 423*c_1001_1^2 + 852737815320425977674308386706/1226624998861498555\ 80573191423*c_1001_1 - 150269657492279113260071339831/1226624998861\ 49855580573191423, c_0101_8 - 224158471411731850147258016350/12266249988614985558057319142\ 3*c_1001_1^18 + 1245395519931084319318514183497/1226624998861498555\ 80573191423*c_1001_1^17 - 2751913260235821478787030124342/122662499\ 886149855580573191423*c_1001_1^16 + 3776790764918299742178996205624/122662499886149855580573191423*c_10\ 01_1^15 - 4134627244418269309657165611240/1226624998861498555805731\ 91423*c_1001_1^14 + 2129917388696093558256649811221/122662499886149\ 855580573191423*c_1001_1^13 - 1095984247060304471103711158594/12266\ 2499886149855580573191423*c_1001_1^12 + 1389567300151976558891454683926/122662499886149855580573191423*c_10\ 01_1^11 - 537250566924216094097618238196/12266249988614985558057319\ 1423*c_1001_1^10 + 1590130261551573551790835340131/1226624998861498\ 55580573191423*c_1001_1^9 + 4770631503893673340871754299641/1226624\ 99886149855580573191423*c_1001_1^8 + 3853364196009693472544359743002/122662499886149855580573191423*c_10\ 01_1^7 + 3190743037974820329312783148358/12266249988614985558057319\ 1423*c_1001_1^6 + 2564070765454360443643788527916/12266249988614985\ 5580573191423*c_1001_1^5 + 1687293717367243822966013970319/12266249\ 9886149855580573191423*c_1001_1^4 - 165440222777980063121225993877/122662499886149855580573191423*c_100\ 1_1^3 + 177421808795730363049445576737/1226624998861498555805731914\ 23*c_1001_1^2 - 26692823188293157062610369127/122662499886149855580\ 573191423*c_1001_1 - 88689250932400455293376663685/1226624998861498\ 55580573191423, c_1001_0 - 663578864385448298052566072750/12266249988614985558057319142\ 3*c_1001_1^18 + 3659892688322264287854059887880/1226624998861498555\ 80573191423*c_1001_1^17 - 8356665315221498276951069725485/122662499\ 886149855580573191423*c_1001_1^16 + 13091805105967818622281382223034/122662499886149855580573191423*c_1\ 001_1^15 - 17670782120727790728242687473007/12266249988614985558057\ 3191423*c_1001_1^14 + 15566201288330592977052557499026/122662499886\ 149855580573191423*c_1001_1^13 - 15566903934141587202955373570311/1\ 22662499886149855580573191423*c_1001_1^12 + 15032235749166999359179582644623/122662499886149855580573191423*c_1\ 001_1^11 - 9832378047182011470947778120545/122662499886149855580573\ 191423*c_1001_1^10 + 12316253498418483173922964744579/1226624998861\ 49855580573191423*c_1001_1^9 + 8157257158581287170900072806191/1226\ 62499886149855580573191423*c_1001_1^8 + 18849311732102317547641581010556/122662499886149855580573191423*c_1\ 001_1^7 + 12585424300186390141894234421835/122662499886149855580573\ 191423*c_1001_1^6 + 12662267742000398268870223966225/12266249988614\ 9855580573191423*c_1001_1^5 + 5598385585556411356894418196938/12266\ 2499886149855580573191423*c_1001_1^4 + 3573362311618665337626812472861/122662499886149855580573191423*c_10\ 01_1^3 + 662589148982170610482453467671/122662499886149855580573191\ 423*c_1001_1^2 + 429039648888822052356421749707/1226624998861498555\ 80573191423*c_1001_1 - 134583412140332967787039160362/1226624998861\ 49855580573191423, c_1001_1^19 - 143/25*c_1001_1^18 + 68/5*c_1001_1^17 - 539/25*c_1001_1^16 + 144/5*c_1001_1^15 - 651/25*c_1001_1^14 + 619/25*c_1001_1^13 - 614/25*c_1001_1^12 + 433/25*c_1001_1^11 - 482/25*c_1001_1^10 - 257/25*c_1001_1^9 - 121/5*c_1001_1^8 - 293/25*c_1001_1^7 - 349/25*c_1001_1^6 - 122/25*c_1001_1^5 - 92/25*c_1001_1^4 + 1/25*c_1001_1^3 - 3/5*c_1001_1^2 + 6/25*c_1001_1 - 1/25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.800 Total time: 5.009 seconds, Total memory usage: 64.12MB