Magma V2.19-8 Tue Aug 20 2013 23:55:51 on localhost [Seed = 2799750807] Type ? for help. Type -D to quit. Loading file "K12n680__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n680 geometric_solution 11.95321407 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 -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 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.174866928286 0.867689616350 0 3 6 5 0132 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 -12 12 0 0 0 0 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.203813586862 1.020648465137 6 0 8 7 2031 0132 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 1 0 -1 -1 0 1 0 0 0 0 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.766285598163 0.729176019507 9 8 1 0 0132 0132 0213 0132 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 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.314284201854 1.434384084294 5 6 0 10 0132 0132 0132 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 1 -1 0 1 0 0 -1 1 0 0 -1 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531435625471 1.091815294487 4 10 1 11 0132 0321 0132 0132 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 0 0 0 -1 0 -12 13 12 0 0 -12 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.671113218998 1.041649031944 9 4 2 1 3201 0132 1302 0132 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 -1 1 0 0 0 -12 12 13 0 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.501299548123 0.792406827396 12 8 2 12 0132 0213 0132 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 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.537992862430 0.439321847046 11 3 7 2 3012 0132 0213 0132 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 1 -1 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514588130629 0.698694461812 3 11 10 6 0132 3012 2103 2310 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 13 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.250384988018 1.030944331404 9 12 4 5 2103 1302 0132 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 1 -1 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.739631689870 0.564439662982 9 12 5 8 1230 1230 0132 1230 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 -13 13 0 0 0 0 -13 1 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.594427303521 0.252503634324 7 7 11 10 0132 0321 3012 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.115149773029 0.910624828381 ==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_0101_7'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : d['c_1001_11'], 's_3_11' : 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_0'], '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' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0101_2'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_2' : d['c_0011_10'], 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0011_4']), 'c_1100_11' : d['c_0101_2'], 'c_1100_10' : d['c_1001_5'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_11'], 'c_1010_4' : d['c_0101_7'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0101_1']), 'c_1010_8' : d['c_1001_1'], 'c_1100_8' : d['c_0011_10'], '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' : d['1'], 's_3_8' : negation(d['1']), 'c_1100_12' : negation(d['c_1001_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_4']), '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_3']), 'c_0110_10' : d['c_0011_4'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : negation(d['c_0011_12']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_0']), '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_0'], 'c_0101_8' : negation(d['c_0011_12']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_0']), 'c_0110_8' : d['c_0101_2'], '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_0101_7'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : negation(d['c_0011_12']), '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_12, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_7, c_1001_0, c_1001_1, c_1001_11, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 150073328226813338694176945967129791/297902370530192421397261631489\ 567*c_1001_5^20 + 411476033315511223459206931906375289/595804741060\ 384842794523262979134*c_1001_5^19 + 1386690460240220746724230820883343413/59580474106038484279452326297\ 9134*c_1001_5^18 - 15598549106909877660524801525447335387/238321896\ 4241539371178093051916536*c_1001_5^17 - 192246106164910743538899310758421327/116254583621538505911126490337\ 392*c_1001_5^16 + 96435646492608120889944946381947124891/4766437928\ 483078742356186103833072*c_1001_5^15 - 211772835258989896766777209434929852709/190657517139323149694247444\ 15332288*c_1001_5^14 - 257463242608346154820562591229472043297/9532\ 875856966157484712372207666144*c_1001_5^13 + 618731311869381229654492614423020443641/190657517139323149694247444\ 15332288*c_1001_5^12 + 60389893759274881995356704754410732509/47664\ 37928483078742356186103833072*c_1001_5^11 - 363353039963969155870166537419804673501/953287585696615748471237220\ 7666144*c_1001_5^10 + 71638164535709413891780923938425721773/953287\ 5856966157484712372207666144*c_1001_5^9 + 213084106705236129183085677083933862947/953287585696615748471237220\ 7666144*c_1001_5^8 - 13260324150401285274057639652692378431/1121514\ 806701900880554396730313664*c_1001_5^7 - 129989014360196210498714082515578800791/190657517139323149694247444\ 15332288*c_1001_5^6 + 1318990034784210126662800154393392633/2611746\ 81012771437937325265963456*c_1001_5^5 + 4715249214548246983412834456108494263/23832189642415393711780930519\ 16536*c_1001_5^4 - 4454344347275766187360675088320882587/4766437928\ 483078742356186103833072*c_1001_5^3 - 2862031681014476646367648062024766113/23832189642415393711780930519\ 16536*c_1001_5^2 + 222851441879618776209387469596133385/11916094821\ 20769685589046525958268*c_1001_5 + 212267388739306085805367508547348047/595804741060384842794523262979\ 134, c_0011_0 - 1, c_0011_10 + 67660592987245381829790/5506763293274373389071*c_1001_5^20 - 27674703731994639000377/5506763293274373389071*c_1001_5^19 - 352531883685842077825021/5506763293274373389071*c_1001_5^18 + 2218378846764291467485163/22027053173097493556284*c_1001_5^17 + 7019505271547730078102567/44054106346194987112568*c_1001_5^16 - 16722315111414584555458179/44054106346194987112568*c_1001_5^15 - 26100498147977312998881579/176216425384779948450272*c_1001_5^14 + 63428120310529330897127381/88108212692389974225136*c_1001_5^13 - 18527294525163165958459745/176216425384779948450272*c_1001_5^12 - 36813622775184084884973853/44054106346194987112568*c_1001_5^11 + 37015664326446258606925545/88108212692389974225136*c_1001_5^10 + 55898102702549945503458687/88108212692389974225136*c_1001_5^9 - 46244700882806388565101555/88108212692389974225136*c_1001_5^8 - 55941713913143839950646609/176216425384779948450272*c_1001_5^7 + 71888453324343659924937919/176216425384779948450272*c_1001_5^6 + 17119743272389062139503903/176216425384779948450272*c_1001_5^5 - 2413398799335730662112743/11013526586548746778142*c_1001_5^4 - 444598664480093112936281/44054106346194987112568*c_1001_5^3 + 861322352975523127868373/11013526586548746778142*c_1001_5^2 - 31880121158373003282897/11013526586548746778142*c_1001_5 - 80284658406611465385363/5506763293274373389071, c_0011_12 - 327898355960290897193960/5506763293274373389071*c_1001_5^20 + 177876791751451675920724/5506763293274373389071*c_1001_5^19 + 1680244281623351298932016/5506763293274373389071*c_1001_5^18 - 2906919100932384379325885/5506763293274373389071*c_1001_5^17 - 7702474844900239961980531/11013526586548746778142*c_1001_5^16 + 10581556729029495379818183/5506763293274373389071*c_1001_5^15 + 20532398696725602567352605/44054106346194987112568*c_1001_5^14 - 155171370541607238900970743/44054106346194987112568*c_1001_5^13 + 41024498202549897218916425/44054106346194987112568*c_1001_5^12 + 172181694386336221212405579/44054106346194987112568*c_1001_5^11 - 53906426471765928159013607/22027053173097493556284*c_1001_5^10 - 61350075330263836667551131/22027053173097493556284*c_1001_5^9 + 30868174646225618166098847/11013526586548746778142*c_1001_5^8 + 55291520859384948347065629/44054106346194987112568*c_1001_5^7 - 22867835565952072856388745/11013526586548746778142*c_1001_5^6 - 3188072741526220658300449/11013526586548746778142*c_1001_5^5 + 47548448350138496396716531/44054106346194987112568*c_1001_5^4 - 743531874134860692832539/22027053173097493556284*c_1001_5^3 - 8369833228628599957392419/22027053173097493556284*c_1001_5^2 + 197716754372735225212132/5506763293274373389071*c_1001_5 + 395120809392817347721975/5506763293274373389071, c_0011_3 + 339841610305418333506556/5506763293274373389071*c_1001_5^20 - 200697873983144511658826/5506763293274373389071*c_1001_5^19 - 1709127455391427494848838/5506763293274373389071*c_1001_5^18 + 6185283294446957860773779/11013526586548746778142*c_1001_5^17 + 14883860485492491189659307/22027053173097493556284*c_1001_5^16 - 43912760281155439960071977/22027053173097493556284*c_1001_5^15 - 28922384413413490838419635/88108212692389974225136*c_1001_5^14 + 19512826188199399141306078/5506763293274373389071*c_1001_5^13 - 104466972000519083705199689/88108212692389974225136*c_1001_5^12 - 166151706889789558476433577/44054106346194987112568*c_1001_5^11 + 117349620692680309841516163/44054106346194987112568*c_1001_5^10 + 111798592468757327703765817/44054106346194987112568*c_1001_5^9 - 127008945685208044268217473/44054106346194987112568*c_1001_5^8 - 91289221965390734471163693/88108212692389974225136*c_1001_5^7 + 181792519936479482587441081/88108212692389974225136*c_1001_5^6 + 14532601376557062756079269/88108212692389974225136*c_1001_5^5 - 45825282540367208293826697/44054106346194987112568*c_1001_5^4 + 455605168277138073007648/5506763293274373389071*c_1001_5^3 + 3907540530406987537059731/11013526586548746778142*c_1001_5^2 - 515788810901644978021513/11013526586548746778142*c_1001_5 - 363699283110410636014628/5506763293274373389071, c_0011_4 + 232242199402259808366476/5506763293274373389071*c_1001_5^20 - 54183981852615137684398/5506763293274373389071*c_1001_5^19 - 1281295466030961623610556/5506763293274373389071*c_1001_5^18 + 3550743687403482476682739/11013526586548746778142*c_1001_5^17 + 14187021730223727560131857/22027053173097493556284*c_1001_5^16 - 7324572184123684991860191/5506763293274373389071*c_1001_5^15 - 64812196711951611669985731/88108212692389974225136*c_1001_5^14 + 237864631390694067242630055/88108212692389974225136*c_1001_5^13 - 12874433656651463918471393/88108212692389974225136*c_1001_5^12 - 291465245037547713182652861/88108212692389974225136*c_1001_5^11 + 31282956186864687248833467/22027053173097493556284*c_1001_5^10 + 57768961046007680292145797/22027053173097493556284*c_1001_5^9 - 43294399751606182711871865/22027053173097493556284*c_1001_5^8 - 120924198269715816171291599/88108212692389974225136*c_1001_5^7 + 70502758647303192812423171/44054106346194987112568*c_1001_5^6 + 4967567547130889413734365/11013526586548746778142*c_1001_5^5 - 78257734908266452479465279/88108212692389974225136*c_1001_5^4 - 2555952657498157201235953/44054106346194987112568*c_1001_5^3 + 3634139386619111515836689/11013526586548746778142*c_1001_5^2 - 68942852128669918572628/5506763293274373389071*c_1001_5 - 356977559509854903647017/5506763293274373389071, c_0101_0 - 232242199402259808366476/5506763293274373389071*c_1001_5^20 + 54183981852615137684398/5506763293274373389071*c_1001_5^19 + 1281295466030961623610556/5506763293274373389071*c_1001_5^18 - 3550743687403482476682739/11013526586548746778142*c_1001_5^17 - 14187021730223727560131857/22027053173097493556284*c_1001_5^16 + 7324572184123684991860191/5506763293274373389071*c_1001_5^15 + 64812196711951611669985731/88108212692389974225136*c_1001_5^14 - 237864631390694067242630055/88108212692389974225136*c_1001_5^13 + 12874433656651463918471393/88108212692389974225136*c_1001_5^12 + 291465245037547713182652861/88108212692389974225136*c_1001_5^11 - 31282956186864687248833467/22027053173097493556284*c_1001_5^10 - 57768961046007680292145797/22027053173097493556284*c_1001_5^9 + 43294399751606182711871865/22027053173097493556284*c_1001_5^8 + 120924198269715816171291599/88108212692389974225136*c_1001_5^7 - 70502758647303192812423171/44054106346194987112568*c_1001_5^6 - 4967567547130889413734365/11013526586548746778142*c_1001_5^5 + 78257734908266452479465279/88108212692389974225136*c_1001_5^4 + 2555952657498157201235953/44054106346194987112568*c_1001_5^3 - 3634139386619111515836689/11013526586548746778142*c_1001_5^2 + 68942852128669918572628/5506763293274373389071*c_1001_5 + 356977559509854903647017/5506763293274373389071, c_0101_1 + 122557395516325133581376/5506763293274373389071*c_1001_5^20 - 84656267356607869265800/5506763293274373389071*c_1001_5^19 - 599320353864781853387940/5506763293274373389071*c_1001_5^18 + 1166333091205027680337980/5506763293274373389071*c_1001_5^17 + 1186444362475841476193587/5506763293274373389071*c_1001_5^16 - 7969823314681279124962729/11013526586548746778142*c_1001_5^15 - 408853967499728457404003/11013526586548746778142*c_1001_5^14 + 54176242221939124167111649/44054106346194987112568*c_1001_5^13 - 5907481384568495291860021/11013526586548746778142*c_1001_5^12 - 54251403234745767817171817/44054106346194987112568*c_1001_5^11 + 22583543983284400084384017/22027053173097493556284*c_1001_5^10 + 16648596543514130657220321/22027053173097493556284*c_1001_5^9 - 22737775040326764842852247/22027053173097493556284*c_1001_5^8 - 5566970475608299177161721/22027053173097493556284*c_1001_5^7 + 30888633371612987320560263/44054106346194987112568*c_1001_5^6 - 102051719279503776429783/44054106346194987112568*c_1001_5^5 - 14876781700031394350971111/44054106346194987112568*c_1001_5^4 + 1107891164919357084969155/22027053173097493556284*c_1001_5^3 + 1189409105626377962557067/11013526586548746778142*c_1001_5^2 - 111334487753504428391623/5506763293274373389071*c_1001_5 - 102323158658291804666255/5506763293274373389071, c_0101_2 - 300414445441296641651946/5506763293274373389071*c_1001_5^20 + 188464795647339612839471/5506763293274373389071*c_1001_5^19 + 1471320799754092457833437/5506763293274373389071*c_1001_5^18 - 10948199789000013799230913/22027053173097493556284*c_1001_5^17 - 24598012670251963273233505/44054106346194987112568*c_1001_5^16 + 75375179027886244643215327/44054106346194987112568*c_1001_5^15 + 41176628571559219397344097/176216425384779948450272*c_1001_5^14 - 130704311438162881706174663/44054106346194987112568*c_1001_5^13 + 181051691825895008316386291/176216425384779948450272*c_1001_5^12 + 274672213256561096169645069/88108212692389974225136*c_1001_5^11 - 195468988150181452381959393/88108212692389974225136*c_1001_5^10 - 184477983674715894239421227/88108212692389974225136*c_1001_5^9 + 209137193950525576991685027/88108212692389974225136*c_1001_5^8 + 151429633918473101527994951/176216425384779948450272*c_1001_5^7 - 297904005861202300875339511/176216425384779948450272*c_1001_5^6 - 25381354314041227204957091/176216425384779948450272*c_1001_5^5 + 74802607989116228182369601/88108212692389974225136*c_1001_5^4 - 1294492637332082625822827/22027053173097493556284*c_1001_5^3 - 6356170962953854894425175/22027053173097493556284*c_1001_5^2 + 376109446509793986945131/11013526586548746778142*c_1001_5 + 297149557092455949668646/5506763293274373389071, c_0101_7 - 102054793605536979439418/5506763293274373389071*c_1001_5^20 + 92840647564702108295975/5506763293274373389071*c_1001_5^19 + 464297954344287928416901/5506763293274373389071*c_1001_5^18 - 4214186288310597495263177/22027053173097493556284*c_1001_5^17 - 5630357214182731105506537/44054106346194987112568*c_1001_5^16 + 26421078109178223441525399/44054106346194987112568*c_1001_5^15 - 18094163628554824262894231/176216425384779948450272*c_1001_5^14 - 40607961489789450579727679/44054106346194987112568*c_1001_5^13 + 105153175646630906103792427/176216425384779948450272*c_1001_5^12 + 70632900597091702532777941/88108212692389974225136*c_1001_5^11 - 80296152942968201760659097/88108212692389974225136*c_1001_5^10 - 33636855170507275308803363/88108212692389974225136*c_1001_5^9 + 71641645646526569752917563/88108212692389974225136*c_1001_5^8 + 6967822216718198299980735/176216425384779948450272*c_1001_5^7 - 88289371513908076727555183/176216425384779948450272*c_1001_5^6 + 14193661883832340841574565/176216425384779948450272*c_1001_5^5 + 19200547266884064598319065/88108212692389974225136*c_1001_5^4 - 1439152035479576118849599/22027053173097493556284*c_1001_5^3 - 1364091880198283909652111/22027053173097493556284*c_1001_5^2 + 211931602909277035442863/11013526586548746778142*c_1001_5 + 52034766059805682505894/5506763293274373389071, c_1001_0 + 107829921951566178055326/5506763293274373389071*c_1001_5^20 - 39187487411024133501613/5506763293274373389071*c_1001_5^19 - 569890916138655670514767/5506763293274373389071*c_1001_5^18 + 3479449330901229290463507/22027053173097493556284*c_1001_5^17 + 11756837973550460448948675/44054106346194987112568*c_1001_5^16 - 26901043758846853284123829/44054106346194987112568*c_1001_5^15 - 47129966220007880259158131/176216425384779948450272*c_1001_5^14 + 52549119910663090643185303/44054106346194987112568*c_1001_5^13 - 24995801166679091442566633/176216425384779948450272*c_1001_5^12 - 126029609062167055404295811/88108212692389974225136*c_1001_5^11 + 60736256033491580823490523/88108212692389974225136*c_1001_5^10 + 98259675196577714424602529/88108212692389974225136*c_1001_5^9 - 79784732875194564081223761/88108212692389974225136*c_1001_5^8 - 100113204522351172687853205/176216425384779948450272*c_1001_5^7 + 127722536512760576026089517/176216425384779948450272*c_1001_5^6 + 30982545491032385421743681/176216425384779948450272*c_1001_5^5 - 35087083189890666153757527/88108212692389974225136*c_1001_5^4 - 348573481700220968347871/22027053173097493556284*c_1001_5^3 + 3264489603950680646075675/22027053173097493556284*c_1001_5^2 - 93536431205867427328703/11013526586548746778142*c_1001_5 - 165249448729287517419286/5506763293274373389071, c_1001_1 + 300341706197708434883516/5506763293274373389071*c_1001_5^20 - 227181172590197929739358/5506763293274373389071*c_1001_5^19 - 1446056125647257050802512/5506763293274373389071*c_1001_5^18 + 5791690257483632312661663/11013526586548746778142*c_1001_5^17 + 10990687377680391826626969/22027053173097493556284*c_1001_5^16 - 19377238356220911964699111/11013526586548746778142*c_1001_5^15 - 5622593063525900817164735/88108212692389974225136*c_1001_5^14 + 261161211254297344812490593/88108212692389974225136*c_1001_5^13 - 111372581022857628920841279/88108212692389974225136*c_1001_5^12 - 264052944045134767376603083/88108212692389974225136*c_1001_5^11 + 106229048629756983174866589/44054106346194987112568*c_1001_5^10 + 21065613170594084524063511/11013526586548746778142*c_1001_5^9 - 54258635699446028247457737/22027053173097493556284*c_1001_5^8 - 63008394559410839939647027/88108212692389974225136*c_1001_5^7 + 37510278562947370420358009/22027053173097493556284*c_1001_5^6 + 700355342744185508847539/11013526586548746778142*c_1001_5^5 - 73948145035709269088626507/88108212692389974225136*c_1001_5^4 + 1955395657410517516469571/22027053173097493556284*c_1001_5^3 + 3101368656556939998589273/11013526586548746778142*c_1001_5^2 - 213706710180182053123732/5506763293274373389071*c_1001_5 - 283447696380299380261301/5506763293274373389071, c_1001_11 - 107829921951566178055326/5506763293274373389071*c_1001_5^20 + 39187487411024133501613/5506763293274373389071*c_1001_5^19 + 569890916138655670514767/5506763293274373389071*c_1001_5^18 - 3479449330901229290463507/22027053173097493556284*c_1001_5^17 - 11756837973550460448948675/44054106346194987112568*c_1001_5^16 + 26901043758846853284123829/44054106346194987112568*c_1001_5^15 + 47129966220007880259158131/176216425384779948450272*c_1001_5^14 - 52549119910663090643185303/44054106346194987112568*c_1001_5^13 + 24995801166679091442566633/176216425384779948450272*c_1001_5^12 + 126029609062167055404295811/88108212692389974225136*c_1001_5^11 - 60736256033491580823490523/88108212692389974225136*c_1001_5^10 - 98259675196577714424602529/88108212692389974225136*c_1001_5^9 + 79784732875194564081223761/88108212692389974225136*c_1001_5^8 + 100113204522351172687853205/176216425384779948450272*c_1001_5^7 - 127722536512760576026089517/176216425384779948450272*c_1001_5^6 - 30982545491032385421743681/176216425384779948450272*c_1001_5^5 + 35087083189890666153757527/88108212692389974225136*c_1001_5^4 + 348573481700220968347871/22027053173097493556284*c_1001_5^3 - 3264489603950680646075675/22027053173097493556284*c_1001_5^2 + 93536431205867427328703/11013526586548746778142*c_1001_5 + 165249448729287517419286/5506763293274373389071, c_1001_5^21 - 3/2*c_1001_5^20 - 9/2*c_1001_5^19 + 109/8*c_1001_5^18 + 45/16*c_1001_5^17 - 675/16*c_1001_5^16 + 1491/64*c_1001_5^15 + 1005/16*c_1001_5^14 - 4483/64*c_1001_5^13 - 1461/32*c_1001_5^12 + 3139/32*c_1001_5^11 + 147/32*c_1001_5^10 - 2715/32*c_1001_5^9 + 1517/64*c_1001_5^8 + 3195/64*c_1001_5^7 - 1717/64*c_1001_5^6 - 647/32*c_1001_5^5 + 263/16*c_1001_5^4 + 5*c_1001_5^3 - 6*c_1001_5^2 - 1/2*c_1001_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.520 Total time: 4.730 seconds, Total memory usage: 64.12MB