Magma V2.19-8 Thu Nov 21 2013 09:49:57 on localhost [Seed = 2826233654] Type ? for help. Type -D to quit. Loading file "m136__sl3_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation m136 geometric_solution 3.66386238 oriented_manifold CS_unknown 1 0 torus 0.000000000000 0.000000000000 4 1 1 2 2 0132 3201 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 0.500000000000 0.500000000000 0 3 0 3 0132 0132 2310 1023 0 0 0 0 0 0 0 0 1 0 -1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.000000000000 1.000000000000 3 0 3 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 -1 -1 0 0 1 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.000000000000 1.000000000000 2 1 2 1 0132 0132 1023 1023 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 0 0 0 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.500000000000 0.500000000000 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0201_1'], 'c_1020_3' : d['c_0102_0'], 'c_1020_0' : d['c_0201_0'], 'c_1020_1' : d['c_0102_2'], 'c_0201_0' : d['c_0201_0'], 'c_0201_1' : d['c_0201_1'], 'c_0201_2' : d['c_0201_2'], 'c_0201_3' : d['c_0201_0'], 'c_2100_0' : d['c_0012_1'] * d['u'] ** 1, 'c_2100_1' : d['c_0012_1'] * d['u'] ** 2, 'c_2100_2' : d['c_0012_1'] * d['u'] ** 1, 'c_2100_3' : d['1'] * d['u'] ** 1, 'c_2010_2' : d['c_0102_1'], 'c_2010_3' : d['c_0201_0'], 'c_2010_0' : d['c_0102_0'], 'c_2010_1' : d['c_0201_2'], 'c_0102_0' : d['c_0102_0'], 'c_0102_1' : d['c_0102_1'], 'c_0102_2' : d['c_0102_2'], 'c_0102_3' : d['c_0102_0'], 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : d['c_1011_0'], 'c_1101_2' : d['c_1101_2'], 'c_1101_3' : negation(d['c_1101_2']), 'c_1200_2' : d['1'] * d['u'] ** 1, 'c_1200_3' : d['c_0012_1'] * d['u'] ** 1, 'c_1200_0' : d['1'] * d['u'] ** 1, 'c_1200_1' : d['1'], 'c_1110_2' : d['c_1101_0'], 'c_1110_3' : negation(d['c_1110_1']) * d['u'] ** 1, 'c_1110_0' : negation(d['c_1011_2']) * d['u'] ** 2, 'c_1110_1' : d['c_1110_1'], 'c_0120_0' : d['c_0102_1'] * d['u'] ** 2, 'c_0120_1' : d['c_0102_0'], 'c_0120_2' : d['c_0102_0'], 'c_0120_3' : d['c_0102_2'] * d['u'] ** 1, 'c_2001_0' : d['c_0102_1'], 'c_2001_1' : d['c_0201_0'], 'c_2001_2' : d['c_0201_0'], 'c_2001_3' : d['c_0201_2'], 'c_0012_2' : d['c_0012_1'] * d['u'] ** 2, 'c_0012_3' : d['1'] * d['u'] ** 2, 'c_0012_0' : d['1'], 'c_0012_1' : d['c_0012_1'], 'c_0111_0' : d['1'], 'c_0111_1' : negation(d['1']) * d['u'] ** 2, 'c_0111_2' : d['c_0111_2'], 'c_0111_3' : negation(d['c_0111_2']) * d['u'] ** 2, 'c_0210_2' : d['c_0201_0'], 'c_0210_3' : d['c_0201_2'] * d['u'] ** 2, 'c_0210_0' : d['c_0201_1'] * d['u'] ** 1, 'c_0210_1' : d['c_0201_0'], 'c_1002_2' : d['c_0102_0'], 'c_1002_3' : d['c_0102_2'], 'c_1002_0' : d['c_0201_1'], 'c_1002_1' : d['c_0102_0'], 'c_1011_2' : d['c_1011_2'], 'c_1011_3' : negation(d['c_1011_1']), 'c_1011_0' : d['c_1011_0'], 'c_1011_1' : d['c_1011_1'], 'c_0021_0' : d['c_0012_1'] * d['u'] ** 2, 'c_0021_1' : d['1'] * d['u'] ** 2, 'c_0021_2' : d['1'], 'c_0021_3' : d['c_0012_1']}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 23358.020 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0012_1, c_0102_0, c_0102_1, c_0102_2, c_0111_2, c_0201_0, c_0201_1, c_0201_2, c_1011_0, c_1011_1, c_1011_2, c_1101_0, c_1101_2, c_1110_1, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t + u, c_0012_1 - u, c_0102_0 - u, c_0102_1 - 1, c_0102_2 + u + 1, c_0111_2 - u - 1, c_0201_0 + u + 1, c_0201_1 - 1, c_0201_2 - u, c_1011_0 + u, c_1011_1 - u, c_1011_2 + u + 1, c_1101_0 - u, c_1101_2 - u - 1, c_1110_1 - u, u^2 + u + 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0012_1, c_0102_0, c_0102_1, c_0102_2, c_0111_2, c_0201_0, c_0201_1, c_0201_2, c_1011_0, c_1011_1, c_1011_2, c_1101_0, c_1101_2, c_1110_1, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 4279/76*c_1110_1*u - 121/19*c_1110_1 - 1571/76*u - 3111/76, c_0012_1 - 9/7*c_1110_1*u - 13/7*c_1110_1 + 12/7*u + 1/7, c_0102_0 - 9/7*c_1110_1*u - 13/7*c_1110_1 + 12/7*u + 1/7, c_0102_1 - 1, c_0102_2 + u + 1, c_0111_2 - 3/7*c_1110_1*u - 2/7*c_1110_1 - 3/7*u + 5/7, c_0201_0 + u + 1, c_0201_1 + 13/7*c_1110_1*u + 4/7*c_1110_1 - 1/7*u + 11/7, c_0201_2 - 9/7*c_1110_1*u - 13/7*c_1110_1 + 12/7*u + 1/7, c_1011_0 + 9/7*c_1110_1*u - 1/7*c_1110_1 + 2/7*u - 1/7, c_1011_1 + 1/7*c_1110_1*u + 3/7*c_1110_1 + 1/7*u - 4/7, c_1011_2 - c_1110_1*u, c_1101_0 + 1/7*c_1110_1*u + 3/7*c_1110_1 + 1/7*u - 4/7, c_1101_2 - 2/7*c_1110_1*u + 8/7*c_1110_1 - 2/7*u + 1/7, c_1110_1^2 - 3/19*c_1110_1*u - 5/19*c_1110_1 - 4/19*u + 6/19, u^2 + u + 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0012_1, c_0102_0, c_0102_1, c_0102_2, c_0111_2, c_0201_0, c_0201_1, c_0201_2, c_1011_0, c_1011_1, c_1011_2, c_1101_0, c_1101_2, c_1110_1, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t - 7/19*c_1110_1*u + 329/38*c_1110_1 + 505/38*u + 497/76, c_0012_1 + 2*c_1110_1*u + u - 3, c_0102_0 - u, c_0102_1 - 1, c_0102_2 - 2*c_1110_1*u - 2*c_1110_1 - 4*u - 1, c_0111_2 - c_1110_1*u + c_1110_1 + 2*u + 3, c_0201_0 - 2*c_1110_1*u - 2*c_1110_1 - 4*u - 1, c_0201_1 + 2*c_1110_1 + 3*u + 4, c_0201_2 - u, c_1011_0 - c_1110_1*u - 2*c_1110_1 - 3*u - 1, c_1011_1 + c_1110_1*u - 2*c_1110_1 - 3*u - 4, c_1011_2 + c_1110_1*u + 3*c_1110_1 + 4*u + 2, c_1101_0 - c_1110_1*u - c_1110_1 - u - 1, c_1101_2 - u - 1, c_1110_1^2 + 3*c_1110_1*u + 5/2*c_1110_1 + 3/2*u - 1, u^2 + u + 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0012_1, c_0102_0, c_0102_1, c_0102_2, c_0111_2, c_0201_0, c_0201_1, c_0201_2, c_1011_0, c_1011_1, c_1011_2, c_1101_0, c_1101_2, c_1110_1, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 14186/1053*c_1110_1^5*u - 19525/1053*c_1110_1^5 - 32995/1053*c_1110_1^4*u - 28318/1053*c_1110_1^4 - 4577/351*c_1110_1^3*u - 53351/1053*c_1110_1^3 - 7517/351*c_1110_1^2*u - 40570/1053*c_1110_1^2 + 23113/1053*c_1110_1*u + 8258/351*c_1110_1 + 23438/1053*u + 37085/1053, c_0012_1 - u, c_0102_0 + 6/13*c_1110_1^5*u - 2/13*c_1110_1^5 + 32/39*c_1110_1^4*u - 41/39*c_1110_1^4 + 70/39*c_1110_1^3*u + 20/39*c_1110_1^3 + 119/39*c_1110_1^2*u + 34/39*c_1110_1^2 - 59/39*c_1110_1*u + 11/39*c_1110_1 - 11/13*u + 8/13, c_0102_1 + 5/13*c_1110_1^5*u - 6/13*c_1110_1^5 - 8/39*c_1110_1^4*u - 58/39*c_1110_1^4 + 41/39*c_1110_1^3*u - 44/39*c_1110_1^3 + 19/39*c_1110_1^2*u - 67/39*c_1110_1^2 + 5/39*c_1110_1*u - 32/39*c_1110_1 - 7/13*u + 24/13, c_0102_2 + 15/13*c_1110_1^5*u + 8/13*c_1110_1^5 + 28/39*c_1110_1^4*u + 8/39*c_1110_1^4 + 71/39*c_1110_1^3*u + 115/39*c_1110_1^3 - 8/39*c_1110_1^2*u - 19/39*c_1110_1^2 - 37/39*c_1110_1*u + 34/39*c_1110_1 - 8/13*u - 6/13, c_0111_2 - 9/13*c_1110_1^5*u + 3/13*c_1110_1^5 - 3/13*c_1110_1^4*u + 27/13*c_1110_1^4 - 35/13*c_1110_1^3*u + 3/13*c_1110_1^3 - 40/13*c_1110_1^2*u + 22/13*c_1110_1^2 - 3/13*c_1110_1*u - 12/13*c_1110_1 + 23/13*u + 1/13, c_0201_0 - 8/13*c_1110_1^5*u - 6/13*c_1110_1^5 - 73/39*c_1110_1^4*u - 32/39*c_1110_1^4 - 50/39*c_1110_1^3*u - 70/39*c_1110_1^3 - 85/39*c_1110_1^2*u - 119/39*c_1110_1^2 + 70/39*c_1110_1*u + 59/39*c_1110_1 + 19/13*u + 11/13, c_0201_1 + 5/13*c_1110_1^5*u - 6/13*c_1110_1^5 - 8/39*c_1110_1^4*u - 58/39*c_1110_1^4 + 41/39*c_1110_1^3*u - 44/39*c_1110_1^3 + 19/39*c_1110_1^2*u - 67/39*c_1110_1^2 + 5/39*c_1110_1*u - 32/39*c_1110_1 - 7/13*u + 24/13, c_0201_2 - 8/13*c_1110_1^5*u + 7/13*c_1110_1^5 - 8/39*c_1110_1^4*u + 20/39*c_1110_1^4 - 115/39*c_1110_1^3*u - 44/39*c_1110_1^3 + 19/39*c_1110_1^2*u + 11/39*c_1110_1^2 - 34/39*c_1110_1*u - 71/39*c_1110_1 + 6/13*u - 2/13, c_1011_0 + u, c_1011_1 - c_1110_1, c_1011_2 + 9/13*c_1110_1^5*u - 3/13*c_1110_1^5 + 3/13*c_1110_1^4*u - 27/13*c_1110_1^4 + 35/13*c_1110_1^3*u - 3/13*c_1110_1^3 + 40/13*c_1110_1^2*u - 22/13*c_1110_1^2 + 16/13*c_1110_1*u + 25/13*c_1110_1 - 23/13*u + 12/13, c_1101_0 + 3/13*c_1110_1^5*u + 12/13*c_1110_1^5 + 27/13*c_1110_1^4*u + 30/13*c_1110_1^4 + 3/13*c_1110_1^3*u + 38/13*c_1110_1^3 + 22/13*c_1110_1^2*u + 62/13*c_1110_1^2 - 25/13*c_1110_1*u - 9/13*c_1110_1 - 12/13*u - 35/13, c_1101_2 - 9/13*c_1110_1^5*u + 3/13*c_1110_1^5 - 3/13*c_1110_1^4*u + 27/13*c_1110_1^4 - 35/13*c_1110_1^3*u + 3/13*c_1110_1^3 - 40/13*c_1110_1^2*u + 22/13*c_1110_1^2 - 3/13*c_1110_1*u - 12/13*c_1110_1 + 23/13*u + 1/13, c_1110_1^6 + 2/3*c_1110_1^5*u + 4/3*c_1110_1^5 - 7/3*c_1110_1^4*u + 1/3*c_1110_1^4 + 1/3*c_1110_1^3*u + 2/3*c_1110_1^3 - 1/3*c_1110_1^2*u - 8/3*c_1110_1^2 + 2/3*c_1110_1*u - 2/3*c_1110_1 + 1, u^2 + u + 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0012_1, c_0102_0, c_0102_1, c_0102_2, c_0111_2, c_0201_0, c_0201_1, c_0201_2, c_1011_0, c_1011_1, c_1011_2, c_1101_0, c_1101_2, c_1110_1, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 368900003923728433179288305407458400175/624609207301761611254756697\ 2302532940557*c_1110_1^9*u - 16688691834393929596981596874365944000\ 64/6246092073017616112547566972302532940557*c_1110_1^9 - 12851950669860973244414819327818957119920/6246092073017616112547566\ 972302532940557*c_1110_1^8*u - 885391142649653610839943451100238506\ 4641/6246092073017616112547566972302532940557*c_1110_1^8 - 35216776683303867158405670832553897971093/6246092073017616112547566\ 972302532940557*c_1110_1^7*u + 172111678168070027789900679417840889\ 92763/6246092073017616112547566972302532940557*c_1110_1^7 + 38363388080291894828115609580002176681219/6246092073017616112547566\ 972302532940557*c_1110_1^6*u + 124615123212762405193316744347324110\ 227370/6246092073017616112547566972302532940557*c_1110_1^6 + 180857992633069932061529172860162804947651/624609207301761611254756\ 6972302532940557*c_1110_1^5*u + 13074426251169487912856793431638962\ 2209243/6246092073017616112547566972302532940557*c_1110_1^5 + 106867290578343963395717750445110893613932/624609207301761611254756\ 6972302532940557*c_1110_1^4*u - 27731544373371552109781467151395047\ 637314/6246092073017616112547566972302532940557*c_1110_1^4 + 1239837030707678515641428402731238341782/48046862100135508558058207\ 4792502533889*c_1110_1^3*u + 44929463818549841587739246830762208338\ 55/6246092073017616112547566972302532940557*c_1110_1^3 + 92799804911603089285586380291897667470420/6246092073017616112547566\ 972302532940557*c_1110_1^2*u + 486802984696145099550917821382322519\ 92098/6246092073017616112547566972302532940557*c_1110_1^2 + 23371490001733940841279703608478990937651/6246092073017616112547566\ 972302532940557*c_1110_1*u - 41532743217888081987823208543557960192\ 691/6246092073017616112547566972302532940557*c_1110_1 - 11193249591191383940350764675099275566716/6246092073017616112547566\ 972302532940557*u - 10432601040937379622928873099486838063147/62460\ 92073017616112547566972302532940557, c_0012_1 - u, c_0102_0 + 1009674420938524324212891367427/6832301782746500564111703936\ 937*c_1110_1^9*u - 5233094799611310580018801395507/6832301782746500\ 564111703936937*c_1110_1^9 - 45233881498703853989157403574880/68323\ 01782746500564111703936937*c_1110_1^8*u - 49197466460970462180007480290319/6832301782746500564111703936937*c_\ 1110_1^8 - 205027864240142401758785157137443/6832301782746500564111\ 703936937*c_1110_1^7*u - 10035686271354031633785402151254/683230178\ 2746500564111703936937*c_1110_1^7 - 39836553450211375852852774059818/6832301782746500564111703936937*c_\ 1110_1^6*u + 482034263145591772903218319757240/68323017827465005641\ 11703936937*c_1110_1^6 + 723094186444799777381147930514706/68323017\ 82746500564111703936937*c_1110_1^5*u + 819230853374113803727601904755823/6832301782746500564111703936937*c\ _1110_1^5 + 722064974956861381985188556647130/683230178274650056411\ 1703936937*c_1110_1^4*u + 145390443309188686103825929404350/6832301\ 782746500564111703936937*c_1110_1^4 + 116556694811362523273338674580782/6832301782746500564111703936937*c\ _1110_1^3*u - 44110510538893700731247959525206/68323017827465005641\ 11703936937*c_1110_1^3 + 308342085879499198007594104416314/68323017\ 82746500564111703936937*c_1110_1^2*u + 250978102672632481172528161852560/6832301782746500564111703936937*c\ _1110_1^2 + 165546191212853565078491084607216/683230178274650056411\ 1703936937*c_1110_1*u - 66129372072596736240556115743773/6832301782\ 746500564111703936937*c_1110_1 - 33001827729073238047161594595819/6\ 832301782746500564111703936937*u - 46886471113773766964978667067745/6832301782746500564111703936937, c_0102_1 - 13453517691228458663516814887/70436100853056706846512411721*\ c_1110_1^9*u - 19690699341900019096345346911/7043610085305670684651\ 2411721*c_1110_1^9 - 177732967174593623574315146185/704361008530567\ 06846512411721*c_1110_1^8*u - 28804642966415160045124869574/7043610\ 0853056706846512411721*c_1110_1^8 - 43425889439097036849618695026/70436100853056706846512411721*c_1110_\ 1^7*u + 734069949496475000904966807372/7043610085305670684651241172\ 1*c_1110_1^7 + 2089976997201931923911621944819/70436100853056706846\ 512411721*c_1110_1^6*u + 2078964021556728463624395499119/7043610085\ 3056706846512411721*c_1110_1^6 + 3489285961320598457931945176545/70\ 436100853056706846512411721*c_1110_1^5*u - 171756655903222134414226911272/70436100853056706846512411721*c_1110\ _1^5 - 340421222384187091488837489826/70436100853056706846512411721\ *c_1110_1^4*u - 3751708002689636240780483322746/7043610085305670684\ 6512411721*c_1110_1^4 - 1396085260114192896046046546439/70436100853\ 056706846512411721*c_1110_1^3*u - 1249351902455521896144411155417/7\ 0436100853056706846512411721*c_1110_1^3 + 806943320683296809861799896383/70436100853056706846512411721*c_1110\ _1^2*u - 357153028693308325698590921131/704361008530567068465124117\ 21*c_1110_1^2 - 702189977283357040608122886985/70436100853056706846\ 512411721*c_1110_1*u - 1396115789415693683464665157509/704361008530\ 56706846512411721*c_1110_1 - 388806461231624451446903767679/7043610\ 0853056706846512411721*u + 13113109786819756587350239066/7043610085\ 3056706846512411721, c_0102_2 + 4836720912436949536315108137673/6832301782746500564111703936\ 937*c_1110_1^9*u - 4720185686741931439228214603282/6832301782746500\ 564111703936937*c_1110_1^9 - 41849850115214774717081856477879/68323\ 01782746500564111703936937*c_1110_1^8*u - 75710085712112456410433852266729/6832301782746500564111703936937*c_\ 1110_1^8 - 315669176409519547331817392258766/6832301782746500564111\ 703936937*c_1110_1^7*u - 134726576450579459457545493650114/68323017\ 82746500564111703936937*c_1110_1^7 - 355255985051683366489239907367517/6832301782746500564111703936937*c\ _1110_1^6*u + 427184545845848656557726502273137/6832301782746500564\ 111703936937*c_1110_1^6 + 613059084391543533859138717773930/6832301\ 782746500564111703936937*c_1110_1^5*u + 1191158757373349782069294032695598/6832301782746500564111703936937*\ c_1110_1^5 + 1006614656090717736103839103532154/6832301782746500564\ 111703936937*c_1110_1^4*u + 555673581524578936907548145027991/68323\ 01782746500564111703936937*c_1110_1^4 + 186620493977790819846530115070609/6832301782746500564111703936937*c\ _1110_1^3*u - 2862759341793500337120733682485/683230178274650056411\ 1703936937*c_1110_1^3 + 284390048842502666211536571982649/683230178\ 2746500564111703936937*c_1110_1^2*u + 363902703719804862760860654244844/6832301782746500564111703936937*c\ _1110_1^2 + 278686074255743678196781257866658/683230178274650056411\ 1703936937*c_1110_1*u + 24226125789353293030788656174978/6832301782\ 746500564111703936937*c_1110_1 - 24445186650527747279674999592619/6\ 832301782746500564111703936937*u - 76218525416087912361103354133524/6832301782746500564111703936937, c_0111_2 - 1942865493030619670011760112527/6832301782746500564111703936\ 937*c_1110_1^9*u - 893851730490086049328356278452/68323017827465005\ 64111703936937*c_1110_1^9 - 5486709537670729450189270300945/6832301\ 782746500564111703936937*c_1110_1^8*u + 10665559854159088108951404958109/6832301782746500564111703936937*c_\ 1110_1^8 + 49980229393525343431939222573595/68323017827465005641117\ 03936937*c_1110_1^7*u + 68575061988032114536927505557767/6832301782\ 746500564111703936937*c_1110_1^7 + 175022794092066156039645181080711/6832301782746500564111703936937*c\ _1110_1^6*u + 41652782455158879490311291148130/68323017827465005641\ 11703936937*c_1110_1^6 + 57548571421511803518676857529856/683230178\ 2746500564111703936937*c_1110_1^5*u - 220592936477104139403239234827224/6832301782746500564111703936937*c\ _1110_1^5 - 208986125059441622550972847081978/683230178274650056411\ 1703936937*c_1110_1^4*u - 250355639730291949270862269449442/6832301\ 782746500564111703936937*c_1110_1^4 - 67752531067296170537246211000782/6832301782746500564111703936937*c_\ 1110_1^3*u - 5163133348941352054460027504567/6832301782746500564111\ 703936937*c_1110_1^3 - 1103933967971229729783601901634/683230178274\ 6500564111703936937*c_1110_1^2*u - 79769876639274976230828916034561/6832301782746500564111703936937*c_\ 1110_1^2 - 90172719238686003166439026877189/68323017827465005641117\ 03936937*c_1110_1*u - 60245104538487114352026504835667/683230178274\ 6500564111703936937*c_1110_1 - 8871597420602073758713654415780/6832\ 301782746500564111703936937*u + 24961018305144377501277009597242/68\ 32301782746500564111703936937, c_0201_0 - 83966261371870936909886418116/683230178274650056411170393693\ 7*c_1110_1^9*u + 394544801398297983655851644420/6832301782746500564\ 111703936937*c_1110_1^9 + 3543952494970527118161539484014/683230178\ 2746500564111703936937*c_1110_1^8*u + 4707543430182615625160216259764/6832301782746500564111703936937*c_1\ 110_1^8 + 23118797584791172973638484889234/683230178274650056411170\ 3936937*c_1110_1^7*u + 5626060782119878181337103337062/683230178274\ 6500564111703936937*c_1110_1^7 + 18536132301610297496150875708948/6\ 832301782746500564111703936937*c_1110_1^6*u - 49378153689756295966456191462751/6832301782746500564111703936937*c_\ 1110_1^6 - 85954773048746427450393910487082/68323017827465005641117\ 03936937*c_1110_1^5*u - 124300247660291466314229901264486/683230178\ 2746500564111703936937*c_1110_1^5 - 136495478423781490121623660639869/6832301782746500564111703936937*c\ _1110_1^4*u - 50265810509554901933384007130569/68323017827465005641\ 11703936937*c_1110_1^4 - 37675466348545072753408176578285/683230178\ 2746500564111703936937*c_1110_1^3*u + 26830624007951670218320383099185/6832301782746500564111703936937*c_\ 1110_1^3 - 38161711740189910893945979611805/68323017827465005641117\ 03936937*c_1110_1^2*u - 24429248591384499348431537128387/6832301782\ 746500564111703936937*c_1110_1^2 - 38020217604943173817944615187831/6832301782746500564111703936937*c_\ 1110_1*u - 1508934457561049741070151660870/683230178274650056411170\ 3936937*c_1110_1 - 5345029183138788010973320608753/6832301782746500\ 564111703936937*u + 7174437630597154613264215829001/683230178274650\ 0564111703936937, c_0201_1 - 13453517691228458663516814887/70436100853056706846512411721*\ c_1110_1^9*u - 19690699341900019096345346911/7043610085305670684651\ 2411721*c_1110_1^9 - 177732967174593623574315146185/704361008530567\ 06846512411721*c_1110_1^8*u - 28804642966415160045124869574/7043610\ 0853056706846512411721*c_1110_1^8 - 43425889439097036849618695026/70436100853056706846512411721*c_1110_\ 1^7*u + 734069949496475000904966807372/7043610085305670684651241172\ 1*c_1110_1^7 + 2089976997201931923911621944819/70436100853056706846\ 512411721*c_1110_1^6*u + 2078964021556728463624395499119/7043610085\ 3056706846512411721*c_1110_1^6 + 3489285961320598457931945176545/70\ 436100853056706846512411721*c_1110_1^5*u - 171756655903222134414226911272/70436100853056706846512411721*c_1110\ _1^5 - 340421222384187091488837489826/70436100853056706846512411721\ *c_1110_1^4*u - 3751708002689636240780483322746/7043610085305670684\ 6512411721*c_1110_1^4 - 1396085260114192896046046546439/70436100853\ 056706846512411721*c_1110_1^3*u - 1249351902455521896144411155417/7\ 0436100853056706846512411721*c_1110_1^3 + 806943320683296809861799896383/70436100853056706846512411721*c_1110\ _1^2*u - 357153028693308325698590921131/704361008530567068465124117\ 21*c_1110_1^2 - 702189977283357040608122886985/70436100853056706846\ 512411721*c_1110_1*u - 1396115789415693683464665157509/704361008530\ 56706846512411721*c_1110_1 - 388806461231624451446903767679/7043610\ 0853056706846512411721*u + 13113109786819756587350239066/7043610085\ 3056706846512411721, c_0201_2 - 3072076075766306123473219692518/6832301782746500564111703936\ 937*c_1110_1^9*u + 361824495038774297171052641792/68323017827465005\ 64111703936937*c_1110_1^9 + 7571058095326782728242765764756/6832301\ 782746500564111703936937*c_1110_1^8*u + 31805662253213291332970326770559/6832301782746500564111703936937*c_\ 1110_1^8 + 141478374239771958737867235604128/6832301782746500564111\ 703936937*c_1110_1^7*u + 98262460483994279684414670189120/683230178\ 2746500564111703936937*c_1110_1^7 + 249823946246331341622212151314416/6832301782746500564111703936937*c\ _1110_1^6*u - 119222585362481724592241202652620/6832301782746500564\ 111703936937*c_1110_1^6 - 187177682667882812432682536587907/6832301\ 782746500564111703936937*c_1110_1^5*u - 586377957089321342228324488046875/6832301782746500564111703936937*c\ _1110_1^5 - 509078294403084897489058684890800/683230178274650056411\ 1703936937*c_1110_1^4*u - 364804991337694145832230418458412/6832301\ 782746500564111703936937*c_1110_1^4 - 112194129786057640540844653375170/6832301782746500564111703936937*c\ _1110_1^3*u - 28013018149434453129679643513590/68323017827465005641\ 11703936937*c_1110_1^3 - 151318107310635999186903889965770/68323017\ 82746500564111703936937*c_1110_1^2*u - 235660815407849821156827256318598/6832301782746500564111703936937*c\ _1110_1^2 - 160237458044472754310526470866840/683230178274650056411\ 1703936937*c_1110_1*u - 44149783591521915823770974689967/6832301782\ 746500564111703936937*c_1110_1 + 9861141260226961904152461724673/68\ 32301782746500564111703936937*u + 24238944345575917690264944863633/\ 6832301782746500564111703936937, c_1011_0 + 45024931092210069235878582493/683230178274650056411170393693\ 7*c_1110_1^9*u - 1397995261510114835668045629808/683230178274650056\ 4111703936937*c_1110_1^9 - 10988213450046678229757305464270/6832301\ 782746500564111703936937*c_1110_1^8*u - 9653070953453614657097472270481/6832301782746500564111703936937*c_1\ 110_1^8 - 36077272488445381789675359062546/683230178274650056411170\ 3936937*c_1110_1^7*u + 6870206790845813745618707381279/683230178274\ 6500564111703936937*c_1110_1^7 + 12683564718431856019372192614805/6\ 832301782746500564111703936937*c_1110_1^6*u + 94482838612451304350222270225675/6832301782746500564111703936937*c_\ 1110_1^6 + 122118082824203514055135167927382/6832301782746500564111\ 703936937*c_1110_1^5*u + 113232619921304867867827419404040/68323017\ 82746500564111703936937*c_1110_1^5 + 80717657120582305249368741944662/6832301782746500564111703936937*c_\ 1110_1^4*u + 13245259237161065023238561203483/683230178274650056411\ 1703936937*c_1110_1^4 + 29117203152817571777391381870107/6832301782\ 746500564111703936937*c_1110_1^3*u + 24337675499773206638983057195702/6832301782746500564111703936937*c_\ 1110_1^3 + 49210318245969534470765057983189/68323017827465005641117\ 03936937*c_1110_1^2*u + 28054531164880576600586423133488/6832301782\ 746500564111703936937*c_1110_1^2 + 12882574082435669498838785347065/6832301782746500564111703936937*c_\ 1110_1*u + 570600792197914780990091621401/6832301782746500564111703\ 936937*c_1110_1 + 676252656708607433251953449037/683230178274650056\ 4111703936937*u - 1669995230602579262054795041202/68323017827465005\ 64111703936937, c_1011_1 + 2664045147279614458355168838224/6832301782746500564111703936\ 937*c_1110_1^9*u + 2349567568654809905237228877280/6832301782746500\ 564111703936937*c_1110_1^9 + 19448907814313045032210275470170/68323\ 01782746500564111703936937*c_1110_1^8*u - 3486619652121792080219976855828/6832301782746500564111703936937*c_1\ 110_1^8 - 15616370418907609987242568137069/683230178274650056411170\ 3936937*c_1110_1^7*u - 101655996807483578696120036040568/6832301782\ 746500564111703936937*c_1110_1^7 - 265990910320996547454126530549365/6832301782746500564111703936937*c\ _1110_1^6*u - 238354099062327100918650362262489/6832301782746500564\ 111703936937*c_1110_1^6 - 415530048393945831682484844088605/6832301\ 782746500564111703936937*c_1110_1^5*u + 14478230786524594779085277056280/6832301782746500564111703936937*c_\ 1110_1^5 - 36002221969094102021076243385568/68323017827465005641117\ 03936937*c_1110_1^4*u + 394367522871922118671691617120455/683230178\ 2746500564111703936937*c_1110_1^4 + 102524331535576003301466663100703/6832301782746500564111703936937*c\ _1110_1^3*u + 177134961698954865921719647044741/6832301782746500564\ 111703936937*c_1110_1^3 - 95279426765380743580361934711255/68323017\ 82746500564111703936937*c_1110_1^2*u + 59424913437835942715096840204509/6832301782746500564111703936937*c_\ 1110_1^2 + 42404183481780213838891998575378/68323017827465005641117\ 03936937*c_1110_1*u + 153629172980943407617952857901505/68323017827\ 46500564111703936937*c_1110_1 + 41547747226386471038794797283286/68\ 32301782746500564111703936937*u + 20243322203477246785766603962510/\ 6832301782746500564111703936937, c_1011_2 - 406702075624190235225468764753/68323017827465005641117039369\ 37*c_1110_1^9*u + 1208329309114890602446296239396/68323017827465005\ 64111703936937*c_1110_1^9 + 8973329189792521530409247156773/6832301\ 782746500564111703936937*c_1110_1^8*u + 12269967612275749003478847367889/6832301782746500564111703936937*c_\ 1110_1^8 + 51675767413958235264180813466973/68323017827465005641117\ 03936937*c_1110_1^7*u + 17464564400543854171949962345732/6832301782\ 746500564111703936937*c_1110_1^7 + 63331304970260944879005181181778/6832301782746500564111703936937*c_\ 1110_1^6*u - 69289593713828326025787459435006/683230178274650056411\ 1703936937*c_1110_1^6 - 72026802208036398297762134586136/6832301782\ 746500564111703936937*c_1110_1^5*u - 209415342703366287058330886317661/6832301782746500564111703936937*c\ _1110_1^5 - 185381397812480496120718770038477/683230178274650056411\ 1703936937*c_1110_1^4*u - 180014105110724271421905591056581/6832301\ 782746500564111703936937*c_1110_1^4 - 109382430631658695384473436043959/6832301782746500564111703936937*c\ _1110_1^3*u - 69447496814437510565792956439471/68323017827465005641\ 11703936937*c_1110_1^3 - 58320979469864712985313238302875/683230178\ 2746500564111703936937*c_1110_1^2*u - 74934463563941710064629858881203/6832301782746500564111703936937*c_\ 1110_1^2 - 63456453742257404451513831024316/68323017827465005641117\ 03936937*c_1110_1*u - 50979884960676079427034354490460/683230178274\ 6500564111703936937*c_1110_1 - 11371724782875173027052949546730/683\ 2301782746500564111703936937*u + 3175708500511347315862887660471/68\ 32301782746500564111703936937, c_1101_0 + 189665952395224233221749390412/68323017827465005641117039369\ 37*c_1110_1^9*u - 172011192136755932767840791848/683230178274650056\ 4111703936937*c_1110_1^9 - 2616896658822134346381375097408/68323017\ 82746500564111703936937*c_1110_1^8*u - 4631780919076291045729433404905/6832301782746500564111703936937*c_1\ 110_1^8 - 24334771191389667917568669727011/683230178274650056411170\ 3936937*c_1110_1^7*u - 8736276265876814443063215322584/683230178274\ 6500564111703936937*c_1110_1^7 - 25193244898622978324434810790669/6\ 832301782746500564111703936937*c_1110_1^6*u + 50821624790069822573942563005914/6832301782746500564111703936937*c_\ 1110_1^6 + 96182722782061419190503466913621/68323017827465005641117\ 03936937*c_1110_1^5*u + 146274003398228534947876500254867/683230178\ 2746500564111703936937*c_1110_1^5 + 166768845873563206398667029853098/6832301782746500564111703936937*c\ _1110_1^4*u + 62105105181665015527317001759283/68323017827465005641\ 11703936937*c_1110_1^4 + 45109821314664303926809899243769/683230178\ 2746500564111703936937*c_1110_1^3*u - 35155406164176819680272154930083/6832301782746500564111703936937*c_\ 1110_1^3 + 46879932399061133464043435747715/68323017827465005641117\ 03936937*c_1110_1^2*u + 37769271175165954949495255428029/6832301782\ 746500564111703936937*c_1110_1^2 + 50409284168478164646044262869059/6832301782746500564111703936937*c_\ 1110_1*u - 164595491343570306630782808192/6832301782746500564111703\ 936937*c_1110_1 - 1505713269908768053808092619269/68323017827465005\ 64111703936937*u - 19033487178821834211720792653899/683230178274650\ 0564111703936937, c_1101_2 + 1759672406042095001657635812068/6832301782746500564111703936\ 937*c_1110_1^9*u + 1632686144997549138125673602713/6832301782746500\ 564111703936937*c_1110_1^9 + 11667955213707771356445530577978/68323\ 01782746500564111703936937*c_1110_1^8*u - 3952039155415197919041208291197/6832301782746500564111703936937*c_1\ 110_1^8 - 22468701716358667220124161785706/683230178274650056411170\ 3936937*c_1110_1^7*u - 67282250470680863452862736170836/68323017827\ 46500564111703936937*c_1110_1^7 - 170497708301144105248599644022258\ /6832301782746500564111703936937*c_1110_1^6*u - 106992518792642426655284888401539/6832301782746500564111703936937*c\ _1110_1^6 - 163323900537471983625200452745286/683230178274650056411\ 1703936937*c_1110_1^5*u + 105068185684960065377811215436963/6832301\ 782746500564111703936937*c_1110_1^5 + 91418481454737125848111466890332/6832301782746500564111703936937*c_\ 1110_1^4*u + 234241243756984446624797210594277/68323017827465005641\ 11703936937*c_1110_1^4 + 55927551979067916968098996978150/683230178\ 2746500564111703936937*c_1110_1^3*u + 49889348967708669065218223918174/6832301782746500564111703936937*c_\ 1110_1^3 - 18943869940985398086038242813802/68323017827465005641117\ 03936937*c_1110_1^2*u + 68035719480150091334222070597416/6832301782\ 746500564111703936937*c_1110_1^2 + 56835580650370320735796657992787/6832301782746500564111703936937*c_\ 1110_1*u + 69553559241462419928004660531660/68323017827465005641117\ 03936937*c_1110_1 + 19197769139515645419967495075832/68323017827465\ 00564111703936937*u + 840534617402418641498655870970/68323017827465\ 00564111703936937, c_1110_1^10 + 3624/403*c_1110_1^9*u + 3363/403*c_1110_1^9 + 14823/403*c_1110_1^8*u - 1699/403*c_1110_1^8 - 292/31*c_1110_1^7*u - 3438/31*c_1110_1^7 - 76571/403*c_1110_1^6*u - 72225/403*c_1110_1^6 - 78721/403*c_1110_1^5*u + 525/403*c_1110_1^5 - 4974/403*c_1110_1^4*u + 35813/403*c_1110_1^4 - 14791/403*c_1110_1^3*u - 5963/403*c_1110_1^3 - 17665/403*c_1110_1^2*u + 11538/403*c_1110_1^2 + 8036/403*c_1110_1*u + 14411/403*c_1110_1 + 2425/403*u + 213/403, u^2 + u + 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0012_1, c_0102_0, c_0102_1, c_0102_2, c_0111_2, c_0201_0, c_0201_1, c_0201_2, c_1011_0, c_1011_1, c_1011_2, c_1101_0, c_1101_2, c_1110_1, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 129122642365708009567207434005868401/174898907209354187001997872445\ 363*c_1110_1^9*u - 116188037388914116629817823626700620/17489890720\ 9354187001997872445363*c_1110_1^9 - 215499090772251991743987981459040728/174898907209354187001997872445\ 363*c_1110_1^8*u - 42304762271136255022051720533222112/134537620930\ 27245153999836341951*c_1110_1^8 + 119551575159451124362506498163836\ 854/174898907209354187001997872445363*c_1110_1^7*u - 781843028218947797986001378743826851/174898907209354187001997872445\ 363*c_1110_1^7 + 429595309913114324750678000446569843/1748989072093\ 54187001997872445363*c_1110_1^6*u - 709590886411958449972872974637495381/174898907209354187001997872445\ 363*c_1110_1^6 + 630291645147498990694756898070783751/1748989072093\ 54187001997872445363*c_1110_1^5*u - 18332594144959610733056844537786105/5641900232559812483935415240173\ *c_1110_1^5 + 656280093513737093430559248359465544/1748989072093541\ 87001997872445363*c_1110_1^4*u - 2523591274375723474913495297044478\ 34/174898907209354187001997872445363*c_1110_1^4 + 457694049513805425617686446148139878/174898907209354187001997872445\ 363*c_1110_1^3*u - 93376682572968783591309955349506876/174898907209\ 354187001997872445363*c_1110_1^3 + 270015435653604592847609443702264355/174898907209354187001997872445\ 363*c_1110_1^2*u - 1382427054290801866919465523127315/1748989072093\ 54187001997872445363*c_1110_1^2 + 110035087243043549916383631395139\ 683/174898907209354187001997872445363*c_1110_1*u + 19987261370337076229089836844011084/1748989072093541870019978724453\ 63*c_1110_1 + 31065099895152451901997947215529864/17489890720935418\ 7001997872445363*u + 9534765926962481123632027542651999/17489890720\ 9354187001997872445363, c_0012_1 + 33661598116959206569181645/191313560792512382581783*c_1110_1\ ^9*u + 22297586608973617117536391/191313560792512382581783*c_1110_1\ ^9 + 74942587249880426526066470/191313560792512382581783*c_1110_1^8\ *u + 126373644783800140838715293/191313560792512382581783*c_1110_1^\ 8 + 5277885627123329836098045/191313560792512382581783*c_1110_1^7*u + 200504835545149964959315545/191313560792512382581783*c_1110_1^7 - 113560521600440140601560489/191313560792512382581783*c_1110_1^6*u + 149301705030100828560315044/191313560792512382581783*c_1110_1^6 - 173354870442719564596613247/191313560792512382581783*c_1110_1^5*u + 58733527223194600317117679/191313560792512382581783*c_1110_1^5 - 156511619266173107539108697/191313560792512382581783*c_1110_1^4*u - 14452700754778544291168406/191313560792512382581783*c_1110_1^4 - 100728259340944051911945067/191313560792512382581783*c_1110_1^3*u - 40178692216001570419337085/191313560792512382581783*c_1110_1^3 - 36810569963486332733765467/191313560792512382581783*c_1110_1^2*u - 24693143227096886643248195/191313560792512382581783*c_1110_1^2 - 10046794628344999690080396/191313560792512382581783*c_1110_1*u - 3591505885345863294391248/191313560792512382581783*c_1110_1 - 5488497041516353039613919/191313560792512382581783*u - 2528361748627271655344502/191313560792512382581783, c_0102_0 - 24909123512123860066569647/191313560792512382581783*c_1110_1\ ^9*u - 8586969833172658467712851/191313560792512382581783*c_1110_1^\ 9 - 81261838191476690387080815/191313560792512382581783*c_1110_1^8*\ u - 85367814668000239648654621/191313560792512382581783*c_1110_1^8 - 70197113993130421392538788/191313560792512382581783*c_1110_1^7*u - 174254018962730679000863379/191313560792512382581783*c_1110_1^7 + 8104484678334764225684037/191313560792512382581783*c_1110_1^6*u - 172332613837379473419957251/191313560792512382581783*c_1110_1^6 + 69048746838167775129832408/191313560792512382581783*c_1110_1^5*u - 115066918267022769772419513/191313560792512382581783*c_1110_1^5 + 85149722593910957663836365/191313560792512382581783*c_1110_1^4*u - 45697619223927815888726641/191313560792512382581783*c_1110_1^4 + 64731635918863477823383709/191313560792512382581783*c_1110_1^3*u - 3587767464888954177098708/191313560792512382581783*c_1110_1^3 + 26813773897061083796913932/191313560792512382581783*c_1110_1^2*u + 6607849293862064403481740/191313560792512382581783*c_1110_1^2 + 6354886170788465100323852/191313560792512382581783*c_1110_1*u - 1151189391602654808713617/191313560792512382581783*c_1110_1 + 3615686606188728484166940/191313560792512382581783*u - 54527795850700269265445/191313560792512382581783, c_0102_1 + 39124652993038556250327338/191313560792512382581783*c_1110_1\ ^9*u - 19809823080636007631523844/191313560792512382581783*c_1110_1\ ^9 + 228960835425610692327958128/191313560792512382581783*c_1110_1^\ 8*u + 90855299249670393684047161/191313560792512382581783*c_1110_1^\ 8 + 380378253652738394308111932/191313560792512382581783*c_1110_1^7\ *u + 358837487318972702455506708/191313560792512382581783*c_1110_1^\ 7 + 306130510823401065974334627/191313560792512382581783*c_1110_1^6\ *u + 502902111682733764313220471/191313560792512382581783*c_1110_1^\ 6 + 144526938152627208658805898/191313560792512382581783*c_1110_1^5\ *u + 459313823248526584373374161/191313560792512382581783*c_1110_1^\ 5 + 3058687989742229110935484/191313560792512382581783*c_1110_1^4*u + 295173276812196138557984604/191313560792512382581783*c_1110_1^4 - 56002635589079670976534581/191313560792512382581783*c_1110_1^3*u + 135370957462123825122200258/191313560792512382581783*c_1110_1^3 - 38992989815456997850668285/191313560792512382581783*c_1110_1^2*u + 33698912366429063602898269/191313560792512382581783*c_1110_1^2 - 4513420069365529096475988/191313560792512382581783*c_1110_1*u + 14745874675959067881240175/191313560792512382581783*c_1110_1 - 3169825903110106418220862/191313560792512382581783*u + 6621616804464000939920615/191313560792512382581783, c_0102_2 - 15703542373916261439337294/191313560792512382581783*c_1110_1\ ^9*u - 18578065894985998585420623/191313560792512382581783*c_1110_1\ ^9 - 11981735004581102729767956/191313560792512382581783*c_1110_1^8\ *u - 73085159823738474086111806/191313560792512382581783*c_1110_1^8 + 62562273588361928931187717/191313560792512382581783*c_1110_1^7*u - 83260410968626165388357140/191313560792512382581783*c_1110_1^7 + 135388717805759471997832334/191313560792512382581783*c_1110_1^6*u - 26367130119256521301901041/191313560792512382581783*c_1110_1^6 + 151001675787838747003186116/191313560792512382581783*c_1110_1^5*u + 29238422031327477191097180/191313560792512382581783*c_1110_1^5 + 115584211944065562309277307/191313560792512382581783*c_1110_1^4*u + 54740721189405539156362099/191313560792512382581783*c_1110_1^4 + 64964981713776285710917346/191313560792512382581783*c_1110_1^3*u + 47620620749822986668952117/191313560792512382581783*c_1110_1^3 + 21306646547568652961754033/191313560792512382581783*c_1110_1^2*u + 21759438456586444765505429/191313560792512382581783*c_1110_1^2 + 6851736877286107144453948/191313560792512382581783*c_1110_1*u + 4708261327441590665877551/191313560792512382581783*c_1110_1 + 3524835010872442653625507/191313560792512382581783*u + 2618613198863402059021357/191313560792512382581783, c_0111_2 + 428269934162814503301380/191313560792512382581783*c_1110_1^9\ *u + 823183745201431786486348/191313560792512382581783*c_1110_1^9 - 785288506193052804533941/191313560792512382581783*c_1110_1^8*u + 1463620424516814433029844/191313560792512382581783*c_1110_1^8 - 2529090088507253973149879/191313560792512382581783*c_1110_1^7*u - 479951666131994302931389/191313560792512382581783*c_1110_1^7 - 1766403431910824637783426/191313560792512382581783*c_1110_1^6*u - 2117430007705341567513330/191313560792512382581783*c_1110_1^6 - 81172734813256282756768/191313560792512382581783*c_1110_1^5*u - 2146835430436734018650744/191313560792512382581783*c_1110_1^5 + 1275954104055223946746638/191313560792512382581783*c_1110_1^4*u - 1240664743315365398719395/191313560792512382581783*c_1110_1^4 + 1443490844091627481955323/191313560792512382581783*c_1110_1^3*u - 414800678671401037363294/191313560792512382581783*c_1110_1^3 + 987143663189469241106472/191313560792512382581783*c_1110_1^2*u + 84912951784182418117437/191313560792512382581783*c_1110_1^2 + 185502439376526864244554/191313560792512382581783*c_1110_1*u - 77565464576916755807863/191313560792512382581783*c_1110_1 + 83031967560482004436527/191313560792512382581783*u - 10379923348187437713105/191313560792512382581783, c_0201_0 + 16322153678951201598856796/191313560792512382581783*c_1110_1\ ^9*u + 24909123512123860066569647/191313560792512382581783*c_1110_1\ ^9 - 4105976476523549261573806/191313560792512382581783*c_1110_1^8*\ u + 81261838191476690387080815/191313560792512382581783*c_1110_1^8 - 104056904969600257608324591/191313560792512382581783*c_1110_1^7*u + 70197113993130421392538788/191313560792512382581783*c_1110_1^7 - 180437098515714237645641288/191313560792512382581783*c_1110_1^6*u - 8104484678334764225684037/191313560792512382581783*c_1110_1^6 - 184115665105190544902251921/191313560792512382581783*c_1110_1^5*u - 69048746838167775129832408/191313560792512382581783*c_1110_1^5 - 130847341817838773552563006/191313560792512382581783*c_1110_1^4*u - 85149722593910957663836365/191313560792512382581783*c_1110_1^4 - 68319403383752432000482417/191313560792512382581783*c_1110_1^3*u - 64731635918863477823383709/191313560792512382581783*c_1110_1^3 - 20205924603199019393432192/191313560792512382581783*c_1110_1^2*u - 26813773897061083796913932/191313560792512382581783*c_1110_1^2 - 7506075562391119909037469/191313560792512382581783*c_1110_1*u - 6354886170788465100323852/191313560792512382581783*c_1110_1 - 3670214402039428753432385/191313560792512382581783*u - 3615686606188728484166940/191313560792512382581783, c_0201_1 + 6576167106300328522805648/191313560792512382581783*c_1110_1^\ 9*u + 4694188163759427684616697/191313560792512382581783*c_1110_1^9 + 11861881909930097567617727/191313560792512382581783*c_1110_1^8*u + 24395786104198359009276071/191313560792512382581783*c_1110_1^8 - 5477595235273833162639158/191313560792512382581783*c_1110_1^7*u + 35258563200895684843643712/191313560792512382581783*c_1110_1^7 - 29714901643131410851450196/191313560792512382581783*c_1110_1^6*u + 22077754191796212635227756/191313560792512382581783*c_1110_1^6 - 39860041496068384047020973/191313560792512382581783*c_1110_1^5*u + 4534429025027473597973451/191313560792512382581783*c_1110_1^5 - 33637683644228333268239666/191313560792512382581783*c_1110_1^4*u - 7892598666936439683298180/191313560792512382581783*c_1110_1^4 - 21252460711089352063121793/191313560792512382581783*c_1110_1^3*u - 10760777430544635434085687/191313560792512382581783*c_1110_1^3 - 7260045240042739741580751/191313560792512382581783*c_1110_1^2*u - 5211008319861947586975227/191313560792512382581783*c_1110_1^2 - 1992410000098966232260616/191313560792512382581783*c_1110_1*u - 988296702663167176505772/191313560792512382581783*c_1110_1 - 1147807048119970558954514/191313560792512382581783*u - 458974369760089289016472/191313560792512382581783, c_0201_2 + 18578065894985998585420623/191313560792512382581783*c_1110_1\ ^9*u + 2874523521069737146083329/191313560792512382581783*c_1110_1^\ 9 + 73085159823738474086111806/191313560792512382581783*c_1110_1^8*\ u + 61103424819157371356343850/191313560792512382581783*c_1110_1^8 + 83260410968626165388357140/191313560792512382581783*c_1110_1^7*u + 145822684556988094319544857/191313560792512382581783*c_1110_1^7 + 26367130119256521301901041/191313560792512382581783*c_1110_1^6*u + 161755847925015993299733375/191313560792512382581783*c_1110_1^6 - 29238422031327477191097180/191313560792512382581783*c_1110_1^5*u + 121763253756511269812088936/191313560792512382581783*c_1110_1^5 - 54740721189405539156362099/191313560792512382581783*c_1110_1^4*u + 60843490754660023152915208/191313560792512382581783*c_1110_1^4 - 47620620749822986668952117/191313560792512382581783*c_1110_1^3*u + 17344360963953299041965229/191313560792512382581783*c_1110_1^3 - 21759438456586444765505429/191313560792512382581783*c_1110_1^2*u - 452791909017791803751396/191313560792512382581783*c_1110_1^2 - 4708261327441590665877551/191313560792512382581783*c_1110_1*u + 2143475549844516478576397/191313560792512382581783*c_1110_1 - 2618613198863402059021357/191313560792512382581783*u + 906221812009040594604150/191313560792512382581783, c_1011_0 - 3220411229162542854521901/191313560792512382581783*c_1110_1^\ 9*u - 19982966591482142845262081/191313560792512382581783*c_1110_1^\ 9 + 46884073388108704402223549/191313560792512382581783*c_1110_1^8*\ u - 34727312130275841368724938/191313560792512382581783*c_1110_1^8 + 141224876257355330506237886/191313560792512382581783*c_1110_1^7*u + 25190940305852277268063957/191313560792512382581783*c_1110_1^7 + 176579078947807815703466338/191313560792512382581783*c_1110_1^6*u + 104693341470664712543779951/191313560792512382581783*c_1110_1^6 + 148098617495504829657132646/191313560792512382581783*c_1110_1^5*u + 135950901470170149200504838/191313560792512382581783*c_1110_1^5 + 86280822087417235150179027/191313560792512382581783*c_1110_1^4*u + 114420329628628068807562089/191313560792512382581783*c_1110_1^4 + 34122782611456123943789712/191313560792512382581783*c_1110_1^3*u + 69856002871494652365385381/191313560792512382581783*c_1110_1^3 + 5860149730625625637352803/191313560792512382581783*c_1110_1^2*u + 24871397574074810798146398/191313560792512382581783*c_1110_1^2 + 4156757192068432789924489/191313560792512382581783*c_1110_1*u + 7356692271204413423013884/191313560792512382581783*c_1110_1 + 1733145835046351107981104/191313560792512382581783*u + 3777038935384009074110061/191313560792512382581783, c_1011_1 + 6572571317411853423189844/191313560792512382581783*c_1110_1^\ 9*u - 512719012224731422828271/191313560792512382581783*c_1110_1^9 + 28818704085020015779746755/191313560792512382581783*c_1110_1^8*u + 18159608511894845170345580/191313560792512382581783*c_1110_1^8 + 38069323319433638998836475/191313560792512382581783*c_1110_1^7*u + 49817222030982765945598065/191313560792512382581783*c_1110_1^7 + 20825925200706142772495313/191313560792512382581783*c_1110_1^6*u + 58636239725863130933405692/191313560792512382581783*c_1110_1^6 + 83622698176317287200143/191313560792512382581783*c_1110_1^5*u + 46790425628918423860006434/191313560792512382581783*c_1110_1^5 - 12435001830830569649869417/191313560792512382581783*c_1110_1^4*u + 25205738581708468936822927/191313560792512382581783*c_1110_1^4 - 13756877495722329434861578/191313560792512382581783*c_1110_1^3*u + 8272145363072012340592417/191313560792512382581783*c_1110_1^3 - 6828680626435806814225019/191313560792512382581783*c_1110_1^2*u + 559286293048815001549116/191313560792512382581783*c_1110_1^2 - 1284530269406290124396406/191313560792512382581783*c_1110_1*u + 896904903567018888838755/191313560792512382581783*c_1110_1 - 896950596747569327025827/191313560792512382581783*u + 261219706220526366499085/191313560792512382581783, c_1011_2 + 13494844352132206341599128/191313560792512382581783*c_1110_1\ ^9*u + 23537380958979484473100218/191313560792512382581783*c_1110_1\ ^9 - 11465711960445966776833456/191313560792512382581783*c_1110_1^8\ *u + 72647252155098056776974238/191313560792512382581783*c_1110_1^8 - 110548395567761428239348618/191313560792512382581783*c_1110_1^7*u + 54948766875103154648745663/191313560792512382581783*c_1110_1^7 - 182389102965323161611897530/191313560792512382581783*c_1110_1^6*u - 22443386766171674367116354/191313560792512382581783*c_1110_1^6 - 182743777062451634064954647/191313560792512382581783*c_1110_1^5*u - 79202677103889115957534173/191313560792512382581783*c_1110_1^5 - 128467020483561192041262237/191313560792512382581783*c_1110_1^4*u - 89745321792142975782178938/191313560792512382581783*c_1110_1^4 - 65814761582935962753071543/191313560792512382581783*c_1110_1^3*u - 65619587803233481500278787/191313560792512382581783*c_1110_1^3 - 19589146903877288226576967/191313560792512382581783*c_1110_1^2*u - 27043414007766804396234283/191313560792512382581783*c_1110_1^2 - 7154569344741669051700787/191313560792512382581783*c_1110_1*u - 6392023251891904161937231/191313560792512382581783*c_1110_1 - 3224340012417448118019846/191313560792512382581783*u - 3452903186178092588439849/191313560792512382581783, c_1101_0 + 823183745201431786486348/191313560792512382581783*c_1110_1^9\ *u + 394913811038617283184968/191313560792512382581783*c_1110_1^9 + 1463620424516814433029844/191313560792512382581783*c_1110_1^8*u + 2248908930709867237563785/191313560792512382581783*c_1110_1^8 - 479951666131994302931389/191313560792512382581783*c_1110_1^7*u + 2049138422375259670218490/191313560792512382581783*c_1110_1^7 - 2117430007705341567513330/191313560792512382581783*c_1110_1^6*u - 351026575794516929729904/191313560792512382581783*c_1110_1^6 - 2146835430436734018650744/191313560792512382581783*c_1110_1^5*u - 2065662695623477735893976/191313560792512382581783*c_1110_1^5 - 1240664743315365398719395/191313560792512382581783*c_1110_1^4*u - 2516618847370589345466033/191313560792512382581783*c_1110_1^4 - 414800678671401037363294/191313560792512382581783*c_1110_1^3*u - 1858291522763028519318617/191313560792512382581783*c_1110_1^3 + 84912951784182418117437/191313560792512382581783*c_1110_1^2*u - 902230711405286822989035/191313560792512382581783*c_1110_1^2 - 268879025369429138389646/191313560792512382581783*c_1110_1*u - 263067903953443620052417/191313560792512382581783*c_1110_1 - 201693484140699820294888/191313560792512382581783*u - 284725451701181824731415/191313560792512382581783, c_1101_2 + 7000841251574667926491224/191313560792512382581783*c_1110_1^\ 9*u + 310464732976700363658077/191313560792512382581783*c_1110_1^9 + 28033415578826962975212814/191313560792512382581783*c_1110_1^8*u + 19623228936411659603375424/191313560792512382581783*c_1110_1^8 + 35540233230926385025686596/191313560792512382581783*c_1110_1^7*u + 49337270364850771642666676/191313560792512382581783*c_1110_1^7 + 19059521768795318134711887/191313560792512382581783*c_1110_1^6*u + 56518809718157789365892362/191313560792512382581783*c_1110_1^6 + 2449963363061004443375/191313560792512382581783*c_1110_1^5*u + 44643590198481689841355690/191313560792512382581783*c_1110_1^5 - 11159047726775345703122779/191313560792512382581783*c_1110_1^4*u + 23965073838393103538103532/191313560792512382581783*c_1110_1^4 - 12313386651630701952906255/191313560792512382581783*c_1110_1^3*u + 7857344684400611303229123/191313560792512382581783*c_1110_1^3 - 5841536963246337573118547/191313560792512382581783*c_1110_1^2*u + 644199244832997419666553/191313560792512382581783*c_1110_1^2 - 1099027830029763260151852/191313560792512382581783*c_1110_1*u + 1010652999782614515612675/191313560792512382581783*c_1110_1 - 813918629187087322589300/191313560792512382581783*u + 250839782872338928785980/191313560792512382581783, c_1110_1^10 - 55610/13423*c_1110_1^9*u + 13013/13423*c_1110_1^9 - 159045/13423*c_1110_1^8*u - 83883/13423*c_1110_1^8 - 174983/13423*c_1110_1^7*u - 199041/13423*c_1110_1^7 - 101033/13423*c_1110_1^6*u - 219597/13423*c_1110_1^6 - 15030/13423*c_1110_1^5*u - 163743/13423*c_1110_1^5 + 33353/13423*c_1110_1^4*u - 83780/13423*c_1110_1^4 + 39086/13423*c_1110_1^3*u - 22102/13423*c_1110_1^3 + 15348/13423*c_1110_1^2*u - 1842/13423*c_1110_1^2 + 3027/13423*c_1110_1*u - 3538/13423*c_1110_1 + 2212/13423*u - 213/13423, u^2 + u + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ], [ ], [ ], [ ], [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 23358.040 Total time: 23358.360 seconds, Total memory usage: 2562.94MB