{
    "initialConfiguration" : ["a"],
    "events" : []
}