Decision #1171 — malloc.c:4545
Status: partial
Truth table
| row | c0 br 8082 | c1 br 8083 | c2 br 8084 | outcome |
|---|---|---|---|---|
| 22939 | F | F | T | T |
| 22940 | * | F | T | T |
| 22941 | * | F | T | T |
| 22942 | * | F | T | T |
| 22943 | * | F | T | T |
| 22944 | * | F | T | T |
| 22945 | * | F | T | T |
| 22946 | * | F | T | T |
| 22947 | * | F | T | T |
| 22948 | * | F | T | T |
| 22949 | * | F | T | T |
| 22950 | * | F | T | T |
| 22951 | * | F | T | T |
| 22952 | * | F | T | T |
| 22953 | * | F | T | T |
| 22954 | * | F | T | T |
| 22955 | * | F | T | T |
| 22956 | * | F | T | T |
| 22957 | * | F | T | T |
| 22958 | * | F | T | T |
| 22959 | * | F | T | T |
| 22960 | * | F | T | T |
| 22961 | * | F | T | T |
| 22962 | * | F | T | T |
| 22963 | * | F | T | T |
| 22964 | * | F | T | T |
| 22965 | * | F | T | T |
| 22966 | * | F | T | T |
| 22967 | * | F | T | T |
| 22968 | * | F | T | T |
| 22969 | * | F | T | T |
| 22970 | * | F | T | T |
| 22971 | * | F | T | T |
| 22972 | * | F | T | T |
| 22973 | * | F | T | T |
| 22974 | * | F | T | T |
| 22975 | * | F | T | T |
| 22976 | * | F | T | T |
| 22977 | * | F | T | T |
| 22978 | * | F | T | T |
| 22979 | * | F | T | T |
| 22980 | * | F | T | T |
| 22981 | * | F | T | T |
| 22982 | * | F | T | T |
| 22983 | * | F | T | T |
| 22984 | * | F | T | T |
| 22985 | * | F | T | T |
| 22986 | * | F | T | T |
| 22987 | * | F | T | T |
| 22988 | * | F | T | T |
| 22989 | * | F | T | T |
| 22990 | * | F | T | T |
| 22991 | * | F | T | T |
| 22992 | * | F | T | T |
| 22993 | * | F | T | T |
| 22994 | * | F | T | T |
| 22995 | * | F | T | T |
| 22996 | * | F | T | T |
| 22997 | * | F | T | T |
| 22998 | * | F | T | T |
| 22999 | * | F | T | T |
| 23000 | * | F | T | T |
| 23001 | * | F | T | T |
| 23002 | * | F | T | T |
| 23003 | * | F | T | T |
| 23004 | * | F | T | T |
| 23005 | * | F | T | T |
| 23006 | * | F | T | T |
| 23007 | * | F | T | T |
| 23008 | * | F | T | T |
| 23009 | * | F | T | T |
| 23010 | * | F | T | T |
| 23011 | * | F | T | T |
| 23012 | * | F | T | T |
| 23013 | * | F | T | T |
| 23014 | * | F | T | T |
| 23015 | * | F | T | T |
| 23016 | * | F | T | T |
| 23017 | * | F | T | T |
| 23018 | * | F | T | T |
| 23019 | * | F | T | T |
| 23020 | * | F | T | T |
| 23021 | * | F | T | T |
| 23022 | * | F | T | T |
| 23023 | * | F | T | T |
| 23024 | * | F | T | T |
| 23025 | * | F | T | T |
| 23026 | * | F | T | T |
| 23027 | * | F | T | T |
| 23028 | * | F | T | T |
| 23029 | * | F | T | T |
| 23030 | * | F | T | T |
| 23031 | * | F | T | T |
| 23032 | * | F | T | T |
| 23033 | * | F | T | T |
| 23034 | * | F | T | T |
| 23035 | * | F | T | T |
| 23036 | * | F | T | T |
| 23037 | * | F | T | T |
| 23038 | * | F | T | T |
| 23039 | * | F | T | T |
| 23040 | * | F | T | T |
| 23041 | * | F | T | T |
| 23042 | * | F | T | T |
| 23043 | * | F | T | T |
| 23044 | * | F | T | T |
| 23045 | * | F | T | T |
| 23046 | * | F | T | T |
| 23047 | * | F | T | T |
| 23048 | * | F | T | T |
| 23049 | * | F | T | T |
| 23050 | * | F | T | T |
| 23051 | * | F | T | T |
| 23052 | * | F | T | T |
| 23053 | * | F | T | T |
| 23054 | * | F | T | T |
| 23055 | * | F | T | T |
| 23056 | * | F | T | T |
| 23057 | * | F | T | T |
| 23058 | * | F | T | T |
| 23059 | * | F | T | T |
| 23060 | * | F | T | T |
| 23061 | * | F | T | T |
| 23062 | * | F | T | T |
| 23063 | * | F | T | T |
| 23064 | * | F | T | T |
| 23065 | * | F | T | T |
| 23066 | * | F | F | F |
| 23067 | F | F | T | T |
| 23068 | * | F | T | T |
| 23069 | * | F | T | T |
| 23070 | * | F | T | T |
| 23071 | * | F | T | T |
| 23072 | * | F | T | T |
| 23073 | * | F | T | T |
| 23074 | * | F | T | T |
| 23075 | * | F | T | T |
| 23076 | * | F | T | T |
| 23077 | * | F | T | T |
| 23078 | * | F | T | T |
| 23079 | * | F | T | T |
| 23080 | * | F | T | T |
| 23081 | * | F | T | T |
| 23082 | * | F | T | T |
| 23083 | * | F | T | T |
| 23084 | * | F | T | T |
| 23085 | * | F | T | T |
| 23086 | * | F | T | T |
| 23087 | * | F | T | T |
| 23088 | * | F | T | T |
| 23089 | * | F | T | T |
| 23090 | * | F | T | T |
| 23091 | * | F | T | T |
| 23092 | * | F | T | T |
| 23093 | * | F | T | T |
| 23094 | * | F | T | T |
| 23095 | * | F | T | T |
| 23096 | * | F | T | T |
| 23097 | * | F | T | T |
| 23098 | * | F | T | T |
| 23099 | * | F | T | T |
| 23100 | * | F | T | T |
| 23101 | * | F | T | T |
| 23102 | * | F | T | T |
| 23103 | * | F | T | T |
| 23104 | * | F | T | T |
| 23105 | * | F | T | T |
| 23106 | * | F | T | T |
| 23107 | * | F | T | T |
| 23108 | * | F | T | T |
| 23109 | * | F | T | T |
| 23110 | * | F | T | T |
| 23111 | * | F | T | T |
| 23112 | * | F | T | T |
| 23113 | * | F | T | T |
| 23114 | * | F | T | T |
| 23115 | * | F | T | T |
| 23116 | * | F | T | T |
| 23117 | * | F | T | T |
| 23118 | * | F | T | T |
| 23119 | * | F | T | T |
| 23120 | * | F | T | T |
| 23121 | * | F | T | T |
| 23122 | * | F | T | T |
| 23123 | * | F | T | T |
| 23124 | * | F | T | T |
| 23125 | * | F | T | T |
| 23126 | * | F | T | T |
| 23127 | * | F | T | T |
| 23128 | * | F | T | T |
| 23129 | * | F | T | T |
| 23130 | * | F | T | T |
| 23131 | * | F | T | T |
| 23132 | * | F | T | T |
| 23133 | * | F | T | T |
| 23134 | * | F | T | T |
| 23135 | * | F | T | T |
| 23136 | * | F | T | T |
| 23137 | * | F | T | T |
| 23138 | * | F | T | T |
| 23139 | * | F | T | T |
| 23140 | * | F | T | T |
| 23141 | * | F | T | T |
| 23142 | * | F | T | T |
| 23143 | * | F | T | T |
| 23144 | * | F | T | T |
| 23145 | * | F | T | T |
| 23146 | * | F | T | T |
| 23147 | * | F | T | T |
| 23148 | * | F | T | T |
| 23149 | * | F | T | T |
| 23150 | * | F | T | T |
| 23151 | * | F | T | T |
| 23152 | * | F | T | T |
| 23153 | * | F | T | T |
| 23154 | * | F | T | T |
| 23155 | * | F | T | T |
| 23156 | * | F | T | T |
| 23157 | * | F | T | T |
| 23158 | * | F | T | T |
| 23159 | * | F | T | T |
| 23160 | * | F | T | T |
| 23161 | * | F | T | T |
| 23162 | * | F | T | T |
| 23163 | * | F | T | T |
| 23164 | * | F | T | T |
| 23165 | * | F | T | T |
| 23166 | * | F | T | T |
| 23167 | * | F | T | T |
| 23168 | * | F | T | T |
| 23169 | * | F | T | T |
| 23170 | * | F | T | T |
| 23171 | * | F | T | T |
| 23172 | * | F | T | T |
| 23173 | * | F | T | T |
| 23174 | * | F | T | T |
| 23175 | * | F | T | T |
| 23176 | * | F | T | T |
| 23177 | * | F | T | T |
| 23178 | * | F | T | T |
| 23179 | * | F | T | T |
| 23180 | * | F | T | T |
| 23181 | * | F | T | T |
| 23182 | * | F | T | T |
| 23183 | * | F | T | T |
| 23184 | * | F | T | T |
| 23185 | * | F | T | T |
| 23186 | * | F | T | T |
| 23187 | * | F | T | T |
| 23188 | * | F | T | T |
| 23189 | * | F | T | T |
| 23190 | * | F | T | T |
| 23191 | * | F | T | T |
| 23192 | * | F | T | T |
| 23193 | * | F | T | T |
| 23194 | * | F | F | F |
| 32414 | F | F | T | T |
| 32415 | * | F | T | T |
| 32416 | * | F | T | T |
| 32417 | * | F | T | T |
| 32418 | * | F | T | T |
| 32419 | * | F | T | T |
| 32420 | * | F | T | T |
| 32421 | * | F | T | T |
| 32422 | * | F | T | T |
| 32423 | * | F | T | T |
| 32424 | * | F | T | T |
| 32425 | * | F | T | T |
| 32426 | * | F | T | T |
| 32427 | * | F | T | T |
| 32428 | * | F | T | T |
| 32429 | * | F | T | T |
| 32430 | * | F | T | T |
| 32431 | * | F | T | T |
| 32432 | * | F | T | T |
| 32433 | * | F | T | T |
| 32434 | * | F | T | T |
| 32435 | * | F | T | T |
| 32436 | * | F | T | T |
| 32437 | * | F | T | T |
| 32438 | * | F | T | T |
| 32439 | * | F | T | T |
| 32440 | * | F | T | T |
| 32441 | * | F | T | T |
| 32442 | * | F | T | T |
| 32443 | * | F | T | T |
| 32444 | * | F | T | T |
| 32445 | * | F | T | T |
| 32446 | * | F | T | T |
| 32447 | * | F | T | T |
| 32448 | * | F | T | T |
| 32449 | * | F | T | T |
| 32450 | * | F | T | T |
| 32451 | * | F | T | T |
| 32452 | * | F | T | T |
| 32453 | * | F | T | T |
| 32454 | * | F | T | T |
| 32455 | * | F | T | T |
| 32456 | * | F | T | T |
| 32457 | * | F | T | T |
| 32458 | * | F | T | T |
| 32459 | * | F | T | T |
| 32460 | * | F | T | T |
| 32461 | * | F | T | T |
| 32462 | * | F | T | T |
| 32463 | * | F | T | T |
| 32464 | * | F | T | T |
| 32465 | * | F | T | T |
| 32466 | * | F | T | T |
| 32467 | * | F | T | T |
| 32468 | * | F | T | T |
| 32469 | * | F | T | T |
| 32470 | * | F | T | T |
| 32471 | * | F | T | T |
| 32472 | * | F | T | T |
| 32473 | * | F | T | T |
| 32474 | * | F | T | T |
| 32475 | * | F | T | T |
| 32476 | * | F | T | T |
| 32477 | * | F | T | T |
| 32478 | * | F | T | T |
| 32479 | * | F | T | T |
| 32480 | * | F | T | T |
| 32481 | * | F | T | T |
| 32482 | * | F | T | T |
| 32483 | * | F | T | T |
| 32484 | * | F | T | T |
| 32485 | * | F | T | T |
| 32486 | * | F | T | T |
| 32487 | * | F | T | T |
| 32488 | * | F | T | T |
| 32489 | * | F | T | T |
| 32490 | * | F | T | T |
| 32491 | * | F | T | T |
| 32492 | * | F | T | T |
| 32493 | * | F | T | T |
| 32494 | * | F | T | T |
| 32495 | * | F | T | T |
| 32496 | * | F | T | T |
| 32497 | * | F | T | T |
| 32498 | * | F | T | T |
| 32499 | * | F | T | T |
| 32500 | * | F | T | T |
| 32501 | * | F | T | T |
| 32502 | * | F | T | T |
| 32503 | * | F | T | T |
| 32504 | * | F | T | T |
| 32505 | * | F | T | T |
| 32506 | * | F | T | T |
| 32507 | * | F | T | T |
| 32508 | * | F | T | T |
| 32509 | * | F | T | T |
| 32510 | * | F | T | T |
| 32511 | * | F | T | T |
| 32512 | * | F | T | T |
| 32513 | * | F | T | T |
| 32514 | * | F | T | T |
| 32515 | * | F | T | T |
| 32516 | * | F | T | T |
| 32517 | * | F | T | T |
| 32518 | * | F | T | T |
| 32519 | * | F | T | T |
| 32520 | * | F | T | T |
| 32521 | * | F | T | T |
| 32522 | * | F | T | T |
| 32523 | * | F | T | T |
| 32524 | * | F | T | T |
| 32525 | * | F | T | T |
| 32526 | * | F | T | T |
| 32527 | * | F | T | T |
| 32528 | * | F | T | T |
| 32529 | * | F | T | T |
| 32530 | * | F | T | T |
| 32531 | * | F | T | T |
| 32532 | * | F | T | T |
| 32533 | * | F | T | T |
| 32534 | * | F | T | T |
| 32535 | * | F | T | T |
| 32536 | * | F | T | T |
| 32537 | * | F | T | T |
| 32538 | * | F | T | T |
| 32539 | * | F | T | T |
| 32540 | * | F | T | T |
| 32541 | * | F | F | F |
| 32542 | F | F | T | T |
| 32543 | * | F | T | T |
| 32544 | * | F | T | T |
| 32545 | * | F | T | T |
| 32546 | * | F | T | T |
| 32547 | * | F | T | T |
| 32548 | * | F | T | T |
| 32549 | * | F | T | T |
| 32550 | * | F | T | T |
| 32551 | * | F | T | T |
| 32552 | * | F | T | T |
| 32553 | * | F | T | T |
| 32554 | * | F | T | T |
| 32555 | * | F | T | T |
| 32556 | * | F | T | T |
| 32557 | * | F | T | T |
| 32558 | * | F | T | T |
| 32559 | * | F | T | T |
| 32560 | * | F | T | T |
| 32561 | * | F | T | T |
| 32562 | * | F | T | T |
| 32563 | * | F | T | T |
| 32564 | * | F | T | T |
| 32565 | * | F | T | T |
| 32566 | * | F | T | T |
| 32567 | * | F | T | T |
| 32568 | * | F | T | T |
| 32569 | * | F | T | T |
| 32570 | * | F | T | T |
| 32571 | * | F | T | T |
| 32572 | * | F | T | T |
| 32573 | * | F | T | T |
| 32574 | * | F | T | T |
| 32575 | * | F | T | T |
| 32576 | * | F | T | T |
| 32577 | * | F | T | T |
| 32578 | * | F | T | T |
| 32579 | * | F | T | T |
| 32580 | * | F | T | T |
| 32581 | * | F | T | T |
| 32582 | * | F | T | T |
| 32583 | * | F | T | T |
| 32584 | * | F | T | T |
| 32585 | * | F | T | T |
| 32586 | * | F | T | T |
| 32587 | * | F | T | T |
| 32588 | * | F | T | T |
| 32589 | * | F | T | T |
| 32590 | * | F | T | T |
| 32591 | * | F | T | T |
| 32592 | * | F | T | T |
| 32593 | * | F | T | T |
| 32594 | * | F | T | T |
| 32595 | * | F | T | T |
| 32596 | * | F | T | T |
| 32597 | * | F | T | T |
| 32598 | * | F | T | T |
| 32599 | * | F | T | T |
| 32600 | * | F | T | T |
| 32601 | * | F | T | T |
| 32602 | * | F | T | T |
| 32603 | * | F | T | T |
| 32604 | * | F | T | T |
| 32605 | * | F | T | T |
| 32606 | * | F | T | T |
| 32607 | * | F | T | T |
| 32608 | * | F | T | T |
| 32609 | * | F | T | T |
| 32610 | * | F | T | T |
| 32611 | * | F | T | T |
| 32612 | * | F | T | T |
| 32613 | * | F | T | T |
| 32614 | * | F | T | T |
| 32615 | * | F | T | T |
| 32616 | * | F | T | T |
| 32617 | * | F | T | T |
| 32618 | * | F | T | T |
| 32619 | * | F | T | T |
| 32620 | * | F | T | T |
| 32621 | * | F | T | T |
| 32622 | * | F | T | T |
| 32623 | * | F | T | T |
| 32624 | * | F | T | T |
| 32625 | * | F | T | T |
| 32626 | * | F | T | T |
| 32627 | * | F | T | T |
| 32628 | * | F | T | T |
| 32629 | * | F | T | T |
| 32630 | * | F | T | T |
| 32631 | * | F | T | T |
| 32632 | * | F | T | T |
| 32633 | * | F | T | T |
| 32634 | * | F | T | T |
| 32635 | * | F | T | T |
| 32636 | * | F | T | T |
| 32637 | * | F | T | T |
| 32638 | * | F | T | T |
| 32639 | * | F | T | T |
| 32640 | * | F | T | T |
| 32641 | * | F | T | T |
| 32642 | * | F | T | T |
| 32643 | * | F | T | T |
| 32644 | * | F | T | T |
| 32645 | * | F | T | T |
| 32646 | * | F | T | T |
| 32647 | * | F | T | T |
| 32648 | * | F | T | T |
| 32649 | * | F | T | T |
| 32650 | * | F | T | T |
| 32651 | * | F | T | T |
| 32652 | * | F | T | T |
| 32653 | * | F | T | T |
| 32654 | * | F | T | T |
| 32655 | * | F | T | T |
| 32656 | * | F | T | T |
| 32657 | * | F | T | T |
| 32658 | * | F | T | T |
| 32659 | * | F | T | T |
| 32660 | * | F | T | T |
| 32661 | * | F | T | T |
| 32662 | * | F | T | T |
| 32663 | * | F | T | T |
| 32664 | * | F | T | T |
| 32665 | * | F | T | T |
| 32666 | * | F | T | T |
| 32667 | * | F | T | T |
| 32668 | * | F | T | T |
| 32669 | * | F | F | F |
| 38775 | F | F | T | T |
| 38776 | * | F | T | T |
| 38777 | * | F | T | T |
| 38778 | * | F | T | T |
| 38779 | * | F | T | T |
| 38780 | * | F | T | T |
| 38781 | * | F | T | T |
| 38782 | * | F | T | T |
| 38783 | * | F | T | T |
| 38784 | * | F | T | T |
| 38785 | * | F | T | T |
| 38786 | * | F | T | T |
| 38787 | * | F | T | T |
| 38788 | * | F | T | T |
| 38789 | * | F | T | T |
| 38790 | * | F | T | T |
| 38791 | * | F | T | T |
| 38792 | * | F | T | T |
| 38793 | * | F | T | T |
| 38794 | * | F | T | T |
| 38795 | * | F | T | T |
| 38796 | * | F | T | T |
| 38797 | * | F | T | T |
| 38798 | * | F | T | T |
| 38799 | * | F | T | T |
| 38800 | * | F | T | T |
| 38801 | * | F | T | T |
| 38802 | * | F | T | T |
| 38803 | * | F | T | T |
| 38804 | * | F | T | T |
| 38805 | * | F | T | T |
| 38806 | * | F | F | F |
| 38807 | F | F | T | T |
| 38808 | * | F | T | T |
| 38809 | * | F | T | T |
| 38810 | * | F | T | T |
| 38811 | * | F | T | T |
| 38812 | * | F | T | T |
| 38813 | * | F | T | T |
| 38814 | * | F | T | T |
| 38815 | * | F | T | T |
| 38816 | * | F | T | T |
| 38817 | * | F | T | T |
| 38818 | * | F | T | T |
| 38819 | * | F | T | T |
| 38820 | * | F | T | T |
| 38821 | * | F | T | T |
| 38822 | * | F | T | T |
| 38823 | * | F | T | T |
| 38824 | * | F | T | T |
| 38825 | * | F | T | T |
| 38826 | * | F | T | T |
| 38827 | * | F | T | T |
| 38828 | * | F | T | T |
| 38829 | * | F | T | T |
| 38830 | * | F | T | T |
| 38831 | * | F | T | T |
| 38832 | * | F | T | T |
| 38833 | * | F | T | T |
| 38834 | * | F | T | T |
| 38835 | * | F | T | T |
| 38836 | * | F | T | T |
| 38837 | * | F | T | T |
| 38838 | * | F | F | F |
| 44988 | F | F | T | T |
| 44989 | * | F | T | T |
| 44990 | * | F | T | T |
| 44991 | * | F | T | T |
| 44992 | * | F | T | T |
| 44993 | * | F | T | T |
| 44994 | * | F | T | T |
| 44995 | * | F | T | T |
| 44996 | * | F | T | T |
| 44997 | * | F | T | T |
| 44998 | * | F | T | T |
| 44999 | * | F | T | T |
| 45000 | * | F | T | T |
| 45001 | * | F | T | T |
| 45002 | * | F | T | T |
| 45003 | * | F | T | T |
| 45004 | * | F | T | T |
| 45005 | * | F | T | T |
| 45006 | * | F | T | T |
| 45007 | * | F | T | T |
| 45008 | * | F | T | T |
| 45009 | * | F | T | T |
| 45010 | * | F | T | T |
| 45011 | * | F | T | T |
| 45012 | * | F | T | T |
| 45013 | * | F | T | T |
| 45014 | * | F | T | T |
| 45015 | * | F | T | T |
| 45016 | * | F | T | T |
| 45017 | * | F | T | T |
| 45018 | * | F | T | T |
| 45019 | * | F | F | F |
| 45020 | F | F | T | T |
| 45021 | * | F | T | T |
| 45022 | * | F | T | T |
| 45023 | * | F | T | T |
| 45024 | * | F | T | T |
| 45025 | * | F | T | T |
| 45026 | * | F | T | T |
| 45027 | * | F | T | T |
| 45028 | * | F | T | T |
| 45029 | * | F | T | T |
| 45030 | * | F | T | T |
| 45031 | * | F | T | T |
| 45032 | * | F | T | T |
| 45033 | * | F | T | T |
| 45034 | * | F | T | T |
| 45035 | * | F | T | T |
| 45036 | * | F | T | T |
| 45037 | * | F | T | T |
| 45038 | * | F | T | T |
| 45039 | * | F | T | T |
| 45040 | * | F | T | T |
| 45041 | * | F | T | T |
| 45042 | * | F | T | T |
| 45043 | * | F | T | T |
| 45044 | * | F | T | T |
| 45045 | * | F | T | T |
| 45046 | * | F | T | T |
| 45047 | * | F | T | T |
| 45048 | * | F | T | T |
| 45049 | * | F | T | T |
| 45050 | * | F | T | T |
| 45051 | * | F | F | F |
| 49562 | F | F | T | T |
| 49563 | * | F | T | T |
| 49564 | * | F | T | T |
| 49565 | * | F | F | F |
| 53784 | F | F | T | T |
| 53785 | * | F | T | T |
| 53786 | * | F | T | T |
| 53787 | * | F | F | F |
| 58302 | F | F | T | T |
| 58303 | * | F | T | T |
| 58304 | * | F | T | T |
| 58305 | * | F | F | F |
| 62486 | F | F | T | T |
| 62487 | * | F | T | T |
| 62488 | * | F | T | T |
| 62489 | * | F | F | F |
| 73112 | F | F | T | T |
| 73113 | * | F | T | T |
| 73114 | * | F | T | T |
| 73115 | * | F | T | T |
| 73116 | * | F | T | T |
| 73117 | * | F | T | T |
| 73118 | * | F | T | T |
| 73119 | * | F | T | T |
| 73120 | * | F | T | T |
| 73121 | * | F | T | T |
| 73122 | * | F | T | T |
| 73123 | * | F | T | T |
| 73124 | * | F | T | T |
| 73125 | * | F | T | T |
| 73126 | * | F | T | T |
| 73127 | * | F | T | T |
| 73128 | * | F | T | T |
| 73129 | * | F | T | T |
| 73130 | * | F | T | T |
| 73131 | * | F | T | T |
| 73132 | * | F | T | T |
| 73133 | * | F | T | T |
| 73134 | * | F | T | T |
| 73135 | * | F | T | T |
| 73136 | * | F | T | T |
| 73137 | * | F | T | T |
| 73138 | * | F | T | T |
| 73139 | * | F | T | T |
| 73140 | * | F | T | T |
| 73141 | * | F | T | T |
| 73142 | * | F | T | T |
| 73143 | * | F | T | T |
| 73144 | * | F | T | T |
| 73145 | * | F | T | T |
| 73146 | * | F | T | T |
| 73147 | * | F | T | T |
| 73148 | * | F | T | T |
| 73149 | * | F | T | T |
| 73150 | * | F | T | T |
| 73151 | * | F | T | T |
| 73152 | * | F | T | T |
| 73153 | * | F | T | T |
| 73154 | * | F | T | T |
| 73155 | * | F | T | T |
| 73156 | * | F | T | T |
| 73157 | * | F | T | T |
| 73158 | * | F | T | T |
| 73159 | * | F | T | T |
| 73160 | * | F | T | T |
| 73161 | * | F | T | T |
| 73162 | * | F | T | T |
| 73163 | * | F | T | T |
| 73164 | * | F | T | T |
| 73165 | * | F | T | T |
| 73166 | * | F | T | T |
| 73167 | * | F | T | T |
| 73168 | * | F | T | T |
| 73169 | * | F | T | T |
| 73170 | * | F | T | T |
| 73171 | * | F | T | T |
| 73172 | * | F | T | T |
| 73173 | * | F | T | T |
| 73174 | * | F | T | T |
| 73175 | * | F | T | T |
| 73176 | * | F | T | T |
| 73177 | * | F | T | T |
| 73178 | * | F | T | T |
| 73179 | * | F | T | T |
| 73180 | * | F | T | T |
| 73181 | * | F | T | T |
| 73182 | * | F | T | T |
| 73183 | * | F | T | T |
| 73184 | * | F | T | T |
| 73185 | * | F | T | T |
| 73186 | * | F | T | T |
| 73187 | * | F | T | T |
| 73188 | * | F | T | T |
| 73189 | * | F | T | T |
| 73190 | * | F | T | T |
| 73191 | * | F | T | T |
| 73192 | * | F | T | T |
| 73193 | * | F | T | T |
| 73194 | * | F | T | T |
| 73195 | * | F | T | T |
| 73196 | * | F | T | T |
| 73197 | * | F | T | T |
| 73198 | * | F | T | T |
| 73199 | * | F | T | T |
| 73200 | * | F | T | T |
| 73201 | * | F | T | T |
| 73202 | * | F | T | T |
| 73203 | * | F | T | T |
| 73204 | * | F | T | T |
| 73205 | * | F | T | T |
| 73206 | * | F | T | T |
| 73207 | * | F | T | T |
| 73208 | * | F | T | T |
| 73209 | * | F | T | T |
| 73210 | * | F | T | T |
| 73211 | * | F | T | T |
| 73212 | * | F | T | T |
| 73213 | * | F | T | T |
| 73214 | * | F | T | T |
| 73215 | * | F | T | T |
| 73216 | * | F | T | T |
| 73217 | * | F | T | T |
| 73218 | * | F | T | T |
| 73219 | * | F | T | T |
| 73220 | * | F | T | T |
| 73221 | * | F | T | T |
| 73222 | * | F | T | T |
| 73223 | * | F | T | T |
| 73224 | * | F | T | T |
| 73225 | * | F | T | T |
| 73226 | * | F | T | T |
| 73227 | * | F | T | T |
| 73228 | * | F | T | T |
| 73229 | * | F | T | T |
| 73230 | * | F | T | T |
| 73231 | * | F | T | T |
| 73232 | * | F | T | T |
| 73233 | * | F | T | T |
| 73234 | * | F | T | T |
| 73235 | * | F | T | T |
| 73236 | * | F | T | T |
| 73237 | * | F | T | T |
| 73238 | * | F | T | T |
| 73239 | * | F | F | F |
| 73240 | F | F | T | T |
| 73241 | * | F | T | T |
| 73242 | * | F | T | T |
| 73243 | * | F | T | T |
| 73244 | * | F | T | T |
| 73245 | * | F | T | T |
| 73246 | * | F | T | T |
| 73247 | * | F | T | T |
| 73248 | * | F | T | T |
| 73249 | * | F | T | T |
| 73250 | * | F | T | T |
| 73251 | * | F | T | T |
| 73252 | * | F | T | T |
| 73253 | * | F | T | T |
| 73254 | * | F | T | T |
| 73255 | * | F | T | T |
| 73256 | * | F | T | T |
| 73257 | * | F | T | T |
| 73258 | * | F | T | T |
| 73259 | * | F | T | T |
| 73260 | * | F | T | T |
| 73261 | * | F | T | T |
| 73262 | * | F | T | T |
| 73263 | * | F | T | T |
| 73264 | * | F | T | T |
| 73265 | * | F | T | T |
| 73266 | * | F | T | T |
| 73267 | * | F | T | T |
| 73268 | * | F | T | T |
| 73269 | * | F | T | T |
| 73270 | * | F | T | T |
| 73271 | * | F | T | T |
| 73272 | * | F | T | T |
| 73273 | * | F | T | T |
| 73274 | * | F | T | T |
| 73275 | * | F | T | T |
| 73276 | * | F | T | T |
| 73277 | * | F | T | T |
| 73278 | * | F | T | T |
| 73279 | * | F | T | T |
| 73280 | * | F | T | T |
| 73281 | * | F | T | T |
| 73282 | * | F | T | T |
| 73283 | * | F | T | T |
| 73284 | * | F | T | T |
| 73285 | * | F | T | T |
| 73286 | * | F | T | T |
| 73287 | * | F | T | T |
| 73288 | * | F | T | T |
| 73289 | * | F | T | T |
| 73290 | * | F | T | T |
| 73291 | * | F | T | T |
| 73292 | * | F | T | T |
| 73293 | * | F | T | T |
| 73294 | * | F | T | T |
| 73295 | * | F | T | T |
| 73296 | * | F | T | T |
| 73297 | * | F | T | T |
| 73298 | * | F | T | T |
| 73299 | * | F | T | T |
| 73300 | * | F | T | T |
| 73301 | * | F | T | T |
| 73302 | * | F | T | T |
| 73303 | * | F | T | T |
| 73304 | * | F | T | T |
| 73305 | * | F | T | T |
| 73306 | * | F | T | T |
| 73307 | * | F | T | T |
| 73308 | * | F | T | T |
| 73309 | * | F | T | T |
| 73310 | * | F | T | T |
| 73311 | * | F | T | T |
| 73312 | * | F | T | T |
| 73313 | * | F | T | T |
| 73314 | * | F | T | T |
| 73315 | * | F | T | T |
| 73316 | * | F | T | T |
| 73317 | * | F | T | T |
| 73318 | * | F | T | T |
| 73319 | * | F | T | T |
| 73320 | * | F | T | T |
| 73321 | * | F | T | T |
| 73322 | * | F | T | T |
| 73323 | * | F | T | T |
| 73324 | * | F | T | T |
| 73325 | * | F | T | T |
| 73326 | * | F | T | T |
| 73327 | * | F | T | T |
| 73328 | * | F | T | T |
| 73329 | * | F | T | T |
| 73330 | * | F | T | T |
| 73331 | * | F | T | T |
| 73332 | * | F | T | T |
| 73333 | * | F | T | T |
| 73334 | * | F | T | T |
| 73335 | * | F | T | T |
| 73336 | * | F | T | T |
| 73337 | * | F | T | T |
| 73338 | * | F | T | T |
| 73339 | * | F | T | T |
| 73340 | * | F | T | T |
| 73341 | * | F | T | T |
| 73342 | * | F | T | T |
| 73343 | * | F | T | T |
| 73344 | * | F | T | T |
| 73345 | * | F | T | T |
| 73346 | * | F | T | T |
| 73347 | * | F | T | T |
| 73348 | * | F | T | T |
| 73349 | * | F | T | T |
| 73350 | * | F | T | T |
| 73351 | * | F | T | T |
| 73352 | * | F | T | T |
| 73353 | * | F | T | T |
| 73354 | * | F | T | T |
| 73355 | * | F | T | T |
| 73356 | * | F | T | T |
| 73357 | * | F | T | T |
| 73358 | * | F | T | T |
| 73359 | * | F | T | T |
| 73360 | * | F | T | T |
| 73361 | * | F | T | T |
| 73362 | * | F | T | T |
| 73363 | * | F | T | T |
| 73364 | * | F | T | T |
| 73365 | * | F | T | T |
| 73366 | * | F | T | T |
| 73367 | * | F | F | F |
| 84625 | F | F | T | T |
| 84626 | * | F | T | T |
| 84627 | * | F | T | T |
| 84628 | * | F | T | T |
| 84629 | * | F | T | T |
| 84630 | * | F | T | T |
| 84631 | * | F | T | T |
| 84632 | * | F | T | T |
| 84633 | * | F | T | T |
| 84634 | * | F | T | T |
| 84635 | * | F | T | T |
| 84636 | * | F | T | T |
| 84637 | * | F | T | T |
| 84638 | * | F | T | T |
| 84639 | * | F | T | T |
| 84640 | * | F | T | T |
| 84641 | * | F | T | T |
| 84642 | * | F | T | T |
| 84643 | * | F | T | T |
| 84644 | * | F | T | T |
| 84645 | * | F | T | T |
| 84646 | * | F | T | T |
| 84647 | * | F | T | T |
| 84648 | * | F | T | T |
| 84649 | * | F | T | T |
| 84650 | * | F | T | T |
| 84651 | * | F | T | T |
| 84652 | * | F | T | T |
| 84653 | * | F | T | T |
| 84654 | * | F | T | T |
| 84655 | * | F | T | T |
| 84656 | * | F | T | T |
| 84657 | * | F | T | T |
| 84658 | * | F | T | T |
| 84659 | * | F | T | T |
| 84660 | * | F | T | T |
| 84661 | * | F | T | T |
| 84662 | * | F | T | T |
| 84663 | * | F | T | T |
| 84664 | * | F | T | T |
| 84665 | * | F | T | T |
| 84666 | * | F | T | T |
| 84667 | * | F | T | T |
| 84668 | * | F | T | T |
| 84669 | * | F | T | T |
| 84670 | * | F | T | T |
| 84671 | * | F | T | T |
| 84672 | * | F | T | T |
| 84673 | * | F | T | T |
| 84674 | * | F | T | T |
| 84675 | * | F | T | T |
| 84676 | * | F | T | T |
| 84677 | * | F | T | T |
| 84678 | * | F | T | T |
| 84679 | * | F | T | T |
| 84680 | * | F | T | T |
| 84681 | * | F | T | T |
| 84682 | * | F | T | T |
| 84683 | * | F | T | T |
| 84684 | * | F | T | T |
| 84685 | * | F | T | T |
| 84686 | * | F | T | T |
| 84687 | * | F | T | T |
| 84688 | * | F | T | T |
| 84689 | * | F | T | T |
| 84690 | * | F | T | T |
| 84691 | * | F | T | T |
| 84692 | * | F | T | T |
| 84693 | * | F | T | T |
| 84694 | * | F | T | T |
| 84695 | * | F | T | T |
| 84696 | * | F | T | T |
| 84697 | * | F | T | T |
| 84698 | * | F | T | T |
| 84699 | * | F | T | T |
| 84700 | * | F | T | T |
| 84701 | * | F | T | T |
| 84702 | * | F | T | T |
| 84703 | * | F | T | T |
| 84704 | * | F | T | T |
| 84705 | * | F | T | T |
| 84706 | * | F | T | T |
| 84707 | * | F | T | T |
| 84708 | * | F | T | T |
| 84709 | * | F | T | T |
| 84710 | * | F | T | T |
| 84711 | * | F | T | T |
| 84712 | * | F | T | T |
| 84713 | * | F | T | T |
| 84714 | * | F | T | T |
| 84715 | * | F | T | T |
| 84716 | * | F | T | T |
| 84717 | * | F | T | T |
| 84718 | * | F | T | T |
| 84719 | * | F | T | T |
| 84720 | * | F | T | T |
| 84721 | * | F | T | T |
| 84722 | * | F | T | T |
| 84723 | * | F | T | T |
| 84724 | * | F | T | T |
| 84725 | * | F | T | T |
| 84726 | * | F | T | T |
| 84727 | * | F | T | T |
| 84728 | * | F | T | T |
| 84729 | * | F | T | T |
| 84730 | * | F | T | T |
| 84731 | * | F | T | T |
| 84732 | * | F | T | T |
| 84733 | * | F | T | T |
| 84734 | * | F | T | T |
| 84735 | * | F | T | T |
| 84736 | * | F | T | T |
| 84737 | * | F | T | T |
| 84738 | * | F | T | T |
| 84739 | * | F | T | T |
| 84740 | * | F | T | T |
| 84741 | * | F | T | T |
| 84742 | * | F | T | T |
| 84743 | * | F | T | T |
| 84744 | * | F | T | T |
| 84745 | * | F | T | T |
| 84746 | * | F | T | T |
| 84747 | * | F | T | T |
| 84748 | * | F | T | T |
| 84749 | * | F | T | T |
| 84750 | * | F | T | T |
| 84751 | * | F | T | T |
| 84752 | * | F | F | F |
| 84753 | F | F | T | T |
| 84754 | * | F | T | T |
| 84755 | * | F | T | T |
| 84756 | * | F | T | T |
| 84757 | * | F | T | T |
| 84758 | * | F | T | T |
| 84759 | * | F | T | T |
| 84760 | * | F | T | T |
| 84761 | * | F | T | T |
| 84762 | * | F | T | T |
| 84763 | * | F | T | T |
| 84764 | * | F | T | T |
| 84765 | * | F | T | T |
| 84766 | * | F | T | T |
| 84767 | * | F | T | T |
| 84768 | * | F | T | T |
| 84769 | * | F | T | T |
| 84770 | * | F | T | T |
| 84771 | * | F | T | T |
| 84772 | * | F | T | T |
| 84773 | * | F | T | T |
| 84774 | * | F | T | T |
| 84775 | * | F | T | T |
| 84776 | * | F | T | T |
| 84777 | * | F | T | T |
| 84778 | * | F | T | T |
| 84779 | * | F | T | T |
| 84780 | * | F | T | T |
| 84781 | * | F | T | T |
| 84782 | * | F | T | T |
| 84783 | * | F | T | T |
| 84784 | * | F | T | T |
| 84785 | * | F | T | T |
| 84786 | * | F | T | T |
| 84787 | * | F | T | T |
| 84788 | * | F | T | T |
| 84789 | * | F | T | T |
| 84790 | * | F | T | T |
| 84791 | * | F | T | T |
| 84792 | * | F | T | T |
| 84793 | * | F | T | T |
| 84794 | * | F | T | T |
| 84795 | * | F | T | T |
| 84796 | * | F | T | T |
| 84797 | * | F | T | T |
| 84798 | * | F | T | T |
| 84799 | * | F | T | T |
| 84800 | * | F | T | T |
| 84801 | * | F | T | T |
| 84802 | * | F | T | T |
| 84803 | * | F | T | T |
| 84804 | * | F | T | T |
| 84805 | * | F | T | T |
| 84806 | * | F | T | T |
| 84807 | * | F | T | T |
| 84808 | * | F | T | T |
| 84809 | * | F | T | T |
| 84810 | * | F | T | T |
| 84811 | * | F | T | T |
| 84812 | * | F | T | T |
| 84813 | * | F | T | T |
| 84814 | * | F | T | T |
| 84815 | * | F | T | T |
| 84816 | * | F | T | T |
| 84817 | * | F | T | T |
| 84818 | * | F | T | T |
| 84819 | * | F | T | T |
| 84820 | * | F | T | T |
| 84821 | * | F | T | T |
| 84822 | * | F | T | T |
| 84823 | * | F | T | T |
| 84824 | * | F | T | T |
| 84825 | * | F | T | T |
| 84826 | * | F | T | T |
| 84827 | * | F | T | T |
| 84828 | * | F | T | T |
| 84829 | * | F | T | T |
| 84830 | * | F | T | T |
| 84831 | * | F | T | T |
| 84832 | * | F | T | T |
| 84833 | * | F | T | T |
| 84834 | * | F | T | T |
| 84835 | * | F | T | T |
| 84836 | * | F | T | T |
| 84837 | * | F | T | T |
| 84838 | * | F | T | T |
| 84839 | * | F | T | T |
| 84840 | * | F | T | T |
| 84841 | * | F | T | T |
| 84842 | * | F | T | T |
| 84843 | * | F | T | T |
| 84844 | * | F | T | T |
| 84845 | * | F | T | T |
| 84846 | * | F | T | T |
| 84847 | * | F | T | T |
| 84848 | * | F | T | T |
| 84849 | * | F | T | T |
| 84850 | * | F | T | T |
| 84851 | * | F | T | T |
| 84852 | * | F | T | T |
| 84853 | * | F | T | T |
| 84854 | * | F | T | T |
| 84855 | * | F | T | T |
| 84856 | * | F | T | T |
| 84857 | * | F | T | T |
| 84858 | * | F | T | T |
| 84859 | * | F | T | T |
| 84860 | * | F | T | T |
| 84861 | * | F | T | T |
| 84862 | * | F | T | T |
| 84863 | * | F | T | T |
| 84864 | * | F | T | T |
| 84865 | * | F | T | T |
| 84866 | * | F | T | T |
| 84867 | * | F | T | T |
| 84868 | * | F | T | T |
| 84869 | * | F | T | T |
| 84870 | * | F | T | T |
| 84871 | * | F | T | T |
| 84872 | * | F | T | T |
| 84873 | * | F | T | T |
| 84874 | * | F | T | T |
| 84875 | * | F | T | T |
| 84876 | * | F | T | T |
| 84877 | * | F | T | T |
| 84878 | * | F | T | T |
| 84879 | * | F | T | T |
| 84880 | * | F | F | F |
| 96914 | F | F | T | T |
| 96915 | * | F | T | T |
| 96916 | * | F | T | T |
| 96917 | * | F | F | F |
| 103729 | F | F | T | T |
| 103730 | * | F | T | T |
| 103731 | * | F | T | T |
| 103732 | * | F | F | F |
| 107486 | F | F | T | T |
| 107487 | * | F | T | T |
| 107488 | * | F | T | T |
| 107489 | * | F | F | F |
| 109876 | F | F | T | T |
| 109877 | * | F | T | T |
| 109878 | * | F | T | T |
| 109879 | * | F | F | F |
| 112932 | F | F | T | T |
| 112933 | * | F | T | T |
| 112934 | * | F | T | T |
| 112935 | * | F | F | F |
| 115852 | F | F | T | T |
| 115853 | * | F | T | T |
| 115854 | * | F | T | T |
| 115855 | * | F | F | F |
| 136074 | F | F | T | T |
| 136075 | * | F | T | T |
| 136076 | * | F | T | T |
| 136077 | * | F | T | T |
| 136078 | * | F | T | T |
| 136079 | * | F | T | T |
| 136080 | * | F | T | T |
| 136081 | * | F | T | T |
| 136082 | * | F | T | T |
| 136083 | * | F | T | T |
| 136084 | * | F | T | T |
| 136085 | * | F | T | T |
| 136086 | * | F | T | T |
| 136087 | * | F | T | T |
| 136088 | * | F | T | T |
| 136089 | * | F | T | T |
| 136090 | * | F | T | T |
| 136091 | * | F | T | T |
| 136092 | * | F | T | T |
| 136093 | * | F | T | T |
| 136094 | * | F | T | T |
| 136095 | * | F | T | T |
| 136096 | * | F | T | T |
| 136097 | * | F | T | T |
| 136098 | * | F | T | T |
| 136099 | * | F | T | T |
| 136100 | * | F | T | T |
| 136101 | * | F | T | T |
| 136102 | * | F | T | T |
| 136103 | * | F | T | T |
| 136104 | * | F | T | T |
| 136105 | * | F | T | T |
| 136106 | F | T | * | T |
| 136107 | * | F | T | T |
| 136108 | * | F | T | T |
| 136109 | * | F | T | T |
| 136110 | * | F | T | T |
| 136111 | * | F | T | T |
| 136112 | * | F | T | T |
| 136113 | * | F | T | T |
| 136114 | * | F | T | T |
| 136115 | * | F | T | T |
| 136116 | * | F | T | T |
| 136117 | * | F | T | T |
| 136118 | * | F | T | T |
| 136119 | * | F | T | T |
| 136120 | * | F | T | T |
| 136121 | * | F | T | T |
| 136122 | * | F | T | T |
| 136123 | * | F | T | T |
| 136124 | * | F | T | T |
| 136125 | * | F | T | T |
| 136126 | * | F | T | T |
| 136127 | * | F | T | T |
| 136128 | * | F | T | T |
| 136129 | * | F | T | T |
| 136130 | * | F | T | T |
| 136131 | * | F | T | T |
| 136132 | * | F | T | T |
| 136133 | * | F | T | T |
| 136134 | * | F | T | T |
| 136135 | * | F | T | T |
| 136136 | * | F | T | T |
| 136137 | * | F | T | T |
| 136138 | * | F | T | T |
| 136139 | * | F | T | T |
| 136140 | * | F | T | T |
| 136141 | * | F | T | T |
| 136142 | * | F | T | T |
| 136143 | * | F | T | T |
| 136144 | * | F | T | T |
| 136145 | * | F | T | T |
| 136146 | * | F | T | T |
| 136147 | * | F | T | T |
| 136148 | * | F | T | T |
| 136149 | * | F | T | T |
| 136150 | * | F | T | T |
| 136151 | * | F | T | T |
| 136152 | * | F | T | T |
| 136153 | * | F | T | T |
| 136154 | * | F | T | T |
| 136155 | * | F | T | T |
| 136156 | * | F | T | T |
| 136157 | * | F | T | T |
| 136158 | * | F | T | T |
| 136159 | * | F | T | T |
| 136160 | * | F | T | T |
| 136161 | * | F | T | T |
| 136162 | * | F | T | T |
| 136163 | * | F | T | T |
| 136164 | * | F | T | T |
| 136165 | * | F | T | T |
| 136166 | * | F | T | T |
| 136167 | * | F | T | T |
| 136168 | * | F | T | T |
| 136169 | * | F | T | T |
| 136170 | * | F | T | T |
| 136171 | * | F | T | T |
| 136172 | * | F | T | T |
| 136173 | * | F | T | T |
| 136174 | * | F | T | T |
| 136175 | * | F | T | T |
| 136176 | * | F | T | T |
| 136177 | * | F | T | T |
| 136178 | * | F | T | T |
| 136179 | * | F | T | T |
| 136180 | * | F | T | T |
| 136181 | * | F | T | T |
| 136182 | * | F | T | T |
| 136183 | * | F | T | T |
| 136184 | * | F | T | T |
| 136185 | * | F | T | T |
| 136186 | * | F | T | T |
| 136187 | * | F | T | T |
| 136188 | * | F | T | T |
| 136189 | * | F | T | T |
| 136190 | * | F | T | T |
| 136191 | * | F | T | T |
| 136192 | * | F | T | T |
| 136193 | * | F | T | T |
| 136194 | * | F | T | T |
| 136195 | * | F | T | T |
| 136196 | * | F | T | T |
| 136197 | * | F | T | T |
| 136198 | * | F | T | T |
| 136199 | * | F | T | T |
| 136200 | * | F | T | T |
| 136201 | * | F | T | T |
| 136202 | * | F | T | T |
| 136203 | * | F | T | T |
| 136204 | * | F | T | T |
| 136205 | * | F | T | T |
| 136206 | * | F | T | T |
| 136207 | * | F | T | T |
| 136208 | * | F | T | T |
| 136209 | * | F | T | T |
| 136210 | * | F | T | T |
| 136211 | * | F | T | T |
| 136212 | * | F | T | T |
| 136213 | * | F | T | T |
| 136214 | * | F | T | T |
| 136215 | * | F | T | T |
| 136216 | * | F | T | T |
| 136217 | * | F | T | T |
| 136218 | * | F | T | T |
| 136219 | * | F | T | T |
| 136220 | * | F | T | T |
| 136221 | * | F | T | T |
| 136222 | * | F | T | T |
| 136223 | * | F | T | T |
| 136224 | * | F | T | T |
| 136225 | * | F | T | T |
| 136226 | * | F | T | T |
| 136227 | * | F | T | T |
| 136228 | * | F | T | T |
| 136229 | * | F | T | T |
| 136230 | * | F | T | T |
| 136231 | * | F | T | T |
| 136232 | * | F | T | T |
| 136233 | * | F | T | T |
| 136234 | * | F | F | F |
| 136235 | F | F | T | T |
| 136236 | * | F | T | T |
| 136237 | * | F | T | T |
| 136238 | * | F | T | T |
| 136239 | * | F | T | T |
| 136240 | * | F | T | T |
| 136241 | * | F | T | T |
| 136242 | * | F | T | T |
| 136243 | * | F | T | T |
| 136244 | * | F | T | T |
| 136245 | * | F | T | T |
| 136246 | * | F | T | T |
| 136247 | * | F | T | T |
| 136248 | * | F | T | T |
| 136249 | * | F | T | T |
| 136250 | * | F | T | T |
| 136251 | * | F | T | T |
| 136252 | * | F | T | T |
| 136253 | * | F | T | T |
| 136254 | * | F | T | T |
| 136255 | * | F | T | T |
| 136256 | * | F | T | T |
| 136257 | * | F | T | T |
| 136258 | * | F | T | T |
| 136259 | * | F | T | T |
| 136260 | * | F | T | T |
| 136261 | * | F | T | T |
| 136262 | * | F | T | T |
| 136263 | * | F | T | T |
| 136264 | * | F | T | T |
| 136265 | * | F | T | T |
| 136266 | * | F | T | T |
| 136267 | F | T | * | T |
| 136268 | * | F | T | T |
| 136269 | * | F | T | T |
| 136270 | * | F | T | T |
| 136271 | * | F | T | T |
| 136272 | * | F | T | T |
| 136273 | * | F | T | T |
| 136274 | * | F | T | T |
| 136275 | * | F | T | T |
| 136276 | * | F | T | T |
| 136277 | * | F | T | T |
| 136278 | * | F | T | T |
| 136279 | * | F | T | T |
| 136280 | * | F | T | T |
| 136281 | * | F | T | T |
| 136282 | * | F | T | T |
| 136283 | * | F | T | T |
| 136284 | * | F | T | T |
| 136285 | * | F | T | T |
| 136286 | * | F | T | T |
| 136287 | * | F | T | T |
| 136288 | * | F | T | T |
| 136289 | * | F | T | T |
| 136290 | * | F | T | T |
| 136291 | * | F | T | T |
| 136292 | * | F | T | T |
| 136293 | * | F | T | T |
| 136294 | * | F | T | T |
| 136295 | * | F | T | T |
| 136296 | * | F | T | T |
| 136297 | * | F | T | T |
| 136298 | * | F | T | T |
| 136299 | * | F | T | T |
| 136300 | * | F | T | T |
| 136301 | * | F | T | T |
| 136302 | * | F | T | T |
| 136303 | * | F | T | T |
| 136304 | * | F | T | T |
| 136305 | * | F | T | T |
| 136306 | * | F | T | T |
| 136307 | * | F | T | T |
| 136308 | * | F | T | T |
| 136309 | * | F | T | T |
| 136310 | * | F | T | T |
| 136311 | * | F | T | T |
| 136312 | * | F | T | T |
| 136313 | * | F | T | T |
| 136314 | * | F | T | T |
| 136315 | * | F | T | T |
| 136316 | * | F | T | T |
| 136317 | * | F | T | T |
| 136318 | * | F | T | T |
| 136319 | * | F | T | T |
| 136320 | * | F | T | T |
| 136321 | * | F | T | T |
| 136322 | * | F | T | T |
| 136323 | * | F | T | T |
| 136324 | * | F | T | T |
| 136325 | * | F | T | T |
| 136326 | * | F | T | T |
| 136327 | * | F | T | T |
| 136328 | * | F | T | T |
| 136329 | * | F | T | T |
| 136330 | * | F | T | T |
| 136331 | * | F | T | T |
| 136332 | * | F | T | T |
| 136333 | * | F | T | T |
| 136334 | * | F | T | T |
| 136335 | * | F | T | T |
| 136336 | * | F | T | T |
| 136337 | * | F | T | T |
| 136338 | * | F | T | T |
| 136339 | * | F | T | T |
| 136340 | * | F | T | T |
| 136341 | * | F | T | T |
| 136342 | * | F | T | T |
| 136343 | * | F | T | T |
| 136344 | * | F | T | T |
| 136345 | * | F | T | T |
| 136346 | * | F | T | T |
| 136347 | * | F | T | T |
| 136348 | * | F | T | T |
| 136349 | * | F | T | T |
| 136350 | * | F | T | T |
| 136351 | * | F | T | T |
| 136352 | * | F | T | T |
| 136353 | * | F | T | T |
| 136354 | * | F | T | T |
| 136355 | * | F | T | T |
| 136356 | * | F | T | T |
| 136357 | * | F | T | T |
| 136358 | * | F | T | T |
| 136359 | * | F | T | T |
| 136360 | * | F | T | T |
| 136361 | * | F | T | T |
| 136362 | * | F | T | T |
| 136363 | * | F | T | T |
| 136364 | * | F | T | T |
| 136365 | * | F | T | T |
| 136366 | * | F | T | T |
| 136367 | * | F | T | T |
| 136368 | * | F | T | T |
| 136369 | * | F | T | T |
| 136370 | * | F | T | T |
| 136371 | * | F | T | T |
| 136372 | * | F | T | T |
| 136373 | * | F | T | T |
| 136374 | * | F | T | T |
| 136375 | * | F | T | T |
| 136376 | * | F | T | T |
| 136377 | * | F | T | T |
| 136378 | * | F | T | T |
| 136379 | * | F | T | T |
| 136380 | * | F | T | T |
| 136381 | * | F | T | T |
| 136382 | * | F | T | T |
| 136383 | * | F | T | T |
| 136384 | * | F | T | T |
| 136385 | * | F | T | T |
| 136386 | * | F | T | T |
| 136387 | * | F | T | T |
| 136388 | * | F | T | T |
| 136389 | * | F | T | T |
| 136390 | * | F | T | T |
| 136391 | * | F | T | T |
| 136392 | * | F | T | T |
| 136393 | * | F | T | T |
| 136394 | * | F | T | T |
| 136395 | * | F | F | F |
| 159010 | F | F | T | T |
| 159011 | * | F | T | T |
| 159012 | * | F | T | T |
| 159013 | * | F | T | T |
| 159014 | * | F | T | T |
| 159015 | * | F | T | T |
| 159016 | * | F | T | T |
| 159017 | * | F | T | T |
| 159018 | * | F | T | T |
| 159019 | * | F | T | T |
| 159020 | * | F | T | T |
| 159021 | * | F | T | T |
| 159022 | * | F | T | T |
| 159023 | * | F | T | T |
| 159024 | * | F | T | T |
| 159025 | * | F | T | T |
| 159026 | * | F | T | T |
| 159027 | * | F | T | T |
| 159028 | * | F | T | T |
| 159029 | * | F | T | T |
| 159030 | * | F | T | T |
| 159031 | * | F | T | T |
| 159032 | * | F | T | T |
| 159033 | * | F | T | T |
| 159034 | * | F | T | T |
| 159035 | * | F | T | T |
| 159036 | * | F | T | T |
| 159037 | * | F | T | T |
| 159038 | * | F | T | T |
| 159039 | * | F | T | T |
| 159040 | * | F | T | T |
| 159041 | * | F | T | T |
| 159042 | F | T | * | T |
| 159043 | * | F | T | T |
| 159044 | * | F | T | T |
| 159045 | * | F | T | T |
| 159046 | * | F | T | T |
| 159047 | * | F | T | T |
| 159048 | * | F | T | T |
| 159049 | * | F | T | T |
| 159050 | * | F | T | T |
| 159051 | * | F | T | T |
| 159052 | * | F | T | T |
| 159053 | * | F | T | T |
| 159054 | * | F | T | T |
| 159055 | * | F | T | T |
| 159056 | * | F | T | T |
| 159057 | * | F | T | T |
| 159058 | * | F | T | T |
| 159059 | * | F | T | T |
| 159060 | * | F | T | T |
| 159061 | * | F | T | T |
| 159062 | * | F | T | T |
| 159063 | * | F | T | T |
| 159064 | * | F | T | T |
| 159065 | * | F | T | T |
| 159066 | * | F | T | T |
| 159067 | * | F | T | T |
| 159068 | * | F | T | T |
| 159069 | * | F | T | T |
| 159070 | * | F | T | T |
| 159071 | * | F | T | T |
| 159072 | * | F | T | T |
| 159073 | * | F | T | T |
| 159074 | * | F | T | T |
| 159075 | * | F | T | T |
| 159076 | * | F | T | T |
| 159077 | * | F | T | T |
| 159078 | * | F | T | T |
| 159079 | * | F | T | T |
| 159080 | * | F | T | T |
| 159081 | * | F | T | T |
| 159082 | * | F | T | T |
| 159083 | * | F | T | T |
| 159084 | * | F | T | T |
| 159085 | * | F | T | T |
| 159086 | * | F | T | T |
| 159087 | * | F | T | T |
| 159088 | * | F | T | T |
| 159089 | * | F | T | T |
| 159090 | * | F | T | T |
| 159091 | * | F | T | T |
| 159092 | * | F | T | T |
| 159093 | * | F | T | T |
| 159094 | * | F | T | T |
| 159095 | * | F | T | T |
| 159096 | * | F | T | T |
| 159097 | * | F | T | T |
| 159098 | * | F | T | T |
| 159099 | * | F | T | T |
| 159100 | * | F | T | T |
| 159101 | * | F | T | T |
| 159102 | * | F | T | T |
| 159103 | * | F | T | T |
| 159104 | * | F | T | T |
| 159105 | * | F | T | T |
| 159106 | * | F | T | T |
| 159107 | * | F | T | T |
| 159108 | * | F | T | T |
| 159109 | * | F | T | T |
| 159110 | * | F | T | T |
| 159111 | * | F | T | T |
| 159112 | * | F | T | T |
| 159113 | * | F | T | T |
| 159114 | * | F | T | T |
| 159115 | * | F | T | T |
| 159116 | * | F | T | T |
| 159117 | * | F | T | T |
| 159118 | * | F | T | T |
| 159119 | * | F | T | T |
| 159120 | * | F | T | T |
| 159121 | * | F | T | T |
| 159122 | * | F | T | T |
| 159123 | * | F | T | T |
| 159124 | * | F | T | T |
| 159125 | * | F | T | T |
| 159126 | * | F | T | T |
| 159127 | * | F | T | T |
| 159128 | * | F | T | T |
| 159129 | * | F | T | T |
| 159130 | * | F | T | T |
| 159131 | * | F | T | T |
| 159132 | * | F | T | T |
| 159133 | * | F | T | T |
| 159134 | * | F | T | T |
| 159135 | * | F | T | T |
| 159136 | * | F | T | T |
| 159137 | * | F | T | T |
| 159138 | * | F | T | T |
| 159139 | * | F | T | T |
| 159140 | * | F | T | T |
| 159141 | * | F | T | T |
| 159142 | * | F | T | T |
| 159143 | * | F | T | T |
| 159144 | * | F | T | T |
| 159145 | * | F | T | T |
| 159146 | * | F | T | T |
| 159147 | * | F | T | T |
| 159148 | * | F | T | T |
| 159149 | * | F | T | T |
| 159150 | * | F | T | T |
| 159151 | * | F | T | T |
| 159152 | * | F | T | T |
| 159153 | * | F | T | T |
| 159154 | * | F | T | T |
| 159155 | * | F | T | T |
| 159156 | * | F | T | T |
| 159157 | * | F | T | T |
| 159158 | * | F | T | T |
| 159159 | * | F | T | T |
| 159160 | * | F | T | T |
| 159161 | * | F | T | T |
| 159162 | * | F | T | T |
| 159163 | * | F | T | T |
| 159164 | * | F | T | T |
| 159165 | * | F | T | T |
| 159166 | * | F | T | T |
| 159167 | * | F | T | T |
| 159168 | * | F | T | T |
| 159169 | * | F | T | T |
| 159170 | * | F | F | F |
| 159171 | F | F | T | T |
| 159172 | * | F | T | T |
| 159173 | * | F | T | T |
| 159174 | * | F | T | T |
| 159175 | * | F | T | T |
| 159176 | * | F | T | T |
| 159177 | * | F | T | T |
| 159178 | * | F | T | T |
| 159179 | * | F | T | T |
| 159180 | * | F | T | T |
| 159181 | * | F | T | T |
| 159182 | * | F | T | T |
| 159183 | * | F | T | T |
| 159184 | * | F | T | T |
| 159185 | * | F | T | T |
| 159186 | * | F | T | T |
| 159187 | * | F | T | T |
| 159188 | * | F | T | T |
| 159189 | * | F | T | T |
| 159190 | * | F | T | T |
| 159191 | * | F | T | T |
| 159192 | * | F | T | T |
| 159193 | * | F | T | T |
| 159194 | * | F | T | T |
| 159195 | * | F | T | T |
| 159196 | * | F | T | T |
| 159197 | * | F | T | T |
| 159198 | * | F | T | T |
| 159199 | * | F | T | T |
| 159200 | * | F | T | T |
| 159201 | * | F | T | T |
| 159202 | * | F | T | T |
| 159203 | F | T | * | T |
| 159204 | * | F | T | T |
| 159205 | * | F | T | T |
| 159206 | * | F | T | T |
| 159207 | * | F | T | T |
| 159208 | * | F | T | T |
| 159209 | * | F | T | T |
| 159210 | * | F | T | T |
| 159211 | * | F | T | T |
| 159212 | * | F | T | T |
| 159213 | * | F | T | T |
| 159214 | * | F | T | T |
| 159215 | * | F | T | T |
| 159216 | * | F | T | T |
| 159217 | * | F | T | T |
| 159218 | * | F | T | T |
| 159219 | * | F | T | T |
| 159220 | * | F | T | T |
| 159221 | * | F | T | T |
| 159222 | * | F | T | T |
| 159223 | * | F | T | T |
| 159224 | * | F | T | T |
| 159225 | * | F | T | T |
| 159226 | * | F | T | T |
| 159227 | * | F | T | T |
| 159228 | * | F | T | T |
| 159229 | * | F | T | T |
| 159230 | * | F | T | T |
| 159231 | * | F | T | T |
| 159232 | * | F | T | T |
| 159233 | * | F | T | T |
| 159234 | * | F | T | T |
| 159235 | * | F | T | T |
| 159236 | * | F | T | T |
| 159237 | * | F | T | T |
| 159238 | * | F | T | T |
| 159239 | * | F | T | T |
| 159240 | * | F | T | T |
| 159241 | * | F | T | T |
| 159242 | * | F | T | T |
| 159243 | * | F | T | T |
| 159244 | * | F | T | T |
| 159245 | * | F | T | T |
| 159246 | * | F | T | T |
| 159247 | * | F | T | T |
| 159248 | * | F | T | T |
| 159249 | * | F | T | T |
| 159250 | * | F | T | T |
| 159251 | * | F | T | T |
| 159252 | * | F | T | T |
| 159253 | * | F | T | T |
| 159254 | * | F | T | T |
| 159255 | * | F | T | T |
| 159256 | * | F | T | T |
| 159257 | * | F | T | T |
| 159258 | * | F | T | T |
| 159259 | * | F | T | T |
| 159260 | * | F | T | T |
| 159261 | * | F | T | T |
| 159262 | * | F | T | T |
| 159263 | * | F | T | T |
| 159264 | * | F | T | T |
| 159265 | * | F | T | T |
| 159266 | * | F | T | T |
| 159267 | * | F | T | T |
| 159268 | * | F | T | T |
| 159269 | * | F | T | T |
| 159270 | * | F | T | T |
| 159271 | * | F | T | T |
| 159272 | * | F | T | T |
| 159273 | * | F | T | T |
| 159274 | * | F | T | T |
| 159275 | * | F | T | T |
| 159276 | * | F | T | T |
| 159277 | * | F | T | T |
| 159278 | * | F | T | T |
| 159279 | * | F | T | T |
| 159280 | * | F | T | T |
| 159281 | * | F | T | T |
| 159282 | * | F | T | T |
| 159283 | * | F | T | T |
| 159284 | * | F | T | T |
| 159285 | * | F | T | T |
| 159286 | * | F | T | T |
| 159287 | * | F | T | T |
| 159288 | * | F | T | T |
| 159289 | * | F | T | T |
| 159290 | * | F | T | T |
| 159291 | * | F | T | T |
| 159292 | * | F | T | T |
| 159293 | * | F | T | T |
| 159294 | * | F | T | T |
| 159295 | * | F | T | T |
| 159296 | * | F | T | T |
| 159297 | * | F | T | T |
| 159298 | * | F | T | T |
| 159299 | * | F | T | T |
| 159300 | * | F | T | T |
| 159301 | * | F | T | T |
| 159302 | * | F | T | T |
| 159303 | * | F | T | T |
| 159304 | * | F | T | T |
| 159305 | * | F | T | T |
| 159306 | * | F | T | T |
| 159307 | * | F | T | T |
| 159308 | * | F | T | T |
| 159309 | * | F | T | T |
| 159310 | * | F | T | T |
| 159311 | * | F | T | T |
| 159312 | * | F | T | T |
| 159313 | * | F | T | T |
| 159314 | * | F | T | T |
| 159315 | * | F | T | T |
| 159316 | * | F | T | T |
| 159317 | * | F | T | T |
| 159318 | * | F | T | T |
| 159319 | * | F | T | T |
| 159320 | * | F | T | T |
| 159321 | * | F | T | T |
| 159322 | * | F | T | T |
| 159323 | * | F | T | T |
| 159324 | * | F | T | T |
| 159325 | * | F | T | T |
| 159326 | * | F | T | T |
| 159327 | * | F | T | T |
| 159328 | * | F | T | T |
| 159329 | * | F | T | T |
| 159330 | * | F | T | T |
| 159331 | * | F | F | F |
Independent-effect pairs
All 3 conditions live in memcmp — 3 br_if
c0(branch8082): GAP view gap →c1(branch8083): PROVED — pair rows23066,136106(masking)c2(branch8084): PROVED — pair rows22939,23066(masking)