Property RingSingleMessageInMbox-PT-d2m160-LTLCardinality-00
  "Automatically generated"
  is:
    A F (F G X !X ((#tokens("p10053")) <= (#tokens("l10468"))) | !(G ((#tokens("l10653")) <= (#tokens("l13440"))) U G ((#tokens("l42739")) <= (#tokens("l82")))))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLCardinality-01
  "Automatically generated"
  is:
    A (F (((#tokens("l3424")) <= (#tokens("l29995"))) & F ((2) <= (#tokens("l47832")))) & !(((2) <= (#tokens("l3949"))) & F ((3) <= (#tokens("l22851")))))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLCardinality-02
  "Automatically generated"
  is:
    A !F G (!(((1) <= (#tokens("p916"))) & X ((#tokens("l11131")) <= (#tokens("l17667")))) & X ((1) <= (#tokens("p916"))))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLCardinality-03
  "Automatically generated"
  is:
    A (G ((#tokens("l8140")) <= (#tokens("l28951"))) U (((2) <= (#tokens("p4483"))) U F (((2) <= (#tokens("p4483"))) & X F (((2) <= (#tokens("p4483"))) | F G ((2) <= (#tokens("p4483")))))))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLCardinality-04
  "Automatically generated"
  is:
    A G (F !(F G ((#tokens("l49000")) <= (#tokens("l43052"))) U (((2) <= (#tokens("l44287"))) U ((#tokens("l49000")) <= (#tokens("l43052"))))) U !((#tokens("l50700")) <= (#tokens("l19843"))))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLCardinality-05
  "Automatically generated"
  is:
    A F ((((#tokens("l37787")) <= (#tokens("p14400"))) | ((1) <= (#tokens("p6211")))) & G (X ((2) <= (#tokens("p10748"))) & G X ((3) <= (#tokens("l15381")))))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLCardinality-06
  "Automatically generated"
  is:
    A (((3) <= (#tokens("l32231"))) | G (((1) <= (#tokens("l41598"))) U (((0) <= (#tokens("l36328"))) U ((1) <= (#tokens("l44075"))))))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLCardinality-07
  "Automatically generated"
  is:
    A F ((((0) <= (#tokens("p6224"))) | !X ((2) <= (#tokens("l24107")))) U F G !X ((2) <= (#tokens("l24107"))))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLCardinality-08
  "Automatically generated"
  is:
    A (G (((#tokens("p12962")) <= (#tokens("p11839"))) | !((0) <= (#tokens("l9783")))) | F (X ((#tokens("l18053")) <= (#tokens("l32016"))) & !G ((#tokens("l35425")) <= (#tokens("l41860")))))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLCardinality-09
  "Automatically generated"
  is:
    A (F G F G !X ((#tokens("p12831")) <= (#tokens("l330"))) | G (((3) <= (#tokens("p8935"))) & G ((3) <= (#tokens("p8935")))))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLCardinality-10
  "Automatically generated"
  is:
    A (X G ((#tokens("l34279")) <= (#tokens("l12336"))) | F X (G !(((#tokens("l18866")) <= (#tokens("p6711"))) | !((#tokens("l8564")) <= (#tokens("l1857")))) U X ((#tokens("l18866")) <= (#tokens("p6711")))))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLCardinality-11
  "Automatically generated"
  is:
    A ((G ((#tokens("p1005")) <= (#tokens("l34019"))) & X X X ((2) <= (#tokens("l3637")))) | !X !(((2) <= (#tokens("l3637"))) | ((2) <= (#tokens("p14886")))))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLCardinality-12
  "Automatically generated"
  is:
    A F (F G F G ((2) <= (#tokens("l45949"))) U X !(((2) <= (#tokens("l45949"))) | X G !((0) <= (#tokens("l16745")))))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLCardinality-13
  "Automatically generated"
  is:
    A (!X G !(!((0) <= (#tokens("p3943"))) | (!((#tokens("l33710")) <= (#tokens("l16769"))) U ((#tokens("l33710")) <= (#tokens("l16769"))))) U F !((3) <= (#tokens("l30342"))))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLCardinality-14
  "Automatically generated"
  is:
    A !F ((#tokens("l14622")) <= (#tokens("l43621")))
  end.
Property RingSingleMessageInMbox-PT-d2m160-LTLCardinality-15
  "Automatically generated"
  is:
    A !(F ((#tokens("l47154")) <= (#tokens("l37819"))) & !G ((3) <= (#tokens("l49842"))))
  end.
