Property ErlangenMainframeV0-PT-1106-LTLCardinality-00
  "Automatically generated"
  is:
    A X (G ((#tokens("p80")) <= (#tokens("p168"))) & F !((#tokens("p27")) <= (#tokens("p150"))) & F ((#tokens("p48")) <= (#tokens("p133"))) & F X X ((#tokens("p48")) <= (#tokens("p133"))))
  end.
Property ErlangenMainframeV0-PT-1106-LTLCardinality-01
  "Automatically generated"
  is:
    A (G F ((#tokens("p26")) <= (#tokens("p232"))) | (F ((3) <= (#tokens("p120"))) & !(X ((1) <= (#tokens("p135"))) U G ((2) <= (#tokens("p255"))))))
  end.
Property ErlangenMainframeV0-PT-1106-LTLCardinality-02
  "Automatically generated"
  is:
    A (F (!G ((#tokens("p124")) <= (#tokens("p226"))) & X F G X ((#tokens("p124")) <= (#tokens("p226")))) U X (((#tokens("p136")) <= (#tokens("p165"))) U ((3) <= (#tokens("p148")))))
  end.
Property ErlangenMainframeV0-PT-1106-LTLCardinality-03
  "Automatically generated"
  is:
    A !(G ((1) <= (#tokens("p30"))) | F (((1) <= (#tokens("p30"))) & ((1) <= (#tokens("p145")))))
  end.
Property ErlangenMainframeV0-PT-1106-LTLCardinality-04
  "Automatically generated"
  is:
    A X (F ((1) <= (#tokens("p202"))) & F ((2) <= (#tokens("p180"))) & F (((3) <= (#tokens("p206"))) & ((#tokens("p46")) <= (#tokens("p44")))))
  end.
Property ErlangenMainframeV0-PT-1106-LTLCardinality-05
  "Automatically generated"
  is:
    A G F (F ((#tokens("p26")) <= (#tokens("p213"))) U (!((1) <= (#tokens("p218"))) & G !(((#tokens("p65")) <= (#tokens("p220"))) & ((1) <= (#tokens("p218"))))))
  end.
Property ErlangenMainframeV0-PT-1106-LTLCardinality-06
  "Automatically generated"
  is:
    A (!G ((#tokens("p59")) <= (#tokens("p198"))) U ((#tokens("p26")) <= (#tokens("p21"))))
  end.
Property ErlangenMainframeV0-PT-1106-LTLCardinality-07
  "Automatically generated"
  is:
    A (((#tokens("p267")) <= (#tokens("p81"))) U F !((((#tokens("p267")) <= (#tokens("p81"))) U ((#tokens("p199")) <= (#tokens("p153")))) U (F ((#tokens("p163")) <= (#tokens("p52"))) U ((#tokens("p163")) <= (#tokens("p52"))))))
  end.
Property ErlangenMainframeV0-PT-1106-LTLCardinality-08
  "Automatically generated"
  is:
    A (F G X (((1) <= (#tokens("p225"))) U ((#tokens("p282")) <= (#tokens("p1")))) U X ((((#tokens("p48")) <= (#tokens("p274"))) U X ((#tokens("p237")) <= (#tokens("p114")))) U X ((1) <= (#tokens("p225")))))
  end.
Property ErlangenMainframeV0-PT-1106-LTLCardinality-09
  "Automatically generated"
  is:
    A (G ((2) <= (#tokens("p126"))) & !(!X ((1) <= (#tokens("p134"))) & X !F ((2) <= (#tokens("p126")))))
  end.
Property ErlangenMainframeV0-PT-1106-LTLCardinality-10
  "Automatically generated"
  is:
    A X G X G (!((1) <= (#tokens("p208"))) & X X G X X (((2) <= (#tokens("p274"))) & ((1) <= (#tokens("p84")))))
  end.
Property ErlangenMainframeV0-PT-1106-LTLCardinality-11
  "Automatically generated"
  is:
    A (F ((#tokens("p236")) <= (#tokens("p111"))) | G X ((#tokens("p157")) <= (#tokens("p18"))))
  end.
Property ErlangenMainframeV0-PT-1106-LTLCardinality-12
  "Automatically generated"
  is:
    A (((1) <= (#tokens("p236"))) & (X G !((1) <= (#tokens("p236"))) U G (!((1) <= (#tokens("p236"))) | (((3) <= (#tokens("p56"))) & G ((2) <= (#tokens("p121")))))))
  end.
Property ErlangenMainframeV0-PT-1106-LTLCardinality-13
  "Automatically generated"
  is:
    A F (X G (((2) <= (#tokens("p137"))) & G (((1) <= (#tokens("p219"))) | ((3) <= (#tokens("p87"))))) U ((2) <= (#tokens("p137"))))
  end.
Property ErlangenMainframeV0-PT-1106-LTLCardinality-14
  "Automatically generated"
  is:
    A (((#tokens("p82")) <= (#tokens("p155"))) | !((#tokens("p225")) <= (#tokens("p88"))) | X (F (((1) <= (#tokens("p108"))) & ((#tokens("p72")) <= (#tokens("p101")))) U (((#tokens("p225")) <= (#tokens("p88"))) U G ((#tokens("p225")) <= (#tokens("p88"))))))
  end.
Property ErlangenMainframeV0-PT-1106-LTLCardinality-15
  "Automatically generated"
  is:
    A X X F ((X ((3) <= (#tokens("p194"))) | (((3) <= (#tokens("p287"))) U ((#tokens("p52")) <= (#tokens("p163"))))) U G F ((#tokens("p52")) <= (#tokens("p163"))))
  end.
