Magma V2.19-8 Wed Aug 21 2013 00:19:06 on localhost [Seed = 4155611773] Type ? for help. Type -D to quit. Loading file "K14a17702__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14a17702 geometric_solution 11.32988855 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 1 2 0132 0132 2031 1230 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 1 -1 0 0 0 0 1 -13 0 12 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493996542743 1.225869076998 0 3 4 0 0132 0132 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 0 0 0 0 0 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.717197128653 0.701784860569 0 0 5 4 3012 0132 0132 1302 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 1 0 -1 0 0 -1 0 1 -12 13 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.287699023029 0.696993925151 6 1 4 7 0132 0132 0213 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.773358899900 0.189172627594 6 3 2 1 1230 0213 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 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.052424889982 1.740025323632 8 8 9 2 0132 1230 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 -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.269840892083 1.069643023601 3 4 10 10 0132 3012 3201 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.738438615196 0.334722916358 9 11 3 11 0213 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.778264657990 0.878953741352 5 11 5 12 0132 1230 3012 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.778264657990 0.878953741352 7 10 10 5 0213 0321 3012 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 -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.103486974465 0.486723266191 6 9 6 9 2310 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.509441645310 0.584907282688 12 7 8 7 0132 0132 3012 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.778264657990 0.878953741352 11 12 8 12 0132 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.677891579972 0.653665949263 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_5'], 'c_1001_10' : negation(d['c_0101_4']), 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : negation(d['c_0110_2']), 'c_1001_7' : d['c_1001_1'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0110_2']), 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : negation(d['c_0011_5']), 'c_1010_12' : negation(d['c_0101_11']), 'c_1010_11' : d['c_1001_1'], 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_0_11' : 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_11'], 'c_0101_10' : d['c_0011_4'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(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' : negation(d['c_0011_11']), 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : d['c_0101_0'], 'c_1100_7' : d['c_1001_1'], 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_0110_2'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : d['c_0101_4'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_5'], 'c_1100_10' : negation(d['c_0011_10']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0110_2']), 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : d['c_0101_11'], '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' : 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_0011_11'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : 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' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : negation(d['c_0011_9']), 'c_0110_12' : d['c_0101_11'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_9'], 'c_0101_6' : d['c_0011_9'], 'c_0101_5' : d['c_0101_12'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0101_2'], '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_12'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_4'], 'c_0110_3' : d['c_0011_9'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : negation(d['c_0101_12']), 'c_0110_6' : d['c_0011_4']})} 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_0011_5, c_0011_9, c_0101_0, c_0101_11, c_0101_12, c_0101_2, c_0101_4, c_0110_2, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 53 Groebner basis: [ t + 637486108048196155973654267533779656468/140638696696821318710632032\ 094203125*c_1001_1^52 - 9362977925197915250821049149337504614097/14\ 0638696696821318710632032094203125*c_1001_1^51 + 61170685525141300434216567674955414816303/1406386966968213187106320\ 32094203125*c_1001_1^50 - 24658705883325371120036553801504045789260\ 9/140638696696821318710632032094203125*c_1001_1^49 + 758066504872441000329569074993631181645944/140638696696821318710632\ 032094203125*c_1001_1^48 - 2080886797150121085115291543618047069998\ 947/140638696696821318710632032094203125*c_1001_1^47 + 5208863958842210988090410079710994796004087/14063869669682131871063\ 2032094203125*c_1001_1^46 - 104121037898665235693467887186996947812\ 7453/12785336063347392610057457463109375*c_1001_1^45 + 22925613731382231329925194603920830931137834/1406386966968213187106\ 32032094203125*c_1001_1^44 - 43826867374007434313947088081288508624\ 609858/140638696696821318710632032094203125*c_1001_1^43 + 77576732098198352818568518325952175793532352/1406386966968213187106\ 32032094203125*c_1001_1^42 - 12559451141987033265552215563101229594\ 4843131/140638696696821318710632032094203125*c_1001_1^41 + 196348078417311601733509225753300534769608081/140638696696821318710\ 632032094203125*c_1001_1^40 - 2934177280241930949631530486034326932\ 27383482/140638696696821318710632032094203125*c_1001_1^39 + 79911017823214559481200260943847986749760714/2812773933936426374212\ 6406418840625*c_1001_1^38 - 476884591147177456483972765676696428632\ 14856/12785336063347392610057457463109375*c_1001_1^37 + 61829845608532774546809439488523313038322764/1278533606334739261005\ 7457463109375*c_1001_1^36 - 158606563304334464089977514445580841262\ 230261/28127739339364263742126406418840625*c_1001_1^35 + 875912734641008725957548413154163723905275318/140638696696821318710\ 632032094203125*c_1001_1^34 - 1009295748885409120984006227205380459\ 074517508/140638696696821318710632032094203125*c_1001_1^33 + 1018512591930000750205607462651732656663642169/14063869669682131871\ 0632032094203125*c_1001_1^32 - 915399580222655815431537514642553492\ 302644764/140638696696821318710632032094203125*c_1001_1^31 + 976666397233645605074360548486684289700661989/140638696696821318710\ 632032094203125*c_1001_1^30 - 8711493853607947481062131709375608679\ 63578442/140638696696821318710632032094203125*c_1001_1^29 + 553725477132044846453694384084404368239898736/140638696696821318710\ 632032094203125*c_1001_1^28 - 6194869581534122067268699813478086926\ 55777597/140638696696821318710632032094203125*c_1001_1^27 + 106872941919566913910496417560198273245300198/281277393393642637421\ 26406418840625*c_1001_1^26 - 10329782515147846510101365973394169437\ 8823511/140638696696821318710632032094203125*c_1001_1^25 + 258975645580342153388916980134217895065424864/140638696696821318710\ 632032094203125*c_1001_1^24 - 2940218701242400663189233582355681611\ 049147/1392462343532884343669624080140625*c_1001_1^23 - 140796159408900946843097780430532056767469942/140638696696821318710\ 632032094203125*c_1001_1^22 - 7402574958841494360169574447011060517\ 3977414/140638696696821318710632032094203125*c_1001_1^21 + 7901053708596679496581967109371658293878014/56255478678728527484252\ 81283768125*c_1001_1^20 + 17237087703681456829560331446284845190357\ 4683/140638696696821318710632032094203125*c_1001_1^19 + 17745098835423827289182075770748363851518734/1406386966968213187106\ 32032094203125*c_1001_1^18 - 13463225757622937597202750623227811265\ 5848141/140638696696821318710632032094203125*c_1001_1^17 - 115388285292269095787658915453804640337583724/140638696696821318710\ 632032094203125*c_1001_1^16 - 7462739651225433250433551264742284784\ 549439/140638696696821318710632032094203125*c_1001_1^15 + 70080619810775509168991916025006174574367662/1406386966968213187106\ 32032094203125*c_1001_1^14 + 55054915243119963115954490656931347149\ 079362/140638696696821318710632032094203125*c_1001_1^13 + 6042617758736805934796921478489791709665941/14063869669682131871063\ 2032094203125*c_1001_1^12 - 235693430512566081387841254845976652472\ 51027/140638696696821318710632032094203125*c_1001_1^11 - 18720755837177450792155448638541898885635314/1406386966968213187106\ 32032094203125*c_1001_1^10 - 40311387709936552232269815922464209252\ 22218/140638696696821318710632032094203125*c_1001_1^9 + 4082820715705848718283905283367523767079051/14063869669682131871063\ 2032094203125*c_1001_1^8 + 1612074093617149094647435561288303087234\ 08/5625547867872852748425281283768125*c_1001_1^7 + 1536981042815171961586988081703446507387526/14063869669682131871063\ 2032094203125*c_1001_1^6 - 2406113731514640072620810620559715901776\ /28127739339364263742126406418840625*c_1001_1^5 - 384692190943675522402184206561908468885366/140638696696821318710632\ 032094203125*c_1001_1^4 - 2482333259084970092105551916859752938242/\ 1449883471101250708357031258703125*c_1001_1^3 - 7461312762300177270059016655443505618111/12785336063347392610057457\ 463109375*c_1001_1^2 - 16814131060130101971710098367827065692273/14\ 0638696696821318710632032094203125*c_1001_1 - 1302613915667090308329899842168088186411/14063869669682131871063203\ 2094203125, c_0011_0 - 1, c_0011_10 + c_1001_1^6 - c_1001_1^5 - c_1001_1^4 - 2*c_1001_1^3 + c_1001_1^2 + 2*c_1001_1 + 1, c_0011_11 - c_1001_1^9 + 2*c_1001_1^8 + 3*c_1001_1^6 - 5*c_1001_1^5 - 3*c_1001_1^4 - 2*c_1001_1^3 + 3*c_1001_1^2 + 3*c_1001_1 + 1, c_0011_4 - c_1001_1^3 + c_1001_1 + 1, c_0011_5 - c_1001_1^42 + 11*c_1001_1^41 - 51*c_1001_1^40 + 144*c_1001_1^39 - 350*c_1001_1^38 + 855*c_1001_1^37 - 1750*c_1001_1^36 + 2974*c_1001_1^35 - 5220*c_1001_1^34 + 8699*c_1001_1^33 - 11556*c_1001_1^32 + 15624*c_1001_1^31 - 22760*c_1001_1^30 + 24292*c_1001_1^29 - 24648*c_1001_1^28 + 34896*c_1001_1^27 - 29994*c_1001_1^26 + 17922*c_1001_1^25 - 34222*c_1001_1^24 + 24200*c_1001_1^23 + 3348*c_1001_1^22 + 25111*c_1001_1^21 - 16892*c_1001_1^20 - 21230*c_1001_1^19 - 17617*c_1001_1^18 + 13496*c_1001_1^17 + 24885*c_1001_1^16 + 12764*c_1001_1^15 - 9732*c_1001_1^14 - 17666*c_1001_1^13 - 8180*c_1001_1^12 + 4460*c_1001_1^11 + 8126*c_1001_1^10 + 3980*c_1001_1^9 - 802*c_1001_1^8 - 2172*c_1001_1^7 - 1260*c_1001_1^6 - 193*c_1001_1^5 + 208*c_1001_1^4 + 190*c_1001_1^3 + 85*c_1001_1^2 + 22*c_1001_1 + 3, c_0011_9 - c_1001_1^50 + 13*c_1001_1^49 - 73*c_1001_1^48 + 248*c_1001_1^47 - 664*c_1001_1^46 + 1699*c_1001_1^45 - 3930*c_1001_1^44 + 7650*c_1001_1^43 - 14011*c_1001_1^42 + 25450*c_1001_1^41 - 40429*c_1001_1^40 + 58128*c_1001_1^39 - 87698*c_1001_1^38 + 119925*c_1001_1^37 - 137504*c_1001_1^36 + 176562*c_1001_1^35 - 220339*c_1001_1^34 + 193258*c_1001_1^33 - 209525*c_1001_1^32 + 272742*c_1001_1^31 - 156744*c_1001_1^30 + 123210*c_1001_1^29 - 261122*c_1001_1^28 + 58502*c_1001_1^27 + 31872*c_1001_1^26 + 238414*c_1001_1^25 + 10484*c_1001_1^24 - 153478*c_1001_1^23 - 226124*c_1001_1^22 - 21946*c_1001_1^21 + 188778*c_1001_1^20 + 195294*c_1001_1^19 + 11991*c_1001_1^18 - 148861*c_1001_1^17 - 134555*c_1001_1^16 - 8486*c_1001_1^15 + 80360*c_1001_1^14 + 69052*c_1001_1^13 + 9148*c_1001_1^12 - 27656*c_1001_1^11 - 24856*c_1001_1^10 - 6564*c_1001_1^9 + 4644*c_1001_1^8 + 5538*c_1001_1^7 + 2490*c_1001_1^6 + 182*c_1001_1^5 - 498*c_1001_1^4 - 378*c_1001_1^3 - 151*c_1001_1^2 - 37*c_1001_1 - 5, c_0101_0 + c_1001_1^52 - 15*c_1001_1^51 + 100*c_1001_1^50 - 409*c_1001_1^49 + 1260*c_1001_1^48 - 3434*c_1001_1^47 + 8560*c_1001_1^46 - 18772*c_1001_1^45 + 37230*c_1001_1^44 - 70435*c_1001_1^43 + 123930*c_1001_1^42 - 198531*c_1001_1^41 + 305733*c_1001_1^40 - 453006*c_1001_1^39 + 609920*c_1001_1^38 - 784314*c_1001_1^37 + 1006412*c_1001_1^36 - 1161613*c_1001_1^35 + 1244362*c_1001_1^34 - 1418205*c_1001_1^33 + 1427845*c_1001_1^32 - 1215838*c_1001_1^31 + 1287206*c_1001_1^30 - 1182110*c_1001_1^29 + 657372*c_1001_1^28 - 747606*c_1001_1^27 + 741622*c_1001_1^26 - 51120*c_1001_1^25 + 263292*c_1001_1^24 - 467638*c_1001_1^23 - 242686*c_1001_1^22 - 37282*c_1001_1^21 + 348639*c_1001_1^20 + 262605*c_1001_1^19 - 16150*c_1001_1^18 - 242251*c_1001_1^17 - 176690*c_1001_1^16 + 9494*c_1001_1^15 + 125402*c_1001_1^14 + 87994*c_1001_1^13 + 2838*c_1001_1^12 - 42754*c_1001_1^11 - 31576*c_1001_1^10 - 5494*c_1001_1^9 + 7882*c_1001_1^8 + 7174*c_1001_1^7 + 2546*c_1001_1^6 - 174*c_1001_1^5 - 717*c_1001_1^4 - 429*c_1001_1^3 - 142*c_1001_1^2 - 27*c_1001_1 - 2, c_0101_11 + c_1001_1^31 - 8*c_1001_1^30 + 25*c_1001_1^29 - 49*c_1001_1^28 + 111*c_1001_1^27 - 242*c_1001_1^26 + 339*c_1001_1^25 - 472*c_1001_1^24 + 855*c_1001_1^23 - 936*c_1001_1^22 + 787*c_1001_1^21 - 1457*c_1001_1^20 + 1313*c_1001_1^19 - 282*c_1001_1^18 + 1381*c_1001_1^17 - 1169*c_1001_1^16 - 779*c_1001_1^15 - 916*c_1001_1^14 + 909*c_1001_1^13 + 1259*c_1001_1^12 + 595*c_1001_1^11 - 614*c_1001_1^10 - 925*c_1001_1^9 - 366*c_1001_1^8 + 239*c_1001_1^7 + 368*c_1001_1^6 + 159*c_1001_1^5 - 21*c_1001_1^4 - 59*c_1001_1^3 - 34*c_1001_1^2 - 11*c_1001_1 - 2, c_0101_12 - c_1001_1^12 + 3*c_1001_1^11 - 2*c_1001_1^10 + 5*c_1001_1^9 - 12*c_1001_1^8 + 2*c_1001_1^7 - 4*c_1001_1^6 + 14*c_1001_1^5 + 5*c_1001_1^4 - 6*c_1001_1^2 - 4*c_1001_1 - 1, c_0101_2 + c_1001_1, c_0101_4 - c_1001_1^50 + 13*c_1001_1^49 - 73*c_1001_1^48 + 248*c_1001_1^47 - 664*c_1001_1^46 + 1699*c_1001_1^45 - 3930*c_1001_1^44 + 7650*c_1001_1^43 - 14011*c_1001_1^42 + 25450*c_1001_1^41 - 40429*c_1001_1^40 + 58128*c_1001_1^39 - 87698*c_1001_1^38 + 119925*c_1001_1^37 - 137504*c_1001_1^36 + 176562*c_1001_1^35 - 220339*c_1001_1^34 + 193258*c_1001_1^33 - 209525*c_1001_1^32 + 272742*c_1001_1^31 - 156744*c_1001_1^30 + 123210*c_1001_1^29 - 261122*c_1001_1^28 + 58502*c_1001_1^27 + 31872*c_1001_1^26 + 238414*c_1001_1^25 + 10484*c_1001_1^24 - 153478*c_1001_1^23 - 226124*c_1001_1^22 - 21946*c_1001_1^21 + 188778*c_1001_1^20 + 195294*c_1001_1^19 + 11991*c_1001_1^18 - 148861*c_1001_1^17 - 134555*c_1001_1^16 - 8486*c_1001_1^15 + 80360*c_1001_1^14 + 69052*c_1001_1^13 + 9148*c_1001_1^12 - 27656*c_1001_1^11 - 24856*c_1001_1^10 - 6564*c_1001_1^9 + 4644*c_1001_1^8 + 5538*c_1001_1^7 + 2490*c_1001_1^6 + 182*c_1001_1^5 - 498*c_1001_1^4 - 378*c_1001_1^3 - 151*c_1001_1^2 - 37*c_1001_1 - 5, c_0110_2 + c_1001_1^51 - 14*c_1001_1^50 + 87*c_1001_1^49 - 335*c_1001_1^48 + 998*c_1001_1^47 - 2684*c_1001_1^46 + 6540*c_1001_1^45 - 13931*c_1001_1^44 + 27229*c_1001_1^43 - 50856*c_1001_1^42 + 87085*c_1001_1^41 - 136896*c_1001_1^40 + 209266*c_1001_1^39 - 301868*c_1001_1^38 + 395750*c_1001_1^37 - 508489*c_1001_1^36 + 635427*c_1001_1^35 - 702748*c_1001_1^34 + 761953*c_1001_1^33 - 849510*c_1001_1^32 + 787860*c_1001_1^31 - 700720*c_1001_1^30 + 743230*c_1001_1^29 - 562090*c_1001_1^28 + 356404*c_1001_1^27 - 449704*c_1001_1^26 + 260046*c_1001_1^25 - 29488*c_1001_1^24 + 223320*c_1001_1^23 - 90840*c_1001_1^22 - 107402*c_1001_1^21 - 122738*c_1001_1^20 + 37123*c_1001_1^19 + 104434*c_1001_1^18 + 76293*c_1001_1^17 - 17097*c_1001_1^16 - 59232*c_1001_1^15 - 41252*c_1001_1^14 + 3790*c_1001_1^13 + 22732*c_1001_1^12 + 16422*c_1001_1^11 + 1324*c_1001_1^10 - 5396*c_1001_1^9 - 4326*c_1001_1^8 - 1088*c_1001_1^7 + 548*c_1001_1^6 + 604*c_1001_1^5 + 248*c_1001_1^4 + 29*c_1001_1^3 - 22*c_1001_1^2 - 13*c_1001_1 - 3, c_1001_1^53 - 14*c_1001_1^52 + 86*c_1001_1^51 - 323*c_1001_1^50 + 938*c_1001_1^49 - 2509*c_1001_1^48 + 6124*c_1001_1^47 - 12896*c_1001_1^46 + 24998*c_1001_1^45 - 47136*c_1001_1^44 + 80724*c_1001_1^43 - 125457*c_1001_1^42 + 194287*c_1001_1^41 - 284169*c_1001_1^40 + 366180*c_1001_1^39 - 476262*c_1001_1^38 + 617848*c_1001_1^37 - 663690*c_1001_1^36 + 718176*c_1001_1^35 - 876591*c_1001_1^34 + 771593*c_1001_1^33 - 637503*c_1001_1^32 + 859228*c_1001_1^31 - 595624*c_1001_1^30 + 218492*c_1001_1^29 - 652324*c_1001_1^28 + 350420*c_1001_1^27 + 240798*c_1001_1^26 + 472218*c_1001_1^25 - 233834*c_1001_1^24 - 487004*c_1001_1^23 - 370808*c_1001_1^22 + 203955*c_1001_1^21 + 488506*c_1001_1^20 + 283578*c_1001_1^19 - 153967*c_1001_1^18 - 342648*c_1001_1^17 - 184293*c_1001_1^16 + 75664*c_1001_1^15 + 172144*c_1001_1^14 + 94622*c_1001_1^13 - 17184*c_1001_1^12 - 57908*c_1001_1^11 - 35746*c_1001_1^10 - 3008*c_1001_1^9 + 10730*c_1001_1^8 + 8632*c_1001_1^7 + 2920*c_1001_1^6 - 287*c_1001_1^5 - 898*c_1001_1^4 - 542*c_1001_1^3 - 191*c_1001_1^2 - 42*c_1001_1 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.480 Total time: 2.690 seconds, Total memory usage: 32.09MB