$ od -c -N 50000 [eris]<Lisp>KOTO>Library>DOC>DECL.tedit!1
0000000 1 \r \r L I S P L I B R A R Y
0000020 P A C K A G E S M A N U A L \r
0000040 1 \r \r L I S P L I B R A R Y
0000060 P A C K A G E S M A N U A L \r
0000100 D E C L \r 1 \r \r E X T E N S I O
0000120 N S T O L I S P \r 1 \r \r D E
0000140 C L \r 6 \r \r 2 \r \r I n t r o d u
0000160 c t i o n \r 1 \r \r T h e D e c
0000200 l L i b r a r y p a c k a g
0000220 e i s c o n t a i n e d o
0000240 n t h e f i l e D E C L .
0000260 D C O M . T h e D e c l
0000300 p a c k a g e r e q u i r e s
0000320 t h e L a m b d a T r a n
0000340 p a c k a g e . L A M B D A
0000360 T R A N . D C O M w i l l a
0000400 u t o m a t i c a l l y b e
0000420 l o a d e d w i t h D e c l
0000440 i f i t i s n o t a l
0000460 r e a d y p r e s e n t . \r T
0000500 h e D e c l p a c k a g e
0000520 e x t e n d s I n t e r l i s
0000540 p t o a l l o w t h e u
0000560 s e r t o d e c l a r e t
0000600 h e t y p e s o f v a r i
0000620 a b l e s a n d e x p r e s
0000640 s i o n s a p p e a r i n g
0000660 i n f u n c t i o n s . I
0000700 t p r o v i d e s a c o n
0000720 v e n i e n t w a y o f c
0000740 o n s t r a i n i n g t h e
0000760 b e h a v i o r o f p r o g
0001000 r a m s w h e n t h e g e
0001020 n e r a l i t y a n d f l e
0001040 x i b i l i t y o f o r d i
0001060 n a r y I n t e r l i s p i
0001100 s e i t h e r u n n e c e s
0001120 s a r y , c o n f u s i n g ,
0001140 o r i n e f f i c i e n t .
0001160 \r D e c l p r o v i d e s
0001200 a s i m p l e l a n g u a g
0001220 e f o r d e c l a r a t i o
0001240 n s , a n d a u g m e n t s
0001260 t h e i n t e r p r e t e r
0001300 a n d t h e c o m p i l e
0001320 r t o g u a r a n t e e t
0001340 h a t t h e s e d e c l a r
0001360 a t i o n s a r e a l w a y
0001400 s s a t i s f i e d . T h
0001420 e d e c l a r a t i o n s m
0001440 a k e p r o g r a m s m o r
0001460 e r e a d a b l e b y i n
0001500 d i c a t i n g t h e t y p
0001520 e , a n d t h e r e f o r e
0001540 s o m e t h i n g a b o u t
0001560 t h e i n t e n d e d u s
0001600 a g e , o f v a r i a b l e
0001620 s a n d e x p r e s s i o n
0001640 s i n t h e c o d e .
0001660 T h e y f a c i l i t a t e
0001700 d e b u g g i n g b y l o c
0001720 a l i z i n g e r r o r s t
0001740 h a t m a n i f e s t t h e
0001760 m s e l v e s a s t y p e
0002000 i n c o m p a t i b i l i t i e
0002020 s . F i n a l l y , t h e
0002040 d e c l a r a t i o n i n f
0002060 o r m a t i o n i s a v a i
0002100 l a b l e f o r o t h e r
0002120 p u r p o s e s : c o m p i
0002140 l e r m a c r o s c a n c
0002160 o n s u l t t h e d e c l a
0002200 r a t i o n s t o p r o d u
0002220 c e m o r e e f f i c i e n
0002240 t c o d e ; c o e r c i o n
0002260 s f o r a r g u m e n t s
0002300 a t u s e r i n t e r f a c
0002320 e s c a n b e a u t o m a
0002340 t i c a l l y g e n e r a t e
0002360 d ; a n d t h e d e c l a
0002400 r a t i o n s w i l l b e
0002420 n o t i c e d b y t h e M
0002440 a s t e r s c o p e f u n c t
0002460 i o n a n a l y z e r . \r T h
0002500 e d e c l a r a t i o n s i
0002520 n t e r p r e t e d b y t h
0002540 e D e c l p a c k a g e a
0002560 r e i n t e r m s o f a
0002600 s e t o f d e c l a r a t
0002620 i o n t y p e s c a l l e d
0002640 d e c l t y p e s , e a c h
0002660 o f w h i c h s p e c i f
0002700 i e s a s e t o f a c c
0002720 e p t a b l e v a l u e s a
0002740 n d a l s o ( o p t i o n a
0002760 l l y ) o t h e r t y p e -
0003000 s p e c i f i c b e h a v i o
0003020 r . T h e D e c l p a c
0003040 k a g e p r o v i d e s a
0003060 s e t o f f a c i l i t i e
0003100 s f o r d e f i n i n g d
0003120 e c l t y p e s a n d t h e
0003140 i r r e l a t i o n s t o
0003160 e a c h o t h e r , i n c l
0003200 u d i n g t y p e - v a l u e
0003220 d e x p r e s s i o n s a n
0003240 d a c o m p r e h e n s i v
0003260 e t r e a t m e n t o f u
0003300 n i o n t y p e s . \r T h e
0003320 f o l l o w i n g d e s c r i
0003340 p t i o n o f t h e D e c
0003360 l p a c k a g e i s d i v
0003400 i d e d i n t o t h r e e
0003420 p a r t s . F i r s t , t
0003440 h e s y n t a c t i c e x t
0003460 e n s i o n s t h a t p e r
0003500 m i t t h e c o n c i s e
0003520 a t t a c h m e n t o f d e
0003540 c l a r a t i o n s t o p r
0003560 o g r a m e l e m e n t s a
0003600 r e d i s c u s s e d . S
0003620 e c o n d , t h e m e c h a
0003640 n i s m s b y w h i c h n
0003660 e w d e c l t y p e s c a n
0003700 b e d e f i n e d a n d
0003720 m a n i p u l a t e d a r e
0003740 c o v e r e d . F i n a l l
0003760 y , s o m e a d d i t i o n
0004000 a l c a p a b i l i t i e s
0004020 b a s e d o n t h e a v a
0004040 i l a b i l i t y o f d e c
0004060 l a r a t i o n s a r e o u
0004100 t l i n e d . \r 2 \r \r U s i n g
0004120 D e c l a r a t i o n s i n
0004140 P r o g r a m s \r 1 \r \r D e c
0004160 l a r a t i o n s m a y b e
0004200 a t t a c h e d t o t h e
0004220 v a l u e s o f a r b i t
0004240 r a r y e x p r e s s i o n s
0004260 a n d t o L A M B D A a
0004300 n d P R O G v a r i a b l e
0004320 s t h r o u g h o u t ( o r
0004340 f o r p a r t o f ) t h
0004360 e i r l e x i c a l s c o p
0004400 e . T h e d e c l a r a t
0004420 i o n s a r e a t t a c h e
0004440 d u s i n g c o n s t r u c
0004460 t s t h a t r e s e m b l e
0004500 t h e o r d i n a r y I n
0004520 t e r l i s p L A M B D A ,
0004540 P R O G , a n d P R O G N ,
0004560 b u t w h i c h a l s o
0004600 p e r m i t t h e e x p r e
0004620 s s i o n o f d e c l a r a
0004640 t i o n s . T h e f o l l
0004660 o w i n g e x a m p l e s i
0004700 l l u s t r a t e t h e u s
0004720 e o f d e c l a r a t i o n
0004740 s i n p r o g r a m s . \r C
0004760 o n s i d e r t h e f o l l
0005000 o w i n g d e f i n i t i o n
0005020 f o r t h e f a c t o r i
0005040 a l f u n c t i o n ( F A
0005060 C T N ) : \r [ L A M B D A
0005100 ( N ) \r ( C O N D \r
0005120 ( ( E Q N 0 ) 1 ) \r
0005140 ( T ( I T I M E
0005160 S N ( F A C T ( S U B 1
0005200 N ] \r O b v i o u s l y , t h
0005220 i s f u n c t i o n p r e s
0005240 u p p o s e s t h a t N
0005260 i s a n u m b e r , a n d
0005300 t h e r u n - t i m e c h
0005320 e c k s i n I T I M E S a
0005340 n d S U B 1 w i l l c a u
0005360 s e a n e r r o r i f t
0005400 h i s i s n o t s o .
0005420 F o r i n s t a n c e , ( F
0005440 A C T T ) w i l l c a u s
0005460 e a n e r r o r a n d p
0005500 r i n t t h e m e s s a g e
0005520 N O N - N U M E R I C A R G
0005540 T . B y d e f i n i n g
0005560 F A C T a s a D L A M B
0005600 D A , t h e D e c l p a c
0005620 k a g e a n a l o g o f L
0005640 A M B D A , t h i s p r e s
0005660 u p p o s i t i o n c a n b
0005700 e s t a t e d d i r e c t l
0005720 y i n t h e c o d e : \r [
0005740 D L A M B D A ( ( N N U M B
0005760 E R P ) ) \r ( C O N D \r
0006000 ( ( E Q N 0 ) 1
0006020 ) \r ( T ( I T I
0006040 M E S N ( F A C T ( S U B
0006060 1 N ] \r W i t h t h i s d
0006100 e f i n i t i o n , ( F A C T
0006120 T ) w i l l r e s u l t
0006140 i n a N O N - N U M E R I C
0006160 A R G T e r r o r w h e
0006200 n t h e b o d y o f t h
0006220 e c o d e i s e x e c u t
0006240 e d . I n s t e a d , t h
0006260 e N U M B E R P d e c l a r
0006300 a t i o n w i l l b e c h
0006320 e c k e d w h e n t h e f
0006340 u n c t i o n i s f i r s t
0006360 e n t e r e d , a n d a
0006400 d e c l a r a t i o n f a u
0006420 l t w i l l o c c u r .
0006440 T h u s , t h e m e s s a g
0006460 e t h a t t h e u s e r
0006500 w i l l s e e w i l l n o
0006520 t d w e l l o n t h e o
0006540 f f e n d i n g v a l u e T
0006560 , b u t i n s t e a d g i
0006600 v e a s y m b o l i c i n
0006620 d i c a t i o n o f w h a t
0006640 v a r i a b l e a n d d e
0006660 c l a r a t i o n w e r e v
0006700 i o l a t e d , a s f o l l
0006720 o w s : \r D E C L A R A T I
0006740 O N N O T S A T I S F I E D
0006760 \r ( ( N N U M B E R P ) B R
0007000 O K E N ) : \r T h e u s e r
0007020 i s l e f t i n a b r e
0007040 a k f r o m w h i c h t h
0007060 e v a l u e s o f v a r i
0007100 a b l e s , e . g . , N ,
0007120 c a n b e e x a m i n e d
0007140 t o d e t e r m i n e w h a
0007160 t t h e p r o b l e m i s
0007200 . \r T h e f u n c t i o n F
0007220 A C T a l s o m a k e s o
0007240 t h e r p r e s u p p o s i t
0007260 i o n s c o n c e r n i n g
0007300 i t s a r g u m e n t , N .
0007320 F o r e x a m p l e , F
0007340 A C T w i l l g o i n t o
0007360 a n i n f i n i t e r e c
0007400 u r s i v e l o o p i f N
0007420 i s a n u m b e r l e s
0007440 s t h a n z e r o . A l
0007460 t h o u g h t h e u s e r
0007500 c o u l d p r o g r a m a n
0007520 e x p l i c i t c h e c k
0007540 f o r t h i s u n e x p e c
0007560 t e d s i t u a t i o n , s
0007600 u c h c o d i n g i s t e
0007620 d i o u s a n d t e n d s
0007640 t o o b s c u r e t h e u
0007660 n d e r l y i n g a l g o r i
0007700 t h m . I n s t e a d , t
0007720 h e r e q u i r e m e n t t
0007740 h a t N n o t b e n e g
0007760 a t i v e c a n b e s u c
0010000 c i n c t l y s t a t e d b
0010020 y d e c l a r i n g i t t
0010040 o b e a s u b t y p e o
0010060 f N U M B E R P t h a t i
0010100 s r e s t r i c t e d t o
0010120 n o n - n e g a t i v e n u m
0010140 b e r s . T h i s c a n
0010160 b e d o n e b y a d d i n
0010200 g a S A T I S F I E S c l
0010220 a u s e t o N ' s t y p e
0010240 s p e c i f i c a t i o n : \r
0010260 [ D L A M B D A ( [ N N U M
0010300 B E R P ( S A T I S F I E S
0010320 ( N O T ( M I N U S P N ] )
0010340 \r ( C O N D \r
0010360 ( ( E Q N 0 ) 1 ) \r
0010400 ( T ( I T I M E S N
0010420 ( F A C T ( S U B 1 N ] \r
0010440 T h e p r e d i c a t e i n
0010460 t h e S A T I S F I E S c
0010500 l a u s e w i l l b e e v
0010520 a l u a t e d a f t e r N
0010540 i s b o u n d a n d f o u
0010560 n d t o s a t i s f y N U
0010600 M B E R P , b u t b e f o r
0010620 e t h e f u n c t i o n b
0010640 o d y i s e x e c u t e d .
0010660 I n t h e e v e n t o
0010700 f a d e c l a r a t i o n
0010720 f a u l t , t h e S A T I S
0010740 F I E S c o n d i t i o n w
0010760 i l l b e i n c l u d e d
0011000 i n t h e e r r o r m e s
0011020 s a g e . F o r e x a m p
0011040 l e , ( F A C T - 1 ) w o
0011060 u l d r e s u l t i n : \r D
0011100 E C L A R A T I O N N O T S
0011120 A T I S F I E D \r ( ( N N U M
0011140 B E R P ( S A T I S F I E S
0011160 ( N O T ( M I N U S P N ) )
0011200 ) B R O K E N ) : \r T h e D
0011220 L A M B D A c o n s t r u c t
0011240 a l s o p e r m i t s t h
0011260 e t y p e o f t h e v a
0011300 l u e t h a t i s r e t u
0011320 r n e d b y t h e f u n c
0011340 t i o n t o b e d e c l a
0011360 r e d b y m e a n s o f
0011400 t h e p s e u d o - v a r i a
0011420 b l e R E T U R N S . F o
0011440 r e x a m p l e , t h e f
0011460 o l l o w i n g d e f i n i t
0011500 i o n s p e c i f i e s t h
0011520 a t F A C T i s t o r e
0011540 t u r n a p o s i t i v e
0011560 i n t e g e r : \r [ D L A M B D
0011600 A ( [ N N U M B E R P ( S
0011620 A T I S F I E S ( N O T ( M
0011640 I N U S P N ] \r [ R E T
0011660 U R N S F I X P ( S A T I S
0011700 F I E S ( I G R E A T E R P
0011720 V A L U E 0 ] ) \r ( C O N
0011740 D \r ( ( E Q N 0
0011760 ) 1 ) \r ( T (
0012000 I T I M E S N ( F A C T (
0012020 S U B 1 N ] \r A f t e r t h
0012040 e f u n c t i o n b o d y
0012060 i s e v a l u a t e d , i t
0012100 s v a l u e i s b o u n d
0012120 t o t h e v a r i a b l e
0012140 V A L U E a n d t h e R
0012160 E T U R N S d e c l a r a t i
0012200 o n i s c h e c k e d .
0012220 A d e c l a r a t i o n f a
0012240 u l t w i l l o c c u r i
0012260 f t h e v a l u e i s n
0012300 o t s a t i s f a c t o r y .
0012320 T h i s p r e v e n t s
0012340 a b a d v a l u e f r o m
0012360 p r o p a g a t i n g t o
0012400 t h e c a l l e r o f F A
0012420 C T , p e r h a p s c a u s
0012440 i n g a n e r r o r f a r
0012460 a w a y f r o m t h e s
0012500 o u r c e o f t h e d i f
0012520 f i c u l t y . \r D e c l a r i
0012540 n g a v a r i a b l e c a
0012560 u s e s i t s v a l u e t
0012600 o b e c h e c k e d n o t
0012620 o n l y w h e n i t i s
0012640 f i r s t b o u n d , b u
0012660 t a l s o w h e n e v e r
0012700 t h a t v a r i a b l e i s
0012720 r e s e t b y S E T Q w
0012740 i t h i n t h e D L A M B D
0012760 A . I n o t h e r w o r
0013000 d s , t h e t y p e - c h e
0013020 c k i n g m a c h i n e r y
0013040 w i l l n o t a l l o w a
0013060 d e c l a r e d v a r i a b
0013100 l e t o t a k e o n a n
0013120 i m p r o p e r v a l u e .
0013140 A n i t e r a t i v e v
0013160 e r s i o n o f t h e f a
0013200 c t o r i a l f u n c t i o n
0013220 i l l u s t r a t e s t h i
0013240 s f e a t u r e i n t h e
0013260 c o n t e x t o f a D P
0013300 R O G , t h e a n a l o g
0013320 o f P R O G : \r ( D L A M B
0013340 D A ( [ N N U M B E R P (
0013360 S A T I S F I E S ( N O T (
0013400 M I N U S P N ] \r [ R E
0013420 T U R N S F I X P ( S A T I
0013440 S F I E S ( I G R E A T E R P
0013460 V A L U E 0 ] ) \r [ D P R O
0013500 G ( [ T E M P 1 F I X P
0013520 ( S A T I S F I E S ( I G R E
0013540 A T E R P T E M P 0 ] \r
0013560 [ R E T U R N S F I X P (
0013600 S A T I S F I E S ( I G R E A
0013620 T E R P V A L U E 0 ] ) \r
0013640 L P ( C O N D (
0013660 ( E Q N 0 ) ( R E T U R N
0013700 T E M P ) ) ) \r
0013720 ( S E T Q T E M P ( I
0013740 T I M E S N T E M P ) ) \r
0013760 ( S E T Q N
0014000 ( S U B 1 N ) ) \r
0014020 ( G O L P ] \r D P R
0014040 O G d e c l a r a t i o n s
0014060 a r e m u c h l i k e D L
0014100 A M B D A d e c l a r a t i o
0014120 n s , e x c e p t t h a t
0014140 t h e y a l s o a l l o w
0014160 a n i n i t i a l v a l u e
0014200 f o r t h e v a r i a b l
0014220 e t o b e s p e c i f i e
0014240 d . I n t h e a b o v e
0014260 e x a m p l e , T E M P i
0014300 s d e c l a r e d t o b e
0014320 a p o s i t i v e i n t e
0014340 g e r t h r o u g h o u t t
0014360 h e c o m p u t a t i o n a
0014400 n d N i s d e c l a r e d
0014420 t o b e n o n - n e g a t
0014440 i v e . T h u s , a b u
0014460 g w h i c h c a u s e d a
0014500 n i n c o r r e c t v a l u
0014520 e t o b e a s s i g n e d
0014540 b y o n e o f t h e S
0014560 E T Q e x p r e s s i o n s
0014600 w o u l d c a u s e a d e
0014620 c l a r a t i o n f a i l u r
0014640 e . N o t e t h a t t h
0014660 e R E T U R N S d e c l a r
0014700 a t i o n f o r a D P R O
0014720 G i s a l s o u s e f u l
0014740 i n d e t e c t i n g t h
0014760 e c o m m o n b u g o f
0015000 o m i t t i n g a n e x p l
0015020 i c i t R E T U R N . \r 2 \r \r
0015040 D L A M B D A s \r 1 \r \r T h e
0015060 D e c l p a c k a g e v e
0015100 r s i o n o f a L A M B D
0015120 A e x p r e s s i o n i s
0015140 a n e x p r e s s i o n b e
0015160 g i n n i n g w i t h t h e
0015200 a t o m D L A M B D A .
0015220 S u c h a n e x p r e s s i
0015240 o n i s a f u n c t i o n
0015260 o b j e c t t h a t m a y
0015300 b e u s e d i n a n y
0015320 c o n t e x t w h e r e a
0015340 L A M B D A e x p r e s s i o
0015360 n m a y b e u s e d .
0015400 I t r e s e m b l e s a L
0015420 A M B D A e x p r e s s i o n
0015440 e x c e p t t h a t i t
0015460 p e r m i t s d e c l a r a t
0015500 i o n e x p r e s s i o n s
0015520 i n i t s a r g u m e n t
0015540 l i s t , a s i l l u s t r
0015560 a t e d i n t h e e x a m
0015600 p l e s g i v e n e a r l i
0015620 e r . E a c h e l e m e n
0015640 t o f t h e a r g u m e n
0015660 t l i s t o f a D L A M
0015700 B D A m a y b e a l i t
0015720 e r a l a t o m ( a s i n
0015740 a c o n v e n t i o n a l
0015760 L A M B D A ) o r a l i s
0016000 t o f t h e f o r m ( N
0016020 A M E T Y P E . E X T R A
0016040 S ) . S t r i c t l y , t
0016060 h i s w o u l d r e q u i r
0016100 e a d e c l a r a t i
0016120 o n w i t h a S A T I S F
0016140 I E S c l a u s e t o t a
0016160 k e t h e f o r m ( N
0016200 ( N U M B E R P ( S A T I S F
0016220 I E S - - ) ) - - ) .
0016240 H o w e v e r , d u e t o
0016260 t h e f r e q u e n c y w i
0016300 t h w h i c h t h i s c o
0016320 n s t r u c t i o n i s u s
0016340 e d , i t m a y b e w r
0016360 i t t e n w i t h o u t t h
0016400 e i n n e r s e t o f p
0016420 a r e n t h e s e s , e . g .
0016440 , ( N N U M B E R P ( S A
0016460 T I S F I E S - - ) - - ) .
0016500 \r N A M E f u l f i l l s t
0016520 h e s t a n d a r d f u n c
0016540 t i o n o f a p a r a m e
0016560 t e r , i . e . , p r o v i
0016600 d i n g a n a m e t o w
0016620 h i c h t h e v a l u e o
0016640 f t h e c o r r e s p o n d
0016660 i n g a r g u m e n t w i l
0016700 l b e b o u n d . \r T Y P E
0016720 i s e i t h e r a D e c
0016740 l p a c k a g e t y p e n
0016760 a m e o r t y p e e x p r
0017000 e s s i o n . W h e n t h
0017020 e D L A M B D A i s e n t
0017040 e r e d , i t s a r g u m e
0017060 n t s w i l l b e e v a l
0017100 u a t e d a n d b o u n d
0017120 t o t h e c o r r e s p o n
0017140 d i n g a r g u m e n t n a
0017160 m e s , a n d t h e n , a
0017200 f t e r a l l t h e a r g
0017220 u m e n t n a m e s h a v e
0017240 b e e n b o u n d , t h e
0017260 d e c l a r a t i o n s w i
0017300 l l b e c h e c k e d .
0017320 T h e t y p e c h e c k i n
0017340 g i s d e l a y e d s o
0017360 t h a t S A T I S F I E S p
0017400 r e d i c a t e s c a n i n
0017420 c l u d e r e f e r e n c e s
0017440 t o o t h e r v a r i a b
0017460 l e s b o u n d b y t h e
0017500 s a m e D L A M B D A .
0017520 F o r e x a m p l e , o n e
0017540 m i g h t w i s h t o d
0017560 e f i n e a f u n c t i o n
0017600 w h o s e t w o a r g u m
0017620 e n t s a r e n o t o n l
0017640 y b o t h r e q u i r e d
0017660 t o b e o f s o m e g i
0017700 v e n t y p e , b u t a r
0017720 e a l s o r e q u i r e d
0017740 t o s a t i s f y s o m e
0017760 r e l a t i o n s h i p ( e .
0020000 g . , t h a t o n e i s
0020020 l e s s t h a n t h e o t
0020040 h e r ) . \r E X T R A S a l l
0020060 o w s s o m e a d d i t i o
0020100 n a l p r o p e r t i e s t
0020120 o b e a t t a c h e d t o
0020140 a v a r i a b l e . O n
0020160 e s u c h p r o p e r t y
0020200 i s t h e a c c e s s i b i
0020220 l i t y o f N A M E o u t
0020240 s i d e t h e c u r r e n t
0020260 l e x i c a l s c o p e .
0020300 A c c e s s i b i l i t y s
0020320 p e c i f i c a t i o n s i n
0020340 c l u d e t h e a t o m s
0020360 L O C A L o r S P E C I A L
0020400 , w h i c h i n d i c a t e
0020420 t h a t t h i s v a r i a
0020440 b l e i s t o b e c o m
0020460 p i l e d s o t h a t i t
0020500 i s e i t h e r a L O C
0020520 A L V A R o r a S P E C V
0020540 A R , r e s p e c t i v e l y
0020560 . T h i s i s i l l u s
0020600 t r a t e d b y t h e f o
0020620 l l o w i n g e x a m p l e :
0020640 \r [ D L A M B D A ( ( A L I
0020660 S T P S P E C I A L ) \r
0020700 ( B F I X P L
0020720 O C A L ) ) \r
0020740 . . . ] \r A m o r e i n f
0020760 o r m a t i v e e q u i v a l
0021000 e n t t o t h e S P E C I
0021020 A L k e y w o r d i s t
0021040 h e U S E D I N f o r m ,
0021060 t h e t a i l o f w h i c
0021100 h c a n b e a l i s t
0021120 o f t h e o t h e r f u n
0021140 c t i o n s t h a t a r e
0021160 e x p e c t e d t o h a v e
0021200 a c c e s s t o t h e v
0021220 a r i a b l e . 1 \r [ D L A M B
0021240 D A ( ( A L I S T P ( U S
0021260 E D I N F O O F I E ) ) \r
0021300 ( B F I X P
0021320 L O C A L ) ) \r .
0021340 . . ] \r E X T R A S m a y a
0021360 l s o i n c l u d e a c o
0021400 m m e n t i n s t a n d a r
0021420 d f o r m a t , s o t h a
0021440 t d e s c r i p t i v e i n
0021460 f o r m a t i o n m a y b e
0021500 g i v e n w h e r e a v
0021520 a r i a b l e i s b o u n d
0021540 : \r [ D L A M B D A ( ( A L
0021560 I S T P ( U S E D I N F O O
0021600 F I E ) ( * T h i s
0021620 i s a n i m p o r t a n t
0021640 v a r i a b l e ) ) \r
0021660 ( B F I X P L O C
0021700 A L ) ) \r .
0021720 . . ] \r A s m e n t i o n e d
0021740 e a r l i e r , t h e v a
0021760 l u e r e t u r n e d b y
0022000 a D L A M B D A c a n a l
0022020 s o b e d e c l a r e d ,
0022040 b y m e a n s o f t h e
0022060 p s e u d o - v a r i a b l e
0022100 R E T U R N S . T h e R E
0022120 T U R N S d e c l a r a t i o
0022140 n i s j u s t l i k e o
0022160 t h e r D L A M B D A d e c
0022200 l a r a t i o n s , e x c e p
0022220 t ( 1 ) i n a n y S A T
0022240 I S F I E S p r e d i c a t e
0022260 , t h e v a l u e o f t
0022300 h e f u n c t i o n i s r
0022320 e f e r r e d t o b y t h
0022340 e d i s t i n g u i s h e d
0022360 n a m e V A L U E ; a n d
0022400 ( 2 ) i t m a k e s n o
0022420 s e n s e t o d e c l a r e
0022440 t h e r e t u r n v a l u
0022460 e t o b e L O C A L o r
0022500 S P E C I A L . \r 2 \r \r D P
0022520 R O G \r 1 \r \r J u s t a s D
0022540 L A M B D A r e s e m b l e s
0022560 L A M B D A , D P R O G i
0022600 s a n a l o g o u s t o P
0022620 R O G . A s f o r a n
0022640 o r d i n a r y P R O G , a
0022660 v a r i a b l e b i n d i n
0022700 g m a y b e s p e c i f i
0022720 e d a s a n a t o m o r
0022740 a l i s t i n c l u d i n
0022760 g a n i n i t i a l v a l
0023000 u e f o r m . H o w e v
0023020 e r , a D P R O G b i n d
0023040 i n g a l s o a l l o w s
0023060 T Y P E a n d E X T R A S
0023100 i n f o r m a t i o n t o a
0023120 p p e a r f o l l o w i n g
0023140 t h e i n i t i a l v a l u
0023160 e f o r m . T h e f o r
0023200 m a t f o r t h e s e a u
0023220 g m e n t e d v a r i a b l e
0023240 b i n d i n g s i s ( N A
0023260 M E I N I T I A L V A L U E
0023300 T Y P E . E X T R A S ) . \r T
0023320 h e o n l y d i f f e r e n
0023340 c e b e t w e e n a D P R
0023360 O G b i n d i n g a n d a
0023400 D L A M B D A b i n d i n g
0023420 i s t h a t t h e s e c
0023440 o n d p o s i t i o n i s
0023460 i n t e r p r e t e d a s t
0023500 h e i n i t i a l v a l u e
0023520 f o r t h e v a r i a b l
0023540 e . N o t e t h a t i f
0023560 t h e u s e r w i s h e s
0023600 t o s u p p l y a t y p
0023620 e d e c l a r a t i o n f o
0023640 r a v a r i a b l e , a n
0023660 i n i t i a l v a l u e m
0023700 u s t b e s p e c i f i e d
0023720 . T h e s a m e r u l e
0023740 s a p p l y f o r t h e
0023760 i n t e r p r e t a t i o n o
0024000 f t h e t y p e i n f o r
0024020 m a t i o n f o r D P R O G
0024040 s a s f o r D L A M B D A
0024060 s , a n d t h e s a m e
0024100 s e t o f o p t i o n a l
0024120 E X T R A s c a n b e u s
0024140 e d . D P R O G s m a y
0024160 a l s o d e c l a r e t h e
0024200 t y p e o f t h e v a l
0024220 u e t h e y r e t u r n ,
0024240 b y s p e c i f y i n g t h
0024260 e p s e u d o - v a r i a b l
0024300 e R E T U R N S . \r J u s t
0024320 a s f o r a D L A M B D A
0024340 , t y p e t e s t s i n
0024360 a D P R O G a r e n o t
0024400 a s s e r t e d u n t i l a
0024420 f t e r a l l t h e v a r
0024440 i a b l e s h a v e b e e n
0024460 b o u n d , t h u s p e r
0024500 m i t t i n g p r e d i c a t
0024520 e s t o r e f e r t o o
0024540 t h e r v a r i a b l e s b
0024560 e i n g b o u n d b y t h
0024600 i s D P R O G . I f N I
0024620 L a p p e a r s a s t h e
0024640 i n i t i a l v a l u e f
0024660 o r a b i n d i n g ( i .
0024700 e . , t h e a t o m N I L
0024720 a c t u a l l y a p p e a r
0024740 s i n t h e c o d e , n
0024760 o t s i m p l y a n e x p
0025000 r e s s i o n t h a t e v a
0025020 l u a t e s t o N I L ) t
0025040 h e i n i t i a l t y p e
0025060 t e s t w i l l b e s u p
0025100 p r e s s e d , b u t s u b
0025120 s e q u e n t t y p e t e s
0025140 t s , e . g . , f o l l o w
0025160 i n g a S E T Q , w i l l
0025200 s t i l l b e p e r f o r
0025220 m e d . \r A c o m m o n
0025240 c o n s t r u c t i n L i s
0025260 p i s t o b i n d a n d
0025300 i n i t i a l i z e a P R
0025320 O G v a r i a b l e t o t
0025340 h e v a l u e o f a c o
0025360 m p l i c a t e d e x p r e s
0025400 s i o n i n o r d e r t o
0025420 a v o i d r e c o m p u t i
0025440 n g i t , a n d t h e n
0025460 t o u s e t h i s v a l u
0025500 e i n i n i t i a l i z i n
0025520 g o t h e r P R O G v a r
0025540 i a b l e s , e . g . \r [ P R
0025560 O G ( ( A E X P R E S S I O
0025600 N ) ) \r ( R E T U R
0025620 N ( P R O G ( ( B . . . (
0025640 A . . . ) ) \r
0025660 ( C .
0025700 . . ( A . . . ) ) ) \r
0025720
0025740 . . . ] \r T h e u g l i
0025760 n e s s o f s u c h c o n
0026000 s t r u c t i o n s i n c o
0026020 n v e n t i o n a l L i s p
0026040 o f t e n t e m p t s t h e
0026060 p r o g r a m m e r t o l
0026100 o o s e n t h e s c o p i n
0026120 g r e l a t i o n s h i p s
0026140 o f t h e v a r i a b l e s
0026160 b y b i n d i n g t h e m
0026200 a l l a t a s i n g l e
0026220 l e v e l a n d u s i n g
0026240 S E T Q ' s i n t h e b
0026260 o d y o f t h e P R O G
0026300 t o e s t a b l i s h t h
0026320 e i n i t i a l v a l u e s
0026340 f o r v a r i a b l e s t
0026360 h a t d e p e n d o n t h
0026400 e i n i t i a l v a l u e s
0026420 o f o t h e r v a r i a b
0026440 l e s , e . g . , \r [ P R O G
0026460 ( ( A E X P R E S S I O N
0026500 ) B C ) \r ( S E
0026520 T Q B ( . . . A . . . ) )
0026540 \r ( S E T Q C
0026560 ( . . . A . . . ) ) \r
0026600 . . . ] \r I n t h e D
0026620 e c l p a c k a g e e n v i
0026640 r o n m e n t , t h i s p r
0026660 o c e d u r e u n d e r m i n
0026700 e s t h e p r o t e c t i o
0026720 n o f f e r e d b y t h e
0026740 t y p e m e c h a n i s m
0026760 b y e n c o u r a g i n g t
0027000 h e u s e o f u n i n i t
0027020 i a l i z e d v a r i a b l e
0027040 s . T h e r e f o r e , t h
0027060 e D P R O G o f f e r s a
0027100 s y n t a c t i c f o r m
0027120 t o e n c o u r a g e m o r
0027140 e v i r t u o u s i n i t i
0027160 a l i z a t i o n o f i t s
0027200 v a r i a b l e s . A
0027220 D P R O G v a r i a b l e l
0027240 i s t m a y b e s e g m e
0027260 n t e d b y o c c u r r e n
0027300 c e s o f t h e s p e c i
0027320 a l a t o m T H E N , w h
0027340 i c h c a u s e s t h e b
0027360 i n d i n g o f i t s v a
0027400 r i a b l e s i n s t a g e
0027420 s , s o t h a t t h e b
0027440 i n d i n g s m a d e i n
0027460 e a r l i e r s t a g e s c
0027500 a n b e u s e d i n l a
0027520 t e r o n e s , e . g . , \r
0027540 [ D P R O G ( ( A ( L E N G
0027560 T H F O O ) F I X P L O C
0027600 A L ) \r T H E N
0027620 ( B ( S Q R T A ) F L O
0027640 A T P ) \r T H E
0027660 N ( C ( C O N S A B )
0027700 L I S T P ) ) \r
0027720 . . . ] \r E a c h s t a g e
0027740 i s c a r r i e d o u t a
0027760 s a c o n v e n t i o n a l
0030000 s e t o f D P R O G b i
0030020 n d i n g s ( i . e . , s i
0030040 m u l t a n e o u s l y , f o
0030060 l l o w e d b y t h e a p
0030100 p r o p r i a t e t y p e t
0030120 e s t i n g ) . T h i s l
0030140 a y e r i n g o f t h e b
0030160 i n d i n g s p e r m i t s
0030200 o n e t o g r a d u a l l y
0030220 d e s c e n d i n t o a
0030240 i n n e r s c o p e , b i n
0030260 d i n g t h e l o c a l n
0030300 a m e s i n a v e r y s
0030320 t r u c t u r e d a n d c l
0030340 e a n f a s h i o n , w i t
0030360 h i n i t i a l v a l u e s
0030400 t y p e - c h e c k e d a s
0030420 s o o n a s p o s s i b l
0030440 e . \r 2 \r \r D e c l a r a t i o
0030460 n s i n I t e r a t i v e
0030500 S t a t e m e n t s \r 1 \r \r T h
0030520 e C L I S P i t e r a t i v
0030540 e s t a t e m e n t p r o v
0030560 i d e s a v e r y u s e f
0030600 u l f a c i l i t y f o r
0030620 s p e c i f y i n g a v a r
0030640 i e t y o f P R O G s t h
0030660 a t f o l l o w c e r t a i
0030700 n w i d e l y u s e d f o
0030720 r m a t s . T h e D e c l
0030740 p a c k a g e a l l o w s
0030760 d e c l a r a t i o n s t o
0031000 b e m a d e f o r t h e
0031020 s c o p e o f a n i t e
0031040 r a t i v e s t a t e m e n t
0031060 v i a t h e D E C L A R E
0031100 C L I S P ( I . S . o p e
0031120 r a t o r ) . D E C L A R E
0031140 c a n a p p e a r a s a
0031160 n o p e r a t o r a n y w h
0031200 e r e i n a n i t e r a t
0031220 i v e s t a t e m e n t , f
0031240 o l l o w e d b y a l i s
0031260 t o f d e c l a r a t i o n
0031300 s , f o r e x a m p l e : \r
0031320 ( f o r J f r o m 1 t o
0031340 1 0 d e c l a r e ( J F
0031360 I X P ) d o . . . \r N o t
0031400 e t h a t D E C L A R E d
0031420 e c l a r a t i o n s d o n
0031440 o t c r e a t e b i n d i n
0031460 g s , b u t m e r e l y p
0031500 r o v i d e d e c l a r a t i
0031520 o n s f o r e x i s t i n g
0031540 b i n d i n g s . F o r
0031560 t h i s r e a s o n , a n
0031600 i n i t i a l v a l u e c a
0031620 n n o t b e s p e c i f i e
0031640 d a n d t h e f o r m o
0031660 f t h e d e c l a r a t i o
0031700 n i s t h e s a m e a s
0031720 t h a t o f D L A M B D A
0031740 s , n a m e l y c r e a t e
0031760 ( N A M E T Y P E . E X
0032000 T R A S ) . \r N o t e t h a t
0032020 v a r i a b l e s b o u n d
0032040 o u t s i d e o f t h e
0032060 s c o p e o f t h e i t e
0032100 r a t i v e s t a t e m e n t
0032120 , i . e . , a v a r i a b
0032140 l e u s e d f r e e l y i
0032160 n t h e I . S . , c a n
0032200 a l s o b e d e c l a r e d
0032220 u s i n g t h i s c o n s
0032240 t r u c t i o n . S u c h a
0032260 d e c l a r a t i o n w i l
0032300 l o n l y b e i n e f f
0032320 e c t f o r t h e s c o p
0032340 e o f t h e i t e r a t i
0032360 v e s t a t e m e n t . \r 2 \r
0032400 \r D e c l a r i n g a V a
0032420 r i a b l e f o r a R e s
0032440 t r i c t e d L e x i c a l
0032460 S c o p e \r 1 \r \r T h e D e c
0032500 l p a c k a g e a l s o p
0032520 e r m i t s d e c l a r i n g
0032540 t h e t y p e o f a v
0032560 a r i a b l e o v e r s o m
0032600 e r e s t r i c t e d p o r
0032620 t i o n o f i t s e x i s
0032640 t e n c e . F o r e x a m
0032660 p l e , s u p p o s e t h e
0032700 v a r i a b l e X i s e
0032720 i t h e r a f i x e d o r
0032740 f l o a t i n g n u m b e r
0032760 , a n d a p r o g r a m
0033000 b r a n c h e s t o t r e a
0033020 t t h e t w o c a s e s
0033040 s e p a r a t e l y . O n
0033060 o n e p a t h X i s k n
0033100 o w n t o b e f i x e d ,
0033120 w h e r e a s o n t h e
0033140 o t h e r i t i s k n o w
0033160 n t o b e f l o a t i n g
0033200 . T h e D e c l p a c k
0033220 a g e D P R O G N c o n s t
0033240 r u c t c a n b e u s e d
0033260 i n s u c h c a s e s t
0033300 o s t a t e t h e t y p e
0033320 o f t h e v a r i a b l e
0033340 a l o n g e a c h p a t h
0033360 . D P R O G N i s e x a c
0033400 t l y l i k e P R O G N ,
0033420 e x c e p t t h a t t h e
0033440 s e c o n d e l e m e n t o
0033460 f t h e f o r m i s i n
0033500 t e r p r e t e d a s a l
0033520 i s t o f D L A M B D A f
0033540 o r m a t d e c l a r a t i o
0033560 n s . T h e s e d e c l a
0033600 r a t i o n s a r e a d d e
0033620 d t o a n y e x i s t i n
0033640 g d e c l a r a t i o n s i
0033660 n t h e c o n t a i n i n g
0033700 s c o p e , a n d t h e
0033720 c o m p o s i t e d e c l a r
0033740 a t i o n ( c r e a t e d u
0033760 s i n g t h e A L L O F t
0034000 y p e e x p r e s s i o n ) ,
0034020 i s c o n s i d e r e d t
0034040 o h o l d t h r o u g h o u
0034060 t t h e l e x i c a l s c
0034100 o p e c r e a t e d b y t
0034120 h e D P R O G N . T h u s
0034140 , o u r e x a m p l e b e
0034160 c o m e s : \r ( i f ( F I X P
0034200 X ) \r t h e n ( D P R O G N
0034220 ( ( X F I X P ) ) . . . e l
0034240 s e ( D P R O G N ( ( X F
0034260 L O A T P ) ) . . . ) ) \r L i
0034300 k e D P R O G a n d D L A
0034320 M B D A , t h e v a l u e
0034340 o f a D P R O G N m a y
0034360 a l s o b e d e c l a r e d
0034400 , u s i n g t h e p s e u
0034420 d o - v a r i a b l e R E T U
0034440 R N S . \r D P R O G N m a y
0034460 b e u s e d n o t o n l y
0034500 t o r e s t r i c t t h e
0034520 d e c l a r a t i o n s o f
0034540 l o c a l v a r i a b l e s
0034560 , b u t a l s o t o d e
0034600 c l a r e v a r i a b l e s
0034620 t h a t a r e b e i n g u
0034640 s e d f r e e l y . F o r
0034660 e x a m p l e , i f t h e
0034700 v a r i a b l e A i s u
0034720 s e d f r e e l y i n s i d
0034740 e a f u n c t i o n b u t
0034760 i s k n o w n t o b e
0035000 F I X P , t h i s f a c t
0035020 c o u l d b e n o t e d
0035040 b y e n c l o s i n g t h e
0035060 b o d y o f t h e f u n
0035100 c t i o n i n ( D P R O G N
0035120 ( ( A F I X P F R E E ) )
0035140 B O D Y ) . I n s t e a d
0035160 o f F R E E , t h e m o r
0035200 e s p e c i f i c c o n s t
0035220 r u c t i o n ( B O U N D I N
0035240 F U N C T I O N 1 F U N C T
0035260 I O N 2 . . . ) c a n
0035300 b e u s e d . T h i s n o
0035320 t o n l y s t a t e s t h
0035340 a t t h e v a r i a b l e
0035360 i s u s e d f r e e l y b
0035400 u t a l s o g i v e s t h
0035420 e n a m e s o f t h e f
0035440 u n c t i o n s t h a t m i
0035460 g h t h a v e p r o v i d e
0035500 d t h i s b i n d i n g . 2
0035520 \r S i n c e t h e D P R O G
0035540 N f o r m i n t r o d u c e
0035560 s a n o t h e r l e v e l
0035600 o f p a r e n t h e s i z a t
0035620 i o n , w h i c h r e s u l
0035640 t s i n t h e e n c l o s
0035660 e d f o r m s b e i n g p
0035700 r e t t y p r i n t e d i n d
0035720 e n t e d , t h e D e c l
0035740 p a c k a g e a l s o p e r
0035760 m i t s s u c h d e c l a r
0036000 a t i o n s t o b e a t t
0036020 a c h e d t o t h e i r e
0036040 n c l o s i n g D L A M B D A
0036060 o r D P R O G s c o p e s
0036100 b y p l a c i n g a D
0036120 E C e x p r e s s i o n , e
0036140 . g . , ( D E C L ( A F
0036160 I X P ( B O U N D I N F U M
0036200 ) ) , b e f o r e t h e f
0036220 i r s t e x e c u t a b l e
0036240 f o r m i n t h a t s c o
0036260 p e . L i k e D P R O G N
0036300 ' s , D E C L d e c l a r
0036320 a t i o n s u s e D L A M B
0036340 D A f o r m a t . \r 2 \r \r D
0036360 e c l a r i n g t h e V a l
0036400 u e s o f E x p r e s s i o
0036420 n s \r 1 \r \r T h e D e c l p
0036440 a c k a g e a l l o w s t h
0036460 e v a l u e o f a n a
0036500 r b i t r a r y f o r m t o
0036520 b e d e c l a r e d w i t
0036540 h t h e D e c l c o n s t
0036560 r u c t T H E . A T H
0036600 E e x p r e s s i o n i s
0036620 o f t h e f o r m ( T H E
0036640 T Y P E . F O R M S ) ,
0036660 e . g . , ( T H E F I X P
0036700 ( F O O X ) ) . F O R M
0036720 S a r e e v a l u a t e d
0036740 i n o r d e r , a n d t h
0036760 e v a l u e o f t h e l
0037000 a s t o n e i s c h e c k
0037020 e d t o s e e i f i t
0037040 s a t i s f i e s T Y P E ,
0037060 a t y p e n a m e o r t
0037100 y p e e x p r e s s i o n .
0037120 I f s o , i t s v a l u
0037140 e i s r e t u r n e d , o
0037160 t h e r w i s e a d e c l a
0037200 r a t i o n f a u l t o c c
0037220 u r s . \r 2 \r \r A s s e r t i
0037240 o n s \r 1 \r \r T h e D e c l
0037260 p a c k a g e a l s o a l l
0037300 o w s f o r c h e c k i n g
0037320 t h a t a n a r b i t r a
0037340 r y p r e d i c a t e h o l
0037360 d s a t a p a r t i c u l
0037400 a r p o i n t i n a p r
0037420 o g r a m ' s e x e c u t i o
0037440 n , e . g . , a c o n d i
0037460 t i o n t h a t m u s t h
0037500 o l d a t f u n c t i o n
0037520 e n t r y b u t n o t t h
0037540 r o u g h o u t i t s e x e
0037560 c u t i o n . S u c h p r
0037600 e d i c a t e s c a n b e
0037620 c h e c k e d u s i n g a n
0037640 e x p r e s s i o n o f t
0037660 h e f o r m ( A S S E R T
0037700 F O R M 1 F O R M 2 ) , i n
0037720 w h i c h e a c h F O R M
0037740 1 i s e i t h e r a l i
0037760 s t ( w h i c h w i l l b
0040000 e e v a l u a t e d ) o r
0040020 a v a r i a b l e ( w h o s
0040040 e d e c l a r a t i o n w i
0040060 l l b e c h e c k e d ) .
0040100 U n l e s s a l l e l e m
0040120 e n t s o f t h e A S S E
0040140 R T f o r m a r e s a t i
0040160 s f i e d , a d e c l a r a
0040200 t i o n f a u l t w i l l
0040220 t a k e p l a c e . \r A S S E
0040240 R T i n g a v a r i a b l e
0040260 p r o v i d e s a c o n v
0040300 e n i e n t w a y o f v e
0040320 r i f y i n g t h a t t h e
0040340 v a l u e o f t h e v a
0040360 r i a b l e h a s n o t b
0040400 e e n i m p r o p e r l y c
0040420 h a n g e d b y a l o w e
0040440 r f u n c t i o n . A l t
0040460 h o u g h a s i m i l a r
0040500 e f f e c t c o u l d b e
0040520 a c h i e v e d f o r p r e
0040540 d i c a t e s b y e x p l i
0040560 c i t c h e c k s o f t h
0040600 e f o r m ( O R P R E D I
0040620 C A T E ( S H O U L D N T ) )
0040640 , A S S E R T a l s o p
0040660 r o v i d e s t h e a b i l
0040700 i t y b o t h t o c h e c
0040720 k t h a t a v a r i a b l
0040740 e ' s d e c l a r a t i o n
0040760 i s c u r r e n t l y s a t
0041000 i s f i e d a n d t o r e
0041020 m o v e i t s c h e c k s
0041040 a t c o m p i l e t i m e
0041060 w i t h o u t s o u r c e c
0041100 o d e m o d i f i c a t i o n
0041120 ( s e e C O M P I L E I G N
0041140 O R E D E C L ) . \r 2 \r \r U s
0041160 i n g T y p e E x p r e s s
0041200 i o n s a s P r e d i c a t
0041220 e s \r 1 \r \r T h e D e c l p
0041240 a c k a g e e x t e n d s t
0041260 h e R e c o r d p a c k a g
0041300 e T Y P E ? c o n s t r u c
0041320 t s o t h a t i t a c c
0041340 e p t s d e c l t y p e s ,
0041360 a s w e l l a s r e c o r
0041400 d n a m e s , e . g . , (
0041420 T Y P E ? ( F I X P ( S A T
0041440 I S F I E S ( I L E S S P V
0041460 A L U E 0 ) ) ) E X P R ) .
0041500 T h u s , a T Y P E ?
0041520 e x p r e s s i o n i s e x
0041540 a c t l y t h e s a m e a
0041560 s a T H E e x p r e s s i
0041600 o n e x c e p t t h a t ,
0041620 r a t h e r t h a n c a u s
0041640 i n g a d e c l a r a t i o
0041660 n f a u l t , T Y P E ? i
0041700 s a p r e d i c a t e t h
0041720 a t d e t e r m i n e s w h
0041740 e t h e r o r n o t t h e
0041760 v a l u e s a t i s f i e s
0042000 t h e g i v e n t y p e .
0042020 \r 2 \r E n f o r c e
0042040 m e n t \r 1 \r \r T h e D e c l
0042060 p a c k a g e i s a 251 251
0042100 s o f t ' ' t y p i n g s y
0042120 s t e m 377 377 \0 357 % 377 \0 t h a t
0042140 i s , t h e d a t a o b j
0042160 e c t s t h e m s e l v e s
0042200 a r e n o t i n h e r e n t
0042220 l y t y p e d . C o n s e
0042240 q u e n t l y , d e c l a r a
0042260 t i o n s c a n o n l y b
0042300 e e n f o r c e d w i t h i
0042320 n t h e l e x i c a l s c
0042340 o p e i n w h i c h t h e
0042360 d e c l a r a t i o n t a k
0042400 e s p l a c e , a n d t h
0042420 e n o n l y i n c e r t a
0042440 i n c o n t e x t s . I n
0042460 g e n e r a l , c h a n g e
0042500 s t o a v a r i a b l e '
0042520 s v a l u e s u c h a s
0042540 t h o s e r e s u l t i n g
0042560 f r o m s i d e e f f e c t
0042600 s t o e m b e d d e d s t
0042620 r u c t u r e ( e . g . ,
0042640 R P L A C A , S E T N , e t
0042660 c . ) o r f r e e v a r i
0042700 a b l e r e f e r e n c e s
0042720 f r o m o u t s i d e t h e
0042740 s c o p e o f t h e d e
0042760 c l a r a t i o n c a n n o t
0043000 b e , a n d t h e r e f o
0043020 r e a r e n o t , e n f o
0043040 r c e d . \r D e c l a r a t i o
0043060 n s a r e e n f o r c e d ,
0043100 i . e . , c h e c k e d ,
0043120 i n t h r e e d i f f e r e
0043140 n t s i t u a t i o n s : w
0043160 h e n a d e c l a r e d v
0043200 a r i a b l e i s b o u n d
0043220 t o s o m e v a l u e o
0043240 r r e b o u n d w i t h S
0043260 E T Q o r S E T Q Q , w h
0043300 e n a d e c l a r e d e x
0043320 p r e s s i o n i s e v a l
0043340 u a t e d , a n d w h e n
0043360 a n A S S E R T e x p r e s
0043400 s i o n i s e v a l u a t e
0043420 d . I n a b i n d i n g
0043440 c o n t e x t , t h e t y
0043460 p e c h e c k t a k e s p
0043500 l a c e a f t e r t h e b
0043520 i n d i n g , i n c l u d i n
0043540 g a n y u s e r - d e f i n
0043560 e d b e h a v i o r s p e c
0043600 i f i e d b y t h e t y p
0043620 e ' s b i n d i n g f u n c
0043640 t i o n . A n y f a i l u
0043660 r e o f t h e d e c l a r
0043700 a t i o n s c a u s e s a
0043720 b r e a k t o o c c u r a
0043740 n d a n i n f o r m a t i v
0043760 e m e s s a g e t o b e
0044000 p r i n t e d . I n t h a
0044020 t b r e a k , t h e n a m
0044040 e t o w h i c h t h e d
0044060 e c l a r a t i o n i s a t
0044100 t a c h e d ( o r V A L U E
0044120 i f n o n a m e i s a
0044140 v a i l a b l e ) w i l l b
0044160 e b o u n d t o t h e o
0044200 f f e n d i n g v a l u e .
0044220 T h u s , i n t h e F A
0044240 C T T e x a m p l e a b o
0044260 v e , N w o u l d b e b
0044300 o u n d t o T . T h e
0044320 p r o b l e m c a n b e
0044340 r e p a i r e d e i t h e r
0044360 b y r e t u r n i n g a n
0044400 a c c e p t a b l e v a l u e
0044420 f r o m t h e b r e a k
0044440 v i a t h e R E T U R N c
0044460 o m m a n d , o r b y a s
0044500 s i g n i n g a n a c c e p
0044520 t a b l e v a l u e t o t
0044540 h e o f f e n d i n g n a m
0044560 e a n d r e t u r n i n g
0044600 f r o m t h e b r e a k v
0044620 i a a n O K o r G O c
0044640 o m m a n d . T h e u n s
0044660 a t i s f i e d d e c l a r a
0044700 t i o n w i l l b e r e a
0044720 s s e r t e d w h e n t h e
0044740 c o m p u t a t i o n i s
0044760 c o n t i n u e d , s o a n
0045000 u n a c c e p t a b l e v a
0045020 l u e w i l l b e d e t e
0045040 c t e d . 3 \r T h e a u t o m
0045060 a t i c e n f o r c e m e n t
0045100 o f t y p e d e c l a r a
0045120 t i o n s i s a v e r y
0045140 f l e x i b l e a n d p o w
0045160 e r f u l a i d t o p r o
0045200 g r a m d e v e l o p m e n t
0045220 . I t d o e s , h o w e
0045240 v e r , e x a c t a c o n
0045260 s i d e r a b l e r u n - t i
0045300 m e c o s t b e c a u s e
0045320 o f a l l t h e c h e c k
0045340 i n g i n v o l v e d . F
0045360 a c t o r s o f t w o t o
0045400 t e n i n r u n n i n g
0045420 s p e e d a r e n o t u n
0045440 c o m m o n , e s p e c i a l
0045460 l y w h e r e l o w - l e v
0045500 e l , f r e q u e n t l y u
0045520 s e d f u n c t i o n s e m
0045540 p l o y t y p e d e c l a r
0045560 a t i o n s . A s a r e
0045600 s u l t , i t i s u s u a
0045620 l l y d e s i r a b l e t o
0045640 r e m o v e t h e d e c l
0045660 a r a t i o n e n f o r c e m
0045700 e n t c o d e w h e n t h
0045720 e s y s t e m i s b e l i
0045740 e v e d t o b e b u g - f
0045760 r e e a n d p e r f o r m a
0046000 n c e b e c o m e s m o r e
0046020 c e n t r a l . T h i s
0046040 c a n b e d o n e w i t h
0046060 t h e v a r i a b l e C O
0046100 M P I L E I G N O R E D E C L .
0046120 \r C O M P I L E I G N O R E D E
0046140 C L \t [ V a r i a b l e ] \r S e
0046160 t t i n g t h e v a l u e
0046200 o f t h e v a r i a b l e
0046220 C O M P I L E I G N O R E D E C
0046240 L t o T ( i n i t i a l l
0046260 y N I L ) i n s t r u c t
0046300 s t h e c o m p i l e r n
0046320 o t t o i n s e r t d e c
0046340 l a r a t i o n e n f o r c e
0046360 m e n t t e s t s i n t h
0046400 e c o m p i l e d c o d e .
0046420 M o r e s e l e c t i v e
0046440 r e m o v a l c a n b e
0046460 a c h i e v e d b y s e t t
0046500 i n g C O M P I L E I G N O R
0046520 E D E C L t o a l i s t
0046540 o f f u n c t i o n n a m e
0046560 s . A n y f u n c t i o n
0046600 w h o s e n a m e i s f
0046620 o u n d o n t h i s l i s
0046640 t i s c o m p i l e d w i
0046660 t h o u t d e c l a r a t i o
0046700 n e n f o r c e m e n t . \r I
0046720 G N O R E D E C L . V A L \t [
0046740 F i l e C o m ] \r D e c l a r
0046760 a t i o n e n f o r c e m e n
0047000 t m a y b e s u p p r e s
0047020 s e d s e l e c t i v e l y
0047040 b y a f i l e u s i n g
0047060 t h e I G N O R E D E C L f
0047100 i l e p a c k a g e c o m m
0047120 a n d . I f t h i s a p
0047140 p e a r s i n a f i l e '
0047160 s f i l e c o m m a n d s ,
0047200 i t r e d e f i n e s t h
0047220 e v a l u e o f C O M P I
0047240 L E I G N O R E D E C L t o
0047260 V A L f o r t h e c o m p
0047300 i l a t i o n o f t h i s
0047320 f i l e o n l y . \r N o t
0047340 e : T h e p e r i o d i
0047360 n t h e I G N O R E D E C
0047400 L f i l e p a c k a g e c
0047420 o m m a n d i s s i g n i f
0047440 i c a n t . T o s e t
0047460 C O M P I L E I G N O R E D E C
0047500 L t o T , u s e ( I G
0047520 N O R E D E C L . T ) , n
0047540 o t ( I G N O R E D E C L T
0047560 ) . \r 2 \r \r D e c l t y p e s
0047600 \r 1 \r \r A D e c l p a c k a
0047620 g e t y p e , o r d e c l
0047640 t y p e , s p e c i f i e s
0047660 a s u b s e t o f d a t a
0047700 v a l u e s t o w h i c h
0047720 v a l u e s o f t h i s
0047740 t y p e a r e r e s t r i c
0047760 t e d . F o r e x a m p l
0050000 e , a 251 251 p o s i t i v e
0050020 n u m b e r ' ' t y p e m i
0050040 g h t b e d e f i n e d t
0050060 o i n c l u d e o n l y t
0050100 h o s e v a l u e s t h a t
0050120 a r e n u m b e r s a n d
0050140 g r e a t e r t h a n z e
0050160 r o . A t y p e m a y
0050200 a l s o s p e c i f y h o w
0050220 c e r t a i n o p e r a t i
0050240 o n s , s u c h a s a s s
0050260 i g n m e n t o r b i n d i
0050300 n g ( s e e B I N D F N ) ,
0050320 a r e t o b e p e r f o
0050340 r m e d o n v a r i a b l e
0050360 s d e c l a r e d t o b e
0050400 o f t h i s t y p e . \r T
0050420 h e i n c l u s i o n r e l
0050440 a t i o n s a m o n g t h e
0050460 s e t s o f v a l u e s
0050500 t h a t s a t i s f y t h e
0050520 d i f f e r e n t t y p e
0050540 s d e f i n e a n a t u r
0050560 a l p a r t i a l o r d e r
0050600 i n g o n t y p e s , b o
0050620 u n d b y t h e u n i v e
0050640 r s a l t y p e A N Y ( w
0050660 h i c h a l l v a l u e s
0050700 s a t i s f y ) a n d t h e
0050720 e m p t y t y p e N O N E
0050740 ( w h i c h n o v a l u e
0050760 s a t i s f i e s ) . E a
0051000 c h t y p e h a s o n e
0051020 o r m o r e s u p e r t y
0051040 p e s ( e a c h t y p e h
0051060 a s a t l e a s t A N Y
0051100 a s a s u p e r t y p e )
0051120 a n d o n e o r m o r e
0051140 s u b t y p e s ( e a c h
0051160 t y p e h a s a t l e a s
0051200 t N O N E a s a s u b t
0051220 y p e ) . T h i s s t r u
0051240 c t u r e i s i m p o r t a
0051260 n t t o t h e u s e r o
0051300 f D e c l a s i t p r o
0051320 v i d e s t h e f r a m e w
0051340 o r k i n w h i c h n e w
0051360 t y p e s a r e d e f i n
0051400 e d . T y p i c a l l y ,
0051420 m u c h o f t h e d e f i
0051440 n i t i o n o f a n e w
0051460 t y p e i s d e f a u l t e
0051500 d , r a t h e r t h a n s
0051520 p e c i f i e d e x p l i c i
0051540 t l y . T h e d e f i n i
0051560 t i o n w i l l b e c o m
0051600 p l e t e d b y i n h e r i
0051620 t i n g a t t r i b u t e s
0051640 w h i c h a r e s h a r e d
0051660 b y a l l i t s i m m e
0051700 d i a t e s u p e r t y p e s
0051720 . \r A n i n i t i a l s e
0051740 t o f d e c l t y p e s t
0051760 h a t d e f i n e s t h e
0052000 I n t e r l i s p b u i l t -
0052020 i n d a t a t y p e s a n
0052040 d a f e w o t h e r c o
0052060 m m o n l y u s e d t y p e
0052100 s i s p r o v i d e d .
0052120 T h e r e a f t e r , n e w
0052140 d e c l t y p e s a r e c r
0052160 e a t e d i n t e r m s o
0052200 f e x i s t i n g o n e s
0052220 u s i n g t h e t y p e e
0052240 x p r e s s i o n s d e s c r
0052260 i b e d b e l o w . F o r
0052300 c o n c i s e n e s s , s u
0052320 c h n e w t y p e s c a n
0052340 b e a s s o c i a t e d w
0052360 i t h l i t e r a l a t o m
0052400 s u s i n g t h e f u n c
0052420 t i o n D E C L T Y P E .
0052440 \r 2 \r \r P r e d e f i n e d
0052460 T y p e s \r 1 \r \r S o m e c o
0052500 m m o n l y u s e d t y p
0052520 e s , s u c h a s t h e
0052540 I n t e r l i s p b u i l t -
0052560 i n d a t a t y p e s , a
0052600 r e a l r e a d y d e f i n
0052620 e d w h e n t h e D e c l
0052640 p a c k a g e i s l o a d
0052660 e d . T h e s e t y p e s
0052700 , i n d e n t e d t o s h
0052720 o w s u b t y p e - s u p e r
0052740 t y p e r e l a t i o n s ,
0052760 a r e : 4 \r A N Y \r A T O M
0053000 L S T \r
0053020 A R R A Y P
0053040 S T R I N G P F U N C
0053060 T I O N S T A C K P \r
0053100 L I T A T O M
0053120 A L I S T H A R
0053140 R A Y P \r N I L
0053160 L I S T P
0053200 R E A D T A B L E P
0053220 \r N U M B E R P \r
0053240 F I X P \r
0053260 L A R G E P \r S
0053300 M A L L P \r F L O A
0053320 T P \r \r
0053340
0053360 N O N E \r N o
0053400 t e t h a t t h e d e f i
0053420 n i t i o n o f L S T c a
0053440 u s e s N I L t o h a v e
0053460 m u l t i p l e s u p e r t
0053500 y p e s , i . e . , L I T
0053520 A T O M a n d L S T , r e
0053540 f l e c t i n g t h e d u a
0053560 l i t y o f N I L a s a
0053600 n a t o m a n d a ( d e
0053620 g e n e r a t e ) l i s t .
0053640 \r I n a d d i t i o n , d
0053660 e c l a r a t i o n s m a d e
0053700 u s i n g t h e R e c o r
0053720 d p a c k a g e a l s o d
0053740 e f i n e t y p e s t h a t
0053760 a r e a t t a c h e d a s
0054000 s u b t y p e s t o a n
0054020 a p p r o p r i a t e e x i s
0054040 t i n g t y p e ( e . g . ,
0054060 a T Y P E R E C O R D d
0054100 e c l a r a t i o n d e f i n
0054120 e s a s u b t y p e o f
0054140 L I S T P , a D A T A T Y P
0054160 E d e c l a r a t i o n a
0054200 s u b t y p e o f A N Y ,
0054220 e t c . ) a n d m a y b e
0054240 u s e d d i r e c t l y i
0054260 n d e c l a r a t i o n c o
0054300 n t e x t s . \r 2 \r \r T y p e
0054320 E x p r e s s i o n s \r 1 \r \r T
0054340 y p e e x p r e s s i o n s
0054360 p r o v i d e c o n v e n i e
0054400 n t w a y s f o r d e f i
0054420 n i n g n e w t y p e s i
0054440 n t e r m s o f m o d i f
0054460 i c a t i o n s t o , o r
0054500 c o m p o s i t i o n s o f
0054520 o n e o r m o r e e x i s
0054540 t i n g t y p e s . \r ( M E
0054560 M Q V A L U E 1 . . . V A
0054600 L U E N ) \t [ T y p e E x p
0054620 r e s s i o n ] \r S p e c i f i
0054640 e s a t y p e w h o s e
0054660 v a l u e s c a n b e a n
0054700 y o n e o f t h e f i x
0054720 e d s e t o f e l e m e n
0054740 t s V A L U E 1 . . . V
0054760 A L U E N . F o r e x a
0055000 m p l e , t h e s t a t u s
0055020 o f a d e v i c e m i g
0055040 h t b e r e p r e s e n t e
0055060 d b y a d a t u m r e s
0055100 t r i c t e d t o t h e v
0055120 a l u e s B U S Y a n d F
0055140 R E E . S u c h a 251 251 d
0055160 e v i c e s t a t u s ' ' t
0055200 y p e c o u l d b e d e f
0055220 i n e d v i a ( M E M Q
0055240 B U S Y F R E E ) . T h e
0055260 n e w t y p e w i l l b
0055300 e a s u b t y p e o f t
0055320 h e n a r r o w e s t t y p
0055340 e t h a t a l l o f t h
0055360 e a l t e r n a t i v e s s
0055400 a t i s f y ( e . g . , t h
0055420 e " d e v i c e s t a t u s
0055440 " t y p e w o u l d b e
0055460 a s u b t y p e o f L I T
0055500 A T O M ) . T h e m e m b
0055520 e r s h i p t e s t u s e s
0055540 E Q i f t h i s s u p e
0055560 r t y p e i s a L I T A T
0055600 O M ; E Q U A L o t h e r w
0055620 i s e . T h u s , l i s t
0055640 s , f l o a t i n g p o i n
0055660 t n u m b e r s , e t c . ,
0055700 c a n b e i n c l u d e d
0055720 i n t h e s e t o f a
0055740 l t e r n a t i v e s . \r ( O
0055760 N E O F T Y P E 1 . . .
0056000 T Y P E N ) \t [ T y p e E x
0056020 p r e s s i o n ] \r S p e c i f
0056040 i e s a t y p e t h a t
0056060 i s t h e u n i o n o f
0056100 t w o o r m o r e o t h e
0056120 r t y p e s . F o r e x
0056140 a m p l e , t h e n o t i o
0056160 n o f a p o s s i b l y
0056200 d e g e n e r a t e l i s t
0056220 i s s o m e t h i n g t h a
0056240 t i s e i t h e r L I S T
0056260 P o r N I L . S u c h
0056300 a t y p e c a n b e ( a
0056320 n d t h e b u i l t - i n
0056340 t y p e L S T i n f a c t
0056360 i s ) d e f i n e d s i m
0056400 p l y a s ( O N E O F N I
0056420 L L I S T P ) . A u n i
0056440 o n d a t a t y p e b e c
0056460 o m e s a s u p e r t y p e
0056500 o f a l l o f t h e a
0056520 l t e r n a t i v e t y p e s
0056540 s p e c i f i e d i n t h
0056560 e O N E O F e x p r e s s i
0056600 o n , a n d a s u b t y p
0056620 e o f t h e i r l o w e s
0056640 t c o m m o n s u p e r t y
0056660 p e . T h e t y p e p r
0056700 o p e r t i e s o f a u n
0056720 i o n t y p e a r e t a k
0056740 e n f r o m i t s a l t e
0056760 r n a t i v e t y p e s i f
0057000 t h e y a l l a g r e e ,
0057020 o t h e r w i s e f r o m
0057040 t h e s u p e r t y p e . \r (
0057060 A L L O F T Y P E 1 . .
0057100 . T Y P E N ) \t [ T y p e E
0057120 x p r e s s i o n ] \r S p e c i
0057140 f i e s a t y p e t h a t
0057160 i s t h e i n t e r s e c
0057200 t i o n o f t w o o r m
0057220 o r e o t h e r t y p e s .
0057240 F o r e x a m p l e , a
0057260 v a r i a b l e m a y b e
0057300 r e q u i r e d t o s a t
0057320 i s f y b o t h F I X P
0057340 a n d a l s o s o m e t y
0057360 p e t h a t i s d e f i n
0057400 e d a s ( N U M B E R P (
0057420 S A T I S F I E S P R E D I C
0057440 A T E ) ) . T h e l a t t
0057460 e r t y p e w i l l a d m
0057500 i t n u m b e r s t h a t
0057520 a r e n o t F I X P , i .
0057540 e . , f l o a t i n g p o i
0057560 n t n u m b e r s ; t h e
0057600 f o r m e r d o e s n o t
0057620 i n c l u d e P R E D I C A T
0057640 E . B o t h r e s t r i c
0057660 t i o n s c a n b e o b t
0057700 a i n e d b y u s i n g t
0057720 h e t y p e ( A L L O F (
0057740 N U M B E R P ( S A T I S F I
0057760 E S P R E D I C A T E ) ) F
0060000 I X P ) . 5 \r ( O F A G G R E
0060020 G A T E O F E L E M E N T )
0060040 \t [ T y p e E x p r e s s i o
0060060 n ] \r S p e c i f i e s D E C
0060100 L a g g r e g a t e , a t y
0060120 p e t h a t i s a n a g
0060140 g r e g a t e o f v a l u e
0060160 s o f s o m e o t h e r
0060200 t y p e ( e . g . , l i s t
0060220 o f n u m b e r s , a r r
0060240 a y o f s t r i n g s , e
0060260 t c . ) . A G G R E G A T E
0060300 m u s t b e a t y p e t
0060320 h a t p r o v i d e s a n
0060340 E V E R Y F N p r o p e r t
0060360 y . T h e E V E R Y F N
0060400 i s u s e d t o a p p l
0060420 y a n a r b i t r a r y f
0060440 u n c t i o n t o e a c h
0060460 o f t h e e l e m e n t s
0060500 o f a d a t u m o f t h
0060520 e a g g r e g a t e t y p e
0060540 , a n d c h e c k w h e t
0060560 h e r t h e r e s u l t i
0060600 s n o n - N I L f o r e
0060620 a c h e l e m e n t . E L
0060640 E M E N T m a y b e a n y
0060660 t y p e e x p r e s s i o n
0060700 . F o r e x a m p l e ,
0060720 t h e t y p e 251 251 l i s t
0060740 o f e i t h e r s t r i n g
0060760 s o r a t o m s ' ' c a n
0061000 b e d e f i n e d a s
0061020 ( L I S T P O F ( O N E O F
0061040 S T R I N G P A T O M ) ) .
0061060 T h e t y p e t e s t
0061100 f o r t h e n e w t y p e
0061120 w i l l c o n s i s t o f
0061140 a p p l y i n g t h e t y
0061160 p e t e s t f o r E L E M
0061200 E N T t o e a c h e l e m
0061220 e n t o f t h e a g g r e
0061240 g a t e t y p e u s i n g
0061260 t h e E V E R Y F N p r o p
0061300 e r t y . T h e n e w t
0061320 y p e w i l l b e a s u
0061340 b t y p e o f i t s a g g
0061360 r e g a t e t y p e . 6 \r ( S
0061400 A T I S F I E S T Y P E ( S
0061420 A T I S F I E S F O R M 1 .
0061440 . . F O R M N ) ) \t [ T y
0061460 p e E x p r e s s i o n ] \r S
0061500 p e c i f i e s a t y p e
0061520 w h o s e v a l u e s a r e
0061540 a s u b s e t o f t h e
0061560 v a l u e s o f a n e x
0061600 i s t i n g t y p e . T h
0061620 e t y p e t e s t f o r
0061640 t h e n e w t y p e w i l
0061660 l f i r s t c h e c k t h
0061700 a t t h e b a s e t y p e
0061720 i s s a t i s f i e d , i
0061740 . e . , t h a t t h e o b
0061760 j e c t i s a m e m b e r
0062000 o f T Y P E , a n d t h
0062020 e n e v a l u a t e F O R
0062040 M 1 . . . F O R M N .
0062060 I f e a c h f o r m r e
0062100 t u r n s a n o n - N I L
0062120 v a l u e , t h e t y p e
0062140 i s s a t i s f i e d . \r
0062160 T h e v a l u e t h a t i
0062200 s b e i n g t e s t e d m
0062220 a y b e r e f e r r e d t
0062240 o i n F O R M 1 . . .
0062260 F O R M N b y e i t h e
0062300 r ( a ) t h e v a r i a b
0062320 l e n a m e i f t h e t
0062340 y p e e x p r e s s i o n a
0062360 p p e a r s i n a b i n d
0062400 i n g c o n t e x t s u c h
0062420 a s D L A M B D A o r D
0062440 P R O G , ( b ) t h e d i
0062460 s t i n g u i s h e d a t o m
0062500 E L T f o r a S A T I S
0062520 F I E S c l a u s e o n t
0062540 h e e l e m e n t s o f a
0062560 n a g g r e g a t e t y p e
0062600 , o r ( c ) t h e d i s
0062620 t i n g u i s h e d a t o m
0062640 V A L U E , w h e n t h e
0062660 t y p e e x p r e s s i o n
0062700 i s u s e d i n a c o n
0062720 t e x t w h e r e n o n a
0062740 m e i s a v a i l a b l e
0062760 ( e . g . , a R E T U R N S
0063000 d e c l a r a t i o n ) .
0063020 F o r e x a m p l e , o n e
0063040 m i g h t d e c l a r e t
0063060 h e p r o g r a m v a r i a
0063100 b l e A t o b e a n e
0063120 g a t i v e i n t e g e r v
0063140 i a ( F I X P ( S A T I S F
0063160 I E S ( M I N U S P A ) ) )
0063200 o r d e c l a r e t h e
0063220 v a l u e o f a D L A M
0063240 B D A t o b e o f t y p
0063260 e ( ( O N E O F F I X P F
0063300 L O A T P ) ( S A T I S F I E
0063320 S ( G R E A T E R P V A L U
0063340 E 2 5 ) ) ) . \r N o t e t h
0063360 a t m o r e t h a n o n e
0063400 S A T I S F I E S c l a u s
0063420 e m a y a p p e a r i n
0063440 a s i n g l e t y p e e x
0063460 p r e s s i o n a t t a c h e
0063500 d t o d i f f e r e n t a
0063520 l t e r n a t i v e s i n a
0063540 O N E O F t y p e e x p r
0063560 e s s i o n , o r a t t a c
0063600 h e d t o b o t h t h e
0063620 e l e m e n t s a n d t h e
0063640 o v e r a l l s t r u c t u
0063660 r e o f a n a g g r e g a
0063700 t e . F o r e x a m p l e
0063720 , \r [ L I S T P O F [ F I X
0063740 P ( S A T I S F I E S ( I L
0063760 E Q E L T ( C A R V A L U
0064000 E ] \r ( S A
0064020 T I S F I E S ( I L E S S P
0064040 ( L E N G T H V A L U E ) 7
0064060 ] \r s p e c i f i e s a l i
0064100 s t o f l e s s t h a n
0064120 s e v e n i n t e g e r s e
0064140 a c h o f w h i c h i s
0064160 n o g r e a t e r t h a n
0064200 t h e f i r s t e l e m e n
0064220 t o f t h e l i s t . \r (
0064240 S H A R E D T Y P E ) \t [ T y
0064260 p e E x p r e s s i o n ] \r S
0064300 p e c i f i e s D E C L s h a
0064320 r e d , a s u b t y p e o
0064340 f T Y P E , w i t h d e f
0064360 a u l t b i n d i n g b e h
0064400 a v i o r , i . e . , t h e
0064420 b i n d i n g f u n c t i o
0064440 n ( s e e B I N D F N ) ,
0064460 i f a n y , w i l l b e
0064500 s u p p r e s s e d . 7 F o
0064520 r e x a m p l e , i f t h
0064540 e t y p e F L O A T P w e
0064560 r e r e d e f i n e d s o
0064600 t h a t D L A M B D A a n d
0064620 D P R O G b i n d i n g s
0064640 o f v a r i a b l e s t h a
0064660 t w e r e d e c l a r e d
0064700 t o b e F L O A T P c o p
0064720 i e d t h e i r i n i t i a
0064740 l v a l u e s ( e . g . ,
0064760 t o a l l o w S E T N s t
0065000 o b e f r e e o f s i d
0065020 e e f f e c t s ) , t h e n
0065040 v a r i a b l e s d e c l a
0065060 r e d ( S H A R E D F L O A
0065100 T P ) w o u l d b e i n i
0065120 t i a l i z e d i n t h e
0065140 n o r m a l f a s h i o n ,
0065160 w i t h o u t c o p y i n g
0065200 t h e i r i n i t i a l v
0065220 a l u e s . \r 2 \r \r N a m e d
0065240 T y p e s \r 1 \r \r A l t h o u
0065260 g h t y p e e x p r e s s i
0065300 o n s c a n b e u s e d
0065320 i n a n y d e c l a r a t i
0065340 o n c o n t e x t , i t i
0065360 s o f t e n d e s i r a b l
0065400 e t o s a v e t h e d e
0065420 f i n i t i o n o f a n e
0065440 w t y p e i f i t i s
0065460 t o b e u s e d f r e q u
0065500 e n t l y , o r i f a m
0065520 o r e c o m p l e x s p e c
0065540 i f i c a t i o n o f i t s
0065560 b e h a v i o r i s t o
0065600 b e g i v e n t h a n i s
0065620 c o n v e n i e n t i n a
0065640 n e x p r e s s i o n . T
0065660 h e a b i l i t y t o d e
0065700 f i n e a n a m e d t y p
0065720 e i s p r o v i d e d b y
0065740 t h e f u n c t i o n D E
0065760 C L T Y P E . \r ( D E C L T Y P
0066000 E T Y P E N A M E T Y P E
0066020 P R O P 1 V A L 1 \r
0066040
0066060 P R O P N V A L N )
0066100 \t [ F u n c t i o n ] \r N L a m
0066120 b d a , n o s p r e a d f u
0066140 n c t i o n . T Y P E N A M
0066160 E i s a l i t e r a l a
0066200 t o m , T Y P E i s e i t
0066220 h e r t h e n a m e o f
0066240 a n e x i s t i n g t y p e
0066260 o r a t y p e e x p r e
0066300 s s i o n , a n d P R O P
0066320 1 , V A L 1 . . . P R O P
0066340 N , V A L N i s a s p
0066360 e c i f i c a t i o n ( i n
0066400 p r o p e r t y l i s t f o
0066420 r m a t ) o f o t h e r a
0066440 t t r i b u t e s o f t h e
0066460 t y p e . D E C L T Y P E
0066500 d e r i v e s a t y p e f
0066520 r o m T Y P E , a s s o c i
0066540 a t e s i t w i t h T Y P
0066560 E N A M E , a n d t h e n
0066600 d e f i n e s a n y p r o p
0066620 e r t i e s s p e c i f i e d
0066640 w i t h t h e v a l u e s
0066660 g i v e n . \r T h e f o l l
0066700 o w i n g p r o p e r t i e s
0066720 a r e i n t e r p r e t e d
0066740 b y t h e D e c l p a c
0066760 k a g e . 8 E a c h o f
0067000 t h e s e p r o p e r t i e s
0067020 c a n h a v e a s i t s
0067040 v a l u e e i t h e r a
0067060 f u n c t i o n n a m e o r
0067100 a L A M B D A e x p r e
0067120 s s i o n . \r T E S T F N \t
0067140 [ P r o p e r t y ] \r w i l l
0067160 b e u s e d b y t h e D
0067200 e c l p a c k a g e t o t
0067220 e s t w h e t h e r a g i
0067240 v e n v a l u e s a t i s f
0067260 i e s t h i s t y p e .
0067300 T h e t y p e i s c o n s
0067320 i d e r e d s a t i s f i e d
0067340 i f F N a p p l i e d t
0067360 o t h e i t e m i s n o
0067400 n - N I L . F o r e x a m
0067420 p l e , o n e m i g h t d
0067440 e f i n e t h e t y p e I
0067460 N T E G E R w i t h T E S T
0067500 F N F I X P . 9 \r E V E R Y F
0067520 N \t [ P r o p e r t y ] \r E V E
0067540 R Y F N s p e c i f i e s a
0067560 m a p p i n g f u n c t i o
0067600 n t h a t c a n a p p l y
0067620 a f u n c t i o n a l a r
0067640 g u m e n t t o e a c h 251
0067660 251 e l e m e n t ' ' o f a n
0067700 i n s t a n c e o f t h i
0067720 s t y p e , a n d w h i c
0067740 h w i l l r e t u r n N
0067760 I L u n l e s s t h e r e
0070000 s u l t o f e v e r y s u
0070020 c h a p p l i c a t i o n w
0070040 a s n o n - N I L . F N
0070060 m u s t b e a f u n c t
0070100 i o n o f t w o a r g u m
0070120 e n t s : t h e a g g r e g
0070140 a t e a n d t h e f u n c
0070160 t i o n t o b e a p p l i
0070200 e d . F o r e x a m p l e
0070220 , t h e E V E R Y F N f o
0070240 r t h e b u i l t - i n t
0070260 y p e L I S T P i s E V
0070300 E R Y . T h e D e c l p
0070320 a c k a g e u s e s t h e
0070340 E V E R Y F N p r o p e r t
0070360 y o f t h e a g g r e g a
0070400 t e t y p e t o c o n s t
0070420 r u c t a t y p e t e s t
0070440 f o r a g g r e g a t e t
0070460 y p e e x p r e s s i o n s .
0070500 I n f a c t , i t i s
0070520 t h e p r e s e n c e o f
0070540 a n E V E R Y F N p r o p
0070560 e r t y t h a t a l l o w s
0070600 a t y p e t o b e u s
0070620 e d a s a n a g g r e g a
0070640 t e t y p e . 1 0 \r B I N D F
0070660 N \t [ P r o p e r t y ] \r B I N
0070700 D F N i s u s e d t o c
0070720 o m p u t e f r o m t h e
0070740 i n i t i a l v a l u e s u
0070760 p p l i e d f o r a D L A
0071000 M B D A o r D P R O G v a
0071020 r i a b l e o f t h i s t
0071040 y p e , t h e v a l u e t
0071060 o w h i c h t h e v a r i
0071100 a b l e w i l l a c t u a l
0071120 l y b e i n i t i a l i z e
0071140 d . F N m u s t b e a
0071160 f u n c t i o n o f o n e
0071200 a r g u m e n t t h a t w i
0071220 l l b e a p p l i e d t o
0071240 t h e i n i t i a l v a l
0071260 u e , a n d w h i c h s h
0071300 o u l d p r o d u c e a n o
0071320 t h e r v a l u e w h i c h
0071340 i s t o b e u s e d t
0071360 o m a k e t h e b i n d i
0071400 n g . 1 1 F o r e x a m p
0071420 l e , a B I N D F N c o u
0071440 l d b e u s e d t o b i
0071460 n d v a r i a b l e s o f
0071500 s o m e t y p e s o t h a
0071520 t n e w b i n d i n g s a
0071540 r e c o p i e s o f t h e
0071560 i n i t i a l v a l u e .
0071600 T h u s , i f F L O A T P
0071620 w e r e g i v e n t h e
0071640 B I N D F N F P L U S , a
0071660 n y v a r i a b l e d e c l
0071700 a r e d F L O A T P w o u l
0071720 d b e i n i t i a l i z e d
0071740 w i t h a n e w f l o a
0071760 t i n g b o x , r a t h e r
0072000 t h a n s h a r i n g w i
0072020 t h t h a t o f t h e o
0072040 r i g i n a l i n i t i a l
0072060 v a l u e . 1 2 \r S E T F N \t [
0072100 P r o p e r t y ] \r i s u s e
0072120 d f o r p e r f o r m i n g
0072140 a S E T Q o r S E T
0072160 Q Q o f v a r i a b l e s
0072200 o f t h i s t y p e .
0072220 F N i s a f u n c t i o n
0072240 o f t w o a r g u m e n t
0072260 s , t h e n a m e o f t
0072300 h e v a r i a b l e a n d
0072320 i t s n e w v a l u e .
0072340 A S E T F N i s t y p i c
0072360 a l l y u s e d t o a v o
0072400 i d t h e a l l o c a t i o
0072420 n o f s t o r a g e f o r
0072440 i n t e r m e d i a t e r e
0072460 s u l t s . N o t e t h a
0072500 t t h e S E T F N i s
0072520 n o t t h e m e c h a n i s
0072540 m f o r t h e e n f o r c
0072560 e m e n t o f t y p e c o
0072600 m p a t i b i l i t y , w h i
0072620 c h i s c h e c k e d a f
0072640 t e r t h e a s s i g n m e
0072660 n t h a s t a k e n p l a
0072700 c e . A l s o n o t e t
0072720 h a t n o t a l l f u n c
0072740 t i o n s t h a t c a n c
0072760 h a n g e v a l u e s a r e
0073000 a f f e c t e d : i n p a
0073020 r t i c u l a r , S E T a n
0073040 d S E T N a r e n o t . \r
0073060 \r 2 \r \r M a n i p u l a t i n g
0073100 N a m e d T y p e s \r 1 \r \r
0073120 D E C L T Y P E S i s a f
0073140 i l e p a c k a g e t y p e
0073160 . T h u s a l l o f t
0073200 h e o p e r a t i o n s r e
0073220 l a t i n g t o f i l e p
0073240 a c k a g e t y p e s , e .
0073260 g . , G E T D E F , P U T D
0073300 E F , E D I T D E F , D E L
0073320 D E F , S H O W D E F , e t
0073340 c . , c a n b e p e r f o
0073360 r m e d o n d e c l t y p e
0073400 s . 1 3 \r T h e f i l e p a
0073420 c k a g e c o m m a n d , D
0073440 E C L T Y P E S , i s p r
0073460 o v i d e d t o d u m p n
0073500 a m e d d e c l t y p e s s
0073520 y m b o l i c a l l y . T h
0073540 e y w i l l b e w r i t t
0073560 e n a s a s e r i e s o
0073600 f D E C L T Y P E f o r m s
0073620 t h a t w i l l s p e c i
0073640 f y o n l y t h o s e f i
0073660 e l d s t h a t d i f f e r
0073700 f r o m t h e c o r r e s
0073720 p o n d i n g f i e l d o f
0073740 t h e i r s u p e r t y p e
0073760 ( s ) . I f t h e t y p
0074000 e d e p e n d s o n a n y
0074020 u n n a m e d t y p e s ,
0074040 t h o s e t y p e s w i l l
0074060 b e d u m p e d ( a s a
0074100 c o m p o u n d t y p e e
0074120 x p r e s s i o n ) , c o n t
0074140 i n u i n g u p t h e s u
0074160 p e r t y p e c h a i n u n
0074200 t i l a n a m e d t y p e
0074220 i s f o u n d . C a r e
0074240 s h o u l d b e e x e r c
0074260 i s e d t o e n s u r e t
0074300 h a t e n o u g h o f t h
0074320 e n a m e d t y p e c o n
0074340 t e x t i s d u m p e d t
0074360 o a l l o w t h e t y p e
0074400 d e f i n i t i o n t o r
0074420 e m a i n m e a n i n g f u l
0074440 . \r T h e f u n c t i o n
0074460 s G E T D E C L T Y P E P R O
0074500 P a n d S E T D E C L T Y P
0074520 E P R O P , d e f i n e d a
0074540 n a l o g o u s l y t o t h
0074560 e p r o p e r t y l i s t
0074600 f u n c t i o n s f o r a t
0074620 o m s , a l l o w t h e m
0074640 a n i p u l a t i o n o f t
0074660 h e p r o p e r t i e s o f
0074700 n a m e d t y p e s . S
0074720 e t t i n g a p r o p e r
0074740 t y t o N I L w i t h
0074760 S E T D E C L T Y P E P R O P
0075000 r e m o v e s i t f r o m
0075020 t h e t y p e . \r 2 \r \r R e
0075040 l a t i o n s B e t w e e n
0075060 T y p e s \r 1 \r \r T h e n o t
0075100 i o n o f e q u i v a l e n
0075120 c e o f t w o t y p e s
0075140 i s n o t w e l l d e f i
0075160 n e d . H o w e v e r , t
0075200 y p e e q u i v a l e n c e
0075220 i s r a r e l y o f i n t
0075240 e r e s t . W h a t i s
0075260 o f i n t e r e s t i s t
0075300 y p e i n c l u s i o n ,
0075320 i . e . , w h e t h e r o n
0075340 e t y p e i s a s u p e
0075360 r t y p e o r s u b t y p e
0075400 o f a n o t h e r . T h
0075420 e p r e d i c a t e C O V E
0075440 R S c a n b e u s e d t
0075460 o d e t e r m i n e w h e t
0075500 h e r t h e v a l u e s o
0075520 f o n e t y p e i n c l u
0075540 d e t h o s e o f a n o t
0075560 h e r . \r ( C O V E R S H I
0075600 L O ) \t [ F u n c t i o n ] \r
0075620 C O V E R S i s T i f
0075640 H I c a n b e f o u n d
0075660 o n s o m e ( p o s s i b
0075700 l y e m p t y ) s u p e r t
0075720 y p e c h a i n o f L O ;
0075740 e l s e N I L . T h u
0075760 s , ( C O V E R S ' F I X P
0076000 ( D E C L O F 4 ) ) = T ,
0076020 e v e n t h o u g h t h e
0076040 D E C L T Y P E o f f o u
0076060 r i s S M A L L P , n o t
0076100 F I X P . T h e e x t r
0076120 e m a l c a s e s a r e t
0076140 h e o b v i o u s i d e n t
0076160 i t i e s : \r ( C O V E R S '
0076200 A N Y A N Y T Y P E ) = (
0076220 C O V E R S A N Y T Y P E '
0076240 N O N E ) = ( C O V E R S
0076260 X ) f o r a n y t y p e
0076300 X = T . \r C O V E R S
0076320 a l l o w s d e c l a r a t i
0076340 o n - b a s e d t r a n s f o
0076360 r m a t i o n s o f a f o
0076400 r m t h a t d e p e n d o
0076420 n e l e m e n t s o f t h
0076440 e f o r m b e i n g o f
0076460 a c e r t a i n t y p e t
0076500 o e x p r e s s t h e i r
0076520 a p p l i c a b i l i t y c o
0076540 n d i t i o n s i n t e r m
0076560 s o f t h e w e a k e s t
0076600 t y p e t o w h i c h t
0076620 h e y a p p l y , w i t h o
0076640 u t e x p l i c i t c o n c
0076660 e r n f o r o t h e r t y
0076700 p e s t h a t m a y b e
0076720 s u b t y p e s o f i t
0076740 . F o r e x a m p l e ,
0076760 i f a p a r t i c u l a r
0077000 t r a n s f o r m a t i o n i
0077020 s t o b e a p p l i e d
0077040 w h e n e v e r a n e l e m
0077060 e n t i s o f t y p e N
0077100 U M B E R P , t h e p r o g
0077120 r a m t h a t a p p l i e s
0077140 t h a t t r a n s f o r m a
0077160 t i o n d o e s n o t h a
0077200 v e t o c h e c k w h e t
0077220 h e r t h e e l e m e n t
0077240 i s o f t y p e S M A L
0077260 L P , L A R G E P , F I X P
0077300 , F L O A T P , e t c . ,
0077320 b u t c a n s i m p l y a
0077340 s k w h e t h e r N U M B E
0077360 R P C O V E R S t h e t y
0077400 p e o f t h a t e l e m e
0077420 n t . \r T h e e l e m e n t a
0077440 r y r e l a t i o n s a m o
0077460 n g t h e t y p e s , o u
0077500 t o f w h i c h a r b i t
0077520 r a r y t r a v e r s a l s
0077540 o f t h e t y p e s p a c
0077560 e c a n b e c o n s t r u
0077600 c t e d , a r e m a d e a
0077620 v a i l a b l e v i a : \r ( S
0077640 U B T Y P E T Y P E ) \t [ F u
0077660 n c t i o n ] \r R e t u r n s
0077700 t h e l i s t o f t y p e
0077720 s t h a t a r e i m m e d
0077740 i a t e s u b t y p e s o f
0077760 T Y P E . \r ( S U P E R T Y P
0100000 E S T Y P E ) \t [ F u n c t i
0100020 o n ] \r R e t u r n s t h e
0100040 l i s t o f t y p e s t h
0100060 a t a r e i m m e d i a t e
0100100 s u p e r t y p e s o f T
0100120 Y P E . \r 2 \r \r T h e D e c
0100140 l a r a t i o n D a t a B a
0100160 s e \r 1 \r \r O n e o f t h e
0100200 p r i m a r y u s e s o f
0100220 t y p e d e c l a r a t i o
0100240 n s i s t o p r o v i d e
0100260 i n f o r m a t i o n t h a
0100300 t o t h e r s y s t e m s
0100320 c a n u s e t o i n t e r
0100340 p r e t o r o p t i m i z e
0100360 c o d e . F o r e x a m
0100400 p l e , o n e m i g h t c
0100420 h o o s e t o w r i t e a
0100440 l l a r i t h m e t i c o p
0100460 e r a t i o n s i n t e r m
0100500 s o f g e n e r a l f u n
0100520 c t i o n s l i k e P L U S
0100540 a n d T I M E S a n d t
0100560 h e n u s e v a r i a b l e
0100600 d e c l a r a t i o n s t o
0100620 s u b s t i t u t e m o r e
0100640 e f f i c i e n t , s p e c
0100660 i a l - p u r p o s e c o d e
0100700 a t c o m p i l e t i m e
0100720 b a s e d o n t h e t y
0100740 p e s o f t h e o p e r a
0100760 n d s . T o t h i s e n
0101000 d , a d a t a b a s e o
0101020 f d e c l a r a t i o n s i
0101040 s m a d e a v a i l a b l e
0101060 b y t h e D e c l p a c
0101100 k a g e t o s u p p o r t
0101120 t h e s e o p e r a t i o n s
0101140 . \r ( D E C L O F F O R M
0101160 ) \t [ F u n c t i o n ] \r R e t
0101200 u r n s t h e t y p e o f
0101220 F O R M i n t h e c u r
0101240 r e n t d e c l a r a t i o n
0101260 c o n t e x t . I f F O
0101300 R M i s a n a t o m ,
0101320 D E C L O F w i l l l o o k
0101340 u p t h a t a t o m d i
0101360 r e c t l y i n i t s d a
0101400 t a b a s e o f c u r r e
0101420 n t d e c l a r a t i o n s .
0101440 O t h e r w i s e , D E
0101460 C L O F w i l l l o o k o
0101500 n t h e p r o p e r t y l
0101520 i s t o f ( C A R F O R M
0101540 ) f o r a D E C L O F p
0101560 r o p e r t y , a s d e s c
0101600 r i b e d b e l o w . I f
0101620 t h e r e i s n o D E C
0101640 L O F p r o p e r t y , D
0101660 E C L O F w i l l c h e c k
0101700 i f ( C A R F O R M ) i
0101720 s o n e o f a l a r g e
0101740 s e t o f f u n c t i o n
0101760 s o f k n o w n r e s u l
0102000 t t y p e ( e . g . , t h
0102020 e a r i t h m e t i c f u n
0102040 c t i o n s ) . F a i l i n
0102060 g t h a t , i f ( C A R
0102100 F O R M ) h a s a M A C R
0102120 O p r o p e r t y , D E C L
0102140 O F w i l l a p p l y i t
0102160 s e l f t o t h e r e s u
0102200 l t o f e x p a n d i n g
0102220 ( w i t h E X P A N D M A C R
0102240 O ) , t h e m a c r o d e
0102260 f i n i t i o n . F i n a l
0102300 l y , i f F O R M i s a
0102320 L i s p p r o g r a m e l
0102340 e m e n t t h a t D E C L O
0102360 F 251 251 u n d e r s t a n d s '
0102400 ' ( e . g . , a C O N D
0102420 , P R O G , S E L E C T Q ,
0102440 e t c . ) , D E C L O F a
0102460 p p l i e s i t s e l f r e
0102500 c u r s i v e l y t o t h e
0102520 p a r t ( s ) o f t h e
0102540 c o n t a i n e d f o r m w
0102560 h i c h w i l l b e r e t
0102600 u r n e d a s v a l u e . 1
0102620 4 \r D E C L O F \t [ P r o p
0102640 e r t y ] \r A l l o w s t h e
0102660 s p e c i f i c a t i o n o
0102700 f t h e t y p e o f t h
0102720 e v a l u e s r e t u r n e
0102740 d b y a p a r t i c u l a
0102760 r f u n c t i o n . T h e
0103000 v a l u e o f t h e D E
0103020 C L O F p r o p e r t y c a
0103040 n b e e i t h e r a t y
0103060 p e , i . e . , a t y p e
0103100 n a m e o r a t y p e
0103120 e x p r e s s i o n , o r a
0103140 l i s t o f t h e f o r
0103160 m ( F U N C T I O N F N )
0103200 , w h e r e F N i s a
0103220 f u n c t i o n o b j e c t .
0103240 F N w i l l b e a p
0103260 p l i e d ( b y D E C L O F
0103300 ) t o t h e f o r m w h
0103320 o s e C A R h a s t h i s
0103340 D E C L O F p r o p e r t y
0103360 o n i t s p r o p e r t y
0103400 l i s t . T h e v a l u
0103420 e o f t h i s f u n c t i
0103440 o n a p p l i c a t i o n w
0103460 i l l t h e n b e c o n s
0103500 i d e r e d t o b e t h e
0103520 t y p e o f t h e f o r
0103540 m . \r A s a n e x a m p l e
0103560 o f h o w d e c l a r a t
0103600 i o n s c a n b e u s e d
0103620 t o a u t o m a t i c a l l
0103640 y g e n e r a t e m o r e
0103660 e f f i c i e n t c o d e ,
0103700 c o n s i d e r a n a r i t
0103720 h m e t i c p a c k a g e .
0103740 D e c l a r a t i o n s o f
0103760 n u m e r i c v a r i a b l
0104000 e s c o u l d b e u s e d
0104020 t o g u i d e c o d e g
0104040 e n e r a t i o n t o a v o
0104060 i d t h e i n e f f i c i e
0104100 n c i e s o f I n t e r l i
0104120 s p ' s h a n d l i n g o f
0104140 a r i t h m e t i c v a l u
0104160 e s . N o t o n l y c o
0104200 u l d t h e g e n e r i c
0104220 a r i t h m e t i c f u n c t
0104240 i o n s b e a u t o m a t i
0104260 c a l l y s p e c i a l i z e
0104300 d , a s s u g g e s t e d
0104320 a b o v e , b u t b y r e
0104340 d e f i n i n g t h e B I N
0104360 D F N a n d t h e S E T F
0104400 N p r o p e r t i e s f o r
0104420 t h e t y p e s F L O A T
0104440 P a n d L A R G E P t o
0104460 r e u s e s t o r a g e i n
0104500 t h e a p p r o p r i a t e
0104520 c o n t e x t s ( i . e . ,
0104540 w h e n t h e n e w v a
0104560 l u e c a n b e d e t e r
0104600 m i n e d t o b e o f t
0104620 h e a p p r o p r i a t e t
0104640 y p e ) , t r e m e n d o u s
0104660 e c o n o m i e s c o u l d
0104700 b e r e a l i z e d b y
0104720 n o t a l l o c a t i n g s
0104740 t o r a g e t o i n t e r m
0104760 e d i a t e r e s u l t s t
0105000 h a t m u s t l a t e r b
0105020 e r e c l a i m e d b y t
0105040 h e g a r b a g e c o l l e
0105060 c t o r . T h e D e c l
0105100 p a c k a g e h a s b e e n
0105120 u s e d a s t h e b a s
0105140 i s f o r s e v e r a l s
0105160 u c h c o d e o p t i m i z
0105200 i n g s y s t e m s . \r 2 \r \r
0105220 D e c l a r a t i o n s a n d
0105240 M a s t e r s c o p e \r 1 \r \r
0105260 T h e D e c l p a c k a g e
0105300 n o t i f i e s M A S T E R
0105320 S C O P E a b o u t t y p e
0105340 d e c l a r a t i o n s a n
0105360 d d e f i n e s a n e w
0105400 M A S T E R S C O P E r e l a
0105420 t i o n , T Y P E , w h i
0105440 c h d e p e n d s o n d e
0105460 c l a r a t i o n s . T h u s
0105500 , t h e u s e r c a n a
0105520 s k q u e s t i o n s s u c
0105540 h a s 251 251 W H O U S E S
0105560 M U M B L E A S A T Y P
0105600 E ? , ' ' 251 251 D O E S F O
0105620 O U S E F I X P A S A
0105640 T Y P E ? , ' ' a n d s o
0105660 o n . \r 2 \r \r E n d N o t e s
0105700 \r 1 \r \r 1 . U S E D I N
0105720 i s m a i n l y f o r d o
0105740 c u m e n t a t i o n p u r p
0105760 o s e s , s i n c e t h e r
0106000 e i s
0106020 n o w a y f o r
0106040 s u c h a r e s t r i c t
0106060 i o n t o b e e n f o r c
0106100 e d . \r 2 . L i k e U
0106120 S E D I N d e c l a r a t i o
0106140 n s , F R E E a n d B O U
0106160 N D I N d e c l a r a t i o n
0106200 s c a n n o t b e c
0106220 h e c k e d , a n d a r e
0106240 f o r d o c u m e n t a t i o
0106260 n p u r p o s e s o n l y .
0106300 \r 3 . W i t h t h i s
0106320 e x c e p t i o n , a s s i g
0106340 n m e n t s t o v a r i a b
0106360 l e s f r o m w i t h i n
0106400 t h e b r e a k a r e n o
0106420 t c o n s i d e r e d t o
0106440 b e i n t h e s c o p e
0106460 o f t h e d e c l a r a t i
0106500 o n s t h a t w e r e i n
0106520 e f f e c t w h e n t h e
0106540 b r e a k t o o k p l a c
0106560 e a n d s o a r e n o t
0106600 c h e c k e d . \r 4 . L
0106620 S T i s d e f i n e d a s
0106640 e i t h e r L I S T P o r
0106660 N I L . i . e . , a l i
0106700 s t o r N I L . T h e
0106720 n a m e L S T i s u s e d
0106740 b e c a u s e t h e n a m
0106760 e L I S T i s t r e a t e
0107000 d s p e c i a l l y b y C
0107020 L I S P . A L I S T i s
0107040 d e f i n e d a s e i t h
0107060 e r N I L o r a l i s t
0107100 o f e l e m e n t s e a c
0107120 h o f w h i c h i s o f
0107140 t y p e L I S T P . \r 5 .
0107160 W h e n a v a l u e i
0107200 s t e s t e d , t h e c o
0107220 m p o n e n t t y p e t e s
0107240 t s a r e a p p l i e d f
0107260 r o m l e f t t o r i g h
0107300 t . \r 6 . T h e b u i l t
0107320 - i n a g g r e g a t e t y
0107340 p e s a r e A R R A P , L
0107360 I S T P , L S T , a n d S
0107400 T R I N G P ( a n d t h e i
0107420 r s u b t y p e s ) . \r 7 .
0107440 A s n o p r e d e f i n
0107460 e d t y p e h a s a b i
0107500 n d i n g f u n c t i o n ,
0107520 t h i s i s o f n o c
0107540 o n c e r n u n t i l t h e
0107560 u s e r d e f i n e s o r
0107600 r e d e f i n e s a t y p
0107620 e t o h a v e a b i n d
0107640 i n g f u n c t i o n . \r 8 .
0107660 A c t u a l l y , a n y
0107700 p r o p e r t y c a n b e
0107720 a t t a c h e d t o a t
0107740 y p e , a n d w i l l b e
0107760 a v a i l a b l e f o r u
0110000 s e b y u s e r f u n c t
0110020 i o n s v i a t h e f u n
0110040 c t i o n G E T D E C L T Y P
0110060 E P R O P . \r 9 . T y p i c
0110100 a l l y , t h e T E S T F N
0110120 f o r a t y p e i s d
0110140 e r i v e d f r o m i t s
0110160 t y p e e x p r e s s i o n
0110200 , r a t h e r t h a n s p
0110220 e c i f i e d e x p l i c i t
0110240 l y . T h e a b i l i t y
0110260 t o s p e c i f y t h e
0110300 T E S T F N i s p r o v i d
0110320 e d f o r t h o s e c a s
0110340 e s w h e r e a p r e d i
0110360 c a t e i s a v a i l a b l
0110400 e t h a t i s m u c h m
0110420 o r e e f f i c i e n t t h
0110440 a n t h a t w h i c h w o
0110460 u l d b e d e r i v e d f
0110500 r o m t h e t y p e e x p
0110520 r e s s i o n . F o r e x
0110540 a m p l e , t h e t y p e
0110560 S M A L L P i s d e f i n e
0110600 d t o h a v e t h e f u
0110620 n c t i o n S M A L L P a s
0110640 i t s T E S T F N , r a t
0110660 h e r t h a n ( L A M B D A
0110700 ( D A T U M ) ( A N D ( N U M
0110720 B E R P D A T U M ) ( F I X P
0110740 D A T U M ) ( S M A L L P
0110760 D A T U M ) ) ) a s w o u l
0111000 d b e d e r i v e d f r o
0111020 m t h e s u b t y p e s t
0111040 r u c t u r e . \r 1 0 . N o t
0111060 e t h a t a t y p e ' s
0111100 E V E R Y F N i s n o t u
0111120 s e d i n t y p e t e s t
0111140 s f o r t h a t t y p e ,
0111160 b u t o n l y i n t y p
0111200 e t e s t s f o r t y p e
0111220 s d e f i n e d b y O F
0111240 e x p r e s s i o n s t h a t
0111260 u s e d t h i s t y p e
0111300 a s t h e a g g r e g a t e
0111320 t y p e . F o r e x a m
0111340 p l e , E V E R Y i s n o
0111360 t u s e d i n d e f i n i
0111400 n g w h e t h e r s o m e
0111420 v a l u e s a t i s f i e s
0111440 t h e t y p e L I S T P .
0111460 T h e D e c l p a c k a g
0111500 e n e v e r a p p l i e s
0111520 t h e E V E R Y F N o f a
0111540 t y p e t o a v a l u e
0111560 w i t h o u t f i r s t v
0111600 e r i f y i n g t h a t t h
0111620 e v a l u e s a t i s f i e
0111640 s t h a t t y p e . \r 1 1 .
0111660 F o r a P P R O G b i n
0111700 d i n g , F N w i l l b e
0111720 a p p l i e d t o n o a
0111740 r g u m e n t s i f t h e
0111760 i n i t i a l v a l u e i s
0112000 l e x i c a l l y N I L . \r
0112020 1 2 . T h e B I N D F N ,
0112040 i f a n y , a s s o c i a
0112060 t e d w i t h a t y p e
0112100 m a y b e s u p p r e s s e
0112120 d i n a d e c l a r a t i
0112140 o n c o n t e x t b y c r
0112160 e a t i n g a s u b t y p e
0112200 w i t h t h e t y p e - e
0112220 x p r e s s i n g o p e r a t
0112240 o r S H A R E D . \r 1 3 . D
0112260 e l e t i n g a n a m e d
0112300 t y p e c o u l d p o s s i
0112320 b l y i n v a l i d a t e o
0112340 t h e r t y p e d e f i n i
0112360 t i o n s t h a t h a v e
0112400 t h e n a m e d t y p e a
0112420 s a s u b t y p e o r s
0112440 u p e r t y p e . C o n s e
0112460 q u e n t l y , t h e d e l
0112500 e t e d t y p e i s s i m
0112520 p l y u n n a m e d a n d
0112540 l e f t i n t h e t y p e
0112560 s p a c e a s l o n g a
0112600 s i t i s n e e d e d . \r
0112620 1 4 . 251 251 T h e c u r r e n
0112640 t d e c l a r a t i o n c o
0112660 n t e x t ' ' i s d e f i n
0112700 e d b y t h e e n v i r o
0112720 n m e n t a t t h e t i m
0112740 e t h a t D E C L O F i s
0112760 c a l l e d . C o d e - r
0113000 e a d i n g s y s t e m s ,
0113020 s u c h a s t h e c o m p
0113040 i l e r a n d t h e i n t
0113060 e r p r e t e r , k e e p t
0113100 r a c k o f t h e l e x i
0113120 c a l s c o p e w i t h i n
0113140 w h i c h t h e y a r e
0113160 c u r r e n t l y o p e r a t
0113200 i n g , i n p a r t i c u l
0113220 a r , w h i c h d e c l a r
0113240 a t i o n s a r e i n e f
0113260 f e c t . N o t e t h a t
0113300 ( c u r r e n t l y ) D E C
0113320 L O F d o e s n o t h a v
0113340 e a c c e s s t o a n y
0113360 g l o b a l d a t a b a s e
0113400 o f d e c l a r a t i o n s
0113420 . F o r e x a m p l e ,
0113440 D E C L O F d o e s n o t
0113460 h a v e i n f o r m a t i o n
0113500 a v a i l a b l e a b o u t
0113520 t h e t y p e s o f a r
0113540 g u m e n t s o f , o r
0113560 t h e v a l u e r e t u r n
0113600 e d b y , a p a r t i c u
0113620 l a r f u n c t i o n , u n
0113640 l e s s i t i s c u r r e
0113660 n t l y 251 251 i n s i d e ' '
0113700 t h a t f u n c t i o n .
0113720 H o w e v e r , t h e D E C
0113740 L O F p r o p e r t y c a n
0113760 b e u s e d t o i n f o
0114000 r m D E C L O F o f t h e
0114020 t y p e o f t h e v a l
0114040 u e r e t u r n e d b y a
0114060 p a r t i c u l a r f u n c
0114100 t i o n . \0 \0 \0 \0 \0 003 ( L I S T
0114120 ( ( P A G E N I L ( P A P
0114140 E R S I Z E L e t t e r F O
0114160 L I O I N F O ( A R A B I C
0114200 ) S T A R T I N G P A G E #
0114220 2 6 5 ) ( 0 0 6 1 2 7
0114240 9 2 ) ( ( F O L I O N I L
0114260 ( P A R A L O O K S ( Q U A D
0114300 R I G H T ) C H A R L O O K
0114320 S ( S U P E R S C R I P T 0
0114340 I N V I S I B L E O F F S
0114360 E L E C T P O I N T O F F P
0114400 R O T E C T E D O F F S I Z
0114420 E 1 0 F A M I L Y M O D E
0114440 R N O V E R L I N E O F F
0114460 S T R I K E O U T O F F U N
0114500 D E R L I N E O F F E X P A
0114520 N S I O N R E G U L A R S L
0114540 O P E R E G U L A R W E I G
0114560 H T M E D I U M I N V E R T
0114600 E D O F F U S E R I N F O
0114620 N I L S T Y L E N I L ) F
0114640 O R M A T I N F O ( A R A B I
0114660 C ) ) ( 2 7 0 1 2 2 8
0114700 8 3 6 ) N I L ) ( H E A D
0114720 I N G N I L ( H E A D I N G
0114740 T Y P E F O O T I N G R ) (
0114760 5 4 2 7 5 5 8 3 6 ) N I
0115000 L ) ( H E A D I N G N I L
0115020 ( H E A D I N G T Y P E R E C
0115040 T O H E A D ) ( 5 4 7 6 0
0115060 5 5 8 3 6 ) N I L ) ( T E
0115100 X T N I L N I L ( 5 4 5
0115120 4 5 0 4 6 1 8 ) N I L ) )
0115140 ) ( P A G E N I L ( P A P
0115160 E R S I Z E L e t t e r F O
0115200 L I O I N F O ( A R A B I C
0115220 ) ) ( 0 0 6 1 2 7 9 2
0115240 ) ( ( F O L I O N I L ( P
0115260 A R A L O O K S ( Q U A D L
0115300 E F T ) C H A R L O O K S (
0115320 S U P E R S C R I P T 0 I N
0115340 V I S I B L E O F F S E L E
0115360 C T P O I N T O F F P R O T
0115400 E C T E D O F F S I Z E 1
0115420 0 F A M I L Y M O D E R N
0115440 O V E R L I N E O F F S T R
0115460 I K E O U T O F F U N D E R
0115500 L I N E O F F E X P A N S I
0115520 O N R E G U L A R S L O P E
0115540 R E G U L A R W E I G H T
0115560 M E D I U M I N V E R T E D
0115600 O F F U S E R I N F O N I L
0115620 S T Y L E N I L ) F O R M
0115640 A T I N F O ( A R A B I C
0115660 ) ) ( 5 4 1 2 2 8 8 3 6
0115700 ) N I L ) ( H E A D I N G
0115720 N I L ( H E A D I N G T Y P E
0115740 F O O T I N G V ) ( 5 4 2
0115760 7 5 5 8 3 6 ) N I L ) (
0116000 H E A D I N G N I L ( H E A
0116020 D I N G T Y P E V E R S O H E
0116040 A D ) ( 5 4 7 6 0 5 5 8
0116060 3 6 ) N I L ) ( T E X T N
0116100 I L N I L ( 5 4 5 4 5 0
0116120 4 6 8 4 ) N I L ) ) ) ( P
0116140 A G E N I L ( P A P E R S I
0116160 Z E L e t t e r F O L I O I
0116200 N F O ( A R A B I C ) )
0116220 ( 0 0 6 1 2 7 9 2 ) ( (
0116240 F O L I O N I L ( P A R A L
0116260 O O K S ( Q U A D R I G H T
0116300 ) C H A R L O O K S ( S U P
0116320 E R S C R I P T 0 I N V I S
0116340 I B L E O F F S E L E C T P
0116360 O I N T O F F P R O T E C T
0116400 E D O F F S I Z E 1 0 F
0116420 A M I L Y M O D E R N O V E
0116440 R L I N E O F F S T R I K E
0116460 O U T O F F U N D E R L I N
0116500 E O F F E X P A N S I O N
0116520 R E G U L A R S L O P E R E
0116540 G U L A R W E I G H T M E D
0116560 I U M I N V E R T E D O F F
0116600 U S E R I N F O N I L S T
0116620 Y L E N I L ) F O R M A T I
0116640 N F O ( A R A B I C ) )
0116660 ( 2 7 0 1 2 2 8 8 3 6 )
0116700 N I L ) ( H E A D I N G N I
0116720 L ( H E A D I N G T Y P E F
0116740 O O T I N G R ) ( 5 4 2 7
0116760 5 5 8 3 6 ) N I L ) ( H E
0117000 A D I N G N I L ( H E A D I
0117020 N G T Y P E R E C T O H E A D
0117040 ) ( 5 4 7 6 0 5 5 8 3 6
0117060 ) N I L ) ( T E X T N I L
0117100 N I L ( 5 4 5 4 5 0 4
0117120 6 8 4 ) N I L ) ) ) ) ) \0 \0 \0
0117140 \0 \0 005 \0 025 \0 ) \0 314 \0 314 001 370 \0 \v \0
0117160 \0 \0 \0 002 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0117200 \0 \0 \0 \0 001 T \0 \0 \0 \0 \0 \0 \0 \0 \0 (
0117220 \0 314 \0 336 001 370 \0 \v \0 \0 \0 \0 002 004 \0 \0
0117240 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0117260 \0 \0 \0 \0 \0 \0 \0 ) \0 314 \0 314 001 370 \0 \a
0117300 \0 \0 \0 \0 002 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0117320 \0 \0 \0 \0 \0 001 T \0 \0 \0 \0 \0 \0 \0 \0 \0
0117340 ( \0 314 \0 336 001 370 \0 \a \0 \0 \0 \0 002 004 \0
0117360 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0117400 \0 \0 \0 \0 \0 \0 \0 \0 / \0 314 \0 314 001 370 \0
0117420 \a \0 \0 \0 \0 003 004 \0 \0 001 001 370 001 \0 \0 \0
0117440 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 T \0 \0
0117460 \0 \0 \0 \0 \0 \0 \0 ( \0 \0 \0 \0 001 370 \0 2
0117500 \0 \0 \0 \0 002 001 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0117520 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 .
0117540 \0 314 \0 314 001 370 \0 \0 \0 \0 \0 \0 003 004 \0 \0
0117560 001 001 370 001 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0117600 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 . \0 314
0117620 \0 314 001 370 \0 \a \0 \0 \0 \0 003 004 \0 \0 001 001
0117640 370 001 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0117660 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 ) \0 314 \0 314
0117700 001 370 \0 \v \0 \0 \0 \0 002 004 \0 \0 \0 \0 \0 \0
0117720 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 T \0
0117740 \0 \0 \0 \0 ( \0 314 \0 314 001 370 \0 \0 \0 \0 \0
0117760 \0 002 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0120000 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 ) \0 \0 \0
0120020 \0 001 370 \0 2 \0 \0 \0 \0 002 001 \0 \0 \0 \0 \0
0120040 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 T
0120060 \0 \0 \0 \0 \0 ( \0 314 \0 314 001 370 \0 \a \0 \0
0120100 \0 \0 002 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0120120 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 ( \0 314
0120140 \0 314 001 370 \0 \v \0 \0 \0 \0 002 004 \0 \0 \0 \0
0120160 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0120200 \0 \0 \0 \0 \0 ) \0 \0 \0 \0 001 370 \0 \0 \0 \0
0120220 \0 \0 002 001 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0120240 \0 \0 \0 \0 \0 \0 \0 001 T \0 \0 \0 \0 \0 ) \0
0120260 314 \0 314 001 370 \0 \0 \0 \0 \0 \0 002 002 \0 \0 \0
0120300 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0120320 001 T \0 \0 \0 \0 \0 ) \0 314 \0 314 001 370 \0 \0
0120340 \0 \0 \0 \0 002 001 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0120360 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 T \0 \0 \0 \0 \0
0120400 < \0 \0 \0 \0 001 370 \0 \0 \0 \0 \0 \0 002 001 \0
0120420 \0 \0 \0 \0 \0 \0 \v P A G E H E A D I
0120440 N G \0 \t V E R S O H E A D \0 \0 \0
0120460 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 < \0 \0 \0
0120500 \0 001 370 \0 \0 \0 \0 \0 \0 002 002 \0 \0 \0 \0 \0
0120520 \0 \0 \v P A G E H E A D I N G \0 \t
0120540 R E C T O H E A D \0 \0 \0 \0 \0 \0 \0
0120560 \0 \0 \0 \0 \0 \0 \0 \0 ; \0 \0 \0 \0 001 370 \0
0120600 001 \0 \0 \0 001 002 002 \0 \0 \0 \0 \0 \0 \0 \v P
0120620 A G E H E A D I N G \0 \b F O O T
0120640 I N G V \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0120660 \0 \0 \0 ; \0 \0 \0 \0 001 370 \0 001 \0 \0 \0 001
0120700 002 001 \0 \0 \0 \0 \0 \0 \0 \v P A G E H E
0120720 A D I N G \0 \b F O O T I N G R \0
0120740 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 ( \0
0120760 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 002 001 \0 \0 \0
0121000 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0121020 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \n \0 024 \0
0121040 006 M O D E R N \0 \b \0 002 \0 \0 \0 \0 \0
0121060 \0 \0 024 \0 006 M O D E R N \0 \b \0 003 \0
0121100 \0 \0 \0 \0 \0 \0 024 \0 006 M O D E R N \0
0121120 \n 377 376 \0 \0 \0 \0 001 \0 \0 026 \0 \b T E R
0121140 M I N A L \0 006 377 376 \0 \0 \0 \0 \0 \0 \0
0121160 026 \0 \b T E R M I N A L \0 \n \0 \0 \0
0121200 \0 \0 \0 \0 \0 \0 024 \0 006 M O D E R N \0
0121220 \n \0 \0 \0 \0 \0 \0 001 \0 \0 024 \0 006 M O D
0121240 E R N \0 016 \0 \0 \0 \0 \0 \0 002 \0 \0 024 \0
0121260 006 M O D E R N \0 022 \0 \0 \0 \0 \0 \0 002
0121300 \0 \0 024 \0 006 M O D E R N \0 \n \0 \0 \0
0121320 \0 \0 \0 \0 \0 \0 ? \0 1 ( D E F A U L
0121340 T F O N T 1 ( G A C H A 1
0121360 0 ) ( G A C H A 8 ) ( T E
0121400 R M I N A L 8 ) ) \0 \n \0 \0 \0 \0
0121420 \0 \0 \0 \0 \0 \0 \0 \0 \0 002 \0 024 \0 \0 \0 002
0121440 \0 001 \0 \v H R U L E . G E T F N 001
0121460 \0 ? \0 1 ( D E F A U L T F O N T
0121500 1 ( G A C H A 1 0 ) ( G
0121520 A C H A 8 ) ( T E R M I N A
0121540 L 8 ) ) \0 \n \0 \0 \0 \0 \0 \0 \0 \0 \0
0121560 \0 \0 001 \0 \0 \0 \0 \n \0 \0 \0 \0 \0 002 \0 024
0121600 \0 \0 \0 035 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0
0121620 023 \0 \0 \0 002 \0 001 \0 \v H R U L E . G
0121640 E T F N 001 \0 024 \0 006 M O D E R N \0
0121660 \n \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 \0 \0 \0
0121700 \0 \t \0 \0 \0 \0 \0 002 \0 023 \0 \0 \0 035 \0 \0
0121720 \0 \0 \t \0 \0 \0 \0 \0 002 \0 022 \0 \0 \0 005 \0
0121740 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 022 \0 \0 \0 002
0121760 \0 001 \0 \v H R U L E . G E T F N 001
0122000 \0 024 \0 006 M O D E R N \0 \n \0 \0 \0 \0
0122020 \0 \0 \0 \0 \0 \0 \0 001 \0 \0 \0 \0 \t \0 \0 \0
0122040 \0 \0 002 \0 021 \0 \0 \0 023 \0 \0 \0 \0 \t \0 \0
0122060 \0 \0 \0 002 \0 021 \0 \0 \0 002 \0 001 \0 \v H R
0122100 U L E . G E T F N 001 \0 024 \0 006 M O
0122120 D E R N \0 \n \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0122140 \0 001 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 017 \0
0122160 \0 \0 005 \0 \0 \0 \0 \b \0 \0 \0 \0 \0 002 \0 020
0122200 \0 \0 \0 002 \0 001 \0 \v H R U L E . G E
0122220 T F N 001 \0 024 \0 006 M O D E R N \0 022
0122240 \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0 001 \0 \0 \0 \0
0122260 \b \0 \0 \0 \0 \0 002 \0 \v \0 \0 \0 002 \0 001 \0
0122300 \v H R U L E . G E T F N 001 \0 024 \0
0122320 006 M O D E R N \0 016 \0 \0 \0 \0 \0 \0 002
0122340 \0 \0 \0 \0 001 \0 \0 \0 \0 \a \0 \0 \0 \0 \0 002
0122360 \0 016 \0 \0 \0 \r \0 \0 \0 \0 \a \0 \0 \0 \0 \0
0122400 002 \0 016 \0 \0 \0 002 \0 001 \0 \v H R U L E
0122420 . G E T F N 001 \0 024 \0 006 M O D E R
0122440 N \0 016 \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0 001 \0
0122460 \0 \0 \0 \a \0 \0 \0 \0 \0 002 \0 \t \0 \0 \0 306
0122500 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \f \0 \0 001
0122520 2 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \f \0 \0
0122540 002 315 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \f \0
0122560 \0 \0 c \0 \0 \0 \0 \t \0 \0 \0 \t \0 \0 \0 \0
0122600 006 \0 \0 001 " \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002
0122620 \0 \f \0 \0 001 | \0 \0 \0 \0 \t \0 \0 \0 \0 \0
0122640 002 \0 \v \0 \0 \0 002 \0 001 \0 \v H R U L E
0122660 . G E T F N 001 \0 024 \0 006 M O D E R
0122700 N \0 016 \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0 001 \0
0122720 \0 \0 \0 \a \0 \0 \0 \0 \0 002 \0 016 \0 \0 \0 037
0122740 \0 \0 \0 \0 \a \0 \0 \0 \0 \0 002 \0 016 \0 \0 \0
0122760 002 \0 001 \0 \v H R U L E . G E T F N
0123000 001 \0 024 \0 006 M O D E R N \0 016 \0 \0 \0
0123020 \0 \0 \0 002 \0 \0 \0 \0 001 \0 \0 \0 \0 \t \0 \0
0123040 \0 \0 \0 002 \0 \r \0 \0 001 202 \0 \0 \0 \0 \t \0
0123060 \0 \0 \0 \0 002 \0 \f \0 \0 \0 D \0 \0 \0 \0 \t
0123100 \0 \0 \0 001 \0 \0 \0 \0 006 \0 \0 \0 004 \0 \0 \0
0123120 \0 \t \0 \0 \0 \0 \0 002 \0 \f \0 \0 \0 \f \0 \0
0123140 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \n \0 \0 \0 \t \0
0123160 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \n \0 \0 \0 023
0123200 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \n \0 \0 \0
0123220 # \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \f \0 \0
0123240 \0 * \0 \0 \0 \0 \t \0 \0 \0 002 \0 \0 \0 \0 006
0123260 \0 \0 001 0 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0
0123300 \f \0 \0 \0 027 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002
0123320 \0 \n \0 \0 \0 \t \0 \0 \0 \0 005 \0 \0 \0 \0 \0
0123340 002 \0 \n \0 \0 \0 023 \0 \0 \0 \0 005 \0 \0 \0 \0
0123360 \0 002 \0 \n \0 \0 \0 # \0 \0 \0 \0 005 \0 \0 \0
0123400 \0 \0 002 \0 \f \0 \0 \0 313 \0 \0 \0 \0 \t \0 \0
0123420 \0 022 \0 \0 \0 \0 006 \0 \0 \0 305 \0 \0 \0 \0 \t
0123440 \0 \0 \0 \0 \0 002 \0 \f \0 \0 \0 032 \0 \0 \0 \0
0123460 005 \0 \0 \0 \0 \0 002 \0 \n \0 \0 \0 026 \0 \0 \0
0123500 \0 005 \0 \0 \0 \0 \0 002 \0 \f \0 \0 \0 D \0 \0
0123520 \0 \0 \t \0 \0 \0 003 \0 \0 \0 \0 006 \0 \0 \0 4
0123540 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \f \0 \0 \0
0123560 L \0 \0 \0 \0 \t \0 \0 \0 001 \0 \0 \0 \0 006 \0
0123600 \0 \0 @ \0 \0 \0 \0 \t \0 \0 \0 001 \0 \0 \0 \0
0123620 006 \0 \0 \0 324 \0 \0 \0 \0 \t \0 \0 \0 001 \0 \0
0123640 \0 \0 006 \0 \0 \0 263 \0 \0 \0 \0 \t \0 \0 \0 001
0123660 \0 \0 \0 \0 006 \0 \0 \0 027 \0 \0 \0 \0 \t \0 \0
0123700 \0 \0 \0 002 \0 \f \0 \0 \0 1 \0 \0 \0 \0 005 \0
0123720 \0 \0 \0 \0 002 \0 \n \0 \0 \0 \t \0 \0 \0 \0 005
0123740 \0 \0 \0 \0 \0 002 \0 \n \0 \0 \0 023 \0 \0 \0 \0
0123760 005 \0 \0 \0 \0 \0 002 \0 \n \0 \0 \0 # \0 \0 \0
0124000 \0 005 \0 \0 \0 \0 \0 002 \0 \f \0 \0 \0 > \0 \0
0124020 \0 \0 \t \0 \0 \0 002 \0 \0 \0 \0 006 \0 \0 \0 337
0124040 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \f \0 \0 \0
0124060 032 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \n \0 \0
0124100 \0 2 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \f \0
0124120 \0 \0 356 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \f
0124140 \0 \0 \0 0 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0
0124160 \n \0 \0 \0 1 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002
0124200 \0 \n \0 \0 \0 \b \0 \0 \0 \0 005 \0 \0 \0 \0 \0
0124220 002 \0 \n \0 \0 \0 023 \0 \0 \0 \0 005 \0 \0 \0 \0
0124240 \0 002 \0 \n \0 \0 \0 # \0 \0 \0 \0 005 \0 \0 \0
0124260 \0 \0 002 \0 \f \0 \0 001 A \0 \0 \0 \0 \t \0 \0
0124300 \0 \0 \0 002 \0 \f \0 \0 001 201 \0 \0 \0 \0 \t \0
0124320 \0 \0 \0 \0 002 \0 \f \0 \0 \0 0 \0 \0 \0 \0 005
0124340 \0 \0 \0 \0 \0 002 \0 \n \0 \0 \0 1 \0 \0 \0 \0
0124360 005 \0 \0 \0 \0 \0 002 \0 \n \0 \0 \0 3 \0 \0 \0
0124400 \0 005 \0 \0 \0 \0 \0 002 \0 \n \0 \0 \0 1 \0 \0
0124420 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \n \0 \0 \0 * \0
0124440 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \n \0 \0 \0 &
0124460 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \n \0 \0 \0
0124500 034 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \n \0 \0
0124520 \0 022 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \f \0
0124540 \0 002 \0 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \v
0124560 \0 \0 \0 002 \0 001 \0 \v H R U L E . G E
0124600 T F N 001 \0 024 \0 006 M O D E R N \0 016
0124620 \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0 001 \0 \0 \0 \0
0124640 \a \0 \0 \0 \0 \0 002 \0 016 \0 \0 \0 \n \0 \0 \0
0124660 \0 \a \0 \0 \0 \0 \0 002 \0 016 \0 \0 \0 002 \0 001
0124700 \0 \v H R U L E . G E T F N 001 \0 024
0124720 \0 006 M O D E R N \0 016 \0 \0 \0 \0 \0 \0
0124740 002 \0 \0 \0 \0 001 \0 \0 \0 \0 \a \0 \0 \0 \0 \0
0124760 002 \0 \r \0 \0 001 342 \0 \0 \0 \0 \t \0 \0 \0 022
0125000 \0 \0 \0 \0 006 \0 \0 001 \0 \0 \0 \0 \t \0 \0
0125020 \0 \0 \0 002 \0 \f \0 \0 \0 004 \0 \0 \0 \0 006 \0
0125040 \0 \0 207 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \f
0125060 \0 \0 \0 004 \0 \0 \0 \0 006 \0 \0 002 V \0 \0 \0
0125100 \0 \t \0 \0 \0 \0 \0 002 \0 \f \0 \0 \0 006 \0 \0
0125120 \0 \0 006 \0 \0 \0 k \0 \0 \0 \0 \t \0 \0 \0 005
0125140 \0 \0 \0 \0 006 \0 \0 001 005 \0 \0 \0 \0 \t \0 \0
0125160 \0 \0 \0 002 \0 \f \0 \0 \0 034 \0 \0 \0 \0 005 \0
0125200 \0 \0 \0 \0 002 \0 \n \0 \0 \0 032 \0 \0 \0 \0 005
0125220 \0 \0 \0 \0 \0 002 \0 \n \0 \0 \0 017 \0 \0 \0 \0
0125240 005 \0 \0 \0 \0 \0 002 \0 \f \0 \0 \0 262 \0 \0 \0
0125260 \0 \t \0 \0 \0 001 \0 \0 \0 \0 002 \0 \0 \0 001 \0
0125300 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \f \0 \0 \0 %
0125320 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \n \0 \0 \0
0125340 \n \0 \0 \0 \0 004 \0 \0 \0 020 \0 \0 \0 \0 005 \0
0125360 \0 \0 \0 \0 002 \0 \n \0 \0 \0 \v \0 \0 \0 \0 005
0125400 \0 \0 \0 \0 \0 002 \0 \f \0 \0 \0 \a \0 \0 \0 \0
0125420 006 \0 \0 \0 w \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002
0125440 \0 \f \0 \0 \0 I \0 \0 \0 \0 005 \0 \0 \0 \0 \0
0125460 002 \0 \n \0 \0 \0 032 \0 \0 \0 \0 005 \0 \0 \0 \0
0125500 \0 002 \0 \n \0 \0 \0 017 \0 \0 \0 \0 005 \0 \0 \0
0125520 \0 \0 002 \0 \f \0 \0 001 v \0 \0 \0 \0 \t \0 \0
0125540 \0 \0 \0 002 \0 \v \0 \0 \0 002 \0 001 \0 \v H R
0125560 U L E . G E T F N 001 \0 024 \0 006 M O
0125600 D E R N \0 016 \0 \0 \0 \0 \0 \0 002 \0 \0 \0
0125620 \0 001 \0 \0 \0 \0 \a \0 \0 \0 \0 \0 002 \0 016 \0
0125640 \0 \0 \a \0 \0 \0 \0 \a \0 \0 \0 \0 \0 002 \0 016
0125660 \0 \0 \0 002 \0 001 \0 \v H R U L E . G E
0125700 T F N 001 \0 024 \0 006 M O D E R N \0 016
0125720 \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0 001 \0 \0 \0 \0
0125740 \t \0 \0 \0 \0 \0 002 \0 \t \0 \0 \0 331 \0 \0 \0
0125760 \0 \t \0 \0 \0 004 \0 \0 \0 \0 006 \0 \0 \0 005 \0
0126000 \0 \0 \0 \t \0 \0 \0 006 \0 \0 \0 \0 006 \0 \0 \0
0126020 o \0 \0 \0 \0 \t \0 \0 \0 036 \0 \0 \0 \0 006 \0
0126040 \0 \0 003 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \f
0126060 \0 \0 \0 360 \0 \0 \0 \0 \t \0 \0 \0 004 \0 \0 \0
0126100 \0 006 \0 \0 \0 215 \0 \0 \0 \0 \t \0 \0 \0 005 \0
0126120 \0 \0 \0 006 \0 \0 \0 v \0 \0 \0 \0 \t \0 \0 \0
0126140 \0 \0 002 \0 \f \0 \0 001 314 \0 \0 \0 \0 \t \0 \0
0126160 \0 \0 \0 002 \0 \f \0 \0 \0 326 \0 \0 \0 \0 \t \0
0126200 \0 \0 \0 \0 002 \0 \f \0 \0 \0 027 \0 \0 \0 \0 005
0126220 \0 \0 \0 \0 \0 002 \0 \n \0 \0 \0 $ \0 \0 \0 \0
0126240 005 \0 \0 \0 \0 \0 002 \0 \n \0 \0 \0 & \0 \0 \0
0126260 \0 005 \0 \0 \0 \0 \0 002 \0 \n \0 \0 \0 032 \0 \0
0126300 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \n \0 \0 001 C \0
0126320 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 003 \0 \0 \0 034
0126340 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \n \0 \0 \0
0126360 033 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \n \0 \0
0126400 \0 033 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \n \0
0126420 \0 \0 \v \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \n
0126440 \0 \0 001 330 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0
0126460 \f \0 \0 \0 $ \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002
0126500 \0 \n \0 \0 \0 ! \0 \0 \0 \0 005 \0 \0 \0 \0 \0
0126520 002 \0 \n \0 \0 \0 # \0 \0 \0 \0 005 \0 \0 \0 \0
0126540 \0 002 \0 \n \0 \0 \0 \f \0 \0 \0 \0 005 \0 \0 \0
0126560 001 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \f \0 \0
0126600 001 N \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \v \0
0126620 \0 \0 002 \0 001 \0 \v H R U L E . G E T
0126640 F N 001 \0 024 \0 006 M O D E R N \0 016 \0
0126660 \0 \0 \0 \0 \0 002 \0 \0 \0 \0 001 \0 \0 \0 \0 \a
0126700 \0 \0 \0 \0 \0 002 \0 016 \0 \0 \0 % \0 \0 \0 \0
0126720 \a \0 \0 \0 \0 \0 002 \0 016 \0 \0 \0 002 \0 001 \0
0126740 \v H R U L E . G E T F N 001 \0 024 \0
0126760 006 M O D E R N \0 016 \0 \0 \0 \0 \0 \0 002
0127000 \0 \0 \0 \0 001 \0 \0 \0 \0 \a \0 \0 \0 \0 \0 002
0127020 \0 \r \0 \0 001 202 \0 \0 \0 \0 \t \0 \0 \0 \0 \0
0127040 002 \0 \f \0 \0 \0 - \0 \0 \0 \0 \t \0 \0 \0 \0
0127060 \0 002 \0 \f \0 \0 \0 365 \0 \0 \0 \0 \t \0 \0 \0
0127100 022 \0 \0 \0 \0 006 \0 \0 \0 003 \0 \0 \0 \0 \t \0
0127120 \0 \0 \0 \0 002 \0 \f \0 \0 \0 032 \0 \0 \0 \0 \t
0127140 \0 \0 \0 \a \0 \0 \0 \0 006 \0 \0 \0 326 \0 \0 \0
0127160 \0 \t \0 \0 \0 \0 \0 002 \0 \v \0 \0 \0 002 \0 001
0127200 \0 \v H R U L E . G E T F N 001 \0 024
0127220 \0 006 M O D E R N \0 016 \0 \0 \0 \0 \0 \0
0127240 002 \0 \0 \0 \0 001 \0 \0 \0 \0 \a \0 \0 \0 \0 \0
0127260 002 \0 016 \0 \0 \0 5 \0 \0 \0 \0 \a \0 \0 \0 \0
0127300 \0 002 \0 016 \0 \0 \0 002 \0 001 \0 \v H R U L
0127320 E . G E T F N 001 \0 024 \0 006 M O D E
0127340 R N \0 016 \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0 001
0127360 \0 \0 \0 \0 \a \0 \0 \0 \0 \0 002 \0 \r \0 \0 003
0127400 > \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \f \0 \0
0127420 \0 \r \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \n \0
0127440 \0 \0 : \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \f
0127460 \0 \0 \0 g \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0
0127500 \f \0 \0 001 < \0 \0 \0 \0 \t \0 \0 \0 004 \0 \0
0127520 \0 \0 006 \0 \0 \0 ; \0 \0 \0 \0 \t \0 \0 \0 \n
0127540 \0 \0 \0 \0 006 \0 \0 \0 001 \0 \0 \0 \0 003 \0 \0
0127560 \0 \b \0 \0 \0 \0 006 \0 \0 \0 001 \0 \0 \0 \0 003
0127600 \0 \0 \0 001 \0 \0 \0 \0 006 \0 \0 \0 232 \0 \0 \0
0127620 \0 \t \0 \0 \0 001 \0 \0 \0 \0 002 \0 \0 \0 001 \0
0127640 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \f \0 \0 001 231
0127660 \0 \0 \0 \0 \t \0 \0 \0 001 \0 \0 \0 \0 006 \0 \0
0127700 \0 \0 \0 002 \0 \v \0 \0 \0 002 \0 001 \0 \v H R
0127720 U L E . G E T F N 001 \0 024 \0 006 M O
0127740 D E R N \0 016 \0 \0 \0 \0 \0 \0 002 \0 \0 \0
0127760 \0 001 \0 \0 \0 \0 \a \0 \0 \0 \0 \0 002 \0 016 \0
0130000 \0 \0 % \0 \0 \0 \0 \a \0 \0 \0 \0 \0 002 \0 016
0130020 \0 \0 \0 002 \0 001 \0 \v H R U L E . G E
0130040 T F N 001 \0 024 \0 006 M O D E R N \0 016
0130060 \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0 001 \0 \0 \0 \0
0130100 \a \0 \0 \0 \0 \0 002 \0 \r \0 \0 \0 214 \0 \0 \0
0130120 \0 \t \0 \0 \0 \f \0 \0 \0 \0 006 \0 \0 \0 P \0
0130140 \0 \0 \0 \t \0 \0 \0 006 \0 \0 \0 \0 006 \0 \0 \0
0130160 & \0 \0 \0 \0 \t \0 \0 \0 004 \0 \0 \0 \0 006 \0
0130200 \0 \0 g \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \v
0130220 \0 \0 \0 002 \0 001 \0 \v H R U L E . G E
0130240 T F N 001 \0 024 \0 006 M O D E R N \0 016
0130260 \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0 001 \0 \0 \0 \0
0130300 \a \0 \0 \0 \0 \0 002 \0 016 \0 \0 \0 \f \0 \0 \0
0130320 \0 \a \0 \0 \0 \0 \0 002 \0 016 \0 \0 \0 002 \0 001
0130340 \0 \v H R U L E . G E T F N 001 \0 024
0130360 \0 006 M O D E R N \0 016 \0 \0 \0 \0 \0 \0
0130400 002 \0 \0 \0 \0 001 \0 \0 \0 \0 \a \0 \0 \0 \0 \0
0130420 002 \0 \r \0 \0 001 031 \0 \0 \0 \0 \t \0 \0 \0 005
0130440 \0 \0 \0 \0 006 \0 \0 \0 001 \0 \0 \0 \0 \t \0 \0
0130460 \0 005 \0 \0 \0 \0 006 \0 \0 \0 021 \0 \0 \0 \0 \t
0130500 \0 \0 \0 005 \0 \0 \0 \0 006 \0 \0 \0 273 \0 \0 \0
0130520 \0 \t \0 \0 \0 \0 \0 002 \0 \f \0 \0 \0 357 \0 \0
0130540 \0 \0 \t \0 \0 \0 \t \0 \0 \0 \0 006 \0 \0 \0 326
0130560 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \v \0 \0 \0
0130600 002 \0 001 \0 \v H R U L E . G E T F N
0130620 001 \0 024 \0 006 M O D E R N \0 016 \0 \0 \0
0130640 \0 \0 \0 002 \0 \0 \0 \0 001 \0 \0 \0 \0 \a \0 \0
0130660 \0 \0 \0 002 \0 016 \0 \0 \0 & \0 \0 \0 \0 \a \0
0130700 \0 \0 \0 \0 002 \0 016 \0 \0 \0 002 \0 001 \0 \v H
0130720 R U L E . G E T F N 001 \0 024 \0 006 M
0130740 O D E R N \0 016 \0 \0 \0 \0 \0 \0 002 \0 \0
0130760 \0 \0 001 \0 \0 \0 \0 \a \0 \0 \0 \0 \0 002 \0 \r
0131000 \0 \0 001 ~ \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0
0131020 \v \0 \0 \0 002 \0 001 \0 \v H R U L E . G
0131040 E T F N 001 \0 024 \0 006 M O D E R N \0
0131060 016 \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0 017 \0 \0 \0
0131100 \0 \a \0 \0 \0 \0 \0 002 \0 016 \0 \0 \0 002 \0 001
0131120 \0 \v H R U L E . G E T F N 001 \0 024
0131140 \0 006 M O D E R N \0 016 \0 \0 \0 \0 \0 \0
0131160 002 \0 \0 \0 \0 001 \0 \0 \0 \0 \t \0 \0 \0 \0 \0
0131200 002 \0 \r \0 \0 \0 , \0 \0 \0 \0 \t \0 \0 \0 005
0131220 \0 \0 002 \0 \t \0 \0 001 315 \0 \0 \0 \0 \t \0 \0
0131240 \0 \0 \0 002 \0 \f \0 \0 \0 \r \0 \0 \0 \0 \t \0
0131260 \0 \0 003 \0 \0 \0 \0 006 \0 \0 001 017 \0 \0 \0 \0
0131300 \t \0 \0 \0 005 \0 \0 \0 \0 006 \0 \0 001 001 \0 \0
0131320 \0 \0 \t \0 \0 \0 005 \0 \0 \0 \0 006 \0 \0 001 325
0131340 \0 \0 \0 \0 \t \0 \0 \0 001 \0 \0 \0 \0 002 \0 \0
0131360 \0 001 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \f \0
0131400 \0 002 * \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \b
0131420 \0 \0 \0 035 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0
0131440 \f \0 \0 001 a \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002
0131460 \0 \b \0 \0 \0 \f \0 \0 \0 \0 \t \0 \0 \0 003 \0
0131500 \0 \0 \0 006 \0 \0 \0 \f \0 \0 \0 \0 \t \0 \0 \0
0131520 \0 \0 002 \0 \f \0 \0 \0 363 \0 \0 \0 \0 \t \0 \0
0131540 \0 \0 \0 002 \0 \f \0 \0 \0 226 \0 \0 \0 \0 \t \0
0131560 \0 \0 \0 \0 002 \0 \v \0 \0 \0 002 \0 001 \0 \v H
0131600 R U L E . G E T F N 001 \0 024 \0 006 M
0131620 O D E R N \0 016 \0 \0 \0 \0 \0 \0 002 \0 \0
0131640 \0 \0 001 \0 \0 \0 \0 \a \0 \0 \0 \0 \0 002 \0 016
0131660 \0 \0 \0 \v \0 \0 \0 \0 \a \0 \0 \0 \0 \0 002 \0
0131700 016 \0 \0 \0 002 \0 001 \0 \v H R U L E . G
0131720 E T F N 001 \0 024 \0 006 M O D E R N \0
0131740 016 \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0 001 \0 \0 \0
0131760 \0 \a \0 \0 \0 \0 \0 002 \0 \r \0 \0 001 213 \0 \0
0132000 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \b \0 \0 001 \t \0
0132020 \0 \0 \0 \t \0 \0 \0 \v \0 \0 \0 \0 006 \0 \0 001
0132040 260 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \b \0 \0
0132060 001 N \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 006 \0
0132100 \0 \0 002 \0 001 \0 \v H R U L E . G E T
0132120 F N 001 \0 024 \0 006 M O D E R N \0 \n \0
0132140 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 \0 \0 \0 \0 \t
0132160 \0 \0 \0 \0 \0 002 \0 016 \0 \0 \0 022 \0 \0 \0 \0
0132200 \a \0 \0 \0 \0 \0 002 \0 016 \0 \0 \0 002 \0 001 \0
0132220 \v H R U L E . G E T F N 001 \0 024 \0
0132240 006 M O D E R N \0 016 \0 \0 \0 \0 \0 \0 002
0132260 \0 \0 \0 \0 001 \0 \0 \0 \0 \a \0 \0 \0 \0 \0 002
0132300 \0 \r \0 \0 \0 273 \0 \0 \0 \0 \t \0 \0 \0 001 \0
0132320 \0 \0 \0 002 \0 \0 \0 001 \0 \0 \0 \0 \t \0 \0 \0
0132340 \0 \0 002 \0 \b \0 \0 \0 004 \0 \0 \0 \0 005 \0 \0
0132360 \0 \0 \0 002 \0 \a \0 \0 \0 026 \0 \0 \0 \0 005 \0
0132400 \0 \0 \0 \0 002 \0 \a \0 \0 \0 0 \0 \0 \0 \0 005
0132420 \0 \0 \0 \0 \0 002 \0 \a \0 \0 \0 & \0 \0 \0 \0
0132440 005 \0 \0 \0 \0 \0 002 \0 \a \0 \0 \0 + \0 \0 \0
0132460 \0 005 \0 \0 \0 \0 \0 002 \0 \a \0 \0 \0 \f \0 \0
0132500 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \a \0 \0 \0 \v \0
0132520 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \a \0 \0 \0 017
0132540 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \a \0 \0 \0
0132560 017 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \a \0 \0
0132600 \0 \r \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 025 \0
0132620 \0 \0 001 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 \b
0132640 \0 \0 \0 * \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0
0132660 \f \0 \0 \0 244 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002
0132700 \0 \f \0 \0 001 & \0 \0 \0 \0 \t \0 \0 \0 \0 \0
0132720 002 \0 \v \0 \0 \0 002 \0 001 \0 \v H R U L E
0132740 . G E T F N 001 \0 024 \0 006 M O D E R
0132760 N \0 016 \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0 001 \0
0133000 \0 \0 \0 \a \0 \0 \0 \0 \0 002 \0 016 \0 \0 \0 021
0133020 \0 \0 \0 \0 \a \0 \0 \0 \0 \0 002 \0 016 \0 \0 \0
0133040 002 \0 001 \0 \v H R U L E . G E T F N
0133060 001 \0 024 \0 006 M O D E R N \0 016 \0 \0 \0
0133100 \0 \0 \0 002 \0 \0 \0 \0 001 \0 \0 \0 \0 \a \0 \0
0133120 \0 \0 \0 002 \0 \r \0 \0 \0 216 \0 \0 \0 \0 \t \0
0133140 \0 \0 \0 \0 002 \0 \b \0 \0 \0 005 \0 \0 \0 \0 \t
0133160 \0 \0 \0 023 \0 \0 \0 \0 006 \0 \0 \0 024 \0 \0 \0
0133200 \0 \t \0 \0 \0 \0 \0 002 \0 \b \0 \0 002 T \0 \0
0133220 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \b \0 \0 \0 \b \0
0133240 \0 \0 \0 \t \0 \0 \0 021 \0 \0 \0 \0 006 \0 \0 \0
0133260 024 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \f \0 \0
0133300 002 025 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \b \0
0133320 \0 \0 \a \0 \0 \0 \0 \t \0 \0 \0 021 \0 \0 \0 \0
0133340 006 \0 \0 \0 024 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002
0133360 \0 \b \0 \0 \0 277 \0 \0 \0 \0 \t \0 \0 \0 \t \0
0133400 \0 \0 \0 006 \0 \0 \0 t \0 \0 \0 \0 \t \0 \0 \0
0133420 \n \0 \0 \0 \0 006 \0 \0 \0 R \0 \0 \0 \0 \t \0
0133440 \0 \0 \t \0 \0 \0 \0 006 \0 \0 \0 \t \0 \0 \0 \0
0133460 \t \0 \0 \0 001 \0 \0 \0 \0 001 \0 \0 \0 001 \0 \0
0133500 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \b \0 \0 \0 003 \0
0133520 \0 \0 \0 \t \0 \0 \0 \n \0 \0 \0 \0 006 \0 \0 \0
0133540 004 \0 \0 \0 \0 \t \0 \0 \0 \a \0 \0 \0 \0 006 \0
0133560 \0 \0 024 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \b
0133600 \0 \0 \0 \n \0 \0 \0 \0 \t \0 \0 \0 016 \0 \0 \0
0133620 \0 006 \0 \0 \0 k \0 \0 \0 \0 \t \0 \0 \0 \t \0
0133640 \0 \0 \0 006 \0 \0 \0 337 \0 \0 \0 \0 \t \0 \0 \0
0133660 \a \0 \0 \0 \0 006 \0 \0 \0 327 \0 \0 \0 \0 \t \0
0133700 \0 \0 \a \0 \0 \0 \0 006 \0 \0 \0 y \0 \0 \0 \0
0133720 \t \0 \0 \0 001 \0 \0 \0 \0 001 \0 \0 \0 001 \0 \0
0133740 \0 \0 \t \0 \0 \0 \0 \0 002 \0 005 \0 \0 \0 \v \0
0133760 \0 \0 \0 \t \0 \0 \0 004 \0 \0 \0 \0 006 \0 \0 \0
0134000 \f \0 \0 \0 \0 \t \0 \0 \0 021 \0 \0 \0 \0 006 \0
0134020 \0 \0 025 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \f
0134040 \0 \0 \0 335 \0 \0 \0 \0 \t \0 \0 \0 022 \0 \0 \0
0134060 \0 006 \0 \0 \0 B \0 \0 \0 \0 \t \0 \0 \0 \0 \0
0134100 002 \0 \f \0 \0 \0 4 \0 \0 \0 \0 \t \0 \0 \0 023
0134120 \0 \0 \0 \0 006 \0 \0 002 2 \0 \0 \0 \0 \t \0 \0
0134140 \0 \0 \0 002 \0 \f \0 \0 \0 351 \0 \0 \0 \0 \t \0
0134160 \0 \0 \0 \0 002 \0 \b \0 \0 \0 1 \0 \0 \0 \0 005
0134200 \0 \0 \0 \0 \0 002 \0 \a \0 \0 \0 / \0 \0 \0 \0
0134220 005 \0 \0 \0 \0 \0 002 \0 \f \0 \0 \0 m \0 \0 \0
0134240 \0 \t \0 \0 \0 \0 \0 002 \0 \b \0 \0 \0 \b \0 \0
0134260 \0 \0 \t \0 \0 \0 004 \0 \0 \0 \0 006 \0 \0 \0 024
0134300 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \f \0 \0 \0
0134320 # \0 \0 \0 \0 \t \0 \0 \0 005 \0 \0 \0 \0 006 \0
0134340 \0 \0 d \0 \0 \0 \0 \t \0 \0 \0 001 \0 \0 \0 \0
0134360 001 \0 \0 001 K \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002
0134400 \0 \v \0 \0 \0 002 \0 001 \0 \v H R U L E .
0134420 G E T F N 001 \0 024 \0 006 M O D E R N
0134440 \0 016 \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0 001 \0 \0
0134460 \0 \0 \a \0 \0 \0 \0 \0 002 \0 016 \0 \0 \0 \r \0
0134500 \0 \0 \0 \a \0 \0 \0 \0 \0 002 \0 016 \0 \0 \0 002
0134520 \0 001 \0 \v H R U L E . G E T F N 001
0134540 \0 024 \0 006 M O D E R N \0 016 \0 \0 \0 \0
0134560 \0 \0 002 \0 \0 \0 \0 001 \0 \0 \0 \0 \a \0 \0 \0
0134600 \0 \0 002 \0 \r \0 \0 001 N \0 \0 \0 \0 \t \0 \0
0134620 \0 \0 \0 002 \0 001 \0 \0 \0 \n \0 \0 \0 \0 \t \0
0134640 \0 \0 033 \0 \0 \0 \0 006 \0 \0 \0 \0 \0 002 \0 \a
0134660 \0 \0 \0 " \0 \0 \0 \0 006 \0 \0 \0 \r \0 \0 \0
0134700 \0 \t \0 \0 \0 \0 \0 002 \0 \b \0 \0 \0 035 \0 \0
0134720 \0 \0 \t \0 \0 \0 \b \0 \0 \0 \0 006 \0 \0 \0 024
0134740 \0 \0 \0 \0 \t \0 \0 \0 004 \0 \0 \0 \0 006 \0 \0
0134760 \0 B \0 \0 \0 \0 \t \0 \0 \0 036 \0 \0 \0 \0 006
0135000 \0 \0 \0 k \0 \0 \0 \0 \t \0 \0 \0 004 \0 \0 \0
0135020 \0 006 \0 \0 \0 025 \0 \0 \0 \0 \t \0 \0 \0 \b \0
0135040 \0 \0 \0 006 \0 \0 \0 C \0 \0 \0 \0 \t \0 \0 \0
0135060 \0 \0 002 \0 \b \0 \0 \0 = \0 \0 \0 \0 \t \0 \0
0135100 \0 001 \0 \0 \0 \0 001 \0 \0 \0 c \0 \0 \0 \0 \t
0135120 \0 \0 \0 \0 \0 002 \0 \b \0 \0 \0 022 \0 \0 \0 \0
0135140 \t \0 \0 \0 \0 \0 002 \0 \b \0 \0 \0 y \0 \0 \0
0135160 \0 \t \0 \0 \0 002 \0 \0 \0 \0 006 \0 \0 \0 b \0
0135200 \0 \0 \0 \t \0 \0 \0 001 \0 \0 \0 \0 001 \0 \0 \0
0135220 001 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \b \0 \0
0135240 \0 023 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \b \0
0135260 \0 \0 321 \0 \0 \0 \0 \t \0 \0 \0 002 \0 \0 \0 \0
0135300 006 \0 \0 001 x \0 \0 \0 \0 \t \0 \0 \0 002 \0 \0
0135320 \0 \0 001 \0 \0 \0 001 \0 \0 \0 \0 \t \0 \0 \0 \0
0135340 \0 002 \0 \b \0 \0 \0 022 \0 \0 \0 \0 \t \0 \0 \0
0135360 \0 \0 002 \0 \b \0 \0 \0 246 \0 \0 \0 \0 \t \0 \0
0135400 \0 002 \0 \0 \0 \0 006 \0 \0 \0 236 \0 \0 \0 \0 \t
0135420 \0 \0 \0 002 \0 \0 \0 \0 001 \0 \0 001 1 \0 \0 \0
0135440 \0 \t \0 \0 \0 002 \0 \0 \0 \0 001 \0 \0 \0 001 \0
0135460 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \b \0 \0 \0 021
0135500 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \b \0 \0 \0
0135520 F \0 \0 \0 \0 \t \0 \0 \0 002 \0 \0 \0 \0 006 \0
0135540 \0 001 \v \0 \0 \0 \0 \t \0 \0 \0 006 \0 \0 \0 \0
0135560 006 \0 \0 \0 215 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002
0135600 \0 025 \0 \0 \0 001 \0 \0 \0 \0 \t \0 \0 \0 \0 \0
0135620 002 \0 \v \0 \0 \0 002 \0 001 \0 \v H R U L E
0135640 . G E T F N 001 \0 024 \0 006 M O D E R
0135660 N \0 016 \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0 001 \0
0135700 \0 \0 \0 \a \0 \0 \0 \0 \0 002 \0 016 \0 \0 \0 031
0135720 \0 \0 \0 \0 \a \0 \0 \0 \0 \0 002 \0 016 \0 \0 \0
0135740 002 \0 001 \0 \v H R U L E . G E T F N
0135760 001 \0 024 \0 006 M O D E R N \0 016 \0 \0 \0
0136000 \0 \0 \0 002 \0 \0 \0 \0 001 \0 \0 \0 \0 \a \0 \0
0136020 \0 \0 \0 002 \0 \r \0 \0 \0 262 \0 \0 \0 \0 \t \0
0136040 \0 \0 002 \0 \0 \0 \0 001 \0 \0 \0 001 \0 \0 \0 \0
0136060 \t \0 \0 \0 \0 \0 002 \0 \f \0 \0 002 037 \0 \0 \0
0136100 \0 \t \0 \0 \0 \0 \0 002 \0 \f \0 \0 \0 366 \0 \0
0136120 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \v \0 \0 \0 002 \0
0136140 001 \0 \v H R U L E . G E T F N 001 \0
0136160 024 \0 006 M O D E R N \0 016 \0 \0 \0 \0 \0
0136200 \0 002 \0 \0 \0 \0 001 \0 \0 \0 \0 \a \0 \0 \0 \0
0136220 \0 002 \0 016 \0 \0 \0 031 \0 \0 \0 \0 \a \0 \0 \0
0136240 \0 \0 002 \0 016 \0 \0 \0 002 \0 001 \0 \v H R U
0136260 L E . G E T F N 001 \0 024 \0 006 M O D
0136300 E R N \0 016 \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0
0136320 001 \0 \0 \0 \0 \a \0 \0 \0 \0 \0 002 \0 \r \0 \0
0136340 \0 213 \0 \0 \0 \0 \t \0 \0 \0 \n \0 \0 \0 \0 006
0136360 \0 \0 \0 247 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0
0136400 \b \0 \0 \0 \b \0 \0 \0 \0 \t \0 \0 \0 006 \0 \0
0136420 \0 \0 006 \0 \0 \0 \r \0 \0 \0 \0 \t \0 \0 \0 \0
0136440 \0 002 \0 \b \0 \0 \0 021 \0 \0 \0 \0 \t \0 \0 \0
0136460 002 \0 \0 \0 \0 006 \0 \0 \0 9 \0 \0 \0 \0 \t \0
0136500 \0 \0 003 \0 \0 \0 \0 006 \0 \0 \0 230 \0 \0 \0 \0
0136520 \t \0 \0 \0 \0 \0 002 \0 \b \0 \0 \0 R \0 \0 \0
0136540 \0 005 \0 \0 \0 \0 \0 002 \0 \f \0 \0 002 K \0 \0
0136560 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \f \0 \0 \0 212 \0
0136600 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \b \0 \0 \0 \b
0136620 \0 \0 \0 \0 \t \0 \0 \0 006 \0 \0 \0 \0 006 \0 \0
0136640 \0 \f \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \b \0
0136660 \0 \0 # \0 \0 \0 \0 \t \0 \0 \0 \t \0 \0 \0 \0
0136700 006 \0 \0 \0 \r \0 \0 \0 \0 \t \0 \0 \0 004 \0 \0
0136720 \0 \0 006 \0 \0 \0 002 \0 \0 \0 \0 \t \0 \0 \0 \0
0136740 \0 002 \0 \b \0 \0 \0 \f \0 \0 \0 \0 \t \0 \0 \0
0136760 004 \0 \0 \0 \0 006 \0 \0 \0 \r \0 \0 \0 \0 \t \0
0137000 \0 \0 \0 \0 002 \0 \b \0 \0 \0 " \0 \0 \0 \0 \t
0137020 \0 \0 \0 \n \0 \0 \0 \0 006 \0 \0 \0 017 \0 \0 \0
0137040 \0 \t \0 \0 \0 004 \0 \0 \0 \0 006 \0 \0 \0 002 \0
0137060 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \v \0 \0 \0 002
0137100 \0 001 \0 \v H R U L E . G E T F N 001
0137120 \0 024 \0 006 M O D E R N \0 016 \0 \0 \0 \0
0137140 \0 \0 002 \0 \0 \0 \0 001 \0 \0 \0 \0 \a \0 \0 \0
0137160 \0 \0 002 \0 016 \0 \0 \0 033 \0 \0 \0 \0 \a \0 \0
0137200 \0 \0 \0 002 \0 016 \0 \0 \0 002 \0 001 \0 \v H R
0137220 U L E . G E T F N 001 \0 024 \0 006 M O
0137240 D E R N \0 016 \0 \0 \0 \0 \0 \0 002 \0 \0 \0
0137260 \0 001 \0 \0 \0 \0 \a \0 \0 \0 \0 \0 002 \0 \r \0
0137300 \0 001 356 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \b
0137320 \0 \0 \0 \a \0 \0 \0 \0 \t \0 \0 \0 005 \0 \0 \0
0137340 \0 006 \0 \0 \0 \r \0 \0 \0 \0 \t \0 \0 \0 \0 \0
0137360 002 \0 \b \0 \0 \0 023 \0 \0 \0 \0 \t \0 \0 \0 005
0137400 \0 \0 \0 \0 006 \0 \0 \0 ) \0 \0 \0 \0 \t \0 \0
0137420 \0 004 \0 \0 \0 \0 006 \0 \0 \0 232 \0 \0 \0 \0 \t
0137440 \0 \0 \0 004 \0 \0 \0 \0 006 \0 \0 \0 i \0 \0 \0
0137460 \0 \t \0 \0 \0 004 \0 \0 \0 \0 006 \0 \0 \0 s \0
0137500 \0 \0 \0 \t \0 \0 \0 004 \0 \0 \0 \0 006 \0 \0 \0
0137520 202 \0 \0 \0 \0 \t \0 \0 \0 005 \0 \0 \0 \0 006 \0
0137540 \0 \0 304 \0 \0 \0 \0 \t \0 \0 \0 002 \0 \0 \0 \0
0137560 001 \0 \0 \0 003 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002
0137600 \0 \b \0 \0 \0 022 \0 \0 \0 \0 \t \0 \0 \0 \0 \0
0137620 002 \0 \b \0 \0 \0 327 \0 \0 \0 \0 \t \0 \0 \0 002
0137640 \0 \0 \0 \0 006 \0 \0 \0 \t \0 \0 \0 \0 \t \0 \0
0137660 \0 002 \0 \0 \0 \0 006 \0 \0 \0 027 \0 \0 \0 \0 \t
0137700 \0 \0 \0 003 \0 \0 \0 \0 006 \0 \0 \0 277 \0 \0 \0
0137720 \0 \t \0 \0 \0 \0 \0 002 \0 \b \0 \0 003 * \0 \0
0137740 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \v \0 \0 \0 002 \0
0137760 001 \0 \v H R U L E . G E T F N 001 \0
0140000 024 \0 006 M O D E R N \0 016 \0 \0 \0 \0 \0
0140020 \0 002 \0 \0 \0 \0 001 \0 \0 \0 \0 \a \0 \0 \0 \0
0140040 \0 002 \0 016 \0 \0 \0 035 \0 \0 \0 \0 \a \0 \0 \0
0140060 \0 \0 002 \0 016 \0 \0 \0 002 \0 001 \0 \v H R U
0140100 L E . G E T F N 001 \0 024 \0 006 M O D
0140120 E R N \0 016 \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0
0140140 001 \0 \0 \0 \0 \a \0 \0 \0 \0 \0 002 \0 \r \0 \0
0140160 001 004 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 \v \0
0140200 \0 \0 002 \0 001 \0 \v H R U L E . G E T
0140220 F N 001 \0 024 \0 006 M O D E R N \0 016 \0
0140240 \0 \0 \0 \0 \0 002 \0 \0 \0 \0 001 \0 \0 \0 \0 \a
0140260 \0 \0 \0 \0 \0 002 \0 016 \0 \0 \0 \n \0 \0 \0 \0
0140300 \a \0 \0 \0 \0 \0 002 \0 016 \0 \0 \0 002 \0 001 \0
0140320 \v H R U L E . G E T F N 001 \0 024 \0
0140340 006 M O D E R N \0 016 \0 \0 \0 \0 \0 \0 002
0140360 \0 \0 \0 \0 001 \0 \0 \0 \0 \a \0 \0 \0 \0 \0 002
0140400 \0 002 \0 \0 \0 202 \0 \0 \0 \0 \t \0 \0 \0 \0 \0
0140420 002 \0 004 \0 \0 \0 { \0 \0 \0 \0 \t \0 \0 \0 \0
0140440 \0 002 \0 004 \0 \0 \0 311 \0 \0 \0 \0 \t \0 \0 \0
0140460 \0 \0 002 \0 004 \0 \0 \0 343 \0 \0 \0 \0 \t \0 \0
0140500 \0 \0 \0 002 \0 004 \0 \0 \0 V \0 \0 \0 \0 \t \0
0140520 \0 \0 \0 \0 002 \0 004 \0 \0 \0 Z \0 \0 \0 \0 \t
0140540 \0 \0 \0 \0 \0 002 \0 004 \0 \0 \0 221 \0 \0 \0 \0
0140560 \t \0 \0 \0 \0 \0 002 \0 004 \0 \0 \0 211 \0 \0 \0
0140600 \0 \t \0 \0 \0 \0 \0 002 \0 004 \0 \0 001 362 \0 \0
0140620 \0 \0 \t \0 \0 \0 \0 \0 002 \0 004 \0 \0 001 204 \0
0140640 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 004 \0 \0 \0 c
0140660 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 004 \0 \0 \0
0140700 233 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 004 \0 \0
0140720 \0 345 \0 \0 \0 \0 \t \0 \0 \0 \0 \0 002 \0 004 \0
0140740 \0 001 H \0 \0 \0 \0 \t \0 \0 \0 005 \0 \0 \0 \0
0140760 006 \0 \0 001 h \0 \0 \0 \0 \t \0 \0 230 E 002 363
0141000 z 272
0141002