{
  "<cls>": 32102,
  "<ctx>": 32100,
  "<rot>": 32103,
  "<sep>": 32101
}