Decision #412 — library/alloc/src/raw_vec/mod.rs:469
Status: no_witness
Truth table
| row | c0 br 2822 | c1 br 2827 | c2 br 2828 | c3 br 2829 | outcome |
|---|---|---|---|---|---|
| 14206 | F | F | F | T | T |
| 14207 | * | F | F | T | T |
| 14208 | * | F | F | T | T |
| 14209 | F | F | F | T | T |
| 14210 | * | F | F | T | T |
| 14211 | * | F | F | T | T |
| 14212 | * | F | F | T | T |
| 14213 | F | F | F | T | T |
| 14214 | * | F | F | T | T |
| 14215 | * | F | F | T | T |
| 14216 | * | F | F | T | T |
| 14217 | F | F | F | T | T |
| 14218 | * | F | F | T | T |
| 14219 | * | F | F | T | T |
| 14220 | * | F | F | T | T |
| 14221 | F | F | F | T | T |
| 14222 | * | F | F | T | T |
| 14223 | * | F | F | T | T |
| 14224 | * | F | F | T | T |
| 14225 | F | F | F | T | T |
| 14226 | * | F | F | T | T |
| 14227 | * | F | F | T | T |
| 14228 | * | F | F | T | T |
| 14229 | F | F | F | T | T |
| 14230 | * | F | F | T | T |
| 14231 | * | F | F | T | T |
| 14232 | * | F | F | T | T |
| 14233 | F | F | F | T | T |
| 14234 | * | F | F | T | T |
| 14235 | * | F | F | T | T |
| 14236 | * | F | F | T | T |
| 14237 | F | F | F | T | T |
| 14238 | * | F | F | T | T |
| 14239 | * | F | F | T | T |
| 14240 | * | F | F | T | T |
| 14241 | F | F | F | T | T |
| 14242 | * | F | F | T | T |
| 14243 | * | F | F | T | T |
| 14244 | * | F | F | T | T |
| 14245 | F | F | F | T | T |
| 14246 | * | F | F | T | T |
| 14247 | * | F | F | T | T |
| 14248 | * | F | F | T | T |
| 14249 | F | F | F | T | T |
| 14250 | * | F | F | T | T |
| 14251 | * | F | F | T | T |
| 14252 | * | F | F | T | T |
| 14253 | F | F | F | T | T |
| 14254 | * | F | F | T | T |
| 14255 | * | F | F | T | T |
| 14256 | * | F | F | T | T |
| 14257 | F | F | F | T | T |
| 14258 | * | F | F | T | T |
| 14259 | * | F | F | T | T |
| 14260 | * | F | F | T | T |
| 14261 | F | F | F | T | T |
| 14262 | * | F | F | T | T |
| 14263 | * | F | F | T | T |
| 14264 | * | F | F | T | T |
| 14265 | F | F | F | T | T |
| 14266 | * | F | F | T | T |
| 14267 | * | F | F | T | T |
| 14268 | * | F | F | T | T |
| 14269 | * | F | F | T | T |
| 21924 | F | F | F | T | T |
| 21925 | * | F | F | T | T |
| 21926 | * | F | F | T | T |
| 21927 | F | F | F | T | T |
| 21928 | * | F | F | T | T |
| 21929 | * | F | F | T | T |
| 21930 | * | F | F | T | T |
| 21931 | F | F | F | T | T |
| 21932 | * | F | F | T | T |
| 21933 | * | F | F | T | T |
| 21934 | * | F | F | T | T |
| 21935 | F | F | F | T | T |
| 21936 | * | F | F | T | T |
| 21937 | * | F | F | T | T |
| 21938 | * | F | F | T | T |
| 21939 | F | F | F | T | T |
| 21940 | * | F | F | T | T |
| 21941 | * | F | F | T | T |
| 21942 | * | F | F | T | T |
| 21943 | F | F | F | T | T |
| 21944 | * | F | F | T | T |
| 21945 | * | F | F | T | T |
| 21946 | * | F | F | T | T |
| 21947 | F | F | F | T | T |
| 21948 | * | F | F | T | T |
| 21949 | * | F | F | T | T |
| 21950 | * | F | F | T | T |
| 21951 | F | F | F | T | T |
| 21952 | * | F | F | T | T |
| 21953 | * | F | F | T | T |
| 21954 | * | F | F | T | T |
| 21955 | F | F | F | T | T |
| 21956 | * | F | F | T | T |
| 21957 | * | F | F | T | T |
| 21958 | * | F | F | T | T |
| 21959 | F | F | F | T | T |
| 21960 | * | F | F | T | T |
| 21961 | * | F | F | T | T |
| 21962 | * | F | F | T | T |
| 21963 | F | F | F | T | T |
| 21964 | * | F | F | T | T |
| 21965 | * | F | F | T | T |
| 21966 | * | F | F | T | T |
| 21967 | F | F | F | T | T |
| 21968 | * | F | F | T | T |
| 21969 | * | F | F | T | T |
| 21970 | * | F | F | T | T |
| 21971 | F | F | F | T | T |
| 21972 | * | F | F | T | T |
| 21973 | * | F | F | T | T |
| 21974 | * | F | F | T | T |
| 21975 | F | F | F | T | T |
| 21976 | * | F | F | T | T |
| 21977 | * | F | F | T | T |
| 21978 | * | F | F | T | T |
| 21979 | F | F | F | T | T |
| 21980 | * | F | F | T | T |
| 21981 | * | F | F | T | T |
| 21982 | * | F | F | T | T |
| 21983 | F | F | F | T | T |
| 21984 | * | F | F | T | T |
| 21985 | * | F | F | T | T |
| 21986 | * | F | F | T | T |
| 21987 | * | F | F | T | T |
| 29657 | F | F | F | T | T |
| 29658 | * | F | F | T | T |
| 29659 | * | F | F | T | T |
| 29660 | * | F | F | T | T |
| 35595 | F | F | F | T | T |
| 35596 | * | F | F | T | T |
| 35597 | * | F | F | T | T |
| 35598 | * | F | F | T | T |
| 54305 | F | F | F | T | T |
| 54306 | * | F | F | T | T |
| 54307 | * | F | F | T | T |
| 54308 | F | F | F | T | T |
| 54309 | * | F | F | T | T |
| 54310 | * | F | F | T | T |
| 54311 | * | F | F | T | T |
| 54312 | F | F | F | T | T |
| 54313 | * | F | F | T | T |
| 54314 | * | F | F | T | T |
| 54315 | * | F | F | T | T |
| 54316 | F | F | F | T | T |
| 54317 | * | F | F | T | T |
| 54318 | * | F | F | T | T |
| 54319 | * | F | F | T | T |
| 54320 | F | F | F | T | T |
| 54321 | * | F | F | T | T |
| 54322 | * | F | F | T | T |
| 54323 | * | F | F | T | T |
| 54324 | F | F | F | T | T |
| 54325 | * | F | F | T | T |
| 54326 | * | F | F | T | T |
| 54327 | * | F | F | T | T |
| 54328 | F | F | F | T | T |
| 54329 | * | F | F | T | T |
| 54330 | * | F | F | T | T |
| 54331 | * | F | F | T | T |
| 54332 | F | F | F | T | T |
| 54333 | * | F | F | T | T |
| 54334 | * | F | F | T | T |
| 54335 | * | F | F | T | T |
| 54336 | F | F | F | T | T |
| 54337 | * | F | F | T | T |
| 54338 | * | F | F | T | T |
| 54339 | * | F | F | T | T |
| 54340 | F | F | F | T | T |
| 54341 | * | F | F | T | T |
| 54342 | * | F | F | T | T |
| 54343 | * | F | F | T | T |
| 54344 | F | F | F | T | T |
| 54345 | * | F | F | T | T |
| 54346 | * | F | F | T | T |
| 54347 | * | F | F | T | T |
| 54348 | F | F | F | T | T |
| 54349 | * | F | F | T | T |
| 54350 | * | F | F | T | T |
| 54351 | * | F | F | T | T |
| 54352 | F | F | F | T | T |
| 54353 | * | F | F | T | T |
| 54354 | * | F | F | T | T |
| 54355 | * | F | F | T | T |
| 54356 | F | F | F | T | T |
| 54357 | * | F | F | T | T |
| 54358 | * | F | F | T | T |
| 54359 | * | F | F | T | T |
| 54360 | F | F | F | T | T |
| 54361 | * | F | F | T | T |
| 54362 | * | F | F | T | T |
| 54363 | * | F | F | T | T |
| 54364 | F | F | F | T | T |
| 54365 | * | F | F | T | T |
| 54366 | * | F | F | T | T |
| 54367 | * | F | F | T | T |
| 54368 | F | F | F | T | T |
| 54369 | * | F | F | T | T |
| 54370 | * | F | F | T | T |
| 54371 | * | F | F | T | T |
| 54372 | F | F | F | T | T |
| 54373 | * | F | F | T | T |
| 54374 | * | F | F | T | T |
| 54375 | * | F | F | T | T |
| 54376 | * | F | F | T | T |
| 64077 | F | F | F | T | T |
| 64078 | * | F | F | T | T |
| 64079 | * | F | F | T | T |
| 64080 | F | F | F | T | T |
| 64081 | * | F | F | T | T |
| 64082 | * | F | F | T | T |
| 64083 | * | F | F | T | T |
| 64084 | F | F | F | T | T |
| 64085 | * | F | F | T | T |
| 64086 | * | F | F | T | T |
| 64087 | * | F | F | T | T |
| 64088 | F | F | F | T | T |
| 64089 | * | F | F | T | T |
| 64090 | * | F | F | T | T |
| 64091 | * | F | F | T | T |
| 64092 | F | F | F | T | T |
| 64093 | * | F | F | T | T |
| 64094 | * | F | F | T | T |
| 64095 | * | F | F | T | T |
| 64096 | F | F | F | T | T |
| 64097 | * | F | F | T | T |
| 64098 | * | F | F | T | T |
| 64099 | * | F | F | T | T |
| 64100 | F | F | F | T | T |
| 64101 | * | F | F | T | T |
| 64102 | * | F | F | T | T |
| 64103 | * | F | F | T | T |
| 64104 | F | F | F | T | T |
| 64105 | * | F | F | T | T |
| 64106 | * | F | F | T | T |
| 64107 | * | F | F | T | T |
| 64108 | F | F | F | T | T |
| 64109 | * | F | F | T | T |
| 64110 | * | F | F | T | T |
| 64111 | * | F | F | T | T |
| 64112 | F | F | F | T | T |
| 64113 | * | F | F | T | T |
| 64114 | * | F | F | T | T |
| 64115 | * | F | F | T | T |
| 64116 | F | F | F | T | T |
| 64117 | * | F | F | T | T |
| 64118 | * | F | F | T | T |
| 64119 | * | F | F | T | T |
| 64120 | F | F | F | T | T |
| 64121 | * | F | F | T | T |
| 64122 | * | F | F | T | T |
| 64123 | * | F | F | T | T |
| 64124 | F | F | F | T | T |
| 64125 | * | F | F | T | T |
| 64126 | * | F | F | T | T |
| 64127 | * | F | F | T | T |
| 64128 | F | F | F | T | T |
| 64129 | * | F | F | T | T |
| 64130 | * | F | F | T | T |
| 64131 | * | F | F | T | T |
| 64132 | F | F | F | T | T |
| 64133 | * | F | F | T | T |
| 64134 | * | F | F | T | T |
| 64135 | * | F | F | T | T |
| 64136 | F | F | F | T | T |
| 64137 | * | F | F | T | T |
| 64138 | * | F | F | T | T |
| 64139 | * | F | F | T | T |
| 64140 | F | F | F | T | T |
| 64141 | * | F | F | T | T |
| 64142 | * | F | F | T | T |
| 64143 | * | F | F | T | T |
| 64144 | F | F | F | T | T |
| 64145 | * | F | F | T | T |
| 64146 | * | F | F | T | T |
| 64147 | * | F | F | T | T |
| 64148 | * | F | F | T | T |
| 94380 | F | F | F | T | T |
| 94381 | * | F | F | T | T |
| 94382 | * | F | F | F | T |
| 94383 | * | F | F | F | T |
| 94384 | * | F | F | T | T |
| 94385 | * | F | F | T | T |
| 94386 | * | F | F | F | T |
| 94387 | * | F | F | F | T |
| 94388 | * | F | F | F | T |
| 94389 | * | F | F | F | T |
| 94390 | * | F | F | T | T |
| 94391 | * | F | F | T | T |
| 94392 | * | F | F | F | T |
| 94393 | * | F | F | F | T |
| 94394 | * | F | F | T | T |
| 94395 | F | F | F | T | T |
| 94396 | * | F | F | T | T |
| 94397 | * | F | F | T | T |
| 94398 | * | F | F | F | T |
| 94399 | * | F | F | F | T |
| 94400 | * | F | F | T | T |
| 94401 | * | F | F | T | T |
| 94402 | * | F | F | F | T |
| 94403 | * | F | F | F | T |
| 94404 | * | F | F | F | T |
| 94405 | * | F | F | F | T |
| 94406 | * | F | F | T | T |
| 94407 | * | F | F | T | T |
| 94408 | * | F | F | F | T |
| 94409 | * | F | F | F | T |
| 94410 | * | F | F | T | T |
| 94411 | F | F | F | T | T |
| 94412 | * | F | F | T | T |
| 94413 | * | F | F | T | T |
| 94414 | * | F | F | F | T |
| 94415 | * | F | F | F | T |
| 94416 | * | F | F | T | T |
| 94417 | * | F | F | T | T |
| 94418 | * | F | F | T | T |
| 94419 | * | F | F | T | T |
| 94420 | * | F | F | T | T |
| 94421 | * | F | F | F | T |
| 94422 | * | F | F | T | T |
| 94423 | * | F | F | T | T |
| 94424 | * | F | F | T | T |
| 94425 | * | F | F | F | T |
| 94426 | * | F | F | T | T |
| 94427 | F | F | F | T | T |
| 94428 | * | F | F | T | T |
| 94429 | * | F | F | T | T |
| 94430 | * | F | F | F | T |
| 94431 | * | F | F | F | T |
| 94432 | * | F | F | T | T |
| 94433 | * | F | F | T | T |
| 94434 | * | F | F | T | T |
| 94435 | * | F | F | T | T |
| 94436 | * | F | F | T | T |
| 94437 | * | F | F | F | T |
| 94438 | * | F | F | T | T |
| 94439 | * | F | F | T | T |
| 94440 | * | F | F | T | T |
| 94441 | * | F | F | F | T |
| 94442 | * | F | F | T | T |
| 94443 | F | F | F | T | T |
| 94444 | * | F | F | T | T |
| 94445 | * | F | F | T | T |
| 94446 | * | F | F | F | T |
| 94447 | * | F | F | F | T |
| 94448 | * | F | F | T | T |
| 94449 | * | F | F | T | T |
| 94450 | * | F | F | T | T |
| 94451 | * | F | F | T | T |
| 94452 | * | F | F | T | T |
| 94453 | * | F | F | F | T |
| 94454 | * | F | F | T | T |
| 94455 | * | F | F | T | T |
| 94456 | * | F | F | T | T |
| 94457 | * | F | F | F | T |
| 94458 | * | F | F | T | T |
| 94459 | F | F | F | T | T |
| 94460 | * | F | F | T | T |
| 94461 | * | F | F | T | T |
| 94462 | * | F | F | F | T |
| 94463 | * | F | F | F | T |
| 94464 | * | F | F | T | T |
| 94465 | * | F | F | T | T |
| 94466 | * | F | F | T | T |
| 94467 | * | F | F | T | T |
| 94468 | * | F | F | T | T |
| 94469 | * | F | F | F | T |
| 94470 | * | F | F | T | T |
| 94471 | * | F | F | T | T |
| 94472 | * | F | F | T | T |
| 94473 | * | F | F | F | T |
| 94474 | * | F | F | T | T |
| 94475 | F | F | F | T | T |
| 94476 | * | F | F | T | T |
| 94477 | * | F | F | T | T |
| 94478 | * | F | F | F | T |
| 94479 | * | F | F | F | T |
| 94480 | * | F | F | T | T |
| 94481 | * | F | F | T | T |
| 94482 | * | F | F | T | T |
| 94483 | * | F | F | T | T |
| 94484 | * | F | F | T | T |
| 94485 | * | F | F | F | T |
| 94486 | * | F | F | T | T |
| 94487 | * | F | F | T | T |
| 94488 | * | F | F | T | T |
| 94489 | * | F | F | F | T |
| 94490 | * | F | F | T | T |
| 94491 | F | F | F | T | T |
| 94492 | * | F | F | T | T |
| 94493 | * | F | F | T | T |
| 94494 | * | F | F | F | T |
| 94495 | * | F | F | F | T |
| 94496 | * | F | F | T | T |
| 94497 | * | F | F | T | T |
| 94498 | * | F | F | T | T |
| 94499 | * | F | F | T | T |
| 94500 | * | F | F | T | T |
| 94501 | * | F | F | F | T |
| 94502 | * | F | F | T | T |
| 94503 | * | F | F | T | T |
| 94504 | * | F | F | T | T |
| 94505 | * | F | F | F | T |
| 94506 | * | F | F | T | T |
| 94507 | F | F | F | T | T |
| 94508 | * | F | F | T | T |
| 94509 | * | F | F | T | T |
| 94510 | * | F | F | F | T |
| 94511 | * | F | F | F | T |
| 94512 | * | F | F | T | T |
| 94513 | * | F | F | T | T |
| 94514 | * | F | F | T | T |
| 94515 | * | F | F | T | T |
| 94516 | * | F | F | T | T |
| 94517 | * | F | F | F | T |
| 94518 | * | F | F | T | T |
| 94519 | * | F | F | T | T |
| 94520 | * | F | F | T | T |
| 94521 | * | F | F | F | T |
| 94522 | * | F | F | T | T |
| 94523 | F | F | F | T | T |
| 94524 | * | F | F | T | T |
| 94525 | * | F | F | T | T |
| 94526 | * | F | F | F | T |
| 94527 | * | F | F | F | T |
| 94528 | * | F | F | T | T |
| 94529 | * | F | F | T | T |
| 94530 | * | F | F | T | T |
| 94531 | * | F | F | T | T |
| 94532 | * | F | F | T | T |
| 94533 | * | F | F | F | T |
| 94534 | * | F | F | T | T |
| 94535 | * | F | F | T | T |
| 94536 | * | F | F | T | T |
| 94537 | * | F | F | F | T |
| 94538 | * | F | F | T | T |
| 94539 | F | F | F | T | T |
| 94540 | * | F | F | T | T |
| 94541 | * | F | F | T | T |
| 94542 | * | F | F | F | T |
| 94543 | * | F | F | F | T |
| 94544 | * | F | F | T | T |
| 94545 | * | F | F | T | T |
| 94546 | * | F | F | T | T |
| 94547 | * | F | F | T | T |
| 94548 | * | F | F | T | T |
| 94549 | * | F | F | F | T |
| 94550 | * | F | F | T | T |
| 94551 | * | F | F | T | T |
| 94552 | * | F | F | T | T |
| 94553 | * | F | F | F | T |
| 94554 | * | F | F | T | T |
| 94555 | F | F | F | T | T |
| 94556 | * | F | F | T | T |
| 94557 | * | F | F | T | T |
| 94558 | * | F | F | F | T |
| 94559 | * | F | F | F | T |
| 94560 | * | F | F | T | T |
| 94561 | * | F | F | T | T |
| 94562 | * | F | F | T | T |
| 94563 | * | F | F | T | T |
| 94564 | * | F | F | T | T |
| 94565 | * | F | F | F | T |
| 94566 | * | F | F | T | T |
| 94567 | * | F | F | T | T |
| 94568 | * | F | F | T | T |
| 94569 | * | F | F | F | T |
| 94570 | * | F | F | T | T |
| 94571 | F | F | F | T | T |
| 94572 | * | F | F | T | T |
| 94573 | * | F | F | T | T |
| 94574 | * | F | F | F | T |
| 94575 | * | F | F | F | T |
| 94576 | * | F | F | T | T |
| 94577 | * | F | F | T | T |
| 94578 | * | F | F | F | T |
| 94579 | * | F | F | F | T |
| 94580 | * | F | F | F | T |
| 94581 | * | F | F | F | T |
| 94582 | * | F | F | T | T |
| 94583 | * | F | F | T | T |
| 94584 | * | F | F | F | T |
| 94585 | * | F | F | F | T |
| 94586 | * | F | F | T | T |
| 94587 | F | F | F | T | T |
| 94588 | * | F | F | T | T |
| 94589 | * | F | F | T | T |
| 94590 | * | F | F | F | T |
| 94591 | * | F | F | F | T |
| 94592 | * | F | F | T | T |
| 94593 | * | F | F | T | T |
| 94594 | * | F | F | F | T |
| 94595 | * | F | F | F | T |
| 94596 | * | F | F | F | T |
| 94597 | * | F | F | F | T |
| 94598 | * | F | F | T | T |
| 94599 | * | F | F | T | T |
| 94600 | * | F | F | F | T |
| 94601 | * | F | F | F | T |
| 94602 | * | F | F | T | T |
| 94603 | F | F | F | T | T |
| 94604 | * | F | F | T | T |
| 94605 | * | F | F | T | T |
| 94606 | * | F | F | F | T |
| 94607 | * | F | F | F | T |
| 94608 | * | F | F | T | T |
| 94609 | * | F | F | T | T |
| 94610 | * | F | F | F | T |
| 94611 | * | F | F | F | T |
| 94612 | * | F | F | F | T |
| 94613 | * | F | F | F | T |
| 94614 | * | F | F | T | T |
| 94615 | * | F | F | T | T |
| 94616 | * | F | F | F | T |
| 94617 | * | F | F | F | T |
| 94618 | * | F | F | T | T |
| 94619 | F | F | F | T | T |
| 94620 | * | F | F | T | T |
| 94621 | * | F | F | T | T |
| 94622 | * | F | F | F | T |
| 94623 | * | F | F | F | T |
| 94624 | * | F | F | T | T |
| 94625 | * | F | F | T | T |
| 94626 | * | F | F | F | T |
| 94627 | * | F | F | F | T |
| 94628 | * | F | F | F | T |
| 94629 | * | F | F | F | T |
| 94630 | * | F | F | T | T |
| 94631 | * | F | F | T | T |
| 94632 | * | F | F | F | T |
| 94633 | * | F | F | F | T |
| 94634 | * | F | F | T | T |
| 94635 | * | F | F | T | T |
| 113243 | F | F | F | T | T |
| 113244 | * | F | F | T | T |
| 113245 | * | F | F | F | T |
| 113246 | * | F | F | F | T |
| 113247 | * | F | F | T | T |
| 113248 | * | F | F | T | T |
| 113249 | * | F | F | F | T |
| 113250 | * | F | F | F | T |
| 113251 | * | F | F | F | T |
| 113252 | * | F | F | F | T |
| 113253 | * | F | F | T | T |
| 113254 | * | F | F | T | T |
| 113255 | * | F | F | F | T |
| 113256 | * | F | F | F | T |
| 113257 | * | F | F | T | T |
| 113258 | F | F | F | T | T |
| 113259 | * | F | F | T | T |
| 113260 | * | F | F | T | T |
| 113261 | * | F | F | F | T |
| 113262 | * | F | F | F | T |
| 113263 | * | F | F | T | T |
| 113264 | * | F | F | T | T |
| 113265 | * | F | F | F | T |
| 113266 | * | F | F | F | T |
| 113267 | * | F | F | F | T |
| 113268 | * | F | F | F | T |
| 113269 | * | F | F | T | T |
| 113270 | * | F | F | T | T |
| 113271 | * | F | F | F | T |
| 113272 | * | F | F | F | T |
| 113273 | * | F | F | T | T |
| 113274 | F | F | F | T | T |
| 113275 | * | F | F | T | T |
| 113276 | * | F | F | T | T |
| 113277 | * | F | F | F | T |
| 113278 | * | F | F | F | T |
| 113279 | * | F | F | T | T |
| 113280 | * | F | F | T | T |
| 113281 | * | F | F | T | T |
| 113282 | * | F | F | T | T |
| 113283 | * | F | F | T | T |
| 113284 | * | F | F | F | T |
| 113285 | * | F | F | T | T |
| 113286 | * | F | F | T | T |
| 113287 | * | F | F | T | T |
| 113288 | * | F | F | F | T |
| 113289 | * | F | F | T | T |
| 113290 | F | F | F | T | T |
| 113291 | * | F | F | T | T |
| 113292 | * | F | F | T | T |
| 113293 | * | F | F | F | T |
| 113294 | * | F | F | F | T |
| 113295 | * | F | F | T | T |
| 113296 | * | F | F | T | T |
| 113297 | * | F | F | T | T |
| 113298 | * | F | F | T | T |
| 113299 | * | F | F | T | T |
| 113300 | * | F | F | F | T |
| 113301 | * | F | F | T | T |
| 113302 | * | F | F | T | T |
| 113303 | * | F | F | T | T |
| 113304 | * | F | F | F | T |
| 113305 | * | F | F | T | T |
| 113306 | F | F | F | T | T |
| 113307 | * | F | F | T | T |
| 113308 | * | F | F | T | T |
| 113309 | * | F | F | F | T |
| 113310 | * | F | F | F | T |
| 113311 | * | F | F | T | T |
| 113312 | * | F | F | T | T |
| 113313 | * | F | F | T | T |
| 113314 | * | F | F | T | T |
| 113315 | * | F | F | T | T |
| 113316 | * | F | F | F | T |
| 113317 | * | F | F | T | T |
| 113318 | * | F | F | T | T |
| 113319 | * | F | F | T | T |
| 113320 | * | F | F | F | T |
| 113321 | * | F | F | T | T |
| 113322 | F | F | F | T | T |
| 113323 | * | F | F | T | T |
| 113324 | * | F | F | T | T |
| 113325 | * | F | F | F | T |
| 113326 | * | F | F | F | T |
| 113327 | * | F | F | T | T |
| 113328 | * | F | F | T | T |
| 113329 | * | F | F | T | T |
| 113330 | * | F | F | T | T |
| 113331 | * | F | F | T | T |
| 113332 | * | F | F | F | T |
| 113333 | * | F | F | T | T |
| 113334 | * | F | F | T | T |
| 113335 | * | F | F | T | T |
| 113336 | * | F | F | F | T |
| 113337 | * | F | F | T | T |
| 113338 | F | F | F | T | T |
| 113339 | * | F | F | T | T |
| 113340 | * | F | F | T | T |
| 113341 | * | F | F | F | T |
| 113342 | * | F | F | F | T |
| 113343 | * | F | F | T | T |
| 113344 | * | F | F | T | T |
| 113345 | * | F | F | T | T |
| 113346 | * | F | F | T | T |
| 113347 | * | F | F | T | T |
| 113348 | * | F | F | F | T |
| 113349 | * | F | F | T | T |
| 113350 | * | F | F | T | T |
| 113351 | * | F | F | T | T |
| 113352 | * | F | F | F | T |
| 113353 | * | F | F | T | T |
| 113354 | F | F | F | T | T |
| 113355 | * | F | F | T | T |
| 113356 | * | F | F | T | T |
| 113357 | * | F | F | F | T |
| 113358 | * | F | F | F | T |
| 113359 | * | F | F | T | T |
| 113360 | * | F | F | T | T |
| 113361 | * | F | F | T | T |
| 113362 | * | F | F | T | T |
| 113363 | * | F | F | T | T |
| 113364 | * | F | F | F | T |
| 113365 | * | F | F | T | T |
| 113366 | * | F | F | T | T |
| 113367 | * | F | F | T | T |
| 113368 | * | F | F | F | T |
| 113369 | * | F | F | T | T |
| 113370 | F | F | F | T | T |
| 113371 | * | F | F | T | T |
| 113372 | * | F | F | T | T |
| 113373 | * | F | F | F | T |
| 113374 | * | F | F | F | T |
| 113375 | * | F | F | T | T |
| 113376 | * | F | F | T | T |
| 113377 | * | F | F | T | T |
| 113378 | * | F | F | T | T |
| 113379 | * | F | F | T | T |
| 113380 | * | F | F | F | T |
| 113381 | * | F | F | T | T |
| 113382 | * | F | F | T | T |
| 113383 | * | F | F | T | T |
| 113384 | * | F | F | F | T |
| 113385 | * | F | F | T | T |
| 113386 | F | F | F | T | T |
| 113387 | * | F | F | T | T |
| 113388 | * | F | F | T | T |
| 113389 | * | F | F | F | T |
| 113390 | * | F | F | F | T |
| 113391 | * | F | F | T | T |
| 113392 | * | F | F | T | T |
| 113393 | * | F | F | T | T |
| 113394 | * | F | F | T | T |
| 113395 | * | F | F | T | T |
| 113396 | * | F | F | F | T |
| 113397 | * | F | F | T | T |
| 113398 | * | F | F | T | T |
| 113399 | * | F | F | T | T |
| 113400 | * | F | F | F | T |
| 113401 | * | F | F | T | T |
| 113402 | F | F | F | T | T |
| 113403 | * | F | F | T | T |
| 113404 | * | F | F | T | T |
| 113405 | * | F | F | F | T |
| 113406 | * | F | F | F | T |
| 113407 | * | F | F | T | T |
| 113408 | * | F | F | T | T |
| 113409 | * | F | F | T | T |
| 113410 | * | F | F | T | T |
| 113411 | * | F | F | T | T |
| 113412 | * | F | F | F | T |
| 113413 | * | F | F | T | T |
| 113414 | * | F | F | T | T |
| 113415 | * | F | F | T | T |
| 113416 | * | F | F | F | T |
| 113417 | * | F | F | T | T |
| 113418 | F | F | F | T | T |
| 113419 | * | F | F | T | T |
| 113420 | * | F | F | T | T |
| 113421 | * | F | F | F | T |
| 113422 | * | F | F | F | T |
| 113423 | * | F | F | T | T |
| 113424 | * | F | F | T | T |
| 113425 | * | F | F | T | T |
| 113426 | * | F | F | T | T |
| 113427 | * | F | F | T | T |
| 113428 | * | F | F | F | T |
| 113429 | * | F | F | T | T |
| 113430 | * | F | F | T | T |
| 113431 | * | F | F | T | T |
| 113432 | * | F | F | F | T |
| 113433 | * | F | F | T | T |
| 113434 | F | F | F | T | T |
| 113435 | * | F | F | T | T |
| 113436 | * | F | F | T | T |
| 113437 | * | F | F | F | T |
| 113438 | * | F | F | F | T |
| 113439 | * | F | F | T | T |
| 113440 | * | F | F | T | T |
| 113441 | * | F | F | F | T |
| 113442 | * | F | F | F | T |
| 113443 | * | F | F | F | T |
| 113444 | * | F | F | F | T |
| 113445 | * | F | F | T | T |
| 113446 | * | F | F | T | T |
| 113447 | * | F | F | F | T |
| 113448 | * | F | F | F | T |
| 113449 | * | F | F | T | T |
| 113450 | F | F | F | T | T |
| 113451 | * | F | F | T | T |
| 113452 | * | F | F | T | T |
| 113453 | * | F | F | F | T |
| 113454 | * | F | F | F | T |
| 113455 | * | F | F | T | T |
| 113456 | * | F | F | T | T |
| 113457 | * | F | F | F | T |
| 113458 | * | F | F | F | T |
| 113459 | * | F | F | F | T |
| 113460 | * | F | F | F | T |
| 113461 | * | F | F | T | T |
| 113462 | * | F | F | T | T |
| 113463 | * | F | F | F | T |
| 113464 | * | F | F | F | T |
| 113465 | * | F | F | T | T |
| 113466 | F | F | F | T | T |
| 113467 | * | F | F | T | T |
| 113468 | * | F | F | T | T |
| 113469 | * | F | F | F | T |
| 113470 | * | F | F | F | T |
| 113471 | * | F | F | T | T |
| 113472 | * | F | F | T | T |
| 113473 | * | F | F | F | T |
| 113474 | * | F | F | F | T |
| 113475 | * | F | F | F | T |
| 113476 | * | F | F | F | T |
| 113477 | * | F | F | T | T |
| 113478 | * | F | F | T | T |
| 113479 | * | F | F | F | T |
| 113480 | * | F | F | F | T |
| 113481 | * | F | F | T | T |
| 113482 | F | F | F | T | T |
| 113483 | * | F | F | T | T |
| 113484 | * | F | F | T | T |
| 113485 | * | F | F | F | T |
| 113486 | * | F | F | F | T |
| 113487 | * | F | F | T | T |
| 113488 | * | F | F | T | T |
| 113489 | * | F | F | F | T |
| 113490 | * | F | F | F | T |
| 113491 | * | F | F | F | T |
| 113492 | * | F | F | F | T |
| 113493 | * | F | F | T | T |
| 113494 | * | F | F | T | T |
| 113495 | * | F | F | F | T |
| 113496 | * | F | F | F | T |
| 113497 | * | F | F | T | T |
| 113498 | * | F | F | T | T |
Independent-effect pairs
All 4 conditions live in scry_octagon::strong_close — 4 br_if
c0(branch2822): GAP view gap →c1(branch2827): GAP view gap →c2(branch2828): GAP view gap →c3(branch2829): GAP view gap →