Decision #747 — lib.rs:156
Status: partial
Truth table
| row | c0 br 5062 | c1 br 5063 | outcome |
|---|---|---|---|
| 17255 | F | F | F |
| 17256 | F | F | F |
| 17257 | F | F | F |
| 17258 | F | F | F |
| 17259 | T | * | T |
| 17260 | F | F | F |
| 17261 | F | F | F |
| 17262 | F | F | F |
| 17263 | F | F | F |
| 17264 | T | * | T |
| 26733 | F | F | F |
| 26734 | F | F | F |
| 26735 | F | F | F |
| 26736 | F | F | F |
| 26737 | T | * | T |
| 26738 | F | F | F |
| 26739 | F | F | F |
| 26740 | F | F | F |
| 26741 | F | F | F |
| 26742 | T | * | T |
| 65921 | F | F | F |
| 65922 | F | F | F |
| 65923 | F | F | F |
| 65924 | F | F | F |
| 65925 | T | * | T |
| 65926 | F | F | F |
| 65927 | F | F | F |
| 65928 | F | F | F |
| 65929 | F | F | F |
| 65930 | T | * | T |
| 65931 | F | F | F |
| 65932 | F | F | F |
| 65933 | F | F | F |
| 65934 | F | F | F |
| 65935 | T | * | T |
| 65936 | F | F | F |
| 65937 | F | F | F |
| 65938 | F | F | F |
| 65939 | F | F | F |
| 65940 | T | * | T |
| 65941 | F | F | F |
| 65942 | F | F | F |
| 65943 | F | F | F |
| 65944 | F | F | F |
| 65945 | T | * | T |
| 65946 | F | F | F |
| 65947 | F | F | F |
| 65948 | F | F | F |
| 65949 | F | F | F |
| 65950 | T | * | T |
| 65951 | F | F | F |
| 65952 | F | F | F |
| 65953 | F | F | F |
| 65954 | F | F | F |
| 65955 | T | * | T |
| 65956 | F | F | F |
| 65957 | F | F | F |
| 65958 | F | F | F |
| 65959 | F | F | F |
| 65960 | T | * | T |
| 77434 | F | F | F |
| 77435 | F | F | F |
| 77436 | F | F | F |
| 77437 | F | F | F |
| 77438 | T | * | T |
| 77439 | F | F | F |
| 77440 | F | F | F |
| 77441 | F | F | F |
| 77442 | F | F | F |
| 77443 | T | * | T |
| 77444 | F | F | F |
| 77445 | F | F | F |
| 77446 | F | F | F |
| 77447 | F | F | F |
| 77448 | T | * | T |
| 77449 | F | F | F |
| 77450 | F | F | F |
| 77451 | F | F | F |
| 77452 | F | F | F |
| 77453 | T | * | T |
| 77454 | F | F | F |
| 77455 | F | F | F |
| 77456 | F | F | F |
| 77457 | F | F | F |
| 77458 | T | * | T |
| 77459 | F | F | F |
| 77460 | F | F | F |
| 77461 | F | F | F |
| 77462 | F | F | F |
| 77463 | T | * | T |
| 77464 | F | F | F |
| 77465 | F | F | F |
| 77466 | F | F | F |
| 77467 | F | F | F |
| 77468 | T | * | T |
| 77469 | F | F | F |
| 77470 | F | F | F |
| 77471 | F | F | F |
| 77472 | F | F | F |
| 77473 | T | * | T |
| 119843 | F | F | F |
| 119844 | F | F | F |
| 119845 | F | F | F |
| 119846 | F | F | F |
| 119847 | T | * | T |
| 119848 | F | F | F |
| 119849 | F | F | F |
| 119850 | F | F | F |
| 119851 | F | F | F |
| 119852 | T | * | T |
| 142779 | F | F | F |
| 142780 | F | F | F |
| 142781 | F | F | F |
| 142782 | F | F | F |
| 142783 | T | * | T |
| 142784 | F | F | F |
| 142785 | F | F | F |
| 142786 | F | F | F |
| 142787 | F | F | F |
| 142788 | T | * | T |
Independent-effect pairs
c0(branch5062): PROVED — pair rows17255,17259(masking)scry_octagon::forget· br_ifc1(branch5063): GAP view gap →scry_octagon::forget· br_if