#0: output Z occurs between input P and output X
(false R (! (iP & ! oX) | (! oX WU (oZ & ! oX))))

#1: output U occurs between input J and input L
(false R (! (iJ & ! iL) | (! iL WU (oU & ! iL))))

#2: output Q occurs before input G
(! iG WU (oQ & ! iG))

#3: output X occurs eventually
(true U oX)

#4: output R occurs after input M
((false R ! iM) | (true U (iM & (true U oR))))

#5: output Q occurs between output U and input F
(false R (! (oU & ! iF) | (! iF WU (oQ & ! iF))))

#6: output Y occurs after input G
((false R ! iG) | (true U (iG & (true U oY))))

#7: output W does never occur before input I
(! oW WU iI)

#8: output X occurs after output V until output R
(false R (! (oV & ! oR) | (! oR U (oX & ! oR))))

#9: output X occurs eventually
(true U oX)

#10: output Q occurs at most twice before input C
(! (true U iC) | ((! oQ & ! iC) U (iC | ((oQ & ! iC) U (iC | ((! oQ & ! iC) U (iC | ((oQ & ! iC) U (iC | (! oQ U iC))))))))))

#11: output R precedes output W
(! oW WU oR)

#12: output T does never occur after input T
(false R (! iT | (false R ! oT)))

#13: output W does never occur after input E until output R
(false R (! (iE & ! oR) | (! oW WU oR)))

#14: output U occurs between output S and input F
(false R (! (oS & ! iF) | (! iF WU (oU & ! iF))))

#15: output Y occurs after input L until input E
(false R (! (iL & ! iE) | (! iE U (oY & ! iE))))

#16: output X occurs after input I until input P
(false R (! (iI & ! iP) | (! iP U (oX & ! iP))))

#17: input M precedes output Y before input J
(! (true U iJ) | (! oY U (iM | iJ)))

#18: output Q occurs after output W until output T
(false R (! (oW & ! oT) | (! oT U (oQ & ! oT))))

#19: output Y does never occur after input J until input G
(false R (! (iJ & ! iG) | (! oY WU iG)))

#20: output Q does never occur before output Y
(! oQ WU oY)

#21: output X does never occur before input T
(! oX WU iT)

#22: output Y does never occur before output W
(! oY WU oW)

#23: input B precedes output Q before output Z
(! (true U oZ) | (! oQ U (iB | oZ)))

#24: output X does never occur after input E until input O
(false R (! (iE & ! iO) | (! oX WU iO)))

#25: output Z occurs after input C until output S
(false R (! (iC & ! oS) | (! oS U (oZ & ! oS))))

#26: output Q occurs between input C and input N
(false R (! (iC & ! iN) | (! iN WU (oQ & ! iN))))

#27: input L precedes output W before input H
(! (true U iH) | (! oW U (iL | iH)))

#28: output S does never occur between input R and input T
(false R (! ((iR & ! iT) & (true U iT)) | (! oS U iT)))

#29: output T does never occur
(false R ! oT)

#30: output X occurs eventually
(true U oX)

#31: input H precedes output Z before input A
(! (true U iA) | (! oZ U (iH | iA)))

#32: output W occurs eventually
(true U oW)

#33: output X does never occur after input H until output V
(false R (! (iH & ! oV) | (! oX WU oV)))

#34: output R does never occur after output X until input Q
(false R (! (oX & ! iQ) | (! oR WU iQ)))

#35: output Z occurs between input E and output Y
(false R (! (iE & ! oY) | (! oY WU (oZ & ! oY))))

#36: output Q responds to input G
(false R (! iG | (true U oQ)))

#37: output X does never occur after input C
(false R (! iC | (false R ! oX)))

#38: output T precedes output V before input H
(! (true U iH) | (! oV U (oT | iH)))

#39: output W does never occur after output Z
(false R (! oZ | (false R ! oW)))

#40: output S occurs after input N
((false R ! iN) | (true U (iN & (true U oS))))

#41: output T occurs at most twice
(! oT WU (oT WU (! oT WU (oT WU (false R ! oT)))))

#42: output Q does never occur after output R until input H
(false R (! (oR & ! iH) | (! oQ WU iH)))

#43: output Q occurs at most twice before input E
(! (true U iE) | ((! oQ & ! iE) U (iE | ((oQ & ! iE) U (iE | ((! oQ & ! iE) U (iE | ((oQ & ! iE) U (iE | (! oQ U iE))))))))))

#44: output S occurs at most twice before output V
(! (true U oV) | ((! oS & ! oV) U (oV | ((oS & ! oV) U (oV | ((! oS & ! oV) U (oV | ((oS & ! oV) U (oV | (! oS U oV))))))))))

#45: output Z occurs eventually
(true U oZ)

#46: output Z does never occur after input E until input S
(false R (! (iE & ! iS) | (! oZ WU iS)))

#47: output S occurs eventually
(true U oS)

