$ 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