1R = QQ[x1, x2, x3, x4, x5, x6];
2p =
3 -x2^2*x3*x4*x5*x6^3 +
4 x2^2*x3*x4*x5 +
5 x2^2*x3*x4*x6^3 +
6 -x2^2*x3*x4 +
7 x2^2*x3*x5*x6^3 +
8 -x2^2*x3*x5 +
9 -x2^2*x3*x6^3 +
10 x2^2*x3 +
11 x2^2*x4*x5*x6^3 +
12 -x2^2*x4*x5 +
13 -x2^2*x4*x6^3 +
14 x2^2*x4 +
15 -x2^2*x5*x6^3 +
16 x2^2*x5 +
17 x2^2*x6^3 +
18 -x2^2 +
19 -x2*x3^2*x4*x5*x6^2 +
20 x2*x3^2*x4*x5 +
21 x2*x3^2*x4*x6^2 +
22 -x2*x3^2*x4 +
23 x2*x3^2*x5*x6^2 +
24 -x2*x3^2*x5 +
25 -x2*x3^2*x6^2 +
26 x2*x3^2 +
27 -x2*x3*x4^2*x5*x6^2 +
28 x2*x3*x4^2*x5 +
29 x2*x3*x4^2*x6^2 +
30 -x2*x3*x4^2 +
31 -x2*x3*x4*x5^2*x6^2 +
32 x2*x3*x4*x5^2 +
33 3*x2*x3*x4*x5*x6^2 +
34 -3*x2*x3*x4*x5 +
35 -2*x2*x3*x4*x6^2 +
36 2*x2*x3*x4 +
37 x2*x3*x5^2*x6^2 +
38 -x2*x3*x5^2 +
39 -2*x2*x3*x5*x6^2 +
40 2*x2*x3*x5 +
41 x2*x3*x6^2 +
42 -x2*x3 +
43 x2*x4^2*x5*x6^2 +
44 -x2*x4^2*x5 +
45 -x2*x4^2*x6^2 +
46 x2*x4^2 +
47 x2*x4*x5^2*x6^2 +
48 -x2*x4*x5^2 +
49 -2*x2*x4*x5*x6^2 +
50 2*x2*x4*x5 +
51 x2*x4*x6^2 +
52 -x2*x4 +
53 -x2*x5^2*x6^2 +
54 x2*x5^2 +
55 x2*x5*x6^2 +
56 -x2*x5 +
57 x3^2*x4*x5*x6^2 +
58 -x3^2*x4*x5 +
59 -x3^2*x4*x6^2 +
60 x3^2*x4 +
61 -x3^2*x5*x6^2 +
62 x3^2*x5 +
63 x3^2*x6^2 +
64 -x3^2 +
65 x3*x4^2*x5*x6^2 +
66 -x3*x4^2*x5 +
67 -x3*x4^2*x6^2 +
68 x3*x4^2 +
69 x3*x4*x5^2*x6^2 +
70 -x3*x4*x5^2 +
71 x3*x4*x5*x6^3 +
72 -3*x3*x4*x5*x6^2 +
73 2*x3*x4*x5 +
74 -x3*x4*x6^3 +
75 2*x3*x4*x6^2 +
76 -x3*x4 +
77 -x3*x5^2*x6^2 +
78 x3*x5^2 +
79 -x3*x5*x6^3 +
80 2*x3*x5*x6^2 +
81 -x3*x5 +
82 x3*x6^3 +
83 -x3*x6^2 +
84 -x4^2*x5*x6^2 +
85 x4^2*x5 +
86 x4^2*x6^2 +
87 -x4^2 +
88 -x4*x5^2*x6^2 +
89 x4*x5^2 +
90 -x4*x5*x6^3 +
91 2*x4*x5*x6^2 +
92 -x4*x5 +
93 x4*x6^3 +
94 -x4*x6^2 +
95 x5^2*x6^2 +
96 -x5^2 +
97 x5*x6^3 +
98 -x5*x6^2 +
99 -x6^3 +
100 1;
101