Magma V2.19-8 Tue Aug 20 2013 23:40:15 on localhost [Seed = 4020865874] Type ? for help. Type -D to quit. Loading file "K9a9__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K9a9 geometric_solution 9.88457865 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609491712042 0.767259273337 0 5 7 6 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 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.192341878847 0.866661971272 6 0 9 8 1302 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 0 0 0 0 0 0 0 0 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.110956492394 0.768982562218 4 10 9 0 3120 0132 1023 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 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.492320800707 0.354869892766 6 10 0 3 0132 0321 0132 3120 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 -1 1 -1 0 0 1 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556199387526 0.880657197038 7 1 8 7 1023 0132 3201 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.149626160596 0.569209175284 4 2 1 7 0132 2031 0132 3120 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 1 0 0 -1 10 -11 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.967174270594 0.675193694071 6 5 5 1 3120 1023 1230 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 -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.149626160596 0.569209175284 5 10 2 9 2310 0213 0132 0321 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 0 0 0 0 0 0 -1 -10 0 11 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.905630125790 0.638498002744 10 8 3 2 0213 0321 1023 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 0 -1 1 0 0 0 0 0 -11 0 11 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.770189198140 0.627149119121 9 3 8 4 0213 0132 0213 0321 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 10 -10 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.526883882272 0.432580281265 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_10' : d['c_1001_0'], 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_8'], 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : negation(d['c_0101_7']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_10'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_3'], 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : d['c_0011_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_8'], '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' : negation(d['1']), 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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_1100_9' : d['c_0101_3'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_8']), 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : negation(d['c_0101_7']), 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : negation(d['c_0101_7']), 'c_1100_0' : negation(d['c_0101_3']), 'c_1100_3' : negation(d['c_0101_3']), 'c_1100_2' : d['c_0101_3'], 'c_1100_10' : d['c_1001_2'], 'c_1010_7' : negation(d['c_0101_7']), 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : negation(d['c_0101_7']), 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_8']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : negation(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' : negation(d['1']), 's_3_6' : negation(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_8'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : negation(d['c_0011_4']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_8'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_8'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : negation(d['c_0011_8']), '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_8'], 'c_0110_5' : negation(d['c_0101_7']), 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_0101_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_8, c_0101_0, c_0101_1, c_0101_3, c_0101_7, c_0101_8, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 825162947710971725957419149651993/3637259233988790136748245264552*c\ _1001_2^19 - 129490202560803462804325254222239/90931480849719753418\ 7061316138*c_1001_2^18 - 766313611837008153500528168493609/36372592\ 33988790136748245264552*c_1001_2^17 + 357695403361324548543347886847806/454657404248598767093530658069*c_\ 1001_2^16 + 1546306212908069661579207841094016/45465740424859876709\ 3530658069*c_1001_2^15 - 1110349772036264404718711838436331/3637259\ 233988790136748245264552*c_1001_2^14 - 24684109666871126844107859582065845/3637259233988790136748245264552\ *c_1001_2^13 - 560993082026759285714812571738875/454657404248598767\ 093530658069*c_1001_2^12 + 17413394599930752481455251418589853/3637\ 259233988790136748245264552*c_1001_2^11 - 3217855706227333669453351561210695/454657404248598767093530658069*c\ _1001_2^10 + 38152100588118708853728328886143573/363725923398879013\ 6748245264552*c_1001_2^9 - 1213972333216204185045084573625829/45465\ 7404248598767093530658069*c_1001_2^8 - 5080196468222674130058728616408459/1818629616994395068374122632276*\ c_1001_2^7 + 12873369905283640123782094517317363/181862961699439506\ 8374122632276*c_1001_2^6 - 4397155839656396940933947349915274/45465\ 7404248598767093530658069*c_1001_2^5 + 26411737710827510794111510256584999/3637259233988790136748245264552\ *c_1001_2^4 - 17784178186580211258256247076681051/36372592339887901\ 36748245264552*c_1001_2^3 + 1154327731752194395672090611359947/4546\ 57404248598767093530658069*c_1001_2^2 - 3072659191961457944338479969450201/3637259233988790136748245264552*\ c_1001_2 + 1041597618261713304212303213103623/363725923398879013674\ 8245264552, c_0011_0 - 1, c_0011_10 + 572650053125088951643728102693/9093148084971975341870613161\ 38*c_1001_2^19 + 1431151744666975608152967345667/909314808497197534\ 187061316138*c_1001_2^18 + 684483683424704813820488330536/454657404\ 248598767093530658069*c_1001_2^17 - 329734397879310708206961508104/454657404248598767093530658069*c_100\ 1_2^16 - 6170189767951954846833975487696/45465740424859876709353065\ 8069*c_1001_2^15 - 15929694811440586580938089802817/909314808497197\ 534187061316138*c_1001_2^14 + 7383613791097048831390650355348/45465\ 7404248598767093530658069*c_1001_2^13 + 16737676111608990369122917663852/454657404248598767093530658069*c_1\ 001_2^12 + 4148403919793677071029997627799/909314808497197534187061\ 316138*c_1001_2^11 + 4802942645621568215130361367857/90931480849719\ 7534187061316138*c_1001_2^10 - 2244294053673440433251807041351/4546\ 57404248598767093530658069*c_1001_2^9 - 26473343737265524578730138039535/454657404248598767093530658069*c_1\ 001_2^8 + 11346083740564618860875494103978/454657404248598767093530\ 658069*c_1001_2^7 - 5233250230095393372355499945425/454657404248598\ 767093530658069*c_1001_2^6 + 5850842013789410940448675775470/454657\ 404248598767093530658069*c_1001_2^5 + 7355691742212603688858177902105/909314808497197534187061316138*c_10\ 01_2^4 - 285742898464839091598640051282/454657404248598767093530658\ 069*c_1001_2^3 + 411941548029908125709029383673/4546574042485987670\ 93530658069*c_1001_2^2 - 1490609942461660883411196061895/9093148084\ 97197534187061316138*c_1001_2 - 565985631029727576092009622488/4546\ 57404248598767093530658069, c_0011_4 - 906806192604732805511198580096/45465740424859876709353065806\ 9*c_1001_2^19 + 851815187573627495182183842619/45465740424859876709\ 3530658069*c_1001_2^18 + 241546038129608436602417302568/45465740424\ 8598767093530658069*c_1001_2^17 + 5070834189097198776405633742528/4\ 54657404248598767093530658069*c_1001_2^16 + 8288707455723759669924399666249/454657404248598767093530658069*c_10\ 01_2^15 - 22234940413778758377139323016178/454657404248598767093530\ 658069*c_1001_2^14 - 30615351619157587330452132811635/4546574042485\ 98767093530658069*c_1001_2^13 + 35049617414849531293680523343274/45\ 4657404248598767093530658069*c_1001_2^12 + 41488711373104329839631217508723/454657404248598767093530658069*c_1\ 001_2^11 - 55527191434141107138157189979936/45465740424859876709353\ 0658069*c_1001_2^10 + 66035167921616642546785718401993/454657404248\ 598767093530658069*c_1001_2^9 - 64501388144010951962326273224266/45\ 4657404248598767093530658069*c_1001_2^8 + 25307089139996411659855120808616/454657404248598767093530658069*c_1\ 001_2^7 - 11224902029747891905755705993245/454657404248598767093530\ 658069*c_1001_2^6 + 724253821323927606417291905926/4546574042485987\ 67093530658069*c_1001_2^5 + 5429932286449345696407505328169/4546574\ 04248598767093530658069*c_1001_2^4 - 1292785337552596758969940390263/454657404248598767093530658069*c_10\ 01_2^3 + 519436044750961449508046028300/454657404248598767093530658\ 069*c_1001_2^2 - 224676374006036270505122805092/4546574042485987670\ 93530658069*c_1001_2 - 397849927354360365791275416367/4546574042485\ 98767093530658069, c_0011_8 + 139240080947460334174222429581/45465740424859876709353065806\ 9*c_1001_2^19 + 63551771667863289470507830338/454657404248598767093\ 530658069*c_1001_2^18 + 224725857479291416168249788639/454657404248\ 598767093530658069*c_1001_2^17 - 591017965571283231335090987575/454\ 657404248598767093530658069*c_1001_2^16 - 1916204078811912821250652905628/454657404248598767093530658069*c_10\ 01_2^15 - 11413280291854845292238907730/454657404248598767093530658\ 069*c_1001_2^14 + 3206928856831515024998310220781/45465740424859876\ 7093530658069*c_1001_2^13 + 2116126940080166206168382784721/4546574\ 04248598767093530658069*c_1001_2^12 - 709039086996874663749533390763/454657404248598767093530658069*c_100\ 1_2^11 + 1383128579760643684423206519677/45465740424859876709353065\ 8069*c_1001_2^10 - 9662852663726944693062576476003/4546574042485987\ 67093530658069*c_1001_2^9 + 8999087849430369930792704908456/4546574\ 04248598767093530658069*c_1001_2^8 - 7662924262241569438092081283217/454657404248598767093530658069*c_10\ 01_2^7 + 6490538812501993607779344501176/45465740424859876709353065\ 8069*c_1001_2^6 - 1552381169432508759953631823126/45465740424859876\ 7093530658069*c_1001_2^5 + 306821177178197699486395055166/454657404\ 248598767093530658069*c_1001_2^4 + 324125747394773940582856609871/454657404248598767093530658069*c_100\ 1_2^3 - 1302131524598681252561533840177/454657404248598767093530658\ 069*c_1001_2^2 + 123561548993934630091888637357/4546574042485987670\ 93530658069*c_1001_2 - 24015570663199892518293426585/45465740424859\ 8767093530658069, c_0101_0 + 6328479375173708084953622483/454657404248598767093530658069*\ c_1001_2^19 - 40464518107542134839990472991/45465740424859876709353\ 0658069*c_1001_2^18 + 130779254352912554947475261701/45465740424859\ 8767093530658069*c_1001_2^17 + 312708397072509074247479077609/45465\ 7404248598767093530658069*c_1001_2^16 + 606592946613161122717133358130/454657404248598767093530658069*c_100\ 1_2^15 + 581005740526280106854004211341/454657404248598767093530658\ 069*c_1001_2^14 - 2812736566853903585348455058279/45465740424859876\ 7093530658069*c_1001_2^13 - 5882660440329957061830662187649/4546574\ 04248598767093530658069*c_1001_2^12 + 1298685869438472463749176197536/454657404248598767093530658069*c_10\ 01_2^11 + 10059964402797488076765594752706/454657404248598767093530\ 658069*c_1001_2^10 + 2022734045896027683092112026995/45465740424859\ 8767093530658069*c_1001_2^9 + 1183590431422151055268492994310/45465\ 7404248598767093530658069*c_1001_2^8 - 2437800281191476954186578843922/454657404248598767093530658069*c_10\ 01_2^7 - 1377586333661669493693978719313/45465740424859876709353065\ 8069*c_1001_2^6 - 1163395851678397479123955785758/45465740424859876\ 7093530658069*c_1001_2^5 - 2098296799127096274947058943211/45465740\ 4248598767093530658069*c_1001_2^4 + 433356513251552365092966790362/454657404248598767093530658069*c_100\ 1_2^3 + 182153615194475072657712202085/4546574042485987670935306580\ 69*c_1001_2^2 + 271322952632359035885495546056/45465740424859876709\ 3530658069*c_1001_2 + 185167676108551667978250411772/45465740424859\ 8767093530658069, c_0101_1 - 139240080947460334174222429581/45465740424859876709353065806\ 9*c_1001_2^19 - 63551771667863289470507830338/454657404248598767093\ 530658069*c_1001_2^18 - 224725857479291416168249788639/454657404248\ 598767093530658069*c_1001_2^17 + 591017965571283231335090987575/454\ 657404248598767093530658069*c_1001_2^16 + 1916204078811912821250652905628/454657404248598767093530658069*c_10\ 01_2^15 + 11413280291854845292238907730/454657404248598767093530658\ 069*c_1001_2^14 - 3206928856831515024998310220781/45465740424859876\ 7093530658069*c_1001_2^13 - 2116126940080166206168382784721/4546574\ 04248598767093530658069*c_1001_2^12 + 709039086996874663749533390763/454657404248598767093530658069*c_100\ 1_2^11 - 1383128579760643684423206519677/45465740424859876709353065\ 8069*c_1001_2^10 + 9662852663726944693062576476003/4546574042485987\ 67093530658069*c_1001_2^9 - 8999087849430369930792704908456/4546574\ 04248598767093530658069*c_1001_2^8 + 7662924262241569438092081283217/454657404248598767093530658069*c_10\ 01_2^7 - 6490538812501993607779344501176/45465740424859876709353065\ 8069*c_1001_2^6 + 1552381169432508759953631823126/45465740424859876\ 7093530658069*c_1001_2^5 - 306821177178197699486395055166/454657404\ 248598767093530658069*c_1001_2^4 - 324125747394773940582856609871/454657404248598767093530658069*c_100\ 1_2^3 + 1302131524598681252561533840177/454657404248598767093530658\ 069*c_1001_2^2 - 123561548993934630091888637357/4546574042485987670\ 93530658069*c_1001_2 + 24015570663199892518293426585/45465740424859\ 8767093530658069, c_0101_3 - 4262720284186990452344679373189/9093148084971975341870613161\ 38*c_1001_2^19 - 3857532703109907690986728418799/909314808497197534\ 187061316138*c_1001_2^18 - 3378943090228243623808031795625/45465740\ 4248598767093530658069*c_1001_2^17 + 6506692236462800776765630729548/454657404248598767093530658069*c_10\ 01_2^16 + 32300335509506648332801547698178/454657404248598767093530\ 658069*c_1001_2^15 + 19917354077925966476765896866347/9093148084971\ 97534187061316138*c_1001_2^14 - 51717857737541373002506800168308/45\ 4657404248598767093530658069*c_1001_2^13 - 31232631584050372110906397266203/454657404248598767093530658069*c_1\ 001_2^12 + 42924561997812149934322233120763/90931480849719753418706\ 1316138*c_1001_2^11 - 114216154337593558235969114361853/90931480849\ 7197534187061316138*c_1001_2^10 + 87989388789613469701890874616336/\ 454657404248598767093530658069*c_1001_2^9 - 28709681190052553117263550109290/454657404248598767093530658069*c_1\ 001_2^8 + 27005750513362968483185464252187/454657404248598767093530\ 658069*c_1001_2^7 - 5641182541907265184735587268264/454657404248598\ 767093530658069*c_1001_2^6 - 7408527922186909993352705247442/454657\ 404248598767093530658069*c_1001_2^5 - 459331496693312931503599199491/909314808497197534187061316138*c_100\ 1_2^4 - 1510694337875941322826682750446/454657404248598767093530658\ 069*c_1001_2^3 + 190639679002102657324717971306/4546574042485987670\ 93530658069*c_1001_2^2 + 2196137029731388052705083304349/9093148084\ 97197534187061316138*c_1001_2 + 78239591141200597791807201922/45465\ 7404248598767093530658069, c_0101_7 + 258645009655277725351575244195/90931480849719753418706131613\ 8*c_1001_2^19 - 828605002892906375946610701545/90931480849719753418\ 7061316138*c_1001_2^18 - 222889829674649390083143655777/45465740424\ 8598767093530658069*c_1001_2^17 - 974401848930165071332486607147/45\ 4657404248598767093530658069*c_1001_2^16 - 38076904735347895434600461846/454657404248598767093530658069*c_1001\ _2^15 + 15230341167141953235549223205959/90931480849719753418706131\ 6138*c_1001_2^14 + 4154990421903088354086504451810/4546574042485987\ 67093530658069*c_1001_2^13 - 14575533486218426947257191974190/45465\ 7404248598767093530658069*c_1001_2^12 - 18016678763879442014246840357823/909314808497197534187061316138*c_1\ 001_2^11 + 30520733339041632118050592894417/90931480849719753418706\ 1316138*c_1001_2^10 - 16296948665149580423602452403345/454657404248\ 598767093530658069*c_1001_2^9 + 21685498630809084965825263562577/45\ 4657404248598767093530658069*c_1001_2^8 - 6353135149158925992806854615977/454657404248598767093530658069*c_10\ 01_2^7 + 1607526163983835981382633200742/45465740424859876709353065\ 8069*c_1001_2^6 + 815330336809344863882744399291/454657404248598767\ 093530658069*c_1001_2^5 - 9937767088803750014111053907079/909314808\ 497197534187061316138*c_1001_2^4 + 1074006463586362960383523214064/454657404248598767093530658069*c_10\ 01_2^3 - 455654033862987650666584701480/454657404248598767093530658\ 069*c_1001_2^2 + 430712962093439179419844010309/9093148084971975341\ 87061316138*c_1001_2 + 244997044047146723850122322633/4546574042485\ 98767093530658069, c_0101_8 - 102395487499047390291110394053/90931480849719753418706131613\ 8*c_1001_2^19 - 2630342222635979648166314081985/9093148084971975341\ 87061316138*c_1001_2^18 - 1229887924946276340475004807777/454657404\ 248598767093530658069*c_1001_2^17 - 1704798835060324362762514110320/454657404248598767093530658069*c_10\ 01_2^16 + 4808522066258944100750373773079/4546574042485987670935306\ 58069*c_1001_2^15 + 39035933964943709263543148651459/90931480849719\ 7534187061316138*c_1001_2^14 + 4062350599669816548307442472188/4546\ 57404248598767093530658069*c_1001_2^13 - 34100526013180331214336927270673/454657404248598767093530658069*c_1\ 001_2^12 - 36747550323427442675415475965507/90931480849719753418706\ 1316138*c_1001_2^11 + 36728037996880467079934677105145/909314808497\ 197534187061316138*c_1001_2^10 - 28384684007693046718357237777659/4\ 54657404248598767093530658069*c_1001_2^9 + 43063204919198027194193554398423/454657404248598767093530658069*c_1\ 001_2^8 - 16781350288175865687577592083851/454657404248598767093530\ 658069*c_1001_2^7 + 17156992041674426638743857699664/45465740424859\ 8767093530658069*c_1001_2^6 - 4963464636155465515044644705783/45465\ 7404248598767093530658069*c_1001_2^5 - 4179861297496195554067453731967/909314808497197534187061316138*c_10\ 01_2^4 - 635406352422670965903229852765/454657404248598767093530658\ 069*c_1001_2^3 - 266556225394381807826734513379/4546574042485987670\ 93530658069*c_1001_2^2 + 71241843266776365054199952727/909314808497\ 197534187061316138*c_1001_2 + 399021410634910651486734780049/454657\ 404248598767093530658069, c_1001_0 - 5379720534428694441487698806545/9093148084971975341870613161\ 38*c_1001_2^19 - 4488604154656763947293448130275/909314808497197534\ 187061316138*c_1001_2^18 - 3609745180500494984358920077672/45465740\ 4248598767093530658069*c_1001_2^17 + 9038157814451901792703595753291/454657404248598767093530658069*c_10\ 01_2^16 + 40935382664848298668714914597906/454657404248598767093530\ 658069*c_1001_2^15 + 16569382725828671102764326188535/9093148084971\ 97534187061316138*c_1001_2^14 - 73708109838615640163715967210115/45\ 4657404248598767093530658069*c_1001_2^13 - 37912933510542042911449134156350/454657404248598767093530658069*c_1\ 001_2^12 + 85537877665505849606768386576593/90931480849719753418706\ 1316138*c_1001_2^11 - 130188939393534039509994018558149/90931480849\ 7197534187061316138*c_1001_2^10 + 107427305898479446580212940869128\ /454657404248598767093530658069*c_1001_2^9 - 33893896334539939476971392830931/454657404248598767093530658069*c_1\ 001_2^8 + 25943016258928921061271760991143/454657404248598767093530\ 658069*c_1001_2^7 - 5941371238822383951473007627232/454657404248598\ 767093530658069*c_1001_2^6 - 14595400310600715896614768712940/45465\ 7404248598767093530658069*c_1001_2^5 + 1948954762899355638401361127707/909314808497197534187061316138*c_10\ 01_2^4 - 1720358999272542102830500546509/45465740424859876709353065\ 8069*c_1001_2^3 + 701257521658148207172031036266/454657404248598767\ 093530658069*c_1001_2^2 + 3088384348678740735364356124825/909314808\ 497197534187061316138*c_1001_2 + 110157469777156496794334553588/454\ 657404248598767093530658069, c_1001_2^20 + 13/17*c_1001_2^19 + 28/17*c_1001_2^18 - 54/17*c_1001_2^17 - 246/17*c_1001_2^16 - 55/17*c_1001_2^15 + 378/17*c_1001_2^14 + 192/17*c_1001_2^13 - 129/17*c_1001_2^12 + 503/17*c_1001_2^11 - 788/17*c_1001_2^10 + 430/17*c_1001_2^9 - 452/17*c_1001_2^8 + 162/17*c_1001_2^7 - 6/17*c_1001_2^6 + 15/17*c_1001_2^5 + 38/17*c_1001_2^4 - 8/17*c_1001_2^3 - 3/17*c_1001_2^2 - 2/17*c_1001_2 - 4/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.160 Total time: 0.370 seconds, Total memory usage: 32.09MB