Decision #667 — lib.rs:349
Status: no_witness
Truth table
| row | c0 br 4657 | c1 br 4658 | c2 br 4659 | c3 br 4660 | c4 br 4661 | c5 br 4662 | outcome |
|---|---|---|---|---|---|---|---|
| 1116 | F | F | F | T | T | T | T |
| 1117 | F | F | F | T | T | T | T |
| 1118 | F | F | F | T | T | T | T |
| 1119 | F | F | F | T | T | T | T |
| 1120 | F | F | F | T | T | T | T |
| 1121 | F | F | F | T | T | T | T |
| 1122 | F | F | F | T | T | T | T |
| 1123 | F | F | F | T | T | T | T |
| 1124 | F | F | F | T | T | T | T |
| 1125 | F | F | F | T | T | T | T |
| 1126 | F | F | F | T | T | T | T |
| 1127 | F | F | F | F | F | * | T |
| 1128 | F | F | F | T | T | T | T |
| 1129 | F | F | F | T | T | T | T |
| 1130 | F | F | F | T | T | T | T |
| 1131 | F | F | F | T | T | T | T |
| 1132 | F | F | F | T | T | T | T |
| 1133 | F | F | F | T | T | T | T |
| 1134 | F | F | F | T | T | T | T |
| 1135 | F | F | F | T | T | T | T |
| 1136 | F | F | F | T | T | T | T |
| 1137 | F | F | F | T | T | T | T |
| 1138 | F | F | F | F | F | * | T |
| 1139 | F | F | F | T | T | T | T |
| 1140 | F | F | F | F | F | * | T |
| 1141 | F | F | F | T | T | T | T |
| 1142 | F | F | F | T | T | T | T |
| 1143 | F | F | F | T | T | T | T |
| 1144 | F | F | F | T | T | T | T |
| 1145 | F | F | F | T | T | T | T |
| 1146 | F | F | F | T | T | T | T |
| 1147 | F | F | F | T | T | T | T |
| 1148 | F | F | F | T | T | T | T |
| 1149 | F | F | F | T | T | T | T |
| 1150 | F | F | F | T | T | T | T |
| 1151 | F | F | F | T | T | T | T |
| 1152 | F | F | F | T | T | T | T |
| 1153 | F | F | F | T | T | T | T |
| 1154 | F | F | F | T | T | T | T |
| 1155 | F | F | F | F | F | * | T |
| 1156 | F | F | F | T | T | T | T |
| 1157 | F | F | F | T | T | T | T |
| 1158 | F | F | F | T | T | T | T |
| 1159 | F | F | F | F | F | * | T |
| 1160 | F | F | F | T | T | T | T |
| 1161 | F | F | F | T | T | T | T |
| 1162 | F | F | F | T | T | T | T |
| 1163 | F | F | F | F | F | * | T |
| 1164 | F | F | F | T | T | T | T |
| 1165 | F | F | F | F | F | * | T |
| 1166 | F | F | F | T | T | T | T |
| 1167 | F | F | F | T | T | T | T |
| 1168 | F | F | F | T | T | T | T |
| 1169 | F | F | F | T | T | T | T |
| 1170 | F | F | F | T | T | T | T |
| 1171 | F | F | F | T | T | T | T |
| 1172 | F | F | F | T | T | T | T |
| 1173 | F | F | F | T | T | T | T |
| 4909 | F | F | F | T | T | T | T |
| 4910 | F | F | F | T | T | T | T |
| 4911 | F | F | F | T | T | T | T |
| 4912 | F | F | F | T | T | T | T |
| 4913 | F | F | F | T | T | T | T |
| 4914 | F | F | F | T | T | T | T |
| 4915 | F | F | F | T | T | T | T |
| 4916 | F | F | F | T | T | T | T |
| 4917 | F | F | F | T | T | T | T |
| 4918 | F | F | F | T | T | T | T |
| 4919 | F | F | F | F | F | * | T |
| 4920 | F | F | F | T | T | T | T |
| 4921 | F | F | F | T | T | T | T |
| 4922 | F | F | F | T | T | T | T |
| 4923 | F | F | F | T | T | T | T |
| 4924 | F | F | F | T | T | T | T |
| 4925 | F | F | F | T | T | T | T |
| 4926 | F | F | F | T | T | T | T |
| 4927 | F | F | F | T | T | T | T |
| 4928 | F | F | F | T | T | T | T |
| 4929 | F | F | F | T | T | T | T |
| 4930 | F | F | F | F | F | * | T |
| 4931 | F | F | F | T | T | T | T |
| 4932 | F | F | F | F | F | * | T |
| 4933 | F | F | F | T | T | T | T |
| 4934 | F | F | F | T | T | T | T |
| 4935 | F | F | F | T | T | T | T |
| 4936 | F | F | F | T | T | T | T |
| 4937 | F | F | F | T | T | T | T |
| 4938 | F | F | F | T | T | T | T |
| 4939 | F | F | F | T | T | T | T |
| 4940 | F | F | F | T | T | T | T |
| 4941 | F | F | F | T | T | T | T |
| 4942 | F | F | F | T | T | T | T |
| 4943 | F | F | F | T | T | T | T |
| 4944 | F | F | F | T | T | T | T |
| 4945 | F | F | F | T | T | T | T |
| 4946 | F | F | F | T | T | T | T |
| 4947 | F | F | F | F | F | * | T |
| 4948 | F | F | F | T | T | T | T |
| 4949 | F | F | F | T | T | T | T |
| 4950 | F | F | F | T | T | T | T |
| 4951 | F | F | F | F | F | * | T |
| 4952 | F | F | F | T | T | T | T |
| 4953 | F | F | F | T | T | T | T |
| 4954 | F | F | F | T | T | T | T |
| 4955 | F | F | F | F | F | * | T |
| 4956 | F | F | F | T | T | T | T |
| 4957 | F | F | F | F | F | * | T |
| 4958 | F | F | F | T | T | T | T |
| 4959 | F | F | F | T | T | T | T |
| 4960 | F | F | F | T | T | T | T |
| 4961 | F | F | F | T | T | T | T |
| 4962 | F | F | F | T | T | T | T |
| 4963 | F | F | F | T | T | T | T |
| 4964 | F | F | F | T | T | T | T |
| 4965 | F | F | F | T | T | T | T |
| 8644 | F | F | F | T | T | T | T |
| 8645 | F | F | F | T | T | T | T |
| 8646 | F | F | F | T | T | T | T |
| 8647 | F | F | F | T | T | T | T |
| 8648 | F | F | F | T | T | T | T |
| 8649 | F | F | F | T | T | T | T |
| 8650 | F | F | F | T | T | T | T |
| 8651 | F | F | F | T | T | T | T |
| 8652 | F | F | F | T | T | T | T |
| 8653 | F | F | F | T | T | T | T |
| 8654 | F | F | F | T | T | T | T |
| 8655 | F | F | F | F | F | * | T |
| 8656 | F | F | F | T | T | T | T |
| 8657 | F | F | F | T | T | T | T |
| 8658 | F | F | F | T | T | T | T |
| 8659 | F | F | F | T | T | T | T |
| 8660 | F | F | F | T | T | T | T |
| 8661 | F | F | F | T | T | T | T |
| 8662 | F | F | F | T | T | T | T |
| 8663 | F | F | F | T | T | T | T |
| 8664 | F | F | F | T | T | T | T |
| 8665 | F | F | F | T | T | T | T |
| 8666 | F | F | F | F | F | * | T |
| 8667 | F | F | F | T | T | T | T |
| 8668 | F | F | F | F | F | * | T |
| 8669 | F | F | F | T | T | T | T |
| 8670 | F | F | F | T | T | T | T |
| 8671 | F | F | F | T | T | T | T |
| 8672 | F | F | F | T | T | T | T |
| 8673 | F | F | F | T | T | T | T |
| 8674 | F | F | F | T | T | T | T |
| 8675 | F | F | F | T | T | T | T |
| 8676 | F | F | F | T | T | T | T |
| 8677 | F | F | F | T | T | T | T |
| 8678 | F | F | F | T | T | T | T |
| 8679 | F | F | F | T | T | T | T |
| 8680 | F | F | F | T | T | T | T |
| 8681 | F | F | F | T | T | T | T |
| 8682 | F | F | F | T | T | T | T |
| 8683 | F | F | F | F | F | * | T |
| 8684 | F | F | F | T | T | T | T |
| 8685 | F | F | F | T | T | T | T |
| 8686 | F | F | F | T | T | T | T |
| 8687 | F | F | F | F | F | * | T |
| 8688 | F | F | F | T | T | T | T |
| 8689 | F | F | F | T | T | T | T |
| 8690 | F | F | F | T | T | T | T |
| 8691 | F | F | F | T | T | T | T |
| 8692 | F | F | F | T | T | T | T |
| 8693 | F | F | F | T | T | T | T |
| 8694 | F | F | F | T | T | T | T |
| 8695 | F | F | F | F | F | * | T |
| 8696 | F | F | F | T | T | T | T |
| 8697 | F | F | F | T | T | T | T |
| 8698 | F | F | F | F | F | * | T |
| 8699 | F | F | F | T | T | T | T |
| 8700 | F | F | F | F | F | * | T |
| 8701 | F | F | F | T | T | T | T |
| 8702 | F | F | F | T | T | T | T |
| 8703 | F | F | F | T | T | T | T |
| 8704 | F | F | F | T | T | T | T |
| 8705 | F | F | F | T | T | T | T |
| 8706 | F | F | F | T | T | T | T |
| 8707 | F | F | F | T | T | T | T |
| 8708 | F | F | F | T | T | T | T |
| 12062 | F | F | F | T | T | T | T |
| 12063 | F | F | F | T | T | T | T |
| 12064 | F | F | F | T | T | T | T |
| 12065 | F | F | F | T | T | T | T |
| 12066 | F | F | F | F | F | * | T |
| 12067 | F | F | F | T | T | T | T |
| 12068 | F | F | F | T | T | T | T |
| 12069 | F | F | F | T | T | T | T |
| 12070 | F | F | F | T | T | T | T |
| 12071 | F | F | F | T | T | T | T |
| 12072 | F | F | F | T | T | T | T |
| 12073 | F | F | F | T | T | T | T |
| 12074 | F | F | F | T | T | T | T |
| 12075 | F | F | F | F | F | * | T |
| 12076 | F | F | F | T | T | * | T |
| 12077 | F | F | F | T | T | T | T |
| 12078 | F | F | F | T | T | T | T |
| 12079 | F | F | F | T | T | T | T |
| 13438 | F | F | F | T | T | T | T |
| 13439 | F | F | F | T | T | T | T |
| 13440 | F | F | F | T | T | T | T |
| 13441 | F | F | F | F | F | * | T |
| 13442 | F | F | F | T | T | T | T |
| 13443 | F | F | F | T | T | T | T |
| 13444 | F | F | F | T | T | T | T |
| 13445 | F | F | F | T | T | T | T |
| 13446 | F | F | F | T | T | T | T |
| 13447 | F | F | F | T | T | T | T |
| 13448 | F | F | F | T | T | T | T |
| 13449 | F | F | F | T | T | T | T |
| 13450 | F | F | F | F | F | * | T |
| 13451 | F | F | F | T | T | * | T |
| 13452 | F | F | F | T | T | T | T |
| 13453 | F | F | F | T | T | T | T |
| 13454 | F | F | F | T | T | T | T |
| 14763 | F | F | F | T | T | T | T |
| 14764 | F | F | F | T | T | T | T |
| 14765 | F | F | F | T | T | T | T |
| 14766 | F | F | F | T | T | T | T |
| 14767 | F | F | F | F | F | * | T |
| 14768 | F | F | F | T | T | T | T |
| 14769 | F | F | F | T | T | T | T |
| 14770 | F | F | F | T | T | T | T |
| 14771 | F | F | F | T | T | T | T |
| 14772 | F | F | F | T | T | T | T |
| 14773 | F | F | F | T | T | T | T |
| 14774 | F | F | F | T | T | T | T |
| 14775 | F | F | F | T | T | T | T |
| 14776 | F | F | F | F | F | * | T |
| 14777 | F | F | F | T | T | * | T |
| 14778 | F | F | F | T | T | T | T |
| 14779 | F | F | F | T | T | T | T |
| 14780 | F | F | F | T | T | T | T |
| 16848 | F | F | F | T | T | T | T |
| 16849 | F | F | F | T | T | T | T |
| 16850 | F | F | F | T | T | T | T |
| 16851 | F | F | F | T | T | T | T |
| 16852 | F | F | F | F | F | * | T |
| 16853 | F | F | F | F | F | * | T |
| 16854 | F | F | F | T | T | T | T |
| 16855 | F | F | F | T | T | T | T |
| 16856 | F | F | F | T | T | T | T |
| 16857 | F | F | F | T | T | T | T |
| 16858 | F | F | F | T | T | T | T |
| 16859 | F | F | F | F | F | * | T |
| 16860 | F | F | F | T | T | T | T |
| 16861 | F | F | F | T | T | T | T |
| 16862 | F | F | F | T | T | T | T |
| 16863 | F | F | F | T | T | T | T |
| 16864 | F | F | F | T | T | T | T |
| 16865 | F | F | F | T | T | T | T |
| 16866 | F | F | F | T | T | T | T |
| 16867 | F | F | F | F | F | * | T |
| 16868 | F | F | F | T | T | T | T |
| 16869 | F | F | F | T | T | T | T |
| 16870 | F | F | F | T | T | T | T |
| 16871 | F | F | F | T | T | T | T |
| 16872 | F | F | F | T | T | T | T |
| 16873 | F | F | F | T | T | T | T |
| 16874 | F | F | F | T | T | T | T |
| 16875 | F | F | F | F | F | * | T |
| 16876 | F | F | F | T | T | T | T |
| 16877 | F | F | F | F | F | * | T |
| 16878 | F | F | F | T | T | * | T |
| 16879 | F | F | F | T | T | T | T |
| 16880 | F | F | F | T | T | T | T |
| 16881 | F | F | F | T | T | T | T |
| 16882 | F | F | F | T | T | T | T |
| 16883 | F | F | F | T | T | T | T |
| 16884 | F | F | F | T | T | T | T |
| 26328 | F | F | F | T | T | T | T |
| 26329 | F | F | F | T | T | T | T |
| 26330 | F | F | F | T | T | T | T |
| 26331 | F | F | F | F | F | * | T |
| 26332 | F | F | F | F | F | * | T |
| 26333 | F | F | F | T | T | T | T |
| 26334 | F | F | F | T | T | T | T |
| 26335 | F | F | F | T | T | T | T |
| 26336 | F | F | F | T | T | T | T |
| 26337 | F | F | F | T | T | T | T |
| 26338 | F | F | F | F | F | * | T |
| 26339 | F | F | F | T | T | T | T |
| 26340 | F | F | F | T | T | T | T |
| 26341 | F | F | F | T | T | T | T |
| 26342 | F | F | F | T | T | T | T |
| 26343 | F | F | F | T | T | T | T |
| 26344 | F | F | F | T | T | T | T |
| 26345 | F | F | F | T | T | T | T |
| 26346 | F | F | F | F | F | * | T |
| 26347 | F | F | F | T | T | T | T |
| 26348 | F | F | F | T | T | T | T |
| 26349 | F | F | F | T | T | T | T |
| 26350 | F | F | F | T | T | T | T |
| 26351 | F | F | F | T | T | T | T |
| 26352 | F | F | F | T | T | T | T |
| 26353 | F | F | F | T | T | T | T |
| 26354 | F | F | F | F | F | * | T |
| 26355 | F | F | F | T | T | T | T |
| 26356 | F | F | F | F | F | * | T |
| 26357 | F | F | F | T | T | * | T |
| 26358 | F | F | F | T | T | T | T |
| 26359 | F | F | F | T | T | T | T |
| 26360 | F | F | F | T | T | T | T |
| 26361 | F | F | F | T | T | T | T |
| 26362 | F | F | F | T | T | T | T |
| 26363 | F | F | F | T | T | T | T |
| 36045 | F | F | F | T | T | T | T |
| 36046 | F | F | F | T | T | T | T |
| 36047 | F | F | F | T | T | T | T |
| 36048 | F | F | F | T | T | T | T |
| 36049 | F | F | F | F | F | * | T |
| 36050 | F | F | F | F | F | * | T |
| 36051 | F | F | F | T | T | T | T |
| 36052 | F | F | F | T | T | T | T |
| 36053 | F | F | F | T | T | T | T |
| 36054 | F | F | F | T | T | T | T |
| 36055 | F | F | F | T | T | T | T |
| 36056 | F | F | F | T | T | T | T |
| 36057 | F | F | F | T | T | T | T |
| 36058 | F | F | F | T | T | T | T |
| 36059 | F | F | F | T | T | T | T |
| 36060 | F | F | F | T | T | T | T |
| 36061 | F | F | F | T | T | T | T |
| 36062 | F | F | F | T | T | T | T |
| 36063 | F | F | F | T | T | T | T |
| 36064 | F | F | F | T | T | T | T |
| 36065 | F | F | F | T | T | T | T |
| 36066 | F | F | F | T | T | T | T |
| 36067 | F | F | F | T | T | T | T |
| 36068 | F | F | F | T | T | T | T |
| 36069 | F | F | F | T | T | T | T |
| 36070 | F | F | F | T | T | T | T |
| 36071 | F | F | F | T | T | T | T |
| 36072 | F | F | F | T | T | T | T |
| 36073 | F | F | F | T | T | T | T |
| 36074 | F | F | F | T | T | T | T |
| 36075 | F | F | F | T | T | T | T |
| 36076 | F | F | F | T | T | T | T |
| 36077 | F | F | F | T | T | T | T |
| 36078 | F | F | F | F | F | * | T |
| 36079 | F | F | F | T | T | T | T |
| 36080 | F | F | F | T | T | * | T |
| 36081 | F | F | F | T | T | T | T |
| 36082 | F | F | F | T | T | T | T |
| 36083 | F | F | F | T | T | T | T |
| 36084 | F | F | F | T | T | T | T |
| 42258 | F | F | F | T | T | T | T |
| 42259 | F | F | F | T | T | T | T |
| 42260 | F | F | F | T | T | T | T |
| 42261 | F | F | F | T | T | T | T |
| 42262 | F | F | F | F | F | * | T |
| 42263 | F | F | F | F | F | * | T |
| 42264 | F | F | F | T | T | T | T |
| 42265 | F | F | F | T | T | T | T |
| 42266 | F | F | F | T | T | T | T |
| 42267 | F | F | F | T | T | T | T |
| 42268 | F | F | F | T | T | T | T |
| 42269 | F | F | F | T | T | T | T |
| 42270 | F | F | F | T | T | T | T |
| 42271 | F | F | F | T | T | T | T |
| 42272 | F | F | F | T | T | T | T |
| 42273 | F | F | F | T | T | T | T |
| 42274 | F | F | F | T | T | T | T |
| 42275 | F | F | F | T | T | T | T |
| 42276 | F | F | F | T | T | T | T |
| 42277 | F | F | F | T | T | T | T |
| 42278 | F | F | F | T | T | T | T |
| 42279 | F | F | F | T | T | T | T |
| 42280 | F | F | F | T | T | T | T |
| 42281 | F | F | F | T | T | T | T |
| 42282 | F | F | F | T | T | T | T |
| 42283 | F | F | F | T | T | T | T |
| 42284 | F | F | F | T | T | T | T |
| 42285 | F | F | F | T | T | T | T |
| 42286 | F | F | F | T | T | T | T |
| 42287 | F | F | F | T | T | T | T |
| 42288 | F | F | F | T | T | T | T |
| 42289 | F | F | F | T | T | T | T |
| 42290 | F | F | F | T | T | T | T |
| 42291 | F | F | F | F | F | * | T |
| 42292 | F | F | F | T | T | T | T |
| 42293 | F | F | F | T | T | * | T |
| 42294 | F | F | F | T | T | T | T |
| 42295 | F | F | F | T | T | T | T |
| 42296 | F | F | F | T | T | T | T |
| 42297 | F | F | F | T | T | T | T |
| 48172 | F | F | F | T | T | T | T |
| 48173 | F | F | F | T | T | T | T |
| 48174 | F | F | F | T | T | T | T |
| 48175 | F | F | F | T | T | T | T |
| 48176 | F | F | F | T | T | T | T |
| 48177 | F | F | F | T | T | T | T |
| 48178 | F | F | F | T | T | T | T |
| 48179 | F | F | F | T | T | T | T |
| 48180 | F | F | F | F | F | * | T |
| 48181 | F | F | F | T | T | T | T |
| 48182 | F | F | F | T | T | T | T |
| 48183 | F | F | F | T | T | T | T |
| 48184 | F | F | F | T | T | T | T |
| 48185 | F | F | F | T | T | T | T |
| 48186 | F | F | F | T | T | T | T |
| 48187 | F | F | F | T | T | T | T |
| 48188 | F | F | F | T | T | T | T |
| 48189 | F | F | F | T | T | T | T |
| 48190 | F | F | F | T | T | T | T |
| 48191 | F | F | F | T | T | T | T |
| 48192 | F | F | F | T | T | T | T |
| 48193 | F | F | F | T | T | T | T |
| 48194 | F | F | F | T | T | T | T |
| 48195 | F | F | F | T | T | T | T |
| 48196 | F | F | F | T | T | T | T |
| 48197 | F | F | F | T | T | T | T |
| 48198 | F | F | F | T | T | T | T |
| 48199 | F | F | F | T | T | T | T |
| 48200 | F | F | F | T | T | T | T |
| 48201 | F | F | F | T | T | T | T |
| 48202 | F | F | F | F | F | * | T |
| 48203 | F | F | F | T | T | T | T |
| 48204 | F | F | F | T | T | T | T |
| 48205 | F | F | F | F | F | * | T |
| 48206 | F | F | F | F | F | * | T |
| 48207 | F | F | F | T | T | T | T |
| 48208 | F | F | F | T | T | T | T |
| 48209 | F | F | F | T | T | T | T |
| 48210 | F | F | F | T | T | T | T |
| 48211 | F | F | F | T | T | T | T |
| 48212 | F | F | F | T | T | T | T |
| 48213 | F | F | F | T | T | T | T |
| 48214 | F | F | F | T | T | T | T |
| 48215 | F | F | F | T | T | T | T |
| 48216 | F | F | F | T | T | T | T |
| 48217 | F | F | F | T | T | T | T |
| 48218 | F | F | F | T | T | * | T |
| 52343 | F | F | F | T | T | T | T |
| 52344 | F | F | F | T | T | T | T |
| 52345 | F | F | F | T | T | T | T |
| 52346 | F | F | F | T | T | T | T |
| 52347 | F | F | F | T | T | T | T |
| 52348 | F | F | F | T | T | T | T |
| 52349 | F | F | F | T | T | T | T |
| 52350 | F | F | F | T | T | T | T |
| 52351 | F | F | F | F | F | * | T |
| 52352 | F | F | F | T | T | T | T |
| 52353 | F | F | F | T | T | T | T |
| 52354 | F | F | F | T | T | T | T |
| 52355 | F | F | F | T | T | T | T |
| 52356 | F | F | F | T | T | T | T |
| 52357 | F | F | F | T | T | T | T |
| 52358 | F | F | F | T | T | T | T |
| 52359 | F | F | F | T | T | T | T |
| 52360 | F | F | F | T | T | T | T |
| 52361 | F | F | F | T | T | T | T |
| 52362 | F | F | F | T | T | T | T |
| 52363 | F | F | F | T | T | T | T |
| 52364 | F | F | F | T | T | T | T |
| 52365 | F | F | F | T | T | T | T |
| 52366 | F | F | F | T | T | T | T |
| 52367 | F | F | F | T | T | T | T |
| 52368 | F | F | F | T | T | T | T |
| 52369 | F | F | F | T | T | T | T |
| 52370 | F | F | F | T | T | T | T |
| 52371 | F | F | F | T | T | T | T |
| 52372 | F | F | F | T | T | T | T |
| 52373 | F | F | F | F | F | * | T |
| 52374 | F | F | F | T | T | T | T |
| 52375 | F | F | F | T | T | T | T |
| 52376 | F | F | F | F | F | * | T |
| 52377 | F | F | F | F | F | * | T |
| 52378 | F | F | F | T | T | T | T |
| 52379 | F | F | F | T | T | T | T |
| 52380 | F | F | F | T | T | T | T |
| 52381 | F | F | F | F | F | * | T |
| 52382 | F | F | F | T | T | T | T |
| 52383 | F | F | F | T | T | T | T |
| 52384 | F | F | F | F | F | * | T |
| 52385 | F | F | F | T | T | T | T |
| 52386 | F | F | F | T | T | T | T |
| 52387 | F | F | F | T | T | T | T |
| 52388 | F | F | F | T | T | T | T |
| 52389 | F | F | F | T | T | T | T |
| 52390 | F | F | F | T | T | T | T |
| 52391 | F | F | F | T | T | T | T |
| 52392 | F | F | F | T | T | T | T |
| 52393 | F | F | F | T | T | T | T |
| 52394 | F | F | F | T | T | T | T |
| 52395 | F | F | F | T | T | * | T |
| 56880 | F | F | F | T | T | T | T |
| 56881 | F | F | F | T | T | T | T |
| 56882 | F | F | F | T | T | T | T |
| 56883 | F | F | F | T | T | T | T |
| 56884 | F | F | F | T | T | T | T |
| 56885 | F | F | F | T | T | T | T |
| 56886 | F | F | F | T | T | T | T |
| 56887 | F | F | F | F | F | * | T |
| 56888 | F | F | F | T | T | T | T |
| 56889 | F | F | F | T | T | T | T |
| 56890 | F | F | F | T | T | T | T |
| 56891 | F | F | F | T | T | T | T |
| 56892 | F | F | F | T | T | T | T |
| 56893 | F | F | F | T | T | T | T |
| 56894 | F | F | F | T | T | T | T |
| 56895 | F | F | F | T | T | T | T |
| 56896 | F | F | F | T | T | T | T |
| 56897 | F | F | F | T | T | T | T |
| 56898 | F | F | F | T | T | T | T |
| 56899 | F | F | F | T | T | T | T |
| 56900 | F | F | F | T | T | T | T |
| 56901 | F | F | F | T | T | T | T |
| 56902 | F | F | F | T | T | T | T |
| 56903 | F | F | F | T | T | T | T |
| 56904 | F | F | F | T | T | T | T |
| 56905 | F | F | F | T | T | T | T |
| 56906 | F | F | F | T | T | T | T |
| 56907 | F | F | F | T | T | T | T |
| 56908 | F | F | F | T | T | T | T |
| 56909 | F | F | F | F | F | * | T |
| 56910 | F | F | F | T | T | T | T |
| 56911 | F | F | F | T | T | T | T |
| 56912 | F | F | F | F | F | * | T |
| 56913 | F | F | F | F | F | * | T |
| 56914 | F | F | F | T | T | T | T |
| 56915 | F | F | F | T | T | T | T |
| 56916 | F | F | F | T | T | T | T |
| 56917 | F | F | F | T | T | T | T |
| 56918 | F | F | F | T | T | T | T |
| 56919 | F | F | F | T | T | T | T |
| 56920 | F | F | F | T | T | T | T |
| 56921 | F | F | F | T | T | T | T |
| 56922 | F | F | F | T | T | T | T |
| 56923 | F | F | F | T | T | T | T |
| 56924 | F | F | F | T | T | T | T |
| 56925 | F | F | F | T | T | T | T |
| 56926 | F | F | F | T | T | T | T |
| 56927 | F | F | F | T | T | T | T |
| 56928 | F | F | F | T | T | T | T |
| 56929 | F | F | F | T | T | * | T |
| 61096 | F | F | F | T | T | T | T |
| 61097 | F | F | F | T | T | T | T |
| 61098 | F | F | F | T | T | T | T |
| 61099 | F | F | F | T | T | T | T |
| 61100 | F | F | F | T | T | T | T |
| 61101 | F | F | F | T | T | T | T |
| 61102 | F | F | F | T | T | T | T |
| 61103 | F | F | F | T | T | T | T |
| 61104 | F | F | F | F | F | * | T |
| 61105 | F | F | F | T | T | T | T |
| 61106 | F | F | F | T | T | T | T |
| 61107 | F | F | F | T | T | T | T |
| 61108 | F | F | F | T | T | T | T |
| 61109 | F | F | F | T | T | T | T |
| 61110 | F | F | F | T | T | T | T |
| 61111 | F | F | F | T | T | T | T |
| 61112 | F | F | F | T | T | T | T |
| 61113 | F | F | F | T | T | T | T |
| 61114 | F | F | F | T | T | T | T |
| 61115 | F | F | F | T | T | T | T |
| 61116 | F | F | F | T | T | T | T |
| 61117 | F | F | F | T | T | T | T |
| 61118 | F | F | F | T | T | T | T |
| 61119 | F | F | F | T | T | T | T |
| 61120 | F | F | F | T | T | T | T |
| 61121 | F | F | F | T | T | T | T |
| 61122 | F | F | F | T | T | T | T |
| 61123 | F | F | F | T | T | T | T |
| 61124 | F | F | F | T | T | T | T |
| 61125 | F | F | F | T | T | T | T |
| 61126 | F | F | F | F | F | * | T |
| 61127 | F | F | F | T | T | T | T |
| 61128 | F | F | F | T | T | T | T |
| 61129 | F | F | F | F | F | * | T |
| 61130 | F | F | F | F | F | * | T |
| 61131 | F | F | F | T | T | T | T |
| 61132 | F | F | F | T | T | T | T |
| 61133 | F | F | F | T | T | T | T |
| 61134 | F | F | F | T | T | T | T |
| 61135 | F | F | F | T | T | T | T |
| 61136 | F | F | F | T | T | T | T |
| 61137 | F | F | F | T | T | T | T |
| 61138 | F | F | F | T | T | T | T |
| 61139 | F | F | F | T | T | T | T |
| 61140 | F | F | F | T | T | T | T |
| 61141 | F | F | F | T | T | T | T |
| 61142 | F | F | F | T | T | * | T |
| 65484 | F | F | F | T | T | T | T |
| 65485 | F | F | F | T | T | T | T |
| 65486 | F | F | F | T | T | T | T |
| 65487 | F | F | F | T | T | T | T |
| 65488 | F | F | F | F | F | * | T |
| 65489 | F | F | F | F | F | * | T |
| 65490 | F | F | F | T | T | T | T |
| 65491 | F | F | F | T | T | T | T |
| 65492 | F | F | F | T | T | T | T |
| 65493 | F | F | F | T | T | T | T |
| 65494 | F | F | F | T | T | T | T |
| 65495 | F | F | F | F | F | * | T |
| 65496 | F | F | F | T | T | T | T |
| 65497 | F | F | F | T | T | T | T |
| 65498 | F | F | F | T | T | T | T |
| 65499 | F | F | F | T | T | T | T |
| 65500 | F | F | F | T | T | T | T |
| 65501 | F | F | F | T | T | T | T |
| 65502 | F | F | F | T | T | T | T |
| 65503 | F | F | F | F | F | * | T |
| 65504 | F | F | F | T | T | T | T |
| 65505 | F | F | F | T | T | T | T |
| 65506 | F | F | F | T | T | T | T |
| 65507 | F | F | F | T | T | T | T |
| 65508 | F | F | F | T | T | T | T |
| 65509 | F | F | F | T | T | T | T |
| 65510 | F | F | F | T | T | T | T |
| 65511 | F | F | F | F | F | * | T |
| 65512 | F | F | F | T | T | T | T |
| 65513 | F | F | F | F | F | * | T |
| 65514 | F | F | F | T | T | * | T |
| 65515 | F | F | F | T | T | T | T |
| 65516 | F | F | F | T | T | T | T |
| 65517 | F | F | F | T | T | T | T |
| 65518 | F | F | F | T | T | T | T |
| 76997 | F | F | F | T | T | T | T |
| 76998 | F | F | F | T | T | T | T |
| 76999 | F | F | F | T | T | T | T |
| 77000 | F | F | F | T | T | T | T |
| 77001 | F | F | F | F | F | * | T |
| 77002 | F | F | F | F | F | * | T |
| 77003 | F | F | F | T | T | T | T |
| 77004 | F | F | F | T | T | T | T |
| 77005 | F | F | F | T | T | T | T |
| 77006 | F | F | F | T | T | T | T |
| 77007 | F | F | F | T | T | T | T |
| 77008 | F | F | F | F | F | * | T |
| 77009 | F | F | F | T | T | T | T |
| 77010 | F | F | F | T | T | T | T |
| 77011 | F | F | F | T | T | T | T |
| 77012 | F | F | F | T | T | T | T |
| 77013 | F | F | F | T | T | T | T |
| 77014 | F | F | F | T | T | T | T |
| 77015 | F | F | F | T | T | T | T |
| 77016 | F | F | F | F | F | * | T |
| 77017 | F | F | F | T | T | T | T |
| 77018 | F | F | F | T | T | T | T |
| 77019 | F | F | F | T | T | T | T |
| 77020 | F | F | F | T | T | T | T |
| 77021 | F | F | F | T | T | T | T |
| 77022 | F | F | F | T | T | T | T |
| 77023 | F | F | F | T | T | T | T |
| 77024 | F | F | F | F | F | * | T |
| 77025 | F | F | F | T | T | T | T |
| 77026 | F | F | F | F | F | * | T |
| 77027 | F | F | F | T | T | * | T |
| 77028 | F | F | F | T | T | T | T |
| 77029 | F | F | F | T | T | T | T |
| 77030 | F | F | F | T | T | T | T |
| 77031 | F | F | F | T | T | T | T |
| 88624 | F | F | F | T | T | T | T |
| 88625 | F | F | F | T | T | T | T |
| 88626 | F | F | F | T | T | T | T |
| 88627 | F | F | F | F | F | * | T |
| 88628 | F | F | F | T | T | T | T |
| 88629 | F | F | F | T | T | T | T |
| 88630 | F | F | F | T | T | T | T |
| 88631 | F | F | F | T | T | T | T |
| 88632 | F | F | F | T | T | T | T |
| 88633 | F | F | F | T | T | T | T |
| 88634 | F | F | F | F | F | * | T |
| 88635 | F | F | F | T | T | T | T |
| 88636 | F | F | F | T | T | T | T |
| 88637 | F | F | F | T | T | T | T |
| 88638 | F | F | F | T | T | T | T |
| 88639 | F | F | F | T | T | T | T |
| 88640 | F | F | F | T | T | T | T |
| 88641 | F | F | F | T | T | T | T |
| 88642 | F | F | F | T | T | T | T |
| 88643 | F | F | F | F | F | * | T |
| 88644 | F | F | F | T | T | T | T |
| 88645 | F | F | F | T | T | T | T |
| 88646 | F | F | F | F | F | * | T |
| 88647 | F | F | F | T | T | T | T |
| 88648 | F | F | F | T | T | T | T |
| 88649 | F | F | F | T | T | T | T |
| 88650 | F | F | F | T | T | T | T |
| 88651 | F | F | F | T | T | T | T |
| 88652 | F | F | F | T | T | T | T |
| 88653 | F | F | F | T | T | T | T |
| 88654 | F | F | F | T | T | T | T |
| 88655 | F | F | F | T | T | T | T |
| 88656 | F | F | F | T | T | T | T |
| 88657 | F | F | F | T | T | T | T |
| 88658 | F | F | F | F | F | * | T |
| 88659 | F | F | F | T | T | T | T |
| 88660 | F | F | F | T | T | T | T |
| 88661 | F | F | F | F | F | * | T |
| 88662 | F | F | F | T | T | T | T |
| 88663 | F | F | F | T | T | T | T |
| 88664 | F | F | F | T | T | T | T |
| 88665 | F | F | F | T | T | T | T |
| 88666 | F | F | F | F | F | * | T |
| 88667 | F | F | F | T | T | T | T |
| 88668 | F | F | F | T | T | T | T |
| 88669 | F | F | F | T | T | T | T |
| 88670 | F | F | F | F | F | * | T |
| 88671 | F | F | F | T | T | T | T |
| 88672 | F | F | F | F | F | * | T |
| 88673 | F | F | F | T | T | T | T |
| 88674 | F | F | F | T | T | T | T |
| 88675 | F | F | F | T | T | T | T |
| 88676 | F | F | F | T | T | T | T |
| 88677 | F | F | F | T | T | T | T |
| 88678 | F | F | F | T | T | T | T |
| 92892 | F | F | F | T | T | T | T |
| 92893 | F | F | F | T | T | T | T |
| 92894 | F | F | F | T | T | T | T |
| 92895 | F | F | F | F | F | * | T |
| 92896 | F | F | F | T | T | T | T |
| 92897 | F | F | F | T | T | T | T |
| 92898 | F | F | F | T | T | T | T |
| 92899 | F | F | F | T | T | T | T |
| 92900 | F | F | F | T | T | T | T |
| 92901 | F | F | F | T | T | T | T |
| 92902 | F | F | F | F | F | * | T |
| 92903 | F | F | F | T | T | T | T |
| 92904 | F | F | F | T | T | T | T |
| 92905 | F | F | F | T | T | T | T |
| 92906 | F | F | F | T | T | T | T |
| 92907 | F | F | F | T | T | T | T |
| 92908 | F | F | F | T | T | T | T |
| 92909 | F | F | F | T | T | T | T |
| 92910 | F | F | F | T | T | T | T |
| 92911 | F | F | F | F | F | * | T |
| 92912 | F | F | F | T | T | T | T |
| 92913 | F | F | F | T | T | T | T |
| 92914 | F | F | F | F | F | * | T |
| 92915 | F | F | F | T | T | T | T |
| 92916 | F | F | F | T | T | T | T |
| 92917 | F | F | F | T | T | T | T |
| 92918 | F | F | F | T | T | T | T |
| 92919 | F | F | F | T | T | T | T |
| 92920 | F | F | F | T | T | T | T |
| 92921 | F | F | F | T | T | T | T |
| 92922 | F | F | F | T | T | T | T |
| 92923 | F | F | F | T | T | T | T |
| 92924 | F | F | F | T | T | T | T |
| 92925 | F | F | F | T | T | T | T |
| 92926 | F | F | F | F | F | * | T |
| 92927 | F | F | F | T | T | T | T |
| 92928 | F | F | F | T | T | T | T |
| 92929 | F | F | F | F | F | * | T |
| 92930 | F | F | F | T | T | T | T |
| 92931 | F | F | F | T | T | T | T |
| 92932 | F | F | F | T | T | T | T |
| 92933 | F | F | F | T | T | T | T |
| 92934 | F | F | F | F | F | * | T |
| 92935 | F | F | F | T | T | T | T |
| 92936 | F | F | F | T | T | T | T |
| 92937 | F | F | F | T | T | T | T |
| 92938 | F | F | F | F | F | * | T |
| 92939 | F | F | F | T | T | T | T |
| 92940 | F | F | F | F | F | * | T |
| 92941 | F | F | F | T | T | T | T |
| 92942 | F | F | F | T | T | T | T |
| 92943 | F | F | F | T | T | T | T |
| 92944 | F | F | F | T | T | T | T |
| 92945 | F | F | F | T | T | T | T |
| 92946 | F | F | F | T | T | T | T |
| 96255 | F | F | F | T | T | T | T |
| 96256 | F | F | F | T | T | T | T |
| 96257 | F | F | F | T | T | T | T |
| 96258 | F | F | F | T | T | T | T |
| 96259 | F | F | F | T | T | T | T |
| 96260 | F | F | F | T | T | T | T |
| 96261 | F | F | F | T | T | T | T |
| 96262 | F | F | F | T | T | T | T |
| 96263 | F | F | F | T | T | T | T |
| 96264 | F | F | F | T | T | T | T |
| 96265 | F | F | F | F | F | * | T |
| 96266 | F | F | F | T | T | T | T |
| 96267 | F | F | F | T | T | T | T |
| 96268 | F | F | F | T | T | T | T |
| 96269 | F | F | F | T | T | T | T |
| 96270 | F | F | F | T | T | T | T |
| 96271 | F | F | F | T | T | T | T |
| 96272 | F | F | F | T | T | T | T |
| 96273 | F | F | F | T | T | T | T |
| 96274 | F | F | F | T | T | T | T |
| 96275 | F | F | F | T | T | T | T |
| 96276 | F | F | F | T | T | T | T |
| 96277 | F | F | F | T | T | T | T |
| 96278 | F | F | F | T | T | T | T |
| 96279 | F | F | F | T | T | T | T |
| 96280 | F | F | F | T | T | T | T |
| 96281 | F | F | F | F | F | * | T |
| 96282 | F | F | F | T | T | T | T |
| 96283 | F | F | F | T | T | * | T |
| 98117 | F | F | F | T | T | T | T |
| 98118 | F | F | F | T | T | T | T |
| 98119 | F | F | F | T | T | T | T |
| 98120 | F | F | F | T | T | T | T |
| 98121 | F | F | F | F | F | * | T |
| 98122 | F | F | F | T | T | T | T |
| 98123 | F | F | F | T | T | T | T |
| 98124 | F | F | F | T | T | T | T |
| 98125 | F | F | F | T | T | T | T |
| 98126 | F | F | F | T | T | T | T |
| 98127 | F | F | F | T | T | T | T |
| 98128 | F | F | F | T | T | T | T |
| 98129 | F | F | F | T | T | T | T |
| 98130 | F | F | F | T | T | T | T |
| 98131 | F | F | F | T | T | T | T |
| 98132 | F | F | F | F | F | * | T |
| 98133 | F | F | F | T | T | * | T |
| 98134 | F | F | F | T | T | T | T |
| 98135 | F | F | F | T | T | T | T |
| 98136 | F | F | F | T | T | T | T |
| 98137 | F | F | F | T | T | T | T |
| 98138 | F | F | F | T | T | * | T |
| 99634 | F | F | F | T | T | T | T |
| 99635 | F | F | F | T | T | T | T |
| 99636 | F | F | F | T | T | T | T |
| 99637 | F | F | F | F | F | * | T |
| 99638 | F | F | F | T | T | T | T |
| 99639 | F | F | F | T | T | T | T |
| 99640 | F | F | F | T | T | T | T |
| 99641 | F | F | F | T | T | T | T |
| 99642 | F | F | F | T | T | T | T |
| 99643 | F | F | F | T | T | T | T |
| 99644 | F | F | F | T | T | T | T |
| 99645 | F | F | F | T | T | T | T |
| 99646 | F | F | F | T | T | T | T |
| 99647 | F | F | F | T | T | T | T |
| 99648 | F | F | F | F | F | * | T |
| 99649 | F | F | F | T | T | * | T |
| 99650 | F | F | F | T | T | T | T |
| 99651 | F | F | F | T | T | T | T |
| 99652 | F | F | F | T | T | T | T |
| 99653 | F | F | F | T | T | T | T |
| 99654 | F | F | F | T | T | * | T |
| 101050 | F | F | F | T | T | T | T |
| 101051 | F | F | F | T | T | T | T |
| 101052 | F | F | F | T | T | T | T |
| 101053 | F | F | F | T | T | T | T |
| 101054 | F | F | F | F | F | * | T |
| 101055 | F | F | F | T | T | T | T |
| 101056 | F | F | F | T | T | T | T |
| 101057 | F | F | F | T | T | T | T |
| 101058 | F | F | F | T | T | T | T |
| 101059 | F | F | F | T | T | T | T |
| 101060 | F | F | F | T | T | T | T |
| 101061 | F | F | F | T | T | T | T |
| 101062 | F | F | F | T | T | T | T |
| 101063 | F | F | F | T | T | T | T |
| 101064 | F | F | F | T | T | T | T |
| 101065 | F | F | F | F | F | * | T |
| 101066 | F | F | F | T | T | * | T |
| 101067 | F | F | F | T | T | T | T |
| 101068 | F | F | F | T | T | T | T |
| 101069 | F | F | F | T | T | T | T |
| 101070 | F | F | F | T | T | T | T |
| 101071 | F | F | F | T | T | * | T |
| 102788 | F | F | F | T | T | T | T |
| 102789 | F | F | F | T | T | T | T |
| 102790 | F | F | F | T | T | T | T |
| 102791 | F | F | F | T | T | T | T |
| 102792 | F | F | F | T | T | T | T |
| 102793 | F | F | F | F | F | * | T |
| 102794 | F | F | F | F | F | * | T |
| 102795 | F | F | F | T | T | T | T |
| 102796 | F | F | F | T | T | T | T |
| 102797 | F | F | F | T | T | T | T |
| 102798 | F | F | F | T | T | T | T |
| 102799 | F | F | F | T | T | T | T |
| 102800 | F | F | F | T | T | T | T |
| 102801 | F | F | F | T | T | T | T |
| 102802 | F | F | F | T | T | T | T |
| 102803 | F | F | F | F | F | * | T |
| 102804 | F | F | F | F | F | * | T |
| 102805 | F | F | F | T | T | * | T |
| 102806 | F | F | F | T | T | T | T |
| 102807 | F | F | F | T | T | T | T |
| 102808 | F | F | F | T | T | T | T |
| 102809 | F | F | F | T | T | T | T |
| 106139 | F | F | F | T | T | T | T |
| 106140 | F | F | F | T | T | T | T |
| 106141 | F | F | F | T | T | T | T |
| 106142 | F | F | F | T | T | T | T |
| 106143 | F | F | F | T | T | T | T |
| 106144 | F | F | F | F | F | * | T |
| 106145 | F | F | F | F | F | * | T |
| 106146 | F | F | F | T | T | T | T |
| 106147 | F | F | F | T | T | T | T |
| 106148 | F | F | F | F | F | * | T |
| 106149 | F | F | F | F | F | * | T |
| 106150 | F | F | F | T | T | T | T |
| 106151 | F | F | F | F | F | * | T |
| 106152 | F | F | F | F | F | * | T |
| 106153 | F | F | F | T | T | T | T |
| 106154 | F | F | F | T | T | T | T |
| 106155 | F | F | F | T | T | T | T |
| 106156 | F | F | F | T | T | T | T |
| 106157 | F | F | F | T | T | T | T |
| 106158 | F | F | F | T | T | T | T |
| 106159 | F | F | F | T | T | T | T |
| 106160 | F | F | F | T | T | T | T |
| 106161 | F | F | F | T | T | T | T |
| 106162 | F | F | F | T | T | T | T |
| 106163 | F | F | F | T | T | T | T |
| 106164 | F | F | F | T | T | T | T |
| 106165 | F | F | F | T | T | T | T |
| 106166 | F | F | F | T | T | T | T |
| 106167 | F | F | F | T | T | T | T |
| 106168 | F | F | F | F | F | * | T |
| 106169 | F | F | F | F | F | * | T |
| 106170 | F | F | F | T | T | * | T |
| 106171 | F | F | F | T | T | T | T |
| 106172 | F | F | F | T | T | T | T |
| 106173 | F | F | F | T | T | T | T |
| 106174 | F | F | F | F | F | * | T |
| 106175 | F | F | F | F | F | * | T |
| 106176 | F | F | F | F | F | * | T |
| 106177 | F | F | F | F | F | * | T |
| 106178 | F | F | F | T | T | T | T |
| 106179 | F | F | F | T | T | T | T |
| 106180 | F | F | F | F | F | * | T |
| 106181 | F | F | F | F | F | * | T |
| 106182 | F | F | F | F | F | * | T |
| 106183 | F | F | F | F | F | * | T |
| 106184 | F | F | F | T | T | T | T |
| 106185 | F | F | F | T | T | T | T |
| 109126 | F | F | F | T | T | T | T |
| 109127 | F | F | F | T | T | T | T |
| 109128 | F | F | F | T | T | T | T |
| 109129 | F | F | F | T | T | T | T |
| 109130 | F | F | F | T | T | T | T |
| 109131 | F | F | F | F | F | * | T |
| 109132 | F | F | F | T | T | T | T |
| 109133 | F | F | F | T | T | T | T |
| 109134 | F | F | F | T | T | T | T |
| 109135 | F | F | F | T | T | T | T |
| 109136 | F | F | F | T | T | T | T |
| 109137 | F | F | F | T | T | T | T |
| 109138 | F | F | F | T | T | T | T |
| 109139 | F | F | F | T | T | T | T |
| 109140 | F | F | F | F | F | * | T |
| 109141 | F | F | F | T | T | * | T |
| 109142 | F | F | F | T | T | T | T |
| 109143 | F | F | F | T | T | T | T |
| 109144 | F | F | F | T | T | T | T |
| 109145 | F | F | F | T | T | T | T |
| 111879 | F | F | F | T | T | T | T |
| 111880 | F | F | F | T | T | T | T |
| 111881 | F | F | F | T | T | T | T |
| 111882 | F | F | F | T | T | T | T |
| 111883 | F | F | F | T | T | T | T |
| 111884 | F | F | F | F | F | * | T |
| 111885 | F | F | F | F | F | * | T |
| 111886 | F | F | F | F | F | * | T |
| 111887 | F | F | F | T | T | T | T |
| 111888 | F | F | F | T | T | T | T |
| 111889 | F | F | F | F | F | * | T |
| 111890 | F | F | F | F | F | * | T |
| 111891 | F | F | F | F | F | * | T |
| 111892 | F | F | F | T | T | T | T |
| 111893 | F | F | F | T | T | T | T |
| 111894 | F | F | F | T | T | T | T |
| 111895 | F | F | F | T | T | T | T |
| 111896 | F | F | F | T | T | T | T |
| 111897 | F | F | F | T | T | T | T |
| 111898 | F | F | F | T | T | T | T |
| 111899 | F | F | F | T | T | T | T |
| 111900 | F | F | F | T | T | T | T |
| 111901 | F | F | F | T | T | T | T |
| 111902 | F | F | F | T | T | T | T |
| 111903 | F | F | F | T | T | T | T |
| 111904 | F | F | F | F | F | * | T |
| 111905 | F | F | F | F | F | * | T |
| 111906 | F | F | F | T | T | T | T |
| 111907 | F | F | F | T | T | * | T |
| 111908 | F | F | F | T | T | T | T |
| 111909 | F | F | F | T | T | T | T |
| 111910 | F | F | F | T | T | T | T |
| 111911 | F | F | F | F | F | * | T |
| 111912 | F | F | F | F | F | * | T |
| 111913 | F | F | F | F | F | * | T |
| 111914 | F | F | F | T | T | T | T |
| 111915 | F | F | F | F | F | * | T |
| 111916 | F | F | F | T | T | T | T |
| 111917 | F | F | F | T | T | T | T |
| 111918 | F | F | F | T | T | * | T |
| 114739 | F | F | F | T | T | T | T |
| 114740 | F | F | F | T | T | T | T |
| 114741 | F | F | F | T | T | T | T |
| 114742 | F | F | F | T | T | T | T |
| 114743 | F | F | F | T | T | T | T |
| 114744 | F | F | F | F | F | * | T |
| 114745 | F | F | F | F | F | * | T |
| 114746 | F | F | F | F | F | * | T |
| 114747 | F | F | F | T | T | T | T |
| 114748 | F | F | F | T | T | T | T |
| 114749 | F | F | F | T | T | T | T |
| 114750 | F | F | F | T | T | T | T |
| 114751 | F | F | F | T | T | T | T |
| 114752 | F | F | F | T | T | T | T |
| 114753 | F | F | F | T | T | T | T |
| 114754 | F | F | F | T | T | T | T |
| 114755 | F | F | F | T | T | T | T |
| 114756 | F | F | F | T | T | T | T |
| 114757 | F | F | F | T | T | T | T |
| 114758 | F | F | F | T | T | T | T |
| 114759 | F | F | F | T | T | T | T |
| 114760 | F | F | F | T | T | T | T |
| 114761 | F | F | F | T | T | T | T |
| 114762 | F | F | F | F | F | * | T |
| 114763 | F | F | F | T | T | T | T |
| 114764 | F | F | F | F | F | * | T |
| 114765 | F | F | F | T | T | T | T |
| 114766 | F | F | F | T | T | * | T |
| 114767 | F | F | F | T | T | T | T |
| 114768 | F | F | F | T | T | T | T |
| 114769 | F | F | F | T | T | T | T |
| 114770 | F | F | F | F | F | * | T |
| 114771 | F | F | F | T | T | T | T |
| 114772 | F | F | F | T | T | T | T |
| 114773 | F | F | F | T | T | T | T |
| 114774 | F | F | F | T | T | * | T |
| 119174 | F | F | F | T | T | T | T |
| 119175 | F | F | F | T | T | T | T |
| 119176 | F | F | F | T | T | T | T |
| 119177 | F | F | F | T | T | T | T |
| 119178 | F | F | F | F | F | * | T |
| 119179 | F | F | F | F | F | * | T |
| 119180 | F | F | F | F | F | * | T |
| 119181 | F | F | F | T | T | T | T |
| 119182 | F | F | F | T | T | T | T |
| 119183 | F | F | F | T | T | T | T |
| 119184 | F | F | F | T | T | T | T |
| 119185 | F | F | F | T | T | T | T |
| 119186 | F | F | F | T | T | T | T |
| 119187 | F | F | F | T | T | T | T |
| 119188 | F | F | F | T | T | T | T |
| 119189 | F | F | F | T | T | T | T |
| 119190 | F | F | F | T | T | T | T |
| 119191 | F | F | F | T | T | T | T |
| 119192 | F | F | F | T | T | T | T |
| 119193 | F | F | F | T | T | T | T |
| 119194 | F | F | F | T | T | T | T |
| 119195 | F | F | F | T | T | T | T |
| 119196 | F | F | F | T | T | T | T |
| 119197 | F | F | F | T | T | T | T |
| 119198 | F | F | F | T | T | T | T |
| 119199 | F | F | F | T | T | T | T |
| 119200 | F | F | F | T | T | T | T |
| 119201 | F | F | F | T | T | T | T |
| 119202 | F | F | F | T | T | T | T |
| 119203 | F | F | F | T | T | T | T |
| 119204 | F | F | F | T | T | T | T |
| 119205 | F | F | F | T | T | T | T |
| 119206 | F | F | F | T | T | T | T |
| 119207 | F | F | F | T | T | T | T |
| 119208 | F | F | F | T | T | T | T |
| 119209 | F | F | F | T | T | T | T |
| 119210 | F | F | F | T | T | T | T |
| 119211 | F | F | F | T | T | T | T |
| 119212 | F | F | F | T | T | T | T |
| 119213 | F | F | F | T | T | T | T |
| 119214 | F | F | F | T | T | T | T |
| 119215 | F | F | F | T | T | T | T |
| 119216 | F | F | F | F | F | * | T |
| 119217 | F | F | F | T | T | T | T |
| 119218 | F | F | F | F | F | * | T |
| 119219 | F | F | F | T | T | * | T |
| 119220 | F | F | F | T | T | T | T |
| 119221 | F | F | F | T | T | T | T |
| 119222 | F | F | F | T | T | T | T |
| 119223 | F | F | F | T | T | T | T |
| 119224 | F | F | F | T | T | T | T |
| 119225 | F | F | F | T | T | T | T |
| 142110 | F | F | F | T | T | T | T |
| 142111 | F | F | F | T | T | T | T |
| 142112 | F | F | F | T | T | T | T |
| 142113 | F | F | F | T | T | T | T |
| 142114 | F | F | F | F | F | * | T |
| 142115 | F | F | F | F | F | * | T |
| 142116 | F | F | F | F | F | * | T |
| 142117 | F | F | F | T | T | T | T |
| 142118 | F | F | F | T | T | T | T |
| 142119 | F | F | F | T | T | T | T |
| 142120 | F | F | F | T | T | T | T |
| 142121 | F | F | F | T | T | T | T |
| 142122 | F | F | F | T | T | T | T |
| 142123 | F | F | F | T | T | T | T |
| 142124 | F | F | F | T | T | T | T |
| 142125 | F | F | F | T | T | T | T |
| 142126 | F | F | F | T | T | T | T |
| 142127 | F | F | F | T | T | T | T |
| 142128 | F | F | F | T | T | T | T |
| 142129 | F | F | F | T | T | T | T |
| 142130 | F | F | F | T | T | T | T |
| 142131 | F | F | F | T | T | T | T |
| 142132 | F | F | F | T | T | T | T |
| 142133 | F | F | F | T | T | T | T |
| 142134 | F | F | F | T | T | T | T |
| 142135 | F | F | F | T | T | T | T |
| 142136 | F | F | F | T | T | T | T |
| 142137 | F | F | F | T | T | T | T |
| 142138 | F | F | F | T | T | T | T |
| 142139 | F | F | F | T | T | T | T |
| 142140 | F | F | F | T | T | T | T |
| 142141 | F | F | F | T | T | T | T |
| 142142 | F | F | F | T | T | T | T |
| 142143 | F | F | F | T | T | T | T |
| 142144 | F | F | F | T | T | T | T |
| 142145 | F | F | F | T | T | T | T |
| 142146 | F | F | F | T | T | T | T |
| 142147 | F | F | F | T | T | T | T |
| 142148 | F | F | F | T | T | T | T |
| 142149 | F | F | F | T | T | T | T |
| 142150 | F | F | F | T | T | T | T |
| 142151 | F | F | F | T | T | T | T |
| 142152 | F | F | F | F | F | * | T |
| 142153 | F | F | F | T | T | T | T |
| 142154 | F | F | F | F | F | * | T |
| 142155 | F | F | F | T | T | * | T |
| 142156 | F | F | F | T | T | T | T |
| 142157 | F | F | F | T | T | T | T |
| 142158 | F | F | F | T | T | T | T |
| 142159 | F | F | F | T | T | T | T |
| 142160 | F | F | F | T | T | T | T |
| 142161 | F | F | F | T | T | T | T |
| 163338 | F | F | F | T | T | T | T |
| 163339 | F | F | F | T | T | T | T |
| 163340 | F | F | F | T | T | T | T |
| 163341 | F | F | F | T | T | T | T |
| 163342 | F | F | F | T | T | T | T |
| 163343 | F | F | F | T | T | T | T |
| 163344 | F | F | F | T | T | T | T |
| 163345 | F | F | F | T | T | T | T |
| 163346 | F | F | F | T | T | T | T |
| 163347 | F | F | F | T | T | T | T |
| 163348 | F | F | F | T | T | T | T |
| 163349 | F | F | F | T | T | T | T |
| 163350 | F | F | F | T | T | T | T |
| 163351 | F | F | F | T | T | T | T |
| 163352 | F | F | F | T | T | T | T |
| 163353 | F | F | F | T | T | T | T |
| 163354 | F | F | F | T | T | T | T |
| 163355 | F | F | F | T | T | T | T |
| 163356 | F | F | F | T | T | T | T |
| 164909 | F | F | F | T | T | T | T |
| 164910 | F | F | F | T | T | T | T |
| 164911 | F | F | F | T | T | T | T |
| 164912 | F | F | F | T | T | T | T |
| 164913 | F | F | F | T | T | T | T |
| 164914 | F | F | F | T | T | T | T |
| 164915 | F | F | F | T | T | T | T |
| 164916 | F | F | F | T | T | T | T |
| 164917 | F | F | F | T | T | T | T |
| 164918 | F | F | F | T | T | T | T |
| 164919 | F | F | F | T | T | T | T |
| 164920 | F | F | F | T | T | T | T |
| 164921 | F | F | F | T | T | T | T |
| 164922 | F | F | F | T | T | T | T |
| 164923 | F | F | F | T | T | T | T |
| 164924 | F | F | F | T | T | T | T |
| 164925 | F | F | F | T | T | T | T |
| 164926 | F | F | F | T | T | T | T |
| 164927 | F | F | F | T | T | T | T |
| 164928 | F | F | F | T | T | T | T |
| 164929 | F | F | F | T | T | T | T |
| 166631 | F | F | F | T | T | T | T |
| 166632 | F | F | F | T | T | T | T |
| 166633 | F | F | F | T | T | T | T |
| 166634 | F | F | F | T | T | T | T |
| 166635 | F | F | F | T | T | T | T |
| 166636 | F | F | F | T | T | T | T |
| 166637 | F | F | F | T | T | T | T |
| 166638 | F | F | F | T | T | T | T |
| 166639 | F | F | F | T | T | T | T |
| 166640 | F | F | F | T | T | T | T |
| 166641 | F | F | F | T | T | T | T |
| 166642 | F | F | F | T | T | T | T |
| 166643 | F | F | F | T | T | T | T |
| 166644 | F | F | F | T | T | T | T |
| 166645 | F | F | F | T | T | T | T |
| 166646 | F | F | F | T | T | T | T |
| 166647 | F | F | F | T | T | T | T |
| 166648 | F | F | F | T | T | T | T |
| 166649 | F | F | F | T | T | T | T |
| 166650 | F | F | F | T | T | T | T |
Independent-effect pairs
All 6 conditions live in <alloc::raw_vec::RawVecInner>::finish_grow — 6 br_if
c0(branch4657): GAP view gap →c1(branch4658): GAP view gap →c2(branch4659): GAP view gap →c3(branch4660): GAP view gap →c4(branch4661): GAP view gap →c5(branch4662): GAP view gap →