Property RERS17pb113-PT-9-LTLCardinality-00
  "Automatically generated"
  is:
    A X (X (X ((#tokens("p568")) <= (#tokens("p114"))) | X F !G ((#tokens("p538")) <= (#tokens("p629")))) U (((2) <= (#tokens("p283"))) | ((#tokens("p568")) <= (#tokens("p114")))))
  end.
Property RERS17pb113-PT-9-LTLCardinality-01
  "Automatically generated"
  is:
    A !(X X F ((#tokens("p329")) <= (#tokens("p456"))) & (((#tokens("p573")) <= (#tokens("p236"))) | ((#tokens("p28")) <= (#tokens("p490"))) | (!((#tokens("p573")) <= (#tokens("p236"))) U G ((#tokens("p573")) <= (#tokens("p236"))))))
  end.
Property RERS17pb113-PT-9-LTLCardinality-02
  "Automatically generated"
  is:
    A (F !((1) <= (#tokens("p473"))) & !F (!((2) <= (#tokens("p362"))) | ((3) <= (#tokens("p267")))))
  end.
Property RERS17pb113-PT-9-LTLCardinality-03
  "Automatically generated"
  is:
    A (((G ((#tokens("p482")) <= (#tokens("p60"))) U ((#tokens("p26")) <= (#tokens("p383")))) U !((3) <= (#tokens("p84")))) U G (((#tokens("p26")) <= (#tokens("p383"))) U X X ((#tokens("p26")) <= (#tokens("p383")))))
  end.
Property RERS17pb113-PT-9-LTLCardinality-04
  "Automatically generated"
  is:
    A X X (!((3) <= (#tokens("p518"))) U ((#tokens("p200")) <= (#tokens("p155"))))
  end.
Property RERS17pb113-PT-9-LTLCardinality-05
  "Automatically generated"
  is:
    A G F !F X F (((2) <= (#tokens("p517"))) | !F !(((#tokens("p592")) <= (#tokens("p371"))) & G ((#tokens("p592")) <= (#tokens("p371")))))
  end.
Property RERS17pb113-PT-9-LTLCardinality-06
  "Automatically generated"
  is:
    A !F X (G ((2) <= (#tokens("p17"))) & !(G F G ((2) <= (#tokens("p17"))) U X X ((2) <= (#tokens("p574")))))
  end.
Property RERS17pb113-PT-9-LTLCardinality-07
  "Automatically generated"
  is:
    A (F ((2) <= (#tokens("p313"))) & (G ((2) <= (#tokens("p313"))) U (((3) <= (#tokens("p480"))) U X X ((#tokens("p275")) <= (#tokens("p501"))))))
  end.
Property RERS17pb113-PT-9-LTLCardinality-08
  "Automatically generated"
  is:
    A (((#tokens("p206")) <= (#tokens("p10"))) | X ((1) <= (#tokens("p227"))) | (((2) <= (#tokens("p563"))) U ((#tokens("p140")) <= (#tokens("p424")))) | F !G F ((1) <= (#tokens("p227"))))
  end.
Property RERS17pb113-PT-9-LTLCardinality-09
  "Automatically generated"
  is:
    A (G F ((2) <= (#tokens("p9"))) U X X (X ((3) <= (#tokens("p45"))) | X G ((2) <= (#tokens("p19")))))
  end.
Property RERS17pb113-PT-9-LTLCardinality-10
  "Automatically generated"
  is:
    A F !F ((2) <= (#tokens("p536")))
  end.
Property RERS17pb113-PT-9-LTLCardinality-11
  "Automatically generated"
  is:
    A !F (((#tokens("p263")) <= (#tokens("p222"))) & ((2) <= (#tokens("p628"))))
  end.
Property RERS17pb113-PT-9-LTLCardinality-12
"Automatically generated 2023"
is:
A !F (F G ((#tokens("p430")) <= (#tokens("p494"))) & G F ((#tokens("p638")) <= (#tokens("p44"))) & G F !X ((3) <= (#tokens("p235"))))
end.
Property RERS17pb113-PT-9-LTLCardinality-13
"Automatically generated"
is:
A F (G X (!((1) <= (#tokens("p215"))) | (!((1) <= (#tokens("p201"))) & ((1) <= (#tokens("p215"))))) & G !X ((2) <= (#tokens("p295"))))
end.
Property RERS17pb113-PT-9-LTLCardinality-14
"Automatically generated"
is:
A G X !F !G !X (((2) <= (#tokens("p553"))) | ((#tokens("p246")) <= (#tokens("p243"))))
end.
Property RERS17pb113-PT-9-LTLCardinality-15
"Automatically generated"
is:
A F (((1) <= (#tokens("p336"))) & G F G (X X ((#tokens("p325")) <= (#tokens("p150"))) U ((#tokens("p325")) <= (#tokens("p150")))))
end.
