added_tokens.json

{
  "</terminal_command>": 32001,
  "</user_input>": 32003,
  "<terminal_command>": 32000,
  "<user_input>": 32002
}