Decision #316 — src/readers.rs:202
Status: no_witness
Truth table
| row | c0 br 1979 | c1 br 1999 | outcome |
|---|---|---|---|
| 946 | T | * | T |
| 947 | T | * | T |
| 948 | T | * | T |
| 949 | T | F | T |
| 950 | T | * | T |
| 951 | T | * | T |
| 952 | T | * | T |
| 953 | T | * | T |
| 954 | T | * | T |
| 955 | T | * | T |
| 956 | T | * | T |
| 957 | T | * | T |
| 958 | T | * | T |
| 3986 | T | * | T |
| 3987 | T | * | T |
| 3988 | T | * | T |
| 3989 | T | F | T |
| 3990 | T | * | T |
| 3991 | T | * | T |
| 3992 | T | * | T |
| 3993 | T | * | T |
| 3994 | T | * | T |
| 3995 | T | * | T |
| 3996 | T | * | T |
| 3997 | T | * | T |
| 3998 | T | * | T |
| 6935 | T | * | T |
| 6936 | T | * | T |
| 6937 | T | * | T |
| 6938 | T | F | T |
| 6939 | T | * | T |
| 6940 | T | * | T |
| 6941 | T | * | T |
| 6942 | T | * | T |
| 6943 | T | * | T |
| 6944 | T | * | T |
| 6945 | T | * | T |
| 6946 | T | * | T |
| 6947 | T | * | T |
| 9724 | T | * | T |
| 9725 | T | * | T |
| 9726 | T | * | T |
| 9727 | T | * | T |
| 9728 | T | * | T |
| 9729 | T | * | T |
| 9730 | T | * | T |
| 10872 | T | * | T |
| 10873 | T | * | T |
| 10874 | T | * | T |
| 10875 | T | * | T |
| 10876 | T | * | T |
| 10877 | T | * | T |
| 10878 | T | * | T |
| 11963 | T | * | T |
| 11964 | T | * | T |
| 11965 | T | * | T |
| 11966 | T | * | T |
| 11967 | T | * | T |
| 11968 | T | * | T |
| 11969 | T | * | T |
| 13760 | T | * | T |
| 13761 | T | * | T |
| 13762 | T | * | T |
| 13763 | T | * | T |
| 13764 | T | * | T |
| 13765 | T | * | T |
| 13766 | T | * | T |
| 21478 | T | * | T |
| 21479 | T | * | T |
| 21480 | T | * | T |
| 21481 | T | * | T |
| 21482 | T | * | T |
| 21483 | T | * | T |
| 21484 | T | * | T |
| 29487 | T | * | T |
| 29488 | T | * | T |
| 29489 | T | * | T |
| 29490 | T | * | T |
| 29491 | T | * | T |
| 29492 | T | * | T |
| 29493 | T | * | T |
| 35425 | T | * | T |
| 35426 | T | * | T |
| 35427 | T | * | T |
| 35428 | T | * | T |
| 35429 | T | * | T |
| 35430 | T | * | T |
| 35431 | T | * | T |
| 40965 | T | * | T |
| 40966 | T | * | T |
| 40967 | T | * | T |
| 40968 | T | * | T |
| 40969 | T | * | T |
| 40970 | T | * | T |
| 40971 | T | * | T |
| 40972 | T | * | T |
| 40973 | T | * | T |
| 40974 | T | * | T |
| 43978 | T | * | T |
| 43979 | T | * | T |
| 43980 | T | * | T |
| 43981 | T | * | T |
| 43982 | T | * | T |
| 43983 | T | * | T |
| 43984 | T | * | T |
| 43985 | T | * | T |
| 43986 | T | * | T |
| 43987 | T | * | T |
| 47431 | T | * | T |
| 47432 | T | * | T |
| 47433 | T | * | T |
| 47434 | T | * | T |
| 47435 | T | * | T |
| 47436 | T | * | T |
| 47437 | T | * | T |
| 47438 | T | * | T |
| 47439 | T | * | T |
| 47440 | T | * | T |
| 50505 | T | * | T |
| 50506 | T | * | T |
| 50507 | T | * | T |
| 50508 | T | * | T |
| 50509 | T | * | T |
| 50510 | T | * | T |
| 50511 | T | * | T |
| 50512 | T | * | T |
| 50513 | T | * | T |
| 50514 | T | * | T |
| 53753 | T | * | T |
| 53754 | T | * | T |
| 53755 | T | * | T |
| 53756 | T | * | T |
| 53757 | T | * | T |
| 53758 | T | * | T |
| 53759 | T | * | T |
| 63525 | T | * | T |
| 63526 | T | * | T |
| 63527 | T | * | T |
| 63528 | T | * | T |
| 63529 | T | * | T |
| 63530 | T | * | T |
| 63531 | T | * | T |
| 73322 | T | * | T |
| 73323 | T | * | T |
| 73324 | T | * | T |
| 73325 | T | * | T |
| 73326 | T | * | T |
| 73327 | T | * | T |
| 73328 | T | * | T |
| 73329 | T | * | T |
| 73330 | T | * | T |
| 73331 | T | * | T |
| 73332 | T | * | T |
| 73333 | T | * | T |
| 76797 | T | * | T |
| 76798 | T | * | T |
| 76799 | T | * | T |
| 76800 | T | * | T |
| 76801 | T | * | T |
| 76802 | T | * | T |
| 76803 | T | * | T |
| 76804 | T | * | T |
| 76805 | T | * | T |
| 76806 | T | * | T |
| 76807 | T | * | T |
| 76808 | T | * | T |
| 79457 | T | * | T |
| 79458 | T | * | T |
| 79459 | T | * | T |
| 79460 | T | * | T |
| 79461 | T | * | T |
| 79462 | T | * | T |
| 79463 | T | * | T |
| 79464 | T | * | T |
| 79465 | T | * | T |
| 79466 | T | * | T |
| 80930 | T | * | T |
| 80931 | T | * | T |
| 80932 | T | * | T |
| 80933 | T | * | T |
| 80934 | T | * | T |
| 80935 | T | * | T |
| 80936 | T | * | T |
| 80937 | T | * | T |
| 82117 | T | * | T |
| 82118 | T | * | T |
| 82119 | T | * | T |
| 82120 | T | * | T |
| 82121 | T | * | T |
| 82122 | T | * | T |
| 82123 | T | * | T |
| 82124 | T | * | T |
| 83179 | T | * | T |
| 83180 | T | * | T |
| 83181 | T | * | T |
| 83182 | T | * | T |
| 83183 | T | * | T |
| 83184 | T | * | T |
| 83185 | T | * | T |
| 83186 | T | * | T |
| 84393 | T | * | T |
| 84394 | T | * | T |
| 84395 | T | * | T |
| 84396 | T | * | T |
| 84397 | T | * | T |
| 84398 | T | * | T |
| 84399 | T | * | T |
| 84400 | T | * | T |
| 84401 | T | * | T |
| 86106 | T | * | T |
| 86107 | T | * | T |
| 86108 | T | * | T |
| 86109 | T | * | T |
| 86110 | T | * | T |
| 86111 | T | * | T |
| 86112 | T | * | T |
| 86113 | T | * | T |
| 86114 | T | * | T |
| 86115 | T | * | T |
| 86116 | T | * | T |
| 87743 | T | * | T |
| 87744 | T | * | T |
| 87745 | T | * | T |
| 87746 | T | * | T |
| 87747 | T | * | T |
| 87748 | T | * | T |
| 87749 | T | * | T |
| 87750 | T | * | T |
| 87751 | T | * | T |
| 89415 | T | * | T |
| 89416 | T | * | T |
| 89417 | T | * | T |
| 89418 | T | * | T |
| 89419 | T | * | T |
| 89420 | T | * | T |
| 89421 | T | * | T |
| 89422 | T | * | T |
| 89423 | T | * | T |
| 89424 | T | * | T |
| 91077 | T | * | T |
| 91078 | T | * | T |
| 91079 | T | * | T |
| 91080 | T | * | T |
| 91081 | T | * | T |
| 91082 | T | * | T |
| 91083 | T | * | T |
| 91084 | T | * | T |
| 91085 | T | * | T |
| 93699 | T | * | T |
| 93700 | T | * | T |
| 93701 | T | * | T |
| 93702 | T | * | T |
| 93703 | T | * | T |
| 93704 | T | * | T |
| 93705 | T | * | T |
| 112562 | T | * | T |
| 112563 | T | * | T |
| 112564 | T | * | T |
| 112565 | T | * | T |
| 112566 | T | * | T |
| 112567 | T | * | T |
| 112568 | T | * | T |
| 130139 | T | * | T |
| 130140 | T | * | T |
| 130141 | T | * | T |
| 130142 | T | * | T |
| 130143 | T | * | T |
| 130144 | T | * | T |
| 130145 | T | * | T |
| 131314 | T | * | T |
| 131315 | T | * | T |
| 131316 | T | * | T |
| 131317 | T | * | T |
| 131318 | T | * | T |
| 131319 | T | * | T |
| 131320 | T | * | T |
| 132641 | T | * | T |
| 132642 | T | * | T |
| 132643 | T | * | T |
| 132644 | T | * | T |
| 132645 | T | * | T |
| 132646 | T | * | T |
| 132647 | T | * | T |
Independent-effect pairs
c0(branch1979): GAP view gap →scry_analyze_core::analyze· br_ifc1(branch1999): GAP view gap →scry_analyze_core::analyze· br_if