added_tokens.json

{
  "0": 85,
  "1": 81,
  "2": 82,
  "3": 83,
  "4": 84,
  "<ctc_blank>": 80,
  "<mask>": 79
}