$! o1\r
-N x a b\r
- x (_. BOT) c\r
+N x a b Z\r
+ x (_. BOT) c Z\r
\r
$! o2\r
-N x (y (_. BOT) a) c\r
- x (y a PAC) d\r
+N x (y (_. BOT) a) c Z\r
+ x (y a PAC) d Z\r
\r
$! o3\r
D y (x a1 BOMB c) (x BOMB b1 d)\r
\r
$! o4\r
D x BOMB a1 c\r
- x y BOMB d\r
+C x y BOMB d\r
\r
$! o6\r
D x BOMB\r