Property RERS17pb115-PT-1-LTLCardinality-00
  "Automatically generated"
  is:
    A ((((#tokens("p1386")) <= (#tokens("p791"))) | ((#tokens("p794")) <= (#tokens("p32")))) U G F (G ((#tokens("p1386")) <= (#tokens("p791"))) U ((#tokens("p1386")) <= (#tokens("p791")))))
  end.
Property RERS17pb115-PT-1-LTLCardinality-01
  "Automatically generated"
  is:
    A !F X X G (((#tokens("p324")) <= (#tokens("p691"))) & (((2) <= (#tokens("p827"))) | F ((#tokens("p324")) <= (#tokens("p691")))))
  end.
Property RERS17pb115-PT-1-LTLCardinality-02
  "Automatically generated"
  is:
    A !(G (((2) <= (#tokens("p94"))) | ((#tokens("p659")) <= (#tokens("p282")))) | X F !(F ((0) <= (#tokens("p59"))) U F G ((#tokens("p1268")) <= (#tokens("p1173")))))
  end.
Property RERS17pb115-PT-1-LTLCardinality-03
  "Automatically generated"
  is:
    A G X !(((#tokens("p456")) <= (#tokens("p328"))) | X ((#tokens("p456")) <= (#tokens("p328"))))
  end.
Property RERS17pb115-PT-1-LTLCardinality-04
  "Automatically generated"
  is:
    A (G ((#tokens("p37")) <= (#tokens("p952"))) & G X !(X X (((0) <= (#tokens("p807"))) & ((#tokens("p37")) <= (#tokens("p952")))) U (((0) <= (#tokens("p72"))) U ((#tokens("p1074")) <= (#tokens("p1128"))))))
  end.
Property RERS17pb115-PT-1-LTLCardinality-05
  "Automatically generated"
  is:
    A (G ((1) <= (#tokens("p492"))) | X X (F !((2) <= (#tokens("p550"))) U (((2) <= (#tokens("p550"))) | ((3) <= (#tokens("p222"))))))
  end.
Property RERS17pb115-PT-1-LTLCardinality-06
  "Automatically generated"
  is:
    A !G (G ((#tokens("p264")) <= (#tokens("p749"))) U X ((#tokens("p551")) <= (#tokens("p667"))))
  end.
Property RERS17pb115-PT-1-LTLCardinality-07
  "Automatically generated"
  is:
    A G !(F ((0) <= (#tokens("p909"))) U !G (((0) <= (#tokens("p909"))) U G !((0) <= (#tokens("p909")))))
  end.
Property RERS17pb115-PT-1-LTLCardinality-08
  "Automatically generated"
  is:
    A (X (((#tokens("p802")) <= (#tokens("p349"))) U ((#tokens("p1359")) <= (#tokens("p1227")))) | (F !((1) <= (#tokens("p1360"))) & (X X ((#tokens("p1359")) <= (#tokens("p1227"))) | F ((1) <= (#tokens("p1360"))))))
  end.
Property RERS17pb115-PT-1-LTLCardinality-09
  "Automatically generated"
  is:
    A ((F ((#tokens("p930")) <= (#tokens("p640"))) & X G !X X ((#tokens("p767")) <= (#tokens("p787")))) U !((#tokens("p930")) <= (#tokens("p640"))))
  end.
Property RERS17pb115-PT-1-LTLCardinality-10
  "Automatically generated"
  is:
    A G (((#tokens("p722")) <= (#tokens("p80"))) U X X X X !(((3) <= (#tokens("p624"))) & (((#tokens("p829")) <= (#tokens("p874"))) U ((1) <= (#tokens("p134"))))))
  end.
Property RERS17pb115-PT-1-LTLCardinality-11
  "Automatically generated"
  is:
    A X F X !F ((X F (((#tokens("p522")) <= (#tokens("p1059"))) | ((#tokens("p84")) <= (#tokens("p266")))) & G ((#tokens("p522")) <= (#tokens("p1059")))) U ((#tokens("p84")) <= (#tokens("p266"))))
  end.
Property RERS17pb115-PT-1-LTLCardinality-12
  "Automatically generated"
  is:
    A (((1) <= (#tokens("p1061"))) | G X ((0) <= (#tokens("p987"))))
  end.
Property RERS17pb115-PT-1-LTLCardinality-13
  "Automatically generated"
  is:
    A ((X ((0) <= (#tokens("p707"))) & F G F ((#tokens("p1203")) <= (#tokens("p453")))) U F ((((#tokens("p1203")) <= (#tokens("p453"))) & ((0) <= (#tokens("p707")))) U ((1) <= (#tokens("p452")))))
  end.
Property RERS17pb115-PT-1-LTLCardinality-14
  "Automatically generated"
  is:
    A (F ((0) <= (#tokens("p960"))) | X (((0) <= (#tokens("p960"))) & X F ((#tokens("p416")) <= (#tokens("p635")))))
  end.
Property RERS17pb115-PT-1-LTLCardinality-15
  "Automatically generated"
  is:
    A G (F ((2) <= (#tokens("p1017"))) & F G ((2) <= (#tokens("p578"))))
  end.
