Decision #1486 — mod.rs:2992
Status: no_witness
Truth table
| row | c0 br 9736 | c1 br 9737 | c2 br 9746 | c3 br 9747 | c4 br 9748 | c5 br 9749 | outcome |
|---|---|---|---|---|---|---|---|
| 6481 | F | T | * | * | * | * | F |
| 6482 | F | T | * | * | * | * | F |
| 6483 | F | T | * | * | * | * | F |
| 6484 | F | T | * | * | * | * | F |
| 6485 | F | T | * | * | * | * | F |
| 6486 | F | T | * | * | * | * | F |
| 6487 | F | T | * | * | * | * | F |
| 6488 | F | T | F | F | T | T | F |
| 6489 | F | T | F | F | T | T | F |
| 6490 | F | T | F | F | T | T | F |
| 6491 | F | T | F | F | T | T | F |
| 6492 | F | T | F | F | T | T | F |
| 6493 | F | T | F | F | T | T | F |
| 6494 | F | T | F | F | T | T | F |
| 6495 | F | T | F | F | T | T | F |
| 6496 | F | T | * | * | * | * | F |
| 6497 | F | T | * | * | * | * | F |
| 6498 | F | T | * | * | * | * | F |
| 6499 | F | T | * | * | * | * | F |
| 6500 | F | T | F | F | T | T | F |
| 6501 | F | T | F | F | T | T | F |
| 6502 | F | T | F | F | T | T | F |
| 6503 | F | T | F | F | T | T | F |
| 6504 | F | T | F | F | T | T | F |
| 6505 | F | T | F | F | T | T | F |
| 6506 | F | T | F | F | T | T | F |
| 6507 | F | T | F | F | T | T | F |
| 6508 | F | T | * | * | * | * | F |
| 6509 | F | T | * | * | * | * | F |
| 6510 | F | T | * | * | * | * | F |
| 6511 | F | T | * | * | * | * | F |
| 6512 | F | T | F | F | T | T | F |
| 6513 | F | T | F | F | T | T | F |
| 6514 | F | T | F | F | T | T | F |
| 6515 | F | T | F | F | T | T | F |
| 6516 | F | T | F | F | T | T | F |
| 6517 | F | T | F | F | T | T | F |
| 6518 | F | T | F | F | T | T | F |
| 6519 | F | T | F | F | T | T | F |
| 6520 | F | T | * | * | * | * | F |
| 6521 | F | T | * | * | * | * | F |
| 6522 | F | T | * | * | * | * | F |
| 6523 | F | T | * | * | * | * | F |
| 6524 | F | T | F | F | T | T | F |
| 6525 | F | T | F | F | T | T | F |
| 6526 | F | T | F | F | T | T | F |
| 6527 | F | T | F | F | T | T | F |
| 6528 | F | T | F | F | T | T | F |
| 6529 | F | T | F | F | T | T | F |
| 6530 | F | T | F | F | T | T | F |
| 6531 | F | T | F | F | T | T | F |
| 6532 | F | T | * | * | * | * | F |
| 6533 | F | T | * | * | * | * | F |
| 6534 | F | T | * | * | * | * | F |
| 6535 | F | T | * | * | * | * | F |
| 6536 | F | T | F | F | T | T | F |
| 6537 | F | T | F | F | T | T | F |
| 6538 | F | T | F | F | T | T | F |
| 6539 | F | T | F | F | T | T | F |
| 6540 | F | T | F | F | T | T | F |
| 6541 | F | T | F | F | T | T | F |
| 6542 | F | T | F | F | T | T | F |
| 6543 | F | T | F | F | T | T | F |
| 6544 | F | T | * | * | * | * | F |
| 6545 | F | T | * | * | * | * | F |
| 13287 | F | T | * | * | * | * | F |
| 13288 | F | T | * | * | * | * | F |
| 13289 | F | T | * | * | * | * | F |
| 13290 | F | T | F | F | T | T | F |
| 13291 | F | T | F | F | T | T | F |
| 13292 | F | T | F | F | T | T | F |
| 13293 | F | T | F | F | T | T | F |
| 13294 | F | T | F | F | T | T | F |
| 13295 | F | T | F | F | T | T | F |
| 13296 | F | T | F | F | T | T | F |
| 13297 | F | T | F | F | T | T | F |
| 13298 | F | T | * | * | * | * | F |
| 13299 | F | T | * | * | * | * | F |
| 13300 | F | T | * | * | * | * | F |
| 13301 | F | T | * | * | * | * | F |
| 13302 | F | T | F | F | T | T | F |
| 13303 | F | T | F | F | T | T | F |
| 13304 | F | T | F | F | T | T | F |
| 13305 | F | T | F | F | T | T | F |
| 13306 | F | T | F | F | T | T | F |
| 13307 | F | T | F | F | T | T | F |
| 13308 | F | T | F | F | T | T | F |
| 13309 | F | T | F | F | T | T | F |
| 13310 | F | T | * | * | * | * | F |
| 13311 | F | T | * | * | * | * | F |
| 13312 | F | T | * | * | * | * | F |
| 13313 | F | T | * | * | * | * | F |
| 13314 | F | T | F | F | T | T | F |
| 13315 | F | T | F | F | T | T | F |
| 13316 | F | T | F | F | T | T | F |
| 13317 | F | T | F | F | T | T | F |
| 13318 | F | T | F | F | T | T | F |
| 13319 | F | T | F | F | T | T | F |
| 13320 | F | T | F | F | T | T | F |
| 13321 | F | T | F | F | T | T | F |
| 13322 | F | T | * | * | * | * | F |
| 13323 | F | T | * | * | * | * | F |
| 13324 | F | T | * | * | * | * | F |
| 13325 | F | T | * | * | * | * | F |
| 13326 | F | T | F | F | T | T | F |
| 13327 | F | T | F | F | T | T | F |
| 13328 | F | T | F | F | T | T | F |
| 13329 | F | T | F | F | T | T | F |
| 13330 | F | T | F | F | T | T | F |
| 13331 | F | T | F | F | T | T | F |
| 13332 | F | T | F | F | T | T | F |
| 13333 | F | T | F | F | T | T | F |
| 13334 | F | T | * | * | * | * | F |
| 13335 | F | T | * | * | * | * | F |
| 13336 | F | T | * | * | * | * | F |
| 13337 | F | T | * | * | * | * | F |
| 13338 | F | T | F | F | T | T | F |
| 13339 | F | T | F | F | T | T | F |
| 13340 | F | T | F | F | T | T | F |
| 13341 | F | T | F | F | T | T | F |
| 13342 | F | T | F | F | T | T | F |
| 13343 | F | T | F | F | T | T | F |
| 13344 | F | T | F | F | T | T | F |
| 13345 | F | T | F | F | T | T | F |
| 13346 | F | T | * | * | * | * | F |
| 13347 | F | T | * | * | * | * | F |
| 20556 | F | T | * | * | * | * | F |
| 20557 | F | T | * | * | * | * | F |
| 20558 | F | T | * | * | * | * | F |
| 20559 | F | T | * | * | * | * | F |
| 20560 | F | T | * | * | * | * | F |
| 20561 | F | T | * | * | * | * | F |
| 20562 | F | T | * | * | * | * | F |
| 20563 | F | T | * | * | * | * | F |
| 20564 | F | T | * | * | * | * | F |
| 20565 | F | T | * | * | * | * | F |
| 20566 | F | T | * | * | * | * | F |
| 20567 | F | T | * | * | * | * | F |
| 20568 | F | T | * | * | * | * | F |
| 20569 | F | T | F | F | T | T | F |
| 20570 | F | T | F | F | T | T | F |
| 20571 | F | T | F | F | T | T | F |
| 20572 | F | T | F | F | T | T | F |
| 20573 | F | T | F | F | T | T | F |
| 20574 | F | T | F | F | T | T | F |
| 20575 | F | T | F | F | T | T | F |
| 20576 | F | T | F | F | T | T | F |
| 20577 | F | T | * | * | * | * | F |
| 20578 | F | T | * | * | * | * | F |
| 20579 | F | T | * | * | * | * | F |
| 20580 | F | T | * | * | * | * | F |
| 20581 | F | T | F | F | T | T | F |
| 20582 | F | T | F | F | T | T | F |
| 20583 | F | T | F | F | T | T | F |
| 20584 | F | T | F | F | T | T | F |
| 20585 | F | T | F | F | T | T | F |
| 20586 | F | T | F | F | T | T | F |
| 20587 | F | T | F | F | T | T | F |
| 20588 | F | T | F | F | T | T | F |
| 20589 | F | T | * | * | * | * | F |
| 20590 | F | T | * | * | * | * | F |
| 20591 | F | T | * | * | * | * | F |
| 20592 | F | T | * | * | * | * | F |
| 20593 | F | T | F | F | T | T | F |
| 20594 | F | T | F | F | T | T | F |
| 20595 | F | T | F | F | T | T | F |
| 20596 | F | T | F | F | T | T | F |
| 20597 | F | T | F | F | T | T | F |
| 20598 | F | T | F | F | T | T | F |
| 20599 | F | T | F | F | T | T | F |
| 20600 | F | T | F | F | T | T | F |
| 20601 | F | T | * | * | * | * | F |
| 20602 | F | T | * | * | * | * | F |
| 20603 | F | T | * | * | * | * | F |
| 20604 | F | T | * | * | * | * | F |
| 20605 | F | T | F | F | T | T | F |
| 20606 | F | T | F | F | T | T | F |
| 20607 | F | T | F | F | T | T | F |
| 20608 | F | T | F | F | T | T | F |
| 20609 | F | T | F | F | T | T | F |
| 20610 | F | T | F | F | T | T | F |
| 20611 | F | T | F | F | T | T | F |
| 20612 | F | T | F | F | T | T | F |
| 20613 | F | T | * | * | * | * | F |
| 20614 | F | T | * | * | * | * | F |
| 20615 | F | T | * | * | * | * | F |
| 20616 | F | T | * | * | * | * | F |
| 20617 | F | T | F | F | T | T | F |
| 20618 | F | T | F | F | T | T | F |
| 20619 | F | T | F | F | T | T | F |
| 20620 | F | T | F | F | T | T | F |
| 20621 | F | T | F | F | T | T | F |
| 20622 | F | T | F | F | T | T | F |
| 20623 | F | T | F | F | T | T | F |
| 20624 | F | T | F | F | T | T | F |
| 20625 | F | T | * | * | * | * | F |
| 20626 | F | T | * | * | * | * | F |
| 23737 | F | T | * | * | * | * | F |
| 23738 | F | T | * | * | * | * | F |
| 23739 | F | T | * | * | * | * | F |
| 23740 | F | T | * | * | * | * | F |
| 23741 | F | T | * | * | * | * | F |
| 23742 | F | T | * | * | * | * | F |
| 23743 | F | T | * | * | * | * | F |
| 23744 | F | T | * | * | * | * | F |
| 23745 | F | T | * | * | * | * | F |
| 23746 | F | T | F | F | T | T | F |
| 23747 | F | T | F | F | T | T | F |
| 23748 | F | T | F | F | T | T | F |
| 23749 | F | T | F | F | T | T | F |
| 23750 | F | T | F | F | T | T | F |
| 23751 | F | T | F | F | T | T | F |
| 23752 | F | T | F | F | T | T | F |
| 23753 | F | T | F | F | T | T | F |
| 23754 | F | T | * | * | * | * | F |
| 23755 | F | T | * | * | * | * | F |
| 23756 | F | T | * | * | * | * | F |
| 23757 | F | T | * | * | * | * | F |
| 23758 | F | T | * | * | * | * | F |
| 23759 | F | T | * | * | * | * | F |
| 26401 | F | T | * | * | * | * | F |
| 26402 | F | T | * | * | * | * | F |
| 26403 | F | T | * | * | * | * | F |
| 26404 | F | T | * | * | * | * | F |
| 26405 | F | T | * | * | * | * | F |
| 26406 | F | T | * | * | * | * | F |
| 26407 | F | T | * | * | * | * | F |
| 26408 | F | T | F | F | T | T | F |
| 26409 | F | T | F | F | T | T | F |
| 26410 | F | T | F | F | T | T | F |
| 26411 | F | T | F | F | T | T | F |
| 26412 | F | T | F | F | T | T | F |
| 26413 | F | T | F | F | T | T | F |
| 26414 | F | T | F | F | T | T | F |
| 26415 | F | T | F | F | T | T | F |
| 26416 | F | T | * | * | * | * | F |
| 26417 | F | T | * | * | * | * | F |
| 26418 | F | T | * | * | * | * | F |
| 26419 | F | T | * | * | * | * | F |
| 26420 | F | T | * | * | * | * | F |
| 26421 | F | T | * | * | * | * | F |
| 29123 | F | T | * | * | * | * | F |
| 29124 | F | T | * | * | * | * | F |
| 29125 | F | T | * | * | * | * | F |
| 29126 | F | T | * | * | * | * | F |
| 29127 | F | T | * | * | * | * | F |
| 29128 | F | T | * | * | * | * | F |
| 29129 | F | T | * | * | * | * | F |
| 29130 | F | T | * | * | * | * | F |
| 29131 | F | T | * | * | * | * | F |
| 29132 | F | T | F | F | T | T | F |
| 29133 | F | T | F | F | T | T | F |
| 29134 | F | T | F | F | T | T | F |
| 29135 | F | T | F | F | T | T | F |
| 29136 | F | T | F | F | T | T | F |
| 29137 | F | T | F | F | T | T | F |
| 29138 | F | T | F | F | T | T | F |
| 29139 | F | T | F | F | T | T | F |
| 29140 | F | T | * | * | * | * | F |
| 29141 | F | T | * | * | * | * | F |
| 29142 | F | T | * | * | * | * | F |
| 29143 | F | T | * | * | * | * | F |
| 29144 | F | T | * | * | * | * | F |
| 29145 | F | T | * | * | * | * | F |
| 49280 | F | T | * | * | * | * | F |
| 49281 | F | T | * | * | * | * | F |
| 49282 | F | T | * | * | * | * | F |
| 49283 | F | T | * | * | * | * | F |
| 49284 | F | T | * | * | * | * | F |
| 49285 | F | T | * | * | * | * | F |
| 49286 | F | T | * | * | * | * | F |
| 49287 | F | T | * | * | * | * | F |
| 49288 | F | T | * | * | * | * | F |
| 49289 | F | T | * | * | * | * | F |
| 49290 | F | T | * | * | * | * | F |
| 49291 | F | T | * | * | * | * | F |
| 49292 | F | T | * | * | * | * | F |
| 49293 | F | T | * | * | * | * | F |
| 49294 | F | T | F | F | T | T | F |
| 49295 | F | T | F | F | T | T | F |
| 49296 | F | T | F | F | T | T | F |
| 49297 | F | T | F | F | T | T | F |
| 49298 | F | T | F | F | T | T | F |
| 49299 | F | T | F | F | T | T | F |
| 49300 | F | T | F | F | T | T | F |
| 49301 | F | T | F | F | T | T | F |
| 49302 | F | T | * | * | * | * | F |
| 49303 | F | T | * | * | * | * | F |
| 49304 | F | T | * | * | * | * | F |
| 49305 | F | T | * | * | * | * | F |
| 49306 | F | T | * | * | * | * | F |
| 49307 | F | T | * | * | * | * | F |
| 49308 | F | T | * | * | * | * | F |
| 49309 | F | T | * | * | * | * | F |
| 49310 | F | T | * | * | * | * | F |
| 49311 | F | T | * | * | * | * | F |
| 49312 | F | T | * | * | * | * | F |
| 49313 | F | T | * | * | * | * | F |
| 49314 | F | T | * | * | * | * | F |
| 49315 | F | T | * | * | * | * | F |
| 49316 | F | T | * | * | * | * | F |
| 49317 | F | T | * | * | * | * | F |
| 49318 | F | T | * | * | * | * | F |
| 49319 | F | T | * | * | * | * | F |
| 49320 | F | T | * | * | * | * | F |
| 49321 | F | T | * | * | * | * | F |
| 49322 | F | T | * | * | * | * | F |
| 49323 | F | T | * | * | * | * | F |
| 49324 | F | T | * | * | * | * | F |
| 49325 | F | T | * | * | * | * | F |
| 49326 | F | T | * | * | * | * | F |
| 49327 | F | T | * | * | * | * | F |
| 49328 | F | T | * | * | * | * | F |
| 49329 | F | T | * | * | * | * | F |
| 49330 | F | T | * | * | * | * | F |
| 49331 | F | T | * | * | * | * | F |
| 49332 | F | T | * | * | * | * | F |
| 70025 | F | T | * | * | * | * | F |
| 70026 | F | T | * | * | * | * | F |
| 70027 | F | T | * | * | * | * | F |
| 70028 | F | T | * | * | * | * | F |
| 70029 | F | T | * | * | * | * | F |
| 70030 | F | T | * | * | * | * | F |
| 70031 | F | T | * | * | * | * | F |
| 70032 | F | T | * | * | * | * | F |
| 70033 | F | T | * | * | * | * | F |
| 70034 | F | T | * | * | * | * | F |
| 70035 | F | T | * | * | * | * | F |
| 70036 | F | T | * | * | * | * | F |
| 70037 | F | T | F | F | T | T | F |
| 70038 | F | T | F | F | T | T | F |
| 70039 | F | T | F | F | T | T | F |
| 70040 | F | T | F | F | T | T | F |
| 70041 | F | T | F | F | T | T | F |
| 70042 | F | T | F | F | T | T | F |
| 70043 | F | T | F | F | T | T | F |
| 70044 | F | T | F | F | T | T | F |
| 70045 | F | T | * | * | * | * | F |
| 70046 | F | T | * | * | * | * | F |
| 70047 | F | T | * | * | * | * | F |
| 70048 | F | T | * | * | * | * | F |
| 70049 | F | T | * | * | * | * | F |
| 70050 | F | T | * | * | * | * | F |
| 70051 | F | T | * | * | * | * | F |
| 70052 | F | T | * | * | * | * | F |
| 70053 | F | T | * | * | * | * | F |
| 70054 | F | T | * | * | * | * | F |
| 70055 | F | T | * | * | * | * | F |
| 70056 | F | T | * | * | * | * | F |
| 70057 | F | T | * | * | * | * | F |
| 70058 | F | T | * | * | * | * | F |
| 70059 | F | T | * | * | * | * | F |
| 70060 | F | T | * | * | * | * | F |
| 70061 | F | T | * | * | * | * | F |
| 70062 | F | T | * | * | * | * | F |
| 70063 | F | T | * | * | * | * | F |
| 70064 | F | T | * | * | * | * | F |
| 70065 | F | T | * | * | * | * | F |
| 70066 | F | T | * | * | * | * | F |
| 70067 | F | T | * | * | * | * | F |
| 70068 | F | T | * | * | * | * | F |
| 70069 | F | T | * | * | * | * | F |
| 70070 | F | T | * | * | * | * | F |
| 70071 | F | T | * | * | * | * | F |
| 70072 | F | T | * | * | * | * | F |
| 70073 | F | T | * | * | * | * | F |
| 70074 | F | T | * | * | * | * | F |
| 70075 | F | T | * | * | * | * | F |
| 80241 | F | T | * | * | * | * | F |
| 80242 | F | T | * | * | * | * | F |
| 80243 | F | T | * | * | * | * | F |
| 80244 | F | T | * | * | * | * | F |
| 80245 | F | T | * | * | * | * | F |
| 80246 | F | T | * | * | * | * | F |
| 80247 | F | T | * | * | * | * | F |
| 80248 | F | T | * | * | * | * | F |
| 80249 | F | T | * | * | * | * | F |
| 80250 | F | T | * | * | * | * | F |
| 80251 | F | T | * | * | * | * | F |
| 80252 | F | T | * | * | * | * | F |
| 80253 | F | T | * | * | * | * | F |
| 80254 | F | T | * | * | * | * | F |
| 80255 | F | T | F | F | T | T | F |
| 80256 | F | T | F | F | T | T | F |
| 80257 | F | T | F | F | T | T | F |
| 80258 | F | T | F | F | T | T | F |
| 80259 | F | T | F | F | T | T | F |
| 80260 | F | T | F | F | T | T | F |
| 80261 | F | T | F | F | T | T | F |
| 80262 | F | T | F | F | T | T | F |
| 80263 | F | T | * | * | * | * | F |
| 80264 | F | T | * | * | * | * | F |
| 80265 | F | T | * | * | * | * | F |
| 80266 | F | T | * | * | * | * | F |
| 80267 | F | T | * | * | * | * | F |
| 80268 | F | T | * | * | * | * | F |
| 80269 | F | T | * | * | * | * | F |
| 80270 | F | T | * | * | * | * | F |
| 80271 | F | T | * | * | * | * | F |
| 80272 | F | T | * | * | * | * | F |
| 80273 | F | T | * | * | * | * | F |
| 80274 | F | T | * | * | * | * | F |
| 80275 | F | T | * | * | * | * | F |
| 80276 | F | T | * | * | * | * | F |
| 80277 | F | T | * | * | * | * | F |
| 80278 | F | T | * | * | * | * | F |
| 80279 | F | T | * | * | * | * | F |
| 80280 | F | T | * | * | * | * | F |
| 80281 | F | T | * | * | * | * | F |
| 80282 | F | T | * | * | * | * | F |
| 80283 | F | T | * | * | * | * | F |
| 80284 | F | T | * | * | * | * | F |
| 80285 | F | T | * | * | * | * | F |
| 80286 | F | T | * | * | * | * | F |
| 80287 | F | T | * | * | * | * | F |
| 80288 | F | T | * | * | * | * | F |
| 80289 | F | T | * | * | * | * | F |
| 80290 | F | T | * | * | * | * | F |
| 80291 | F | T | * | * | * | * | F |
| 80292 | F | T | * | * | * | * | F |
| 80293 | F | T | * | * | * | * | F |
| 80294 | F | T | * | * | * | * | F |
| 80295 | F | T | * | * | * | * | F |
| 90124 | F | T | * | * | * | * | F |
| 90125 | F | T | * | * | * | * | F |
| 90126 | F | T | * | * | * | * | F |
| 90127 | F | T | * | * | * | * | F |
| 90128 | F | T | * | * | * | * | F |
| 90129 | F | T | * | * | * | * | F |
| 90130 | F | T | * | * | * | * | F |
| 90131 | F | T | * | * | * | * | F |
| 90132 | F | T | * | * | * | * | F |
| 90133 | F | T | * | * | * | * | F |
| 90134 | F | T | * | * | * | * | F |
| 90135 | F | T | * | * | * | * | F |
| 90136 | F | T | * | * | * | * | F |
| 90137 | F | T | * | * | * | * | F |
| 90138 | F | T | F | F | T | T | F |
| 90139 | F | T | F | F | T | T | F |
| 90140 | F | T | F | F | T | T | F |
| 90141 | F | T | F | F | T | T | F |
| 90142 | F | T | F | F | T | T | F |
| 90143 | F | T | F | F | T | T | F |
| 90144 | F | T | F | F | T | T | F |
| 90145 | F | T | F | F | T | T | F |
| 90146 | F | T | * | * | * | * | F |
| 90147 | F | T | * | * | * | * | F |
| 90148 | F | T | * | * | * | * | F |
| 90149 | F | T | * | * | * | * | F |
| 90150 | F | T | * | * | * | * | F |
| 90151 | F | T | * | * | * | * | F |
| 90152 | F | T | * | * | * | * | F |
| 90153 | F | T | * | * | * | * | F |
| 90154 | F | T | * | * | * | * | F |
| 90155 | F | T | * | * | * | * | F |
| 90156 | F | T | * | * | * | * | F |
| 90157 | F | T | * | * | * | * | F |
| 90158 | F | T | * | * | * | * | F |
| 90159 | F | T | * | * | * | * | F |
| 90160 | F | T | * | * | * | * | F |
| 90161 | F | T | * | * | * | * | F |
| 90162 | F | T | * | * | * | * | F |
| 90163 | F | T | * | * | * | * | F |
| 90164 | F | T | * | * | * | * | F |
| 90165 | F | T | * | * | * | * | F |
| 90166 | F | T | * | * | * | * | F |
| 90167 | F | T | * | * | * | * | F |
| 90168 | F | T | * | * | * | * | F |
| 90169 | F | T | * | * | * | * | F |
| 90170 | F | T | * | * | * | * | F |
| 90171 | F | T | * | * | * | * | F |
| 90172 | F | T | * | * | * | * | F |
| 90173 | F | T | * | * | * | * | F |
| 90174 | F | T | * | * | * | * | F |
| 90175 | F | T | * | * | * | * | F |
| 90176 | F | T | * | * | * | * | F |
| 90177 | F | T | * | * | * | * | F |
| 90178 | F | T | * | * | * | * | F |
| 97844 | F | T | * | * | * | * | F |
| 97845 | F | T | * | * | * | * | F |
| 97846 | F | T | * | * | * | * | F |
| 97847 | F | T | * | * | * | * | F |
| 97848 | F | T | F | F | T | T | F |
| 97849 | F | T | F | F | T | T | F |
| 97850 | F | T | F | F | T | T | F |
| 97851 | F | T | F | F | T | T | F |
| 97852 | F | T | F | F | T | T | F |
| 97853 | F | T | F | F | T | T | F |
| 97854 | F | T | F | F | T | T | F |
| 97855 | F | T | F | F | T | T | F |
| 97856 | F | T | F | F | T | T | F |
| 97857 | F | T | F | F | T | T | F |
| 97858 | F | T | F | F | T | T | F |
| 97859 | F | T | F | F | T | T | F |
| 97860 | F | T | F | F | T | T | F |
| 97861 | F | T | F | F | T | T | F |
| 97862 | F | T | F | F | T | T | F |
| 97863 | F | T | F | F | T | T | F |
| 97864 | F | T | F | F | T | T | F |
| 97865 | F | T | F | F | T | T | F |
| 97866 | F | T | F | F | T | T | F |
| 97867 | F | T | F | F | T | T | F |
| 97868 | F | T | F | F | T | T | F |
| 97869 | F | T | F | F | T | T | F |
| 97870 | F | T | F | F | T | T | F |
| 97871 | F | T | F | F | T | T | F |
| 97872 | F | T | * | * | * | * | F |
| 97873 | F | T | * | * | * | * | F |
| 97874 | F | T | * | * | * | * | F |
| 97875 | F | T | * | * | * | * | F |
| 97876 | F | T | F | F | T | T | F |
| 97877 | F | T | F | F | T | T | F |
| 97878 | F | T | F | F | T | T | F |
| 97879 | F | T | F | F | T | T | F |
| 97880 | F | T | F | F | T | T | F |
| 97881 | F | T | F | F | T | T | F |
| 97882 | F | T | F | F | T | T | F |
| 97883 | F | T | F | F | T | T | F |
| 97884 | F | T | * | * | * | * | F |
| 97885 | F | T | * | * | * | * | F |
| 97886 | F | T | * | * | * | * | F |
| 97887 | F | T | * | * | * | * | F |
| 97888 | F | T | * | * | * | * | F |
| 97889 | F | T | * | * | * | * | F |
| 97890 | F | T | F | F | T | T | F |
| 97891 | F | T | F | F | T | T | F |
| 97892 | F | T | F | F | T | T | F |
| 97893 | F | T | F | F | T | T | F |
| 97894 | F | T | F | F | T | T | F |
| 97895 | F | T | F | F | T | T | F |
| 97896 | F | T | F | F | T | T | F |
| 97897 | F | T | F | F | T | T | F |
| 97898 | F | T | * | * | * | * | F |
| 97899 | F | T | * | * | * | * | F |
| 97900 | F | T | * | * | * | * | F |
| 97901 | F | T | * | * | * | * | F |
| 97902 | F | T | * | * | * | * | F |
| 97903 | F | T | * | * | * | * | F |
| 97904 | F | T | * | * | * | * | F |
| 97905 | F | T | * | * | * | * | F |
| 97906 | F | T | F | F | T | T | F |
| 97907 | F | T | F | F | T | T | F |
| 97908 | F | T | F | F | T | T | F |
| 97909 | F | T | F | F | T | T | F |
| 97910 | F | T | F | F | T | T | F |
| 97911 | F | T | F | F | T | T | F |
| 97912 | F | T | F | F | T | T | F |
| 97913 | F | T | F | F | T | T | F |
| 97914 | F | T | * | * | * | * | F |
| 97915 | F | T | * | * | * | * | F |
| 97916 | F | T | * | * | * | * | F |
| 97917 | F | T | * | * | * | * | F |
| 97918 | F | T | * | * | * | * | F |
| 97919 | F | T | * | * | * | * | F |
| 106149 | F | T | * | * | * | * | F |
| 106150 | F | T | * | * | * | * | F |
| 106151 | F | T | * | * | * | * | F |
| 106152 | F | T | * | * | * | * | F |
| 106153 | F | T | * | * | * | * | F |
| 106154 | F | T | * | * | * | * | F |
| 106155 | F | T | * | * | * | * | F |
| 106156 | F | T | * | * | * | * | F |
| 106157 | F | T | * | * | * | * | F |
| 106158 | F | T | * | * | * | * | F |
| 106159 | F | T | * | * | * | * | F |
| 106160 | F | T | * | * | * | * | F |
| 106161 | F | T | F | F | T | T | F |
| 106162 | F | T | F | F | T | T | F |
| 106163 | F | T | F | F | T | T | F |
| 106164 | F | T | F | F | T | T | F |
| 106165 | F | T | F | F | T | T | F |
| 106166 | F | T | F | F | T | T | F |
| 106167 | F | T | F | F | T | T | F |
| 106168 | F | T | F | F | T | T | F |
| 106169 | F | T | F | F | T | T | F |
| 106170 | F | T | F | F | T | T | F |
| 106171 | F | T | F | F | T | T | F |
| 106172 | F | T | F | F | T | T | F |
| 106173 | F | T | F | F | T | T | F |
| 106174 | F | T | F | F | T | T | F |
| 106175 | F | T | F | F | T | T | F |
| 106176 | F | T | F | F | T | T | F |
| 106177 | F | T | F | F | T | T | F |
| 106178 | F | T | F | F | T | T | F |
| 106179 | F | T | F | F | T | T | F |
| 106180 | F | T | F | F | T | T | F |
| 106181 | F | T | F | F | T | T | F |
| 106182 | F | T | F | F | T | T | F |
| 106183 | F | T | F | F | T | T | F |
| 106184 | F | T | F | F | T | T | F |
| 106185 | F | T | * | * | * | * | F |
| 106186 | F | T | * | * | * | * | F |
| 106187 | F | T | * | * | * | * | F |
| 106188 | F | T | * | * | * | * | F |
| 106189 | F | T | F | F | T | T | F |
| 106190 | F | T | F | F | T | T | F |
| 106191 | F | T | F | F | T | T | F |
| 106192 | F | T | F | F | T | T | F |
| 106193 | F | T | F | F | T | T | F |
| 106194 | F | T | F | F | T | T | F |
| 106195 | F | T | F | F | T | T | F |
| 106196 | F | T | F | F | T | T | F |
| 106197 | F | T | * | * | * | * | F |
| 106198 | F | T | * | * | * | * | F |
| 106199 | F | T | * | * | * | * | F |
| 106200 | F | T | * | * | * | * | F |
| 106201 | F | T | * | * | * | * | F |
| 106202 | F | T | * | * | * | * | F |
| 106203 | F | T | F | F | T | T | F |
| 106204 | F | T | F | F | T | T | F |
| 106205 | F | T | F | F | T | T | F |
| 106206 | F | T | F | F | T | T | F |
| 106207 | F | T | F | F | T | T | F |
| 106208 | F | T | F | F | T | T | F |
| 106209 | F | T | F | F | T | T | F |
| 106210 | F | T | F | F | T | T | F |
| 106211 | F | T | * | * | * | * | F |
| 106212 | F | T | * | * | * | * | F |
| 106213 | F | T | * | * | * | * | F |
| 106214 | F | T | * | * | * | * | F |
| 106215 | F | T | * | * | * | * | F |
| 106216 | F | T | * | * | * | * | F |
| 106217 | F | T | * | * | * | * | F |
| 106218 | F | T | * | * | * | * | F |
| 106219 | F | T | F | F | T | T | F |
| 106220 | F | T | F | F | T | T | F |
| 106221 | F | T | F | F | T | T | F |
| 106222 | F | T | F | F | T | T | F |
| 106223 | F | T | F | F | T | T | F |
| 106224 | F | T | F | F | T | T | F |
| 106225 | F | T | F | F | T | T | F |
| 106226 | F | T | F | F | T | T | F |
| 106227 | F | T | * | * | * | * | F |
| 106228 | F | T | * | * | * | * | F |
| 106229 | F | T | * | * | * | * | F |
| 106230 | F | T | * | * | * | * | F |
| 106231 | F | T | * | * | * | * | F |
| 106232 | F | T | * | * | * | * | F |
| 114374 | F | T | * | * | * | * | F |
| 114375 | F | T | * | * | * | * | F |
| 114376 | F | T | * | * | * | * | F |
| 114377 | F | T | * | * | * | * | F |
| 114378 | F | T | F | F | T | T | F |
| 114379 | F | T | F | F | T | T | F |
| 114380 | F | T | F | F | T | T | F |
| 114381 | F | T | F | F | T | T | F |
| 114382 | F | T | F | F | T | T | F |
| 114383 | F | T | F | F | T | T | F |
| 114384 | F | T | F | F | T | T | F |
| 114385 | F | T | F | F | T | T | F |
| 114386 | F | T | F | F | T | T | F |
| 114387 | F | T | F | F | T | T | F |
| 114388 | F | T | F | F | T | T | F |
| 114389 | F | T | F | F | T | T | F |
| 114390 | F | T | F | F | T | T | F |
| 114391 | F | T | F | F | T | T | F |
| 114392 | F | T | F | F | T | T | F |
| 114393 | F | T | F | F | T | T | F |
| 114394 | F | T | F | F | T | T | F |
| 114395 | F | T | F | F | T | T | F |
| 114396 | F | T | F | F | T | T | F |
| 114397 | F | T | F | F | T | T | F |
| 114398 | F | T | F | F | T | T | F |
| 114399 | F | T | F | F | T | T | F |
| 114400 | F | T | F | F | T | T | F |
| 114401 | F | T | F | F | T | T | F |
| 114402 | F | T | * | * | * | * | F |
| 114403 | F | T | * | * | * | * | F |
| 114404 | F | T | * | * | * | * | F |
| 114405 | F | T | * | * | * | * | F |
| 114406 | F | T | F | F | T | T | F |
| 114407 | F | T | F | F | T | T | F |
| 114408 | F | T | F | F | T | T | F |
| 114409 | F | T | F | F | T | T | F |
| 114410 | F | T | F | F | T | T | F |
| 114411 | F | T | F | F | T | T | F |
| 114412 | F | T | F | F | T | T | F |
| 114413 | F | T | F | F | T | T | F |
| 114414 | F | T | * | * | * | * | F |
| 114415 | F | T | * | * | * | * | F |
| 114416 | F | T | * | * | * | * | F |
| 114417 | F | T | * | * | * | * | F |
| 114418 | F | T | * | * | * | * | F |
| 114419 | F | T | * | * | * | * | F |
| 114420 | F | T | F | F | T | T | F |
| 114421 | F | T | F | F | T | T | F |
| 114422 | F | T | F | F | T | T | F |
| 114423 | F | T | F | F | T | T | F |
| 114424 | F | T | F | F | T | T | F |
| 114425 | F | T | F | F | T | T | F |
| 114426 | F | T | F | F | T | T | F |
| 114427 | F | T | F | F | T | T | F |
| 114428 | F | T | * | * | * | * | F |
| 114429 | F | T | * | * | * | * | F |
| 114430 | F | T | * | * | * | * | F |
| 114431 | F | T | * | * | * | * | F |
| 114432 | F | T | * | * | * | * | F |
| 114433 | F | T | * | * | * | * | F |
| 114434 | F | T | * | * | * | * | F |
| 114435 | F | T | * | * | * | * | F |
| 114436 | F | T | F | F | T | T | F |
| 114437 | F | T | F | F | T | T | F |
| 114438 | F | T | F | F | T | T | F |
| 114439 | F | T | F | F | T | T | F |
| 114440 | F | T | F | F | T | T | F |
| 114441 | F | T | F | F | T | T | F |
| 114442 | F | T | F | F | T | T | F |
| 114443 | F | T | F | F | T | T | F |
| 114444 | F | T | * | * | * | * | F |
| 114445 | F | T | * | * | * | * | F |
| 114446 | F | T | * | * | * | * | F |
| 114447 | F | T | * | * | * | * | F |
| 114448 | F | T | * | * | * | * | F |
| 114449 | F | T | * | * | * | * | F |
| 122188 | F | T | * | * | * | * | F |
| 122189 | F | T | * | * | * | * | F |
| 122190 | F | T | * | * | * | * | F |
| 122191 | F | T | * | * | * | * | F |
| 122192 | F | T | F | F | T | T | F |
| 122193 | F | T | F | F | T | T | F |
| 122194 | F | T | F | F | T | T | F |
| 122195 | F | T | F | F | T | T | F |
| 122196 | F | T | F | F | T | T | F |
| 122197 | F | T | F | F | T | T | F |
| 122198 | F | T | F | F | T | T | F |
| 122199 | F | T | F | F | T | T | F |
| 122200 | F | T | F | F | T | T | F |
| 122201 | F | T | F | F | T | T | F |
| 122202 | F | T | F | F | T | T | F |
| 122203 | F | T | F | F | T | T | F |
| 122204 | F | T | F | F | T | T | F |
| 122205 | F | T | F | F | T | T | F |
| 122206 | F | T | F | F | T | T | F |
| 122207 | F | T | F | F | T | T | F |
| 122208 | F | T | F | F | T | T | F |
| 122209 | F | T | F | F | T | T | F |
| 122210 | F | T | F | F | T | T | F |
| 122211 | F | T | F | F | T | T | F |
| 122212 | F | T | F | F | T | T | F |
| 122213 | F | T | F | F | T | T | F |
| 122214 | F | T | F | F | T | T | F |
| 122215 | F | T | F | F | T | T | F |
| 122216 | F | T | * | * | * | * | F |
| 122217 | F | T | * | * | * | * | F |
| 122218 | F | T | * | * | * | * | F |
| 122219 | F | T | * | * | * | * | F |
| 122220 | F | T | F | F | T | T | F |
| 122221 | F | T | F | F | T | T | F |
| 122222 | F | T | F | F | T | T | F |
| 122223 | F | T | F | F | T | T | F |
| 122224 | F | T | F | F | T | T | F |
| 122225 | F | T | F | F | T | T | F |
| 122226 | F | T | F | F | T | T | F |
| 122227 | F | T | F | F | T | T | F |
| 122228 | F | T | * | * | * | * | F |
| 122229 | F | T | * | * | * | * | F |
| 122230 | F | T | * | * | * | * | F |
| 122231 | F | T | * | * | * | * | F |
| 122232 | F | T | * | * | * | * | F |
| 122233 | F | T | * | * | * | * | F |
| 122234 | F | T | F | F | T | T | F |
| 122235 | F | T | F | F | T | T | F |
| 122236 | F | T | F | F | T | T | F |
| 122237 | F | T | F | F | T | T | F |
| 122238 | F | T | F | F | T | T | F |
| 122239 | F | T | F | F | T | T | F |
| 122240 | F | T | F | F | T | T | F |
| 122241 | F | T | F | F | T | T | F |
| 122242 | F | T | * | * | * | * | F |
| 122243 | F | T | * | * | * | * | F |
| 122244 | F | T | * | * | * | * | F |
| 122245 | F | T | * | * | * | * | F |
| 122246 | F | T | * | * | * | * | F |
| 122247 | F | T | * | * | * | * | F |
| 122248 | F | T | * | * | * | * | F |
| 122249 | F | T | * | * | * | * | F |
| 122250 | F | T | F | F | T | T | F |
| 122251 | F | T | F | F | T | T | F |
| 122252 | F | T | F | F | T | T | F |
| 122253 | F | T | F | F | T | T | F |
| 122254 | F | T | F | F | T | T | F |
| 122255 | F | T | F | F | T | T | F |
| 122256 | F | T | F | F | T | T | F |
| 122257 | F | T | F | F | T | T | F |
| 122258 | F | T | * | * | * | * | F |
| 122259 | F | T | * | * | * | * | F |
| 122260 | F | T | * | * | * | * | F |
| 122261 | F | T | * | * | * | * | F |
| 122262 | F | T | * | * | * | * | F |
| 122263 | F | T | * | * | * | * | F |
| 138926 | F | T | * | * | * | * | F |
| 138927 | F | T | * | * | * | * | F |
| 138928 | F | T | * | * | * | * | F |
| 138929 | F | T | * | * | * | * | F |
| 138930 | F | T | * | * | * | * | F |
| 138931 | F | T | * | * | * | * | F |
| 138932 | F | T | * | * | * | * | F |
| 138933 | F | T | * | * | * | * | F |
| 138934 | F | T | * | * | * | * | F |
| 138935 | F | T | * | * | * | * | F |
| 138936 | F | T | * | * | * | * | F |
| 138937 | F | T | * | * | * | * | F |
| 138938 | F | T | * | * | * | * | F |
| 138939 | F | T | * | * | * | * | F |
| 138940 | F | T | F | F | T | T | F |
| 138941 | F | T | F | F | T | T | F |
| 138942 | F | T | F | F | T | T | F |
| 138943 | F | T | F | F | T | T | F |
| 138944 | F | T | F | F | T | T | F |
| 138945 | F | T | F | F | T | T | F |
| 138946 | F | T | F | F | T | T | F |
| 138947 | F | T | F | F | T | T | F |
| 138948 | F | T | * | * | * | * | F |
| 138949 | F | T | * | * | * | * | F |
| 138950 | F | T | * | * | * | * | F |
| 138951 | F | T | * | * | * | * | F |
| 138952 | F | T | * | * | * | * | F |
| 138953 | F | T | * | * | * | * | F |
| 138954 | F | T | * | * | * | * | F |
| 138955 | F | T | * | * | * | * | F |
| 138956 | F | T | * | * | * | * | F |
| 138957 | F | T | * | * | * | * | F |
| 138958 | F | T | * | * | * | * | F |
| 138959 | F | T | * | * | * | * | F |
| 138960 | F | T | * | * | * | * | F |
| 138961 | F | T | * | * | * | * | F |
| 138962 | F | T | * | * | * | * | F |
| 138963 | F | T | * | * | * | * | F |
| 138964 | F | T | * | * | * | * | F |
| 138965 | F | T | * | * | * | * | F |
| 138966 | F | T | * | * | * | * | F |
| 138967 | F | T | * | * | * | * | F |
| 138968 | F | T | * | * | * | * | F |
| 138969 | F | T | * | * | * | * | F |
| 138970 | F | T | * | * | * | * | F |
| 138971 | F | T | * | * | * | * | F |
| 138972 | F | T | * | * | * | * | F |
| 138973 | F | T | * | * | * | * | F |
| 138974 | F | T | * | * | * | * | F |
| 138975 | F | T | * | * | * | * | F |
| 138976 | F | T | * | * | * | * | F |
| 138977 | F | T | * | * | * | * | F |
| 138978 | F | T | * | * | * | * | F |
| 138979 | F | T | * | * | * | * | F |
| 138980 | F | T | * | * | * | * | F |
| 138981 | F | T | * | * | * | * | F |
| 138982 | F | T | * | * | * | * | F |
| 155645 | F | T | * | * | * | * | F |
| 155646 | F | T | * | * | * | * | F |
| 155647 | F | T | * | * | * | * | F |
| 155648 | F | T | * | * | * | * | F |
| 155649 | F | T | * | * | * | * | F |
| 155650 | F | T | * | * | * | * | F |
| 155651 | F | T | * | * | * | * | F |
| 155652 | F | T | * | * | * | * | F |
| 155653 | F | T | * | * | * | * | F |
| 155654 | F | T | * | * | * | * | F |
| 155655 | F | T | * | * | * | * | F |
| 155656 | F | T | * | * | * | * | F |
| 155657 | F | T | * | * | * | * | F |
| 155658 | F | T | * | * | * | * | F |
| 155659 | F | T | F | F | T | T | F |
| 155660 | F | T | F | F | T | T | F |
| 155661 | F | T | F | F | T | T | F |
| 155662 | F | T | F | F | T | T | F |
| 155663 | F | T | F | F | T | T | F |
| 155664 | F | T | F | F | T | T | F |
| 155665 | F | T | F | F | T | T | F |
| 155666 | F | T | F | F | T | T | F |
| 155667 | F | T | * | * | * | * | F |
| 155668 | F | T | * | * | * | * | F |
| 155669 | F | T | * | * | * | * | F |
| 155670 | F | T | * | * | * | * | F |
| 155671 | F | T | * | * | * | * | F |
| 155672 | F | T | * | * | * | * | F |
| 155673 | F | T | * | * | * | * | F |
| 155674 | F | T | * | * | * | * | F |
| 155675 | F | T | * | * | * | * | F |
| 155676 | F | T | * | * | * | * | F |
| 155677 | F | T | * | * | * | * | F |
| 155678 | F | T | * | * | * | * | F |
| 155679 | F | T | * | * | * | * | F |
| 155680 | F | T | * | * | * | * | F |
| 155681 | F | T | * | * | * | * | F |
| 155682 | F | T | * | * | * | * | F |
| 155683 | F | T | * | * | * | * | F |
| 155684 | F | T | * | * | * | * | F |
| 155685 | F | T | * | * | * | * | F |
| 155686 | F | T | * | * | * | * | F |
| 155687 | F | T | * | * | * | * | F |
| 155688 | F | T | * | * | * | * | F |
| 155689 | F | T | * | * | * | * | F |
| 155690 | F | T | * | * | * | * | F |
| 155691 | F | T | * | * | * | * | F |
| 155692 | F | T | * | * | * | * | F |
| 155693 | F | T | * | * | * | * | F |
| 155694 | F | T | * | * | * | * | F |
| 155695 | F | T | * | * | * | * | F |
| 155696 | F | T | * | * | * | * | F |
| 155697 | F | T | * | * | * | * | F |
| 155698 | F | T | * | * | * | * | F |
| 155699 | F | T | * | * | * | * | F |
| 155700 | F | T | * | * | * | * | F |
| 155701 | F | T | * | * | * | * | F |
| 165310 | F | T | * | * | * | * | F |
| 165311 | F | T | * | * | * | * | F |
| 165312 | F | T | * | * | * | * | F |
| 165313 | F | T | * | * | * | * | F |
| 165314 | F | T | * | * | * | * | F |
| 165315 | F | T | * | * | * | * | F |
| 165316 | F | T | * | * | * | * | F |
| 165317 | F | T | F | F | T | T | F |
| 165318 | F | T | F | F | T | T | F |
| 165319 | F | T | F | F | T | T | F |
| 165320 | F | T | F | F | T | T | F |
| 165321 | F | T | F | F | T | T | F |
| 165322 | F | T | F | F | T | T | F |
| 165323 | F | T | F | F | T | T | F |
| 165324 | F | T | F | F | T | T | F |
| 165325 | F | T | * | * | * | * | F |
| 165326 | F | T | * | * | * | * | F |
| 165327 | F | T | * | * | * | * | F |
| 165328 | F | T | * | * | * | * | F |
| 165329 | F | T | * | * | * | * | F |
| 165330 | F | T | * | * | * | * | F |
| 165331 | F | T | * | * | * | * | F |
| 165332 | F | T | * | * | * | * | F |
| 165333 | F | T | F | F | T | T | F |
| 165334 | F | T | F | F | T | T | F |
| 165335 | F | T | F | F | T | T | F |
| 165336 | F | T | F | F | T | T | F |
| 165337 | F | T | F | F | T | T | F |
| 165338 | F | T | F | F | T | T | F |
| 165339 | F | T | F | F | T | T | F |
| 165340 | F | T | F | F | T | T | F |
| 165341 | F | T | * | * | * | * | F |
| 165342 | F | T | * | * | * | * | F |
| 165343 | F | T | * | * | * | * | F |
| 165344 | F | T | * | * | * | * | F |
| 165345 | F | T | * | * | * | * | F |
| 165346 | F | T | * | * | * | * | F |
| 165347 | F | T | * | * | * | * | F |
| 165348 | F | T | * | * | * | * | F |
| 165349 | F | T | F | F | T | T | F |
| 165350 | F | T | F | F | T | T | F |
| 165351 | F | T | F | F | T | T | F |
| 165352 | F | T | F | F | T | T | F |
| 165353 | F | T | F | F | T | T | F |
| 165354 | F | T | F | F | T | T | F |
| 165355 | F | T | F | F | T | T | F |
| 165356 | F | T | F | F | T | T | F |
| 165357 | F | T | * | * | * | * | F |
| 165358 | F | T | * | * | * | * | F |
| 165359 | F | T | * | * | * | * | F |
| 165360 | F | T | * | * | * | * | F |
| 165361 | F | T | * | * | * | * | F |
| 165362 | F | T | * | * | * | * | F |
| 165363 | F | T | * | * | * | * | F |
| 165364 | F | T | * | * | * | * | F |
| 165365 | F | T | F | F | T | T | F |
| 165366 | F | T | F | F | T | T | F |
| 165367 | F | T | F | F | T | T | F |
| 165368 | F | T | F | F | T | T | F |
| 165369 | F | T | F | F | T | T | F |
| 165370 | F | T | F | F | T | T | F |
| 165371 | F | T | F | F | T | T | F |
| 165372 | F | T | F | F | T | T | F |
| 165373 | F | T | * | * | * | * | F |
| 165374 | F | T | * | * | * | * | F |
| 165375 | F | T | * | * | * | * | F |
| 165376 | F | T | * | * | * | * | F |
| 165377 | F | T | * | * | * | * | F |
| 165378 | F | T | * | * | * | * | F |
| 165379 | F | T | * | * | * | * | F |
| 165380 | F | T | * | * | * | * | F |
| 165381 | F | T | F | F | T | T | F |
| 165382 | F | T | F | F | T | T | F |
| 165383 | F | T | F | F | T | T | F |
| 165384 | F | T | F | F | T | T | F |
| 165385 | F | T | F | F | T | T | F |
| 165386 | F | T | F | F | T | T | F |
| 165387 | F | T | F | F | T | T | F |
| 165388 | F | T | F | F | T | T | F |
| 165389 | F | T | * | * | * | * | F |
| 165390 | F | T | * | * | * | * | F |
| 165391 | F | T | * | * | * | * | F |
| 165392 | F | T | * | * | * | * | F |
| 165393 | F | T | * | * | * | * | F |
| 165394 | F | T | * | * | * | * | F |
| 165395 | F | T | * | * | * | * | F |
| 165396 | F | T | * | * | * | * | F |
| 165397 | F | T | F | F | T | T | F |
| 165398 | F | T | F | F | T | T | F |
| 165399 | F | T | F | F | T | T | F |
| 165400 | F | T | F | F | T | T | F |
| 165401 | F | T | F | F | T | T | F |
| 165402 | F | T | F | F | T | T | F |
| 165403 | F | T | F | F | T | T | F |
| 165404 | F | T | F | F | T | T | F |
| 165405 | F | T | * | * | * | * | F |
| 165406 | F | T | * | * | * | * | F |
| 165407 | F | T | * | * | * | * | F |
| 165408 | F | T | * | * | * | * | F |
| 175168 | F | T | * | * | * | * | F |
| 175169 | F | T | * | * | * | * | F |
| 175170 | F | T | * | * | * | * | F |
| 175171 | F | T | * | * | * | * | F |
| 175172 | F | T | * | * | * | * | F |
| 175173 | F | T | * | * | * | * | F |
| 175174 | F | T | * | * | * | * | F |
| 175175 | F | T | F | F | T | T | F |
| 175176 | F | T | F | F | T | T | F |
| 175177 | F | T | F | F | T | T | F |
| 175178 | F | T | F | F | T | T | F |
| 175179 | F | T | F | F | T | T | F |
| 175180 | F | T | F | F | T | T | F |
| 175181 | F | T | F | F | T | T | F |
| 175182 | F | T | F | F | T | T | F |
| 175183 | F | T | * | * | * | * | F |
| 175184 | F | T | * | * | * | * | F |
| 175185 | F | T | * | * | * | * | F |
| 175186 | F | T | * | * | * | * | F |
| 175187 | F | T | * | * | * | * | F |
| 175188 | F | T | * | * | * | * | F |
| 175189 | F | T | * | * | * | * | F |
| 175190 | F | T | * | * | * | * | F |
| 175191 | F | T | F | F | T | T | F |
| 175192 | F | T | F | F | T | T | F |
| 175193 | F | T | F | F | T | T | F |
| 175194 | F | T | F | F | T | T | F |
| 175195 | F | T | F | F | T | T | F |
| 175196 | F | T | F | F | T | T | F |
| 175197 | F | T | F | F | T | T | F |
| 175198 | F | T | F | F | T | T | F |
| 175199 | F | T | * | * | * | * | F |
| 175200 | F | T | * | * | * | * | F |
| 175201 | F | T | * | * | * | * | F |
| 175202 | F | T | * | * | * | * | F |
| 175203 | F | T | * | * | * | * | F |
| 175204 | F | T | * | * | * | * | F |
| 175205 | F | T | * | * | * | * | F |
| 175206 | F | T | * | * | * | * | F |
| 175207 | F | T | F | F | T | T | F |
| 175208 | F | T | F | F | T | T | F |
| 175209 | F | T | F | F | T | T | F |
| 175210 | F | T | F | F | T | T | F |
| 175211 | F | T | F | F | T | T | F |
| 175212 | F | T | F | F | T | T | F |
| 175213 | F | T | F | F | T | T | F |
| 175214 | F | T | F | F | T | T | F |
| 175215 | F | T | * | * | * | * | F |
| 175216 | F | T | * | * | * | * | F |
| 175217 | F | T | * | * | * | * | F |
| 175218 | F | T | * | * | * | * | F |
| 175219 | F | T | * | * | * | * | F |
| 175220 | F | T | * | * | * | * | F |
| 175221 | F | T | * | * | * | * | F |
| 175222 | F | T | * | * | * | * | F |
| 175223 | F | T | F | F | T | T | F |
| 175224 | F | T | F | F | T | T | F |
| 175225 | F | T | F | F | T | T | F |
| 175226 | F | T | F | F | T | T | F |
| 175227 | F | T | F | F | T | T | F |
| 175228 | F | T | F | F | T | T | F |
| 175229 | F | T | F | F | T | T | F |
| 175230 | F | T | F | F | T | T | F |
| 175231 | F | T | * | * | * | * | F |
| 175232 | F | T | * | * | * | * | F |
| 175233 | F | T | * | * | * | * | F |
| 175234 | F | T | * | * | * | * | F |
| 175235 | F | T | * | * | * | * | F |
| 175236 | F | T | * | * | * | * | F |
| 175237 | F | T | * | * | * | * | F |
| 175238 | F | T | * | * | * | * | F |
| 175239 | F | T | F | F | T | T | F |
| 175240 | F | T | F | F | T | T | F |
| 175241 | F | T | F | F | T | T | F |
| 175242 | F | T | F | F | T | T | F |
| 175243 | F | T | F | F | T | T | F |
| 175244 | F | T | F | F | T | T | F |
| 175245 | F | T | F | F | T | T | F |
| 175246 | F | T | F | F | T | T | F |
| 175247 | F | T | * | * | * | * | F |
| 175248 | F | T | * | * | * | * | F |
| 175249 | F | T | * | * | * | * | F |
| 175250 | F | T | * | * | * | * | F |
| 175251 | F | T | * | * | * | * | F |
| 175252 | F | T | * | * | * | * | F |
| 175253 | F | T | * | * | * | * | F |
| 175254 | F | T | * | * | * | * | F |
| 175255 | F | T | F | F | T | T | F |
| 175256 | F | T | F | F | T | T | F |
| 175257 | F | T | F | F | T | T | F |
| 175258 | F | T | F | F | T | T | F |
| 175259 | F | T | F | F | T | T | F |
| 175260 | F | T | F | F | T | T | F |
| 175261 | F | T | F | F | T | T | F |
| 175262 | F | T | F | F | T | T | F |
| 175263 | F | T | * | * | * | * | F |
| 175264 | F | T | * | * | * | * | F |
| 175265 | F | T | * | * | * | * | F |
| 175266 | F | T | * | * | * | * | F |
| 180102 | F | T | * | * | * | * | F |
| 180103 | F | T | * | * | * | * | F |
| 180104 | F | T | * | * | * | * | F |
| 180105 | F | T | * | * | * | * | F |
| 180106 | F | T | * | * | * | * | F |
| 180107 | F | T | * | * | * | * | F |
| 180108 | F | T | * | * | * | * | F |
| 180109 | F | T | * | * | * | * | F |
| 180110 | F | T | * | * | * | * | F |
| 180111 | F | T | * | * | * | * | F |
| 180112 | F | T | * | * | * | * | F |
| 180113 | F | T | F | F | T | T | F |
| 180114 | F | T | F | F | T | T | F |
| 180115 | F | T | F | F | T | T | F |
| 180116 | F | T | F | F | T | T | F |
| 180117 | F | T | F | F | T | T | F |
| 180118 | F | T | F | F | T | T | F |
| 180119 | F | T | F | F | T | T | F |
| 180120 | F | T | F | F | T | T | F |
| 180121 | F | T | * | * | * | * | F |
| 180122 | F | T | * | * | * | * | F |
| 180123 | F | T | F | F | T | T | F |
| 180124 | F | T | F | F | T | T | F |
| 180125 | F | T | F | F | T | T | F |
| 180126 | F | T | F | F | T | T | F |
| 180127 | F | T | F | F | T | T | F |
| 180128 | F | T | F | F | T | T | F |
| 180129 | F | T | F | F | T | T | F |
| 180130 | F | T | F | F | T | T | F |
| 180131 | F | T | * | * | * | * | F |
| 180132 | F | T | F | F | T | T | F |
| 180133 | F | T | F | F | T | T | F |
| 180134 | F | T | F | F | T | T | F |
| 180135 | F | T | F | F | T | T | F |
| 180136 | F | T | F | F | T | T | F |
| 180137 | F | T | F | F | T | T | F |
| 180138 | F | T | F | F | T | T | F |
| 180139 | F | T | F | F | T | T | F |
| 180140 | F | T | F | F | T | T | F |
| 180141 | F | T | F | F | T | T | F |
| 180142 | F | T | F | F | T | T | F |
| 180143 | F | T | F | F | T | T | F |
| 180144 | F | T | F | F | T | T | F |
| 180145 | F | T | F | F | T | T | F |
| 180146 | F | T | F | F | T | T | F |
| 180147 | F | T | F | F | T | T | F |
| 180148 | F | T | F | F | T | T | F |
| 180149 | F | T | F | F | T | T | F |
| 180150 | F | T | F | F | T | T | F |
| 180151 | F | T | F | F | T | T | F |
| 180152 | F | T | F | F | T | T | F |
| 180153 | F | T | F | F | T | T | F |
| 180154 | F | T | F | F | T | T | F |
| 180155 | F | T | F | F | T | T | F |
| 180156 | F | T | * | * | * | * | F |
| 180157 | F | T | F | F | T | T | F |
| 180158 | F | T | F | F | T | T | F |
| 180159 | F | T | F | F | T | T | F |
| 180160 | F | T | F | F | T | T | F |
| 180161 | F | T | F | F | T | T | F |
| 180162 | F | T | F | F | T | T | F |
| 180163 | F | T | F | F | T | T | F |
| 180164 | F | T | F | F | T | T | F |
| 180165 | F | T | * | * | * | * | F |
| 180166 | F | T | F | F | T | T | F |
| 180167 | F | T | F | F | T | T | F |
| 180168 | F | T | F | F | T | T | F |
| 180169 | F | T | F | F | T | T | F |
| 180170 | F | T | F | F | T | T | F |
| 180171 | F | T | F | F | T | T | F |
| 180172 | F | T | F | F | T | T | F |
| 180173 | F | T | F | F | T | T | F |
| 180174 | F | T | F | F | T | T | F |
| 180175 | F | T | F | F | T | T | F |
| 180176 | F | T | F | F | T | T | F |
| 180177 | F | T | F | F | T | T | F |
| 180178 | F | T | F | F | T | T | F |
| 180179 | F | T | F | F | T | T | F |
| 180180 | F | T | F | F | T | T | F |
| 180181 | F | T | F | F | T | T | F |
| 180182 | F | T | F | F | T | T | F |
| 180183 | F | T | F | F | T | T | F |
| 180184 | F | T | F | F | T | T | F |
| 180185 | F | T | F | F | T | T | F |
| 180186 | F | T | F | F | T | T | F |
| 180187 | F | T | F | F | T | T | F |
| 180188 | F | T | F | F | T | T | F |
| 180189 | F | T | F | F | T | T | F |
| 183680 | F | T | * | * | * | * | F |
| 183681 | F | T | * | * | * | * | F |
| 183682 | F | T | * | * | * | * | F |
| 183683 | F | T | * | * | * | * | F |
| 183684 | F | T | * | * | * | * | F |
| 183685 | F | T | * | * | * | * | F |
| 183686 | F | T | * | * | * | * | F |
| 183687 | F | T | * | * | * | * | F |
| 183688 | F | T | * | * | * | * | F |
| 183689 | F | T | * | * | * | * | F |
| 183690 | F | T | * | * | * | * | F |
| 183691 | F | T | F | F | T | T | F |
| 183692 | F | T | F | F | T | T | F |
| 183693 | F | T | F | F | T | T | F |
| 183694 | F | T | F | F | T | T | F |
| 183695 | F | T | F | F | T | T | F |
| 183696 | F | T | F | F | T | T | F |
| 183697 | F | T | F | F | T | T | F |
| 183698 | F | T | F | F | T | T | F |
| 183699 | F | T | * | * | * | * | F |
| 183700 | F | T | * | * | * | * | F |
| 183701 | F | T | * | * | * | * | F |
| 183702 | F | T | * | * | * | * | F |
| 183703 | F | T | F | F | T | T | F |
| 183704 | F | T | F | F | T | T | F |
| 183705 | F | T | F | F | T | T | F |
| 183706 | F | T | F | F | T | T | F |
| 183707 | F | T | F | F | T | T | F |
| 183708 | F | T | F | F | T | T | F |
| 183709 | F | T | F | F | T | T | F |
| 183710 | F | T | F | F | T | T | F |
| 183711 | F | T | F | F | T | T | F |
| 183712 | F | T | F | F | T | T | F |
| 183713 | F | T | F | F | T | T | F |
| 183714 | F | T | F | F | T | T | F |
| 183715 | F | T | F | F | T | T | F |
| 183716 | F | T | F | F | T | T | F |
| 183717 | F | T | F | F | T | T | F |
| 183718 | F | T | F | F | T | T | F |
| 183719 | F | T | F | F | T | T | F |
| 183720 | F | T | F | F | T | T | F |
| 183721 | F | T | F | F | T | T | F |
| 183722 | F | T | F | F | T | T | F |
| 183723 | F | T | F | F | T | T | F |
| 183724 | F | T | F | F | T | T | F |
| 183725 | F | T | F | F | T | T | F |
| 183726 | F | T | F | F | T | T | F |
| 186847 | F | T | * | * | * | * | F |
| 186848 | F | T | * | * | * | * | F |
| 186849 | F | T | * | * | * | * | F |
| 186850 | F | T | * | * | * | * | F |
| 186851 | F | T | * | * | * | * | F |
| 186852 | F | T | * | * | * | * | F |
| 186853 | F | T | * | * | * | * | F |
| 186854 | F | T | * | * | * | * | F |
| 186855 | F | T | F | F | T | T | F |
| 186856 | F | T | F | F | T | T | F |
| 186857 | F | T | F | F | T | T | F |
| 186858 | F | T | F | F | T | T | F |
| 186859 | F | T | F | F | T | T | F |
| 186860 | F | T | F | F | T | T | F |
| 186861 | F | T | F | F | T | T | F |
| 186862 | F | T | F | F | T | T | F |
| 186863 | F | T | * | * | * | * | F |
| 186864 | F | T | * | * | * | * | F |
| 186865 | F | T | * | * | * | * | F |
| 186866 | F | T | * | * | * | * | F |
| 186867 | F | T | F | F | T | T | F |
| 186868 | F | T | F | F | T | T | F |
| 186869 | F | T | F | F | T | T | F |
| 186870 | F | T | F | F | T | T | F |
| 186871 | F | T | F | F | T | T | F |
| 186872 | F | T | F | F | T | T | F |
| 186873 | F | T | F | F | T | T | F |
| 186874 | F | T | F | F | T | T | F |
| 186875 | F | T | F | F | T | T | F |
| 186876 | F | T | F | F | T | T | F |
| 186877 | F | T | F | F | T | T | F |
| 186878 | F | T | F | F | T | T | F |
| 186879 | F | T | F | F | T | T | F |
| 186880 | F | T | F | F | T | T | F |
| 186881 | F | T | F | F | T | T | F |
| 186882 | F | T | F | F | T | T | F |
| 186883 | F | T | F | F | T | T | F |
| 186884 | F | T | F | F | T | T | F |
| 186885 | F | T | F | F | T | T | F |
| 186886 | F | T | F | F | T | T | F |
| 186887 | F | T | F | F | T | T | F |
| 186888 | F | T | F | F | T | T | F |
| 186889 | F | T | F | F | T | T | F |
| 186890 | F | T | F | F | T | T | F |
| 190107 | F | T | * | * | * | * | F |
| 190108 | F | T | * | * | * | * | F |
| 190109 | F | T | * | * | * | * | F |
| 190110 | F | T | * | * | * | * | F |
| 190111 | F | T | * | * | * | * | F |
| 190112 | F | T | * | * | * | * | F |
| 190113 | F | T | * | * | * | * | F |
| 190114 | F | T | * | * | * | * | F |
| 190115 | F | T | * | * | * | * | F |
| 190116 | F | T | * | * | * | * | F |
| 190117 | F | T | * | * | * | * | F |
| 190118 | F | T | F | F | T | T | F |
| 190119 | F | T | F | F | T | T | F |
| 190120 | F | T | F | F | T | T | F |
| 190121 | F | T | F | F | T | T | F |
| 190122 | F | T | F | F | T | T | F |
| 190123 | F | T | F | F | T | T | F |
| 190124 | F | T | F | F | T | T | F |
| 190125 | F | T | F | F | T | T | F |
| 190126 | F | T | * | * | * | * | F |
| 190127 | F | T | * | * | * | * | F |
| 190128 | F | T | * | * | * | * | F |
| 190129 | F | T | * | * | * | * | F |
| 190130 | F | T | F | F | T | T | F |
| 190131 | F | T | F | F | T | T | F |
| 190132 | F | T | F | F | T | T | F |
| 190133 | F | T | F | F | T | T | F |
| 190134 | F | T | F | F | T | T | F |
| 190135 | F | T | F | F | T | T | F |
| 190136 | F | T | F | F | T | T | F |
| 190137 | F | T | F | F | T | T | F |
| 190138 | F | T | F | F | T | T | F |
| 190139 | F | T | F | F | T | T | F |
| 190140 | F | T | F | F | T | T | F |
| 190141 | F | T | F | F | T | T | F |
| 190142 | F | T | F | F | T | T | F |
| 190143 | F | T | F | F | T | T | F |
| 190144 | F | T | F | F | T | T | F |
| 190145 | F | T | F | F | T | T | F |
| 190146 | F | T | F | F | T | T | F |
| 190147 | F | T | F | F | T | T | F |
| 190148 | F | T | F | F | T | T | F |
| 190149 | F | T | F | F | T | T | F |
| 190150 | F | T | F | F | T | T | F |
| 190151 | F | T | F | F | T | T | F |
| 190152 | F | T | F | F | T | T | F |
| 190153 | F | T | F | F | T | T | F |
| 194450 | F | T | * | * | * | * | F |
| 194451 | F | T | * | * | * | * | F |
| 194452 | F | T | * | * | * | * | F |
| 194453 | F | T | * | * | * | * | F |
| 194454 | F | T | * | * | * | * | F |
| 194455 | F | T | * | * | * | * | F |
| 194456 | F | T | * | * | * | * | F |
| 194457 | F | T | * | * | * | * | F |
| 194458 | F | T | F | F | T | T | F |
| 194459 | F | T | F | F | T | T | F |
| 194460 | F | T | F | F | T | T | F |
| 194461 | F | T | F | F | T | T | F |
| 194462 | F | T | F | F | T | T | F |
| 194463 | F | T | F | F | T | T | F |
| 194464 | F | T | F | F | T | T | F |
| 194465 | F | T | F | F | T | T | F |
| 194466 | F | T | * | * | * | * | F |
| 194467 | F | T | * | * | * | * | F |
| 194468 | F | T | * | * | * | * | F |
| 194469 | F | T | * | * | * | * | F |
| 194470 | F | T | * | * | * | * | F |
| 194471 | F | T | * | * | * | * | F |
| 202355 | F | T | * | * | * | * | F |
| 202356 | F | T | * | * | * | * | F |
| 202357 | F | T | * | * | * | * | F |
| 202358 | F | T | * | * | * | * | F |
| 202359 | F | T | * | * | * | * | F |
| 202360 | F | T | * | * | * | * | F |
| 202361 | F | T | * | * | * | * | F |
| 202362 | F | T | * | * | * | * | F |
| 202363 | F | T | * | * | * | * | F |
| 202364 | F | T | * | * | * | * | F |
| 202365 | F | T | * | * | * | * | F |
| 202366 | F | T | F | F | T | T | F |
| 202367 | F | T | F | F | T | T | F |
| 202368 | F | T | F | F | T | T | F |
| 202369 | F | T | F | F | T | T | F |
| 202370 | F | T | F | F | T | T | F |
| 202371 | F | T | F | F | T | T | F |
| 202372 | F | T | F | F | T | T | F |
| 202373 | F | T | F | F | T | T | F |
| 202374 | F | T | * | * | * | * | F |
| 202375 | F | T | * | * | * | * | F |
| 202376 | F | T | * | * | * | * | F |
| 202377 | F | T | * | * | * | * | F |
| 202378 | F | T | * | * | * | * | F |
| 202379 | F | T | * | * | * | * | F |
| 202380 | F | T | * | * | * | * | F |
| 202381 | F | T | * | * | * | * | F |
| 202382 | F | T | * | * | * | * | F |
| 202383 | F | T | * | * | * | * | F |
| 202384 | F | T | * | * | * | * | F |
| 202385 | F | T | F | F | T | T | F |
| 202386 | F | T | F | F | T | T | F |
| 202387 | F | T | F | F | T | T | F |
| 202388 | F | T | F | F | T | T | F |
| 202389 | F | T | F | F | T | T | F |
| 202390 | F | T | F | F | T | T | F |
| 202391 | F | T | F | F | T | T | F |
| 202392 | F | T | F | F | T | T | F |
| 202393 | F | T | * | * | * | * | F |
| 202394 | F | T | * | * | * | * | F |
| 202395 | F | T | * | * | * | * | F |
| 202396 | F | T | * | * | * | * | F |
| 202397 | F | T | * | * | * | * | F |
| 202398 | F | T | * | * | * | * | F |
| 202399 | F | T | * | * | * | * | F |
| 202400 | F | T | * | * | * | * | F |
| 202401 | F | T | * | * | * | * | F |
| 202402 | F | T | * | * | * | * | F |
| 202403 | F | T | F | F | T | T | F |
| 202404 | F | T | F | F | T | T | F |
| 202405 | F | T | F | F | T | T | F |
| 202406 | F | T | F | F | T | T | F |
| 202407 | F | T | F | F | T | T | F |
| 202408 | F | T | F | F | T | T | F |
| 202409 | F | T | F | F | T | T | F |
| 202410 | F | T | F | F | T | T | F |
| 202411 | F | T | * | * | * | * | F |
| 202412 | F | T | * | * | * | * | F |
| 202413 | F | T | * | * | * | * | F |
| 202414 | F | T | * | * | * | * | F |
| 202415 | F | T | * | * | * | * | F |
| 205849 | F | T | * | * | * | * | F |
| 205850 | F | T | * | * | * | * | F |
| 205851 | F | T | * | * | * | * | F |
| 205852 | F | T | * | * | * | * | F |
| 205853 | F | T | * | * | * | * | F |
| 205854 | F | T | * | * | * | * | F |
| 205855 | F | T | F | F | T | T | F |
| 205856 | F | T | F | F | T | T | F |
| 205857 | F | T | F | F | T | T | F |
| 205858 | F | T | F | F | T | T | F |
| 205859 | F | T | F | F | T | T | F |
| 205860 | F | T | F | F | T | T | F |
| 205861 | F | T | F | F | T | T | F |
| 205862 | F | T | F | F | T | T | F |
| 205863 | F | T | * | * | * | * | F |
| 205864 | F | T | * | * | * | * | F |
| 205865 | F | T | * | * | * | * | F |
| 205866 | F | T | * | * | * | * | F |
| 213671 | F | T | * | * | * | * | F |
| 213672 | F | T | * | * | * | * | F |
| 213673 | F | T | * | * | * | * | F |
| 213674 | F | T | * | * | * | * | F |
| 213675 | F | T | * | * | * | * | F |
| 213676 | F | T | * | * | * | * | F |
| 213677 | F | T | * | * | * | * | F |
| 213678 | F | T | * | * | * | * | F |
| 213679 | F | T | * | * | * | * | F |
| 213680 | F | T | * | * | * | * | F |
| 213681 | F | T | * | * | * | * | F |
| 213682 | F | T | * | * | * | * | F |
| 213683 | F | T | * | * | * | * | F |
| 213684 | F | T | * | * | * | * | F |
| 213685 | F | T | * | * | * | * | F |
| 213686 | F | T | * | * | * | * | F |
| 213687 | F | T | F | F | T | T | F |
| 213688 | F | T | F | F | T | T | F |
| 213689 | F | T | F | F | T | T | F |
| 213690 | F | T | F | F | T | T | F |
| 213691 | F | T | F | F | T | T | F |
| 213692 | F | T | F | F | T | T | F |
| 213693 | F | T | F | F | T | T | F |
| 213694 | F | T | F | F | T | T | F |
| 213695 | F | T | * | * | * | * | F |
| 213696 | F | T | * | * | * | * | F |
| 213697 | F | T | * | * | * | * | F |
| 213698 | F | T | * | * | * | * | F |
| 213699 | F | T | * | * | * | * | F |
| 213700 | F | T | * | * | * | * | F |
| 213701 | F | T | * | * | * | * | F |
| 213702 | F | T | F | F | T | T | F |
| 213703 | F | T | F | F | T | T | F |
| 213704 | F | T | F | F | T | T | F |
| 213705 | F | T | F | F | T | T | F |
| 213706 | F | T | F | F | T | T | F |
| 213707 | F | T | F | F | T | T | F |
| 213708 | F | T | F | F | T | T | F |
| 213709 | F | T | F | F | T | T | F |
| 213710 | F | T | F | F | T | T | F |
| 213711 | F | T | F | F | T | T | F |
| 213712 | F | T | F | F | T | T | F |
| 213713 | F | T | F | F | T | T | F |
| 213714 | F | T | F | F | T | T | F |
| 213715 | F | T | F | F | T | T | F |
| 213716 | F | T | F | F | T | T | F |
| 213717 | F | T | F | F | T | T | F |
| 213718 | F | T | F | F | T | T | F |
| 213719 | F | T | F | F | T | T | F |
| 213720 | F | T | F | F | T | T | F |
| 213721 | F | T | F | F | T | T | F |
| 213722 | F | T | F | F | T | T | F |
| 213723 | F | T | F | F | T | T | F |
| 213724 | F | T | F | F | T | T | F |
| 213725 | F | T | F | F | T | T | F |
| 213726 | F | T | * | * | * | * | F |
| 213727 | F | T | * | * | * | * | F |
| 213728 | F | T | * | * | * | * | F |
| 213729 | F | T | * | * | * | * | F |
| 213730 | F | T | * | * | * | * | F |
| 213731 | F | T | * | * | * | * | F |
| 213732 | F | T | F | F | T | T | F |
| 213733 | F | T | F | F | T | T | F |
| 213734 | F | T | F | F | T | T | F |
| 213735 | F | T | F | F | T | T | F |
| 213736 | F | T | F | F | T | T | F |
| 213737 | F | T | F | F | T | T | F |
| 213738 | F | T | F | F | T | T | F |
| 213739 | F | T | F | F | T | T | F |
| 213740 | F | T | * | * | * | * | F |
| 213741 | F | T | * | * | * | * | F |
| 213742 | F | T | * | * | * | * | F |
| 213743 | F | T | * | * | * | * | F |
| 213744 | F | T | * | * | * | * | F |
| 213745 | F | T | * | * | * | * | F |
| 213746 | F | T | F | F | T | T | F |
| 213747 | F | T | F | F | T | T | F |
| 213748 | F | T | F | F | T | T | F |
| 213749 | F | T | F | F | T | T | F |
| 213750 | F | T | F | F | T | T | F |
| 213751 | F | T | F | F | T | T | F |
| 213752 | F | T | F | F | T | T | F |
| 213753 | F | T | F | F | T | T | F |
| 213754 | F | T | F | F | T | T | F |
| 213755 | F | T | F | F | T | T | F |
| 213756 | F | T | F | F | T | T | F |
| 213757 | F | T | F | F | T | T | F |
| 213758 | F | T | F | F | T | T | F |
| 213759 | F | T | F | F | T | T | F |
| 213760 | F | T | F | F | T | T | F |
| 213761 | F | T | F | F | T | T | F |
| 213762 | F | T | F | F | T | T | F |
| 213763 | F | T | F | F | T | T | F |
| 213764 | F | T | F | F | T | T | F |
| 213765 | F | T | F | F | T | T | F |
| 213766 | F | T | F | F | T | T | F |
| 213767 | F | T | F | F | T | T | F |
| 213768 | F | T | F | F | T | T | F |
| 213769 | F | T | F | F | T | T | F |
| 221218 | F | T | * | * | * | * | F |
| 221219 | F | T | * | * | * | * | F |
| 221220 | F | T | * | * | * | * | F |
| 221221 | F | T | * | * | * | * | F |
| 221222 | F | T | * | * | * | * | F |
| 221223 | F | T | * | * | * | * | F |
| 221224 | F | T | F | F | T | T | F |
| 221225 | F | T | F | F | T | T | F |
| 221226 | F | T | F | F | T | T | F |
| 221227 | F | T | F | F | T | T | F |
| 221228 | F | T | F | F | T | T | F |
| 221229 | F | T | F | F | T | T | F |
| 221230 | F | T | F | F | T | T | F |
| 221231 | F | T | F | F | T | T | F |
| 221232 | F | T | F | F | T | T | F |
| 221233 | F | T | F | F | T | T | F |
| 221234 | F | T | F | F | T | T | F |
| 221235 | F | T | F | F | T | T | F |
| 221236 | F | T | F | F | T | T | F |
| 221237 | F | T | F | F | T | T | F |
| 221238 | F | T | F | F | T | T | F |
| 221239 | F | T | F | F | T | T | F |
| 221240 | F | T | F | F | T | T | F |
| 221241 | F | T | F | F | T | T | F |
| 221242 | F | T | F | F | T | T | F |
| 221243 | F | T | F | F | T | T | F |
| 221244 | F | T | F | F | T | T | F |
| 221245 | F | T | F | F | T | T | F |
| 221246 | F | T | F | F | T | T | F |
| 221247 | F | T | F | F | T | T | F |
| 221248 | F | T | * | * | * | * | F |
| 221249 | F | T | * | * | * | * | F |
| 221250 | F | T | * | * | * | * | F |
| 221251 | F | T | * | * | * | * | F |
| 221252 | F | T | * | * | * | * | F |
| 221253 | F | T | * | * | * | * | F |
| 221254 | F | T | * | * | * | * | F |
| 221255 | F | T | * | * | * | * | F |
| 221256 | F | T | * | * | * | * | F |
| 221257 | F | T | * | * | * | * | F |
| 221258 | F | T | * | * | * | * | F |
| 221259 | F | T | F | F | T | T | F |
| 221260 | F | T | F | F | T | T | F |
| 221261 | F | T | F | F | T | T | F |
| 221262 | F | T | F | F | T | T | F |
| 221263 | F | T | F | F | T | T | F |
| 221264 | F | T | F | F | T | T | F |
| 221265 | F | T | F | F | T | T | F |
| 221266 | F | T | F | F | T | T | F |
| 221267 | F | T | * | * | * | * | F |
| 221268 | F | T | * | * | * | * | F |
| 221269 | F | T | * | * | * | * | F |
| 221270 | F | T | * | * | * | * | F |
| 221271 | F | T | * | * | * | * | F |
| 221272 | F | T | * | * | * | * | F |
| 221273 | F | T | * | * | * | * | F |
| 221274 | F | T | * | * | * | * | F |
| 221275 | F | T | * | * | * | * | F |
| 221276 | F | T | * | * | * | * | F |
| 221277 | F | T | * | * | * | * | F |
| 221278 | F | T | * | * | * | * | F |
| 221279 | F | T | * | * | * | * | F |
| 221280 | F | T | * | * | * | * | F |
| 221281 | F | T | * | * | * | * | F |
| 221282 | F | T | * | * | * | * | F |
| 221283 | F | T | * | * | * | * | F |
| 221284 | F | T | * | * | * | * | F |
| 221285 | F | T | * | * | * | * | F |
| 221286 | F | T | * | * | * | * | F |
| 221287 | F | T | F | F | T | T | F |
| 221288 | F | T | F | F | T | T | F |
| 221289 | F | T | F | F | T | T | F |
| 221290 | F | T | F | F | T | T | F |
| 221291 | F | T | F | F | T | T | F |
| 221292 | F | T | F | F | T | T | F |
| 221293 | F | T | F | F | T | T | F |
| 221294 | F | T | F | F | T | T | F |
| 221295 | F | T | F | F | T | T | F |
| 221296 | F | T | F | F | T | T | F |
| 221297 | F | T | F | F | T | T | F |
| 221298 | F | T | F | F | T | T | F |
| 221299 | F | T | F | F | T | T | F |
| 221300 | F | T | F | F | T | T | F |
| 221301 | F | T | F | F | T | T | F |
| 221302 | F | T | F | F | T | T | F |
| 221303 | F | T | F | F | T | T | F |
| 221304 | F | T | F | F | T | T | F |
| 221305 | F | T | F | F | T | T | F |
| 221306 | F | T | F | F | T | T | F |
| 221307 | F | T | F | F | T | T | F |
| 221308 | F | T | F | F | T | T | F |
| 221309 | F | T | F | F | T | T | F |
| 221310 | F | T | F | F | T | T | F |
| 296396 | F | T | * | * | * | * | F |
| 296397 | F | T | * | * | * | * | F |
| 296398 | F | T | * | * | * | * | F |
| 296399 | F | T | * | * | * | * | F |
| 296400 | F | T | * | * | * | * | F |
| 296401 | F | T | * | * | * | * | F |
| 296402 | F | T | * | * | * | * | F |
| 296403 | F | T | * | * | * | * | F |
| 296404 | F | T | * | * | * | * | F |
| 296405 | F | T | * | * | * | * | F |
| 296406 | F | T | * | * | * | * | F |
| 296407 | F | T | * | * | * | * | F |
| 296408 | F | T | * | * | * | * | F |
| 296409 | F | T | * | * | * | * | F |
| 296410 | F | T | * | * | * | * | F |
| 296411 | F | T | * | * | * | * | F |
| 296412 | F | T | F | F | T | T | F |
| 296413 | F | T | F | F | T | T | F |
| 296414 | F | T | F | F | T | T | F |
| 296415 | F | T | F | F | T | T | F |
| 296416 | F | T | F | F | T | T | F |
| 296417 | F | T | F | F | T | T | F |
| 296418 | F | T | F | F | T | T | F |
| 296419 | F | T | F | F | T | T | F |
| 296420 | F | T | * | * | * | * | F |
| 296421 | F | T | * | * | * | * | F |
| 296422 | F | T | * | * | * | * | F |
| 296423 | F | T | * | * | * | * | F |
| 296424 | F | T | * | * | * | * | F |
| 296425 | F | T | * | * | * | * | F |
| 296426 | F | T | * | * | * | * | F |
| 296427 | F | T | * | * | * | * | F |
| 296428 | F | T | * | * | * | * | F |
| 296429 | F | T | * | * | * | * | F |
| 296430 | F | T | * | * | * | * | F |
| 296431 | F | T | * | * | * | * | F |
| 296432 | F | T | * | * | * | * | F |
| 296433 | F | T | * | * | * | * | F |
| 296434 | F | T | * | * | * | * | F |
| 296435 | F | T | * | * | * | * | F |
| 296436 | F | T | * | * | * | * | F |
| 296437 | F | T | * | * | * | * | F |
| 296438 | F | T | * | * | * | * | F |
| 296439 | F | T | * | * | * | * | F |
| 296440 | F | T | * | * | * | * | F |
| 296441 | F | T | * | * | * | * | F |
| 296442 | F | T | * | * | * | * | F |
| 296443 | F | T | * | * | * | * | F |
| 296444 | F | T | * | * | * | * | F |
| 296445 | F | T | * | * | * | * | F |
| 296446 | F | T | * | * | * | * | F |
| 296447 | F | T | * | * | * | * | F |
| 296448 | F | T | * | * | * | * | F |
| 296449 | F | T | * | * | * | * | F |
| 296450 | F | T | * | * | * | * | F |
| 296451 | F | T | * | * | * | * | F |
| 296452 | F | T | * | * | * | * | F |
| 296453 | F | T | * | * | * | * | F |
| 296454 | F | T | * | * | * | * | F |
| 373773 | F | T | * | * | * | * | F |
| 373774 | F | T | * | * | * | * | F |
| 373775 | F | T | * | * | * | * | F |
| 373776 | F | T | * | * | * | * | F |
| 373777 | F | T | * | * | * | * | F |
| 373778 | F | T | * | * | * | * | F |
| 373779 | F | T | * | * | * | * | F |
| 373780 | F | T | * | * | * | * | F |
| 373781 | F | T | * | * | * | * | F |
| 373782 | F | T | * | * | * | * | F |
| 373783 | F | T | * | * | * | * | F |
| 373784 | F | T | * | * | * | * | F |
| 373785 | F | T | * | * | * | * | F |
| 373786 | F | T | * | * | * | * | F |
| 373787 | F | T | * | * | * | * | F |
| 373788 | F | T | * | * | * | * | F |
| 373789 | F | T | F | F | T | T | F |
| 373790 | F | T | F | F | T | T | F |
| 373791 | F | T | F | F | T | T | F |
| 373792 | F | T | F | F | T | T | F |
| 373793 | F | T | F | F | T | T | F |
| 373794 | F | T | F | F | T | T | F |
| 373795 | F | T | F | F | T | T | F |
| 373796 | F | T | F | F | T | T | F |
| 373797 | F | T | * | * | * | * | F |
| 373798 | F | T | * | * | * | * | F |
| 373799 | F | T | * | * | * | * | F |
| 373800 | F | T | * | * | * | * | F |
| 373801 | F | T | * | * | * | * | F |
| 373802 | F | T | * | * | * | * | F |
| 373803 | F | T | * | * | * | * | F |
| 373804 | F | T | * | * | * | * | F |
| 373805 | F | T | * | * | * | * | F |
| 373806 | F | T | * | * | * | * | F |
| 373807 | F | T | * | * | * | * | F |
| 373808 | F | T | * | * | * | * | F |
| 373809 | F | T | * | * | * | * | F |
| 373810 | F | T | * | * | * | * | F |
| 373811 | F | T | * | * | * | * | F |
| 373812 | F | T | * | * | * | * | F |
| 373813 | F | T | * | * | * | * | F |
| 373814 | F | T | * | * | * | * | F |
| 373815 | F | T | * | * | * | * | F |
| 373816 | F | T | * | * | * | * | F |
| 373817 | F | T | * | * | * | * | F |
| 373818 | F | T | * | * | * | * | F |
| 373819 | F | T | * | * | * | * | F |
| 373820 | F | T | * | * | * | * | F |
| 373821 | F | T | * | * | * | * | F |
| 373822 | F | T | * | * | * | * | F |
| 373823 | F | T | * | * | * | * | F |
| 373824 | F | T | * | * | * | * | F |
| 373825 | F | T | * | * | * | * | F |
| 373826 | F | T | * | * | * | * | F |
| 373827 | F | T | * | * | * | * | F |
| 373828 | F | T | * | * | * | * | F |
| 373829 | F | T | * | * | * | * | F |
| 373830 | F | T | * | * | * | * | F |
| 373831 | F | T | * | * | * | * | F |
| 379181 | F | T | * | * | * | * | F |
| 379182 | F | T | * | * | * | * | F |
| 379183 | F | T | * | * | * | * | F |
| 379184 | F | T | * | * | * | * | F |
| 379185 | F | T | * | * | * | * | F |
| 379186 | F | T | * | * | * | * | F |
| 379187 | F | T | * | * | * | * | F |
| 379188 | F | T | F | F | T | T | F |
| 379189 | F | T | F | F | T | T | F |
| 379190 | F | T | F | F | T | T | F |
| 379191 | F | T | F | F | T | T | F |
| 379192 | F | T | F | F | T | T | F |
| 379193 | F | T | F | F | T | T | F |
| 379194 | F | T | F | F | T | T | F |
| 379195 | F | T | F | F | T | T | F |
| 379196 | F | T | * | * | * | * | F |
| 379197 | F | T | * | * | * | * | F |
| 379198 | F | T | * | * | * | * | F |
| 379199 | F | T | * | * | * | * | F |
| 382008 | F | T | * | * | * | * | F |
| 382009 | F | T | * | * | * | * | F |
| 382010 | F | T | * | * | * | * | F |
| 382011 | F | T | * | * | * | * | F |
| 382012 | F | T | * | * | * | * | F |
| 382013 | F | T | * | * | * | * | F |
| 382014 | F | T | * | * | * | * | F |
| 382015 | F | T | * | * | * | * | F |
| 382016 | F | T | * | * | * | * | F |
| 382017 | F | T | F | F | T | T | F |
| 382018 | F | T | F | F | T | T | F |
| 382019 | F | T | F | F | T | T | F |
| 382020 | F | T | F | F | T | T | F |
| 382021 | F | T | F | F | T | T | F |
| 382022 | F | T | F | F | T | T | F |
| 382023 | F | T | F | F | T | T | F |
| 382024 | F | T | F | F | T | T | F |
| 382025 | F | T | * | * | * | * | F |
| 382026 | F | T | * | * | * | * | F |
| 382027 | F | T | * | * | * | * | F |
| 382028 | F | T | * | * | * | * | F |
| 384797 | F | T | * | * | * | * | F |
| 384798 | F | T | * | * | * | * | F |
| 384799 | F | T | * | * | * | * | F |
| 384800 | F | T | * | * | * | * | F |
| 384801 | F | T | * | * | * | * | F |
| 384802 | F | T | * | * | * | * | F |
| 384803 | F | T | F | F | T | T | F |
| 384804 | F | T | F | F | T | T | F |
| 384805 | F | T | F | F | T | T | F |
| 384806 | F | T | F | F | T | T | F |
| 384807 | F | T | F | F | T | T | F |
| 384808 | F | T | F | F | T | T | F |
| 384809 | F | T | F | F | T | T | F |
| 384810 | F | T | F | F | T | T | F |
| 384811 | F | T | * | * | * | * | F |
| 384812 | F | T | * | * | * | * | F |
| 384813 | F | T | * | * | * | * | F |
| 384814 | F | T | * | * | * | * | F |
Independent-effect pairs
c0(branch9736): GAP view gap →core::fmt::write· br_if
inlined: unicode_data.rs:489c1(branch9737): GAP view gap →core::fmt::write· br_if
inlined: unicode_data.rs:489c2(branch9746): GAP view gap →core::fmt::write· br_if
inlined: unicode_data.rs:602c3(branch9747): GAP view gap →core::fmt::write· br_if
inlined: unicode_data.rs:602c4(branch9748): GAP view gap →core::fmt::write· br_if
inlined: unicode_data.rs:602c5(branch9749): GAP view gap →core::fmt::write· br_if
inlined: unicode_data.rs:602