Property ResIsolation-PT-N09P2-LTLCardinality-00
  "Automatically generated"
  is:
    A (((3) <= (#tokens("p123"))) | !(((2) <= (#tokens("p134"))) | F (((2) <= (#tokens("p134"))) | X X ((2) <= (#tokens("p134"))))))
  end.
Property ResIsolation-PT-N09P2-LTLCardinality-01
  "Automatically generated"
  is:
    A !(X (((2) <= (#tokens("p57"))) & !X ((1) <= (#tokens("p71")))) | (((2) <= (#tokens("p298"))) U (((2) <= (#tokens("p57"))) U ((1) <= (#tokens("p71"))))))
  end.
Property ResIsolation-PT-N09P2-LTLCardinality-02
  "Automatically generated"
  is:
    A (F !G X X (!((2) <= (#tokens("p263"))) | ((#tokens("p166")) <= (#tokens("p245")))) & X (F ((#tokens("p166")) <= (#tokens("p245"))) U ((#tokens("p89")) <= (#tokens("p267")))))
  end.
Property ResIsolation-PT-N09P2-LTLCardinality-03
  "Automatically generated"
  is:
    A X X X !G ((#tokens("p3")) <= (#tokens("p326")))
  end.
Property ResIsolation-PT-N09P2-LTLCardinality-04
  "Automatically generated"
  is:
    A G F (!(((3) <= (#tokens("p204"))) | (((1) <= (#tokens("p265"))) U !((1) <= (#tokens("p99"))))) & (!((#tokens("p322")) <= (#tokens("p264"))) U G ((1) <= (#tokens("p265")))))
  end.
Property ResIsolation-PT-N09P2-LTLCardinality-05
  "Automatically generated"
  is:
    A X !(((2) <= (#tokens("p139"))) U X X (G F ((#tokens("p215")) <= (#tokens("p36"))) & (((2) <= (#tokens("p21"))) | G ((#tokens("p10")) <= (#tokens("p219"))))))
  end.
Property ResIsolation-PT-N09P2-LTLCardinality-06
  "Automatically generated"
  is:
    A G !F G (X X ((1) <= (#tokens("p281"))) U G ((#tokens("p200")) <= (#tokens("p151"))))
  end.
Property ResIsolation-PT-N09P2-LTLCardinality-07
  "Automatically generated"
  is:
    A X G (((((#tokens("p32")) <= (#tokens("p188"))) U ((2) <= (#tokens("p301")))) & (G ((#tokens("p32")) <= (#tokens("p188"))) U !((3) <= (#tokens("p273"))))) U X ((#tokens("p150")) <= (#tokens("p195"))))
  end.
Property ResIsolation-PT-N09P2-LTLCardinality-08
  "Automatically generated"
  is:
    A !G ((((#tokens("p175")) <= (#tokens("p142"))) | (((#tokens("p175")) <= (#tokens("p142"))) & ((#tokens("p303")) <= (#tokens("p264"))) & X ((#tokens("p175")) <= (#tokens("p142"))))) U F (((#tokens("p303")) <= (#tokens("p264"))) & ((3) <= (#tokens("p115")))))
  end.
Property ResIsolation-PT-N09P2-LTLCardinality-09
  "Automatically generated"
  is:
    A ((((3) <= (#tokens("p258"))) U G ((1) <= (#tokens("p168")))) | X !X G (((1) <= (#tokens("p105"))) & G ((3) <= (#tokens("p258")))))
  end.
Property ResIsolation-PT-N09P2-LTLCardinality-10
  "Automatically generated"
  is:
    A X (G (((3) <= (#tokens("p21"))) U G ((1) <= (#tokens("p131")))) U X !X (((#tokens("p291")) <= (#tokens("p288"))) | (((1) <= (#tokens("p131"))) & ((#tokens("p287")) <= (#tokens("p215"))))))
  end.
Property ResIsolation-PT-N09P2-LTLCardinality-11
  "Automatically generated"
  is:
    A (G !((3) <= (#tokens("p221"))) & F (!((#tokens("p195")) <= (#tokens("p47"))) & (((2) <= (#tokens("p116"))) | (((#tokens("p195")) <= (#tokens("p47"))) & F !((2) <= (#tokens("p116")))))))
  end.
Property ResIsolation-PT-N09P2-LTLCardinality-12
  "Automatically generated"
  is:
    A (((#tokens("p310")) <= (#tokens("p92"))) | G X ((3) <= (#tokens("p100"))))
  end.
Property ResIsolation-PT-N09P2-LTLCardinality-13
  "Automatically generated"
  is:
    A (G (((1) <= (#tokens("p107"))) | X ((1) <= (#tokens("p107")))) U (G ((3) <= (#tokens("p76"))) U !(((#tokens("p193")) <= (#tokens("p21"))) U ((1) <= (#tokens("p107"))))))
  end.
Property ResIsolation-PT-N09P2-LTLCardinality-14
  "Automatically generated"
  is:
    A X (F !((#tokens("p260")) <= (#tokens("p88"))) & X G (((#tokens("p274")) <= (#tokens("p149"))) | G ((#tokens("p260")) <= (#tokens("p88")))))
  end.
Property ResIsolation-PT-N09P2-LTLCardinality-15
  "Automatically generated"
  is:
    A (G ((#tokens("p38")) <= (#tokens("p333"))) & F !((#tokens("p80")) <= (#tokens("p55"))))
  end.
