Decision #778 — src/readers/core/operators.rs:333
Status: no_witness
Truth table
| row | c0 br 5003 | c1 br 5004 | c2 br 5005 | c3 br 5006 | c4 br 5007 | c5 br 5008 | c6 br 5009 | outcome |
|---|---|---|---|---|---|---|---|---|
| 1933 | * | * | * | * | F | T | * | T |
| 1934 | * | * | * | * | F | T | * | T |
| 1935 | * | * | * | * | F | T | * | T |
| 1936 | * | * | * | * | F | T | * | T |
| 1937 | * | * | * | * | F | T | * | T |
| 1938 | * | * | * | * | F | T | * | T |
| 1939 | * | * | * | * | F | T | * | T |
| 1940 | * | * | * | * | F | T | * | T |
| 1941 | * | * | * | * | F | T | * | T |
| 1942 | * | * | * | * | F | T | * | T |
| 1943 | * | * | * | * | F | T | * | T |
| 1944 | * | * | * | * | F | T | * | T |
| 8892 | * | * | * | * | F | T | * | T |
| 8893 | * | * | * | * | F | T | * | T |
| 8894 | * | * | * | * | F | T | * | T |
| 8895 | * | * | * | * | F | T | * | T |
| 8896 | * | * | * | * | F | T | * | T |
| 8897 | * | * | * | * | F | T | * | T |
| 8898 | * | * | * | * | F | T | * | T |
| 8899 | * | * | * | * | F | T | * | T |
| 8900 | * | * | * | * | F | T | * | T |
| 8901 | * | * | * | * | F | T | * | T |
| 8902 | * | * | * | * | F | T | * | T |
| 8903 | * | * | * | * | F | T | * | T |
| 15698 | * | * | * | * | F | T | * | T |
| 15699 | * | * | * | * | F | T | * | T |
| 15700 | * | * | * | * | F | T | * | T |
| 15701 | * | * | * | * | F | T | * | T |
| 15702 | * | * | * | * | F | T | * | T |
| 15703 | * | * | * | * | F | T | * | T |
| 15704 | * | * | * | * | F | T | * | T |
| 15705 | * | * | * | * | F | T | * | T |
| 15706 | * | * | * | * | F | T | * | T |
| 15707 | * | * | * | * | F | T | * | T |
| 15708 | * | * | * | * | F | T | * | T |
| 15709 | * | * | * | * | F | T | * | T |
| 21998 | * | * | * | * | F | T | * | T |
| 21999 | * | * | * | * | F | T | * | T |
| 22000 | * | * | * | * | F | T | * | T |
| 22001 | * | * | * | * | F | T | * | T |
| 22002 | * | * | * | * | F | T | * | T |
| 22003 | * | * | * | * | F | T | * | T |
| 24740 | * | * | * | * | F | T | * | T |
| 24741 | * | * | * | * | F | T | * | T |
| 24742 | * | * | * | * | F | T | * | T |
| 24743 | * | * | * | * | F | T | * | T |
| 24744 | * | * | * | * | F | T | * | T |
| 24745 | * | * | * | * | F | T | * | T |
| 27384 | * | * | * | * | F | T | * | T |
| 27385 | * | * | * | * | F | T | * | T |
| 27386 | * | * | * | * | F | T | * | T |
| 27387 | * | * | * | * | F | T | * | T |
| 27388 | * | * | * | * | F | T | * | T |
| 27389 | * | * | * | * | F | T | * | T |
| 31263 | * | * | T | * | F | T | * | T |
| 31264 | * | * | F | T | * | * | * | T |
| 31265 | * | * | T | * | * | * | * | T |
| 31266 | * | * | F | T | F | T | * | T |
| 31267 | * | * | T | * | * | * | * | T |
| 31268 | * | * | F | T | * | * | * | T |
| 31269 | * | * | T | * | * | * | * | T |
| 31270 | * | * | F | T | F | T | * | T |
| 31271 | * | * | T | * | * | * | * | T |
| 31272 | * | * | F | T | * | * | * | T |
| 31273 | * | * | T | * | * | * | * | T |
| 31274 | * | * | F | T | F | T | * | T |
| 31275 | * | * | T | * | * | * | * | T |
| 31276 | * | * | F | T | * | * | * | T |
| 31277 | * | * | T | * | * | * | * | T |
| 31278 | * | * | F | T | F | T | * | T |
| 31279 | * | * | T | * | * | * | * | T |
| 31280 | * | * | F | T | * | * | * | T |
| 31281 | * | * | T | * | * | * | * | T |
| 31282 | * | * | F | T | F | T | * | T |
| 31283 | * | * | T | * | * | * | * | T |
| 31284 | * | * | F | T | * | * | * | T |
| 31285 | * | * | T | * | * | * | * | T |
| 31286 | * | * | F | T | F | T | * | T |
| 31287 | * | * | T | * | * | * | * | T |
| 31288 | * | * | F | T | * | * | * | T |
| 31289 | * | * | T | * | * | * | * | T |
| 31290 | * | * | F | T | F | T | * | T |
| 31291 | * | * | T | * | * | * | * | T |
| 31292 | * | * | F | T | * | * | * | T |
| 31293 | * | * | T | * | * | * | * | T |
| 31294 | * | * | F | T | F | T | * | T |
| 52117 | * | * | T | * | F | T | * | T |
| 52118 | * | * | F | T | * | * | * | T |
| 52119 | * | * | T | * | * | * | * | T |
| 52120 | * | * | F | T | F | T | * | T |
| 52121 | * | * | T | * | * | * | * | T |
| 52122 | * | * | F | T | * | * | * | T |
| 52123 | * | * | T | * | * | * | * | T |
| 52124 | * | * | F | T | F | T | * | T |
| 52125 | * | * | T | * | * | * | * | T |
| 52126 | * | * | F | T | * | * | * | T |
| 52127 | * | * | T | * | * | * | * | T |
| 52128 | * | * | F | T | F | T | * | T |
| 52129 | * | * | T | * | * | * | * | T |
| 52130 | * | * | F | T | * | * | * | T |
| 52131 | * | * | T | * | * | * | * | T |
| 52132 | * | * | F | T | F | T | * | T |
| 52133 | * | * | T | * | * | * | * | T |
| 52134 | * | * | F | T | * | * | * | T |
| 52135 | * | * | T | * | * | * | * | T |
| 52136 | * | * | F | T | F | T | * | T |
| 52137 | * | * | T | * | * | * | * | T |
| 52138 | * | * | F | T | * | * | * | T |
| 52139 | * | * | T | * | * | * | * | T |
| 52140 | * | * | F | T | F | T | * | T |
| 52141 | * | * | T | * | * | * | * | T |
| 52142 | * | * | F | T | * | * | * | T |
| 52143 | * | * | T | * | * | * | * | T |
| 52144 | * | * | F | T | F | T | * | T |
| 52145 | * | * | T | * | * | * | * | T |
| 52146 | * | * | F | T | * | * | * | T |
| 52147 | * | * | T | * | * | * | * | T |
| 52148 | * | * | F | T | F | T | * | T |
| 73174 | * | * | * | * | F | T | * | T |
| 73175 | * | * | * | * | F | T | * | T |
| 73176 | * | * | * | * | F | T | * | T |
| 73177 | * | * | * | * | F | T | * | T |
| 73178 | * | * | * | * | F | T | * | T |
| 73179 | * | * | * | * | F | T | * | T |
| 73180 | * | * | * | * | F | T | * | T |
| 83057 | * | * | * | * | F | T | * | T |
| 83058 | * | * | * | * | F | T | * | T |
| 83059 | * | * | * | * | F | T | * | T |
| 83060 | * | * | * | * | F | T | * | T |
| 83061 | * | * | * | * | F | T | * | T |
| 83062 | * | * | * | * | F | T | * | T |
| 83063 | * | * | * | * | F | T | * | T |
| 92701 | * | * | * | * | F | T | * | T |
| 92702 | * | * | * | * | F | T | * | T |
| 92703 | * | * | * | * | F | T | * | T |
| 92704 | * | * | * | * | F | T | * | T |
| 92705 | * | * | * | * | F | T | * | T |
| 92706 | * | * | * | * | F | T | * | T |
| 92707 | * | * | * | * | F | T | * | T |
| 92708 | * | * | * | * | F | T | * | T |
| 92709 | * | * | * | * | F | T | * | T |
| 92710 | * | * | * | * | F | T | * | T |
| 92711 | * | * | * | * | F | T | * | T |
| 92712 | * | * | * | * | F | T | * | T |
| 92713 | * | * | * | * | F | T | * | T |
| 92714 | * | * | * | * | F | T | * | T |
| 100532 | * | * | * | * | F | T | * | T |
| 100533 | * | * | * | * | F | T | * | T |
| 100534 | * | * | * | * | F | T | * | T |
| 100535 | * | * | * | * | F | T | * | T |
| 100536 | * | * | * | * | F | T | * | T |
| 100537 | * | * | * | * | F | T | * | T |
| 100538 | * | * | * | * | F | T | * | T |
| 100539 | * | * | * | * | F | T | * | T |
| 100540 | * | * | * | * | F | T | * | T |
| 100541 | * | * | * | * | F | T | * | T |
| 100542 | * | * | * | * | F | T | * | T |
| 100543 | * | * | * | * | F | T | * | T |
| 100544 | * | * | * | * | F | T | * | T |
| 100545 | * | * | * | * | F | T | * | T |
| 109020 | * | * | * | * | F | T | * | T |
| 109021 | * | * | * | * | F | T | * | T |
| 109022 | * | * | * | * | F | T | * | T |
| 109023 | * | * | * | * | F | T | * | T |
| 109024 | * | * | * | * | F | T | * | T |
| 109025 | * | * | * | * | F | T | * | T |
| 109026 | * | * | * | * | F | T | * | T |
| 109027 | * | * | * | * | F | T | * | T |
| 109028 | * | * | * | * | F | T | * | T |
| 109029 | * | * | * | * | F | T | * | T |
| 109030 | * | * | * | * | F | T | * | T |
| 109031 | * | * | * | * | F | T | * | T |
| 109032 | * | * | * | * | F | T | * | T |
| 109033 | * | * | * | * | F | T | * | T |
| 117045 | * | * | * | * | F | T | * | T |
| 117046 | * | * | * | * | F | T | * | T |
| 117047 | * | * | * | * | F | T | * | T |
| 117048 | * | * | * | * | F | T | * | T |
| 117049 | * | * | * | * | F | T | * | T |
| 117050 | * | * | * | * | F | T | * | T |
| 117051 | * | * | * | * | F | T | * | T |
| 117052 | * | * | * | * | F | T | * | T |
| 117053 | * | * | * | * | F | T | * | T |
| 117054 | * | * | * | * | F | T | * | T |
| 117055 | * | * | * | * | F | T | * | T |
| 117056 | * | * | * | * | F | T | * | T |
| 117057 | * | * | * | * | F | T | * | T |
| 117058 | * | * | * | * | F | T | * | T |
| 125087 | * | * | * | * | F | T | * | T |
| 125088 | * | * | T | * | F | T | * | T |
| 125089 | * | * | F | T | * | * | * | T |
| 125090 | * | * | T | * | * | * | * | T |
| 125091 | * | * | F | T | F | T | * | T |
| 125092 | * | * | T | * | * | * | * | T |
| 125093 | * | * | F | T | * | * | * | T |
| 125094 | * | * | T | * | * | * | * | T |
| 125095 | * | * | F | T | F | T | * | T |
| 125096 | * | * | T | * | * | * | * | T |
| 125097 | * | * | F | T | * | * | * | T |
| 125098 | * | * | T | * | * | * | * | T |
| 125099 | * | * | F | T | F | T | * | T |
| 125100 | * | * | T | * | * | * | * | T |
| 125101 | * | * | F | T | * | * | * | T |
| 125102 | * | * | T | * | * | * | * | T |
| 125103 | * | * | F | T | F | T | * | T |
| 125104 | * | * | T | * | * | * | * | T |
| 125105 | * | * | F | T | * | * | * | T |
| 125106 | * | * | T | * | * | * | * | T |
| 125107 | * | * | F | T | F | T | * | T |
| 125108 | * | * | * | * | F | T | * | T |
| 125109 | * | * | * | * | F | T | * | T |
| 141806 | * | * | * | * | F | T | * | T |
| 141807 | * | * | T | * | F | T | * | T |
| 141808 | * | * | F | T | * | * | * | T |
| 141809 | * | * | T | * | * | * | * | T |
| 141810 | * | * | F | T | F | T | * | T |
| 141811 | * | * | T | * | * | * | * | T |
| 141812 | * | * | F | T | * | * | * | T |
| 141813 | * | * | T | * | * | * | * | T |
| 141814 | * | * | F | T | F | T | * | T |
| 141815 | * | * | T | * | * | * | * | T |
| 141816 | * | * | F | T | * | * | * | T |
| 141817 | * | * | T | * | * | * | * | T |
| 141818 | * | * | F | T | F | T | * | T |
| 141819 | * | * | T | * | * | * | * | T |
| 141820 | * | * | F | T | * | * | * | T |
| 141821 | * | * | T | * | * | * | * | T |
| 141822 | * | * | F | T | F | T | * | T |
| 141823 | * | * | T | * | * | * | * | T |
| 141824 | * | * | F | T | * | * | * | T |
| 141825 | * | * | T | * | * | * | * | T |
| 141826 | * | * | F | T | F | T | * | T |
| 141827 | * | * | * | * | F | T | * | T |
| 141828 | * | * | * | * | F | T | * | T |
| 159340 | * | * | * | * | F | T | * | T |
| 159341 | * | * | * | * | F | T | * | T |
| 159342 | * | * | * | * | F | T | * | T |
| 159343 | * | * | * | * | F | T | * | T |
| 159344 | * | * | * | * | F | T | * | T |
| 159345 | * | * | * | * | F | T | * | T |
| 159346 | * | * | * | * | F | T | * | T |
| 159347 | * | * | * | * | F | T | * | T |
| 159348 | * | * | * | * | F | T | * | T |
| 159349 | * | * | * | * | F | T | * | T |
| 159350 | * | * | * | * | F | T | * | T |
| 159351 | * | * | * | * | F | T | * | T |
| 159352 | * | * | * | * | F | T | * | T |
| 159353 | * | * | * | * | F | T | * | T |
| 159354 | * | * | * | * | F | T | * | T |
| 159355 | * | * | * | * | F | T | * | T |
| 159356 | * | * | * | * | F | T | * | T |
| 159357 | * | * | * | * | F | T | * | T |
| 159358 | * | * | * | * | F | T | * | T |
| 159359 | * | * | * | * | F | T | * | T |
| 159360 | * | * | * | * | F | T | * | T |
| 159361 | * | * | * | * | F | T | * | T |
| 159362 | * | * | * | * | F | T | * | T |
| 159363 | * | * | * | * | F | T | * | T |
| 169198 | * | * | * | * | F | T | * | T |
| 169199 | * | * | * | * | F | T | * | T |
| 169200 | * | * | * | * | F | T | * | T |
| 169201 | * | * | * | * | F | T | * | T |
| 169202 | * | * | * | * | F | T | * | T |
| 169203 | * | * | * | * | F | T | * | T |
| 169204 | * | * | * | * | F | T | * | T |
| 169205 | * | * | * | * | F | T | * | T |
| 169206 | * | * | * | * | F | T | * | T |
| 169207 | * | * | * | * | F | T | * | T |
| 169208 | * | * | * | * | F | T | * | T |
| 169209 | * | * | * | * | F | T | * | T |
| 169210 | * | * | * | * | F | T | * | T |
| 169211 | * | * | * | * | F | T | * | T |
| 169212 | * | * | * | * | F | T | * | T |
| 169213 | * | * | * | * | F | T | * | T |
| 169214 | * | * | * | * | F | T | * | T |
| 169215 | * | * | * | * | F | T | * | T |
| 169216 | * | * | * | * | F | T | * | T |
| 169217 | * | * | * | * | F | T | * | T |
| 169218 | * | * | * | * | F | T | * | T |
| 169219 | * | * | * | * | F | T | * | T |
| 169220 | * | * | * | * | F | T | * | T |
| 169221 | * | * | * | * | F | T | * | T |
| 176964 | * | * | * | * | F | T | * | T |
| 176965 | * | * | * | * | F | T | * | T |
| 181489 | * | * | * | * | F | T | * | T |
| 181490 | * | * | * | * | F | T | * | T |
| 181491 | * | * | * | * | F | T | * | T |
| 181492 | * | * | * | * | F | T | * | T |
| 181493 | * | * | * | * | F | T | * | T |
| 184807 | * | * | * | * | F | T | * | T |
| 184808 | * | * | * | * | F | T | * | T |
| 184809 | * | * | * | * | F | T | * | T |
| 184810 | * | * | * | * | F | T | * | T |
| 184811 | * | * | * | * | F | T | * | T |
| 187916 | * | * | * | * | F | T | * | T |
| 187917 | * | * | * | * | F | T | * | T |
| 187918 | * | * | * | * | F | T | * | T |
| 187919 | * | * | * | * | F | T | * | T |
| 187920 | * | * | * | * | F | T | * | T |
| 191575 | * | * | * | * | F | T | * | T |
| 191576 | * | * | * | * | F | T | * | T |
| 191577 | * | * | * | * | F | T | * | T |
| 191578 | * | * | * | * | F | T | * | T |
| 191579 | * | * | * | * | F | T | * | T |
| 191580 | * | * | * | * | F | T | * | T |
| 191581 | * | * | * | * | F | T | * | T |
| 191582 | * | * | * | * | F | T | * | T |
| 191583 | * | * | * | * | F | T | * | T |
| 191584 | * | * | * | * | F | T | * | T |
| 197461 | * | * | * | * | F | T | * | T |
| 197462 | * | * | * | * | F | T | * | T |
| 197463 | * | * | * | * | F | T | * | T |
| 197464 | * | * | * | * | F | T | * | T |
| 197465 | * | * | * | * | F | T | * | T |
| 197466 | * | * | * | * | F | T | * | T |
| 197467 | * | * | * | * | F | T | * | T |
| 197468 | * | * | * | * | F | T | * | T |
| 197469 | * | * | * | * | F | T | * | T |
| 197470 | * | * | * | * | F | T | * | T |
| 197471 | * | * | * | * | F | T | * | T |
| 197472 | * | * | * | * | F | T | * | T |
| 197473 | * | * | * | * | F | T | * | T |
| 197474 | * | * | * | * | F | T | * | T |
| 197475 | * | * | * | * | F | T | * | T |
| 197476 | * | * | * | * | F | T | * | T |
| 197477 | * | * | * | * | F | T | * | T |
| 197478 | * | * | * | * | F | T | * | T |
| 197479 | * | * | * | * | F | T | * | T |
| 197480 | * | * | * | * | F | T | * | T |
| 197481 | * | * | * | * | F | T | * | T |
| 197482 | * | * | * | * | F | T | * | T |
| 197483 | * | * | * | * | F | T | * | T |
| 197484 | * | * | * | * | F | T | * | T |
| 197485 | * | * | * | * | F | T | * | T |
| 197486 | * | * | * | * | F | T | * | T |
| 197487 | * | * | * | * | F | T | * | T |
| 197488 | * | * | * | * | F | T | * | T |
| 197489 | * | * | * | * | F | T | * | T |
| 197490 | * | * | * | * | F | T | * | T |
| 203613 | * | * | * | * | F | T | * | T |
| 203614 | * | * | * | * | F | T | * | T |
| 203615 | * | * | * | * | F | T | * | T |
| 203616 | * | * | * | * | F | T | * | T |
| 203617 | * | * | * | * | F | T | * | T |
| 203618 | * | * | * | * | F | T | * | T |
| 208718 | * | * | * | * | F | T | * | T |
| 208719 | * | * | * | * | F | T | * | T |
| 208720 | * | * | * | * | F | T | * | T |
| 208721 | * | * | * | * | F | T | * | T |
| 208722 | * | * | * | * | F | T | * | T |
| 208723 | * | * | * | * | F | T | * | T |
| 208724 | * | * | * | * | F | T | * | T |
| 208725 | * | * | * | * | F | T | * | T |
| 208726 | * | * | * | * | F | T | * | T |
| 208727 | * | * | * | * | F | T | * | T |
| 208728 | * | * | * | * | F | T | * | T |
| 208729 | * | * | * | * | F | T | * | T |
| 208730 | * | * | * | * | F | T | * | T |
| 208731 | * | * | * | * | F | T | * | T |
| 208732 | * | * | * | * | F | T | * | T |
| 208733 | * | * | * | * | F | T | * | T |
| 208734 | * | * | * | * | F | T | * | T |
| 208735 | * | * | * | * | F | T | * | T |
| 216204 | * | * | * | * | F | T | * | T |
| 216205 | * | * | * | * | F | T | * | T |
| 216206 | * | * | * | * | F | T | * | T |
| 216207 | * | * | * | * | F | T | * | T |
| 216208 | * | * | * | * | F | T | * | T |
| 216209 | * | * | * | * | F | T | * | T |
| 216210 | * | * | * | * | F | T | * | T |
| 216211 | * | * | * | * | F | T | * | T |
| 216212 | * | * | * | * | F | T | * | T |
| 225058 | * | * | T | * | F | T | * | T |
| 225059 | * | * | F | T | * | * | * | T |
| 225060 | * | * | T | * | * | * | * | T |
| 225061 | * | * | F | T | F | T | * | T |
| 225062 | * | * | T | * | * | * | * | T |
| 225063 | * | * | F | T | * | * | * | T |
| 225064 | * | * | T | * | * | * | * | T |
| 225065 | * | * | F | T | * | * | * | T |
| 225066 | * | * | T | * | * | * | * | T |
| 225067 | * | * | F | F | * | F | F | T |
| 225068 | * | * | T | * | * | * | * | T |
| 225069 | * | * | F | T | * | * | * | T |
| 225070 | * | * | T | * | * | * | * | T |
| 225071 | * | * | F | T | * | * | * | T |
| 225072 | * | * | T | * | * | * | * | T |
| 225073 | * | * | F | F | * | F | F | T |
| 225074 | * | * | T | * | * | * | * | T |
| 225075 | * | * | F | T | * | * | * | T |
| 225076 | * | * | T | * | * | * | * | T |
| 225077 | * | * | F | T | * | * | * | T |
| 225078 | * | * | T | * | * | * | * | T |
| 225079 | * | * | F | F | * | F | F | T |
| 225080 | * | * | T | * | * | * | * | T |
| 225081 | * | * | F | T | * | * | * | T |
| 225082 | * | * | T | * | * | * | * | T |
| 225083 | * | * | F | T | * | * | * | T |
| 225084 | * | * | T | * | * | * | * | T |
| 225085 | * | * | F | F | * | F | F | T |
| 225086 | * | * | T | * | * | * | * | T |
| 225087 | * | * | F | T | * | * | * | T |
| 225088 | * | * | T | * | * | * | * | T |
| 225089 | * | * | F | T | F | T | * | T |
| 225090 | * | * | T | * | * | * | * | T |
| 225091 | * | * | F | T | * | * | * | T |
| 225092 | * | * | T | * | * | * | * | T |
| 225093 | * | * | F | T | F | T | * | T |
| 225094 | * | * | T | * | * | * | * | T |
| 225095 | * | * | F | T | * | * | * | T |
| 225096 | * | * | T | * | * | * | * | T |
| 225097 | * | * | F | T | F | T | * | T |
| 302435 | * | * | T | * | F | T | * | T |
| 302436 | * | * | F | T | * | * | * | T |
| 302437 | * | * | T | * | * | * | * | T |
| 302438 | * | * | F | T | F | T | * | T |
| 302439 | * | * | T | * | * | * | * | T |
| 302440 | * | * | F | T | * | * | * | T |
| 302441 | * | * | T | * | * | * | * | T |
| 302442 | * | * | F | T | * | * | * | T |
| 302443 | * | * | T | * | * | * | * | T |
| 302444 | * | * | F | F | * | F | F | T |
| 302445 | * | * | T | * | * | * | * | T |
| 302446 | * | * | F | T | * | * | * | T |
| 302447 | * | * | T | * | * | * | * | T |
| 302448 | * | * | F | T | * | * | * | T |
| 302449 | * | * | T | * | * | * | * | T |
| 302450 | * | * | F | F | * | F | F | T |
| 302451 | * | * | T | * | * | * | * | T |
| 302452 | * | * | F | T | * | * | * | T |
| 302453 | * | * | T | * | * | * | * | T |
| 302454 | * | * | F | T | * | * | * | T |
| 302455 | * | * | T | * | * | * | * | T |
| 302456 | * | * | F | F | * | F | F | T |
| 302457 | * | * | T | * | * | * | * | T |
| 302458 | * | * | F | T | * | * | * | T |
| 302459 | * | * | T | * | * | * | * | T |
| 302460 | * | * | F | T | * | * | * | T |
| 302461 | * | * | T | * | * | * | * | T |
| 302462 | * | * | F | F | * | F | F | T |
| 302463 | * | * | T | * | * | * | * | T |
| 302464 | * | * | F | T | * | * | * | T |
| 302465 | * | * | T | * | * | * | * | T |
| 302466 | * | * | F | T | F | T | * | T |
| 302467 | * | * | T | * | * | * | * | T |
| 302468 | * | * | F | T | * | * | * | T |
| 302469 | * | * | T | * | * | * | * | T |
| 302470 | * | * | F | T | F | T | * | T |
| 302471 | * | * | T | * | * | * | * | T |
| 302472 | * | * | F | T | * | * | * | T |
| 302473 | * | * | T | * | * | * | * | T |
| 302474 | * | * | F | T | F | T | * | T |
| 377345 | * | * | * | * | F | T | * | T |
| 377346 | * | * | * | * | F | T | * | T |
| 377347 | * | * | * | * | F | T | * | T |
| 377348 | * | * | * | * | F | T | * | T |
| 380002 | * | * | * | * | F | T | * | T |
| 380003 | * | * | * | * | F | T | * | T |
| 380004 | * | * | * | * | F | T | * | T |
| 380005 | * | * | * | * | F | T | * | T |
| 382885 | * | * | * | * | F | T | * | T |
| 382886 | * | * | * | * | F | T | * | T |
| 382887 | * | * | * | * | F | T | * | T |
| 382888 | * | * | * | * | F | T | * | T |
Independent-effect pairs
All 7 conditions live in <alloc::vec::Vec<scry_analyze_core::LinearConstraint> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<scry_analyze_core::LinearConstraint, core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::slice::iter::Iter<scry_poly::Constraint>, scry_analyze_core::snapshot_linear::{closure#0}>, scry_analyze_core::snapshot_linear::{closure#1}>>>::from_iter — 7 br_if
c0(branch5003): DEAD view gap →c1(branch5004): DEAD view gap →c2(branch5005): GAP view gap →c3(branch5006): GAP view gap →c4(branch5007): GAP view gap →c5(branch5008): GAP view gap →c6(branch5009): GAP view gap →