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