Decision #327 — lib.rs:8807
Status: no_witness
Truth table
| row | c0 br 1782 | c1 br 1783 | c2 br 1784 | c3 br 1785 | c4 br 1786 | c5 br 1787 | outcome |
|---|---|---|---|---|---|---|---|
| 248 | T | * | * | * | F | T | T |
| 249 | T | * | * | * | F | T | T |
| 250 | T | * | * | * | F | T | T |
| 251 | T | * | * | * | F | T | T |
| 252 | T | * | * | * | F | T | T |
| 253 | T | * | * | * | F | T | T |
| 254 | T | * | * | * | F | T | T |
| 255 | T | * | * | * | F | T | T |
| 256 | T | * | * | * | F | T | T |
| 257 | F | F | F | T | * | * | T |
| 258 | * | T | * | T | * | * | T |
| 259 | * | T | * | T | * | * | T |
| 260 | F | F | F | F | F | F | T |
| 261 | * | F | F | T | * | * | T |
| 262 | * | T | * | T | * | * | T |
| 263 | * | T | * | T | * | * | T |
| 264 | F | F | F | F | F | F | T |
| 265 | * | F | F | T | * | * | T |
| 266 | * | T | * | T | * | * | T |
| 267 | * | T | * | T | * | * | T |
| 268 | * | F | F | F | F | F | T |
| 7208 | T | * | * | * | F | T | T |
| 7209 | T | * | * | * | F | T | T |
| 7210 | T | * | * | * | F | T | T |
| 7211 | T | * | * | * | F | T | T |
| 7212 | T | * | * | * | F | T | T |
| 7213 | T | * | * | * | F | T | T |
| 7214 | T | * | * | * | F | T | T |
| 7215 | T | * | * | * | F | T | T |
| 7216 | T | * | * | * | F | T | T |
| 7217 | F | F | F | T | * | * | T |
| 7218 | * | T | * | T | * | * | T |
| 7219 | * | T | * | T | * | * | T |
| 7220 | F | F | F | F | F | F | T |
| 7221 | * | F | F | T | * | * | T |
| 7222 | * | T | * | T | * | * | T |
| 7223 | * | T | * | T | * | * | T |
| 7224 | F | F | F | F | F | F | T |
| 7225 | * | F | F | T | * | * | T |
| 7226 | * | T | * | T | * | * | T |
| 7227 | * | T | * | T | * | * | T |
| 7228 | * | F | F | F | F | F | T |
| 13946 | T | * | * | * | F | T | T |
| 13947 | T | * | * | * | F | T | T |
| 13948 | T | * | * | * | F | T | T |
| 13949 | T | * | * | * | F | T | T |
| 13950 | T | * | * | * | F | T | T |
| 13951 | T | * | * | * | F | T | T |
| 13952 | T | * | * | * | F | T | T |
| 13953 | T | * | * | * | F | T | T |
| 13954 | T | * | * | * | F | T | T |
| 13955 | F | F | F | T | * | * | T |
| 13956 | * | T | * | T | * | * | T |
| 13957 | * | T | * | T | * | * | T |
| 13958 | F | F | F | F | F | F | T |
| 13959 | * | F | F | T | * | * | T |
| 13960 | * | T | * | T | * | * | T |
| 13961 | * | T | * | T | * | * | T |
| 13962 | F | F | F | F | F | F | T |
| 13963 | * | F | F | T | * | * | T |
| 13964 | * | T | * | T | * | * | T |
| 13965 | * | T | * | T | * | * | T |
| 13966 | * | F | F | F | F | F | T |
| 21240 | T | * | * | * | F | T | T |
| 21241 | T | * | * | * | F | T | T |
| 21242 | T | * | * | * | F | T | T |
| 21243 | T | * | * | * | F | T | T |
| 21244 | T | * | * | * | F | T | T |
| 21245 | T | * | * | * | F | T | T |
| 23983 | T | * | * | * | F | T | T |
| 23984 | T | * | * | * | F | T | T |
| 23985 | T | * | * | * | F | T | T |
| 23986 | T | * | * | * | F | T | T |
| 23987 | T | * | * | * | F | T | T |
| 23988 | T | * | * | * | F | T | T |
| 26626 | T | * | * | * | F | T | T |
| 26627 | T | * | * | * | F | T | T |
| 26628 | T | * | * | * | F | T | T |
| 26629 | T | * | * | * | F | T | T |
| 26630 | T | * | * | * | F | T | T |
| 26631 | T | * | * | * | F | T | T |
| 29579 | F | F | F | T | * | * | T |
| 29580 | * | T | * | T | * | * | T |
| 29581 | * | T | * | T | * | * | T |
| 29582 | * | T | * | T | * | * | T |
| 29583 | * | T | * | T | * | * | T |
| 29584 | * | F | F | T | * | * | T |
| 29585 | * | T | * | T | * | * | T |
| 29586 | * | T | * | T | * | * | T |
| 29587 | * | T | * | T | * | * | T |
| 29588 | * | T | * | T | * | * | T |
| 29589 | * | F | F | T | * | * | T |
| 29590 | * | T | * | T | * | * | T |
| 29591 | * | T | * | T | * | * | T |
| 29592 | * | T | * | T | * | * | T |
| 29593 | * | T | * | T | * | * | T |
| 29594 | F | F | F | F | F | F | T |
| 29595 | * | F | F | T | * | * | T |
| 29596 | * | T | * | T | * | * | T |
| 29597 | * | T | * | T | * | * | T |
| 29598 | * | T | * | T | * | * | T |
| 29599 | * | T | * | T | * | * | T |
| 29600 | * | F | F | T | * | * | T |
| 29601 | * | T | * | T | * | * | T |
| 29602 | * | T | * | T | * | * | T |
| 29603 | * | T | * | T | * | * | T |
| 29604 | * | T | * | T | * | * | T |
| 29605 | * | F | F | T | * | * | T |
| 29606 | F | F | T | * | * | * | T |
| 29607 | * | F | F | T | * | * | T |
| 29608 | * | T | * | T | * | * | T |
| 29609 | * | T | * | T | * | * | T |
| 29610 | * | T | * | T | * | * | T |
| 29611 | * | T | * | T | * | * | T |
| 29612 | * | F | F | T | * | * | T |
| 29613 | * | T | * | T | * | * | T |
| 29614 | * | T | * | T | * | * | T |
| 29615 | * | T | * | T | * | * | T |
| 29616 | * | T | * | T | * | * | T |
| 29617 | * | F | F | T | * | * | T |
| 29618 | F | F | T | * | * | * | T |
| 29619 | * | F | F | T | * | * | T |
| 29620 | * | T | * | T | * | * | T |
| 29621 | * | T | * | T | * | * | T |
| 29622 | * | T | * | T | * | * | T |
| 29623 | * | T | * | T | * | * | T |
| 29624 | * | F | F | T | * | * | T |
| 29625 | * | T | * | T | * | * | T |
| 29626 | * | T | * | T | * | * | T |
| 29627 | * | T | * | T | * | * | T |
| 29628 | * | T | * | T | * | * | T |
| 29629 | * | F | F | T | * | * | T |
| 29630 | F | F | T | * | * | * | T |
| 29631 | * | F | F | T | * | * | T |
| 29632 | * | T | * | T | * | * | T |
| 29633 | * | T | * | T | * | * | T |
| 29634 | * | T | * | T | * | * | T |
| 29635 | * | T | * | T | * | * | T |
| 29636 | * | F | F | T | * | * | T |
| 29637 | * | T | * | T | * | * | T |
| 29638 | * | T | * | T | * | * | T |
| 29639 | * | T | * | T | * | * | T |
| 29640 | * | T | * | T | * | * | T |
| 29641 | * | F | F | T | * | * | T |
| 29642 | F | F | T | * | * | * | T |
| 29643 | * | F | F | T | * | * | T |
| 29644 | * | T | * | T | * | * | T |
| 29645 | * | T | * | T | * | * | T |
| 29646 | * | T | * | T | * | * | T |
| 29647 | * | T | * | T | * | * | T |
| 29648 | * | F | F | T | * | * | T |
| 29649 | * | T | * | T | * | * | T |
| 29650 | * | T | * | T | * | * | T |
| 29651 | * | T | * | T | * | * | T |
| 29652 | * | T | * | T | * | * | T |
| 29653 | * | F | F | T | * | * | T |
| 29654 | F | F | T | * | * | * | T |
| 29655 | * | F | F | T | * | * | T |
| 29656 | * | T | * | T | * | * | T |
| 29657 | * | T | * | T | * | * | T |
| 29658 | * | T | * | T | * | * | T |
| 29659 | * | T | * | T | * | * | T |
| 29660 | * | F | F | T | * | * | T |
| 29661 | * | T | * | T | * | * | T |
| 29662 | * | T | * | T | * | * | T |
| 29663 | * | T | * | T | * | * | T |
| 29664 | * | T | * | T | * | * | T |
| 29665 | * | F | F | T | * | * | T |
| 29666 | F | F | T | * | * | * | T |
| 29667 | * | F | F | T | * | * | T |
| 29668 | * | T | * | T | * | * | T |
| 29669 | * | T | * | T | * | * | T |
| 29670 | * | T | * | T | * | * | T |
| 29671 | * | T | * | T | * | * | T |
| 29672 | * | F | F | T | * | * | T |
| 29673 | * | T | * | T | * | * | T |
| 29674 | * | T | * | T | * | * | T |
| 29675 | * | T | * | T | * | * | T |
| 29676 | * | T | * | T | * | * | T |
| 29677 | * | F | F | T | * | * | T |
| 29678 | F | F | T | * | * | * | T |
| 29679 | * | F | F | T | * | * | T |
| 29680 | * | T | * | T | * | * | T |
| 29681 | * | T | * | T | * | * | T |
| 29682 | * | T | * | T | * | * | T |
| 29683 | * | T | * | T | * | * | T |
| 29684 | * | F | F | T | * | * | T |
| 29685 | * | T | * | T | * | * | T |
| 29686 | * | T | * | T | * | * | T |
| 29687 | * | T | * | T | * | * | T |
| 29688 | * | T | * | T | * | * | T |
| 29689 | * | F | F | T | * | * | T |
| 29690 | * | F | T | * | * | * | T |
| 50434 | F | F | F | T | * | * | T |
| 50435 | * | T | * | T | * | * | T |
| 50436 | * | T | * | T | * | * | T |
| 50437 | * | T | * | T | * | * | T |
| 50438 | * | T | * | T | * | * | T |
| 50439 | * | F | F | T | * | * | T |
| 50440 | * | T | * | T | * | * | T |
| 50441 | * | T | * | T | * | * | T |
| 50442 | * | T | * | T | * | * | T |
| 50443 | * | T | * | T | * | * | T |
| 50444 | * | F | F | T | * | * | T |
| 50445 | * | T | * | T | * | * | T |
| 50446 | * | T | * | T | * | * | T |
| 50447 | * | T | * | T | * | * | T |
| 50448 | * | T | * | T | * | * | T |
| 50449 | F | F | F | F | F | F | T |
| 50450 | * | F | F | T | * | * | T |
| 50451 | * | T | * | T | * | * | T |
| 50452 | * | T | * | T | * | * | T |
| 50453 | * | T | * | T | * | * | T |
| 50454 | * | T | * | T | * | * | T |
| 50455 | * | F | F | T | * | * | T |
| 50456 | * | T | * | T | * | * | T |
| 50457 | * | T | * | T | * | * | T |
| 50458 | * | T | * | T | * | * | T |
| 50459 | * | T | * | T | * | * | T |
| 50460 | * | F | F | T | * | * | T |
| 50461 | F | F | T | * | * | * | T |
| 50462 | * | F | F | T | * | * | T |
| 50463 | * | T | * | T | * | * | T |
| 50464 | * | T | * | T | * | * | T |
| 50465 | * | T | * | T | * | * | T |
| 50466 | * | T | * | T | * | * | T |
| 50467 | * | F | F | T | * | * | T |
| 50468 | * | T | * | T | * | * | T |
| 50469 | * | T | * | T | * | * | T |
| 50470 | * | T | * | T | * | * | T |
| 50471 | * | T | * | T | * | * | T |
| 50472 | * | F | F | T | * | * | T |
| 50473 | F | F | T | * | * | * | T |
| 50474 | * | F | F | T | * | * | T |
| 50475 | * | T | * | T | * | * | T |
| 50476 | * | T | * | T | * | * | T |
| 50477 | * | T | * | T | * | * | T |
| 50478 | * | T | * | T | * | * | T |
| 50479 | * | F | F | T | * | * | T |
| 50480 | * | T | * | T | * | * | T |
| 50481 | * | T | * | T | * | * | T |
| 50482 | * | T | * | T | * | * | T |
| 50483 | * | T | * | T | * | * | T |
| 50484 | * | F | F | T | * | * | T |
| 50485 | F | F | T | * | * | * | T |
| 50486 | * | F | F | T | * | * | T |
| 50487 | * | T | * | T | * | * | T |
| 50488 | * | T | * | T | * | * | T |
| 50489 | * | T | * | T | * | * | T |
| 50490 | * | T | * | T | * | * | T |
| 50491 | * | F | F | T | * | * | T |
| 50492 | * | T | * | T | * | * | T |
| 50493 | * | T | * | T | * | * | T |
| 50494 | * | T | * | T | * | * | T |
| 50495 | * | T | * | T | * | * | T |
| 50496 | * | F | F | T | * | * | T |
| 50497 | F | F | T | * | * | * | T |
| 50498 | * | F | F | T | * | * | T |
| 50499 | * | T | * | T | * | * | T |
| 50500 | * | T | * | T | * | * | T |
| 50501 | * | T | * | T | * | * | T |
| 50502 | * | T | * | T | * | * | T |
| 50503 | * | F | F | T | * | * | T |
| 50504 | * | T | * | T | * | * | T |
| 50505 | * | T | * | T | * | * | T |
| 50506 | * | T | * | T | * | * | T |
| 50507 | * | T | * | T | * | * | T |
| 50508 | * | F | F | T | * | * | T |
| 50509 | F | F | T | * | * | * | T |
| 50510 | * | F | F | T | * | * | T |
| 50511 | * | T | * | T | * | * | T |
| 50512 | * | T | * | T | * | * | T |
| 50513 | * | T | * | T | * | * | T |
| 50514 | * | T | * | T | * | * | T |
| 50515 | * | F | F | T | * | * | T |
| 50516 | * | T | * | T | * | * | T |
| 50517 | * | T | * | T | * | * | T |
| 50518 | * | T | * | T | * | * | T |
| 50519 | * | T | * | T | * | * | T |
| 50520 | * | F | F | T | * | * | T |
| 50521 | F | F | T | * | * | * | T |
| 50522 | * | F | F | T | * | * | T |
| 50523 | * | T | * | T | * | * | T |
| 50524 | * | T | * | T | * | * | T |
| 50525 | * | T | * | T | * | * | T |
| 50526 | * | T | * | T | * | * | T |
| 50527 | * | F | F | T | * | * | T |
| 50528 | * | T | * | T | * | * | T |
| 50529 | * | T | * | T | * | * | T |
| 50530 | * | T | * | T | * | * | T |
| 50531 | * | T | * | T | * | * | T |
| 50532 | * | F | F | T | * | * | T |
| 50533 | F | F | T | * | * | * | T |
| 50534 | * | F | F | T | * | * | T |
| 50535 | * | T | * | T | * | * | T |
| 50536 | * | T | * | T | * | * | T |
| 50537 | * | T | * | T | * | * | T |
| 50538 | * | T | * | T | * | * | T |
| 50539 | * | F | F | T | * | * | T |
| 50540 | * | T | * | T | * | * | T |
| 50541 | * | T | * | T | * | * | T |
| 50542 | * | T | * | T | * | * | T |
| 50543 | * | T | * | T | * | * | T |
| 50544 | * | F | F | T | * | * | T |
| 50545 | * | F | T | * | * | * | T |
| 71141 | F | F | F | T | * | * | T |
| 71142 | * | F | F | T | * | * | T |
| 71143 | * | T | * | T | * | * | T |
| 71144 | F | F | F | F | F | F | T |
| 71145 | * | F | F | T | * | * | T |
| 71146 | * | F | F | T | * | * | T |
| 71147 | * | T | * | T | * | * | T |
| 71148 | F | F | F | F | F | F | T |
| 71149 | * | F | F | T | * | * | T |
| 71150 | * | F | F | T | * | * | T |
| 71151 | * | T | * | T | * | * | T |
| 71152 | F | F | F | F | F | F | T |
| 71153 | * | F | F | T | * | * | T |
| 71154 | * | F | F | T | * | * | T |
| 71155 | * | T | * | T | * | * | T |
| 71156 | F | F | F | F | F | F | T |
| 71157 | * | F | F | T | * | * | T |
| 71158 | F | F | T | * | * | * | T |
| 71159 | * | F | F | T | * | * | T |
| 71160 | * | F | F | T | * | * | T |
| 71161 | * | T | * | T | * | * | T |
| 71162 | F | F | F | F | F | F | T |
| 71163 | * | F | F | T | * | * | T |
| 71164 | * | F | F | T | * | * | T |
| 71165 | * | T | * | T | * | * | T |
| 71166 | * | F | F | F | F | F | T |
| 81024 | F | F | F | T | * | * | T |
| 81025 | * | F | F | T | * | * | T |
| 81026 | * | T | * | T | * | * | T |
| 81027 | F | F | F | F | F | F | T |
| 81028 | * | F | F | T | * | * | T |
| 81029 | * | F | F | T | * | * | T |
| 81030 | * | T | * | T | * | * | T |
| 81031 | F | F | F | F | F | F | T |
| 81032 | * | F | F | T | * | * | T |
| 81033 | * | F | F | T | * | * | T |
| 81034 | * | T | * | T | * | * | T |
| 81035 | F | F | F | F | F | F | T |
| 81036 | * | F | F | T | * | * | T |
| 81037 | * | F | F | T | * | * | T |
| 81038 | * | T | * | T | * | * | T |
| 81039 | F | F | F | F | F | F | T |
| 81040 | * | F | F | T | * | * | T |
| 81041 | F | F | T | * | * | * | T |
| 81042 | * | F | F | T | * | * | T |
| 81043 | * | F | F | T | * | * | T |
| 81044 | * | T | * | T | * | * | T |
| 81045 | F | F | F | F | F | F | T |
| 81046 | * | F | F | T | * | * | T |
| 81047 | * | F | F | T | * | * | T |
| 81048 | * | T | * | T | * | * | T |
| 81049 | * | F | F | F | F | F | T |
| 90899 | F | F | F | T | * | * | T |
| 90900 | * | T | * | T | * | * | T |
| 90901 | * | T | * | T | * | * | T |
| 90902 | F | F | F | F | F | F | T |
| 90903 | * | F | F | T | * | * | T |
| 90904 | * | T | * | T | * | * | T |
| 90905 | * | T | * | T | * | * | T |
| 90906 | F | F | F | F | F | F | T |
| 90907 | * | F | F | T | * | * | T |
| 90908 | * | T | * | T | * | * | T |
| 90909 | * | T | * | T | * | * | T |
| 90910 | F | F | F | F | F | F | T |
| 90911 | * | F | F | T | * | * | T |
| 90912 | * | T | * | T | * | * | T |
| 90913 | * | T | * | T | * | * | T |
| 90914 | T | F | F | F | F | F | T |
| 90915 | T | * | * | * | F | T | T |
| 90916 | T | * | * | * | F | T | T |
| 90917 | F | F | F | T | F | T | T |
| 90918 | * | T | * | T | * | * | T |
| 90919 | * | T | * | T | * | * | T |
| 90920 | F | F | F | F | F | F | T |
| 90921 | * | F | F | T | * | * | T |
| 90922 | * | T | * | T | * | * | T |
| 90923 | * | T | * | T | * | * | T |
| 90924 | F | F | F | F | F | F | T |
| 90925 | * | F | F | T | * | * | T |
| 90926 | * | T | * | T | * | * | T |
| 90927 | * | T | * | T | * | * | T |
| 90928 | F | F | F | F | F | F | T |
| 90929 | * | F | F | T | * | * | T |
| 90930 | * | T | * | T | * | * | T |
| 90931 | * | T | * | T | * | * | T |
| 90932 | F | F | F | F | F | F | T |
| 90933 | * | F | F | T | * | * | T |
| 90934 | * | T | * | T | * | * | T |
| 90935 | * | T | * | T | * | * | T |
| 90936 | F | F | F | F | F | F | T |
| 90937 | * | F | F | T | * | * | T |
| 90938 | * | T | * | T | * | * | T |
| 90939 | * | T | * | T | * | * | T |
| 90940 | F | F | F | F | F | F | T |
| 90941 | * | F | F | T | * | * | T |
| 90942 | * | T | * | T | * | * | T |
| 90943 | * | T | * | T | * | * | T |
| 90944 | * | F | F | F | F | F | T |
| 98673 | F | F | F | T | * | * | T |
| 98674 | * | T | * | T | * | * | T |
| 98675 | * | T | * | T | * | * | T |
| 98676 | F | F | F | F | F | F | T |
| 98677 | * | F | F | T | * | * | T |
| 98678 | * | T | * | T | * | * | T |
| 98679 | * | T | * | T | * | * | T |
| 98680 | F | F | F | F | F | F | T |
| 98681 | * | F | F | T | * | * | T |
| 98682 | * | T | * | T | * | * | T |
| 98683 | * | T | * | T | * | * | T |
| 98684 | F | F | F | F | F | F | T |
| 98685 | * | F | F | T | * | * | T |
| 98686 | * | T | * | T | * | * | T |
| 98687 | * | T | * | T | * | * | T |
| 98688 | T | F | F | F | F | F | T |
| 98689 | T | * | * | * | F | T | T |
| 98690 | T | * | * | * | F | T | T |
| 98691 | F | F | F | T | F | T | T |
| 98692 | * | T | * | T | * | * | T |
| 98693 | * | T | * | T | * | * | T |
| 98694 | F | F | F | F | F | F | T |
| 98695 | * | F | F | T | * | * | T |
| 98696 | * | T | * | T | * | * | T |
| 98697 | * | T | * | T | * | * | T |
| 98698 | F | F | F | F | F | F | T |
| 98699 | * | F | F | T | * | * | T |
| 98700 | * | T | * | T | * | * | T |
| 98701 | * | T | * | T | * | * | T |
| 98702 | F | F | F | F | F | F | T |
| 98703 | * | F | F | T | * | * | T |
| 98704 | * | T | * | T | * | * | T |
| 98705 | * | T | * | T | * | * | T |
| 98706 | F | F | F | F | F | F | T |
| 98707 | * | F | F | T | * | * | T |
| 98708 | * | T | * | T | * | * | T |
| 98709 | * | T | * | T | * | * | T |
| 98710 | F | F | F | F | F | F | T |
| 98711 | * | F | F | T | * | * | T |
| 98712 | * | T | * | T | * | * | T |
| 98713 | * | T | * | T | * | * | T |
| 98714 | F | F | F | F | F | F | T |
| 98715 | * | F | F | T | * | * | T |
| 98716 | * | T | * | T | * | * | T |
| 98717 | * | T | * | T | * | * | T |
| 98718 | * | F | F | F | F | F | T |
| 107167 | F | F | F | T | * | * | T |
| 107168 | * | T | * | T | * | * | T |
| 107169 | * | T | * | T | * | * | T |
| 107170 | F | F | F | F | F | F | T |
| 107171 | * | F | F | T | * | * | T |
| 107172 | * | T | * | T | * | * | T |
| 107173 | * | T | * | T | * | * | T |
| 107174 | F | F | F | F | F | F | T |
| 107175 | * | F | F | T | * | * | T |
| 107176 | * | T | * | T | * | * | T |
| 107177 | * | T | * | T | * | * | T |
| 107178 | F | F | F | F | F | F | T |
| 107179 | * | F | F | T | * | * | T |
| 107180 | * | T | * | T | * | * | T |
| 107181 | * | T | * | T | * | * | T |
| 107182 | T | F | F | F | F | F | T |
| 107183 | T | * | * | * | F | T | T |
| 107184 | T | * | * | * | F | T | T |
| 107185 | F | F | F | T | F | T | T |
| 107186 | * | T | * | T | * | * | T |
| 107187 | * | T | * | T | * | * | T |
| 107188 | F | F | F | F | F | F | T |
| 107189 | * | F | F | T | * | * | T |
| 107190 | * | T | * | T | * | * | T |
| 107191 | * | T | * | T | * | * | T |
| 107192 | F | F | F | F | F | F | T |
| 107193 | * | F | F | T | * | * | T |
| 107194 | * | T | * | T | * | * | T |
| 107195 | * | T | * | T | * | * | T |
| 107196 | F | F | F | F | F | F | T |
| 107197 | * | F | F | T | * | * | T |
| 107198 | * | T | * | T | * | * | T |
| 107199 | * | T | * | T | * | * | T |
| 107200 | F | F | F | F | F | F | T |
| 107201 | * | F | F | T | * | * | T |
| 107202 | * | T | * | T | * | * | T |
| 107203 | * | T | * | T | * | * | T |
| 107204 | F | F | F | F | F | F | T |
| 107205 | * | F | F | T | * | * | T |
| 107206 | * | T | * | T | * | * | T |
| 107207 | * | T | * | T | * | * | T |
| 107208 | F | F | F | F | F | F | T |
| 107209 | * | F | F | T | * | * | T |
| 107210 | * | T | * | T | * | * | T |
| 107211 | * | T | * | T | * | * | T |
| 107212 | * | F | F | F | F | F | T |
| 115243 | F | F | F | T | * | * | T |
| 115244 | * | T | * | T | * | * | T |
| 115245 | * | T | * | T | * | * | T |
| 115246 | F | F | F | F | F | F | T |
| 115247 | * | F | F | T | * | * | T |
| 115248 | * | T | * | T | * | * | T |
| 115249 | * | T | * | T | * | * | T |
| 115250 | F | F | F | F | F | F | T |
| 115251 | * | F | F | T | * | * | T |
| 115252 | * | T | * | T | * | * | T |
| 115253 | * | T | * | T | * | * | T |
| 115254 | F | F | F | F | F | F | T |
| 115255 | * | F | F | T | * | * | T |
| 115256 | * | T | * | T | * | * | T |
| 115257 | * | T | * | T | * | * | T |
| 115258 | T | F | F | F | F | F | T |
| 115259 | T | * | * | * | F | T | T |
| 115260 | T | * | * | * | F | T | T |
| 115261 | F | F | F | T | F | T | T |
| 115262 | * | T | * | T | * | * | T |
| 115263 | * | T | * | T | * | * | T |
| 115264 | F | F | F | F | F | F | T |
| 115265 | * | F | F | T | * | * | T |
| 115266 | * | T | * | T | * | * | T |
| 115267 | * | T | * | T | * | * | T |
| 115268 | F | F | F | F | F | F | T |
| 115269 | * | F | F | T | * | * | T |
| 115270 | * | T | * | T | * | * | T |
| 115271 | * | T | * | T | * | * | T |
| 115272 | F | F | F | F | F | F | T |
| 115273 | * | F | F | T | * | * | T |
| 115274 | * | T | * | T | * | * | T |
| 115275 | * | T | * | T | * | * | T |
| 115276 | F | F | F | F | F | F | T |
| 115277 | * | F | F | T | * | * | T |
| 115278 | * | T | * | T | * | * | T |
| 115279 | * | T | * | T | * | * | T |
| 115280 | F | F | F | F | F | F | T |
| 115281 | * | F | F | T | * | * | T |
| 115282 | * | T | * | T | * | * | T |
| 115283 | * | T | * | T | * | * | T |
| 115284 | F | F | F | F | F | F | T |
| 115285 | * | F | F | T | * | * | T |
| 115286 | * | T | * | T | * | * | T |
| 115287 | * | T | * | T | * | * | T |
| 115288 | * | F | F | F | F | F | T |
| 123076 | F | F | F | T | * | * | T |
| 123077 | * | T | * | T | * | * | T |
| 123078 | * | T | * | T | * | * | T |
| 123079 | * | T | * | T | * | * | T |
| 123080 | * | T | * | T | * | * | T |
| 123081 | * | F | F | T | * | * | T |
| 123082 | * | T | * | T | * | * | T |
| 123083 | * | T | * | T | * | * | T |
| 123084 | * | T | * | T | * | * | T |
| 123085 | * | T | * | T | * | * | T |
| 123086 | * | F | F | T | * | * | T |
| 123087 | * | F | F | T | * | * | T |
| 123088 | * | T | * | T | * | * | T |
| 123089 | * | T | * | T | * | * | T |
| 123090 | F | F | T | * | * | * | T |
| 123091 | * | F | F | T | * | * | T |
| 123092 | * | T | * | T | * | * | T |
| 123093 | * | T | * | T | * | * | T |
| 123094 | * | T | * | T | * | * | T |
| 123095 | * | T | * | T | * | * | T |
| 123096 | * | F | F | T | * | * | T |
| 123097 | * | T | * | T | * | * | T |
| 123098 | * | T | * | T | * | * | T |
| 123099 | * | T | * | T | * | * | T |
| 123100 | * | T | * | T | * | * | T |
| 123101 | * | F | F | T | * | * | T |
| 123102 | * | F | F | T | * | * | T |
| 123103 | * | T | * | T | * | * | T |
| 123104 | * | T | * | T | * | * | T |
| 123105 | F | F | T | * | * | * | T |
| 123106 | * | F | F | T | * | * | T |
| 123107 | * | T | * | T | * | * | T |
| 123108 | * | T | * | T | * | * | T |
| 123109 | * | T | * | T | * | * | T |
| 123110 | * | T | * | T | * | * | T |
| 123111 | * | F | F | T | * | * | T |
| 123112 | * | T | * | T | * | * | T |
| 123113 | * | T | * | T | * | * | T |
| 123114 | * | T | * | T | * | * | T |
| 123115 | * | T | * | T | * | * | T |
| 123116 | * | F | F | T | * | * | T |
| 123117 | F | F | T | * | * | * | T |
| 123118 | * | F | F | T | * | * | T |
| 123119 | * | T | * | T | * | * | T |
| 123120 | * | T | * | T | * | * | T |
| 123121 | * | T | * | T | * | * | T |
| 123122 | * | T | * | T | * | * | T |
| 123123 | * | F | F | T | * | * | T |
| 123124 | * | T | * | T | * | * | T |
| 123125 | * | T | * | T | * | * | T |
| 123126 | * | T | * | T | * | * | T |
| 123127 | * | T | * | T | * | * | T |
| 123128 | * | F | F | T | * | * | T |
| 123129 | F | F | T | * | * | * | T |
| 123130 | * | F | F | T | * | * | T |
| 123131 | * | T | * | T | * | * | T |
| 123132 | * | T | * | T | * | * | T |
| 123133 | * | T | * | T | * | * | T |
| 123134 | * | T | * | T | * | * | T |
| 123135 | * | F | F | T | * | * | T |
| 123136 | * | T | * | T | * | * | T |
| 123137 | * | T | * | T | * | * | T |
| 123138 | * | T | * | T | * | * | T |
| 123139 | * | T | * | T | * | * | T |
| 123140 | * | F | F | T | * | * | T |
| 123141 | F | F | T | * | * | * | T |
| 123142 | * | F | F | T | * | * | T |
| 123143 | * | T | * | T | * | * | T |
| 123144 | * | T | * | T | * | * | T |
| 123145 | * | T | * | T | * | * | T |
| 123146 | * | T | * | T | * | * | T |
| 123147 | * | F | F | T | * | * | T |
| 123148 | * | T | * | T | * | * | T |
| 123149 | * | T | * | T | * | * | T |
| 123150 | * | T | * | T | * | * | T |
| 123151 | * | T | * | T | * | * | T |
| 123152 | * | F | F | T | * | * | T |
| 123153 | F | F | T | * | * | * | T |
| 123154 | * | F | F | T | * | * | T |
| 123155 | * | T | * | T | * | * | T |
| 123156 | * | T | * | T | * | * | T |
| 123157 | * | T | * | T | * | * | T |
| 123158 | * | T | * | T | * | * | T |
| 123159 | * | F | F | T | * | * | T |
| 123160 | * | T | * | T | * | * | T |
| 123161 | * | T | * | T | * | * | T |
| 123162 | * | T | * | T | * | * | T |
| 123163 | * | T | * | T | * | * | T |
| 123164 | * | F | F | T | * | * | T |
| 123165 | F | F | T | * | * | * | T |
| 123166 | * | F | F | T | * | * | T |
| 123167 | * | T | * | T | * | * | T |
| 123168 | * | T | * | T | * | * | T |
| 123169 | * | T | * | T | * | * | T |
| 123170 | * | T | * | T | * | * | T |
| 123171 | * | F | F | T | * | * | T |
| 123172 | * | T | * | T | * | * | T |
| 123173 | * | T | * | T | * | * | T |
| 123174 | * | T | * | T | * | * | T |
| 123175 | * | T | * | T | * | * | T |
| 123176 | * | F | F | T | * | * | T |
| 123177 | * | F | F | T | * | * | T |
| 123178 | * | T | * | T | * | * | T |
| 123179 | * | T | * | T | * | * | T |
| 123180 | F | F | T | * | * | * | T |
| 123181 | * | F | F | T | * | * | T |
| 123182 | * | T | * | T | * | * | T |
| 123183 | * | T | * | T | * | * | T |
| 123184 | * | T | * | T | * | * | T |
| 123185 | * | T | * | T | * | * | T |
| 123186 | * | F | F | T | * | * | T |
| 123187 | * | T | * | T | * | * | T |
| 123188 | * | T | * | T | * | * | T |
| 123189 | * | T | * | T | * | * | T |
| 123190 | * | T | * | T | * | * | T |
| 123191 | * | F | F | T | * | * | T |
| 123192 | * | F | F | T | * | * | T |
| 123193 | * | T | * | T | * | * | T |
| 123194 | * | T | * | T | * | * | T |
| 123195 | * | F | T | * | * | * | T |
| 139795 | F | F | F | T | * | * | T |
| 139796 | * | T | * | T | * | * | T |
| 139797 | * | T | * | T | * | * | T |
| 139798 | * | T | * | T | * | * | T |
| 139799 | * | T | * | T | * | * | T |
| 139800 | * | F | F | T | * | * | T |
| 139801 | * | T | * | T | * | * | T |
| 139802 | * | T | * | T | * | * | T |
| 139803 | * | T | * | T | * | * | T |
| 139804 | * | T | * | T | * | * | T |
| 139805 | * | F | F | T | * | * | T |
| 139806 | * | F | F | T | * | * | T |
| 139807 | * | T | * | T | * | * | T |
| 139808 | * | T | * | T | * | * | T |
| 139809 | F | F | T | * | * | * | T |
| 139810 | * | F | F | T | * | * | T |
| 139811 | * | T | * | T | * | * | T |
| 139812 | * | T | * | T | * | * | T |
| 139813 | * | T | * | T | * | * | T |
| 139814 | * | T | * | T | * | * | T |
| 139815 | * | F | F | T | * | * | T |
| 139816 | * | T | * | T | * | * | T |
| 139817 | * | T | * | T | * | * | T |
| 139818 | * | T | * | T | * | * | T |
| 139819 | * | T | * | T | * | * | T |
| 139820 | * | F | F | T | * | * | T |
| 139821 | * | F | F | T | * | * | T |
| 139822 | * | T | * | T | * | * | T |
| 139823 | * | T | * | T | * | * | T |
| 139824 | F | F | T | * | * | * | T |
| 139825 | * | F | F | T | * | * | T |
| 139826 | * | T | * | T | * | * | T |
| 139827 | * | T | * | T | * | * | T |
| 139828 | * | T | * | T | * | * | T |
| 139829 | * | T | * | T | * | * | T |
| 139830 | * | F | F | T | * | * | T |
| 139831 | * | T | * | T | * | * | T |
| 139832 | * | T | * | T | * | * | T |
| 139833 | * | T | * | T | * | * | T |
| 139834 | * | T | * | T | * | * | T |
| 139835 | * | F | F | T | * | * | T |
| 139836 | F | F | T | * | * | * | T |
| 139837 | * | F | F | T | * | * | T |
| 139838 | * | T | * | T | * | * | T |
| 139839 | * | T | * | T | * | * | T |
| 139840 | * | T | * | T | * | * | T |
| 139841 | * | T | * | T | * | * | T |
| 139842 | * | F | F | T | * | * | T |
| 139843 | * | T | * | T | * | * | T |
| 139844 | * | T | * | T | * | * | T |
| 139845 | * | T | * | T | * | * | T |
| 139846 | * | T | * | T | * | * | T |
| 139847 | * | F | F | T | * | * | T |
| 139848 | F | F | T | * | * | * | T |
| 139849 | * | F | F | T | * | * | T |
| 139850 | * | T | * | T | * | * | T |
| 139851 | * | T | * | T | * | * | T |
| 139852 | * | T | * | T | * | * | T |
| 139853 | * | T | * | T | * | * | T |
| 139854 | * | F | F | T | * | * | T |
| 139855 | * | T | * | T | * | * | T |
| 139856 | * | T | * | T | * | * | T |
| 139857 | * | T | * | T | * | * | T |
| 139858 | * | T | * | T | * | * | T |
| 139859 | * | F | F | T | * | * | T |
| 139860 | F | F | T | * | * | * | T |
| 139861 | * | F | F | T | * | * | T |
| 139862 | * | T | * | T | * | * | T |
| 139863 | * | T | * | T | * | * | T |
| 139864 | * | T | * | T | * | * | T |
| 139865 | * | T | * | T | * | * | T |
| 139866 | * | F | F | T | * | * | T |
| 139867 | * | T | * | T | * | * | T |
| 139868 | * | T | * | T | * | * | T |
| 139869 | * | T | * | T | * | * | T |
| 139870 | * | T | * | T | * | * | T |
| 139871 | * | F | F | T | * | * | T |
| 139872 | F | F | T | * | * | * | T |
| 139873 | * | F | F | T | * | * | T |
| 139874 | * | T | * | T | * | * | T |
| 139875 | * | T | * | T | * | * | T |
| 139876 | * | T | * | T | * | * | T |
| 139877 | * | T | * | T | * | * | T |
| 139878 | * | F | F | T | * | * | T |
| 139879 | * | T | * | T | * | * | T |
| 139880 | * | T | * | T | * | * | T |
| 139881 | * | T | * | T | * | * | T |
| 139882 | * | T | * | T | * | * | T |
| 139883 | * | F | F | T | * | * | T |
| 139884 | F | F | T | * | * | * | T |
| 139885 | * | F | F | T | * | * | T |
| 139886 | * | T | * | T | * | * | T |
| 139887 | * | T | * | T | * | * | T |
| 139888 | * | T | * | T | * | * | T |
| 139889 | * | T | * | T | * | * | T |
| 139890 | * | F | F | T | * | * | T |
| 139891 | * | T | * | T | * | * | T |
| 139892 | * | T | * | T | * | * | T |
| 139893 | * | T | * | T | * | * | T |
| 139894 | * | T | * | T | * | * | T |
| 139895 | * | F | F | T | * | * | T |
| 139896 | * | F | F | T | * | * | T |
| 139897 | * | T | * | T | * | * | T |
| 139898 | * | T | * | T | * | * | T |
| 139899 | F | F | T | * | * | * | T |
| 139900 | * | F | F | T | * | * | T |
| 139901 | * | T | * | T | * | * | T |
| 139902 | * | T | * | T | * | * | T |
| 139903 | * | T | * | T | * | * | T |
| 139904 | * | T | * | T | * | * | T |
| 139905 | * | F | F | T | * | * | T |
| 139906 | * | T | * | T | * | * | T |
| 139907 | * | T | * | T | * | * | T |
| 139908 | * | T | * | T | * | * | T |
| 139909 | * | T | * | T | * | * | T |
| 139910 | * | F | F | T | * | * | T |
| 139911 | * | F | F | T | * | * | T |
| 139912 | * | T | * | T | * | * | T |
| 139913 | * | T | * | T | * | * | T |
| 139914 | * | F | T | * | * | * | T |
| 156519 | T | * | * | * | F | T | T |
| 156520 | T | * | * | * | F | T | T |
| 156521 | T | * | * | * | F | T | T |
| 156522 | T | * | * | * | F | T | T |
| 156523 | T | * | * | * | F | T | T |
| 156524 | T | * | * | * | F | T | T |
| 156525 | T | * | * | * | F | T | T |
| 156526 | T | * | * | * | F | T | T |
| 156527 | T | * | * | * | F | T | T |
| 156528 | T | * | * | * | F | T | T |
| 156529 | T | * | * | * | F | T | T |
| 156530 | T | * | * | * | F | T | T |
| 156531 | T | * | * | * | F | T | T |
| 156532 | T | * | * | * | F | T | T |
| 156533 | T | * | * | * | F | T | T |
| 156534 | T | * | * | * | F | T | T |
| 156535 | T | * | * | * | F | T | T |
| 156536 | T | * | * | * | F | T | T |
| 156537 | T | * | * | * | F | T | T |
| 156538 | T | * | * | * | F | T | T |
| 156539 | T | * | * | * | F | T | T |
| 156540 | T | * | * | * | F | T | T |
| 156541 | T | * | * | * | F | T | T |
| 156542 | T | * | * | * | F | T | T |
| 166377 | T | * | * | * | F | T | T |
| 166378 | T | * | * | * | F | T | T |
| 166379 | T | * | * | * | F | T | T |
| 166380 | T | * | * | * | F | T | T |
| 166381 | T | * | * | * | F | T | T |
| 166382 | T | * | * | * | F | T | T |
| 166383 | T | * | * | * | F | T | T |
| 166384 | T | * | * | * | F | T | T |
| 166385 | T | * | * | * | F | T | T |
| 166386 | T | * | * | * | F | T | T |
| 166387 | T | * | * | * | F | T | T |
| 166388 | T | * | * | * | F | T | T |
| 166389 | T | * | * | * | F | T | T |
| 166390 | T | * | * | * | F | T | T |
| 166391 | T | * | * | * | F | T | T |
| 166392 | T | * | * | * | F | T | T |
| 166393 | T | * | * | * | F | T | T |
| 166394 | T | * | * | * | F | T | T |
| 166395 | T | * | * | * | F | T | T |
| 166396 | T | * | * | * | F | T | T |
| 166397 | T | * | * | * | F | T | T |
| 166398 | T | * | * | * | F | T | T |
| 166399 | T | * | * | * | F | T | T |
| 166400 | T | * | * | * | F | T | T |
| 176143 | T | * | * | * | F | T | T |
| 176144 | T | * | * | * | F | T | T |
| 180835 | T | * | * | * | F | T | T |
| 180836 | T | * | * | * | F | T | T |
| 180837 | T | * | * | * | F | T | T |
| 180838 | T | * | * | * | F | T | T |
| 180839 | T | * | * | * | F | T | T |
| 184155 | T | * | * | * | F | T | T |
| 184156 | T | * | * | * | F | T | T |
| 184157 | T | * | * | * | F | T | T |
| 184158 | T | * | * | * | F | T | T |
| 184159 | T | * | * | * | F | T | T |
| 187262 | T | * | * | * | F | T | T |
| 187263 | T | * | * | * | F | T | T |
| 187264 | T | * | * | * | F | T | T |
| 187265 | T | * | * | * | F | T | T |
| 187266 | T | * | * | * | F | T | T |
| 190599 | F | F | F | T | * | * | T |
| 190600 | * | T | * | T | * | * | T |
| 190601 | * | T | * | T | * | * | T |
| 190602 | F | F | F | F | F | F | T |
| 190603 | * | F | F | T | * | * | T |
| 190604 | * | T | * | T | * | * | T |
| 190605 | * | T | * | T | * | * | T |
| 190606 | F | F | F | F | F | F | T |
| 190607 | * | F | F | T | * | * | T |
| 190608 | * | T | * | T | * | * | T |
| 190609 | * | T | * | T | * | * | T |
| 190610 | F | F | F | F | F | F | T |
| 190611 | * | F | F | T | * | * | T |
| 190612 | * | T | * | T | * | * | T |
| 190613 | * | T | * | T | * | * | T |
| 190614 | F | F | F | F | F | F | T |
| 190615 | * | F | F | T | * | * | T |
| 190616 | * | T | * | T | * | * | T |
| 190617 | * | T | * | T | * | * | T |
| 190618 | F | F | F | F | F | F | T |
| 190619 | * | F | F | T | * | * | T |
| 190620 | * | T | * | T | * | * | T |
| 190621 | * | T | * | T | * | * | T |
| 190622 | F | F | F | F | F | F | T |
| 190623 | * | F | F | T | * | * | T |
| 190624 | * | T | * | T | * | * | T |
| 190625 | * | T | * | T | * | * | T |
| 190626 | F | F | F | F | F | F | T |
| 190627 | * | F | F | T | * | * | T |
| 190628 | * | T | * | T | * | * | T |
| 190629 | * | T | * | T | * | * | T |
| 190630 | F | F | F | F | F | F | T |
| 190631 | * | F | F | T | * | * | T |
| 190632 | * | T | * | T | * | * | T |
| 190633 | * | T | * | T | * | * | T |
| 190634 | F | F | F | F | F | F | T |
| 190635 | * | F | F | T | * | * | T |
| 190636 | * | T | * | T | * | * | T |
| 190637 | * | T | * | T | * | * | T |
| 190638 | * | F | F | F | F | F | T |
| 195016 | T | * | * | * | F | T | T |
| 195017 | T | * | * | * | F | T | T |
| 195018 | T | * | * | * | F | T | T |
| 195019 | T | * | * | * | F | T | T |
| 195020 | T | * | * | * | F | T | T |
| 195021 | T | * | * | * | F | T | T |
| 195022 | T | * | * | * | F | T | T |
| 195023 | T | * | * | * | F | T | T |
| 195024 | T | * | * | * | F | T | T |
| 195025 | T | * | * | * | F | T | T |
| 195026 | T | * | * | * | F | T | T |
| 195027 | T | * | * | * | F | T | T |
| 195028 | T | * | * | * | F | T | T |
| 195029 | T | * | * | * | F | T | T |
| 195030 | T | * | * | * | F | T | T |
| 195031 | T | * | * | * | F | T | T |
| 195032 | T | * | * | * | F | T | T |
| 195033 | T | * | * | * | F | T | T |
| 195034 | T | * | * | * | F | T | T |
| 195035 | T | * | * | * | F | T | T |
| 195036 | T | * | * | * | F | T | T |
| 195037 | T | * | * | * | F | T | T |
| 195038 | T | * | * | * | F | T | T |
| 195039 | T | * | * | * | F | T | T |
| 195040 | T | * | * | * | F | T | T |
| 195041 | T | * | * | * | F | T | T |
| 195042 | T | * | * | * | F | T | T |
| 195043 | T | * | * | * | F | T | T |
| 195044 | T | * | * | * | F | T | T |
| 195045 | T | * | * | * | F | T | T |
| 202910 | F | F | F | T | * | * | T |
| 202911 | * | T | * | T | * | * | T |
| 202912 | * | T | * | T | * | * | T |
| 202913 | F | F | F | F | F | F | T |
| 202914 | * | F | F | T | * | * | T |
| 202915 | * | T | * | T | * | * | T |
| 202916 | * | T | * | T | * | * | T |
| 202917 | F | F | F | F | F | F | T |
| 202918 | * | F | F | T | * | * | T |
| 202919 | * | T | * | T | * | * | T |
| 202920 | * | T | * | T | * | * | T |
| 202921 | F | F | F | F | F | F | T |
| 202922 | * | F | F | T | * | * | T |
| 202923 | * | T | * | T | * | * | T |
| 202924 | * | T | * | T | * | * | T |
| 202925 | F | F | F | F | F | F | T |
| 202926 | * | F | F | T | * | * | T |
| 202927 | * | T | * | T | * | * | T |
| 202928 | * | T | * | T | * | * | T |
| 202929 | F | F | F | F | F | F | T |
| 202930 | * | F | F | T | * | * | T |
| 202931 | * | T | * | T | * | * | T |
| 202932 | * | T | * | T | * | * | T |
| 202933 | * | F | F | F | F | F | T |
| 206444 | T | * | * | * | F | T | T |
| 206445 | T | * | * | * | F | T | T |
| 206446 | T | * | * | * | F | T | T |
| 206447 | T | * | * | * | F | T | T |
| 206448 | T | * | * | * | F | T | T |
| 206449 | T | * | * | * | F | T | T |
| 206450 | T | * | * | * | F | T | T |
| 206451 | T | * | * | * | F | T | T |
| 206452 | T | * | * | * | F | T | T |
| 206453 | T | * | * | * | F | T | T |
| 206454 | T | * | * | * | F | T | T |
| 206455 | T | * | * | * | F | T | T |
| 206456 | T | * | * | * | F | T | T |
| 206457 | T | * | * | * | F | T | T |
| 206458 | T | * | * | * | F | T | T |
| 206459 | T | * | * | * | F | T | T |
| 206460 | T | * | * | * | F | T | T |
| 206461 | T | * | * | * | F | T | T |
| 214719 | F | F | F | T | * | * | T |
| 214720 | * | T | * | T | * | * | T |
| 214721 | * | T | * | T | * | * | T |
| 214722 | F | F | F | F | F | F | T |
| 214723 | * | F | F | T | * | * | T |
| 214724 | * | T | * | T | * | * | T |
| 214725 | * | T | * | T | * | * | T |
| 214726 | F | F | F | F | F | F | T |
| 214727 | * | F | F | T | * | * | T |
| 214728 | * | T | * | T | * | * | T |
| 214729 | * | T | * | T | * | * | T |
| 214730 | F | F | F | F | F | F | T |
| 214731 | * | F | F | T | * | * | T |
| 214732 | * | T | * | T | * | * | T |
| 214733 | * | T | * | T | * | * | T |
| 214734 | F | F | F | F | F | F | T |
| 214735 | * | F | F | T | * | * | T |
| 214736 | * | T | * | T | * | * | T |
| 214737 | * | T | * | T | * | * | T |
| 214738 | F | F | F | F | F | F | T |
| 214739 | * | F | F | T | * | * | T |
| 214740 | * | T | * | T | * | * | T |
| 214741 | * | T | * | T | * | * | T |
| 214742 | F | F | F | F | F | F | T |
| 214743 | * | F | F | T | * | * | T |
| 214744 | * | T | * | T | * | * | T |
| 214745 | * | T | * | T | * | * | T |
| 214746 | F | F | F | F | F | F | T |
| 214747 | * | F | F | T | * | * | T |
| 214748 | * | T | * | T | * | * | T |
| 214749 | * | T | * | T | * | * | T |
| 214750 | F | F | F | F | F | F | T |
| 214751 | * | F | F | T | * | * | T |
| 214752 | * | T | * | T | * | * | T |
| 214753 | * | T | * | T | * | * | T |
| 214754 | * | F | F | F | F | F | T |
| 222318 | F | F | F | T | * | * | T |
| 222319 | * | T | * | T | * | * | T |
| 222320 | * | T | * | T | * | * | T |
| 222321 | * | T | * | T | * | * | T |
| 222322 | * | T | * | T | * | * | T |
| 222323 | * | F | F | T | * | * | T |
| 222324 | * | T | * | T | * | * | T |
| 222325 | * | T | * | T | * | * | T |
| 222326 | * | T | * | T | * | * | T |
| 222327 | * | T | * | T | * | * | T |
| 222328 | * | F | F | T | * | * | T |
| 222329 | * | T | * | T | * | * | T |
| 222330 | * | T | * | T | * | * | T |
| 222331 | * | T | * | T | * | * | T |
| 222332 | * | T | * | T | * | * | T |
| 222333 | F | F | F | F | F | F | T |
| 222334 | * | F | F | T | * | * | T |
| 222335 | * | T | * | T | * | * | T |
| 222336 | * | T | * | T | * | * | T |
| 222337 | * | T | * | T | * | * | T |
| 222338 | * | T | * | T | * | * | T |
| 222339 | * | F | F | T | * | * | T |
| 222340 | * | T | * | T | * | * | T |
| 222341 | * | T | * | T | * | * | T |
| 222342 | * | T | * | T | * | * | T |
| 222343 | * | T | * | T | * | * | T |
| 222344 | * | F | F | T | * | * | T |
| 222345 | F | F | T | * | * | * | T |
| 222346 | * | F | F | T | * | * | T |
| 222347 | * | F | F | T | * | * | T |
| 222348 | * | T | * | T | * | * | T |
| 222349 | * | T | * | T | * | * | T |
| 222350 | F | F | T | * | * | * | T |
| 222351 | * | F | F | T | * | * | T |
| 222352 | * | F | F | T | * | * | T |
| 222353 | * | T | * | T | * | * | T |
| 222354 | * | T | * | T | * | * | T |
| 222355 | F | F | T | * | * | * | T |
| 222356 | * | F | F | T | * | * | T |
| 222357 | * | F | F | T | * | * | T |
| 222358 | * | T | * | T | * | * | T |
| 222359 | * | T | * | T | * | * | T |
| 222360 | F | F | T | * | * | * | T |
| 222361 | * | F | F | T | * | * | T |
| 222362 | * | F | F | T | * | * | T |
| 222363 | * | T | * | T | * | * | T |
| 222364 | * | T | * | T | * | * | T |
| 222365 | F | F | T | * | * | * | T |
| 222366 | * | F | F | T | * | * | T |
| 222367 | F | F | T | * | * | * | T |
| 222368 | * | F | F | T | * | * | T |
| 222369 | * | F | F | T | * | * | T |
| 222370 | * | T | * | T | * | * | T |
| 222371 | * | T | * | T | * | * | T |
| 222372 | F | F | T | * | * | * | T |
| 222373 | * | F | F | T | * | * | T |
| 222374 | * | F | F | T | * | * | T |
| 222375 | * | T | * | T | * | * | T |
| 222376 | * | T | * | T | * | * | T |
| 222377 | * | F | T | * | * | * | T |
| 299695 | F | F | F | T | * | * | T |
| 299696 | * | T | * | T | * | * | T |
| 299697 | * | T | * | T | * | * | T |
| 299698 | * | T | * | T | * | * | T |
| 299699 | * | T | * | T | * | * | T |
| 299700 | * | F | F | T | * | * | T |
| 299701 | * | T | * | T | * | * | T |
| 299702 | * | T | * | T | * | * | T |
| 299703 | * | T | * | T | * | * | T |
| 299704 | * | T | * | T | * | * | T |
| 299705 | * | F | F | T | * | * | T |
| 299706 | * | T | * | T | * | * | T |
| 299707 | * | T | * | T | * | * | T |
| 299708 | * | T | * | T | * | * | T |
| 299709 | * | T | * | T | * | * | T |
| 299710 | F | F | F | F | F | F | T |
| 299711 | * | F | F | T | * | * | T |
| 299712 | * | T | * | T | * | * | T |
| 299713 | * | T | * | T | * | * | T |
| 299714 | * | T | * | T | * | * | T |
| 299715 | * | T | * | T | * | * | T |
| 299716 | * | F | F | T | * | * | T |
| 299717 | * | T | * | T | * | * | T |
| 299718 | * | T | * | T | * | * | T |
| 299719 | * | T | * | T | * | * | T |
| 299720 | * | T | * | T | * | * | T |
| 299721 | * | F | F | T | * | * | T |
| 299722 | F | F | T | * | * | * | T |
| 299723 | * | F | F | T | * | * | T |
| 299724 | * | F | F | T | * | * | T |
| 299725 | * | T | * | T | * | * | T |
| 299726 | * | T | * | T | * | * | T |
| 299727 | F | F | T | * | * | * | T |
| 299728 | * | F | F | T | * | * | T |
| 299729 | * | F | F | T | * | * | T |
| 299730 | * | T | * | T | * | * | T |
| 299731 | * | T | * | T | * | * | T |
| 299732 | F | F | T | * | * | * | T |
| 299733 | * | F | F | T | * | * | T |
| 299734 | * | F | F | T | * | * | T |
| 299735 | * | T | * | T | * | * | T |
| 299736 | * | T | * | T | * | * | T |
| 299737 | F | F | T | * | * | * | T |
| 299738 | * | F | F | T | * | * | T |
| 299739 | * | F | F | T | * | * | T |
| 299740 | * | T | * | T | * | * | T |
| 299741 | * | T | * | T | * | * | T |
| 299742 | F | F | T | * | * | * | T |
| 299743 | * | F | F | T | * | * | T |
| 299744 | F | F | T | * | * | * | T |
| 299745 | * | F | F | T | * | * | T |
| 299746 | * | F | F | T | * | * | T |
| 299747 | * | T | * | T | * | * | T |
| 299748 | * | T | * | T | * | * | T |
| 299749 | F | F | T | * | * | * | T |
| 299750 | * | F | F | T | * | * | T |
| 299751 | * | F | F | T | * | * | T |
| 299752 | * | T | * | T | * | * | T |
| 299753 | * | T | * | T | * | * | T |
| 299754 | * | F | T | * | * | * | T |
| 376747 | F | F | F | T | * | * | T |
| 376748 | * | T | * | T | * | * | T |
| 376749 | * | T | * | T | * | * | T |
| 376750 | F | F | F | F | F | F | T |
| 376751 | * | F | F | T | * | * | T |
| 376752 | * | T | * | T | * | * | T |
| 376753 | * | T | * | T | * | * | T |
| 376754 | F | F | F | F | F | F | T |
| 376755 | * | F | F | T | * | * | T |
| 376756 | * | T | * | T | * | * | T |
| 376757 | * | T | * | T | * | * | T |
| 376758 | F | F | F | F | F | F | T |
| 376759 | * | F | F | T | * | * | T |
| 376760 | * | T | * | T | * | * | T |
| 376761 | * | T | * | T | * | * | T |
| 376762 | * | F | F | F | F | F | T |
| 379384 | F | F | F | T | * | * | T |
| 379385 | * | T | * | T | * | * | T |
| 379386 | * | T | * | T | * | * | T |
| 379387 | F | F | F | F | F | F | T |
| 379388 | * | F | F | T | * | * | T |
| 379389 | * | T | * | T | * | * | T |
| 379390 | * | T | * | T | * | * | T |
| 379391 | F | F | F | F | F | F | T |
| 379392 | * | F | F | T | * | * | T |
| 379393 | * | T | * | T | * | * | T |
| 379394 | * | T | * | T | * | * | T |
| 379395 | F | F | F | F | F | F | T |
| 379396 | * | F | F | T | * | * | T |
| 379397 | * | T | * | T | * | * | T |
| 379398 | * | T | * | T | * | * | T |
| 379399 | * | F | F | F | F | F | T |
| 382268 | F | F | F | T | * | * | T |
| 382269 | * | T | * | T | * | * | T |
| 382270 | * | T | * | T | * | * | T |
| 382271 | F | F | F | F | F | F | T |
| 382272 | * | F | F | T | * | * | T |
| 382273 | * | T | * | T | * | * | T |
| 382274 | * | T | * | T | * | * | T |
| 382275 | F | F | F | F | F | F | T |
| 382276 | * | F | F | T | * | * | T |
| 382277 | * | T | * | T | * | * | T |
| 382278 | * | T | * | T | * | * | T |
| 382279 | F | F | F | F | F | F | T |
| 382280 | * | F | F | T | * | * | T |
| 382281 | * | T | * | T | * | * | T |
| 382282 | * | T | * | T | * | * | T |
| 382283 | * | F | F | F | F | F | T |
Independent-effect pairs
All 6 conditions live in scry_analyze_core::reduce_locals — 6 br_if
c0(branch1782): GAP view gap →c1(branch1783): GAP view gap →c2(branch1784): GAP view gap →c3(branch1785): GAP view gap →c4(branch1786): GAP view gap →c5(branch1787): GAP view gap →