1 vddtie 2 vsstie 3 nr4 0000 4 or4 not (0000) 5 nr4a 0001 6 nd4abc not (0001) 7 nr4ab 0011 8 nd4ab not (0011) 9 nr4abc 0111 10 nd4a not (0111) 11 an4 1111 12 nd4 not (1111) 13 nr3 0000+0001 14 or3 not (0000+0001) 15 xroi211 0000+0011 16 xron211 not (0000+0011) 17 0000+0111 18 not (0000+0111) 19 0000+1111 20 not (0000+1111) 21 xnoi211 0001+0010 22 xnon211 not (0001+0010) 23 nr3a 0001+0011 24 nd3ab not (0001+0011) 25 0001+0110 26 not (0001+0110) 27 xnan211b 0001+0111 28 xnai211b not (0001+0111) 29 0001+1110 30 not (0001+1110) 31 0001+1111 32 not (0001+1111) 33 xran211b 0011+0101 34 xrai211b not (0011+0101) 35 nr3ab 0011+0111 36 nd3a not (0011+0111) 37 0011+1100 38 not (0011+1100) 39 0011+1101 40 not (0011+1101) 41 xnan211 0011+1111 42 xnai211 not (0011+1111) 43 xran211 0111+1011 44 xrai211 not (0111+1011) 45 an3 0111+1111 46 nd3 not (0111+1111) 47 aoi211 0000+0001+0010 48 aon211 not (0000+0001+0010) 49 aoi211a2 0000+0001+0011 50 aon211a2 not (0000+0001+0011) 51 0000+0001+0110 52 not (0000+0001+0110) 53 0000+0001+0111 54 not (0000+0001+0111) 55 0000+0001+1110 56 not (0000+0001+1110) 57 0000+0001+1111 58 not (0000+0001+1111) 59 0000+0011+0101 60 not (0000+0011+0101) 61 0000+0011+0111 62 not (0000+0011+0111) 63 0000+0011+1100 64 not (0000+0011+1100) 65 0000+0011+1101 66 not (0000+0011+1101) 67 0000+0011+1111 68 not (0000+0011+1111) 69 0000+0111+1011 70 not (0000+0111+1011) 71 0000+0111+1111 72 not (0000+0111+1111) 73 aoi211a 0001+0010+0011 74 aon211a not (0001+0010+0011) 75 0001+0010+0100 76 not (0001+0010+0100) 77 0001+0010+0101 78 not (0001+0010+0101) 79 0001+0010+0111 80 not (0001+0010+0111) 81 0001+0010+1100 82 not (0001+0010+1100) 83 0001+0010+1101 84 not (0001+0010+1101) 85 0001+0010+1111 86 not (0001+0010+1111) 87 aoi211b 0001+0011+0101 88 aon211b not (0001+0011+0101) 89 0001+0011+0110 90 not (0001+0011+0110) 91 aoi211a2b 0001+0011+0111 92 aon211a2b not (0001+0011+0111) 93 0001+0011+1100 94 not (0001+0011+1100) 95 0001+0011+1101 96 not (0001+0011+1101) 97 0001+0011+1110 98 not (0001+0011+1110) 99 0001+0011+1111 100 not (0001+0011+1111) 101 0001+0110+0111 102 not (0001+0110+0111) 103 0001+0110+1010 104 not (0001+0110+1010) 105 0001+0110+1011 106 not (0001+0110+1011) 107 0001+0110+1110 108 not (0001+0110+1110) 109 0001+0110+1111 110 not (0001+0110+1111) 111 0001+0111+1011 112 not (0001+0111+1011) 113 0001+0111+1110 114 not (0001+0111+1110) 115 0001+0111+1111 116 not (0001+0111+1111) 117 0001+1110+1111 118 not (0001+1110+1111) 119 0011+0101+0110 120 not (0011+0101+0110) 121 oan211b 0011+0101+0111 122 oai211b not (0011+0101+0111) 123 0011+0101+1001 124 not (0011+0101+1001) 125 0011+0101+1010 126 not (0011+0101+1010) 127 0011+0101+1011 128 not (0011+0101+1011) 129 0011+0101+1110 130 not (0011+0101+1110) 131 0011+0101+1111 132 not (0011+0101+1111) 133 aoi211bc 0011+0111+1011 134 aon211bc not (0011+0111+1011) 135 0011+0111+1100 136 not (0011+0111+1100) 137 0011+0111+1101 138 not (0011+0111+1101) 139 oan211a2 0011+0111+1111 140 oai211a2 not (0011+0111+1111) 141 0011+1100+1111 142 not (0011+1100+1111) 143 0011+1101+1110 144 not (0011+1101+1110) 145 0011+1101+1111 146 not (0011+1101+1111) 147 0111+1011+1101 148 not (0111+1011+1101) 149 oan211 0111+1011+1111 150 oai211 not (0111+1011+1111) 151 nr2 0000+0001+0010+0011 152 or2 not (0000+0001+0010) 153 0000+0001+0010+0100 154 not (0000+0001+0010+0100) 155 0000+0001+0010+0101 156 not (0000+0001+0010+0101) 157 0000+0001+0010+0111 158 not (0000+0001+0010+0111) 159 0000+0001+0010+1100 160 not (0000+0001+0010+1100) 161 0000+0001+0010+1101 162 not (0000+0001+0010+1101) 163 0000+0001+0010+1111 164 not (0000+0001+0010+1111) 165 0000+0001+0011+0101 166 not (0000+0001+0011+0101) 167 0000+0001+0011+0110 168 not (0000+0001+0011+0110) 169 0000+0001+0011+0111 170 not (0000+0001+0011+0111) 171 0000+0001+0011+1100 172 not (0000+0001+0011+1100) 173 0000+0001+0011+1101 174 not (0000+0001+0011+1101) 175 0000+0001+0011+1110 176 not (0000+0001+0011+1110) 177 0000+0001+0011+1111 178 not (0000+0001+0011+1111) 179 xroi21 0000+0001+0110+0111 180 xron21 not (0000+0001+0110) 181 0000+0001+0110+1010 182 not (0000+0001+0110+1010) 183 0000+0001+0110+1011 184 not (0000+0001+0110+1011) 185 0000+0001+0110+1110 186 not (0000+0001+0110+1110) 187 0000+0001+0110+1111 188 not (0000+0001+0110+1111) 189 0000+0001+0111+1011 190 not (0000+0001+0111+1011) 191 0000+0001+0111+1110 192 not (0000+0001+0111+1110) 193 0000+0001+0111+1111 194 not (0000+0001+0111+1111) 195 xroi22u1 0000+0001+1110+1111 196 xron22u1 not (0000+0001+1110) 197 0000+0011+0101+0110 198 not (0000+0011+0101+0110) 199 0000+0011+0101+0111 200 not (0000+0011+0101+0111) 201 0000+0011+0101+1001 202 not (0000+0011+0101+1001) 203 0000+0011+0101+1010 204 not (0000+0011+0101+1010) 205 0000+0011+0101+1011 206 not (0000+0011+0101+1011) 207 0000+0011+0101+1110 208 not (0000+0011+0101+1110) 209 0000+0011+0101+1111 210 not (0000+0011+0101+1111) 211 0000+0011+0111+1011 212 not (0000+0011+0111+1011) 213 0000+0011+0111+1100 214 not (0000+0011+0111+1100) 215 0000+0011+0111+1101 216 not (0000+0011+0111+1101) 217 0000+0011+0111+1111 218 not (0000+0011+0111+1111) 219 0000+0011+1100+1111 220 not (0000+0011+1100+1111) 221 0000+0011+1101+1110 222 not (0000+0011+1101+1110) 223 0000+0011+1101+1111 224 not (0000+0011+1101+1111) 225 0000+0111+1011+1101 226 not (0000+0111+1011+1101) 227 0000+0111+1011+1111 228 not (0000+0111+1011+1111) 229 0001+0010+0011+0100 230 not (0001+0010+0011+0100) 231 0001+0010+0011+0101 232 not (0001+0010+0011+0101) 233 cgi2coi2 0001+0010+0011+0111 234 cgi2coi2 not (0001+0010+0011) 235 0001+0010+0011+1100 236 not (0001+0010+0011+1100) 237 0001+0010+0011+1101 238 not (0001+0010+0011+1101) 239 0001+0010+0011+1111 240 not (0001+0010+0011+1111) 241 0001+0010+0100+0111 242 not (0001+0010+0100+0111) 243 0001+0010+0100+1000 244 not (0001+0010+0100+1000) 245 0001+0010+0100+1001 246 not (0001+0010+0100+1001) 247 0001+0010+0100+1011 248 not (0001+0010+0100+1011) 249 0001+0010+0100+1111 250 not (0001+0010+0100+1111) 251 xnoi21 0001+0010+0101+0110 252 xnon21 not (0001+0010+0101) 253 0001+0010+0101+0111 254 not (0001+0010+0101+0111) 255 0001+0010+0101+1001 256 not (0001+0010+0101+1001) 257 0001+0010+0101+1010 258 not (0001+0010+0101+1010) 259 0001+0010+0101+1011 260 not (0001+0010+0101+1011) 261 0001+0010+0101+1100 262 not (0001+0010+0101+1100) 263 0001+0010+0101+1101 264 not (0001+0010+0101+1101) 265 0001+0010+0101+1110 266 not (0001+0010+0101+1110) 267 0001+0010+0101+1111 268 not (0001+0010+0101+1111) 269 0001+0010+0111+1011 270 not (0001+0010+0111+1011) 271 0001+0010+0111+1100 272 not (0001+0010+0111+1100) 273 0001+0010+0111+1101 274 not (0001+0010+0111+1101) 275 0001+0010+0111+1111 276 not (0001+0010+0111+1111) 277 0001+0010+1100+1101 278 not (0001+0010+1100+1101) 279 0001+0010+1100+1111 280 not (0001+0010+1100+1111) 281 0001+0010+1101+1110 282 not (0001+0010+1101+1110) 283 0001+0010+1101+1111 284 not (0001+0010+1101+1111) 285 0001+0011+0101+0110 286 not (0001+0011+0101+0110) 287 nr2a 0001+0011+0101+0111 288 nd2a not (0001+0011+0101) 289 0001+0011+0101+1001 290 not (0001+0011+0101+1001) 291 0001+0011+0101+1010 292 not (0001+0011+0101+1010) 293 0001+0011+0101+1011 294 not (0001+0011+0101+1011) 295 0001+0011+0101+1110 296 not (0001+0011+0101+1110) 297 0001+0011+0101+1111 298 not (0001+0011+0101+1111) 299 0001+0011+0110+0111 300 not (0001+0011+0110+0111) 301 0001+0011+0110+1010 302 not (0001+0011+0110+1010) 303 0001+0011+0110+1011 304 not (0001+0011+0110+1011) 305 0001+0011+0110+1100 306 not (0001+0011+0110+1100) 307 0001+0011+0110+1101 308 not (0001+0011+0110+1101) 309 0001+0011+0110+1110 310 not (0001+0011+0110+1110) 311 0001+0011+0110+1111 312 not (0001+0011+0110+1111) 313 0001+0011+0111+1011 314 not (0001+0011+0111+1011) 315 0001+0011+0111+1100 316 not (0001+0011+0111+1100) 317 0001+0011+0111+1101 318 not (0001+0011+0111+1101) 319 0001+0011+0111+1110 320 not (0001+0011+0111+1110) 321 0001+0011+0111+1111 322 not (0001+0011+0111+1111) 323 0001+0011+1100+1101 324 not (0001+0011+1100+1101) 325 xron22u1 0001+0011+1100+1110 326 xroi22u1 not (0001+0011+1100) 327 0001+0011+1100+1111 328 not (0001+0011+1100+1111) 329 0001+0011+1101+1110 330 not (0001+0011+1101+1110) 331 xnan21 0001+0011+1101+1111 332 xnai21 not (0001+0011+1101) 333 0001+0011+1110+1111 334 not (0001+0011+1110+1111) 335 0001+0110+0111+1010 336 not (0001+0110+0111+1010) 337 0001+0110+0111+1011 338 not (0001+0110+0111+1011) 339 0001+0110+0111+1110 340 not (0001+0110+0111+1110) 341 0001+0110+0111+1111 342 not (0001+0110+0111+1111) 343 0001+0110+1010+1100 344 not (0001+0110+1010+1100) 345 0001+0110+1010+1101 346 not (0001+0110+1010+1101) 347 0001+0110+1010+1110 348 not (0001+0110+1010+1110) 349 0001+0110+1010+1111 350 not (0001+0110+1010+1111) 351 0001+0110+1011+1101 352 not (0001+0110+1011+1101) 353 0001+0110+1011+1110 354 not (0001+0110+1011+1110) 355 0001+0110+1011+1111 356 not (0001+0110+1011+1111) 357 0001+0110+1110+1111 358 not (0001+0110+1110+1111) 359 0001+0111+1011+1101 360 not (0001+0111+1011+1101) 361 0001+0111+1011+1110 362 not (0001+0111+1011+1110) 363 0001+0111+1011+1111 364 not (0001+0111+1011+1111) 365 0001+0111+1110+1111 366 not (0001+0111+1110+1111) 367 0011+0101+0110+0111 368 not (0011+0101+0110+0111) 369 0011+0101+0110+1001 370 not (0011+0101+0110+1001) 371 0011+0101+0110+1011 372 not (0011+0101+0110+1011) 373 cgi2oi2 0011+0101+0110+1111 374 cgi2on2 not (0011+0101+0110) 375 0011+0101+0111+1001 376 not (0011+0101+0111+1001) 377 0011+0101+0111+1010 378 not (0011+0101+0111+1010) 379 0011+0101+0111+1011 380 not (0011+0101+0111+1011) 381 0011+0101+0111+1110 382 not (0011+0101+0111+1110) 383 0011+0101+0111+1111 384 not (0011+0101+0111+1111) 385 0011+0101+1001+1110 386 not (0011+0101+1001+1110) 387 0011+0101+1001+1111 388 not (0011+0101+1001+1111) 389 0011+0101+1010+1100 390 not (0011+0101+1010+1100) 391 0011+0101+1010+1101 392 not (0011+0101+1010+1101) 393 0011+0101+1010+1111 394 not (0011+0101+1010+1111) 395 xran21 0011+0101+1011+1101 396 xrai21 not (0011+0101+1011) 397 0011+0101+1011+1110 398 not (0011+0101+1011+1110) 399 0011+0101+1011+1111 400 not (0011+0101+1011+1111) 401 0011+0101+1110+1111 402 not (0011+0101+1110+1111) 403 0011+0111+1011+1100 404 not (0011+0111+1011+1100) 405 0011+0111+1011+1101 406 not (0011+0111+1011+1101) 407 an2 0011+0111+1011+1111 408 nd2 not (0011+0111+1011) 409 0011+0111+1100+1101 410 not (0011+0111+1100+1101) 411 0011+0111+1100+1111 412 not (0011+0111+1100+1111) 413 0011+0111+1101+1110 414 not (0011+0111+1101+1110) 415 0011+0111+1101+1111 416 not (0011+0111+1101+1111) 417 0011+1101+1110+1111 418 not (0011+1101+1110+1111) 419 0111+1011+1101+1110 420 not (0111+1011+1101+1110) 421 cgn2an2 0111+1011+1101+1111 422 cgn2ai2 not (0111+1011+1101) 423 o2aoi21 0000+0001+0010+0011+0100 424 o2aon21 not (0000+0001+0010+0011+0100) 425 0000+0001+0010+0011+0101 426 not (0000+0001+0010+0011+0101) 427 0000+0001+0010+0011+0111 428 not (0000+0001+0010+0011+0111) 429 0000+0001+0010+0011+1100 430 not (0000+0001+0010+0011+1100) 431 0000+0001+0010+0011+1101 432 not (0000+0001+0010+0011+1101) 433 0000+0001+0010+0011+1111 434 not (0000+0001+0010+0011+1111) 435 0000+0001+0010+0100+0111 436 not (0000+0001+0010+0100+0111) 437 0000+0001+0010+0100+1000 438 not (0000+0001+0010+0100+1000) 439 0000+0001+0010+0100+1001 440 not (0000+0001+0010+0100+1001) 441 0000+0001+0010+0100+1011 442 not (0000+0001+0010+0100+1011) 443 0000+0001+0010+0100+1111 444 not (0000+0001+0010+0100+1111) 445 0000+0001+0010+0101+0110 446 not (0000+0001+0010+0101+0110) 447 0000+0001+0010+0101+0111 448 not (0000+0001+0010+0101+0111) 449 0000+0001+0010+0101+1001 450 not (0000+0001+0010+0101+1001) 451 0000+0001+0010+0101+1010 452 not (0000+0001+0010+0101+1010) 453 0000+0001+0010+0101+1011 454 not (0000+0001+0010+0101+1011) 455 0000+0001+0010+0101+1100 456 not (0000+0001+0010+0101+1100) 457 0000+0001+0010+0101+1101 458 not (0000+0001+0010+0101+1101) 459 0000+0001+0010+0101+1110 460 not (0000+0001+0010+0101+1110) 461 0000+0001+0010+0101+1111 462 not (0000+0001+0010+0101+1111) 463 0000+0001+0010+0111+1011 464 not (0000+0001+0010+0111+1011) 465 0000+0001+0010+0111+1100 466 not (0000+0001+0010+0111+1100) 467 0000+0001+0010+0111+1101 468 not (0000+0001+0010+0111+1101) 469 0000+0001+0010+0111+1111 470 not (0000+0001+0010+0111+1111) 471 0000+0001+0010+1100+1101 472 not (0000+0001+0010+1100+1101) 473 0000+0001+0010+1100+1111 474 not (0000+0001+0010+1100+1111) 475 0000+0001+0010+1101+1110 476 not (0000+0001+0010+1101+1110) 477 0000+0001+0010+1101+1111 478 not (0000+0001+0010+1101+1111) 479 0000+0001+0011+0101+0110 480 not (0000+0001+0011+0101+0110) 481 0000+0001+0011+0101+0111 482 not (0000+0001+0011+0101+0111) 483 0000+0001+0011+0101+1001 484 not (0000+0001+0011+0101+1001) 485 0000+0001+0011+0101+1010 486 not (0000+0001+0011+0101+1010) 487 0000+0001+0011+0101+1011 488 not (0000+0001+0011+0101+1011) 489 0000+0001+0011+0101+1110 490 not (0000+0001+0011+0101+1110) 491 0000+0001+0011+0101+1111 492 not (0000+0001+0011+0101+1111) 493 0000+0001+0011+0110+0111 494 not (0000+0001+0011+0110+0111) 495 0000+0001+0011+0110+1010 496 not (0000+0001+0011+0110+1010) 497 0000+0001+0011+0110+1011 498 not (0000+0001+0011+0110+1011) 499 0000+0001+0011+0110+1100 500 not (0000+0001+0011+0110+1100) 501 0000+0001+0011+0110+1101 502 not (0000+0001+0011+0110+1101) 503 0000+0001+0011+0110+1110 504 not (0000+0001+0011+0110+1110) 505 0000+0001+0011+0110+1111 506 not (0000+0001+0011+0110+1111) 507 0000+0001+0011+0111+1011 508 not (0000+0001+0011+0111+1011) 509 0000+0001+0011+0111+1100 510 not (0000+0001+0011+0111+1100) 511 0000+0001+0011+0111+1101 512 not (0000+0001+0011+0111+1101) 513 0000+0001+0011+0111+1110 514 not (0000+0001+0011+0111+1110) 515 0000+0001+0011+0111+1111 516 not (0000+0001+0011+0111+1111) 517 0000+0001+0011+1100+1101 518 not (0000+0001+0011+1100+1101) 519 0000+0001+0011+1100+1110 520 not (0000+0001+0011+1100+1110) 521 0000+0001+0011+1100+1111 522 not (0000+0001+0011+1100+1111) 523 0000+0001+0011+1101+1110 524 not (0000+0001+0011+1101+1110) 525 0000+0001+0011+1101+1111 526 not (0000+0001+0011+1101+1111) 527 0000+0001+0011+1110+1111 528 not (0000+0001+0011+1110+1111) 529 0000+0001+0110+0111+1010 530 not (0000+0001+0110+0111+1010) 531 0000+0001+0110+0111+1011 532 not (0000+0001+0110+0111+1011) 533 0000+0001+0110+0111+1110 534 not (0000+0001+0110+0111+1110) 535 0000+0001+0110+0111+1111 536 not (0000+0001+0110+0111+1111) 537 0000+0001+0110+1010+1100 538 not (0000+0001+0110+1010+1100) 539 0000+0001+0110+1010+1101 540 not (0000+0001+0110+1010+1101) 541 0000+0001+0110+1010+1110 542 not (0000+0001+0110+1010+1110) 543 0000+0001+0110+1010+1111 544 not (0000+0001+0110+1010+1111) 545 0000+0001+0110+1011+1101 546 not (0000+0001+0110+1011+1101) 547 0000+0001+0110+1011+1110 548 not (0000+0001+0110+1011+1110) 549 0000+0001+0110+1011+1111 550 not (0000+0001+0110+1011+1111) 551 0000+0001+0110+1110+1111 552 not (0000+0001+0110+1110+1111) 553 0000+0001+0111+1011+1101 554 not (0000+0001+0111+1011+1101) 555 0000+0001+0111+1011+1110 556 not (0000+0001+0111+1011+1110) 557 0000+0001+0111+1011+1111 558 not (0000+0001+0111+1011+1111) 559 0000+0001+0111+1110+1111 560 not (0000+0001+0111+1110+1111) 561 0000+0011+0101+0110+0111 562 not (0000+0011+0101+0110+0111) 563 0000+0011+0101+0110+1001 564 not (0000+0011+0101+0110+1001) 565 0000+0011+0101+0110+1011 566 not (0000+0011+0101+0110+1011) 567 0000+0011+0101+0110+1111 568 not (0000+0011+0101+0110+1111) 569 0000+0011+0101+0111+1001 570 not (0000+0011+0101+0111+1001) 571 0000+0011+0101+0111+1010 572 not (0000+0011+0101+0111+1010) 573 0000+0011+0101+0111+1011 574 not (0000+0011+0101+0111+1011) 575 0000+0011+0101+0111+1110 576 not (0000+0011+0101+0111+1110) 577 0000+0011+0101+0111+1111 578 not (0000+0011+0101+0111+1111) 579 0000+0011+0101+1001+1110 580 not (0000+0011+0101+1001+1110) 581 0000+0011+0101+1001+1111 582 not (0000+0011+0101+1001+1111) 583 0000+0011+0101+1010+1100 584 not (0000+0011+0101+1010+1100) 585 0000+0011+0101+1010+1101 586 not (0000+0011+0101+1010+1101) 587 0000+0011+0101+1010+1111 588 not (0000+0011+0101+1010+1111) 589 0000+0011+0101+1011+1101 590 not (0000+0011+0101+1011+1101) 591 0000+0011+0101+1011+1110 592 not (0000+0011+0101+1011+1110) 593 0000+0011+0101+1011+1111 594 not (0000+0011+0101+1011+1111) 595 0000+0011+0101+1110+1111 596 not (0000+0011+0101+1110+1111) 597 0000+0011+0111+1011+1100 598 not (0000+0011+0111+1011+1100) 599 0000+0011+0111+1011+1101 600 not (0000+0011+0111+1011+1101) 601 0000+0011+0111+1011+1111 602 not (0000+0011+0111+1011+1111) 603 0000+0011+0111+1100+1101 604 not (0000+0011+0111+1100+1101) 605 0000+0011+0111+1100+1111 606 not (0000+0011+0111+1100+1111) 607 0000+0011+0111+1101+1110 608 not (0000+0011+0111+1101+1110) 609 0000+0011+0111+1101+1111 610 not (0000+0011+0111+1101+1111) 611 0000+0011+1101+1110+1111 612 not (0000+0011+1101+1110+1111) 613 0000+0111+1011+1101+1110 614 not (0000+0111+1011+1101+1110) 615 0000+0111+1011+1101+1111 616 not (0000+0111+1011+1101+1111) 617 0001+0010+0011+0100+0101 618 not (0001+0010+0011+0100+0101) 619 0001+0010+0011+0100+0111 620 not (0001+0010+0011+0100+0111) 621 0001+0010+0011+0100+1000 622 not (0001+0010+0011+0100+1000) 623 0001+0010+0011+0100+1001 624 not (0001+0010+0011+0100+1001) 625 0001+0010+0011+0100+1011 626 not (0001+0010+0011+0100+1011) 627 0001+0010+0011+0100+1100 628 not (0001+0010+0011+0100+1100) 629 0001+0010+0011+0100+1101 630 not (0001+0010+0011+0100+1101) 631 0001+0010+0011+0100+1111 632 not (0001+0010+0011+0100+1111) 633 0001+0010+0011+0101+0110 634 not (0001+0010+0011+0101+0110) 635 0001+0010+0011+0101+0111 636 not (0001+0010+0011+0101+0111) 637 0001+0010+0011+0101+1001 638 not (0001+0010+0011+0101+1001) 639 0001+0010+0011+0101+1010 640 not (0001+0010+0011+0101+1010) 641 0001+0010+0011+0101+1011 642 not (0001+0010+0011+0101+1011) 643 0001+0010+0011+0101+1100 644 not (0001+0010+0011+0101+1100) 645 0001+0010+0011+0101+1101 646 not (0001+0010+0011+0101+1101) 647 0001+0010+0011+0101+1110 648 not (0001+0010+0011+0101+1110) 649 0001+0010+0011+0101+1111 650 not (0001+0010+0011+0101+1111) 651 0001+0010+0011+0111+1011 652 not (0001+0010+0011+0111+1011) 653 0001+0010+0011+0111+1100 654 not (0001+0010+0011+0111+1100) 655 0001+0010+0011+0111+1101 656 not (0001+0010+0011+0111+1101) 657 0001+0010+0011+0111+1111 658 not (0001+0010+0011+0111+1111) 659 0001+0010+0011+1100+1101 660 not (0001+0010+0011+1100+1101) 661 0001+0010+0011+1100+1111 662 not (0001+0010+0011+1100+1111) 663 0001+0010+0011+1101+1110 664 not (0001+0010+0011+1101+1110) 665 0001+0010+0011+1101+1111 666 not (0001+0010+0011+1101+1111) 667 0001+0010+0100+0111+1000 668 not (0001+0010+0100+0111+1000) 669 0001+0010+0100+0111+1001 670 not (0001+0010+0100+0111+1001) 671 0001+0010+0100+0111+1011 672 not (0001+0010+0100+0111+1011) 673 0001+0010+0100+0111+1111 674 not (0001+0010+0100+0111+1111) 675 0001+0010+0100+1000+1111 676 not (0001+0010+0100+1000+1111) 677 0001+0010+0100+1001+1010 678 not (0001+0010+0100+1001+1010) 679 0001+0010+0100+1001+1011 680 not (0001+0010+0100+1001+1011) 681 0001+0010+0100+1001+1110 682 not (0001+0010+0100+1001+1110) 683 0001+0010+0100+1001+1111 684 not (0001+0010+0100+1001+1111) 685 0001+0010+0100+1011+1101 686 not (0001+0010+0100+1011+1101) 687 0001+0010+0100+1011+1111 688 not (0001+0010+0100+1011+1111) 689 0001+0010+0101+0110+0111 690 not (0001+0010+0101+0110+0111) 691 0001+0010+0101+0110+1001 692 not (0001+0010+0101+0110+1001) 693 0001+0010+0101+0110+1011 694 not (0001+0010+0101+0110+1011) 695 0001+0010+0101+0110+1100 696 not (0001+0010+0101+0110+1100) 697 0001+0010+0101+0110+1101 698 not (0001+0010+0101+0110+1101) 699 0001+0010+0101+0110+1111 700 not (0001+0010+0101+0110+1111) 701 0001+0010+0101+0111+1001 702 not (0001+0010+0101+0111+1001) 703 0001+0010+0101+0111+1010 704 not (0001+0010+0101+0111+1010) 705 0001+0010+0101+0111+1011 706 not (0001+0010+0101+0111+1011) 707 0001+0010+0101+0111+1100 708 not (0001+0010+0101+0111+1100) 709 0001+0010+0101+0111+1101 710 not (0001+0010+0101+0111+1101) 711 0001+0010+0101+0111+1110 712 not (0001+0010+0101+0111+1110) 713 0001+0010+0101+0111+1111 714 not (0001+0010+0101+0111+1111) 715 0001+0010+0101+1001+1100 716 not (0001+0010+0101+1001+1100) 717 0001+0010+0101+1001+1101 718 not (0001+0010+0101+1001+1101) 719 0001+0010+0101+1001+1110 720 not (0001+0010+0101+1001+1110) 721 0001+0010+0101+1001+1111 722 not (0001+0010+0101+1001+1111) 723 0001+0010+0101+1010+1100 724 not (0001+0010+0101+1010+1100) 725 0001+0010+0101+1010+1101 726 not (0001+0010+0101+1010+1101) 727 0001+0010+0101+1010+1111 728 not (0001+0010+0101+1010+1111) 729 0001+0010+0101+1011+1100 730 not (0001+0010+0101+1011+1100) 731 0001+0010+0101+1011+1101 732 not (0001+0010+0101+1011+1101) 733 0001+0010+0101+1011+1110 734 not (0001+0010+0101+1011+1110) 735 0001+0010+0101+1011+1111 736 not (0001+0010+0101+1011+1111) 737 0001+0010+0101+1100+1101 738 not (0001+0010+0101+1100+1101) 739 0001+0010+0101+1100+1110 740 not (0001+0010+0101+1100+1110) 741 0001+0010+0101+1100+1111 742 not (0001+0010+0101+1100+1111) 743 0001+0010+0101+1101+1110 744 not (0001+0010+0101+1101+1110) 745 0001+0010+0101+1101+1111 746 not (0001+0010+0101+1101+1111) 747 0001+0010+0101+1110+1111 748 not (0001+0010+0101+1110+1111) 749 0001+0010+0111+1011+1100 750 not (0001+0010+0111+1011+1100) 751 0001+0010+0111+1011+1101 752 not (0001+0010+0111+1011+1101) 753 0001+0010+0111+1011+1111 754 not (0001+0010+0111+1011+1111) 755 0001+0010+0111+1100+1101 756 not (0001+0010+0111+1100+1101) 757 0001+0010+0111+1100+1111 758 not (0001+0010+0111+1100+1111) 759 0001+0010+0111+1101+1110 760 not (0001+0010+0111+1101+1110) 761 0001+0010+0111+1101+1111 762 not (0001+0010+0111+1101+1111) 763 0001+0010+1100+1101+1110 764 not (0001+0010+1100+1101+1110) 765 0001+0010+1100+1101+1111 766 not (0001+0010+1100+1101+1111) 767 0001+0010+1101+1110+1111 768 not (0001+0010+1101+1110+1111) 769 0001+0011+0101+0110+0111 770 not (0001+0011+0101+0110+0111) 771 0001+0011+0101+0110+1001 772 not (0001+0011+0101+0110+1001) 773 0001+0011+0101+0110+1010 774 not (0001+0011+0101+0110+1010) 775 0001+0011+0101+0110+1011 776 not (0001+0011+0101+0110+1011) 777 0001+0011+0101+0110+1110 778 not (0001+0011+0101+0110+1110) 779 0001+0011+0101+0110+1111 780 not (0001+0011+0101+0110+1111) 781 0001+0011+0101+0111+1001 782 not (0001+0011+0101+0111+1001) 783 0001+0011+0101+0111+1010 784 not (0001+0011+0101+0111+1010) 785 0001+0011+0101+0111+1011 786 not (0001+0011+0101+0111+1011) 787 0001+0011+0101+0111+1110 788 not (0001+0011+0101+0111+1110) 789 0001+0011+0101+0111+1111 790 not (0001+0011+0101+0111+1111) 791 0001+0011+0101+1001+1110 792 not (0001+0011+0101+1001+1110) 793 0001+0011+0101+1001+1111 794 not (0001+0011+0101+1001+1111) 795 0001+0011+0101+1010+1011 796 not (0001+0011+0101+1010+1011) 797 0001+0011+0101+1010+1100 798 not (0001+0011+0101+1010+1100) 799 0001+0011+0101+1010+1101 800 not (0001+0011+0101+1010+1101) 801 0001+0011+0101+1010+1110 802 not (0001+0011+0101+1010+1110) 803 0001+0011+0101+1010+1111 804 not (0001+0011+0101+1010+1111) 805 0001+0011+0101+1011+1101 806 not (0001+0011+0101+1011+1101) 807 0001+0011+0101+1011+1110 808 not (0001+0011+0101+1011+1110) 809 0001+0011+0101+1011+1111 810 not (0001+0011+0101+1011+1111) 811 0001+0011+0101+1110+1111 812 not (0001+0011+0101+1110+1111) 813 0001+0011+0110+0111+1010 814 not (0001+0011+0110+0111+1010) 815 0001+0011+0110+0111+1011 816 not (0001+0011+0110+0111+1011) 817 0001+0011+0110+0111+1100 818 not (0001+0011+0110+0111+1100) 819 0001+0011+0110+0111+1101 820 not (0001+0011+0110+0111+1101) 821 0001+0011+0110+0111+1110 822 not (0001+0011+0110+0111+1110) 823 0001+0011+0110+0111+1111 824 not (0001+0011+0110+0111+1111) 825 0001+0011+0110+1010+1100 826 not (0001+0011+0110+1010+1100) 827 0001+0011+0110+1010+1101 828 not (0001+0011+0110+1010+1101) 829 0001+0011+0110+1010+1110 830 not (0001+0011+0110+1010+1110) 831 0001+0011+0110+1010+1111 832 not (0001+0011+0110+1010+1111) 833 0001+0011+0110+1011+1100 834 not (0001+0011+0110+1011+1100) 835 0001+0011+0110+1011+1101 836 not (0001+0011+0110+1011+1101) 837 0001+0011+0110+1011+1110 838 not (0001+0011+0110+1011+1110) 839 0001+0011+0110+1011+1111 840 not (0001+0011+0110+1011+1111) 841 0001+0011+0110+1100+1101 842 not (0001+0011+0110+1100+1101) 843 0001+0011+0110+1100+1110 844 not (0001+0011+0110+1100+1110) 845 0001+0011+0110+1100+1111 846 not (0001+0011+0110+1100+1111) 847 0001+0011+0110+1101+1110 848 not (0001+0011+0110+1101+1110) 849 0001+0011+0110+1101+1111 850 not (0001+0011+0110+1101+1111) 851 0001+0011+0110+1110+1111 852 not (0001+0011+0110+1110+1111) 853 0001+0011+0111+1011+1100 854 not (0001+0011+0111+1011+1100) 855 0001+0011+0111+1011+1101 856 not (0001+0011+0111+1011+1101) 857 0001+0011+0111+1011+1110 858 not (0001+0011+0111+1011+1110) 859 0001+0011+0111+1011+1111 860 not (0001+0011+0111+1011+1111) 861 0001+0011+0111+1100+1101 862 not (0001+0011+0111+1100+1101) 863 0001+0011+0111+1100+1110 864 not (0001+0011+0111+1100+1110) 865 0001+0011+0111+1100+1111 866 not (0001+0011+0111+1100+1111) 867 0001+0011+0111+1101+1110 868 not (0001+0011+0111+1101+1110) 869 0001+0011+0111+1101+1111 870 not (0001+0011+0111+1101+1111) 871 0001+0011+0111+1110+1111 872 not (0001+0011+0111+1110+1111) 873 0001+0011+1100+1101+1110 874 not (0001+0011+1100+1101+1110) 875 0001+0011+1100+1101+1111 876 not (0001+0011+1100+1101+1111) 877 0001+0011+1100+1110+1111 878 not (0001+0011+1100+1110+1111) 879 0001+0011+1101+1110+1111 880 not (0001+0011+1101+1110+1111) 881 0001+0110+0111+1010+1011 882 not (0001+0110+0111+1010+1011) 883 0001+0110+0111+1010+1100 884 not (0001+0110+0111+1010+1100) 885 0001+0110+0111+1010+1101 886 not (0001+0110+0111+1010+1101) 887 0001+0110+0111+1010+1110 888 not (0001+0110+0111+1010+1110) 889 0001+0110+0111+1010+1111 890 not (0001+0110+0111+1010+1111) 891 0001+0110+0111+1011+1101 892 not (0001+0110+0111+1011+1101) 893 0001+0110+0111+1011+1110 894 not (0001+0110+0111+1011+1110) 895 0001+0110+0111+1011+1111 896 not (0001+0110+0111+1011+1111) 897 0001+0110+0111+1110+1111 898 not (0001+0110+0111+1110+1111) 899 0001+0110+1010+1100+1110 900 not (0001+0110+1010+1100+1110) 901 0001+0110+1010+1100+1111 902 not (0001+0110+1010+1100+1111) 903 0001+0110+1010+1101+1110 904 not (0001+0110+1010+1101+1110) 905 0001+0110+1010+1101+1111 906 not (0001+0110+1010+1101+1111) 907 0001+0110+1010+1110+1111 908 not (0001+0110+1010+1110+1111) 909 0001+0110+1011+1101+1110 910 not (0001+0110+1011+1101+1110) 911 0001+0110+1011+1101+1111 912 not (0001+0110+1011+1101+1111) 913 0001+0110+1011+1110+1111 914 not (0001+0110+1011+1110+1111) 915 0001+0111+1011+1101+1110 916 not (0001+0111+1011+1101+1110) 917 0001+0111+1011+1101+1111 918 not (0001+0111+1011+1101+1111) 919 0001+0111+1011+1110+1111 920 not (0001+0111+1011+1110+1111) 921 0011+0101+0110+0111+1001 922 not (0011+0101+0110+0111+1001) 923 0011+0101+0110+0111+1011 924 not (0011+0101+0110+0111+1011) 925 0011+0101+0110+0111+1111 926 not (0011+0101+0110+0111+1111) 927 0011+0101+0110+1001+1010 928 not (0011+0101+0110+1001+1010) 929 0011+0101+0110+1001+1011 930 not (0011+0101+0110+1001+1011) 931 0011+0101+0110+1001+1110 932 not (0011+0101+0110+1001+1110) 933 0011+0101+0110+1001+1111 934 not (0011+0101+0110+1001+1111) 935 0011+0101+0110+1011+1101 936 not (0011+0101+0110+1011+1101) 937 0011+0101+0110+1011+1111 938 not (0011+0101+0110+1011+1111) 939 0011+0101+0111+1001+1011 940 not (0011+0101+0111+1001+1011) 941 0011+0101+0111+1001+1110 942 not (0011+0101+0111+1001+1110) 943 0011+0101+0111+1001+1111 944 not (0011+0101+0111+1001+1111) 945 0011+0101+0111+1010+1011 946 not (0011+0101+0111+1010+1011) 947 0011+0101+0111+1010+1100 948 not (0011+0101+0111+1010+1100) 949 0011+0101+0111+1010+1101 950 not (0011+0101+0111+1010+1101) 951 0011+0101+0111+1010+1110 952 not (0011+0101+0111+1010+1110) 953 0011+0101+0111+1010+1111 954 not (0011+0101+0111+1010+1111) 955 0011+0101+0111+1011+1101 956 not (0011+0101+0111+1011+1101) 957 0011+0101+0111+1011+1110 958 not (0011+0101+0111+1011+1110) 959 0011+0101+0111+1011+1111 960 not (0011+0101+0111+1011+1111) 961 0011+0101+0111+1110+1111 962 not (0011+0101+0111+1110+1111) 963 0011+0101+1001+1110+1111 964 not (0011+0101+1001+1110+1111) 965 0011+0101+1010+1100+1111 966 not (0011+0101+1010+1100+1111) 967 0011+0101+1010+1101+1110 968 not (0011+0101+1010+1101+1110) 969 0011+0101+1010+1101+1111 970 not (0011+0101+1010+1101+1111) 971 0011+0101+1011+1101+1110 972 not (0011+0101+1011+1101+1110) 973 0011+0101+1011+1101+1111 974 not (0011+0101+1011+1101+1111) 975 0011+0101+1011+1110+1111 976 not (0011+0101+1011+1110+1111) 977 0011+0111+1011+1100+1101 978 not (0011+0111+1011+1100+1101) 979 0011+0111+1011+1100+1111 980 not (0011+0111+1011+1100+1111) 981 0011+0111+1011+1101+1110 982 not (0011+0111+1011+1101+1110) 983 a2oan21 0011+0111+1011+1101+1111 984 a2oai21 not (0011+0111+1011+1101+1111) 985 0011+0111+1100+1101+1111 986 not (0011+0111+1100+1101+1111) 987 0011+0111+1101+1110+1111 988 not (0011+0111+1101+1110+1111) 989 0111+1011+1101+1110+1111 990 not (0111+1011+1101+1110+1111) 991 aoi21 0000+0001+0010+0011+0100+0101 992 aon21 not (0000+0001+0010+0011+0100+0101) 993 0000+0001+0010+0011+0100+0111 994 not (0000+0001+0010+0011+0100+0111) 995 0000+0001+0010+0011+0100+1000 996 not (0000+0001+0010+0011+0100+1000) 997 0000+0001+0010+0011+0100+1001 998 not (0000+0001+0010+0011+0100+1001) 999 0000+0001+0010+0011+0100+1011 1000 not (0000+0001+0010+0011+0100+1011) 1001 0000+0001+0010+0011+0100+1100 1002 not (0000+0001+0010+0011+0100+1100) 1003 0000+0001+0010+0011+0100+1101 1004 not (0000+0001+0010+0011+0100+1101) 1005 0000+0001+0010+0011+0100+1111 1006 not (0000+0001+0010+0011+0100+1111) 1007 0000+0001+0010+0011+0101+0110 1008 not (0000+0001+0010+0011+0101+0110) 1009 0000+0001+0010+0011+0101+0111 1010 not (0000+0001+0010+0011+0101+0111) 1011 0000+0001+0010+0011+0101+1001 1012 not (0000+0001+0010+0011+0101+1001) 1013 0000+0001+0010+0011+0101+1010 1014 not (0000+0001+0010+0011+0101+1010) 1015 0000+0001+0010+0011+0101+1011 1016 not (0000+0001+0010+0011+0101+1011) 1017 0000+0001+0010+0011+0101+1100 1018 not (0000+0001+0010+0011+0101+1100) 1019 0000+0001+0010+0011+0101+1101 1020 not (0000+0001+0010+0011+0101+1101) 1021 0000+0001+0010+0011+0101+1110 1022 not (0000+0001+0010+0011+0101+1110) 1023 0000+0001+0010+0011+0101+1111 1024 not (0000+0001+0010+0011+0101+1111) 1025 0000+0001+0010+0011+0111+1011 1026 not (0000+0001+0010+0011+0111+1011) 1027 0000+0001+0010+0011+0111+1100 1028 not (0000+0001+0010+0011+0111+1100) 1029 0000+0001+0010+0011+0111+1101 1030 not (0000+0001+0010+0011+0111+1101) 1031 0000+0001+0010+0011+0111+1111 1032 not (0000+0001+0010+0011+0111+1111) 1033 0000+0001+0010+0011+1100+1101 1034 not (0000+0001+0010+0011+1100+1101) 1035 0000+0001+0010+0011+1100+1111 1036 not (0000+0001+0010+0011+1100+1111) 1037 0000+0001+0010+0011+1101+1110 1038 not (0000+0001+0010+0011+1101+1110) 1039 0000+0001+0010+0011+1101+1111 1040 not (0000+0001+0010+0011+1101+1111) 1041 0000+0001+0010+0100+0111+1000 1042 not (0000+0001+0010+0100+0111+1000) 1043 0000+0001+0010+0100+0111+1001 1044 not (0000+0001+0010+0100+0111+1001) 1045 0000+0001+0010+0100+0111+1011 1046 not (0000+0001+0010+0100+0111+1011) 1047 0000+0001+0010+0100+0111+1111 1048 not (0000+0001+0010+0100+0111+1111) 1049 0000+0001+0010+0100+1000+1111 1050 not (0000+0001+0010+0100+1000+1111) 1051 0000+0001+0010+0100+1001+1010 1052 not (0000+0001+0010+0100+1001+1010) 1053 0000+0001+0010+0100+1001+1011 1054 not (0000+0001+0010+0100+1001+1011) 1055 0000+0001+0010+0100+1001+1110 1056 not (0000+0001+0010+0100+1001+1110) 1057 0000+0001+0010+0100+1001+1111 1058 not (0000+0001+0010+0100+1001+1111) 1059 0000+0001+0010+0100+1011+1101 1060 not (0000+0001+0010+0100+1011+1101) 1061 0000+0001+0010+0100+1011+1111 1062 not (0000+0001+0010+0100+1011+1111) 1063 0000+0001+0010+0101+0110+0111 1064 not (0000+0001+0010+0101+0110+0111) 1065 0000+0001+0010+0101+0110+1001 1066 not (0000+0001+0010+0101+0110+1001) 1067 0000+0001+0010+0101+0110+1011 1068 not (0000+0001+0010+0101+0110+1011) 1069 0000+0001+0010+0101+0110+1100 1070 not (0000+0001+0010+0101+0110+1100) 1071 0000+0001+0010+0101+0110+1101 1072 not (0000+0001+0010+0101+0110+1101) 1073 0000+0001+0010+0101+0110+1111 1074 not (0000+0001+0010+0101+0110+1111) 1075 0000+0001+0010+0101+0111+1001 1076 not (0000+0001+0010+0101+0111+1001) 1077 0000+0001+0010+0101+0111+1010 1078 not (0000+0001+0010+0101+0111+1010) 1079 0000+0001+0010+0101+0111+1011 1080 not (0000+0001+0010+0101+0111+1011) 1081 0000+0001+0010+0101+0111+1100 1082 not (0000+0001+0010+0101+0111+1100) 1083 0000+0001+0010+0101+0111+1101 1084 not (0000+0001+0010+0101+0111+1101) 1085 0000+0001+0010+0101+0111+1110 1086 not (0000+0001+0010+0101+0111+1110) 1087 0000+0001+0010+0101+0111+1111 1088 not (0000+0001+0010+0101+0111+1111) 1089 0000+0001+0010+0101+1001+1100 1090 not (0000+0001+0010+0101+1001+1100) 1091 0000+0001+0010+0101+1001+1101 1092 not (0000+0001+0010+0101+1001+1101) 1093 0000+0001+0010+0101+1001+1110 1094 not (0000+0001+0010+0101+1001+1110) 1095 0000+0001+0010+0101+1001+1111 1096 not (0000+0001+0010+0101+1001+1111) 1097 0000+0001+0010+0101+1010+1100 1098 not (0000+0001+0010+0101+1010+1100) 1099 0000+0001+0010+0101+1010+1101 1100 not (0000+0001+0010+0101+1010+1101) 1101 0000+0001+0010+0101+1010+1111 1102 not (0000+0001+0010+0101+1010+1111) 1103 0000+0001+0010+0101+1011+1100 1104 not (0000+0001+0010+0101+1011+1100) 1105 0000+0001+0010+0101+1011+1101 1106 not (0000+0001+0010+0101+1011+1101) 1107 0000+0001+0010+0101+1011+1110 1108 not (0000+0001+0010+0101+1011+1110) 1109 0000+0001+0010+0101+1011+1111 1110 not (0000+0001+0010+0101+1011+1111) 1111 0000+0001+0010+0101+1100+1101 1112 not (0000+0001+0010+0101+1100+1101) 1113 0000+0001+0010+0101+1100+1110 1114 not (0000+0001+0010+0101+1100+1110) 1115 0000+0001+0010+0101+1100+1111 1116 not (0000+0001+0010+0101+1100+1111) 1117 0000+0001+0010+0101+1101+1110 1118 not (0000+0001+0010+0101+1101+1110) 1119 0000+0001+0010+0101+1101+1111 1120 not (0000+0001+0010+0101+1101+1111) 1121 0000+0001+0010+0101+1110+1111 1122 not (0000+0001+0010+0101+1110+1111) 1123 0000+0001+0010+0111+1011+1100 1124 not (0000+0001+0010+0111+1011+1100) 1125 0000+0001+0010+0111+1011+1101 1126 not (0000+0001+0010+0111+1011+1101) 1127 0000+0001+0010+0111+1011+1111 1128 not (0000+0001+0010+0111+1011+1111) 1129 0000+0001+0010+0111+1100+1101 1130 not (0000+0001+0010+0111+1100+1101) 1131 0000+0001+0010+0111+1100+1111 1132 not (0000+0001+0010+0111+1100+1111) 1133 0000+0001+0010+0111+1101+1110 1134 not (0000+0001+0010+0111+1101+1110) 1135 0000+0001+0010+0111+1101+1111 1136 not (0000+0001+0010+0111+1101+1111) 1137 0000+0001+0010+1100+1101+1110 1138 not (0000+0001+0010+1100+1101+1110) 1139 0000+0001+0010+1100+1101+1111 1140 not (0000+0001+0010+1100+1101+1111) 1141 0000+0001+0010+1101+1110+1111 1142 not (0000+0001+0010+1101+1110+1111) 1143 0000+0001+0011+0101+0110+0111 1144 not (0000+0001+0011+0101+0110+0111) 1145 0000+0001+0011+0101+0110+1001 1146 not (0000+0001+0011+0101+0110+1001) 1147 0000+0001+0011+0101+0110+1010 1148 not (0000+0001+0011+0101+0110+1010) 1149 0000+0001+0011+0101+0110+1011 1150 not (0000+0001+0011+0101+0110+1011) 1151 0000+0001+0011+0101+0110+1110 1152 not (0000+0001+0011+0101+0110+1110) 1153 0000+0001+0011+0101+0110+1111 1154 not (0000+0001+0011+0101+0110+1111) 1155 0000+0001+0011+0101+0111+1001 1156 not (0000+0001+0011+0101+0111+1001) 1157 0000+0001+0011+0101+0111+1010 1158 not (0000+0001+0011+0101+0111+1010) 1159 0000+0001+0011+0101+0111+1011 1160 not (0000+0001+0011+0101+0111+1011) 1161 0000+0001+0011+0101+0111+1110 1162 not (0000+0001+0011+0101+0111+1110) 1163 0000+0001+0011+0101+0111+1111 1164 not (0000+0001+0011+0101+0111+1111) 1165 0000+0001+0011+0101+1001+1110 1166 not (0000+0001+0011+0101+1001+1110) 1167 0000+0001+0011+0101+1001+1111 1168 not (0000+0001+0011+0101+1001+1111) 1169 0000+0001+0011+0101+1010+1011 1170 not (0000+0001+0011+0101+1010+1011) 1171 0000+0001+0011+0101+1010+1100 1172 not (0000+0001+0011+0101+1010+1100) 1173 0000+0001+0011+0101+1010+1101 1174 not (0000+0001+0011+0101+1010+1101) 1175 0000+0001+0011+0101+1010+1110 1176 not (0000+0001+0011+0101+1010+1110) 1177 0000+0001+0011+0101+1010+1111 1178 not (0000+0001+0011+0101+1010+1111) 1179 0000+0001+0011+0101+1011+1101 1180 not (0000+0001+0011+0101+1011+1101) 1181 0000+0001+0011+0101+1011+1110 1182 not (0000+0001+0011+0101+1011+1110) 1183 0000+0001+0011+0101+1011+1111 1184 not (0000+0001+0011+0101+1011+1111) 1185 0000+0001+0011+0101+1110+1111 1186 not (0000+0001+0011+0101+1110+1111) 1187 0000+0001+0011+0110+0111+1010 1188 not (0000+0001+0011+0110+0111+1010) 1189 0000+0001+0011+0110+0111+1011 1190 not (0000+0001+0011+0110+0111+1011) 1191 0000+0001+0011+0110+0111+1100 1192 not (0000+0001+0011+0110+0111+1100) 1193 0000+0001+0011+0110+0111+1101 1194 not (0000+0001+0011+0110+0111+1101) 1195 0000+0001+0011+0110+0111+1110 1196 not (0000+0001+0011+0110+0111+1110) 1197 0000+0001+0011+0110+0111+1111 1198 not (0000+0001+0011+0110+0111+1111) 1199 0000+0001+0011+0110+1010+1100 1200 not (0000+0001+0011+0110+1010+1100) 1201 0000+0001+0011+0110+1010+1101 1202 not (0000+0001+0011+0110+1010+1101) 1203 0000+0001+0011+0110+1010+1110 1204 not (0000+0001+0011+0110+1010+1110) 1205 0000+0001+0011+0110+1010+1111 1206 not (0000+0001+0011+0110+1010+1111) 1207 0000+0001+0011+0110+1011+1100 1208 not (0000+0001+0011+0110+1011+1100) 1209 0000+0001+0011+0110+1011+1101 1210 not (0000+0001+0011+0110+1011+1101) 1211 0000+0001+0011+0110+1011+1110 1212 not (0000+0001+0011+0110+1011+1110) 1213 0000+0001+0011+0110+1011+1111 1214 not (0000+0001+0011+0110+1011+1111) 1215 0000+0001+0011+0110+1100+1101 1216 not (0000+0001+0011+0110+1100+1101) 1217 0000+0001+0011+0110+1100+1110 1218 not (0000+0001+0011+0110+1100+1110) 1219 0000+0001+0011+0110+1100+1111 1220 not (0000+0001+0011+0110+1100+1111) 1221 0000+0001+0011+0110+1101+1110 1222 not (0000+0001+0011+0110+1101+1110) 1223 0000+0001+0011+0110+1101+1111 1224 not (0000+0001+0011+0110+1101+1111) 1225 0000+0001+0011+0110+1110+1111 1226 not (0000+0001+0011+0110+1110+1111) 1227 0000+0001+0011+0111+1011+1100 1228 not (0000+0001+0011+0111+1011+1100) 1229 0000+0001+0011+0111+1011+1101 1230 not (0000+0001+0011+0111+1011+1101) 1231 0000+0001+0011+0111+1011+1110 1232 not (0000+0001+0011+0111+1011+1110) 1233 0000+0001+0011+0111+1011+1111 1234 not (0000+0001+0011+0111+1011+1111) 1235 0000+0001+0011+0111+1100+1101 1236 not (0000+0001+0011+0111+1100+1101) 1237 0000+0001+0011+0111+1100+1110 1238 not (0000+0001+0011+0111+1100+1110) 1239 0000+0001+0011+0111+1100+1111 1240 not (0000+0001+0011+0111+1100+1111) 1241 0000+0001+0011+0111+1101+1110 1242 not (0000+0001+0011+0111+1101+1110) 1243 0000+0001+0011+0111+1101+1111 1244 not (0000+0001+0011+0111+1101+1111) 1245 0000+0001+0011+0111+1110+1111 1246 not (0000+0001+0011+0111+1110+1111) 1247 0000+0001+0011+1100+1101+1110 1248 not (0000+0001+0011+1100+1101+1110) 1249 0000+0001+0011+1100+1101+1111 1250 not (0000+0001+0011+1100+1101+1111) 1251 0000+0001+0011+1100+1110+1111 1252 not (0000+0001+0011+1100+1110+1111) 1253 0000+0001+0011+1101+1110+1111 1254 not (0000+0001+0011+1101+1110+1111) 1255 0000+0001+0110+0111+1010+1011 1256 not (0000+0001+0110+0111+1010+1011) 1257 0000+0001+0110+0111+1010+1100 1258 not (0000+0001+0110+0111+1010+1100) 1259 0000+0001+0110+0111+1010+1101 1260 not (0000+0001+0110+0111+1010+1101) 1261 0000+0001+0110+0111+1010+1110 1262 not (0000+0001+0110+0111+1010+1110) 1263 0000+0001+0110+0111+1010+1111 1264 not (0000+0001+0110+0111+1010+1111) 1265 0000+0001+0110+0111+1011+1101 1266 not (0000+0001+0110+0111+1011+1101) 1267 0000+0001+0110+0111+1011+1110 1268 not (0000+0001+0110+0111+1011+1110) 1269 0000+0001+0110+0111+1011+1111 1270 not (0000+0001+0110+0111+1011+1111) 1271 0000+0001+0110+0111+1110+1111 1272 not (0000+0001+0110+0111+1110+1111) 1273 0000+0001+0110+1010+1100+1110 1274 not (0000+0001+0110+1010+1100+1110) 1275 0000+0001+0110+1010+1100+1111 1276 not (0000+0001+0110+1010+1100+1111) 1277 0000+0001+0110+1010+1101+1110 1278 not (0000+0001+0110+1010+1101+1110) 1279 0000+0001+0110+1010+1101+1111 1280 not (0000+0001+0110+1010+1101+1111) 1281 0000+0001+0110+1010+1110+1111 1282 not (0000+0001+0110+1010+1110+1111) 1283 0000+0001+0110+1011+1101+1110 1284 not (0000+0001+0110+1011+1101+1110) 1285 0000+0001+0110+1011+1101+1111 1286 not (0000+0001+0110+1011+1101+1111) 1287 0000+0001+0110+1011+1110+1111 1288 not (0000+0001+0110+1011+1110+1111) 1289 0000+0001+0111+1011+1101+1110 1290 not (0000+0001+0111+1011+1101+1110) 1291 0000+0001+0111+1011+1101+1111 1292 not (0000+0001+0111+1011+1101+1111) 1293 0000+0001+0111+1011+1110+1111 1294 not (0000+0001+0111+1011+1110+1111) 1295 0000+0011+0101+0110+0111+1001 1296 not (0000+0011+0101+0110+0111+1001) 1297 0000+0011+0101+0110+0111+1011 1298 not (0000+0011+0101+0110+0111+1011) 1299 0000+0011+0101+0110+0111+1111 1300 not (0000+0011+0101+0110+0111+1111) 1301 0000+0011+0101+0110+1001+1010 1302 not (0000+0011+0101+0110+1001+1010) 1303 0000+0011+0101+0110+1001+1011 1304 not (0000+0011+0101+0110+1001+1011) 1305 0000+0011+0101+0110+1001+1110 1306 not (0000+0011+0101+0110+1001+1110) 1307 0000+0011+0101+0110+1001+1111 1308 not (0000+0011+0101+0110+1001+1111) 1309 0000+0011+0101+0110+1011+1101 1310 not (0000+0011+0101+0110+1011+1101) 1311 0000+0011+0101+0110+1011+1111 1312 not (0000+0011+0101+0110+1011+1111) 1313 0000+0011+0101+0111+1001+1011 1314 not (0000+0011+0101+0111+1001+1011) 1315 0000+0011+0101+0111+1001+1110 1316 not (0000+0011+0101+0111+1001+1110) 1317 0000+0011+0101+0111+1001+1111 1318 not (0000+0011+0101+0111+1001+1111) 1319 0000+0011+0101+0111+1010+1011 1320 not (0000+0011+0101+0111+1010+1011) 1321 0000+0011+0101+0111+1010+1100 1322 not (0000+0011+0101+0111+1010+1100) 1323 0000+0011+0101+0111+1010+1101 1324 not (0000+0011+0101+0111+1010+1101) 1325 0000+0011+0101+0111+1010+1110 1326 not (0000+0011+0101+0111+1010+1110) 1327 0000+0011+0101+0111+1010+1111 1328 not (0000+0011+0101+0111+1010+1111) 1329 0000+0011+0101+0111+1011+1101 1330 not (0000+0011+0101+0111+1011+1101) 1331 0000+0011+0101+0111+1011+1110 1332 not (0000+0011+0101+0111+1011+1110) 1333 0000+0011+0101+0111+1011+1111 1334 not (0000+0011+0101+0111+1011+1111) 1335 0000+0011+0101+0111+1110+1111 1336 not (0000+0011+0101+0111+1110+1111) 1337 0000+0011+0101+1001+1110+1111 1338 not (0000+0011+0101+1001+1110+1111) 1339 0000+0011+0101+1010+1100+1111 1340 not (0000+0011+0101+1010+1100+1111) 1341 0000+0011+0101+1010+1101+1110 1342 not (0000+0011+0101+1010+1101+1110) 1343 0000+0011+0101+1010+1101+1111 1344 not (0000+0011+0101+1010+1101+1111) 1345 0000+0011+0101+1011+1101+1110 1346 not (0000+0011+0101+1011+1101+1110) 1347 0000+0011+0101+1011+1101+1111 1348 not (0000+0011+0101+1011+1101+1111) 1349 0000+0011+0101+1011+1110+1111 1350 not (0000+0011+0101+1011+1110+1111) 1351 0000+0011+0111+1011+1100+1101 1352 not (0000+0011+0111+1011+1100+1101) 1353 0000+0011+0111+1011+1100+1111 1354 not (0000+0011+0111+1011+1100+1111) 1355 0000+0011+0111+1011+1101+1110 1356 not (0000+0011+0111+1011+1101+1110) 1357 0000+0011+0111+1011+1101+1111 1358 not (0000+0011+0111+1011+1101+1111) 1359 0000+0011+0111+1100+1101+1111 1360 not (0000+0011+0111+1100+1101+1111) 1361 0000+0011+0111+1101+1110+1111 1362 not (0000+0011+0111+1101+1110+1111) 1363 0000+0111+1011+1101+1110+1111 1364 not (0000+0111+1011+1101+1110+1111) 1365 0001+0010+0011+0100+0101+0110 1366 not (0001+0010+0011+0100+0101+0110) 1367 0001+0010+0011+0100+0101+0111 1368 not (0001+0010+0011+0100+0101+0111) 1369 0001+0010+0011+0100+0101+1000 1370 not (0001+0010+0011+0100+0101+1000) 1371 0001+0010+0011+0100+0101+1001 1372 not (0001+0010+0011+0100+0101+1001) 1373 0001+0010+0011+0100+0101+1010 1374 not (0001+0010+0011+0100+0101+1010) 1375 0001+0010+0011+0100+0101+1011 1376 not (0001+0010+0011+0100+0101+1011) 1377 0001+0010+0011+0100+0101+1110 1378 not (0001+0010+0011+0100+0101+1110) 1379 0001+0010+0011+0100+0101+1111 1380 not (0001+0010+0011+0100+0101+1111) 1381 0001+0010+0011+0100+0111+1000 1382 not (0001+0010+0011+0100+0111+1000) 1383 0001+0010+0011+0100+0111+1001 1384 not (0001+0010+0011+0100+0111+1001) 1385 0001+0010+0011+0100+0111+1011 1386 not (0001+0010+0011+0100+0111+1011) 1387 0001+0010+0011+0100+0111+1100 1388 not (0001+0010+0011+0100+0111+1100) 1389 0001+0010+0011+0100+0111+1101 1390 not (0001+0010+0011+0100+0111+1101) 1391 0001+0010+0011+0100+0111+1111 1392 not (0001+0010+0011+0100+0111+1111) 1393 xoon22 0001+0010+0011+0100+1000+1100 1394 xooi22 not (0001+0010+0011+0100+1000+1100) 1395 0001+0010+0011+0100+1000+1101 1396 not (0001+0010+0011+0100+1000+1101) 1397 0001+0010+0011+0100+1000+1111 1398 not (0001+0010+0011+0100+1000+1111) 1399 0001+0010+0011+0100+1001+1010 1400 not (0001+0010+0011+0100+1001+1010) 1401 0001+0010+0011+0100+1001+1011 1402 not (0001+0010+0011+0100+1001+1011) 1403 0001+0010+0011+0100+1001+1100 1404 not (0001+0010+0011+0100+1001+1100) 1405 0001+0010+0011+0100+1001+1101 1406 not (0001+0010+0011+0100+1001+1101) 1407 0001+0010+0011+0100+1001+1110 1408 not (0001+0010+0011+0100+1001+1110) 1409 0001+0010+0011+0100+1001+1111 1410 not (0001+0010+0011+0100+1001+1111) 1411 0001+0010+0011+0100+1011+1100 1412 not (0001+0010+0011+0100+1011+1100) 1413 0001+0010+0011+0100+1011+1101 1414 not (0001+0010+0011+0100+1011+1101) 1415 0001+0010+0011+0100+1011+1111 1416 not (0001+0010+0011+0100+1011+1111) 1417 0001+0010+0011+0100+1100+1101 1418 not (0001+0010+0011+0100+1100+1101) 1419 0001+0010+0011+0100+1100+1111 1420 not (0001+0010+0011+0100+1100+1111) 1421 0001+0010+0011+0100+1101+1110 1422 not (0001+0010+0011+0100+1101+1110) 1423 0001+0010+0011+0100+1101+1111 1424 not (0001+0010+0011+0100+1101+1111) 1425 0001+0010+0011+0101+0110+0111 1426 not (0001+0010+0011+0101+0110+0111) 1427 0001+0010+0011+0101+0110+1001 1428 not (0001+0010+0011+0101+0110+1001) 1429 0001+0010+0011+0101+0110+1011 1430 not (0001+0010+0011+0101+0110+1011) 1431 0001+0010+0011+0101+0110+1100 1432 not (0001+0010+0011+0101+0110+1100) 1433 0001+0010+0011+0101+0110+1101 1434 not (0001+0010+0011+0101+0110+1101) 1435 0001+0010+0011+0101+0110+1111 1436 not (0001+0010+0011+0101+0110+1111) 1437 0001+0010+0011+0101+0111+1001 1438 not (0001+0010+0011+0101+0111+1001) 1439 0001+0010+0011+0101+0111+1010 1440 not (0001+0010+0011+0101+0111+1010) 1441 0001+0010+0011+0101+0111+1011 1442 not (0001+0010+0011+0101+0111+1011) 1443 0001+0010+0011+0101+0111+1100 1444 not (0001+0010+0011+0101+0111+1100) 1445 0001+0010+0011+0101+0111+1101 1446 not (0001+0010+0011+0101+0111+1101) 1447 0001+0010+0011+0101+0111+1110 1448 not (0001+0010+0011+0101+0111+1110) 1449 0001+0010+0011+0101+0111+1111 1450 not (0001+0010+0011+0101+0111+1111) 1451 0001+0010+0011+0101+1001+1100 1452 not (0001+0010+0011+0101+1001+1100) 1453 0001+0010+0011+0101+1001+1101 1454 not (0001+0010+0011+0101+1001+1101) 1455 0001+0010+0011+0101+1001+1110 1456 not (0001+0010+0011+0101+1001+1110) 1457 0001+0010+0011+0101+1001+1111 1458 not (0001+0010+0011+0101+1001+1111) 1459 0001+0010+0011+0101+1010+1100 1460 not (0001+0010+0011+0101+1010+1100) 1461 0001+0010+0011+0101+1010+1101 1462 not (0001+0010+0011+0101+1010+1101) 1463 0001+0010+0011+0101+1010+1111 1464 not (0001+0010+0011+0101+1010+1111) 1465 0001+0010+0011+0101+1011+1100 1466 not (0001+0010+0011+0101+1011+1100) 1467 0001+0010+0011+0101+1011+1101 1468 not (0001+0010+0011+0101+1011+1101) 1469 0001+0010+0011+0101+1011+1110 1470 not (0001+0010+0011+0101+1011+1110) 1471 0001+0010+0011+0101+1011+1111 1472 not (0001+0010+0011+0101+1011+1111) 1473 0001+0010+0011+0101+1100+1101 1474 not (0001+0010+0011+0101+1100+1101) 1475 0001+0010+0011+0101+1100+1110 1476 not (0001+0010+0011+0101+1100+1110) 1477 0001+0010+0011+0101+1100+1111 1478 not (0001+0010+0011+0101+1100+1111) 1479 0001+0010+0011+0101+1101+1110 1480 not (0001+0010+0011+0101+1101+1110) 1481 0001+0010+0011+0101+1101+1111 1482 not (0001+0010+0011+0101+1101+1111) 1483 0001+0010+0011+0101+1110+1111 1484 not (0001+0010+0011+0101+1110+1111) 1485 0001+0010+0011+0111+1011+1100 1486 not (0001+0010+0011+0111+1011+1100) 1487 0001+0010+0011+0111+1011+1101 1488 not (0001+0010+0011+0111+1011+1101) 1489 0001+0010+0011+0111+1011+1111 1490 not (0001+0010+0011+0111+1011+1111) 1491 0001+0010+0011+0111+1100+1101 1492 not (0001+0010+0011+0111+1100+1101) 1493 0001+0010+0011+0111+1100+1111 1494 not (0001+0010+0011+0111+1100+1111) 1495 0001+0010+0011+0111+1101+1110 1496 not (0001+0010+0011+0111+1101+1110) 1497 0001+0010+0011+0111+1101+1111 1498 not (0001+0010+0011+0111+1101+1111) 1499 0001+0010+0011+1100+1101+1110 1500 not (0001+0010+0011+1100+1101+1110) 1501 0001+0010+0011+1100+1101+1111 1502 not (0001+0010+0011+1100+1101+1111) 1503 0001+0010+0011+1101+1110+1111 1504 not (0001+0010+0011+1101+1110+1111) 1505 0001+0010+0100+0111+1000+1011 1506 not (0001+0010+0100+0111+1000+1011) 1507 0001+0010+0100+0111+1000+1111 1508 not (0001+0010+0100+0111+1000+1111) 1509 0001+0010+0100+0111+1001+1010 1510 not (0001+0010+0100+0111+1001+1010) 1511 0001+0010+0100+0111+1001+1011 1512 not (0001+0010+0100+0111+1001+1011) 1513 0001+0010+0100+0111+1001+1110 1514 not (0001+0010+0100+0111+1001+1110) 1515 0001+0010+0100+0111+1001+1111 1516 not (0001+0010+0100+0111+1001+1111) 1517 0001+0010+0100+0111+1011+1101 1518 not (0001+0010+0100+0111+1011+1101) 1519 0001+0010+0100+0111+1011+1111 1520 not (0001+0010+0100+0111+1011+1111) 1521 0001+0010+0100+1001+1010+1011 1522 not (0001+0010+0100+1001+1010+1011) 1523 0001+0010+0100+1001+1010+1100 1524 not (0001+0010+0100+1001+1010+1100) 1525 0001+0010+0100+1001+1010+1101 1526 not (0001+0010+0100+1001+1010+1101) 1527 0001+0010+0100+1001+1010+1111 1528 not (0001+0010+0100+1001+1010+1111) 1529 0001+0010+0100+1001+1011+1101 1530 not (0001+0010+0100+1001+1011+1101) 1531 0001+0010+0100+1001+1011+1110 1532 not (0001+0010+0100+1001+1011+1110) 1533 0001+0010+0100+1001+1011+1111 1534 not (0001+0010+0100+1001+1011+1111) 1535 0001+0010+0100+1001+1110+1111 1536 not (0001+0010+0100+1001+1110+1111) 1537 0001+0010+0100+1011+1101+1110 1538 not (0001+0010+0100+1011+1101+1110) 1539 0001+0010+0100+1011+1101+1111 1540 not (0001+0010+0100+1011+1101+1111) 1541 0001+0010+0101+0110+0111+1001 1542 not (0001+0010+0101+0110+0111+1001) 1543 0001+0010+0101+0110+0111+1011 1544 not (0001+0010+0101+0110+0111+1011) 1545 0001+0010+0101+0110+0111+1100 1546 not (0001+0010+0101+0110+0111+1100) 1547 0001+0010+0101+0110+0111+1101 1548 not (0001+0010+0101+0110+0111+1101) 1549 0001+0010+0101+0110+0111+1111 1550 not (0001+0010+0101+0110+0111+1111) 1551 0001+0010+0101+0110+1001+1010 1552 not (0001+0010+0101+0110+1001+1010) 1553 0001+0010+0101+0110+1001+1011 1554 not (0001+0010+0101+0110+1001+1011) 1555 0001+0010+0101+0110+1001+1100 1556 not (0001+0010+0101+0110+1001+1100) 1557 0001+0010+0101+0110+1001+1101 1558 not (0001+0010+0101+0110+1001+1101) 1559 0001+0010+0101+0110+1001+1110 1560 not (0001+0010+0101+0110+1001+1110) 1561 0001+0010+0101+0110+1001+1111 1562 not (0001+0010+0101+0110+1001+1111) 1563 0001+0010+0101+0110+1011+1100 1564 not (0001+0010+0101+0110+1011+1100) 1565 0001+0010+0101+0110+1011+1101 1566 not (0001+0010+0101+0110+1011+1101) 1567 0001+0010+0101+0110+1011+1111 1568 not (0001+0010+0101+0110+1011+1111) 1569 0001+0010+0101+0110+1100+1101 1570 not (0001+0010+0101+0110+1100+1101) 1571 0001+0010+0101+0110+1100+1111 1572 not (0001+0010+0101+0110+1100+1111) 1573 0001+0010+0101+0110+1101+1110 1574 not (0001+0010+0101+0110+1101+1110) 1575 0001+0010+0101+0110+1101+1111 1576 not (0001+0010+0101+0110+1101+1111) 1577 0001+0010+0101+0111+1001+1011 1578 not (0001+0010+0101+0111+1001+1011) 1579 0001+0010+0101+0111+1001+1100 1580 not (0001+0010+0101+0111+1001+1100) 1581 0001+0010+0101+0111+1001+1101 1582 not (0001+0010+0101+0111+1001+1101) 1583 0001+0010+0101+0111+1001+1110 1584 not (0001+0010+0101+0111+1001+1110) 1585 0001+0010+0101+0111+1001+1111 1586 not (0001+0010+0101+0111+1001+1111) 1587 0001+0010+0101+0111+1010+1011 1588 not (0001+0010+0101+0111+1010+1011) 1589 0001+0010+0101+0111+1010+1100 1590 not (0001+0010+0101+0111+1010+1100) 1591 0001+0010+0101+0111+1010+1101 1592 not (0001+0010+0101+0111+1010+1101) 1593 0001+0010+0101+0111+1010+1110 1594 not (0001+0010+0101+0111+1010+1110) 1595 0001+0010+0101+0111+1010+1111 1596 not (0001+0010+0101+0111+1010+1111) 1597 0001+0010+0101+0111+1011+1100 1598 not (0001+0010+0101+0111+1011+1100) 1599 0001+0010+0101+0111+1011+1101 1600 not (0001+0010+0101+0111+1011+1101) 1601 0001+0010+0101+0111+1011+1110 1602 not (0001+0010+0101+0111+1011+1110) 1603 0001+0010+0101+0111+1011+1111 1604 not (0001+0010+0101+0111+1011+1111) 1605 0001+0010+0101+0111+1100+1101 1606 not (0001+0010+0101+0111+1100+1101) 1607 0001+0010+0101+0111+1100+1110 1608 not (0001+0010+0101+0111+1100+1110) 1609 0001+0010+0101+0111+1100+1111 1610 not (0001+0010+0101+0111+1100+1111) 1611 0001+0010+0101+0111+1101+1110 1612 not (0001+0010+0101+0111+1101+1110) 1613 0001+0010+0101+0111+1101+1111 1614 not (0001+0010+0101+0111+1101+1111) 1615 0001+0010+0101+0111+1110+1111 1616 not (0001+0010+0101+0111+1110+1111) 1617 0001+0010+0101+1001+1100+1101 1618 not (0001+0010+0101+1001+1100+1101) 1619 0001+0010+0101+1001+1100+1110 1620 not (0001+0010+0101+1001+1100+1110) 1621 0001+0010+0101+1001+1100+1111 1622 not (0001+0010+0101+1001+1100+1111) 1623 0001+0010+0101+1001+1101+1110 1624 not (0001+0010+0101+1001+1101+1110) 1625 0001+0010+0101+1001+1101+1111 1626 not (0001+0010+0101+1001+1101+1111) 1627 0001+0010+0101+1001+1110+1111 1628 not (0001+0010+0101+1001+1110+1111) 1629 0001+0010+0101+1010+1100+1101 1630 not (0001+0010+0101+1010+1100+1101) 1631 0001+0010+0101+1010+1100+1111 1632 not (0001+0010+0101+1010+1100+1111) 1633 0001+0010+0101+1010+1101+1110 1634 not (0001+0010+0101+1010+1101+1110) 1635 0001+0010+0101+1010+1101+1111 1636 not (0001+0010+0101+1010+1101+1111) 1637 0001+0010+0101+1011+1100+1101 1638 not (0001+0010+0101+1011+1100+1101) 1639 0001+0010+0101+1011+1100+1110 1640 not (0001+0010+0101+1011+1100+1110) 1641 0001+0010+0101+1011+1100+1111 1642 not (0001+0010+0101+1011+1100+1111) 1643 0001+0010+0101+1011+1101+1110 1644 not (0001+0010+0101+1011+1101+1110) 1645 0001+0010+0101+1011+1101+1111 1646 not (0001+0010+0101+1011+1101+1111) 1647 0001+0010+0101+1011+1110+1111 1648 not (0001+0010+0101+1011+1110+1111) 1649 0001+0010+0101+1100+1101+1110 1650 not (0001+0010+0101+1100+1101+1110) 1651 0001+0010+0101+1100+1101+1111 1652 not (0001+0010+0101+1100+1101+1111) 1653 0001+0010+0101+1100+1110+1111 1654 not (0001+0010+0101+1100+1110+1111) 1655 0001+0010+0101+1101+1110+1111 1656 not (0001+0010+0101+1101+1110+1111) 1657 0001+0010+0111+1011+1100+1101 1658 not (0001+0010+0111+1011+1100+1101) 1659 0001+0010+0111+1011+1100+1111 1660 not (0001+0010+0111+1011+1100+1111) 1661 0001+0010+0111+1011+1101+1110 1662 not (0001+0010+0111+1011+1101+1110) 1663 0001+0010+0111+1011+1101+1111 1664 not (0001+0010+0111+1011+1101+1111) 1665 0001+0010+0111+1100+1101+1110 1666 not (0001+0010+0111+1100+1101+1110) 1667 0001+0010+0111+1100+1101+1111 1668 not (0001+0010+0111+1100+1101+1111) 1669 0001+0010+0111+1101+1110+1111 1670 not (0001+0010+0111+1101+1110+1111) 1671 0001+0010+1100+1101+1110+1111 1672 not (0001+0010+1100+1101+1110+1111) 1673 0001+0011+0101+0110+0111+1001 1674 not (0001+0011+0101+0110+0111+1001) 1675 0001+0011+0101+0110+0111+1010 1676 not (0001+0011+0101+0110+0111+1010) 1677 0001+0011+0101+0110+0111+1011 1678 not (0001+0011+0101+0110+0111+1011) 1679 0001+0011+0101+0110+0111+1110 1680 not (0001+0011+0101+0110+0111+1110) 1681 0001+0011+0101+0110+0111+1111 1682 not (0001+0011+0101+0110+0111+1111) 1683 0001+0011+0101+0110+1001+1010 1684 not (0001+0011+0101+0110+1001+1010) 1685 0001+0011+0101+0110+1001+1011 1686 not (0001+0011+0101+0110+1001+1011) 1687 0001+0011+0101+0110+1001+1110 1688 not (0001+0011+0101+0110+1001+1110) 1689 0001+0011+0101+0110+1001+1111 1690 not (0001+0011+0101+0110+1001+1111) 1691 0001+0011+0101+0110+1010+1011 1692 not (0001+0011+0101+0110+1010+1011) 1693 0001+0011+0101+0110+1010+1100 1694 not (0001+0011+0101+0110+1010+1100) 1695 0001+0011+0101+0110+1010+1101 1696 not (0001+0011+0101+0110+1010+1101) 1697 0001+0011+0101+0110+1010+1110 1698 not (0001+0011+0101+0110+1010+1110) 1699 0001+0011+0101+0110+1010+1111 1700 not (0001+0011+0101+0110+1010+1111) 1701 0001+0011+0101+0110+1011+1101 1702 not (0001+0011+0101+0110+1011+1101) 1703 0001+0011+0101+0110+1011+1110 1704 not (0001+0011+0101+0110+1011+1110) 1705 0001+0011+0101+0110+1011+1111 1706 not (0001+0011+0101+0110+1011+1111) 1707 0001+0011+0101+0110+1110+1111 1708 not (0001+0011+0101+0110+1110+1111) 1709 0001+0011+0101+0111+1001+1011 1710 not (0001+0011+0101+0111+1001+1011) 1711 0001+0011+0101+0111+1001+1110 1712 not (0001+0011+0101+0111+1001+1110) 1713 0001+0011+0101+0111+1001+1111 1714 not (0001+0011+0101+0111+1001+1111) 1715 0001+0011+0101+0111+1010+1011 1716 not (0001+0011+0101+0111+1010+1011) 1717 0001+0011+0101+0111+1010+1100 1718 not (0001+0011+0101+0111+1010+1100) 1719 0001+0011+0101+0111+1010+1101 1720 not (0001+0011+0101+0111+1010+1101) 1721 0001+0011+0101+0111+1010+1110 1722 not (0001+0011+0101+0111+1010+1110) 1723 0001+0011+0101+0111+1010+1111 1724 not (0001+0011+0101+0111+1010+1111) 1725 0001+0011+0101+0111+1011+1101 1726 not (0001+0011+0101+0111+1011+1101) 1727 0001+0011+0101+0111+1011+1110 1728 not (0001+0011+0101+0111+1011+1110) 1729 0001+0011+0101+0111+1011+1111 1730 not (0001+0011+0101+0111+1011+1111) 1731 0001+0011+0101+0111+1110+1111 1732 not (0001+0011+0101+0111+1110+1111) 1733 0001+0011+0101+1001+1110+1111 1734 not (0001+0011+0101+1001+1110+1111) 1735 0001+0011+0101+1010+1011+1100 1736 not (0001+0011+0101+1010+1011+1100) 1737 0001+0011+0101+1010+1011+1101 1738 not (0001+0011+0101+1010+1011+1101) 1739 0001+0011+0101+1010+1011+1110 1740 not (0001+0011+0101+1010+1011+1110) 1741 0001+0011+0101+1010+1011+1111 1742 not (0001+0011+0101+1010+1011+1111) 1743 0001+0011+0101+1010+1100+1110 1744 not (0001+0011+0101+1010+1100+1110) 1745 0001+0011+0101+1010+1100+1111 1746 not (0001+0011+0101+1010+1100+1111) 1747 0001+0011+0101+1010+1101+1110 1748 not (0001+0011+0101+1010+1101+1110) 1749 0001+0011+0101+1010+1101+1111 1750 not (0001+0011+0101+1010+1101+1111) 1751 0001+0011+0101+1010+1110+1111 1752 not (0001+0011+0101+1010+1110+1111) 1753 0001+0011+0101+1011+1101+1110 1754 not (0001+0011+0101+1011+1101+1110) 1755 0001+0011+0101+1011+1101+1111 1756 not (0001+0011+0101+1011+1101+1111) 1757 0001+0011+0101+1011+1110+1111 1758 not (0001+0011+0101+1011+1110+1111) 1759 0001+0011+0110+0111+1010+1011 1760 not (0001+0011+0110+0111+1010+1011) 1761 0001+0011+0110+0111+1010+1100 1762 not (0001+0011+0110+0111+1010+1100) 1763 0001+0011+0110+0111+1010+1101 1764 not (0001+0011+0110+0111+1010+1101) 1765 0001+0011+0110+0111+1010+1110 1766 not (0001+0011+0110+0111+1010+1110) 1767 0001+0011+0110+0111+1010+1111 1768 not (0001+0011+0110+0111+1010+1111) 1769 0001+0011+0110+0111+1011+1100 1770 not (0001+0011+0110+0111+1011+1100) 1771 0001+0011+0110+0111+1011+1101 1772 not (0001+0011+0110+0111+1011+1101) 1773 0001+0011+0110+0111+1011+1110 1774 not (0001+0011+0110+0111+1011+1110) 1775 0001+0011+0110+0111+1011+1111 1776 not (0001+0011+0110+0111+1011+1111) 1777 0001+0011+0110+0111+1100+1101 1778 not (0001+0011+0110+0111+1100+1101) 1779 0001+0011+0110+0111+1100+1110 1780 not (0001+0011+0110+0111+1100+1110) 1781 0001+0011+0110+0111+1100+1111 1782 not (0001+0011+0110+0111+1100+1111) 1783 0001+0011+0110+0111+1101+1110 1784 not (0001+0011+0110+0111+1101+1110) 1785 0001+0011+0110+0111+1101+1111 1786 not (0001+0011+0110+0111+1101+1111) 1787 0001+0011+0110+0111+1110+1111 1788 not (0001+0011+0110+0111+1110+1111) 1789 0001+0011+0110+1010+1100+1101 1790 not (0001+0011+0110+1010+1100+1101) 1791 0001+0011+0110+1010+1100+1110 1792 not (0001+0011+0110+1010+1100+1110) 1793 0001+0011+0110+1010+1100+1111 1794 not (0001+0011+0110+1010+1100+1111) 1795 0001+0011+0110+1010+1101+1110 1796 not (0001+0011+0110+1010+1101+1110) 1797 0001+0011+0110+1010+1101+1111 1798 not (0001+0011+0110+1010+1101+1111) 1799 0001+0011+0110+1010+1110+1111 1800 not (0001+0011+0110+1010+1110+1111) 1801 0001+0011+0110+1011+1100+1101 1802 not (0001+0011+0110+1011+1100+1101) 1803 0001+0011+0110+1011+1100+1110 1804 not (0001+0011+0110+1011+1100+1110) 1805 0001+0011+0110+1011+1100+1111 1806 not (0001+0011+0110+1011+1100+1111) 1807 0001+0011+0110+1011+1101+1110 1808 not (0001+0011+0110+1011+1101+1110) 1809 0001+0011+0110+1011+1101+1111 1810 not (0001+0011+0110+1011+1101+1111) 1811 0001+0011+0110+1011+1110+1111 1812 not (0001+0011+0110+1011+1110+1111) 1813 0001+0011+0110+1100+1101+1110 1814 not (0001+0011+0110+1100+1101+1110) 1815 0001+0011+0110+1100+1101+1111 1816 not (0001+0011+0110+1100+1101+1111) 1817 0001+0011+0110+1100+1110+1111 1818 not (0001+0011+0110+1100+1110+1111) 1819 0001+0011+0110+1101+1110+1111 1820 not (0001+0011+0110+1101+1110+1111) 1821 0001+0011+0111+1011+1100+1101 1822 not (0001+0011+0111+1011+1100+1101) 1823 0001+0011+0111+1011+1100+1110 1824 not (0001+0011+0111+1011+1100+1110) 1825 0001+0011+0111+1011+1100+1111 1826 not (0001+0011+0111+1011+1100+1111) 1827 0001+0011+0111+1011+1101+1110 1828 not (0001+0011+0111+1011+1101+1110) 1829 0001+0011+0111+1011+1101+1111 1830 not (0001+0011+0111+1011+1101+1111) 1831 0001+0011+0111+1011+1110+1111 1832 not (0001+0011+0111+1011+1110+1111) 1833 0001+0011+0111+1100+1101+1110 1834 not (0001+0011+0111+1100+1101+1110) 1835 0001+0011+0111+1100+1101+1111 1836 not (0001+0011+0111+1100+1101+1111) 1837 0001+0011+0111+1100+1110+1111 1838 not (0001+0011+0111+1100+1110+1111) 1839 0001+0011+0111+1101+1110+1111 1840 not (0001+0011+0111+1101+1110+1111) 1841 0001+0011+1100+1101+1110+1111 1842 not (0001+0011+1100+1101+1110+1111) 1843 0001+0110+0111+1010+1011+1100 1844 not (0001+0110+0111+1010+1011+1100) 1845 0001+0110+0111+1010+1011+1101 1846 not (0001+0110+0111+1010+1011+1101) 1847 0001+0110+0111+1010+1011+1110 1848 not (0001+0110+0111+1010+1011+1110) 1849 0001+0110+0111+1010+1011+1111 1850 not (0001+0110+0111+1010+1011+1111) 1851 0001+0110+0111+1010+1100+1110 1852 not (0001+0110+0111+1010+1100+1110) 1853 0001+0110+0111+1010+1100+1111 1854 not (0001+0110+0111+1010+1100+1111) 1855 0001+0110+0111+1010+1101+1110 1856 not (0001+0110+0111+1010+1101+1110) 1857 0001+0110+0111+1010+1101+1111 1858 not (0001+0110+0111+1010+1101+1111) 1859 0001+0110+0111+1010+1110+1111 1860 not (0001+0110+0111+1010+1110+1111) 1861 0001+0110+0111+1011+1101+1110 1862 not (0001+0110+0111+1011+1101+1110) 1863 0001+0110+0111+1011+1101+1111 1864 not (0001+0110+0111+1011+1101+1111) 1865 0001+0110+0111+1011+1110+1111 1866 not (0001+0110+0111+1011+1110+1111) 1867 0001+0110+1010+1100+1110+1111 1868 not (0001+0110+1010+1100+1110+1111) 1869 0001+0110+1010+1101+1110+1111 1870 not (0001+0110+1010+1101+1110+1111) 1871 0001+0110+1011+1101+1110+1111 1872 not (0001+0110+1011+1101+1110+1111) 1873 0001+0111+1011+1101+1110+1111 1874 not (0001+0111+1011+1101+1110+1111) 1875 0011+0101+0110+0111+1001+1010 1876 not (0011+0101+0110+0111+1001+1010) 1877 0011+0101+0110+0111+1001+1011 1878 not (0011+0101+0110+0111+1001+1011) 1879 0011+0101+0110+0111+1001+1110 1880 not (0011+0101+0110+0111+1001+1110) 1881 0011+0101+0110+0111+1001+1111 1882 not (0011+0101+0110+0111+1001+1111) 1883 0011+0101+0110+0111+1011+1101 1884 not (0011+0101+0110+0111+1011+1101) 1885 0011+0101+0110+0111+1011+1111 1886 not (0011+0101+0110+0111+1011+1111) 1887 0011+0101+0110+1001+1010+1100 1888 not (0011+0101+0110+1001+1010+1100) 1889 0011+0101+0110+1001+1010+1101 1890 not (0011+0101+0110+1001+1010+1101) 1891 0011+0101+0110+1001+1010+1111 1892 not (0011+0101+0110+1001+1010+1111) 1893 0011+0101+0110+1001+1011+1101 1894 not (0011+0101+0110+1001+1011+1101) 1895 0011+0101+0110+1001+1011+1110 1896 not (0011+0101+0110+1001+1011+1110) 1897 0011+0101+0110+1001+1011+1111 1898 not (0011+0101+0110+1001+1011+1111) 1899 0011+0101+0110+1001+1110+1111 1900 not (0011+0101+0110+1001+1110+1111) 1901 0011+0101+0110+1011+1101+1110 1902 not (0011+0101+0110+1011+1101+1110) 1903 0011+0101+0110+1011+1101+1111 1904 not (0011+0101+0110+1011+1101+1111) 1905 0011+0101+0111+1001+1011+1101 1906 not (0011+0101+0111+1001+1011+1101) 1907 0011+0101+0111+1001+1011+1110 1908 not (0011+0101+0111+1001+1011+1110) 1909 0011+0101+0111+1001+1011+1111 1910 not (0011+0101+0111+1001+1011+1111) 1911 0011+0101+0111+1001+1110+1111 1912 not (0011+0101+0111+1001+1110+1111) 1913 0011+0101+0111+1010+1011+1100 1914 not (0011+0101+0111+1010+1011+1100) 1915 0011+0101+0111+1010+1011+1101 1916 not (0011+0101+0111+1010+1011+1101) 1917 0011+0101+0111+1010+1011+1111 1918 not (0011+0101+0111+1010+1011+1111) 1919 0011+0101+0111+1010+1100+1110 1920 not (0011+0101+0111+1010+1100+1110) 1921 0011+0101+0111+1010+1100+1111 1922 not (0011+0101+0111+1010+1100+1111) 1923 0011+0101+0111+1010+1101+1110 1924 not (0011+0101+0111+1010+1101+1110) 1925 0011+0101+0111+1010+1101+1111 1926 not (0011+0101+0111+1010+1101+1111) 1927 0011+0101+0111+1010+1110+1111 1928 not (0011+0101+0111+1010+1110+1111) 1929 0011+0101+0111+1011+1101+1110 1930 not (0011+0101+0111+1011+1101+1110) 1931 oan21 0011+0101+0111+1011+1101+1111 1932 oai21 not (0011+0101+0111+1011+1101+1111) 1933 0011+0101+0111+1011+1110+1111 1934 not (0011+0101+0111+1011+1110+1111) 1935 0011+0101+1010+1101+1110+1111 1936 not (0011+0101+1010+1101+1110+1111) 1937 0011+0101+1011+1101+1110+1111 1938 not (0011+0101+1011+1101+1110+1111) 1939 xaon22 0011+0111+1011+1100+1101+1110 1940 xaoi22 not (0011+0111+1011+1100+1101+1110) 1941 0011+0111+1011+1100+1101+1111 1942 not (0011+0111+1011+1100+1101+1111) 1943 0011+0111+1011+1101+1110+1111 1944 not (0011+0111+1011+1101+1110+1111) 1945 aoi31 0000+0001+0010+0011+0100+0101+0110 1946 aon31 not (0000+0001+0010+0011+0100+0101+0110) 1947 0000+0001+0010+0011+0100+0101+0111 1948 not (0000+0001+0010+0011+0100+0101+0111) 1949 0000+0001+0010+0011+0100+0101+1000 1950 not (0000+0001+0010+0011+0100+0101+1000) 1951 0000+0001+0010+0011+0100+0101+1001 1952 not (0000+0001+0010+0011+0100+0101+1001) 1953 0000+0001+0010+0011+0100+0101+1010 1954 not (0000+0001+0010+0011+0100+0101+1010) 1955 0000+0001+0010+0011+0100+0101+1011 1956 not (0000+0001+0010+0011+0100+0101+1011) 1957 0000+0001+0010+0011+0100+0101+1110 1958 not (0000+0001+0010+0011+0100+0101+1110) 1959 0000+0001+0010+0011+0100+0101+1111 1960 not (0000+0001+0010+0011+0100+0101+1111) 1961 0000+0001+0010+0011+0100+0111+1000 1962 not (0000+0001+0010+0011+0100+0111+1000) 1963 0000+0001+0010+0011+0100+0111+1001 1964 not (0000+0001+0010+0011+0100+0111+1001) 1965 0000+0001+0010+0011+0100+0111+1011 1966 not (0000+0001+0010+0011+0100+0111+1011) 1967 0000+0001+0010+0011+0100+0111+1100 1968 not (0000+0001+0010+0011+0100+0111+1100) 1969 0000+0001+0010+0011+0100+0111+1101 1970 not (0000+0001+0010+0011+0100+0111+1101) 1971 0000+0001+0010+0011+0100+0111+1111 1972 not (0000+0001+0010+0011+0100+0111+1111) 1973 oai22 0000+0001+0010+0011+0100+1000+1100 1974 oan22 not (0000+0001+0010+0011+0100+1000+1100) 1975 0000+0001+0010+0011+0100+1000+1101 1976 not (0000+0001+0010+0011+0100+1000+1101) 1977 0000+0001+0010+0011+0100+1000+1111 1978 not (0000+0001+0010+0011+0100+1000+1111) 1979 0000+0001+0010+0011+0100+1001+1010 1980 not (0000+0001+0010+0011+0100+1001+1010) 1981 0000+0001+0010+0011+0100+1001+1011 1982 not (0000+0001+0010+0011+0100+1001+1011) 1983 0000+0001+0010+0011+0100+1001+1100 1984 not (0000+0001+0010+0011+0100+1001+1100) 1985 0000+0001+0010+0011+0100+1001+1101 1986 not (0000+0001+0010+0011+0100+1001+1101) 1987 0000+0001+0010+0011+0100+1001+1110 1988 not (0000+0001+0010+0011+0100+1001+1110) 1989 0000+0001+0010+0011+0100+1001+1111 1990 not (0000+0001+0010+0011+0100+1001+1111) 1991 0000+0001+0010+0011+0100+1011+1100 1992 not (0000+0001+0010+0011+0100+1011+1100) 1993 0000+0001+0010+0011+0100+1011+1101 1994 not (0000+0001+0010+0011+0100+1011+1101) 1995 0000+0001+0010+0011+0100+1011+1111 1996 not (0000+0001+0010+0011+0100+1011+1111) 1997 0000+0001+0010+0011+0100+1100+1101 1998 not (0000+0001+0010+0011+0100+1100+1101) 1999 0000+0001+0010+0011+0100+1100+1111 2000 not (0000+0001+0010+0011+0100+1100+1111) 2001 0000+0001+0010+0011+0100+1101+1110 2002 not (0000+0001+0010+0011+0100+1101+1110) 2003 0000+0001+0010+0011+0100+1101+1111 2004 not (0000+0001+0010+0011+0100+1101+1111) 2005 0000+0001+0010+0011+0101+0110+0111 2006 not (0000+0001+0010+0011+0101+0110+0111) 2007 0000+0001+0010+0011+0101+0110+1001 2008 not (0000+0001+0010+0011+0101+0110+1001) 2009 0000+0001+0010+0011+0101+0110+1011 2010 not (0000+0001+0010+0011+0101+0110+1011) 2011 0000+0001+0010+0011+0101+0110+1100 2012 not (0000+0001+0010+0011+0101+0110+1100) 2013 0000+0001+0010+0011+0101+0110+1101 2014 not (0000+0001+0010+0011+0101+0110+1101) 2015 0000+0001+0010+0011+0101+0110+1111 2016 not (0000+0001+0010+0011+0101+0110+1111) 2017 0000+0001+0010+0011+0101+0111+1001 2018 not (0000+0001+0010+0011+0101+0111+1001) 2019 0000+0001+0010+0011+0101+0111+1010 2020 not (0000+0001+0010+0011+0101+0111+1010) 2021 0000+0001+0010+0011+0101+0111+1011 2022 not (0000+0001+0010+0011+0101+0111+1011) 2023 0000+0001+0010+0011+0101+0111+1100 2024 not (0000+0001+0010+0011+0101+0111+1100) 2025 0000+0001+0010+0011+0101+0111+1101 2026 not (0000+0001+0010+0011+0101+0111+1101) 2027 0000+0001+0010+0011+0101+0111+1110 2028 not (0000+0001+0010+0011+0101+0111+1110) 2029 0000+0001+0010+0011+0101+0111+1111 2030 not (0000+0001+0010+0011+0101+0111+1111) 2031 0000+0001+0010+0011+0101+1001+1100 2032 not (0000+0001+0010+0011+0101+1001+1100) 2033 0000+0001+0010+0011+0101+1001+1101 2034 not (0000+0001+0010+0011+0101+1001+1101) 2035 0000+0001+0010+0011+0101+1001+1110 2036 not (0000+0001+0010+0011+0101+1001+1110) 2037 0000+0001+0010+0011+0101+1001+1111 2038 not (0000+0001+0010+0011+0101+1001+1111) 2039 0000+0001+0010+0011+0101+1010+1100 2040 not (0000+0001+0010+0011+0101+1010+1100) 2041 0000+0001+0010+0011+0101+1010+1101 2042 not (0000+0001+0010+0011+0101+1010+1101) 2043 0000+0001+0010+0011+0101+1010+1111 2044 not (0000+0001+0010+0011+0101+1010+1111) 2045 0000+0001+0010+0011+0101+1011+1100 2046 not (0000+0001+0010+0011+0101+1011+1100) 2047 0000+0001+0010+0011+0101+1011+1101 2048 not (0000+0001+0010+0011+0101+1011+1101) 2049 0000+0001+0010+0011+0101+1011+1110 2050 not (0000+0001+0010+0011+0101+1011+1110) 2051 0000+0001+0010+0011+0101+1011+1111 2052 not (0000+0001+0010+0011+0101+1011+1111) 2053 0000+0001+0010+0011+0101+1100+1101 2054 not (0000+0001+0010+0011+0101+1100+1101) 2055 0000+0001+0010+0011+0101+1100+1110 2056 not (0000+0001+0010+0011+0101+1100+1110) 2057 0000+0001+0010+0011+0101+1100+1111 2058 not (0000+0001+0010+0011+0101+1100+1111) 2059 0000+0001+0010+0011+0101+1101+1110 2060 not (0000+0001+0010+0011+0101+1101+1110) 2061 0000+0001+0010+0011+0101+1101+1111 2062 not (0000+0001+0010+0011+0101+1101+1111) 2063 0000+0001+0010+0011+0101+1110+1111 2064 not (0000+0001+0010+0011+0101+1110+1111) 2065 0000+0001+0010+0011+0111+1011+1100 2066 not (0000+0001+0010+0011+0111+1011+1100) 2067 0000+0001+0010+0011+0111+1011+1101 2068 not (0000+0001+0010+0011+0111+1011+1101) 2069 0000+0001+0010+0011+0111+1011+1111 2070 not (0000+0001+0010+0011+0111+1011+1111) 2071 0000+0001+0010+0011+0111+1100+1101 2072 not (0000+0001+0010+0011+0111+1100+1101) 2073 0000+0001+0010+0011+0111+1100+1111 2074 not (0000+0001+0010+0011+0111+1100+1111) 2075 0000+0001+0010+0011+0111+1101+1110 2076 not (0000+0001+0010+0011+0111+1101+1110) 2077 0000+0001+0010+0011+0111+1101+1111 2078 not (0000+0001+0010+0011+0111+1101+1111) 2079 0000+0001+0010+0011+1100+1101+1110 2080 not (0000+0001+0010+0011+1100+1101+1110) 2081 0000+0001+0010+0011+1100+1101+1111 2082 not (0000+0001+0010+0011+1100+1101+1111) 2083 0000+0001+0010+0011+1101+1110+1111 2084 not (0000+0001+0010+0011+1101+1110+1111) 2085 0000+0001+0010+0100+0111+1000+1011 2086 not (0000+0001+0010+0100+0111+1000+1011) 2087 0000+0001+0010+0100+0111+1000+1111 2088 not (0000+0001+0010+0100+0111+1000+1111) 2089 0000+0001+0010+0100+0111+1001+1010 2090 not (0000+0001+0010+0100+0111+1001+1010) 2091 0000+0001+0010+0100+0111+1001+1011 2092 not (0000+0001+0010+0100+0111+1001+1011) 2093 0000+0001+0010+0100+0111+1001+1110 2094 not (0000+0001+0010+0100+0111+1001+1110) 2095 0000+0001+0010+0100+0111+1001+1111 2096 not (0000+0001+0010+0100+0111+1001+1111) 2097 0000+0001+0010+0100+0111+1011+1101 2098 not (0000+0001+0010+0100+0111+1011+1101) 2099 0000+0001+0010+0100+0111+1011+1111 2100 not (0000+0001+0010+0100+0111+1011+1111) 2101 0000+0001+0010+0100+1001+1010+1011 2102 not (0000+0001+0010+0100+1001+1010+1011) 2103 0000+0001+0010+0100+1001+1010+1100 2104 not (0000+0001+0010+0100+1001+1010+1100) 2105 0000+0001+0010+0100+1001+1010+1101 2106 not (0000+0001+0010+0100+1001+1010+1101) 2107 0000+0001+0010+0100+1001+1010+1111 2108 not (0000+0001+0010+0100+1001+1010+1111) 2109 0000+0001+0010+0100+1001+1011+1101 2110 not (0000+0001+0010+0100+1001+1011+1101) 2111 0000+0001+0010+0100+1001+1011+1110 2112 not (0000+0001+0010+0100+1001+1011+1110) 2113 0000+0001+0010+0100+1001+1011+1111 2114 not (0000+0001+0010+0100+1001+1011+1111) 2115 0000+0001+0010+0100+1001+1110+1111 2116 not (0000+0001+0010+0100+1001+1110+1111) 2117 0000+0001+0010+0100+1011+1101+1110 2118 not (0000+0001+0010+0100+1011+1101+1110) 2119 0000+0001+0010+0100+1011+1101+1111 2120 not (0000+0001+0010+0100+1011+1101+1111) 2121 0000+0001+0010+0101+0110+0111+1001 2122 not (0000+0001+0010+0101+0110+0111+1001) 2123 0000+0001+0010+0101+0110+0111+1011 2124 not (0000+0001+0010+0101+0110+0111+1011) 2125 0000+0001+0010+0101+0110+0111+1100 2126 not (0000+0001+0010+0101+0110+0111+1100) 2127 0000+0001+0010+0101+0110+0111+1101 2128 not (0000+0001+0010+0101+0110+0111+1101) 2129 0000+0001+0010+0101+0110+0111+1111 2130 not (0000+0001+0010+0101+0110+0111+1111) 2131 0000+0001+0010+0101+0110+1001+1010 2132 not (0000+0001+0010+0101+0110+1001+1010) 2133 0000+0001+0010+0101+0110+1001+1011 2134 not (0000+0001+0010+0101+0110+1001+1011) 2135 0000+0001+0010+0101+0110+1001+1100 2136 not (0000+0001+0010+0101+0110+1001+1100) 2137 0000+0001+0010+0101+0110+1001+1101 2138 not (0000+0001+0010+0101+0110+1001+1101) 2139 0000+0001+0010+0101+0110+1001+1110 2140 not (0000+0001+0010+0101+0110+1001+1110) 2141 0000+0001+0010+0101+0110+1001+1111 2142 not (0000+0001+0010+0101+0110+1001+1111) 2143 0000+0001+0010+0101+0110+1011+1100 2144 not (0000+0001+0010+0101+0110+1011+1100) 2145 0000+0001+0010+0101+0110+1011+1101 2146 not (0000+0001+0010+0101+0110+1011+1101) 2147 0000+0001+0010+0101+0110+1011+1111 2148 not (0000+0001+0010+0101+0110+1011+1111) 2149 0000+0001+0010+0101+0110+1100+1101 2150 not (0000+0001+0010+0101+0110+1100+1101) 2151 0000+0001+0010+0101+0110+1100+1111 2152 not (0000+0001+0010+0101+0110+1100+1111) 2153 0000+0001+0010+0101+0110+1101+1110 2154 not (0000+0001+0010+0101+0110+1101+1110) 2155 0000+0001+0010+0101+0110+1101+1111 2156 not (0000+0001+0010+0101+0110+1101+1111) 2157 0000+0001+0010+0101+0111+1001+1011 2158 not (0000+0001+0010+0101+0111+1001+1011) 2159 0000+0001+0010+0101+0111+1001+1100 2160 not (0000+0001+0010+0101+0111+1001+1100) 2161 0000+0001+0010+0101+0111+1001+1101 2162 not (0000+0001+0010+0101+0111+1001+1101) 2163 0000+0001+0010+0101+0111+1001+1110 2164 not (0000+0001+0010+0101+0111+1001+1110) 2165 0000+0001+0010+0101+0111+1001+1111 2166 not (0000+0001+0010+0101+0111+1001+1111) 2167 0000+0001+0010+0101+0111+1010+1011 2168 not (0000+0001+0010+0101+0111+1010+1011) 2169 0000+0001+0010+0101+0111+1010+1100 2170 not (0000+0001+0010+0101+0111+1010+1100) 2171 0000+0001+0010+0101+0111+1010+1101 2172 not (0000+0001+0010+0101+0111+1010+1101) 2173 0000+0001+0010+0101+0111+1010+1110 2174 not (0000+0001+0010+0101+0111+1010+1110) 2175 0000+0001+0010+0101+0111+1010+1111 2176 not (0000+0001+0010+0101+0111+1010+1111) 2177 0000+0001+0010+0101+0111+1011+1100 2178 not (0000+0001+0010+0101+0111+1011+1100) 2179 0000+0001+0010+0101+0111+1011+1101 2180 not (0000+0001+0010+0101+0111+1011+1101) 2181 0000+0001+0010+0101+0111+1011+1110 2182 not (0000+0001+0010+0101+0111+1011+1110) 2183 0000+0001+0010+0101+0111+1011+1111 2184 not (0000+0001+0010+0101+0111+1011+1111) 2185 0000+0001+0010+0101+0111+1100+1101 2186 not (0000+0001+0010+0101+0111+1100+1101) 2187 0000+0001+0010+0101+0111+1100+1110 2188 not (0000+0001+0010+0101+0111+1100+1110) 2189 0000+0001+0010+0101+0111+1100+1111 2190 not (0000+0001+0010+0101+0111+1100+1111) 2191 0000+0001+0010+0101+0111+1101+1110 2192 not (0000+0001+0010+0101+0111+1101+1110) 2193 0000+0001+0010+0101+0111+1101+1111 2194 not (0000+0001+0010+0101+0111+1101+1111) 2195 0000+0001+0010+0101+0111+1110+1111 2196 not (0000+0001+0010+0101+0111+1110+1111) 2197 0000+0001+0010+0101+1001+1100+1101 2198 not (0000+0001+0010+0101+1001+1100+1101) 2199 0000+0001+0010+0101+1001+1100+1110 2200 not (0000+0001+0010+0101+1001+1100+1110) 2201 0000+0001+0010+0101+1001+1100+1111 2202 not (0000+0001+0010+0101+1001+1100+1111) 2203 0000+0001+0010+0101+1001+1101+1110 2204 not (0000+0001+0010+0101+1001+1101+1110) 2205 0000+0001+0010+0101+1001+1101+1111 2206 not (0000+0001+0010+0101+1001+1101+1111) 2207 0000+0001+0010+0101+1001+1110+1111 2208 not (0000+0001+0010+0101+1001+1110+1111) 2209 0000+0001+0010+0101+1010+1100+1101 2210 not (0000+0001+0010+0101+1010+1100+1101) 2211 0000+0001+0010+0101+1010+1100+1111 2212 not (0000+0001+0010+0101+1010+1100+1111) 2213 0000+0001+0010+0101+1010+1101+1110 2214 not (0000+0001+0010+0101+1010+1101+1110) 2215 0000+0001+0010+0101+1010+1101+1111 2216 not (0000+0001+0010+0101+1010+1101+1111) 2217 0000+0001+0010+0101+1011+1100+1101 2218 not (0000+0001+0010+0101+1011+1100+1101) 2219 0000+0001+0010+0101+1011+1100+1110 2220 not (0000+0001+0010+0101+1011+1100+1110) 2221 0000+0001+0010+0101+1011+1100+1111 2222 not (0000+0001+0010+0101+1011+1100+1111) 2223 0000+0001+0010+0101+1011+1101+1110 2224 not (0000+0001+0010+0101+1011+1101+1110) 2225 0000+0001+0010+0101+1011+1101+1111 2226 not (0000+0001+0010+0101+1011+1101+1111) 2227 0000+0001+0010+0101+1011+1110+1111 2228 not (0000+0001+0010+0101+1011+1110+1111) 2229 0000+0001+0010+0101+1100+1101+1110 2230 not (0000+0001+0010+0101+1100+1101+1110) 2231 0000+0001+0010+0101+1100+1101+1111 2232 not (0000+0001+0010+0101+1100+1101+1111) 2233 0000+0001+0010+0101+1100+1110+1111 2234 not (0000+0001+0010+0101+1100+1110+1111) 2235 0000+0001+0010+0101+1101+1110+1111 2236 not (0000+0001+0010+0101+1101+1110+1111) 2237 0000+0001+0010+0111+1011+1100+1101 2238 not (0000+0001+0010+0111+1011+1100+1101) 2239 0000+0001+0010+0111+1011+1100+1111 2240 not (0000+0001+0010+0111+1011+1100+1111) 2241 0000+0001+0010+0111+1011+1101+1110 2242 not (0000+0001+0010+0111+1011+1101+1110) 2243 0000+0001+0010+0111+1011+1101+1111 2244 not (0000+0001+0010+0111+1011+1101+1111) 2245 0000+0001+0010+0111+1100+1101+1110 2246 not (0000+0001+0010+0111+1100+1101+1110) 2247 0000+0001+0010+0111+1100+1101+1111 2248 not (0000+0001+0010+0111+1100+1101+1111) 2249 0000+0001+0010+0111+1101+1110+1111 2250 not (0000+0001+0010+0111+1101+1110+1111) 2251 0000+0001+0010+1100+1101+1110+1111 2252 not (0000+0001+0010+1100+1101+1110+1111) 2253 0000+0001+0011+0101+0110+0111+1001 2254 not (0000+0001+0011+0101+0110+0111+1001) 2255 0000+0001+0011+0101+0110+0111+1010 2256 not (0000+0001+0011+0101+0110+0111+1010) 2257 0000+0001+0011+0101+0110+0111+1011 2258 not (0000+0001+0011+0101+0110+0111+1011) 2259 0000+0001+0011+0101+0110+0111+1110 2260 not (0000+0001+0011+0101+0110+0111+1110) 2261 0000+0001+0011+0101+0110+0111+1111 2262 not (0000+0001+0011+0101+0110+0111+1111) 2263 0000+0001+0011+0101+0110+1001+1010 2264 not (0000+0001+0011+0101+0110+1001+1010) 2265 0000+0001+0011+0101+0110+1001+1011 2266 not (0000+0001+0011+0101+0110+1001+1011) 2267 0000+0001+0011+0101+0110+1001+1110 2268 not (0000+0001+0011+0101+0110+1001+1110) 2269 0000+0001+0011+0101+0110+1001+1111 2270 not (0000+0001+0011+0101+0110+1001+1111) 2271 0000+0001+0011+0101+0110+1010+1011 2272 not (0000+0001+0011+0101+0110+1010+1011) 2273 0000+0001+0011+0101+0110+1010+1100 2274 not (0000+0001+0011+0101+0110+1010+1100) 2275 0000+0001+0011+0101+0110+1010+1101 2276 not (0000+0001+0011+0101+0110+1010+1101) 2277 0000+0001+0011+0101+0110+1010+1110 2278 not (0000+0001+0011+0101+0110+1010+1110) 2279 0000+0001+0011+0101+0110+1010+1111 2280 not (0000+0001+0011+0101+0110+1010+1111) 2281 0000+0001+0011+0101+0110+1011+1101 2282 not (0000+0001+0011+0101+0110+1011+1101) 2283 0000+0001+0011+0101+0110+1011+1110 2284 not (0000+0001+0011+0101+0110+1011+1110) 2285 0000+0001+0011+0101+0110+1011+1111 2286 not (0000+0001+0011+0101+0110+1011+1111) 2287 0000+0001+0011+0101+0110+1110+1111 2288 not (0000+0001+0011+0101+0110+1110+1111) 2289 0000+0001+0011+0101+0111+1001+1011 2290 not (0000+0001+0011+0101+0111+1001+1011) 2291 0000+0001+0011+0101+0111+1001+1110 2292 not (0000+0001+0011+0101+0111+1001+1110) 2293 0000+0001+0011+0101+0111+1001+1111 2294 not (0000+0001+0011+0101+0111+1001+1111) 2295 0000+0001+0011+0101+0111+1010+1011 2296 not (0000+0001+0011+0101+0111+1010+1011) 2297 0000+0001+0011+0101+0111+1010+1100 2298 not (0000+0001+0011+0101+0111+1010+1100) 2299 0000+0001+0011+0101+0111+1010+1101 2300 not (0000+0001+0011+0101+0111+1010+1101) 2301 0000+0001+0011+0101+0111+1010+1110 2302 not (0000+0001+0011+0101+0111+1010+1110) 2303 0000+0001+0011+0101+0111+1010+1111 2304 not (0000+0001+0011+0101+0111+1010+1111) 2305 0000+0001+0011+0101+0111+1011+1101 2306 not (0000+0001+0011+0101+0111+1011+1101) 2307 0000+0001+0011+0101+0111+1011+1110 2308 not (0000+0001+0011+0101+0111+1011+1110) 2309 0000+0001+0011+0101+0111+1011+1111 2310 not (0000+0001+0011+0101+0111+1011+1111) 2311 0000+0001+0011+0101+0111+1110+1111 2312 not (0000+0001+0011+0101+0111+1110+1111) 2313 0000+0001+0011+0101+1001+1110+1111 2314 not (0000+0001+0011+0101+1001+1110+1111) 2315 0000+0001+0011+0101+1010+1011+1100 2316 not (0000+0001+0011+0101+1010+1011+1100) 2317 0000+0001+0011+0101+1010+1011+1101 2318 not (0000+0001+0011+0101+1010+1011+1101) 2319 0000+0001+0011+0101+1010+1011+1110 2320 not (0000+0001+0011+0101+1010+1011+1110) 2321 0000+0001+0011+0101+1010+1011+1111 2322 not (0000+0001+0011+0101+1010+1011+1111) 2323 0000+0001+0011+0101+1010+1100+1110 2324 not (0000+0001+0011+0101+1010+1100+1110) 2325 0000+0001+0011+0101+1010+1100+1111 2326 not (0000+0001+0011+0101+1010+1100+1111) 2327 0000+0001+0011+0101+1010+1101+1110 2328 not (0000+0001+0011+0101+1010+1101+1110) 2329 0000+0001+0011+0101+1010+1101+1111 2330 not (0000+0001+0011+0101+1010+1101+1111) 2331 0000+0001+0011+0101+1010+1110+1111 2332 not (0000+0001+0011+0101+1010+1110+1111) 2333 0000+0001+0011+0101+1011+1101+1110 2334 not (0000+0001+0011+0101+1011+1101+1110) 2335 0000+0001+0011+0101+1011+1101+1111 2336 not (0000+0001+0011+0101+1011+1101+1111) 2337 0000+0001+0011+0101+1011+1110+1111 2338 not (0000+0001+0011+0101+1011+1110+1111) 2339 0000+0001+0011+0110+0111+1010+1011 2340 not (0000+0001+0011+0110+0111+1010+1011) 2341 0000+0001+0011+0110+0111+1010+1100 2342 not (0000+0001+0011+0110+0111+1010+1100) 2343 0000+0001+0011+0110+0111+1010+1101 2344 not (0000+0001+0011+0110+0111+1010+1101) 2345 0000+0001+0011+0110+0111+1010+1110 2346 not (0000+0001+0011+0110+0111+1010+1110) 2347 0000+0001+0011+0110+0111+1010+1111 2348 not (0000+0001+0011+0110+0111+1010+1111) 2349 0000+0001+0011+0110+0111+1011+1100 2350 not (0000+0001+0011+0110+0111+1011+1100) 2351 0000+0001+0011+0110+0111+1011+1101 2352 not (0000+0001+0011+0110+0111+1011+1101) 2353 0000+0001+0011+0110+0111+1011+1110 2354 not (0000+0001+0011+0110+0111+1011+1110) 2355 0000+0001+0011+0110+0111+1011+1111 2356 not (0000+0001+0011+0110+0111+1011+1111) 2357 0000+0001+0011+0110+0111+1100+1101 2358 not (0000+0001+0011+0110+0111+1100+1101) 2359 0000+0001+0011+0110+0111+1100+1110 2360 not (0000+0001+0011+0110+0111+1100+1110) 2361 0000+0001+0011+0110+0111+1100+1111 2362 not (0000+0001+0011+0110+0111+1100+1111) 2363 0000+0001+0011+0110+0111+1101+1110 2364 not (0000+0001+0011+0110+0111+1101+1110) 2365 0000+0001+0011+0110+0111+1101+1111 2366 not (0000+0001+0011+0110+0111+1101+1111) 2367 0000+0001+0011+0110+0111+1110+1111 2368 not (0000+0001+0011+0110+0111+1110+1111) 2369 0000+0001+0011+0110+1010+1100+1101 2370 not (0000+0001+0011+0110+1010+1100+1101) 2371 0000+0001+0011+0110+1010+1100+1110 2372 not (0000+0001+0011+0110+1010+1100+1110) 2373 0000+0001+0011+0110+1010+1100+1111 2374 not (0000+0001+0011+0110+1010+1100+1111) 2375 0000+0001+0011+0110+1010+1101+1110 2376 not (0000+0001+0011+0110+1010+1101+1110) 2377 0000+0001+0011+0110+1010+1101+1111 2378 not (0000+0001+0011+0110+1010+1101+1111) 2379 0000+0001+0011+0110+1010+1110+1111 2380 not (0000+0001+0011+0110+1010+1110+1111) 2381 0000+0001+0011+0110+1011+1100+1101 2382 not (0000+0001+0011+0110+1011+1100+1101) 2383 0000+0001+0011+0110+1011+1100+1110 2384 not (0000+0001+0011+0110+1011+1100+1110) 2385 0000+0001+0011+0110+1011+1100+1111 2386 not (0000+0001+0011+0110+1011+1100+1111) 2387 0000+0001+0011+0110+1011+1101+1110 2388 not (0000+0001+0011+0110+1011+1101+1110) 2389 0000+0001+0011+0110+1011+1101+1111 2390 not (0000+0001+0011+0110+1011+1101+1111) 2391 0000+0001+0011+0110+1011+1110+1111 2392 not (0000+0001+0011+0110+1011+1110+1111) 2393 0000+0001+0011+0110+1100+1101+1110 2394 not (0000+0001+0011+0110+1100+1101+1110) 2395 0000+0001+0011+0110+1100+1101+1111 2396 not (0000+0001+0011+0110+1100+1101+1111) 2397 0000+0001+0011+0110+1100+1110+1111 2398 not (0000+0001+0011+0110+1100+1110+1111) 2399 0000+0001+0011+0110+1101+1110+1111 2400 not (0000+0001+0011+0110+1101+1110+1111) 2401 0000+0001+0011+0111+1011+1100+1101 2402 not (0000+0001+0011+0111+1011+1100+1101) 2403 0000+0001+0011+0111+1011+1100+1110 2404 not (0000+0001+0011+0111+1011+1100+1110) 2405 0000+0001+0011+0111+1011+1100+1111 2406 not (0000+0001+0011+0111+1011+1100+1111) 2407 0000+0001+0011+0111+1011+1101+1110 2408 not (0000+0001+0011+0111+1011+1101+1110) 2409 0000+0001+0011+0111+1011+1101+1111 2410 not (0000+0001+0011+0111+1011+1101+1111) 2411 0000+0001+0011+0111+1011+1110+1111 2412 not (0000+0001+0011+0111+1011+1110+1111) 2413 0000+0001+0011+0111+1100+1101+1110 2414 not (0000+0001+0011+0111+1100+1101+1110) 2415 0000+0001+0011+0111+1100+1101+1111 2416 not (0000+0001+0011+0111+1100+1101+1111) 2417 0000+0001+0011+0111+1100+1110+1111 2418 not (0000+0001+0011+0111+1100+1110+1111) 2419 0000+0001+0011+0111+1101+1110+1111 2420 not (0000+0001+0011+0111+1101+1110+1111) 2421 0000+0001+0011+1100+1101+1110+1111 2422 not (0000+0001+0011+1100+1101+1110+1111) 2423 0000+0001+0110+0111+1010+1011+1100 2424 not (0000+0001+0110+0111+1010+1011+1100) 2425 0000+0001+0110+0111+1010+1011+1101 2426 not (0000+0001+0110+0111+1010+1011+1101) 2427 0000+0001+0110+0111+1010+1011+1110 2428 not (0000+0001+0110+0111+1010+1011+1110) 2429 0000+0001+0110+0111+1010+1011+1111 2430 not (0000+0001+0110+0111+1010+1011+1111) 2431 0000+0001+0110+0111+1010+1100+1110 2432 not (0000+0001+0110+0111+1010+1100+1110) 2433 0000+0001+0110+0111+1010+1100+1111 2434 not (0000+0001+0110+0111+1010+1100+1111) 2435 0000+0001+0110+0111+1010+1101+1110 2436 not (0000+0001+0110+0111+1010+1101+1110) 2437 0000+0001+0110+0111+1010+1101+1111 2438 not (0000+0001+0110+0111+1010+1101+1111) 2439 0000+0001+0110+0111+1010+1110+1111 2440 not (0000+0001+0110+0111+1010+1110+1111) 2441 0000+0001+0110+0111+1011+1101+1110 2442 not (0000+0001+0110+0111+1011+1101+1110) 2443 0000+0001+0110+0111+1011+1101+1111 2444 not (0000+0001+0110+0111+1011+1101+1111) 2445 0000+0001+0110+0111+1011+1110+1111 2446 not (0000+0001+0110+0111+1011+1110+1111) 2447 0000+0001+0110+1010+1100+1110+1111 2448 not (0000+0001+0110+1010+1100+1110+1111) 2449 0000+0001+0110+1010+1101+1110+1111 2450 not (0000+0001+0110+1010+1101+1110+1111) 2451 0000+0001+0110+1011+1101+1110+1111 2452 not (0000+0001+0110+1011+1101+1110+1111) 2453 0000+0001+0111+1011+1101+1110+1111 2454 not (0000+0001+0111+1011+1101+1110+1111) 2455 0000+0011+0101+0110+0111+1001+1010 2456 not (0000+0011+0101+0110+0111+1001+1010) 2457 0000+0011+0101+0110+0111+1001+1011 2458 not (0000+0011+0101+0110+0111+1001+1011) 2459 0000+0011+0101+0110+0111+1001+1110 2460 not (0000+0011+0101+0110+0111+1001+1110) 2461 0000+0011+0101+0110+0111+1001+1111 2462 not (0000+0011+0101+0110+0111+1001+1111) 2463 0000+0011+0101+0110+0111+1011+1101 2464 not (0000+0011+0101+0110+0111+1011+1101) 2465 0000+0011+0101+0110+0111+1011+1111 2466 not (0000+0011+0101+0110+0111+1011+1111) 2467 0000+0011+0101+0110+1001+1010+1100 2468 not (0000+0011+0101+0110+1001+1010+1100) 2469 0000+0011+0101+0110+1001+1010+1101 2470 not (0000+0011+0101+0110+1001+1010+1101) 2471 0000+0011+0101+0110+1001+1010+1111 2472 not (0000+0011+0101+0110+1001+1010+1111) 2473 0000+0011+0101+0110+1001+1011+1101 2474 not (0000+0011+0101+0110+1001+1011+1101) 2475 0000+0011+0101+0110+1001+1011+1110 2476 not (0000+0011+0101+0110+1001+1011+1110) 2477 0000+0011+0101+0110+1001+1011+1111 2478 not (0000+0011+0101+0110+1001+1011+1111) 2479 0000+0011+0101+0110+1001+1110+1111 2480 not (0000+0011+0101+0110+1001+1110+1111) 2481 0000+0011+0101+0110+1011+1101+1110 2482 not (0000+0011+0101+0110+1011+1101+1110) 2483 0000+0011+0101+0110+1011+1101+1111 2484 not (0000+0011+0101+0110+1011+1101+1111) 2485 0000+0011+0101+0111+1001+1011+1101 2486 not (0000+0011+0101+0111+1001+1011+1101) 2487 0000+0011+0101+0111+1001+1011+1110 2488 not (0000+0011+0101+0111+1001+1011+1110) 2489 0000+0011+0101+0111+1001+1011+1111 2490 not (0000+0011+0101+0111+1001+1011+1111) 2491 0000+0011+0101+0111+1001+1110+1111 2492 not (0000+0011+0101+0111+1001+1110+1111) 2493 0000+0011+0101+0111+1010+1011+1100 2494 not (0000+0011+0101+0111+1010+1011+1100) 2495 0000+0011+0101+0111+1010+1011+1101 2496 not (0000+0011+0101+0111+1010+1011+1101) 2497 0000+0011+0101+0111+1010+1011+1111 2498 not (0000+0011+0101+0111+1010+1011+1111) 2499 0000+0011+0101+0111+1010+1100+1110 2500 not (0000+0011+0101+0111+1010+1100+1110) 2501 0000+0011+0101+0111+1010+1100+1111 2502 not (0000+0011+0101+0111+1010+1100+1111) 2503 0000+0011+0101+0111+1010+1101+1110 2504 not (0000+0011+0101+0111+1010+1101+1110) 2505 0000+0011+0101+0111+1010+1101+1111 2506 not (0000+0011+0101+0111+1010+1101+1111) 2507 0000+0011+0101+0111+1010+1110+1111 2508 not (0000+0011+0101+0111+1010+1110+1111) 2509 0000+0011+0101+0111+1011+1101+1110 2510 not (0000+0011+0101+0111+1011+1101+1110) 2511 0000+0011+0101+0111+1011+1101+1111 2512 not (0000+0011+0101+0111+1011+1101+1111) 2513 0000+0011+0101+0111+1011+1110+1111 2514 not (0000+0011+0101+0111+1011+1110+1111) 2515 0000+0011+0101+1010+1101+1110+1111 2516 not (0000+0011+0101+1010+1101+1110+1111) 2517 0000+0011+0101+1011+1101+1110+1111 2518 not (0000+0011+0101+1011+1101+1110+1111) 2519 0000+0011+0111+1011+1100+1101+1110 2520 not (0000+0011+0111+1011+1100+1101+1110) 2521 0000+0011+0111+1011+1100+1101+1111 2522 not (0000+0011+0111+1011+1100+1101+1111) 2523 0000+0011+0111+1011+1101+1110+1111 2524 not (0000+0011+0111+1011+1101+1110+1111) 2525 0001+0010+0011+0100+0101+0110+0111 2526 not (0001+0010+0011+0100+0101+0110+0111) 2527 0001+0010+0011+0100+0101+0110+1000 2528 not (0001+0010+0011+0100+0101+0110+1000) 2529 0001+0010+0011+0100+0101+0110+1001 2530 not (0001+0010+0011+0100+0101+0110+1001) 2531 0001+0010+0011+0100+0101+0110+1011 2532 not (0001+0010+0011+0100+0101+0110+1011) 2533 0001+0010+0011+0100+0101+0110+1111 2534 not (0001+0010+0011+0100+0101+0110+1111) 2535 0001+0010+0011+0100+0101+0111+1000 2536 not (0001+0010+0011+0100+0101+0111+1000) 2537 0001+0010+0011+0100+0101+0111+1001 2538 not (0001+0010+0011+0100+0101+0111+1001) 2539 0001+0010+0011+0100+0101+0111+1010 2540 not (0001+0010+0011+0100+0101+0111+1010) 2541 0001+0010+0011+0100+0101+0111+1011 2542 not (0001+0010+0011+0100+0101+0111+1011) 2543 0001+0010+0011+0100+0101+0111+1110 2544 not (0001+0010+0011+0100+0101+0111+1110) 2545 0001+0010+0011+0100+0101+0111+1111 2546 not (0001+0010+0011+0100+0101+0111+1111) 2547 0001+0010+0011+0100+0101+1000+1001 2548 not (0001+0010+0011+0100+0101+1000+1001) 2549 0001+0010+0011+0100+0101+1000+1010 2550 not (0001+0010+0011+0100+0101+1000+1010) 2551 0001+0010+0011+0100+0101+1000+1011 2552 not (0001+0010+0011+0100+0101+1000+1011) 2553 0001+0010+0011+0100+0101+1000+1110 2554 not (0001+0010+0011+0100+0101+1000+1110) 2555 0001+0010+0011+0100+0101+1000+1111 2556 not (0001+0010+0011+0100+0101+1000+1111) 2557 0001+0010+0011+0100+0101+1001+1010 2558 not (0001+0010+0011+0100+0101+1001+1010) 2559 0001+0010+0011+0100+0101+1001+1011 2560 not (0001+0010+0011+0100+0101+1001+1011) 2561 0001+0010+0011+0100+0101+1001+1110 2562 not (0001+0010+0011+0100+0101+1001+1110) 2563 0001+0010+0011+0100+0101+1001+1111 2564 not (0001+0010+0011+0100+0101+1001+1111) 2565 0001+0010+0011+0100+0101+1010+1011 2566 not (0001+0010+0011+0100+0101+1010+1011) 2567 0001+0010+0011+0100+0101+1010+1100 2568 not (0001+0010+0011+0100+0101+1010+1100) 2569 0001+0010+0011+0100+0101+1010+1101 2570 not (0001+0010+0011+0100+0101+1010+1101) 2571 0001+0010+0011+0100+0101+1010+1110 2572 not (0001+0010+0011+0100+0101+1010+1110) 2573 0001+0010+0011+0100+0101+1010+1111 2574 not (0001+0010+0011+0100+0101+1010+1111) 2575 0001+0010+0011+0100+0101+1011+1101 2576 not (0001+0010+0011+0100+0101+1011+1101) 2577 0001+0010+0011+0100+0101+1011+1110 2578 not (0001+0010+0011+0100+0101+1011+1110) 2579 0001+0010+0011+0100+0101+1011+1111 2580 not (0001+0010+0011+0100+0101+1011+1111) 2581 0001+0010+0011+0100+0101+1110+1111 2582 not (0001+0010+0011+0100+0101+1110+1111) 2583 0001+0010+0011+0100+0111+1000+1011 2584 not (0001+0010+0011+0100+0111+1000+1011) 2585 0001+0010+0011+0100+0111+1000+1100 2586 not (0001+0010+0011+0100+0111+1000+1100) 2587 0001+0010+0011+0100+0111+1000+1101 2588 not (0001+0010+0011+0100+0111+1000+1101) 2589 0001+0010+0011+0100+0111+1000+1111 2590 not (0001+0010+0011+0100+0111+1000+1111) 2591 0001+0010+0011+0100+0111+1001+1010 2592 not (0001+0010+0011+0100+0111+1001+1010) 2593 0001+0010+0011+0100+0111+1001+1011 2594 not (0001+0010+0011+0100+0111+1001+1011) 2595 0001+0010+0011+0100+0111+1001+1100 2596 not (0001+0010+0011+0100+0111+1001+1100) 2597 0001+0010+0011+0100+0111+1001+1101 2598 not (0001+0010+0011+0100+0111+1001+1101) 2599 0001+0010+0011+0100+0111+1001+1110 2600 not (0001+0010+0011+0100+0111+1001+1110) 2601 0001+0010+0011+0100+0111+1001+1111 2602 not (0001+0010+0011+0100+0111+1001+1111) 2603 0001+0010+0011+0100+0111+1011+1100 2604 not (0001+0010+0011+0100+0111+1011+1100) 2605 0001+0010+0011+0100+0111+1011+1101 2606 not (0001+0010+0011+0100+0111+1011+1101) 2607 0001+0010+0011+0100+0111+1011+1111 2608 not (0001+0010+0011+0100+0111+1011+1111) 2609 0001+0010+0011+0100+0111+1100+1101 2610 not (0001+0010+0011+0100+0111+1100+1101) 2611 0001+0010+0011+0100+0111+1100+1111 2612 not (0001+0010+0011+0100+0111+1100+1111) 2613 0001+0010+0011+0100+0111+1101+1110 2614 not (0001+0010+0011+0100+0111+1101+1110) 2615 0001+0010+0011+0100+0111+1101+1111 2616 not (0001+0010+0011+0100+0111+1101+1111) 2617 0001+0010+0011+0100+1000+1100+1111 2618 not (0001+0010+0011+0100+1000+1100+1111) 2619 0001+0010+0011+0100+1000+1101+1110 2620 not (0001+0010+0011+0100+1000+1101+1110) 2621 0001+0010+0011+0100+1000+1101+1111 2622 not (0001+0010+0011+0100+1000+1101+1111) 2623 0001+0010+0011+0100+1001+1010+1011 2624 not (0001+0010+0011+0100+1001+1010+1011) 2625 0001+0010+0011+0100+1001+1010+1100 2626 not (0001+0010+0011+0100+1001+1010+1100) 2627 0001+0010+0011+0100+1001+1010+1101 2628 not (0001+0010+0011+0100+1001+1010+1101) 2629 0001+0010+0011+0100+1001+1010+1111 2630 not (0001+0010+0011+0100+1001+1010+1111) 2631 0001+0010+0011+0100+1001+1011+1100 2632 not (0001+0010+0011+0100+1001+1011+1100) 2633 0001+0010+0011+0100+1001+1011+1101 2634 not (0001+0010+0011+0100+1001+1011+1101) 2635 0001+0010+0011+0100+1001+1011+1110 2636 not (0001+0010+0011+0100+1001+1011+1110) 2637 0001+0010+0011+0100+1001+1011+1111 2638 not (0001+0010+0011+0100+1001+1011+1111) 2639 0001+0010+0011+0100+1001+1100+1101 2640 not (0001+0010+0011+0100+1001+1100+1101) 2641 0001+0010+0011+0100+1001+1100+1110 2642 not (0001+0010+0011+0100+1001+1100+1110) 2643 0001+0010+0011+0100+1001+1100+1111 2644 not (0001+0010+0011+0100+1001+1100+1111) 2645 0001+0010+0011+0100+1001+1101+1110 2646 not (0001+0010+0011+0100+1001+1101+1110) 2647 0001+0010+0011+0100+1001+1101+1111 2648 not (0001+0010+0011+0100+1001+1101+1111) 2649 0001+0010+0011+0100+1001+1110+1111 2650 not (0001+0010+0011+0100+1001+1110+1111) 2651 0001+0010+0011+0100+1011+1100+1101 2652 not (0001+0010+0011+0100+1011+1100+1101) 2653 0001+0010+0011+0100+1011+1100+1111 2654 not (0001+0010+0011+0100+1011+1100+1111) 2655 0001+0010+0011+0100+1011+1101+1110 2656 not (0001+0010+0011+0100+1011+1101+1110) 2657 0001+0010+0011+0100+1011+1101+1111 2658 not (0001+0010+0011+0100+1011+1101+1111) 2659 0001+0010+0011+0100+1100+1101+1110 2660 not (0001+0010+0011+0100+1100+1101+1110) 2661 0001+0010+0011+0100+1100+1101+1111 2662 not (0001+0010+0011+0100+1100+1101+1111) 2663 0001+0010+0011+0100+1101+1110+1111 2664 not (0001+0010+0011+0100+1101+1110+1111) 2665 0001+0010+0011+0101+0110+0111+1001 2666 not (0001+0010+0011+0101+0110+0111+1001) 2667 0001+0010+0011+0101+0110+0111+1011 2668 not (0001+0010+0011+0101+0110+0111+1011) 2669 0001+0010+0011+0101+0110+0111+1100 2670 not (0001+0010+0011+0101+0110+0111+1100) 2671 0001+0010+0011+0101+0110+0111+1101 2672 not (0001+0010+0011+0101+0110+0111+1101) 2673 0001+0010+0011+0101+0110+0111+1111 2674 not (0001+0010+0011+0101+0110+0111+1111) 2675 0001+0010+0011+0101+0110+1001+1010 2676 not (0001+0010+0011+0101+0110+1001+1010) 2677 0001+0010+0011+0101+0110+1001+1011 2678 not (0001+0010+0011+0101+0110+1001+1011) 2679 0001+0010+0011+0101+0110+1001+1100 2680 not (0001+0010+0011+0101+0110+1001+1100) 2681 0001+0010+0011+0101+0110+1001+1101 2682 not (0001+0010+0011+0101+0110+1001+1101) 2683 0001+0010+0011+0101+0110+1001+1110 2684 not (0001+0010+0011+0101+0110+1001+1110) 2685 0001+0010+0011+0101+0110+1001+1111 2686 not (0001+0010+0011+0101+0110+1001+1111) 2687 0001+0010+0011+0101+0110+1011+1100 2688 not (0001+0010+0011+0101+0110+1011+1100) 2689 0001+0010+0011+0101+0110+1011+1101 2690 not (0001+0010+0011+0101+0110+1011+1101) 2691 0001+0010+0011+0101+0110+1011+1111 2692 not (0001+0010+0011+0101+0110+1011+1111) 2693 0001+0010+0011+0101+0110+1100+1101 2694 not (0001+0010+0011+0101+0110+1100+1101) 2695 0001+0010+0011+0101+0110+1100+1111 2696 not (0001+0010+0011+0101+0110+1100+1111) 2697 0001+0010+0011+0101+0110+1101+1110 2698 not (0001+0010+0011+0101+0110+1101+1110) 2699 0001+0010+0011+0101+0110+1101+1111 2700 not (0001+0010+0011+0101+0110+1101+1111) 2701 0001+0010+0011+0101+0111+1001+1011 2702 not (0001+0010+0011+0101+0111+1001+1011) 2703 0001+0010+0011+0101+0111+1001+1100 2704 not (0001+0010+0011+0101+0111+1001+1100) 2705 0001+0010+0011+0101+0111+1001+1101 2706 not (0001+0010+0011+0101+0111+1001+1101) 2707 0001+0010+0011+0101+0111+1001+1110 2708 not (0001+0010+0011+0101+0111+1001+1110) 2709 0001+0010+0011+0101+0111+1001+1111 2710 not (0001+0010+0011+0101+0111+1001+1111) 2711 0001+0010+0011+0101+0111+1010+1011 2712 not (0001+0010+0011+0101+0111+1010+1011) 2713 0001+0010+0011+0101+0111+1010+1100 2714 not (0001+0010+0011+0101+0111+1010+1100) 2715 0001+0010+0011+0101+0111+1010+1101 2716 not (0001+0010+0011+0101+0111+1010+1101) 2717 0001+0010+0011+0101+0111+1010+1110 2718 not (0001+0010+0011+0101+0111+1010+1110) 2719 0001+0010+0011+0101+0111+1010+1111 2720 not (0001+0010+0011+0101+0111+1010+1111) 2721 0001+0010+0011+0101+0111+1011+1100 2722 not (0001+0010+0011+0101+0111+1011+1100) 2723 0001+0010+0011+0101+0111+1011+1101 2724 not (0001+0010+0011+0101+0111+1011+1101) 2725 0001+0010+0011+0101+0111+1011+1110 2726 not (0001+0010+0011+0101+0111+1011+1110) 2727 0001+0010+0011+0101+0111+1011+1111 2728 not (0001+0010+0011+0101+0111+1011+1111) 2729 0001+0010+0011+0101+0111+1100+1101 2730 not (0001+0010+0011+0101+0111+1100+1101) 2731 0001+0010+0011+0101+0111+1100+1110 2732 not (0001+0010+0011+0101+0111+1100+1110) 2733 0001+0010+0011+0101+0111+1100+1111 2734 not (0001+0010+0011+0101+0111+1100+1111) 2735 0001+0010+0011+0101+0111+1101+1110 2736 not (0001+0010+0011+0101+0111+1101+1110) 2737 0001+0010+0011+0101+0111+1101+1111 2738 not (0001+0010+0011+0101+0111+1101+1111) 2739 0001+0010+0011+0101+0111+1110+1111 2740 not (0001+0010+0011+0101+0111+1110+1111) 2741 0001+0010+0011+0101+1001+1100+1101 2742 not (0001+0010+0011+0101+1001+1100+1101) 2743 0001+0010+0011+0101+1001+1100+1110 2744 not (0001+0010+0011+0101+1001+1100+1110) 2745 0001+0010+0011+0101+1001+1100+1111 2746 not (0001+0010+0011+0101+1001+1100+1111) 2747 0001+0010+0011+0101+1001+1101+1110 2748 not (0001+0010+0011+0101+1001+1101+1110) 2749 0001+0010+0011+0101+1001+1101+1111 2750 not (0001+0010+0011+0101+1001+1101+1111) 2751 0001+0010+0011+0101+1001+1110+1111 2752 not (0001+0010+0011+0101+1001+1110+1111) 2753 0001+0010+0011+0101+1010+1100+1101 2754 not (0001+0010+0011+0101+1010+1100+1101) 2755 0001+0010+0011+0101+1010+1100+1111 2756 not (0001+0010+0011+0101+1010+1100+1111) 2757 0001+0010+0011+0101+1010+1101+1110 2758 not (0001+0010+0011+0101+1010+1101+1110) 2759 0001+0010+0011+0101+1010+1101+1111 2760 not (0001+0010+0011+0101+1010+1101+1111) 2761 0001+0010+0011+0101+1011+1100+1101 2762 not (0001+0010+0011+0101+1011+1100+1101) 2763 0001+0010+0011+0101+1011+1100+1110 2764 not (0001+0010+0011+0101+1011+1100+1110) 2765 0001+0010+0011+0101+1011+1100+1111 2766 not (0001+0010+0011+0101+1011+1100+1111) 2767 0001+0010+0011+0101+1011+1101+1110 2768 not (0001+0010+0011+0101+1011+1101+1110) 2769 0001+0010+0011+0101+1011+1101+1111 2770 not (0001+0010+0011+0101+1011+1101+1111) 2771 0001+0010+0011+0101+1011+1110+1111 2772 not (0001+0010+0011+0101+1011+1110+1111) 2773 0001+0010+0011+0101+1100+1101+1110 2774 not (0001+0010+0011+0101+1100+1101+1110) 2775 0001+0010+0011+0101+1100+1101+1111 2776 not (0001+0010+0011+0101+1100+1101+1111) 2777 0001+0010+0011+0101+1100+1110+1111 2778 not (0001+0010+0011+0101+1100+1110+1111) 2779 0001+0010+0011+0101+1101+1110+1111 2780 not (0001+0010+0011+0101+1101+1110+1111) 2781 0001+0010+0011+0111+1011+1100+1101 2782 not (0001+0010+0011+0111+1011+1100+1101) 2783 0001+0010+0011+0111+1011+1100+1111 2784 not (0001+0010+0011+0111+1011+1100+1111) 2785 0001+0010+0011+0111+1011+1101+1110 2786 not (0001+0010+0011+0111+1011+1101+1110) 2787 0001+0010+0011+0111+1011+1101+1111 2788 not (0001+0010+0011+0111+1011+1101+1111) 2789 0001+0010+0011+0111+1100+1101+1110 2790 not (0001+0010+0011+0111+1100+1101+1110) 2791 0001+0010+0011+0111+1100+1101+1111 2792 not (0001+0010+0011+0111+1100+1101+1111) 2793 0001+0010+0011+0111+1101+1110+1111 2794 not (0001+0010+0011+0111+1101+1110+1111) 2795 0001+0010+0011+1100+1101+1110+1111 2796 not (0001+0010+0011+1100+1101+1110+1111) 2797 0001+0010+0100+0111+1000+1011+1101 2798 not (0001+0010+0100+0111+1000+1011+1101) 2799 0001+0010+0100+0111+1000+1011+1111 2800 not (0001+0010+0100+0111+1000+1011+1111) 2801 0001+0010+0100+0111+1001+1010+1011 2802 not (0001+0010+0100+0111+1001+1010+1011) 2803 0001+0010+0100+0111+1001+1010+1100 2804 not (0001+0010+0100+0111+1001+1010+1100) 2805 0001+0010+0100+0111+1001+1010+1101 2806 not (0001+0010+0100+0111+1001+1010+1101) 2807 0001+0010+0100+0111+1001+1010+1111 2808 not (0001+0010+0100+0111+1001+1010+1111) 2809 0001+0010+0100+0111+1001+1011+1101 2810 not (0001+0010+0100+0111+1001+1011+1101) 2811 0001+0010+0100+0111+1001+1011+1110 2812 not (0001+0010+0100+0111+1001+1011+1110) 2813 0001+0010+0100+0111+1001+1011+1111 2814 not (0001+0010+0100+0111+1001+1011+1111) 2815 0001+0010+0100+0111+1001+1110+1111 2816 not (0001+0010+0100+0111+1001+1110+1111) 2817 0001+0010+0100+0111+1011+1101+1110 2818 not (0001+0010+0100+0111+1011+1101+1110) 2819 0001+0010+0100+0111+1011+1101+1111 2820 not (0001+0010+0100+0111+1011+1101+1111) 2821 0001+0010+0100+1001+1010+1011+1100 2822 not (0001+0010+0100+1001+1010+1011+1100) 2823 0001+0010+0100+1001+1010+1011+1101 2824 not (0001+0010+0100+1001+1010+1011+1101) 2825 0001+0010+0100+1001+1010+1011+1111 2826 not (0001+0010+0100+1001+1010+1011+1111) 2827 0001+0010+0100+1001+1010+1100+1111 2828 not (0001+0010+0100+1001+1010+1100+1111) 2829 0001+0010+0100+1001+1010+1101+1110 2830 not (0001+0010+0100+1001+1010+1101+1110) 2831 0001+0010+0100+1001+1010+1101+1111 2832 not (0001+0010+0100+1001+1010+1101+1111) 2833 0001+0010+0100+1001+1011+1101+1110 2834 not (0001+0010+0100+1001+1011+1101+1110) 2835 0001+0010+0100+1001+1011+1101+1111 2836 not (0001+0010+0100+1001+1011+1101+1111) 2837 0001+0010+0100+1001+1011+1110+1111 2838 not (0001+0010+0100+1001+1011+1110+1111) 2839 0001+0010+0100+1011+1101+1110+1111 2840 not (0001+0010+0100+1011+1101+1110+1111) 2841 0001+0010+0101+0110+0111+1001+1010 2842 not (0001+0010+0101+0110+0111+1001+1010) 2843 0001+0010+0101+0110+0111+1001+1011 2844 not (0001+0010+0101+0110+0111+1001+1011) 2845 0001+0010+0101+0110+0111+1001+1100 2846 not (0001+0010+0101+0110+0111+1001+1100) 2847 0001+0010+0101+0110+0111+1001+1101 2848 not (0001+0010+0101+0110+0111+1001+1101) 2849 0001+0010+0101+0110+0111+1001+1110 2850 not (0001+0010+0101+0110+0111+1001+1110) 2851 0001+0010+0101+0110+0111+1001+1111 2852 not (0001+0010+0101+0110+0111+1001+1111) 2853 0001+0010+0101+0110+0111+1011+1100 2854 not (0001+0010+0101+0110+0111+1011+1100) 2855 0001+0010+0101+0110+0111+1011+1101 2856 not (0001+0010+0101+0110+0111+1011+1101) 2857 0001+0010+0101+0110+0111+1011+1111 2858 not (0001+0010+0101+0110+0111+1011+1111) 2859 0001+0010+0101+0110+0111+1100+1101 2860 not (0001+0010+0101+0110+0111+1100+1101) 2861 0001+0010+0101+0110+0111+1100+1111 2862 not (0001+0010+0101+0110+0111+1100+1111) 2863 0001+0010+0101+0110+0111+1101+1110 2864 not (0001+0010+0101+0110+0111+1101+1110) 2865 0001+0010+0101+0110+0111+1101+1111 2866 not (0001+0010+0101+0110+0111+1101+1111) 2867 0001+0010+0101+0110+1001+1010+1100 2868 not (0001+0010+0101+0110+1001+1010+1100) 2869 0001+0010+0101+0110+1001+1010+1101 2870 not (0001+0010+0101+0110+1001+1010+1101) 2871 0001+0010+0101+0110+1001+1010+1111 2872 not (0001+0010+0101+0110+1001+1010+1111) 2873 0001+0010+0101+0110+1001+1011+1100 2874 not (0001+0010+0101+0110+1001+1011+1100) 2875 0001+0010+0101+0110+1001+1011+1101 2876 not (0001+0010+0101+0110+1001+1011+1101) 2877 0001+0010+0101+0110+1001+1011+1110 2878 not (0001+0010+0101+0110+1001+1011+1110) 2879 0001+0010+0101+0110+1001+1011+1111 2880 not (0001+0010+0101+0110+1001+1011+1111) 2881 0001+0010+0101+0110+1001+1100+1101 2882 not (0001+0010+0101+0110+1001+1100+1101) 2883 0001+0010+0101+0110+1001+1100+1110 2884 not (0001+0010+0101+0110+1001+1100+1110) 2885 0001+0010+0101+0110+1001+1100+1111 2886 not (0001+0010+0101+0110+1001+1100+1111) 2887 0001+0010+0101+0110+1001+1101+1110 2888 not (0001+0010+0101+0110+1001+1101+1110) 2889 0001+0010+0101+0110+1001+1101+1111 2890 not (0001+0010+0101+0110+1001+1101+1111) 2891 0001+0010+0101+0110+1001+1110+1111 2892 not (0001+0010+0101+0110+1001+1110+1111) 2893 0001+0010+0101+0110+1011+1100+1101 2894 not (0001+0010+0101+0110+1011+1100+1101) 2895 0001+0010+0101+0110+1011+1100+1111 2896 not (0001+0010+0101+0110+1011+1100+1111) 2897 0001+0010+0101+0110+1011+1101+1110 2898 not (0001+0010+0101+0110+1011+1101+1110) 2899 0001+0010+0101+0110+1011+1101+1111 2900 not (0001+0010+0101+0110+1011+1101+1111) 2901 0001+0010+0101+0110+1100+1101+1110 2902 not (0001+0010+0101+0110+1100+1101+1110) 2903 0001+0010+0101+0110+1100+1101+1111 2904 not (0001+0010+0101+0110+1100+1101+1111) 2905 0001+0010+0101+0110+1101+1110+1111 2906 not (0001+0010+0101+0110+1101+1110+1111) 2907 0001+0010+0101+0111+1001+1011+1100 2908 not (0001+0010+0101+0111+1001+1011+1100) 2909 0001+0010+0101+0111+1001+1011+1101 2910 not (0001+0010+0101+0111+1001+1011+1101) 2911 0001+0010+0101+0111+1001+1011+1110 2912 not (0001+0010+0101+0111+1001+1011+1110) 2913 0001+0010+0101+0111+1001+1011+1111 2914 not (0001+0010+0101+0111+1001+1011+1111) 2915 0001+0010+0101+0111+1001+1100+1101 2916 not (0001+0010+0101+0111+1001+1100+1101) 2917 0001+0010+0101+0111+1001+1100+1110 2918 not (0001+0010+0101+0111+1001+1100+1110) 2919 0001+0010+0101+0111+1001+1100+1111 2920 not (0001+0010+0101+0111+1001+1100+1111) 2921 0001+0010+0101+0111+1001+1101+1110 2922 not (0001+0010+0101+0111+1001+1101+1110) 2923 0001+0010+0101+0111+1001+1101+1111 2924 not (0001+0010+0101+0111+1001+1101+1111) 2925 0001+0010+0101+0111+1001+1110+1111 2926 not (0001+0010+0101+0111+1001+1110+1111) 2927 0001+0010+0101+0111+1010+1011+1100 2928 not (0001+0010+0101+0111+1010+1011+1100) 2929 0001+0010+0101+0111+1010+1011+1101 2930 not (0001+0010+0101+0111+1010+1011+1101) 2931 0001+0010+0101+0111+1010+1011+1111 2932 not (0001+0010+0101+0111+1010+1011+1111) 2933 0001+0010+0101+0111+1010+1100+1101 2934 not (0001+0010+0101+0111+1010+1100+1101) 2935 0001+0010+0101+0111+1010+1100+1110 2936 not (0001+0010+0101+0111+1010+1100+1110) 2937 0001+0010+0101+0111+1010+1100+1111 2938 not (0001+0010+0101+0111+1010+1100+1111) 2939 0001+0010+0101+0111+1010+1101+1110 2940 not (0001+0010+0101+0111+1010+1101+1110) 2941 0001+0010+0101+0111+1010+1101+1111 2942 not (0001+0010+0101+0111+1010+1101+1111) 2943 0001+0010+0101+0111+1010+1110+1111 2944 not (0001+0010+0101+0111+1010+1110+1111) 2945 0001+0010+0101+0111+1011+1100+1101 2946 not (0001+0010+0101+0111+1011+1100+1101) 2947 0001+0010+0101+0111+1011+1100+1110 2948 not (0001+0010+0101+0111+1011+1100+1110) 2949 0001+0010+0101+0111+1011+1100+1111 2950 not (0001+0010+0101+0111+1011+1100+1111) 2951 0001+0010+0101+0111+1011+1101+1110 2952 not (0001+0010+0101+0111+1011+1101+1110) 2953 0001+0010+0101+0111+1011+1101+1111 2954 not (0001+0010+0101+0111+1011+1101+1111) 2955 0001+0010+0101+0111+1011+1110+1111 2956 not (0001+0010+0101+0111+1011+1110+1111) 2957 0001+0010+0101+0111+1100+1101+1110 2958 not (0001+0010+0101+0111+1100+1101+1110) 2959 0001+0010+0101+0111+1100+1101+1111 2960 not (0001+0010+0101+0111+1100+1101+1111) 2961 0001+0010+0101+0111+1100+1110+1111 2962 not (0001+0010+0101+0111+1100+1110+1111) 2963 0001+0010+0101+0111+1101+1110+1111 2964 not (0001+0010+0101+0111+1101+1110+1111) 2965 0001+0010+0101+1001+1100+1101+1110 2966 not (0001+0010+0101+1001+1100+1101+1110) 2967 0001+0010+0101+1001+1100+1101+1111 2968 not (0001+0010+0101+1001+1100+1101+1111) 2969 0001+0010+0101+1001+1100+1110+1111 2970 not (0001+0010+0101+1001+1100+1110+1111) 2971 0001+0010+0101+1001+1101+1110+1111 2972 not (0001+0010+0101+1001+1101+1110+1111) 2973 0001+0010+0101+1010+1100+1101+1110 2974 not (0001+0010+0101+1010+1100+1101+1110) 2975 0001+0010+0101+1010+1100+1101+1111 2976 not (0001+0010+0101+1010+1100+1101+1111) 2977 0001+0010+0101+1010+1101+1110+1111 2978 not (0001+0010+0101+1010+1101+1110+1111) 2979 0001+0010+0101+1011+1100+1101+1110 2980 not (0001+0010+0101+1011+1100+1101+1110) 2981 0001+0010+0101+1011+1100+1101+1111 2982 not (0001+0010+0101+1011+1100+1101+1111) 2983 0001+0010+0101+1011+1100+1110+1111 2984 not (0001+0010+0101+1011+1100+1110+1111) 2985 0001+0010+0101+1011+1101+1110+1111 2986 not (0001+0010+0101+1011+1101+1110+1111) 2987 0001+0010+0101+1100+1101+1110+1111 2988 not (0001+0010+0101+1100+1101+1110+1111) 2989 0001+0010+0111+1011+1100+1101+1110 2990 not (0001+0010+0111+1011+1100+1101+1110) 2991 0001+0010+0111+1011+1100+1101+1111 2992 not (0001+0010+0111+1011+1100+1101+1111) 2993 0001+0010+0111+1011+1101+1110+1111 2994 not (0001+0010+0111+1011+1101+1110+1111) 2995 0001+0010+0111+1100+1101+1110+1111 2996 not (0001+0010+0111+1100+1101+1110+1111) 2997 0001+0011+0101+0110+0111+1001+1010 2998 not (0001+0011+0101+0110+0111+1001+1010) 2999 0001+0011+0101+0110+0111+1001+1011 3000 not (0001+0011+0101+0110+0111+1001+1011) 3001 0001+0011+0101+0110+0111+1001+1110 3002 not (0001+0011+0101+0110+0111+1001+1110) 3003 0001+0011+0101+0110+0111+1001+1111 3004 not (0001+0011+0101+0110+0111+1001+1111) 3005 0001+0011+0101+0110+0111+1010+1011 3006 not (0001+0011+0101+0110+0111+1010+1011) 3007 0001+0011+0101+0110+0111+1010+1100 3008 not (0001+0011+0101+0110+0111+1010+1100) 3009 0001+0011+0101+0110+0111+1010+1101 3010 not (0001+0011+0101+0110+0111+1010+1101) 3011 0001+0011+0101+0110+0111+1010+1110 3012 not (0001+0011+0101+0110+0111+1010+1110) 3013 0001+0011+0101+0110+0111+1010+1111 3014 not (0001+0011+0101+0110+0111+1010+1111) 3015 0001+0011+0101+0110+0111+1011+1101 3016 not (0001+0011+0101+0110+0111+1011+1101) 3017 0001+0011+0101+0110+0111+1011+1110 3018 not (0001+0011+0101+0110+0111+1011+1110) 3019 0001+0011+0101+0110+0111+1011+1111 3020 not (0001+0011+0101+0110+0111+1011+1111) 3021 0001+0011+0101+0110+0111+1110+1111 3022 not (0001+0011+0101+0110+0111+1110+1111) 3023 0001+0011+0101+0110+1001+1010+1100 3024 not (0001+0011+0101+0110+1001+1010+1100) 3025 0001+0011+0101+0110+1001+1010+1101 3026 not (0001+0011+0101+0110+1001+1010+1101) 3027 0001+0011+0101+0110+1001+1010+1110 3028 not (0001+0011+0101+0110+1001+1010+1110) 3029 0001+0011+0101+0110+1001+1010+1111 3030 not (0001+0011+0101+0110+1001+1010+1111) 3031 0001+0011+0101+0110+1001+1011+1101 3032 not (0001+0011+0101+0110+1001+1011+1101) 3033 0001+0011+0101+0110+1001+1011+1110 3034 not (0001+0011+0101+0110+1001+1011+1110) 3035 0001+0011+0101+0110+1001+1011+1111 3036 not (0001+0011+0101+0110+1001+1011+1111) 3037 0001+0011+0101+0110+1001+1110+1111 3038 not (0001+0011+0101+0110+1001+1110+1111) 3039 0001+0011+0101+0110+1010+1011+1100 3040 not (0001+0011+0101+0110+1010+1011+1100) 3041 0001+0011+0101+0110+1010+1011+1101 3042 not (0001+0011+0101+0110+1010+1011+1101) 3043 0001+0011+0101+0110+1010+1011+1110 3044 not (0001+0011+0101+0110+1010+1011+1110) 3045 0001+0011+0101+0110+1010+1011+1111 3046 not (0001+0011+0101+0110+1010+1011+1111) 3047 0001+0011+0101+0110+1010+1100+1110 3048 not (0001+0011+0101+0110+1010+1100+1110) 3049 0001+0011+0101+0110+1010+1100+1111 3050 not (0001+0011+0101+0110+1010+1100+1111) 3051 0001+0011+0101+0110+1010+1101+1110 3052 not (0001+0011+0101+0110+1010+1101+1110) 3053 0001+0011+0101+0110+1010+1101+1111 3054 not (0001+0011+0101+0110+1010+1101+1111) 3055 0001+0011+0101+0110+1010+1110+1111 3056 not (0001+0011+0101+0110+1010+1110+1111) 3057 0001+0011+0101+0110+1011+1101+1110 3058 not (0001+0011+0101+0110+1011+1101+1110) 3059 0001+0011+0101+0110+1011+1101+1111 3060 not (0001+0011+0101+0110+1011+1101+1111) 3061 0001+0011+0101+0110+1011+1110+1111 3062 not (0001+0011+0101+0110+1011+1110+1111) 3063 0001+0011+0101+0111+1001+1011+1101 3064 not (0001+0011+0101+0111+1001+1011+1101) 3065 0001+0011+0101+0111+1001+1011+1110 3066 not (0001+0011+0101+0111+1001+1011+1110) 3067 0001+0011+0101+0111+1001+1011+1111 3068 not (0001+0011+0101+0111+1001+1011+1111) 3069 0001+0011+0101+0111+1001+1110+1111 3070 not (0001+0011+0101+0111+1001+1110+1111) 3071 0001+0011+0101+0111+1010+1011+1100 3072 not (0001+0011+0101+0111+1010+1011+1100) 3073 0001+0011+0101+0111+1010+1011+1101 3074 not (0001+0011+0101+0111+1010+1011+1101) 3075 0001+0011+0101+0111+1010+1011+1110 3076 not (0001+0011+0101+0111+1010+1011+1110) 3077 0001+0011+0101+0111+1010+1011+1111 3078 not (0001+0011+0101+0111+1010+1011+1111) 3079 0001+0011+0101+0111+1010+1100+1110 3080 not (0001+0011+0101+0111+1010+1100+1110) 3081 0001+0011+0101+0111+1010+1100+1111 3082 not (0001+0011+0101+0111+1010+1100+1111) 3083 0001+0011+0101+0111+1010+1101+1110 3084 not (0001+0011+0101+0111+1010+1101+1110) 3085 0001+0011+0101+0111+1010+1101+1111 3086 not (0001+0011+0101+0111+1010+1101+1111) 3087 0001+0011+0101+0111+1010+1110+1111 3088 not (0001+0011+0101+0111+1010+1110+1111) 3089 0001+0011+0101+0111+1011+1101+1110 3090 not (0001+0011+0101+0111+1011+1101+1110) 3091 0001+0011+0101+0111+1011+1101+1111 3092 not (0001+0011+0101+0111+1011+1101+1111) 3093 0001+0011+0101+0111+1011+1110+1111 3094 not (0001+0011+0101+0111+1011+1110+1111) 3095 0001+0011+0101+1010+1011+1100+1101 3096 not (0001+0011+0101+1010+1011+1100+1101) 3097 0001+0011+0101+1010+1011+1100+1110 3098 not (0001+0011+0101+1010+1011+1100+1110) 3099 0001+0011+0101+1010+1011+1100+1111 3100 not (0001+0011+0101+1010+1011+1100+1111) 3101 0001+0011+0101+1010+1011+1101+1110 3102 not (0001+0011+0101+1010+1011+1101+1110) 3103 0001+0011+0101+1010+1011+1101+1111 3104 not (0001+0011+0101+1010+1011+1101+1111) 3105 0001+0011+0101+1010+1011+1110+1111 3106 not (0001+0011+0101+1010+1011+1110+1111) 3107 0001+0011+0101+1010+1100+1110+1111 3108 not (0001+0011+0101+1010+1100+1110+1111) 3109 0001+0011+0101+1010+1101+1110+1111 3110 not (0001+0011+0101+1010+1101+1110+1111) 3111 0001+0011+0101+1011+1101+1110+1111 3112 not (0001+0011+0101+1011+1101+1110+1111) 3113 0001+0011+0110+0111+1010+1011+1100 3114 not (0001+0011+0110+0111+1010+1011+1100) 3115 0001+0011+0110+0111+1010+1011+1101 3116 not (0001+0011+0110+0111+1010+1011+1101) 3117 0001+0011+0110+0111+1010+1011+1110 3118 not (0001+0011+0110+0111+1010+1011+1110) 3119 0001+0011+0110+0111+1010+1011+1111 3120 not (0001+0011+0110+0111+1010+1011+1111) 3121 0001+0011+0110+0111+1010+1100+1101 3122 not (0001+0011+0110+0111+1010+1100+1101) 3123 0001+0011+0110+0111+1010+1100+1110 3124 not (0001+0011+0110+0111+1010+1100+1110) 3125 0001+0011+0110+0111+1010+1100+1111 3126 not (0001+0011+0110+0111+1010+1100+1111) 3127 0001+0011+0110+0111+1010+1101+1110 3128 not (0001+0011+0110+0111+1010+1101+1110) 3129 0001+0011+0110+0111+1010+1101+1111 3130 not (0001+0011+0110+0111+1010+1101+1111) 3131 0001+0011+0110+0111+1010+1110+1111 3132 not (0001+0011+0110+0111+1010+1110+1111) 3133 0001+0011+0110+0111+1011+1100+1101 3134 not (0001+0011+0110+0111+1011+1100+1101) 3135 0001+0011+0110+0111+1011+1100+1110 3136 not (0001+0011+0110+0111+1011+1100+1110) 3137 0001+0011+0110+0111+1011+1100+1111 3138 not (0001+0011+0110+0111+1011+1100+1111) 3139 0001+0011+0110+0111+1011+1101+1110 3140 not (0001+0011+0110+0111+1011+1101+1110) 3141 0001+0011+0110+0111+1011+1101+1111 3142 not (0001+0011+0110+0111+1011+1101+1111) 3143 0001+0011+0110+0111+1011+1110+1111 3144 not (0001+0011+0110+0111+1011+1110+1111) 3145 0001+0011+0110+0111+1100+1101+1110 3146 not (0001+0011+0110+0111+1100+1101+1110) 3147 0001+0011+0110+0111+1100+1101+1111 3148 not (0001+0011+0110+0111+1100+1101+1111) 3149 0001+0011+0110+0111+1100+1110+1111 3150 not (0001+0011+0110+0111+1100+1110+1111) 3151 0001+0011+0110+0111+1101+1110+1111 3152 not (0001+0011+0110+0111+1101+1110+1111) 3153 0001+0011+0110+1010+1100+1101+1110 3154 not (0001+0011+0110+1010+1100+1101+1110) 3155 0001+0011+0110+1010+1100+1101+1111 3156 not (0001+0011+0110+1010+1100+1101+1111) 3157 0001+0011+0110+1010+1100+1110+1111 3158 not (0001+0011+0110+1010+1100+1110+1111) 3159 0001+0011+0110+1010+1101+1110+1111 3160 not (0001+0011+0110+1010+1101+1110+1111) 3161 0001+0011+0110+1011+1100+1101+1110 3162 not (0001+0011+0110+1011+1100+1101+1110) 3163 0001+0011+0110+1011+1100+1101+1111 3164 not (0001+0011+0110+1011+1100+1101+1111) 3165 0001+0011+0110+1011+1100+1110+1111 3166 not (0001+0011+0110+1011+1100+1110+1111) 3167 0001+0011+0110+1011+1101+1110+1111 3168 not (0001+0011+0110+1011+1101+1110+1111) 3169 0001+0011+0110+1100+1101+1110+1111 3170 not (0001+0011+0110+1100+1101+1110+1111) 3171 0001+0011+0111+1011+1100+1101+1110 3172 not (0001+0011+0111+1011+1100+1101+1110) 3173 0001+0011+0111+1011+1100+1101+1111 3174 not (0001+0011+0111+1011+1100+1101+1111) 3175 0001+0011+0111+1011+1100+1110+1111 3176 not (0001+0011+0111+1011+1100+1110+1111) 3177 0001+0011+0111+1011+1101+1110+1111 3178 not (0001+0011+0111+1011+1101+1110+1111) 3179 0001+0011+0111+1100+1101+1110+1111 3180 not (0001+0011+0111+1100+1101+1110+1111) 3181 0001+0110+0111+1010+1011+1100+1101 3182 not (0001+0110+0111+1010+1011+1100+1101) 3183 0001+0110+0111+1010+1011+1100+1110 3184 not (0001+0110+0111+1010+1011+1100+1110) 3185 0001+0110+0111+1010+1011+1100+1111 3186 not (0001+0110+0111+1010+1011+1100+1111) 3187 0001+0110+0111+1010+1011+1101+1110 3188 not (0001+0110+0111+1010+1011+1101+1110) 3189 0001+0110+0111+1010+1011+1101+1111 3190 not (0001+0110+0111+1010+1011+1101+1111) 3191 0001+0110+0111+1010+1011+1110+1111 3192 not (0001+0110+0111+1010+1011+1110+1111) 3193 0001+0110+0111+1010+1100+1110+1111 3194 not (0001+0110+0111+1010+1100+1110+1111) 3195 0001+0110+0111+1010+1101+1110+1111 3196 not (0001+0110+0111+1010+1101+1110+1111) 3197 0001+0110+0111+1011+1101+1110+1111 3198 not (0001+0110+0111+1011+1101+1110+1111) 3199 0011+0101+0110+0111+1001+1010+1011 3200 not (0011+0101+0110+0111+1001+1010+1011) 3201 0011+0101+0110+0111+1001+1010+1100 3202 not (0011+0101+0110+0111+1001+1010+1100) 3203 0011+0101+0110+0111+1001+1010+1101 3204 not (0011+0101+0110+0111+1001+1010+1101) 3205 0011+0101+0110+0111+1001+1010+1111 3206 not (0011+0101+0110+0111+1001+1010+1111) 3207 0011+0101+0110+0111+1001+1011+1101 3208 not (0011+0101+0110+0111+1001+1011+1101) 3209 0011+0101+0110+0111+1001+1011+1110 3210 not (0011+0101+0110+0111+1001+1011+1110) 3211 0011+0101+0110+0111+1001+1011+1111 3212 not (0011+0101+0110+0111+1001+1011+1111) 3213 0011+0101+0110+0111+1001+1110+1111 3214 not (0011+0101+0110+0111+1001+1110+1111) 3215 0011+0101+0110+0111+1011+1101+1110 3216 not (0011+0101+0110+0111+1011+1101+1110) 3217 0011+0101+0110+0111+1011+1101+1111 3218 not (0011+0101+0110+0111+1011+1101+1111) 3219 0011+0101+0110+1001+1010+1100+1111 3220 not (0011+0101+0110+1001+1010+1100+1111) 3221 0011+0101+0110+1001+1010+1101+1110 3222 not (0011+0101+0110+1001+1010+1101+1110) 3223 0011+0101+0110+1001+1010+1101+1111 3224 not (0011+0101+0110+1001+1010+1101+1111) 3225 0011+0101+0110+1001+1011+1101+1110 3226 not (0011+0101+0110+1001+1011+1101+1110) 3227 0011+0101+0110+1001+1011+1101+1111 3228 not (0011+0101+0110+1001+1011+1101+1111) 3229 0011+0101+0110+1001+1011+1110+1111 3230 not (0011+0101+0110+1001+1011+1110+1111) 3231 0011+0101+0110+1011+1101+1110+1111 3232 not (0011+0101+0110+1011+1101+1110+1111) 3233 0011+0101+0111+1001+1011+1101+1110 3234 not (0011+0101+0111+1001+1011+1101+1110) 3235 oan31 0011+0101+0111+1001+1011+1101+1111 3236 oai31 not (0011+0101+0111+1001+1011+1101+1111) 3237 0011+0101+0111+1001+1011+1110+1111 3238 not (0011+0101+0111+1001+1011+1110+1111) 3239 0011+0101+0111+1010+1011+1100+1101 3240 not (0011+0101+0111+1010+1011+1100+1101) 3241 0011+0101+0111+1010+1011+1100+1111 3242 not (0011+0101+0111+1010+1011+1100+1111) 3243 0011+0101+0111+1010+1011+1101+1110 3244 not (0011+0101+0111+1010+1011+1101+1110) 3245 0011+0101+0111+1010+1011+1101+1111 3246 not (0011+0101+0111+1010+1011+1101+1111) 3247 0011+0101+0111+1010+1100+1110+1111 3248 not (0011+0101+0111+1010+1100+1110+1111) 3249 0011+0101+0111+1010+1101+1110+1111 3250 not (0011+0101+0111+1010+1101+1110+1111) 3251 0011+0101+0111+1011+1101+1110+1111 3252 not (0011+0101+0111+1011+1101+1110+1111) 3253 aon22 0011+0111+1011+1100+1101+1110+1111 3254 aoi22 not (0011+0111+1011+1100+1101+1110+1111) 3255 iv1 0000+0001+0010+0011+0100+0101+0110+0111 3256 0000+0001+0010+0011+0100+0101+0110+1000 3257 0000+0001+0010+0011+0100+0101+0110+1001 3258 0000+0001+0010+0011+0100+0101+0110+1011 3259 xaoi31 0000+0001+0010+0011+0100+0101+0110+1111 3260 0000+0001+0010+0011+0100+0101+0111+1000 3261 0000+0001+0010+0011+0100+0101+0111+1001 3262 0000+0001+0010+0011+0100+0101+0111+1010 3263 0000+0001+0010+0011+0100+0101+0111+1011 3264 0000+0001+0010+0011+0100+0101+0111+1110 3265 0000+0001+0010+0011+0100+0101+0111+1111 3266 cgi2 0000+0001+0010+0011+0100+0101+1000+1001 3267 0000+0001+0010+0011+0100+0101+1000+1010 3268 0000+0001+0010+0011+0100+0101+1000+1011 3269 0000+0001+0010+0011+0100+0101+1000+1110 3270 0000+0001+0010+0011+0100+0101+1000+1111 3271 0000+0001+0010+0011+0100+0101+1001+1010 3272 0000+0001+0010+0011+0100+0101+1001+1011 3273 0000+0001+0010+0011+0100+0101+1001+1110 3274 0000+0001+0010+0011+0100+0101+1001+1111 3275 0000+0001+0010+0011+0100+0101+1010+1011 3276 0000+0001+0010+0011+0100+0101+1010+1100 3277 0000+0001+0010+0011+0100+0101+1010+1101 3278 0000+0001+0010+0011+0100+0101+1010+1110 3279 0000+0001+0010+0011+0100+0101+1010+1111 3280 0000+0001+0010+0011+0100+0101+1011+1101 3281 0000+0001+0010+0011+0100+0101+1011+1110 3282 0000+0001+0010+0011+0100+0101+1011+1111 3283 xaoi21 0000+0001+0010+0011+0100+0101+1110+1111 3284 0000+0001+0010+0011+0100+0111+1000+1011 3285 0000+0001+0010+0011+0100+0111+1000+1100 3286 0000+0001+0010+0011+0100+0111+1000+1101 3287 0000+0001+0010+0011+0100+0111+1000+1111 3288 0000+0001+0010+0011+0100+0111+1001+1010 3289 0000+0001+0010+0011+0100+0111+1001+1011 3290 0000+0001+0010+0011+0100+0111+1001+1100 3291 0000+0001+0010+0011+0100+0111+1001+1101 3292 0000+0001+0010+0011+0100+0111+1001+1110 3293 0000+0001+0010+0011+0100+0111+1001+1111 3294 0000+0001+0010+0011+0100+0111+1011+1100 3295 0000+0001+0010+0011+0100+0111+1011+1101 3296 0000+0001+0010+0011+0100+0111+1011+1111 3297 0000+0001+0010+0011+0100+0111+1100+1101 3298 0000+0001+0010+0011+0100+0111+1100+1111 3299 0000+0001+0010+0011+0100+0111+1101+1110 3300 0000+0001+0010+0011+0100+0111+1101+1111 3301 0000+0001+0010+0011+0100+1000+1100+1111 3302 0000+0001+0010+0011+0100+1000+1101+1110 3303 0000+0001+0010+0011+0100+1000+1101+1111 3304 0000+0001+0010+0011+0100+1001+1010+1011 3305 0000+0001+0010+0011+0100+1001+1010+1100 3306 0000+0001+0010+0011+0100+1001+1010+1101 3307 0000+0001+0010+0011+0100+1001+1010+1111 3308 0000+0001+0010+0011+0100+1001+1011+1100 3309 0000+0001+0010+0011+0100+1001+1011+1101 3310 0000+0001+0010+0011+0100+1001+1011+1110 3311 0000+0001+0010+0011+0100+1001+1011+1111 3312 0000+0001+0010+0011+0100+1001+1100+1101 3313 0000+0001+0010+0011+0100+1001+1100+1110 3314 0000+0001+0010+0011+0100+1001+1100+1111 3315 0000+0001+0010+0011+0100+1001+1101+1110 3316 0000+0001+0010+0011+0100+1001+1101+1111 3317 0000+0001+0010+0011+0100+1001+1110+1111 3318 0000+0001+0010+0011+0100+1011+1100+1101 3319 0000+0001+0010+0011+0100+1011+1100+1111 3320 0000+0001+0010+0011+0100+1011+1101+1110 3321 0000+0001+0010+0011+0100+1011+1101+1111 3322 0000+0001+0010+0011+0100+1100+1101+1110 3323 0000+0001+0010+0011+0100+1100+1101+1111 3324 0000+0001+0010+0011+0100+1101+1110+1111 3325 0000+0001+0010+0011+0101+0110+0111+1001 3326 0000+0001+0010+0011+0101+0110+0111+1011 3327 0000+0001+0010+0011+0101+0110+0111+1100 3328 0000+0001+0010+0011+0101+0110+0111+1101 3329 0000+0001+0010+0011+0101+0110+0111+1111 3330 0000+0001+0010+0011+0101+0110+1001+1010 3331 0000+0001+0010+0011+0101+0110+1001+1011 3332 0000+0001+0010+0011+0101+0110+1001+1100 3333 0000+0001+0010+0011+0101+0110+1001+1101 3334 0000+0001+0010+0011+0101+0110+1001+1110 3335 0000+0001+0010+0011+0101+0110+1001+1111 3336 0000+0001+0010+0011+0101+0110+1011+1100 3337 0000+0001+0010+0011+0101+0110+1011+1101 3338 0000+0001+0010+0011+0101+0110+1011+1111 3339 0000+0001+0010+0011+0101+0110+1100+1101 3340 0000+0001+0010+0011+0101+0110+1100+1111 3341 0000+0001+0010+0011+0101+0110+1101+1110 3342 0000+0001+0010+0011+0101+0110+1101+1111 3343 0000+0001+0010+0011+0101+0111+1001+1011 3344 0000+0001+0010+0011+0101+0111+1001+1100 3345 0000+0001+0010+0011+0101+0111+1001+1101 3346 0000+0001+0010+0011+0101+0111+1001+1110 3347 0000+0001+0010+0011+0101+0111+1001+1111 3348 0000+0001+0010+0011+0101+0111+1010+1011 3349 0000+0001+0010+0011+0101+0111+1010+1100 3350 0000+0001+0010+0011+0101+0111+1010+1101 3351 0000+0001+0010+0011+0101+0111+1010+1110 3352 0000+0001+0010+0011+0101+0111+1010+1111 3353 0000+0001+0010+0011+0101+0111+1011+1100 3354 0000+0001+0010+0011+0101+0111+1011+1101 3355 0000+0001+0010+0011+0101+0111+1011+1110 3356 0000+0001+0010+0011+0101+0111+1011+1111 3357 0000+0001+0010+0011+0101+0111+1100+1101 3358 0000+0001+0010+0011+0101+0111+1100+1110 3359 0000+0001+0010+0011+0101+0111+1100+1111 3360 0000+0001+0010+0011+0101+0111+1101+1110 3361 0000+0001+0010+0011+0101+0111+1101+1111 3362 0000+0001+0010+0011+0101+0111+1110+1111 3363 0000+0001+0010+0011+0101+1001+1100+1101 3364 0000+0001+0010+0011+0101+1001+1100+1110 3365 0000+0001+0010+0011+0101+1001+1100+1111 3366 0000+0001+0010+0011+0101+1001+1101+1110 3367 0000+0001+0010+0011+0101+1001+1101+1111 3368 0000+0001+0010+0011+0101+1001+1110+1111 3369 0000+0001+0010+0011+0101+1010+1100+1101 3370 0000+0001+0010+0011+0101+1010+1100+1111 3371 0000+0001+0010+0011+0101+1010+1101+1110 3372 0000+0001+0010+0011+0101+1010+1101+1111 3373 0000+0001+0010+0011+0101+1011+1100+1101 3374 0000+0001+0010+0011+0101+1011+1100+1110 3375 0000+0001+0010+0011+0101+1011+1100+1111 3376 0000+0001+0010+0011+0101+1011+1101+1110 3377 0000+0001+0010+0011+0101+1011+1101+1111 3378 0000+0001+0010+0011+0101+1011+1110+1111 3379 0000+0001+0010+0011+0101+1100+1101+1110 3380 0000+0001+0010+0011+0101+1100+1101+1111 3381 0000+0001+0010+0011+0101+1100+1110+1111 3382 0000+0001+0010+0011+0101+1101+1110+1111 3383 0000+0001+0010+0011+0111+1011+1100+1101 3384 0000+0001+0010+0011+0111+1011+1100+1111 3385 0000+0001+0010+0011+0111+1011+1101+1110 3386 0000+0001+0010+0011+0111+1011+1101+1111 3387 0000+0001+0010+0011+0111+1100+1101+1110 3388 0000+0001+0010+0011+0111+1100+1101+1111 3389 0000+0001+0010+0011+0111+1101+1110+1111 3390 xnr2 0000+0001+0010+0011+1100+1101+1110+1111 3391 0000+0001+0010+0100+0111+1000+1011+1101 3392 0000+0001+0010+0100+0111+1000+1011+1111 3393 0000+0001+0010+0100+0111+1001+1010+1011 3394 0000+0001+0010+0100+0111+1001+1010+1100 3395 0000+0001+0010+0100+0111+1001+1010+1101 3396 0000+0001+0010+0100+0111+1001+1010+1111 3397 0000+0001+0010+0100+0111+1001+1011+1101 3398 0000+0001+0010+0100+0111+1001+1011+1110 3399 0000+0001+0010+0100+0111+1001+1011+1111 3400 0000+0001+0010+0100+0111+1001+1110+1111 3401 0000+0001+0010+0100+0111+1011+1101+1110 3402 0000+0001+0010+0100+0111+1011+1101+1111 3403 0000+0001+0010+0100+1001+1010+1011+1100 3404 0000+0001+0010+0100+1001+1010+1011+1101 3405 0000+0001+0010+0100+1001+1010+1011+1111 3406 0000+0001+0010+0100+1001+1010+1100+1111 3407 0000+0001+0010+0100+1001+1010+1101+1110 3408 0000+0001+0010+0100+1001+1010+1101+1111 3409 0000+0001+0010+0100+1001+1011+1101+1110 3410 0000+0001+0010+0100+1001+1011+1101+1111 3411 0000+0001+0010+0100+1001+1011+1110+1111 3412 0000+0001+0010+0100+1011+1101+1110+1111 3413 0000+0001+0010+0101+0110+0111+1001+1010 3414 0000+0001+0010+0101+0110+0111+1001+1011 3415 0000+0001+0010+0101+0110+0111+1001+1100 3416 0000+0001+0010+0101+0110+0111+1001+1101 3417 0000+0001+0010+0101+0110+0111+1001+1110 3418 0000+0001+0010+0101+0110+0111+1001+1111 3419 0000+0001+0010+0101+0110+0111+1011+1100 3420 0000+0001+0010+0101+0110+0111+1011+1101 3421 0000+0001+0010+0101+0110+0111+1011+1111 3422 0000+0001+0010+0101+0110+0111+1100+1101 3423 0000+0001+0010+0101+0110+0111+1100+1111 3424 0000+0001+0010+0101+0110+0111+1101+1110 3425 0000+0001+0010+0101+0110+0111+1101+1111 3426 0000+0001+0010+0101+0110+1001+1010+1100 3427 0000+0001+0010+0101+0110+1001+1010+1101 3428 0000+0001+0010+0101+0110+1001+1010+1111 3429 0000+0001+0010+0101+0110+1001+1011+1100 3430 0000+0001+0010+0101+0110+1001+1011+1101 3431 0000+0001+0010+0101+0110+1001+1011+1110 3432 0000+0001+0010+0101+0110+1001+1011+1111 3433 0000+0001+0010+0101+0110+1001+1100+1101 3434 0000+0001+0010+0101+0110+1001+1100+1110 3435 0000+0001+0010+0101+0110+1001+1100+1111 3436 0000+0001+0010+0101+0110+1001+1101+1110 3437 0000+0001+0010+0101+0110+1001+1101+1111 3438 0000+0001+0010+0101+0110+1001+1110+1111 3439 0000+0001+0010+0101+0110+1011+1100+1101 3440 0000+0001+0010+0101+0110+1011+1100+1111 3441 0000+0001+0010+0101+0110+1011+1101+1110 3442 0000+0001+0010+0101+0110+1011+1101+1111 3443 0000+0001+0010+0101+0110+1100+1101+1110 3444 0000+0001+0010+0101+0110+1100+1101+1111 3445 0000+0001+0010+0101+0110+1101+1110+1111 3446 0000+0001+0010+0101+0111+1001+1011+1100 3447 0000+0001+0010+0101+0111+1001+1011+1101 3448 0000+0001+0010+0101+0111+1001+1011+1110 3449 0000+0001+0010+0101+0111+1001+1011+1111 3450 0000+0001+0010+0101+0111+1001+1100+1101 3451 0000+0001+0010+0101+0111+1001+1100+1110 3452 0000+0001+0010+0101+0111+1001+1100+1111 3453 0000+0001+0010+0101+0111+1001+1101+1110 3454 0000+0001+0010+0101+0111+1001+1101+1111 3455 0000+0001+0010+0101+0111+1001+1110+1111 3456 0000+0001+0010+0101+0111+1010+1011+1100 3457 0000+0001+0010+0101+0111+1010+1011+1101 3458 0000+0001+0010+0101+0111+1010+1011+1111 3459 0000+0001+0010+0101+0111+1010+1100+1101 3460 0000+0001+0010+0101+0111+1010+1100+1110 3461 0000+0001+0010+0101+0111+1010+1100+1111 3462 0000+0001+0010+0101+0111+1010+1101+1110 3463 0000+0001+0010+0101+0111+1010+1101+1111 3464 0000+0001+0010+0101+0111+1010+1110+1111 3465 0000+0001+0010+0101+0111+1011+1100+1101 3466 0000+0001+0010+0101+0111+1011+1100+1110 3467 0000+0001+0010+0101+0111+1011+1100+1111 3468 0000+0001+0010+0101+0111+1011+1101+1110 3469 0000+0001+0010+0101+0111+1011+1101+1111 3470 0000+0001+0010+0101+0111+1011+1110+1111 3471 0000+0001+0010+0101+0111+1100+1101+1110 3472 0000+0001+0010+0101+0111+1100+1101+1111 3473 0000+0001+0010+0101+0111+1100+1110+1111 3474 0000+0001+0010+0101+0111+1101+1110+1111 3475 0000+0001+0010+0101+1001+1100+1101+1110 3476 0000+0001+0010+0101+1001+1100+1101+1111 3477 0000+0001+0010+0101+1001+1100+1110+1111 3478 0000+0001+0010+0101+1001+1101+1110+1111 3479 0000+0001+0010+0101+1010+1100+1101+1110 3480 0000+0001+0010+0101+1010+1100+1101+1111 3481 0000+0001+0010+0101+1010+1101+1110+1111 3482 0000+0001+0010+0101+1011+1100+1101+1110 3483 0000+0001+0010+0101+1011+1100+1101+1111 3484 0000+0001+0010+0101+1011+1100+1110+1111 3485 0000+0001+0010+0101+1011+1101+1110+1111 3486 0000+0001+0010+0101+1100+1101+1110+1111 3487 0000+0001+0010+0111+1011+1100+1101+1110 3488 0000+0001+0010+0111+1011+1100+1101+1111 3489 0000+0001+0010+0111+1011+1101+1110+1111 3490 0000+0001+0010+0111+1100+1101+1110+1111 3491 0000+0001+0011+0101+0110+0111+1001+1010 3492 0000+0001+0011+0101+0110+0111+1001+1011 3493 0000+0001+0011+0101+0110+0111+1001+1110 3494 0000+0001+0011+0101+0110+0111+1001+1111 3495 0000+0001+0011+0101+0110+0111+1010+1011 3496 0000+0001+0011+0101+0110+0111+1010+1100 3497 0000+0001+0011+0101+0110+0111+1010+1101 3498 0000+0001+0011+0101+0110+0111+1010+1110 3499 0000+0001+0011+0101+0110+0111+1010+1111 3500 0000+0001+0011+0101+0110+0111+1011+1101 3501 0000+0001+0011+0101+0110+0111+1011+1110 3502 0000+0001+0011+0101+0110+0111+1011+1111 3503 0000+0001+0011+0101+0110+0111+1110+1111 3504 0000+0001+0011+0101+0110+1001+1010+1100 3505 0000+0001+0011+0101+0110+1001+1010+1101 3506 0000+0001+0011+0101+0110+1001+1010+1110 3507 0000+0001+0011+0101+0110+1001+1010+1111 3508 0000+0001+0011+0101+0110+1001+1011+1101 3509 0000+0001+0011+0101+0110+1001+1011+1110 3510 0000+0001+0011+0101+0110+1001+1011+1111 3511 0000+0001+0011+0101+0110+1001+1110+1111 3512 0000+0001+0011+0101+0110+1010+1011+1100 3513 0000+0001+0011+0101+0110+1010+1011+1101 3514 0000+0001+0011+0101+0110+1010+1011+1110 3515 0000+0001+0011+0101+0110+1010+1011+1111 3516 0000+0001+0011+0101+0110+1010+1100+1110 3517 0000+0001+0011+0101+0110+1010+1100+1111 3518 0000+0001+0011+0101+0110+1010+1101+1110 3519 0000+0001+0011+0101+0110+1010+1101+1111 3520 0000+0001+0011+0101+0110+1010+1110+1111 3521 0000+0001+0011+0101+0110+1011+1101+1110 3522 0000+0001+0011+0101+0110+1011+1101+1111 3523 0000+0001+0011+0101+0110+1011+1110+1111 3524 0000+0001+0011+0101+0111+1001+1011+1101 3525 0000+0001+0011+0101+0111+1001+1011+1110 3526 0000+0001+0011+0101+0111+1001+1011+1111 3527 0000+0001+0011+0101+0111+1001+1110+1111 3528 0000+0001+0011+0101+0111+1010+1011+1100 3529 0000+0001+0011+0101+0111+1010+1011+1101 3530 0000+0001+0011+0101+0111+1010+1011+1110 3531 0000+0001+0011+0101+0111+1010+1011+1111 3532 0000+0001+0011+0101+0111+1010+1100+1110 3533 0000+0001+0011+0101+0111+1010+1100+1111 3534 0000+0001+0011+0101+0111+1010+1101+1110 3535 0000+0001+0011+0101+0111+1010+1101+1111 3536 0000+0001+0011+0101+0111+1010+1110+1111 3537 0000+0001+0011+0101+0111+1011+1101+1110 3538 0000+0001+0011+0101+0111+1011+1101+1111 3539 0000+0001+0011+0101+0111+1011+1110+1111 3540 0000+0001+0011+0101+1010+1011+1100+1101 3541 0000+0001+0011+0101+1010+1011+1100+1110 3542 0000+0001+0011+0101+1010+1011+1100+1111 3543 0000+0001+0011+0101+1010+1011+1101+1110 3544 0000+0001+0011+0101+1010+1011+1101+1111 3545 0000+0001+0011+0101+1010+1011+1110+1111 3546 0000+0001+0011+0101+1010+1100+1110+1111 3547 0000+0001+0011+0101+1010+1101+1110+1111 3548 0000+0001+0011+0101+1011+1101+1110+1111 3549 0000+0001+0011+0110+0111+1010+1011+1100 3550 0000+0001+0011+0110+0111+1010+1011+1101 3551 0000+0001+0011+0110+0111+1010+1011+1110 3552 0000+0001+0011+0110+0111+1010+1011+1111 3553 0000+0001+0011+0110+0111+1010+1100+1101 3554 0000+0001+0011+0110+0111+1010+1100+1110 3555 0000+0001+0011+0110+0111+1010+1100+1111 3556 0000+0001+0011+0110+0111+1010+1101+1110 3557 0000+0001+0011+0110+0111+1010+1101+1111 3558 0000+0001+0011+0110+0111+1010+1110+1111 3559 0000+0001+0011+0110+0111+1011+1100+1101 3560 0000+0001+0011+0110+0111+1011+1100+1110 3561 0000+0001+0011+0110+0111+1011+1100+1111 3562 0000+0001+0011+0110+0111+1011+1101+1110 3563 0000+0001+0011+0110+0111+1011+1101+1111 3564 0000+0001+0011+0110+0111+1011+1110+1111 3565 0000+0001+0011+0110+0111+1100+1101+1110 3566 0000+0001+0011+0110+0111+1100+1101+1111 3567 0000+0001+0011+0110+0111+1100+1110+1111 3568 0000+0001+0011+0110+0111+1101+1110+1111 3569 0000+0001+0011+0110+1010+1100+1101+1110 3570 0000+0001+0011+0110+1010+1100+1101+1111 3571 0000+0001+0011+0110+1010+1100+1110+1111 3572 0000+0001+0011+0110+1010+1101+1110+1111 3573 0000+0001+0011+0110+1011+1100+1101+1110 3574 0000+0001+0011+0110+1011+1100+1101+1111 3575 0000+0001+0011+0110+1011+1100+1110+1111 3576 0000+0001+0011+0110+1011+1101+1110+1111 3577 0000+0001+0011+0110+1100+1101+1110+1111 3578 0000+0001+0011+0111+1011+1100+1101+1110 3579 0000+0001+0011+0111+1011+1100+1101+1111 3580 0000+0001+0011+0111+1011+1100+1110+1111 3581 0000+0001+0011+0111+1011+1101+1110+1111 3582 0000+0001+0011+0111+1100+1101+1110+1111 3583 xnr3 0000+0001+0110+0111+1010+1011+1100+1101 3584 0000+0001+0110+0111+1010+1011+1100+1110 3585 0000+0001+0110+0111+1010+1011+1100+1111 3586 0000+0001+0110+0111+1010+1011+1101+1110 3587 0000+0001+0110+0111+1010+1011+1101+1111 3588 xooi21 0000+0001+0110+0111+1010+1011+1110+1111 3589 0000+0001+0110+0111+1010+1100+1110+1111 3590 0000+0001+0110+0111+1010+1101+1110+1111 3591 0000+0001+0110+0111+1011+1101+1110+1111 3592 0000+0011+0101+0110+0111+1001+1010+1011 3593 0000+0011+0101+0110+0111+1001+1010+1100 3594 0000+0011+0101+0110+0111+1001+1010+1101 3595 0000+0011+0101+0110+0111+1001+1010+1111 3596 0000+0011+0101+0110+0111+1001+1011+1101 3597 0000+0011+0101+0110+0111+1001+1011+1110 3598 0000+0011+0101+0110+0111+1001+1011+1111 3599 0000+0011+0101+0110+0111+1001+1110+1111 3600 0000+0011+0101+0110+0111+1011+1101+1110 3601 0000+0011+0101+0110+0111+1011+1101+1111 3602 xnr4 0000+0011+0101+0110+1001+1010+1100+1111 3603 0000+0011+0101+0110+1001+1010+1101+1110 3604 0000+0011+0101+0110+1001+1010+1101+1111 3605 0000+0011+0101+0110+1001+1011+1101+1110 3606 0000+0011+0101+0110+1001+1011+1101+1111 3607 0000+0011+0101+0110+1001+1011+1110+1111 3608 0000+0011+0101+0110+1011+1101+1110+1111 3609 0000+0011+0101+0111+1001+1011+1101+1110 3610 0000+0011+0101+0111+1001+1011+1101+1111 3611 0000+0011+0101+0111+1001+1011+1110+1111 3612 0000+0011+0101+0111+1010+1011+1100+1101 3613 0000+0011+0101+0111+1010+1011+1100+1111 3614 0000+0011+0101+0111+1010+1011+1101+1110 3615 xooi31 0000+0011+0101+0111+1010+1011+1101+1111 3616 0000+0011+0101+0111+1010+1100+1110+1111 3617 0000+0011+0101+0111+1010+1101+1110+1111 3618 0000+0011+0101+0111+1011+1101+1110+1111 3619 0000+0011+0111+1011+1100+1101+1110+1111 3620 xoon31 0001+0010+0011+0100+0101+0110+0111+1000 3621 0001+0010+0011+0100+0101+0110+0111+1001 3622 0001+0010+0011+0100+0101+0110+0111+1011 3623 0001+0010+0011+0100+0101+0110+0111+1111 3624 0001+0010+0011+0100+0101+0110+1000+1001 3625 0001+0010+0011+0100+0101+0110+1000+1011 3626 0001+0010+0011+0100+0101+0110+1000+1111 3627 0001+0010+0011+0100+0101+0110+1001+1010 3628 0001+0010+0011+0100+0101+0110+1001+1011 3629 0001+0010+0011+0100+0101+0110+1001+1110 3630 0001+0010+0011+0100+0101+0110+1001+1111 3631 0001+0010+0011+0100+0101+0110+1011+1101 3632 0001+0010+0011+0100+0101+0110+1011+1111 3633 0001+0010+0011+0100+0101+0111+1000+1001 3634 0001+0010+0011+0100+0101+0111+1000+1010 3635 0001+0010+0011+0100+0101+0111+1000+1011 3636 0001+0010+0011+0100+0101+0111+1000+1110 3637 0001+0010+0011+0100+0101+0111+1000+1111 3638 0001+0010+0011+0100+0101+0111+1001+1010 3639 0001+0010+0011+0100+0101+0111+1001+1011 3640 0001+0010+0011+0100+0101+0111+1001+1110 3641 0001+0010+0011+0100+0101+0111+1001+1111 3642 0001+0010+0011+0100+0101+0111+1010+1011 3643 0001+0010+0011+0100+0101+0111+1010+1100 3644 0001+0010+0011+0100+0101+0111+1010+1101 3645 0001+0010+0011+0100+0101+0111+1010+1110 3646 0001+0010+0011+0100+0101+0111+1010+1111 3647 0001+0010+0011+0100+0101+0111+1011+1101 3648 0001+0010+0011+0100+0101+0111+1011+1110 3649 0001+0010+0011+0100+0101+0111+1011+1111 3650 0001+0010+0011+0100+0101+0111+1110+1111 3651 0001+0010+0011+0100+0101+1000+1001+1110 3652 0001+0010+0011+0100+0101+1000+1001+1111 3653 0001+0010+0011+0100+0101+1000+1010+1100 3654 0001+0010+0011+0100+0101+1000+1010+1101 3655 0001+0010+0011+0100+0101+1000+1010+1111 3656 0001+0010+0011+0100+0101+1000+1011+1101 3657 0001+0010+0011+0100+0101+1000+1011+1110 3658 0001+0010+0011+0100+0101+1000+1011+1111 3659 0001+0010+0011+0100+0101+1000+1110+1111 3660 0001+0010+0011+0100+0101+1001+1010+1011 3661 0001+0010+0011+0100+0101+1001+1010+1100 3662 0001+0010+0011+0100+0101+1001+1010+1101 3663 0001+0010+0011+0100+0101+1001+1010+1110 3664 0001+0010+0011+0100+0101+1001+1010+1111 3665 0001+0010+0011+0100+0101+1001+1011+1101 3666 0001+0010+0011+0100+0101+1001+1011+1110 3667 0001+0010+0011+0100+0101+1001+1011+1111 3668 0001+0010+0011+0100+0101+1001+1110+1111 3669 0001+0010+0011+0100+0101+1010+1011+1100 3670 0001+0010+0011+0100+0101+1010+1011+1101 3671 0001+0010+0011+0100+0101+1010+1011+1110 3672 0001+0010+0011+0100+0101+1010+1011+1111 3673 0001+0010+0011+0100+0101+1010+1100+1110 3674 0001+0010+0011+0100+0101+1010+1100+1111 3675 0001+0010+0011+0100+0101+1010+1101+1110 3676 0001+0010+0011+0100+0101+1010+1101+1111 3677 0001+0010+0011+0100+0101+1010+1110+1111 3678 0001+0010+0011+0100+0101+1011+1101+1110 3679 0001+0010+0011+0100+0101+1011+1101+1111 3680 0001+0010+0011+0100+0101+1011+1110+1111 3681 0001+0010+0011+0100+0111+1000+1011+1100 3682 0001+0010+0011+0100+0111+1000+1011+1101 3683 0001+0010+0011+0100+0111+1000+1011+1111 3684 0001+0010+0011+0100+0111+1000+1100+1101 3685 0001+0010+0011+0100+0111+1000+1100+1111 3686 0001+0010+0011+0100+0111+1000+1101+1110 3687 0001+0010+0011+0100+0111+1000+1101+1111 3688 0001+0010+0011+0100+0111+1001+1010+1011 3689 0001+0010+0011+0100+0111+1001+1010+1100 3690 0001+0010+0011+0100+0111+1001+1010+1101 3691 0001+0010+0011+0100+0111+1001+1010+1111 3692 0001+0010+0011+0100+0111+1001+1011+1100 3693 0001+0010+0011+0100+0111+1001+1011+1101 3694 0001+0010+0011+0100+0111+1001+1011+1110 3695 0001+0010+0011+0100+0111+1001+1011+1111 3696 0001+0010+0011+0100+0111+1001+1100+1101 3697 0001+0010+0011+0100+0111+1001+1100+1110 3698 0001+0010+0011+0100+0111+1001+1100+1111 3699 0001+0010+0011+0100+0111+1001+1101+1110 3700 0001+0010+0011+0100+0111+1001+1101+1111 3701 0001+0010+0011+0100+0111+1001+1110+1111 3702 0001+0010+0011+0100+0111+1011+1100+1101 3703 0001+0010+0011+0100+0111+1011+1100+1111 3704 0001+0010+0011+0100+0111+1011+1101+1110 3705 0001+0010+0011+0100+0111+1011+1101+1111 3706 0001+0010+0011+0100+0111+1100+1101+1110 3707 0001+0010+0011+0100+0111+1100+1101+1111 3708 0001+0010+0011+0100+0111+1101+1110+1111 3709 0001+0010+0011+0100+1000+1101+1110+1111 3710 xoon21 0001+0010+0011+0100+1001+1010+1011+1100 3711 0001+0010+0011+0100+1001+1010+1011+1101 3712 0001+0010+0011+0100+1001+1010+1011+1111 3713 0001+0010+0011+0100+1001+1010+1100+1101 3714 0001+0010+0011+0100+1001+1010+1100+1111 3715 0001+0010+0011+0100+1001+1010+1101+1110 3716 0001+0010+0011+0100+1001+1010+1101+1111 3717 0001+0010+0011+0100+1001+1011+1100+1101 3718 0001+0010+0011+0100+1001+1011+1100+1110 3719 0001+0010+0011+0100+1001+1011+1100+1111 3720 0001+0010+0011+0100+1001+1011+1101+1110 3721 0001+0010+0011+0100+1001+1011+1101+1111 3722 0001+0010+0011+0100+1001+1011+1110+1111 3723 0001+0010+0011+0100+1001+1100+1101+1110 3724 0001+0010+0011+0100+1001+1100+1101+1111 3725 0001+0010+0011+0100+1001+1100+1110+1111 3726 0001+0010+0011+0100+1001+1101+1110+1111 3727 0001+0010+0011+0100+1011+1100+1101+1110 3728 0001+0010+0011+0100+1011+1100+1101+1111 3729 0001+0010+0011+0100+1011+1101+1110+1111 3730 0001+0010+0011+0100+1100+1101+1110+1111 3731 0001+0010+0011+0101+0110+0111+1001+1010 3732 0001+0010+0011+0101+0110+0111+1001+1011 3733 0001+0010+0011+0101+0110+0111+1001+1100 3734 0001+0010+0011+0101+0110+0111+1001+1101 3735 0001+0010+0011+0101+0110+0111+1001+1110 3736 0001+0010+0011+0101+0110+0111+1001+1111 3737 0001+0010+0011+0101+0110+0111+1011+1100 3738 0001+0010+0011+0101+0110+0111+1011+1101 3739 0001+0010+0011+0101+0110+0111+1011+1111 3740 0001+0010+0011+0101+0110+0111+1100+1101 3741 0001+0010+0011+0101+0110+0111+1100+1111 3742 0001+0010+0011+0101+0110+0111+1101+1110 3743 0001+0010+0011+0101+0110+0111+1101+1111 3744 0001+0010+0011+0101+0110+1001+1010+1100 3745 0001+0010+0011+0101+0110+1001+1010+1101 3746 0001+0010+0011+0101+0110+1001+1010+1111 3747 0001+0010+0011+0101+0110+1001+1011+1100 3748 0001+0010+0011+0101+0110+1001+1011+1101 3749 0001+0010+0011+0101+0110+1001+1011+1110 3750 0001+0010+0011+0101+0110+1001+1011+1111 3751 0001+0010+0011+0101+0110+1001+1100+1101 3752 0001+0010+0011+0101+0110+1001+1100+1110 3753 0001+0010+0011+0101+0110+1001+1100+1111 3754 0001+0010+0011+0101+0110+1001+1101+1110 3755 0001+0010+0011+0101+0110+1001+1101+1111 3756 0001+0010+0011+0101+0110+1001+1110+1111 3757 0001+0010+0011+0101+0110+1011+1100+1101 3758 0001+0010+0011+0101+0110+1011+1100+1111 3759 0001+0010+0011+0101+0110+1011+1101+1110 3760 0001+0010+0011+0101+0110+1011+1101+1111 3761 0001+0010+0011+0101+0110+1100+1101+1110 3762 0001+0010+0011+0101+0110+1100+1101+1111 3763 0001+0010+0011+0101+0110+1101+1110+1111 3764 0001+0010+0011+0101+0111+1001+1011+1100 3765 0001+0010+0011+0101+0111+1001+1011+1101 3766 0001+0010+0011+0101+0111+1001+1011+1110 3767 0001+0010+0011+0101+0111+1001+1011+1111 3768 0001+0010+0011+0101+0111+1001+1100+1101 3769 0001+0010+0011+0101+0111+1001+1100+1110 3770 0001+0010+0011+0101+0111+1001+1100+1111 3771 0001+0010+0011+0101+0111+1001+1101+1110 3772 0001+0010+0011+0101+0111+1001+1101+1111 3773 0001+0010+0011+0101+0111+1001+1110+1111 3774 0001+0010+0011+0101+0111+1010+1011+1100 3775 0001+0010+0011+0101+0111+1010+1011+1101 3776 0001+0010+0011+0101+0111+1010+1011+1111 3777 0001+0010+0011+0101+0111+1010+1100+1101 3778 0001+0010+0011+0101+0111+1010+1100+1110 3779 0001+0010+0011+0101+0111+1010+1100+1111 3780 0001+0010+0011+0101+0111+1010+1101+1110 3781 0001+0010+0011+0101+0111+1010+1101+1111 3782 0001+0010+0011+0101+0111+1010+1110+1111 3783 0001+0010+0011+0101+0111+1011+1100+1101 3784 0001+0010+0011+0101+0111+1011+1100+1110 3785 0001+0010+0011+0101+0111+1011+1100+1111 3786 0001+0010+0011+0101+0111+1011+1101+1110 3787 0001+0010+0011+0101+0111+1011+1101+1111 3788 0001+0010+0011+0101+0111+1011+1110+1111 3789 0001+0010+0011+0101+0111+1100+1101+1110 3790 0001+0010+0011+0101+0111+1100+1101+1111 3791 0001+0010+0011+0101+0111+1100+1110+1111 3792 0001+0010+0011+0101+0111+1101+1110+1111 3793 0001+0010+0011+0101+1001+1100+1101+1110 3794 0001+0010+0011+0101+1001+1100+1101+1111 3795 0001+0010+0011+0101+1001+1100+1110+1111 3796 0001+0010+0011+0101+1001+1101+1110+1111 3797 0001+0010+0011+0101+1010+1100+1101+1110 3798 0001+0010+0011+0101+1010+1100+1101+1111 3799 0001+0010+0011+0101+1010+1101+1110+1111 3800 0001+0010+0011+0101+1011+1100+1101+1110 3801 0001+0010+0011+0101+1011+1100+1101+1111 3802 0001+0010+0011+0101+1011+1100+1110+1111 3803 0001+0010+0011+0101+1011+1101+1110+1111 3804 0001+0010+0011+0101+1100+1101+1110+1111 3805 0001+0010+0011+0111+1011+1100+1101+1110 3806 0001+0010+0011+0111+1011+1100+1101+1111 3807 0001+0010+0011+0111+1011+1101+1110+1111 3808 0001+0010+0011+0111+1100+1101+1110+1111 3809 xor4 0001+0010+0100+0111+1000+1011+1101+1110 3810 0001+0010+0100+0111+1000+1011+1101+1111 3811 0001+0010+0100+0111+1001+1010+1011+1100 3812 0001+0010+0100+0111+1001+1010+1011+1101 3813 0001+0010+0100+0111+1001+1010+1011+1111 3814 xor3 0001+0010+0100+0111+1001+1010+1100+1111 3815 0001+0010+0100+0111+1001+1010+1101+1110 3816 0001+0010+0100+0111+1001+1010+1101+1111 3817 0001+0010+0100+0111+1001+1011+1101+1110 3818 0001+0010+0100+0111+1001+1011+1101+1111 3819 0001+0010+0100+0111+1001+1011+1110+1111 3820 0001+0010+0100+0111+1011+1101+1110+1111 3821 0001+0010+0100+1001+1010+1011+1100+1101 3822 0001+0010+0100+1001+1010+1011+1100+1111 3823 0001+0010+0100+1001+1010+1011+1101+1110 3824 0001+0010+0100+1001+1010+1011+1101+1111 3825 0001+0010+0100+1001+1010+1101+1110+1111 3826 0001+0010+0100+1001+1011+1101+1110+1111 3827 0001+0010+0101+0110+0111+1001+1010+1011 3828 0001+0010+0101+0110+0111+1001+1010+1100 3829 0001+0010+0101+0110+0111+1001+1010+1101 3830 0001+0010+0101+0110+0111+1001+1010+1111 3831 0001+0010+0101+0110+0111+1001+1011+1100 3832 0001+0010+0101+0110+0111+1001+1011+1101 3833 0001+0010+0101+0110+0111+1001+1011+1110 3834 0001+0010+0101+0110+0111+1001+1011+1111 3835 0001+0010+0101+0110+0111+1001+1100+1101 3836 0001+0010+0101+0110+0111+1001+1100+1110 3837 0001+0010+0101+0110+0111+1001+1100+1111 3838 0001+0010+0101+0110+0111+1001+1101+1110 3839 0001+0010+0101+0110+0111+1001+1101+1111 3840 0001+0010+0101+0110+0111+1001+1110+1111 3841 0001+0010+0101+0110+0111+1011+1100+1101 3842 0001+0010+0101+0110+0111+1011+1100+1111 3843 0001+0010+0101+0110+0111+1011+1101+1110 3844 0001+0010+0101+0110+0111+1011+1101+1111 3845 0001+0010+0101+0110+0111+1100+1101+1110 3846 0001+0010+0101+0110+0111+1100+1101+1111 3847 0001+0010+0101+0110+0111+1101+1110+1111 3848 0001+0010+0101+0110+1001+1010+1100+1101 3849 0001+0010+0101+0110+1001+1010+1100+1111 3850 xor2 0001+0010+0101+0110+1001+1010+1101+1110 3851 0001+0010+0101+0110+1001+1010+1101+1111 3852 0001+0010+0101+0110+1001+1011+1100+1101 3853 0001+0010+0101+0110+1001+1011+1100+1110 3854 0001+0010+0101+0110+1001+1011+1100+1111 3855 0001+0010+0101+0110+1001+1011+1101+1110 3856 0001+0010+0101+0110+1001+1011+1101+1111 3857 0001+0010+0101+0110+1001+1011+1110+1111 3858 0001+0010+0101+0110+1001+1100+1101+1110 3859 0001+0010+0101+0110+1001+1100+1101+1111 3860 0001+0010+0101+0110+1001+1100+1110+1111 3861 0001+0010+0101+0110+1001+1101+1110+1111 3862 0001+0010+0101+0110+1011+1100+1101+1110 3863 0001+0010+0101+0110+1011+1100+1101+1111 3864 0001+0010+0101+0110+1011+1101+1110+1111 3865 0001+0010+0101+0110+1100+1101+1110+1111 3866 0001+0010+0101+0111+1001+1011+1100+1101 3867 0001+0010+0101+0111+1001+1011+1100+1110 3868 0001+0010+0101+0111+1001+1011+1100+1111 3869 0001+0010+0101+0111+1001+1011+1101+1110 3870 0001+0010+0101+0111+1001+1011+1101+1111 3871 0001+0010+0101+0111+1001+1011+1110+1111 3872 0001+0010+0101+0111+1001+1100+1101+1110 3873 0001+0010+0101+0111+1001+1100+1101+1111 3874 0001+0010+0101+0111+1001+1100+1110+1111 3875 0001+0010+0101+0111+1001+1101+1110+1111 3876 0001+0010+0101+0111+1010+1011+1100+1101 3877 0001+0010+0101+0111+1010+1011+1100+1111 3878 0001+0010+0101+0111+1010+1011+1101+1110 3879 0001+0010+0101+0111+1010+1011+1101+1111 3880 0001+0010+0101+0111+1010+1100+1101+1110 3881 0001+0010+0101+0111+1010+1100+1101+1111 3882 0001+0010+0101+0111+1010+1100+1110+1111 3883 0001+0010+0101+0111+1010+1101+1110+1111 3884 0001+0010+0101+0111+1011+1100+1101+1110 3885 0001+0010+0101+0111+1011+1100+1101+1111 3886 0001+0010+0101+0111+1011+1100+1110+1111 3887 0001+0010+0101+0111+1011+1101+1110+1111 3888 0001+0010+0101+0111+1100+1101+1110+1111 3889 0001+0010+0101+1001+1100+1101+1110+1111 3890 0001+0010+0101+1010+1100+1101+1110+1111 3891 0001+0010+0101+1011+1100+1101+1110+1111 3892 0001+0010+0111+1011+1100+1101+1110+1111 3893 0001+0011+0101+0110+0111+1001+1010+1011 3894 0001+0011+0101+0110+0111+1001+1010+1100 3895 0001+0011+0101+0110+0111+1001+1010+1101 3896 0001+0011+0101+0110+0111+1001+1010+1110 3897 0001+0011+0101+0110+0111+1001+1010+1111 3898 0001+0011+0101+0110+0111+1001+1011+1101 3899 0001+0011+0101+0110+0111+1001+1011+1110 3900 0001+0011+0101+0110+0111+1001+1011+1111 3901 0001+0011+0101+0110+0111+1001+1110+1111 3902 0001+0011+0101+0110+0111+1010+1011+1100 3903 0001+0011+0101+0110+0111+1010+1011+1101 3904 0001+0011+0101+0110+0111+1010+1011+1110 3905 0001+0011+0101+0110+0111+1010+1011+1111 3906 0001+0011+0101+0110+0111+1010+1100+1110 3907 0001+0011+0101+0110+0111+1010+1100+1111 3908 0001+0011+0101+0110+0111+1010+1101+1110 3909 0001+0011+0101+0110+0111+1010+1101+1111 3910 0001+0011+0101+0110+0111+1010+1110+1111 3911 0001+0011+0101+0110+0111+1011+1101+1110 3912 0001+0011+0101+0110+0111+1011+1101+1111 3913 0001+0011+0101+0110+0111+1011+1110+1111 3914 0001+0011+0101+0110+1001+1010+1100+1110 3915 0001+0011+0101+0110+1001+1010+1100+1111 3916 0001+0011+0101+0110+1001+1010+1101+1110 3917 0001+0011+0101+0110+1001+1010+1101+1111 3918 0001+0011+0101+0110+1001+1010+1110+1111 3919 xaon21 0001+0011+0101+0110+1001+1011+1101+1110 3920 0001+0011+0101+0110+1001+1011+1101+1111 3921 0001+0011+0101+0110+1001+1011+1110+1111 3922 0001+0011+0101+0110+1010+1011+1100+1101 3923 0001+0011+0101+0110+1010+1011+1100+1110 3924 0001+0011+0101+0110+1010+1011+1100+1111 3925 0001+0011+0101+0110+1010+1011+1101+1110 3926 0001+0011+0101+0110+1010+1011+1101+1111 3927 0001+0011+0101+0110+1010+1011+1110+1111 3928 0001+0011+0101+0110+1010+1100+1110+1111 3929 0001+0011+0101+0110+1010+1101+1110+1111 3930 0001+0011+0101+0110+1011+1101+1110+1111 3931 xaon31 0001+0011+0101+0111+1001+1011+1101+1110 3932 bf1 0001+0011+0101+0111+1001+1011+1101+1111 3933 0001+0011+0101+0111+1001+1011+1110+1111 3934 0001+0011+0101+0111+1010+1011+1100+1101 3935 0001+0011+0101+0111+1010+1011+1100+1110 3936 0001+0011+0101+0111+1010+1011+1100+1111 3937 0001+0011+0101+0111+1010+1011+1101+1110 3938 0001+0011+0101+0111+1010+1011+1101+1111 3939 mxn2 0001+0011+0101+0111+1010+1011+1110+1111 3940 0001+0011+0101+0111+1010+1100+1110+1111 3941 0001+0011+0101+0111+1010+1101+1110+1111 3942 0001+0011+0101+0111+1011+1101+1110+1111 3943 0001+0011+0101+1010+1011+1100+1101+1110 3944 0001+0011+0101+1010+1011+1100+1101+1111 3945 0001+0011+0101+1010+1011+1100+1110+1111 3946 0001+0011+0101+1010+1011+1101+1110+1111 3947 0001+0011+0110+0111+1010+1011+1100+1101 3948 0001+0011+0110+0111+1010+1011+1100+1110 3949 0001+0011+0110+0111+1010+1011+1100+1111 3950 0001+0011+0110+0111+1010+1011+1101+1110 3951 0001+0011+0110+0111+1010+1011+1101+1111 3952 0001+0011+0110+0111+1010+1011+1110+1111 3953 0001+0011+0110+0111+1010+1100+1101+1110 3954 0001+0011+0110+0111+1010+1100+1101+1111 3955 0001+0011+0110+0111+1010+1100+1110+1111 3956 0001+0011+0110+0111+1010+1101+1110+1111 3957 0001+0011+0110+0111+1011+1100+1101+1110 3958 0001+0011+0110+0111+1011+1100+1101+1111 3959 0001+0011+0110+0111+1011+1100+1110+1111 3960 0001+0011+0110+0111+1011+1101+1110+1111 3961 0001+0011+0110+0111+1100+1101+1110+1111 3962 0001+0011+0110+1010+1100+1101+1110+1111 3963 0001+0011+0110+1011+1100+1101+1110+1111 3964 0001+0011+0111+1011+1100+1101+1110+1111 3965 0001+0110+0111+1010+1011+1100+1101+1110 3966 0001+0110+0111+1010+1011+1100+1101+1111 3967 0001+0110+0111+1010+1011+1100+1110+1111 3968 0001+0110+0111+1010+1011+1101+1110+1111 3969 0011+0101+0110+0111+1001+1010+1011+1100 3970 0011+0101+0110+0111+1001+1010+1011+1101 3971 0011+0101+0110+0111+1001+1010+1011+1111 3972 0011+0101+0110+0111+1001+1010+1100+1111 3973 0011+0101+0110+0111+1001+1010+1101+1110 3974 0011+0101+0110+0111+1001+1010+1101+1111 3975 0011+0101+0110+0111+1001+1011+1101+1110 3976 0011+0101+0110+0111+1001+1011+1101+1111 3977 0011+0101+0110+0111+1001+1011+1110+1111 3978 cgn2 0011+0101+0110+0111+1011+1101+1110+1111 3979 0011+0101+0110+1001+1010+1101+1110+1111 3980 0011+0101+0110+1001+1011+1101+1110+1111 3981 0011+0101+0111+1001+1011+1101+1110+1111 3982 0011+0101+0111+1010+1011+1100+1101+1110 3983 0011+0101+0111+1010+1011+1100+1101+1111 3984 0011+0101+0111+1010+1011+1101+1110+1111