{
  "[CAND]": 128002,
  "[DEC]": 128001,
  "[MASK]": 128000
}