{
  "<EC>": 50258,
  "<SC>": 50257
}