Decision #1514 — count.rs:117
Status: no_witness
Truth table
| row | c0 br 9948 | c1 br 9949 | outcome |
|---|---|---|---|
| 6787 | F | F | F |
| 6788 | F | F | F |
| 6789 | F | F | F |
| 6790 | F | F | F |
| 6791 | F | F | F |
| 6792 | F | F | F |
| 6793 | F | F | F |
| 6794 | F | F | F |
| 6795 | F | F | F |
| 6796 | F | F | F |
| 13542 | F | F | F |
| 13543 | F | F | F |
| 13544 | F | F | F |
| 13545 | F | F | F |
| 13546 | F | F | F |
| 13547 | F | F | F |
| 13548 | F | F | F |
| 13549 | F | F | F |
| 13550 | F | F | F |
| 13551 | F | F | F |
| 20956 | F | F | F |
| 20957 | F | F | F |
| 20958 | F | F | F |
| 20959 | F | F | F |
| 20960 | F | F | F |
| 20961 | F | F | F |
| 20962 | F | F | F |
| 20963 | F | F | F |
| 20964 | F | F | F |
| 20965 | F | F | F |
| 23847 | F | F | F |
| 23848 | F | F | F |
| 23849 | F | F | F |
| 23850 | F | F | F |
| 23851 | F | F | F |
| 23852 | F | F | F |
| 26493 | F | F | F |
| 26494 | F | F | F |
| 26495 | F | F | F |
| 26496 | F | F | F |
| 26497 | F | F | F |
| 26498 | F | F | F |
| 29233 | F | F | F |
| 29234 | F | F | F |
| 29235 | F | F | F |
| 29236 | F | F | F |
| 29237 | F | F | F |
| 29238 | F | F | F |
| 49570 | F | F | F |
| 49571 | F | F | F |
| 49572 | F | F | F |
| 49573 | F | F | F |
| 49574 | F | F | F |
| 49575 | F | F | F |
| 49576 | F | F | F |
| 49577 | F | F | F |
| 49578 | F | F | F |
| 49579 | F | F | F |
| 49580 | F | F | F |
| 49581 | F | F | F |
| 49582 | F | F | F |
| 49583 | F | F | F |
| 70297 | F | F | F |
| 70298 | F | F | F |
| 70299 | F | F | F |
| 70300 | F | F | F |
| 70301 | F | F | F |
| 70302 | F | F | F |
| 70303 | F | F | F |
| 70304 | F | F | F |
| 70305 | F | F | F |
| 70306 | F | F | F |
| 70307 | F | F | F |
| 70308 | F | F | F |
| 70309 | F | F | F |
| 70310 | F | F | F |
| 80545 | F | F | F |
| 80546 | F | F | F |
| 80547 | F | F | F |
| 80548 | F | F | F |
| 80549 | F | F | F |
| 80550 | F | F | F |
| 80551 | F | F | F |
| 80552 | F | F | F |
| 80553 | F | F | F |
| 80554 | F | F | F |
| 80555 | F | F | F |
| 80556 | F | F | F |
| 90428 | F | F | F |
| 90429 | F | F | F |
| 90430 | F | F | F |
| 90431 | F | F | F |
| 90432 | F | F | F |
| 90433 | F | F | F |
| 90434 | F | F | F |
| 90435 | F | F | F |
| 90436 | F | F | F |
| 90437 | F | F | F |
| 90438 | F | F | F |
| 90439 | F | F | F |
| 98217 | F | F | F |
| 98218 | F | F | F |
| 98219 | F | F | F |
| 98220 | F | F | F |
| 98221 | F | F | F |
| 98222 | F | F | F |
| 98223 | F | F | F |
| 98224 | F | F | F |
| 98225 | F | F | F |
| 98226 | F | F | F |
| 98227 | F | F | F |
| 98228 | F | F | F |
| 106654 | F | F | F |
| 106655 | F | F | F |
| 106656 | F | F | F |
| 106657 | F | F | F |
| 106658 | F | F | F |
| 106659 | F | F | F |
| 106660 | F | F | F |
| 106661 | F | F | F |
| 106662 | F | F | F |
| 106663 | F | F | F |
| 106664 | F | F | F |
| 106665 | F | F | F |
| 114773 | F | F | F |
| 114774 | F | F | F |
| 114775 | F | F | F |
| 114776 | F | F | F |
| 114777 | F | F | F |
| 114778 | F | F | F |
| 114779 | F | F | F |
| 114780 | F | F | F |
| 114781 | F | F | F |
| 114782 | F | F | F |
| 114783 | F | F | F |
| 114784 | F | F | F |
| 122561 | F | F | F |
| 122562 | F | F | F |
| 122563 | F | F | F |
| 122564 | F | F | F |
| 122565 | F | F | F |
| 122566 | F | F | F |
| 122567 | F | F | F |
| 122568 | F | F | F |
| 122569 | F | F | F |
| 122570 | F | F | F |
| 122571 | F | F | F |
| 122572 | F | F | F |
| 139239 | F | F | F |
| 139240 | F | F | F |
| 139241 | F | F | F |
| 139242 | F | F | F |
| 139243 | F | F | F |
| 139244 | F | F | F |
| 139245 | F | F | F |
| 139246 | F | F | F |
| 139247 | F | F | F |
| 139248 | F | F | F |
| 139249 | F | F | F |
| 139250 | F | F | F |
| 139251 | F | F | F |
| 139252 | F | F | F |
| 155958 | F | F | F |
| 155959 | F | F | F |
| 155960 | F | F | F |
| 155961 | F | F | F |
| 155962 | F | F | F |
| 155963 | F | F | F |
| 155964 | F | F | F |
| 155965 | F | F | F |
| 155966 | F | F | F |
| 155967 | F | F | F |
| 155968 | F | F | F |
| 155969 | F | F | F |
| 155970 | F | F | F |
| 155971 | F | F | F |
| 165764 | F | F | F |
| 165765 | F | F | F |
| 165766 | F | F | F |
| 165767 | F | F | F |
| 165768 | F | F | F |
| 165769 | F | F | F |
| 165770 | F | F | F |
| 165771 | F | F | F |
| 165772 | F | F | F |
| 165773 | F | F | F |
| 165774 | F | F | F |
| 165775 | F | F | F |
| 165776 | F | F | F |
| 165777 | F | F | F |
| 165778 | F | F | F |
| 165779 | F | F | F |
| 165780 | F | F | F |
| 165781 | F | F | F |
| 165782 | F | F | F |
| 165783 | F | F | F |
| 165784 | F | F | F |
| 165785 | F | F | F |
| 165786 | F | F | F |
| 165787 | F | F | F |
| 175622 | F | F | F |
| 175623 | F | F | F |
| 175624 | F | F | F |
| 175625 | F | F | F |
| 175626 | F | F | F |
| 175627 | F | F | F |
| 175628 | F | F | F |
| 175629 | F | F | F |
| 175630 | F | F | F |
| 175631 | F | F | F |
| 175632 | F | F | F |
| 175633 | F | F | F |
| 175634 | F | F | F |
| 175635 | F | F | F |
| 175636 | F | F | F |
| 175637 | F | F | F |
| 175638 | F | F | F |
| 175639 | F | F | F |
| 175640 | F | F | F |
| 175641 | F | F | F |
| 175642 | F | F | F |
| 175643 | F | F | F |
| 175644 | F | F | F |
| 175645 | F | F | F |
| 183929 | F | F | F |
| 183930 | F | F | F |
| 183931 | F | F | F |
| 183932 | F | F | F |
| 187052 | F | F | F |
| 187053 | F | F | F |
| 187054 | F | F | F |
| 187055 | F | F | F |
| 190356 | F | F | F |
| 190357 | F | F | F |
| 190358 | F | F | F |
| 190359 | F | F | F |
| 194575 | F | F | F |
| 194576 | F | F | F |
| 194577 | F | F | F |
| 194578 | F | F | F |
| 194579 | F | F | F |
| 194580 | F | F | F |
| 202653 | F | F | F |
| 202654 | F | F | F |
| 202655 | F | F | F |
| 202656 | F | F | F |
| 202657 | F | F | F |
| 202658 | F | F | F |
| 202659 | F | F | F |
| 202660 | F | F | F |
| 202661 | F | F | F |
| 202662 | F | F | F |
| 202663 | F | F | F |
| 202664 | F | F | F |
| 202665 | F | F | F |
| 202666 | F | F | F |
| 205950 | F | F | F |
| 205951 | F | F | F |
| 205952 | F | F | F |
| 205953 | F | F | F |
| 214155 | F | F | F |
| 214156 | F | F | F |
| 214157 | F | F | F |
| 214158 | F | F | F |
| 214159 | F | F | F |
| 214160 | F | F | F |
| 214161 | F | F | F |
| 214162 | F | F | F |
| 214163 | F | F | F |
| 214164 | F | F | F |
| 221668 | F | F | F |
| 221669 | F | F | F |
| 221670 | F | F | F |
| 221671 | F | F | F |
| 221672 | F | F | F |
| 221673 | F | F | F |
| 221674 | F | F | F |
| 221675 | F | F | F |
| 221676 | F | F | F |
| 221677 | F | F | F |
| 221678 | F | F | F |
| 221679 | F | F | F |
| 296713 | F | F | F |
| 296714 | F | F | F |
| 296715 | F | F | F |
| 296716 | F | F | F |
| 296717 | F | F | F |
| 296718 | F | F | F |
| 296719 | F | F | F |
| 296720 | F | F | F |
| 296721 | F | F | F |
| 296722 | F | F | F |
| 296723 | F | F | F |
| 296724 | F | F | F |
| 296725 | F | F | F |
| 296726 | F | F | F |
| 296727 | F | F | F |
| 296728 | F | F | F |
| 374090 | F | F | F |
| 374091 | F | F | F |
| 374092 | F | F | F |
| 374093 | F | F | F |
| 374094 | F | F | F |
| 374095 | F | F | F |
| 374096 | F | F | F |
| 374097 | F | F | F |
| 374098 | F | F | F |
| 374099 | F | F | F |
| 374100 | F | F | F |
| 374101 | F | F | F |
| 374102 | F | F | F |
| 374103 | F | F | F |
| 374104 | F | F | F |
| 374105 | F | F | F |
| 379272 | F | F | F |
| 379273 | F | F | F |
| 379274 | F | F | F |
| 379275 | F | F | F |
| 382137 | F | F | F |
| 382138 | F | F | F |
| 382139 | F | F | F |
| 382140 | F | F | F |
| 384889 | F | F | F |
| 384890 | F | F | F |
| 384891 | F | F | F |
| 384892 | F | F | F |
Independent-effect pairs
c0(branch9948): GAP view gap →<core::fmt::builders::DebugStruct>::field· br_ifc1(branch9949): GAP view gap →<core::fmt::builders::DebugStruct>::field· br_if