1R = QQ[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15];
2I = monomialIdeal(
3 x1^9135*x2^7638*x3^4261*x4^4688*x5^1394*x6^3187*x7^7073*x8^7587*x9^6917*x10^8318*x11^5112*x12^7062*x13^736*x14^1710*x15^7520,
4 x1^5187*x2^9774*x3^140*x4^834*x5^6572*x6^8919*x7^7681*x8^2980*x9^2707*x10^2354*x11^7517*x12^6331*x13^8062*x14^7081*x15^4620,
5 x1^8605*x2^5101*x3^8521*x4^5095*x5^5271*x6^3016*x7^763*x8^6262*x9^7529*x10^666*x11^7906*x12^1656*x13^8921*x14^945*x15^5118,
6 x1^208*x2^2465*x3^4260*x4^4959*x5^9860*x6^9979*x7^4893*x8^2370*x9^7012*x10^8632*x11^131*x12^8029*x13^657*x14^3799*x15^5525,
7 x1^3824*x2^4018*x3^6356*x4^1789*x5^8371*x6^434*x7^3087*x8^1498*x9^3067*x10^6423*x11^3707*x12^1881*x13^5332*x14^5716*x15^2937,
8 x1^6436*x2^8831*x3^2772*x4^4584*x5^7007*x6^7250*x7^2972*x8^8242*x9^7648*x10^2629*x11^298*x12^4885*x13^9687*x14^7415*x15^8020,
9 x1^1288*x2^2402*x3^6473*x4^7730*x5^7486*x6^6421*x7^3734*x8^4091*x9^1269*x10^8427*x11^6182*x12^7945*x13^9392*x14^4973*x15^2175,
10 x1^9486*x2^5703*x3^2604*x4^9572*x5^3204*x6^653*x7^775*x8^6366*x9^7763*x10^8923*x11^260*x12^1515*x13^2217*x14^3295*x15^5279,
11 x1^2179*x2^5630*x3^6062*x4^7132*x5^8930*x6^9308*x7^6617*x8^4118*x9^6753*x10^6151*x11^4958*x12^994*x13^6891*x14^5686*x15^3187,
12 x1^7924*x2^7114*x3^5611*x4^6765*x5^3540*x6^9625*x7^4468*x8^9636*x9^5106*x10^1988*x11^1447*x12^5869*x13^3525*x14^1701*x15^8146,
13 x1^3769*x2^4148*x3^5877*x4^1604*x5^2085*x6^8334*x7^4047*x8^8587*x9^9804*x10^1839*x11^4874*x12^3063*x13^8653*x14^972*x15^6861,
14 x1^8920*x2^8878*x3^5731*x4^1325*x5^13*x6^8409*x7^6749*x8^15*x9^4842*x10^4130*x11^7010*x12^8031*x13^9238*x14^7374*x15^897,
15 x1^6899*x2^5059*x3^9644*x4^2968*x5^4687*x6^3697*x7^8053*x8^6792*x9^6057*x10^7304*x11^4725*x12^905*x13^1049*x14^8280*x15^9313,
16 x1^5902*x2^4009*x3^827*x4^1643*x5^9717*x6^2515*x7^4072*x8^4860*x9^292*x10^1911*x11^181*x12^7349*x13^9521*x14^1029*x15^6152,
17 x1^1320*x2^9239*x3^5895*x4^5995*x5^9758*x6^1462*x7^5239*x8^8205*x9^5205*x10^7053*x11^7328*x12^8891*x13^8629*x14^3674*x15^9723,
18 x1^9013*x2^2930*x3^2116*x4^3902*x5^2902*x6^5592*x7^8843*x8^4906*x9^6200*x10^4568*x11^9334*x12^5945*x13^7126*x14^6684*x15^962,
19 x1^4975*x2^2731*x3^1528*x4^6110*x5^272*x6^934*x7^3218*x8^5038*x9^5587*x10^5886*x11^3868*x12^9233*x13^7993*x14^537*x15^5598,
20 x1^9444*x2^5572*x3^2765*x4^7301*x5^2920*x6^8259*x7^6524*x8^961*x9^9884*x10^4340*x11^4993*x12^1441*x13^1695*x14^2952*x15^7380,
21 x1^2927*x2^9489*x3^1844*x4^554*x5^8832*x6^8066*x7^5555*x8^5624*x9^4696*x10^8179*x11^4579*x12^3255*x13^245*x14^1173*x15^6766,
22 x1^2679*x2^114*x3^4918*x4^7277*x5^5521*x6^4862*x7^8938*x8^5496*x9^9356*x10^9516*x11^5592*x12^3306*x13^5005*x14^4570*x15^1902,
23 x1^9357*x2^1787*x3^6656*x4^3358*x5^1053*x6^4399*x7^5601*x8^4420*x9^8584*x10^8229*x11^8243*x12^9175*x13^4355*x14^6201*x15^9955,
24 x1^4781*x2^1690*x3^5821*x4^6272*x5^4787*x6^4569*x7^8804*x8^2416*x9^1379*x10^8603*x11^9195*x12^7106*x13^5375*x14^5742*x15^3528,
25 x1^22*x2^2983*x3^3583*x4^4210*x5^4167*x6^2246*x7^6418*x8^7456*x9^7069*x10^2100*x11^3373*x12^7473*x13^6560*x14^6744*x15^2134,
26 x1^2099*x2^3779*x3^7093*x4^9149*x5^9358*x6^1791*x7^7494*x8^2549*x9^1848*x10^3145*x11^8988*x12^1793*x13^2918*x14^9970*x15^8208,
27 x1^6729*x2^140*x3^4391*x4^2709*x5^9073*x6^7245*x7^7085*x8^310*x9^4736*x10^3022*x11^552*x12^8615*x13^4140*x14^679*x15^4405,
28 x1^6509*x2^1466*x3^5839*x4^584*x5^1343*x6^2113*x7^3479*x8^8331*x9^6832*x10^8208*x11^481*x12^2152*x13^442*x14^87*x15^4509,
29 x1^8978*x2^7275*x3^7722*x4^4540*x5^9361*x6^4512*x7^5018*x8^9173*x9^3643*x10^3027*x11^1034*x12^6678*x13^5835*x14^1375*x15^1690,
30 x1^3682*x2^9036*x3^3727*x4^5608*x5^457*x6^4649*x7^9521*x8^8852*x9^584*x10^5497*x11^8599*x12^4817*x13^1967*x14^5475*x15^2699,
31 x1^8956*x2^8505*x3^5835*x4^4000*x5^6905*x6^3728*x7^6432*x8^2380*x9^1492*x10^8330*x11^1940*x12^6755*x13^3404*x14^3952*x15^6890,
32 x1^230*x2^9837*x3^2459*x4^7056*x5^6018*x6^630*x7^5336*x8^2481*x9^6429*x10^7812*x11^7413*x12^3415*x13^9943*x14^2907*x15^684,
33 x1^6082*x2^8859*x3^6654*x4^9250*x5^8692*x6^7709*x7^5497*x8^65*x9^8330*x10^5516*x11^2913*x12^363*x13^2723*x14^7488*x15^348,
34 x1^9905*x2^191*x3^2369*x4^2703*x5^8512*x6^5174*x7^5292*x8^1273*x9^7327*x10^7710*x11^8547*x12^2*x13^3467*x14^2875*x15^9433,
35 x1^2685*x2^3090*x3^9801*x4^5962*x5^6961*x6^455*x7^6816*x8^6926*x9^8188*x10^2042*x11^3596*x12^7906*x13^2495*x14^525*x15^9390,
36 x1^5935*x2^5057*x3^4185*x4^3600*x5^8996*x6^7917*x7^1275*x8^6455*x9^4365*x10^4748*x11^927*x12^5132*x13^2823*x14^4641*x15^2730,
37 x1^3204*x2^857*x3^4118*x4^8448*x5^5881*x6^1265*x7^7917*x8^1095*x9^4408*x10^6814*x11^1160*x12^9850*x13^9433*x14^7187*x15^6032,
38 x1^3731*x2^5110*x3^4445*x4^1731*x5^5517*x6^1140*x7^4479*x8^6488*x9^5331*x10^7489*x11^1213*x12^4567*x13^4846*x14^1370*x15^969,
39 x1^3908*x2^1400*x3^9291*x4^4026*x5^6617*x6^5597*x7^51*x8^1676*x9^668*x10^3276*x11^3071*x12^4606*x13^9073*x14^1340*x15^2620,
40 x1^3843*x2^1564*x3^4096*x4^2776*x5^925*x6^6601*x7^8987*x8^3839*x9^2559*x10^7316*x11^8082*x12^5928*x13^4384*x14^3178*x15^8567,
41 x1^2240*x2^7987*x3^3516*x4^9417*x5^6012*x6^8447*x7^2877*x8^2249*x9^6179*x10^5022*x11^5325*x12^2291*x13^4634*x14^5445*x15^7740,
42 x1^6392*x2^724*x3^6272*x4^2467*x5^4787*x6^201*x7^8704*x8^767*x9^6576*x10^7937*x11^8714*x12^9599*x13^386*x14^8124*x15^1528,
43 x1^5582*x2^2611*x3^2181*x4^9306*x5^901*x6^8557*x7^5277*x8^7347*x9^5184*x10^9832*x11^8891*x12^4292*x13^8165*x14^647*x15^8326,
44 x1^4852*x2^4111*x3^9812*x4^4767*x5^7629*x6^1679*x7^5205*x8^6287*x9^141*x10^6677*x11^338*x12^5549*x13^3499*x14^8961*x15^1615,
45 x1^8049*x2^2490*x3^6401*x4^3891*x5^3513*x6^6205*x7^3487*x8^648*x9^4376*x10^4221*x11^8952*x12^8252*x13^1952*x14^8116*x15^7570,
46 x1^9910*x2^2665*x3^9146*x4^8215*x5^756*x6^9106*x7^7710*x8^4062*x9^191*x10^5306*x11^5428*x12^6061*x13^7393*x14^4145*x15^6141,
47 x1^3008*x2^5118*x3^7573*x4^1374*x5^6374*x6^4480*x7^7847*x8^7167*x9^8137*x10^5468*x11^7105*x12^8063*x13^4809*x14^382*x15^7483,
48 x1^8859*x2^4272*x3^4682*x4^255*x5^4377*x6^4285*x7^4472*x8^4530*x9^8413*x10^3235*x11^9231*x12^7463*x13^5662*x14^8508*x15^3645,
49 x1^3523*x2^4168*x3^9857*x4^1500*x5^405*x6^7267*x7^4002*x8^5188*x9^9075*x10^1460*x11^6547*x12^8153*x13^3764*x14^7031*x15^4885,
50 x1^4104*x2^5133*x3^7498*x4^3799*x5^309*x6^7067*x7^3835*x8^1746*x9^2137*x10^1472*x11^9581*x12^6035*x13^205*x14^567*x15^6580,
51 x1^8575*x2^3152*x3^9571*x4^3379*x5^9619*x6^5912*x7^6331*x8^7202*x9^77*x10^751*x11^6720*x12^7345*x13^2658*x14^3951*x15^826,
52 x1^2931*x2^7916*x3^4335*x4^6894*x5^5995*x6^4708*x7^508*x8^2011*x9^5970*x10^6679*x11^1813*x12^4816*x13^9815*x14^7887*x15^550
53);
54