Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-00
  "Automatically generated"
  is:
    bound("patient223231222")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-01
  "Automatically generated"
  is:
    bound("patient312321133")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-02
  "Automatically generated"
  is:
    bound("dFactor812333133")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-03
  "Automatically generated"
  is:
    bound("patient311112211")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-04
  "Automatically generated"
  is:
    bound("patient133222323")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-05
  "Automatically generated"
  is:
    bound("patient111133223")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-06
  "Automatically generated"
  is:
    bound("patient111312312")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-07
  "Automatically generated"
  is:
    bound("dFactor813311123")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-08
  "Automatically generated"
  is:
    bound("patient132113113")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-09
  "Automatically generated"
  is:
    bound("patient133211331")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-10
  "Automatically generated"
  is:
    bound("dFactor833323111")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-11
  "Automatically generated"
  is:
    bound("patient122331332")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-12
  "Automatically generated"
  is:
    bound("patient333132223")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-13
  "Automatically generated"
  is:
    bound("dFactor811312131")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-14
  "Automatically generated"
  is:
    bound("patient123221311")
  end.
Property ViralEpidemic-PT-S03D1C1A08-UpperBounds-15
  "Automatically generated"
  is:
    bound("dFactor812222233")
  end.
