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