Transition
0 A** B**
AAB,ABA 0 AAA,ABB
0 0 A**
Unkown_Transition_by
0 0 0 
0 0 0
0 0 0
Name_State
q0 q1 q2
Initial_State
q0
Atomic_propositions
g a
Labelling
0 1
0 1
1 1
Capacities
c cap cop
Capacities_assignment
1 0 0
1 0 0
0 1 1
Actions_for_capacities
c A B
cap A 
cop B
Number_of_agents
3