added_tokens.json

{
  "<fin_univ_x>": 256001,
  "<inicio_univ_x>": 256000
}