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