; fsm from lecture

;            |        T T      
;now   L R S | next   L R F M E
;------------+-----------------
lost   0 1 - | lost   0 1 1 0 0
lost   0 0 - | lost2  1 0 1 0 0
lost   1 - - | lost2  1 0 1 0 0
lost2  0 0 - | lost3  1 0 1 0 0
lost2  1 - - | lost2  1 0 1 0 0
lost2  0 1 - | lost2  1 0 1 0 0
lost3  0 0 - | lost3  1 0 1 0 0
lost3  1 - - | lost4  0 1 1 0 0
lost3  0 1 - | lost4  0 1 1 0 0
lost4  0 0 - | lost   0 1 1 0 0
lost4  1 - - | lost4  0 1 1 0 0
lost4  0 1 - | lost4  0 1 1 0 0