TIMEOUT
MAYBE
Trs:
 {s1 s1 s0 s0 -> s0 s0 s0 s1 s1 s1}
 Open