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