added_tokens.json

{
  "<dot>": 50351,
  "<line>": 50349,
  "<vertical_bar>": 50350,
  "<x_end>": 50346,
  "<x_start>": 50345,
  "<y_end>": 50348,
  "<y_start>": 50347,
  "<|BOS|>": 50344
}