Decision #985 — lib.rs:451
Status: partial
Truth table
| row | c0 br 6338 | c1 br 6339 | outcome |
|---|---|---|---|
| 2046 | F | F | F |
| 2047 | F | F | F |
| 2048 | F | F | F |
| 2049 | F | F | F |
| 2050 | F | F | F |
| 2051 | F | F | F |
| 2052 | F | F | F |
| 2053 | F | F | F |
| 2054 | F | F | F |
| 2055 | F | T | T |
| 2056 | F | T | T |
| 2057 | F | T | T |
| 9005 | F | F | F |
| 9006 | F | F | F |
| 9007 | F | F | F |
| 9008 | F | F | F |
| 9009 | F | F | F |
| 9010 | F | F | F |
| 9011 | F | F | F |
| 9012 | F | F | F |
| 9013 | F | F | F |
| 9014 | F | T | T |
| 9015 | F | T | T |
| 9016 | F | T | T |
| 15811 | F | F | F |
| 15812 | F | F | F |
| 15813 | F | F | F |
| 15814 | F | F | F |
| 15815 | F | F | F |
| 15816 | F | F | F |
| 15817 | F | F | F |
| 15818 | F | F | F |
| 15819 | F | F | F |
| 15820 | F | T | T |
| 15821 | F | T | T |
| 15822 | F | T | T |
| 22057 | F | F | F |
| 22058 | F | F | F |
| 22059 | F | F | F |
| 22060 | F | F | F |
| 22061 | F | F | F |
| 22062 | F | F | F |
| 24799 | F | F | F |
| 24800 | F | F | F |
| 24801 | F | F | F |
| 24802 | F | F | F |
| 24803 | F | F | F |
| 24804 | F | F | F |
| 27443 | F | F | F |
| 27444 | F | F | F |
| 27445 | F | F | F |
| 27446 | F | F | F |
| 27447 | F | F | F |
| 27448 | F | F | F |
| 33739 | F | T | T |
| 33740 | F | T | T |
| 33741 | F | T | T |
| 33742 | F | T | T |
| 33743 | F | T | T |
| 33744 | F | T | T |
| 33745 | F | T | T |
| 33746 | F | T | T |
| 33747 | F | T | T |
| 33748 | F | T | T |
| 33749 | F | T | T |
| 33750 | F | T | T |
| 33751 | F | T | T |
| 33752 | F | T | T |
| 33753 | F | T | T |
| 33754 | F | T | T |
| 33755 | F | T | T |
| 33756 | F | T | T |
| 33757 | F | T | T |
| 33758 | F | T | T |
| 33759 | F | T | T |
| 33760 | F | T | T |
| 33761 | F | T | T |
| 33762 | F | T | T |
| 33763 | F | T | T |
| 54593 | F | T | T |
| 54594 | F | T | T |
| 54595 | F | T | T |
| 54596 | F | T | T |
| 54597 | F | T | T |
| 54598 | F | T | T |
| 54599 | F | T | T |
| 54600 | F | T | T |
| 54601 | F | T | T |
| 54602 | F | T | T |
| 54603 | F | T | T |
| 54604 | F | T | T |
| 54605 | F | T | T |
| 54606 | F | T | T |
| 54607 | F | T | T |
| 54608 | F | T | T |
| 54609 | F | T | T |
| 54610 | F | T | T |
| 54611 | F | T | T |
| 54612 | F | T | T |
| 54613 | F | T | T |
| 54614 | F | T | T |
| 54615 | F | T | T |
| 54616 | F | T | T |
| 54617 | F | T | T |
| 73575 | F | T | T |
| 73576 | F | T | T |
| 73577 | F | T | T |
| 73578 | F | T | T |
| 73579 | F | T | T |
| 73580 | F | T | T |
| 73581 | F | T | T |
| 73582 | F | T | T |
| 83458 | F | T | T |
| 83459 | F | T | T |
| 83460 | F | T | T |
| 83461 | F | T | T |
| 83462 | F | T | T |
| 83463 | F | T | T |
| 83464 | F | T | T |
| 83465 | F | T | T |
| 92816 | F | T | T |
| 92817 | F | T | T |
| 92818 | F | T | T |
| 92819 | F | T | T |
| 92820 | F | F | F |
| 92821 | F | F | F |
| 92822 | F | F | F |
| 92823 | F | T | T |
| 92824 | F | T | T |
| 92825 | F | T | T |
| 92826 | F | T | T |
| 92827 | F | T | T |
| 92828 | F | T | T |
| 92829 | F | T | T |
| 100647 | F | T | T |
| 100648 | F | T | T |
| 100649 | F | T | T |
| 100650 | F | T | T |
| 100651 | F | F | F |
| 100652 | F | F | F |
| 100653 | F | F | F |
| 100654 | F | T | T |
| 100655 | F | T | T |
| 100656 | F | T | T |
| 100657 | F | T | T |
| 100658 | F | T | T |
| 100659 | F | T | T |
| 100660 | F | T | T |
| 109135 | F | T | T |
| 109136 | F | T | T |
| 109137 | F | T | T |
| 109138 | F | T | T |
| 109139 | F | F | F |
| 109140 | F | F | F |
| 109141 | F | F | F |
| 109142 | F | T | T |
| 109143 | F | T | T |
| 109144 | F | T | T |
| 109145 | F | T | T |
| 109146 | F | T | T |
| 109147 | F | T | T |
| 109148 | F | T | T |
| 117160 | F | T | T |
| 117161 | F | T | T |
| 117162 | F | T | T |
| 117163 | F | T | T |
| 117164 | F | F | F |
| 117165 | F | F | F |
| 117166 | F | F | F |
| 117167 | F | T | T |
| 117168 | F | T | T |
| 117169 | F | T | T |
| 117170 | F | T | T |
| 117171 | F | T | T |
| 117172 | F | T | T |
| 117173 | F | T | T |
| 125910 | F | T | T |
| 125911 | F | T | T |
| 125912 | F | T | T |
| 125913 | F | T | T |
| 125914 | F | T | T |
| 125915 | F | T | T |
| 125916 | F | T | T |
| 125917 | F | T | T |
| 125918 | F | T | T |
| 125919 | F | T | T |
| 125920 | F | T | T |
| 125921 | F | T | T |
| 125922 | F | T | T |
| 125923 | F | T | T |
| 125924 | F | T | T |
| 125925 | F | T | T |
| 125926 | F | T | T |
| 125927 | F | T | T |
| 125928 | F | T | T |
| 125929 | F | T | T |
| 125930 | F | T | T |
| 125931 | F | T | T |
| 125932 | F | T | T |
| 125933 | F | T | T |
| 125934 | F | T | T |
| 125935 | F | T | T |
| 125936 | F | T | T |
| 142629 | F | T | T |
| 142630 | F | T | T |
| 142631 | F | T | T |
| 142632 | F | T | T |
| 142633 | F | T | T |
| 142634 | F | T | T |
| 142635 | F | T | T |
| 142636 | F | T | T |
| 142637 | F | T | T |
| 142638 | F | T | T |
| 142639 | F | T | T |
| 142640 | F | T | T |
| 142641 | F | T | T |
| 142642 | F | T | T |
| 142643 | F | T | T |
| 142644 | F | T | T |
| 142645 | F | T | T |
| 142646 | F | T | T |
| 142647 | F | T | T |
| 142648 | F | T | T |
| 142649 | F | T | T |
| 142650 | F | T | T |
| 142651 | F | T | T |
| 142652 | F | T | T |
| 142653 | F | T | T |
| 142654 | F | T | T |
| 142655 | F | T | T |
| 159567 | F | F | F |
| 159568 | F | F | F |
| 159569 | F | F | F |
| 159570 | F | F | F |
| 159571 | F | F | F |
| 159572 | F | F | F |
| 159573 | F | F | F |
| 159574 | F | F | F |
| 159575 | F | F | F |
| 159576 | F | F | F |
| 159577 | F | F | F |
| 159578 | F | F | F |
| 159579 | F | F | F |
| 159580 | F | F | F |
| 159581 | F | F | F |
| 159582 | F | F | F |
| 159583 | F | F | F |
| 159584 | F | F | F |
| 159585 | F | F | F |
| 159586 | F | F | F |
| 159587 | F | F | F |
| 159588 | F | F | F |
| 159589 | F | F | F |
| 159590 | F | F | F |
| 169425 | F | F | F |
| 169426 | F | F | F |
| 169427 | F | F | F |
| 169428 | F | F | F |
| 169429 | F | F | F |
| 169430 | F | F | F |
| 169431 | F | F | F |
| 169432 | F | F | F |
| 169433 | F | F | F |
| 169434 | F | F | F |
| 169435 | F | F | F |
| 169436 | F | F | F |
| 169437 | F | F | F |
| 169438 | F | F | F |
| 169439 | F | F | F |
| 169440 | F | F | F |
| 169441 | F | F | F |
| 169442 | F | F | F |
| 169443 | F | F | F |
| 169444 | F | F | F |
| 169445 | F | F | F |
| 169446 | F | F | F |
| 169447 | F | F | F |
| 169448 | F | F | F |
| 177007 | F | F | F |
| 177008 | F | F | F |
| 181540 | F | F | F |
| 181541 | F | F | F |
| 181542 | F | F | F |
| 181543 | F | F | F |
| 181544 | F | F | F |
| 184858 | F | F | F |
| 184859 | F | F | F |
| 184860 | F | F | F |
| 184861 | F | F | F |
| 184862 | F | F | F |
| 187967 | F | F | F |
| 187968 | F | F | F |
| 187969 | F | F | F |
| 187970 | F | F | F |
| 187971 | F | F | F |
| 191634 | F | T | T |
| 191635 | F | T | T |
| 191636 | F | T | T |
| 191637 | F | T | T |
| 191638 | F | T | T |
| 191639 | F | T | T |
| 191640 | F | T | T |
| 191641 | F | T | T |
| 191642 | F | T | T |
| 191643 | F | T | T |
| 197640 | F | F | F |
| 197641 | F | F | F |
| 197642 | F | F | F |
| 197643 | F | F | F |
| 197644 | F | F | F |
| 197645 | F | F | F |
| 197646 | F | F | F |
| 197647 | F | F | F |
| 197648 | F | F | F |
| 197649 | F | F | F |
| 197650 | F | F | F |
| 197651 | F | F | F |
| 197652 | F | F | F |
| 197653 | F | F | F |
| 197654 | F | F | F |
| 197655 | F | F | F |
| 197656 | F | F | F |
| 197657 | F | F | F |
| 197658 | F | F | F |
| 197659 | F | F | F |
| 197660 | F | F | F |
| 197661 | F | F | F |
| 197662 | F | F | F |
| 197663 | F | F | F |
| 197664 | F | F | F |
| 197665 | F | F | F |
| 197666 | F | F | F |
| 197667 | F | F | F |
| 197668 | F | F | F |
| 197669 | F | F | F |
| 203660 | F | T | T |
| 203661 | F | T | T |
| 203662 | F | T | T |
| 203663 | F | T | T |
| 203664 | F | T | T |
| 203665 | F | T | T |
| 208847 | F | F | F |
| 208848 | F | F | F |
| 208849 | F | F | F |
| 208850 | F | F | F |
| 208851 | F | F | F |
| 208852 | F | F | F |
| 208853 | F | F | F |
| 208854 | F | F | F |
| 208855 | F | F | F |
| 208856 | F | F | F |
| 208857 | F | F | F |
| 208858 | F | F | F |
| 208859 | F | F | F |
| 208860 | F | F | F |
| 208861 | F | F | F |
| 208862 | F | F | F |
| 208863 | F | F | F |
| 208864 | F | F | F |
| 216321 | F | T | T |
| 216322 | F | T | T |
| 216323 | F | T | T |
| 216324 | F | T | T |
| 216325 | F | T | T |
| 216326 | F | T | T |
| 216327 | F | T | T |
| 216328 | F | T | T |
| 216329 | F | T | T |
| 240627 | F | T | T |
| 240628 | F | T | T |
| 240629 | F | T | T |
| 240630 | F | T | T |
| 240631 | F | T | T |
| 240632 | F | T | T |
| 240633 | F | T | T |
| 240634 | F | T | T |
| 240635 | F | T | T |
| 240636 | F | T | T |
| 240637 | F | T | T |
| 240638 | F | T | T |
| 240639 | F | T | T |
| 240640 | F | T | T |
| 240641 | F | T | T |
| 240642 | F | T | T |
| 240643 | F | T | T |
| 240644 | F | T | T |
| 240645 | F | T | T |
| 240646 | F | T | T |
| 240647 | F | T | T |
| 240648 | F | T | T |
| 240649 | F | T | T |
| 240650 | F | T | T |
| 240651 | F | T | T |
| 318004 | F | T | T |
| 318005 | F | T | T |
| 318006 | F | T | T |
| 318007 | F | T | T |
| 318008 | F | T | T |
| 318009 | F | T | T |
| 318010 | F | T | T |
| 318011 | F | T | T |
| 318012 | F | T | T |
| 318013 | F | T | T |
| 318014 | F | T | T |
| 318015 | F | T | T |
| 318016 | F | T | T |
| 318017 | F | T | T |
| 318018 | F | T | T |
| 318019 | F | T | T |
| 318020 | F | T | T |
| 318021 | F | T | T |
| 318022 | F | T | T |
| 318023 | F | T | T |
| 318024 | F | T | T |
| 318025 | F | T | T |
| 318026 | F | T | T |
| 318027 | F | T | T |
| 318028 | F | T | T |
| 377384 | F | T | T |
| 377385 | F | T | T |
| 377386 | F | T | T |
| 377387 | F | T | T |
| 380041 | F | T | T |
| 380042 | F | T | T |
| 380043 | F | T | T |
| 380044 | F | T | T |
| 382924 | F | T | T |
| 382925 | F | T | T |
| 382926 | F | T | T |
| 382927 | F | T | T |
Independent-effect pairs
c0(branch6338): GAP view gap →scry_octagon::strong_close· br_ifc1(branch6339): PROVED — pair rows2046,2055(unique-cause)scry_octagon::strong_close· br_if