Property RERS2020-PT-pb104-LTLCardinality-00
  "Automatically generated"
  is:
    A G (!((#tokens("ps106")) <= (#tokens("ps250"))) | (G X ((1) <= (#tokens("ps20"))) U X G ((1) <= (#tokens("ps20")))))
  end.
Property RERS2020-PT-pb104-LTLCardinality-01
  "Automatically generated"
  is:
    A X G F (!X F ((1) <= (#tokens("ps383"))) | (X !((#tokens("ps1108")) <= (#tokens("ps749"))) U ((3) <= (#tokens("ps301")))))
  end.
Property RERS2020-PT-pb104-LTLCardinality-02
  "Automatically generated"
  is:
    A X (F (((3) <= (#tokens("ps658"))) & X ((#tokens("ps1343")) <= (#tokens("ps1230")))) | G F (((2) <= (#tokens("ps316"))) | ((#tokens("ps800")) <= (#tokens("ps1058")))))
  end.
Property RERS2020-PT-pb104-LTLCardinality-03
  "Automatically generated"
  is:
    A (F (((#tokens("ps172")) <= (#tokens("ps35"))) & !(((#tokens("ps262")) <= (#tokens("ps458"))) | F ((#tokens("ps878")) <= (#tokens("ps1233"))))) U X ((0) <= (#tokens("ps415"))))
  end.
Property RERS2020-PT-pb104-LTLCardinality-04
  "Automatically generated"
  is:
    A G (((#tokens("ps318")) <= (#tokens("ps447"))) & G (!(((3) <= (#tokens("ps186"))) | ((3) <= (#tokens("ps536")))) U X ((0) <= (#tokens("ps346")))) & F G ((3) <= (#tokens("ps536"))))
  end.
Property RERS2020-PT-pb104-LTLCardinality-05
  "Automatically generated"
  is:
    A !(((#tokens("ps1091")) <= (#tokens("ps580"))) | X ((#tokens("ps813")) <= (#tokens("ps291"))) | !G !((((#tokens("ps149")) <= (#tokens("ps290"))) | ((#tokens("ps813")) <= (#tokens("ps291")))) & X ((#tokens("ps149")) <= (#tokens("ps290")))))
  end.
Property RERS2020-PT-pb104-LTLCardinality-06
  "Automatically generated"
  is:
    A (F X (F ((2) <= (#tokens("ps22"))) | !F ((2) <= (#tokens("ps22")))) & G X (((#tokens("ps1021")) <= (#tokens("ps236"))) | G ((2) <= (#tokens("ps22")))))
  end.
Property RERS2020-PT-pb104-LTLCardinality-07
  "Automatically generated"
  is:
    A !G X (((#tokens("ps737")) <= (#tokens("ps1131"))) | ((0) <= (#tokens("ps977"))))
  end.
Property RERS2020-PT-pb104-LTLCardinality-08
  "Automatically generated"
  is:
    A (((3) <= (#tokens("ps379"))) | ((#tokens("ps598")) <= (#tokens("ps945"))) | F ((#tokens("ps681")) <= (#tokens("ps88"))) | X !(((3) <= (#tokens("ps379"))) | ((#tokens("ps598")) <= (#tokens("ps945"))) | F ((3) <= (#tokens("ps379")))))
  end.
Property RERS2020-PT-pb104-LTLCardinality-09
  "Automatically generated"
  is:
    A (((3) <= (#tokens("ps1091"))) & (((2) <= (#tokens("ps151"))) U ((#tokens("ps1328")) <= (#tokens("ps1287")))))
  end.
Property RERS2020-PT-pb104-LTLCardinality-10
  "Automatically generated"
  is:
    A !(((0) <= (#tokens("ps799"))) & F ((0) <= (#tokens("ps799"))) & ((((#tokens("ps910")) <= (#tokens("ps1278"))) & ((3) <= (#tokens("ps443")))) | G ((3) <= (#tokens("ps443")))))
  end.
Property RERS2020-PT-pb104-LTLCardinality-11
  "Automatically generated"
  is:
    A G F (((#tokens("ps1182")) <= (#tokens("ps926"))) & ((((#tokens("ps1182")) <= (#tokens("ps926"))) & ((#tokens("ps604")) <= (#tokens("ps198")))) | G X G ((2) <= (#tokens("ps1057")))))
  end.
Property RERS2020-PT-pb104-LTLCardinality-12
  "Automatically generated"
  is:
    A G (G ((3) <= (#tokens("ps445"))) & (!F G (((1) <= (#tokens("ps44"))) | G !((2) <= (#tokens("ps78")))) U !((0) <= (#tokens("ps852")))))
  end.
Property RERS2020-PT-pb104-LTLCardinality-13
  "Automatically generated"
  is:
    A !(((0) <= (#tokens("ps1162"))) U !F G ((3) <= (#tokens("ps42"))))
  end.
Property RERS2020-PT-pb104-LTLCardinality-14
  "Automatically generated"
  is:
    A (F X (((2) <= (#tokens("ps154"))) U ((#tokens("ps746")) <= (#tokens("ps98")))) | (G ((#tokens("ps741")) <= (#tokens("ps1027"))) & (X ((#tokens("ps1095")) <= (#tokens("ps489"))) U ((2) <= (#tokens("ps154"))))))
  end.
Property RERS2020-PT-pb104-LTLCardinality-15
  "Automatically generated"
  is:
    A X (X G !F (G ((0) <= (#tokens("ps751"))) U (!((0) <= (#tokens("ps751"))) U ((#tokens("ps1130")) <= (#tokens("ps139"))))) U !((#tokens("ps59")) <= (#tokens("ps573"))))
  end.
