added_tokens.json

{
  "0": 81,
  "1": 82,
  "2": 83,
  "3": 84,
  "4": 85,
  "5": 86,
  "6": 87,
  "7": 88,
  "8": 89,
  "9": 90,
  "<ctc_blank>": 80,
  "<mask>": 79
}