Decision #1025 — binary_reader.rs:517
Status: no_witness
Truth table
| row | c0 br 6501 | c1 br 6502 | c2 br 6505 | c3 br 6506 | c4 br 6507 | outcome |
|---|---|---|---|---|---|---|
| 38557 | F | T | * | * | * | T |
| 38558 | F | T | * | * | * | T |
| 38559 | F | T | * | * | * | T |
| 38560 | F | T | F | F | * | T |
| 38561 | F | T | * | * | * | T |
| 38562 | F | T | * | * | * | T |
| 38563 | F | T | * | * | * | T |
| 38564 | F | T | F | F | * | T |
| 38565 | F | T | * | * | * | T |
| 38566 | F | T | * | * | * | T |
| 38567 | F | T | * | * | * | T |
| 38568 | F | T | F | F | * | T |
| 38569 | F | T | * | * | * | T |
| 38570 | F | T | * | * | * | T |
| 38571 | F | T | * | * | * | T |
| 38572 | F | T | F | F | * | T |
| 38573 | F | T | * | * | * | T |
| 38574 | F | T | * | * | * | T |
| 38575 | F | T | * | * | * | T |
| 38576 | F | T | F | F | * | T |
| 38577 | F | T | * | * | * | T |
| 38578 | F | T | * | * | * | T |
| 38579 | F | T | * | * | * | T |
| 38580 | F | T | F | F | * | T |
| 38581 | F | T | * | * | * | T |
| 38582 | F | T | * | * | * | T |
| 38583 | F | T | * | * | * | T |
| 38584 | F | T | F | F | * | T |
| 38585 | F | T | * | * | * | T |
| 38586 | F | T | * | * | * | T |
| 38587 | F | T | * | * | * | T |
| 38588 | F | T | F | F | * | T |
| 38589 | F | T | * | * | * | T |
| 38590 | F | T | * | * | * | T |
| 38591 | F | T | * | * | * | T |
| 38592 | F | T | F | F | * | T |
| 38593 | F | T | * | * | * | T |
| 38594 | F | T | * | * | * | T |
| 38595 | F | T | * | * | * | T |
| 38596 | F | T | F | F | * | T |
| 38597 | F | T | * | * | * | T |
| 38598 | F | T | * | * | * | T |
| 38599 | F | T | * | * | * | T |
| 38600 | F | T | F | F | * | T |
| 38601 | F | T | * | * | * | T |
| 38602 | F | T | * | * | * | T |
| 38603 | F | T | * | * | * | T |
| 38604 | F | T | F | F | * | T |
| 38605 | F | T | * | * | * | T |
| 38606 | F | T | * | * | * | T |
| 38607 | F | T | * | * | * | T |
| 38608 | F | T | F | F | * | T |
| 38609 | F | T | * | * | * | T |
| 38610 | F | T | * | * | * | T |
| 38611 | F | T | * | * | * | T |
| 38612 | F | T | F | F | * | T |
| 38613 | F | T | * | * | * | T |
| 38614 | F | T | * | * | * | T |
| 38615 | F | T | * | * | * | T |
| 38616 | F | T | F | F | * | T |
| 38617 | F | T | * | * | * | T |
| 38618 | F | T | * | * | * | T |
| 38619 | F | T | * | * | * | T |
| 38620 | F | T | F | F | * | T |
| 59411 | F | T | * | * | * | T |
| 59412 | F | T | * | * | * | T |
| 59413 | F | T | * | * | * | T |
| 59414 | F | T | F | F | * | T |
| 59415 | F | T | * | * | * | T |
| 59416 | F | T | * | * | * | T |
| 59417 | F | T | * | * | * | T |
| 59418 | F | T | F | F | * | T |
| 59419 | F | T | * | * | * | T |
| 59420 | F | T | * | * | * | T |
| 59421 | F | T | * | * | * | T |
| 59422 | F | T | F | F | * | T |
| 59423 | F | T | * | * | * | T |
| 59424 | F | T | * | * | * | T |
| 59425 | F | T | * | * | * | T |
| 59426 | F | T | F | F | * | T |
| 59427 | F | T | * | * | * | T |
| 59428 | F | T | * | * | * | T |
| 59429 | F | T | * | * | * | T |
| 59430 | F | T | F | F | * | T |
| 59431 | F | T | * | * | * | T |
| 59432 | F | T | * | * | * | T |
| 59433 | F | T | * | * | * | T |
| 59434 | F | T | F | F | * | T |
| 59435 | F | T | * | * | * | T |
| 59436 | F | T | * | * | * | T |
| 59437 | F | T | * | * | * | T |
| 59438 | F | T | F | F | * | T |
| 59439 | F | T | * | * | * | T |
| 59440 | F | T | * | * | * | T |
| 59441 | F | T | * | * | * | T |
| 59442 | F | T | F | F | * | T |
| 59443 | F | T | * | * | * | T |
| 59444 | F | T | * | * | * | T |
| 59445 | F | T | * | * | * | T |
| 59446 | F | T | F | F | * | T |
| 59447 | F | T | * | * | * | T |
| 59448 | F | T | * | * | * | T |
| 59449 | F | T | * | * | * | T |
| 59450 | F | T | F | F | * | T |
| 59451 | F | T | * | * | * | T |
| 59452 | F | T | * | * | * | T |
| 59453 | F | T | * | * | * | T |
| 59454 | F | T | F | F | * | T |
| 59455 | F | T | * | * | * | T |
| 59456 | F | T | * | * | * | T |
| 59457 | F | T | * | * | * | T |
| 59458 | F | T | F | F | * | T |
| 59459 | F | T | * | * | * | T |
| 59460 | F | T | * | * | * | T |
| 59461 | F | T | * | * | * | T |
| 59462 | F | T | F | F | * | T |
| 59463 | F | T | * | * | * | T |
| 59464 | F | T | * | * | * | T |
| 59465 | F | T | * | * | * | T |
| 59466 | F | T | F | F | * | T |
| 59467 | F | T | * | * | * | T |
| 59468 | F | T | * | * | * | T |
| 59469 | F | T | * | * | * | T |
| 59470 | F | T | F | F | * | T |
| 59471 | F | T | * | * | * | T |
| 59472 | F | T | * | * | * | T |
| 59473 | F | T | * | * | * | T |
| 59474 | F | T | F | F | * | T |
| 75157 | F | T | * | * | * | T |
| 75158 | F | T | F | F | * | T |
| 85040 | F | T | * | * | * | T |
| 85041 | F | T | F | F | * | T |
| 131908 | F | T | * | * | * | T |
| 131909 | F | T | * | * | * | T |
| 131910 | F | T | * | * | * | T |
| 131911 | F | T | F | F | * | T |
| 131912 | F | T | * | * | * | T |
| 131913 | F | T | * | * | * | T |
| 131914 | F | T | * | * | * | T |
| 131915 | F | T | F | F | * | T |
| 131916 | F | T | * | * | * | T |
| 131917 | F | T | * | * | * | T |
| 131918 | F | T | * | * | * | T |
| 131919 | F | T | F | F | * | T |
| 131920 | F | T | * | * | * | T |
| 131921 | F | T | * | * | * | T |
| 131922 | F | T | * | * | * | T |
| 131923 | F | T | F | F | * | T |
| 131924 | F | T | * | * | * | T |
| 131925 | F | T | * | * | * | T |
| 131926 | F | T | * | * | * | T |
| 131927 | F | T | F | F | * | T |
| 131928 | F | T | * | * | * | T |
| 131929 | F | T | * | * | * | T |
| 131930 | F | T | * | * | * | T |
| 131931 | F | T | F | F | * | T |
| 131932 | F | T | * | * | * | T |
| 131933 | F | T | * | * | * | T |
| 131934 | F | T | * | * | * | T |
| 131935 | F | T | F | F | * | T |
| 131936 | F | T | * | * | * | T |
| 131937 | F | T | * | * | * | T |
| 131938 | F | T | * | * | * | T |
| 131939 | F | T | F | F | * | T |
| 131940 | F | T | * | * | * | T |
| 131941 | F | T | * | * | * | T |
| 131942 | F | T | * | * | * | T |
| 131943 | F | T | F | F | * | T |
| 131944 | F | T | * | * | * | T |
| 131945 | F | T | * | * | * | T |
| 131946 | F | T | * | * | * | T |
| 131947 | F | T | F | F | * | T |
| 131948 | F | T | * | * | * | T |
| 131949 | F | T | * | * | * | T |
| 131950 | F | T | * | * | * | T |
| 131951 | F | T | F | F | * | T |
| 131952 | F | T | * | * | * | T |
| 131953 | F | T | * | * | * | T |
| 131954 | F | T | * | * | * | T |
| 131955 | F | T | F | F | * | T |
| 131956 | F | T | * | * | * | T |
| 131957 | F | T | * | * | * | T |
| 131958 | F | T | * | * | * | T |
| 131959 | F | T | F | F | * | T |
| 131960 | F | T | * | * | * | T |
| 131961 | F | T | * | * | * | T |
| 131962 | F | T | * | * | * | T |
| 131963 | F | T | F | F | * | T |
| 131964 | F | T | * | * | * | T |
| 131965 | F | T | * | * | * | T |
| 131966 | F | T | * | * | * | T |
| 131967 | F | T | F | F | * | T |
| 131968 | F | T | * | * | * | T |
| 131969 | F | T | * | * | * | T |
| 131970 | F | T | * | * | * | T |
| 131971 | F | T | F | F | * | T |
| 131972 | F | T | * | * | * | T |
| 131973 | F | T | * | * | * | T |
| 131974 | F | T | * | * | * | T |
| 131975 | F | T | F | F | * | T |
| 131976 | F | T | * | * | * | T |
| 131977 | F | T | * | * | * | T |
| 131978 | F | T | * | * | * | T |
| 131979 | F | T | F | F | * | T |
| 148627 | F | T | * | * | * | T |
| 148628 | F | T | * | * | * | T |
| 148629 | F | T | * | * | * | T |
| 148630 | F | T | F | F | * | T |
| 148631 | F | T | * | * | * | T |
| 148632 | F | T | * | * | * | T |
| 148633 | F | T | * | * | * | T |
| 148634 | F | T | F | F | * | T |
| 148635 | F | T | * | * | * | T |
| 148636 | F | T | * | * | * | T |
| 148637 | F | T | * | * | * | T |
| 148638 | F | T | F | F | * | T |
| 148639 | F | T | * | * | * | T |
| 148640 | F | T | * | * | * | T |
| 148641 | F | T | * | * | * | T |
| 148642 | F | T | F | F | * | T |
| 148643 | F | T | * | * | * | T |
| 148644 | F | T | * | * | * | T |
| 148645 | F | T | * | * | * | T |
| 148646 | F | T | F | F | * | T |
| 148647 | F | T | * | * | * | T |
| 148648 | F | T | * | * | * | T |
| 148649 | F | T | * | * | * | T |
| 148650 | F | T | F | F | * | T |
| 148651 | F | T | * | * | * | T |
| 148652 | F | T | * | * | * | T |
| 148653 | F | T | * | * | * | T |
| 148654 | F | T | F | F | * | T |
| 148655 | F | T | * | * | * | T |
| 148656 | F | T | * | * | * | T |
| 148657 | F | T | * | * | * | T |
| 148658 | F | T | F | F | * | T |
| 148659 | F | T | * | * | * | T |
| 148660 | F | T | * | * | * | T |
| 148661 | F | T | * | * | * | T |
| 148662 | F | T | F | F | * | T |
| 148663 | F | T | * | * | * | T |
| 148664 | F | T | * | * | * | T |
| 148665 | F | T | * | * | * | T |
| 148666 | F | T | F | F | * | T |
| 148667 | F | T | * | * | * | T |
| 148668 | F | T | * | * | * | T |
| 148669 | F | T | * | * | * | T |
| 148670 | F | T | F | F | * | T |
| 148671 | F | T | * | * | * | T |
| 148672 | F | T | * | * | * | T |
| 148673 | F | T | * | * | * | T |
| 148674 | F | T | F | F | * | T |
| 148675 | F | T | * | * | * | T |
| 148676 | F | T | * | * | * | T |
| 148677 | F | T | * | * | * | T |
| 148678 | F | T | F | F | * | T |
| 148679 | F | T | * | * | * | T |
| 148680 | F | T | * | * | * | T |
| 148681 | F | T | * | * | * | T |
| 148682 | F | T | F | F | * | T |
| 148683 | F | T | * | * | * | T |
| 148684 | F | T | * | * | * | T |
| 148685 | F | T | * | * | * | T |
| 148686 | F | T | F | F | * | T |
| 148687 | F | T | * | * | * | T |
| 148688 | F | T | * | * | * | T |
| 148689 | F | T | * | * | * | T |
| 148690 | F | T | F | F | * | T |
| 148691 | F | T | * | * | * | T |
| 148692 | F | T | * | * | * | T |
| 148693 | F | T | * | * | * | T |
| 148694 | F | T | F | F | * | T |
| 148695 | F | T | * | * | * | T |
| 148696 | F | T | * | * | * | T |
| 148697 | F | T | * | * | * | T |
| 148698 | F | T | F | F | * | T |
| 252347 | F | T | * | * | * | T |
| 252348 | F | T | * | * | * | T |
| 252349 | F | T | * | * | * | T |
| 252350 | F | T | F | F | * | T |
| 252351 | F | T | * | * | * | T |
| 252352 | F | T | * | * | * | T |
| 252353 | F | T | * | * | * | T |
| 252354 | F | T | F | F | * | T |
| 252355 | F | T | * | * | * | T |
| 252356 | F | T | * | * | * | T |
| 252357 | F | T | * | * | * | T |
| 252358 | F | T | F | F | * | T |
| 252359 | F | T | * | * | * | T |
| 252360 | F | T | * | * | * | T |
| 252361 | F | T | * | * | * | T |
| 252362 | F | T | F | F | * | T |
| 252363 | F | T | * | * | * | T |
| 252364 | F | T | * | * | * | T |
| 252365 | F | T | * | * | * | T |
| 252366 | F | T | F | F | * | T |
| 252367 | F | T | * | * | * | T |
| 252368 | F | T | * | * | * | T |
| 252369 | F | T | * | * | * | T |
| 252370 | F | T | F | F | * | T |
| 252371 | F | T | * | * | * | T |
| 252372 | F | T | * | * | * | T |
| 252373 | F | T | * | * | * | T |
| 252374 | F | T | F | F | * | T |
| 252375 | F | T | * | * | * | T |
| 252376 | F | T | * | * | * | T |
| 252377 | F | T | * | * | * | T |
| 252378 | F | T | F | F | * | T |
| 252379 | F | T | * | * | * | T |
| 252380 | F | T | * | * | * | T |
| 252381 | F | T | * | * | * | T |
| 252382 | F | T | F | F | * | T |
| 252383 | F | T | * | * | * | T |
| 252384 | F | T | * | * | * | T |
| 252385 | F | T | * | * | * | T |
| 252386 | F | T | F | F | * | T |
| 252387 | F | T | * | * | * | T |
| 252388 | F | T | * | * | * | T |
| 252389 | F | T | * | * | * | T |
| 252390 | F | T | F | F | * | T |
| 252391 | F | T | * | * | * | T |
| 252392 | F | T | * | * | * | T |
| 252393 | F | T | * | * | * | T |
| 252394 | F | T | F | F | * | T |
| 252395 | F | T | * | * | * | T |
| 252396 | F | T | * | * | * | T |
| 252397 | F | T | * | * | * | T |
| 252398 | F | T | F | F | * | T |
| 252399 | F | T | * | * | * | T |
| 252400 | F | T | * | * | * | T |
| 252401 | F | T | * | * | * | T |
| 252402 | F | T | F | F | * | T |
| 252403 | F | T | * | * | * | T |
| 252404 | F | T | * | * | * | T |
| 252405 | F | T | * | * | * | T |
| 252406 | F | T | F | F | * | T |
| 252407 | F | T | * | * | * | T |
| 252408 | F | T | * | * | * | T |
| 252409 | F | T | * | * | * | T |
| 252410 | F | T | F | F | * | T |
| 329724 | F | T | * | * | * | T |
| 329725 | F | T | * | * | * | T |
| 329726 | F | T | * | * | * | T |
| 329727 | F | T | F | F | * | T |
| 329728 | F | T | * | * | * | T |
| 329729 | F | T | * | * | * | T |
| 329730 | F | T | * | * | * | T |
| 329731 | F | T | F | F | * | T |
| 329732 | F | T | * | * | * | T |
| 329733 | F | T | * | * | * | T |
| 329734 | F | T | * | * | * | T |
| 329735 | F | T | F | F | * | T |
| 329736 | F | T | * | * | * | T |
| 329737 | F | T | * | * | * | T |
| 329738 | F | T | * | * | * | T |
| 329739 | F | T | F | F | * | T |
| 329740 | F | T | * | * | * | T |
| 329741 | F | T | * | * | * | T |
| 329742 | F | T | * | * | * | T |
| 329743 | F | T | F | F | * | T |
| 329744 | F | T | * | * | * | T |
| 329745 | F | T | * | * | * | T |
| 329746 | F | T | * | * | * | T |
| 329747 | F | T | F | F | * | T |
| 329748 | F | T | * | * | * | T |
| 329749 | F | T | * | * | * | T |
| 329750 | F | T | * | * | * | T |
| 329751 | F | T | F | F | * | T |
| 329752 | F | T | * | * | * | T |
| 329753 | F | T | * | * | * | T |
| 329754 | F | T | * | * | * | T |
| 329755 | F | T | F | F | * | T |
| 329756 | F | T | * | * | * | T |
| 329757 | F | T | * | * | * | T |
| 329758 | F | T | * | * | * | T |
| 329759 | F | T | F | F | * | T |
| 329760 | F | T | * | * | * | T |
| 329761 | F | T | * | * | * | T |
| 329762 | F | T | * | * | * | T |
| 329763 | F | T | F | F | * | T |
| 329764 | F | T | * | * | * | T |
| 329765 | F | T | * | * | * | T |
| 329766 | F | T | * | * | * | T |
| 329767 | F | T | F | F | * | T |
| 329768 | F | T | * | * | * | T |
| 329769 | F | T | * | * | * | T |
| 329770 | F | T | * | * | * | T |
| 329771 | F | T | F | F | * | T |
| 329772 | F | T | * | * | * | T |
| 329773 | F | T | * | * | * | T |
| 329774 | F | T | * | * | * | T |
| 329775 | F | T | F | F | * | T |
| 329776 | F | T | * | * | * | T |
| 329777 | F | T | * | * | * | T |
| 329778 | F | T | * | * | * | T |
| 329779 | F | T | F | F | * | T |
| 329780 | F | T | * | * | * | T |
| 329781 | F | T | * | * | * | T |
| 329782 | F | T | * | * | * | T |
| 329783 | F | T | F | F | * | T |
| 329784 | F | T | * | * | * | T |
| 329785 | F | T | * | * | * | T |
| 329786 | F | T | * | * | * | T |
| 329787 | F | T | F | F | * | T |
Independent-effect pairs
All 5 conditions live in scry_octagon::bound_of — 5 br_if
c0(branch6501): GAP view gap →c1(branch6502): GAP view gap →c2(branch6505): GAP view gap →c3(branch6506): GAP view gap →c4(branch6507): DEAD view gap →