Decision #321 — lib.rs:3745
Status: partial
Truth table
| row | c0 br 1912 | c1 br 1918 | outcome |
|---|---|---|---|
| 306 | * | F | F |
| 307 | * | F | F |
| 308 | * | F | F |
| 309 | * | F | F |
| 310 | * | F | F |
| 311 | * | F | F |
| 312 | * | F | F |
| 313 | * | F | F |
| 314 | * | F | F |
| 315 | * | F | F |
| 316 | * | F | F |
| 317 | * | F | F |
| 318 | * | F | F |
| 319 | * | F | F |
| 320 | * | F | F |
| 321 | * | F | F |
| 322 | * | F | F |
| 323 | * | F | F |
| 324 | * | F | F |
| 325 | * | F | F |
| 326 | * | F | F |
| 327 | * | F | F |
| 328 | * | F | F |
| 329 | * | F | F |
| 4100 | * | F | F |
| 4101 | * | F | F |
| 4102 | * | F | F |
| 4103 | * | F | F |
| 4104 | * | F | F |
| 4105 | * | F | F |
| 4106 | * | F | F |
| 4107 | * | F | F |
| 4108 | * | F | F |
| 4109 | * | F | F |
| 4110 | * | F | F |
| 4111 | * | F | F |
| 4112 | * | F | F |
| 4113 | * | F | F |
| 4114 | * | F | F |
| 4115 | * | F | F |
| 4116 | * | F | F |
| 4117 | * | F | F |
| 4118 | * | F | F |
| 4119 | * | F | F |
| 4120 | * | F | F |
| 4121 | * | F | F |
| 4122 | * | F | F |
| 4123 | * | F | F |
| 7783 | * | F | F |
| 7784 | * | F | F |
| 7785 | * | F | F |
| 7786 | * | F | F |
| 7787 | * | F | F |
| 7788 | * | F | F |
| 7789 | * | F | F |
| 7790 | * | F | F |
| 7791 | * | F | F |
| 7792 | * | F | F |
| 7793 | * | F | F |
| 7794 | * | F | F |
| 7795 | * | F | F |
| 7796 | * | F | F |
| 7797 | * | F | F |
| 7798 | * | F | F |
| 7799 | * | F | F |
| 7800 | * | F | F |
| 7801 | * | F | F |
| 7802 | * | F | F |
| 7803 | * | F | F |
| 7804 | * | F | F |
| 7805 | * | F | F |
| 7806 | * | F | F |
| 11770 | * | F | F |
| 11771 | * | F | F |
| 11772 | * | F | F |
| 11773 | * | F | F |
| 11774 | * | F | F |
| 11775 | * | F | F |
| 11776 | * | F | F |
| 11777 | * | F | F |
| 11778 | * | F | F |
| 11779 | * | F | F |
| 11780 | * | F | F |
| 11781 | * | F | F |
| 13146 | * | F | F |
| 13147 | * | F | F |
| 13148 | * | F | F |
| 13149 | * | F | F |
| 13150 | * | F | F |
| 13151 | * | F | F |
| 13152 | * | F | F |
| 13153 | * | F | F |
| 13154 | * | F | F |
| 13155 | * | F | F |
| 13156 | * | F | F |
| 13157 | * | F | F |
| 14471 | * | F | F |
| 14472 | * | F | F |
| 14473 | * | F | F |
| 14474 | * | F | F |
| 14475 | * | F | F |
| 14476 | * | F | F |
| 14477 | * | F | F |
| 14478 | * | F | F |
| 14479 | * | F | F |
| 14480 | * | F | F |
| 14481 | * | F | F |
| 14482 | * | F | F |
| 16100 | * | F | F |
| 16101 | F | F | F |
| 16102 | F | F | F |
| 16103 | * | F | F |
| 16104 | * | F | F |
| 16105 | * | F | F |
| 16106 | * | F | F |
| 16107 | * | F | F |
| 16108 | * | F | F |
| 16109 | * | F | F |
| 16110 | * | F | F |
| 16111 | * | F | F |
| 16112 | * | F | F |
| 16113 | * | F | F |
| 16114 | * | F | F |
| 16115 | * | F | F |
| 16116 | * | F | F |
| 16117 | * | F | F |
| 16118 | * | F | F |
| 16119 | * | F | F |
| 16120 | * | F | F |
| 16121 | * | F | F |
| 16122 | * | F | F |
| 16123 | F | F | F |
| 16124 | F | F | F |
| 16125 | * | F | F |
| 16126 | * | F | F |
| 16127 | * | F | F |
| 16128 | * | F | F |
| 16129 | * | F | F |
| 16130 | * | F | F |
| 16131 | * | F | F |
| 16132 | * | F | F |
| 16133 | * | F | F |
| 16134 | * | F | F |
| 16135 | * | F | F |
| 16136 | * | F | F |
| 16137 | * | F | F |
| 16138 | * | F | F |
| 16139 | * | F | F |
| 16140 | * | F | F |
| 16141 | * | F | F |
| 16142 | * | F | F |
| 16143 | * | F | F |
| 25580 | * | F | F |
| 25581 | F | F | F |
| 25582 | F | F | F |
| 25583 | * | F | F |
| 25584 | * | F | F |
| 25585 | * | F | F |
| 25586 | * | F | F |
| 25587 | * | F | F |
| 25588 | * | F | F |
| 25589 | * | F | F |
| 25590 | * | F | F |
| 25591 | * | F | F |
| 25592 | * | F | F |
| 25593 | * | F | F |
| 25594 | * | F | F |
| 25595 | * | F | F |
| 25596 | * | F | F |
| 25597 | * | F | F |
| 25598 | * | F | F |
| 25599 | * | F | F |
| 25600 | * | F | F |
| 25601 | * | F | F |
| 25602 | * | F | F |
| 25603 | F | F | F |
| 25604 | F | F | F |
| 25605 | * | F | F |
| 25606 | * | F | F |
| 25607 | * | F | F |
| 25608 | * | F | F |
| 25609 | * | F | F |
| 25610 | * | F | F |
| 25611 | * | F | F |
| 25612 | * | F | F |
| 25613 | * | F | F |
| 25614 | * | F | F |
| 25615 | * | F | F |
| 25616 | * | F | F |
| 25617 | * | F | F |
| 25618 | * | F | F |
| 25619 | * | F | F |
| 25620 | * | F | F |
| 25621 | * | F | F |
| 25622 | * | F | F |
| 25623 | * | F | F |
| 34944 | F | * | F |
| 34945 | F | F | F |
| 34946 | * | F | F |
| 34947 | * | F | F |
| 34948 | * | F | F |
| 34949 | * | F | F |
| 34950 | * | F | F |
| 34951 | * | F | F |
| 34952 | * | F | F |
| 34953 | * | F | F |
| 34954 | * | F | F |
| 34955 | * | F | F |
| 34956 | * | F | F |
| 34957 | * | F | F |
| 34958 | * | F | F |
| 34959 | * | F | F |
| 34960 | * | F | F |
| 34961 | * | F | F |
| 34962 | * | F | F |
| 34963 | * | F | F |
| 34964 | * | F | F |
| 34965 | * | F | F |
| 34966 | * | F | F |
| 34967 | * | F | F |
| 34968 | * | F | F |
| 34969 | * | F | F |
| 34970 | * | F | F |
| 34971 | * | F | F |
| 34972 | * | F | F |
| 34973 | * | F | F |
| 34974 | * | F | F |
| 34975 | * | F | F |
| 34976 | * | F | F |
| 34977 | * | F | F |
| 34978 | * | F | F |
| 34979 | * | F | F |
| 34980 | * | F | F |
| 34981 | * | F | F |
| 34982 | * | F | F |
| 34983 | * | F | F |
| 34984 | * | F | F |
| 34985 | * | F | F |
| 34986 | * | F | F |
| 34987 | * | F | F |
| 34988 | F | F | F |
| 34989 | F | F | F |
| 34990 | * | F | F |
| 34991 | * | F | F |
| 34992 | * | F | F |
| 34993 | * | F | F |
| 34994 | * | F | F |
| 34995 | * | F | F |
| 34996 | * | F | F |
| 34997 | * | F | F |
| 34998 | * | F | F |
| 34999 | * | F | F |
| 35000 | * | F | F |
| 35001 | * | F | F |
| 35002 | * | F | F |
| 35003 | * | F | F |
| 35004 | * | F | F |
| 35005 | * | F | F |
| 35006 | * | F | F |
| 35007 | * | F | F |
| 35008 | * | F | F |
| 35009 | * | F | F |
| 35010 | * | F | F |
| 35011 | * | F | F |
| 35012 | * | F | F |
| 35013 | * | F | F |
| 35014 | * | F | F |
| 35015 | * | F | F |
| 35016 | * | F | F |
| 35017 | * | F | F |
| 35018 | * | F | F |
| 35019 | * | F | F |
| 35020 | * | F | F |
| 35021 | * | F | F |
| 35022 | * | F | F |
| 35023 | * | F | F |
| 35024 | * | F | F |
| 35025 | * | F | F |
| 35026 | * | F | F |
| 35027 | * | F | F |
| 35028 | * | F | F |
| 35029 | * | F | F |
| 35030 | * | F | F |
| 35031 | * | F | F |
| 35032 | * | F | F |
| 41157 | F | * | F |
| 41158 | F | F | F |
| 41159 | * | F | F |
| 41160 | * | F | F |
| 41161 | * | F | F |
| 41162 | * | F | F |
| 41163 | * | F | F |
| 41164 | * | F | F |
| 41165 | * | F | F |
| 41166 | * | F | F |
| 41167 | * | F | F |
| 41168 | * | F | F |
| 41169 | * | F | F |
| 41170 | * | F | F |
| 41171 | * | F | F |
| 41172 | * | F | F |
| 41173 | * | F | F |
| 41174 | * | F | F |
| 41175 | * | F | F |
| 41176 | * | F | F |
| 41177 | * | F | F |
| 41178 | * | F | F |
| 41179 | * | F | F |
| 41180 | * | F | F |
| 41181 | * | F | F |
| 41182 | * | F | F |
| 41183 | * | F | F |
| 41184 | * | F | F |
| 41185 | * | F | F |
| 41186 | * | F | F |
| 41187 | * | F | F |
| 41188 | * | F | F |
| 41189 | * | F | F |
| 41190 | * | F | F |
| 41191 | * | F | F |
| 41192 | * | F | F |
| 41193 | * | F | F |
| 41194 | * | F | F |
| 41195 | * | F | F |
| 41196 | * | F | F |
| 41197 | * | F | F |
| 41198 | * | F | F |
| 41199 | * | F | F |
| 41200 | * | F | F |
| 41201 | F | F | F |
| 41202 | F | F | F |
| 41203 | * | F | F |
| 41204 | * | F | F |
| 41205 | * | F | F |
| 41206 | * | F | F |
| 41207 | * | F | F |
| 41208 | * | F | F |
| 41209 | * | F | F |
| 41210 | * | F | F |
| 41211 | * | F | F |
| 41212 | * | F | F |
| 41213 | * | F | F |
| 41214 | * | F | F |
| 41215 | * | F | F |
| 41216 | * | F | F |
| 41217 | * | F | F |
| 41218 | * | F | F |
| 41219 | * | F | F |
| 41220 | * | F | F |
| 41221 | * | F | F |
| 41222 | * | F | F |
| 41223 | * | F | F |
| 41224 | * | F | F |
| 41225 | * | F | F |
| 41226 | * | F | F |
| 41227 | * | F | F |
| 41228 | * | F | F |
| 41229 | * | F | F |
| 41230 | * | F | F |
| 41231 | * | F | F |
| 41232 | * | F | F |
| 41233 | * | F | F |
| 41234 | * | F | F |
| 41235 | * | F | F |
| 41236 | * | F | F |
| 41237 | * | F | F |
| 41238 | * | F | F |
| 41239 | * | F | F |
| 41240 | * | F | F |
| 41241 | * | F | F |
| 41242 | * | F | F |
| 41243 | * | F | F |
| 41244 | * | F | F |
| 41245 | * | F | F |
| 47417 | * | F | F |
| 47418 | * | F | F |
| 47419 | * | F | F |
| 47420 | * | F | F |
| 47421 | * | F | F |
| 47422 | * | F | F |
| 47423 | * | F | F |
| 47424 | * | F | F |
| 47425 | * | F | F |
| 47426 | * | F | F |
| 47427 | * | F | F |
| 47428 | * | F | F |
| 47429 | * | F | F |
| 47430 | * | F | F |
| 47431 | * | F | F |
| 47432 | * | F | F |
| 47433 | * | F | F |
| 47434 | * | F | F |
| 47435 | * | F | F |
| 47436 | * | F | F |
| 47437 | * | F | F |
| 47438 | * | F | F |
| 47439 | * | F | F |
| 47440 | * | F | F |
| 47441 | * | F | F |
| 47442 | * | F | F |
| 47443 | * | F | F |
| 47444 | * | F | F |
| 47445 | * | F | F |
| 47446 | * | F | F |
| 47447 | * | F | F |
| 47448 | * | F | F |
| 47449 | * | F | F |
| 47450 | * | F | F |
| 47451 | * | F | F |
| 47452 | * | F | F |
| 51545 | * | F | F |
| 51546 | * | F | F |
| 51547 | * | F | F |
| 51548 | * | F | F |
| 51549 | * | F | F |
| 51550 | * | F | F |
| 51551 | * | F | F |
| 51552 | * | F | F |
| 51553 | * | F | F |
| 51554 | * | F | F |
| 51555 | * | F | F |
| 51556 | * | F | F |
| 51557 | * | F | F |
| 51558 | * | F | F |
| 51559 | * | F | F |
| 51560 | * | F | F |
| 51561 | * | F | F |
| 51562 | * | F | F |
| 51563 | * | F | F |
| 51564 | * | F | F |
| 51565 | * | F | F |
| 51566 | * | F | F |
| 51567 | * | F | F |
| 51568 | * | F | F |
| 51569 | * | F | F |
| 51570 | * | F | F |
| 51571 | * | F | F |
| 51572 | * | F | F |
| 51573 | * | F | F |
| 51574 | * | F | F |
| 51575 | * | F | F |
| 51576 | * | F | F |
| 51577 | * | F | F |
| 51578 | * | F | F |
| 51579 | * | F | F |
| 51580 | * | F | F |
| 56083 | * | F | F |
| 56084 | * | F | F |
| 56085 | * | F | F |
| 56086 | * | F | F |
| 56087 | * | F | F |
| 56088 | * | F | F |
| 56089 | * | F | F |
| 56090 | * | F | F |
| 56091 | * | F | F |
| 56092 | * | F | F |
| 56093 | * | F | F |
| 56094 | * | F | F |
| 56095 | * | F | F |
| 56096 | * | F | F |
| 56097 | * | F | F |
| 56098 | * | F | F |
| 56099 | * | F | F |
| 56100 | * | F | F |
| 56101 | * | F | F |
| 56102 | * | F | F |
| 56103 | * | F | F |
| 56104 | * | F | F |
| 56105 | * | F | F |
| 56106 | * | F | F |
| 56107 | * | F | F |
| 56108 | * | F | F |
| 56109 | * | F | F |
| 56110 | * | F | F |
| 56111 | * | F | F |
| 56112 | * | F | F |
| 56113 | * | F | F |
| 56114 | * | F | F |
| 56115 | * | F | F |
| 56116 | * | F | F |
| 56117 | * | F | F |
| 56118 | * | F | F |
| 60341 | * | F | F |
| 60342 | * | F | F |
| 60343 | * | F | F |
| 60344 | * | F | F |
| 60345 | * | F | F |
| 60346 | * | F | F |
| 60347 | * | F | F |
| 60348 | * | F | F |
| 60349 | * | F | F |
| 60350 | * | F | F |
| 60351 | * | F | F |
| 60352 | * | F | F |
| 60353 | * | F | F |
| 60354 | * | F | F |
| 60355 | * | F | F |
| 60356 | * | F | F |
| 60357 | * | F | F |
| 60358 | * | F | F |
| 60359 | * | F | F |
| 60360 | * | F | F |
| 60361 | * | F | F |
| 60362 | * | F | F |
| 60363 | * | F | F |
| 60364 | * | F | F |
| 60365 | * | F | F |
| 60366 | * | F | F |
| 60367 | * | F | F |
| 60368 | * | F | F |
| 60369 | * | F | F |
| 60370 | * | F | F |
| 60371 | * | F | F |
| 60372 | * | F | F |
| 60373 | * | F | F |
| 60374 | * | F | F |
| 60375 | * | F | F |
| 60376 | * | F | F |
| 64524 | F | * | F |
| 64525 | F | F | F |
| 64526 | * | F | F |
| 64527 | * | F | F |
| 64528 | * | F | F |
| 64529 | * | F | F |
| 64530 | * | F | F |
| 64531 | * | F | F |
| 64532 | * | F | F |
| 64533 | * | F | F |
| 64534 | * | F | F |
| 64535 | * | F | F |
| 64536 | * | F | F |
| 64537 | * | F | F |
| 64538 | * | F | F |
| 64539 | * | F | F |
| 64540 | * | F | F |
| 64541 | * | F | F |
| 64542 | * | F | F |
| 64543 | * | F | F |
| 64544 | * | F | F |
| 64545 | * | F | F |
| 64546 | * | F | F |
| 64547 | * | F | F |
| 64548 | * | F | F |
| 64549 | * | F | F |
| 64550 | * | F | F |
| 64551 | * | F | F |
| 64552 | * | F | F |
| 64553 | * | F | F |
| 64554 | * | F | F |
| 64555 | * | F | F |
| 64556 | * | F | F |
| 64557 | * | F | F |
| 64558 | F | F | F |
| 64559 | F | F | F |
| 64560 | * | F | F |
| 64561 | * | F | F |
| 64562 | * | F | F |
| 64563 | * | F | F |
| 64564 | * | F | F |
| 64565 | * | F | F |
| 64566 | * | F | F |
| 64567 | * | F | F |
| 64568 | * | F | F |
| 64569 | * | F | F |
| 64570 | * | F | F |
| 64571 | * | F | F |
| 64572 | * | F | F |
| 64573 | * | F | F |
| 64574 | * | F | F |
| 64575 | * | F | F |
| 64576 | * | F | F |
| 64577 | * | F | F |
| 64578 | * | F | F |
| 64579 | * | F | F |
| 64580 | * | F | F |
| 64581 | * | F | F |
| 64582 | * | F | F |
| 64583 | * | F | F |
| 64584 | * | F | F |
| 64585 | * | F | F |
| 64586 | * | F | F |
| 64587 | * | F | F |
| 64588 | * | F | F |
| 64589 | * | F | F |
| 64590 | * | F | F |
| 64591 | * | F | F |
| 64592 | * | F | F |
| 76037 | F | * | F |
| 76038 | F | F | F |
| 76039 | * | F | F |
| 76040 | * | F | F |
| 76041 | * | F | F |
| 76042 | * | F | F |
| 76043 | * | F | F |
| 76044 | * | F | F |
| 76045 | * | F | F |
| 76046 | * | F | F |
| 76047 | * | F | F |
| 76048 | * | F | F |
| 76049 | * | F | F |
| 76050 | * | F | F |
| 76051 | * | F | F |
| 76052 | * | F | F |
| 76053 | * | F | F |
| 76054 | * | F | F |
| 76055 | * | F | F |
| 76056 | * | F | F |
| 76057 | * | F | F |
| 76058 | * | F | F |
| 76059 | * | F | F |
| 76060 | * | F | F |
| 76061 | * | F | F |
| 76062 | * | F | F |
| 76063 | * | F | F |
| 76064 | * | F | F |
| 76065 | * | F | F |
| 76066 | * | F | F |
| 76067 | * | F | F |
| 76068 | * | F | F |
| 76069 | * | F | F |
| 76070 | * | F | F |
| 76071 | F | F | F |
| 76072 | F | F | F |
| 76073 | * | F | F |
| 76074 | * | F | F |
| 76075 | * | F | F |
| 76076 | * | F | F |
| 76077 | * | F | F |
| 76078 | * | F | F |
| 76079 | * | F | F |
| 76080 | * | F | F |
| 76081 | * | F | F |
| 76082 | * | F | F |
| 76083 | * | F | F |
| 76084 | * | F | F |
| 76085 | * | F | F |
| 76086 | * | F | F |
| 76087 | * | F | F |
| 76088 | * | F | F |
| 76089 | * | F | F |
| 76090 | * | F | F |
| 76091 | * | F | F |
| 76092 | * | F | F |
| 76093 | * | F | F |
| 76094 | * | F | F |
| 76095 | * | F | F |
| 76096 | * | F | F |
| 76097 | * | F | F |
| 76098 | * | F | F |
| 76099 | * | F | F |
| 76100 | * | F | F |
| 76101 | * | F | F |
| 76102 | * | F | F |
| 76103 | * | F | F |
| 76104 | * | F | F |
| 76105 | * | F | F |
| 87626 | * | F | F |
| 87627 | * | F | F |
| 87628 | * | F | F |
| 87629 | * | F | F |
| 87630 | * | F | F |
| 87631 | * | F | F |
| 87632 | * | F | F |
| 87633 | * | F | F |
| 87634 | * | F | F |
| 87635 | * | F | F |
| 87636 | * | F | F |
| 87637 | * | F | F |
| 87638 | * | F | F |
| 87639 | * | F | F |
| 87640 | * | F | F |
| 87641 | * | F | F |
| 87642 | * | F | F |
| 87643 | * | F | F |
| 87644 | * | F | F |
| 87645 | * | F | F |
| 87646 | * | F | F |
| 87647 | * | F | F |
| 87648 | * | F | F |
| 87649 | * | F | F |
| 87650 | * | F | F |
| 87651 | * | F | F |
| 87652 | * | F | F |
| 87653 | * | F | F |
| 87654 | * | F | F |
| 87655 | * | F | F |
| 87656 | * | F | F |
| 87657 | * | F | F |
| 87658 | * | F | F |
| 87659 | * | F | F |
| 87660 | * | F | F |
| 87661 | * | F | F |
| 87662 | * | F | F |
| 87663 | * | F | F |
| 87664 | * | F | F |
| 87665 | * | F | F |
| 87666 | * | F | F |
| 87667 | * | F | F |
| 87668 | * | F | F |
| 87669 | * | F | F |
| 87670 | * | F | F |
| 87671 | * | F | F |
| 87672 | * | F | F |
| 87673 | * | F | F |
| 91894 | * | F | F |
| 91895 | * | F | F |
| 91896 | * | F | F |
| 91897 | * | F | F |
| 91898 | * | F | F |
| 91899 | * | F | F |
| 91900 | * | F | F |
| 91901 | * | F | F |
| 91902 | * | F | F |
| 91903 | * | F | F |
| 91904 | * | F | F |
| 91905 | * | F | F |
| 91906 | * | F | F |
| 91907 | * | F | F |
| 91908 | * | F | F |
| 91909 | * | F | F |
| 91910 | * | F | F |
| 91911 | * | F | F |
| 91912 | * | F | F |
| 91913 | * | F | F |
| 91914 | * | F | F |
| 91915 | * | F | F |
| 91916 | * | F | F |
| 91917 | * | F | F |
| 91918 | * | F | F |
| 91919 | * | F | F |
| 91920 | * | F | F |
| 91921 | * | F | F |
| 91922 | * | F | F |
| 91923 | * | F | F |
| 91924 | * | F | F |
| 91925 | * | F | F |
| 91926 | * | F | F |
| 91927 | * | F | F |
| 91928 | * | F | F |
| 91929 | * | F | F |
| 91930 | * | F | F |
| 91931 | * | F | F |
| 91932 | * | F | F |
| 91933 | * | F | F |
| 91934 | * | F | F |
| 91935 | * | F | F |
| 91936 | * | F | F |
| 91937 | * | F | F |
| 91938 | * | F | F |
| 91939 | * | F | F |
| 91940 | * | F | F |
| 91941 | * | F | F |
| 95853 | * | F | F |
| 95854 | * | T | T |
| 95855 | * | F | F |
| 95856 | * | F | F |
| 95857 | * | F | F |
| 95858 | * | T | T |
| 95859 | * | F | F |
| 95860 | * | F | F |
| 95861 | * | F | F |
| 95862 | * | T | T |
| 95863 | * | F | F |
| 95864 | * | T | T |
| 97839 | * | F | F |
| 97840 | * | F | F |
| 97841 | * | F | F |
| 97842 | * | F | F |
| 97843 | * | F | F |
| 97844 | * | F | F |
| 97845 | * | F | F |
| 97846 | * | F | F |
| 97847 | * | F | F |
| 97848 | * | F | F |
| 99357 | * | F | F |
| 99358 | * | F | F |
| 99359 | * | F | F |
| 99360 | * | F | F |
| 99361 | * | F | F |
| 99362 | * | F | F |
| 99363 | * | F | F |
| 99364 | * | F | F |
| 99365 | * | F | F |
| 99366 | * | F | F |
| 100772 | * | F | F |
| 100773 | * | F | F |
| 100774 | * | F | F |
| 100775 | * | F | F |
| 100776 | * | F | F |
| 100777 | * | F | F |
| 100778 | * | F | F |
| 100779 | * | F | F |
| 100780 | * | F | F |
| 100781 | * | F | F |
| 102380 | * | F | F |
| 102381 | * | F | F |
| 102382 | * | F | F |
| 102383 | * | F | F |
| 102384 | * | F | F |
| 102385 | * | F | F |
| 102386 | * | F | F |
| 102387 | * | F | F |
| 102388 | * | F | F |
| 102389 | * | F | F |
| 102390 | * | F | F |
| 102391 | * | F | F |
| 102392 | * | F | F |
| 102393 | * | F | F |
| 102394 | * | F | F |
| 102395 | * | F | F |
| 102396 | * | F | F |
| 102397 | * | F | F |
| 102398 | * | F | F |
| 102399 | * | F | F |
| 105094 | * | F | F |
| 105095 | * | F | F |
| 105096 | * | F | F |
| 105097 | * | F | F |
| 105098 | * | F | F |
| 105099 | * | F | F |
| 105100 | * | F | F |
| 105101 | * | F | F |
| 105102 | * | F | F |
| 105103 | * | F | F |
| 105104 | * | F | F |
| 105105 | * | F | F |
| 105106 | * | F | F |
| 105107 | * | F | F |
| 105108 | * | F | F |
| 105109 | * | F | F |
| 105110 | * | F | F |
| 105111 | * | F | F |
| 105112 | * | F | F |
| 105113 | * | F | F |
| 105114 | * | F | F |
| 105115 | * | F | F |
| 105116 | * | F | F |
| 105117 | * | F | F |
| 105118 | * | F | F |
| 105119 | * | F | F |
| 105120 | * | F | F |
| 105121 | * | F | F |
| 105122 | * | F | F |
| 105123 | * | F | F |
| 105124 | * | F | F |
| 105125 | * | F | F |
| 105126 | * | F | F |
| 105127 | * | F | F |
| 105128 | * | F | F |
| 105129 | * | F | F |
| 105130 | * | F | F |
| 105131 | * | F | F |
| 105132 | * | F | F |
| 105133 | * | F | F |
| 105134 | * | F | F |
| 105135 | * | F | F |
| 105136 | * | F | F |
| 105137 | * | F | F |
| 105138 | * | F | F |
| 105139 | * | F | F |
| 105140 | * | F | F |
| 105141 | * | F | F |
| 105142 | * | F | F |
| 105143 | * | F | F |
| 105144 | * | F | F |
| 105145 | * | F | F |
| 105146 | * | F | F |
| 105147 | * | F | F |
| 105148 | * | F | F |
| 105149 | * | F | F |
| 105150 | * | F | F |
| 105151 | * | F | F |
| 105152 | * | F | F |
| 105153 | * | F | F |
| 108815 | * | F | F |
| 108816 | * | F | F |
| 108817 | * | F | F |
| 108818 | * | F | F |
| 108819 | * | F | F |
| 108820 | * | F | F |
| 108821 | * | F | F |
| 108822 | * | F | F |
| 108823 | * | F | F |
| 108824 | * | F | F |
| 108825 | * | F | F |
| 108826 | * | F | F |
| 110979 | * | F | F |
| 110980 | * | F | F |
| 110981 | * | F | F |
| 110982 | * | F | F |
| 110983 | * | F | F |
| 110984 | * | F | F |
| 110985 | * | F | F |
| 110986 | * | F | F |
| 110987 | * | F | F |
| 110988 | * | F | F |
| 110989 | * | T | T |
| 110990 | * | T | T |
| 110991 | * | T | T |
| 110992 | * | T | T |
| 110993 | * | T | T |
| 110994 | * | T | T |
| 110995 | * | T | T |
| 110996 | * | F | F |
| 110997 | * | F | F |
| 110998 | * | F | F |
| 110999 | * | F | F |
| 111000 | * | F | F |
| 111001 | * | F | F |
| 111002 | * | F | F |
| 111003 | * | F | F |
| 111004 | * | F | F |
| 111005 | * | F | F |
| 111006 | * | T | T |
| 111007 | * | T | T |
| 111008 | * | T | T |
| 111009 | * | T | T |
| 111010 | * | T | T |
| 111011 | * | T | T |
| 111012 | * | T | T |
| 111013 | * | F | F |
| 111014 | * | F | F |
| 111015 | * | F | F |
| 111016 | * | F | F |
| 111017 | * | F | F |
| 111018 | * | F | F |
| 111019 | * | F | F |
| 111020 | * | F | F |
| 111021 | * | F | F |
| 111022 | * | F | F |
| 111023 | * | T | T |
| 111024 | * | T | T |
| 111025 | * | T | T |
| 111026 | * | T | T |
| 111027 | * | T | T |
| 111028 | * | T | T |
| 111029 | * | T | T |
| 111030 | * | F | F |
| 111031 | * | F | F |
| 111032 | * | F | F |
| 111033 | * | F | F |
| 111034 | * | F | F |
| 111035 | * | F | F |
| 111036 | * | F | F |
| 111037 | * | F | F |
| 111038 | * | F | F |
| 111039 | * | F | F |
| 111040 | * | T | T |
| 111041 | * | T | T |
| 111042 | * | T | T |
| 111043 | * | T | T |
| 111044 | * | T | T |
| 111045 | * | T | T |
| 111046 | * | T | T |
| 114190 | * | F | F |
| 114191 | * | F | F |
| 114192 | * | F | F |
| 114193 | F | F | F |
| 114194 | * | F | F |
| 114195 | * | F | F |
| 114196 | * | F | F |
| 114197 | * | F | F |
| 114198 | * | F | F |
| 114199 | * | F | F |
| 114200 | * | T | T |
| 114201 | * | T | T |
| 114202 | * | T | T |
| 114203 | * | T | T |
| 114204 | * | T | T |
| 114205 | * | T | T |
| 114206 | * | F | F |
| 114207 | * | F | F |
| 114208 | * | F | F |
| 114209 | F | F | F |
| 114210 | * | F | F |
| 114211 | * | F | F |
| 114212 | * | F | F |
| 114213 | * | F | F |
| 114214 | * | F | F |
| 114215 | * | F | F |
| 114216 | * | T | T |
| 114217 | * | T | T |
| 114218 | * | T | T |
| 114219 | * | T | T |
| 114220 | * | T | T |
| 114221 | * | T | T |
| 117549 | * | F | F |
| 117550 | F | F | F |
| 117551 | F | F | F |
| 117552 | * | F | F |
| 117553 | * | F | F |
| 117554 | * | F | F |
| 117555 | * | F | F |
| 117556 | * | F | F |
| 117557 | * | F | F |
| 117558 | * | F | F |
| 117559 | * | F | F |
| 117560 | * | F | F |
| 117561 | * | F | F |
| 117562 | * | F | F |
| 117563 | * | F | F |
| 117564 | * | F | F |
| 117565 | * | F | F |
| 117566 | * | F | F |
| 117567 | * | F | F |
| 117568 | * | F | F |
| 117569 | * | F | F |
| 117570 | * | F | F |
| 117571 | * | F | F |
| 117572 | * | F | F |
| 117573 | * | F | F |
| 117574 | * | F | F |
| 117575 | * | F | F |
| 117576 | * | F | F |
| 117577 | * | F | F |
| 117578 | * | F | F |
| 117579 | * | F | F |
| 117580 | * | F | F |
| 117581 | * | F | F |
| 117582 | * | F | F |
| 117583 | * | F | F |
| 117584 | * | F | F |
| 117585 | * | F | F |
| 117586 | * | F | F |
| 117587 | * | F | F |
| 117588 | * | F | F |
| 117589 | * | F | F |
| 117590 | * | F | F |
| 117591 | * | F | F |
| 117592 | * | F | F |
| 117593 | * | F | F |
| 117594 | * | F | F |
| 117595 | * | F | F |
| 117596 | * | F | F |
| 117597 | * | F | F |
| 117598 | * | F | F |
| 117599 | * | F | F |
| 117600 | * | F | F |
| 117601 | * | F | F |
| 117602 | * | F | F |
| 117603 | * | F | F |
| 117604 | * | F | F |
| 117605 | * | F | F |
| 117606 | * | F | F |
| 117607 | * | F | F |
| 117608 | * | F | F |
| 117609 | * | F | F |
| 117610 | * | F | F |
| 117611 | * | F | F |
| 117612 | * | F | F |
| 117613 | * | F | F |
| 117614 | F | F | F |
| 117615 | F | F | F |
| 117616 | * | F | F |
| 117617 | * | F | F |
| 117618 | * | F | F |
| 117619 | * | F | F |
| 117620 | * | F | F |
| 117621 | * | F | F |
| 117622 | * | F | F |
| 117623 | * | F | F |
| 117624 | * | F | F |
| 117625 | * | F | F |
| 117626 | * | F | F |
| 117627 | * | F | F |
| 117628 | * | F | F |
| 117629 | * | F | F |
| 117630 | * | F | F |
| 117631 | * | F | F |
| 117632 | * | F | F |
| 117633 | * | F | F |
| 117634 | * | F | F |
| 117635 | * | F | F |
| 117636 | * | F | F |
| 117637 | * | F | F |
| 117638 | * | F | F |
| 117639 | * | F | F |
| 117640 | * | F | F |
| 117641 | * | F | F |
| 117642 | * | F | F |
| 117643 | * | F | F |
| 117644 | * | F | F |
| 117645 | * | F | F |
| 117646 | * | F | F |
| 117647 | * | F | F |
| 117648 | * | F | F |
| 117649 | * | F | F |
| 117650 | * | F | F |
| 117651 | * | F | F |
| 117652 | * | F | F |
| 117653 | * | F | F |
| 117654 | * | F | F |
| 117655 | * | F | F |
| 117656 | * | F | F |
| 117657 | * | F | F |
| 117658 | * | F | F |
| 117659 | * | F | F |
| 117660 | * | F | F |
| 117661 | * | F | F |
| 117662 | * | F | F |
| 117663 | * | F | F |
| 117664 | * | F | F |
| 117665 | * | F | F |
| 117666 | * | F | F |
| 117667 | * | F | F |
| 117668 | * | F | F |
| 117669 | * | F | F |
| 117670 | * | F | F |
| 117671 | * | F | F |
| 117672 | * | F | F |
| 117673 | * | F | F |
| 117674 | * | F | F |
| 117675 | * | F | F |
| 117676 | * | F | F |
| 140485 | * | F | F |
| 140486 | F | F | F |
| 140487 | F | F | F |
| 140488 | * | F | F |
| 140489 | * | F | F |
| 140490 | * | F | F |
| 140491 | * | F | F |
| 140492 | * | F | F |
| 140493 | * | F | F |
| 140494 | * | F | F |
| 140495 | * | F | F |
| 140496 | * | F | F |
| 140497 | * | F | F |
| 140498 | * | F | F |
| 140499 | * | F | F |
| 140500 | * | F | F |
| 140501 | * | F | F |
| 140502 | * | F | F |
| 140503 | * | F | F |
| 140504 | * | F | F |
| 140505 | * | F | F |
| 140506 | * | F | F |
| 140507 | * | F | F |
| 140508 | * | F | F |
| 140509 | * | F | F |
| 140510 | * | F | F |
| 140511 | * | F | F |
| 140512 | * | F | F |
| 140513 | * | F | F |
| 140514 | * | F | F |
| 140515 | * | F | F |
| 140516 | * | F | F |
| 140517 | * | F | F |
| 140518 | * | F | F |
| 140519 | * | F | F |
| 140520 | * | F | F |
| 140521 | * | F | F |
| 140522 | * | F | F |
| 140523 | * | F | F |
| 140524 | * | F | F |
| 140525 | * | F | F |
| 140526 | * | F | F |
| 140527 | * | F | F |
| 140528 | * | F | F |
| 140529 | * | F | F |
| 140530 | * | F | F |
| 140531 | * | F | F |
| 140532 | * | F | F |
| 140533 | * | F | F |
| 140534 | * | F | F |
| 140535 | * | F | F |
| 140536 | * | F | F |
| 140537 | * | F | F |
| 140538 | * | F | F |
| 140539 | * | F | F |
| 140540 | * | F | F |
| 140541 | * | F | F |
| 140542 | * | F | F |
| 140543 | * | F | F |
| 140544 | * | F | F |
| 140545 | * | F | F |
| 140546 | * | F | F |
| 140547 | * | F | F |
| 140548 | * | F | F |
| 140549 | * | F | F |
| 140550 | F | F | F |
| 140551 | F | F | F |
| 140552 | * | F | F |
| 140553 | * | F | F |
| 140554 | * | F | F |
| 140555 | * | F | F |
| 140556 | * | F | F |
| 140557 | * | F | F |
| 140558 | * | F | F |
| 140559 | * | F | F |
| 140560 | * | F | F |
| 140561 | * | F | F |
| 140562 | * | F | F |
| 140563 | * | F | F |
| 140564 | * | F | F |
| 140565 | * | F | F |
| 140566 | * | F | F |
| 140567 | * | F | F |
| 140568 | * | F | F |
| 140569 | * | F | F |
| 140570 | * | F | F |
| 140571 | * | F | F |
| 140572 | * | F | F |
| 140573 | * | F | F |
| 140574 | * | F | F |
| 140575 | * | F | F |
| 140576 | * | F | F |
| 140577 | * | F | F |
| 140578 | * | F | F |
| 140579 | * | F | F |
| 140580 | * | F | F |
| 140581 | * | F | F |
| 140582 | * | F | F |
| 140583 | * | F | F |
| 140584 | * | F | F |
| 140585 | * | F | F |
| 140586 | * | F | F |
| 140587 | * | F | F |
| 140588 | * | F | F |
| 140589 | * | F | F |
| 140590 | * | F | F |
| 140591 | * | F | F |
| 140592 | * | F | F |
| 140593 | * | F | F |
| 140594 | * | F | F |
| 140595 | * | F | F |
| 140596 | * | F | F |
| 140597 | * | F | F |
| 140598 | * | F | F |
| 140599 | * | F | F |
| 140600 | * | F | F |
| 140601 | * | F | F |
| 140602 | * | F | F |
| 140603 | * | F | F |
| 140604 | * | F | F |
| 140605 | * | F | F |
| 140606 | * | F | F |
| 140607 | * | F | F |
| 140608 | * | F | F |
| 140609 | * | F | F |
| 140610 | * | F | F |
| 140611 | * | F | F |
| 140612 | * | F | F |
| 163089 | * | F | F |
| 163090 | * | F | F |
| 163091 | * | F | F |
| 163092 | * | F | F |
| 163093 | * | F | F |
| 163094 | * | F | F |
| 163095 | * | F | F |
| 163096 | * | F | F |
| 164644 | * | F | F |
| 164645 | * | F | F |
| 164646 | * | F | F |
| 164647 | * | F | F |
| 164648 | * | F | F |
| 164649 | * | F | F |
| 164650 | * | F | F |
| 164651 | * | F | F |
| 166366 | * | F | F |
| 166367 | * | F | F |
| 166368 | * | F | F |
| 166369 | * | F | F |
| 166370 | * | F | F |
| 166371 | * | F | F |
| 166372 | * | F | F |
| 166373 | * | F | F |
Independent-effect pairs
c0(branch1912): GAP view gap →<scry_analyze_core::Interp>::seq· br_ifc1(branch1918): PROVED — pair rows306,95854(masking)<scry_analyze_core::Interp>::seq· br_if