#0: output Z precedes output Y before input J (! (true U iJ) | (! oY U (oZ | iJ))) #1: input C precedes output T, output Y after output P until output V (false R (! oP | ((! ((oT & ! oV) & X (! oV U (oY & ! oV))) U (oV | iC)) | (false R ! (oT & X (true U oY)))))) #2: output U always responds to input D, input C (false R (iD & (! X (true U iC) | X (true U (iC & (true U oU)))))) #3: output Q, output Y without output U responds to input M after output S until output X (false R (! oS | ((! iM | (! oX U (((oQ & ! oX) & ! oU) & X ((! oX & ! oU) U oY)))) U (oX | (false R (! iM | ((oQ & ! oU) & X (! oU U oY)))))))) #4: input H, output Q always precedes output R (! (true U oR) | (! oR U ((iH & ! oR) & X (! oR U oQ)))) #5: input C, output W precedes output Q after input I ((false R ! iI) | (! iI U (iI & (! (true U oQ) | (! oQ U ((iC & ! oQ) & X (! oQ U oW))))))) #6: output S, output R without output P responds to input H before input A (! (true U iA) | ((! iH | (! iA U (((oS & ! iA) & ! oP) & X ((! iA & ! oP) U oR)))) U iA)) #7: input O always precedes output Q (! oQ WU iO) #8: input F precedes output X after output V until output R (false R (oV & (! ! oR | (! oX WU (iF | oR))))) #9: output V responds to input H, input A before input M (! (true U iM) | ((iH & (! X (! iM U iA) | X (! iM U (iA & (true U oV))))) U iM)) #10: output Z responds to input N before input C (! (true U iC) | ((! iN | (! iC U (oZ & ! iC))) U iC)) #11: output Y, output Q without output T responds to input F after output X (false R (! oX | (false R (! iF | ((oY & ! oT) & X (! oT U oQ)))))) #12: output Z, output R responds to input H after output S until input M (false R (! oS | ((! iH | (! iM U ((oZ & ! iM) & X (! iM U oR)))) U (iM | (false R (! iH | (oZ & X (true U oR)))))))) #13: input H always precedes output U (! oU WU iH) #14: output T precedes output W, output U after input E until input L (false R (! iE | ((! ((oW & ! iL) & X (! iL U (oU & ! iL))) U (iL | oT)) | (false R ! (oW & X (true U oU)))))) #15: output R, output Y responds to input F after input H until input O (false R (! iH | ((! iF | (! iO U ((oR & ! iO) & X (! iO U oY)))) U (iO | (false R (! iF | (oR & X (true U oY)))))))) #16: input K precedes output R between input M and output U (false R (! ((iM & ! oU) & (true U oU)) | (! oR U (iK | oU)))) #17: output S, output Q without output P responds to input K after output T (false R (! oT | (false R (! iK | ((oS & ! oP) & X (! oP U oQ)))))) #18: output Q, output V without output W responds to input I before input K (! (true U iK) | ((! iI | (! iK U (((oQ & ! iK) & ! oW) & X ((! iK & ! oW) U oV)))) U iK)) #19: output U, output P without output T responds to input O after input G until input D (false R (! iG | ((! iO | (! iD U (((oU & ! iD) & ! oT) & X ((! iD & ! oT) U oP)))) U (iD | (false R (! iO | ((oU & ! oT) & X (! oT U oP)))))))) #20: input I, output T precedes output U after input M ((false R ! iM) | (! iM U (iM & (! (true U oU) | (! oU U ((iI & ! oU) & X (! oU U oT))))))) #21: output U, output V without output Q responds to input C after input G until output R (false R (! iG | ((! iC | (! oR U (((oU & ! oR) & ! oQ) & X ((! oR & ! oQ) U oV)))) U (oR | (false R (! iC | ((oU & ! oQ) & X (! oQ U oV)))))))) #22: output Q responds to input N after input H until input C (false R (iH & (! ! iC | ((! iN | (! iC U (oQ & ! iC))) WU iC)))) #23: output V, output Z without output T always responds to input E (false R (! iE | (true U ((oV & ! oT) & X (! oT U oZ))))) #24: output W, output U without output P always responds to input N (false R (! iN | (true U ((oW & ! oP) & X (! oP U oU))))) #25: output W, output Z without output V responds to input A before input M (! (true U iM) | ((! iA | (! iM U (((oW & ! iM) & ! oV) & X ((! iM & ! oV) U oZ)))) U iM)) #26: output P, output T responds to input A after output X (false R (! oX | (false R (! iA | (oP & X (true U oT)))))) #27: output W responds to input O, input I before input D (! (true U iD) | ((iO & (! X (! iD U iI) | X (! iD U (iI & (true U oW))))) U iD)) #28: output X, output Z precedes output P after output Y until input N (false R (! oY | (! (true U oP) | (! oP U (iN | ((oX & ! oP) & X (! oP U oZ))))))) #29: input K always precedes output X, output T (! (true U (oX & X (true U oT))) | (! oX U iK)) #30: output R responds to input N, input J between input I and input K (false R (! (iI & (true U iK)) | ((iN & (! X (! iK U iJ) | X (! iK U (iJ & (true U oR))))) U iK))) #31: input I precedes output S after output R ((false R ! oR) | (true U (oR & (! oS WU iI)))) #32: output X, output V responds to input K after input J (false R (! iJ | (false R (! iK | (oX & X (true U oV)))))) #33: output Y, output R precedes output T after input L until input K (false R (! iL | (! (true U oT) | (! oT U (iK | ((oY & ! oT) & X (! oT U oR))))))) #34: output Y, output Q responds to input O between input C and input G (false R (! (iC & (true U iG)) | ((! iO | (! iG U ((oY & ! iG) & X (! iG U oQ)))) U iG))) #35: output S responds to input F, input O between output V and output R (false R (! (oV & (true U oR)) | ((iF & (! X (! oR U iO) | X (! oR U (iO & (true U oS))))) U oR))) #36: output Y responds to input D, input A between output V and input E (false R (! (oV & (true U iE)) | ((iD & (! X (! iE U iA) | X (! iE U (iA & (true U oY))))) U iE))) #37: output T, output Y without output P always responds to input C (false R (! iC | (true U ((oT & ! oP) & X (! oP U oY))))) #38: input M, output V precedes output Q before output Y (! (true U oY) | (! oQ U (oY | ((iM & ! oQ) & X (! oQ U oV))))) #39: output Z, output U without output V responds to input O after output Q until input J (false R (! oQ | ((! iO | (! iJ U (((oZ & ! iJ) & ! oV) & X ((! iJ & ! oV) U oU)))) U (iJ | (false R (! iO | ((oZ & ! oV) & X (! oV U oU)))))))) #40: output V responds to input H before input L (! (true U iL) | ((! iH | (! iL U (oV & ! iL))) U iL)) #41: output U always responds to input G (false R (! iG | (true U oU))) #42: output T responds to input C, input F before input M (! (true U iM) | ((iC & (! X (! iM U iF) | X (! iM U (iF & (true U oT))))) U iM)) #43: input O precedes output W, output Q after input D until input H (false R (! iD | ((! ((oW & ! iH) & X (! iH U (oQ & ! iH))) U (iH | iO)) | (false R ! (oW & X (true U oQ)))))) #44: output T precedes output X, output Z after output Q ((false R ! oQ) | (! oQ U (oQ & (! (true U (oX & X (true U oZ))) | (! oX U oT))))) #45: input M, input H precedes output U before input L (! (true U iL) | (! oU U (iL | ((iM & ! oU) & X (! oU U iH))))) #46: input G precedes output V after input D ((false R ! iD) | (true U (iD & (! oV WU iG)))) #47: output X precedes output Q after input I until output P (false R (iI & (! ! oP | (! oQ WU (oX | oP))))) #48: output U responds to input L after input E (false R (! iE | (false R (! iL | (true U oU))))) #49: output Z always responds to input I (false R (! iI | (true U oZ))) #50: output Q responds to input C, input B after input F until input J (false R (! iF | ((iC & (! X (! iJ U iB) | X (! iJ U (iB & (true U oQ))))) U (iJ | (false R (iC & (! X (! iJ U iB) | X (! iJ U (iB & (true U oQ)))))))))) #51: input F always precedes output V (! oV WU iF) #52: output T responds to input D before input F (! (true U iF) | ((! iD | (! iF U (oT & ! iF))) U iF)) #53: output V responds to input O, input K before output Q (! (true U oQ) | ((iO & (! X (! oQ U iK) | X (! oQ U (iK & (true U oV))))) U oQ)) #54: output R, output P without output W responds to input E before input O (! (true U iO) | ((! iE | (! iO U (((oR & ! iO) & ! oW) & X ((! iO & ! oW) U oP)))) U iO)) #55: output Q, output X responds to input N before output W (! (true U oW) | ((! iN | (! oW U ((oQ & ! oW) & X (! oW U oX)))) U oW)) #56: input C, input A precedes output Q after input F ((false R ! iF) | (! iF U (iF & (! (true U oQ) | (! oQ U ((iC & ! oQ) & X (! oQ U iA))))))) #57: output R, output X without output T always responds to input K (false R (! iK | (true U ((oR & ! oT) & X (! oT U oX))))) #58: output Q precedes output S, output T before input D (! (true U iD) | (! ((oS & ! iD) & X (! iD U (oT & ! iD))) U (iD | oQ))) #59: input A, input L precedes output Q after input J ((false R ! iJ) | (! iJ U (iJ & (! (true U oQ) | (! oQ U ((iA & ! oQ) & X (! oQ U iL))))))) #60: output P, output W without output X responds to input E before input D (! (true U iD) | ((! iE | (! iD U (((oP & ! iD) & ! oX) & X ((! iD & ! oX) U oW)))) U iD)) #61: output W responds to input G, input H after output P (false R (! oP | (false R (iG & (! X (true U iH) | X (! iH U (iH & (true U oW)))))))) #62: output R, output Y without output X responds to input D after input G (false R (! iG | (false R (! iD | ((oR & ! oX) & X (! oX U oY)))))) #63: input H precedes output T after output W until output V (false R (oW & (! ! oV | (! oT WU (iH | oV))))) #64: output Z responds to input H, input L after input D (false R (! iD | (false R (iH & (! X (true U iL) | X (! iL U (iL & (true U oZ)))))))) #65: output V precedes output R, output S between input B and input F (false R (! (iB & (true U iF)) | (! ((oR & ! iF) & X (! iF U (oS & ! iF))) U (iF | oV)))) #66: input D, output W precedes output S between input B and input J (false R (! (iB & (true U iJ)) | (! oS U (iJ | ((iD & ! oS) & X (! oS U oW)))))) #67: input D, input F always precedes output W (! (true U oW) | (! oW U ((iD & ! oW) & X (! oW U iF)))) #68: output R responds to input N, input K before input C (! (true U iC) | ((iN & (! X (! iC U iK) | X (! iC U (iK & (true U oR))))) U iC)) #69: output Y, input A precedes output W before output S (! (true U oS) | (! oW U (oS | ((oY & ! oW) & X (! oW U iA))))) #70: output Z, output Y responds to input H after output T (false R (! oT | (false R (! iH | (oZ & X (true U oY)))))) #71: output P, output X responds to input O before input B (! (true U iB) | ((! iO | (! iB U ((oP & ! iB) & X (! iB U oX)))) U iB)) #72: output W responds to input B after output Z (false R (! oZ | (false R (! iB | (true U oW))))) #73: output V responds to input G, input N between output W and input F (false R (! (oW & (true U iF)) | ((iG & (! X (! iF U iN) | X (! iF U (iN & (true U oV))))) U iF))) #74: input D precedes output Z, output S after input H until input B (false R (! iH | ((! ((oZ & ! iB) & X (! iB U (oS & ! iB))) U (iB | iD)) | (false R ! (oZ & X (true U oS)))))) #75: output R, output W responds to input B after input M (false R (! iM | (false R (! iB | (oR & X (true U oW)))))) #76: output Z always responds to input O, input J (false R (iO & (! X (true U iJ) | X (true U (iJ & (true U oZ)))))) #77: input M precedes output V between output Z and input L (false R (! ((oZ & ! iL) & (true U iL)) | (! oV U (iM | iL)))) #78: output X, output R without output T responds to input M betwen output W and output U (false R (! (oW & (true U oU)) | ((! iM | (! oU U (((oX & ! oU) & ! oT) & X ((! oU & ! oT) U oR)))) U oU))) #79: output U responds to input J, input E after output X until output W (false R (! oX | ((iJ & (! X (! oW U iE) | X (! oW U (iE & (true U oU))))) U (oW | (false R (iJ & (! X (! oW U iE) | X (! oW U (iE & (true U oU)))))))))) #80: output X, output R without output P responds to input J after input A until input I (false R (! iA | ((! iJ | (! iI U (((oX & ! iI) & ! oP) & X ((! iI & ! oP) U oR)))) U (iI | (false R (! iJ | ((oX & ! oP) & X (! oP U oR)))))))) #81: output R precedes output P between output Q and input O (false R (! ((oQ & ! iO) & (true U iO)) | (! oP U (oR | iO)))) #82: output V, input J always precedes output R (! (true U oR) | (! oR U ((oV & ! oR) & X (! oR U iJ)))) #83: output Q, output X without output Y responds to input K betwen input E and output Z (false R (! (iE & (true U oZ)) | ((! iK | (! oZ U (((oQ & ! oZ) & ! oY) & X ((! oZ & ! oY) U oX)))) U oZ))) #84: input N, input I always precedes output W (! (true U oW) | (! oW U ((iN & ! oW) & X (! oW U iI)))) #85: output S responds to input I after output Z (false R (! oZ | (false R (! iI | (true U oS))))) #86: output P, output V without output S responds to input A before output R (! (true U oR) | ((! iA | (! oR U (((oP & ! oR) & ! oS) & X ((! oR & ! oS) U oV)))) U oR)) #87: output Y, output X responds to input A between output P and input O (false R (! (oP & (true U iO)) | ((! iA | (! iO U ((oY & ! iO) & X (! iO U oX)))) U iO))) #88: input I precedes output Z after input K until input F (false R (iK & (! ! iF | (! oZ WU (iI | iF))))) #89: output W, output Y without output T responds to input B betwen input L and output Z (false R (! (iL & (true U oZ)) | ((! iB | (! oZ U (((oW & ! oZ) & ! oT) & X ((! oZ & ! oT) U oY)))) U oZ))) #90: output Z, output T responds to input C before input E (! (true U iE) | ((! iC | (! iE U ((oZ & ! iE) & X (! iE U oT)))) U iE)) #91: input A precedes output Z, output R between output W and output U (false R (! (oW & (true U oU)) | (! ((oZ & ! oU) & X (! oU U (oR & ! oU))) U (oU | iA)))) #92: output Z responds to input F after output W (false R (! oW | (false R (! iF | (true U oZ))))) #93: input C, output S precedes output R after input I ((false R ! iI) | (! iI U (iI & (! (true U oR) | (! oR U ((iC & ! oR) & X (! oR U oS))))))) #94: output R, output U responds to input I before output W (! (true U oW) | ((! iI | (! oW U ((oR & ! oW) & X (! oW U oU)))) U oW)) #95: output S, output Y without output P responds to input F after output Q (false R (! oQ | (false R (! iF | ((oS & ! oP) & X (! oP U oY)))))) #96: output V, output X without output S always responds to input B (false R (! iB | (true U ((oV & ! oS) & X (! oS U oX))))) #97: output X, output T responds to input N after input E until input O (false R (! iE | ((! iN | (! iO U ((oX & ! iO) & X (! iO U oT)))) U (iO | (false R (! iN | (oX & X (true U oT)))))))) #98: output P, output U without output V always responds to input G (false R (! iG | (true U ((oP & ! oV) & X (! oV U oU))))) #99: output T precedes output Q, output Z before output Y (! (true U oY) | (! ((oQ & ! oY) & X (! oY U (oZ & ! oY))) U (oY | oT)))