Magma V2.19-8 Tue Aug 20 2013 17:57:20 on localhost [Seed = 4088547215] Type ? for help. Type -D to quit. Loading file "9_24__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 9_24 geometric_solution 10.83372911 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 12 1 1 2 3 0132 1302 0132 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 -1 0 1 1 0 -1 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.433949119767 0.595530174522 0 4 5 0 0132 0132 0132 2031 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 -2 1 1 -1 0 0 1 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.838507203968 0.882175717686 6 6 7 0 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.590393155843 0.620338328719 7 8 0 9 1023 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 -1 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.077176761008 0.702074740397 10 1 11 11 0132 0132 0132 3120 0 0 0 0 0 1 -1 0 0 0 0 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 2 -2 0 1 0 0 -1 2 0 0 -2 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.033317516341 1.367991622329 7 10 9 1 2031 0321 2031 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.821262361253 0.399923703631 2 8 2 9 0132 1230 3012 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.194973737071 0.845857784051 10 3 5 2 2103 1023 1302 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 -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.133879390174 0.495235149173 11 3 6 9 2103 0132 3012 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 -1 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 0 0 0 0.240751630783 1.622887374945 6 8 3 5 3120 0321 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 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.566543304359 1.102825317687 4 11 7 5 0132 3120 2103 0321 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 0 1 -1 -1 0 1 0 1 0 0 -1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515616078741 0.756563118194 4 10 8 4 3120 3120 2103 0132 0 0 0 0 0 -1 0 1 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 -2 0 2 1 0 -1 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.017792960323 0.730565280109 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_3']), 'c_1001_10' : d['c_0011_3'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : negation(d['c_0011_11']), 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_9'], 'c_1001_9' : d['c_0011_2'], 'c_1001_8' : d['c_0011_2'], 'c_1010_11' : d['c_0011_0'], 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : negation(d['1']), 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_9']), 'c_0101_10' : negation(d['c_0011_5']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(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_0011_10' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : d['c_0011_9'], 'c_1100_7' : d['c_0101_5'], 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_1001_3']), 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_0101_5'], 's_3_11' : negation(d['1']), 'c_1100_9' : d['c_0101_5'], 'c_1100_11' : d['c_0011_9'], 'c_1100_10' : negation(d['c_0101_2']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_9'], 'c_1010_6' : negation(d['c_0011_9']), 'c_1010_5' : negation(d['c_0011_11']), 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_3'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_1001_3'], 'c_1100_8' : d['c_0011_2'], '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'], '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' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0011_5']), 'c_0110_10' : negation(d['c_0011_5']), 'c_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_5']), '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_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_9']), 's_1_11' : negation(d['1']), 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0011_9']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_9'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2']})} 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_11, c_0011_2, c_0011_3, c_0011_5, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_9, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 53/16*c_1001_3^5 - 51/8*c_1001_3^4 + 295/16*c_1001_3^3 - 181/8*c_1001_3^2 + 177/16*c_1001_3 - 87/16, c_0011_0 - 1, c_0011_11 - 1/8*c_1001_3^5 - 1/4*c_1001_3^4 - 3/8*c_1001_3^3 - 7/4*c_1001_3^2 + 3/8*c_1001_3 - 13/8, c_0011_2 - 1/8*c_1001_3^5 - 1/4*c_1001_3^4 - 3/8*c_1001_3^3 - 3/4*c_1001_3^2 - 5/8*c_1001_3 + 3/8, c_0011_3 - 1/8*c_1001_3^5 - 1/4*c_1001_3^4 - 3/8*c_1001_3^3 - 3/4*c_1001_3^2 - 5/8*c_1001_3 + 3/8, c_0011_5 + 5/8*c_1001_3^5 - 3/4*c_1001_3^4 + 23/8*c_1001_3^3 - 9/4*c_1001_3^2 + 9/8*c_1001_3 - 7/8, c_0011_9 + c_1001_3, c_0101_0 + 5/8*c_1001_3^5 - 3/4*c_1001_3^4 + 23/8*c_1001_3^3 - 9/4*c_1001_3^2 + 9/8*c_1001_3 - 7/8, c_0101_1 - 5/8*c_1001_3^5 + 3/4*c_1001_3^4 - 23/8*c_1001_3^3 + 9/4*c_1001_3^2 - 9/8*c_1001_3 + 7/8, c_0101_2 - 1/4*c_1001_3^5 + 1/2*c_1001_3^4 - 3/4*c_1001_3^3 + 3/2*c_1001_3^2 + 3/4*c_1001_3 + 3/4, c_0101_5 - 1, c_0101_9 + 1/2*c_1001_3^5 + 5/2*c_1001_3^3 + c_1001_3^2 + 3/2*c_1001_3 + 1/2, c_1001_3^6 - c_1001_3^5 + 5*c_1001_3^4 - 3*c_1001_3^3 + 3*c_1001_3^2 - 2*c_1001_3 + 1 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_2, c_0011_3, c_0011_5, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_9, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 425812002966672534831253/923122134748159860672*c_1001_3^16 - 744946998018555032562185/923122134748159860672*c_1001_3^15 + 2882899968697164764035819/307707378249386620224*c_1001_3^14 - 883164923605966535573551/307707378249386620224*c_1001_3^13 + 11780153990792923752949771/230780533687039965168*c_1001_3^12 + 3995585548260918838717403/115390266843519982584*c_1001_3^11 + 36164556017057860967958917/230780533687039965168*c_1001_3^10 + 90142603865736682629282071/461561067374079930336*c_1001_3^9 + 326876535930037895654988673/923122134748159860672*c_1001_3^8 + 139896500101342319836505375/307707378249386620224*c_1001_3^7 + 252351479730968243763940667/461561067374079930336*c_1001_3^6 + 64806949714807901416986661/115390266843519982584*c_1001_3^5 + 439597433804230578236599169/923122134748159860672*c_1001_3^4 + 155881008975863321664556835/461561067374079930336*c_1001_3^3 + 21990585931322986594260917/115390266843519982584*c_1001_3^2 + 7573133580384455007405311/115390266843519982584*c_1001_3 + 141991691164154801353963/14423783355439997823, c_0011_0 - 1, c_0011_11 + 8653883403424151/58544021736945704*c_1001_3^16 - 8704995451675611/58544021736945704*c_1001_3^15 + 162366289954551069/58544021736945704*c_1001_3^14 + 82347392047602559/58544021736945704*c_1001_3^13 + 434951387483406067/29272010868472852*c_1001_3^12 + 705573667483029167/29272010868472852*c_1001_3^11 + 789104519166517043/14636005434236426*c_1001_3^10 + 2931700344253414953/29272010868472852*c_1001_3^9 + 8684214590888327563/58544021736945704*c_1001_3^8 + 12956779533802990979/58544021736945704*c_1001_3^7 + 3844355793033570575/14636005434236426*c_1001_3^6 + 8361868813484261397/29272010868472852*c_1001_3^5 + 15130648522872784583/58544021736945704*c_1001_3^4 + 5583924725145387653/29272010868472852*c_1001_3^3 + 3461099350715457941/29272010868472852*c_1001_3^2 + 707648832679922739/14636005434236426*c_1001_3 + 61801319796695168/7318002717118213, c_0011_2 - 152676821392033091/263448097816255668*c_1001_3^16 + 116376460347599573/131724048908127834*c_1001_3^15 - 502842452207879737/43908016302709278*c_1001_3^14 + 16318429420862378/21954008151354639*c_1001_3^13 - 16159260550381642697/263448097816255668*c_1001_3^12 - 7867654884501850675/131724048908127834*c_1001_3^11 - 25734835136307214025/131724048908127834*c_1001_3^10 - 38162889287061426517/131724048908127834*c_1001_3^9 - 123477276590149856165/263448097816255668*c_1001_3^8 - 14285505708740607667/21954008151354639*c_1001_3^7 - 199446598138473225599/263448097816255668*c_1001_3^6 - 52837460648368761601/65862024454063917*c_1001_3^5 - 179504395762199306437/263448097816255668*c_1001_3^4 - 128719284198792681371/263448097816255668*c_1001_3^3 - 36836657931565524001/131724048908127834*c_1001_3^2 - 13156767677742537061/131724048908127834*c_1001_3 - 934974585217277336/65862024454063917, c_0011_3 - 1837258900160441/14636005434236426*c_1001_3^16 + 1168900947909885/29272010868472852*c_1001_3^15 - 63817126621715431/29272010868472852*c_1001_3^14 - 87031537735967955/29272010868472852*c_1001_3^13 - 340939686212304487/29272010868472852*c_1001_3^12 - 217965947955165880/7318002717118213*c_1001_3^11 - 734824020561398459/14636005434236426*c_1001_3^10 - 808753193829512359/7318002717118213*c_1001_3^9 - 1139948222701894456/7318002717118213*c_1001_3^8 - 7011728094946599543/29272010868472852*c_1001_3^7 - 8512159998855958683/29272010868472852*c_1001_3^6 - 4625316023782229199/14636005434236426*c_1001_3^5 - 2167058021420481544/7318002717118213*c_1001_3^4 - 6441768020114065981/29272010868472852*c_1001_3^3 - 1030592803007318488/7318002717118213*c_1001_3^2 - 898068602292046653/14636005434236426*c_1001_3 - 87918332067458136/7318002717118213, c_0011_5 + 25838690486102947/526896195632511336*c_1001_3^16 + 17740985644174489/526896195632511336*c_1001_3^15 + 133130332782247927/175632065210837112*c_1001_3^14 + 381936248873459837/175632065210837112*c_1001_3^13 + 1077193814981020565/263448097816255668*c_1001_3^12 + 4512186455543862401/263448097816255668*c_1001_3^11 + 2951002035740654441/131724048908127834*c_1001_3^10 + 15629932385521522145/263448097816255668*c_1001_3^9 + 41389652933506126303/526896195632511336*c_1001_3^8 + 22486572975986203925/175632065210837112*c_1001_3^7 + 10166389452559996307/65862024454063917*c_1001_3^6 + 45580444803186618127/263448097816255668*c_1001_3^5 + 86219332297287675635/526896195632511336*c_1001_3^4 + 32761492822272888077/263448097816255668*c_1001_3^3 + 21189439432498125383/263448097816255668*c_1001_3^2 + 4817059817314124449/131724048908127834*c_1001_3 + 549947329893092063/65862024454063917, c_0011_9 + 15685457268723583/65862024454063917*c_1001_3^16 - 57147823858144397/263448097816255668*c_1001_3^15 + 388288114850101717/87816032605418556*c_1001_3^14 + 238502024839878017/87816032605418556*c_1001_3^13 + 6250668538872188725/263448097816255668*c_1001_3^12 + 2691863440295032240/65862024454063917*c_1001_3^11 + 11663937937013168083/131724048908127834*c_1001_3^10 + 10926023199879141370/65862024454063917*c_1001_3^9 + 32612026003077477701/131724048908127834*c_1001_3^8 + 32119743127249033253/87816032605418556*c_1001_3^7 + 115715334436431191917/263448097816255668*c_1001_3^6 + 62489046268463634469/131724048908127834*c_1001_3^5 + 56764934419891123627/131724048908127834*c_1001_3^4 + 83996427263738162587/263448097816255668*c_1001_3^3 + 12963205302769825804/65862024454063917*c_1001_3^2 + 10822210433309916995/131724048908127834*c_1001_3 + 1029951946376234596/65862024454063917, c_0101_0 + 105280773572098307/263448097816255668*c_1001_3^16 - 150777894993937159/263448097816255668*c_1001_3^15 + 689223712971059315/87816032605418556*c_1001_3^14 + 16411351603581481/87816032605418556*c_1001_3^13 + 5591959411424483521/131724048908127834*c_1001_3^12 + 5885398224955801669/131724048908127834*c_1001_3^11 + 9209947184789799967/65862024454063917*c_1001_3^10 + 27775659851194705081/131724048908127834*c_1001_3^9 + 90832169781645907811/263448097816255668*c_1001_3^8 + 41940120779324583505/87816032605418556*c_1001_3^7 + 37345717871715177563/65862024454063917*c_1001_3^6 + 79438705071044668019/131724048908127834*c_1001_3^5 + 137795904218348062447/263448097816255668*c_1001_3^4 + 50471471399327676325/131724048908127834*c_1001_3^3 + 29491954332656296093/131724048908127834*c_1001_3^2 + 5727267926813103662/65862024454063917*c_1001_3 + 982059812480031587/65862024454063917, c_0101_1 + 121725043649586961/526896195632511336*c_1001_3^16 - 221853647432672501/526896195632511336*c_1001_3^15 + 821772366563667169/175632065210837112*c_1001_3^14 - 292464154330820557/175632065210837112*c_1001_3^13 + 6510309904822824341/263448097816255668*c_1001_3^12 + 4371183164750212553/263448097816255668*c_1001_3^11 + 9465264108482738465/131724048908127834*c_1001_3^10 + 24658033735705119347/263448097816255668*c_1001_3^9 + 82412427513896662765/526896195632511336*c_1001_3^8 + 36911146918285019183/175632065210837112*c_1001_3^7 + 30925727642528542129/131724048908127834*c_1001_3^6 + 64562636851853405743/263448097816255668*c_1001_3^5 + 102595531008601280921/526896195632511336*c_1001_3^4 + 35264790381835583747/263448097816255668*c_1001_3^3 + 18779363690532074327/263448097816255668*c_1001_3^2 + 2425788758423785129/131724048908127834*c_1001_3 + 71791100956352228/65862024454063917, c_0101_2 + 3416821986890129/175632065210837112*c_1001_3^16 - 22758168482555041/175632065210837112*c_1001_3^15 + 33831375905223893/58544021736945704*c_1001_3^14 - 120790283858319473/58544021736945704*c_1001_3^13 + 263499320901561835/87816032605418556*c_1001_3^12 - 761532036175355939/87816032605418556*c_1001_3^11 + 28976234031795445/43908016302709278*c_1001_3^10 - 1790518844167902149/87816032605418556*c_1001_3^9 - 3554373019795446307/175632065210837112*c_1001_3^8 - 2414607326453392125/58544021736945704*c_1001_3^7 - 1223662730245338419/21954008151354639*c_1001_3^6 - 5611770253020120961/87816032605418556*c_1001_3^5 - 12346287326839460567/175632065210837112*c_1001_3^4 - 4902225307968046331/87816032605418556*c_1001_3^3 - 3491838922837814429/87816032605418556*c_1001_3^2 - 981500815497040339/43908016302709278*c_1001_3 - 122515901253014552/21954008151354639, c_0101_5 - 210405220110680465/526896195632511336*c_1001_3^16 + 267969534557767645/526896195632511336*c_1001_3^15 - 1348605257327995601/175632065210837112*c_1001_3^14 - 279592823402447299/175632065210837112*c_1001_3^13 - 10776342910712717053/263448097816255668*c_1001_3^12 - 13825025227864748533/263448097816255668*c_1001_3^11 - 18258060515248290967/131724048908127834*c_1001_3^10 - 60743094939380938759/263448097816255668*c_1001_3^9 - 187724338387622953133/526896195632511336*c_1001_3^8 - 89574817916155656463/175632065210837112*c_1001_3^7 - 79170370800943171865/131724048908127834*c_1001_3^6 - 168821187128076982031/263448097816255668*c_1001_3^5 - 296559624097041997801/526896195632511336*c_1001_3^4 - 107291552498879394835/263448097816255668*c_1001_3^3 - 64054189866583335679/263448097816255668*c_1001_3^2 - 12349088421265040825/131724048908127834*c_1001_3 - 998951900796801868/65862024454063917, c_0101_9 + 4599425656112611/58544021736945704*c_1001_3^16 - 11612769459516307/58544021736945704*c_1001_3^15 + 99724037864562465/58544021736945704*c_1001_3^14 - 99317995177111309/58544021736945704*c_1001_3^13 + 263703463274539995/29272010868472852*c_1001_3^12 - 4343118239202159/29272010868472852*c_1001_3^11 + 313278059856686133/14636005434236426*c_1001_3^10 + 481253423002562701/29272010868472852*c_1001_3^9 + 1985763139419292287/58544021736945704*c_1001_3^8 + 2362924145933502947/58544021736945704*c_1001_3^7 + 549007996175008319/14636005434236426*c_1001_3^6 + 1152571529755489563/29272010868472852*c_1001_3^5 + 1146254565224209947/58544021736945704*c_1001_3^4 + 326816542665325051/29272010868472852*c_1001_3^3 + 46328548186541391/29272010868472852*c_1001_3^2 - 84371171675179959/14636005434236426*c_1001_3 - 11536842574069959/7318002717118213, c_1001_3^17 - c_1001_3^16 + 19*c_1001_3^15 + 9*c_1001_3^14 + 106*c_1001_3^13 + 158*c_1001_3^12 + 396*c_1001_3^11 + 678*c_1001_3^10 + 1085*c_1001_3^9 + 1561*c_1001_3^8 + 1924*c_1001_3^7 + 2106*c_1001_3^6 + 1945*c_1001_3^5 + 1506*c_1001_3^4 + 962*c_1001_3^3 + 452*c_1001_3^2 + 128*c_1001_3 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.590 Total time: 0.800 seconds, Total memory usage: 32.09MB