Property ResIsolation-PT-N10P4-ReachabilityFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t123720")))
   end.
Property ResIsolation-PT-N10P4-ReachabilityFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t5132"))))
   end.
Property ResIsolation-PT-N10P4-ReachabilityFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((! (is-fireable("t58351"))) & (is-fireable("t27676")))))
   end.
Property ResIsolation-PT-N10P4-ReachabilityFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F (((! (is-fireable("t135482"))) & ((is-fireable("t93726")) | ((! ((is-fireable("t56666")) & (((is-fireable("t5025")) | (is-fireable("t125927"))) & (is-fireable("t101409"))))) & (((is-fireable("t340")) | ((! ((is-fireable("t94696")) | (is-fireable("t29162")))) & (is-fireable("t103153")))) | (is-fireable("t27716")))))) & (! ((((is-fireable("t123188")) & ((((! (is-fireable("t119443"))) & (! (is-fireable("t103345")))) & (((is-fireable("t5051")) & (is-fireable("t79142"))) | ((is-fireable("t71765")) | (is-fireable("t42420"))))) | (! ((is-fireable("t32540")) | (is-fireable("t138952")))))) & (((is-fireable("t61011")) & (is-fireable("t12328"))) | (((! ((is-fireable("t123712")) & (is-fireable("t65765")))) | (((is-fireable("t50786")) & (is-fireable("t107298"))) | ((is-fireable("t47965")) | (is-fireable("t13813"))))) & (! (((is-fireable("t20514")) | (is-fireable("t55189"))) | ((is-fireable("t136595")) & (is-fireable("t140692")))))))) | (is-fireable("t126287"))))))
   end.
Property ResIsolation-PT-N10P4-ReachabilityFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t82439"))))
   end.
Property ResIsolation-PT-N10P4-ReachabilityFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("t147406")) & (((((! ((is-fireable("t92594")) & (is-fireable("t120064")))) & (! (((! (is-fireable("t4640"))) & (! (is-fireable("t61209")))) | (! ((is-fireable("t74879")) | (is-fireable("t66135"))))))) & (is-fireable("t77450"))) & (! (is-fireable("t128290")))) & (((is-fireable("t66508")) & (((((! (is-fireable("t29409"))) | (! (is-fireable("t127059")))) | (((is-fireable("t15059")) | (is-fireable("t28020"))) & (is-fireable("t135966")))) & (((is-fireable("t119196")) | ((is-fireable("t32849")) & (is-fireable("t39395")))) | ((is-fireable("t139777")) & (! (is-fireable("t25439")))))) | ((! ((is-fireable("t110808")) | ((is-fireable("t20677")) | (is-fireable("t146522"))))) & (is-fireable("t146906"))))) & ((! (is-fireable("t125296"))) & (((is-fireable("t131962")) & ((is-fireable("t17868")) & (! (is-fireable("t129122"))))) & (! ((is-fireable("t131324")) | (((is-fireable("t67297")) | (is-fireable("t28314"))) & (! (is-fireable("t116360"))))))))))))
   end.
Property ResIsolation-PT-N10P4-ReachabilityFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (F ((! ((((is-fireable("t50996")) & (! ((! ((is-fireable("t46837")) & (is-fireable("t102794")))) | (is-fireable("t105737"))))) & (! ((! ((is-fireable("t125448")) | (is-fireable("t84297")))) & (((! (is-fireable("t101844"))) | ((is-fireable("t102262")) & (is-fireable("t128935")))) & (is-fireable("t128940")))))) & ((((is-fireable("t60261")) | (! ((! (is-fireable("t39705"))) & (is-fireable("t111858"))))) | (((! (is-fireable("t136411"))) & (is-fireable("t106019"))) | (! ((! (is-fireable("t109382"))) | ((is-fireable("t52584")) & (is-fireable("t82781"))))))) | ((is-fireable("t136378")) | ((((is-fireable("t24172")) & (is-fireable("t5669"))) & (is-fireable("t81521"))) | (! (is-fireable("t122304")))))))) & (is-fireable("t124615"))))
   end.
Property ResIsolation-PT-N10P4-ReachabilityFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t17159")))
   end.
