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