Magma V2.19-8 Tue Aug 20 2013 23:46:23 on localhost [Seed = 896753466] Type ? for help. Type -D to quit. Loading file "K14n16477__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n16477 geometric_solution 11.25374820 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.984117143876 0.714084569346 0 5 6 4 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722768939612 0.515734596251 7 0 8 4 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.710368785762 0.526676536285 4 9 10 0 1230 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.607821699513 0.409464357247 1 3 0 2 3012 3012 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0.031132536400 1.399701897101 11 1 6 7 0132 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.502988449953 0.816703431261 5 8 11 1 2031 1023 1023 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 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.502988449953 0.816703431261 2 8 10 5 0132 1230 3120 1023 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 2 -1 1 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 0 0.629588966392 1.075422740365 6 9 7 2 1023 2031 3012 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 0 0 1 -1 0 1 0 -1 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.629588966392 1.075422740365 8 3 10 11 1302 0132 1302 0321 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 -1 1 0 2 0 -2 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.895892509765 0.998292134161 9 11 7 3 2031 0321 3120 0132 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 -1 0 1 0 -1 0 0 1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.895892509765 0.998292134161 5 9 6 10 0132 0321 1023 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.028260729981 0.767412014189 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : negation(d['c_0110_4']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_0110_4'], 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : d['c_0101_3'], 'c_1001_8' : negation(d['c_0011_0']), 'c_1010_11' : d['c_1001_3'], 'c_1010_10' : d['c_1001_3'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_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' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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_1100_9' : d['c_0101_10'], 'c_1100_8' : negation(d['c_0110_4']), 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : negation(d['c_0101_7']), 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : d['c_0110_4'], 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : negation(d['c_0101_7']), 'c_1100_3' : negation(d['c_0101_7']), 'c_1100_2' : negation(d['c_0110_4']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_4']), 'c_1100_10' : negation(d['c_0101_7']), 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : negation(d['c_0011_3']), 's_3_1' : d['1'], 's_3_0' : 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' : d['1'], 's_3_6' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : 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_10']), 'c_0110_10' : d['c_0101_3'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_10'], 'c_0101_5' : negation(d['c_0011_10']), '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_0011_4'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_11'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_0'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0110_4'], '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 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_3, c_0101_7, c_0110_4, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 153972399487416288945489794061546832/481206755780406561025191712020\ 67081*c_1001_3^11 - 36317563095133514746815440174503065191/84211182\ 26157114817940854960361739175*c_1001_3^10 + 19825063997201990881150753444542612462/8421118226157114817940854960\ 361739175*c_1001_3^9 + 164540158345693310884801142797760107903/8421\ 118226157114817940854960361739175*c_1001_3^8 - 41521484606695533722502635844935315436/1684223645231422963588170992\ 072347835*c_1001_3^7 - 4458581414951164030827887817690614111/443216\ 748745111306207413418966407325*c_1001_3^6 + 408131129689968147940543577075664196267/842111822615711481794085496\ 0361739175*c_1001_3^5 - 131079943490985851441141595732610185532/842\ 1118226157114817940854960361739175*c_1001_3^4 - 866204984745780191564822439163443465127/842111822615711481794085496\ 0361739175*c_1001_3^3 + 62198906195355345741096299520228750473/1684\ 223645231422963588170992072347835*c_1001_3^2 + 959433224084661460227229355059546435504/842111822615711481794085496\ 0361739175*c_1001_3 - 13705933702668429227396062414200255739/271648\ 975037326284449704998721346425, c_0011_0 - 1, c_0011_10 - 1027363840800556462530437600/18007260273495704289357181717*\ c_1001_3^11 + 2323195234591017298386040711/180072602734957042893571\ 81717*c_1001_3^10 - 54315278343376664962614246/18007260273495704289\ 357181717*c_1001_3^9 - 7495746918873477765388496707/180072602734957\ 04289357181717*c_1001_3^8 + 17455029280145704260427542561/180072602\ 73495704289357181717*c_1001_3^7 + 272377608843690982794178165/94775\ 0540710300225755641143*c_1001_3^6 - 23110540779671300247095237573/18007260273495704289357181717*c_1001_\ 3^5 + 21552398712014921251165771348/18007260273495704289357181717*c\ _1001_3^4 + 43967798265936875026465993743/1800726027349570428935718\ 1717*c_1001_3^3 - 41865893644340261975003416182/1800726027349570428\ 9357181717*c_1001_3^2 - 66367715453515279496125792878/1800726027349\ 5704289357181717*c_1001_3 + 1318102283956355771196076868/5808793636\ 61151751269586507, c_0011_3 + 2945670732914137763758125875/18007260273495704289357181717*c\ _1001_3^11 - 5167054333980602708550243490/1800726027349570428935718\ 1717*c_1001_3^10 + 3719775797962714951105969963/1800726027349570428\ 9357181717*c_1001_3^9 + 15273853981627166781128845023/1800726027349\ 5704289357181717*c_1001_3^8 - 26933924174406293743649821706/1800726\ 0273495704289357181717*c_1001_3^7 - 189277139445362792659713568/947750540710300225755641143*c_1001_3^6 + 38116961497308631545598911713/18007260273495704289357181717*c_1001_\ 3^5 - 21262362338577314988562837695/18007260273495704289357181717*c\ _1001_3^4 - 89283339456920564075459974320/1800726027349570428935718\ 1717*c_1001_3^3 + 40933634456448898629424644534/1800726027349570428\ 9357181717*c_1001_3^2 + 100653218436236406607512547934/180072602734\ 95704289357181717*c_1001_3 - 1327652515776636354857991891/580879363\ 661151751269586507, c_0011_4 - 4346625040640435516253091725/18007260273495704289357181717*c\ _1001_3^11 + 2332756901266191484745461871/1800726027349570428935718\ 1717*c_1001_3^10 - 84309226435853994450981494/180072602734957042893\ 57181717*c_1001_3^9 - 32059743513300379859749798751/180072602734957\ 04289357181717*c_1001_3^8 + 17755663645698708636494501588/180072602\ 73495704289357181717*c_1001_3^7 + 1034032456531345702530371023/9477\ 50540710300225755641143*c_1001_3^6 - 59752212560554331035550360599/18007260273495704289357181717*c_1001_\ 3^5 - 5753062766922179017982736981/18007260273495704289357181717*c_\ 1001_3^4 + 125815985231174453342863056473/1800726027349570428935718\ 1717*c_1001_3^3 + 38875114072515388484833756815/1800726027349570428\ 9357181717*c_1001_3^2 - 131266088086869860186974947758/180072602734\ 95704289357181717*c_1001_3 + 779318271207285150865555917/5808793636\ 61151751269586507, c_0101_1 + 95767828593757960130262975/418773494732458239287376319*c_100\ 1_3^11 - 1567956273409981412884772/9738918482150191611334333*c_1001\ _3^10 + 12432438206590963111845097/418773494732458239287376319*c_10\ 01_3^9 + 672405174763321856466764044/418773494732458239287376319*c_\ 1001_3^8 - 448176348951848996380027876/418773494732458239287376319*\ c_1001_3^7 - 561302837702519471864663/512574656955273242701807*c_10\ 01_3^6 + 1355558557474038960953484349/418773494732458239287376319*c\ _1001_3^5 + 50455131807667119005856318/418773494732458239287376319*\ c_1001_3^4 - 2835066675421475327443328609/4187734947324582392873763\ 19*c_1001_3^3 - 515361891750696446361459121/41877349473245823928737\ 6319*c_1001_3^2 + 2958632309040247658888729592/41877349473245823928\ 7376319*c_1001_3 - 15582967733482754711310970/135088224107244593318\ 50849, c_0101_10 - 3015675828274958968316519525/18007260273495704289357181717*\ c_1001_3^11 + 3333274063120062234842533454/180072602734957042893571\ 81717*c_1001_3^10 - 27854246587407232520276955/18007260273495704289\ 357181717*c_1001_3^9 - 21745869177793639077989585256/18007260273495\ 704289357181717*c_1001_3^8 + 25068434260161432969709630826/18007260\ 273495704289357181717*c_1001_3^7 + 711654848513570902508622788/947750540710300225755641143*c_1001_3^6 - 47977252228927963227361215576/18007260273495704289357181717*c_1001_\ 3^5 + 16323176827036948251747700860/18007260273495704289357181717*c\ _1001_3^4 + 97979063076385129593035154693/1800726027349570428935718\ 1717*c_1001_3^3 - 19454307999219099956159541190/1800726027349570428\ 9357181717*c_1001_3^2 - 127563038495146114661574195604/180072602734\ 95704289357181717*c_1001_3 + 1680869935022777046325678391/580879363\ 661151751269586507, c_0101_11 + 2357571488066240183258348625/18007260273495704289357181717*\ c_1001_3^11 - 2845138665295270093384939730/180072602734957042893571\ 81717*c_1001_3^10 + 2416430912782166467672085811/180072602734957042\ 89357181717*c_1001_3^9 + 12813022288039725704186610342/180072602734\ 95704289357181717*c_1001_3^8 - 14452943357126642235034863738/180072\ 60273495704289357181717*c_1001_3^7 - 228190900066235959098794901/947750540710300225755641143*c_1001_3^6 + 24584152637312162637230023925/18007260273495704289357181717*c_1001_\ 3^5 - 8340882494037708808976753310/18007260273495704289357181717*c_\ 1001_3^4 - 63604047449057811660109218851/18007260273495704289357181\ 717*c_1001_3^3 + 2638613570356229791015237139/180072602734957042893\ 57181717*c_1001_3^2 + 49757285914669222484569902576/180072602734957\ 04289357181717*c_1001_3 - 295254651187497470016348706/5808793636611\ 51751269586507, c_0101_2 - 2174180348305289045247092350/18007260273495704289357181717*c\ _1001_3^11 + 2163529791609434472768811771/1800726027349570428935718\ 1717*c_1001_3^10 - 1482226344701228591721062277/1800726027349570428\ 9357181717*c_1001_3^9 - 13303231981633094570488734877/1800726027349\ 5704289357181717*c_1001_3^8 + 11775174661853615476248040179/1800726\ 0273495704289357181717*c_1001_3^7 + 433516528681793092063838666/947750540710300225755641143*c_1001_3^6 - 27799554626112838632089998368/18007260273495704289357181717*c_1001_\ 3^5 + 3784317233592216636448050355/18007260273495704289357181717*c_\ 1001_3^4 + 68253961778973390227124513099/18007260273495704289357181\ 717*c_1001_3^3 - 410588305729785744476938482/1800726027349570428935\ 7181717*c_1001_3^2 - 63985154603409818187249616657/1800726027349570\ 4289357181717*c_1001_3 + 316241609050680401960588564/58087936366115\ 1751269586507, c_0101_3 + 45217271347892092640527525/18007260273495704289357181717*c_1\ 001_3^11 + 1248003121954699768294609516/180072602734957042893571817\ 17*c_1001_3^10 - 1384490184528495295309381211/180072602734957042893\ 57181717*c_1001_3^9 + 3636530692070908897981069394/1800726027349570\ 4289357181717*c_1001_3^8 + 4193688054503824966633520639/18007260273\ 495704289357181717*c_1001_3^7 - 201509138234944332017652901/9477505\ 40710300225755641143*c_1001_3^6 + 4678596577971331709410508035/1800\ 7260273495704289357181717*c_1001_3^5 + 8140057359637985073259618262/18007260273495704289357181717*c_1001_3\ ^4 - 8558032517966592829815220534/18007260273495704289357181717*c_1\ 001_3^3 - 18942577991861885337829313269/180072602734957042893571817\ 17*c_1001_3^2 + 265507213384102268082107666/18007260273495704289357\ 181717*c_1001_3 - 130237616530709630223424065/580879363661151751269\ 586507, c_0101_7 - 1696930226689416862323040700/18007260273495704289357181717*c\ _1001_3^11 + 1782527662536361237006324052/1800726027349570428935718\ 1717*c_1001_3^10 + 87858766216386462855846845/180072602734957042893\ 57181717*c_1001_3^9 - 13657352805456538170563301315/180072602734957\ 04289357181717*c_1001_3^8 + 13374381281950285605421428353/180072602\ 73495704289357181717*c_1001_3^7 + 362098772421375304803011296/94775\ 0540710300225755641143*c_1001_3^6 - 31848436116202880964804322921/18007260273495704289357181717*c_1001_\ 3^5 + 4082761164463415815740881586/18007260273495704289357181717*c_\ 1001_3^4 + 58739319992946580388127637423/18007260273495704289357181\ 717*c_1001_3^3 - 9180880701039139054839403112/180072602734957042893\ 57181717*c_1001_3^2 - 75665522733241404112167773883/180072602734957\ 04289357181717*c_1001_3 + 1329055003932796074405838894/580879363661\ 151751269586507, c_0110_4 - 4487276130123429963073574625/18007260273495704289357181717*c\ _1001_3^11 + 4734210986301280789352390415/1800726027349570428935718\ 1717*c_1001_3^10 - 2977486787421547313923762273/1800726027349570428\ 9357181717*c_1001_3^9 - 27476322543942404219656375685/1800726027349\ 5704289357181717*c_1001_3^8 + 26111121382040420370093974141/1800726\ 0273495704289357181717*c_1001_3^7 + 826762607308314542862112165/947750540710300225755641143*c_1001_3^6 - 58006459159439174977963872929/18007260273495704289357181717*c_1001_\ 3^5 + 11400533711285995691143002124/18007260273495704289357181717*c\ _1001_3^4 + 131500649681732996173603188088/180072602734957042893571\ 81717*c_1001_3^3 - 2889637870197444616316369928/1800726027349570428\ 9357181717*c_1001_3^2 - 133790412435264740940694054023/180072602734\ 95704289357181717*c_1001_3 + 1183433976321986398742705400/580879363\ 661151751269586507, c_1001_3^12 - 288/175*c_1001_3^11 + 46/35*c_1001_3^10 + 1006/175*c_1001_3^9 - 1677/175*c_1001_3^8 + 108/175*c_1001_3^7 + 2567/175*c_1001_3^6 - 1819/175*c_1001_3^5 - 669/25*c_1001_3^4 + 3153/175*c_1001_3^3 + 4862/175*c_1001_3^2 - 4278/175*c_1001_3 + 961/175 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_3, c_0101_7, c_0110_4, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 14260003264416830025773/10356444994331100889600*c_1001_3^13 - 5116169647853351572029/5178222497165550444800*c_1001_3^12 + 180356639486898260513539/10356444994331100889600*c_1001_3^11 - 9412099584769371517823/414257799773244035584*c_1001_3^10 + 424231169539067029912603/10356444994331100889600*c_1001_3^9 - 1333709227069643405167081/10356444994331100889600*c_1001_3^8 + 126170641344819920749867/2071288998866220177920*c_1001_3^7 - 52165280556335820051453/1035644499433110088960*c_1001_3^6 + 3211370935512442149148923/10356444994331100889600*c_1001_3^5 + 860878494307778132097947/10356444994331100889600*c_1001_3^4 + 106424018451228126409661/517822249716555044480*c_1001_3^3 - 1101205291215771829979583/10356444994331100889600*c_1001_3^2 - 238881209560750894396627/10356444994331100889600*c_1001_3 - 966972012407491228011329/10356444994331100889600, c_0011_0 - 1, c_0011_10 - 477966995062351/23384314022604545*c_1001_3^13 + 679568922174467/23384314022604545*c_1001_3^12 - 1297052477399414/4676862804520909*c_1001_3^11 + 2379460769620874/4676862804520909*c_1001_3^10 - 21567561908335386/23384314022604545*c_1001_3^9 + 52702926052107818/23384314022604545*c_1001_3^8 - 47014877039274848/23384314022604545*c_1001_3^7 + 31940337562439528/23384314022604545*c_1001_3^6 - 84512616810506064/23384314022604545*c_1001_3^5 + 730105113673988/4676862804520909*c_1001_3^4 - 14921353628011339/4676862804520909*c_1001_3^3 + 20737141318763961/23384314022604545*c_1001_3^2 - 13118462849713122/23384314022604545*c_1001_3 + 4122821064428610/4676862804520909, c_0011_3 + 76511278252123/23384314022604545*c_1001_3^13 - 235195180791251/23384314022604545*c_1001_3^12 + 301114224348747/4676862804520909*c_1001_3^11 - 797371470925045/4676862804520909*c_1001_3^10 + 10586852518635198/23384314022604545*c_1001_3^9 - 20911718854445339/23384314022604545*c_1001_3^8 + 35252573010015949/23384314022604545*c_1001_3^7 - 50560928848166934/23384314022604545*c_1001_3^6 + 50843394341224282/23384314022604545*c_1001_3^5 - 10178992994353827/4676862804520909*c_1001_3^4 + 14158499004930950/4676862804520909*c_1001_3^3 - 10863290961205938/23384314022604545*c_1001_3^2 + 46529573840140766/23384314022604545*c_1001_3 - 1317482378488342/4676862804520909, c_0011_4 - 205049077867502/23384314022604545*c_1001_3^13 + 733412452000224/23384314022604545*c_1001_3^12 - 544302116739481/4676862804520909*c_1001_3^11 + 1986800898169190/4676862804520909*c_1001_3^10 - 10888018525698047/23384314022604545*c_1001_3^9 + 23284971721011476/23384314022604545*c_1001_3^8 - 36404223362176156/23384314022604545*c_1001_3^7 - 20689066333096244/23384314022604545*c_1001_3^6 + 13736424731810977/23384314022604545*c_1001_3^5 + 7928262157653301/4676862804520909*c_1001_3^4 + 16297013622756575/4676862804520909*c_1001_3^3 + 36388088193507892/23384314022604545*c_1001_3^2 + 48984830361095611/23384314022604545*c_1001_3 - 1428933686255445/4676862804520909, c_0101_1 + 236335168043119/23384314022604545*c_1001_3^13 - 386115266564943/23384314022604545*c_1001_3^12 + 604127688880661/4676862804520909*c_1001_3^11 - 1276386243187958/4676862804520909*c_1001_3^10 + 8978441073590669/23384314022604545*c_1001_3^9 - 24959738279374767/23384314022604545*c_1001_3^8 + 25742843334247372/23384314022604545*c_1001_3^7 - 9244596136892177/23384314022604545*c_1001_3^6 + 53342106550965236/23384314022604545*c_1001_3^5 - 8722705094298383/4676862804520909*c_1001_3^4 + 5981828744317275/4676862804520909*c_1001_3^3 - 50352597203952414/23384314022604545*c_1001_3^2 - 1426421690414332/23384314022604545*c_1001_3 - 6218606015397150/4676862804520909, c_0101_10 + 477966995062351/23384314022604545*c_1001_3^13 - 679568922174467/23384314022604545*c_1001_3^12 + 1297052477399414/4676862804520909*c_1001_3^11 - 2379460769620874/4676862804520909*c_1001_3^10 + 21567561908335386/23384314022604545*c_1001_3^9 - 52702926052107818/23384314022604545*c_1001_3^8 + 47014877039274848/23384314022604545*c_1001_3^7 - 31940337562439528/23384314022604545*c_1001_3^6 + 84512616810506064/23384314022604545*c_1001_3^5 - 730105113673988/4676862804520909*c_1001_3^4 + 14921353628011339/4676862804520909*c_1001_3^3 - 20737141318763961/23384314022604545*c_1001_3^2 + 13118462849713122/23384314022604545*c_1001_3 - 4122821064428610/4676862804520909, c_0101_11 + 355090541481854/23384314022604545*c_1001_3^13 - 221885793849128/23384314022604545*c_1001_3^12 + 942962494227739/4676862804520909*c_1001_3^11 - 1161777700838393/4676862804520909*c_1001_3^10 + 13200259336730934/23384314022604545*c_1001_3^9 - 38403019009018342/23384314022604545*c_1001_3^8 + 21710889211382912/23384314022604545*c_1001_3^7 - 36002876894873937/23384314022604545*c_1001_3^6 + 99371770068391616/23384314022604545*c_1001_3^5 + 5590500659218003/4676862804520909*c_1001_3^4 + 18146066286898005/4676862804520909*c_1001_3^3 - 19556268334678159/23384314022604545*c_1001_3^2 - 6425949680639232/23384314022604545*c_1001_3 - 8987646454968745/4676862804520909, c_0101_2 + 340703403870519/23384314022604545*c_1001_3^13 - 485068697305223/23384314022604545*c_1001_3^12 + 968759570901049/4676862804520909*c_1001_3^11 - 1751377907113923/4676862804520909*c_1001_3^10 + 18183389925059264/23384314022604545*c_1001_3^9 - 42499982185916027/23384314022604545*c_1001_3^8 + 41026224951420067/23384314022604545*c_1001_3^7 - 45097635232362637/23384314022604545*c_1001_3^6 + 78213185391034911/23384314022604545*c_1001_3^5 - 2390140803058720/4676862804520909*c_1001_3^4 + 21690982959517713/4676862804520909*c_1001_3^3 - 26952568980466779/23384314022604545*c_1001_3^2 + 28243870802115318/23384314022604545*c_1001_3 - 7728905467206059/4676862804520909, c_0101_3 + 217565585197494/23384314022604545*c_1001_3^13 - 487193486973738/23384314022604545*c_1001_3^12 + 547054781256598/4676862804520909*c_1001_3^11 - 1452793040469916/4676862804520909*c_1001_3^10 + 8357397681398554/23384314022604545*c_1001_3^9 - 22281409426048727/23384314022604545*c_1001_3^8 + 26661733168842007/23384314022604545*c_1001_3^7 + 6419734249737198/23384314022604545*c_1001_3^6 + 26886361672813451/23384314022604545*c_1001_3^5 - 8243736382018619/4676862804520909*c_1001_3^4 - 2812824236672008/4676862804520909*c_1001_3^3 - 39759083156537664/23384314022604545*c_1001_3^2 - 18837183758639757/23384314022604545*c_1001_3 - 2413485884565123/4676862804520909, c_0101_7 + 76511278252123/23384314022604545*c_1001_3^13 - 235195180791251/23384314022604545*c_1001_3^12 + 301114224348747/4676862804520909*c_1001_3^11 - 797371470925045/4676862804520909*c_1001_3^10 + 10586852518635198/23384314022604545*c_1001_3^9 - 20911718854445339/23384314022604545*c_1001_3^8 + 35252573010015949/23384314022604545*c_1001_3^7 - 50560928848166934/23384314022604545*c_1001_3^6 + 50843394341224282/23384314022604545*c_1001_3^5 - 10178992994353827/4676862804520909*c_1001_3^4 + 14158499004930950/4676862804520909*c_1001_3^3 - 10863290961205938/23384314022604545*c_1001_3^2 + 46529573840140766/23384314022604545*c_1001_3 - 1317482378488342/4676862804520909, c_0110_4 - 1, c_1001_3^14 - c_1001_3^13 + 13*c_1001_3^12 - 20*c_1001_3^11 + 36*c_1001_3^10 - 102*c_1001_3^9 + 70*c_1001_3^8 - 55*c_1001_3^7 + 221*c_1001_3^6 + 14*c_1001_3^5 + 155*c_1001_3^4 - 71*c_1001_3^3 + 6*c_1001_3^2 - 68*c_1001_3 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.250 Total time: 2.459 seconds, Total memory usage: 64.12MB