$ od -c -N 50000 [phylum]<LISPUSERS>Lyric>LOGIC-DEVEL.DFASL!1
0000000 221 \0 005 X C L C o m p i l e r
0000020 o u t p u t f o r s o u r c
0000040 e f i l e { D S K } < L I S
0000060 P F I L E S > L O G I C > L O G
0000100 I C - D E V E L . ; 6 \r S o u r
0000120 c e f i l e c r e a t e d
0000140 W e d n e s d a y , 2 0 A p
0000160 r i l 1 9 8 8 , 1 1 : 3 3 :
0000200 2 4 . \r F A S L f i l e c r
0000220 e a t e d W e d n e s d a y ,
0000240 2 0 A p r i l 1 9 8 8 ,
0000260 1 1 : 3 5 : 1 9 . \r 377 235 226 002 031 o
0000300 \0 \0 \0 g \0 \0 g \0 \0 \v \0 \0 021 021 001 o
0000320 \0 \0 \0 \t \0 \0 020 \0 002 001 230 225 214 016 F I
0000340 L E C R E A T E D L O C 002 \0 230 217
0000360 214 020 * S T A N D A R D - I N P U
0000400 T * 230 214 020 1 t o p - l e v e l
0000420 f o r m 002 \0 \0 \0 230 220 214 \b F U N
0000440 C T I O N 230 223 001 200 002 025 230 225 214 020 D
0000460 E F I N E - F I L E - I N F O \v
0000500 230 217 214 004 O P E N 002 \b 230 220 214 006 O U
0000520 T P U T 005 230 220 214 \t D I R E C T I
0000540 O N 002 021 230 223 006 230 220 214 \a P A C K A
0000560 G E 230 214 004 U S E R 230 220 214 \t R E A
0000600 D T A B L E 230 214 \t I N T E R L I
0000620 S P 230 220 214 004 B A S E \n 001 230 214 006 {
0000640 N u l l } \0 235 226 \0 017 g \0 \0 g \0 \0
0000660 o \0 \0 \0 \v \0 \0 020 \0 230 214 020 1 t o
0000700 p - l e v e l f o r m \0 \0 \0 \0
0000720 231 003 230 223 001 200 001 \v 230 225 214 \a P U T P
0000740 R O P 002 004 230 225 214 \t F I L E D A T
0000760 E S 001 230 225 214 \v L O G I C - D E V
0001000 E L 001 \a 230 223 001 230 224 002 230 214 022 2 0 -
0001020 A p r - 8 8 1 1 : 3 3 : 2 4 225
0001040 214 $ { D S K } < L I S P F I L E
0001060 S > L O G I C > L O G I C - D E
0001100 V E L . ; 6 \0 234 230 222 214 023 C R E A
0001120 T E - D E V E L - T H E O R Y 230
0001140 221 230 214 004 U S E R 226 \0 L @ \t \0 \0 270
0001160 H \t \0 \0 277 o \0 \0 \0 H i \v \0 \0 271 I
0001200 262 4 g \0 \0 \b \0 \0 032 g \0 \0 I 032 h 032
0001220 032 \t \0 \0 272 H \t \0 \0 277 @ g \0 \0 \n \0
0001240 \0 J \n \0 \0 277 H \t \0 \0 277 H o \0 \0 \0
0001260 \n \0 \0 020 h 020 \0 231 032 003 \0 \0 001 231 003 230
0001300 223 001 230 223 001 230 214 005 M A I N W \n F 230
0001320 217 214 006 F O R M A T = 230 225 214 006 C L
0001340 E A R W 8 230 225 214 016 T B . I N S E
0001360 R T . I T E M 4 230 225 214 \r G E T W
0001400 I N D O W P R O P , 231 037 ' 230 222 214
0001420 022 M Y - C R E A T E - T B R E C
0001440 O R D 231 031 033 230 217 214 017 M A K E - H
0001460 A S H - T A B L E 021 230 225 214 \n P r
0001500 o m p t R e a d \a 231 037 002 230 225 214 017
0001520 G E T P R O M P T W I N D O W 003
0001540 1 230 225 214 \f T A B L E B R O W S E
0001560 R 037 230 222 214 \v T H E O R Y - N A M
0001600 E 231 031 030 230 222 214 006 T H E O R Y 231 031
0001620 002 B 230 214 020 ~ % T h e o r y c r
0001640 e a t e d \v 230 214 \v T h e o r y
0001660 n a m e \0 234 230 222 214 022 C R E A T E
0001700 - T H E O R Y - M E N U 231 031 226 \0
0001720 P @ g \0 \0 ` \0 \0 037 270 H 271 H g \0 \0
0001740 024 277 I 270 H 271 H g \0 \0 024 034 277 I 270
0001760 H 271 H j j n 177 377 n 177 377 h 032 032 032 032
0002000 024 \n 277 I 270 H 006 \0 \0 o \0 \0 \0 024 022 277
0002020 H 006 \0 \0 @ \t \0 \0 024 004 277 H \v \0 \0 020
0002040 \0 231 + 002 \0 \0 001 231 003 230 223 001 230 223 001 230
0002060 214 005 M A I N W 002 L 230 225 214 \r P U T
0002100 W I N D O W P R O P E 230 222 214 021 L
0002120 I S T - A L L - T H E O R I E S
0002140 231 031 006 A 230 225 214 004 M E N U 6 231 1 030
0002160 230 225 214 021 D E F A U L T M E N U H
0002200 E L D F N \r 230 225 214 \t C L R P R O
0002220 M P T 005 230 225 214 \v 004 003 M E N U T Y
0002240 P E # 002 230 225 214 \r T H E O R I E S
0002260 - M E N U 001 9 230 214 \r W h i c h
0002300 t h e o r y ? \0 235 226 \0 032 g \0 \0 o
0002320 \0 \0 \0 \n \0 \0 277 g \0 \0 g \0 \0 \n \0 \0
0002340 277 g \0 \0 020 \0 230 214 020 1 t o p - l
0002360 e v e l f o r m \0 \0 \0 \0 231 003 230
0002400 223 001 200 002 022 230 225 214 023 S E T F - M A
0002420 C R O - F U N C T I O N \b 230 225 214
0002440 024 S E T F - S Y M B O L - F U N
0002460 C T I O N 004 026 230 222 214 \b D R I B B
0002500 L E P 231 031 017 230 222 214 017 e x p a n d
0002520 - D R I B B L E P 231 031 \f 231 ; 001 231
0002540 < 001 004 226 \0 S @ 002 270 H 001 271 H 002 001 272
0002560 g \0 \0 g \0 \0 J o \0 \0 \0 032 032 g \0 \0
0002600 g \0 \0 I o \0 \0 \0 032 032 o \0 \0 \0 032 032
0002620 h 032 032 g \0 \0 J o \0 \0 \0 032 032 g \0 \0
0002640 g \0 \0 I o \0 \0 \0 032 032 o \0 \0 \0 032 032
0002660 h 032 032 h 032 032 032 020 \0 230 214 032 l a m b
0002700 d a i n 1 t o p - l e v e
0002720 l f o r m 003 \0 \0 002 231 003 230 223 001 230
0002740 223 002 230 214 \f $ $ M A C R O - F O R
0002760 M 230 214 023 $ $ M A C R O - E N V I
0003000 R O N M E N T \0 \a ; 231 ! 8 231 ! .
0003020 230 217 214 002 E Q 033 231 ! 030 231 ! 016 231 B \v
0003040 230 217 214 004 C O N D 006 E 230 223 001 230 223 002
0003060 230 217 214 005 Q U O T E 230 225 214 020 T Y P
0003100 E S C R I P T S T R E A M ? 230 223
0003120 001 230 223 002 231 D 230 225 214 \f U N I F Y -
0003140 W I N D O W 2 230 223 001 230 223 002 231 D 230
0003160 222 214 005 U N I F Y 231 031 % 230 223 001 230 223
0003200 002 231 D 231 E 037 230 223 001 230 223 002 231 D 230 225
0003220 214 \f S O L V E - W I N D O W 022 230
0003240 223 001 230 223 002 231 D 230 222 214 005 S O L V E
0003260 231 031 \0 \0 234 230 222 214 \n E D I T - A X
0003300 I O M 231 031 226 001 202 \0 \0 \0 367 @ g \0 \0
0003320 \n \0 \0 \t \0 \0 270 H 242 261 \0 347 @ 225 H @
0003340 \n \0 \0 200 h 271 I 221 I 210 g \0 \0 301 002 311
0003360 \0 H ' 271 ` \0 \0 037 272 J 273 J g \0 \0 024
0003400 277 K 272 J 273 J g \0 \0 024 034 277 K 272 J
0003420 273 J j j n 177 377 n 177 377 h 032 032 032 032 024
0003440 \n 277 K 272 J 006 \0 \0 o \0 \0 \0 024 022 277 J
0003460 006 \0 \0 g \0 \0 h 032 I \t \0 \0 \n \0 \0 024
0003500 004 277 J \t \0 \0 272 J 262 v J g \0 \0 360 262
0003520 A @ \t \0 \0 \t \0 \0 277 i o \0 \0 \0 \n \0
0003540 \0 277 \b \0 \0 273 g \0 \0 h 032 h 032 h 032 c
0003560 \b 277 g \0 \0 o \0 \0 \0 \n \0 \0 277 K I T
0003600 \v \0 \0 277 g \0 \0 h 032 h 032 h 032 c \b 020
0003620 @ \t \0 \0 \t \0 \0 277 J I \n \0 \0 c \b 277
0003640 g \0 \0 o \0 \0 \0 \n \0 \0 277 J I T \v \0
0003660 \0 277 g \0 \0 h 032 h 032 h 032 c \b 020 h 020
0003700 h 020 \0 003 004 230 222 214 020 * A X I O M -
0003720 T E M P L A T E * 231 031 231 V 004 001 \0
0003740 001 231 003 230 223 001 230 223 001 230 214 006 W I N D
0003760 O W 021 202 \0 \0 \0 343 230 217 214 \a P U T H
0004000 A S H 202 \0 \0 \0 334 230 217 214 002 E D 202 \0
0004020 \0 \0 317 230 217 214 \a G E T H A S H 202 \0
0004040 \0 \0 311 230 225 214 020 T T Y D I S P L A
0004060 Y S T R E A M 202 \0 \0 \0 306 231 % 202 \0
0004100 \0 \0 265 231 [ 202 \0 \0 \0 256 231 \ 202 \0 \0 \0
0004120 227 230 217 214 004 R E A D 202 \0 \0 \0 223 231 036
0004140 202 \0 \0 \0 212 231 ^ 202 \0 \0 \0 207 231 % x 231
0004160 1 q 230 217 214 006 A P P E N D n 230 222 214
0004200 \t A L L - P R E D S 231 031 025 230 222 214
0004220 023 G E T - T H E O R Y - I N T E
0004240 R N A L 231 031 \b 231 1 005 231 ! 016 202 \0 \0
0004260 \0 347 230 222 214 \t P R E D I C A T E 231
0004300 031 202 \0 \0 \0 325 231 W 202 \0 \0 \0 271 231 c 202
0004320 \0 \0 \0 247 231 W 202 \0 \0 \0 233 231 c 202 \0 \0
0004340 \0 200 230 222 214 \a - - N E W - - 231 031 h
0004360 231 d e 231 1 Z 231 1 < 231 2 1 231 3 ) 231
0004400 4 037 231 ( 002 231 5 004 202 \0 \0 \0 330 230 223 003
0004420 230 222 214 \t V A R I A B L E S 231 031 230
0004440 222 214 004 V A R S 231 031 230 220 214 023 C L O
0004460 S E - O N - C O M P L E T I O N
0004500 202 \0 \0 \0 252 230 223 003 231 e 231 f 231 g 202 \0
0004520 \0 \0 217 230 214 016 ~ % A x i o m n a
0004540 m e : ] 230 214 \f W h i c h a x
0004560 i o m ? \0 234 230 222 214 \a E D I T - S
0004600 A 231 031 226 001 202 \0 \0 001 024 @ g \0 \0 \n \0
0004620 \0 \t \0 \0 270 H 242 261 001 004 @ 225 H @ \n \0
0004640 \0 200 h 271 I 221 I 210 g \0 \0 301 002 311 \0 H
0004660 ' 271 ` \0 \0 037 272 J 273 J g \0 \0 024 277
0004700 K 272 J 273 J g \0 \0 024 034 277 K 272 J 273 J
0004720 j j n 177 377 n 177 377 h 032 032 032 032 024 \n 277
0004740 K 272 J 006 \0 \0 o \0 \0 \0 024 022 277 J 006 \0
0004760 \0 g \0 \0 h 032 I \t \0 \0 \n \0 \0 024 004 277
0005000 J \t \0 \0 272 J 242 261 \0 222 J g \0 \0 360 262
0005020 Q @ \t \0 \0 \t \0 \0 277 i o \0 \0 \0 \n \0
0005040 \0 277 \b \0 \0 273 g \0 \0 g \0 \0 h 032 g \0
0005060 \0 h 032 032 032 c \b 277 g \0 \0 o \0 \0 \0 \n
0005100 \0 \0 277 K I g \0 \0 T 032 \v \0 \0 277 g \0
0005120 \0 g \0 \0 h 032 g \0 \0 h 032 032 032 c \b 020
0005140 @ \t \0 \0 \t \0 \0 277 J I \n \0 \0 002 c \b
0005160 277 g \0 \0 o \0 \0 \0 \n \0 \0 277 J I g \0
0005200 \0 T 032 \v \0 \0 277 g \0 \0 g \0 \0 h 032 g
0005220 \0 \0 h 032 032 032 c \b 020 h 020 h 020 \0 003 004
0005240 230 222 214 \r * S A - T E M P L A T E
0005260 * 231 031 231 l 004 001 \0 001 231 003 230 223 001 230 223
0005300 001 230 214 006 W I N D O W 021 202 \0 \0 \0 372
0005320 231 [ 202 \0 \0 \0 357 231 \ 202 \0 \0 \0 341 231 ]
0005340 202 \0 \0 \0 333 231 ^ 202 \0 \0 \0 330 231 % 202 \0
0005360 \0 \0 301 231 [ 202 \0 \0 \0 266 231 \ 202 \0 \0 \0
0005400 231 231 _ 202 \0 \0 \0 225 231 036 202 \0 \0 \0 214 231
0005420 ^ 202 \0 \0 \0 211 231 % x 231 1 q 231 ` n 230
0005440 222 214 \a A L L - S A S 231 031 025 231 b \b
0005460 231 1 005 231 ! 026 202 \0 \0 001 006 230 222 214 006 <
0005500 B O D Y > 231 031 202 \0 \0 001 001 230 222 214 004
0005520 A R G S 231 031 202 \0 \0 \0 376 230 217 214 006 L
0005540 A M B D A 202 \0 \0 \0 365 230 222 214 002 S A
0005560 231 031 202 \0 \0 \0 350 231 m 202 \0 \0 \0 315 231 r
0005600 202 \0 \0 \0 310 231 s 202 \0 \0 \0 305 231 t 202 \0
0005620 \0 \0 274 231 u 202 \0 \0 \0 257 231 m 202 \0 \0 \0
0005640 245 231 r 202 \0 \0 \0 240 231 s 202 \0 \0 \0 235 231
0005660 t 202 \0 \0 \0 202 231 d h 231 d e 231 1 Z 231
0005700 1 < 231 2 1 231 3 ) 231 4 037 231 ( 002 231 5
0005720 004 202 \0 \0 \0 353 230 223 003 231 e 231 f 231 g 202
0005740 \0 \0 \0 262 230 223 003 231 e 231 f 231 g 202 \0 \0
0005760 \0 221 230 214 \v ~ % S A n a m e :
0006000 ] 230 214 \t W h i c h s a ? \0 234 230
0006020 222 214 \r G E T - L I S T - P R O P
0006040 231 031 226 \0 034 h 270 @ 262 026 H @ 001 A \n \0
0006060 \0 h 032 \n \0 \0 270 @ 002 b \0 277 260 353 H 020
0006100 \0 231 z 001 \0 \0 002 231 003 230 223 001 230 223 002 230
0006120 214 \a T I - L I S T 230 214 \b P R O P
0006140 E R T Y 002 017 231 ` \n 230 222 214 017 G E T
0006160 - T B - P R O P E R T Y 231 031 \0 \0
0006200 \0 234 231 177 226 \0 \n @ 006 \0 \0 311 \0 A ' 020
0006220 \0 231 177 \0 \0 \0 002 231 003 230 223 001 230 223 002 230
0006240 214 004 I T E M 230 214 004 P R O P \0 001 002
0006260 230 225 214 \t T A B L E I T E M \0 \0 234
0006300 231 b 226 \0 4 A g \0 \0 \n \0 \0 006 \0 \0 311
0006320 \0 270 H 262 # H 001 g \0 \0 \n \0 \0 \t \0 \0
0006340 @ \t \0 \0 \n \0 \0 230 H 001 g \0 \0 \n \0 \0
0006360 020 H 002 270 260 336 h 020 \0 231 b 001 \0 \0 002 231
0006400 003 230 223 001 230 223 003 230 214 \v T H E O R Y
0006420 - N A M E 230 217 214 \t & O P T I O N
0006440 A L 230 214 006 W I N D O W 006 ) 231 177
0006460 230 217 214 023 S I M P L E - S T R I N
0006500 G - E Q U A L 035 230 217 214 \v S Y M B
0006520 O L - N A M E 031 231 202 \0 \0 \0 213 026 231
0006540 177 005 231 ! 004 & 231 ( 023 231 ' \b 231 & 002 231
0006560 & \0 \0 234 230 222 214 032 L I S T - A L L
0006600 - T H E O R I E S - I N T E R N
0006620 A L 231 031 226 \0 022 @ g \0 \0 \n \0 \0 \t \0
0006640 \0 g \0 \0 \n \0 \0 020 \0 231 202 \0 \0 \0 214 \0
0006660 \0 \0 001 231 003 230 223 001 230 223 001 230 214 006 W I
0006700 N D O W 003 016 231 z \b 230 225 214 020 T B .
0006720 C O L L E C T . I T E M S 005 231 !
0006740 002 \v 231 ' 002 231 & \0 \0 234 230 222 214 021 L O
0006760 A D - D E V E L - T H E O R Y 231
0007000 031 226 \0 202 \0 \0 \0 263 n \0 \0 037 X 277 @ \t
0007020 \0 \0 271 A 221 A 215 I \t \0 \0 277 o \0 \0 \0
0007040 I i \v \0 \0 272 g \0 \0 J g \0 \0 g \0 \0
0007060 \f \0 \0 \t \0 \0 273 \b \0 \0 H 375 024 \0 277 g
0007100 \0 \0 H 311 \0 032 g \0 \0 J 032 h 032 032 \t \0
0007120 \0 274 I \t \0 \0 277 K \t \0 \0 262 P K g \0
0007140 \0 g \0 \0 \v \0 \0 H 375 024 002 277 i H 375 024
0007160 004 277 n \0 \0 037 o \0 \0 \0 024 \0 H 024 002 k
0007200 n \0 \0 037 o \0 \0 \0 024 \0 H 024 002 016 277 @
0007220 g \0 \0 \n \0 \0 L \n \0 \0 277 I \t \0 \0 277
0007240 I o \0 \0 \0 \n \0 \0 277 i 200 h 275 M 221 M
0007260 020 I o \0 \0 \0 \n \0 \0 020 \0 231 202 \0 \0 \0
0007300 221 006 \0 \0 002 231 003 230 223 001 230 223 003 230 214 005
0007320 M A I N W 231 202 \0 \0 \0 206 230 214 016 N A
0007340 M E - O F - T H E O R Y 017 202 \0 \0
0007360 \0 257 231 036 202 \0 \0 \0 236 231 036 202 \0 \0 \0 225
0007400 231 037 202 \0 \0 \0 220 231 202 \0 \0 \0 214 231 !
0007420 ] 231 006 Q 230 217 214 \n P R O B E - F I
0007440 L E L 231 037 G 231 " 0 231 # , 230 217 214 017
0007460 M E R G E - P A T H N A M E S )
0007500 230 217 214 \r M A K E - P A T H N A M
0007520 E 033 231 $ 021 231 037 \b 231 % \b 202 \0 \0 \0 211
0007540 231 & Z 230 220 214 005 I N P U T W 231 \b ?
0007560 231 ' 8 231 ( & 230 222 214 003 L G C 231 031 #
0007600 230 220 214 004 T Y P E 037 230 220 214 004 N A M
0007620 E 005 202 \0 \0 \0 253 230 214 022 ~ % T h e o
0007640 r y n o t f o u n d 202 \0 \0 \0
0007660 232 230 214 017 ~ % T h e o r y l o a
0007700 d e d } 226 \0 n h 271 h 272 H 311 002 \t \0
0007720 \0 277 H 311 002 \t \0 \0 272 J 273 K j 360 221 260
0007740 034 H 311 002 \t \0 \0 H 311 \0 H 311 002 \t \0 \0
0007760 \v \0 \0 277 K k 325 [ 273 260 342 H 311 002 \t \0
0010000 \0 271 I 273 K j 377 221 260 034 H 311 002 \t \0 \0
0010020 H 311 \0 H 311 002 \t \0 \0 \v \0 \0 277 K k 325
0010040 [ 273 260 342 h 272 h H 375 024 004 277 J 272 j @
0010060 016 277 J 020 \0 230 222 214 020 * U N W I N D
0010100 - P R O T E C T * 230 221 230 214 006 S Y
0010120 S T E M 004 \0 \0 001 230 220 214 \a C L O S
0010140 U R E 230 223 001 230 223 001 230 214 003 ? 9 5 \t
0010160 S 231 [ P 231 _ G 231 _ 8 231 _ * 231 [ '
0010200 231 _ 036 231 _ 017 231 _ \b 231 _ \0 \0 \0 o 226
0010220 \0 016 H 311 002 g \0 \0 H 311 004 \v \0 \0 020 \0
0010240 230 214 016 C l e a n - u p f o r m
0010260 s 001 \0 \0 \0 231 202 \0 \0 \0 242 230 223 001 200 001
0010300 \n 230 217 214 005 C L O S E 001 004 230 220 214 005
0010320 A B O R T \0 \0 025 230 214 \v T h e o r
0010340 y n a m e 003 y 230 225 214 020 C O M P
0010360 I L E D - C L O S U R E k 231 202 \0
0010400 \0 \0 253 001 230 225 214 \t \ P T R H U N K
0010420 4 234 230 222 214 016 L O G I C - B U T T
0010440 O N F N 231 031 226 002 202 \0 \0 001 004 ` \0 \0
0010460 l 004 345 j 360 242 261 \0 370 ` \0 \0 k 345 j 360
0010500 221 h 020 S 222 S 260 V ` \0 \0 037 270 H 271 H
0010520 g \0 \0 024 277 I 270 H 271 H g \0 \0 024 034
0010540 277 I 270 H 271 H j j n 177 377 n 177 377 h 032
0010560 032 032 032 024 \n 277 I c 006 277 S 006 \0 \0 T 024
0010600 004 277 S 006 \0 \0 311 \n 002 002 l < 030 277 S 006
0010620 \0 \0 311 \n 002 002 002 l 016 030 277 S \t \0 \0 g
0010640 \0 \0 360 242 261 \0 210 @ \t \0 \0 270 h 271 h 272
0010660 H \t \0 \0 277 o \0 \0 \0 h h H \f \0 \0 272
0010700 H \t \0 \0 277 J 262 D g \0 \0 J g \0 \0 g
0010720 \0 \0 \f \0 \0 \t \0 \0 g \0 \0 g \0 \0 g \0
0010740 \0 g \0 \0 g \0 \0 g \0 \0 \r \a \0 \0 271 H
0010760 \t \0 \0 277 H o \0 \0 \0 I \t \0 \0 \v \0 \0
0011000 277 @ g \0 \0 I \v \0 \0 020 @ g \0 \0 \n \0
0011020 \0 \t \0 \0 277 H \t \0 \0 277 @ g \0 \0 h \v
0011040 \0 \0 277 H o \0 \0 \0 \n \0 \0 020 h 020 i 020
0011060 \0 003 003 230 225 214 017 L o g i c M i d d
0011100 l e M e n u 003 004 230 225 214 027 L o g i
0011120 c M i d d l e M e n u C o m m a
0011140 n d s 231 202 \0 \0 \0 255 003 002 \0 001 231 003 230
0011160 223 001 230 223 001 230 214 006 W I N D O W 021 202
0011200 \0 \0 \0 374 231 036 202 \0 \0 \0 363 231 / 202 \0 \0
0011220 \0 352 231 037 202 \0 \0 \0 345 231 202 \0 \0 \0 250 202
0011240 \0 \0 \0 342 231 ! 202 \0 \0 \0 332 231 / 202 \0 \0
0011260 \0 321 231 036 202 \0 \0 \0 316 230 217 214 \n N A M
0011300 E S T R I N G 202 \0 \0 \0 304 231 037 202 \0
0011320 \0 \0 277 231 006 202 \0 \0 \0 251 231 202 \0 \0 \0 227
0011340 202 \0 \0 \0 246 231 202 \0 \0 \0 230 202 \0 \0 \0 225
0011360 231 037 202 \0 \0 \0 220 230 225 214 \r P R O M P
0011400 T F O R W O R D 202 \0 \0 \0 205 231 037 |
0011420 231 % p 231 1 025 202 \0 \0 \0 357 231 E 202 \0 \0
0011440 \0 337 231 E 202 \0 \0 \0 326 231 E 202 \0 \0 \0 273
0011460 230 220 214 006 C R E A T E 202 \0 \0 \0 270 230
0011500 220 214 021 I F - D O E S - N O T - E
0011520 X I S T 202 \0 \0 \0 265 230 220 214 \v N E W
0011540 - V E R S I O N 202 \0 \0 \0 262 230 220 214
0011560 \t I F - E X I S T S 202 \0 \0 \0 257 231
0011600 \a 202 \0 \0 \0 254 231 \b 202 \0 \0 \0 243 230 222 214
0011620 003 T R C 231 031 202 \0 \0 \0 240 231 202 \0 \0 \0
0011640 233 202 \0 \0 \0 234 231 202 \0 \0 \0 234 s 230 222 214
0011660 \a D r i b b l e 231 031 c 231 1 W 231 1
0011700 O 231 1 / 231 2 $ 231 3 034 231 4 \r 230 225 214
0011720 020 L A S T M O U S E B U T T O N
0011740 S 001 231 202 \0 \0 \0 273 003 202 \0 \0 \0 370 230 214
0011760 \v F i l e c l o s e d 202 \0 \0 \0
0012000 311 230 214 \t ~ S o p e n e d 202 \0 \0
0012020 \0 211 230 214 024 T y p e s c r i p t
0012040 t o f i l e : \0 234 230 222 214 017 L
0012060 O G I C - D E V E L O P E R 231 031
0012100 226 003 202 \0 \0 001 251 g \0 \0 \t \0 \0 277 h h
0012120 o \0 \0 \0 W 020 \v \0 \0 l 006 i \f \0 \0 021
0012140 001 \0 o \0 \0 \0 o \0 \0 \0 l 004 i \f \0 \0
0012160 271 o \0 \0 \0 o \0 \0 \0 l 004 i \f \0 \0 272
0012200 H g \0 \0 \n \0 \0 273 K 001 l x 325 K 002 001
0012220 l x K 002 002 002 001 \f \0 \0 o \0 \0 \0 l 004
0012240 i \f \0 \0 274 h L o \0 \0 \0 \v \0 \0 275 `
0012260 \0 \0 037 276 N _ 016 277 N g \0 \0 024 277 O
0012300 016 276 N _ 016 277 N g \0 \0 024 034 277 O 016 276
0012320 N _ 016 277 N j j n 177 377 n 177 377 h 032 032
0012340 032 032 024 \n 277 O 016 276 \b \0 \0 _ 016 277 L \t
0012360 \0 \0 277 I g \0 \0 g \0 \0 \v \0 \0 277 J g
0012400 \0 \0 g \0 \0 \v \0 \0 277 g \0 \0 I \n \0 \0
0012420 277 g \0 \0 J \n \0 \0 277 g \0 \0 L \n \0 \0
0012440 277 H g \0 \0 g \0 \0 \v \0 \0 277 H g \0 \0
0012460 i \v \0 \0 277 H g \0 \0 I \v \0 \0 277 H g
0012500 \0 \0 J \v \0 \0 277 H g \0 \0 M \v \0 \0 277
0012520 N 006 \0 \0 o \0 \0 \0 024 022 277 N 006 \0 \0 k
0012540 024 \b 277 N 006 \0 \0 W 022 024 004 277 N 006 \0 \0
0012560 g \0 \0 \t \0 \0 024 026 277 N 006 \0 \0 i 024 \f
0012600 277 N 006 \0 \0 311 \n 002 002 l i 030 277 N 006 \0
0012620 \0 311 \n 002 002 002 l 016 030 277 H g \0 \0 g \0
0012640 \0 \v \0 \0 277 H g \0 \0 g \0 \0 \v \0 \0 277
0012660 N \t \0 \0 H g \0 \0 g \0 \0 \f \0 \0 277 L
0012700 H g \0 \0 g \0 \0 \f \0 \0 277 H \t \0 \0 277
0012720 H \t \0 \0 277 o \0 \0 \0 h g \0 \0 \t \0 \0
0012740 \v \0 \0 277 O 016 \t \0 \0 277 H \t \0 \0 020 \0
0012760 002 \0 230 222 214 \f L O G I C - W I N D
0013000 O W 231 031 003 \b 230 222 214 026 * L O G I C
0013020 - R E L E A S E - N U M B E R *
0013040 231 031 003 \t 230 222 214 022 * L O G I C - M
0013060 E N U - I T E M S * 231 031 231 202 \0 \0
0013100 \0 277 \b 002 \0 \0 231 003 230 223 001 200 ! 202 \0 \0
0013120 001 245 230 225 214 006 C L O S E W 202 \0 \0 001
0013140 240 230 225 214 \v D E L . P R O C E S S
0013160 202 \0 \0 001 232 230 225 214 \b U S E R E X E
0013200 C 202 \0 \0 001 227 230 217 214 017 S Y M B O L
0013220 - F U N C T I O N 202 \0 \0 001 213 231 ^
0013240 202 \0 \0 001 206 230 225 214 005 O P E N W 202 \0
0013260 \0 001 201 230 225 214 \f A T T A C H W I N
0013300 D O W 202 \0 \0 001 u 231 202 \0 \0 \0 311 202 \0
0013320 \0 001 k 230 225 214 \n M E N U W I N D O
0013340 W 202 \0 \0 001 f 231 / 202 \0 \0 001 [ 231 / 202
0013360 \0 \0 001 - 231 202 \0 \0 \0 307 202 \0 \0 001 006 231
0013400 / 202 \0 \0 \0 375 231 / 202 \0 \0 \0 364 231 / 202
0013420 \0 \0 \0 353 231 / 202 \0 \0 \0 342 231 / 202 \0 \0
0013440 \0 327 230 225 214 \t D S P S C R O L L 202
0013460 \0 \0 \0 317 231 202 \0 \0 \0 313 202 \0 \0 \0 307 231
0013500 202 \0 \0 \0 313 202 \0 \0 \0 277 231 / 202 \0 \0 \0
0013520 264 231 / 202 \0 \0 \0 251 231 037 202 \0 \0 \0 242 230
0013540 225 214 \f T H I S . P R O C E S S e
0013560 230 225 214 017 T B . M A K E . B R O W
0013600 S E R [ 230 225 214 \a C R E A T E W Q
0013620 230 225 214 \f C R E A T E R E G I O N
0013640 > 231 ! 6 231 202 \0 \0 \0 316 ' 231 202 \0 \0 \0
0013660 316 026 231 202 \0 \0 \0 316 020 231 036 004 230 217 214 \n
0013700 I N - P A C K A G E # 202 \0 \0 001 224
0013720 230 222 214 \r S T A R T - P R O V I N
0013740 G 231 031 202 \0 \0 001 ~ 230 225 214 003 T O P 202
0013760 \0 \0 001 { 230 225 214 004 L E F T 202 \0 \0 001
0014000 r 231 202 \0 \0 \0 322 202 \0 \0 001 o 230 225 214 005
0014020 R I G H T 202 \0 \0 001 c 230 222 214 \a N O
0014040 T R A C E 231 031 202 \0 \0 001 ` 230 225 214 005
0014060 U N I F Y 202 \0 \0 001 X 231 202 \0 \0 \0 325
0014100 202 \0 \0 001 U 230 225 214 005 S O L V E 202 \0
0014120 \0 001 H 231 1 202 \0 \0 001 < 231 1 202 \0 \0 001
0014140 4 231 1 202 \0 \0 001 * 230 222 214 023 L O G I
0014160 C - M E N U - F U N C T I O N 231
0014200 031 202 \0 \0 001 ' 231 1 202 \0 \0 001 036 231 1 202
0014220 \0 \0 001 026 231 1 202 \0 \0 001 \v 231 1 202 \0 \0
0014240 001 002 231 & 202 \0 \0 \0 371 231 P 202 \0 \0 \0 360
0014260 231 H 202 \0 \0 \0 347 230 225 214 020 T R U T H
0014300 - V A L U E - O N L Y 202 \0 \0 \0 337
0014320 230 225 214 005 F I R S T 202 \0 \0 \0 334 230 225
0014340 214 004 M O D E 202 \0 \0 \0 323 230 225 214 002 O
0014360 N 202 \0 \0 \0 313 231 202 \0 \0 \0 334 202 \0 \0 \0
0014400 303 231 202 \0 \0 \0 334 202 \0 \0 \0 274 231 202 \0 \0
0014420 \0 255 202 \0 \0 \0 271 230 225 214 \r B U T T O
0014440 N E V E N T F N 202 \0 \0 \0 261 231 202 \0
0014460 \0 \0 255 202 \0 \0 \0 256 231 202 \0 \0 \0 335 202 \0
0014500 \0 \0 201 231 2 s 231 3 i 231 4 ; 230 225 214 006
0014520 R E G I O N 001 230 222 214 004 U S E R 231
0014540 031 \t 202 \0 \0 001 217 230 214 \a L o g i c
0014560 > 202 \0 \0 001 016 230 214 \f C o n t r o l
0014600 m e n u a 230 223 004 230 225 214 004 F O N
0014620 T 230 223 003 230 222 214 \t H E L V E T I C
0014640 A 231 031 \f 230 222 214 003 B R R 231 031 230 225 214
0014660 \a P R I N T F N 230 222 214 016 P R I N
0014700 T - T B - I T E M S 231 031 T 230 214 017
0014720 T h e o r i e s w i n d o w /
0014740 230 214 031 L o g i c s o l v e r
0014760 T r a c e W i n d o w + 230 223 004
0015000 202 \0 \0 001 232 \n 202 \0 \0 001 220 202 \0 \0 001 220
0015020 230 214 032 L o g i c u n i f i e
0015040 r T r a c e W i n d o w 034 230
0015060 223 004 \n \n 202 \0 \0 001 220 202 \0 \0 001 220 \n 230
0015100 214 0 L o g i c ~ D - - H o
0015120 r n c l a u s e s p r o g r
0015140 a m m i n g e n v i r o n m e
0015160 n t \0 234 231 202 \0 \0 \0 330 226 \0 202 \0 \0 004
0015200 216 @ 002 001 270 A \t \0 \0 \t \0 \0 271 H g \0
0015220 \0 360 262 177 I \t \0 \0 272 h 273 h 274 h 275 J
0015240 220 201 260 031 J 001 \t \0 \0 275 K 224 L M & 274
0015260 204 M h 032 \ 273 J 002 272 260 346 I g \0 \0 \n
0015300 \0 \0 \t \0 \0 277 I g \0 \0 \n \0 \0 g \0 \0
0015320 \n \0 \0 \t \0 \0 262 023 I g \0 \0 \n \0 \0 g
0015340 \0 \0 \n \0 \0 \t \0 \0 277 I g \0 \0 \n \0 \0
0015360 g \0 \0 \n \0 \0 \t \0 \0 262 023 I g \0 \0 \n
0015400 \0 \0 g \0 \0 \n \0 \0 \t \0 \0 277 I \t \0 \0
0015420 020 H g \0 \0 360 230 I g \0 \0 i \v \0 \0 020
0015440 H g \0 \0 360 230 I g \0 \0 h \v \0 \0 020 H
0015460 g \0 \0 360 231 I \t \0 \0 277 I \t \0 \0 020 H
0015500 g \0 \0 360 224 I \t \0 \0 020 H g \0 \0 360 231
0015520 I \t \0 \0 277 I \t \0 \0 020 H g \0 \0 360 224
0015540 I \t \0 \0 020 H g \0 \0 360 224 I \t \0 \0 020
0015560 H g \0 \0 360 224 I \t \0 \0 020 H g \0 \0 360
0015600 230 I g \0 \0 h \v \0 \0 020 H g \0 \0 360 262
0015620 ~ I g \0 \0 \n \0 \0 \t \0 \0 272 J 262 n `
0015640 \0 \0 037 273 K 274 K g \0 \0 024 277 L 273 K
0015660 274 K g \0 \0 024 034 277 L 273 K 274 K j j n
0015700 177 377 n 177 377 h 032 032 032 032 024 \n 277 L 273 K
0015720 006 \0 \0 o \0 \0 \0 024 022 277 K 006 \0 \0 I 225
0015740 J I \n \0 \0 200 h 274 L 221 L 210 g \0 \0 301
0015760 002 311 \0 J ' \t \0 \0 024 004 277 K \t \0 \0 273
0016000 K 226 K J I \v \0 \0 020 h 020 h 020 H g \0
0016020 \0 360 262 ~ I g \0 \0 \n \0 \0 \t \0 \0 272 J
0016040 262 n ` \0 \0 037 273 K 274 K g \0 \0 024 277
0016060 L 273 K 274 K g \0 \0 024 034 277 L 273 K 274 K
0016100 j j n 177 377 n 177 377 h 032 032 032 032 024 \n 277
0016120 L 273 K 006 \0 \0 o \0 \0 \0 024 022 277 K 006 \0
0016140 \0 I 225 J I \n \0 \0 200 h 274 L 221 L 210 g
0016160 \0 \0 301 002 311 \0 J ' \t \0 \0 024 004 277 K \t
0016200 \0 \0 273 K 226 K J I \v \0 \0 020 h 020 h 020
0016220 H g \0 \0 360 242 261 \0 212 I g \0 \0 \n \0 \0
0016240 \t \0 \0 272 J 262 y ` \0 \0 037 273 K 274 K g
0016260 \0 \0 024 277 L 273 K 274 K g \0 \0 024 034 277
0016300 L 273 K 274 K j j n 177 377 n 177 377 h 032 032
0016320 032 032 024 \n 277 L 273 h 274 I 225 J I \n \0 \0
0016340 200 h 275 M 221 M 210 g \0 \0 301 002 311 \0 J '
0016360 \t \0 \0 275 K 006 \0 \0 o \0 \0 \0 024 022 277 K
0016400 006 \0 \0 M 024 004 277 M 220 201 h 020 K \t \0 \0
0016420 274 L 230 L J I \v \0 \0 277 260 355 h 020 h 020
0016440 H g \0 \0 360 242 261 \0 212 I g \0 \0 \n \0 \0
0016460 \t \0 \0 272 J 262 y ` \0 \0 037 275 M 274 M g
0016500 \0 \0 024 277 L 275 M 274 M g \0 \0 024 034 277
0016520 L 275 M 274 M j j n 177 377 n 177 377 h 032 032
0016540 032 032 024 \n 277 L 275 h 274 I 225 J I \n \0 \0
0016560 200 h 273 K 221 K 210 g \0 \0 301 002 311 \0 J '
0016600 \t \0 \0 273 M 006 \0 \0 o \0 \0 \0 024 022 277 M
0016620 006 \0 \0 K 024 004 277 K 220 201 h 020 M \t \0 \0
0016640 274 L 230 L J I \v \0 \0 277 260 355 h 020 h 020
0016660 H g \0 \0 360 232 I g \0 \0 g \0 \0 \v \0 \0
0016700 020 H g \0 \0 360 232 I g \0 \0 g \0 \0 \v \0
0016720 \0 020 H g \0 \0 360 232 I g \0 \0 g \0 \0 \v
0016740 \0 \0 020 H g \0 \0 360 232 I g \0 \0 g \0 \0
0016760 \v \0 \0 020 H g \0 \0 360 232 I g \0 \0 g \0
0017000 \0 \v \0 \0 020 H g \0 \0 360 232 I g \0 \0 g
0017020 \0 \0 \v \0 \0 020 H g \0 \0 360 262 2 I g \0
0017040 \0 g \0 \0 \v \0 \0 277 I g \0 \0 \n \0 \0 g
0017060 \0 \0 \n \0 \0 \t \0 \0 262 023 I g \0 \0 \n \0
0017100 \0 g \0 \0 \n \0 \0 \t \0 \0 020 h 020 H g \0
0017120 \0 360 262 2 I g \0 \0 g \0 \0 \v \0 \0 277 I
0017140 g \0 \0 \n \0 \0 g \0 \0 \n \0 \0 \t \0 \0 262
0017160 023 I g \0 \0 \n \0 \0 g \0 \0 \n \0 \0 \t \0
0017200 \0 020 h 020 H g \0 \0 360 262 # I g \0 \0 \n
0017220 \0 \0 272 J g \0 \0 \n \0 \0 273 K 220 201 h 020
0017240 J K 001 \n \0 \0 277 K 002 273 260 361 H g \0 \0
0017260 360 262 ' I g \0 \0 \n \0 \0 272 J g \0 \0 \n
0017300 \0 \0 273 K 220 200 213 J K 001 \n \0 \0 277 K 002
0017320 273 260 362 I \t \0 \0 020 H g \0 \0 360 262 $ I
0017340 g \0 \0 \n \0 \0 272 J \t \0 \0 273 K 220 200 213
0017360 J K 001 \n \0 \0 277 K 002 273 260 362 I \t \0 \0
0017400 020 H g \0 \0 360 224 I \t \0 \0 020 h 020 \0 231
0017420 202 \0 \0 \0 330 006 \0 \0 003 231 003 230 223 001 230 223
0017440 003 230 214 004 I T E M 230 214 004 M E N U 230
0017460 214 006 B U T T O N V 202 \0 \0 004 210 230 222
0017500 214 \f S H O W - P R O F I L E 231 031
0017520 202 \0 \0 004 } 231 + 202 \0 \0 004 s 230 225 214 016
0017540 T B . R E M O V E . I T E M 202 \0
0017560 \0 004 h 231 202 \0 \0 \0 220 202 \0 \0 004 c 231 !
0017600 202 \0 \0 004 T 231 + 202 \0 \0 004 J 231 202 \0 \0
0017620 \0 365 202 \0 \0 004 ? 231 202 \0 \0 \0 220 202 \0 \0
0017640 004 7 231 ! 202 \0 \0 004 # 230 225 214 016 T B .
0017660 D E L E T E . I T E M 202 \0 \0 004 027
0017700 231 202 \0 \0 \0 220 202 \0 \0 004 017 231 ! 202 \0 \0
0017720 003 376 231 202 \0 \0 \0 250 202 \0 \0 003 373 231 ! 202
0017740 \0 \0 003 365 231 ! 202 \0 \0 003 354 230 217 214 \a S
0017760 T R E A M P 202 \0 \0 003 351 231 ! 202 \0 \0
0020000 003 343 231 ! 202 \0 \0 003 333 231 / 202 \0 \0 003 307
0020020 231 202 \0 \0 \0 250 202 \0 \0 003 304 231 ! 202 \0 \0
0020040 003 276 231 ! 202 \0 \0 003 265 231 202 \0 \0 \0 367 202
0020060 \0 \0 003 262 231 ! 202 \0 \0 003 254 231 ! 202 \0 \0
0020100 003 244 231 / 202 \0 \0 003 222 231 / 202 \0 \0 003 201
0020120 231 / 202 \0 \0 003 p 231 / 202 \0 \0 003 _ 231 /
0020140 202 \0 \0 003 N 231 / 202 \0 \0 003 = 231 / 202 \0
0020160 \0 003 & 230 222 214 017 S H O W - D E F I
0020200 N I T I O N 231 031 202 \0 \0 003 035 231 1 202
0020220 \0 \0 003 \0 231 q 202 \0 \0 002 355 231 b 202 \0 \0
0020240 002 260 231 1 202 \0 \0 002 255 231 ! 202 \0 \0 002 226
0020260 231 202 \0 \0 \0 370 202 \0 \0 002 215 231 1 202 \0 \0
0020300 002 p 231 a 202 \0 \0 002 ] 231 b 202 \0 \0 002
0020320 231 1 202 \0 \0 002 035 231 ! 202 \0 \0 002 \b 230 222
0020340 214 \f L O G I C - D E L E T E 231 031
0020360 202 \0 \0 001 377 231 1 202 \0 \0 001 370 231 q 202 \0
0020400 \0 001 345 231 b 202 \0 \0 001 233 231 1 202 \0 \0 001
0020420 230 231 ! 202 \0 \0 001 205 231 202 \0 \0 \0 371 202 \0
0020440 \0 001 | 231 1 202 \0 \0 001 u 231 a 202 \0 \0 001
0020460 b 231 b 202 \0 \0 001 030 231 1 202 \0 \0 001 025 231
0020500 ! 202 \0 \0 001 006 231 / 202 \0 \0 \0 367 231 V 202
0020520 \0 \0 \0 354 231 l 202 \0 \0 \0 341 230 222 214 024 M
0020540 E R G E - T H E O R I E S - D E
0020560 V E L 231 031 202 \0 \0 \0 326 231 + 202 \0 \0 \0
0020600 321 231 032 202 \0 \0 \0 306 230 222 214 021 S A V E
0020620 - D E V E L - T H E O R Y 231 031 202
0020640 \0 \0 \0 273 231 + 202 \0 \0 \0 266 231 202 \0 \0 \0
0020660 221 202 \0 \0 \0 253 231 / 202 \0 \0 \0 234 231 / 202
0020700 \0 \0 \0 215 231 202 \0 \0 \0 304 202 \0 \0 \0 210 231
0020720 202 \0 \0 \0 250 202 \0 \0 \0 205 231 ! 177 231 ! v
0020740 231 202 \0 \0 \0 367 s 231 ! m 231 ! e 231 202 \0
0020760 \0 \0 250 b 231 ! \ 231 ! S 231 202 \0 \0 \0 367
0021000 P 231 ! J 231 ! B 231 202 \0 \0 \0 305 ? 231 !
0021020 & 231 202 \0 \0 \0 304 025 230 225 214 017 A T T A
0021040 C H E D W I N D O W S \t 230 225 214 \n
0021060 M A I N W I N D O W 006 230 225 214 \t W
0021100 F R O M M E N U _ 202 \0 \0 004 202 231 202
0021120 \0 \0 \0 364 202 \0 \0 004 ` 231 & 202 \0 \0 004 Y
0021140 230 222 214 005 E R A S E 231 031 202 \0 \0 004 <
0021160 230 225 214 \a D E L E T E D 202 \0 \0 004 4
0021200 231 & 202 \0 \0 004 - 230 222 214 \a E X P U N
0021220 G E 231 031 202 \0 \0 004 024 230 225 214 \b S E L
0021240 E C T E D 202 \0 \0 004 \f 231 & 202 \0 \0 004
0021260 005 230 222 214 \r D E L E T E - T H E O
0021300 R Y 231 031 202 \0 \0 003 370 231 E 202 \0 \0 003 362
0021320 231 H 202 \0 \0 003 346 231 E 202 \0 \0 003 340 231 H
0021340 202 \0 \0 003 330 231 202 \0 \0 \0 325 202 \0 \0 003 325
0021360 231 202 \0 \0 \0 326 202 \0 \0 003 316 230 222 214 017 N
0021400 O T R A C E - U N I F I E R 231 031
0021420 202 \0 \0 003 301 231 E 202 \0 \0 003 273 231 P 202 \0
0021440 \0 003 257 231 E 202 \0 \0 003 251 231 P 202 \0 \0 003
0021460 241 231 202 \0 \0 \0 325 202 \0 \0 003 236 231 202 \0 \0
0021500 \0 327 202 \0 \0 003 227 230 222 214 016 N O T R A
0021520 C E - S O L V E R 231 031 202 \0 \0 003 217
0021540 230 217 214 005 T R A C E 202 \0 \0 003 214 231 202
0021560 \0 \0 \0 327 202 \0 \0 003 206 230 222 214 \f T R A
0021600 C E - S O L V E R 231 031 202 \0 \0 003 ~
0021620 231 202 \0 \0 001 006 202 \0 \0 003 { 231 202 \0 \0 \0
0021640 326 202 \0 \0 003 u 230 222 214 \r T R A C E -
0021660 U N I F I E R 231 031 202 \0 \0 003 m 230 225
0021700 214 \v I N T E R A C T I V E 202 \0 \0
0021720 003 j 231 202 \0 \0 \0 333 202 \0 \0 003 d 230 222 214
0021740 \v I N T E R A C T I V E 231 031 202 \0
0021760 \0 003 \ 230 225 214 003 A L L 202 \0 \0 003 Y 231
0022000 202 \0 \0 \0 333 202 \0 \0 003 S 230 222 214 003 A L
0022020 L 231 031 202 \0 \0 003 K 231 202 \0 \0 \0 332 202 \0
0022040 \0 003 H 231 202 \0 \0 \0 333 202 \0 \0 003 B 230 222
0022060 214 \b S E T - M O D E 231 031 202 \0 \0 003
0022100 : 231 202 \0 \0 \0 332 202 \0 \0 003 7 231 202 \0 \0
0022120 \0 333 202 \0 \0 003 1 230 217 214 005 F I R S T
0022140 202 \0 \0 003 020 231 1 202 \0 \0 003 005 231 1 202 \0
0022160 \0 002 367 231 ( 202 \0 \0 002 312 231 2 202 \0 \0 002
0022200 277 231 3 202 \0 \0 002 267 231 4 202 \0 \0 002 252 231
0022220 5 202 \0 \0 002 241 230 222 214 \a S H O W - S
0022240 A 231 031 202 \0 \0 002 200 231 1 202 \0 \0 002 u 231
0022260 1 202 \0 \0 002 g 231 ( 202 \0 \0 002 : 231 2 202
0022300 \0 \0 002 / 231 3 202 \0 \0 002 ' 231 4 202 \0 \0
0022320 002 032 231 5 202 \0 \0 002 021 230 222 214 \n S H O
0022340 W - A X I O M 231 031 202 \0 \0 001 357 231 (
0022360 202 \0 \0 001 336 231 1 202 \0 \0 001 323 231 1 202 \0
0022400 \0 001 265 231 2 202 \0 \0 001 252 231 3 202 \0 \0 001
0022420 242 231 4 202 \0 \0 001 225 231 5 202 \0 \0 001 216 230
0022440 222 214 \t D E L E T E - S A 231 031 202 \0
0022460 \0 001 l 231 ( 202 \0 \0 001 [ 231 1 202 \0 \0 001
0022500 P 231 1 202 \0 \0 001 2 231 2 202 \0 \0 001 ' 231
0022520 3 202 \0 \0 001 037 231 4 202 \0 \0 001 022 231 5 202
0022540 \0 \0 001 \v 230 222 214 \f D E L E T E - A
0022560 X I O M 231 031 202 \0 \0 001 002 230 225 214 003 S
0022600 E E 202 \0 \0 \0 374 230 222 214 \v N O - S H
0022620 O W - E N V 231 031 202 \0 \0 \0 361 231 V 202
0022640 \0 \0 \0 346 231 l 202 \0 \0 \0 333 230 222 214 016 M
0022660 E R G E - T H E O R I E S 231 031 202
0022700 \0 \0 \0 313 230 222 214 \r C R E A T E - T
0022720 H E O R Y 231 031 202 \0 \0 \0 300 230 222 214 \v
0022740 S A V E - T H E O R Y 231 031 202 \0 \0
0022760 \0 260 230 222 214 \v L O A D - T H E O R
0023000 Y 231 031 202 \0 \0 \0 247 231 202 \0 \0 \0 331 202 \0
0023020 \0 \0 241 230 222 214 \n A L L - V A L U E
0023040 S 231 031 202 \0 \0 \0 230 231 202 \0 \0 \0 331 202 \0
0023060 \0 \0 222 230 222 214 \v T R U T H - V A L
0023100 U E 231 031 202 \0 \0 \0 202 231 E | 231 H p 231
0023120 E j 231 H _ 231 E Y 231 P M 231 E G 231 P
0023140 < 230 225 214 \a P R O C E S S 016 230 222 214
0023160 004 E X I T 231 031 004 202 \0 \0 003 \b 230 214 \t
0023200 W h i c h S A ? 202 \0 \0 002 x 230 214
0023220 \f W h i c h a x i o m ? 202 \0 \0
0023240 001 326 230 214 \t W h i c h S A ? 202 \0
0023260 \0 001 S 230 214 \f W h i c h a x i o
0023300 m ? \0 234 231 202 \0 \0 \0 372 226 \0 202 \0 \0 \0
0023320 222 @ \t \0 \0 270 A 221 A 215 H \t \0 \0 277 o
0023340 \0 \0 \0 H i \v \0 \0 271 I 262 v g \0 \0 \b
0023360 \0 \0 032 g \0 \0 I 032 h 032 032 \t \0 \0 272 B
0023400 221 B 214 @ g \0 \0 \n \0 \0 g \0 \0 \n \0 \0
0023420 273 B 222 B 260 K 274 h 275 L 220 202 M 260 026
0023440 M L 001 g \0 \0 \n \0 \0 h 032 \n \0 \0 275 L
0023460 002 274 260 350 275 H \t \0 \0 277 @ g \0 \0 \n \0
0023500 \0 J \n \0 \0 277 H \t \0 \0 277 I M @ \v \0
0023520 \0 277 @ \t \0 \0 277 H o \0 \0 \0 \n \0 \0 020
0023540 h 020 \0 231 202 \0 \0 \0 372 006 \0 \0 003 231 003 230
0023560 223 001 230 223 004 230 214 005 M A I N W 231 202 \0
0023600 \0 \0 206 230 214 \n N E W - T H E O R Y
0023620 230 214 020 L I S T - O F - T H E O R
0023640 I E S 020 202 \0 \0 \0 214 231 036 202 \0 \0 \0 203
0023660 231 + ~ 230 222 214 016 M E R G E - I N T
0023700 E R N A L 231 031 w 231 037 r 231 n 231 !
0023720 f 231 037 [ 231 ` V 231 177 = 231 202 \0 \0 \0 220
0023740 7 231 ! + 231 " 037 231 # 025 231 $ \v 231 037 002
0023760 231 % 006 k 231 & S 231 ' : 231 202 \0 \0 001 002
0024000 4 231 & # 231 ' 034 231 ( 002 202 \0 \0 \0 210 230
0024020 214 021 ~ % T h e o r i e s m e r
0024040 g e d 017 230 214 017 N e w t h e o r
0024060 y n a m e \0 234 231 " 226 \0 202 \0 \0 \0
0024100 227 @ 270 ` \0 \0 037 271 H 242 261 \0 213 H 001 272
0024120 J 001 273 J 002 274 K g \0 \0 360 236 I 006 \0 \0
0024140 L 221 k 200 j 317 \0 \0 277 260 f K g \0 \0 360
0024160 236 I 006 \0 \0 L 221 k 200 j 317 \0 020 277 260 Q
0024200 K g \0 \0 360 236 I 006 \0 \0 L 221 k 200 j 317
0024220 \0 277 260 < K g \0 \0 360 236 I 006 \0 \0 L
0024240 221 k 200 j 317 \0 0 277 260 ' K g \0 \0 360 231
0024260 I 006 \0 \0 L 024 \0 277 260 027 I 006 \0 \0 I 006
0024300 \0 \0 311 \0 K L h 032 032 \n \0 \0 024 \0 277 H
0024320 002 270 261 377 v I 020 \0 231 " 005 \0 \0 001 231 003
0024340 230 223 001 230 223 001 230 214 005 A L I S T 001 202
0024360 \0 \0 \0 211 231 ` \r 177 231 202 \0 \0 \0 204 { 231
0024400 202 \0 \0 \0 204 q 231 202 \0 \0 \0 204 k 230 222 214
0024420 004 D A T A 231 031 \ 231 202 \0 \0 \0 204 V 230
0024440 222 214 \f U N S E L E C T A B L E 231
0024460 031 G 231 202 \0 \0 \0 204 A 230 222 214 \v U N D
0024500 E L E T A B L E 231 031 2 231 202 \0 \0 \0
0024520 204 , 230 222 214 \a D E L E T E D 231 031 035
0024540 231 202 \0 \0 \0 204 027 230 222 214 \b S E L E C
0024560 T E D 231 031 003 230 225 214 020 004 003 T A B L
0024600 E I T E M T Y P E # \0 \0 234 231 202 \0
0024620 \0 \0 347 226 001 l \n B \n \0 \0 277 h c \0
0024640 277 B o \0 \0 \0 A g \0 \0 \n \0 \0 \v \0 \0
0024660 277 i c \0 020 \0 003 \0 230 217 214 016 * P R I
0024700 N T - P R E T T Y * 231 202 \0 \0 \0 347
0024720 \0 001 \0 003 231 003 230 223 001 230 223 003 230 214 \a B
0024740 R O W S E R 230 214 004 I T E M 230 214 006
0024760 W I N D O W 003 030 231 036 025 231 177 004 230 225
0025000 214 \f D S P X P O S I T I O N 001 022
0025020 231 ' 001 \r 230 214 004 ~ S ~ % \0 234 231 202 \0
0025040 \0 \0 373 226 \0 202 \0 \0 \0 312 n \0 \0 037 X 277
0025060 @ g \0 \0 \n \0 \0 001 271 I 221 I 203 @ \t \0
0025100 \0 H 375 024 \0 277 H 311 \0 \t \0 \0 277 H 311 \0
0025120 o \0 \0 \0 \n \0 \0 277 H 311 \0 \t \0 \0 277 @
0025140 g \0 \0 \n \0 \0 g \0 \0 \n \0 \0 271 I 220 212
0025160 H 311 \0 o \0 \0 \0 \n \0 \0 020 n \0 \0 037 H
0025200 024 \0 272 I 001 g \0 \0 \n \0 \0 J 375 024 002 277
0025220 I 001 g \0 \0 \n \0 \0 J 375 024 004 277 g \0 \0
0025240 J 311 002 g \0 \0 g \0 \0 \f \0 \0 \t \0 \0 g
0025260 \0 \0 g \0 \0 g \0 \0 g \0 \0 g \0 \0 g \0
0025300 \0 \r \a \0 \0 J 375 024 006 277 i J 375 024 \b 277
0025320 n \0 \0 037 o \0 \0 \0 024 \0 J 024 002 k n \0
0025340 \0 037 o \0 \0 \0 024 \0 J 024 002 016 277 I 002 271
0025360 261 377 } \0 231 202 \0 \0 \0 373 003 \0 \0 001 231 003
0025400 230 223 001 230 223 001 230 214 \n M A I N W I N
0025420 D O W \r 202 \0 \0 \0 231 231 006 202 \0 \0 \0 203
0025440 231 202 \0 \0 \0 227 202 \0 \0 \0 200 231 202 \0 \0 \0
0025460 230 l 231 177 _ 231 177 N 231 036 @ 231 202 \0 \0 \0
0025500 220 : 231 ! 2 231 037 + 231 036 231 037 025 231 %
0025520 \v 231 ! 016 202 \0 \0 \0 225 231 202 \0 \0 \0 265 202
0025540 \0 \0 \0 222 231 202 \0 \0 \0 266 202 \0 \0 \0 217 231
0025560 202 \0 \0 \0 267 202 \0 \0 \0 214 231 202 \0 \0 \0 270
0025600 202 \0 \0 \0 211 231 \a 202 \0 \0 \0 206 231 \b } 231
0025620 202 \0 \0 \0 232 z 231 202 \0 \0 \0 233 t 231 202 \0
0025640 \0 \0 234 i 231 ( \ 231 ' = 231 202 \0 \0 001 002
0025660 7 231 & \b 230 225 214 \f P R O M P T W I
0025700 N D O W 004 202 \0 \0 \0 271 226 \0 202 \0 \0 \0
0025720 232 H 311 004 \t \0 \0 271 H 311 004 \t \0 \0 272 H
0025740 311 \0 311 \0 o \0 \0 \0 \n \0 \0 277 H 311 006 o
0025760 \0 \0 \0 H 311 002 \v \0 \0 277 H 311 006 o \0 \0
0026000 \0 J \t \0 \0 \v \0 \0 277 J 273 K 220 201 260 034
0026020 H 311 006 o \0 \0 \0 K 001 K 001 H 311 004 \n \0
0026040 \0 \f \0 \0 277 K 002 273 260 343 H 311 006 o \0 \0
0026060 \0 I \t \0 \0 \v \0 \0 277 I 273 K 220 202 h 260
0026100 034 H 311 006 o \0 \0 \0 K 001 K 001 H 311 004 \n
0026120 \0 \0 \f \0 \0 277 K 002 273 260 342 272 h H 375 024
0026140 \b 277 J 272 j @ 016 277 J 020 \0 231 202 \0 \0 \0
0026160 241 004 \0 \0 001 231 202 \0 \0 \0 242 230 223 001 230 223
0026200 001 230 214 003 ? 9 6 \f 202 \0 \0 \0 202 231 036 177
0026220 231 ] e 231 036 b 230 217 214 006 L E N G T H
0026240 Q 231 036 N 231 ] 5 231 036 2 231 202 \0 \0 001 A
0026260 & 231 036 030 231 036 \v 231 q 004 231 a \0 006 t 230
0026300 214 \b ~ S ~ S ~ % ] 230 214 004 ~ D
0026320 ~ % C 230 214 \b ~ S ~ S ~ % - 230
0026340 214 004 ~ D ~ % 037 230 214 004 ~ S ~ % 024 230
0026360 214 001 . \0 202 \0 \0 \0 253 226 \0 016 H 311 006 g
0026400 \0 \0 H 311 \b \v \0 \0 020 \0 231 202 \0 \0 \0 246
0026420 001 \0 \0 \0 231 202 \0 \0 \0 242 230 223 001 200 001 \n
0026440 231 202 \0 \0 \0 250 001 004 231 202 \0 \0 \0 251 \0 \0
0026460 J 230 214 004 d o n e ' 230 214 \b ~ % S a
0026500 v i n g 004 202 \0 \0 \0 265 231 202 \0 \0 \0 253
0026520 202 \0 \0 \0 247 231 202 \0 \0 \0 253 R 230 225 214 \t
0026540 \ P T R H U N K 5 001 230 225 214 \t \ P
0026560 T R H U N K 2 235 226 \0 032 g \0 \0 o \0
0026600 \0 \0 \n \0 \0 277 g \0 \0 g \0 \0 \n \0 \0 277
0026620 g \0 \0 020 \0 230 214 020 1 t o p - l e
0026640 v e l f o r m \0 \0 \0 \0 231 003 230 223
0026660 001 200 002 022 231 9 \b 231 : 004 026 230 222 214 \t S
0026700 E E - E N V - P 231 031 017 230 222 214 020 e
0026720 x p a n d - S E E - E N V - P 231
0026740 031 \f 231 202 \0 \0 001 O 001 231 202 \0 \0 001 P 001
0026760 004 226 \0 006 o \0 \0 \0 020 \0 230 214 032 l a m
0027000 b d a i n 1 t o p - l e v
0027020 e l f o r m \0 \0 \0 002 231 003 230 223 001
0027040 230 223 002 230 214 \f $ $ M A C R O - F O
0027060 R M 230 214 023 $ $ M A C R O - E N V
0027100 I R O N M E N T \0 \0 001 001 230 223 003 231
0027120 ! 230 222 214 006 W I N D O W 231 031 230 223 002
0027140 231 D 231 202 \0 \0 001 023 \0 \0 235 226 \0 032 g \0
0027160 \0 o \0 \0 \0 \n \0 \0 277 g \0 \0 g \0 \0 \n
0027200 \0 \0 277 g \0 \0 020 \0 230 214 020 1 t o p
0027220 - l e v e l f o r m \0 \0 \0 \0 231
0027240 003 230 223 001 200 002 022 231 9 \b 231 : 004 026 230 222
0027260 214 \b S E T - M E N U 231 031 017 230 222 214
0027300 017 e x p a n d - S E T - M E N U
0027320 231 031 \f 231 202 \0 \0 001 [ 001 231 202 \0 \0 001 \
0027340 001 004 226 \0 ! @ 002 270 H 002 271 g \0 \0 g \0
0027360 \0 I 001 g \0 \0 H 001 h 032 032 032 032 I 002 001
0027400 h 032 032 032 020 \0 230 214 032 l a m b d a
0027420 i n 1 t o p - l e v e l f
0027440 o r m 002 \0 \0 002 231 003 230 223 001 230 223 002 230
0027460 214 \f $ $ M A C R O - F O R M 230 214
0027500 023 $ $ M A C R O - E N V I R O N
0027520 M E N T \0 003 017 230 225 214 002 O F \n 230 225
0027540 214 005 F E T C H \a 230 217 214 004 S E T F
0027560 \0 \0 \0 234 231 202 \0 \0 \0 364 226 \0 5 @ \t \0
0027600 \0 270 H \t \0 \0 277 H o \0 \0 \0 @ g \0 \0
0027620 \n \0 \0 @ g \0 \0 \n \0 \0 @ g \0 \0 \n \0
0027640 \0 @ g \0 \0 \n \0 \0 221 h 200 i \r 006 \0 \0
0027660 020 \0 231 202 \0 \0 \0 364 001 \0 \0 001 231 003 230 223
0027700 001 230 223 001 230 214 006 W I N D O W \a 1 231
0027720 036 ) 231 ! " 231 ! 033 231 ! 024 231 ! \a 231 037
0027740 002 231 % 004 & 231 202 \0 \0 \0 331 037 231 202 \0 \0
0027760 \0 327 030 231 202 \0 \0 \0 326 021 231 202 \0 \0 \0 333
0030000 001 \f 230 214 / ~ % M o d e : ~ A
0030020 / U n i f i e r : ~ A / S o
0030040 l v e r : ~ A / V a l u e s
0030060 : ~ A \0 234 230 222 214 016 S O L V E -
0030100 D E B U G G E R 231 031 226 \0 Q C g \0
0030120 \0 \n \0 \0 g \0 \0 360 262 C C g \0 \0 \n \0
0030140 \0 o \0 \0 \0 A B @ 001 001 \r 005 \0 \0 277 C
0030160 g \0 \0 \n \0 \0 g \0 \0 \n \0 \0 262 035 C g
0030200 \0 \0 \n \0 \0 g \0 \0 \n \0 \0 o \0 \0 \0 A
0030220 B @ 001 001 \r 005 \0 \0 020 h 020 h 020 \0 231 202
0030240 \0 \0 001 i \0 \0 \0 004 231 003 230 223 001 230 223 004
0030260 230 214 004 T R E E 230 214 \a F O R M U L
0030300 A 230 214 \a C L A U S E S 230 214 006 W I
0030320 N D O W \b I 231 036 < 231 ! 6 231 ! - 231
0030340 ! ' 231 ! 037 231 036 022 231 ! 005 231 ! \a 9 231
0030360 E 3 231 P * 231 E $ 231 P 017 231 P \b 231 202
0030400 \0 \0 001 006 002 231 202 \0 \0 \0 327 002 ? 230 214 1
0030420 F o r m u l a i s ~ A , ~ %
0030440 c l a u s e s a r e ~ A , ~
0030460 % c o n j s a r e ~ A ~ % ~
0030500 % 025 230 214 1 F o r m u l a i s
0030520 ~ A , ~ % c l a u s e s a r e
0030540 ~ A , ~ % c o n j s a r e
0030560 ~ A ~ % ~ % \0 234 231 202 \0 \0 \0 321 226 001
0030600 202 \0 \0 001 020 g \0 \0 \t \0 \0 277 W 016 g \0
0030620 \0 \n \0 \0 g \0 \0 \n \0 \0 270 g \0 \0 h 032
0030640 H g \0 \0 \n \0 \0 \n \0 \0 271 @ h I \v \0
0030660 \0 h \n \0 \0 272 W 016 g \0 \0 \n \0 \0 273 h
0030700 274 h 275 J W 016 \n \0 \0 274 L 242 261 \0 306 W
0030720 016 g \0 \0 \n \0 \0 276 N g \0 \0 360 262 ( K
0030740 233 i o \0 \0 \0 i \v \0 \0 277 i 200 h 221 260
0030760 023 i o \0 \0 \0 @ L 001 002 001 \n \0 \0 \v \0
0031000 \0 277 261 \0 220 N g \0 \0 360 262 : K 233 i o
0031020 \0 \0 \0 i \v \0 \0 277 i 200 h 221 260 023 i o
0031040 \0 \0 \0 @ L 001 002 001 \n \0 \0 \v \0 \0 277 L
0031060 002 001 001 275 L M \n \0 \0 M 001 M 002 001 \v \0
0031100 \0 272 260 201 N g \0 \0 360 262 I K 233 i o \0
0031120 \0 \0 i \v \0 \0 277 i 200 h 221 260 023 i o \0
0031140 \0 \0 @ L 001 002 001 \n \0 \0 \v \0 \0 277 i o
0031160 \0 \0 \0 \n \0 \0 277 \b \0 \0 262 030 L 002 001 001
0031200 275 L M \n \0 \0 M 001 M 002 001 \v \0 \0 272 261
0031220 377 4 i 020 \0 003 \a 231 202 \0 \0 \0 300 231 202 \0
0031240 \0 \0 321 \a 001 \0 002 231 003 230 223 001 230 223 002 230
0031260 214 005 C O N J S 230 214 004 L I N E 031 202
0031300 \0 \0 001 \a 231 S 202 \0 \0 \0 377 230 222 214 \b N
0031320 E W - T R E E 231 031 202 \0 \0 \0 363 230 217
0031340 214 \b Y - O R - N - P 202 \0 \0 \0 357 231
0031360 036 202 \0 \0 \0 346 231 036 202 \0 \0 \0 343 230 222 214
0031400 006 L O O K U P 231 031 202 \0 \0 \0 317 231 036
0031420 202 \0 \0 \0 272 231 S 202 \0 \0 \0 262 231 202 \0 \0
0031440 001 v 202 \0 \0 \0 247 231 036 202 \0 \0 \0 244 231 202
0031460 \0 \0 001 x 202 \0 \0 \0 220 231 036 z 231 036 w 231
0031500 202 \0 \0 001 x c 231 036 P 231 ! B 230 222 214 \v
0031520 L O G I C - P R O V E 231 031 7 231 !
0031540 . 230 222 214 \t M A K E - T R E E 231 031
0031560 * 230 222 214 \r M A K E - A N D - N O
0031600 D E 231 031 # 231 ` 231 z 023 231 202 \0 \0 \0
0031620 220 \r 231 ! 004 231 202 \0 \0 \0 320 \n 202 \0 \0 \0
0031640 301 231 202 \0 \0 001 \t 202 \0 \0 \0 202 231 202 \0 \0
0031660 001 \v U 231 202 \0 \0 \0 332 M 231 202 \0 \0 \0 333
0031700 4 231 202 \0 \0 \0 331 035 231 ' 027 230 222 214 023 *
0031720 B A C K G R O U N D - T H E O R
0031740 Y * 231 031 020 231 202 \0 \0 001 002 \n 231 & 001 231
0031760 202 \0 \0 \0 337 \a 202 \0 \0 \0 353 230 214 006 M o
0032000 r e ? 202 \0 \0 \0 332 230 214 004 ~ S ~ %
0032020 202 \0 \0 \0 312 230 214 004 ~ A ~ % 202 \0 \0 \0
0032040 233 230 214 004 ~ S ~ % 202 \0 \0 \0 213 230 214 004
0032060 ~ A ~ % n 230 214 004 ~ S ~ % ^ 230 214 004
0032100 ~ A ~ % \0 235 226 \0 032 g \0 \0 o \0 \0 \0
0032120 \n \0 \0 277 g \0 \0 g \0 \0 \n \0 \0 277 g \0
0032140 \0 020 \0 230 214 020 1 t o p - l e v e
0032160 l f o r m \0 \0 \0 \0 231 003 230 223 001 200
0032200 002 022 231 9 \b 231 : 004 026 230 222 214 \b T R A
0032220 C I N G P 231 031 017 230 222 214 017 e x p a
0032240 n d - T R A C I N G P 231 031 \f 231 202
0032260 \0 \0 001 206 001 231 202 \0 \0 001 207 001 004 226 \0 S
0032300 @ 002 270 H 001 271 H 002 001 272 g \0 \0 g \0 \0
0032320 J o \0 \0 \0 032 032 g \0 \0 g \0 \0 I o \0
0032340 \0 \0 032 032 o \0 \0 \0 032 032 h 032 032 g \0 \0
0032360 J o \0 \0 \0 032 032 g \0 \0 g \0 \0 I o \0
0032400 \0 \0 032 032 o \0 \0 \0 032 032 h 032 032 h 032 032
0032420 032 020 \0 230 214 032 l a m b d a i n
0032440 1 t o p - l e v e l f o r m
0032460 003 \0 \0 002 231 003 230 223 001 230 223 002 230 214 \f $
0032500 $ M A C R O - F O R M 230 214 023 $ $
0032520 M A C R O - E N V I R O N M E N
0032540 T \0 \a ; 231 ! 8 231 B . 231 B 033 231 ! 030
0032560 231 B 016 231 B \v 231 C 006 E 230 223 001 230 223 002
0032600 231 D 231 202 \0 \0 001 006 ? 230 223 001 230 223 002 231
0032620 D 231 202 \0 \0 \0 326 2 230 223 001 230 223 002 231 D
0032640 231 K % 230 223 001 230 223 002 231 D 231 202 \0 \0 001
0032660 006 037 230 223 001 230 223 002 231 D 231 202 \0 \0 \0 327
0032700 022 230 223 001 230 223 002 231 D 231 S \0 \0 234 230 222
0032720 214 016 U N I F Y - D E B U G G E R
0032740 231 031 226 \0 A C g \0 \0 \n \0 \0 270 C g \0
0032760 \0 \n \0 \0 g \0 \0 \n \0 \0 271 I 227 H g \0
0033000 \0 \n \0 \0 200 h 272 H o \0 \0 \0 @ A B \r
0033020 005 \0 \0 277 I 234 J o \0 \0 \0 @ A B \r 005
0033040 \0 \0 020 h 020 \0 231 202 \0 \0 001 231 003 \0 \0 004
0033060 231 003 230 223 001 230 223 004 230 214 004 P A T T 230
0033100 214 003 D A T 230 214 003 E N V 230 214 006 W I
0033120 N D O W 006 ; 231 036 , 231 036 035 231 ! 023 231
0033140 ! \r 231 ! 005 231 ! 004 032 231 E 020 231 E \n 231
0033160 H 002 231 H 002 3 230 214 ! ~ % U n i f y
0033200 i n g ~ A ~ % w i t h ~ A
0033220 ~ % i n ~ A ~ % $ 230 214 ~ %
0033240 U n i f y i n g ~ A ~ % w i
0033260 t h ~ A ~ % i n ~ A ~ % \0 235
0033300 226 \0 202 \0 \0 \0 203 o \0 \0 \0 \t \0 \0 277 o
0033320 \0 \0 \0 027 \0 \0 o \0 \0 \0 027 \0 \0 o \0 \0
0033340 \0 027 \0 \0 o \0 \0 \0 027 \0 \0 h 027 \0 \0 h
0033360 027 \0 \0 o \0 \0 \0 027 \0 \0 o \0 \0 \0 \t \0
0033400 \0 277 o \0 \0 \0 \t \0 \0 277 o \0 \0 \0 \t \0
0033420 \0 277 g \0 \0 o \0 \0 \0 o \0 \0 \0 l 0 \f
0033440 \0 \0 277 g \0 \0 o \0 \0 \0 o \0 \0 \0 l 004
0033460 \f \0 \0 277 l \b 027 \0 \0 o \0 \0 \0 \t \0 \0
0033500 277 o \0 \0 \0 \t \0 \0 020 \0 230 214 022 1 6
0033520 t o p - l e v e l f o r m s \0
0033540 \0 \0 \0 231 003 230 223 001 200 \b 177 230 225 214 \b P
0033560 U T P R O P S w 230 225 214 \t C O N S
0033600 T A N T S j 230 225 214 020 / D E C L A
0033620 R E D A T A T Y P E Y 231 202 \0 \0 001
0033640 246 H 230 225 214 \b D A T A T Y P E @ 231
0033660 202 \0 \0 001 247 8 230 225 214 \t F I L E S L
0033700 O A D 005 230 225 214 \b A D D T O V A R
0033720 \n p 230 225 214 016 T B . L E F T . M A
0033740 R G I N ] 231 202 \0 \0 \0 204 L 231 & 1 231
0033760 202 \0 \0 \0 257 * 231 202 \0 \0 \0 256 & 230 225 214
0034000 016 B a c k g r o u n d M e n u "
0034020 231 202 \0 \0 \0 301 033 231 W 024 231 m \r 231 202 \0
0034040 \0 \0 302 017 { 230 223 003 231 024 230 225 214 \t C O
0034060 P Y R I G H T 230 223 003 230 214 023 R O B
0034100 E R T O G H I S L A N Z O N I
0034120 202 \0 \0 \a 303 202 \0 \0 \a 304 s 230 223 001 231 202
0034140 \0 \0 001 252 d 230 223 \v 230 223 003 231 202 \0 \0 \0
0034160 204 \0 230 224 002 230 225 214 \b F L A G B I T
0034200 S \0 230 223 003 231 202 \0 \0 \0 204 \0 230 224 002 231
0034220 202 \0 \0 001 261 020 230 223 003 231 202 \0 \0 \0 204 \0
0034240 230 224 002 231 202 \0 \0 001 261 230 223 003 231 202 \0
0034260 \0 \0 204 \0 230 224 002 231 202 \0 \0 001 261 0 230 223
0034300 003 231 202 \0 \0 \0 204 \0 230 224 002 231 202 \0 \0 001
0034320 261 @ 230 223 003 231 202 \0 \0 \0 204 \0 230 224 002 231
0034340 202 \0 \0 001 261 P 230 223 003 231 202 \0 \0 \0 204 \0
0034360 230 224 002 231 202 \0 \0 001 261 ` 230 223 003 231 202 \0
0034400 \0 \0 204 \0 230 224 002 231 202 \0 \0 001 261 p 230 223
0034420 003 231 202 \0 \0 \0 204 \0 230 225 214 \a P O I N
0034440 T E R 230 223 003 231 202 \0 \0 \0 204 002 230 224 002
0034460 230 225 214 004 B I T S 017 230 223 003 231 202 \0 \0
0034500 \0 204 003 230 224 002 231 202 \0 \0 001 304 017 ` 230 223
0034520 \v 230 225 214 004 F L A G 231 202 \0 \0 001 312 231
0034540 202 \0 \0 001 312 231 202 \0 \0 001 312 231 202 \0 \0 001
0034560 312 231 202 \0 \0 001 312 231 202 \0 \0 001 312 231 202 \0
0034600 \0 001 312 231 202 \0 \0 001 302 230 225 214 004 W O R
0034620 D 231 202 \0 \0 001 313 S 230 223 % 230 223 003 231 &
0034640 \0 230 224 002 231 202 \0 \0 001 261 \0 230 223 003 231 &
0034660 \0 230 224 002 231 202 \0 \0 001 261 020 230 223 003 231 &
0034700 \0 230 224 002 231 202 \0 \0 001 261 230 223 003 231 &
0034720 \0 230 224 002 231 202 \0 \0 001 261 0 230 223 003 231 &
0034740 \0 230 224 002 231 202 \0 \0 001 261 @ 230 223 003 231 &
0034760 \0 230 224 002 231 202 \0 \0 001 261 P 230 223 003 231 &
0035000 \0 230 224 002 231 202 \0 \0 001 261 ` 230 223 003 231 &
0035020 \0 230 224 002 231 202 \0 \0 001 261 p 230 223 003 231 &
0035040 \0 231 202 \0 \0 001 302 230 223 003 231 & 002 230 224 002
0035060 231 202 \0 \0 001 304 017 230 223 003 231 & 003 230 224 002
0035100 231 202 \0 \0 001 304 017 230 223 003 231 & 004 230 224 002
0035120 231 202 \0 \0 001 304 017 230 223 003 231 & 005 230 224 002
0035140 231 202 \0 \0 001 304 017 230 223 003 231 & 006 230 224 002
0035160 231 202 \0 \0 001 304 017 230 223 003 231 & \a 230 224 002
0035200 231 202 \0 \0 001 304 017 230 223 003 231 & \b 230 224 002
0035220 231 202 \0 \0 001 304 017 230 223 003 231 & \t 230 224 002
0035240 231 202 \0 \0 001 304 017 230 223 003 231 & \n 230 224 002
0035260 231 202 \0 \0 001 304 017 230 223 003 231 & \v 230 224 002
0035300 231 202 \0 \0 001 304 017 230 223 003 231 & \f 231 202 \0
0035320 \0 001 302 230 223 003 231 & 016 231 202 \0 \0 001 302 230
0035340 223 003 231 & 020 231 202 \0 \0 001 302 230 223 003 231 &
0035360 022 231 202 \0 \0 001 302 230 223 003 231 & 024 231 202 \0
0035400 \0 001 302 230 223 003 231 & 026 231 202 \0 \0 001 302 230
0035420 223 003 231 & 030 231 202 \0 \0 001 302 230 223 003 231 &
0035440 032 231 202 \0 \0 001 302 230 223 003 231 & 034 231 202 \0
0035460 \0 001 302 230 223 003 231 & 036 231 202 \0 \0 001 302 230
0035500 223 003 231 & 231 202 \0 \0 001 302 230 223 003 231 &
0035520 " 231 202 \0 \0 001 302 230 223 003 231 & $ 231 202 \0
0035540 \0 001 302 230 223 003 231 & & 231 202 \0 \0 001 302 230
0035560 223 003 231 & ( 231 202 \0 \0 001 302 230 223 003 231 &
0035600 * 231 202 \0 \0 001 302 230 223 003 231 & , 231 202 \0
0035620 \0 001 302 230 223 003 231 & . 231 202 \0 \0 001 302 O
0035640 230 223 % 231 202 \0 \0 001 312 231 202 \0 \0 001 312 231
0035660 202 \0 \0 001 312 231 202 \0 \0 001 312 231 202 \0 \0 001
0035700 312 231 202 \0 \0 001 312 231 202 \0 \0 001 312 231 202 \0
0035720 \0 001 312 231 202 \0 \0 001 302 231 202 \0 \0 001 313 231
0035740 202 \0 \0 001 313 231 202 \0 \0 001 313 231 202 \0 \0 001
0035760 313 231 202 \0 \0 001 313 231 202 \0 \0 001 313 231 202 \0
0036000 \0 001 313 231 202 \0 \0 001 313 231 202 \0 \0 001 313 231
0036020 202 \0 \0 001 313 231 202 \0 \0 001 302 231 202 \0 \0 001
0036040 302 231 202 \0 \0 001 302 231 202 \0 \0 001 302 231 202 \0
0036060 \0 001 302 231 202 \0 \0 001 302 231 202 \0 \0 001 302 231
0036100 202 \0 \0 001 302 231 202 \0 \0 001 302 231 202 \0 \0 001
0036120 302 231 202 \0 \0 001 302 231 202 \0 \0 001 302 231 202 \0
0036140 \0 001 302 231 202 \0 \0 001 302 231 202 \0 \0 001 302 231
0036160 202 \0 \0 001 302 231 202 \0 \0 001 302 231 202 \0 \0 001
0036200 302 D 230 223 002 231 202 \0 \0 \0 204 230 223 \t 230 223
0036220 002 230 225 214 \n T I S E L E C T E D 231
0036240 202 \0 \0 001 312 230 223 002 230 225 214 \t T I D E
0036260 L E T E D 231 202 \0 \0 001 312 230 223 002 230 225
0036300 214 \r T I U N D E L E T A B L E 231
0036320 202 \0 \0 001 312 230 223 002 230 225 214 016 T I U N
0036340 S E L E C T A B L E 231 202 \0 \0 001 312
0036360 230 223 002 230 225 214 022 T I U N C O P Y S
0036400 E L E C T A B L E 231 202 \0 \0 001 312 230
0036420 223 003 200 003 231 202 \0 \0 001 312 230 223 002 230 225 214
0036440 006 T I D A T A 231 202 \0 \0 001 302 230 223 002
0036460 230 225 214 003 T I # 231 202 \0 \0 001 313 230 223 002
0036500 200 231 202 \0 \0 001 313 < 230 223 002 231 & 230 223 037
0036520 230 223 002 230 225 214 \a T B R E A D Y 231 202
0036540 \0 \0 001 312 230 223 003 200 \a 231 202 \0 \0 001 312 230
0036560 223 002 230 225 214 \a T B I T E M S 231 202 \0
0036600 \0 001 302 230 223 002 230 225 214 \b T B # I T E
0036620 M S 231 202 \0 \0 001 313 230 223 002 230 225 214 \n T
0036640 B # D E L E T E D 231 202 \0 \0 001 313 230
0036660 223 002 230 225 214 017 T B # L I N E S P E
0036700 R I T E M 231 202 \0 \0 001 313 230 223 002 230 225
0036720 214 023 T B F I R S T S E L E C T E
0036740 D I T E M 231 202 \0 \0 001 313 230 223 002 230 225
0036760 214 022 T B L A S T S E L E C T E D
0037000 I T E M 231 202 \0 \0 001 313 230 223 002 200 231 202
0037020 \0 \0 001 313 230 223 002 230 225 214 \t T B M A X
0037040 X P O S 231 202 \0 \0 001 313 230 223 002 230 225 214
0037060 \f T B F O N T H E I G H T 231 202 \0
0037100 \0 001 313 230 223 002 230 225 214 \f T B F O N T
0037120 A S C E N T 231 202 \0 \0 001 313 230 223 002 230
0037140 225 214 \r T B F O N T D E S C E N T
0037160 231 202 \0 \0 001 313 230 223 002 230 225 214 \b T B W
0037200 I N D O W 231 202 \0 \0 001 302 230 223 002 230 225
0037220 214 006 T B L O C K 231 202 \0 \0 001 302 230 223
0037240 002 230 225 214 \n T B U S E R D A T A 231
0037260 202 \0 \0 001 302 230 223 002 230 225 214 006 T B F O
0037300 N T 231 202 \0 \0 001 302 230 223 002 230 225 214 \b T
0037320 B E X T E N T 231 202 \0 \0 001 302 230 223 002
0037340 230 225 214 020 T B U P D A T E F R O M
0037360 H E R E 231 202 \0 \0 001 302 230 223 002 230 225 214
0037400 \t T B C O L U M N S 231 202 \0 \0 001 302
0037420 230 223 002 230 225 214 \t T B P R I N T F N
0037440 231 202 \0 \0 001 302 230 223 002 230 225 214 \b T B C
0037460 O P Y F N 231 202 \0 \0 001 302 230 223 002 230 225
0037500 214 016 T B F O N T C H A N G E F N
0037520 231 202 \0 \0 001 302 230 223 002 230 225 214 \t T B C
0037540 L O S E F N 231 202 \0 \0 001 302 230 223 002 230
0037560 225 214 016 T B A F T E R C L O S E F
0037600 N 231 202 \0 \0 001 302 230 223 002 230 225 214 016 T B
0037620 T I T L E E V E N T F N 231 202 \0 \0
0037640 001 302 230 223 002 230 225 214 020 T B A F T E R
0037660 E X P U N G E F N 231 202 \0 \0 001 302 230
0037700 223 002 230 225 214 \b T B O R I G I N 231 202
0037720 \0 \0 001 302 230 223 002 200 231 202 \0 \0 001 302 230 223
0037740 002 200 231 202 \0 \0 001 302 230 223 002 200 231 202 \0 \0
0037760 001 302 4 230 223 001 231 & - 230 223 001 230 223 003 230
0040000 217 214 \a D R I B B L E 230 223 002 231 D 231
0040020 202 \0 \0 \0 272 230 214 020 D r i b b l e s
0040040 o n f i l e 036 204 ? 200 \0 \0 027 230
0040060 223 001 230 223 001 230 223 001 231 c 020 230 223 003 231 t
0040100 230 223 001 231 s 231 r \t 230 223 017 230 223 003 230 214
0040120 \f S h o w p r o f i l e 231 202 \0
0040140 \0 \0 364 230 214 027 S h o w t h e p
0040160 r o f i l e o n e n v 230 223 004
0040200 230 214 020 T r u t h v a l u e o
0040220 n l y 231 202 \0 \0 001 032 230 214 037 T h e
0040240 p r o o f r e t u r n s o n
0040260 l y T o r N I L 230 223 002 230 225
0040300 214 \b S U B I T E M S 230 223 003 230 214 \v
0040320 A l l v a l u e s 231 202 \0 \0 001
0040340 031 230 214 ' R e t u r n s t h e
0040360 g o a l w i t h a l l t h
0040400 e v a r i a b l e s 230 223 004 230 214
0040420 \v S h o w ( A x i o m ) 231 202 \0 \0
0040440 001 020 230 214 034 S h o w s d e f i n
0040460 i t i o n o f a n a x i o
0040500 m 230 223 002 231 202 \0 \0 002 c 230 223 003 230 214 \a
0040520 S h o w S A 231 202 \0 \0 001 017 230 214 )
0040540 S h o w s d e f i n i t i o n
0040560 o f a s e m a n t i c a
0040600 t t a c h m e n t 230 223 004 230 214 \v E
0040620 d i t ( A x i o m ) 231 V 230 214 031 E
0040640 d i t s t h e s p e c i f i
0040660 e d a x i o m 230 223 002 231 202 \0 \0 002
0040700 c 230 223 003 230 214 \a E d i t S A 231 l
0040720 230 214 026 E d i t s t h e s p e
0040740 c i f i e d S A 230 223 004 230 214 \r D
0040760 e l e t e ( A x i o m ) 231 202 \0 \0
0041000 001 022 230 214 033 D e l e t e s t h e
0041020 s p e c i f i e d a x i o m
0041040 230 223 002 231 202 \0 \0 002 c 230 223 003 230 214 \t D
0041060 e l e t e S A 231 202 \0 \0 001 021 230 214
0041100 ) D e l e t e s t h e s p e
0041120 c i f i e d s e m a n t i c
0041140 a t t a c h m e n t 230 223 004 230 214 017
0041160 S e t M o d e ( F i r s t ) 231
0041200 202 \0 \0 001 \r 230 214 031 S e t m o d e
0041220 o f d e m o n s t r a t i o
0041240 n 230 223 004 231 202 \0 \0 002 c 230 223 003 230 214 005
0041260 F i r s t 231 202 \0 \0 001 016 230 214 037 S t
0041300 o p s a t f i r s t s o l
0041320 u t i o n r e a c h e d 230 223 003
0041340 230 214 003 A l l 231 202 \0 \0 001 \f 230 214 027 F
0041360 i n d s o u t a l l s o l
0041400 u t i o n s 230 223 003 230 214 \v I n t e
0041420 r a c t i v e 231 202 \0 \0 001 \n 230 214 024
0041440 A s k u s e r t o c o n t
0041460 i n u e 230 223 004 230 214 \r T r a c e
0041500 u n i f i e r 231 202 \0 \0 001 \b 230 214 021
0041520 T r a c e t h e u n i f i e
0041540 r 230 223 002 231 202 \0 \0 002 c 230 223 003 230 214 \b
0041560 N o t r a c e 231 202 \0 \0 001 004 230 214
0041600 024 D o n o t t r a c e u n
0041620 i f i e r 230 223 004 230 214 \f T r a c e
0041640 s o l v e r 231 202 \0 \0 001 \a 230 214 020
0041660 T r a c e t h e s o l v e r
0041700 230 223 002 231 202 \0 \0 002 c 230 223 003 230 214 \b N
0041720 o t r a c e 231 202 \0 \0 001 005 230 214 023
0041740 D o n o t t r a c e s o l
0041760 v e r 230 223 003 230 214 \r C r e a t e
0042000 t h e o r y 231 202 \0 \0 001 026 230 214 022 C
0042020 r e a t e s n e w t h e o r
0042040 y 230 223 004 230 214 \r D e l e t e t h
0042060 e o r y 231 202 \0 \0 001 003 230 214 035 D e l
0042100 e t e s t h e l a b e l l e
0042120 d t h e o r i e s 230 223 003 231 202 \0
0042140 \0 002 c 230 223 003 230 214 030 E x p u n g e
0042160 d e l e t e d t h e o r i e
0042200 s 231 202 \0 \0 001 001 230 214 031 E x p u n g
0042220 e d d e l e t e d t h e o r
0042240 i e s 230 223 003 230 214 021 U n d e l e t
0042260 e t h e o r i e s 230 222 214 \b U N
0042300 D E L E T E 231 031 230 214 021 U n d e l
0042320 e t e t h e o r i e s 230 223 003 230
0042340 214 016 M e r g e t h e o r i e s
0042360 231 202 \0 \0 001 025 230 214 034 M e r g e s
0042400 t h e s e l e c t e d t h e
0042420 o r i e s 230 223 003 230 214 \v L o a d
0042440 t h e o r y 231 202 \0 \0 001 030 230 214 037 P
0042460 r o m p t s u s e r f o r
0042500 t h e o r y t o l o a d 230 223
0042520 003 230 214 \v S a v e t h e o r y 231
0042540 202 \0 \0 001 027 230 214 027 S a v e s s e
0042560 l e c t e d t h e o r i e s 230
0042600 223 003 230 214 \t E r a s e e n v 231 202
0042620 \0 \0 \0 377 230 214 032 E r a s e s a l
0042640 l t h e e n v i r o n m e n
0042660 t 230 223 003 230 214 004 E x i t 231 202 \0 \0 001
0042700 034 230 214 031 C l o s e s d e v e l
0042720 o p m e n t w i n d o w 001 230 223
0042740 002 230 225 214 026 B a c k g r o u n d M
0042760 e n u C o m m a n d s 230 223 003 230 214
0043000 005 L o g i c 230 223 002 231 D 230 223 002 230 225
0043020 214 \v A D D . P R O C E S S 230 223 002
0043040 231 D 230 223 001 231 202 \0 \0 \0 277 230 214 . O p
0043060 e n a w i n d o w o n l
0043100 o g i c p r o g r a m m i n g
0043120 e n v i r o n m e n t \0 232 202 \0
0043140 \0 002 301 377 377
0043145