#0: output U does never occur after input E
(false R (! iE | (false R ! oU)))

#1: output W occurs after input F until input A
(false R (! (iF & ! iA) | (! iA U (oW & ! iA))))

#2: input D precedes output W before output Z
(! (true U oZ) | (! oW U (iD | oZ)))

#3: output W occurs at most twice before output X
(! (true U oX) | ((! oW & ! oX) U (oX | ((oW & ! oX) U (oX | ((! oW & ! oX) U (oX | ((oW & ! oX) U (oX | (! oW U oX))))))))))

#4: output V occurs eventually
(true U oV)

#5: output Z does never occur before output U
(! oZ WU oU)

#6: input D precedes output Z
(! oZ WU iD)

#7: output W precedes output X
(! oX WU oW)

#8: output W does never occur between input F and input E
(false R (! ((iF & ! iE) & (true U iE)) | (! oW U iE)))

#9: output Z does never occur after output V
(false R (! oV | (false R ! oZ)))

#10: output W precedes output X before output Z
(! (true U oZ) | (! oX U (oW | oZ)))

#11: output X precedes output Y
(! oY WU oX)

#12: input B precedes output W before output Y
(! (true U oY) | (! oW U (iB | oY)))

#13: output U does never occur before output Z
(! oU WU oZ)

#14: output V occurs between input A and input C
(false R (! (iA & ! iC) | (! iC WU (oV & ! iC))))

#15: output W occurs before input E
(! iE WU (oW & ! iE))

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

#17: output Z occurs before input A
(! iA WU (oZ & ! iA))

#18: output W occurs after input B until output V
(false R (! (iB & ! oV) | (! oV U (oW & ! oV))))

#19: output Y does never occur before input A
(! oY WU iA)

#20: output V occurs eventually
(true U oV)

#21: output U occurs after input D until input B
(false R (! (iD & ! iB) | (! iB U (oU & ! iB))))

#22: output W occurs after output Z until input A
(false R (! (oZ & ! iA) | (! iA U (oW & ! iA))))

#23: output V does never occur after input C until output W
(false R (! (iC & ! oW) | (! oV WU oW)))

#24: output Z occurs at most twice before output W
(! (true U oW) | ((! oZ & ! oW) U (oW | ((oZ & ! oW) U (oW | ((! oZ & ! oW) U (oW | ((oZ & ! oW) U (oW | (! oZ U oW))))))))))

#25: output W does never occur after output V until input F
(false R (! (oV & ! iF) | (! oW WU iF)))

#26: output W precedes output Z
(! oZ WU oW)

#27: output X responds to input A
(false R (! iA | (true U oX)))

#28: output Z responds to input B
(false R (! iB | (true U oZ)))

#29: output Z responds to output Y
(false R (! oY | (true U oZ)))

#30: output U occurs at most twice before output Y
(! (true U oY) | ((! oU & ! oY) U (oY | ((oU & ! oY) U (oY | ((! oU & ! oY) U (oY | ((oU & ! oY) U (oY | (! oU U oY))))))))))

#31: output U occurs after input F
((false R ! iF) | (true U (iF & (true U oU))))

#32: output V occurs before input B
(! iB WU (oV & ! iB))

#33: output X does never occur after input F
(false R (! iF | (false R ! oX)))

#34: input B precedes output Z before output Y
(! (true U oY) | (! oZ U (iB | oY)))

#35: output W does never occur between output X and output V
(false R (! ((oX & ! oV) & (true U oV)) | (! oW U oV)))

#36: output V does never occur after input E until output Z
(false R (! (iE & ! oZ) | (! oV WU oZ)))

#37: output V occurs after input A until output U
(false R (! (iA & ! oU) | (! oU U (oV & ! oU))))

#38: input B precedes output X before output Z
(! (true U oZ) | (! oX U (iB | oZ)))

#39: output V occurs after input D
((false R ! iD) | (true U (iD & (true U oV))))

#40: output W occurs between input F and input D
(false R (! (iF & ! iD) | (! iD WU (oW & ! iD))))

#41: output Y occurs after input B
((false R ! iB) | (true U (iB & (true U oY))))

#42: output U occurs after output W until input B
(false R (! (oW & ! iB) | (! iB U (oU & ! iB))))

#43: output X occurs before output W
(! oW WU (oX & ! oW))

#44: output U occurs after output Y until input F
(false R (! (oY & ! iF) | (! iF U (oU & ! iF))))

#45: output X occurs after input B until input C
(false R (! (iB & ! iC) | (! iC U (oX & ! iC))))

#46: output U occurs between output V and output Y
(false R (! (oV & ! oY) | (! oY WU (oU & ! oY))))

#47: output W occurs before output Y
(! oY WU (oW & ! oY))

#48: output V does never occur after input E
(false R (! iE | (false R ! oV)))

