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