Decision #433 — lib.rs:512
Status: no_witness
Truth table
| row | c0 br 2926 | c1 br 2940 | c2 br 2941 | outcome |
|---|---|---|---|---|
| 17757 | T | * | * | T |
| 17758 | T | * | * | T |
| 17759 | T | * | * | T |
| 17760 | T | T | * | T |
| 17761 | * | T | * | T |
| 17762 | * | T | * | T |
| 17763 | * | T | * | T |
| 17764 | * | T | * | T |
| 17765 | * | T | * | T |
| 17766 | T | F | T | T |
| 17767 | T | * | * | T |
| 17768 | T | * | * | T |
| 17769 | T | T | * | T |
| 17770 | * | T | * | T |
| 17771 | * | T | * | T |
| 17772 | * | T | * | T |
| 17773 | * | T | * | T |
| 17774 | * | T | * | T |
| 17775 | T | F | T | T |
| 17776 | T | * | * | T |
| 17777 | T | * | * | T |
| 17778 | T | T | * | T |
| 17779 | * | T | * | T |
| 17780 | * | T | * | T |
| 17781 | * | T | * | T |
| 17782 | * | T | * | T |
| 17783 | * | T | * | T |
| 17784 | T | F | T | T |
| 17785 | T | * | * | T |
| 17786 | T | * | * | T |
| 17787 | T | T | * | T |
| 17788 | * | T | * | T |
| 17789 | * | T | * | T |
| 17790 | * | T | * | T |
| 17791 | * | T | * | T |
| 17792 | * | T | * | T |
| 17793 | T | F | T | T |
| 17794 | T | * | * | T |
| 17795 | T | * | * | T |
| 17796 | T | T | * | T |
| 17797 | * | T | * | T |
| 17798 | * | T | * | T |
| 17799 | * | T | * | T |
| 17800 | * | T | * | T |
| 17801 | * | T | * | T |
| 17802 | T | F | T | T |
| 17803 | T | * | * | T |
| 17804 | T | * | * | T |
| 17805 | T | T | * | T |
| 17806 | * | T | * | T |
| 17807 | * | T | * | T |
| 17808 | * | T | * | T |
| 17809 | * | T | * | T |
| 17810 | * | T | * | T |
| 17811 | T | F | T | T |
| 17812 | T | * | * | T |
| 17813 | T | * | * | T |
| 17814 | T | T | * | T |
| 17815 | * | T | * | T |
| 17816 | * | T | * | T |
| 17817 | * | T | * | T |
| 17818 | * | T | * | T |
| 17819 | * | T | * | T |
| 17820 | T | F | T | T |
| 17821 | T | * | * | T |
| 17822 | T | * | * | T |
| 17823 | T | T | * | T |
| 17824 | * | T | * | T |
| 17825 | * | T | * | T |
| 17826 | * | T | * | T |
| 17827 | * | T | * | T |
| 17828 | * | T | * | T |
| 17829 | * | F | T | T |
| 25475 | T | * | * | T |
| 25476 | T | * | * | T |
| 25477 | T | * | * | T |
| 25478 | T | T | * | T |
| 25479 | * | T | * | T |
| 25480 | * | T | * | T |
| 25481 | * | T | * | T |
| 25482 | * | T | * | T |
| 25483 | * | T | * | T |
| 25484 | T | F | T | T |
| 25485 | T | * | * | T |
| 25486 | T | * | * | T |
| 25487 | T | T | * | T |
| 25488 | * | T | * | T |
| 25489 | * | T | * | T |
| 25490 | * | T | * | T |
| 25491 | * | T | * | T |
| 25492 | * | T | * | T |
| 25493 | T | F | T | T |
| 25494 | T | * | * | T |
| 25495 | T | * | * | T |
| 25496 | T | T | * | T |
| 25497 | * | T | * | T |
| 25498 | * | T | * | T |
| 25499 | * | T | * | T |
| 25500 | * | T | * | T |
| 25501 | * | T | * | T |
| 25502 | T | F | T | T |
| 25503 | T | * | * | T |
| 25504 | T | * | * | T |
| 25505 | T | T | * | T |
| 25506 | * | T | * | T |
| 25507 | * | T | * | T |
| 25508 | * | T | * | T |
| 25509 | * | T | * | T |
| 25510 | * | T | * | T |
| 25511 | T | F | T | T |
| 25512 | T | * | * | T |
| 25513 | T | * | * | T |
| 25514 | T | T | * | T |
| 25515 | * | T | * | T |
| 25516 | * | T | * | T |
| 25517 | * | T | * | T |
| 25518 | * | T | * | T |
| 25519 | * | T | * | T |
| 25520 | T | F | T | T |
| 25521 | T | * | * | T |
| 25522 | T | * | * | T |
| 25523 | T | T | * | T |
| 25524 | * | T | * | T |
| 25525 | * | T | * | T |
| 25526 | * | T | * | T |
| 25527 | * | T | * | T |
| 25528 | * | T | * | T |
| 25529 | T | F | T | T |
| 25530 | T | * | * | T |
| 25531 | T | * | * | T |
| 25532 | T | T | * | T |
| 25533 | * | T | * | T |
| 25534 | * | T | * | T |
| 25535 | * | T | * | T |
| 25536 | * | T | * | T |
| 25537 | * | T | * | T |
| 25538 | T | F | T | T |
| 25539 | T | * | * | T |
| 25540 | T | * | * | T |
| 25541 | T | T | * | T |
| 25542 | * | T | * | T |
| 25543 | * | T | * | T |
| 25544 | * | T | * | T |
| 25545 | * | T | * | T |
| 25546 | * | T | * | T |
| 25547 | * | F | T | T |
| 31108 | T | * | * | T |
| 31109 | T | T | * | T |
| 31110 | * | T | * | T |
| 31111 | T | F | T | T |
| 31112 | T | T | * | T |
| 31113 | * | T | * | T |
| 31114 | T | F | T | T |
| 31115 | T | T | * | T |
| 31116 | * | T | * | T |
| 31117 | T | F | T | T |
| 31118 | T | T | * | T |
| 31119 | * | T | * | T |
| 31120 | T | F | T | T |
| 31121 | T | T | * | T |
| 31122 | * | T | * | T |
| 31123 | T | F | T | T |
| 31124 | T | T | * | T |
| 31125 | * | T | * | T |
| 31126 | T | F | T | T |
| 31127 | T | T | * | T |
| 31128 | * | T | * | T |
| 31129 | T | F | T | T |
| 31130 | T | T | * | T |
| 31131 | * | T | * | T |
| 31132 | T | F | T | T |
| 31133 | T | T | * | T |
| 31134 | * | T | * | T |
| 31135 | T | F | T | T |
| 31136 | T | T | * | T |
| 31137 | * | T | * | T |
| 31138 | T | F | T | T |
| 31139 | T | T | * | T |
| 31140 | * | T | * | T |
| 31141 | T | F | T | T |
| 31142 | T | T | * | T |
| 31143 | * | T | * | T |
| 31144 | T | F | T | T |
| 31145 | T | T | * | T |
| 31146 | * | T | * | T |
| 31147 | T | F | T | T |
| 31148 | T | T | * | T |
| 31149 | * | T | * | T |
| 31150 | T | F | T | T |
| 31151 | T | T | * | T |
| 31152 | * | T | * | T |
| 31153 | T | F | T | T |
| 31154 | T | T | * | T |
| 31155 | * | T | * | T |
| 31156 | T | F | T | T |
| 31157 | T | T | * | T |
| 31158 | * | T | * | T |
| 31159 | T | F | T | T |
| 31160 | T | T | * | T |
| 31161 | * | T | * | T |
| 31162 | T | F | T | T |
| 31163 | T | T | * | T |
| 31164 | * | T | * | T |
| 31165 | T | F | T | T |
| 31166 | T | T | * | T |
| 31167 | * | T | * | T |
| 31168 | T | F | T | T |
| 31169 | T | T | * | T |
| 31170 | * | T | * | T |
| 31171 | T | F | T | T |
| 31172 | T | T | * | T |
| 31173 | * | T | * | T |
| 31174 | T | F | T | T |
| 31175 | T | T | * | T |
| 31176 | * | T | * | T |
| 31177 | T | F | T | T |
| 31178 | T | T | * | T |
| 31179 | * | T | * | T |
| 31180 | T | F | T | T |
| 31181 | T | T | * | T |
| 31182 | * | T | * | T |
| 31183 | T | F | T | T |
| 31184 | T | T | * | T |
| 31185 | * | T | * | T |
| 31186 | T | F | T | T |
| 31187 | T | T | * | T |
| 31188 | * | T | * | T |
| 31189 | T | F | T | T |
| 31190 | T | T | * | T |
| 31191 | * | T | * | T |
| 31192 | * | F | T | T |
| 37046 | T | * | * | T |
| 37047 | T | T | * | T |
| 37048 | * | T | * | T |
| 37049 | T | F | T | T |
| 37050 | T | T | * | T |
| 37051 | * | T | * | T |
| 37052 | T | F | T | T |
| 37053 | T | T | * | T |
| 37054 | * | T | * | T |
| 37055 | T | F | T | T |
| 37056 | T | T | * | T |
| 37057 | * | T | * | T |
| 37058 | T | F | T | T |
| 37059 | T | T | * | T |
| 37060 | * | T | * | T |
| 37061 | T | F | T | T |
| 37062 | T | T | * | T |
| 37063 | * | T | * | T |
| 37064 | T | F | T | T |
| 37065 | T | T | * | T |
| 37066 | * | T | * | T |
| 37067 | T | F | T | T |
| 37068 | T | T | * | T |
| 37069 | * | T | * | T |
| 37070 | T | F | T | T |
| 37071 | T | T | * | T |
| 37072 | * | T | * | T |
| 37073 | T | F | T | T |
| 37074 | T | T | * | T |
| 37075 | * | T | * | T |
| 37076 | T | F | T | T |
| 37077 | T | T | * | T |
| 37078 | * | T | * | T |
| 37079 | T | F | T | T |
| 37080 | T | T | * | T |
| 37081 | * | T | * | T |
| 37082 | T | F | T | T |
| 37083 | T | T | * | T |
| 37084 | * | T | * | T |
| 37085 | T | F | T | T |
| 37086 | T | T | * | T |
| 37087 | * | T | * | T |
| 37088 | T | F | T | T |
| 37089 | T | T | * | T |
| 37090 | * | T | * | T |
| 37091 | T | F | T | T |
| 37092 | T | T | * | T |
| 37093 | * | T | * | T |
| 37094 | T | F | T | T |
| 37095 | T | T | * | T |
| 37096 | * | T | * | T |
| 37097 | T | F | T | T |
| 37098 | T | T | * | T |
| 37099 | * | T | * | T |
| 37100 | T | F | T | T |
| 37101 | T | T | * | T |
| 37102 | * | T | * | T |
| 37103 | T | F | T | T |
| 37104 | T | T | * | T |
| 37105 | * | T | * | T |
| 37106 | T | F | T | T |
| 37107 | T | T | * | T |
| 37108 | * | T | * | T |
| 37109 | T | F | T | T |
| 37110 | T | T | * | T |
| 37111 | * | T | * | T |
| 37112 | T | F | T | T |
| 37113 | T | T | * | T |
| 37114 | * | T | * | T |
| 37115 | T | F | T | T |
| 37116 | T | T | * | T |
| 37117 | * | T | * | T |
| 37118 | T | F | T | T |
| 37119 | T | T | * | T |
| 37120 | * | T | * | T |
| 37121 | T | F | T | T |
| 37122 | T | T | * | T |
| 37123 | * | T | * | T |
| 37124 | T | F | T | T |
| 37125 | T | T | * | T |
| 37126 | * | T | * | T |
| 37127 | T | F | T | T |
| 37128 | T | T | * | T |
| 37129 | * | T | * | T |
| 37130 | * | F | T | T |
| 59060 | T | * | * | T |
| 59061 | T | * | * | T |
| 59062 | T | * | * | T |
| 59063 | T | T | * | T |
| 59064 | * | T | * | T |
| 59065 | * | T | * | T |
| 59066 | * | T | * | T |
| 59067 | * | T | * | T |
| 59068 | * | T | * | T |
| 59069 | T | F | T | T |
| 59070 | T | * | * | T |
| 59071 | T | * | * | T |
| 59072 | T | T | * | T |
| 59073 | * | T | * | T |
| 59074 | * | T | * | T |
| 59075 | * | T | * | T |
| 59076 | * | T | * | T |
| 59077 | * | T | * | T |
| 59078 | T | F | T | T |
| 59079 | T | * | * | T |
| 59080 | T | * | * | T |
| 59081 | T | T | * | T |
| 59082 | * | T | * | T |
| 59083 | * | T | * | T |
| 59084 | * | T | * | T |
| 59085 | * | T | * | T |
| 59086 | * | T | * | T |
| 59087 | T | F | T | T |
| 59088 | T | * | * | T |
| 59089 | T | * | * | T |
| 59090 | T | T | * | T |
| 59091 | * | T | * | T |
| 59092 | * | T | * | T |
| 59093 | * | T | * | T |
| 59094 | * | T | * | T |
| 59095 | * | T | * | T |
| 59096 | T | F | T | T |
| 59097 | T | * | * | T |
| 59098 | T | * | * | T |
| 59099 | T | T | * | T |
| 59100 | * | T | * | T |
| 59101 | * | T | * | T |
| 59102 | * | T | * | T |
| 59103 | * | T | * | T |
| 59104 | * | T | * | T |
| 59105 | T | F | T | T |
| 59106 | T | * | * | T |
| 59107 | T | * | * | T |
| 59108 | T | T | * | T |
| 59109 | * | T | * | T |
| 59110 | * | T | * | T |
| 59111 | * | T | * | T |
| 59112 | * | T | * | T |
| 59113 | * | T | * | T |
| 59114 | T | F | T | T |
| 59115 | T | * | * | T |
| 59116 | T | * | * | T |
| 59117 | T | T | * | T |
| 59118 | * | T | * | T |
| 59119 | * | T | * | T |
| 59120 | * | T | * | T |
| 59121 | * | T | * | T |
| 59122 | * | T | * | T |
| 59123 | T | F | T | T |
| 59124 | T | * | * | T |
| 59125 | T | * | * | T |
| 59126 | T | T | * | T |
| 59127 | * | T | * | T |
| 59128 | * | T | * | T |
| 59129 | * | T | * | T |
| 59130 | * | T | * | T |
| 59131 | * | T | * | T |
| 59132 | T | F | T | T |
| 59133 | T | * | * | T |
| 59134 | T | * | * | T |
| 59135 | T | T | * | T |
| 59136 | * | T | * | T |
| 59137 | * | T | * | T |
| 59138 | * | T | * | T |
| 59139 | * | T | * | T |
| 59140 | * | T | * | T |
| 59141 | T | F | T | T |
| 59142 | T | * | * | T |
| 59143 | T | * | * | T |
| 59144 | T | T | * | T |
| 59145 | * | T | * | T |
| 59146 | * | T | * | T |
| 59147 | * | T | * | T |
| 59148 | * | T | * | T |
| 59149 | * | T | * | T |
| 59150 | T | F | T | T |
| 59151 | T | * | * | T |
| 59152 | T | * | * | T |
| 59153 | T | T | * | T |
| 59154 | * | T | * | T |
| 59155 | * | T | * | T |
| 59156 | * | T | * | T |
| 59157 | * | T | * | T |
| 59158 | * | T | * | T |
| 59159 | T | F | T | T |
| 59160 | T | * | * | T |
| 59161 | T | * | * | T |
| 59162 | T | T | * | T |
| 59163 | * | T | * | T |
| 59164 | * | T | * | T |
| 59165 | * | T | * | T |
| 59166 | * | T | * | T |
| 59167 | * | T | * | T |
| 59168 | * | F | T | T |
| 68832 | T | * | * | T |
| 68833 | T | * | * | T |
| 68834 | T | * | * | T |
| 68835 | T | T | * | T |
| 68836 | * | T | * | T |
| 68837 | * | T | * | T |
| 68838 | * | T | * | T |
| 68839 | * | T | * | T |
| 68840 | * | T | * | T |
| 68841 | T | F | T | T |
| 68842 | T | * | * | T |
| 68843 | T | * | * | T |
| 68844 | T | T | * | T |
| 68845 | * | T | * | T |
| 68846 | * | T | * | T |
| 68847 | * | T | * | T |
| 68848 | * | T | * | T |
| 68849 | * | T | * | T |
| 68850 | T | F | T | T |
| 68851 | T | * | * | T |
| 68852 | T | * | * | T |
| 68853 | T | T | * | T |
| 68854 | * | T | * | T |
| 68855 | * | T | * | T |
| 68856 | * | T | * | T |
| 68857 | * | T | * | T |
| 68858 | * | T | * | T |
| 68859 | T | F | T | T |
| 68860 | T | * | * | T |
| 68861 | T | * | * | T |
| 68862 | T | T | * | T |
| 68863 | * | T | * | T |
| 68864 | * | T | * | T |
| 68865 | * | T | * | T |
| 68866 | * | T | * | T |
| 68867 | * | T | * | T |
| 68868 | T | F | T | T |
| 68869 | T | * | * | T |
| 68870 | T | * | * | T |
| 68871 | T | T | * | T |
| 68872 | * | T | * | T |
| 68873 | * | T | * | T |
| 68874 | * | T | * | T |
| 68875 | * | T | * | T |
| 68876 | * | T | * | T |
| 68877 | T | F | T | T |
| 68878 | T | * | * | T |
| 68879 | T | * | * | T |
| 68880 | T | T | * | T |
| 68881 | * | T | * | T |
| 68882 | * | T | * | T |
| 68883 | * | T | * | T |
| 68884 | * | T | * | T |
| 68885 | * | T | * | T |
| 68886 | T | F | T | T |
| 68887 | T | * | * | T |
| 68888 | T | * | * | T |
| 68889 | T | T | * | T |
| 68890 | * | T | * | T |
| 68891 | * | T | * | T |
| 68892 | * | T | * | T |
| 68893 | * | T | * | T |
| 68894 | * | T | * | T |
| 68895 | T | F | T | T |
| 68896 | T | * | * | T |
| 68897 | T | * | * | T |
| 68898 | T | T | * | T |
| 68899 | * | T | * | T |
| 68900 | * | T | * | T |
| 68901 | * | T | * | T |
| 68902 | * | T | * | T |
| 68903 | * | T | * | T |
| 68904 | T | F | T | T |
| 68905 | T | * | * | T |
| 68906 | T | * | * | T |
| 68907 | T | T | * | T |
| 68908 | * | T | * | T |
| 68909 | * | T | * | T |
| 68910 | * | T | * | T |
| 68911 | * | T | * | T |
| 68912 | * | T | * | T |
| 68913 | T | F | T | T |
| 68914 | T | * | * | T |
| 68915 | T | * | * | T |
| 68916 | T | T | * | T |
| 68917 | * | T | * | T |
| 68918 | * | T | * | T |
| 68919 | * | T | * | T |
| 68920 | * | T | * | T |
| 68921 | * | T | * | T |
| 68922 | T | F | T | T |
| 68923 | T | * | * | T |
| 68924 | T | * | * | T |
| 68925 | T | T | * | T |
| 68926 | * | T | * | T |
| 68927 | * | T | * | T |
| 68928 | * | T | * | T |
| 68929 | * | T | * | T |
| 68930 | * | T | * | T |
| 68931 | T | F | T | T |
| 68932 | T | * | * | T |
| 68933 | T | * | * | T |
| 68934 | T | T | * | T |
| 68935 | * | T | * | T |
| 68936 | * | T | * | T |
| 68937 | * | T | * | T |
| 68938 | * | T | * | T |
| 68939 | * | T | * | T |
| 68940 | * | F | T | T |
| 106195 | T | * | * | T |
| 106196 | T | * | * | T |
| 106197 | T | * | * | T |
| 106198 | T | T | * | T |
| 106199 | * | T | * | T |
| 106200 | * | T | * | T |
| 106201 | * | T | * | T |
| 106202 | * | T | * | T |
| 106203 | * | T | * | T |
| 106204 | F | F | T | T |
| 106205 | T | * | * | T |
| 106206 | T | * | * | T |
| 106207 | T | * | * | T |
| 106208 | T | T | * | T |
| 106209 | * | T | * | T |
| 106210 | * | T | * | T |
| 106211 | * | T | * | T |
| 106212 | * | T | * | T |
| 106213 | * | T | * | T |
| 106214 | F | F | T | T |
| 106215 | T | * | * | T |
| 106216 | T | * | * | T |
| 106217 | T | * | * | T |
| 106218 | T | T | * | T |
| 106219 | * | T | * | T |
| 106220 | * | T | * | T |
| 106221 | * | T | * | T |
| 106222 | * | T | * | T |
| 106223 | * | T | * | T |
| 106224 | F | F | T | T |
| 106225 | T | * | * | T |
| 106226 | T | * | * | T |
| 106227 | T | * | * | T |
| 106228 | T | T | * | T |
| 106229 | * | T | * | T |
| 106230 | * | T | * | T |
| 106231 | * | T | * | T |
| 106232 | * | T | * | T |
| 106233 | * | T | * | T |
| 106234 | F | F | T | T |
| 106235 | T | * | * | T |
| 106236 | T | * | * | T |
| 106237 | T | * | * | T |
| 106238 | T | T | * | T |
| 106239 | * | T | * | T |
| 106240 | * | T | * | T |
| 106241 | * | T | * | T |
| 106242 | * | T | * | T |
| 106243 | * | T | * | T |
| 106244 | T | F | T | T |
| 106245 | T | * | * | T |
| 106246 | T | * | * | T |
| 106247 | T | T | * | T |
| 106248 | * | T | * | T |
| 106249 | * | T | * | T |
| 106250 | * | T | * | T |
| 106251 | * | T | * | T |
| 106252 | * | T | * | T |
| 106253 | T | F | T | T |
| 106254 | T | * | * | T |
| 106255 | T | * | * | T |
| 106256 | T | T | * | T |
| 106257 | * | T | * | T |
| 106258 | * | T | * | T |
| 106259 | * | T | * | T |
| 106260 | * | T | * | T |
| 106261 | * | T | * | T |
| 106262 | T | F | T | T |
| 106263 | T | * | * | T |
| 106264 | T | * | * | T |
| 106265 | T | T | * | T |
| 106266 | * | T | * | T |
| 106267 | * | T | * | T |
| 106268 | * | T | * | T |
| 106269 | * | T | * | T |
| 106270 | * | T | * | T |
| 106271 | T | F | T | T |
| 106272 | T | * | * | T |
| 106273 | T | * | * | T |
| 106274 | T | T | * | T |
| 106275 | * | T | * | T |
| 106276 | * | T | * | T |
| 106277 | * | T | * | T |
| 106278 | * | T | * | T |
| 106279 | * | T | * | T |
| 106280 | T | F | T | T |
| 106281 | T | * | * | T |
| 106282 | T | * | * | T |
| 106283 | T | T | * | T |
| 106284 | * | T | * | T |
| 106285 | * | T | * | T |
| 106286 | * | T | * | T |
| 106287 | * | T | * | T |
| 106288 | * | T | * | T |
| 106289 | T | F | T | T |
| 106290 | T | * | * | T |
| 106291 | T | * | * | T |
| 106292 | T | T | * | T |
| 106293 | * | T | * | T |
| 106294 | * | T | * | T |
| 106295 | * | T | * | T |
| 106296 | * | T | * | T |
| 106297 | * | T | * | T |
| 106298 | T | F | T | T |
| 106299 | T | * | * | T |
| 106300 | T | * | * | T |
| 106301 | T | T | * | T |
| 106302 | * | T | * | T |
| 106303 | * | T | * | T |
| 106304 | * | T | * | T |
| 106305 | * | T | * | T |
| 106306 | * | T | * | T |
| 106307 | T | F | T | T |
| 106308 | T | * | * | T |
| 106309 | T | * | * | T |
| 106310 | T | T | * | T |
| 106311 | * | T | * | T |
| 106312 | * | T | * | T |
| 106313 | * | T | * | T |
| 106314 | * | T | * | T |
| 106315 | * | T | * | T |
| 106316 | F | F | T | T |
| 106317 | T | * | * | T |
| 106318 | T | * | * | T |
| 106319 | T | * | * | T |
| 106320 | T | T | * | T |
| 106321 | * | T | * | T |
| 106322 | * | T | * | T |
| 106323 | * | T | * | T |
| 106324 | * | T | * | T |
| 106325 | * | T | * | T |
| 106326 | F | F | T | T |
| 106327 | T | * | * | T |
| 106328 | T | * | * | T |
| 106329 | T | * | * | T |
| 106330 | T | T | * | T |
| 106331 | * | T | * | T |
| 106332 | * | T | * | T |
| 106333 | * | T | * | T |
| 106334 | * | T | * | T |
| 106335 | * | T | * | T |
| 106336 | F | F | T | T |
| 106337 | T | * | * | T |
| 106338 | T | * | * | T |
| 106339 | T | * | * | T |
| 106340 | T | T | * | T |
| 106341 | * | T | * | T |
| 106342 | * | T | * | T |
| 106343 | * | T | * | T |
| 106344 | * | T | * | T |
| 106345 | * | T | * | T |
| 106346 | F | F | T | T |
| 106347 | T | * | * | T |
| 106348 | T | * | * | T |
| 106349 | T | * | * | T |
| 106350 | T | T | * | T |
| 106351 | * | T | * | T |
| 106352 | * | T | * | T |
| 106353 | * | T | * | T |
| 106354 | * | T | * | T |
| 106355 | * | T | * | T |
| 106356 | T | F | T | T |
| 106357 | T | * | * | T |
| 106358 | T | * | * | T |
| 106359 | T | T | * | T |
| 106360 | * | T | * | T |
| 106361 | * | T | * | T |
| 106362 | * | T | * | T |
| 106363 | * | T | * | T |
| 106364 | * | T | * | T |
| 106365 | T | F | T | T |
| 106366 | T | * | * | T |
| 106367 | T | * | * | T |
| 106368 | T | T | * | T |
| 106369 | * | T | * | T |
| 106370 | * | T | * | T |
| 106371 | * | T | * | T |
| 106372 | * | T | * | T |
| 106373 | * | T | * | T |
| 106374 | T | F | T | T |
| 106375 | T | * | * | T |
| 106376 | T | * | * | T |
| 106377 | T | T | * | T |
| 106378 | * | T | * | T |
| 106379 | * | T | * | T |
| 106380 | * | T | * | T |
| 106381 | * | T | * | T |
| 106382 | * | T | * | T |
| 106383 | T | F | T | T |
| 106384 | T | * | * | T |
| 106385 | T | * | * | T |
| 106386 | T | T | * | T |
| 106387 | * | T | * | T |
| 106388 | * | T | * | T |
| 106389 | * | T | * | T |
| 106390 | * | T | * | T |
| 106391 | * | T | * | T |
| 106392 | T | F | T | T |
| 106393 | T | * | * | T |
| 106394 | T | * | * | T |
| 106395 | T | T | * | T |
| 106396 | * | T | * | T |
| 106397 | * | T | * | T |
| 106398 | * | T | * | T |
| 106399 | * | T | * | T |
| 106400 | * | T | * | T |
| 106401 | T | F | T | T |
| 106402 | T | * | * | T |
| 106403 | T | * | * | T |
| 106404 | T | T | * | T |
| 106405 | * | T | * | T |
| 106406 | * | T | * | T |
| 106407 | * | T | * | T |
| 106408 | * | T | * | T |
| 106409 | * | T | * | T |
| 106410 | T | F | T | T |
| 106411 | T | * | * | T |
| 106412 | T | * | * | T |
| 106413 | T | T | * | T |
| 106414 | * | T | * | T |
| 106415 | * | T | * | T |
| 106416 | * | T | * | T |
| 106417 | * | T | * | T |
| 106418 | * | T | * | T |
| 106419 | * | F | T | T |
| 125058 | T | * | * | T |
| 125059 | T | * | * | T |
| 125060 | T | * | * | T |
| 125061 | T | T | * | T |
| 125062 | * | T | * | T |
| 125063 | * | T | * | T |
| 125064 | * | T | * | T |
| 125065 | * | T | * | T |
| 125066 | * | T | * | T |
| 125067 | F | F | T | T |
| 125068 | T | * | * | T |
| 125069 | T | * | * | T |
| 125070 | T | * | * | T |
| 125071 | T | T | * | T |
| 125072 | * | T | * | T |
| 125073 | * | T | * | T |
| 125074 | * | T | * | T |
| 125075 | * | T | * | T |
| 125076 | * | T | * | T |
| 125077 | F | F | T | T |
| 125078 | T | * | * | T |
| 125079 | T | * | * | T |
| 125080 | T | * | * | T |
| 125081 | T | T | * | T |
| 125082 | * | T | * | T |
| 125083 | * | T | * | T |
| 125084 | * | T | * | T |
| 125085 | * | T | * | T |
| 125086 | * | T | * | T |
| 125087 | F | F | T | T |
| 125088 | T | * | * | T |
| 125089 | T | * | * | T |
| 125090 | T | * | * | T |
| 125091 | T | T | * | T |
| 125092 | * | T | * | T |
| 125093 | * | T | * | T |
| 125094 | * | T | * | T |
| 125095 | * | T | * | T |
| 125096 | * | T | * | T |
| 125097 | F | F | T | T |
| 125098 | T | * | * | T |
| 125099 | T | * | * | T |
| 125100 | T | * | * | T |
| 125101 | T | T | * | T |
| 125102 | * | T | * | T |
| 125103 | * | T | * | T |
| 125104 | * | T | * | T |
| 125105 | * | T | * | T |
| 125106 | * | T | * | T |
| 125107 | T | F | T | T |
| 125108 | T | * | * | T |
| 125109 | T | * | * | T |
| 125110 | T | T | * | T |
| 125111 | * | T | * | T |
| 125112 | * | T | * | T |
| 125113 | * | T | * | T |
| 125114 | * | T | * | T |
| 125115 | * | T | * | T |
| 125116 | T | F | T | T |
| 125117 | T | * | * | T |
| 125118 | T | * | * | T |
| 125119 | T | T | * | T |
| 125120 | * | T | * | T |
| 125121 | * | T | * | T |
| 125122 | * | T | * | T |
| 125123 | * | T | * | T |
| 125124 | * | T | * | T |
| 125125 | T | F | T | T |
| 125126 | T | * | * | T |
| 125127 | T | * | * | T |
| 125128 | T | T | * | T |
| 125129 | * | T | * | T |
| 125130 | * | T | * | T |
| 125131 | * | T | * | T |
| 125132 | * | T | * | T |
| 125133 | * | T | * | T |
| 125134 | T | F | T | T |
| 125135 | T | * | * | T |
| 125136 | T | * | * | T |
| 125137 | T | T | * | T |
| 125138 | * | T | * | T |
| 125139 | * | T | * | T |
| 125140 | * | T | * | T |
| 125141 | * | T | * | T |
| 125142 | * | T | * | T |
| 125143 | T | F | T | T |
| 125144 | T | * | * | T |
| 125145 | T | * | * | T |
| 125146 | T | T | * | T |
| 125147 | * | T | * | T |
| 125148 | * | T | * | T |
| 125149 | * | T | * | T |
| 125150 | * | T | * | T |
| 125151 | * | T | * | T |
| 125152 | T | F | T | T |
| 125153 | T | * | * | T |
| 125154 | T | * | * | T |
| 125155 | T | T | * | T |
| 125156 | * | T | * | T |
| 125157 | * | T | * | T |
| 125158 | * | T | * | T |
| 125159 | * | T | * | T |
| 125160 | * | T | * | T |
| 125161 | T | F | T | T |
| 125162 | T | * | * | T |
| 125163 | T | * | * | T |
| 125164 | T | T | * | T |
| 125165 | * | T | * | T |
| 125166 | * | T | * | T |
| 125167 | * | T | * | T |
| 125168 | * | T | * | T |
| 125169 | * | T | * | T |
| 125170 | T | F | T | T |
| 125171 | T | * | * | T |
| 125172 | T | * | * | T |
| 125173 | T | T | * | T |
| 125174 | * | T | * | T |
| 125175 | * | T | * | T |
| 125176 | * | T | * | T |
| 125177 | * | T | * | T |
| 125178 | * | T | * | T |
| 125179 | F | F | T | T |
| 125180 | T | * | * | T |
| 125181 | T | * | * | T |
| 125182 | T | * | * | T |
| 125183 | T | T | * | T |
| 125184 | * | T | * | T |
| 125185 | * | T | * | T |
| 125186 | * | T | * | T |
| 125187 | * | T | * | T |
| 125188 | * | T | * | T |
| 125189 | F | F | T | T |
| 125190 | T | * | * | T |
| 125191 | T | * | * | T |
| 125192 | T | * | * | T |
| 125193 | T | T | * | T |
| 125194 | * | T | * | T |
| 125195 | * | T | * | T |
| 125196 | * | T | * | T |
| 125197 | * | T | * | T |
| 125198 | * | T | * | T |
| 125199 | F | F | T | T |
| 125200 | T | * | * | T |
| 125201 | T | * | * | T |
| 125202 | T | * | * | T |
| 125203 | T | T | * | T |
| 125204 | * | T | * | T |
| 125205 | * | T | * | T |
| 125206 | * | T | * | T |
| 125207 | * | T | * | T |
| 125208 | * | T | * | T |
| 125209 | F | F | T | T |
| 125210 | T | * | * | T |
| 125211 | T | * | * | T |
| 125212 | T | * | * | T |
| 125213 | T | T | * | T |
| 125214 | * | T | * | T |
| 125215 | * | T | * | T |
| 125216 | * | T | * | T |
| 125217 | * | T | * | T |
| 125218 | * | T | * | T |
| 125219 | T | F | T | T |
| 125220 | T | * | * | T |
| 125221 | T | * | * | T |
| 125222 | T | T | * | T |
| 125223 | * | T | * | T |
| 125224 | * | T | * | T |
| 125225 | * | T | * | T |
| 125226 | * | T | * | T |
| 125227 | * | T | * | T |
| 125228 | T | F | T | T |
| 125229 | T | * | * | T |
| 125230 | T | * | * | T |
| 125231 | T | T | * | T |
| 125232 | * | T | * | T |
| 125233 | * | T | * | T |
| 125234 | * | T | * | T |
| 125235 | * | T | * | T |
| 125236 | * | T | * | T |
| 125237 | T | F | T | T |
| 125238 | T | * | * | T |
| 125239 | T | * | * | T |
| 125240 | T | T | * | T |
| 125241 | * | T | * | T |
| 125242 | * | T | * | T |
| 125243 | * | T | * | T |
| 125244 | * | T | * | T |
| 125245 | * | T | * | T |
| 125246 | T | F | T | T |
| 125247 | T | * | * | T |
| 125248 | T | * | * | T |
| 125249 | T | T | * | T |
| 125250 | * | T | * | T |
| 125251 | * | T | * | T |
| 125252 | * | T | * | T |
| 125253 | * | T | * | T |
| 125254 | * | T | * | T |
| 125255 | T | F | T | T |
| 125256 | T | * | * | T |
| 125257 | T | * | * | T |
| 125258 | T | T | * | T |
| 125259 | * | T | * | T |
| 125260 | * | T | * | T |
| 125261 | * | T | * | T |
| 125262 | * | T | * | T |
| 125263 | * | T | * | T |
| 125264 | T | F | T | T |
| 125265 | T | * | * | T |
| 125266 | T | * | * | T |
| 125267 | T | T | * | T |
| 125268 | * | T | * | T |
| 125269 | * | T | * | T |
| 125270 | * | T | * | T |
| 125271 | * | T | * | T |
| 125272 | * | T | * | T |
| 125273 | T | F | T | T |
| 125274 | T | * | * | T |
| 125275 | T | * | * | T |
| 125276 | T | T | * | T |
| 125277 | * | T | * | T |
| 125278 | * | T | * | T |
| 125279 | * | T | * | T |
| 125280 | * | T | * | T |
| 125281 | * | T | * | T |
| 125282 | * | F | T | T |
Independent-effect pairs
All 3 conditions live in scry_octagon::join — 3 br_if
c0(branch2926): GAP view gap →c1(branch2940): GAP view gap →c2(branch2941): GAP view gap →