Magma V2.19-8 Tue Aug 20 2013 23:45:19 on localhost [Seed = 2412374623] Type ? for help. Type -D to quit. Loading file "K13n2622__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2622 geometric_solution 11.01801405 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 -1 1 -1 0 0 1 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 -1 -2 3 -3 0 0 3 0 3 0 -3 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529499197967 1.381742917833 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 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 0 0 0 3 0 -3 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.382402445630 0.284172658032 3 0 8 5 2103 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 2 -2 0 0 1 -3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574871826428 0.817329187838 9 10 2 0 0132 0132 2103 0132 0 0 0 0 0 0 -1 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 0 -2 2 0 0 0 0 0 -2 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.358837502331 0.847263134377 11 10 0 5 0132 0321 0132 3120 0 0 0 0 0 0 -1 1 0 0 -1 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 0 -3 3 0 0 -3 3 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.322171939451 0.679099644032 4 1 2 11 3120 0132 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 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 -3 0 0 3 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.110078183701 0.937086359247 9 8 1 10 2103 0213 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 0 -1 -2 0 0 2 2 0 0 -2 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.210730286779 1.540304740638 8 11 9 1 0321 3201 2310 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 -3 0 0 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.089074755448 1.254959761520 7 10 6 2 0321 0213 0213 0132 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 0 -1 1 0 0 0 0 0 2 0 -2 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.876312702619 0.826888285920 3 7 6 11 0132 3201 2103 2103 0 0 0 0 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 0 0 0 0 0 0 0 2 -2 0 0 0 2 -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.696605687349 0.489856595011 6 3 8 4 3201 0132 0213 0321 0 0 0 0 0 0 0 0 1 0 -1 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 2 0 -2 0 1 -1 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.279141462515 0.998664334172 4 5 7 9 0132 2310 2310 2103 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 -2 2 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.742393065374 1.011487576665 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_1001_1']), 'c_1001_10' : d['c_1001_0'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_11']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : negation(d['c_0011_0']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_8'], '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_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_1100_9' : d['c_0011_8'], 'c_1100_8' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : negation(d['c_0101_5']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_0011_11']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_7'], 'c_1100_10' : d['c_1001_2'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : d['c_1001_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_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), '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' : negation(d['c_0011_8']), 'c_0110_10' : d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_6']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_8']), 'c_0101_3' : negation(d['c_0011_7']), 'c_0101_2' : negation(d['c_0011_7']), 'c_0101_1' : negation(d['c_0011_8']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_6'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : negation(d['c_0011_7']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_8']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0011_8']), 'c_0110_6' : negation(d['c_0011_8'])})} 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_10, c_0011_11, c_0011_6, c_0011_7, c_0011_8, c_0101_0, c_0101_11, c_0101_5, c_1001_0, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 5764116017254704707722148824102025993/10912955469573984041867074470\ 03804*c_1001_2^19 - 139055567744795609178393173048986795081/5456477\ 734786992020933537235019020*c_1001_2^18 - 447669272385390875306474865003052574149/163694332043609760628006117\ 05057060*c_1001_2^17 + 350637669831609805508092611944112362081/1091\ 295546957398404186707447003804*c_1001_2^16 - 4961642316643586582860624466533238489479/16369433204360976062800611\ 705057060*c_1001_2^15 - 2045568057604629414991925008506053540077/18\ 18825911595664006977845745006340*c_1001_2^14 + 37169411021265377155893551044281122658077/1636943320436097606280061\ 1705057060*c_1001_2^13 + 38832131387607418642408021946772351484/136\ 4119433696748005233384308754755*c_1001_2^12 - 30849792775803706635658517212405740148721/1636943320436097606280061\ 1705057060*c_1001_2^11 - 7618108885396390465596602782253385643399/4\ 092358301090244015700152926264265*c_1001_2^10 + 4865775484818399357405786191286670498247/13641194336967480052333843\ 08754755*c_1001_2^9 + 1654801930414471083727042755060857928892/8184\ 71660218048803140030585252853*c_1001_2^8 - 1359505491440828856426951659661358482423/36376518231913280139556914\ 9001268*c_1001_2^7 - 18328161063877236499448806947156593143697/1636\ 9433204360976062800611705057060*c_1001_2^6 + 12923102892637487649057156065201150228201/8184716602180488031400305\ 852528530*c_1001_2^5 + 24586760162574474778683496189517083333567/16\ 369433204360976062800611705057060*c_1001_2^4 - 17248831574279585535730978208504423510189/1636943320436097606280061\ 1705057060*c_1001_2^3 - 3535589174508517716295001358292403536241/54\ 56477734786992020933537235019020*c_1001_2^2 + 279805644961032104968651899036485255732/454706477898916001744461436\ 251585*c_1001_2 - 2010126507577010024324222018334068796151/16369433\ 204360976062800611705057060, c_0011_0 - 1, c_0011_10 - 332585855746318137534320/1903528351906799084013*c_1001_2^19 + 4723682215619998378189154/5710585055720397252039*c_1001_2^18 + 5548222621932283641560306/5710585055720397252039*c_1001_2^17 - 60002006923312440398670394/5710585055720397252039*c_1001_2^16 + 52180754431167581387540816/5710585055720397252039*c_1001_2^15 + 214645138002634302698454407/5710585055720397252039*c_1001_2^14 - 408500874718130679481449571/5710585055720397252039*c_1001_2^13 - 32139986664960523741096538/5710585055720397252039*c_1001_2^12 + 37790843514052684252110251/634509450635599694671*c_1001_2^11 + 374283824985599669128661966/5710585055720397252039*c_1001_2^10 - 629177535056747788246132507/5710585055720397252039*c_1001_2^9 - 416580987242439216350549569/5710585055720397252039*c_1001_2^8 + 651937829076499048172124766/5710585055720397252039*c_1001_2^7 + 243709808451255751837872059/5710585055720397252039*c_1001_2^6 - 261082125013632959866149694/5710585055720397252039*c_1001_2^5 - 289130093529855453629000074/5710585055720397252039*c_1001_2^4 + 170659148304661610805132856/5710585055720397252039*c_1001_2^3 + 41357112742981896913922429/1903528351906799084013*c_1001_2^2 - 104359630154524431267476524/5710585055720397252039*c_1001_2 + 19519313709082157658466376/5710585055720397252039, c_0011_11 - 229467144852814043363665/5710585055720397252039*c_1001_2^19 + 363614844166489928432557/1903528351906799084013*c_1001_2^18 + 139931845356090375781016/634509450635599694671*c_1001_2^17 - 4613735226851767964290223/1903528351906799084013*c_1001_2^16 + 4075603821902875165122518/1903528351906799084013*c_1001_2^15 + 5484444479481006875440080/634509450635599694671*c_1001_2^14 - 94911075970674410261052040/5710585055720397252039*c_1001_2^13 - 6533776970970011050515946/5710585055720397252039*c_1001_2^12 + 79216947423124660736938412/5710585055720397252039*c_1001_2^11 + 28516904078640730722512384/1903528351906799084013*c_1001_2^10 - 48957590269871533388185702/1903528351906799084013*c_1001_2^9 - 95155244736632091681661687/5710585055720397252039*c_1001_2^8 + 152431201271448961327263784/5710585055720397252039*c_1001_2^7 + 18522933097127529966965932/1903528351906799084013*c_1001_2^6 - 6845730422042255662523373/634509450635599694671*c_1001_2^5 - 66823509530710368250660327/5710585055720397252039*c_1001_2^4 + 40244676665324226632393846/5710585055720397252039*c_1001_2^3 + 28732074465731079875045567/5710585055720397252039*c_1001_2^2 - 8133193434972395114738882/1903528351906799084013*c_1001_2 + 4568884724075379315059983/5710585055720397252039, c_0011_6 - 5206645968612291528648050/5710585055720397252039*c_1001_2^19 + 24911600412908611895764160/5710585055720397252039*c_1001_2^18 + 3092062398725928654525196/634509450635599694671*c_1001_2^17 - 315063541642478562449560564/5710585055720397252039*c_1001_2^16 + 31909409062811916168096992/634509450635599694671*c_1001_2^15 + 1112973737540127022826201945/5710585055720397252039*c_1001_2^14 - 2191222672117189372131257684/5710585055720397252039*c_1001_2^13 - 86764324433217927532769422/5710585055720397252039*c_1001_2^12 + 606426730362002730047387252/1903528351906799084013*c_1001_2^11 + 627740037484169885170170581/1903528351906799084013*c_1001_2^10 - 3412754238542557754156860462/5710585055720397252039*c_1001_2^9 - 2065591916012496924093042242/5710585055720397252039*c_1001_2^8 + 395546598473847570097172723/634509450635599694671*c_1001_2^7 + 1170152648306070892427086321/5710585055720397252039*c_1001_2^6 - 1472224606545235230850392761/5710585055720397252039*c_1001_2^5 - 1488690615372307980592813297/5710585055720397252039*c_1001_2^4 + 975944698911276483605608714/5710585055720397252039*c_1001_2^3 + 640567139272880250581122402/5710585055720397252039*c_1001_2^2 - 580461451327880215918976464/5710585055720397252039*c_1001_2 + 113288655177380548835903507/5710585055720397252039, c_0011_7 + 1364855893413155369696810/5710585055720397252039*c_1001_2^19 - 6563215062557277930739144/5710585055720397252039*c_1001_2^18 - 7155290897109215269079336/5710585055720397252039*c_1001_2^17 + 82842215712436792647249977/5710585055720397252039*c_1001_2^16 - 77136482984819875234435931/5710585055720397252039*c_1001_2^15 - 290947054311358472161256068/5710585055720397252039*c_1001_2^14 + 193956722449480429065834299/1903528351906799084013*c_1001_2^13 + 1440363175854535830237831/634509450635599694671*c_1001_2^12 - 160912426961264191292352149/1903528351906799084013*c_1001_2^11 - 485387443793984325503978582/5710585055720397252039*c_1001_2^10 + 910972389471104622294621350/5710585055720397252039*c_1001_2^9 + 58760773367111808290507621/634509450635599694671*c_1001_2^8 - 953005940025795866154404416/5710585055720397252039*c_1001_2^7 - 98357616259404328134254326/1903528351906799084013*c_1001_2^6 + 133182032690502095987784797/1903528351906799084013*c_1001_2^5 + 388363080610157130738332669/5710585055720397252039*c_1001_2^4 - 266171209205072525503149515/5710585055720397252039*c_1001_2^3 - 167351906863700407717538692/5710585055720397252039*c_1001_2^2 + 156470169139336711148887058/5710585055720397252039*c_1001_2 - 31034016539243824050765097/5710585055720397252039, c_0011_8 + 1230056867189458257062465/5710585055720397252039*c_1001_2^19 - 1948290000007380917022107/1903528351906799084013*c_1001_2^18 - 6747055044061551341216837/5710585055720397252039*c_1001_2^17 + 24709312167024750527581517/1903528351906799084013*c_1001_2^16 - 65556941330806451164948571/5710585055720397252039*c_1001_2^15 - 87996083609091747626855416/1903528351906799084013*c_1001_2^14 + 56498263747715849186794570/634509450635599694671*c_1001_2^13 + 32786729471064912019049729/5710585055720397252039*c_1001_2^12 - 422787979488216037915496369/5710585055720397252039*c_1001_2^11 - 455444862001279660001330864/5710585055720397252039*c_1001_2^10 + 262064015412608696809249670/1903528351906799084013*c_1001_2^9 + 56021404162218209924422654/634509450635599694671*c_1001_2^8 - 816607655433546183773373647/5710585055720397252039*c_1001_2^7 - 291555506593795209068910343/5710585055720397252039*c_1001_2^6 + 330896082852328383828631430/5710585055720397252039*c_1001_2^5 + 354446338658304560233247293/5710585055720397252039*c_1001_2^4 - 217553819972356608243737216/5710585055720397252039*c_1001_2^3 - 152207701494046368130887055/5710585055720397252039*c_1001_2^2 + 14632269756127469354792982/634509450635599694671*c_1001_2 - 25065224506676924603093635/5710585055720397252039, c_0101_0 + 7325369715798601890830455/5710585055720397252039*c_1001_2^19 - 3896784314315548218947188/634509450635599694671*c_1001_2^18 - 39054038858535726650613413/5710585055720397252039*c_1001_2^17 + 147809270454592437447517288/1903528351906799084013*c_1001_2^16 - 405349033493631772984616198/5710585055720397252039*c_1001_2^15 - 173903698265897647690022665/634509450635599694671*c_1001_2^14 + 3088033299755818744403443649/5710585055720397252039*c_1001_2^13 + 114580273804426652372857519/5710585055720397252039*c_1001_2^12 - 854386162025551525938494258/1903528351906799084013*c_1001_2^11 - 2642833684715506093777789493/5710585055720397252039*c_1001_2^10 + 1604208854202021422205483218/1903528351906799084013*c_1001_2^9 + 2895627629091221997373661063/5710585055720397252039*c_1001_2^8 - 5022318561341303790687553891/5710585055720397252039*c_1001_2^7 - 1636358798400949870876804696/5710585055720397252039*c_1001_2^6 + 2081068970827469455258705271/5710585055720397252039*c_1001_2^5 + 232457105538740753485576606/634509450635599694671*c_1001_2^4 - 460283875863502973187788876/1903528351906799084013*c_1001_2^3 - 900365708264571309591108860/5710585055720397252039*c_1001_2^2 + 273317828241499957916494484/1903528351906799084013*c_1001_2 - 53492118633291917834652824/1903528351906799084013, c_0101_11 + 45133766481573688289015/1903528351906799084013*c_1001_2^19 - 218436228076506447802681/1903528351906799084013*c_1001_2^18 - 231193755555719186454776/1903528351906799084013*c_1001_2^17 + 2751872255270694188671538/1903528351906799084013*c_1001_2^16 - 2624150095586467811571752/1903528351906799084013*c_1001_2^15 - 9610419046044098704966975/1903528351906799084013*c_1001_2^14 + 6516644016051774223538780/634509450635599694671*c_1001_2^13 + 39303193532592449317372/634509450635599694671*c_1001_2^12 - 5421893028350986415350962/634509450635599694671*c_1001_2^11 - 15830210163936286697787686/1903528351906799084013*c_1001_2^10 + 30821877113662091010671858/1903528351906799084013*c_1001_2^9 + 5731002333790634427621411/634509450635599694671*c_1001_2^8 - 32327587550328116607624256/1903528351906799084013*c_1001_2^7 - 3173327713510337898066938/634509450635599694671*c_1001_2^6 + 4578144125954372364216019/634509450635599694671*c_1001_2^5 + 12904367341163797898773301/1903528351906799084013*c_1001_2^4 - 9146397031293176163486434/1903528351906799084013*c_1001_2^3 - 5574507058934696991311737/1903528351906799084013*c_1001_2^2 + 5311118652703755916751996/1903528351906799084013*c_1001_2 - 1059512236907183826487096/1903528351906799084013, c_0101_5 - 6383620609375063678296365/5710585055720397252039*c_1001_2^19 + 30606847123869564706527356/5710585055720397252039*c_1001_2^18 + 33843556236709170444503867/5710585055720397252039*c_1001_2^17 - 386758112836449961917885160/5710585055720397252039*c_1001_2^16 + 355754857147994615961293969/5710585055720397252039*c_1001_2^15 + 1362783043763008306545345602/5710585055720397252039*c_1001_2^14 - 300127703882093208125775699/634509450635599694671*c_1001_2^13 - 86409570059817564611221888/5710585055720397252039*c_1001_2^12 + 2241423408706110886936411633/5710585055720397252039*c_1001_2^11 + 2291582706877562623807040138/5710585055720397252039*c_1001_2^10 - 4216030369762820926153909027/5710585055720397252039*c_1001_2^9 - 835250685795409802840444882/1903528351906799084013*c_1001_2^8 + 489281470497204954469226884/634509450635599694671*c_1001_2^7 + 1409584572918457340130390026/5710585055720397252039*c_1001_2^6 - 1832097763041383262924864490/5710585055720397252039*c_1001_2^5 - 202250812739369206391452257/634509450635599694671*c_1001_2^4 + 1217573817375037532849631767/5710585055720397252039*c_1001_2^3 + 783690487768805255989102504/5710585055720397252039*c_1001_2^2 - 720498101700566663566014487/5710585055720397252039*c_1001_2 + 141706746775527919510945627/5710585055720397252039, c_1001_0 + 2988732841885340092051790/5710585055720397252039*c_1001_2^19 - 1593606723183244882065389/634509450635599694671*c_1001_2^18 - 15791581085544423563667412/5710585055720397252039*c_1001_2^17 + 60391142926648445187894407/1903528351906799084013*c_1001_2^16 - 167272249647091641355686598/5710585055720397252039*c_1001_2^15 - 70859705159134189675917879/634509450635599694671*c_1001_2^14 + 1267519598378371479390513055/5710585055720397252039*c_1001_2^13 + 36720608641596225486602291/5710585055720397252039*c_1001_2^12 - 350560961751984778578982310/1903528351906799084013*c_1001_2^11 - 1069715827999506122193982570/5710585055720397252039*c_1001_2^10 + 660069053473141172897913868/1903528351906799084013*c_1001_2^9 + 1168344372223211101269563689/5710585055720397252039*c_1001_2^8 - 2069363439106452899064297830/5710585055720397252039*c_1001_2^7 - 655504698109054804604296061/5710585055720397252039*c_1001_2^6 + 863076875632140348725289790/5710585055720397252039*c_1001_2^5 + 283851368274077051380074911/1903528351906799084013*c_1001_2^4 - 191353678566031602195608420/1903528351906799084013*c_1001_2^3 - 366758296164102745172084557/5710585055720397252039*c_1001_2^2 + 112995096546273355932095848/1903528351906799084013*c_1001_2 - 7426434041605863029221559/634509450635599694671, c_1001_1 + 1870112979225463000435940/5710585055720397252039*c_1001_2^19 - 8868553220628041945291611/5710585055720397252039*c_1001_2^18 - 1148126794462583772456953/634509450635599694671*c_1001_2^17 + 112566153030522988086596135/5710585055720397252039*c_1001_2^16 - 32890167593119509885845435/1903528351906799084013*c_1001_2^15 - 401803254995544698643330583/5710585055720397252039*c_1001_2^14 + 769062158896870518560247008/5710585055720397252039*c_1001_2^13 + 18389662521730137125159758/1903528351906799084013*c_1001_2^12 - 639705897858411582937714295/5710585055720397252039*c_1001_2^11 - 77438504693629879308822797/634509450635599694671*c_1001_2^10 + 1186514333758676854381424456/5710585055720397252039*c_1001_2^9 + 773475277979092942024784618/5710585055720397252039*c_1001_2^8 - 1230898184665420682484661246/5710585055720397252039*c_1001_2^7 - 449691488909510343087842219/5710585055720397252039*c_1001_2^6 + 495762057660124714114620397/5710585055720397252039*c_1001_2^5 + 179991571309911715759123174/1903528351906799084013*c_1001_2^4 - 325152717992228694125173303/5710585055720397252039*c_1001_2^3 - 231766678614470127047050360/5710585055720397252039*c_1001_2^2 + 197871737631904585153468874/5710585055720397252039*c_1001_2 - 37367785516834631046272138/5710585055720397252039, c_1001_2^20 - 27/5*c_1001_2^19 - 12/5*c_1001_2^18 + 319/5*c_1001_2^17 - 462/5*c_1001_2^16 - 899/5*c_1001_2^15 + 2762/5*c_1001_2^14 - 1212/5*c_1001_2^13 - 1798/5*c_1001_2^12 - 733/5*c_1001_2^11 + 878*c_1001_2^10 - 34/5*c_1001_2^9 - 4639/5*c_1001_2^8 + 981/5*c_1001_2^7 + 421*c_1001_2^6 + 559/5*c_1001_2^5 - 1817/5*c_1001_2^4 - 38/5*c_1001_2^3 + 936/5*c_1001_2^2 - 452/5*c_1001_2 + 67/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.560 Total time: 2.770 seconds, Total memory usage: 32.09MB