Decision #990 — library/core/src/slice/index.rs:238
Status: full_mcdc
Truth table
| row | c0 br 6333 | c1 br 6350 | outcome |
|---|---|---|---|
| 2097 | T | * | T |
| 2098 | T | * | T |
| 2099 | T | * | T |
| 2100 | T | * | T |
| 2101 | T | * | T |
| 2102 | T | * | T |
| 2103 | T | * | T |
| 2104 | T | * | T |
| 2105 | T | * | T |
| 2106 | F | * | F |
| 2107 | F | * | F |
| 2108 | T | T | T |
| 2109 | F | F | F |
| 2110 | F | * | F |
| 2111 | T | T | T |
| 2112 | F | F | F |
| 2113 | F | * | F |
| 2114 | T | T | T |
| 2115 | * | F | F |
| 9056 | T | * | T |
| 9057 | T | * | T |
| 9058 | T | * | T |
| 9059 | T | * | T |
| 9060 | T | * | T |
| 9061 | T | * | T |
| 9062 | T | * | T |
| 9063 | T | * | T |
| 9064 | T | * | T |
| 9065 | F | * | F |
| 9066 | F | * | F |
| 9067 | T | T | T |
| 9068 | F | F | F |
| 9069 | F | * | F |
| 9070 | T | T | T |
| 9071 | F | F | F |
| 9072 | F | * | F |
| 9073 | T | T | T |
| 9074 | * | F | F |
| 15862 | T | * | T |
| 15863 | T | * | T |
| 15864 | T | * | T |
| 15865 | T | * | T |
| 15866 | T | * | T |
| 15867 | T | * | T |
| 15868 | T | * | T |
| 15869 | T | * | T |
| 15870 | T | * | T |
| 15871 | F | * | F |
| 15872 | F | * | F |
| 15873 | T | T | T |
| 15874 | F | F | F |
| 15875 | F | * | F |
| 15876 | T | T | T |
| 15877 | F | F | F |
| 15878 | F | * | F |
| 15879 | T | T | T |
| 15880 | * | F | F |
| 22075 | T | * | T |
| 22076 | T | * | T |
| 22077 | T | * | T |
| 22078 | T | * | T |
| 22079 | T | * | T |
| 22080 | T | * | T |
| 24817 | T | * | T |
| 24818 | T | * | T |
| 24819 | T | * | T |
| 24820 | T | * | T |
| 24821 | T | * | T |
| 24822 | T | * | T |
| 27461 | T | * | T |
| 27462 | T | * | T |
| 27463 | T | * | T |
| 27464 | T | * | T |
| 27465 | T | * | T |
| 27466 | T | * | T |
| 34385 | F | * | F |
| 34386 | F | * | F |
| 34387 | F | * | F |
| 34388 | F | * | F |
| 34389 | T | T | T |
| 34390 | * | T | T |
| 34391 | * | T | T |
| 34392 | F | F | F |
| 34393 | F | * | F |
| 34394 | F | * | F |
| 34395 | F | * | F |
| 34396 | T | T | T |
| 34397 | * | T | T |
| 34398 | * | T | T |
| 34399 | F | F | F |
| 34400 | F | * | F |
| 34401 | F | * | F |
| 34402 | F | * | F |
| 34403 | T | T | T |
| 34404 | * | T | T |
| 34405 | * | T | T |
| 34406 | F | F | F |
| 34407 | F | * | F |
| 34408 | F | * | F |
| 34409 | F | * | F |
| 34410 | T | T | T |
| 34411 | * | T | T |
| 34412 | * | T | T |
| 34413 | F | F | F |
| 34414 | F | * | F |
| 34415 | F | * | F |
| 34416 | F | * | F |
| 34417 | T | T | T |
| 34418 | * | T | T |
| 34419 | * | T | T |
| 34420 | F | F | F |
| 34421 | F | * | F |
| 34422 | F | * | F |
| 34423 | F | * | F |
| 34424 | T | T | T |
| 34425 | * | T | T |
| 34426 | * | T | T |
| 34427 | F | F | F |
| 34428 | F | * | F |
| 34429 | F | * | F |
| 34430 | F | * | F |
| 34431 | T | T | T |
| 34432 | * | T | T |
| 34433 | * | T | T |
| 34434 | F | F | F |
| 34435 | F | * | F |
| 34436 | F | * | F |
| 34437 | F | * | F |
| 34438 | T | T | T |
| 34439 | * | T | T |
| 34440 | * | T | T |
| 34441 | F | F | F |
| 34442 | F | * | F |
| 34443 | F | * | F |
| 34444 | F | * | F |
| 34445 | T | T | T |
| 34446 | * | T | T |
| 34447 | * | T | T |
| 34448 | F | F | F |
| 34449 | F | * | F |
| 34450 | F | * | F |
| 34451 | F | * | F |
| 34452 | T | T | T |
| 34453 | * | T | T |
| 34454 | * | T | T |
| 34455 | F | F | F |
| 34456 | F | * | F |
| 34457 | F | * | F |
| 34458 | F | * | F |
| 34459 | T | T | T |
| 34460 | * | T | T |
| 34461 | * | T | T |
| 34462 | F | F | F |
| 34463 | F | * | F |
| 34464 | F | * | F |
| 34465 | F | * | F |
| 34466 | T | T | T |
| 34467 | * | T | T |
| 34468 | * | T | T |
| 34469 | F | F | F |
| 34470 | F | * | F |
| 34471 | F | * | F |
| 34472 | F | * | F |
| 34473 | T | T | T |
| 34474 | * | T | T |
| 34475 | * | T | T |
| 34476 | F | F | F |
| 34477 | F | * | F |
| 34478 | F | * | F |
| 34479 | F | * | F |
| 34480 | T | T | T |
| 34481 | * | T | T |
| 34482 | * | T | T |
| 34483 | F | F | F |
| 34484 | F | * | F |
| 34485 | F | * | F |
| 34486 | F | * | F |
| 34487 | T | T | T |
| 34488 | * | T | T |
| 34489 | * | T | T |
| 34490 | F | F | F |
| 34491 | F | * | F |
| 34492 | F | * | F |
| 34493 | F | * | F |
| 34494 | T | T | T |
| 34495 | * | T | T |
| 34496 | * | T | T |
| 34497 | F | F | F |
| 34498 | F | * | F |
| 34499 | F | * | F |
| 34500 | F | * | F |
| 34501 | T | T | T |
| 34502 | * | T | T |
| 34503 | * | T | T |
| 34504 | F | F | F |
| 34505 | F | * | F |
| 34506 | F | * | F |
| 34507 | F | * | F |
| 34508 | T | T | T |
| 34509 | * | T | T |
| 34510 | * | T | T |
| 34511 | F | F | F |
| 34512 | F | * | F |
| 34513 | F | * | F |
| 34514 | F | * | F |
| 34515 | T | T | T |
| 34516 | * | T | T |
| 34517 | * | T | T |
| 34518 | F | F | F |
| 34519 | F | * | F |
| 34520 | F | * | F |
| 34521 | F | * | F |
| 34522 | T | T | T |
| 34523 | * | T | T |
| 34524 | * | T | T |
| 34525 | F | F | F |
| 34526 | F | * | F |
| 34527 | F | * | F |
| 34528 | F | * | F |
| 34529 | T | T | T |
| 34530 | * | T | T |
| 34531 | * | T | T |
| 34532 | F | F | F |
| 34533 | F | * | F |
| 34534 | F | * | F |
| 34535 | F | * | F |
| 34536 | T | T | T |
| 34537 | * | T | T |
| 34538 | * | T | T |
| 34539 | F | F | F |
| 34540 | F | * | F |
| 34541 | F | * | F |
| 34542 | F | * | F |
| 34543 | T | T | T |
| 34544 | * | T | T |
| 34545 | * | T | T |
| 34546 | F | F | F |
| 34547 | F | * | F |
| 34548 | F | * | F |
| 34549 | F | * | F |
| 34550 | T | T | T |
| 34551 | * | T | T |
| 34552 | * | T | T |
| 34553 | F | F | F |
| 34554 | F | * | F |
| 34555 | F | * | F |
| 34556 | F | * | F |
| 34557 | T | T | T |
| 34558 | * | T | T |
| 34559 | * | T | T |
| 34560 | * | F | F |
| 55239 | F | * | F |
| 55240 | F | * | F |
| 55241 | F | * | F |
| 55242 | F | * | F |
| 55243 | T | T | T |
| 55244 | * | T | T |
| 55245 | * | T | T |
| 55246 | F | F | F |
| 55247 | F | * | F |
| 55248 | F | * | F |
| 55249 | F | * | F |
| 55250 | T | T | T |
| 55251 | * | T | T |
| 55252 | * | T | T |
| 55253 | F | F | F |
| 55254 | F | * | F |
| 55255 | F | * | F |
| 55256 | F | * | F |
| 55257 | T | T | T |
| 55258 | * | T | T |
| 55259 | * | T | T |
| 55260 | F | F | F |
| 55261 | F | * | F |
| 55262 | F | * | F |
| 55263 | F | * | F |
| 55264 | T | T | T |
| 55265 | * | T | T |
| 55266 | * | T | T |
| 55267 | F | F | F |
| 55268 | F | * | F |
| 55269 | F | * | F |
| 55270 | F | * | F |
| 55271 | T | T | T |
| 55272 | * | T | T |
| 55273 | * | T | T |
| 55274 | F | F | F |
| 55275 | F | * | F |
| 55276 | F | * | F |
| 55277 | F | * | F |
| 55278 | T | T | T |
| 55279 | * | T | T |
| 55280 | * | T | T |
| 55281 | F | F | F |
| 55282 | F | * | F |
| 55283 | F | * | F |
| 55284 | F | * | F |
| 55285 | T | T | T |
| 55286 | * | T | T |
| 55287 | * | T | T |
| 55288 | F | F | F |
| 55289 | F | * | F |
| 55290 | F | * | F |
| 55291 | F | * | F |
| 55292 | T | T | T |
| 55293 | * | T | T |
| 55294 | * | T | T |
| 55295 | F | F | F |
| 55296 | F | * | F |
| 55297 | F | * | F |
| 55298 | F | * | F |
| 55299 | T | T | T |
| 55300 | * | T | T |
| 55301 | * | T | T |
| 55302 | F | F | F |
| 55303 | F | * | F |
| 55304 | F | * | F |
| 55305 | F | * | F |
| 55306 | T | T | T |
| 55307 | * | T | T |
| 55308 | * | T | T |
| 55309 | F | F | F |
| 55310 | F | * | F |
| 55311 | F | * | F |
| 55312 | F | * | F |
| 55313 | T | T | T |
| 55314 | * | T | T |
| 55315 | * | T | T |
| 55316 | F | F | F |
| 55317 | F | * | F |
| 55318 | F | * | F |
| 55319 | F | * | F |
| 55320 | T | T | T |
| 55321 | * | T | T |
| 55322 | * | T | T |
| 55323 | F | F | F |
| 55324 | F | * | F |
| 55325 | F | * | F |
| 55326 | F | * | F |
| 55327 | T | T | T |
| 55328 | * | T | T |
| 55329 | * | T | T |
| 55330 | F | F | F |
| 55331 | F | * | F |
| 55332 | F | * | F |
| 55333 | F | * | F |
| 55334 | T | T | T |
| 55335 | * | T | T |
| 55336 | * | T | T |
| 55337 | F | F | F |
| 55338 | F | * | F |
| 55339 | F | * | F |
| 55340 | F | * | F |
| 55341 | T | T | T |
| 55342 | * | T | T |
| 55343 | * | T | T |
| 55344 | F | F | F |
| 55345 | F | * | F |
| 55346 | F | * | F |
| 55347 | F | * | F |
| 55348 | T | T | T |
| 55349 | * | T | T |
| 55350 | * | T | T |
| 55351 | F | F | F |
| 55352 | F | * | F |
| 55353 | F | * | F |
| 55354 | F | * | F |
| 55355 | T | T | T |
| 55356 | * | T | T |
| 55357 | * | T | T |
| 55358 | F | F | F |
| 55359 | F | * | F |
| 55360 | F | * | F |
| 55361 | F | * | F |
| 55362 | T | T | T |
| 55363 | * | T | T |
| 55364 | * | T | T |
| 55365 | F | F | F |
| 55366 | F | * | F |
| 55367 | F | * | F |
| 55368 | F | * | F |
| 55369 | T | T | T |
| 55370 | * | T | T |
| 55371 | * | T | T |
| 55372 | F | F | F |
| 55373 | F | * | F |
| 55374 | F | * | F |
| 55375 | F | * | F |
| 55376 | T | T | T |
| 55377 | * | T | T |
| 55378 | * | T | T |
| 55379 | F | F | F |
| 55380 | F | * | F |
| 55381 | F | * | F |
| 55382 | F | * | F |
| 55383 | T | T | T |
| 55384 | * | T | T |
| 55385 | * | T | T |
| 55386 | F | F | F |
| 55387 | F | * | F |
| 55388 | F | * | F |
| 55389 | F | * | F |
| 55390 | T | T | T |
| 55391 | * | T | T |
| 55392 | * | T | T |
| 55393 | F | F | F |
| 55394 | F | * | F |
| 55395 | F | * | F |
| 55396 | F | * | F |
| 55397 | T | T | T |
| 55398 | * | T | T |
| 55399 | * | T | T |
| 55400 | F | F | F |
| 55401 | F | * | F |
| 55402 | F | * | F |
| 55403 | F | * | F |
| 55404 | T | T | T |
| 55405 | * | T | T |
| 55406 | * | T | T |
| 55407 | F | F | F |
| 55408 | F | * | F |
| 55409 | F | * | F |
| 55410 | F | * | F |
| 55411 | T | T | T |
| 55412 | * | T | T |
| 55413 | * | T | T |
| 55414 | * | F | F |
| 73650 | F | * | F |
| 73651 | F | * | F |
| 73652 | T | T | T |
| 73653 | F | F | F |
| 73654 | F | * | F |
| 73655 | T | T | T |
| 73656 | F | F | F |
| 73657 | F | * | F |
| 73658 | T | T | T |
| 73659 | F | F | F |
| 73660 | F | * | F |
| 73661 | T | T | T |
| 73662 | F | F | F |
| 73663 | F | * | F |
| 73664 | T | T | T |
| 73665 | F | F | F |
| 73666 | F | * | F |
| 73667 | T | T | T |
| 73668 | F | F | F |
| 73669 | F | * | F |
| 73670 | T | T | T |
| 73671 | F | F | F |
| 73672 | F | * | F |
| 73673 | T | T | T |
| 73674 | * | F | F |
| 83533 | F | * | F |
| 83534 | F | * | F |
| 83535 | T | T | T |
| 83536 | F | F | F |
| 83537 | F | * | F |
| 83538 | T | T | T |
| 83539 | F | F | F |
| 83540 | F | * | F |
| 83541 | T | T | T |
| 83542 | F | F | F |
| 83543 | F | * | F |
| 83544 | T | T | T |
| 83545 | F | F | F |
| 83546 | F | * | F |
| 83547 | T | T | T |
| 83548 | F | F | F |
| 83549 | F | * | F |
| 83550 | T | T | T |
| 83551 | F | F | F |
| 83552 | F | * | F |
| 83553 | T | T | T |
| 83554 | F | F | F |
| 83555 | F | * | F |
| 83556 | T | T | T |
| 83557 | * | F | F |
| 92912 | F | * | F |
| 92913 | F | * | F |
| 92914 | T | T | T |
| 92915 | F | F | F |
| 92916 | F | * | F |
| 92917 | T | T | T |
| 92918 | F | F | F |
| 92919 | F | * | F |
| 92920 | T | T | T |
| 92921 | F | F | F |
| 92922 | F | * | F |
| 92923 | T | T | T |
| 92924 | T | F | F |
| 92925 | T | * | T |
| 92926 | T | * | T |
| 92927 | F | * | F |
| 92928 | F | * | F |
| 92929 | T | T | T |
| 92930 | F | F | F |
| 92931 | F | * | F |
| 92932 | T | T | T |
| 92933 | F | F | F |
| 92934 | F | * | F |
| 92935 | T | T | T |
| 92936 | F | F | F |
| 92937 | F | * | F |
| 92938 | T | T | T |
| 92939 | F | F | F |
| 92940 | F | * | F |
| 92941 | T | T | T |
| 92942 | F | F | F |
| 92943 | F | * | F |
| 92944 | T | T | T |
| 92945 | F | F | F |
| 92946 | F | * | F |
| 92947 | T | T | T |
| 92948 | * | F | F |
| 100743 | F | * | F |
| 100744 | F | * | F |
| 100745 | T | T | T |
| 100746 | F | F | F |
| 100747 | F | * | F |
| 100748 | T | T | T |
| 100749 | F | F | F |
| 100750 | F | * | F |
| 100751 | T | T | T |
| 100752 | F | F | F |
| 100753 | F | * | F |
| 100754 | T | T | T |
| 100755 | T | F | F |
| 100756 | T | * | T |
| 100757 | T | * | T |
| 100758 | F | * | F |
| 100759 | F | * | F |
| 100760 | T | T | T |
| 100761 | F | F | F |
| 100762 | F | * | F |
| 100763 | T | T | T |
| 100764 | F | F | F |
| 100765 | F | * | F |
| 100766 | T | T | T |
| 100767 | F | F | F |
| 100768 | F | * | F |
| 100769 | T | T | T |
| 100770 | F | F | F |
| 100771 | F | * | F |
| 100772 | T | T | T |
| 100773 | F | F | F |
| 100774 | F | * | F |
| 100775 | T | T | T |
| 100776 | F | F | F |
| 100777 | F | * | F |
| 100778 | T | T | T |
| 100779 | * | F | F |
| 109231 | F | * | F |
| 109232 | F | * | F |
| 109233 | T | T | T |
| 109234 | F | F | F |
| 109235 | F | * | F |
| 109236 | T | T | T |
| 109237 | F | F | F |
| 109238 | F | * | F |
| 109239 | T | T | T |
| 109240 | F | F | F |
| 109241 | F | * | F |
| 109242 | T | T | T |
| 109243 | T | F | F |
| 109244 | T | * | T |
| 109245 | T | * | T |
| 109246 | F | * | F |
| 109247 | F | * | F |
| 109248 | T | T | T |
| 109249 | F | F | F |
| 109250 | F | * | F |
| 109251 | T | T | T |
| 109252 | F | F | F |
| 109253 | F | * | F |
| 109254 | T | T | T |
| 109255 | F | F | F |
| 109256 | F | * | F |
| 109257 | T | T | T |
| 109258 | F | F | F |
| 109259 | F | * | F |
| 109260 | T | T | T |
| 109261 | F | F | F |
| 109262 | F | * | F |
| 109263 | T | T | T |
| 109264 | F | F | F |
| 109265 | F | * | F |
| 109266 | T | T | T |
| 109267 | * | F | F |
| 117256 | F | * | F |
| 117257 | F | * | F |
| 117258 | T | T | T |
| 117259 | F | F | F |
| 117260 | F | * | F |
| 117261 | T | T | T |
| 117262 | F | F | F |
| 117263 | F | * | F |
| 117264 | T | T | T |
| 117265 | F | F | F |
| 117266 | F | * | F |
| 117267 | T | T | T |
| 117268 | T | F | F |
| 117269 | T | * | T |
| 117270 | T | * | T |
| 117271 | F | * | F |
| 117272 | F | * | F |
| 117273 | T | T | T |
| 117274 | F | F | F |
| 117275 | F | * | F |
| 117276 | T | T | T |
| 117277 | F | F | F |
| 117278 | F | * | F |
| 117279 | T | T | T |
| 117280 | F | F | F |
| 117281 | F | * | F |
| 117282 | T | T | T |
| 117283 | F | F | F |
| 117284 | F | * | F |
| 117285 | T | T | T |
| 117286 | F | F | F |
| 117287 | F | * | F |
| 117288 | T | T | T |
| 117289 | F | F | F |
| 117290 | F | * | F |
| 117291 | T | T | T |
| 117292 | * | F | F |
| 126612 | F | * | F |
| 126613 | F | * | F |
| 126614 | F | * | F |
| 126615 | F | * | F |
| 126616 | T | T | T |
| 126617 | * | T | T |
| 126618 | * | T | T |
| 126619 | F | F | F |
| 126620 | F | * | F |
| 126621 | F | * | F |
| 126622 | F | * | F |
| 126623 | T | T | T |
| 126624 | * | T | T |
| 126625 | * | T | T |
| 126626 | F | F | F |
| 126627 | F | * | F |
| 126628 | F | * | F |
| 126629 | F | * | F |
| 126630 | T | T | T |
| 126631 | * | T | T |
| 126632 | * | T | T |
| 126633 | F | F | F |
| 126634 | F | * | F |
| 126635 | F | * | F |
| 126636 | F | * | F |
| 126637 | T | T | T |
| 126638 | * | T | T |
| 126639 | * | T | T |
| 126640 | F | F | F |
| 126641 | F | * | F |
| 126642 | F | * | F |
| 126643 | F | * | F |
| 126644 | T | T | T |
| 126645 | * | T | T |
| 126646 | * | T | T |
| 126647 | F | F | F |
| 126648 | F | * | F |
| 126649 | F | * | F |
| 126650 | F | * | F |
| 126651 | T | T | T |
| 126652 | * | T | T |
| 126653 | * | T | T |
| 126654 | F | F | F |
| 126655 | F | * | F |
| 126656 | F | * | F |
| 126657 | F | * | F |
| 126658 | T | T | T |
| 126659 | * | T | T |
| 126660 | * | T | T |
| 126661 | F | F | F |
| 126662 | F | * | F |
| 126663 | F | * | F |
| 126664 | F | * | F |
| 126665 | T | T | T |
| 126666 | * | T | T |
| 126667 | * | T | T |
| 126668 | F | F | F |
| 126669 | F | * | F |
| 126670 | F | * | F |
| 126671 | F | * | F |
| 126672 | T | T | T |
| 126673 | * | T | T |
| 126674 | * | T | T |
| 126675 | F | F | F |
| 126676 | F | * | F |
| 126677 | F | * | F |
| 126678 | F | * | F |
| 126679 | T | T | T |
| 126680 | * | T | T |
| 126681 | * | T | T |
| 126682 | F | F | F |
| 126683 | F | * | F |
| 126684 | F | * | F |
| 126685 | F | * | F |
| 126686 | T | T | T |
| 126687 | * | T | T |
| 126688 | * | T | T |
| 126689 | F | F | F |
| 126690 | F | * | F |
| 126691 | F | * | F |
| 126692 | F | * | F |
| 126693 | T | T | T |
| 126694 | * | T | T |
| 126695 | * | T | T |
| 126696 | F | F | F |
| 126697 | F | * | F |
| 126698 | F | * | F |
| 126699 | F | * | F |
| 126700 | T | T | T |
| 126701 | * | T | T |
| 126702 | * | T | T |
| 126703 | F | F | F |
| 126704 | F | * | F |
| 126705 | F | * | F |
| 126706 | F | * | F |
| 126707 | T | T | T |
| 126708 | * | T | T |
| 126709 | * | T | T |
| 126710 | F | F | F |
| 126711 | F | * | F |
| 126712 | F | * | F |
| 126713 | F | * | F |
| 126714 | T | T | T |
| 126715 | * | T | T |
| 126716 | * | T | T |
| 126717 | F | F | F |
| 126718 | F | * | F |
| 126719 | F | * | F |
| 126720 | F | * | F |
| 126721 | T | T | T |
| 126722 | * | T | T |
| 126723 | * | T | T |
| 126724 | F | F | F |
| 126725 | F | * | F |
| 126726 | F | * | F |
| 126727 | F | * | F |
| 126728 | T | T | T |
| 126729 | * | T | T |
| 126730 | * | T | T |
| 126731 | F | F | F |
| 126732 | F | * | F |
| 126733 | F | * | F |
| 126734 | F | * | F |
| 126735 | T | T | T |
| 126736 | * | T | T |
| 126737 | * | T | T |
| 126738 | F | F | F |
| 126739 | F | * | F |
| 126740 | F | * | F |
| 126741 | F | * | F |
| 126742 | T | T | T |
| 126743 | * | T | T |
| 126744 | * | T | T |
| 126745 | F | F | F |
| 126746 | F | * | F |
| 126747 | F | * | F |
| 126748 | F | * | F |
| 126749 | T | T | T |
| 126750 | * | T | T |
| 126751 | * | T | T |
| 126752 | F | F | F |
| 126753 | F | * | F |
| 126754 | F | * | F |
| 126755 | F | * | F |
| 126756 | T | T | T |
| 126757 | * | T | T |
| 126758 | * | T | T |
| 126759 | F | F | F |
| 126760 | F | * | F |
| 126761 | F | * | F |
| 126762 | F | * | F |
| 126763 | T | T | T |
| 126764 | * | T | T |
| 126765 | * | T | T |
| 126766 | F | F | F |
| 126767 | F | * | F |
| 126768 | F | * | F |
| 126769 | F | * | F |
| 126770 | T | T | T |
| 126771 | * | T | T |
| 126772 | * | T | T |
| 126773 | F | F | F |
| 126774 | F | * | F |
| 126775 | F | * | F |
| 126776 | F | * | F |
| 126777 | T | T | T |
| 126778 | * | T | T |
| 126779 | * | T | T |
| 126780 | F | F | F |
| 126781 | F | * | F |
| 126782 | F | * | F |
| 126783 | F | * | F |
| 126784 | T | T | T |
| 126785 | * | T | T |
| 126786 | * | T | T |
| 126787 | F | F | F |
| 126788 | F | * | F |
| 126789 | F | * | F |
| 126790 | F | * | F |
| 126791 | T | T | T |
| 126792 | * | T | T |
| 126793 | * | T | T |
| 126794 | F | F | F |
| 126795 | F | * | F |
| 126796 | F | * | F |
| 126797 | F | * | F |
| 126798 | T | T | T |
| 126799 | * | T | T |
| 126800 | * | T | T |
| 126801 | * | F | F |
| 143331 | F | * | F |
| 143332 | F | * | F |
| 143333 | F | * | F |
| 143334 | F | * | F |
| 143335 | T | T | T |
| 143336 | * | T | T |
| 143337 | * | T | T |
| 143338 | F | F | F |
| 143339 | F | * | F |
| 143340 | F | * | F |
| 143341 | F | * | F |
| 143342 | T | T | T |
| 143343 | * | T | T |
| 143344 | * | T | T |
| 143345 | F | F | F |
| 143346 | F | * | F |
| 143347 | F | * | F |
| 143348 | F | * | F |
| 143349 | T | T | T |
| 143350 | * | T | T |
| 143351 | * | T | T |
| 143352 | F | F | F |
| 143353 | F | * | F |
| 143354 | F | * | F |
| 143355 | F | * | F |
| 143356 | T | T | T |
| 143357 | * | T | T |
| 143358 | * | T | T |
| 143359 | F | F | F |
| 143360 | F | * | F |
| 143361 | F | * | F |
| 143362 | F | * | F |
| 143363 | T | T | T |
| 143364 | * | T | T |
| 143365 | * | T | T |
| 143366 | F | F | F |
| 143367 | F | * | F |
| 143368 | F | * | F |
| 143369 | F | * | F |
| 143370 | T | T | T |
| 143371 | * | T | T |
| 143372 | * | T | T |
| 143373 | F | F | F |
| 143374 | F | * | F |
| 143375 | F | * | F |
| 143376 | F | * | F |
| 143377 | T | T | T |
| 143378 | * | T | T |
| 143379 | * | T | T |
| 143380 | F | F | F |
| 143381 | F | * | F |
| 143382 | F | * | F |
| 143383 | F | * | F |
| 143384 | T | T | T |
| 143385 | * | T | T |
| 143386 | * | T | T |
| 143387 | F | F | F |
| 143388 | F | * | F |
| 143389 | F | * | F |
| 143390 | F | * | F |
| 143391 | T | T | T |
| 143392 | * | T | T |
| 143393 | * | T | T |
| 143394 | F | F | F |
| 143395 | F | * | F |
| 143396 | F | * | F |
| 143397 | F | * | F |
| 143398 | T | T | T |
| 143399 | * | T | T |
| 143400 | * | T | T |
| 143401 | F | F | F |
| 143402 | F | * | F |
| 143403 | F | * | F |
| 143404 | F | * | F |
| 143405 | T | T | T |
| 143406 | * | T | T |
| 143407 | * | T | T |
| 143408 | F | F | F |
| 143409 | F | * | F |
| 143410 | F | * | F |
| 143411 | F | * | F |
| 143412 | T | T | T |
| 143413 | * | T | T |
| 143414 | * | T | T |
| 143415 | F | F | F |
| 143416 | F | * | F |
| 143417 | F | * | F |
| 143418 | F | * | F |
| 143419 | T | T | T |
| 143420 | * | T | T |
| 143421 | * | T | T |
| 143422 | F | F | F |
| 143423 | F | * | F |
| 143424 | F | * | F |
| 143425 | F | * | F |
| 143426 | T | T | T |
| 143427 | * | T | T |
| 143428 | * | T | T |
| 143429 | F | F | F |
| 143430 | F | * | F |
| 143431 | F | * | F |
| 143432 | F | * | F |
| 143433 | T | T | T |
| 143434 | * | T | T |
| 143435 | * | T | T |
| 143436 | F | F | F |
| 143437 | F | * | F |
| 143438 | F | * | F |
| 143439 | F | * | F |
| 143440 | T | T | T |
| 143441 | * | T | T |
| 143442 | * | T | T |
| 143443 | F | F | F |
| 143444 | F | * | F |
| 143445 | F | * | F |
| 143446 | F | * | F |
| 143447 | T | T | T |
| 143448 | * | T | T |
| 143449 | * | T | T |
| 143450 | F | F | F |
| 143451 | F | * | F |
| 143452 | F | * | F |
| 143453 | F | * | F |
| 143454 | T | T | T |
| 143455 | * | T | T |
| 143456 | * | T | T |
| 143457 | F | F | F |
| 143458 | F | * | F |
| 143459 | F | * | F |
| 143460 | F | * | F |
| 143461 | T | T | T |
| 143462 | * | T | T |
| 143463 | * | T | T |
| 143464 | F | F | F |
| 143465 | F | * | F |
| 143466 | F | * | F |
| 143467 | F | * | F |
| 143468 | T | T | T |
| 143469 | * | T | T |
| 143470 | * | T | T |
| 143471 | F | F | F |
| 143472 | F | * | F |
| 143473 | F | * | F |
| 143474 | F | * | F |
| 143475 | T | T | T |
| 143476 | * | T | T |
| 143477 | * | T | T |
| 143478 | F | F | F |
| 143479 | F | * | F |
| 143480 | F | * | F |
| 143481 | F | * | F |
| 143482 | T | T | T |
| 143483 | * | T | T |
| 143484 | * | T | T |
| 143485 | F | F | F |
| 143486 | F | * | F |
| 143487 | F | * | F |
| 143488 | F | * | F |
| 143489 | T | T | T |
| 143490 | * | T | T |
| 143491 | * | T | T |
| 143492 | F | F | F |
| 143493 | F | * | F |
| 143494 | F | * | F |
| 143495 | F | * | F |
| 143496 | T | T | T |
| 143497 | * | T | T |
| 143498 | * | T | T |
| 143499 | F | F | F |
| 143500 | F | * | F |
| 143501 | F | * | F |
| 143502 | F | * | F |
| 143503 | T | T | T |
| 143504 | * | T | T |
| 143505 | * | T | T |
| 143506 | F | F | F |
| 143507 | F | * | F |
| 143508 | F | * | F |
| 143509 | F | * | F |
| 143510 | T | T | T |
| 143511 | * | T | T |
| 143512 | * | T | T |
| 143513 | F | F | F |
| 143514 | F | * | F |
| 143515 | F | * | F |
| 143516 | F | * | F |
| 143517 | T | T | T |
| 143518 | * | T | T |
| 143519 | * | T | T |
| 143520 | * | F | F |
| 159639 | T | * | T |
| 159640 | T | * | T |
| 159641 | T | * | T |
| 159642 | T | * | T |
| 159643 | T | * | T |
| 159644 | T | * | T |
| 159645 | T | * | T |
| 159646 | T | * | T |
| 159647 | T | * | T |
| 159648 | T | * | T |
| 159649 | T | * | T |
| 159650 | T | * | T |
| 159651 | T | * | T |
| 159652 | T | * | T |
| 159653 | T | * | T |
| 159654 | T | * | T |
| 159655 | T | * | T |
| 159656 | T | * | T |
| 159657 | T | * | T |
| 159658 | T | * | T |
| 159659 | T | * | T |
| 159660 | T | * | T |
| 159661 | T | * | T |
| 159662 | T | * | T |
| 169497 | T | * | T |
| 169498 | T | * | T |
| 169499 | T | * | T |
| 169500 | T | * | T |
| 169501 | T | * | T |
| 169502 | T | * | T |
| 169503 | T | * | T |
| 169504 | T | * | T |
| 169505 | T | * | T |
| 169506 | T | * | T |
| 169507 | T | * | T |
| 169508 | T | * | T |
| 169509 | T | * | T |
| 169510 | T | * | T |
| 169511 | T | * | T |
| 169512 | T | * | T |
| 169513 | T | * | T |
| 169514 | T | * | T |
| 169515 | T | * | T |
| 169516 | T | * | T |
| 169517 | T | * | T |
| 169518 | T | * | T |
| 169519 | T | * | T |
| 169520 | T | * | T |
| 177013 | T | * | T |
| 177014 | T | * | T |
| 181555 | T | * | T |
| 181556 | T | * | T |
| 181557 | T | * | T |
| 181558 | T | * | T |
| 181559 | T | * | T |
| 184873 | T | * | T |
| 184874 | T | * | T |
| 184875 | T | * | T |
| 184876 | T | * | T |
| 184877 | T | * | T |
| 187982 | T | * | T |
| 187983 | T | * | T |
| 187984 | T | * | T |
| 187985 | T | * | T |
| 187986 | T | * | T |
| 191714 | F | * | F |
| 191715 | F | * | F |
| 191716 | T | T | T |
| 191717 | F | F | F |
| 191718 | F | * | F |
| 191719 | T | T | T |
| 191720 | F | F | F |
| 191721 | F | * | F |
| 191722 | T | T | T |
| 191723 | F | F | F |
| 191724 | F | * | F |
| 191725 | T | T | T |
| 191726 | F | F | F |
| 191727 | F | * | F |
| 191728 | T | T | T |
| 191729 | F | F | F |
| 191730 | F | * | F |
| 191731 | T | T | T |
| 191732 | F | F | F |
| 191733 | F | * | F |
| 191734 | T | T | T |
| 191735 | F | F | F |
| 191736 | F | * | F |
| 191737 | T | T | T |
| 191738 | F | F | F |
| 191739 | F | * | F |
| 191740 | T | T | T |
| 191741 | F | F | F |
| 191742 | F | * | F |
| 191743 | T | T | T |
| 191744 | * | F | F |
| 197730 | T | * | T |
| 197731 | T | * | T |
| 197732 | T | * | T |
| 197733 | T | * | T |
| 197734 | T | * | T |
| 197735 | T | * | T |
| 197736 | T | * | T |
| 197737 | T | * | T |
| 197738 | T | * | T |
| 197739 | T | * | T |
| 197740 | T | * | T |
| 197741 | T | * | T |
| 197742 | T | * | T |
| 197743 | T | * | T |
| 197744 | T | * | T |
| 197745 | T | * | T |
| 197746 | T | * | T |
| 197747 | T | * | T |
| 197748 | T | * | T |
| 197749 | T | * | T |
| 197750 | T | * | T |
| 197751 | T | * | T |
| 197752 | T | * | T |
| 197753 | T | * | T |
| 197754 | T | * | T |
| 197755 | T | * | T |
| 197756 | T | * | T |
| 197757 | T | * | T |
| 197758 | T | * | T |
| 197759 | T | * | T |
| 203708 | F | * | F |
| 203709 | F | * | F |
| 203710 | T | T | T |
| 203711 | F | F | F |
| 203712 | F | * | F |
| 203713 | T | T | T |
| 203714 | F | F | F |
| 203715 | F | * | F |
| 203716 | T | T | T |
| 203717 | F | F | F |
| 203718 | F | * | F |
| 203719 | T | T | T |
| 203720 | F | F | F |
| 203721 | F | * | F |
| 203722 | T | T | T |
| 203723 | F | F | F |
| 203724 | F | * | F |
| 203725 | T | T | T |
| 203726 | * | F | F |
| 208901 | T | * | T |
| 208902 | T | * | T |
| 208903 | T | * | T |
| 208904 | T | * | T |
| 208905 | T | * | T |
| 208906 | T | * | T |
| 208907 | T | * | T |
| 208908 | T | * | T |
| 208909 | T | * | T |
| 208910 | T | * | T |
| 208911 | T | * | T |
| 208912 | T | * | T |
| 208913 | T | * | T |
| 208914 | T | * | T |
| 208915 | T | * | T |
| 208916 | T | * | T |
| 208917 | T | * | T |
| 208918 | T | * | T |
| 216393 | F | * | F |
| 216394 | F | * | F |
| 216395 | T | T | T |
| 216396 | F | F | F |
| 216397 | F | * | F |
| 216398 | T | T | T |
| 216399 | F | F | F |
| 216400 | F | * | F |
| 216401 | T | T | T |
| 216402 | F | F | F |
| 216403 | F | * | F |
| 216404 | T | T | T |
| 216405 | F | F | F |
| 216406 | F | * | F |
| 216407 | T | T | T |
| 216408 | F | F | F |
| 216409 | F | * | F |
| 216410 | T | T | T |
| 216411 | F | F | F |
| 216412 | F | * | F |
| 216413 | T | T | T |
| 216414 | F | F | F |
| 216415 | F | * | F |
| 216416 | T | T | T |
| 216417 | F | F | F |
| 216418 | F | * | F |
| 216419 | T | T | T |
| 216420 | * | F | F |
| 241549 | F | * | F |
| 241550 | F | * | F |
| 241551 | F | * | F |
| 241552 | F | * | F |
| 241553 | T | T | T |
| 241554 | * | T | T |
| 241555 | * | T | T |
| 241556 | F | F | F |
| 241557 | F | * | F |
| 241558 | F | * | F |
| 241559 | F | * | F |
| 241560 | T | T | T |
| 241561 | * | T | T |
| 241562 | * | T | T |
| 241563 | F | F | F |
| 241564 | F | * | F |
| 241565 | F | * | F |
| 241566 | F | * | F |
| 241567 | T | T | T |
| 241568 | * | T | T |
| 241569 | * | T | T |
| 241570 | F | F | F |
| 241571 | F | * | F |
| 241572 | F | * | F |
| 241573 | F | * | F |
| 241574 | T | T | T |
| 241575 | * | T | T |
| 241576 | * | T | T |
| 241577 | F | F | F |
| 241578 | F | * | F |
| 241579 | F | * | F |
| 241580 | F | * | F |
| 241581 | T | T | T |
| 241582 | * | T | T |
| 241583 | * | T | T |
| 241584 | F | F | F |
| 241585 | F | * | F |
| 241586 | F | * | F |
| 241587 | F | * | F |
| 241588 | T | T | T |
| 241589 | * | T | T |
| 241590 | * | T | T |
| 241591 | F | F | F |
| 241592 | F | * | F |
| 241593 | F | * | F |
| 241594 | F | * | F |
| 241595 | T | T | T |
| 241596 | * | T | T |
| 241597 | * | T | T |
| 241598 | F | F | F |
| 241599 | F | * | F |
| 241600 | F | * | F |
| 241601 | F | * | F |
| 241602 | T | T | T |
| 241603 | * | T | T |
| 241604 | * | T | T |
| 241605 | F | F | F |
| 241606 | F | * | F |
| 241607 | F | * | F |
| 241608 | F | * | F |
| 241609 | T | T | T |
| 241610 | * | T | T |
| 241611 | * | T | T |
| 241612 | F | F | F |
| 241613 | F | * | F |
| 241614 | F | * | F |
| 241615 | F | * | F |
| 241616 | T | T | T |
| 241617 | * | T | T |
| 241618 | * | T | T |
| 241619 | F | F | F |
| 241620 | F | * | F |
| 241621 | F | * | F |
| 241622 | F | * | F |
| 241623 | T | T | T |
| 241624 | * | T | T |
| 241625 | * | T | T |
| 241626 | F | F | F |
| 241627 | F | * | F |
| 241628 | F | * | F |
| 241629 | F | * | F |
| 241630 | T | T | T |
| 241631 | * | T | T |
| 241632 | * | T | T |
| 241633 | F | F | F |
| 241634 | F | * | F |
| 241635 | F | * | F |
| 241636 | F | * | F |
| 241637 | T | T | T |
| 241638 | * | T | T |
| 241639 | * | T | T |
| 241640 | F | F | F |
| 241641 | F | * | F |
| 241642 | F | * | F |
| 241643 | F | * | F |
| 241644 | T | T | T |
| 241645 | * | T | T |
| 241646 | * | T | T |
| 241647 | F | F | F |
| 241648 | F | * | F |
| 241649 | F | * | F |
| 241650 | F | * | F |
| 241651 | T | T | T |
| 241652 | * | T | T |
| 241653 | * | T | T |
| 241654 | F | F | F |
| 241655 | F | * | F |
| 241656 | F | * | F |
| 241657 | F | * | F |
| 241658 | T | T | T |
| 241659 | * | T | T |
| 241660 | * | T | T |
| 241661 | F | F | F |
| 241662 | F | * | F |
| 241663 | F | * | F |
| 241664 | F | * | F |
| 241665 | T | T | T |
| 241666 | * | T | T |
| 241667 | * | T | T |
| 241668 | F | F | F |
| 241669 | F | * | F |
| 241670 | F | * | F |
| 241671 | F | * | F |
| 241672 | T | T | T |
| 241673 | * | T | T |
| 241674 | * | T | T |
| 241675 | F | F | F |
| 241676 | F | * | F |
| 241677 | F | * | F |
| 241678 | F | * | F |
| 241679 | T | T | T |
| 241680 | * | T | T |
| 241681 | * | T | T |
| 241682 | F | F | F |
| 241683 | F | * | F |
| 241684 | F | * | F |
| 241685 | F | * | F |
| 241686 | T | T | T |
| 241687 | * | T | T |
| 241688 | * | T | T |
| 241689 | F | F | F |
| 241690 | F | * | F |
| 241691 | F | * | F |
| 241692 | F | * | F |
| 241693 | T | T | T |
| 241694 | * | T | T |
| 241695 | * | T | T |
| 241696 | F | F | F |
| 241697 | F | * | F |
| 241698 | F | * | F |
| 241699 | F | * | F |
| 241700 | T | T | T |
| 241701 | * | T | T |
| 241702 | * | T | T |
| 241703 | F | F | F |
| 241704 | F | * | F |
| 241705 | F | * | F |
| 241706 | F | * | F |
| 241707 | T | T | T |
| 241708 | * | T | T |
| 241709 | * | T | T |
| 241710 | F | F | F |
| 241711 | F | * | F |
| 241712 | F | * | F |
| 241713 | F | * | F |
| 241714 | T | T | T |
| 241715 | * | T | T |
| 241716 | * | T | T |
| 241717 | F | F | F |
| 241718 | F | * | F |
| 241719 | F | * | F |
| 241720 | F | * | F |
| 241721 | T | T | T |
| 241722 | * | T | T |
| 241723 | * | T | T |
| 241724 | * | F | F |
| 318926 | F | * | F |
| 318927 | F | * | F |
| 318928 | F | * | F |
| 318929 | F | * | F |
| 318930 | T | T | T |
| 318931 | * | T | T |
| 318932 | * | T | T |
| 318933 | F | F | F |
| 318934 | F | * | F |
| 318935 | F | * | F |
| 318936 | F | * | F |
| 318937 | T | T | T |
| 318938 | * | T | T |
| 318939 | * | T | T |
| 318940 | F | F | F |
| 318941 | F | * | F |
| 318942 | F | * | F |
| 318943 | F | * | F |
| 318944 | T | T | T |
| 318945 | * | T | T |
| 318946 | * | T | T |
| 318947 | F | F | F |
| 318948 | F | * | F |
| 318949 | F | * | F |
| 318950 | F | * | F |
| 318951 | T | T | T |
| 318952 | * | T | T |
| 318953 | * | T | T |
| 318954 | F | F | F |
| 318955 | F | * | F |
| 318956 | F | * | F |
| 318957 | F | * | F |
| 318958 | T | T | T |
| 318959 | * | T | T |
| 318960 | * | T | T |
| 318961 | F | F | F |
| 318962 | F | * | F |
| 318963 | F | * | F |
| 318964 | F | * | F |
| 318965 | T | T | T |
| 318966 | * | T | T |
| 318967 | * | T | T |
| 318968 | F | F | F |
| 318969 | F | * | F |
| 318970 | F | * | F |
| 318971 | F | * | F |
| 318972 | T | T | T |
| 318973 | * | T | T |
| 318974 | * | T | T |
| 318975 | F | F | F |
| 318976 | F | * | F |
| 318977 | F | * | F |
| 318978 | F | * | F |
| 318979 | T | T | T |
| 318980 | * | T | T |
| 318981 | * | T | T |
| 318982 | F | F | F |
| 318983 | F | * | F |
| 318984 | F | * | F |
| 318985 | F | * | F |
| 318986 | T | T | T |
| 318987 | * | T | T |
| 318988 | * | T | T |
| 318989 | F | F | F |
| 318990 | F | * | F |
| 318991 | F | * | F |
| 318992 | F | * | F |
| 318993 | T | T | T |
| 318994 | * | T | T |
| 318995 | * | T | T |
| 318996 | F | F | F |
| 318997 | F | * | F |
| 318998 | F | * | F |
| 318999 | F | * | F |
| 319000 | T | T | T |
| 319001 | * | T | T |
| 319002 | * | T | T |
| 319003 | F | F | F |
| 319004 | F | * | F |
| 319005 | F | * | F |
| 319006 | F | * | F |
| 319007 | T | T | T |
| 319008 | * | T | T |
| 319009 | * | T | T |
| 319010 | F | F | F |
| 319011 | F | * | F |
| 319012 | F | * | F |
| 319013 | F | * | F |
| 319014 | T | T | T |
| 319015 | * | T | T |
| 319016 | * | T | T |
| 319017 | F | F | F |
| 319018 | F | * | F |
| 319019 | F | * | F |
| 319020 | F | * | F |
| 319021 | T | T | T |
| 319022 | * | T | T |
| 319023 | * | T | T |
| 319024 | F | F | F |
| 319025 | F | * | F |
| 319026 | F | * | F |
| 319027 | F | * | F |
| 319028 | T | T | T |
| 319029 | * | T | T |
| 319030 | * | T | T |
| 319031 | F | F | F |
| 319032 | F | * | F |
| 319033 | F | * | F |
| 319034 | F | * | F |
| 319035 | T | T | T |
| 319036 | * | T | T |
| 319037 | * | T | T |
| 319038 | F | F | F |
| 319039 | F | * | F |
| 319040 | F | * | F |
| 319041 | F | * | F |
| 319042 | T | T | T |
| 319043 | * | T | T |
| 319044 | * | T | T |
| 319045 | F | F | F |
| 319046 | F | * | F |
| 319047 | F | * | F |
| 319048 | F | * | F |
| 319049 | T | T | T |
| 319050 | * | T | T |
| 319051 | * | T | T |
| 319052 | F | F | F |
| 319053 | F | * | F |
| 319054 | F | * | F |
| 319055 | F | * | F |
| 319056 | T | T | T |
| 319057 | * | T | T |
| 319058 | * | T | T |
| 319059 | F | F | F |
| 319060 | F | * | F |
| 319061 | F | * | F |
| 319062 | F | * | F |
| 319063 | T | T | T |
| 319064 | * | T | T |
| 319065 | * | T | T |
| 319066 | F | F | F |
| 319067 | F | * | F |
| 319068 | F | * | F |
| 319069 | F | * | F |
| 319070 | T | T | T |
| 319071 | * | T | T |
| 319072 | * | T | T |
| 319073 | F | F | F |
| 319074 | F | * | F |
| 319075 | F | * | F |
| 319076 | F | * | F |
| 319077 | T | T | T |
| 319078 | * | T | T |
| 319079 | * | T | T |
| 319080 | F | F | F |
| 319081 | F | * | F |
| 319082 | F | * | F |
| 319083 | F | * | F |
| 319084 | T | T | T |
| 319085 | * | T | T |
| 319086 | * | T | T |
| 319087 | F | F | F |
| 319088 | F | * | F |
| 319089 | F | * | F |
| 319090 | F | * | F |
| 319091 | T | T | T |
| 319092 | * | T | T |
| 319093 | * | T | T |
| 319094 | F | F | F |
| 319095 | F | * | F |
| 319096 | F | * | F |
| 319097 | F | * | F |
| 319098 | T | T | T |
| 319099 | * | T | T |
| 319100 | * | T | T |
| 319101 | * | F | F |
| 377416 | F | * | F |
| 377417 | F | * | F |
| 377418 | T | T | T |
| 377419 | F | F | F |
| 377420 | F | * | F |
| 377421 | T | T | T |
| 377422 | F | F | F |
| 377423 | F | * | F |
| 377424 | T | T | T |
| 377425 | F | F | F |
| 377426 | F | * | F |
| 377427 | T | T | T |
| 377428 | * | F | F |
| 380073 | F | * | F |
| 380074 | F | * | F |
| 380075 | T | T | T |
| 380076 | F | F | F |
| 380077 | F | * | F |
| 380078 | T | T | T |
| 380079 | F | F | F |
| 380080 | F | * | F |
| 380081 | T | T | T |
| 380082 | F | F | F |
| 380083 | F | * | F |
| 380084 | T | T | T |
| 380085 | * | F | F |
| 382956 | F | * | F |
| 382957 | F | * | F |
| 382958 | T | T | T |
| 382959 | F | F | F |
| 382960 | F | * | F |
| 382961 | T | T | T |
| 382962 | F | F | F |
| 382963 | F | * | F |
| 382964 | T | T | T |
| 382965 | F | F | F |
| 382966 | F | * | F |
| 382967 | T | T | T |
| 382968 | * | F | F |
Independent-effect pairs
c0(branch6333): PROVED — pair rows2097,2106(masking)scry_octagon::strong_close· br_ifc1(branch6350): PROVED — pair rows2108,92924(unique-cause)scry_octagon::strong_close· br_if