{
  "encoder": 471584,
  "history": 87936,
  "to_z": 30960,
  "transition": 45808,
  "decoder": 31492,
  "total": 667780
}