1R = QQ[x1, x2, x3, x4, x5]; 2p = 3 x2^6*x3^4*x4^2*x5^19 + 4 -x2^6*x3^4*x4^2 + 5 -x2^6*x3^4*x5^19 + 6 x2^6*x3^4 + 7 x2^6*x3^2*x4^2*x5^24 + 8 -x2^6*x3^2*x4^2*x5^19 + 9 x2^6*x3^2*x4*x5^32 + 10 -x2^6*x3^2*x4*x5^24 + 11 -x2^6*x3^2*x5^32 + 12 x2^6*x3^2*x5^19 + 13 x2^6*x3*x4^2*x5^31 + 14 -x2^6*x3*x4^2*x5^24 + 15 -x2^6*x3*x4*x5^31 + 16 x2^6*x3*x4*x5^24 + 17 -x2^6*x4^2*x5^31 + 18 x2^6*x4^2 + 19 -x2^6*x4*x5^32 + 20 x2^6*x4*x5^31 + 21 x2^6*x5^32 + 22 -x2^6 + 23 x2^5*x3^7*x4^2*x5^19 + 24 -x2^5*x3^7*x4^2 + 25 -x2^5*x3^7*x5^19 + 26 x2^5*x3^7 + 27 -x2^5*x3^4*x4^2*x5^19 + 28 x2^5*x3^4*x4^2 + 29 x2^5*x3^4*x5^19 + 30 -x2^5*x3^4 + 31 x2^5*x3^2*x4*x5^37 + 32 -x2^5*x3^2*x4*x5^32 + 33 -x2^5*x3^2*x5^37 + 34 x2^5*x3^2*x5^32 + 35 x2^5*x3*x4^2*x5^37 + 36 -x2^5*x3*x4^2*x5^31 + 37 -x2^5*x3*x4*x5^37 + 38 x2^5*x3*x4*x5^31 + 39 -x2^5*x4^2*x5^37 + 40 x2^5*x4^2*x5^31 + 41 x2^5*x4*x5^32 + 42 -x2^5*x4*x5^31 + 43 x2^5*x5^37 + 44 -x2^5*x5^32 + 45 x2^4*x3^7*x4^2*x5^24 + 46 -x2^4*x3^7*x4^2*x5^19 + 47 x2^4*x3^7*x4*x5^25 + 48 -x2^4*x3^7*x4*x5^24 + 49 -x2^4*x3^7*x5^25 + 50 x2^4*x3^7*x5^19 + 51 x2^4*x3^5*x4*x5^30 + 52 -x2^4*x3^5*x4*x5^25 + 53 -x2^4*x3^5*x5^30 + 54 x2^4*x3^5*x5^25 + 55 x2^4*x3^4*x4*x5^37 + 56 -x2^4*x3^4*x4*x5^30 + 57 -x2^4*x3^4*x5^37 + 58 x2^4*x3^4*x5^30 + 59 -x2^4*x3^2*x4^2*x5^24 + 60 x2^4*x3^2*x4^2*x5^19 + 61 -x2^4*x3^2*x4*x5^37 + 62 x2^4*x3^2*x4*x5^24 + 63 x2^4*x3^2*x5^37 + 64 -x2^4*x3^2*x5^19 + 65 x2^3*x3^6*x4^4*x5^24 + 66 -x2^3*x3^6*x4^4 + 67 -x2^3*x3^6*x4^2*x5^24 + 68 x2^3*x3^6*x4^2 + 69 x2^3*x3^3*x4^6*x5^5 + 70 -x2^3*x3^3*x4^6 + 71 -x2^3*x3^3*x4^4*x5^5 + 72 x2^3*x3^3*x4^4 + 73 x2^3*x3*x4^4*x5^37 + 74 -x2^3*x3*x4^4*x5^24 + 75 -x2^3*x3*x4^2*x5^37 + 76 x2^3*x3*x4^2*x5^24 + 77 -x2^3*x4^6*x5^5 + 78 x2^3*x4^6 + 79 -x2^3*x4^4*x5^37 + 80 x2^3*x4^4*x5^5 + 81 x2^3*x4^2*x5^37 + 82 -x2^3*x4^2 + 83 x2^2*x3^9*x4^2*x5^24 + 84 -x2^2*x3^9*x4^2 + 85 x2^2*x3^9*x4*x5^25 + 86 -x2^2*x3^9*x4*x5^24 + 87 -x2^2*x3^9*x5^25 + 88 x2^2*x3^9 + 89 -x2^2*x3^7*x4^2*x5^24 + 90 x2^2*x3^7*x4^2 + 91 -x2^2*x3^7*x4*x5^25 + 92 x2^2*x3^7*x4*x5^24 + 93 x2^2*x3^7*x5^25 + 94 -x2^2*x3^7 + 95 x2^2*x3^6*x4^6*x5^5 + 96 -x2^2*x3^6*x4^6 + 97 -x2^2*x3^6*x4^4*x5^5 + 98 x2^2*x3^6*x4^4 + 99 x2^2*x3^4*x4*x5^43 + 100 -x2^2*x3^4*x4*x5^37 + 101 -x2^2*x3^4*x5^43 + 102 x2^2*x3^4*x5^37 + 103 -x2^2*x3^3*x4^6*x5^5 + 104 x2^2*x3^3*x4^6 + 105 x2^2*x3^3*x4^4*x5^5 + 106 -x2^2*x3^3*x4^4 + 107 x2^2*x3*x4^4*x5^42 + 108 -x2^2*x3*x4^4*x5^37 + 109 x2^2*x3*x4^3*x5^43 + 110 -x2^2*x3*x4^3*x5^42 + 111 -x2^2*x3*x4*x5^43 + 112 x2^2*x3*x4*x5^37 + 113 -x2^2*x4^4*x5^42 + 114 x2^2*x4^4*x5^37 + 115 -x2^2*x4^3*x5^43 + 116 x2^2*x4^3*x5^42 + 117 x2^2*x5^43 + 118 -x2^2*x5^37 + 119 x2*x3^9*x4^2*x5^30 + 120 -x2*x3^9*x4^2*x5^24 + 121 -x2*x3^9*x4*x5^25 + 122 x2*x3^9*x4*x5^24 + 123 -x2*x3^9*x5^30 + 124 x2*x3^9*x5^25 + 125 x2*x3^6*x4^4*x5^30 + 126 -x2*x3^6*x4^4*x5^24 + 127 -x2*x3^6*x4^2*x5^30 + 128 x2*x3^6*x4^2*x5^24 + 129 -x2*x3^5*x4*x5^30 + 130 x2*x3^5*x4*x5^25 + 131 x2*x3^5*x5^30 + 132 -x2*x3^5*x5^25 + 133 x2*x3^4*x4^4*x5^35 + 134 -x2*x3^4*x4^4*x5^30 + 135 x2*x3^4*x4^3*x5^43 + 136 -x2*x3^4*x4^3*x5^35 + 137 -x2*x3^4*x4*x5^43 + 138 x2*x3^4*x4*x5^30 + 139 x2*x3^3*x4^4*x5^42 + 140 -x2*x3^3*x4^4*x5^35 + 141 -x2*x3^3*x4^3*x5^42 + 142 x2*x3^3*x4^3*x5^35 + 143 -x2*x3*x4^4*x5^42 + 144 x2*x3*x4^4*x5^24 + 145 -x2*x3*x4^3*x5^43 + 146 x2*x3*x4^3*x5^42 + 147 x2*x3*x4*x5^43 + 148 -x2*x3*x4*x5^24 + 149 -x3^9*x4^2*x5^30 + 150 x3^9*x4^2 + 151 x3^9*x5^30 + 152 -x3^9 + 153 -x3^6*x4^6*x5^5 + 154 x3^6*x4^6 + 155 -x3^6*x4^4*x5^30 + 156 x3^6*x4^4*x5^5 + 157 x3^6*x4^2*x5^30 + 158 -x3^6*x4^2 + 159 -x3^4*x4^4*x5^35 + 160 x3^4*x4^4*x5^30 + 161 -x3^4*x4^3*x5^43 + 162 x3^4*x4^3*x5^35 + 163 x3^4*x5^43 + 164 -x3^4*x5^30 + 165 -x3^3*x4^4*x5^42 + 166 x3^3*x4^4*x5^35 + 167 x3^3*x4^3*x5^42 + 168 -x3^3*x4^3*x5^35 + 169 x4^6*x5^5 + 170 -x4^6 + 171 x4^4*x5^42 + 172 -x4^4*x5^5 + 173 x4^3*x5^43 + 174 -x4^3*x5^42 + 175 -x5^43 + 176 1; 177