Decision #1515 — count.rs:85
Status: no_witness
Truth table
| row | c0 br 9950 | c1 br 9952 | outcome |
|---|---|---|---|
| 6797 | F | F | F |
| 6798 | F | F | F |
| 6799 | F | F | F |
| 6800 | F | F | F |
| 6801 | F | F | F |
| 6802 | F | F | F |
| 6803 | F | F | F |
| 6804 | F | F | F |
| 6805 | F | F | F |
| 6806 | F | F | F |
| 13552 | F | F | F |
| 13553 | F | F | F |
| 13554 | F | F | F |
| 13555 | F | F | F |
| 13556 | F | F | F |
| 13557 | F | F | F |
| 13558 | F | F | F |
| 13559 | F | F | F |
| 13560 | F | F | F |
| 13561 | F | F | F |
| 20966 | F | F | F |
| 20967 | F | F | F |
| 20968 | F | F | F |
| 20969 | F | F | F |
| 20970 | F | F | F |
| 20971 | F | F | F |
| 20972 | F | F | F |
| 20973 | F | F | F |
| 20974 | F | F | F |
| 20975 | F | F | F |
| 23853 | F | F | F |
| 23854 | F | F | F |
| 23855 | F | F | F |
| 23856 | F | F | F |
| 23857 | F | F | F |
| 23858 | F | F | F |
| 26499 | F | F | F |
| 26500 | F | F | F |
| 26501 | F | F | F |
| 26502 | F | F | F |
| 26503 | F | F | F |
| 26504 | F | F | F |
| 29239 | F | F | F |
| 29240 | F | F | F |
| 29241 | F | F | F |
| 29242 | F | F | F |
| 29243 | F | F | F |
| 29244 | F | F | F |
| 49584 | F | F | F |
| 49585 | F | F | F |
| 49586 | F | F | F |
| 49587 | F | F | F |
| 49588 | F | F | F |
| 49589 | F | F | F |
| 49590 | F | F | F |
| 49591 | F | F | F |
| 49592 | F | F | F |
| 49593 | F | F | F |
| 49594 | F | F | F |
| 49595 | F | F | F |
| 49596 | F | F | F |
| 49597 | F | F | F |
| 70311 | F | F | F |
| 70312 | F | F | F |
| 70313 | F | F | F |
| 70314 | F | F | F |
| 70315 | F | F | F |
| 70316 | F | F | F |
| 70317 | F | F | F |
| 70318 | F | F | F |
| 70319 | F | F | F |
| 70320 | F | F | F |
| 70321 | F | F | F |
| 70322 | F | F | F |
| 70323 | F | F | F |
| 70324 | F | F | F |
| 80557 | F | F | F |
| 80558 | F | F | F |
| 80559 | F | F | F |
| 80560 | F | F | F |
| 80561 | F | F | F |
| 80562 | F | F | F |
| 80563 | F | F | F |
| 80564 | F | F | F |
| 80565 | F | F | F |
| 80566 | F | F | F |
| 80567 | F | F | F |
| 80568 | F | F | F |
| 90440 | F | F | F |
| 90441 | F | F | F |
| 90442 | F | F | F |
| 90443 | F | F | F |
| 90444 | F | F | F |
| 90445 | F | F | F |
| 90446 | F | F | F |
| 90447 | F | F | F |
| 90448 | F | F | F |
| 90449 | F | F | F |
| 90450 | F | F | F |
| 90451 | F | F | F |
| 98229 | F | F | F |
| 98230 | F | F | F |
| 98231 | F | F | F |
| 98232 | F | F | F |
| 98233 | F | F | F |
| 98234 | F | F | F |
| 98235 | F | F | F |
| 98236 | F | F | F |
| 98237 | F | F | F |
| 98238 | F | F | F |
| 98239 | F | F | F |
| 98240 | F | F | F |
| 106666 | F | F | F |
| 106667 | F | F | F |
| 106668 | F | F | F |
| 106669 | F | F | F |
| 106670 | F | F | F |
| 106671 | F | F | F |
| 106672 | F | F | F |
| 106673 | F | F | F |
| 106674 | F | F | F |
| 106675 | F | F | F |
| 106676 | F | F | F |
| 106677 | F | F | F |
| 114785 | F | F | F |
| 114786 | F | F | F |
| 114787 | F | F | F |
| 114788 | F | F | F |
| 114789 | F | F | F |
| 114790 | F | F | F |
| 114791 | F | F | F |
| 114792 | F | F | F |
| 114793 | F | F | F |
| 114794 | F | F | F |
| 114795 | F | F | F |
| 114796 | F | F | F |
| 122573 | F | F | F |
| 122574 | F | F | F |
| 122575 | F | F | F |
| 122576 | F | F | F |
| 122577 | F | F | F |
| 122578 | F | F | F |
| 122579 | F | F | F |
| 122580 | F | F | F |
| 122581 | F | F | F |
| 122582 | F | F | F |
| 122583 | F | F | F |
| 122584 | F | F | F |
| 139253 | F | F | F |
| 139254 | F | F | F |
| 139255 | F | F | F |
| 139256 | F | F | F |
| 139257 | F | F | F |
| 139258 | F | F | F |
| 139259 | F | F | F |
| 139260 | F | F | F |
| 139261 | F | F | F |
| 139262 | F | F | F |
| 139263 | F | F | F |
| 139264 | F | F | F |
| 139265 | F | F | F |
| 139266 | F | F | F |
| 155972 | F | F | F |
| 155973 | F | F | F |
| 155974 | F | F | F |
| 155975 | F | F | F |
| 155976 | F | F | F |
| 155977 | F | F | F |
| 155978 | F | F | F |
| 155979 | F | F | F |
| 155980 | F | F | F |
| 155981 | F | F | F |
| 155982 | F | F | F |
| 155983 | F | F | F |
| 155984 | F | F | F |
| 155985 | F | F | F |
| 165788 | F | F | F |
| 165789 | F | F | F |
| 165790 | F | F | F |
| 165791 | F | F | F |
| 165792 | F | F | F |
| 165793 | F | F | F |
| 165794 | F | F | F |
| 165795 | F | F | F |
| 165796 | F | F | F |
| 165797 | F | F | F |
| 165798 | F | F | F |
| 165799 | F | F | F |
| 165800 | F | F | F |
| 165801 | F | F | F |
| 165802 | F | F | F |
| 165803 | F | F | F |
| 165804 | F | F | F |
| 165805 | F | F | F |
| 165806 | F | F | F |
| 165807 | F | F | F |
| 165808 | F | F | F |
| 165809 | F | F | F |
| 165810 | F | F | F |
| 165811 | F | F | F |
| 175646 | F | F | F |
| 175647 | F | F | F |
| 175648 | F | F | F |
| 175649 | F | F | F |
| 175650 | F | F | F |
| 175651 | F | F | F |
| 175652 | F | F | F |
| 175653 | F | F | F |
| 175654 | F | F | F |
| 175655 | F | F | F |
| 175656 | F | F | F |
| 175657 | F | F | F |
| 175658 | F | F | F |
| 175659 | F | F | F |
| 175660 | F | F | F |
| 175661 | F | F | F |
| 175662 | F | F | F |
| 175663 | F | F | F |
| 175664 | F | F | F |
| 175665 | F | F | F |
| 175666 | F | F | F |
| 175667 | F | F | F |
| 175668 | F | F | F |
| 175669 | F | F | F |
| 183933 | F | F | F |
| 183934 | F | F | F |
| 183935 | F | F | F |
| 183936 | F | F | F |
| 187056 | F | F | F |
| 187057 | F | F | F |
| 187058 | F | F | F |
| 187059 | F | F | F |
| 190360 | F | F | F |
| 190361 | F | F | F |
| 190362 | F | F | F |
| 190363 | F | F | F |
| 194581 | F | F | F |
| 194582 | F | F | F |
| 194583 | F | F | F |
| 194584 | F | F | F |
| 194585 | F | F | F |
| 194586 | F | F | F |
| 202667 | F | F | F |
| 202668 | F | F | F |
| 202669 | F | F | F |
| 202670 | F | F | F |
| 202671 | F | F | F |
| 202672 | F | F | F |
| 202673 | F | F | F |
| 202674 | F | F | F |
| 202675 | F | F | F |
| 202676 | F | F | F |
| 202677 | F | F | F |
| 202678 | F | F | F |
| 202679 | F | F | F |
| 202680 | F | F | F |
| 205954 | F | F | F |
| 205955 | F | F | F |
| 205956 | F | F | F |
| 205957 | F | F | F |
| 214165 | F | F | F |
| 214166 | F | F | F |
| 214167 | F | F | F |
| 214168 | F | F | F |
| 214169 | F | F | F |
| 214170 | F | F | F |
| 214171 | F | F | F |
| 214172 | F | F | F |
| 214173 | F | F | F |
| 214174 | F | F | F |
| 221680 | F | F | F |
| 221681 | F | F | F |
| 221682 | F | F | F |
| 221683 | F | F | F |
| 221684 | F | F | F |
| 221685 | F | F | F |
| 221686 | F | F | F |
| 221687 | F | F | F |
| 221688 | F | F | F |
| 221689 | F | F | F |
| 221690 | F | F | F |
| 221691 | F | F | F |
| 296729 | F | F | F |
| 296730 | F | F | F |
| 296731 | F | F | F |
| 296732 | F | F | F |
| 296733 | F | F | F |
| 296734 | F | F | F |
| 296735 | F | F | F |
| 296736 | F | F | F |
| 296737 | F | F | F |
| 296738 | F | F | F |
| 296739 | F | F | F |
| 296740 | F | F | F |
| 296741 | F | F | F |
| 296742 | F | F | F |
| 296743 | F | F | F |
| 296744 | F | F | F |
| 374106 | F | F | F |
| 374107 | F | F | F |
| 374108 | F | F | F |
| 374109 | F | F | F |
| 374110 | F | F | F |
| 374111 | F | F | F |
| 374112 | F | F | F |
| 374113 | F | F | F |
| 374114 | F | F | F |
| 374115 | F | F | F |
| 374116 | F | F | F |
| 374117 | F | F | F |
| 374118 | F | F | F |
| 374119 | F | F | F |
| 374120 | F | F | F |
| 374121 | F | F | F |
| 379276 | F | F | F |
| 379277 | F | F | F |
| 379278 | F | F | F |
| 379279 | F | F | F |
| 382141 | F | F | F |
| 382142 | F | F | F |
| 382143 | F | F | F |
| 382144 | F | F | F |
| 384893 | F | F | F |
| 384894 | F | F | F |
| 384895 | F | F | F |
| 384896 | F | F | F |
Independent-effect pairs
c0(branch9950): GAP view gap →<core::fmt::builders::DebugStruct>::field· br_ifc1(branch9952): GAP view gap →<core::fmt::builders::DebugStruct>::field· br_if