Decision #976 — lib.rs:433
Status: partial
Truth table
| row | c0 br 6303 | c1 br 6304 | c2 br 6305 | outcome |
|---|---|---|---|---|
| 33640 | F | F | F | F |
| 33641 | F | F | F | F |
| 33642 | T | * | * | T |
| 33643 | F | F | F | F |
| 33644 | F | F | F | F |
| 33645 | F | F | F | F |
| 33646 | T | * | * | T |
| 33647 | F | F | F | F |
| 54494 | F | F | F | F |
| 54495 | F | F | F | F |
| 54496 | T | * | * | T |
| 54497 | F | F | F | F |
| 54498 | F | F | F | F |
| 54499 | F | F | F | F |
| 54500 | T | * | * | T |
| 54501 | F | F | F | F |
| 125703 | F | F | F | F |
| 125704 | F | F | F | F |
| 125705 | T | * | * | T |
| 125706 | F | F | F | F |
| 125707 | F | F | F | F |
| 125708 | F | F | F | F |
| 125709 | T | * | * | T |
| 125710 | F | F | F | F |
| 125711 | F | F | F | F |
| 125712 | F | F | F | F |
| 125713 | T | * | * | T |
| 125714 | F | F | F | F |
| 125715 | F | F | F | F |
| 125716 | F | F | F | F |
| 125717 | T | * | * | T |
| 125718 | F | F | F | F |
| 125719 | F | F | F | F |
| 125720 | F | F | F | F |
| 125721 | T | * | * | T |
| 125722 | F | F | F | F |
| 125723 | F | F | F | F |
| 125724 | F | F | F | F |
| 125725 | T | * | * | T |
| 125726 | F | F | F | F |
| 125727 | F | F | F | F |
| 125728 | F | F | F | F |
| 125729 | T | * | * | T |
| 125730 | F | F | F | F |
| 125731 | F | F | F | F |
| 125732 | F | F | F | F |
| 125733 | T | * | * | T |
| 125734 | F | F | F | F |
| 142422 | F | F | F | F |
| 142423 | F | F | F | F |
| 142424 | T | * | * | T |
| 142425 | F | F | F | F |
| 142426 | F | F | F | F |
| 142427 | F | F | F | F |
| 142428 | T | * | * | T |
| 142429 | F | F | F | F |
| 142430 | F | F | F | F |
| 142431 | F | F | F | F |
| 142432 | T | * | * | T |
| 142433 | F | F | F | F |
| 142434 | F | F | F | F |
| 142435 | F | F | F | F |
| 142436 | T | * | * | T |
| 142437 | F | F | F | F |
| 142438 | F | F | F | F |
| 142439 | F | F | F | F |
| 142440 | T | * | * | T |
| 142441 | F | F | F | F |
| 142442 | F | F | F | F |
| 142443 | F | F | F | F |
| 142444 | T | * | * | T |
| 142445 | F | F | F | F |
| 142446 | F | F | F | F |
| 142447 | F | F | F | F |
| 142448 | T | * | * | T |
| 142449 | F | F | F | F |
| 142450 | F | F | F | F |
| 142451 | F | F | F | F |
| 142452 | T | * | * | T |
| 142453 | F | F | F | F |
| 240356 | F | F | F | F |
| 240357 | F | F | F | F |
| 240358 | T | * | * | T |
| 240359 | F | F | F | F |
| 240360 | F | F | F | F |
| 240361 | F | F | F | F |
| 240362 | T | * | * | T |
| 240363 | F | F | F | F |
| 317733 | F | F | F | F |
| 317734 | F | F | F | F |
| 317735 | T | * | * | T |
| 317736 | F | F | F | F |
| 317737 | F | F | F | F |
| 317738 | F | F | F | F |
| 317739 | T | * | * | T |
| 317740 | F | F | F | F |
Independent-effect pairs
All 3 conditions live in scry_octagon::forget — 3 br_if
c0(branch6303): PROVED — pair rows33640,33642(masking)c1(branch6304): GAP view gap →c2(branch6305): GAP view gap →