$ od -c -N 50000 [Cyan]<DATools6.1>PWPLA>BoolOps.bcd!1
0000000  005  \0 302 370 301 352   1   ~  \f  \f  \0 004 360 001  \0  \0
0000020    | 270 240 243  \0 002 200 001  \0  \0  \0 001  \0  \0  \0  \0
0000040  204 005  \0  \0  \0   M  \0 021  \0  \0  \0  \0  \0   9  \0  \f
0000060   \0   E  \0  \0  \0   E  \0  \0  \0   E  \0  \0  \0   3  \0 006
0000100   \0   E  \0  \b  \0  \0  \0  \0  \0   E  \0  \0  \0   E  \0  \0
0000120   \0   E  \0  \0  \0  \0  \0  \0  \0   E  \0  \0  \0   E  \0  \0
0000140   \0   E  \0  \0  \0 001   ? 377  \0  \0  \0  \0 177 376  \0 002
0000160   \b  \0  \0 017   ? 376 277 377  \0 001  \0  \0  \0  \0  \0 016
0000200  300  \0  \0 001  \0 001 377 374 177 377  \0 027 207  \a   v   i
0000220    r 021  \0 032 204 252 250 230   q   '  \0 036  \0 036  \0  \f
0000240    B   o   o   l   O   p   s   .   M   e   s   a  \a   B   o   o
0000260    l   O   p   s 002   I   O 004   R   o   p   e  \0  \0  \0  \0
0000300   \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0
*
0001000  037 314 302 370 301 352   1   ~  \f  \f  \0 004 360 001  \0  \0
0001020    | 270 240 243 300 020  \0  \0  \0 022  \0   /  \0   G  \0   v
0001040   \0 324 001   J 001   g 002 261  \0  \0 002 261  \0  \0 002 261
0001060   \0  \0 002 261 003 304 006   u  \0   l 006 341  \0 030 006 371
0001100   \0  \v  \a 033  \0 026  \a 004  \0 016  \a 022  \0  \t  \a 033
0001120   \0  \0  \a 004  \0  \0  \a 004  \0  \0  \0  \0  \0  \0  \0   d
0001140   \0  \t  \0   ;  \0  \0  \0   .  \0  \0  \0   O  \0   Z  \0  \0
0001160   \0   A  \0   "  \0   `  \0   g  \0   E  \0   >  \0   :  \0   7
0001200   \0   '  \0 025  \0   f  \0   X  \0   U  \0  \0  \0   D  \0   e
0001220   \0   i  \0  \0  \0   @  \0   ^  \0   =  \0   /  \0   T  \0   b
0001240   \0  \0  \0   M  \0  \0  \0 035  \0  \0  \0  \0  \0  \0  \0   W
0001260   \0  \0  \0  \0  \0   h  \0   F  \0   +  \0   N  \0  \0  \0   #
0001300   \0   K  \0 033  \0   \  \0   [  \0   (  \0  \0  \0   c  \0  \0
0001320   \0  \0  \0  \0  \0   6  \0   )  \0   Y  \0   8  \0  \0  \0   B
0001340   \0   S  \0   ]  \0   %  \0 002  \0  \0  \0   a  \0  \0  \0  \0
0001360  200  \0  \0  \v 200  \0  \0 022 200  \0  \0 033 200  \0  \0    
0001400  200  \0  \0   $ 200  \0  \0   + 200  \0  \0   3 200  \0  \0   7
0001420  200  \0  \0   ; 200  \0  \0   > 200  \0  \0   D 200  \0  \0   M
0001440  200 001  \0   Q 200  \r  \0   U 200  \f  \0   ^ 200  \0  \0   h
0001460  200  \0  \0   n 200 003  \0   y 200  \0  \0 200 200  \0  \0 211
0001500  200  \0  \0 220 200  \0  \0 224 200 022  \0 225 200  \b  \0 233
0001520  200  \0  \0 242 300  \0  \0 247 300  \0  \0 253 200  \v  \0 257
0001540  200  \0  \0 263 200  \0  \0 266 200  \0  \0 270  \0 016  \0 276
0001560  200 036  \0 302  \0   !  \0 306 300 031  \0 315 300  \a  \0 322
0001600  300 037  \0 324 300  \0  \0 335 300  \0  \0 340 300 034  \0 344
0001620  300  \0  \0 361 300  \0  \0 374 300  \0 001  \v 300  \0 001 025
0001640  300  \0 001 036 300 020 001   - 300  \0 001   ? 300 026 001   E
0001660  300  \n 001   Q 300   , 001   X 300  \0 001   d 300 024 001   l
0001700  300  \0 001   o 300   5 001   q 300   1 001   t 300   2 001   x
0001720  300 005 001   | 300  \0 001 203 300  \0 001 215 300   0 001 217
0001740  300 006 001 227 300  \0 001 233 300  \0 001 236 300   $ 001 241
0001760  300 004 001 251 300   * 001 254 300 021 001 260 300  \0 001 262
0002000  300 030 001 267 300   - 001 273 300  \0 001 277 300     001 311
0002020  300  \0 001 326 300   I 001 337 300   & 001 351 300   J 001 362
0002040  300   C 001 370 300  \0 002 002 300  \0 002 006 300   H 002 020
0002060  300   9 002 024 300 017 002 035 300 023 002   # 300  \0 002   )
0002100  300   3 002   . 300   P 002   3 300   R 002   8 300   V 002   B
0002120  300   < 002   D 300 027 002   K 300  \0 002   Q 300   Q 002   Z
0002140  300   G 002   a 300  \0 002   k 300  \0 002   n 300   4 002   x
0002160  300   _ 002   z 300   L 002 214 300  \0 002 236  \0   ? 002 236
0002200   \0  \0 002 251  \0  \0 002 257  \0 032 002 267  \0  \0 002 303
0002220   \0  \0 002 312 002 312 002 312   U   N   S   P   E   C   I   F
0002240    I   E   D   I   N   T   E   G   E   R   C   H   A   R   A   C
0002260    T   E   R   F   A   L   S   E   T   R   U   E   B   O   O   L
0002300    E   A   N   C   A   R   D   I   N   A   L   W   O   R   D   R
0002320    E   A   L   N   A   T   l   e   n   g   t   h   m   a   x   L
0002340    e   n   g   t   h   t   e   x   t   T   E   X   T   m   a   x
0002360    l   e   n   g   t   h   S   t   r   i   n   g   B   o   d   y
0002400    S   T   R   I   N   G   M   O   N   I   T   O   R   L   O   C
0002420    K   t   i   m   e   o   u   t   C   O   N   D   I   T   I   O
0002440    N   M   D   S   Z   o   n   e   A   T   O   M   ?   U   N   W
0002460    I   N   D   A   B   O   R   T   E   D   f   i   r   s   t   r
0002500    e   s   t   B   O   O   L   C   H   A   R   I   N   T   I   O
0002520    S   T   R   E   A   M   R   o   p   e   R   O   P   E   B   o
0002540    o   l   O   p   s   E   r   r   o   r   e   c   E   r   r   o
0002560    r   C   o   d   e   m   s   g   N   u   l   l   I   n   t   e
0002600    r   n   a   l   E   r   r   o   r   S   y   n   t   a   x   E
0002620    r   r   o   r   U   n   k   n   o   w   n   O   p   e   r   a
0002640    t   o   r   B   a   d   P   o   i   n   t   e   r   T   r   e
0002660    e   I   s   N   i   l   E   m   p   t   y   E   x   p   r   e
0002700    s   s   i   o   n   V   a   r   i   a   b   l   e   N   o   t
0002720    A   n   I   n   p   u   t   N   o   t   S   O   P   D   o   u
0002740    b   l   e   I   n   p   u   t   s   T   T   I   s   N   i   l
0002760    U   n   k   n   o   w   n   T   T   B   i   t   O   p   e   r
0003000    a   t   o   r   A   n   d   O   r   N   o   t   N   o   n   e
0003020    T   r   e   e   S   u   b   T   r   e   e   E   x   p   r   e
0003040    s   s   i   o   n   o   p   c   h   i   l   d   r   e   n   L
0003060    e   a   f   n   e   g   v   a   r   T   r   u   t   h   B   i
0003100    t   O   n   e   Z   e   r   o   N   C   P   T   e   r   m   b
0003120    i   t   s   s   i   z   e   T   r   u   t   h   T   a   b   l
0003140    e   T   r   u   t   h   T   a   b   l   e   R   e   c   n   u
0003160    m   I   n   p   u   t   s   n   u   m   O   u   t   p   u   t
0003200    s   n   u   m   P   T   e   r   m   s   p   t   e   r   m   s
0003220    R   o   p   e   T   o   T   r   e   e   e   x   p   r   T   r
0003240    e   e   T   o   R   o   p   e   t   r   e   e   T   r   e   e
0003260    T   o   S   O   P   S   O   P   N   o   t   S   O   P   A   n
0003300    d   t   r   e   e   1   t   r   e   e   2   S   O   P   O   r
0003320    T   T   O   p   t   i   m   i   z   e   t   t   S   O   P   T
0003340    o   T   T   i   n   p   u   t   s   e   q   u   a   t   i   o
0003360    n   s   T   T   T   o   S   O   P   T   T   T   o   S   t   r
0003400    e   a   m   o   u   t   S   t   r   e   a   m   T   o   T   T
0003420    i   n   B   e   r   k   e   l   e   y   T   T   T   o   S   t
0003440    r   e   a   m   B   e   r   k   e   l   e   y   S   t   r   e
0003460    a   m   T   o   T   T   B   o   o   l   O   p   s   .   b   c
0003500    d   I   O   .   b   c   d   R   o   p   e   .   b   c   d   S
0003520    T   R   E   A   M   R   e   c   o   r   d   R   o   p   e   R
0003540    e   p   2  \0 340  \0 341 200  \0 020 300 002 300 001  \0 002
0003560   \0  \0  \0  \t 300 002 300 001  \0   h  \0  \0  \0 021 300 002
0003600  300 001  \0   j  \0  \0  \0 031 300 002 300 001  \0   l  \0  \0
0003620   \0   1 300 002 300 001  \0   y  \0  \0  \0   9 300 002 300 001
0003640   \0   y  \0  \0  \0   A 300 002 300 001  \0   }  \0  \0  \0   I
0003660  300 002 300 001  \0 177  \0  \0  \0   Q 300 002 300 001  \0 203
0003700   \0  \0  \0   q 300 002 300 001  \0 261  \0  \0  \0 211 300 002
0003720  300 001  \0 230  \0  \0  \0 201 300 002 300 001  \0 263  \0  \0
0003740   \0 221 300 002 300 001  \0 273  \0  \0  \0 241 300 002 300 001
0003760   \0 310  \0  \0  \0 251 300 002 300 001  \0 316  \0  \0  \0 261
0004000  300 002  \0 002  \0 020  \0  \0  \0 271 300 002 300 023  \0  \0
0004020   \0 001  \0   ) 300 002 300 023  \0  \0  \0  \0  \0   ! 300 002
0004040  300 320   ? 377  \0 003  \0 301 300 002 300 320   ? 377  \0 005
0004060   \0 310 341 201  \0 020 341 202  \0  \b 342 300  \0 004  \0 002
0004100  300 004 300 023  \0  \0  \0  \0  \0   ! 300 004 300 023  \0  \0
0004120   \0 001  \0   ( 354 200  \0  \t  \0  \0 377 377 356  \0  \0  \t
0004140  354 200  \0  \t  \0  \0 177 377 343 022  \0       0  \f 320 006
0004160   \0   '  \0 020  \0  \0  \0   Y 300 006  \0 225  \0 020  \0 020
0004200   \0   h 300  \0 200   '  \0 020  \0 020  \0   ` 352 301  \0 220
0004220   \0 016 343   C  \0       0 020 320  \b  \0 030  \0 020  \0  \0
0004240   \0   Y 300  \b 200 030  \0 020  \0 020  \0   y 300  \b  \0 252
0004260   \0  \0  \0      \0   h 345 001  \0 255  \0 016 354 201  \0  \t
0004300   \0  \0  \0  \0 344  \0  \0   6 343 002  \0 020   0 024 320  \n
0004320   \0 004  \0 020  \0  \0  \0  \0 343 002  \0       0 030 320  \f
0004340   \0 030  \0 020  \0 020  \0 231 320  \f  \0 004  \0 020  \0  \0
0004360   \0  \0 360 001 357  \0  \0  \0  \0   O 344 200  \0 311 355  \0
0004400   \0 314 347 003  \0  \0  \0  \0 361  \0 344 200  \0 323 355  \0
0004420   \0 324 343 306  \0   @     034 344 220  \0 330 355  \0  \0 333
0004440  300 016  \0 326  \0      \0  \0  \0 321 300 016  \0 335  \0    
0004460   \0      \0 330 300 002 300 001  \0 023  \0  \0  \0 341 300 002
0004500  300 001  \0 016  \0  \0  \0 351 300 002 300 001  \0 371  \0  \0
0004520   \0 362  \0 004 355  \0  \0  \t 300 020 303 232  \0  \0  \0   A
0004540   \0 371 300 020 303 257  \0  \0  \0   A 001  \t 310 020 301  \n
0004560   \0  \0  \0   A 001 030 350  \0  \0 022 310 022 201 210  \0 020
0004600   \0  \0 001   % 310 022 300 001 001 230 001 021 001   1 310 022
0004620  300 001 001 327 001 026 001 241 310 022 300 001 001     001 033
0004640  001 311 310 022 300 001 001 356 001     001 321 310 022 300 001
0004660  001 363 001   % 001 331 310 022 300 001 002 021 001   * 001 361
0004700  310 022 300 001 002 036 001   / 002  \t 310 022 300 001 002   0
0004720  001   4 002   ) 310 022 300 001 002   @ 001   9 002   A 310 022
0004740  300 001 002   D 001   > 002   I 310 022 202   g  \0 020  \0 001
0004760  002   u 310 022 202   z  \0 020  \0 002 002 205 310 022 202 215
0005000   \0 020  \0 003 002 225 310 022 202 240  \0 020  \0 004 002 235
0005020  310 022 202 263  \0 020  \0 005 002 245 310 022 202 313  \0 020
0005040   \0 006 002 275 310 022 202 343  \0 020  \0  \a 002 305 310 022
0005060  202 366  \0 020  \0  \b 002 325 310 022 203   0  \0 020  \0  \t
0005100  002 355 310 022 203   T  \0 020  \0  \n 002 365 310 022 203   d
0005120   \0 020  \0  \v 003 005 310 022 203   w  \0 020  \0  \f 003 025
0005140  310 022 203 207  \0 020  \0  \r 003 036  \0  \0 343  \b 001    
0005160  020   $ 347 003 001 213  \0  \0   c 306  \0   0 200   ( 310 024
0005200  001 021  \0 020  \0   P 001   ) 310 024 003 261  \0      \0   `
0005220  001   8 342 200  \0 026  \0  \f 310 026 301 021  \0  \0  \0  \0
0005240  001   A 310 026 301 021  \0  \0  \0 001 001   I 310 026 301 021
0005260   \0  \0  \0 002 001   Q 310 026 301 021  \0  \0  \0 003 001   Y
0005300  310 026 301 021  \0  \0  \0 004 001   a 310 026 301 021  \0  \0
0005320   \0 005 001   i 310 026 301 021  \0  \0  \0 006 001   q 310 026
0005340  301 021  \0  \0  \0  \a 001   y 310 026 301 021  \0  \0  \0  \b
0005360  001 201 310 026 301 021  \0  \0  \0  \t 001 211 310 026 301 021
0005400   \0  \0  \0  \n 001 221 310 026 301 021  \0  \0  \0  \v 001 230
0005420  342 200  \0 030  \0 004 310 030 301 026  \0  \0  \0  \0 001 251
0005440  310 030 301 026  \0  \0  \0 001 001 261 310 030 301 026  \0  \0
0005460   \0 002 001 271 310 030 301 026  \0  \0  \0 003 001 300 355  \0
0005500  001 360 344 200 001 362 361  \0 343 306  \0   0 020   4 330 032
0005520  001 026  \0 020  \0  \0 001 341 330 032 002  \0  \0      \0 020
0005540  001 350 355  \0 002 002 344 220 002 004 343 306  \0   @  \0   8
0005560  310 034 001      \0      \0  \0  \0 321 310 034 002  \0  \0    
0005600   \0      \0 330 343 306  \0   0 020   < 330 036  \0 351  \0 020
0005620   \0  \0 001 371 310 036  \0   J  \0      \0 020 002  \0 342 200
0005640   \0      \0 003 310     301   /  \0  \0  \0  \0 002 021 310    
0005660  301   /  \0  \0  \0 001 002 031 310     301   /  \0  \0  \0 002
0005700  002     343 021  \0 020 020   D 310   " 002   =  \0 020  \0  \0
0005720  002   0 310  \0 200   '  \0 020  \0  \0 002   8 352   @ 002   8
0005740  001   / 355  \0 002   B 344 200 001   > 343 027  \0   p 020   H
0005760  330   $  \0 363  \0      \0  \0 002   Q 330   $  \0 363  \0    
0006000   \0     002   Y 330   $  \0 363  \0      \0   @ 002   a 310   $
0006020  002   d  \0 020  \0   ` 002   h 310  \0 200   '  \0 020  \0   `
0006040  002   8 355  \0 002   b 344 200 001   4 352   @ 002   [ 002   `
0006060  347 200 002   j 002   r   c 346  \0     200   L 310   & 003 261
0006100   \0      \0   @ 002   x   c 346  \0     200   P 310   ( 001 033
0006120   \0      \0   `  \0  \0 347 200 002   } 002 205   c 346  \0    
0006140  200   T 310   * 001 033  \0      \0   @ 002 210   c 346  \0    
0006160  200   X 310   , 003 261  \0      \0   `  \0  \0 347 200 002 220
0006200  002 230   c 346  \0     200   \ 310   . 001 033  \0      \0   @
0006220  002 210   c 346  \0     200   ` 310   0 001 033  \0      \0   `
0006240   \0  \0 347 200 002 243 002 253   c 346  \0     200   d 310   2
0006260  001 033  \0      \0   @ 002 210   c 346  \0     200   h 310   4
0006300  001 033  \0      \0   `  \0  \0 347 200 002 266 002 303   c 306
0006320   \0   @ 200   l 310   6 001 033  \0      \0   @ 002 251 310   6
0006340  001 033  \0      \0   ` 002 260   c 346  \0     200   p 310   8
0006360  001 033  \0      \0 200  \0  \0 347 200 002 316 002 333   c 306
0006400   \0   @ 200   t 310   : 001 033  \0      \0   @ 002 251 310   :
0006420  001 033  \0      \0   ` 002 260   c 346  \0     200   x 310   <
0006440  001 033  \0      \0 200  \0  \0 347 200 002 346 002 356   c 346
0006460   \0     200   | 310   > 001   9  \0      \0   @ 002 310   c 346
0006500   \0     200 200 310   @ 001   9  \0      \0   `  \0  \0 347 200
0006520  002 371 003   (   c 306  \0   @ 200 204 310   B 003 006  \0    
0006540   \0   @ 002 331 310   B 003 027  \0      \0   ` 002 340 355  \0
0006560  003  \b 344 220 003  \n 343 306  \0   @  \0 210 310   D  \0   J
0006600   \0      \0  \0  \0 321 310   D 003 006  \0      \0      \0 330
0006620  355  \0 003 031 344 220 003 033 343 306  \0   @  \0 214 310   F
0006640  001 033  \0      \0  \0  \0 321 310   F 003 027  \0      \0    
0006660   \0 330   c 346  \0     200 220 310   H 001   9  \0      \0 200
0006700   \0  \0 347 200 003   3 003   ;   c 346  \0     200 224 310   J
0006720  001   9  \0      \0   @ 002 310   c 346  \0     200 230 310   L
0006740  003   C  \0      \0   `  \0  \0 355  \0 003   E 344 220 003   G
0006760  343 306  \0   @  \0 234 310   N 001 033  \0      \0  \0  \0 321
0007000  310   N 003   C  \0      \0      \0 330 347 200 003   W  \0  \0
0007020    c 306  \0   @ 200 240 310   P 001   9  \0      \0   @ 002 311
0007040  310   P 003 234  \0      \0   ` 002 370 347 200 003   g 003   o
0007060    c 346  \0     200 244 310   R 003 234  \0      \0   @ 003  \b
0007100    c 346  \0     200 250 310   T 001   9  \0      \0   `  \0  \0
0007120  347 200 003   z  \0  \0   c 306  \0   @ 200 254 310   V 001   9
0007140   \0      \0   @ 002 311 310   V 003 234  \0      \0   ` 002 370
0007160  347 200 003 212 003 222   c 346  \0     200 260 310   X 003 234
0007200   \0      \0   @ 003  \b   c 346  \0     200 264 310   Z 001   9
0007220   \0      \0   `  \0  \0 350 200  \0   \ 310   \ 300 001 003 242
0007240  001   + 001 002 003 246 355  \0 003 244 344 200 003 246 310   \
0007260  300 001 003 254 003 006 003   B  \0  \0 343 306  \0 200 020 300
0007300  350   @  \0   d 310   d 300 001 003 267 001  \f 001 022 003 273
0007320  355  \0 003 271 344 200 003 273 300   d 300 001 003 301 001 355
0007340  003   J  \0  \0 343 034  \0 360 020 320  \0  \0 030  \0  \0 351
0007360   \0 001  \0   o  \0 001  \0 206  \0 001  \0 233  \0 001  \0 266
0007400   \0 001  \0 276  \0 001  \0 337  \0 001  \0 373  \0 001 001  \f
0007420      001 001 216  \0 001 001 233  \0 001 001 332  \0 001 001 366
0007440   \0 001 002  \a  \0 001 002 024  \0 001 002   !  \0 001 002   3
0007460   \0 001 002   G  \0 001 002   m  \0 001 002   u  \0 001 002 200
0007500   \0 001 002 210  \0 001 002 223  \0 001 002 233  \0 001 002 246
0007520   \0 001 002 256  \0 001 002 271  \0 001 002 306  \0 001 002 321
0007540   \0 001 002 336  \0 001 002 351  \0 001 002 361  \0 001 002 374
0007560   \0 001 003  \r  \0 001 003 036  \0 001 003   +  \0 001 003   6
0007600   \0 001 003   >  \0 001 003   J  \0 001 003   Z  \0 001 003   j
0007620   \0 001 003   r  \0 001 003   }  \0 001 003 215  \0 001 003 225
0007640   \0 001 003 234   (   `  \0  \b 002 225  \0  \0  \b  \0  \0  \b
0007660    * 321 003 261   (   h  \0 020 002   U  \0  \0  \b  \0  \0 020
0007700  027 321 302 370 301 352   1   ~  \0   # 003   (  \0  \0  \0  \0
0007720  177 377 207  \a   v   i   r 021  \0 037 003   0  \0   \  \0  \0
0007740   \0  \0 204 252 250 230   q   '  \0   ! 003   8  \0   d  \0  \0
0007760   \0 001 177 377   ? 377 001 205 002   B  \0   6  \0 004 004 005
0010000  037 377 001 005 004   )  \0   ,   [  \0  \0  \0   T 201 002  \0
0010020  300 004   T 201  \0 371 300 004   T 201  \0 371 300 004   T 201
0010040   \0 371 300 004 377 370  \0  \0 377 370 200  \0  \0   i  \0  \0
0010060   \0 002  \0  \0  \0  \0 200 206 300  \0 200 233 300  \0 200 266
0010100  300 002 200 276 300  \0 200 303 300  \0 201 366 201 351 201 373
0010120   \0 002 202 024 200   o 202   G  \0 005 202   L  \0  \b 202   Q
0010140   \0  \v                                                        
0010142