Property ErlangenMainframeV0-PT-1104-LTLCardinality-00
  "Automatically generated"
  is:
    A ((G (G ((1) <= (#tokens("p194"))) U ((2) <= (#tokens("p3")))) U G ((#tokens("p68")) <= (#tokens("p152")))) U X X X ((2) <= (#tokens("p3"))))
  end.
Property ErlangenMainframeV0-PT-1104-LTLCardinality-01
  "Automatically generated"
  is:
    A X G !F (G X ((#tokens("p217")) <= (#tokens("p73"))) | F X G ((#tokens("p210")) <= (#tokens("p252"))))
  end.
Property ErlangenMainframeV0-PT-1104-LTLCardinality-02
  "Automatically generated"
  is:
    A ((((3) <= (#tokens("p191"))) & !F ((#tokens("p5")) <= (#tokens("p38")))) U X !(((2) <= (#tokens("p98"))) U (((2) <= (#tokens("p98"))) & G !((3) <= (#tokens("p18"))))))
  end.
Property ErlangenMainframeV0-PT-1104-LTLCardinality-03
  "Automatically generated"
  is:
    A F (X ((#tokens("p56")) <= (#tokens("p114"))) | G !((#tokens("p23")) <= (#tokens("p173"))) | G X G (((1) <= (#tokens("p181"))) U ((#tokens("p23")) <= (#tokens("p173")))))
  end.
Property ErlangenMainframeV0-PT-1104-LTLCardinality-04
  "Automatically generated"
  is:
    A ((((1) <= (#tokens("p0"))) & F G X ((3) <= (#tokens("p38")))) U X X (((#tokens("p154")) <= (#tokens("p186"))) | G ((1) <= (#tokens("p79")))))
  end.
Property ErlangenMainframeV0-PT-1104-LTLCardinality-05
  "Automatically generated"
  is:
    A !(G ((3) <= (#tokens("p257"))) | ((((#tokens("p2")) <= (#tokens("p119"))) U ((1) <= (#tokens("p185")))) U !((1) <= (#tokens("p185")))))
  end.
Property ErlangenMainframeV0-PT-1104-LTLCardinality-06
  "Automatically generated"
  is:
    A (((3) <= (#tokens("p188"))) U F X X G !((#tokens("p13")) <= (#tokens("p226"))))
  end.
Property ErlangenMainframeV0-PT-1104-LTLCardinality-07
  "Automatically generated"
  is:
    A X X (((#tokens("p143")) <= (#tokens("p5"))) & G ((2) <= (#tokens("p149"))) & (((#tokens("p0")) <= (#tokens("p133"))) U X ((#tokens("p143")) <= (#tokens("p5")))))
  end.
Property ErlangenMainframeV0-PT-1104-LTLCardinality-08
  "Automatically generated"
  is:
    A !(F ((2) <= (#tokens("p230"))) U F ((2) <= (#tokens("p75"))))
  end.
Property ErlangenMainframeV0-PT-1104-LTLCardinality-09
  "Automatically generated"
  is:
    A X (X X X !(F ((1) <= (#tokens("p212"))) | X (((2) <= (#tokens("p247"))) | X ((2) <= (#tokens("p38"))))) U ((1) <= (#tokens("p212"))))
  end.
Property ErlangenMainframeV0-PT-1104-LTLCardinality-10
  "Automatically generated"
  is:
    A F G (!G !((2) <= (#tokens("p120"))) & !(((#tokens("p264")) <= (#tokens("p126"))) U !X ((#tokens("p248")) <= (#tokens("p7")))))
  end.
Property ErlangenMainframeV0-PT-1104-LTLCardinality-11
  "Automatically generated"
  is:
    A X G X X (((3) <= (#tokens("p232"))) & ((3) <= (#tokens("p98"))))
  end.
Property ErlangenMainframeV0-PT-1104-LTLCardinality-12
  "Automatically generated"
  is:
    A ((((1) <= (#tokens("p151"))) & !(F ((1) <= (#tokens("p151"))) & X !((2) <= (#tokens("p81"))))) U F ((2) <= (#tokens("p81"))))
  end.
Property ErlangenMainframeV0-PT-1104-LTLCardinality-13
  "Automatically generated"
  is:
    A (X !X !((X ((#tokens("p268")) <= (#tokens("p185"))) U ((#tokens("p111")) <= (#tokens("p168")))) U X ((#tokens("p48")) <= (#tokens("p249")))) U ((#tokens("p48")) <= (#tokens("p249"))))
  end.
Property ErlangenMainframeV0-PT-1104-LTLCardinality-14
  "Automatically generated"
  is:
    A (X ((2) <= (#tokens("p110"))) & !G ((1) <= (#tokens("p18"))))
  end.
Property ErlangenMainframeV0-PT-1104-LTLCardinality-15
  "Automatically generated"
  is:
    A X (((((#tokens("p28")) <= (#tokens("p261"))) U ((2) <= (#tokens("p206")))) | (G ((#tokens("p28")) <= (#tokens("p261"))) U ((2) <= (#tokens("p226"))))) U X (((2) <= (#tokens("p226"))) U X ((1) <= (#tokens("p147")))))
  end.