#48: output S does never occur after input O until output Y
(false R (! (iO & ! oY) | (! oS WU oY)))

#49: output R does never occur between input P and input F
(false R (! ((iP & ! iF) & (true U iF)) | (! oR U iF)))

#50: output W occurs after input G until output X
(false R (! (iG & ! oX) | (! oX U (oW & ! oX))))

#51: output X does never occur between output U and input K
(false R (! ((oU & ! iK) & (true U iK)) | (! oX U iK)))

#52: output Q does never occur before input I
(! oQ WU iI)

#53: output X occurs between input I and input S
(false R (! (iI & ! iS) | (! iS WU (oX & ! iS))))

#54: output Y occurs after input E until output R
(false R (! (iE & ! oR) | (! oR U (oY & ! oR))))

#55: output X does never occur before input T
(! oX WU iT)

#56: output Y occurs between output V and input D
(false R (! (oV & ! iD) | (! iD WU (oY & ! iD))))

#57: output Q occurs after output Z
((false R ! oZ) | (true U (oZ & (true U oQ))))

#58: input M precedes output Y
(! oY WU iM)

#59: output Y occurs between input E and input F
(false R (! (iE & ! iF) | (! iF WU (oY & ! iF))))

#60: output X does never occur after input B until input S
(false R (! (iB & ! iS) | (! oX WU iS)))

#61: output X occurs before input T
(! iT WU (oX & ! iT))

#62: output T does never occur
(false R ! oT)

#63: output X occurs eventually
(true U oX)

#64: output Y occurs at most twice
(! oY WU (oY WU (! oY WU (oY WU (false R ! oY)))))

#65: output V does never occur
(false R ! oV)

#66: input N precedes output U before output S
(! (true U oS) | (! oU U (iN | oS)))

#67: output R occurs after input Q
((false R ! iQ) | (true U (iQ & (true U oR))))

#68: output U occurs between input Q and input G
(false R (! (iQ & ! iG) | (! iG WU (oU & ! iG))))

#69: output X does never occur between input H and input A
(false R (! ((iH & ! iA) & (true U iA)) | (! oX U iA)))

#70: output W occurs between input T and input N
(false R (! (iT & ! iN) | (! iN WU (oW & ! iN))))

#71: output S does never occur between input C and input F
(false R (! ((iC & ! iF) & (true U iF)) | (! oS U iF)))

#72: output U occurs before input F
(! iF WU (oU & ! iF))

#73: output Q does never occur before input S
(! oQ WU iS)

#74: output Q occurs at most twice before output Z
(! (true U oZ) | ((! oQ & ! oZ) U (oZ | ((oQ & ! oZ) U (oZ | ((! oQ & ! oZ) U (oZ | ((oQ & ! oZ) U (oZ | (! oQ U oZ))))))))))

#75: output R does never occur after output X until input J
(false R (! (oX & ! iJ) | (! oR WU iJ)))

#76: output X occurs between input C and input P
(false R (! (iC & ! iP) | (! iP WU (oX & ! iP))))

#77: input C precedes output T before input J
(! (true U iJ) | (! oT U (iC | iJ)))

#78: output V responds to input C
(false R (! iC | (true U oV)))

#79: output X does never occur after output R until input A
(false R (! (oR & ! iA) | (! oX WU iA)))

#80: output Y occurs after output V
((false R ! oV) | (true U (oV & (true U oY))))

#81: output S does never occur before output R
(! oS WU oR)

#82: output T does never occur after input P
(false R (! iP | (false R ! oT)))

#83: output X does never occur after output Z
(false R (! oZ | (false R ! oX)))

#84: output U does never occur between input N and output W
(false R (! ((iN & ! oW) & (true U oW)) | (! oU U oW)))

#85: output S occurs eventually
(true U oS)

#86: output U occurs between input I and input E
(false R (! (iI & ! iE) | (! iE WU (oU & ! iE))))

#87: output T does never occur between output V and input C
(false R (! ((oV & ! iC) & (true U iC)) | (! oT U iC)))

#88: output R does never occur before output S
(! oR WU oS)

#89: output T does never occur after input J
(false R (! iJ | (false R ! oT)))

#90: input K precedes output V
(! oV WU iK)

#91: output Y does never occur before input Q
(! oY WU iQ)

#92: output S occurs eventually
(true U oS)

#93: output U responds to input Q
(false R (! iQ | (true U oU)))

#94: output W occurs after input P until output V
(false R (! (iP & ! oV) | (! oV U (oW & ! oV))))

#95: output T occurs after input N until input D
(false R (! (iN & ! iD) | (! iD U (oT & ! iD))))

#96: output V does never occur before output U
(! oV WU oU)

#97: output Y occurs between input D and input S
(false R (! (iD & ! iS) | (! iS WU (oY & ! iS))))

#98: output Y does never occur before output Z
(! oY WU oZ)

#99: input R precedes output X
(! oX WU iR)