Property RERS17pb115-PT-9-00
  "Automatically generated"
  is:
    A X (F ("t_75586_a108_SIGUSR2"? & X "t_75586_a108_SIGUSR2"?) | ("t_141297_a75_SIGQUIT"? & G "t_141297_a75_SIGQUIT"?))
  end.
Property RERS17pb115-PT-9-01
  "Automatically generated"
  is:
    A !G !G !(!"t_30286_a119_SIGQUIT"? & (X "t_30286_a119_SIGQUIT"? | F G "t_117833_a28_SIGCONT"?))
  end.
Property RERS17pb115-PT-9-02
  "Automatically generated"
  is:
    A (X (X "t_11369_a34_SIGSTOP"? & F !"t_57880_a24_SIGURG"?) & ("t_86402_a15_SIGKILL"? | G X !"t_86402_a15_SIGKILL"?))
  end.
Property RERS17pb115-PT-9-03
  "Automatically generated"
  is:
    A F X G X F ("t_104769_a19_SIGWINCH"? | "t_55604_a44_SIGURG"?)
  end.
Property RERS17pb115-PT-9-04
  "Automatically generated"
  is:
    A (("t_427_a71_SIGPROF"? & F "t_23924_a86_SIGHUP"?) | (X G !"t_102446_a19_SIGWINCH"? U "t_32162_a31_SIGQUIT"?))
  end.
Property RERS17pb115-PT-9-05
  "Automatically generated"
  is:
    A F G ("t_139961_a1_SIGSYS"? & G ("t_26259_a86_SIGHUP"? | F X "t_116416_a100_SIGXFSZ"?))
  end.
Property RERS17pb115-PT-9-06
  "Automatically generated"
  is:
    A X !X F "t_90499_a70_SIGTRAP"?
  end.
Property RERS17pb115-PT-9-07
  "Automatically generated"
  is:
    A ("t_60507_a78_SIGQUIT"? | G X "t_81655_a26_SIGILL"? | F (F G "t_81655_a26_SIGILL"? & F "t_100728_a32_SIGUSR1"?))
  end.
Property RERS17pb115-PT-9-08
  "Automatically generated"
  is:
    A !((F X "t_134587_a4_SIGQUIT"? & X (F "t_65848_a105_SIGABRT"? U !G "t_135726_a4_SIGQUIT"?)) U X "t_66244_a20_SIGSYS"?)
  end.
Property RERS17pb115-PT-9-09
  "Automatically generated"
  is:
    A ((F "t_123146_a35_SIGIOT"? U !"t_41929_a59_SIGABRT"?) U !G "t_113483_a73_SIGFPE"?)
  end.
Property RERS17pb115-PT-9-10
  "Automatically generated"
  is:
    A G F G X !"t_70902_a87_SIGPROF"?
  end.
Property RERS17pb115-PT-9-11
  "Automatically generated"
  is:
    A (("t_56881_a24_SIGURG"? & !"t_57074_a24_SIGURG"?) | !X ("t_85884_a15_SIGKILL"? & "t_57074_a24_SIGURG"? & G !F "t_119509_a28_SIGCONT"?))
  end.
Property RERS17pb115-PT-9-12
  "Automatically generated"
  is:
    A F X ("t_22564_a64_SIGEMT"? & !G ("t_26735_a86_SIGHUP"? | "t_99906_a32_SIGUSR1"? | G "t_99906_a32_SIGUSR1"?))
  end.
Property RERS17pb115-PT-9-13
  "Automatically generated"
  is:
    A (G ("t_53079_a57_SIGHUP"? | ("t_5559_a104_SIGHUP"? & G "t_134845_a4_SIGQUIT"?)) & !("t_104394_a19_SIGWINCH"? & (!"t_134845_a4_SIGQUIT"? U "t_134845_a4_SIGQUIT"?)))
  end.
Property RERS17pb115-PT-9-14
  "Automatically generated"
  is:
    A ("t_43297_a52_SIGCONT"? & (("t_43297_a52_SIGCONT"? U G "t_62680_a105_SIGABRT"?) | ("t_8276_a34_SIGSTOP"? & (!"t_24886_a86_SIGHUP"? U "t_24886_a86_SIGHUP"?))))
  end.
Property RERS17pb115-PT-9-15
  "Automatically generated"
  is:
    A X G ("t_24686_a86_SIGHUP"? & ("t_23029_a64_SIGEMT"? U F "t_23029_a64_SIGEMT"?))
  end.
