Property ViralEpidemic-PT-S08D1C2A04-UpperBounds-00
  "Automatically generated"
  is:
    bound("cFactor48476")
  end.
Property ViralEpidemic-PT-S08D1C2A04-UpperBounds-01
  "Automatically generated"
  is:
    bound("patient57586")
  end.
Property ViralEpidemic-PT-S08D1C2A04-UpperBounds-02
  "Automatically generated"
  is:
    bound("patient56821")
  end.
Property ViralEpidemic-PT-S08D1C2A04-UpperBounds-03
  "Automatically generated"
  is:
    bound("patient27671")
  end.
Property ViralEpidemic-PT-S08D1C2A04-UpperBounds-04
  "Automatically generated"
  is:
    bound("patient58137")
  end.
Property ViralEpidemic-PT-S08D1C2A04-UpperBounds-05
  "Automatically generated"
  is:
    bound("patient5528")
  end.
Property ViralEpidemic-PT-S08D1C2A04-UpperBounds-06
  "Automatically generated"
  is:
    bound("patient34744")
  end.
Property ViralEpidemic-PT-S08D1C2A04-UpperBounds-07
  "Automatically generated"
  is:
    bound("patient58285")
  end.
Property ViralEpidemic-PT-S08D1C2A04-UpperBounds-08
  "Automatically generated"
  is:
    bound("patient24842")
  end.
Property ViralEpidemic-PT-S08D1C2A04-UpperBounds-09
  "Automatically generated"
  is:
    bound("patient14853")
  end.
Property ViralEpidemic-PT-S08D1C2A04-UpperBounds-10
  "Automatically generated"
  is:
    bound("patient18878")
  end.
Property ViralEpidemic-PT-S08D1C2A04-UpperBounds-11
  "Automatically generated"
  is:
    bound("patient24476")
  end.
Property ViralEpidemic-PT-S08D1C2A04-UpperBounds-12
  "Automatically generated"
  is:
    bound("patient55153")
  end.
Property ViralEpidemic-PT-S08D1C2A04-UpperBounds-13
  "Automatically generated"
  is:
    bound("patient83214")
  end.
Property ViralEpidemic-PT-S08D1C2A04-UpperBounds-14
  "Automatically generated"
  is:
    bound("patient484")
  end.
Property ViralEpidemic-PT-S08D1C2A04-UpperBounds-15
  "Automatically generated"
  is:
    bound("dFactor44235")
  end.
