Lsts_file
Begin Header
 State_cnt = 2
 Transition_cnt = 12
 Action_cnt = 12
 Initial_state = 1
End Header
Begin Action_names
 1 = "read_k_eq_j$i$2"
 2 = "read_k_ne_j$i$1"
 3 = "read_k_again_eq_j$i$2"
 4 = "read_k_again_ne_j$i$1"
 5 = "set_k$i$1$z$1"
 6 = "set_k$i$2$z$1"
 7 = "read_k_eq_j$i$1"
 8 = "read_k_ne_j$i$2"
 9 = "read_k_again_eq_j$i$1"
 10 = "read_k_again_ne_j$i$2"
 11 = "set_k$i$1$z$2"
 12 = "set_k$i$2$z$2"
End Action_names
Begin Transitions
 1 1 1 1 2 1 3 1 4 1 6 2 5;
 2 1 12 2 7 2 8 2 9 2 10 2 11;
End Transitions
End_lsts