Decision #777 — library/alloc/src/alloc.rs:128
Status: partial
Truth table
| row | c0 br 4990 | c1 br 4991 | outcome |
|---|---|---|---|
| 1909 | F | T | T |
| 1910 | F | T | T |
| 1911 | F | T | T |
| 1912 | F | T | T |
| 1913 | F | T | T |
| 1914 | F | T | T |
| 1915 | F | T | T |
| 1916 | F | T | T |
| 1917 | F | T | T |
| 1918 | F | T | T |
| 1919 | F | T | T |
| 1920 | F | T | T |
| 1921 | F | T | T |
| 1922 | F | T | T |
| 1923 | F | T | T |
| 1924 | F | T | T |
| 1925 | F | T | T |
| 1926 | F | T | T |
| 1927 | F | T | T |
| 1928 | F | T | T |
| 1929 | F | T | T |
| 1930 | F | T | T |
| 1931 | F | T | T |
| 1932 | F | T | T |
| 8868 | F | T | T |
| 8869 | F | T | T |
| 8870 | F | T | T |
| 8871 | F | T | T |
| 8872 | F | T | T |
| 8873 | F | T | T |
| 8874 | F | T | T |
| 8875 | F | T | T |
| 8876 | F | T | T |
| 8877 | F | T | T |
| 8878 | F | T | T |
| 8879 | F | T | T |
| 8880 | F | T | T |
| 8881 | F | T | T |
| 8882 | F | T | T |
| 8883 | F | T | T |
| 8884 | F | T | T |
| 8885 | F | T | T |
| 8886 | F | T | T |
| 8887 | F | T | T |
| 8888 | F | T | T |
| 8889 | F | T | T |
| 8890 | F | T | T |
| 8891 | F | T | T |
| 15674 | F | T | T |
| 15675 | F | T | T |
| 15676 | F | T | T |
| 15677 | F | T | T |
| 15678 | F | T | T |
| 15679 | F | T | T |
| 15680 | F | T | T |
| 15681 | F | T | T |
| 15682 | F | T | T |
| 15683 | F | T | T |
| 15684 | F | T | T |
| 15685 | F | T | T |
| 15686 | F | T | T |
| 15687 | F | T | T |
| 15688 | F | T | T |
| 15689 | F | T | T |
| 15690 | F | T | T |
| 15691 | F | T | T |
| 15692 | F | T | T |
| 15693 | F | T | T |
| 15694 | F | T | T |
| 15695 | F | T | T |
| 15696 | F | T | T |
| 15697 | F | T | T |
| 21986 | F | T | T |
| 21987 | F | T | T |
| 21988 | F | T | T |
| 21989 | F | T | T |
| 21990 | F | T | T |
| 21991 | F | T | T |
| 21992 | F | T | T |
| 21993 | F | T | T |
| 21994 | F | T | T |
| 21995 | F | T | T |
| 21996 | F | T | T |
| 21997 | F | T | T |
| 24728 | F | T | T |
| 24729 | F | T | T |
| 24730 | F | T | T |
| 24731 | F | T | T |
| 24732 | F | T | T |
| 24733 | F | T | T |
| 24734 | F | T | T |
| 24735 | F | T | T |
| 24736 | F | T | T |
| 24737 | F | T | T |
| 24738 | F | T | T |
| 24739 | F | T | T |
| 27372 | F | T | T |
| 27373 | F | T | T |
| 27374 | F | T | T |
| 27375 | F | T | T |
| 27376 | F | T | T |
| 27377 | F | T | T |
| 27378 | F | T | T |
| 27379 | F | T | T |
| 27380 | F | T | T |
| 27381 | F | T | T |
| 27382 | F | T | T |
| 27383 | F | T | T |
| 31231 | F | T | T |
| 31232 | F | F | F |
| 31233 | F | T | T |
| 31234 | F | T | T |
| 31235 | F | T | T |
| 31236 | F | F | F |
| 31237 | F | T | T |
| 31238 | F | T | T |
| 31239 | F | T | T |
| 31240 | F | F | F |
| 31241 | F | T | T |
| 31242 | F | T | T |
| 31243 | F | T | T |
| 31244 | F | F | F |
| 31245 | F | T | T |
| 31246 | F | T | T |
| 31247 | F | T | T |
| 31248 | F | F | F |
| 31249 | F | T | T |
| 31250 | F | T | T |
| 31251 | F | T | T |
| 31252 | F | F | F |
| 31253 | F | T | T |
| 31254 | F | T | T |
| 31255 | F | T | T |
| 31256 | F | F | F |
| 31257 | F | T | T |
| 31258 | F | T | T |
| 31259 | F | T | T |
| 31260 | F | F | F |
| 31261 | F | T | T |
| 31262 | F | T | T |
| 52085 | F | T | T |
| 52086 | F | F | F |
| 52087 | F | T | T |
| 52088 | F | T | T |
| 52089 | F | T | T |
| 52090 | F | F | F |
| 52091 | F | T | T |
| 52092 | F | T | T |
| 52093 | F | T | T |
| 52094 | F | F | F |
| 52095 | F | T | T |
| 52096 | F | T | T |
| 52097 | F | T | T |
| 52098 | F | F | F |
| 52099 | F | T | T |
| 52100 | F | T | T |
| 52101 | F | T | T |
| 52102 | F | F | F |
| 52103 | F | T | T |
| 52104 | F | T | T |
| 52105 | F | T | T |
| 52106 | F | F | F |
| 52107 | F | T | T |
| 52108 | F | T | T |
| 52109 | F | T | T |
| 52110 | F | F | F |
| 52111 | F | T | T |
| 52112 | F | T | T |
| 52113 | F | T | T |
| 52114 | F | F | F |
| 52115 | F | T | T |
| 52116 | F | T | T |
| 73114 | F | T | T |
| 73115 | F | T | T |
| 73116 | F | T | T |
| 73117 | F | F | F |
| 73118 | F | T | T |
| 73119 | F | T | T |
| 73120 | F | T | T |
| 73121 | F | F | F |
| 73122 | F | T | T |
| 73123 | F | T | T |
| 73124 | F | T | T |
| 73125 | F | F | F |
| 73126 | F | T | T |
| 73127 | F | T | T |
| 73128 | F | T | T |
| 73129 | F | F | F |
| 73130 | F | T | T |
| 73131 | F | T | T |
| 73132 | F | T | T |
| 73133 | F | F | F |
| 73134 | F | T | T |
| 73135 | F | T | T |
| 73136 | F | T | T |
| 73137 | F | F | F |
| 73138 | F | T | T |
| 73139 | F | T | T |
| 73140 | F | T | T |
| 73141 | F | F | F |
| 73142 | F | T | T |
| 73143 | F | T | T |
| 73144 | F | T | T |
| 73145 | F | T | T |
| 73146 | F | T | T |
| 73147 | F | F | F |
| 73148 | F | T | T |
| 73149 | F | T | T |
| 73150 | F | T | T |
| 73151 | F | F | F |
| 73152 | F | T | T |
| 73153 | F | T | T |
| 73154 | F | T | T |
| 73155 | F | F | F |
| 73156 | F | T | T |
| 73157 | F | T | T |
| 73158 | F | T | T |
| 73159 | F | F | F |
| 73160 | F | T | T |
| 73161 | F | T | T |
| 73162 | F | T | T |
| 73163 | F | F | F |
| 73164 | F | T | T |
| 73165 | F | T | T |
| 73166 | F | T | T |
| 73167 | F | F | F |
| 73168 | F | T | T |
| 73169 | F | T | T |
| 73170 | F | T | T |
| 73171 | F | F | F |
| 73172 | F | T | T |
| 73173 | F | T | T |
| 82997 | F | T | T |
| 82998 | F | T | T |
| 82999 | F | T | T |
| 83000 | F | F | F |
| 83001 | F | T | T |
| 83002 | F | T | T |
| 83003 | F | T | T |
| 83004 | F | F | F |
| 83005 | F | T | T |
| 83006 | F | T | T |
| 83007 | F | T | T |
| 83008 | F | F | F |
| 83009 | F | T | T |
| 83010 | F | T | T |
| 83011 | F | T | T |
| 83012 | F | F | F |
| 83013 | F | T | T |
| 83014 | F | T | T |
| 83015 | F | T | T |
| 83016 | F | F | F |
| 83017 | F | T | T |
| 83018 | F | T | T |
| 83019 | F | T | T |
| 83020 | F | F | F |
| 83021 | F | T | T |
| 83022 | F | T | T |
| 83023 | F | T | T |
| 83024 | F | F | F |
| 83025 | F | T | T |
| 83026 | F | T | T |
| 83027 | F | T | T |
| 83028 | F | T | T |
| 83029 | F | T | T |
| 83030 | F | F | F |
| 83031 | F | T | T |
| 83032 | F | T | T |
| 83033 | F | T | T |
| 83034 | F | F | F |
| 83035 | F | T | T |
| 83036 | F | T | T |
| 83037 | F | T | T |
| 83038 | F | F | F |
| 83039 | F | T | T |
| 83040 | F | T | T |
| 83041 | F | T | T |
| 83042 | F | F | F |
| 83043 | F | T | T |
| 83044 | F | T | T |
| 83045 | F | T | T |
| 83046 | F | F | F |
| 83047 | F | T | T |
| 83048 | F | T | T |
| 83049 | F | T | T |
| 83050 | F | F | F |
| 83051 | F | T | T |
| 83052 | F | T | T |
| 83053 | F | T | T |
| 83054 | F | F | F |
| 83055 | F | T | T |
| 83056 | F | T | T |
| 92665 | F | T | T |
| 92666 | F | T | T |
| 92667 | F | T | T |
| 92668 | F | T | T |
| 92669 | F | T | T |
| 92670 | F | T | T |
| 92671 | F | T | T |
| 92672 | F | T | T |
| 92673 | F | T | T |
| 92674 | F | T | T |
| 92675 | F | T | T |
| 92676 | F | T | T |
| 92677 | F | T | T |
| 92678 | F | T | T |
| 92679 | F | T | T |
| 92680 | F | T | T |
| 92681 | F | T | T |
| 92682 | F | T | T |
| 92683 | F | T | T |
| 92684 | F | T | T |
| 92685 | F | T | T |
| 92686 | F | T | T |
| 92687 | F | T | T |
| 92688 | F | T | T |
| 92689 | F | T | T |
| 92690 | F | T | T |
| 92691 | F | T | T |
| 92692 | F | T | T |
| 92693 | F | T | T |
| 92694 | F | T | T |
| 92695 | F | T | T |
| 92696 | F | T | T |
| 92697 | F | T | T |
| 92698 | F | T | T |
| 92699 | F | T | T |
| 92700 | F | T | T |
| 100496 | F | T | T |
| 100497 | F | T | T |
| 100498 | F | T | T |
| 100499 | F | T | T |
| 100500 | F | T | T |
| 100501 | F | T | T |
| 100502 | F | T | T |
| 100503 | F | T | T |
| 100504 | F | T | T |
| 100505 | F | T | T |
| 100506 | F | T | T |
| 100507 | F | T | T |
| 100508 | F | T | T |
| 100509 | F | T | T |
| 100510 | F | T | T |
| 100511 | F | T | T |
| 100512 | F | T | T |
| 100513 | F | T | T |
| 100514 | F | T | T |
| 100515 | F | T | T |
| 100516 | F | T | T |
| 100517 | F | T | T |
| 100518 | F | T | T |
| 100519 | F | T | T |
| 100520 | F | T | T |
| 100521 | F | T | T |
| 100522 | F | T | T |
| 100523 | F | T | T |
| 100524 | F | T | T |
| 100525 | F | T | T |
| 100526 | F | T | T |
| 100527 | F | T | T |
| 100528 | F | T | T |
| 100529 | F | T | T |
| 100530 | F | T | T |
| 100531 | F | T | T |
| 108984 | F | T | T |
| 108985 | F | T | T |
| 108986 | F | T | T |
| 108987 | F | T | T |
| 108988 | F | T | T |
| 108989 | F | T | T |
| 108990 | F | T | T |
| 108991 | F | T | T |
| 108992 | F | T | T |
| 108993 | F | T | T |
| 108994 | F | T | T |
| 108995 | F | T | T |
| 108996 | F | T | T |
| 108997 | F | T | T |
| 108998 | F | T | T |
| 108999 | F | T | T |
| 109000 | F | T | T |
| 109001 | F | T | T |
| 109002 | F | T | T |
| 109003 | F | T | T |
| 109004 | F | T | T |
| 109005 | F | T | T |
| 109006 | F | T | T |
| 109007 | F | T | T |
| 109008 | F | T | T |
| 109009 | F | T | T |
| 109010 | F | T | T |
| 109011 | F | T | T |
| 109012 | F | T | T |
| 109013 | F | T | T |
| 109014 | F | T | T |
| 109015 | F | T | T |
| 109016 | F | T | T |
| 109017 | F | T | T |
| 109018 | F | T | T |
| 109019 | F | T | T |
| 117009 | F | T | T |
| 117010 | F | T | T |
| 117011 | F | T | T |
| 117012 | F | T | T |
| 117013 | F | T | T |
| 117014 | F | T | T |
| 117015 | F | T | T |
| 117016 | F | T | T |
| 117017 | F | T | T |
| 117018 | F | T | T |
| 117019 | F | T | T |
| 117020 | F | T | T |
| 117021 | F | T | T |
| 117022 | F | T | T |
| 117023 | F | T | T |
| 117024 | F | T | T |
| 117025 | F | T | T |
| 117026 | F | T | T |
| 117027 | F | T | T |
| 117028 | F | T | T |
| 117029 | F | T | T |
| 117030 | F | T | T |
| 117031 | F | T | T |
| 117032 | F | T | T |
| 117033 | F | T | T |
| 117034 | F | T | T |
| 117035 | F | T | T |
| 117036 | F | T | T |
| 117037 | F | T | T |
| 117038 | F | T | T |
| 117039 | F | T | T |
| 117040 | F | T | T |
| 117041 | F | T | T |
| 117042 | F | T | T |
| 117043 | F | T | T |
| 117044 | F | T | T |
| 125035 | F | T | T |
| 125036 | F | F | F |
| 125037 | F | T | T |
| 125038 | F | T | T |
| 125039 | F | T | T |
| 125040 | F | F | F |
| 125041 | F | T | T |
| 125042 | F | F | F |
| 125043 | F | T | T |
| 125044 | F | T | T |
| 125045 | F | T | T |
| 125046 | F | F | F |
| 125047 | F | T | T |
| 125048 | F | F | F |
| 125049 | F | T | T |
| 125050 | F | T | T |
| 125051 | F | T | T |
| 125052 | F | F | F |
| 125053 | F | T | T |
| 125054 | F | F | F |
| 125055 | F | T | T |
| 125056 | F | T | T |
| 125057 | F | T | T |
| 125058 | F | F | F |
| 125059 | F | T | T |
| 125060 | F | T | T |
| 125061 | F | T | T |
| 125062 | F | F | F |
| 125063 | F | T | T |
| 125064 | F | T | T |
| 125065 | F | T | T |
| 125066 | F | F | F |
| 125067 | F | T | T |
| 125068 | F | F | F |
| 125069 | F | T | T |
| 125070 | F | T | T |
| 125071 | F | T | T |
| 125072 | F | F | F |
| 125073 | F | T | T |
| 125074 | F | F | F |
| 125075 | F | T | T |
| 125076 | F | T | T |
| 125077 | F | T | T |
| 125078 | F | F | F |
| 125079 | F | T | T |
| 125080 | F | F | F |
| 125081 | F | T | T |
| 125082 | F | T | T |
| 125083 | F | T | T |
| 125084 | F | F | F |
| 125085 | F | T | T |
| 125086 | F | T | T |
| 141754 | F | T | T |
| 141755 | F | F | F |
| 141756 | F | T | T |
| 141757 | F | T | T |
| 141758 | F | T | T |
| 141759 | F | F | F |
| 141760 | F | T | T |
| 141761 | F | F | F |
| 141762 | F | T | T |
| 141763 | F | T | T |
| 141764 | F | T | T |
| 141765 | F | F | F |
| 141766 | F | T | T |
| 141767 | F | F | F |
| 141768 | F | T | T |
| 141769 | F | T | T |
| 141770 | F | T | T |
| 141771 | F | F | F |
| 141772 | F | T | T |
| 141773 | F | F | F |
| 141774 | F | T | T |
| 141775 | F | T | T |
| 141776 | F | T | T |
| 141777 | F | F | F |
| 141778 | F | T | T |
| 141779 | F | T | T |
| 141780 | F | T | T |
| 141781 | F | F | F |
| 141782 | F | T | T |
| 141783 | F | T | T |
| 141784 | F | T | T |
| 141785 | F | F | F |
| 141786 | F | T | T |
| 141787 | F | F | F |
| 141788 | F | T | T |
| 141789 | F | T | T |
| 141790 | F | T | T |
| 141791 | F | F | F |
| 141792 | F | T | T |
| 141793 | F | F | F |
| 141794 | F | T | T |
| 141795 | F | T | T |
| 141796 | F | T | T |
| 141797 | F | F | F |
| 141798 | F | T | T |
| 141799 | F | F | F |
| 141800 | F | T | T |
| 141801 | F | T | T |
| 141802 | F | T | T |
| 141803 | F | F | F |
| 141804 | F | T | T |
| 141805 | F | T | T |
| 159292 | F | T | T |
| 159293 | F | T | T |
| 159294 | F | T | T |
| 159295 | F | T | T |
| 159296 | F | T | T |
| 159297 | F | T | T |
| 159298 | F | T | T |
| 159299 | F | T | T |
| 159300 | F | T | T |
| 159301 | F | T | T |
| 159302 | F | T | T |
| 159303 | F | T | T |
| 159304 | F | T | T |
| 159305 | F | T | T |
| 159306 | F | T | T |
| 159307 | F | T | T |
| 159308 | F | T | T |
| 159309 | F | T | T |
| 159310 | F | T | T |
| 159311 | F | T | T |
| 159312 | F | T | T |
| 159313 | F | T | T |
| 159314 | F | T | T |
| 159315 | F | T | T |
| 159316 | F | T | T |
| 159317 | F | T | T |
| 159318 | F | T | T |
| 159319 | F | T | T |
| 159320 | F | T | T |
| 159321 | F | T | T |
| 159322 | F | T | T |
| 159323 | F | T | T |
| 159324 | F | T | T |
| 159325 | F | T | T |
| 159326 | F | T | T |
| 159327 | F | T | T |
| 159328 | F | T | T |
| 159329 | F | T | T |
| 159330 | F | T | T |
| 159331 | F | T | T |
| 159332 | F | T | T |
| 159333 | F | T | T |
| 159334 | F | T | T |
| 159335 | F | T | T |
| 159336 | F | T | T |
| 159337 | F | T | T |
| 159338 | F | T | T |
| 159339 | F | T | T |
| 169150 | F | T | T |
| 169151 | F | T | T |
| 169152 | F | T | T |
| 169153 | F | T | T |
| 169154 | F | T | T |
| 169155 | F | T | T |
| 169156 | F | T | T |
| 169157 | F | T | T |
| 169158 | F | T | T |
| 169159 | F | T | T |
| 169160 | F | T | T |
| 169161 | F | T | T |
| 169162 | F | T | T |
| 169163 | F | T | T |
| 169164 | F | T | T |
| 169165 | F | T | T |
| 169166 | F | T | T |
| 169167 | F | T | T |
| 169168 | F | T | T |
| 169169 | F | T | T |
| 169170 | F | T | T |
| 169171 | F | T | T |
| 169172 | F | T | T |
| 169173 | F | T | T |
| 169174 | F | T | T |
| 169175 | F | T | T |
| 169176 | F | T | T |
| 169177 | F | T | T |
| 169178 | F | T | T |
| 169179 | F | T | T |
| 169180 | F | T | T |
| 169181 | F | T | T |
| 169182 | F | T | T |
| 169183 | F | T | T |
| 169184 | F | T | T |
| 169185 | F | T | T |
| 169186 | F | T | T |
| 169187 | F | T | T |
| 169188 | F | T | T |
| 169189 | F | T | T |
| 169190 | F | T | T |
| 169191 | F | T | T |
| 169192 | F | T | T |
| 169193 | F | T | T |
| 169194 | F | T | T |
| 169195 | F | T | T |
| 169196 | F | T | T |
| 169197 | F | T | T |
| 176960 | F | T | T |
| 176961 | F | T | T |
| 176962 | F | T | T |
| 176963 | F | T | T |
| 181479 | F | T | T |
| 181480 | F | T | T |
| 181481 | F | T | T |
| 181482 | F | T | T |
| 181483 | F | T | T |
| 181484 | F | T | T |
| 181485 | F | T | T |
| 181486 | F | T | T |
| 181487 | F | T | T |
| 181488 | F | T | T |
| 184797 | F | T | T |
| 184798 | F | T | T |
| 184799 | F | T | T |
| 184800 | F | T | T |
| 184801 | F | T | T |
| 184802 | F | T | T |
| 184803 | F | T | T |
| 184804 | F | T | T |
| 184805 | F | T | T |
| 184806 | F | T | T |
| 187906 | F | T | T |
| 187907 | F | T | T |
| 187908 | F | T | T |
| 187909 | F | T | T |
| 187910 | F | T | T |
| 187911 | F | T | T |
| 187912 | F | T | T |
| 187913 | F | T | T |
| 187914 | F | T | T |
| 187915 | F | T | T |
| 191555 | F | T | T |
| 191556 | F | T | T |
| 191557 | F | T | T |
| 191558 | F | T | T |
| 191559 | F | T | T |
| 191560 | F | T | T |
| 191561 | F | T | T |
| 191562 | F | T | T |
| 191563 | F | T | T |
| 191564 | F | T | T |
| 191565 | F | T | T |
| 191566 | F | T | T |
| 191567 | F | T | T |
| 191568 | F | T | T |
| 191569 | F | T | T |
| 191570 | F | T | T |
| 191571 | F | T | T |
| 191572 | F | T | T |
| 191573 | F | T | T |
| 191574 | F | T | T |
| 197401 | F | T | T |
| 197402 | F | T | T |
| 197403 | F | T | T |
| 197404 | F | T | T |
| 197405 | F | T | T |
| 197406 | F | T | T |
| 197407 | F | T | T |
| 197408 | F | T | T |
| 197409 | F | T | T |
| 197410 | F | T | T |
| 197411 | F | T | T |
| 197412 | F | T | T |
| 197413 | F | T | T |
| 197414 | F | T | T |
| 197415 | F | T | T |
| 197416 | F | T | T |
| 197417 | F | T | T |
| 197418 | F | T | T |
| 197419 | F | T | T |
| 197420 | F | T | T |
| 197421 | F | T | T |
| 197422 | F | T | T |
| 197423 | F | T | T |
| 197424 | F | T | T |
| 197425 | F | T | T |
| 197426 | F | T | T |
| 197427 | F | T | T |
| 197428 | F | T | T |
| 197429 | F | T | T |
| 197430 | F | T | T |
| 197431 | F | T | T |
| 197432 | F | T | T |
| 197433 | F | T | T |
| 197434 | F | T | T |
| 197435 | F | T | T |
| 197436 | F | T | T |
| 197437 | F | T | T |
| 197438 | F | T | T |
| 197439 | F | T | T |
| 197440 | F | T | T |
| 197441 | F | T | T |
| 197442 | F | T | T |
| 197443 | F | T | T |
| 197444 | F | T | T |
| 197445 | F | T | T |
| 197446 | F | T | T |
| 197447 | F | T | T |
| 197448 | F | T | T |
| 197449 | F | T | T |
| 197450 | F | T | T |
| 197451 | F | T | T |
| 197452 | F | T | T |
| 197453 | F | T | T |
| 197454 | F | T | T |
| 197455 | F | T | T |
| 197456 | F | T | T |
| 197457 | F | T | T |
| 197458 | F | T | T |
| 197459 | F | T | T |
| 197460 | F | T | T |
| 203601 | F | T | T |
| 203602 | F | T | T |
| 203603 | F | T | T |
| 203604 | F | T | T |
| 203605 | F | T | T |
| 203606 | F | T | T |
| 203607 | F | T | T |
| 203608 | F | T | T |
| 203609 | F | T | T |
| 203610 | F | T | T |
| 203611 | F | T | T |
| 203612 | F | T | T |
| 208682 | F | T | T |
| 208683 | F | T | T |
| 208684 | F | T | T |
| 208685 | F | T | T |
| 208686 | F | T | T |
| 208687 | F | T | T |
| 208688 | F | T | T |
| 208689 | F | T | T |
| 208690 | F | T | T |
| 208691 | F | T | T |
| 208692 | F | T | T |
| 208693 | F | T | T |
| 208694 | F | T | T |
| 208695 | F | T | T |
| 208696 | F | T | T |
| 208697 | F | T | T |
| 208698 | F | T | T |
| 208699 | F | T | T |
| 208700 | F | T | T |
| 208701 | F | T | T |
| 208702 | F | T | T |
| 208703 | F | T | T |
| 208704 | F | T | T |
| 208705 | F | T | T |
| 208706 | F | T | T |
| 208707 | F | T | T |
| 208708 | F | T | T |
| 208709 | F | T | T |
| 208710 | F | T | T |
| 208711 | F | T | T |
| 208712 | F | T | T |
| 208713 | F | T | T |
| 208714 | F | T | T |
| 208715 | F | T | T |
| 208716 | F | T | T |
| 208717 | F | T | T |
| 216188 | F | T | T |
| 216189 | F | T | T |
| 216190 | F | T | T |
| 216191 | F | T | T |
| 216192 | F | T | T |
| 216193 | F | T | T |
| 216194 | F | T | T |
| 216195 | F | T | T |
| 216196 | F | T | T |
| 216197 | F | T | T |
| 216198 | F | T | T |
| 216199 | F | T | T |
| 216200 | F | T | T |
| 216201 | F | T | T |
| 216202 | F | T | T |
| 216203 | F | T | T |
| 224970 | F | T | T |
| 224971 | F | F | F |
| 224972 | F | T | T |
| 224973 | F | T | T |
| 224974 | F | T | T |
| 224975 | F | F | F |
| 224976 | F | T | T |
| 224977 | F | T | T |
| 224978 | F | T | T |
| 224979 | F | F | F |
| 224980 | F | T | T |
| 224981 | F | T | T |
| 224982 | F | T | T |
| 224983 | F | F | F |
| 224984 | F | T | T |
| 224985 | F | T | T |
| 224986 | F | T | T |
| 224987 | F | F | F |
| 224988 | F | T | T |
| 224989 | F | T | T |
| 224990 | F | T | T |
| 224991 | F | F | F |
| 224992 | F | T | T |
| 224993 | F | T | T |
| 224994 | F | T | T |
| 224995 | F | F | F |
| 224996 | F | T | T |
| 224997 | F | T | T |
| 224998 | F | T | T |
| 224999 | F | F | F |
| 225000 | F | T | T |
| 225001 | F | T | T |
| 225002 | F | T | T |
| 225003 | F | F | F |
| 225004 | F | T | T |
| 225005 | F | T | T |
| 225006 | F | T | T |
| 225007 | F | F | F |
| 225008 | F | T | T |
| 225009 | F | T | T |
| 225010 | F | T | T |
| 225011 | F | F | F |
| 225012 | F | T | T |
| 225013 | F | T | T |
| 225014 | F | T | T |
| 225015 | F | F | F |
| 225016 | F | T | T |
| 225017 | F | T | T |
| 225018 | F | T | T |
| 225019 | F | F | F |
| 225020 | F | T | T |
| 225021 | F | T | T |
| 225022 | F | T | T |
| 225023 | F | F | F |
| 225024 | F | T | T |
| 225025 | F | T | T |
| 225026 | F | T | T |
| 225027 | F | F | F |
| 225028 | F | T | T |
| 225029 | F | T | T |
| 225030 | F | T | T |
| 225031 | F | F | F |
| 225032 | F | T | T |
| 225033 | F | T | T |
| 225034 | F | T | T |
| 225035 | F | F | F |
| 225036 | F | T | T |
| 225037 | F | T | T |
| 225038 | F | T | T |
| 225039 | F | F | F |
| 225040 | F | T | T |
| 225041 | F | T | T |
| 225042 | F | T | T |
| 225043 | F | F | F |
| 225044 | F | T | T |
| 225045 | F | T | T |
| 225046 | F | T | T |
| 225047 | F | F | F |
| 225048 | F | T | T |
| 225049 | F | T | T |
| 225050 | F | T | T |
| 225051 | F | F | F |
| 225052 | F | T | T |
| 225053 | F | T | T |
| 225054 | F | T | T |
| 225055 | F | F | F |
| 225056 | F | T | T |
| 225057 | F | T | T |
| 302347 | F | T | T |
| 302348 | F | F | F |
| 302349 | F | T | T |
| 302350 | F | T | T |
| 302351 | F | T | T |
| 302352 | F | F | F |
| 302353 | F | T | T |
| 302354 | F | T | T |
| 302355 | F | T | T |
| 302356 | F | F | F |
| 302357 | F | T | T |
| 302358 | F | T | T |
| 302359 | F | T | T |
| 302360 | F | F | F |
| 302361 | F | T | T |
| 302362 | F | T | T |
| 302363 | F | T | T |
| 302364 | F | F | F |
| 302365 | F | T | T |
| 302366 | F | T | T |
| 302367 | F | T | T |
| 302368 | F | F | F |
| 302369 | F | T | T |
| 302370 | F | T | T |
| 302371 | F | T | T |
| 302372 | F | F | F |
| 302373 | F | T | T |
| 302374 | F | T | T |
| 302375 | F | T | T |
| 302376 | F | F | F |
| 302377 | F | T | T |
| 302378 | F | T | T |
| 302379 | F | T | T |
| 302380 | F | F | F |
| 302381 | F | T | T |
| 302382 | F | T | T |
| 302383 | F | T | T |
| 302384 | F | F | F |
| 302385 | F | T | T |
| 302386 | F | T | T |
| 302387 | F | T | T |
| 302388 | F | F | F |
| 302389 | F | T | T |
| 302390 | F | T | T |
| 302391 | F | T | T |
| 302392 | F | F | F |
| 302393 | F | T | T |
| 302394 | F | T | T |
| 302395 | F | T | T |
| 302396 | F | F | F |
| 302397 | F | T | T |
| 302398 | F | T | T |
| 302399 | F | T | T |
| 302400 | F | F | F |
| 302401 | F | T | T |
| 302402 | F | T | T |
| 302403 | F | T | T |
| 302404 | F | F | F |
| 302405 | F | T | T |
| 302406 | F | T | T |
| 302407 | F | T | T |
| 302408 | F | F | F |
| 302409 | F | T | T |
| 302410 | F | T | T |
| 302411 | F | T | T |
| 302412 | F | F | F |
| 302413 | F | T | T |
| 302414 | F | T | T |
| 302415 | F | T | T |
| 302416 | F | F | F |
| 302417 | F | T | T |
| 302418 | F | T | T |
| 302419 | F | T | T |
| 302420 | F | F | F |
| 302421 | F | T | T |
| 302422 | F | T | T |
| 302423 | F | T | T |
| 302424 | F | F | F |
| 302425 | F | T | T |
| 302426 | F | T | T |
| 302427 | F | T | T |
| 302428 | F | F | F |
| 302429 | F | T | T |
| 302430 | F | T | T |
| 302431 | F | T | T |
| 302432 | F | F | F |
| 302433 | F | T | T |
| 302434 | F | T | T |
| 377337 | F | T | T |
| 377338 | F | T | T |
| 377339 | F | T | T |
| 377340 | F | T | T |
| 377341 | F | T | T |
| 377342 | F | T | T |
| 377343 | F | T | T |
| 377344 | F | T | T |
| 379994 | F | T | T |
| 379995 | F | T | T |
| 379996 | F | T | T |
| 379997 | F | T | T |
| 379998 | F | T | T |
| 379999 | F | T | T |
| 380000 | F | T | T |
| 380001 | F | T | T |
| 382877 | F | T | T |
| 382878 | F | T | T |
| 382879 | F | T | T |
| 382880 | F | T | T |
| 382881 | F | T | T |
| 382882 | F | T | T |
| 382883 | F | T | T |
| 382884 | F | T | T |
Independent-effect pairs
c0(branch4990): GAP view gap →<scry_analyze_core::Interp>::octagon_transfer· br_ifc1(branch4991): PROVED — pair rows1909,31232(unique-cause)<scry_analyze_core::Interp>::octagon_transfer· br_if