{
  "</HAL>": 32000,
  "</s>": 2,
  "<HAL>": 32001,
  "<s>": 1,
  "<unk>": 0
}