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