Transition_With_Costs
0 3 2 0 0 0
0 0 2 1 0 0
0 3 0 1 4 0
0 0 0 0 3 5
0 0 0 4 0 6
0 0 0 0 0 *
Name_State
s0 s1 s2 s3 s4 s5
Atomic_propositions
r a
Labelling
0 0
1 0
0 0
1 0
0 0
1 1
Number_of_agents
2