Decision #1488 — unicode_data.rs:140
Status: no_witness
Truth table
| row | c0 br 9741 | c1 br 9742 | outcome |
|---|---|---|---|
| 6625 | T | F | T |
| 6626 | * | F | F |
| 6627 | T | * | F |
| 6628 | T | F | T |
| 6629 | T | F | T |
| 6630 | T | F | T |
| 6631 | * | F | F |
| 6632 | T | F | T |
| 6633 | T | F | T |
| 6634 | * | F | F |
| 6635 | T | F | T |
| 6636 | * | F | F |
| 6637 | T | * | F |
| 6638 | T | * | F |
| 6639 | T | * | F |
| 6640 | T | * | F |
| 6641 | T | * | F |
| 6642 | T | * | F |
| 6643 | T | * | F |
| 6644 | T | * | F |
| 6645 | T | * | F |
| 6646 | T | * | F |
| 6647 | T | * | F |
| 6648 | T | * | F |
| 6649 | T | * | F |
| 6650 | T | * | F |
| 6651 | T | * | F |
| 6652 | T | * | F |
| 6653 | T | * | F |
| 6654 | T | * | F |
| 6655 | T | * | F |
| 6656 | T | * | F |
| 13409 | T | * | F |
| 13410 | T | * | F |
| 13411 | T | * | F |
| 13412 | T | * | F |
| 13413 | T | * | F |
| 13414 | T | * | F |
| 13415 | T | * | F |
| 13416 | T | * | F |
| 13417 | T | * | F |
| 13418 | T | * | F |
| 13419 | T | * | F |
| 13420 | T | * | F |
| 13421 | T | * | F |
| 13422 | T | * | F |
| 13423 | T | * | F |
| 13424 | T | * | F |
| 13425 | T | * | F |
| 13426 | T | * | F |
| 13427 | T | * | F |
| 13428 | T | * | F |
| 13429 | T | * | F |
| 20740 | T | F | T |
| 20741 | * | F | F |
| 20742 | T | * | F |
| 20743 | T | F | T |
| 20744 | T | F | T |
| 20745 | T | F | T |
| 20746 | * | F | F |
| 20747 | T | F | T |
| 20748 | T | F | T |
| 20749 | * | F | F |
| 20750 | T | F | T |
| 20751 | * | F | F |
| 20752 | T | F | T |
| 20753 | T | F | T |
| 20754 | T | F | T |
| 20755 | * | F | F |
| 20756 | T | F | T |
| 20757 | T | F | T |
| 20758 | T | F | T |
| 20759 | * | F | F |
| 20760 | T | F | T |
| 20761 | * | F | F |
| 20762 | T | F | T |
| 20763 | T | F | T |
| 20764 | T | F | T |
| 20765 | * | F | F |
| 20766 | T | F | T |
| 20767 | T | F | T |
| 20768 | T | F | T |
| 20769 | * | F | F |
| 20770 | T | F | T |
| 20771 | * | F | F |
| 20772 | T | * | F |
| 20773 | T | * | F |
| 20774 | T | * | F |
| 20775 | T | * | F |
| 20776 | T | * | F |
| 20777 | T | * | F |
| 20778 | T | * | F |
| 20779 | T | * | F |
| 20780 | T | * | F |
| 20781 | T | * | F |
| 20782 | T | * | F |
| 20783 | T | * | F |
| 20784 | T | * | F |
| 20785 | T | * | F |
| 20786 | T | * | F |
| 20787 | T | * | F |
| 20788 | T | * | F |
| 20789 | T | * | F |
| 20790 | T | * | F |
| 20791 | T | * | F |
| 23787 | T | F | T |
| 23788 | * | F | F |
| 23789 | T | * | F |
| 23790 | T | F | T |
| 23791 | * | F | F |
| 23792 | T | * | F |
| 23793 | T | * | F |
| 23794 | T | * | F |
| 23795 | T | * | F |
| 23796 | T | * | F |
| 23797 | T | * | F |
| 23798 | T | * | F |
| 23799 | T | * | F |
| 23800 | T | * | F |
| 23801 | T | * | F |
| 23802 | T | * | F |
| 23803 | T | * | F |
| 26443 | T | * | F |
| 26444 | T | * | F |
| 26445 | T | * | F |
| 26446 | T | * | F |
| 26447 | T | * | F |
| 26448 | T | * | F |
| 26449 | T | * | F |
| 26450 | T | * | F |
| 26451 | T | * | F |
| 26452 | T | * | F |
| 26453 | T | * | F |
| 26454 | T | * | F |
| 26455 | T | * | F |
| 29173 | T | F | T |
| 29174 | * | F | F |
| 29175 | T | * | F |
| 29176 | T | F | T |
| 29177 | * | F | F |
| 29178 | T | * | F |
| 29179 | T | * | F |
| 29180 | T | * | F |
| 29181 | T | * | F |
| 29182 | T | * | F |
| 29183 | T | * | F |
| 29184 | T | * | F |
| 29185 | T | * | F |
| 29186 | T | * | F |
| 29187 | T | * | F |
| 29188 | T | * | F |
| 29189 | T | * | F |
| 49410 | T | F | T |
| 49411 | * | F | F |
| 49412 | T | * | F |
| 49413 | T | F | T |
| 49414 | * | F | F |
| 49415 | T | * | F |
| 49416 | T | * | F |
| 49417 | T | * | F |
| 49418 | T | * | F |
| 49419 | T | * | F |
| 49420 | T | * | F |
| 49421 | T | * | F |
| 49422 | T | * | F |
| 49423 | T | * | F |
| 49424 | T | * | F |
| 49425 | T | * | F |
| 49426 | T | * | F |
| 49427 | T | * | F |
| 49428 | T | * | T |
| 49429 | T | * | F |
| 49430 | T | * | T |
| 49431 | T | * | F |
| 49432 | T | * | T |
| 49433 | T | * | F |
| 49434 | T | * | F |
| 49435 | T | * | T |
| 49436 | T | * | F |
| 49437 | T | * | T |
| 49438 | T | * | F |
| 49439 | T | * | T |
| 49440 | T | * | F |
| 49441 | T | * | T |
| 49442 | T | * | F |
| 49443 | T | * | T |
| 49444 | T | * | F |
| 49445 | T | * | T |
| 49446 | T | * | F |
| 49447 | T | * | F |
| 49448 | T | * | T |
| 49449 | T | * | F |
| 49450 | T | * | T |
| 49451 | T | * | F |
| 49452 | T | * | F |
| 49453 | T | * | T |
| 49454 | T | * | F |
| 49455 | T | * | T |
| 49456 | T | * | F |
| 49457 | T | * | F |
| 49458 | T | * | T |
| 49459 | T | * | F |
| 49460 | T | * | T |
| 49461 | T | * | F |
| 49462 | T | * | F |
| 49463 | T | * | T |
| 49464 | T | * | F |
| 49465 | T | * | T |
| 49466 | T | * | F |
| 49467 | T | * | T |
| 49468 | T | * | F |
| 49469 | T | * | T |
| 49470 | T | * | F |
| 49471 | T | * | F |
| 49472 | T | * | T |
| 49473 | T | * | F |
| 49474 | T | * | F |
| 49475 | T | * | F |
| 49476 | T | * | F |
| 70147 | T | * | F |
| 70148 | T | * | F |
| 70149 | T | * | F |
| 70150 | T | * | F |
| 70151 | T | * | F |
| 70152 | T | * | F |
| 70153 | T | * | F |
| 70154 | T | * | F |
| 70155 | T | * | F |
| 70156 | T | * | F |
| 70157 | T | * | F |
| 70158 | T | * | F |
| 70159 | T | * | F |
| 70160 | T | * | F |
| 70161 | T | * | T |
| 70162 | T | * | F |
| 70163 | T | * | T |
| 70164 | T | * | F |
| 70165 | T | * | T |
| 70166 | T | * | F |
| 70167 | T | * | F |
| 70168 | T | * | T |
| 70169 | T | * | F |
| 70170 | T | * | T |
| 70171 | T | * | F |
| 70172 | T | * | T |
| 70173 | T | * | F |
| 70174 | T | * | T |
| 70175 | T | * | F |
| 70176 | T | * | T |
| 70177 | T | * | F |
| 70178 | T | * | T |
| 70179 | T | * | F |
| 70180 | T | * | F |
| 70181 | T | * | T |
| 70182 | T | * | F |
| 70183 | T | * | T |
| 70184 | T | * | F |
| 70185 | T | * | F |
| 70186 | T | * | T |
| 70187 | T | * | F |
| 70188 | T | * | T |
| 70189 | T | * | F |
| 70190 | T | * | F |
| 70191 | T | * | T |
| 70192 | T | * | F |
| 70193 | T | * | T |
| 70194 | T | * | F |
| 70195 | T | * | F |
| 70196 | T | * | T |
| 70197 | T | * | F |
| 70198 | T | * | T |
| 70199 | T | * | F |
| 70200 | T | * | T |
| 70201 | T | * | F |
| 70202 | T | * | T |
| 70203 | T | * | F |
| 70204 | T | * | F |
| 70205 | T | * | T |
| 70206 | T | * | F |
| 70207 | T | * | F |
| 70208 | T | * | F |
| 70209 | T | * | F |
| 80377 | T | F | T |
| 80378 | * | F | F |
| 80379 | T | * | F |
| 80380 | T | F | T |
| 80381 | * | F | F |
| 80382 | T | * | F |
| 80383 | T | * | F |
| 80384 | T | * | F |
| 80385 | T | * | F |
| 80386 | T | * | F |
| 80387 | T | * | F |
| 80388 | T | * | F |
| 80389 | T | * | F |
| 80390 | T | * | F |
| 80391 | T | * | F |
| 80392 | T | * | F |
| 80393 | T | * | T |
| 80394 | T | * | F |
| 80395 | T | * | T |
| 80396 | T | * | F |
| 80397 | T | * | T |
| 80398 | T | * | F |
| 80399 | T | * | F |
| 80400 | T | * | T |
| 80401 | T | * | F |
| 80402 | T | * | T |
| 80403 | T | * | F |
| 80404 | T | * | F |
| 80405 | T | * | T |
| 80406 | T | * | F |
| 80407 | T | * | T |
| 80408 | T | * | F |
| 80409 | T | * | F |
| 80410 | T | * | T |
| 80411 | T | * | F |
| 80412 | T | * | T |
| 80413 | T | * | F |
| 80414 | T | * | T |
| 80415 | T | * | F |
| 80416 | T | * | T |
| 80417 | T | * | F |
| 80418 | T | * | F |
| 80419 | T | * | T |
| 80420 | T | * | F |
| 80421 | T | * | T |
| 80422 | T | * | F |
| 80423 | T | * | F |
| 80424 | T | * | T |
| 80425 | T | * | F |
| 80426 | T | * | T |
| 80427 | T | * | F |
| 80428 | T | * | F |
| 80429 | T | * | T |
| 80430 | T | * | F |
| 80431 | T | * | T |
| 80432 | T | * | F |
| 80433 | T | * | F |
| 80434 | T | * | T |
| 80435 | T | * | F |
| 80436 | T | * | T |
| 80437 | T | * | F |
| 80438 | T | * | T |
| 80439 | T | * | F |
| 80440 | T | * | T |
| 80441 | T | * | F |
| 80442 | T | * | F |
| 80443 | T | * | T |
| 80444 | T | * | F |
| 80445 | T | * | F |
| 80446 | T | * | F |
| 80447 | T | * | F |
| 90260 | T | F | T |
| 90261 | * | F | F |
| 90262 | T | * | F |
| 90263 | T | F | T |
| 90264 | * | F | F |
| 90265 | T | * | F |
| 90266 | T | * | F |
| 90267 | T | * | F |
| 90268 | T | * | F |
| 90269 | T | * | F |
| 90270 | T | * | F |
| 90271 | T | * | F |
| 90272 | T | * | F |
| 90273 | T | * | F |
| 90274 | T | * | F |
| 90275 | T | * | F |
| 90276 | T | * | T |
| 90277 | T | * | F |
| 90278 | T | * | T |
| 90279 | T | * | F |
| 90280 | T | * | T |
| 90281 | T | * | F |
| 90282 | T | * | F |
| 90283 | T | * | T |
| 90284 | T | * | F |
| 90285 | T | * | T |
| 90286 | T | * | F |
| 90287 | T | * | F |
| 90288 | T | * | T |
| 90289 | T | * | F |
| 90290 | T | * | T |
| 90291 | T | * | F |
| 90292 | T | * | F |
| 90293 | T | * | T |
| 90294 | T | * | F |
| 90295 | T | * | T |
| 90296 | T | * | F |
| 90297 | T | * | T |
| 90298 | T | * | F |
| 90299 | T | * | T |
| 90300 | T | * | F |
| 90301 | T | * | F |
| 90302 | T | * | T |
| 90303 | T | * | F |
| 90304 | T | * | T |
| 90305 | T | * | F |
| 90306 | T | * | F |
| 90307 | T | * | T |
| 90308 | T | * | F |
| 90309 | T | * | T |
| 90310 | T | * | F |
| 90311 | T | * | F |
| 90312 | T | * | T |
| 90313 | T | * | F |
| 90314 | T | * | T |
| 90315 | T | * | F |
| 90316 | T | * | F |
| 90317 | T | * | T |
| 90318 | T | * | F |
| 90319 | T | * | T |
| 90320 | T | * | F |
| 90321 | T | * | T |
| 90322 | T | * | F |
| 90323 | T | * | T |
| 90324 | T | * | F |
| 90325 | T | * | F |
| 90326 | T | * | T |
| 90327 | T | * | F |
| 90328 | T | * | F |
| 90329 | T | * | F |
| 90330 | T | * | F |
| 98004 | T | F | T |
| 98005 | * | F | F |
| 98006 | T | * | F |
| 98007 | T | F | T |
| 98008 | T | F | F |
| 98009 | T | F | T |
| 98010 | T | F | F |
| 98011 | T | * | F |
| 98012 | T | * | F |
| 98013 | T | * | F |
| 98014 | T | * | F |
| 98015 | T | * | F |
| 98016 | T | * | F |
| 98017 | T | * | F |
| 98018 | T | * | F |
| 98019 | T | * | F |
| 98020 | T | * | F |
| 98021 | T | * | F |
| 98022 | T | * | F |
| 98023 | T | * | F |
| 98024 | T | * | F |
| 98025 | T | * | F |
| 98026 | T | * | F |
| 98027 | T | * | F |
| 98028 | T | * | F |
| 98029 | T | * | F |
| 98030 | T | * | F |
| 98031 | T | * | F |
| 98032 | T | * | F |
| 98033 | T | * | F |
| 98034 | T | * | F |
| 106365 | T | F | T |
| 106366 | * | F | F |
| 106367 | T | * | F |
| 106368 | T | F | T |
| 106369 | T | F | F |
| 106370 | T | F | T |
| 106371 | T | F | F |
| 106372 | T | F | T |
| 106373 | T | F | T |
| 106374 | T | F | T |
| 106375 | * | F | F |
| 106376 | T | F | T |
| 106377 | T | F | T |
| 106378 | T | F | T |
| 106379 | * | F | F |
| 106380 | T | F | T |
| 106381 | * | F | F |
| 106382 | T | F | T |
| 106383 | T | F | T |
| 106384 | T | F | T |
| 106385 | * | F | F |
| 106386 | T | F | T |
| 106387 | T | F | T |
| 106388 | T | F | T |
| 106389 | * | F | F |
| 106390 | T | F | T |
| 106391 | * | F | F |
| 106392 | T | F | T |
| 106393 | T | F | T |
| 106394 | T | F | T |
| 106395 | * | F | F |
| 106396 | T | F | T |
| 106397 | T | F | T |
| 106398 | T | F | T |
| 106399 | * | F | F |
| 106400 | T | * | F |
| 106401 | T | * | F |
| 106402 | T | * | F |
| 106403 | T | * | F |
| 106404 | T | * | F |
| 106405 | T | * | F |
| 106406 | T | * | F |
| 106407 | T | * | F |
| 106408 | T | * | F |
| 106409 | T | * | F |
| 106410 | T | * | F |
| 106411 | T | * | F |
| 106412 | T | * | F |
| 106413 | T | * | F |
| 106414 | T | * | F |
| 106415 | T | * | F |
| 106416 | T | * | F |
| 106417 | T | * | F |
| 106418 | T | * | F |
| 106419 | T | * | F |
| 106420 | T | * | F |
| 106421 | T | * | F |
| 106422 | T | * | F |
| 106423 | T | * | F |
| 114544 | T | * | F |
| 114545 | T | F | T |
| 114546 | T | F | T |
| 114547 | T | F | T |
| 114548 | * | F | F |
| 114549 | T | F | T |
| 114550 | T | F | T |
| 114551 | T | F | T |
| 114552 | * | F | F |
| 114553 | T | F | T |
| 114554 | T | F | T |
| 114555 | T | F | T |
| 114556 | * | F | F |
| 114557 | T | * | F |
| 114558 | T | * | F |
| 114559 | T | * | F |
| 114560 | T | * | F |
| 114561 | T | * | F |
| 114562 | T | * | F |
| 114563 | T | * | F |
| 114564 | T | * | F |
| 114565 | T | * | F |
| 114566 | T | * | F |
| 114567 | T | * | F |
| 114568 | T | * | F |
| 114569 | T | * | F |
| 114570 | T | * | F |
| 114571 | T | * | F |
| 114572 | T | * | F |
| 114573 | T | * | F |
| 114574 | T | * | F |
| 114575 | T | * | F |
| 114576 | T | * | F |
| 114577 | T | * | F |
| 114578 | T | * | F |
| 114579 | T | * | F |
| 114580 | T | * | F |
| 122348 | T | F | T |
| 122349 | * | F | F |
| 122350 | T | * | F |
| 122351 | T | F | T |
| 122352 | T | F | F |
| 122353 | T | F | T |
| 122354 | T | F | F |
| 122355 | T | * | F |
| 122356 | T | * | F |
| 122357 | T | * | F |
| 122358 | T | * | F |
| 122359 | T | * | F |
| 122360 | T | * | F |
| 122361 | T | * | F |
| 122362 | T | * | F |
| 122363 | T | * | F |
| 122364 | T | * | F |
| 122365 | T | * | F |
| 122366 | T | * | F |
| 122367 | T | * | F |
| 122368 | T | * | F |
| 122369 | T | * | F |
| 122370 | T | * | F |
| 122371 | T | * | F |
| 122372 | T | * | F |
| 122373 | T | * | F |
| 122374 | T | * | F |
| 122375 | T | * | F |
| 122376 | T | * | F |
| 122377 | T | * | F |
| 122378 | T | * | F |
| 139068 | T | F | T |
| 139069 | * | F | F |
| 139070 | T | * | F |
| 139071 | T | F | T |
| 139072 | * | F | F |
| 139073 | T | * | F |
| 139074 | T | * | F |
| 139075 | T | * | F |
| 139076 | T | * | F |
| 139077 | T | * | F |
| 139078 | T | * | F |
| 139079 | T | * | F |
| 139080 | T | * | F |
| 139081 | T | * | F |
| 139082 | T | * | F |
| 139083 | T | * | F |
| 139084 | T | * | T |
| 139085 | T | * | F |
| 139086 | T | * | T |
| 139087 | T | * | F |
| 139088 | T | * | T |
| 139089 | T | * | F |
| 139090 | T | * | F |
| 139091 | T | * | T |
| 139092 | T | * | F |
| 139093 | T | * | T |
| 139094 | T | * | F |
| 139095 | T | * | T |
| 139096 | T | * | F |
| 139097 | T | * | T |
| 139098 | T | * | F |
| 139099 | T | * | T |
| 139100 | T | * | F |
| 139101 | T | * | T |
| 139102 | T | * | F |
| 139103 | T | * | F |
| 139104 | T | * | T |
| 139105 | T | * | F |
| 139106 | T | * | T |
| 139107 | T | * | F |
| 139108 | T | * | F |
| 139109 | T | * | T |
| 139110 | T | * | F |
| 139111 | T | * | T |
| 139112 | T | * | F |
| 139113 | T | * | F |
| 139114 | T | * | T |
| 139115 | T | * | F |
| 139116 | T | * | T |
| 139117 | T | * | F |
| 139118 | T | * | F |
| 139119 | T | * | T |
| 139120 | T | * | F |
| 139121 | T | * | T |
| 139122 | T | * | F |
| 139123 | T | * | F |
| 139124 | T | * | T |
| 139125 | T | * | F |
| 139126 | T | * | T |
| 139127 | T | * | F |
| 139128 | T | * | F |
| 139129 | T | * | T |
| 139130 | T | * | F |
| 139131 | T | * | T |
| 139132 | T | * | F |
| 139133 | T | * | T |
| 139134 | T | * | F |
| 139135 | T | * | T |
| 139136 | T | * | F |
| 139137 | T | * | F |
| 139138 | T | * | T |
| 139139 | T | * | F |
| 139140 | T | * | F |
| 139141 | T | * | F |
| 139142 | T | * | F |
| 155787 | T | F | T |
| 155788 | * | F | F |
| 155789 | T | * | F |
| 155790 | T | F | T |
| 155791 | * | F | F |
| 155792 | T | * | F |
| 155793 | T | * | F |
| 155794 | T | * | F |
| 155795 | T | * | F |
| 155796 | T | * | F |
| 155797 | T | * | F |
| 155798 | T | * | F |
| 155799 | T | * | F |
| 155800 | T | * | F |
| 155801 | T | * | F |
| 155802 | T | * | F |
| 155803 | T | * | T |
| 155804 | T | * | F |
| 155805 | T | * | T |
| 155806 | T | * | F |
| 155807 | T | * | T |
| 155808 | T | * | F |
| 155809 | T | * | F |
| 155810 | T | * | T |
| 155811 | T | * | F |
| 155812 | T | * | T |
| 155813 | T | * | F |
| 155814 | T | * | T |
| 155815 | T | * | F |
| 155816 | T | * | T |
| 155817 | T | * | F |
| 155818 | T | * | T |
| 155819 | T | * | F |
| 155820 | T | * | T |
| 155821 | T | * | F |
| 155822 | T | * | F |
| 155823 | T | * | T |
| 155824 | T | * | F |
| 155825 | T | * | T |
| 155826 | T | * | F |
| 155827 | T | * | F |
| 155828 | T | * | T |
| 155829 | T | * | F |
| 155830 | T | * | T |
| 155831 | T | * | F |
| 155832 | T | * | F |
| 155833 | T | * | T |
| 155834 | T | * | F |
| 155835 | T | * | T |
| 155836 | T | * | F |
| 155837 | T | * | F |
| 155838 | T | * | T |
| 155839 | T | * | F |
| 155840 | T | * | T |
| 155841 | T | * | F |
| 155842 | T | * | F |
| 155843 | T | * | T |
| 155844 | T | * | F |
| 155845 | T | * | T |
| 155846 | T | * | F |
| 155847 | T | * | F |
| 155848 | T | * | T |
| 155849 | T | * | F |
| 155850 | T | * | T |
| 155851 | T | * | F |
| 155852 | T | * | T |
| 155853 | T | * | F |
| 155854 | T | * | T |
| 155855 | T | * | F |
| 155856 | T | * | F |
| 155857 | T | * | T |
| 155858 | T | * | F |
| 155859 | T | * | F |
| 155860 | T | * | F |
| 155861 | T | * | F |
| 165512 | T | F | T |
| 165513 | * | F | F |
| 165514 | T | * | F |
| 165515 | T | F | T |
| 165516 | * | F | F |
| 165517 | T | * | F |
| 165518 | T | * | F |
| 165519 | T | * | F |
| 165520 | T | * | F |
| 165521 | T | * | F |
| 165522 | T | * | F |
| 165523 | T | * | F |
| 165524 | T | * | F |
| 165525 | T | * | F |
| 165526 | T | * | F |
| 165527 | T | * | F |
| 165528 | T | * | F |
| 165529 | T | * | F |
| 165530 | T | * | F |
| 165531 | T | * | F |
| 165532 | T | * | F |
| 165533 | T | * | F |
| 165534 | T | * | F |
| 165535 | T | * | F |
| 165536 | T | * | F |
| 165537 | T | * | F |
| 165538 | T | * | F |
| 165539 | T | * | F |
| 165540 | T | * | F |
| 165541 | T | * | F |
| 165542 | T | * | F |
| 165543 | T | * | F |
| 165544 | T | * | F |
| 165545 | T | * | F |
| 165546 | T | * | F |
| 165547 | T | * | F |
| 165548 | T | * | F |
| 165549 | T | * | F |
| 165550 | T | * | F |
| 165551 | T | * | F |
| 165552 | T | * | F |
| 165553 | T | * | F |
| 165554 | T | * | F |
| 165555 | T | * | F |
| 165556 | T | * | F |
| 165557 | T | * | F |
| 165558 | T | * | F |
| 165559 | T | * | F |
| 165560 | T | * | F |
| 165561 | T | * | F |
| 165562 | T | * | F |
| 165563 | T | * | F |
| 165564 | T | * | F |
| 175370 | T | F | T |
| 175371 | * | F | F |
| 175372 | T | * | F |
| 175373 | T | F | T |
| 175374 | * | F | F |
| 175375 | T | * | F |
| 175376 | T | * | F |
| 175377 | T | * | F |
| 175378 | T | * | F |
| 175379 | T | * | F |
| 175380 | T | * | F |
| 175381 | T | * | F |
| 175382 | T | * | F |
| 175383 | T | * | F |
| 175384 | T | * | F |
| 175385 | T | * | F |
| 175386 | T | * | F |
| 175387 | T | * | F |
| 175388 | T | * | F |
| 175389 | T | * | F |
| 175390 | T | * | F |
| 175391 | T | * | F |
| 175392 | T | * | F |
| 175393 | T | * | F |
| 175394 | T | * | F |
| 175395 | T | * | F |
| 175396 | T | * | F |
| 175397 | T | * | F |
| 175398 | T | * | F |
| 175399 | T | * | F |
| 175400 | T | * | F |
| 175401 | T | * | F |
| 175402 | T | * | F |
| 175403 | T | * | F |
| 175404 | T | * | F |
| 175405 | T | * | F |
| 175406 | T | * | F |
| 175407 | T | * | F |
| 175408 | T | * | F |
| 175409 | T | * | F |
| 175410 | T | * | F |
| 175411 | T | * | F |
| 175412 | T | * | F |
| 175413 | T | * | F |
| 175414 | T | * | F |
| 175415 | T | * | F |
| 175416 | T | * | F |
| 175417 | T | * | F |
| 175418 | T | * | F |
| 175419 | T | * | F |
| 175420 | T | * | F |
| 175421 | T | * | F |
| 175422 | T | * | F |
| 180301 | T | F | T |
| 180302 | * | F | F |
| 180303 | T | * | F |
| 180304 | T | F | T |
| 180305 | T | F | F |
| 180306 | T | F | T |
| 180307 | * | F | F |
| 180308 | T | F | T |
| 180309 | * | F | F |
| 180310 | T | F | T |
| 180311 | * | F | F |
| 180312 | T | F | T |
| 180313 | * | F | F |
| 180314 | T | F | T |
| 180315 | T | F | T |
| 180316 | * | F | F |
| 180317 | T | F | T |
| 180318 | * | F | F |
| 180319 | T | F | T |
| 180320 | T | F | T |
| 180321 | * | F | F |
| 180322 | T | * | F |
| 180323 | T | * | F |
| 180324 | T | * | F |
| 180325 | T | * | F |
| 180326 | T | * | F |
| 180327 | T | * | F |
| 183795 | T | F | T |
| 183796 | * | F | F |
| 183797 | T | * | F |
| 183798 | T | F | T |
| 183799 | T | F | T |
| 183800 | T | F | T |
| 183801 | T | F | T |
| 183802 | T | F | F |
| 183803 | T | F | T |
| 183804 | * | F | F |
| 183805 | T | F | T |
| 183806 | T | F | T |
| 183807 | * | F | F |
| 183808 | T | F | T |
| 183809 | * | F | F |
| 183810 | T | F | T |
| 183811 | * | F | F |
| 183812 | T | * | F |
| 183813 | T | * | F |
| 183814 | T | * | F |
| 183815 | T | * | F |
| 183816 | T | * | F |
| 183817 | T | * | F |
| 183818 | T | * | F |
| 183819 | T | * | F |
| 186943 | T | * | F |
| 186944 | T | F | T |
| 186945 | T | F | T |
| 186946 | * | F | F |
| 186947 | T | F | T |
| 186948 | * | F | F |
| 186949 | T | F | T |
| 186950 | * | F | F |
| 186951 | T | * | F |
| 186952 | T | * | F |
| 186953 | T | * | F |
| 186954 | T | * | F |
| 186955 | T | * | F |
| 186956 | T | * | F |
| 186957 | T | * | F |
| 186958 | T | * | F |
| 190222 | T | F | T |
| 190223 | * | F | F |
| 190224 | T | * | F |
| 190225 | T | F | T |
| 190226 | T | F | T |
| 190227 | T | F | T |
| 190228 | T | F | T |
| 190229 | T | F | F |
| 190230 | T | F | T |
| 190231 | * | F | F |
| 190232 | T | F | T |
| 190233 | T | F | T |
| 190234 | * | F | F |
| 190235 | T | F | T |
| 190236 | * | F | F |
| 190237 | T | F | T |
| 190238 | * | F | F |
| 190239 | T | * | F |
| 190240 | T | * | F |
| 190241 | T | * | F |
| 190242 | T | * | F |
| 190243 | T | * | F |
| 190244 | T | * | F |
| 190245 | T | * | F |
| 190246 | T | * | F |
| 194496 | T | F | T |
| 194497 | * | F | F |
| 194498 | T | * | F |
| 194499 | T | * | F |
| 194500 | T | * | F |
| 194501 | T | * | F |
| 194502 | T | * | F |
| 194503 | T | * | F |
| 194504 | T | * | F |
| 194505 | T | * | F |
| 194506 | T | * | F |
| 194507 | T | * | F |
| 194508 | T | * | F |
| 194509 | T | * | F |
| 194510 | T | * | F |
| 202487 | T | F | T |
| 202488 | * | F | F |
| 202489 | T | * | F |
| 202490 | T | F | T |
| 202491 | T | F | F |
| 202492 | T | F | T |
| 202493 | T | F | F |
| 202494 | T | F | T |
| 202495 | * | F | F |
| 202496 | T | * | F |
| 202497 | T | * | F |
| 202498 | T | * | F |
| 202499 | T | * | F |
| 202500 | T | * | F |
| 202501 | T | * | F |
| 202502 | T | * | F |
| 202503 | T | * | F |
| 202504 | T | * | F |
| 202505 | T | * | F |
| 202506 | T | * | F |
| 202507 | T | * | F |
| 202508 | T | * | F |
| 202509 | T | * | F |
| 202510 | T | * | F |
| 202511 | T | * | F |
| 202512 | T | * | F |
| 202513 | T | * | F |
| 202514 | T | * | F |
| 202515 | T | * | F |
| 202516 | T | * | F |
| 202517 | T | * | F |
| 202518 | T | * | F |
| 202519 | T | * | F |
| 202520 | T | * | F |
| 202521 | T | * | F |
| 202522 | T | * | F |
| 202523 | T | * | F |
| 202524 | T | * | F |
| 202525 | T | * | F |
| 202526 | T | * | F |
| 202527 | T | * | F |
| 205887 | T | F | T |
| 205888 | * | F | F |
| 205889 | T | * | F |
| 205890 | T | * | F |
| 205891 | T | * | F |
| 205892 | T | * | F |
| 205893 | T | * | F |
| 205894 | T | * | F |
| 205895 | T | * | F |
| 205896 | T | * | F |
| 205897 | T | * | F |
| 213889 | T | F | T |
| 213890 | * | F | F |
| 213891 | T | * | F |
| 213892 | T | F | T |
| 213893 | * | F | F |
| 213894 | T | F | T |
| 213895 | * | F | F |
| 213896 | T | F | T |
| 213897 | * | F | F |
| 213898 | T | F | T |
| 213899 | * | F | F |
| 213900 | T | F | T |
| 213901 | T | F | T |
| 213902 | * | F | F |
| 213903 | T | F | T |
| 213904 | * | F | F |
| 213905 | T | F | T |
| 213906 | T | F | T |
| 213907 | * | F | F |
| 213908 | T | * | F |
| 213909 | T | * | F |
| 213910 | T | * | F |
| 213911 | T | * | F |
| 213912 | T | * | F |
| 213913 | T | * | F |
| 213914 | T | * | F |
| 213915 | T | * | F |
| 213916 | T | * | F |
| 213917 | T | * | F |
| 213918 | T | * | F |
| 213919 | T | * | F |
| 213920 | T | * | F |
| 213921 | T | * | F |
| 213922 | T | * | F |
| 213923 | T | * | F |
| 213924 | T | * | F |
| 213925 | T | * | F |
| 213926 | T | * | F |
| 213927 | T | * | F |
| 213928 | T | * | F |
| 213929 | T | * | F |
| 213930 | T | * | F |
| 213931 | T | * | F |
| 213932 | T | * | F |
| 213933 | T | * | F |
| 221426 | T | F | T |
| 221427 | * | F | F |
| 221428 | T | * | F |
| 221429 | T | F | T |
| 221430 | T | F | F |
| 221431 | T | F | T |
| 221432 | * | F | F |
| 221433 | T | F | T |
| 221434 | * | F | F |
| 221435 | T | F | T |
| 221436 | T | F | T |
| 221437 | * | F | F |
| 221438 | T | * | F |
| 221439 | T | * | F |
| 221440 | T | * | F |
| 221441 | T | * | F |
| 221442 | T | * | F |
| 221443 | T | * | F |
| 221444 | T | * | F |
| 221445 | T | * | F |
| 221446 | T | * | F |
| 221447 | T | * | F |
| 221448 | T | * | F |
| 221449 | T | * | F |
| 221450 | T | * | F |
| 221451 | T | * | T |
| 221452 | T | * | F |
| 221453 | T | * | F |
| 221454 | T | * | T |
| 221455 | T | * | F |
| 221456 | T | * | T |
| 221457 | T | * | F |
| 221458 | T | * | T |
| 221459 | T | * | F |
| 221460 | T | * | F |
| 221461 | T | * | T |
| 221462 | T | * | F |
| 221463 | T | * | F |
| 221464 | T | * | T |
| 221465 | T | * | F |
| 221466 | T | * | F |
| 221467 | T | * | T |
| 221468 | T | * | F |
| 221469 | T | * | T |
| 221470 | T | * | F |
| 221471 | T | * | T |
| 221472 | T | * | F |
| 221473 | T | * | F |
| 221474 | T | * | F |
| 221475 | T | * | F |
| 221476 | T | * | F |
| 221477 | T | * | F |
| 296540 | T | F | T |
| 296541 | * | F | F |
| 296542 | T | * | F |
| 296543 | T | F | T |
| 296544 | * | F | F |
| 296545 | T | * | F |
| 296546 | T | * | F |
| 296547 | T | * | F |
| 296548 | T | * | F |
| 296549 | T | * | F |
| 296550 | T | * | F |
| 296551 | T | * | F |
| 296552 | T | * | F |
| 296553 | T | * | F |
| 296554 | T | * | F |
| 296555 | T | * | F |
| 296556 | T | * | F |
| 296557 | T | * | F |
| 296558 | T | * | F |
| 296559 | T | * | F |
| 296560 | T | * | T |
| 296561 | T | * | F |
| 296562 | T | * | T |
| 296563 | T | * | F |
| 296564 | T | * | T |
| 296565 | T | * | F |
| 296566 | T | * | F |
| 296567 | T | * | T |
| 296568 | T | * | F |
| 296569 | T | * | T |
| 296570 | T | * | F |
| 296571 | T | * | F |
| 296572 | T | * | T |
| 296573 | T | * | F |
| 296574 | T | * | T |
| 296575 | T | * | F |
| 296576 | T | * | F |
| 296577 | T | * | T |
| 296578 | T | * | F |
| 296579 | T | * | T |
| 296580 | T | * | F |
| 296581 | T | * | T |
| 296582 | T | * | F |
| 296583 | T | * | T |
| 296584 | T | * | F |
| 296585 | T | * | F |
| 296586 | T | * | T |
| 296587 | T | * | F |
| 296588 | T | * | T |
| 296589 | T | * | F |
| 296590 | T | * | F |
| 296591 | T | * | T |
| 296592 | T | * | F |
| 296593 | T | * | T |
| 296594 | T | * | F |
| 296595 | T | * | F |
| 296596 | T | * | T |
| 296597 | T | * | F |
| 296598 | T | * | T |
| 296599 | T | * | F |
| 296600 | T | * | F |
| 296601 | T | * | T |
| 296602 | T | * | F |
| 296603 | T | * | T |
| 296604 | T | * | F |
| 296605 | T | * | T |
| 296606 | T | * | F |
| 296607 | T | * | T |
| 296608 | T | * | F |
| 296609 | T | * | F |
| 296610 | T | * | T |
| 296611 | T | * | F |
| 296612 | T | * | F |
| 296613 | T | * | F |
| 296614 | T | * | F |
| 373917 | T | F | T |
| 373918 | * | F | F |
| 373919 | T | * | F |
| 373920 | T | F | T |
| 373921 | * | F | F |
| 373922 | T | * | F |
| 373923 | T | * | F |
| 373924 | T | * | F |
| 373925 | T | * | F |
| 373926 | T | * | F |
| 373927 | T | * | F |
| 373928 | T | * | F |
| 373929 | T | * | F |
| 373930 | T | * | F |
| 373931 | T | * | F |
| 373932 | T | * | F |
| 373933 | T | * | F |
| 373934 | T | * | F |
| 373935 | T | * | F |
| 373936 | T | * | F |
| 373937 | T | * | T |
| 373938 | T | * | F |
| 373939 | T | * | T |
| 373940 | T | * | F |
| 373941 | T | * | T |
| 373942 | T | * | F |
| 373943 | T | * | F |
| 373944 | T | * | T |
| 373945 | T | * | F |
| 373946 | T | * | T |
| 373947 | T | * | F |
| 373948 | T | * | F |
| 373949 | T | * | T |
| 373950 | T | * | F |
| 373951 | T | * | T |
| 373952 | T | * | F |
| 373953 | T | * | F |
| 373954 | T | * | T |
| 373955 | T | * | F |
| 373956 | T | * | T |
| 373957 | T | * | F |
| 373958 | T | * | T |
| 373959 | T | * | F |
| 373960 | T | * | T |
| 373961 | T | * | F |
| 373962 | T | * | F |
| 373963 | T | * | T |
| 373964 | T | * | F |
| 373965 | T | * | T |
| 373966 | T | * | F |
| 373967 | T | * | F |
| 373968 | T | * | T |
| 373969 | T | * | F |
| 373970 | T | * | T |
| 373971 | T | * | F |
| 373972 | T | * | F |
| 373973 | T | * | T |
| 373974 | T | * | F |
| 373975 | T | * | T |
| 373976 | T | * | F |
| 373977 | T | * | F |
| 373978 | T | * | T |
| 373979 | T | * | F |
| 373980 | T | * | T |
| 373981 | T | * | F |
| 373982 | T | * | T |
| 373983 | T | * | F |
| 373984 | T | * | T |
| 373985 | T | * | F |
| 373986 | T | * | F |
| 373987 | T | * | T |
| 373988 | T | * | F |
| 373989 | T | * | F |
| 373990 | T | * | F |
| 373991 | T | * | F |
| 379223 | T | F | T |
| 379224 | * | F | F |
| 379225 | T | * | F |
| 379226 | T | F | T |
| 379227 | * | F | F |
| 379228 | T | * | F |
| 379229 | T | * | F |
| 379230 | T | * | F |
| 379231 | T | * | F |
| 379232 | T | * | F |
| 379233 | T | * | F |
| 379234 | T | * | F |
| 379235 | T | * | F |
| 382066 | T | F | T |
| 382067 | * | F | F |
| 382068 | T | * | F |
| 382069 | T | F | T |
| 382070 | T | F | T |
| 382071 | T | F | T |
| 382072 | * | F | F |
| 382073 | T | F | T |
| 382074 | T | F | T |
| 382075 | T | F | T |
| 382076 | * | F | F |
| 382077 | T | F | T |
| 382078 | * | F | F |
| 382079 | T | * | F |
| 382080 | T | * | F |
| 382081 | T | * | F |
| 382082 | T | * | F |
| 382083 | T | * | F |
| 382084 | T | * | F |
| 382085 | T | * | F |
| 382086 | T | * | F |
| 384839 | T | * | F |
| 384840 | T | F | T |
| 384841 | T | F | T |
| 384842 | T | F | T |
| 384843 | * | F | F |
| 384844 | T | * | F |
| 384845 | T | * | F |
| 384846 | T | * | F |
| 384847 | T | * | F |
| 384848 | T | * | F |
| 384849 | T | * | F |
| 384850 | T | * | F |
| 384851 | T | * | F |
Independent-effect pairs
c0(branch9741): GAP view gap →core::fmt::write· br_ifc1(branch9742): GAP view gap →core::fmt::write· br_if