Property RERS17pb113-PT-4-LTLCardinality-00
  "Automatically generated"
  is:
    A !((!X ((3) <= (#tokens("p625"))) U ((3) <= (#tokens("p625")))) & (((0) <= (#tokens("p412"))) | G ((3) <= (#tokens("p625"))) | F ((0) <= (#tokens("p412")))))
  end.
Property RERS17pb113-PT-4-LTLCardinality-01
  "Automatically generated"
  is:
    A X !G (!X (!((#tokens("p571")) <= (#tokens("p180"))) | G ((#tokens("p317")) <= (#tokens("p244")))) U ((#tokens("p317")) <= (#tokens("p244"))))
  end.
Property RERS17pb113-PT-4-LTLCardinality-02
  "Automatically generated"
  is:
    A ((F ((2) <= (#tokens("p506"))) & F G F (G ((3) <= (#tokens("p488"))) | F X ((2) <= (#tokens("p506"))))) U X ((2) <= (#tokens("p550"))))
  end.
Property RERS17pb113-PT-4-LTLCardinality-03
  "Automatically generated"
  is:
    A !F G !(G F !((0) <= (#tokens("p56"))) | (((#tokens("p591")) <= (#tokens("p463"))) & X ((0) <= (#tokens("p631")))))
  end.
Property RERS17pb113-PT-4-LTLCardinality-04
  "Automatically generated"
  is:
    A (F (G (((3) <= (#tokens("p114"))) | ((#tokens("p349")) <= (#tokens("p329")))) U G ((3) <= (#tokens("p114")))) & X X ((2) <= (#tokens("p610"))))
  end.
Property RERS17pb113-PT-4-LTLCardinality-05
  "Automatically generated"
  is:
    A !(X ((#tokens("p557")) <= (#tokens("p496"))) & (X X !(((0) <= (#tokens("p461"))) U X ((0) <= (#tokens("p461")))) U !G ((3) <= (#tokens("p492")))))
  end.
Property RERS17pb113-PT-4-LTLCardinality-06
  "Automatically generated"
  is:
    A X (((#tokens("p501")) <= (#tokens("p321"))) & F ((#tokens("p455")) <= (#tokens("p452"))) & (((3) <= (#tokens("p195"))) | G ((#tokens("p455")) <= (#tokens("p452")))))
  end.
Property RERS17pb113-PT-4-LTLCardinality-07
  "Automatically generated"
  is:
    A G (!X ((3) <= (#tokens("p368"))) U X (X ((#tokens("p64")) <= (#tokens("p522"))) U (X ((#tokens("p64")) <= (#tokens("p522"))) U ((3) <= (#tokens("p368"))))))
  end.
Property RERS17pb113-PT-4-LTLCardinality-08
  "Automatically generated"
  is:
    A X G !(!X !((2) <= (#tokens("p5"))) & X !((#tokens("p73")) <= (#tokens("p484"))))
  end.
Property RERS17pb113-PT-4-LTLCardinality-09
  "Automatically generated"
  is:
    A (G ((#tokens("p509")) <= (#tokens("p604"))) & X (((#tokens("p581")) <= (#tokens("p175"))) & F X ((0) <= (#tokens("p403")))))
  end.
Property RERS17pb113-PT-4-LTLCardinality-10
  "Automatically generated"
  is:
    A X !(((#tokens("p36")) <= (#tokens("p92"))) & F ((3) <= (#tokens("p128"))))
  end.
Property RERS17pb113-PT-4-LTLCardinality-11
  "Automatically generated"
  is:
    A (!((1) <= (#tokens("p237"))) & F (F ((1) <= (#tokens("p237"))) U !X ((1) <= (#tokens("p237")))))
  end.
Property RERS17pb113-PT-4-LTLCardinality-12
  "Automatically generated"
  is:
    A (X !F G ((2) <= (#tokens("p421"))) & F G (G ((0) <= (#tokens("p600"))) U ((2) <= (#tokens("p421")))))
  end.
Property RERS17pb113-PT-4-LTLCardinality-13
  "Automatically generated"
  is:
    A (((1) <= (#tokens("p372"))) U ((#tokens("p542")) <= (#tokens("p162"))))
  end.
Property RERS17pb113-PT-4-LTLCardinality-14
  "Automatically generated"
  is:
    A F X ((#tokens("p167")) <= (#tokens("p141")))
  end.
Property RERS17pb113-PT-4-LTLCardinality-15
  "Automatically generated"
  is:
    A X F X !F ((#tokens("p515")) <= (#tokens("p589")))
  end.
