Property RERS17pb115-PT-7-LTLCardinality-00
  "Automatically generated"
  is:
    A X (!X (((2) <= (#tokens("p1314"))) U ((3) <= (#tokens("p1193")))) U X ((3) <= (#tokens("p1193"))))
  end.
Property RERS17pb115-PT-7-LTLCardinality-01
  "Automatically generated"
  is:
    A G ((F ((1) <= (#tokens("p4"))) U X X (((#tokens("p1328")) <= (#tokens("p645"))) & (((#tokens("p229")) <= (#tokens("p689"))) U X ((3) <= (#tokens("p72")))))) U X ((#tokens("p1309")) <= (#tokens("p420"))))
  end.
Property RERS17pb115-PT-7-LTLCardinality-02
  "Automatically generated"
  is:
    A X (X !((2) <= (#tokens("p1241"))) U (G ((#tokens("p1315")) <= (#tokens("p1136"))) & (!((3) <= (#tokens("p1043"))) U ((3) <= (#tokens("p1043"))))))
  end.
Property RERS17pb115-PT-7-LTLCardinality-03
  "Automatically generated"
  is:
    A (X ((1) <= (#tokens("p572"))) & G ((1) <= (#tokens("p1359"))) & G ((1) <= (#tokens("p572"))) & (((#tokens("p1358")) <= (#tokens("p908"))) U ((1) <= (#tokens("p972")))))
  end.
Property RERS17pb115-PT-7-LTLCardinality-04
  "Automatically generated"
  is:
    A (G X X ((#tokens("p834")) <= (#tokens("p959"))) | (!G ((#tokens("p1245")) <= (#tokens("p806"))) U X X ((#tokens("p548")) <= (#tokens("p945")))))
  end.
Property RERS17pb115-PT-7-LTLCardinality-05
  "Automatically generated"
  is:
    A X G X F (((1) <= (#tokens("p201"))) & F ((3) <= (#tokens("p1191"))))
  end.
Property RERS17pb115-PT-7-LTLCardinality-06
  "Automatically generated"
  is:
    A (!((1) <= (#tokens("p224"))) & F !X G X (((1) <= (#tokens("p953"))) U !(G ((#tokens("p846")) <= (#tokens("p581"))) U ((1) <= (#tokens("p224"))))))
  end.
Property RERS17pb115-PT-7-LTLCardinality-07
  "Automatically generated"
  is:
    A F X G !((3) <= (#tokens("p481")))
  end.
Property RERS17pb115-PT-7-LTLCardinality-08
  "Automatically generated"
  is:
    A (X G ((#tokens("p610")) <= (#tokens("p962"))) | !X X X ((1) <= (#tokens("p1207"))))
  end.
Property RERS17pb115-PT-7-LTLCardinality-09
  "Automatically generated"
  is:
    A G !X F !(X ((#tokens("p1328")) <= (#tokens("p518"))) & G !G !((#tokens("p1328")) <= (#tokens("p518"))))
  end.
Property RERS17pb115-PT-7-LTLCardinality-10
  "Automatically generated"
  is:
    A F (F ((2) <= (#tokens("p1224"))) & F (F ((2) <= (#tokens("p1224"))) | G ((1) <= (#tokens("p693")))))
  end.
Property RERS17pb115-PT-7-LTLCardinality-11
  "Automatically generated"
  is:
    A (((1) <= (#tokens("p140"))) & F (((#tokens("p536")) <= (#tokens("p861"))) & F ((#tokens("p538")) <= (#tokens("p1137")))) & X (((1) <= (#tokens("p823"))) & F ((2) <= (#tokens("p1173")))))
  end.
Property RERS17pb115-PT-7-LTLCardinality-12
"Automatically generated 2023"
is:
A (F ((2) <= (#tokens("p227"))) & (((2) <= (#tokens("p227"))) | ((3) <= (#tokens("p492"))) | G X (((3) <= (#tokens("p492"))) | !X G ((2) <= (#tokens("p227"))))))
end.
Property RERS17pb115-PT-7-LTLCardinality-13
"Automatically generated"
is:
A X (((#tokens("p1393")) <= (#tokens("p182"))) | X (((#tokens("p1393")) <= (#tokens("p182"))) U ((#tokens("p813")) <= (#tokens("p267")))))
end.
Property RERS17pb115-PT-7-LTLCardinality-14
"Automatically generated"
is:
A !F ((!((1) <= (#tokens("p1196"))) & (((3) <= (#tokens("p793"))) | ((#tokens("p290")) <= (#tokens("p571"))))) U (((#tokens("p290")) <= (#tokens("p571"))) & !G X ((#tokens("p665")) <= (#tokens("p106")))))
end.
Property RERS17pb115-PT-7-LTLCardinality-15
"Automatically generated"
is:
A (((#tokens("p944")) <= (#tokens("p1040"))) U (F (((#tokens("p162")) <= (#tokens("p131"))) | F (((#tokens("p944")) <= (#tokens("p1040"))) U ((#tokens("p364")) <= (#tokens("p392"))))) | F G ((#tokens("p210")) <= (#tokens("p964")))))
end.
