Magma V2.19-8 Tue Aug 20 2013 23:48:45 on localhost [Seed = 1090989030] Type ? for help. Type -D to quit. Loading file "L12a896__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a896 geometric_solution 10.80729803 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 1 0132 0132 0132 2031 0 1 1 0 0 1 0 -1 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 -3 0 3 0 0 -1 1 0 1 0 -1 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.921616174008 1.070525117161 0 0 5 4 0132 1302 0132 0132 1 1 0 1 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 -1 1 0 0 0 0 0 4 -3 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538129703380 0.536496393344 6 0 8 7 0132 0132 0132 0132 0 0 0 1 0 -1 1 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 3 -3 0 0 0 0 0 0 -4 0 4 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.045576993770 0.925511529000 4 7 9 0 0132 1023 0132 0132 0 1 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 -1 1 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527992736831 0.522497137352 3 10 1 6 0132 0132 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 -4 4 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.156729417080 0.807653416763 10 10 9 1 3012 0213 3120 0132 1 1 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 0 0 0 0 0 0 1 -1 0 0 0 0 -4 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.620606979209 0.793010771828 2 8 9 4 0132 3120 3012 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 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.761465331376 1.118880172509 3 11 2 11 1023 0132 0132 2310 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 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.983758659362 0.770873336775 9 6 10 2 0213 3120 3201 0132 0 0 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 1 -4 3 -1 0 1 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.000831198563 0.755740137774 8 6 5 3 0213 1230 3120 0132 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 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645399192078 0.618712815911 8 4 5 5 2310 0132 0213 1230 1 1 0 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 0 0 0 -1 0 -3 4 -1 1 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.620606979209 0.793010771828 7 7 11 11 3201 0132 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.537833096753 0.203026377927 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_11']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_10'], 'c_1001_4' : d['c_0101_5'], 'c_1001_7' : negation(d['c_0101_11']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0101_11']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_1001_10']), 'c_1001_8' : negation(d['c_0011_5']), 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : d['c_0101_5'], 's_0_10' : d['1'], 's_3_10' : 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_5'], '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' : negation(d['c_0101_5']), 'c_1100_8' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0011_8']), 'c_1100_4' : negation(d['c_0011_8']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_1001_10'], 'c_1100_1' : negation(d['c_0011_8']), 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_0011_10']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_11'], 'c_1100_10' : d['c_0101_1'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0110_11']), 'c_1010_6' : negation(d['c_0011_8']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : negation(d['c_0101_11']), 'c_1010_2' : negation(d['c_0101_11']), 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0101_6'], 'c_1010_8' : negation(d['c_0011_0']), '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' : negation(d['c_0011_5']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0011_5'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : negation(d['c_0011_5']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_2']), 'c_0110_8' : d['c_0101_2'], '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_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_7' : negation(d['c_0101_11']), 'c_0110_6' : d['c_0101_2']})} 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_5, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_5, c_0101_6, c_0110_11, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 8807840759502790628707151305814189/56263370895817182130899475813634\ 38*c_1001_10^16 + 6745770006340505974296443753613887/13238440210780\ 51344256458254438456*c_1001_10^15 - 583690433297445689554827561278611279/225053483583268728523597903254\ 53752*c_1001_10^14 + 26200002225659209691280419053035257/1323844021\ 078051344256458254438456*c_1001_10^13 + 89113379013045502084160821222714755/2250534835832687285235979032545\ 3752*c_1001_10^12 - 250106888228331070496868651103883523/2250534835\ 8326872852359790325453752*c_1001_10^11 + 2389080853555116463978984115377707099/22505348358326872852359790325\ 453752*c_1001_10^10 + 10266997007007554271381108112009130081/225053\ 48358326872852359790325453752*c_1001_10^9 + 3080656299023077979630431551978574105/22505348358326872852359790325\ 453752*c_1001_10^8 - 11013776196843783017989124214388313571/2250534\ 8358326872852359790325453752*c_1001_10^7 - 24892261723562432957860494948680967397/2250534835832687285235979032\ 5453752*c_1001_10^6 - 21717509679682557294514292922616605317/225053\ 48358326872852359790325453752*c_1001_10^5 - 26253419174441912740638152193343509849/2250534835832687285235979032\ 5453752*c_1001_10^4 - 28709899589898253216236422501051641163/225053\ 48358326872852359790325453752*c_1001_10^3 - 25109443899016532262253995982445349967/2250534835832687285235979032\ 5453752*c_1001_10^2 - 11302424941855700565008251751651422799/225053\ 48358326872852359790325453752*c_1001_10 - 3647105806975027595831442859673831833/22505348358326872852359790325\ 453752, c_0011_0 - 1, c_0011_10 - 827516850207601403156075/202512060536526121054138013*c_1001\ _10^16 + 4465268174079558739150402/202512060536526121054138013*c_10\ 01_10^15 - 21193323154966252214677162/202512060536526121054138013*c\ _1001_10^14 + 46555215933745326278577376/20251206053652612105413801\ 3*c_1001_10^13 - 52783427636830412214342908/20251206053652612105413\ 8013*c_1001_10^12 + 30555273068855225864315884/20251206053652612105\ 4138013*c_1001_10^11 + 57445847892512241821808685/20251206053652612\ 1054138013*c_1001_10^10 + 91576519947944509373381171/20251206053652\ 6121054138013*c_1001_10^9 - 289150406125323716417435853/20251206053\ 6526121054138013*c_1001_10^8 - 18854551667658317351787453/202512060\ 536526121054138013*c_1001_10^7 - 206325743292068136097133870/202512\ 060536526121054138013*c_1001_10^6 + 251292132633148837051166422/202512060536526121054138013*c_1001_10^5 - 197901228616498351575228100/202512060536526121054138013*c_1001_10\ ^4 + 142169153789341736802542520/202512060536526121054138013*c_1001\ _10^3 - 45251334136036103374695299/202512060536526121054138013*c_10\ 01_10^2 + 300157438702096712195299691/202512060536526121054138013*c\ _1001_10 - 47808350855510466674149475/202512060536526121054138013, c_0011_5 + 508076433985573064897637/202512060536526121054138013*c_1001_\ 10^16 - 1532466684435137209831234/202512060536526121054138013*c_100\ 1_10^15 + 6671321486670060249081442/202512060536526121054138013*c_1\ 001_10^14 + 1381724304067366021674795/202512060536526121054138013*c\ _1001_10^13 - 30538053927818142525941150/20251206053652612105413801\ 3*c_1001_10^12 + 45950556153634540112661818/20251206053652612105413\ 8013*c_1001_10^11 - 59338542243625858407788208/20251206053652612105\ 4138013*c_1001_10^10 - 167079746074697862223686119/2025120605365261\ 21054138013*c_1001_10^9 + 51354227862165393984081753/20251206053652\ 6121054138013*c_1001_10^8 + 391213725623643154192404910/20251206053\ 6526121054138013*c_1001_10^7 + 210754511387384625302968067/20251206\ 0536526121054138013*c_1001_10^6 + 77280730385057643171497358/202512\ 060536526121054138013*c_1001_10^5 - 50148805595736520942928578/202512060536526121054138013*c_1001_10^4 + 298311668629805482922904218/202512060536526121054138013*c_1001_10^3 - 22029723850761131801977700/202512060536526121054138013*c_1001_10^\ 2 - 297725009360331588234452645/202512060536526121054138013*c_1001_\ 10 - 138941412970710934547718729/202512060536526121054138013, c_0011_8 - 2541537818025663514872679/202512060536526121054138013*c_1001\ _10^16 + 10855552695353596448249457/202512060536526121054138013*c_1\ 001_10^15 - 50245519768084699089637476/202512060536526121054138013*\ c_1001_10^14 + 72228127979830475070361370/2025120605365261210541380\ 13*c_1001_10^13 - 14225861740796312977155529/2025120605365261210541\ 38013*c_1001_10^12 - 64227437133131908986093225/2025120605365261210\ 54138013*c_1001_10^11 + 242470681964102081743506438/202512060536526\ 121054138013*c_1001_10^10 + 540208172659738446599824082/20251206053\ 6526121054138013*c_1001_10^9 - 564519189602632716962334300/20251206\ 0536526121054138013*c_1001_10^8 - 927556005920268751070056632/20251\ 2060536526121054138013*c_1001_10^7 - 643632730360574422442354329/202512060536526121054138013*c_1001_10^6 + 113937408574144916841908491/202512060536526121054138013*c_1001_10\ ^5 - 547055156764495680528111866/202512060536526121054138013*c_1001\ _10^4 - 796399828499792604148739464/202512060536526121054138013*c_1\ 001_10^3 + 51673198920786283224432714/202512060536526121054138013*c\ _1001_10^2 + 432681285959550138536803266/20251206053652612105413801\ 3*c_1001_10 + 89621494314296347140058606/20251206053652612105413801\ 3, c_0101_0 + 1299608624091646631004090/202512060536526121054138013*c_1001\ _10^16 - 6560240163360685147247758/202512060536526121054138013*c_10\ 01_10^15 + 30746622377756522489338064/202512060536526121054138013*c\ _1001_10^14 - 60748244832236839107616267/20251206053652612105413801\ 3*c_1001_10^13 + 54646561198407278878958286/20251206053652612105413\ 8013*c_1001_10^12 - 12598515290047698564735654/20251206053652612105\ 4138013*c_1001_10^11 - 101687577161741958552432084/2025120605365261\ 21054138013*c_1001_10^10 - 209490508451281503873482240/202512060536\ 526121054138013*c_1001_10^9 + 454470190718392795227296475/202512060\ 536526121054138013*c_1001_10^8 + 147521166495913030055984538/202512\ 060536526121054138013*c_1001_10^7 + 192315546977708143352920429/202512060536526121054138013*c_1001_10^6 - 372702547581355899092307363/202512060536526121054138013*c_1001_10\ ^5 + 516783467456933890409460720/202512060536526121054138013*c_1001\ _10^4 + 214291886115495832081423770/202512060536526121054138013*c_1\ 001_10^3 + 29680986285494043186169890/202512060536526121054138013*c\ _1001_10^2 - 396724320425624634407465337/20251206053652612105413801\ 3*c_1001_10 + 239341716510766151891373912/2025120605365261210541380\ 13, c_0101_1 - 1, c_0101_11 + 2541537818025663514872679/202512060536526121054138013*c_100\ 1_10^16 - 10855552695353596448249457/202512060536526121054138013*c_\ 1001_10^15 + 50245519768084699089637476/202512060536526121054138013\ *c_1001_10^14 - 72228127979830475070361370/202512060536526121054138\ 013*c_1001_10^13 + 14225861740796312977155529/202512060536526121054\ 138013*c_1001_10^12 + 64227437133131908986093225/202512060536526121\ 054138013*c_1001_10^11 - 242470681964102081743506438/20251206053652\ 6121054138013*c_1001_10^10 - 540208172659738446599824082/2025120605\ 36526121054138013*c_1001_10^9 + 564519189602632716962334300/2025120\ 60536526121054138013*c_1001_10^8 + 927556005920268751070056632/202512060536526121054138013*c_1001_10^7 + 643632730360574422442354329/202512060536526121054138013*c_1001_10\ ^6 - 113937408574144916841908491/202512060536526121054138013*c_1001\ _10^5 + 547055156764495680528111866/202512060536526121054138013*c_1\ 001_10^4 + 796399828499792604148739464/202512060536526121054138013*\ c_1001_10^3 - 51673198920786283224432714/20251206053652612105413801\ 3*c_1001_10^2 - 432681285959550138536803266/20251206053652612105413\ 8013*c_1001_10 - 89621494314296347140058606/20251206053652612105413\ 8013, c_0101_2 + 181324989265369323861104/202512060536526121054138013*c_1001_\ 10^16 - 423834541161955097225341/202512060536526121054138013*c_1001\ _10^15 + 2018361042518826949462953/202512060536526121054138013*c_10\ 01_10^14 + 2183178681315965605278429/202512060536526121054138013*c_\ 1001_10^13 - 10815542843082794826297964/202512060536526121054138013\ *c_1001_10^12 + 10987865094594105045139053/202512060536526121054138\ 013*c_1001_10^11 - 12963899240820602076703349/202512060536526121054\ 138013*c_1001_10^10 - 69581065002624261320072590/202512060536526121\ 054138013*c_1001_10^9 - 25833552022810326976883760/2025120605365261\ 21054138013*c_1001_10^8 + 157134780669818611840527212/2025120605365\ 26121054138013*c_1001_10^7 + 124296687354993017332863497/2025120605\ 36526121054138013*c_1001_10^6 + 120334693531966086158085723/2025120\ 60536526121054138013*c_1001_10^5 - 37161971674895962556333445/202512060536526121054138013*c_1001_10^4 + 91386060088394047779594803/202512060536526121054138013*c_1001_10^3 - 15473486524436479912664649/202512060536526121054138013*c_1001_10^2 + 82361965511548313589789771/202512060536526121054138013*c_1001_10 - 41507772109111175008241480/202512060536526121054138013, c_0101_5 - 1241929193934016883868589/202512060536526121054138013*c_1001\ _10^16 + 4295312531992911301001699/202512060536526121054138013*c_10\ 01_10^15 - 19498897390328176600299412/202512060536526121054138013*c\ _1001_10^14 + 11479883147593635962745103/20251206053652612105413801\ 3*c_1001_10^13 + 40420699457610965901802757/20251206053652612105413\ 8013*c_1001_10^12 - 76825952423179607550828879/20251206053652612105\ 4138013*c_1001_10^11 + 140783104802360123191074354/2025120605365261\ 21054138013*c_1001_10^10 + 330717664208456942726341842/202512060536\ 526121054138013*c_1001_10^9 - 110048998884239921735037825/202512060\ 536526121054138013*c_1001_10^8 - 780034839424355721014072094/202512\ 060536526121054138013*c_1001_10^7 - 451317183382866279089433900/202512060536526121054138013*c_1001_10^6 - 258765139007210982250398872/202512060536526121054138013*c_1001_10\ ^5 - 30271689307561790118651146/202512060536526121054138013*c_1001_\ 10^4 - 582107942384296772067315694/202512060536526121054138013*c_10\ 01_10^3 + 81354185206280326410602604/202512060536526121054138013*c_\ 1001_10^2 + 35956965533925504129337929/202512060536526121054138013*\ c_1001_10 + 328963210825062499031432518/202512060536526121054138013\ , c_0101_6 - 646191860942232079294971/202512060536526121054138013*c_1001_\ 10^16 + 4041433632917603641925061/202512060536526121054138013*c_100\ 1_10^15 - 19174962112447425265214209/202512060536526121054138013*c_\ 1001_10^14 + 48738394615061291883855805/202512060536526121054138013\ *c_1001_10^13 - 63598970479913207040640872/202512060536526121054138\ 013*c_1001_10^12 + 41543138163449330909454937/202512060536526121054\ 138013*c_1001_10^11 + 44481948651691639745105336/202512060536526121\ 054138013*c_1001_10^10 + 21995454945320248053308581/202512060536526\ 121054138013*c_1001_10^9 - 314983958148134043394319613/202512060536\ 526121054138013*c_1001_10^8 + 138280229002160294488739759/202512060\ 536526121054138013*c_1001_10^7 - 82029055937075118764270373/2025120\ 60536526121054138013*c_1001_10^6 + 371626826165114923209252145/202512060536526121054138013*c_1001_10^5 - 235063200291394314131561545/202512060536526121054138013*c_1001_10\ ^4 + 233555213877735784582137323/202512060536526121054138013*c_1001\ _10^3 - 60724820660472583287359948/202512060536526121054138013*c_10\ 01_10^2 + 180007343677118904730951449/202512060536526121054138013*c\ _1001_10 - 89316122964621641682390955/202512060536526121054138013, c_0110_11 + 2648431913527049397713290/202512060536526121054138013*c_100\ 1_10^16 - 11591172820076643122733761/202512060536526121054138013*c_\ 1001_10^15 + 53784853397630448517177582/202512060536526121054138013\ *c_1001_10^14 - 82861605344025477274487745/202512060536526121054138\ 013*c_1001_10^13 + 33207479394903505603898706/202512060536526121054\ 138013*c_1001_10^12 + 31176041778834536226048177/202512060536526121\ 054138013*c_1001_10^11 - 199068191508393476455507928/20251206053652\ 6121054138013*c_1001_10^10 - 591652941345656349711694053/2025120605\ 36526121054138013*c_1001_10^9 + 635996526963794501477544854/2025120\ 60536526121054138013*c_1001_10^8 + 991708002336761140507385111/202512060536526121054138013*c_1001_10^7 + 677907973951257987614932821/202512060536526121054138013*c_1001_10\ ^6 - 471017547578409794240321631/202512060536526121054138013*c_1001\ _10^5 + 754811043551458430656615216/202512060536526121054138013*c_1\ 001_10^4 + 525838517304962722975997307/202512060536526121054138013*\ c_1001_10^3 - 44311548109663171685453646/20251206053652612105413801\ 3*c_1001_10^2 - 631673270485443785204374213/20251206053652612105413\ 8013*c_1001_10 - 59353361795291702161954845/20251206053652612105413\ 8013, c_1001_10^17 - 4*c_1001_10^16 + 19*c_1001_10^15 - 25*c_1001_10^14 + 7*c_1001_10^13 + 9*c_1001_10^12 - 73*c_1001_10^11 - 241*c_1001_10^10 + 129*c_1001_10^9 + 375*c_1001_10^8 + 469*c_1001_10^7 + 87*c_1001_10^6 + 293*c_1001_10^5 + 279*c_1001_10^4 + 133*c_1001_10^3 - 185*c_1001_10^2 - 120*c_1001_10 - 71 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.310 seconds, Total memory usage: 32.09MB