Magma V2.19-8 Wed Aug 21 2013 00:54:49 on localhost [Seed = 3516386196] Type ? for help. Type -D to quit. Loading file "L12n656__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n656 geometric_solution 11.71268194 oriented_manifold CS_known 0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 3201 0 1 0 1 0 0 0 0 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 1 0 -1 7 0 -7 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.003296050129 0.518136159252 0 0 5 4 0132 2310 0132 0132 0 1 1 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 -7 0 7 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.770567444651 0.690807469564 6 0 7 5 0132 0132 0132 0132 0 1 1 0 0 0 0 0 0 0 1 -1 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 0 0 7 -7 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.175183179903 1.149890618046 4 8 8 0 0132 0132 1302 0132 0 1 1 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 0 0 0 0 0 0 0 -6 0 -1 7 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.649483947727 0.579659065953 3 9 1 10 0132 0132 0132 0132 0 1 1 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 0 0 0 0 0 0 0 6 0 0 -6 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.586492140113 0.878524447264 9 8 2 1 3201 0213 0132 0132 0 1 0 1 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 0 0 0 0 0 7 -7 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.411878894385 0.574207102577 2 9 11 10 0132 3201 0132 3201 1 1 0 1 0 0 1 -1 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 6 -6 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.826875648216 0.851292673831 12 8 12 2 0132 1302 3012 0132 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 0 0 0 0 0 1 -1 7 0 0 -7 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.329184226770 0.613644617206 3 3 5 7 2031 0132 0213 2031 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 0 0 0 0 0 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.142973367418 0.764889200231 11 4 6 5 0213 0132 2310 2310 0 1 1 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 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.590856177857 0.420544819756 11 6 4 12 2103 2310 0132 3012 0 1 1 1 0 0 0 0 0 0 1 -1 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 0 -1 0 0 6 -6 0 0 0 0 -7 6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371872252791 0.869546443316 9 12 10 6 0213 0321 2103 0132 1 1 1 1 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 6 0 -6 0 0 0 0 1 -1 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.408826857451 0.400675381795 7 7 10 11 0132 1230 1230 0321 1 1 1 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 0 0 0 0 0 6 -6 -7 0 0 7 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.811581777527 0.742413653758 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_12']), 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : negation(d['c_0101_12']), 's_0_10' : d['1'], 's_3_10' : 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_0011_3'], 'c_0101_10' : d['c_0011_3'], 's_2_0' : 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' : 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' : 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' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_12']), 'c_1100_4' : negation(d['c_1001_12']), 'c_1100_7' : negation(d['c_1001_12']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_1001_12']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_1001_12']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_0'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_1001_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_1']), 'c_1010_6' : negation(d['c_1001_10']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : negation(d['c_0101_1']), 'c_1010_8' : negation(d['c_0011_12']), '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'], 'c_1100_12' : d['c_0011_10'], '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_3'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : negation(d['c_0011_12']), 'c_0110_6' : d['c_0101_12'], '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_11' : d['c_0101_5'], 'c_0110_10' : d['c_0011_10'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : d['c_0101_12'], 'c_0011_6' : d['c_0011_0'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0011_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_5']), 'c_0110_8' : negation(d['c_0011_12']), '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_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : d['c_0101_12'], 'c_1100_8' : d['c_1001_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_11, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_12, c_0101_5, c_1001_0, c_1001_1, c_1001_10, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 158613326292886334223075217171090247886320/679059815636677334747609\ 7466105172348763*c_1001_12^16 + 12192125228920431316064655593809281\ 414520/6790598156366773347476097466105172348763*c_1001_12^15 - 8663833243039786273913232512964802468136/32336181696984634987981416\ 5052627254703*c_1001_12^14 - 65221455766178472698164614917506534282\ 870/6790598156366773347476097466105172348763*c_1001_12^13 + 14714102704268749332122889609410963875363/1656243452772383743286853\ 04051345667043*c_1001_12^12 + 5396937744082220512277359952238359491\ 866019/13581196312733546694952194932210344697526*c_1001_12^11 + 100219720259901090312973767300964146871091/174117901445301880704515\ 319643722367917*c_1001_12^10 - 130690272721197216578935514380434069\ 75005429/6790598156366773347476097466105172348763*c_1001_12^9 - 88796340776109068830802097249103319726778215/6790598156366773347476\ 097466105172348763*c_1001_12^8 - 4196277338031279746744922338359347\ 01407609349/13581196312733546694952194932210344697526*c_1001_12^7 - 5182478383904942143238183492628898212955027/11607860096353458713634\ 3546429148245278*c_1001_12^6 - 442572957647075370546794993799047324\ 64520295/1044707408671811284227091917862334207502*c_1001_12^5 - 113809626093138821713965609904837488667063079/452706543757784889831\ 7398310736781565842*c_1001_12^4 - 127231090121122232604902140106496\ 538242304609/13581196312733546694952194932210344697526*c_1001_12^3 - 24034293922348568757907411954337079407359267/1358119631273354669495\ 2194932210344697526*c_1001_12^2 + 100182142502654674124243050946499\ 1257229885/6790598156366773347476097466105172348763*c_1001_12 - 720634306662461660111484420736864127993911/135811963127335466949521\ 94932210344697526, c_0011_0 - 1, c_0011_10 + 6900998267641821327808282739608192/356872107901827998984454\ 43665448323*c_1001_12^16 + 14185959736766406484904595659526784/1189\ 5736930060933299481814555149441*c_1001_12^15 + 21247833705914001531980795171917088/1189573693006093329948181455514\ 9441*c_1001_12^14 + 166896024487224913879527638673852688/3568721079\ 0182799898445443665448323*c_1001_12^13 + 438627134961433127305615653684306464/356872107901827998984454436654\ 48323*c_1001_12^12 + 431978395960549043178485714730336168/118957369\ 30060933299481814555149441*c_1001_12^11 + 1225952204476789640953172361904705158/11895736930060933299481814555\ 149441*c_1001_12^10 + 8747556019579864958578965224198124644/3568721\ 0790182799898445443665448323*c_1001_12^9 + 15518442008664720295056729197584630360/3568721079018279989844544366\ 5448323*c_1001_12^8 + 6354305023620758395130614868237832314/1189573\ 6930060933299481814555149441*c_1001_12^7 + 5826144284489716801743203770478379304/11895736930060933299481814555\ 149441*c_1001_12^6 + 10819537690822601049888924612790571902/3568721\ 0790182799898445443665448323*c_1001_12^5 + 5005746977006018725727248507830180538/35687210790182799898445443665\ 448323*c_1001_12^4 + 679845015389533865404967196907860025/118957369\ 30060933299481814555149441*c_1001_12^3 + 23730302180729746532083301265945578/3568721079018279989844544366544\ 8323*c_1001_12^2 + 108969370061719968392704043700547939/35687210790\ 182799898445443665448323*c_1001_12 + 9079526725191478696464541741532555/11895736930060933299481814555149\ 441, c_0011_11 - 174787301557703161051689005358566656/3568721079018279989844\ 5443665448323*c_1001_12^16 - 101286509509553902698181856077954048/1\ 1895736930060933299481814555149441*c_1001_12^15 - 246022602738959493430655549608645888/118957369300609332994818145551\ 49441*c_1001_12^14 - 1776566377473844848709410778661567200/35687210\ 790182799898445443665448323*c_1001_12^13 - 5053971580205183019490338530883475280/35687210790182799898445443665\ 448323*c_1001_12^12 - 4994253819935185268785275327229751800/1189573\ 6930060933299481814555149441*c_1001_12^11 - 13286221315896000436116097834487009508/1189573693006093329948181455\ 5149441*c_1001_12^10 - 83819671533146069220820946212220653112/35687\ 210790182799898445443665448323*c_1001_12^9 - 124969638353348051491763563392580432477/356872107901827998984454436\ 65448323*c_1001_12^8 - 47390885382899206012533504912186715857/11895\ 736930060933299481814555149441*c_1001_12^7 - 39071883344428426249168976741024779864/1189573693006093329948181455\ 5149441*c_1001_12^6 - 73249370953135312377833639599040739559/356872\ 10790182799898445443665448323*c_1001_12^5 - 35901724381554285702775942378152938389/3568721079018279989844544366\ 5448323*c_1001_12^4 - 3462659548852835681744745522911454097/1189573\ 6930060933299481814555149441*c_1001_12^3 - 2341680801001072085454202055139916394/35687210790182799898445443665\ 448323*c_1001_12^2 + 453386041033921349659537559636552189/356872107\ 90182799898445443665448323*c_1001_12 - 29330680053584359674020154675844027/1189573693006093329948181455514\ 9441, c_0011_12 - 3695045773543459179688829572552192/356872107901827998984454\ 43665448323*c_1001_12^16 - 3167925636572636848551929765645760/11895\ 736930060933299481814555149441*c_1001_12^15 - 6359402413579703918802979507719072/11895736930060933299481814555149\ 441*c_1001_12^14 - 47057485752068501956954457646680320/356872107901\ 82799898445443665448323*c_1001_12^13 - 131327692046555895838922666894354552/356872107901827998984454436654\ 48323*c_1001_12^12 - 129205232128001305253723729877470692/118957369\ 30060933299481814555149441*c_1001_12^11 - 351808930698935180068653429733423706/118957369300609332994818145551\ 49441*c_1001_12^10 - 2318715714785544590976826873976368286/35687210\ 790182799898445443665448323*c_1001_12^9 - 3707555390194690926158064306168354718/35687210790182799898445443665\ 448323*c_1001_12^8 - 1454649999240942177691894451166194658/11895736\ 930060933299481814555149441*c_1001_12^7 - 1272100869161208914927594519520783215/11895736930060933299481814555\ 149441*c_1001_12^6 - 2496651327681709732367255247612636439/35687210\ 790182799898445443665448323*c_1001_12^5 - 1377627411328027263369654297514999837/35687210790182799898445443665\ 448323*c_1001_12^4 - 227214330387763742282655598664875104/118957369\ 30060933299481814555149441*c_1001_12^3 - 226653308314001896287687723197995985/356872107901827998984454436654\ 48323*c_1001_12^2 - 82477003979182977982663580378561224/35687210790\ 182799898445443665448323*c_1001_12 - 6256204371826079621660318613582201/11895736930060933299481814555149\ 441, c_0011_3 - 65635055699716884228343870867011328/356872107901827998984454\ 43665448323*c_1001_12^16 - 106910399119545716673749490838288832/356\ 87210790182799898445443665448323*c_1001_12^15 - 88164998365010790299623427190614432/1189573693006093329948181455514\ 9441*c_1001_12^14 - 641809698706002514511385907611664288/3568721079\ 0182799898445443665448323*c_1001_12^13 - 1830363282144294455147981433478954312/35687210790182799898445443665\ 448323*c_1001_12^12 - 5434537367694494608756068107059426660/3568721\ 0790182799898445443665448323*c_1001_12^11 - 4796275967538886124886354761252962754/11895736930060933299481814555\ 149441*c_1001_12^10 - 29948256955472645942828916222384885698/356872\ 10790182799898445443665448323*c_1001_12^9 - 43818587787587775433427297786236437866/3568721079018279989844544366\ 5448323*c_1001_12^8 - 49147744353808643253364729212684418286/356872\ 10790182799898445443665448323*c_1001_12^7 - 13324807752461826853102525409033950845/1189573693006093329948181455\ 5149441*c_1001_12^6 - 25064525975206782132964220023637734075/356872\ 10790182799898445443665448323*c_1001_12^5 - 4273913665978779820101183895940500367/11895736930060933299481814555\ 149441*c_1001_12^4 - 3908844960405207687200657782766552132/35687210\ 790182799898445443665448323*c_1001_12^3 - 1117933766009616839309992351782036491/35687210790182799898445443665\ 448323*c_1001_12^2 + 19559506167385690072839449620394752/3568721079\ 0182799898445443665448323*c_1001_12 - 25730798879793841059827989014337553/3568721079018279989844544366544\ 8323, c_0101_0 - 1, c_0101_1 + 8000181621671826222750773315613664/3568721079018279989844544\ 3665448323*c_1001_12^16 + 6053467727587679416425808007452752/118957\ 36930060933299481814555149441*c_1001_12^15 + 12449893377729846144440576567807696/1189573693006093329948181455514\ 9441*c_1001_12^14 + 91543543168533131936089645140064084/35687210790\ 182799898445443665448323*c_1001_12^13 + 258215153917797123785379579693556886/356872107901827998984454436654\ 48323*c_1001_12^12 + 256033792639414474643565298915465473/118957369\ 30060933299481814555149441*c_1001_12^11 + 691037515452860040788041198334326742/118957369300609332994818145551\ 49441*c_1001_12^10 + 4463054508455692468622468714953808906/35687210\ 790182799898445443665448323*c_1001_12^9 + 6838878721581551430925117529370165184/35687210790182799898445443665\ 448323*c_1001_12^8 + 2533727447214422012125700896750629683/11895736\ 930060933299481814555149441*c_1001_12^7 + 1974514726441833961878770052821173346/11895736930060933299481814555\ 149441*c_1001_12^6 + 3034479934722206940616600210132602904/35687210\ 790182799898445443665448323*c_1001_12^5 + 959632421333123595237427907792929666/356872107901827998984454436654\ 48323*c_1001_12^4 - 5220376302359053989756793905747518/118957369300\ 60933299481814555149441*c_1001_12^3 - 210016021392134843834495248168267336/356872107901827998984454436654\ 48323*c_1001_12^2 - 127721204825307407574843555921452168/3568721079\ 0182799898445443665448323*c_1001_12 - 8403744463188635151944849603588650/11895736930060933299481814555149\ 441, c_0101_12 - 3595458228502468508534891486512864/356872107901827998984454\ 43665448323*c_1001_12^16 - 7346814169888944464763884372785328/35687\ 210790182799898445443665448323*c_1001_12^15 - 4144716136352889070541788103461968/11895736930060933299481814555149\ 441*c_1001_12^14 - 33857474945015010271317194406151012/356872107901\ 82799898445443665448323*c_1001_12^13 - 97549733944111291435231699043592286/3568721079018279989844544366544\ 8323*c_1001_12^12 - 296696560562401724182490802765304099/3568721079\ 0182799898445443665448323*c_1001_12^11 - 263070819953814921093630072785460882/118957369300609332994818145551\ 49441*c_1001_12^10 - 1603247360089498628854544241141821507/35687210\ 790182799898445443665448323*c_1001_12^9 - 2117481900583554975937518859217016047/35687210790182799898445443665\ 448323*c_1001_12^8 - 1702335584111397417665872545851009672/35687210\ 790182799898445443665448323*c_1001_12^7 - 157327785435729619322759674042571340/118957369300609332994818145551\ 49441*c_1001_12^6 + 752905262207803392155803701449109086/3568721079\ 0182799898445443665448323*c_1001_12^5 + 340950231388545626594362729850183075/118957369300609332994818145551\ 49441*c_1001_12^4 + 775869425074325250002551725486989704/3568721079\ 0182799898445443665448323*c_1001_12^3 + 453684199185936434593980741331118026/356872107901827998984454436654\ 48323*c_1001_12^2 + 105406546322824937372264628411923974/3568721079\ 0182799898445443665448323*c_1001_12 + 23069455438298933502084666754675045/3568721079018279989844544366544\ 8323, c_0101_5 + 38090110654426001588022616189036928/118957369300609332994818\ 14555149441*c_1001_12^16 + 164086988180893440230698851791461696/356\ 87210790182799898445443665448323*c_1001_12^15 + 149415284496424853410128252398160448/118957369300609332994818145551\ 49441*c_1001_12^14 + 353643096013416976595346304544395792/118957369\ 30060933299481814555149441*c_1001_12^13 + 3051332428046503826260475675457256840/35687210790182799898445443665\ 448323*c_1001_12^12 + 9049368793856185067751523595868468260/3568721\ 0790182799898445443665448323*c_1001_12^11 + 7936781553363899154855934182219354528/11895736930060933299481814555\ 149441*c_1001_12^10 + 16354235027148180418830427430855486720/118957\ 36930060933299481814555149441*c_1001_12^9 + 70799115104664090446616437526545499656/3568721079018279989844544366\ 5448323*c_1001_12^8 + 79990164087667952360826049219021708180/356872\ 10790182799898445443665448323*c_1001_12^7 + 21758624001528863944299477698538952328/1189573693006093329948181455\ 5149441*c_1001_12^6 + 14122924488124542810597911110378236384/118957\ 36930060933299481814555149441*c_1001_12^5 + 22030244673781787484810437348868865720/3568721079018279989844544366\ 5448323*c_1001_12^4 + 6463296375328780807728527984692140184/3568721\ 0790182799898445443665448323*c_1001_12^3 + 789283483076553372701923701188226976/118957369300609332994818145551\ 49441*c_1001_12^2 - 250574804693147621408659275030105373/3568721079\ 0182799898445443665448323*c_1001_12 + 89850875729119314080934354685649074/3568721079018279989844544366544\ 8323, c_1001_0 - 4010587882528708790328615140398848/1189573693006093329948181\ 4555149441*c_1001_12^16 - 32644081640718146334080986115416256/35687\ 210790182799898445443665448323*c_1001_12^15 - 23445656762864094344376055311233952/1189573693006093329948181455514\ 9441*c_1001_12^14 - 56793828163089255880143366648424096/11895736930\ 060933299481814555149441*c_1001_12^13 - 463305939963806844619996854287844008/356872107901827998984454436654\ 48323*c_1001_12^12 - 1362287852616026344095746374749820084/35687210\ 790182799898445443665448323*c_1001_12^11 - 1241419684682531300996538887960087602/11895736930060933299481814555\ 149441*c_1001_12^10 - 2790672813858758837241754472116019742/1189573\ 6930060933299481814555149441*c_1001_12^9 - 14033518456373786683203170938706844838/3568721079018279989844544366\ 5448323*c_1001_12^8 - 17766726740885285554037636854981519766/356872\ 10790182799898445443665448323*c_1001_12^7 - 5669547750793729393137687842895625380/11895736930060933299481814555\ 149441*c_1001_12^6 - 4081074410672009354226817952288351384/11895736\ 930060933299481814555149441*c_1001_12^5 - 6898874524594891632130301555729503856/35687210790182799898445443665\ 448323*c_1001_12^4 - 2870274321211416011894798905286699852/35687210\ 790182799898445443665448323*c_1001_12^3 - 267808673592618407419933854077801488/118957369300609332994818145551\ 49441*c_1001_12^2 - 159034505870453266018904270369815552/3568721079\ 0182799898445443665448323*c_1001_12 - 17045235019586842638330726832431392/3568721079018279989844544366544\ 8323, c_1001_1 + 1872960976319589814745883909382784/1189573693006093329948181\ 4555149441*c_1001_12^16 + 17538355750367235163362787252701632/35687\ 210790182799898445443665448323*c_1001_12^15 + 13780010027244144406518242630236480/1189573693006093329948181455514\ 9441*c_1001_12^14 + 32041770317693672789831789683005552/11895736930\ 060933299481814555149441*c_1001_12^13 + 256035436562264049252580492878921176/356872107901827998984454436654\ 48323*c_1001_12^12 + 743233779625670381254970487934882828/356872107\ 90182799898445443665448323*c_1001_12^11 + 684612726846118492492935837602055144/118957369300609332994818145551\ 49441*c_1001_12^10 + 1594582729696042378030030098918658904/11895736\ 930060933299481814555149441*c_1001_12^9 + 8578023391360929056926023081075324076/35687210790182799898445443665\ 448323*c_1001_12^8 + 11814823873189409854060659722362380236/3568721\ 0790182799898445443665448323*c_1001_12^7 + 4136355345011885517161952753447782204/11895736930060933299481814555\ 149441*c_1001_12^6 + 3311233884379154286196302706903585812/11895736\ 930060933299481814555149441*c_1001_12^5 + 6083792674239511533807023881088364692/35687210790182799898445443665\ 448323*c_1001_12^4 + 2791872717835963630195128232207614728/35687210\ 790182799898445443665448323*c_1001_12^3 + 306833135737631404901724230617547832/118957369300609332994818145551\ 49441*c_1001_12^2 + 203854390994614471529293344704683072/3568721079\ 0182799898445443665448323*c_1001_12 + 26524265865145247669004663151209461/3568721079018279989844544366544\ 8323, c_1001_10 + 480620453074205007788088681094336/3568721079018279989844544\ 3665448323*c_1001_12^16 + 7845714259954234621403521415979232/356872\ 10790182799898445443665448323*c_1001_12^15 + 4967116213434385851806991092695200/11895736930060933299481814555149\ 441*c_1001_12^14 + 34461914183137259983400506613955304/356872107901\ 82799898445443665448323*c_1001_12^13 + 28874124152352872390463943731838212/1189573693006093329948181455514\ 9441*c_1001_12^12 + 247318476633144384584667313596719054/3568721079\ 0182799898445443665448323*c_1001_12^11 + 240400896125578609872221245469270612/118957369300609332994818145551\ 49441*c_1001_12^10 + 1859923834850845807976162384628729350/35687210\ 790182799898445443665448323*c_1001_12^9 + 1259888576437440320983459951351553892/11895736930060933299481814555\ 149441*c_1001_12^8 + 5520146459730726813628465335100699210/35687210\ 790182799898445443665448323*c_1001_12^7 + 2035908305808076801155777994250850168/11895736930060933299481814555\ 149441*c_1001_12^6 + 4968688118287973602081177839607156723/35687210\ 790182799898445443665448323*c_1001_12^5 + 3071203162485568229242030727654862572/35687210790182799898445443665\ 448323*c_1001_12^4 + 1514927917729437890525817545198480404/35687210\ 790182799898445443665448323*c_1001_12^3 + 455215363223680697083573358907763805/356872107901827998984454436654\ 48323*c_1001_12^2 + 22284615151787045558001565808014170/11895736930\ 060933299481814555149441*c_1001_12 - 8720483024755574112568745833692737/35687210790182799898445443665448\ 323, c_1001_12^17 + 5/2*c_1001_12^16 + 11/2*c_1001_12^15 + 107/8*c_1001_12^14 + 585/16*c_1001_12^13 + 3441/32*c_1001_12^12 + 2341/8*c_1001_12^11 + 5209/8*c_1001_12^10 + 34407/32*c_1001_12^9 + 10803/8*c_1001_12^8 + 41165/32*c_1001_12^7 + 14911/16*c_1001_12^6 + 2135/4*c_1001_12^5 + 7171/32*c_1001_12^4 + 1005/16*c_1001_12^3 + 171/16*c_1001_12^2 - 27/16*c_1001_12 + 17/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.150 Total time: 0.360 seconds, Total memory usage: 32.09MB