added_tokens.json

{
  "<conclusion>": 256006,
  "<critic>": 256005,
  "<end_of_father_id>": 256012,
  "<end_of_local_id>": 256014,
  "<end_of_rating>": 256002,
  "<end_of_thought>": 256008,
  "<negative_rating>": 256004,
  "<positive_rating>": 256003,
  "<problem>": 256009,
  "<refine>": 256010,
  "<start_of_father_id>": 256011,
  "<start_of_local_id>": 256013,
  "<start_of_rating>": 256000,
  "<start_of_thought>": 256007,
  "<unknown_rating>": 256001
}