Property LoLA_Ausgabe-ReachabilityCardinality-00
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p170")))
  end.
Property LoLA_Ausgabe-ReachabilityCardinality-01
  "Automatically generated"
  is:
    A G ((((((#tokens("p228")) <= (#tokens("p172")))) | (((2) <= (#tokens("p234")))))) & (((! ((2) <= (#tokens("p139")))) | (! ((#tokens("p335")) <= (#tokens("p88")))))))
  end.
Property LoLA_Ausgabe-ReachabilityCardinality-02
  "Automatically generated"
  is:
    A G ((((((((#tokens("p94")) <= (#tokens("p194")))) | (((#tokens("p266")) <= (#tokens("p198")))))) | (((2) <= (#tokens("p67")))))) | (((((((1) <= (#tokens("p347")))) | (((1) <= (#tokens("p79")))))) | (((((3) <= (#tokens("p59")))) & (((#tokens("p101")) <= (#tokens("p299")))))))))
  end.
Property LoLA_Ausgabe-ReachabilityCardinality-03
  "Automatically generated"
  is:
    A G ((((((3) <= (#tokens("p220")))) | (((#tokens("p256")) <= (#tokens("p311")))))) | (((! ((#tokens("p251")) <= (#tokens("p294")))) | (((((#tokens("p5")) <= (#tokens("p153")))) & (((1) <= (#tokens("p272")))))))))
  end.
Property LoLA_Ausgabe-ReachabilityCardinality-04
  "Automatically generated"
  is:
    E F ((((((((#tokens("p340")) <= (#tokens("p350")))) & (((#tokens("p185")) <= (#tokens("p361")))))) & (! ((#tokens("p228")) <= (#tokens("p242")))))) & (((((((2) <= (#tokens("p271")))) | (((2) <= (#tokens("p142")))))) | (((((2) <= (#tokens("p128")))) | (((#tokens("p209")) <= (#tokens("p23")))))))))
  end.
Property LoLA_Ausgabe-ReachabilityCardinality-05
  "Automatically generated"
  is:
    E F ((((2) <= (#tokens("p180")))) & (! ((((#tokens("p309")) <= (#tokens("p324")))) | (((3) <= (#tokens("p120")))))))
  end.
Property LoLA_Ausgabe-ReachabilityCardinality-06
  "Automatically generated"
  is:
    A G ((! ((((1) <= (#tokens("p42")))) & (((2) <= (#tokens("p39")))))) | (! ((((#tokens("p168")) <= (#tokens("p351")))) & (((1) <= (#tokens("p243")))))))
  end.
Property LoLA_Ausgabe-ReachabilityCardinality-07
  "Automatically generated"
  is:
    E F ((((2) <= (#tokens("p361")))) | (! ((((#tokens("p307")) <= (#tokens("p379")))) | (((1) <= (#tokens("p181")))))))
  end.
Property LoLA_Ausgabe-ReachabilityCardinality-08
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("p195")))
  end.
Property LoLA_Ausgabe-ReachabilityCardinality-09
  "Automatically generated"
  is:
    E F ((((((((1) <= (#tokens("p250")))) | (((1) <= (#tokens("p291")))))) & (((1) <= (#tokens("p159")))))) & (((((((#tokens("p270")) <= (#tokens("p172")))) & (((#tokens("p136")) <= (#tokens("p28")))))) & (((3) <= (#tokens("p128")))))))
  end.
Property LoLA_Ausgabe-ReachabilityCardinality-10
  "Automatically generated"
  is:
    A G ((((#tokens("p127")) <= (#tokens("p310")))) & (((((((#tokens("p42")) <= (#tokens("p366")))) & (((#tokens("p365")) <= (#tokens("p273")))))) & (((#tokens("p66")) <= (#tokens("p273")))))))
  end.
Property LoLA_Ausgabe-ReachabilityCardinality-11
  "Automatically generated"
  is:
    E F ((((((((3) <= (#tokens("p29")))) & (((#tokens("p180")) <= (#tokens("p395")))))) & (((#tokens("p311")) <= (#tokens("p183")))))) | (((3) <= (#tokens("p98")))))
  end.
Property LoLA_Ausgabe-ReachabilityCardinality-12
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("p337")))
  end.
Property LoLA_Ausgabe-ReachabilityCardinality-13
  "Automatically generated"
  is:
    E F ((((! ((#tokens("p251")) <= (#tokens("p309")))) & (((((#tokens("p399")) <= (#tokens("p232")))) | (((#tokens("p121")) <= (#tokens("p217")))))))) & (((((((2) <= (#tokens("p35")))) | (((3) <= (#tokens("p347")))))) & (! ((#tokens("p322")) <= (#tokens("p240")))))))
  end.
Property LoLA_Ausgabe-ReachabilityCardinality-14
  "Automatically generated"
  is:
    E F ! ! ((((1) <= (#tokens("p239")))) & (((#tokens("p58")) <= (#tokens("p192")))))
  end.
Property LoLA_Ausgabe-ReachabilityCardinality-15
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p31")))
  end.
