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