A { ^A:0 / ^A:0 -> ^A:1 } B { / ^B:0 -> ^B:1, ^B:1 -> ^B:2 } C { {}:0 / ^K:0 -> ^K:1, ^K:1 -> ^K:2; ^A:1 -> ^A:0 }