Decision #282 — lib.rs:1657
Status: no_witness
Truth table
| row | c0 br 2282 | c1 br 2283 | c2 br 2284 | c3 br 2285 | c4 br 2286 | c5 br 2287 | outcome |
|---|---|---|---|---|---|---|---|
| 748 | F | T | * | T | * | * | T |
| 749 | * | T | * | T | * | * | T |
| 750 | * | F | T | * | * | * | T |
| 751 | * | T | * | T | * | * | T |
| 752 | * | T | * | T | * | * | T |
| 753 | * | F | T | * | * | * | T |
| 754 | * | T | * | T | * | * | T |
| 755 | * | T | * | T | * | * | T |
| 756 | * | F | T | * | * | * | T |
| 757 | * | T | * | T | * | * | T |
| 758 | * | T | * | T | * | * | T |
| 759 | * | T | * | T | * | * | T |
| 760 | * | F | T | * | * | * | T |
| 761 | * | T | * | T | * | * | T |
| 762 | * | T | * | T | * | * | T |
| 763 | * | T | * | T | * | * | T |
| 764 | * | F | F | * | F | F | T |
| 765 | * | * | * | * | * | F | T |
| 766 | * | * | * | * | * | F | T |
| 767 | * | * | * | * | * | F | T |
| 768 | * | * | * | * | * | F | T |
| 3788 | F | T | * | T | * | * | T |
| 3789 | * | T | * | T | * | * | T |
| 3790 | * | F | T | * | * | * | T |
| 3791 | * | T | * | T | * | * | T |
| 3792 | * | T | * | T | * | * | T |
| 3793 | * | F | T | * | * | * | T |
| 3794 | * | T | * | T | * | * | T |
| 3795 | * | T | * | T | * | * | T |
| 3796 | * | F | T | * | * | * | T |
| 3797 | * | T | * | T | * | * | T |
| 3798 | * | T | * | T | * | * | T |
| 3799 | * | T | * | T | * | * | T |
| 3800 | * | F | T | * | * | * | T |
| 3801 | * | T | * | T | * | * | T |
| 3802 | * | T | * | T | * | * | T |
| 3803 | * | T | * | T | * | * | T |
| 3804 | * | F | F | * | F | F | T |
| 3805 | * | * | * | * | * | F | T |
| 3806 | * | * | * | * | * | F | T |
| 3807 | * | * | * | * | * | F | T |
| 3808 | * | * | * | * | * | F | T |
| 6733 | F | T | * | T | * | * | T |
| 6734 | * | T | * | T | * | * | T |
| 6735 | * | F | T | * | * | * | T |
| 6736 | * | T | * | T | * | * | T |
| 6737 | * | T | * | T | * | * | T |
| 6738 | * | F | T | * | * | * | T |
| 6739 | * | T | * | T | * | * | T |
| 6740 | * | T | * | T | * | * | T |
| 6741 | * | F | T | * | * | * | T |
| 6742 | * | T | * | T | * | * | T |
| 6743 | * | T | * | T | * | * | T |
| 6744 | * | T | * | T | * | * | T |
| 6745 | * | F | T | * | * | * | T |
| 6746 | * | T | * | T | * | * | T |
| 6747 | * | T | * | T | * | * | T |
| 6748 | * | T | * | T | * | * | T |
| 6749 | * | F | F | * | F | F | T |
| 6750 | * | * | * | * | * | F | T |
| 6751 | * | * | * | * | * | F | T |
| 6752 | * | * | * | * | * | F | T |
| 6753 | * | * | * | * | * | F | T |
| 9653 | F | T | * | T | * | * | T |
| 9654 | * | T | * | T | * | * | T |
| 9655 | * | T | * | T | * | * | T |
| 9656 | * | T | * | T | * | * | T |
| 9657 | * | T | * | T | * | * | T |
| 9658 | * | T | * | T | * | * | T |
| 9659 | * | F | F | * | F | F | T |
| 10801 | F | T | * | T | * | * | T |
| 10802 | * | T | * | T | * | * | T |
| 10803 | * | T | * | T | * | * | T |
| 10804 | * | T | * | T | * | * | T |
| 10805 | * | T | * | T | * | * | T |
| 10806 | * | T | * | T | * | * | T |
| 10807 | * | F | F | * | F | F | T |
| 11892 | F | T | * | T | * | * | T |
| 11893 | * | T | * | T | * | * | T |
| 11894 | * | T | * | T | * | * | T |
| 11895 | * | T | * | T | * | * | T |
| 11896 | * | T | * | T | * | * | T |
| 11897 | * | T | * | T | * | * | T |
| 11898 | * | F | F | * | F | F | T |
| 13649 | F | * | * | T | * | * | T |
| 13650 | * | * | * | T | * | * | T |
| 13651 | * | * | * | T | * | * | T |
| 13652 | * | * | * | T | * | * | T |
| 13653 | * | * | * | T | * | * | T |
| 13654 | * | * | * | T | * | * | T |
| 13655 | * | * | * | T | * | * | T |
| 13656 | * | * | * | T | * | * | T |
| 13657 | * | T | * | T | * | * | T |
| 13658 | * | T | * | T | * | * | T |
| 13659 | * | T | * | T | * | * | T |
| 13660 | * | T | * | T | * | * | T |
| 13661 | * | T | * | T | * | * | T |
| 13662 | * | T | * | T | * | * | T |
| 13663 | * | T | * | T | * | * | T |
| 13664 | * | F | F | T | F | F | T |
| 21367 | F | * | * | T | * | * | T |
| 21368 | * | * | * | T | * | * | T |
| 21369 | * | * | * | T | * | * | T |
| 21370 | * | * | * | T | * | * | T |
| 21371 | * | * | * | T | * | * | T |
| 21372 | * | * | * | T | * | * | T |
| 21373 | * | * | * | T | * | * | T |
| 21374 | * | * | * | T | * | * | T |
| 21375 | * | T | * | T | * | * | T |
| 21376 | * | T | * | T | * | * | T |
| 21377 | * | T | * | T | * | * | T |
| 21378 | * | T | * | T | * | * | T |
| 21379 | * | T | * | T | * | * | T |
| 21380 | * | T | * | T | * | * | T |
| 21381 | * | T | * | T | * | * | T |
| 21382 | * | F | F | T | F | F | T |
| 29380 | F | * | * | T | * | * | T |
| 29381 | * | * | * | T | * | * | T |
| 29382 | * | * | * | T | * | * | T |
| 29383 | * | * | * | T | * | * | T |
| 29384 | * | * | * | T | * | * | T |
| 29385 | * | * | * | T | * | * | T |
| 29386 | * | * | * | T | * | * | T |
| 29387 | * | T | * | T | * | * | T |
| 29388 | * | T | * | T | * | * | T |
| 29389 | * | T | * | T | * | * | T |
| 29390 | * | T | * | T | * | * | T |
| 29391 | * | T | * | T | * | * | T |
| 29392 | * | T | * | T | * | * | T |
| 29393 | * | T | * | T | * | * | T |
| 29394 | * | F | F | T | F | F | T |
| 35318 | F | * | * | T | * | * | T |
| 35319 | * | * | * | T | * | * | T |
| 35320 | * | * | * | T | * | * | T |
| 35321 | * | * | * | T | * | * | T |
| 35322 | * | * | * | T | * | * | T |
| 35323 | * | * | * | T | * | * | T |
| 35324 | * | * | * | T | * | * | T |
| 35325 | * | T | * | T | * | * | T |
| 35326 | * | T | * | T | * | * | T |
| 35327 | * | T | * | T | * | * | T |
| 35328 | * | T | * | T | * | * | T |
| 35329 | * | T | * | T | * | * | T |
| 35330 | * | T | * | T | * | * | T |
| 35331 | * | T | * | T | * | * | T |
| 35332 | * | F | F | T | F | F | T |
| 40813 | F | T | * | T | * | * | T |
| 40814 | * | T | * | T | * | * | T |
| 40815 | * | T | * | T | * | * | T |
| 40816 | * | T | * | T | * | * | T |
| 40817 | * | F | T | * | * | * | T |
| 40818 | * | T | * | T | * | * | T |
| 40819 | * | T | * | T | * | * | T |
| 40820 | * | T | * | T | * | * | T |
| 40821 | * | F | T | * | * | * | T |
| 40822 | * | T | * | T | * | * | T |
| 40823 | * | T | * | T | * | * | T |
| 40824 | * | T | * | T | * | * | T |
| 40825 | * | T | * | T | * | * | T |
| 40826 | * | T | * | T | * | * | T |
| 40827 | * | T | * | T | * | * | T |
| 40828 | * | T | * | T | * | * | T |
| 40829 | * | F | F | * | F | F | T |
| 40830 | * | * | * | * | * | F | T |
| 40831 | * | * | * | * | * | F | T |
| 43824 | F | T | * | T | * | * | T |
| 43825 | * | T | * | T | * | * | T |
| 43826 | * | T | * | T | * | * | T |
| 43827 | * | T | * | T | * | * | T |
| 43828 | * | F | T | * | * | * | T |
| 43829 | * | T | * | T | * | * | T |
| 43830 | * | T | * | T | * | * | T |
| 43831 | * | T | * | T | * | * | T |
| 43832 | * | F | T | * | * | * | T |
| 43833 | * | T | * | T | * | * | T |
| 43834 | * | T | * | T | * | * | T |
| 43835 | * | T | * | T | * | * | T |
| 43836 | * | T | * | T | * | * | T |
| 43837 | * | T | * | T | * | * | T |
| 43838 | * | T | * | T | * | * | T |
| 43839 | * | T | * | T | * | * | T |
| 43840 | * | F | F | * | F | F | T |
| 43841 | * | * | * | * | * | F | T |
| 43842 | * | * | * | * | * | F | T |
| 47277 | F | T | * | T | * | * | T |
| 47278 | * | T | * | T | * | * | T |
| 47279 | * | T | * | T | * | * | T |
| 47280 | * | T | * | T | * | * | T |
| 47281 | * | F | T | * | * | * | T |
| 47282 | * | T | * | T | * | * | T |
| 47283 | * | T | * | T | * | * | T |
| 47284 | * | T | * | T | * | * | T |
| 47285 | * | F | T | * | * | * | T |
| 47286 | * | T | * | T | * | * | T |
| 47287 | * | T | * | T | * | * | T |
| 47288 | * | T | * | T | * | * | T |
| 47289 | * | T | * | T | * | * | T |
| 47290 | * | T | * | T | * | * | T |
| 47291 | * | T | * | T | * | * | T |
| 47292 | * | T | * | T | * | * | T |
| 47293 | * | F | F | * | F | F | T |
| 47294 | * | * | * | * | * | F | T |
| 47295 | * | * | * | * | * | F | T |
| 50353 | F | T | * | T | * | * | T |
| 50354 | * | T | * | T | * | * | T |
| 50355 | * | T | * | T | * | * | T |
| 50356 | * | T | * | T | * | * | T |
| 50357 | * | F | T | * | * | * | T |
| 50358 | * | T | * | T | * | * | T |
| 50359 | * | T | * | T | * | * | T |
| 50360 | * | T | * | T | * | * | T |
| 50361 | * | F | T | * | * | * | T |
| 50362 | * | T | * | T | * | * | T |
| 50363 | * | T | * | T | * | * | T |
| 50364 | * | T | * | T | * | * | T |
| 50365 | * | T | * | T | * | * | T |
| 50366 | * | T | * | T | * | * | T |
| 50367 | * | T | * | T | * | * | T |
| 50368 | * | T | * | T | * | * | T |
| 50369 | * | F | F | * | F | F | T |
| 50370 | * | * | * | * | * | F | T |
| 50371 | * | * | * | * | * | F | T |
| 53642 | F | * | * | T | * | * | T |
| 53643 | * | * | * | T | * | * | T |
| 53644 | * | * | * | T | * | * | T |
| 53645 | * | * | * | T | * | * | T |
| 53646 | * | * | * | T | * | * | T |
| 53647 | * | * | * | T | * | * | T |
| 53648 | * | * | * | T | * | * | T |
| 53649 | * | * | * | T | * | * | T |
| 53650 | * | T | * | T | * | * | T |
| 53651 | * | T | * | T | * | * | T |
| 53652 | * | T | * | T | * | * | T |
| 53653 | * | T | * | T | * | * | T |
| 53654 | * | T | * | T | * | * | T |
| 53655 | * | T | * | T | * | * | T |
| 53656 | * | T | * | T | * | * | T |
| 53657 | * | F | F | T | F | F | T |
| 63414 | F | * | * | T | * | * | T |
| 63415 | * | * | * | T | * | * | T |
| 63416 | * | * | * | T | * | * | T |
| 63417 | * | * | * | T | * | * | T |
| 63418 | * | * | * | T | * | * | T |
| 63419 | * | * | * | T | * | * | T |
| 63420 | * | * | * | T | * | * | T |
| 63421 | * | * | * | T | * | * | T |
| 63422 | * | T | * | T | * | * | T |
| 63423 | * | T | * | T | * | * | T |
| 63424 | * | T | * | T | * | * | T |
| 63425 | * | T | * | T | * | * | T |
| 63426 | * | T | * | T | * | * | T |
| 63427 | * | T | * | T | * | * | T |
| 63428 | * | T | * | T | * | * | T |
| 63429 | * | F | F | T | F | F | T |
| 73079 | F | T | * | T | * | * | T |
| 73080 | * | T | * | T | * | * | T |
| 73081 | * | T | * | T | * | * | T |
| 73082 | * | T | * | T | * | * | T |
| 73083 | * | F | T | * | * | * | T |
| 73084 | * | T | * | T | * | * | T |
| 73085 | * | T | * | T | * | * | T |
| 73086 | * | T | * | T | * | * | T |
| 73087 | * | T | * | T | * | * | T |
| 73088 | * | F | T | * | * | * | T |
| 73089 | * | T | * | T | * | * | T |
| 73090 | * | T | * | T | * | * | T |
| 73091 | * | T | * | T | * | * | T |
| 73092 | * | T | * | T | * | * | T |
| 73093 | * | F | T | * | * | * | T |
| 73094 | * | T | * | T | * | * | T |
| 73095 | * | T | * | T | * | * | T |
| 73096 | * | T | * | T | * | * | T |
| 73097 | * | T | * | T | * | * | T |
| 73098 | * | F | T | * | * | * | T |
| 73099 | * | T | * | T | * | * | T |
| 73100 | * | T | * | T | * | * | T |
| 73101 | * | T | * | T | * | * | T |
| 73102 | * | T | * | T | * | * | T |
| 73103 | * | F | T | * | * | * | T |
| 73104 | * | T | * | T | * | * | T |
| 73105 | * | T | * | T | * | * | T |
| 73106 | * | T | * | T | * | * | T |
| 73107 | * | T | * | T | * | * | T |
| 73108 | * | F | F | * | F | F | T |
| 73109 | * | * | * | * | * | F | T |
| 73110 | * | * | * | * | * | F | T |
| 73111 | * | * | * | * | * | F | T |
| 73112 | * | * | * | * | * | F | T |
| 73113 | * | * | * | * | * | F | T |
| 76554 | F | T | * | T | * | * | T |
| 76555 | * | T | * | T | * | * | T |
| 76556 | * | T | * | T | * | * | T |
| 76557 | * | T | * | T | * | * | T |
| 76558 | * | F | T | * | * | * | T |
| 76559 | * | T | * | T | * | * | T |
| 76560 | * | T | * | T | * | * | T |
| 76561 | * | T | * | T | * | * | T |
| 76562 | * | T | * | T | * | * | T |
| 76563 | * | F | T | * | * | * | T |
| 76564 | * | T | * | T | * | * | T |
| 76565 | * | T | * | T | * | * | T |
| 76566 | * | T | * | T | * | * | T |
| 76567 | * | T | * | T | * | * | T |
| 76568 | * | F | T | * | * | * | T |
| 76569 | * | T | * | T | * | * | T |
| 76570 | * | T | * | T | * | * | T |
| 76571 | * | T | * | T | * | * | T |
| 76572 | * | T | * | T | * | * | T |
| 76573 | * | F | T | * | * | * | T |
| 76574 | * | T | * | T | * | * | T |
| 76575 | * | T | * | T | * | * | T |
| 76576 | * | T | * | T | * | * | T |
| 76577 | * | T | * | T | * | * | T |
| 76578 | * | F | T | * | * | * | T |
| 76579 | * | T | * | T | * | * | T |
| 76580 | * | T | * | T | * | * | T |
| 76581 | * | T | * | T | * | * | T |
| 76582 | * | T | * | T | * | * | T |
| 76583 | * | F | F | * | F | F | T |
| 76584 | * | * | * | * | * | F | T |
| 76585 | * | * | * | * | * | F | T |
| 76586 | * | * | * | * | * | F | T |
| 76587 | * | * | * | * | * | F | T |
| 76588 | * | * | * | * | * | F | T |
| 79344 | F | T | * | T | * | * | T |
| 79345 | * | T | * | T | * | * | T |
| 79346 | * | F | T | * | * | * | T |
| 79347 | * | T | * | T | * | * | T |
| 79348 | * | T | * | T | * | * | T |
| 79349 | * | F | T | * | * | * | T |
| 79350 | * | T | * | T | * | * | T |
| 79351 | * | T | * | T | * | * | T |
| 79352 | * | F | F | * | F | F | T |
| 79353 | * | * | * | * | * | F | T |
| 79354 | * | * | * | * | * | F | T |
| 80858 | F | T | * | T | * | * | T |
| 80859 | * | T | * | T | * | * | T |
| 80860 | * | T | * | T | * | * | T |
| 80861 | * | T | * | T | * | * | T |
| 80862 | * | T | * | T | * | * | T |
| 80863 | * | F | F | * | F | F | T |
| 82045 | F | T | * | T | * | * | T |
| 82046 | * | T | * | T | * | * | T |
| 82047 | * | T | * | T | * | * | T |
| 82048 | * | T | * | T | * | * | T |
| 82049 | * | T | * | T | * | * | T |
| 82050 | * | F | F | * | F | F | T |
| 83107 | F | T | * | T | * | * | T |
| 83108 | * | T | * | T | * | * | T |
| 83109 | * | T | * | T | * | * | T |
| 83110 | * | T | * | T | * | * | T |
| 83111 | * | T | * | T | * | * | T |
| 83112 | * | F | F | * | F | F | T |
| 84293 | F | * | * | T | * | * | T |
| 84294 | * | * | * | T | * | * | T |
| 84295 | * | T | * | T | * | * | T |
| 84296 | * | T | * | T | * | * | T |
| 84297 | * | T | * | T | * | * | T |
| 84298 | * | T | * | T | * | * | T |
| 84299 | * | T | * | T | * | * | T |
| 84300 | * | T | * | T | * | * | T |
| 84301 | * | T | * | T | * | * | T |
| 84302 | * | F | F | T | F | F | T |
| 85892 | F | * | * | T | * | * | T |
| 85893 | * | * | * | T | * | * | T |
| 85894 | * | T | * | T | * | * | T |
| 85895 | * | T | * | T | * | * | T |
| 85896 | * | T | * | T | * | * | T |
| 85897 | * | T | * | T | * | * | T |
| 85898 | * | T | * | T | * | * | T |
| 85899 | * | T | * | T | * | * | T |
| 85900 | * | T | * | T | * | * | T |
| 85901 | * | F | T | T | * | * | T |
| 85902 | * | * | * | T | * | * | T |
| 85903 | * | * | * | T | * | * | T |
| 85904 | * | T | * | T | * | * | T |
| 85905 | * | T | * | T | * | * | T |
| 85906 | * | T | * | T | * | * | T |
| 85907 | * | T | * | T | * | * | T |
| 85908 | * | T | * | T | * | * | T |
| 85909 | * | T | * | T | * | * | T |
| 85910 | * | T | * | T | * | * | T |
| 85911 | * | F | T | T | * | * | T |
| 85912 | * | * | * | T | * | * | T |
| 85913 | * | * | * | T | * | * | T |
| 85914 | * | T | * | T | * | * | T |
| 85915 | * | T | * | T | * | * | T |
| 85916 | * | T | * | T | * | * | T |
| 85917 | * | T | * | T | * | * | T |
| 85918 | * | T | * | T | * | * | T |
| 85919 | * | T | * | T | * | * | T |
| 85920 | * | T | * | T | * | * | T |
| 85921 | * | F | F | T | F | F | T |
| 85922 | * | * | * | * | * | F | T |
| 85923 | * | * | * | * | * | F | T |
| 87658 | F | T | * | T | * | * | T |
| 87659 | * | T | * | T | * | * | T |
| 87660 | * | T | * | T | * | * | T |
| 87661 | * | T | * | T | * | * | T |
| 87662 | * | T | * | T | * | * | T |
| 87663 | * | T | * | T | * | * | T |
| 87664 | * | F | F | * | F | F | T |
| 89197 | F | * | * | T | * | * | T |
| 89198 | * | * | * | T | * | * | T |
| 89199 | * | * | * | T | * | * | T |
| 89200 | * | * | * | T | * | * | T |
| 89201 | * | * | * | T | * | * | T |
| 89202 | * | * | * | T | * | * | T |
| 89203 | * | * | * | T | * | * | T |
| 89204 | * | * | * | T | * | * | T |
| 89205 | * | * | * | T | * | * | T |
| 89206 | * | T | * | T | * | * | T |
| 89207 | * | T | * | T | * | * | T |
| 89208 | * | T | * | T | * | * | T |
| 89209 | * | T | * | T | * | * | T |
| 89210 | * | T | * | T | * | * | T |
| 89211 | * | T | * | T | * | * | T |
| 89212 | * | T | * | T | * | * | T |
| 89213 | * | F | T | T | * | * | T |
| 89214 | * | * | * | T | * | * | T |
| 89215 | * | * | * | T | * | * | T |
| 89216 | * | * | * | T | * | * | T |
| 89217 | * | * | * | T | * | * | T |
| 89218 | * | * | * | T | * | * | T |
| 89219 | * | * | * | T | * | * | T |
| 89220 | * | * | * | T | * | * | T |
| 89221 | * | * | * | T | * | * | T |
| 89222 | * | * | * | T | * | * | T |
| 89223 | * | T | * | T | * | * | T |
| 89224 | * | T | * | T | * | * | T |
| 89225 | * | T | * | T | * | * | T |
| 89226 | * | T | * | T | * | * | T |
| 89227 | * | T | * | T | * | * | T |
| 89228 | * | T | * | T | * | * | T |
| 89229 | * | T | * | T | * | * | T |
| 89230 | * | F | F | T | F | F | T |
| 89231 | * | * | * | * | * | F | T |
| 90937 | F | * | * | T | * | * | T |
| 90938 | * | * | * | T | * | * | T |
| 90939 | * | * | * | T | * | * | T |
| 90940 | * | * | * | T | * | * | T |
| 90941 | * | * | * | T | * | * | T |
| 90942 | * | * | * | T | * | * | T |
| 90943 | * | * | * | T | * | * | T |
| 90944 | * | * | * | T | * | * | T |
| 90945 | * | * | * | T | * | * | T |
| 90946 | * | * | * | T | * | * | T |
| 90947 | * | * | * | T | * | * | T |
| 90948 | * | * | * | T | * | * | T |
| 90949 | * | T | * | T | * | * | T |
| 90950 | * | T | * | T | * | * | T |
| 90951 | * | T | * | T | * | * | T |
| 90952 | * | T | * | T | * | * | T |
| 90953 | * | T | * | T | * | * | T |
| 90954 | * | T | * | T | * | * | T |
| 90955 | * | T | * | T | * | * | T |
| 90956 | * | F | F | T | F | F | T |
| 93582 | F | * | * | T | * | * | T |
| 93583 | * | * | * | T | * | * | T |
| 93584 | * | * | * | T | * | * | T |
| 93585 | * | * | * | T | * | * | T |
| 93586 | * | * | * | T | * | * | T |
| 93587 | * | * | * | T | * | * | T |
| 93588 | * | * | * | T | * | * | T |
| 93589 | * | * | * | T | * | * | T |
| 93590 | * | * | * | T | * | * | T |
| 93591 | * | T | * | T | * | * | T |
| 93592 | * | T | * | T | * | * | T |
| 93593 | * | T | * | T | * | * | T |
| 93594 | * | T | * | T | * | * | T |
| 93595 | * | T | * | T | * | * | T |
| 93596 | * | T | * | T | * | * | T |
| 93597 | * | T | * | T | * | * | T |
| 93598 | * | F | F | T | F | F | T |
| 112445 | F | * | * | T | * | * | T |
| 112446 | * | * | * | T | * | * | T |
| 112447 | * | * | * | T | * | * | T |
| 112448 | * | * | * | T | * | * | T |
| 112449 | * | * | * | T | * | * | T |
| 112450 | * | * | * | T | * | * | T |
| 112451 | * | * | * | T | * | * | T |
| 112452 | * | * | * | T | * | * | T |
| 112453 | * | * | * | T | * | * | T |
| 112454 | * | T | * | T | * | * | T |
| 112455 | * | T | * | T | * | * | T |
| 112456 | * | T | * | T | * | * | T |
| 112457 | * | T | * | T | * | * | T |
| 112458 | * | T | * | T | * | * | T |
| 112459 | * | T | * | T | * | * | T |
| 112460 | * | T | * | T | * | * | T |
| 112461 | * | F | F | T | F | F | T |
| 130076 | F | T | * | T | * | * | T |
| 130077 | * | T | * | T | * | * | T |
| 130078 | * | T | * | T | * | * | T |
| 130079 | * | T | * | T | * | * | T |
| 130080 | * | F | F | * | F | F | T |
| 131251 | F | T | * | T | * | * | T |
| 131252 | * | T | * | T | * | * | T |
| 131253 | * | T | * | T | * | * | T |
| 131254 | * | T | * | T | * | * | T |
| 131255 | * | F | F | * | F | F | T |
| 132578 | F | T | * | T | * | * | T |
| 132579 | * | T | * | T | * | * | T |
| 132580 | * | T | * | T | * | * | T |
| 132581 | * | T | * | T | * | * | T |
| 132582 | * | F | F | * | F | F | T |
Independent-effect pairs
All 6 conditions live in scry_analyze_core::analyze — 6 br_if
c0(branch2282): GAP view gap →c1(branch2283): GAP view gap →c2(branch2284): GAP view gap →c3(branch2285): GAP view gap →c4(branch2286): GAP view gap →c5(branch2287): GAP view gap →