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