Decision #759 — library/alloc/src/raw_vec/mod.rs:460
Status: no_witness
Truth table
| row | c0 br 5096 | c1 br 5098 | outcome |
|---|---|---|---|
| 1697 | T | * | T |
| 1698 | T | * | T |
| 1699 | T | * | T |
| 1700 | T | * | T |
| 1701 | T | * | T |
| 1702 | T | * | T |
| 1703 | T | * | T |
| 1704 | T | * | T |
| 1705 | T | * | T |
| 1706 | F | T | T |
| 1707 | F | T | T |
| 1708 | T | * | T |
| 1709 | F | T | T |
| 1710 | F | T | T |
| 1711 | T | * | T |
| 1712 | F | T | T |
| 1713 | F | T | T |
| 1714 | T | * | T |
| 5488 | T | * | T |
| 5489 | T | * | T |
| 5490 | T | * | T |
| 5491 | T | * | T |
| 5492 | T | * | T |
| 5493 | T | * | T |
| 5494 | T | * | T |
| 5495 | T | * | T |
| 5496 | T | * | T |
| 5497 | F | T | T |
| 5498 | F | T | T |
| 5499 | T | * | T |
| 5500 | F | T | T |
| 5501 | F | T | T |
| 5502 | T | * | T |
| 5503 | F | T | T |
| 5504 | F | T | T |
| 5505 | T | * | T |
| 9269 | T | * | T |
| 9270 | T | * | T |
| 9271 | T | * | T |
| 9272 | T | * | T |
| 9273 | T | * | T |
| 9274 | T | * | T |
| 9275 | T | * | T |
| 9276 | T | * | T |
| 9277 | T | * | T |
| 9278 | F | T | T |
| 9279 | F | T | T |
| 9280 | T | * | T |
| 9281 | F | T | T |
| 9282 | F | T | T |
| 9283 | T | * | T |
| 9284 | F | T | T |
| 9285 | F | T | T |
| 9286 | T | * | T |
| 12280 | T | * | T |
| 12281 | T | * | T |
| 12282 | T | * | T |
| 12283 | T | * | T |
| 12284 | T | * | T |
| 12285 | T | * | T |
| 13654 | T | * | T |
| 13655 | T | * | T |
| 13656 | T | * | T |
| 13657 | T | * | T |
| 13658 | T | * | T |
| 13659 | T | * | T |
| 14981 | T | * | T |
| 14982 | T | * | T |
| 14983 | T | * | T |
| 14984 | T | * | T |
| 14985 | T | * | T |
| 14986 | T | * | T |
| 17844 | F | T | T |
| 17845 | F | T | T |
| 17846 | F | T | T |
| 17847 | F | T | T |
| 17848 | T | * | T |
| 17849 | F | T | T |
| 17850 | F | T | T |
| 17851 | F | T | T |
| 17852 | F | T | T |
| 17853 | T | * | T |
| 17854 | F | T | T |
| 17855 | F | T | T |
| 17856 | F | T | T |
| 17857 | F | T | T |
| 17858 | T | * | T |
| 17859 | F | T | T |
| 17860 | F | T | T |
| 17861 | F | T | T |
| 17862 | F | T | T |
| 17863 | T | * | T |
| 17864 | F | T | T |
| 17865 | F | T | T |
| 17866 | F | T | T |
| 17867 | F | T | T |
| 17868 | T | * | T |
| 17869 | F | T | T |
| 17870 | F | T | T |
| 17871 | F | T | T |
| 17872 | F | T | T |
| 17873 | T | * | T |
| 17874 | F | T | T |
| 17875 | F | T | T |
| 17876 | F | T | T |
| 17877 | F | T | T |
| 17878 | T | * | T |
| 17879 | F | T | T |
| 17880 | F | T | T |
| 17881 | F | T | T |
| 17882 | F | T | T |
| 17883 | T | * | T |
| 17884 | F | T | T |
| 17885 | F | T | T |
| 17886 | F | T | T |
| 17887 | F | T | T |
| 17888 | T | * | T |
| 17889 | F | T | T |
| 17890 | F | T | T |
| 17891 | F | T | T |
| 17892 | F | T | T |
| 17893 | T | * | T |
| 17894 | F | T | T |
| 17895 | F | T | T |
| 17896 | F | T | T |
| 17897 | F | T | T |
| 17898 | T | * | T |
| 17899 | F | T | T |
| 17900 | F | T | T |
| 17901 | F | T | T |
| 17902 | F | T | T |
| 17903 | T | * | T |
| 17904 | F | T | T |
| 17905 | F | T | T |
| 17906 | F | T | T |
| 17907 | F | T | T |
| 17908 | T | * | T |
| 17909 | F | T | T |
| 17910 | F | T | T |
| 17911 | F | T | T |
| 17912 | F | T | T |
| 17913 | T | * | T |
| 17914 | F | T | T |
| 17915 | F | T | T |
| 17916 | F | T | T |
| 17917 | F | T | T |
| 17918 | T | * | T |
| 17919 | F | T | T |
| 17920 | F | T | T |
| 17921 | F | T | T |
| 17922 | F | T | T |
| 17923 | T | * | T |
| 17924 | F | T | T |
| 17925 | F | T | T |
| 17926 | F | T | T |
| 17927 | F | T | T |
| 17928 | T | * | T |
| 17929 | F | T | T |
| 17930 | F | T | T |
| 17931 | F | T | T |
| 17932 | F | T | T |
| 17933 | T | * | T |
| 17934 | F | T | T |
| 17935 | F | T | T |
| 17936 | F | T | T |
| 17937 | F | T | T |
| 17938 | T | * | T |
| 17939 | F | T | T |
| 17940 | F | T | T |
| 17941 | F | T | T |
| 17942 | F | T | T |
| 17943 | T | * | T |
| 17944 | F | T | T |
| 17945 | F | T | T |
| 17946 | F | T | T |
| 17947 | F | T | T |
| 17948 | T | * | T |
| 17949 | F | T | T |
| 17950 | F | T | T |
| 17951 | F | T | T |
| 17952 | F | T | T |
| 17953 | T | * | T |
| 17954 | F | T | T |
| 17955 | F | T | T |
| 17956 | F | T | T |
| 17957 | F | T | T |
| 17958 | T | * | T |
| 17959 | F | T | T |
| 17960 | F | T | T |
| 17961 | F | T | T |
| 17962 | F | T | T |
| 17963 | T | * | T |
| 17964 | F | T | T |
| 17965 | F | T | T |
| 17966 | F | T | T |
| 17967 | F | T | T |
| 17968 | T | * | T |
| 27322 | F | T | T |
| 27323 | F | T | T |
| 27324 | F | T | T |
| 27325 | F | T | T |
| 27326 | T | * | T |
| 27327 | F | T | T |
| 27328 | F | T | T |
| 27329 | F | T | T |
| 27330 | F | T | T |
| 27331 | T | * | T |
| 27332 | F | T | T |
| 27333 | F | T | T |
| 27334 | F | T | T |
| 27335 | F | T | T |
| 27336 | T | * | T |
| 27337 | F | T | T |
| 27338 | F | T | T |
| 27339 | F | T | T |
| 27340 | F | T | T |
| 27341 | T | * | T |
| 27342 | F | T | T |
| 27343 | F | T | T |
| 27344 | F | T | T |
| 27345 | F | T | T |
| 27346 | T | * | T |
| 27347 | F | T | T |
| 27348 | F | T | T |
| 27349 | F | T | T |
| 27350 | F | T | T |
| 27351 | T | * | T |
| 27352 | F | T | T |
| 27353 | F | T | T |
| 27354 | F | T | T |
| 27355 | F | T | T |
| 27356 | T | * | T |
| 27357 | F | T | T |
| 27358 | F | T | T |
| 27359 | F | T | T |
| 27360 | F | T | T |
| 27361 | T | * | T |
| 27362 | F | T | T |
| 27363 | F | T | T |
| 27364 | F | T | T |
| 27365 | F | T | T |
| 27366 | T | * | T |
| 27367 | F | T | T |
| 27368 | F | T | T |
| 27369 | F | T | T |
| 27370 | F | T | T |
| 27371 | T | * | T |
| 27372 | F | T | T |
| 27373 | F | T | T |
| 27374 | F | T | T |
| 27375 | F | T | T |
| 27376 | T | * | T |
| 27377 | F | T | T |
| 27378 | F | T | T |
| 27379 | F | T | T |
| 27380 | F | T | T |
| 27381 | T | * | T |
| 27382 | F | T | T |
| 27383 | F | T | T |
| 27384 | F | T | T |
| 27385 | F | T | T |
| 27386 | T | * | T |
| 27387 | F | T | T |
| 27388 | F | T | T |
| 27389 | F | T | T |
| 27390 | F | T | T |
| 27391 | T | * | T |
| 27392 | F | T | T |
| 27393 | F | T | T |
| 27394 | F | T | T |
| 27395 | F | T | T |
| 27396 | T | * | T |
| 27397 | F | T | T |
| 27398 | F | T | T |
| 27399 | F | T | T |
| 27400 | F | T | T |
| 27401 | T | * | T |
| 27402 | F | T | T |
| 27403 | F | T | T |
| 27404 | F | T | T |
| 27405 | F | T | T |
| 27406 | T | * | T |
| 27407 | F | T | T |
| 27408 | F | T | T |
| 27409 | F | T | T |
| 27410 | F | T | T |
| 27411 | T | * | T |
| 27412 | F | T | T |
| 27413 | F | T | T |
| 27414 | F | T | T |
| 27415 | F | T | T |
| 27416 | T | * | T |
| 27417 | F | T | T |
| 27418 | F | T | T |
| 27419 | F | T | T |
| 27420 | F | T | T |
| 27421 | T | * | T |
| 27422 | F | T | T |
| 27423 | F | T | T |
| 27424 | F | T | T |
| 27425 | F | T | T |
| 27426 | T | * | T |
| 27427 | F | T | T |
| 27428 | F | T | T |
| 27429 | F | T | T |
| 27430 | F | T | T |
| 27431 | T | * | T |
| 27432 | F | T | T |
| 27433 | F | T | T |
| 27434 | F | T | T |
| 27435 | F | T | T |
| 27436 | T | * | T |
| 27437 | F | T | T |
| 27438 | F | T | T |
| 27439 | F | T | T |
| 27440 | F | T | T |
| 27441 | T | * | T |
| 27442 | F | T | T |
| 27443 | F | T | T |
| 27444 | F | T | T |
| 27445 | F | T | T |
| 27446 | T | * | T |
| 36642 | F | T | T |
| 36643 | F | T | T |
| 36644 | T | * | T |
| 36645 | F | T | T |
| 36646 | F | T | T |
| 36647 | T | * | T |
| 36648 | F | T | T |
| 36649 | F | T | T |
| 36650 | T | * | T |
| 36651 | F | T | T |
| 36652 | F | T | T |
| 36653 | T | * | T |
| 36654 | F | T | T |
| 36655 | F | T | T |
| 36656 | T | * | T |
| 36657 | F | T | T |
| 36658 | F | T | T |
| 36659 | T | * | T |
| 36660 | F | T | T |
| 36661 | F | T | T |
| 36662 | T | * | T |
| 36663 | F | T | T |
| 36664 | F | T | T |
| 36665 | T | * | T |
| 42855 | F | T | T |
| 42856 | F | T | T |
| 42857 | T | * | T |
| 42858 | F | T | T |
| 42859 | F | T | T |
| 42860 | T | * | T |
| 42861 | F | T | T |
| 42862 | F | T | T |
| 42863 | T | * | T |
| 42864 | F | T | T |
| 42865 | F | T | T |
| 42866 | T | * | T |
| 42867 | F | T | T |
| 42868 | F | T | T |
| 42869 | T | * | T |
| 42870 | F | T | T |
| 42871 | F | T | T |
| 42872 | T | * | T |
| 42873 | F | T | T |
| 42874 | F | T | T |
| 42875 | T | * | T |
| 42876 | F | T | T |
| 42877 | F | T | T |
| 42878 | T | * | T |
| 48751 | F | T | T |
| 48752 | F | T | T |
| 48753 | T | * | T |
| 48754 | F | T | T |
| 48755 | F | T | T |
| 48756 | T | * | T |
| 48757 | F | T | T |
| 48758 | F | T | T |
| 48759 | T | * | T |
| 48760 | F | T | T |
| 48761 | F | T | T |
| 48762 | T | * | T |
| 48763 | T | * | T |
| 48764 | T | * | T |
| 48765 | T | * | T |
| 48766 | F | T | T |
| 48767 | F | T | T |
| 48768 | T | * | T |
| 48769 | F | T | T |
| 48770 | F | T | T |
| 48771 | T | * | T |
| 48772 | F | T | T |
| 48773 | F | T | T |
| 48774 | T | * | T |
| 48775 | F | T | T |
| 48776 | F | T | T |
| 48777 | T | * | T |
| 48778 | F | T | T |
| 48779 | F | T | T |
| 48780 | T | * | T |
| 48781 | F | T | T |
| 48782 | F | T | T |
| 48783 | T | * | T |
| 48784 | F | T | T |
| 48785 | F | T | T |
| 48786 | T | * | T |
| 52952 | F | T | T |
| 52953 | F | T | T |
| 52954 | T | * | T |
| 52955 | F | T | T |
| 52956 | F | T | T |
| 52957 | T | * | T |
| 52958 | F | T | T |
| 52959 | F | T | T |
| 52960 | T | * | T |
| 52961 | F | T | T |
| 52962 | F | T | T |
| 52963 | T | * | T |
| 52964 | T | * | T |
| 52965 | T | * | T |
| 52966 | T | * | T |
| 52967 | F | T | T |
| 52968 | F | T | T |
| 52969 | T | * | T |
| 52970 | F | T | T |
| 52971 | F | T | T |
| 52972 | T | * | T |
| 52973 | F | T | T |
| 52974 | F | T | T |
| 52975 | T | * | T |
| 52976 | F | T | T |
| 52977 | F | T | T |
| 52978 | T | * | T |
| 52979 | F | T | T |
| 52980 | F | T | T |
| 52981 | T | * | T |
| 52982 | F | T | T |
| 52983 | F | T | T |
| 52984 | T | * | T |
| 52985 | F | T | T |
| 52986 | F | T | T |
| 52987 | T | * | T |
| 57482 | F | T | T |
| 57483 | F | T | T |
| 57484 | T | * | T |
| 57485 | F | T | T |
| 57486 | F | T | T |
| 57487 | T | * | T |
| 57488 | F | T | T |
| 57489 | F | T | T |
| 57490 | T | * | T |
| 57491 | F | T | T |
| 57492 | F | T | T |
| 57493 | T | * | T |
| 57494 | T | * | T |
| 57495 | T | * | T |
| 57496 | T | * | T |
| 57497 | F | T | T |
| 57498 | F | T | T |
| 57499 | T | * | T |
| 57500 | F | T | T |
| 57501 | F | T | T |
| 57502 | T | * | T |
| 57503 | F | T | T |
| 57504 | F | T | T |
| 57505 | T | * | T |
| 57506 | F | T | T |
| 57507 | F | T | T |
| 57508 | T | * | T |
| 57509 | F | T | T |
| 57510 | F | T | T |
| 57511 | T | * | T |
| 57512 | F | T | T |
| 57513 | F | T | T |
| 57514 | T | * | T |
| 57515 | F | T | T |
| 57516 | F | T | T |
| 57517 | T | * | T |
| 61675 | F | T | T |
| 61676 | F | T | T |
| 61677 | T | * | T |
| 61678 | F | T | T |
| 61679 | F | T | T |
| 61680 | T | * | T |
| 61681 | F | T | T |
| 61682 | F | T | T |
| 61683 | T | * | T |
| 61684 | F | T | T |
| 61685 | F | T | T |
| 61686 | T | * | T |
| 61687 | T | * | T |
| 61688 | T | * | T |
| 61689 | T | * | T |
| 61690 | F | T | T |
| 61691 | F | T | T |
| 61692 | T | * | T |
| 61693 | F | T | T |
| 61694 | F | T | T |
| 61695 | T | * | T |
| 61696 | F | T | T |
| 61697 | F | T | T |
| 61698 | T | * | T |
| 61699 | F | T | T |
| 61700 | F | T | T |
| 61701 | T | * | T |
| 61702 | F | T | T |
| 61703 | F | T | T |
| 61704 | T | * | T |
| 61705 | F | T | T |
| 61706 | F | T | T |
| 61707 | T | * | T |
| 61708 | F | T | T |
| 61709 | F | T | T |
| 61710 | T | * | T |
| 66702 | F | T | T |
| 66703 | F | T | T |
| 66704 | F | T | T |
| 66705 | F | T | T |
| 66706 | T | * | T |
| 66707 | F | T | T |
| 66708 | F | T | T |
| 66709 | F | T | T |
| 66710 | F | T | T |
| 66711 | T | * | T |
| 66712 | F | T | T |
| 66713 | F | T | T |
| 66714 | F | T | T |
| 66715 | F | T | T |
| 66716 | T | * | T |
| 66717 | F | T | T |
| 66718 | F | T | T |
| 66719 | F | T | T |
| 66720 | F | T | T |
| 66721 | T | * | T |
| 66722 | F | T | T |
| 66723 | F | T | T |
| 66724 | F | T | T |
| 66725 | F | T | T |
| 66726 | T | * | T |
| 66727 | F | T | T |
| 66728 | F | T | T |
| 66729 | F | T | T |
| 66730 | F | T | T |
| 66731 | T | * | T |
| 66732 | F | T | T |
| 66733 | F | T | T |
| 66734 | F | T | T |
| 66735 | F | T | T |
| 66736 | T | * | T |
| 66737 | F | T | T |
| 66738 | F | T | T |
| 66739 | F | T | T |
| 66740 | F | T | T |
| 66741 | T | * | T |
| 66742 | F | T | T |
| 66743 | F | T | T |
| 66744 | F | T | T |
| 66745 | F | T | T |
| 66746 | T | * | T |
| 66747 | F | T | T |
| 66748 | F | T | T |
| 66749 | F | T | T |
| 66750 | F | T | T |
| 66751 | T | * | T |
| 66752 | F | T | T |
| 66753 | F | T | T |
| 66754 | F | T | T |
| 66755 | F | T | T |
| 66756 | T | * | T |
| 66757 | F | T | T |
| 66758 | F | T | T |
| 66759 | F | T | T |
| 66760 | F | T | T |
| 66761 | T | * | T |
| 66762 | F | T | T |
| 66763 | F | T | T |
| 66764 | F | T | T |
| 66765 | F | T | T |
| 66766 | T | * | T |
| 66767 | F | T | T |
| 66768 | F | T | T |
| 66769 | F | T | T |
| 66770 | F | T | T |
| 66771 | T | * | T |
| 66772 | F | T | T |
| 66773 | F | T | T |
| 66774 | F | T | T |
| 66775 | F | T | T |
| 66776 | T | * | T |
| 66777 | F | T | T |
| 66778 | F | T | T |
| 66779 | F | T | T |
| 66780 | F | T | T |
| 66781 | T | * | T |
| 66782 | F | T | T |
| 66783 | F | T | T |
| 66784 | F | T | T |
| 66785 | F | T | T |
| 66786 | T | * | T |
| 66787 | F | T | T |
| 66788 | F | T | T |
| 66789 | F | T | T |
| 66790 | F | T | T |
| 66791 | T | * | T |
| 66792 | F | T | T |
| 66793 | F | T | T |
| 66794 | F | T | T |
| 66795 | F | T | T |
| 66796 | T | * | T |
| 66797 | F | T | T |
| 66798 | F | T | T |
| 66799 | F | T | T |
| 66800 | F | T | T |
| 66801 | T | * | T |
| 66802 | F | T | T |
| 66803 | F | T | T |
| 66804 | F | T | T |
| 66805 | F | T | T |
| 66806 | T | * | T |
| 66807 | F | T | T |
| 66808 | F | T | T |
| 66809 | F | T | T |
| 66810 | F | T | T |
| 66811 | T | * | T |
| 66812 | F | T | T |
| 66813 | F | T | T |
| 66814 | F | T | T |
| 66815 | F | T | T |
| 66816 | T | * | T |
| 66817 | F | T | T |
| 66818 | F | T | T |
| 66819 | F | T | T |
| 66820 | F | T | T |
| 66821 | T | * | T |
| 66822 | F | T | T |
| 66823 | F | T | T |
| 66824 | F | T | T |
| 66825 | F | T | T |
| 66826 | T | * | T |
| 66827 | F | T | T |
| 66828 | F | T | T |
| 66829 | F | T | T |
| 66830 | F | T | T |
| 66831 | T | * | T |
| 66832 | F | T | T |
| 66833 | F | T | T |
| 66834 | F | T | T |
| 66835 | F | T | T |
| 66836 | T | * | T |
| 78215 | F | T | T |
| 78216 | F | T | T |
| 78217 | F | T | T |
| 78218 | F | T | T |
| 78219 | T | * | T |
| 78220 | F | T | T |
| 78221 | F | T | T |
| 78222 | F | T | T |
| 78223 | F | T | T |
| 78224 | T | * | T |
| 78225 | F | T | T |
| 78226 | F | T | T |
| 78227 | F | T | T |
| 78228 | F | T | T |
| 78229 | T | * | T |
| 78230 | F | T | T |
| 78231 | F | T | T |
| 78232 | F | T | T |
| 78233 | F | T | T |
| 78234 | T | * | T |
| 78235 | F | T | T |
| 78236 | F | T | T |
| 78237 | F | T | T |
| 78238 | F | T | T |
| 78239 | T | * | T |
| 78240 | F | T | T |
| 78241 | F | T | T |
| 78242 | F | T | T |
| 78243 | F | T | T |
| 78244 | T | * | T |
| 78245 | F | T | T |
| 78246 | F | T | T |
| 78247 | F | T | T |
| 78248 | F | T | T |
| 78249 | T | * | T |
| 78250 | F | T | T |
| 78251 | F | T | T |
| 78252 | F | T | T |
| 78253 | F | T | T |
| 78254 | T | * | T |
| 78255 | F | T | T |
| 78256 | F | T | T |
| 78257 | F | T | T |
| 78258 | F | T | T |
| 78259 | T | * | T |
| 78260 | F | T | T |
| 78261 | F | T | T |
| 78262 | F | T | T |
| 78263 | F | T | T |
| 78264 | T | * | T |
| 78265 | F | T | T |
| 78266 | F | T | T |
| 78267 | F | T | T |
| 78268 | F | T | T |
| 78269 | T | * | T |
| 78270 | F | T | T |
| 78271 | F | T | T |
| 78272 | F | T | T |
| 78273 | F | T | T |
| 78274 | T | * | T |
| 78275 | F | T | T |
| 78276 | F | T | T |
| 78277 | F | T | T |
| 78278 | F | T | T |
| 78279 | T | * | T |
| 78280 | F | T | T |
| 78281 | F | T | T |
| 78282 | F | T | T |
| 78283 | F | T | T |
| 78284 | T | * | T |
| 78285 | F | T | T |
| 78286 | F | T | T |
| 78287 | F | T | T |
| 78288 | F | T | T |
| 78289 | T | * | T |
| 78290 | F | T | T |
| 78291 | F | T | T |
| 78292 | F | T | T |
| 78293 | F | T | T |
| 78294 | T | * | T |
| 78295 | F | T | T |
| 78296 | F | T | T |
| 78297 | F | T | T |
| 78298 | F | T | T |
| 78299 | T | * | T |
| 78300 | F | T | T |
| 78301 | F | T | T |
| 78302 | F | T | T |
| 78303 | F | T | T |
| 78304 | T | * | T |
| 78305 | F | T | T |
| 78306 | F | T | T |
| 78307 | F | T | T |
| 78308 | F | T | T |
| 78309 | T | * | T |
| 78310 | F | T | T |
| 78311 | F | T | T |
| 78312 | F | T | T |
| 78313 | F | T | T |
| 78314 | T | * | T |
| 78315 | F | T | T |
| 78316 | F | T | T |
| 78317 | F | T | T |
| 78318 | F | T | T |
| 78319 | T | * | T |
| 78320 | F | T | T |
| 78321 | F | T | T |
| 78322 | F | T | T |
| 78323 | F | T | T |
| 78324 | T | * | T |
| 78325 | F | T | T |
| 78326 | F | T | T |
| 78327 | F | T | T |
| 78328 | F | T | T |
| 78329 | T | * | T |
| 78330 | F | T | T |
| 78331 | F | T | T |
| 78332 | F | T | T |
| 78333 | F | T | T |
| 78334 | T | * | T |
| 78335 | F | T | T |
| 78336 | F | T | T |
| 78337 | F | T | T |
| 78338 | F | T | T |
| 78339 | T | * | T |
| 78340 | F | T | T |
| 78341 | F | T | T |
| 78342 | F | T | T |
| 78343 | F | T | T |
| 78344 | T | * | T |
| 78345 | F | T | T |
| 78346 | F | T | T |
| 78347 | F | T | T |
| 78348 | F | T | T |
| 78349 | T | * | T |
| 89398 | T | * | T |
| 89399 | T | * | T |
| 89400 | T | * | T |
| 89401 | T | * | T |
| 89402 | T | * | T |
| 89403 | T | * | T |
| 89404 | T | * | T |
| 89405 | T | * | T |
| 89406 | T | * | T |
| 89407 | T | * | T |
| 89408 | T | * | T |
| 89409 | T | * | T |
| 89410 | T | * | T |
| 89411 | T | * | T |
| 89412 | T | * | T |
| 89413 | T | * | T |
| 89414 | T | * | T |
| 89415 | T | * | T |
| 89416 | T | * | T |
| 89417 | T | * | T |
| 89418 | T | * | T |
| 89419 | T | * | T |
| 89420 | T | * | T |
| 89421 | T | * | T |
| 93666 | T | * | T |
| 93667 | T | * | T |
| 93668 | T | * | T |
| 93669 | T | * | T |
| 93670 | T | * | T |
| 93671 | T | * | T |
| 93672 | T | * | T |
| 93673 | T | * | T |
| 93674 | T | * | T |
| 93675 | T | * | T |
| 93676 | T | * | T |
| 93677 | T | * | T |
| 93678 | T | * | T |
| 93679 | T | * | T |
| 93680 | T | * | T |
| 93681 | T | * | T |
| 93682 | T | * | T |
| 93683 | T | * | T |
| 93684 | T | * | T |
| 93685 | T | * | T |
| 93686 | T | * | T |
| 93687 | T | * | T |
| 93688 | T | * | T |
| 93689 | T | * | T |
| 96540 | T | * | T |
| 96541 | T | * | T |
| 98331 | T | * | T |
| 98332 | T | * | T |
| 98333 | T | * | T |
| 98334 | T | * | T |
| 98335 | T | * | T |
| 99846 | T | * | T |
| 99847 | T | * | T |
| 99848 | T | * | T |
| 99849 | T | * | T |
| 99850 | T | * | T |
| 101264 | T | * | T |
| 101265 | T | * | T |
| 101266 | T | * | T |
| 101267 | T | * | T |
| 101268 | T | * | T |
| 103101 | F | T | T |
| 103102 | F | T | T |
| 103103 | T | * | T |
| 103104 | F | T | T |
| 103105 | F | T | T |
| 103106 | T | * | T |
| 103107 | F | T | T |
| 103108 | F | T | T |
| 103109 | T | * | T |
| 103110 | F | T | T |
| 103111 | F | T | T |
| 103112 | T | * | T |
| 103113 | F | T | T |
| 103114 | F | T | T |
| 103115 | T | * | T |
| 103116 | F | T | T |
| 103117 | F | T | T |
| 103118 | T | * | T |
| 103119 | F | T | T |
| 103120 | F | T | T |
| 103121 | T | * | T |
| 103122 | F | T | T |
| 103123 | F | T | T |
| 103124 | T | * | T |
| 103125 | F | T | T |
| 103126 | F | T | T |
| 103127 | T | * | T |
| 103128 | F | T | T |
| 103129 | F | T | T |
| 103130 | T | * | T |
| 106841 | T | * | T |
| 106842 | T | * | T |
| 106843 | T | * | T |
| 106844 | T | * | T |
| 106845 | T | * | T |
| 106846 | T | * | T |
| 106847 | T | * | T |
| 106848 | T | * | T |
| 106849 | T | * | T |
| 106850 | T | * | T |
| 106851 | T | * | T |
| 106852 | T | * | T |
| 106853 | T | * | T |
| 106854 | T | * | T |
| 106855 | T | * | T |
| 106856 | T | * | T |
| 106857 | T | * | T |
| 106858 | T | * | T |
| 106859 | T | * | T |
| 106860 | T | * | T |
| 106861 | T | * | T |
| 106862 | T | * | T |
| 106863 | T | * | T |
| 106864 | T | * | T |
| 106865 | T | * | T |
| 106866 | T | * | T |
| 106867 | T | * | T |
| 106868 | T | * | T |
| 106869 | T | * | T |
| 106870 | T | * | T |
| 109370 | F | T | T |
| 109371 | F | T | T |
| 109372 | T | * | T |
| 109373 | F | T | T |
| 109374 | F | T | T |
| 109375 | T | * | T |
| 109376 | F | T | T |
| 109377 | F | T | T |
| 109378 | T | * | T |
| 109379 | F | T | T |
| 109380 | F | T | T |
| 109381 | T | * | T |
| 109382 | F | T | T |
| 109383 | F | T | T |
| 109384 | T | * | T |
| 109385 | F | T | T |
| 109386 | F | T | T |
| 109387 | T | * | T |
| 112348 | T | * | T |
| 112349 | T | * | T |
| 112350 | T | * | T |
| 112351 | T | * | T |
| 112352 | T | * | T |
| 112353 | T | * | T |
| 112354 | T | * | T |
| 112355 | T | * | T |
| 112356 | T | * | T |
| 112357 | T | * | T |
| 112358 | T | * | T |
| 112359 | T | * | T |
| 112360 | T | * | T |
| 112361 | T | * | T |
| 112362 | T | * | T |
| 112363 | T | * | T |
| 112364 | T | * | T |
| 112365 | T | * | T |
| 115111 | F | T | T |
| 115112 | F | T | T |
| 115113 | T | * | T |
| 115114 | F | T | T |
| 115115 | F | T | T |
| 115116 | T | * | T |
| 115117 | F | T | T |
| 115118 | F | T | T |
| 115119 | T | * | T |
| 115120 | F | T | T |
| 115121 | F | T | T |
| 115122 | T | * | T |
| 115123 | F | T | T |
| 115124 | F | T | T |
| 115125 | T | * | T |
| 115126 | F | T | T |
| 115127 | F | T | T |
| 115128 | T | * | T |
| 115129 | F | T | T |
| 115130 | F | T | T |
| 115131 | T | * | T |
| 115132 | F | T | T |
| 115133 | F | T | T |
| 115134 | T | * | T |
| 115135 | F | T | T |
| 115136 | F | T | T |
| 115137 | T | * | T |
| 120794 | F | T | T |
| 120795 | F | T | T |
| 120796 | F | T | T |
| 120797 | F | T | T |
| 120798 | T | * | T |
| 120799 | F | T | T |
| 120800 | F | T | T |
| 120801 | F | T | T |
| 120802 | F | T | T |
| 120803 | T | * | T |
| 120804 | F | T | T |
| 120805 | F | T | T |
| 120806 | F | T | T |
| 120807 | F | T | T |
| 120808 | T | * | T |
| 120809 | F | T | T |
| 120810 | F | T | T |
| 120811 | F | T | T |
| 120812 | F | T | T |
| 120813 | T | * | T |
| 120814 | F | T | T |
| 120815 | F | T | T |
| 120816 | F | T | T |
| 120817 | F | T | T |
| 120818 | T | * | T |
| 120819 | F | T | T |
| 120820 | F | T | T |
| 120821 | F | T | T |
| 120822 | F | T | T |
| 120823 | T | * | T |
| 120824 | F | T | T |
| 120825 | F | T | T |
| 120826 | F | T | T |
| 120827 | F | T | T |
| 120828 | T | * | T |
| 120829 | F | T | T |
| 120830 | F | T | T |
| 120831 | F | T | T |
| 120832 | F | T | T |
| 120833 | T | * | T |
| 120834 | F | T | T |
| 120835 | F | T | T |
| 120836 | F | T | T |
| 120837 | F | T | T |
| 120838 | T | * | T |
| 120839 | F | T | T |
| 120840 | F | T | T |
| 120841 | F | T | T |
| 120842 | F | T | T |
| 120843 | T | * | T |
| 120844 | F | T | T |
| 120845 | F | T | T |
| 120846 | F | T | T |
| 120847 | F | T | T |
| 120848 | T | * | T |
| 120849 | F | T | T |
| 120850 | F | T | T |
| 120851 | F | T | T |
| 120852 | F | T | T |
| 120853 | T | * | T |
| 120854 | F | T | T |
| 120855 | F | T | T |
| 120856 | F | T | T |
| 120857 | F | T | T |
| 120858 | T | * | T |
| 120859 | F | T | T |
| 120860 | F | T | T |
| 120861 | F | T | T |
| 120862 | F | T | T |
| 120863 | T | * | T |
| 120864 | F | T | T |
| 120865 | F | T | T |
| 120866 | F | T | T |
| 120867 | F | T | T |
| 120868 | T | * | T |
| 120869 | F | T | T |
| 120870 | F | T | T |
| 120871 | F | T | T |
| 120872 | F | T | T |
| 120873 | T | * | T |
| 120874 | F | T | T |
| 120875 | F | T | T |
| 120876 | F | T | T |
| 120877 | F | T | T |
| 120878 | T | * | T |
| 120879 | F | T | T |
| 120880 | F | T | T |
| 120881 | F | T | T |
| 120882 | F | T | T |
| 120883 | T | * | T |
| 120884 | F | T | T |
| 120885 | F | T | T |
| 120886 | F | T | T |
| 120887 | F | T | T |
| 120888 | T | * | T |
| 120889 | F | T | T |
| 120890 | F | T | T |
| 120891 | F | T | T |
| 120892 | F | T | T |
| 120893 | T | * | T |
| 120894 | F | T | T |
| 120895 | F | T | T |
| 120896 | F | T | T |
| 120897 | F | T | T |
| 120898 | T | * | T |
| 120899 | F | T | T |
| 120900 | F | T | T |
| 120901 | F | T | T |
| 120902 | F | T | T |
| 120903 | T | * | T |
| 120904 | F | T | T |
| 120905 | F | T | T |
| 120906 | F | T | T |
| 120907 | F | T | T |
| 120908 | T | * | T |
| 120909 | F | T | T |
| 120910 | F | T | T |
| 120911 | F | T | T |
| 120912 | F | T | T |
| 120913 | T | * | T |
| 120914 | F | T | T |
| 120915 | F | T | T |
| 120916 | F | T | T |
| 120917 | F | T | T |
| 120918 | T | * | T |
| 143730 | F | T | T |
| 143731 | F | T | T |
| 143732 | F | T | T |
| 143733 | F | T | T |
| 143734 | T | * | T |
| 143735 | F | T | T |
| 143736 | F | T | T |
| 143737 | F | T | T |
| 143738 | F | T | T |
| 143739 | T | * | T |
| 143740 | F | T | T |
| 143741 | F | T | T |
| 143742 | F | T | T |
| 143743 | F | T | T |
| 143744 | T | * | T |
| 143745 | F | T | T |
| 143746 | F | T | T |
| 143747 | F | T | T |
| 143748 | F | T | T |
| 143749 | T | * | T |
| 143750 | F | T | T |
| 143751 | F | T | T |
| 143752 | F | T | T |
| 143753 | F | T | T |
| 143754 | T | * | T |
| 143755 | F | T | T |
| 143756 | F | T | T |
| 143757 | F | T | T |
| 143758 | F | T | T |
| 143759 | T | * | T |
| 143760 | F | T | T |
| 143761 | F | T | T |
| 143762 | F | T | T |
| 143763 | F | T | T |
| 143764 | T | * | T |
| 143765 | F | T | T |
| 143766 | F | T | T |
| 143767 | F | T | T |
| 143768 | F | T | T |
| 143769 | T | * | T |
| 143770 | F | T | T |
| 143771 | F | T | T |
| 143772 | F | T | T |
| 143773 | F | T | T |
| 143774 | T | * | T |
| 143775 | F | T | T |
| 143776 | F | T | T |
| 143777 | F | T | T |
| 143778 | F | T | T |
| 143779 | T | * | T |
| 143780 | F | T | T |
| 143781 | F | T | T |
| 143782 | F | T | T |
| 143783 | F | T | T |
| 143784 | T | * | T |
| 143785 | F | T | T |
| 143786 | F | T | T |
| 143787 | F | T | T |
| 143788 | F | T | T |
| 143789 | T | * | T |
| 143790 | F | T | T |
| 143791 | F | T | T |
| 143792 | F | T | T |
| 143793 | F | T | T |
| 143794 | T | * | T |
| 143795 | F | T | T |
| 143796 | F | T | T |
| 143797 | F | T | T |
| 143798 | F | T | T |
| 143799 | T | * | T |
| 143800 | F | T | T |
| 143801 | F | T | T |
| 143802 | F | T | T |
| 143803 | F | T | T |
| 143804 | T | * | T |
| 143805 | F | T | T |
| 143806 | F | T | T |
| 143807 | F | T | T |
| 143808 | F | T | T |
| 143809 | T | * | T |
| 143810 | F | T | T |
| 143811 | F | T | T |
| 143812 | F | T | T |
| 143813 | F | T | T |
| 143814 | T | * | T |
| 143815 | F | T | T |
| 143816 | F | T | T |
| 143817 | F | T | T |
| 143818 | F | T | T |
| 143819 | T | * | T |
| 143820 | F | T | T |
| 143821 | F | T | T |
| 143822 | F | T | T |
| 143823 | F | T | T |
| 143824 | T | * | T |
| 143825 | F | T | T |
| 143826 | F | T | T |
| 143827 | F | T | T |
| 143828 | F | T | T |
| 143829 | T | * | T |
| 143830 | F | T | T |
| 143831 | F | T | T |
| 143832 | F | T | T |
| 143833 | F | T | T |
| 143834 | T | * | T |
| 143835 | F | T | T |
| 143836 | F | T | T |
| 143837 | F | T | T |
| 143838 | F | T | T |
| 143839 | T | * | T |
| 143840 | F | T | T |
| 143841 | F | T | T |
| 143842 | F | T | T |
| 143843 | F | T | T |
| 143844 | T | * | T |
| 143845 | F | T | T |
| 143846 | F | T | T |
| 143847 | F | T | T |
| 143848 | F | T | T |
| 143849 | T | * | T |
| 143850 | F | T | T |
| 143851 | F | T | T |
| 143852 | F | T | T |
| 143853 | F | T | T |
| 143854 | T | * | T |
| 163544 | F | T | T |
| 163545 | F | T | T |
| 163546 | T | * | T |
| 163547 | F | T | T |
| 163548 | F | T | T |
| 163549 | T | * | T |
| 163550 | F | T | T |
| 163551 | F | T | T |
| 163552 | T | * | T |
| 163553 | F | T | T |
| 163554 | F | T | T |
| 163555 | T | * | T |
| 165125 | F | T | T |
| 165126 | F | T | T |
| 165127 | T | * | T |
| 165128 | F | T | T |
| 165129 | F | T | T |
| 165130 | T | * | T |
| 165131 | F | T | T |
| 165132 | F | T | T |
| 165133 | T | * | T |
| 165134 | F | T | T |
| 165135 | F | T | T |
| 165136 | T | * | T |
| 166845 | F | T | T |
| 166846 | F | T | T |
| 166847 | T | * | T |
| 166848 | F | T | T |
| 166849 | F | T | T |
| 166850 | T | * | T |
| 166851 | F | T | T |
| 166852 | F | T | T |
| 166853 | T | * | T |
| 166854 | F | T | T |
| 166855 | F | T | T |
| 166856 | T | * | T |
Independent-effect pairs
c0(branch5096): GAP view gap →scry_octagon::strong_close· br_ifc1(branch5098): GAP view gap →scry_octagon::strong_close· br_if