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