#49: output U does never occur after input B
(false R (! iB | (false R ! oU)))

#50: output W occurs before input C
(! iC WU (oW & ! iC))

#51: output V does never occur after output W until output Y
(false R (! (oW & ! oY) | (! oV WU oY)))

#52: input B precedes output X
(! oX WU iB)

#53: output Z occurs after input E
((false R ! iE) | (true U (iE & (true U oZ))))

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

#55: output Y responds to output W
(false R (! oW | (true U oY)))

#56: output W occurs between input F and input B
(false R (! (iF & ! iB) | (! iB WU (oW & ! iB))))

#57: output Z occurs at most twice before output X
(! (true U oX) | ((! oZ & ! oX) U (oX | ((oZ & ! oX) U (oX | ((! oZ & ! oX) U (oX | ((oZ & ! oX) U (oX | (! oZ U oX))))))))))

#58: input E precedes output Y
(! oY WU iE)

#59: output X does never occur between output Z and input F
(false R (! ((oZ & ! iF) & (true U iF)) | (! oX U iF)))

#60: output U does never occur after input A
(false R (! iA | (false R ! oU)))

#61: output Y occurs before output W
(! oW WU (oY & ! oW))

#62: output Z does never occur after input C
(false R (! iC | (false R ! oZ)))

#63: output V does never occur before input A
(! oV WU iA)

#64: output Z occurs after input F
((false R ! iF) | (true U (iF & (true U oZ))))

#65: output Y occurs eventually
(true U oY)

#66: output Z does never occur after input C until output U
(false R (! (iC & ! oU) | (! oZ WU oU)))

#67: output V occurs before input F
(! iF WU (oV & ! iF))

#68: output V occurs at most twice
(! oV WU (oV WU (! oV WU (oV WU (false R ! oV)))))

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

#70: output U occurs at most twice
(! oU WU (oU WU (! oU WU (oU WU (false R ! oU)))))

#71: output Y occurs eventually
(true U oY)

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

#73: output Y occurs after input F
((false R ! iF) | (true U (iF & (true U oY))))

#74: output V does never occur after output Y until input C
(false R (! (oY & ! iC) | (! oV WU iC)))

#75: output Z does never occur between input A and input E
(false R (! ((iA & ! iE) & (true U iE)) | (! oZ U iE)))

#76: output Y occurs at most twice before input E
(! (true U iE) | ((! oY & ! iE) U (iE | ((oY & ! iE) U (iE | ((! oY & ! iE) U (iE | ((oY & ! iE) U (iE | (! oY U iE))))))))))

#77: output Z does never occur after input C
(false R (! iC | (false R ! oZ)))

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

#79: output W occurs after output U
((false R ! oU) | (true U (oU & (true U oW))))

#80: output Z occurs after input B until input F
(false R (! (iB & ! iF) | (! iF U (oZ & ! iF))))

#81: output V does never occur after input D until output U
(false R (! (iD & ! oU) | (! oV WU oU)))

#82: output Z does never occur between output U and output W
(false R (! ((oU & ! oW) & (true U oW)) | (! oZ U oW)))

#83: output U occurs at most twice before output W
(! (true U oW) | ((! oU & ! oW) U (oW | ((oU & ! oW) U (oW | ((! oU & ! oW) U (oW | ((oU & ! oW) U (oW | (! oU U oW))))))))))

#84: output Z does never occur between input C and output V
(false R (! ((iC & ! oV) & (true U oV)) | (! oZ U oV)))

#85: output X responds to output V
(false R (! oV | (true U oX)))

#86: output X does never occur after output Y until output U
(false R (! (oY & ! oU) | (! oX WU oU)))

#87: output Y precedes output Z before output V
(! (true U oV) | (! oZ U (oY | oV)))

#88: output Z does never occur before input B
(! oZ WU iB)

#89: output W does never occur before output X
(! oW WU oX)

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

#91: output W occurs at most twice before input E
(! (true U iE) | ((! oW & ! iE) U (iE | ((oW & ! iE) U (iE | ((! oW & ! iE) U (iE | ((oW & ! iE) U (iE | (! oW U iE))))))))))

#92: output X does never occur before input C
(! oX WU iC)

#93: output V occurs at most twice
(! oV WU (oV WU (! oV WU (oV WU (false R ! oV)))))

#94: output W does never occur after input B
(false R (! iB | (false R ! oW)))

#95: output U does never occur before output Y
(! oU WU oY)

#96: output U does never occur after input D until input C
(false R (! (iD & ! iC) | (! oU WU iC)))

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

#98: output U does never occur after input E until output X
(false R (! (iE & ! oX) | (! oU WU oX)))

#99: output X occurs between output U and input D
(false R (! (oU & ! iD) | (! iD WU (oX & ! iD))))