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