added_tokens.json

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