Decision #1442 — malloc.c:5302
Status: no_witness
Truth table
| row | c0 br 9543 | c1 br 9544 | outcome |
|---|---|---|---|
| 4903 | T | T | T |
| 4904 | T | T | T |
| 4905 | T | T | T |
| 4906 | T | T | T |
| 4907 | T | T | T |
| 4908 | T | T | T |
| 4909 | T | T | T |
| 4910 | T | T | T |
| 4911 | T | T | T |
| 4912 | T | T | T |
| 4913 | T | T | T |
| 4914 | F | * | T |
| 4915 | T | T | T |
| 4916 | T | F | T |
| 4917 | T | T | T |
| 4918 | T | T | T |
| 4919 | T | T | T |
| 4920 | T | T | T |
| 4921 | T | T | T |
| 11823 | T | T | T |
| 11824 | T | T | T |
| 11825 | T | T | T |
| 11826 | T | T | T |
| 11827 | T | T | T |
| 11828 | T | T | T |
| 11829 | T | T | T |
| 11830 | T | T | T |
| 11831 | T | T | T |
| 11832 | T | T | T |
| 11833 | T | T | T |
| 11834 | T | T | T |
| 11835 | T | T | T |
| 11836 | T | T | T |
| 11837 | T | T | T |
| 11838 | T | T | T |
| 11839 | T | T | T |
| 11840 | T | T | T |
| 11841 | T | T | T |
| 11842 | T | T | T |
| 11843 | T | T | T |
| 18815 | T | T | T |
| 18816 | T | T | T |
| 18817 | T | T | T |
| 18818 | T | T | T |
| 18819 | T | T | T |
| 18820 | T | T | T |
| 18821 | T | T | T |
| 18822 | T | T | T |
| 18823 | T | T | T |
| 18824 | T | T | T |
| 18825 | T | T | T |
| 18826 | F | * | T |
| 18827 | F | * | T |
| 18828 | T | F | T |
| 18829 | T | F | T |
| 18830 | T | T | T |
| 18831 | T | T | T |
| 18832 | T | T | T |
| 18833 | T | T | T |
| 18834 | T | T | T |
| 18835 | T | T | T |
| 18836 | T | T | T |
| 18837 | T | T | T |
| 18838 | T | T | T |
| 23162 | T | T | T |
| 23163 | T | T | T |
| 23164 | T | T | T |
| 23165 | F | * | T |
| 23166 | T | T | T |
| 23167 | T | T | T |
| 23168 | T | T | T |
| 25875 | T | T | T |
| 25876 | T | T | T |
| 25877 | T | T | T |
| 25878 | T | T | T |
| 25879 | T | T | T |
| 25880 | T | T | T |
| 25881 | T | T | T |
| 25882 | T | T | T |
| 28548 | T | T | T |
| 28549 | T | T | T |
| 28550 | T | T | T |
| 28551 | F | * | T |
| 28552 | T | T | T |
| 28553 | T | T | T |
| 28554 | T | T | T |
| 45672 | T | T | T |
| 45673 | T | T | T |
| 45674 | T | T | T |
| 45675 | T | T | T |
| 45676 | T | T | T |
| 45677 | T | T | T |
| 45678 | T | T | T |
| 45679 | T | T | T |
| 45680 | T | T | T |
| 45681 | T | T | T |
| 45682 | T | T | T |
| 45683 | T | T | T |
| 45684 | T | T | T |
| 45685 | T | T | T |
| 45686 | T | T | T |
| 45687 | T | T | T |
| 45688 | T | T | T |
| 45689 | T | T | T |
| 45690 | T | T | T |
| 45691 | T | T | T |
| 45692 | T | T | T |
| 45693 | T | T | T |
| 45694 | T | T | T |
| 45695 | T | T | T |
| 45696 | T | T | T |
| 45697 | T | T | T |
| 45698 | T | T | T |
| 45699 | T | T | T |
| 45700 | T | T | T |
| 45701 | T | T | T |
| 45702 | T | T | T |
| 45703 | T | T | T |
| 45704 | T | T | T |
| 45705 | F | * | T |
| 45706 | T | T | T |
| 45707 | T | T | T |
| 45708 | T | T | T |
| 45709 | F | * | T |
| 45710 | T | T | T |
| 45711 | T | T | T |
| 45712 | T | T | T |
| 45713 | T | T | T |
| 45714 | T | T | T |
| 45715 | T | T | T |
| 45716 | T | T | T |
| 45717 | T | T | T |
| 45718 | T | T | T |
| 45719 | T | T | T |
| 45720 | T | T | T |
| 45721 | T | T | T |
| 45722 | T | T | T |
| 45723 | T | T | T |
| 45724 | T | T | T |
| 66485 | T | T | T |
| 66486 | T | T | T |
| 66487 | T | T | T |
| 66488 | T | T | T |
| 66489 | T | T | T |
| 66490 | T | T | T |
| 66491 | T | T | T |
| 66492 | T | T | T |
| 66493 | T | T | T |
| 66494 | T | T | T |
| 66495 | T | T | T |
| 66496 | T | T | T |
| 66497 | T | T | T |
| 66498 | T | T | T |
| 66499 | T | T | T |
| 66500 | T | T | T |
| 66501 | T | T | T |
| 66502 | T | T | T |
| 66503 | T | T | T |
| 66504 | T | T | T |
| 66505 | T | T | T |
| 66506 | T | T | T |
| 66507 | T | T | T |
| 66508 | T | T | T |
| 66509 | T | T | T |
| 66510 | T | T | T |
| 66511 | T | T | T |
| 66512 | T | T | T |
| 66513 | T | T | T |
| 66514 | T | T | T |
| 66515 | T | T | T |
| 66516 | T | T | T |
| 66517 | T | T | T |
| 66518 | F | * | T |
| 66519 | T | T | T |
| 66520 | T | T | T |
| 66521 | T | T | T |
| 66522 | T | T | T |
| 66523 | F | * | T |
| 66524 | T | T | T |
| 66525 | T | T | T |
| 66526 | T | T | T |
| 66527 | T | T | T |
| 66528 | T | T | T |
| 66529 | T | T | T |
| 66530 | T | T | T |
| 66531 | T | T | T |
| 78422 | T | T | T |
| 78423 | T | T | T |
| 78424 | T | T | T |
| 78425 | F | * | T |
| 78426 | T | T | T |
| 78427 | T | T | T |
| 78428 | T | T | T |
| 78429 | T | T | T |
| 78430 | T | T | T |
| 78431 | T | T | T |
| 78432 | T | T | T |
| 78433 | T | T | T |
| 78434 | T | T | T |
| 78435 | T | T | T |
| 78436 | T | T | T |
| 78437 | T | T | T |
| 78438 | T | T | T |
| 78439 | T | T | T |
| 88305 | T | T | T |
| 88306 | T | T | T |
| 88307 | T | T | T |
| 88308 | F | * | T |
| 88309 | T | T | T |
| 88310 | T | T | T |
| 88311 | T | T | T |
| 88312 | T | T | T |
| 88313 | T | T | T |
| 88314 | T | T | T |
| 88315 | T | T | T |
| 88316 | T | T | T |
| 88317 | T | T | T |
| 88318 | T | T | T |
| 88319 | T | T | T |
| 88320 | T | T | T |
| 88321 | T | T | T |
| 88322 | T | T | T |
| 96153 | T | T | T |
| 96154 | T | T | T |
| 96155 | T | T | T |
| 96156 | T | T | T |
| 96157 | T | T | T |
| 96158 | T | T | T |
| 96159 | F | * | T |
| 96160 | T | T | T |
| 96161 | T | T | T |
| 96162 | T | T | T |
| 96163 | T | T | T |
| 96164 | T | T | T |
| 96165 | T | T | T |
| 96166 | T | T | T |
| 96167 | T | T | T |
| 96168 | T | T | T |
| 96169 | T | T | T |
| 96170 | T | T | T |
| 96171 | T | T | T |
| 96172 | T | T | T |
| 96173 | T | T | T |
| 104257 | T | T | T |
| 104258 | T | T | T |
| 104259 | T | T | T |
| 104260 | T | T | T |
| 104261 | T | T | T |
| 104262 | T | T | T |
| 104263 | T | T | T |
| 104264 | T | T | T |
| 104265 | T | T | T |
| 104266 | T | T | T |
| 104267 | T | T | T |
| 104268 | T | T | T |
| 104269 | T | T | T |
| 104270 | T | T | T |
| 104271 | T | T | T |
| 104272 | T | T | T |
| 104273 | T | F | T |
| 104274 | T | T | T |
| 104275 | T | T | T |
| 104276 | T | T | T |
| 104277 | T | T | T |
| 104278 | T | T | T |
| 104279 | T | T | T |
| 104280 | T | T | T |
| 104281 | T | T | T |
| 104282 | T | T | T |
| 112666 | T | T | T |
| 112667 | T | T | T |
| 112668 | T | T | T |
| 112669 | T | T | T |
| 112670 | T | T | T |
| 112671 | T | T | T |
| 112672 | F | * | T |
| 112673 | T | T | T |
| 112674 | T | T | T |
| 112675 | T | F | T |
| 112676 | T | T | T |
| 112677 | T | T | T |
| 112678 | T | T | T |
| 112679 | T | T | T |
| 112680 | T | T | T |
| 112681 | T | T | T |
| 112682 | F | * | T |
| 112683 | T | T | T |
| 112684 | T | T | T |
| 112685 | T | T | T |
| 112686 | T | T | T |
| 120497 | T | T | T |
| 120498 | T | T | T |
| 120499 | T | T | T |
| 120500 | T | T | T |
| 120501 | T | T | T |
| 120502 | T | T | T |
| 120503 | F | * | T |
| 120504 | T | T | T |
| 120505 | T | T | T |
| 120506 | T | T | T |
| 120507 | T | T | T |
| 120508 | T | T | T |
| 120509 | T | T | T |
| 120510 | T | T | T |
| 120511 | T | T | T |
| 120512 | T | T | T |
| 120513 | T | T | T |
| 120514 | T | T | T |
| 120515 | T | T | T |
| 120516 | T | T | T |
| 120517 | T | T | T |
| 136562 | T | T | T |
| 136563 | T | T | T |
| 136564 | T | T | T |
| 136565 | T | T | T |
| 136566 | T | T | T |
| 136567 | T | T | T |
| 136568 | T | T | T |
| 136569 | T | T | T |
| 136570 | T | T | T |
| 136571 | T | T | T |
| 136572 | T | T | T |
| 136573 | T | T | T |
| 136574 | T | T | T |
| 136575 | T | T | T |
| 136576 | T | T | T |
| 136577 | T | T | T |
| 136578 | T | T | T |
| 136579 | T | T | T |
| 136580 | T | T | T |
| 136581 | T | T | T |
| 136582 | T | T | T |
| 136583 | T | T | T |
| 136584 | T | T | T |
| 136585 | T | T | T |
| 136586 | T | T | T |
| 136587 | T | T | T |
| 136588 | T | F | T |
| 136589 | T | T | T |
| 136590 | T | T | T |
| 136591 | T | T | T |
| 136592 | T | T | T |
| 136593 | T | T | T |
| 136594 | T | T | T |
| 136595 | T | T | T |
| 136596 | T | T | T |
| 136597 | T | T | T |
| 136598 | T | T | T |
| 136599 | T | T | T |
| 136600 | T | T | T |
| 136601 | F | * | T |
| 136602 | T | T | T |
| 136603 | T | T | T |
| 136604 | T | T | T |
| 136605 | T | T | T |
| 136606 | T | T | T |
| 136607 | T | T | T |
| 136608 | T | T | T |
| 136609 | T | T | T |
| 136610 | T | T | T |
| 153281 | T | T | T |
| 153282 | T | T | T |
| 153283 | T | T | T |
| 153284 | T | T | T |
| 153285 | T | T | T |
| 153286 | T | T | T |
| 153287 | T | T | T |
| 153288 | T | T | T |
| 153289 | T | T | T |
| 153290 | T | T | T |
| 153291 | T | T | T |
| 153292 | T | T | T |
| 153293 | T | T | T |
| 153294 | T | T | T |
| 153295 | T | T | T |
| 153296 | T | T | T |
| 153297 | T | T | T |
| 153298 | T | T | T |
| 153299 | T | T | T |
| 153300 | T | T | T |
| 153301 | T | T | T |
| 153302 | T | T | T |
| 153303 | T | T | T |
| 153304 | T | T | T |
| 153305 | T | T | T |
| 153306 | T | T | T |
| 153307 | T | F | T |
| 153308 | T | T | T |
| 153309 | T | T | T |
| 153310 | T | T | T |
| 153311 | T | T | T |
| 153312 | T | T | T |
| 153313 | T | T | T |
| 153314 | T | T | T |
| 153315 | T | T | T |
| 153316 | T | T | T |
| 153317 | T | T | T |
| 153318 | T | T | T |
| 153319 | T | T | T |
| 153320 | F | * | T |
| 153321 | T | T | T |
| 153322 | T | T | T |
| 153323 | T | T | T |
| 153324 | T | T | T |
| 153325 | T | T | T |
| 153326 | T | T | T |
| 153327 | T | T | T |
| 153328 | T | T | T |
| 153329 | T | T | T |
| 163174 | T | T | T |
| 163175 | T | T | T |
| 163176 | T | T | T |
| 163177 | T | T | T |
| 163178 | T | T | T |
| 163179 | T | T | T |
| 163180 | T | T | T |
| 163181 | T | T | T |
| 163182 | T | T | T |
| 163183 | T | T | T |
| 163184 | F | * | T |
| 163185 | T | T | T |
| 163186 | T | T | T |
| 163187 | T | T | T |
| 163188 | T | T | T |
| 163189 | T | T | T |
| 163190 | T | T | T |
| 163191 | T | T | T |
| 163192 | T | T | T |
| 163193 | T | T | T |
| 163194 | T | T | T |
| 163195 | T | T | T |
| 163196 | T | T | T |
| 163197 | T | T | T |
| 163198 | T | T | T |
| 173032 | T | T | T |
| 173033 | T | T | T |
| 173034 | T | T | T |
| 173035 | T | T | T |
| 173036 | T | T | T |
| 173037 | T | T | T |
| 173038 | T | T | T |
| 173039 | T | T | T |
| 173040 | T | T | T |
| 173041 | T | T | T |
| 173042 | F | * | T |
| 173043 | T | T | T |
| 173044 | T | T | T |
| 173045 | T | T | T |
| 173046 | T | T | T |
| 173047 | T | T | T |
| 173048 | T | T | T |
| 173049 | T | T | T |
| 173050 | T | T | T |
| 173051 | T | T | T |
| 173052 | T | T | T |
| 173053 | T | T | T |
| 173054 | T | T | T |
| 173055 | T | T | T |
| 173056 | T | T | T |
| 178911 | T | T | T |
| 178912 | T | F | T |
| 178913 | T | T | T |
| 178914 | T | T | T |
| 178915 | T | T | T |
| 178916 | T | T | T |
| 178917 | T | T | T |
| 178918 | T | T | T |
| 178919 | T | T | T |
| 178920 | T | T | T |
| 178921 | T | T | T |
| 178922 | T | T | T |
| 178923 | T | T | T |
| 178924 | T | T | T |
| 182879 | T | T | T |
| 182880 | T | T | T |
| 182881 | T | T | T |
| 182882 | T | T | T |
| 182883 | F | * | T |
| 182884 | T | T | T |
| 182885 | T | T | T |
| 182886 | T | T | T |
| 182887 | T | T | T |
| 182888 | T | T | T |
| 182889 | T | T | T |
| 182890 | T | T | T |
| 182891 | T | T | T |
| 186080 | T | T | T |
| 186081 | T | T | T |
| 186082 | T | T | T |
| 186083 | T | T | T |
| 186084 | T | T | T |
| 186085 | T | T | T |
| 186086 | T | T | T |
| 186087 | T | T | T |
| 186088 | T | F | T |
| 186089 | T | T | T |
| 186090 | F | * | T |
| 186091 | T | T | T |
| 186092 | T | T | T |
| 186093 | T | T | T |
| 189306 | T | T | T |
| 189307 | T | T | T |
| 189308 | T | T | T |
| 189309 | T | T | T |
| 189310 | F | * | T |
| 189311 | T | T | T |
| 189312 | T | T | T |
| 189313 | T | T | T |
| 189314 | T | T | T |
| 189315 | T | T | T |
| 189316 | T | T | T |
| 189317 | T | T | T |
| 189318 | T | T | T |
| 193734 | T | T | T |
| 193735 | T | T | T |
| 193736 | T | T | T |
| 193737 | T | T | T |
| 193738 | T | T | T |
| 193739 | T | T | T |
| 193740 | T | T | T |
| 193741 | T | T | T |
| 200867 | F | * | T |
| 200868 | T | T | T |
| 200869 | T | T | T |
| 200870 | T | T | T |
| 200871 | T | T | T |
| 200872 | T | T | T |
| 200873 | T | F | T |
| 200874 | F | * | T |
| 200875 | T | T | T |
| 200876 | T | T | T |
| 200877 | T | T | T |
| 200878 | T | T | T |
| 200879 | T | T | T |
| 200880 | T | T | T |
| 200881 | T | T | T |
| 200882 | F | * | T |
| 200883 | T | F | T |
| 200884 | T | T | T |
| 200885 | T | T | T |
| 200886 | T | T | T |
| 205265 | T | T | T |
| 205266 | T | T | T |
| 205267 | T | T | T |
| 205268 | T | T | T |
| 205269 | T | T | T |
| 205270 | T | T | T |
| 211967 | T | T | T |
| 211968 | T | T | T |
| 211969 | T | T | T |
| 211970 | T | T | T |
| 211971 | F | * | T |
| 211972 | T | T | T |
| 211973 | T | T | T |
| 211974 | T | F | T |
| 211975 | T | T | T |
| 211976 | T | T | T |
| 211977 | T | T | T |
| 211978 | T | T | T |
| 211979 | T | T | T |
| 211980 | T | T | T |
| 211981 | T | T | T |
| 211982 | T | T | T |
| 211983 | T | T | T |
| 211984 | T | T | T |
| 211985 | T | T | T |
| 211986 | T | T | T |
| 211987 | T | T | T |
| 211988 | T | T | T |
| 211989 | T | T | T |
| 219410 | T | T | T |
| 219411 | T | T | T |
| 219412 | T | T | T |
| 219413 | T | T | T |
| 219414 | T | T | T |
| 219415 | T | T | T |
| 219416 | T | T | T |
| 219417 | T | T | T |
| 219418 | T | T | T |
| 219419 | F | * | T |
| 219420 | T | T | T |
| 219421 | T | T | T |
| 219422 | T | T | T |
| 219423 | F | * | T |
| 219424 | T | T | T |
| 219425 | T | T | T |
| 219426 | T | T | T |
| 219427 | T | T | T |
| 219428 | T | T | T |
| 219429 | T | T | T |
| 219430 | T | T | T |
| 219431 | T | T | T |
| 219432 | T | T | T |
| 281590 | T | T | T |
| 281591 | T | T | T |
| 281592 | T | T | T |
| 281593 | T | T | T |
| 281594 | T | T | T |
| 281595 | T | T | T |
| 281596 | T | T | T |
| 281597 | T | F | T |
| 281598 | T | T | T |
| 281599 | T | T | T |
| 281600 | T | T | T |
| 281601 | T | T | T |
| 281602 | T | T | T |
| 281603 | T | T | T |
| 281604 | T | T | T |
| 281605 | T | T | T |
| 281606 | T | T | T |
| 281607 | T | T | T |
| 281608 | T | T | T |
| 281609 | T | T | T |
| 281610 | T | T | T |
| 281611 | T | T | T |
| 281612 | T | T | T |
| 281613 | T | T | T |
| 281614 | T | T | T |
| 281615 | F | * | T |
| 281616 | T | T | T |
| 281617 | T | T | T |
| 281618 | T | T | T |
| 281619 | T | T | T |
| 281620 | F | * | T |
| 281621 | T | T | T |
| 281622 | T | T | T |
| 281623 | T | T | T |
| 281624 | T | T | T |
| 281625 | T | T | T |
| 281626 | T | T | T |
| 281627 | T | T | T |
| 281628 | T | T | T |
| 281629 | T | T | T |
| 281630 | T | T | T |
| 281631 | T | T | T |
| 281632 | T | T | T |
| 281633 | T | T | T |
| 281634 | T | T | T |
| 281635 | T | T | T |
| 281636 | T | T | T |
| 281637 | T | T | T |
| 281638 | T | T | T |
| 281639 | T | T | T |
| 281640 | T | T | T |
| 281641 | T | T | T |
| 281642 | F | * | T |
| 281643 | T | T | T |
| 281644 | T | T | T |
| 281645 | T | T | T |
| 281646 | T | T | T |
| 281647 | T | T | T |
| 281648 | T | T | T |
| 281649 | T | T | T |
| 281650 | T | T | T |
| 281651 | T | T | T |
| 281652 | T | T | T |
| 281653 | T | T | T |
| 281654 | T | T | T |
| 281655 | T | T | T |
| 281656 | T | T | T |
| 281657 | T | T | T |
| 281658 | T | T | T |
| 281659 | T | T | T |
| 281660 | T | T | T |
| 281661 | T | T | T |
| 281662 | F | * | T |
| 281663 | T | T | T |
| 281664 | T | T | T |
| 281665 | T | T | T |
| 281666 | T | T | T |
| 281667 | T | T | T |
| 281668 | T | T | T |
| 281669 | T | T | T |
| 281670 | T | T | T |
| 281671 | T | T | T |
| 281672 | T | T | T |
| 281673 | T | T | T |
| 281674 | T | T | T |
| 281675 | T | T | T |
| 281676 | T | T | T |
| 281677 | T | T | T |
| 281678 | T | T | T |
| 281679 | T | T | T |
| 281680 | T | T | T |
| 281681 | T | T | T |
| 281682 | T | T | T |
| 281683 | T | T | T |
| 281684 | T | T | T |
| 281685 | T | T | T |
| 281686 | T | T | T |
| 281687 | T | T | T |
| 281688 | T | T | T |
| 281689 | T | T | T |
| 281690 | T | T | T |
| 281691 | T | T | T |
| 281692 | T | T | T |
| 281693 | T | T | T |
| 281694 | T | T | T |
| 281695 | T | T | T |
| 281696 | T | T | T |
| 281697 | T | T | T |
| 281698 | T | T | T |
| 281699 | T | T | T |
| 281700 | T | T | T |
| 281701 | T | T | T |
| 281702 | T | T | T |
| 281703 | T | T | T |
| 281704 | T | T | T |
| 281705 | T | T | T |
| 281706 | T | T | T |
| 281707 | T | T | T |
| 281708 | T | T | T |
| 281709 | T | T | T |
| 281710 | T | T | T |
| 281711 | T | T | T |
| 281712 | T | T | T |
| 281713 | T | T | T |
| 281714 | T | T | T |
| 281715 | T | T | T |
| 281716 | T | T | T |
| 281717 | T | T | T |
| 281718 | T | F | T |
| 281719 | T | T | T |
| 281720 | T | T | T |
| 281721 | T | T | T |
| 281722 | T | T | T |
| 281723 | T | T | T |
| 281724 | T | T | T |
| 358967 | T | T | T |
| 358968 | T | T | T |
| 358969 | T | T | T |
| 358970 | T | T | T |
| 358971 | T | T | T |
| 358972 | T | T | T |
| 358973 | T | T | T |
| 358974 | T | F | T |
| 358975 | T | T | T |
| 358976 | T | T | T |
| 358977 | T | T | T |
| 358978 | T | T | T |
| 358979 | T | T | T |
| 358980 | T | T | T |
| 358981 | T | T | T |
| 358982 | T | T | T |
| 358983 | T | T | T |
| 358984 | T | T | T |
| 358985 | T | T | T |
| 358986 | T | T | T |
| 358987 | T | T | T |
| 358988 | T | T | T |
| 358989 | T | T | T |
| 358990 | T | T | T |
| 358991 | T | T | T |
| 358992 | F | * | T |
| 358993 | T | T | T |
| 358994 | T | T | T |
| 358995 | T | T | T |
| 358996 | T | T | T |
| 358997 | F | * | T |
| 358998 | T | T | T |
| 358999 | T | T | T |
| 359000 | T | T | T |
| 359001 | T | T | T |
| 359002 | T | T | T |
| 359003 | T | T | T |
| 359004 | T | T | T |
| 359005 | T | T | T |
| 359006 | T | T | T |
| 359007 | T | T | T |
| 359008 | T | T | T |
| 359009 | T | T | T |
| 359010 | T | T | T |
| 359011 | T | T | T |
| 359012 | T | T | T |
| 359013 | T | T | T |
| 359014 | T | T | T |
| 359015 | T | T | T |
| 359016 | T | T | T |
| 359017 | T | T | T |
| 359018 | T | T | T |
| 359019 | F | * | T |
| 359020 | T | T | T |
| 359021 | T | T | T |
| 359022 | T | T | T |
| 359023 | T | T | T |
| 359024 | T | T | T |
| 359025 | T | T | T |
| 359026 | T | T | T |
| 359027 | T | T | T |
| 359028 | T | T | T |
| 359029 | T | T | T |
| 359030 | T | T | T |
| 359031 | T | T | T |
| 359032 | T | T | T |
| 359033 | T | T | T |
| 359034 | T | T | T |
| 359035 | T | T | T |
| 359036 | T | T | T |
| 359037 | T | T | T |
| 359038 | T | T | T |
| 359039 | F | * | T |
| 359040 | T | T | T |
| 359041 | T | T | T |
| 359042 | T | T | T |
| 359043 | T | T | T |
| 359044 | T | T | T |
| 359045 | T | T | T |
| 359046 | T | T | T |
| 359047 | T | T | T |
| 359048 | T | T | T |
| 359049 | T | T | T |
| 359050 | T | T | T |
| 359051 | T | T | T |
| 359052 | T | T | T |
| 359053 | T | T | T |
| 359054 | T | T | T |
| 359055 | T | T | T |
| 359056 | T | T | T |
| 359057 | T | T | T |
| 359058 | T | T | T |
| 359059 | T | T | T |
| 359060 | T | T | T |
| 359061 | T | T | T |
| 359062 | T | T | T |
| 359063 | T | T | T |
| 359064 | T | T | T |
| 359065 | T | T | T |
| 359066 | T | T | T |
| 359067 | T | T | T |
| 359068 | T | T | T |
| 359069 | T | T | T |
| 359070 | T | T | T |
| 359071 | T | T | T |
| 359072 | T | T | T |
| 359073 | T | T | T |
| 359074 | T | T | T |
| 359075 | T | T | T |
| 359076 | T | T | T |
| 359077 | T | T | T |
| 359078 | T | T | T |
| 359079 | T | T | T |
| 359080 | T | T | T |
| 359081 | T | T | T |
| 359082 | T | T | T |
| 359083 | T | T | T |
| 359084 | T | T | T |
| 359085 | T | T | T |
| 359086 | T | T | T |
| 359087 | T | T | T |
| 359088 | T | T | T |
| 359089 | T | T | T |
| 359090 | T | T | T |
| 359091 | T | T | T |
| 359092 | T | T | T |
| 359093 | T | T | T |
| 359094 | T | T | T |
| 359095 | T | F | T |
| 359096 | T | T | T |
| 359097 | T | T | T |
| 359098 | T | T | T |
| 359099 | T | T | T |
| 359100 | T | T | T |
| 359101 | T | T | T |
| 378646 | T | T | T |
| 378647 | T | T | T |
| 378648 | T | T | T |
| 378649 | T | T | T |
| 378650 | T | T | T |
| 378651 | T | T | T |
| 378652 | T | T | T |
| 378653 | T | T | T |
| 381397 | T | T | T |
| 381398 | T | T | T |
| 381399 | T | T | T |
| 381400 | T | T | T |
| 381401 | T | T | T |
| 381402 | T | T | T |
| 381403 | T | T | T |
| 381404 | T | T | T |
| 381405 | T | T | T |
| 381406 | T | T | T |
| 381407 | T | T | T |
| 384251 | T | T | T |
| 384252 | T | T | T |
| 384253 | T | T | T |
| 384254 | T | T | T |
| 384255 | T | T | T |
| 384256 | T | T | T |
| 384257 | T | T | T |
| 384258 | T | F | T |
| 384259 | T | T | T |
Independent-effect pairs
c0(branch9543): GAP view gap →dlfree· br_ifc1(branch9544): GAP view gap →dlfree· br_if