Property LoLA_Ausgabe-UpperBounds-00
  "Automatically generated"
  is:
    bound("p328")
  end.
Property LoLA_Ausgabe-UpperBounds-01
  "Automatically generated"
  is:
    bound("p156")
  end.
Property LoLA_Ausgabe-UpperBounds-02
  "Automatically generated"
  is:
    bound("p10")
  end.
Property LoLA_Ausgabe-UpperBounds-03
  "Automatically generated"
  is:
    bound("p51")
  end.
Property LoLA_Ausgabe-UpperBounds-04
  "Automatically generated"
  is:
    bound("p391")
  end.
Property LoLA_Ausgabe-UpperBounds-05
  "Automatically generated"
  is:
    bound("p124")
  end.
Property LoLA_Ausgabe-UpperBounds-06
  "Automatically generated"
  is:
    bound("p202")
  end.
Property LoLA_Ausgabe-UpperBounds-07
  "Automatically generated"
  is:
    bound("p113")
  end.
Property LoLA_Ausgabe-UpperBounds-08
  "Automatically generated"
  is:
    bound("p383")
  end.
Property LoLA_Ausgabe-UpperBounds-09
  "Automatically generated"
  is:
    bound("p383")
  end.
Property LoLA_Ausgabe-UpperBounds-10
  "Automatically generated"
  is:
    bound("p228")
  end.
Property LoLA_Ausgabe-UpperBounds-11
  "Automatically generated"
  is:
    bound("p220")
  end.
Property LoLA_Ausgabe-UpperBounds-12
  "Automatically generated"
  is:
    bound("p414")
  end.
Property LoLA_Ausgabe-UpperBounds-13
  "Automatically generated"
  is:
    bound("p160")
  end.
Property LoLA_Ausgabe-UpperBounds-14
  "Automatically generated"
  is:
    bound("p170")
  end.
Property LoLA_Ausgabe-UpperBounds-15
  "Automatically generated"
  is:
    bound("p91")
  end.
