Lsts_file
Begin Header
 State_cnt = 2
 Transition_cnt = 6
 Action_cnt = 6
 Initial_state = 1
End Header
Begin Action_names
 1 = "set_b_i$i$2"
 2 = "read_b_j_false$i$1"
 3 = "set_b_i_again$i$2"
 4 = "read_b_j_true$i$1"
 5 = "clear_b_i$i$2"
 6 = "clear_b_i_again$i$2"
End Action_names
Begin Transitions
 1 1 2 2 1 2 3;
 2 1 5 1 6 2 4;
End Transitions
End_lsts