Magma V2.19-8 Tue Aug 20 2013 23:52:55 on localhost [Seed = 2598170961] Type ? for help. Type -D to quit. Loading file "K12n333__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n333 geometric_solution 11.54585600 oriented_manifold CS_known -0.0000000000000003 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 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.875693021292 0.939597143954 0 4 6 5 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598887419698 0.204492256948 7 0 7 3 0132 0132 3012 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 3 0 -3 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.356135888663 0.697300013291 5 8 2 0 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.105542776217 0.770299075766 9 1 0 7 0132 2103 0132 3012 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 0 1 -1 -3 0 0 3 3 0 0 -3 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.020182294611 1.633298948376 3 10 1 10 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.137588314226 1.293605112789 11 9 11 1 0132 3120 3012 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 4 0 -4 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.235495396095 1.205806078014 2 2 4 11 0132 1230 1230 1023 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 -3 0 -3 0 3 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.714778499697 0.774099765095 12 3 9 9 0132 0132 0321 0213 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 -1 1 0 4 0 -3 -1 -4 1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.235495396095 1.205806078014 4 6 8 8 0132 3120 0321 0213 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 1 -1 0 3 0 0 -3 -1 0 0 1 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.235495396095 1.205806078014 12 5 12 5 1023 0132 0132 1023 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.365843967185 0.351785014798 6 6 12 7 0132 1230 0321 1023 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -4 0 -4 0 4 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.375044768997 0.591535040697 8 10 11 10 0132 1023 0321 0132 0 0 0 0 0 -1 1 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 -4 4 0 -4 0 0 4 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.014618735754 1.197287106329 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0110_10'], 'c_1001_12' : d['c_0101_10'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_0'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0110_10'], 'c_1010_11' : d['c_0101_2'], 'c_1010_10' : d['c_0101_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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_11'], 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_11']), 'c_1100_4' : negation(d['c_1001_7']), 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_1001_11']), 'c_1100_1' : negation(d['c_1001_11']), 'c_1100_0' : negation(d['c_1001_7']), 'c_1100_3' : negation(d['c_1001_7']), 'c_1100_2' : negation(d['c_1001_7']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : d['c_1001_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0110_10'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_1001_0'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1001_11'], 's_1_7' : negation(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' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_2'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : negation(d['c_0101_1']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_10']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_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_10, c_0011_11, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0110_10, c_1001_0, c_1001_11, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 237245431934318489964773/647317857031117122990656*c_1001_7^13 - 1272050123288401355647995/647317857031117122990656*c_1001_7^12 - 381807920262379674050509/323658928515558561495328*c_1001_7^11 - 18659348360700089849695849/647317857031117122990656*c_1001_7^10 + 52136988899115209407066879/647317857031117122990656*c_1001_7^9 - 107372720474114133401954905/323658928515558561495328*c_1001_7^8 + 207178846534510834759998385/647317857031117122990656*c_1001_7^7 - 28030019590791737215091915/58847077911919738453696*c_1001_7^6 + 32757806317866306327585261/323658928515558561495328*c_1001_7^5 - 39850059238591172748995285/58847077911919738453696*c_1001_7^4 + 698211056872936424449778297/647317857031117122990656*c_1001_7^3 - 510650509874803379546100417/323658928515558561495328*c_1001_7^2 + 715022311760694873833385869/647317857031117122990656*c_1001_7 - 15650286843854799421583927/58847077911919738453696, c_0011_0 - 1, c_0011_10 - 157802929325392/5580723547282099*c_1001_7^13 - 1066220985617549/5580723547282099*c_1001_7^12 - 2802047219411946/5580723547282099*c_1001_7^11 - 4113680036941717/5580723547282099*c_1001_7^10 - 4522117830786826/5580723547282099*c_1001_7^9 - 68506238334530018/5580723547282099*c_1001_7^8 + 38426848319939330/5580723547282099*c_1001_7^7 - 80836421020255279/5580723547282099*c_1001_7^6 - 39635158698114532/5580723547282099*c_1001_7^5 - 99176620142725120/5580723547282099*c_1001_7^4 + 178354908600204748/5580723547282099*c_1001_7^3 - 268003124434538169/5580723547282099*c_1001_7^2 + 120321576028228230/5580723547282099*c_1001_7 - 21519701657694303/5580723547282099, c_0011_11 - 723683089602028/5580723547282099*c_1001_7^13 - 952405449219042/5580723547282099*c_1001_7^12 - 6376780998539702/5580723547282099*c_1001_7^11 + 12407162687638842/5580723547282099*c_1001_7^10 - 90891935358752230/5580723547282099*c_1001_7^9 + 107034638382049683/5580723547282099*c_1001_7^8 - 195194449246904281/5580723547282099*c_1001_7^7 + 56579002300068778/5580723547282099*c_1001_7^6 - 185443934406826053/5580723547282099*c_1001_7^5 + 290042852838581209/5580723547282099*c_1001_7^4 - 567553798771443366/5580723547282099*c_1001_7^3 + 525893912782464901/5580723547282099*c_1001_7^2 - 244131057554346538/5580723547282099*c_1001_7 + 45761228563607638/5580723547282099, c_0011_4 - 2667045104460981/5580723547282099*c_1001_7^13 - 3736324805361348/5580723547282099*c_1001_7^12 - 22410479894243421/5580723547282099*c_1001_7^11 + 47794960037668286/5580723547282099*c_1001_7^10 - 316165311422610460/5580723547282099*c_1001_7^9 + 356572004768183341/5580723547282099*c_1001_7^8 - 564038438490765189/5580723547282099*c_1001_7^7 + 181002984865637063/5580723547282099*c_1001_7^6 - 590179678636170223/5580723547282099*c_1001_7^5 + 1075927972867107150/5580723547282099*c_1001_7^4 - 1754031746532710620/5580723547282099*c_1001_7^3 + 1539993311287421831/5580723547282099*c_1001_7^2 - 660883905701256490/5580723547282099*c_1001_7 + 116298625156440788/5580723547282099, c_0101_0 - c_1001_7 + 1, c_0101_1 - 191851470514656/5580723547282099*c_1001_7^13 + 21315574639114/5580723547282099*c_1001_7^12 - 1161806999623404/5580723547282099*c_1001_7^11 + 5656362057074762/5580723547282099*c_1001_7^10 - 28199054772470940/5580723547282099*c_1001_7^9 + 56849116207956151/5580723547282099*c_1001_7^8 - 69970259320845896/5580723547282099*c_1001_7^7 + 43120977869436112/5580723547282099*c_1001_7^6 - 42317382187501056/5580723547282099*c_1001_7^5 + 131487587743680900/5580723547282099*c_1001_7^4 - 231923394965852412/5580723547282099*c_1001_7^3 + 245599676787399734/5580723547282099*c_1001_7^2 - 103603159414614499/5580723547282099*c_1001_7 + 16298334719641415/5580723547282099, c_0101_10 - 2125539234106277/5580723547282099*c_1001_7^13 - 2712734969022027/5580723547282099*c_1001_7^12 - 17284818675584667/5580723547282099*c_1001_7^11 + 40595915960460479/5580723547282099*c_1001_7^10 - 255245084046881754/5580723547282099*c_1001_7^9 + 311380010686801057/5580723547282099*c_1001_7^8 - 462524768169012727/5580723547282099*c_1001_7^7 + 175597450147020118/5580723547282099*c_1001_7^6 - 465909755563053579/5580723547282099*c_1001_7^5 + 912129417522470470/5580723547282099*c_1001_7^4 - 1468539865201210544/5580723547282099*c_1001_7^3 + 1316797082147160532/5580723547282099*c_1001_7^2 - 573999162900255722/5580723547282099*c_1001_7 + 105221657374852261/5580723547282099, c_0101_2 + 843092488052140/5580723547282099*c_1001_7^13 + 1265611145972610/5580723547282099*c_1001_7^12 + 7444350343305366/5580723547282099*c_1001_7^11 - 14212581099416724/5580723547282099*c_1001_7^10 + 99532343960985144/5580723547282099*c_1001_7^9 - 109918778717803025/5580723547282099*c_1001_7^8 + 191999825564070053/5580723547282099*c_1001_7^7 - 79909401769644785/5580723547282099*c_1001_7^6 + 185129291883048954/5580723547282099*c_1001_7^5 - 342699148404684053/5580723547282099*c_1001_7^4 + 545160003685325441/5580723547282099*c_1001_7^3 - 564700396076196598/5580723547282099*c_1001_7^2 + 265592503735911470/5580723547282099*c_1001_7 - 50767397428033111/5580723547282099, c_0101_3 - 1429337869229193/5580723547282099*c_1001_7^13 - 2233925470553602/5580723547282099*c_1001_7^12 - 12562474086358065/5580723547282099*c_1001_7^11 + 23265007874310158/5580723547282099*c_1001_7^10 - 167151464519338824/5580723547282099*c_1001_7^9 + 167551721770247346/5580723547282099*c_1001_7^8 - 294894530617362071/5580723547282099*c_1001_7^7 + 67455972979438580/5580723547282099*c_1001_7^6 - 322686026605378969/5580723547282099*c_1001_7^5 + 529808533733729074/5580723547282099*c_1001_7^4 - 884131197611315086/5580723547282099*c_1001_7^3 + 756385667930234876/5580723547282099*c_1001_7^2 - 309095019982859720/5580723547282099*c_1001_7 + 53708809617395731/5580723547282099, c_0110_10 + 2209374336930232/5580723547282099*c_1001_7^13 + 3245195234445825/5580723547282099*c_1001_7^12 + 18770533369127340/5580723547282099*c_1001_7^11 - 38500449313594698/5580723547282099*c_1001_7^10 + 258872320576316056/5580723547282099*c_1001_7^9 - 278827391384169563/5580723547282099*c_1001_7^8 + 449356197846188628/5580723547282099*c_1001_7^7 - 133390957477463102/5580723547282099*c_1001_7^6 + 488188123348049270/5580723547282099*c_1001_7^5 - 866035565510187750/5580723547282099*c_1001_7^4 + 1390697557692458124/5580723547282099*c_1001_7^3 - 1196949611227725818/5580723547282099*c_1001_7^2 + 509585702735860219/5580723547282099*c_1001_7 - 95396076709786242/5580723547282099, c_1001_0 - 1566775577654168/5580723547282099*c_1001_7^13 - 2218016595191652/5580723547282099*c_1001_7^12 - 13821131341845068/5580723547282099*c_1001_7^11 + 26619743787055566/5580723547282099*c_1001_7^10 - 190424279319737374/5580723547282099*c_1001_7^9 + 216953417099852708/5580723547282099*c_1001_7^8 - 387194274810974334/5580723547282099*c_1001_7^7 + 136488404069713563/5580723547282099*c_1001_7^6 - 370573226289875007/5580723547282099*c_1001_7^5 + 632742001243265262/5580723547282099*c_1001_7^4 - 1112713802456768807/5580723547282099*c_1001_7^3 + 1090594308858661499/5580723547282099*c_1001_7^2 - 509723561290258008/5580723547282099*c_1001_7 + 96528625991640749/5580723547282099, c_1001_11 - 541505870354704/5580723547282099*c_1001_7^13 - 1023589836339321/5580723547282099*c_1001_7^12 - 5125661218658754/5580723547282099*c_1001_7^11 + 7199044077207807/5580723547282099*c_1001_7^10 - 60920227375728706/5580723547282099*c_1001_7^9 + 45191994081382284/5580723547282099*c_1001_7^8 - 101513670321752462/5580723547282099*c_1001_7^7 + 5405534718616945/5580723547282099*c_1001_7^6 - 124269923073116644/5580723547282099*c_1001_7^5 + 163798555344636680/5580723547282099*c_1001_7^4 - 285491881331500076/5580723547282099*c_1001_7^3 + 223196229140261299/5580723547282099*c_1001_7^2 - 86884742801000768/5580723547282099*c_1001_7 + 11076967781588527/5580723547282099, c_1001_7^14 + c_1001_7^13 + 8*c_1001_7^12 - 21*c_1001_7^11 + 127*c_1001_7^10 - 184*c_1001_7^9 + 281*c_1001_7^8 - 165*c_1001_7^7 + 260*c_1001_7^6 - 495*c_1001_7^5 + 845*c_1001_7^4 - 896*c_1001_7^3 + 529*c_1001_7^2 - 165*c_1001_7 + 22 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0110_10, c_1001_0, c_1001_11, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 140360943/11542784*c_1001_7^15 + 166442723/23085568*c_1001_7^14 + 3516088559/23085568*c_1001_7^13 + 255815633/5771392*c_1001_7^12 + 9327237677/11542784*c_1001_7^11 - 413666157/23085568*c_1001_7^10 + 53395201799/23085568*c_1001_7^9 - 176503089/721424*c_1001_7^8 + 51663933301/11542784*c_1001_7^7 - 231157063/23085568*c_1001_7^6 + 70902066029/23085568*c_1001_7^5 + 6269207859/5771392*c_1001_7^4 + 13743915791/11542784*c_1001_7^3 + 3774610193/23085568*c_1001_7^2 + 1711136605/23085568*c_1001_7 - 19895571/1442848, c_0011_0 - 1, c_0011_10 - 311/256*c_1001_7^15 - 177/512*c_1001_7^14 - 3823/256*c_1001_7^13 + 105/512*c_1001_7^12 - 20133/256*c_1001_7^11 + 13159/512*c_1001_7^10 - 58309/256*c_1001_7^9 + 45601/512*c_1001_7^8 - 113193/256*c_1001_7^7 + 60613/512*c_1001_7^6 - 71665/256*c_1001_7^5 - 26045/512*c_1001_7^4 - 16219/256*c_1001_7^3 - 187/512*c_1001_7^2 - 635/256*c_1001_7 - 141/512, c_0011_11 - 457/512*c_1001_7^15 - 299/1024*c_1001_7^14 - 2795/256*c_1001_7^13 - 285/1024*c_1001_7^12 - 29171/512*c_1001_7^11 + 17065/1024*c_1001_7^10 - 20783/128*c_1001_7^9 + 59743/1024*c_1001_7^8 - 158935/512*c_1001_7^7 + 74431/1024*c_1001_7^6 - 46127/256*c_1001_7^5 - 44983/1024*c_1001_7^4 - 18445/512*c_1001_7^3 + 7491/1024*c_1001_7^2 + 57/32*c_1001_7 + 501/1024, c_0011_4 - 205/256*c_1001_7^15 - 331/512*c_1001_7^14 - 2533/256*c_1001_7^13 - 2549/512*c_1001_7^12 - 13039/256*c_1001_7^11 - 5123/512*c_1001_7^10 - 35055/256*c_1001_7^9 - 10381/512*c_1001_7^8 - 63619/256*c_1001_7^7 - 39001/512*c_1001_7^6 - 30859/256*c_1001_7^5 - 66567/512*c_1001_7^4 - 11873/256*c_1001_7^3 - 6681/512*c_1001_7^2 + 639/256*c_1001_7 - 183/512, c_0101_0 - 1/64*c_1001_7^15 - 3/128*c_1001_7^14 - 3/16*c_1001_7^13 - 27/128*c_1001_7^12 - 57/64*c_1001_7^11 - 91/128*c_1001_7^10 - 2*c_1001_7^9 - 219/128*c_1001_7^8 - 211/64*c_1001_7^7 - 465/128*c_1001_7^6 - 5/16*c_1001_7^5 - 201/128*c_1001_7^4 - 147/64*c_1001_7^3 - 17/128*c_1001_7^2 + c_1001_7 - 129/128, c_0101_1 - 309/256*c_1001_7^15 - 155/512*c_1001_7^14 - 3785/256*c_1001_7^13 + 373/512*c_1001_7^12 - 19877/256*c_1001_7^11 + 14509/512*c_1001_7^10 - 57485/256*c_1001_7^9 + 49317/512*c_1001_7^8 - 111351/256*c_1001_7^7 + 68151/512*c_1001_7^6 - 68715/256*c_1001_7^5 - 19145/512*c_1001_7^4 - 13807/256*c_1001_7^3 + 5879/512*c_1001_7^2 + 129/256*c_1001_7 + 367/512, c_0101_10 + 205/256*c_1001_7^15 + 331/512*c_1001_7^14 + 2533/256*c_1001_7^13 + 2549/512*c_1001_7^12 + 13039/256*c_1001_7^11 + 5123/512*c_1001_7^10 + 35055/256*c_1001_7^9 + 10381/512*c_1001_7^8 + 63619/256*c_1001_7^7 + 39001/512*c_1001_7^6 + 30859/256*c_1001_7^5 + 66567/512*c_1001_7^4 + 11873/256*c_1001_7^3 + 6681/512*c_1001_7^2 - 639/256*c_1001_7 + 183/512, c_0101_2 + 457/512*c_1001_7^15 + 299/1024*c_1001_7^14 + 2795/256*c_1001_7^13 + 285/1024*c_1001_7^12 + 29171/512*c_1001_7^11 - 17065/1024*c_1001_7^10 + 20783/128*c_1001_7^9 - 59743/1024*c_1001_7^8 + 158935/512*c_1001_7^7 - 74431/1024*c_1001_7^6 + 46127/256*c_1001_7^5 + 44983/1024*c_1001_7^4 + 18445/512*c_1001_7^3 - 7491/1024*c_1001_7^2 - 57/32*c_1001_7 - 501/1024, c_0101_3 + 1/512*c_1001_7^15 - 1/1024*c_1001_7^14 + 13/512*c_1001_7^13 - 21/1024*c_1001_7^12 + 77/512*c_1001_7^11 - 169/1024*c_1001_7^10 + 277/512*c_1001_7^9 - 629/1024*c_1001_7^8 + 691/512*c_1001_7^7 - 1451/1024*c_1001_7^6 + 991/512*c_1001_7^5 - 1847/1024*c_1001_7^4 + 1023/512*c_1001_7^3 - 2027/1024*c_1001_7^2 + 511/512*c_1001_7 - 1023/1024, c_0110_10 + 17/128*c_1001_7^15 - 5/256*c_1001_7^14 + 217/128*c_1001_7^13 - 3/4*c_1001_7^12 + 153/16*c_1001_7^11 - 1813/256*c_1001_7^10 + 1997/64*c_1001_7^9 - 1597/64*c_1001_7^8 + 8721/128*c_1001_7^7 - 12103/256*c_1001_7^6 + 8637/128*c_1001_7^5 - 941/32*c_1001_7^4 + 1603/64*c_1001_7^3 - 1439/256*c_1001_7^2 + 3/4*c_1001_7 - 57/64, c_1001_0 + 233/512*c_1001_7^15 + 555/1024*c_1001_7^14 + 1459/256*c_1001_7^13 + 5125/1024*c_1001_7^12 + 14979/512*c_1001_7^11 + 17671/1024*c_1001_7^10 + 9719/128*c_1001_7^9 + 46201/1024*c_1001_7^8 + 68279/512*c_1001_7^7 + 111457/1024*c_1001_7^6 + 15463/256*c_1001_7^5 + 121807/1024*c_1001_7^4 + 19837/512*c_1001_7^3 + 22765/1024*c_1001_7^2 + 5/32*c_1001_7 + 1075/1024, c_1001_11 - 13/32*c_1001_7^15 + 11/32*c_1001_7^14 - 313/64*c_1001_7^13 + 1461/256*c_1001_7^12 - 3419/128*c_1001_7^11 + 1227/32*c_1001_7^10 - 11215/128*c_1001_7^9 + 29849/256*c_1001_7^8 - 11933/64*c_1001_7^7 + 6697/32*c_1001_7^6 - 1183/8*c_1001_7^5 + 23711/256*c_1001_7^4 - 967/128*c_1001_7^3 + 785/32*c_1001_7^2 - 255/128*c_1001_7 + 275/256, c_1001_7^16 + 1/2*c_1001_7^15 + 25/2*c_1001_7^14 + 5/2*c_1001_7^13 + 133/2*c_1001_7^12 - 15/2*c_1001_7^11 + 385/2*c_1001_7^10 - 75/2*c_1001_7^9 + 753/2*c_1001_7^8 - 69/2*c_1001_7^7 + 531/2*c_1001_7^6 + 135/2*c_1001_7^5 + 199/2*c_1001_7^4 + 19/2*c_1001_7^3 + 19/2*c_1001_7^2 - 1/2*c_1001_7 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.760 Total time: 6.969 seconds, Total memory usage: 32.09MB