{"traces":[
[[["A","R",1],["B","R",2],["C","R",3]],
[],
[]],
[[["A","R",1],["a","A",2],["b","A",3],["B","R",4],["C","R",7]],
[[2,1],[2,4],[2,7],[3,1],[3,4]],
[[3,2]]],
[[["A","R",1],["a","A",2],["b","A",3],["a","A",4],["b","A",5],["B","R",6],["C","R",11]],
[[2,1],[2,6],[2,11],[3,1],[3,6],[4,1],[4,6],[4,11],[5,1],[5,6]],
[[3,2],[4,3],[4,2],[5,4]]]]}