Decision #1015 — lib.rs:544
Status: no_witness
Truth table
| row | c0 br 6462 | c1 br 6463 | outcome |
|---|---|---|---|
| 38313 | F | * | F |
| 38314 | F | * | F |
| 38315 | F | * | F |
| 38316 | F | * | F |
| 38317 | F | * | F |
| 38318 | F | * | F |
| 38319 | F | * | F |
| 38320 | F | * | F |
| 38321 | F | * | F |
| 38322 | F | * | F |
| 38323 | F | * | F |
| 38324 | F | * | F |
| 38325 | F | * | F |
| 38326 | F | * | F |
| 38327 | F | * | F |
| 38328 | F | * | F |
| 38329 | T | F | F |
| 38330 | F | * | F |
| 38331 | F | * | F |
| 38332 | F | * | F |
| 38333 | F | * | F |
| 38334 | F | * | F |
| 38335 | F | * | F |
| 38336 | F | * | F |
| 38337 | F | * | F |
| 38338 | F | * | F |
| 38339 | F | * | F |
| 38340 | F | * | F |
| 38341 | F | * | F |
| 38342 | F | * | F |
| 38343 | F | * | F |
| 38344 | F | * | F |
| 38345 | F | * | F |
| 38346 | T | F | F |
| 38347 | F | * | F |
| 38348 | F | * | F |
| 38349 | F | * | F |
| 38350 | F | * | F |
| 38351 | F | * | F |
| 38352 | F | * | F |
| 38353 | F | * | F |
| 38354 | F | * | F |
| 38355 | F | * | F |
| 38356 | F | * | F |
| 38357 | F | * | F |
| 38358 | F | * | F |
| 38359 | F | * | F |
| 38360 | F | * | F |
| 38361 | F | * | F |
| 38362 | F | * | F |
| 38363 | T | F | F |
| 38364 | F | * | F |
| 38365 | F | * | F |
| 38366 | F | * | F |
| 38367 | F | * | F |
| 38368 | F | * | F |
| 38369 | F | * | F |
| 38370 | F | * | F |
| 38371 | F | * | F |
| 38372 | F | * | F |
| 38373 | F | * | F |
| 38374 | F | * | F |
| 38375 | F | * | F |
| 38376 | F | * | F |
| 38377 | F | * | F |
| 38378 | F | * | F |
| 38379 | F | * | F |
| 38380 | T | F | F |
| 38381 | F | * | F |
| 38382 | F | * | F |
| 38383 | F | * | F |
| 38384 | F | * | F |
| 38385 | F | * | F |
| 38386 | F | * | F |
| 38387 | F | * | F |
| 38388 | F | * | F |
| 38389 | F | * | F |
| 38390 | F | * | F |
| 38391 | F | * | F |
| 38392 | F | * | F |
| 38393 | F | * | F |
| 38394 | F | * | F |
| 38395 | F | * | F |
| 38396 | F | * | F |
| 38397 | T | F | F |
| 38398 | F | * | F |
| 38399 | F | * | F |
| 38400 | F | * | F |
| 38401 | F | * | F |
| 38402 | F | * | F |
| 38403 | F | * | F |
| 38404 | F | * | F |
| 38405 | F | * | F |
| 38406 | F | * | F |
| 38407 | F | * | F |
| 38408 | F | * | F |
| 38409 | F | * | F |
| 38410 | F | * | F |
| 38411 | F | * | F |
| 38412 | F | * | F |
| 38413 | F | * | F |
| 38414 | T | F | F |
| 38415 | F | * | F |
| 38416 | F | * | F |
| 38417 | F | * | F |
| 38418 | F | * | F |
| 38419 | F | * | F |
| 38420 | F | * | F |
| 38421 | F | * | F |
| 38422 | F | * | F |
| 38423 | F | * | F |
| 38424 | F | * | F |
| 38425 | F | * | F |
| 38426 | F | * | F |
| 38427 | F | * | F |
| 38428 | F | * | F |
| 38429 | F | * | F |
| 38430 | F | * | F |
| 38431 | T | F | F |
| 38432 | F | * | F |
| 38433 | F | * | F |
| 38434 | F | * | F |
| 38435 | F | * | F |
| 38436 | F | * | F |
| 38437 | F | * | F |
| 38438 | F | * | F |
| 38439 | F | * | F |
| 38440 | F | * | F |
| 38441 | F | * | F |
| 38442 | F | * | F |
| 38443 | F | * | F |
| 38444 | F | * | F |
| 38445 | F | * | F |
| 38446 | F | * | F |
| 38447 | F | * | F |
| 38448 | T | F | F |
| 59167 | F | * | F |
| 59168 | F | * | F |
| 59169 | F | * | F |
| 59170 | F | * | F |
| 59171 | F | * | F |
| 59172 | F | * | F |
| 59173 | F | * | F |
| 59174 | F | * | F |
| 59175 | F | * | F |
| 59176 | F | * | F |
| 59177 | F | * | F |
| 59178 | F | * | F |
| 59179 | F | * | F |
| 59180 | F | * | F |
| 59181 | F | * | F |
| 59182 | F | * | F |
| 59183 | T | F | F |
| 59184 | F | * | F |
| 59185 | F | * | F |
| 59186 | F | * | F |
| 59187 | F | * | F |
| 59188 | F | * | F |
| 59189 | F | * | F |
| 59190 | F | * | F |
| 59191 | F | * | F |
| 59192 | F | * | F |
| 59193 | F | * | F |
| 59194 | F | * | F |
| 59195 | F | * | F |
| 59196 | F | * | F |
| 59197 | F | * | F |
| 59198 | F | * | F |
| 59199 | F | * | F |
| 59200 | T | F | F |
| 59201 | F | * | F |
| 59202 | F | * | F |
| 59203 | F | * | F |
| 59204 | F | * | F |
| 59205 | F | * | F |
| 59206 | F | * | F |
| 59207 | F | * | F |
| 59208 | F | * | F |
| 59209 | F | * | F |
| 59210 | F | * | F |
| 59211 | F | * | F |
| 59212 | F | * | F |
| 59213 | F | * | F |
| 59214 | F | * | F |
| 59215 | F | * | F |
| 59216 | F | * | F |
| 59217 | T | F | F |
| 59218 | F | * | F |
| 59219 | F | * | F |
| 59220 | F | * | F |
| 59221 | F | * | F |
| 59222 | F | * | F |
| 59223 | F | * | F |
| 59224 | F | * | F |
| 59225 | F | * | F |
| 59226 | F | * | F |
| 59227 | F | * | F |
| 59228 | F | * | F |
| 59229 | F | * | F |
| 59230 | F | * | F |
| 59231 | F | * | F |
| 59232 | F | * | F |
| 59233 | F | * | F |
| 59234 | T | F | F |
| 59235 | F | * | F |
| 59236 | F | * | F |
| 59237 | F | * | F |
| 59238 | F | * | F |
| 59239 | F | * | F |
| 59240 | F | * | F |
| 59241 | F | * | F |
| 59242 | F | * | F |
| 59243 | F | * | F |
| 59244 | F | * | F |
| 59245 | F | * | F |
| 59246 | F | * | F |
| 59247 | F | * | F |
| 59248 | F | * | F |
| 59249 | F | * | F |
| 59250 | F | * | F |
| 59251 | T | F | F |
| 59252 | F | * | F |
| 59253 | F | * | F |
| 59254 | F | * | F |
| 59255 | F | * | F |
| 59256 | F | * | F |
| 59257 | F | * | F |
| 59258 | F | * | F |
| 59259 | F | * | F |
| 59260 | F | * | F |
| 59261 | F | * | F |
| 59262 | F | * | F |
| 59263 | F | * | F |
| 59264 | F | * | F |
| 59265 | F | * | F |
| 59266 | F | * | F |
| 59267 | F | * | F |
| 59268 | T | F | F |
| 59269 | F | * | F |
| 59270 | F | * | F |
| 59271 | F | * | F |
| 59272 | F | * | F |
| 59273 | F | * | F |
| 59274 | F | * | F |
| 59275 | F | * | F |
| 59276 | F | * | F |
| 59277 | F | * | F |
| 59278 | F | * | F |
| 59279 | F | * | F |
| 59280 | F | * | F |
| 59281 | F | * | F |
| 59282 | F | * | F |
| 59283 | F | * | F |
| 59284 | F | * | F |
| 59285 | T | F | F |
| 59286 | F | * | F |
| 59287 | F | * | F |
| 59288 | F | * | F |
| 59289 | F | * | F |
| 59290 | F | * | F |
| 59291 | F | * | F |
| 59292 | F | * | F |
| 59293 | F | * | F |
| 59294 | F | * | F |
| 59295 | F | * | F |
| 59296 | F | * | F |
| 59297 | F | * | F |
| 59298 | F | * | F |
| 59299 | F | * | F |
| 59300 | F | * | F |
| 59301 | F | * | F |
| 59302 | T | F | F |
| 74849 | F | * | F |
| 74850 | F | * | F |
| 74851 | F | * | F |
| 74852 | F | * | F |
| 74853 | T | F | F |
| 74854 | F | * | F |
| 74855 | F | * | F |
| 74856 | F | * | F |
| 74857 | F | * | F |
| 74858 | T | F | F |
| 74859 | F | * | F |
| 74860 | F | * | F |
| 74861 | F | * | F |
| 74862 | F | * | F |
| 74863 | T | F | F |
| 74864 | F | * | F |
| 74865 | F | * | F |
| 74866 | F | * | F |
| 74867 | F | * | F |
| 74868 | T | F | F |
| 74869 | F | * | F |
| 74870 | F | * | F |
| 74871 | F | * | F |
| 74872 | F | * | F |
| 74873 | T | F | F |
| 74874 | F | * | F |
| 74875 | F | * | F |
| 74876 | F | * | F |
| 74877 | F | * | F |
| 74878 | T | F | F |
| 74879 | F | * | F |
| 74880 | F | * | F |
| 74881 | F | * | F |
| 74882 | F | * | F |
| 74883 | T | F | F |
| 74884 | F | * | F |
| 74885 | F | * | F |
| 74886 | F | * | F |
| 74887 | F | * | F |
| 74888 | T | F | F |
| 74889 | F | * | F |
| 74890 | F | * | F |
| 74891 | F | * | F |
| 74892 | F | * | F |
| 74893 | T | F | F |
| 74894 | F | * | F |
| 74895 | F | * | F |
| 74896 | F | * | F |
| 74897 | F | * | F |
| 74898 | T | F | F |
| 74899 | F | * | F |
| 74900 | F | * | F |
| 74901 | F | * | F |
| 74902 | F | * | F |
| 74903 | T | F | F |
| 74904 | F | * | F |
| 74905 | F | * | F |
| 74906 | F | * | F |
| 74907 | F | * | F |
| 74908 | T | F | F |
| 74909 | F | * | F |
| 74910 | F | * | F |
| 74911 | F | * | F |
| 74912 | F | * | F |
| 74913 | T | F | F |
| 74914 | F | * | F |
| 74915 | F | * | F |
| 74916 | F | * | F |
| 74917 | F | * | F |
| 74918 | T | F | F |
| 74919 | F | * | F |
| 74920 | F | * | F |
| 74921 | F | * | F |
| 74922 | F | * | F |
| 74923 | T | F | F |
| 74924 | F | * | F |
| 74925 | F | * | F |
| 74926 | F | * | F |
| 74927 | F | * | F |
| 74928 | T | F | F |
| 74929 | F | * | F |
| 74930 | F | * | F |
| 74931 | F | * | F |
| 74932 | F | * | F |
| 74933 | T | F | F |
| 74934 | F | * | F |
| 74935 | F | * | F |
| 74936 | F | * | F |
| 74937 | F | * | F |
| 74938 | T | F | F |
| 74939 | F | * | F |
| 74940 | F | * | F |
| 74941 | F | * | F |
| 74942 | F | * | F |
| 74943 | T | F | F |
| 74944 | F | * | F |
| 74945 | F | * | F |
| 74946 | F | * | F |
| 74947 | F | * | F |
| 74948 | T | F | F |
| 74949 | F | * | F |
| 74950 | F | * | F |
| 74951 | F | * | F |
| 74952 | F | * | F |
| 74953 | T | F | F |
| 74954 | F | * | F |
| 74955 | F | * | F |
| 74956 | F | * | F |
| 74957 | F | * | F |
| 74958 | T | F | F |
| 74959 | F | * | F |
| 74960 | F | * | F |
| 74961 | F | * | F |
| 74962 | F | * | F |
| 74963 | T | F | F |
| 74964 | F | * | F |
| 74965 | F | * | F |
| 74966 | F | * | F |
| 74967 | F | * | F |
| 74968 | T | F | F |
| 84732 | F | * | F |
| 84733 | F | * | F |
| 84734 | F | * | F |
| 84735 | F | * | F |
| 84736 | T | F | F |
| 84737 | F | * | F |
| 84738 | F | * | F |
| 84739 | F | * | F |
| 84740 | F | * | F |
| 84741 | T | F | F |
| 84742 | F | * | F |
| 84743 | F | * | F |
| 84744 | F | * | F |
| 84745 | F | * | F |
| 84746 | T | F | F |
| 84747 | F | * | F |
| 84748 | F | * | F |
| 84749 | F | * | F |
| 84750 | F | * | F |
| 84751 | T | F | F |
| 84752 | F | * | F |
| 84753 | F | * | F |
| 84754 | F | * | F |
| 84755 | F | * | F |
| 84756 | T | F | F |
| 84757 | F | * | F |
| 84758 | F | * | F |
| 84759 | F | * | F |
| 84760 | F | * | F |
| 84761 | T | F | F |
| 84762 | F | * | F |
| 84763 | F | * | F |
| 84764 | F | * | F |
| 84765 | F | * | F |
| 84766 | T | F | F |
| 84767 | F | * | F |
| 84768 | F | * | F |
| 84769 | F | * | F |
| 84770 | F | * | F |
| 84771 | T | F | F |
| 84772 | F | * | F |
| 84773 | F | * | F |
| 84774 | F | * | F |
| 84775 | F | * | F |
| 84776 | T | F | F |
| 84777 | F | * | F |
| 84778 | F | * | F |
| 84779 | F | * | F |
| 84780 | F | * | F |
| 84781 | T | F | F |
| 84782 | F | * | F |
| 84783 | F | * | F |
| 84784 | F | * | F |
| 84785 | F | * | F |
| 84786 | T | F | F |
| 84787 | F | * | F |
| 84788 | F | * | F |
| 84789 | F | * | F |
| 84790 | F | * | F |
| 84791 | T | F | F |
| 84792 | F | * | F |
| 84793 | F | * | F |
| 84794 | F | * | F |
| 84795 | F | * | F |
| 84796 | T | F | F |
| 84797 | F | * | F |
| 84798 | F | * | F |
| 84799 | F | * | F |
| 84800 | F | * | F |
| 84801 | T | F | F |
| 84802 | F | * | F |
| 84803 | F | * | F |
| 84804 | F | * | F |
| 84805 | F | * | F |
| 84806 | T | F | F |
| 84807 | F | * | F |
| 84808 | F | * | F |
| 84809 | F | * | F |
| 84810 | F | * | F |
| 84811 | T | F | F |
| 84812 | F | * | F |
| 84813 | F | * | F |
| 84814 | F | * | F |
| 84815 | F | * | F |
| 84816 | T | F | F |
| 84817 | F | * | F |
| 84818 | F | * | F |
| 84819 | F | * | F |
| 84820 | F | * | F |
| 84821 | T | F | F |
| 84822 | F | * | F |
| 84823 | F | * | F |
| 84824 | F | * | F |
| 84825 | F | * | F |
| 84826 | T | F | F |
| 84827 | F | * | F |
| 84828 | F | * | F |
| 84829 | F | * | F |
| 84830 | F | * | F |
| 84831 | T | F | F |
| 84832 | F | * | F |
| 84833 | F | * | F |
| 84834 | F | * | F |
| 84835 | F | * | F |
| 84836 | T | F | F |
| 84837 | F | * | F |
| 84838 | F | * | F |
| 84839 | F | * | F |
| 84840 | F | * | F |
| 84841 | T | F | F |
| 84842 | F | * | F |
| 84843 | F | * | F |
| 84844 | F | * | F |
| 84845 | F | * | F |
| 84846 | T | F | F |
| 84847 | F | * | F |
| 84848 | F | * | F |
| 84849 | F | * | F |
| 84850 | F | * | F |
| 84851 | T | F | F |
| 131544 | F | * | F |
| 131545 | F | * | F |
| 131546 | F | * | F |
| 131547 | F | * | F |
| 131548 | F | * | F |
| 131549 | F | * | F |
| 131550 | F | * | F |
| 131551 | F | * | F |
| 131552 | F | * | F |
| 131553 | F | * | F |
| 131554 | F | * | F |
| 131555 | F | * | F |
| 131556 | F | * | F |
| 131557 | F | * | F |
| 131558 | F | * | F |
| 131559 | F | * | F |
| 131560 | T | F | F |
| 131561 | F | * | F |
| 131562 | F | * | F |
| 131563 | F | * | F |
| 131564 | F | * | F |
| 131565 | F | * | F |
| 131566 | F | * | F |
| 131567 | F | * | F |
| 131568 | F | * | F |
| 131569 | F | * | F |
| 131570 | F | * | F |
| 131571 | F | * | F |
| 131572 | F | * | F |
| 131573 | F | * | F |
| 131574 | F | * | F |
| 131575 | F | * | F |
| 131576 | F | * | F |
| 131577 | T | F | F |
| 131578 | F | * | F |
| 131579 | F | * | F |
| 131580 | F | * | F |
| 131581 | F | * | F |
| 131582 | F | * | F |
| 131583 | F | * | F |
| 131584 | F | * | F |
| 131585 | F | * | F |
| 131586 | F | * | F |
| 131587 | F | * | F |
| 131588 | F | * | F |
| 131589 | F | * | F |
| 131590 | F | * | F |
| 131591 | F | * | F |
| 131592 | F | * | F |
| 131593 | F | * | F |
| 131594 | T | F | F |
| 131595 | F | * | F |
| 131596 | F | * | F |
| 131597 | F | * | F |
| 131598 | F | * | F |
| 131599 | F | * | F |
| 131600 | F | * | F |
| 131601 | F | * | F |
| 131602 | F | * | F |
| 131603 | F | * | F |
| 131604 | F | * | F |
| 131605 | F | * | F |
| 131606 | F | * | F |
| 131607 | F | * | F |
| 131608 | F | * | F |
| 131609 | F | * | F |
| 131610 | F | * | F |
| 131611 | T | F | F |
| 131612 | F | * | F |
| 131613 | F | * | F |
| 131614 | F | * | F |
| 131615 | F | * | F |
| 131616 | F | * | F |
| 131617 | F | * | F |
| 131618 | F | * | F |
| 131619 | F | * | F |
| 131620 | F | * | F |
| 131621 | F | * | F |
| 131622 | F | * | F |
| 131623 | F | * | F |
| 131624 | F | * | F |
| 131625 | F | * | F |
| 131626 | F | * | F |
| 131627 | F | * | F |
| 131628 | T | F | F |
| 131629 | F | * | F |
| 131630 | F | * | F |
| 131631 | F | * | F |
| 131632 | F | * | F |
| 131633 | F | * | F |
| 131634 | F | * | F |
| 131635 | F | * | F |
| 131636 | F | * | F |
| 131637 | F | * | F |
| 131638 | F | * | F |
| 131639 | F | * | F |
| 131640 | F | * | F |
| 131641 | F | * | F |
| 131642 | F | * | F |
| 131643 | F | * | F |
| 131644 | F | * | F |
| 131645 | T | F | F |
| 131646 | F | * | F |
| 131647 | F | * | F |
| 131648 | F | * | F |
| 131649 | F | * | F |
| 131650 | F | * | F |
| 131651 | F | * | F |
| 131652 | F | * | F |
| 131653 | F | * | F |
| 131654 | F | * | F |
| 131655 | F | * | F |
| 131656 | F | * | F |
| 131657 | F | * | F |
| 131658 | F | * | F |
| 131659 | F | * | F |
| 131660 | F | * | F |
| 131661 | F | * | F |
| 131662 | T | F | F |
| 131663 | F | * | F |
| 131664 | F | * | F |
| 131665 | F | * | F |
| 131666 | F | * | F |
| 131667 | F | * | F |
| 131668 | F | * | F |
| 131669 | F | * | F |
| 131670 | F | * | F |
| 131671 | F | * | F |
| 131672 | F | * | F |
| 131673 | F | * | F |
| 131674 | F | * | F |
| 131675 | F | * | F |
| 131676 | F | * | F |
| 131677 | F | * | F |
| 131678 | F | * | F |
| 131679 | T | F | F |
| 131680 | F | * | F |
| 131681 | F | * | F |
| 131682 | F | * | F |
| 131683 | F | * | F |
| 131684 | F | * | F |
| 131685 | F | * | F |
| 131686 | F | * | F |
| 131687 | F | * | F |
| 131688 | F | * | F |
| 131689 | F | * | F |
| 131690 | F | * | F |
| 131691 | F | * | F |
| 131692 | F | * | F |
| 131693 | F | * | F |
| 131694 | F | * | F |
| 131695 | F | * | F |
| 131696 | T | F | F |
| 131697 | F | * | F |
| 131698 | F | * | F |
| 131699 | F | * | F |
| 131700 | F | * | F |
| 131701 | F | * | F |
| 131702 | F | * | F |
| 131703 | F | * | F |
| 131704 | F | * | F |
| 131705 | F | * | F |
| 131706 | F | * | F |
| 131707 | F | * | F |
| 131708 | F | * | F |
| 131709 | F | * | F |
| 131710 | F | * | F |
| 131711 | F | * | F |
| 131712 | F | * | F |
| 131713 | T | F | F |
| 131714 | F | * | F |
| 131715 | F | * | F |
| 131716 | F | * | F |
| 131717 | F | * | F |
| 131718 | F | * | F |
| 131719 | F | * | F |
| 131720 | F | * | F |
| 131721 | F | * | F |
| 131722 | F | * | F |
| 131723 | F | * | F |
| 131724 | F | * | F |
| 131725 | F | * | F |
| 131726 | F | * | F |
| 131727 | F | * | F |
| 131728 | F | * | F |
| 131729 | F | * | F |
| 131730 | T | F | F |
| 131731 | F | * | F |
| 131732 | F | * | F |
| 131733 | F | * | F |
| 131734 | F | * | F |
| 131735 | F | * | F |
| 131736 | F | * | F |
| 131737 | F | * | F |
| 131738 | F | * | F |
| 131739 | F | * | F |
| 131740 | F | * | F |
| 131741 | F | * | F |
| 131742 | F | * | F |
| 131743 | F | * | F |
| 131744 | F | * | F |
| 131745 | F | * | F |
| 131746 | F | * | F |
| 131747 | T | F | F |
| 148263 | F | * | F |
| 148264 | F | * | F |
| 148265 | F | * | F |
| 148266 | F | * | F |
| 148267 | F | * | F |
| 148268 | F | * | F |
| 148269 | F | * | F |
| 148270 | F | * | F |
| 148271 | F | * | F |
| 148272 | F | * | F |
| 148273 | F | * | F |
| 148274 | F | * | F |
| 148275 | F | * | F |
| 148276 | F | * | F |
| 148277 | F | * | F |
| 148278 | F | * | F |
| 148279 | T | F | F |
| 148280 | F | * | F |
| 148281 | F | * | F |
| 148282 | F | * | F |
| 148283 | F | * | F |
| 148284 | F | * | F |
| 148285 | F | * | F |
| 148286 | F | * | F |
| 148287 | F | * | F |
| 148288 | F | * | F |
| 148289 | F | * | F |
| 148290 | F | * | F |
| 148291 | F | * | F |
| 148292 | F | * | F |
| 148293 | F | * | F |
| 148294 | F | * | F |
| 148295 | F | * | F |
| 148296 | T | F | F |
| 148297 | F | * | F |
| 148298 | F | * | F |
| 148299 | F | * | F |
| 148300 | F | * | F |
| 148301 | F | * | F |
| 148302 | F | * | F |
| 148303 | F | * | F |
| 148304 | F | * | F |
| 148305 | F | * | F |
| 148306 | F | * | F |
| 148307 | F | * | F |
| 148308 | F | * | F |
| 148309 | F | * | F |
| 148310 | F | * | F |
| 148311 | F | * | F |
| 148312 | F | * | F |
| 148313 | T | F | F |
| 148314 | F | * | F |
| 148315 | F | * | F |
| 148316 | F | * | F |
| 148317 | F | * | F |
| 148318 | F | * | F |
| 148319 | F | * | F |
| 148320 | F | * | F |
| 148321 | F | * | F |
| 148322 | F | * | F |
| 148323 | F | * | F |
| 148324 | F | * | F |
| 148325 | F | * | F |
| 148326 | F | * | F |
| 148327 | F | * | F |
| 148328 | F | * | F |
| 148329 | F | * | F |
| 148330 | T | F | F |
| 148331 | F | * | F |
| 148332 | F | * | F |
| 148333 | F | * | F |
| 148334 | F | * | F |
| 148335 | F | * | F |
| 148336 | F | * | F |
| 148337 | F | * | F |
| 148338 | F | * | F |
| 148339 | F | * | F |
| 148340 | F | * | F |
| 148341 | F | * | F |
| 148342 | F | * | F |
| 148343 | F | * | F |
| 148344 | F | * | F |
| 148345 | F | * | F |
| 148346 | F | * | F |
| 148347 | T | F | F |
| 148348 | F | * | F |
| 148349 | F | * | F |
| 148350 | F | * | F |
| 148351 | F | * | F |
| 148352 | F | * | F |
| 148353 | F | * | F |
| 148354 | F | * | F |
| 148355 | F | * | F |
| 148356 | F | * | F |
| 148357 | F | * | F |
| 148358 | F | * | F |
| 148359 | F | * | F |
| 148360 | F | * | F |
| 148361 | F | * | F |
| 148362 | F | * | F |
| 148363 | F | * | F |
| 148364 | T | F | F |
| 148365 | F | * | F |
| 148366 | F | * | F |
| 148367 | F | * | F |
| 148368 | F | * | F |
| 148369 | F | * | F |
| 148370 | F | * | F |
| 148371 | F | * | F |
| 148372 | F | * | F |
| 148373 | F | * | F |
| 148374 | F | * | F |
| 148375 | F | * | F |
| 148376 | F | * | F |
| 148377 | F | * | F |
| 148378 | F | * | F |
| 148379 | F | * | F |
| 148380 | F | * | F |
| 148381 | T | F | F |
| 148382 | F | * | F |
| 148383 | F | * | F |
| 148384 | F | * | F |
| 148385 | F | * | F |
| 148386 | F | * | F |
| 148387 | F | * | F |
| 148388 | F | * | F |
| 148389 | F | * | F |
| 148390 | F | * | F |
| 148391 | F | * | F |
| 148392 | F | * | F |
| 148393 | F | * | F |
| 148394 | F | * | F |
| 148395 | F | * | F |
| 148396 | F | * | F |
| 148397 | F | * | F |
| 148398 | T | F | F |
| 148399 | F | * | F |
| 148400 | F | * | F |
| 148401 | F | * | F |
| 148402 | F | * | F |
| 148403 | F | * | F |
| 148404 | F | * | F |
| 148405 | F | * | F |
| 148406 | F | * | F |
| 148407 | F | * | F |
| 148408 | F | * | F |
| 148409 | F | * | F |
| 148410 | F | * | F |
| 148411 | F | * | F |
| 148412 | F | * | F |
| 148413 | F | * | F |
| 148414 | F | * | F |
| 148415 | T | F | F |
| 148416 | F | * | F |
| 148417 | F | * | F |
| 148418 | F | * | F |
| 148419 | F | * | F |
| 148420 | F | * | F |
| 148421 | F | * | F |
| 148422 | F | * | F |
| 148423 | F | * | F |
| 148424 | F | * | F |
| 148425 | F | * | F |
| 148426 | F | * | F |
| 148427 | F | * | F |
| 148428 | F | * | F |
| 148429 | F | * | F |
| 148430 | F | * | F |
| 148431 | F | * | F |
| 148432 | T | F | F |
| 148433 | F | * | F |
| 148434 | F | * | F |
| 148435 | F | * | F |
| 148436 | F | * | F |
| 148437 | F | * | F |
| 148438 | F | * | F |
| 148439 | F | * | F |
| 148440 | F | * | F |
| 148441 | F | * | F |
| 148442 | F | * | F |
| 148443 | F | * | F |
| 148444 | F | * | F |
| 148445 | F | * | F |
| 148446 | F | * | F |
| 148447 | F | * | F |
| 148448 | F | * | F |
| 148449 | T | F | F |
| 148450 | F | * | F |
| 148451 | F | * | F |
| 148452 | F | * | F |
| 148453 | F | * | F |
| 148454 | F | * | F |
| 148455 | F | * | F |
| 148456 | F | * | F |
| 148457 | F | * | F |
| 148458 | F | * | F |
| 148459 | F | * | F |
| 148460 | F | * | F |
| 148461 | F | * | F |
| 148462 | F | * | F |
| 148463 | F | * | F |
| 148464 | F | * | F |
| 148465 | F | * | F |
| 148466 | T | F | F |
| 216673 | F | * | F |
| 216674 | F | * | F |
| 216675 | F | * | F |
| 216676 | F | * | F |
| 216677 | T | F | F |
| 216678 | F | * | F |
| 216679 | F | * | F |
| 216680 | F | * | F |
| 216681 | F | * | F |
| 216682 | T | F | F |
| 251443 | F | * | F |
| 251444 | F | * | F |
| 251445 | F | * | F |
| 251446 | F | * | F |
| 251447 | F | * | F |
| 251448 | F | * | F |
| 251449 | F | * | F |
| 251450 | F | * | F |
| 251451 | F | * | F |
| 251452 | F | * | F |
| 251453 | F | * | F |
| 251454 | F | * | F |
| 251455 | F | * | F |
| 251456 | F | * | F |
| 251457 | F | * | F |
| 251458 | F | * | F |
| 251459 | T | F | F |
| 251460 | F | * | F |
| 251461 | F | * | F |
| 251462 | F | * | F |
| 251463 | F | * | F |
| 251464 | F | * | F |
| 251465 | F | * | F |
| 251466 | F | * | F |
| 251467 | F | * | F |
| 251468 | F | * | F |
| 251469 | F | * | F |
| 251470 | F | * | F |
| 251471 | F | * | F |
| 251472 | F | * | F |
| 251473 | F | * | F |
| 251474 | F | * | F |
| 251475 | F | * | F |
| 251476 | T | F | F |
| 251477 | F | * | F |
| 251478 | F | * | F |
| 251479 | F | * | F |
| 251480 | F | * | F |
| 251481 | F | * | F |
| 251482 | F | * | F |
| 251483 | F | * | F |
| 251484 | F | * | F |
| 251485 | F | * | F |
| 251486 | F | * | F |
| 251487 | F | * | F |
| 251488 | F | * | F |
| 251489 | F | * | F |
| 251490 | F | * | F |
| 251491 | F | * | F |
| 251492 | F | * | F |
| 251493 | T | F | F |
| 251494 | F | * | F |
| 251495 | F | * | F |
| 251496 | F | * | F |
| 251497 | F | * | F |
| 251498 | F | * | F |
| 251499 | F | * | F |
| 251500 | F | * | F |
| 251501 | F | * | F |
| 251502 | F | * | F |
| 251503 | F | * | F |
| 251504 | F | * | F |
| 251505 | F | * | F |
| 251506 | F | * | F |
| 251507 | F | * | F |
| 251508 | F | * | F |
| 251509 | F | * | F |
| 251510 | T | F | F |
| 251511 | F | * | F |
| 251512 | F | * | F |
| 251513 | F | * | F |
| 251514 | F | * | F |
| 251515 | F | * | F |
| 251516 | F | * | F |
| 251517 | F | * | F |
| 251518 | F | * | F |
| 251519 | F | * | F |
| 251520 | F | * | F |
| 251521 | F | * | F |
| 251522 | F | * | F |
| 251523 | F | * | F |
| 251524 | F | * | F |
| 251525 | F | * | F |
| 251526 | F | * | F |
| 251527 | T | F | F |
| 251528 | F | * | F |
| 251529 | F | * | F |
| 251530 | F | * | F |
| 251531 | F | * | F |
| 251532 | F | * | F |
| 251533 | F | * | F |
| 251534 | F | * | F |
| 251535 | F | * | F |
| 251536 | F | * | F |
| 251537 | F | * | F |
| 251538 | F | * | F |
| 251539 | F | * | F |
| 251540 | F | * | F |
| 251541 | F | * | F |
| 251542 | F | * | F |
| 251543 | F | * | F |
| 251544 | T | F | F |
| 251545 | F | * | F |
| 251546 | F | * | F |
| 251547 | F | * | F |
| 251548 | F | * | F |
| 251549 | F | * | F |
| 251550 | F | * | F |
| 251551 | F | * | F |
| 251552 | F | * | F |
| 251553 | F | * | F |
| 251554 | F | * | F |
| 251555 | F | * | F |
| 251556 | F | * | F |
| 251557 | F | * | F |
| 251558 | F | * | F |
| 251559 | F | * | F |
| 251560 | F | * | F |
| 251561 | T | F | F |
| 251562 | F | * | F |
| 251563 | F | * | F |
| 251564 | F | * | F |
| 251565 | F | * | F |
| 251566 | F | * | F |
| 251567 | F | * | F |
| 251568 | F | * | F |
| 251569 | F | * | F |
| 251570 | F | * | F |
| 251571 | F | * | F |
| 251572 | F | * | F |
| 251573 | F | * | F |
| 251574 | F | * | F |
| 251575 | F | * | F |
| 251576 | F | * | F |
| 251577 | F | * | F |
| 251578 | T | F | F |
| 251579 | F | * | F |
| 251580 | F | * | F |
| 251581 | F | * | F |
| 251582 | F | * | F |
| 251583 | F | * | F |
| 251584 | F | * | F |
| 251585 | F | * | F |
| 251586 | F | * | F |
| 251587 | F | * | F |
| 251588 | F | * | F |
| 251589 | F | * | F |
| 251590 | F | * | F |
| 251591 | F | * | F |
| 251592 | F | * | F |
| 251593 | F | * | F |
| 251594 | F | * | F |
| 251595 | T | F | F |
| 251596 | F | * | F |
| 251597 | F | * | F |
| 251598 | F | * | F |
| 251599 | F | * | F |
| 251600 | F | * | F |
| 251601 | F | * | F |
| 251602 | F | * | F |
| 251603 | F | * | F |
| 251604 | F | * | F |
| 251605 | F | * | F |
| 251606 | F | * | F |
| 251607 | F | * | F |
| 251608 | F | * | F |
| 251609 | F | * | F |
| 251610 | F | * | F |
| 251611 | F | * | F |
| 251612 | T | F | F |
| 251613 | F | * | F |
| 251614 | F | * | F |
| 251615 | F | * | F |
| 251616 | F | * | F |
| 251617 | F | * | F |
| 251618 | F | * | F |
| 251619 | F | * | F |
| 251620 | F | * | F |
| 251621 | F | * | F |
| 251622 | F | * | F |
| 251623 | F | * | F |
| 251624 | F | * | F |
| 251625 | F | * | F |
| 251626 | F | * | F |
| 251627 | F | * | F |
| 251628 | F | * | F |
| 251629 | T | F | F |
| 251630 | F | * | F |
| 251631 | F | * | F |
| 251632 | F | * | F |
| 251633 | F | * | F |
| 251634 | F | * | F |
| 251635 | F | * | F |
| 251636 | F | * | F |
| 251637 | F | * | F |
| 251638 | F | * | F |
| 251639 | F | * | F |
| 251640 | F | * | F |
| 251641 | F | * | F |
| 251642 | F | * | F |
| 251643 | F | * | F |
| 251644 | F | * | F |
| 251645 | F | * | F |
| 251646 | T | F | F |
| 251647 | F | * | F |
| 251648 | F | * | F |
| 251649 | F | * | F |
| 251650 | F | * | F |
| 251651 | F | * | F |
| 251652 | F | * | F |
| 251653 | F | * | F |
| 251654 | F | * | F |
| 251655 | F | * | F |
| 251656 | F | * | F |
| 251657 | F | * | F |
| 251658 | F | * | F |
| 251659 | F | * | F |
| 251660 | F | * | F |
| 251661 | F | * | F |
| 251662 | F | * | F |
| 251663 | T | F | F |
| 251664 | F | * | F |
| 251665 | F | * | F |
| 251666 | F | * | F |
| 251667 | F | * | F |
| 251668 | F | * | F |
| 251669 | F | * | F |
| 251670 | F | * | F |
| 251671 | F | * | F |
| 251672 | F | * | F |
| 251673 | F | * | F |
| 251674 | F | * | F |
| 251675 | F | * | F |
| 251676 | F | * | F |
| 251677 | F | * | F |
| 251678 | F | * | F |
| 251679 | F | * | F |
| 251680 | T | F | F |
| 251681 | F | * | F |
| 251682 | F | * | F |
| 251683 | F | * | F |
| 251684 | F | * | F |
| 251685 | F | * | F |
| 251686 | F | * | F |
| 251687 | F | * | F |
| 251688 | F | * | F |
| 251689 | F | * | F |
| 251690 | F | * | F |
| 251691 | F | * | F |
| 251692 | F | * | F |
| 251693 | F | * | F |
| 251694 | F | * | F |
| 251695 | F | * | F |
| 251696 | F | * | F |
| 251697 | T | F | F |
| 251698 | F | * | F |
| 251699 | F | * | F |
| 251700 | F | * | F |
| 251701 | F | * | F |
| 251702 | F | * | F |
| 251703 | F | * | F |
| 251704 | F | * | F |
| 251705 | F | * | F |
| 251706 | F | * | F |
| 251707 | F | * | F |
| 251708 | F | * | F |
| 251709 | F | * | F |
| 251710 | F | * | F |
| 251711 | F | * | F |
| 251712 | F | * | F |
| 251713 | F | * | F |
| 251714 | T | F | F |
| 251715 | F | * | F |
| 251716 | F | * | F |
| 251717 | F | * | F |
| 251718 | F | * | F |
| 251719 | F | * | F |
| 251720 | F | * | F |
| 251721 | F | * | F |
| 251722 | F | * | F |
| 251723 | F | * | F |
| 251724 | F | * | F |
| 251725 | F | * | F |
| 251726 | F | * | F |
| 251727 | F | * | F |
| 251728 | F | * | F |
| 251729 | F | * | F |
| 251730 | F | * | F |
| 251731 | T | F | F |
| 251732 | F | * | F |
| 251733 | F | * | F |
| 251734 | F | * | F |
| 251735 | F | * | F |
| 251736 | F | * | F |
| 251737 | F | * | F |
| 251738 | F | * | F |
| 251739 | F | * | F |
| 251740 | F | * | F |
| 251741 | F | * | F |
| 251742 | F | * | F |
| 251743 | F | * | F |
| 251744 | F | * | F |
| 251745 | F | * | F |
| 251746 | F | * | F |
| 251747 | F | * | F |
| 251748 | T | F | F |
| 251749 | F | * | F |
| 251750 | F | * | F |
| 251751 | F | * | F |
| 251752 | F | * | F |
| 251753 | F | * | F |
| 251754 | F | * | F |
| 251755 | F | * | F |
| 251756 | F | * | F |
| 251757 | F | * | F |
| 251758 | F | * | F |
| 251759 | F | * | F |
| 251760 | F | * | F |
| 251761 | F | * | F |
| 251762 | F | * | F |
| 251763 | F | * | F |
| 251764 | F | * | F |
| 251765 | T | F | F |
| 251766 | F | * | F |
| 251767 | F | * | F |
| 251768 | F | * | F |
| 251769 | F | * | F |
| 251770 | F | * | F |
| 251771 | F | * | F |
| 251772 | F | * | F |
| 251773 | F | * | F |
| 251774 | F | * | F |
| 251775 | F | * | F |
| 251776 | F | * | F |
| 251777 | F | * | F |
| 251778 | F | * | F |
| 251779 | F | * | F |
| 251780 | F | * | F |
| 251781 | F | * | F |
| 251782 | T | F | F |
| 251783 | F | * | F |
| 251784 | F | * | F |
| 251785 | F | * | F |
| 251786 | F | * | F |
| 251787 | F | * | F |
| 251788 | F | * | F |
| 251789 | F | * | F |
| 251790 | F | * | F |
| 251791 | F | * | F |
| 251792 | F | * | F |
| 251793 | F | * | F |
| 251794 | F | * | F |
| 251795 | F | * | F |
| 251796 | F | * | F |
| 251797 | F | * | F |
| 251798 | F | * | F |
| 251799 | T | F | F |
| 251800 | F | * | F |
| 251801 | F | * | F |
| 251802 | F | * | F |
| 251803 | F | * | F |
| 251804 | F | * | F |
| 251805 | F | * | F |
| 251806 | F | * | F |
| 251807 | F | * | F |
| 251808 | F | * | F |
| 251809 | F | * | F |
| 251810 | F | * | F |
| 251811 | F | * | F |
| 251812 | F | * | F |
| 251813 | F | * | F |
| 251814 | F | * | F |
| 251815 | F | * | F |
| 251816 | T | F | F |
| 251817 | F | * | F |
| 251818 | F | * | F |
| 251819 | F | * | F |
| 251820 | F | * | F |
| 251821 | F | * | F |
| 251822 | F | * | F |
| 251823 | F | * | F |
| 251824 | F | * | F |
| 251825 | F | * | F |
| 251826 | F | * | F |
| 251827 | F | * | F |
| 251828 | F | * | F |
| 251829 | F | * | F |
| 251830 | F | * | F |
| 251831 | F | * | F |
| 251832 | F | * | F |
| 251833 | T | F | F |
| 251834 | F | * | F |
| 251835 | F | * | F |
| 251836 | F | * | F |
| 251837 | F | * | F |
| 251838 | F | * | F |
| 251839 | F | * | F |
| 251840 | F | * | F |
| 251841 | F | * | F |
| 251842 | F | * | F |
| 251843 | F | * | F |
| 251844 | F | * | F |
| 251845 | F | * | F |
| 251846 | F | * | F |
| 251847 | F | * | F |
| 251848 | F | * | F |
| 251849 | F | * | F |
| 251850 | T | F | F |
| 251851 | F | * | F |
| 251852 | F | * | F |
| 251853 | F | * | F |
| 251854 | F | * | F |
| 251855 | F | * | F |
| 251856 | F | * | F |
| 251857 | F | * | F |
| 251858 | F | * | F |
| 251859 | F | * | F |
| 251860 | F | * | F |
| 251861 | F | * | F |
| 251862 | F | * | F |
| 251863 | F | * | F |
| 251864 | F | * | F |
| 251865 | F | * | F |
| 251866 | F | * | F |
| 251867 | T | F | F |
| 251868 | F | * | F |
| 251869 | F | * | F |
| 251870 | F | * | F |
| 251871 | F | * | F |
| 251872 | F | * | F |
| 251873 | F | * | F |
| 251874 | F | * | F |
| 251875 | F | * | F |
| 251876 | F | * | F |
| 251877 | F | * | F |
| 251878 | F | * | F |
| 251879 | F | * | F |
| 251880 | F | * | F |
| 251881 | F | * | F |
| 251882 | F | * | F |
| 251883 | F | * | F |
| 251884 | T | F | F |
| 251885 | F | * | F |
| 251886 | F | * | F |
| 251887 | F | * | F |
| 251888 | F | * | F |
| 251889 | F | * | F |
| 251890 | F | * | F |
| 251891 | F | * | F |
| 251892 | F | * | F |
| 251893 | F | * | F |
| 251894 | F | * | F |
| 251895 | F | * | F |
| 251896 | F | * | F |
| 251897 | F | * | F |
| 251898 | F | * | F |
| 251899 | F | * | F |
| 251900 | F | * | F |
| 251901 | T | F | F |
| 251902 | F | * | F |
| 251903 | F | * | F |
| 251904 | F | * | F |
| 251905 | F | * | F |
| 251906 | F | * | F |
| 251907 | F | * | F |
| 251908 | F | * | F |
| 251909 | F | * | F |
| 251910 | F | * | F |
| 251911 | F | * | F |
| 251912 | F | * | F |
| 251913 | F | * | F |
| 251914 | F | * | F |
| 251915 | F | * | F |
| 251916 | F | * | F |
| 251917 | F | * | F |
| 251918 | T | F | F |
| 328820 | F | * | F |
| 328821 | F | * | F |
| 328822 | F | * | F |
| 328823 | F | * | F |
| 328824 | F | * | F |
| 328825 | F | * | F |
| 328826 | F | * | F |
| 328827 | F | * | F |
| 328828 | F | * | F |
| 328829 | F | * | F |
| 328830 | F | * | F |
| 328831 | F | * | F |
| 328832 | F | * | F |
| 328833 | F | * | F |
| 328834 | F | * | F |
| 328835 | F | * | F |
| 328836 | T | F | F |
| 328837 | F | * | F |
| 328838 | F | * | F |
| 328839 | F | * | F |
| 328840 | F | * | F |
| 328841 | F | * | F |
| 328842 | F | * | F |
| 328843 | F | * | F |
| 328844 | F | * | F |
| 328845 | F | * | F |
| 328846 | F | * | F |
| 328847 | F | * | F |
| 328848 | F | * | F |
| 328849 | F | * | F |
| 328850 | F | * | F |
| 328851 | F | * | F |
| 328852 | F | * | F |
| 328853 | T | F | F |
| 328854 | F | * | F |
| 328855 | F | * | F |
| 328856 | F | * | F |
| 328857 | F | * | F |
| 328858 | F | * | F |
| 328859 | F | * | F |
| 328860 | F | * | F |
| 328861 | F | * | F |
| 328862 | F | * | F |
| 328863 | F | * | F |
| 328864 | F | * | F |
| 328865 | F | * | F |
| 328866 | F | * | F |
| 328867 | F | * | F |
| 328868 | F | * | F |
| 328869 | F | * | F |
| 328870 | T | F | F |
| 328871 | F | * | F |
| 328872 | F | * | F |
| 328873 | F | * | F |
| 328874 | F | * | F |
| 328875 | F | * | F |
| 328876 | F | * | F |
| 328877 | F | * | F |
| 328878 | F | * | F |
| 328879 | F | * | F |
| 328880 | F | * | F |
| 328881 | F | * | F |
| 328882 | F | * | F |
| 328883 | F | * | F |
| 328884 | F | * | F |
| 328885 | F | * | F |
| 328886 | F | * | F |
| 328887 | T | F | F |
| 328888 | F | * | F |
| 328889 | F | * | F |
| 328890 | F | * | F |
| 328891 | F | * | F |
| 328892 | F | * | F |
| 328893 | F | * | F |
| 328894 | F | * | F |
| 328895 | F | * | F |
| 328896 | F | * | F |
| 328897 | F | * | F |
| 328898 | F | * | F |
| 328899 | F | * | F |
| 328900 | F | * | F |
| 328901 | F | * | F |
| 328902 | F | * | F |
| 328903 | F | * | F |
| 328904 | T | F | F |
| 328905 | F | * | F |
| 328906 | F | * | F |
| 328907 | F | * | F |
| 328908 | F | * | F |
| 328909 | F | * | F |
| 328910 | F | * | F |
| 328911 | F | * | F |
| 328912 | F | * | F |
| 328913 | F | * | F |
| 328914 | F | * | F |
| 328915 | F | * | F |
| 328916 | F | * | F |
| 328917 | F | * | F |
| 328918 | F | * | F |
| 328919 | F | * | F |
| 328920 | F | * | F |
| 328921 | T | F | F |
| 328922 | F | * | F |
| 328923 | F | * | F |
| 328924 | F | * | F |
| 328925 | F | * | F |
| 328926 | F | * | F |
| 328927 | F | * | F |
| 328928 | F | * | F |
| 328929 | F | * | F |
| 328930 | F | * | F |
| 328931 | F | * | F |
| 328932 | F | * | F |
| 328933 | F | * | F |
| 328934 | F | * | F |
| 328935 | F | * | F |
| 328936 | F | * | F |
| 328937 | F | * | F |
| 328938 | T | F | F |
| 328939 | F | * | F |
| 328940 | F | * | F |
| 328941 | F | * | F |
| 328942 | F | * | F |
| 328943 | F | * | F |
| 328944 | F | * | F |
| 328945 | F | * | F |
| 328946 | F | * | F |
| 328947 | F | * | F |
| 328948 | F | * | F |
| 328949 | F | * | F |
| 328950 | F | * | F |
| 328951 | F | * | F |
| 328952 | F | * | F |
| 328953 | F | * | F |
| 328954 | F | * | F |
| 328955 | T | F | F |
| 328956 | F | * | F |
| 328957 | F | * | F |
| 328958 | F | * | F |
| 328959 | F | * | F |
| 328960 | F | * | F |
| 328961 | F | * | F |
| 328962 | F | * | F |
| 328963 | F | * | F |
| 328964 | F | * | F |
| 328965 | F | * | F |
| 328966 | F | * | F |
| 328967 | F | * | F |
| 328968 | F | * | F |
| 328969 | F | * | F |
| 328970 | F | * | F |
| 328971 | F | * | F |
| 328972 | T | F | F |
| 328973 | F | * | F |
| 328974 | F | * | F |
| 328975 | F | * | F |
| 328976 | F | * | F |
| 328977 | F | * | F |
| 328978 | F | * | F |
| 328979 | F | * | F |
| 328980 | F | * | F |
| 328981 | F | * | F |
| 328982 | F | * | F |
| 328983 | F | * | F |
| 328984 | F | * | F |
| 328985 | F | * | F |
| 328986 | F | * | F |
| 328987 | F | * | F |
| 328988 | F | * | F |
| 328989 | T | F | F |
| 328990 | F | * | F |
| 328991 | F | * | F |
| 328992 | F | * | F |
| 328993 | F | * | F |
| 328994 | F | * | F |
| 328995 | F | * | F |
| 328996 | F | * | F |
| 328997 | F | * | F |
| 328998 | F | * | F |
| 328999 | F | * | F |
| 329000 | F | * | F |
| 329001 | F | * | F |
| 329002 | F | * | F |
| 329003 | F | * | F |
| 329004 | F | * | F |
| 329005 | F | * | F |
| 329006 | T | F | F |
| 329007 | F | * | F |
| 329008 | F | * | F |
| 329009 | F | * | F |
| 329010 | F | * | F |
| 329011 | F | * | F |
| 329012 | F | * | F |
| 329013 | F | * | F |
| 329014 | F | * | F |
| 329015 | F | * | F |
| 329016 | F | * | F |
| 329017 | F | * | F |
| 329018 | F | * | F |
| 329019 | F | * | F |
| 329020 | F | * | F |
| 329021 | F | * | F |
| 329022 | F | * | F |
| 329023 | T | F | F |
| 329024 | F | * | F |
| 329025 | F | * | F |
| 329026 | F | * | F |
| 329027 | F | * | F |
| 329028 | F | * | F |
| 329029 | F | * | F |
| 329030 | F | * | F |
| 329031 | F | * | F |
| 329032 | F | * | F |
| 329033 | F | * | F |
| 329034 | F | * | F |
| 329035 | F | * | F |
| 329036 | F | * | F |
| 329037 | F | * | F |
| 329038 | F | * | F |
| 329039 | F | * | F |
| 329040 | T | F | F |
| 329041 | F | * | F |
| 329042 | F | * | F |
| 329043 | F | * | F |
| 329044 | F | * | F |
| 329045 | F | * | F |
| 329046 | F | * | F |
| 329047 | F | * | F |
| 329048 | F | * | F |
| 329049 | F | * | F |
| 329050 | F | * | F |
| 329051 | F | * | F |
| 329052 | F | * | F |
| 329053 | F | * | F |
| 329054 | F | * | F |
| 329055 | F | * | F |
| 329056 | F | * | F |
| 329057 | T | F | F |
| 329058 | F | * | F |
| 329059 | F | * | F |
| 329060 | F | * | F |
| 329061 | F | * | F |
| 329062 | F | * | F |
| 329063 | F | * | F |
| 329064 | F | * | F |
| 329065 | F | * | F |
| 329066 | F | * | F |
| 329067 | F | * | F |
| 329068 | F | * | F |
| 329069 | F | * | F |
| 329070 | F | * | F |
| 329071 | F | * | F |
| 329072 | F | * | F |
| 329073 | F | * | F |
| 329074 | T | F | F |
| 329075 | F | * | F |
| 329076 | F | * | F |
| 329077 | F | * | F |
| 329078 | F | * | F |
| 329079 | F | * | F |
| 329080 | F | * | F |
| 329081 | F | * | F |
| 329082 | F | * | F |
| 329083 | F | * | F |
| 329084 | F | * | F |
| 329085 | F | * | F |
| 329086 | F | * | F |
| 329087 | F | * | F |
| 329088 | F | * | F |
| 329089 | F | * | F |
| 329090 | F | * | F |
| 329091 | T | F | F |
| 329092 | F | * | F |
| 329093 | F | * | F |
| 329094 | F | * | F |
| 329095 | F | * | F |
| 329096 | F | * | F |
| 329097 | F | * | F |
| 329098 | F | * | F |
| 329099 | F | * | F |
| 329100 | F | * | F |
| 329101 | F | * | F |
| 329102 | F | * | F |
| 329103 | F | * | F |
| 329104 | F | * | F |
| 329105 | F | * | F |
| 329106 | F | * | F |
| 329107 | F | * | F |
| 329108 | T | F | F |
| 329109 | F | * | F |
| 329110 | F | * | F |
| 329111 | F | * | F |
| 329112 | F | * | F |
| 329113 | F | * | F |
| 329114 | F | * | F |
| 329115 | F | * | F |
| 329116 | F | * | F |
| 329117 | F | * | F |
| 329118 | F | * | F |
| 329119 | F | * | F |
| 329120 | F | * | F |
| 329121 | F | * | F |
| 329122 | F | * | F |
| 329123 | F | * | F |
| 329124 | F | * | F |
| 329125 | T | F | F |
| 329126 | F | * | F |
| 329127 | F | * | F |
| 329128 | F | * | F |
| 329129 | F | * | F |
| 329130 | F | * | F |
| 329131 | F | * | F |
| 329132 | F | * | F |
| 329133 | F | * | F |
| 329134 | F | * | F |
| 329135 | F | * | F |
| 329136 | F | * | F |
| 329137 | F | * | F |
| 329138 | F | * | F |
| 329139 | F | * | F |
| 329140 | F | * | F |
| 329141 | F | * | F |
| 329142 | T | F | F |
| 329143 | F | * | F |
| 329144 | F | * | F |
| 329145 | F | * | F |
| 329146 | F | * | F |
| 329147 | F | * | F |
| 329148 | F | * | F |
| 329149 | F | * | F |
| 329150 | F | * | F |
| 329151 | F | * | F |
| 329152 | F | * | F |
| 329153 | F | * | F |
| 329154 | F | * | F |
| 329155 | F | * | F |
| 329156 | F | * | F |
| 329157 | F | * | F |
| 329158 | F | * | F |
| 329159 | T | F | F |
| 329160 | F | * | F |
| 329161 | F | * | F |
| 329162 | F | * | F |
| 329163 | F | * | F |
| 329164 | F | * | F |
| 329165 | F | * | F |
| 329166 | F | * | F |
| 329167 | F | * | F |
| 329168 | F | * | F |
| 329169 | F | * | F |
| 329170 | F | * | F |
| 329171 | F | * | F |
| 329172 | F | * | F |
| 329173 | F | * | F |
| 329174 | F | * | F |
| 329175 | F | * | F |
| 329176 | T | F | F |
| 329177 | F | * | F |
| 329178 | F | * | F |
| 329179 | F | * | F |
| 329180 | F | * | F |
| 329181 | F | * | F |
| 329182 | F | * | F |
| 329183 | F | * | F |
| 329184 | F | * | F |
| 329185 | F | * | F |
| 329186 | F | * | F |
| 329187 | F | * | F |
| 329188 | F | * | F |
| 329189 | F | * | F |
| 329190 | F | * | F |
| 329191 | F | * | F |
| 329192 | F | * | F |
| 329193 | T | F | F |
| 329194 | F | * | F |
| 329195 | F | * | F |
| 329196 | F | * | F |
| 329197 | F | * | F |
| 329198 | F | * | F |
| 329199 | F | * | F |
| 329200 | F | * | F |
| 329201 | F | * | F |
| 329202 | F | * | F |
| 329203 | F | * | F |
| 329204 | F | * | F |
| 329205 | F | * | F |
| 329206 | F | * | F |
| 329207 | F | * | F |
| 329208 | F | * | F |
| 329209 | F | * | F |
| 329210 | T | F | F |
| 329211 | F | * | F |
| 329212 | F | * | F |
| 329213 | F | * | F |
| 329214 | F | * | F |
| 329215 | F | * | F |
| 329216 | F | * | F |
| 329217 | F | * | F |
| 329218 | F | * | F |
| 329219 | F | * | F |
| 329220 | F | * | F |
| 329221 | F | * | F |
| 329222 | F | * | F |
| 329223 | F | * | F |
| 329224 | F | * | F |
| 329225 | F | * | F |
| 329226 | F | * | F |
| 329227 | T | F | F |
| 329228 | F | * | F |
| 329229 | F | * | F |
| 329230 | F | * | F |
| 329231 | F | * | F |
| 329232 | F | * | F |
| 329233 | F | * | F |
| 329234 | F | * | F |
| 329235 | F | * | F |
| 329236 | F | * | F |
| 329237 | F | * | F |
| 329238 | F | * | F |
| 329239 | F | * | F |
| 329240 | F | * | F |
| 329241 | F | * | F |
| 329242 | F | * | F |
| 329243 | F | * | F |
| 329244 | T | F | F |
| 329245 | F | * | F |
| 329246 | F | * | F |
| 329247 | F | * | F |
| 329248 | F | * | F |
| 329249 | F | * | F |
| 329250 | F | * | F |
| 329251 | F | * | F |
| 329252 | F | * | F |
| 329253 | F | * | F |
| 329254 | F | * | F |
| 329255 | F | * | F |
| 329256 | F | * | F |
| 329257 | F | * | F |
| 329258 | F | * | F |
| 329259 | F | * | F |
| 329260 | F | * | F |
| 329261 | T | F | F |
| 329262 | F | * | F |
| 329263 | F | * | F |
| 329264 | F | * | F |
| 329265 | F | * | F |
| 329266 | F | * | F |
| 329267 | F | * | F |
| 329268 | F | * | F |
| 329269 | F | * | F |
| 329270 | F | * | F |
| 329271 | F | * | F |
| 329272 | F | * | F |
| 329273 | F | * | F |
| 329274 | F | * | F |
| 329275 | F | * | F |
| 329276 | F | * | F |
| 329277 | F | * | F |
| 329278 | T | F | F |
| 329279 | F | * | F |
| 329280 | F | * | F |
| 329281 | F | * | F |
| 329282 | F | * | F |
| 329283 | F | * | F |
| 329284 | F | * | F |
| 329285 | F | * | F |
| 329286 | F | * | F |
| 329287 | F | * | F |
| 329288 | F | * | F |
| 329289 | F | * | F |
| 329290 | F | * | F |
| 329291 | F | * | F |
| 329292 | F | * | F |
| 329293 | F | * | F |
| 329294 | F | * | F |
| 329295 | T | F | F |
Independent-effect pairs
c0(branch6462): GAP view gap →scry_octagon::join· br_ifc1(branch6463): GAP view gap →scry_octagon::join· br_if