Property RingSingleMessageInMbox-PT-d2m010-LTLCardinality-00
  "Automatically generated"
  is:
    A G F X X ((2) <= (#tokens("p5621")))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLCardinality-01
  "Automatically generated"
  is:
    A X G (X X X G X ((0) <= (#tokens("l13645"))) & G !F G ((#tokens("l35847")) <= (#tokens("l39295"))))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLCardinality-02
  "Automatically generated"
  is:
    A (G !((#tokens("l4180")) <= (#tokens("l49286"))) | (F !X ((#tokens("l4180")) <= (#tokens("l49286"))) U (!((0) <= (#tokens("l22984"))) U ((#tokens("l15247")) <= (#tokens("p3413"))))))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLCardinality-03
  "Automatically generated"
  is:
    A (F ((#tokens("l37273")) <= (#tokens("l20218"))) | !(G X G (((#tokens("l37273")) <= (#tokens("l20218"))) | ((3) <= (#tokens("l18509")))) U F !((3) <= (#tokens("l18509")))))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLCardinality-04
  "Automatically generated"
  is:
    A (X G ((#tokens("l47712")) <= (#tokens("l8909"))) & F (X ((3) <= (#tokens("p2773"))) U ((#tokens("p13053")) <= (#tokens("p3398")))))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLCardinality-05
  "Automatically generated"
  is:
    A X X G !F (!((#tokens("p13758")) <= (#tokens("l16130"))) & G F (X ((2) <= (#tokens("l39747"))) U ((3) <= (#tokens("l45748")))))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLCardinality-06
  "Automatically generated"
  is:
    A G !F !G ((#tokens("p8733")) <= (#tokens("l29390")))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLCardinality-07
  "Automatically generated"
  is:
    A F (((0) <= (#tokens("p5258"))) & G ((X F ((#tokens("l43115")) <= (#tokens("l38375"))) | !G ((#tokens("l43115")) <= (#tokens("l38375")))) & !F ((#tokens("l43115")) <= (#tokens("l38375")))))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLCardinality-08
  "Automatically generated"
  is:
    A G X G X F (X ((#tokens("l51289")) <= (#tokens("l12837"))) | !F !((#tokens("l46242")) <= (#tokens("l37687"))))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLCardinality-09
  "Automatically generated"
  is:
    A (X G (((3) <= (#tokens("l18284"))) U !((3) <= (#tokens("p5517")))) U X F (((1) <= (#tokens("l8965"))) | ((3) <= (#tokens("p5517")))))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLCardinality-10
  "Automatically generated"
  is:
    A F (F ((1) <= (#tokens("p4484"))) | X X (((1) <= (#tokens("p14323"))) | ((#tokens("l31256")) <= (#tokens("p2806")))))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLCardinality-11
  "Automatically generated"
  is:
    A ((((#tokens("l5340")) <= (#tokens("l4129"))) | ((#tokens("l46372")) <= (#tokens("l38891")))) & X G (((#tokens("l12894")) <= (#tokens("p7225"))) & ((2) <= (#tokens("l108")))))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLCardinality-12
  "Automatically generated"
  is:
    A G X (((0) <= (#tokens("l22073"))) | ((((2) <= (#tokens("l2188"))) | X ((0) <= (#tokens("l22073")))) & G ((#tokens("p2111")) <= (#tokens("l39662")))))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLCardinality-13
  "Automatically generated"
  is:
    A X F ((((2) <= (#tokens("l25076"))) & ((#tokens("l3715")) <= (#tokens("l13681")))) | (((2) <= (#tokens("l41727"))) & (((2) <= (#tokens("l45968"))) | ((#tokens("l39799")) <= (#tokens("l47067"))))))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLCardinality-14
  "Automatically generated"
  is:
    A (((0) <= (#tokens("l42000"))) | G F G (((0) <= (#tokens("l42000"))) & F !((#tokens("l19867")) <= (#tokens("p4986")))))
  end.
Property RingSingleMessageInMbox-PT-d2m010-LTLCardinality-15
  "Automatically generated"
  is:
    A ((!((1) <= (#tokens("l34202"))) | (((1) <= (#tokens("l15720"))) U ((#tokens("l45022")) <= (#tokens("l24735"))))) U !F ((#tokens("l45022")) <= (#tokens("l24735"))))
  end.
