Decision #427 — library/core/src/slice/index.rs:272
Status: no_witness
Truth table
| row | c0 br 2852 | c1 br 2854 | c2 br 2855 | c3 br 2857 | c4 br 2860 | c5 br 2884 | c6 br 2888 | c7 br 2889 | c8 br 2891 | c9 br 2892 | c10 br 2893 | c11 br 2894 | outcome |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 17635 | * | * | * | * | * | F | * | * | T | * | T | * | T |
| 17636 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 17637 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 17638 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 17639 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 17640 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 17641 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 17642 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 17643 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 17644 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 17645 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 17646 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 17647 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 17648 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 17649 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 17650 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 17651 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 17652 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 17653 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 17654 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 17655 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 17656 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 17657 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 17658 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 17659 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 17660 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 17661 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 17662 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 17663 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 17664 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 17665 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 17666 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 17667 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 17668 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 17669 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 17670 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 17671 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 17672 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 17673 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 17674 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 17675 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 17676 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 17677 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 17678 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 17679 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 17680 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 17681 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 17682 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 17683 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 17684 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 17685 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 17686 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 17687 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 17688 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 17689 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 17690 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 17691 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 17692 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 17693 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 17694 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 17695 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 17696 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 17697 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 17698 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 17699 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 17700 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 17701 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 17702 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 17703 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 17704 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 17705 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 17706 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 17707 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 17708 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 17709 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 17710 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 17711 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 17712 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 17713 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 17714 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 17715 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 17716 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 17717 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 17718 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 17719 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 17720 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 17721 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 17722 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 17723 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 17724 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 17725 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 17726 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 17727 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 17728 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 17729 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 17730 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 25353 | * | * | * | * | * | F | * | * | T | * | T | * | T |
| 25354 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 25355 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 25356 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 25357 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 25358 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 25359 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 25360 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 25361 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 25362 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 25363 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 25364 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 25365 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 25366 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 25367 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 25368 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 25369 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 25370 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 25371 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 25372 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 25373 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 25374 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 25375 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 25376 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 25377 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 25378 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 25379 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 25380 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 25381 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 25382 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 25383 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 25384 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 25385 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 25386 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 25387 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 25388 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 25389 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 25390 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 25391 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 25392 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 25393 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 25394 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 25395 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 25396 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 25397 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 25398 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 25399 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 25400 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 25401 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 25402 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 25403 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 25404 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 25405 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 25406 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 25407 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 25408 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 25409 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 25410 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 25411 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 25412 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 25413 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 25414 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 25415 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 25416 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 25417 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 25418 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 25419 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 25420 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 25421 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 25422 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 25423 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 25424 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 25425 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 25426 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 25427 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 25428 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 25429 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 25430 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 25431 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 25432 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 25433 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 25434 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 25435 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 25436 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 25437 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 25438 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 25439 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 25440 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 25441 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 25442 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 25443 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 25444 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 25445 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 25446 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 25447 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 25448 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 31026 | * | * | * | * | * | F | * | * | T | * | T | * | T |
| 31027 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 31028 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 31029 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 31030 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 31031 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 31032 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 31033 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 31034 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 31035 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 31036 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 31037 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 31038 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 31039 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 31040 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 31041 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 31042 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 31043 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 31044 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 31045 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 31046 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 31047 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 31048 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 31049 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 31050 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 31051 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 31052 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 31053 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 31054 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 31055 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 31056 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 31057 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 31058 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 31059 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 31060 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 31061 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 31062 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 31063 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 31064 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 31065 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 31066 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 31067 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 31068 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 31069 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 31070 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 31071 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 31072 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 31073 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 31074 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 31075 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 31076 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 31077 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 31078 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 31079 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 31080 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 31081 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 31082 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 31083 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 31084 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 31085 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 31086 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 31087 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 31088 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 31089 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 36964 | * | * | * | * | * | F | * | * | T | * | T | * | T |
| 36965 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 36966 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 36967 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 36968 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 36969 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 36970 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 36971 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 36972 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 36973 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 36974 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 36975 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 36976 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 36977 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 36978 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 36979 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 36980 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 36981 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 36982 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 36983 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 36984 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 36985 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 36986 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 36987 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 36988 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 36989 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 36990 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 36991 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 36992 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 36993 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 36994 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 36995 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 36996 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 36997 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 36998 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 36999 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 37000 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 37001 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 37002 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 37003 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 37004 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 37005 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 37006 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 37007 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 37008 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 37009 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 37010 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 37011 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 37012 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 37013 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 37014 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 37015 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 37016 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 37017 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 37018 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 37019 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 37020 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 37021 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 37022 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 37023 | * | * | * | * | * | F | * | * | F | T | F | T | T |
| 37024 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 37025 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 37026 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 37027 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 58906 | * | * | * | * | * | F | * | * | T | * | T | * | T |
| 58907 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 58908 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 58909 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 58910 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 58911 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 58912 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 58913 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 58914 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 58915 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 58916 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 58917 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 58918 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 58919 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 58920 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 58921 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 58922 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 58923 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 58924 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 58925 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 58926 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 58927 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 58928 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 58929 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 58930 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 58931 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 58932 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 58933 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 58934 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 58935 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 58936 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 58937 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 58938 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 58939 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 58940 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 58941 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 58942 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 58943 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 58944 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 58945 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 58946 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 58947 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 58948 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 58949 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 58950 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 58951 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 58952 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 58953 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 58954 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 58955 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 58956 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 58957 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 58958 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 58959 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 58960 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 58961 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 58962 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 58963 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 58964 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 58965 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 58966 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 58967 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 58968 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 58969 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 58970 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 58971 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 58972 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 58973 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 58974 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 58975 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 58976 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 58977 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 58978 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 58979 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 58980 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 58981 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 58982 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 58983 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 58984 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 58985 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 58986 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 58987 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 58988 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 58989 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 58990 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 58991 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 58992 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 58993 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 58994 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 58995 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 58996 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 58997 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 58998 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 58999 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 59000 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 59001 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 59002 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 59003 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 59004 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 59005 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 59006 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 59007 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 59008 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 59009 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 59010 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 59011 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 59012 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 59013 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 59014 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 59015 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 59016 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 59017 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 59018 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 59019 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 59020 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 59021 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 59022 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 59023 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 59024 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 59025 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 59026 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 59027 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 59028 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 59029 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 59030 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 59031 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 59032 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 59033 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68678 | * | * | * | * | * | F | * | * | T | * | T | * | T |
| 68679 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 68680 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 68681 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 68682 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 68683 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 68684 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 68685 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 68686 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 68687 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 68688 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68689 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68690 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 68691 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 68692 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68693 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 68694 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 68695 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 68696 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 68697 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 68698 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 68699 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 68700 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 68701 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 68702 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 68703 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 68704 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68705 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68706 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 68707 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 68708 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68709 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 68710 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 68711 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 68712 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 68713 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 68714 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 68715 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 68716 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 68717 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 68718 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 68719 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 68720 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68721 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68722 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 68723 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 68724 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68725 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 68726 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 68727 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 68728 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 68729 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 68730 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 68731 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 68732 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 68733 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 68734 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 68735 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 68736 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68737 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68738 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 68739 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 68740 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68741 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 68742 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 68743 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 68744 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 68745 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 68746 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 68747 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 68748 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 68749 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 68750 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 68751 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 68752 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68753 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68754 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 68755 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 68756 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68757 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 68758 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 68759 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 68760 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 68761 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 68762 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 68763 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 68764 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 68765 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 68766 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 68767 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 68768 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68769 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68770 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 68771 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 68772 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68773 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 68774 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 68775 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 68776 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 68777 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 68778 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 68779 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 68780 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 68781 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 68782 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 68783 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 68784 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68785 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68786 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 68787 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 68788 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68789 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 68790 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 68791 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 68792 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 68793 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 68794 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 68795 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 68796 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 68797 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 68798 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 68799 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 68800 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68801 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68802 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 68803 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 68804 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 68805 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105881 | * | * | * | * | * | F | * | * | T | * | T | * | T |
| 105882 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 105883 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 105884 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 105885 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 105886 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 105887 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 105888 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 105889 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 105890 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 105891 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105892 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105893 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 105894 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 105895 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105896 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 105897 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 105898 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 105899 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 105900 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 105901 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 105902 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 105903 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 105904 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 105905 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 105906 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 105907 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105908 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105909 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 105910 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 105911 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105912 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 105913 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 105914 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 105915 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 105916 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 105917 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 105918 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 105919 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 105920 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 105921 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 105922 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 105923 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105924 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105925 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 105926 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 105927 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105928 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 105929 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 105930 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 105931 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 105932 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 105933 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 105934 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 105935 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 105936 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 105937 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 105938 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 105939 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105940 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105941 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 105942 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 105943 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105944 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 105945 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 105946 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 105947 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 105948 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 105949 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 105950 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 105951 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 105952 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 105953 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 105954 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 105955 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105956 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105957 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 105958 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 105959 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105960 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 105961 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 105962 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 105963 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 105964 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 105965 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 105966 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 105967 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 105968 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 105969 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 105970 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 105971 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105972 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105973 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 105974 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 105975 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105976 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 105977 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 105978 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 105979 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 105980 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 105981 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 105982 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 105983 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 105984 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 105985 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 105986 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 105987 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105988 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105989 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 105990 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 105991 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 105992 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 105993 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 105994 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 105995 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 105996 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 105997 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 105998 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 105999 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106000 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106001 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106002 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106003 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106004 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106005 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106006 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106007 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106008 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 106009 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 106010 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 106011 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106012 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106013 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 106014 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 106015 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106016 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106017 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106018 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106019 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106020 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106021 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106022 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106023 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106024 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 106025 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 106026 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 106027 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106028 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106029 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 106030 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 106031 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106032 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106033 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106034 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106035 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106036 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106037 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106038 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106039 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106040 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 106041 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 106042 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 106043 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106044 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106045 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 106046 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 106047 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106048 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106049 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106050 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106051 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106052 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106053 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106054 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106055 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106056 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 106057 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 106058 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 106059 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106060 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106061 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 106062 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 106063 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106064 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106065 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106066 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106067 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106068 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106069 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106070 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106071 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106072 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 106073 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 106074 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 106075 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106076 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106077 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 106078 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 106079 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106080 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106081 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106082 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106083 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106084 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106085 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106086 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106087 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106088 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 106089 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 106090 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 106091 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106092 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106093 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 106094 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 106095 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106096 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106097 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106098 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106099 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106100 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106101 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106102 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106103 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106104 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 106105 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 106106 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 106107 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106108 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106109 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 106110 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 106111 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106112 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106113 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106114 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106115 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106116 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106117 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106118 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106119 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106120 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 106121 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 106122 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 106123 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106124 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106125 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 106126 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 106127 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106128 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106129 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106130 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106131 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106132 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106133 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106134 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106135 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106136 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 106137 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 106138 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 106139 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106140 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106141 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 106142 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 106143 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106144 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106145 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106146 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106147 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106148 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106149 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106150 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106151 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106152 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 106153 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 106154 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 106155 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106156 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 106157 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 106158 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 106159 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106160 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 106161 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106162 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106163 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106164 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106165 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 106166 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 106167 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 106168 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124744 | * | * | * | * | * | F | * | * | T | * | T | * | T |
| 124745 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 124746 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124747 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124748 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 124749 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 124750 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124751 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124752 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124753 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124754 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124755 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124756 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124757 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124758 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124759 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 124760 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 124761 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 124762 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124763 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124764 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 124765 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 124766 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124767 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124768 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124769 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124770 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124771 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124772 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124773 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124774 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124775 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 124776 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 124777 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 124778 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124779 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124780 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 124781 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 124782 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124783 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124784 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124785 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124786 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124787 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124788 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124789 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124790 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124791 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 124792 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 124793 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 124794 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124795 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124796 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 124797 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 124798 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124799 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124800 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124801 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124802 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124803 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124804 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124805 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124806 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124807 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 124808 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 124809 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 124810 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124811 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124812 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 124813 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 124814 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124815 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124816 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124817 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124818 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124819 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124820 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124821 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124822 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124823 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 124824 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 124825 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 124826 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124827 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124828 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 124829 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 124830 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124831 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124832 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124833 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124834 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124835 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124836 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124837 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124838 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124839 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 124840 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 124841 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 124842 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124843 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124844 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 124845 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 124846 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124847 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124848 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124849 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124850 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124851 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124852 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124853 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124854 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124855 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 124856 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 124857 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 124858 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124859 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124860 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 124861 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 124862 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124863 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124864 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124865 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124866 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124867 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124868 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124869 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124870 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124871 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 124872 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 124873 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 124874 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124875 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124876 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 124877 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 124878 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124879 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124880 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124881 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124882 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124883 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124884 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124885 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124886 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124887 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 124888 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 124889 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 124890 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124891 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124892 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 124893 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 124894 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124895 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124896 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124897 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124898 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124899 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124900 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124901 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124902 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124903 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 124904 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 124905 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 124906 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124907 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124908 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 124909 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 124910 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124911 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124912 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124913 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124914 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124915 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124916 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124917 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124918 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124919 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 124920 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 124921 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 124922 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124923 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124924 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 124925 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 124926 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124927 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124928 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124929 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124930 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124931 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124932 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124933 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124934 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124935 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 124936 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 124937 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 124938 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124939 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124940 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 124941 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 124942 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124943 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124944 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124945 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124946 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124947 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124948 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124949 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124950 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124951 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 124952 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 124953 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 124954 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124955 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124956 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 124957 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 124958 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124959 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124960 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124961 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124962 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124963 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124964 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124965 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124966 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124967 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 124968 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 124969 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 124970 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124971 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124972 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 124973 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 124974 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124975 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124976 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124977 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124978 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124979 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124980 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124981 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124982 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124983 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 124984 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 124985 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 124986 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124987 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 124988 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 124989 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 124990 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124991 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 124992 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124993 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124994 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124995 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124996 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 124997 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 124998 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 124999 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 125000 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 125001 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 125002 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 125003 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 125004 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 125005 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 125006 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 125007 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 125008 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 125009 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 125010 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 125011 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 125012 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 125013 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 125014 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 125015 | * | * | * | * | * | F | * | * | F | F | F | F | T |
| 125016 | * | * | * | * | * | * | * | * | T | * | T | * | T |
| 125017 | * | * | * | * | * | * | * | * | F | T | T | * | T |
| 125018 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 125019 | * | * | * | * | * | * | * | * | F | F | T | * | T |
| 125020 | * | * | * | * | * | * | * | * | T | * | F | T | T |
| 125021 | * | * | * | * | * | * | * | * | F | T | F | T | T |
| 125022 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 125023 | * | * | * | * | * | * | * | * | F | F | F | T | T |
| 125024 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 125025 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 125026 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 125027 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 125028 | * | * | * | * | * | * | * | * | T | * | F | F | T |
| 125029 | * | * | * | * | * | * | * | * | F | T | F | F | T |
| 125030 | * | * | * | * | * | * | * | * | F | F | F | F | T |
| 125031 | * | * | * | * | * | * | * | * | F | F | F | F | T |
Independent-effect pairs
All 12 conditions live in scry_octagon::assign_add_const — 12 br_if
c0(branch2852): DEAD view gap →c1(branch2854): DEAD view gap →c2(branch2855): DEAD view gap →c3(branch2857): DEAD view gap →c4(branch2860): DEAD view gap →c5(branch2884): GAP view gap →c6(branch2888): DEAD view gap →c7(branch2889): DEAD view gap →c8(branch2891): GAP view gap →c9(branch2892): GAP view gap →c10(branch2893): GAP view gap →c11(branch2894): GAP view gap →