Decision #1473 — index.rs:39
Status: no_witness
Truth table
| row | c0 br 9691 | c1 br 9692 | outcome |
|---|---|---|---|
| 6042 | F | T | T |
| 6043 | * | F | T |
| 6044 | F | T | T |
| 6045 | F | F | T |
| 6046 | * | T | T |
| 6047 | * | F | T |
| 6048 | * | T | T |
| 6049 | * | F | T |
| 6050 | * | T | T |
| 6051 | * | F | T |
| 6052 | F | T | T |
| 6053 | * | T | T |
| 6054 | * | F | T |
| 6055 | * | T | T |
| 6056 | * | F | T |
| 6057 | F | T | T |
| 6058 | * | T | T |
| 6059 | * | F | T |
| 6060 | F | T | T |
| 6061 | F | F | T |
| 6062 | F | F | T |
| 6063 | F | F | T |
| 6064 | F | F | T |
| 6065 | F | F | T |
| 6066 | F | F | T |
| 6067 | F | F | T |
| 6068 | F | F | T |
| 6069 | F | F | T |
| 6070 | F | F | T |
| 6071 | F | F | T |
| 6072 | F | F | T |
| 6073 | F | F | T |
| 6074 | F | F | T |
| 6075 | F | F | T |
| 6076 | F | F | T |
| 6077 | F | F | T |
| 6078 | F | F | T |
| 6079 | F | F | T |
| 6080 | F | F | T |
| 6081 | F | F | T |
| 6082 | F | F | T |
| 6083 | F | F | T |
| 6084 | F | F | T |
| 6085 | F | F | T |
| 6086 | F | F | T |
| 6087 | F | F | T |
| 6088 | F | F | T |
| 6089 | F | F | T |
| 6090 | F | F | T |
| 6091 | F | F | T |
| 6092 | F | F | T |
| 6093 | F | F | T |
| 6094 | F | F | T |
| 6095 | F | F | T |
| 6096 | F | F | T |
| 6097 | F | F | T |
| 6098 | F | F | T |
| 6099 | F | F | T |
| 6100 | F | F | T |
| 6101 | F | F | T |
| 6102 | F | F | T |
| 6103 | F | F | T |
| 6104 | F | F | T |
| 6105 | F | F | T |
| 6106 | F | F | T |
| 6107 | F | F | T |
| 6108 | F | F | T |
| 6109 | F | F | T |
| 6110 | F | F | T |
| 6111 | F | F | T |
| 6112 | F | F | T |
| 6113 | F | F | T |
| 6114 | F | F | T |
| 6115 | F | F | T |
| 6116 | F | F | T |
| 6117 | F | F | T |
| 6118 | F | F | T |
| 6119 | F | F | T |
| 6120 | * | F | T |
| 12916 | F | F | T |
| 12917 | F | F | T |
| 12918 | F | F | T |
| 12919 | F | F | T |
| 12920 | F | F | T |
| 12921 | F | F | T |
| 12922 | F | F | T |
| 12923 | F | F | T |
| 12924 | F | F | T |
| 12925 | F | F | T |
| 12926 | F | F | T |
| 12927 | F | F | T |
| 12928 | F | F | T |
| 12929 | F | F | T |
| 12930 | F | F | T |
| 12931 | F | F | T |
| 12932 | F | F | T |
| 12933 | F | F | T |
| 12934 | F | F | T |
| 12935 | F | F | T |
| 12936 | F | F | T |
| 12937 | F | F | T |
| 12938 | F | F | T |
| 12939 | F | F | T |
| 12940 | F | F | T |
| 12941 | F | F | T |
| 12942 | F | F | T |
| 12943 | F | F | T |
| 12944 | F | F | T |
| 12945 | F | F | T |
| 12946 | F | F | T |
| 12947 | F | F | T |
| 12948 | F | F | T |
| 12949 | F | F | T |
| 12950 | F | F | T |
| 12951 | F | F | T |
| 12952 | F | F | T |
| 12953 | F | F | T |
| 12954 | F | F | T |
| 12955 | F | F | T |
| 12956 | F | F | T |
| 12957 | F | F | T |
| 12958 | F | F | T |
| 12959 | F | F | T |
| 12960 | F | F | T |
| 12961 | F | F | T |
| 12962 | F | F | T |
| 12963 | F | F | T |
| 12964 | F | F | T |
| 12965 | F | F | T |
| 12966 | F | F | T |
| 12967 | F | F | T |
| 12968 | F | F | T |
| 12969 | F | F | T |
| 12970 | F | F | T |
| 12971 | F | F | T |
| 12972 | F | F | T |
| 12973 | F | F | T |
| 12974 | F | F | T |
| 12975 | F | F | T |
| 12976 | F | F | T |
| 20003 | F | T | T |
| 20004 | * | F | T |
| 20005 | F | T | T |
| 20006 | F | F | T |
| 20007 | * | T | T |
| 20008 | * | F | T |
| 20009 | * | T | T |
| 20010 | * | F | T |
| 20011 | * | T | T |
| 20012 | * | F | T |
| 20013 | F | T | T |
| 20014 | * | T | T |
| 20015 | * | F | T |
| 20016 | * | T | T |
| 20017 | * | F | T |
| 20018 | F | T | T |
| 20019 | * | T | T |
| 20020 | * | F | T |
| 20021 | F | T | T |
| 20022 | * | T | T |
| 20023 | * | F | T |
| 20024 | * | T | T |
| 20025 | * | F | T |
| 20026 | * | T | T |
| 20027 | * | F | T |
| 20028 | F | T | T |
| 20029 | * | T | T |
| 20030 | * | F | T |
| 20031 | * | T | T |
| 20032 | * | F | T |
| 20033 | * | T | T |
| 20034 | * | F | T |
| 20035 | F | T | T |
| 20036 | * | T | T |
| 20037 | * | F | T |
| 20038 | F | T | T |
| 20039 | * | T | T |
| 20040 | * | F | T |
| 20041 | * | T | T |
| 20042 | * | F | T |
| 20043 | * | T | T |
| 20044 | * | F | T |
| 20045 | F | T | T |
| 20046 | * | T | T |
| 20047 | * | F | T |
| 20048 | * | T | T |
| 20049 | * | F | T |
| 20050 | * | T | T |
| 20051 | * | F | T |
| 20052 | F | T | T |
| 20053 | * | T | T |
| 20054 | * | F | T |
| 20055 | F | T | T |
| 20056 | F | F | T |
| 20057 | F | F | T |
| 20058 | F | F | T |
| 20059 | F | F | T |
| 20060 | F | F | T |
| 20061 | F | F | T |
| 20062 | F | F | T |
| 20063 | F | F | T |
| 20064 | F | F | T |
| 20065 | F | F | T |
| 20066 | F | F | T |
| 20067 | F | F | T |
| 20068 | F | F | T |
| 20069 | F | F | T |
| 20070 | F | F | T |
| 20071 | F | F | T |
| 20072 | F | F | T |
| 20073 | F | F | T |
| 20074 | F | F | T |
| 20075 | F | F | T |
| 20076 | F | F | T |
| 20077 | F | F | T |
| 20078 | F | F | T |
| 20079 | F | F | T |
| 20080 | F | F | T |
| 20081 | F | F | T |
| 20082 | F | F | T |
| 20083 | F | F | T |
| 20084 | F | F | T |
| 20085 | F | F | T |
| 20086 | F | F | T |
| 20087 | F | F | T |
| 20088 | F | F | T |
| 20089 | F | F | T |
| 20090 | F | F | T |
| 20091 | F | F | T |
| 20092 | F | F | T |
| 20093 | F | F | T |
| 20094 | F | F | T |
| 20095 | F | F | T |
| 20096 | F | F | T |
| 20097 | F | F | T |
| 20098 | F | F | T |
| 20099 | F | F | T |
| 20100 | F | F | T |
| 20101 | F | F | T |
| 20102 | F | F | T |
| 20103 | F | F | T |
| 20104 | F | F | T |
| 20105 | F | F | T |
| 20106 | F | F | T |
| 20107 | F | F | T |
| 20108 | F | F | T |
| 20109 | F | F | T |
| 20110 | F | F | T |
| 20111 | F | F | T |
| 20112 | F | F | T |
| 20113 | F | F | T |
| 20114 | F | F | T |
| 20115 | * | F | T |
| 23575 | F | T | T |
| 23576 | * | F | T |
| 23577 | F | T | T |
| 23578 | F | F | T |
| 23579 | * | T | T |
| 23580 | * | F | T |
| 23581 | F | T | T |
| 23582 | F | F | T |
| 23583 | F | F | T |
| 23584 | F | F | T |
| 23585 | F | F | T |
| 23586 | F | F | T |
| 23587 | F | F | T |
| 23588 | F | F | T |
| 23589 | F | F | T |
| 23590 | F | F | T |
| 23591 | F | F | T |
| 23592 | F | F | T |
| 23593 | F | F | T |
| 23594 | F | F | T |
| 23595 | F | F | T |
| 23596 | F | F | T |
| 23597 | F | F | T |
| 23598 | F | F | T |
| 23599 | F | F | T |
| 23600 | F | F | T |
| 23601 | * | F | T |
| 26263 | F | F | T |
| 26264 | F | F | T |
| 26265 | F | F | T |
| 26266 | F | F | T |
| 26267 | F | F | T |
| 26268 | F | F | T |
| 26269 | F | F | T |
| 26270 | F | F | T |
| 26271 | F | F | T |
| 26272 | F | F | T |
| 26273 | F | F | T |
| 26274 | F | F | T |
| 26275 | F | F | T |
| 26276 | F | F | T |
| 26277 | F | F | T |
| 26278 | F | F | T |
| 26279 | F | F | T |
| 26280 | F | F | T |
| 26281 | F | F | T |
| 26282 | F | F | T |
| 26283 | F | F | T |
| 28961 | F | T | T |
| 28962 | * | F | T |
| 28963 | F | T | T |
| 28964 | F | F | T |
| 28965 | * | T | T |
| 28966 | * | F | T |
| 28967 | F | T | T |
| 28968 | F | F | T |
| 28969 | F | F | T |
| 28970 | F | F | T |
| 28971 | F | F | T |
| 28972 | F | F | T |
| 28973 | F | F | T |
| 28974 | F | F | T |
| 28975 | F | F | T |
| 28976 | F | F | T |
| 28977 | F | F | T |
| 28978 | F | F | T |
| 28979 | F | F | T |
| 28980 | F | F | T |
| 28981 | F | F | T |
| 28982 | F | F | T |
| 28983 | F | F | T |
| 28984 | F | F | T |
| 28985 | F | F | T |
| 28986 | F | F | T |
| 28987 | * | F | T |
| 48868 | F | T | T |
| 48869 | * | F | T |
| 48870 | F | T | T |
| 48871 | F | F | T |
| 48872 | * | T | T |
| 48873 | * | F | T |
| 48874 | F | T | T |
| 48875 | F | F | T |
| 48876 | F | F | T |
| 48877 | F | F | T |
| 48878 | F | F | T |
| 48879 | F | F | T |
| 48880 | F | F | T |
| 48881 | F | F | T |
| 48882 | F | F | T |
| 48883 | F | F | T |
| 48884 | F | F | T |
| 48885 | F | F | T |
| 48886 | F | F | T |
| 48887 | F | F | T |
| 48888 | F | F | T |
| 48889 | F | F | T |
| 48890 | F | F | T |
| 48891 | F | F | T |
| 48892 | F | F | T |
| 48893 | F | F | T |
| 48894 | F | F | T |
| 48895 | F | F | T |
| 48896 | * | F | T |
| 48897 | F | F | T |
| 48898 | * | F | T |
| 48899 | F | F | T |
| 48900 | * | F | T |
| 48901 | F | F | T |
| 48902 | F | F | T |
| 48903 | * | F | T |
| 48904 | F | F | T |
| 48905 | * | F | T |
| 48906 | F | F | T |
| 48907 | * | F | T |
| 48908 | F | F | T |
| 48909 | * | F | T |
| 48910 | F | F | T |
| 48911 | * | F | T |
| 48912 | F | F | T |
| 48913 | * | F | T |
| 48914 | F | F | T |
| 48915 | F | F | T |
| 48916 | * | F | T |
| 48917 | F | F | T |
| 48918 | * | F | T |
| 48919 | F | F | T |
| 48920 | F | F | T |
| 48921 | * | F | T |
| 48922 | F | F | T |
| 48923 | * | F | T |
| 48924 | F | F | T |
| 48925 | F | F | T |
| 48926 | * | F | T |
| 48927 | F | F | T |
| 48928 | * | F | T |
| 48929 | F | F | T |
| 48930 | F | F | T |
| 48931 | * | F | T |
| 48932 | F | F | T |
| 48933 | * | F | T |
| 48934 | F | F | T |
| 48935 | * | F | T |
| 48936 | F | F | T |
| 48937 | * | F | T |
| 48938 | F | F | T |
| 48939 | F | F | T |
| 48940 | * | F | T |
| 48941 | F | F | T |
| 48942 | F | F | T |
| 48943 | F | F | T |
| 48944 | * | F | T |
| 69637 | F | F | T |
| 69638 | F | F | T |
| 69639 | F | F | T |
| 69640 | F | F | T |
| 69641 | F | F | T |
| 69642 | F | F | T |
| 69643 | F | F | T |
| 69644 | F | F | T |
| 69645 | F | F | T |
| 69646 | F | F | T |
| 69647 | F | F | T |
| 69648 | F | F | T |
| 69649 | F | F | T |
| 69650 | F | F | T |
| 69651 | F | F | T |
| 69652 | F | F | T |
| 69653 | F | F | T |
| 69654 | F | F | T |
| 69655 | F | F | T |
| 69656 | F | F | T |
| 69657 | F | F | T |
| 69658 | F | F | T |
| 69659 | F | F | T |
| 69660 | F | F | T |
| 69661 | * | F | T |
| 69662 | F | F | T |
| 69663 | * | F | T |
| 69664 | F | F | T |
| 69665 | F | F | T |
| 69666 | * | F | T |
| 69667 | F | F | T |
| 69668 | * | F | T |
| 69669 | F | F | T |
| 69670 | * | F | T |
| 69671 | F | F | T |
| 69672 | * | F | T |
| 69673 | F | F | T |
| 69674 | * | F | T |
| 69675 | F | F | T |
| 69676 | * | F | T |
| 69677 | F | F | T |
| 69678 | F | F | T |
| 69679 | * | F | T |
| 69680 | F | F | T |
| 69681 | * | F | T |
| 69682 | F | F | T |
| 69683 | F | F | T |
| 69684 | * | F | T |
| 69685 | F | F | T |
| 69686 | * | F | T |
| 69687 | F | F | T |
| 69688 | F | F | T |
| 69689 | * | F | T |
| 69690 | F | F | T |
| 69691 | * | F | T |
| 69692 | F | F | T |
| 69693 | F | F | T |
| 69694 | * | F | T |
| 69695 | F | F | T |
| 69696 | * | F | T |
| 69697 | F | F | T |
| 69698 | * | F | T |
| 69699 | F | F | T |
| 69700 | * | F | T |
| 69701 | F | F | T |
| 69702 | F | F | T |
| 69703 | * | F | T |
| 69704 | F | F | T |
| 69705 | F | F | T |
| 69706 | F | F | T |
| 69707 | * | F | T |
| 79823 | F | T | T |
| 79824 | * | F | T |
| 79825 | F | T | T |
| 79826 | F | F | T |
| 79827 | * | T | T |
| 79828 | * | F | T |
| 79829 | F | T | T |
| 79830 | F | F | T |
| 79831 | F | F | T |
| 79832 | F | F | T |
| 79833 | F | F | T |
| 79834 | F | F | T |
| 79835 | F | F | T |
| 79836 | F | F | T |
| 79837 | F | F | T |
| 79838 | F | F | T |
| 79839 | F | F | T |
| 79840 | F | F | T |
| 79841 | F | F | T |
| 79842 | F | F | T |
| 79843 | F | F | T |
| 79844 | F | F | T |
| 79845 | F | F | T |
| 79846 | F | F | T |
| 79847 | F | F | T |
| 79848 | F | F | T |
| 79849 | * | F | T |
| 79850 | F | F | T |
| 79851 | * | F | T |
| 79852 | F | F | T |
| 79853 | * | F | T |
| 79854 | F | F | T |
| 79855 | F | F | T |
| 79856 | * | F | T |
| 79857 | F | F | T |
| 79858 | * | F | T |
| 79859 | F | F | T |
| 79860 | F | F | T |
| 79861 | * | F | T |
| 79862 | F | F | T |
| 79863 | * | F | T |
| 79864 | F | F | T |
| 79865 | F | F | T |
| 79866 | * | F | T |
| 79867 | F | F | T |
| 79868 | * | F | T |
| 79869 | F | F | T |
| 79870 | * | F | T |
| 79871 | F | F | T |
| 79872 | * | F | T |
| 79873 | F | F | T |
| 79874 | F | F | T |
| 79875 | * | F | T |
| 79876 | F | F | T |
| 79877 | * | F | T |
| 79878 | F | F | T |
| 79879 | F | F | T |
| 79880 | * | F | T |
| 79881 | F | F | T |
| 79882 | * | F | T |
| 79883 | F | F | T |
| 79884 | F | F | T |
| 79885 | * | F | T |
| 79886 | F | F | T |
| 79887 | * | F | T |
| 79888 | F | F | T |
| 79889 | F | F | T |
| 79890 | * | F | T |
| 79891 | F | F | T |
| 79892 | * | F | T |
| 79893 | F | F | T |
| 79894 | * | F | T |
| 79895 | F | F | T |
| 79896 | * | F | T |
| 79897 | F | F | T |
| 79898 | F | F | T |
| 79899 | * | F | T |
| 79900 | F | F | T |
| 79901 | F | F | T |
| 79902 | F | F | T |
| 79903 | * | F | T |
| 89706 | F | T | T |
| 89707 | * | F | T |
| 89708 | F | T | T |
| 89709 | F | F | T |
| 89710 | * | T | T |
| 89711 | * | F | T |
| 89712 | F | T | T |
| 89713 | F | F | T |
| 89714 | F | F | T |
| 89715 | F | F | T |
| 89716 | F | F | T |
| 89717 | F | F | T |
| 89718 | F | F | T |
| 89719 | F | F | T |
| 89720 | F | F | T |
| 89721 | F | F | T |
| 89722 | F | F | T |
| 89723 | F | F | T |
| 89724 | F | F | T |
| 89725 | F | F | T |
| 89726 | F | F | T |
| 89727 | F | F | T |
| 89728 | F | F | T |
| 89729 | F | F | T |
| 89730 | F | F | T |
| 89731 | F | F | T |
| 89732 | * | F | T |
| 89733 | F | F | T |
| 89734 | * | F | T |
| 89735 | F | F | T |
| 89736 | * | F | T |
| 89737 | F | F | T |
| 89738 | F | F | T |
| 89739 | * | F | T |
| 89740 | F | F | T |
| 89741 | * | F | T |
| 89742 | F | F | T |
| 89743 | F | F | T |
| 89744 | * | F | T |
| 89745 | F | F | T |
| 89746 | * | F | T |
| 89747 | F | F | T |
| 89748 | F | F | T |
| 89749 | * | F | T |
| 89750 | F | F | T |
| 89751 | * | F | T |
| 89752 | F | F | T |
| 89753 | * | F | T |
| 89754 | F | F | T |
| 89755 | * | F | T |
| 89756 | F | F | T |
| 89757 | F | F | T |
| 89758 | * | F | T |
| 89759 | F | F | T |
| 89760 | * | F | T |
| 89761 | F | F | T |
| 89762 | F | F | T |
| 89763 | * | F | T |
| 89764 | F | F | T |
| 89765 | * | F | T |
| 89766 | F | F | T |
| 89767 | F | F | T |
| 89768 | * | F | T |
| 89769 | F | F | T |
| 89770 | * | F | T |
| 89771 | F | F | T |
| 89772 | F | F | T |
| 89773 | * | F | T |
| 89774 | F | F | T |
| 89775 | * | F | T |
| 89776 | F | F | T |
| 89777 | * | F | T |
| 89778 | F | F | T |
| 89779 | * | F | T |
| 89780 | F | F | T |
| 89781 | F | F | T |
| 89782 | * | F | T |
| 89783 | F | F | T |
| 89784 | F | F | T |
| 89785 | F | F | T |
| 89786 | * | F | T |
| 97368 | F | T | T |
| 97369 | * | F | T |
| 97370 | F | T | T |
| 97371 | F | F | T |
| 97372 | * | T | T |
| 97373 | * | F | T |
| 97374 | * | T | T |
| 97375 | F | F | T |
| 97376 | * | T | T |
| 97377 | * | F | T |
| 97378 | * | T | T |
| 97379 | F | F | T |
| 97380 | F | F | T |
| 97381 | F | F | T |
| 97382 | F | F | T |
| 97383 | F | F | T |
| 97384 | F | F | T |
| 97385 | F | F | T |
| 97386 | F | F | T |
| 97387 | F | F | T |
| 97388 | F | F | T |
| 97389 | F | F | T |
| 97390 | F | F | T |
| 97391 | F | F | T |
| 97392 | F | F | T |
| 97393 | F | F | T |
| 97394 | F | F | T |
| 97395 | F | F | T |
| 97396 | F | F | T |
| 97397 | F | F | T |
| 97398 | F | F | T |
| 97399 | F | F | T |
| 97400 | F | F | T |
| 97401 | F | F | T |
| 97402 | F | F | T |
| 97403 | F | F | T |
| 97404 | F | F | T |
| 97405 | F | F | T |
| 97406 | F | F | T |
| 97407 | F | F | T |
| 97408 | F | F | T |
| 97409 | F | F | T |
| 97410 | F | F | T |
| 97411 | F | F | T |
| 97412 | F | F | T |
| 97413 | F | F | T |
| 97414 | F | F | T |
| 97415 | F | F | T |
| 97416 | F | F | T |
| 97417 | F | F | T |
| 97418 | F | F | T |
| 97419 | F | F | T |
| 97420 | F | F | T |
| 97421 | F | F | T |
| 97422 | F | F | T |
| 97423 | F | F | T |
| 97424 | F | F | T |
| 97425 | F | F | T |
| 97426 | F | F | T |
| 97427 | F | F | T |
| 97428 | F | F | T |
| 97429 | F | F | T |
| 97430 | F | F | T |
| 97431 | F | F | T |
| 97432 | F | F | T |
| 97433 | F | F | T |
| 97434 | F | F | T |
| 97435 | F | F | T |
| 97436 | F | F | T |
| 97437 | F | F | T |
| 97438 | F | F | T |
| 97439 | F | F | T |
| 97440 | F | F | T |
| 97441 | F | F | T |
| 97442 | F | F | T |
| 97443 | F | F | T |
| 97444 | F | F | T |
| 97445 | F | F | T |
| 97446 | F | F | T |
| 97447 | F | F | T |
| 97448 | F | F | T |
| 97449 | F | F | T |
| 97450 | F | F | T |
| 97451 | * | F | T |
| 105513 | F | T | T |
| 105514 | * | F | T |
| 105515 | F | T | T |
| 105516 | F | F | T |
| 105517 | * | T | T |
| 105518 | * | F | T |
| 105519 | * | T | T |
| 105520 | F | F | T |
| 105521 | * | T | T |
| 105522 | * | F | T |
| 105523 | * | T | T |
| 105524 | F | F | T |
| 105525 | * | T | T |
| 105526 | * | F | T |
| 105527 | * | T | T |
| 105528 | * | F | T |
| 105529 | * | T | T |
| 105530 | * | F | T |
| 105531 | F | T | T |
| 105532 | * | T | T |
| 105533 | * | F | T |
| 105534 | * | T | T |
| 105535 | * | F | T |
| 105536 | * | T | T |
| 105537 | * | F | T |
| 105538 | F | T | T |
| 105539 | * | T | T |
| 105540 | * | F | T |
| 105541 | F | T | T |
| 105542 | * | T | T |
| 105543 | * | F | T |
| 105544 | * | T | T |
| 105545 | * | F | T |
| 105546 | * | T | T |
| 105547 | * | F | T |
| 105548 | F | T | T |
| 105549 | * | T | T |
| 105550 | * | F | T |
| 105551 | * | T | T |
| 105552 | * | F | T |
| 105553 | * | T | T |
| 105554 | * | F | T |
| 105555 | F | T | T |
| 105556 | * | T | T |
| 105557 | * | F | T |
| 105558 | F | T | T |
| 105559 | * | T | T |
| 105560 | * | F | T |
| 105561 | * | T | T |
| 105562 | * | F | T |
| 105563 | * | T | T |
| 105564 | * | F | T |
| 105565 | F | T | T |
| 105566 | * | T | T |
| 105567 | * | F | T |
| 105568 | * | T | T |
| 105569 | * | F | T |
| 105570 | * | T | T |
| 105571 | * | F | T |
| 105572 | F | T | T |
| 105573 | F | F | T |
| 105574 | F | F | T |
| 105575 | F | F | T |
| 105576 | F | F | T |
| 105577 | F | F | T |
| 105578 | F | F | T |
| 105579 | F | F | T |
| 105580 | F | F | T |
| 105581 | F | F | T |
| 105582 | F | F | T |
| 105583 | F | F | T |
| 105584 | F | F | T |
| 105585 | F | F | T |
| 105586 | F | F | T |
| 105587 | F | F | T |
| 105588 | F | F | T |
| 105589 | F | F | T |
| 105590 | F | F | T |
| 105591 | F | F | T |
| 105592 | F | F | T |
| 105593 | F | F | T |
| 105594 | F | F | T |
| 105595 | F | F | T |
| 105596 | F | F | T |
| 105597 | F | F | T |
| 105598 | F | F | T |
| 105599 | F | F | T |
| 105600 | F | F | T |
| 105601 | F | F | T |
| 105602 | F | F | T |
| 105603 | F | F | T |
| 105604 | F | F | T |
| 105605 | F | F | T |
| 105606 | F | F | T |
| 105607 | F | F | T |
| 105608 | F | F | T |
| 105609 | F | F | T |
| 105610 | F | F | T |
| 105611 | F | F | T |
| 105612 | F | F | T |
| 105613 | F | F | T |
| 105614 | F | F | T |
| 105615 | F | F | T |
| 105616 | F | F | T |
| 105617 | F | F | T |
| 105618 | F | F | T |
| 105619 | F | F | T |
| 105620 | F | F | T |
| 105621 | F | F | T |
| 105622 | F | F | T |
| 105623 | F | F | T |
| 105624 | F | F | T |
| 105625 | F | F | T |
| 105626 | F | F | T |
| 105627 | F | F | T |
| 105628 | F | F | T |
| 105629 | F | F | T |
| 105630 | F | F | T |
| 105631 | F | F | T |
| 105632 | F | F | T |
| 105633 | F | F | T |
| 105634 | F | F | T |
| 105635 | F | F | T |
| 105636 | F | F | T |
| 105637 | F | F | T |
| 105638 | F | F | T |
| 105639 | F | F | T |
| 105640 | F | F | T |
| 105641 | F | F | T |
| 105642 | F | F | T |
| 105643 | F | F | T |
| 105644 | * | F | T |
| 113868 | F | F | T |
| 113869 | F | T | T |
| 113870 | * | F | T |
| 113871 | * | T | T |
| 113872 | * | F | T |
| 113873 | * | T | T |
| 113874 | * | F | T |
| 113875 | F | T | T |
| 113876 | * | T | T |
| 113877 | * | F | T |
| 113878 | * | T | T |
| 113879 | * | F | T |
| 113880 | * | T | T |
| 113881 | * | F | T |
| 113882 | F | T | T |
| 113883 | * | T | T |
| 113884 | * | F | T |
| 113885 | * | T | T |
| 113886 | * | F | T |
| 113887 | * | T | T |
| 113888 | * | F | T |
| 113889 | F | T | T |
| 113890 | F | F | T |
| 113891 | F | F | T |
| 113892 | F | F | T |
| 113893 | F | F | T |
| 113894 | F | F | T |
| 113895 | F | F | T |
| 113896 | F | F | T |
| 113897 | F | F | T |
| 113898 | F | F | T |
| 113899 | F | F | T |
| 113900 | F | F | T |
| 113901 | F | F | T |
| 113902 | F | F | T |
| 113903 | F | F | T |
| 113904 | F | F | T |
| 113905 | F | F | T |
| 113906 | F | F | T |
| 113907 | F | F | T |
| 113908 | F | F | T |
| 113909 | F | F | T |
| 113910 | F | F | T |
| 113911 | F | F | T |
| 113912 | F | F | T |
| 113913 | F | F | T |
| 113914 | F | F | T |
| 113915 | F | F | T |
| 113916 | F | F | T |
| 113917 | F | F | T |
| 113918 | F | F | T |
| 113919 | F | F | T |
| 113920 | F | F | T |
| 113921 | F | F | T |
| 113922 | F | F | T |
| 113923 | F | F | T |
| 113924 | F | F | T |
| 113925 | F | F | T |
| 113926 | F | F | T |
| 113927 | F | F | T |
| 113928 | F | F | T |
| 113929 | F | F | T |
| 113930 | F | F | T |
| 113931 | F | F | T |
| 113932 | F | F | T |
| 113933 | F | F | T |
| 113934 | F | F | T |
| 113935 | F | F | T |
| 113936 | F | F | T |
| 113937 | F | F | T |
| 113938 | F | F | T |
| 113939 | F | F | T |
| 113940 | F | F | T |
| 113941 | F | F | T |
| 113942 | F | F | T |
| 113943 | F | F | T |
| 113944 | F | F | T |
| 113945 | F | F | T |
| 113946 | F | F | T |
| 113947 | F | F | T |
| 113948 | F | F | T |
| 113949 | F | F | T |
| 113950 | F | F | T |
| 113951 | F | F | T |
| 113952 | F | F | T |
| 113953 | F | F | T |
| 113954 | F | F | T |
| 113955 | F | F | T |
| 113956 | F | F | T |
| 113957 | F | F | T |
| 113958 | F | F | T |
| 113959 | F | F | T |
| 113960 | F | F | T |
| 113961 | * | F | T |
| 121712 | F | T | T |
| 121713 | * | F | T |
| 121714 | F | T | T |
| 121715 | F | F | T |
| 121716 | * | T | T |
| 121717 | * | F | T |
| 121718 | * | T | T |
| 121719 | F | F | T |
| 121720 | * | T | T |
| 121721 | * | F | T |
| 121722 | * | T | T |
| 121723 | F | F | T |
| 121724 | F | F | T |
| 121725 | F | F | T |
| 121726 | F | F | T |
| 121727 | F | F | T |
| 121728 | F | F | T |
| 121729 | F | F | T |
| 121730 | F | F | T |
| 121731 | F | F | T |
| 121732 | F | F | T |
| 121733 | F | F | T |
| 121734 | F | F | T |
| 121735 | F | F | T |
| 121736 | F | F | T |
| 121737 | F | F | T |
| 121738 | F | F | T |
| 121739 | F | F | T |
| 121740 | F | F | T |
| 121741 | F | F | T |
| 121742 | F | F | T |
| 121743 | F | F | T |
| 121744 | F | F | T |
| 121745 | F | F | T |
| 121746 | F | F | T |
| 121747 | F | F | T |
| 121748 | F | F | T |
| 121749 | F | F | T |
| 121750 | F | F | T |
| 121751 | F | F | T |
| 121752 | F | F | T |
| 121753 | F | F | T |
| 121754 | F | F | T |
| 121755 | F | F | T |
| 121756 | F | F | T |
| 121757 | F | F | T |
| 121758 | F | F | T |
| 121759 | F | F | T |
| 121760 | F | F | T |
| 121761 | F | F | T |
| 121762 | F | F | T |
| 121763 | F | F | T |
| 121764 | F | F | T |
| 121765 | F | F | T |
| 121766 | F | F | T |
| 121767 | F | F | T |
| 121768 | F | F | T |
| 121769 | F | F | T |
| 121770 | F | F | T |
| 121771 | F | F | T |
| 121772 | F | F | T |
| 121773 | F | F | T |
| 121774 | F | F | T |
| 121775 | F | F | T |
| 121776 | F | F | T |
| 121777 | F | F | T |
| 121778 | F | F | T |
| 121779 | F | F | T |
| 121780 | F | F | T |
| 121781 | F | F | T |
| 121782 | F | F | T |
| 121783 | F | F | T |
| 121784 | F | F | T |
| 121785 | F | F | T |
| 121786 | F | F | T |
| 121787 | F | F | T |
| 121788 | F | F | T |
| 121789 | F | F | T |
| 121790 | F | F | T |
| 121791 | F | F | T |
| 121792 | F | F | T |
| 121793 | F | F | T |
| 121794 | F | F | T |
| 121795 | * | F | T |
| 138482 | F | T | T |
| 138483 | * | F | T |
| 138484 | F | T | T |
| 138485 | F | F | T |
| 138486 | * | T | T |
| 138487 | * | F | T |
| 138488 | F | T | T |
| 138489 | F | F | T |
| 138490 | F | F | T |
| 138491 | F | F | T |
| 138492 | F | F | T |
| 138493 | F | F | T |
| 138494 | F | F | T |
| 138495 | F | F | T |
| 138496 | F | F | T |
| 138497 | F | F | T |
| 138498 | F | F | T |
| 138499 | F | F | T |
| 138500 | F | F | T |
| 138501 | F | F | T |
| 138502 | F | F | T |
| 138503 | F | F | T |
| 138504 | F | F | T |
| 138505 | F | F | T |
| 138506 | F | F | T |
| 138507 | F | F | T |
| 138508 | * | F | T |
| 138509 | F | F | T |
| 138510 | * | F | T |
| 138511 | F | F | T |
| 138512 | * | F | T |
| 138513 | F | F | T |
| 138514 | F | F | T |
| 138515 | * | F | T |
| 138516 | F | F | T |
| 138517 | * | F | T |
| 138518 | F | F | T |
| 138519 | * | F | T |
| 138520 | F | F | T |
| 138521 | * | F | T |
| 138522 | F | F | T |
| 138523 | * | F | T |
| 138524 | F | F | T |
| 138525 | * | F | T |
| 138526 | F | F | T |
| 138527 | F | F | T |
| 138528 | * | F | T |
| 138529 | F | F | T |
| 138530 | * | F | T |
| 138531 | F | F | T |
| 138532 | F | F | T |
| 138533 | * | F | T |
| 138534 | F | F | T |
| 138535 | * | F | T |
| 138536 | F | F | T |
| 138537 | F | F | T |
| 138538 | * | F | T |
| 138539 | F | F | T |
| 138540 | * | F | T |
| 138541 | F | F | T |
| 138542 | F | F | T |
| 138543 | * | F | T |
| 138544 | F | F | T |
| 138545 | * | F | T |
| 138546 | F | F | T |
| 138547 | F | F | T |
| 138548 | * | F | T |
| 138549 | F | F | T |
| 138550 | * | F | T |
| 138551 | F | F | T |
| 138552 | F | F | T |
| 138553 | * | F | T |
| 138554 | F | F | T |
| 138555 | * | F | T |
| 138556 | F | F | T |
| 138557 | * | F | T |
| 138558 | F | F | T |
| 138559 | * | F | T |
| 138560 | F | F | T |
| 138561 | F | F | T |
| 138562 | * | F | T |
| 138563 | F | F | T |
| 138564 | F | F | T |
| 138565 | F | F | T |
| 138566 | * | F | T |
| 155201 | F | T | T |
| 155202 | * | F | T |
| 155203 | F | T | T |
| 155204 | F | F | T |
| 155205 | * | T | T |
| 155206 | * | F | T |
| 155207 | F | T | T |
| 155208 | F | F | T |
| 155209 | F | F | T |
| 155210 | F | F | T |
| 155211 | F | F | T |
| 155212 | F | F | T |
| 155213 | F | F | T |
| 155214 | F | F | T |
| 155215 | F | F | T |
| 155216 | F | F | T |
| 155217 | F | F | T |
| 155218 | F | F | T |
| 155219 | F | F | T |
| 155220 | F | F | T |
| 155221 | F | F | T |
| 155222 | F | F | T |
| 155223 | F | F | T |
| 155224 | F | F | T |
| 155225 | F | F | T |
| 155226 | F | F | T |
| 155227 | * | F | T |
| 155228 | F | F | T |
| 155229 | * | F | T |
| 155230 | F | F | T |
| 155231 | * | F | T |
| 155232 | F | F | T |
| 155233 | F | F | T |
| 155234 | * | F | T |
| 155235 | F | F | T |
| 155236 | * | F | T |
| 155237 | F | F | T |
| 155238 | * | F | T |
| 155239 | F | F | T |
| 155240 | * | F | T |
| 155241 | F | F | T |
| 155242 | * | F | T |
| 155243 | F | F | T |
| 155244 | * | F | T |
| 155245 | F | F | T |
| 155246 | F | F | T |
| 155247 | * | F | T |
| 155248 | F | F | T |
| 155249 | * | F | T |
| 155250 | F | F | T |
| 155251 | F | F | T |
| 155252 | * | F | T |
| 155253 | F | F | T |
| 155254 | * | F | T |
| 155255 | F | F | T |
| 155256 | F | F | T |
| 155257 | * | F | T |
| 155258 | F | F | T |
| 155259 | * | F | T |
| 155260 | F | F | T |
| 155261 | F | F | T |
| 155262 | * | F | T |
| 155263 | F | F | T |
| 155264 | * | F | T |
| 155265 | F | F | T |
| 155266 | F | F | T |
| 155267 | * | F | T |
| 155268 | F | F | T |
| 155269 | * | F | T |
| 155270 | F | F | T |
| 155271 | F | F | T |
| 155272 | * | F | T |
| 155273 | F | F | T |
| 155274 | * | F | T |
| 155275 | F | F | T |
| 155276 | * | F | T |
| 155277 | F | F | T |
| 155278 | * | F | T |
| 155279 | F | F | T |
| 155280 | F | F | T |
| 155281 | * | F | T |
| 155282 | F | F | T |
| 155283 | F | F | T |
| 155284 | F | F | T |
| 155285 | * | F | T |
| 164651 | F | T | T |
| 164652 | * | F | T |
| 164653 | F | T | T |
| 164654 | F | F | T |
| 164655 | * | T | T |
| 164656 | * | F | T |
| 164657 | F | T | T |
| 164658 | F | F | T |
| 164659 | F | F | T |
| 164660 | F | F | T |
| 164661 | F | F | T |
| 164662 | F | F | T |
| 164663 | F | F | T |
| 164664 | F | F | T |
| 164665 | F | F | T |
| 164666 | F | F | T |
| 164667 | F | F | T |
| 164668 | F | F | T |
| 164669 | F | F | T |
| 164670 | F | F | T |
| 164671 | F | F | T |
| 164672 | F | F | T |
| 164673 | F | F | T |
| 164674 | F | F | T |
| 164675 | F | F | T |
| 164676 | F | F | T |
| 164677 | F | F | T |
| 164678 | F | F | T |
| 164679 | F | F | T |
| 164680 | F | F | T |
| 164681 | F | F | T |
| 164682 | F | F | T |
| 164683 | F | F | T |
| 164684 | F | F | T |
| 164685 | F | F | T |
| 164686 | F | F | T |
| 164687 | F | F | T |
| 164688 | F | F | T |
| 164689 | F | F | T |
| 164690 | F | F | T |
| 164691 | F | F | T |
| 164692 | F | F | T |
| 164693 | F | F | T |
| 164694 | F | F | T |
| 164695 | F | F | T |
| 164696 | F | F | T |
| 164697 | F | F | T |
| 164698 | F | F | T |
| 164699 | F | F | T |
| 164700 | F | F | T |
| 164701 | F | F | T |
| 164702 | F | F | T |
| 164703 | F | F | T |
| 164704 | F | F | T |
| 164705 | F | F | T |
| 164706 | F | F | T |
| 164707 | F | F | T |
| 164708 | F | F | T |
| 164709 | F | F | T |
| 164710 | F | F | T |
| 164711 | F | F | T |
| 164712 | F | F | T |
| 164713 | F | F | T |
| 164714 | F | F | T |
| 164715 | F | F | T |
| 164716 | F | F | T |
| 164717 | F | F | T |
| 164718 | F | F | T |
| 164719 | F | F | T |
| 164720 | F | F | T |
| 164721 | F | F | T |
| 164722 | F | F | T |
| 164723 | F | F | T |
| 164724 | F | F | T |
| 164725 | F | F | T |
| 164726 | F | F | T |
| 164727 | F | F | T |
| 164728 | F | F | T |
| 164729 | F | F | T |
| 164730 | F | F | T |
| 164731 | F | F | T |
| 164732 | F | F | T |
| 164733 | F | F | T |
| 164734 | F | F | T |
| 164735 | F | F | T |
| 164736 | F | F | T |
| 164737 | F | F | T |
| 164738 | F | F | T |
| 164739 | F | F | T |
| 164740 | F | F | T |
| 164741 | F | F | T |
| 164742 | F | F | T |
| 164743 | F | F | T |
| 164744 | F | F | T |
| 164745 | F | F | T |
| 164746 | F | F | T |
| 164747 | F | F | T |
| 164748 | F | F | T |
| 164749 | F | F | T |
| 164750 | F | F | T |
| 164751 | F | F | T |
| 164752 | F | F | T |
| 164753 | * | F | T |
| 174509 | F | T | T |
| 174510 | * | F | T |
| 174511 | F | T | T |
| 174512 | F | F | T |
| 174513 | * | T | T |
| 174514 | * | F | T |
| 174515 | F | T | T |
| 174516 | F | F | T |
| 174517 | F | F | T |
| 174518 | F | F | T |
| 174519 | F | F | T |
| 174520 | F | F | T |
| 174521 | F | F | T |
| 174522 | F | F | T |
| 174523 | F | F | T |
| 174524 | F | F | T |
| 174525 | F | F | T |
| 174526 | F | F | T |
| 174527 | F | F | T |
| 174528 | F | F | T |
| 174529 | F | F | T |
| 174530 | F | F | T |
| 174531 | F | F | T |
| 174532 | F | F | T |
| 174533 | F | F | T |
| 174534 | F | F | T |
| 174535 | F | F | T |
| 174536 | F | F | T |
| 174537 | F | F | T |
| 174538 | F | F | T |
| 174539 | F | F | T |
| 174540 | F | F | T |
| 174541 | F | F | T |
| 174542 | F | F | T |
| 174543 | F | F | T |
| 174544 | F | F | T |
| 174545 | F | F | T |
| 174546 | F | F | T |
| 174547 | F | F | T |
| 174548 | F | F | T |
| 174549 | F | F | T |
| 174550 | F | F | T |
| 174551 | F | F | T |
| 174552 | F | F | T |
| 174553 | F | F | T |
| 174554 | F | F | T |
| 174555 | F | F | T |
| 174556 | F | F | T |
| 174557 | F | F | T |
| 174558 | F | F | T |
| 174559 | F | F | T |
| 174560 | F | F | T |
| 174561 | F | F | T |
| 174562 | F | F | T |
| 174563 | F | F | T |
| 174564 | F | F | T |
| 174565 | F | F | T |
| 174566 | F | F | T |
| 174567 | F | F | T |
| 174568 | F | F | T |
| 174569 | F | F | T |
| 174570 | F | F | T |
| 174571 | F | F | T |
| 174572 | F | F | T |
| 174573 | F | F | T |
| 174574 | F | F | T |
| 174575 | F | F | T |
| 174576 | F | F | T |
| 174577 | F | F | T |
| 174578 | F | F | T |
| 174579 | F | F | T |
| 174580 | F | F | T |
| 174581 | F | F | T |
| 174582 | F | F | T |
| 174583 | F | F | T |
| 174584 | F | F | T |
| 174585 | F | F | T |
| 174586 | F | F | T |
| 174587 | F | F | T |
| 174588 | F | F | T |
| 174589 | F | F | T |
| 174590 | F | F | T |
| 174591 | F | F | T |
| 174592 | F | F | T |
| 174593 | F | F | T |
| 174594 | F | F | T |
| 174595 | F | F | T |
| 174596 | F | F | T |
| 174597 | F | F | T |
| 174598 | F | F | T |
| 174599 | F | F | T |
| 174600 | F | F | T |
| 174601 | F | F | T |
| 174602 | F | F | T |
| 174603 | F | F | T |
| 174604 | F | F | T |
| 174605 | F | F | T |
| 174606 | F | F | T |
| 174607 | F | F | T |
| 174608 | F | F | T |
| 174609 | F | F | T |
| 174610 | F | F | T |
| 174611 | * | F | T |
| 179578 | F | T | T |
| 179579 | * | F | T |
| 179580 | F | T | T |
| 179581 | F | F | T |
| 179582 | * | T | T |
| 179583 | * | F | T |
| 179584 | * | T | T |
| 179585 | F | F | T |
| 179586 | * | T | T |
| 179587 | * | F | T |
| 179588 | F | T | T |
| 179589 | * | T | T |
| 179590 | * | F | T |
| 179591 | F | T | T |
| 179592 | * | T | T |
| 179593 | * | F | T |
| 179594 | F | T | T |
| 179595 | * | T | T |
| 179596 | * | F | T |
| 179597 | F | T | T |
| 179598 | * | T | T |
| 179599 | * | F | T |
| 179600 | * | T | T |
| 179601 | * | F | T |
| 179602 | F | T | T |
| 179603 | * | T | T |
| 179604 | * | F | T |
| 179605 | F | T | T |
| 179606 | * | T | T |
| 179607 | * | F | T |
| 179608 | * | T | T |
| 179609 | * | F | T |
| 179610 | F | T | T |
| 179611 | F | F | T |
| 179612 | F | F | T |
| 179613 | F | F | T |
| 179614 | F | F | T |
| 179615 | F | F | T |
| 179616 | F | F | T |
| 179617 | F | F | T |
| 179618 | F | F | T |
| 179619 | F | F | T |
| 179620 | F | F | T |
| 179621 | F | F | T |
| 179622 | F | F | T |
| 179623 | F | F | T |
| 179624 | F | F | T |
| 179625 | F | F | T |
| 179626 | F | F | T |
| 179627 | F | F | T |
| 179628 | F | F | T |
| 179629 | F | F | T |
| 179630 | F | F | T |
| 179631 | F | F | T |
| 179632 | F | F | T |
| 179633 | F | F | T |
| 179634 | F | F | T |
| 179635 | F | F | T |
| 179636 | F | F | T |
| 179637 | F | F | T |
| 179638 | F | F | T |
| 179639 | F | F | T |
| 179640 | F | F | T |
| 179641 | F | F | T |
| 179642 | F | F | T |
| 179643 | F | F | T |
| 179644 | F | F | T |
| 179645 | F | F | T |
| 179646 | F | F | T |
| 179647 | F | F | T |
| 179648 | F | F | T |
| 179649 | F | F | T |
| 179650 | F | F | T |
| 179651 | F | F | T |
| 179652 | F | F | T |
| 179653 | F | F | T |
| 179654 | F | F | T |
| 179655 | F | F | T |
| 179656 | F | F | T |
| 179657 | F | F | T |
| 179658 | F | F | T |
| 179659 | F | F | T |
| 179660 | F | F | T |
| 179661 | F | F | T |
| 179662 | F | F | T |
| 179663 | F | F | T |
| 179664 | F | F | T |
| 179665 | F | F | T |
| 179666 | F | F | T |
| 179667 | F | F | T |
| 179668 | F | F | T |
| 179669 | F | F | T |
| 179670 | F | F | T |
| 179671 | F | F | T |
| 179672 | F | F | T |
| 179673 | F | F | T |
| 179674 | F | F | T |
| 179675 | F | F | T |
| 179676 | F | F | T |
| 179677 | F | F | T |
| 179678 | F | F | T |
| 179679 | F | F | T |
| 179680 | F | F | T |
| 179681 | F | F | T |
| 179682 | F | F | T |
| 179683 | F | F | T |
| 179684 | F | F | T |
| 179685 | F | F | T |
| 179686 | F | F | T |
| 179687 | F | F | T |
| 179688 | * | F | T |
| 183352 | F | T | T |
| 183353 | * | F | T |
| 183354 | F | T | T |
| 183355 | F | F | T |
| 183356 | * | F | T |
| 183357 | * | T | T |
| 183358 | * | F | T |
| 183359 | * | T | T |
| 183360 | * | F | T |
| 183361 | * | T | T |
| 183362 | * | F | T |
| 183363 | * | T | T |
| 183364 | * | F | T |
| 183365 | F | T | T |
| 183366 | * | T | T |
| 183367 | * | F | T |
| 183368 | F | T | T |
| 183369 | * | T | T |
| 183370 | * | F | T |
| 183371 | * | T | T |
| 183372 | * | F | T |
| 183373 | F | T | T |
| 183374 | * | T | T |
| 183375 | * | F | T |
| 183376 | F | T | T |
| 183377 | * | T | T |
| 183378 | * | F | T |
| 183379 | F | T | T |
| 183380 | F | F | T |
| 183381 | F | F | T |
| 183382 | F | F | T |
| 183383 | F | F | T |
| 183384 | F | F | T |
| 183385 | F | F | T |
| 183386 | F | F | T |
| 183387 | F | F | T |
| 183388 | F | F | T |
| 183389 | F | F | T |
| 183390 | F | F | T |
| 183391 | F | F | T |
| 183392 | F | F | T |
| 183393 | F | F | T |
| 183394 | F | F | T |
| 183395 | F | F | T |
| 183396 | F | F | T |
| 183397 | F | F | T |
| 183398 | F | F | T |
| 183399 | F | F | T |
| 183400 | F | F | T |
| 183401 | F | F | T |
| 183402 | F | F | T |
| 183403 | F | F | T |
| 183404 | F | F | T |
| 183405 | F | F | T |
| 183406 | F | F | T |
| 183407 | F | F | T |
| 183408 | F | F | T |
| 183409 | F | F | T |
| 183410 | F | F | T |
| 183411 | F | F | T |
| 183412 | F | F | T |
| 183413 | F | F | T |
| 183414 | F | F | T |
| 183415 | F | F | T |
| 183416 | F | F | T |
| 183417 | F | F | T |
| 183418 | F | F | T |
| 183419 | * | F | T |
| 186577 | F | F | T |
| 186578 | F | T | T |
| 186579 | * | F | T |
| 186580 | * | T | T |
| 186581 | * | F | T |
| 186582 | F | T | T |
| 186583 | * | T | T |
| 186584 | * | F | T |
| 186585 | F | T | T |
| 186586 | * | T | T |
| 186587 | * | F | T |
| 186588 | F | T | T |
| 186589 | F | F | T |
| 186590 | F | F | T |
| 186591 | F | F | T |
| 186592 | F | F | T |
| 186593 | F | F | T |
| 186594 | F | F | T |
| 186595 | F | F | T |
| 186596 | F | F | T |
| 186597 | F | F | T |
| 186598 | F | F | T |
| 186599 | F | F | T |
| 186600 | F | F | T |
| 186601 | F | F | T |
| 186602 | F | F | T |
| 186603 | F | F | T |
| 186604 | F | F | T |
| 186605 | F | F | T |
| 186606 | F | F | T |
| 186607 | F | F | T |
| 186608 | F | F | T |
| 186609 | F | F | T |
| 186610 | F | F | T |
| 186611 | F | F | T |
| 186612 | F | F | T |
| 186613 | F | F | T |
| 186614 | F | F | T |
| 186615 | F | F | T |
| 186616 | F | F | T |
| 186617 | F | F | T |
| 186618 | F | F | T |
| 186619 | F | F | T |
| 186620 | F | F | T |
| 186621 | F | F | T |
| 186622 | F | F | T |
| 186623 | F | F | T |
| 186624 | F | F | T |
| 186625 | F | F | T |
| 186626 | F | F | T |
| 186627 | F | F | T |
| 186628 | * | F | T |
| 189779 | F | T | T |
| 189780 | * | F | T |
| 189781 | F | T | T |
| 189782 | F | F | T |
| 189783 | * | F | T |
| 189784 | * | T | T |
| 189785 | * | F | T |
| 189786 | * | T | T |
| 189787 | * | F | T |
| 189788 | * | T | T |
| 189789 | * | F | T |
| 189790 | * | T | T |
| 189791 | * | F | T |
| 189792 | F | T | T |
| 189793 | * | T | T |
| 189794 | * | F | T |
| 189795 | F | T | T |
| 189796 | * | T | T |
| 189797 | * | F | T |
| 189798 | * | T | T |
| 189799 | * | F | T |
| 189800 | F | T | T |
| 189801 | * | T | T |
| 189802 | * | F | T |
| 189803 | F | T | T |
| 189804 | * | T | T |
| 189805 | * | F | T |
| 189806 | F | T | T |
| 189807 | F | F | T |
| 189808 | F | F | T |
| 189809 | F | F | T |
| 189810 | F | F | T |
| 189811 | F | F | T |
| 189812 | F | F | T |
| 189813 | F | F | T |
| 189814 | F | F | T |
| 189815 | F | F | T |
| 189816 | F | F | T |
| 189817 | F | F | T |
| 189818 | F | F | T |
| 189819 | F | F | T |
| 189820 | F | F | T |
| 189821 | F | F | T |
| 189822 | F | F | T |
| 189823 | F | F | T |
| 189824 | F | F | T |
| 189825 | F | F | T |
| 189826 | F | F | T |
| 189827 | F | F | T |
| 189828 | F | F | T |
| 189829 | F | F | T |
| 189830 | F | F | T |
| 189831 | F | F | T |
| 189832 | F | F | T |
| 189833 | F | F | T |
| 189834 | F | F | T |
| 189835 | F | F | T |
| 189836 | F | F | T |
| 189837 | F | F | T |
| 189838 | F | F | T |
| 189839 | F | F | T |
| 189840 | F | F | T |
| 189841 | F | F | T |
| 189842 | F | F | T |
| 189843 | F | F | T |
| 189844 | F | F | T |
| 189845 | F | F | T |
| 189846 | * | F | T |
| 194301 | F | T | T |
| 194302 | * | F | T |
| 194303 | F | T | T |
| 194304 | F | F | T |
| 194305 | F | F | T |
| 194306 | F | F | T |
| 194307 | F | F | T |
| 194308 | F | F | T |
| 194309 | F | F | T |
| 194310 | F | F | T |
| 194311 | F | F | T |
| 194312 | F | F | T |
| 194313 | F | F | T |
| 194314 | F | F | T |
| 194315 | F | F | T |
| 194316 | F | F | T |
| 194317 | F | F | T |
| 194318 | F | F | T |
| 194319 | F | F | T |
| 194320 | F | F | T |
| 194321 | F | F | T |
| 194322 | F | F | T |
| 194323 | F | F | T |
| 194324 | * | F | T |
| 201939 | F | T | T |
| 201940 | * | F | T |
| 201941 | F | T | T |
| 201942 | F | F | T |
| 201943 | * | T | T |
| 201944 | * | F | T |
| 201945 | * | T | T |
| 201946 | F | F | T |
| 201947 | * | T | T |
| 201948 | * | F | T |
| 201949 | * | T | T |
| 201950 | F | F | T |
| 201951 | * | T | T |
| 201952 | * | F | T |
| 201953 | F | T | T |
| 201954 | F | F | T |
| 201955 | F | F | T |
| 201956 | F | F | T |
| 201957 | F | F | T |
| 201958 | F | F | T |
| 201959 | F | F | T |
| 201960 | F | F | T |
| 201961 | F | F | T |
| 201962 | F | F | T |
| 201963 | F | F | T |
| 201964 | F | F | T |
| 201965 | F | F | T |
| 201966 | F | F | T |
| 201967 | F | F | T |
| 201968 | F | F | T |
| 201969 | F | F | T |
| 201970 | F | F | T |
| 201971 | F | F | T |
| 201972 | F | F | T |
| 201973 | F | F | T |
| 201974 | F | F | T |
| 201975 | F | F | T |
| 201976 | F | F | T |
| 201977 | F | F | T |
| 201978 | F | F | T |
| 201979 | F | F | T |
| 201980 | F | F | T |
| 201981 | F | F | T |
| 201982 | F | F | T |
| 201983 | F | F | T |
| 201984 | F | F | T |
| 201985 | F | F | T |
| 201986 | F | F | T |
| 201987 | F | F | T |
| 201988 | F | F | T |
| 201989 | F | F | T |
| 201990 | F | F | T |
| 201991 | F | F | T |
| 201992 | F | F | T |
| 201993 | F | F | T |
| 201994 | F | F | T |
| 201995 | F | F | T |
| 201996 | F | F | T |
| 201997 | F | F | T |
| 201998 | F | F | T |
| 201999 | F | F | T |
| 202000 | F | F | T |
| 202001 | F | F | T |
| 202002 | F | F | T |
| 202003 | F | F | T |
| 202004 | F | F | T |
| 202005 | F | F | T |
| 202006 | F | F | T |
| 202007 | F | F | T |
| 202008 | F | F | T |
| 202009 | * | F | T |
| 205730 | F | T | T |
| 205731 | * | F | T |
| 205732 | F | T | T |
| 205733 | F | F | T |
| 205734 | F | F | T |
| 205735 | F | F | T |
| 205736 | F | F | T |
| 205737 | F | F | T |
| 205738 | F | F | T |
| 205739 | F | F | T |
| 205740 | F | F | T |
| 205741 | F | F | T |
| 205742 | F | F | T |
| 205743 | F | F | T |
| 205744 | F | F | T |
| 205745 | F | F | T |
| 205746 | F | F | T |
| 205747 | F | F | T |
| 205748 | F | F | T |
| 205749 | * | F | T |
| 213055 | F | T | T |
| 213056 | * | F | T |
| 213057 | F | T | T |
| 213058 | F | F | T |
| 213059 | * | T | T |
| 213060 | * | F | T |
| 213061 | F | T | T |
| 213062 | * | T | T |
| 213063 | * | F | T |
| 213064 | F | T | T |
| 213065 | * | T | T |
| 213066 | * | F | T |
| 213067 | F | T | T |
| 213068 | * | T | T |
| 213069 | * | F | T |
| 213070 | F | T | T |
| 213071 | * | T | T |
| 213072 | * | F | T |
| 213073 | * | T | T |
| 213074 | * | F | T |
| 213075 | F | T | T |
| 213076 | * | T | T |
| 213077 | * | F | T |
| 213078 | F | T | T |
| 213079 | * | T | T |
| 213080 | * | F | T |
| 213081 | * | T | T |
| 213082 | * | F | T |
| 213083 | F | T | T |
| 213084 | F | F | T |
| 213085 | F | F | T |
| 213086 | F | F | T |
| 213087 | F | F | T |
| 213088 | F | F | T |
| 213089 | F | F | T |
| 213090 | F | F | T |
| 213091 | F | F | T |
| 213092 | F | F | T |
| 213093 | F | F | T |
| 213094 | F | F | T |
| 213095 | F | F | T |
| 213096 | F | F | T |
| 213097 | F | F | T |
| 213098 | F | F | T |
| 213099 | F | F | T |
| 213100 | F | F | T |
| 213101 | F | F | T |
| 213102 | F | F | T |
| 213103 | F | F | T |
| 213104 | F | F | T |
| 213105 | F | F | T |
| 213106 | F | F | T |
| 213107 | F | F | T |
| 213108 | F | F | T |
| 213109 | F | F | T |
| 213110 | F | F | T |
| 213111 | F | F | T |
| 213112 | F | F | T |
| 213113 | F | F | T |
| 213114 | F | F | T |
| 213115 | F | F | T |
| 213116 | F | F | T |
| 213117 | F | F | T |
| 213118 | F | F | T |
| 213119 | F | F | T |
| 213120 | F | F | T |
| 213121 | F | F | T |
| 213122 | F | F | T |
| 213123 | F | F | T |
| 213124 | F | F | T |
| 213125 | F | F | T |
| 213126 | F | F | T |
| 213127 | F | F | T |
| 213128 | F | F | T |
| 213129 | F | F | T |
| 213130 | F | F | T |
| 213131 | F | F | T |
| 213132 | F | F | T |
| 213133 | F | F | T |
| 213134 | F | F | T |
| 213135 | F | F | T |
| 213136 | F | F | T |
| 213137 | F | F | T |
| 213138 | F | F | T |
| 213139 | F | F | T |
| 213140 | F | F | T |
| 213141 | F | F | T |
| 213142 | F | F | T |
| 213143 | F | F | T |
| 213144 | F | F | T |
| 213145 | F | F | T |
| 213146 | F | F | T |
| 213147 | F | F | T |
| 213148 | F | F | T |
| 213149 | F | F | T |
| 213150 | F | F | T |
| 213151 | F | F | T |
| 213152 | F | F | T |
| 213153 | F | F | T |
| 213154 | F | F | T |
| 213155 | F | F | T |
| 213156 | F | F | T |
| 213157 | F | F | T |
| 213158 | F | F | T |
| 213159 | F | F | T |
| 213160 | F | F | T |
| 213161 | F | F | T |
| 213162 | F | F | T |
| 213163 | F | F | T |
| 213164 | F | F | T |
| 213165 | F | F | T |
| 213166 | F | F | T |
| 213167 | F | F | T |
| 213168 | F | F | T |
| 213169 | F | F | T |
| 213170 | F | F | T |
| 213171 | F | F | T |
| 213172 | F | F | T |
| 213173 | * | F | T |
| 220620 | F | T | T |
| 220621 | * | F | T |
| 220622 | F | T | T |
| 220623 | F | F | T |
| 220624 | * | T | T |
| 220625 | * | F | T |
| 220626 | * | T | T |
| 220627 | F | F | T |
| 220628 | * | T | T |
| 220629 | * | F | T |
| 220630 | F | T | T |
| 220631 | * | T | T |
| 220632 | * | F | T |
| 220633 | F | T | T |
| 220634 | * | T | T |
| 220635 | * | F | T |
| 220636 | * | T | T |
| 220637 | * | F | T |
| 220638 | F | T | T |
| 220639 | F | F | T |
| 220640 | F | F | T |
| 220641 | F | F | T |
| 220642 | F | F | T |
| 220643 | F | F | T |
| 220644 | F | F | T |
| 220645 | F | F | T |
| 220646 | F | F | T |
| 220647 | F | F | T |
| 220648 | F | F | T |
| 220649 | F | F | T |
| 220650 | F | F | T |
| 220651 | F | F | T |
| 220652 | F | F | T |
| 220653 | F | F | T |
| 220654 | F | F | T |
| 220655 | F | F | T |
| 220656 | F | F | T |
| 220657 | F | F | T |
| 220658 | F | F | T |
| 220659 | F | F | T |
| 220660 | F | F | T |
| 220661 | F | F | T |
| 220662 | F | F | T |
| 220663 | F | F | T |
| 220664 | F | F | T |
| 220665 | F | F | T |
| 220666 | F | F | T |
| 220667 | F | F | T |
| 220668 | F | F | T |
| 220669 | F | F | T |
| 220670 | F | F | T |
| 220671 | F | F | T |
| 220672 | F | F | T |
| 220673 | F | F | T |
| 220674 | F | F | T |
| 220675 | F | F | T |
| 220676 | F | F | T |
| 220677 | F | F | T |
| 220678 | F | F | T |
| 220679 | F | F | T |
| 220680 | F | F | T |
| 220681 | F | F | T |
| 220682 | F | F | T |
| 220683 | F | F | T |
| 220684 | * | F | T |
| 220685 | F | F | T |
| 220686 | F | F | T |
| 220687 | * | F | T |
| 220688 | F | F | T |
| 220689 | * | F | T |
| 220690 | F | F | T |
| 220691 | * | F | T |
| 220692 | F | F | T |
| 220693 | F | F | T |
| 220694 | * | F | T |
| 220695 | F | F | T |
| 220696 | F | F | T |
| 220697 | * | F | T |
| 220698 | F | F | T |
| 220699 | F | F | T |
| 220700 | * | F | T |
| 220701 | F | F | T |
| 220702 | * | F | T |
| 220703 | F | F | T |
| 220704 | * | F | T |
| 220705 | F | F | T |
| 220706 | F | F | T |
| 220707 | F | F | T |
| 220708 | F | F | T |
| 220709 | F | F | T |
| 220710 | F | F | T |
| 220711 | F | F | T |
| 220712 | F | F | T |
| 220713 | F | F | T |
| 220714 | F | F | T |
| 220715 | F | F | T |
| 220716 | F | F | T |
| 220717 | F | F | T |
| 220718 | F | F | T |
| 220719 | F | F | T |
| 220720 | F | F | T |
| 220721 | F | F | T |
| 220722 | F | F | T |
| 220723 | F | F | T |
| 220724 | F | F | T |
| 220725 | F | F | T |
| 220726 | F | F | T |
| 220727 | F | F | T |
| 220728 | F | F | T |
| 220729 | F | F | T |
| 220730 | F | F | T |
| 220731 | F | F | T |
| 220732 | F | F | T |
| 220733 | F | F | T |
| 220734 | * | F | T |
| 295938 | F | T | T |
| 295939 | * | F | T |
| 295940 | F | T | T |
| 295941 | F | F | T |
| 295942 | * | T | T |
| 295943 | * | F | T |
| 295944 | F | T | T |
| 295945 | F | F | T |
| 295946 | F | F | T |
| 295947 | F | F | T |
| 295948 | F | F | T |
| 295949 | F | F | T |
| 295950 | F | F | T |
| 295951 | F | F | T |
| 295952 | F | F | T |
| 295953 | F | F | T |
| 295954 | F | F | T |
| 295955 | F | F | T |
| 295956 | F | F | T |
| 295957 | F | F | T |
| 295958 | F | F | T |
| 295959 | F | F | T |
| 295960 | F | F | T |
| 295961 | F | F | T |
| 295962 | F | F | T |
| 295963 | F | F | T |
| 295964 | F | F | T |
| 295965 | F | F | T |
| 295966 | F | F | T |
| 295967 | F | F | T |
| 295968 | * | F | T |
| 295969 | F | F | T |
| 295970 | * | F | T |
| 295971 | F | F | T |
| 295972 | * | F | T |
| 295973 | F | F | T |
| 295974 | F | F | T |
| 295975 | * | F | T |
| 295976 | F | F | T |
| 295977 | * | F | T |
| 295978 | F | F | T |
| 295979 | F | F | T |
| 295980 | * | F | T |
| 295981 | F | F | T |
| 295982 | * | F | T |
| 295983 | F | F | T |
| 295984 | F | F | T |
| 295985 | * | F | T |
| 295986 | F | F | T |
| 295987 | * | F | T |
| 295988 | F | F | T |
| 295989 | * | F | T |
| 295990 | F | F | T |
| 295991 | * | F | T |
| 295992 | F | F | T |
| 295993 | F | F | T |
| 295994 | * | F | T |
| 295995 | F | F | T |
| 295996 | * | F | T |
| 295997 | F | F | T |
| 295998 | F | F | T |
| 295999 | * | F | T |
| 296000 | F | F | T |
| 296001 | * | F | T |
| 296002 | F | F | T |
| 296003 | F | F | T |
| 296004 | * | F | T |
| 296005 | F | F | T |
| 296006 | * | F | T |
| 296007 | F | F | T |
| 296008 | F | F | T |
| 296009 | * | F | T |
| 296010 | F | F | T |
| 296011 | * | F | T |
| 296012 | F | F | T |
| 296013 | * | F | T |
| 296014 | F | F | T |
| 296015 | * | F | T |
| 296016 | F | F | T |
| 296017 | F | F | T |
| 296018 | * | F | T |
| 296019 | F | F | T |
| 296020 | F | F | T |
| 296021 | F | F | T |
| 296022 | * | F | T |
| 373315 | F | T | T |
| 373316 | * | F | T |
| 373317 | F | T | T |
| 373318 | F | F | T |
| 373319 | * | T | T |
| 373320 | * | F | T |
| 373321 | F | T | T |
| 373322 | F | F | T |
| 373323 | F | F | T |
| 373324 | F | F | T |
| 373325 | F | F | T |
| 373326 | F | F | T |
| 373327 | F | F | T |
| 373328 | F | F | T |
| 373329 | F | F | T |
| 373330 | F | F | T |
| 373331 | F | F | T |
| 373332 | F | F | T |
| 373333 | F | F | T |
| 373334 | F | F | T |
| 373335 | F | F | T |
| 373336 | F | F | T |
| 373337 | F | F | T |
| 373338 | F | F | T |
| 373339 | F | F | T |
| 373340 | F | F | T |
| 373341 | F | F | T |
| 373342 | F | F | T |
| 373343 | F | F | T |
| 373344 | F | F | T |
| 373345 | * | F | T |
| 373346 | F | F | T |
| 373347 | * | F | T |
| 373348 | F | F | T |
| 373349 | * | F | T |
| 373350 | F | F | T |
| 373351 | F | F | T |
| 373352 | * | F | T |
| 373353 | F | F | T |
| 373354 | * | F | T |
| 373355 | F | F | T |
| 373356 | F | F | T |
| 373357 | * | F | T |
| 373358 | F | F | T |
| 373359 | * | F | T |
| 373360 | F | F | T |
| 373361 | F | F | T |
| 373362 | * | F | T |
| 373363 | F | F | T |
| 373364 | * | F | T |
| 373365 | F | F | T |
| 373366 | * | F | T |
| 373367 | F | F | T |
| 373368 | * | F | T |
| 373369 | F | F | T |
| 373370 | F | F | T |
| 373371 | * | F | T |
| 373372 | F | F | T |
| 373373 | * | F | T |
| 373374 | F | F | T |
| 373375 | F | F | T |
| 373376 | * | F | T |
| 373377 | F | F | T |
| 373378 | * | F | T |
| 373379 | F | F | T |
| 373380 | F | F | T |
| 373381 | * | F | T |
| 373382 | F | F | T |
| 373383 | * | F | T |
| 373384 | F | F | T |
| 373385 | F | F | T |
| 373386 | * | F | T |
| 373387 | F | F | T |
| 373388 | * | F | T |
| 373389 | F | F | T |
| 373390 | * | F | T |
| 373391 | F | F | T |
| 373392 | * | F | T |
| 373393 | F | F | T |
| 373394 | F | F | T |
| 373395 | * | F | T |
| 373396 | F | F | T |
| 373397 | F | F | T |
| 373398 | F | F | T |
| 373399 | * | F | T |
| 379049 | F | T | T |
| 379050 | * | F | T |
| 379051 | F | T | T |
| 379052 | F | F | T |
| 379053 | * | T | T |
| 379054 | * | F | T |
| 379055 | F | T | T |
| 379056 | F | F | T |
| 379057 | F | F | T |
| 379058 | F | F | T |
| 379059 | F | F | T |
| 379060 | F | F | T |
| 379061 | F | F | T |
| 379062 | F | F | T |
| 379063 | F | F | T |
| 379064 | F | F | T |
| 379065 | F | F | T |
| 379066 | F | F | T |
| 379067 | F | F | T |
| 379068 | F | F | T |
| 379069 | F | F | T |
| 379070 | F | F | T |
| 379071 | * | F | T |
| 381830 | F | T | T |
| 381831 | * | F | T |
| 381832 | F | T | T |
| 381833 | F | F | T |
| 381834 | * | T | T |
| 381835 | * | F | T |
| 381836 | * | T | T |
| 381837 | * | F | T |
| 381838 | * | T | T |
| 381839 | * | F | T |
| 381840 | F | T | T |
| 381841 | * | T | T |
| 381842 | * | F | T |
| 381843 | * | T | T |
| 381844 | * | F | T |
| 381845 | * | T | T |
| 381846 | * | F | T |
| 381847 | F | T | T |
| 381848 | * | T | T |
| 381849 | * | F | T |
| 381850 | F | T | T |
| 381851 | F | F | T |
| 381852 | F | F | T |
| 381853 | F | F | T |
| 381854 | F | F | T |
| 381855 | F | F | T |
| 381856 | F | F | T |
| 381857 | F | F | T |
| 381858 | F | F | T |
| 381859 | F | F | T |
| 381860 | F | F | T |
| 381861 | F | F | T |
| 381862 | F | F | T |
| 381863 | F | F | T |
| 381864 | F | F | T |
| 381865 | F | F | T |
| 381866 | * | F | T |
| 384666 | F | F | T |
| 384667 | F | T | T |
| 384668 | * | F | T |
| 384669 | * | T | T |
| 384670 | * | F | T |
| 384671 | * | T | T |
| 384672 | * | F | T |
| 384673 | F | T | T |
| 384674 | F | F | T |
| 384675 | F | F | T |
| 384676 | F | F | T |
| 384677 | F | F | T |
| 384678 | F | F | T |
| 384679 | F | F | T |
| 384680 | F | F | T |
| 384681 | F | F | T |
| 384682 | F | F | T |
| 384683 | F | F | T |
| 384684 | F | F | T |
| 384685 | F | F | T |
| 384686 | F | F | T |
| 384687 | F | F | T |
| 384688 | F | F | T |
| 384689 | * | F | T |
Independent-effect pairs
c0(branch9691): GAP view gap →alloc::fmt::format::format_inner· br_ifc1(branch9692): GAP view gap →alloc::fmt::format::format_inner· br_if