Decision #1029 — binary_reader.rs:369
Status: no_witness
Truth table
| row | c0 br 6515 | c1 br 6516 | outcome |
|---|---|---|---|
| 38709 | F | F | F |
| 38710 | F | F | F |
| 38711 | F | F | F |
| 38712 | F | F | F |
| 38713 | F | F | F |
| 38714 | F | F | F |
| 38715 | F | F | F |
| 38716 | F | F | F |
| 38717 | F | F | F |
| 38718 | F | F | F |
| 38719 | F | F | F |
| 38720 | F | F | F |
| 38721 | F | F | F |
| 38722 | F | F | F |
| 38723 | F | F | F |
| 38724 | F | F | F |
| 38725 | F | F | F |
| 38726 | F | F | F |
| 59563 | F | F | F |
| 59564 | F | F | F |
| 59565 | F | F | F |
| 59566 | F | F | F |
| 59567 | F | F | F |
| 59568 | F | F | F |
| 59569 | F | F | F |
| 59570 | F | F | F |
| 59571 | F | F | F |
| 59572 | F | F | F |
| 59573 | F | F | F |
| 59574 | F | F | F |
| 59575 | F | F | F |
| 59576 | F | F | F |
| 59577 | F | F | F |
| 59578 | F | F | F |
| 59579 | F | F | F |
| 59580 | F | F | F |
| 132070 | F | F | F |
| 132071 | F | F | F |
| 132072 | F | F | F |
| 132073 | F | F | F |
| 132074 | F | F | F |
| 132075 | F | F | F |
| 132076 | F | F | F |
| 132077 | F | F | F |
| 132078 | F | F | F |
| 132079 | F | F | F |
| 132080 | F | F | F |
| 132081 | F | F | F |
| 132082 | F | F | F |
| 132083 | F | F | F |
| 132084 | F | F | F |
| 132085 | F | F | F |
| 132086 | F | F | F |
| 132087 | F | F | F |
| 148789 | F | F | F |
| 148790 | F | F | F |
| 148791 | F | F | F |
| 148792 | F | F | F |
| 148793 | F | F | F |
| 148794 | F | F | F |
| 148795 | F | F | F |
| 148796 | F | F | F |
| 148797 | F | F | F |
| 148798 | F | F | F |
| 148799 | F | F | F |
| 148800 | F | F | F |
| 148801 | F | F | F |
| 148802 | F | F | F |
| 148803 | F | F | F |
| 148804 | F | F | F |
| 148805 | F | F | F |
| 148806 | F | F | F |
| 252499 | F | F | F |
| 252500 | F | F | F |
| 252501 | F | F | F |
| 252502 | F | F | F |
| 252503 | F | F | F |
| 252504 | F | F | F |
| 252505 | F | F | F |
| 252506 | F | F | F |
| 252507 | F | F | F |
| 252508 | F | F | F |
| 252509 | F | F | F |
| 252510 | F | F | F |
| 252511 | F | F | F |
| 252512 | F | F | F |
| 252513 | F | F | F |
| 252514 | F | F | F |
| 252515 | F | F | F |
| 252516 | F | F | F |
| 329876 | F | F | F |
| 329877 | F | F | F |
| 329878 | F | F | F |
| 329879 | F | F | F |
| 329880 | F | F | F |
| 329881 | F | F | F |
| 329882 | F | F | F |
| 329883 | F | F | F |
| 329884 | F | F | F |
| 329885 | F | F | F |
| 329886 | F | F | F |
| 329887 | F | F | F |
| 329888 | F | F | F |
| 329889 | F | F | F |
| 329890 | F | F | F |
| 329891 | F | F | F |
| 329892 | F | F | F |
| 329893 | F | F | F |
Independent-effect pairs
c0(branch6515): GAP view gap →scry_octagon::relations· br_ifc1(branch6516): GAP view gap →scry_octagon::relations· br_if