Property RERS17pb115-PT-8-ReachabilityCardinality-00
  "Automatically generated"
  is:
    E F ((((((((#tokens("p29")) <= (#tokens("p557")))) & (((3) <= (#tokens("p1118")))))) & (((((#tokens("p808")) <= (#tokens("p1258")))) | (((#tokens("p429")) <= (#tokens("p765")))))))) & (((((3) <= (#tokens("p3")))) | (! ((2) <= (#tokens("p305")))))))
  end.
Property RERS17pb115-PT-8-ReachabilityCardinality-01
  "Automatically generated"
  is:
    A G ((((((((#tokens("p1359")) <= (#tokens("p1348")))) | (((#tokens("p544")) <= (#tokens("p1192")))))) | (((#tokens("p732")) <= (#tokens("p521")))))) & (! ((((1) <= (#tokens("p832")))) | (((1) <= (#tokens("p464")))))))
  end.
Property RERS17pb115-PT-8-ReachabilityCardinality-02
  "Automatically generated"
  is:
    A G ((((((((#tokens("p286")) <= (#tokens("p393")))) | (((#tokens("p227")) <= (#tokens("p298")))))) | (! ((2) <= (#tokens("p517")))))) | (((((((1) <= (#tokens("p1193")))) | (((#tokens("p701")) <= (#tokens("p129")))))) | (((#tokens("p213")) <= (#tokens("p1341")))))))
  end.
Property RERS17pb115-PT-8-ReachabilityCardinality-03
  "Automatically generated"
  is:
    A G ((((#tokens("p1384")) <= (#tokens("p23")))) | (((1) <= (#tokens("p682")))))
  end.
Property RERS17pb115-PT-8-ReachabilityCardinality-04
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p1194")))
  end.
Property RERS17pb115-PT-8-ReachabilityCardinality-05
  "Automatically generated"
  is:
    A G ((((! ((#tokens("p137")) <= (#tokens("p1199")))) | (((((1) <= (#tokens("p665")))) & (((1) <= (#tokens("p1031")))))))) | (((((((#tokens("p1158")) <= (#tokens("p97")))) | (((#tokens("p104")) <= (#tokens("p985")))))) | (((1) <= (#tokens("p308")))))))
  end.
Property RERS17pb115-PT-8-ReachabilityCardinality-06
  "Automatically generated"
  is:
    A G ((#tokens("p45")) <= (#tokens("p186")))
  end.
Property RERS17pb115-PT-8-ReachabilityCardinality-07
  "Automatically generated"
  is:
    A G ((#tokens("p588")) <= (#tokens("p986")))
  end.
Property RERS17pb115-PT-8-ReachabilityCardinality-08
  "Automatically generated"
  is:
    A G ((! ((((#tokens("p464")) <= (#tokens("p1097")))) & (((3) <= (#tokens("p414")))))) | (! ((2) <= (#tokens("p1372")))))
  end.
Property RERS17pb115-PT-8-ReachabilityCardinality-09
  "Automatically generated"
  is:
    A G ((! ((((1) <= (#tokens("p945")))) & (((1) <= (#tokens("p1197")))))) & (((! ((1) <= (#tokens("p958")))) & (! ((1) <= (#tokens("p637")))))))
  end.
Property RERS17pb115-PT-8-ReachabilityCardinality-10
  "Automatically generated"
  is:
    A G ! ((3) <= (#tokens("p180")))
  end.
Property RERS17pb115-PT-8-ReachabilityCardinality-11
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("p1228")))
  end.
Property RERS17pb115-PT-8-ReachabilityCardinality-12
  "Automatically generated"
  is:
    A G ((((((#tokens("p1349")) <= (#tokens("p541")))) | (! ((#tokens("p1148")) <= (#tokens("p272")))))) | (! ((3) <= (#tokens("p1104")))))
  end.
Property RERS17pb115-PT-8-ReachabilityCardinality-13
  "Automatically generated"
  is:
    A G ! ((((((3) <= (#tokens("p1335")))) & (((1) <= (#tokens("p477")))))) | (((2) <= (#tokens("p290")))))
  end.
Property RERS17pb115-PT-8-ReachabilityCardinality-14
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p632")))
  end.
Property RERS17pb115-PT-8-ReachabilityCardinality-15
  "Automatically generated"
  is:
    A G ((#tokens("p145")) <= (#tokens("p496")))
  end.
