Property ViralEpidemic-PT-S02D1C1A12-UpperBounds-00
  "Automatically generated"
  is:
    bound("cFactor12121212122111")
  end.
Property ViralEpidemic-PT-S02D1C1A12-UpperBounds-01
  "Automatically generated"
  is:
    bound("cFactor1121222221222")
  end.
Property ViralEpidemic-PT-S02D1C1A12-UpperBounds-02
  "Automatically generated"
  is:
    bound("dFactor1112221211221")
  end.
Property ViralEpidemic-PT-S02D1C1A12-UpperBounds-03
  "Automatically generated"
  is:
    bound("cFactor101122112211")
  end.
Property ViralEpidemic-PT-S02D1C1A12-UpperBounds-04
  "Automatically generated"
  is:
    bound("patient121211122212")
  end.
Property ViralEpidemic-PT-S02D1C1A12-UpperBounds-05
  "Automatically generated"
  is:
    bound("patient1111122111111")
  end.
Property ViralEpidemic-PT-S02D1C1A12-UpperBounds-06
  "Automatically generated"
  is:
    bound("patient212221222111")
  end.
Property ViralEpidemic-PT-S02D1C1A12-UpperBounds-07
  "Automatically generated"
  is:
    bound("dFactor101222111212")
  end.
Property ViralEpidemic-PT-S02D1C1A12-UpperBounds-08
  "Automatically generated"
  is:
    bound("patient2122222112222")
  end.
Property ViralEpidemic-PT-S02D1C1A12-UpperBounds-09
  "Automatically generated"
  is:
    bound("dFactor12221211111121")
  end.
Property ViralEpidemic-PT-S02D1C1A12-UpperBounds-10
  "Automatically generated"
  is:
    bound("patient1122112212212")
  end.
Property ViralEpidemic-PT-S02D1C1A12-UpperBounds-11
  "Automatically generated"
  is:
    bound("patient1221222212121")
  end.
Property ViralEpidemic-PT-S02D1C1A12-UpperBounds-12
  "Automatically generated"
  is:
    bound("cFactor12112122212122")
  end.
Property ViralEpidemic-PT-S02D1C1A12-UpperBounds-13
  "Automatically generated"
  is:
    bound("cFactor1121211221222")
  end.
Property ViralEpidemic-PT-S02D1C1A12-UpperBounds-14
  "Automatically generated"
  is:
    bound("patient1112221111211")
  end.
Property ViralEpidemic-PT-S02D1C1A12-UpperBounds-15
  "Automatically generated"
  is:
    bound("cFactor12111221112121")
  end.
