Decision #748 — lib.rs:153
Status: no_witness
Truth table
| row | c0 br 5066 | c1 br 5070 | outcome |
|---|---|---|---|
| 17265 | F | F | F |
| 17266 | F | F | F |
| 17267 | T | F | F |
| 17268 | F | * | F |
| 17269 | F | F | F |
| 17270 | F | F | F |
| 17271 | T | F | F |
| 17272 | F | * | F |
| 26743 | F | F | F |
| 26744 | F | F | F |
| 26745 | T | F | F |
| 26746 | F | * | F |
| 26747 | F | F | F |
| 26748 | F | F | F |
| 26749 | T | F | F |
| 26750 | F | * | F |
| 65961 | F | F | F |
| 65962 | F | F | F |
| 65963 | T | F | F |
| 65964 | F | * | F |
| 65965 | F | F | F |
| 65966 | F | F | F |
| 65967 | T | F | F |
| 65968 | F | * | F |
| 65969 | F | F | F |
| 65970 | F | F | F |
| 65971 | T | F | F |
| 65972 | F | * | F |
| 65973 | F | F | F |
| 65974 | F | F | F |
| 65975 | T | F | F |
| 65976 | F | * | F |
| 65977 | F | F | F |
| 65978 | F | F | F |
| 65979 | T | F | F |
| 65980 | F | * | F |
| 65981 | F | F | F |
| 65982 | F | F | F |
| 65983 | T | F | F |
| 65984 | F | * | F |
| 65985 | F | F | F |
| 65986 | F | F | F |
| 65987 | T | F | F |
| 65988 | F | * | F |
| 65989 | F | F | F |
| 65990 | F | F | F |
| 65991 | T | F | F |
| 65992 | F | * | F |
| 77474 | F | F | F |
| 77475 | F | F | F |
| 77476 | T | F | F |
| 77477 | F | * | F |
| 77478 | F | F | F |
| 77479 | F | F | F |
| 77480 | T | F | F |
| 77481 | F | * | F |
| 77482 | F | F | F |
| 77483 | F | F | F |
| 77484 | T | F | F |
| 77485 | F | * | F |
| 77486 | F | F | F |
| 77487 | F | F | F |
| 77488 | T | F | F |
| 77489 | F | * | F |
| 77490 | F | F | F |
| 77491 | F | F | F |
| 77492 | T | F | F |
| 77493 | F | * | F |
| 77494 | F | F | F |
| 77495 | F | F | F |
| 77496 | T | F | F |
| 77497 | F | * | F |
| 77498 | F | F | F |
| 77499 | F | F | F |
| 77500 | T | F | F |
| 77501 | F | * | F |
| 77502 | F | F | F |
| 77503 | F | F | F |
| 77504 | T | F | F |
| 77505 | F | * | F |
| 119853 | F | F | F |
| 119854 | F | F | F |
| 119855 | T | F | F |
| 119856 | F | * | F |
| 119857 | F | F | F |
| 119858 | F | F | F |
| 119859 | T | F | F |
| 119860 | F | * | F |
| 142789 | F | F | F |
| 142790 | F | F | F |
| 142791 | T | F | F |
| 142792 | F | * | F |
| 142793 | F | F | F |
| 142794 | F | F | F |
| 142795 | T | F | F |
| 142796 | F | * | F |
Independent-effect pairs
c0(branch5066): GAP view gap →scry_octagon::forget· br_ifc1(branch5070): GAP view gap →scry_octagon::forget· br_if