1R = QQ[x1, x2, x3, x4, x5]; 2p = 3 x2^15*x3^8*x4*x5 + 4 -x2^15*x3^8*x4 + 5 -x2^15*x3^8*x5 + 6 x2^15*x3^8 + 7 x2^15*x3^5*x4^3*x5 + 8 -x2^15*x3^5*x4^3 + 9 -x2^15*x3^5*x4*x5 + 10 x2^15*x3^5*x4 + 11 x2^15*x3^2*x4^5*x5 + 12 -x2^15*x3^2*x4^5 + 13 -x2^15*x3^2*x4^3*x5 + 14 x2^15*x3^2*x4^3 + 15 -x2^15*x4^5*x5 + 16 x2^15*x4^5 + 17 x2^15*x5 + 18 -x2^15 + 19 x2^14*x3^7*x4*x5^3 + 20 -x2^14*x3^7*x4*x5 + 21 -x2^14*x3^7*x5^3 + 22 x2^14*x3^7*x5 + 23 x2^14*x3^5*x4^2*x5^2 + 24 -x2^14*x3^5*x4^2*x5 + 25 x2^14*x3^5*x4*x5^4 + 26 -x2^14*x3^5*x4*x5^3 + 27 -x2^14*x3^5*x4*x5^2 + 28 x2^14*x3^5*x4*x5 + 29 -x2^14*x3^5*x5^4 + 30 x2^14*x3^5*x5^3 + 31 x2^14*x3^4*x4^2*x5^4 + 32 -x2^14*x3^4*x4^2*x5^2 + 33 -x2^14*x3^4*x4*x5^4 + 34 x2^14*x3^4*x4*x5^2 + 35 x2^14*x3^2*x4^2*x5^5 + 36 -x2^14*x3^2*x4^2*x5^4 + 37 -x2^14*x3^2*x5^5 + 38 x2^14*x3^2*x5^4 + 39 -x2^14*x4^2*x5^5 + 40 x2^14*x4^2*x5 + 41 x2^14*x5^5 + 42 -x2^14*x5 + 43 x2^13*x3^8*x4*x5^3 + 44 -x2^13*x3^8*x4*x5 + 45 -x2^13*x3^8*x5^3 + 46 x2^13*x3^8*x5 + 47 -x2^13*x3^7*x4*x5^3 + 48 x2^13*x3^7*x4*x5 + 49 x2^13*x3^7*x5^3 + 50 -x2^13*x3^7*x5 + 51 x2^12*x3^9*x4*x5^2 + 52 -x2^12*x3^9*x4 + 53 -x2^12*x3^9*x5^2 + 54 x2^12*x3^9 + 55 -x2^12*x3^8*x4*x5^2 + 56 x2^12*x3^8*x4 + 57 x2^12*x3^8*x5^2 + 58 -x2^12*x3^8 + 59 x2^12*x3^5*x4^2*x5^4 + 60 -x2^12*x3^5*x4^2*x5^2 + 61 -x2^12*x3^5*x4*x5^4 + 62 x2^12*x3^5*x4*x5^2 + 63 -x2^12*x3^4*x4^2*x5^4 + 64 x2^12*x3^4*x4^2*x5^2 + 65 x2^12*x3^4*x4*x5^4 + 66 -x2^12*x3^4*x4*x5^2 + 67 x2^11*x3^13*x4*x5 + 68 -x2^11*x3^13*x4 + 69 -x2^11*x3^13*x5 + 70 x2^11*x3^13 + 71 x2^11*x3^11*x4*x5^2 + 72 -x2^11*x3^11*x4*x5 + 73 -x2^11*x3^11*x5^2 + 74 x2^11*x3^11*x5 + 75 -x2^11*x3^9*x4*x5^2 + 76 x2^11*x3^9*x4 + 77 x2^11*x3^9*x5^2 + 78 -x2^11*x3^9 + 79 x2^11*x3^6*x4^3*x5 + 80 -x2^11*x3^6*x4^3 + 81 x2^11*x3^6*x4^2*x5^3 + 82 -x2^11*x3^6*x4^2*x5 + 83 -x2^11*x3^6*x4*x5^3 + 84 x2^11*x3^6*x4 + 85 -x2^11*x3^5*x4^3*x5 + 86 x2^11*x3^5*x4^3 + 87 -x2^11*x3^5*x4^2*x5^3 + 88 x2^11*x3^5*x4^2*x5 + 89 x2^11*x3^5*x4*x5^3 + 90 -x2^11*x3^5*x4 + 91 x2^10*x3^11*x4^3*x5 + 92 -x2^10*x3^11*x4^3 + 93 -x2^10*x3^11*x4*x5 + 94 x2^10*x3^11*x4 + 95 x2^10*x3^10*x4^2*x5^2 + 96 -x2^10*x3^10*x4^2*x5 + 97 -x2^10*x3^10*x4*x5^2 + 98 x2^10*x3^10*x4*x5 + 99 x2^10*x3^8*x4^2*x5^3 + 100 -x2^10*x3^8*x4^2*x5^2 + 101 -x2^10*x3^8*x4*x5^3 + 102 x2^10*x3^8*x4*x5^2 + 103 -x2^10*x3^6*x4^3*x5 + 104 x2^10*x3^6*x4^3 + 105 -x2^10*x3^6*x4^2*x5^3 + 106 x2^10*x3^6*x4^2*x5 + 107 x2^10*x3^6*x4*x5^3 + 108 -x2^10*x3^6*x4 + 109 x2^10*x3^3*x4^5*x5 + 110 -x2^10*x3^3*x4^5 + 111 -x2^10*x3^3*x4^3*x5 + 112 x2^10*x3^3*x4^3 + 113 -x2^10*x3^2*x4^5*x5 + 114 x2^10*x3^2*x4^5 + 115 x2^10*x3^2*x4^3*x5 + 116 -x2^10*x3^2*x4^3 + 117 x2^9*x3^8*x4^5*x5 + 118 -x2^9*x3^8*x4^5 + 119 -x2^9*x3^8*x4^3*x5 + 120 x2^9*x3^8*x4^3 + 121 -x2^9*x3^3*x4^5*x5 + 122 x2^9*x3^3*x4^5 + 123 x2^9*x3^3*x4^3*x5 + 124 -x2^9*x3^3*x4^3 + 125 x2^8*x3^5*x4^7*x5 + 126 -x2^8*x3^5*x4^7 + 127 -x2^8*x3^5*x4^5*x5 + 128 x2^8*x3^5*x4^5 + 129 -x2^8*x4^7*x5 + 130 x2^8*x4^7 + 131 x2^8*x4^5*x5 + 132 -x2^8*x4^5 + 133 x2^7*x3^2*x4^9*x5 + 134 -x2^7*x3^2*x4^9 + 135 -x2^7*x3^2*x4^7*x5 + 136 x2^7*x3^2*x4^7 + 137 -x2^7*x4^9*x5 + 138 x2^7*x4^9 + 139 x2^7*x4^7*x5 + 140 -x2^7*x4^7 + 141 x2^5*x3^13*x4*x5^2 + 142 -x2^5*x3^13*x4*x5 + 143 -x2^5*x3^13*x5^2 + 144 x2^5*x3^13*x5 + 145 -x2^5*x3^11*x4*x5^2 + 146 x2^5*x3^11*x4*x5 + 147 x2^5*x3^11*x5^2 + 148 -x2^5*x3^11*x5 + 149 x2^4*x3^11*x4*x5^3 + 150 -x2^4*x3^11*x4*x5^2 + 151 -x2^4*x3^11*x5^3 + 152 x2^4*x3^11*x5^2 + 153 x2^4*x3^10*x4^2*x5^3 + 154 -x2^4*x3^10*x4^2*x5^2 + 155 -x2^4*x3^10*x4*x5^3 + 156 x2^4*x3^10*x4*x5^2 + 157 -x2^4*x3^8*x4^2*x5^3 + 158 x2^4*x3^8*x4^2*x5^2 + 159 x2^4*x3^8*x5^3 + 160 -x2^4*x3^8*x5^2 + 161 x2^3*x3^8*x4^2*x5^4 + 162 -x2^3*x3^8*x4^2*x5^3 + 163 -x2^3*x3^8*x5^4 + 164 x2^3*x3^8*x5^3 + 165 -x2^3*x3^5*x4^2*x5^4 + 166 x2^3*x3^5*x4^2*x5^3 + 167 x2^3*x3^5*x5^4 + 168 -x2^3*x3^5*x5^3 + 169 x2^2*x3^5*x4^2*x5^5 + 170 -x2^2*x3^5*x4^2*x5^4 + 171 -x2^2*x3^5*x5^5 + 172 x2^2*x3^5*x5^4 + 173 -x2^2*x3^2*x4^2*x5^5 + 174 x2^2*x3^2*x4^2*x5^4 + 175 x2^2*x3^2*x5^5 + 176 -x2^2*x3^2*x5^4 + 177 x2*x3^5*x4^2*x5^9 + 178 -x2*x3^5*x4^2*x5^5 + 179 -x2*x3^5*x5^9 + 180 x2*x3^5*x5^5 + 181 x2*x3^4*x4^2*x5^10 + 182 -x2*x3^4*x4^2*x5^9 + 183 -x2*x3^4*x5^10 + 184 x2*x3^4*x5^9 + 185 x2*x3^2*x4^2*x5^11 + 186 -x2*x3^2*x4^2*x5^10 + 187 -x2*x3^2*x5^11 + 188 x2*x3^2*x5^10 + 189 -x2*x4^2*x5^11 + 190 x2*x4^2*x5^5 + 191 x2*x5^11 + 192 -x2*x5^5 + 193 -x3^13*x4*x5^2 + 194 x3^13*x4 + 195 x3^13*x5^2 + 196 -x3^13 + 197 -x3^11*x4^3*x5 + 198 x3^11*x4^3 + 199 -x3^11*x4*x5^3 + 200 x3^11*x4*x5^2 + 201 x3^11*x4*x5 + 202 -x3^11*x4 + 203 x3^11*x5^3 + 204 -x3^11*x5^2 + 205 -x3^10*x4^2*x5^3 + 206 x3^10*x4^2*x5 + 207 x3^10*x4*x5^3 + 208 -x3^10*x4*x5 + 209 -x3^8*x4^5*x5 + 210 x3^8*x4^5 + 211 x3^8*x4^3*x5 + 212 -x3^8*x4^3 + 213 -x3^8*x4^2*x5^4 + 214 x3^8*x4^2*x5^3 + 215 x3^8*x5^4 + 216 -x3^8*x5^3 + 217 -x3^5*x4^7*x5 + 218 x3^5*x4^7 + 219 x3^5*x4^5*x5 + 220 -x3^5*x4^5 + 221 -x3^5*x4^2*x5^9 + 222 x3^5*x4^2*x5^4 + 223 x3^5*x5^9 + 224 -x3^5*x5^4 + 225 -x3^4*x4^2*x5^10 + 226 x3^4*x4^2*x5^9 + 227 x3^4*x5^10 + 228 -x3^4*x5^9 + 229 -x3^2*x4^9*x5 + 230 x3^2*x4^9 + 231 x3^2*x4^7*x5 + 232 -x3^2*x4^7 + 233 -x3^2*x4^2*x5^11 + 234 x3^2*x4^2*x5^10 + 235 x3^2*x5^11 + 236 -x3^2*x5^10 + 237 x4^9*x5 + 238 -x4^9 + 239 x4^2*x5^11 + 240 -x4^2*x5 + 241 -x5^11 + 242 1; 243