
Transition
0 
Name_State
s0
Initial_State
s0
Atomic_propositions
ap0
Labelling
1 
Number_of_agents
1
