Decision #1027 — binary_reader.rs:517
Status: no_witness
Truth table
| row | c0 br 6510 | c1 br 6512 | outcome |
|---|---|---|---|
| 2238 | F | * | F |
| 2239 | F | * | F |
| 2240 | F | * | F |
| 2241 | F | * | F |
| 2242 | F | * | F |
| 2243 | F | * | F |
| 9197 | F | * | F |
| 9198 | F | * | F |
| 9199 | F | * | F |
| 9200 | F | * | F |
| 9201 | F | * | F |
| 9202 | F | * | F |
| 16003 | F | * | F |
| 16004 | F | * | F |
| 16005 | F | * | F |
| 16006 | F | * | F |
| 16007 | F | * | F |
| 16008 | F | * | F |
| 38637 | F | * | F |
| 38638 | F | * | F |
| 38639 | F | * | F |
| 38640 | F | * | F |
| 38641 | F | * | F |
| 38642 | F | * | F |
| 38643 | F | * | F |
| 38644 | F | * | F |
| 38645 | F | * | F |
| 38646 | F | * | F |
| 38647 | F | * | F |
| 38648 | F | * | F |
| 38649 | F | * | F |
| 38650 | F | * | F |
| 38651 | F | * | F |
| 38652 | F | * | F |
| 38653 | F | * | F |
| 38654 | F | * | F |
| 38655 | F | * | F |
| 38656 | F | * | F |
| 38657 | F | * | F |
| 38658 | F | * | F |
| 38659 | F | * | F |
| 38660 | F | * | F |
| 38661 | F | * | F |
| 38662 | F | * | F |
| 38663 | F | * | F |
| 38664 | F | * | F |
| 38665 | F | * | F |
| 38666 | F | * | F |
| 38667 | F | * | F |
| 38668 | F | * | F |
| 38669 | F | * | F |
| 38670 | F | * | F |
| 38671 | F | * | F |
| 38672 | F | * | F |
| 59491 | F | * | F |
| 59492 | F | * | F |
| 59493 | F | * | F |
| 59494 | F | * | F |
| 59495 | F | * | F |
| 59496 | F | * | F |
| 59497 | F | * | F |
| 59498 | F | * | F |
| 59499 | F | * | F |
| 59500 | F | * | F |
| 59501 | F | * | F |
| 59502 | F | * | F |
| 59503 | F | * | F |
| 59504 | F | * | F |
| 59505 | F | * | F |
| 59506 | F | * | F |
| 59507 | F | * | F |
| 59508 | F | * | F |
| 59509 | F | * | F |
| 59510 | F | * | F |
| 59511 | F | * | F |
| 59512 | F | * | F |
| 59513 | F | * | F |
| 59514 | F | * | F |
| 59515 | F | * | F |
| 59516 | F | * | F |
| 59517 | F | * | F |
| 59518 | F | * | F |
| 59519 | F | * | F |
| 59520 | F | * | F |
| 59521 | F | * | F |
| 59522 | F | * | F |
| 59523 | F | * | F |
| 59524 | F | * | F |
| 59525 | F | * | F |
| 59526 | F | * | F |
| 75160 | F | * | F |
| 75161 | F | * | F |
| 75162 | F | * | F |
| 75163 | F | * | F |
| 75164 | F | * | F |
| 75165 | F | * | F |
| 75166 | F | * | F |
| 75167 | F | * | F |
| 75168 | F | * | F |
| 75169 | F | * | F |
| 75170 | F | * | F |
| 75171 | F | * | F |
| 75172 | F | * | F |
| 75173 | F | * | F |
| 85043 | F | * | F |
| 85044 | F | * | F |
| 85045 | F | * | F |
| 85046 | F | * | F |
| 85047 | F | * | F |
| 85048 | F | * | F |
| 85049 | F | * | F |
| 85050 | F | * | F |
| 85051 | F | * | F |
| 85052 | F | * | F |
| 85053 | F | * | F |
| 85054 | F | * | F |
| 85055 | F | * | F |
| 85056 | F | * | F |
| 93218 | F | * | F |
| 93219 | F | * | F |
| 93220 | F | * | F |
| 93221 | F | * | F |
| 93222 | F | * | F |
| 93223 | F | * | F |
| 93224 | F | * | F |
| 93225 | F | * | F |
| 93226 | F | * | F |
| 93227 | F | * | F |
| 93228 | F | * | F |
| 93229 | F | * | F |
| 93230 | F | * | F |
| 93231 | F | * | F |
| 93232 | F | * | F |
| 93233 | F | * | F |
| 93234 | F | * | F |
| 93235 | F | * | F |
| 93236 | F | * | F |
| 93237 | F | * | F |
| 93238 | F | * | F |
| 93239 | F | * | F |
| 101049 | F | * | F |
| 101050 | F | * | F |
| 101051 | F | * | F |
| 101052 | F | * | F |
| 101053 | F | * | F |
| 101054 | F | * | F |
| 101055 | F | * | F |
| 101056 | F | * | F |
| 101057 | F | * | F |
| 101058 | F | * | F |
| 101059 | F | * | F |
| 101060 | F | * | F |
| 101061 | F | * | F |
| 101062 | F | * | F |
| 101063 | F | * | F |
| 101064 | F | * | F |
| 101065 | F | * | F |
| 101066 | F | * | F |
| 101067 | F | * | F |
| 101068 | F | * | F |
| 101069 | F | * | F |
| 101070 | F | * | F |
| 109537 | F | * | F |
| 109538 | F | * | F |
| 109539 | F | * | F |
| 109540 | F | * | F |
| 109541 | F | * | F |
| 109542 | F | * | F |
| 109543 | F | * | F |
| 109544 | F | * | F |
| 109545 | F | * | F |
| 109546 | F | * | F |
| 109547 | F | * | F |
| 109548 | F | * | F |
| 109549 | F | * | F |
| 109550 | F | * | F |
| 109551 | F | * | F |
| 109552 | F | * | F |
| 109553 | F | * | F |
| 109554 | F | * | F |
| 109555 | F | * | F |
| 109556 | F | * | F |
| 109557 | F | * | F |
| 109558 | F | * | F |
| 117562 | F | * | F |
| 117563 | F | * | F |
| 117564 | F | * | F |
| 117565 | F | * | F |
| 117566 | F | * | F |
| 117567 | F | * | F |
| 117568 | F | * | F |
| 117569 | F | * | F |
| 117570 | F | * | F |
| 117571 | F | * | F |
| 117572 | F | * | F |
| 117573 | F | * | F |
| 117574 | F | * | F |
| 117575 | F | * | F |
| 117576 | F | * | F |
| 117577 | F | * | F |
| 117578 | F | * | F |
| 117579 | F | * | F |
| 117580 | F | * | F |
| 117581 | F | * | F |
| 117582 | F | * | F |
| 117583 | F | * | F |
| 131998 | F | * | F |
| 131999 | F | * | F |
| 132000 | F | * | F |
| 132001 | F | * | F |
| 132002 | F | * | F |
| 132003 | F | * | F |
| 132004 | F | * | F |
| 132005 | F | * | F |
| 132006 | F | * | F |
| 132007 | F | * | F |
| 132008 | F | * | F |
| 132009 | F | * | F |
| 132010 | F | * | F |
| 132011 | F | * | F |
| 132012 | F | * | F |
| 132013 | F | * | F |
| 132014 | F | * | F |
| 132015 | F | * | F |
| 132016 | F | * | F |
| 132017 | F | * | F |
| 132018 | F | * | F |
| 132019 | F | * | F |
| 132020 | F | * | F |
| 132021 | F | * | F |
| 132022 | F | * | F |
| 132023 | F | * | F |
| 132024 | F | * | F |
| 132025 | F | * | F |
| 132026 | F | * | F |
| 132027 | F | * | F |
| 132028 | F | * | F |
| 132029 | F | * | F |
| 132030 | F | * | F |
| 132031 | F | * | F |
| 132032 | F | * | F |
| 132033 | F | * | F |
| 148717 | F | * | F |
| 148718 | F | * | F |
| 148719 | F | * | F |
| 148720 | F | * | F |
| 148721 | F | * | F |
| 148722 | F | * | F |
| 148723 | F | * | F |
| 148724 | F | * | F |
| 148725 | F | * | F |
| 148726 | F | * | F |
| 148727 | F | * | F |
| 148728 | F | * | F |
| 148729 | F | * | F |
| 148730 | F | * | F |
| 148731 | F | * | F |
| 148732 | F | * | F |
| 148733 | F | * | F |
| 148734 | F | * | F |
| 148735 | F | * | F |
| 148736 | F | * | F |
| 148737 | F | * | F |
| 148738 | F | * | F |
| 148739 | F | * | F |
| 148740 | F | * | F |
| 148741 | F | * | F |
| 148742 | F | * | F |
| 148743 | F | * | F |
| 148744 | F | * | F |
| 148745 | F | * | F |
| 148746 | F | * | F |
| 148747 | F | * | F |
| 148748 | F | * | F |
| 148749 | F | * | F |
| 148750 | F | * | F |
| 148751 | F | * | F |
| 148752 | F | * | F |
| 191957 | F | * | F |
| 191958 | F | * | F |
| 191959 | F | * | F |
| 191960 | F | * | F |
| 191961 | F | * | F |
| 191962 | F | * | F |
| 191963 | F | * | F |
| 191964 | F | * | F |
| 191965 | F | * | F |
| 191966 | F | * | F |
| 191967 | F | * | F |
| 191968 | F | * | F |
| 191969 | F | * | F |
| 191970 | F | * | F |
| 191971 | F | * | F |
| 191972 | F | * | F |
| 191973 | F | * | F |
| 191974 | F | * | F |
| 191975 | F | * | F |
| 191976 | F | * | F |
| 203859 | F | * | F |
| 203860 | F | * | F |
| 203861 | F | * | F |
| 203862 | F | * | F |
| 203863 | F | * | F |
| 203864 | F | * | F |
| 203865 | F | * | F |
| 203866 | F | * | F |
| 203867 | F | * | F |
| 203868 | F | * | F |
| 203869 | F | * | F |
| 203870 | F | * | F |
| 216697 | F | * | F |
| 216698 | F | * | F |
| 216699 | F | * | F |
| 216700 | F | * | F |
| 216701 | F | * | F |
| 216702 | F | * | F |
| 216703 | F | * | F |
| 216704 | F | * | F |
| 216705 | F | * | F |
| 216706 | F | * | F |
| 216707 | F | * | F |
| 216708 | F | * | F |
| 216709 | F | * | F |
| 216710 | F | * | F |
| 216711 | F | * | F |
| 216712 | F | * | F |
| 216713 | F | * | F |
| 216714 | F | * | F |
| 252427 | F | * | F |
| 252428 | F | * | F |
| 252429 | F | * | F |
| 252430 | F | * | F |
| 252431 | F | * | F |
| 252432 | F | * | F |
| 252433 | F | * | F |
| 252434 | F | * | F |
| 252435 | F | * | F |
| 252436 | F | * | F |
| 252437 | F | * | F |
| 252438 | F | * | F |
| 252439 | F | * | F |
| 252440 | F | * | F |
| 252441 | F | * | F |
| 252442 | F | * | F |
| 252443 | F | * | F |
| 252444 | F | * | F |
| 252445 | F | * | F |
| 252446 | F | * | F |
| 252447 | F | * | F |
| 252448 | F | * | F |
| 252449 | F | * | F |
| 252450 | F | * | F |
| 252451 | F | * | F |
| 252452 | F | * | F |
| 252453 | F | * | F |
| 252454 | F | * | F |
| 252455 | F | * | F |
| 252456 | F | * | F |
| 252457 | F | * | F |
| 252458 | F | * | F |
| 252459 | F | * | F |
| 252460 | F | * | F |
| 252461 | F | * | F |
| 252462 | F | * | F |
| 329804 | F | * | F |
| 329805 | F | * | F |
| 329806 | F | * | F |
| 329807 | F | * | F |
| 329808 | F | * | F |
| 329809 | F | * | F |
| 329810 | F | * | F |
| 329811 | F | * | F |
| 329812 | F | * | F |
| 329813 | F | * | F |
| 329814 | F | * | F |
| 329815 | F | * | F |
| 329816 | F | * | F |
| 329817 | F | * | F |
| 329818 | F | * | F |
| 329819 | F | * | F |
| 329820 | F | * | F |
| 329821 | F | * | F |
| 329822 | F | * | F |
| 329823 | F | * | F |
| 329824 | F | * | F |
| 329825 | F | * | F |
| 329826 | F | * | F |
| 329827 | F | * | F |
| 329828 | F | * | F |
| 329829 | F | * | F |
| 329830 | F | * | F |
| 329831 | F | * | F |
| 329832 | F | * | F |
| 329833 | F | * | F |
| 329834 | F | * | F |
| 329835 | F | * | F |
| 329836 | F | * | F |
| 329837 | F | * | F |
| 329838 | F | * | F |
| 329839 | F | * | F |
| 377521 | F | * | F |
| 377522 | F | * | F |
| 377523 | F | * | F |
| 377524 | F | * | F |
| 377525 | F | * | F |
| 377526 | F | * | F |
| 377527 | F | * | F |
| 377528 | F | * | F |
| 380178 | F | * | F |
| 380179 | F | * | F |
| 380180 | F | * | F |
| 380181 | F | * | F |
| 380182 | F | * | F |
| 380183 | F | * | F |
| 380184 | F | * | F |
| 380185 | F | * | F |
| 383061 | F | * | F |
| 383062 | F | * | F |
| 383063 | F | * | F |
| 383064 | F | * | F |
| 383065 | F | * | F |
| 383066 | F | * | F |
| 383067 | F | * | F |
| 383068 | F | * | F |
Independent-effect pairs
c0(branch6510): GAP view gap →scry_octagon::relations· br_ifc1(branch6512): DEAD view gap →scry_octagon::relations· br_if