Decision #1017 — library/core/src/iter/adapters/zip.rs:300
Status: partial
Truth table
| row | c0 br 6443 | c1 br 6444 | outcome |
|---|---|---|---|
| 38457 | F | F | F |
| 38458 | F | F | F |
| 38459 | F | F | F |
| 38460 | F | F | F |
| 38461 | T | * | T |
| 38462 | F | F | F |
| 38463 | F | F | F |
| 38464 | F | F | F |
| 38465 | F | F | F |
| 38466 | T | * | T |
| 38467 | F | F | F |
| 38468 | F | F | F |
| 38469 | F | F | F |
| 38470 | F | F | F |
| 38471 | T | * | T |
| 38472 | F | F | F |
| 38473 | F | F | F |
| 38474 | F | F | F |
| 38475 | F | F | F |
| 38476 | T | * | T |
| 38477 | F | F | F |
| 38478 | F | F | F |
| 38479 | F | F | F |
| 38480 | F | F | F |
| 38481 | T | * | T |
| 38482 | F | F | F |
| 38483 | F | F | F |
| 38484 | F | F | F |
| 38485 | F | F | F |
| 38486 | T | * | T |
| 38487 | F | F | F |
| 38488 | F | F | F |
| 38489 | F | F | F |
| 38490 | F | F | F |
| 38491 | T | * | T |
| 38492 | F | F | F |
| 38493 | F | F | F |
| 38494 | F | F | F |
| 38495 | F | F | F |
| 38496 | T | * | T |
| 59311 | F | F | F |
| 59312 | F | F | F |
| 59313 | F | F | F |
| 59314 | F | F | F |
| 59315 | T | * | T |
| 59316 | F | F | F |
| 59317 | F | F | F |
| 59318 | F | F | F |
| 59319 | F | F | F |
| 59320 | T | * | T |
| 59321 | F | F | F |
| 59322 | F | F | F |
| 59323 | F | F | F |
| 59324 | F | F | F |
| 59325 | T | * | T |
| 59326 | F | F | F |
| 59327 | F | F | F |
| 59328 | F | F | F |
| 59329 | F | F | F |
| 59330 | T | * | T |
| 59331 | F | F | F |
| 59332 | F | F | F |
| 59333 | F | F | F |
| 59334 | F | F | F |
| 59335 | T | * | T |
| 59336 | F | F | F |
| 59337 | F | F | F |
| 59338 | F | F | F |
| 59339 | F | F | F |
| 59340 | T | * | T |
| 59341 | F | F | F |
| 59342 | F | F | F |
| 59343 | F | F | F |
| 59344 | F | F | F |
| 59345 | T | * | T |
| 59346 | F | F | F |
| 59347 | F | F | F |
| 59348 | F | F | F |
| 59349 | F | F | F |
| 59350 | T | * | T |
| 74993 | F | F | F |
| 74994 | F | F | F |
| 74995 | T | * | T |
| 74996 | F | F | F |
| 74997 | F | F | F |
| 74998 | T | * | T |
| 74999 | F | F | F |
| 75000 | F | F | F |
| 75001 | T | * | T |
| 75002 | F | F | F |
| 75003 | F | F | F |
| 75004 | T | * | T |
| 75005 | F | F | F |
| 75006 | F | F | F |
| 75007 | T | * | T |
| 75008 | F | F | F |
| 75009 | F | F | F |
| 75010 | T | * | T |
| 75011 | F | F | F |
| 75012 | F | F | F |
| 75013 | T | * | T |
| 75014 | F | F | F |
| 75015 | F | F | F |
| 75016 | T | * | T |
| 75017 | F | F | F |
| 75018 | F | F | F |
| 75019 | T | * | T |
| 75020 | F | F | F |
| 75021 | F | F | F |
| 75022 | T | * | T |
| 75023 | F | F | F |
| 75024 | F | F | F |
| 75025 | T | * | T |
| 75026 | F | F | F |
| 75027 | F | F | F |
| 75028 | T | * | T |
| 75029 | F | F | F |
| 75030 | F | F | F |
| 75031 | T | * | T |
| 75032 | F | F | F |
| 75033 | F | F | F |
| 75034 | T | * | T |
| 75035 | F | F | F |
| 75036 | F | F | F |
| 75037 | T | * | T |
| 75038 | F | F | F |
| 75039 | F | F | F |
| 75040 | T | * | T |
| 75041 | F | F | F |
| 75042 | F | F | F |
| 75043 | T | * | T |
| 75044 | F | F | F |
| 75045 | F | F | F |
| 75046 | T | * | T |
| 75047 | F | F | F |
| 75048 | F | F | F |
| 75049 | T | * | T |
| 75050 | F | F | F |
| 75051 | F | F | F |
| 75052 | T | * | T |
| 75053 | F | F | F |
| 75054 | F | F | F |
| 75055 | T | * | T |
| 75056 | F | F | F |
| 75057 | F | F | F |
| 75058 | T | * | T |
| 75059 | F | F | F |
| 75060 | F | F | F |
| 75061 | T | * | T |
| 75062 | F | F | F |
| 75063 | F | F | F |
| 75064 | T | * | T |
| 84876 | F | F | F |
| 84877 | F | F | F |
| 84878 | T | * | T |
| 84879 | F | F | F |
| 84880 | F | F | F |
| 84881 | T | * | T |
| 84882 | F | F | F |
| 84883 | F | F | F |
| 84884 | T | * | T |
| 84885 | F | F | F |
| 84886 | F | F | F |
| 84887 | T | * | T |
| 84888 | F | F | F |
| 84889 | F | F | F |
| 84890 | T | * | T |
| 84891 | F | F | F |
| 84892 | F | F | F |
| 84893 | T | * | T |
| 84894 | F | F | F |
| 84895 | F | F | F |
| 84896 | T | * | T |
| 84897 | F | F | F |
| 84898 | F | F | F |
| 84899 | T | * | T |
| 84900 | F | F | F |
| 84901 | F | F | F |
| 84902 | T | * | T |
| 84903 | F | F | F |
| 84904 | F | F | F |
| 84905 | T | * | T |
| 84906 | F | F | F |
| 84907 | F | F | F |
| 84908 | T | * | T |
| 84909 | F | F | F |
| 84910 | F | F | F |
| 84911 | T | * | T |
| 84912 | F | F | F |
| 84913 | F | F | F |
| 84914 | T | * | T |
| 84915 | F | F | F |
| 84916 | F | F | F |
| 84917 | T | * | T |
| 84918 | F | F | F |
| 84919 | F | F | F |
| 84920 | T | * | T |
| 84921 | F | F | F |
| 84922 | F | F | F |
| 84923 | T | * | T |
| 84924 | F | F | F |
| 84925 | F | F | F |
| 84926 | T | * | T |
| 84927 | F | F | F |
| 84928 | F | F | F |
| 84929 | T | * | T |
| 84930 | F | F | F |
| 84931 | F | F | F |
| 84932 | T | * | T |
| 84933 | F | F | F |
| 84934 | F | F | F |
| 84935 | T | * | T |
| 84936 | F | F | F |
| 84937 | F | F | F |
| 84938 | T | * | T |
| 84939 | F | F | F |
| 84940 | F | F | F |
| 84941 | T | * | T |
| 84942 | F | F | F |
| 84943 | F | F | F |
| 84944 | T | * | T |
| 84945 | F | F | F |
| 84946 | F | F | F |
| 84947 | T | * | T |
| 131760 | F | F | F |
| 131761 | F | F | F |
| 131762 | F | F | F |
| 131763 | F | F | F |
| 131764 | T | * | T |
| 131765 | F | F | F |
| 131766 | F | F | F |
| 131767 | F | F | F |
| 131768 | F | F | F |
| 131769 | T | * | T |
| 131770 | F | F | F |
| 131771 | F | F | F |
| 131772 | F | F | F |
| 131773 | F | F | F |
| 131774 | T | * | T |
| 131775 | F | F | F |
| 131776 | F | F | F |
| 131777 | F | F | F |
| 131778 | F | F | F |
| 131779 | T | * | T |
| 131780 | F | F | F |
| 131781 | F | F | F |
| 131782 | F | F | F |
| 131783 | F | F | F |
| 131784 | T | * | T |
| 131785 | F | F | F |
| 131786 | F | F | F |
| 131787 | F | F | F |
| 131788 | F | F | F |
| 131789 | T | * | T |
| 131790 | F | F | F |
| 131791 | F | F | F |
| 131792 | F | F | F |
| 131793 | F | F | F |
| 131794 | T | * | T |
| 131795 | F | F | F |
| 131796 | F | F | F |
| 131797 | F | F | F |
| 131798 | F | F | F |
| 131799 | T | * | T |
| 131800 | F | F | F |
| 131801 | F | F | F |
| 131802 | F | F | F |
| 131803 | F | F | F |
| 131804 | T | * | T |
| 131805 | F | F | F |
| 131806 | F | F | F |
| 131807 | F | F | F |
| 131808 | F | F | F |
| 131809 | T | * | T |
| 131810 | F | F | F |
| 131811 | F | F | F |
| 131812 | F | F | F |
| 131813 | F | F | F |
| 131814 | T | * | T |
| 131815 | F | F | F |
| 131816 | F | F | F |
| 131817 | F | F | F |
| 131818 | F | F | F |
| 131819 | T | * | T |
| 148479 | F | F | F |
| 148480 | F | F | F |
| 148481 | F | F | F |
| 148482 | F | F | F |
| 148483 | T | * | T |
| 148484 | F | F | F |
| 148485 | F | F | F |
| 148486 | F | F | F |
| 148487 | F | F | F |
| 148488 | T | * | T |
| 148489 | F | F | F |
| 148490 | F | F | F |
| 148491 | F | F | F |
| 148492 | F | F | F |
| 148493 | T | * | T |
| 148494 | F | F | F |
| 148495 | F | F | F |
| 148496 | F | F | F |
| 148497 | F | F | F |
| 148498 | T | * | T |
| 148499 | F | F | F |
| 148500 | F | F | F |
| 148501 | F | F | F |
| 148502 | F | F | F |
| 148503 | T | * | T |
| 148504 | F | F | F |
| 148505 | F | F | F |
| 148506 | F | F | F |
| 148507 | F | F | F |
| 148508 | T | * | T |
| 148509 | F | F | F |
| 148510 | F | F | F |
| 148511 | F | F | F |
| 148512 | F | F | F |
| 148513 | T | * | T |
| 148514 | F | F | F |
| 148515 | F | F | F |
| 148516 | F | F | F |
| 148517 | F | F | F |
| 148518 | T | * | T |
| 148519 | F | F | F |
| 148520 | F | F | F |
| 148521 | F | F | F |
| 148522 | F | F | F |
| 148523 | T | * | T |
| 148524 | F | F | F |
| 148525 | F | F | F |
| 148526 | F | F | F |
| 148527 | F | F | F |
| 148528 | T | * | T |
| 148529 | F | F | F |
| 148530 | F | F | F |
| 148531 | F | F | F |
| 148532 | F | F | F |
| 148533 | T | * | T |
| 148534 | F | F | F |
| 148535 | F | F | F |
| 148536 | F | F | F |
| 148537 | F | F | F |
| 148538 | T | * | T |
| 216685 | F | F | F |
| 216686 | F | F | F |
| 216687 | T | * | T |
| 216688 | F | F | F |
| 216689 | F | F | F |
| 216690 | T | * | T |
| 251947 | F | F | F |
| 251948 | F | F | F |
| 251949 | F | F | F |
| 251950 | F | F | F |
| 251951 | T | * | T |
| 251952 | F | F | F |
| 251953 | F | F | F |
| 251954 | F | F | F |
| 251955 | F | F | F |
| 251956 | F | F | F |
| 251957 | T | * | T |
| 251958 | F | F | F |
| 251959 | F | F | F |
| 251960 | F | F | F |
| 251961 | F | F | F |
| 251962 | F | F | F |
| 251963 | T | * | T |
| 251964 | F | F | F |
| 251965 | F | F | F |
| 251966 | F | F | F |
| 251967 | F | F | F |
| 251968 | F | F | F |
| 251969 | T | * | T |
| 251970 | F | F | F |
| 251971 | F | F | F |
| 251972 | F | F | F |
| 251973 | F | F | F |
| 251974 | F | F | F |
| 251975 | T | * | T |
| 251976 | F | F | F |
| 251977 | F | F | F |
| 251978 | F | F | F |
| 251979 | F | F | F |
| 251980 | T | * | T |
| 251981 | F | F | F |
| 251982 | F | F | F |
| 251983 | F | F | F |
| 251984 | F | F | F |
| 251985 | T | * | T |
| 251986 | F | F | F |
| 251987 | F | F | F |
| 251988 | F | F | F |
| 251989 | F | F | F |
| 251990 | T | * | T |
| 251991 | F | F | F |
| 251992 | F | F | F |
| 251993 | F | F | F |
| 251994 | F | F | F |
| 251995 | T | * | T |
| 251996 | F | F | F |
| 251997 | F | F | F |
| 251998 | F | F | F |
| 251999 | F | F | F |
| 252000 | T | * | T |
| 252001 | F | F | F |
| 252002 | F | F | F |
| 252003 | F | F | F |
| 252004 | F | F | F |
| 252005 | T | * | T |
| 252006 | F | F | F |
| 252007 | F | F | F |
| 252008 | F | F | F |
| 252009 | F | F | F |
| 252010 | T | * | T |
| 252011 | F | F | F |
| 252012 | F | F | F |
| 252013 | F | F | F |
| 252014 | F | F | F |
| 252015 | T | * | T |
| 252016 | F | F | F |
| 252017 | F | F | F |
| 252018 | F | F | F |
| 252019 | F | F | F |
| 252020 | T | * | T |
| 252021 | F | F | F |
| 252022 | F | F | F |
| 252023 | F | F | F |
| 252024 | F | F | F |
| 252025 | T | * | T |
| 252026 | F | F | F |
| 252027 | F | F | F |
| 252028 | F | F | F |
| 252029 | F | F | F |
| 252030 | F | F | F |
| 252031 | T | * | T |
| 252032 | F | F | F |
| 252033 | F | F | F |
| 252034 | F | F | F |
| 252035 | F | F | F |
| 252036 | F | F | F |
| 252037 | T | * | T |
| 252038 | F | F | F |
| 252039 | F | F | F |
| 252040 | F | F | F |
| 252041 | F | F | F |
| 252042 | F | F | F |
| 252043 | T | * | T |
| 252044 | F | F | F |
| 252045 | F | F | F |
| 252046 | F | F | F |
| 252047 | F | F | F |
| 252048 | F | F | F |
| 252049 | T | * | T |
| 252050 | F | F | F |
| 252051 | F | F | F |
| 252052 | F | F | F |
| 252053 | F | F | F |
| 252054 | T | * | T |
| 252055 | F | F | F |
| 252056 | F | F | F |
| 252057 | F | F | F |
| 252058 | F | F | F |
| 252059 | T | * | T |
| 252060 | F | F | F |
| 252061 | F | F | F |
| 252062 | F | F | F |
| 252063 | F | F | F |
| 252064 | T | * | T |
| 252065 | F | F | F |
| 252066 | F | F | F |
| 252067 | F | F | F |
| 252068 | F | F | F |
| 252069 | T | * | T |
| 252070 | F | F | F |
| 252071 | F | F | F |
| 252072 | F | F | F |
| 252073 | F | F | F |
| 252074 | T | * | T |
| 252075 | F | F | F |
| 252076 | F | F | F |
| 252077 | F | F | F |
| 252078 | F | F | F |
| 252079 | T | * | T |
| 252080 | F | F | F |
| 252081 | F | F | F |
| 252082 | F | F | F |
| 252083 | F | F | F |
| 252084 | T | * | T |
| 252085 | F | F | F |
| 252086 | F | F | F |
| 252087 | F | F | F |
| 252088 | F | F | F |
| 252089 | T | * | T |
| 252090 | F | F | F |
| 252091 | F | F | F |
| 252092 | F | F | F |
| 252093 | F | F | F |
| 252094 | T | * | T |
| 329324 | F | F | F |
| 329325 | F | F | F |
| 329326 | F | F | F |
| 329327 | F | F | F |
| 329328 | T | * | T |
| 329329 | F | F | F |
| 329330 | F | F | F |
| 329331 | F | F | F |
| 329332 | F | F | F |
| 329333 | F | F | F |
| 329334 | T | * | T |
| 329335 | F | F | F |
| 329336 | F | F | F |
| 329337 | F | F | F |
| 329338 | F | F | F |
| 329339 | F | F | F |
| 329340 | T | * | T |
| 329341 | F | F | F |
| 329342 | F | F | F |
| 329343 | F | F | F |
| 329344 | F | F | F |
| 329345 | F | F | F |
| 329346 | T | * | T |
| 329347 | F | F | F |
| 329348 | F | F | F |
| 329349 | F | F | F |
| 329350 | F | F | F |
| 329351 | F | F | F |
| 329352 | T | * | T |
| 329353 | F | F | F |
| 329354 | F | F | F |
| 329355 | F | F | F |
| 329356 | F | F | F |
| 329357 | T | * | T |
| 329358 | F | F | F |
| 329359 | F | F | F |
| 329360 | F | F | F |
| 329361 | F | F | F |
| 329362 | T | * | T |
| 329363 | F | F | F |
| 329364 | F | F | F |
| 329365 | F | F | F |
| 329366 | F | F | F |
| 329367 | T | * | T |
| 329368 | F | F | F |
| 329369 | F | F | F |
| 329370 | F | F | F |
| 329371 | F | F | F |
| 329372 | T | * | T |
| 329373 | F | F | F |
| 329374 | F | F | F |
| 329375 | F | F | F |
| 329376 | F | F | F |
| 329377 | T | * | T |
| 329378 | F | F | F |
| 329379 | F | F | F |
| 329380 | F | F | F |
| 329381 | F | F | F |
| 329382 | T | * | T |
| 329383 | F | F | F |
| 329384 | F | F | F |
| 329385 | F | F | F |
| 329386 | F | F | F |
| 329387 | T | * | T |
| 329388 | F | F | F |
| 329389 | F | F | F |
| 329390 | F | F | F |
| 329391 | F | F | F |
| 329392 | T | * | T |
| 329393 | F | F | F |
| 329394 | F | F | F |
| 329395 | F | F | F |
| 329396 | F | F | F |
| 329397 | T | * | T |
| 329398 | F | F | F |
| 329399 | F | F | F |
| 329400 | F | F | F |
| 329401 | F | F | F |
| 329402 | T | * | T |
| 329403 | F | F | F |
| 329404 | F | F | F |
| 329405 | F | F | F |
| 329406 | F | F | F |
| 329407 | F | F | F |
| 329408 | T | * | T |
| 329409 | F | F | F |
| 329410 | F | F | F |
| 329411 | F | F | F |
| 329412 | F | F | F |
| 329413 | F | F | F |
| 329414 | T | * | T |
| 329415 | F | F | F |
| 329416 | F | F | F |
| 329417 | F | F | F |
| 329418 | F | F | F |
| 329419 | F | F | F |
| 329420 | T | * | T |
| 329421 | F | F | F |
| 329422 | F | F | F |
| 329423 | F | F | F |
| 329424 | F | F | F |
| 329425 | F | F | F |
| 329426 | T | * | T |
| 329427 | F | F | F |
| 329428 | F | F | F |
| 329429 | F | F | F |
| 329430 | F | F | F |
| 329431 | T | * | T |
| 329432 | F | F | F |
| 329433 | F | F | F |
| 329434 | F | F | F |
| 329435 | F | F | F |
| 329436 | T | * | T |
| 329437 | F | F | F |
| 329438 | F | F | F |
| 329439 | F | F | F |
| 329440 | F | F | F |
| 329441 | T | * | T |
| 329442 | F | F | F |
| 329443 | F | F | F |
| 329444 | F | F | F |
| 329445 | F | F | F |
| 329446 | T | * | T |
| 329447 | F | F | F |
| 329448 | F | F | F |
| 329449 | F | F | F |
| 329450 | F | F | F |
| 329451 | T | * | T |
| 329452 | F | F | F |
| 329453 | F | F | F |
| 329454 | F | F | F |
| 329455 | F | F | F |
| 329456 | T | * | T |
| 329457 | F | F | F |
| 329458 | F | F | F |
| 329459 | F | F | F |
| 329460 | F | F | F |
| 329461 | T | * | T |
| 329462 | F | F | F |
| 329463 | F | F | F |
| 329464 | F | F | F |
| 329465 | F | F | F |
| 329466 | T | * | T |
| 329467 | F | F | F |
| 329468 | F | F | F |
| 329469 | F | F | F |
| 329470 | F | F | F |
| 329471 | T | * | T |
Independent-effect pairs
c0(branch6443): PROVED — pair rows38457,38461(masking)scry_octagon::join· br_ifc1(branch6444): GAP view gap →scry_octagon::join· br_if