added_tokens.json

{
  "<cls>": 250102,
  "<ctx>": 250100,
  "<rot>": 250103,
  "<sep>": 250101
}