LSTS_File
Begin Header
State_cnt=8
Action_cnt=2
Transition_cnt=12
State_prop_cnt=2
Initial_state=1
End Header
Begin Action_names
1="a"
2="b"
End Action_names
Begin State_props
"_0_p": 3 7;
"_1_p": 3 5;
End State_props
Begin Transitions
1 2 0 3 1 4 0;
2 5 1 6 0;
3 3 2;
4 6 0 7 1;
5 5 2;
6 8 1;
7 7 2;
8 8 2;
End Transitions
End_LSTS