Decision #923 — lib.rs:361
Status: no_witness
Truth table
| row | c0 br 6079 | c1 br 6082 | outcome |
|---|---|---|---|
| 32221 | F | T | T |
| 32222 | * | T | T |
| 32223 | F | T | T |
| 32224 | * | T | T |
| 32225 | F | T | T |
| 32226 | F | T | T |
| 32227 | F | T | T |
| 32228 | F | T | T |
| 32229 | F | T | T |
| 32230 | * | T | T |
| 32231 | F | T | T |
| 32232 | F | T | T |
| 32233 | F | T | T |
| 32234 | * | T | T |
| 32235 | F | T | T |
| 32236 | * | T | T |
| 32237 | F | T | T |
| 32238 | F | T | T |
| 32239 | F | T | T |
| 32240 | F | T | T |
| 32241 | F | T | T |
| 32242 | * | T | T |
| 32243 | F | T | T |
| 32244 | * | T | T |
| 32245 | F | T | T |
| 32246 | F | T | T |
| 32247 | F | T | T |
| 32248 | F | T | T |
| 32249 | F | T | T |
| 32250 | * | T | T |
| 32251 | F | T | T |
| 32252 | * | T | T |
| 32253 | F | T | T |
| 32254 | F | T | T |
| 32255 | F | T | T |
| 32256 | F | T | T |
| 32257 | F | T | T |
| 32258 | * | T | T |
| 32259 | F | T | T |
| 32260 | F | T | T |
| 32261 | F | T | T |
| 32262 | * | T | T |
| 32263 | F | T | T |
| 32264 | * | T | T |
| 32265 | F | T | T |
| 32266 | F | T | T |
| 32267 | F | T | T |
| 32268 | F | T | T |
| 32269 | F | T | T |
| 32270 | * | T | T |
| 32271 | F | T | T |
| 32272 | * | T | T |
| 32273 | F | T | T |
| 32274 | F | T | T |
| 32275 | F | T | T |
| 32276 | F | T | T |
| 53075 | F | T | T |
| 53076 | * | T | T |
| 53077 | F | T | T |
| 53078 | * | T | T |
| 53079 | F | T | T |
| 53080 | F | T | T |
| 53081 | F | T | T |
| 53082 | F | T | T |
| 53083 | F | T | T |
| 53084 | * | T | T |
| 53085 | F | T | T |
| 53086 | F | T | T |
| 53087 | F | T | T |
| 53088 | * | T | T |
| 53089 | F | T | T |
| 53090 | * | T | T |
| 53091 | F | T | T |
| 53092 | F | T | T |
| 53093 | F | T | T |
| 53094 | F | T | T |
| 53095 | F | T | T |
| 53096 | * | T | T |
| 53097 | F | T | T |
| 53098 | * | T | T |
| 53099 | F | T | T |
| 53100 | F | T | T |
| 53101 | F | T | T |
| 53102 | F | T | T |
| 53103 | F | T | T |
| 53104 | * | T | T |
| 53105 | F | T | T |
| 53106 | * | T | T |
| 53107 | F | T | T |
| 53108 | F | T | T |
| 53109 | F | T | T |
| 53110 | F | T | T |
| 53111 | F | T | T |
| 53112 | * | T | T |
| 53113 | F | T | T |
| 53114 | F | T | T |
| 53115 | F | T | T |
| 53116 | * | T | T |
| 53117 | F | T | T |
| 53118 | * | T | T |
| 53119 | F | T | T |
| 53120 | F | T | T |
| 53121 | F | T | T |
| 53122 | F | T | T |
| 53123 | F | T | T |
| 53124 | * | T | T |
| 53125 | F | T | T |
| 53126 | * | T | T |
| 53127 | F | T | T |
| 53128 | F | T | T |
| 53129 | F | T | T |
| 53130 | F | T | T |
| 125444 | T | * | T |
| 125445 | T | * | T |
| 125446 | T | * | T |
| 125447 | T | * | T |
| 142163 | T | * | T |
| 142164 | T | * | T |
| 142165 | T | * | T |
| 142166 | T | * | T |
| 230973 | F | T | T |
| 230974 | * | T | T |
| 230975 | F | T | T |
| 230976 | * | T | T |
| 230977 | F | T | T |
| 230978 | F | T | T |
| 230979 | F | T | T |
| 230980 | F | T | T |
| 230981 | F | T | T |
| 230982 | * | T | T |
| 230983 | F | T | T |
| 230984 | * | T | T |
| 230985 | F | T | T |
| 230986 | F | T | T |
| 230987 | F | T | T |
| 230988 | F | T | T |
| 230989 | F | T | T |
| 230990 | F | T | T |
| 230991 | F | T | T |
| 230992 | F | T | T |
| 230993 | F | T | T |
| 230994 | * | T | T |
| 230995 | F | T | T |
| 230996 | * | T | T |
| 230997 | F | T | T |
| 230998 | F | T | T |
| 230999 | F | T | T |
| 231000 | F | T | T |
| 231001 | F | T | T |
| 231002 | * | T | T |
| 231003 | F | T | T |
| 231004 | * | T | T |
| 231005 | F | T | T |
| 231006 | F | T | T |
| 231007 | F | T | T |
| 231008 | F | T | T |
| 231009 | F | T | T |
| 231010 | F | T | T |
| 231011 | F | T | T |
| 231012 | F | T | T |
| 231013 | F | T | T |
| 231014 | * | T | T |
| 231015 | F | T | T |
| 231016 | * | T | T |
| 231017 | F | T | T |
| 231018 | F | T | T |
| 231019 | F | T | T |
| 231020 | F | T | T |
| 231021 | F | T | T |
| 231022 | * | T | T |
| 231023 | F | T | T |
| 231024 | * | T | T |
| 231025 | F | T | T |
| 231026 | F | T | T |
| 231027 | F | T | T |
| 231028 | F | T | T |
| 231029 | F | T | T |
| 231030 | F | T | T |
| 231031 | F | T | T |
| 231032 | F | T | T |
| 231033 | F | T | T |
| 231034 | * | T | T |
| 231035 | F | T | T |
| 231036 | * | T | T |
| 231037 | F | T | T |
| 231038 | F | T | T |
| 231039 | F | T | T |
| 231040 | F | T | T |
| 231041 | F | T | T |
| 231042 | * | T | T |
| 231043 | F | T | T |
| 231044 | F | T | T |
| 231045 | F | T | T |
| 231046 | * | T | T |
| 231047 | F | T | T |
| 231048 | * | T | T |
| 231049 | F | T | T |
| 231050 | F | T | T |
| 231051 | F | T | T |
| 231052 | F | T | T |
| 231053 | F | T | T |
| 231054 | F | T | T |
| 231055 | F | T | T |
| 231056 | F | T | T |
| 231057 | F | T | T |
| 231058 | * | T | T |
| 231059 | F | T | T |
| 231060 | * | T | T |
| 231061 | F | T | T |
| 231062 | F | T | T |
| 231063 | F | T | T |
| 231064 | F | T | T |
| 231065 | F | T | T |
| 231066 | * | T | T |
| 231067 | F | T | T |
| 231068 | F | T | T |
| 231069 | F | T | T |
| 231070 | * | T | T |
| 231071 | F | T | T |
| 231072 | * | T | T |
| 231073 | F | T | T |
| 231074 | F | T | T |
| 231075 | F | T | T |
| 231076 | F | T | T |
| 231077 | F | T | T |
| 231078 | F | T | T |
| 231079 | F | T | T |
| 231080 | F | T | T |
| 231081 | F | T | T |
| 231082 | * | T | T |
| 231083 | F | T | T |
| 231084 | * | T | T |
| 231085 | F | T | T |
| 231086 | F | T | T |
| 231087 | F | T | T |
| 231088 | F | T | T |
| 231089 | F | T | T |
| 231090 | * | T | T |
| 231091 | F | T | T |
| 231092 | F | T | T |
| 231093 | F | T | T |
| 231094 | * | T | T |
| 231095 | F | T | T |
| 231096 | * | T | T |
| 231097 | F | T | T |
| 231098 | F | T | T |
| 231099 | F | T | T |
| 231100 | F | T | T |
| 231101 | F | T | T |
| 231102 | F | T | T |
| 231103 | F | T | T |
| 231104 | F | T | T |
| 231105 | F | T | T |
| 231106 | * | T | T |
| 231107 | F | T | T |
| 231108 | * | T | T |
| 231109 | F | T | T |
| 231110 | F | T | T |
| 231111 | F | T | T |
| 231112 | F | T | T |
| 231113 | F | T | T |
| 231114 | * | T | T |
| 231115 | F | T | T |
| 231116 | F | T | T |
| 231117 | F | T | T |
| 231118 | * | T | T |
| 231119 | F | T | T |
| 231120 | F | T | T |
| 231121 | F | T | T |
| 231122 | * | T | T |
| 231123 | F | T | T |
| 231124 | * | T | T |
| 231125 | F | T | T |
| 231126 | F | T | T |
| 231127 | F | T | T |
| 231128 | F | T | T |
| 231129 | F | T | T |
| 231130 | F | T | T |
| 231131 | F | T | T |
| 231132 | F | T | T |
| 231133 | F | T | T |
| 231134 | * | T | T |
| 231135 | F | T | T |
| 231136 | * | T | T |
| 231137 | F | T | T |
| 231138 | F | T | T |
| 231139 | F | T | T |
| 231140 | F | T | T |
| 231141 | F | T | T |
| 231142 | F | T | T |
| 231143 | F | T | T |
| 231144 | F | T | T |
| 231145 | F | T | T |
| 231146 | * | T | T |
| 231147 | F | T | T |
| 231148 | * | T | T |
| 231149 | F | T | T |
| 231150 | F | T | T |
| 231151 | F | T | T |
| 231152 | F | T | T |
| 231153 | T | * | T |
| 231154 | F | T | T |
| 231155 | F | T | T |
| 231156 | * | T | T |
| 231157 | F | T | T |
| 231158 | * | T | T |
| 231159 | F | T | T |
| 231160 | F | T | T |
| 231161 | F | T | T |
| 231162 | F | T | T |
| 231163 | F | T | T |
| 231164 | * | T | T |
| 231165 | F | T | T |
| 231166 | * | T | T |
| 231167 | F | T | T |
| 231168 | F | T | T |
| 231169 | F | T | T |
| 231170 | F | T | T |
| 231171 | F | T | T |
| 231172 | F | T | T |
| 231173 | F | T | T |
| 231174 | F | T | T |
| 231175 | F | T | T |
| 231176 | * | T | T |
| 231177 | F | T | T |
| 231178 | * | T | T |
| 231179 | F | T | T |
| 231180 | F | T | T |
| 231181 | F | T | T |
| 231182 | F | T | T |
| 231183 | F | T | T |
| 231184 | * | T | T |
| 231185 | F | T | T |
| 231186 | * | T | T |
| 231187 | F | T | T |
| 231188 | F | T | T |
| 231189 | F | T | T |
| 231190 | F | T | T |
| 231191 | F | T | T |
| 231192 | F | T | T |
| 231193 | F | T | T |
| 231194 | F | T | T |
| 231195 | F | T | T |
| 231196 | * | T | T |
| 231197 | F | T | T |
| 231198 | * | T | T |
| 231199 | F | T | T |
| 231200 | F | T | T |
| 231201 | F | T | T |
| 231202 | F | T | T |
| 231203 | F | T | T |
| 231204 | * | T | T |
| 231205 | F | T | T |
| 231206 | * | T | T |
| 231207 | F | T | T |
| 231208 | F | T | T |
| 231209 | F | T | T |
| 231210 | F | T | T |
| 231211 | F | T | T |
| 231212 | F | T | T |
| 231213 | F | T | T |
| 231214 | F | T | T |
| 231215 | F | T | T |
| 231216 | * | T | T |
| 231217 | F | T | T |
| 231218 | * | T | T |
| 231219 | F | T | T |
| 231220 | F | T | T |
| 231221 | F | T | T |
| 231222 | F | T | T |
| 231223 | F | T | T |
| 231224 | * | T | T |
| 231225 | F | T | T |
| 231226 | F | T | T |
| 231227 | F | T | T |
| 231228 | * | T | T |
| 231229 | F | T | T |
| 231230 | * | T | T |
| 231231 | F | T | T |
| 231232 | F | T | T |
| 231233 | F | T | T |
| 231234 | F | T | T |
| 231235 | F | T | T |
| 231236 | F | T | T |
| 231237 | F | T | T |
| 231238 | F | T | T |
| 231239 | F | T | T |
| 231240 | * | T | T |
| 231241 | F | T | T |
| 231242 | * | T | T |
| 231243 | F | T | T |
| 231244 | F | T | T |
| 231245 | F | T | T |
| 231246 | F | T | T |
| 231247 | F | T | T |
| 231248 | * | T | T |
| 231249 | F | T | T |
| 231250 | F | T | T |
| 231251 | F | T | T |
| 231252 | * | T | T |
| 231253 | F | T | T |
| 231254 | * | T | T |
| 231255 | F | T | T |
| 231256 | F | T | T |
| 231257 | F | T | T |
| 231258 | F | T | T |
| 231259 | F | T | T |
| 231260 | F | T | T |
| 231261 | F | T | T |
| 231262 | F | T | T |
| 231263 | F | T | T |
| 231264 | * | T | T |
| 231265 | F | T | T |
| 231266 | * | T | T |
| 231267 | F | T | T |
| 231268 | F | T | T |
| 231269 | F | T | T |
| 231270 | F | T | T |
| 231271 | F | T | T |
| 231272 | * | T | T |
| 231273 | F | T | T |
| 231274 | F | T | T |
| 231275 | F | T | T |
| 231276 | * | T | T |
| 231277 | F | T | T |
| 231278 | * | T | T |
| 231279 | F | T | T |
| 231280 | F | T | T |
| 231281 | F | T | T |
| 231282 | F | T | T |
| 231283 | F | T | T |
| 231284 | F | T | T |
| 231285 | F | T | T |
| 231286 | F | T | T |
| 231287 | F | T | T |
| 231288 | * | T | T |
| 231289 | F | T | T |
| 231290 | * | T | T |
| 231291 | F | T | T |
| 231292 | F | T | T |
| 231293 | F | T | T |
| 231294 | F | T | T |
| 231295 | F | T | T |
| 231296 | * | T | T |
| 231297 | F | T | T |
| 231298 | F | T | T |
| 231299 | F | T | T |
| 231300 | * | T | T |
| 231301 | F | T | T |
| 231302 | F | T | T |
| 231303 | F | T | T |
| 231304 | * | T | T |
| 231305 | F | T | T |
| 231306 | * | T | T |
| 231307 | F | T | T |
| 231308 | F | T | T |
| 231309 | F | T | T |
| 231310 | F | T | T |
| 231311 | F | T | T |
| 231312 | F | T | T |
| 231313 | F | T | T |
| 231314 | F | T | T |
| 231315 | F | T | T |
| 231316 | * | T | T |
| 231317 | F | T | T |
| 231318 | * | T | T |
| 231319 | F | T | T |
| 231320 | F | T | T |
| 231321 | F | T | T |
| 231322 | F | T | T |
| 231323 | F | T | T |
| 231324 | F | T | T |
| 231325 | F | T | T |
| 231326 | F | T | T |
| 231327 | F | T | T |
| 231328 | * | T | T |
| 231329 | F | T | T |
| 231330 | * | T | T |
| 231331 | F | T | T |
| 231332 | F | T | T |
| 231333 | F | T | T |
| 231334 | F | T | T |
| 231335 | T | * | T |
| 231336 | F | T | T |
| 308350 | F | T | T |
| 308351 | * | T | T |
| 308352 | F | T | T |
| 308353 | * | T | T |
| 308354 | F | T | T |
| 308355 | F | T | T |
| 308356 | F | T | T |
| 308357 | F | T | T |
| 308358 | F | T | T |
| 308359 | * | T | T |
| 308360 | F | T | T |
| 308361 | * | T | T |
| 308362 | F | T | T |
| 308363 | F | T | T |
| 308364 | F | T | T |
| 308365 | F | T | T |
| 308366 | F | T | T |
| 308367 | F | T | T |
| 308368 | F | T | T |
| 308369 | F | T | T |
| 308370 | F | T | T |
| 308371 | * | T | T |
| 308372 | F | T | T |
| 308373 | * | T | T |
| 308374 | F | T | T |
| 308375 | F | T | T |
| 308376 | F | T | T |
| 308377 | F | T | T |
| 308378 | F | T | T |
| 308379 | * | T | T |
| 308380 | F | T | T |
| 308381 | * | T | T |
| 308382 | F | T | T |
| 308383 | F | T | T |
| 308384 | F | T | T |
| 308385 | F | T | T |
| 308386 | F | T | T |
| 308387 | F | T | T |
| 308388 | F | T | T |
| 308389 | F | T | T |
| 308390 | F | T | T |
| 308391 | * | T | T |
| 308392 | F | T | T |
| 308393 | * | T | T |
| 308394 | F | T | T |
| 308395 | F | T | T |
| 308396 | F | T | T |
| 308397 | F | T | T |
| 308398 | F | T | T |
| 308399 | * | T | T |
| 308400 | F | T | T |
| 308401 | * | T | T |
| 308402 | F | T | T |
| 308403 | F | T | T |
| 308404 | F | T | T |
| 308405 | F | T | T |
| 308406 | F | T | T |
| 308407 | F | T | T |
| 308408 | F | T | T |
| 308409 | F | T | T |
| 308410 | F | T | T |
| 308411 | * | T | T |
| 308412 | F | T | T |
| 308413 | * | T | T |
| 308414 | F | T | T |
| 308415 | F | T | T |
| 308416 | F | T | T |
| 308417 | F | T | T |
| 308418 | F | T | T |
| 308419 | * | T | T |
| 308420 | F | T | T |
| 308421 | F | T | T |
| 308422 | F | T | T |
| 308423 | * | T | T |
| 308424 | F | T | T |
| 308425 | * | T | T |
| 308426 | F | T | T |
| 308427 | F | T | T |
| 308428 | F | T | T |
| 308429 | F | T | T |
| 308430 | F | T | T |
| 308431 | F | T | T |
| 308432 | F | T | T |
| 308433 | F | T | T |
| 308434 | F | T | T |
| 308435 | * | T | T |
| 308436 | F | T | T |
| 308437 | * | T | T |
| 308438 | F | T | T |
| 308439 | F | T | T |
| 308440 | F | T | T |
| 308441 | F | T | T |
| 308442 | F | T | T |
| 308443 | * | T | T |
| 308444 | F | T | T |
| 308445 | F | T | T |
| 308446 | F | T | T |
| 308447 | * | T | T |
| 308448 | F | T | T |
| 308449 | * | T | T |
| 308450 | F | T | T |
| 308451 | F | T | T |
| 308452 | F | T | T |
| 308453 | F | T | T |
| 308454 | F | T | T |
| 308455 | F | T | T |
| 308456 | F | T | T |
| 308457 | F | T | T |
| 308458 | F | T | T |
| 308459 | * | T | T |
| 308460 | F | T | T |
| 308461 | * | T | T |
| 308462 | F | T | T |
| 308463 | F | T | T |
| 308464 | F | T | T |
| 308465 | F | T | T |
| 308466 | F | T | T |
| 308467 | * | T | T |
| 308468 | F | T | T |
| 308469 | F | T | T |
| 308470 | F | T | T |
| 308471 | * | T | T |
| 308472 | F | T | T |
| 308473 | * | T | T |
| 308474 | F | T | T |
| 308475 | F | T | T |
| 308476 | F | T | T |
| 308477 | F | T | T |
| 308478 | F | T | T |
| 308479 | F | T | T |
| 308480 | F | T | T |
| 308481 | F | T | T |
| 308482 | F | T | T |
| 308483 | * | T | T |
| 308484 | F | T | T |
| 308485 | * | T | T |
| 308486 | F | T | T |
| 308487 | F | T | T |
| 308488 | F | T | T |
| 308489 | F | T | T |
| 308490 | F | T | T |
| 308491 | * | T | T |
| 308492 | F | T | T |
| 308493 | F | T | T |
| 308494 | F | T | T |
| 308495 | * | T | T |
| 308496 | F | T | T |
| 308497 | F | T | T |
| 308498 | F | T | T |
| 308499 | * | T | T |
| 308500 | F | T | T |
| 308501 | * | T | T |
| 308502 | F | T | T |
| 308503 | F | T | T |
| 308504 | F | T | T |
| 308505 | F | T | T |
| 308506 | F | T | T |
| 308507 | F | T | T |
| 308508 | F | T | T |
| 308509 | F | T | T |
| 308510 | F | T | T |
| 308511 | * | T | T |
| 308512 | F | T | T |
| 308513 | * | T | T |
| 308514 | F | T | T |
| 308515 | F | T | T |
| 308516 | F | T | T |
| 308517 | F | T | T |
| 308518 | F | T | T |
| 308519 | F | T | T |
| 308520 | F | T | T |
| 308521 | F | T | T |
| 308522 | F | T | T |
| 308523 | * | T | T |
| 308524 | F | T | T |
| 308525 | * | T | T |
| 308526 | F | T | T |
| 308527 | F | T | T |
| 308528 | F | T | T |
| 308529 | F | T | T |
| 308530 | T | * | T |
| 308531 | F | T | T |
| 308532 | F | T | T |
| 308533 | * | T | T |
| 308534 | F | T | T |
| 308535 | * | T | T |
| 308536 | F | T | T |
| 308537 | F | T | T |
| 308538 | F | T | T |
| 308539 | F | T | T |
| 308540 | F | T | T |
| 308541 | * | T | T |
| 308542 | F | T | T |
| 308543 | * | T | T |
| 308544 | F | T | T |
| 308545 | F | T | T |
| 308546 | F | T | T |
| 308547 | F | T | T |
| 308548 | F | T | T |
| 308549 | F | T | T |
| 308550 | F | T | T |
| 308551 | F | T | T |
| 308552 | F | T | T |
| 308553 | * | T | T |
| 308554 | F | T | T |
| 308555 | * | T | T |
| 308556 | F | T | T |
| 308557 | F | T | T |
| 308558 | F | T | T |
| 308559 | F | T | T |
| 308560 | F | T | T |
| 308561 | * | T | T |
| 308562 | F | T | T |
| 308563 | * | T | T |
| 308564 | F | T | T |
| 308565 | F | T | T |
| 308566 | F | T | T |
| 308567 | F | T | T |
| 308568 | F | T | T |
| 308569 | F | T | T |
| 308570 | F | T | T |
| 308571 | F | T | T |
| 308572 | F | T | T |
| 308573 | * | T | T |
| 308574 | F | T | T |
| 308575 | * | T | T |
| 308576 | F | T | T |
| 308577 | F | T | T |
| 308578 | F | T | T |
| 308579 | F | T | T |
| 308580 | F | T | T |
| 308581 | * | T | T |
| 308582 | F | T | T |
| 308583 | * | T | T |
| 308584 | F | T | T |
| 308585 | F | T | T |
| 308586 | F | T | T |
| 308587 | F | T | T |
| 308588 | F | T | T |
| 308589 | F | T | T |
| 308590 | F | T | T |
| 308591 | F | T | T |
| 308592 | F | T | T |
| 308593 | * | T | T |
| 308594 | F | T | T |
| 308595 | * | T | T |
| 308596 | F | T | T |
| 308597 | F | T | T |
| 308598 | F | T | T |
| 308599 | F | T | T |
| 308600 | F | T | T |
| 308601 | * | T | T |
| 308602 | F | T | T |
| 308603 | F | T | T |
| 308604 | F | T | T |
| 308605 | * | T | T |
| 308606 | F | T | T |
| 308607 | * | T | T |
| 308608 | F | T | T |
| 308609 | F | T | T |
| 308610 | F | T | T |
| 308611 | F | T | T |
| 308612 | F | T | T |
| 308613 | F | T | T |
| 308614 | F | T | T |
| 308615 | F | T | T |
| 308616 | F | T | T |
| 308617 | * | T | T |
| 308618 | F | T | T |
| 308619 | * | T | T |
| 308620 | F | T | T |
| 308621 | F | T | T |
| 308622 | F | T | T |
| 308623 | F | T | T |
| 308624 | F | T | T |
| 308625 | * | T | T |
| 308626 | F | T | T |
| 308627 | F | T | T |
| 308628 | F | T | T |
| 308629 | * | T | T |
| 308630 | F | T | T |
| 308631 | * | T | T |
| 308632 | F | T | T |
| 308633 | F | T | T |
| 308634 | F | T | T |
| 308635 | F | T | T |
| 308636 | F | T | T |
| 308637 | F | T | T |
| 308638 | F | T | T |
| 308639 | F | T | T |
| 308640 | F | T | T |
| 308641 | * | T | T |
| 308642 | F | T | T |
| 308643 | * | T | T |
| 308644 | F | T | T |
| 308645 | F | T | T |
| 308646 | F | T | T |
| 308647 | F | T | T |
| 308648 | F | T | T |
| 308649 | * | T | T |
| 308650 | F | T | T |
| 308651 | F | T | T |
| 308652 | F | T | T |
| 308653 | * | T | T |
| 308654 | F | T | T |
| 308655 | * | T | T |
| 308656 | F | T | T |
| 308657 | F | T | T |
| 308658 | F | T | T |
| 308659 | F | T | T |
| 308660 | F | T | T |
| 308661 | F | T | T |
| 308662 | F | T | T |
| 308663 | F | T | T |
| 308664 | F | T | T |
| 308665 | * | T | T |
| 308666 | F | T | T |
| 308667 | * | T | T |
| 308668 | F | T | T |
| 308669 | F | T | T |
| 308670 | F | T | T |
| 308671 | F | T | T |
| 308672 | F | T | T |
| 308673 | * | T | T |
| 308674 | F | T | T |
| 308675 | F | T | T |
| 308676 | F | T | T |
| 308677 | * | T | T |
| 308678 | F | T | T |
| 308679 | F | T | T |
| 308680 | F | T | T |
| 308681 | * | T | T |
| 308682 | F | T | T |
| 308683 | * | T | T |
| 308684 | F | T | T |
| 308685 | F | T | T |
| 308686 | F | T | T |
| 308687 | F | T | T |
| 308688 | F | T | T |
| 308689 | F | T | T |
| 308690 | F | T | T |
| 308691 | F | T | T |
| 308692 | F | T | T |
| 308693 | * | T | T |
| 308694 | F | T | T |
| 308695 | * | T | T |
| 308696 | F | T | T |
| 308697 | F | T | T |
| 308698 | F | T | T |
| 308699 | F | T | T |
| 308700 | F | T | T |
| 308701 | F | T | T |
| 308702 | F | T | T |
| 308703 | F | T | T |
| 308704 | F | T | T |
| 308705 | * | T | T |
| 308706 | F | T | T |
| 308707 | * | T | T |
| 308708 | F | T | T |
| 308709 | F | T | T |
| 308710 | F | T | T |
| 308711 | F | T | T |
| 308712 | T | * | T |
| 308713 | F | T | T |
Independent-effect pairs
c0(branch6079): GAP view gap →scry_poly::fm_feasible· br_ifc1(branch6082): GAP view gap →scry_poly::fm_feasible· br_if