Property RERS17pb115-PT-8-LTLCardinality-00
  "Automatically generated"
  is:
    A F !((#tokens("p353")) <= (#tokens("p1147")))
  end.
Property RERS17pb115-PT-8-LTLCardinality-01
  "Automatically generated"
  is:
    A X X (((#tokens("p340")) <= (#tokens("p42"))) U X !((#tokens("p340")) <= (#tokens("p42"))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-02
  "Automatically generated"
  is:
    A F G F (G (X X X ((#tokens("p350")) <= (#tokens("p1244"))) U ((1) <= (#tokens("p878")))) & (((2) <= (#tokens("p711"))) | G ((1) <= (#tokens("p878")))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-03
  "Automatically generated"
  is:
    A (G ((#tokens("p1093")) <= (#tokens("p1040"))) | F ((((#tokens("p1020")) <= (#tokens("p269"))) & G (((#tokens("p1093")) <= (#tokens("p1040"))) & G ((#tokens("p1093")) <= (#tokens("p1040"))))) U ((2) <= (#tokens("p265")))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-04
  "Automatically generated"
  is:
    A (!(((2) <= (#tokens("p500"))) U X X ((1) <= (#tokens("p692")))) | (G ((#tokens("p956")) <= (#tokens("p1083"))) & (((1) <= (#tokens("p692"))) | F ((#tokens("p956")) <= (#tokens("p1083"))))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-05
  "Automatically generated"
  is:
    A X ((((3) <= (#tokens("p1166"))) | ((1) <= (#tokens("p436")))) & (F ((#tokens("p1392")) <= (#tokens("p804"))) U X X ((2) <= (#tokens("p923")))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-06
  "Automatically generated"
  is:
    A G !G (X ((1) <= (#tokens("p523"))) U G (((#tokens("p1300")) <= (#tokens("p650"))) U ((1) <= (#tokens("p523")))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-07
  "Automatically generated"
  is:
    A F (G (X ((#tokens("p1398")) <= (#tokens("p1139"))) U (((2) <= (#tokens("p1274"))) | ((2) <= (#tokens("p409"))) | !((2) <= (#tokens("p911"))))) U G !((2) <= (#tokens("p409"))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-08
  "Automatically generated"
  is:
    A F G X !(!((1) <= (#tokens("p623"))) & X (((1) <= (#tokens("p1268"))) U X X ((#tokens("p589")) <= (#tokens("p716")))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-09
  "Automatically generated"
  is:
    A (((#tokens("p13")) <= (#tokens("p1151"))) | F ((2) <= (#tokens("p829"))) | F G (((#tokens("p13")) <= (#tokens("p1151"))) | X (((1) <= (#tokens("p611"))) | ((1) <= (#tokens("p172"))))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-10
  "Automatically generated"
  is:
    A (X X G X (!((#tokens("p188")) <= (#tokens("p1016"))) | ((#tokens("p130")) <= (#tokens("p748")))) U X X X X ((3) <= (#tokens("p695"))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-11
  "Automatically generated"
  is:
    A ((((1) <= (#tokens("p532"))) & ((3) <= (#tokens("p1163")))) | X ((1) <= (#tokens("p118"))) | G ((1) <= (#tokens("p811"))))
  end.
Property RERS17pb115-PT-8-LTLCardinality-12
"Automatically generated"
is:
A !(((3) <= (#tokens("p157"))) & G (((#tokens("p658")) <= (#tokens("p510"))) | ((3) <= (#tokens("p157")))))
end.
Property RERS17pb115-PT-8-LTLCardinality-13
"Automatically generated"
is:
A G (!((2) <= (#tokens("p186"))) | (((3) <= (#tokens("p676"))) U F ((3) <= (#tokens("p676")))) | F X X ((#tokens("p497")) <= (#tokens("p1111"))))
end.
Property RERS17pb115-PT-8-LTLCardinality-14
"Automatically generated"
is:
A F G (((1) <= (#tokens("p331"))) & F (((#tokens("p516")) <= (#tokens("p479"))) U ((1) <= (#tokens("p1261")))))
end.
Property RERS17pb115-PT-8-LTLCardinality-15
"Automatically generated"
is:
A F X X F (((#tokens("p438")) <= (#tokens("p29"))) | ((1) <= (#tokens("p190"))))
end.
