added_tokens.json

{
  "<DELETE>": 32108,
  "<DELETE_END>": 32109,
  "<INSERT>": 32104,
  "<INSERT_END>": 32107,
  "<INSERT_NEW>": 32106,
  "<INSERT_OLD>": 32105,
  "<KEEP>": 32110,
  "<KEEP_END>": 32111,
  "<REPLACE>": 32100,
  "<REPLACE_END>": 32103,
  "<REPLACE_NEW>": 32102,
  "<REPLACE_OLD>": 32101
}