Decision #812 — malloc.c:4633
Status: partial
Truth table
| row | c0 br 5728 | c1 br 5729 | c2 br 5730 | outcome |
|---|---|---|---|---|
| 18669 | F | F | T | T |
| 18670 | * | F | T | T |
| 18671 | * | F | T | T |
| 18672 | * | F | T | T |
| 18673 | * | F | T | T |
| 18674 | * | F | T | T |
| 18675 | * | F | T | T |
| 18676 | * | F | T | T |
| 18677 | * | F | T | T |
| 18678 | * | F | T | T |
| 18679 | * | F | T | T |
| 18680 | * | F | T | T |
| 18681 | * | F | T | T |
| 18682 | * | F | T | T |
| 18683 | * | F | T | T |
| 18684 | * | F | T | T |
| 18685 | * | F | T | T |
| 18686 | * | F | T | T |
| 18687 | * | F | T | T |
| 18688 | * | F | T | T |
| 18689 | * | F | T | T |
| 18690 | * | F | T | T |
| 18691 | * | F | T | T |
| 18692 | * | F | T | T |
| 18693 | * | F | T | T |
| 18694 | * | F | T | T |
| 18695 | * | F | T | T |
| 18696 | * | F | T | T |
| 18697 | * | F | T | T |
| 18698 | * | F | T | T |
| 18699 | * | F | T | T |
| 18700 | * | F | T | T |
| 18701 | * | F | T | T |
| 18702 | * | F | T | T |
| 18703 | * | F | T | T |
| 18704 | * | F | T | T |
| 18705 | * | F | T | T |
| 18706 | * | F | T | T |
| 18707 | * | F | T | T |
| 18708 | * | F | T | T |
| 18709 | * | F | T | T |
| 18710 | * | F | T | T |
| 18711 | * | F | T | T |
| 18712 | * | F | T | T |
| 18713 | * | F | T | T |
| 18714 | * | F | T | T |
| 18715 | * | F | T | T |
| 18716 | * | F | T | T |
| 18717 | * | F | T | T |
| 18718 | * | F | T | T |
| 18719 | * | F | T | T |
| 18720 | * | F | T | T |
| 18721 | * | F | T | T |
| 18722 | * | F | T | T |
| 18723 | * | F | T | T |
| 18724 | * | F | T | T |
| 18725 | * | F | T | T |
| 18726 | * | F | T | T |
| 18727 | * | F | T | T |
| 18728 | * | F | T | T |
| 18729 | * | F | T | T |
| 18730 | * | F | T | T |
| 18731 | * | F | T | T |
| 18732 | * | F | T | T |
| 18733 | * | F | T | T |
| 18734 | * | F | T | T |
| 18735 | * | F | T | T |
| 18736 | * | F | T | T |
| 18737 | * | F | T | T |
| 18738 | * | F | T | T |
| 18739 | * | F | T | T |
| 18740 | * | F | T | T |
| 18741 | * | F | T | T |
| 18742 | * | F | T | T |
| 18743 | * | F | T | T |
| 18744 | * | F | T | T |
| 18745 | * | F | T | T |
| 18746 | * | F | T | T |
| 18747 | * | F | T | T |
| 18748 | * | F | T | T |
| 18749 | * | F | T | T |
| 18750 | * | F | T | T |
| 18751 | * | F | T | T |
| 18752 | * | F | T | T |
| 18753 | * | F | T | T |
| 18754 | * | F | T | T |
| 18755 | * | F | T | T |
| 18756 | * | F | T | T |
| 18757 | * | F | T | T |
| 18758 | * | F | T | T |
| 18759 | * | F | T | T |
| 18760 | * | F | T | T |
| 18761 | * | F | T | T |
| 18762 | * | F | T | T |
| 18763 | * | F | T | T |
| 18764 | * | F | T | T |
| 18765 | * | F | T | T |
| 18766 | * | F | T | T |
| 18767 | * | F | T | T |
| 18768 | * | F | T | T |
| 18769 | * | F | T | T |
| 18770 | * | F | T | T |
| 18771 | * | F | T | T |
| 18772 | * | F | T | T |
| 18773 | * | F | T | T |
| 18774 | * | F | T | T |
| 18775 | * | F | T | T |
| 18776 | * | F | T | T |
| 18777 | * | F | T | T |
| 18778 | * | F | T | T |
| 18779 | * | F | T | T |
| 18780 | * | F | T | T |
| 18781 | * | F | T | T |
| 18782 | * | F | T | T |
| 18783 | * | F | T | T |
| 18784 | * | F | T | T |
| 18785 | * | F | T | T |
| 18786 | * | F | T | T |
| 18787 | * | F | T | T |
| 18788 | * | F | T | T |
| 18789 | * | F | T | T |
| 18790 | * | F | T | T |
| 18791 | * | F | T | T |
| 18792 | * | F | T | T |
| 18793 | * | F | T | T |
| 18794 | * | F | T | T |
| 18795 | * | F | T | T |
| 18796 | * | F | F | F |
| 18797 | F | F | T | T |
| 18798 | * | F | T | T |
| 18799 | * | F | T | T |
| 18800 | * | F | T | T |
| 18801 | * | F | T | T |
| 18802 | * | F | T | T |
| 18803 | * | F | T | T |
| 18804 | * | F | T | T |
| 18805 | * | F | T | T |
| 18806 | * | F | T | T |
| 18807 | * | F | T | T |
| 18808 | * | F | T | T |
| 18809 | * | F | T | T |
| 18810 | * | F | T | T |
| 18811 | * | F | T | T |
| 18812 | * | F | T | T |
| 18813 | * | F | T | T |
| 18814 | * | F | T | T |
| 18815 | * | F | T | T |
| 18816 | * | F | T | T |
| 18817 | * | F | T | T |
| 18818 | * | F | T | T |
| 18819 | * | F | T | T |
| 18820 | * | F | T | T |
| 18821 | * | F | T | T |
| 18822 | * | F | T | T |
| 18823 | * | F | T | T |
| 18824 | * | F | T | T |
| 18825 | * | F | T | T |
| 18826 | * | F | T | T |
| 18827 | * | F | T | T |
| 18828 | * | F | T | T |
| 18829 | * | F | T | T |
| 18830 | * | F | T | T |
| 18831 | * | F | T | T |
| 18832 | * | F | T | T |
| 18833 | * | F | T | T |
| 18834 | * | F | T | T |
| 18835 | * | F | T | T |
| 18836 | * | F | T | T |
| 18837 | * | F | T | T |
| 18838 | * | F | T | T |
| 18839 | * | F | T | T |
| 18840 | * | F | T | T |
| 18841 | * | F | T | T |
| 18842 | * | F | T | T |
| 18843 | * | F | T | T |
| 18844 | * | F | T | T |
| 18845 | * | F | T | T |
| 18846 | * | F | T | T |
| 18847 | * | F | T | T |
| 18848 | * | F | T | T |
| 18849 | * | F | T | T |
| 18850 | * | F | T | T |
| 18851 | * | F | T | T |
| 18852 | * | F | T | T |
| 18853 | * | F | T | T |
| 18854 | * | F | T | T |
| 18855 | * | F | T | T |
| 18856 | * | F | T | T |
| 18857 | * | F | T | T |
| 18858 | * | F | T | T |
| 18859 | * | F | T | T |
| 18860 | * | F | T | T |
| 18861 | * | F | T | T |
| 18862 | * | F | T | T |
| 18863 | * | F | T | T |
| 18864 | * | F | T | T |
| 18865 | * | F | T | T |
| 18866 | * | F | T | T |
| 18867 | * | F | T | T |
| 18868 | * | F | T | T |
| 18869 | * | F | T | T |
| 18870 | * | F | T | T |
| 18871 | * | F | T | T |
| 18872 | * | F | T | T |
| 18873 | * | F | T | T |
| 18874 | * | F | T | T |
| 18875 | * | F | T | T |
| 18876 | * | F | T | T |
| 18877 | * | F | T | T |
| 18878 | * | F | T | T |
| 18879 | * | F | T | T |
| 18880 | * | F | T | T |
| 18881 | * | F | T | T |
| 18882 | * | F | T | T |
| 18883 | * | F | T | T |
| 18884 | * | F | T | T |
| 18885 | * | F | T | T |
| 18886 | * | F | T | T |
| 18887 | * | F | T | T |
| 18888 | * | F | T | T |
| 18889 | * | F | T | T |
| 18890 | * | F | T | T |
| 18891 | * | F | T | T |
| 18892 | * | F | T | T |
| 18893 | * | F | T | T |
| 18894 | * | F | T | T |
| 18895 | * | F | T | T |
| 18896 | * | F | T | T |
| 18897 | * | F | T | T |
| 18898 | * | F | T | T |
| 18899 | * | F | T | T |
| 18900 | * | F | T | T |
| 18901 | * | F | T | T |
| 18902 | * | F | T | T |
| 18903 | * | F | T | T |
| 18904 | * | F | T | T |
| 18905 | * | F | T | T |
| 18906 | * | F | T | T |
| 18907 | * | F | T | T |
| 18908 | * | F | T | T |
| 18909 | * | F | T | T |
| 18910 | * | F | T | T |
| 18911 | * | F | T | T |
| 18912 | * | F | T | T |
| 18913 | * | F | T | T |
| 18914 | * | F | T | T |
| 18915 | * | F | T | T |
| 18916 | * | F | T | T |
| 18917 | * | F | T | T |
| 18918 | * | F | T | T |
| 18919 | * | F | T | T |
| 18920 | * | F | T | T |
| 18921 | * | F | T | T |
| 18922 | * | F | T | T |
| 18923 | * | F | T | T |
| 18924 | * | F | F | F |
| 26384 | F | F | T | T |
| 26385 | * | F | T | T |
| 26386 | * | F | T | T |
| 26387 | * | F | T | T |
| 26388 | * | F | T | T |
| 26389 | * | F | T | T |
| 26390 | * | F | T | T |
| 26391 | * | F | T | T |
| 26392 | * | F | T | T |
| 26393 | * | F | T | T |
| 26394 | * | F | T | T |
| 26395 | * | F | T | T |
| 26396 | * | F | T | T |
| 26397 | * | F | T | T |
| 26398 | * | F | T | T |
| 26399 | * | F | T | T |
| 26400 | * | F | T | T |
| 26401 | * | F | T | T |
| 26402 | * | F | T | T |
| 26403 | * | F | T | T |
| 26404 | * | F | T | T |
| 26405 | * | F | T | T |
| 26406 | * | F | T | T |
| 26407 | * | F | T | T |
| 26408 | * | F | T | T |
| 26409 | * | F | T | T |
| 26410 | * | F | T | T |
| 26411 | * | F | T | T |
| 26412 | * | F | T | T |
| 26413 | * | F | T | T |
| 26414 | * | F | T | T |
| 26415 | * | F | T | T |
| 26416 | * | F | T | T |
| 26417 | * | F | T | T |
| 26418 | * | F | T | T |
| 26419 | * | F | T | T |
| 26420 | * | F | T | T |
| 26421 | * | F | T | T |
| 26422 | * | F | T | T |
| 26423 | * | F | T | T |
| 26424 | * | F | T | T |
| 26425 | * | F | T | T |
| 26426 | * | F | T | T |
| 26427 | * | F | T | T |
| 26428 | * | F | T | T |
| 26429 | * | F | T | T |
| 26430 | * | F | T | T |
| 26431 | * | F | T | T |
| 26432 | * | F | T | T |
| 26433 | * | F | T | T |
| 26434 | * | F | T | T |
| 26435 | * | F | T | T |
| 26436 | * | F | T | T |
| 26437 | * | F | T | T |
| 26438 | * | F | T | T |
| 26439 | * | F | T | T |
| 26440 | * | F | T | T |
| 26441 | * | F | T | T |
| 26442 | * | F | T | T |
| 26443 | * | F | T | T |
| 26444 | * | F | T | T |
| 26445 | * | F | T | T |
| 26446 | * | F | T | T |
| 26447 | * | F | T | T |
| 26448 | * | F | T | T |
| 26449 | * | F | T | T |
| 26450 | * | F | T | T |
| 26451 | * | F | T | T |
| 26452 | * | F | T | T |
| 26453 | * | F | T | T |
| 26454 | * | F | T | T |
| 26455 | * | F | T | T |
| 26456 | * | F | T | T |
| 26457 | * | F | T | T |
| 26458 | * | F | T | T |
| 26459 | * | F | T | T |
| 26460 | * | F | T | T |
| 26461 | * | F | T | T |
| 26462 | * | F | T | T |
| 26463 | * | F | T | T |
| 26464 | * | F | T | T |
| 26465 | * | F | T | T |
| 26466 | * | F | T | T |
| 26467 | * | F | T | T |
| 26468 | * | F | T | T |
| 26469 | * | F | T | T |
| 26470 | * | F | T | T |
| 26471 | * | F | T | T |
| 26472 | * | F | T | T |
| 26473 | * | F | T | T |
| 26474 | * | F | T | T |
| 26475 | * | F | T | T |
| 26476 | * | F | T | T |
| 26477 | * | F | T | T |
| 26478 | * | F | T | T |
| 26479 | * | F | T | T |
| 26480 | * | F | T | T |
| 26481 | * | F | T | T |
| 26482 | * | F | T | T |
| 26483 | * | F | T | T |
| 26484 | * | F | T | T |
| 26485 | * | F | T | T |
| 26486 | * | F | T | T |
| 26487 | * | F | T | T |
| 26488 | * | F | T | T |
| 26489 | * | F | T | T |
| 26490 | * | F | T | T |
| 26491 | * | F | T | T |
| 26492 | * | F | T | T |
| 26493 | * | F | T | T |
| 26494 | * | F | T | T |
| 26495 | * | F | T | T |
| 26496 | * | F | T | T |
| 26497 | * | F | T | T |
| 26498 | * | F | T | T |
| 26499 | * | F | T | T |
| 26500 | * | F | T | T |
| 26501 | * | F | T | T |
| 26502 | * | F | T | T |
| 26503 | * | F | T | T |
| 26504 | * | F | T | T |
| 26505 | * | F | T | T |
| 26506 | * | F | T | T |
| 26507 | * | F | T | T |
| 26508 | * | F | T | T |
| 26509 | * | F | T | T |
| 26510 | * | F | T | T |
| 26511 | * | F | F | F |
| 26512 | F | F | T | T |
| 26513 | * | F | T | T |
| 26514 | * | F | T | T |
| 26515 | * | F | T | T |
| 26516 | * | F | T | T |
| 26517 | * | F | T | T |
| 26518 | * | F | T | T |
| 26519 | * | F | T | T |
| 26520 | * | F | T | T |
| 26521 | * | F | T | T |
| 26522 | * | F | T | T |
| 26523 | * | F | T | T |
| 26524 | * | F | T | T |
| 26525 | * | F | T | T |
| 26526 | * | F | T | T |
| 26527 | * | F | T | T |
| 26528 | * | F | T | T |
| 26529 | * | F | T | T |
| 26530 | * | F | T | T |
| 26531 | * | F | T | T |
| 26532 | * | F | T | T |
| 26533 | * | F | T | T |
| 26534 | * | F | T | T |
| 26535 | * | F | T | T |
| 26536 | * | F | T | T |
| 26537 | * | F | T | T |
| 26538 | * | F | T | T |
| 26539 | * | F | T | T |
| 26540 | * | F | T | T |
| 26541 | * | F | T | T |
| 26542 | * | F | T | T |
| 26543 | * | F | T | T |
| 26544 | * | F | T | T |
| 26545 | * | F | T | T |
| 26546 | * | F | T | T |
| 26547 | * | F | T | T |
| 26548 | * | F | T | T |
| 26549 | * | F | T | T |
| 26550 | * | F | T | T |
| 26551 | * | F | T | T |
| 26552 | * | F | T | T |
| 26553 | * | F | T | T |
| 26554 | * | F | T | T |
| 26555 | * | F | T | T |
| 26556 | * | F | T | T |
| 26557 | * | F | T | T |
| 26558 | * | F | T | T |
| 26559 | * | F | T | T |
| 26560 | * | F | T | T |
| 26561 | * | F | T | T |
| 26562 | * | F | T | T |
| 26563 | * | F | T | T |
| 26564 | * | F | T | T |
| 26565 | * | F | T | T |
| 26566 | * | F | T | T |
| 26567 | * | F | T | T |
| 26568 | * | F | T | T |
| 26569 | * | F | T | T |
| 26570 | * | F | T | T |
| 26571 | * | F | T | T |
| 26572 | * | F | T | T |
| 26573 | * | F | T | T |
| 26574 | * | F | T | T |
| 26575 | * | F | T | T |
| 26576 | * | F | T | T |
| 26577 | * | F | T | T |
| 26578 | * | F | T | T |
| 26579 | * | F | T | T |
| 26580 | * | F | T | T |
| 26581 | * | F | T | T |
| 26582 | * | F | T | T |
| 26583 | * | F | T | T |
| 26584 | * | F | T | T |
| 26585 | * | F | T | T |
| 26586 | * | F | T | T |
| 26587 | * | F | T | T |
| 26588 | * | F | T | T |
| 26589 | * | F | T | T |
| 26590 | * | F | T | T |
| 26591 | * | F | T | T |
| 26592 | * | F | T | T |
| 26593 | * | F | T | T |
| 26594 | * | F | T | T |
| 26595 | * | F | T | T |
| 26596 | * | F | T | T |
| 26597 | * | F | T | T |
| 26598 | * | F | T | T |
| 26599 | * | F | T | T |
| 26600 | * | F | T | T |
| 26601 | * | F | T | T |
| 26602 | * | F | T | T |
| 26603 | * | F | T | T |
| 26604 | * | F | T | T |
| 26605 | * | F | T | T |
| 26606 | * | F | T | T |
| 26607 | * | F | T | T |
| 26608 | * | F | T | T |
| 26609 | * | F | T | T |
| 26610 | * | F | T | T |
| 26611 | * | F | T | T |
| 26612 | * | F | T | T |
| 26613 | * | F | T | T |
| 26614 | * | F | T | T |
| 26615 | * | F | T | T |
| 26616 | * | F | T | T |
| 26617 | * | F | T | T |
| 26618 | * | F | T | T |
| 26619 | * | F | T | T |
| 26620 | * | F | T | T |
| 26621 | * | F | T | T |
| 26622 | * | F | T | T |
| 26623 | * | F | T | T |
| 26624 | * | F | T | T |
| 26625 | * | F | T | T |
| 26626 | * | F | T | T |
| 26627 | * | F | T | T |
| 26628 | * | F | T | T |
| 26629 | * | F | T | T |
| 26630 | * | F | T | T |
| 26631 | * | F | T | T |
| 26632 | * | F | T | T |
| 26633 | * | F | T | T |
| 26634 | * | F | T | T |
| 26635 | * | F | T | T |
| 26636 | * | F | T | T |
| 26637 | * | F | T | T |
| 26638 | * | F | T | T |
| 26639 | * | F | F | F |
| 32246 | F | F | T | T |
| 32247 | * | F | T | T |
| 32248 | * | F | T | T |
| 32249 | * | F | T | T |
| 32250 | * | F | T | T |
| 32251 | * | F | T | T |
| 32252 | * | F | T | T |
| 32253 | * | F | T | T |
| 32254 | * | F | T | T |
| 32255 | * | F | T | T |
| 32256 | * | F | T | T |
| 32257 | * | F | T | T |
| 32258 | * | F | T | T |
| 32259 | * | F | T | T |
| 32260 | * | F | T | T |
| 32261 | * | F | T | T |
| 32262 | * | F | T | T |
| 32263 | * | F | T | T |
| 32264 | * | F | T | T |
| 32265 | * | F | T | T |
| 32266 | * | F | T | T |
| 32267 | * | F | T | T |
| 32268 | * | F | T | T |
| 32269 | * | F | T | T |
| 32270 | * | F | T | T |
| 32271 | * | F | T | T |
| 32272 | * | F | T | T |
| 32273 | * | F | T | T |
| 32274 | * | F | T | T |
| 32275 | * | F | T | T |
| 32276 | * | F | T | T |
| 32277 | * | F | F | F |
| 32278 | F | F | T | T |
| 32279 | * | F | T | T |
| 32280 | * | F | T | T |
| 32281 | * | F | T | T |
| 32282 | * | F | T | T |
| 32283 | * | F | T | T |
| 32284 | * | F | T | T |
| 32285 | * | F | T | T |
| 32286 | * | F | T | T |
| 32287 | * | F | T | T |
| 32288 | * | F | T | T |
| 32289 | * | F | T | T |
| 32290 | * | F | T | T |
| 32291 | * | F | T | T |
| 32292 | * | F | T | T |
| 32293 | * | F | T | T |
| 32294 | * | F | T | T |
| 32295 | * | F | T | T |
| 32296 | * | F | T | T |
| 32297 | * | F | T | T |
| 32298 | * | F | T | T |
| 32299 | * | F | T | T |
| 32300 | * | F | T | T |
| 32301 | * | F | T | T |
| 32302 | * | F | T | T |
| 32303 | * | F | T | T |
| 32304 | * | F | T | T |
| 32305 | * | F | T | T |
| 32306 | * | F | T | T |
| 32307 | * | F | T | T |
| 32308 | * | F | T | T |
| 32309 | * | F | F | F |
| 38184 | F | F | T | T |
| 38185 | * | F | T | T |
| 38186 | * | F | T | T |
| 38187 | * | F | T | T |
| 38188 | * | F | T | T |
| 38189 | * | F | T | T |
| 38190 | * | F | T | T |
| 38191 | * | F | T | T |
| 38192 | * | F | T | T |
| 38193 | * | F | T | T |
| 38194 | * | F | T | T |
| 38195 | * | F | T | T |
| 38196 | * | F | T | T |
| 38197 | * | F | T | T |
| 38198 | * | F | T | T |
| 38199 | * | F | T | T |
| 38200 | * | F | T | T |
| 38201 | * | F | T | T |
| 38202 | * | F | T | T |
| 38203 | * | F | T | T |
| 38204 | * | F | T | T |
| 38205 | * | F | T | T |
| 38206 | * | F | T | T |
| 38207 | * | F | T | T |
| 38208 | * | F | T | T |
| 38209 | * | F | T | T |
| 38210 | * | F | T | T |
| 38211 | * | F | T | T |
| 38212 | * | F | T | T |
| 38213 | * | F | T | T |
| 38214 | * | F | T | T |
| 38215 | * | F | F | F |
| 38216 | F | F | T | T |
| 38217 | * | F | T | T |
| 38218 | * | F | T | T |
| 38219 | * | F | T | T |
| 38220 | * | F | T | T |
| 38221 | * | F | T | T |
| 38222 | * | F | T | T |
| 38223 | * | F | T | T |
| 38224 | * | F | T | T |
| 38225 | * | F | T | T |
| 38226 | * | F | T | T |
| 38227 | * | F | T | T |
| 38228 | * | F | T | T |
| 38229 | * | F | T | T |
| 38230 | * | F | T | T |
| 38231 | * | F | T | T |
| 38232 | * | F | T | T |
| 38233 | * | F | T | T |
| 38234 | * | F | T | T |
| 38235 | * | F | T | T |
| 38236 | * | F | T | T |
| 38237 | * | F | T | T |
| 38238 | * | F | T | T |
| 38239 | * | F | T | T |
| 38240 | * | F | T | T |
| 38241 | * | F | T | T |
| 38242 | * | F | T | T |
| 38243 | * | F | T | T |
| 38244 | * | F | T | T |
| 38245 | * | F | T | T |
| 38246 | * | F | T | T |
| 38247 | * | F | F | F |
| 41774 | F | F | T | T |
| 41775 | * | F | T | T |
| 41776 | * | F | T | T |
| 41777 | * | F | F | F |
| 44825 | F | F | T | T |
| 44826 | * | F | T | T |
| 44827 | * | F | T | T |
| 44828 | * | F | F | F |
| 48265 | F | F | T | T |
| 48266 | * | F | T | T |
| 48267 | * | F | T | T |
| 48268 | * | F | F | F |
| 51314 | F | F | T | T |
| 51315 | * | F | T | T |
| 51316 | * | F | T | T |
| 51317 | * | F | F | F |
| 60146 | F | F | T | T |
| 60147 | * | F | T | T |
| 60148 | * | F | T | T |
| 60149 | * | F | T | T |
| 60150 | * | F | T | T |
| 60151 | * | F | T | T |
| 60152 | * | F | T | T |
| 60153 | * | F | T | T |
| 60154 | * | F | T | T |
| 60155 | * | F | T | T |
| 60156 | * | F | T | T |
| 60157 | * | F | T | T |
| 60158 | * | F | T | T |
| 60159 | * | F | T | T |
| 60160 | * | F | T | T |
| 60161 | * | F | T | T |
| 60162 | * | F | T | T |
| 60163 | * | F | T | T |
| 60164 | * | F | T | T |
| 60165 | * | F | T | T |
| 60166 | * | F | T | T |
| 60167 | * | F | T | T |
| 60168 | * | F | T | T |
| 60169 | * | F | T | T |
| 60170 | * | F | T | T |
| 60171 | * | F | T | T |
| 60172 | * | F | T | T |
| 60173 | * | F | T | T |
| 60174 | * | F | T | T |
| 60175 | * | F | T | T |
| 60176 | * | F | T | T |
| 60177 | * | F | T | T |
| 60178 | * | F | T | T |
| 60179 | * | F | T | T |
| 60180 | * | F | T | T |
| 60181 | * | F | T | T |
| 60182 | * | F | T | T |
| 60183 | * | F | T | T |
| 60184 | * | F | T | T |
| 60185 | * | F | T | T |
| 60186 | * | F | T | T |
| 60187 | * | F | T | T |
| 60188 | * | F | T | T |
| 60189 | * | F | T | T |
| 60190 | * | F | T | T |
| 60191 | * | F | T | T |
| 60192 | * | F | T | T |
| 60193 | * | F | T | T |
| 60194 | * | F | T | T |
| 60195 | * | F | T | T |
| 60196 | * | F | T | T |
| 60197 | * | F | T | T |
| 60198 | * | F | T | T |
| 60199 | * | F | T | T |
| 60200 | * | F | T | T |
| 60201 | * | F | T | T |
| 60202 | * | F | T | T |
| 60203 | * | F | T | T |
| 60204 | * | F | T | T |
| 60205 | * | F | T | T |
| 60206 | * | F | T | T |
| 60207 | * | F | T | T |
| 60208 | * | F | T | T |
| 60209 | * | F | T | T |
| 60210 | * | F | T | T |
| 60211 | * | F | T | T |
| 60212 | * | F | T | T |
| 60213 | * | F | T | T |
| 60214 | * | F | T | T |
| 60215 | * | F | T | T |
| 60216 | * | F | T | T |
| 60217 | * | F | T | T |
| 60218 | * | F | T | T |
| 60219 | * | F | T | T |
| 60220 | * | F | T | T |
| 60221 | * | F | T | T |
| 60222 | * | F | T | T |
| 60223 | * | F | T | T |
| 60224 | * | F | T | T |
| 60225 | * | F | T | T |
| 60226 | * | F | T | T |
| 60227 | * | F | T | T |
| 60228 | * | F | T | T |
| 60229 | * | F | T | T |
| 60230 | * | F | T | T |
| 60231 | * | F | T | T |
| 60232 | * | F | T | T |
| 60233 | * | F | T | T |
| 60234 | * | F | T | T |
| 60235 | * | F | T | T |
| 60236 | * | F | T | T |
| 60237 | * | F | T | T |
| 60238 | * | F | T | T |
| 60239 | * | F | T | T |
| 60240 | * | F | T | T |
| 60241 | * | F | T | T |
| 60242 | * | F | T | T |
| 60243 | * | F | T | T |
| 60244 | * | F | T | T |
| 60245 | * | F | T | T |
| 60246 | * | F | T | T |
| 60247 | * | F | T | T |
| 60248 | * | F | T | T |
| 60249 | * | F | T | T |
| 60250 | * | F | T | T |
| 60251 | * | F | T | T |
| 60252 | * | F | T | T |
| 60253 | * | F | T | T |
| 60254 | * | F | T | T |
| 60255 | * | F | T | T |
| 60256 | * | F | T | T |
| 60257 | * | F | T | T |
| 60258 | * | F | T | T |
| 60259 | * | F | T | T |
| 60260 | * | F | T | T |
| 60261 | * | F | T | T |
| 60262 | * | F | T | T |
| 60263 | * | F | T | T |
| 60264 | * | F | T | T |
| 60265 | * | F | T | T |
| 60266 | * | F | T | T |
| 60267 | * | F | T | T |
| 60268 | * | F | T | T |
| 60269 | * | F | T | T |
| 60270 | * | F | T | T |
| 60271 | * | F | T | T |
| 60272 | * | F | T | T |
| 60273 | * | F | F | F |
| 60274 | F | F | T | T |
| 60275 | * | F | T | T |
| 60276 | * | F | T | T |
| 60277 | * | F | T | T |
| 60278 | * | F | T | T |
| 60279 | * | F | T | T |
| 60280 | * | F | T | T |
| 60281 | * | F | T | T |
| 60282 | * | F | T | T |
| 60283 | * | F | T | T |
| 60284 | * | F | T | T |
| 60285 | * | F | T | T |
| 60286 | * | F | T | T |
| 60287 | * | F | T | T |
| 60288 | * | F | T | T |
| 60289 | * | F | T | T |
| 60290 | * | F | T | T |
| 60291 | * | F | T | T |
| 60292 | * | F | T | T |
| 60293 | * | F | T | T |
| 60294 | * | F | T | T |
| 60295 | * | F | T | T |
| 60296 | * | F | T | T |
| 60297 | * | F | T | T |
| 60298 | * | F | T | T |
| 60299 | * | F | T | T |
| 60300 | * | F | T | T |
| 60301 | * | F | T | T |
| 60302 | * | F | T | T |
| 60303 | * | F | T | T |
| 60304 | * | F | T | T |
| 60305 | * | F | T | T |
| 60306 | * | F | T | T |
| 60307 | * | F | T | T |
| 60308 | * | F | T | T |
| 60309 | * | F | T | T |
| 60310 | * | F | T | T |
| 60311 | * | F | T | T |
| 60312 | * | F | T | T |
| 60313 | * | F | T | T |
| 60314 | * | F | T | T |
| 60315 | * | F | T | T |
| 60316 | * | F | T | T |
| 60317 | * | F | T | T |
| 60318 | * | F | T | T |
| 60319 | * | F | T | T |
| 60320 | * | F | T | T |
| 60321 | * | F | T | T |
| 60322 | * | F | T | T |
| 60323 | * | F | T | T |
| 60324 | * | F | T | T |
| 60325 | * | F | T | T |
| 60326 | * | F | T | T |
| 60327 | * | F | T | T |
| 60328 | * | F | T | T |
| 60329 | * | F | T | T |
| 60330 | * | F | T | T |
| 60331 | * | F | T | T |
| 60332 | * | F | T | T |
| 60333 | * | F | T | T |
| 60334 | * | F | T | T |
| 60335 | * | F | T | T |
| 60336 | * | F | T | T |
| 60337 | * | F | T | T |
| 60338 | * | F | T | T |
| 60339 | * | F | T | T |
| 60340 | * | F | T | T |
| 60341 | * | F | T | T |
| 60342 | * | F | T | T |
| 60343 | * | F | T | T |
| 60344 | * | F | T | T |
| 60345 | * | F | T | T |
| 60346 | * | F | T | T |
| 60347 | * | F | T | T |
| 60348 | * | F | T | T |
| 60349 | * | F | T | T |
| 60350 | * | F | T | T |
| 60351 | * | F | T | T |
| 60352 | * | F | T | T |
| 60353 | * | F | T | T |
| 60354 | * | F | T | T |
| 60355 | * | F | T | T |
| 60356 | * | F | T | T |
| 60357 | * | F | T | T |
| 60358 | * | F | T | T |
| 60359 | * | F | T | T |
| 60360 | * | F | T | T |
| 60361 | * | F | T | T |
| 60362 | * | F | T | T |
| 60363 | * | F | T | T |
| 60364 | * | F | T | T |
| 60365 | * | F | T | T |
| 60366 | * | F | T | T |
| 60367 | * | F | T | T |
| 60368 | * | F | T | T |
| 60369 | * | F | T | T |
| 60370 | * | F | T | T |
| 60371 | * | F | T | T |
| 60372 | * | F | T | T |
| 60373 | * | F | T | T |
| 60374 | * | F | T | T |
| 60375 | * | F | T | T |
| 60376 | * | F | T | T |
| 60377 | * | F | T | T |
| 60378 | * | F | T | T |
| 60379 | * | F | T | T |
| 60380 | * | F | T | T |
| 60381 | * | F | T | T |
| 60382 | * | F | T | T |
| 60383 | * | F | T | T |
| 60384 | * | F | T | T |
| 60385 | * | F | T | T |
| 60386 | * | F | T | T |
| 60387 | * | F | T | T |
| 60388 | * | F | T | T |
| 60389 | * | F | T | T |
| 60390 | * | F | T | T |
| 60391 | * | F | T | T |
| 60392 | * | F | T | T |
| 60393 | * | F | T | T |
| 60394 | * | F | T | T |
| 60395 | * | F | T | T |
| 60396 | * | F | T | T |
| 60397 | * | F | T | T |
| 60398 | * | F | T | T |
| 60399 | * | F | T | T |
| 60400 | * | F | T | T |
| 60401 | * | F | F | F |
| 69918 | F | F | T | T |
| 69919 | * | F | T | T |
| 69920 | * | F | T | T |
| 69921 | * | F | T | T |
| 69922 | * | F | T | T |
| 69923 | * | F | T | T |
| 69924 | * | F | T | T |
| 69925 | * | F | T | T |
| 69926 | * | F | T | T |
| 69927 | * | F | T | T |
| 69928 | * | F | T | T |
| 69929 | * | F | T | T |
| 69930 | * | F | T | T |
| 69931 | * | F | T | T |
| 69932 | * | F | T | T |
| 69933 | * | F | T | T |
| 69934 | * | F | T | T |
| 69935 | * | F | T | T |
| 69936 | * | F | T | T |
| 69937 | * | F | T | T |
| 69938 | * | F | T | T |
| 69939 | * | F | T | T |
| 69940 | * | F | T | T |
| 69941 | * | F | T | T |
| 69942 | * | F | T | T |
| 69943 | * | F | T | T |
| 69944 | * | F | T | T |
| 69945 | * | F | T | T |
| 69946 | * | F | T | T |
| 69947 | * | F | T | T |
| 69948 | * | F | T | T |
| 69949 | * | F | T | T |
| 69950 | * | F | T | T |
| 69951 | * | F | T | T |
| 69952 | * | F | T | T |
| 69953 | * | F | T | T |
| 69954 | * | F | T | T |
| 69955 | * | F | T | T |
| 69956 | * | F | T | T |
| 69957 | * | F | T | T |
| 69958 | * | F | T | T |
| 69959 | * | F | T | T |
| 69960 | * | F | T | T |
| 69961 | * | F | T | T |
| 69962 | * | F | T | T |
| 69963 | * | F | T | T |
| 69964 | * | F | T | T |
| 69965 | * | F | T | T |
| 69966 | * | F | T | T |
| 69967 | * | F | T | T |
| 69968 | * | F | T | T |
| 69969 | * | F | T | T |
| 69970 | * | F | T | T |
| 69971 | * | F | T | T |
| 69972 | * | F | T | T |
| 69973 | * | F | T | T |
| 69974 | * | F | T | T |
| 69975 | * | F | T | T |
| 69976 | * | F | T | T |
| 69977 | * | F | T | T |
| 69978 | * | F | T | T |
| 69979 | * | F | T | T |
| 69980 | * | F | T | T |
| 69981 | * | F | T | T |
| 69982 | * | F | T | T |
| 69983 | * | F | T | T |
| 69984 | * | F | T | T |
| 69985 | * | F | T | T |
| 69986 | * | F | T | T |
| 69987 | * | F | T | T |
| 69988 | * | F | T | T |
| 69989 | * | F | T | T |
| 69990 | * | F | T | T |
| 69991 | * | F | T | T |
| 69992 | * | F | T | T |
| 69993 | * | F | T | T |
| 69994 | * | F | T | T |
| 69995 | * | F | T | T |
| 69996 | * | F | T | T |
| 69997 | * | F | T | T |
| 69998 | * | F | T | T |
| 69999 | * | F | T | T |
| 70000 | * | F | T | T |
| 70001 | * | F | T | T |
| 70002 | * | F | T | T |
| 70003 | * | F | T | T |
| 70004 | * | F | T | T |
| 70005 | * | F | T | T |
| 70006 | * | F | T | T |
| 70007 | * | F | T | T |
| 70008 | * | F | T | T |
| 70009 | * | F | T | T |
| 70010 | * | F | T | T |
| 70011 | * | F | T | T |
| 70012 | * | F | T | T |
| 70013 | * | F | T | T |
| 70014 | * | F | T | T |
| 70015 | * | F | T | T |
| 70016 | * | F | T | T |
| 70017 | * | F | T | T |
| 70018 | * | F | T | T |
| 70019 | * | F | T | T |
| 70020 | * | F | T | T |
| 70021 | * | F | T | T |
| 70022 | * | F | T | T |
| 70023 | * | F | T | T |
| 70024 | * | F | T | T |
| 70025 | * | F | T | T |
| 70026 | * | F | T | T |
| 70027 | * | F | T | T |
| 70028 | * | F | T | T |
| 70029 | * | F | T | T |
| 70030 | * | F | T | T |
| 70031 | * | F | T | T |
| 70032 | * | F | T | T |
| 70033 | * | F | T | T |
| 70034 | * | F | T | T |
| 70035 | * | F | T | T |
| 70036 | * | F | T | T |
| 70037 | * | F | T | T |
| 70038 | * | F | T | T |
| 70039 | * | F | T | T |
| 70040 | * | F | T | T |
| 70041 | * | F | T | T |
| 70042 | * | F | T | T |
| 70043 | * | F | T | T |
| 70044 | * | F | T | T |
| 70045 | * | F | F | F |
| 70046 | F | F | T | T |
| 70047 | * | F | T | T |
| 70048 | * | F | T | T |
| 70049 | * | F | T | T |
| 70050 | * | F | T | T |
| 70051 | * | F | T | T |
| 70052 | * | F | T | T |
| 70053 | * | F | T | T |
| 70054 | * | F | T | T |
| 70055 | * | F | T | T |
| 70056 | * | F | T | T |
| 70057 | * | F | T | T |
| 70058 | * | F | T | T |
| 70059 | * | F | T | T |
| 70060 | * | F | T | T |
| 70061 | * | F | T | T |
| 70062 | * | F | T | T |
| 70063 | * | F | T | T |
| 70064 | * | F | T | T |
| 70065 | * | F | T | T |
| 70066 | * | F | T | T |
| 70067 | * | F | T | T |
| 70068 | * | F | T | T |
| 70069 | * | F | T | T |
| 70070 | * | F | T | T |
| 70071 | * | F | T | T |
| 70072 | * | F | T | T |
| 70073 | * | F | T | T |
| 70074 | * | F | T | T |
| 70075 | * | F | T | T |
| 70076 | * | F | T | T |
| 70077 | * | F | T | T |
| 70078 | * | F | T | T |
| 70079 | * | F | T | T |
| 70080 | * | F | T | T |
| 70081 | * | F | T | T |
| 70082 | * | F | T | T |
| 70083 | * | F | T | T |
| 70084 | * | F | T | T |
| 70085 | * | F | T | T |
| 70086 | * | F | T | T |
| 70087 | * | F | T | T |
| 70088 | * | F | T | T |
| 70089 | * | F | T | T |
| 70090 | * | F | T | T |
| 70091 | * | F | T | T |
| 70092 | * | F | T | T |
| 70093 | * | F | T | T |
| 70094 | * | F | T | T |
| 70095 | * | F | T | T |
| 70096 | * | F | T | T |
| 70097 | * | F | T | T |
| 70098 | * | F | T | T |
| 70099 | * | F | T | T |
| 70100 | * | F | T | T |
| 70101 | * | F | T | T |
| 70102 | * | F | T | T |
| 70103 | * | F | T | T |
| 70104 | * | F | T | T |
| 70105 | * | F | T | T |
| 70106 | * | F | T | T |
| 70107 | * | F | T | T |
| 70108 | * | F | T | T |
| 70109 | * | F | T | T |
| 70110 | * | F | T | T |
| 70111 | * | F | T | T |
| 70112 | * | F | T | T |
| 70113 | * | F | T | T |
| 70114 | * | F | T | T |
| 70115 | * | F | T | T |
| 70116 | * | F | T | T |
| 70117 | * | F | T | T |
| 70118 | * | F | T | T |
| 70119 | * | F | T | T |
| 70120 | * | F | T | T |
| 70121 | * | F | T | T |
| 70122 | * | F | T | T |
| 70123 | * | F | T | T |
| 70124 | * | F | T | T |
| 70125 | * | F | T | T |
| 70126 | * | F | T | T |
| 70127 | * | F | T | T |
| 70128 | * | F | T | T |
| 70129 | * | F | T | T |
| 70130 | * | F | T | T |
| 70131 | * | F | T | T |
| 70132 | * | F | T | T |
| 70133 | * | F | T | T |
| 70134 | * | F | T | T |
| 70135 | * | F | T | T |
| 70136 | * | F | T | T |
| 70137 | * | F | T | T |
| 70138 | * | F | T | T |
| 70139 | * | F | T | T |
| 70140 | * | F | T | T |
| 70141 | * | F | T | T |
| 70142 | * | F | T | T |
| 70143 | * | F | T | T |
| 70144 | * | F | T | T |
| 70145 | * | F | T | T |
| 70146 | * | F | T | T |
| 70147 | * | F | T | T |
| 70148 | * | F | T | T |
| 70149 | * | F | T | T |
| 70150 | * | F | T | T |
| 70151 | * | F | T | T |
| 70152 | * | F | T | T |
| 70153 | * | F | T | T |
| 70154 | * | F | T | T |
| 70155 | * | F | T | T |
| 70156 | * | F | T | T |
| 70157 | * | F | T | T |
| 70158 | * | F | T | T |
| 70159 | * | F | T | T |
| 70160 | * | F | T | T |
| 70161 | * | F | T | T |
| 70162 | * | F | T | T |
| 70163 | * | F | T | T |
| 70164 | * | F | T | T |
| 70165 | * | F | T | T |
| 70166 | * | F | T | T |
| 70167 | * | F | T | T |
| 70168 | * | F | T | T |
| 70169 | * | F | T | T |
| 70170 | * | F | T | T |
| 70171 | * | F | T | T |
| 70172 | * | F | T | T |
| 70173 | * | F | F | F |
| 80011 | F | F | T | T |
| 80012 | * | F | T | T |
| 80013 | * | F | T | T |
| 80014 | * | F | F | F |
| 84835 | F | F | T | T |
| 84836 | * | F | T | T |
| 84837 | * | F | T | T |
| 84838 | * | F | F | F |
| 86824 | F | F | T | T |
| 86825 | * | F | T | T |
| 86826 | * | F | T | T |
| 86827 | * | F | F | F |
| 88162 | F | F | T | T |
| 88163 | * | F | T | T |
| 88164 | * | F | T | T |
| 88165 | * | F | F | F |
| 90102 | F | F | T | T |
| 90103 | * | F | T | T |
| 90104 | * | F | T | T |
| 90105 | * | F | F | F |
| 91592 | F | F | T | T |
| 91593 | * | F | T | T |
| 91594 | * | F | T | T |
| 91595 | * | F | F | F |
| 107959 | F | F | T | T |
| 107960 | * | F | T | T |
| 107961 | * | F | T | T |
| 107962 | * | F | T | T |
| 107963 | * | F | T | T |
| 107964 | * | F | T | T |
| 107965 | * | F | T | T |
| 107966 | * | F | T | T |
| 107967 | * | F | T | T |
| 107968 | * | F | T | T |
| 107969 | * | F | T | T |
| 107970 | * | F | T | T |
| 107971 | * | F | T | T |
| 107972 | * | F | T | T |
| 107973 | * | F | T | T |
| 107974 | * | F | T | T |
| 107975 | * | F | T | T |
| 107976 | * | F | T | T |
| 107977 | * | F | T | T |
| 107978 | * | F | T | T |
| 107979 | * | F | T | T |
| 107980 | * | F | T | T |
| 107981 | * | F | T | T |
| 107982 | * | F | T | T |
| 107983 | * | F | T | T |
| 107984 | * | F | T | T |
| 107985 | * | F | T | T |
| 107986 | * | F | T | T |
| 107987 | * | F | T | T |
| 107988 | * | F | T | T |
| 107989 | * | F | T | T |
| 107990 | * | F | T | T |
| 107991 | F | T | * | T |
| 107992 | * | F | T | T |
| 107993 | * | F | T | T |
| 107994 | * | F | T | T |
| 107995 | * | F | T | T |
| 107996 | * | F | T | T |
| 107997 | * | F | T | T |
| 107998 | * | F | T | T |
| 107999 | * | F | T | T |
| 108000 | * | F | T | T |
| 108001 | * | F | T | T |
| 108002 | * | F | T | T |
| 108003 | * | F | T | T |
| 108004 | * | F | T | T |
| 108005 | * | F | T | T |
| 108006 | * | F | T | T |
| 108007 | * | F | T | T |
| 108008 | * | F | T | T |
| 108009 | * | F | T | T |
| 108010 | * | F | T | T |
| 108011 | * | F | T | T |
| 108012 | * | F | T | T |
| 108013 | * | F | T | T |
| 108014 | * | F | T | T |
| 108015 | * | F | T | T |
| 108016 | * | F | T | T |
| 108017 | * | F | T | T |
| 108018 | * | F | T | T |
| 108019 | * | F | T | T |
| 108020 | * | F | T | T |
| 108021 | * | F | T | T |
| 108022 | * | F | T | T |
| 108023 | * | F | T | T |
| 108024 | * | F | T | T |
| 108025 | * | F | T | T |
| 108026 | * | F | T | T |
| 108027 | * | F | T | T |
| 108028 | * | F | T | T |
| 108029 | * | F | T | T |
| 108030 | * | F | T | T |
| 108031 | * | F | T | T |
| 108032 | * | F | T | T |
| 108033 | * | F | T | T |
| 108034 | * | F | T | T |
| 108035 | * | F | T | T |
| 108036 | * | F | T | T |
| 108037 | * | F | T | T |
| 108038 | * | F | T | T |
| 108039 | * | F | T | T |
| 108040 | * | F | T | T |
| 108041 | * | F | T | T |
| 108042 | * | F | T | T |
| 108043 | * | F | T | T |
| 108044 | * | F | T | T |
| 108045 | * | F | T | T |
| 108046 | * | F | T | T |
| 108047 | * | F | T | T |
| 108048 | * | F | T | T |
| 108049 | * | F | T | T |
| 108050 | * | F | T | T |
| 108051 | * | F | T | T |
| 108052 | * | F | T | T |
| 108053 | * | F | T | T |
| 108054 | * | F | T | T |
| 108055 | * | F | T | T |
| 108056 | * | F | T | T |
| 108057 | * | F | T | T |
| 108058 | * | F | T | T |
| 108059 | * | F | T | T |
| 108060 | * | F | T | T |
| 108061 | * | F | T | T |
| 108062 | * | F | T | T |
| 108063 | * | F | T | T |
| 108064 | * | F | T | T |
| 108065 | * | F | T | T |
| 108066 | * | F | T | T |
| 108067 | * | F | T | T |
| 108068 | * | F | T | T |
| 108069 | * | F | T | T |
| 108070 | * | F | T | T |
| 108071 | * | F | T | T |
| 108072 | * | F | T | T |
| 108073 | * | F | T | T |
| 108074 | * | F | T | T |
| 108075 | * | F | T | T |
| 108076 | * | F | T | T |
| 108077 | * | F | T | T |
| 108078 | * | F | T | T |
| 108079 | * | F | T | T |
| 108080 | * | F | T | T |
| 108081 | * | F | T | T |
| 108082 | * | F | T | T |
| 108083 | * | F | T | T |
| 108084 | * | F | T | T |
| 108085 | * | F | T | T |
| 108086 | * | F | T | T |
| 108087 | * | F | T | T |
| 108088 | * | F | T | T |
| 108089 | * | F | T | T |
| 108090 | * | F | T | T |
| 108091 | * | F | T | T |
| 108092 | * | F | T | T |
| 108093 | * | F | T | T |
| 108094 | * | F | T | T |
| 108095 | * | F | T | T |
| 108096 | * | F | T | T |
| 108097 | * | F | T | T |
| 108098 | * | F | T | T |
| 108099 | * | F | T | T |
| 108100 | * | F | T | T |
| 108101 | * | F | T | T |
| 108102 | * | F | T | T |
| 108103 | * | F | T | T |
| 108104 | * | F | T | T |
| 108105 | * | F | T | T |
| 108106 | * | F | T | T |
| 108107 | * | F | T | T |
| 108108 | * | F | T | T |
| 108109 | * | F | T | T |
| 108110 | * | F | T | T |
| 108111 | * | F | T | T |
| 108112 | * | F | T | T |
| 108113 | * | F | T | T |
| 108114 | * | F | T | T |
| 108115 | * | F | T | T |
| 108116 | * | F | T | T |
| 108117 | * | F | T | T |
| 108118 | * | F | T | T |
| 108119 | * | F | F | F |
| 108120 | F | F | T | T |
| 108121 | * | F | T | T |
| 108122 | * | F | T | T |
| 108123 | * | F | T | T |
| 108124 | * | F | T | T |
| 108125 | * | F | T | T |
| 108126 | * | F | T | T |
| 108127 | * | F | T | T |
| 108128 | * | F | T | T |
| 108129 | * | F | T | T |
| 108130 | * | F | T | T |
| 108131 | * | F | T | T |
| 108132 | * | F | T | T |
| 108133 | * | F | T | T |
| 108134 | * | F | T | T |
| 108135 | * | F | T | T |
| 108136 | * | F | T | T |
| 108137 | * | F | T | T |
| 108138 | * | F | T | T |
| 108139 | * | F | T | T |
| 108140 | * | F | T | T |
| 108141 | * | F | T | T |
| 108142 | * | F | T | T |
| 108143 | * | F | T | T |
| 108144 | * | F | T | T |
| 108145 | * | F | T | T |
| 108146 | * | F | T | T |
| 108147 | * | F | T | T |
| 108148 | * | F | T | T |
| 108149 | * | F | T | T |
| 108150 | * | F | T | T |
| 108151 | * | F | T | T |
| 108152 | F | T | * | T |
| 108153 | * | F | T | T |
| 108154 | * | F | T | T |
| 108155 | * | F | T | T |
| 108156 | * | F | T | T |
| 108157 | * | F | T | T |
| 108158 | * | F | T | T |
| 108159 | * | F | T | T |
| 108160 | * | F | T | T |
| 108161 | * | F | T | T |
| 108162 | * | F | T | T |
| 108163 | * | F | T | T |
| 108164 | * | F | T | T |
| 108165 | * | F | T | T |
| 108166 | * | F | T | T |
| 108167 | * | F | T | T |
| 108168 | * | F | T | T |
| 108169 | * | F | T | T |
| 108170 | * | F | T | T |
| 108171 | * | F | T | T |
| 108172 | * | F | T | T |
| 108173 | * | F | T | T |
| 108174 | * | F | T | T |
| 108175 | * | F | T | T |
| 108176 | * | F | T | T |
| 108177 | * | F | T | T |
| 108178 | * | F | T | T |
| 108179 | * | F | T | T |
| 108180 | * | F | T | T |
| 108181 | * | F | T | T |
| 108182 | * | F | T | T |
| 108183 | * | F | T | T |
| 108184 | * | F | T | T |
| 108185 | * | F | T | T |
| 108186 | * | F | T | T |
| 108187 | * | F | T | T |
| 108188 | * | F | T | T |
| 108189 | * | F | T | T |
| 108190 | * | F | T | T |
| 108191 | * | F | T | T |
| 108192 | * | F | T | T |
| 108193 | * | F | T | T |
| 108194 | * | F | T | T |
| 108195 | * | F | T | T |
| 108196 | * | F | T | T |
| 108197 | * | F | T | T |
| 108198 | * | F | T | T |
| 108199 | * | F | T | T |
| 108200 | * | F | T | T |
| 108201 | * | F | T | T |
| 108202 | * | F | T | T |
| 108203 | * | F | T | T |
| 108204 | * | F | T | T |
| 108205 | * | F | T | T |
| 108206 | * | F | T | T |
| 108207 | * | F | T | T |
| 108208 | * | F | T | T |
| 108209 | * | F | T | T |
| 108210 | * | F | T | T |
| 108211 | * | F | T | T |
| 108212 | * | F | T | T |
| 108213 | * | F | T | T |
| 108214 | * | F | T | T |
| 108215 | * | F | T | T |
| 108216 | * | F | T | T |
| 108217 | * | F | T | T |
| 108218 | * | F | T | T |
| 108219 | * | F | T | T |
| 108220 | * | F | T | T |
| 108221 | * | F | T | T |
| 108222 | * | F | T | T |
| 108223 | * | F | T | T |
| 108224 | * | F | T | T |
| 108225 | * | F | T | T |
| 108226 | * | F | T | T |
| 108227 | * | F | T | T |
| 108228 | * | F | T | T |
| 108229 | * | F | T | T |
| 108230 | * | F | T | T |
| 108231 | * | F | T | T |
| 108232 | * | F | T | T |
| 108233 | * | F | T | T |
| 108234 | * | F | T | T |
| 108235 | * | F | T | T |
| 108236 | * | F | T | T |
| 108237 | * | F | T | T |
| 108238 | * | F | T | T |
| 108239 | * | F | T | T |
| 108240 | * | F | T | T |
| 108241 | * | F | T | T |
| 108242 | * | F | T | T |
| 108243 | * | F | T | T |
| 108244 | * | F | T | T |
| 108245 | * | F | T | T |
| 108246 | * | F | T | T |
| 108247 | * | F | T | T |
| 108248 | * | F | T | T |
| 108249 | * | F | T | T |
| 108250 | * | F | T | T |
| 108251 | * | F | T | T |
| 108252 | * | F | T | T |
| 108253 | * | F | T | T |
| 108254 | * | F | T | T |
| 108255 | * | F | T | T |
| 108256 | * | F | T | T |
| 108257 | * | F | T | T |
| 108258 | * | F | T | T |
| 108259 | * | F | T | T |
| 108260 | * | F | T | T |
| 108261 | * | F | T | T |
| 108262 | * | F | T | T |
| 108263 | * | F | T | T |
| 108264 | * | F | T | T |
| 108265 | * | F | T | T |
| 108266 | * | F | T | T |
| 108267 | * | F | T | T |
| 108268 | * | F | T | T |
| 108269 | * | F | T | T |
| 108270 | * | F | T | T |
| 108271 | * | F | T | T |
| 108272 | * | F | T | T |
| 108273 | * | F | T | T |
| 108274 | * | F | T | T |
| 108275 | * | F | T | T |
| 108276 | * | F | T | T |
| 108277 | * | F | T | T |
| 108278 | * | F | T | T |
| 108279 | * | F | T | T |
| 108280 | * | F | F | F |
| 126822 | F | F | T | T |
| 126823 | * | F | T | T |
| 126824 | * | F | T | T |
| 126825 | * | F | T | T |
| 126826 | * | F | T | T |
| 126827 | * | F | T | T |
| 126828 | * | F | T | T |
| 126829 | * | F | T | T |
| 126830 | * | F | T | T |
| 126831 | * | F | T | T |
| 126832 | * | F | T | T |
| 126833 | * | F | T | T |
| 126834 | * | F | T | T |
| 126835 | * | F | T | T |
| 126836 | * | F | T | T |
| 126837 | * | F | T | T |
| 126838 | * | F | T | T |
| 126839 | * | F | T | T |
| 126840 | * | F | T | T |
| 126841 | * | F | T | T |
| 126842 | * | F | T | T |
| 126843 | * | F | T | T |
| 126844 | * | F | T | T |
| 126845 | * | F | T | T |
| 126846 | * | F | T | T |
| 126847 | * | F | T | T |
| 126848 | * | F | T | T |
| 126849 | * | F | T | T |
| 126850 | * | F | T | T |
| 126851 | * | F | T | T |
| 126852 | * | F | T | T |
| 126853 | * | F | T | T |
| 126854 | F | T | * | T |
| 126855 | * | F | T | T |
| 126856 | * | F | T | T |
| 126857 | * | F | T | T |
| 126858 | * | F | T | T |
| 126859 | * | F | T | T |
| 126860 | * | F | T | T |
| 126861 | * | F | T | T |
| 126862 | * | F | T | T |
| 126863 | * | F | T | T |
| 126864 | * | F | T | T |
| 126865 | * | F | T | T |
| 126866 | * | F | T | T |
| 126867 | * | F | T | T |
| 126868 | * | F | T | T |
| 126869 | * | F | T | T |
| 126870 | * | F | T | T |
| 126871 | * | F | T | T |
| 126872 | * | F | T | T |
| 126873 | * | F | T | T |
| 126874 | * | F | T | T |
| 126875 | * | F | T | T |
| 126876 | * | F | T | T |
| 126877 | * | F | T | T |
| 126878 | * | F | T | T |
| 126879 | * | F | T | T |
| 126880 | * | F | T | T |
| 126881 | * | F | T | T |
| 126882 | * | F | T | T |
| 126883 | * | F | T | T |
| 126884 | * | F | T | T |
| 126885 | * | F | T | T |
| 126886 | * | F | T | T |
| 126887 | * | F | T | T |
| 126888 | * | F | T | T |
| 126889 | * | F | T | T |
| 126890 | * | F | T | T |
| 126891 | * | F | T | T |
| 126892 | * | F | T | T |
| 126893 | * | F | T | T |
| 126894 | * | F | T | T |
| 126895 | * | F | T | T |
| 126896 | * | F | T | T |
| 126897 | * | F | T | T |
| 126898 | * | F | T | T |
| 126899 | * | F | T | T |
| 126900 | * | F | T | T |
| 126901 | * | F | T | T |
| 126902 | * | F | T | T |
| 126903 | * | F | T | T |
| 126904 | * | F | T | T |
| 126905 | * | F | T | T |
| 126906 | * | F | T | T |
| 126907 | * | F | T | T |
| 126908 | * | F | T | T |
| 126909 | * | F | T | T |
| 126910 | * | F | T | T |
| 126911 | * | F | T | T |
| 126912 | * | F | T | T |
| 126913 | * | F | T | T |
| 126914 | * | F | T | T |
| 126915 | * | F | T | T |
| 126916 | * | F | T | T |
| 126917 | * | F | T | T |
| 126918 | * | F | T | T |
| 126919 | * | F | T | T |
| 126920 | * | F | T | T |
| 126921 | * | F | T | T |
| 126922 | * | F | T | T |
| 126923 | * | F | T | T |
| 126924 | * | F | T | T |
| 126925 | * | F | T | T |
| 126926 | * | F | T | T |
| 126927 | * | F | T | T |
| 126928 | * | F | T | T |
| 126929 | * | F | T | T |
| 126930 | * | F | T | T |
| 126931 | * | F | T | T |
| 126932 | * | F | T | T |
| 126933 | * | F | T | T |
| 126934 | * | F | T | T |
| 126935 | * | F | T | T |
| 126936 | * | F | T | T |
| 126937 | * | F | T | T |
| 126938 | * | F | T | T |
| 126939 | * | F | T | T |
| 126940 | * | F | T | T |
| 126941 | * | F | T | T |
| 126942 | * | F | T | T |
| 126943 | * | F | T | T |
| 126944 | * | F | T | T |
| 126945 | * | F | T | T |
| 126946 | * | F | T | T |
| 126947 | * | F | T | T |
| 126948 | * | F | T | T |
| 126949 | * | F | T | T |
| 126950 | * | F | T | T |
| 126951 | * | F | T | T |
| 126952 | * | F | T | T |
| 126953 | * | F | T | T |
| 126954 | * | F | T | T |
| 126955 | * | F | T | T |
| 126956 | * | F | T | T |
| 126957 | * | F | T | T |
| 126958 | * | F | T | T |
| 126959 | * | F | T | T |
| 126960 | * | F | T | T |
| 126961 | * | F | T | T |
| 126962 | * | F | T | T |
| 126963 | * | F | T | T |
| 126964 | * | F | T | T |
| 126965 | * | F | T | T |
| 126966 | * | F | T | T |
| 126967 | * | F | T | T |
| 126968 | * | F | T | T |
| 126969 | * | F | T | T |
| 126970 | * | F | T | T |
| 126971 | * | F | T | T |
| 126972 | * | F | T | T |
| 126973 | * | F | T | T |
| 126974 | * | F | T | T |
| 126975 | * | F | T | T |
| 126976 | * | F | T | T |
| 126977 | * | F | T | T |
| 126978 | * | F | T | T |
| 126979 | * | F | T | T |
| 126980 | * | F | T | T |
| 126981 | * | F | T | T |
| 126982 | * | F | F | F |
| 126983 | F | F | T | T |
| 126984 | * | F | T | T |
| 126985 | * | F | T | T |
| 126986 | * | F | T | T |
| 126987 | * | F | T | T |
| 126988 | * | F | T | T |
| 126989 | * | F | T | T |
| 126990 | * | F | T | T |
| 126991 | * | F | T | T |
| 126992 | * | F | T | T |
| 126993 | * | F | T | T |
| 126994 | * | F | T | T |
| 126995 | * | F | T | T |
| 126996 | * | F | T | T |
| 126997 | * | F | T | T |
| 126998 | * | F | T | T |
| 126999 | * | F | T | T |
| 127000 | * | F | T | T |
| 127001 | * | F | T | T |
| 127002 | * | F | T | T |
| 127003 | * | F | T | T |
| 127004 | * | F | T | T |
| 127005 | * | F | T | T |
| 127006 | * | F | T | T |
| 127007 | * | F | T | T |
| 127008 | * | F | T | T |
| 127009 | * | F | T | T |
| 127010 | * | F | T | T |
| 127011 | * | F | T | T |
| 127012 | * | F | T | T |
| 127013 | * | F | T | T |
| 127014 | * | F | T | T |
| 127015 | F | T | * | T |
| 127016 | * | F | T | T |
| 127017 | * | F | T | T |
| 127018 | * | F | T | T |
| 127019 | * | F | T | T |
| 127020 | * | F | T | T |
| 127021 | * | F | T | T |
| 127022 | * | F | T | T |
| 127023 | * | F | T | T |
| 127024 | * | F | T | T |
| 127025 | * | F | T | T |
| 127026 | * | F | T | T |
| 127027 | * | F | T | T |
| 127028 | * | F | T | T |
| 127029 | * | F | T | T |
| 127030 | * | F | T | T |
| 127031 | * | F | T | T |
| 127032 | * | F | T | T |
| 127033 | * | F | T | T |
| 127034 | * | F | T | T |
| 127035 | * | F | T | T |
| 127036 | * | F | T | T |
| 127037 | * | F | T | T |
| 127038 | * | F | T | T |
| 127039 | * | F | T | T |
| 127040 | * | F | T | T |
| 127041 | * | F | T | T |
| 127042 | * | F | T | T |
| 127043 | * | F | T | T |
| 127044 | * | F | T | T |
| 127045 | * | F | T | T |
| 127046 | * | F | T | T |
| 127047 | * | F | T | T |
| 127048 | * | F | T | T |
| 127049 | * | F | T | T |
| 127050 | * | F | T | T |
| 127051 | * | F | T | T |
| 127052 | * | F | T | T |
| 127053 | * | F | T | T |
| 127054 | * | F | T | T |
| 127055 | * | F | T | T |
| 127056 | * | F | T | T |
| 127057 | * | F | T | T |
| 127058 | * | F | T | T |
| 127059 | * | F | T | T |
| 127060 | * | F | T | T |
| 127061 | * | F | T | T |
| 127062 | * | F | T | T |
| 127063 | * | F | T | T |
| 127064 | * | F | T | T |
| 127065 | * | F | T | T |
| 127066 | * | F | T | T |
| 127067 | * | F | T | T |
| 127068 | * | F | T | T |
| 127069 | * | F | T | T |
| 127070 | * | F | T | T |
| 127071 | * | F | T | T |
| 127072 | * | F | T | T |
| 127073 | * | F | T | T |
| 127074 | * | F | T | T |
| 127075 | * | F | T | T |
| 127076 | * | F | T | T |
| 127077 | * | F | T | T |
| 127078 | * | F | T | T |
| 127079 | * | F | T | T |
| 127080 | * | F | T | T |
| 127081 | * | F | T | T |
| 127082 | * | F | T | T |
| 127083 | * | F | T | T |
| 127084 | * | F | T | T |
| 127085 | * | F | T | T |
| 127086 | * | F | T | T |
| 127087 | * | F | T | T |
| 127088 | * | F | T | T |
| 127089 | * | F | T | T |
| 127090 | * | F | T | T |
| 127091 | * | F | T | T |
| 127092 | * | F | T | T |
| 127093 | * | F | T | T |
| 127094 | * | F | T | T |
| 127095 | * | F | T | T |
| 127096 | * | F | T | T |
| 127097 | * | F | T | T |
| 127098 | * | F | T | T |
| 127099 | * | F | T | T |
| 127100 | * | F | T | T |
| 127101 | * | F | T | T |
| 127102 | * | F | T | T |
| 127103 | * | F | T | T |
| 127104 | * | F | T | T |
| 127105 | * | F | T | T |
| 127106 | * | F | T | T |
| 127107 | * | F | T | T |
| 127108 | * | F | T | T |
| 127109 | * | F | T | T |
| 127110 | * | F | T | T |
| 127111 | * | F | T | T |
| 127112 | * | F | T | T |
| 127113 | * | F | T | T |
| 127114 | * | F | T | T |
| 127115 | * | F | T | T |
| 127116 | * | F | T | T |
| 127117 | * | F | T | T |
| 127118 | * | F | T | T |
| 127119 | * | F | T | T |
| 127120 | * | F | T | T |
| 127121 | * | F | T | T |
| 127122 | * | F | T | T |
| 127123 | * | F | T | T |
| 127124 | * | F | T | T |
| 127125 | * | F | T | T |
| 127126 | * | F | T | T |
| 127127 | * | F | T | T |
| 127128 | * | F | T | T |
| 127129 | * | F | T | T |
| 127130 | * | F | T | T |
| 127131 | * | F | T | T |
| 127132 | * | F | T | T |
| 127133 | * | F | T | T |
| 127134 | * | F | T | T |
| 127135 | * | F | T | T |
| 127136 | * | F | T | T |
| 127137 | * | F | T | T |
| 127138 | * | F | T | T |
| 127139 | * | F | T | T |
| 127140 | * | F | T | T |
| 127141 | * | F | T | T |
| 127142 | * | F | T | T |
| 127143 | * | F | F | F |
Independent-effect pairs
All 3 conditions live in memcmp — 3 br_if
c0(branch5728): GAP view gap →c1(branch5729): PROVED — pair rows18796,107991(masking)c2(branch5730): PROVED — pair rows18669,18796(masking)