Property NeoElection-PT-5-UpperBounds-00
  "Automatically generated"
  is:
    bound("electedPrimary_0", "electedPrimary_1", "electedPrimary_2", "electedPrimary_3", "electedPrimary_4", "electedPrimary_5")
  end.
Property NeoElection-PT-5-UpperBounds-01
  "Automatically generated"
  is:
    bound("masterState_0_F_0", "masterState_0_F_1", "masterState_0_F_2", "masterState_0_F_3", "masterState_0_F_4", "masterState_0_F_5", "masterState_0_T_0", "masterState_0_T_1", "masterState_0_T_2", "masterState_0_T_3", "masterState_0_T_4", "masterState_0_T_5", "masterState_1_F_0", "masterState_1_F_1", "masterState_1_F_2", "masterState_1_F_3", "masterState_1_F_4", "masterState_1_F_5", "masterState_1_T_0", "masterState_1_T_1", "masterState_1_T_2", "masterState_1_T_3", "masterState_1_T_4", "masterState_1_T_5", "masterState_2_F_0", "masterState_2_F_1", "masterState_2_F_2", "masterState_2_F_3", "masterState_2_F_4", "masterState_2_F_5", "masterState_2_T_0", "masterState_2_T_1", "masterState_2_T_2", "masterState_2_T_3", "masterState_2_T_4", "masterState_2_T_5", "masterState_3_F_0", "masterState_3_F_1", "masterState_3_F_2", "masterState_3_F_3", "masterState_3_F_4", "masterState_3_F_5", "masterState_3_T_0", "masterState_3_T_1", "masterState_3_T_2", "masterState_3_T_3", "masterState_3_T_4", "masterState_3_T_5", "masterState_4_F_0", "masterState_4_F_1", "masterState_4_F_2", "masterState_4_F_3", "masterState_4_F_4", "masterState_4_F_5", "masterState_4_T_0", "masterState_4_T_1", "masterState_4_T_2", "masterState_4_T_3", "masterState_4_T_4", "masterState_4_T_5", "masterState_5_F_0", "masterState_5_F_1", "masterState_5_F_2", "masterState_5_F_3", "masterState_5_F_4", "masterState_5_F_5", "masterState_5_T_0", "masterState_5_T_1", "masterState_5_T_2", "masterState_5_T_3", "masterState_5_T_4", "masterState_5_T_5")
  end.
Property NeoElection-PT-5-UpperBounds-02
  "Automatically generated"
  is:
    bound("polling_0", "polling_1", "polling_2", "polling_3", "polling_4", "polling_5")
  end.
Property NeoElection-PT-5-UpperBounds-03
  "Automatically generated"
  is:
    bound("sendAnnPs__broadcasting_0_1", "sendAnnPs__broadcasting_0_2", "sendAnnPs__broadcasting_0_3", "sendAnnPs__broadcasting_0_4", "sendAnnPs__broadcasting_0_5", "sendAnnPs__broadcasting_1_1", "sendAnnPs__broadcasting_1_2", "sendAnnPs__broadcasting_1_3", "sendAnnPs__broadcasting_1_4", "sendAnnPs__broadcasting_1_5", "sendAnnPs__broadcasting_2_1", "sendAnnPs__broadcasting_2_2", "sendAnnPs__broadcasting_2_3", "sendAnnPs__broadcasting_2_4", "sendAnnPs__broadcasting_2_5", "sendAnnPs__broadcasting_3_1", "sendAnnPs__broadcasting_3_2", "sendAnnPs__broadcasting_3_3", "sendAnnPs__broadcasting_3_4", "sendAnnPs__broadcasting_3_5", "sendAnnPs__broadcasting_4_1", "sendAnnPs__broadcasting_4_2", "sendAnnPs__broadcasting_4_3", "sendAnnPs__broadcasting_4_4", "sendAnnPs__broadcasting_4_5", "sendAnnPs__broadcasting_5_1", "sendAnnPs__broadcasting_5_2", "sendAnnPs__broadcasting_5_3", "sendAnnPs__broadcasting_5_4", "sendAnnPs__broadcasting_5_5")
  end.
