Property RERS17pb114-PT-5-00
  "Automatically generated"
  is:
    A (G !"t_15943_a77_SIGXFSZ"? U ("t_121796_a102_SIGTERM"? & F "t_5372_a33_SIGKILL"?))
  end.
Property RERS17pb114-PT-5-01
  "Automatically generated"
  is:
    A G F (X "t_148890_a73_SIGURG"? | X F !F G X ("t_29597_a109_SIGTRAP"? U "t_34598_a43_SIGTTOU"?))
  end.
Property RERS17pb114-PT-5-02
  "Automatically generated"
  is:
    A (X G X X "t_23526_a93_SIGTRAP"? U "t_36506_a75_SIGUSR2"?)
  end.
Property RERS17pb114-PT-5-03
  "Automatically generated"
  is:
    A X !F !(!"t_111233_a62_SIGTRAP"? | F "t_47875_a87_SIGALRM"?)
  end.
Property RERS17pb114-PT-5-04
  "Automatically generated"
  is:
    A (("t_2066_a56_SIGPWR"? & !"t_66041_a23_SIGHUP"?) | (F X "t_109168_a15_SIGPOLL"? U !"t_55819_a65_SIGUSR1"?) | G !"t_2066_a56_SIGPWR"?)
  end.
Property RERS17pb114-PT-5-05
  "Automatically generated"
  is:
    A !G F !F !(F ("t_42483_a117_SIGPWR"? & "t_135504_a19_SIGSYS"?) | X "t_3459_a31_SIGXFSZ"?)
  end.
Property RERS17pb114-PT-5-06
  "Automatically generated"
  is:
    A (G !(F "t_125842_a88_SIGPWR"? & X "t_125842_a88_SIGPWR"?) | !(!"t_125842_a88_SIGPWR"? & ("t_113481_a89_SIGUSR2"? U "t_89666_a95_SIGEMT"?)))
  end.
Property RERS17pb114-PT-5-07
  "Automatically generated"
  is:
    A !("t_99188_a51_SIGPWR"? | (("t_117643_a96_SIGABRT"? | F !X "t_99188_a51_SIGPWR"?) & !F G "t_110838_a62_SIGTRAP"?))
  end.
Property RERS17pb114-PT-5-08
  "Automatically generated"
  is:
    A G !"t_67697_a23_SIGHUP"?
  end.
Property RERS17pb114-PT-5-09
  "Automatically generated"
  is:
    A (!(G !F "t_117451_a96_SIGABRT"? | ("t_42656_a117_SIGPWR"? & !("t_67823_a23_SIGHUP"? | X "t_89228_a79_SIGURG"?))) U "t_117451_a96_SIGABRT"?)
  end.
Property RERS17pb114-PT-5-10
  "Automatically generated"
  is:
    A X (F (G "t_55499_a65_SIGUSR1"? & F "t_88083_a83_SIGUSR2"?) U (!"t_88083_a83_SIGUSR2"? | ("t_88083_a83_SIGUSR2"? & !"t_88083_a83_SIGUSR2"?)))
  end.
Property RERS17pb114-PT-5-11
  "Automatically generated"
  is:
    A ("t_68425_a23_SIGHUP"? & !(X F ("t_15361_a10_SIGTSTP"? U !F "t_15361_a10_SIGTSTP"?) U G "t_15361_a10_SIGTSTP"?))
  end.
Property RERS17pb114-PT-5-12
  "Automatically generated"
  is:
    A X F !("t_88937_a83_SIGUSR2"? & "t_118055_a72_SIGTERM"?)
  end.
Property RERS17pb114-PT-5-13
  "Automatically generated"
  is:
    A (X "t_5486_a33_SIGKILL"? | !X ("t_115483_a89_SIGUSR2"? | F !("t_10043_a17_SIGPROF"? | G ("t_65690_a23_SIGHUP"? & "t_5486_a33_SIGKILL"?))))
  end.
Property RERS17pb114-PT-5-14
  "Automatically generated"
  is:
    A !(G (F X X "t_123968_a88_SIGPWR"? U "t_123968_a88_SIGPWR"?) & ("t_85044_a41_SIGSEGV"? | X "t_119839_a104_SIGPIPE"?))
  end.
Property RERS17pb114-PT-5-15
  "Automatically generated"
  is:
    A F G !G ("t_120319_a102_SIGTERM"? & "t_7501_a59_SIGUSR1"?)
  end.
