Decision #784 — library/core/src/slice/index.rs:272
Status: no_witness
Truth table
| row | c0 br 5221 | c1 br 5225 | outcome |
|---|---|---|---|
| 22245 | F | F | T |
| 22246 | * | F | T |
| 22247 | * | F | T |
| 22248 | * | F | T |
| 22249 | * | F | T |
| 22250 | * | F | T |
| 22251 | * | F | T |
| 22252 | * | F | T |
| 22253 | * | F | T |
| 22254 | * | F | T |
| 22255 | * | F | T |
| 22256 | * | F | T |
| 22257 | * | F | T |
| 22258 | * | F | T |
| 22259 | * | F | T |
| 22260 | * | F | T |
| 22261 | F | T | T |
| 22262 | * | F | T |
| 22263 | * | F | T |
| 22264 | * | F | T |
| 22265 | * | F | T |
| 22266 | * | F | T |
| 22267 | * | F | T |
| 22268 | * | F | T |
| 22269 | * | F | T |
| 22270 | * | F | T |
| 22271 | * | F | T |
| 22272 | * | F | T |
| 22273 | * | F | T |
| 22274 | * | F | T |
| 22275 | * | F | T |
| 22276 | * | F | T |
| 22277 | * | F | T |
| 22278 | F | T | T |
| 22279 | * | F | T |
| 22280 | * | F | T |
| 22281 | * | F | T |
| 22282 | * | F | T |
| 22283 | * | F | T |
| 22284 | * | F | T |
| 22285 | * | F | T |
| 22286 | * | F | T |
| 22287 | * | F | T |
| 22288 | * | F | T |
| 22289 | * | F | T |
| 22290 | * | F | T |
| 22291 | * | F | T |
| 22292 | * | F | T |
| 22293 | * | F | T |
| 22294 | * | F | T |
| 22295 | F | T | T |
| 22296 | * | F | T |
| 22297 | * | F | T |
| 22298 | * | F | T |
| 22299 | * | F | T |
| 22300 | * | F | T |
| 22301 | * | F | T |
| 22302 | * | F | T |
| 22303 | * | F | T |
| 22304 | * | F | T |
| 22305 | * | F | T |
| 22306 | * | F | T |
| 22307 | * | F | T |
| 22308 | * | F | T |
| 22309 | * | F | T |
| 22310 | * | F | T |
| 22311 | * | F | T |
| 22312 | F | T | T |
| 22313 | * | F | T |
| 22314 | * | F | T |
| 22315 | * | F | T |
| 22316 | * | F | T |
| 22317 | * | F | T |
| 22318 | * | F | T |
| 22319 | * | F | T |
| 22320 | * | F | T |
| 22321 | * | F | T |
| 22322 | * | F | T |
| 22323 | * | F | T |
| 22324 | * | F | T |
| 22325 | * | F | T |
| 22326 | * | F | T |
| 22327 | * | F | T |
| 22328 | * | F | T |
| 22329 | F | T | T |
| 22330 | * | F | T |
| 22331 | * | F | T |
| 22332 | * | F | T |
| 22333 | * | F | T |
| 22334 | * | F | T |
| 22335 | * | F | T |
| 22336 | * | F | T |
| 22337 | * | F | T |
| 22338 | * | F | T |
| 22339 | * | F | T |
| 22340 | * | F | T |
| 22341 | * | F | T |
| 22342 | * | F | T |
| 22343 | * | F | T |
| 22344 | * | F | T |
| 22345 | * | F | T |
| 22346 | F | T | T |
| 22347 | * | F | T |
| 22348 | * | F | T |
| 22349 | * | F | T |
| 22350 | * | F | T |
| 22351 | * | F | T |
| 22352 | * | F | T |
| 22353 | * | F | T |
| 22354 | * | F | T |
| 22355 | * | F | T |
| 22356 | * | F | T |
| 22357 | * | F | T |
| 22358 | * | F | T |
| 22359 | * | F | T |
| 22360 | * | F | T |
| 22361 | * | F | T |
| 22362 | * | F | T |
| 22363 | F | T | T |
| 22364 | * | F | T |
| 22365 | * | F | T |
| 22366 | * | F | T |
| 22367 | * | F | T |
| 22368 | * | F | T |
| 22369 | * | F | T |
| 22370 | * | F | T |
| 22371 | * | F | T |
| 22372 | * | F | T |
| 22373 | * | F | T |
| 22374 | * | F | T |
| 22375 | * | F | T |
| 22376 | * | F | T |
| 22377 | * | F | T |
| 22378 | * | F | T |
| 22379 | * | F | T |
| 22380 | * | T | T |
| 31723 | F | F | T |
| 31724 | * | F | T |
| 31725 | * | F | T |
| 31726 | * | F | T |
| 31727 | * | F | T |
| 31728 | * | F | T |
| 31729 | * | F | T |
| 31730 | * | F | T |
| 31731 | * | F | T |
| 31732 | * | F | T |
| 31733 | * | F | T |
| 31734 | * | F | T |
| 31735 | * | F | T |
| 31736 | * | F | T |
| 31737 | * | F | T |
| 31738 | * | F | T |
| 31739 | F | T | T |
| 31740 | * | F | T |
| 31741 | * | F | T |
| 31742 | * | F | T |
| 31743 | * | F | T |
| 31744 | * | F | T |
| 31745 | * | F | T |
| 31746 | * | F | T |
| 31747 | * | F | T |
| 31748 | * | F | T |
| 31749 | * | F | T |
| 31750 | * | F | T |
| 31751 | * | F | T |
| 31752 | * | F | T |
| 31753 | * | F | T |
| 31754 | * | F | T |
| 31755 | * | F | T |
| 31756 | F | T | T |
| 31757 | * | F | T |
| 31758 | * | F | T |
| 31759 | * | F | T |
| 31760 | * | F | T |
| 31761 | * | F | T |
| 31762 | * | F | T |
| 31763 | * | F | T |
| 31764 | * | F | T |
| 31765 | * | F | T |
| 31766 | * | F | T |
| 31767 | * | F | T |
| 31768 | * | F | T |
| 31769 | * | F | T |
| 31770 | * | F | T |
| 31771 | * | F | T |
| 31772 | * | F | T |
| 31773 | F | T | T |
| 31774 | * | F | T |
| 31775 | * | F | T |
| 31776 | * | F | T |
| 31777 | * | F | T |
| 31778 | * | F | T |
| 31779 | * | F | T |
| 31780 | * | F | T |
| 31781 | * | F | T |
| 31782 | * | F | T |
| 31783 | * | F | T |
| 31784 | * | F | T |
| 31785 | * | F | T |
| 31786 | * | F | T |
| 31787 | * | F | T |
| 31788 | * | F | T |
| 31789 | * | F | T |
| 31790 | F | T | T |
| 31791 | * | F | T |
| 31792 | * | F | T |
| 31793 | * | F | T |
| 31794 | * | F | T |
| 31795 | * | F | T |
| 31796 | * | F | T |
| 31797 | * | F | T |
| 31798 | * | F | T |
| 31799 | * | F | T |
| 31800 | * | F | T |
| 31801 | * | F | T |
| 31802 | * | F | T |
| 31803 | * | F | T |
| 31804 | * | F | T |
| 31805 | * | F | T |
| 31806 | * | F | T |
| 31807 | F | T | T |
| 31808 | * | F | T |
| 31809 | * | F | T |
| 31810 | * | F | T |
| 31811 | * | F | T |
| 31812 | * | F | T |
| 31813 | * | F | T |
| 31814 | * | F | T |
| 31815 | * | F | T |
| 31816 | * | F | T |
| 31817 | * | F | T |
| 31818 | * | F | T |
| 31819 | * | F | T |
| 31820 | * | F | T |
| 31821 | * | F | T |
| 31822 | * | F | T |
| 31823 | * | F | T |
| 31824 | F | T | T |
| 31825 | * | F | T |
| 31826 | * | F | T |
| 31827 | * | F | T |
| 31828 | * | F | T |
| 31829 | * | F | T |
| 31830 | * | F | T |
| 31831 | * | F | T |
| 31832 | * | F | T |
| 31833 | * | F | T |
| 31834 | * | F | T |
| 31835 | * | F | T |
| 31836 | * | F | T |
| 31837 | * | F | T |
| 31838 | * | F | T |
| 31839 | * | F | T |
| 31840 | * | F | T |
| 31841 | F | T | T |
| 31842 | * | F | T |
| 31843 | * | F | T |
| 31844 | * | F | T |
| 31845 | * | F | T |
| 31846 | * | F | T |
| 31847 | * | F | T |
| 31848 | * | F | T |
| 31849 | * | F | T |
| 31850 | * | F | T |
| 31851 | * | F | T |
| 31852 | * | F | T |
| 31853 | * | F | T |
| 31854 | * | F | T |
| 31855 | * | F | T |
| 31856 | * | F | T |
| 31857 | * | F | T |
| 31858 | * | T | T |
| 38052 | * | F | T |
| 38053 | * | F | T |
| 38054 | * | F | T |
| 38055 | * | F | T |
| 38056 | * | T | T |
| 38057 | * | F | T |
| 38058 | * | F | T |
| 38059 | * | F | T |
| 38060 | * | F | T |
| 38061 | * | T | T |
| 38062 | * | F | T |
| 38063 | * | F | T |
| 38064 | * | F | T |
| 38065 | * | F | T |
| 38066 | * | T | T |
| 38067 | * | F | T |
| 38068 | * | F | T |
| 38069 | * | F | T |
| 38070 | * | F | T |
| 38071 | * | T | T |
| 38072 | * | F | T |
| 38073 | * | F | T |
| 38074 | * | F | T |
| 38075 | * | F | T |
| 38076 | * | T | T |
| 38077 | * | F | T |
| 38078 | * | F | T |
| 38079 | * | F | T |
| 38080 | * | F | T |
| 38081 | * | T | T |
| 38082 | * | F | T |
| 38083 | * | F | T |
| 38084 | * | F | T |
| 38085 | * | F | T |
| 38086 | * | T | T |
| 38087 | * | F | T |
| 38088 | * | F | T |
| 38089 | * | F | T |
| 38090 | * | F | T |
| 38091 | * | T | T |
| 38092 | * | F | T |
| 38093 | * | F | T |
| 38094 | * | F | T |
| 38095 | * | F | T |
| 38096 | * | T | T |
| 38097 | * | F | T |
| 38098 | * | F | T |
| 38099 | * | F | T |
| 38100 | * | F | T |
| 38101 | * | T | T |
| 38102 | * | F | T |
| 38103 | * | F | T |
| 38104 | * | F | T |
| 38105 | * | F | T |
| 38106 | * | T | T |
| 38107 | * | F | T |
| 38108 | * | F | T |
| 38109 | * | F | T |
| 38110 | * | F | T |
| 38111 | * | T | T |
| 38112 | * | F | T |
| 38113 | * | F | T |
| 38114 | * | F | T |
| 38115 | * | F | T |
| 38116 | * | T | T |
| 38117 | * | F | T |
| 38118 | * | F | T |
| 38119 | * | F | T |
| 38120 | * | F | T |
| 38121 | * | T | T |
| 38122 | * | F | T |
| 38123 | * | F | T |
| 38124 | * | F | T |
| 38125 | * | F | T |
| 38126 | * | T | T |
| 38127 | * | F | T |
| 38128 | * | F | T |
| 38129 | * | F | T |
| 38130 | * | F | T |
| 38131 | * | T | T |
| 38132 | * | F | T |
| 38133 | * | F | T |
| 38134 | * | F | T |
| 38135 | * | F | T |
| 38136 | * | T | T |
| 38137 | * | F | T |
| 38138 | * | F | T |
| 38139 | * | F | T |
| 38140 | * | F | T |
| 38141 | * | T | T |
| 38142 | * | F | T |
| 38143 | * | F | T |
| 38144 | * | F | T |
| 38145 | * | F | T |
| 38146 | * | T | T |
| 38147 | * | F | T |
| 38148 | * | F | T |
| 38149 | * | F | T |
| 38150 | * | F | T |
| 38151 | * | T | T |
| 38152 | * | F | T |
| 38153 | * | F | T |
| 38154 | * | F | T |
| 38155 | * | F | T |
| 38156 | * | T | T |
| 38157 | * | F | T |
| 38158 | * | F | T |
| 38159 | * | F | T |
| 38160 | * | F | T |
| 38161 | * | T | T |
| 38162 | * | F | T |
| 38163 | * | F | T |
| 38164 | * | F | T |
| 38165 | * | F | T |
| 38166 | * | T | T |
| 38167 | * | F | T |
| 38168 | * | F | T |
| 38169 | * | F | T |
| 38170 | * | F | T |
| 38171 | * | T | T |
| 44265 | * | F | T |
| 44266 | * | F | T |
| 44267 | * | F | T |
| 44268 | * | F | T |
| 44269 | * | T | T |
| 44270 | * | F | T |
| 44271 | * | F | T |
| 44272 | * | F | T |
| 44273 | * | F | T |
| 44274 | * | T | T |
| 44275 | * | F | T |
| 44276 | * | F | T |
| 44277 | * | F | T |
| 44278 | * | F | T |
| 44279 | * | T | T |
| 44280 | * | F | T |
| 44281 | * | F | T |
| 44282 | * | F | T |
| 44283 | * | F | T |
| 44284 | * | T | T |
| 44285 | * | F | T |
| 44286 | * | F | T |
| 44287 | * | F | T |
| 44288 | * | F | T |
| 44289 | * | T | T |
| 44290 | * | F | T |
| 44291 | * | F | T |
| 44292 | * | F | T |
| 44293 | * | F | T |
| 44294 | * | T | T |
| 44295 | * | F | T |
| 44296 | * | F | T |
| 44297 | * | F | T |
| 44298 | * | F | T |
| 44299 | * | T | T |
| 44300 | * | F | T |
| 44301 | * | F | T |
| 44302 | * | F | T |
| 44303 | * | F | T |
| 44304 | * | T | T |
| 44305 | * | F | T |
| 44306 | * | F | T |
| 44307 | * | F | T |
| 44308 | * | F | T |
| 44309 | * | T | T |
| 44310 | * | F | T |
| 44311 | * | F | T |
| 44312 | * | F | T |
| 44313 | * | F | T |
| 44314 | * | T | T |
| 44315 | * | F | T |
| 44316 | * | F | T |
| 44317 | * | F | T |
| 44318 | * | F | T |
| 44319 | * | T | T |
| 44320 | * | F | T |
| 44321 | * | F | T |
| 44322 | * | F | T |
| 44323 | * | F | T |
| 44324 | * | T | T |
| 44325 | * | F | T |
| 44326 | * | F | T |
| 44327 | * | F | T |
| 44328 | * | F | T |
| 44329 | * | T | T |
| 44330 | * | F | T |
| 44331 | * | F | T |
| 44332 | * | F | T |
| 44333 | * | F | T |
| 44334 | * | T | T |
| 44335 | * | F | T |
| 44336 | * | F | T |
| 44337 | * | F | T |
| 44338 | * | F | T |
| 44339 | * | T | T |
| 44340 | * | F | T |
| 44341 | * | F | T |
| 44342 | * | F | T |
| 44343 | * | F | T |
| 44344 | * | T | T |
| 44345 | * | F | T |
| 44346 | * | F | T |
| 44347 | * | F | T |
| 44348 | * | F | T |
| 44349 | * | T | T |
| 44350 | * | F | T |
| 44351 | * | F | T |
| 44352 | * | F | T |
| 44353 | * | F | T |
| 44354 | * | T | T |
| 44355 | * | F | T |
| 44356 | * | F | T |
| 44357 | * | F | T |
| 44358 | * | F | T |
| 44359 | * | T | T |
| 44360 | * | F | T |
| 44361 | * | F | T |
| 44362 | * | F | T |
| 44363 | * | F | T |
| 44364 | * | T | T |
| 44365 | * | F | T |
| 44366 | * | F | T |
| 44367 | * | F | T |
| 44368 | * | F | T |
| 44369 | * | T | T |
| 44370 | * | F | T |
| 44371 | * | F | T |
| 44372 | * | F | T |
| 44373 | * | F | T |
| 44374 | * | T | T |
| 44375 | * | F | T |
| 44376 | * | F | T |
| 44377 | * | F | T |
| 44378 | * | F | T |
| 44379 | * | T | T |
| 44380 | * | F | T |
| 44381 | * | F | T |
| 44382 | * | F | T |
| 44383 | * | F | T |
| 44384 | * | T | T |
| 72297 | F | F | T |
| 72298 | * | F | T |
| 72299 | * | F | T |
| 72300 | * | F | T |
| 72301 | * | F | T |
| 72302 | * | F | T |
| 72303 | * | F | T |
| 72304 | * | F | T |
| 72305 | * | F | T |
| 72306 | * | F | T |
| 72307 | * | F | T |
| 72308 | * | F | T |
| 72309 | * | F | T |
| 72310 | * | F | T |
| 72311 | * | F | T |
| 72312 | * | F | T |
| 72313 | F | T | T |
| 72314 | * | F | T |
| 72315 | * | F | T |
| 72316 | * | F | T |
| 72317 | * | F | T |
| 72318 | * | F | T |
| 72319 | * | F | T |
| 72320 | * | F | T |
| 72321 | * | F | T |
| 72322 | * | F | T |
| 72323 | * | F | T |
| 72324 | * | F | T |
| 72325 | * | F | T |
| 72326 | * | F | T |
| 72327 | * | F | T |
| 72328 | * | F | T |
| 72329 | * | F | T |
| 72330 | F | T | T |
| 72331 | * | F | T |
| 72332 | * | F | T |
| 72333 | * | F | T |
| 72334 | * | F | T |
| 72335 | * | F | T |
| 72336 | * | F | T |
| 72337 | * | F | T |
| 72338 | * | F | T |
| 72339 | * | F | T |
| 72340 | * | F | T |
| 72341 | * | F | T |
| 72342 | * | F | T |
| 72343 | * | F | T |
| 72344 | * | F | T |
| 72345 | * | F | T |
| 72346 | * | F | T |
| 72347 | F | T | T |
| 72348 | * | F | T |
| 72349 | * | F | T |
| 72350 | * | F | T |
| 72351 | * | F | T |
| 72352 | * | F | T |
| 72353 | * | F | T |
| 72354 | * | F | T |
| 72355 | * | F | T |
| 72356 | * | F | T |
| 72357 | * | F | T |
| 72358 | * | F | T |
| 72359 | * | F | T |
| 72360 | * | F | T |
| 72361 | * | F | T |
| 72362 | * | F | T |
| 72363 | * | F | T |
| 72364 | F | T | T |
| 72365 | * | F | T |
| 72366 | * | F | T |
| 72367 | * | F | T |
| 72368 | * | F | T |
| 72369 | * | F | T |
| 72370 | * | F | T |
| 72371 | * | F | T |
| 72372 | * | F | T |
| 72373 | * | F | T |
| 72374 | * | F | T |
| 72375 | * | F | T |
| 72376 | * | F | T |
| 72377 | * | F | T |
| 72378 | * | F | T |
| 72379 | * | F | T |
| 72380 | * | F | T |
| 72381 | F | T | T |
| 72382 | * | F | T |
| 72383 | * | F | T |
| 72384 | * | F | T |
| 72385 | * | F | T |
| 72386 | * | F | T |
| 72387 | * | F | T |
| 72388 | * | F | T |
| 72389 | * | F | T |
| 72390 | * | F | T |
| 72391 | * | F | T |
| 72392 | * | F | T |
| 72393 | * | F | T |
| 72394 | * | F | T |
| 72395 | * | F | T |
| 72396 | * | F | T |
| 72397 | * | F | T |
| 72398 | F | T | T |
| 72399 | * | F | T |
| 72400 | * | F | T |
| 72401 | * | F | T |
| 72402 | * | F | T |
| 72403 | * | F | T |
| 72404 | * | F | T |
| 72405 | * | F | T |
| 72406 | * | F | T |
| 72407 | * | F | T |
| 72408 | * | F | T |
| 72409 | * | F | T |
| 72410 | * | F | T |
| 72411 | * | F | T |
| 72412 | * | F | T |
| 72413 | * | F | T |
| 72414 | * | F | T |
| 72415 | F | T | T |
| 72416 | * | F | T |
| 72417 | * | F | T |
| 72418 | * | F | T |
| 72419 | * | F | T |
| 72420 | * | F | T |
| 72421 | * | F | T |
| 72422 | * | F | T |
| 72423 | * | F | T |
| 72424 | * | F | T |
| 72425 | * | F | T |
| 72426 | * | F | T |
| 72427 | * | F | T |
| 72428 | * | F | T |
| 72429 | * | F | T |
| 72430 | * | F | T |
| 72431 | * | F | T |
| 72432 | F | T | T |
| 72433 | * | F | T |
| 72434 | * | F | T |
| 72435 | * | F | T |
| 72436 | * | F | T |
| 72437 | * | F | T |
| 72438 | * | F | T |
| 72439 | * | F | T |
| 72440 | * | F | T |
| 72441 | * | F | T |
| 72442 | * | F | T |
| 72443 | * | F | T |
| 72444 | * | F | T |
| 72445 | * | F | T |
| 72446 | * | F | T |
| 72447 | * | F | T |
| 72448 | * | F | T |
| 72449 | F | T | T |
| 72450 | * | F | T |
| 72451 | * | F | T |
| 72452 | * | F | T |
| 72453 | * | F | T |
| 72454 | * | F | T |
| 72455 | * | F | T |
| 72456 | * | F | T |
| 72457 | * | F | T |
| 72458 | * | F | T |
| 72459 | * | F | T |
| 72460 | * | F | T |
| 72461 | * | F | T |
| 72462 | * | F | T |
| 72463 | * | F | T |
| 72464 | * | F | T |
| 72465 | * | F | T |
| 72466 | F | T | T |
| 72467 | * | F | T |
| 72468 | * | F | T |
| 72469 | * | F | T |
| 72470 | * | F | T |
| 72471 | * | F | T |
| 72472 | * | F | T |
| 72473 | * | F | T |
| 72474 | * | F | T |
| 72475 | * | F | T |
| 72476 | * | F | T |
| 72477 | * | F | T |
| 72478 | * | F | T |
| 72479 | * | F | T |
| 72480 | * | F | T |
| 72481 | * | F | T |
| 72482 | * | F | T |
| 72483 | F | T | T |
| 72484 | * | F | T |
| 72485 | * | F | T |
| 72486 | * | F | T |
| 72487 | * | F | T |
| 72488 | * | F | T |
| 72489 | * | F | T |
| 72490 | * | F | T |
| 72491 | * | F | T |
| 72492 | * | F | T |
| 72493 | * | F | T |
| 72494 | * | F | T |
| 72495 | * | F | T |
| 72496 | * | F | T |
| 72497 | * | F | T |
| 72498 | * | F | T |
| 72499 | * | F | T |
| 72500 | * | T | T |
| 83810 | F | F | T |
| 83811 | * | F | T |
| 83812 | * | F | T |
| 83813 | * | F | T |
| 83814 | * | F | T |
| 83815 | * | F | T |
| 83816 | * | F | T |
| 83817 | * | F | T |
| 83818 | * | F | T |
| 83819 | * | F | T |
| 83820 | * | F | T |
| 83821 | * | F | T |
| 83822 | * | F | T |
| 83823 | * | F | T |
| 83824 | * | F | T |
| 83825 | * | F | T |
| 83826 | F | T | T |
| 83827 | * | F | T |
| 83828 | * | F | T |
| 83829 | * | F | T |
| 83830 | * | F | T |
| 83831 | * | F | T |
| 83832 | * | F | T |
| 83833 | * | F | T |
| 83834 | * | F | T |
| 83835 | * | F | T |
| 83836 | * | F | T |
| 83837 | * | F | T |
| 83838 | * | F | T |
| 83839 | * | F | T |
| 83840 | * | F | T |
| 83841 | * | F | T |
| 83842 | * | F | T |
| 83843 | F | T | T |
| 83844 | * | F | T |
| 83845 | * | F | T |
| 83846 | * | F | T |
| 83847 | * | F | T |
| 83848 | * | F | T |
| 83849 | * | F | T |
| 83850 | * | F | T |
| 83851 | * | F | T |
| 83852 | * | F | T |
| 83853 | * | F | T |
| 83854 | * | F | T |
| 83855 | * | F | T |
| 83856 | * | F | T |
| 83857 | * | F | T |
| 83858 | * | F | T |
| 83859 | * | F | T |
| 83860 | F | T | T |
| 83861 | * | F | T |
| 83862 | * | F | T |
| 83863 | * | F | T |
| 83864 | * | F | T |
| 83865 | * | F | T |
| 83866 | * | F | T |
| 83867 | * | F | T |
| 83868 | * | F | T |
| 83869 | * | F | T |
| 83870 | * | F | T |
| 83871 | * | F | T |
| 83872 | * | F | T |
| 83873 | * | F | T |
| 83874 | * | F | T |
| 83875 | * | F | T |
| 83876 | * | F | T |
| 83877 | F | T | T |
| 83878 | * | F | T |
| 83879 | * | F | T |
| 83880 | * | F | T |
| 83881 | * | F | T |
| 83882 | * | F | T |
| 83883 | * | F | T |
| 83884 | * | F | T |
| 83885 | * | F | T |
| 83886 | * | F | T |
| 83887 | * | F | T |
| 83888 | * | F | T |
| 83889 | * | F | T |
| 83890 | * | F | T |
| 83891 | * | F | T |
| 83892 | * | F | T |
| 83893 | * | F | T |
| 83894 | F | T | T |
| 83895 | * | F | T |
| 83896 | * | F | T |
| 83897 | * | F | T |
| 83898 | * | F | T |
| 83899 | * | F | T |
| 83900 | * | F | T |
| 83901 | * | F | T |
| 83902 | * | F | T |
| 83903 | * | F | T |
| 83904 | * | F | T |
| 83905 | * | F | T |
| 83906 | * | F | T |
| 83907 | * | F | T |
| 83908 | * | F | T |
| 83909 | * | F | T |
| 83910 | * | F | T |
| 83911 | F | T | T |
| 83912 | * | F | T |
| 83913 | * | F | T |
| 83914 | * | F | T |
| 83915 | * | F | T |
| 83916 | * | F | T |
| 83917 | * | F | T |
| 83918 | * | F | T |
| 83919 | * | F | T |
| 83920 | * | F | T |
| 83921 | * | F | T |
| 83922 | * | F | T |
| 83923 | * | F | T |
| 83924 | * | F | T |
| 83925 | * | F | T |
| 83926 | * | F | T |
| 83927 | * | F | T |
| 83928 | F | T | T |
| 83929 | * | F | T |
| 83930 | * | F | T |
| 83931 | * | F | T |
| 83932 | * | F | T |
| 83933 | * | F | T |
| 83934 | * | F | T |
| 83935 | * | F | T |
| 83936 | * | F | T |
| 83937 | * | F | T |
| 83938 | * | F | T |
| 83939 | * | F | T |
| 83940 | * | F | T |
| 83941 | * | F | T |
| 83942 | * | F | T |
| 83943 | * | F | T |
| 83944 | * | F | T |
| 83945 | F | T | T |
| 83946 | * | F | T |
| 83947 | * | F | T |
| 83948 | * | F | T |
| 83949 | * | F | T |
| 83950 | * | F | T |
| 83951 | * | F | T |
| 83952 | * | F | T |
| 83953 | * | F | T |
| 83954 | * | F | T |
| 83955 | * | F | T |
| 83956 | * | F | T |
| 83957 | * | F | T |
| 83958 | * | F | T |
| 83959 | * | F | T |
| 83960 | * | F | T |
| 83961 | * | F | T |
| 83962 | F | T | T |
| 83963 | * | F | T |
| 83964 | * | F | T |
| 83965 | * | F | T |
| 83966 | * | F | T |
| 83967 | * | F | T |
| 83968 | * | F | T |
| 83969 | * | F | T |
| 83970 | * | F | T |
| 83971 | * | F | T |
| 83972 | * | F | T |
| 83973 | * | F | T |
| 83974 | * | F | T |
| 83975 | * | F | T |
| 83976 | * | F | T |
| 83977 | * | F | T |
| 83978 | * | F | T |
| 83979 | F | T | T |
| 83980 | * | F | T |
| 83981 | * | F | T |
| 83982 | * | F | T |
| 83983 | * | F | T |
| 83984 | * | F | T |
| 83985 | * | F | T |
| 83986 | * | F | T |
| 83987 | * | F | T |
| 83988 | * | F | T |
| 83989 | * | F | T |
| 83990 | * | F | T |
| 83991 | * | F | T |
| 83992 | * | F | T |
| 83993 | * | F | T |
| 83994 | * | F | T |
| 83995 | * | F | T |
| 83996 | F | T | T |
| 83997 | * | F | T |
| 83998 | * | F | T |
| 83999 | * | F | T |
| 84000 | * | F | T |
| 84001 | * | F | T |
| 84002 | * | F | T |
| 84003 | * | F | T |
| 84004 | * | F | T |
| 84005 | * | F | T |
| 84006 | * | F | T |
| 84007 | * | F | T |
| 84008 | * | F | T |
| 84009 | * | F | T |
| 84010 | * | F | T |
| 84011 | * | F | T |
| 84012 | * | F | T |
| 84013 | * | T | T |
| 115362 | * | F | T |
| 115363 | * | F | T |
| 115364 | * | F | T |
| 115365 | * | F | T |
| 115366 | * | T | T |
| 115367 | * | F | T |
| 115368 | * | F | T |
| 115369 | * | F | T |
| 115370 | * | F | T |
| 115371 | * | T | T |
| 134645 | F | F | T |
| 134646 | * | F | T |
| 134647 | * | F | T |
| 134648 | * | F | T |
| 134649 | * | F | T |
| 134650 | * | F | T |
| 134651 | * | F | T |
| 134652 | * | F | T |
| 134653 | * | F | T |
| 134654 | * | F | T |
| 134655 | * | F | T |
| 134656 | * | F | T |
| 134657 | * | F | T |
| 134658 | * | F | T |
| 134659 | * | F | T |
| 134660 | * | F | T |
| 134661 | F | T | T |
| 134662 | * | F | T |
| 134663 | * | F | T |
| 134664 | * | F | T |
| 134665 | * | F | T |
| 134666 | * | F | T |
| 134667 | * | F | T |
| 134668 | * | F | T |
| 134669 | * | F | T |
| 134670 | * | F | T |
| 134671 | * | F | T |
| 134672 | * | F | T |
| 134673 | * | F | T |
| 134674 | * | F | T |
| 134675 | * | F | T |
| 134676 | * | F | T |
| 134677 | * | F | T |
| 134678 | F | T | T |
| 134679 | * | F | T |
| 134680 | * | F | T |
| 134681 | * | F | T |
| 134682 | * | F | T |
| 134683 | * | F | T |
| 134684 | * | F | T |
| 134685 | * | F | T |
| 134686 | * | F | T |
| 134687 | * | F | T |
| 134688 | * | F | T |
| 134689 | * | F | T |
| 134690 | * | F | T |
| 134691 | * | F | T |
| 134692 | * | F | T |
| 134693 | * | F | T |
| 134694 | * | F | T |
| 134695 | F | T | T |
| 134696 | * | F | T |
| 134697 | * | F | T |
| 134698 | * | F | T |
| 134699 | * | F | T |
| 134700 | * | F | T |
| 134701 | * | F | T |
| 134702 | * | F | T |
| 134703 | * | F | T |
| 134704 | * | F | T |
| 134705 | * | F | T |
| 134706 | * | F | T |
| 134707 | * | F | T |
| 134708 | * | F | T |
| 134709 | * | F | T |
| 134710 | * | F | T |
| 134711 | * | F | T |
| 134712 | F | T | T |
| 134713 | * | F | T |
| 134714 | * | F | T |
| 134715 | * | F | T |
| 134716 | * | F | T |
| 134717 | * | F | T |
| 134718 | * | F | T |
| 134719 | * | F | T |
| 134720 | * | F | T |
| 134721 | * | F | T |
| 134722 | * | F | T |
| 134723 | * | F | T |
| 134724 | * | F | T |
| 134725 | * | F | T |
| 134726 | * | F | T |
| 134727 | * | F | T |
| 134728 | * | F | T |
| 134729 | F | T | T |
| 134730 | * | F | T |
| 134731 | * | F | T |
| 134732 | * | F | T |
| 134733 | * | F | T |
| 134734 | * | F | T |
| 134735 | * | F | T |
| 134736 | * | F | T |
| 134737 | * | F | T |
| 134738 | * | F | T |
| 134739 | * | F | T |
| 134740 | * | F | T |
| 134741 | * | F | T |
| 134742 | * | F | T |
| 134743 | * | F | T |
| 134744 | * | F | T |
| 134745 | * | F | T |
| 134746 | F | T | T |
| 134747 | * | F | T |
| 134748 | * | F | T |
| 134749 | * | F | T |
| 134750 | * | F | T |
| 134751 | * | F | T |
| 134752 | * | F | T |
| 134753 | * | F | T |
| 134754 | * | F | T |
| 134755 | * | F | T |
| 134756 | * | F | T |
| 134757 | * | F | T |
| 134758 | * | F | T |
| 134759 | * | F | T |
| 134760 | * | F | T |
| 134761 | * | F | T |
| 134762 | * | F | T |
| 134763 | F | T | T |
| 134764 | * | F | T |
| 134765 | * | F | T |
| 134766 | * | F | T |
| 134767 | * | F | T |
| 134768 | * | F | T |
| 134769 | * | F | T |
| 134770 | * | F | T |
| 134771 | * | F | T |
| 134772 | * | F | T |
| 134773 | * | F | T |
| 134774 | * | F | T |
| 134775 | * | F | T |
| 134776 | * | F | T |
| 134777 | * | F | T |
| 134778 | * | F | T |
| 134779 | * | F | T |
| 134780 | F | T | T |
| 134781 | * | F | T |
| 134782 | * | F | T |
| 134783 | * | F | T |
| 134784 | * | F | T |
| 134785 | * | F | T |
| 134786 | * | F | T |
| 134787 | * | F | T |
| 134788 | * | F | T |
| 134789 | * | F | T |
| 134790 | * | F | T |
| 134791 | * | F | T |
| 134792 | * | F | T |
| 134793 | * | F | T |
| 134794 | * | F | T |
| 134795 | * | F | T |
| 134796 | * | F | T |
| 134797 | F | T | T |
| 134798 | * | F | T |
| 134799 | * | F | T |
| 134800 | * | F | T |
| 134801 | * | F | T |
| 134802 | * | F | T |
| 134803 | * | F | T |
| 134804 | * | F | T |
| 134805 | * | F | T |
| 134806 | * | F | T |
| 134807 | * | F | T |
| 134808 | * | F | T |
| 134809 | * | F | T |
| 134810 | * | F | T |
| 134811 | * | F | T |
| 134812 | * | F | T |
| 134813 | * | F | T |
| 134814 | F | T | T |
| 134815 | * | F | T |
| 134816 | * | F | T |
| 134817 | * | F | T |
| 134818 | * | F | T |
| 134819 | * | F | T |
| 134820 | * | F | T |
| 134821 | * | F | T |
| 134822 | * | F | T |
| 134823 | * | F | T |
| 134824 | * | F | T |
| 134825 | * | F | T |
| 134826 | * | F | T |
| 134827 | * | F | T |
| 134828 | * | F | T |
| 134829 | * | F | T |
| 134830 | * | F | T |
| 134831 | F | T | T |
| 134832 | * | F | T |
| 134833 | * | F | T |
| 134834 | * | F | T |
| 134835 | * | F | T |
| 134836 | * | F | T |
| 134837 | * | F | T |
| 134838 | * | F | T |
| 134839 | * | F | T |
| 134840 | * | F | T |
| 134841 | * | F | T |
| 134842 | * | F | T |
| 134843 | * | F | T |
| 134844 | * | F | T |
| 134845 | * | F | T |
| 134846 | * | F | T |
| 134847 | * | F | T |
| 134848 | F | T | T |
| 134849 | * | F | T |
| 134850 | * | F | T |
| 134851 | * | F | T |
| 134852 | * | F | T |
| 134853 | * | F | T |
| 134854 | * | F | T |
| 134855 | * | F | T |
| 134856 | * | F | T |
| 134857 | * | F | T |
| 134858 | * | F | T |
| 134859 | * | F | T |
| 134860 | * | F | T |
| 134861 | * | F | T |
| 134862 | * | F | T |
| 134863 | * | F | T |
| 134864 | * | F | T |
| 134865 | F | T | T |
| 134866 | * | F | T |
| 134867 | * | F | T |
| 134868 | * | F | T |
| 134869 | * | F | T |
| 134870 | * | F | T |
| 134871 | * | F | T |
| 134872 | * | F | T |
| 134873 | * | F | T |
| 134874 | * | F | T |
| 134875 | * | F | T |
| 134876 | * | F | T |
| 134877 | * | F | T |
| 134878 | * | F | T |
| 134879 | * | F | T |
| 134880 | * | F | T |
| 134881 | * | F | T |
| 134882 | F | T | T |
| 134883 | * | F | T |
| 134884 | * | F | T |
| 134885 | * | F | T |
| 134886 | * | F | T |
| 134887 | * | F | T |
| 134888 | * | F | T |
| 134889 | * | F | T |
| 134890 | * | F | T |
| 134891 | * | F | T |
| 134892 | * | F | T |
| 134893 | * | F | T |
| 134894 | * | F | T |
| 134895 | * | F | T |
| 134896 | * | F | T |
| 134897 | * | F | T |
| 134898 | * | F | T |
| 134899 | F | T | T |
| 134900 | * | F | T |
| 134901 | * | F | T |
| 134902 | * | F | T |
| 134903 | * | F | T |
| 134904 | * | F | T |
| 134905 | * | F | T |
| 134906 | * | F | T |
| 134907 | * | F | T |
| 134908 | * | F | T |
| 134909 | * | F | T |
| 134910 | * | F | T |
| 134911 | * | F | T |
| 134912 | * | F | T |
| 134913 | * | F | T |
| 134914 | * | F | T |
| 134915 | * | F | T |
| 134916 | F | T | T |
| 134917 | * | F | T |
| 134918 | * | F | T |
| 134919 | * | F | T |
| 134920 | * | F | T |
| 134921 | * | F | T |
| 134922 | * | F | T |
| 134923 | * | F | T |
| 134924 | * | F | T |
| 134925 | * | F | T |
| 134926 | * | F | T |
| 134927 | * | F | T |
| 134928 | * | F | T |
| 134929 | * | F | T |
| 134930 | * | F | T |
| 134931 | * | F | T |
| 134932 | * | F | T |
| 134933 | F | T | T |
| 134934 | * | F | T |
| 134935 | * | F | T |
| 134936 | * | F | T |
| 134937 | * | F | T |
| 134938 | * | F | T |
| 134939 | * | F | T |
| 134940 | * | F | T |
| 134941 | * | F | T |
| 134942 | * | F | T |
| 134943 | * | F | T |
| 134944 | * | F | T |
| 134945 | * | F | T |
| 134946 | * | F | T |
| 134947 | * | F | T |
| 134948 | * | F | T |
| 134949 | * | F | T |
| 134950 | F | T | T |
| 134951 | * | F | T |
| 134952 | * | F | T |
| 134953 | * | F | T |
| 134954 | * | F | T |
| 134955 | * | F | T |
| 134956 | * | F | T |
| 134957 | * | F | T |
| 134958 | * | F | T |
| 134959 | * | F | T |
| 134960 | * | F | T |
| 134961 | * | F | T |
| 134962 | * | F | T |
| 134963 | * | F | T |
| 134964 | * | F | T |
| 134965 | * | F | T |
| 134966 | * | F | T |
| 134967 | F | T | T |
| 134968 | * | F | T |
| 134969 | * | F | T |
| 134970 | * | F | T |
| 134971 | * | F | T |
| 134972 | * | F | T |
| 134973 | * | F | T |
| 134974 | * | F | T |
| 134975 | * | F | T |
| 134976 | * | F | T |
| 134977 | * | F | T |
| 134978 | * | F | T |
| 134979 | * | F | T |
| 134980 | * | F | T |
| 134981 | * | F | T |
| 134982 | * | F | T |
| 134983 | * | F | T |
| 134984 | F | T | T |
| 134985 | * | F | T |
| 134986 | * | F | T |
| 134987 | * | F | T |
| 134988 | * | F | T |
| 134989 | * | F | T |
| 134990 | * | F | T |
| 134991 | * | F | T |
| 134992 | * | F | T |
| 134993 | * | F | T |
| 134994 | * | F | T |
| 134995 | * | F | T |
| 134996 | * | F | T |
| 134997 | * | F | T |
| 134998 | * | F | T |
| 134999 | * | F | T |
| 135000 | * | F | T |
| 135001 | F | T | T |
| 135002 | * | F | T |
| 135003 | * | F | T |
| 135004 | * | F | T |
| 135005 | * | F | T |
| 135006 | * | F | T |
| 135007 | * | F | T |
| 135008 | * | F | T |
| 135009 | * | F | T |
| 135010 | * | F | T |
| 135011 | * | F | T |
| 135012 | * | F | T |
| 135013 | * | F | T |
| 135014 | * | F | T |
| 135015 | * | F | T |
| 135016 | * | F | T |
| 135017 | * | F | T |
| 135018 | F | T | T |
| 135019 | * | F | T |
| 135020 | * | F | T |
| 135021 | * | F | T |
| 135022 | * | F | T |
| 135023 | * | F | T |
| 135024 | * | F | T |
| 135025 | * | F | T |
| 135026 | * | F | T |
| 135027 | * | F | T |
| 135028 | * | F | T |
| 135029 | * | F | T |
| 135030 | * | F | T |
| 135031 | * | F | T |
| 135032 | * | F | T |
| 135033 | * | F | T |
| 135034 | * | F | T |
| 135035 | F | T | T |
| 135036 | * | F | T |
| 135037 | * | F | T |
| 135038 | * | F | T |
| 135039 | * | F | T |
| 135040 | * | F | T |
| 135041 | * | F | T |
| 135042 | * | F | T |
| 135043 | * | F | T |
| 135044 | * | F | T |
| 135045 | * | F | T |
| 135046 | * | F | T |
| 135047 | * | F | T |
| 135048 | * | F | T |
| 135049 | * | F | T |
| 135050 | * | F | T |
| 135051 | * | F | T |
| 135052 | F | T | T |
| 135053 | * | F | T |
| 135054 | * | F | T |
| 135055 | * | F | T |
| 135056 | * | F | T |
| 135057 | * | F | T |
| 135058 | * | F | T |
| 135059 | * | F | T |
| 135060 | * | F | T |
| 135061 | * | F | T |
| 135062 | * | F | T |
| 135063 | * | F | T |
| 135064 | * | F | T |
| 135065 | * | F | T |
| 135066 | * | F | T |
| 135067 | * | F | T |
| 135068 | * | F | T |
| 135069 | F | T | T |
| 135070 | * | F | T |
| 135071 | * | F | T |
| 135072 | * | F | T |
| 135073 | * | F | T |
| 135074 | * | F | T |
| 135075 | * | F | T |
| 135076 | * | F | T |
| 135077 | * | F | T |
| 135078 | * | F | T |
| 135079 | * | F | T |
| 135080 | * | F | T |
| 135081 | * | F | T |
| 135082 | * | F | T |
| 135083 | * | F | T |
| 135084 | * | F | T |
| 135085 | * | F | T |
| 135086 | F | T | T |
| 135087 | * | F | T |
| 135088 | * | F | T |
| 135089 | * | F | T |
| 135090 | * | F | T |
| 135091 | * | F | T |
| 135092 | * | F | T |
| 135093 | * | F | T |
| 135094 | * | F | T |
| 135095 | * | F | T |
| 135096 | * | F | T |
| 135097 | * | F | T |
| 135098 | * | F | T |
| 135099 | * | F | T |
| 135100 | * | F | T |
| 135101 | * | F | T |
| 135102 | * | F | T |
| 135103 | F | T | T |
| 135104 | * | F | T |
| 135105 | * | F | T |
| 135106 | * | F | T |
| 135107 | * | F | T |
| 135108 | * | F | T |
| 135109 | * | F | T |
| 135110 | * | F | T |
| 135111 | * | F | T |
| 135112 | * | F | T |
| 135113 | * | F | T |
| 135114 | * | F | T |
| 135115 | * | F | T |
| 135116 | * | F | T |
| 135117 | * | F | T |
| 135118 | * | F | T |
| 135119 | * | F | T |
| 135120 | * | T | T |
| 157581 | F | F | T |
| 157582 | * | F | T |
| 157583 | * | F | T |
| 157584 | * | F | T |
| 157585 | * | F | T |
| 157586 | * | F | T |
| 157587 | * | F | T |
| 157588 | * | F | T |
| 157589 | * | F | T |
| 157590 | * | F | T |
| 157591 | * | F | T |
| 157592 | * | F | T |
| 157593 | * | F | T |
| 157594 | * | F | T |
| 157595 | * | F | T |
| 157596 | * | F | T |
| 157597 | F | T | T |
| 157598 | * | F | T |
| 157599 | * | F | T |
| 157600 | * | F | T |
| 157601 | * | F | T |
| 157602 | * | F | T |
| 157603 | * | F | T |
| 157604 | * | F | T |
| 157605 | * | F | T |
| 157606 | * | F | T |
| 157607 | * | F | T |
| 157608 | * | F | T |
| 157609 | * | F | T |
| 157610 | * | F | T |
| 157611 | * | F | T |
| 157612 | * | F | T |
| 157613 | * | F | T |
| 157614 | F | T | T |
| 157615 | * | F | T |
| 157616 | * | F | T |
| 157617 | * | F | T |
| 157618 | * | F | T |
| 157619 | * | F | T |
| 157620 | * | F | T |
| 157621 | * | F | T |
| 157622 | * | F | T |
| 157623 | * | F | T |
| 157624 | * | F | T |
| 157625 | * | F | T |
| 157626 | * | F | T |
| 157627 | * | F | T |
| 157628 | * | F | T |
| 157629 | * | F | T |
| 157630 | * | F | T |
| 157631 | F | T | T |
| 157632 | * | F | T |
| 157633 | * | F | T |
| 157634 | * | F | T |
| 157635 | * | F | T |
| 157636 | * | F | T |
| 157637 | * | F | T |
| 157638 | * | F | T |
| 157639 | * | F | T |
| 157640 | * | F | T |
| 157641 | * | F | T |
| 157642 | * | F | T |
| 157643 | * | F | T |
| 157644 | * | F | T |
| 157645 | * | F | T |
| 157646 | * | F | T |
| 157647 | * | F | T |
| 157648 | F | T | T |
| 157649 | * | F | T |
| 157650 | * | F | T |
| 157651 | * | F | T |
| 157652 | * | F | T |
| 157653 | * | F | T |
| 157654 | * | F | T |
| 157655 | * | F | T |
| 157656 | * | F | T |
| 157657 | * | F | T |
| 157658 | * | F | T |
| 157659 | * | F | T |
| 157660 | * | F | T |
| 157661 | * | F | T |
| 157662 | * | F | T |
| 157663 | * | F | T |
| 157664 | * | F | T |
| 157665 | F | T | T |
| 157666 | * | F | T |
| 157667 | * | F | T |
| 157668 | * | F | T |
| 157669 | * | F | T |
| 157670 | * | F | T |
| 157671 | * | F | T |
| 157672 | * | F | T |
| 157673 | * | F | T |
| 157674 | * | F | T |
| 157675 | * | F | T |
| 157676 | * | F | T |
| 157677 | * | F | T |
| 157678 | * | F | T |
| 157679 | * | F | T |
| 157680 | * | F | T |
| 157681 | * | F | T |
| 157682 | F | T | T |
| 157683 | * | F | T |
| 157684 | * | F | T |
| 157685 | * | F | T |
| 157686 | * | F | T |
| 157687 | * | F | T |
| 157688 | * | F | T |
| 157689 | * | F | T |
| 157690 | * | F | T |
| 157691 | * | F | T |
| 157692 | * | F | T |
| 157693 | * | F | T |
| 157694 | * | F | T |
| 157695 | * | F | T |
| 157696 | * | F | T |
| 157697 | * | F | T |
| 157698 | * | F | T |
| 157699 | F | T | T |
| 157700 | * | F | T |
| 157701 | * | F | T |
| 157702 | * | F | T |
| 157703 | * | F | T |
| 157704 | * | F | T |
| 157705 | * | F | T |
| 157706 | * | F | T |
| 157707 | * | F | T |
| 157708 | * | F | T |
| 157709 | * | F | T |
| 157710 | * | F | T |
| 157711 | * | F | T |
| 157712 | * | F | T |
| 157713 | * | F | T |
| 157714 | * | F | T |
| 157715 | * | F | T |
| 157716 | F | T | T |
| 157717 | * | F | T |
| 157718 | * | F | T |
| 157719 | * | F | T |
| 157720 | * | F | T |
| 157721 | * | F | T |
| 157722 | * | F | T |
| 157723 | * | F | T |
| 157724 | * | F | T |
| 157725 | * | F | T |
| 157726 | * | F | T |
| 157727 | * | F | T |
| 157728 | * | F | T |
| 157729 | * | F | T |
| 157730 | * | F | T |
| 157731 | * | F | T |
| 157732 | * | F | T |
| 157733 | F | T | T |
| 157734 | * | F | T |
| 157735 | * | F | T |
| 157736 | * | F | T |
| 157737 | * | F | T |
| 157738 | * | F | T |
| 157739 | * | F | T |
| 157740 | * | F | T |
| 157741 | * | F | T |
| 157742 | * | F | T |
| 157743 | * | F | T |
| 157744 | * | F | T |
| 157745 | * | F | T |
| 157746 | * | F | T |
| 157747 | * | F | T |
| 157748 | * | F | T |
| 157749 | * | F | T |
| 157750 | F | T | T |
| 157751 | * | F | T |
| 157752 | * | F | T |
| 157753 | * | F | T |
| 157754 | * | F | T |
| 157755 | * | F | T |
| 157756 | * | F | T |
| 157757 | * | F | T |
| 157758 | * | F | T |
| 157759 | * | F | T |
| 157760 | * | F | T |
| 157761 | * | F | T |
| 157762 | * | F | T |
| 157763 | * | F | T |
| 157764 | * | F | T |
| 157765 | * | F | T |
| 157766 | * | F | T |
| 157767 | F | T | T |
| 157768 | * | F | T |
| 157769 | * | F | T |
| 157770 | * | F | T |
| 157771 | * | F | T |
| 157772 | * | F | T |
| 157773 | * | F | T |
| 157774 | * | F | T |
| 157775 | * | F | T |
| 157776 | * | F | T |
| 157777 | * | F | T |
| 157778 | * | F | T |
| 157779 | * | F | T |
| 157780 | * | F | T |
| 157781 | * | F | T |
| 157782 | * | F | T |
| 157783 | * | F | T |
| 157784 | F | T | T |
| 157785 | * | F | T |
| 157786 | * | F | T |
| 157787 | * | F | T |
| 157788 | * | F | T |
| 157789 | * | F | T |
| 157790 | * | F | T |
| 157791 | * | F | T |
| 157792 | * | F | T |
| 157793 | * | F | T |
| 157794 | * | F | T |
| 157795 | * | F | T |
| 157796 | * | F | T |
| 157797 | * | F | T |
| 157798 | * | F | T |
| 157799 | * | F | T |
| 157800 | * | F | T |
| 157801 | F | T | T |
| 157802 | * | F | T |
| 157803 | * | F | T |
| 157804 | * | F | T |
| 157805 | * | F | T |
| 157806 | * | F | T |
| 157807 | * | F | T |
| 157808 | * | F | T |
| 157809 | * | F | T |
| 157810 | * | F | T |
| 157811 | * | F | T |
| 157812 | * | F | T |
| 157813 | * | F | T |
| 157814 | * | F | T |
| 157815 | * | F | T |
| 157816 | * | F | T |
| 157817 | * | F | T |
| 157818 | F | T | T |
| 157819 | * | F | T |
| 157820 | * | F | T |
| 157821 | * | F | T |
| 157822 | * | F | T |
| 157823 | * | F | T |
| 157824 | * | F | T |
| 157825 | * | F | T |
| 157826 | * | F | T |
| 157827 | * | F | T |
| 157828 | * | F | T |
| 157829 | * | F | T |
| 157830 | * | F | T |
| 157831 | * | F | T |
| 157832 | * | F | T |
| 157833 | * | F | T |
| 157834 | * | F | T |
| 157835 | F | T | T |
| 157836 | * | F | T |
| 157837 | * | F | T |
| 157838 | * | F | T |
| 157839 | * | F | T |
| 157840 | * | F | T |
| 157841 | * | F | T |
| 157842 | * | F | T |
| 157843 | * | F | T |
| 157844 | * | F | T |
| 157845 | * | F | T |
| 157846 | * | F | T |
| 157847 | * | F | T |
| 157848 | * | F | T |
| 157849 | * | F | T |
| 157850 | * | F | T |
| 157851 | * | F | T |
| 157852 | F | T | T |
| 157853 | * | F | T |
| 157854 | * | F | T |
| 157855 | * | F | T |
| 157856 | * | F | T |
| 157857 | * | F | T |
| 157858 | * | F | T |
| 157859 | * | F | T |
| 157860 | * | F | T |
| 157861 | * | F | T |
| 157862 | * | F | T |
| 157863 | * | F | T |
| 157864 | * | F | T |
| 157865 | * | F | T |
| 157866 | * | F | T |
| 157867 | * | F | T |
| 157868 | * | F | T |
| 157869 | F | T | T |
| 157870 | * | F | T |
| 157871 | * | F | T |
| 157872 | * | F | T |
| 157873 | * | F | T |
| 157874 | * | F | T |
| 157875 | * | F | T |
| 157876 | * | F | T |
| 157877 | * | F | T |
| 157878 | * | F | T |
| 157879 | * | F | T |
| 157880 | * | F | T |
| 157881 | * | F | T |
| 157882 | * | F | T |
| 157883 | * | F | T |
| 157884 | * | F | T |
| 157885 | * | F | T |
| 157886 | F | T | T |
| 157887 | * | F | T |
| 157888 | * | F | T |
| 157889 | * | F | T |
| 157890 | * | F | T |
| 157891 | * | F | T |
| 157892 | * | F | T |
| 157893 | * | F | T |
| 157894 | * | F | T |
| 157895 | * | F | T |
| 157896 | * | F | T |
| 157897 | * | F | T |
| 157898 | * | F | T |
| 157899 | * | F | T |
| 157900 | * | F | T |
| 157901 | * | F | T |
| 157902 | * | F | T |
| 157903 | F | T | T |
| 157904 | * | F | T |
| 157905 | * | F | T |
| 157906 | * | F | T |
| 157907 | * | F | T |
| 157908 | * | F | T |
| 157909 | * | F | T |
| 157910 | * | F | T |
| 157911 | * | F | T |
| 157912 | * | F | T |
| 157913 | * | F | T |
| 157914 | * | F | T |
| 157915 | * | F | T |
| 157916 | * | F | T |
| 157917 | * | F | T |
| 157918 | * | F | T |
| 157919 | * | F | T |
| 157920 | F | T | T |
| 157921 | * | F | T |
| 157922 | * | F | T |
| 157923 | * | F | T |
| 157924 | * | F | T |
| 157925 | * | F | T |
| 157926 | * | F | T |
| 157927 | * | F | T |
| 157928 | * | F | T |
| 157929 | * | F | T |
| 157930 | * | F | T |
| 157931 | * | F | T |
| 157932 | * | F | T |
| 157933 | * | F | T |
| 157934 | * | F | T |
| 157935 | * | F | T |
| 157936 | * | F | T |
| 157937 | F | T | T |
| 157938 | * | F | T |
| 157939 | * | F | T |
| 157940 | * | F | T |
| 157941 | * | F | T |
| 157942 | * | F | T |
| 157943 | * | F | T |
| 157944 | * | F | T |
| 157945 | * | F | T |
| 157946 | * | F | T |
| 157947 | * | F | T |
| 157948 | * | F | T |
| 157949 | * | F | T |
| 157950 | * | F | T |
| 157951 | * | F | T |
| 157952 | * | F | T |
| 157953 | * | F | T |
| 157954 | F | T | T |
| 157955 | * | F | T |
| 157956 | * | F | T |
| 157957 | * | F | T |
| 157958 | * | F | T |
| 157959 | * | F | T |
| 157960 | * | F | T |
| 157961 | * | F | T |
| 157962 | * | F | T |
| 157963 | * | F | T |
| 157964 | * | F | T |
| 157965 | * | F | T |
| 157966 | * | F | T |
| 157967 | * | F | T |
| 157968 | * | F | T |
| 157969 | * | F | T |
| 157970 | * | F | T |
| 157971 | F | T | T |
| 157972 | * | F | T |
| 157973 | * | F | T |
| 157974 | * | F | T |
| 157975 | * | F | T |
| 157976 | * | F | T |
| 157977 | * | F | T |
| 157978 | * | F | T |
| 157979 | * | F | T |
| 157980 | * | F | T |
| 157981 | * | F | T |
| 157982 | * | F | T |
| 157983 | * | F | T |
| 157984 | * | F | T |
| 157985 | * | F | T |
| 157986 | * | F | T |
| 157987 | * | F | T |
| 157988 | F | T | T |
| 157989 | * | F | T |
| 157990 | * | F | T |
| 157991 | * | F | T |
| 157992 | * | F | T |
| 157993 | * | F | T |
| 157994 | * | F | T |
| 157995 | * | F | T |
| 157996 | * | F | T |
| 157997 | * | F | T |
| 157998 | * | F | T |
| 157999 | * | F | T |
| 158000 | * | F | T |
| 158001 | * | F | T |
| 158002 | * | F | T |
| 158003 | * | F | T |
| 158004 | * | F | T |
| 158005 | F | T | T |
| 158006 | * | F | T |
| 158007 | * | F | T |
| 158008 | * | F | T |
| 158009 | * | F | T |
| 158010 | * | F | T |
| 158011 | * | F | T |
| 158012 | * | F | T |
| 158013 | * | F | T |
| 158014 | * | F | T |
| 158015 | * | F | T |
| 158016 | * | F | T |
| 158017 | * | F | T |
| 158018 | * | F | T |
| 158019 | * | F | T |
| 158020 | * | F | T |
| 158021 | * | F | T |
| 158022 | F | T | T |
| 158023 | * | F | T |
| 158024 | * | F | T |
| 158025 | * | F | T |
| 158026 | * | F | T |
| 158027 | * | F | T |
| 158028 | * | F | T |
| 158029 | * | F | T |
| 158030 | * | F | T |
| 158031 | * | F | T |
| 158032 | * | F | T |
| 158033 | * | F | T |
| 158034 | * | F | T |
| 158035 | * | F | T |
| 158036 | * | F | T |
| 158037 | * | F | T |
| 158038 | * | F | T |
| 158039 | F | T | T |
| 158040 | * | F | T |
| 158041 | * | F | T |
| 158042 | * | F | T |
| 158043 | * | F | T |
| 158044 | * | F | T |
| 158045 | * | F | T |
| 158046 | * | F | T |
| 158047 | * | F | T |
| 158048 | * | F | T |
| 158049 | * | F | T |
| 158050 | * | F | T |
| 158051 | * | F | T |
| 158052 | * | F | T |
| 158053 | * | F | T |
| 158054 | * | F | T |
| 158055 | * | F | T |
| 158056 | * | T | T |
Independent-effect pairs
c0(branch5221): GAP view gap →scry_octagon::join· br_ifc1(branch5225): GAP view gap →scry_octagon::join· br_if