Property RERS17pb114-PT-6-00
  "Automatically generated"
  is:
    A G "t_10820_a35_SIGSTOP"?
  end.
Property RERS17pb114-PT-6-01
  "Automatically generated"
  is:
    A (("t_43646_a117_SIGPWR"? U !"t_43646_a117_SIGPWR"?) | (G X "t_118909_a72_SIGTERM"? U "t_131784_a84_SIGINT"?))
  end.
Property RERS17pb114-PT-6-02
  "Automatically generated"
  is:
    A G (G X X F G X "t_14296_a101_SIGUSR2"? | F !"t_13907_a101_SIGUSR2"?)
  end.
Property RERS17pb114-PT-6-03
  "Automatically generated"
  is:
    A (("t_11794_a111_SIGTTOU"? & X "t_11794_a111_SIGTTOU"?) | !G ("t_4162_a33_SIGKILL"? U G "t_11794_a111_SIGTTOU"?))
  end.
Property RERS17pb114-PT-6-04
  "Automatically generated"
  is:
    A F G ("t_25022_a93_SIGTRAP"? | "t_78245_a30_SIGBUS"? | X !X G X "t_105309_a82_SIGBUS"?)
  end.
Property RERS17pb114-PT-6-05
  "Automatically generated"
  is:
    A !F !(X "t_83483_a112_SIGHUP"? | F G (!"t_70830_a24_SIGCHLD"? | "t_83483_a112_SIGHUP"?))
  end.
Property RERS17pb114-PT-6-06
  "Automatically generated"
  is:
    A F !(G "t_100692_a51_SIGPWR"? | G "t_27215_a76_SIGILL"? | G !G "t_9032_a16_SIGALRM"? | F "t_27215_a76_SIGILL"?)
  end.
Property RERS17pb114-PT-6-07
  "Automatically generated"
  is:
    A ("t_91862_a44_SIGDEADLK"? & (G X X "t_16405_a77_SIGXFSZ"? | ("t_24125_a93_SIGTRAP"? U "t_88347_a83_SIGUSR2"?)))
  end.
Property RERS17pb114-PT-6-08
  "Automatically generated"
  is:
    A X G !"t_46083_a117_SIGPWR"?
  end.
Property RERS17pb114-PT-6-09
  "Automatically generated"
  is:
    A (G "t_124041_a88_SIGPWR"? & G ("t_58674_a34_SIGTSTP"? | F "t_124041_a88_SIGPWR"?))
  end.
Property RERS17pb114-PT-6-10
  "Automatically generated"
  is:
    A ("t_102015_a51_SIGPWR"? | F "t_66143_a23_SIGHUP"? | X !G ("t_102015_a51_SIGPWR"? & "t_17982_a40_SIGUSR1"?))
  end.
Property RERS17pb114-PT-6-11
  "Automatically generated"
  is:
    A (("t_137873_a14_SIGDEADLK"? & "t_106813_a82_SIGBUS"?) | X X ("t_58724_a34_SIGTSTP"? U X "t_137873_a14_SIGDEADLK"?))
  end.
Property RERS17pb114-PT-6-12
  "Automatically generated"
  is:
    A X ("t_36761_a75_SIGUSR2"? | F ("t_113167_a89_SIGUSR2"? | G "t_138902_a27_SIGALRM"?) | (!"t_113167_a89_SIGUSR2"? U "t_64822_a64_SIGVTALRM"?))
  end.
Property RERS17pb114-PT-6-13
  "Automatically generated"
  is:
    A (("t_69886_a100_SIGBUS"? & G "t_112005_a89_SIGUSR2"?) U !F G "t_57446_a34_SIGTSTP"?)
  end.
Property RERS17pb114-PT-6-14
  "Automatically generated"
  is:
    A (G "t_87845_a83_SIGUSR2"? | (X "t_39363_a110_SIGINT"? U "t_15568_a10_SIGTSTP"?))
  end.
Property RERS17pb114-PT-6-15
  "Automatically generated"
  is:
    A (X "t_129065_a53_SIGLOST"? | F "t_104463_a58_SIGTERM"? | ("t_104463_a58_SIGTERM"? U "t_16389_a77_SIGXFSZ"?))
  end.
