Magma V2.19-8 Tue Aug 20 2013 23:39:20 on localhost [Seed = 2463430349] Type ? for help. Type -D to quit. Loading file "K13n2922__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2922 geometric_solution 9.76869104 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 2 0132 0132 0132 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 -1 0 1 0 0 0 0 -1 -8 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.551575092808 0.902042746815 0 4 6 5 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 0 0 0 0 0 0 0 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.593480979596 0.403569422722 0 0 7 5 3012 0132 0132 0321 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 1 -1 0 -1 0 0 1 0 0 0 0 -9 8 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.441899808229 0.888916985739 5 8 8 0 0132 0132 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.352479301554 0.603440536588 9 1 10 7 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.042793382920 0.516305465350 3 2 1 9 0132 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.473155608164 0.884943724165 9 7 10 1 1230 2031 0321 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 -1 0 1 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.555302720421 1.657718475931 6 4 10 2 1302 1302 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 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.013888379871 1.113988242734 3 3 9 10 2310 0132 1230 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.046031229725 1.064806819590 4 6 5 8 0132 3012 2031 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 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.526371910261 0.459435410371 8 7 6 4 3012 0213 0321 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.849569587417 0.478874395808 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_0']), 'c_1001_10' : d['c_0101_9'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_9'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0011_7'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_10'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : d['c_1001_4'], '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_0101_10'], '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_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1001_0']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_9'], 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : d['c_1001_4'], 'c_1100_6' : d['c_0101_9'], 'c_1100_1' : d['c_0101_9'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_1001_4'], 'c_1100_10' : negation(d['c_0101_2']), 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0011_7'], 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : d['c_0011_7'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0101_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' : 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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), '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' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_4'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_10']), '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' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0101_10']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : d['c_0101_4']})} 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_3, c_0011_7, c_0101_0, c_0101_10, c_0101_2, c_0101_4, c_0101_9, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 2547776717775802547697312708987044070478/20255641927458353786807019\ 67967600394375*c_1001_4^18 + 26203535655312518114848479170282206575\ 181/675188064248611792893567322655866798125*c_1001_4^17 - 273610172345950962241325810755125174284/289366313249405054097243138\ 281085770625*c_1001_4^16 + 7387737915112736872316272766250452325658\ /2025564192745835378680701967967600394375*c_1001_4^15 + 5029735452030952453869823445729612145923/22506268808287059763118910\ 7551955599375*c_1001_4^14 + 256575515060695395930319711491074264474\ 002/2025564192745835378680701967967600394375*c_1001_4^13 + 940075754401681186951254934518650620733/170215478382002972998378316\ 63593280625*c_1001_4^12 + 41802549851830455825141191798384797716089\ /184142199340530488970972906178872763125*c_1001_4^11 + 294665805727043498535537527267788764109493/202556419274583537868070\ 1967967600394375*c_1001_4^10 + 163810677195453122578619913672355619\ 188366/2025564192745835378680701967967600394375*c_1001_4^9 + 6206043029132331449771241636800871695467/15229805960495002847223323\ 067425566875*c_1001_4^8 + 74773168812753370731924887079214892681298\ 8/2025564192745835378680701967967600394375*c_1001_4^7 + 6563044630024230546690520450971523716361/23282347043055579065295424\ 919167820625*c_1001_4^6 + 86025679732404834661415178647927751353846\ /289366313249405054097243138281085770625*c_1001_4^5 + 2267802869957421360043560246444662555362/69847041129166737195886274\ 757503461875*c_1001_4^4 + 15677634659849891952092061197408636048288\ /184142199340530488970972906178872763125*c_1001_4^3 + 10652421809279962837207417900612472715992/8102256770983341514722807\ 8718704015775*c_1001_4^2 + 49118262630074698034032848908535644699/2\ 3830166973480416219772964329030592875*c_1001_4 + 2708013371022429373072377573300008832229/20255641927458353786807019\ 67967600394375, c_0011_0 - 1, c_0011_10 + 17995498550274986227363079/503349003977660516383359867*c_10\ 01_4^18 + 183554720970481922879611387/167783001325886838794453289*c\ _1001_4^17 - 146257364651767588623289891/50334900397766051638335986\ 7*c_1001_4^16 + 310451353585700089777522088/50334900397766051638335\ 9867*c_1001_4^15 + 2953577022886441139768329/1677830013258868387944\ 53289*c_1001_4^14 + 1952770472272473722953232615/503349003977660516\ 383359867*c_1001_4^13 + 275518193134826026761524720/503349003977660\ 516383359867*c_1001_4^12 + 3866603718471481633722936419/50334900397\ 7660516383359867*c_1001_4^11 + 624956556424972702580520148/50334900\ 3977660516383359867*c_1001_4^10 + 2451157297042088876242323689/5033\ 49003977660516383359867*c_1001_4^9 + 4540618992501658211742943814/503349003977660516383359867*c_1001_4^8 + 4415106372028996947490827400/503349003977660516383359867*c_1001_4\ ^7 + 1466347151934315364785248704/167783001325886838794453289*c_100\ 1_4^6 + 3224259101935042649985143842/503349003977660516383359867*c_\ 1001_4^5 - 33611456803506203133660560/503349003977660516383359867*c\ _1001_4^4 + 1454518877746161282200851010/50334900397766051638335986\ 7*c_1001_4^3 + 717566374175096743277139166/503349003977660516383359\ 867*c_1001_4^2 - 103370545360309435949630555/5033490039776605163833\ 59867*c_1001_4 - 56222677958580845766752659/50334900397766051638335\ 9867, c_0011_3 - 234787523243460243524860/55927667108628946264817763*c_1001_4\ ^18 - 19176313545442008007562819/167783001325886838794453289*c_1001\ _4^17 + 78164405226625895604162677/167783001325886838794453289*c_10\ 01_4^16 - 39065770555296653775779677/167783001325886838794453289*c_\ 1001_4^15 + 96180426509767252097948123/167783001325886838794453289*\ c_1001_4^14 - 88734653582864472656249615/16778300132588683879445328\ 9*c_1001_4^13 + 25466460272196032062321730/186425557028763154216059\ 21*c_1001_4^12 - 104634520508509267791953174/1677830013258868387944\ 53289*c_1001_4^11 + 23684664652506029905639859/62141852342921051405\ 35307*c_1001_4^10 - 33251592298840659083492479/16778300132588683879\ 4453289*c_1001_4^9 + 346789391916936377845177784/167783001325886838\ 794453289*c_1001_4^8 + 604370662103635573193112530/1677830013258868\ 38794453289*c_1001_4^7 + 28327563722085696396975242/186425557028763\ 15421605921*c_1001_4^6 + 96398003697861020024929208/186425557028763\ 15421605921*c_1001_4^5 + 723867498907652317883477291/16778300132588\ 6838794453289*c_1001_4^4 + 10503967085651244625090582/1864255570287\ 6315421605921*c_1001_4^3 + 214414608038010635295871177/167783001325\ 886838794453289*c_1001_4^2 + 25451677479307968536743561/16778300132\ 5886838794453289*c_1001_4 - 23287653121832815419065663/167783001325\ 886838794453289, c_0011_7 - 1301899607267837694407516/503349003977660516383359867*c_1001\ _4^18 - 12063663035616958616969572/167783001325886838794453289*c_10\ 01_4^17 + 116948749822831622878763746/503349003977660516383359867*c\ _1001_4^16 - 212420101951940623352136023/50334900397766051638335986\ 7*c_1001_4^15 + 34742910871412599616045630/167783001325886838794453\ 289*c_1001_4^14 - 258360813091298833039233413/503349003977660516383\ 359867*c_1001_4^13 + 382730862927080900348187652/503349003977660516\ 383359867*c_1001_4^12 - 802314898341153943549440233/503349003977660\ 516383359867*c_1001_4^11 + 610579474887421422083622113/503349003977\ 660516383359867*c_1001_4^10 - 1302305629003264366654761548/50334900\ 3977660516383359867*c_1001_4^9 + 35328614516582079886404694/5033490\ 03977660516383359867*c_1001_4^8 - 286277524074831070046457364/50334\ 9003977660516383359867*c_1001_4^7 - 287697938792069279249835412/167783001325886838794453289*c_1001_4^6 - 806812750062749038175691964/503349003977660516383359867*c_1001_4^5 - 926143198428371312980194277/503349003977660516383359867*c_1001_4^4 - 1414623902856743321038111253/503349003977660516383359867*c_1001_4^3 + 285604188029332058586860546/503349003977660516383359867*c_1001_4^\ 2 - 535049940407788527607172179/503349003977660516383359867*c_1001_\ 4 - 331280106516103561411651877/503349003977660516383359867, c_0101_0 - 18257475396962180601829423/503349003977660516383359867*c_100\ 1_4^18 - 187317867891375256600964518/167783001325886838794453289*c_\ 1001_4^17 + 48646302023078184081017249/503349003977660516383359867*\ c_1001_4^16 - 280014259985263896885772318/5033490039776605163833598\ 67*c_1001_4^15 - 21757132541403742892037896/55927667108628946264817\ 763*c_1001_4^14 - 1861638753061032495869135197/50334900397766051638\ 3359867*c_1001_4^13 - 711972035108500993938149287/50334900397766051\ 6383359867*c_1001_4^12 - 4025917938371150614837319053/5033490039776\ 60516383359867*c_1001_4^11 - 1723887940707427866255141233/503349003\ 977660516383359867*c_1001_4^10 - 2248676981791454041942151977/50334\ 9003977660516383359867*c_1001_4^9 - 5822667668439477504813191809/503349003977660516383359867*c_1001_4^8 - 5281988163970913089700437112/503349003977660516383359867*c_1001_4\ ^7 - 1751190845026955958606202004/167783001325886838794453289*c_100\ 1_4^6 - 5313433238052035154839297585/503349003977660516383359867*c_\ 1001_4^5 - 854366922006847772370593468/503349003977660516383359867*\ c_1001_4^4 - 1617360652772923223209316155/5033490039776605163833598\ 67*c_1001_4^3 - 1384224569558533770118977419/5033490039776605163833\ 59867*c_1001_4^2 + 1464300222402832681757578/5033490039776605163833\ 59867*c_1001_4 - 51353936321634802783994416/50334900397766051638335\ 9867, c_0101_10 - 13941584134150716864566831/503349003977660516383359867*c_10\ 01_4^18 - 15542993547745826063766943/18642555702876315421605921*c_1\ 001_4^17 + 333500286910141439029047646/503349003977660516383359867*\ c_1001_4^16 - 70295231517237269363678309/50334900397766051638335986\ 7*c_1001_4^15 + 12953870839710953269607857/167783001325886838794453\ 289*c_1001_4^14 - 1368568444053858911162656376/50334900397766051638\ 3359867*c_1001_4^13 + 659970095773969547382737080/50334900397766051\ 6383359867*c_1001_4^12 - 2217898121912702940812147207/5033490039776\ 60516383359867*c_1001_4^11 + 1022665972688222017659615197/503349003\ 977660516383359867*c_1001_4^10 + 89521776678982566175115281/5033490\ 03977660516383359867*c_1001_4^9 - 2001678457336491071663402414/5033\ 49003977660516383359867*c_1001_4^8 - 932938794397387237820855038/503349003977660516383359867*c_1001_4^7 + 149926796666245222377030167/167783001325886838794453289*c_1001_4^6 + 842111141846009322951614855/503349003977660516383359867*c_1001_4^5 + 2606644400554235215332855587/503349003977660516383359867*c_1001_4^4 + 1466518994363813326711096027/503349003977660516383359867*c_1001_4\ ^3 + 47135091995359550024127821/503349003977660516383359867*c_1001_\ 4^2 + 159351330902359408924315628/503349003977660516383359867*c_100\ 1_4 + 230406467773182511897435897/503349003977660516383359867, c_0101_2 - 8266646603921907125696897/503349003977660516383359867*c_1001\ _4^18 - 84358968554600351584990663/167783001325886838794453289*c_10\ 01_4^17 + 68742770031042941824666528/503349003977660516383359867*c_\ 1001_4^16 + 12578913572239060476038401/503349003977660516383359867*\ c_1001_4^15 - 43182679955430384646987861/16778300132588683879445328\ 9*c_1001_4^14 - 861454044440093976860764358/50334900397766051638335\ 9867*c_1001_4^13 - 127783874197401655524812549/50334900397766051638\ 3359867*c_1001_4^12 - 1320361749853257993100852565/5033490039776605\ 16383359867*c_1001_4^11 - 501201101810645145928228546/5033490039776\ 60516383359867*c_1001_4^10 - 289999947460421246422550903/5033490039\ 77660516383359867*c_1001_4^9 - 2307366183175127465425423382/5033490\ 03977660516383359867*c_1001_4^8 - 2194647609868800814470723718/5033\ 49003977660516383359867*c_1001_4^7 - 330510430745102437999187737/167783001325886838794453289*c_1001_4^6 - 1280888035504252444964766697/503349003977660516383359867*c_1001_4^5 + 320388357769830679418674457/503349003977660516383359867*c_1001_4^\ 4 - 853263417936923466896511320/503349003977660516383359867*c_1001_\ 4^3 - 881914043236324208453838364/503349003977660516383359867*c_100\ 1_4^2 - 151128904087111737121149358/503349003977660516383359867*c_1\ 001_4 + 41434502308150795962139690/503349003977660516383359867, c_0101_4 - 18022584212037409042294399/503349003977660516383359867*c_100\ 1_4^18 - 184705673274169420290404126/167783001325886838794453289*c_\ 1001_4^17 + 80558076632111055820750052/503349003977660516383359867*\ c_1001_4^16 + 151307610718515872788053011/5033490039776605163833598\ 67*c_1001_4^15 - 47884084482882871492489013/16778300132588683879445\ 3289*c_1001_4^14 - 1796680064297886503703696553/5033490039776605163\ 83359867*c_1001_4^13 - 335859709164555664348618054/5033490039776605\ 16383359867*c_1001_4^12 - 2496775490460728626494256255/503349003977\ 660516383359867*c_1001_4^11 - 891888571693559175512424755/503349003\ 977660516383359867*c_1001_4^10 + 322471808004226640178285194/503349\ 003977660516383359867*c_1001_4^9 - 3553762067477542066376749195/503349003977660516383359867*c_1001_4^8 - 3870636713939173248158099933/503349003977660516383359867*c_1001_4\ ^7 - 206851188043237519757204885/167783001325886838794453289*c_1001\ _4^6 - 549141387832920205640191931/503349003977660516383359867*c_10\ 01_4^5 + 2850938906460003294549326323/503349003977660516383359867*c\ _1001_4^4 + 2151403939964882192539657295/50334900397766051638335986\ 7*c_1001_4^3 - 572348216322818198284181753/503349003977660516383359\ 867*c_1001_4^2 + 310117082776394891685907432/5033490039776605163833\ 59867*c_1001_4 + 525147162222281219480749940/5033490039776605163833\ 59867, c_0101_9 + 985658172796964525289037/503349003977660516383359867*c_1001_\ 4^18 + 8691268459876039307626727/167783001325886838794453289*c_1001\ _4^17 - 129570291571324662476175227/503349003977660516383359867*c_1\ 001_4^16 + 153488561977924380499495792/503349003977660516383359867*\ c_1001_4^15 - 77434851843904597703889385/16778300132588683879445328\ 9*c_1001_4^14 + 181091857827186926930699722/50334900397766051638335\ 9867*c_1001_4^13 - 448167868682206306818071339/50334900397766051638\ 3359867*c_1001_4^12 + 519897454017462772793894932/50334900397766051\ 6383359867*c_1001_4^11 - 1343604612079670863159231030/5033490039776\ 60516383359867*c_1001_4^10 + 638004806598426161188678201/5033490039\ 77660516383359867*c_1001_4^9 - 930615184691249133592027793/50334900\ 3977660516383359867*c_1001_4^8 - 570278638727576274543333754/503349\ 003977660516383359867*c_1001_4^7 - 165524116456960075461538903/167783001325886838794453289*c_1001_4^6 - 1012926318939352147503509629/503349003977660516383359867*c_1001_4^5 - 1307612863112565637482200635/503349003977660516383359867*c_1001_4\ ^4 - 381626431193800471259155271/503349003977660516383359867*c_1001\ _4^3 - 667383427159050496360838206/503349003977660516383359867*c_10\ 01_4^2 - 266723028857603997627211639/503349003977660516383359867*c_\ 1001_4 - 390396091938318365149108154/503349003977660516383359867, c_1001_0 - 1186240614956103687341677/167783001325886838794453289*c_1001\ _4^18 - 36748647580115505031115932/167783001325886838794453289*c_10\ 01_4^17 - 1365519084456789828867590/55927667108628946264817763*c_10\ 01_4^16 - 4793251291735082677610125/55927667108628946264817763*c_10\ 01_4^15 + 46922915325190174344008605/167783001325886838794453289*c_\ 1001_4^14 - 184824092957412292873471688/167783001325886838794453289\ *c_1001_4^13 - 82384005026795091883438774/1677830013258868387944532\ 89*c_1001_4^12 - 207101830608681333884099012/1677830013258868387944\ 53289*c_1001_4^11 + 10080575479139690546870779/16778300132588683879\ 4453289*c_1001_4^10 - 94316648983623206765505406/559276671086289462\ 64817763*c_1001_4^9 - 57664030124235105169766203/559276671086289462\ 64817763*c_1001_4^8 - 400655505710189058870647821/16778300132588683\ 8794453289*c_1001_4^7 - 213371611936924555873209248/559276671086289\ 46264817763*c_1001_4^6 + 171872708882947757965051534/16778300132588\ 6838794453289*c_1001_4^5 - 103711866791735982248750065/167783001325\ 886838794453289*c_1001_4^4 - 181130349831324237592078972/1677830013\ 25886838794453289*c_1001_4^3 - 67797482319327351007523606/559276671\ 08628946264817763*c_1001_4^2 - 52322408242117842029946716/559276671\ 08628946264817763*c_1001_4 - 53090368577481333676461428/16778300132\ 5886838794453289, c_1001_4^19 + 31*c_1001_4^18 + 4*c_1001_4^17 + 11*c_1001_4^16 + 19*c_1001_4^15 + 109*c_1001_4^14 + 59*c_1001_4^13 + 218*c_1001_4^12 + 156*c_1001_4^11 + 147*c_1001_4^10 + 362*c_1001_4^9 + 396*c_1001_4^8 + 344*c_1001_4^7 + 374*c_1001_4^6 + 166*c_1001_4^5 + 156*c_1001_4^4 + 150*c_1001_4^3 + 55*c_1001_4^2 + 18*c_1001_4 + 25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.310 Total time: 0.520 seconds, Total memory usage: 32.09MB