Property ResIsolation-PT-N10P4-ReachabilityFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      A (G (((! (is-fireable("t146102"))) & ((! (is-fireable("t74556"))) & (! ((((is-fireable("t62839")) | ((is-fireable("t95267")) & (! (is-fireable("t136049"))))) | ((((is-fireable("t41689")) | (is-fireable("t108733"))) | (! (is-fireable("t141829")))) & (((is-fireable("t87480")) & (is-fireable("t102836"))) & ((is-fireable("t143494")) & (is-fireable("t73506")))))) | (is-fireable("t111117")))))) | (is-fireable("t31203"))))
   end.
Property ResIsolation-PT-N10P4-ReachabilityFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t76945")))
   end.
Property ResIsolation-PT-N10P4-ReachabilityFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((! (is-fireable("t36383"))) & ((is-fireable("t80374")) & (((((is-fireable("t114645")) | (((is-fireable("t9146")) | (is-fireable("t21278"))) & ((is-fireable("t121888")) | (is-fireable("t118430"))))) & ((((is-fireable("t44352")) | (is-fireable("t119178"))) | ((is-fireable("t117488")) | (is-fireable("t127165")))) | ((is-fireable("t124598")) & ((is-fireable("t27135")) | (is-fireable("t141308")))))) & (((((is-fireable("t79934")) | (is-fireable("t142725"))) | ((is-fireable("t79498")) | (is-fireable("t145140")))) & (is-fireable("t87595"))) & (is-fireable("t117478")))) | (((! ((is-fireable("t5248")) | ((is-fireable("t75341")) & (is-fireable("t32070"))))) & (! (((is-fireable("t11298")) | (is-fireable("t18999"))) & ((is-fireable("t113809")) & (is-fireable("t84388")))))) & ((! ((is-fireable("t85572")) | (is-fireable("t90534")))) & ((((is-fireable("t112852")) | (is-fireable("t112470"))) & ((is-fireable("t121432")) & (is-fireable("t101192")))) | ((! (is-fireable("t47043"))) | ((is-fireable("t25582")) | (is-fireable("t18475"))))))))))))
   end.
Property ResIsolation-PT-N10P4-ReachabilityFireability-11
   "Automatically generated by Citili v2024"
   is:
      E (F (! ((! (is-fireable("t14317"))) & ((! ((is-fireable("t74066")) | ((is-fireable("t19373")) | ((((is-fireable("t32919")) & (is-fireable("t117568"))) & (! (is-fireable("t173")))) & (is-fireable("t97407")))))) | (! (((is-fireable("t28718")) & (is-fireable("t358"))) | (is-fireable("t107378"))))))))
   end.
Property ResIsolation-PT-N10P4-ReachabilityFireability-2025-12
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t53621")))
   end.
Property ResIsolation-PT-N10P4-ReachabilityFireability-13
   "Automatically generated by Citili v2024"
   is:
      A (G (! ((! (((! (((! (is-fireable("t89604"))) | ((is-fireable("t43410")) & (is-fireable("t114937")))) & (! ((is-fireable("t115259")) & (is-fireable("t52958")))))) & (! ((is-fireable("t136781")) | (((is-fireable("t122886")) & (is-fireable("t140506"))) | (is-fireable("t57492")))))) | (is-fireable("t103979")))) & (is-fireable("t6124")))))
   end.
Property ResIsolation-PT-N10P4-ReachabilityFireability-14
   "Automatically generated by Citili v2024"
   is:
      E (F (is-fireable("t63090")))
   end.
Property ResIsolation-PT-N10P4-ReachabilityFireability-15
   "Automatically generated by Citili v2024"
   is:
      A (G (! ((is-fireable("t58923")) & ((! (((is-fireable("t70668")) & (! ((is-fireable("t12352")) & (! (is-fireable("t86299")))))) & ((! ((! (is-fireable("t4605"))) | (is-fireable("t33858")))) | (is-fireable("t45621"))))) & (! ((! (((is-fireable("t27646")) & (is-fireable("t115523"))) | (! (is-fireable("t63806"))))) & ((((is-fireable("t52872")) | (is-fireable("t79488"))) | (is-fireable("t146572"))) & ((is-fireable("t67306")) | (((is-fireable("t16844")) & (is-fireable("t76213"))) & ((is-fireable("t139131")) & (is-fireable("t79953"))))))))))))
   end.
