Lsts_file
Begin Header
 State_cnt = 4
 Transition_cnt = 5
 Action_cnt = 2
 State_prop_cnt = 1
 Initial_state = 1
End Header
Begin Action_names
 1 = "a"
 2 = "b"
End Action_names
Begin State_props
 "p": 2;
End State_props
Begin Transitions
 1 2 1 3 0;
 2 2 2;
 3 4 1;
 4 4 2;
End Transitions
End_lsts