Decision #112 — lib.rs:4053
Status: partial
Truth table
| row | c0 br 1018 | c1 br 1019 | outcome |
|---|---|---|---|
| 327 | T | F | F |
| 328 | T | F | F |
| 329 | T | F | F |
| 330 | T | F | F |
| 331 | T | F | F |
| 332 | T | F | F |
| 333 | T | F | F |
| 334 | T | F | F |
| 335 | T | F | F |
| 336 | T | F | F |
| 337 | T | F | F |
| 338 | T | F | F |
| 339 | T | F | F |
| 340 | T | F | F |
| 341 | T | F | F |
| 342 | T | F | F |
| 343 | T | F | F |
| 344 | T | F | F |
| 345 | T | F | F |
| 346 | T | F | F |
| 347 | T | F | F |
| 348 | T | F | F |
| 349 | T | F | F |
| 350 | T | F | F |
| 3367 | T | F | F |
| 3368 | T | F | F |
| 3369 | T | F | F |
| 3370 | T | F | F |
| 3371 | T | F | F |
| 3372 | T | F | F |
| 3373 | T | F | F |
| 3374 | T | F | F |
| 3375 | T | F | F |
| 3376 | T | F | F |
| 3377 | T | F | F |
| 3378 | T | F | F |
| 3379 | T | F | F |
| 3380 | T | F | F |
| 3381 | T | F | F |
| 3382 | T | F | F |
| 3383 | T | F | F |
| 3384 | T | F | F |
| 3385 | T | F | F |
| 3386 | T | F | F |
| 3387 | T | F | F |
| 3388 | T | F | F |
| 3389 | T | F | F |
| 3390 | T | F | F |
| 6262 | T | F | F |
| 6263 | T | F | F |
| 6264 | T | F | F |
| 6265 | T | F | F |
| 6266 | T | F | F |
| 6267 | T | F | F |
| 6268 | T | F | F |
| 6269 | T | F | F |
| 6270 | T | F | F |
| 6271 | T | F | F |
| 6272 | T | F | F |
| 6273 | T | F | F |
| 6274 | T | F | F |
| 6275 | T | F | F |
| 6276 | T | F | F |
| 6277 | T | F | F |
| 6278 | T | F | F |
| 6279 | T | F | F |
| 6280 | T | F | F |
| 6281 | T | F | F |
| 6282 | T | F | F |
| 6283 | T | F | F |
| 6284 | T | F | F |
| 6285 | T | F | F |
| 9521 | T | F | F |
| 9522 | T | F | F |
| 9523 | T | F | F |
| 9524 | T | F | F |
| 9525 | T | F | F |
| 9526 | T | F | F |
| 9527 | T | F | F |
| 9528 | T | F | F |
| 9529 | T | F | F |
| 9530 | T | F | F |
| 9531 | T | F | F |
| 9532 | T | F | F |
| 10669 | T | F | F |
| 10670 | T | F | F |
| 10671 | T | F | F |
| 10672 | T | F | F |
| 10673 | T | F | F |
| 10674 | T | F | F |
| 10675 | T | F | F |
| 10676 | T | F | F |
| 10677 | T | F | F |
| 10678 | T | F | F |
| 10679 | T | F | F |
| 10680 | T | F | F |
| 11760 | T | F | F |
| 11761 | T | F | F |
| 11762 | T | F | F |
| 11763 | T | F | F |
| 11764 | T | F | F |
| 11765 | T | F | F |
| 11766 | T | F | F |
| 11767 | T | F | F |
| 11768 | T | F | F |
| 11769 | T | F | F |
| 11770 | T | F | F |
| 11771 | T | F | F |
| 13255 | T | F | F |
| 13256 | T | F | F |
| 13257 | T | F | F |
| 13258 | T | F | F |
| 13259 | T | F | F |
| 13260 | T | F | F |
| 13261 | T | F | F |
| 13262 | T | F | F |
| 13263 | T | F | F |
| 13264 | T | F | F |
| 13265 | T | F | F |
| 13266 | T | F | F |
| 13267 | T | F | F |
| 13268 | T | F | F |
| 13269 | T | F | F |
| 13270 | T | F | F |
| 13271 | T | F | F |
| 13272 | T | F | F |
| 13273 | T | F | F |
| 13274 | T | F | F |
| 13275 | T | F | F |
| 13276 | T | F | F |
| 13277 | T | F | F |
| 13278 | T | F | F |
| 13279 | T | F | F |
| 13280 | T | F | F |
| 13281 | T | F | F |
| 13282 | T | F | F |
| 13283 | T | F | F |
| 13284 | T | F | F |
| 13285 | T | F | F |
| 13286 | T | F | F |
| 20973 | T | F | F |
| 20974 | T | F | F |
| 20975 | T | F | F |
| 20976 | T | F | F |
| 20977 | T | F | F |
| 20978 | T | F | F |
| 20979 | T | F | F |
| 20980 | T | F | F |
| 20981 | T | F | F |
| 20982 | T | F | F |
| 20983 | T | F | F |
| 20984 | T | F | F |
| 20985 | T | F | F |
| 20986 | T | F | F |
| 20987 | T | F | F |
| 20988 | T | F | F |
| 20989 | T | F | F |
| 20990 | T | F | F |
| 20991 | T | F | F |
| 20992 | T | F | F |
| 20993 | T | F | F |
| 20994 | T | F | F |
| 20995 | T | F | F |
| 20996 | T | F | F |
| 20997 | T | F | F |
| 20998 | T | F | F |
| 20999 | T | F | F |
| 21000 | T | F | F |
| 21001 | T | F | F |
| 21002 | T | F | F |
| 21003 | T | F | F |
| 21004 | T | F | F |
| 28632 | T | F | F |
| 28633 | T | F | F |
| 28634 | T | F | F |
| 28635 | T | F | F |
| 28636 | T | F | F |
| 28637 | T | F | F |
| 28638 | T | F | F |
| 28639 | T | F | F |
| 28640 | T | F | F |
| 28641 | T | F | F |
| 28642 | T | F | F |
| 28643 | T | F | F |
| 28644 | T | F | F |
| 28645 | T | F | F |
| 28646 | T | F | F |
| 28647 | T | F | F |
| 28648 | T | F | F |
| 28649 | T | F | F |
| 28650 | T | F | F |
| 28651 | T | F | F |
| 28652 | T | F | F |
| 28653 | T | F | F |
| 28654 | T | F | F |
| 28655 | T | F | F |
| 28656 | T | F | F |
| 28657 | T | F | F |
| 28658 | T | F | F |
| 28659 | T | F | F |
| 28660 | T | F | F |
| 28661 | T | F | F |
| 28662 | T | F | F |
| 28663 | T | F | F |
| 28664 | T | F | F |
| 28665 | T | F | F |
| 28666 | T | F | F |
| 28667 | T | F | F |
| 28668 | T | F | F |
| 28669 | T | F | F |
| 28670 | T | F | F |
| 28671 | T | F | F |
| 28672 | T | F | F |
| 28673 | T | F | F |
| 28674 | T | F | F |
| 28675 | T | F | F |
| 28676 | T | F | F |
| 28677 | T | F | F |
| 28678 | T | F | F |
| 28679 | T | F | F |
| 28680 | T | F | F |
| 28681 | T | F | F |
| 28682 | T | F | F |
| 28683 | T | F | F |
| 28684 | T | F | F |
| 28685 | T | F | F |
| 28686 | T | F | F |
| 28687 | T | F | F |
| 28688 | T | F | F |
| 28689 | T | F | F |
| 28690 | T | F | F |
| 28691 | T | F | F |
| 28692 | T | F | F |
| 28693 | T | F | F |
| 28694 | T | F | F |
| 28695 | T | F | F |
| 28696 | T | F | F |
| 28697 | T | F | F |
| 28698 | T | F | F |
| 28699 | T | F | F |
| 34570 | T | F | F |
| 34571 | T | F | F |
| 34572 | T | F | F |
| 34573 | T | F | F |
| 34574 | T | F | F |
| 34575 | T | F | F |
| 34576 | T | F | F |
| 34577 | T | F | F |
| 34578 | T | F | F |
| 34579 | T | F | F |
| 34580 | T | F | F |
| 34581 | T | F | F |
| 34582 | T | F | F |
| 34583 | T | F | F |
| 34584 | T | F | F |
| 34585 | T | F | F |
| 34586 | T | F | F |
| 34587 | T | F | F |
| 34588 | T | F | F |
| 34589 | T | F | F |
| 34590 | T | F | F |
| 34591 | T | F | F |
| 34592 | T | F | F |
| 34593 | T | F | F |
| 34594 | T | F | F |
| 34595 | T | F | F |
| 34596 | T | F | F |
| 34597 | T | F | F |
| 34598 | T | F | F |
| 34599 | T | F | F |
| 34600 | T | F | F |
| 34601 | T | F | F |
| 34602 | T | F | F |
| 34603 | T | F | F |
| 34604 | T | F | F |
| 34605 | T | F | F |
| 34606 | T | F | F |
| 34607 | T | F | F |
| 34608 | T | F | F |
| 34609 | T | F | F |
| 34610 | T | F | F |
| 34611 | T | F | F |
| 34612 | T | F | F |
| 34613 | T | F | F |
| 34614 | T | F | F |
| 34615 | T | F | F |
| 34616 | T | F | F |
| 34617 | T | F | F |
| 34618 | T | F | F |
| 34619 | T | F | F |
| 34620 | T | F | F |
| 34621 | T | F | F |
| 34622 | T | F | F |
| 34623 | T | F | F |
| 34624 | T | F | F |
| 34625 | T | F | F |
| 34626 | T | F | F |
| 34627 | T | F | F |
| 34628 | T | F | F |
| 34629 | T | F | F |
| 34630 | T | F | F |
| 34631 | T | F | F |
| 34632 | T | F | F |
| 34633 | T | F | F |
| 34634 | T | F | F |
| 34635 | T | F | F |
| 34636 | T | F | F |
| 34637 | T | F | F |
| 40422 | T | F | F |
| 40423 | T | F | F |
| 40424 | T | F | F |
| 40425 | T | F | F |
| 40426 | T | F | F |
| 40427 | T | F | F |
| 40428 | T | F | F |
| 40429 | T | F | F |
| 40430 | T | F | F |
| 40431 | T | F | F |
| 40432 | T | F | F |
| 40433 | T | F | F |
| 40434 | T | F | F |
| 40435 | T | F | F |
| 40436 | T | F | F |
| 40437 | T | F | F |
| 40438 | T | F | F |
| 40439 | T | F | F |
| 40440 | T | F | F |
| 40441 | T | F | F |
| 40442 | T | F | F |
| 40443 | T | F | F |
| 40444 | T | F | F |
| 40445 | T | F | F |
| 40446 | T | F | F |
| 40447 | T | F | F |
| 40448 | T | F | F |
| 40449 | T | F | F |
| 40450 | T | F | F |
| 40451 | T | F | F |
| 40452 | T | F | F |
| 40453 | T | F | F |
| 40454 | T | F | F |
| 40455 | T | F | F |
| 40456 | T | F | F |
| 40457 | T | F | F |
| 43390 | T | F | F |
| 43391 | T | F | F |
| 43392 | T | F | F |
| 43393 | T | F | F |
| 43394 | T | F | F |
| 43395 | T | F | F |
| 43396 | T | F | F |
| 43397 | T | F | F |
| 43398 | T | F | F |
| 43399 | T | F | F |
| 43400 | T | F | F |
| 43401 | T | F | F |
| 43402 | T | F | F |
| 43403 | T | F | F |
| 43404 | T | F | F |
| 43405 | T | F | F |
| 43406 | T | F | F |
| 43407 | T | F | F |
| 43408 | T | F | F |
| 43409 | T | F | F |
| 43410 | T | F | F |
| 43411 | T | F | F |
| 43412 | T | F | F |
| 43413 | T | F | F |
| 43414 | T | F | F |
| 43415 | T | F | F |
| 43416 | T | F | F |
| 43417 | T | F | F |
| 43418 | T | F | F |
| 43419 | T | F | F |
| 43420 | T | F | F |
| 43421 | T | F | F |
| 43422 | T | F | F |
| 43423 | T | F | F |
| 43424 | T | F | F |
| 43425 | T | F | F |
| 46843 | T | F | F |
| 46844 | T | F | F |
| 46845 | T | F | F |
| 46846 | T | F | F |
| 46847 | T | F | F |
| 46848 | T | F | F |
| 46849 | T | F | F |
| 46850 | T | F | F |
| 46851 | T | F | F |
| 46852 | T | F | F |
| 46853 | T | F | F |
| 46854 | T | F | F |
| 46855 | T | F | F |
| 46856 | T | F | F |
| 46857 | T | F | F |
| 46858 | T | F | F |
| 46859 | T | F | F |
| 46860 | T | F | F |
| 46861 | T | F | F |
| 46862 | T | F | F |
| 46863 | T | F | F |
| 46864 | T | F | F |
| 46865 | T | F | F |
| 46866 | T | F | F |
| 46867 | T | F | F |
| 46868 | T | F | F |
| 46869 | T | F | F |
| 46870 | T | F | F |
| 46871 | T | F | F |
| 46872 | T | F | F |
| 46873 | T | F | F |
| 46874 | T | F | F |
| 46875 | T | F | F |
| 46876 | T | F | F |
| 46877 | T | F | F |
| 46878 | T | F | F |
| 49962 | T | F | F |
| 49963 | T | F | F |
| 49964 | T | F | F |
| 49965 | T | F | F |
| 49966 | T | F | F |
| 49967 | T | F | F |
| 49968 | T | F | F |
| 49969 | T | F | F |
| 49970 | T | F | F |
| 49971 | T | F | F |
| 49972 | T | F | F |
| 49973 | T | F | F |
| 49974 | T | F | F |
| 49975 | T | F | F |
| 49976 | T | F | F |
| 49977 | T | F | F |
| 49978 | T | F | F |
| 49979 | T | F | F |
| 49980 | T | F | F |
| 49981 | T | F | F |
| 49982 | T | F | F |
| 49983 | T | F | F |
| 49984 | T | F | F |
| 49985 | T | F | F |
| 49986 | T | F | F |
| 49987 | T | F | F |
| 49988 | T | F | F |
| 49989 | T | F | F |
| 49990 | T | F | F |
| 49991 | T | F | F |
| 49992 | T | F | F |
| 49993 | T | F | F |
| 49994 | T | F | F |
| 49995 | T | F | F |
| 49996 | T | F | F |
| 49997 | T | F | F |
| 53081 | T | F | F |
| 53082 | T | F | F |
| 53083 | T | F | F |
| 53084 | T | F | F |
| 53085 | T | F | F |
| 53086 | T | F | F |
| 53087 | T | F | F |
| 53088 | T | F | F |
| 53089 | T | F | F |
| 53090 | T | F | F |
| 53091 | T | F | F |
| 53092 | T | F | F |
| 53093 | T | F | F |
| 53094 | T | F | F |
| 53095 | T | F | F |
| 53096 | T | F | F |
| 53097 | T | F | F |
| 53098 | T | F | F |
| 53099 | T | F | F |
| 53100 | T | F | F |
| 53101 | T | F | F |
| 53102 | T | F | F |
| 53103 | T | F | F |
| 53104 | T | F | F |
| 53105 | T | F | F |
| 53106 | T | F | F |
| 53107 | T | F | F |
| 53108 | T | F | F |
| 53109 | T | F | F |
| 53110 | T | F | F |
| 53111 | T | F | F |
| 53112 | T | F | F |
| 53113 | T | F | F |
| 53114 | T | F | F |
| 53115 | T | F | F |
| 53116 | T | F | F |
| 53117 | T | F | F |
| 53118 | T | F | F |
| 53119 | T | F | F |
| 53120 | T | F | F |
| 53121 | T | F | F |
| 53122 | T | F | F |
| 53123 | T | F | F |
| 53124 | T | F | F |
| 53125 | T | F | F |
| 53126 | T | F | F |
| 53127 | T | F | F |
| 53128 | T | F | F |
| 53129 | T | F | F |
| 53130 | T | F | F |
| 53131 | T | F | F |
| 53132 | T | F | F |
| 62853 | T | F | F |
| 62854 | T | F | F |
| 62855 | T | F | F |
| 62856 | T | F | F |
| 62857 | T | F | F |
| 62858 | T | F | F |
| 62859 | T | F | F |
| 62860 | T | F | F |
| 62861 | T | F | F |
| 62862 | T | F | F |
| 62863 | T | F | F |
| 62864 | T | F | F |
| 62865 | T | F | F |
| 62866 | T | F | F |
| 62867 | T | F | F |
| 62868 | T | F | F |
| 62869 | T | F | F |
| 62870 | T | F | F |
| 62871 | T | F | F |
| 62872 | T | F | F |
| 62873 | T | F | F |
| 62874 | T | F | F |
| 62875 | T | F | F |
| 62876 | T | F | F |
| 62877 | T | F | F |
| 62878 | T | F | F |
| 62879 | T | F | F |
| 62880 | T | F | F |
| 62881 | T | F | F |
| 62882 | T | F | F |
| 62883 | T | F | F |
| 62884 | T | F | F |
| 62885 | T | F | F |
| 62886 | T | F | F |
| 62887 | T | F | F |
| 62888 | T | F | F |
| 62889 | T | F | F |
| 62890 | T | F | F |
| 62891 | T | F | F |
| 62892 | T | F | F |
| 62893 | T | F | F |
| 62894 | T | F | F |
| 62895 | T | F | F |
| 62896 | T | F | F |
| 62897 | T | F | F |
| 62898 | T | F | F |
| 62899 | T | F | F |
| 62900 | T | F | F |
| 62901 | T | F | F |
| 62902 | T | F | F |
| 62903 | T | F | F |
| 62904 | T | F | F |
| 72543 | T | F | F |
| 72544 | T | F | F |
| 72545 | T | F | F |
| 72546 | T | F | F |
| 72547 | T | F | F |
| 72548 | T | F | F |
| 72549 | T | F | F |
| 72550 | T | F | F |
| 72551 | T | F | F |
| 72552 | T | F | F |
| 72553 | T | F | F |
| 72554 | T | F | F |
| 72555 | T | F | F |
| 72556 | T | F | F |
| 72557 | T | F | F |
| 72558 | T | F | F |
| 72559 | T | F | F |
| 72560 | T | F | F |
| 72561 | T | F | F |
| 72562 | T | F | F |
| 72563 | T | F | F |
| 72564 | T | F | F |
| 72565 | T | F | F |
| 72566 | T | F | F |
| 72567 | T | F | F |
| 72568 | T | F | F |
| 72569 | T | F | F |
| 72570 | T | F | F |
| 72571 | T | F | F |
| 72572 | T | F | F |
| 72573 | T | F | F |
| 72574 | T | F | F |
| 72575 | T | F | F |
| 72576 | T | F | F |
| 72577 | T | F | F |
| 72578 | T | F | F |
| 72579 | T | F | F |
| 72580 | T | F | F |
| 72581 | T | F | F |
| 72582 | T | F | F |
| 72583 | T | F | F |
| 72584 | T | F | F |
| 72585 | T | F | F |
| 72586 | T | F | F |
| 72587 | T | F | F |
| 72588 | T | F | F |
| 72589 | T | F | F |
| 72590 | T | F | F |
| 76018 | T | F | F |
| 76019 | T | F | F |
| 76020 | T | F | F |
| 76021 | T | F | F |
| 76022 | T | F | F |
| 76023 | T | F | F |
| 76024 | T | F | F |
| 76025 | T | F | F |
| 76026 | T | F | F |
| 76027 | T | F | F |
| 76028 | T | F | F |
| 76029 | T | F | F |
| 76030 | T | F | F |
| 76031 | T | F | F |
| 76032 | T | F | F |
| 76033 | T | F | F |
| 76034 | T | F | F |
| 76035 | T | F | F |
| 76036 | T | F | F |
| 76037 | T | F | F |
| 76038 | T | F | F |
| 76039 | T | F | F |
| 76040 | T | F | F |
| 76041 | T | F | F |
| 76042 | T | F | F |
| 76043 | T | F | F |
| 76044 | T | F | F |
| 76045 | T | F | F |
| 76046 | T | F | F |
| 76047 | T | F | F |
| 76048 | T | F | F |
| 76049 | T | F | F |
| 76050 | T | F | F |
| 76051 | T | F | F |
| 76052 | T | F | F |
| 76053 | T | F | F |
| 76054 | T | F | F |
| 76055 | T | F | F |
| 76056 | T | F | F |
| 76057 | T | F | F |
| 76058 | T | F | F |
| 76059 | T | F | F |
| 76060 | T | F | F |
| 76061 | T | F | F |
| 76062 | T | F | F |
| 76063 | T | F | F |
| 76064 | T | F | F |
| 76065 | T | F | F |
| 79187 | T | T | T |
| 79188 | T | T | T |
| 79189 | T | F | F |
| 79190 | T | F | F |
| 79191 | T | T | T |
| 79192 | T | T | T |
| 79193 | T | F | F |
| 79194 | T | F | F |
| 79195 | T | T | T |
| 79196 | T | T | T |
| 79197 | T | T | T |
| 79198 | T | T | T |
| 80740 | T | F | F |
| 80741 | T | F | F |
| 80742 | T | F | F |
| 80743 | T | F | F |
| 80744 | T | F | F |
| 80745 | T | F | F |
| 80746 | T | F | F |
| 80747 | T | F | F |
| 80748 | T | F | F |
| 80749 | T | F | F |
| 81927 | T | F | F |
| 81928 | T | F | F |
| 81929 | T | F | F |
| 81930 | T | F | F |
| 81931 | T | F | F |
| 81932 | T | F | F |
| 81933 | T | F | F |
| 81934 | T | F | F |
| 81935 | T | F | F |
| 81936 | T | F | F |
| 82989 | T | F | F |
| 82990 | T | F | F |
| 82991 | T | F | F |
| 82992 | T | F | F |
| 82993 | T | F | F |
| 82994 | T | F | F |
| 82995 | T | F | F |
| 82996 | T | F | F |
| 82997 | T | F | F |
| 82998 | T | F | F |
| 84152 | T | T | T |
| 84153 | T | T | T |
| 84154 | T | T | T |
| 84155 | T | T | T |
| 84156 | T | T | T |
| 84157 | T | T | T |
| 84158 | T | T | T |
| 84159 | T | T | T |
| 84160 | T | T | T |
| 84161 | T | T | T |
| 84162 | T | T | T |
| 84163 | T | T | T |
| 84164 | T | T | T |
| 84165 | T | T | T |
| 84166 | T | T | T |
| 84167 | T | T | T |
| 84168 | T | T | T |
| 84169 | T | T | T |
| 84170 | T | T | T |
| 84171 | T | T | T |
| 85512 | T | T | T |
| 85513 | T | T | T |
| 85514 | T | T | T |
| 85515 | T | T | T |
| 85516 | T | T | T |
| 85517 | T | T | T |
| 85518 | T | T | T |
| 85519 | T | T | T |
| 85520 | T | T | T |
| 85521 | T | T | T |
| 85522 | T | T | T |
| 85523 | T | T | T |
| 85524 | T | T | T |
| 85525 | T | T | T |
| 85526 | T | T | T |
| 85527 | T | T | T |
| 85528 | T | T | T |
| 85529 | T | T | T |
| 85530 | T | T | T |
| 85531 | T | T | T |
| 85532 | T | T | T |
| 85533 | T | T | T |
| 85534 | T | T | T |
| 85535 | T | T | T |
| 85536 | T | T | T |
| 85537 | T | T | T |
| 85538 | T | T | T |
| 85539 | T | T | T |
| 85540 | T | T | T |
| 85541 | T | T | T |
| 85542 | T | T | T |
| 85543 | T | T | T |
| 85544 | T | T | T |
| 85545 | T | T | T |
| 85546 | T | T | T |
| 85547 | T | T | T |
| 85548 | T | T | T |
| 85549 | T | T | T |
| 85550 | T | T | T |
| 85551 | T | T | T |
| 85552 | T | T | T |
| 85553 | T | T | T |
| 85554 | T | T | T |
| 85555 | T | T | T |
| 85556 | T | T | T |
| 85557 | T | T | T |
| 85558 | T | T | T |
| 85559 | T | T | T |
| 85560 | T | T | T |
| 85561 | T | T | T |
| 85562 | T | T | T |
| 85563 | T | T | T |
| 85564 | T | T | T |
| 85565 | T | T | T |
| 85566 | T | T | T |
| 85567 | T | T | T |
| 85568 | T | T | T |
| 85569 | T | T | T |
| 85570 | T | T | T |
| 85571 | T | T | T |
| 87553 | T | T | T |
| 87554 | T | T | T |
| 87555 | T | T | T |
| 87556 | T | T | T |
| 87557 | T | T | T |
| 87558 | T | T | T |
| 87559 | T | T | T |
| 87560 | T | T | T |
| 87561 | T | T | T |
| 87562 | T | T | T |
| 87563 | T | T | T |
| 87564 | T | T | T |
| 88801 | T | T | T |
| 88802 | T | T | T |
| 88803 | T | T | T |
| 88804 | T | T | T |
| 88805 | T | T | T |
| 88806 | T | T | T |
| 88807 | T | T | T |
| 88808 | T | T | T |
| 88809 | T | T | T |
| 88810 | T | T | T |
| 88811 | T | T | T |
| 88812 | T | T | T |
| 88813 | T | T | T |
| 88814 | T | T | T |
| 88815 | T | T | T |
| 88816 | T | T | T |
| 88817 | T | T | T |
| 88818 | T | T | T |
| 88819 | T | T | T |
| 88820 | T | T | T |
| 88821 | T | T | T |
| 88822 | T | T | T |
| 88823 | T | T | T |
| 88824 | T | T | T |
| 88825 | T | T | T |
| 88826 | T | T | T |
| 88827 | T | T | T |
| 88828 | T | T | T |
| 88829 | T | T | T |
| 88830 | T | T | T |
| 88831 | T | T | T |
| 88832 | T | T | T |
| 88833 | T | T | T |
| 88834 | T | T | T |
| 88835 | T | T | T |
| 88836 | T | T | T |
| 88837 | T | T | T |
| 88838 | T | T | T |
| 88839 | T | T | T |
| 88840 | T | T | T |
| 88841 | T | T | T |
| 88842 | T | T | T |
| 88843 | T | T | T |
| 88844 | T | T | T |
| 88845 | T | T | T |
| 88846 | T | T | T |
| 88847 | T | T | T |
| 88848 | T | T | T |
| 88849 | T | T | T |
| 88850 | T | T | T |
| 88851 | T | T | T |
| 88852 | T | T | T |
| 88853 | T | T | T |
| 88854 | T | T | T |
| 88855 | T | T | T |
| 88856 | T | T | T |
| 88857 | T | T | T |
| 88858 | T | T | T |
| 88859 | T | T | T |
| 88860 | T | T | T |
| 88861 | T | T | T |
| 88862 | T | T | T |
| 88863 | T | T | T |
| 88864 | T | T | T |
| 88865 | T | T | T |
| 88866 | T | T | T |
| 88867 | T | T | T |
| 88868 | T | T | T |
| 90776 | T | T | T |
| 90777 | T | T | T |
| 90778 | T | T | T |
| 90779 | T | T | T |
| 90780 | T | T | T |
| 90781 | T | T | T |
| 90782 | T | T | T |
| 90783 | T | T | T |
| 90784 | T | T | T |
| 90785 | T | T | T |
| 90786 | T | T | T |
| 90787 | T | T | T |
| 90788 | T | T | T |
| 90789 | T | T | T |
| 90790 | T | T | T |
| 90791 | T | T | T |
| 90792 | T | T | T |
| 90793 | T | T | T |
| 90794 | T | T | T |
| 90795 | T | T | T |
| 92691 | T | F | F |
| 92692 | T | F | F |
| 92693 | T | F | F |
| 92694 | T | F | F |
| 92695 | T | F | F |
| 92696 | T | F | F |
| 92697 | T | F | F |
| 92698 | T | F | F |
| 92699 | T | F | F |
| 92700 | T | F | F |
| 92701 | T | F | F |
| 92702 | T | F | F |
| 92703 | T | F | F |
| 92704 | T | F | F |
| 92705 | T | F | F |
| 92706 | T | F | F |
| 92707 | T | F | F |
| 92708 | T | F | F |
| 92709 | T | F | F |
| 92710 | T | F | F |
| 92711 | T | F | F |
| 92712 | T | F | F |
| 92713 | T | F | F |
| 92714 | T | F | F |
| 92715 | T | F | F |
| 92716 | T | F | F |
| 92717 | T | F | F |
| 92718 | T | F | F |
| 92719 | T | F | F |
| 92720 | T | F | F |
| 92721 | T | F | F |
| 92722 | T | F | F |
| 92723 | T | F | F |
| 92724 | T | F | F |
| 92725 | T | F | F |
| 92726 | T | F | F |
| 92727 | T | F | F |
| 92728 | T | F | F |
| 92729 | T | F | F |
| 92730 | T | F | F |
| 92731 | T | F | F |
| 92732 | T | F | F |
| 92733 | T | F | F |
| 92734 | T | F | F |
| 92735 | T | F | F |
| 92736 | T | F | F |
| 92737 | T | F | F |
| 92738 | T | F | F |
| 92739 | T | F | F |
| 92740 | T | F | F |
| 92741 | T | F | F |
| 92742 | T | F | F |
| 92743 | T | F | F |
| 92744 | T | F | F |
| 92745 | T | F | F |
| 92746 | T | F | F |
| 92747 | T | F | F |
| 92748 | T | F | F |
| 92749 | T | F | F |
| 92750 | T | F | F |
| 92751 | T | F | F |
| 92752 | T | F | F |
| 92753 | T | F | F |
| 92754 | T | F | F |
| 92755 | T | F | F |
| 92756 | T | F | F |
| 92757 | T | F | F |
| 92758 | T | F | F |
| 92759 | T | F | F |
| 92760 | T | F | F |
| 92761 | T | F | F |
| 92762 | T | F | F |
| 92763 | T | F | F |
| 92764 | T | F | F |
| 92765 | T | F | F |
| 92766 | T | F | F |
| 92767 | T | F | F |
| 92768 | T | F | F |
| 92769 | T | F | F |
| 92770 | T | F | F |
| 111554 | T | F | F |
| 111555 | T | F | F |
| 111556 | T | F | F |
| 111557 | T | F | F |
| 111558 | T | F | F |
| 111559 | T | F | F |
| 111560 | T | F | F |
| 111561 | T | F | F |
| 111562 | T | F | F |
| 111563 | T | F | F |
| 111564 | T | F | F |
| 111565 | T | F | F |
| 111566 | T | F | F |
| 111567 | T | F | F |
| 111568 | T | F | F |
| 111569 | T | F | F |
| 111570 | T | F | F |
| 111571 | T | F | F |
| 111572 | T | F | F |
| 111573 | T | F | F |
| 111574 | T | F | F |
| 111575 | T | F | F |
| 111576 | T | F | F |
| 111577 | T | F | F |
| 111578 | T | F | F |
| 111579 | T | F | F |
| 111580 | T | F | F |
| 111581 | T | F | F |
| 111582 | T | F | F |
| 111583 | T | F | F |
| 111584 | T | F | F |
| 111585 | T | F | F |
| 111586 | T | F | F |
| 111587 | T | F | F |
| 111588 | T | F | F |
| 111589 | T | F | F |
| 111590 | T | F | F |
| 111591 | T | F | F |
| 111592 | T | F | F |
| 111593 | T | F | F |
| 111594 | T | F | F |
| 111595 | T | F | F |
| 111596 | T | F | F |
| 111597 | T | F | F |
| 111598 | T | F | F |
| 111599 | T | F | F |
| 111600 | T | F | F |
| 111601 | T | F | F |
| 111602 | T | F | F |
| 111603 | T | F | F |
| 111604 | T | F | F |
| 111605 | T | F | F |
| 111606 | T | F | F |
| 111607 | T | F | F |
| 111608 | T | F | F |
| 111609 | T | F | F |
| 111610 | T | F | F |
| 111611 | T | F | F |
| 111612 | T | F | F |
| 111613 | T | F | F |
| 111614 | T | F | F |
| 111615 | T | F | F |
| 111616 | T | F | F |
| 111617 | T | F | F |
| 111618 | T | F | F |
| 111619 | T | F | F |
| 111620 | T | F | F |
| 111621 | T | F | F |
| 111622 | T | F | F |
| 111623 | T | F | F |
| 111624 | T | F | F |
| 111625 | T | F | F |
| 111626 | T | F | F |
| 111627 | T | F | F |
| 111628 | T | F | F |
| 111629 | T | F | F |
| 111630 | T | F | F |
| 111631 | T | F | F |
| 111632 | T | F | F |
| 111633 | T | F | F |
| 129980 | T | F | F |
| 129981 | T | F | F |
| 129982 | T | F | F |
| 129983 | T | F | F |
| 129984 | T | F | F |
| 129985 | T | F | F |
| 129986 | T | F | F |
| 129987 | T | F | F |
| 131139 | T | F | F |
| 131140 | T | F | F |
| 131141 | T | F | F |
| 131142 | T | F | F |
| 131143 | T | F | F |
| 131144 | T | F | F |
| 131145 | T | F | F |
| 131146 | T | F | F |
| 132466 | T | F | F |
| 132467 | T | F | F |
| 132468 | T | F | F |
| 132469 | T | F | F |
| 132470 | T | F | F |
| 132471 | T | F | F |
| 132472 | T | F | F |
| 132473 | T | F | F |
Independent-effect pairs
c0(branch1018): GAP view gap →scry_analyze_core::Interp::seq· br_ifc1(branch1019): PROVED — pair rows327,79187(unique-cause)scry_analyze_core::Interp::seq· br_if