Property ARMCacheCoherence-PT-none-00
  "Automatically generated"
  is:
    A X (((#tokens("p70")) <= (#tokens("p50"))) & !(G ((3) <= (#tokens("p10"))) U !((1) <= (#tokens("p44")))))
  end.
Property ARMCacheCoherence-PT-none-01
  "Automatically generated"
  is:
    A G F (((#tokens("p20")) <= (#tokens("p67"))) | G ((2) <= (#tokens("p39"))))
  end.
Property ARMCacheCoherence-PT-none-02
  "Automatically generated"
  is:
    A (!X X F (((3) <= (#tokens("p11"))) | X ((3) <= (#tokens("p51")))) U ((((3) <= (#tokens("p51"))) | ((#tokens("p45")) <= (#tokens("p73")))) U ((1) <= (#tokens("p26")))))
  end.
Property ARMCacheCoherence-PT-none-03
  "Automatically generated"
  is:
    A G ((((#tokens("p45")) <= (#tokens("p69"))) U ((0) <= (#tokens("p44")))) & (((#tokens("p45")) <= (#tokens("p69"))) | F ((#tokens("p11")) <= (#tokens("p34")))) & (((0) <= (#tokens("p44"))) | X ((#tokens("p34")) <= (#tokens("p6")))))
  end.
Property ARMCacheCoherence-PT-none-04
  "Automatically generated"
  is:
    A (!G ((1) <= (#tokens("p38"))) & G !X ((((#tokens("p45")) <= (#tokens("p0"))) U ((1) <= (#tokens("p38")))) U ((#tokens("p59")) <= (#tokens("p34")))))
  end.
Property ARMCacheCoherence-PT-none-05
  "Automatically generated"
  is:
    A (X ((#tokens("p46")) <= (#tokens("p76"))) | !(G F ((#tokens("p46")) <= (#tokens("p76"))) U (F ((3) <= (#tokens("p26"))) | X !F ((2) <= (#tokens("p82"))))))
  end.
Property ARMCacheCoherence-PT-none-06
  "Automatically generated"
  is:
    A !F !X (!((0) <= (#tokens("p71"))) & (((#tokens("p76")) <= (#tokens("p75"))) | F G ((0) <= (#tokens("p71")))))
  end.
Property ARMCacheCoherence-PT-none-07
  "Automatically generated"
  is:
    A (X F (X X ((#tokens("p7")) <= (#tokens("p57"))) | G ((#tokens("p7")) <= (#tokens("p57"))) | G ((#tokens("p40")) <= (#tokens("p10")))) | X ((#tokens("p40")) <= (#tokens("p10"))))
  end.
Property ARMCacheCoherence-PT-none-08
  "Automatically generated"
  is:
    A G !(((2) <= (#tokens("p28"))) & !X G ((2) <= (#tokens("p28"))))
  end.
Property ARMCacheCoherence-PT-none-09
  "Automatically generated"
  is:
    A F (((#tokens("p33")) <= (#tokens("p20"))) & (((#tokens("p78")) <= (#tokens("p72"))) | X ((#tokens("p29")) <= (#tokens("p84")))))
  end.
Property ARMCacheCoherence-PT-none-10
  "Automatically generated"
  is:
    A (X ((((#tokens("p13")) <= (#tokens("p19"))) & ((0) <= (#tokens("p83")))) | X X ((#tokens("p13")) <= (#tokens("p19")))) U !X G !G ((#tokens("p13")) <= (#tokens("p67"))))
  end.
Property ARMCacheCoherence-PT-none-11
  "Automatically generated"
  is:
    A ((!((#tokens("p50")) <= (#tokens("p2"))) U (((#tokens("p62")) <= (#tokens("p61"))) & !X ((#tokens("p50")) <= (#tokens("p2"))))) | (F ((#tokens("p50")) <= (#tokens("p2"))) U ((#tokens("p62")) <= (#tokens("p61")))))
  end.
Property ARMCacheCoherence-PT-none-12
  "Automatically generated"
  is:
    A X (G ((#tokens("p65")) <= (#tokens("p79"))) U F ((((#tokens("p65")) <= (#tokens("p79"))) U ((1) <= (#tokens("p22")))) U X X ((#tokens("p65")) <= (#tokens("p79")))))
  end.
Property ARMCacheCoherence-PT-none-13
  "Automatically generated"
  is:
    A G ((#tokens("p83")) <= (#tokens("p39")))
  end.
Property ARMCacheCoherence-PT-none-14
  "Automatically generated"
  is:
    A !(((1) <= (#tokens("p15"))) | G F ((#tokens("p8")) <= (#tokens("p41"))))
  end.
Property ARMCacheCoherence-PT-none-15
  "Automatically generated"
  is:
    A X (((0) <= (#tokens("p30"))) U G !((((2) <= (#tokens("p57"))) | ((#tokens("p70")) <= (#tokens("p73")))) & G ((#tokens("p70")) <= (#tokens("p73")))))
  end.
