(Program
{+(Hash)+}
{+(Hash
    (KeyValue
      (Identifier)
      (Integer)))+}
{+(Hash
    (KeyValue
      (Identifier)
      (Identifier))
    (KeyValue
      (Identifier)
      (Identifier)))+})