{
  "encoder": 471584,
  "to_z": 43328,
  "transition": 87104,
  "decoder": 62596,
  "total": 664612
}