Property ViralEpidemic-PT-S04D1C1A06-UpperBounds-00
  "Automatically generated"
  is:
    bound("patient4122131")
  end.
Property ViralEpidemic-PT-S04D1C1A06-UpperBounds-01
  "Automatically generated"
  is:
    bound("patient2142324")
  end.
Property ViralEpidemic-PT-S04D1C1A06-UpperBounds-02
  "Automatically generated"
  is:
    bound("patient3141312")
  end.
Property ViralEpidemic-PT-S04D1C1A06-UpperBounds-03
  "Automatically generated"
  is:
    bound("dFactor6111242")
  end.
Property ViralEpidemic-PT-S04D1C1A06-UpperBounds-04
  "Automatically generated"
  is:
    bound("dFactor6323111")
  end.
Property ViralEpidemic-PT-S04D1C1A06-UpperBounds-05
  "Automatically generated"
  is:
    bound("patient4343231")
  end.
Property ViralEpidemic-PT-S04D1C1A06-UpperBounds-06
  "Automatically generated"
  is:
    bound("patient1234123")
  end.
Property ViralEpidemic-PT-S04D1C1A06-UpperBounds-07
  "Automatically generated"
  is:
    bound("patient223141")
  end.
Property ViralEpidemic-PT-S04D1C1A06-UpperBounds-08
  "Automatically generated"
  is:
    bound("dFactor44243")
  end.
Property ViralEpidemic-PT-S04D1C1A06-UpperBounds-09
  "Automatically generated"
  is:
    bound("patient1121322")
  end.
Property ViralEpidemic-PT-S04D1C1A06-UpperBounds-10
  "Automatically generated"
  is:
    bound("patient424231")
  end.
Property ViralEpidemic-PT-S04D1C1A06-UpperBounds-11
  "Automatically generated"
  is:
    bound("patient344231")
  end.
Property ViralEpidemic-PT-S04D1C1A06-UpperBounds-12
  "Automatically generated"
  is:
    bound("patient1142131")
  end.
Property ViralEpidemic-PT-S04D1C1A06-UpperBounds-13
  "Automatically generated"
  is:
    bound("dFactor6332243")
  end.
Property ViralEpidemic-PT-S04D1C1A06-UpperBounds-14
  "Automatically generated"
  is:
    bound("dFactor6434114")
  end.
Property ViralEpidemic-PT-S04D1C1A06-UpperBounds-15
  "Automatically generated"
  is:
    bound("patient33224")
  end.
