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