Magma V2.19-8 Wed Aug 21 2013 01:02:19 on localhost [Seed = 1511801235] Type ? for help. Type -D to quit. Loading file "L14n14266__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n14266 geometric_solution 12.18295721 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 0 1 0 0 0 0 0 1 0 -2 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 1 0 -1 -1 0 3 -2 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.256072492086 0.972223259242 0 5 7 6 0132 0132 0132 0132 1 0 0 1 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 -3 3 0 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.426429221595 0.694094613771 8 0 9 9 0132 0132 2310 0132 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 0 0 0 0 0 0 0 0 -1 0 1 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.308554042592 0.669438716454 10 11 9 0 0132 0132 2103 0132 1 0 0 0 0 0 0 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 0 0 0 0 0 0 0 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.280841466007 0.745132664250 5 8 0 11 0132 0132 0132 1230 1 0 0 1 0 0 0 0 1 0 -1 0 -1 -1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -2 0 2 0 1 2 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.121088799002 0.964357677963 4 1 12 6 0132 0132 0132 0321 1 0 1 0 0 1 0 -1 -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 3 -1 -2 2 0 -2 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.859336207042 0.757548066885 7 5 1 12 0321 0321 0132 3201 1 0 1 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 2 0 -2 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.066995645043 1.759729451164 6 12 10 1 0321 3201 0321 0132 1 0 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 0 0 0 0 0 3 -3 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.707456346795 0.856113418389 2 4 10 11 0132 0132 0132 1302 1 0 1 0 0 0 0 0 0 0 2 -2 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 1 -1 0 0 0 -3 3 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.190841736189 0.891701630337 3 2 2 11 2103 3201 0132 0213 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 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.032149518516 0.853241319968 3 12 7 8 0132 3012 0321 0132 1 0 0 0 0 1 -1 0 2 0 0 -2 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 2 -3 1 -3 0 0 3 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529484863818 0.419938878308 4 3 8 9 3012 0132 2031 0213 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.593422428676 0.568448128975 10 6 7 5 1230 2310 2310 0132 1 0 0 1 0 0 0 0 1 0 0 -1 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 0 -1 1 -2 0 0 2 0 1 0 -1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.345186724528 0.577250820971 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_2']), 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : negation(d['c_1001_1']), 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_9'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_2']), 'c_1001_8' : d['c_0101_11'], 'c_1010_12' : d['c_0011_7'], 'c_1010_11' : d['c_0011_9'], 'c_1010_10' : d['c_0101_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'], 'c_0101_12' : negation(d['c_0101_11']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : negation(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' : negation(d['1']), 's_0_8' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_9'], 'c_1100_8' : d['c_0101_11'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_7'], 'c_1100_4' : d['c_0110_11'], 'c_1100_7' : negation(d['c_0011_12']), 'c_1100_6' : negation(d['c_0011_12']), 'c_1100_1' : negation(d['c_0011_12']), 'c_1100_0' : d['c_0110_11'], 'c_1100_3' : d['c_0110_11'], 'c_1100_2' : d['c_0011_9'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_2']), 'c_1100_10' : d['c_0101_11'], 's_3_10' : 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_11'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_7'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_1001_2']), 'c_1010_8' : d['c_1001_2'], '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' : d['c_0011_7'], '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' : 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_0']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], '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_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0011_10'], 'c_0110_0' : negation(d['c_0011_6']), 'c_0101_7' : negation(d['c_0101_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_3'], 'c_0101_8' : d['c_0101_3'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0110_11']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0011_7']), '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_12, c_0011_6, c_0011_7, c_0011_9, c_0101_0, c_0101_11, c_0101_2, c_0101_3, c_0110_11, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 817438534322746564719727562965169963/272454747154307358214899341017\ 73600608*c_1001_2^14 - 23687571296125552912534592554310910917/27245\ 474715430735821489934101773600608*c_1001_2^13 - 69957082668670404565444897666645240843/1362273735771536791074496705\ 0886800304*c_1001_2^12 - 22344327707010872250408048966801471899/272\ 45474715430735821489934101773600608*c_1001_2^11 - 78050289020581169296509555487196610999/1362273735771536791074496705\ 0886800304*c_1001_2^10 + 520738237827516722426453125206130128633/13\ 622737357715367910744967050886800304*c_1001_2^9 - 2119757407535330186697467136066761367107/13622737357715367910744967\ 050886800304*c_1001_2^8 + 5444208506963421658591869389037235553705/\ 27245474715430735821489934101773600608*c_1001_2^7 - 3828480111996189465649549020432583738391/27245474715430735821489934\ 101773600608*c_1001_2^6 - 393888069350224059700499627686870084797/2\ 7245474715430735821489934101773600608*c_1001_2^5 + 288249673819215242349850191043781733475/340568433942884197768624176\ 2721700076*c_1001_2^4 - 3031693434187008012681835299352708413783/27\ 245474715430735821489934101773600608*c_1001_2^3 + 230817781466103527208092460102691480145/170284216971442098884312088\ 1360850038*c_1001_2^2 - 501599927882954547731057803523455782193/681\ 1368678857683955372483525443400152*c_1001_2 + 389063278138369731814891807850518025695/136227373577153679107449670\ 50886800304, c_0011_0 - 1, c_0011_10 + 5923021679784353931651889960299805/284499240549848384721350\ 6838371176283*c_1001_2^14 + 349458992639729558244509704008445043/56\ 89984810996967694427013676742352566*c_1001_2^13 + 2206986516634501114547747532436675583/56899848109969676944270136767\ 42352566*c_1001_2^12 + 692527832122804384224800493403598280/2844992\ 405498483847213506838371176283*c_1001_2^11 + 2427172446741154611615765420006773075/56899848109969676944270136767\ 42352566*c_1001_2^10 - 6908918656305819115708101933674505823/284499\ 2405498483847213506838371176283*c_1001_2^9 + 27915950873308553713960215422922172383/2844992405498483847213506838\ 371176283*c_1001_2^8 - 21096832125818696682574772009200850231/28449\ 92405498483847213506838371176283*c_1001_2^7 + 22928165767187534918574956873786111067/5689984810996967694427013676\ 742352566*c_1001_2^6 + 20214624950139254635766472926613678589/56899\ 84810996967694427013676742352566*c_1001_2^5 - 7265606657034630459168625741723307233/56899848109969676944270136767\ 42352566*c_1001_2^4 + 20959367372195907873306299726231121706/284499\ 2405498483847213506838371176283*c_1001_2^3 - 27265938768684423384450728214761442829/5689984810996967694427013676\ 742352566*c_1001_2^2 + 7618485498294317143483503303707711254/284499\ 2405498483847213506838371176283*c_1001_2 - 5276475752922269263147197676445504222/28449924054984838472135068383\ 71176283, c_0011_12 + 29310575676212160089157842297915/20766367923346597424916108\ 309278659*c_1001_2^14 + 847353439464330207789362194128074/207663679\ 23346597424916108309278659*c_1001_2^13 + 4956656613892385512015431701725340/20766367923346597424916108309278\ 659*c_1001_2^12 + 396522357166778876697807001535728/207663679233465\ 97424916108309278659*c_1001_2^11 + 5200402458510566611597523914219892/20766367923346597424916108309278\ 659*c_1001_2^10 - 37439493283604298517134435625363980/2076636792334\ 6597424916108309278659*c_1001_2^9 + 155812033858631973750467503881554760/207663679233465974249161083092\ 78659*c_1001_2^8 - 200191814586128876734773256809624904/20766367923\ 346597424916108309278659*c_1001_2^7 + 140079919788968938189986664805654721/207663679233465974249161083092\ 78659*c_1001_2^6 + 11026365770013886052003494157496283/207663679233\ 46597424916108309278659*c_1001_2^5 - 85141728357248035841732188180772497/2076636792334659742491610830927\ 8659*c_1001_2^4 + 125478355350058853269923857486703509/207663679233\ 46597424916108309278659*c_1001_2^3 - 134892751880319179504450671369083472/207663679233465974249161083092\ 78659*c_1001_2^2 + 75533790091415759549561091636359373/207663679233\ 46597424916108309278659*c_1001_2 - 31203765197203560860622619714742769/2076636792334659742491610830927\ 8659, c_0011_6 - 29310575676212160089157842297915/207663679233465974249161083\ 09278659*c_1001_2^14 - 847353439464330207789362194128074/2076636792\ 3346597424916108309278659*c_1001_2^13 - 4956656613892385512015431701725340/20766367923346597424916108309278\ 659*c_1001_2^12 - 396522357166778876697807001535728/207663679233465\ 97424916108309278659*c_1001_2^11 - 5200402458510566611597523914219892/20766367923346597424916108309278\ 659*c_1001_2^10 + 37439493283604298517134435625363980/2076636792334\ 6597424916108309278659*c_1001_2^9 - 155812033858631973750467503881554760/207663679233465974249161083092\ 78659*c_1001_2^8 + 200191814586128876734773256809624904/20766367923\ 346597424916108309278659*c_1001_2^7 - 140079919788968938189986664805654721/207663679233465974249161083092\ 78659*c_1001_2^6 - 11026365770013886052003494157496283/207663679233\ 46597424916108309278659*c_1001_2^5 + 85141728357248035841732188180772497/2076636792334659742491610830927\ 8659*c_1001_2^4 - 125478355350058853269923857486703509/207663679233\ 46597424916108309278659*c_1001_2^3 + 134892751880319179504450671369083472/207663679233465974249161083092\ 78659*c_1001_2^2 - 75533790091415759549561091636359373/207663679233\ 46597424916108309278659*c_1001_2 + 31203765197203560860622619714742769/2076636792334659742491610830927\ 8659, c_0011_7 - 64957081861201037818310361975419/415327358466931948498322166\ 18557318*c_1001_2^14 - 1833059385324872465216175165975875/415327358\ 46693194849832216618557318*c_1001_2^13 - 4824657325181156683156001220890293/20766367923346597424916108309278\ 659*c_1001_2^12 + 7861854310201992403365152946274933/41532735846693\ 194849832216618557318*c_1001_2^11 - 1963698513746280970666052607373259/20766367923346597424916108309278\ 659*c_1001_2^10 + 46075755902618939061559757492223092/2076636792334\ 6597424916108309278659*c_1001_2^9 - 201225753724198383766028090045226612/207663679233465974249161083092\ 78659*c_1001_2^8 + 620898703729412590478962083873280151/41532735846\ 693194849832216618557318*c_1001_2^7 - 430206395271660617058280517947355277/415327358466931948498322166185\ 57318*c_1001_2^6 + 9097602501988504390889395680370409/4153273584669\ 3194849832216618557318*c_1001_2^5 + 130192449940926571699137114211525205/207663679233465974249161083092\ 78659*c_1001_2^4 - 345825433468214577979953814420962859/41532735846\ 693194849832216618557318*c_1001_2^3 + 204962041354662095446018656440630361/207663679233465974249161083092\ 78659*c_1001_2^2 - 115748432248618318735618793664330542/20766367923\ 346597424916108309278659*c_1001_2 + 58586417141363156530413785580999526/2076636792334659742491610830927\ 8659, c_0011_9 + 48846581846407863101327050503537/207663679233465974249161083\ 09278659*c_1001_2^14 + 1449082282423362070845665271140733/207663679\ 23346597424916108309278659*c_1001_2^13 + 9350906344594593031106750141412124/20766367923346597424916108309278\ 659*c_1001_2^12 + 7570769937240593871821764243562875/20766367923346\ 597424916108309278659*c_1001_2^11 + 13485385340278884087610724124084882/2076636792334659742491610830927\ 8659*c_1001_2^10 - 51019104451708721105605916996128593/207663679233\ 46597424916108309278659*c_1001_2^9 + 228208264742382907203624729935068460/207663679233465974249161083092\ 78659*c_1001_2^8 - 141652619396221053751593416492166026/20766367923\ 346597424916108309278659*c_1001_2^7 + 109511812345988900032484332666785183/207663679233465974249161083092\ 78659*c_1001_2^6 + 99722598646259930210451018292009341/207663679233\ 46597424916108309278659*c_1001_2^5 + 13741401135687785114217912323230904/2076636792334659742491610830927\ 8659*c_1001_2^4 + 199585093987865186000436525050915602/207663679233\ 46597424916108309278659*c_1001_2^3 - 48237442961134434082402033643651468/2076636792334659742491610830927\ 8659*c_1001_2^2 + 78306800741663521211167821208864606/2076636792334\ 6597424916108309278659*c_1001_2 + 473537235493157636093147409938296\ 1/20766367923346597424916108309278659, c_0101_0 - 1, c_0101_11 - 1, c_0101_2 + 16617646803898620453745143390823/415327358466931948498322166\ 18557318*c_1001_2^14 + 551050649699436980427700414427063/4153273584\ 6693194849832216618557318*c_1001_2^13 + 2443923421228716163793226297268301/20766367923346597424916108309278\ 659*c_1001_2^12 + 13216794907653077960784909916792807/4153273584669\ 3194849832216618557318*c_1001_2^11 + 5285106891018758583450306688897951/20766367923346597424916108309278\ 659*c_1001_2^10 - 1562564366660715358742741607977079/20766367923346\ 597424916108309278659*c_1001_2^9 + 7843253045505885218696988331982618/20766367923346597424916108309278\ 659*c_1001_2^8 + 247109365209714648351906716208458329/4153273584669\ 3194849832216618557318*c_1001_2^7 - 197022273796377910123548082931461795/415327358466931948498322166185\ 57318*c_1001_2^6 + 214247671573528228802842825199915723/41532735846\ 693194849832216618557318*c_1001_2^5 + 52783580092492508931102471326505333/2076636792334659742491610830927\ 8659*c_1001_2^4 + 66965035964537315844448680383613811/4153273584669\ 3194849832216618557318*c_1001_2^3 + 129586918590133975209494293251269700/207663679233465974249161083092\ 78659*c_1001_2^2 - 41038489326986551502221406757372366/207663679233\ 46597424916108309278659*c_1001_2 + 43166218619265262793736599205713039/2076636792334659742491610830927\ 8659, c_0101_3 + 31966293271305930109326353757495849/568998481099696769442701\ 3676742352566*c_1001_2^14 + 462372943627868931084150587161418435/28\ 44992405498483847213506838371176283*c_1001_2^13 + 5422708503655797112485537889512778397/56899848109969676944270136767\ 42352566*c_1001_2^12 + 513117833621651185165731083575831939/5689984\ 810996967694427013676742352566*c_1001_2^11 + 5605479136594504104736181413138422409/56899848109969676944270136767\ 42352566*c_1001_2^10 - 19935801900124433921637830624634024536/28449\ 92405498483847213506838371176283*c_1001_2^9 + 86363231684401999648782278976744172878/2844992405498483847213506838\ 371176283*c_1001_2^8 - 207724283362237049083000755817419042251/5689\ 984810996967694427013676742352566*c_1001_2^7 + 74288826332806018154857140386735009585/2844992405498483847213506838\ 371176283*c_1001_2^6 + 7182682833968965646871088813699702780/284499\ 2405498483847213506838371176283*c_1001_2^5 - 60998561344166238154222557272309344561/5689984810996967694427013676\ 742352566*c_1001_2^4 + 142971293415838758341310215112204595083/5689\ 984810996967694427013676742352566*c_1001_2^3 - 140939270791464656181332699400952981685/568998481099696769442701367\ 6742352566*c_1001_2^2 + 41639965051238063539427647106003338542/2844\ 992405498483847213506838371176283*c_1001_2 - 18192615449325760375643800823574393363/2844992405498483847213506838\ 371176283, c_0110_11 - 15382208197409501136709215172061/41532735846693194849832216\ 618557318*c_1001_2^14 - 457721048354329305655385803631749/415327358\ 46693194849832216618557318*c_1001_2^13 - 1501357125054551287536011520174205/20766367923346597424916108309278\ 659*c_1001_2^12 - 3136910500310095072159931678781941/41532735846693\ 194849832216618557318*c_1001_2^11 - 3663516306722432960959058230965441/20766367923346597424916108309278\ 659*c_1001_2^10 + 8175727000910035906598147573584589/20766367923346\ 597424916108309278659*c_1001_2^9 - 31767360158818225926536610994786908/2076636792334659742491610830927\ 8659*c_1001_2^8 + 74272653362979791007504797319425989/4153273584669\ 3194849832216618557318*c_1001_2^7 - 98453182080354706732006424536488095/4153273584669319484983221661855\ 7318*c_1001_2^6 + 10516438306237850709877072850484125/4153273584669\ 3194849832216618557318*c_1001_2^5 + 25203667037963107082029572646134410/2076636792334659742491610830927\ 8659*c_1001_2^4 - 93559251142031645020961199513916875/4153273584669\ 3194849832216618557318*c_1001_2^3 + 29845576232258288507845417436482274/2076636792334659742491610830927\ 8659*c_1001_2^2 - 49629946661076941337779205764817729/2076636792334\ 6597424916108309278659*c_1001_2 + 751167847806614513401505987354354\ 9/20766367923346597424916108309278659, c_1001_1 - 113728292825823650634010986166885/41532735846693194849832216\ 618557318*c_1001_2^14 - 3316131711216395056981065503190865/41532735\ 846693194849832216618557318*c_1001_2^13 - 10028016535487934839222559577017639/2076636792334659742491610830927\ 8659*c_1001_2^12 - 6465673309481287017174316234736161/4153273584669\ 3194849832216618557318*c_1001_2^11 - 10527836169347119053262891258350348/2076636792334659742491610830927\ 8659*c_1001_2^10 + 71299378683550249457790517469743631/207663679233\ 46597424916108309278659*c_1001_2^9 - 284904100125080699729907001482305787/207663679233465974249161083092\ 78659*c_1001_2^8 + 626888037833733268173735097422676625/41532735846\ 693194849832216618557318*c_1001_2^7 - 411503000162003792565512207796350853/415327358466931948498322166185\ 57318*c_1001_2^6 - 94109771031047448640747832976392639/415327358466\ 93194849832216618557318*c_1001_2^5 + 121144108117575695952687997640304668/207663679233465974249161083092\ 78659*c_1001_2^4 - 472461211024277724799248930579342569/41532735846\ 693194849832216618557318*c_1001_2^3 + 215460321001968174894464036784727239/207663679233465974249161083092\ 78659*c_1001_2^2 - 116393351316165593749310174397080394/20766367923\ 346597424916108309278659*c_1001_2 + 40098454517077549791786528823977565/2076636792334659742491610830927\ 8659, c_1001_2^15 + 29*c_1001_2^14 + 172*c_1001_2^13 + 37*c_1001_2^12 + 232*c_1001_2^11 - 1202*c_1001_2^10 + 5390*c_1001_2^9 - 6431*c_1001_2^8 + 5707*c_1001_2^7 - 395*c_1001_2^6 - 990*c_1001_2^5 + 4925*c_1001_2^4 - 4122*c_1001_2^3 + 3716*c_1001_2^2 - 1490*c_1001_2 + 548 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.210 Total time: 0.420 seconds, Total memory usage: 32.09MB