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