petar/fsm_strip_length_analysis archive