Decision #358 — library/alloc/src/raw_vec/mod.rs:434
Status: no_witness
Truth table
| row | c0 br 2360 | c1 br 2370 | c2 br 2373 | c3 br 2374 | c4 br 2377 | c5 br 2378 | c6 br 2379 | c7 br 2380 | c8 br 2406 | c9 br 2407 | outcome |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 370 | * | * | F | F | * | * | * | * | * | * | T |
| 371 | * | * | F | F | * | * | * | * | * | * | T |
| 372 | * | * | F | F | * | * | * | * | * | * | T |
| 373 | * | * | F | F | * | * | * | * | * | * | T |
| 374 | * | * | F | F | * | * | * | * | * | * | T |
| 375 | * | * | F | F | * | * | * | * | * | * | T |
| 376 | * | * | F | F | * | * | * | * | * | * | T |
| 377 | * | * | F | F | * | * | * | * | * | * | T |
| 378 | * | * | F | F | * | * | * | * | * | * | T |
| 379 | * | * | F | F | * | * | * | * | * | * | T |
| 380 | * | * | F | F | * | * | * | * | * | * | T |
| 381 | * | * | F | F | * | * | * | * | * | * | T |
| 382 | * | * | F | F | * | * | * | * | F | F | T |
| 383 | * | * | F | F | * | * | * | * | F | F | T |
| 384 | * | * | F | F | * | * | * | * | F | F | T |
| 385 | * | * | F | F | * | * | * | * | F | F | T |
| 386 | * | * | F | F | * | * | * | * | F | F | T |
| 387 | * | * | F | F | * | * | * | * | F | F | T |
| 388 | * | * | F | F | * | * | * | * | F | F | T |
| 389 | * | * | F | F | * | * | * | * | F | F | T |
| 390 | * | * | F | F | * | * | * | * | F | F | T |
| 391 | * | * | F | F | * | * | * | * | F | F | T |
| 392 | * | * | F | F | * | * | * | * | F | F | T |
| 393 | * | * | F | F | * | * | * | * | F | F | T |
| 4164 | * | * | F | F | * | * | * | * | * | * | T |
| 4165 | * | * | F | F | * | * | * | * | * | * | T |
| 4166 | * | * | F | F | * | * | * | * | * | * | T |
| 4167 | * | * | F | F | * | * | * | * | * | * | T |
| 4168 | * | * | F | F | * | * | * | * | * | * | T |
| 4169 | * | * | F | F | * | * | * | * | * | * | T |
| 4170 | * | * | F | F | * | * | * | * | * | * | T |
| 4171 | * | * | F | F | * | * | * | * | * | * | T |
| 4172 | * | * | F | F | * | * | * | * | * | * | T |
| 4173 | * | * | F | F | * | * | * | * | * | * | T |
| 4174 | * | * | F | F | * | * | * | * | * | * | T |
| 4175 | * | * | F | F | * | * | * | * | * | * | T |
| 4176 | * | * | F | F | * | * | * | * | F | F | T |
| 4177 | * | * | F | F | * | * | * | * | F | F | T |
| 4178 | * | * | F | F | * | * | * | * | F | F | T |
| 4179 | * | * | F | F | * | * | * | * | F | F | T |
| 4180 | * | * | F | F | * | * | * | * | F | F | T |
| 4181 | * | * | F | F | * | * | * | * | F | F | T |
| 4182 | * | * | F | F | * | * | * | * | F | F | T |
| 4183 | * | * | F | F | * | * | * | * | F | F | T |
| 4184 | * | * | F | F | * | * | * | * | F | F | T |
| 4185 | * | * | F | F | * | * | * | * | F | F | T |
| 4186 | * | * | F | F | * | * | * | * | F | F | T |
| 4187 | * | * | F | F | * | * | * | * | F | F | T |
| 7847 | * | * | F | F | * | * | * | * | * | * | T |
| 7848 | * | * | F | F | * | * | * | * | * | * | T |
| 7849 | * | * | F | F | * | * | * | * | * | * | T |
| 7850 | * | * | F | F | * | * | * | * | * | * | T |
| 7851 | * | * | F | F | * | * | * | * | * | * | T |
| 7852 | * | * | F | F | * | * | * | * | * | * | T |
| 7853 | * | * | F | F | * | * | * | * | * | * | T |
| 7854 | * | * | F | F | * | * | * | * | * | * | T |
| 7855 | * | * | F | F | * | * | * | * | * | * | T |
| 7856 | * | * | F | F | * | * | * | * | * | * | T |
| 7857 | * | * | F | F | * | * | * | * | * | * | T |
| 7858 | * | * | F | F | * | * | * | * | * | * | T |
| 7859 | * | * | F | F | * | * | * | * | F | F | T |
| 7860 | * | * | F | F | * | * | * | * | F | F | T |
| 7861 | * | * | F | F | * | * | * | * | F | F | T |
| 7862 | * | * | F | F | * | * | * | * | F | F | T |
| 7863 | * | * | F | F | * | * | * | * | F | F | T |
| 7864 | * | * | F | F | * | * | * | * | F | F | T |
| 7865 | * | * | F | F | * | * | * | * | F | F | T |
| 7866 | * | * | F | F | * | * | * | * | F | F | T |
| 7867 | * | * | F | F | * | * | * | * | F | F | T |
| 7868 | * | * | F | F | * | * | * | * | F | F | T |
| 7869 | * | * | F | F | * | * | * | * | F | F | T |
| 7870 | * | * | F | F | * | * | * | * | F | F | T |
| 11796 | * | * | F | F | * | * | * | * | * | * | T |
| 11797 | * | * | F | F | * | * | * | * | * | * | T |
| 11798 | * | * | F | F | * | * | * | * | * | * | T |
| 11799 | * | * | F | F | * | * | * | * | * | * | T |
| 11800 | * | * | F | F | * | * | * | * | * | * | T |
| 11801 | * | * | F | F | * | * | * | * | * | * | T |
| 11802 | * | * | F | F | * | * | * | * | F | F | T |
| 11803 | * | * | F | F | * | * | * | * | F | F | T |
| 11804 | * | * | F | F | * | * | * | * | F | F | T |
| 11805 | * | * | F | F | * | * | * | * | F | F | T |
| 11806 | * | * | F | F | * | * | * | * | F | F | T |
| 11807 | * | * | F | F | * | * | * | * | F | F | T |
| 13172 | * | * | F | F | * | * | * | * | * | * | T |
| 13173 | * | * | F | F | * | * | * | * | * | * | T |
| 13174 | * | * | F | F | * | * | * | * | * | * | T |
| 13175 | * | * | F | F | * | * | * | * | * | * | T |
| 13176 | * | * | F | F | * | * | * | * | * | * | T |
| 13177 | * | * | F | F | * | * | * | * | * | * | T |
| 13178 | * | * | F | F | * | * | * | * | F | F | T |
| 13179 | * | * | F | F | * | * | * | * | F | F | T |
| 13180 | * | * | F | F | * | * | * | * | F | F | T |
| 13181 | * | * | F | F | * | * | * | * | F | F | T |
| 13182 | * | * | F | F | * | * | * | * | F | F | T |
| 13183 | * | * | F | F | * | * | * | * | F | F | T |
| 14497 | * | * | F | F | * | * | * | * | * | * | T |
| 14498 | * | * | F | F | * | * | * | * | * | * | T |
| 14499 | * | * | F | F | * | * | * | * | * | * | T |
| 14500 | * | * | F | F | * | * | * | * | * | * | T |
| 14501 | * | * | F | F | * | * | * | * | * | * | T |
| 14502 | * | * | F | F | * | * | * | * | * | * | T |
| 14503 | * | * | F | F | * | * | * | * | F | F | T |
| 14504 | * | * | F | F | * | * | * | * | F | F | T |
| 14505 | * | * | F | F | * | * | * | * | F | F | T |
| 14506 | * | * | F | F | * | * | * | * | F | F | T |
| 14507 | * | * | F | F | * | * | * | * | F | F | T |
| 14508 | * | * | F | F | * | * | * | * | F | F | T |
| 16227 | * | * | F | F | * | * | * | * | * | * | T |
| 16228 | * | * | F | F | T | * | * | * | * | * | T |
| 16229 | * | * | F | F | * | * | * | * | * | * | T |
| 16230 | * | * | F | F | * | * | * | * | * | * | T |
| 16231 | * | * | F | F | * | * | * | * | * | * | T |
| 16232 | * | * | F | F | F | F | F | F | * | * | T |
| 16233 | * | * | F | F | * | * | * | * | * | * | T |
| 16234 | * | * | F | F | * | * | * | * | * | * | T |
| 16235 | * | * | F | F | * | * | * | * | * | * | T |
| 16236 | * | * | F | F | F | F | F | F | * | * | T |
| 16237 | * | * | F | F | * | * | * | * | * | * | T |
| 16238 | * | * | F | F | * | * | * | * | * | * | T |
| 16239 | * | * | F | F | * | * | * | * | * | * | T |
| 16240 | * | * | F | F | F | F | F | F | * | * | T |
| 16241 | * | * | F | F | * | * | * | * | * | * | T |
| 16242 | * | * | F | F | * | * | * | * | * | * | T |
| 16243 | * | * | F | F | * | * | * | * | F | F | T |
| 16244 | * | * | F | F | T | * | * | * | F | F | T |
| 16245 | * | * | F | F | * | * | * | * | * | * | T |
| 16246 | * | * | F | F | * | * | * | * | * | * | T |
| 16247 | * | * | F | F | * | * | * | * | * | * | T |
| 16248 | * | * | F | F | F | F | F | F | * | * | T |
| 16249 | * | * | F | F | * | * | * | * | * | * | T |
| 16250 | * | * | F | F | * | * | * | * | * | * | T |
| 16251 | * | * | F | F | * | * | * | * | * | * | T |
| 16252 | * | * | F | F | F | F | F | F | * | * | T |
| 16253 | * | * | F | F | * | * | * | * | F | F | T |
| 16254 | * | * | F | F | * | * | * | * | F | F | T |
| 16255 | * | * | F | F | * | * | * | * | F | F | T |
| 16256 | * | * | F | F | F | F | F | F | F | F | T |
| 16257 | * | * | F | F | * | * | * | * | F | F | T |
| 16258 | * | * | F | F | * | * | * | * | F | F | T |
| 25707 | * | * | F | F | * | * | * | * | * | * | T |
| 25708 | * | * | F | F | T | * | * | * | * | * | T |
| 25709 | * | * | F | F | * | * | * | * | * | * | T |
| 25710 | * | * | F | F | * | * | * | * | * | * | T |
| 25711 | * | * | F | F | * | * | * | * | * | * | T |
| 25712 | * | * | F | F | F | F | F | F | * | * | T |
| 25713 | * | * | F | F | * | * | * | * | * | * | T |
| 25714 | * | * | F | F | * | * | * | * | * | * | T |
| 25715 | * | * | F | F | * | * | * | * | * | * | T |
| 25716 | * | * | F | F | F | F | F | F | * | * | T |
| 25717 | * | * | F | F | * | * | * | * | * | * | T |
| 25718 | * | * | F | F | * | * | * | * | * | * | T |
| 25719 | * | * | F | F | * | * | * | * | * | * | T |
| 25720 | * | * | F | F | F | F | F | F | * | * | T |
| 25721 | * | * | F | F | * | * | * | * | * | * | T |
| 25722 | * | * | F | F | * | * | * | * | * | * | T |
| 25723 | * | * | F | F | * | * | * | * | F | F | T |
| 25724 | * | * | F | F | T | * | * | * | F | F | T |
| 25725 | * | * | F | F | * | * | * | * | * | * | T |
| 25726 | * | * | F | F | * | * | * | * | * | * | T |
| 25727 | * | * | F | F | * | * | * | * | * | * | T |
| 25728 | * | * | F | F | F | F | F | F | * | * | T |
| 25729 | * | * | F | F | * | * | * | * | * | * | T |
| 25730 | * | * | F | F | * | * | * | * | * | * | T |
| 25731 | * | * | F | F | * | * | * | * | * | * | T |
| 25732 | * | * | F | F | F | F | F | F | * | * | T |
| 25733 | * | * | F | F | * | * | * | * | F | F | T |
| 25734 | * | * | F | F | * | * | * | * | F | F | T |
| 25735 | * | * | F | F | * | * | * | * | F | F | T |
| 25736 | * | * | F | F | F | F | F | F | F | F | T |
| 25737 | * | * | F | F | * | * | * | * | F | F | T |
| 25738 | * | * | F | F | * | * | * | * | F | F | T |
| 35170 | * | * | F | F | * | * | * | * | * | * | T |
| 35171 | * | * | F | F | * | * | * | * | * | * | T |
| 35172 | * | * | F | F | * | * | * | * | * | * | T |
| 35173 | * | * | F | F | F | F | F | F | * | * | T |
| 35174 | * | * | F | F | * | * | * | * | * | * | T |
| 35175 | * | * | F | F | * | * | * | * | * | * | T |
| 35176 | * | * | F | F | * | * | * | * | * | * | T |
| 35177 | * | * | F | F | F | F | F | F | * | * | T |
| 35178 | * | * | F | F | * | * | * | * | * | * | T |
| 35179 | * | * | F | F | * | * | * | * | * | * | T |
| 35180 | * | * | F | F | * | * | * | * | * | * | T |
| 35181 | * | * | F | F | F | F | F | F | * | * | T |
| 35182 | * | * | F | F | * | * | * | * | * | * | T |
| 35183 | * | * | F | F | * | * | * | * | * | * | T |
| 35184 | * | * | F | F | * | * | * | * | * | * | T |
| 35185 | * | * | F | F | F | F | F | F | * | * | T |
| 35186 | * | * | F | F | * | * | * | * | * | * | T |
| 35187 | * | * | F | F | * | * | * | * | * | * | T |
| 35188 | * | * | F | F | * | * | * | * | * | * | T |
| 35189 | * | * | F | F | F | F | F | F | * | * | T |
| 35190 | * | * | F | F | * | * | * | * | * | * | T |
| 35191 | * | * | F | F | * | * | * | * | * | * | T |
| 35192 | * | * | F | F | * | * | * | * | * | * | T |
| 35193 | * | * | F | F | F | F | F | F | * | * | T |
| 35194 | * | * | F | F | * | * | * | * | * | * | T |
| 35195 | * | * | F | F | * | * | * | * | * | * | T |
| 35196 | * | * | F | F | * | * | * | * | * | * | T |
| 35197 | * | * | F | F | F | F | F | F | * | * | T |
| 35198 | * | * | F | F | * | * | * | * | * | * | T |
| 35199 | * | * | F | F | * | * | * | * | * | * | T |
| 35200 | * | * | F | F | * | * | * | * | * | * | T |
| 35201 | * | * | F | F | * | * | * | * | * | * | T |
| 35202 | * | * | F | F | * | * | * | * | * | * | T |
| 35203 | * | * | F | F | F | F | F | F | * | * | T |
| 35204 | * | * | F | F | * | * | * | * | * | * | T |
| 35205 | * | * | F | F | * | * | * | * | * | * | T |
| 35206 | * | * | F | F | * | * | * | * | * | * | T |
| 35207 | * | * | F | F | F | F | F | F | * | * | T |
| 35208 | * | * | F | F | * | * | * | * | * | * | T |
| 35209 | * | * | F | F | * | * | * | * | * | * | T |
| 35210 | * | * | F | F | * | * | * | * | * | * | T |
| 35211 | * | * | F | F | F | F | F | F | * | * | T |
| 35212 | * | * | F | F | * | * | * | * | * | * | T |
| 35213 | * | * | F | F | * | * | * | * | * | * | T |
| 35214 | * | * | F | F | * | * | * | * | * | * | T |
| 35215 | * | * | F | F | F | F | F | F | * | * | T |
| 35216 | * | * | F | F | * | * | * | * | * | * | T |
| 35217 | * | * | F | F | * | * | * | * | * | * | T |
| 35218 | * | * | F | F | * | * | * | * | * | * | T |
| 35219 | * | * | F | F | F | F | F | F | * | * | T |
| 35220 | * | * | F | F | * | * | * | * | * | * | T |
| 35221 | * | * | F | F | * | * | * | * | * | * | T |
| 35222 | * | * | F | F | * | * | * | * | * | * | T |
| 35223 | * | * | F | F | F | F | F | F | * | * | T |
| 35224 | * | * | F | F | * | * | * | * | F | F | T |
| 35225 | * | * | F | F | * | * | * | * | F | F | T |
| 35226 | * | * | F | F | * | * | * | * | F | F | T |
| 35227 | * | * | F | F | F | F | F | F | F | F | T |
| 35228 | * | * | F | F | * | * | * | * | F | F | T |
| 35229 | * | * | F | F | * | * | * | * | F | F | T |
| 41383 | * | * | F | F | * | * | * | * | * | * | T |
| 41384 | * | * | F | F | * | * | * | * | * | * | T |
| 41385 | * | * | F | F | * | * | * | * | * | * | T |
| 41386 | * | * | F | F | F | F | F | F | * | * | T |
| 41387 | * | * | F | F | * | * | * | * | * | * | T |
| 41388 | * | * | F | F | * | * | * | * | * | * | T |
| 41389 | * | * | F | F | * | * | * | * | * | * | T |
| 41390 | * | * | F | F | F | F | F | F | * | * | T |
| 41391 | * | * | F | F | * | * | * | * | * | * | T |
| 41392 | * | * | F | F | * | * | * | * | * | * | T |
| 41393 | * | * | F | F | * | * | * | * | * | * | T |
| 41394 | * | * | F | F | F | F | F | F | * | * | T |
| 41395 | * | * | F | F | * | * | * | * | * | * | T |
| 41396 | * | * | F | F | * | * | * | * | * | * | T |
| 41397 | * | * | F | F | * | * | * | * | * | * | T |
| 41398 | * | * | F | F | F | F | F | F | * | * | T |
| 41399 | * | * | F | F | * | * | * | * | * | * | T |
| 41400 | * | * | F | F | * | * | * | * | * | * | T |
| 41401 | * | * | F | F | * | * | * | * | * | * | T |
| 41402 | * | * | F | F | F | F | F | F | * | * | T |
| 41403 | * | * | F | F | * | * | * | * | * | * | T |
| 41404 | * | * | F | F | * | * | * | * | * | * | T |
| 41405 | * | * | F | F | * | * | * | * | * | * | T |
| 41406 | * | * | F | F | F | F | F | F | * | * | T |
| 41407 | * | * | F | F | * | * | * | * | * | * | T |
| 41408 | * | * | F | F | * | * | * | * | * | * | T |
| 41409 | * | * | F | F | * | * | * | * | * | * | T |
| 41410 | * | * | F | F | F | F | F | F | * | * | T |
| 41411 | * | * | F | F | * | * | * | * | * | * | T |
| 41412 | * | * | F | F | * | * | * | * | * | * | T |
| 41413 | * | * | F | F | * | * | * | * | * | * | T |
| 41414 | * | * | F | F | * | * | * | * | * | * | T |
| 41415 | * | * | F | F | * | * | * | * | * | * | T |
| 41416 | * | * | F | F | F | F | F | F | * | * | T |
| 41417 | * | * | F | F | * | * | * | * | * | * | T |
| 41418 | * | * | F | F | * | * | * | * | * | * | T |
| 41419 | * | * | F | F | * | * | * | * | * | * | T |
| 41420 | * | * | F | F | F | F | F | F | * | * | T |
| 41421 | * | * | F | F | * | * | * | * | * | * | T |
| 41422 | * | * | F | F | * | * | * | * | * | * | T |
| 41423 | * | * | F | F | * | * | * | * | * | * | T |
| 41424 | * | * | F | F | F | F | F | F | * | * | T |
| 41425 | * | * | F | F | * | * | * | * | * | * | T |
| 41426 | * | * | F | F | * | * | * | * | * | * | T |
| 41427 | * | * | F | F | * | * | * | * | * | * | T |
| 41428 | * | * | F | F | F | F | F | F | * | * | T |
| 41429 | * | * | F | F | * | * | * | * | * | * | T |
| 41430 | * | * | F | F | * | * | * | * | * | * | T |
| 41431 | * | * | F | F | * | * | * | * | * | * | T |
| 41432 | * | * | F | F | F | F | F | F | * | * | T |
| 41433 | * | * | F | F | * | * | * | * | * | * | T |
| 41434 | * | * | F | F | * | * | * | * | * | * | T |
| 41435 | * | * | F | F | * | * | * | * | * | * | T |
| 41436 | * | * | F | F | F | F | F | F | * | * | T |
| 41437 | * | * | F | F | * | * | * | * | F | F | T |
| 41438 | * | * | F | F | * | * | * | * | F | F | T |
| 41439 | * | * | F | F | * | * | * | * | F | F | T |
| 41440 | * | * | F | F | F | F | F | F | F | F | T |
| 41441 | * | * | F | F | * | * | * | * | F | F | T |
| 41442 | * | * | F | F | * | * | * | * | F | F | T |
| 47516 | * | * | F | F | * | * | * | * | * | * | T |
| 47517 | * | * | F | F | * | * | * | * | * | * | T |
| 47518 | * | * | F | F | * | * | * | * | * | * | T |
| 47519 | * | * | F | F | * | * | * | * | * | * | T |
| 47520 | * | * | F | F | * | * | * | * | * | * | T |
| 47521 | * | * | F | F | * | * | * | * | * | * | T |
| 47522 | * | * | F | F | * | * | * | * | * | * | T |
| 47523 | * | * | F | F | * | * | * | * | * | * | T |
| 47524 | T | * | F | F | * | * | * | * | * | * | T |
| 47525 | * | * | F | F | * | * | * | * | * | * | T |
| 47526 | * | * | F | F | * | * | * | * | * | * | T |
| 47527 | * | * | F | F | * | * | * | * | * | * | T |
| 47528 | * | * | F | F | * | * | * | * | * | * | T |
| 47529 | * | * | F | F | * | * | * | * | * | * | T |
| 47530 | * | * | F | F | * | * | * | * | * | * | T |
| 47531 | * | * | F | F | * | * | * | * | * | * | T |
| 47532 | * | * | F | F | * | * | * | * | * | * | T |
| 47533 | * | * | F | F | * | * | * | * | * | * | T |
| 47534 | * | * | F | F | * | * | * | * | F | F | T |
| 47535 | * | * | F | F | * | * | * | * | F | F | T |
| 47536 | * | * | F | F | * | * | * | * | F | F | T |
| 47537 | * | * | F | F | * | * | * | * | F | F | T |
| 47538 | * | * | F | F | * | * | * | * | F | F | T |
| 47539 | * | * | F | F | * | * | * | * | * | * | T |
| 47540 | * | * | F | F | * | * | * | * | * | * | T |
| 47541 | * | * | F | F | * | * | * | * | * | * | T |
| 47542 | T | * | F | F | * | * | * | * | * | * | T |
| 47543 | * | * | F | F | * | * | * | * | F | F | T |
| 47544 | * | * | F | F | * | * | * | * | F | F | T |
| 47545 | * | * | F | F | * | * | * | * | F | F | T |
| 47546 | * | * | F | F | * | * | * | * | F | F | T |
| 47547 | * | * | F | F | * | * | * | * | F | F | T |
| 47548 | * | * | F | F | * | * | * | * | F | F | T |
| 47549 | * | * | F | F | * | * | * | * | F | F | T |
| 47550 | * | * | F | F | * | * | * | * | F | F | T |
| 47551 | * | * | F | F | * | * | * | * | F | F | T |
| 51644 | * | * | F | F | * | * | * | * | * | * | T |
| 51645 | * | * | F | F | * | * | * | * | * | * | T |
| 51646 | * | * | F | F | * | * | * | * | * | * | T |
| 51647 | * | * | F | F | * | * | * | * | * | * | T |
| 51648 | * | * | F | F | * | * | * | * | * | * | T |
| 51649 | * | * | F | F | * | * | * | * | * | * | T |
| 51650 | * | * | F | F | * | * | * | * | * | * | T |
| 51651 | * | * | F | F | * | * | * | * | * | * | T |
| 51652 | T | * | F | F | * | * | * | * | * | * | T |
| 51653 | * | * | F | F | * | * | * | * | * | * | T |
| 51654 | * | * | F | F | * | * | * | * | * | * | T |
| 51655 | * | * | F | F | * | * | * | * | * | * | T |
| 51656 | * | * | F | F | * | * | * | * | * | * | T |
| 51657 | * | * | F | F | * | * | * | * | * | * | T |
| 51658 | * | * | F | F | * | * | * | * | * | * | T |
| 51659 | * | * | F | F | * | * | * | * | * | * | T |
| 51660 | * | * | F | F | * | * | * | * | * | * | T |
| 51661 | * | * | F | F | * | * | * | * | * | * | T |
| 51662 | * | * | F | F | * | * | * | * | F | F | T |
| 51663 | * | * | F | F | * | * | * | * | F | F | T |
| 51664 | * | * | F | F | * | * | * | * | F | F | T |
| 51665 | * | * | F | F | * | * | * | * | F | F | T |
| 51666 | * | * | F | F | * | * | * | * | F | F | T |
| 51667 | * | * | F | F | * | * | * | * | * | * | T |
| 51668 | * | * | F | F | * | * | * | * | * | * | T |
| 51669 | * | * | F | F | * | * | * | * | * | * | T |
| 51670 | T | * | F | F | * | * | * | * | * | * | T |
| 51671 | * | * | F | F | * | * | * | * | F | F | T |
| 51672 | * | * | F | F | * | * | * | * | F | F | T |
| 51673 | * | * | F | F | * | * | * | * | F | F | T |
| 51674 | * | * | F | F | * | * | * | * | F | F | T |
| 51675 | * | * | F | F | * | * | * | * | F | F | T |
| 51676 | * | * | F | F | * | * | * | * | F | F | T |
| 51677 | * | * | F | F | * | * | * | * | F | F | T |
| 51678 | * | * | F | F | * | * | * | * | F | F | T |
| 51679 | * | * | F | F | * | * | * | * | F | F | T |
| 56182 | * | * | F | F | * | * | * | * | * | * | T |
| 56183 | * | * | F | F | * | * | * | * | * | * | T |
| 56184 | * | * | F | F | * | * | * | * | * | * | T |
| 56185 | * | * | F | F | * | * | * | * | * | * | T |
| 56186 | * | * | F | F | * | * | * | * | * | * | T |
| 56187 | * | * | F | F | * | * | * | * | * | * | T |
| 56188 | * | * | F | F | * | * | * | * | * | * | T |
| 56189 | * | * | F | F | * | * | * | * | * | * | T |
| 56190 | T | * | F | F | * | * | * | * | * | * | T |
| 56191 | * | * | F | F | * | * | * | * | * | * | T |
| 56192 | * | * | F | F | * | * | * | * | * | * | T |
| 56193 | * | * | F | F | * | * | * | * | * | * | T |
| 56194 | * | * | F | F | * | * | * | * | * | * | T |
| 56195 | * | * | F | F | * | * | * | * | * | * | T |
| 56196 | * | * | F | F | * | * | * | * | * | * | T |
| 56197 | * | * | F | F | * | * | * | * | * | * | T |
| 56198 | * | * | F | F | * | * | * | * | * | * | T |
| 56199 | * | * | F | F | * | * | * | * | * | * | T |
| 56200 | * | * | F | F | * | * | * | * | F | F | T |
| 56201 | * | * | F | F | * | * | * | * | F | F | T |
| 56202 | * | * | F | F | * | * | * | * | F | F | T |
| 56203 | * | * | F | F | * | * | * | * | F | F | T |
| 56204 | * | * | F | F | * | * | * | * | F | F | T |
| 56205 | * | * | F | F | * | * | * | * | * | * | T |
| 56206 | * | * | F | F | * | * | * | * | * | * | T |
| 56207 | * | * | F | F | * | * | * | * | * | * | T |
| 56208 | T | * | F | F | * | * | * | * | * | * | T |
| 56209 | * | * | F | F | * | * | * | * | F | F | T |
| 56210 | * | * | F | F | * | * | * | * | F | F | T |
| 56211 | * | * | F | F | * | * | * | * | F | F | T |
| 56212 | * | * | F | F | * | * | * | * | F | F | T |
| 56213 | * | * | F | F | * | * | * | * | F | F | T |
| 56214 | * | * | F | F | * | * | * | * | F | F | T |
| 56215 | * | * | F | F | * | * | * | * | F | F | T |
| 56216 | * | * | F | F | * | * | * | * | F | F | T |
| 56217 | * | * | F | F | * | * | * | * | F | F | T |
| 60440 | * | * | F | F | * | * | * | * | * | * | T |
| 60441 | * | * | F | F | * | * | * | * | * | * | T |
| 60442 | * | * | F | F | * | * | * | * | * | * | T |
| 60443 | * | * | F | F | * | * | * | * | * | * | T |
| 60444 | * | * | F | F | * | * | * | * | * | * | T |
| 60445 | * | * | F | F | * | * | * | * | * | * | T |
| 60446 | * | * | F | F | * | * | * | * | * | * | T |
| 60447 | * | * | F | F | * | * | * | * | * | * | T |
| 60448 | T | * | F | F | * | * | * | * | * | * | T |
| 60449 | * | * | F | F | * | * | * | * | * | * | T |
| 60450 | * | * | F | F | * | * | * | * | * | * | T |
| 60451 | * | * | F | F | * | * | * | * | * | * | T |
| 60452 | * | * | F | F | * | * | * | * | * | * | T |
| 60453 | * | * | F | F | * | * | * | * | * | * | T |
| 60454 | * | * | F | F | * | * | * | * | * | * | T |
| 60455 | * | * | F | F | * | * | * | * | * | * | T |
| 60456 | * | * | F | F | * | * | * | * | * | * | T |
| 60457 | * | * | F | F | * | * | * | * | * | * | T |
| 60458 | * | * | F | F | * | * | * | * | F | F | T |
| 60459 | * | * | F | F | * | * | * | * | F | F | T |
| 60460 | * | * | F | F | * | * | * | * | F | F | T |
| 60461 | * | * | F | F | * | * | * | * | F | F | T |
| 60462 | * | * | F | F | * | * | * | * | F | F | T |
| 60463 | * | * | F | F | * | * | * | * | * | * | T |
| 60464 | * | * | F | F | * | * | * | * | * | * | T |
| 60465 | * | * | F | F | * | * | * | * | * | * | T |
| 60466 | T | * | F | F | * | * | * | * | * | * | T |
| 60467 | * | * | F | F | * | * | * | * | F | F | T |
| 60468 | * | * | F | F | * | * | * | * | F | F | T |
| 60469 | * | * | F | F | * | * | * | * | F | F | T |
| 60470 | * | * | F | F | * | * | * | * | F | F | T |
| 60471 | * | * | F | F | * | * | * | * | F | F | T |
| 60472 | * | * | F | F | * | * | * | * | F | F | T |
| 60473 | * | * | F | F | * | * | * | * | F | F | T |
| 60474 | * | * | F | F | * | * | * | * | F | F | T |
| 60475 | * | * | F | F | * | * | * | * | F | F | T |
| 64718 | * | * | F | F | * | * | * | * | * | * | T |
| 64719 | * | * | F | F | F | F | F | F | * | * | T |
| 64720 | * | * | F | F | * | * | * | * | * | * | T |
| 64721 | * | * | F | F | * | * | * | * | * | * | T |
| 64722 | * | * | F | F | * | * | * | * | * | * | T |
| 64723 | * | * | F | F | F | F | F | F | * | * | T |
| 64724 | * | * | F | F | * | * | * | * | * | * | T |
| 64725 | * | * | F | F | F | F | F | F | * | * | T |
| 64726 | * | * | F | F | * | * | * | * | * | * | T |
| 64727 | * | * | F | F | * | * | * | * | * | * | T |
| 64728 | * | * | F | F | * | * | * | * | * | * | T |
| 64729 | * | * | F | F | F | F | F | F | * | * | T |
| 64730 | * | * | F | F | * | * | * | * | * | * | T |
| 64731 | * | * | F | F | F | F | F | F | * | * | T |
| 64732 | * | * | F | F | * | * | * | * | * | * | T |
| 64733 | * | * | F | F | * | * | * | * | * | * | T |
| 64734 | * | * | F | F | * | * | * | * | * | * | T |
| 64735 | * | * | F | F | F | F | F | F | * | * | T |
| 64736 | * | * | F | F | * | * | * | * | * | * | T |
| 64737 | * | * | F | F | F | F | F | F | * | * | T |
| 64738 | * | * | F | F | * | * | * | * | * | * | T |
| 64739 | * | * | F | F | * | * | * | * | * | * | T |
| 64740 | * | * | F | F | * | * | * | * | * | * | T |
| 64741 | * | * | F | F | F | F | F | F | * | * | T |
| 64742 | * | * | F | F | * | * | * | * | * | * | T |
| 64743 | * | * | F | F | * | * | * | * | * | * | T |
| 64744 | * | * | F | F | * | * | * | * | * | * | T |
| 64745 | * | * | F | F | F | F | F | F | * | * | T |
| 64746 | * | * | F | F | * | * | * | * | * | * | T |
| 64747 | * | * | F | F | * | * | * | * | * | * | T |
| 64748 | * | * | F | F | * | * | * | * | * | * | T |
| 64749 | * | * | F | F | F | F | F | F | * | * | T |
| 64750 | * | * | F | F | * | * | * | * | * | * | T |
| 64751 | * | * | F | F | F | F | F | F | * | * | T |
| 64752 | * | * | F | F | * | * | * | * | * | * | T |
| 64753 | * | * | F | F | * | * | * | * | * | * | T |
| 64754 | * | * | F | F | * | * | * | * | * | * | T |
| 64755 | * | * | F | F | F | F | F | F | * | * | T |
| 64756 | * | * | F | F | * | * | * | * | * | * | T |
| 64757 | * | * | F | F | F | F | F | F | * | * | T |
| 64758 | * | * | F | F | * | * | * | * | * | * | T |
| 64759 | * | * | F | F | * | * | * | * | * | * | T |
| 64760 | * | * | F | F | * | * | * | * | * | * | T |
| 64761 | * | * | F | F | F | F | F | F | * | * | T |
| 64762 | * | * | F | F | * | * | * | * | F | F | T |
| 64763 | * | * | F | F | F | F | F | F | F | F | T |
| 64764 | * | * | F | F | * | * | * | * | F | F | T |
| 64765 | * | * | F | F | * | * | * | * | F | F | T |
| 64766 | * | * | F | F | * | * | * | * | F | F | T |
| 64767 | * | * | F | F | F | F | F | F | F | F | T |
| 64768 | * | * | F | F | * | * | * | * | F | F | T |
| 64769 | * | * | F | F | * | * | * | * | F | F | T |
| 76231 | * | * | F | F | * | * | * | * | * | * | T |
| 76232 | * | * | F | F | F | F | F | F | * | * | T |
| 76233 | * | * | F | F | * | * | * | * | * | * | T |
| 76234 | * | * | F | F | * | * | * | * | * | * | T |
| 76235 | * | * | F | F | * | * | * | * | * | * | T |
| 76236 | * | * | F | F | F | F | F | F | * | * | T |
| 76237 | * | * | F | F | * | * | * | * | * | * | T |
| 76238 | * | * | F | F | F | F | F | F | * | * | T |
| 76239 | * | * | F | F | * | * | * | * | * | * | T |
| 76240 | * | * | F | F | * | * | * | * | * | * | T |
| 76241 | * | * | F | F | * | * | * | * | * | * | T |
| 76242 | * | * | F | F | F | F | F | F | * | * | T |
| 76243 | * | * | F | F | * | * | * | * | * | * | T |
| 76244 | * | * | F | F | F | F | F | F | * | * | T |
| 76245 | * | * | F | F | * | * | * | * | * | * | T |
| 76246 | * | * | F | F | * | * | * | * | * | * | T |
| 76247 | * | * | F | F | * | * | * | * | * | * | T |
| 76248 | * | * | F | F | F | F | F | F | * | * | T |
| 76249 | * | * | F | F | * | * | * | * | * | * | T |
| 76250 | * | * | F | F | F | F | F | F | * | * | T |
| 76251 | * | * | F | F | * | * | * | * | * | * | T |
| 76252 | * | * | F | F | * | * | * | * | * | * | T |
| 76253 | * | * | F | F | * | * | * | * | * | * | T |
| 76254 | * | * | F | F | F | F | F | F | * | * | T |
| 76255 | * | * | F | F | * | * | * | * | * | * | T |
| 76256 | * | * | F | F | * | * | * | * | * | * | T |
| 76257 | * | * | F | F | * | * | * | * | * | * | T |
| 76258 | * | * | F | F | F | F | F | F | * | * | T |
| 76259 | * | * | F | F | * | * | * | * | * | * | T |
| 76260 | * | * | F | F | * | * | * | * | * | * | T |
| 76261 | * | * | F | F | * | * | * | * | * | * | T |
| 76262 | * | * | F | F | F | F | F | F | * | * | T |
| 76263 | * | * | F | F | * | * | * | * | * | * | T |
| 76264 | * | * | F | F | F | F | F | F | * | * | T |
| 76265 | * | * | F | F | * | * | * | * | * | * | T |
| 76266 | * | * | F | F | * | * | * | * | * | * | T |
| 76267 | * | * | F | F | * | * | * | * | * | * | T |
| 76268 | * | * | F | F | F | F | F | F | * | * | T |
| 76269 | * | * | F | F | * | * | * | * | * | * | T |
| 76270 | * | * | F | F | F | F | F | F | * | * | T |
| 76271 | * | * | F | F | * | * | * | * | * | * | T |
| 76272 | * | * | F | F | * | * | * | * | * | * | T |
| 76273 | * | * | F | F | * | * | * | * | * | * | T |
| 76274 | * | * | F | F | F | F | F | F | * | * | T |
| 76275 | * | * | F | F | * | * | * | * | F | F | T |
| 76276 | * | * | F | F | F | F | F | F | F | F | T |
| 76277 | * | * | F | F | * | * | * | * | F | F | T |
| 76278 | * | * | F | F | * | * | * | * | F | F | T |
| 76279 | * | * | F | F | * | * | * | * | F | F | T |
| 76280 | * | * | F | F | F | F | F | F | F | F | T |
| 76281 | * | * | F | F | * | * | * | * | F | F | T |
| 76282 | * | * | F | F | * | * | * | * | F | F | T |
| 87730 | * | * | F | F | * | * | * | * | * | * | T |
| 87731 | * | * | F | F | * | * | * | * | * | * | T |
| 87732 | * | * | F | F | * | * | * | * | * | * | T |
| 87733 | * | * | F | F | * | * | * | * | * | * | T |
| 87734 | * | * | F | F | * | * | * | * | * | * | T |
| 87735 | * | * | F | F | * | * | * | * | * | * | T |
| 87736 | * | * | F | F | * | * | * | * | * | * | T |
| 87737 | * | * | F | F | * | * | * | * | * | * | T |
| 87738 | * | * | F | F | * | * | * | * | * | * | T |
| 87739 | * | * | F | F | * | * | * | * | * | * | T |
| 87740 | * | * | F | F | * | * | * | * | * | * | T |
| 87741 | * | * | F | F | * | * | * | * | * | * | T |
| 87742 | * | * | F | F | * | * | * | * | * | * | T |
| 87743 | * | * | F | F | * | * | * | * | * | * | T |
| 87744 | * | * | F | F | * | * | * | * | * | * | T |
| 87745 | * | * | F | F | * | * | * | * | * | * | T |
| 87746 | * | * | F | F | * | * | * | * | * | * | T |
| 87747 | * | * | F | F | * | * | * | * | * | * | T |
| 87748 | * | * | F | F | * | * | * | * | * | * | T |
| 87749 | * | * | F | F | * | * | * | * | * | * | T |
| 87750 | * | * | F | F | * | * | * | * | * | * | T |
| 87751 | * | * | F | F | * | * | * | * | * | * | T |
| 87752 | * | * | F | F | * | * | * | * | * | * | T |
| 87753 | * | * | F | F | * | * | * | * | * | * | T |
| 87754 | * | * | F | F | * | * | * | * | F | F | T |
| 87755 | * | * | F | F | * | * | * | * | F | F | T |
| 87756 | * | * | F | F | * | * | * | * | F | F | T |
| 87757 | * | * | F | F | * | * | * | * | F | F | T |
| 87758 | * | * | F | F | * | * | * | * | F | F | T |
| 87759 | * | * | F | F | * | * | * | * | F | F | T |
| 87760 | * | * | F | F | * | * | * | * | F | F | T |
| 87761 | * | * | F | F | * | * | * | * | F | F | T |
| 87762 | * | * | F | F | * | * | * | * | F | F | T |
| 87763 | * | * | F | F | * | * | * | * | F | F | T |
| 87764 | * | * | F | F | * | * | * | * | F | F | T |
| 87765 | * | * | F | F | * | * | * | * | F | F | T |
| 87766 | * | * | F | F | * | * | * | * | F | F | T |
| 87767 | * | * | F | F | * | * | * | * | F | F | T |
| 87768 | * | * | F | F | * | * | * | * | F | F | T |
| 87769 | * | * | F | F | * | * | * | * | F | F | T |
| 87770 | * | * | F | F | * | * | * | * | F | F | T |
| 87771 | * | * | F | F | * | * | * | * | F | F | T |
| 87772 | * | * | F | F | * | * | * | * | F | F | T |
| 87773 | * | * | F | F | * | * | * | * | F | F | T |
| 87774 | * | * | F | F | * | * | * | * | F | F | T |
| 87775 | * | * | F | F | * | * | * | * | F | F | T |
| 87776 | * | * | F | F | * | * | * | * | F | F | T |
| 87777 | * | * | F | F | * | * | * | * | F | F | T |
| 91998 | * | * | F | F | * | * | * | * | * | * | T |
| 91999 | * | * | F | F | * | * | * | * | * | * | T |
| 92000 | * | * | F | F | * | * | * | * | * | * | T |
| 92001 | * | * | F | F | * | * | * | * | * | * | T |
| 92002 | * | * | F | F | * | * | * | * | * | * | T |
| 92003 | * | * | F | F | * | * | * | * | * | * | T |
| 92004 | * | * | F | F | * | * | * | * | * | * | T |
| 92005 | * | * | F | F | * | * | * | * | * | * | T |
| 92006 | * | * | F | F | * | * | * | * | * | * | T |
| 92007 | * | * | F | F | * | * | * | * | * | * | T |
| 92008 | * | * | F | F | * | * | * | * | * | * | T |
| 92009 | * | * | F | F | * | * | * | * | * | * | T |
| 92010 | * | * | F | F | * | * | * | * | * | * | T |
| 92011 | * | * | F | F | * | * | * | * | * | * | T |
| 92012 | * | * | F | F | * | * | * | * | * | * | T |
| 92013 | * | * | F | F | * | * | * | * | * | * | T |
| 92014 | * | * | F | F | * | * | * | * | * | * | T |
| 92015 | * | * | F | F | * | * | * | * | * | * | T |
| 92016 | * | * | F | F | * | * | * | * | * | * | T |
| 92017 | * | * | F | F | * | * | * | * | * | * | T |
| 92018 | * | * | F | F | * | * | * | * | * | * | T |
| 92019 | * | * | F | F | * | * | * | * | * | * | T |
| 92020 | * | * | F | F | * | * | * | * | * | * | T |
| 92021 | * | * | F | F | * | * | * | * | * | * | T |
| 92022 | * | * | F | F | * | * | * | * | F | F | T |
| 92023 | * | * | F | F | * | * | * | * | F | F | T |
| 92024 | * | * | F | F | * | * | * | * | F | F | T |
| 92025 | * | * | F | F | * | * | * | * | F | F | T |
| 92026 | * | * | F | F | * | * | * | * | F | F | T |
| 92027 | * | * | F | F | * | * | * | * | F | F | T |
| 92028 | * | * | F | F | * | * | * | * | F | F | T |
| 92029 | * | * | F | F | * | * | * | * | F | F | T |
| 92030 | * | * | F | F | * | * | * | * | F | F | T |
| 92031 | * | * | F | F | * | * | * | * | F | F | T |
| 92032 | * | * | F | F | * | * | * | * | F | F | T |
| 92033 | * | * | F | F | * | * | * | * | F | F | T |
| 92034 | * | * | F | F | * | * | * | * | F | F | T |
| 92035 | * | * | F | F | * | * | * | * | F | F | T |
| 92036 | * | * | F | F | * | * | * | * | F | F | T |
| 92037 | * | * | F | F | * | * | * | * | F | F | T |
| 92038 | * | * | F | F | * | * | * | * | F | F | T |
| 92039 | * | * | F | F | * | * | * | * | F | F | T |
| 92040 | * | * | F | F | * | * | * | * | F | F | T |
| 92041 | * | * | F | F | * | * | * | * | F | F | T |
| 92042 | * | * | F | F | * | * | * | * | F | F | T |
| 92043 | * | * | F | F | * | * | * | * | F | F | T |
| 92044 | * | * | F | F | * | * | * | * | F | F | T |
| 92045 | * | * | F | F | * | * | * | * | F | F | T |
| 95883 | * | * | T | * | * | * | * | * | * | * | T |
| 95884 | * | * | T | * | * | * | * | * | * | * | T |
| 95885 | * | * | F | F | * | * | * | * | * | * | T |
| 95886 | * | * | F | F | * | * | * | * | * | * | T |
| 95887 | * | * | T | * | * | * | * | * | * | * | T |
| 95888 | * | * | T | * | * | * | * | * | * | * | T |
| 95889 | * | * | F | F | * | * | * | * | F | F | T |
| 95890 | * | * | F | F | * | * | * | * | F | F | T |
| 95891 | * | * | T | * | * | * | * | * | * | * | T |
| 95892 | * | * | T | * | * | * | * | * | * | * | T |
| 95893 | * | * | T | * | * | * | * | * | * | * | T |
| 95894 | * | * | T | * | * | * | * | * | * | * | T |
| 97858 | * | * | F | F | * | * | * | * | * | * | T |
| 97859 | * | * | F | F | * | * | * | * | * | * | T |
| 97860 | * | * | F | F | * | * | * | * | * | * | T |
| 97861 | * | * | F | F | * | * | * | * | * | * | T |
| 97862 | * | * | F | F | * | * | * | * | * | * | T |
| 97863 | * | * | F | F | * | * | * | * | F | F | T |
| 97864 | * | * | F | F | * | * | * | * | F | F | T |
| 97865 | * | * | F | F | * | * | * | * | F | F | T |
| 97866 | * | * | F | F | * | * | * | * | F | F | T |
| 97867 | * | * | F | F | * | * | * | * | F | F | T |
| 99376 | * | * | F | F | * | * | * | * | * | * | T |
| 99377 | * | * | F | F | * | * | * | * | * | * | T |
| 99378 | * | * | F | F | * | * | * | * | * | * | T |
| 99379 | * | * | F | F | * | * | * | * | * | * | T |
| 99380 | * | * | F | F | * | * | * | * | * | * | T |
| 99381 | * | * | F | F | * | * | * | * | F | F | T |
| 99382 | * | * | F | F | * | * | * | * | F | F | T |
| 99383 | * | * | F | F | * | * | * | * | F | F | T |
| 99384 | * | * | F | F | * | * | * | * | F | F | T |
| 99385 | * | * | F | F | * | * | * | * | F | F | T |
| 100791 | * | * | F | F | * | * | * | * | * | * | T |
| 100792 | * | * | F | F | * | * | * | * | * | * | T |
| 100793 | * | * | F | F | * | * | * | * | * | * | T |
| 100794 | * | * | F | F | * | * | * | * | * | * | T |
| 100795 | * | * | F | F | * | * | * | * | * | * | T |
| 100796 | * | * | F | F | * | * | * | * | F | F | T |
| 100797 | * | * | F | F | * | * | * | * | F | F | T |
| 100798 | * | * | F | F | * | * | * | * | F | F | T |
| 100799 | * | * | F | F | * | * | * | * | F | F | T |
| 100800 | * | * | F | F | * | * | * | * | F | F | T |
| 102424 | * | * | F | F | * | * | * | * | * | * | T |
| 102425 | * | * | F | F | * | * | * | * | * | * | T |
| 102426 | * | * | F | F | * | * | * | * | * | * | T |
| 102427 | * | * | F | F | * | * | * | * | * | * | T |
| 102428 | * | * | F | F | * | * | * | * | * | * | T |
| 102429 | * | * | F | F | * | * | * | * | * | * | T |
| 102430 | * | * | F | F | * | * | * | * | * | * | T |
| 102431 | * | * | F | F | * | * | * | * | * | * | T |
| 102432 | * | * | F | F | * | * | * | * | * | * | T |
| 102433 | * | * | F | F | * | * | * | * | * | * | T |
| 102434 | * | * | F | F | * | * | * | * | F | F | T |
| 102435 | * | * | F | F | * | * | * | * | F | F | T |
| 102436 | * | * | F | F | * | * | * | * | F | F | T |
| 102437 | * | * | F | F | * | * | * | * | F | F | T |
| 102438 | * | * | F | F | * | * | * | * | F | F | T |
| 102439 | * | * | F | F | * | * | * | * | F | F | T |
| 102440 | * | * | F | F | * | * | * | * | F | F | T |
| 102441 | * | * | F | F | * | * | * | * | F | F | T |
| 102442 | * | * | F | F | * | * | * | * | F | F | T |
| 102443 | * | * | F | F | * | * | * | * | F | F | T |
| 105228 | * | * | F | F | * | * | * | * | * | * | T |
| 105229 | * | * | F | F | * | * | * | * | * | * | T |
| 105230 | * | * | F | F | * | * | * | * | * | * | T |
| 105231 | * | * | F | F | * | * | * | * | * | * | T |
| 105232 | * | * | F | F | * | * | * | * | * | * | T |
| 105233 | * | * | F | F | * | * | * | * | * | * | T |
| 105234 | * | * | F | F | * | * | * | * | * | * | T |
| 105235 | * | * | F | F | * | * | * | * | * | * | T |
| 105236 | * | * | F | F | * | * | * | * | * | * | T |
| 105237 | * | * | F | F | * | * | * | * | * | * | T |
| 105238 | * | * | F | F | * | * | * | * | * | * | T |
| 105239 | * | * | F | F | * | * | * | * | * | * | T |
| 105240 | * | * | F | F | * | * | * | * | * | * | T |
| 105241 | * | * | F | F | * | * | * | * | * | * | T |
| 105242 | * | * | F | F | * | * | * | * | * | * | T |
| 105243 | * | * | F | F | * | * | * | * | * | * | T |
| 105244 | * | * | F | F | * | * | * | * | * | * | T |
| 105245 | * | * | F | F | * | * | * | * | * | * | T |
| 105246 | * | * | F | F | * | * | * | * | * | * | T |
| 105247 | * | * | F | F | * | * | * | * | * | * | T |
| 105248 | * | * | F | F | * | * | * | * | * | * | T |
| 105249 | * | * | F | F | * | * | * | * | * | * | T |
| 105250 | * | * | F | F | * | * | * | * | * | * | T |
| 105251 | * | * | F | F | * | * | * | * | * | * | T |
| 105252 | * | * | F | F | * | * | * | * | * | * | T |
| 105253 | * | * | F | F | * | * | * | * | * | * | T |
| 105254 | * | * | F | F | * | * | * | * | * | * | T |
| 105255 | * | * | F | F | * | * | * | * | * | * | T |
| 105256 | * | * | F | F | * | * | * | * | * | * | T |
| 105257 | * | * | F | F | * | * | * | * | * | * | T |
| 105258 | * | * | F | F | * | * | * | * | F | F | T |
| 105259 | * | * | F | F | * | * | * | * | F | F | T |
| 105260 | * | * | F | F | * | * | * | * | F | F | T |
| 105261 | * | * | F | F | * | * | * | * | F | F | T |
| 105262 | * | * | F | F | * | * | * | * | F | F | T |
| 105263 | * | * | F | F | * | * | * | * | F | F | T |
| 105264 | * | * | F | F | * | * | * | * | F | F | T |
| 105265 | * | * | F | F | * | * | * | * | F | F | T |
| 105266 | * | * | F | F | * | * | * | * | F | F | T |
| 105267 | * | * | F | F | * | * | * | * | F | F | T |
| 105268 | * | * | F | F | * | * | * | * | F | F | T |
| 105269 | * | * | F | F | * | * | * | * | F | F | T |
| 105270 | * | * | F | F | * | * | * | * | F | F | T |
| 105271 | * | * | F | F | * | * | * | * | F | F | T |
| 105272 | * | * | F | F | * | * | * | * | F | F | T |
| 105273 | * | * | F | F | * | * | * | * | F | F | T |
| 105274 | * | * | F | F | * | * | * | * | F | F | T |
| 105275 | * | * | F | F | * | * | * | * | F | F | T |
| 105276 | * | * | F | F | * | * | * | * | F | F | T |
| 105277 | * | * | F | F | * | * | * | * | F | F | T |
| 105278 | * | * | F | F | * | * | * | * | F | F | T |
| 105279 | * | * | F | F | * | * | * | * | F | F | T |
| 105280 | * | * | F | F | * | * | * | * | F | F | T |
| 105281 | * | * | F | F | * | * | * | * | F | F | T |
| 105282 | * | * | F | F | * | * | * | * | F | F | T |
| 105283 | * | * | F | F | * | * | * | * | F | F | T |
| 105284 | * | * | F | F | * | * | * | * | F | F | T |
| 105285 | * | * | F | F | * | * | * | * | F | F | T |
| 105286 | * | * | F | F | * | * | * | * | F | F | T |
| 105287 | * | * | F | F | * | * | * | * | F | F | T |
| 108841 | * | * | F | F | * | * | * | * | * | * | T |
| 108842 | * | * | F | F | * | * | * | * | * | * | T |
| 108843 | * | * | F | F | * | * | * | * | * | * | T |
| 108844 | * | * | F | F | * | * | * | * | * | * | T |
| 108845 | * | * | F | F | * | * | * | * | * | * | T |
| 108846 | * | * | F | F | * | * | * | * | * | * | T |
| 108847 | * | * | F | F | * | * | * | * | F | F | T |
| 108848 | * | * | F | F | * | * | * | * | F | F | T |
| 108849 | * | * | F | F | * | * | * | * | F | F | T |
| 108850 | * | * | F | F | * | * | * | * | F | F | T |
| 108851 | * | * | F | F | * | * | * | * | F | F | T |
| 108852 | * | * | F | F | * | * | * | * | F | F | T |
| 111105 | * | * | F | F | * | * | * | * | * | * | T |
| 111106 | * | * | F | F | * | * | * | * | * | * | T |
| 111107 | * | * | F | F | * | * | * | * | * | * | T |
| 111108 | * | * | F | F | * | * | * | * | * | * | T |
| 111109 | * | * | F | F | * | * | * | * | * | * | T |
| 111110 | * | * | F | F | * | * | * | * | * | * | T |
| 111111 | * | * | F | F | * | * | * | * | * | * | T |
| 111112 | * | * | F | F | * | * | * | * | * | * | T |
| 111113 | * | * | F | F | * | * | * | * | * | * | T |
| 111114 | * | * | T | * | * | * | * | * | * | * | T |
| 111115 | * | * | T | * | * | * | * | * | * | * | T |
| 111116 | * | * | T | * | * | * | * | * | * | * | T |
| 111117 | * | * | T | * | * | * | * | * | * | * | T |
| 111118 | * | * | T | * | * | * | * | * | * | * | T |
| 111119 | * | * | T | * | * | * | * | * | * | * | T |
| 111120 | * | * | T | * | * | * | * | * | * | * | T |
| 111121 | * | * | T | * | * | * | * | * | * | * | T |
| 111122 | * | * | F | F | * | * | * | * | * | * | T |
| 111123 | * | * | F | F | * | * | * | * | * | * | T |
| 111124 | * | * | F | F | * | * | * | * | * | * | T |
| 111125 | * | * | F | F | * | * | * | * | * | * | T |
| 111126 | * | * | F | F | * | * | * | * | * | * | T |
| 111127 | * | * | F | F | * | * | * | * | * | * | T |
| 111128 | * | * | F | F | * | * | * | * | * | * | T |
| 111129 | * | * | F | F | * | * | * | * | * | * | T |
| 111130 | * | * | F | F | * | * | * | * | * | * | T |
| 111131 | * | * | T | * | * | * | * | * | * | * | T |
| 111132 | * | * | T | * | * | * | * | * | * | * | T |
| 111133 | * | * | T | * | * | * | * | * | * | * | T |
| 111134 | * | * | T | * | * | * | * | * | * | * | T |
| 111135 | * | * | T | * | * | * | * | * | * | * | T |
| 111136 | * | * | T | * | * | * | * | * | * | * | T |
| 111137 | * | * | T | * | * | * | * | * | * | * | T |
| 111138 | * | * | T | * | * | * | * | * | * | * | T |
| 111139 | * | * | F | F | * | * | * | * | F | F | T |
| 111140 | * | * | F | F | * | * | * | * | F | F | T |
| 111141 | * | * | F | F | * | * | * | * | F | F | T |
| 111142 | * | * | F | F | * | * | * | * | F | F | T |
| 111143 | * | * | F | F | * | * | * | * | F | F | T |
| 111144 | * | * | F | F | * | * | * | * | F | F | T |
| 111145 | * | * | F | F | * | * | * | * | F | F | T |
| 111146 | * | * | F | F | * | * | * | * | F | F | T |
| 111147 | * | * | F | F | * | * | * | * | F | F | T |
| 111148 | * | * | T | * | * | * | * | * | * | * | T |
| 111149 | * | * | T | * | * | * | * | * | * | * | T |
| 111150 | * | * | T | * | * | * | * | * | * | * | T |
| 111151 | * | * | T | * | * | * | * | * | * | * | T |
| 111152 | * | * | T | * | * | * | * | * | * | * | T |
| 111153 | * | * | T | * | * | * | * | * | * | * | T |
| 111154 | * | * | T | * | * | * | * | * | * | * | T |
| 111155 | * | * | T | * | * | * | * | * | * | * | T |
| 111156 | * | * | F | F | * | * | * | * | F | F | T |
| 111157 | * | * | F | F | * | * | * | * | F | F | T |
| 111158 | * | * | F | F | * | * | * | * | F | F | T |
| 111159 | * | * | F | F | * | * | * | * | F | F | T |
| 111160 | * | * | F | F | * | * | * | * | F | F | T |
| 111161 | * | * | F | F | * | * | * | * | F | F | T |
| 111162 | * | * | F | F | * | * | * | * | F | F | T |
| 111163 | * | * | F | F | * | * | * | * | F | F | T |
| 111164 | * | * | F | F | * | * | * | * | F | F | T |
| 111165 | * | * | T | * | * | * | * | * | * | * | T |
| 111166 | * | * | T | * | * | * | * | * | * | * | T |
| 111167 | * | * | T | * | * | * | * | * | * | * | T |
| 111168 | * | * | T | * | * | * | * | * | * | * | T |
| 111169 | * | * | T | * | * | * | * | * | * | * | T |
| 111170 | * | * | T | * | * | * | * | * | * | * | T |
| 111171 | * | * | T | * | * | * | * | * | * | * | T |
| 111172 | * | * | T | * | * | * | * | * | * | * | T |
| 114262 | * | * | F | F | * | * | * | * | * | * | T |
| 114263 | * | * | F | F | * | * | * | * | * | * | T |
| 114264 | * | * | F | F | * | * | * | * | * | * | T |
| 114265 | * | * | F | F | * | * | * | * | * | * | T |
| 114266 | * | * | F | F | * | * | * | * | * | * | T |
| 114267 | * | * | F | F | * | * | * | * | * | * | T |
| 114268 | * | * | F | F | * | * | * | * | * | * | T |
| 114269 | * | * | F | F | * | * | * | * | * | * | T |
| 114270 | * | * | T | * | * | * | * | * | * | * | T |
| 114271 | * | * | T | * | * | * | * | * | * | * | T |
| 114272 | * | * | T | * | * | * | * | * | * | * | T |
| 114273 | * | * | T | * | * | * | * | * | * | * | T |
| 114274 | * | * | T | * | * | * | * | * | * | * | T |
| 114275 | * | * | T | * | * | * | * | * | * | * | T |
| 114276 | * | * | T | * | * | * | * | * | * | * | T |
| 114277 | * | * | F | F | * | * | * | * | F | F | T |
| 114278 | * | * | F | F | * | * | * | * | F | F | T |
| 114279 | * | * | F | F | * | * | * | * | F | F | T |
| 114280 | * | * | F | F | * | * | * | * | F | F | T |
| 114281 | * | * | F | F | * | * | * | * | F | F | T |
| 114282 | * | * | F | F | * | * | * | * | F | F | T |
| 114283 | * | * | F | F | * | * | * | * | F | F | T |
| 114284 | * | * | F | F | * | * | * | * | F | F | T |
| 114285 | * | * | T | * | * | * | * | * | * | * | T |
| 114286 | * | * | T | * | * | * | * | * | * | * | T |
| 114287 | * | * | T | * | * | * | * | * | * | * | T |
| 114288 | * | * | T | * | * | * | * | * | * | * | T |
| 114289 | * | * | T | * | * | * | * | * | * | * | T |
| 114290 | * | * | T | * | * | * | * | * | * | * | T |
| 114291 | * | * | T | * | * | * | * | * | * | * | T |
| 117883 | * | * | F | F | * | * | * | * | * | * | T |
| 117884 | * | * | F | F | T | * | * | * | * | * | T |
| 117885 | * | * | F | F | * | * | * | * | * | * | T |
| 117886 | * | * | F | F | * | * | * | * | * | * | T |
| 117887 | * | * | F | F | * | * | * | * | * | * | T |
| 117888 | * | * | F | F | F | F | F | F | * | * | T |
| 117889 | * | * | F | F | * | * | * | * | * | * | T |
| 117890 | * | * | F | F | * | * | * | * | * | * | T |
| 117891 | * | * | F | F | * | * | * | * | * | * | T |
| 117892 | * | * | F | F | F | F | F | F | * | * | T |
| 117893 | * | * | F | F | * | * | * | * | * | * | T |
| 117894 | * | * | F | F | * | * | * | * | * | * | T |
| 117895 | * | * | F | F | * | * | * | * | * | * | T |
| 117896 | * | * | F | F | F | F | F | F | * | * | T |
| 117897 | * | * | F | F | * | * | * | * | * | * | T |
| 117898 | * | * | F | F | * | * | * | * | * | * | T |
| 117899 | * | * | F | F | * | * | * | * | * | * | T |
| 117900 | * | * | F | F | F | F | F | F | * | * | T |
| 117901 | * | * | F | F | * | * | * | * | * | * | T |
| 117902 | * | * | F | F | * | * | * | * | * | * | T |
| 117903 | * | * | F | F | * | * | * | * | * | * | T |
| 117904 | * | * | F | F | F | F | F | F | * | * | T |
| 117905 | * | * | F | F | * | * | * | * | * | * | T |
| 117906 | * | * | F | F | * | * | * | * | * | * | T |
| 117907 | * | * | F | F | * | * | * | * | * | * | T |
| 117908 | * | * | F | F | F | F | F | F | * | * | T |
| 117909 | * | * | F | F | * | * | * | * | * | * | T |
| 117910 | * | * | F | F | * | * | * | * | * | * | T |
| 117911 | * | * | F | F | * | * | * | * | * | * | T |
| 117912 | * | * | F | F | F | F | F | F | * | * | T |
| 117913 | * | * | F | F | * | * | * | * | * | * | T |
| 117914 | * | * | F | F | * | * | * | * | * | * | T |
| 117915 | * | * | F | F | * | * | * | * | * | * | T |
| 117916 | * | * | F | F | F | F | F | F | * | * | T |
| 117917 | * | * | F | F | * | * | * | * | * | * | T |
| 117918 | * | * | F | F | * | * | * | * | * | * | T |
| 117919 | * | * | F | F | * | * | * | * | * | * | T |
| 117920 | * | * | F | F | F | F | F | F | * | * | T |
| 117921 | * | * | F | F | * | * | * | * | * | * | T |
| 117922 | * | * | F | F | * | * | * | * | * | * | T |
| 117923 | * | * | F | F | * | * | * | * | * | * | T |
| 117924 | * | * | F | F | F | F | F | F | * | * | T |
| 117925 | * | * | F | F | * | * | * | * | * | * | T |
| 117926 | * | * | F | F | * | * | * | * | * | * | T |
| 117927 | * | * | F | F | * | * | * | * | F | F | T |
| 117928 | * | * | F | F | T | * | * | * | F | F | T |
| 117929 | * | * | F | F | * | * | * | * | * | * | T |
| 117930 | * | * | F | F | * | * | * | * | * | * | T |
| 117931 | * | * | F | F | * | * | * | * | * | * | T |
| 117932 | * | * | F | F | F | F | F | F | * | * | T |
| 117933 | * | * | F | F | * | * | * | * | * | * | T |
| 117934 | * | * | F | F | * | * | * | * | * | * | T |
| 117935 | * | * | F | F | * | * | * | * | * | * | T |
| 117936 | * | * | F | F | F | F | F | F | * | * | T |
| 117937 | * | * | F | F | * | * | * | * | * | * | T |
| 117938 | * | * | F | F | * | * | * | * | * | * | T |
| 117939 | * | * | F | F | * | * | * | * | * | * | T |
| 117940 | * | * | F | F | F | F | F | F | * | * | T |
| 117941 | * | * | F | F | * | * | * | * | * | * | T |
| 117942 | * | * | F | F | * | * | * | * | * | * | T |
| 117943 | * | * | F | F | * | * | * | * | * | * | T |
| 117944 | * | * | F | F | F | F | F | F | * | * | T |
| 117945 | * | * | F | F | * | * | * | * | * | * | T |
| 117946 | * | * | F | F | * | * | * | * | * | * | T |
| 117947 | * | * | F | F | * | * | * | * | * | * | T |
| 117948 | * | * | F | F | F | F | F | F | * | * | T |
| 117949 | * | * | F | F | * | * | * | * | * | * | T |
| 117950 | * | * | F | F | * | * | * | * | * | * | T |
| 117951 | * | * | F | F | * | * | * | * | * | * | T |
| 117952 | * | * | F | F | F | F | F | F | * | * | T |
| 117953 | * | * | F | F | * | * | * | * | * | * | T |
| 117954 | * | * | F | F | * | * | * | * | * | * | T |
| 117955 | * | * | F | F | * | * | * | * | * | * | T |
| 117956 | * | * | F | F | F | F | F | F | * | * | T |
| 117957 | * | * | F | F | * | * | * | * | * | * | T |
| 117958 | * | * | F | F | * | * | * | * | * | * | T |
| 117959 | * | * | F | F | * | * | * | * | * | * | T |
| 117960 | * | * | F | F | F | F | F | F | * | * | T |
| 117961 | * | * | F | F | * | * | * | * | * | * | T |
| 117962 | * | * | F | F | * | * | * | * | * | * | T |
| 117963 | * | * | F | F | * | * | * | * | * | * | T |
| 117964 | * | * | F | F | F | F | F | F | * | * | T |
| 117965 | * | * | F | F | * | * | * | * | F | F | T |
| 117966 | * | * | F | F | * | * | * | * | F | F | T |
| 117967 | * | * | F | F | * | * | * | * | F | F | T |
| 117968 | * | * | F | F | F | F | F | F | F | F | T |
| 117969 | * | * | F | F | * | * | * | * | F | F | T |
| 117970 | * | * | F | F | * | * | * | * | F | F | T |
| 140819 | * | * | F | F | * | * | * | * | * | * | T |
| 140820 | * | * | F | F | T | * | * | * | * | * | T |
| 140821 | * | * | F | F | * | * | * | * | * | * | T |
| 140822 | * | * | F | F | * | * | * | * | * | * | T |
| 140823 | * | * | F | F | * | * | * | * | * | * | T |
| 140824 | * | * | F | F | F | F | F | F | * | * | T |
| 140825 | * | * | F | F | * | * | * | * | * | * | T |
| 140826 | * | * | F | F | * | * | * | * | * | * | T |
| 140827 | * | * | F | F | * | * | * | * | * | * | T |
| 140828 | * | * | F | F | F | F | F | F | * | * | T |
| 140829 | * | * | F | F | * | * | * | * | * | * | T |
| 140830 | * | * | F | F | * | * | * | * | * | * | T |
| 140831 | * | * | F | F | * | * | * | * | * | * | T |
| 140832 | * | * | F | F | F | F | F | F | * | * | T |
| 140833 | * | * | F | F | * | * | * | * | * | * | T |
| 140834 | * | * | F | F | * | * | * | * | * | * | T |
| 140835 | * | * | F | F | * | * | * | * | * | * | T |
| 140836 | * | * | F | F | F | F | F | F | * | * | T |
| 140837 | * | * | F | F | * | * | * | * | * | * | T |
| 140838 | * | * | F | F | * | * | * | * | * | * | T |
| 140839 | * | * | F | F | * | * | * | * | * | * | T |
| 140840 | * | * | F | F | F | F | F | F | * | * | T |
| 140841 | * | * | F | F | * | * | * | * | * | * | T |
| 140842 | * | * | F | F | * | * | * | * | * | * | T |
| 140843 | * | * | F | F | * | * | * | * | * | * | T |
| 140844 | * | * | F | F | F | F | F | F | * | * | T |
| 140845 | * | * | F | F | * | * | * | * | * | * | T |
| 140846 | * | * | F | F | * | * | * | * | * | * | T |
| 140847 | * | * | F | F | * | * | * | * | * | * | T |
| 140848 | * | * | F | F | F | F | F | F | * | * | T |
| 140849 | * | * | F | F | * | * | * | * | * | * | T |
| 140850 | * | * | F | F | * | * | * | * | * | * | T |
| 140851 | * | * | F | F | * | * | * | * | * | * | T |
| 140852 | * | * | F | F | F | F | F | F | * | * | T |
| 140853 | * | * | F | F | * | * | * | * | * | * | T |
| 140854 | * | * | F | F | * | * | * | * | * | * | T |
| 140855 | * | * | F | F | * | * | * | * | * | * | T |
| 140856 | * | * | F | F | F | F | F | F | * | * | T |
| 140857 | * | * | F | F | * | * | * | * | * | * | T |
| 140858 | * | * | F | F | * | * | * | * | * | * | T |
| 140859 | * | * | F | F | * | * | * | * | * | * | T |
| 140860 | * | * | F | F | F | F | F | F | * | * | T |
| 140861 | * | * | F | F | * | * | * | * | * | * | T |
| 140862 | * | * | F | F | * | * | * | * | * | * | T |
| 140863 | * | * | F | F | * | * | * | * | F | F | T |
| 140864 | * | * | F | F | T | * | * | * | F | F | T |
| 140865 | * | * | F | F | * | * | * | * | * | * | T |
| 140866 | * | * | F | F | * | * | * | * | * | * | T |
| 140867 | * | * | F | F | * | * | * | * | * | * | T |
| 140868 | * | * | F | F | F | F | F | F | * | * | T |
| 140869 | * | * | F | F | * | * | * | * | * | * | T |
| 140870 | * | * | F | F | * | * | * | * | * | * | T |
| 140871 | * | * | F | F | * | * | * | * | * | * | T |
| 140872 | * | * | F | F | F | F | F | F | * | * | T |
| 140873 | * | * | F | F | * | * | * | * | * | * | T |
| 140874 | * | * | F | F | * | * | * | * | * | * | T |
| 140875 | * | * | F | F | * | * | * | * | * | * | T |
| 140876 | * | * | F | F | F | F | F | F | * | * | T |
| 140877 | * | * | F | F | * | * | * | * | * | * | T |
| 140878 | * | * | F | F | * | * | * | * | * | * | T |
| 140879 | * | * | F | F | * | * | * | * | * | * | T |
| 140880 | * | * | F | F | F | F | F | F | * | * | T |
| 140881 | * | * | F | F | * | * | * | * | * | * | T |
| 140882 | * | * | F | F | * | * | * | * | * | * | T |
| 140883 | * | * | F | F | * | * | * | * | * | * | T |
| 140884 | * | * | F | F | F | F | F | F | * | * | T |
| 140885 | * | * | F | F | * | * | * | * | * | * | T |
| 140886 | * | * | F | F | * | * | * | * | * | * | T |
| 140887 | * | * | F | F | * | * | * | * | * | * | T |
| 140888 | * | * | F | F | F | F | F | F | * | * | T |
| 140889 | * | * | F | F | * | * | * | * | * | * | T |
| 140890 | * | * | F | F | * | * | * | * | * | * | T |
| 140891 | * | * | F | F | * | * | * | * | * | * | T |
| 140892 | * | * | F | F | F | F | F | F | * | * | T |
| 140893 | * | * | F | F | * | * | * | * | * | * | T |
| 140894 | * | * | F | F | * | * | * | * | * | * | T |
| 140895 | * | * | F | F | * | * | * | * | * | * | T |
| 140896 | * | * | F | F | F | F | F | F | * | * | T |
| 140897 | * | * | F | F | * | * | * | * | * | * | T |
| 140898 | * | * | F | F | * | * | * | * | * | * | T |
| 140899 | * | * | F | F | * | * | * | * | * | * | T |
| 140900 | * | * | F | F | F | F | F | F | * | * | T |
| 140901 | * | * | F | F | * | * | * | * | F | F | T |
| 140902 | * | * | F | F | * | * | * | * | F | F | T |
| 140903 | * | * | F | F | * | * | * | * | F | F | T |
| 140904 | * | * | F | F | F | F | F | F | F | F | T |
| 140905 | * | * | F | F | * | * | * | * | F | F | T |
| 140906 | * | * | F | F | * | * | * | * | F | F | T |
| 163107 | * | * | F | F | * | * | * | * | * | * | T |
| 163108 | * | * | F | F | * | * | * | * | * | * | T |
| 163109 | * | * | F | F | * | * | * | * | * | * | T |
| 163110 | * | * | F | F | * | * | * | * | * | * | T |
| 163111 | * | * | F | F | * | * | * | * | F | F | T |
| 163112 | * | * | F | F | * | * | * | * | F | F | T |
| 163113 | * | * | F | F | * | * | * | * | F | F | T |
| 163114 | * | * | F | F | * | * | * | * | F | F | T |
| 164662 | * | * | F | F | * | * | * | * | * | * | T |
| 164663 | * | * | F | F | * | * | * | * | * | * | T |
| 164664 | * | * | F | F | * | * | * | * | * | * | T |
| 164665 | * | * | F | F | * | * | * | * | * | * | T |
| 164666 | * | * | F | F | * | * | * | * | F | F | T |
| 164667 | * | * | F | F | * | * | * | * | F | F | T |
| 164668 | * | * | F | F | * | * | * | * | F | F | T |
| 164669 | * | * | F | F | * | * | * | * | F | F | T |
| 166384 | * | * | F | F | * | * | * | * | * | * | T |
| 166385 | * | * | F | F | * | * | * | * | * | * | T |
| 166386 | * | * | F | F | * | * | * | * | * | * | T |
| 166387 | * | * | F | F | * | * | * | * | * | * | T |
| 166388 | * | * | F | F | * | * | * | * | F | F | T |
| 166389 | * | * | F | F | * | * | * | * | F | F | T |
| 166390 | * | * | F | F | * | * | * | * | F | F | T |
| 166391 | * | * | F | F | * | * | * | * | F | F | T |
Independent-effect pairs
All 10 conditions live in <scry_analyze_core::Interp>::seq — 10 br_if
c0(branch2360): GAP view gap →c1(branch2370): DEAD view gap →c2(branch2373): GAP view gap →c3(branch2374): GAP view gap →c4(branch2377): GAP view gap →c5(branch2378): GAP view gap →c6(branch2379): GAP view gap →c7(branch2380): GAP view gap →c8(branch2406): GAP view gap →c9(branch2407): GAP view gap →