Decision #1030 — library/core/src/num/uint_macros.rs:1052
Status: partial
Truth table
| row | c0 br 6517 | c1 br 6524 | outcome |
|---|---|---|---|
| 2247 | * | F | F |
| 2248 | * | F | F |
| 2249 | * | F | F |
| 9206 | * | F | F |
| 9207 | * | F | F |
| 9208 | * | F | F |
| 16012 | * | F | F |
| 16013 | * | F | F |
| 16014 | * | F | F |
| 38727 | T | T | T |
| 38728 | T | F | F |
| 38729 | * | T | T |
| 38730 | * | F | F |
| 38731 | T | T | T |
| 38732 | T | F | F |
| 38733 | * | T | T |
| 38734 | * | F | F |
| 38735 | T | T | T |
| 38736 | T | F | F |
| 38737 | * | T | T |
| 38738 | * | F | F |
| 38739 | T | T | T |
| 38740 | T | F | F |
| 38741 | * | T | T |
| 38742 | * | F | F |
| 38743 | T | T | T |
| 38744 | T | F | F |
| 38745 | * | T | T |
| 38746 | * | F | F |
| 38747 | T | T | T |
| 38748 | T | F | F |
| 38749 | * | T | T |
| 38750 | * | F | F |
| 38751 | T | T | T |
| 38752 | T | F | F |
| 38753 | * | T | T |
| 38754 | * | F | F |
| 38755 | T | T | T |
| 38756 | T | F | F |
| 38757 | * | T | T |
| 38758 | * | F | F |
| 38759 | T | T | T |
| 38760 | T | F | F |
| 38761 | * | T | T |
| 38762 | * | F | F |
| 59581 | T | T | T |
| 59582 | T | F | F |
| 59583 | * | T | T |
| 59584 | * | F | F |
| 59585 | T | T | T |
| 59586 | T | F | F |
| 59587 | * | T | T |
| 59588 | * | F | F |
| 59589 | T | T | T |
| 59590 | T | F | F |
| 59591 | * | T | T |
| 59592 | * | F | F |
| 59593 | T | T | T |
| 59594 | T | F | F |
| 59595 | * | T | T |
| 59596 | * | F | F |
| 59597 | T | T | T |
| 59598 | T | F | F |
| 59599 | * | T | T |
| 59600 | * | F | F |
| 59601 | T | T | T |
| 59602 | T | F | F |
| 59603 | * | T | T |
| 59604 | * | F | F |
| 59605 | T | T | T |
| 59606 | T | F | F |
| 59607 | * | T | T |
| 59608 | * | F | F |
| 59609 | T | T | T |
| 59610 | T | F | F |
| 59611 | * | T | T |
| 59612 | * | F | F |
| 59613 | T | T | T |
| 59614 | T | F | F |
| 59615 | * | T | T |
| 59616 | * | F | F |
| 75181 | * | F | F |
| 75182 | * | F | F |
| 75183 | * | F | F |
| 75184 | * | F | F |
| 75185 | * | F | F |
| 75186 | * | F | F |
| 75187 | * | F | F |
| 85064 | * | F | F |
| 85065 | * | F | F |
| 85066 | * | F | F |
| 85067 | * | F | F |
| 85068 | * | F | F |
| 85069 | * | F | F |
| 85070 | * | F | F |
| 93251 | * | F | F |
| 93252 | * | F | F |
| 93253 | * | F | F |
| 93254 | * | F | F |
| 93255 | * | F | F |
| 93256 | * | F | F |
| 93257 | * | F | F |
| 93258 | * | F | F |
| 93259 | * | F | F |
| 93260 | * | F | F |
| 93261 | * | F | F |
| 101082 | * | F | F |
| 101083 | * | F | F |
| 101084 | * | F | F |
| 101085 | * | F | F |
| 101086 | * | F | F |
| 101087 | * | F | F |
| 101088 | * | F | F |
| 101089 | * | F | F |
| 101090 | * | F | F |
| 101091 | * | F | F |
| 101092 | * | F | F |
| 109570 | * | F | F |
| 109571 | * | F | F |
| 109572 | * | F | F |
| 109573 | * | F | F |
| 109574 | * | F | F |
| 109575 | * | F | F |
| 109576 | * | F | F |
| 109577 | * | F | F |
| 109578 | * | F | F |
| 109579 | * | F | F |
| 109580 | * | F | F |
| 117595 | * | F | F |
| 117596 | * | F | F |
| 117597 | * | F | F |
| 117598 | * | F | F |
| 117599 | * | F | F |
| 117600 | * | F | F |
| 117601 | * | F | F |
| 117602 | * | F | F |
| 117603 | * | F | F |
| 117604 | * | F | F |
| 117605 | * | F | F |
| 132088 | T | T | T |
| 132089 | T | F | F |
| 132090 | * | T | T |
| 132091 | * | F | F |
| 132092 | T | T | T |
| 132093 | T | F | F |
| 132094 | * | T | T |
| 132095 | * | F | F |
| 132096 | T | T | T |
| 132097 | T | F | F |
| 132098 | * | T | T |
| 132099 | * | F | F |
| 132100 | T | T | T |
| 132101 | T | F | F |
| 132102 | * | T | T |
| 132103 | * | F | F |
| 132104 | T | T | T |
| 132105 | T | F | F |
| 132106 | * | T | T |
| 132107 | * | F | F |
| 132108 | T | T | T |
| 132109 | T | F | F |
| 132110 | * | T | T |
| 132111 | * | F | F |
| 132112 | T | T | T |
| 132113 | T | F | F |
| 132114 | * | T | T |
| 132115 | * | F | F |
| 132116 | T | T | T |
| 132117 | T | F | F |
| 132118 | * | T | T |
| 132119 | * | F | F |
| 132120 | T | T | T |
| 132121 | T | F | F |
| 132122 | * | T | T |
| 132123 | * | F | F |
| 148807 | T | T | T |
| 148808 | T | F | F |
| 148809 | * | T | T |
| 148810 | * | F | F |
| 148811 | T | T | T |
| 148812 | T | F | F |
| 148813 | * | T | T |
| 148814 | * | F | F |
| 148815 | T | T | T |
| 148816 | T | F | F |
| 148817 | * | T | T |
| 148818 | * | F | F |
| 148819 | T | T | T |
| 148820 | T | F | F |
| 148821 | * | T | T |
| 148822 | * | F | F |
| 148823 | T | T | T |
| 148824 | T | F | F |
| 148825 | * | T | T |
| 148826 | * | F | F |
| 148827 | T | T | T |
| 148828 | T | F | F |
| 148829 | * | T | T |
| 148830 | * | F | F |
| 148831 | T | T | T |
| 148832 | T | F | F |
| 148833 | * | T | T |
| 148834 | * | F | F |
| 148835 | T | T | T |
| 148836 | T | F | F |
| 148837 | * | T | T |
| 148838 | * | F | F |
| 148839 | T | T | T |
| 148840 | T | F | F |
| 148841 | * | T | T |
| 148842 | * | F | F |
| 191987 | * | F | F |
| 191988 | * | F | F |
| 191989 | * | F | F |
| 191990 | * | F | F |
| 191991 | * | F | F |
| 191992 | * | F | F |
| 191993 | * | F | F |
| 191994 | * | F | F |
| 191995 | * | F | F |
| 191996 | * | F | F |
| 203877 | * | F | F |
| 203878 | * | F | F |
| 203879 | * | F | F |
| 203880 | * | F | F |
| 203881 | * | F | F |
| 203882 | * | F | F |
| 216724 | * | F | F |
| 216725 | * | F | F |
| 216726 | * | F | F |
| 216727 | * | F | F |
| 216728 | * | F | F |
| 216729 | * | F | F |
| 216730 | * | F | F |
| 216731 | * | F | F |
| 216732 | * | F | F |
| 252517 | T | T | T |
| 252518 | T | F | F |
| 252519 | * | T | T |
| 252520 | * | F | F |
| 252521 | T | T | T |
| 252522 | T | F | F |
| 252523 | * | T | T |
| 252524 | * | F | F |
| 252525 | F | T | T |
| 252526 | F | F | F |
| 252527 | * | T | T |
| 252528 | * | F | F |
| 252529 | F | T | T |
| 252530 | F | F | F |
| 252531 | * | T | T |
| 252532 | * | F | F |
| 252533 | F | T | T |
| 252534 | F | F | F |
| 252535 | * | T | T |
| 252536 | * | F | F |
| 252537 | F | T | T |
| 252538 | F | F | F |
| 252539 | * | T | T |
| 252540 | * | F | F |
| 252541 | F | T | T |
| 252542 | F | F | F |
| 252543 | * | T | T |
| 252544 | * | F | F |
| 252545 | F | T | T |
| 252546 | F | F | F |
| 252547 | * | T | T |
| 252548 | * | F | F |
| 252549 | F | T | T |
| 252550 | F | F | F |
| 252551 | * | T | T |
| 252552 | * | F | F |
| 329894 | T | T | T |
| 329895 | T | F | F |
| 329896 | * | T | T |
| 329897 | * | F | F |
| 329898 | T | T | T |
| 329899 | T | F | F |
| 329900 | * | T | T |
| 329901 | * | F | F |
| 329902 | F | T | T |
| 329903 | F | F | F |
| 329904 | * | T | T |
| 329905 | * | F | F |
| 329906 | F | T | T |
| 329907 | F | F | F |
| 329908 | * | T | T |
| 329909 | * | F | F |
| 329910 | F | T | T |
| 329911 | F | F | F |
| 329912 | * | T | T |
| 329913 | * | F | F |
| 329914 | F | T | T |
| 329915 | F | F | F |
| 329916 | * | T | T |
| 329917 | * | F | F |
| 329918 | F | T | T |
| 329919 | F | F | F |
| 329920 | * | T | T |
| 329921 | * | F | F |
| 329922 | F | T | T |
| 329923 | F | F | F |
| 329924 | * | T | T |
| 329925 | * | F | F |
| 329926 | F | T | T |
| 329927 | F | F | F |
| 329928 | * | T | T |
| 329929 | * | F | F |
| 377533 | * | F | F |
| 377534 | * | F | F |
| 377535 | * | F | F |
| 377536 | * | F | F |
| 380190 | * | F | F |
| 380191 | * | F | F |
| 380192 | * | F | F |
| 380193 | * | F | F |
| 383073 | * | F | F |
| 383074 | * | F | F |
| 383075 | * | F | F |
| 383076 | * | F | F |
Independent-effect pairs
c0(branch6517): GAP view gap →scry_octagon::relations· br_if
inlined: library/core/src/slice/index.rs:407c1(branch6524): PROVED — pair rows38727,38728(unique-cause)scry_octagon::relations· br_if