Decision #1489 — unicode_data.rs:921
Status: no_witness
Truth table
| row | c0 br 9743 | c1 br 9744 | c2 br 9745 | outcome |
|---|---|---|---|---|
| 6657 | * | F | T | F |
| 6658 | * | F | T | F |
| 6659 | * | F | T | F |
| 6660 | * | F | T | F |
| 6661 | * | F | T | F |
| 6662 | * | F | T | F |
| 6663 | * | F | T | F |
| 6664 | * | F | T | F |
| 6665 | * | F | T | F |
| 6666 | * | F | T | F |
| 6667 | * | F | T | F |
| 6668 | * | F | T | F |
| 6669 | * | F | T | F |
| 6670 | * | F | T | F |
| 6671 | * | F | T | F |
| 6672 | * | F | T | F |
| 6673 | * | F | T | F |
| 6674 | * | F | T | F |
| 6675 | * | F | T | F |
| 6676 | * | F | T | F |
| 6677 | * | F | T | F |
| 6678 | * | F | T | F |
| 6679 | * | F | T | F |
| 6680 | * | F | T | F |
| 6681 | * | F | T | F |
| 6682 | * | F | T | F |
| 6683 | * | F | T | F |
| 6684 | * | F | T | F |
| 6685 | * | F | T | F |
| 6686 | * | F | T | F |
| 6687 | * | F | T | F |
| 6688 | * | F | T | F |
| 6689 | * | F | T | F |
| 6690 | * | F | T | F |
| 6691 | * | F | T | F |
| 6692 | * | F | T | F |
| 6693 | * | F | T | F |
| 6694 | * | F | T | F |
| 6695 | * | F | T | F |
| 6696 | * | F | T | F |
| 13430 | * | F | T | F |
| 13431 | * | F | T | F |
| 13432 | * | F | T | F |
| 13433 | * | F | T | F |
| 13434 | * | F | T | F |
| 13435 | * | F | T | F |
| 13436 | * | F | T | F |
| 13437 | * | F | T | F |
| 13438 | * | F | T | F |
| 13439 | * | F | T | F |
| 13440 | * | F | T | F |
| 13441 | * | F | T | F |
| 13442 | * | F | T | F |
| 13443 | * | F | T | F |
| 13444 | * | F | T | F |
| 13445 | * | F | T | F |
| 13446 | * | F | T | F |
| 13447 | * | F | T | F |
| 13448 | * | F | T | F |
| 13449 | * | F | T | F |
| 13450 | * | F | T | F |
| 13451 | * | F | T | F |
| 13452 | * | F | T | F |
| 13453 | * | F | T | F |
| 13454 | * | F | T | F |
| 13455 | * | F | T | F |
| 13456 | * | F | T | F |
| 13457 | * | F | T | F |
| 13458 | * | F | T | F |
| 13459 | * | F | T | F |
| 13460 | * | F | T | F |
| 13461 | * | F | T | F |
| 13462 | * | F | T | F |
| 13463 | * | F | T | F |
| 13464 | * | F | T | F |
| 13465 | * | F | T | F |
| 13466 | * | F | T | F |
| 13467 | * | F | T | F |
| 13468 | * | F | T | F |
| 13469 | * | F | T | F |
| 20792 | * | F | T | F |
| 20793 | * | F | T | F |
| 20794 | * | F | T | F |
| 20795 | * | F | T | F |
| 20796 | * | F | T | F |
| 20797 | * | F | T | F |
| 20798 | * | F | T | F |
| 20799 | * | F | T | F |
| 20800 | * | F | T | F |
| 20801 | * | F | T | F |
| 20802 | * | F | T | F |
| 20803 | * | F | T | F |
| 20804 | * | F | T | F |
| 20805 | * | F | T | F |
| 20806 | * | F | T | F |
| 20807 | * | F | T | F |
| 20808 | * | F | T | F |
| 20809 | * | F | T | F |
| 20810 | * | F | T | F |
| 20811 | * | F | T | F |
| 20812 | * | F | T | F |
| 20813 | * | F | T | F |
| 20814 | * | F | T | F |
| 20815 | * | F | T | F |
| 20816 | * | F | T | F |
| 20817 | * | F | T | F |
| 20818 | * | F | T | F |
| 20819 | * | F | T | F |
| 20820 | * | F | T | F |
| 20821 | * | F | T | F |
| 20822 | * | F | T | F |
| 20823 | * | F | T | F |
| 20824 | * | F | T | F |
| 20825 | * | F | T | F |
| 20826 | * | F | T | F |
| 20827 | * | F | T | F |
| 20828 | * | F | T | F |
| 20829 | * | F | T | F |
| 20830 | * | F | T | F |
| 20831 | * | F | T | F |
| 23804 | * | F | T | F |
| 23805 | * | F | T | F |
| 23806 | * | F | T | F |
| 23807 | * | F | T | F |
| 23808 | * | F | T | F |
| 23809 | * | F | T | F |
| 23810 | * | F | T | F |
| 23811 | * | F | T | F |
| 26456 | * | F | T | F |
| 26457 | * | F | T | F |
| 26458 | * | F | T | F |
| 26459 | * | F | T | F |
| 26460 | * | F | T | F |
| 26461 | * | F | T | F |
| 26462 | * | F | T | F |
| 26463 | * | F | T | F |
| 29190 | * | F | T | F |
| 29191 | * | F | T | F |
| 29192 | * | F | T | F |
| 29193 | * | F | T | F |
| 29194 | * | F | T | F |
| 29195 | * | F | T | F |
| 29196 | * | F | T | F |
| 29197 | * | F | T | F |
| 49477 | * | F | T | F |
| 49478 | * | F | T | F |
| 49479 | * | F | T | F |
| 49480 | * | F | T | F |
| 49481 | * | F | T | F |
| 49482 | * | F | T | F |
| 49483 | * | F | T | F |
| 49484 | * | F | T | F |
| 70210 | * | F | T | F |
| 70211 | * | F | T | F |
| 70212 | * | F | T | F |
| 70213 | * | F | T | F |
| 70214 | * | F | T | F |
| 70215 | * | F | T | F |
| 70216 | * | F | T | F |
| 70217 | * | F | T | F |
| 80448 | * | F | T | F |
| 80449 | * | F | T | F |
| 80450 | * | F | T | F |
| 80451 | * | F | T | F |
| 80452 | * | F | T | F |
| 80453 | * | F | T | F |
| 80454 | * | F | T | F |
| 80455 | * | F | T | F |
| 90331 | * | F | T | F |
| 90332 | * | F | T | F |
| 90333 | * | F | T | F |
| 90334 | * | F | T | F |
| 90335 | * | F | T | F |
| 90336 | * | F | T | F |
| 90337 | * | F | T | F |
| 90338 | * | F | T | F |
| 98035 | * | F | T | F |
| 98036 | * | F | T | F |
| 98037 | * | F | T | F |
| 98038 | * | F | T | F |
| 98039 | * | F | T | F |
| 98040 | * | F | T | F |
| 98041 | * | F | T | F |
| 98042 | * | F | T | F |
| 98043 | * | F | T | F |
| 98044 | * | F | T | F |
| 98045 | * | F | T | F |
| 98046 | * | F | T | F |
| 98047 | * | F | T | F |
| 98048 | * | F | T | F |
| 98049 | * | F | T | F |
| 98050 | * | F | T | F |
| 98051 | * | F | T | F |
| 98052 | * | F | T | F |
| 98053 | * | F | T | F |
| 98054 | * | F | T | F |
| 98055 | * | F | T | F |
| 98056 | * | F | T | F |
| 98057 | * | F | T | F |
| 98058 | * | F | T | F |
| 98059 | * | F | T | F |
| 98060 | * | F | T | F |
| 98061 | * | F | T | F |
| 98062 | * | F | T | F |
| 98063 | * | F | T | F |
| 98064 | * | F | T | F |
| 98065 | * | F | T | F |
| 98066 | * | F | T | F |
| 98067 | * | F | T | F |
| 98068 | * | F | T | F |
| 98069 | * | F | T | F |
| 98070 | * | F | T | F |
| 98071 | * | F | T | F |
| 98072 | * | F | T | F |
| 98073 | * | F | T | F |
| 98074 | * | F | T | F |
| 98075 | * | F | T | F |
| 98076 | * | F | T | F |
| 98077 | * | F | T | F |
| 98078 | * | F | T | F |
| 98079 | * | F | T | F |
| 98080 | * | F | T | F |
| 98081 | * | F | T | F |
| 98082 | * | F | T | F |
| 106424 | * | F | T | F |
| 106425 | * | F | T | F |
| 106426 | * | F | T | F |
| 106427 | * | F | T | F |
| 106428 | * | F | T | F |
| 106429 | * | F | T | F |
| 106430 | * | F | T | F |
| 106431 | * | F | T | F |
| 106432 | * | F | T | F |
| 106433 | * | F | T | F |
| 106434 | * | F | T | F |
| 106435 | * | F | T | F |
| 106436 | * | F | T | F |
| 106437 | * | F | T | F |
| 106438 | * | F | T | F |
| 106439 | * | F | T | F |
| 106440 | * | F | T | F |
| 106441 | * | F | T | F |
| 106442 | * | F | T | F |
| 106443 | * | F | T | F |
| 106444 | * | F | T | F |
| 106445 | * | F | T | F |
| 106446 | * | F | T | F |
| 106447 | * | F | T | F |
| 106448 | * | F | T | F |
| 106449 | * | F | T | F |
| 106450 | * | F | T | F |
| 106451 | * | F | T | F |
| 106452 | * | F | T | F |
| 106453 | * | F | T | F |
| 106454 | * | F | T | F |
| 106455 | * | F | T | F |
| 106456 | * | F | T | F |
| 106457 | * | F | T | F |
| 106458 | * | F | T | F |
| 106459 | * | F | T | F |
| 106460 | * | F | T | F |
| 106461 | * | F | T | F |
| 106462 | * | F | T | F |
| 106463 | * | F | T | F |
| 106464 | * | F | T | F |
| 106465 | * | F | T | F |
| 106466 | * | F | T | F |
| 106467 | * | F | T | F |
| 106468 | * | F | T | F |
| 106469 | * | F | T | F |
| 106470 | * | F | T | F |
| 106471 | * | F | T | F |
| 114581 | * | F | T | F |
| 114582 | * | F | T | F |
| 114583 | * | F | T | F |
| 114584 | * | F | T | F |
| 114585 | * | F | T | F |
| 114586 | * | F | T | F |
| 114587 | * | F | T | F |
| 114588 | * | F | T | F |
| 114589 | * | F | T | F |
| 114590 | * | F | T | F |
| 114591 | * | F | T | F |
| 114592 | * | F | T | F |
| 114593 | * | F | T | F |
| 114594 | * | F | T | F |
| 114595 | * | F | T | F |
| 114596 | * | F | T | F |
| 114597 | * | F | T | F |
| 114598 | * | F | T | F |
| 114599 | * | F | T | F |
| 114600 | * | F | T | F |
| 114601 | * | F | T | F |
| 114602 | * | F | T | F |
| 114603 | * | F | T | F |
| 114604 | * | F | T | F |
| 114605 | * | F | T | F |
| 114606 | * | F | T | F |
| 114607 | * | F | T | F |
| 114608 | * | F | T | F |
| 114609 | * | F | T | F |
| 114610 | * | F | T | F |
| 114611 | * | F | T | F |
| 114612 | * | F | T | F |
| 114613 | * | F | T | F |
| 114614 | * | F | T | F |
| 114615 | * | F | T | F |
| 114616 | * | F | T | F |
| 114617 | * | F | T | F |
| 114618 | * | F | T | F |
| 114619 | * | F | T | F |
| 114620 | * | F | T | F |
| 114621 | * | F | T | F |
| 114622 | * | F | T | F |
| 114623 | * | F | T | F |
| 114624 | * | F | T | F |
| 114625 | * | F | T | F |
| 114626 | * | F | T | F |
| 114627 | * | F | T | F |
| 114628 | * | F | T | F |
| 122379 | * | F | T | F |
| 122380 | * | F | T | F |
| 122381 | * | F | T | F |
| 122382 | * | F | T | F |
| 122383 | * | F | T | F |
| 122384 | * | F | T | F |
| 122385 | * | F | T | F |
| 122386 | * | F | T | F |
| 122387 | * | F | T | F |
| 122388 | * | F | T | F |
| 122389 | * | F | T | F |
| 122390 | * | F | T | F |
| 122391 | * | F | T | F |
| 122392 | * | F | T | F |
| 122393 | * | F | T | F |
| 122394 | * | F | T | F |
| 122395 | * | F | T | F |
| 122396 | * | F | T | F |
| 122397 | * | F | T | F |
| 122398 | * | F | T | F |
| 122399 | * | F | T | F |
| 122400 | * | F | T | F |
| 122401 | * | F | T | F |
| 122402 | * | F | T | F |
| 122403 | * | F | T | F |
| 122404 | * | F | T | F |
| 122405 | * | F | T | F |
| 122406 | * | F | T | F |
| 122407 | * | F | T | F |
| 122408 | * | F | T | F |
| 122409 | * | F | T | F |
| 122410 | * | F | T | F |
| 122411 | * | F | T | F |
| 122412 | * | F | T | F |
| 122413 | * | F | T | F |
| 122414 | * | F | T | F |
| 122415 | * | F | T | F |
| 122416 | * | F | T | F |
| 122417 | * | F | T | F |
| 122418 | * | F | T | F |
| 122419 | * | F | T | F |
| 122420 | * | F | T | F |
| 122421 | * | F | T | F |
| 122422 | * | F | T | F |
| 122423 | * | F | T | F |
| 122424 | * | F | T | F |
| 122425 | * | F | T | F |
| 122426 | * | F | T | F |
| 139143 | * | F | T | F |
| 139144 | * | F | T | F |
| 139145 | * | F | T | F |
| 139146 | * | F | T | F |
| 139147 | * | F | T | F |
| 139148 | * | F | T | F |
| 139149 | * | F | T | F |
| 139150 | * | F | T | F |
| 155862 | * | F | T | F |
| 155863 | * | F | T | F |
| 155864 | * | F | T | F |
| 155865 | * | F | T | F |
| 155866 | * | F | T | F |
| 155867 | * | F | T | F |
| 155868 | * | F | T | F |
| 155869 | * | F | T | F |
| 165565 | * | F | T | F |
| 165566 | * | F | T | F |
| 165567 | * | F | T | F |
| 165568 | * | F | T | F |
| 165569 | * | F | T | F |
| 165570 | * | F | T | F |
| 165571 | * | F | T | F |
| 165572 | * | F | T | F |
| 165573 | * | F | T | F |
| 165574 | * | F | T | F |
| 165575 | * | F | T | F |
| 165576 | * | F | T | F |
| 165577 | * | F | T | F |
| 165578 | * | F | T | F |
| 165579 | * | F | T | F |
| 165580 | * | F | T | F |
| 165581 | * | F | T | F |
| 165582 | * | F | T | F |
| 165583 | * | F | T | F |
| 165584 | * | F | T | F |
| 165585 | * | F | T | F |
| 165586 | * | F | T | F |
| 165587 | * | F | T | F |
| 165588 | * | F | T | F |
| 165589 | * | F | T | F |
| 165590 | * | F | T | F |
| 165591 | * | F | T | F |
| 165592 | * | F | T | F |
| 165593 | * | F | T | F |
| 165594 | * | F | T | F |
| 165595 | * | F | T | F |
| 165596 | * | F | T | F |
| 165597 | * | F | T | F |
| 165598 | * | F | T | F |
| 165599 | * | F | T | F |
| 165600 | * | F | T | F |
| 165601 | * | F | T | F |
| 165602 | * | F | T | F |
| 165603 | * | F | T | F |
| 165604 | * | F | T | F |
| 165605 | * | F | T | F |
| 165606 | * | F | T | F |
| 165607 | * | F | T | F |
| 165608 | * | F | T | F |
| 165609 | * | F | T | F |
| 165610 | * | F | T | F |
| 165611 | * | F | T | F |
| 165612 | * | F | T | F |
| 175423 | * | F | T | F |
| 175424 | * | F | T | F |
| 175425 | * | F | T | F |
| 175426 | * | F | T | F |
| 175427 | * | F | T | F |
| 175428 | * | F | T | F |
| 175429 | * | F | T | F |
| 175430 | * | F | T | F |
| 175431 | * | F | T | F |
| 175432 | * | F | T | F |
| 175433 | * | F | T | F |
| 175434 | * | F | T | F |
| 175435 | * | F | T | F |
| 175436 | * | F | T | F |
| 175437 | * | F | T | F |
| 175438 | * | F | T | F |
| 175439 | * | F | T | F |
| 175440 | * | F | T | F |
| 175441 | * | F | T | F |
| 175442 | * | F | T | F |
| 175443 | * | F | T | F |
| 175444 | * | F | T | F |
| 175445 | * | F | T | F |
| 175446 | * | F | T | F |
| 175447 | * | F | T | F |
| 175448 | * | F | T | F |
| 175449 | * | F | T | F |
| 175450 | * | F | T | F |
| 175451 | * | F | T | F |
| 175452 | * | F | T | F |
| 175453 | * | F | T | F |
| 175454 | * | F | T | F |
| 175455 | * | F | T | F |
| 175456 | * | F | T | F |
| 175457 | * | F | T | F |
| 175458 | * | F | T | F |
| 175459 | * | F | T | F |
| 175460 | * | F | T | F |
| 175461 | * | F | T | F |
| 175462 | * | F | T | F |
| 175463 | * | F | T | F |
| 175464 | * | F | T | F |
| 175465 | * | F | T | F |
| 175466 | * | F | T | F |
| 175467 | * | F | T | F |
| 175468 | * | F | T | F |
| 175469 | * | F | T | F |
| 175470 | * | F | T | F |
| 180328 | * | F | T | F |
| 180329 | * | F | T | F |
| 180330 | * | F | T | F |
| 180331 | * | F | T | F |
| 180332 | * | F | T | F |
| 180333 | * | F | T | F |
| 180334 | * | F | T | F |
| 180335 | * | F | T | F |
| 180336 | * | F | T | F |
| 180337 | * | F | T | F |
| 180338 | * | F | T | F |
| 180339 | * | F | T | F |
| 180340 | * | F | T | F |
| 180341 | * | F | T | F |
| 180342 | * | F | T | F |
| 180343 | * | F | T | F |
| 180344 | * | F | T | F |
| 180345 | * | F | T | F |
| 180346 | * | F | T | F |
| 180347 | * | F | T | F |
| 180348 | * | F | T | F |
| 180349 | * | F | T | F |
| 180350 | * | F | T | F |
| 180351 | * | F | T | F |
| 180352 | * | F | T | F |
| 180353 | * | F | T | F |
| 180354 | * | F | T | F |
| 180355 | * | F | T | F |
| 180356 | * | F | T | F |
| 180357 | * | F | T | F |
| 180358 | * | F | T | F |
| 180359 | * | F | T | F |
| 180360 | * | F | T | F |
| 180361 | * | F | T | F |
| 180362 | * | F | T | F |
| 180363 | * | F | T | F |
| 180364 | * | F | T | F |
| 180365 | * | F | T | F |
| 180366 | * | F | T | F |
| 180367 | * | F | T | F |
| 180368 | * | F | T | F |
| 180369 | * | F | T | F |
| 180370 | * | F | T | F |
| 180371 | * | F | T | F |
| 180372 | * | F | T | F |
| 180373 | * | F | T | F |
| 180374 | * | F | T | F |
| 180375 | * | F | T | F |
| 180376 | * | F | T | F |
| 180377 | * | F | T | F |
| 180378 | * | F | T | F |
| 180379 | * | F | T | F |
| 180380 | * | F | T | F |
| 180381 | * | F | T | F |
| 180382 | * | F | T | F |
| 180383 | * | F | T | F |
| 180384 | * | F | T | F |
| 180385 | * | F | T | F |
| 180386 | * | F | T | F |
| 180387 | * | F | T | F |
| 180388 | * | F | T | F |
| 180389 | * | F | T | F |
| 180390 | * | F | T | F |
| 180391 | * | F | T | F |
| 180392 | * | F | T | F |
| 180393 | * | F | T | F |
| 180394 | * | F | T | F |
| 180395 | * | F | T | F |
| 180396 | * | F | T | F |
| 180397 | * | F | T | F |
| 180398 | * | F | T | F |
| 180399 | * | F | T | F |
| 183820 | * | F | T | F |
| 183821 | * | F | T | F |
| 183822 | * | F | T | F |
| 183823 | * | F | T | F |
| 183824 | * | F | T | F |
| 183825 | * | F | T | F |
| 183826 | * | F | T | F |
| 183827 | * | F | T | F |
| 183828 | * | F | T | F |
| 183829 | * | F | T | F |
| 183830 | * | F | T | F |
| 183831 | * | F | T | F |
| 183832 | * | F | T | F |
| 183833 | * | F | T | F |
| 183834 | * | F | T | F |
| 183835 | * | F | T | F |
| 183836 | * | F | T | F |
| 183837 | * | F | T | F |
| 183838 | * | F | T | F |
| 183839 | * | F | T | F |
| 183840 | * | F | T | F |
| 183841 | * | F | T | F |
| 183842 | * | F | T | F |
| 183843 | * | F | T | F |
| 183844 | * | F | T | F |
| 183845 | * | F | T | F |
| 183846 | * | F | T | F |
| 183847 | * | F | T | F |
| 183848 | * | F | T | F |
| 183849 | * | F | T | F |
| 183850 | * | F | T | F |
| 183851 | * | F | T | F |
| 186959 | * | F | T | F |
| 186960 | * | F | T | F |
| 186961 | * | F | T | F |
| 186962 | * | F | T | F |
| 186963 | * | F | T | F |
| 186964 | * | F | T | F |
| 186965 | * | F | T | F |
| 186966 | * | F | T | F |
| 186967 | * | F | T | F |
| 186968 | * | F | T | F |
| 186969 | * | F | T | F |
| 186970 | * | F | T | F |
| 186971 | * | F | T | F |
| 186972 | * | F | T | F |
| 186973 | * | F | T | F |
| 186974 | * | F | T | F |
| 186975 | * | F | T | F |
| 186976 | * | F | T | F |
| 186977 | * | F | T | F |
| 186978 | * | F | T | F |
| 186979 | * | F | T | F |
| 186980 | * | F | T | F |
| 186981 | * | F | T | F |
| 186982 | * | F | T | F |
| 186983 | * | F | T | F |
| 186984 | * | F | T | F |
| 186985 | * | F | T | F |
| 186986 | * | F | T | F |
| 186987 | * | F | T | F |
| 186988 | * | F | T | F |
| 186989 | * | F | T | F |
| 186990 | * | F | T | F |
| 190247 | * | F | T | F |
| 190248 | * | F | T | F |
| 190249 | * | F | T | F |
| 190250 | * | F | T | F |
| 190251 | * | F | T | F |
| 190252 | * | F | T | F |
| 190253 | * | F | T | F |
| 190254 | * | F | T | F |
| 190255 | * | F | T | F |
| 190256 | * | F | T | F |
| 190257 | * | F | T | F |
| 190258 | * | F | T | F |
| 190259 | * | F | T | F |
| 190260 | * | F | T | F |
| 190261 | * | F | T | F |
| 190262 | * | F | T | F |
| 190263 | * | F | T | F |
| 190264 | * | F | T | F |
| 190265 | * | F | T | F |
| 190266 | * | F | T | F |
| 190267 | * | F | T | F |
| 190268 | * | F | T | F |
| 190269 | * | F | T | F |
| 190270 | * | F | T | F |
| 190271 | * | F | T | F |
| 190272 | * | F | T | F |
| 190273 | * | F | T | F |
| 190274 | * | F | T | F |
| 190275 | * | F | T | F |
| 190276 | * | F | T | F |
| 190277 | * | F | T | F |
| 190278 | * | F | T | F |
| 194511 | * | F | T | F |
| 194512 | * | F | T | F |
| 194513 | * | F | T | F |
| 194514 | * | F | T | F |
| 194515 | * | F | T | F |
| 194516 | * | F | T | F |
| 194517 | * | F | T | F |
| 194518 | * | F | T | F |
| 202528 | * | F | T | F |
| 202529 | * | F | T | F |
| 202530 | * | F | T | F |
| 202531 | * | F | T | F |
| 202532 | * | F | T | F |
| 202533 | * | F | T | F |
| 202534 | * | F | T | F |
| 202535 | * | F | T | F |
| 202536 | * | F | T | F |
| 202537 | * | F | T | F |
| 202538 | * | F | T | F |
| 202539 | * | F | T | F |
| 202540 | * | F | T | F |
| 202541 | * | F | T | F |
| 202542 | * | F | T | F |
| 202543 | * | F | T | F |
| 202544 | * | F | T | F |
| 202545 | * | F | T | F |
| 202546 | * | F | T | F |
| 202547 | * | F | T | F |
| 202548 | * | F | T | F |
| 202549 | * | F | T | F |
| 202550 | * | F | T | F |
| 202551 | * | F | T | F |
| 205898 | * | F | T | F |
| 205899 | * | F | T | F |
| 205900 | * | F | T | F |
| 205901 | * | F | T | F |
| 205902 | * | F | T | F |
| 205903 | * | F | T | F |
| 205904 | * | F | T | F |
| 205905 | * | F | T | F |
| 213934 | * | F | T | F |
| 213935 | * | F | T | F |
| 213936 | * | F | T | F |
| 213937 | * | F | T | F |
| 213938 | * | F | T | F |
| 213939 | * | F | T | F |
| 213940 | * | F | T | F |
| 213941 | * | F | T | F |
| 213942 | * | F | T | F |
| 213943 | * | F | T | F |
| 213944 | * | F | T | F |
| 213945 | * | F | T | F |
| 213946 | * | F | T | F |
| 213947 | * | F | T | F |
| 213948 | * | F | T | F |
| 213949 | * | F | T | F |
| 213950 | * | F | T | F |
| 213951 | * | F | T | F |
| 213952 | * | F | T | F |
| 213953 | * | F | T | F |
| 213954 | * | F | T | F |
| 213955 | * | F | T | F |
| 213956 | * | F | T | F |
| 213957 | * | F | T | F |
| 213958 | * | F | T | F |
| 213959 | * | F | T | F |
| 213960 | * | F | T | F |
| 213961 | * | F | T | F |
| 213962 | * | F | T | F |
| 213963 | * | F | T | F |
| 213964 | * | F | T | F |
| 213965 | * | F | T | F |
| 213966 | * | F | T | F |
| 213967 | * | F | T | F |
| 213968 | * | F | T | F |
| 213969 | * | F | T | F |
| 213970 | * | F | T | F |
| 213971 | * | F | T | F |
| 213972 | * | F | T | F |
| 213973 | * | F | T | F |
| 213974 | * | F | T | F |
| 213975 | * | F | T | F |
| 213976 | * | F | T | F |
| 213977 | * | F | T | F |
| 213978 | * | F | T | F |
| 213979 | * | F | T | F |
| 213980 | * | F | T | F |
| 213981 | * | F | T | F |
| 213982 | * | F | T | F |
| 213983 | * | F | T | F |
| 213984 | * | F | T | F |
| 213985 | * | F | T | F |
| 213986 | * | F | T | F |
| 213987 | * | F | T | F |
| 213988 | * | F | T | F |
| 213989 | * | F | T | F |
| 213990 | * | F | T | F |
| 213991 | * | F | T | F |
| 213992 | * | F | T | F |
| 213993 | * | F | T | F |
| 213994 | * | F | T | F |
| 213995 | * | F | T | F |
| 213996 | * | F | T | F |
| 213997 | * | F | T | F |
| 221478 | * | F | T | F |
| 221479 | * | F | T | F |
| 221480 | * | F | T | F |
| 221481 | * | F | T | F |
| 221482 | * | F | T | F |
| 221483 | * | F | T | F |
| 221484 | * | F | T | F |
| 221485 | * | F | T | F |
| 221486 | * | F | T | F |
| 221487 | * | F | T | F |
| 221488 | * | F | T | F |
| 221489 | * | F | T | F |
| 221490 | * | F | T | F |
| 221491 | * | F | T | F |
| 221492 | * | F | T | F |
| 221493 | * | F | T | F |
| 221494 | * | F | T | F |
| 221495 | * | F | T | F |
| 221496 | * | F | T | F |
| 221497 | * | F | T | F |
| 221498 | * | F | T | F |
| 221499 | * | F | T | F |
| 221500 | * | F | T | F |
| 221501 | * | F | T | F |
| 221502 | * | F | T | F |
| 221503 | * | F | T | F |
| 221504 | * | F | T | F |
| 221505 | * | F | T | F |
| 221506 | * | F | T | F |
| 221507 | * | F | T | F |
| 221508 | * | F | T | F |
| 221509 | * | F | T | F |
| 221510 | * | F | T | F |
| 221511 | * | F | T | F |
| 221512 | * | F | T | F |
| 221513 | * | F | T | F |
| 221514 | * | F | T | F |
| 221515 | * | F | T | F |
| 221516 | * | F | T | F |
| 221517 | * | F | T | F |
| 221518 | * | F | T | F |
| 221519 | * | F | T | F |
| 221520 | * | F | T | F |
| 221521 | * | F | T | F |
| 221522 | * | F | T | F |
| 221523 | * | F | T | F |
| 221524 | * | F | T | F |
| 221525 | * | F | T | F |
| 221526 | * | F | T | F |
| 221527 | * | F | T | F |
| 221528 | * | F | T | F |
| 221529 | * | F | T | F |
| 221530 | * | F | T | F |
| 221531 | * | F | T | F |
| 221532 | * | F | T | F |
| 221533 | * | F | T | F |
| 296615 | * | F | T | F |
| 296616 | * | F | T | F |
| 296617 | * | F | T | F |
| 296618 | * | F | T | F |
| 296619 | * | F | T | F |
| 296620 | * | F | T | F |
| 296621 | * | F | T | F |
| 296622 | * | F | T | F |
| 373992 | * | F | T | F |
| 373993 | * | F | T | F |
| 373994 | * | F | T | F |
| 373995 | * | F | T | F |
| 373996 | * | F | T | F |
| 373997 | * | F | T | F |
| 373998 | * | F | T | F |
| 373999 | * | F | T | F |
| 379236 | * | F | T | F |
| 379237 | * | F | T | F |
| 379238 | * | F | T | F |
| 379239 | * | F | T | F |
| 379240 | * | F | T | F |
| 379241 | * | F | T | F |
| 379242 | * | F | T | F |
| 379243 | * | F | T | F |
| 382087 | * | F | T | F |
| 382088 | * | F | T | F |
| 382089 | * | F | T | F |
| 382090 | * | F | T | F |
| 382091 | * | F | T | F |
| 382092 | * | F | T | F |
| 382093 | * | F | T | F |
| 382094 | * | F | T | F |
| 384852 | * | F | T | F |
| 384853 | * | F | T | F |
| 384854 | * | F | T | F |
| 384855 | * | F | T | F |
| 384856 | * | F | T | F |
| 384857 | * | F | T | F |
| 384858 | * | F | T | F |
| 384859 | * | F | T | F |
Independent-effect pairs
All 3 conditions live in core::fmt::write — 3 br_if
c0(branch9743): DEAD view gap →c1(branch9744): GAP view gap →c2(branch9745): GAP view gap →