{
  "<idle>": 122753,
  "<s0>": 122754,
  "<s1>": 122755,
  "<s2>": 122756,
  "<s3>": 122757,
  "<s4>": 122758,
  "<s5>": 122759
}