Create fsm_interpretation4.py