Decision #726 — readers.rs:102
Status: no_witness
Truth table
| row | c0 br 5229 | c1 br 5230 | outcome |
|---|---|---|---|
| 1726 | T | F | F |
| 1727 | T | F | F |
| 1728 | T | F | F |
| 1729 | T | F | F |
| 1730 | T | F | F |
| 1731 | T | F | F |
| 1732 | T | F | F |
| 1733 | T | F | F |
| 1734 | T | F | F |
| 1735 | T | F | F |
| 1736 | T | F | F |
| 1737 | T | F | F |
| 1738 | T | F | F |
| 1739 | T | F | F |
| 1740 | T | F | F |
| 1741 | T | F | F |
| 1742 | T | F | F |
| 1743 | T | F | F |
| 1744 | T | F | F |
| 1745 | T | F | F |
| 1746 | T | F | F |
| 1747 | T | F | F |
| 1748 | T | F | F |
| 1749 | T | F | F |
| 1750 | T | F | F |
| 1751 | T | F | F |
| 1752 | T | F | F |
| 1753 | T | F | F |
| 1754 | T | F | F |
| 1755 | T | F | F |
| 1756 | T | F | F |
| 1757 | T | F | F |
| 1758 | T | F | F |
| 1759 | T | F | F |
| 1760 | T | F | F |
| 1761 | T | F | F |
| 1762 | T | F | F |
| 1763 | T | F | F |
| 1764 | T | F | F |
| 1765 | T | F | F |
| 1766 | T | F | F |
| 1767 | T | F | F |
| 1768 | T | F | F |
| 1769 | T | F | F |
| 1770 | T | F | F |
| 1771 | T | F | F |
| 1772 | T | F | F |
| 1773 | T | F | F |
| 1774 | T | F | F |
| 1775 | T | F | F |
| 1776 | T | F | F |
| 1777 | T | F | F |
| 4764 | T | F | F |
| 4765 | T | F | F |
| 4766 | T | F | F |
| 4767 | T | F | F |
| 4768 | T | F | F |
| 4769 | T | F | F |
| 4770 | T | F | F |
| 4771 | T | F | F |
| 4772 | T | F | F |
| 4773 | T | F | F |
| 4774 | T | F | F |
| 4775 | T | F | F |
| 4776 | T | F | F |
| 4777 | T | F | F |
| 4778 | T | F | F |
| 4779 | T | F | F |
| 4780 | T | F | F |
| 4781 | T | F | F |
| 4782 | T | F | F |
| 4783 | T | F | F |
| 4784 | T | F | F |
| 4785 | T | F | F |
| 4786 | T | F | F |
| 4787 | T | F | F |
| 4788 | T | F | F |
| 4789 | T | F | F |
| 4790 | T | F | F |
| 4791 | T | F | F |
| 4792 | T | F | F |
| 4793 | T | F | F |
| 4794 | T | F | F |
| 4795 | T | F | F |
| 4796 | T | F | F |
| 4797 | T | F | F |
| 4798 | T | F | F |
| 4799 | T | F | F |
| 4800 | T | F | F |
| 4801 | T | F | F |
| 4802 | T | F | F |
| 4803 | T | F | F |
| 4804 | T | F | F |
| 4805 | T | F | F |
| 4806 | T | F | F |
| 4807 | T | F | F |
| 4808 | T | F | F |
| 4809 | T | F | F |
| 4810 | T | F | F |
| 4811 | T | F | F |
| 4812 | T | F | F |
| 4813 | T | F | F |
| 4814 | T | F | F |
| 7749 | T | F | F |
| 7750 | T | F | F |
| 7751 | T | F | F |
| 7752 | T | F | F |
| 7753 | T | F | F |
| 7754 | T | F | F |
| 7755 | T | F | F |
| 7756 | T | F | F |
| 7757 | T | F | F |
| 7758 | T | F | F |
| 7759 | T | F | F |
| 7760 | T | F | F |
| 7761 | T | F | F |
| 7762 | T | F | F |
| 7763 | T | F | F |
| 7764 | T | F | F |
| 7765 | T | F | F |
| 7766 | T | F | F |
| 7767 | T | F | F |
| 7768 | T | F | F |
| 7769 | T | F | F |
| 7770 | T | F | F |
| 7771 | T | F | F |
| 7772 | T | F | F |
| 7773 | T | F | F |
| 7774 | T | F | F |
| 7775 | T | F | F |
| 7776 | T | F | F |
| 7777 | T | F | F |
| 7778 | T | F | F |
| 7779 | T | F | F |
| 7780 | T | F | F |
| 7781 | T | F | F |
| 7782 | T | F | F |
| 7783 | T | F | F |
| 7784 | T | F | F |
| 7785 | T | F | F |
| 7786 | T | F | F |
| 7787 | T | F | F |
| 7788 | T | F | F |
| 7789 | T | F | F |
| 7790 | T | F | F |
| 7791 | T | F | F |
| 7792 | T | F | F |
| 7793 | T | F | F |
| 7794 | T | F | F |
| 7795 | T | F | F |
| 7796 | T | F | F |
| 7797 | T | F | F |
| 7798 | T | F | F |
| 7799 | T | F | F |
| 7800 | T | F | F |
| 7801 | T | F | F |
| 7802 | T | F | F |
| 7803 | T | F | F |
| 7804 | T | F | F |
| 7805 | T | F | F |
| 7806 | T | F | F |
| 7807 | T | F | F |
| 10035 | T | F | F |
| 10036 | T | F | F |
| 10037 | T | F | F |
| 10038 | T | F | F |
| 10039 | T | F | F |
| 10040 | T | F | F |
| 10041 | T | F | F |
| 10042 | T | F | F |
| 10043 | T | F | F |
| 10044 | T | F | F |
| 10045 | T | F | F |
| 10046 | T | F | F |
| 10047 | T | F | F |
| 10048 | T | F | F |
| 10049 | T | F | F |
| 10050 | T | F | F |
| 10051 | T | F | F |
| 11181 | T | F | F |
| 11182 | T | F | F |
| 11183 | T | F | F |
| 11184 | T | F | F |
| 11185 | T | F | F |
| 11186 | T | F | F |
| 11187 | T | F | F |
| 11188 | T | F | F |
| 11189 | T | F | F |
| 11190 | T | F | F |
| 11191 | T | F | F |
| 11192 | T | F | F |
| 11193 | T | F | F |
| 11194 | T | F | F |
| 11195 | T | F | F |
| 11196 | T | F | F |
| 12274 | T | F | F |
| 12275 | T | F | F |
| 12276 | T | F | F |
| 12277 | T | F | F |
| 12278 | T | F | F |
| 12279 | T | F | F |
| 12280 | T | F | F |
| 12281 | T | F | F |
| 12282 | T | F | F |
| 12283 | T | F | F |
| 12284 | T | F | F |
| 12285 | T | F | F |
| 12286 | T | F | F |
| 12287 | T | F | F |
| 12288 | T | F | F |
| 12289 | T | F | F |
| 12290 | T | F | F |
| 18515 | T | F | F |
| 18516 | T | F | F |
| 18517 | T | F | F |
| 18518 | T | F | F |
| 18519 | T | F | F |
| 18520 | T | F | F |
| 18521 | T | F | F |
| 18522 | T | F | F |
| 18523 | T | F | F |
| 18524 | T | F | F |
| 18525 | T | F | F |
| 18526 | T | F | F |
| 18527 | T | F | F |
| 18528 | T | F | F |
| 18529 | T | F | F |
| 18530 | T | F | F |
| 18531 | T | F | F |
| 18532 | T | F | F |
| 18533 | T | F | F |
| 18534 | T | F | F |
| 18535 | T | F | F |
| 18536 | T | F | F |
| 18537 | T | F | F |
| 18538 | T | F | F |
| 18539 | T | F | F |
| 18540 | T | F | F |
| 18541 | T | F | F |
| 18542 | T | F | F |
| 18543 | T | F | F |
| 18544 | T | F | F |
| 18545 | T | F | F |
| 18546 | T | F | F |
| 18547 | T | F | F |
| 18548 | T | F | F |
| 18549 | T | F | F |
| 26231 | T | F | F |
| 26232 | T | F | F |
| 26233 | T | F | F |
| 26234 | T | F | F |
| 26235 | T | F | F |
| 26236 | T | F | F |
| 26237 | T | F | F |
| 26238 | T | F | F |
| 26239 | T | F | F |
| 26240 | T | F | F |
| 26241 | T | F | F |
| 26242 | T | F | F |
| 26243 | T | F | F |
| 26244 | T | F | F |
| 26245 | T | F | F |
| 26246 | T | F | F |
| 26247 | T | F | F |
| 26248 | T | F | F |
| 26249 | T | F | F |
| 26250 | T | F | F |
| 26251 | T | F | F |
| 26252 | T | F | F |
| 26253 | T | F | F |
| 26254 | T | F | F |
| 26255 | T | F | F |
| 26256 | T | F | F |
| 26257 | T | F | F |
| 26258 | T | F | F |
| 26259 | T | F | F |
| 26260 | T | F | F |
| 26261 | T | F | F |
| 26262 | T | F | F |
| 26263 | T | F | F |
| 26264 | T | F | F |
| 32030 | T | F | F |
| 32031 | T | F | F |
| 32032 | T | F | F |
| 32033 | T | F | F |
| 32034 | T | F | F |
| 32035 | T | F | F |
| 32036 | T | F | F |
| 32037 | T | F | F |
| 32038 | T | F | F |
| 32039 | T | F | F |
| 32040 | T | F | F |
| 32041 | T | F | F |
| 32042 | T | F | F |
| 32043 | T | F | F |
| 32044 | T | F | F |
| 32045 | T | F | F |
| 32046 | T | F | F |
| 32047 | T | F | F |
| 32048 | T | F | F |
| 32049 | T | F | F |
| 32050 | T | F | F |
| 32051 | T | F | F |
| 32052 | T | F | F |
| 32053 | T | F | F |
| 32054 | T | F | F |
| 32055 | T | F | F |
| 32056 | T | F | F |
| 32057 | T | F | F |
| 32058 | T | F | F |
| 32059 | T | F | F |
| 32060 | T | F | F |
| 32061 | T | F | F |
| 32062 | T | F | F |
| 32063 | T | F | F |
| 32064 | T | F | F |
| 32065 | T | F | F |
| 32066 | T | F | F |
| 32067 | T | F | F |
| 32068 | T | F | F |
| 32069 | T | F | F |
| 37968 | T | F | F |
| 37969 | T | F | F |
| 37970 | T | F | F |
| 37971 | T | F | F |
| 37972 | T | F | F |
| 37973 | T | F | F |
| 37974 | T | F | F |
| 37975 | T | F | F |
| 37976 | T | F | F |
| 37977 | T | F | F |
| 37978 | T | F | F |
| 37979 | T | F | F |
| 37980 | T | F | F |
| 37981 | T | F | F |
| 37982 | T | F | F |
| 37983 | T | F | F |
| 37984 | T | F | F |
| 37985 | T | F | F |
| 37986 | T | F | F |
| 37987 | T | F | F |
| 37988 | T | F | F |
| 37989 | T | F | F |
| 37990 | T | F | F |
| 37991 | T | F | F |
| 37992 | T | F | F |
| 37993 | T | F | F |
| 37994 | T | F | F |
| 37995 | T | F | F |
| 37996 | T | F | F |
| 37997 | T | F | F |
| 37998 | T | F | F |
| 37999 | T | F | F |
| 38000 | T | F | F |
| 38001 | T | F | F |
| 38002 | T | F | F |
| 38003 | T | F | F |
| 38004 | T | F | F |
| 38005 | T | F | F |
| 38006 | T | F | F |
| 38007 | T | F | F |
| 41591 | T | F | F |
| 41592 | T | F | F |
| 41593 | T | F | F |
| 41594 | T | F | F |
| 41595 | T | F | F |
| 41596 | T | F | F |
| 41597 | T | F | F |
| 41598 | T | F | F |
| 41599 | T | F | F |
| 41600 | T | F | F |
| 41601 | T | F | F |
| 41602 | T | F | F |
| 41603 | T | F | F |
| 41604 | T | F | F |
| 41605 | T | F | F |
| 41606 | T | F | F |
| 41607 | T | F | F |
| 41608 | T | F | F |
| 41609 | T | F | F |
| 41610 | T | F | F |
| 41611 | T | F | F |
| 41612 | T | F | F |
| 41613 | T | F | F |
| 41614 | T | F | F |
| 41615 | T | F | F |
| 41616 | T | F | F |
| 41617 | T | F | F |
| 41618 | T | F | F |
| 41619 | T | F | F |
| 41620 | T | F | F |
| 41621 | T | F | F |
| 41622 | T | F | F |
| 41623 | T | F | F |
| 41624 | T | F | F |
| 41625 | T | F | F |
| 41626 | T | F | F |
| 41627 | T | F | F |
| 41628 | T | F | F |
| 41629 | T | F | F |
| 44628 | T | F | F |
| 44629 | T | F | F |
| 44630 | T | F | F |
| 44631 | T | F | F |
| 44632 | T | F | F |
| 44633 | T | F | F |
| 44634 | T | F | F |
| 44635 | T | F | F |
| 44636 | T | F | F |
| 44637 | T | F | F |
| 44638 | T | F | F |
| 44639 | T | F | F |
| 44640 | T | F | F |
| 44641 | T | F | F |
| 44642 | T | F | F |
| 44643 | T | F | F |
| 44644 | T | F | F |
| 44645 | T | F | F |
| 44646 | T | F | F |
| 44647 | T | F | F |
| 44648 | T | F | F |
| 44649 | T | F | F |
| 44650 | T | F | F |
| 44651 | T | F | F |
| 44652 | T | F | F |
| 44653 | T | F | F |
| 44654 | T | F | F |
| 44655 | T | F | F |
| 44656 | T | F | F |
| 44657 | T | F | F |
| 44658 | T | F | F |
| 44659 | T | F | F |
| 44660 | T | F | F |
| 44661 | T | F | F |
| 44662 | T | F | F |
| 44663 | T | F | F |
| 44664 | T | F | F |
| 44665 | T | F | F |
| 44666 | T | F | F |
| 44667 | T | F | F |
| 44668 | T | F | F |
| 44669 | T | F | F |
| 44670 | T | F | F |
| 44671 | T | F | F |
| 44672 | T | F | F |
| 48074 | T | F | F |
| 48075 | T | F | F |
| 48076 | T | F | F |
| 48077 | T | F | F |
| 48078 | T | F | F |
| 48079 | T | F | F |
| 48080 | T | F | F |
| 48081 | T | F | F |
| 48082 | T | F | F |
| 48083 | T | F | F |
| 48084 | T | F | F |
| 48085 | T | F | F |
| 48086 | T | F | F |
| 48087 | T | F | F |
| 48088 | T | F | F |
| 48089 | T | F | F |
| 48090 | T | F | F |
| 48091 | T | F | F |
| 48092 | T | F | F |
| 48093 | T | F | F |
| 48094 | T | F | F |
| 48095 | T | F | F |
| 48096 | T | F | F |
| 48097 | T | F | F |
| 48098 | T | F | F |
| 48099 | T | F | F |
| 48100 | T | F | F |
| 48101 | T | F | F |
| 48102 | T | F | F |
| 48103 | T | F | F |
| 48104 | T | F | F |
| 48105 | T | F | F |
| 48106 | T | F | F |
| 48107 | T | F | F |
| 48108 | T | F | F |
| 48109 | T | F | F |
| 48110 | T | F | F |
| 48111 | T | F | F |
| 48112 | T | F | F |
| 48113 | T | F | F |
| 48114 | T | F | F |
| 48115 | T | F | F |
| 51131 | T | F | F |
| 51132 | T | F | F |
| 51133 | T | F | F |
| 51134 | T | F | F |
| 51135 | T | F | F |
| 51136 | T | F | F |
| 51137 | T | F | F |
| 51138 | T | F | F |
| 51139 | T | F | F |
| 51140 | T | F | F |
| 51141 | T | F | F |
| 51142 | T | F | F |
| 51143 | T | F | F |
| 51144 | T | F | F |
| 51145 | T | F | F |
| 51146 | T | F | F |
| 51147 | T | F | F |
| 51148 | T | F | F |
| 51149 | T | F | F |
| 51150 | T | F | F |
| 51151 | T | F | F |
| 51152 | T | F | F |
| 51153 | T | F | F |
| 51154 | T | F | F |
| 51155 | T | F | F |
| 51156 | T | F | F |
| 51157 | T | F | F |
| 51158 | T | F | F |
| 51159 | T | F | F |
| 51160 | T | F | F |
| 51161 | T | F | F |
| 51162 | T | F | F |
| 51163 | T | F | F |
| 51164 | T | F | F |
| 51165 | T | F | F |
| 51166 | T | F | F |
| 51167 | T | F | F |
| 51168 | T | F | F |
| 51169 | T | F | F |
| 59982 | T | F | F |
| 59983 | T | F | F |
| 59984 | T | F | F |
| 59985 | T | F | F |
| 59986 | T | F | F |
| 59987 | T | F | F |
| 59988 | T | F | F |
| 59989 | T | F | F |
| 59990 | T | F | F |
| 59991 | T | F | F |
| 59992 | T | F | F |
| 59993 | T | F | F |
| 59994 | T | F | F |
| 59995 | T | F | F |
| 59996 | T | F | F |
| 59997 | T | F | F |
| 59998 | T | F | F |
| 59999 | T | F | F |
| 60000 | T | F | F |
| 60001 | T | F | F |
| 60002 | T | F | F |
| 60003 | T | F | F |
| 60004 | T | F | F |
| 60005 | T | F | F |
| 60006 | T | F | F |
| 60007 | T | F | F |
| 60008 | T | F | F |
| 60009 | T | F | F |
| 60010 | T | F | F |
| 60011 | T | F | F |
| 60012 | T | F | F |
| 60013 | T | F | F |
| 60014 | T | F | F |
| 69754 | T | F | F |
| 69755 | T | F | F |
| 69756 | T | F | F |
| 69757 | T | F | F |
| 69758 | T | F | F |
| 69759 | T | F | F |
| 69760 | T | F | F |
| 69761 | T | F | F |
| 69762 | T | F | F |
| 69763 | T | F | F |
| 69764 | T | F | F |
| 69765 | T | F | F |
| 69766 | T | F | F |
| 69767 | T | F | F |
| 69768 | T | F | F |
| 69769 | T | F | F |
| 69770 | T | F | F |
| 69771 | T | F | F |
| 69772 | T | F | F |
| 69773 | T | F | F |
| 69774 | T | F | F |
| 69775 | T | F | F |
| 69776 | T | F | F |
| 69777 | T | F | F |
| 69778 | T | F | F |
| 69779 | T | F | F |
| 69780 | T | F | F |
| 69781 | T | F | F |
| 69782 | T | F | F |
| 69783 | T | F | F |
| 69784 | T | F | F |
| 69785 | T | F | F |
| 69786 | T | F | F |
| 74176 | T | F | F |
| 74177 | T | F | F |
| 74178 | T | F | F |
| 74179 | T | F | F |
| 74180 | T | F | F |
| 74181 | T | F | F |
| 74182 | T | F | F |
| 74183 | T | F | F |
| 74184 | T | F | F |
| 74185 | T | F | F |
| 74186 | T | F | F |
| 74187 | T | F | F |
| 74188 | T | F | F |
| 74189 | T | F | F |
| 74190 | T | F | F |
| 74191 | T | F | F |
| 74192 | T | F | F |
| 74193 | T | F | F |
| 74194 | T | F | F |
| 74195 | T | F | F |
| 74196 | T | F | F |
| 74197 | T | F | F |
| 74198 | T | F | F |
| 74199 | T | F | F |
| 74200 | T | F | F |
| 74201 | T | F | F |
| 74202 | T | F | F |
| 74203 | T | F | F |
| 74204 | T | F | F |
| 74205 | T | F | F |
| 74206 | T | F | F |
| 74207 | T | F | F |
| 74208 | T | F | F |
| 74209 | T | F | F |
| 74210 | T | F | F |
| 74211 | T | F | F |
| 74212 | T | F | F |
| 74213 | T | F | F |
| 74214 | T | F | F |
| 74215 | T | F | F |
| 74216 | T | F | F |
| 74217 | T | F | F |
| 74218 | T | F | F |
| 74219 | T | F | F |
| 74220 | T | F | F |
| 74221 | T | F | F |
| 74222 | T | F | F |
| 74223 | T | F | F |
| 74224 | T | F | F |
| 74225 | T | F | F |
| 74226 | T | F | F |
| 77651 | T | F | F |
| 77652 | T | F | F |
| 77653 | T | F | F |
| 77654 | T | F | F |
| 77655 | T | F | F |
| 77656 | T | F | F |
| 77657 | T | F | F |
| 77658 | T | F | F |
| 77659 | T | F | F |
| 77660 | T | F | F |
| 77661 | T | F | F |
| 77662 | T | F | F |
| 77663 | T | F | F |
| 77664 | T | F | F |
| 77665 | T | F | F |
| 77666 | T | F | F |
| 77667 | T | F | F |
| 77668 | T | F | F |
| 77669 | T | F | F |
| 77670 | T | F | F |
| 77671 | T | F | F |
| 77672 | T | F | F |
| 77673 | T | F | F |
| 77674 | T | F | F |
| 77675 | T | F | F |
| 77676 | T | F | F |
| 77677 | T | F | F |
| 77678 | T | F | F |
| 77679 | T | F | F |
| 77680 | T | F | F |
| 77681 | T | F | F |
| 77682 | T | F | F |
| 77683 | T | F | F |
| 77684 | T | F | F |
| 77685 | T | F | F |
| 77686 | T | F | F |
| 77687 | T | F | F |
| 77688 | T | F | F |
| 77689 | T | F | F |
| 77690 | T | F | F |
| 77691 | T | F | F |
| 77692 | T | F | F |
| 77693 | T | F | F |
| 77694 | T | F | F |
| 77695 | T | F | F |
| 77696 | T | F | F |
| 77697 | T | F | F |
| 77698 | T | F | F |
| 77699 | T | F | F |
| 77700 | T | F | F |
| 77701 | T | F | F |
| 79907 | T | F | F |
| 79908 | T | F | F |
| 79909 | T | F | F |
| 79910 | T | F | F |
| 79911 | T | F | F |
| 79912 | T | F | F |
| 79913 | T | F | F |
| 79914 | T | F | F |
| 79915 | T | F | F |
| 79916 | T | F | F |
| 79917 | T | F | F |
| 79918 | T | F | F |
| 79919 | T | F | F |
| 79920 | T | F | F |
| 79921 | T | F | F |
| 79922 | T | F | F |
| 79923 | T | F | F |
| 79924 | T | F | F |
| 79925 | T | F | F |
| 79926 | T | F | F |
| 79927 | T | F | F |
| 79928 | T | F | F |
| 81261 | T | F | F |
| 81262 | T | F | F |
| 81263 | T | F | F |
| 81264 | T | F | F |
| 81265 | T | F | F |
| 81266 | T | F | F |
| 81267 | T | F | F |
| 81268 | T | F | F |
| 81269 | T | F | F |
| 81270 | T | F | F |
| 81271 | T | F | F |
| 81272 | T | F | F |
| 81273 | T | F | F |
| 81274 | T | F | F |
| 81275 | T | F | F |
| 81276 | T | F | F |
| 81277 | T | F | F |
| 82446 | T | F | F |
| 82447 | T | F | F |
| 82448 | T | F | F |
| 82449 | T | F | F |
| 82450 | T | F | F |
| 82451 | T | F | F |
| 82452 | T | F | F |
| 82453 | T | F | F |
| 82454 | T | F | F |
| 82455 | T | F | F |
| 82456 | T | F | F |
| 82457 | T | F | F |
| 82458 | T | F | F |
| 82459 | T | F | F |
| 82460 | T | F | F |
| 82461 | T | F | F |
| 83510 | T | F | F |
| 83511 | T | F | F |
| 83512 | T | F | F |
| 83513 | T | F | F |
| 83514 | T | F | F |
| 83515 | T | F | F |
| 83516 | T | F | F |
| 83517 | T | F | F |
| 83518 | T | F | F |
| 83519 | T | F | F |
| 83520 | T | F | F |
| 83521 | T | F | F |
| 83522 | T | F | F |
| 83523 | T | F | F |
| 83524 | T | F | F |
| 83525 | T | F | F |
| 83526 | T | F | F |
| 84774 | T | F | F |
| 84775 | T | F | F |
| 84776 | T | F | F |
| 84777 | T | F | F |
| 84778 | T | F | F |
| 84779 | T | F | F |
| 84780 | T | F | F |
| 84781 | T | F | F |
| 84782 | T | F | F |
| 84783 | T | F | F |
| 84784 | T | F | F |
| 84785 | T | F | F |
| 84786 | T | F | F |
| 84787 | T | F | F |
| 84788 | T | F | F |
| 86723 | T | F | F |
| 86724 | T | F | F |
| 86725 | T | F | F |
| 86726 | T | F | F |
| 86727 | T | F | F |
| 86728 | T | F | F |
| 86729 | T | F | F |
| 86730 | T | F | F |
| 86731 | T | F | F |
| 86732 | T | F | F |
| 86733 | T | F | F |
| 86734 | T | F | F |
| 86735 | T | F | F |
| 86736 | T | F | F |
| 86737 | T | F | F |
| 86738 | T | F | F |
| 86739 | T | F | F |
| 86740 | T | F | F |
| 86741 | T | F | F |
| 86742 | T | F | F |
| 86743 | T | F | F |
| 86744 | T | F | F |
| 86745 | T | F | F |
| 86746 | T | F | F |
| 86747 | T | F | F |
| 88103 | T | F | F |
| 88104 | T | F | F |
| 88105 | T | F | F |
| 88106 | T | F | F |
| 88107 | T | F | F |
| 88108 | T | F | F |
| 88109 | T | F | F |
| 88110 | T | F | F |
| 88111 | T | F | F |
| 88112 | T | F | F |
| 88113 | T | F | F |
| 88114 | T | F | F |
| 88115 | T | F | F |
| 88116 | T | F | F |
| 90017 | T | F | F |
| 90018 | T | F | F |
| 90019 | T | F | F |
| 90020 | T | F | F |
| 90021 | T | F | F |
| 90022 | T | F | F |
| 90023 | T | F | F |
| 90024 | T | F | F |
| 90025 | T | F | F |
| 90026 | T | F | F |
| 90027 | T | F | F |
| 90028 | T | F | F |
| 90029 | T | F | F |
| 90030 | T | F | F |
| 90031 | T | F | F |
| 90032 | T | F | F |
| 90033 | T | F | F |
| 90034 | T | F | F |
| 90035 | T | F | F |
| 90036 | T | F | F |
| 90037 | T | F | F |
| 91524 | T | F | F |
| 91525 | T | F | F |
| 91526 | T | F | F |
| 91527 | T | F | F |
| 91528 | T | F | F |
| 91529 | T | F | F |
| 91530 | T | F | F |
| 91531 | T | F | F |
| 91532 | T | F | F |
| 91533 | T | F | F |
| 91534 | T | F | F |
| 91535 | T | F | F |
| 91536 | T | F | F |
| 91537 | T | F | F |
| 91538 | T | F | F |
| 91539 | T | F | F |
| 91540 | T | F | F |
| 91541 | T | F | F |
| 91542 | T | F | F |
| 91543 | T | F | F |
| 107731 | T | F | F |
| 107732 | T | F | F |
| 107733 | T | F | F |
| 107734 | T | F | F |
| 107735 | T | F | F |
| 107736 | T | F | F |
| 107737 | T | F | F |
| 107738 | T | F | F |
| 107739 | T | F | F |
| 107740 | T | F | F |
| 107741 | T | F | F |
| 107742 | T | F | F |
| 107743 | T | F | F |
| 107744 | T | F | F |
| 107745 | T | F | F |
| 107746 | T | F | F |
| 107747 | T | F | F |
| 107748 | T | F | F |
| 107749 | T | F | F |
| 107750 | T | F | F |
| 107751 | T | F | F |
| 107752 | T | F | F |
| 107753 | T | F | F |
| 107754 | T | F | F |
| 107755 | T | F | F |
| 107756 | T | F | F |
| 107757 | T | F | F |
| 107758 | T | F | F |
| 107759 | T | F | F |
| 107760 | T | F | F |
| 107761 | T | F | F |
| 107762 | T | F | F |
| 107763 | T | F | F |
| 107764 | T | F | F |
| 107765 | T | F | F |
| 107766 | T | F | F |
| 107767 | T | F | F |
| 107768 | T | F | F |
| 107769 | T | F | F |
| 107770 | T | F | F |
| 107771 | T | F | F |
| 107772 | T | F | F |
| 107773 | T | F | F |
| 107774 | T | F | F |
| 107775 | T | F | F |
| 107776 | T | F | F |
| 107777 | T | F | F |
| 107778 | T | F | F |
| 126594 | T | F | F |
| 126595 | T | F | F |
| 126596 | T | F | F |
| 126597 | T | F | F |
| 126598 | T | F | F |
| 126599 | T | F | F |
| 126600 | T | F | F |
| 126601 | T | F | F |
| 126602 | T | F | F |
| 126603 | T | F | F |
| 126604 | T | F | F |
| 126605 | T | F | F |
| 126606 | T | F | F |
| 126607 | T | F | F |
| 126608 | T | F | F |
| 126609 | T | F | F |
| 126610 | T | F | F |
| 126611 | T | F | F |
| 126612 | T | F | F |
| 126613 | T | F | F |
| 126614 | T | F | F |
| 126615 | T | F | F |
| 126616 | T | F | F |
| 126617 | T | F | F |
| 126618 | T | F | F |
| 126619 | T | F | F |
| 126620 | T | F | F |
| 126621 | T | F | F |
| 126622 | T | F | F |
| 126623 | T | F | F |
| 126624 | T | F | F |
| 126625 | T | F | F |
| 126626 | T | F | F |
| 126627 | T | F | F |
| 126628 | T | F | F |
| 126629 | T | F | F |
| 126630 | T | F | F |
| 126631 | T | F | F |
| 126632 | T | F | F |
| 126633 | T | F | F |
| 126634 | T | F | F |
| 126635 | T | F | F |
| 126636 | T | F | F |
| 126637 | T | F | F |
| 126638 | T | F | F |
| 126639 | T | F | F |
| 126640 | T | F | F |
| 126641 | T | F | F |
| 130429 | T | F | F |
| 130430 | T | F | F |
| 130431 | T | F | F |
| 130432 | T | F | F |
| 130433 | T | F | F |
| 130434 | T | F | F |
| 130435 | T | F | F |
| 130436 | T | F | F |
| 130437 | T | F | F |
| 130438 | T | F | F |
| 130439 | T | F | F |
| 130440 | T | F | F |
| 130441 | T | F | F |
| 130442 | T | F | F |
| 130443 | T | F | F |
| 130444 | T | F | F |
| 131612 | T | F | F |
| 131613 | T | F | F |
| 131614 | T | F | F |
| 131615 | T | F | F |
| 131616 | T | F | F |
| 131617 | T | F | F |
| 131618 | T | F | F |
| 131619 | T | F | F |
| 131620 | T | F | F |
| 131621 | T | F | F |
| 131622 | T | F | F |
| 131623 | T | F | F |
| 131624 | T | F | F |
| 131625 | T | F | F |
| 131626 | T | F | F |
| 131627 | T | F | F |
| 131628 | T | F | F |
| 131629 | T | F | F |
| 132937 | T | F | F |
| 132938 | T | F | F |
| 132939 | T | F | F |
| 132940 | T | F | F |
| 132941 | T | F | F |
| 132942 | T | F | F |
| 132943 | T | F | F |
| 132944 | T | F | F |
| 132945 | T | F | F |
| 132946 | T | F | F |
| 132947 | T | F | F |
| 132948 | T | F | F |
| 132949 | T | F | F |
| 132950 | T | F | F |
| 132951 | T | F | F |
| 132952 | T | F | F |
| 132953 | T | F | F |
Independent-effect pairs
c0(branch5229): GAP view gap →alloc::raw_vec::RawVecInner<A>::grow_amortized· br_ifc1(branch5230): GAP view gap →alloc::raw_vec::RawVecInner<A>::grow_amortized· br_if