timer=1;
int t=timer;
ring R = 0,(a,b,c,d,e,f,g,h,i,j,k,l,m,n), (dp(14));
print("interface(quiet=true):");
print("with(linalg):");
print("readlib(realroot):");
print("");
ideal I =
-7908027021468*a-6026540940*i-17793060798303*b-1098337086315*f+301327047*l-\
4782969*n-3720087*m-8135830269*j-732224724210*e+229582512*k+3514678676208*c+
86782189536*g+122037454035*h+5931020266101*d+n*k-63*n*i+1701*n*g-25515*n*e+
229635*n*c+2268*l*i-l*m-1240029*n*a-81648*l*g+1377810*l*e-13226976*l*c+74401740
*l*a+63*j*m-2268*j*k+1285956*j*g-28934010*j*e+312487308*j*c-1874923848*j*a-1701
*h*m+81648*h*k-1285956*h*i+260406090*h*e-3749847696*h*c+25311471948*h*a+25515*f
*m-1377810*f*k+28934010*f*i-260406090*f*g+21092893290*f*c-189836039610*f*a-\
229635*d*m+13226976*d*k-312487308*d*i+3749847696*d*g-21092893290*d*e+
683409742596*d*a+1240029*b*m-74401740*b*k+1874923848*b*i-25311471948*b*g+
189836039610*b*e-683409742596*b*c+22876792454961   ,
-14880348*a-918540*i-11160261*b-6200145*f+45927*l-2187*n-5103*m-413343*j-\
12400290*e+104976*k+19840464*c+4408992*g+2066715*h+11160261*d+4782969+n*k-21*n*
i+189*n*g-945*n*e+2835*n*c+252*l*i-l*m-5103*n*a-3024*l*g+17010*l*e-54432*l*c+
102060*l*a+21*j*m-252*j*k+15876*j*g-119070*j*e+428652*j*c-857304*j*a-189*h*m+
3024*h*k-15876*h*i+357210*h*e-1714608*h*c+3857868*h*a+945*f*m-17010*f*k+119070*
f*i-357210*f*g+3214890*f*c-9644670*f*a-2835*d*m+54432*d*k-428652*d*i+1714608*d*
g-3214890*d*e+11573604*d*a+5103*b*m-102060*b*k+857304*b*i-3857868*b*g+9644670*b
*e-11573604*b*c   ,
-60949905408*a-235146240*i-91424858112*b-12697896960*f+11757312*l-279936*n-\
326592*m-211631616*j-12697896960*e+13436928*k+40633270272*c+2257403904*g+
2116316160*h+45712429056*d+78364164096+n*k-42*n*i+756*n*g-7560*n*e+45360*n*c+
1008*l*i-l*m-163296*n*a-24192*l*g+272160*l*e-1741824*l*c+6531840*l*a+42*j*m-\
1008*j*k+254016*j*g-3810240*j*e+27433728*j*c-109734912*j*a-756*h*m+24192*h*k-\
254016*h*i+22861440*h*e-219469824*h*c+987614208*h*a+7560*f*m-272160*f*k+3810240
*f*i-22861440*f*g+823011840*f*c-4938071040*f*a-45360*d*m+1741824*d*k-27433728*d
*i+219469824*d*g-823011840*d*e+11851370496*d*a+163296*b*m-6531840*b*k+109734912
*b*i-987614208*b*g+4938071040*b*e-11851370496*b*c   ,
1-28*a-140*i-7*b-35*f+7*l-n-7*m-21*j-210*e+48*k+112*c+224*g+35*h+21*d+n*k-7*n*i
+21*n*g-35*n*e+35*n*c+28*l*i-l*m-21*n*a-112*l*g+210*l*e-224*l*c+140*l*a+7*j*m-\
28*j*k+196*j*g-490*j*e+588*j*c-392*j*a-21*h*m+112*h*k-196*h*i+490*h*e-784*h*c+
588*h*a+35*f*m-210*f*k+490*f*i-490*f*g+490*f*c-490*f*a-35*d*m+224*d*k-588*d*i+
784*d*g-490*d*e+196*d*a+21*b*m-140*b*k+392*b*i-588*b*g+490*b*e-196*b*c   ,
-1587429546508288*a-206610467840*i-5556003412779008*b-141734780938240*f+
10330523392*l-105413504*n-52706752*m-433881982464*j-60743477544960*e+5059848192
*k+453551299002368*c+4628074479616*g+10123912924160*h+1190572159881216*d+n*k-98
*n*i+4116*n*g-96040*n*e+1344560*n*c+5488*l*i-l*m-11294304*n*a-307328*l*g+
8067360*l*e-120472576*l*c+1054135040*l*a+98*j*m-5488*j*k+7529536*j*g-263533760*
j*e+4427367168*j*c-41322093568*j*a-4116*h*m+307328*h*k-7529536*h*i+3689472640*h
*e-82644187136*h*c+867763964928*h*a+96040*f*m-8067360*f*k+263533760*f*i-\
3689472640*f*g+723136637440*f*c-10123912924160*f*a-1344560*d*m+120472576*d*k-\
4427367168*d*i+82644187136*d*g-723136637440*d*e+56693912375296*d*a+11294304*b*m
-1054135040*b*k+41322093568*b*i-867763964928*b*g+10123912924160*b*e-\
56693912375296*b*c+11112006825558016   ,
-387556041628*a-807072140*i-678223072849*b-69206436005*f+40353607*l-823543*n-\
823543*m-847425747*j-59319802290*e+39530064*k+221460595216*c+9039207968*g+
9886633715*h+290667031221*d+678223072849+n*k-49*n*i+1029*n*g-12005*n*e+84035*n*
c+1372*l*i-l*m-352947*n*a-38416*l*g+504210*l*e-3764768*l*c+16470860*l*a+49*j*m-\
1372*j*k+470596*j*g-8235430*j*e+69177612*j*c-322828856*j*a-1029*h*m+38416*h*k-\
470596*h*i+57648010*h*e-645657712*h*c+3389702988*h*a+12005*f*m-504210*f*k+
8235430*f*i-57648010*f*g+2824752490*f*c-19773267430*f*a-84035*d*m+3764768*d*k-\
69177612*d*i+645657712*d*g-2824752490*d*e+55365148804*d*a+352947*b*m-16470860*b
*k+322828856*b*i-3389702988*b*g+19773267430*b*e-55365148804*b*c   ,
-652346383429468*a-114202300940*i-2120125746145771*b-62725613791295*f+
5710115047*l-62748517*n-33787663*m-222694486833*j-28950283288290*e+3011928816*k
+200721964132144*c+2375407859552*g+4825047214715*h+489259787572101*d+
3937376385699289+n*k-91*n*i+3549*n*g-76895*n*e+999635*n*c+4732*l*i-l*m-7797153*
n*a-246064*l*g+5997810*l*e-83169632*l*c+675753260*l*a+91*j*m-4732*j*k+5597956*j
*g-181933570*j*e+2838163692*j*c-24597418664*j*a-3549*h*m+246064*h*k-5597956*h*i
+2365136410*h*e-49194837328*h*c+479649663948*h*a+76895*f*m-5997810*f*k+
181933570*f*i-2365136410*f*g+399708053290*f*c-5196204692770*f*a-999635*d*m+
83169632*d*k-2838163692*d*i+49194837328*d*g-399708053290*d*e+27020264402404*d*a
+7797153*b*m-675753260*b*k+24597418664*b*i-479649663948*b*g+5196204692770*b*e-\
27020264402404*b*c   ,
-469762048*a-9175040*i-469762048*b-146800640*f+458752*l-16384*n-28672*m-5505024
*j-220200960*e+786432*k+469762048*c+58720256*g+36700160*h+352321536*d+n*k-28*n*
i+336*n*g-2240*n*e+8960*n*c+448*l*i-l*m-21504*n*a-7168*l*g+53760*l*e-229376*l*c
+573440*l*a+28*j*m-448*j*k+50176*j*g-501760*j*e+2408448*j*c-6422528*j*a-336*h*m
+7168*h*k-50176*h*i+2007040*h*e-12845056*h*c+38535168*h*a+2240*f*m-53760*f*k+
501760*f*i-2007040*f*g+32112640*f*c-128450560*f*a-8960*d*m+229376*d*k-2408448*d
*i+12845056*d*g-32112640*d*e+205520896*d*a+21504*b*m-573440*b*k+6422528*b*i-\
38535168*b*g+128450560*b*e-205520896*b*c+268435456   ,
-114688*a-35840*i-57344*b-71680*f+1792*l-128*n-448*m-10752*j-215040*e+6144*k+
229376*c+114688*g+35840*h+86016*d+n*k-14*n*i+84*n*g-280*n*e+560*n*c+112*l*i-l*m
-672*n*a-896*l*g+3360*l*e-7168*l*c+8960*l*a+14*j*m-112*j*k+3136*j*g-15680*j*e+
37632*j*c-50176*j*a-84*h*m+896*h*k-3136*h*i+31360*h*e-100352*h*c+150528*h*a+280
*f*m-3360*f*k+15680*f*i-31360*f*g+125440*f*c-250880*f*a-560*d*m+7168*d*k-37632*
d*i+100352*d*g-125440*d*e+200704*d*a+672*b*m-8960*b*k+50176*b*i-150528*b*g+
250880*b*e-200704*b*c+16384   ,
-87875994548188*a-30010243340*i-241658985007517*b-9985908471385*f+1500512167*l-\
19487171*n-12400927*m-49516901511*j-5446859166210*e+935384208*k+31954907108432*
c+528180282784*g+907809861035*h+65906995911141*d+n*k-77*n*i+2541*n*g-46585*n*e+
512435*n*c+3388*l*i-l*m-3382071*n*a-149072*l*g+3074610*l*e-36075424*l*c+
248018540*l*a+77*j*m-3388*j*k+2869636*j*g-78914990*j*e+1041677868*j*c-\
7638971032*j*a-2541*h*m+149072*h*k-2869636*h*i+868064890*h*e-15277942064*h*c+
126043022028*h*a+46585*f*m-3074610*f*k+78914990*f*i-868064890*f*g+105035851690*
f*c-1155394368590*f*a-512435*d*m+36075424*d*k-1041677868*d*i+15277942064*d*g-\
105035851690*d*e+5083735221796*d*a+3382071*b*m-248018540*b*k+7638971032*b*i-\
126043022028*b*g+1155394368590*b*e-5083735221796*b*c+379749833583241   ,
-1924145348608*a-2348810240*i-3848290697216*b-300647710720*f+117440512*l-\
2097152*n-1835008*m-2818572288*j-225485783040*e+100663296*k+962072674304*c+
30064771072*g+37580963840*h+1443109011456*d+n*k-56*n*i+1344*n*g-17920*n*e+
143360*n*c+1792*l*i-l*m-688128*n*a-57344*l*g+860160*l*e-7340032*l*c+36700160*l*
a+56*j*m-1792*j*k+802816*j*g-16056320*j*e+154140672*j*c-822083584*j*a-1344*h*m+
57344*h*k-802816*h*i+128450560*h*e-1644167168*h*c+9865003008*h*a+17920*f*m-\
860160*f*k+16056320*f*i-128450560*f*g+8220835840*f*c-65766686720*f*a-143360*d*m
+7340032*d*k-154140672*d*i+1644167168*d*g-8220835840*d*e+210453397504*d*a+
688128*b*m-36700160*b*k+822083584*b*i-9865003008*b*g+65766686720*b*e-\
210453397504*b*c+4398046511104   ,
-6835937500*a-54687500*i-8544921875*b-1708984375*f+2734375*l-78125*n-109375*m-\
41015625*j-2050781250*e+3750000*k+5468750000*c+437500000*g+341796875*h+
5126953125*d+n*k-35*n*i+525*n*g-4375*n*e+21875*n*c+700*l*i-l*m-65625*n*a-14000*
l*g+131250*l*e-700000*l*c+2187500*l*a+35*j*m-700*j*k+122500*j*g-1531250*j*e+
9187500*j*c-30625000*j*a-525*h*m+14000*h*k-122500*h*i+7656250*h*e-61250000*h*c+
229687500*h*a+4375*f*m-131250*f*k+1531250*f*i-7656250*f*g+191406250*f*c-\
957031250*f*a-21875*d*m+700000*d*k-9187500*d*i+61250000*d*g-191406250*d*e+
1914062500*d*a+65625*b*m-2187500*b*k+30625000*b*i-229687500*b*g+957031250*b*e-\
1914062500*b*c+6103515625   ,
-28000000000000*a-14000000000*i-70000000000000*b-3500000000000*f+700000000*l-\
10000000*n-7000000*m-21000000000*j-2100000000000*e+480000000*k+11200000000000*c
+224000000000*g+350000000000*h+21000000000000*d+n*k-70*n*i+2100*n*g-35000*n*e+
350000*n*c+2800*l*i-l*m-2100000*n*a-112000*l*g+2100000*l*e-22400000*l*c+
140000000*l*a+70*j*m-2800*j*k+1960000*j*g-49000000*j*e+588000000*j*c-3920000000
*j*a-2100*h*m+112000*h*k-1960000*h*i+490000000*h*e-7840000000*h*c+58800000000*h
*a+35000*f*m-2100000*f*k+49000000*f*i-490000000*f*g+49000000000*f*c-\
490000000000*f*a-350000*d*m+22400000*d*k-588000000*d*i+7840000000*d*g-\
49000000000*d*e+1960000000000*d*a+2100000*b*m-140000000*b*k+3920000000*b*i-\
58800000000*b*g+490000000000*b*e-1960000000000*b*c+100000000000000   ,
-249650812551168*a-60197437440*i-748952437653504*b-26005292974080*f+3009871872*
l-35831808*n-20901888*m-108355387392*j-13002646487040*e+1719926784*k+
83216937517056*c+1155790798848*g+2167107747840*h+187238109413376*d+n*k-84*n*i+
3024*n*g-60480*n*e+725760*n*c+4032*l*i-l*m-5225472*n*a-193536*l*g+4354560*l*e-\
55738368*l*c+418037760*l*a+84*j*m-4032*j*k+4064256*j*g-121927680*j*e+1755758592
*j*c-14046068736*j*a-3024*h*m+193536*h*k-4064256*h*i+1463132160*h*e-28092137472
*h*c+252829237248*h*a+60480*f*m-4354560*f*k+121927680*f*i-1463132160*f*g+
210691031040*f*c-2528292372480*f*a-725760*d*m+55738368*d*k-1755758592*d*i+
28092137472*d*g-210691031040*d*e+12135803387904*d*a+5225472*b*m-418037760*b*k+
14046068736*b*i-252829237248*b*g+2528292372480*b*e-12135803387904*b*c+
1283918464548864   ,
0;
ideal G = std(I);
dim(G);
mult(G);
timer-t;
print(G);
quit;