Property RERS17pb114-PT-5-LTLCardinality-00
  "Automatically generated"
  is:
    A G (((#tokens("p657")) <= (#tokens("p451"))) | X !((2) <= (#tokens("p135"))) | G X F X G ((#tokens("p140")) <= (#tokens("p68"))))
  end.
Property RERS17pb114-PT-5-LTLCardinality-01
  "Automatically generated"
  is:
    A (F ((3) <= (#tokens("p975"))) | G (G ((3) <= (#tokens("p975"))) U ((2) <= (#tokens("p750")))))
  end.
Property RERS17pb114-PT-5-LTLCardinality-02
  "Automatically generated"
  is:
    A F ((G ((#tokens("p1")) <= (#tokens("p1192"))) U ((0) <= (#tokens("p359")))) | G (!X ((1) <= (#tokens("p786"))) U F ((0) <= (#tokens("p359")))))
  end.
Property RERS17pb114-PT-5-LTLCardinality-03
  "Automatically generated"
  is:
    A G !((((#tokens("p239")) <= (#tokens("p489"))) & (F X !((2) <= (#tokens("p985"))) U ((#tokens("p239")) <= (#tokens("p489"))))) U (((0) <= (#tokens("p167"))) | X ((1) <= (#tokens("p1263")))))
  end.
Property RERS17pb114-PT-5-LTLCardinality-04
  "Automatically generated"
  is:
    A (((#tokens("p9")) <= (#tokens("p264"))) U (X ((3) <= (#tokens("p3"))) | F G !G ((3) <= (#tokens("p3")))))
  end.
Property RERS17pb114-PT-5-LTLCardinality-05
  "Automatically generated"
  is:
    A X F G (G ((#tokens("p439")) <= (#tokens("p35"))) | !G X ((3) <= (#tokens("p1434"))))
  end.
Property RERS17pb114-PT-5-LTLCardinality-06
  "Automatically generated"
  is:
    A F (!(((3) <= (#tokens("p804"))) & ((#tokens("p1445")) <= (#tokens("p814")))) U F (((2) <= (#tokens("p1205"))) & !((((3) <= (#tokens("p804"))) U ((2) <= (#tokens("p1205")))) U ((#tokens("p1445")) <= (#tokens("p814"))))))
  end.
Property RERS17pb114-PT-5-LTLCardinality-07
  "Automatically generated"
  is:
    A (F !((3) <= (#tokens("p1257"))) & !(((3) <= (#tokens("p1257"))) & X !X (X ((#tokens("p1090")) <= (#tokens("p434"))) | G ((3) <= (#tokens("p776"))))))
  end.
Property RERS17pb114-PT-5-LTLCardinality-08
  "Automatically generated"
  is:
    A !X (((#tokens("p520")) <= (#tokens("p1054"))) U F (((#tokens("p763")) <= (#tokens("p1247"))) | ((1) <= (#tokens("p585"))) | F G ((#tokens("p763")) <= (#tokens("p1247")))))
  end.
Property RERS17pb114-PT-5-LTLCardinality-09
  "Automatically generated"
  is:
    A G !(!((#tokens("p793")) <= (#tokens("p1127"))) | ((((0) <= (#tokens("p1114"))) | X ((#tokens("p982")) <= (#tokens("p19")))) & X (((#tokens("p793")) <= (#tokens("p1127"))) | G ((#tokens("p247")) <= (#tokens("p456"))))))
  end.
Property RERS17pb114-PT-5-LTLCardinality-10
  "Automatically generated"
  is:
    A X (((2) <= (#tokens("p193"))) | !G (((3) <= (#tokens("p1351"))) | G (F ((2) <= (#tokens("p365"))) | G X X ((#tokens("p1156")) <= (#tokens("p606"))))))
  end.
Property RERS17pb114-PT-5-LTLCardinality-11
  "Automatically generated"
  is:
    A (((#tokens("p281")) <= (#tokens("p46"))) | F G F G F X (((#tokens("p281")) <= (#tokens("p46"))) U ((#tokens("p63")) <= (#tokens("p1330")))))
  end.
Property RERS17pb114-PT-5-LTLCardinality-12
  "Automatically generated"
  is:
    A (((1) <= (#tokens("p894"))) | X F G (((1) <= (#tokens("p1279"))) | (((1) <= (#tokens("p894"))) & X F ((3) <= (#tokens("p353"))))))
  end.
Property RERS17pb114-PT-5-LTLCardinality-13
  "Automatically generated"
  is:
    A (!(((#tokens("p109")) <= (#tokens("p907"))) | ((#tokens("p982")) <= (#tokens("p63")))) U ((((#tokens("p109")) <= (#tokens("p907"))) | ((#tokens("p1430")) <= (#tokens("p551")))) & G ((#tokens("p982")) <= (#tokens("p63")))))
  end.
Property RERS17pb114-PT-5-LTLCardinality-14
  "Automatically generated"
  is:
    A F (((3) <= (#tokens("p1214"))) | X ((#tokens("p438")) <= (#tokens("p456"))) | (((3) <= (#tokens("p1214"))) & X !X ((#tokens("p485")) <= (#tokens("p1226")))))
  end.
Property RERS17pb114-PT-5-LTLCardinality-15
  "Automatically generated"
  is:
    A !G X X G ((3) <= (#tokens("p1304")))
  end.
