$ od -c -N 50000 [phylum]<LISPUSERS>koto>HSOURCE.DCOM!1
0000000 ( F I L E C R E A T E D " 2 3
0000020 - M a r - 8 7 1 3 : 3 8 : 3 5
0000040 " ( " c o m p i l e d o n
0000060 " { D S K } < L I S P F I L E
0000100 S 2 > H . B E T A > H S O U R C
0000120 E . ; 6 ) \r " 1 2 - N o v - 8
0000140 5 1 4 : 5 9 : 2 3 " t c o m
0000160 p l ' d i n " I N T E R L I
0000200 S P - D 7 - F e b - 8 6 .
0000220 . . " d a t e d " 7 - F e
0000240 b - 8 6 1 1 : 2 3 : 5 0 " ) \r
0000260 ( F I L E C R E A T E D " 2 3
0000300 - M a r - 8 7 1 3 : 3 7 : 1 6
0000320 " { D S K } < L I S P F I L E
0000340 S 2 > H . B E T A > H S O U R C
0000360 E . ; 6 2 0 7 4 8 p r e v i
0000400 o u s d a t e : \r " 1 8 - M
0000420 a r - 8 7 1 4 : 2 2 : 1 0 "
0000440 { D S K } < L I S P F I L E S 2
0000460 > H . B E T A > H S O U R C E .
0000500 ; 5 ) \r B u i l d A s s e r t
0000520 D 1 \r ( I 0 x F 0 a s
0000540 s e r t - n u m b ) \0 016 \0 001 \0
0000560 001 P k 324 c \0 @ \t \0 \0 \t \0 \0 020 \0 (
0000600 1 3 Q M a c r o A x i o m 1
0000620 0 Q M k V a r s ) \r N I L \r (
0000640 ) \r F i r s t A n t e c D 1 \r
0000660 ( L ( 0 p ) ) \0 006 \0 \0 \0 001
0000700 @ 002 002 001 020 \0 N I L \r N I L \r ( )
0000720 \r H . ? D 1 \r ( P 2 l i s
0000740 p - c h a n n e l P 1 f o
0000760 r m u l a s P 0 * l i s p
0001000 - u s e * I 0 c o n j . t
0001020 o . p r o v e ) \0 020 003 \0 003 001 i
0001040 @ 021 022 002 @ \t \0 \0 @ \t \0 \0 J 020 \0 (
0001060 1 4 Q H . ? v 1 0 Q M k V
0001100 a r s ) \r N I L \r ( ) \r H . ? !
0001120 D 1 \r ( P 1 * l i s p - u
0001140 s e * P 0 l i s p - c h a
0001160 n n e l I 0 c o n j . t o
0001200 . p r o v e F 2 H W I N D
0001220 O W ) \0 016 002 001 \0 001 @ R \n \0 \0 021
0001240 001 @ \t \0 \0 020 \0 ( 1 3 Q H . ?
0001260 v 4 M k V a r s ) \r N I L \r
0001300 ( ) \r H . ? v D 1 \r ( I 0
0001320 f o r m u l a s ) \0 \t \0 \0 \0 001
0001340 o \0 \0 \0 \t \0 \0 020 \0 ( 6 C A T C
0001360 H ) \r N I L \r ( 3 ( ( Q U O
0001400 T E f i r s t - l e v e l )
0001420 ( L E T ( ( c o u n t e r (
0001440 P L U S 1 * l i m i t * ) )
0001460 ( g l o b a l s l a s h f l a
0001500 g N I L ) ( I s C a r N I
0001520 L ) ) ( M k V a r s f o r m
0001540 u l a s ) ( H . p r o v e (
0001560 L I S T ( L I S T f o r m u
0001600 l a s N I L ) ) 1 ) ) ) ) \r
0001620 H . R m A x i o m D 1 \r ( I
0001640 0 a x F 0 * p r e d i c
0001660 a t e s * ) \0 020 \0 001 \0 001 @ P \n
0001700 \0 \0 c \0 @ g \0 \0 \n \0 \0 020 \0 ( 1 5
0001720 Q P U T P R O P 4 D R E M
0001740 O V E ) \r ( 1 2 Q a x i o m )
0001760 \r ( ) \r H . a b s e n t D 1 \r
0002000 ( I 3 y l s t I 2 y
0002020 I 1 x l s t I 0 x F
0002040 0 t e m p ) \0 T \0 001 \0 004 B
0002060 227 B l \b \n \0 \0 262 ; B 3 020 263 024 B g
0002100 \0 \0 \t \0 \0 \n \0 \0 230 B d g \0 \0 033 242
0002120 i 020 B C 001 026 c \0 265 \r @ B 360 264 005 A
0002140 C 360 h 360 020 002 001 b 004 277 P 002 002 b 006 277
0002160 260 277 @ A B 001 C \f \0 \0 264 352 B 002 b 004
0002200 260 260 \0 ( 1 1 2 Q H . a b s e n
0002220 t 3 0 Q M E M B E R 2 5 Q
0002240 \ S E E . A T 7 \ T Y P E
0002260 M A S K . U F N ) \r ( 3 6 Q v
0002300 a r i a b l e 2 2 Q * v a r
0002320 i a b l e s * ) \r ( ) \r H . a d
0002340 d a x i o m D 1 \r ( I 0 a
0002360 x - l i s t ) \0 \t \0 \0 \0 001 o \0
0002400 \0 \0 \t \0 \0 020 \0 ( 6 C A T C H )
0002420 \r N I L \r ( 3 ( ( Q U O T E
0002440 f i r s t - l e v e l ) ( L
0002460 E T ( ( a s s e r t - n u m b
0002500 0 ) ) ( M a p N u l l a x
0002520 - l i s t ( Q U O T E B u i
0002540 l d A s s e r t ) ) ) ) ) \r H .
0002560 a l l D 1 \r ( P 4 l i s p
0002600 - c h a n n e l P 3 g l o
0002620 b a l s l a s h f l a g P 2
0002640 c o u n t e r P 1 * l i
0002660 s p - u s e * P 0 * i n t
0002700 - m o d e * I 1 c o n g
0002720 I 0 f o r m u l a s F 5
0002740 * l i m i t * ) \0 035 005 001 \0 002
0002760 A \t \0 \0 g \0 \0 i U k 324 021 # 004 A o
0003000 \0 \0 \0 032 h 032 k \n \0 \0 L 020 \0 ( 3 1
0003020 Q H . p r o v e 3 M k V a
0003040 r s ) \r ( 6 a l l ) \r ( 2 2
0003060 Q ( N I L ) ) \r H . a n o t h
0003100 e r ? D 1 \r ( F 1 * i n t
0003120 - m o d e * F 2 H . F R O
0003140 M . W I N D O W F 3 H W I
0003160 N D O W ) \0 Y 001 003 \0 \0 g \0 \0 \t
0003200 \0 \0 g \0 \0 360 263 H g \0 \0 \t \0 \0 g \0
0003220 \0 360 263 033 g \0 \0 \t \0 \0 021 001 \0 H j 360
0003240 265 \v H 005 003 264 006 H \t \0 \0 022 221 h 020 g
0003260 \0 \0 \t \0 \0 3 020 262 031 R 235 S g \0 \0 d
0003300 \t \0 \0 k 331 \v \0 \0 204 Q k 331 c 002 i 020
0003320 \b \0 \0 020 \0 ( 1 2 6 Q H . c o n
0003340 t i n u e ? 1 1 3 Q P U T W
0003360 I N D O W P R O P 1 0 6 Q \
0003400 S E E . A T 7 0 Q \ S E E .
0003420 A T 5 6 Q \ F Z E R O P 3
0003440 5 Q \ S E E . A T 2 1 Q \
0003460 S E E . A T 5 \ S E E . A T
0003500 ) \r ( 1 0 2 Q * i n t - m o d
0003520 e * 6 5 Q * i n t - m o d e
0003540 * 3 2 Q * i n t - m o d e *
0003560 2 4 Q f i r s t 1 6 Q *
0003600 i n t - m o d e * 1 0 Q a l
0003620 l 2 * i n t - m o d e * ) \r
0003640 ( ) \r H . a n y D 1 \r ( I 2
0003660 c o n g I 1 f o r m u l
0003700 a s I 0 q u a n t ) \0 \r
0003720 \0 \0 \0 003 B \t \0 \0 o \0 \0 \0 \t \0 \0 020
0003740 \0 ( 1 2 Q C A T C H 3 M k
0003760 V a r s ) \r N I L \r ( 7 ( (
0004000 Q U O T E f i r s t - l e v e
0004020 l ) ( L E T ( ( g l o b a l
0004040 s l a s h f l a g N I L ) (
0004060 * i n t - m o d e * q u a n t
0004100 ) ( * l i s p - u s e * T )
0004120 ( I s C a r T ) ( c o u n
0004140 t e r ( P L U S 1 * l i m
0004160 i t * ) ) ( l i s p - c h a n
0004200 n e l N I L ) ) ( H . p r o
0004220 v e ( B Q U O T E ( ( ( \ ,
0004240 c o n g ) N I L ) ) ) 1 )
0004260 l i s p - c h a n n e l ) ) )
0004300 \r H . a t t a c h D 1 \r ( I
0004320 0 f l i s t F 0 * f u n
0004340 c t i o n s * ) \0 033 \0 001 003 001 @
0004360 001 P \n \0 \0 246 @ 001 P 032 c \0 277 @ 001 g
0004400 \0 \0 @ 002 001 \v \0 \0 020 \0 ( 3 0 Q P
0004420 U T P R O P 5 M E M B E R )
0004440 \r ( 2 2 Q f u n c t ) \r ( ) \r
0004460 H . a x i o m s D 1 \r ( I 0
0004500 a x - l i s t ) \0 \t \0 \0 \0 001
0004520 o \0 \0 \0 \t \0 \0 020 \0 ( 6 C A T C
0004540 H ) \r N I L \r ( 3 ( ( Q U O
0004560 T E f i r s t - l e v e l )
0004600 ( L E T ( ( a s s e r t - n u
0004620 m b 0 ) ( I s C a r N I L
0004640 ) ) ( M a p N u l l a x - l
0004660 i s t ( Q U O T E R m A x i
0004700 o m ) ) ( M a p N u l l a x
0004720 - l i s t ( Q U O T E B u i
0004740 l d A s s e r t ) ) ) ) ) \r H .
0004760 c o n t i n u e ? D 1 \r N I L
0005000 \0 023 \0 \0 \0 \0 \b \0 \0 g \0 \0 \t \0 \0
0005020 001 o \0 \0 \0 \n \0 \0 020 \0 ( 2 0 Q M
0005040 E M B E R 1 0 Q T T Y I N
0005060 2 T E R P R I ) \r ( 5 A n o
0005100 t h e r ? ) \r ( 1 5 Q ( y
0005120 y e s o k Y Y E S S S
0005140 I s i s ) ) \r H . d e l D
0005160 1 \r ( I 0 a r g ) \0 024 \0 \0
0005200 \0 001 @ 001 g \0 \0 @ d 001 g \0 \0 033 \n \0
0005220 \0 \v \0 \0 020 \0 ( 2 1 Q P U T P R
0005240 O P 1 6 Q H . d e l e t e )
0005260 \r ( 1 2 Q a x i o m 4 a x
0005300 i o m ) \r ( ) \r H . e x p a n d
0005320 1 D 1 \r ( I 1 x I 0
0005340 l s t F 0 t e m p ) \0 K
0005360 \0 001 \0 002 A 005 \a 263 8 A d 262 027 l \b \n
0005400 \0 \0 255 @ A 001 \n \0 \0 @ A 002 \n \0 \0 032
0005420 020 A 3 020 263 033 A g \0 \0 \t \0 \0 \n \0 \0
0005440 235 A d g \0 \0 033 227 @ 001 026 c \0 265 004 A
0005460 020 002 002 P 002 001 b 002 277 b \0 277 260 270 \0 (
0005500 5 3 Q M E M B E R 5 0 Q \
0005520 S E E . A T 3 2 Q H . e x p
0005540 a n d 1 2 4 Q H . e x p a n
0005560 d 1 1 5 Q \ T Y P E M A S K
0005600 . U F N ) \r ( 6 1 Q v a r i a
0005620 b l e 4 5 Q * v a r i a b l
0005640 e s * ) \r ( ) \r H . i n d e x
0005660 D 1 \r ( I 1 z l s t I 0
0005700 z F 0 t e m p ) \0 ' \0
0005720 001 \0 002 @ 234 @ l \b \n \0 \0 245 @ 001 b \0
0005740 260 364 @ A 001 026 c \0 265 004 @ 020 002 001 b \0
0005760 277 P 002 002 b 002 277 260 334 \0 ( 7 \ T Y
0006000 P E M A S K . U F N ) \r N I L \r
0006020 ( ) \r H . i s f u n c ? D 1 \r
0006040 ( I 0 a r g ) \0 * \0 \0 \0 001
0006060 @ d 226 l \b \n \0 \0 221 h 020 @ 001 \t \0 \0
0006100 223 g \0 \0 020 @ 001 g \0 \0 \t \0 \0 \n \0 \0
0006120 264 \b @ 001 g \0 \0 033 020 \0 ( 3 7 Q M
0006140 E M B E R 3 4 Q \ S E E . A
0006160 T 1 7 Q I s P r i m i t i v
0006200 e ? 7 \ T Y P E M A S K . U
0006220 F N ) \r ( 4 6 Q f u n c t 3
0006240 1 Q * f u n c t i o n s * 2
0006260 3 Q p r i m i t i v e ) \r ( )
0006300 \r H . m a t c h D 1 \r ( P 0
0006320 t e m p I 3 y l s t I
0006340 2 y I 1 x l s t I
0006360 0 x F 1 s a v e ) 001 220
0006400 001 001 \0 004 g \0 \0 \t \0 \0 262 026 g \0 \0 g
0006420 \0 \0 @ g \0 \0 B h 032 032 032 032 \n \0 \0 277
0006440 021 020 \0 @ d 231 l \b \n \0 \0 242 261 \0 246 @
0006460 3 020 222 261 001 025 @ g \0 \0 \t \0 \0 \n \0 \0
0006500 242 261 001 \a @ g \0 \0 033 242 261 \0 376 @ A 001
0006520 026 X 265 B B d 227 l \b \n \0 \0 262 037 B 3
0006540 020 263 032 B g \0 \0 \t \0 \0 \n \0 \0 234 B g
0006560 \0 \0 033 226 B C 001 026 X 265 016 @ B 360 262 #
0006600 C A 360 262 036 i 020 002 001 b 004 277 H 002 002 b
0006620 006 277 260 302 002 001 b \0 277 H 002 002 b 002 277 260
0006640 204 g \0 \0 \t \0 \0 254 @ A B C \f \0 \0 264
0006660 003 202 261 \0 340 A Q 032 c 002 277 A @ B C 032
0006700 032 A 001 032 030 i 020 002 001 b 004 277 H 002 002 b
0006720 006 277 B d 227 l \b \n \0 \0 262 K B 3 020 263
0006740 B B g \0 \0 \t \0 \0 \n \0 \0 262 6 B g \0
0006760 \0 033 262 / B C 001 026 X 265 316 g \0 \0 \t \0
0007000 \0 254 B C @ A \f \0 \0 264 003 202 261 \0 206 C
0007020 Q 032 c 002 277 C B @ A 032 032 C 001 032 030 i
0007040 020 @ B 360 020 @ 001 A B 001 C \f \0 \0 264 d
0007060 @ 002 b \0 277 B 002 b 004 277 261 376 351 002 001 b
0007100 004 277 H 002 002 b 006 277 B d 227 l \b \n \0 \0
0007120 264 B B 3 020 263 314 B g \0 \0 \t \0 \0 \n \0
0007140 \0 262 300 B g \0 \0 033 262 271 B C 001 026 X 265
0007160 316 g \0 \0 \t \0 \0 250 B C @ A \f \0 \0 264
0007200 023 C Q 032 c 002 277 C B @ A 032 032 C 001 032
0007220 030 i 020 \0 ( 5 7 2 Q H . a b s e
0007240 n t 5 6 2 Q \ S E E . A T
0007260 5 3 4 Q M E M B E R 5 3 1 Q
0007300 \ S E E . A T 5 1 3 Q \ T
0007320 Y P E M A S K . U F N 4 5 1 Q
0007340 H . m a t c h 4 0 4 Q H .
0007360 a b s e n t 3 7 4 Q \ S E E
0007400 . A T 3 4 6 Q M E M B E R
0007420 3 4 3 Q \ S E E . A T 3 2 5
0007440 Q \ T Y P E M A S K . U F N
0007460 2 5 2 Q H . a b s e n t 2 4
0007500 2 Q \ S E E . A T 1 5 0 Q
0007520 M E M B E R 1 4 5 Q \ S E E
0007540 . A T 1 2 7 Q \ T Y P E M A
0007560 S K . U F N 7 3 Q M E M B E
0007600 R 7 0 Q \ S E E . A T 4 6
0007620 Q \ T Y P E M A S K . U F N
0007640 3 2 Q H . P r i n t I n f o
0007660 5 \ S E E . A T ) \r ( 5 5 7 Q
0007700 * s h o r t f o r m * 5 4 2
0007720 Q v a r i a b l e 5 2 6 Q
0007740 * v a r i a b l e s * 3 7 1 Q
0007760 * s h o r t f o r m * 3 5 4
0010000 Q v a r i a b l e 3 4 0 Q
0010020 * v a r i a b l e s * 2 3 7 Q
0010040 * s h o r t f o r m * 1 5 5
0010060 Q v a r i a b l e 1 4 2 Q
0010100 * v a r i a b l e s * 1 0 3 Q
0010120 v a r i a b l e 6 5 Q * v
0010140 a r i a b l e s * 2 1 Q Y =
0010160 1 5 Q X = 1 2 Q P M 2
0010200 * m a t c h - t r a c e * ) \r
0010220 ( ) \r H . p r o v e A 0 0 0 1
0010240 D 1 \r ( L ( 0 p ) ) \0 \a \0
0010260 \0 \0 001 @ d 001 002 030 020 \0 N I L \r N I
0010300 L \r ( ) \r H . p r o v e D 1 \r
0010320 ( P 6 a n s w e r P 5
0010340 f P 4 z P 3 w P
0010360 2 A S S P 1 v a l P
0010400 0 s a v e I 1 l e v e l
0010420 I 0 s t a c k F 7 c
0010440 o u n t e r F 1 0 Q g l o
0010460 b a l s l a s h f l a g F 1
0010500 1 Q f o r m u l a s F 1 2
0010520 Q l i s p - c h a n n e l F
0010540 1 3 Q \ C A T C H . T A G .
0010560 f i r s t - l e v e l F 1 4
0010600 Q L I S P X U S E R F N F
0010620 1 5 Q H W I N D O W F 1 6
0010640 Q * l i s p - u s e * ) 002 \a
0010660 \a \b \0 002 021 ` 005 W 016 k 331 c 016 277 W 016
0010700 j 360 263 < W 016 005 003 265 1 @ 001 001 222 261 001
0010720 \r A k 331 b 002 277 @ d 002 222 261 \0 312 001 002
0010740 W 022 \n \0 \0 271 W 034 262 [ @ 001 002 W 022 \n
0010760 \0 \0 W 024 032 c 024 260 W \t \0 \0 262 316 g \0
0011000 \0 \t \0 \0 001 021 001 006 N o \0 \0 \0 \n \0 \0
0011020 233 g \0 \0 \t \0 \0 k 324 c 016 260 023 N o \0
0011040 \0 \0 \n \0 \0 232 W 026 g \0 \0 \n \0 \0 023 260
0011060 233 N \t \0 \0 W 030 222 W 032 200 i \n \0 \0 023
0011100 261 377 ~ I W 030 222 W 032 200 i \n \0 \0 277 \b
0011120 \0 \0 222 261 \0 375 W 026 g \0 \0 I \v \0 \0 277
0011140 @ 001 001 001 @ 001 002 \n \0 \0 g \0 \0 033 272 W
0011160 016 j 360 222 261 \0 334 W 016 005 003 265 003 202 261 \0
0011200 313 J 265 003 202 261 \0 315 @ 001 001 001 g \0 \0 360
0011220 264 003 202 261 \0 276 W 020 222 261 \0 267 @ 001 002 c
0011240 020 277 261 \0 256 002 b \0 264 271 g \0 \0 \t \0 \0
0011260 262 033 g \0 \0 A g \0 \0 @ 001 002 @ 001 001 001
0011300 \n \0 \0 h 032 032 032 \n \0 \0 277 @ 001 001 002 @
0011320 001 002 032 @ 002 032 b \0 261 376 363 @ 001 002 @ 001
0011340 001 001 \n \0 \0 \t \0 \0 ] 242 261 377 v g \0 \0
0011360 \t \0 \0 262 033 g \0 \0 A g \0 \0 @ 001 002 @
0011400 001 001 001 \n \0 \0 h 032 032 032 \n \0 \0 277 @ 001
0011420 002 @ 001 001 001 001 \n \0 \0 M g \0 \0 360 223 g
0011440 \0 \0 202 g \0 \0 033 @ 001 002 @ 001 001 001 002 \n
0011460 \0 \0 \n \0 \0 242 261 377 * @ 001 001 002 @ 001 002
0011500 032 @ 002 032 b \0 261 376 205 \t \0 \0 242 261 377 4
0011520 h 020 001 001 h h 032 \ @ 001 001 001 @ 001 002 \f
0011540 \0 \0 262 7 g \0 \0 \t \0 \0 262 034 g \0 \0 A
0011560 g \0 \0 @ 001 001 001 L J 001 \n \0 \0 h 032 032
0011600 032 032 \n \0 \0 277 J 001 002 \t \0 \0 L 032 @ 032
0011620 A k 324 \n \0 \0 [ 265 272 H g \0 \0 \n \0 \0
0011640 277 h 270 W 020 265 \a J 002 261 376 305 L 360 264 003
0011660 202 261 376 275 h c 020 261 376 267 \0 ( 7 5 3 Q
0011700 M a p N u l l 7 4 1 Q H .
0011720 p r o v e 7 2 7 Q H . s t r
0011740 i p 7 2 0 Q H . P r i n t I
0011760 n f o 7 1 0 Q H . e x p a n
0012000 d 1 6 6 5 Q \ S E E . A T
0012020 6 5 5 Q H . m a t c h 6 2 7
0012040 Q \ F Z E R O P 6 0 0 Q A
0012060 P P L Y 5 7 5 Q H . e x p a
0012100 n d 1 5 4 4 Q H . e x p a n
0012120 d 1 5 3 0 Q H . P r i n t I
0012140 n f o 5 2 1 Q H . e x p a n
0012160 d 1 4 7 6 Q \ S E E . A T
0012200 4 6 3 Q H . i s f u n c ? 4
0012220 6 0 Q H . e x p a n d 1 4 2
0012240 5 Q H . P r i n t I n f o 4
0012260 1 6 Q H . e x p a n d 1 3 7
0012300 3 Q \ S E E . A T 2 6 5 Q
0012320 H . i n d e x 2 5 2 Q \ T H
0012340 R O W . A U X 2 3 5 Q H . a
0012360 n o t h e r ? 2 3 1 Q S H O
0012400 W P R I N T 2 1 2 Q S H O W
0012420 P R I N T 2 0 0 Q E V A L
0012440 1 7 1 Q \ T H R O W . A U X
0012460 1 6 0 Q M E M B E R 1 4 2 Q
0012500 \ S E E . A T 1 3 3 Q M E
0012520 M B E R 1 1 7 Q T T Y I N
0012540 1 0 7 Q \ F Z E R O P 7 5 Q
0012560 H . e x p a n d 1 6 0 Q H
0012600 . e x p a n d 1 ) \r ( 7 5 0 Q
0012620 H . p r o v e A 0 0 0 1 6 7 6
0012640 Q - - > 6 7 2 Q T R 6 6
0012660 2 Q * l - t r a c e * 5 6 1
0012700 Q f u n c t 5 5 5 Q p r i
0012720 m - f u n c t 5 5 0 Q p r i
0012740 m i t i v e 5 0 7 Q f u n -
0012760 - - > 5 0 3 Q T R 4 7 3 Q
0013000 * l - t r a c e * 4 0 4 Q
0013020 < - - 4 0 0 Q T R 3 7 0 Q
0013040 * l - t r a c e * 3 3 2 Q
0013060 / 2 7 0 Q a x i o m 2 4 6
0013100 Q f i r s t - l e v e l 1 6
0013120 6 Q f i r s t - l e v e l 1
0013140 3 7 Q * l i m i t * 1 1 4 Q
0013160 c o n t i n u e ? ) \r ( 1 5
0013200 5 Q ( n n o s t o p ) 1
0013220 3 0 Q ( y y e s o k s
0013240 s i ) ) \r H . s h o w D 1 \r (
0013260 P 0 I I 0 a r g s )
0013300 \0 * 001 \0 003 001 @ 260 # d 001 021 001 \0 H g
0013320 \0 \0 \t \0 \0 \n \0 \0 264 \a H g \0 \0 033 i
0013340 \n \0 \0 277 i \t \0 \0 023 002 003 265 336 h 020 \0
0013360 ( 4 1 Q T E R P R I 3 4 Q
0013400 P R I N 1 2 1 Q M E M B E R
0013420 1 6 Q \ S E E . A T ) \r ( 2
0013440 7 Q a x i o m 1 3 Q * p r
0013460 e d i c a t e s * ) \r ( ) \r H .
0013500 s t r i p D 1 \r ( L ( 0 x
0013520 ) ) \0 \a \0 \0 \0 001 @ d 240 020 002 020 \0
0013540 N I L \r N I L \r ( ) \r H . t h e
0013560 D 1 \r ( I 1 c o n g I
0013600 0 f o r m u l a s ) \0 \r \0 \0
0013620 \0 002 A \t \0 \0 o \0 \0 \0 \t \0 \0 020 \0 (
0013640 1 2 Q C A T C H 3 M k V a
0013660 r s ) \r N I L \r ( 7 ( ( Q U
0013700 O T E f i r s t - l e v e l )
0013720 ( L E T ( ( g l o b a l s l
0013740 a s h f l a g N I L ) ( * i
0013760 n t - m o d e * ( Q U O T E
0014000 f i r s t ) ) ( * l i s p - u
0014020 s e * T ) ( I s C a r T )
0014040 ( c o u n t e r ( P L U S
0014060 1 * l i m i t * ) ) ( l i s
0014100 p - c h a n n e l N I L ) )
0014120 ( H . p r o v e ( B Q U O T E
0014140 ( ( ( \ , c o n g ) N I L
0014160 ) ) ) 1 ) l i s p - c h a n
0014200 n e l ) ) ) \r I s C a r ? D 1
0014220 \r ( I 0 a r g F 0 I s
0014240 C a r ) \0 \v \0 001 \0 001 \b \0 \0 P 222
0014260 @ 001 020 @ 020 \0 ( 2 F O O ) \r N I
0014300 L \r ( ) \r I s P r i m i t i v e
0014320 ? D 1 \r ( I 0 p r e d F
0014340 0 * p r i m i t i v e S A *
0014360 ) \0 \a \0 001 \0 001 @ P \n \0 \0 020 \0 (
0014400 4 M E M B E R ) \r N I L \r ( )
0014420 \r M a c r o A x i o m D 1 \r (
0014440 I 0 a s s e r t F 0 a
0014460 s s e r t - n u m b F 1 \
0014500 C A T C H . T A G . f i r s t -
0014520 l e v e l ) \0 N \0 002 \0 001 @ \t \0
0014540 \0 224 @ \t \0 \0 020 @ \t \0 \0 224 @ \t \0 \0
0014560 020 @ \t \0 \0 262 030 o \0 \0 \0 i \n \0 \0 277
0014600 P i \n \0 \0 Q g \0 \0 \n \0 \0 020 @ \t \0
0014620 \0 g \0 \0 360 224 @ \t \0 \0 020 @ \t \0 \0 g
0014640 \0 \0 360 262 277 @ \t \0 \0 020 \0 ( 1 1 3 Q
0014660 B u i l d O r 1 0 1 Q F i
0014700 r s t A n t e c 7 4 Q B u i
0014720 l d I f 6 3 Q F i r s t A n
0014740 t e c 5 6 Q \ T H R O W . A
0014760 U X 4 7 Q P R I N 1 4 1 Q
0015000 P R I N 1 2 7 Q N o t C o
0015020 r r e c t 2 2 Q B u i l d W
0015040 i t h 1 5 Q w i t h ? 1 0
0015060 Q N e w A x i o m 3 f a c
0015100 t ? ) \r ( 1 0 4 Q o r 6 6 Q
0015120 i f 5 3 Q f i r s t - l e
0015140 v e l ) \r ( 3 5 Q " I n c
0015160 o r r e c t d e f i n i t i o
0015200 n i n " ) \r M a p N u l l
0015220 D 1 \r ( I 1 f o o I 0
0015240 l s t ) \0 025 \0 \0 \0 002 @ 241 h 020 A
0015260 @ 001 h 032 \n \0 \0 @ 002 b \0 277 277 260 356 \0
0015300 ( 1 3 Q A P P L Y ) \r N I L \r
0015320 ( ) \r M k V a r s D 1 \r ( I
0015340 1 w i n I 0 a s s e r t
0015360 F 0 * v a r i a b l e s *
0015400 ) \0 b \0 001 \0 002 @ d 262 E 005 \a 263 @
0015420 @ d 262 027 l \b \n \0 \0 255 @ 001 A \n \0 \0
0015440 @ 002 A \n \0 \0 032 020 @ \t \0 \0 001 g \0 \0
0015460 360 262 035 @ A 265 , P \n \0 \0 263 023 @ g \0
0015500 \0 i \v \0 \0 277 A 265 \t @ P 032 c \0 @ 020
0015520 g \0 \0 @ A g \0 \0 \n \0 \0 032 \v \0 \0 260
0015540 357 g \0 \0 \n \0 \0 260 321 \0 ( 1 3 6 Q
0015560 G E T W I N D O W P R O P 1 2
0015600 6 Q P U T W I N D O W P R O P
0015620 1 2 2 Q G E T W I N D O W P
0015640 R O P 7 4 Q P U T P R O P
0015660 6 2 Q M E M B E R 4 3 Q U
0015700 N P A C K 3 5 Q M k V a r s
0015720 2 7 Q M k V a r s 2 0 Q
0015740 \ T Y P E M A S K . U F N ) \r (
0015760 1 3 3 Q * v a r i a b l e s *
0016000 1 1 7 Q * v a r i a b l e s
0016020 * 1 1 2 Q * v a r i a b l e
0016040 s * 7 0 Q v a r i a b l e
0016060 4 7 Q : ) \r ( ) \r N e w A x i
0016100 o m D 1 \r ( P 1 p r e d i
0016120 c a t e - n a m e I 0 a s
0016140 s e r t F 2 * p r e d i c
0016160 a t e s * F 3 a s s e r t
0016200 - n u m b F 4 \ C A T C H
0016220 . T A G . f i r s t - l e v e l
0016240 F 5 H . F R O M . W I N D
0016260 O W F 6 H W I N D O W )
0016300 \0 { 002 005 \0 001 @ 262 @ l \b \n \0 \0 263
0016320 030 @ 001 021 001 \0 H h 360 265 \v H l \b \n \0
0016340 \0 264 003 i 022 262 035 o \0 \0 \0 i \n \0 \0 277
0016360 S i \n \0 \0 277 i \t \0 \0 T g \0 \0 \n \0
0016400 \0 020 @ \t \0 \0 021 001 001 I g \0 \0 \t \0 \0
0016420 \n \0 \0 263 032 U 237 V g \0 \0 I g \0 \0 \t
0016440 \0 \0 032 \v \0 \0 204 I R 032 c 004 277 I g \0
0016460 \0 I g \0 \0 033 @ h 032 \n \0 \0 \v \0 \0 020
0016500 \0 ( 1 7 0 Q P U T P R O P 1
0016520 6 5 Q \ A P P E N D 2 1 3 7
0016540 Q P U T W I N D O W P R O P
0016560 1 3 3 Q \ S E E . A T 1 1 4
0016600 Q M E M B E R 1 1 1 Q \ S
0016620 E E . A T 7 7 Q P r e d i c
0016640 a t e O f 7 2 Q \ T H R O W
0016660 . A U X 6 3 Q T E R P R I
0016700 5 6 Q P R I N 1 5 0 Q P R
0016720 I N 1 3 2 Q \ T Y P E M A S
0016740 K . U F N 1 0 Q \ T Y P E M
0016760 A S K . U F N ) \r ( 1 5 6 Q a
0017000 x i o m 1 5 2 Q a x i o m
0017020 1 3 0 Q * p r e d i c a t e s
0017040 * 1 2 4 Q * p r e d i c a t
0017060 e s * 1 0 6 Q * p r e d i c
0017100 a t e s * 6 7 Q f i r s t -
0017120 l e v e l ) \r ( 4 4 Q " E r
0017140 r o r i n a t o m i c f o
0017160 r m u l a " ) \r N o t C o r r
0017200 e c t D 1 \r ( L ( 0 a s )
0017220 ) \0 \v \0 \0 \0 001 @ 002 001 g \0 \0 360 h
0017240 360 020 \0 N I L \r ( 5 < ) \r ( ) \r
0017260 P r e d i c a t e O f D 1 \r (
0017300 I 0 a s s e r t ) \0 035 001 \0
0017320 \0 001 @ 001 021 001 \0 H h 360 265 \v H l \b \n
0017340 \0 \0 264 003 i 022 222 @ 001 020 @ 001 001 020 \0 (
0017360 1 7 Q \ T Y P E M A S K . U F
0017400 N ) \r N I L \r ( ) \r R m A x i o
0017420 m D 1 \r ( I 0 a s s e r t
0017440 F 0 * p r e d i c a t e s
0017460 * ) \0 033 \0 001 \0 001 @ 003 264 027 @ \t \0
0017500 \0 P \n \0 \0 c \0 277 @ \t \0 \0 g \0 \0 \n
0017520 \0 \0 020 \0 ( 3 0 Q P U T P R O P
0017540 2 2 Q P r e d i c a t e O f
0017560 1 3 Q D R E M O V E 7 P
0017600 r e d i c a t e O f ) \r ( 2 5 Q
0017620 a x i o m ) \r ( ) \r S E T . H
0017640 . M O D E D 1 \r ( I 1 N U
0017660 M I 0 M O D E F 0 *
0017700 i n t - m o d e * F 1 i n
0017720 t e r a c t i v e F 2 * l
0017740 i m i t * F 3 * l - t r a
0017760 c e * ) \0 ; \0 004 \0 002 @ 264 037 A 3
0020000 020 265 027 @ o \0 \0 \0 \n \0 \0 262 " @ d Q
0020020 360 262 031 277 i c \0 020 c 004 020 Q 360 223 g \0
0020040 \0 200 P S R h 032 032 032 020 c \0 020 o \0 \0
0020060 \0 \t \0 \0 020 \0 ( 7 0 Q E R R O R
0020100 1 7 Q M E M B E R ) \r ( 4 5
0020120 Q i n t e r a c t i v e ) \r (
0020140 6 5 Q " U n k n o w n m o
0020160 d e i n S E T . H . M O D E
0020200 " 1 4 Q ( a l l i n t e r
0020220 a c t i v e f i r s t ) ) \r W
0020240 r i t e D 1 \r ( P 0 i I
0020260 0 A R G S ) \0 035 001 \0 003 001 @
0020300 260 026 d 001 021 001 \0 H \t \0 \0 i \n \0 \0 277
0020320 i \t \0 \0 023 002 003 265 353 h 020 \0 ( 2 4 Q
0020340 T E R P R I 1 7 Q P R I N
0020360 1 1 3 Q E V A L ) \r N I L \r
0020400 ( ) \r f a c t ? D 1 \r ( L (
0020420 0 f a c t ) ) \0 006 \0 \0 \0 001 @
0020440 002 h 360 020 \0 N I L \r N I L \r ( ) \r
0020460 w i t h ? D 1 \r ( L ( 0 a
0020500 s s e r t ) ) \0 \b \0 \0 \0 001 @ 001
0020520 g \0 \0 360 020 \0 N I L \r ( 4 w i t
0020540 h ) \r ( ) \r ( P R E T T Y C O M
0020560 P R I N T H S O U R C E C O M
0020600 S ) \r ( R P A Q Q H S O U R C
0020620 E C O M S ( ( V A R S * f u
0020640 n c t i o n s * * i n t - m o
0020660 d e * * l - t r a c e * * l
0020700 i m i t * * m a t c h - t r a
0020720 c e * * p r e d i c a t e s *
0020740 \r * p r i m i t i v e S A *
0020760 * s h o r t f o r m * * v a r
0021000 i a b l e s * H . F R O M . W
0021020 I N D O W ) ( F N S B u i l
0021040 d A s s e r t F i r s t A n t
0021060 e c H . ? H . ? ! H . ? v
0021100 \r H . R m A x i o m H . a b
0021120 s e n t H . a d d a x i o m
0021140 H . a l l H . a n o t h e r ?
0021160 H . a n y H . a t t a c h
0021200 H . a x i o m s H . c o n t i
0021220 n u e ? H . d e l H . e x p
0021240 a n d 1 \r H . i n d e x H .
0021260 i s f u n c ? H . m a t c h
0021300 H . p r o v e H . s h o w H
0021320 . s t r i p H . t h e I s C
0021340 a r ? I s P r i m i t i v e ?
0021360 M a c r o A x i o m M a p N
0021400 u l l M k V a r s \r N e w A
0021420 x i o m N o t C o r r e c t
0021440 P r e d i c a t e O f R m A x
0021460 i o m S E T . H . M O D E W
0021500 r i t e f a c t ? w i t h ?
0021520 ) ( M A C R O S H . s t r i
0021540 p ) ( P R O P a x i o m /
0021560 ) \r ( P R O P p r i m - f u
0021600 n c t a s s e r t d e l e t
0021620 e s e t ) ( D E C L A R E :
0021640 D O N T E V A L @ L O A D D
0021660 O E V A L @ C O M P I L E D O
0021700 N T C O P Y C O M P I L E R V
0021720 A R S ( \r A D D V A R S ( N
0021740 L A M A W r i t e H . s h o
0021760 w H . a t t a c h H . ? )
0022000 ( N L A M L ) ( L A M A ) ) )
0022020 ) ) \r ( R P A Q Q * f u n c t
0022040 i o n s * N I L ) \r ( R P A Q
0022060 Q * i n t - m o d e * f i r
0022100 s t ) \r ( R P A Q Q * l - t r
0022120 a c e * N I L ) \r ( R P A Q Q
0022140 * l i m i t * 2 0 0 ) \r ( R
0022160 P A Q Q * m a t c h - t r a c
0022200 e * N I L ) \r ( R P A Q Q *
0022220 p r e d i c a t e s * N I L )
0022240 \r ( R P A Q Q * p r i m i t i
0022260 v e S A * ( s e t a s s e r
0022300 t d e l e t e ) ) \r ( R P A Q
0022320 Q * s h o r t f o r m * T )
0022340 \r ( R P A Q Q * v a r i a b l
0022360 e s * N I L ) \r ( R P A Q Q
0022400 H . F R O M . W I N D O W N I
0022420 L ) \r ( P U T P R O P S H . s
0022440 t r i p M A C R O N I L ) \r
0022460 ( P U T P R O P S / a x i o
0022500 m ( ( / ) ) ) \r ( P U T P R O
0022520 P S a s s e r t p r i m - f
0022540 u n c t ( L A M B D A ( A R
0022560 G S ) ( i f H . F R O M . W
0022600 I N D O W t h e n ( i f (
0022620 N O T ( M E M B E R ( C A R
0022640 A R G S ) ( \r G E T W I N D
0022660 O W P R O P H W I N D O W (
0022700 Q U O T E * p r e d i c a t e
0022720 s * ) ) ) ) t h e n ( P U T
0022740 W I N D O W P R O P H W I N D
0022760 O W ( Q U O T E * p r e d i
0023000 c a t e s * ) ( C O N S ( \r
0023020 C A R A R G S ) ( G E T W I
0023040 N D O W P R O P H W I N D O W
0023060 ( Q U O T E * p r e d i c a
0023100 t e s * ) ) ) ) ) e l s e (
0023120 S E T Q * p r e d i c a t e s
0023140 * ( C O N S ( C A A R A R
0023160 G S ) \r * p r e d i c a t e s
0023200 * ) ) ) ( C A R ( P U T P R
0023220 O P ( C A R A R G S ) ( Q
0023240 U O T E a x i o m ) ( C O N
0023260 S ( L I S T A R G S ) ( G
0023300 E T P R O P ( C A R A R G S
0023320 ) ( Q U O T E \r a x i o m )
0023340 ) ) ) ) T ) ) \r ( P U T P R O
0023360 P S d e l e t e p r i m - f
0023400 u n c t ( L A M B D A ( a x
0023420 i o m ) ( P U T P R O P ( C
0023440 A R a x i o m ) ( Q U O T E
0023460 a x i o m ) ( H . d e l e t
0023500 e a x i o m ( \r G E T P R O
0023520 P ( C A R a x i o m ) ( Q
0023540 U O T E a x i o m ) ) ) ) ) )
0023560 \r ( P U T P R O P S s e t p
0023600 r i m - f u n c t ( L A M B D
0023620 A ( x 1 y 1 ) ( L E T (
0023640 ( l i s p v a l u e ( E V A L
0023660 y 1 ) ) ) ( C O N D ( ( O
0023700 R ( N O T ( A T O M x 1 )
0023720 ) ( \r N U M B E R P x 1 ) )
0023740 ( W r i t e " E R R O R I
0023760 N S E T " ) N I L ) ( ( G
0024000 E T P R O P x 1 ( Q U O T E
0024020 v a r i a b l e ) ) ( S E T
0024040 Q s a v e ( C O N S ( C D
0024060 A R s t a c k ) \r s a v e )
0024100 ) ( R P L A C A ( C D A R
0024120 s t a c k ) ( C O N S ( C O
0024140 N S x 1 ( C O N S l i s p
0024160 v a l u e ( Q U O T E ( N I
0024200 L ) ) ) ) ( C A D A R s t a
0024220 c k ) ) ) T ) ( T N I L )
0024240 ) \r ) ) ) \r N I L \r
0024252