Decision #404 — lib.rs:433
Status: partial
Truth table
| row | c0 br 2799 | c1 br 2800 | c2 br 2801 | outcome |
|---|---|---|---|---|
| 13868 | F | F | F | F |
| 13869 | F | F | T | T |
| 13870 | F | F | T | T |
| 13871 | F | F | F | F |
| 13872 | F | F | T | T |
| 13873 | F | F | T | T |
| 13874 | F | F | T | T |
| 13875 | F | F | T | T |
| 13876 | F | F | T | T |
| 13877 | F | F | T | T |
| 13878 | F | F | T | T |
| 13879 | F | F | T | T |
| 13880 | F | F | T | T |
| 13881 | F | F | T | T |
| 13882 | F | F | T | T |
| 13883 | F | F | T | T |
| 13884 | F | F | T | T |
| 13885 | F | F | T | T |
| 13886 | F | F | T | T |
| 13887 | F | F | T | T |
| 13888 | F | F | T | T |
| 13889 | F | F | T | T |
| 21586 | F | F | F | F |
| 21587 | F | F | T | T |
| 21588 | F | F | T | T |
| 21589 | F | F | F | F |
| 21590 | F | F | T | T |
| 21591 | F | F | T | T |
| 21592 | F | F | T | T |
| 21593 | F | F | T | T |
| 21594 | F | F | T | T |
| 21595 | F | F | T | T |
| 21596 | F | F | T | T |
| 21597 | F | F | T | T |
| 21598 | F | F | T | T |
| 21599 | F | F | T | T |
| 21600 | F | F | T | T |
| 21601 | F | F | T | T |
| 21602 | F | F | T | T |
| 21603 | F | F | T | T |
| 21604 | F | F | T | T |
| 21605 | F | F | T | T |
| 21606 | F | F | T | T |
| 21607 | F | F | T | T |
| 29639 | F | F | F | F |
| 29640 | F | F | F | F |
| 29641 | F | F | F | F |
| 29642 | F | F | F | F |
| 29643 | F | F | T | T |
| 29644 | F | F | F | F |
| 35577 | F | F | F | F |
| 35578 | F | F | F | F |
| 35579 | F | F | F | F |
| 35580 | F | F | F | F |
| 35581 | F | F | T | T |
| 35582 | F | F | F | F |
| 53897 | F | F | F | F |
| 53898 | F | F | F | F |
| 53899 | F | F | F | F |
| 53900 | F | F | F | F |
| 53901 | F | F | F | F |
| 53902 | F | F | F | F |
| 53903 | F | F | F | F |
| 53904 | F | F | F | F |
| 53905 | F | F | F | F |
| 53906 | F | F | F | F |
| 53907 | F | F | F | F |
| 53908 | F | F | T | T |
| 53909 | F | F | T | T |
| 53910 | F | F | T | T |
| 53911 | F | F | T | T |
| 53912 | F | F | F | F |
| 53913 | F | F | T | T |
| 53914 | F | F | T | T |
| 53915 | F | F | T | T |
| 53916 | F | F | T | T |
| 53917 | F | F | T | T |
| 53918 | F | F | T | T |
| 53919 | F | F | T | T |
| 53920 | F | F | T | T |
| 53921 | F | F | T | T |
| 53922 | F | F | T | T |
| 53923 | F | F | T | T |
| 53924 | F | F | T | T |
| 53925 | F | F | T | T |
| 53926 | F | F | T | T |
| 63669 | F | F | F | F |
| 63670 | F | F | F | F |
| 63671 | F | F | F | F |
| 63672 | F | F | F | F |
| 63673 | F | F | F | F |
| 63674 | F | F | F | F |
| 63675 | F | F | F | F |
| 63676 | F | F | F | F |
| 63677 | F | F | F | F |
| 63678 | F | F | F | F |
| 63679 | F | F | F | F |
| 63680 | F | F | T | T |
| 63681 | F | F | T | T |
| 63682 | F | F | T | T |
| 63683 | F | F | T | T |
| 63684 | F | F | F | F |
| 63685 | F | F | T | T |
| 63686 | F | F | T | T |
| 63687 | F | F | T | T |
| 63688 | F | F | T | T |
| 63689 | F | F | T | T |
| 63690 | F | F | T | T |
| 63691 | F | F | T | T |
| 63692 | F | F | T | T |
| 63693 | F | F | T | T |
| 63694 | F | F | T | T |
| 63695 | F | F | T | T |
| 63696 | F | F | T | T |
| 63697 | F | F | T | T |
| 63698 | F | F | T | T |
| 93886 | F | F | F | F |
| 93887 | F | F | F | F |
| 93888 | F | F | F | F |
| 93889 | F | F | T | T |
| 93890 | F | F | T | T |
| 93891 | F | F | F | F |
| 93892 | F | F | F | F |
| 93893 | F | F | F | F |
| 93894 | F | F | F | F |
| 93895 | F | F | F | F |
| 93896 | F | F | F | F |
| 93897 | F | F | F | F |
| 93898 | F | F | F | F |
| 93899 | F | F | F | F |
| 93900 | F | F | F | F |
| 93901 | F | F | F | F |
| 93902 | F | F | F | F |
| 93903 | F | F | F | F |
| 93904 | F | F | F | F |
| 93905 | F | F | F | F |
| 93906 | F | F | F | F |
| 93907 | F | F | F | F |
| 93908 | F | F | F | F |
| 93909 | F | F | F | F |
| 93910 | F | F | F | F |
| 93911 | F | F | F | F |
| 93912 | F | F | F | F |
| 93913 | F | F | F | F |
| 93914 | F | F | F | F |
| 93915 | F | F | F | F |
| 93916 | F | F | F | F |
| 93917 | F | F | F | F |
| 93918 | F | F | F | F |
| 93919 | F | F | F | F |
| 93920 | F | F | F | F |
| 93921 | F | F | F | F |
| 93922 | F | F | F | F |
| 93923 | F | F | F | F |
| 93924 | F | F | F | F |
| 93925 | F | F | F | F |
| 93926 | F | F | F | F |
| 93927 | F | F | F | F |
| 93928 | F | F | F | F |
| 93929 | F | F | F | F |
| 93930 | F | F | T | T |
| 93931 | F | F | T | T |
| 93932 | F | F | F | F |
| 93933 | F | F | F | F |
| 93934 | F | F | T | T |
| 93935 | F | F | T | T |
| 93936 | F | F | F | F |
| 93937 | F | F | F | F |
| 93938 | F | F | F | F |
| 93939 | F | F | F | F |
| 93940 | F | F | F | F |
| 93941 | F | F | F | F |
| 93942 | F | F | F | F |
| 93943 | F | F | F | F |
| 93944 | F | F | F | F |
| 93945 | F | F | F | F |
| 93946 | F | F | F | F |
| 93947 | F | F | F | F |
| 93948 | F | F | F | F |
| 93949 | F | F | F | F |
| 93950 | F | F | F | F |
| 93951 | F | F | F | F |
| 93952 | F | F | F | F |
| 93953 | F | F | F | F |
| 93954 | F | F | F | F |
| 93955 | F | F | F | F |
| 93956 | F | F | F | F |
| 93957 | F | F | F | F |
| 93958 | F | F | F | F |
| 93959 | F | F | F | F |
| 93960 | F | F | F | F |
| 93961 | F | F | F | F |
| 93962 | F | F | F | F |
| 93963 | F | F | F | F |
| 93964 | F | F | F | F |
| 93965 | F | F | F | F |
| 93966 | F | F | F | F |
| 93967 | F | F | F | F |
| 93968 | F | F | F | F |
| 93969 | F | F | F | F |
| 93970 | F | F | F | F |
| 93971 | F | F | F | F |
| 93972 | F | F | T | T |
| 93973 | F | F | T | T |
| 93974 | F | F | T | T |
| 93975 | F | F | T | T |
| 93976 | F | F | T | T |
| 93977 | F | F | T | T |
| 93978 | F | F | T | T |
| 93979 | F | F | T | T |
| 93980 | F | F | T | T |
| 93981 | F | F | T | T |
| 93982 | F | F | T | T |
| 93983 | F | F | T | T |
| 93984 | F | F | T | T |
| 93985 | F | F | T | T |
| 112749 | F | F | F | F |
| 112750 | F | F | F | F |
| 112751 | F | F | F | F |
| 112752 | F | F | T | T |
| 112753 | F | F | T | T |
| 112754 | F | F | F | F |
| 112755 | F | F | F | F |
| 112756 | F | F | F | F |
| 112757 | F | F | F | F |
| 112758 | F | F | F | F |
| 112759 | F | F | F | F |
| 112760 | F | F | F | F |
| 112761 | F | F | F | F |
| 112762 | F | F | F | F |
| 112763 | F | F | F | F |
| 112764 | F | F | F | F |
| 112765 | F | F | F | F |
| 112766 | F | F | F | F |
| 112767 | F | F | F | F |
| 112768 | F | F | F | F |
| 112769 | F | F | F | F |
| 112770 | F | F | F | F |
| 112771 | F | F | F | F |
| 112772 | F | F | F | F |
| 112773 | F | F | F | F |
| 112774 | F | F | F | F |
| 112775 | F | F | F | F |
| 112776 | F | F | F | F |
| 112777 | F | F | F | F |
| 112778 | F | F | F | F |
| 112779 | F | F | F | F |
| 112780 | F | F | F | F |
| 112781 | F | F | F | F |
| 112782 | F | F | F | F |
| 112783 | F | F | F | F |
| 112784 | F | F | F | F |
| 112785 | F | F | F | F |
| 112786 | F | F | F | F |
| 112787 | F | F | F | F |
| 112788 | F | F | F | F |
| 112789 | F | F | F | F |
| 112790 | F | F | F | F |
| 112791 | F | F | F | F |
| 112792 | F | F | F | F |
| 112793 | F | F | T | T |
| 112794 | F | F | T | T |
| 112795 | F | F | F | F |
| 112796 | F | F | F | F |
| 112797 | F | F | T | T |
| 112798 | F | F | T | T |
| 112799 | F | F | F | F |
| 112800 | F | F | F | F |
| 112801 | F | F | F | F |
| 112802 | F | F | F | F |
| 112803 | F | F | F | F |
| 112804 | F | F | F | F |
| 112805 | F | F | F | F |
| 112806 | F | F | F | F |
| 112807 | F | F | F | F |
| 112808 | F | F | F | F |
| 112809 | F | F | F | F |
| 112810 | F | F | F | F |
| 112811 | F | F | F | F |
| 112812 | F | F | F | F |
| 112813 | F | F | F | F |
| 112814 | F | F | F | F |
| 112815 | F | F | F | F |
| 112816 | F | F | F | F |
| 112817 | F | F | F | F |
| 112818 | F | F | F | F |
| 112819 | F | F | F | F |
| 112820 | F | F | F | F |
| 112821 | F | F | F | F |
| 112822 | F | F | F | F |
| 112823 | F | F | F | F |
| 112824 | F | F | F | F |
| 112825 | F | F | F | F |
| 112826 | F | F | F | F |
| 112827 | F | F | F | F |
| 112828 | F | F | F | F |
| 112829 | F | F | F | F |
| 112830 | F | F | F | F |
| 112831 | F | F | F | F |
| 112832 | F | F | F | F |
| 112833 | F | F | F | F |
| 112834 | F | F | F | F |
| 112835 | F | F | T | T |
| 112836 | F | F | T | T |
| 112837 | F | F | T | T |
| 112838 | F | F | T | T |
| 112839 | F | F | T | T |
| 112840 | F | F | T | T |
| 112841 | F | F | T | T |
| 112842 | F | F | T | T |
| 112843 | F | F | T | T |
| 112844 | F | F | T | T |
| 112845 | F | F | T | T |
| 112846 | F | F | T | T |
| 112847 | F | F | T | T |
| 112848 | F | F | T | T |
Independent-effect pairs
All 3 conditions live in scry_octagon::add_bound — 3 br_if
c0(branch2799): GAP view gap →c1(branch2800): GAP view gap →c2(branch2801): PROVED — pair rows13868,13869(unique-cause)