Property ResIsolation-PT-N09P5-LTLCardinality-00
  "Automatically generated"
  is:
    A G !F (F X !((#tokens("p145")) <= (#tokens("p378"))) U (G ((#tokens("p347")) <= (#tokens("p156"))) U ((#tokens("p299")) <= (#tokens("p369")))))
  end.
Property ResIsolation-PT-N09P5-LTLCardinality-01
  "Automatically generated"
  is:
    A (F X !(((1) <= (#tokens("p449"))) U ((3) <= (#tokens("p85")))) U (((1) <= (#tokens("p449"))) & ((#tokens("p428")) <= (#tokens("p447")))))
  end.
Property ResIsolation-PT-N09P5-LTLCardinality-02
  "Automatically generated"
  is:
    A G X G X ((2) <= (#tokens("p282")))
  end.
Property ResIsolation-PT-N09P5-LTLCardinality-03
  "Automatically generated"
  is:
    A (((2) <= (#tokens("p294"))) & ((#tokens("p328")) <= (#tokens("p198"))) & F !((2) <= (#tokens("p293"))) & (((#tokens("p171")) <= (#tokens("p388"))) | (X !((2) <= (#tokens("p83"))) U ((#tokens("p171")) <= (#tokens("p388"))))))
  end.
Property ResIsolation-PT-N09P5-LTLCardinality-04
  "Automatically generated"
  is:
    A (((2) <= (#tokens("p254"))) U (((((#tokens("p321")) <= (#tokens("p194"))) | ((3) <= (#tokens("p350"))) | ((1) <= (#tokens("p214")))) & X ((2) <= (#tokens("p254")))) U G F ((#tokens("p321")) <= (#tokens("p194")))))
  end.
Property ResIsolation-PT-N09P5-LTLCardinality-05
  "Automatically generated"
  is:
    A G (((#tokens("p32")) <= (#tokens("p178"))) U X X X X (((1) <= (#tokens("p92"))) & ((#tokens("p16")) <= (#tokens("p285")))))
  end.
Property ResIsolation-PT-N09P5-LTLCardinality-06
  "Automatically generated"
  is:
    A (((2) <= (#tokens("p359"))) U (G X ((#tokens("p300")) <= (#tokens("p147"))) & X !(F ((2) <= (#tokens("p194"))) U F ((2) <= (#tokens("p359"))))))
  end.
Property ResIsolation-PT-N09P5-LTLCardinality-07
  "Automatically generated"
  is:
    A (!((1) <= (#tokens("p302"))) & ((((1) <= (#tokens("p242"))) U ((1) <= (#tokens("p302")))) | X X G ((#tokens("p206")) <= (#tokens("p411")))))
  end.
Property ResIsolation-PT-N09P5-LTLCardinality-08
  "Automatically generated"
  is:
    A !(X X (((#tokens("p200")) <= (#tokens("p70"))) & !G ((3) <= (#tokens("p428")))) | G (((#tokens("p200")) <= (#tokens("p70"))) U ((#tokens("p62")) <= (#tokens("p297")))))
  end.
Property ResIsolation-PT-N09P5-LTLCardinality-09
  "Automatically generated"
  is:
    A X X X (!(((#tokens("p142")) <= (#tokens("p385"))) | ((#tokens("p334")) <= (#tokens("p207")))) | G ((1) <= (#tokens("p95"))))
  end.
Property ResIsolation-PT-N09P5-LTLCardinality-10
  "Automatically generated"
  is:
    A F !X X F ((1) <= (#tokens("p139")))
  end.
Property ResIsolation-PT-N09P5-LTLCardinality-11
  "Automatically generated"
  is:
    A (F (((2) <= (#tokens("p280"))) | ((#tokens("p176")) <= (#tokens("p186")))) | (!(!((#tokens("p7")) <= (#tokens("p1"))) & ((2) <= (#tokens("p280")))) & G ((#tokens("p176")) <= (#tokens("p186")))))
  end.
Property ResIsolation-PT-N09P5-LTLCardinality-12
  "Automatically generated"
  is:
    A F (X G (((1) <= (#tokens("p186"))) U G !((1) <= (#tokens("p186")))) U G X G ((#tokens("p197")) <= (#tokens("p102"))))
  end.
Property ResIsolation-PT-N09P5-LTLCardinality-13
  "Automatically generated"
  is:
    A !(X (G ((#tokens("p438")) <= (#tokens("p206"))) U !X ((1) <= (#tokens("p62")))) & G !((1) <= (#tokens("p62"))))
  end.
Property ResIsolation-PT-N09P5-LTLCardinality-14
  "Automatically generated"
  is:
    A X F G F (!((3) <= (#tokens("p152"))) | G X F !F (((#tokens("p59")) <= (#tokens("p201"))) | ((#tokens("p282")) <= (#tokens("p296")))))
  end.
Property ResIsolation-PT-N09P5-LTLCardinality-15
  "Automatically generated"
  is:
    A X (!((2) <= (#tokens("p317"))) U (((3) <= (#tokens("p298"))) | G ((3) <= (#tokens("p329")))))
  end.