Property NeoElection-PT-5-UpperBounds-04
  "Automatically generated"
  is:
    bound("electionFailed_0", "electionFailed_1", "electionFailed_2", "electionFailed_3", "electionFailed_4", "electionFailed_5")
  end.
Property NeoElection-PT-5-UpperBounds-05
  "Automatically generated"
  is:
    bound("poll__waitingMessage_0", "poll__waitingMessage_1", "poll__waitingMessage_2", "poll__waitingMessage_3", "poll__waitingMessage_4", "poll__waitingMessage_5")
  end.
Property NeoElection-PT-5-UpperBounds-06
  "Automatically generated"
  is:
    bound("poll__pollEnd_0", "poll__pollEnd_1", "poll__pollEnd_2", "poll__pollEnd_3", "poll__pollEnd_4", "poll__pollEnd_5")
  end.
Property NeoElection-PT-5-UpperBounds-07
  "Automatically generated"
  is:
    bound("masterState_0_F_0", "masterState_0_F_1", "masterState_0_F_2", "masterState_0_F_3", "masterState_0_F_4", "masterState_0_F_5", "masterState_0_T_0", "masterState_0_T_1", "masterState_0_T_2", "masterState_0_T_3", "masterState_0_T_4", "masterState_0_T_5", "masterState_1_F_0", "masterState_1_F_1", "masterState_1_F_2", "masterState_1_F_3", "masterState_1_F_4", "masterState_1_F_5", "masterState_1_T_0", "masterState_1_T_1", "masterState_1_T_2", "masterState_1_T_3", "masterState_1_T_4", "masterState_1_T_5", "masterState_2_F_0", "masterState_2_F_1", "masterState_2_F_2", "masterState_2_F_3", "masterState_2_F_4", "masterState_2_F_5", "masterState_2_T_0", "masterState_2_T_1", "masterState_2_T_2", "masterState_2_T_3", "masterState_2_T_4", "masterState_2_T_5", "masterState_3_F_0", "masterState_3_F_1", "masterState_3_F_2", "masterState_3_F_3", "masterState_3_F_4", "masterState_3_F_5", "masterState_3_T_0", "masterState_3_T_1", "masterState_3_T_2", "masterState_3_T_3", "masterState_3_T_4", "masterState_3_T_5", "masterState_4_F_0", "masterState_4_F_1", "masterState_4_F_2", "masterState_4_F_3", "masterState_4_F_4", "masterState_4_F_5", "masterState_4_T_0", "masterState_4_T_1", "masterState_4_T_2", "masterState_4_T_3", "masterState_4_T_4", "masterState_4_T_5", "masterState_5_F_0", "masterState_5_F_1", "masterState_5_F_2", "masterState_5_F_3", "masterState_5_F_4", "masterState_5_F_5", "masterState_5_T_0", "masterState_5_T_1", "masterState_5_T_2", "masterState_5_T_3", "masterState_5_T_4", "masterState_5_T_5")
  end.
Property NeoElection-PT-5-UpperBounds-08
  "Automatically generated"
  is:
    bound("network_5_0_RP_5")
  end.
Property NeoElection-PT-5-UpperBounds-09
  "Automatically generated"
  is:
    bound("network_1_2_RI_3")
  end.
Property NeoElection-PT-5-UpperBounds-10
  "Automatically generated"
  is:
    bound("network_2_2_AnsP_1")
  end.
Property NeoElection-PT-5-UpperBounds-11
  "Automatically generated"
  is:
    bound("sendAnnPs__broadcasting_0_5")
  end.
Property NeoElection-PT-5-UpperBounds-12
  "Automatically generated"
  is:
    bound("network_1_4_RI_0")
  end.
Property NeoElection-PT-5-UpperBounds-13
  "Automatically generated"
  is:
    bound("network_4_4_RP_4")
  end.
Property NeoElection-PT-5-UpperBounds-14
  "Automatically generated"
  is:
    bound("network_0_5_AskP_0")
  end.
Property NeoElection-PT-5-UpperBounds-15
  "Automatically generated"
  is:
    bound("poll__networl_3_3_AI_1")
  end.
