1R = QQ[x1, x2, x3, x4, x5]; 2p = 3 x2^4*x3*x4*x5 + 4 -x2^4*x3*x4 + 5 -x2^4*x3*x5 + 6 x2^4*x3 + 7 -x2^4*x4*x5 + 8 x2^4*x4 + 9 x2^4*x5 + 10 -x2^4 + 11 x2^3*x3^2*x4*x5 + 12 -x2^3*x3^2*x4 + 13 -x2^3*x3^2*x5 + 14 x2^3*x3^2 + 15 -x2^3*x3*x4*x5 + 16 x2^3*x3*x4 + 17 x2^3*x3*x5 + 18 -x2^3*x3 + 19 x2^2*x3^2*x4^2*x5 + 20 -x2^2*x3^2*x4^2 + 21 -x2^2*x3^2*x4*x5 + 22 x2^2*x3^2*x4 + 23 x2^2*x3*x4^3*x5^2 + 24 -x2^2*x3*x4^3 + 25 x2^2*x3*x4^2*x5^3 + 26 -x2^2*x3*x4^2*x5^2 + 27 -x2^2*x3*x4^2*x5 + 28 x2^2*x3*x4^2 + 29 x2^2*x3*x4*x5^4 + 30 -x2^2*x3*x4*x5^3 + 31 -x2^2*x3*x5^4 + 32 x2^2*x3*x5 + 33 -x2^2*x4^3*x5^2 + 34 x2^2*x4^3 + 35 -x2^2*x4^2*x5^3 + 36 x2^2*x4^2*x5^2 + 37 -x2^2*x4*x5^4 + 38 x2^2*x4*x5^3 + 39 x2^2*x4*x5 + 40 -x2^2*x4 + 41 x2^2*x5^4 + 42 -x2^2*x5 + 43 x2*x3^2*x4^2*x5^3 + 44 -x2*x3^2*x4^2*x5 + 45 -x2*x3^2*x5^3 + 46 x2*x3^2*x5 + 47 x2*x3*x4^4*x5^2 + 48 -x2*x3*x4^4 + 49 -x2*x3*x4^3*x5^2 + 50 x2*x3*x4^3 + 51 -x2*x3*x4^2*x5^3 + 52 x2*x3*x4^2*x5 + 53 x2*x3*x5^3 + 54 -x2*x3*x5 + 55 -x2*x4^4*x5^2 + 56 x2*x4^4 + 57 x2*x4^3*x5^2 + 58 -x2*x4^3 + 59 -x3^2*x4^2*x5^3 + 60 x3^2*x4^2 + 61 x3^2*x5^3 + 62 -x3^2 + 63 -x3*x4^4*x5^2 + 64 x3*x4^4 + 65 x3*x4^2*x5^2 + 66 -x3*x4^2 + 67 -x3*x4*x5^4 + 68 x3*x4*x5^3 + 69 x3*x5^4 + 70 -x3*x5^3 + 71 x4^4*x5^2 + 72 -x4^4 + 73 x4^2*x5^3 + 74 -x4^2*x5^2 + 75 x4*x5^4 + 76 -x4*x5^3 + 77 -x5^4 + 78 1; 79