{
  " ": 6,
  "8": 15,
  "5": 12,
  "6": 13,
  "<pad>": 3,
  "=": 5,
  "9": 16,
  "<s>": 1,
  "2": 9,
  "1": 8,
  "<unk>": 0,
  "mod": 4,
  "3": 10,
  "0": 7,
  "7": 14,
  "4": 11,
  "</s>": 2
}