Decision #756 — lib.rs:73
Status: no_witness
Truth table
| row | c0 br 5100 | c1 br 5101 | c2 br 5102 | c3 br 5103 | outcome |
|---|---|---|---|---|---|
| 1673 | * | F | F | * | T |
| 1674 | * | F | F | * | T |
| 1675 | * | F | F | * | T |
| 1676 | * | F | F | * | T |
| 1677 | * | F | F | * | T |
| 1678 | * | F | F | * | T |
| 1679 | * | F | F | * | T |
| 1680 | * | F | F | * | T |
| 1681 | * | F | F | * | T |
| 1682 | * | F | T | F | T |
| 1683 | * | F | T | F | T |
| 1684 | * | F | T | F | T |
| 5464 | * | F | F | * | T |
| 5465 | * | F | F | * | T |
| 5466 | * | F | F | * | T |
| 5467 | * | F | F | * | T |
| 5468 | * | F | F | * | T |
| 5469 | * | F | F | * | T |
| 5470 | * | F | F | * | T |
| 5471 | * | F | F | * | T |
| 5472 | * | F | F | * | T |
| 5473 | * | F | T | F | T |
| 5474 | * | F | T | F | T |
| 5475 | * | F | T | F | T |
| 9245 | * | F | F | * | T |
| 9246 | * | F | F | * | T |
| 9247 | * | F | F | * | T |
| 9248 | * | F | F | * | T |
| 9249 | * | F | F | * | T |
| 9250 | * | F | F | * | T |
| 9251 | * | F | F | * | T |
| 9252 | * | F | F | * | T |
| 9253 | * | F | F | * | T |
| 9254 | * | F | T | F | T |
| 9255 | * | F | T | F | T |
| 9256 | * | F | T | F | T |
| 12274 | * | F | F | * | T |
| 12275 | * | F | F | * | T |
| 12276 | * | F | F | * | T |
| 12277 | * | F | F | * | T |
| 12278 | * | F | F | * | T |
| 12279 | * | F | F | * | T |
| 13648 | * | F | F | * | T |
| 13649 | * | F | F | * | T |
| 13650 | * | F | F | * | T |
| 13651 | * | F | F | * | T |
| 13652 | * | F | F | * | T |
| 13653 | * | F | F | * | T |
| 14975 | * | F | F | * | T |
| 14976 | * | F | F | * | T |
| 14977 | * | F | F | * | T |
| 14978 | * | F | F | * | T |
| 14979 | * | F | F | * | T |
| 14980 | * | F | F | * | T |
| 17323 | * | F | T | F | T |
| 17324 | * | F | T | F | T |
| 17325 | * | F | T | F | T |
| 17326 | * | F | T | F | T |
| 17327 | * | F | T | F | T |
| 17328 | * | F | T | F | T |
| 17329 | * | F | T | F | T |
| 17330 | * | F | T | F | T |
| 17331 | * | F | T | F | T |
| 17332 | * | F | T | F | T |
| 17333 | * | F | T | F | T |
| 17334 | * | F | T | F | T |
| 17335 | * | F | T | F | T |
| 17336 | * | F | T | F | T |
| 17337 | * | F | T | F | T |
| 17338 | * | F | T | F | T |
| 17339 | * | F | T | F | T |
| 17340 | * | F | T | F | T |
| 17341 | * | F | T | F | T |
| 17342 | * | F | T | F | T |
| 17343 | * | F | T | F | T |
| 17344 | * | F | T | F | T |
| 17345 | * | F | T | F | T |
| 17346 | * | F | T | F | T |
| 17347 | * | F | T | F | T |
| 26801 | * | F | T | F | T |
| 26802 | * | F | T | F | T |
| 26803 | * | F | T | F | T |
| 26804 | * | F | T | F | T |
| 26805 | * | F | T | F | T |
| 26806 | * | F | T | F | T |
| 26807 | * | F | T | F | T |
| 26808 | * | F | T | F | T |
| 26809 | * | F | T | F | T |
| 26810 | * | F | T | F | T |
| 26811 | * | F | T | F | T |
| 26812 | * | F | T | F | T |
| 26813 | * | F | T | F | T |
| 26814 | * | F | T | F | T |
| 26815 | * | F | T | F | T |
| 26816 | * | F | T | F | T |
| 26817 | * | F | T | F | T |
| 26818 | * | F | T | F | T |
| 26819 | * | F | T | F | T |
| 26820 | * | F | T | F | T |
| 26821 | * | F | T | F | T |
| 26822 | * | F | T | F | T |
| 26823 | * | F | T | F | T |
| 26824 | * | F | T | F | T |
| 26825 | * | F | T | F | T |
| 36591 | * | F | T | F | T |
| 36592 | * | F | T | F | T |
| 36593 | * | F | T | F | T |
| 36594 | * | F | T | F | T |
| 36595 | * | F | T | F | T |
| 36596 | * | F | T | F | T |
| 36597 | * | F | T | F | T |
| 36598 | * | F | T | F | T |
| 42804 | * | F | T | F | T |
| 42805 | * | F | T | F | T |
| 42806 | * | F | T | F | T |
| 42807 | * | F | T | F | T |
| 42808 | * | F | T | F | T |
| 42809 | * | F | T | F | T |
| 42810 | * | F | T | F | T |
| 42811 | * | F | T | F | T |
| 48693 | * | F | T | F | T |
| 48694 | * | F | T | F | T |
| 48695 | * | F | T | F | T |
| 48696 | * | F | T | F | T |
| 48697 | * | F | F | * | T |
| 48698 | * | F | F | * | T |
| 48699 | * | F | F | * | T |
| 48700 | * | F | T | F | T |
| 48701 | * | F | T | F | T |
| 48702 | * | F | T | F | T |
| 48703 | * | F | T | F | T |
| 48704 | * | F | T | F | T |
| 48705 | * | F | T | F | T |
| 48706 | * | F | T | F | T |
| 52894 | * | F | T | F | T |
| 52895 | * | F | T | F | T |
| 52896 | * | F | T | F | T |
| 52897 | * | F | T | F | T |
| 52898 | * | F | F | * | T |
| 52899 | * | F | F | * | T |
| 52900 | * | F | F | * | T |
| 52901 | * | F | T | F | T |
| 52902 | * | F | T | F | T |
| 52903 | * | F | T | F | T |
| 52904 | * | F | T | F | T |
| 52905 | * | F | T | F | T |
| 52906 | * | F | T | F | T |
| 52907 | * | F | T | F | T |
| 57424 | * | F | T | F | T |
| 57425 | * | F | T | F | T |
| 57426 | * | F | T | F | T |
| 57427 | * | F | T | F | T |
| 57428 | * | F | F | * | T |
| 57429 | * | F | F | * | T |
| 57430 | * | F | F | * | T |
| 57431 | * | F | T | F | T |
| 57432 | * | F | T | F | T |
| 57433 | * | F | T | F | T |
| 57434 | * | F | T | F | T |
| 57435 | * | F | T | F | T |
| 57436 | * | F | T | F | T |
| 57437 | * | F | T | F | T |
| 61617 | * | F | T | F | T |
| 61618 | * | F | T | F | T |
| 61619 | * | F | T | F | T |
| 61620 | * | F | T | F | T |
| 61621 | * | F | F | * | T |
| 61622 | * | F | F | * | T |
| 61623 | * | F | F | * | T |
| 61624 | * | F | T | F | T |
| 61625 | * | F | T | F | T |
| 61626 | * | F | T | F | T |
| 61627 | * | F | T | F | T |
| 61628 | * | F | T | F | T |
| 61629 | * | F | T | F | T |
| 61630 | * | F | T | F | T |
| 66135 | * | F | T | F | T |
| 66136 | * | F | T | F | T |
| 66137 | * | F | T | F | T |
| 66138 | * | F | T | F | T |
| 66139 | * | F | T | F | T |
| 66140 | * | F | T | F | T |
| 66141 | * | F | T | F | T |
| 66142 | * | F | T | F | T |
| 66143 | * | F | T | F | T |
| 66144 | * | F | T | F | T |
| 66145 | * | F | T | F | T |
| 66146 | * | F | T | F | T |
| 66147 | * | F | T | F | T |
| 66148 | * | F | T | F | T |
| 66149 | * | F | T | F | T |
| 66150 | * | F | T | F | T |
| 66151 | * | F | T | F | T |
| 66152 | * | F | T | F | T |
| 66153 | * | F | T | F | T |
| 66154 | * | F | T | F | T |
| 66155 | * | F | T | F | T |
| 66156 | * | F | T | F | T |
| 66157 | * | F | T | F | T |
| 66158 | * | F | T | F | T |
| 66159 | * | F | T | F | T |
| 66160 | * | F | T | F | T |
| 66161 | * | F | T | F | T |
| 77648 | * | F | T | F | T |
| 77649 | * | F | T | F | T |
| 77650 | * | F | T | F | T |
| 77651 | * | F | T | F | T |
| 77652 | * | F | T | F | T |
| 77653 | * | F | T | F | T |
| 77654 | * | F | T | F | T |
| 77655 | * | F | T | F | T |
| 77656 | * | F | T | F | T |
| 77657 | * | F | T | F | T |
| 77658 | * | F | T | F | T |
| 77659 | * | F | T | F | T |
| 77660 | * | F | T | F | T |
| 77661 | * | F | T | F | T |
| 77662 | * | F | T | F | T |
| 77663 | * | F | T | F | T |
| 77664 | * | F | T | F | T |
| 77665 | * | F | T | F | T |
| 77666 | * | F | T | F | T |
| 77667 | * | F | T | F | T |
| 77668 | * | F | T | F | T |
| 77669 | * | F | T | F | T |
| 77670 | * | F | T | F | T |
| 77671 | * | F | T | F | T |
| 77672 | * | F | T | F | T |
| 77673 | * | F | T | F | T |
| 77674 | * | F | T | F | T |
| 89374 | * | F | F | * | T |
| 89375 | * | F | F | * | T |
| 89376 | * | F | F | * | T |
| 89377 | * | F | F | * | T |
| 89378 | * | F | F | * | T |
| 89379 | * | F | F | * | T |
| 89380 | * | F | F | * | T |
| 89381 | * | F | F | * | T |
| 89382 | * | F | F | * | T |
| 89383 | * | F | F | * | T |
| 89384 | * | F | F | * | T |
| 89385 | * | F | F | * | T |
| 89386 | * | F | F | * | T |
| 89387 | * | F | F | * | T |
| 89388 | * | F | F | * | T |
| 89389 | * | F | F | * | T |
| 89390 | * | F | F | * | T |
| 89391 | * | F | F | * | T |
| 89392 | * | F | F | * | T |
| 89393 | * | F | F | * | T |
| 89394 | * | F | F | * | T |
| 89395 | * | F | F | * | T |
| 89396 | * | F | F | * | T |
| 89397 | * | F | F | * | T |
| 93642 | * | F | F | * | T |
| 93643 | * | F | F | * | T |
| 93644 | * | F | F | * | T |
| 93645 | * | F | F | * | T |
| 93646 | * | F | F | * | T |
| 93647 | * | F | F | * | T |
| 93648 | * | F | F | * | T |
| 93649 | * | F | F | * | T |
| 93650 | * | F | F | * | T |
| 93651 | * | F | F | * | T |
| 93652 | * | F | F | * | T |
| 93653 | * | F | F | * | T |
| 93654 | * | F | F | * | T |
| 93655 | * | F | F | * | T |
| 93656 | * | F | F | * | T |
| 93657 | * | F | F | * | T |
| 93658 | * | F | F | * | T |
| 93659 | * | F | F | * | T |
| 93660 | * | F | F | * | T |
| 93661 | * | F | F | * | T |
| 93662 | * | F | F | * | T |
| 93663 | * | F | F | * | T |
| 93664 | * | F | F | * | T |
| 93665 | * | F | F | * | T |
| 96538 | * | F | F | * | T |
| 96539 | * | F | F | * | T |
| 98326 | * | F | F | * | T |
| 98327 | * | F | F | * | T |
| 98328 | * | F | F | * | T |
| 98329 | * | F | F | * | T |
| 98330 | * | F | F | * | T |
| 99841 | * | F | F | * | T |
| 99842 | * | F | F | * | T |
| 99843 | * | F | F | * | T |
| 99844 | * | F | F | * | T |
| 99845 | * | F | F | * | T |
| 101259 | * | F | F | * | T |
| 101260 | * | F | F | * | T |
| 101261 | * | F | F | * | T |
| 101262 | * | F | F | * | T |
| 101263 | * | F | F | * | T |
| 103051 | * | F | T | F | T |
| 103052 | * | F | T | F | T |
| 103053 | * | F | T | F | T |
| 103054 | * | F | T | F | T |
| 103055 | * | F | T | F | T |
| 103056 | * | F | T | F | T |
| 103057 | * | F | T | F | T |
| 103058 | * | F | T | F | T |
| 103059 | * | F | T | F | T |
| 103060 | * | F | T | F | T |
| 106811 | * | F | F | * | T |
| 106812 | * | F | F | * | T |
| 106813 | * | F | F | * | T |
| 106814 | * | F | F | * | T |
| 106815 | * | F | F | * | T |
| 106816 | * | F | F | * | T |
| 106817 | * | F | F | * | T |
| 106818 | * | F | F | * | T |
| 106819 | * | F | F | * | T |
| 106820 | * | F | F | * | T |
| 106821 | * | F | F | * | T |
| 106822 | * | F | F | * | T |
| 106823 | * | F | F | * | T |
| 106824 | * | F | F | * | T |
| 106825 | * | F | F | * | T |
| 106826 | * | F | F | * | T |
| 106827 | * | F | F | * | T |
| 106828 | * | F | F | * | T |
| 106829 | * | F | F | * | T |
| 106830 | * | F | F | * | T |
| 106831 | * | F | F | * | T |
| 106832 | * | F | F | * | T |
| 106833 | * | F | F | * | T |
| 106834 | * | F | F | * | T |
| 106835 | * | F | F | * | T |
| 106836 | * | F | F | * | T |
| 106837 | * | F | F | * | T |
| 106838 | * | F | F | * | T |
| 106839 | * | F | F | * | T |
| 106840 | * | F | F | * | T |
| 109340 | * | F | T | F | T |
| 109341 | * | F | T | F | T |
| 109342 | * | F | T | F | T |
| 109343 | * | F | T | F | T |
| 109344 | * | F | T | F | T |
| 109345 | * | F | T | F | T |
| 112330 | * | F | F | * | T |
| 112331 | * | F | F | * | T |
| 112332 | * | F | F | * | T |
| 112333 | * | F | F | * | T |
| 112334 | * | F | F | * | T |
| 112335 | * | F | F | * | T |
| 112336 | * | F | F | * | T |
| 112337 | * | F | F | * | T |
| 112338 | * | F | F | * | T |
| 112339 | * | F | F | * | T |
| 112340 | * | F | F | * | T |
| 112341 | * | F | F | * | T |
| 112342 | * | F | F | * | T |
| 112343 | * | F | F | * | T |
| 112344 | * | F | F | * | T |
| 112345 | * | F | F | * | T |
| 112346 | * | F | F | * | T |
| 112347 | * | F | F | * | T |
| 115066 | * | F | T | F | T |
| 115067 | * | F | T | F | T |
| 115068 | * | F | T | F | T |
| 115069 | * | F | T | F | T |
| 115070 | * | F | T | F | T |
| 115071 | * | F | T | F | T |
| 115072 | * | F | T | F | T |
| 115073 | * | F | T | F | T |
| 115074 | * | F | T | F | T |
| 119997 | * | F | T | F | T |
| 119998 | * | F | T | F | T |
| 119999 | * | F | T | F | T |
| 120000 | * | F | T | F | T |
| 120001 | * | F | T | F | T |
| 120002 | * | F | T | F | T |
| 120003 | * | F | T | F | T |
| 120004 | * | F | T | F | T |
| 120005 | * | F | T | F | T |
| 120006 | * | F | T | F | T |
| 120007 | * | F | T | F | T |
| 120008 | * | F | T | F | T |
| 120009 | * | F | T | F | T |
| 120010 | * | F | T | F | T |
| 120011 | * | F | T | F | T |
| 120012 | * | F | T | F | T |
| 120013 | * | F | T | F | T |
| 120014 | * | F | T | F | T |
| 120015 | * | F | T | F | T |
| 120016 | * | F | T | F | T |
| 120017 | * | F | T | F | T |
| 120018 | * | F | T | F | T |
| 120019 | * | F | T | F | T |
| 120020 | * | F | T | F | T |
| 120021 | * | F | T | F | T |
| 142933 | * | F | T | F | T |
| 142934 | * | F | T | F | T |
| 142935 | * | F | T | F | T |
| 142936 | * | F | T | F | T |
| 142937 | * | F | T | F | T |
| 142938 | * | F | T | F | T |
| 142939 | * | F | T | F | T |
| 142940 | * | F | T | F | T |
| 142941 | * | F | T | F | T |
| 142942 | * | F | T | F | T |
| 142943 | * | F | T | F | T |
| 142944 | * | F | T | F | T |
| 142945 | * | F | T | F | T |
| 142946 | * | F | T | F | T |
| 142947 | * | F | T | F | T |
| 142948 | * | F | T | F | T |
| 142949 | * | F | T | F | T |
| 142950 | * | F | T | F | T |
| 142951 | * | F | T | F | T |
| 142952 | * | F | T | F | T |
| 142953 | * | F | T | F | T |
| 142954 | * | F | T | F | T |
| 142955 | * | F | T | F | T |
| 142956 | * | F | T | F | T |
| 142957 | * | F | T | F | T |
| 163524 | * | F | T | F | T |
| 163525 | * | F | T | F | T |
| 163526 | * | F | T | F | T |
| 163527 | * | F | T | F | T |
| 165105 | * | F | T | F | T |
| 165106 | * | F | T | F | T |
| 165107 | * | F | T | F | T |
| 165108 | * | F | T | F | T |
| 166825 | * | F | T | F | T |
| 166826 | * | F | T | F | T |
| 166827 | * | F | T | F | T |
| 166828 | * | F | T | F | T |
Independent-effect pairs
All 4 conditions live in scry_octagon::strong_close — 4 br_if
c0(branch5100): DEAD view gap →c1(branch5101): GAP view gap →c2(branch5102): GAP view gap →c3(branch5103): GAP view gap →