Magma V2.19-8 Tue Aug 20 2013 23:51:57 on localhost [Seed = 1578644822] Type ? for help. Type -D to quit. Loading file "K12n156__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n156 geometric_solution 11.67141734 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 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 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.579086123069 0.330184049571 0 5 7 6 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 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.970660177395 1.209019134993 8 0 10 9 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 -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.303184800707 0.743051538788 8 4 8 0 2103 2103 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -9 0 10 -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.328485461534 0.716072082858 11 3 0 6 0132 2103 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.735374889597 0.576861615421 10 1 9 7 0132 0132 2103 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 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.434326866306 0.612847928904 4 9 1 12 3120 2103 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.246312053904 0.507128642687 11 11 5 1 3120 0213 1230 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.041747419547 0.934327113626 2 10 3 3 0132 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 9 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.696815199293 0.743051538788 5 6 2 12 2103 2103 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.246504237967 0.629443064862 5 8 12 2 0132 0132 2031 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 -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.656970923068 1.432144165717 4 12 7 7 0132 3012 0213 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.041747419547 0.934327113626 11 9 6 10 1230 1302 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722545269576 0.808502032144 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : negation(d['c_0011_12']), 'c_1001_5' : d['c_0011_9'], 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : d['c_0011_9'], 'c_1001_1' : negation(d['c_0101_7']), 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : negation(d['c_0011_11']), 'c_1001_2' : d['c_0011_3'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0011_3'], 'c_1010_12' : d['c_1010_12'], 'c_1010_11' : negation(d['c_0011_7']), 'c_1010_10' : d['c_0011_3'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_7'], 'c_0101_11' : d['c_0011_7'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(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' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_0']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_12'], 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : d['c_0101_10'], 'c_1100_1' : d['c_0101_10'], 'c_1100_0' : negation(d['c_0101_0']), 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : negation(d['c_1010_12']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : negation(d['c_1010_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_7']), 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : negation(d['c_0101_7']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0011_9'], 'c_1010_0' : d['c_0011_3'], 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : negation(d['c_0011_11']), 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : 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_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], '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' : d['c_0101_1'], 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : d['c_0011_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_2'], 'c_0101_8' : d['c_0101_2'], 'c_0011_10' : negation(d['c_0011_0']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_12']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1010_12']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_2'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0011_7'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_7'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_3, c_0011_6, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_7, c_1010_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 9780694244229/846367784550400*c_1010_12^9 + 48093423335521/846367784550400*c_1010_12^8 - 47614968714157/423183892275200*c_1010_12^7 + 10324909377037/423183892275200*c_1010_12^6 + 597250036550571/846367784550400*c_1010_12^5 - 486528185803749/423183892275200*c_1010_12^4 + 399713666887901/846367784550400*c_1010_12^3 + 1193116750702027/423183892275200*c_1010_12^2 - 4391657911393867/846367784550400*c_1010_12 + 693548189532153/211591946137600, c_0011_0 - 1, c_0011_11 + 16077543/1666393225*c_1010_12^9 - 60000462/1666393225*c_1010_12^8 + 73569303/1666393225*c_1010_12^7 + 64711802/1666393225*c_1010_12^6 - 781587917/1666393225*c_1010_12^5 + 299321501/1666393225*c_1010_12^4 + 285785183/1666393225*c_1010_12^3 - 2506202973/1666393225*c_1010_12^2 + 2370257689/1666393225*c_1010_12 - 2939326994/1666393225, c_0011_12 + 54024651/6665572900*c_1010_12^9 - 232560159/6665572900*c_1010_12^8 + 209164673/3332786450*c_1010_12^7 + 3237807/3332786450*c_1010_12^6 - 3082725769/6665572900*c_1010_12^5 + 1892259891/3332786450*c_1010_12^4 - 1132763019/6665572900*c_1010_12^3 - 6174900143/3332786450*c_1010_12^2 + 20058994273/6665572900*c_1010_12 - 2293901602/1666393225, c_0011_3 - 16077543/1666393225*c_1010_12^9 + 60000462/1666393225*c_1010_12^8 - 73569303/1666393225*c_1010_12^7 - 64711802/1666393225*c_1010_12^6 + 781587917/1666393225*c_1010_12^5 - 299321501/1666393225*c_1010_12^4 - 285785183/1666393225*c_1010_12^3 + 2506202973/1666393225*c_1010_12^2 - 2370257689/1666393225*c_1010_12 + 1272933769/1666393225, c_0011_6 + 1, c_0011_7 - 13548862/1666393225*c_1010_12^9 + 64182518/1666393225*c_1010_12^8 - 122761057/1666393225*c_1010_12^7 + 6037337/1666393225*c_1010_12^6 + 879406048/1666393225*c_1010_12^5 - 1294952154/1666393225*c_1010_12^4 + 463582753/1666393225*c_1010_12^3 + 4082244042/1666393225*c_1010_12^2 - 6207330476/1666393225*c_1010_12 + 2766197326/1666393225, c_0011_9 - 2559451/13331145800*c_1010_12^9 + 51795979/13331145800*c_1010_12^8 - 102434953/6665572900*c_1010_12^7 + 140811723/6665572900*c_1010_12^6 + 59704909/13331145800*c_1010_12^5 - 1421087561/6665572900*c_1010_12^4 + 2858062419/13331145800*c_1010_12^3 - 199040397/6665572900*c_1010_12^2 - 11826634773/13331145800*c_1010_12 + 2782097446/1666393225, c_0101_0 + 1253254/1666393225*c_1010_12^9 - 18782021/1666393225*c_1010_12^8 + 59805439/1666393225*c_1010_12^7 - 55015424/1666393225*c_1010_12^6 - 169494546/1666393225*c_1010_12^5 + 773205623/1666393225*c_1010_12^4 - 258784326/1666393225*c_1010_12^3 - 1146579929/1666393225*c_1010_12^2 + 2823937217/1666393225*c_1010_12 - 1251042887/1666393225, c_0101_1 + c_1010_12, c_0101_10 + 13548862/1666393225*c_1010_12^9 - 64182518/1666393225*c_1010_12^8 + 122761057/1666393225*c_1010_12^7 - 6037337/1666393225*c_1010_12^6 - 879406048/1666393225*c_1010_12^5 + 1294952154/1666393225*c_1010_12^4 - 463582753/1666393225*c_1010_12^3 - 4082244042/1666393225*c_1010_12^2 + 6207330476/1666393225*c_1010_12 - 2766197326/1666393225, c_0101_2 + 1253254/1666393225*c_1010_12^9 - 18782021/1666393225*c_1010_12^8 + 59805439/1666393225*c_1010_12^7 - 55015424/1666393225*c_1010_12^6 - 169494546/1666393225*c_1010_12^5 + 773205623/1666393225*c_1010_12^4 - 258784326/1666393225*c_1010_12^3 - 1146579929/1666393225*c_1010_12^2 + 2823937217/1666393225*c_1010_12 - 1251042887/1666393225, c_0101_7 + 1584539/133311458*c_1010_12^9 - 35127587/666557290*c_1010_12^8 + 29803103/333278645*c_1010_12^7 + 7846487/333278645*c_1010_12^6 - 479834559/666557290*c_1010_12^5 + 279730522/333278645*c_1010_12^4 - 4357525/133311458*c_1010_12^3 - 872172341/333278645*c_1010_12^2 + 530787023/133311458*c_1010_12 - 557249878/333278645, c_1010_12^10 - 5*c_1010_12^9 + 10*c_1010_12^8 - 2*c_1010_12^7 - 63*c_1010_12^6 + 106*c_1010_12^5 - 41*c_1010_12^4 - 262*c_1010_12^3 + 479*c_1010_12^2 - 316*c_1010_12 - 32 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_3, c_0011_6, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_7, c_1010_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 1398261052612601592875/1828517715261024558*c_1010_12^15 + 15877409947440700557619/1828517715261024558*c_1010_12^14 - 74118290450552503150669/1828517715261024558*c_1010_12^13 + 170029167920606539835155/1828517715261024558*c_1010_12^12 - 32741595957408410783783/304752952543504093*c_1010_12^11 + 91271867825378271170065/914258857630512279*c_1010_12^10 - 130482666796644965369681/609505905087008186*c_1010_12^9 + 326813493665566245898745/1828517715261024558*c_1010_12^8 - 241369271860764820222105/1828517715261024558*c_1010_12^7 + 173969674225587658798495/914258857630512279*c_1010_12^6 - 448339362746665553769203/1828517715261024558*c_1010_12^5 + 115647607543810383690001/609505905087008186*c_1010_12^4 - 83416816439244600957154/914258857630512279*c_1010_12^3 + 41323628240286878450065/1828517715261024558*c_1010_12^2 - 2634259420742012399231/1828517715261024558*c_1010_12 - 683345640787582869157/914258857630512279, c_0011_0 - 1, c_0011_11 - 8573423419667/11572896932031801*c_1010_12^15 + 336978145700256/3857632310677267*c_1010_12^14 - 3214807234962174/3857632310677267*c_1010_12^13 + 12289454258022495/3857632310677267*c_1010_12^12 - 58624621581297848/11572896932031801*c_1010_12^11 + 8315326394185306/3857632310677267*c_1010_12^10 - 34910682574418557/11572896932031801*c_1010_12^9 + 174386820908001751/11572896932031801*c_1010_12^8 + 51357386961583322/11572896932031801*c_1010_12^7 + 25924968137140102/3857632310677267*c_1010_12^6 - 37756655731511341/3857632310677267*c_1010_12^5 + 98152870428666487/11572896932031801*c_1010_12^4 - 1091243022536545/11572896932031801*c_1010_12^3 + 653195286639226/11572896932031801*c_1010_12^2 + 3119016639724251/3857632310677267*c_1010_12 + 3725741313729599/11572896932031801, c_0011_12 + 1952081884028132/11572896932031801*c_1010_12^15 - 6434625177093708/3857632310677267*c_1010_12^14 + 24226183624878214/3857632310677267*c_1010_12^13 - 34918841208069984/3857632310677267*c_1010_12^12 + 13269156790468001/11572896932031801*c_1010_12^11 - 14081549027204068/3857632310677267*c_1010_12^10 + 364038231639450160/11572896932031801*c_1010_12^9 + 188568460615054034/11572896932031801*c_1010_12^8 + 94174430194957834/11572896932031801*c_1010_12^7 - 100265697968579435/3857632310677267*c_1010_12^6 + 22342831691481380/3857632310677267*c_1010_12^5 + 46188620498106977/11572896932031801*c_1010_12^4 - 27049179090915491/11572896932031801*c_1010_12^3 + 4621668303905042/11572896932031801*c_1010_12^2 + 5980304516886662/3857632310677267*c_1010_12 + 1638692861869600/11572896932031801, c_0011_3 + 2276944566941974/11572896932031801*c_1010_12^15 - 8091950348802122/3857632310677267*c_1010_12^14 + 34299452829588984/3857632310677267*c_1010_12^13 - 64948044895754441/3857632310677267*c_1010_12^12 + 136540485508434397/11572896932031801*c_1010_12^11 - 32731546541831816/3857632310677267*c_1010_12^10 + 462412504509019415/11572896932031801*c_1010_12^9 - 117258760360808807/11572896932031801*c_1010_12^8 + 70949975090937299/11572896932031801*c_1010_12^7 - 119003985438342972/3857632310677267*c_1010_12^6 + 123202577061769365/3857632310677267*c_1010_12^5 - 113360846899564760/11572896932031801*c_1010_12^4 - 59494534587114646/11572896932031801*c_1010_12^3 + 57523349812605244/11572896932031801*c_1010_12^2 - 2774277752416716/3857632310677267*c_1010_12 + 1895187273356261/11572896932031801, c_0011_6 + 1515105236821427/3857632310677267*c_1010_12^15 - 15846922551903988/3857632310677267*c_1010_12^14 + 65384098424215794/3857632310677267*c_1010_12^13 - 117606635533486387/3857632310677267*c_1010_12^12 + 71485449811856982/3857632310677267*c_1010_12^11 - 57147766689478326/3857632310677267*c_1010_12^10 + 296638108814540091/3857632310677267*c_1010_12^9 - 20043566604538621/3857632310677267*c_1010_12^8 + 64419112381152640/3857632310677267*c_1010_12^7 - 212083002739545842/3857632310677267*c_1010_12^6 + 208648498392027389/3857632310677267*c_1010_12^5 - 42856274456821011/3857632310677267*c_1010_12^4 - 40026770732255279/3857632310677267*c_1010_12^3 + 38566631637283238/3857632310677267*c_1010_12^2 - 2429538865109181/3857632310677267*c_1010_12 - 1352260357196560/3857632310677267, c_0011_7 - 2718646101203927/11572896932031801*c_1010_12^15 + 8966438079445246/3857632310677267*c_1010_12^14 - 33992878617753442/3857632310677267*c_1010_12^13 + 50693695400993358/3857632310677267*c_1010_12^12 - 38181621214254101/11572896932031801*c_1010_12^11 + 26248734638356556/3857632310677267*c_1010_12^10 - 498468170256866413/11572896932031801*c_1010_12^9 - 236090064437395682/11572896932031801*c_1010_12^8 - 238039448806406134/11572896932031801*c_1010_12^7 + 97760547750594137/3857632310677267*c_1010_12^6 - 69607215750746564/3857632310677267*c_1010_12^5 - 31527715215618851/11572896932031801*c_1010_12^4 + 31739112050200829/11572896932031801*c_1010_12^3 - 15890302756746086/11572896932031801*c_1010_12^2 - 8095609283070569/3857632310677267*c_1010_12 - 1310380566098251/11572896932031801, c_0011_9 + 2116952916469879/11572896932031801*c_1010_12^15 - 20379534654773167/11572896932031801*c_1010_12^14 + 72606619454840674/11572896932031801*c_1010_12^13 - 84368819870835514/11572896932031801*c_1010_12^12 - 56670328045540363/11572896932031801*c_1010_12^11 + 52915117866952567/11572896932031801*c_1010_12^10 + 287406486971335156/11572896932031801*c_1010_12^9 + 120397242883636380/3857632310677267*c_1010_12^8 - 29643201890444452/11572896932031801*c_1010_12^7 - 92764363303479290/11572896932031801*c_1010_12^6 + 20237620409579012/11572896932031801*c_1010_12^5 + 277403012746073516/11572896932031801*c_1010_12^4 - 83868955019181396/3857632310677267*c_1010_12^3 + 101113205781222118/11572896932031801*c_1010_12^2 + 12251042743303052/11572896932031801*c_1010_12 - 1118403033457188/3857632310677267, c_0101_0 + 1077774081247338/3857632310677267*c_1010_12^15 - 36303966412547306/11572896932031801*c_1010_12^14 + 166402896439785185/11572896932031801*c_1010_12^13 - 367717716542571419/11572896932031801*c_1010_12^12 + 387135504677252279/11572896932031801*c_1010_12^11 - 325447368098415004/11572896932031801*c_1010_12^10 + 809139825327652369/11572896932031801*c_1010_12^9 - 606152000725550918/11572896932031801*c_1010_12^8 + 126191212055235088/3857632310677267*c_1010_12^7 - 661717265130912289/11572896932031801*c_1010_12^6 + 898749925216555951/11572896932031801*c_1010_12^5 - 602513551172330578/11572896932031801*c_1010_12^4 + 189138217582734845/11572896932031801*c_1010_12^3 + 8235793832561240/3857632310677267*c_1010_12^2 - 25298926441566566/11572896932031801*c_1010_12 - 276163904175646/11572896932031801, c_0101_1 + c_1010_12, c_0101_10 + 2718646101203927/11572896932031801*c_1010_12^15 - 8966438079445246/3857632310677267*c_1010_12^14 + 33992878617753442/3857632310677267*c_1010_12^13 - 50693695400993358/3857632310677267*c_1010_12^12 + 38181621214254101/11572896932031801*c_1010_12^11 - 26248734638356556/3857632310677267*c_1010_12^10 + 498468170256866413/11572896932031801*c_1010_12^9 + 236090064437395682/11572896932031801*c_1010_12^8 + 238039448806406134/11572896932031801*c_1010_12^7 - 97760547750594137/3857632310677267*c_1010_12^6 + 69607215750746564/3857632310677267*c_1010_12^5 + 31527715215618851/11572896932031801*c_1010_12^4 - 31739112050200829/11572896932031801*c_1010_12^3 + 15890302756746086/11572896932031801*c_1010_12^2 + 8095609283070569/3857632310677267*c_1010_12 + 1310380566098251/11572896932031801, c_0101_2 - 1077774081247338/3857632310677267*c_1010_12^15 + 36303966412547306/11572896932031801*c_1010_12^14 - 166402896439785185/11572896932031801*c_1010_12^13 + 367717716542571419/11572896932031801*c_1010_12^12 - 387135504677252279/11572896932031801*c_1010_12^11 + 325447368098415004/11572896932031801*c_1010_12^10 - 809139825327652369/11572896932031801*c_1010_12^9 + 606152000725550918/11572896932031801*c_1010_12^8 - 126191212055235088/3857632310677267*c_1010_12^7 + 661717265130912289/11572896932031801*c_1010_12^6 - 898749925216555951/11572896932031801*c_1010_12^5 + 602513551172330578/11572896932031801*c_1010_12^4 - 189138217582734845/11572896932031801*c_1010_12^3 - 8235793832561240/3857632310677267*c_1010_12^2 + 13726029509534765/11572896932031801*c_1010_12 + 276163904175646/11572896932031801, c_0101_7 + 5504308369562153/11572896932031801*c_1010_12^15 - 18734997542299349/3857632310677267*c_1010_12^14 + 74606184961059575/3857632310677267*c_1010_12^13 - 124744948726525132/3857632310677267*c_1010_12^12 + 178099284451489478/11572896932031801*c_1010_12^11 - 62597515884572957/3857632310677267*c_1010_12^10 + 1057730552479199470/11572896932031801*c_1010_12^9 + 162085420735743287/11572896932031801*c_1010_12^8 + 332963601488477518/11572896932031801*c_1010_12^7 - 239046173649176307/3857632310677267*c_1010_12^6 + 206095143673902413/3857632310677267*c_1010_12^5 - 44571812114657215/11572896932031801*c_1010_12^4 - 96998632901582300/11572896932031801*c_1010_12^3 + 64214416422569975/11572896932031801*c_1010_12^2 + 5739569149394210/3857632310677267*c_1010_12 + 2996540982203083/11572896932031801, c_1010_12^16 - 11*c_1010_12^15 + 49*c_1010_12^14 - 103*c_1010_12^13 + 98*c_1010_12^12 - 81*c_1010_12^11 + 232*c_1010_12^10 - 134*c_1010_12^9 + 94*c_1010_12^8 - 181*c_1010_12^7 + 233*c_1010_12^6 - 139*c_1010_12^5 + 29*c_1010_12^4 + 17*c_1010_12^3 - 8*c_1010_12^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.910 Total time: 3.120 seconds, Total memory usage: 85.25MB