Property RERS17pb115-PT-8-LTLCardinality-00
  "Automatically generated"
  is:
    A G X X X X !F (!(((0) <= (#tokens("p673"))) U X ((#tokens("p350")) <= (#tokens("p1016")))) & F ((0) <= (#tokens("p673"))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-01
  "Automatically generated"
  is:
    A X !(((#tokens("p1108")) <= (#tokens("p445"))) & G ((0) <= (#tokens("p103"))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-02
  "Automatically generated"
  is:
    A G F ((!((2) <= (#tokens("p585"))) & F G ((#tokens("p1251")) <= (#tokens("p1316")))) | G ((3) <= (#tokens("p108"))) | X F ((0) <= (#tokens("p1176"))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-03
  "Automatically generated"
  is:
    A X F X F G F G (F !X ((#tokens("p795")) <= (#tokens("p565"))) | X ((#tokens("p583")) <= (#tokens("p554"))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-04
  "Automatically generated"
  is:
    A F (((0) <= (#tokens("p1049"))) U F G ((#tokens("p1014")) <= (#tokens("p1029"))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-05
  "Automatically generated"
  is:
    A G (((#tokens("p689")) <= (#tokens("p955"))) U (G ((#tokens("p1115")) <= (#tokens("p637"))) & G !((#tokens("p1194")) <= (#tokens("p1334")))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-06
  "Automatically generated"
  is:
    A (((#tokens("p1118")) <= (#tokens("p753"))) & X G ((1) <= (#tokens("p1059"))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-07
  "Automatically generated"
  is:
    A (X (X F ((#tokens("p904")) <= (#tokens("p1094"))) U ((#tokens("p904")) <= (#tokens("p1094")))) & (((#tokens("p904")) <= (#tokens("p1094"))) | G ((2) <= (#tokens("p1042")))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-08
  "Automatically generated"
  is:
    A G (X !(((1) <= (#tokens("p583"))) | ((1) <= (#tokens("p7")))) | !(F ((#tokens("p586")) <= (#tokens("p1087"))) & G ((1) <= (#tokens("p583")))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-09
  "Automatically generated"
  is:
    A (((#tokens("p904")) <= (#tokens("p1335"))) & ((1) <= (#tokens("p172"))) & G X !X ((1) <= (#tokens("p172"))) & (((#tokens("p884")) <= (#tokens("p463"))) U ((1) <= (#tokens("p882")))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-10
  "Automatically generated"
  is:
    A (F ((#tokens("p274")) <= (#tokens("p1370"))) | (((1) <= (#tokens("p1167"))) & F G ((3) <= (#tokens("p228")))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-11
  "Automatically generated"
  is:
    A X X (G (((3) <= (#tokens("p835"))) | ((0) <= (#tokens("p383")))) U ((3) <= (#tokens("p835"))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-12
  "Automatically generated"
  is:
    A !F (((#tokens("p976")) <= (#tokens("p1350"))) U F X !(((3) <= (#tokens("p236"))) & ((1) <= (#tokens("p742")))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-13
  "Automatically generated"
  is:
    A (F ((0) <= (#tokens("p1354"))) U F !(((0) <= (#tokens("p1354"))) | G ((0) <= (#tokens("p1354")))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-14
  "Automatically generated"
  is:
    A !F ((3) <= (#tokens("p392")))
  end.
Property RERS17pb115-PT-8-LTLCardinality-15
  "Automatically generated"
  is:
    A (F (((2) <= (#tokens("p1150"))) | X F ((2) <= (#tokens("p1150")))) U (!((0) <= (#tokens("p281"))) | X F ((#tokens("p367")) <= (#tokens("p1172")))))
  end.
