Decision #748 — lib.rs:100

Status: no_witness

Truth table

rowc0 br 4870c1 br 4873outcome
31136T*T
31137FFT
31138T*T
31139FFT
51990T*T
51991FFT
51992T*T
51993FFT
72954FFT
72955FFT
82837FFT
82838FFT
124898T*T
124899T*T
124900FFT
124901T*T
124902T*T
124903FFT
141617T*T
141618T*T
141619FFT
141620T*T
141621T*T
141622FFT
224725T*T
224726FFT
224727T*T
224728FFT
302102T*T
302103FFT
302104T*T
302105FFT

Independent-effect pairs