*** input for RSFF_1 ***
    t    S  R
10000    0  0
10010    1  0
10020    0  0
10030    0  1 
10036    0  0 
10040    1  0 
10048    0  0
10056    1  0 
10060    0  0
10064    0  1 
10074    0  0
10080    1  0
10100    0  0 
10104    0  1 
10108    0  0 
10112    0  1 
10116    0  0 
10120    1  0
10128    1  1
10136    1  0
10140    0  0
10150    0  1  
10156    0  0  
10160    1  0 
10166    0  0
10176    0  1
10180    1  1
10194    0  1
10198    0  0
10200    0  0