Property RERS17pb114-PT-2-LTLCardinality-00
  "Automatically generated"
  is:
    A F (((0) <= (#tokens("p683"))) | G ((((#tokens("p122")) <= (#tokens("p105"))) U ((0) <= (#tokens("p683")))) | (((#tokens("p122")) <= (#tokens("p105"))) & !X ((#tokens("p19")) <= (#tokens("p869"))))))
  end.
Property RERS17pb114-PT-2-LTLCardinality-01
  "Automatically generated"
  is:
    A !(!F !F (((2) <= (#tokens("p972"))) & F ((3) <= (#tokens("p617")))) U !(((3) <= (#tokens("p617"))) & X ((2) <= (#tokens("p972")))))
  end.
Property RERS17pb114-PT-2-LTLCardinality-02
  "Automatically generated"
  is:
    A (F !((3) <= (#tokens("p513"))) U !(((3) <= (#tokens("p513"))) | !((2) <= (#tokens("p261")))))
  end.
Property RERS17pb114-PT-2-LTLCardinality-03
  "Automatically generated"
  is:
    A (F ((0) <= (#tokens("p951"))) & G (!G F ((3) <= (#tokens("p128"))) U G ((3) <= (#tokens("p128")))))
  end.
Property RERS17pb114-PT-2-LTLCardinality-04
  "Automatically generated"
  is:
    A ((((#tokens("p603")) <= (#tokens("p804"))) U X (((#tokens("p505")) <= (#tokens("p1026"))) & X ((2) <= (#tokens("p608"))))) & (((#tokens("p845")) <= (#tokens("p728"))) | ((#tokens("p603")) <= (#tokens("p804"))) | (((#tokens("p845")) <= (#tokens("p728"))) U ((2) <= (#tokens("p608"))))))
  end.
Property RERS17pb114-PT-2-LTLCardinality-05
  "Automatically generated"
  is:
    A !X G (((3) <= (#tokens("p151"))) & X (!((#tokens("p1234")) <= (#tokens("p902"))) & ((#tokens("p384")) <= (#tokens("p665")))))
  end.
Property RERS17pb114-PT-2-LTLCardinality-06
  "Automatically generated"
  is:
    A G X F ((3) <= (#tokens("p928")))
  end.
Property RERS17pb114-PT-2-LTLCardinality-07
  "Automatically generated"
  is:
    A F G X !F G F (!((3) <= (#tokens("p336"))) | F ((#tokens("p203")) <= (#tokens("p1224"))))
  end.
Property RERS17pb114-PT-2-LTLCardinality-08
  "Automatically generated"
  is:
    A ((X !X ((#tokens("p365")) <= (#tokens("p436"))) | !X F ((#tokens("p1400")) <= (#tokens("p426")))) & F !(((#tokens("p1400")) <= (#tokens("p426"))) & ((3) <= (#tokens("p286")))))
  end.
Property RERS17pb114-PT-2-LTLCardinality-09
  "Automatically generated"
  is:
    A (!F X ((1) <= (#tokens("p621"))) U (F ((3) <= (#tokens("p732"))) & (((1) <= (#tokens("p621"))) | X (G ((1) <= (#tokens("p553"))) U ((1) <= (#tokens("p1180")))))))
  end.
Property RERS17pb114-PT-2-LTLCardinality-10
  "Automatically generated"
  is:
    A G !X ((#tokens("p1120")) <= (#tokens("p400")))
  end.
Property RERS17pb114-PT-2-LTLCardinality-11
  "Automatically generated"
  is:
    A F !((((2) <= (#tokens("p133"))) & F !((3) <= (#tokens("p373")))) | F (((3) <= (#tokens("p373"))) U G ((3) <= (#tokens("p373")))))
  end.
Property RERS17pb114-PT-2-LTLCardinality-12
  "Automatically generated"
  is:
    A G (G X (((#tokens("p1141")) <= (#tokens("p401"))) & X ((#tokens("p1418")) <= (#tokens("p1042")))) U X ((#tokens("p1141")) <= (#tokens("p401"))))
  end.
Property RERS17pb114-PT-2-LTLCardinality-13
  "Automatically generated"
  is:
    A (((3) <= (#tokens("p512"))) & (((#tokens("p850")) <= (#tokens("p180"))) U G ((#tokens("p850")) <= (#tokens("p180")))))
  end.
Property RERS17pb114-PT-2-LTLCardinality-14
  "Automatically generated"
  is:
    A F G X G (F ((3) <= (#tokens("p1269"))) & (X G F ((#tokens("p466")) <= (#tokens("p787"))) U ((3) <= (#tokens("p372")))))
  end.
Property RERS17pb114-PT-2-LTLCardinality-15
  "Automatically generated"
  is:
    A (X ((3) <= (#tokens("p1217"))) & F G (((2) <= (#tokens("p633"))) | (F (((2) <= (#tokens("p633"))) & ((2) <= (#tokens("p1099")))) U !((3) <= (#tokens("p1217"))))))
  end.
