Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-00
  "Automatically generated"
  is:
    bound("cFactor72213133")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-01
  "Automatically generated"
  is:
    bound("cFactor821313212")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-02
  "Automatically generated"
  is:
    bound("dFactor831113132")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-03
  "Automatically generated"
  is:
    bound("patient333323313")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-04
  "Automatically generated"
  is:
    bound("patient11123321")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-05
  "Automatically generated"
  is:
    bound("patient321213233")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-06
  "Automatically generated"
  is:
    bound("dFactor831133232")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-07
  "Automatically generated"
  is:
    bound("patient123333331")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-08
  "Automatically generated"
  is:
    bound("patient2112231")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-09
  "Automatically generated"
  is:
    bound("cFactor73211131")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-10
  "Automatically generated"
  is:
    bound("patient31232112")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-11
  "Automatically generated"
  is:
    bound("cFactor71222331")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-12
  "Automatically generated"
  is:
    bound("patient121321131")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-13
  "Automatically generated"
  is:
    bound("patient322233111")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-14
  "Automatically generated"
  is:
    bound("patient213112222")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-15
  "Automatically generated"
  is:
    bound("cFactor831233333")
  end.
