Decision #785 — src/readers/core/operators.rs:333
Status: no_witness
Truth table
| row | c0 br 5020 | c1 br 5021 | c2 br 5022 | c3 br 5024 | c4 br 5025 | c5 br 5026 | c6 br 5027 | c7 br 5028 | c8 br 5029 | c9 br 5030 | c10 br 5031 | c11 br 5032 | c12 br 5033 | c13 br 5034 | c14 br 5036 | c15 br 5037 | c16 br 5039 | c17 br 5040 | c18 br 5041 | c19 br 5042 | c20 br 5043 | c21 br 5044 | c22 br 5045 | c23 br 5046 | outcome |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 1959 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 1960 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 1961 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 1962 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 1963 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 1964 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 1965 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 1966 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 1967 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 1968 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 1969 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 1970 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 1971 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 1972 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 1973 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 1974 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 1975 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 1976 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 1977 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 1978 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 8918 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 8919 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 8920 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 8921 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 8922 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 8923 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 8924 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 8925 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 8926 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 8927 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 8928 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 8929 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 8930 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 8931 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 8932 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 8933 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 8934 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 8935 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 8936 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 8937 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 15724 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 15725 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 15726 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 15727 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 15728 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 15729 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 15730 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 15731 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 15732 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 15733 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 15734 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 15735 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 15736 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 15737 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 15738 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 15739 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 15740 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 15741 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 15742 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 15743 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 22009 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 22010 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 22011 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 22012 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 22013 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 22014 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 22015 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 24751 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 24752 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 24753 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 24754 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 24755 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 24756 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 24757 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 27395 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 27396 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 27397 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 27398 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 27399 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 27400 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 27401 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 31311 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 31312 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 31313 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 31314 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 31315 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 31316 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 31317 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 31318 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 31319 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 31320 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 31321 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 31322 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 31323 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 31324 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 31325 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 31326 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 31327 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 31328 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 31329 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 31330 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 52165 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 52166 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 52167 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 52168 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 52169 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 52170 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 52171 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 52172 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 52173 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 52174 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 52175 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 52176 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 52177 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 52178 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 52179 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 52180 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 52181 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 52182 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 52183 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 52184 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 73195 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 73196 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 73197 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 73198 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 73199 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 73200 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 73201 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 73202 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 73203 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 73204 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 73205 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 73206 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 73207 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 73208 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 73209 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 73210 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 73211 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 73212 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 83078 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 83079 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 83080 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 83081 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 83082 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 83083 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 83084 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 83085 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 83086 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 83087 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 83088 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 83089 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 83090 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 83091 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 83092 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 83093 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 83094 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 83095 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 92731 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 92732 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 92733 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 92734 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 92735 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 92736 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 92737 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 92738 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 92739 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 92740 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 92741 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 92742 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 92743 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 92744 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 92745 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 92746 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 92747 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 92748 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 92749 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 92750 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 100562 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 100563 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 100564 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 100565 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 100566 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 100567 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 100568 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 100569 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 100570 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 100571 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 100572 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 100573 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 100574 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 100575 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 100576 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 100577 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 100578 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 100579 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 100580 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 100581 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 109050 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 109051 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 109052 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 109053 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 109054 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 109055 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 109056 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 109057 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 109058 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 109059 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 109060 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 109061 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 109062 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 109063 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 109064 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 109065 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 109066 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 109067 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 109068 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 109069 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 117075 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 117076 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 117077 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 117078 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 117079 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 117080 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 117081 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 117082 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 117083 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 117084 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 117085 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 117086 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 117087 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 117088 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 117089 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 117090 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 117091 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 117092 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 117093 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 117094 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 125124 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 125125 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 125126 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 125127 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 125128 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 125129 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 125130 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 125131 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 125132 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 125133 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 125134 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 125135 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 125136 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 125137 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 125138 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 125139 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 125140 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 125141 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 141843 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 141844 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 141845 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 141846 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 141847 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 141848 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 141849 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 141850 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 141851 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 141852 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 141853 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 141854 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 141855 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 141856 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 141857 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 141858 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 141859 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 141860 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 159388 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159389 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159390 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159391 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 159392 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159393 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159394 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159395 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 159396 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159397 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159398 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159399 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 159400 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159401 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159402 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159403 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 159404 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159405 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159406 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159407 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 159408 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159409 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159410 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159411 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 159412 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159413 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159414 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159415 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159416 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159417 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 159418 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 169246 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169247 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169248 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169249 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 169250 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169251 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169252 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169253 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 169254 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169255 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169256 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169257 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 169258 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169259 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169260 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169261 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 169262 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169263 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169264 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169265 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 169266 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169267 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169268 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169269 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 169270 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169271 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169272 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169273 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169274 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169275 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 169276 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 176975 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 176976 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 176977 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 176978 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 176979 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 176980 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 176981 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 176982 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 176983 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 176984 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 176985 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 176986 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 176987 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 181499 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 181500 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 181501 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 181502 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 181503 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 181504 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 181505 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 184817 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 184818 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 184819 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 184820 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 184821 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 184822 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 184823 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 187926 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 187927 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 187928 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 187929 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 187930 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 187931 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 187932 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 191592 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 191593 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 191594 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 191595 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 191596 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 191597 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 191598 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 191599 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 191600 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 197514 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197515 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197516 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197517 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197518 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197519 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197520 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 197521 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197522 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197523 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197524 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197525 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197526 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197527 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197528 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 197529 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197530 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197531 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197532 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197533 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197534 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197535 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197536 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 197537 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197538 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197539 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 197540 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 203626 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 203627 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 203628 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 203629 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 203630 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 203631 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 203632 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 203633 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 203634 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 208755 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 208756 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 208757 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 208758 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 208759 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 208760 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 208761 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 208762 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 208763 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 208764 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 208765 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 208766 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 208767 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 208768 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 208769 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 208770 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 208771 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 208772 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 208773 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 208774 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 208775 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 208776 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 216229 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 216230 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 216231 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 216232 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 216233 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 216234 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 216235 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 216236 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 216237 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 216238 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 216239 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 216240 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 216241 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 216242 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 216243 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 216244 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 216245 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 216246 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 216247 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 225114 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 225115 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 225116 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 225117 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 225118 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 225119 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 225120 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 225121 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 225122 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 225123 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 225124 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 225125 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 225126 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 225127 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 225128 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 225129 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 225130 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 225131 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 225132 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 225133 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 302491 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 302492 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 302493 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 302494 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 302495 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 302496 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 302497 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 302498 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 302499 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 302500 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 302501 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 302502 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 302503 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 302504 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 302505 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 302506 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 302507 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 302508 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 302509 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 302510 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 377354 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 377355 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 377356 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 377357 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 377358 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 377359 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 377360 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 380011 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 380012 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 380013 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 380014 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 380015 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 380016 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 380017 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 382894 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 382895 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 382896 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 382897 | T | * | * | * | * | * | * | * | * | F | * | * | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 382898 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 382899 | T | * | * | * | * | * | * | * | * | F | F | F | * | * | * | F | * | * | F | * | * | * | * | F | T |
| 382900 | F | F | F | * | * | * | * | F | F | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | T |
Independent-effect pairs
All 24 conditions live in <alloc::collections::btree::map::IntoIter<alloc::string::String, u32>>::dying_next — 24 br_if
c0(branch5020): GAP view gap →c1(branch5021): GAP view gap →c2(branch5022): GAP view gap →c3(branch5024): DEAD view gap →c4(branch5025): DEAD view gap →c5(branch5026): DEAD view gap →c6(branch5027): DEAD view gap →c7(branch5028): GAP view gap →c8(branch5029): GAP view gap →c9(branch5030): GAP view gap →c10(branch5031): GAP view gap →c11(branch5032): GAP view gap →c12(branch5033): DEAD view gap →c13(branch5034): DEAD view gap →c14(branch5036): DEAD view gap →c15(branch5037): GAP view gap →c16(branch5039): DEAD view gap →c17(branch5040): DEAD view gap →c18(branch5041): GAP view gap →c19(branch5042): DEAD view gap →c20(branch5043): DEAD view gap →c21(branch5044): DEAD view gap →c22(branch5045): DEAD view gap →c23(branch5046): GAP view gap →