1 #TTime s0(sw) s1(sw) v(1) vin(sw)
3 #TTime time v(1) s0(sw) s1(sw)
12 #TTime time v(1) s0(sw) s1(sw)
21 #TTime time v(1) s0(sw) s1(sw)
33 #TTime s0(sw) s1(sw) v(1) vin(sw)
35 #TTime time v(1) s0(sw) s1(sw)
44 #TTime time v(1) s0(sw) s1(sw)
53 #TTime time v(1) s0(sw) s1(sw)