Magma V2.19-8 Wed Aug 21 2013 00:03:45 on localhost [Seed = 2328683690] Type ? for help. Type -D to quit. Loading file "K13n1911__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1911 geometric_solution 11.99754446 oriented_manifold CS_known 0.0000000000000000 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 -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.455854932441 1.148711496074 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 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 0 0 0 0 0 0 0 5 -5 0 1 0 -5 4 -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.667097348719 0.924344329356 8 0 4 9 0132 0132 2310 0132 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 -4 5 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.186058080253 0.489877575574 7 8 5 0 0132 2103 2103 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 0.122357066517 0.832939283788 10 2 0 8 0132 3201 0132 1023 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 0 -1 1 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.272475305301 1.356101928595 3 1 10 11 2103 0132 0132 0132 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 -5 5 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.457757148916 1.112940743990 9 11 1 12 0213 0132 0132 0132 0 0 0 0 0 -1 0 1 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 -4 0 4 0 0 -4 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.189677499730 0.924255002737 3 12 9 1 0132 0132 0213 0132 0 0 0 0 0 0 -1 1 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 -5 5 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.351022420158 1.072194909373 2 3 11 4 0132 2103 1302 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 1 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 0 0 0.546368108900 0.561133206912 6 7 2 10 0213 0213 0132 3201 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 5 -5 0 0 0 1 -1 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.347627933494 1.542090647808 4 9 12 5 0132 2310 1230 0132 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 5 0 -5 0 0 0 0 0 1 0 -1 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.615637317080 0.618619140766 8 6 5 12 2031 0132 0132 1230 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 0 0 0.077196435882 0.702109047941 11 7 6 10 3012 0132 0132 3012 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 0 -4 4 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.302029589813 0.627197410762 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_0101_12'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : d['c_0101_12'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_10']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0101_2']), 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : d['c_0011_12'], 'c_1010_12' : negation(d['c_0101_10']), 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : d['c_0101_12'], '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'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], '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' : 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' : d['c_0011_11'], 'c_1100_8' : d['c_0101_11'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_12'], 'c_1100_4' : negation(d['c_0101_11']), 'c_1100_7' : negation(d['c_1001_10']), 'c_1100_6' : negation(d['c_1001_10']), 'c_1100_1' : negation(d['c_1001_10']), 'c_1100_0' : negation(d['c_0101_11']), 'c_1100_3' : negation(d['c_0101_11']), 'c_1100_2' : negation(d['c_0011_10']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0110_12'], 'c_1100_10' : d['c_0110_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0101_10']), 'c_1010_2' : negation(d['c_0101_10']), 'c_1010_1' : d['c_0101_12'], 'c_1010_0' : negation(d['c_0101_2']), 'c_1010_9' : negation(d['c_1001_10']), 'c_1010_8' : d['c_0101_10'], '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' : negation(d['c_1001_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_10']), 'c_0011_7' : negation(d['c_0011_12']), '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_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_12'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0110_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_9'], 'c_0101_6' : d['c_0011_9'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_9'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : negation(d['c_0011_11']), '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' : negation(d['c_0101_12']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_9'], 'c_1100_9' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0011_9'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_12'], '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_10, c_0011_11, c_0011_12, c_0011_9, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_2, c_0110_12, c_1001_1, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 1409575654216691903784755018739192/4155156638345572436711745790075*\ c_1001_10^18 + 352129217189714666574544239343092/319627433718890187\ 439365060775*c_1001_10^17 + 6845091234461774966372894508868421/4155\ 156638345572436711745790075*c_1001_10^16 - 4578337805884661436928702562654994/4155156638345572436711745790075*\ c_1001_10^15 - 3549900887537149000987076182112224/83103132766911448\ 7342349158015*c_1001_10^14 - 16728958645709961780848457388509667/41\ 55156638345572436711745790075*c_1001_10^13 + 24657115037399809444804126010325483/4155156638345572436711745790075\ *c_1001_10^12 + 2057521403483285141799321463703551/2444209787262101\ 43335985046475*c_1001_10^11 + 8191688005438126594090552044800859/41\ 55156638345572436711745790075*c_1001_10^10 - 16431258644674831611256289190471/1559158213262878963118853955*c_100\ 1_10^9 - 2713542802975130400615736164873443/83103132766911448734234\ 9158015*c_1001_10^8 + 13298216616287314973777433643141269/415515663\ 8345572436711745790075*c_1001_10^7 + 20696079932733444434908728142503843/4155156638345572436711745790075\ *c_1001_10^6 - 8866135151177501896090412315368636/41551566383455724\ 36711745790075*c_1001_10^5 + 114820359243523120558620694127413/4155\ 156638345572436711745790075*c_1001_10^4 + 130477194238051634630862795266074/166206265533822897468469831603*c_\ 1001_10^3 - 38093221233027610090848239005583/1013452838620871326027\ 25507075*c_1001_10^2 - 143895376147680633296893705712581/8310313276\ 69114487342349158015*c_1001_10 + 1185216596242035445184643140919916\ /4155156638345572436711745790075, c_0011_0 - 1, c_0011_10 - 185338601538575792454/118938406094374339001*c_1001_10^18 - 684971401059175972327/118938406094374339001*c_1001_10^17 - 1200504103738687944185/118938406094374339001*c_1001_10^16 + 75442405056121792762/118938406094374339001*c_1001_10^15 + 2375508126208093609954/118938406094374339001*c_1001_10^14 + 3232423744946563937474/118938406094374339001*c_1001_10^13 - 1760243476793732131527/118938406094374339001*c_1001_10^12 - 5265225910519552639163/118938406094374339001*c_1001_10^11 - 3198262873117359467639/118938406094374339001*c_1001_10^10 + 4254976697515590323856/118938406094374339001*c_1001_10^9 + 3475379519170614598171/118938406094374339001*c_1001_10^8 - 489063883655760184128/118938406094374339001*c_1001_10^7 - 2690275286557028975792/118938406094374339001*c_1001_10^6 + 189869423159363866574/118938406094374339001*c_1001_10^5 + 377344969972265431106/118938406094374339001*c_1001_10^4 - 310818205514967543679/118938406094374339001*c_1001_10^3 - 75740708341965145691/118938406094374339001*c_1001_10^2 + 51606431324690539049/118938406094374339001*c_1001_10 - 91917243324327441195/118938406094374339001, c_0011_11 - 385094706104587619259/118938406094374339001*c_1001_10^18 - 1280987912839896636533/118938406094374339001*c_1001_10^17 - 2006948223551231451897/118938406094374339001*c_1001_10^16 + 977135091089004620415/118938406094374339001*c_1001_10^15 + 4711410476596898727004/118938406094374339001*c_1001_10^14 + 4899643268594565795164/118938406094374339001*c_1001_10^13 - 6193908193811602326455/118938406094374339001*c_1001_10^12 - 9651782958319548062889/118938406094374339001*c_1001_10^11 - 3138812468249980186051/118938406094374339001*c_1001_10^10 + 11594997477394509826653/118938406094374339001*c_1001_10^9 + 4236281335470621108004/118938406094374339001*c_1001_10^8 - 3161287982686517968756/118938406094374339001*c_1001_10^7 - 6276396319628773493354/118938406094374339001*c_1001_10^6 + 2158632041404777134702/118938406094374339001*c_1001_10^5 + 210158987528090560962/118938406094374339001*c_1001_10^4 - 675655733245864301229/118938406094374339001*c_1001_10^3 + 117260362827403489550/118938406094374339001*c_1001_10^2 + 279369226167001681731/118938406094374339001*c_1001_10 - 177183879914616259817/118938406094374339001, c_0011_12 + 144060203476993519184/118938406094374339001*c_1001_10^18 + 440251991668241257263/118938406094374339001*c_1001_10^17 + 632853751101902195291/118938406094374339001*c_1001_10^16 - 553912877935040661001/118938406094374339001*c_1001_10^15 - 1707055671296674647359/118938406094374339001*c_1001_10^14 - 1605144146240400771987/118938406094374339001*c_1001_10^13 + 2547699012940759406066/118938406094374339001*c_1001_10^12 + 3045604460718413291719/118938406094374339001*c_1001_10^11 + 852306266671419607916/118938406094374339001*c_1001_10^10 - 4417126774901930870513/118938406094374339001*c_1001_10^9 - 965040069286482226785/118938406094374339001*c_1001_10^8 + 626271673337417363791/118938406094374339001*c_1001_10^7 + 2226625215281985904938/118938406094374339001*c_1001_10^6 - 937486550381088683797/118938406094374339001*c_1001_10^5 + 425148756269372717237/118938406094374339001*c_1001_10^4 - 179146035182063521125/118938406094374339001*c_1001_10^3 - 202039141180600231753/118938406094374339001*c_1001_10^2 - 107257195499703148711/118938406094374339001*c_1001_10 + 128353101454788797472/118938406094374339001, c_0011_9 + 92166360859234852855/118938406094374339001*c_1001_10^18 + 346287504047939130421/118938406094374339001*c_1001_10^17 + 567388722709505005672/118938406094374339001*c_1001_10^16 - 188046749948381991790/118938406094374339001*c_1001_10^15 - 1544684101823147713204/118938406094374339001*c_1001_10^14 - 1772487773889683386128/118938406094374339001*c_1001_10^13 + 1250059213335473021196/118938406094374339001*c_1001_10^12 + 3657104097614084753993/118938406094374339001*c_1001_10^11 + 1811659813880882121790/118938406094374339001*c_1001_10^10 - 2746941588376275687640/118938406094374339001*c_1001_10^9 - 2973472931676472724075/118938406094374339001*c_1001_10^8 + 329032869402145315320/118938406094374339001*c_1001_10^7 + 1521146435635727399376/118938406094374339001*c_1001_10^6 + 464273718337526539644/118938406094374339001*c_1001_10^5 - 173993175718276788806/118938406094374339001*c_1001_10^4 + 530056447956969046089/118938406094374339001*c_1001_10^3 - 150960037547765483297/118938406094374339001*c_1001_10^2 - 94709146955863641047/118938406094374339001*c_1001_10 + 27201911239779669086/118938406094374339001, c_0101_1 - 53668705967165094225/118938406094374339001*c_1001_10^18 - 149187353487491194565/118938406094374339001*c_1001_10^17 - 204052383776627828697/118938406094374339001*c_1001_10^16 + 206887032040524964657/118938406094374339001*c_1001_10^15 + 432278731505650427901/118938406094374339001*c_1001_10^14 + 304475844513288893058/118938406094374339001*c_1001_10^13 - 1029241294773689108057/118938406094374339001*c_1001_10^12 - 608875797166657515236/118938406094374339001*c_1001_10^11 - 13000554319557569745/118938406094374339001*c_1001_10^10 + 1278183099140988286223/118938406094374339001*c_1001_10^9 - 546789983546672720993/118938406094374339001*c_1001_10^8 - 201818214758761989878/118938406094374339001*c_1001_10^7 - 402405794609398469685/118938406094374339001*c_1001_10^6 + 630949046950792030357/118938406094374339001*c_1001_10^5 - 508426500272334422117/118938406094374339001*c_1001_10^4 - 119719024908032506505/118938406094374339001*c_1001_10^3 - 123295456253367831152/118938406094374339001*c_1001_10^2 + 25452956114079140912/118938406094374339001*c_1001_10 - 20580029068141931312/118938406094374339001, c_0101_10 + 193838396473990542533/118938406094374339001*c_1001_10^18 + 678415357123350029009/118938406094374339001*c_1001_10^17 + 1136132417431574188881/118938406094374339001*c_1001_10^16 - 246013208185855227522/118938406094374339001*c_1001_10^15 - 2296337765051508956610/118938406094374339001*c_1001_10^14 - 2766860825453089878770/118938406094374339001*c_1001_10^13 + 2495161373891957690995/118938406094374339001*c_1001_10^12 + 4905006725840324102041/118938406094374339001*c_1001_10^11 + 2261577675971729418202/118938406094374339001*c_1001_10^10 - 4978709630912925814777/118938406094374339001*c_1001_10^9 - 2365753839694505238505/118938406094374339001*c_1001_10^8 + 1091683003979153003350/118938406094374339001*c_1001_10^7 + 2754106088550639125004/118938406094374339001*c_1001_10^6 - 834847678480163293046/118938406094374339001*c_1001_10^5 + 113942249776559563705/118938406094374339001*c_1001_10^4 + 522924338222124197941/118938406094374339001*c_1001_10^3 - 25931511068350076826/118938406094374339001*c_1001_10^2 - 189638759032274629172/118938406094374339001*c_1001_10 + 52609543810441937052/118938406094374339001, c_0101_11 - 8739278480325936837/118938406094374339001*c_1001_10^18 + 107029795785030552370/118938406094374339001*c_1001_10^17 + 475292688183117210839/118938406094374339001*c_1001_10^16 + 1019561125054813540890/118938406094374339001*c_1001_10^15 + 359550189949247329842/118938406094374339001*c_1001_10^14 - 1264455643065341042933/118938406094374339001*c_1001_10^13 - 2597226518456865677098/118938406094374339001*c_1001_10^12 + 377489312650273316531/118938406094374339001*c_1001_10^11 + 3189765746416603725310/118938406094374339001*c_1001_10^10 + 3238957303004210408160/118938406094374339001*c_1001_10^9 - 1849771841353115966593/118938406094374339001*c_1001_10^8 - 2235874019013566446520/118938406094374339001*c_1001_10^7 - 680919053688813411021/118938406094374339001*c_1001_10^6 + 1612745611980083895679/118938406094374339001*c_1001_10^5 + 178426911262893186706/118938406094374339001*c_1001_10^4 + 286621945852591677415/118938406094374339001*c_1001_10^3 + 309457950503321519245/118938406094374339001*c_1001_10^2 - 96579304625695013556/118938406094374339001*c_1001_10 - 71832366163507163613/118938406094374339001, c_0101_12 - 97061796622194528642/118938406094374339001*c_1001_10^18 - 307349710918683951987/118938406094374339001*c_1001_10^17 - 461090817095446919176/118938406094374339001*c_1001_10^16 + 286082243337368113609/118938406094374339001*c_1001_10^15 + 1021930406998208426471/118938406094374339001*c_1001_10^14 + 853934828837241784753/118938406094374339001*c_1001_10^13 - 1861726698165060896277/118938406094374339001*c_1001_10^12 - 1987883944586669396269/118938406094374339001*c_1001_10^11 - 105587746671799919325/118938406094374339001*c_1001_10^10 + 3080458440160327484026/118938406094374339001*c_1001_10^9 + 113542557184835225071/118938406094374339001*c_1001_10^8 - 1260654529642923335785/118938406094374339001*c_1001_10^7 - 1457826774249408207082/118938406094374339001*c_1001_10^6 + 1142473630468002139045/118938406094374339001*c_1001_10^5 - 190982129883421690241/118938406094374339001*c_1001_10^4 - 213189394619600945653/118938406094374339001*c_1001_10^3 - 111375143624043221114/118938406094374339001*c_1001_10^2 + 129122873293529848608/118938406094374339001*c_1001_10 - 74430709641549678935/118938406094374339001, c_0101_2 + 133597980250771549317/118938406094374339001*c_1001_10^18 + 431719333373345119737/118938406094374339001*c_1001_10^17 + 601264741295960163725/118938406094374339001*c_1001_10^16 - 619807507916975221544/118938406094374339001*c_1001_10^15 - 2059455393251376493584/118938406094374339001*c_1001_10^14 - 1821723959730637875085/118938406094374339001*c_1001_10^13 + 2681023200436628921685/118938406094374339001*c_1001_10^12 + 4308288906056167763534/118938406094374339001*c_1001_10^11 + 1298140676475542080429/118938406094374339001*c_1001_10^10 - 4770665150017931317135/118938406094374339001*c_1001_10^9 - 2727194805162896797173/118938406094374339001*c_1001_10^8 + 684681074113361448127/118938406094374339001*c_1001_10^7 + 2355509649730176549499/118938406094374339001*c_1001_10^6 + 110309184351699626251/118938406094374339001*c_1001_10^5 + 304742195981697705311/118938406094374339001*c_1001_10^4 + 241847734064494213308/118938406094374339001*c_1001_10^3 - 373100667141292521407/118938406094374339001*c_1001_10^2 - 110374384246510212971/118938406094374339001*c_1001_10 + 81345650802411184158/118938406094374339001, c_0110_12 + 61356033101329161587/118938406094374339001*c_1001_10^18 + 213031282611560454502/118938406094374339001*c_1001_10^17 + 309604693134934204814/118938406094374339001*c_1001_10^16 - 231995041087661948580/118938406094374339001*c_1001_10^15 - 968356289180335167675/118938406094374339001*c_1001_10^14 - 819034746577301062119/118938406094374339001*c_1001_10^13 + 1187453021560963693796/118938406094374339001*c_1001_10^12 + 2073762311644024397370/118938406094374339001*c_1001_10^11 + 333438647711590027953/118938406094374339001*c_1001_10^10 - 2028628447139941893667/118938406094374339001*c_1001_10^9 - 1023044175557578674226/118938406094374339001*c_1001_10^8 + 990700474073806152861/118938406094374339001*c_1001_10^7 + 582870680476702892544/118938406094374339001*c_1001_10^6 - 264491395142637508116/118938406094374339001*c_1001_10^5 - 59419472005862044973/118938406094374339001*c_1001_10^4 + 646386165679528580395/118938406094374339001*c_1001_10^3 - 250300934650646119605/118938406094374339001*c_1001_10^2 - 20013387726387542363/118938406094374339001*c_1001_10 + 83343325152970046217/118938406094374339001, c_1001_1 + 253090075708655793762/118938406094374339001*c_1001_10^18 + 883425290476531286300/118938406094374339001*c_1001_10^17 + 1458453132863103377584/118938406094374339001*c_1001_10^16 - 381547241877100556059/118938406094374339001*c_1001_10^15 - 3070891162646326605491/118938406094374339001*c_1001_10^14 - 3562030134114961991178/118938406094374339001*c_1001_10^13 + 3347193331594779368500/118938406094374339001*c_1001_10^12 + 6448181710416546538448/118938406094374339001*c_1001_10^11 + 2641649285152513691721/118938406094374339001*c_1001_10^10 - 6583419529051680822719/118938406094374339001*c_1001_10^9 - 3107570897321812013922/118938406094374339001*c_1001_10^8 + 1763407352174314181845/118938406094374339001*c_1001_10^7 + 3391856424046421611573/118938406094374339001*c_1001_10^6 - 1074745936122473940553/118938406094374339001*c_1001_10^5 - 173975746707244229498/118938406094374339001*c_1001_10^4 + 609362289193664061145/118938406094374339001*c_1001_10^3 - 199268265590923799568/118938406094374339001*c_1001_10^2 - 21979918575145686226/118938406094374339001*c_1001_10 + 154622371684582654148/118938406094374339001, c_1001_10^19 + 24/7*c_1001_10^18 + 38/7*c_1001_10^17 - 17/7*c_1001_10^16 - 93/7*c_1001_10^15 - 99/7*c_1001_10^14 + 109/7*c_1001_10^13 + 198/7*c_1001_10^12 + 71/7*c_1001_10^11 - 214/7*c_1001_10^10 - 109/7*c_1001_10^9 + 57/7*c_1001_10^8 + 118/7*c_1001_10^7 - 26/7*c_1001_10^6 - 10/7*c_1001_10^5 + 16/7*c_1001_10^4 - 4/7*c_1001_10^3 - 5/7*c_1001_10^2 + 5/7*c_1001_10 + 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.510 Total time: 6.719 seconds, Total memory usage: 138.97MB