Decision #115 — lib.rs:777
Status: no_witness
Truth table
| row | c0 br 1047 | c1 br 1048 | c2 br 1049 | c3 br 1050 | c4 br 1051 | c5 br 1052 | c6 br 1053 | outcome |
|---|---|---|---|---|---|---|---|---|
| 375 | * | * | * | * | * | * | F | T |
| 376 | * | * | * | * | * | * | F | T |
| 377 | * | * | * | * | * | * | F | T |
| 378 | * | * | * | * | * | * | F | T |
| 379 | * | * | * | * | * | * | F | T |
| 380 | * | * | * | * | * | * | F | T |
| 381 | * | * | * | * | * | * | F | T |
| 382 | * | * | * | * | * | * | F | T |
| 383 | * | * | * | * | * | * | F | T |
| 384 | * | * | * | * | * | * | F | T |
| 385 | * | * | * | * | * | * | F | T |
| 386 | * | * | F | T | F | F | F | T |
| 387 | * | * | F | T | F | T | F | T |
| 388 | * | * | F | T | F | F | F | T |
| 389 | * | * | F | T | F | T | F | T |
| 390 | * | * | F | T | F | F | F | T |
| 391 | * | * | F | T | F | T | F | T |
| 392 | * | * | F | T | F | F | F | T |
| 393 | * | * | F | T | F | T | F | T |
| 394 | * | * | F | T | F | T | F | T |
| 395 | * | * | F | T | F | F | F | T |
| 396 | * | * | F | T | F | T | F | T |
| 397 | * | * | F | T | F | T | F | T |
| 398 | * | * | * | * | * | * | F | T |
| 3415 | * | * | * | * | * | * | F | T |
| 3416 | * | * | * | * | * | * | F | T |
| 3417 | * | * | * | * | * | * | F | T |
| 3418 | * | * | * | * | * | * | F | T |
| 3419 | * | * | * | * | * | * | F | T |
| 3420 | * | * | * | * | * | * | F | T |
| 3421 | * | * | * | * | * | * | F | T |
| 3422 | * | * | * | * | * | * | F | T |
| 3423 | * | * | * | * | * | * | F | T |
| 3424 | * | * | * | * | * | * | F | T |
| 3425 | * | * | * | * | * | * | F | T |
| 3426 | * | * | F | T | F | F | F | T |
| 3427 | * | * | F | T | F | T | F | T |
| 3428 | * | * | F | T | F | F | F | T |
| 3429 | * | * | F | T | F | T | F | T |
| 3430 | * | * | F | T | F | F | F | T |
| 3431 | * | * | F | T | F | T | F | T |
| 3432 | * | * | F | T | F | F | F | T |
| 3433 | * | * | F | T | F | T | F | T |
| 3434 | * | * | F | T | F | T | F | T |
| 3435 | * | * | F | T | F | F | F | T |
| 3436 | * | * | F | T | F | T | F | T |
| 3437 | * | * | F | T | F | T | F | T |
| 3438 | * | * | * | * | * | * | F | T |
| 6310 | * | * | * | * | * | * | F | T |
| 6311 | * | * | * | * | * | * | F | T |
| 6312 | * | * | * | * | * | * | F | T |
| 6313 | * | * | * | * | * | * | F | T |
| 6314 | * | * | * | * | * | * | F | T |
| 6315 | * | * | * | * | * | * | F | T |
| 6316 | * | * | * | * | * | * | F | T |
| 6317 | * | * | * | * | * | * | F | T |
| 6318 | * | * | * | * | * | * | F | T |
| 6319 | * | * | * | * | * | * | F | T |
| 6320 | * | * | * | * | * | * | F | T |
| 6321 | * | * | F | T | F | F | F | T |
| 6322 | * | * | F | T | F | T | F | T |
| 6323 | * | * | F | T | F | F | F | T |
| 6324 | * | * | F | T | F | T | F | T |
| 6325 | * | * | F | T | F | F | F | T |
| 6326 | * | * | F | T | F | T | F | T |
| 6327 | * | * | F | T | F | F | F | T |
| 6328 | * | * | F | T | F | T | F | T |
| 6329 | * | * | F | T | F | T | F | T |
| 6330 | * | * | F | T | F | F | F | T |
| 6331 | * | * | F | T | F | T | F | T |
| 6332 | * | * | F | T | F | T | F | T |
| 6333 | * | * | * | * | * | * | F | T |
| 9545 | * | * | * | * | * | * | F | T |
| 9546 | * | * | * | * | * | * | F | T |
| 9547 | * | * | * | * | * | * | F | T |
| 9548 | * | * | * | * | * | * | F | T |
| 9549 | * | * | * | * | * | * | F | T |
| 9550 | * | * | F | T | F | F | F | T |
| 9551 | * | * | F | T | F | T | F | T |
| 9552 | * | * | F | T | F | T | F | T |
| 9553 | * | * | F | T | F | T | F | T |
| 9554 | * | * | F | T | F | F | F | T |
| 9555 | * | * | F | T | F | T | F | T |
| 9556 | * | * | * | * | * | * | F | T |
| 10693 | * | * | * | * | * | * | F | T |
| 10694 | * | * | * | * | * | * | F | T |
| 10695 | * | * | * | * | * | * | F | T |
| 10696 | * | * | * | * | * | * | F | T |
| 10697 | * | * | * | * | * | * | F | T |
| 10698 | * | * | F | T | F | F | F | T |
| 10699 | * | * | F | T | F | T | F | T |
| 10700 | * | * | F | T | F | T | F | T |
| 10701 | * | * | F | T | F | T | F | T |
| 10702 | * | * | F | T | F | F | F | T |
| 10703 | * | * | F | T | F | T | F | T |
| 10704 | * | * | * | * | * | * | F | T |
| 11784 | * | * | * | * | * | * | F | T |
| 11785 | * | * | * | * | * | * | F | T |
| 11786 | * | * | * | * | * | * | F | T |
| 11787 | * | * | * | * | * | * | F | T |
| 11788 | * | * | * | * | * | * | F | T |
| 11789 | * | * | F | T | F | F | F | T |
| 11790 | * | * | F | T | F | T | F | T |
| 11791 | * | * | F | T | F | T | F | T |
| 11792 | * | * | F | T | F | T | F | T |
| 11793 | * | * | F | T | F | F | F | T |
| 11794 | * | * | F | T | F | T | F | T |
| 11795 | * | * | * | * | * | * | F | T |
| 13325 | * | * | * | * | * | * | F | T |
| 13326 | * | * | * | * | * | * | F | T |
| 13327 | * | * | * | * | * | * | F | T |
| 13328 | * | * | * | * | * | * | F | T |
| 13329 | * | * | * | * | * | * | F | T |
| 13330 | * | * | * | * | * | * | F | T |
| 13331 | * | * | * | * | * | * | F | T |
| 13332 | * | * | * | * | * | * | F | T |
| 13333 | * | * | * | * | * | * | F | T |
| 13334 | * | * | * | * | * | * | F | T |
| 13335 | * | * | * | * | * | * | F | T |
| 13336 | * | * | * | * | * | * | F | T |
| 13337 | * | * | * | * | * | * | F | T |
| 13338 | * | * | * | * | * | * | F | T |
| 13339 | * | * | * | * | * | * | F | T |
| 13340 | F | T | F | T | F | F | F | T |
| 13341 | F | T | F | F | * | T | F | T |
| 13342 | * | * | * | * | * | * | F | T |
| 13343 | * | * | * | * | * | * | F | T |
| 13344 | * | * | * | * | * | * | F | T |
| 13345 | * | * | * | * | * | * | F | T |
| 13346 | * | * | * | * | * | * | F | T |
| 13347 | * | * | * | * | * | * | F | T |
| 13348 | * | * | * | * | * | * | F | T |
| 13349 | * | * | * | * | * | * | F | T |
| 13350 | F | T | F | T | F | T | F | T |
| 13351 | F | T | F | T | F | F | F | T |
| 13352 | F | T | F | T | F | T | F | T |
| 13353 | F | T | F | F | * | T | F | T |
| 13354 | F | T | F | T | F | T | F | T |
| 13355 | F | T | F | T | F | F | F | T |
| 13356 | * | * | * | * | * | * | F | T |
| 21043 | * | * | * | * | * | * | F | T |
| 21044 | * | * | * | * | * | * | F | T |
| 21045 | * | * | * | * | * | * | F | T |
| 21046 | * | * | * | * | * | * | F | T |
| 21047 | * | * | * | * | * | * | F | T |
| 21048 | * | * | * | * | * | * | F | T |
| 21049 | * | * | * | * | * | * | F | T |
| 21050 | * | * | * | * | * | * | F | T |
| 21051 | * | * | * | * | * | * | F | T |
| 21052 | * | * | * | * | * | * | F | T |
| 21053 | * | * | * | * | * | * | F | T |
| 21054 | * | * | * | * | * | * | F | T |
| 21055 | * | * | * | * | * | * | F | T |
| 21056 | * | * | * | * | * | * | F | T |
| 21057 | * | * | * | * | * | * | F | T |
| 21058 | F | T | F | T | F | F | F | T |
| 21059 | F | T | F | F | * | T | F | T |
| 21060 | * | * | * | * | * | * | F | T |
| 21061 | * | * | * | * | * | * | F | T |
| 21062 | * | * | * | * | * | * | F | T |
| 21063 | * | * | * | * | * | * | F | T |
| 21064 | * | * | * | * | * | * | F | T |
| 21065 | * | * | * | * | * | * | F | T |
| 21066 | * | * | * | * | * | * | F | T |
| 21067 | * | * | * | * | * | * | F | T |
| 21068 | F | T | F | T | F | T | F | T |
| 21069 | F | T | F | T | F | F | F | T |
| 21070 | F | T | F | T | F | T | F | T |
| 21071 | F | T | F | F | * | T | F | T |
| 21072 | F | T | F | T | F | T | F | T |
| 21073 | F | T | F | T | F | F | F | T |
| 21074 | * | * | * | * | * | * | F | T |
| 28784 | * | * | * | * | * | * | F | T |
| 28785 | * | * | * | * | * | * | F | T |
| 28786 | * | * | * | * | * | * | F | T |
| 28787 | * | * | * | * | * | * | F | T |
| 28788 | * | * | * | * | * | * | F | T |
| 28789 | * | * | * | * | * | * | F | T |
| 28790 | * | * | * | * | * | * | F | T |
| 28791 | * | * | * | * | * | * | F | T |
| 28792 | * | * | * | * | * | * | F | T |
| 28793 | * | * | * | * | * | * | F | T |
| 28794 | * | * | * | * | * | * | F | T |
| 28795 | * | * | * | * | * | * | F | T |
| 28796 | * | * | * | * | * | * | F | T |
| 28797 | * | * | * | * | * | * | F | T |
| 28798 | * | * | * | * | * | * | F | T |
| 28799 | * | * | * | * | * | * | F | T |
| 28800 | * | * | * | * | * | * | F | T |
| 28801 | * | * | * | * | * | * | F | T |
| 28802 | * | * | * | * | * | * | F | T |
| 28803 | * | * | * | * | * | * | F | T |
| 28804 | * | * | * | * | * | * | F | T |
| 28805 | * | * | * | * | * | * | F | T |
| 28806 | * | * | * | * | * | * | F | T |
| 28807 | * | * | * | * | * | * | F | T |
| 28808 | * | * | * | * | * | * | F | T |
| 28809 | * | * | * | * | * | * | F | T |
| 28810 | * | * | * | * | * | * | F | T |
| 28811 | * | * | * | * | * | * | F | T |
| 28812 | * | * | * | * | * | * | F | T |
| 28813 | * | * | * | * | * | * | F | T |
| 28814 | * | * | * | * | * | * | F | T |
| 28815 | * | * | * | * | * | * | F | T |
| 28816 | * | * | * | * | * | * | F | T |
| 28817 | * | * | * | * | * | * | F | T |
| 28818 | * | * | * | * | * | * | F | T |
| 28819 | * | * | * | * | * | * | F | T |
| 28820 | * | * | * | * | * | * | F | T |
| 28821 | * | * | * | * | * | * | F | T |
| 28822 | * | * | * | * | * | * | F | T |
| 28823 | * | * | * | * | * | * | F | T |
| 28824 | * | * | * | * | * | * | F | T |
| 28825 | * | * | * | * | * | * | F | T |
| 28826 | * | * | * | * | * | * | F | T |
| 28827 | * | * | * | * | * | * | F | T |
| 28828 | * | * | * | * | * | * | F | T |
| 28829 | * | * | * | * | * | * | F | T |
| 28830 | * | * | * | * | * | * | F | T |
| 28831 | * | * | * | * | * | * | F | T |
| 28832 | * | * | * | * | * | * | F | T |
| 28833 | * | * | * | * | * | * | F | T |
| 28834 | * | * | * | * | * | * | F | T |
| 28835 | * | * | * | * | * | * | F | T |
| 28836 | * | * | * | * | * | * | F | T |
| 28837 | * | * | * | * | * | * | F | T |
| 28838 | * | * | * | * | * | * | F | T |
| 28839 | * | * | * | * | * | * | F | T |
| 28840 | * | * | * | * | * | * | F | T |
| 28841 | * | * | * | * | * | * | F | T |
| 28842 | * | * | * | * | * | * | F | T |
| 28843 | * | * | * | * | * | * | F | T |
| 28844 | * | * | * | * | * | * | F | T |
| 28845 | * | * | F | T | F | T | F | T |
| 28846 | * | * | F | T | F | T | F | T |
| 28847 | * | * | F | T | F | T | F | T |
| 28848 | * | * | F | F | * | F | F | T |
| 28849 | * | * | F | T | F | T | F | T |
| 28850 | * | * | F | T | F | T | F | T |
| 28851 | * | * | * | * | * | * | F | T |
| 34722 | * | * | * | * | * | * | F | T |
| 34723 | * | * | * | * | * | * | F | T |
| 34724 | * | * | * | * | * | * | F | T |
| 34725 | * | * | * | * | * | * | F | T |
| 34726 | * | * | * | * | * | * | F | T |
| 34727 | * | * | * | * | * | * | F | T |
| 34728 | * | * | * | * | * | * | F | T |
| 34729 | * | * | * | * | * | * | F | T |
| 34730 | * | * | * | * | * | * | F | T |
| 34731 | * | * | * | * | * | * | F | T |
| 34732 | * | * | * | * | * | * | F | T |
| 34733 | * | * | * | * | * | * | F | T |
| 34734 | * | * | * | * | * | * | F | T |
| 34735 | * | * | * | * | * | * | F | T |
| 34736 | * | * | * | * | * | * | F | T |
| 34737 | * | * | * | * | * | * | F | T |
| 34738 | * | * | * | * | * | * | F | T |
| 34739 | * | * | * | * | * | * | F | T |
| 34740 | * | * | * | * | * | * | F | T |
| 34741 | * | * | * | * | * | * | F | T |
| 34742 | * | * | * | * | * | * | F | T |
| 34743 | * | * | * | * | * | * | F | T |
| 34744 | * | * | * | * | * | * | F | T |
| 34745 | * | * | * | * | * | * | F | T |
| 34746 | * | * | * | * | * | * | F | T |
| 34747 | * | * | * | * | * | * | F | T |
| 34748 | * | * | * | * | * | * | F | T |
| 34749 | * | * | * | * | * | * | F | T |
| 34750 | * | * | * | * | * | * | F | T |
| 34751 | * | * | * | * | * | * | F | T |
| 34752 | * | * | * | * | * | * | F | T |
| 34753 | * | * | * | * | * | * | F | T |
| 34754 | * | * | * | * | * | * | F | T |
| 34755 | * | * | * | * | * | * | F | T |
| 34756 | * | * | * | * | * | * | F | T |
| 34757 | * | * | * | * | * | * | F | T |
| 34758 | * | * | * | * | * | * | F | T |
| 34759 | * | * | * | * | * | * | F | T |
| 34760 | * | * | * | * | * | * | F | T |
| 34761 | * | * | * | * | * | * | F | T |
| 34762 | * | * | * | * | * | * | F | T |
| 34763 | * | * | * | * | * | * | F | T |
| 34764 | * | * | * | * | * | * | F | T |
| 34765 | * | * | * | * | * | * | F | T |
| 34766 | * | * | * | * | * | * | F | T |
| 34767 | * | * | * | * | * | * | F | T |
| 34768 | * | * | * | * | * | * | F | T |
| 34769 | * | * | * | * | * | * | F | T |
| 34770 | * | * | * | * | * | * | F | T |
| 34771 | * | * | * | * | * | * | F | T |
| 34772 | * | * | * | * | * | * | F | T |
| 34773 | * | * | * | * | * | * | F | T |
| 34774 | * | * | * | * | * | * | F | T |
| 34775 | * | * | * | * | * | * | F | T |
| 34776 | * | * | * | * | * | * | F | T |
| 34777 | * | * | * | * | * | * | F | T |
| 34778 | * | * | * | * | * | * | F | T |
| 34779 | * | * | * | * | * | * | F | T |
| 34780 | * | * | * | * | * | * | F | T |
| 34781 | * | * | * | * | * | * | F | T |
| 34782 | * | * | * | * | * | * | F | T |
| 34783 | * | * | F | T | F | T | F | T |
| 34784 | * | * | F | T | F | T | F | T |
| 34785 | * | * | F | T | F | T | F | T |
| 34786 | * | * | F | F | * | F | F | T |
| 34787 | * | * | F | T | F | T | F | T |
| 34788 | * | * | F | T | F | T | F | T |
| 34789 | * | * | * | * | * | * | F | T |
| 40494 | * | * | * | * | * | * | F | T |
| 40495 | * | * | * | * | * | * | F | T |
| 40496 | * | * | * | * | * | * | F | T |
| 40497 | * | * | * | * | * | * | F | T |
| 40498 | * | * | * | * | * | * | F | T |
| 40499 | * | * | * | * | * | * | F | T |
| 40500 | * | * | * | * | * | * | F | T |
| 40501 | * | * | * | * | * | * | F | T |
| 40502 | * | * | * | * | * | * | F | T |
| 40503 | * | * | * | * | * | * | F | T |
| 40504 | * | * | * | * | * | * | F | T |
| 40505 | * | * | * | * | * | * | F | T |
| 40506 | * | * | * | * | * | * | F | T |
| 40507 | * | * | * | * | * | * | F | T |
| 40508 | * | * | * | * | * | * | F | T |
| 40509 | * | * | * | * | * | * | F | T |
| 40510 | * | * | * | * | * | * | F | T |
| 40511 | * | * | F | T | F | F | F | T |
| 40512 | * | * | F | T | F | T | F | T |
| 40513 | * | * | F | T | F | T | F | T |
| 40514 | * | * | F | T | F | T | F | T |
| 40515 | * | * | F | T | F | F | F | T |
| 40516 | * | * | * | * | * | * | F | T |
| 40517 | * | * | * | * | * | * | F | T |
| 40518 | * | * | * | * | * | * | F | T |
| 40519 | * | * | * | * | * | * | F | T |
| 40520 | * | * | F | T | F | T | F | T |
| 40521 | * | * | F | T | F | T | F | T |
| 40522 | * | * | F | T | F | F | F | T |
| 40523 | * | * | F | T | F | T | F | T |
| 40524 | * | * | F | T | F | T | F | T |
| 40525 | * | * | F | T | F | T | F | T |
| 40526 | * | * | F | T | F | F | F | T |
| 40527 | * | * | F | T | F | T | F | T |
| 40528 | * | * | F | T | F | T | F | T |
| 40529 | * | * | * | * | * | * | F | T |
| 43462 | * | * | * | * | * | * | F | T |
| 43463 | * | * | * | * | * | * | F | T |
| 43464 | * | * | * | * | * | * | F | T |
| 43465 | * | * | * | * | * | * | F | T |
| 43466 | * | * | * | * | * | * | F | T |
| 43467 | * | * | * | * | * | * | F | T |
| 43468 | * | * | * | * | * | * | F | T |
| 43469 | * | * | * | * | * | * | F | T |
| 43470 | * | * | * | * | * | * | F | T |
| 43471 | * | * | * | * | * | * | F | T |
| 43472 | * | * | * | * | * | * | F | T |
| 43473 | * | * | * | * | * | * | F | T |
| 43474 | * | * | * | * | * | * | F | T |
| 43475 | * | * | * | * | * | * | F | T |
| 43476 | * | * | * | * | * | * | F | T |
| 43477 | * | * | * | * | * | * | F | T |
| 43478 | * | * | * | * | * | * | F | T |
| 43479 | * | * | F | T | F | F | F | T |
| 43480 | * | * | F | T | F | T | F | T |
| 43481 | * | * | F | T | F | T | F | T |
| 43482 | * | * | F | T | F | T | F | T |
| 43483 | * | * | F | T | F | F | F | T |
| 43484 | * | * | * | * | * | * | F | T |
| 43485 | * | * | * | * | * | * | F | T |
| 43486 | * | * | * | * | * | * | F | T |
| 43487 | * | * | * | * | * | * | F | T |
| 43488 | * | * | F | T | F | T | F | T |
| 43489 | * | * | F | T | F | T | F | T |
| 43490 | * | * | F | T | F | F | F | T |
| 43491 | * | * | F | T | F | T | F | T |
| 43492 | * | * | F | T | F | T | F | T |
| 43493 | * | * | F | T | F | T | F | T |
| 43494 | * | * | F | T | F | F | F | T |
| 43495 | * | * | F | T | F | T | F | T |
| 43496 | * | * | F | T | F | T | F | T |
| 43497 | * | * | * | * | * | * | F | T |
| 46915 | * | * | * | * | * | * | F | T |
| 46916 | * | * | * | * | * | * | F | T |
| 46917 | * | * | * | * | * | * | F | T |
| 46918 | * | * | * | * | * | * | F | T |
| 46919 | * | * | * | * | * | * | F | T |
| 46920 | * | * | * | * | * | * | F | T |
| 46921 | * | * | * | * | * | * | F | T |
| 46922 | * | * | * | * | * | * | F | T |
| 46923 | * | * | * | * | * | * | F | T |
| 46924 | * | * | * | * | * | * | F | T |
| 46925 | * | * | * | * | * | * | F | T |
| 46926 | * | * | * | * | * | * | F | T |
| 46927 | * | * | * | * | * | * | F | T |
| 46928 | * | * | * | * | * | * | F | T |
| 46929 | * | * | * | * | * | * | F | T |
| 46930 | * | * | * | * | * | * | F | T |
| 46931 | * | * | * | * | * | * | F | T |
| 46932 | * | * | F | T | F | F | F | T |
| 46933 | * | * | F | T | F | T | F | T |
| 46934 | * | * | F | T | F | T | F | T |
| 46935 | * | * | F | T | F | T | F | T |
| 46936 | * | * | F | T | F | F | F | T |
| 46937 | * | * | * | * | * | * | F | T |
| 46938 | * | * | * | * | * | * | F | T |
| 46939 | * | * | * | * | * | * | F | T |
| 46940 | * | * | * | * | * | * | F | T |
| 46941 | * | * | F | T | F | T | F | T |
| 46942 | * | * | F | T | F | T | F | T |
| 46943 | * | * | F | T | F | F | F | T |
| 46944 | * | * | F | T | F | T | F | T |
| 46945 | * | * | F | T | F | T | F | T |
| 46946 | * | * | F | T | F | T | F | T |
| 46947 | * | * | F | T | F | F | F | T |
| 46948 | * | * | F | T | F | T | F | T |
| 46949 | * | * | F | T | F | T | F | T |
| 46950 | * | * | * | * | * | * | F | T |
| 50034 | * | * | * | * | * | * | F | T |
| 50035 | * | * | * | * | * | * | F | T |
| 50036 | * | * | * | * | * | * | F | T |
| 50037 | * | * | * | * | * | * | F | T |
| 50038 | * | * | * | * | * | * | F | T |
| 50039 | * | * | * | * | * | * | F | T |
| 50040 | * | * | * | * | * | * | F | T |
| 50041 | * | * | * | * | * | * | F | T |
| 50042 | * | * | * | * | * | * | F | T |
| 50043 | * | * | * | * | * | * | F | T |
| 50044 | * | * | * | * | * | * | F | T |
| 50045 | * | * | * | * | * | * | F | T |
| 50046 | * | * | * | * | * | * | F | T |
| 50047 | * | * | * | * | * | * | F | T |
| 50048 | * | * | * | * | * | * | F | T |
| 50049 | * | * | * | * | * | * | F | T |
| 50050 | * | * | * | * | * | * | F | T |
| 50051 | * | * | F | T | F | F | F | T |
| 50052 | * | * | F | T | F | T | F | T |
| 50053 | * | * | F | T | F | T | F | T |
| 50054 | * | * | F | T | F | T | F | T |
| 50055 | * | * | F | T | F | F | F | T |
| 50056 | * | * | * | * | * | * | F | T |
| 50057 | * | * | * | * | * | * | F | T |
| 50058 | * | * | * | * | * | * | F | T |
| 50059 | * | * | * | * | * | * | F | T |
| 50060 | * | * | F | T | F | T | F | T |
| 50061 | * | * | F | T | F | T | F | T |
| 50062 | * | * | F | T | F | F | F | T |
| 50063 | * | * | F | T | F | T | F | T |
| 50064 | * | * | F | T | F | T | F | T |
| 50065 | * | * | F | T | F | T | F | T |
| 50066 | * | * | F | T | F | F | F | T |
| 50067 | * | * | F | T | F | T | F | T |
| 50068 | * | * | F | T | F | T | F | T |
| 50069 | * | * | * | * | * | * | F | T |
| 53193 | * | * | * | * | * | * | F | T |
| 53194 | * | * | * | * | * | * | F | T |
| 53195 | * | * | * | * | * | * | F | T |
| 53196 | * | * | * | * | * | * | F | T |
| 53197 | * | * | * | * | * | * | F | T |
| 53198 | * | * | * | * | * | * | F | T |
| 53199 | * | * | * | * | * | * | F | T |
| 53200 | * | * | * | * | * | * | F | T |
| 53201 | * | * | * | * | * | * | F | T |
| 53202 | * | * | * | * | * | * | F | T |
| 53203 | * | * | * | * | * | * | F | T |
| 53204 | * | * | * | * | * | * | F | T |
| 53205 | * | * | * | * | * | * | F | T |
| 53206 | * | * | * | * | * | * | F | T |
| 53207 | * | * | * | * | * | * | F | T |
| 53208 | * | * | * | * | * | * | F | T |
| 53209 | * | * | * | * | * | * | F | T |
| 53210 | * | * | * | * | * | * | F | T |
| 53211 | * | * | * | * | * | * | F | T |
| 53212 | * | * | * | * | * | * | F | T |
| 53213 | * | * | * | * | * | * | F | T |
| 53214 | * | * | * | * | * | * | F | T |
| 53215 | * | * | * | * | * | * | F | T |
| 53216 | * | * | * | * | * | * | F | T |
| 53217 | * | * | * | * | * | * | F | T |
| 53218 | * | * | * | * | * | * | F | T |
| 53219 | * | * | * | * | * | * | F | T |
| 53220 | * | * | * | * | * | * | F | T |
| 53221 | * | * | * | * | * | * | F | T |
| 53222 | * | * | * | * | * | * | F | T |
| 53223 | * | * | * | * | * | * | F | T |
| 53224 | * | * | * | * | * | * | F | T |
| 53225 | * | * | * | * | * | * | F | T |
| 53226 | * | * | * | * | * | * | F | T |
| 53227 | * | * | * | * | * | * | F | T |
| 53228 | * | * | * | * | * | * | F | T |
| 53229 | * | * | * | * | * | * | F | T |
| 53230 | * | * | * | * | * | * | F | T |
| 53231 | * | * | * | * | * | * | F | T |
| 53232 | * | * | * | * | * | * | F | T |
| 53233 | * | * | * | * | * | * | F | T |
| 53234 | * | * | * | * | * | * | F | T |
| 53235 | * | * | * | * | * | * | F | T |
| 53236 | F | T | F | T | F | T | F | T |
| 53237 | F | T | F | F | * | T | F | T |
| 53238 | F | T | F | T | F | T | F | T |
| 53239 | F | T | F | T | F | F | F | T |
| 53240 | F | T | F | T | F | T | F | T |
| 53241 | F | T | F | F | * | T | F | T |
| 53242 | F | T | F | T | F | T | F | T |
| 53243 | F | T | F | T | F | F | F | T |
| 53244 | * | * | * | * | * | * | F | T |
| 62965 | * | * | * | * | * | * | F | T |
| 62966 | * | * | * | * | * | * | F | T |
| 62967 | * | * | * | * | * | * | F | T |
| 62968 | * | * | * | * | * | * | F | T |
| 62969 | * | * | * | * | * | * | F | T |
| 62970 | * | * | * | * | * | * | F | T |
| 62971 | * | * | * | * | * | * | F | T |
| 62972 | * | * | * | * | * | * | F | T |
| 62973 | * | * | * | * | * | * | F | T |
| 62974 | * | * | * | * | * | * | F | T |
| 62975 | * | * | * | * | * | * | F | T |
| 62976 | * | * | * | * | * | * | F | T |
| 62977 | * | * | * | * | * | * | F | T |
| 62978 | * | * | * | * | * | * | F | T |
| 62979 | * | * | * | * | * | * | F | T |
| 62980 | * | * | * | * | * | * | F | T |
| 62981 | * | * | * | * | * | * | F | T |
| 62982 | * | * | * | * | * | * | F | T |
| 62983 | * | * | * | * | * | * | F | T |
| 62984 | * | * | * | * | * | * | F | T |
| 62985 | * | * | * | * | * | * | F | T |
| 62986 | * | * | * | * | * | * | F | T |
| 62987 | * | * | * | * | * | * | F | T |
| 62988 | * | * | * | * | * | * | F | T |
| 62989 | * | * | * | * | * | * | F | T |
| 62990 | * | * | * | * | * | * | F | T |
| 62991 | * | * | * | * | * | * | F | T |
| 62992 | * | * | * | * | * | * | F | T |
| 62993 | * | * | * | * | * | * | F | T |
| 62994 | * | * | * | * | * | * | F | T |
| 62995 | * | * | * | * | * | * | F | T |
| 62996 | * | * | * | * | * | * | F | T |
| 62997 | * | * | * | * | * | * | F | T |
| 62998 | * | * | * | * | * | * | F | T |
| 62999 | * | * | * | * | * | * | F | T |
| 63000 | * | * | * | * | * | * | F | T |
| 63001 | * | * | * | * | * | * | F | T |
| 63002 | * | * | * | * | * | * | F | T |
| 63003 | * | * | * | * | * | * | F | T |
| 63004 | * | * | * | * | * | * | F | T |
| 63005 | * | * | * | * | * | * | F | T |
| 63006 | * | * | * | * | * | * | F | T |
| 63007 | * | * | * | * | * | * | F | T |
| 63008 | F | T | F | T | F | T | F | T |
| 63009 | F | T | F | F | * | T | F | T |
| 63010 | F | T | F | T | F | T | F | T |
| 63011 | F | T | F | T | F | F | F | T |
| 63012 | F | T | F | T | F | T | F | T |
| 63013 | F | T | F | F | * | T | F | T |
| 63014 | F | T | F | T | F | T | F | T |
| 63015 | F | T | F | T | F | F | F | T |
| 63016 | * | * | * | * | * | * | F | T |
| 72639 | * | * | * | * | * | * | F | T |
| 72640 | * | * | * | * | * | * | F | T |
| 72641 | * | * | * | * | * | * | F | T |
| 72642 | * | * | * | * | * | * | F | T |
| 72643 | * | * | * | * | * | * | F | T |
| 72644 | * | * | * | * | * | * | F | T |
| 72645 | * | * | * | * | * | * | F | T |
| 72646 | * | * | * | * | * | * | F | T |
| 72647 | * | * | * | * | * | * | F | T |
| 72648 | * | * | * | * | * | * | F | T |
| 72649 | * | * | * | * | * | * | F | T |
| 72650 | * | * | * | * | * | * | F | T |
| 72651 | * | * | * | * | * | * | F | T |
| 72652 | * | * | * | * | * | * | F | T |
| 72653 | * | * | * | * | * | * | F | T |
| 72654 | * | * | * | * | * | * | F | T |
| 72655 | * | * | * | * | * | * | F | T |
| 72656 | * | * | * | * | * | * | F | T |
| 72657 | * | * | * | * | * | * | F | T |
| 72658 | * | * | * | * | * | * | F | T |
| 72659 | * | * | * | * | * | * | F | T |
| 72660 | * | * | * | * | * | * | F | T |
| 72661 | * | * | * | * | * | * | F | T |
| 72662 | * | * | F | T | F | F | F | T |
| 72663 | * | * | F | T | F | T | F | T |
| 72664 | * | * | F | T | F | T | F | T |
| 72665 | * | * | F | T | F | T | F | T |
| 72666 | * | * | F | T | F | F | F | T |
| 72667 | * | * | F | T | F | T | F | T |
| 72668 | * | * | F | T | F | T | F | T |
| 72669 | * | * | F | T | F | T | F | T |
| 72670 | * | * | F | T | F | F | F | T |
| 72671 | * | * | F | T | F | T | F | T |
| 72672 | * | * | F | T | F | T | F | T |
| 72673 | * | * | F | T | F | T | F | T |
| 72674 | * | * | F | T | F | F | F | T |
| 72675 | * | * | F | T | F | T | F | T |
| 72676 | * | * | F | T | F | T | F | T |
| 72677 | * | * | F | T | F | T | F | T |
| 72678 | * | * | F | T | F | F | F | T |
| 72679 | * | * | F | T | F | T | F | T |
| 72680 | * | * | F | T | F | T | F | T |
| 72681 | * | * | F | T | F | T | F | T |
| 72682 | * | * | F | T | F | F | F | T |
| 72683 | * | * | F | T | F | T | F | T |
| 72684 | * | * | F | T | F | T | F | T |
| 72685 | * | * | F | T | F | T | F | T |
| 72686 | * | * | * | * | * | * | F | T |
| 76114 | * | * | * | * | * | * | F | T |
| 76115 | * | * | * | * | * | * | F | T |
| 76116 | * | * | * | * | * | * | F | T |
| 76117 | * | * | * | * | * | * | F | T |
| 76118 | * | * | * | * | * | * | F | T |
| 76119 | * | * | * | * | * | * | F | T |
| 76120 | * | * | * | * | * | * | F | T |
| 76121 | * | * | * | * | * | * | F | T |
| 76122 | * | * | * | * | * | * | F | T |
| 76123 | * | * | * | * | * | * | F | T |
| 76124 | * | * | * | * | * | * | F | T |
| 76125 | * | * | * | * | * | * | F | T |
| 76126 | * | * | * | * | * | * | F | T |
| 76127 | * | * | * | * | * | * | F | T |
| 76128 | * | * | * | * | * | * | F | T |
| 76129 | * | * | * | * | * | * | F | T |
| 76130 | * | * | * | * | * | * | F | T |
| 76131 | * | * | * | * | * | * | F | T |
| 76132 | * | * | * | * | * | * | F | T |
| 76133 | * | * | * | * | * | * | F | T |
| 76134 | * | * | * | * | * | * | F | T |
| 76135 | * | * | * | * | * | * | F | T |
| 76136 | * | * | * | * | * | * | F | T |
| 76137 | * | * | F | T | F | F | F | T |
| 76138 | * | * | F | T | F | T | F | T |
| 76139 | * | * | F | T | F | T | F | T |
| 76140 | * | * | F | T | F | T | F | T |
| 76141 | * | * | F | T | F | F | F | T |
| 76142 | * | * | F | T | F | T | F | T |
| 76143 | * | * | F | T | F | T | F | T |
| 76144 | * | * | F | T | F | T | F | T |
| 76145 | * | * | F | T | F | F | F | T |
| 76146 | * | * | F | T | F | T | F | T |
| 76147 | * | * | F | T | F | T | F | T |
| 76148 | * | * | F | T | F | T | F | T |
| 76149 | * | * | F | T | F | F | F | T |
| 76150 | * | * | F | T | F | T | F | T |
| 76151 | * | * | F | T | F | T | F | T |
| 76152 | * | * | F | T | F | T | F | T |
| 76153 | * | * | F | T | F | F | F | T |
| 76154 | * | * | F | T | F | T | F | T |
| 76155 | * | * | F | T | F | T | F | T |
| 76156 | * | * | F | T | F | T | F | T |
| 76157 | * | * | F | T | F | F | F | T |
| 76158 | * | * | F | T | F | T | F | T |
| 76159 | * | * | F | T | F | T | F | T |
| 76160 | * | * | F | T | F | T | F | T |
| 76161 | * | * | * | * | * | * | F | T |
| 79203 | * | * | * | * | * | * | F | T |
| 79204 | * | * | * | * | * | * | F | T |
| 79205 | * | * | * | * | * | * | F | T |
| 79206 | * | * | * | * | * | * | F | T |
| 79207 | * | * | * | * | * | * | F | T |
| 79208 | * | * | F | F | * | F | F | T |
| 79209 | * | * | F | F | * | T | F | T |
| 79210 | * | * | * | * | * | * | F | T |
| 79211 | * | * | * | * | * | * | F | T |
| 79212 | * | * | * | * | * | * | F | T |
| 79213 | * | * | * | * | * | * | F | T |
| 79214 | * | * | * | * | * | * | F | T |
| 80760 | * | * | * | * | * | * | F | T |
| 80761 | * | * | * | * | * | * | F | T |
| 80762 | * | * | * | * | * | * | F | T |
| 80763 | * | * | * | * | * | * | F | T |
| 80764 | * | * | F | T | F | F | F | T |
| 80765 | * | * | F | T | F | T | F | T |
| 80766 | * | * | F | T | F | T | F | T |
| 80767 | * | * | F | T | F | T | F | T |
| 80768 | * | * | F | T | F | F | F | T |
| 80769 | * | * | * | * | * | * | F | T |
| 81947 | * | * | * | * | * | * | F | T |
| 81948 | * | * | * | * | * | * | F | T |
| 81949 | * | * | * | * | * | * | F | T |
| 81950 | * | * | * | * | * | * | F | T |
| 81951 | * | * | F | T | F | F | F | T |
| 81952 | * | * | F | T | F | T | F | T |
| 81953 | * | * | F | T | F | T | F | T |
| 81954 | * | * | F | T | F | T | F | T |
| 81955 | * | * | F | T | F | F | F | T |
| 81956 | * | * | * | * | * | * | F | T |
| 83009 | * | * | * | * | * | * | F | T |
| 83010 | * | * | * | * | * | * | F | T |
| 83011 | * | * | * | * | * | * | F | T |
| 83012 | * | * | * | * | * | * | F | T |
| 83013 | * | * | F | T | F | F | F | T |
| 83014 | * | * | F | T | F | T | F | T |
| 83015 | * | * | F | T | F | T | F | T |
| 83016 | * | * | F | T | F | T | F | T |
| 83017 | * | * | F | T | F | F | F | T |
| 83018 | * | * | * | * | * | * | F | T |
| 84172 | * | * | * | * | * | * | F | T |
| 84173 | * | * | * | * | * | * | F | T |
| 84174 | * | * | * | * | * | * | F | T |
| 84175 | * | * | * | * | * | * | F | T |
| 84176 | * | * | * | * | * | * | F | T |
| 84177 | * | * | * | * | * | * | F | T |
| 84178 | * | * | * | * | * | * | F | T |
| 84179 | * | * | * | * | * | * | F | T |
| 84180 | * | * | * | * | * | * | F | T |
| 84181 | * | * | * | * | * | * | F | T |
| 84182 | * | * | * | * | * | * | F | T |
| 84183 | * | * | * | * | * | * | F | T |
| 84184 | * | * | * | * | * | * | F | T |
| 84185 | * | * | * | * | * | * | F | T |
| 84186 | * | * | * | * | * | * | F | T |
| 84187 | * | * | * | * | * | * | F | T |
| 84188 | * | * | * | * | * | * | F | T |
| 84189 | * | * | * | * | * | * | F | T |
| 84190 | * | * | * | * | * | * | F | T |
| 84191 | * | * | * | * | * | * | F | T |
| 85572 | * | * | * | * | * | * | F | T |
| 85573 | * | * | * | * | * | * | F | T |
| 85574 | * | * | * | * | * | * | F | T |
| 85575 | * | * | * | * | * | * | F | T |
| 85576 | * | * | * | * | * | * | F | T |
| 85577 | * | * | * | * | * | * | F | T |
| 85578 | * | * | * | * | * | * | F | T |
| 85579 | * | * | * | * | * | * | F | T |
| 85580 | * | * | * | * | * | * | F | T |
| 85581 | * | * | * | * | * | * | F | T |
| 85582 | * | * | * | * | * | * | F | T |
| 85583 | * | * | * | * | * | * | F | T |
| 85584 | * | * | * | * | * | * | F | T |
| 85585 | * | * | * | * | * | * | F | T |
| 85586 | * | * | * | * | * | * | F | T |
| 85587 | * | * | * | * | * | * | F | T |
| 85588 | * | * | * | * | * | * | F | T |
| 85589 | * | * | * | * | * | * | F | T |
| 85590 | * | * | * | * | * | * | F | T |
| 85591 | * | * | * | * | * | * | F | T |
| 85592 | * | * | * | * | * | * | F | T |
| 85593 | * | * | * | * | * | * | F | T |
| 85594 | * | * | * | * | * | * | F | T |
| 85595 | * | * | * | * | * | * | F | T |
| 85596 | * | * | * | * | * | * | F | T |
| 85597 | * | * | * | * | * | * | F | T |
| 85598 | * | * | * | * | * | * | F | T |
| 85599 | * | * | * | * | * | * | F | T |
| 85600 | * | * | * | * | * | * | F | T |
| 85601 | * | * | * | * | * | * | F | T |
| 85602 | * | * | * | * | * | * | F | T |
| 85603 | * | * | * | * | * | * | F | T |
| 85604 | * | * | * | * | * | * | F | T |
| 85605 | * | * | * | * | * | * | F | T |
| 85606 | * | * | * | * | * | * | F | T |
| 85607 | * | * | * | * | * | * | F | T |
| 85608 | * | * | * | * | * | * | F | T |
| 85609 | * | * | * | * | * | * | F | T |
| 85610 | * | * | * | * | * | * | F | T |
| 85611 | * | * | * | * | * | * | F | T |
| 85612 | * | * | * | * | * | * | F | T |
| 85613 | * | * | * | * | * | * | F | T |
| 85614 | * | * | * | * | * | * | F | T |
| 85615 | * | * | * | * | * | * | F | T |
| 85616 | * | * | * | * | * | * | F | T |
| 85617 | * | * | * | * | * | * | F | T |
| 85618 | * | * | * | * | * | * | F | T |
| 85619 | * | * | * | * | * | * | F | T |
| 85620 | * | * | * | * | * | * | F | T |
| 85621 | * | * | * | * | * | * | F | T |
| 85622 | * | * | * | * | * | * | F | T |
| 85623 | * | * | * | * | * | * | F | T |
| 85624 | * | * | * | * | * | * | F | T |
| 85625 | * | * | * | * | * | * | F | T |
| 85626 | * | * | * | * | * | * | F | T |
| 85627 | * | * | * | * | * | * | F | T |
| 85628 | * | * | * | * | * | * | F | T |
| 85629 | * | * | * | * | * | * | F | T |
| 85630 | * | * | * | * | * | * | F | T |
| 85631 | * | * | * | * | * | * | F | T |
| 87565 | * | * | * | * | * | * | F | T |
| 87566 | * | * | * | * | * | * | F | T |
| 87567 | * | * | * | * | * | * | F | T |
| 87568 | * | * | * | * | * | * | F | T |
| 87569 | * | * | * | * | * | * | F | T |
| 87570 | * | * | * | * | * | * | F | T |
| 87571 | * | * | * | * | * | * | F | T |
| 87572 | * | * | * | * | * | * | F | T |
| 87573 | * | * | * | * | * | * | F | T |
| 87574 | * | * | * | * | * | * | F | T |
| 87575 | * | * | * | * | * | * | F | T |
| 87576 | * | * | * | * | * | * | F | T |
| 88869 | * | * | * | * | * | * | F | T |
| 88870 | * | * | * | * | * | * | F | T |
| 88871 | * | * | * | * | * | * | F | T |
| 88872 | * | * | * | * | * | * | F | T |
| 88873 | * | * | * | * | * | * | F | T |
| 88874 | * | * | * | * | * | * | F | T |
| 88875 | * | * | * | * | * | * | F | T |
| 88876 | * | * | * | * | * | * | F | T |
| 88877 | * | * | * | * | * | * | F | T |
| 88878 | * | * | * | * | * | * | F | T |
| 88879 | * | * | * | * | * | * | F | T |
| 88880 | * | * | * | * | * | * | F | T |
| 88881 | * | * | * | * | * | * | F | T |
| 88882 | * | * | * | * | * | * | F | T |
| 88883 | * | * | * | * | * | * | F | T |
| 88884 | * | * | * | * | * | * | F | T |
| 88885 | * | * | * | * | * | * | F | T |
| 88886 | * | * | * | * | * | * | F | T |
| 88887 | * | * | * | * | * | * | F | T |
| 88888 | * | * | * | * | * | * | F | T |
| 88889 | * | * | * | * | * | * | F | T |
| 88890 | * | * | * | * | * | * | F | T |
| 88891 | * | * | * | * | * | * | F | T |
| 88892 | * | * | * | * | * | * | F | T |
| 88893 | * | * | * | * | * | * | F | T |
| 88894 | * | * | * | * | * | * | F | T |
| 88895 | * | * | * | * | * | * | F | T |
| 88896 | * | * | * | * | * | * | F | T |
| 88897 | * | * | * | * | * | * | F | T |
| 88898 | * | * | * | * | * | * | F | T |
| 88899 | * | * | * | * | * | * | F | T |
| 88900 | * | * | * | * | * | * | F | T |
| 88901 | * | * | * | * | * | * | F | T |
| 88902 | * | * | * | * | * | * | F | T |
| 88903 | * | * | * | * | * | * | F | T |
| 88904 | * | * | * | * | * | * | F | T |
| 88905 | * | * | * | * | * | * | F | T |
| 88906 | * | * | * | * | * | * | F | T |
| 88907 | * | * | * | * | * | * | F | T |
| 88908 | * | * | * | * | * | * | F | T |
| 88909 | * | * | * | * | * | * | F | T |
| 88910 | * | * | * | * | * | * | F | T |
| 88911 | * | * | * | * | * | * | F | T |
| 88912 | * | * | * | * | * | * | F | T |
| 88913 | * | * | * | * | * | * | F | T |
| 88914 | * | * | * | * | * | * | F | T |
| 88915 | * | * | * | * | * | * | F | T |
| 88916 | * | * | * | * | * | * | F | T |
| 88917 | * | * | * | * | * | * | F | T |
| 88918 | * | * | * | * | * | * | F | T |
| 88919 | * | * | * | * | * | * | F | T |
| 88920 | * | * | * | * | * | * | F | T |
| 88921 | * | * | * | * | * | * | F | T |
| 88922 | * | * | * | * | * | * | F | T |
| 88923 | * | * | * | * | * | * | F | T |
| 88924 | * | * | * | * | * | * | F | T |
| 88925 | * | * | * | * | * | * | F | T |
| 88926 | * | * | * | * | * | * | F | T |
| 88927 | * | * | * | * | * | * | F | T |
| 88928 | * | * | * | * | * | * | F | T |
| 88929 | * | * | * | * | * | * | F | T |
| 88930 | * | * | * | * | * | * | F | T |
| 88931 | * | * | * | * | * | * | F | T |
| 88932 | * | * | * | * | * | * | F | T |
| 88933 | * | * | * | * | * | * | F | T |
| 88934 | * | * | * | * | * | * | F | T |
| 88935 | * | * | * | * | * | * | F | T |
| 88936 | * | * | * | * | * | * | F | T |
| 90796 | * | * | * | * | * | * | F | T |
| 90797 | * | * | * | * | * | * | F | T |
| 90798 | * | * | * | * | * | * | F | T |
| 90799 | * | * | * | * | * | * | F | T |
| 90800 | * | * | * | * | * | * | F | T |
| 90801 | * | * | * | * | * | * | F | T |
| 90802 | * | * | * | * | * | * | F | T |
| 90803 | * | * | * | * | * | * | F | T |
| 90804 | * | * | * | * | * | * | F | T |
| 90805 | * | * | * | * | * | * | F | T |
| 90806 | * | * | * | * | * | * | F | T |
| 90807 | * | * | * | * | * | * | F | T |
| 90808 | * | * | * | * | * | * | F | T |
| 90809 | * | * | * | * | * | * | F | T |
| 90810 | * | * | * | * | * | * | F | T |
| 90811 | * | * | * | * | * | * | F | T |
| 90812 | * | * | * | * | * | * | F | T |
| 90813 | * | * | * | * | * | * | F | T |
| 90814 | * | * | * | * | * | * | F | T |
| 90815 | * | * | * | * | * | * | F | T |
| 92869 | * | * | * | * | * | * | F | T |
| 92870 | * | * | * | * | * | * | F | T |
| 92871 | * | * | * | * | * | * | F | T |
| 92872 | * | * | * | * | * | * | F | T |
| 92873 | * | * | * | * | * | * | F | T |
| 92874 | * | * | * | * | * | * | F | T |
| 92875 | * | * | * | * | * | * | F | T |
| 92876 | * | * | * | * | * | * | F | T |
| 92877 | * | * | * | * | * | * | F | T |
| 92878 | * | * | * | * | * | * | F | T |
| 92879 | * | * | * | * | * | * | F | T |
| 92880 | * | * | * | * | * | * | F | T |
| 92881 | * | * | * | * | * | * | F | T |
| 92882 | * | * | * | * | * | * | F | T |
| 92883 | * | * | * | * | * | * | F | T |
| 92884 | * | * | * | * | * | * | F | T |
| 92885 | * | * | * | * | * | * | F | T |
| 92886 | * | * | * | * | * | * | F | T |
| 92887 | * | * | * | * | * | * | F | T |
| 92888 | * | * | * | * | * | * | F | T |
| 92889 | * | * | * | * | * | * | F | T |
| 92890 | * | * | * | * | * | * | F | T |
| 92891 | * | * | * | * | * | * | F | T |
| 92892 | * | * | * | * | * | * | F | T |
| 92893 | * | * | * | * | * | * | F | T |
| 92894 | * | * | * | * | * | * | F | T |
| 92895 | * | * | * | * | * | * | F | T |
| 92896 | * | * | * | * | * | * | F | T |
| 92897 | * | * | * | * | * | * | F | T |
| 92898 | * | * | * | * | * | * | F | T |
| 92899 | * | * | * | * | * | * | F | T |
| 92900 | * | * | * | * | * | * | F | T |
| 92901 | * | * | * | * | * | * | F | T |
| 92902 | * | * | * | * | * | * | F | T |
| 92903 | * | * | * | * | * | * | F | T |
| 92904 | * | * | * | * | * | * | F | T |
| 92905 | * | * | * | * | * | * | F | T |
| 92906 | * | * | * | * | * | * | F | T |
| 92907 | * | * | * | * | * | * | F | T |
| 92908 | F | T | F | T | F | F | F | T |
| 92909 | F | T | F | F | * | T | F | T |
| 92910 | * | * | * | * | * | * | F | T |
| 92911 | * | * | * | * | * | * | F | T |
| 92912 | * | * | * | * | * | * | F | T |
| 92913 | * | * | * | * | * | * | F | T |
| 92914 | * | * | * | * | * | * | F | T |
| 92915 | * | * | * | * | * | * | F | T |
| 92916 | * | * | * | * | * | * | F | T |
| 92917 | * | * | * | * | * | * | F | T |
| 92918 | * | * | * | * | * | * | F | T |
| 92919 | * | * | * | * | * | * | F | T |
| 92920 | * | * | * | * | * | * | F | T |
| 92921 | * | * | * | * | * | * | F | T |
| 92922 | * | * | * | * | * | * | F | T |
| 92923 | * | * | * | * | * | * | F | T |
| 92924 | * | * | * | * | * | * | F | T |
| 92925 | * | * | * | * | * | * | F | T |
| 92926 | * | * | * | * | * | * | F | T |
| 92927 | * | * | * | * | * | * | F | T |
| 92928 | * | * | * | * | * | * | F | T |
| 92929 | * | * | * | * | * | * | F | T |
| 92930 | * | * | * | * | * | * | F | T |
| 92931 | * | * | * | * | * | * | F | T |
| 92932 | * | * | * | * | * | * | F | T |
| 92933 | * | * | * | * | * | * | F | T |
| 92934 | * | * | * | * | * | * | F | T |
| 92935 | * | * | * | * | * | * | F | T |
| 92936 | * | * | * | * | * | * | F | T |
| 92937 | * | * | * | * | * | * | F | T |
| 92938 | * | * | * | * | * | * | F | T |
| 92939 | * | * | * | * | * | * | F | T |
| 92940 | * | * | * | * | * | * | F | T |
| 92941 | * | * | * | * | * | * | F | T |
| 92942 | F | T | F | T | F | T | F | T |
| 92943 | F | T | F | T | F | F | F | T |
| 92944 | F | T | F | T | F | T | F | T |
| 92945 | F | T | F | F | * | T | F | T |
| 92946 | F | T | F | T | F | T | F | T |
| 92947 | F | T | F | T | F | F | F | T |
| 92948 | * | * | * | * | * | * | F | T |
| 111732 | * | * | * | * | * | * | F | T |
| 111733 | * | * | * | * | * | * | F | T |
| 111734 | * | * | * | * | * | * | F | T |
| 111735 | * | * | * | * | * | * | F | T |
| 111736 | * | * | * | * | * | * | F | T |
| 111737 | * | * | * | * | * | * | F | T |
| 111738 | * | * | * | * | * | * | F | T |
| 111739 | * | * | * | * | * | * | F | T |
| 111740 | * | * | * | * | * | * | F | T |
| 111741 | * | * | * | * | * | * | F | T |
| 111742 | * | * | * | * | * | * | F | T |
| 111743 | * | * | * | * | * | * | F | T |
| 111744 | * | * | * | * | * | * | F | T |
| 111745 | * | * | * | * | * | * | F | T |
| 111746 | * | * | * | * | * | * | F | T |
| 111747 | * | * | * | * | * | * | F | T |
| 111748 | * | * | * | * | * | * | F | T |
| 111749 | * | * | * | * | * | * | F | T |
| 111750 | * | * | * | * | * | * | F | T |
| 111751 | * | * | * | * | * | * | F | T |
| 111752 | * | * | * | * | * | * | F | T |
| 111753 | * | * | * | * | * | * | F | T |
| 111754 | * | * | * | * | * | * | F | T |
| 111755 | * | * | * | * | * | * | F | T |
| 111756 | * | * | * | * | * | * | F | T |
| 111757 | * | * | * | * | * | * | F | T |
| 111758 | * | * | * | * | * | * | F | T |
| 111759 | * | * | * | * | * | * | F | T |
| 111760 | * | * | * | * | * | * | F | T |
| 111761 | * | * | * | * | * | * | F | T |
| 111762 | * | * | * | * | * | * | F | T |
| 111763 | * | * | * | * | * | * | F | T |
| 111764 | * | * | * | * | * | * | F | T |
| 111765 | * | * | * | * | * | * | F | T |
| 111766 | * | * | * | * | * | * | F | T |
| 111767 | * | * | * | * | * | * | F | T |
| 111768 | * | * | * | * | * | * | F | T |
| 111769 | * | * | * | * | * | * | F | T |
| 111770 | * | * | * | * | * | * | F | T |
| 111771 | F | T | F | T | F | F | F | T |
| 111772 | F | T | F | F | * | T | F | T |
| 111773 | * | * | * | * | * | * | F | T |
| 111774 | * | * | * | * | * | * | F | T |
| 111775 | * | * | * | * | * | * | F | T |
| 111776 | * | * | * | * | * | * | F | T |
| 111777 | * | * | * | * | * | * | F | T |
| 111778 | * | * | * | * | * | * | F | T |
| 111779 | * | * | * | * | * | * | F | T |
| 111780 | * | * | * | * | * | * | F | T |
| 111781 | * | * | * | * | * | * | F | T |
| 111782 | * | * | * | * | * | * | F | T |
| 111783 | * | * | * | * | * | * | F | T |
| 111784 | * | * | * | * | * | * | F | T |
| 111785 | * | * | * | * | * | * | F | T |
| 111786 | * | * | * | * | * | * | F | T |
| 111787 | * | * | * | * | * | * | F | T |
| 111788 | * | * | * | * | * | * | F | T |
| 111789 | * | * | * | * | * | * | F | T |
| 111790 | * | * | * | * | * | * | F | T |
| 111791 | * | * | * | * | * | * | F | T |
| 111792 | * | * | * | * | * | * | F | T |
| 111793 | * | * | * | * | * | * | F | T |
| 111794 | * | * | * | * | * | * | F | T |
| 111795 | * | * | * | * | * | * | F | T |
| 111796 | * | * | * | * | * | * | F | T |
| 111797 | * | * | * | * | * | * | F | T |
| 111798 | * | * | * | * | * | * | F | T |
| 111799 | * | * | * | * | * | * | F | T |
| 111800 | * | * | * | * | * | * | F | T |
| 111801 | * | * | * | * | * | * | F | T |
| 111802 | * | * | * | * | * | * | F | T |
| 111803 | * | * | * | * | * | * | F | T |
| 111804 | * | * | * | * | * | * | F | T |
| 111805 | F | T | F | T | F | T | F | T |
| 111806 | F | T | F | T | F | F | F | T |
| 111807 | F | T | F | T | F | T | F | T |
| 111808 | F | T | F | F | * | T | F | T |
| 111809 | F | T | F | T | F | T | F | T |
| 111810 | F | T | F | T | F | F | F | T |
| 111811 | * | * | * | * | * | * | F | T |
| 129996 | * | * | * | * | * | * | F | T |
| 129997 | * | * | * | * | * | * | F | T |
| 129998 | * | * | * | * | * | * | F | T |
| 129999 | * | * | F | T | F | F | F | T |
| 130000 | * | * | F | T | F | T | F | T |
| 130001 | * | * | F | T | F | T | F | T |
| 130002 | * | * | F | T | F | T | F | T |
| 130003 | * | * | * | * | * | * | F | T |
| 131155 | * | * | * | * | * | * | F | T |
| 131156 | * | * | * | * | * | * | F | T |
| 131157 | * | * | * | * | * | * | F | T |
| 131158 | * | * | F | T | F | F | F | T |
| 131159 | * | * | F | T | F | T | F | T |
| 131160 | * | * | F | T | F | T | F | T |
| 131161 | * | * | F | T | F | T | F | T |
| 131162 | * | * | * | * | * | * | F | T |
| 132482 | * | * | * | * | * | * | F | T |
| 132483 | * | * | * | * | * | * | F | T |
| 132484 | * | * | * | * | * | * | F | T |
| 132485 | * | * | F | T | F | F | F | T |
| 132486 | * | * | F | T | F | T | F | T |
| 132487 | * | * | F | T | F | T | F | T |
| 132488 | * | * | F | T | F | T | F | T |
| 132489 | * | * | * | * | * | * | F | T |
Independent-effect pairs
All 7 conditions live in scry_analyze_core::Interp::seq — 7 br_if
c0(branch1047): GAP view gap →c1(branch1048): GAP view gap →c2(branch1049): GAP view gap →c3(branch1050): GAP view gap →c4(branch1051): GAP view gap →c5(branch1052): GAP view gap →c6(branch1053): GAP view gap →