added_tokens.json

{
  "<add>": 32101,
  "<del>": 32102,
  "<ide>": 32100,
  "<path>": 32103
}