{
  "</s>": 4001,
  "<s>": 4000
}