added_tokens.json

{
  "<PAD>": 32000,
  "[Ce]": 32002,
  "[Cs]": 32001,
  "[Ex]": 32003
}