$ od -c -N 50000 [phylum]<LISPUSERS>Lyric>LOGIC.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 . ; 3 \r S o u r c e f i l
0000120 e c r e a t e d T u e s d a
0000140 y , 2 6 A p r i l 1 9 8 8
0000160 , 9 : 2 1 : 1 5 . \r F A S L
0000200 f i l e c r e a t e d T u e
0000220 s d a y , 2 6 A p r i l 1
0000240 9 8 8 , 9 : 2 2 : 1 9 . \r 377 235
0000260 226 002 031 o \0 \0 \0 g \0 \0 g \0 \0 \v \0 \0
0000300 021 021 001 o \0 \0 \0 \t \0 \0 020 \0 002 001 230 225
0000320 214 016 F I L E C R E A T E D L O C
0000340 002 \0 230 217 214 020 * S T A N D A R D -
0000360 I N P U T * 230 214 020 1 t o p - l
0000400 e v e l f o r m 002 \0 \0 \0 230 220 214
0000420 \b F U N C T I O N 230 223 001 200 002 025 230
0000440 225 214 020 D E F I N E - F I L E - I
0000460 N F O \v 230 217 214 004 O P E N 002 \b 230 220
0000500 214 006 O U T P U T 005 230 220 214 \t D I R
0000520 E C T I O N 002 021 230 223 004 230 220 214 \t R
0000540 E A D T A B L E 230 214 \t i n t e r
0000560 l i s p 230 220 214 \a P A C K A G E 230
0000600 214 004 U S E R 001 230 214 006 { N u l l }
0000620 \0 235 226 \0 017 g \0 \0 g \0 \0 o \0 \0 \0 \v
0000640 \0 \0 020 \0 230 214 020 1 t o p - l e v
0000660 e l f o r m \0 \0 \0 \0 231 003 230 223 001
0000700 200 001 \v 230 225 214 \a P U T P R O P 002 004
0000720 230 225 214 \t F I L E D A T E S 001 230 225
0000740 214 005 L O G I C 001 \a 230 223 001 230 224 002 230
0000760 214 022 2 6 - A p r - 8 8 0 9 : 2
0001000 1 : 1 6 225 214 036 { D S K } < L I S
0001020 P F I L E S > L O G I C > L O G
0001040 I C . ; 3 \0 234 230 222 214 \f A D D - O
0001060 R - L E V E L 230 221 230 214 004 U S E R
0001100 226 \0 ( A 262 $ B 001 270 @ A H 001 H 002 001
0001120 H 002 002 001 C \r 006 \0 \0 271 H I h 032 B 002
0001140 001 \n \0 \0 \n \0 \0 020 B 020 \0 231 031 002 \0 \0
0001160 004 231 003 230 223 001 230 223 005 230 214 003 W F F 230
0001200 214 \a C L A U S E S 230 214 004 T R E E
0001220 230 217 214 \t & O P T I O N A L 230 214 \a
0001240 C U T N A M E 003 " 230 222 214 \t M A K
0001260 E - T R E E 231 030 037 230 217 214 006 A P P
0001300 E N D 024 230 222 214 \f M A K E - O R -
0001320 N O D E 231 030 \0 \0 \0 234 230 222 214 003 A L
0001340 L 231 030 226 \0 H h 270 A h g \0 \0 h 032 B
0001360 \n \0 \0 \v \0 \0 h \n \0 \0 271 h 272 h 273 I
0001400 \t \0 \0 270 H 262 & J @ H 001 002 001 \n \0 \0
0001420 h 032 \n \0 \0 272 H 002 001 001 273 H K \n \0 \0
0001440 K 001 K 002 001 \v \0 \0 271 260 326 J 020 \0 231 $
0001460 004 \0 \0 003 231 003 230 223 001 230 223 003 230 214 004 V
0001500 A R S 230 214 004 C O N J 230 214 003 T H S
0001520 \b @ 230 222 214 005 S O L V E 231 030 8 230 222
0001540 214 \b N E W - T R E E 231 030 - 231 " (
0001560 230 222 214 006 L O O K U P 231 030 033 230 222 214
0001600 \v L O G I C - P R O V E 231 030 022 231
0001620 ! 016 230 222 214 \r M A K E - A N D - N
0001640 O D E 231 030 \v 231 " 001 005 230 222 214 023 * B
0001660 A C K G R O U N D - T H E O R Y
0001700 * 231 030 \0 \0 234 230 222 214 016 A L L - P R
0001720 E D I C A T E S 231 030 226 \0 016 g \0 \0
0001740 301 002 311 \0 @ ' \t \0 \0 020 \0 231 0 \0 \0 \0
0001760 001 231 003 230 223 001 230 223 001 230 214 \v T H E O
0002000 R Y - N A M E 001 \n 230 222 214 \t A L L
0002020 - P R E D S 231 030 001 001 230 222 214 006 T H
0002040 E O R Y 231 030 \0 \0 234 231 4 226 \0 # n \0
0002060 \0 037 X 277 h H 375 024 \0 277 n \0 \0 037 o \0
0002100 \0 \0 024 \0 H 024 002 @ \n \0 \0 277 H 311 \0 020
0002120 \0 231 4 001 \0 \0 001 231 003 230 223 001 230 223 001 230
0002140 214 006 T H E O R Y 001 033 230 217 214 \a M A
0002160 P H A S H \0 001 021 226 \0 036 A 001 g \0 \0
0002200 360 221 h 020 A 237 H 311 \0 @ h 032 \n \0 \0 d
0002220 H 375 024 \0 277 020 h 020 \0 230 214 023 l a m b
0002240 d a i n A L L - P R E D S 001
0002260 \0 \0 002 230 220 214 \a C L O S U R E 230 223
0002300 001 230 223 002 230 214 003 K E Y 230 214 003 V A L
0002320 001 022 231 " 001 003 230 222 214 002 S A 231 030 \0 \0
0002340 002 \r 230 225 214 020 C O M P I L E D - C
0002360 L O S U R E 001 230 225 214 \t \ P T R H
0002400 U N K 2 234 230 222 214 \a A L L - S A S
0002420 231 030 226 \0 # n \0 \0 037 X 277 h H 375 024 \0
0002440 277 n \0 \0 037 o \0 \0 \0 024 \0 H 024 002 @ \n
0002460 \0 \0 277 H 311 \0 020 \0 231 C 001 \0 \0 001 231 003
0002500 230 223 001 230 223 001 230 214 006 T H E O R Y 001
0002520 033 231 9 \0 001 021 226 \0 037 A 001 g \0 \0 360 262
0002540 026 A 237 H 311 \0 @ h 032 \n \0 \0 d H 375 024
0002560 \0 277 020 h 020 h 020 \0 230 214 021 l a m b d
0002600 a i n A L L - S A S 001 \0 \0 002
0002620 231 ; 230 223 001 230 223 002 230 214 003 K E Y 230 214
0002640 003 V A L 001 021 231 " 001 003 231 @ \0 \0 002 \r
0002660 231 A 001 231 B 234 230 222 214 030 A L L - S E
0002700 M A N T I C - A T T A C H M E N
0002720 T S 231 030 226 \0 016 g \0 \0 301 002 311 \0 @ '
0002740 \t \0 \0 020 \0 231 L \0 \0 \0 001 231 003 230 223 001
0002760 230 223 001 230 214 \v T H E O R Y - N A M
0003000 E 001 \n 231 C 001 001 231 5 \0 \0 235 226 \0 032 g
0003020 \0 \0 o \0 \0 \0 \n \0 \0 277 g \0 \0 g \0 \0
0003040 \n \0 \0 277 g \0 \0 020 \0 230 214 020 1 t o
0003060 p - l e v e l f o r m \0 \0 \0 \0
0003100 231 003 230 223 001 200 002 022 230 225 214 023 S E T F
0003120 - M A C R O - F U N C T I O N \b
0003140 230 225 214 024 S E T F - S Y M B O L -
0003160 F U N C T I O N 004 026 230 222 214 \t A N
0003200 D - L E V E L 231 030 017 230 222 214 020 e x
0003220 p a n d - A N D - L E V E L 231 030
0003240 \f 231 T 001 231 U 001 004 226 \0 \v g \0 \0 @ 002
0003260 001 h 032 032 020 \0 230 214 032 l a m b d a
0003300 i n 1 t o p - l e v e l f
0003320 o r m \0 \0 \0 002 231 003 230 223 001 230 223 002 230
0003340 214 \f $ $ M A C R O - F O R M 230 214
0003360 023 $ $ M A C R O - E N V I R O N
0003400 M E N T \0 001 001 230 217 214 003 C A R \0 \0
0003420 \0 235 226 \0 032 g \0 \0 o \0 \0 \0 \n \0 \0 277
0003440 g \0 \0 g \0 \0 \n \0 \0 277 g \0 \0 020 \0 230
0003460 214 020 1 t o p - l e v e l f o
0003500 r m \0 \0 \0 \0 231 003 230 223 001 200 002 022 231 R
0003520 \b 231 S 004 026 230 222 214 005 A N T E C 231 030
0003540 017 230 222 214 \f e x p a n d - A N T E
0003560 C 231 030 \f 231 ^ 001 231 _ 001 004 226 \0 \v g \0
0003600 \0 @ 002 001 h 032 032 020 \0 230 214 032 l a m b
0003620 d a i n 1 t o p - l e v e
0003640 l f o r m \0 \0 \0 002 231 003 230 223 001 230
0003660 223 002 230 214 \f $ $ M A C R O - F O R
0003700 M 230 214 023 $ $ M A C R O - E N V I
0003720 R O N M E N T \0 001 001 230 217 214 004 C D
0003740 D R \0 \0 \0 234 230 222 214 003 A N Y 231 030 226
0003760 \0 Y h 270 j 271 B h g \0 \0 h 032 C \n \0
0004000 \0 \v \0 \0 h \n \0 \0 272 h 273 h 274 J \t \0
0004020 \0 270 H 221 h 200 i 275 M 221 M 202 I @ 360 221
0004040 K 020 K A H 001 002 001 \n \0 \0 h 032 \n \0 \0
0004060 273 H 002 001 001 274 H L \n \0 \0 L 001 L 002 001
0004100 \v \0 \0 272 I k 324 271 260 305 \0 231 f 006 \0 \0
0004120 004 231 003 230 223 001 230 223 004 230 214 \b H O W -
0004140 M A N Y 230 214 004 V A R S 230 214 004 C O
0004160 N J 230 214 003 T H S \b O 231 * G 231 + <
0004200 231 " 7 231 , 035 231 - 024 231 ! 020 231 . \r 231
0004220 " 001 \a 231 / \0 \0 235 226 \0 032 g \0 \0 o \0
0004240 \0 \0 \n \0 \0 277 g \0 \0 g \0 \0 \n \0 \0 277
0004260 g \0 \0 020 \0 230 214 020 1 t o p - l e
0004300 v e l f o r m \0 \0 \0 \0 231 003 230 223
0004320 001 200 002 022 231 R \b 231 S 004 026 230 222 214 017 A
0004340 T O M I C - F O R M U L A P 231 030
0004360 017 230 222 214 026 e x p a n d - A T O M
0004400 I C - F O R M U L A P 231 030 \f 231 o
0004420 001 231 p 001 004 226 \0 ! @ 002 001 270 g \0 \0 g
0004440 \0 \0 H h 032 032 g \0 \0 g \0 \0 H h 032 032
0004460 h 032 032 h 032 032 032 020 \0 230 214 032 l a m b
0004500 d a i n 1 t o p - l e v e
0004520 l f o r m 001 \0 \0 002 231 003 230 223 001 230
0004540 223 002 230 214 \f $ $ M A C R O - F O R
0004560 M 230 214 023 $ $ M A C R O - E N V I
0004600 R O N M E N T \0 004 022 230 217 214 006 S E
0004620 C O N D 017 230 217 214 004 N U L L \b 230 217
0004640 214 005 L I S T P 005 230 217 214 003 A N D \0
0004660 \0 \0 234 230 222 214 006 A T T A C H 231 030 226
0004700 \0 & @ C 225 B C \n \0 \0 200 h 270 H 221 H
0004720 210 g \0 \0 301 002 311 \0 B ' g \0 \0 A 032 \v
0004740 \0 \0 277 g \0 \0 020 \0 231 z 001 \0 \0 004 231 003
0004760 230 223 001 230 223 005 230 214 \a S A - N A M E
0005000 230 214 \n D E F I N I T I O N 230 214 \v
0005020 T H E O R Y - N A M E 231 035 230 214 006
0005040 W I N D O W 002 036 230 217 214 \a P U T H
0005060 A S H 006 230 222 214 023 G E T - T H E O
0005100 R Y - I N T E R N A L 231 030 003 " 230
0005120 222 214 \b A T T A C H E D 231 030 031 231 @
0005140 020 231 5 \0 \0 235 226 \0 032 g \0 \0 o \0 \0 \0
0005160 \n \0 \0 277 g \0 \0 g \0 \0 \n \0 \0 277 g \0
0005200 \0 020 \0 230 214 020 1 t o p - l e v e
0005220 l f o r m \0 \0 \0 \0 231 003 230 223 001 200
0005240 002 022 231 R \b 231 S 004 026 230 222 214 \n C L A
0005260 U S E S - O R 231 030 017 230 222 214 021 e x
0005300 p a n d - C L A U S E S - O R 231
0005320 030 \f 231 202 \0 \0 \0 206 001 231 202 \0 \0 \0 207 001
0005340 004 226 \0 \v g \0 \0 @ 002 001 h 032 032 020 \0 230
0005360 214 032 l a m b d a i n 1 t o
0005400 p - l e v e l f o r m \0 \0 \0 002
0005420 231 003 230 223 001 230 223 002 230 214 \f $ $ M A C
0005440 R O - F O R M 230 214 023 $ $ M A C R
0005460 O - E N V I R O N M E N T \0 001 001
0005500 231 v \0 \0 \0 234 230 222 214 017 C L E A R -
0005520 A N D - L E V E L 231 030 226 \0 \a @ h
0005540 030 277 @ 020 \0 231 202 \0 \0 \0 215 \0 \0 \0 001 231
0005560 003 230 223 001 230 223 001 230 214 004 T R E E \0 \0
0005600 \0 \0 235 226 \0 032 g \0 \0 o \0 \0 \0 \n \0 \0
0005620 277 g \0 \0 g \0 \0 \n \0 \0 277 g \0 \0 020 \0
0005640 230 214 020 1 t o p - l e v e l f
0005660 o r m \0 \0 \0 \0 231 003 230 223 001 200 002 022 231
0005700 R \b 231 S 004 026 230 222 214 004 C O N J 231 030
0005720 017 230 222 214 \v e x p a n d - C O N J
0005740 231 030 \f 231 202 \0 \0 \0 223 001 231 202 \0 \0 \0 224
0005760 001 004 226 \0 \v g \0 \0 @ 002 001 h 032 032 020 \0
0006000 230 214 032 l a m b d a i n 1 t
0006020 o p - l e v e l f o r m \0 \0 \0
0006040 002 231 003 230 223 001 230 223 002 230 214 \f $ $ M A
0006060 C R O - F O R M 230 214 023 $ $ M A C
0006100 R O - E N V I R O N M E N T \0 001
0006120 001 231 [ \0 \0 \0 234 230 222 214 006 C O N S E
0006140 Q 231 030 226 \0 004 @ 001 020 \0 231 202 \0 \0 \0 232
0006160 \0 \0 \0 001 231 003 230 223 001 230 223 001 230 214 003 W
0006200 F F \0 \0 \0 \0 235 226 \0 032 g \0 \0 o \0 \0
0006220 \0 \n \0 \0 277 g \0 \0 g \0 \0 \n \0 \0 277 g
0006240 \0 \0 020 \0 230 214 020 1 t o p - l e v
0006260 e l f o r m \0 \0 \0 \0 231 003 230 223 001
0006300 200 002 022 231 R \b 231 S 004 026 230 222 214 \a C O
0006320 N S E Q P 231 030 017 230 222 214 016 e x p a
0006340 n d - C O N S E Q P 231 030 \f 231 202 \0
0006360 \0 \0 240 001 231 202 \0 \0 \0 241 001 004 226 \0 ! @
0006400 002 001 270 g \0 \0 g \0 \0 H h 032 032 g \0 \0
0006420 g \0 \0 H h 032 032 h 032 032 h 032 032 032 020 \0
0006440 230 214 032 l a m b d a i n 1 t
0006460 o p - l e v e l f o r m 001 \0 \0
0006500 002 231 003 230 223 001 230 223 002 230 214 \f $ $ M A
0006520 C R O - F O R M 230 214 023 $ $ M A C
0006540 R O - E N V I R O N M E N T \0 004
0006560 022 231 [ 017 230 217 214 \a S Y M B O L P \b
0006600 231 x 005 231 y \0 \0 \0 234 230 222 214 030 C R E
0006620 A T E - B A C K G R O U N D - T
0006640 H E O R Y 231 030 226 \0 X n \0 \0 037 X 277
0006660 g \0 \0 \t \0 \0 277 g \0 \0 \t \0 \0 277 g \0
0006700 \0 g \0 \0 g \0 \0 g \0 \0 \f \0 \0 \t \0 \0
0006720 g \0 \0 g \0 \0 \v \0 \0 H 375 024 \0 277 i H
0006740 375 024 002 277 n \0 \0 037 o \0 \0 \0 024 \0 H 024
0006760 002 k n \0 \0 037 o \0 \0 \0 024 \0 H 024 002 016
0007000 020 \0 231 202 \0 \0 \0 250 001 \0 \0 \0 231 003 230 223
0007020 001 200 005 - 231 006 $ 230 217 214 017 M E R G E
0007040 - P A T H N A M E S ! 230 217 214 \r M
0007060 A K E - P A T H N A M E 021 230 222 214
0007100 \r C R E A T E - T H E O R Y 231 030
0007120 \n 230 217 214 \n I N - P A C K A G E \b
0007140 * 230 220 214 005 I N P U T ' 231 \b 036 230 222
0007160 214 003 L G C 231 030 033 230 220 214 004 T Y P E
0007200 030 230 222 214 004 M A I N 231 030 025 230 220 214 004
0007220 N A M E 016 231 / \a 230 222 214 004 U S E R
0007240 231 030 002 M 226 \0 6 h 271 H 311 \0 \t \0 \0 Y
0007260 g \0 \0 360 224 h h 032 260 026 I g \0 \0 H 311
0007300 \0 \t \0 \0 032 g \0 \0 \v \0 \0 277 260 335 h H
0007320 375 024 002 277 j @ 016 277 \t \0 \0 020 \0 230 222 214
0007340 020 * U N W I N D - P R O T E C T
0007360 * 230 221 230 214 006 S Y S T E M 002 \0 \0 001
0007400 231 ; 230 223 001 230 223 001 230 214 004 ? 4 9 2 004
0007420 2 230 217 214 \v V A L U E S - L I S T
0007440 " 230 222 214 \f L O G I C - A S S E R
0007460 T 231 030 033 230 217 214 004 R E A D 006 231 202 \0
0007500 \0 \0 274 003 037 231 / 025 230 222 214 024 D I R E
0007520 C T L Y - I M P L E M E N T E D
0007540 231 030 \n 230 222 214 \n T H E O R Y - E N
0007560 D 231 030 \0 \0 ? 226 \0 016 H 311 \0 g \0 \0 H
0007600 311 002 \v \0 \0 020 \0 230 214 016 C l e a n -
0007620 u p f o r m s 001 \0 \0 \0 231 ; 230 223
0007640 001 200 001 \n 230 217 214 005 C L O S E 001 004 230
0007660 220 214 005 A B O R T \0 \0 003 I 231 A ; 231
0007700 A 001 231 B 234 231 202 \0 \0 \0 254 226 \0 016 g \0
0007720 \0 @ \b \0 \0 \v \0 \0 277 @ 020 \0 231 202 \0 \0
0007740 \0 254 \0 \0 \0 001 231 003 230 223 001 230 223 001 230 214
0007760 \v T H E O R Y - N A M E 002 \b 231 021
0010000 005 230 217 214 017 M A K E - H A S H - T
0010020 A B L E 001 001 231 5 \0 \0 234 230 222 214 016 D
0010040 E L E T E - O R - N O D E 231 030 226
0010060 \0 025 @ A g \0 \0 g \0 \0 \t \0 \0 g \0 \0
0010100 k \r 006 \0 \0 020 \0 231 202 \0 \0 \0 307 \0 \0 \0
0010120 002 231 003 230 223 001 230 223 002 230 214 \a T A G N
0010140 O D E 230 214 005 N O D E S 002 021 230 217 214
0010160 006 D E L E T E \t 230 217 214 017 S Y M B
0010200 O L - F U N C T I O N 003 \f 230 220 214
0010220 005 C O U N T 006 230 217 214 005 E Q U A L
0010240 003 230 220 214 004 T E S T \0 \0 234 230 222 214 027
0010260 D E L E T E - O R - N O D E - W
0010300 I T H - C U T 231 030 226 \0 037 A 270 H 262
0010320 031 H 001 002 002 002 002 002 001 @ 360 226 H 001 A \n
0010340 \0 \0 020 H 002 270 260 350 h 020 \0 231 202 \0 \0 \0
0010360 321 001 \0 \0 002 231 003 230 223 001 230 223 002 230 214 \a
0010400 C U T N A M E 230 214 \t O R - L E V
0010420 E L S 001 024 231 202 \0 \0 \0 307 \0 \0 \0 235 226
0010440 \0 032 g \0 \0 o \0 \0 \0 \n \0 \0 277 g \0 \0
0010460 g \0 \0 \n \0 \0 277 g \0 \0 020 \0 230 214 020 1
0010500 t o p - l e v e l f o r m \0
0010520 \0 \0 \0 231 003 230 223 001 200 002 022 231 R \b 231 S
0010540 004 026 231 202 \0 \0 \0 275 017 230 222 214 033 e x p
0010560 a n d - D I R E C T L Y - I M P
0010600 L E M E N T E D 231 030 \f 231 202 \0 \0 \0
0010620 275 001 231 202 \0 \0 \0 330 001 004 226 \0 024 g \0 \0
0010640 g \0 \0 @ 002 001 h 032 032 o \0 \0 \0 032 032 020
0010660 \0 230 214 032 l a m b d a i n 1
0010700 t o p - l e v e l f o r m \0 \0
0010720 \0 002 231 003 230 223 001 230 223 002 230 214 \f $ $ M
0010740 A C R O - F O R M 230 214 023 $ $ M A
0010760 C R O - E N V I R O N M E N T \0
0011000 002 004 231 [ 001 230 217 214 002 E Q 001 \r 230 223 001
0011020 230 223 002 230 217 214 005 Q U O T E 231 202 \0 \0
0011040 \0 275 \0 \0 235 226 \0 032 g \0 \0 o \0 \0 \0 \n
0011060 \0 \0 277 g \0 \0 g \0 \0 \n \0 \0 277 g \0 \0
0011100 020 \0 230 214 020 1 t o p - l e v e l
0011120 f o r m \0 \0 \0 \0 231 003 230 223 001 200 002
0011140 022 231 R \b 231 S 004 026 230 222 214 \a F A I L
0011160 E D P 231 030 017 230 222 214 016 e x p a n d
0011200 - F A I L E D P 231 030 \f 231 202 \0 \0 \0
0011220 344 001 231 202 \0 \0 \0 345 001 004 226 \0 016 g \0 \0
0011240 @ 002 001 o \0 \0 \0 032 032 020 \0 230 214 032 l a
0011260 m b d a i n 1 t o p - l e
0011300 v e l f o r m \0 \0 \0 002 231 003 230 223
0011320 001 230 223 002 230 214 \f $ $ M A C R O - F
0011340 O R M 230 214 023 $ $ M A C R O - E N
0011360 V I R O N M E N T \0 001 001 231 202 \0 \0
0011400 \0 336 001 \a 230 223 001 230 223 002 231 202 \0 \0 \0 337
0011420 230 222 214 006 F A I L E D 231 030 \0 \0 234 230
0011440 222 214 \f F I N D - C L A U S E S 231
0011460 030 226 \0 031 A 262 025 @ A 001 B \v \0 \0 270 H
0011500 221 H 020 A 002 b 002 277 260 354 h 020 \0 231 202 \0
0011520 \0 \0 356 001 \0 \0 003 231 003 230 223 001 230 223 004 230
0011540 214 016 P R E D I C A T E - N A M E
0011560 230 214 \f T H E O R Y - N A M E S 231
0011600 035 230 214 006 W I N D O W 001 \b 230 222 214 \a
0011620 B I N D I N G 231 030 \0 \0 \0 235 226 \0 032
0011640 g \0 \0 o \0 \0 \0 \n \0 \0 277 g \0 \0 g \0
0011660 \0 \n \0 \0 277 g \0 \0 020 \0 230 214 020 1 t
0011700 o p - l e v e l f o r m \0 \0 \0
0011720 \0 231 003 230 223 001 200 002 022 231 R \b 231 S 004 026
0011740 230 222 214 \n F O R M U L A - O R 231 030
0011760 017 230 222 214 021 e x p a n d - F O R M
0012000 U L A - O R 231 030 \f 231 202 \0 \0 \0 367 001
0012020 231 202 \0 \0 \0 370 001 004 226 \0 \v g \0 \0 @ 002
0012040 001 h 032 032 020 \0 230 214 032 l a m b d a
0012060 i n 1 t o p - l e v e l f
0012100 o r m \0 \0 \0 002 231 003 230 223 001 230 223 002 230
0012120 214 \f $ $ M A C R O - F O R M 230 214
0012140 023 $ $ M A C R O - E N V I R O N
0012160 M E N T \0 001 001 231 [ \0 \0 \0 235 226 \0 032
0012200 g \0 \0 o \0 \0 \0 \n \0 \0 277 g \0 \0 g \0
0012220 \0 \n \0 \0 277 g \0 \0 020 \0 230 214 020 1 t
0012240 o p - l e v e l f o r m \0 \0 \0
0012260 \0 231 003 230 223 001 200 002 022 231 R \b 231 S 004 026
0012300 230 222 214 025 G E T - A N D - N O D E
0012320 - T H E O R I E S 231 030 017 230 222 214 034
0012340 e x p a n d - G E T - A N D - N
0012360 O D E - T H E O R I E S 231 030 \f 231
0012400 202 \0 \0 001 \0 001 231 202 \0 \0 001 001 001 004 226 \0
0012420 \v g \0 \0 @ 002 001 h 032 032 020 \0 230 214 032 l
0012440 a m b d a i n 1 t o p - l
0012460 e v e l f o r m \0 \0 \0 002 231 003 230
0012500 223 001 230 223 002 230 214 \f $ $ M A C R O -
0012520 F O R M 230 214 023 $ $ M A C R O - E
0012540 N V I R O N M E N T \0 001 001 230 217 214
0012560 005 T H I R D \0 \0 \0 235 226 \0 032 g \0 \0
0012600 o \0 \0 \0 \n \0 \0 277 g \0 \0 g \0 \0 \n \0
0012620 \0 277 g \0 \0 020 \0 230 214 020 1 t o p -
0012640 l e v e l f o r m \0 \0 \0 \0 231 003
0012660 230 223 001 200 002 022 231 R \b 231 S 004 026 230 222 214
0012700 \a G E T - C U T 231 030 017 230 222 214 016 e
0012720 x p a n d - G E T - C U T 231 030 \f
0012740 231 202 \0 \0 001 \n 001 231 202 \0 \0 001 \v 001 004 226
0012760 \0 \v g \0 \0 @ 002 001 h 032 032 020 \0 230 214 032
0013000 l a m b d a i n 1 t o p -
0013020 l e v e l f o r m \0 \0 \0 002 231 003
0013040 230 223 001 230 223 002 230 214 \f $ $ M A C R O
0013060 - F O R M 230 214 023 $ $ M A C R O -
0013100 E N V I R O N M E N T \0 001 001 230 217
0013120 214 005 S I X T H \0 \0 \0 235 226 \0 032 g \0
0013140 \0 o \0 \0 \0 \n \0 \0 277 g \0 \0 g \0 \0 \n
0013160 \0 \0 277 g \0 \0 020 \0 230 214 020 1 t o p
0013200 - l e v e l f o r m \0 \0 \0 \0 231
0013220 003 230 223 001 200 002 022 231 R \b 231 S 004 026 230 222
0013240 214 024 G E T - O R - N O D E - T H
0013260 E O R I E S 231 030 017 230 222 214 033 e x p
0013300 a n d - G E T - O R - N O D E -
0013320 T H E O R I E S 231 030 \f 231 202 \0 \0 001
0013340 024 001 231 202 \0 \0 001 025 001 004 226 \0 \v g \0 \0
0013360 @ 002 001 h 032 032 020 \0 230 214 032 l a m b d
0013400 a i n 1 t o p - l e v e l
0013420 f o r m \0 \0 \0 002 231 003 230 223 001 230 223
0013440 002 230 214 \f $ $ M A C R O - F O R M
0013460 230 214 023 $ $ M A C R O - E N V I R
0013500 O N M E N T \0 001 001 230 217 214 005 F I F
0013520 T H \0 \0 \0 235 226 \0 032 g \0 \0 o \0 \0 \0
0013540 \n \0 \0 277 g \0 \0 g \0 \0 \n \0 \0 277 g \0
0013560 \0 020 \0 230 214 020 1 t o p - l e v e
0013600 l f o r m \0 \0 \0 \0 231 003 230 223 001 200
0013620 002 022 231 R \b 231 S 004 026 230 222 214 \n G E T
0013640 - T H E O R Y 231 030 017 230 222 214 021 e x
0013660 p a n d - G E T - T H E O R Y 231
0013700 030 \f 231 202 \0 \0 001 036 001 231 202 \0 \0 001 037 001
0013720 004 226 \0 6 @ 002 270 H 001 271 H 002 272 J 222 J
0013740 001 200 h 273 g \0 \0 g \0 \0 K g \0 \0 I K
0013760 h 032 032 032 h 032 032 032 g \0 \0 o \0 \0 \0 I
0014000 h 032 032 032 h 032 032 032 020 \0 230 214 032 l a m
0014020 b d a i n 1 t o p - l e v
0014040 e l f o r m 004 \0 \0 002 231 003 230 223 001
0014060 230 223 002 230 214 \f $ $ M A C R O - F O
0014100 R M 230 214 023 $ $ M A C R O - E N V
0014120 I R O N M E N T \0 004 % 230 217 214 003 G
0014140 E T 030 231 202 \0 \0 \0 202 024 231 y 021 230 217 214
0014160 002 O R 001 ( 230 223 002 231 202 \0 \0 \0 337 231 5
0014200 \0 \0 235 226 \0 032 g \0 \0 o \0 \0 \0 \n \0 \0
0014220 277 g \0 \0 g \0 \0 \n \0 \0 277 g \0 \0 020 \0
0014240 230 214 020 1 t o p - l e v e l f
0014260 o r m \0 \0 \0 \0 231 003 230 223 001 200 002 022 231
0014300 R \b 231 S 004 026 230 222 214 \f I M P L I C
0014320 A T I O N P 231 030 017 230 222 214 023 e x p
0014340 a n d - I M P L I C A T I O N P
0014360 231 030 \f 231 202 \0 \0 001 * 001 231 202 \0 \0 001 +
0014400 001 004 226 \0 : @ 002 001 270 g \0 \0 g \0 \0 g
0014420 \0 \0 H h 032 032 h 032 032 h 032 g \0 \0 o \0
0014440 \0 \0 g \0 \0 g \0 \0 g \0 \0 H h 032 032 h
0014460 032 032 h 032 032 h 032 032 032 h 032 032 032 020 \0 230
0014500 214 032 l a m b d a i n 1 t o
0014520 p - l e v e l f o r m 001 \0 \0 002
0014540 231 003 230 223 001 230 223 002 230 214 \f $ $ M A C
0014560 R O - F O R M 230 214 023 $ $ M A C R
0014600 O - E N V I R O N M E N T \0 \a $
0014620 231 e ! 231 w 036 230 217 214 003 N O T 027 231 y
0014640 \v 231 v \b 230 222 214 \t S E P A R A T O
0014660 R 231 030 005 230 217 214 003 L E T 001 032 230 223 003
0014700 231 202 \0 \0 \0 336 231 202 \0 \0 001 2 230 223 002 231
0014720 202 \0 \0 \0 337 230 220 214 001 - \0 \0 234 230 222 214
0014740 \f I S - T H E R E - C U T 231 030 226
0014760 \0 1 g \0 \0 @ 034 270 H 221 H 020 @ 271 I 262
0015000 ! I 001 004 l 004 360 236 I 001 \t \0 \0 j 266 006
0015020 \0 \0 323 l ! 360 200 h 221 i 020 I 002 271 260 340
0015040 h 020 \0 231 202 \0 \0 001 7 002 \0 \0 001 231 003 230
0015060 223 001 230 223 001 230 214 005 C O N J S 001 031 230
0015100 217 214 \v S Y M B O L - N A M E 002 036
0015120 230 225 214 \t C H A R A C T E R 001 230 222
0015140 214 001 ! 231 030 \0 \0 234 230 222 214 021 L I S T
0015160 - A L L - T H E O R I E S 231 030 226
0015200 \0 , @ 224 @ \t \0 \0 200 h 270 H 221 H 020 g
0015220 \0 \0 301 002 311 \0 271 h 272 I 220 201 J 020 J I
0015240 001 h 032 \n \0 \0 272 I 002 002 271 260 356 \0 231 202
0015260 \0 \0 001 > 003 \0 \0 001 231 003 230 223 001 230 223 002
0015300 231 035 230 214 006 W I N D O W 002 " 231 " 004
0015320 230 222 214 032 L I S T - A L L - T H E
0015340 O R I E S - I N T E R N A L 231 030
0015360 001 016 231 5 \0 \0 234 230 222 214 \v L O A D -
0015400 T H E O R Y 231 030 226 \0 m n \0 \0 037 X
0015420 277 g \0 \0 @ g \0 \0 g \0 \0 \f \0 \0 \t \0
0015440 \0 271 A 225 A @ \n \0 \0 200 h 272 J 221 J 020
0015460 I \t \0 \0 262 4 I g \0 \0 g \0 \0 \v \0 \0
0015500 H 375 024 \0 277 i H 375 024 002 277 n \0 \0 037 o
0015520 \0 \0 \0 024 \0 H 024 002 k n \0 \0 037 o \0 \0
0015540 \0 024 \0 H 024 002 016 200 h 273 K 221 K 020 i o
0015560 \0 \0 \0 \n \0 \0 020 \0 231 202 \0 \0 001 C 004 \0
0015600 \0 002 231 003 230 223 001 230 223 003 230 214 \v T H E
0015620 O R Y - N A M E 231 035 230 214 006 W I N
0015640 D O W 006 i 230 217 214 006 F O R M A T 3
0015660 231 006 ' 230 217 214 \n P R O B E - F I L
0015700 E 034 230 222 214 021 L O A D - D E V E L
0015720 - T H E O R Y 231 030 024 231 202 \0 \0 \0 252
0015740 021 231 202 \0 \0 \0 253 005 0 231 202 \0 \0 \0 256 -
0015760 231 \b 016 231 202 \0 \0 \0 257 \v 231 202 \0 \0 \0 260
0016000 \a 231 202 \0 \0 \0 262 003 e 230 214 020 T h e o
0016020 r y n o t f o u n d S 226 \0 202
0016040 \0 \0 \0 203 h 271 h 272 h 273 H 311 \0 \t \0 \0
0016060 271 I \t \0 \0 277 H 311 \0 \t \0 \0 273 K 274 L
0016100 j 360 221 260 " H 311 \0 \t \0 \0 g \0 \0 301 002
0016120 311 \0 I ' H 311 \0 \t \0 \0 \v \0 \0 277 L k
0016140 325 \ 274 260 334 H 311 \0 \t \0 \0 272 J 274 L j
0016160 360 221 260 " H 311 \0 \t \0 \0 g \0 \0 301 002 311
0016200 \0 I ' H 311 \0 \t \0 \0 \v \0 \0 277 L k 325
0016220 \ 274 260 334 g \0 \0 273 h H 375 024 002 277 K 273
0016240 j @ 016 277 K 020 \0 231 202 \0 \0 \0 266 005 \0 \0
0016260 001 231 ; 230 223 001 230 223 001 230 214 004 ? 4 9 3
0016300 \n f 231 202 \0 \0 \0 201 c 231 202 \0 \0 \0 274 T
0016320 231 202 \0 \0 \0 274 E 231 202 \0 \0 \0 274 7 231 202
0016340 \0 \0 \0 201 4 231 202 \0 \0 \0 274 % 231 202 \0 \0
0016360 \0 274 026 231 202 \0 \0 \0 274 017 231 202 \0 \0 \0 254
0016400 \n 231 202 \0 \0 \0 274 003 q 230 222 214 006 L O A
0016420 D E D 231 030 W 231 5 ( 231 5 \0 \0 E 226 \0
0016440 016 H 311 \0 g \0 \0 H 311 002 \v \0 \0 020 \0 231
0016460 202 \0 \0 \0 277 001 \0 \0 \0 231 ; 230 223 001 200 001
0016500 \n 231 202 \0 \0 \0 301 001 004 231 202 \0 \0 \0 302 \0
0016520 \0 003 O 231 A A 231 A 001 231 B 234 230 222 214 \t
0016540 L O G I C - A D D 231 030 226 \0 @ @ C
0016560 225 B C \n \0 \0 200 h 270 H 221 H 210 g \0 \0
0016600 301 002 311 \0 B ' @ C 225 B C \n \0 \0 200 h
0016620 270 H 221 H 210 g \0 \0 301 002 311 \0 B ' \n \0
0016640 \0 A \n \0 \0 \v \0 \0 277 g \0 \0 020 \0 231 202
0016660 \0 \0 001 Q 001 \0 \0 004 231 003 230 223 001 230 223 005
0016700 230 214 004 P R E D 230 214 \a C L A U S E
0016720 S 230 214 006 T H E O R Y 231 035 230 214 006 W
0016740 I N D O W 005 8 231 202 \0 \0 \0 201 5 231 "
0016760 1 230 217 214 \a G E T H A S H 036 231 202 \0
0017000 \0 \0 202 006 231 202 \0 \0 \0 202 003 < 230 222 214 005
0017020 A D D E D 231 030 ( 231 5 020 231 5 \0 \0 234
0017040 231 202 \0 \0 \0 273 226 \0 " @ C 225 B C \n \0
0017060 \0 200 h 270 H 221 H 210 g \0 \0 301 002 311 \0 B
0017100 ' A \v \0 \0 277 g \0 \0 020 \0 231 202 \0 \0 \0
0017120 273 001 \0 \0 004 231 003 230 223 001 230 223 005 230 214 016
0017140 P R E D I C A T E - N A M E 230 214
0017160 \a C L A U S E S 230 214 \v T H E O R
0017200 Y - N A M E 231 035 230 214 006 W I N D O
0017220 W 002 032 231 202 \0 \0 \0 201 006 231 202 \0 \0 \0 202
0017240 002 036 230 222 214 \b A S S E R T E D 231 030
0017260 020 231 5 \0 \0 234 230 222 214 \f L O G I C -
0017300 D E L E T E 231 030 226 \0 " @ B 225 A B
0017320 \n \0 \0 200 h 270 H 221 H 210 g \0 \0 301 002 311
0017340 \0 A ' h \v \0 \0 277 g \0 \0 020 \0 231 202 \0
0017360 \0 001 a 001 \0 \0 003 231 003 230 223 001 230 223 004 230
0017400 214 \n P R E D - O R - S A 230 214 \v T
0017420 H E O R Y - N A M E 231 035 230 214 006 W
0017440 I N D O W 002 032 231 202 \0 \0 \0 201 006 231 202
0017460 \0 \0 \0 202 002 036 230 222 214 \a D E L E T E
0017500 D 231 030 020 231 5 \0 \0 234 231 - 226 \0 t @ 001
0017520 221 h 206 @ 002 001 221 h 200 i 221 h 020 @ 001 262
0017540 ; @ 001 270 H 001 262 2 H 001 001 271 H 002 002 001
0017560 272 I \t \0 \0 J A \v \0 \0 273 H 001 002 \t \0
0017600 \0 274 H I \n \0 \0 @ \n \0 \0 I K L A \r
0017620 005 \0 \0 b \0 277 260 270 @ 020 @ 002 001 001 270 H
0017640 262 027 @ H \n \0 \0 H 001 H 002 001 h A \r 005
0017660 \0 \0 b \0 277 260 231 h h h 032 032 b \0 277 260
0017700 217 \0 231 - 005 \0 \0 002 231 003 230 223 001 230 223 003
0017720 230 214 004 T R E E 231 035 230 214 006 W I N D
0017740 O W \b b 231 * W 231 + C 231 * ; 230 222 214
0017760 \v U P D A T E - T R E E 231 030 7 230
0020000 222 214 \f U P D A T E - L E V E L 231
0020020 030 1 231 202 \0 \0 001 7 * 231 202 \0 \0 \0 356 %
0020040 230 222 214 \t P R E D I C A T E 231 030 \0
0020060 \0 \0 234 231 . 226 \0 \t @ A B h 032 032 032 020
0020100 \0 231 . \0 \0 \0 003 231 003 230 223 001 230 223 003 230
0020120 214 004 C O N J 230 214 \b U N I F - E N
0020140 V 230 214 \b T H E O R I E S \0 \0 \0 \0
0020160 234 231 # 226 \0 017 @ A B C D E h 032 032 032
0020200 032 032 032 020 \0 231 # \0 \0 \0 006 231 003 230 223 001
0020220 230 223 \a 230 214 003 W F F 230 214 \a C L A U
0020240 S E S 230 214 006 B O R D E R 230 214 \b U
0020260 N I F - E N V 230 214 \b T H E O R I
0020300 E S 231 035 230 214 \a C U T N A M E \0 \0
0020320 \0 \0 234 231 ! 226 \0 \a @ A h 032 032 020 \0 231
0020340 ! \0 \0 \0 002 231 003 230 223 001 230 223 002 230 214 \t
0020360 A N D - L E V E L 230 214 \t O R - L
0020400 E V E L S \0 \0 \0 \0 234 230 222 214 016 M E
0020420 R G E - I N T E R N A L 231 030 226 \0
0020440 202 \0 \0 \0 204 n \0 \0 037 X 277 B 225 @ B \n
0020460 \0 \0 200 h 271 I 221 I 210 g \0 \0 301 002 311 \0
0020500 @ ' H 375 024 \0 277 A 271 I 220 203 g \0 \0 020
0020520 B 226 I 001 B \n \0 \0 200 h 272 J 221 J 211 g
0020540 \0 \0 301 002 311 \0 I 001 ' 221 i 200 h 272 J 221
0020560 J 204 I 001 \t \0 \0 262 , n \0 \0 037 o \0 \0
0020600 \0 024 \0 H 024 002 B 226 I 001 B \n \0 \0 200 h
0020620 272 J 221 J 211 g \0 \0 301 002 311 \0 I 001 ' \n
0020640 \0 \0 277 I 002 271 260 243 \0 231 202 \0 \0 001 200 003
0020660 \0 \0 003 231 003 230 223 001 230 223 004 230 214 017 N E
0020700 W - T H E O R Y - N A M E 230 214 \b
0020720 T H E O R I E S 231 035 230 214 006 W I N
0020740 D O W 005 { 231 9 g 231 202 \0 \0 \0 202 P 230
0020760 217 214 \f H A S H - T A B L E - P 1
0021000 231 202 \0 \0 \0 202 \v 231 202 \0 \0 \0 202 004 q 231
0021020 5 ; 231 5 ( 230 222 214 006 M E R G E D 231
0021040 030 025 231 5 001 Y 226 \0 016 A 230 @ H 311 \0 A
0021060 \v \0 \0 020 h 020 \0 230 214 030 l a m b d a
0021100 i n M E R G E - I N T E R N
0021120 A L 001 \0 \0 002 231 ; 230 223 001 230 223 002 230 214
0021140 003 K E Y 230 214 003 V A L 001 \b 231 202 \0 \0
0021160 \0 201 \0 \0 \0 002 U 231 A 001 231 B 234 230 222 214
0021200 016 M E R G E - T H E O R I E S 231
0021220 030 226 \0 037 e j 363 245 k h \n \0 \0 277 h e
0021240 # 002 270 @ \t \0 \0 277 @ H \n \0 \0 277 g \0
0021260 \0 020 \0 231 202 \0 \0 001 215 001 \0 002 202 377 377 377
0021300 377 231 003 230 223 001 230 223 003 230 214 017 N E W -
0021320 T H E O R Y - N A M E 230 217 214 005 &
0021340 R E S T 230 214 020 L I S T - O F - T
0021360 H E O R I E S 003 027 231 202 \0 \0 001 200 021
0021400 231 202 \0 \0 \0 254 \a 230 222 214 016 A R G U M
0021420 E N T - E R R O R 231 202 \0 \0 \0 265 001
0021440 033 231 202 \0 \0 001 207 \0 \0 234 231 + 226 \0 036 A
0021460 002 002 001 A 002 002 002 001 A 002 002 002 002 001 \v \0
0021500 \0 A @ 002 001 \n \0 \0 \n \0 \0 020 \0 231 + \0
0021520 \0 \0 002 231 003 230 223 001 230 223 002 230 214 004 T R
0021540 E E 230 214 \a O R - N O D E 003 032 231 !
0021560 027 231 202 \0 \0 \0 307 020 231 . \0 \0 \0 235 226 \0
0021600 032 g \0 \0 o \0 \0 \0 \n \0 \0 277 g \0 \0 g
0021620 \0 \0 \n \0 \0 277 g \0 \0 020 \0 230 214 020 1
0021640 t o p - l e v e l f o r m \0 \0
0021660 \0 \0 231 003 230 223 001 200 002 022 231 R \b 231 S 004
0021700 026 230 222 214 017 N U L L - A N D - L E
0021720 V E L P 231 030 017 230 222 214 026 e x p a n
0021740 d - N U L L - A N D - L E V E L
0021760 P 231 030 \f 231 202 \0 \0 001 232 001 231 202 \0 \0 001
0022000 233 001 004 226 \0 021 g \0 \0 g \0 \0 @ 002 001 h
0022020 032 032 h 032 032 020 \0 230 214 032 l a m b d a
0022040 i n 1 t o p - l e v e l
0022060 f o r m \0 \0 \0 002 231 003 230 223 001 230 223 002
0022100 230 214 \f $ $ M A C R O - F O R M 230
0022120 214 023 $ $ M A C R O - E N V I R O
0022140 N M E N T \0 002 004 231 [ 001 231 w \0 \0 \0
0022160 235 226 \0 032 g \0 \0 o \0 \0 \0 \n \0 \0 277 g
0022200 \0 \0 g \0 \0 \n \0 \0 277 g \0 \0 020 \0 230 214
0022220 020 1 t o p - l e v e l f o r
0022240 m \0 \0 \0 \0 231 003 230 223 001 200 002 022 231 R \b
0022260 231 S 004 026 230 222 214 016 N U L L - O R -
0022300 L E V E L P 231 030 017 230 222 214 025 e x p
0022320 a n d - N U L L - O R - L E V E
0022340 L P 231 030 \f 231 202 \0 \0 001 243 001 231 202 \0 \0
0022360 001 244 001 004 226 \0 021 g \0 \0 g \0 \0 @ 002 001
0022400 h 032 032 h 032 032 020 \0 230 214 032 l a m b d
0022420 a i n 1 t o p - l e v e l
0022440 f o r m \0 \0 \0 002 231 003 230 223 001 230 223
0022460 002 230 214 \f $ $ M A C R O - F O R M
0022500 230 214 023 $ $ M A C R O - E N V I R
0022520 O N M E N T \0 002 004 231 v 001 231 w \0 \0
0022540 \0 235 226 \0 032 g \0 \0 o \0 \0 \0 \n \0 \0 277
0022560 g \0 \0 g \0 \0 \n \0 \0 277 g \0 \0 020 \0 230
0022600 214 020 1 t o p - l e v e l f o
0022620 r m \0 \0 \0 \0 231 003 230 223 001 200 002 022 231 R
0022640 \b 231 S 004 026 230 222 214 \n N U L L - T R
0022660 E E P 231 030 017 230 222 214 021 e x p a n d
0022700 - N U L L - T R E E P 231 030 \f 231 202
0022720 \0 \0 001 254 001 231 202 \0 \0 001 255 001 004 226 \0 033
0022740 @ 002 001 270 g \0 \0 g \0 \0 H h 032 032 g \0
0022760 \0 H h 032 032 h 032 032 032 020 \0 230 214 032 l a
0023000 m b d a i n 1 t o p - l e
0023020 v e l f o r m 001 \0 \0 002 231 003 230 223
0023040 001 230 223 002 230 214 \f $ $ M A C R O - F
0023060 O R M 230 214 023 $ $ M A C R O - E N
0023100 V I R O N M E N T \0 003 017 231 202 \0 \0
0023120 001 243 \b 231 202 \0 \0 001 232 005 231 y \0 \0 \0 235
0023140 226 \0 032 g \0 \0 o \0 \0 \0 \n \0 \0 277 g \0
0023160 \0 g \0 \0 \n \0 \0 277 g \0 \0 020 \0 230 214 020
0023200 1 t o p - l e v e l f o r m
0023220 \0 \0 \0 \0 231 003 230 223 001 200 002 022 231 R \b 231
0023240 S 004 026 230 222 214 \t O R - L E V E L S
0023260 231 030 017 230 222 214 020 e x p a n d - O R
0023300 - L E V E L S 231 030 \f 231 202 \0 \0 001 265
0023320 001 231 202 \0 \0 001 266 001 004 226 \0 \v g \0 \0 @
0023340 002 001 h 032 032 020 \0 230 214 032 l a m b d a
0023360 i n 1 t o p - l e v e l
0023400 f o r m \0 \0 \0 002 231 003 230 223 001 230 223 002
0023420 230 214 \f $ $ M A C R O - F O R M 230
0023440 214 023 $ $ M A C R O - E N V I R O
0023460 N M E N T \0 001 001 231 v \0 \0 \0 234 231 202
0023500 \0 \0 001 n 226 \0 027 @ 221 h 200 i 270 H 221 H
0023520 205 @ 003 221 i 200 h 222 @ 001 020 @ 020 \0 231 202
0023540 \0 \0 001 n 001 \0 \0 001 231 003 230 223 001 230 223 001
0023560 230 214 003 W F F \0 \0 \0 \0 234 230 222 214 005 P
0023600 R O V E 231 030 226 \0 033 @ h g \0 \0 h 032
0023620 A \n \0 \0 \v \0 \0 h \n \0 \0 \t \0 \0 221 i
0023640 020 h 020 \0 231 202 \0 \0 001 277 \0 \0 \0 002 231 003
0023660 230 223 001 230 223 002 230 214 004 C O N J 230 214 003
0023700 T H S 004 023 231 - 020 231 ! \f 231 . \t 231 "
0023720 001 003 231 / \0 \0 234 230 222 214 \n R E N A M
0023740 E - C U T 231 030 226 \0 5 @ 270 h 271 h 272
0023760 H 220 203 J I 032 020 H 001 g \0 \0 360 262 023 o
0024000 \0 \0 \0 \t \0 \0 272 I J h 032 \n \0 \0 271 210
0024020 I H 001 h 032 \n \0 \0 271 H 002 270 260 324 \0 231
0024040 202 \0 \0 001 304 003 \0 \0 001 231 003 230 223 001 230 223
0024060 001 230 214 006 A N T E C S 003 , 231 " " 231
0024100 " 032 230 217 214 006 G E N S Y M 001 020 231 202
0024120 \0 \0 001 = 001 026 230 214 001 ! \0 234 230 222 214 \v
0024140 S A V E - T H E O R Y 231 030 226 \0 202
0024160 \0 \0 \0 232 n \0 \0 037 X @ 024 \0 277 A 227 H
0024200 311 \0 A \n \0 \0 200 h 271 I 221 I 212 g \0 \0
0024220 301 002 311 \0 H 311 \0 ' H 375 024 002 277 g \0 \0
0024240 301 002 311 \0 H 311 002 ' 221 i 200 h 271 I 221 I
0024260 205 H 311 002 \t \0 \0 262 R g \0 \0 H 311 \0 g
0024300 \0 \0 g \0 \0 \f \0 \0 \t \0 \0 g \0 \0 g \0
0024320 \0 g \0 \0 g \0 \0 g \0 \0 g \0 \0 \r \a \0
0024340 \0 H 375 024 004 277 i H 375 024 006 277 n \0 \0 037
0024360 o \0 \0 \0 024 \0 H 024 002 k n \0 \0 037 o \0
0024400 \0 \0 024 \0 H 024 002 016 020 g \0 \0 020 \0 231 202
0024420 \0 \0 001 312 002 \0 \0 002 231 003 230 223 001 230 223 003
0024440 230 214 \v T H E O R Y - N A M E 231 035
0024460 230 214 006 W I N D O W 005 k 231 006 U 231 202
0024500 \0 \0 \0 252 R 231 202 \0 \0 \0 253 A 231 202 \0 \0
0024520 001 206 020 231 202 \0 \0 \0 202 \f 202 \0 \0 \0 226 230
0024540 217 214 005 E R R O R g 230 220 214 006 C R E
0024560 A T E d 230 220 214 021 I F - D O E S -
0024600 N O T - E X I S T a 230 220 214 \v N E
0024620 W - V E R S I O N ^ 230 220 214 \t I F
0024640 - E X I S T S [ 231 \a X 231 \b O 231 202
0024660 \0 \0 \0 257 L 231 202 \0 \0 \0 260 F 231 202 \0 \0
0024700 \0 262 * 231 5 032 231 5 002 202 \0 \0 \0 213 226 \0
0024720 202 \0 \0 \0 220 H 311 002 \t \0 \0 271 H 311 002 \t
0024740 \0 \0 272 H 311 004 o \0 \0 \0 H 311 \0 \v \0 \0
0024760 277 H 311 004 o \0 \0 \0 J \t \0 \0 \v \0 \0 277
0025000 J 273 K 220 201 260 034 H 311 004 o \0 \0 \0 K 001
0025020 K 001 H 311 002 \n \0 \0 \f \0 \0 277 K 002 273 260
0025040 343 H 311 004 o \0 \0 \0 I \t \0 \0 \v \0 \0 277
0025060 I 273 K 220 201 260 034 H 311 004 o \0 \0 \0 K 001
0025100 K 001 H 311 002 \n \0 \0 \f \0 \0 277 K 002 273 260
0025120 343 g \0 \0 h 032 h H 375 024 006 277 j @ 016 277
0025140 \t \0 \0 020 \0 231 202 \0 \0 \0 266 004 \0 \0 001 231
0025160 ; 230 223 001 230 223 001 230 214 004 ? 4 9 4 \f 202
0025200 \0 \0 \0 214 231 202 \0 \0 \0 272 t 231 202 \0 \0 001
0025220 H q 231 202 \0 \0 001 X X 231 202 \0 \0 001 H U
0025240 230 217 214 006 L E N G T H D 231 202 \0 \0 001
0025260 H A 231 202 \0 \0 001 X ( 231 202 \0 \0 001 H %
0025300 231 202 \0 \0 001 327 031 231 202 \0 \0 001 H \v 231 C
0025320 004 231 4 001 } 230 222 214 005 S A V E D 231 030
0025340 005 f 230 214 \b ~ S ~ S ~ % P 230 214
0025360 004 ~ D ~ % 6 230 214 \b ~ S ~ S ~
0025400 % 230 214 004 ~ D ~ % 022 230 214 004 ~ S ~
0025420 % \0 } 226 \0 016 H 311 004 g \0 \0 H 311 006 \v
0025440 \0 \0 020 \0 231 202 \0 \0 \0 277 001 \0 \0 \0 231 ;
0025460 230 223 001 200 001 \n 231 202 \0 \0 \0 301 001 004 231 202
0025500 \0 \0 \0 302 \0 \0 003 202 \0 \0 \0 207 231 A y 231
0025520 A 001 230 225 214 \t \ P T R H U N K 4 235
0025540 226 \0 032 g \0 \0 o \0 \0 \0 \n \0 \0 277 g \0
0025560 \0 g \0 \0 \n \0 \0 277 g \0 \0 020 \0 230 214 020
0025600 1 t o p - l e v e l f o r m
0025620 \0 \0 \0 \0 231 003 230 223 001 200 002 022 231 R \b 231
0025640 S 004 026 230 222 214 025 S E M A N T I C -
0025660 A T T A C H M E N T - P 231 030 017 230
0025700 222 214 034 e x p a n d - S E M A N T
0025720 I C - A T T A C H M E N T - P 231
0025740 030 \f 231 202 \0 \0 001 342 001 231 202 \0 \0 001 343 001
0025760 004 226 \0 024 g \0 \0 g \0 \0 @ 002 001 h 032 032
0026000 o \0 \0 \0 032 032 020 \0 230 214 032 l a m b d
0026020 a i n 1 t o p - l e v e l
0026040 f o r m \0 \0 \0 002 231 003 230 223 001 230 223
0026060 002 230 214 \f $ $ M A C R O - F O R M
0026100 230 214 023 $ $ M A C R O - E N V I R
0026120 O N M E N T \0 002 004 231 [ 001 231 202 \0 \0
0026140 \0 336 001 \r 230 223 001 230 223 002 231 202 \0 \0 \0 337
0026160 231 @ \0 \0 234 230 222 214 017 S H O W - D E
0026200 F I N I T I O N 231 030 226 001 @ B 221 Q
0026220 200 h 270 H 221 H 200 i o \0 \0 \0 @ B 225 A
0026240 B \n \0 \0 200 h 270 H 221 H 210 g \0 \0 301 002
0026260 311 \0 A ' \n \0 \0 270 H 001 g \0 \0 360 222 H
0026300 002 205 h 220 201 H 200 h \v \0 \0 020 \0 003 001 230
0026320 217 214 016 * T R A C E - O U T P U T
0026340 * 231 202 \0 \0 001 353 001 001 \0 003 231 003 230 223 001
0026360 230 223 004 230 214 \a E L E M E N T 230 214 \v
0026400 T H E O R Y - N A M E 231 035 230 214 006
0026420 W I N D O W 003 < 231 202 \0 \0 001 H ( 231
0026440 202 \0 \0 001 X 025 231 202 \0 \0 \0 202 002 . 231 @
0026460 037 231 5 001 \f 230 214 004 ~ S ~ % \0 234 230 222
0026500 214 \v S H O W - T H E O R Y 231 030 226
0026520 001 202 \0 \0 \0 250 g \0 \0 301 002 311 \0 @ ' 270
0026540 H \t \0 \0 271 H \t \0 \0 272 B 221 U 200 h 273
0026560 K 221 K 200 i 273 J 262 B K o \0 \0 \0 \n \0
0026600 \0 277 J 274 L 220 201 260 ) i o \0 \0 \0 L 001
0026620 \v \0 \0 277 A 262 026 i o \0 \0 \0 L 001 H \n
0026640 \0 \0 002 o \0 \0 \0 \f \0 \0 277 L 002 274 260 326
0026660 K o \0 \0 \0 \n \0 \0 277 I 262 A K o \0 \0
0026700 \0 \n \0 \0 277 I 274 L 220 201 260 ( i o \0 \0
0026720 \0 L 001 \v \0 \0 277 A 262 025 K o \0 \0 \0 L
0026740 001 H \n \0 \0 o \0 \0 \0 \f \0 \0 277 L 002 274
0026760 260 327 K o \0 \0 \0 \n \0 \0 020 h 020 \0 003 005
0027000 231 202 \0 \0 001 354 231 202 \0 \0 001 363 005 001 \0 003
0027020 231 003 230 223 001 230 223 004 230 214 \v T H E O R
0027040 Y - N A M E 231 035 230 214 \a V E R B O
0027060 S E 230 214 006 W I N D O W \f 202 \0 \0 \0
0027100 242 231 202 \0 \0 001 H 202 \0 \0 \0 224 231 202 \0 \0
0027120 001 H 202 \0 \0 \0 215 231 202 \0 \0 001 X ~ 231 202
0027140 \0 \0 001 H l 231 202 \0 \0 001 H ` 231 202 \0 \0
0027160 001 H R 231 202 \0 \0 001 H J 231 202 \0 \0 001 X
0027200 ; 231 202 \0 \0 001 H ) 231 202 \0 \0 001 H 021 231
0027220 C \f 231 4 001 001 231 5 \n 202 \0 \0 \0 236 230 214
0027240 005 ~ % ~ % 202 \0 \0 \0 220 230 214 001 202
0027260 \0 \0 \0 206 230 214 016 C l a u s e s :
0027300 ~ S ~ % x 230 214 \a ~ % ~ S ~ %
0027320 h 230 214 016 P r e d i c a t e s :
0027340 ~ % \ 230 214 005 ~ % ~ % N 230 214 001
0027360 C 230 214 021 D e f i n i t i o n :
0027400 ~ S ~ % 5 230 214 \b ~ % ~ S ~ %
0027420 % 230 214 030 S e m a n t i c a t
0027440 t a c h m e n t s : ~ % \0 234 231
0027460 * 226 \0 202 \0 \0 \0 335 D 227 @ A B D \f \0
0027500 \0 277 B 242 261 \0 311 B 001 g \0 \0 360 231 @ A
0027520 B D l 004 B 002 016 020 B 001 g \0 \0 360 262 032
0027540 A @ 001 002 001 \n \0 \0 270 B 002 H 002 \n \0 \0
0027560 221 @ 020 @ \t \0 \0 020 B 001 \t \0 \0 270 A H
0027600 \t \0 \0 @ 001 002 001 D \f \0 \0 271 I g \0 \0
0027620 360 226 B 002 b 004 277 260 241 H 221 h 200 i 272 J
0027640 221 J 205 H 003 221 i 200 h 227 H 002 001 221 h 200
0027660 i 200 h 262 030 I C 221 @ 200 h 272 J 221 J 206
0027700 A B 002 @ \v \0 \0 \n \0 \0 020 H 002 001 g \0
0027720 \0 360 227 H 002 002 221 i 200 h 200 h 262 0 H 002
0027740 002 \t \0 \0 262 031 H 002 002 \t \0 \0 272 I J 002
0027760 A B 002 @ J 001 \f \0 \0 \v \0 \0 020 I H 002
0030000 002 A B 002 @ \v \0 \0 \v \0 \0 020 204 @ \t \0
0030020 \0 020 h 020 \0 231 * 003 \0 \0 005 231 003 230 223 001
0030040 230 223 006 230 214 004 T R E E 230 214 \a F O R
0030060 M U L A 230 214 \a C L A U S E S 231 035
0030100 230 214 003 C U T 230 214 006 W I N D O W 020
0030120 202 \0 \0 \0 327 231 202 \0 \0 \0 215 202 \0 \0 \0 321
0030140 230 222 214 020 S U B S T I T U T E - L
0030160 E V E L 231 030 202 \0 \0 \0 316 231 031 202 \0 \0
0030200 \0 302 231 202 \0 \0 002 \n 202 \0 \0 \0 277 231 031 202
0030220 \0 \0 \0 262 231 202 \0 \0 001 304 202 \0 \0 \0 252 231
0030240 202 \0 \0 001 7 202 \0 \0 \0 220 230 222 214 \n U P
0030260 D A T E - E N V 231 030 202 \0 \0 \0 215 231
0030300 031 Q 230 222 214 005 U N I F Y 231 030 I 231 202
0030320 \0 \0 \0 232 C 230 222 214 006 R E N A M E 231
0030340 030 = 231 202 \0 \0 \0 215 6 230 217 214 005 A P P
0030360 L Y . 231 , \a 230 222 214 016 S O L V E -
0030400 D E B U G G E R 231 030 004 202 \0 \0 \0 227
0030420 231 202 \0 \0 001 4 V 231 202 \0 \0 \0 353 # 231 @
0030440 022 231 202 \0 \0 \0 275 \0 \0 234 231 202 \0 \0 002 \n
0030460 226 \0 026 B A B 001 001 \n \0 \0 @ B 001 002 002
0030500 001 \v \0 \0 030 277 B 020 \0 231 202 \0 \0 002 \n \0
0030520 \0 \0 003 231 003 230 223 001 230 223 003 230 214 003 E N
0030540 V 230 214 006 A N T E C S 230 214 004 T R E
0030560 E 002 017 231 . 006 231 " \0 \0 \0 235 226 \0 032 g
0030600 \0 \0 o \0 \0 \0 \n \0 \0 277 g \0 \0 g \0 \0
0030620 \n \0 \0 277 g \0 \0 020 \0 230 214 020 1 t o
0030640 p - l e v e l f o r m \0 \0 \0 \0
0030660 231 003 230 223 001 200 002 022 231 R \b 231 S 004 026 230
0030700 222 214 \a T H E O R Y P 231 030 017 230 222 214
0030720 016 e x p a n d - T H E O R Y P 231
0030740 030 \f 231 202 \0 \0 002 027 001 231 202 \0 \0 002 030 001
0030760 004 226 \0 0 @ 002 270 H 001 271 H 002 272 g \0 \0
0031000 g \0 \0 g \0 \0 I J 222 J 001 200 h h 032 032
0031020 032 o \0 \0 \0 032 032 g \0 \0 I h 032 032 h 032
0031040 032 032 020 \0 230 214 032 l a m b d a i n
0031060 1 t o p - l e v e l f o r
0031100 m 003 \0 \0 002 231 003 230 223 001 230 223 002 230 214 \f
0031120 $ $ M A C R O - F O R M 230 214 023 $
0031140 $ M A C R O - E N V I R O N M E
0031160 N T \0 004 $ 231 202 \0 \0 001 206 020 231 202 \0 \0
0031200 001 036 \r 231 y \n 231 202 \0 \0 001 & 001 036 230 223
0031220 001 201 \0 \0 235 226 \0 032 g \0 \0 o \0 \0 \0 \n
0031240 \0 \0 277 g \0 \0 g \0 \0 \n \0 \0 277 g \0 \0
0031260 020 \0 230 214 020 1 t o p - l e v e l
0031300 f o r m \0 \0 \0 \0 231 003 230 223 001 200 002
0031320 022 231 R \b 231 S 004 026 230 222 214 \v U N I F
0031340 - E N V - O R 231 030 017 230 222 214 022 e x
0031360 p a n d - U N I F - E N V - O R
0031400 231 030 \f 231 202 \0 \0 002 ! 001 231 202 \0 \0 002 "
0031420 001 004 226 \0 \v g \0 \0 @ 002 001 h 032 032 020 \0
0031440 230 214 032 l a m b d a i n 1 t
0031460 o p - l e v e l f o r m \0 \0 \0
0031500 002 231 003 230 223 001 230 223 002 230 214 \f $ $ M A
0031520 C R O - F O R M 230 214 023 $ $ M A C
0031540 R O - E N V I R O N M E N T \0 001
0031560 001 230 217 214 006 F O U R T H \0 \0 \0 235 226
0031600 \0 032 g \0 \0 o \0 \0 \0 \n \0 \0 277 g \0 \0
0031620 g \0 \0 \n \0 \0 277 g \0 \0 020 \0 230 214 020 1
0031640 t o p - l e v e l f o r m \0
0031660 \0 \0 \0 231 003 230 223 001 200 002 022 231 R \b 231 S
0031700 004 026 230 222 214 017 U N I F I C A T I O
0031720 N - E N V 231 030 017 230 222 214 026 e x p a
0031740 n d - U N I F I C A T I O N - E
0031760 N V 231 030 \f 231 202 \0 \0 002 + 001 231 202 \0 \0
0032000 002 , 001 004 226 \0 \v g \0 \0 @ 002 001 h 032 032
0032020 020 \0 230 214 032 l a m b d a i n 1
0032040 t o p - l e v e l f o r m \0
0032060 \0 \0 002 231 003 230 223 001 230 223 002 230 214 \f $ $
0032100 M A C R O - F O R M 230 214 023 $ $ M
0032120 A C R O - E N V I R O N M E N T
0032140 \0 001 001 231 v \0 \0 \0 234 231 202 \0 \0 002 \v 226
0032160 \0 \t A 001 002 @ 030 277 A 020 \0 231 202 \0 \0 002
0032200 \v \0 \0 \0 002 231 003 230 223 001 230 223 002 230 214 003
0032220 E N V 230 214 004 T R E E \0 \0 \0 \0 234 231
0032240 202 \0 \0 001 m 226 \0 017 @ 001 002 @ 002 001 @ 002
0032260 002 001 \v \0 \0 020 \0 231 202 \0 \0 001 m \0 \0 \0
0032300 002 231 003 230 223 001 230 223 002 230 214 005 L E V E
0032320 L 230 214 \a F O R M U L A 001 \v 231 . \0
0032340 \0 \0 234 231 202 \0 \0 001 l 226 \0 \t @ A 002 001
0032360 \n \0 \0 020 \0 231 202 \0 \0 001 l \0 \0 \0 002 231
0032400 003 230 223 001 230 223 002 230 214 005 L E V E L 230
0032420 214 004 T R E E 001 005 231 ! \0 \0 \0 235 226 \0
0032440 025 i 027 \0 \0 o \0 \0 \0 \t \0 \0 277 o \0 \0
0032460 \0 \t \0 \0 020 \0 230 214 021 3 t o p - l
0032500 e v e l f o r m s \0 \0 \0 \0 231 003
0032520 230 223 001 200 002 021 230 225 214 \b P U T P R O
0032540 P S \t 230 225 214 \t F I L E S L O A D
0032560 001 002 230 217 214 016 * P R I N T - P R E
0032600 T T Y * 002 \r 230 223 003 231 023 230 225 214 \t C
0032620 O P Y R I G H T 230 223 002 230 214 023 R o
0032640 b e r t o G h i s l a n z o n
0032660 i 202 \0 \0 \a 304 005 230 223 001 230 222 214 \a U N
0032700 I F I E R 231 030 \0 232 202 \0 \0 002 I 377 377
0032720