{
  "<</HAL>>": 32001,
  "<<HAL>>": 32000
}