Property CloudDeployment-PT-7b-00
  "Automatically generated"
  is:
    A G (!((#tokens("p1407")) <= (#tokens("p1626"))) & X G !X X ((#tokens("p2256")) <= (#tokens("p532"))))
  end.
Property CloudDeployment-PT-7b-01
  "Automatically generated"
  is:
    A X X (((#tokens("p1774")) <= (#tokens("p2211"))) | !X !F ((3) <= (#tokens("p739"))) | G !((#tokens("p1774")) <= (#tokens("p2211"))))
  end.
Property CloudDeployment-PT-7b-02
  "Automatically generated"
  is:
    A G (G F G !(((#tokens("p684")) <= (#tokens("p462"))) & F ((#tokens("p866")) <= (#tokens("p1792")))) & !G !F ((#tokens("p866")) <= (#tokens("p1792"))))
  end.
Property CloudDeployment-PT-7b-03
  "Automatically generated"
  is:
    A X X F G !G !G F (F ((#tokens("p542")) <= (#tokens("p414"))) U ((2) <= (#tokens("p2094"))))
  end.
Property CloudDeployment-PT-7b-04
  "Automatically generated"
  is:
    A (F ((#tokens("p1093")) <= (#tokens("p529"))) & G F X G X X F (((#tokens("p1093")) <= (#tokens("p529"))) | G ((3) <= (#tokens("p1172")))))
  end.
Property CloudDeployment-PT-7b-05
  "Automatically generated"
  is:
    A X ((G ((#tokens("p1523")) <= (#tokens("p2053"))) U G X ((#tokens("p38")) <= (#tokens("p1759")))) & G F X (((3) <= (#tokens("p1712"))) | G ((#tokens("p38")) <= (#tokens("p1759")))))
  end.
Property CloudDeployment-PT-7b-06
  "Automatically generated"
  is:
    A F ((((0) <= (#tokens("p1545"))) | G ((#tokens("p1588")) <= (#tokens("p395")))) & F X (G ((#tokens("p1588")) <= (#tokens("p395"))) & (F ((2) <= (#tokens("p1787"))) U ((2) <= (#tokens("p1787"))))))
  end.
Property CloudDeployment-PT-7b-07
  "Automatically generated"
  is:
    A !(G (((2) <= (#tokens("p2037"))) & G ((#tokens("p306")) <= (#tokens("p2137")))) U (X !((3) <= (#tokens("p1633"))) & (!((#tokens("p1628")) <= (#tokens("p1199"))) U ((#tokens("p306")) <= (#tokens("p2137"))))))
  end.
Property CloudDeployment-PT-7b-08
  "Automatically generated"
  is:
    A !(!G X X !((0) <= (#tokens("p1800"))) U ((3) <= (#tokens("p1051"))))
  end.
Property CloudDeployment-PT-7b-09
  "Automatically generated"
  is:
    A X G !F (F ((0) <= (#tokens("p2198"))) U F ((#tokens("p635")) <= (#tokens("p1280"))))
  end.
Property CloudDeployment-PT-7b-10
  "Automatically generated"
  is:
    A (F !X F X F ((#tokens("p1243")) <= (#tokens("p379"))) U F X ((2) <= (#tokens("p723"))))
  end.
Property CloudDeployment-PT-7b-11
  "Automatically generated"
  is:
    A X (((#tokens("p2224")) <= (#tokens("p723"))) U F (((#tokens("p2076")) <= (#tokens("p436"))) | G (((2) <= (#tokens("p356"))) U F ((#tokens("p2076")) <= (#tokens("p436"))))))
  end.
Property CloudDeployment-PT-7b-12
  "Automatically generated"
  is:
    A ((((#tokens("p304")) <= (#tokens("p121"))) & F !G (((#tokens("p304")) <= (#tokens("p121"))) U ((3) <= (#tokens("p928"))))) U !X ((2) <= (#tokens("p2103"))))
  end.
Property CloudDeployment-PT-7b-13
  "Automatically generated"
  is:
    A G !G !((((0) <= (#tokens("p881"))) U ((#tokens("p8")) <= (#tokens("p1119")))) U !G ((#tokens("p1587")) <= (#tokens("p1264"))))
  end.
Property CloudDeployment-PT-7b-14
  "Automatically generated"
  is:
    A !((((3) <= (#tokens("p1994"))) U ((#tokens("p2117")) <= (#tokens("p1937")))) & (G ((#tokens("p647")) <= (#tokens("p692"))) | (G ((3) <= (#tokens("p1582"))) U ((#tokens("p647")) <= (#tokens("p692"))))))
  end.
Property CloudDeployment-PT-7b-15
  "Automatically generated"
  is:
    A (((1) <= (#tokens("p494"))) U X ((#tokens("p749")) <= (#tokens("p45"))))
  end.
