Magma V2.19-8 Mon Sep 9 2013 19:29:18 on localhost [Seed = 2230882093] Type ? for help. Type -D to quit. Loading file "10^2_48__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_48 geometric_solution 14.40412004 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 16 1 2 3 4 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 1 0 -1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.433901773967 0.772701697215 0 4 4 3 0132 1023 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 -1 1 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.134837556903 0.774929654479 5 0 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -5 0 0 5 -6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.913948211003 0.731322499867 8 5 1 0 0132 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 0 1 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.303367943693 1.798461118322 1 5 0 1 1023 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -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.134837556903 0.774929654479 2 4 3 9 0132 0132 0213 0132 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 0 5 0 1 -6 0 -1 0 1 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.757584691473 1.361589609686 10 9 2 11 0132 0321 0132 0132 0 0 1 0 0 0 0 0 1 0 -1 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 6 0 -5 -1 0 1 0 -1 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.130870315036 1.164000442596 12 9 13 2 0132 0132 0132 0132 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.389205736071 0.616826010253 3 10 14 14 0132 0321 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 0 -1 6 0 0 -6 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.595574017383 0.688592756222 15 7 5 6 0132 0132 0132 0321 0 0 1 0 0 0 0 0 0 0 1 -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 0 0 6 -6 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.470933495824 0.625580845356 6 15 11 8 0132 0213 0213 0321 0 0 0 1 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 -6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.742324055027 0.607888867012 12 10 6 14 3012 0213 0132 0321 0 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 -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.830762472210 0.718538698809 7 13 15 11 0132 1023 0132 1230 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 -1 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 0 0 -0.008004504907 1.629128942327 12 15 14 7 1023 0132 0321 0132 0 0 1 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 1 0 -1 0 0 0 0 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.000000000000 1.000000000000 8 11 13 8 3120 0321 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.634174488387 1.079772264034 9 13 10 12 0132 0132 0213 0132 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0.386189862909 1.003015873162 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : d['c_1001_10'], 'c_1001_14' : d['c_1001_14'], 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : d['c_0101_13'], 'c_1001_12' : d['c_0101_13'], 's_0_10' : d['1'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_10'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_2'], 'c_1001_8' : d['c_1001_8'], 'c_1010_13' : d['c_1001_10'], 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : d['c_1001_8'], 'c_1010_10' : negation(d['c_0011_14']), 'c_1010_15' : d['c_0101_13'], 'c_1010_14' : d['c_1001_8'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : negation(d['1']), 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_11'], 'c_0101_10' : d['c_0011_11'], 'c_0101_15' : d['c_0011_10'], 'c_0101_14' : negation(d['c_0101_13']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_12' : d['1'], 's_2_13' : negation(d['1']), 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_14' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : negation(d['c_0011_12']), 'c_0011_14' : d['c_0011_14'], 'c_1100_9' : d['c_1001_0'], 'c_1100_8' : d['c_0101_13'], 'c_0011_13' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1001_14'], 'c_1100_6' : d['c_1001_14'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1001_14'], 'c_1100_15' : negation(d['c_0011_14']), 'c_1100_14' : d['c_0101_13'], 'c_1100_11' : d['c_1001_14'], 'c_1100_10' : d['c_1001_8'], 'c_1100_13' : d['c_1001_14'], 's_3_10' : d['1'], 's_3_13' : negation(d['1']), 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_1001_2'], 's_3_15' : d['1'], 'c_1010_9' : d['c_1001_10'], 's_0_15' : d['1'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_14']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_12'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0101_13' : d['c_0101_13'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_14']), 'c_0110_10' : d['c_0011_3'], 'c_0110_13' : d['c_0011_11'], 'c_0110_12' : d['c_0011_11'], 'c_0110_15' : d['c_0101_12'], 'c_0110_14' : d['c_0101_0'], 's_0_13' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0011_7' : negation(d['c_0011_12']), 's_0_8' : negation(d['1']), 's_2_15' : d['1'], 'c_1010_8' : negation(d['c_0011_14']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_12'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], '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_0011_3'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0011_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_14, c_0011_3, c_0101_0, c_0101_1, c_0101_12, c_0101_13, c_1001_0, c_1001_10, c_1001_14, c_1001_2, c_1001_8, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 699836160835041547/25238816719515105057*c_1001_8^9 - 1573550449309115651/33651755626020140076*c_1001_8^8 + 46966202258031181127/100955266878060420228*c_1001_8^7 + 2104788026249906157/11217251875340046692*c_1001_8^6 - 54858647056306964291/16825877813010070038*c_1001_8^5 + 21043051845476836427/5608625937670023346*c_1001_8^4 + 122762015814985214836/25238816719515105057*c_1001_8^3 - 15446413113131651557/1463119809826962612*c_1001_8^2 - 304005721055089703615/16825877813010070038*c_1001_8 + 290041313429883367231/7765789759850801556, c_0011_0 - 1, c_0011_10 + 1, c_0011_11 - 74975166604/69588423956511*c_1001_8^9 - 105502326911/23196141318837*c_1001_8^8 + 411332443712/69588423956511*c_1001_8^7 + 201563471129/7732047106279*c_1001_8^6 - 1059008065834/23196141318837*c_1001_8^5 - 319066757790/7732047106279*c_1001_8^4 + 4648112774596/69588423956511*c_1001_8^3 + 8786520711973/23196141318837*c_1001_8^2 - 17371207452304/23196141318837*c_1001_8 - 53151295750124/69588423956511, c_0011_12 - 74975166604/69588423956511*c_1001_8^9 - 105502326911/23196141318837*c_1001_8^8 + 411332443712/69588423956511*c_1001_8^7 + 201563471129/7732047106279*c_1001_8^6 - 1059008065834/23196141318837*c_1001_8^5 - 319066757790/7732047106279*c_1001_8^4 + 4648112774596/69588423956511*c_1001_8^3 + 8786520711973/23196141318837*c_1001_8^2 - 17371207452304/23196141318837*c_1001_8 - 53151295750124/69588423956511, c_0011_14 - 1652562112649/1600533750999753*c_1001_8^9 - 1570461456091/533511250333251*c_1001_8^8 + 24207473549335/1600533750999753*c_1001_8^7 + 5612681270590/177837083444417*c_1001_8^6 - 47479804211360/533511250333251*c_1001_8^5 - 1218482450402/177837083444417*c_1001_8^4 + 258868572218807/1600533750999753*c_1001_8^3 - 2539845372932/23196141318837*c_1001_8^2 - 497010118733792/533511250333251*c_1001_8 + 328695023028530/1600533750999753, c_0011_3 - 38483699164/69588423956511*c_1001_8^9 - 53201140823/23196141318837*c_1001_8^8 + 546454097786/69588423956511*c_1001_8^7 + 257892153230/7732047106279*c_1001_8^6 - 720483295252/23196141318837*c_1001_8^5 - 607716723115/7732047106279*c_1001_8^4 + 1465595393596/69588423956511*c_1001_8^3 - 2723899257677/23196141318837*c_1001_8^2 + 1837455562094/23196141318837*c_1001_8 - 25139391989174/69588423956511, c_0101_0 - 1268160781001/1600533750999753*c_1001_8^9 - 1829176734601/533511250333251*c_1001_8^8 + 7046787248005/1600533750999753*c_1001_8^7 + 4272316465019/177837083444417*c_1001_8^6 - 6898292601242/533511250333251*c_1001_8^5 - 2208380496235/177837083444417*c_1001_8^4 - 69796668057601/1600533750999753*c_1001_8^3 + 1819269753052/23196141318837*c_1001_8^2 + 98514138624157/533511250333251*c_1001_8 - 531739376286442/1600533750999753, c_0101_1 - 2786409744523/1600533750999753*c_1001_8^9 - 3084569613470/533511250333251*c_1001_8^8 + 29626329857798/1600533750999753*c_1001_8^7 + 6477377680803/177837083444417*c_1001_8^6 - 72198895671157/533511250333251*c_1001_8^5 + 10907778605506/177837083444417*c_1001_8^4 + 460145937335587/1600533750999753*c_1001_8^3 - 8428334890405/23196141318837*c_1001_8^2 - 406255822575079/533511250333251*c_1001_8 + 1421714558149147/1600533750999753, c_0101_12 + 113458865768/69588423956511*c_1001_8^9 + 158703467734/23196141318837*c_1001_8^8 - 957786541498/69588423956511*c_1001_8^7 - 459455624359/7732047106279*c_1001_8^6 + 1779491361086/23196141318837*c_1001_8^5 + 926783480905/7732047106279*c_1001_8^4 - 6113708168192/69588423956511*c_1001_8^3 - 6062621454296/23196141318837*c_1001_8^2 + 15533751890210/23196141318837*c_1001_8 + 78290687739298/69588423956511, c_0101_13 + 956991800015/1600533750999753*c_1001_8^9 + 2079718301791/533511250333251*c_1001_8^8 + 2178383094881/1600533750999753*c_1001_8^7 - 4954798089667/177837083444417*c_1001_8^6 - 6551502906382/533511250333251*c_1001_8^5 + 20097537610413/177837083444417*c_1001_8^4 + 118253284350391/1600533750999753*c_1001_8^3 - 8602466827228/23196141318837*c_1001_8^2 - 139733825258962/533511250333251*c_1001_8 + 2129380841032384/1600533750999753, c_1001_0 + 3457446644647/1600533750999753*c_1001_8^9 + 3532382757359/533511250333251*c_1001_8^8 - 41613643782080/1600533750999753*c_1001_8^7 - 9295876670014/177837083444417*c_1001_8^6 + 84002335980475/533511250333251*c_1001_8^5 - 5787639941098/177837083444417*c_1001_8^4 - 406079444137330/1600533750999753*c_1001_8^3 + 5238147325948/23196141318837*c_1001_8^2 + 692874859534606/533511250333251*c_1001_8 - 1802373997522972/1600533750999753, c_1001_10 - 2189285863646/1600533750999753*c_1001_8^9 - 1703206022758/533511250333251*c_1001_8^8 + 34566856534075/1600533750999753*c_1001_8^7 + 5023560204995/177837083444417*c_1001_8^6 - 77104043379233/533511250333251*c_1001_8^5 + 7996020437333/177837083444417*c_1001_8^4 + 475876112194931/1600533750999753*c_1001_8^3 - 7057417079000/23196141318837*c_1001_8^2 - 791388998158763/533511250333251*c_1001_8 + 2334113373809414/1600533750999753, c_1001_14 - 103722993662/533511250333251*c_1001_8^9 + 83513855730/177837083444417*c_1001_8^8 + 3075056780962/533511250333251*c_1001_8^7 - 682481624648/177837083444417*c_1001_8^6 - 4483265169208/177837083444417*c_1001_8^5 + 17889157114178/177837083444417*c_1001_8^4 + 16152205430930/533511250333251*c_1001_8^3 - 2261065691392/7732047106279*c_1001_8^2 - 191576978989352/177837083444417*c_1001_8 + 532547154915314/533511250333251, c_1001_2 + 1268160781001/1600533750999753*c_1001_8^9 + 1829176734601/533511250333251*c_1001_8^8 - 7046787248005/1600533750999753*c_1001_8^7 - 4272316465019/177837083444417*c_1001_8^6 + 6898292601242/533511250333251*c_1001_8^5 + 2208380496235/177837083444417*c_1001_8^4 + 69796668057601/1600533750999753*c_1001_8^3 - 1819269753052/23196141318837*c_1001_8^2 - 98514138624157/533511250333251*c_1001_8 + 531739376286442/1600533750999753, c_1001_8^10 + 2*c_1001_8^9 - 14*c_1001_8^8 - 4*c_1001_8^7 + 93*c_1001_8^6 - 156*c_1001_8^5 - 64*c_1001_8^4 + 316*c_1001_8^3 + 366*c_1001_8^2 - 1096*c_1001_8 + 1213, c_1100_0 - 1 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_14, c_0011_3, c_0101_0, c_0101_1, c_0101_12, c_0101_13, c_1001_0, c_1001_10, c_1001_14, c_1001_2, c_1001_8, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 1242547668500025103878069215056/88112197616963002152378627794499*c_\ 1001_8^11 + 8063765174016907209990946996178/26433659285088900645713\ 5883383497*c_1001_8^10 + 52540724733068355913048321213091/264336592\ 850889006457135883383497*c_1001_8^9 - 208757589464738856951862099849681/352448790467852008609514511177996\ *c_1001_8^8 - 1582421768382284563605008998124809/105734637140355602\ 5828543533533988*c_1001_8^7 + 178433997919116966463473489028105/271\ 11445420604000662270347013692*c_1001_8^6 - 179350461433514416659511777905509/27824904510619895416540619303526*\ c_1001_8^5 - 887744737780997997713823492512497/17622439523392600430\ 4757255588998*c_1001_8^4 + 4254265751006803263265110003241040/26433\ 6592850889006457135883383497*c_1001_8^3 - 8033487753100101470358517191508655/10573463714035560258285435335339\ 88*c_1001_8^2 - 5539944541948347017059308126063889/5286731857017780\ 12914271766766994*c_1001_8 + 3780750600723023359495978328731489/105\ 7346371403556025828543533533988, c_0011_0 - 1, c_0011_10 + 1, c_0011_11 - 77190646693918960690688/69750459028238298350031251*c_1001_8\ ^11 + 194799980616342629198440/69750459028238298350031251*c_1001_8^\ 10 + 914735653845140179830764/69750459028238298350031251*c_1001_8^9 - 3454621685646885143792423/69750459028238298350031251*c_1001_8^8 - 5707820721097926565116836/69750459028238298350031251*c_1001_8^7 + 35563972003410852286763789/69750459028238298350031251*c_1001_8^6 - 106909284909762024456414/130863900615831704221447*c_1001_8^5 + 21436894620748280615931204/69750459028238298350031251*c_1001_8^4 + 2441630161317340032249020/5365419925249099873079327*c_1001_8^3 - 20167553444791923267934339/69750459028238298350031251*c_1001_8^2 - 1772204694538214217659132/3671076790959910439475329*c_1001_8 - 266151983423792172196804/1701230708005812154878811, c_0011_12 + 77190646693918960690688/69750459028238298350031251*c_1001_8\ ^11 - 194799980616342629198440/69750459028238298350031251*c_1001_8^\ 10 - 914735653845140179830764/69750459028238298350031251*c_1001_8^9 + 3454621685646885143792423/69750459028238298350031251*c_1001_8^8 + 5707820721097926565116836/69750459028238298350031251*c_1001_8^7 - 35563972003410852286763789/69750459028238298350031251*c_1001_8^6 + 106909284909762024456414/130863900615831704221447*c_1001_8^5 - 21436894620748280615931204/69750459028238298350031251*c_1001_8^4 - 2441630161317340032249020/5365419925249099873079327*c_1001_8^3 + 20167553444791923267934339/69750459028238298350031251*c_1001_8^2 + 1772204694538214217659132/3671076790959910439475329*c_1001_8 + 266151983423792172196804/1701230708005812154878811, c_0011_14 + 4052763959067219616873608/4115277082666059602651843809*c_10\ 01_8^11 - 7830157635516916287336748/4115277082666059602651843809*c_\ 1001_8^10 - 51233375322491826143202207/4115277082666059602651843809\ *c_1001_8^9 + 153955910086845407972960119/4115277082666059602651843\ 809*c_1001_8^8 + 356233054554012592814009071/4115277082666059602651\ 843809*c_1001_8^7 - 1697224987461639203598141640/411527708266605960\ 2651843809*c_1001_8^6 + 4525074938200303957414974/77209701363340705\ 49065373*c_1001_8^5 + 481498759571453547625894528/41152770826660596\ 02651843809*c_1001_8^4 - 265084991311874376455828835/31655977558969\ 6892511680293*c_1001_8^3 + 607469698119085642017112166/411527708266\ 6059602651843809*c_1001_8^2 + 1948143799901388460710514368/41152770\ 82666059602651843809*c_1001_8 - 63880295663404034450126574/10037261\ 1772342917137849849, c_0011_3 + 57512892470503217666176/69750459028238298350031251*c_1001_8^\ 11 - 108586950984107766445448/69750459028238298350031251*c_1001_8^1\ 0 - 888107680514049093774172/69750459028238298350031251*c_1001_8^9 + 2273466813841898039987819/69750459028238298350031251*c_1001_8^8 + 7245951022543011694282002/69750459028238298350031251*c_1001_8^7 - 27010102599933705850764962/69750459028238298350031251*c_1001_8^6 + 29526679939316892796860/130863900615831704221447*c_1001_8^5 + 47154273290527824106383693/69750459028238298350031251*c_1001_8^4 - 6852206703710129510185372/5365419925249099873079327*c_1001_8^3 + 4216942283115136067883337/69750459028238298350031251*c_1001_8^2 + 70044602414815319241206186/69750459028238298350031251*c_1001_8 - 2317046632182105683596938/1701230708005812154878811, c_0101_0 + 1900391704386695708095672/4115277082666059602651843809*c_100\ 1_8^11 - 3689195041314811380492612/4115277082666059602651843809*c_1\ 001_8^10 - 24894049067901730252816673/4115277082666059602651843809*\ c_1001_8^9 + 61404627477511057177624903/411527708266605960265184380\ 9*c_1001_8^8 + 190100218017535937821891375/411527708266605960265184\ 3809*c_1001_8^7 - 642722936870569813955389683/411527708266605960265\ 1843809*c_1001_8^6 + 1452617341105901073084116/77209701363340705490\ 65373*c_1001_8^5 - 1023791261723182216761017773/4115277082666059602\ 651843809*c_1001_8^4 + 115567910331364078501214659/3165597755896968\ 92511680293*c_1001_8^3 - 1561134342624895169588819298/4115277082666\ 059602651843809*c_1001_8^2 - 123592048065089945939088377/2165935306\ 66634715929044411*c_1001_8 + 67585906713994526889717862/10037261177\ 2342917137849849, c_0101_1 + 5748537500719125713953304/4115277082666059602651843809*c_100\ 1_8^11 - 8069680153383672722025340/4115277082666059602651843809*c_1\ 001_8^10 - 84680163612209570763749177/4115277082666059602651843809*\ c_1001_8^9 + 176345131023999650708124814/41152770826660596026518438\ 09*c_1001_8^8 + 701572382590391447225790728/41152770826660596026518\ 43809*c_1001_8^7 - 2105349671230967092206391825/4115277082666059602\ 651843809*c_1001_8^6 + 2717594122975714249753879/772097013633407054\ 9065373*c_1001_8^5 + 2454437771146738495654856070/41152770826660596\ 02651843809*c_1001_8^4 - 408140280012885193773256937/31655977558969\ 6892511680293*c_1001_8^3 + 2291585762294936958340582601/41152770826\ 66059602651843809*c_1001_8^2 + 2997206821667658654372100949/4115277\ 082666059602651843809*c_1001_8 - 10420264266073141815203259/1003726\ 11772342917137849849, c_0101_12 + 134703539164422178356864/69750459028238298350031251*c_1001_\ 8^11 - 303386931600450395643888/69750459028238298350031251*c_1001_8\ ^10 - 1802843334359189273604936/69750459028238298350031251*c_1001_8\ ^9 + 5728088499488783183780242/69750459028238298350031251*c_1001_8^\ 8 + 12953771743640938259398838/69750459028238298350031251*c_1001_8^\ 7 - 62574074603344558137528751/69750459028238298350031251*c_1001_8^\ 6 + 136435964849078917253274/130863900615831704221447*c_1001_8^5 + 25717378669779543490452489/69750459028238298350031251*c_1001_8^4 - 9293836865027469542434392/5365419925249099873079327*c_1001_8^3 + 24384495727907059335817676/69750459028238298350031251*c_1001_8^2 + 103716491611041389376729694/69750459028238298350031251*c_1001_8 - 2050894648758313511400134/1701230708005812154878811, c_0101_13 + 3894744851633688906181368/4115277082666059602651843809*c_10\ 01_8^11 - 10069671328909657055652644/4115277082666059602651843809*c\ _1001_8^10 - 55134381404700340999489017/411527708266605960265184380\ 9*c_1001_8^9 + 184001311382992799870074159/411527708266605960265184\ 3809*c_1001_8^8 + 408039478320802764490522371/411527708266605960265\ 1843809*c_1001_8^7 - 1994645414135689726516054669/41152770826660596\ 02651843809*c_1001_8^6 + 3524646987895352160528192/7720970136334070\ 549065373*c_1001_8^5 + 1035826581945539518310802323/411527708266605\ 9602651843809*c_1001_8^4 - 283251383724746326547800293/316559775589\ 696892511680293*c_1001_8^3 + 43748186833022676778743722/21659353066\ 6634715929044411*c_1001_8^2 + 4171129205150053512516537578/41152770\ 82666059602651843809*c_1001_8 - 57122488613336462722481332/10037261\ 1772342917137849849, c_1001_0 + 2830378372613230483149672/4115277082666059602651843809*c_100\ 1_8^11 - 2130801506346916895362764/4115277082666059602651843809*c_1\ 001_8^10 - 43099098146487234444003555/4115277082666059602651843809*\ c_1001_8^9 + 49852069762332927832170173/411527708266605960265184380\ 9*c_1001_8^8 + 20710308703494919272666466/2165935306666347159290444\ 11*c_1001_8^7 - 35180427037340118097023380/216593530666634715929044\ 411*c_1001_8^6 - 139200862110258169994971/7720970136334070549065373\ *c_1001_8^5 + 336897829554851295146171516/4115277082666059602651843\ 809*c_1001_8^4 + 114639064671100872756303202/3165597755896968925116\ 80293*c_1001_8^3 - 2854086372290091961580825510/4115277082666059602\ 651843809*c_1001_8^2 - 3476646983473107145480815744/411527708266605\ 9602651843809*c_1001_8 + 112855601918714165938302380/10037261177234\ 2917137849849, c_1001_10 + 929986668226534775054000/4115277082666059602651843809*c_100\ 1_8^11 + 1558393534967894485129848/4115277082666059602651843809*c_1\ 001_8^10 - 18205049078585504191186882/4115277082666059602651843809*\ c_1001_8^9 - 11552557715178129345454730/411527708266605960265184380\ 9*c_1001_8^8 + 203395647348867528358771479/411527708266605960265184\ 3809*c_1001_8^7 - 25705176838892429888054537/4115277082666059602651\ 843809*c_1001_8^6 - 1591818203216159243079087/772097013633407054906\ 5373*c_1001_8^5 + 1360689091278033511907189289/41152770826660596026\ 51843809*c_1001_8^4 - 928845660263205744911457/31655977558969689251\ 1680293*c_1001_8^3 - 1292952029665196791992006212/41152770826660596\ 02651843809*c_1001_8^2 - 1128398070236398172638136581/4115277082666\ 059602651843809*c_1001_8 + 45269695204719639048584518/1003726117723\ 42917137849849, c_1001_14 - 5795136556020384614277040/4115277082666059602651843809*c_10\ 01_8^11 + 724150861590761496639224/216593530666634715929044411*c_10\ 01_8^10 + 80028430472602071252305690/4115277082666059602651843809*c\ _1001_8^9 - 245405938860503857047699062/411527708266605960265184380\ 9*c_1001_8^8 - 598139696338338702312413746/411527708266605960265184\ 3809*c_1001_8^7 + 2637368351006259540471444352/41152770826660596026\ 51843809*c_1001_8^6 - 4977264329001253233612308/7720970136334070549\ 065373*c_1001_8^5 - 633437906439857976304450/2165935306666347159290\ 44411*c_1001_8^4 + 167683473393382248046585634/31655977558969689251\ 1680293*c_1001_8^3 + 729918792797464310792688580/411527708266605960\ 2651843809*c_1001_8^2 - 5938157374579404142325702224/41152770826660\ 59602651843809*c_1001_8 - 550706215824108640380870/5282769040649627\ 217781571, c_1001_2 - 1900391704386695708095672/4115277082666059602651843809*c_100\ 1_8^11 + 3689195041314811380492612/4115277082666059602651843809*c_1\ 001_8^10 + 24894049067901730252816673/4115277082666059602651843809*\ c_1001_8^9 - 61404627477511057177624903/411527708266605960265184380\ 9*c_1001_8^8 - 190100218017535937821891375/411527708266605960265184\ 3809*c_1001_8^7 + 642722936870569813955389683/411527708266605960265\ 1843809*c_1001_8^6 - 1452617341105901073084116/77209701363340705490\ 65373*c_1001_8^5 + 1023791261723182216761017773/4115277082666059602\ 651843809*c_1001_8^4 - 115567910331364078501214659/3165597755896968\ 92511680293*c_1001_8^3 + 1561134342624895169588819298/4115277082666\ 059602651843809*c_1001_8^2 + 123592048065089945939088377/2165935306\ 66634715929044411*c_1001_8 - 67585906713994526889717862/10037261177\ 2342917137849849, c_1001_8^12 - 5/2*c_1001_8^11 - 99/8*c_1001_8^10 + 177/4*c_1001_8^9 + 319/4*c_1001_8^8 - 459*c_1001_8^7 + 5549/8*c_1001_8^6 - 489/2*c_1001_8^5 - 1173/2*c_1001_8^4 + 1197/2*c_1001_8^3 + 833/4*c_1001_8^2 - 303/2*c_1001_8 + 2501/8, c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 32.760 Total time: 32.969 seconds, Total memory usage: 189.56MB