Magma V2.19-8 Wed Aug 21 2013 00:42:28 on localhost [Seed = 627257898] Type ? for help. Type -D to quit. Loading file "K14n4681__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n4681 geometric_solution 11.76346224 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.627628328744 0.902639051312 0 4 6 5 0132 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 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.213700059512 0.607326739503 0 0 8 7 3012 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 0 0 1 0 0 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.390565002008 0.946740179506 5 9 5 0 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.138713197896 1.066136256815 6 1 10 11 0321 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 0 0 1 0 0 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.349063255200 0.614547911254 3 3 1 12 0321 0213 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.124724113149 0.794345266431 4 10 7 1 0321 3201 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 0 0 0 0 0 1 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.437550158252 1.141247763561 12 6 2 12 1023 0213 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 1 -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.879994243756 0.922352665055 11 11 9 2 0213 2310 1230 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 -5 6 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.474427275871 0.546012692163 12 3 10 8 0213 0132 3201 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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.599605788351 0.509620625971 9 11 6 4 2310 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.735194394502 0.894187746282 8 10 4 8 0213 3120 0132 3201 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 5 0 1 -6 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.915063518711 0.950651113372 9 7 5 7 0213 1023 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 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.807090024745 1.228608661323 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : negation(d['c_1001_1']), 'c_1001_12' : d['c_0101_7'], 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : negation(d['c_0011_11']), 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_10']), 'c_1001_3' : negation(d['c_0011_11']), 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : negation(d['c_0110_12']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0011_11']), 's_3_11' : 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' : negation(d['c_0011_6']), 'c_0101_10' : d['c_0101_10'], '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' : 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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(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_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1010_7'], 'c_1100_4' : d['c_0011_6'], 'c_1100_7' : negation(d['c_0110_12']), 'c_1100_6' : d['c_1010_7'], 'c_1100_1' : d['c_1010_7'], 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : negation(d['c_0110_12']), 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0011_10']), 'c_1100_11' : d['c_0011_6'], 'c_1100_10' : d['c_0011_6'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1010_7'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0101_7'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0101_10']), 'c_1010_2' : negation(d['c_0101_10']), 'c_1010_1' : negation(d['c_0011_11']), 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : d['c_0101_2'], 'c_1100_8' : negation(d['c_0110_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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1010_7'], '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' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_6']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : 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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_2']), 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : negation(d['c_0011_3']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_12'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_12']), 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : negation(d['c_0011_5']), 'c_0101_9' : d['c_0011_12'], 'c_0101_8' : d['c_0011_11'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0110_12']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : negation(d['c_0011_5']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : negation(d['c_0110_12']), 'c_0110_6' : negation(d['c_0011_0'])})} 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_3, c_0011_5, c_0011_6, c_0101_10, c_0101_2, c_0101_7, c_0110_12, c_1001_1, c_1010_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 2006326979/241674752*c_1010_7^11 + 1230336287/21970432*c_1010_7^10 - 17835521197/241674752*c_1010_7^9 - 32676821589/241674752*c_1010_7^8 + 48367194341/120837376*c_1010_7^7 - 33579257413/120837376*c_1010_7^6 - 5593524317/10985216*c_1010_7^5 + 121622489155/120837376*c_1010_7^4 - 8285410439/241674752*c_1010_7^3 + 156033363349/241674752*c_1010_7^2 + 15576869723/241674752*c_1010_7 - 5568716257/241674752, c_0011_0 - 1, c_0011_10 + 52037/62416*c_1010_7^11 - 79317/15604*c_1010_7^10 + 237667/62416*c_1010_7^9 + 282397/15604*c_1010_7^8 - 968347/31208*c_1010_7^7 + 9688/3901*c_1010_7^6 + 2102763/31208*c_1010_7^5 - 1038729/15604*c_1010_7^4 - 3741687/62416*c_1010_7^3 - 1049421/15604*c_1010_7^2 - 2971489/62416*c_1010_7 - 50625/7802, c_0011_11 + 34575/62416*c_1010_7^11 - 211779/62416*c_1010_7^10 + 164267/62416*c_1010_7^9 + 743385/62416*c_1010_7^8 - 652171/31208*c_1010_7^7 + 72795/31208*c_1010_7^6 + 1384145/31208*c_1010_7^5 - 1409301/31208*c_1010_7^4 - 2375385/62416*c_1010_7^3 - 2779467/62416*c_1010_7^2 - 1881581/62416*c_1010_7 - 227143/62416, c_0011_12 - 34575/62416*c_1010_7^11 + 211779/62416*c_1010_7^10 - 164267/62416*c_1010_7^9 - 743385/62416*c_1010_7^8 + 652171/31208*c_1010_7^7 - 72795/31208*c_1010_7^6 - 1384145/31208*c_1010_7^5 + 1409301/31208*c_1010_7^4 + 2375385/62416*c_1010_7^3 + 2779467/62416*c_1010_7^2 + 1881581/62416*c_1010_7 + 227143/62416, c_0011_3 + c_1010_7, c_0011_5 - 139361/249664*c_1010_7^11 + 852617/249664*c_1010_7^10 - 657239/249664*c_1010_7^9 - 2994433/249664*c_1010_7^8 + 2621735/124832*c_1010_7^7 - 310189/124832*c_1010_7^6 - 5556809/124832*c_1010_7^5 + 5690263/124832*c_1010_7^4 + 9406675/249664*c_1010_7^3 + 11377681/249664*c_1010_7^2 + 8220729/249664*c_1010_7 + 942339/249664, c_0011_6 + 24849/124832*c_1010_7^11 - 154293/124832*c_1010_7^10 + 130587/124832*c_1010_7^9 + 528133/124832*c_1010_7^8 - 500187/62416*c_1010_7^7 + 103645/62416*c_1010_7^6 + 1014513/62416*c_1010_7^5 - 1171303/62416*c_1010_7^4 - 1460507/124832*c_1010_7^3 - 1633685/124832*c_1010_7^2 - 1557613/124832*c_1010_7 - 112951/124832, c_0101_10 - 52341/124832*c_1010_7^11 + 317811/124832*c_1010_7^10 - 233451/124832*c_1010_7^9 - 1128879/124832*c_1010_7^8 + 960115/62416*c_1010_7^7 - 94227/62416*c_1010_7^6 - 2073917/62416*c_1010_7^5 + 2081965/62416*c_1010_7^4 + 3533935/124832*c_1010_7^3 + 4477107/124832*c_1010_7^2 + 3559669/124832*c_1010_7 + 443813/124832, c_0101_2 + 1, c_0101_7 - 34679/249664*c_1010_7^11 + 216995/249664*c_1010_7^10 - 190337/249664*c_1010_7^9 - 736675/249664*c_1010_7^8 + 701505/124832*c_1010_7^7 - 121735/124832*c_1010_7^6 - 1408975/124832*c_1010_7^5 + 1526333/124832*c_1010_7^4 + 2338805/249664*c_1010_7^3 + 2423467/249664*c_1010_7^2 + 1101391/249664*c_1010_7 + 54713/249664, c_0110_12 - 139361/249664*c_1010_7^11 + 852617/249664*c_1010_7^10 - 657239/249664*c_1010_7^9 - 2994433/249664*c_1010_7^8 + 2621735/124832*c_1010_7^7 - 310189/124832*c_1010_7^6 - 5556809/124832*c_1010_7^5 + 5690263/124832*c_1010_7^4 + 9406675/249664*c_1010_7^3 + 11377681/249664*c_1010_7^2 + 8220729/249664*c_1010_7 + 942339/249664, c_1001_1 + 1431/15604*c_1010_7^11 - 38917/62416*c_1010_7^10 + 25599/31208*c_1010_7^9 + 103013/62416*c_1010_7^8 - 75255/15604*c_1010_7^7 + 90415/31208*c_1010_7^6 + 55903/7802*c_1010_7^5 - 401613/31208*c_1010_7^4 - 3614/3901*c_1010_7^3 - 166073/62416*c_1010_7^2 - 54139/31208*c_1010_7 + 46261/62416, c_1010_7^12 - 6*c_1010_7^11 + 4*c_1010_7^10 + 22*c_1010_7^9 - 35*c_1010_7^8 + 80*c_1010_7^6 - 72*c_1010_7^5 - 77*c_1010_7^4 - 90*c_1010_7^3 - 68*c_1010_7^2 - 14*c_1010_7 - 1 ], 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_3, c_0011_5, c_0011_6, c_0101_10, c_0101_2, c_0101_7, c_0110_12, c_1001_1, c_1010_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 47237472656349712825234689155900680211772809031852593/4154754126915\ 1480170569741218305242950124354613985152*c_1010_7^15 + 2011744789042245917361150806238052547714999628745856971/83095082538\ 302960341139482436610485900248709227970304*c_1010_7^14 - 37480598957390546198079065626279249110260220724871870059/1661901650\ 76605920682278964873220971800497418455940608*c_1010_7^13 + 46771385345745925020114923748599710401401981693113143421/4154754126\ 9151480170569741218305242950124354613985152*c_1010_7^12 - 152595316774317650992200002761005937189743215044938289705/553967216\ 92201973560759654957740323933499139485313536*c_1010_7^11 + 736523804605992058521833559052205478376617345348917471/346229510576\ 2623347547478434858770245843696217832096*c_1010_7^10 + 1298752771984705177899844106376587420196760975153521786763/83095082\ 538302960341139482436610485900248709227970304*c_1010_7^9 - 120042075983578786974966697819875781028860281918128236573/461639347\ 4350164463396637913145026994458261623776128*c_1010_7^8 - 1832442776403007188503407728700751097852307111179331463525/55396721\ 692201973560759654957740323933499139485313536*c_1010_7^7 + 312008987695478801266117095381080818666712130420611857823/230819673\ 7175082231698318956572513497229130811888064*c_1010_7^6 - 7244896472183160170275577861746838197322854600224424505495/83095082\ 538302960341139482436610485900248709227970304*c_1010_7^5 - 2243772534575490684151086765789904634267181817013652644479/20773770\ 634575740085284870609152621475062177306992576*c_1010_7^4 + 26260370033459441937498235390854988015431769114072572932417/1661901\ 65076605920682278964873220971800497418455940608*c_1010_7^3 + 492900104852721390395863279533331884308969641811413069087/830950825\ 38302960341139482436610485900248709227970304*c_1010_7^2 - 1077175840974402848784451587480930871854773781454291919653/72256593\ 51156779160099085429270477034804235585040896*c_1010_7 + 16836425400832304793648079836177400370505296897162630467/5770491842\ 93770557924579739143128374307282702972016, c_0011_0 - 1, c_0011_10 - 8684497077891014610222802911844367495217/828935586153414190\ 7947951924212503246611978*c_1010_7^15 + 369566038914847056858914839327023308856867/165787117230682838158959\ 03848425006493223956*c_1010_7^14 - 6879793331646958731682580639756971035741787/33157423446136567631791\ 807696850012986447912*c_1010_7^13 + 8576299803332428781783638210769684666562879/82893558615341419079479\ 51924212503246611978*c_1010_7^12 - 83778671716430931732236164348174581736854981/3315742344613656763179\ 1807696850012986447912*c_1010_7^11 + 2902698636534265547591096966177323258047093/16578711723068283815895\ 903848425006493223956*c_1010_7^10 + 119206132187600784336529251341315594663391237/828935586153414190794\ 7951924212503246611978*c_1010_7^9 - 98671198352542057038463768994262443416377567/4144677930767070953973\ 975962106251623305989*c_1010_7^8 - 1014971090510281166711463523087882742096421721/33157423446136567631\ 791807696850012986447912*c_1010_7^7 + 2057929509555740869558528477448280210708037547/16578711723068283815\ 895903848425006493223956*c_1010_7^6 - 328881725110845314551104736352763836839991054/414467793076707095397\ 3975962106251623305989*c_1010_7^5 - 828777279531944376653248868056534786452477879/828935586153414190794\ 7951924212503246611978*c_1010_7^4 + 4798418302237334096292673258380789400117786671/33157423446136567631\ 791807696850012986447912*c_1010_7^3 + 26945557710841570271878430094439032464009724/4144677930767070953973\ 975962106251623305989*c_1010_7^2 - 4528976542091844728571420491107136860622887437/33157423446136567631\ 791807696850012986447912*c_1010_7 + 108995338443892793765135165367792550102427879/414467793076707095397\ 3975962106251623305989, c_0011_11 - 12278860205513509998827957195854519139609/82893558615341419\ 07947951924212503246611978*c_1010_7^15 + 522112361842521860995772881316703745912919/165787117230682838158959\ 03848425006493223956*c_1010_7^14 - 9712313957725118930860494515953442012533223/33157423446136567631791\ 807696850012986447912*c_1010_7^13 + 24194812325596259499468816065348422891683327/1657871172306828381589\ 5903848425006493223956*c_1010_7^12 - 118037912812367683221763086279788063431211553/331574234461365676317\ 91807696850012986447912*c_1010_7^11 + 3919014032387845946151716591785703310244549/16578711723068283815895\ 903848425006493223956*c_1010_7^10 + 335972257049713476628963712302905782623885873/165787117230682838158\ 95903848425006493223956*c_1010_7^9 - 555150951074052101698965177158323678266256923/165787117230682838158\ 95903848425006493223956*c_1010_7^8 - 1430359814616234028534015250224103721052675117/33157423446136567631\ 791807696850012986447912*c_1010_7^7 + 2895813681125467521908935468431469362700136221/16578711723068283815\ 895903848425006493223956*c_1010_7^6 - 1855257800984232831396080496065146591110734343/16578711723068283815\ 895903848425006493223956*c_1010_7^5 - 2323193984737034571849970408756203074452228891/16578711723068283815\ 895903848425006493223956*c_1010_7^4 + 6759657142180541253282466046968719986143009583/33157423446136567631\ 791807696850012986447912*c_1010_7^3 + 73125094495899204861406717905582091530112797/8289355861534141907947\ 951924212503246611978*c_1010_7^2 - 6366551070229120053204060985992854101004297751/33157423446136567631\ 791807696850012986447912*c_1010_7 + 153706050216335964197824792979592218298080093/414467793076707095397\ 3975962106251623305989, c_0011_12 - 19196789439138066759569570512839414592406/12434033792301212\ 861921927886318754869917967*c_1010_7^15 + 136059954709763711474010540062034769939542/414467793076707095397397\ 5962106251623305989*c_1010_7^14 - 379660125434929601384679660634321\ 7680252628/12434033792301212861921927886318754869917967*c_1010_7^13 + 25220049947866437767717432570902902998129001/16578711723068283815\ 895903848425006493223956*c_1010_7^12 - 92259739402155073791010020161015305712699923/2486806758460242572384\ 3855772637509739835934*c_1010_7^11 + 2002469345880138109099193673929262432394179/82893558615341419079479\ 51924212503246611978*c_1010_7^10 + 1051027412042913581599728394230855888642845279/49736135169204851447\ 687711545275019479671868*c_1010_7^9 - 1735346704590168345708418396287712266741045415/49736135169204851447\ 687711545275019479671868*c_1010_7^8 - 186512484389034575010858016460401350927091776/414467793076707095397\ 3975962106251623305989*c_1010_7^7 + 754367600212766673627185088623090074263650418/414467793076707095397\ 3975962106251623305989*c_1010_7^6 - 5798644582296219495173496045735174429026279005/49736135169204851447\ 687711545275019479671868*c_1010_7^5 - 2417515807758023569989529274429113220299105145/16578711723068283815\ 895903848425006493223956*c_1010_7^4 + 1763790966659244012148824297808459788789457463/82893558615341419079\ 47951924212503246611978*c_1010_7^3 + 202417208240861403133037595800413064924693345/248680675846024257238\ 43855772637509739835934*c_1010_7^2 - 3322097090072705008570398622383173272898168649/16578711723068283815\ 895903848425006493223956*c_1010_7 + 489290605137027037535418210022034483749917655/124340337923012128619\ 21927886318754869917967, c_0011_3 + 25244680018518806202852256146488777251985/124340337923012128\ 61921927886318754869917967*c_1010_7^15 - 357791318862006632563005380583652942557217/828935586153414190794795\ 1924212503246611978*c_1010_7^14 + 199629380159180492835547745677623\ 27343042643/49736135169204851447687711545275019479671868*c_1010_7^1\ 3 - 8285075165687490357774117305888073626291186/4144677930767070953\ 973975962106251623305989*c_1010_7^12 + 242268379027191278201118839400727522049587907/497361351692048514476\ 87711545275019479671868*c_1010_7^11 - 1240086039632045715801084271424080489218347/41446779307670709539739\ 75962106251623305989*c_1010_7^10 - 8746761050507924464541513383897992233758591/31478566562787880663093\ 4883197943161263746*c_1010_7^9 + 5690155174744736877022429003977468\ 88773303073/12434033792301212861921927886318754869917967*c_1010_7^8 + 983832745241511493132989075879534489083688549/1657871172306828381\ 5895903848425006493223956*c_1010_7^7 - 990687219710906887754055845851403062440749477/414467793076707095397\ 3975962106251623305989*c_1010_7^6 + 3789699874888419196174993281684617708953762991/24868067584602425723\ 843855772637509739835934*c_1010_7^5 + 795765805197908854754655546776612631563582292/414467793076707095397\ 3975962106251623305989*c_1010_7^4 - 4621955121349194062254074723443120666351022931/16578711723068283815\ 895903848425006493223956*c_1010_7^3 - 284125845682470351829247823353420208037542005/248680675846024257238\ 43855772637509739835934*c_1010_7^2 + 4351809176268601630134234627236282512981868769/16578711723068283815\ 895903848425006493223956*c_1010_7 - 640893472858369537107683197920704592673485793/124340337923012128619\ 21927886318754869917967, c_0011_5 - 67529427424655148655987774431604853264111/248680675846024257\ 23843855772637509739835934*c_1010_7^15 + 959432708080292088470315276617661346343735/165787117230682838158959\ 03848425006493223956*c_1010_7^14 - 53668892193601439776149239930942946801230021/9947227033840970289537\ 5423090550038959343736*c_1010_7^13 + 22346118829777156808214066627433531790540695/8289355861534141907947\ 951924212503246611978*c_1010_7^12 - 657278732250753481903203367659799811761574717/994722703384097028953\ 75423090550038959343736*c_1010_7^11 + 2289435053057714323861730006310338138114181/41446779307670709539739\ 75962106251623305989*c_1010_7^10 + 1860508729732249485632672618828823293686443853/49736135169204851447\ 687711545275019479671868*c_1010_7^9 - 1553522891263172253238974341980826644414838287/24868067584602425723\ 843855772637509739835934*c_1010_7^8 - 2615870701468345443375966717935498041977056155/33157423446136567631\ 791807696850012986447912*c_1010_7^7 + 1343117219532578175244756242913632111622243700/41446779307670709539\ 73975962106251623305989*c_1010_7^6 - 10442305734176545756281793403469860369457851969/4973613516920485144\ 7687711545275019479671868*c_1010_7^5 - 1068562861980570227369890187514168787491718837/41446779307670709539\ 73975962106251623305989*c_1010_7^4 + 12559934472812257311582910116735505332715294109/3315742344613656763\ 1791807696850012986447912*c_1010_7^3 + 634458391430988145258423842160038329783457365/497361351692048514476\ 87711545275019479671868*c_1010_7^2 - 11860624317252135956217682352602618248892645871/3315742344613656763\ 1791807696850012986447912*c_1010_7 + 873690223334978937230124887878941158513565167/124340337923012128619\ 21927886318754869917967, c_0011_6 - 7999766536073409794055581814263151564643/8289355861534141907\ 947951924212503246611978*c_1010_7^15 + 341457853712255136792701454600185983213017/165787117230682838158959\ 03848425006493223956*c_1010_7^14 - 6376388334727243401678186283271304234495473/33157423446136567631791\ 807696850012986447912*c_1010_7^13 + 7979904360999886036393395701017934867281971/82893558615341419079479\ 51924212503246611978*c_1010_7^12 - 78504844103794665851351329143416938689303083/3315742344613656763179\ 1807696850012986447912*c_1010_7^11 + 3771348536982625196626965616614590001396461/16578711723068283815895\ 903848425006493223956*c_1010_7^10 + 110674087607736654830393980674194974475431763/828935586153414190794\ 7951924212503246611978*c_1010_7^9 - 186414369320619668330415455509365208055081273/828935586153414190794\ 7951924212503246611978*c_1010_7^8 - 925759892943887232706301477744718260861025347/331574234461365676317\ 91807696850012986447912*c_1010_7^7 + 1926206431940049433735993839913341739800152479/16578711723068283815\ 895903848425006493223956*c_1010_7^6 - 630722069116003073339869465291546205272649985/828935586153414190794\ 7951924212503246611978*c_1010_7^5 - 763750013560510696018668740659517735891339167/828935586153414190794\ 7951924212503246611978*c_1010_7^4 + 4527358427443843122777450823481308286019812237/33157423446136567631\ 791807696850012986447912*c_1010_7^3 + 15934369153793099384351331034447205122406050/4144677930767070953973\ 975962106251623305989*c_1010_7^2 - 4246351477033025803501842809094714002255972223/33157423446136567631\ 791807696850012986447912*c_1010_7 + 105462357414015713913663616571284680396774497/414467793076707095397\ 3975962106251623305989, c_0101_10 + 2736874807346299734648352017105210341458/414467793076707095\ 3973975962106251623305989*c_1010_7^15 - 58194721867745371964404286625408250761845/4144677930767070953973975\ 962106251623305989*c_1010_7^14 + 1082568940546194472937482464295843\ 526053239/8289355861534141907947951924212503246611978*c_1010_7^13 - 2696687952952692737322647317002496562144061/41446779307670709539739\ 75962106251623305989*c_1010_7^12 + 26305420381103591230000769014605144606650645/1657871172306828381589\ 5903848425006493223956*c_1010_7^11 - 1708579781722049929927756853717518011908267/16578711723068283815895\ 903848425006493223956*c_1010_7^10 - 149832537616585963180420945858739396752665657/165787117230682838158\ 95903848425006493223956*c_1010_7^9 + 61830246588140735304343573303408689461043568/4144677930767070953973\ 975962106251623305989*c_1010_7^8 + 319075086717177852163990713796827482791227515/165787117230682838158\ 95903848425006493223956*c_1010_7^7 - 1289554316180919586595264564246691758848332361/16578711723068283815\ 895903848425006493223956*c_1010_7^6 + 824782568424895308197636489321038511759802441/165787117230682838158\ 95903848425006493223956*c_1010_7^5 + 516025243522172922315301470703985924053669883/828935586153414190794\ 7951924212503246611978*c_1010_7^4 - 1502302853980438600239868271445673720254107385/16578711723068283815\ 895903848425006493223956*c_1010_7^3 - 58875447183885433976830265419207876288796085/1657871172306828381589\ 5903848425006493223956*c_1010_7^2 + 1408216921703411724250123379669345940008309053/16578711723068283815\ 895903848425006493223956*c_1010_7 - 67138564212834636304899286988107616845217541/4144677930767070953973\ 975962106251623305989, c_0101_2 + 3957757092015034520881408880668155402391/1243403379230121286\ 1921927886318754869917967*c_1010_7^15 - 55987697920334829136382010342750270237327/8289355861534141907947951\ 924212503246611978*c_1010_7^14 + 3117515078475220290422027558499411\ 274430077/49736135169204851447687711545275019479671868*c_1010_7^13 - 1290446770264895419343362262064402057424111/41446779307670709539739\ 75962106251623305989*c_1010_7^12 + 37552249119542655273523175001621438473391649/4973613516920485144768\ 7711545275019479671868*c_1010_7^11 - 135774414338492497046443879940215476737342/414467793076707095397397\ 5962106251623305989*c_1010_7^10 - 538346427822157715278453961600003\ 79420564193/12434033792301212861921927886318754869917967*c_1010_7^9 + 87466013443584690228396317037837427129370924/12434033792301212861\ 921927886318754869917967*c_1010_7^8 + 155488448262636669574696235903244686725105107/165787117230682838158\ 95903848425006493223956*c_1010_7^7 - 153222619808414148001770807714650121051385905/414467793076707095397\ 3975962106251623305989*c_1010_7^6 + 286214196812453995991251062259312123956981905/124340337923012128619\ 21927886318754869917967*c_1010_7^5 + 124052418041541437943399687303793683244512210/414467793076707095397\ 3975962106251623305989*c_1010_7^4 - 699972684001315530597756883454520438496134697/165787117230682838158\ 95903848425006493223956*c_1010_7^3 - 66787215705168993765224352838770217257287899/2486806758460242572384\ 3855772637509739835934*c_1010_7^2 + 667717658006451397384535393111682372059507077/165787117230682838158\ 95903848425006493223956*c_1010_7 - 95693218322069892425627780984015835540374816/1243403379230121286192\ 1927886318754869917967, c_0101_7 - 31187653141814021637881024332413646042/280677963708830990111\ 10446695979130631869*c_1010_7^15 + 221141726092968014642742497381839311115/935593212362769967037014889\ 8659710210623*c_1010_7^14 - 123476856724817378820781552167719213078\ 99/56135592741766198022220893391958261263738*c_1010_7^13 + 10259946867941950080633280194183270194179/9355932123627699670370148\ 898659710210623*c_1010_7^12 - 3006483370460157236778188432746314903\ 06109/112271185483532396044441786783916522527476*c_1010_7^11 + 6995165129316102919841593959550236836419/37423728494510798681480595\ 594638840842492*c_1010_7^10 + 1710336155315662837957899356413469828\ 546785/112271185483532396044441786783916522527476*c_1010_7^9 - 708445464147094902422248154160471329256944/280677963708830990111104\ 46695979130631869*c_1010_7^8 - 121045480940481252148472975913424087\ 1180729/37423728494510798681480595594638840842492*c_1010_7^7 + 4920954434254245467332068260457799023227213/37423728494510798681480\ 595594638840842492*c_1010_7^6 - 94832971765166126186942261224900204\ 91712269/112271185483532396044441786783916522527476*c_1010_7^5 - 1975222522619212361304546105214684646217579/18711864247255399340740\ 297797319420421246*c_1010_7^4 + 57562089698570945968633999398875615\ 76668799/37423728494510798681480595594638840842492*c_1010_7^3 + 720547439077886375823474080391923687458847/112271185483532396044441\ 786783916522527476*c_1010_7^2 - 53997129067833460822984471266798131\ 72291671/37423728494510798681480595594638840842492*c_1010_7 + 789435237015021566420583673177747258258907/280677963708830990111104\ 46695979130631869, c_0110_12 + 159713744880955596358358361634723601218/1243403379230121286\ 1921927886318754869917967*c_1010_7^15 - 1200195003176595023533526296390680053717/41446779307670709539739759\ 62106251623305989*c_1010_7^14 + 71097276802813607637099391187178656\ 385623/24868067584602425723843855772637509739835934*c_1010_7^13 - 63388470881193522952820457302613067741487/4144677930767070953973975\ 962106251623305989*c_1010_7^12 + 1040236285789453538785334729841585\ 429401243/24868067584602425723843855772637509739835934*c_1010_7^11 - 77004344504114138117977965882545687964214/4144677930767070953973975\ 962106251623305989*c_1010_7^10 - 2668770022008001117927677377287669\ 300634143/12434033792301212861921927886318754869917967*c_1010_7^9 + 5732861309343706492321355793731689004929667/12434033792301212861921\ 927886318754869917967*c_1010_7^8 + 2898808345196965386669257627252080157496863/82893558615341419079479\ 51924212503246611978*c_1010_7^7 - 914442079070841040370072742690970\ 7862695493/4144677930767070953973975962106251623305989*c_1010_7^6 + 21131999681101712234149787272376433646250513/1243403379230121286192\ 1927886318754869917967*c_1010_7^5 + 8136731130429214976254520327927474815666866/41446779307670709539739\ 75962106251623305989*c_1010_7^4 - 224988767983182437964775752253303\ 15622539213/8289355861534141907947951924212503246611978*c_1010_7^3 - 6965399435194202809631587364581018327184396/12434033792301212861921\ 927886318754869917967*c_1010_7^2 + 21362696103447086231695324444687307911576295/8289355861534141907947\ 951924212503246611978*c_1010_7 - 6072187003603623340760351940495099\ 6477440/157392832813939403315467441598971580631873, c_1001_1 + 3013737621659398156601407948229091378055/4144677930767070953\ 973975962106251623305989*c_1010_7^15 - 128744785656915392009561700434036835380725/828935586153414190794795\ 1924212503246611978*c_1010_7^14 + 240630746297583082304257824607867\ 2407995921/16578711723068283815895903848425006493223956*c_1010_7^13 - 6029253367183367261057801663643760377850343/828935586153414190794\ 7951924212503246611978*c_1010_7^12 + 7426772667870914666642838307253181015567768/41446779307670709539739\ 75962106251623305989*c_1010_7^11 - 2998975698182647679882768404229526156064453/16578711723068283815895\ 903848425006493223956*c_1010_7^10 - 167417558642552763294972817971071531773839365/165787117230682838158\ 95903848425006493223956*c_1010_7^9 + 70772435885930251458691299811722221575589157/4144677930767070953973\ 975962106251623305989*c_1010_7^8 + 174563773948389207456692295529010193735887413/828935586153414190794\ 7951924212503246611978*c_1010_7^7 - 1460612027371208495840088510589783159566107737/16578711723068283815\ 895903848425006493223956*c_1010_7^6 + 958929863861105635232353002877619483397998223/165787117230682838158\ 95903848425006493223956*c_1010_7^5 + 579836150898206323462861661802870530903350697/828935586153414190794\ 7951924212503246611978*c_1010_7^4 - 431165955462766233128380137621738123877878425/414467793076707095397\ 3975962106251623305989*c_1010_7^3 - 36848551171293256115659219506447853790038157/1657871172306828381589\ 5903848425006493223956*c_1010_7^2 + 406236714204473757179754842853801510395496163/414467793076707095397\ 3975962106251623305989*c_1010_7 - 822067043253283663069234797616573\ 54123075349/4144677930767070953973975962106251623305989, c_1010_7^16 - 43/2*c_1010_7^15 + 811/4*c_1010_7^14 - 1031*c_1010_7^13 + 10507/4*c_1010_7^12 - 686*c_1010_7^11 - 27419/2*c_1010_7^10 + 25705*c_1010_7^9 + 97535/4*c_1010_7^8 - 124896*c_1010_7^7 + 202375/2*c_1010_7^6 + 79226*c_1010_7^5 - 634449/4*c_1010_7^4 + 46925/2*c_1010_7^3 + 528787/4*c_1010_7^2 - 52706*c_1010_7 + 5296 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.520 Total time: 4.730 seconds, Total memory usage: 64.12MB