1R = QQ[x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20]; 2I = monomialIdeal( 3 x1*x2*x3*x4*x6*x7*x10*x12*x13*x17*x18, 4 x2*x3*x9*x13*x14*x16*x17*x20, 5 x1*x2*x3*x6*x15*x19*x20, 6 x1*x2*x3*x5*x6*x9*x11*x12*x13*x14*x16*x19, 7 x1*x2*x3*x4*x7*x9*x11*x13*x14*x15*x17*x19*x20, 8 x5*x7*x10*x11*x14*x19, 9 x2*x5*x6*x7*x9*x10*x11*x12*x14*x15*x16*x18, 10 x1*x3*x4*x5*x8*x9*x10*x11*x15*x17*x20, 11 x2*x5*x7*x10*x12*x15*x17*x18*x19, 12 x3*x5*x6*x8*x10*x11*x12*x14*x20, 13 x1*x7*x8*x10*x12*x16*x17*x18*x19, 14 x1*x4*x5*x6*x8*x9*x13*x14*x18, 15 x1*x4*x6*x7*x14*x15*x19*x20, 16 x1*x2*x3*x5*x7*x8*x9*x10*x11*x12*x13*x16*x18, 17 x3*x4*x5*x6*x8*x9*x14*x16*x17*x19*x20, 18 x3*x5*x6*x8*x10*x11*x12*x15*x16*x17*x19*x20, 19 x5*x8*x10*x13*x14*x17*x18*x20, 20 x2*x3*x4*x5*x6*x8*x11*x13*x14*x15*x16*x17*x19*x20, 21 x3*x4*x9*x10*x11*x15*x18, 22 x6*x7*x8*x9*x15*x20, 23 x1*x3*x5*x8*x10*x14*x16*x17*x20, 24 x1*x5*x6*x7*x10*x11*x12*x13*x16, 25 x6*x9*x12*x13*x15*x18*x19, 26 x4*x7*x9*x10*x13*x14*x17*x20, 27 x1*x2*x3*x4*x6*x7*x9*x10*x12*x14*x15*x16*x17, 28 x1*x3*x5*x6*x7*x8*x11*x12*x13*x14*x15*x16*x17*x18*x19, 29 x6*x8*x10*x13*x14*x15*x18*x19*x20, 30 x2*x4*x5*x8*x9*x10*x16*x18, 31 x2*x5*x7*x11*x13*x14*x15*x17*x19*x20, 32 x1*x2*x5*x8*x9*x12*x14*x19*x20, 33 x3*x5*x6*x10*x11*x12*x15*x16*x18*x19, 34 x3*x5*x7*x8*x9*x10*x11*x12*x13*x14*x17, 35 x2*x4*x6*x7*x8*x9*x10*x13*x17*x19, 36 x3*x4*x8*x10*x12*x13*x16*x18*x19, 37 x2*x3*x4*x6*x10*x12*x13*x14*x15*x17*x18*x20, 38 x1*x4*x6*x8*x9*x11*x12*x13*x14*x18*x20, 39 x5*x7*x9*x13*x16*x18*x20, 40 x1*x3*x6*x8*x9*x10*x11*x12*x15*x16*x19, 41 x1*x5*x6*x9*x11*x20, 42 x4*x5*x7*x9*x10*x11*x12*x14*x15*x18*x20, 43 x1*x3*x5*x9*x10*x11*x12*x13*x17, 44 x3*x5*x6*x9*x10*x11*x13*x17*x18, 45 x2*x3*x4*x5*x6*x7*x8*x10*x11*x12*x13*x15*x17*x19, 46 x2*x4*x5*x6*x7*x9*x10*x11*x13*x15*x17*x18*x19, 47 x1*x3*x5*x13*x14*x18*x20, 48 x3*x5*x7*x11*x12*x14*x15*x18*x20, 49 x2*x3*x4*x9*x11*x12*x14*x16*x17, 50 x2*x3*x4*x8*x9*x10*x15*x17*x18*x19, 51 x1*x2*x3*x9*x10*x13*x15*x17*x18*x20, 52 x1*x4*x12*x14*x16*x18*x19, 53 x2*x3*x4*x5*x7*x8*x10*x12*x13*x17*x18, 54 x1*x2*x5*x6*x7*x9*x11*x13*x15*x17*x19, 55 x3*x8*x9*x10*x12*x13*x16*x17*x18, 56 x1*x2*x8*x15*x18*x19*x20, 57 x1*x2*x3*x9*x10*x11*x12*x17*x18*x20, 58 x1*x2*x6*x8*x9*x12*x14*x18, 59 x1*x3*x4*x6*x7*x8*x11*x12*x14*x16*x18, 60 x2*x7*x8*x12*x13*x15*x16*x20, 61 x3*x5*x6*x7*x9*x13*x16*x17*x18*x19, 62 x5*x9*x10*x11*x13*x15*x16*x17*x19*x20, 63 x6*x7*x8*x13*x20, 64 x1*x5*x7*x8*x9*x10*x11*x12*x13*x19*x20, 65 x5*x6*x8*x9*x11*x12*x13*x18*x20, 66 x2*x5*x8*x9*x10*x15*x19*x20, 67 x3*x4*x6*x9*x10*x11*x13*x14*x15*x17, 68 x1*x5*x7*x9*x11*x16*x18*x19*x20, 69 x2*x3*x4*x5*x9*x10*x12*x14*x16, 70 x1*x2*x4*x5*x6*x7*x8*x9*x11*x12*x14*x19, 71 x5*x6*x8*x9*x10*x11*x15*x16*x17*x18*x19*x20, 72 x7*x8*x13*x16*x17*x18*x19*x20, 73 x4*x8*x10*x12*x13*x15*x16*x17*x20, 74 x2*x3*x9*x10*x11*x12*x13*x17*x18*x19*x20, 75 x1*x2*x3*x5*x6*x9*x10*x12*x14*x17*x18*x19*x20, 76 x3*x4*x5*x6*x8*x10*x12*x14*x15*x16*x18*x20, 77 x1*x4*x6*x10*x11*x14*x15*x17*x19*x20, 78 x1*x2*x4*x5*x6*x8*x9*x12*x13*x14*x19, 79 x1*x3*x5*x8*x9*x18*x19*x20, 80 x1*x2*x3*x4*x5*x6*x7*x9*x10*x13*x15*x17*x20, 81 x4*x5*x10*x12*x17*x18*x19, 82 x1*x2*x3*x6*x7*x8*x14*x18*x20, 83 x1*x3*x4*x10*x12*x15*x18*x19*x20, 84 x6*x7*x8*x10*x12*x14*x15*x16*x17*x19*x20, 85 x1*x2*x3*x6*x8*x9*x10*x12*x13*x19*x20, 86 x1*x2*x3*x10*x11*x13*x15*x16*x17*x18*x19*x20, 87 x1*x7*x10*x11*x13*x14*x16, 88 x1*x2*x3*x4*x5*x6*x10*x11*x12*x13*x18*x20, 89 x1*x2*x3*x7*x8*x9*x11*x12*x17*x18*x19, 90 x3*x4*x6*x10*x11*x12*x13*x14, 91 x2*x3*x9*x11*x13*x16*x18*x20, 92 x1*x2*x4*x5*x7*x8*x10*x13*x16*x18*x19*x20, 93 x2*x3*x4*x5*x11*x14*x15*x16*x18*x19*x20, 94 x1*x2*x3*x6*x9*x10*x13*x17*x19*x20, 95 x1*x2*x4*x5*x6*x7*x12*x13*x14*x15*x18, 96 x2*x3*x5*x8*x11*x14*x18*x19*x20, 97 x1*x2*x7*x8*x9*x11*x12*x16*x17*x19*x20, 98 x3*x4*x10*x11*x13*x15*x18*x20, 99 x1*x8*x11*x12*x13*x14*x15*x16*x17*x18*x20, 100 x3*x4*x5*x6*x7*x8*x9*x12*x14*x16*x18*x19*x20, 101 x3*x4*x10*x11*x16*x17, 102 x2*x7*x10*x13*x14*x16*x18*x20, 103 x2*x3*x4*x9*x12*x14*x15*x18*x20, 104 x1*x2*x4*x6*x9*x11*x14*x15*x16*x17*x18*x19*x20, 105 x2*x3*x8*x10*x11*x13*x14*x16*x18*x19*x20, 106 x2*x4*x6*x8*x11*x12*x13*x15*x17*x18*x19, 107 x1*x3*x4*x6*x10*x13*x14*x19*x20, 108 x1*x3*x4*x7*x9*x11*x13*x15*x16*x17*x18*x19*x20, 109 x1*x3*x5*x6*x9*x10*x11*x12*x13*x15*x16, 110 x2*x3*x4*x7*x8*x13*x14*x19, 111 x1*x2*x3*x4*x5*x7*x10*x14*x15*x16*x19, 112 x1*x2*x3*x4*x7*x10*x12*x16*x17*x18*x20, 113 x1*x3*x6*x7*x10*x11*x12*x13*x17*x18, 114 x2*x3*x7*x9*x11*x12*x14*x16*x19*x20, 115 x2*x5*x6*x7*x9*x13*x14*x16, 116 x4*x5*x6*x8*x9*x13*x17*x19, 117 x1*x2*x3*x4*x5*x6*x9*x12*x13*x14*x17*x19*x20, 118 x1*x4*x9*x10*x11*x12*x18, 119 x1*x5*x6*x9*x10*x13*x15*x18*x19, 120 x2*x5*x8*x10*x11*x13*x14*x19*x20, 121 x1*x3*x9*x10*x13*x14*x15*x16*x19, 122 x5*x6*x7*x9*x12*x13*x15*x19, 123 x4*x10*x11*x12*x18*x19, 124 x4*x6*x7*x9*x10*x11*x13*x14*x16*x20, 125 x1*x2*x4*x8*x9*x13*x14*x16*x17*x18*x20, 126 x1*x2*x8*x9*x10*x11*x13*x15*x16*x17*x18*x20, 127 x1*x4*x5*x7*x8*x9*x11*x12*x13*x14*x15*x16*x20, 128 x2*x3*x6*x10*x11*x14*x16*x18*x19*x20, 129 x3*x5*x12*x13*x16*x17*x20, 130 x3*x5*x6*x7*x11*x13*x16*x20, 131 x2*x3*x6*x7*x8*x9*x16*x17*x19, 132 x2*x3*x7*x9*x11*x14*x16*x18, 133 x1*x2*x7*x8*x11*x12*x13*x14*x16*x18, 134 x1*x2*x3*x4*x5*x6*x7*x10*x14*x15*x17, 135 x6*x7*x9*x11*x15*x18*x19*x20, 136 x2*x5*x6*x9*x11*x15*x16*x17, 137 x4*x5*x7*x8*x10*x11*x13*x15*x16*x20, 138 x1*x2*x3*x5*x6*x11*x12*x19*x20, 139 x1*x2*x4*x5*x6*x9*x10*x12*x13*x15*x18, 140 x1*x5*x6*x7*x9*x12*x13*x14*x16*x17*x18*x19, 141 x1*x3*x5*x6*x8*x12*x15*x16*x17*x20, 142 x1*x5*x6*x10*x11*x12*x13*x14*x15*x16*x18*x19*x20, 143 x1*x5*x7*x11*x12*x13*x16*x17*x18*x20, 144 x1*x2*x3*x7*x8*x10*x12*x15*x16*x17*x18*x20, 145 x1*x2*x7*x8*x12*x13*x15*x17, 146 x3*x4*x7*x8*x10*x11*x12*x14*x17*x18*x20, 147 x1*x3*x7*x8*x9*x15*x16*x17, 148 x1*x3*x4*x7*x10*x11*x12*x13*x14*x17, 149 x1*x3*x7*x9*x11*x12*x14*x15, 150 x2*x3*x4*x5*x7*x8*x11*x12*x14*x15*x16*x18*x19, 151 x2*x4*x5*x9*x10*x12*x15*x16*x18*x19*x20, 152 x1*x4*x5*x9*x11*x14*x16*x19, 153 x4*x7*x10*x14*x15*x18*x19, 154 x1*x4*x5*x6*x7*x11*x12*x13*x15*x18*x19*x20, 155 x6*x8*x11*x12*x14*x15*x16*x17*x18*x19*x20, 156 x2*x3*x4*x6*x8*x9*x11*x12*x15*x16*x17*x18*x20, 157 x1*x3*x8*x9*x12*x13*x14*x15*x19*x20, 158 x2*x3*x5*x6*x8*x10*x12*x13*x16*x17*x18, 159 x1*x2*x4*x10*x11*x14*x15*x17, 160 x1*x3*x4*x5*x6*x12*x16*x19*x20, 161 x3*x5*x7*x8*x9*x11*x16*x17*x18, 162 x1*x3*x4*x7*x8*x9*x10*x11*x12*x13*x14*x20, 163 x1*x2*x5*x8*x10*x13*x15*x16*x17*x20, 164 x1*x2*x3*x8*x10*x11*x14*x15*x16*x17*x18*x20, 165 x6*x8*x9*x10*x11*x12*x13*x14*x18*x19, 166 x5*x6*x9*x11*x12*x13*x15*x16*x17*x18*x20, 167 x2*x6*x9*x11*x12*x14*x20, 168 x2*x3*x7*x9*x13*x14*x15*x17*x18*x19*x20, 169 x1*x2*x11*x12*x13*x14*x15*x17*x18*x19, 170 x1*x2*x6*x9*x10*x13*x14*x15*x17*x18*x19*x20, 171 x2*x3*x5*x6*x7*x9*x10*x13*x19, 172 x1*x3*x5*x9*x10*x14*x15*x19*x20, 173 x4*x6*x8*x9*x11*x14*x15*x16*x18*x19*x20, 174 x1*x3*x6*x8*x10*x11*x12*x13*x16*x20, 175 x3*x6*x7*x9*x10*x11*x15*x17*x18*x20, 176 x1*x3*x6*x10*x11*x12*x15*x16*x17*x19*x20, 177 x2*x3*x4*x6*x9*x11*x14*x15*x16*x20, 178 x1*x4*x7*x9*x11*x12*x18*x20, 179 x1*x2*x3*x4*x6*x7*x12*x13*x17*x18*x20, 180 x3*x4*x8*x9*x13*x14*x15*x17, 181 x1*x2*x5*x8*x9*x13*x15*x20, 182 x2*x8*x9*x14*x15*x16*x17*x19, 183 x1*x2*x4*x5*x7*x10*x11*x13*x15*x18*x19, 184 x3*x4*x6*x7*x9*x11*x12*x14*x16*x18*x20, 185 x3*x4*x6*x8*x12*x13*x16*x19*x20, 186 x2*x4*x7*x8*x9*x11*x14*x15*x19, 187 x1*x2*x5*x7*x8*x9*x10*x16*x17*x18*x20, 188 x1*x4*x6*x10*x11*x18*x19, 189 x1*x4*x5*x7*x8*x12*x14*x16*x17*x19, 190 x2*x4*x6*x7*x8*x9*x11*x17*x20, 191 x2*x4*x6*x7*x8*x9*x10*x11*x13*x14*x18, 192 x3*x4*x5*x9*x11*x12*x14*x16*x17*x18*x20, 193 x1*x2*x4*x5*x9*x11*x12*x15*x16*x17, 194 x3*x4*x6*x9*x10*x13*x15*x16*x19, 195 x2*x5*x6*x8*x10*x11*x14*x15*x16*x17*x18, 196 x3*x7*x12*x13*x16*x19*x20, 197 x1*x2*x4*x6*x7*x8*x11*x15, 198 x2*x3*x4*x5*x7*x8*x10*x11*x12*x15*x16, 199 x1*x2*x4*x5*x7*x9*x10*x11*x13*x14*x15*x18*x20, 200 x1*x4*x5*x7*x9*x11*x15*x16*x17*x18*x19, 201 x3*x4*x5*x6*x9*x10*x11*x12*x14*x15*x20, 202 x1*x5*x8*x9*x13*x15*x18*x19, 203 x1*x2*x4*x8*x10*x12*x13*x14*x18*x20, 204 x2*x6*x7*x9*x11*x13*x14*x19, 205 x1*x3*x4*x6*x8*x9*x11*x12*x16*x18*x20, 206 x2*x4*x5*x6*x10*x12*x14*x15*x16*x18*x19, 207 x2*x4*x5*x7*x8*x9*x12*x13*x14*x18, 208 x1*x4*x6*x8*x11*x15*x20, 209 x2*x7*x11*x14*x15*x16*x19*x20, 210 x3*x4*x6*x7*x8*x10*x14*x15*x16*x17, 211 x1*x3*x4*x5*x6*x8*x9*x11*x12*x15*x18*x19, 212 x1*x4*x5*x7*x13*x17*x19, 213 x1*x2*x4*x6*x10*x11*x12*x14*x17, 214 x2*x3*x5*x7*x9*x12*x13*x17*x18*x20, 215 x3*x6*x7*x8*x9*x13*x14*x16*x17*x18, 216 x1*x2*x6*x10*x11*x12*x16*x18, 217 x7*x8*x9*x11*x12*x13*x16*x18*x19*x20, 218 x1*x8*x10*x13*x16*x17*x18*x19, 219 x1*x2*x3*x6*x8*x10*x11*x13*x15*x16*x17*x19, 220 x1*x2*x3*x5*x6*x11*x13*x14*x18*x19, 221 x1*x2*x3*x5*x6*x8*x10*x11*x12*x13*x17*x18*x20, 222 x1*x2*x4*x5*x6*x10*x11*x12*x13*x15*x17*x18, 223 x4*x6*x7*x8*x9*x11*x12*x16*x17*x18*x19, 224 x1*x2*x4*x7*x8*x10*x11*x13*x16*x17*x18*x20, 225 x1*x5*x6*x8*x14*x15*x20, 226 x2*x3*x4*x10*x11*x15*x17*x19*x20, 227 x4*x5*x6*x8*x11*x13*x14*x16*x18*x19, 228 x1*x2*x3*x4*x6*x7*x9*x10*x11*x12*x17*x19*x20, 229 x1*x5*x6*x8*x9*x10*x12*x17*x18*x19, 230 x1*x3*x4*x10*x11*x14*x17*x18*x19*x20, 231 x1*x2*x4*x5*x6*x7*x10*x12*x17, 232 x2*x6*x7*x10*x11*x12*x13*x15*x18, 233 x1*x2*x5*x7*x9*x11*x13*x15*x16*x17*x19*x20, 234 x1*x2*x4*x7*x8*x9*x10*x12*x14*x16*x17*x19, 235 x1*x2*x3*x6*x8*x9*x10*x11*x16, 236 x2*x4*x6*x7*x8*x9*x13*x15*x16*x18, 237 x2*x4*x6*x8*x11*x13*x14*x15*x16*x17*x18*x19, 238 x2*x6*x7*x9*x11*x16*x17*x20, 239 x1*x2*x3*x4*x5*x7*x9*x12*x14*x17*x18, 240 x2*x5*x6*x9*x10*x11*x12*x18*x19*x20, 241 x2*x5*x10*x13*x14*x15*x16*x18*x20, 242 x1*x4*x5*x8*x13*x14*x15*x17*x19, 243 x1*x2*x3*x5*x6*x7*x8*x9*x20, 244 x1*x2*x4*x6*x7*x8*x9*x11*x12*x16*x19, 245 x3*x4*x7*x8*x10*x12*x13*x18*x19, 246 x5*x6*x9*x12*x13*x15*x16*x19*x20, 247 x2*x3*x4*x6*x8*x9*x13*x14*x15*x16*x18, 248 x1*x2*x3*x9*x10*x14*x16*x18*x20, 249 x2*x3*x4*x7*x10*x11*x15*x16*x20, 250 x1*x2*x3*x6*x7*x9*x11*x12*x13*x18, 251 x3*x4*x5*x10*x14*x17*x18*x19*x20, 252 x2*x5*x6*x15*x16*x18*x19*x20, 253 x3*x4*x5*x6*x7*x11*x13*x15*x16*x17*x18, 254 x2*x7*x10*x11*x13*x14*x15*x17, 255 x1*x5*x6*x9*x10*x12*x14*x16*x18*x19, 256 x3*x5*x6*x7*x9*x11*x13*x14*x16*x19, 257 x1*x2*x5*x6*x11*x13*x14*x15*x16*x17*x19*x20, 258 x2*x3*x6*x9*x10*x12*x14*x15*x16*x20, 259 x1*x2*x3*x4*x5*x6*x8*x9*x10*x12*x15*x17*x19, 260 x1*x6*x7*x8*x9*x10*x12*x13*x14*x18*x19, 261 x1*x7*x9*x14*x15*x16*x17*x18*x19, 262 x3*x4*x7*x8*x9*x11*x12*x14*x15*x16*x17*x18*x19, 263 x5*x7*x9*x10*x11*x12*x13*x16*x19*x20, 264 x1*x2*x3*x6*x7*x9*x12*x15*x16*x18, 265 x1*x2*x3*x6*x7*x9*x12*x13*x14*x15*x20, 266 x1*x2*x4*x5*x9*x12*x13*x15*x16*x17*x18*x20, 267 x2*x3*x4*x5*x9*x10*x12*x13*x14*x15, 268 x2*x5*x6*x7*x11*x13*x14*x15*x16*x17*x18, 269 x1*x2*x3*x7*x9*x11*x12*x13*x16*x17*x18*x19, 270 x6*x7*x9*x10*x12*x16*x17*x19*x20, 271 x2*x4*x6*x12*x14*x15*x17*x18*x19, 272 x3*x6*x7*x8*x10*x11*x12*x14*x16*x18, 273 x2*x3*x9*x10*x11*x16*x17, 274 x1*x2*x3*x4*x5*x7*x9*x14*x17*x18*x20, 275 x2*x3*x4*x6*x7*x8*x14*x15*x17*x18*x19*x20, 276 x4*x5*x6*x7*x8*x14*x15*x16*x19*x20, 277 x4*x6*x8*x10*x13*x15*x20, 278 x1*x2*x3*x4*x6*x12*x13*x14*x16*x17, 279 x6*x8*x9*x12*x14*x15, 280 x2*x3*x4*x5*x8*x9*x12*x13*x15*x18*x19, 281 x4*x11*x13*x14*x15*x17*x18*x20, 282 x3*x5*x9*x10*x12*x15*x16*x17*x19, 283 x1*x2*x4*x5*x6*x7*x10*x11*x13*x14*x20, 284 x3*x5*x7*x8*x9*x12*x13*x14*x17*x20, 285 x2*x3*x5*x6*x8*x13*x14*x16*x18*x19*x20, 286 x1*x3*x7*x9*x10*x13*x14*x18, 287 x2*x3*x4*x6*x8*x9*x10*x12*x13*x15*x17, 288 x1*x2*x3*x7*x10*x13*x14*x18*x20, 289 x1*x3*x4*x5*x7*x9*x10*x12*x16*x17, 290 x1*x3*x4*x6*x8*x9*x11*x12*x13*x15*x18, 291 x1*x2*x4*x5*x7*x8*x12*x14*x16*x17*x18*x20, 292 x1*x2*x5*x9*x15*x16*x17*x18*x19*x20, 293 x3*x4*x5*x6*x8*x10*x12*x14*x15*x17*x20, 294 x4*x5*x6*x9*x11*x14*x18, 295 x3*x6*x9*x10*x11*x16*x17*x18*x19*x20, 296 x1*x3*x4*x6*x8*x12*x13*x14*x17*x19*x20, 297 x4*x7*x8*x10*x11*x12*x14*x15*x18*x20, 298 x1*x5*x7*x9*x11*x12*x13*x17*x20, 299 x1*x2*x5*x6*x10*x12*x13*x17*x19, 300 x1*x2*x3*x6*x8*x9*x11*x13*x14*x18*x20, 301 x2*x3*x5*x11*x13*x14*x15*x16*x18*x19*x20, 302 x1*x2*x3*x5*x9*x12*x13*x15*x17, 303 x1*x7*x11*x12*x13*x15*x16*x17*x18*x20, 304 x1*x4*x5*x8*x9*x15*x16*x19, 305 x2*x4*x5*x9*x10*x13*x16*x19*x20, 306 x1*x2*x3*x5*x6*x9*x13*x15*x17*x18*x20, 307 x1*x3*x4*x5*x6*x8*x11*x12*x15*x16*x17*x18*x19, 308 x1*x3*x4*x7*x9*x11*x14*x15*x18*x19, 309 x1*x3*x4*x6*x7*x9*x11*x12*x15*x20, 310 x3*x4*x9*x12*x13*x14*x15*x17*x19, 311 x1*x4*x5*x7*x10*x14*x19*x20, 312 x5*x6*x7*x8*x9*x11*x12*x13*x18*x19, 313 x1*x2*x4*x7*x11*x12*x15*x16*x18*x19*x20, 314 x1*x3*x5*x6*x8*x10*x11*x13*x15*x16*x19*x20, 315 x1*x4*x6*x8*x12*x13*x14*x16*x20, 316 x3*x9*x10*x12*x14*x15*x16*x18*x19*x20, 317 x1*x5*x7*x8*x10*x12*x13*x14*x15*x20, 318 x3*x6*x8*x9*x10*x11*x13*x16*x17*x19, 319 x2*x3*x5*x7*x8*x10*x14*x18*x19, 320 x2*x3*x6*x7*x9*x12*x14*x15*x16*x18*x19*x20, 321 x1*x4*x5*x8*x9*x10*x12*x13*x14*x19, 322 x1*x2*x7*x9*x12*x14*x15*x16*x18*x19, 323 x3*x4*x5*x7*x8*x11*x12*x13*x14*x17*x18*x19, 324 x4*x5*x6*x9*x10*x12*x13*x14*x17*x19*x20, 325 x1*x2*x3*x5*x11*x13*x14*x20, 326 x2*x4*x5*x8*x9*x10*x11*x14*x15*x17*x19, 327 x3*x6*x8*x10*x11*x14*x15*x17*x18*x20, 328 x1*x2*x3*x4*x8*x10*x13*x15*x18*x19, 329 x2*x3*x6*x7*x12*x13*x14*x16*x17, 330 x2*x7*x9*x10*x12*x13*x19*x20, 331 x1*x2*x3*x4*x8*x10*x11*x12*x15*x16*x18*x20, 332 x1*x3*x4*x5*x6*x8*x11*x12*x13*x14*x15*x17, 333 x1*x2*x3*x5*x7*x9*x10*x11*x14*x16, 334 x2*x3*x4*x5*x6*x13*x17*x18*x19, 335 x1*x9*x11*x12*x14*x15*x16*x18*x19*x20, 336 x1*x4*x7*x8*x10*x13*x15*x16*x19, 337 x1*x2*x6*x7*x9*x11*x13*x14, 338 x8*x9*x12*x14*x15*x16*x17*x18*x20, 339 x3*x5*x8*x10*x11*x15*x16*x17*x18*x20, 340 x1*x2*x5*x6*x15*x16*x17*x18*x19, 341 x2*x4*x5*x7*x13*x15*x17*x19*x20, 342 x2*x3*x6*x8*x10*x11*x13*x15*x16*x17*x20, 343 x1*x2*x4*x5*x8*x10*x11*x16*x17*x19*x20, 344 x3*x6*x7*x8*x9*x13*x14*x15*x18, 345 x2*x3*x4*x5*x6*x8*x10*x14*x15*x17*x18*x20, 346 x1*x2*x3*x4*x6*x7*x8*x12*x14*x16*x17*x18, 347 x7*x8*x10*x11*x14*x15*x16*x20, 348 x1*x2*x3*x5*x6*x8*x11*x14*x15*x16*x18*x19, 349 x3*x5*x6*x7*x10*x11*x13*x15*x19*x20, 350 x1*x2*x4*x5*x6*x8*x11*x14*x16*x18*x19, 351 x2*x4*x6*x8*x9*x10*x11*x12*x15*x17*x19, 352 x1*x3*x7*x8*x9*x11*x15*x16*x18*x19*x20, 353 x2*x3*x4*x5*x10*x11*x14*x15*x16*x18*x19, 354 x2*x3*x4*x5*x7*x8*x10*x12*x14*x15*x17*x18, 355 x1*x3*x6*x7*x8*x9*x11*x12*x15*x17, 356 x1*x8*x9*x10*x13*x14*x16*x17*x18*x20, 357 x1*x3*x4*x5*x6*x7*x8*x12*x14*x18*x20, 358 x1*x5*x6*x11*x12*x13*x16*x17*x19*x20, 359 x2*x7*x9*x10*x11*x14*x16*x20, 360 x2*x4*x6*x8*x10*x11*x16*x17*x18*x20, 361 x2*x6*x7*x8*x10*x15*x20, 362 x2*x4*x6*x8*x9*x11*x13*x14*x16*x20, 363 x1*x7*x8*x10*x12*x14*x15*x18*x19*x20, 364 x1*x3*x4*x7*x9*x12*x16*x17*x19, 365 x5*x8*x9*x10*x11*x12*x16*x17*x18, 366 x2*x3*x5*x7*x8*x10*x14*x15*x16*x19*x20, 367 x2*x3*x4*x5*x9*x10*x11*x15*x17, 368 x3*x5*x6*x7*x9*x10*x16*x17*x18*x19*x20, 369 x1*x2*x4*x7*x8*x9*x14*x16*x18*x19*x20, 370 x1*x5*x7*x8*x9*x11*x12*x13*x17, 371 x1*x4*x5*x8*x9*x10*x12*x15*x18, 372 x3*x5*x6*x10*x13*x14*x15*x17*x19, 373 x1*x6*x7*x11*x15*x17*x19*x20, 374 x1*x7*x8*x9*x11*x14*x17*x18, 375 x1*x3*x4*x6*x9*x12*x13*x16*x18, 376 x4*x8*x9*x10*x12*x13*x14*x17*x18, 377 x4*x5*x6*x10*x11*x12*x15*x16*x18, 378 x5*x6*x7*x9*x12*x13*x15*x18*x20, 379 x2*x5*x8*x9*x10*x13*x14*x16*x17*x20, 380 x1*x4*x5*x8*x10*x12*x17*x18*x20, 381 x1*x3*x5*x6*x9*x10*x12*x13*x17*x19, 382 x2*x3*x4*x5*x9*x14*x15*x16, 383 x2*x4*x6*x7*x11*x14*x16*x18*x19, 384 x2*x3*x5*x6*x8*x9*x11*x14*x16*x18, 385 x1*x2*x3*x5*x7*x9*x14*x15*x16*x18*x19, 386 x3*x5*x6*x10*x11*x12*x13*x15*x17*x18*x19, 387 x1*x2*x3*x8*x9*x10*x12*x13*x17, 388 x1*x3*x4*x5*x8*x9*x10*x13*x14*x16*x19, 389 x2*x5*x6*x11*x12*x13*x16*x17*x18*x19, 390 x1*x2*x3*x5*x6*x12*x14*x15*x16*x18*x20, 391 x2*x3*x4*x5*x6*x7*x8*x12*x14*x15*x17*x20, 392 x1*x2*x3*x4*x5*x7*x8*x9*x13*x15*x19, 393 x1*x3*x4*x5*x6*x8*x10*x11*x16*x18*x20, 394 x3*x4*x5*x8*x9*x11*x12*x13*x15*x17*x18*x19*x20, 395 x1*x2*x3*x4*x5*x7*x9*x10*x13*x14*x15*x19, 396 x1*x2*x3*x4*x6*x9*x10*x12*x13*x14*x17, 397 x4*x7*x9*x10*x15*x16*x17*x18*x20, 398 x2*x3*x9*x11*x14*x15*x16*x18*x19*x20, 399 x2*x4*x7*x8*x10*x12*x14*x15*x16*x17*x19, 400 x1*x2*x3*x4*x6*x7*x9*x12*x15*x17*x18*x20, 401 x1*x3*x4*x6*x10*x11*x12*x14*x15*x16, 402 x1*x3*x6*x9*x10*x12*x15*x16*x17*x18*x19*x20, 403 x1*x2*x3*x4*x5*x10*x11*x12*x15*x19, 404 x6*x7*x9*x10*x11*x12*x14*x15*x19*x20, 405 x2*x5*x6*x7*x8*x9*x11*x14*x15*x18*x19, 406 x1*x2*x5*x8*x10*x14*x15*x17*x19*x20, 407 x1*x2*x3*x5*x8*x9*x12*x13*x20, 408 x1*x4*x6*x12*x14*x15*x16*x17*x19, 409 x1*x2*x5*x7*x8*x11*x13*x14*x16*x18*x20, 410 x1*x2*x3*x4*x5*x9*x10*x12*x13*x14, 411 x1*x2*x7*x10*x11*x12*x14*x17, 412 x2*x4*x5*x6*x8*x12*x14*x15*x16*x18*x20, 413 x1*x7*x9*x10*x14*x16*x18*x19, 414 x3*x4*x6*x8*x12*x15*x17*x18*x19*x20, 415 x2*x4*x5*x7*x8*x9*x10*x12*x13*x17*x20, 416 x1*x3*x4*x5*x7*x8*x9*x10*x12*x14*x17, 417 x1*x2*x5*x6*x9*x12*x13*x17*x18*x19, 418 x1*x3*x7*x8*x9*x10*x11*x12*x14*x17*x19, 419 x2*x3*x6*x7*x9*x13*x16*x17, 420 x2*x6*x7*x12*x16*x17*x19, 421 x1*x2*x5*x7*x8*x11*x12*x15*x18*x20, 422 x1*x2*x3*x6*x8*x13*x16*x18*x20, 423 x7*x8*x9*x11*x12*x14*x15*x16*x18*x19*x20, 424 x2*x7*x8*x10*x11*x14*x16*x17*x18, 425 x1*x4*x6*x7*x8*x10*x13*x15*x19, 426 x3*x5*x9*x13*x15*x16*x18, 427 x4*x5*x7*x10*x11*x13*x14*x17*x18, 428 x6*x9*x11*x13*x14*x15*x16*x17*x18*x20, 429 x1*x2*x3*x5*x8*x9*x11*x13*x14*x15*x16*x19, 430 x3*x6*x7*x12*x13*x16*x20, 431 x1*x3*x6*x8*x9*x11*x13*x15*x18*x20, 432 x1*x4*x5*x6*x8*x11*x12*x13*x16*x17, 433 x2*x3*x4*x5*x8*x10*x12*x13*x16, 434 x1*x2*x3*x4*x5*x8*x10*x11*x13*x17, 435 x1*x2*x5*x6*x8*x9*x11*x13*x19, 436 x2*x4*x5*x6*x12*x13*x15*x16*x17*x18, 437 x1*x2*x5*x6*x10*x11*x13*x14*x15*x16*x17*x19, 438 x1*x2*x5*x8*x9*x10*x11*x13*x14*x15*x16, 439 x2*x3*x4*x7*x8*x9*x12*x14*x16*x17*x18*x19*x20, 440 x1*x6*x7*x9*x10*x11*x12*x13*x14*x17*x18*x20, 441 x2*x3*x6*x8*x9*x12*x16*x17*x18*x19*x20, 442 x1*x2*x8*x9*x11*x13*x15*x16*x17*x19*x20, 443 x1*x2*x4*x6*x8*x10*x11*x12*x13*x15*x17*x19, 444 x1*x2*x4*x5*x12*x13*x16*x19*x20, 445 x1*x4*x5*x6*x7*x8*x15*x16*x18*x19*x20, 446 x1*x4*x5*x7*x8*x11*x12*x13*x14*x15*x17*x18, 447 x1*x3*x5*x6*x8*x9*x13*x16, 448 x3*x7*x9*x11*x12*x14*x16*x18*x19*x20, 449 x2*x3*x6*x7*x9*x10*x13*x14*x15*x17*x19*x20, 450 x1*x2*x5*x6*x7*x16*x17, 451 x2*x4*x6*x10*x12*x13*x15*x16*x18, 452 x1*x4*x5*x6*x8*x11*x13*x20, 453 x3*x5*x7*x8*x9*x10*x12*x13*x15*x18*x19*x20, 454 x2*x3*x7*x9*x11*x12*x13*x15*x17, 455 x3*x4*x5*x6*x8*x10*x13*x15*x16*x17*x18, 456 x1*x3*x5*x7*x8*x9*x11*x12*x17*x20, 457 x1*x3*x11*x13*x14*x15*x16*x17*x19*x20, 458 x2*x4*x6*x7*x11*x13*x14*x17*x18*x19*x20, 459 x1*x3*x4*x5*x9*x10*x11*x12*x14*x15*x20, 460 x7*x8*x10*x13*x14*x15*x17*x18*x19*x20, 461 x1*x4*x8*x11*x14*x17*x20, 462 x1*x2*x3*x4*x6*x8*x10*x12*x14*x17*x18, 463 x1*x2*x5*x7*x8*x12*x13*x15*x16, 464 x3*x4*x10*x12*x14*x16*x17*x19, 465 x1*x2*x4*x5*x6*x7*x9*x11*x13*x15*x18, 466 x3*x4*x7*x8*x9*x10*x11*x12*x13*x15*x17*x19*x20, 467 x1*x2*x4*x10*x11*x13*x15*x17*x18*x19*x20, 468 x1*x3*x4*x6*x8*x9*x10*x11*x12*x14*x16*x19*x20, 469 x3*x5*x7*x8*x10*x11*x12*x13*x14*x15*x16*x17*x18, 470 x1*x2*x3*x6*x10*x12*x13*x14*x16*x18*x19, 471 x1*x2*x3*x4*x8*x9*x10*x16*x17*x18*x19, 472 x1*x5*x7*x8*x10*x12*x13*x15*x19*x20, 473 x2*x6*x7*x8*x9*x11*x13*x16*x18*x19, 474 x4*x6*x9*x11*x13*x16*x19*x20, 475 x3*x4*x5*x6*x7*x9*x12*x14*x15*x16*x20, 476 x1*x2*x6*x9*x11*x12*x15*x16*x17, 477 x2*x3*x4*x6*x11*x13*x14*x15*x16*x17*x18*x19, 478 x1*x2*x5*x7*x13*x14*x15*x17*x20, 479 x5*x6*x8*x10*x11*x12*x14*x15*x16*x19*x20, 480 x1*x4*x5*x6*x7*x8*x11*x13, 481 x1*x3*x6*x8*x9*x10*x16*x17*x19, 482 x5*x7*x10*x11*x12*x16*x18*x20, 483 x1*x2*x4*x6*x7*x12*x14*x15*x20, 484 x2*x3*x5*x14*x16*x17*x18*x20, 485 x1*x2*x3*x4*x5*x7*x8*x10*x15*x17*x19*x20, 486 x1*x2*x5*x11*x15*x17*x18*x20, 487 x4*x5*x9*x12*x13*x15*x16*x17*x19, 488 x1*x6*x7*x14*x15*x16*x17*x20, 489 x1*x2*x3*x4*x12*x13*x14*x16*x17*x20, 490 x2*x3*x5*x8*x10*x11*x14*x15*x17, 491 x2*x3*x4*x5*x6*x7*x9*x11*x13*x18, 492 x2*x3*x5*x7*x8*x12*x13*x14*x18, 493 x2*x4*x8*x9*x10*x11*x13*x15*x16*x18, 494 x2*x3*x5*x6*x7*x11*x15*x17*x18*x19*x20, 495 x1*x4*x6*x9*x11*x12*x13*x14*x16*x17*x18*x20, 496 x3*x4*x5*x6*x8*x11*x12*x13*x16*x17*x18*x19, 497 x3*x4*x5*x6*x7*x8*x10*x14*x17*x18, 498 x1*x3*x4*x5*x9*x11*x13*x16*x18*x19*x20, 499 x5*x6*x8*x9*x10*x12*x13*x15*x19*x20, 500 x2*x5*x6*x9*x10*x16*x20, 501 x2*x4*x5*x6*x8*x9*x10*x18*x20, 502 x2*x6*x8*x9*x11*x12*x13*x18*x20, 503 x1*x2*x3*x6*x7*x9*x10*x11*x15*x17*x20, 504 x1*x2*x5*x8*x12*x13*x15*x16*x17, 505 x1*x2*x3*x4*x6*x7*x8*x11*x14*x17*x18, 506 x4*x5*x6*x8*x10*x11*x14*x15*x17, 507 x1*x4*x5*x6*x7*x9*x11*x12*x15*x17*x19, 508 x2*x5*x7*x8*x9*x10*x11*x12*x15*x18*x20, 509 x2*x3*x5*x6*x7*x10*x11*x12*x14*x15*x17, 510 x1*x2*x5*x6*x7*x8*x9*x11*x14*x15*x17, 511 x2*x4*x6*x8*x9*x10*x11*x12*x15*x16*x17*x18, 512 x1*x4*x7*x8*x12*x15*x16*x18*x20, 513 x8*x9*x12*x13*x14*x15*x16*x17*x19*x20, 514 x2*x4*x6*x7*x8*x9*x11*x16*x19*x20, 515 x1*x3*x4*x5*x9*x13*x15*x17*x18*x20, 516 x1*x3*x5*x6*x7*x8*x9*x11*x14*x15*x19, 517 x1*x2*x3*x7*x9*x10*x11*x13*x18*x19, 518 x4*x6*x7*x9*x14*x17*x19*x20, 519 x2*x6*x9*x10*x12*x15*x16*x19*x20, 520 x1*x3*x4*x5*x13*x14*x15*x18, 521 x5*x6*x7*x8*x9*x11*x12*x16*x17*x20, 522 x1*x2*x3*x6*x8*x10*x11*x12*x13*x14*x17*x18*x19, 523 x2*x4*x6*x8*x9*x11*x14*x15*x16*x17*x18, 524 x3*x4*x5*x9*x11*x14*x15*x16*x19, 525 x2*x6*x7*x8*x11*x12*x17*x18*x20, 526 x1*x2*x4*x6*x8*x9*x10*x11*x17*x20, 527 x1*x2*x5*x6*x7*x9*x10*x15*x18*x19*x20, 528 x1*x2*x3*x6*x7*x8*x10*x11*x12*x14, 529 x2*x3*x8*x9*x10*x11*x14*x15*x17*x18, 530 x4*x5*x6*x7*x8*x9*x10*x16*x18*x19, 531 x1*x4*x6*x10*x13*x16*x17*x19, 532 x1*x2*x3*x5*x7*x12*x13*x15*x19*x20, 533 x2*x5*x7*x8*x9*x10*x12*x14*x16*x18, 534 x1*x2*x6*x7*x9*x10*x11*x14*x16*x18, 535 x1*x2*x3*x7*x11*x12*x13*x15*x17*x18, 536 x2*x3*x4*x5*x6*x10*x11*x14*x18*x19, 537 x1*x3*x4*x6*x8*x11*x13*x15*x17*x19, 538 x2*x3*x4*x5*x8*x9*x10*x17*x18*x20, 539 x2*x3*x5*x8*x10*x12*x14*x16*x18*x19, 540 x1*x2*x8*x10*x15*x17*x18*x19, 541 x2*x3*x8*x9*x11*x14*x16*x17*x20, 542 x2*x3*x4*x6*x8*x10*x13*x15*x16*x18*x19, 543 x1*x2*x3*x5*x6*x8*x9*x12*x14*x16*x20, 544 x4*x6*x7*x8*x10*x11*x13*x14*x17*x18*x19, 545 x2*x3*x5*x6*x9*x10*x13*x15*x18*x20, 546 x1*x4*x5*x6*x8*x11*x12*x14*x16*x17*x19, 547 x1*x2*x3*x5*x7*x10*x12*x15*x16*x18, 548 x5*x6*x9*x10*x14*x15*x17, 549 x1*x5*x6*x8*x9*x10*x12*x13*x15*x20, 550 x5*x9*x10*x11*x14*x17*x18, 551 x1*x2*x3*x4*x6*x7*x8*x9*x16*x17*x20, 552 x1*x2*x3*x4*x5*x8*x13*x14*x16*x19*x20, 553 x5*x7*x8*x9*x10*x14*x16*x17, 554 x1*x3*x5*x6*x8*x10*x11*x12*x16, 555 x2*x3*x4*x5*x7*x10*x11*x15*x18, 556 x1*x2*x3*x4*x6*x7*x13*x14*x15*x16*x18*x20, 557 x2*x5*x6*x10*x12*x13*x16*x17*x18*x19*x20, 558 x3*x4*x5*x6*x9*x12*x14*x16*x17*x19, 559 x2*x4*x5*x6*x9*x10*x11*x15*x16*x18, 560 x1*x2*x3*x4*x5*x6*x8*x9*x11*x12*x16, 561 x2*x3*x5*x8*x10*x11*x13*x16*x17*x19, 562 x2*x3*x4*x6*x9*x10*x11*x17*x18*x20, 563 x1*x2*x4*x5*x6*x7*x16*x20, 564 x1*x3*x6*x7*x8*x9*x12*x17*x19, 565 x1*x2*x5*x8*x10*x11*x12*x13*x18*x19, 566 x1*x3*x4*x6*x8*x10*x13*x17*x18, 567 x2*x3*x5*x7*x9*x10*x12*x13*x16*x17, 568 x1*x2*x3*x6*x8*x10*x12*x13*x14*x15*x17*x20, 569 x1*x2*x7*x8*x9*x13*x14*x16*x18, 570 x3*x7*x8*x11*x14*x15*x18*x20, 571 x2*x9*x11*x13*x14*x16*x18, 572 x2*x5*x7*x10*x14*x15*x18*x19, 573 x2*x3*x5*x6*x7*x9*x12*x15*x17*x18*x19*x20, 574 x2*x3*x4*x5*x6*x13*x15*x16*x17*x18*x20, 575 x4*x5*x7*x9*x10*x15*x16*x17*x19*x20, 576 x4*x5*x8*x9*x11*x12*x14*x15*x16*x18, 577 x2*x3*x4*x8*x10*x13*x14*x15*x20, 578 x2*x4*x5*x8*x11*x12*x19*x20, 579 x1*x9*x11*x13*x14*x15*x16*x17*x18*x19*x20, 580 x1*x3*x4*x5*x11*x13*x14*x16*x17*x19, 581 x1*x2*x3*x4*x8*x11*x15*x17*x20, 582 x1*x2*x3*x5*x8*x9*x10*x14*x15*x16*x20, 583 x2*x3*x4*x10*x12*x14*x16*x20, 584 x4*x8*x9*x10*x12*x16*x17*x20, 585 x2*x9*x10*x11*x14*x15*x17*x18*x19, 586 x1*x2*x3*x8*x12*x14*x15*x16*x18, 587 x1*x2*x5*x6*x8*x10*x11*x12*x13*x15*x19*x20, 588 x2*x3*x4*x6*x7*x8*x11*x12*x15*x16, 589 x3*x4*x5*x6*x8*x9*x11*x12*x14*x19, 590 x3*x5*x9*x10*x13*x16*x17*x19*x20, 591 x1*x4*x5*x8*x9*x12*x13*x14*x15*x17*x18, 592 x1*x2*x3*x5*x8*x12*x14*x16*x17*x18*x19, 593 x2*x3*x8*x11*x12*x15*x18*x19*x20, 594 x2*x3*x7*x8*x9*x10*x11*x12*x15*x16*x18, 595 x1*x2*x4*x8*x9*x12*x16*x17*x18, 596 x4*x6*x8*x9*x10*x11*x12*x18*x20, 597 x3*x7*x8*x9*x11*x12*x15*x16*x17*x20, 598 x1*x2*x4*x5*x7*x10*x11*x12*x13*x16*x18, 599 x3*x6*x7*x9*x10*x11*x12*x13*x14*x17, 600 x6*x7*x8*x9*x10*x15*x16*x17*x18, 601 x1*x7*x9*x11*x12*x15*x17*x19*x20, 602 x1*x2*x3*x4*x5*x7*x8*x10*x11*x15*x17, 603 x3*x4*x5*x6*x8*x14*x15*x16*x18*x19, 604 x1*x2*x4*x10*x12*x13*x15*x16*x17*x19, 605 x1*x5*x7*x8*x10*x11*x12*x13*x14*x18, 606 x1*x4*x5*x7*x10*x11*x16*x19, 607 x2*x3*x5*x6*x7*x8*x15*x19*x20, 608 x2*x3*x5*x7*x8*x10*x13*x14*x16*x19*x20, 609 x1*x2*x4*x6*x7*x9*x10*x11*x14*x18, 610 x1*x2*x4*x5*x7*x12*x13*x14*x16*x18, 611 x1*x4*x6*x7*x8*x9*x10*x13*x14*x18, 612 x3*x6*x7*x8*x10*x12*x17*x18*x19, 613 x2*x3*x4*x6*x8*x9*x12*x13*x15*x19, 614 x1*x2*x3*x4*x7*x8*x12*x13*x16*x17*x18, 615 x1*x3*x8*x9*x10*x13*x16*x20, 616 x4*x7*x11*x12*x13*x14*x17*x18*x19*x20, 617 x2*x3*x4*x7*x9*x10*x11*x13*x15*x17, 618 x1*x2*x3*x9*x11*x13*x15*x17*x18*x19*x20, 619 x3*x4*x8*x9*x12*x13*x14*x15*x19, 620 x2*x4*x8*x10*x12*x13*x14*x17, 621 x3*x6*x7*x9*x10*x14*x16*x17*x19*x20, 622 x1*x4*x6*x10*x12*x14*x18*x19*x20, 623 x1*x2*x3*x7*x8*x10*x11*x12*x13*x14, 624 x1*x2*x5*x9*x10*x11*x12*x13*x16*x20, 625 x1*x3*x4*x5*x7*x14*x15*x16*x17*x18*x19, 626 x1*x3*x4*x6*x9*x13*x14*x15*x18*x19*x20, 627 x1*x2*x3*x5*x6*x7*x10*x11*x16*x18, 628 x1*x2*x5*x6*x8*x10*x13*x18*x19, 629 x2*x3*x5*x7*x10*x13*x15*x16*x17*x18*x20, 630 x1*x6*x7*x8*x9*x13*x14*x17*x18, 631 x1*x5*x9*x10*x12*x15*x16*x17, 632 x4*x5*x7*x9*x10*x12*x13*x15*x18*x20, 633 x3*x5*x6*x7*x8*x9*x10*x12*x13*x16, 634 x2*x8*x12*x13*x15*x16*x18*x19, 635 x1*x2*x5*x8*x11*x14*x15*x16*x17*x20, 636 x1*x2*x5*x9*x11*x14*x15*x16*x18*x20, 637 x2*x4*x5*x6*x7*x15*x16*x20, 638 x1*x2*x3*x5*x6*x10*x13*x14*x15*x18*x19, 639 x1*x3*x5*x7*x10*x16*x17*x18, 640 x2*x5*x6*x7*x8*x10*x13*x16*x19, 641 x2*x5*x6*x9*x10*x11*x12*x15*x16*x18*x19, 642 x4*x8*x9*x11*x14*x17*x18*x19*x20, 643 x2*x3*x7*x9*x10*x13*x15*x16*x17*x18, 644 x1*x3*x4*x6*x7*x8*x9*x11*x12*x17, 645 x1*x2*x4*x5*x6*x11*x12*x13*x15*x16*x18*x20, 646 x1*x2*x3*x4*x5*x7*x8*x9*x12*x13*x17*x18, 647 x1*x2*x3*x4*x6*x7*x8*x10*x15, 648 x3*x4*x6*x7*x8*x9*x11*x12*x13*x15*x19, 649 x1*x3*x4*x5*x6*x8*x12*x14*x15*x17*x19, 650 x3*x5*x6*x7*x8*x10*x13*x14*x15*x16*x17, 651 x3*x4*x7*x8*x11*x15*x18*x19*x20, 652 x1*x3*x5*x6*x7*x8*x10*x11*x13*x15*x16*x19, 653 x3*x4*x5*x6*x10*x11*x14*x15*x17*x19, 654 x3*x6*x7*x10*x12*x13*x14*x15*x17*x18*x19*x20, 655 x2*x3*x4*x5*x6*x8*x10*x18*x19, 656 x2*x5*x9*x10*x11*x15*x16*x17*x18*x19*x20, 657 x1*x3*x5*x11*x12*x13*x16*x18*x20, 658 x1*x3*x5*x6*x7*x9*x11*x13*x15*x18*x19, 659 x2*x5*x7*x8*x10*x12*x13*x18*x19*x20, 660 x2*x4*x5*x6*x7*x8*x13*x15*x17*x18, 661 x1*x5*x7*x8*x9*x10*x12*x17*x18, 662 x1*x2*x3*x4*x6*x8*x17*x18*x19*x20, 663 x1*x3*x4*x5*x7*x8*x13*x20, 664 x3*x4*x7*x9*x11*x12*x13*x16*x17*x19, 665 x3*x4*x5*x7*x8*x9*x11*x13*x15*x20, 666 x2*x3*x6*x7*x10*x11*x12*x14*x15*x16*x20, 667 x1*x2*x5*x7*x12*x13*x15*x16*x17*x20, 668 x2*x7*x8*x9*x10*x13*x14*x17*x19, 669 x1*x3*x4*x9*x10*x12*x13*x14*x18*x19, 670 x1*x2*x3*x4*x14*x16*x17*x18*x19, 671 x2*x6*x7*x8*x10*x13*x15*x18, 672 x3*x5*x7*x9*x10*x12*x14*x15*x17*x20, 673 x1*x2*x4*x6*x8*x11*x12*x13*x16*x17*x18*x20, 674 x1*x5*x8*x10*x11*x14*x16*x17*x18, 675 x6*x9*x10*x12*x13*x14*x16*x17*x18, 676 x2*x8*x10*x11*x12*x13*x14*x15*x20, 677 x1*x5*x6*x8*x9*x10*x11*x12*x13*x15*x19, 678 x3*x4*x5*x9*x10*x11*x12*x13*x17, 679 x1*x2*x4*x6*x8*x9*x11*x12*x16*x17*x19*x20, 680 x1*x2*x3*x5*x6*x9*x10*x11*x12*x13*x14*x18, 681 x2*x6*x7*x8*x9*x10*x11*x14*x17*x18*x20, 682 x2*x6*x7*x9*x11*x12*x15*x17*x18*x20, 683 x2*x3*x7*x8*x10*x12*x16*x19, 684 x3*x6*x8*x10*x11*x12*x13*x14*x15*x18, 685 x3*x7*x9*x10*x11*x14*x15*x16*x18*x20, 686 x2*x3*x4*x7*x12*x13*x14*x15*x18*x20, 687 x1*x7*x8*x9*x10*x12*x13*x15*x17, 688 x1*x2*x4*x6*x7*x8*x10*x13*x17*x19, 689 x1*x3*x4*x5*x10*x16*x17*x18, 690 x1*x3*x7*x8*x12*x13*x14*x16*x17*x18*x20, 691 x3*x4*x5*x6*x9*x11*x15*x16*x20, 692 x1*x6*x8*x9*x10*x11*x14*x15*x16*x19, 693 x1*x2*x4*x6*x8*x9*x11*x12*x15, 694 x1*x2*x5*x6*x8*x12*x13*x14*x16*x17*x20, 695 x3*x5*x6*x8*x9*x11*x12*x14*x17*x18*x19, 696 x1*x4*x5*x6*x9*x11*x12*x13*x16*x18*x19, 697 x1*x3*x8*x11*x12*x14*x15*x19*x20, 698 x1*x2*x3*x7*x10*x12*x13*x15*x17*x18*x19*x20, 699 x2*x4*x6*x10*x12*x13*x14*x16*x18*x20, 700 x3*x4*x5*x12*x13*x14*x15*x17*x18, 701 x2*x3*x4*x5*x6*x8*x10*x19*x20, 702 x1*x2*x3*x5*x10*x11*x12*x13*x18*x19*x20, 703 x3*x5*x6*x10*x13*x15*x16*x17*x20, 704 x4*x5*x6*x7*x8*x9*x10*x16*x17*x20, 705 x1*x2*x3*x5*x6*x8*x10*x11*x15*x16*x20, 706 x1*x4*x5*x8*x14*x15*x16*x18, 707 x2*x12*x13*x14*x15*x16*x20, 708 x1*x2*x3*x4*x7*x12*x13*x14*x15*x17*x19*x20, 709 x1*x5*x8*x10*x11*x13*x15*x16*x18, 710 x1*x3*x6*x10*x11*x15*x18*x19, 711 x2*x3*x4*x5*x9*x10*x15*x17*x18*x19, 712 x1*x2*x4*x5*x8*x9*x10*x11*x12*x13*x15*x17, 713 x2*x4*x5*x6*x7*x10*x11*x12*x20, 714 x3*x4*x6*x7*x8*x9*x10*x12*x17*x19*x20, 715 x3*x6*x7*x10*x11*x12*x13*x15*x16*x17*x18*x19, 716 x1*x3*x5*x6*x7*x10*x11*x13*x14, 717 x2*x7*x9*x11*x14*x16*x17*x19, 718 x1*x2*x3*x7*x8*x9*x10*x15*x16*x20, 719 x2*x3*x10*x12*x15*x16*x17*x19*x20, 720 x1*x2*x3*x4*x5*x8*x10*x11*x18*x19*x20, 721 x4*x6*x7*x9*x11*x12*x14*x16*x19*x20, 722 x1*x3*x4*x6*x7*x11*x12*x15*x16*x17*x20, 723 x1*x4*x6*x7*x9*x14*x17*x18*x19, 724 x1*x7*x8*x9*x11*x14*x15*x16*x19*x20, 725 x1*x3*x4*x9*x10*x14*x15*x17*x19, 726 x1*x3*x6*x8*x10*x11*x15*x16*x17*x19*x20, 727 x1*x4*x5*x11*x14*x19*x20, 728 x3*x5*x6*x9*x10*x12*x13*x14*x16*x20, 729 x1*x4*x7*x8*x9*x10*x11*x12*x14*x16, 730 x1*x3*x5*x7*x11*x12*x14*x15*x16*x19*x20, 731 x1*x4*x6*x7*x8*x9*x14*x15*x16*x17*x18, 732 x1*x3*x6*x10*x12*x13*x15*x16*x18*x19, 733 x2*x3*x5*x6*x10*x12*x13*x14*x16*x17*x19, 734 x1*x2*x7*x8*x9*x11*x12*x13*x14*x16*x20, 735 x1*x2*x4*x7*x10*x11*x14*x16*x17*x20, 736 x2*x4*x5*x9*x10*x11*x13*x14*x17*x19, 737 x2*x3*x4*x7*x9*x10*x11*x12*x13*x14*x16, 738 x3*x4*x5*x8*x10*x11*x13*x16, 739 x4*x6*x7*x9*x11*x13*x15*x17*x18*x20, 740 x2*x3*x5*x7*x8*x9*x14*x16*x18*x19*x20, 741 x4*x6*x7*x11*x12*x13*x15*x17*x18*x19*x20, 742 x2*x4*x9*x10*x12*x13*x14*x16*x18, 743 x1*x2*x4*x5*x8*x9*x13*x17*x18*x19*x20, 744 x3*x4*x5*x7*x8*x9*x12*x14*x15*x17*x18, 745 x2*x4*x7*x8*x10*x11*x13*x14*x16*x17*x19, 746 x3*x4*x11*x12*x13*x14*x16*x18*x19, 747 x2*x3*x6*x7*x8*x9*x10*x11*x13*x14*x15*x16, 748 x1*x2*x4*x6*x7*x8*x10*x13*x14*x17*x18, 749 x1*x3*x4*x7*x11*x12*x13*x16*x19, 750 x1*x2*x7*x11*x12*x13*x18*x19*x20, 751 x1*x7*x8*x10*x12*x13*x15*x18*x19*x20, 752 x4*x6*x7*x10*x12*x13*x15*x16*x18, 753 x2*x3*x5*x7*x10*x12*x13*x15*x18, 754 x1*x2*x8*x9*x12*x13*x14*x16*x19, 755 x2*x3*x5*x6*x7*x10*x14*x15*x17*x19*x20, 756 x1*x2*x3*x4*x5*x8*x9*x11*x12*x15*x16*x20, 757 x4*x5*x7*x8*x9*x12*x13*x17*x19*x20, 758 x3*x4*x5*x6*x10*x12*x13*x14*x16*x17, 759 x4*x5*x6*x8*x9*x11*x13*x14*x16, 760 x1*x2*x3*x4*x5*x8*x9*x10*x11*x14*x18, 761 x2*x4*x7*x9*x11*x12*x13*x14*x15*x18*x20, 762 x1*x2*x4*x7*x8*x9*x10*x11*x15*x20, 763 x2*x3*x4*x7*x9*x12*x15*x16*x18*x19, 764 x2*x3*x7*x8*x9*x10*x11*x12*x13*x17*x18*x20, 765 x2*x4*x6*x7*x10*x13*x15*x16*x19*x20, 766 x1*x3*x6*x10*x11*x13*x16*x18*x19*x20, 767 x1*x2*x4*x5*x6*x8*x10*x12*x14*x15, 768 x1*x2*x5*x10*x11*x12*x14*x15*x17*x18*x19, 769 x2*x6*x8*x9*x13*x15*x18*x19*x20, 770 x3*x5*x6*x7*x9*x12*x14*x17*x18*x19*x20, 771 x1*x2*x4*x8*x9*x11*x14*x16*x19, 772 x3*x4*x6*x7*x9*x10*x12*x13*x14, 773 x1*x3*x4*x7*x9*x11*x12*x15*x16*x18*x19, 774 x1*x2*x3*x7*x10*x15*x16*x17*x18*x19*x20, 775 x3*x4*x6*x7*x9*x11*x15*x19*x20, 776 x2*x3*x4*x7*x8*x11*x12*x15*x16*x19*x20, 777 x2*x4*x5*x7*x9*x13*x15*x16*x17*x20, 778 x2*x3*x5*x6*x8*x13*x17*x18*x19, 779 x3*x4*x6*x8*x10*x15*x16*x17*x20, 780 x2*x3*x6*x8*x11*x12*x13*x15*x16*x17*x18*x20, 781 x2*x4*x5*x8*x10*x11*x12*x13*x16*x18, 782 x3*x4*x5*x9*x11*x12*x14*x15*x18*x19, 783 x1*x2*x3*x4*x5*x8*x9*x10*x13*x14*x19*x20, 784 x1*x3*x4*x6*x9*x10*x18*x19*x20, 785 x3*x4*x7*x9*x10*x14*x16*x17*x18*x20, 786 x6*x7*x9*x14*x15*x17*x18*x20, 787 x1*x7*x8*x11*x12*x13*x15*x17*x20, 788 x3*x4*x6*x8*x9*x11*x13*x16*x17, 789 x1*x2*x3*x4*x6*x9*x10*x15*x16*x17*x18*x20, 790 x1*x2*x10*x11*x12*x15*x16*x19*x20, 791 x2*x4*x7*x8*x10*x11*x15*x17*x18*x20, 792 x2*x3*x8*x10*x12*x14*x15*x19*x20, 793 x2*x3*x4*x5*x9*x10*x13*x14*x15*x19*x20, 794 x2*x6*x8*x9*x11*x13*x14*x19*x20, 795 x1*x5*x8*x10*x13*x14*x16*x17*x20, 796 x2*x7*x8*x9*x11*x15*x17*x18*x19*x20, 797 x2*x3*x4*x5*x6*x7*x11*x13*x14*x17*x18, 798 x2*x3*x5*x6*x7*x8*x9*x10*x12*x15*x17, 799 x1*x4*x6*x8*x9*x11*x12*x13*x14*x18*x19, 800 x2*x4*x9*x10*x12*x14*x15*x20, 801 x1*x2*x6*x7*x9*x12*x13*x17*x20, 802 x1*x3*x6*x9*x10*x11*x14*x17*x20, 803 x2*x4*x6*x8*x9*x11*x12*x14*x16*x18, 804 x2*x3*x4*x5*x11*x13*x15*x17*x18*x20, 805 x2*x3*x6*x7*x9*x10*x11*x12*x14*x15*x17, 806 x3*x4*x5*x6*x8*x9*x10*x14*x18*x20, 807 x1*x2*x3*x6*x7*x8*x10*x12*x14*x15*x16, 808 x4*x5*x7*x8*x10*x11*x12*x13*x15*x18, 809 x5*x6*x8*x10*x11*x12*x18*x19, 810 x3*x5*x6*x7*x9*x10*x11*x13*x14*x17*x20, 811 x2*x3*x5*x6*x7*x8*x15*x17*x18*x19, 812 x1*x5*x7*x8*x9*x10*x13*x14*x15*x17*x18, 813 x1*x2*x7*x8*x9*x10*x11*x15*x17*x19*x20, 814 x1*x3*x4*x9*x12*x13*x15*x16*x18*x20, 815 x6*x7*x8*x9*x11*x13*x14*x15*x16*x19, 816 x1*x2*x3*x4*x5*x6*x12*x15*x18*x20, 817 x3*x5*x6*x7*x9*x11*x12*x13*x14*x18*x20, 818 x1*x2*x5*x7*x9*x11*x12*x17*x18*x20, 819 x1*x2*x3*x10*x11*x12*x13*x15*x16, 820 x1*x2*x3*x7*x8*x9*x12*x14*x16*x19, 821 x2*x3*x6*x8*x10*x12*x15*x16*x18*x19, 822 x3*x4*x7*x8*x11*x12*x13*x14*x16*x18, 823 x1*x2*x3*x5*x8*x11*x12*x13*x17*x18*x19*x20, 824 x1*x2*x6*x9*x10*x12*x16*x17*x18*x19*x20, 825 x1*x2*x4*x5*x6*x9*x10*x12*x15*x16*x19, 826 x1*x5*x6*x7*x8*x9*x10*x14*x17*x19, 827 x2*x4*x5*x7*x9*x11*x13*x14*x15*x16*x20, 828 x1*x3*x6*x9*x10*x11*x13*x18*x20, 829 x4*x5*x6*x10*x11*x13*x14*x15*x18*x19, 830 x1*x2*x4*x5*x6*x11*x12*x13*x14*x15*x17*x19, 831 x3*x4*x9*x10*x11*x13*x14*x18, 832 x1*x4*x5*x7*x9*x15*x16*x17*x20, 833 x1*x4*x6*x7*x9*x13*x14*x16*x18*x19, 834 x2*x3*x7*x8*x10*x13*x16*x17*x20, 835 x1*x3*x4*x5*x6*x7*x9*x11*x13*x16*x19, 836 x1*x2*x5*x7*x11*x12*x13*x14*x16*x17*x19*x20, 837 x2*x5*x7*x8*x11*x12*x13*x14*x15*x17*x20, 838 x1*x2*x3*x4*x7*x11*x14*x16*x18*x19*x20, 839 x1*x2*x9*x10*x12*x15*x16*x17*x19, 840 x1*x2*x5*x9*x10*x11*x12*x13*x14*x17*x19, 841 x2*x4*x6*x7*x8*x11*x18*x20, 842 x3*x4*x5*x7*x8*x10*x16*x17*x18*x19*x20, 843 x2*x4*x6*x7*x9*x11*x15*x16*x20, 844 x1*x2*x3*x6*x10*x14*x15*x17*x18*x20, 845 x1*x4*x7*x8*x10*x13*x14*x15*x18, 846 x1*x3*x4*x6*x7*x14*x17*x18*x19, 847 x1*x2*x4*x7*x8*x11*x12*x13*x17*x19, 848 x1*x2*x4*x5*x6*x11*x13*x16*x17*x19, 849 x2*x5*x6*x7*x8*x9*x13*x17*x18, 850 x2*x4*x6*x7*x8*x9*x11*x12*x13*x15*x18, 851 x1*x2*x3*x8*x10*x12*x14*x16*x17, 852 x1*x3*x4*x5*x6*x9*x12*x16*x17*x18, 853 x1*x2*x3*x5*x9*x10*x11*x13*x15*x20, 854 x2*x8*x9*x13*x15*x16*x18*x19, 855 x1*x4*x5*x6*x7*x9*x10*x18*x19, 856 x4*x5*x6*x7*x8*x9*x10*x12*x15*x18*x19, 857 x1*x2*x3*x5*x7*x9*x11*x18*x20, 858 x2*x7*x8*x9*x14*x15*x17*x18*x19, 859 x1*x2*x3*x4*x8*x11*x12*x17*x18*x19*x20, 860 x1*x4*x5*x8*x11*x15*x16*x18*x19*x20, 861 x1*x4*x5*x7*x8*x9*x10*x11*x15*x17*x19, 862 x1*x3*x6*x8*x9*x10*x14*x16*x18*x19, 863 x1*x2*x3*x4*x9*x10*x11*x13*x14*x16, 864 x3*x7*x8*x10*x12*x14*x15*x16*x17*x18*x19*x20, 865 x1*x2*x3*x7*x9*x10*x11*x14*x15*x16, 866 x2*x3*x4*x6*x11*x12*x14*x15*x16*x17*x18, 867 x2*x4*x6*x7*x10*x12*x15*x16*x18*x19, 868 x1*x5*x6*x7*x9*x11*x13*x14*x15*x18*x19, 869 x1*x2*x3*x4*x9*x11*x12*x14*x15*x20, 870 x1*x4*x8*x9*x15*x17*x18*x19*x20, 871 x2*x5*x6*x8*x12*x14*x15*x16*x17*x20, 872 x4*x5*x7*x8*x9*x10*x11*x15*x16*x18*x19*x20, 873 x1*x2*x3*x4*x7*x12*x13*x15*x16*x17*x19, 874 x1*x2*x6*x9*x10*x11*x13*x15*x17*x19*x20, 875 x1*x3*x5*x8*x12*x13*x14*x15*x17*x19*x20, 876 x4*x6*x7*x10*x12*x14*x16*x18*x19*x20, 877 x2*x3*x4*x5*x6*x7*x8*x9*x14*x16*x18, 878 x1*x2*x3*x4*x10*x11*x14*x15*x18*x19, 879 x1*x2*x3*x5*x7*x8*x9*x10*x15*x19, 880 x1*x5*x6*x8*x9*x16*x17*x19*x20, 881 x1*x2*x4*x6*x10*x12*x15*x16*x17*x18*x19*x20, 882 x3*x5*x6*x7*x8*x9*x10*x15*x18*x19, 883 x2*x6*x7*x8*x11*x16*x18*x19*x20, 884 x1*x3*x4*x6*x8*x9*x11*x13*x16*x19, 885 x4*x5*x7*x8*x9*x10*x13*x16, 886 x2*x3*x5*x6*x8*x9*x12*x15*x16*x17*x18, 887 x1*x3*x5*x8*x11*x12*x14*x17*x18*x19*x20, 888 x3*x4*x6*x7*x11*x13*x17*x19*x20, 889 x2*x5*x7*x11*x16*x17*x18*x19*x20, 890 x2*x4*x6*x7*x10*x11*x14*x15*x18*x20, 891 x1*x2*x6*x7*x9*x13*x16*x17*x20, 892 x1*x2*x4*x9*x10*x11*x12*x14*x16*x17*x20, 893 x2*x4*x5*x7*x8*x10*x14*x17*x19*x20, 894 x1*x2*x3*x5*x9*x10*x11*x12*x13*x14*x15*x18*x19, 895 x1*x2*x6*x10*x12*x13*x14*x16*x17*x19, 896 x2*x3*x5*x6*x7*x10*x13*x15*x16*x17*x19, 897 x1*x2*x3*x4*x6*x7*x9*x10*x16*x18, 898 x2*x4*x7*x8*x10*x12*x15*x20, 899 x1*x4*x5*x11*x13*x14*x15*x17*x18*x19, 900 x2*x5*x6*x7*x11*x12*x13*x20, 901 x1*x2*x3*x4*x5*x6*x9*x13*x15*x18*x20, 902 x2*x3*x5*x6*x9*x11*x14*x15*x17*x20, 903 x1*x2*x3*x4*x7*x10*x11*x13*x18*x19, 904 x1*x2*x6*x7*x8*x9*x10*x11*x12, 905 x1*x2*x3*x4*x7*x8*x9*x10*x13*x17*x18, 906 x1*x3*x4*x6*x7*x11*x15*x16*x17*x18*x20, 907 x1*x4*x8*x10*x12*x14*x15*x16*x18*x20, 908 x1*x4*x6*x9*x10*x12*x14*x15*x18, 909 x4*x5*x6*x7*x10*x12*x13*x14*x15*x17*x18, 910 x1*x3*x4*x5*x6*x8*x9*x11*x12*x14*x16*x17, 911 x2*x3*x4*x6*x7*x8*x9*x16*x19*x20, 912 x3*x4*x5*x7*x10*x13*x14*x17*x20, 913 x1*x3*x4*x5*x8*x12*x13*x15*x16*x18*x19*x20, 914 x2*x3*x4*x7*x8*x9*x11*x14*x15*x18, 915 x1*x2*x3*x4*x5*x6*x8*x11*x13*x14*x16*x17*x18, 916 x3*x7*x8*x9*x10*x12*x13*x16*x17, 917 x1*x2*x4*x7*x8*x10*x12*x14*x15*x17*x18, 918 x1*x3*x4*x5*x9*x10*x12*x13*x16*x18*x19, 919 x1*x2*x4*x10*x11*x14*x16*x17*x19*x20, 920 x1*x2*x3*x4*x7*x8*x10*x11*x15*x20, 921 x1*x2*x5*x11*x12*x14*x15*x16, 922 x1*x2*x3*x4*x8*x11*x12*x16*x17*x18*x20, 923 x4*x5*x10*x11*x14*x15*x16*x17*x20, 924 x1*x2*x4*x5*x6*x9*x10*x13*x17*x18*x20, 925 x1*x3*x4*x5*x6*x7*x11*x13*x14*x15*x19, 926 x2*x3*x4*x7*x8*x10*x13*x19*x20, 927 x2*x4*x5*x10*x11*x12*x13*x14*x16*x18*x20, 928 x1*x2*x3*x4*x5*x7*x9*x16*x18*x19, 929 x1*x2*x4*x12*x13*x14*x16*x17*x18, 930 x3*x4*x11*x12*x13*x15*x16*x17*x18*x19, 931 x1*x6*x8*x10*x13*x15*x16*x18*x20, 932 x3*x5*x6*x9*x10*x13*x15*x17*x18*x19, 933 x3*x4*x6*x8*x10*x12*x14*x15*x16*x17, 934 x2*x5*x8*x10*x11*x13*x14*x15*x18*x19, 935 x2*x3*x9*x10*x11*x12*x13*x14*x15*x17*x20, 936 x1*x2*x6*x8*x9*x10*x11*x13*x17*x19, 937 x3*x4*x6*x9*x10*x12*x13*x16*x17*x18*x19, 938 x2*x4*x5*x8*x11*x12*x15*x16*x17, 939 x1*x9*x10*x11*x12*x13*x14*x15*x16*x17*x20, 940 x1*x4*x7*x9*x13*x14*x15*x16*x17, 941 x5*x6*x7*x10*x11*x12*x13*x15*x17*x18*x20, 942 x2*x3*x8*x10*x11*x17*x19*x20, 943 x2*x4*x5*x6*x9*x12*x14*x16*x17*x18, 944 x1*x5*x6*x7*x9*x10*x11*x12*x13*x14*x17, 945 x1*x2*x3*x4*x5*x7*x8*x11*x12*x16*x18*x20, 946 x1*x2*x5*x7*x8*x10*x12*x13*x16*x18*x20, 947 x5*x9*x10*x12*x13*x15*x16*x19*x20, 948 x3*x4*x5*x8*x9*x10*x12*x13*x20, 949 x2*x3*x6*x8*x9*x14*x18*x19*x20, 950 x2*x3*x5*x11*x14*x15*x16*x17*x18, 951 x6*x8*x10*x11*x12*x14*x17*x20, 952 x1*x2*x3*x4*x7*x10*x12*x14*x17*x18, 953 x3*x4*x6*x7*x9*x13*x14*x16, 954 x1*x3*x6*x9*x10*x12*x14*x15*x16*x19, 955 x3*x6*x10*x11*x12*x14*x16*x17*x18*x19*x20, 956 x1*x3*x4*x5*x7*x10*x11*x12*x14*x15*x18, 957 x1*x2*x3*x4*x10*x11*x13*x14*x18*x20, 958 x5*x8*x9*x11*x14*x15*x16*x18*x19, 959 x1*x7*x9*x11*x12*x13*x14*x16*x17*x18*x19*x20, 960 x1*x2*x3*x6*x8*x10*x13*x14*x19*x20, 961 x1*x2*x5*x6*x8*x9*x10*x12*x20, 962 x1*x3*x7*x8*x9*x10*x11*x12*x16*x17*x19, 963 x1*x3*x4*x5*x7*x8*x9*x11*x15*x16*x18*x20, 964 x1*x2*x3*x4*x6*x8*x9*x13*x14*x16*x19, 965 x5*x7*x11*x13*x14*x15*x16*x18*x19*x20, 966 x1*x4*x7*x8*x10*x12*x13*x14*x19*x20, 967 x1*x2*x4*x11*x13*x14*x18*x19*x20, 968 x2*x3*x7*x8*x9*x10*x13*x14*x16*x19, 969 x4*x5*x6*x8*x9*x10*x12*x14*x16*x17, 970 x2*x7*x9*x14*x15*x16*x17*x20, 971 x1*x2*x3*x9*x12*x14*x15*x16*x17*x19*x20, 972 x1*x3*x5*x7*x8*x12*x14*x17*x20, 973 x5*x6*x8*x13*x14*x16*x17*x18*x19*x20, 974 x1*x3*x5*x6*x9*x12*x14*x15*x17, 975 x1*x2*x4*x6*x7*x10*x11*x14*x15*x16*x19, 976 x1*x4*x5*x9*x13*x15*x16*x17*x18*x19, 977 x1*x2*x7*x8*x11*x13*x15*x17*x18, 978 x1*x2*x3*x9*x11*x15*x16*x17*x18*x20, 979 x1*x4*x8*x11*x13*x14*x15*x16*x19, 980 x1*x3*x6*x7*x9*x11*x12*x16*x19, 981 x1*x2*x3*x4*x5*x6*x9*x11*x13*x15*x17*x19, 982 x1*x2*x5*x7*x9*x12*x15*x18*x20, 983 x1*x2*x3*x4*x6*x9*x10*x11*x13*x20, 984 x4*x5*x8*x10*x11*x14*x15*x20, 985 x1*x2*x3*x5*x7*x10*x11*x12*x16*x18*x19, 986 x3*x6*x7*x9*x12*x13*x16*x18, 987 x3*x7*x8*x9*x13*x14*x15*x16*x17*x19, 988 x1*x3*x4*x9*x10*x11*x14*x17*x18, 989 x2*x4*x6*x7*x9*x10*x11*x15*x16*x18*x19, 990 x4*x5*x7*x8*x10*x11*x13*x15*x16*x17*x18*x19, 991 x1*x4*x6*x7*x8*x10*x11*x12*x14*x18, 992 x3*x6*x7*x10*x12*x15*x16*x17*x18*x19*x20, 993 x1*x4*x5*x7*x10*x13*x14*x15*x16*x17*x20, 994 x1*x8*x9*x10*x11*x12*x14*x16*x17, 995 x1*x10*x13*x14*x16*x17*x18*x19*x20, 996 x3*x6*x7*x8*x9*x10*x11*x12*x14*x19*x20, 997 x1*x3*x4*x5*x7*x8*x12*x16*x17*x20, 998 x1*x3*x4*x5*x6*x7*x8*x11*x14*x16*x17*x19, 999 x1*x3*x6*x8*x10*x11*x12*x13*x15, 1000 x1*x2*x6*x7*x8*x12*x13*x14*x16*x17*x18, 1001 x1*x2*x5*x7*x8*x11*x12*x13*x14*x15*x18, 1002 x4*x7*x8*x10*x12*x13*x16*x17 1003); 1004