#n = 4, 2d = 28, t = 50, bit size = 183598, time = 41.14
p11384 := 41 + 2051*x1^2*x2^16*x3^8 + 1446*x1^6*x2^2*x3^4 + 1543*x0^14*x1^4*x2^4*x3^6 + 1285*x0^14*x1^12 + 59*x0^8*x1^4*x2^4*x3^4 + 138*x0^8*x1^6*x2^6*x3^4 + 75*x0^6*x1^6*x2^4*x3^4 - 72*x0^6*x1^5*x2^2*x3^3 + 193*x0^5*x1^5*x2^3*x3^3 - 107*x0^5*x1^3*x2^5*x3^4 - 57*x0^3*x1^4*x2^2*x3^2 + 29*x0^5*x1^4*x2^3*x3^2 - 119*x0^6*x1^5*x2^3*x3^3 - 49*x0^5*x1^5*x2^6*x3^4 - 17*x0^4*x1^4*x2^3*x3^3 - 40*x0^7*x1^6*x2^3*x3^3 + 87*x0^8*x1^5*x2^2*x3^3 - 110*x0^7*x1^3*x2^4*x3^4 - 68*x0^6*x1^5*x2^2*x3^2 + 18*x0^5*x1^6*x2^4*x3^3 - 7*x0^7*x1^5*x2^2*x3^3 - 79*x0^6*x1^5*x2^6*x3^4 + 42*x0^2*x1^3*x2^7*x3^4 + 82*x0^5*x1^5*x2^2*x3^3 - 63*x0^8*x1^6*x2^5*x3^4 + 79*x0^5*x1^6*x2^2*x3^2 - 162*x0^9*x1^5*x2^3*x3^4 - 161*x0^4*x1^5*x2^3*x3^3 + 50*x0^5*x1^4*x2^4*x3^3 - 83*x0^5*x1^4*x2^5*x3^3 - 100*x0^5*x1^5*x2^4*x3^3 - 26*x0^6*x1^5*x2^4*x3^4 - 68*x0^4*x1^4*x2^5*x3^3 + 33*x0^6*x1^5*x2^5*x3^4 - 146*x0^3*x1^3*x2^6*x3^4 - 37*x0^6*x1^5*x2^5*x3^3 + 316*x0^9*x1^6*x2^5*x3^4 + 11*x0^5*x1^5*x2^3*x3^4 - 191*x0^4*x1^5*x2^7*x3^4 + 60*x0^7*x1^6*x2^3*x3^2 + 55*x0^4*x1^4*x2^5*x3^4 + 15*x0^4*x1^4*x2^2*x3^3 - 65*x0^6*x1^7*x2^4*x3^3 + 141*x0^10*x1^8*x2^4*x3^3 + 71*x0^7*x1^6*x2^5*x3^3 - 180*x0^6*x1^5*x2^3*x3^4 - 23*x0^9*x1^4*x2^3*x3^4 + 111*x0^7*x1^7*x2^3*x3^2 - 37*x0^6*x1^3*x2^2*x3^3 + 82673/32768;
#n = 10, 2d = 6, t = 20, bit size = 3387, time = 0.72
p18084 := 13 + 287*x8^4 + 7*x6^6 + 175*x4^2*x6^2*x9^2 + 278*x3^2*x5^2 + 185*x2^2 + 168*x2^2*x9^4 + 217*x2^2*x6^2*x7^2 + 197*x1^2*x4^2*x6^2 + 295*x1^2*x2^2*x7^2 + 242*x0^2*x4^2 + 254*x0^2*x4^2*x8^2 + 364*x0^2*x4^2*x7^2 + 152*x0^4*x8^2 + 140*x0^4*x6^2 + 17*x0^4*x3^2 + 149*x0^4*x2^2 - 105*x0^1*x4^1*x6^1 + 130*x0^2*x4^1*x6^1 + 88*x0^1*x6^1*x8^1 - 772413/65536;
#n = 3, 2d = 10, t = 50, bit size = 182905, time = 37.79
p5333 := 695 + 94*x0^10 + 3560*x1^10 + 2734*x2^10 - 179*x0^1*x1^1*x2^3 - 84*x0^1*x1^1*x2^5 + 50*x0^1*x1^1*x2^6 - 125*x0^1*x1^2*x2^2 - 106*x0^1*x1^2*x2^3 - 91*x0^1*x1^2*x2^5 + 55*x0^1*x1^2*x2^6 + 229*x0^1*x1^3*x2^3 + 4*x0^1*x1^3*x2^4 - 112*x0^1*x1^4*x2^4 + 54*x0^1*x1^5*x2^1 - 60*x0^1*x1^5*x2^3 - 2*x0^1*x1^6*x2^1 + 118*x0^1*x1^7*x2^1 - 75*x0^2*x1^1*x2^1 + 1*x0^2*x1^1*x2^2 - 88*x0^2*x1^1*x2^3 - 16*x0^2*x1^1*x2^6 + 26*x0^2*x1^2*x2^1 - 99*x0^2*x1^2*x2^2 - 34*x0^2*x1^2*x2^3 - 24*x0^2*x1^3*x2^2 - 64*x0^2*x1^4*x2^2 - 119*x0^2*x1^4*x2^3 - 142*x0^2*x1^5*x2^2 - 15*x0^2*x1^6*x2^1 - 27*x0^3*x1^1*x2^1 + 223*x0^3*x1^1*x2^3 - 243*x0^3*x1^1*x2^5 + 11*x0^3*x1^2*x2^1 + 37*x0^3*x1^2*x2^3 + 136*x0^3*x1^2*x2^4 + 50*x0^3*x1^3*x2^2 - 84*x0^3*x1^3*x2^3 + 54*x0^4*x1^1*x2^1 - 31*x0^4*x1^1*x2^2 + 77*x0^4*x1^1*x2^3 - 187*x0^4*x1^2*x2^2 + 173*x0^5*x1^1*x2^1 + 147*x0^5*x1^1*x2^2 - 34*x0^5*x1^1*x2^3 + 61*x0^5*x1^2*x2^1 + 5*x0^6*x1^1*x2^1 - 83*x0^6*x1^1*x2^2 + 9*x0^6*x1^2*x2^1 - 52290459/65536;
