Decision #1028 — binary_reader.rs:94
Status: partial
Truth table
| row | c0 br 6513 | c1 br 6514 | outcome |
|---|---|---|---|
| 2244 | T | * | T |
| 2245 | T | * | T |
| 2246 | T | * | T |
| 9203 | T | * | T |
| 9204 | T | * | T |
| 9205 | T | * | T |
| 16009 | T | * | T |
| 16010 | T | * | T |
| 16011 | T | * | T |
| 38673 | T | * | T |
| 38674 | F | F | F |
| 38675 | F | F | F |
| 38676 | T | * | T |
| 38677 | T | * | T |
| 38678 | F | F | F |
| 38679 | F | F | F |
| 38680 | T | * | T |
| 38681 | T | * | T |
| 38682 | F | F | F |
| 38683 | F | F | F |
| 38684 | T | * | T |
| 38685 | T | * | T |
| 38686 | F | F | F |
| 38687 | F | F | F |
| 38688 | T | * | T |
| 38689 | T | * | T |
| 38690 | F | F | F |
| 38691 | F | F | F |
| 38692 | T | * | T |
| 38693 | T | * | T |
| 38694 | F | F | F |
| 38695 | F | F | F |
| 38696 | T | * | T |
| 38697 | T | * | T |
| 38698 | F | F | F |
| 38699 | F | F | F |
| 38700 | T | * | T |
| 38701 | T | * | T |
| 38702 | F | F | F |
| 38703 | F | F | F |
| 38704 | T | * | T |
| 38705 | T | * | T |
| 38706 | F | F | F |
| 38707 | F | F | F |
| 38708 | T | * | T |
| 59527 | T | * | T |
| 59528 | F | F | F |
| 59529 | F | F | F |
| 59530 | T | * | T |
| 59531 | T | * | T |
| 59532 | F | F | F |
| 59533 | F | F | F |
| 59534 | T | * | T |
| 59535 | T | * | T |
| 59536 | F | F | F |
| 59537 | F | F | F |
| 59538 | T | * | T |
| 59539 | T | * | T |
| 59540 | F | F | F |
| 59541 | F | F | F |
| 59542 | T | * | T |
| 59543 | T | * | T |
| 59544 | F | F | F |
| 59545 | F | F | F |
| 59546 | T | * | T |
| 59547 | T | * | T |
| 59548 | F | F | F |
| 59549 | F | F | F |
| 59550 | T | * | T |
| 59551 | T | * | T |
| 59552 | F | F | F |
| 59553 | F | F | F |
| 59554 | T | * | T |
| 59555 | T | * | T |
| 59556 | F | F | F |
| 59557 | F | F | F |
| 59558 | T | * | T |
| 59559 | T | * | T |
| 59560 | F | F | F |
| 59561 | F | F | F |
| 59562 | T | * | T |
| 75174 | T | * | T |
| 75175 | T | * | T |
| 75176 | T | * | T |
| 75177 | T | * | T |
| 75178 | T | * | T |
| 75179 | T | * | T |
| 75180 | T | * | T |
| 85057 | T | * | T |
| 85058 | T | * | T |
| 85059 | T | * | T |
| 85060 | T | * | T |
| 85061 | T | * | T |
| 85062 | T | * | T |
| 85063 | T | * | T |
| 93240 | T | * | T |
| 93241 | T | * | T |
| 93242 | T | * | T |
| 93243 | T | * | T |
| 93244 | T | * | T |
| 93245 | T | * | T |
| 93246 | T | * | T |
| 93247 | T | * | T |
| 93248 | T | * | T |
| 93249 | T | * | T |
| 93250 | T | * | T |
| 101071 | T | * | T |
| 101072 | T | * | T |
| 101073 | T | * | T |
| 101074 | T | * | T |
| 101075 | T | * | T |
| 101076 | T | * | T |
| 101077 | T | * | T |
| 101078 | T | * | T |
| 101079 | T | * | T |
| 101080 | T | * | T |
| 101081 | T | * | T |
| 109559 | T | * | T |
| 109560 | T | * | T |
| 109561 | T | * | T |
| 109562 | T | * | T |
| 109563 | T | * | T |
| 109564 | T | * | T |
| 109565 | T | * | T |
| 109566 | T | * | T |
| 109567 | T | * | T |
| 109568 | T | * | T |
| 109569 | T | * | T |
| 117584 | T | * | T |
| 117585 | T | * | T |
| 117586 | T | * | T |
| 117587 | T | * | T |
| 117588 | T | * | T |
| 117589 | T | * | T |
| 117590 | T | * | T |
| 117591 | T | * | T |
| 117592 | T | * | T |
| 117593 | T | * | T |
| 117594 | T | * | T |
| 132034 | T | * | T |
| 132035 | F | F | F |
| 132036 | F | F | F |
| 132037 | T | * | T |
| 132038 | T | * | T |
| 132039 | F | F | F |
| 132040 | F | F | F |
| 132041 | T | * | T |
| 132042 | T | * | T |
| 132043 | F | F | F |
| 132044 | F | F | F |
| 132045 | T | * | T |
| 132046 | T | * | T |
| 132047 | F | F | F |
| 132048 | F | F | F |
| 132049 | T | * | T |
| 132050 | T | * | T |
| 132051 | F | F | F |
| 132052 | F | F | F |
| 132053 | T | * | T |
| 132054 | T | * | T |
| 132055 | F | F | F |
| 132056 | F | F | F |
| 132057 | T | * | T |
| 132058 | T | * | T |
| 132059 | F | F | F |
| 132060 | F | F | F |
| 132061 | T | * | T |
| 132062 | T | * | T |
| 132063 | F | F | F |
| 132064 | F | F | F |
| 132065 | T | * | T |
| 132066 | T | * | T |
| 132067 | F | F | F |
| 132068 | F | F | F |
| 132069 | T | * | T |
| 148753 | T | * | T |
| 148754 | F | F | F |
| 148755 | F | F | F |
| 148756 | T | * | T |
| 148757 | T | * | T |
| 148758 | F | F | F |
| 148759 | F | F | F |
| 148760 | T | * | T |
| 148761 | T | * | T |
| 148762 | F | F | F |
| 148763 | F | F | F |
| 148764 | T | * | T |
| 148765 | T | * | T |
| 148766 | F | F | F |
| 148767 | F | F | F |
| 148768 | T | * | T |
| 148769 | T | * | T |
| 148770 | F | F | F |
| 148771 | F | F | F |
| 148772 | T | * | T |
| 148773 | T | * | T |
| 148774 | F | F | F |
| 148775 | F | F | F |
| 148776 | T | * | T |
| 148777 | T | * | T |
| 148778 | F | F | F |
| 148779 | F | F | F |
| 148780 | T | * | T |
| 148781 | T | * | T |
| 148782 | F | F | F |
| 148783 | F | F | F |
| 148784 | T | * | T |
| 148785 | T | * | T |
| 148786 | F | F | F |
| 148787 | F | F | F |
| 148788 | T | * | T |
| 191977 | T | * | T |
| 191978 | T | * | T |
| 191979 | T | * | T |
| 191980 | T | * | T |
| 191981 | T | * | T |
| 191982 | T | * | T |
| 191983 | T | * | T |
| 191984 | T | * | T |
| 191985 | T | * | T |
| 191986 | T | * | T |
| 203871 | T | * | T |
| 203872 | T | * | T |
| 203873 | T | * | T |
| 203874 | T | * | T |
| 203875 | T | * | T |
| 203876 | T | * | T |
| 216715 | T | * | T |
| 216716 | T | * | T |
| 216717 | T | * | T |
| 216718 | T | * | T |
| 216719 | T | * | T |
| 216720 | T | * | T |
| 216721 | T | * | T |
| 216722 | T | * | T |
| 216723 | T | * | T |
| 252463 | T | * | T |
| 252464 | F | F | F |
| 252465 | F | F | F |
| 252466 | T | * | T |
| 252467 | T | * | T |
| 252468 | F | F | F |
| 252469 | F | F | F |
| 252470 | T | * | T |
| 252471 | T | * | T |
| 252472 | F | F | F |
| 252473 | F | F | F |
| 252474 | T | * | T |
| 252475 | T | * | T |
| 252476 | F | F | F |
| 252477 | F | F | F |
| 252478 | T | * | T |
| 252479 | T | * | T |
| 252480 | F | F | F |
| 252481 | F | F | F |
| 252482 | T | * | T |
| 252483 | T | * | T |
| 252484 | F | F | F |
| 252485 | F | F | F |
| 252486 | T | * | T |
| 252487 | T | * | T |
| 252488 | F | F | F |
| 252489 | F | F | F |
| 252490 | T | * | T |
| 252491 | T | * | T |
| 252492 | F | F | F |
| 252493 | F | F | F |
| 252494 | T | * | T |
| 252495 | T | * | T |
| 252496 | F | F | F |
| 252497 | F | F | F |
| 252498 | T | * | T |
| 329840 | T | * | T |
| 329841 | F | F | F |
| 329842 | F | F | F |
| 329843 | T | * | T |
| 329844 | T | * | T |
| 329845 | F | F | F |
| 329846 | F | F | F |
| 329847 | T | * | T |
| 329848 | T | * | T |
| 329849 | F | F | F |
| 329850 | F | F | F |
| 329851 | T | * | T |
| 329852 | T | * | T |
| 329853 | F | F | F |
| 329854 | F | F | F |
| 329855 | T | * | T |
| 329856 | T | * | T |
| 329857 | F | F | F |
| 329858 | F | F | F |
| 329859 | T | * | T |
| 329860 | T | * | T |
| 329861 | F | F | F |
| 329862 | F | F | F |
| 329863 | T | * | T |
| 329864 | T | * | T |
| 329865 | F | F | F |
| 329866 | F | F | F |
| 329867 | T | * | T |
| 329868 | T | * | T |
| 329869 | F | F | F |
| 329870 | F | F | F |
| 329871 | T | * | T |
| 329872 | T | * | T |
| 329873 | F | F | F |
| 329874 | F | F | F |
| 329875 | T | * | T |
| 377529 | T | * | T |
| 377530 | T | * | T |
| 377531 | T | * | T |
| 377532 | T | * | T |
| 380186 | T | * | T |
| 380187 | T | * | T |
| 380188 | T | * | T |
| 380189 | T | * | T |
| 383069 | T | * | T |
| 383070 | T | * | T |
| 383071 | T | * | T |
| 383072 | T | * | T |
Independent-effect pairs
c0(branch6513): PROVED — pair rows2244,38674(masking)scry_octagon::relations· br_ifc1(branch6514): GAP view gap →scry_octagon::relations· br_if