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