Decision #757 — lib.rs:64
Status: partial
Truth table
| row | c0 br 5105 | c1 br 5106 | c2 br 5107 | c3 br 5108 | outcome |
|---|---|---|---|---|---|
| 1685 | F | F | T | * | T |
| 1686 | F | F | T | * | T |
| 1687 | * | F | T | * | T |
| 1688 | F | F | T | * | T |
| 1689 | * | F | T | * | T |
| 1690 | F | F | T | * | T |
| 1691 | * | F | T | * | T |
| 1692 | F | F | T | * | T |
| 1693 | * | F | T | * | T |
| 1694 | F | F | T | * | T |
| 1695 | * | F | T | * | T |
| 1696 | * | F | T | * | T |
| 5476 | F | F | T | * | T |
| 5477 | F | F | T | * | T |
| 5478 | * | F | T | * | T |
| 5479 | F | F | T | * | T |
| 5480 | * | F | T | * | T |
| 5481 | F | F | T | * | T |
| 5482 | * | F | T | * | T |
| 5483 | F | F | T | * | T |
| 5484 | * | F | T | * | T |
| 5485 | F | F | T | * | T |
| 5486 | * | F | T | * | T |
| 5487 | * | F | T | * | T |
| 9257 | F | F | T | * | T |
| 9258 | F | F | T | * | T |
| 9259 | * | F | T | * | T |
| 9260 | F | F | T | * | T |
| 9261 | * | F | T | * | T |
| 9262 | F | F | T | * | T |
| 9263 | * | F | T | * | T |
| 9264 | F | F | T | * | T |
| 9265 | * | F | T | * | T |
| 9266 | F | F | T | * | T |
| 9267 | * | F | T | * | T |
| 9268 | * | F | T | * | T |
| 17348 | F | F | T | * | T |
| 17349 | * | F | T | * | T |
| 17350 | * | F | T | * | T |
| 17351 | F | F | T | * | T |
| 17352 | * | F | T | * | T |
| 17353 | * | F | T | * | T |
| 17354 | * | F | T | * | T |
| 17355 | F | F | T | * | T |
| 17356 | * | F | T | * | T |
| 17357 | * | F | T | * | T |
| 17358 | * | F | T | * | T |
| 17359 | F | F | T | * | T |
| 17360 | * | F | T | * | T |
| 17361 | * | F | T | * | T |
| 17362 | * | F | T | * | T |
| 17363 | F | F | T | * | T |
| 17364 | * | F | T | * | T |
| 17365 | * | F | T | * | T |
| 17366 | * | F | T | * | T |
| 17367 | F | F | T | * | T |
| 17368 | * | F | T | * | T |
| 17369 | * | F | T | * | T |
| 17370 | * | F | T | * | T |
| 17371 | F | F | T | * | T |
| 17372 | * | F | F | T | T |
| 17373 | * | F | F | T | T |
| 17374 | * | F | F | F | F |
| 17375 | F | F | F | F | F |
| 17376 | * | F | F | T | T |
| 17377 | * | F | F | T | T |
| 17378 | * | F | F | F | F |
| 17379 | F | F | F | F | F |
| 17380 | * | F | T | * | T |
| 17381 | * | F | T | * | T |
| 17382 | * | F | T | * | T |
| 17383 | F | F | T | * | T |
| 17384 | * | F | T | * | T |
| 17385 | * | F | T | * | T |
| 17386 | * | F | T | * | T |
| 17387 | F | F | T | * | T |
| 17388 | * | F | F | T | T |
| 17389 | * | F | F | T | T |
| 17390 | * | F | F | F | F |
| 17391 | F | F | F | F | F |
| 17392 | * | F | F | T | T |
| 17393 | * | F | F | T | T |
| 17394 | * | F | F | F | F |
| 17395 | F | F | F | F | F |
| 17396 | * | F | T | * | T |
| 17397 | * | F | T | * | T |
| 17398 | * | F | T | * | T |
| 17399 | F | F | T | * | T |
| 17400 | * | F | T | * | T |
| 17401 | * | F | T | * | T |
| 17402 | * | F | T | * | T |
| 17403 | F | F | T | * | T |
| 17404 | * | F | F | T | T |
| 17405 | * | F | F | T | T |
| 17406 | * | F | F | F | F |
| 17407 | F | F | F | F | F |
| 17408 | * | F | F | T | T |
| 17409 | * | F | F | T | T |
| 17410 | * | F | F | F | F |
| 17411 | F | F | F | F | F |
| 17412 | * | F | T | * | T |
| 17413 | * | F | T | * | T |
| 17414 | * | F | T | * | T |
| 17415 | F | F | T | * | T |
| 17416 | * | F | T | * | T |
| 17417 | * | F | T | * | T |
| 17418 | * | F | T | * | T |
| 17419 | F | F | T | * | T |
| 17420 | * | F | F | T | T |
| 17421 | * | F | F | T | T |
| 17422 | * | F | F | F | F |
| 17423 | F | F | F | F | F |
| 17424 | * | F | F | T | T |
| 17425 | * | F | F | T | T |
| 17426 | * | F | F | F | F |
| 17427 | F | F | F | F | F |
| 17428 | * | F | T | * | T |
| 17429 | * | F | T | * | T |
| 17430 | * | F | T | * | T |
| 17431 | F | F | T | * | T |
| 17432 | * | F | T | * | T |
| 17433 | * | F | T | * | T |
| 17434 | * | F | T | * | T |
| 17435 | F | F | T | * | T |
| 17436 | * | F | F | T | T |
| 17437 | * | F | F | T | T |
| 17438 | * | F | F | F | F |
| 17439 | F | F | F | F | F |
| 17440 | * | F | F | T | T |
| 17441 | * | F | F | T | T |
| 17442 | * | F | F | F | F |
| 17443 | F | F | F | F | F |
| 17444 | * | F | T | * | T |
| 17445 | * | F | T | * | T |
| 17446 | * | F | T | * | T |
| 17447 | F | F | T | * | T |
| 17448 | * | F | T | * | T |
| 17449 | * | F | T | * | T |
| 17450 | * | F | T | * | T |
| 17451 | F | F | T | * | T |
| 17452 | * | F | F | T | T |
| 17453 | * | F | F | T | T |
| 17454 | * | F | F | F | F |
| 17455 | F | F | F | F | F |
| 17456 | * | F | F | T | T |
| 17457 | * | F | F | T | T |
| 17458 | * | F | F | F | F |
| 17459 | F | F | F | F | F |
| 17460 | * | F | T | * | T |
| 17461 | * | F | T | * | T |
| 17462 | * | F | T | * | T |
| 17463 | F | F | T | * | T |
| 17464 | * | F | T | * | T |
| 17465 | * | F | T | * | T |
| 17466 | * | F | T | * | T |
| 17467 | F | F | T | * | T |
| 17468 | * | F | F | T | T |
| 17469 | * | F | F | T | T |
| 17470 | * | F | F | F | F |
| 17471 | F | F | F | F | F |
| 17472 | * | F | F | T | T |
| 17473 | * | F | F | T | T |
| 17474 | * | F | F | F | F |
| 17475 | F | F | F | F | F |
| 17476 | * | F | T | * | T |
| 17477 | * | F | T | * | T |
| 17478 | * | F | T | * | T |
| 17479 | F | F | T | * | T |
| 17480 | * | F | T | * | T |
| 17481 | * | F | T | * | T |
| 17482 | * | F | T | * | T |
| 17483 | F | F | T | * | T |
| 17484 | * | F | F | T | T |
| 17485 | * | F | F | T | T |
| 17486 | * | F | F | F | F |
| 17487 | F | F | F | F | F |
| 17488 | * | F | F | T | T |
| 17489 | * | F | F | T | T |
| 17490 | * | F | F | F | F |
| 17491 | F | F | F | F | F |
| 17492 | * | F | T | * | T |
| 17493 | * | F | T | * | T |
| 17494 | * | F | T | * | T |
| 17495 | F | F | T | * | T |
| 17496 | * | F | T | * | T |
| 17497 | * | F | T | * | T |
| 17498 | * | F | T | * | T |
| 17499 | F | F | T | * | T |
| 17500 | * | F | F | T | T |
| 17501 | * | F | F | T | T |
| 17502 | * | F | F | F | F |
| 17503 | F | F | F | F | F |
| 17504 | * | F | F | T | T |
| 17505 | * | F | F | T | T |
| 17506 | * | F | F | F | F |
| 17507 | F | F | F | F | F |
| 17508 | * | F | T | * | T |
| 17509 | * | F | T | * | T |
| 17510 | * | F | T | * | T |
| 17511 | F | F | T | * | T |
| 17512 | * | F | T | * | T |
| 17513 | * | F | T | * | T |
| 17514 | * | F | T | * | T |
| 17515 | F | F | T | * | T |
| 17516 | * | F | F | T | T |
| 17517 | * | F | F | T | T |
| 17518 | * | F | F | F | F |
| 17519 | F | F | F | F | F |
| 17520 | * | F | F | T | T |
| 17521 | * | F | F | T | T |
| 17522 | * | F | F | F | F |
| 17523 | F | F | F | F | F |
| 17524 | * | F | T | * | T |
| 17525 | * | F | T | * | T |
| 17526 | * | F | T | * | T |
| 17527 | F | F | T | * | T |
| 17528 | * | F | T | * | T |
| 17529 | * | F | T | * | T |
| 17530 | * | F | T | * | T |
| 17531 | F | F | T | * | T |
| 17532 | * | F | F | T | T |
| 17533 | * | F | F | T | T |
| 17534 | * | F | F | F | F |
| 17535 | F | F | F | F | F |
| 17536 | * | F | F | T | T |
| 17537 | * | F | F | T | T |
| 17538 | * | F | F | F | F |
| 17539 | F | F | F | F | F |
| 17540 | * | F | T | * | T |
| 17541 | * | F | T | * | T |
| 17542 | * | F | T | * | T |
| 17543 | F | F | T | * | T |
| 17544 | * | F | T | * | T |
| 17545 | * | F | T | * | T |
| 17546 | * | F | T | * | T |
| 17547 | F | F | T | * | T |
| 17548 | * | F | F | T | T |
| 17549 | * | F | F | T | T |
| 17550 | * | F | F | F | F |
| 17551 | F | F | F | F | F |
| 17552 | * | F | F | T | T |
| 17553 | * | F | F | T | T |
| 17554 | * | F | F | F | F |
| 17555 | F | F | F | F | F |
| 17556 | * | F | T | * | T |
| 17557 | * | F | T | * | T |
| 17558 | * | F | T | * | T |
| 17559 | F | F | T | * | T |
| 17560 | * | F | T | * | T |
| 17561 | * | F | T | * | T |
| 17562 | * | F | T | * | T |
| 17563 | F | F | T | * | T |
| 17564 | * | F | F | T | T |
| 17565 | * | F | F | T | T |
| 17566 | * | F | F | F | F |
| 17567 | F | F | F | F | F |
| 17568 | * | F | F | T | T |
| 17569 | * | F | F | T | T |
| 17570 | * | F | F | F | F |
| 17571 | F | F | F | F | F |
| 17572 | * | F | T | * | T |
| 17573 | * | F | T | * | T |
| 17574 | * | F | T | * | T |
| 17575 | F | F | T | * | T |
| 17576 | * | F | T | * | T |
| 17577 | * | F | T | * | T |
| 17578 | * | F | T | * | T |
| 17579 | F | F | T | * | T |
| 17580 | * | F | F | T | T |
| 17581 | * | F | F | T | T |
| 17582 | * | F | F | F | F |
| 17583 | F | F | F | F | F |
| 17584 | * | F | F | T | T |
| 17585 | * | F | F | T | T |
| 17586 | * | F | F | F | F |
| 17587 | F | F | F | F | F |
| 17588 | * | F | T | * | T |
| 17589 | * | F | T | * | T |
| 17590 | * | F | T | * | T |
| 17591 | F | F | T | * | T |
| 17592 | * | F | T | * | T |
| 17593 | * | F | T | * | T |
| 17594 | * | F | T | * | T |
| 17595 | F | F | T | * | T |
| 17596 | * | F | F | T | T |
| 17597 | * | F | F | T | T |
| 17598 | * | F | F | F | F |
| 17599 | F | F | F | F | F |
| 17600 | * | F | F | T | T |
| 17601 | * | F | F | T | T |
| 17602 | * | F | F | F | F |
| 17603 | F | F | F | F | F |
| 17604 | * | F | T | * | T |
| 17605 | * | F | T | * | T |
| 17606 | * | F | T | * | T |
| 17607 | F | F | T | * | T |
| 17608 | * | F | T | * | T |
| 17609 | * | F | T | * | T |
| 17610 | * | F | T | * | T |
| 17611 | F | F | T | * | T |
| 17612 | * | F | F | T | T |
| 17613 | * | F | F | T | T |
| 17614 | * | F | F | F | F |
| 17615 | F | F | F | F | F |
| 17616 | * | F | F | T | T |
| 17617 | * | F | F | T | T |
| 17618 | * | F | F | F | F |
| 17619 | F | F | F | F | F |
| 17620 | * | F | T | * | T |
| 17621 | * | F | T | * | T |
| 17622 | * | F | T | * | T |
| 17623 | F | F | T | * | T |
| 17624 | * | F | T | * | T |
| 17625 | * | F | T | * | T |
| 17626 | * | F | T | * | T |
| 17627 | F | F | T | * | T |
| 17628 | * | F | F | T | T |
| 17629 | * | F | F | T | T |
| 17630 | * | F | F | F | F |
| 17631 | F | F | F | F | F |
| 17632 | * | F | F | T | T |
| 17633 | * | F | F | T | T |
| 17634 | * | F | F | F | F |
| 17635 | F | F | F | F | F |
| 17636 | * | F | T | * | T |
| 17637 | * | F | T | * | T |
| 17638 | * | F | T | * | T |
| 17639 | F | F | T | * | T |
| 17640 | * | F | T | * | T |
| 17641 | * | F | T | * | T |
| 17642 | * | F | T | * | T |
| 17643 | F | F | T | * | T |
| 17644 | * | F | F | T | T |
| 17645 | * | F | F | T | T |
| 17646 | * | F | F | F | F |
| 17647 | F | F | F | F | F |
| 17648 | * | F | F | T | T |
| 17649 | * | F | F | T | T |
| 17650 | * | F | F | F | F |
| 17651 | F | F | F | F | F |
| 17652 | * | F | T | * | T |
| 17653 | * | F | T | * | T |
| 17654 | * | F | T | * | T |
| 17655 | F | F | T | * | T |
| 17656 | * | F | T | * | T |
| 17657 | * | F | T | * | T |
| 17658 | * | F | T | * | T |
| 17659 | F | F | T | * | T |
| 17660 | * | F | F | T | T |
| 17661 | * | F | F | T | T |
| 17662 | * | F | F | F | F |
| 17663 | F | F | F | F | F |
| 17664 | * | F | F | T | T |
| 17665 | * | F | F | T | T |
| 17666 | * | F | F | F | F |
| 17667 | F | F | F | F | F |
| 17668 | * | F | T | * | T |
| 17669 | * | F | T | * | T |
| 17670 | * | F | T | * | T |
| 17671 | F | F | T | * | T |
| 17672 | * | F | T | * | T |
| 17673 | * | F | T | * | T |
| 17674 | * | F | T | * | T |
| 17675 | F | F | T | * | T |
| 17676 | * | F | F | T | T |
| 17677 | * | F | F | T | T |
| 17678 | * | F | F | F | F |
| 17679 | F | F | F | F | F |
| 17680 | * | F | F | T | T |
| 17681 | * | F | F | T | T |
| 17682 | * | F | F | F | F |
| 17683 | F | F | F | F | F |
| 17684 | * | F | T | * | T |
| 17685 | * | F | T | * | T |
| 17686 | * | F | T | * | T |
| 17687 | F | F | T | * | T |
| 17688 | * | F | T | * | T |
| 17689 | * | F | T | * | T |
| 17690 | * | F | T | * | T |
| 17691 | F | F | T | * | T |
| 17692 | * | F | F | T | T |
| 17693 | * | F | F | T | T |
| 17694 | * | F | F | F | F |
| 17695 | F | F | F | F | F |
| 17696 | * | F | F | T | T |
| 17697 | * | F | F | T | T |
| 17698 | * | F | F | F | F |
| 17699 | F | F | F | F | F |
| 17700 | * | F | T | * | T |
| 17701 | * | F | T | * | T |
| 17702 | * | F | T | * | T |
| 17703 | F | F | T | * | T |
| 17704 | * | F | T | * | T |
| 17705 | * | F | T | * | T |
| 17706 | * | F | T | * | T |
| 17707 | F | F | T | * | T |
| 17708 | * | F | F | T | T |
| 17709 | * | F | F | T | T |
| 17710 | * | F | F | F | F |
| 17711 | F | F | F | F | F |
| 17712 | * | F | F | T | T |
| 17713 | * | F | F | T | T |
| 17714 | * | F | F | F | F |
| 17715 | F | F | F | F | F |
| 17716 | * | F | T | * | T |
| 17717 | * | F | T | * | T |
| 17718 | * | F | T | * | T |
| 17719 | F | F | T | * | T |
| 17720 | * | F | T | * | T |
| 17721 | * | F | T | * | T |
| 17722 | * | F | T | * | T |
| 17723 | F | F | T | * | T |
| 17724 | * | F | F | T | T |
| 17725 | * | F | F | T | T |
| 17726 | * | F | F | F | F |
| 17727 | F | F | F | F | F |
| 17728 | * | F | F | T | T |
| 17729 | * | F | F | T | T |
| 17730 | * | F | F | F | F |
| 17731 | F | F | F | F | F |
| 17732 | * | F | T | * | T |
| 17733 | * | F | T | * | T |
| 17734 | * | F | T | * | T |
| 17735 | F | F | T | * | T |
| 17736 | * | F | T | * | T |
| 17737 | * | F | T | * | T |
| 17738 | * | F | T | * | T |
| 17739 | F | F | T | * | T |
| 17740 | * | F | F | T | T |
| 17741 | * | F | F | T | T |
| 17742 | * | F | F | F | F |
| 17743 | F | F | F | F | F |
| 17744 | * | F | F | T | T |
| 17745 | * | F | F | T | T |
| 17746 | * | F | F | F | F |
| 17747 | * | F | F | F | F |
| 26826 | F | F | T | * | T |
| 26827 | * | F | T | * | T |
| 26828 | * | F | T | * | T |
| 26829 | F | F | T | * | T |
| 26830 | * | F | T | * | T |
| 26831 | * | F | T | * | T |
| 26832 | * | F | T | * | T |
| 26833 | F | F | T | * | T |
| 26834 | * | F | T | * | T |
| 26835 | * | F | T | * | T |
| 26836 | * | F | T | * | T |
| 26837 | F | F | T | * | T |
| 26838 | * | F | T | * | T |
| 26839 | * | F | T | * | T |
| 26840 | * | F | T | * | T |
| 26841 | F | F | T | * | T |
| 26842 | * | F | T | * | T |
| 26843 | * | F | T | * | T |
| 26844 | * | F | T | * | T |
| 26845 | F | F | T | * | T |
| 26846 | * | F | T | * | T |
| 26847 | * | F | T | * | T |
| 26848 | * | F | T | * | T |
| 26849 | F | F | T | * | T |
| 26850 | * | F | F | T | T |
| 26851 | * | F | F | T | T |
| 26852 | * | F | F | F | F |
| 26853 | F | F | F | F | F |
| 26854 | * | F | F | T | T |
| 26855 | * | F | F | T | T |
| 26856 | * | F | F | F | F |
| 26857 | F | F | F | F | F |
| 26858 | * | F | T | * | T |
| 26859 | * | F | T | * | T |
| 26860 | * | F | T | * | T |
| 26861 | F | F | T | * | T |
| 26862 | * | F | T | * | T |
| 26863 | * | F | T | * | T |
| 26864 | * | F | T | * | T |
| 26865 | F | F | T | * | T |
| 26866 | * | F | F | T | T |
| 26867 | * | F | F | T | T |
| 26868 | * | F | F | F | F |
| 26869 | F | F | F | F | F |
| 26870 | * | F | F | T | T |
| 26871 | * | F | F | T | T |
| 26872 | * | F | F | F | F |
| 26873 | F | F | F | F | F |
| 26874 | * | F | T | * | T |
| 26875 | * | F | T | * | T |
| 26876 | * | F | T | * | T |
| 26877 | F | F | T | * | T |
| 26878 | * | F | T | * | T |
| 26879 | * | F | T | * | T |
| 26880 | * | F | T | * | T |
| 26881 | F | F | T | * | T |
| 26882 | * | F | F | T | T |
| 26883 | * | F | F | T | T |
| 26884 | * | F | F | F | F |
| 26885 | F | F | F | F | F |
| 26886 | * | F | F | T | T |
| 26887 | * | F | F | T | T |
| 26888 | * | F | F | F | F |
| 26889 | F | F | F | F | F |
| 26890 | * | F | T | * | T |
| 26891 | * | F | T | * | T |
| 26892 | * | F | T | * | T |
| 26893 | F | F | T | * | T |
| 26894 | * | F | T | * | T |
| 26895 | * | F | T | * | T |
| 26896 | * | F | T | * | T |
| 26897 | F | F | T | * | T |
| 26898 | * | F | F | T | T |
| 26899 | * | F | F | T | T |
| 26900 | * | F | F | F | F |
| 26901 | F | F | F | F | F |
| 26902 | * | F | F | T | T |
| 26903 | * | F | F | T | T |
| 26904 | * | F | F | F | F |
| 26905 | F | F | F | F | F |
| 26906 | * | F | T | * | T |
| 26907 | * | F | T | * | T |
| 26908 | * | F | T | * | T |
| 26909 | F | F | T | * | T |
| 26910 | * | F | T | * | T |
| 26911 | * | F | T | * | T |
| 26912 | * | F | T | * | T |
| 26913 | F | F | T | * | T |
| 26914 | * | F | F | T | T |
| 26915 | * | F | F | T | T |
| 26916 | * | F | F | F | F |
| 26917 | F | F | F | F | F |
| 26918 | * | F | F | T | T |
| 26919 | * | F | F | T | T |
| 26920 | * | F | F | F | F |
| 26921 | F | F | F | F | F |
| 26922 | * | F | T | * | T |
| 26923 | * | F | T | * | T |
| 26924 | * | F | T | * | T |
| 26925 | F | F | T | * | T |
| 26926 | * | F | T | * | T |
| 26927 | * | F | T | * | T |
| 26928 | * | F | T | * | T |
| 26929 | F | F | T | * | T |
| 26930 | * | F | F | T | T |
| 26931 | * | F | F | T | T |
| 26932 | * | F | F | F | F |
| 26933 | F | F | F | F | F |
| 26934 | * | F | F | T | T |
| 26935 | * | F | F | T | T |
| 26936 | * | F | F | F | F |
| 26937 | F | F | F | F | F |
| 26938 | * | F | T | * | T |
| 26939 | * | F | T | * | T |
| 26940 | * | F | T | * | T |
| 26941 | F | F | T | * | T |
| 26942 | * | F | T | * | T |
| 26943 | * | F | T | * | T |
| 26944 | * | F | T | * | T |
| 26945 | F | F | T | * | T |
| 26946 | * | F | F | T | T |
| 26947 | * | F | F | T | T |
| 26948 | * | F | F | F | F |
| 26949 | F | F | F | F | F |
| 26950 | * | F | F | T | T |
| 26951 | * | F | F | T | T |
| 26952 | * | F | F | F | F |
| 26953 | F | F | F | F | F |
| 26954 | * | F | T | * | T |
| 26955 | * | F | T | * | T |
| 26956 | * | F | T | * | T |
| 26957 | F | F | T | * | T |
| 26958 | * | F | T | * | T |
| 26959 | * | F | T | * | T |
| 26960 | * | F | T | * | T |
| 26961 | F | F | T | * | T |
| 26962 | * | F | F | T | T |
| 26963 | * | F | F | T | T |
| 26964 | * | F | F | F | F |
| 26965 | F | F | F | F | F |
| 26966 | * | F | F | T | T |
| 26967 | * | F | F | T | T |
| 26968 | * | F | F | F | F |
| 26969 | F | F | F | F | F |
| 26970 | * | F | T | * | T |
| 26971 | * | F | T | * | T |
| 26972 | * | F | T | * | T |
| 26973 | F | F | T | * | T |
| 26974 | * | F | T | * | T |
| 26975 | * | F | T | * | T |
| 26976 | * | F | T | * | T |
| 26977 | F | F | T | * | T |
| 26978 | * | F | F | T | T |
| 26979 | * | F | F | T | T |
| 26980 | * | F | F | F | F |
| 26981 | F | F | F | F | F |
| 26982 | * | F | F | T | T |
| 26983 | * | F | F | T | T |
| 26984 | * | F | F | F | F |
| 26985 | F | F | F | F | F |
| 26986 | * | F | T | * | T |
| 26987 | * | F | T | * | T |
| 26988 | * | F | T | * | T |
| 26989 | F | F | T | * | T |
| 26990 | * | F | T | * | T |
| 26991 | * | F | T | * | T |
| 26992 | * | F | T | * | T |
| 26993 | F | F | T | * | T |
| 26994 | * | F | F | T | T |
| 26995 | * | F | F | T | T |
| 26996 | * | F | F | F | F |
| 26997 | F | F | F | F | F |
| 26998 | * | F | F | T | T |
| 26999 | * | F | F | T | T |
| 27000 | * | F | F | F | F |
| 27001 | F | F | F | F | F |
| 27002 | * | F | T | * | T |
| 27003 | * | F | T | * | T |
| 27004 | * | F | T | * | T |
| 27005 | F | F | T | * | T |
| 27006 | * | F | T | * | T |
| 27007 | * | F | T | * | T |
| 27008 | * | F | T | * | T |
| 27009 | F | F | T | * | T |
| 27010 | * | F | F | T | T |
| 27011 | * | F | F | T | T |
| 27012 | * | F | F | F | F |
| 27013 | F | F | F | F | F |
| 27014 | * | F | F | T | T |
| 27015 | * | F | F | T | T |
| 27016 | * | F | F | F | F |
| 27017 | F | F | F | F | F |
| 27018 | * | F | T | * | T |
| 27019 | * | F | T | * | T |
| 27020 | * | F | T | * | T |
| 27021 | F | F | T | * | T |
| 27022 | * | F | T | * | T |
| 27023 | * | F | T | * | T |
| 27024 | * | F | T | * | T |
| 27025 | F | F | T | * | T |
| 27026 | * | F | F | T | T |
| 27027 | * | F | F | T | T |
| 27028 | * | F | F | F | F |
| 27029 | F | F | F | F | F |
| 27030 | * | F | F | T | T |
| 27031 | * | F | F | T | T |
| 27032 | * | F | F | F | F |
| 27033 | F | F | F | F | F |
| 27034 | * | F | T | * | T |
| 27035 | * | F | T | * | T |
| 27036 | * | F | T | * | T |
| 27037 | F | F | T | * | T |
| 27038 | * | F | T | * | T |
| 27039 | * | F | T | * | T |
| 27040 | * | F | T | * | T |
| 27041 | F | F | T | * | T |
| 27042 | * | F | F | T | T |
| 27043 | * | F | F | T | T |
| 27044 | * | F | F | F | F |
| 27045 | F | F | F | F | F |
| 27046 | * | F | F | T | T |
| 27047 | * | F | F | T | T |
| 27048 | * | F | F | F | F |
| 27049 | F | F | F | F | F |
| 27050 | * | F | T | * | T |
| 27051 | * | F | T | * | T |
| 27052 | * | F | T | * | T |
| 27053 | F | F | T | * | T |
| 27054 | * | F | T | * | T |
| 27055 | * | F | T | * | T |
| 27056 | * | F | T | * | T |
| 27057 | F | F | T | * | T |
| 27058 | * | F | F | T | T |
| 27059 | * | F | F | T | T |
| 27060 | * | F | F | F | F |
| 27061 | F | F | F | F | F |
| 27062 | * | F | F | T | T |
| 27063 | * | F | F | T | T |
| 27064 | * | F | F | F | F |
| 27065 | F | F | F | F | F |
| 27066 | * | F | T | * | T |
| 27067 | * | F | T | * | T |
| 27068 | * | F | T | * | T |
| 27069 | F | F | T | * | T |
| 27070 | * | F | T | * | T |
| 27071 | * | F | T | * | T |
| 27072 | * | F | T | * | T |
| 27073 | F | F | T | * | T |
| 27074 | * | F | F | T | T |
| 27075 | * | F | F | T | T |
| 27076 | * | F | F | F | F |
| 27077 | F | F | F | F | F |
| 27078 | * | F | F | T | T |
| 27079 | * | F | F | T | T |
| 27080 | * | F | F | F | F |
| 27081 | F | F | F | F | F |
| 27082 | * | F | T | * | T |
| 27083 | * | F | T | * | T |
| 27084 | * | F | T | * | T |
| 27085 | F | F | T | * | T |
| 27086 | * | F | T | * | T |
| 27087 | * | F | T | * | T |
| 27088 | * | F | T | * | T |
| 27089 | F | F | T | * | T |
| 27090 | * | F | F | T | T |
| 27091 | * | F | F | T | T |
| 27092 | * | F | F | F | F |
| 27093 | F | F | F | F | F |
| 27094 | * | F | F | T | T |
| 27095 | * | F | F | T | T |
| 27096 | * | F | F | F | F |
| 27097 | F | F | F | F | F |
| 27098 | * | F | T | * | T |
| 27099 | * | F | T | * | T |
| 27100 | * | F | T | * | T |
| 27101 | F | F | T | * | T |
| 27102 | * | F | T | * | T |
| 27103 | * | F | T | * | T |
| 27104 | * | F | T | * | T |
| 27105 | F | F | T | * | T |
| 27106 | * | F | F | T | T |
| 27107 | * | F | F | T | T |
| 27108 | * | F | F | F | F |
| 27109 | F | F | F | F | F |
| 27110 | * | F | F | T | T |
| 27111 | * | F | F | T | T |
| 27112 | * | F | F | F | F |
| 27113 | F | F | F | F | F |
| 27114 | * | F | T | * | T |
| 27115 | * | F | T | * | T |
| 27116 | * | F | T | * | T |
| 27117 | F | F | T | * | T |
| 27118 | * | F | T | * | T |
| 27119 | * | F | T | * | T |
| 27120 | * | F | T | * | T |
| 27121 | F | F | T | * | T |
| 27122 | * | F | F | T | T |
| 27123 | * | F | F | T | T |
| 27124 | * | F | F | F | F |
| 27125 | F | F | F | F | F |
| 27126 | * | F | F | T | T |
| 27127 | * | F | F | T | T |
| 27128 | * | F | F | F | F |
| 27129 | F | F | F | F | F |
| 27130 | * | F | T | * | T |
| 27131 | * | F | T | * | T |
| 27132 | * | F | T | * | T |
| 27133 | F | F | T | * | T |
| 27134 | * | F | T | * | T |
| 27135 | * | F | T | * | T |
| 27136 | * | F | T | * | T |
| 27137 | F | F | T | * | T |
| 27138 | * | F | F | T | T |
| 27139 | * | F | F | T | T |
| 27140 | * | F | F | F | F |
| 27141 | F | F | F | F | F |
| 27142 | * | F | F | T | T |
| 27143 | * | F | F | T | T |
| 27144 | * | F | F | F | F |
| 27145 | F | F | F | F | F |
| 27146 | * | F | T | * | T |
| 27147 | * | F | T | * | T |
| 27148 | * | F | T | * | T |
| 27149 | F | F | T | * | T |
| 27150 | * | F | T | * | T |
| 27151 | * | F | T | * | T |
| 27152 | * | F | T | * | T |
| 27153 | F | F | T | * | T |
| 27154 | * | F | F | T | T |
| 27155 | * | F | F | T | T |
| 27156 | * | F | F | F | F |
| 27157 | F | F | F | F | F |
| 27158 | * | F | F | T | T |
| 27159 | * | F | F | T | T |
| 27160 | * | F | F | F | F |
| 27161 | F | F | F | F | F |
| 27162 | * | F | T | * | T |
| 27163 | * | F | T | * | T |
| 27164 | * | F | T | * | T |
| 27165 | F | F | T | * | T |
| 27166 | * | F | T | * | T |
| 27167 | * | F | T | * | T |
| 27168 | * | F | T | * | T |
| 27169 | F | F | T | * | T |
| 27170 | * | F | F | T | T |
| 27171 | * | F | F | T | T |
| 27172 | * | F | F | F | F |
| 27173 | F | F | F | F | F |
| 27174 | * | F | F | T | T |
| 27175 | * | F | F | T | T |
| 27176 | * | F | F | F | F |
| 27177 | F | F | F | F | F |
| 27178 | * | F | T | * | T |
| 27179 | * | F | T | * | T |
| 27180 | * | F | T | * | T |
| 27181 | F | F | T | * | T |
| 27182 | * | F | T | * | T |
| 27183 | * | F | T | * | T |
| 27184 | * | F | T | * | T |
| 27185 | F | F | T | * | T |
| 27186 | * | F | F | T | T |
| 27187 | * | F | F | T | T |
| 27188 | * | F | F | F | F |
| 27189 | F | F | F | F | F |
| 27190 | * | F | F | T | T |
| 27191 | * | F | F | T | T |
| 27192 | * | F | F | F | F |
| 27193 | F | F | F | F | F |
| 27194 | * | F | T | * | T |
| 27195 | * | F | T | * | T |
| 27196 | * | F | T | * | T |
| 27197 | F | F | T | * | T |
| 27198 | * | F | T | * | T |
| 27199 | * | F | T | * | T |
| 27200 | * | F | T | * | T |
| 27201 | F | F | T | * | T |
| 27202 | * | F | F | T | T |
| 27203 | * | F | F | T | T |
| 27204 | * | F | F | F | F |
| 27205 | F | F | F | F | F |
| 27206 | * | F | F | T | T |
| 27207 | * | F | F | T | T |
| 27208 | * | F | F | F | F |
| 27209 | F | F | F | F | F |
| 27210 | * | F | T | * | T |
| 27211 | * | F | T | * | T |
| 27212 | * | F | T | * | T |
| 27213 | F | F | T | * | T |
| 27214 | * | F | T | * | T |
| 27215 | * | F | T | * | T |
| 27216 | * | F | T | * | T |
| 27217 | F | F | T | * | T |
| 27218 | * | F | F | T | T |
| 27219 | * | F | F | T | T |
| 27220 | * | F | F | F | F |
| 27221 | F | F | F | F | F |
| 27222 | * | F | F | T | T |
| 27223 | * | F | F | T | T |
| 27224 | * | F | F | F | F |
| 27225 | * | F | F | F | F |
| 36599 | F | F | F | T | T |
| 36600 | F | F | F | F | F |
| 36601 | * | F | T | * | T |
| 36602 | F | F | T | * | T |
| 36603 | * | F | F | T | T |
| 36604 | F | F | F | F | F |
| 36605 | * | F | T | * | T |
| 36606 | F | F | T | * | T |
| 36607 | * | F | F | T | T |
| 36608 | F | F | F | F | F |
| 36609 | * | F | T | * | T |
| 36610 | F | F | T | * | T |
| 36611 | * | F | F | T | T |
| 36612 | F | F | F | F | F |
| 36613 | * | F | T | * | T |
| 36614 | F | F | T | * | T |
| 36615 | * | F | F | F | F |
| 36616 | F | F | F | F | F |
| 36617 | * | F | F | F | F |
| 36618 | F | F | F | F | F |
| 36619 | * | F | F | T | T |
| 36620 | F | F | F | F | F |
| 36621 | * | F | T | * | T |
| 36622 | F | F | T | * | T |
| 36623 | * | F | F | T | T |
| 36624 | F | F | F | F | F |
| 36625 | * | F | T | * | T |
| 36626 | F | F | T | * | T |
| 36627 | * | F | F | T | T |
| 36628 | F | F | F | F | F |
| 36629 | * | F | T | * | T |
| 36630 | * | F | T | * | T |
| 42812 | F | F | F | T | T |
| 42813 | F | F | F | F | F |
| 42814 | * | F | T | * | T |
| 42815 | F | F | T | * | T |
| 42816 | * | F | F | T | T |
| 42817 | F | F | F | F | F |
| 42818 | * | F | T | * | T |
| 42819 | F | F | T | * | T |
| 42820 | * | F | F | T | T |
| 42821 | F | F | F | F | F |
| 42822 | * | F | T | * | T |
| 42823 | F | F | T | * | T |
| 42824 | * | F | F | T | T |
| 42825 | F | F | F | F | F |
| 42826 | * | F | T | * | T |
| 42827 | F | F | T | * | T |
| 42828 | * | F | F | F | F |
| 42829 | F | F | F | F | F |
| 42830 | * | F | F | F | F |
| 42831 | F | F | F | F | F |
| 42832 | * | F | F | T | T |
| 42833 | F | F | F | F | F |
| 42834 | * | F | T | * | T |
| 42835 | F | F | T | * | T |
| 42836 | * | F | F | T | T |
| 42837 | F | F | F | F | F |
| 42838 | * | F | T | * | T |
| 42839 | F | F | T | * | T |
| 42840 | * | F | F | T | T |
| 42841 | F | F | F | F | F |
| 42842 | * | F | T | * | T |
| 42843 | * | F | T | * | T |
| 48707 | F | F | T | * | T |
| 48708 | F | F | T | * | T |
| 48709 | * | F | T | * | T |
| 48710 | F | F | T | * | T |
| 48711 | * | F | T | * | T |
| 48712 | F | F | T | * | T |
| 48713 | * | F | T | * | T |
| 48714 | F | F | T | * | T |
| 48715 | * | F | T | * | T |
| 48716 | F | F | T | * | T |
| 48717 | * | F | T | * | T |
| 48718 | F | F | T | * | T |
| 48719 | * | F | T | * | T |
| 48720 | F | F | T | * | T |
| 48721 | * | F | T | * | T |
| 48722 | F | F | T | * | T |
| 48723 | * | F | T | * | T |
| 48724 | F | F | T | * | T |
| 48725 | * | F | T | * | T |
| 48726 | F | F | T | * | T |
| 48727 | * | F | T | * | T |
| 48728 | F | F | T | * | T |
| 48729 | * | F | T | * | T |
| 48730 | F | F | T | * | T |
| 48731 | * | F | T | * | T |
| 48732 | F | F | T | * | T |
| 48733 | * | F | T | * | T |
| 48734 | F | F | T | * | T |
| 48735 | * | F | T | * | T |
| 48736 | F | F | T | * | T |
| 48737 | * | F | T | * | T |
| 48738 | F | F | T | * | T |
| 48739 | * | F | T | * | T |
| 48740 | F | F | T | * | T |
| 48741 | * | F | T | * | T |
| 48742 | F | F | T | * | T |
| 48743 | * | F | T | * | T |
| 48744 | F | F | T | * | T |
| 48745 | * | F | T | * | T |
| 48746 | F | F | T | * | T |
| 48747 | * | F | T | * | T |
| 48748 | F | F | T | * | T |
| 48749 | * | F | T | * | T |
| 48750 | * | F | T | * | T |
| 52908 | F | F | T | * | T |
| 52909 | F | F | T | * | T |
| 52910 | * | F | T | * | T |
| 52911 | F | F | T | * | T |
| 52912 | * | F | T | * | T |
| 52913 | F | F | T | * | T |
| 52914 | * | F | T | * | T |
| 52915 | F | F | T | * | T |
| 52916 | * | F | T | * | T |
| 52917 | F | F | T | * | T |
| 52918 | * | F | T | * | T |
| 52919 | F | F | T | * | T |
| 52920 | * | F | T | * | T |
| 52921 | F | F | T | * | T |
| 52922 | * | F | T | * | T |
| 52923 | F | F | T | * | T |
| 52924 | * | F | T | * | T |
| 52925 | F | F | T | * | T |
| 52926 | * | F | T | * | T |
| 52927 | F | F | T | * | T |
| 52928 | * | F | T | * | T |
| 52929 | F | F | T | * | T |
| 52930 | * | F | T | * | T |
| 52931 | F | F | T | * | T |
| 52932 | * | F | T | * | T |
| 52933 | F | F | T | * | T |
| 52934 | * | F | T | * | T |
| 52935 | F | F | T | * | T |
| 52936 | * | F | T | * | T |
| 52937 | F | F | T | * | T |
| 52938 | * | F | T | * | T |
| 52939 | F | F | T | * | T |
| 52940 | * | F | T | * | T |
| 52941 | F | F | T | * | T |
| 52942 | * | F | T | * | T |
| 52943 | F | F | T | * | T |
| 52944 | * | F | T | * | T |
| 52945 | F | F | T | * | T |
| 52946 | * | F | T | * | T |
| 52947 | F | F | T | * | T |
| 52948 | * | F | T | * | T |
| 52949 | F | F | T | * | T |
| 52950 | * | F | T | * | T |
| 52951 | * | F | T | * | T |
| 57438 | F | F | T | * | T |
| 57439 | F | F | T | * | T |
| 57440 | * | F | T | * | T |
| 57441 | F | F | T | * | T |
| 57442 | * | F | T | * | T |
| 57443 | F | F | T | * | T |
| 57444 | * | F | T | * | T |
| 57445 | F | F | T | * | T |
| 57446 | * | F | T | * | T |
| 57447 | F | F | T | * | T |
| 57448 | * | F | T | * | T |
| 57449 | F | F | T | * | T |
| 57450 | * | F | T | * | T |
| 57451 | F | F | T | * | T |
| 57452 | * | F | T | * | T |
| 57453 | F | F | T | * | T |
| 57454 | * | F | T | * | T |
| 57455 | F | F | T | * | T |
| 57456 | * | F | T | * | T |
| 57457 | F | F | T | * | T |
| 57458 | * | F | T | * | T |
| 57459 | F | F | T | * | T |
| 57460 | * | F | T | * | T |
| 57461 | F | F | T | * | T |
| 57462 | * | F | T | * | T |
| 57463 | F | F | T | * | T |
| 57464 | * | F | T | * | T |
| 57465 | F | F | T | * | T |
| 57466 | * | F | T | * | T |
| 57467 | F | F | T | * | T |
| 57468 | * | F | T | * | T |
| 57469 | F | F | T | * | T |
| 57470 | * | F | T | * | T |
| 57471 | F | F | T | * | T |
| 57472 | * | F | T | * | T |
| 57473 | F | F | T | * | T |
| 57474 | * | F | T | * | T |
| 57475 | F | F | T | * | T |
| 57476 | * | F | T | * | T |
| 57477 | F | F | T | * | T |
| 57478 | * | F | T | * | T |
| 57479 | F | F | T | * | T |
| 57480 | * | F | T | * | T |
| 57481 | * | F | T | * | T |
| 61631 | F | F | T | * | T |
| 61632 | F | F | T | * | T |
| 61633 | * | F | T | * | T |
| 61634 | F | F | T | * | T |
| 61635 | * | F | T | * | T |
| 61636 | F | F | T | * | T |
| 61637 | * | F | T | * | T |
| 61638 | F | F | T | * | T |
| 61639 | * | F | T | * | T |
| 61640 | F | F | T | * | T |
| 61641 | * | F | T | * | T |
| 61642 | F | F | T | * | T |
| 61643 | * | F | T | * | T |
| 61644 | F | F | T | * | T |
| 61645 | * | F | T | * | T |
| 61646 | F | F | T | * | T |
| 61647 | * | F | T | * | T |
| 61648 | F | F | T | * | T |
| 61649 | * | F | T | * | T |
| 61650 | F | F | T | * | T |
| 61651 | * | F | T | * | T |
| 61652 | F | F | T | * | T |
| 61653 | * | F | T | * | T |
| 61654 | F | F | T | * | T |
| 61655 | * | F | T | * | T |
| 61656 | F | F | T | * | T |
| 61657 | * | F | T | * | T |
| 61658 | F | F | T | * | T |
| 61659 | * | F | T | * | T |
| 61660 | F | F | T | * | T |
| 61661 | * | F | T | * | T |
| 61662 | F | F | T | * | T |
| 61663 | * | F | T | * | T |
| 61664 | F | F | T | * | T |
| 61665 | * | F | T | * | T |
| 61666 | F | F | T | * | T |
| 61667 | * | F | T | * | T |
| 61668 | F | F | T | * | T |
| 61669 | * | F | T | * | T |
| 61670 | F | F | T | * | T |
| 61671 | * | F | T | * | T |
| 61672 | F | F | T | * | T |
| 61673 | * | F | T | * | T |
| 61674 | * | F | T | * | T |
| 66162 | F | F | T | * | T |
| 66163 | * | F | T | * | T |
| 66164 | * | F | T | * | T |
| 66165 | F | F | T | * | T |
| 66166 | * | F | T | * | T |
| 66167 | * | F | T | * | T |
| 66168 | * | F | T | * | T |
| 66169 | F | F | T | * | T |
| 66170 | * | F | F | T | T |
| 66171 | * | F | F | T | T |
| 66172 | * | F | F | F | F |
| 66173 | F | F | F | F | F |
| 66174 | * | F | F | T | T |
| 66175 | * | F | F | T | T |
| 66176 | * | F | F | F | F |
| 66177 | F | F | F | F | F |
| 66178 | * | F | T | * | T |
| 66179 | * | F | T | * | T |
| 66180 | * | F | T | * | T |
| 66181 | F | F | T | * | T |
| 66182 | * | F | T | * | T |
| 66183 | * | F | T | * | T |
| 66184 | * | F | T | * | T |
| 66185 | F | F | T | * | T |
| 66186 | * | F | F | T | T |
| 66187 | * | F | F | T | T |
| 66188 | * | F | F | F | F |
| 66189 | F | F | F | F | F |
| 66190 | * | F | F | T | T |
| 66191 | * | F | F | T | T |
| 66192 | * | F | F | F | F |
| 66193 | F | F | F | F | F |
| 66194 | * | F | T | * | T |
| 66195 | * | F | T | * | T |
| 66196 | * | F | T | * | T |
| 66197 | F | F | T | * | T |
| 66198 | * | F | T | * | T |
| 66199 | * | F | T | * | T |
| 66200 | * | F | T | * | T |
| 66201 | F | F | T | * | T |
| 66202 | * | F | F | T | T |
| 66203 | * | F | F | T | T |
| 66204 | * | F | F | F | F |
| 66205 | F | F | F | F | F |
| 66206 | * | F | F | T | T |
| 66207 | * | F | F | T | T |
| 66208 | * | F | F | F | F |
| 66209 | F | F | F | F | F |
| 66210 | * | F | T | * | T |
| 66211 | * | F | T | * | T |
| 66212 | * | F | T | * | T |
| 66213 | F | F | T | * | T |
| 66214 | * | F | T | * | T |
| 66215 | * | F | T | * | T |
| 66216 | * | F | T | * | T |
| 66217 | F | F | T | * | T |
| 66218 | * | F | F | T | T |
| 66219 | * | F | F | T | T |
| 66220 | * | F | F | F | F |
| 66221 | F | F | F | F | F |
| 66222 | * | F | F | T | T |
| 66223 | * | F | F | T | T |
| 66224 | * | F | F | F | F |
| 66225 | F | F | F | F | F |
| 66226 | * | F | T | * | T |
| 66227 | * | F | T | * | T |
| 66228 | * | F | T | * | T |
| 66229 | F | F | T | * | T |
| 66230 | * | F | T | * | T |
| 66231 | * | F | T | * | T |
| 66232 | * | F | T | * | T |
| 66233 | F | F | T | * | T |
| 66234 | * | F | F | T | T |
| 66235 | * | F | F | T | T |
| 66236 | * | F | F | F | F |
| 66237 | F | F | F | F | F |
| 66238 | * | F | F | T | T |
| 66239 | * | F | F | T | T |
| 66240 | * | F | F | F | F |
| 66241 | F | F | F | F | F |
| 66242 | * | F | T | * | T |
| 66243 | * | F | T | * | T |
| 66244 | * | F | T | * | T |
| 66245 | F | F | T | * | T |
| 66246 | * | F | T | * | T |
| 66247 | * | F | T | * | T |
| 66248 | * | F | T | * | T |
| 66249 | F | F | T | * | T |
| 66250 | * | F | F | T | T |
| 66251 | * | F | F | T | T |
| 66252 | * | F | F | F | F |
| 66253 | F | F | F | F | F |
| 66254 | * | F | F | T | T |
| 66255 | * | F | F | T | T |
| 66256 | * | F | F | F | F |
| 66257 | F | F | F | F | F |
| 66258 | * | F | T | * | T |
| 66259 | * | F | T | * | T |
| 66260 | * | F | T | * | T |
| 66261 | F | F | T | * | T |
| 66262 | * | F | T | * | T |
| 66263 | * | F | T | * | T |
| 66264 | * | F | T | * | T |
| 66265 | F | F | T | * | T |
| 66266 | * | F | F | T | T |
| 66267 | * | F | F | T | T |
| 66268 | * | F | F | F | F |
| 66269 | F | F | F | F | F |
| 66270 | * | F | F | T | T |
| 66271 | * | F | F | T | T |
| 66272 | * | F | F | F | F |
| 66273 | F | F | F | F | F |
| 66274 | * | F | T | * | T |
| 66275 | * | F | T | * | T |
| 66276 | * | F | T | * | T |
| 66277 | F | F | T | * | T |
| 66278 | * | F | T | * | T |
| 66279 | * | F | T | * | T |
| 66280 | * | F | T | * | T |
| 66281 | F | F | T | * | T |
| 66282 | * | F | F | T | T |
| 66283 | * | F | F | T | T |
| 66284 | * | F | F | F | F |
| 66285 | F | F | F | F | F |
| 66286 | * | F | F | T | T |
| 66287 | * | F | F | T | T |
| 66288 | * | F | F | F | F |
| 66289 | F | F | F | F | F |
| 66290 | * | F | T | * | T |
| 66291 | * | F | T | * | T |
| 66292 | * | F | T | * | T |
| 66293 | F | F | T | * | T |
| 66294 | * | F | T | * | T |
| 66295 | * | F | T | * | T |
| 66296 | * | F | T | * | T |
| 66297 | F | F | T | * | T |
| 66298 | * | F | F | T | T |
| 66299 | * | F | F | T | T |
| 66300 | * | F | F | F | F |
| 66301 | F | F | F | F | F |
| 66302 | * | F | F | T | T |
| 66303 | * | F | F | T | T |
| 66304 | * | F | F | F | F |
| 66305 | F | F | F | F | F |
| 66306 | * | F | T | * | T |
| 66307 | * | F | T | * | T |
| 66308 | * | F | T | * | T |
| 66309 | F | F | T | * | T |
| 66310 | * | F | T | * | T |
| 66311 | * | F | T | * | T |
| 66312 | * | F | T | * | T |
| 66313 | F | F | T | * | T |
| 66314 | * | F | F | T | T |
| 66315 | * | F | F | T | T |
| 66316 | * | F | F | F | F |
| 66317 | F | F | F | F | F |
| 66318 | * | F | F | T | T |
| 66319 | * | F | F | T | T |
| 66320 | * | F | F | F | F |
| 66321 | F | F | F | F | F |
| 66322 | * | F | T | * | T |
| 66323 | * | F | T | * | T |
| 66324 | * | F | T | * | T |
| 66325 | F | F | T | * | T |
| 66326 | * | F | T | * | T |
| 66327 | * | F | T | * | T |
| 66328 | * | F | T | * | T |
| 66329 | F | F | T | * | T |
| 66330 | * | F | F | T | T |
| 66331 | * | F | F | T | T |
| 66332 | * | F | F | F | F |
| 66333 | F | F | F | F | F |
| 66334 | * | F | F | T | T |
| 66335 | * | F | F | T | T |
| 66336 | * | F | F | F | F |
| 66337 | F | F | F | F | F |
| 66338 | * | F | T | * | T |
| 66339 | * | F | T | * | T |
| 66340 | * | F | T | * | T |
| 66341 | F | F | T | * | T |
| 66342 | * | F | T | * | T |
| 66343 | * | F | T | * | T |
| 66344 | * | F | T | * | T |
| 66345 | F | F | T | * | T |
| 66346 | * | F | F | T | T |
| 66347 | * | F | F | T | T |
| 66348 | * | F | F | F | F |
| 66349 | F | F | F | F | F |
| 66350 | * | F | F | T | T |
| 66351 | * | F | F | T | T |
| 66352 | * | F | F | F | F |
| 66353 | F | F | F | F | F |
| 66354 | * | F | T | * | T |
| 66355 | * | F | T | * | T |
| 66356 | * | F | T | * | T |
| 66357 | F | F | T | * | T |
| 66358 | * | F | T | * | T |
| 66359 | * | F | T | * | T |
| 66360 | * | F | T | * | T |
| 66361 | F | F | T | * | T |
| 66362 | * | F | F | T | T |
| 66363 | * | F | F | T | T |
| 66364 | * | F | F | F | F |
| 66365 | F | F | F | F | F |
| 66366 | * | F | F | T | T |
| 66367 | * | F | F | T | T |
| 66368 | * | F | F | F | F |
| 66369 | F | F | F | F | F |
| 66370 | * | F | T | * | T |
| 66371 | * | F | T | * | T |
| 66372 | * | F | T | * | T |
| 66373 | F | F | T | * | T |
| 66374 | * | F | T | * | T |
| 66375 | * | F | T | * | T |
| 66376 | * | F | T | * | T |
| 66377 | F | F | T | * | T |
| 66378 | * | F | F | T | T |
| 66379 | * | F | F | T | T |
| 66380 | * | F | F | F | F |
| 66381 | F | F | F | F | F |
| 66382 | * | F | F | T | T |
| 66383 | * | F | F | T | T |
| 66384 | * | F | F | F | F |
| 66385 | F | F | F | F | F |
| 66386 | * | F | T | * | T |
| 66387 | * | F | T | * | T |
| 66388 | * | F | T | * | T |
| 66389 | F | F | T | * | T |
| 66390 | * | F | T | * | T |
| 66391 | * | F | T | * | T |
| 66392 | * | F | T | * | T |
| 66393 | F | F | T | * | T |
| 66394 | * | F | F | T | T |
| 66395 | * | F | F | T | T |
| 66396 | * | F | F | F | F |
| 66397 | F | F | F | F | F |
| 66398 | * | F | F | T | T |
| 66399 | * | F | F | T | T |
| 66400 | * | F | F | F | F |
| 66401 | F | F | F | F | F |
| 66402 | * | F | T | * | T |
| 66403 | * | F | T | * | T |
| 66404 | * | F | T | * | T |
| 66405 | F | F | T | * | T |
| 66406 | * | F | T | * | T |
| 66407 | * | F | T | * | T |
| 66408 | * | F | T | * | T |
| 66409 | F | F | T | * | T |
| 66410 | * | F | F | T | T |
| 66411 | * | F | F | T | T |
| 66412 | * | F | F | F | F |
| 66413 | F | F | F | F | F |
| 66414 | * | F | F | T | T |
| 66415 | * | F | F | T | T |
| 66416 | * | F | F | F | F |
| 66417 | F | F | F | F | F |
| 66418 | * | F | T | * | T |
| 66419 | * | F | T | * | T |
| 66420 | * | F | T | * | T |
| 66421 | F | F | T | * | T |
| 66422 | * | F | T | * | T |
| 66423 | * | F | T | * | T |
| 66424 | * | F | T | * | T |
| 66425 | F | F | T | * | T |
| 66426 | * | F | F | T | T |
| 66427 | * | F | F | T | T |
| 66428 | * | F | F | F | F |
| 66429 | F | F | F | F | F |
| 66430 | * | F | F | T | T |
| 66431 | * | F | F | T | T |
| 66432 | * | F | F | F | F |
| 66433 | F | F | F | F | F |
| 66434 | * | F | T | * | T |
| 66435 | * | F | T | * | T |
| 66436 | * | F | T | * | T |
| 66437 | F | F | T | * | T |
| 66438 | * | F | T | * | T |
| 66439 | * | F | T | * | T |
| 66440 | * | F | T | * | T |
| 66441 | F | F | T | * | T |
| 66442 | * | F | F | T | T |
| 66443 | * | F | F | T | T |
| 66444 | * | F | F | F | F |
| 66445 | F | F | F | F | F |
| 66446 | * | F | F | T | T |
| 66447 | * | F | F | T | T |
| 66448 | * | F | F | F | F |
| 66449 | F | F | F | F | F |
| 66450 | * | F | T | * | T |
| 66451 | * | F | T | * | T |
| 66452 | * | F | T | * | T |
| 66453 | F | F | T | * | T |
| 66454 | * | F | T | * | T |
| 66455 | * | F | T | * | T |
| 66456 | * | F | T | * | T |
| 66457 | F | F | T | * | T |
| 66458 | * | F | F | T | T |
| 66459 | * | F | F | T | T |
| 66460 | * | F | F | F | F |
| 66461 | F | F | F | F | F |
| 66462 | * | F | F | T | T |
| 66463 | * | F | F | T | T |
| 66464 | * | F | F | F | F |
| 66465 | F | F | F | F | F |
| 66466 | * | F | T | * | T |
| 66467 | * | F | T | * | T |
| 66468 | * | F | T | * | T |
| 66469 | F | F | T | * | T |
| 66470 | * | F | T | * | T |
| 66471 | * | F | T | * | T |
| 66472 | * | F | T | * | T |
| 66473 | F | F | T | * | T |
| 66474 | * | F | F | T | T |
| 66475 | * | F | F | T | T |
| 66476 | * | F | F | F | F |
| 66477 | F | F | F | F | F |
| 66478 | * | F | F | T | T |
| 66479 | * | F | F | T | T |
| 66480 | * | F | F | F | F |
| 66481 | F | F | F | F | F |
| 66482 | * | F | T | * | T |
| 66483 | * | F | T | * | T |
| 66484 | * | F | T | * | T |
| 66485 | F | F | T | * | T |
| 66486 | * | F | T | * | T |
| 66487 | * | F | T | * | T |
| 66488 | * | F | T | * | T |
| 66489 | F | F | T | * | T |
| 66490 | * | F | F | T | T |
| 66491 | * | F | F | T | T |
| 66492 | * | F | F | F | F |
| 66493 | F | F | F | F | F |
| 66494 | * | F | F | T | T |
| 66495 | * | F | F | T | T |
| 66496 | * | F | F | F | F |
| 66497 | F | F | F | F | F |
| 66498 | * | F | T | * | T |
| 66499 | * | F | T | * | T |
| 66500 | * | F | T | * | T |
| 66501 | F | F | T | * | T |
| 66502 | * | F | T | * | T |
| 66503 | * | F | T | * | T |
| 66504 | * | F | T | * | T |
| 66505 | F | F | T | * | T |
| 66506 | * | F | F | T | T |
| 66507 | * | F | F | T | T |
| 66508 | * | F | F | F | F |
| 66509 | F | F | F | F | F |
| 66510 | * | F | F | T | T |
| 66511 | * | F | F | T | T |
| 66512 | * | F | F | F | F |
| 66513 | F | F | F | F | F |
| 66514 | * | F | T | * | T |
| 66515 | * | F | T | * | T |
| 66516 | * | F | T | * | T |
| 66517 | F | F | T | * | T |
| 66518 | * | F | T | * | T |
| 66519 | * | F | T | * | T |
| 66520 | * | F | T | * | T |
| 66521 | F | F | T | * | T |
| 66522 | * | F | F | T | T |
| 66523 | * | F | F | T | T |
| 66524 | * | F | F | F | F |
| 66525 | F | F | F | F | F |
| 66526 | * | F | F | T | T |
| 66527 | * | F | F | T | T |
| 66528 | * | F | F | F | F |
| 66529 | F | F | F | F | F |
| 66530 | * | F | T | * | T |
| 66531 | * | F | T | * | T |
| 66532 | * | F | T | * | T |
| 66533 | F | F | T | * | T |
| 66534 | * | F | T | * | T |
| 66535 | * | F | T | * | T |
| 66536 | * | F | T | * | T |
| 66537 | F | F | T | * | T |
| 66538 | * | F | F | T | T |
| 66539 | * | F | F | T | T |
| 66540 | * | F | F | F | F |
| 66541 | F | F | F | F | F |
| 66542 | * | F | F | T | T |
| 66543 | * | F | F | T | T |
| 66544 | * | F | F | F | F |
| 66545 | F | F | F | F | F |
| 66546 | * | F | T | * | T |
| 66547 | * | F | T | * | T |
| 66548 | * | F | T | * | T |
| 66549 | F | F | T | * | T |
| 66550 | * | F | T | * | T |
| 66551 | * | F | T | * | T |
| 66552 | * | F | T | * | T |
| 66553 | F | F | T | * | T |
| 66554 | * | F | F | T | T |
| 66555 | * | F | F | T | T |
| 66556 | * | F | F | F | F |
| 66557 | F | F | F | F | F |
| 66558 | * | F | F | T | T |
| 66559 | * | F | F | T | T |
| 66560 | * | F | F | F | F |
| 66561 | F | F | F | F | F |
| 66562 | * | F | T | * | T |
| 66563 | * | F | T | * | T |
| 66564 | * | F | T | * | T |
| 66565 | F | F | T | * | T |
| 66566 | * | F | T | * | T |
| 66567 | * | F | T | * | T |
| 66568 | * | F | T | * | T |
| 66569 | F | F | T | * | T |
| 66570 | * | F | F | T | T |
| 66571 | * | F | F | T | T |
| 66572 | * | F | F | F | F |
| 66573 | F | F | F | F | F |
| 66574 | * | F | F | T | T |
| 66575 | * | F | F | T | T |
| 66576 | * | F | F | F | F |
| 66577 | F | F | F | F | F |
| 66578 | * | F | T | * | T |
| 66579 | * | F | T | * | T |
| 66580 | * | F | T | * | T |
| 66581 | F | F | T | * | T |
| 66582 | * | F | T | * | T |
| 66583 | * | F | T | * | T |
| 66584 | * | F | T | * | T |
| 66585 | F | F | T | * | T |
| 66586 | * | F | F | T | T |
| 66587 | * | F | F | T | T |
| 66588 | * | F | F | F | F |
| 66589 | F | F | F | F | F |
| 66590 | * | F | F | T | T |
| 66591 | * | F | F | T | T |
| 66592 | * | F | F | F | F |
| 66593 | * | F | F | F | F |
| 77675 | F | F | T | * | T |
| 77676 | * | F | T | * | T |
| 77677 | * | F | T | * | T |
| 77678 | F | F | T | * | T |
| 77679 | * | F | T | * | T |
| 77680 | * | F | T | * | T |
| 77681 | * | F | T | * | T |
| 77682 | F | F | T | * | T |
| 77683 | * | F | F | T | T |
| 77684 | * | F | F | T | T |
| 77685 | * | F | F | F | F |
| 77686 | F | F | F | F | F |
| 77687 | * | F | F | T | T |
| 77688 | * | F | F | T | T |
| 77689 | * | F | F | F | F |
| 77690 | F | F | F | F | F |
| 77691 | * | F | T | * | T |
| 77692 | * | F | T | * | T |
| 77693 | * | F | T | * | T |
| 77694 | F | F | T | * | T |
| 77695 | * | F | T | * | T |
| 77696 | * | F | T | * | T |
| 77697 | * | F | T | * | T |
| 77698 | F | F | T | * | T |
| 77699 | * | F | F | T | T |
| 77700 | * | F | F | T | T |
| 77701 | * | F | F | F | F |
| 77702 | F | F | F | F | F |
| 77703 | * | F | F | T | T |
| 77704 | * | F | F | T | T |
| 77705 | * | F | F | F | F |
| 77706 | F | F | F | F | F |
| 77707 | * | F | T | * | T |
| 77708 | * | F | T | * | T |
| 77709 | * | F | T | * | T |
| 77710 | F | F | T | * | T |
| 77711 | * | F | T | * | T |
| 77712 | * | F | T | * | T |
| 77713 | * | F | T | * | T |
| 77714 | F | F | T | * | T |
| 77715 | * | F | F | T | T |
| 77716 | * | F | F | T | T |
| 77717 | * | F | F | F | F |
| 77718 | F | F | F | F | F |
| 77719 | * | F | F | T | T |
| 77720 | * | F | F | T | T |
| 77721 | * | F | F | F | F |
| 77722 | F | F | F | F | F |
| 77723 | * | F | T | * | T |
| 77724 | * | F | T | * | T |
| 77725 | * | F | T | * | T |
| 77726 | F | F | T | * | T |
| 77727 | * | F | T | * | T |
| 77728 | * | F | T | * | T |
| 77729 | * | F | T | * | T |
| 77730 | F | F | T | * | T |
| 77731 | * | F | F | T | T |
| 77732 | * | F | F | T | T |
| 77733 | * | F | F | F | F |
| 77734 | F | F | F | F | F |
| 77735 | * | F | F | T | T |
| 77736 | * | F | F | T | T |
| 77737 | * | F | F | F | F |
| 77738 | F | F | F | F | F |
| 77739 | * | F | T | * | T |
| 77740 | * | F | T | * | T |
| 77741 | * | F | T | * | T |
| 77742 | F | F | T | * | T |
| 77743 | * | F | T | * | T |
| 77744 | * | F | T | * | T |
| 77745 | * | F | T | * | T |
| 77746 | F | F | T | * | T |
| 77747 | * | F | F | T | T |
| 77748 | * | F | F | T | T |
| 77749 | * | F | F | F | F |
| 77750 | F | F | F | F | F |
| 77751 | * | F | F | T | T |
| 77752 | * | F | F | T | T |
| 77753 | * | F | F | F | F |
| 77754 | F | F | F | F | F |
| 77755 | * | F | T | * | T |
| 77756 | * | F | T | * | T |
| 77757 | * | F | T | * | T |
| 77758 | F | F | T | * | T |
| 77759 | * | F | T | * | T |
| 77760 | * | F | T | * | T |
| 77761 | * | F | T | * | T |
| 77762 | F | F | T | * | T |
| 77763 | * | F | F | T | T |
| 77764 | * | F | F | T | T |
| 77765 | * | F | F | F | F |
| 77766 | F | F | F | F | F |
| 77767 | * | F | F | T | T |
| 77768 | * | F | F | T | T |
| 77769 | * | F | F | F | F |
| 77770 | F | F | F | F | F |
| 77771 | * | F | T | * | T |
| 77772 | * | F | T | * | T |
| 77773 | * | F | T | * | T |
| 77774 | F | F | T | * | T |
| 77775 | * | F | T | * | T |
| 77776 | * | F | T | * | T |
| 77777 | * | F | T | * | T |
| 77778 | F | F | T | * | T |
| 77779 | * | F | F | T | T |
| 77780 | * | F | F | T | T |
| 77781 | * | F | F | F | F |
| 77782 | F | F | F | F | F |
| 77783 | * | F | F | T | T |
| 77784 | * | F | F | T | T |
| 77785 | * | F | F | F | F |
| 77786 | F | F | F | F | F |
| 77787 | * | F | T | * | T |
| 77788 | * | F | T | * | T |
| 77789 | * | F | T | * | T |
| 77790 | F | F | T | * | T |
| 77791 | * | F | T | * | T |
| 77792 | * | F | T | * | T |
| 77793 | * | F | T | * | T |
| 77794 | F | F | T | * | T |
| 77795 | * | F | F | T | T |
| 77796 | * | F | F | T | T |
| 77797 | * | F | F | F | F |
| 77798 | F | F | F | F | F |
| 77799 | * | F | F | T | T |
| 77800 | * | F | F | T | T |
| 77801 | * | F | F | F | F |
| 77802 | F | F | F | F | F |
| 77803 | * | F | T | * | T |
| 77804 | * | F | T | * | T |
| 77805 | * | F | T | * | T |
| 77806 | F | F | T | * | T |
| 77807 | * | F | T | * | T |
| 77808 | * | F | T | * | T |
| 77809 | * | F | T | * | T |
| 77810 | F | F | T | * | T |
| 77811 | * | F | F | T | T |
| 77812 | * | F | F | T | T |
| 77813 | * | F | F | F | F |
| 77814 | F | F | F | F | F |
| 77815 | * | F | F | T | T |
| 77816 | * | F | F | T | T |
| 77817 | * | F | F | F | F |
| 77818 | F | F | F | F | F |
| 77819 | * | F | T | * | T |
| 77820 | * | F | T | * | T |
| 77821 | * | F | T | * | T |
| 77822 | F | F | T | * | T |
| 77823 | * | F | T | * | T |
| 77824 | * | F | T | * | T |
| 77825 | * | F | T | * | T |
| 77826 | F | F | T | * | T |
| 77827 | * | F | F | T | T |
| 77828 | * | F | F | T | T |
| 77829 | * | F | F | F | F |
| 77830 | F | F | F | F | F |
| 77831 | * | F | F | T | T |
| 77832 | * | F | F | T | T |
| 77833 | * | F | F | F | F |
| 77834 | F | F | F | F | F |
| 77835 | * | F | T | * | T |
| 77836 | * | F | T | * | T |
| 77837 | * | F | T | * | T |
| 77838 | F | F | T | * | T |
| 77839 | * | F | T | * | T |
| 77840 | * | F | T | * | T |
| 77841 | * | F | T | * | T |
| 77842 | F | F | T | * | T |
| 77843 | * | F | F | T | T |
| 77844 | * | F | F | T | T |
| 77845 | * | F | F | F | F |
| 77846 | F | F | F | F | F |
| 77847 | * | F | F | T | T |
| 77848 | * | F | F | T | T |
| 77849 | * | F | F | F | F |
| 77850 | F | F | F | F | F |
| 77851 | * | F | T | * | T |
| 77852 | * | F | T | * | T |
| 77853 | * | F | T | * | T |
| 77854 | F | F | T | * | T |
| 77855 | * | F | T | * | T |
| 77856 | * | F | T | * | T |
| 77857 | * | F | T | * | T |
| 77858 | F | F | T | * | T |
| 77859 | * | F | F | T | T |
| 77860 | * | F | F | T | T |
| 77861 | * | F | F | F | F |
| 77862 | F | F | F | F | F |
| 77863 | * | F | F | T | T |
| 77864 | * | F | F | T | T |
| 77865 | * | F | F | F | F |
| 77866 | F | F | F | F | F |
| 77867 | * | F | T | * | T |
| 77868 | * | F | T | * | T |
| 77869 | * | F | T | * | T |
| 77870 | F | F | T | * | T |
| 77871 | * | F | T | * | T |
| 77872 | * | F | T | * | T |
| 77873 | * | F | T | * | T |
| 77874 | F | F | T | * | T |
| 77875 | * | F | F | T | T |
| 77876 | * | F | F | T | T |
| 77877 | * | F | F | F | F |
| 77878 | F | F | F | F | F |
| 77879 | * | F | F | T | T |
| 77880 | * | F | F | T | T |
| 77881 | * | F | F | F | F |
| 77882 | F | F | F | F | F |
| 77883 | * | F | T | * | T |
| 77884 | * | F | T | * | T |
| 77885 | * | F | T | * | T |
| 77886 | F | F | T | * | T |
| 77887 | * | F | T | * | T |
| 77888 | * | F | T | * | T |
| 77889 | * | F | T | * | T |
| 77890 | F | F | T | * | T |
| 77891 | * | F | F | T | T |
| 77892 | * | F | F | T | T |
| 77893 | * | F | F | F | F |
| 77894 | F | F | F | F | F |
| 77895 | * | F | F | T | T |
| 77896 | * | F | F | T | T |
| 77897 | * | F | F | F | F |
| 77898 | F | F | F | F | F |
| 77899 | * | F | T | * | T |
| 77900 | * | F | T | * | T |
| 77901 | * | F | T | * | T |
| 77902 | F | F | T | * | T |
| 77903 | * | F | T | * | T |
| 77904 | * | F | T | * | T |
| 77905 | * | F | T | * | T |
| 77906 | F | F | T | * | T |
| 77907 | * | F | F | T | T |
| 77908 | * | F | F | T | T |
| 77909 | * | F | F | F | F |
| 77910 | F | F | F | F | F |
| 77911 | * | F | F | T | T |
| 77912 | * | F | F | T | T |
| 77913 | * | F | F | F | F |
| 77914 | F | F | F | F | F |
| 77915 | * | F | T | * | T |
| 77916 | * | F | T | * | T |
| 77917 | * | F | T | * | T |
| 77918 | F | F | T | * | T |
| 77919 | * | F | T | * | T |
| 77920 | * | F | T | * | T |
| 77921 | * | F | T | * | T |
| 77922 | F | F | T | * | T |
| 77923 | * | F | F | T | T |
| 77924 | * | F | F | T | T |
| 77925 | * | F | F | F | F |
| 77926 | F | F | F | F | F |
| 77927 | * | F | F | T | T |
| 77928 | * | F | F | T | T |
| 77929 | * | F | F | F | F |
| 77930 | F | F | F | F | F |
| 77931 | * | F | T | * | T |
| 77932 | * | F | T | * | T |
| 77933 | * | F | T | * | T |
| 77934 | F | F | T | * | T |
| 77935 | * | F | T | * | T |
| 77936 | * | F | T | * | T |
| 77937 | * | F | T | * | T |
| 77938 | F | F | T | * | T |
| 77939 | * | F | F | T | T |
| 77940 | * | F | F | T | T |
| 77941 | * | F | F | F | F |
| 77942 | F | F | F | F | F |
| 77943 | * | F | F | T | T |
| 77944 | * | F | F | T | T |
| 77945 | * | F | F | F | F |
| 77946 | F | F | F | F | F |
| 77947 | * | F | T | * | T |
| 77948 | * | F | T | * | T |
| 77949 | * | F | T | * | T |
| 77950 | F | F | T | * | T |
| 77951 | * | F | T | * | T |
| 77952 | * | F | T | * | T |
| 77953 | * | F | T | * | T |
| 77954 | F | F | T | * | T |
| 77955 | * | F | F | T | T |
| 77956 | * | F | F | T | T |
| 77957 | * | F | F | F | F |
| 77958 | F | F | F | F | F |
| 77959 | * | F | F | T | T |
| 77960 | * | F | F | T | T |
| 77961 | * | F | F | F | F |
| 77962 | F | F | F | F | F |
| 77963 | * | F | T | * | T |
| 77964 | * | F | T | * | T |
| 77965 | * | F | T | * | T |
| 77966 | F | F | T | * | T |
| 77967 | * | F | T | * | T |
| 77968 | * | F | T | * | T |
| 77969 | * | F | T | * | T |
| 77970 | F | F | T | * | T |
| 77971 | * | F | F | T | T |
| 77972 | * | F | F | T | T |
| 77973 | * | F | F | F | F |
| 77974 | F | F | F | F | F |
| 77975 | * | F | F | T | T |
| 77976 | * | F | F | T | T |
| 77977 | * | F | F | F | F |
| 77978 | F | F | F | F | F |
| 77979 | * | F | T | * | T |
| 77980 | * | F | T | * | T |
| 77981 | * | F | T | * | T |
| 77982 | F | F | T | * | T |
| 77983 | * | F | T | * | T |
| 77984 | * | F | T | * | T |
| 77985 | * | F | T | * | T |
| 77986 | F | F | T | * | T |
| 77987 | * | F | F | T | T |
| 77988 | * | F | F | T | T |
| 77989 | * | F | F | F | F |
| 77990 | F | F | F | F | F |
| 77991 | * | F | F | T | T |
| 77992 | * | F | F | T | T |
| 77993 | * | F | F | F | F |
| 77994 | F | F | F | F | F |
| 77995 | * | F | T | * | T |
| 77996 | * | F | T | * | T |
| 77997 | * | F | T | * | T |
| 77998 | F | F | T | * | T |
| 77999 | * | F | T | * | T |
| 78000 | * | F | T | * | T |
| 78001 | * | F | T | * | T |
| 78002 | F | F | T | * | T |
| 78003 | * | F | F | T | T |
| 78004 | * | F | F | T | T |
| 78005 | * | F | F | F | F |
| 78006 | F | F | F | F | F |
| 78007 | * | F | F | T | T |
| 78008 | * | F | F | T | T |
| 78009 | * | F | F | F | F |
| 78010 | F | F | F | F | F |
| 78011 | * | F | T | * | T |
| 78012 | * | F | T | * | T |
| 78013 | * | F | T | * | T |
| 78014 | F | F | T | * | T |
| 78015 | * | F | T | * | T |
| 78016 | * | F | T | * | T |
| 78017 | * | F | T | * | T |
| 78018 | F | F | T | * | T |
| 78019 | * | F | F | T | T |
| 78020 | * | F | F | T | T |
| 78021 | * | F | F | F | F |
| 78022 | F | F | F | F | F |
| 78023 | * | F | F | T | T |
| 78024 | * | F | F | T | T |
| 78025 | * | F | F | F | F |
| 78026 | F | F | F | F | F |
| 78027 | * | F | T | * | T |
| 78028 | * | F | T | * | T |
| 78029 | * | F | T | * | T |
| 78030 | F | F | T | * | T |
| 78031 | * | F | T | * | T |
| 78032 | * | F | T | * | T |
| 78033 | * | F | T | * | T |
| 78034 | F | F | T | * | T |
| 78035 | * | F | F | T | T |
| 78036 | * | F | F | T | T |
| 78037 | * | F | F | F | F |
| 78038 | F | F | F | F | F |
| 78039 | * | F | F | T | T |
| 78040 | * | F | F | T | T |
| 78041 | * | F | F | F | F |
| 78042 | F | F | F | F | F |
| 78043 | * | F | T | * | T |
| 78044 | * | F | T | * | T |
| 78045 | * | F | T | * | T |
| 78046 | F | F | T | * | T |
| 78047 | * | F | T | * | T |
| 78048 | * | F | T | * | T |
| 78049 | * | F | T | * | T |
| 78050 | F | F | T | * | T |
| 78051 | * | F | F | T | T |
| 78052 | * | F | F | T | T |
| 78053 | * | F | F | F | F |
| 78054 | F | F | F | F | F |
| 78055 | * | F | F | T | T |
| 78056 | * | F | F | T | T |
| 78057 | * | F | F | F | F |
| 78058 | F | F | F | F | F |
| 78059 | * | F | T | * | T |
| 78060 | * | F | T | * | T |
| 78061 | * | F | T | * | T |
| 78062 | F | F | T | * | T |
| 78063 | * | F | T | * | T |
| 78064 | * | F | T | * | T |
| 78065 | * | F | T | * | T |
| 78066 | F | F | T | * | T |
| 78067 | * | F | F | T | T |
| 78068 | * | F | F | T | T |
| 78069 | * | F | F | F | F |
| 78070 | F | F | F | F | F |
| 78071 | * | F | F | T | T |
| 78072 | * | F | F | T | T |
| 78073 | * | F | F | F | F |
| 78074 | F | F | F | F | F |
| 78075 | * | F | T | * | T |
| 78076 | * | F | T | * | T |
| 78077 | * | F | T | * | T |
| 78078 | F | F | T | * | T |
| 78079 | * | F | T | * | T |
| 78080 | * | F | T | * | T |
| 78081 | * | F | T | * | T |
| 78082 | F | F | T | * | T |
| 78083 | * | F | F | T | T |
| 78084 | * | F | F | T | T |
| 78085 | * | F | F | F | F |
| 78086 | F | F | F | F | F |
| 78087 | * | F | F | T | T |
| 78088 | * | F | F | T | T |
| 78089 | * | F | F | F | F |
| 78090 | F | F | F | F | F |
| 78091 | * | F | T | * | T |
| 78092 | * | F | T | * | T |
| 78093 | * | F | T | * | T |
| 78094 | F | F | T | * | T |
| 78095 | * | F | T | * | T |
| 78096 | * | F | T | * | T |
| 78097 | * | F | T | * | T |
| 78098 | F | F | T | * | T |
| 78099 | * | F | F | T | T |
| 78100 | * | F | F | T | T |
| 78101 | * | F | F | F | F |
| 78102 | F | F | F | F | F |
| 78103 | * | F | F | T | T |
| 78104 | * | F | F | T | T |
| 78105 | * | F | F | F | F |
| 78106 | * | F | F | F | F |
| 103061 | F | F | T | * | T |
| 103062 | F | F | T | * | T |
| 103063 | * | F | T | * | T |
| 103064 | F | F | T | * | T |
| 103065 | * | F | T | * | T |
| 103066 | F | F | T | * | T |
| 103067 | * | F | T | * | T |
| 103068 | F | F | T | * | T |
| 103069 | * | F | T | * | T |
| 103070 | F | F | T | * | T |
| 103071 | * | F | T | * | T |
| 103072 | F | F | T | * | T |
| 103073 | * | F | T | * | T |
| 103074 | F | F | T | * | T |
| 103075 | * | F | T | * | T |
| 103076 | F | F | T | * | T |
| 103077 | * | F | T | * | T |
| 103078 | F | F | T | * | T |
| 103079 | * | F | T | * | T |
| 103080 | F | F | T | * | T |
| 103081 | * | F | T | * | T |
| 103082 | F | F | T | * | T |
| 103083 | * | F | T | * | T |
| 103084 | F | F | T | * | T |
| 103085 | * | F | T | * | T |
| 103086 | F | F | T | * | T |
| 103087 | * | F | T | * | T |
| 103088 | F | F | T | * | T |
| 103089 | * | F | T | * | T |
| 103090 | F | F | T | * | T |
| 103091 | * | F | T | * | T |
| 103092 | F | F | T | * | T |
| 103093 | * | F | T | * | T |
| 103094 | F | F | T | * | T |
| 103095 | * | F | T | * | T |
| 103096 | F | F | T | * | T |
| 103097 | * | F | T | * | T |
| 103098 | F | F | T | * | T |
| 103099 | * | F | T | * | T |
| 103100 | * | F | T | * | T |
| 109346 | F | F | T | * | T |
| 109347 | F | F | T | * | T |
| 109348 | * | F | T | * | T |
| 109349 | F | F | T | * | T |
| 109350 | * | F | T | * | T |
| 109351 | F | F | T | * | T |
| 109352 | * | F | T | * | T |
| 109353 | F | F | T | * | T |
| 109354 | * | F | T | * | T |
| 109355 | F | F | T | * | T |
| 109356 | * | F | T | * | T |
| 109357 | F | F | T | * | T |
| 109358 | * | F | T | * | T |
| 109359 | F | F | T | * | T |
| 109360 | * | F | T | * | T |
| 109361 | F | F | T | * | T |
| 109362 | * | F | T | * | T |
| 109363 | F | F | T | * | T |
| 109364 | * | F | T | * | T |
| 109365 | F | F | T | * | T |
| 109366 | * | F | T | * | T |
| 109367 | F | F | T | * | T |
| 109368 | * | F | T | * | T |
| 109369 | * | F | T | * | T |
| 115075 | F | F | T | * | T |
| 115076 | F | F | T | * | T |
| 115077 | * | F | T | * | T |
| 115078 | F | F | T | * | T |
| 115079 | * | F | T | * | T |
| 115080 | F | F | T | * | T |
| 115081 | * | F | T | * | T |
| 115082 | F | F | T | * | T |
| 115083 | * | F | T | * | T |
| 115084 | F | F | T | * | T |
| 115085 | * | F | T | * | T |
| 115086 | F | F | T | * | T |
| 115087 | * | F | T | * | T |
| 115088 | F | F | T | * | T |
| 115089 | * | F | T | * | T |
| 115090 | F | F | T | * | T |
| 115091 | * | F | T | * | T |
| 115092 | F | F | T | * | T |
| 115093 | * | F | T | * | T |
| 115094 | F | F | T | * | T |
| 115095 | * | F | T | * | T |
| 115096 | F | F | T | * | T |
| 115097 | * | F | T | * | T |
| 115098 | F | F | T | * | T |
| 115099 | * | F | T | * | T |
| 115100 | F | F | T | * | T |
| 115101 | * | F | T | * | T |
| 115102 | F | F | T | * | T |
| 115103 | * | F | T | * | T |
| 115104 | F | F | T | * | T |
| 115105 | * | F | T | * | T |
| 115106 | F | F | T | * | T |
| 115107 | * | F | T | * | T |
| 115108 | F | F | T | * | T |
| 115109 | * | F | T | * | T |
| 115110 | * | F | T | * | T |
| 120022 | F | F | T | * | T |
| 120023 | * | F | T | * | T |
| 120024 | * | F | T | * | T |
| 120025 | F | F | T | * | T |
| 120026 | * | F | T | * | T |
| 120027 | * | F | T | * | T |
| 120028 | * | F | T | * | T |
| 120029 | F | F | T | * | T |
| 120030 | * | F | T | * | T |
| 120031 | * | F | T | * | T |
| 120032 | * | F | T | * | T |
| 120033 | F | F | T | * | T |
| 120034 | * | F | T | * | T |
| 120035 | * | F | T | * | T |
| 120036 | * | F | T | * | T |
| 120037 | F | F | T | * | T |
| 120038 | * | F | F | F | F |
| 120039 | * | F | F | F | F |
| 120040 | * | F | F | F | F |
| 120041 | F | F | F | F | F |
| 120042 | * | F | F | F | F |
| 120043 | * | F | F | F | F |
| 120044 | * | F | F | F | F |
| 120045 | F | F | F | F | F |
| 120046 | * | F | F | F | F |
| 120047 | * | F | F | F | F |
| 120048 | * | F | F | F | F |
| 120049 | F | F | F | F | F |
| 120050 | * | F | F | F | F |
| 120051 | * | F | F | F | F |
| 120052 | * | F | F | F | F |
| 120053 | F | F | F | F | F |
| 120054 | * | F | F | F | F |
| 120055 | * | F | F | F | F |
| 120056 | * | F | F | F | F |
| 120057 | F | F | F | F | F |
| 120058 | * | F | F | F | F |
| 120059 | * | F | F | F | F |
| 120060 | * | F | F | F | F |
| 120061 | F | F | F | F | F |
| 120062 | * | F | F | F | F |
| 120063 | * | F | F | F | F |
| 120064 | * | F | F | F | F |
| 120065 | F | F | F | F | F |
| 120066 | * | F | F | F | F |
| 120067 | * | F | F | F | F |
| 120068 | * | F | F | F | F |
| 120069 | F | F | F | F | F |
| 120070 | * | F | T | * | T |
| 120071 | * | F | T | * | T |
| 120072 | * | F | T | * | T |
| 120073 | F | F | T | * | T |
| 120074 | * | F | T | * | T |
| 120075 | * | F | T | * | T |
| 120076 | * | F | T | * | T |
| 120077 | F | F | T | * | T |
| 120078 | * | F | F | T | T |
| 120079 | * | F | F | T | T |
| 120080 | * | F | F | F | F |
| 120081 | F | F | F | F | F |
| 120082 | * | F | F | T | T |
| 120083 | * | F | F | T | T |
| 120084 | * | F | F | F | F |
| 120085 | F | F | F | F | F |
| 120086 | * | F | F | F | F |
| 120087 | * | F | F | F | F |
| 120088 | * | F | F | F | F |
| 120089 | F | F | F | F | F |
| 120090 | * | F | F | F | F |
| 120091 | * | F | F | F | F |
| 120092 | * | F | F | F | F |
| 120093 | F | F | F | F | F |
| 120094 | * | F | F | F | F |
| 120095 | * | F | F | F | F |
| 120096 | * | F | F | F | F |
| 120097 | F | F | F | F | F |
| 120098 | * | F | F | F | F |
| 120099 | * | F | F | F | F |
| 120100 | * | F | F | F | F |
| 120101 | F | F | F | F | F |
| 120102 | * | F | F | F | F |
| 120103 | * | F | F | F | F |
| 120104 | * | F | F | F | F |
| 120105 | F | F | F | F | F |
| 120106 | * | F | F | F | F |
| 120107 | * | F | F | F | F |
| 120108 | * | F | F | F | F |
| 120109 | F | F | F | F | F |
| 120110 | * | F | F | F | F |
| 120111 | * | F | F | F | F |
| 120112 | * | F | F | F | F |
| 120113 | F | F | F | F | F |
| 120114 | * | F | F | F | F |
| 120115 | * | F | F | F | F |
| 120116 | * | F | F | F | F |
| 120117 | F | F | F | F | F |
| 120118 | * | F | F | F | F |
| 120119 | * | F | F | F | F |
| 120120 | * | F | F | F | F |
| 120121 | F | F | F | F | F |
| 120122 | * | F | F | F | F |
| 120123 | * | F | F | F | F |
| 120124 | * | F | F | F | F |
| 120125 | F | F | F | F | F |
| 120126 | * | F | F | F | F |
| 120127 | * | F | F | F | F |
| 120128 | * | F | F | F | F |
| 120129 | F | F | F | F | F |
| 120130 | * | F | F | F | F |
| 120131 | * | F | F | F | F |
| 120132 | * | F | F | F | F |
| 120133 | F | F | F | F | F |
| 120134 | * | F | F | F | F |
| 120135 | * | F | F | F | F |
| 120136 | * | F | F | F | F |
| 120137 | F | F | F | F | F |
| 120138 | * | F | F | F | F |
| 120139 | * | F | F | F | F |
| 120140 | * | F | F | F | F |
| 120141 | F | F | F | F | F |
| 120142 | * | F | F | F | F |
| 120143 | * | F | F | F | F |
| 120144 | * | F | F | F | F |
| 120145 | F | F | F | F | F |
| 120146 | * | F | F | F | F |
| 120147 | * | F | F | F | F |
| 120148 | * | F | F | F | F |
| 120149 | F | F | F | F | F |
| 120150 | * | F | F | F | F |
| 120151 | * | F | F | F | F |
| 120152 | * | F | F | F | F |
| 120153 | F | F | F | F | F |
| 120154 | * | F | F | F | F |
| 120155 | * | F | F | F | F |
| 120156 | * | F | F | F | F |
| 120157 | F | F | F | F | F |
| 120158 | * | F | F | F | F |
| 120159 | * | F | F | F | F |
| 120160 | * | F | F | F | F |
| 120161 | F | F | F | F | F |
| 120162 | * | F | F | F | F |
| 120163 | * | F | F | F | F |
| 120164 | * | F | F | F | F |
| 120165 | F | F | F | F | F |
| 120166 | * | F | F | F | F |
| 120167 | * | F | F | F | F |
| 120168 | * | F | F | F | F |
| 120169 | F | F | F | F | F |
| 120170 | * | F | F | F | F |
| 120171 | * | F | F | F | F |
| 120172 | * | F | F | F | F |
| 120173 | F | F | F | F | F |
| 120174 | * | F | F | F | F |
| 120175 | * | F | F | F | F |
| 120176 | * | F | F | F | F |
| 120177 | F | F | F | F | F |
| 120178 | * | F | F | F | F |
| 120179 | * | F | F | F | F |
| 120180 | * | F | F | F | F |
| 120181 | F | F | F | F | F |
| 120182 | * | F | F | F | F |
| 120183 | * | F | F | F | F |
| 120184 | * | F | F | F | F |
| 120185 | F | F | F | F | F |
| 120186 | * | F | F | F | F |
| 120187 | * | F | F | F | F |
| 120188 | * | F | F | F | F |
| 120189 | F | F | F | F | F |
| 120190 | * | F | F | F | F |
| 120191 | * | F | F | F | F |
| 120192 | * | F | F | F | F |
| 120193 | F | F | F | F | F |
| 120194 | * | F | F | F | F |
| 120195 | * | F | F | F | F |
| 120196 | * | F | F | F | F |
| 120197 | F | F | F | F | F |
| 120198 | * | F | F | F | F |
| 120199 | * | F | F | F | F |
| 120200 | * | F | F | F | F |
| 120201 | F | F | F | F | F |
| 120202 | * | F | F | F | F |
| 120203 | * | F | F | F | F |
| 120204 | * | F | F | F | F |
| 120205 | F | F | F | F | F |
| 120206 | * | F | F | F | F |
| 120207 | * | F | F | F | F |
| 120208 | * | F | F | F | F |
| 120209 | F | F | F | F | F |
| 120210 | * | F | F | F | F |
| 120211 | * | F | F | F | F |
| 120212 | * | F | F | F | F |
| 120213 | F | F | F | F | F |
| 120214 | * | F | F | F | F |
| 120215 | * | F | F | F | F |
| 120216 | * | F | F | F | F |
| 120217 | F | F | F | F | F |
| 120218 | * | F | F | F | F |
| 120219 | * | F | F | F | F |
| 120220 | * | F | F | F | F |
| 120221 | F | F | F | F | F |
| 120222 | * | F | F | F | F |
| 120223 | * | F | F | F | F |
| 120224 | * | F | F | F | F |
| 120225 | F | F | F | F | F |
| 120226 | * | F | F | F | F |
| 120227 | * | F | F | F | F |
| 120228 | * | F | F | F | F |
| 120229 | F | F | F | F | F |
| 120230 | * | F | F | F | F |
| 120231 | * | F | F | F | F |
| 120232 | * | F | F | F | F |
| 120233 | F | F | F | F | F |
| 120234 | * | F | F | F | F |
| 120235 | * | F | F | F | F |
| 120236 | * | F | F | F | F |
| 120237 | F | F | F | F | F |
| 120238 | * | F | F | F | F |
| 120239 | * | F | F | F | F |
| 120240 | * | F | F | F | F |
| 120241 | F | F | F | F | F |
| 120242 | * | F | F | F | F |
| 120243 | * | F | F | F | F |
| 120244 | * | F | F | F | F |
| 120245 | F | F | F | F | F |
| 120246 | * | F | F | F | F |
| 120247 | * | F | F | F | F |
| 120248 | * | F | F | F | F |
| 120249 | F | F | F | F | F |
| 120250 | * | F | F | F | F |
| 120251 | * | F | F | F | F |
| 120252 | * | F | F | F | F |
| 120253 | F | F | F | F | F |
| 120254 | * | F | F | F | F |
| 120255 | * | F | F | F | F |
| 120256 | * | F | F | F | F |
| 120257 | F | F | F | F | F |
| 120258 | * | F | F | F | F |
| 120259 | * | F | F | F | F |
| 120260 | * | F | F | F | F |
| 120261 | F | F | F | F | F |
| 120262 | * | F | F | F | F |
| 120263 | * | F | F | F | F |
| 120264 | * | F | F | F | F |
| 120265 | F | F | F | F | F |
| 120266 | * | F | F | F | F |
| 120267 | * | F | F | F | F |
| 120268 | * | F | F | F | F |
| 120269 | F | F | F | F | F |
| 120270 | * | F | F | F | F |
| 120271 | * | F | F | F | F |
| 120272 | * | F | F | F | F |
| 120273 | F | F | F | F | F |
| 120274 | * | F | F | F | F |
| 120275 | * | F | F | F | F |
| 120276 | * | F | F | F | F |
| 120277 | F | F | F | F | F |
| 120278 | * | F | F | F | F |
| 120279 | * | F | F | F | F |
| 120280 | * | F | F | F | F |
| 120281 | F | F | F | F | F |
| 120282 | * | F | F | F | F |
| 120283 | * | F | F | F | F |
| 120284 | * | F | F | F | F |
| 120285 | F | F | F | F | F |
| 120286 | * | F | F | F | F |
| 120287 | * | F | F | F | F |
| 120288 | * | F | F | F | F |
| 120289 | F | F | F | F | F |
| 120290 | * | F | F | F | F |
| 120291 | * | F | F | F | F |
| 120292 | * | F | F | F | F |
| 120293 | F | F | F | F | F |
| 120294 | * | F | F | F | F |
| 120295 | * | F | F | F | F |
| 120296 | * | F | F | F | F |
| 120297 | F | F | F | F | F |
| 120298 | * | F | F | F | F |
| 120299 | * | F | F | F | F |
| 120300 | * | F | F | F | F |
| 120301 | F | F | F | F | F |
| 120302 | * | F | F | F | F |
| 120303 | * | F | F | F | F |
| 120304 | * | F | F | F | F |
| 120305 | F | F | F | F | F |
| 120306 | * | F | F | F | F |
| 120307 | * | F | F | F | F |
| 120308 | * | F | F | F | F |
| 120309 | F | F | F | F | F |
| 120310 | * | F | F | F | F |
| 120311 | * | F | F | F | F |
| 120312 | * | F | F | F | F |
| 120313 | F | F | F | F | F |
| 120314 | * | F | F | F | F |
| 120315 | * | F | F | F | F |
| 120316 | * | F | F | F | F |
| 120317 | F | F | F | F | F |
| 120318 | * | F | F | F | F |
| 120319 | * | F | F | F | F |
| 120320 | * | F | F | F | F |
| 120321 | F | F | F | F | F |
| 120322 | * | F | F | F | F |
| 120323 | * | F | F | F | F |
| 120324 | * | F | F | F | F |
| 120325 | F | F | F | F | F |
| 120326 | * | F | F | F | F |
| 120327 | * | F | F | F | F |
| 120328 | * | F | F | F | F |
| 120329 | F | F | F | F | F |
| 120330 | * | F | F | F | F |
| 120331 | * | F | F | F | F |
| 120332 | * | F | F | F | F |
| 120333 | F | F | F | F | F |
| 120334 | * | F | F | F | F |
| 120335 | * | F | F | F | F |
| 120336 | * | F | F | F | F |
| 120337 | F | F | F | F | F |
| 120338 | * | F | F | F | F |
| 120339 | * | F | F | F | F |
| 120340 | * | F | F | F | F |
| 120341 | F | F | F | F | F |
| 120342 | * | F | F | F | F |
| 120343 | * | F | F | F | F |
| 120344 | * | F | F | F | F |
| 120345 | F | F | F | F | F |
| 120346 | * | F | F | F | F |
| 120347 | * | F | F | F | F |
| 120348 | * | F | F | F | F |
| 120349 | F | F | F | F | F |
| 120350 | * | F | F | F | F |
| 120351 | * | F | F | F | F |
| 120352 | * | F | F | F | F |
| 120353 | F | F | F | F | F |
| 120354 | * | F | F | F | F |
| 120355 | * | F | F | F | F |
| 120356 | * | F | F | F | F |
| 120357 | F | F | F | F | F |
| 120358 | * | F | F | F | F |
| 120359 | * | F | F | F | F |
| 120360 | * | F | F | F | F |
| 120361 | F | F | F | F | F |
| 120362 | * | F | F | F | F |
| 120363 | * | F | F | F | F |
| 120364 | * | F | F | F | F |
| 120365 | F | F | F | F | F |
| 120366 | * | F | F | F | F |
| 120367 | * | F | F | F | F |
| 120368 | * | F | F | F | F |
| 120369 | F | F | F | F | F |
| 120370 | * | F | F | F | F |
| 120371 | * | F | F | F | F |
| 120372 | * | F | F | F | F |
| 120373 | F | F | F | F | F |
| 120374 | * | F | F | F | F |
| 120375 | * | F | F | F | F |
| 120376 | * | F | F | F | F |
| 120377 | F | F | F | F | F |
| 120378 | * | F | F | F | F |
| 120379 | * | F | F | F | F |
| 120380 | * | F | F | F | F |
| 120381 | F | F | F | F | F |
| 120382 | * | F | F | F | F |
| 120383 | * | F | F | F | F |
| 120384 | * | F | F | F | F |
| 120385 | F | F | F | F | F |
| 120386 | * | F | F | F | F |
| 120387 | * | F | F | F | F |
| 120388 | * | F | F | F | F |
| 120389 | F | F | F | F | F |
| 120390 | * | F | F | F | F |
| 120391 | * | F | F | F | F |
| 120392 | * | F | F | F | F |
| 120393 | F | F | F | F | F |
| 120394 | * | F | F | F | F |
| 120395 | * | F | F | F | F |
| 120396 | * | F | F | F | F |
| 120397 | F | F | F | F | F |
| 120398 | * | F | F | F | F |
| 120399 | * | F | F | F | F |
| 120400 | * | F | F | F | F |
| 120401 | F | F | F | F | F |
| 120402 | * | F | F | F | F |
| 120403 | * | F | F | F | F |
| 120404 | * | F | F | F | F |
| 120405 | F | F | F | F | F |
| 120406 | * | F | F | F | F |
| 120407 | * | F | F | F | F |
| 120408 | * | F | F | F | F |
| 120409 | F | F | F | F | F |
| 120410 | * | F | F | F | F |
| 120411 | * | F | F | F | F |
| 120412 | * | F | F | F | F |
| 120413 | F | F | F | F | F |
| 120414 | * | F | F | F | F |
| 120415 | * | F | F | F | F |
| 120416 | * | F | F | F | F |
| 120417 | F | F | F | F | F |
| 120418 | * | F | F | F | F |
| 120419 | * | F | F | F | F |
| 120420 | * | F | F | F | F |
| 120421 | * | F | F | F | F |
| 142958 | F | F | T | * | T |
| 142959 | * | F | T | * | T |
| 142960 | * | F | T | * | T |
| 142961 | F | F | T | * | T |
| 142962 | * | F | T | * | T |
| 142963 | * | F | T | * | T |
| 142964 | * | F | T | * | T |
| 142965 | F | F | T | * | T |
| 142966 | * | F | T | * | T |
| 142967 | * | F | T | * | T |
| 142968 | * | F | T | * | T |
| 142969 | F | F | T | * | T |
| 142970 | * | F | T | * | T |
| 142971 | * | F | T | * | T |
| 142972 | * | F | T | * | T |
| 142973 | F | F | T | * | T |
| 142974 | * | F | F | F | F |
| 142975 | * | F | F | F | F |
| 142976 | * | F | F | F | F |
| 142977 | F | F | F | F | F |
| 142978 | * | F | F | F | F |
| 142979 | * | F | F | F | F |
| 142980 | * | F | F | F | F |
| 142981 | F | F | F | F | F |
| 142982 | * | F | F | F | F |
| 142983 | * | F | F | F | F |
| 142984 | * | F | F | F | F |
| 142985 | F | F | F | F | F |
| 142986 | * | F | F | F | F |
| 142987 | * | F | F | F | F |
| 142988 | * | F | F | F | F |
| 142989 | F | F | F | F | F |
| 142990 | * | F | F | F | F |
| 142991 | * | F | F | F | F |
| 142992 | * | F | F | F | F |
| 142993 | F | F | F | F | F |
| 142994 | * | F | F | F | F |
| 142995 | * | F | F | F | F |
| 142996 | * | F | F | F | F |
| 142997 | F | F | F | F | F |
| 142998 | * | F | F | F | F |
| 142999 | * | F | F | F | F |
| 143000 | * | F | F | F | F |
| 143001 | F | F | F | F | F |
| 143002 | * | F | F | F | F |
| 143003 | * | F | F | F | F |
| 143004 | * | F | F | F | F |
| 143005 | F | F | F | F | F |
| 143006 | * | F | T | * | T |
| 143007 | * | F | T | * | T |
| 143008 | * | F | T | * | T |
| 143009 | F | F | T | * | T |
| 143010 | * | F | T | * | T |
| 143011 | * | F | T | * | T |
| 143012 | * | F | T | * | T |
| 143013 | F | F | T | * | T |
| 143014 | * | F | F | T | T |
| 143015 | * | F | F | T | T |
| 143016 | * | F | F | F | F |
| 143017 | F | F | F | F | F |
| 143018 | * | F | F | T | T |
| 143019 | * | F | F | T | T |
| 143020 | * | F | F | F | F |
| 143021 | F | F | F | F | F |
| 143022 | * | F | F | F | F |
| 143023 | * | F | F | F | F |
| 143024 | * | F | F | F | F |
| 143025 | F | F | F | F | F |
| 143026 | * | F | F | F | F |
| 143027 | * | F | F | F | F |
| 143028 | * | F | F | F | F |
| 143029 | F | F | F | F | F |
| 143030 | * | F | F | F | F |
| 143031 | * | F | F | F | F |
| 143032 | * | F | F | F | F |
| 143033 | F | F | F | F | F |
| 143034 | * | F | F | F | F |
| 143035 | * | F | F | F | F |
| 143036 | * | F | F | F | F |
| 143037 | F | F | F | F | F |
| 143038 | * | F | F | F | F |
| 143039 | * | F | F | F | F |
| 143040 | * | F | F | F | F |
| 143041 | F | F | F | F | F |
| 143042 | * | F | F | F | F |
| 143043 | * | F | F | F | F |
| 143044 | * | F | F | F | F |
| 143045 | F | F | F | F | F |
| 143046 | * | F | F | F | F |
| 143047 | * | F | F | F | F |
| 143048 | * | F | F | F | F |
| 143049 | F | F | F | F | F |
| 143050 | * | F | F | F | F |
| 143051 | * | F | F | F | F |
| 143052 | * | F | F | F | F |
| 143053 | F | F | F | F | F |
| 143054 | * | F | F | F | F |
| 143055 | * | F | F | F | F |
| 143056 | * | F | F | F | F |
| 143057 | F | F | F | F | F |
| 143058 | * | F | F | F | F |
| 143059 | * | F | F | F | F |
| 143060 | * | F | F | F | F |
| 143061 | F | F | F | F | F |
| 143062 | * | F | F | F | F |
| 143063 | * | F | F | F | F |
| 143064 | * | F | F | F | F |
| 143065 | F | F | F | F | F |
| 143066 | * | F | F | F | F |
| 143067 | * | F | F | F | F |
| 143068 | * | F | F | F | F |
| 143069 | F | F | F | F | F |
| 143070 | * | F | F | F | F |
| 143071 | * | F | F | F | F |
| 143072 | * | F | F | F | F |
| 143073 | F | F | F | F | F |
| 143074 | * | F | F | F | F |
| 143075 | * | F | F | F | F |
| 143076 | * | F | F | F | F |
| 143077 | F | F | F | F | F |
| 143078 | * | F | F | F | F |
| 143079 | * | F | F | F | F |
| 143080 | * | F | F | F | F |
| 143081 | F | F | F | F | F |
| 143082 | * | F | F | F | F |
| 143083 | * | F | F | F | F |
| 143084 | * | F | F | F | F |
| 143085 | F | F | F | F | F |
| 143086 | * | F | F | F | F |
| 143087 | * | F | F | F | F |
| 143088 | * | F | F | F | F |
| 143089 | F | F | F | F | F |
| 143090 | * | F | F | F | F |
| 143091 | * | F | F | F | F |
| 143092 | * | F | F | F | F |
| 143093 | F | F | F | F | F |
| 143094 | * | F | F | F | F |
| 143095 | * | F | F | F | F |
| 143096 | * | F | F | F | F |
| 143097 | F | F | F | F | F |
| 143098 | * | F | F | F | F |
| 143099 | * | F | F | F | F |
| 143100 | * | F | F | F | F |
| 143101 | F | F | F | F | F |
| 143102 | * | F | F | F | F |
| 143103 | * | F | F | F | F |
| 143104 | * | F | F | F | F |
| 143105 | F | F | F | F | F |
| 143106 | * | F | F | F | F |
| 143107 | * | F | F | F | F |
| 143108 | * | F | F | F | F |
| 143109 | F | F | F | F | F |
| 143110 | * | F | F | F | F |
| 143111 | * | F | F | F | F |
| 143112 | * | F | F | F | F |
| 143113 | F | F | F | F | F |
| 143114 | * | F | F | F | F |
| 143115 | * | F | F | F | F |
| 143116 | * | F | F | F | F |
| 143117 | F | F | F | F | F |
| 143118 | * | F | F | F | F |
| 143119 | * | F | F | F | F |
| 143120 | * | F | F | F | F |
| 143121 | F | F | F | F | F |
| 143122 | * | F | F | F | F |
| 143123 | * | F | F | F | F |
| 143124 | * | F | F | F | F |
| 143125 | F | F | F | F | F |
| 143126 | * | F | F | F | F |
| 143127 | * | F | F | F | F |
| 143128 | * | F | F | F | F |
| 143129 | F | F | F | F | F |
| 143130 | * | F | F | F | F |
| 143131 | * | F | F | F | F |
| 143132 | * | F | F | F | F |
| 143133 | F | F | F | F | F |
| 143134 | * | F | F | F | F |
| 143135 | * | F | F | F | F |
| 143136 | * | F | F | F | F |
| 143137 | F | F | F | F | F |
| 143138 | * | F | F | F | F |
| 143139 | * | F | F | F | F |
| 143140 | * | F | F | F | F |
| 143141 | F | F | F | F | F |
| 143142 | * | F | F | F | F |
| 143143 | * | F | F | F | F |
| 143144 | * | F | F | F | F |
| 143145 | F | F | F | F | F |
| 143146 | * | F | F | F | F |
| 143147 | * | F | F | F | F |
| 143148 | * | F | F | F | F |
| 143149 | F | F | F | F | F |
| 143150 | * | F | F | F | F |
| 143151 | * | F | F | F | F |
| 143152 | * | F | F | F | F |
| 143153 | F | F | F | F | F |
| 143154 | * | F | F | F | F |
| 143155 | * | F | F | F | F |
| 143156 | * | F | F | F | F |
| 143157 | F | F | F | F | F |
| 143158 | * | F | F | F | F |
| 143159 | * | F | F | F | F |
| 143160 | * | F | F | F | F |
| 143161 | F | F | F | F | F |
| 143162 | * | F | F | F | F |
| 143163 | * | F | F | F | F |
| 143164 | * | F | F | F | F |
| 143165 | F | F | F | F | F |
| 143166 | * | F | F | F | F |
| 143167 | * | F | F | F | F |
| 143168 | * | F | F | F | F |
| 143169 | F | F | F | F | F |
| 143170 | * | F | F | F | F |
| 143171 | * | F | F | F | F |
| 143172 | * | F | F | F | F |
| 143173 | F | F | F | F | F |
| 143174 | * | F | F | F | F |
| 143175 | * | F | F | F | F |
| 143176 | * | F | F | F | F |
| 143177 | F | F | F | F | F |
| 143178 | * | F | F | F | F |
| 143179 | * | F | F | F | F |
| 143180 | * | F | F | F | F |
| 143181 | F | F | F | F | F |
| 143182 | * | F | F | F | F |
| 143183 | * | F | F | F | F |
| 143184 | * | F | F | F | F |
| 143185 | F | F | F | F | F |
| 143186 | * | F | F | F | F |
| 143187 | * | F | F | F | F |
| 143188 | * | F | F | F | F |
| 143189 | F | F | F | F | F |
| 143190 | * | F | F | F | F |
| 143191 | * | F | F | F | F |
| 143192 | * | F | F | F | F |
| 143193 | F | F | F | F | F |
| 143194 | * | F | F | F | F |
| 143195 | * | F | F | F | F |
| 143196 | * | F | F | F | F |
| 143197 | F | F | F | F | F |
| 143198 | * | F | F | F | F |
| 143199 | * | F | F | F | F |
| 143200 | * | F | F | F | F |
| 143201 | F | F | F | F | F |
| 143202 | * | F | F | F | F |
| 143203 | * | F | F | F | F |
| 143204 | * | F | F | F | F |
| 143205 | F | F | F | F | F |
| 143206 | * | F | F | F | F |
| 143207 | * | F | F | F | F |
| 143208 | * | F | F | F | F |
| 143209 | F | F | F | F | F |
| 143210 | * | F | F | F | F |
| 143211 | * | F | F | F | F |
| 143212 | * | F | F | F | F |
| 143213 | F | F | F | F | F |
| 143214 | * | F | F | F | F |
| 143215 | * | F | F | F | F |
| 143216 | * | F | F | F | F |
| 143217 | F | F | F | F | F |
| 143218 | * | F | F | F | F |
| 143219 | * | F | F | F | F |
| 143220 | * | F | F | F | F |
| 143221 | F | F | F | F | F |
| 143222 | * | F | F | F | F |
| 143223 | * | F | F | F | F |
| 143224 | * | F | F | F | F |
| 143225 | F | F | F | F | F |
| 143226 | * | F | F | F | F |
| 143227 | * | F | F | F | F |
| 143228 | * | F | F | F | F |
| 143229 | F | F | F | F | F |
| 143230 | * | F | F | F | F |
| 143231 | * | F | F | F | F |
| 143232 | * | F | F | F | F |
| 143233 | F | F | F | F | F |
| 143234 | * | F | F | F | F |
| 143235 | * | F | F | F | F |
| 143236 | * | F | F | F | F |
| 143237 | F | F | F | F | F |
| 143238 | * | F | F | F | F |
| 143239 | * | F | F | F | F |
| 143240 | * | F | F | F | F |
| 143241 | F | F | F | F | F |
| 143242 | * | F | F | F | F |
| 143243 | * | F | F | F | F |
| 143244 | * | F | F | F | F |
| 143245 | F | F | F | F | F |
| 143246 | * | F | F | F | F |
| 143247 | * | F | F | F | F |
| 143248 | * | F | F | F | F |
| 143249 | F | F | F | F | F |
| 143250 | * | F | F | F | F |
| 143251 | * | F | F | F | F |
| 143252 | * | F | F | F | F |
| 143253 | F | F | F | F | F |
| 143254 | * | F | F | F | F |
| 143255 | * | F | F | F | F |
| 143256 | * | F | F | F | F |
| 143257 | F | F | F | F | F |
| 143258 | * | F | F | F | F |
| 143259 | * | F | F | F | F |
| 143260 | * | F | F | F | F |
| 143261 | F | F | F | F | F |
| 143262 | * | F | F | F | F |
| 143263 | * | F | F | F | F |
| 143264 | * | F | F | F | F |
| 143265 | F | F | F | F | F |
| 143266 | * | F | F | F | F |
| 143267 | * | F | F | F | F |
| 143268 | * | F | F | F | F |
| 143269 | F | F | F | F | F |
| 143270 | * | F | F | F | F |
| 143271 | * | F | F | F | F |
| 143272 | * | F | F | F | F |
| 143273 | F | F | F | F | F |
| 143274 | * | F | F | F | F |
| 143275 | * | F | F | F | F |
| 143276 | * | F | F | F | F |
| 143277 | F | F | F | F | F |
| 143278 | * | F | F | F | F |
| 143279 | * | F | F | F | F |
| 143280 | * | F | F | F | F |
| 143281 | F | F | F | F | F |
| 143282 | * | F | F | F | F |
| 143283 | * | F | F | F | F |
| 143284 | * | F | F | F | F |
| 143285 | F | F | F | F | F |
| 143286 | * | F | F | F | F |
| 143287 | * | F | F | F | F |
| 143288 | * | F | F | F | F |
| 143289 | F | F | F | F | F |
| 143290 | * | F | F | F | F |
| 143291 | * | F | F | F | F |
| 143292 | * | F | F | F | F |
| 143293 | F | F | F | F | F |
| 143294 | * | F | F | F | F |
| 143295 | * | F | F | F | F |
| 143296 | * | F | F | F | F |
| 143297 | F | F | F | F | F |
| 143298 | * | F | F | F | F |
| 143299 | * | F | F | F | F |
| 143300 | * | F | F | F | F |
| 143301 | F | F | F | F | F |
| 143302 | * | F | F | F | F |
| 143303 | * | F | F | F | F |
| 143304 | * | F | F | F | F |
| 143305 | F | F | F | F | F |
| 143306 | * | F | F | F | F |
| 143307 | * | F | F | F | F |
| 143308 | * | F | F | F | F |
| 143309 | F | F | F | F | F |
| 143310 | * | F | F | F | F |
| 143311 | * | F | F | F | F |
| 143312 | * | F | F | F | F |
| 143313 | F | F | F | F | F |
| 143314 | * | F | F | F | F |
| 143315 | * | F | F | F | F |
| 143316 | * | F | F | F | F |
| 143317 | F | F | F | F | F |
| 143318 | * | F | F | F | F |
| 143319 | * | F | F | F | F |
| 143320 | * | F | F | F | F |
| 143321 | F | F | F | F | F |
| 143322 | * | F | F | F | F |
| 143323 | * | F | F | F | F |
| 143324 | * | F | F | F | F |
| 143325 | F | F | F | F | F |
| 143326 | * | F | F | F | F |
| 143327 | * | F | F | F | F |
| 143328 | * | F | F | F | F |
| 143329 | F | F | F | F | F |
| 143330 | * | F | F | F | F |
| 143331 | * | F | F | F | F |
| 143332 | * | F | F | F | F |
| 143333 | F | F | F | F | F |
| 143334 | * | F | F | F | F |
| 143335 | * | F | F | F | F |
| 143336 | * | F | F | F | F |
| 143337 | F | F | F | F | F |
| 143338 | * | F | F | F | F |
| 143339 | * | F | F | F | F |
| 143340 | * | F | F | F | F |
| 143341 | F | F | F | F | F |
| 143342 | * | F | F | F | F |
| 143343 | * | F | F | F | F |
| 143344 | * | F | F | F | F |
| 143345 | F | F | F | F | F |
| 143346 | * | F | F | F | F |
| 143347 | * | F | F | F | F |
| 143348 | * | F | F | F | F |
| 143349 | F | F | F | F | F |
| 143350 | * | F | F | F | F |
| 143351 | * | F | F | F | F |
| 143352 | * | F | F | F | F |
| 143353 | F | F | F | F | F |
| 143354 | * | F | F | F | F |
| 143355 | * | F | F | F | F |
| 143356 | * | F | F | F | F |
| 143357 | * | F | F | F | F |
| 163528 | F | F | T | * | T |
| 163529 | F | F | T | * | T |
| 163530 | * | F | T | * | T |
| 163531 | F | F | T | * | T |
| 163532 | * | F | T | * | T |
| 163533 | F | F | T | * | T |
| 163534 | * | F | T | * | T |
| 163535 | F | F | T | * | T |
| 163536 | * | F | T | * | T |
| 163537 | F | F | T | * | T |
| 163538 | * | F | T | * | T |
| 163539 | F | F | T | * | T |
| 163540 | * | F | T | * | T |
| 163541 | F | F | T | * | T |
| 163542 | * | F | T | * | T |
| 163543 | * | F | T | * | T |
| 165109 | F | F | T | * | T |
| 165110 | F | F | T | * | T |
| 165111 | * | F | T | * | T |
| 165112 | F | F | T | * | T |
| 165113 | * | F | T | * | T |
| 165114 | F | F | T | * | T |
| 165115 | * | F | T | * | T |
| 165116 | F | F | T | * | T |
| 165117 | * | F | T | * | T |
| 165118 | F | F | T | * | T |
| 165119 | * | F | T | * | T |
| 165120 | F | F | T | * | T |
| 165121 | * | F | T | * | T |
| 165122 | F | F | T | * | T |
| 165123 | * | F | T | * | T |
| 165124 | * | F | T | * | T |
| 166829 | F | F | T | * | T |
| 166830 | F | F | T | * | T |
| 166831 | * | F | T | * | T |
| 166832 | F | F | T | * | T |
| 166833 | * | F | T | * | T |
| 166834 | F | F | T | * | T |
| 166835 | * | F | T | * | T |
| 166836 | F | F | T | * | T |
| 166837 | * | F | T | * | T |
| 166838 | F | F | T | * | T |
| 166839 | * | F | T | * | T |
| 166840 | F | F | T | * | T |
| 166841 | * | F | T | * | T |
| 166842 | F | F | T | * | T |
| 166843 | * | F | T | * | T |
| 166844 | * | F | T | * | T |
Independent-effect pairs
c0(branch5105): GAP view gap →scry_octagon::strong_close· br_if
inlined: lib.rs:452c1(branch5106): GAP view gap →scry_octagon::strong_close· br_if
inlined: lib.rs:454c2(branch5107): PROVED — pair rows1685,17374(masking)scry_octagon::strong_close· br_if
inlined: lib.rs:454c3(branch5108): PROVED — pair rows17375,36599(unique-cause)scry_octagon::strong_close· br_if
inlined: lib.rs:454