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