$ od -c -N 50000 [phylum]<LISPUSERS>Lyric>LOGIC.TEDIT!1
0000000 X E R O X \t L O G I C \r 2 \r \r 4
0000020 \r \r 1 \r \r L O G I C \r 1 \r \r 4 \r
0000040 \r B y : R o b e r t o G h
0000060 i s l a n z o n i ( " R o b e
0000100 r t o _ G h i s l a n z o n i "
0000120 . M K T R X I @ X e r o x . c o
0000140 m ) \r U s e s : T A B L E B R
0000160 O W S E R \r T h i s d o c u m
0000200 e n t l a s t e d i t e d
0000220 o n ( 6 0 3 1 8 0 0 6 4 N I
0000240 L N I L ) \r . \r I N T R O D U
0000260 C T I O N \r T h i s p a c k a
0000300 g e i s d e v o t e d t o
0000320 p e o p l e w h o w a n t
0000340 t o u s e a l o g i c
0000360 p a r a d i g m i n t h e i
0000400 r p r o g r a m m i n g e
0000420 n v i r o n m e n t . L O G I
0000440 C w a s i n i t i a l l y
0000460 d e v e l o p e d i n F r a
0000500 n z L i s p [ 4 ] a t t h
0000520 e C o m p u t e r S c i e n
0000540 c e D e p a r t m e n t o f
0000560 t h e U n i v e r s i t y
0000600 o f M i l a n : n o w a
0000620 m o d i f i e d p a r t o
0000640 f i t s k e r n e l i s
0000660 r u n n i n g i n C o m m
0000700 o n L i s p , s o i t i
0000720 s p o s s i b l e t o u s
0000740 e i t u n d e r e v e r y
0000760 m a c h i n e r u n n i n g
0001000 C L : w i t h i n t h e
0001020 X e r o x e n v i r o n m e n
0001040 t , s o m e f e a t u r e s
0001060 a r e a v a i l a b l e i
0001100 n o r d e r t o e a s e
0001120 t h e c o n s t r u c t i o n
0001140 o f t h e p r o g r a m s
0001160 . \r A l l o f t h e s o u
0001200 r c e c o d e s a r e a
0001220 v a i l a b l e : s o r r y
0001240 i f t h e y a r e a w f u
0001260 l ! B u t i t ' s b e t t
0001300 e r t o h a v e e f f i c
0001320 i e n c y t h a n s y n t a
0001340 c t i c s u g a r . . . \r L
0001360 O G I C M A N U A L \r L O G I
0001400 C i s e s s e n t i a l l y
0001420 a t h e o r e m p r o v e
0001440 r b a s e d o n H o r n
0001460 c l a u s e s : t h e u s e
0001500 r i s a l l o w e d t o
0001520 c r e a t e m a n y t h e o
0001540 r i e s a n d w i t h i n
0001560 t h e s e t h e o r i e s t
0001600 o s p e c i f y s o m e p
0001620 r e d i c a t e s ( c l a u s
0001640 e s ) ; a s F O L [ 3 ]
0001660 d o e s , i t i s a l s o
0001700 p o s s i b l e t o s p e
0001720 c i f y s o m e s e m a n t
0001740 i c a t t a c h e m e n t s
0001760 ( S A ) , i n o r d e r t
0002000 o u s e a l l t h e c a
0002020 p a b i l i t i e s o f t h
0002040 e e n v i r o n m e n t : i
0002060 n o u r i m p l e m e n t a
0002100 t i o n , t h e s e S A s
0002120 a r e e x p r e s s e d i n
0002140 L i s p . A g o a l p r
0002160 o o f i s p e r f o r m e d
0002200 w i t h i n s p e c i f e
0002220 d t h e o r y ( e s ) ; t h
0002240 e u s e r i s a l l o w e
0002260 d t o d i n a m i c a l l y
0002300 c h a n g e t h e t h e o
0002320 r i e s i n v o l v e d . \t \t
0002340 T h e s e a r e t h e e l
0002360 e m e n t s o f t h e l a
0002400 n g u a g e : \t \t 377 377 \0 357 f 377 \0
0002420 a v a r i a b l e i s a
0002440 n a t o m b e g i n n i n g
0002460 w i t h ' ? ' \t \t 377 377 \0 357 f
0002500 377 \0 a n a t o m i c f o r
0002520 m u l a i s a l i s t b
0002540 e g i n n i n g w i t h t h
0002560 e n a m e o f t h e p r
0002600 e d i c a t e a n d f o l l
0002620 o w e d b y t h e t e r m
0002640 s : ( o n t a b l e b o o
0002660 k ) \t \t ( m o t h e r ? x ?
0002700 y ) \t \t 377 377 \0 357 f 377 \0 a c l
0002720 a u s e i s a l i s t b
0002740 e g i n n i n g w i t h t h
0002760 e c o n s e q u e n t , f o
0003000 l l o w e d b y t h e s p
0003020 e c i a l s y m b o l ' : -
0003040 ' , a n d b y t h e s e
0003060 q u e n c e o f t h e a n
0003100 t e c e d e n t s : \t \t ( ( g r
0003120 a n d f a t h e r ? x ? y )
0003140 : - ( f a t h e r ? x ?
0003160 z ) ( f a t h e r ? z ? y
0003200 ) ) \t \t 377 377 \0 357 f 377 \0 a s e
0003220 t o f c l a u s e s i s
0003240 t h e d e f i n i t i o n o
0003260 f a p r e d i c a t e \t \t (
0003300 ( ( a p p e n d ( ) ? a ?
0003320 a ) ) ( ( a p p e n d ( ?
0003340 a . ? b ) ? c ( ? a .
0003360 ? d ) ) : - ( a p p e n d
0003400 ? b ? c ? d ) ) ) \t \t 377 377
0003420 \0 357 f 377 \0 a t h e o r y i
0003440 s a s e t o f t h e
0003460 d e f i n i t i o n s o f s
0003500 o m e p r e d i c a t e s \r
0003520 W h e n y o u f o r t h e
0003540 f i r s t t i m e l o a d
0003560 t h e L O G I C f i l e s
0003600 , r e m e m b e r t o c a
0003620 l l t h e f u n c t i o n
0003640 ( C R E A T E - B A C K G R O U
0003660 N D - T H E O R Y ) i n o
0003700 r d e r t o c r e a t e t
0003720 h e m a i n t h e o r y :
0003740 t h i s f u n c t i o n r e
0003760 a d s t h e d a t a i t
0004000 n e e d s f r o m t h e f
0004020 i l e M A I N . L G C . \r T h
0004040 e s e a r e t h e f u n c
0004060 t i o n s a v a i l a b l e
0004100 f r o m t h e t o p - l e v
0004120 e l e x e c u t i v e o f
0004140 L i s p : \r ( A L L V A R S
0004160 C O N J T H S ) \t [ F u n
0004200 c t i o n ] \r R e t u r n s t
0004220 h e v a r s t h a t s a t
0004240 i s f i e s t h e g o a l
0004260 ( c o n j ) i n t h e l i
0004300 s t o f t h e o r i e s (
0004320 t h s ) : t h e b a c k g r
0004340 o u n d t h e o r y i s a
0004360 l w a y s u s e d . F o r e
0004400 x a m p l e y o u c a n a
0004420 s k t h e s y s t e m t o
0004440 p r o v e : \t \t ( A L L ' (
0004460 ? a ? b ) ' ( ( a p p e n
0004500 d ? a ? b ( 1 2 3 ) )
0004520 ) ' ( a p p e n d - t h e o r
0004540 y ) ) \t \t - - > ( (
0004560 N I L ( 1 2 3 ) ) ( ( 1
0004600 ) ( 2 3 ) ) ( ( 1 2 )
0004620 ( 3 ) ) ( ( 1 2 3 ) N I
0004640 L ) ) \r ( A N Y H O W - M A
0004660 N Y V A R S C O N J T H S
0004700 ) \t [ F u n c t i o n ] \r R e
0004720 t u r n s h o w - m a n y v
0004740 a r s t h a t s a t i s f i
0004760 e s t h e g o a l : \t \t ( a
0005000 n y 2 ' ? a ' ( ( a p p
0005020 e n d ? a ? b ( 1 2 3
0005040 ) ) ) ' ( a p p e n d - t h e
0005060 o r y ) ) \t \t - - > ( N I L
0005100 ( 1 ) ) \r ( A T T A C H
0005120 S A - N A M E D E F I N I T I
0005140 O N T H E O R Y - N A M E ) \t
0005160 [ F u n c t i o n ] \r A l l o w
0005200 s t o c r e a t e s e m a
0005220 n t i c a t t a c h m e n t s
0005240 : \t \t ( A T T A C H ' c r e a
0005260 t e w ' ( l a m b d a ( n a
0005300 m e ) ( I L : C R E A T E W
0005320 ( ) n a m e ) ) ' m y - t h
0005340 e o r y ) \t \t a n d n o w : \t
0005360 \t ( A N Y 1 ( ) ' ( ( c r
0005400 e a t e w " K i s s m e o
0005420 n m y l i p s " ) ) ' ( m
0005440 y - t h e o r y ) \t \t - - > \t \t
0005460
0005500 \0 001 \0 \0 \0 \0 \0 210 \0 B \0 001 377 377
0005520 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377 \0
0005540 377 373 377 377 377 377 377 377 377 377 377 377 277 377 377 377
0005560 377 \0 367 273 377 377 377 377 377 377 377 377 377 375 277 377
0005600 377 377 377 \0 367 177 377 377 377 377 377 377 377 377 377 375
0005620 377 377 377 377 377 \0 366 373 217 037 246 x 376 035 037 246
0005640 w } 264 x 377 377 377 \0 365 373 v 357 231 267 } 354
0005660 357 231 267 } 263 267 177 377 377 \0 362 373 217 037 273 260
0005700 } 355 357 273 272 375 267 270 377 377 377 \0 367 { 367 357
0005720 273 267 375 355 357 273 272 375 267 277 177 377 377 \0 367 273
0005740 v 357 273 267 } 355 357 273 275 375 263 267 177 377 377 \0
0005760 367 333 217 037 273 270 376 035 357 273 275 375 264 x 377 377
0006000 377 \0 377 377 377 377 377 377 377 377 377 377 375 377 367 377
0006020 377 377 377 \0 377 377 377 377 377 377 377 377 377 377 363 377
0006040 367 377 377 377 377 \0 377 377 377 377 377 377 377 377 377 377
0006060 377 377 377 377 377 377 377 \0 200 \0 \0 \0 \0 \0 \0 \0
0006100 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 200 \0 \0 \0 \0 \0
0006120 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 200 \0 \0 \0
0006140 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 200 \0
0006160 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 003 \0
0006200 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0006220 003 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0006240 \0 \0 003 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0006260 \0 \0 \0 \0 003 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0
0006300 \0 \0 \0 \0 \0 \0 003 \0 200 \0 \0 \0 \0 \0 \0 \0
0006320 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 200 \0 \0 \0 \0 \0
0006340 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 200 \0 \0 \0
0006360 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 200 \0
0006400 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 003 \0
0006420 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0006440 003 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0006460 \0 \0 003 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0006500 \0 \0 \0 \0 003 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0
0006520 \0 \0 \0 \0 \0 \0 003 \0 200 \0 \0 \0 \0 \0 \0 \0
0006540 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 200 \0 \0 \0 \0 \0
0006560 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 200 \0 \0 \0
0006600 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 200 \0
0006620 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 003 \0
0006640 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0006660 003 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0006700 \0 \0 003 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0006720 \0 \0 \0 \0 003 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0
0006740 \0 \0 \0 \0 \0 \0 003 \0 200 \0 \0 \0 \0 \0 \0 \0
0006760 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 200 \0 \0 \0 \0 \0
0007000 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 200 \0 \0 \0
0007020 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 200 \0
0007040 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 003 \0
0007060 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0007100 003 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0007120 \0 \0 003 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0007140 \0 \0 \0 \0 003 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0
0007160 \0 \0 \0 \0 \0 \0 003 \0 200 \0 \0 \0 \0 \0 \0 \0
0007200 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 200 \0 \0 \0 \0 \0
0007220 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 200 \0 \0 \0
0007240 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 200 \0
0007260 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 003 \0
0007300 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0007320 003 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0007340 \0 \0 003 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0007360 \0 \0 \0 \0 003 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0
0007400 \0 \0 \0 \0 \0 \0 003 \0 200 \0 \0 \0 \0 \0 \0 \0
0007420 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 200 \0 \0 \0 \0 \0
0007440 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 200 \0 \0 \0
0007460 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 200 \0
0007500 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 003 \0
0007520 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0007540 003 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0007560 \0 \0 003 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0007600 \0 \0 \0 \0 003 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0
0007620 \0 \0 \0 \0 \0 \0 003 \0 200 \0 \0 \0 \0 \0 \0 \0
0007640 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 200 \0 \0 \0 \0 \0
0007660 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 003 \0 377 377 377 377
0007700 377 377 377 377 377 377 377 377 377 377 377 377 377 \0 377 377
0007720 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377 \0
0007740 371 377 371 377 371 377 371 377 371 377 371 377 371 377 371 377
0007760 371 \0 \r ( C R E A T E - T H E O R
0010000 Y T H E O R Y - N A M E )
0010020 \t [ F u n c t i o n ] \r C r e a
0010040 t e s a b r a n d - n e w
0010060 t h e o r y w i t h t h a t
0010100 n a m e : r e t u r n t h
0010120 e n a m e o f t h e t h
0010140 e o r y c r e a t e d , n o
0010160 t t h e t h e o r y i t s
0010200 e l f . \r ( L I S T - A L L - T
0010220 H E O R I E S ) \t [ F u n c t i
0010240 o n ] \r R e t u r n a l i s
0010260 t o f t h e d e f i n e d
0010300 t h e o r i e s , c u r r e
0010320 n t l y a v a i l a b l e . \r
0010340 ( L O A D - T H E O R Y T H E
0010360 O R Y - N A M E ) \t [ F u n c t
0010400 i o n ] \r L o a d s f r o m
0010420 t h e c u r r e n t d i r e
0010440 c t o r y t h e s p e c i f
0010460 i e d t h e o r y - n a m e ;
0010500 t h e n a m e o f t h e
0010520 t h e o r y f i l e h a s
0010540 t h e e x t e n s i o n .
0010560 L G C , a n d i t m u s
0010600 t b e p r e v i o u s l y
0010620 c r e a t e d b y t h e c
0010640 o r r e s p o n d i n g f u n
0010660 c t i o n S A V E - T H E O R
0010700 Y \r ( L O G I C - A D D P R E
0010720 D C L A U S E S T H E O R Y
0010740 - N A M E ) \t [ F u n c t i o n
0010760 ] \r A d d s t o t h e d e
0011000 f i n i t i o n s o f t h e
0011020 p r e d i c a t e p r e d
0011040 t h e s p e c i f i e d c l
0011060 a u s e s , t h a t h o l d
0011100 i n t h e t h e o r y t
0011120 h e o r y - n a m e : \t \t ( L O
0011140 G I C - A D D ' C ' ( ( ( C
0011160 1 ) ) ( ( C ? x ) : -
0011200 ( A ? x ) ) ) ' m y - t h e
0011220 o r y ) \r ( L O G I C - A S S E
0011240 R T P R E D C L A U S E S
0011260 T H E O R Y - N A M E ) \t [ F u
0011300 n c t i o n ] \r R e p l a c e s
0011320 a l l p r e v i o u s d e
0011340 f i n i t i o n s o f t h e
0011360 p r e d i c a t e p r e d
0011400 w i t h c l a u s e s . \r ( L
0011420 O G I C - D E L E T E P R E D
0011440 - O R - S A T H E O R Y - N A
0011460 M E ) \t [ F u n c t i o n ] \r E
0011500 r a s e s f r o m t h e t
0011520 h e o r y t h e o r y - n a m
0011540 e t h e d e f i n i t i o n
0011560 o f p r e d - o r - s a ,
0011600 t h a t m a y b e e i t h
0011620 e r a p r e d i c a t e o
0011640 r a s e m a n t i c a t t
0011660 a c h m e n t \r ( M E R G E - T
0011700 H E O R I E S N E W - T H E O
0011720 R Y - N A M E & R E S T L I
0011740 S T - O F - T H E O R I E S ) \t
0011760 [ F u n c t i o n ] \t C r e a t
0012000 e s t h e n e w t h e o r
0012020 y N E W - T H E O R Y - N A M
0012040 E m a d e u p b y a l l
0012060 t h e p r e d i c a t e s
0012100 a n d s a s t h a t h o l
0012120 d i n a l l t h e t h e
0012140 o r i e s L I S T - O F - T H
0012160 E O R I E S : n o w n o c
0012200 o n t r o l i s p e r f o r
0012220 m e d o n t h e c o n s i
0012240 s t e n c y i n t h e m
0012260 e r g i n g o f t h e t h
0012300 e o r i e s \r ( P R O V E C O
0012320 N J T H S & K E Y N O - B
0012340 A C K G R O U N D - T H E O R Y
0012360 ) \t [ F u n c t i o n ] \r C a l
0012400 l s t h e p r o v e r o n
0012420 t h e s p e c i f i e d g
0012440 o a l s c o n j . T H S i
0012460 s a l i s t o f t h e
0012500 t h e o r y ( e s ) u s e d .
0012520 P R O V E r e t u r n s o
0012540 n l y T o r N I L \r ( S A
0012560 V E - T H E O R Y T H E O R Y
0012600 - N A M E ) \t [ F u n c t i o n
0012620 ] \r W r i t e s o n t h e
0012640 l o c a l d i r e c t o r y
0012660 t h e c o n t e n t s o f
0012700 t h e t h e o r y t h e o r
0012720 y - n a m e . Y o u w i l l
0012740 f i n d l a t e r a f i
0012760 l e w h o s e n a m e i s
0013000 c o m p o s e d b y t h e
0013020 t h e o r y n a m e a n d
0013040 t h e e x t e n s i o n L
0013060 G C . \t \t T h e f o r m a t
0013100 o f t h e c o n t e n t s
0013120 o f t h e f i l e i s t
0013140 h e f o l l o w i n g : \t \t t
0013160 h e o r y - n a m e \t \t n u m b
0013200 e r o f s e m a n t i c a
0013220 t t a c h m e n t s \t \t < s a
0013240 n a m e 1 > < s a d e f i n
0013260 i t i o n > \t \t . . \t \t < s a
0013300 n a m e N > < s a d e f i n
0013320 i t i o n > \t \t n u m b e r o
0013340 f p r e d i c a t e s \t \t < p
0013360 r e d i c a t e n a m e 1 >
0013400 < c l a u s e s f o r p r
0013420 e d i c a t e 1 > \t \t . . \t \t
0013440 < p r e d i c a t e n a m e
0013460 N > < c l a u s e s f o r
0013500 p r e d i c a t e N > \t \t A
0013520 t h e o r y f i l e ( w i t
0013540 h . L G C e x t e n s i o n
0013560 ) m a y b e c r e a t e d
0013600 b y t h e u s e r e m p
0013620 l o y i n g a t e x t e d
0013640 i t o r l i k e E m a c s
0013660 o r V I ( o n S y m b o l
0013700 i c s , S U N s e t c . ) ,
0013720 a v o i d i n g t h e s a
0013740 v i n g o f t h e t h e o
0013760 r y e v e r y c h a n g e
0014000 h e p e r f o r m s . \r ( S H
0014020 O W - D E F I N I T I O N E L
0014040 E M E N T T H E O R Y - N A M
0014060 E ) \t [ F u n c t i o n ] \r S h
0014100 o w s t h e d e f i n i t i
0014120 o n o f e l e m e n t , e
0014140 i t h e r a p r e d i c a t
0014160 e o r a s e m a n t i c
0014200 a t t a c h m e n t . \r ( S H O
0014220 W - T H E O R Y T H E O R Y -
0014240 N A M E & O P T I O N A L V
0014260 E R B O S E ) \t [ F u n c t i o
0014300 n ] \r S h o w s t h e c o n
0014320 t e n t s ( n a m e o f p
0014340 r e d i c a t e s a n d s a
0014360 s ) o f t h e t h e o r y
0014400 t h e o r y - n a m e ; i f
0014420 v e r b o s e i s T , a
0014440 l l t h e d e f i n i t i o
0014460 n s a r e s h o w n . \r T H
0014500 E B A C K G R O U N D T H E
0014520 O R Y \r I n t h e b a c k g
0014540 r o u n d t h e o r y , m a
0014560 n y i n t e r e s t i n g p
0014600 r i m i t i v e p r e d i c a
0014620 t e s a r e a v a i l a b l
0014640 e : \r ! \t [ P r e d i c a t e ]
0014660 \t \t T h e c u t p r e d i c
0014700 a t e , w e l l - k n o w n
0014720 t o t h e P R O L O G p r
0014740 o g r a m m e r s : a t i p
0014760 i c a l e x a m p l e o f
0015000 i t s u s e c a n b e t
0015020 h e d e f i n i t i o n o f
0015040 t h e p r e d i c a t e N
0015060 O T : \t \t ( ( ( n o t ? f o r
0015100 m u l a ) : - ( w f f ? f
0015120 o r m u l a ) ! ( f a i l )
0015140 ) \t \t ( ( n o t ? f o r m u l
0015160 a ) ) ) \r ( T R U E ) \t [ P r e
0015200 d i c a t e ] \t \t T h i s p r
0015220 e d i c a t e a l w a y s s
0015240 u c c e d s \r ( F A I L ) \t [ P
0015260 r e d i c a t e ] \t \t T h e p
0015300 r e d i c a t e t h a t n e
0015320 v e r s u c c e d s \r ( P R I
0015340 N T ? a r g ) \t [ P r e d i c
0015360 a t e ] \t \t P r i n t s t h e
0015400 a r g u m e n t ? a r g p
0015420 a s s e d b y \r ( E V A L & P
0015440 R I N T ? a r g ) \t [ P r e
0015460 d i c a t e ] \t T h i s p r e
0015500 d i c a t e e v a l u a t e s
0015520 a n d p r i n t t h e r
0015540 e s u l t o f e v a l u a t
0015560 i o n o f t h e f o r m
0015600 ? a r g : \t \t ( p r o v e ' (
0015620 ( e v a l & p r i n t ( + 3
0015640 4 ) ) ) ' ( m y - t h e o r
0015660 y ) ) \t \t 7 \t \t T \r ( L O G
0015700 I C - A D D ? P R E D I C A T
0015720 E - N A M E ? C L A U S E S
0015740 ? T H E O R Y - N A M E ) \t [ P
0015760 r e d i c a t e ] \t \t A d d s
0016000 t o t h e c l a u s e s t
0016020 h a t d e f i n e t h e p
0016040 r e d i c a t e ? P R E D I C
0016060 A T E - N A M E i n t h e
0016100 t h e o r y ? t h e o r y - n
0016120 a m e o t h e r c l a u s e
0016140 s ? C L A U S E S \r ( L O G I
0016160 C - A S S E R T ? P R E D I
0016200 C A T E - N A M E ? C L A U S
0016220 E S ? T H E O R Y - N A M E )
0016240 \t [ P r e d i c a t e ] \t \t R e
0016260 p l a c e s a l l d e f i n
0016300 i t i o n f o r t h e p r
0016320 e d i c a t e ? P R E D I C A
0016340 T E - N A M E i n t h e t
0016360 h e o r y ? T H E O R Y - N A
0016400 M E w i t h t h e n e w
0016420 c l a u s e s ? C L A U S E S
0016440 \r ( L O G I C - D E L E T E ?
0016460 P R E D I C A T E - O R - S A -
0016500 - N A M E ? T H E O R Y - N A
0016520 M E ) \t [ P r e d i c a t e ] \t
0016540 \t D e l e t e s a l l d e f
0016560 i n i t i o n f o r p r e d
0016600 i c a t e ( o r s a ) ? P
0016620 R E D I C A T E - O R - S A - N
0016640 A M E i n t h e t h e o r
0016660 y ? T H E O R Y - N A M E \r (
0016700 S E T ? v a r v a l u e ) \t
0016720 [ P r e d i c a t e ] \t \t \t \t W
0016740 i t h t h i s p r e d i c a
0016760 t e i t i s p o s s i b l
0017000 e t o s e t a v a r i a
0017020 b l e w i t h i n t h e d
0017040 e m o n s t r a t i o n ( r e
0017060 m i n d t h a t a v a r i
0017100 a b l e a l w a y s s t a r
0017120 t s w i t h a ' ? ' ) : \t
0017140 \t ( p r o v e ' ( ( s e t ?
0017160 x ( l i s t ' a ' b 3 )
0017200 ) ( p r i n t ? x ) ) ' (
0017220 m y - t h e o r y ) ) \t \t - - >
0017240 ( a b 3 ) \t \t T \r ( R E T
0017260 R A C T ? t h e o r y - n a m
0017300 e ) \t [ P r e d i c a t e ] \t \t
0017320 T e l l s t h e i n t e r p
0017340 r e t e r t h a t i t m u
0017360 s t u s e n o m o r e t
0017400 h e t h e o r y ? t h e o r
0017420 y - n a m e d u r i n g t h
0017440 e o n g o i n g d e m o n s
0017460 t r a t i o n ; t h i s e l
0017500 i s i o n i s m a d e o n
0017520 l y o n t h e c u r r e n
0017540 t a c t i v e n o d e o f
0017560 t h e d e m o n s t r a t i
0017600 o n t r e e \r ( U S E - T H E
0017620 O R Y ? t h e o r y - n a m e
0017640 ) \t [ P r e d i c a t e ] \t \t T
0017660 e l l s t o t h e i n t e
0017700 r p r e t e r t h a t i t
0017720 m u s t u s e t h e t h
0017740 e o r y ? t h e o r y - n a m
0017760 e f o r t h e o n g o i
0020000 n g d e m o n s t r a t i o n
0020020 . \r ( W F F ? f o r m u l a )
0020040 \t [ P r e d i c a t e ] \t \t T h
0020060 i s i s a s e c o n d o
0020100 r d e r p r e d i c a t e t
0020120 h a t a l l o w s y o u t
0020140 o p r o v e t h e t r u t
0020160 h v a l u e o f t h e w
0020200 e l l f o r m e d f o r m u
0020220 l a ? f o r m u l a \r I f
0020240 y o u l o a d o n l y t h
0020260 e L O G I C f i l e s , t
0020300 h i s i s t h e e n v i r
0020320 o n m e n t y o u h a v e .
0020340 O n X e r o x m a c h i n
0020360 e s , y o u c a n a l s o
0020400 l o a d t h e f i l e L
0020420 O G I C - D E V E L , t h a t
0020440 a l l o w s y o u t o h
0020460 a v e t h e d e v e l o p m
0020500 e n t e n v i r o n m e n t :
0020520 a n e w e n t r y i n
0020540 y o u r b a c k g r o u n d
0020560 m e n u i s c r e a t e d ,
0020600 a n d s o y o u a r e
0020620 a b l e t o o p e n a l
0020640 o g i c d e m o n s t r a t i
0020660 o n w i n d o w . \t \t T h i s
0020700 i s t h e c o n t r o l
0020720 m e n u : \r
0020740
*
0021040 \0 001 \0 \0
0021060 \0 \0 \0 w \0 355 \0 001 \0 \0 \0 \0 \0 \0 \0 \0
0021100 \0 \0 \0 \0 \0 \0 036 \0 \0 \0 \0 \0 \0 \0 \0 \0
*
0021240 \0 \0 \0 \0 \0 \0 034 \0 377 377 377 377 377 377 377 377
0021260 377 377 377 377 377 377 372 \0 377 377 377 377 377 377 377 377
0021300 377 377 377 377 377 377 376 \0 377 377 377 377 377 377 377 377
*
0021360 377 377 377 377 377 377 376 \0 377 377 377 303 377 377 277 377
0021400 337 377 377 377 377 377 376 \0 377 377 377 275 377 377 277 377
0021420 337 377 377 377 377 377 376 \0 377 377 377 177 303 243 \n a
0021440 337 L 361 321 336 377 372 \0 377 377 377 177 275 235 271 ^
0021460 337 3 n 316 336 377 374 \0 377 377 377 177 275 275 273 336
0021500 337 w ` 336 336 377 376 \0 377 377 377 177 275 275 273 336
0021520 337 w o 336 336 377 376 \0 377 377 377 275 275 275 273 336
0021540 337 w n 336 334 377 376 \0 377 377 377 303 303 275 313 341
0021560 337 w q 336 342 377 376 \0 377 377 377 377 377 377 377 377
0021600 377 377 377 377 377 377 376 \0 377 377 377 377 377 377 377 377
0021620 377 377 377 377 377 377 376 \0 377 340 \0 \0 \0 \0 \0 \0
0021640 \0 \0 \0 \0 \0 \0 \f \0 377 340 \0 \0 \0 \0 \0 \0
0021660 \0 \0 \0 \0 \0 \0 \n \0 377 340 \0 \0 \0 \0 \0 \0
0021700 \0 \0 001 \0 \0 \0 016 \0 003 340 \0 | @ \0 \0 \0
0021720 \0 \0 035 \0 \0 016 \0 003 340 \0 202 @ \0 \0 \0
0021740 \0 \0 020 \0 \0 016 \0 003 340 \0 200 \ < D B
0021760 342 317 = # 200 \0 016 \0 003 340 \0 x b B D C
0022000 023 P 221 $ @ \0 016 \0 003 340 \0 004 B B * 202
0022020 022 020 221 ' 300 \0 016 \0 003 340 \0 002 B B * 202
0022040 022 020 221 $ \0 \0 \n \0 003 340 \0 202 B B 021 003
0022060 022 020 221 $ @ \0 \f \0 003 340 \0 | B < 021 002
0022100 342 017 021 # 200 \0 016 \0 003 340 \0 \0 \0 \0 \0 002
0022120 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 002
0022140 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
*
0022240 \0 \0 \0 \0 \0 \0 \f \0 003 347 360 \0 " \0 \0 001
0022260 \0 \0 \0 \0 \b 002 \n \0 003 340 200 \0 " \0 \0 001
0022300 \0 \0 \0 \0 \b 001 016 \0 003 340 205 241 z 340 D q
0022320 ! 034 \a 213 211 022 216 \0 003 340 206 241 # 020 D 211
0022340 ! " \b L I 021 N \0 003 340 204 ! " 020 ( 9
0022360 ! > \b H H 242 256 \0 003 340 204 ! " 020 ( 311
0022400 ! \b H H 241 N \0 003 340 204 # " 020 020 211
0022420 # " \b H H B 216 \0 003 340 204 035 032 020 020 u
0022440 035 034 \a 210 H A \n \0 003 340 \0 \0 \0 \0 \0 \0
0022460 \0 \0 \0 \0 \0 B \f \0 003 340 \0 \0 \0 \0 \0 \0
0022500 \0 \0 \0 \0 001 200 016 \0 003 340 \0 \0 \0 \0 \0 \0
0022520 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
*
0022600 \0 \b \0 \0 \0 \0 016 \0 003 340 003 342 \0 \0 \0 !
0022620 \0 \b \0 \0 002 016 \0 003 340 004 022 \0 \0 \0 A
0022640 \0 \0 \0 \0 020 001 \f \0 003 340 004 002 341 342 " B
0022660 204 H 361 f 020 002 212 \0 003 340 003 303 022 022 " 202
0022700 202 211 \t 231 \b 001 N \0 003 340 \0 " 022 021 T 204
0022720 A \t \t 021 \b 002 256 \0 003 340 \0 022 022 021 T 207
0022740 301 \t \t 021 \b 001 N \0 003 340 004 022 022 020 210 210
0022760 " 211 \t 021 \b 002 216 \0 003 340 003 342 021 340 210 H
0023000 $ H 361 021 020 001 016 \0 003 340 \0 \0 \0 \0 \0 @
0023020 \0 \0 \0 \0 020 002 016 \0 003 340 \0 \0 \0 \0 \0
0023040 \0 \0 \0 \0 \0 \n \0 003 340 \0 \0 \0 \0 \0 \0
0023060 \0 \0 \0 \0 \0 \0 \f \0 003 340 \0 \0 \0 \0 \0 \0
0023100 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
0023120 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 \0 \0 \b \0 \0
0023140 001 \0 \0 \0 \0 \0 016 \0 003 340 \0 037 300 I 004
0023160 001 \0 \0 004 \0 002 016 \0 003 340 \0 020 \0 A \b
0023200 \0 \0 \0 002 \0 001 016 \0 003 340 \0 020 \a K 310 P
0023220 211 036 , 302 \0 002 216 \0 003 340 \0 037 210 311 020 P
0023240 Q ! 3 ! \0 001 L \0 003 340 \0 020 \b I 020 210
0023260 ! ! " ! \0 002 252 \0 003 340 \0 020 \b I 020 370
0023300 ! ! " ! \0 001 N \0 003 340 \0 020 \b 311 021 004
0023320 Q ! " ! \0 002 216 \0 003 340 \0 037 307 H 311 004
0023340 211 036 " " \0 001 016 \0 003 340 \0 \0 \0 \0 \b \0
0023360 \0 \0 \0 002 \0 002 016 \0 003 340 \0 \0 \0 \0 004 \0
0023400 \0 \0 \0 004 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
0023420 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
0023440 \0 \0 \0 \0 \0 \0 \n \0 003 340 \0 \0 \0 \0 \0 \0
0023460 \0 \0 \0 \0 \0 \0 \f \0 003 340 \0 \0 \0 \0 \0 \0
0023500 \0 004 \0 \0 \0 \0 016 \0 003 340 017 200 \b 002 \0 020
0023520 200 004 \0 \0 020 002 016 \0 003 340 \b @ \b 002 \0
0023540 200 \0 \0 \0 \b 001 016 \0 003 340 \b # 210 347 234 !
0023560 B $ x 263 \b 002 216 \0 003 340 \b $ I 022 " A
0023600 A D 204 314 204 001 N \0 003 340 \b ' 311 362 > B
0023620 204 204 210 204 002 256 \0 003 340 \b $ \t 002 C
0023640 340 204 204 210 204 001 L \0 003 340 \b D I 022 " D
0023660 021 D 204 210 204 002 212 \0 003 340 017 203 210 341 234 $
0023700 022 $ x 210 210 001 016 \0 003 340 \0 \0 \0 \0 \0
0023720 \0 \0 \0 \0 \b 002 016 \0 003 340 \0 \0 \0 \0 \0 020
0023740 \0 \0 \0 \0 020 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
0023760 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
*
0024040 \0 \0 004 \0 \0 \0 \n \0 003 340 | \0 201 203 \0 001
0024060 \0 027 344 \0 \b 202 \f \0 003 340 202 \0 201 203 \0 001
0024100 \0 $ \0 \0 \b A 016 \0 003 340 200 9 341 E 036 035
0024120 034 $ 004 263 236 B 216 \0 003 340 x D 201 E ! #
0024140 " G 304 324 H ! N \0 003 340 004 | 201 ) ! !
0024160 > D 004 203 210 " 256 \0 003 340 002 @ 201 ) ! !
0024200 D 004 200 H ! N \0 003 340 202 D 201 021 ! #
0024220 " D 004 204 H " 216 \0 003 340 | 8 a 021 036 035
0024240 034 $ 004 203 206 A \f \0 003 340 \0 \0 \0 \0 \0 \0
0024260 \0 \0 \0 \0 B \n \0 003 340 \0 \0 \0 \0 \0 \0
0024300 \0 020 \0 \0 \0 200 016 \0 003 340 \0 \0 \0 \0 \0 \0
0024320 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
*
0024400 \0 004 \b \0 \0 \0 016 \0 003 340 \0 376 \0 \0 \0 \0
0024420 \0 004 350 \0 \0 002 016 \0 003 340 \0 020 \0 \0 \0 \0
0024440 \0 \0 200 \0 \0 001 \n \0 003 340 \0 020 263 207 016 004
0024460 % 305 350 342 300 002 214 \0 003 340 \0 020 324 H 221 004
0024500 & $ 211 023 @ 001 N \0 003 340 \0 020 201 310 037 004
0024520 $ $ 211 362 \0 002 256 \0 003 340 \0 020 206 H 020 004
0024540 $ $ 211 002 \0 001 N \0 003 340 \0 020 204 H 221 004
0024560 d $ 211 022 \0 002 216 \0 003 340 \0 020 203 247 016 003
0024600 244 $ 210 342 \0 001 016 \0 003 340 \0 \0 \0 \0 \0 \0
0024620 \0 \0 \0 \0 \0 002 016 \0 003 340 \0 \0 \0 \0 \0 \0
0024640 \0 \0 \0 \0 \0 \0 \f \0 003 340 \0 \0 \0 \0 \0 \0
0024660 \0 \0 \0 \0 \0 \0 \n \0 003 340 \0 \0 \0 \0 \0 \0
0024700 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
*
0024740 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 177 \0 \0 \0 \0
0024760 \0 004 \0 \0 \0 002 016 \0 003 340 \0 \b \0 \0 \0 \0
0025000 \0 004 \0 \0 \0 001 016 \0 003 340 \0 \b Y 303 207 001
0025020 303 304 210 342 300 002 216 \0 003 340 \0 \b j $ H 202
0025040 $ $ 211 023 @ 001 J \0 003 340 \0 \b @ 344 017 201
0025060 304 $ Q 362 \0 002 254 \0 003 340 \0 \b C $ \b \0
0025100 $ $ Q 002 \0 001 N \0 003 340 \0 \b B $ H 202
0025120 $ $ ! 022 \0 002 216 \0 003 340 \0 \b A 323 207 001
0025140 303 304 342 \0 001 016 \0 003 340 \0 \0 \0 \0 \0 \0
0025160 \0 \0 \0 \0 \0 002 016 \0 003 340 \0 \0 \0 \0 \0 \0
0025200 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
*
0025240 \0 \0 \0 \0 \0 \0 \f \0 003 340 \0 \0 \0 \0 \0 \0
0025260 \0 \0 \0 \0 \0 \0 \n \0 003 340 \0 \0 \0 \0 \0 \0
0025300 \0 \0 \0 \0 \0 \0 016 \0 003 340 001 340 \0 \0 @ 001
0025320 020 \0 \0 \0 \0 \0 016 \0 003 340 002 020 \0 \0 @ 001
0025340 020 \0 \0 \0 \0 \0 016 \0 003 340 004 002 316 034 363 203
0025360 327 016 036 - 020 \0 016 \0 003 340 004 003 Q " D A
0025400 030 221 ! 5 020 \0 016 \0 003 340 004 002 037 016 G 301
0025420 020 237 ! 240 \0 016 \0 003 340 004 002 020 2 D 001
0025440 020 220 ! 240 \0 \n \0 003 340 002 022 021 " D A
0025460 020 221 ! @ \0 \f \0 003 340 001 342 016 035 3 200
0025500 320 216 036 @ \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
0025520 \0 \0 \0 \0 @ \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
0025540 \0 \0 \0 001 200 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
0025560 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
*
0025640 \0 \0 \0 \0 \0 \0 \f \0 003 340 003 340 002 \0 200 002
0025660 \0 \0 \0 \0 002 \n \0 003 340 002 020 002 \0 200 002
0025700 \0 \0 \0 \0 001 016 \0 003 340 002 \b 342 9 347 \a
0025720 256 034 < Z 002 216 \0 003 340 002 \t 022 D 210 202
0025740 1 " B j 001 N \0 003 340 002 \t 362 | 217 202
0025760 ! > B A @ 002 256 \0 003 340 002 \t 002 @ 210 002
0026000 ! B A @ 001 N \0 003 340 002 021 022 D 210 202
0026020 ! " B @ 200 002 216 \0 003 340 003 340 342 8 g 001
0026040 241 034 < @ 200 001 \n \0 003 340 \0 \0 \0 \0 \0 \0
0026060 \0 \0 \0 \0 200 002 \f \0 003 340 \0 \0 \0 \0 \0 \0
0026100 \0 \0 \0 003 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
0026120 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
*
0026200 \0 \0 \0 \0 \0 016 \0 003 340 ` 300 \0 \0 \0 "
*
0026240 \0 \0 \0 \0 \0 \0 \f \0 003 340 Q G 026 t p z
0026260 341 303 305 243 207 \0 \n \0 003 340 Q H 232 214 210 #
0026300 022 $ & 244 H 200 016 \0 003 340 J O 220 204 370 "
0026320 023 344 $ ' 307 \0 016 \0 003 340 J H 020 204 200 "
0026340 022 004 $ $ \0 200 016 \0 003 340 D H 220 214 210 "
0026360 022 $ $ $ H 200 016 \0 003 340 D G 020 t p 032
0026400 021 303 304 # 207 \0 016 \0 003 340 \0 \0 \0 204 \0 \0
0026420 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 \0 \0 x \0 \0
0026440 \0 \0 \0 \0 \0 \0 \n \0 003 340 \0 \0 \0 \0 \0 \0
0026460 \0 \0 \0 \0 \0 \0 \f \0 003 340 \0 \0 \0 \0 \0 \0
0026500 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
*
0026540 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 @ \0 \0 004 021
*
0026600 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 @ < 8 t =
0026620 p 341 342 321 \0 \0 016 \0 003 340 \0 @ B D 214 021
0026640 211 022 023 Q \0 \0 \f \0 003 340 \0 @ B 034 204 021
0026660 \t 362 022 \n \0 \0 \n \0 003 340 \0 @ B d 204 021
0026700 \t 002 022 \n \0 \0 016 \0 003 340 \0 @ B D 214 021
0026720 \t 022 022 004 \0 \0 016 \0 003 340 \0 ~ < : t \r
0026740 \b 341 342 004 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
0026760 \0 \0 \0 004 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
0027000 \0 \0 \0 030 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
0027020 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
0027040 \0 \0 \0 \0 \0 \0 \n \0 003 340 \0 \0 \0 \0 \0 \0
0027060 \0 \0 \0 \0 \0 \0 \f \0 003 340 \0 \0 \0 \0 \0 \0
0027100 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 037 \0 \0 \0 021
0027120 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 200 \0 \0 021
0027140 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 016 " 8 =
0027160 p 341 342 321 \0 \0 016 \0 003 340 \0 036 021 " D 021
0027200 211 022 023 Q \0 \0 016 \0 003 340 \0 001 \a 024 | 021
0027220 \t 362 022 \n \0 \0 016 \0 003 340 \0 \0 231 024 @ 021
0027240 \t 002 022 \n \0 \0 \f \0 003 340 \0 221 \b D 021
0027260 \t 022 022 004 \0 \0 \n \0 003 340 \0 037 016 210 8 \r
0027300 \b 341 342 004 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
0027320 \0 \0 \0 004 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
0027340 \0 \0 \0 030 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
0027360 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 \0 \0 \0 \0 \0
*
0027440 \0 \0 \0 \0 \0 \0 \n \0 003 340 \0 \0 376 \0 \0 \0
0027460 \0 \0 \0 \0 \0 \0 \f \0 003 340 \0 \0 200 \0 \0 \0
0027500 \0 \0 \0 \0 \0 \0 016 \0 003 340 \0 \0 200 Y 303 207
0027520 001 305 304 @ \0 \0 016 \0 003 340 \0 \0 374 j $ H
0027540 202 & $ @ \0 \0 016 \0 003 340 \0 \0 200 @ 343 217
0027560 203 344 " 200 \0 \0 016 \0 003 340 \0 \0 200 C H
0027600 002 004 " 200 \0 \0 016 \0 003 340 \0 \0 200 B $ H
0027620 202 $ ! \0 \0 \0 016 \0 377 340 \0 \0 376 A 323 207
0027640 001 304 ! \0 \0 \0 \f \0 377 340 \0 \0 \0 \0 \0 \0
0027660 \0 \0 \0 \0 \0 \0 \n \0 377 340 \0 \0 \0 \0 \0 \0
0027700 \0 \0 \0 \0 \0 \0 016 \0 377 340 \0 \0 \0 \0 \0 \0
0027720 \0 \0 \0 \0 \0 \0 016 \0 237 340 \0 \0 \0 \0 \0 \0
*
0027760 \0 \0 \0 \0 \0 \0 016 \0 o 340 \0 \0 \0 \0 \0 \0
0030000 \0 \0 \0 \0 \0 016 \0 367 340 \0 \0 \0 \0 ? 200
0030020 $ \0 \0 \0 \0 \0 016 \0 373 340 \0 \0 \0 \0 \0
0030040 004 \0 \0 \0 \0 \0 \n \0 375 340 \0 \0 \0 \0 021
0030060 / \0 \0 \0 \0 \0 \f \0 376 340 \0 \0 \0 \0 ? \n
0030100 $ \0 \0 \0 \0 \0 016 \0 377 ` \0 \0 \0 \0 004
0030120 $ \0 \0 \0 \0 \0 016 \0 377 240 \0 \0 \0 \0 004
0030140 $ \0 \0 \0 \0 \0 016 \0 377 240 \0 \0 \0 \0 \n
0030160 $ \0 \0 \0 \0 \0 016 \0 377 ` \0 \0 \0 \0 ? 221
0030200 # \0 \0 \0 \0 \0 016 \0 376 340 \0 \0 \0 \0 \0 \0
0030220 \0 \0 \0 \0 \0 \0 016 \0 375 340 \0 \0 \0 \0 \0 \0
0030240 \0 \0 \0 \0 \0 \0 \f \0 373 340 \0 \0 \0 \0 \0 \0
0030260 \0 \0 \0 \0 \0 \0 \n \0 367 377 377 377 377 377 377 377
0030300 377 377 377 377 377 377 376 \0 o 377 o 377 o 377 o 377
0030320 o 377 o 377 o 377 n \0 237 377 237 377 237 377 237 377
0030340 237 377 237 377 237 377 236 \0 237 377 237 377 237 377 237 377
0030360 237 377 237 377 237 377 236 \0 o 377 o 377 o 377 o 377
0030400 o 377 o 377 o 377 n \0 \r \t \t S H O W -
0030420 P R O F I L E : s h o w s
0030440 t h e c u r r e n t p r o f
0030460 i l e : t h e M O D E o f
0030500 d e m o n s t r a t i o n (
0030520 F I R S T , A L L , I N T E
0030540 R A C T I V E ) , a n d t h
0030560 e t r a c i n g f l a g s
0030600 o n u n i f i e r a n d s
0030620 o l v e r \r T R U T H V A L U
0030640 E O N L Y : t h i s f l a
0030660 g c o n t r o l s i f t h
0030700 e p r o v e r r e t u r n s
0030720 a l l t h e g o a l s w
0030740 i t h t h e v a r i a b l e
0030760 s i n s t a n t i a t e d o
0031000 r o n l y t h e v a l u e
0031020 s T o r N I L \r S H O W
0031040 A X I O M : s h o w s t h e
0031060 d e f i n i t i o n o f a
0031100 n a x i o m o r o f a
0031120 s e m a n t i c a t t a c h m
0031140 e n t \r E D I T A X I O M :
0031160 e d i t s t h e d e f i n i
0031200 t i o n o f a n a x i o m
0031220 o r o f a s e m a n t i
0031240 c a t t a c h m e n t \r D E L
0031260 E T E A X I O M : d e l e t
0031300 e s t h e d e f i n i t i o
0031320 n o f a n a x i o m o r
0031340 o f a s e m a n t i c a
0031360 t t a c h m e n t \r S E T M O
0031400 D E : s e t s t h e m o d
0031420 e o f t h e d e m o n s t
0031440 r a t i o n : t h i s m a y
0031460 b e A L L , F I R S T o
0031500 r I N T E R A C T I V E \r T R
0031520 A C E S O L V E R : t h e
0031540 s o l v e r i s t h e p r
0031560 o c e d u r e o f t h e i
0031600 n t e r p r e t e r t h a t
0031620 t a k e s a s a r g u m e n
0031640 t s a t r e e , a f o r
0031660 m u l a a n d t h e c l a
0031700 u s e s f o r t h a t f
0031720 o r m u l a , a n d g i v e
0031740 s b a c k t h e n e w t
0031760 r e e o b t a i n e d b y
0032000 t h e r e s o l u t i o n o
0032020 p e r a t i o n ; i t s b e
0032040 h a v i o u r i s t r a c e
0032060 d o n a d e b u g g i n g
0032100 w i n d o w w h i c h h a
0032120 s t h e m i d d l e m e n
0032140 u c a p a b i l i t y o f
0032160 d r i b b l i n g ; t h e o
0032200 u t p u t f i l e h a s t
0032220 h e e x t e n s i o n T R C
0032240 . \r T R A C E U N I F I E R :
0032260 t r a c e s t h e g o i n
0032300 g o n o f t h e u n i f
0032320 i e r o n a d e b u g g e
0032340 r w i n d o w ; t h i s w
0032360 i n d o w t o o h a s t h
0032400 e m i d d l e m e n u c a
0032420 p a b i l i t y o f d r i b
0032440 b l i n g i t s o u t p u t
0032460 . T h e p a t t e r n , t
0032500 h e d a t u m a n d t h e
0032520 u n i f i c a t i o n e n v
0032540 i r o n m e n t w i l l b
0032560 e s h o w n t o t h e u
0032600 s e r . \r C R E A T E T H E O
0032620 R Y : c r e a t e s a n e
0032640 w t h e o r y \r D E L E T E
0032660 T H E O R Y : a l l t h e
0032700 t h e o r i e s l o a d e d
0032720 a r e s h o w e d i n a
0032740 t a b l e b r o w s e r a t
0032760 t h e l e f t o f t h e
0033000 m a i n w i n d o w ; w h e
0033020 n y o u s e l e c t o n e
0033040 o r m o r e t h e o r i e
0033060 s , t h i s m e a n s t h
0033100 a t y o u w a n t t o u
0033120 s e t h e m f o r y o u r
0033140 d e m o n s t r a t i o n ;
0033160 t h i s c o m m a n d d e l
0033200 e t e s t h e s e l e c t e
0033220 d t h e o r i e s ; y o u
0033240 c a n h o w e v e r u n d e
0033260 l e t e o r e x p u n g e
0033300 t h e m w i t h t h e s u
0033320 b i t e m s o f t h i s e
0033340 n t r y . R e m e m b e r t
0033360 h a t , f o r u n d e l e t
0033400 i n g t h e s e l e c t e d
0033420 t h e o r i e s w i t h t
0033440 h e t a b l e b r o w s e r
0033460 m a r k ( \0 001 \0 \0 \0 \0 \0 \n \0 \v \0
0033500 001 \0 \0 030 \0 034 \0 036 \0 037 \0 037 200 037 \0 036
0033520 \0 034 \0 030 \0 \0 \0 ) , y o u m u
0033540 s t c l i c k m i d d l e
0033560 b u t t o n o n i t a n d
0033600 p r e s s C T R L ( P R O
0033620 P ) k e y \r M E R G E T H E
0033640 O R I E S : m e r g e s t h
0033660 e s e l e c t e d t h e o r
0033700 i e s i n a n e w t h e
0033720 o r y ; t h e u s e r i s
0033740 p r o m p t e d f o r t h
0033760 e n a m e o f t h e n e
0034000 w t h e o r y \r L O A D T H
0034020 E O R Y : l o a d s a t h
0034040 e o r y f r o m a f i l e
0034060 i n t h e c u r r e n t
0034100 d i r e c t o r y \r S A V E T
0034120 H E O R Y : s a v e t h e
0034140 s e l e c t e d t h e o r y (
0034160 i e s ) o n t h e c o r r
0034200 e s p o n d i n g f i l e s \r
0034220 E R A S E E N V : e r a s e
0034240 s a l l t h e e n v i r o
0034260 n m e n t o f t h e w i n
0034300 d o w \r E X I T : e x i t s
0034320 f r o m t h e e n v i r o n
0034340 m e n t \r R e m e m b e r t h
0034360 a t , f o r e v e r y d e
0034400 m o n s t r a t i o n r e q u
0034420 e s t e d , t h e r e m u s
0034440 t b e a t l e a s t o n
0034460 e t h e o r y s e l e c t e
0034500 d i n t h e t a b l e b r
0034520 o w s e r a t t h e l e f
0034540 t o f t h e m a i n w i
0034560 n d o w \r I h o p e t h e s
0034600 e n o t e s h e l p y o u
0034620 t o u s e L O G I C . \r Y
0034640 o u c a n f i n d s o m e
0034660 e x a m p l e s i n t h e
0034700 t h e o r y f i l e E X A
0034720 M P L E S . L G C . \r A n y s
0034740 u g g e s t i o n i s w e l
0034760 c o m e : s i n c e i t i
0035000 s n o t f u l l y t e s t
0035020 e d , p l e a s e n o t i f
0035040 y e v e r y k i n d o f
0035060 e r r o r o r b u g y o u
0035100 w i l l f i n d . \r E X A M
0035120 P L E S \r C h o o s e L O G I
0035140 C f r o m t h e b a c k g
0035160 r o u n d m e n u : a n e
0035200 w w i n d o w w i l l a p
0035220 p e a r : c h o o s e L O A
0035240 D T H E O R Y f r o m t h
0035260 e c o n t r o l m e n u a
0035300 n d t y p e i n E X A M P
0035320 L E S a t t h e r e q u e
0035340 s t i n t h e p r o m p t
0035360 w i n d o w : m a r k t h
0035400 e t h e o r y l o a d e d
0035420 i n t h e t h e o r i e s
0035440 w i n d o w a n d t r y :
0035460 \r \0 001 \0 \0 \0 \0 001 005 \0 034 \0 001 \0 017 300
0035500 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 002 004 \0
0035520 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0035540 017 300 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0035560 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0035600 \0 \0 017 300 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0035620 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0035640 \0 \0 \0 \0 017 304 G 020 \0 \0 \0 \0 \0 \0 \0 \0
0035660 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0035700 \0 \0 \0 \0 \0 \0 017 306 B 020 \0 \0 \0 \0 \0 \0
0035720 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0035740 \0 \0 \0 \0 \0 \0 \0 \0 017 306 B 020 \0 \0 \0 \0
0035760 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0036000 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 017 305 B 020 \0 \0
0036020 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0036040 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 017 305 B 020
0036060 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0036100 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 017 304
0036120 302 020 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0036140 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0036160 017 304 302 020 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0036200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0036220 \0 \0 017 304 G 037 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0036240 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0036260 \0 \0 \0 \0 017 300 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0036300 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0036320 \0 \0 \0 \0 \0 \0 017 300 \0 \0 \0 \0 \0 \0 \0 \0
0036340 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0036360 \0 \0 \0 \0 \0 \0 \0 \0 017 300 \0 \0 \0 \0 \0 \0
0036400 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0036420 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 017 300 \0 \0 \0 \0
0036440 \0 \0 \0 001 002 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0036460 \0 200 \0 \0 \0 \0 201 002 \0 \0 \0 \0 017 301 \a \0
0036500 \0 \0 004 002 004 \b x 361 362 ' 200 016 \b \0
0036520 q 300 001 002 \0 034 \0 p @ 201 \0 \0 \0 \0 017 303
0036540 \b 200 \0 \0 \0 002 002 004 024 D 211 003 $ @ 021
0036560 024 \0 211 001 006 \0 " \0 210 @ 201 \0 \0 \0 \0
0036600 017 305 \b 200 8 h 341 301 004 \b 024 D 211 003 $
0036620 @ 021 024 \0 211 002 \n \0 " \0 \b @ 200 \0
0036640 \0 \0 017 301 001 \0 D 230 " 204 \b 024 D 211
0036660 342 244 @ 002 024 \0 021 340 002 002 \0 004 \0 p @
0036700 200 \0 \0 \0 017 301 002 \0 D 210 " \0 204 \b "
0036720 x 361 002 244 @ 004 " \0 ! 020 002 002 \0 \b \0 \b
0036740 @ 200 \0 \0 \0 017 301 004 \0 D 210 " 001 004
0036760 \b > @ 201 002 d @ \0 > \0 001 020 002 002 \0 020
0037000 \0 \b @ 200 \0 \0 \0 017 301 \b \0 D 230 "
0037020 " 004 \b " @ 201 002 d @ 004 " \0 ! 020 002 002
0037040 \0 \0 210 @ 200 \0 \0 \0 017 307 317 200 > 8
0037060 h ! 304 002 004 " @ 201 362 ' 200 004 " \0 ! 340
0037100 001 017 200 > \0 p @ 201 \0 \0 \0 \0 017 300 \0 \0
0037120 \0 \0 \b \0 \0 002 004 \0 \0 \0 \0 \0 \0 \0 \0 \0
0037140 \0 \0 001 \0 \0 \0 \0 \0 @ 201 \0 \0 \0 \0 017 300
0037160 \0 \0 \0 \0 p \0 \0 001 002 \0 \0 \0 \0 \0 \0 \0
0037200 \0 \0 \0 \0 \0 200 \0 \0 \0 \0 201 002 \0 \0 \0 \0
0037220 017 300 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0037240 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0037260 \0 \0 017 300 201 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 020
0037300 \0 \0 \0 \0 020 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0037320 \0 \0 \0 \0 017 301 002 004 < x 371 023 300 \b 216
0037340 \0 @ 003 200 016 \b \0 \0 \0 \0 \0 \0 \0 \0 \0
0037360 \0 \0 \0 \0 \0 \r t h e s y s t e m
0037400 w i l l r e s p o n d y o
0037420 u \r \0 001 \0 \0 \0 \0 \0 376 \0 A \0 001 001 370
0037440 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0037460 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0037500 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0037520 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0037540 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0037560 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0037600 \0 \0 \0 \0 \0 \0 \0 \0 @ \0 \0 \0 \0 \0 \0
0037620 \0 \0 \0 \0 \0 020 \0 \0 \0 \0 020 @ \0 001 370
0037640 340 004 \0 \0 004 \0 200 @ 201 017 036 > D 360 001
0037660 301 \0 016 8 \0 @ 003 200 016 \b 020 \0 001 370
0037700 a 020 004 \0 \0 \0 \0 @ @ 202 210 221 d 210 002
0037720 " 200 021 $ \0 300 004 @ 021 \b 020 \0 001 370
0037740 241 020 004 \a \r 034 8 201 002 210 221 d 210 002
0037760 " 200 021 $ \0 A @ 004 @ 001 004 \b 020 \0 001 370
0040000 004 \b 223 004 D 020 201 002 210 221 < T 210 \0
0040020 B 200 002 < \0 @ @ \0 200 016 004 \b 020 \0 001 370
0040040 @ 004 \b 221 004 @ 020 201 004 O 036 T 210 \0
0040060 204 @ 004 " \0 @ @ 001 \0 001 004 \b 020 \0 001 370
0040100 200 004 \b 221 004 @ 201 \a 310 020 L 210 \0
0040120 \a 300 \0 " \0 @ @ 002 \0 001 004 \b 020 \0 001 370
0040140 ! \0 004 \b 223 004 D @ 201 004 H 020 L 210 \0
0040160 204 @ 004 " \0 @ @ 004 \0 021 004 \b 020 \0 001 370
0040200 371 360 \a 307 \r 004 8 200 @ 204 H 020 > D 360 \0
0040220 204 @ 004 < \0 ! 360 \a 300 016 \b 020 \0 001 370
0040240 \0 \0 \0 \0 001 \0 \0 \0 @ 200 \0 \0 \0 \0 \0 \0
0040260 \0 \0 \0 \0 \0 \0 \0 \0 \0 \b 020 \0 001 370
0040300 \0 \0 \0 \0 016 \0 \0 \0 @ \0 \0 \0 \0 \0 \0
0040320 \0 \0 \0 \0 \0 020 \0 \0 \0 \0 020 @ \0 001 370
0040340 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0040360 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0040400 020 \0 \0 \0 \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0
0040420 002 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0040440 @ 207 217 037 " x 001 021 304 \0 004 \b \0 p 001
0040460 301 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0040500 A D H 220 2 D 001 220 204 \0 004 030 \0 210 002
0040520 ! \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0040540 @ 201 D H 220 2 D 001 220 204 \0 \b ( \0 210 \0
0040560 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0040600 @ 201 D H 236 * D 001 P 204 \0 \b \b \0 020 001
0040620 300 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0040640 @ 202 ' 217 020 * D 001 P 204 \0 \b \b \0 \0
0040660 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0040700 @ 203 344 \b 020 & D 001 0 204 \0 \b \b \0 @ \0
0040720 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0040740 @ 202 $ \b 020 & D 001 0 204 \0 \b \b \0 200 002
0040760 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0041000 B $ \b 037 " x 001 021 307 300 004 > \0 370 001
0041020 301 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0041040 @ \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0041060 001 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0041100 020 \0 \0 \0 \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0
0041120 002 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0041140 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0041160 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0041200 \0 \0 \0 \0 \0 \0 \0 020 \0 \0 \0 \0 020 @ \0
0041220 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0041240 \0 \0 \0 \0 \0 \0 \0 @ 003 200 016 \b 020 \0
0041260 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0041300 \0 \0 \0 \0 \0 \0 \0 300 004 @ 021 \b 020 \0
0041320 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0041340 \0 \0 \0 \0 \0 \0 \0 A @ 004 @ 001 004 \b 020 \0
0041360 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0041400 \0 \0 \0 \0 \0 \0 \0 @ @ \0 200 016 004 \b 020 \0
0041420 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0041440 \0 \0 \0 \0 \0 \0 \0 @ @ 001 \0 001 004 \b 020 \0
0041460 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0041500 \0 \0 \0 \0 \0 \0 \0 @ @ 002 \0 001 004 \b 020 \0
0041520 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0041540 \0 \0 \0 \0 \0 \0 \0 @ @ 004 \0 021 004 \b 020 \0
0041560 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0041600 \0 \0 \0 \0 \0 \0 \0 ! 360 \a 300 016 \b 020 \0
0041620 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0041640 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \b 020 \0
0041660 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0041700 \0 \0 \0 \0 \0 \0 \0 020 \0 \0 \0 \0 020 @ \0
0041720 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0041740 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0041760 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0042000 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0042020 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0042040 210 342 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0042060 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0042100 310 B \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0042120 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0042140 310 B \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0042160 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0042200 250 B \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0042220 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0042240 250 B \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0042260 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0042300 230 B \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0042320 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0042340 230 B \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0042360 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0042400 210 343 340 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0042420 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0042440 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0042460 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0042500 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0042520 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0042540 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0042560 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0042600 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0042620 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0042640 340 004 \0 \0 004 \0 200 \0 \0 \0 \0 \0 \0 \0 \0
0042660 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0042700 a 020 004 \0 \0 \0 \0 @ \0 \0 \0 \0 \0 \0 \0 \0
0042720 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0042740 240 020 004 \a \r 034 8 \0 \0 \0 \0 \0 \0 \0 \0
0042760 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0043000 340 004 \b 223 004 D 020 \0 \0 \0 \0 \0 \0 \0 \0
0043020 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0043040 020 004 \b 221 004 @ 020 \0 \0 \0 \0 \0 \0 \0 \0
0043060 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0043100 020 004 \b 221 004 @ \0 \0 \0 \0 \0 \0 \0 \0
0043120 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0043140 ! 020 004 \b 223 004 D @ \0 \0 \0 \0 \0 \0 \0 \0
0043160 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0043200 370 340 \a 307 \r 004 8 200 \0 \0 \0 \0 \0 \0 \0 \0
0043220 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0043240 \0 \0 \0 \0 001 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0043260 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0043300 \0 \0 \0 \0 016 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0043320 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0043340 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0043360 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0043400 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0043420 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 370
0043440 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0043460 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \r C
0043500 l i c k n o w o n S H O W
0043520 P R O F I L E : y o u w i
0043540 l l s e e \r \0 001 \0 \0 \0 \0 001 256 \0
0043560 026 \0 001 377 377 377 377 377 377 377 377 377 377 377 377 377
0043600 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377
0043620 367 367 357 367 357 367 357 367 357 367 357 367 357 367 357 367
0043640 357 367 357 367 357 367 357 367 354 377 377 377 377 377 377 377
0043660 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377
*
0043720 377 377 377 377 377 377 377 377 377 377 377 377 377 377 374 377
0043740 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377
*
0044020 377 377 377 377 374 376 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0044040 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
*
0044100 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 376 \0 \0 \0 \0
0044120 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
*
0044200 \0 376 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0044220 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
*
0044260 \0 \0 \0 \0 \0 \0 \0 376 \0 \0 \0 \0 \0 \0 \0 \0
0044300 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
*
0044340 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 376 " \0
0044360 \b \0 \0 017 216 < 8 370 \0 $ @ 002 016 \b \0 \0
0044400 \0 \b 216 > x 343 340 \0 216 \0 8 \0 \0 \0 \0
0044420 021 034 | 360 A 307 300 001 " \0 p \0 \0 \0 \0 "
0044440 8 200 \0 376 6 \0 \b \0 \0 \b 004 " D \0 $
0044460 @ \0 020 \0 \0 \0 \0 \f 221 \b D Q 022 \0 \0 221
0044500 \0 \b \0 \0 \0 \0 031 " 020 210 242 $ \0 001 " \0
0044520 020 \0 \0 \0 \0 2 020 200 \0 376 6 8 h 340 200 \b
0044540 004 " D \0 D K 016 < 8 q ` 200 \f 221 \b
0044560 D Q 022 \0 001 021 034 \b 210 342 301 \0 031 " 020 210
0044600 242 $ \0 002 " 8 021 021 303 202 \0 2 020 200 \0 376
0044620 * D 231 020 200 017 004 < 0 \0 D L 202 020 \b
0044640 211 220 200 \n 221 \b x Q 003 300 001 \f " \b 211 023
0044660 ! \0 025 " 020 360 242 \a 200 002 024 004 021 022 $ B
0044700 \0 * 020 200 \0 376 * D 211 360 \0 \b 004 ( \b
0044720 \0 204 H 202 020 \b 371 \0 \0 \n 221 \b P 211 002 \0
0044740 002 002 " \b Q 362 \0 \0 025 " 020 241 022 004 \0 004
0044760 024 < 021 023 343 \0 \0 * 020 200 \0 376 * D 211 \0
0045000 \0 \b 004 $ D \0 204 H 202 020 \b 201 \0 \0 \t
0045020 221 \b H 371 022 \0 002 021 " \b Q 002 \0 \0 023 "
0045040 020 221 362 $ \0 004 024 D 021 022 \0 200 \0 & 020 200
0045060 \0 376 * D 231 020 200 \b 004 " D 001 004 H 202
0045100 020 \b 211 \0 200 \t 221 \b D 211 022 \0 004 021 " \b
0045120 ! 022 001 \0 023 " 020 211 022 $ \0 \b \b D 021 2
0045140 $ B \0 & 020 200 \0 376 " 8 h 340 200 \b 016 "
0045160 8 001 003 210 202 020 \b q \0 200 \b 216 \b D 210
0045200 343 340 004 016 034 \b 342 001 \0 021 034 020 211 021 307
0045220 300 \b \b < 020 321 303 202 \0 " 8 370 \0 376 \0 \0
0045240 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
*
0045320 \0 \0 \0 376 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0045340 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
*
0045400 \0 \0 \0 \0 \0 \0 \0 \0 \0 376 \0 \0 \0 \0 \0 \0
0045420 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
*
0045460 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 376
0045500 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
*
0045560 \0 \0 \0 \0 \0 376 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0045600 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
*
0045640 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 377 377 377 377 377
0045660 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377
*
0045740 374 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377
0045760 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377
*
0046020 377 377 377 377 377 377 374 \r C h o o s e S
0046040 E T M O D E A L L ( s u b
0046060 m e n u ) a n d r e t r y
0046100 t h e s a m e g o a l a s
0046120 b e f o r e : y o u g e t
0046140 t h e a n s w e r : \r \0 001 \0
0046160 \0 \0 \0 \0 373 \0 233 \0 001 \0 374 \0 \0 \0 \0 \0
0046200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0046220 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0046240 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0046260 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0046300 \0 \0 \0 020 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0046320 \b \0 \0 \0 \0 \b 020 \0 \0 374 020 p 002 \0 \0
0046340 002 \0 @ @ 207 217 037 " x \0 340 200 \a 034 \0
0046360 020 001 300 \a 004 \b 020 \0 \0 374 0 210 002 \0 \0
0046400 \0 \0 A D H 220 2 D 001 021 @ \b 222 \0
0046420 020 ` 002 \b 204 \b 020 \0 \0 374 P \b 002 003 206
0046440 216 034 020 @ 201 D H 220 2 D 001 021 @ \b 222 \0
0046460 240 002 \0 202 004 \b \0 \0 374 020 p 002 004 I
0046500 202 " \b @ 201 D H 236 * D \0 ! @ 001 036 \0
0046520 \0 @ \a 002 004 \b \0 \0 374 020 \b 002 004 H
0046540 202 \b @ 202 ' 217 020 * D \0 B 002 021 \0
0046560 \0 200 \0 202 004 \b \0 \0 374 020 \b 002 004 H
0046600 202 020 @ 203 344 \b 020 & D \0 003 340 \0 021 \0
0046620 001 \0 \0 202 004 \b \0 \0 374 020 210 002 004 I
0046640 202 " @ 202 $ \b 020 & D \0 B 002 021 \0
0046660 002 \0 \b 202 004 \b \0 \0 374 | p 003 343 206
0046700 202 034 @ B $ \b 037 " x \0 B 002 036 \0
0046720 020 370 003 340 \a 004 \b 020 \0 \0 374 \0 \0 \0 \0 \0
0046740 200 \0 \0 @ \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0046760 020 \0 \0 \0 \0 004 \b 020 \0 \0 374 \0 \0 \0 \0 \a
0047000 \0 \0 \0 020 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0047020 \b \0 \0 \0 \0 \b 020 \0 \0 374 \0 \0 \0 \0 \0
0047040 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0047060 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \b 020 \0 \0 \0
0047100 \0 \0 \0 \0 \0 \0 001 \0 \0 \0 \0 001 \0 \0 \0 \0
0047120 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 020 C 307 217
0047140 221 < \0 210 342 \0 002 004 \0 8 \0 340 200 \0 \0 \0
0047160 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 020 242 $ H
0047200 031 " \0 310 B \0 002 \f \0 D 001 020 200 \0 \0 \0
0047220 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 @ 242 $ H
0047240 031 " \0 310 B \0 004 024 \0 D \0 020 @ \0 \0 \0
0047260 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 @ 242 $ O
0047300 025 " \0 250 B \0 004 004 \0 \b \0 340 @ \0 \0 \0
0047320 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 A 023 307 210
0047340 025 " \0 250 B \0 004 004 \0 020 \0 020 @ \0 \0 \0
0047360 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 A 362 004 \b
0047400 023 " \0 230 B \0 004 004 \0 \0 020 @ \0 \0 \0
0047420 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 A 022 004 \b
0047440 023 " \0 230 B \0 004 004 \0 @ 001 020 @ \0 \0 \0
0047460 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 020 ! 022 004 017
0047500 221 < \0 210 343 340 002 037 \0 | \0 340 200 \0 \0 \0
0047520 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 020 \0 \0 \0
0047540 \0 \0 \0 \0 \0 \0 002 \0 \0 \0 \0 \0 200 \0 \0 \0
0047560 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \b 020 \0 \0 \0
0047600 \0 \0 \0 \0 \0 \0 001 \0 \0 \0 \0 001 \0 \0 \0 \0
0047620 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0047640 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0047660 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0047700 \0 \0 \b \0 \0 \0 \0 \b 020 \0 \0 \0 \0 \0 \0
0047720 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0047740 \0 \0 020 001 300 \a 004 \b 020 \0 \0 \0 \0 \0 \0
0047760 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0050000 \0 \0 020 ` 002 \b 204 \b 020 \0 \0 \0 \0 \0 \0
0050020 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0050040 \0 \0 240 002 \0 202 004 \b \0 \0 \0 \0 \0 \0
0050060 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0050100 \0 \0 \0 @ \a 002 004 \b \0 \0 \0 \0 \0 \0
0050120 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0050140 \0 \0 \0 200 \0 202 004 \b \0 \0 \0 \0 \0 \0
0050160 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0050200 \0 \0 001 \0 \0 202 004 \b \0 \0 \0 \0 \0 \0
0050220 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0050240 \0 \0 002 \0 \b 202 004 \b \0 \0 \0 \0 \0 \0
0050260 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0050300 \0 \0 020 370 003 340 \a 004 \b 020 \0 \0 \0 \0 \0 \0
0050320 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0050340 \0 \0 020 \0 \0 \0 \0 004 \b 020 \0 \0 \0 \0 \0 \0
0050360 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0050400 \0 \0 \b \0 \0 \0 \0 \b 020 \0 \0 \0 \0 \0 \0
0050420 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0050440 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0050460 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \b 020 \0 \0 \0
0050500 \0 \0 \0 020 001 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0050520 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 020 C 307 217
0050540 221 < \0 @ 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0050560 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 020 242 $ H
0050600 031 " \0 300 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0050620 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 @ 242 $ H
0050640 031 " \0 A @ @ \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0050660 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 @ 242 $ O
0050700 025 " \0 @ @ @ \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0050720 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 A 023 307 210
0050740 025 " \0 @ @ @ \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0050760 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 A 362 004 \b
0051000 023 " \0 @ @ @ \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0051020 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 A 022 004 \b
0051040 023 " \0 @ @ @ \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0051060 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 020 ! 022 004 017
0051100 221 < \0 ! 360 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0051120 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 020 \0 \0 \0
0051140 \0 \0 \0 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0051160 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \b 020 \0 \0 \0
0051200 \0 \0 \0 020 001 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0051220 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0051240 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0051260 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0051300 \0 \0 \b \0 \0 002 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0051320 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0051340 \0 \0 020 p 001 301 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0051360 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0051400 \0 \0 020 210 002 ! \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0051420 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0051440 \0 \0 210 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0
0051460 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0051500 \0 \0 020 001 300 200 \0 \0 \0 \0 \0 \0 \0 \0 \0
0051520 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0051540 \0 \0 \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0
0051560 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0051600 \0 \0 @ \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0
0051620 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0051640 \0 \0 200 002 200 \0 \0 \0 \0 \0 \0 \0 \0 \0
0051660 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0051700 \0 \0 020 370 001 301 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0051720 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0051740 \0 \0 020 \0 \0 001 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0051760 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0052000 \0 \0 \b \0 \0 002 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0052020 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0052040 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0052060 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0052100 \0 \0 \b \0 \0 \0 \0 \b 020 \0 \0 \0 \0 \0 \0
0052120 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0052140 \0 \0 020 001 300 \a 004 \b 020 \0 \0 \0 \0 \0 \0
0052160 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0052200 \0 \0 020 ` 002 \b 204 \b 020 \0 \0 \0 \0 \0 \0
0052220 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0052240 \0 \0 240 002 \0 202 004 \b \0 \0 \0 \0 \0 \0
0052260 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0052300 \0 \0 \0 @ \a 002 004 \b \0 \0 \0 \0 \0 \0
0052320 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0052340 \0 \0 \0 200 \0 202 004 \b \0 \0 \0 \0 \0 \0
0052360 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0052400 \0 \0 001 \0 \0 202 004 \b \0 \0 \0 \0 \0 \0
0052420 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0052440 \0 \0 002 \0 \b 202 004 \b \0 \0 \0 \0 \0 \0
0052460 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0052500 \0 \0 020 370 003 340 \a 004 \b 020 \0 \0 \0 \0 \0 \0
0052520 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0052540 \0 \0 020 \0 \0 \0 \0 004 \b 020 \0 \0 \0 \0 \0 \0
0052560 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0052600 \0 \0 \b \0 \0 \0 \0 \b 020 \0 \0 \0 \0 \0 \0
0052620 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0052640 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0052660 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \b 020 \0 \0 \0
0052700 \0 \0 \0 020 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0
0052720 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 020 C 307 217
0052740 221 < \0 @ 003 202 \0 \0 \0 \0 \0 \0 \0 \0 \0
0052760 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 020 242 $ H
0053000 031 " \0 300 004 B \0 \0 \0 \0 \0 \0 \0 \0 \0
0053020 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 @ 242 $ H
0053040 031 " \0 A @ 004 A \0 \0 \0 \0 \0 \0 \0 \0 \0
0053060 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 @ 242 $ O
0053100 025 " \0 @ @ \0 201 \0 \0 \0 \0 \0 \0 \0 \0 \0
0053120 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 A 023 307 210
0053140 025 " \0 @ @ 001 001 \0 \0 \0 \0 \0 \0 \0 \0 \0
0053160 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 A 362 004 \b
0053200 023 " \0 @ @ 002 001 \0 \0 \0 \0 \0 \0 \0 \0 \0
0053220 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 A 022 004 \b
0053240 023 " \0 @ @ 004 001 \0 \0 \0 \0 \0 \0 \0 \0 \0
0053260 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 020 ! 022 004 017
0053300 221 < \0 ! 360 \a 302 \0 \0 \0 \0 \0 \0 \0 \0 \0
0053320 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 020 \0 \0 \0
0053340 \0 \0 \0 \0 \0 002 \0 \0 \0 \0 \0 \0 \0 \0 \0
0053360 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \b 020 \0 \0 \0
0053400 \0 \0 \0 020 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0
0053420 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0053440 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0053460 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0053500 \0 \0 \b \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0053520 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0053540 \0 \0 020 p @ \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0053560 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0053600 \0 \0 020 210 @ \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0053620 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0053640 \0 \0 \b \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0053660 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0053700 \0 \0 p \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0053720 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0053740 \0 \0 \b \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0053760 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0054000 \0 \0 \b \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0054020 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0054040 \0 \0 210 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0054060 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0054100 \0 \0 020 p @ \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0054120 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0054140 \0 \0 020 \0 @ \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0054160 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0054200 \0 \0 \b \0 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0054220 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0054240 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0054260 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0054300 \0 \0 \b \0 \0 \0 \0 \b 020 \0 \0 \0 \0 \0 \0
0054320 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0054340 \0 \0 020 001 300 \a 004 \b 020 \0 \0 \0 \0 \0 \0
0054360 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0054400 \0 \0 020 ` 002 \b 204 \b 020 \0 \0 \0 \0 \0 \0
0054420 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0054440 \0 \0 240 002 \0 202 004 \b \0 \0 \0 \0 \0 \0
0054460 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0054500 \0 \0 \0 @ \a 002 004 \b \0 \0 \0 \0 \0 \0
0054520 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0054540 \0 \0 \0 200 \0 202 004 \b \0 \0 \0 \0 \0 \0
0054560 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0054600 \0 \0 001 \0 \0 202 004 \b \0 \0 \0 \0 \0 \0
0054620 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0054640 \0 \0 002 \0 \b 202 004 \b \0 \0 \0 \0 \0 \0
0054660 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0054700 \0 \0 020 370 003 340 \a 004 \b 020 \0 \0 \0 \0 \0 \0
0054720 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0054740 \0 \0 020 \0 \0 \0 \0 004 \b 020 \0 \0 \0 \0 \0 \0
0054760 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0055000 \0 \0 \b \0 \0 \0 \0 \b 020 \0 \0 \0 \0 \0 \0
0055020 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0055040 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0055060 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \b 020 \0 \0 \0
0055100 \0 \0 \0 020 \0 \0 \0 \0 020 \0 \0 \0 \0 \0 \0 \0
0055120 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 020 C 307 217
0055140 221 < \0 @ 003 200 016 \b \0 \0 \0 \0 \0 \0 \0
0055160 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 020 242 $ H
0055200 031 " \0 300 004 @ 021 \b \0 \0 \0 \0 \0 \0 \0
0055220 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 @ 242 $ H
0055240 031 " \0 A @ 004 @ 001 004 \0 \0 \0 \0 \0 \0 \0
0055260 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 @ 242 $ O
0055300 025 " \0 @ @ \0 200 016 004 \0 \0 \0 \0 \0 \0 \0
0055320 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 A 023 307 210
0055340 025 " \0 @ @ 001 \0 001 004 \0 \0 \0 \0 \0 \0 \0
0055360 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 A 362 004 \b
0055400 023 " \0 @ @ 002 \0 001 004 \0 \0 \0 \0 \0 \0 \0
0055420 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 A 022 004 \b
0055440 023 " \0 @ @ 004 \0 021 004 \0 \0 \0 \0 \0 \0 \0
0055460 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 020 ! 022 004 017
0055500 221 < \0 ! 360 \a 300 016 \b \0 \0 \0 \0 \0 \0 \0
0055520 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 020 \0 \0 \0
0055540 \0 \0 \0 \0 \0 \0 \0 \b \0 \0 \0 \0 \0 \0 \0
0055560 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \b 020 \0 \0 \0
0055600 \0 \0 \0 020 \0 \0 \0 \0 020 \0 \0 \0 \0 \0 \0 \0
0055620 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0055640 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0055660 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0055700 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0055720 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0055740 \0 \0 D q \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0055760 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0056000 \0 \0 d ! \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0056020 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0056040 \0 \0 d ! \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0056060 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0056100 \0 \0 T ! \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0056120 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0056140 \0 \0 T ! \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0056160 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0056200 \0 \0 L ! \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0056220 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0056240 \0 \0 L ! \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0056260 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0056300 \0 \0 D q 360 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0056320 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0056340 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0056360 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0056400 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0056420 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0056440 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0056460 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0056500 \0 \0 \b \0 \0 \0 \0 \b 020 \0 \0 \0 \0 \0 \0
0056520 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0056540 \0 \0 020 001 300 \a 004 \b 020 \0 \0 \0 \0 \0 \0
0056560 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0056600 \0 \0 020 ` 002 \b 204 \b 020 \0 \0 \0 \0 \0 \0
0056620 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0056640 \0 \0 240 002 \0 202 004 \b \0 \0 \0 \0 \0 \0
0056660 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0056700 \0 \0 \0 @ \a 002 004 \b \0 \0 \0 \0 \0 \0
0056720 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0056740 \0 \0 \0 200 \0 202 004 \b \0 \0 \0 \0 \0 \0
0056760 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0057000 \0 \0 001 \0 \0 202 004 \b \0 \0 \0 \0 \0 \0
0057020 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0057040 \0 \0 002 \0 \b 202 004 \b \0 \0 \0 \0 \0 \0
0057060 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0057100 \0 \0 020 370 003 340 \a 004 \b 020 \0 \0 \0 \0 \0 \0
0057120 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0057140 \0 \0 020 \0 \0 \0 \0 004 \b 020 \0 \0 \0 \0 \0 \0
0057160 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0057200 \0 \0 \b \0 \0 \0 \0 \b 020 \0 \0 \0 \0 \0 \0
0057220 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0057240 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0057260 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 \0 \0 \0 \0 \0
0057300 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0057320 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 D q \0 \0 \0
0057340 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0057360 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 d ! \0 \0 \0
0057400 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0057420 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 d ! \0 \0 \0
0057440 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0057460 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 T ! \0 \0 \0
0057500 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0057520 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 T ! \0 \0 \0
0057540 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0057560 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 L ! \0 \0 \0
0057600 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0057620 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 L ! \0 \0 \0
0057640 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0057660 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 374 D q 360 \0 \0
0057700 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0057720 \0 \0 \0 \0 \0 \0 \0 \0 \0 \r I n t h e
0057740 t h e o r y E X A M P L E
0057760 S a s i m p l e l i t t l e
0060000 m a z e i s d e s c r i b
0060020 e d : t y p e i n t h e
0060040 g o a l : \t \t ( ( s e a r c h
0060060 a g ) ) \t \t t h a t w i l l
0060100 f i n d a p a t h f r o
0060120 m t h e r o o m ' a ' t
0060140 o t h e r o o m ' g ' . \r
0060160 \0 \0 @ \0 \0 \0 001 W 001 \v \0 001 \0 \0 \0 \0
0060200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
*
0061140 \0 \a 377 377 377 377 377 377 377 377 377 377 377 377 377 377
0061160 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377
0061200 377 377 377 377 377 377 377 377 377 374 \0 \0 \0 004 \0 \0
0061220 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0061240 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0061260 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0061300 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0061320 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0061340 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0061360 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0061400 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0061420 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0061440 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0061460 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0061500 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0061520 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0061540 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0061560 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0061600 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0061620 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0061640 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0061660 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0061700 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0061720 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0061740 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0061760 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0062000 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0062020 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0062040 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0062060 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0062100 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0062120 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0062140 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0062160 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0062200 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0062220 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0062240 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0062260 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0062300 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0062320 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0062340 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0062360 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0062400 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0062420 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0062440 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0062460 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0062500 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0062520 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0062540 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0062560 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0062600 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0062620 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0062640 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0062660 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0062700 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0062720 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0062740 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0062760 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0063000 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0063020 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0063040 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0063060 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0063100 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0063120 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0063140 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0063160 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0063200 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0063220 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0063240 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0063260 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0063300 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0063320 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0063340 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0063360 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0063400 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0063420 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0063440 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0063460 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0063500 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0063520 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0063540 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0063560 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0063600 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0063620 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0063640 \0 001 377 340 \0 \0 \0 \0 \0 \0 \0 \0 377 340 \0 \0
0063660 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0063700 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 001 377 340
0063720 \0 \0 \0 \0 \0 \0 \0 \0 377 340 \0 \0 \0 004 \0 \0
0063740 \0 004 \0 \0 \0 017 \0 003 300 \0 \0 004 \0 \0 \0 \0
0063760 0 \0 \0 \0 \0 004 \0 \0 \0 001 200 \0 \0 \0 \0 \0
0064000 \0 \0 \0 \0 300 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0064020 \0 017 \0 003 300 \0 \0 004 \0 \0 \0 \0 0 \0 \0 \0
0064040 \0 004 \0 \0 \0 001 200 \0 \0 \0 \0 \0 \0 \0 \0 \0
0064060 300 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 017 200 \a
0064100 300 \0 \0 004 \0 \0 \0 \0 0 \0 \0 \0 \0 004 \0 \0
0064120 \0 001 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 300 \0 \0 \0
0064140 \0 004 \0 \0 \0 004 \0 \0 \0 \r 200 006 300 \0 \0 004
0064160 \0 \0 \0 \0 0 \0 \0 \0 \0 004 \0 \0 \0 001 200 \0
0064200 \0 \0 \0 \0 \0 \0 \0 \0 300 \0 \0 \0 \0 004 \0 \0
0064220 \0 004 \0 \0 \0 \r 300 016 300 \0 \0 004 \0 \0 \0 \0
0064240 0 \0 \0 \0 \0 004 \0 \0 \0 001 200 \0 \0 \0 \0 \0
0064260 \0 \0 \0 \0 300 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0064300 \0 \f 300 \f 300 \0 \0 004 \0 \0 \0 \0 0 \0 \0 \0
0064320 \0 004 \0 \0 \0 001 200 \0 \0 \0 \0 \0 \0 \0 \0 \0
0064340 300 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \f 340 034
0064360 300 \0 \0 004 \0 \0 \0 \0 0 \0 \0 \0 \0 004 \0 \0
0064400 \0 001 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 300 \0 \0 \0
0064420 \0 004 \0 \0 \0 004 \0 \0 \0 \f ` 030 300 \0 \0 004
0064440 \0 \0 \0 \0 0 \0 \0 \0 \0 004 \0 \0 \0 001 377 300
0064460 \0 \0 \0 \0 \0 \0 \0 \0 377 300 \0 \0 \0 004 \0 \0
0064500 \0 004 \0 \0 \0 \f ` 030 300 \0 \0 004 \0 \0 \0 \0
0064520 0 \0 \0 \0 \0 004 \0 \0 \0 001 377 300 \0 \0 \0 \0
0064540 \0 \0 \0 \0 377 300 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0064560 \0 \f p 8 300 \0 \0 004 \0 \0 \0 \0 0 \0 \0 \0
0064600 \0 004 \0 \0 \0 001 200 \0 \0 \0 \0 \0 \0 \0 \0 \0
0064620 300 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \f 0 0
0064640 300 \0 \0 004 \0 \0 \0 \0 0 \0 \0 \0 \0 004 \0 \0
0064660 \0 001 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 300 \0 \0 \0
0064700 \0 004 \0 \0 \0 004 \0 \0 \0 \f 8 p 300 \0 \0 004
0064720 \0 \0 \0 \0 0 \0 \0 \0 \0 004 \0 \0 \0 001 200 \0
0064740 \0 \0 \0 \0 \0 \0 \0 \0 300 \0 \0 \0 \0 004 \0 \0
0064760 \0 004 \0 \0 \0 \f 030 ` 300 \0 \0 004 \0 \0 \0 \0
0065000 0 \0 \0 \0 \0 004 \0 \0 \0 001 200 \0 \0 \0 \0 \0
0065020 \0 \0 \0 \0 300 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0065040 \0 \f 030 ` 300 \0 \0 004 \0 \0 \0 \0 0 \0 \0 \0
0065060 \0 004 \0 \0 \0 001 200 \0 \0 \0 \0 \0 \0 \0 \0 \0
0065100 300 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \f 034 340
0065120 300 \0 \0 004 \0 \0 \0 \0 0 \0 \0 \0 \0 004 \0 \0
0065140 \0 001 200 \0 \0 \0 \0 \0 \0 \0 \0 \0 300 \0 \0 \0
0065160 \0 004 \0 \0 \0 004 \0 \0 \0 \f \f 300 300 \0 \0 004
0065200 \0 \0 \0 \0 0 \0 \0 \0 \0 004 \0 \0 \0 001 200 \0
0065220 \0 \0 \0 \0 \0 \0 \0 \0 300 \0 \0 \0 \0 004 \0 \0
0065240 \0 004 \0 \0 \0 \f \f 300 300 \0 \0 004 \0 \0 \0 \0
0065260 0 \0 \0 \0 \0 004 \0 \0 \0 001 200 \0 \0 \0 \0 004
0065300 \0 \0 \0 \0 300 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0065320 \0 \f 017 300 300 \0 \0 004 \0 \0 \0 \0 0 \0 \0 \0
0065340 \0 004 \0 \0 \0 001 377 340 \0 \0 \0 004 \0 \0 \0 \0
0065360 300 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \f \a 200
0065400 300 \0 \0 004 \0 \0 \0 \0 0 \0 \0 \0 \0 004 \0 \0
0065420 \0 001 377 340 \0 \0 \0 004 \0 \0 \0 \0 300 \0 \0 \0
0065440 \0 004 \0 \0 \0 004 \0 \0 \0 \f \a 200 300 \0 \0 004
0065460 \0 \0 \0 \0 0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0065500 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0065520 \0 004 \0 \0 \0 \f 003 \0 300 \0 \0 004 \0 \0 \0 \0
0065540 0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0065560 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0065600 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0065620 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0065640 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0065660 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0065700 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0065720 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0065740 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0065760 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0066000 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0066020 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0066040 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0066060 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0066100 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0066120 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0066140 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0066160 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0066200 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0066220 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0066240 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0066260 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0066300 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0066320 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0066340 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0066360 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0066400 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0066420 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0066440 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0066460 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0066500 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0066520 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0066540 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0066560 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0066600 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0066620 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0066640 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0066660 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0066700 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0066720 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0066740 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0066760 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0067000 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0067020 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0067040 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0067060 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0067100 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0067120 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0067140 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0067160 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0067200 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0067220 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0067240 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0067260 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0067300 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0067320 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0067340 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0067360 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0067400 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0067420 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0067440 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0067460 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0067500 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0067520 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0067540 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0067560 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0067600 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0067620 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0067640 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0067660 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0067700 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0067720 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0067740 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0067760 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0070000 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0070020 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0070040 \0 \a 377 374 \0 \0 \0 \a 377 377 377 377 377 377 377 377
0070060 377 377 377 377 377 374 \0 \0 \0 \a 377 377 377 377 377 377
0070100 377 377 377 374 \0 \0 \0 \a 377 374 \0 \0 \0 004 \0 \0
0070120 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0070140 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0070160 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0070200 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0070220 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0070240 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0070260 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0070300 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0070320 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0070340 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0070360 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0070400 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0070420 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0070440 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0070460 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0070500 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0070520 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0070540 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0070560 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0070600 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0070620 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0070640 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0070660 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0070700 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0070720 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0070740 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0070760 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0071000 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0071020 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0071040 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0071060 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0071100 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0071120 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0071140 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0071160 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0071200 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0071220 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0071240 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0071260 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0071300 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0071320 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0071340 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0071360 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0071400 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0071420 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0071440 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0071460 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0071500 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0071520 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0071540 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0071560 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0071600 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0071620 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0071640 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0071660 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0071700 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0071720 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0071740 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0071760 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0072000 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0072020 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0072040 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0072060 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0072100 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0072120 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0072140 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0072160 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0072200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0072220 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0072240 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0072260 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0072300 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0072320 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0072340 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0072360 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0072400 ? 200 \0 \0 \0 \0 \0 \0 \0 \a 377 \0 \0 \0 \0 004
0072420 \0 \0 \0 001 200 006 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0072440 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 377 340 \0 \0
0072460 \0 \0 \0 \0 \0 \a 377 300 \0 \0 \0 004 \0 \0 \0 001
0072500 200 006 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 177 200
0072520 \0 \0 \0 \0 \0 \0 \0 001 340 340 \0 \0 \0 \0 \0 \0
0072540 \0 006 001 340 \0 \0 \0 004 \0 \0 \0 001 200 006 \0 \0
0072560 \0 004 \0 \0 \0 004 \0 \0 \0 \0 177 340 \0 \0 \0 \0
0072600 \0 \0 \0 003 200 \0 \0 \0 \0 \0 \0 \0 006 \0 p
0072620 \0 \0 \0 004 \0 \0 \0 001 200 006 \0 \0 \0 004 \0 \0
0072640 \0 004 \0 \0 \0 \0 ` 360 \0 \0 \0 \0 \0 \0 \0 \a
0072660 \0 \0 \0 \0 \0 \0 \0 \0 \0 006 \0 8 \0 \0 \0 004
0072700 \0 \0 \0 001 200 006 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0072720 \0 \0 ` 0 \0 \0 \0 \0 \0 \0 \0 006 \0 \0 \0 \0
0072740 \0 \0 \0 \0 \0 006 \0 030 \0 \0 \0 004 \0 \0 \0 001
0072760 200 006 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 ` 8
0073000 \0 \0 \0 \0 \0 \0 \0 016 \0 \0 \0 \0 \0 \0 \0 \0
0073020 \0 006 \0 030 \0 \0 \0 004 \0 \0 \0 001 200 006 \0 \0
0073040 \0 004 \0 \0 \0 004 \0 \0 \0 \0 ` 030 \0 \0 \0 \0
0073060 \0 \0 \0 \f \0 \0 \0 \0 \0 \0 \0 \0 \0 006 \0 \f
0073100 \0 \0 \0 004 \0 \0 \0 001 200 006 \0 \0 \0 004 \0 \0
0073120 \0 004 \0 \0 \0 \0 ` 8 \0 \0 \0 \0 \0 \0 \0 \f
0073140 \0 \0 \0 \0 \0 \0 \0 \0 \0 006 \0 \f \0 \0 \0 004
0073160 \0 \0 \0 001 200 006 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0073200 \0 \0 ` 0 \0 \0 \0 \0 \0 \0 \0 \f \0 \0 \0 \0
0073220 \0 \0 \0 \0 \0 006 \0 \f \0 \0 \0 004 \0 \0 \0 001
0073240 377 376 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 ` 360
0073260 \0 \0 \0 \0 \0 \0 \0 \f \0 \0 \0 \0 \0 \0 \0 \0
0073300 \0 006 \0 \f \0 \0 \0 004 \0 \0 \0 001 377 376 \0 \0
0073320 \0 004 \0 \0 \0 004 \0 \0 \0 \0 177 300 \0 \0 \0 \0
0073340 \0 \0 \0 \f \0 \0 \0 \0 \0 \0 \0 \0 \0 006 \0 \f
0073360 \0 \0 \0 004 \0 \0 \0 001 200 006 \0 \0 \0 004 \0 \0
0073400 \0 004 \0 \0 \0 \0 177 360 \0 \0 \0 \0 \0 \0 \0 \f
0073420 \0 \0 \0 \0 \0 \0 \0 \0 \0 006 \0 \f \0 \0 \0 004
0073440 \0 \0 \0 001 200 006 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0073460 \0 \0 ` x \0 \0 \0 \0 \0 \0 \0 \f \0 \0 \0 \0
0073500 \0 \0 \0 \0 \0 006 \0 \f \0 \0 \0 004 \0 \0 \0 001
0073520 200 006 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 ` 030
0073540 \0 \0 \0 \0 \0 \0 \0 016 \0 \0 \0 \0 \0 \0 \0 \0
0073560 \0 006 \0 030 \0 \0 \0 004 \0 \0 \0 001 200 006 \0 \0
0073600 \0 004 \0 \0 \0 004 \0 \0 \0 \0 ` 034 \0 \0 \0 \0
0073620 \0 \0 \0 006 \0 \0 \0 \0 \0 \0 \0 \0 \0 006 \0 030
0073640 \0 \0 \0 004 \0 \0 \0 001 200 006 \0 \0 \0 004 \0 \0
0073660 \0 004 \0 \0 \0 \0 ` \f \0 \0 \0 \0 \0 \0 \0 \a
0073700 \0 \0 \0 \0 \0 \0 \0 \0 \0 006 \0 8 \0 \0 \0 004
0073720 \0 \0 \0 001 200 006 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0073740 \0 \0 ` \f \0 \0 \0 \0 \0 \0 \0 003 200 \0 \0
0073760 \0 \0 \0 \0 \0 006 \0 p \0 \0 \0 004 \0 \0 \0 001
0074000 200 006 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 ` 034
0074020 \0 \0 \0 \0 \0 \0 \0 001 340 340 \0 \0 \0 \0 \0 \0
0074040 \0 006 001 340 \0 \0 \0 004 \0 \0 \0 001 200 006 \0 \0
0074060 \0 004 \0 \0 \0 004 \0 \0 \0 \0 ` 030 \0 \0 \0 \0
0074100 \0 \0 \0 \0 377 340 \0 \0 \0 \0 \0 \0 \0 \a 377 300
0074120 \0 \0 \0 004 \0 \0 \0 001 200 006 \0 \0 \0 004 \0 \0
0074140 \0 004 \0 \0 \0 \0 ` x \0 \0 \0 004 \0 \0 \0 \0
0074160 ? 200 \0 \0 \0 004 \0 \0 \0 \a 377 \0 \0 \0 \0 004
0074200 \0 \0 \0 001 200 006 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0074220 \0 \0 177 360 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0074240 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0074260 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 177 300
0074300 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0074320 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0074340 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0074360 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0074400 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0074420 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0074440 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0074460 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0074500 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0074520 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0074540 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0074560 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0074600 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0074620 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0074640 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0074660 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0074700 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0074720 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0074740 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0074760 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0075000 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0075020 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0075040 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0075060 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0075100 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0075120 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0075140 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0075160 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0075200 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0075220 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0075240 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0075260 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0075300 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0075320 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0075340 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0075360 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0075400 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0075420 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0075440 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0075460 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0075500 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0075520 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0075540 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0075560 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0075600 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0075620 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0075640 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0075660 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0075700 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0075720 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0075740 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0075760 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0076000 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0076020 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0076040 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0076060 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0076100 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0076120 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0076140 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0076160 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0076200 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0076220 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0076240 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0076260 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0076300 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0076320 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0076340 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0076360 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0076400 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0076420 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0076440 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0076460 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0076500 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0076520 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0076540 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0076560 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0076600 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0076620 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0076640 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0076660 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0076700 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0076720 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0076740 \0 \a 377 377 377 374 \0 \0 \0 \a 377 377 377 377 377 377
0076760 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377
0077000 377 374 \0 \0 \0 \a 377 377 377 374 \0 \0 \0 004 \0 \0
0077020 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0077040 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0077060 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0077100 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0077120 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0077140 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0077160 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0077200 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0077220 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0077240 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0077260 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0077300 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0077320 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0077340 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0077360 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0077400 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0077420 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0077440 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0077460 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0077500 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0077520 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0077540 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0077560 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0077600 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0077620 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0077640 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0077660 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0077700 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0077720 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0077740 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0077760 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0100000 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0100020 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0100040 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0100060 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0100100 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0100120 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0100140 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0100160 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0100200 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0100220 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0100240 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0100260 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0100300 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0100320 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0100340 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0100360 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0100400 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0100420 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0100440 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0100460 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0100500 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0100520 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0100540 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0100560 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0100600 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0100620 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0100640 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0100660 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0100700 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0100720 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0100740 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0100760 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0101000 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0101020 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0101040 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0101060 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0101100 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0101120 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0101140 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0101160 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0101200 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0101220 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0101240 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0101260 \0 004 \0 \0 \0 \0 \a 200 \0 \0 \0 004 \0 \0 \0 \a
0101300 \0 030 \0 \0 \0 004 \0 \0 \0 \0 ? 300 \0 \0 \0 \0
0101320 \0 \0 \0 \0 300 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0101340 \0 \0 017 300 \0 \0 \0 004 \0 \0 \0 \a 200 030 \0 \0
0101360 \0 004 \0 \0 \0 \0 377 360 \0 \0 \0 \0 \0 \0 \0 \0
0101400 300 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \f 300
0101420 \0 \0 \0 004 \0 \0 \0 \a 300 030 \0 \0 \0 004 \0 \0
0101440 \0 001 340 p \0 \0 \0 \0 \0 \0 \0 \0 300 \0 \0 \0
0101460 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \f 300 \0 \0 \0 004
0101500 \0 \0 \0 006 300 030 \0 \0 \0 004 \0 \0 \0 003 200 020
0101520 \0 \0 \0 \0 \0 \0 \0 \0 300 \0 \0 \0 \0 004 \0 \0
0101540 \0 004 \0 \0 \0 \0 034 340 \0 \0 \0 004 \0 \0 \0 006
0101560 340 030 \0 \0 \0 004 \0 \0 \0 \a \0 \0 \0 \0 \0 \0
0101600 \0 \0 \0 \0 300 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0101620 \0 \0 030 ` \0 \0 \0 \0 \0 \0 \0 006 p 030 \0 \0
0101640 \0 004 \0 \0 \0 006 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0101660 300 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 030 `
0101700 \0 \0 \0 \0 \0 \0 \0 006 0 030 \0 \0 \0 004 \0 \0
0101720 \0 016 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 300 \0 \0 \0
0101740 \0 004 \0 \0 \0 004 \0 \0 \0 \0 8 p \0 \0 \0 \0
0101760 \0 \0 \0 006 8 030 \0 \0 \0 004 \0 \0 \0 \f \0 \0
0102000 \0 \0 \0 \0 \0 \0 \0 \0 300 \0 \0 \0 \0 004 \0 \0
0102020 \0 004 \0 \0 \0 \0 0 0 \0 \0 \0 \0 \0 \0 \0 006
0102040 034 030 \0 \0 \0 004 \0 \0 \0 \f \0 \0 \0 \0 \0 \0
0102060 \0 \0 \0 \0 300 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0102100 \0 \0 0 0 \0 \0 \0 \0 \0 \0 \0 006 \f 030 \0 \0
0102120 \0 004 \0 \0 \0 \f \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0102140 300 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 p 8
0102160 \0 \0 \0 \0 \0 \0 \0 006 016 030 \0 \0 \0 004 \0 \0
0102200 \0 \f \a 370 \0 \0 \0 \0 \0 \0 \0 \0 300 \0 \0 \0
0102220 \0 004 \0 \0 \0 004 \0 \0 \0 \0 ` 030 \0 \0 \0 \0
0102240 \0 \0 \0 006 006 030 \0 \0 \0 004 \0 \0 \0 \f \a 370
0102260 \0 \0 \0 \0 \0 \0 \0 \0 300 \0 \0 \0 \0 004 \0 \0
0102300 \0 004 \0 \0 \0 \0 ` 030 \0 \0 \0 \0 \0 \0 \0 006
0102320 003 030 \0 \0 \0 004 \0 \0 \0 \f \0 030 \0 \0 \0 \0
0102340 \0 \0 \0 \0 300 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0102360 \0 \0 340 034 \0 \0 \0 \0 \0 \0 \0 006 003 230 \0 \0
0102400 \0 004 \0 \0 \0 \f \0 030 \0 \0 \0 \0 \0 \0 \0 \0
0102420 300 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 377 374
0102440 \0 \0 \0 \0 \0 \0 \0 006 001 230 \0 \0 \0 004 \0 \0
0102460 \0 016 \0 030 \0 \0 \0 \0 \0 \0 \0 \0 300 \0 \0 \0
0102500 \0 004 \0 \0 \0 004 \0 \0 \0 \0 377 374 \0 \0 \0 \0
0102520 \0 \0 \0 006 \0 330 \0 \0 \0 004 \0 \0 \0 006 \0 030
0102540 \0 \0 \0 \0 \0 \0 \0 \0 300 \0 \0 \0 \0 004 \0 \0
0102560 \0 004 \0 \0 \0 001 300 016 \0 \0 \0 \0 \0 \0 \0 006
0102600 \0 370 \0 \0 \0 004 \0 \0 \0 \a \0 030 \0 \0 \0 \0
0102620 \0 \0 \0 \0 300 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0102640 \0 001 200 006 \0 \0 \0 \0 \0 \0 \0 006 \0 x \0 \0
0102660 \0 004 \0 \0 \0 003 200 030 \0 \0 \0 \0 \0 \0 \0 \0
0102700 300 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 001 200 006
0102720 \0 \0 \0 \0 \0 \0 \0 006 \0 8 \0 \0 \0 004 \0 \0
0102740 \0 001 340 8 \0 \0 \0 \0 \0 \0 \0 \0 300 \0 \0 \0
0102760 \0 004 \0 \0 \0 004 \0 \0 \0 003 200 \a \0 \0 \0 \0
0103000 \0 \0 \0 006 \0 8 \0 \0 \0 004 \0 \0 \0 \0 377 370
0103020 \0 \0 \0 \0 \0 \0 \0 \0 377 340 \0 \0 \0 004 \0 \0
0103040 \0 004 \0 \0 \0 003 \0 003 \0 \0 \0 \0 \0 \0 \0 006
0103060 \0 030 \0 \0 \0 004 \0 \0 \0 \0 ? 340 \0 \0 \0 004
0103100 \0 \0 \0 \0 377 340 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0103120 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0103140 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0103160 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0103200 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0103220 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0103240 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0103260 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0103300 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0103320 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0103340 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0103360 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0103400 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0103420 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0103440 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0103460 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0103500 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0103520 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0103540 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0103560 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0103600 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0103620 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0103640 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0103660 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0103700 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0103720 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0103740 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0103760 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0104000 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0104020 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0104040 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0104060 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0104100 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0104120 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0104140 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0104160 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0104200 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0104220 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0104240 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0104260 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0104300 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0104320 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0104340 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0104360 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0104400 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0104420 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0104440 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0104460 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0104500 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0104520 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0104540 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0104560 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0104600 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0104620 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0104640 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0104660 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0104700 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0104720 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0104740 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0104760 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0105000 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0105020 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0105040 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0105060 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0105100 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0105120 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0105140 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0105160 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0105200 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0105220 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0105240 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0105260 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0105300 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0105320 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0105340 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0105360 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0105400 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0105420 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0
0105440 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0105460 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0
0105500 \0 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0105520 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0105540 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0
0105560 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004
0105600 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 \0
0105620 \0 \0 \0 004 \0 \0 \0 \0 \0 \0 \0 \0 \0 004 \0 \0
0105640 \0 \a 377 374 \0 \0 \0 \a 377 377 377 377 377 377 377 377
0105660 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377
0105700 377 377 377 377 377 377 377 377 377 374 \0 \0 \0 \0 \0 \0
0105720 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
*
0107140 \r H e r e a r e o t h e r
0107160 e x a m p l e s o f g o a
0107200 l s y o u c a n t r y : \t
0107220 \t ( ( s a - m e m b e r 3 (
0107240 1 2 3 4 5 ) ) ) \t \t ( (
0107260 l o g i c - m e m b e r 3 (
0107300 1 2 3 4 5 ) ) ) \t \t T h
0107320 e f i r s t o n e i s a
0107340 S A , t h e l a t t e r
0107360 i s a p r e d i c a t e . \t
0107400 \t ( ( N O T ( A 1 ) ) )
0107420 - - > T \t \t ( ( N O T M E M B
0107440 E R 2 ( 1 3 4 ) ) )
0107460 - - > T \t \t a n d s o o n
0107500 . \t \t T r y n o w a l l t
0107520 h e o t h e r f e a t u r e
0107540 s o f t h e l a n g u a g
0107560 e . \t \t Y o u c a n a s k
0107600 t h e s y s t e m f o r t
0107620 h e s a m e g o a l s f r
0107640 o m t h e l i s p l i s t
0107660 e n e r : \t \t ( l o a d - t h e
0107700 o r y ' e x a m p l e s ) \t \t
0107720 ( p r o v e ' ( ( A P P E N D
0107740 ? X ? Y ( 1 2 3 4 )
0107760 ) ' ( e x a m p l e s ) ) -
0110000 - > T \t \t ( a l l ' ( ? X
0110020 ? Y ) ' ( ( A P P E N D ?
0110040 X ? Y ( 1 2 3 4 ) )
0110060 ' ( e x a m p l e s ) ) \t \t
0110100 - - > ( ( N I L ( 1 2 3
0110120 4 ) ) ( ( 1 ) ( 2 3 4
0110140 ) ) ( ( 1 2 ) ( 3 4 ) )
0110160 ( ( 1 2 3 ) ( 4 ) ) (
0110200 ( 1 2 3 4 ) N I L ) ) \r
0110220 \t \t H a v e f u n ! \r \0 \0 \0 \0
0110240 \0 003 ( L I S T ( ( P A G E N
0110260 I L ( F O L I O I N F O ( A
0110300 R A B I C ) S T A R T I N G P
0110320 A G E # 1 ) ( 0 0 6 1 2
0110340 7 9 2 ) ( ( F O L I O N I
0110360 L ( P A R A L O O K S ( Q U
0110400 A D C E N T E R E D ) C H A
0110420 R L O O K S ( S U P E R S C R
0110440 I P T 0 S I Z E 1 0 F A
0110460 M I L Y M O D E R N O V E R
0110500 L I N E O F F S T R I K E O
0110520 U T O F F U N D E R L I N E
0110540 O F F S L O P E R E G U L
0110560 A R W E I G H T M E D I U M
0110600 ) F O R M A T I N F O ( A R
0110620 A B I C ) ) ( 1 7 4 3 6 2
0110640 8 8 3 6 ) N I L ) ( H E A
0110660 D I N G N I L ( H E A D I N
0110700 G T Y P E R U N N I N G H E A
0110720 D ) ( 8 4 7 4 4 4 4 4 3
0110740 6 ) N I L ) ( T E X T N I
0110760 L N I L ( 8 4 9 6 4 5 6
0111000 6 0 0 ) N I L ) ) ) ( P A
0111020 G E N I L N I L ( 0 0
0111040 6 1 2 7 9 2 ) ( ( F O L I O
0111060 N I L ( P A R A L O O K S
0111100 ( Q U A D C E N T E R E D )
0111120 C H A R L O O K S ( S U P E R
0111140 S C R I P T 0 S I Z E 1 0
0111160 F A M I L Y M O D E R N O
0111200 V E R L I N E O F F S T R I
0111220 K E O U T O F F U N D E R L
0111240 I N E O F F S L O P E R E
0111260 G U L A R W E I G H T M E D
0111300 I U M ) ) ( 2 8 2 4 2 7 2
0111320 3 6 ) N I L ) ( H E A D I
0111340 N G N I L ( H E A D I N G T
0111360 Y P E R U N N I N G H E A D )
0111400 ( 8 4 7 4 4 4 4 4 3 6 )
0111420 N I L ) ( T E X T N I L
0111440 N I L ( 8 4 9 6 4 5 6 6
0111460 0 0 ) N I L ) ) ) ( P A G E
0111500 N I L N I L ( 0 0 6 1
0111520 2 7 9 2 ) ( ( F O L I O N
0111540 I L ( P A R A L O O K S ( Q
0111560 U A D C E N T E R E D ) C H
0111600 A R L O O K S ( S U P E R S C
0111620 R I P T 0 S I Z E 1 0 F
0111640 A M I L Y M O D E R N O V E
0111660 R L I N E O F F S T R I K E
0111700 O U T O F F U N D E R L I N
0111720 E O F F S L O P E R E G U
0111740 L A R W E I G H T M E D I U
0111760 M ) ) ( 2 8 2 4 2 7 2 3
0112000 6 ) N I L ) ( H E A D I N G
0112020 N I L ( H E A D I N G T Y P
0112040 E R U N N I N G H E A D ) (
0112060 8 4 7 4 4 4 4 4 3 6 ) N
0112100 I L ) ( T E X T N I L N I
0112120 L ( 8 4 9 6 4 5 6 6 0 0
0112140 ) N I L ) ) ) ) ) \0 \0 \0 \0 \0 005
0112160 \0 005 \0 . \0 \0 \0 \0 001 310 \0 \v \0 \0 \0 004
0112200 003 004 \0 \0 001 001 310 001 \0 \0 \0 \0 \0 \0 \0 \0
0112220 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0112240 \0 ( \0 \0 \0 \0 001 310 \0 021 \0 \0 \0 004 002 003
0112260 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0112300 \0 \0 \0 \0 \0 \0 \0 \0 \0 ( \0 212 \0 212 001 8
0112320 \0 006 \0 \0 \0 004 002 003 \0 \0 \0 \0 \0 \0 \0 \0
0112340 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0112360 \0 ( \0 212 \0 212 001 8 \0 \0 \0 \0 \0 004 002 004
0112400 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0112420 \0 \0 \0 \0 \0 \0 \0 \0 \0 D \0 \0 \0 \0 001 310
0112440 \0 \0 \0 \0 \0 \0 003 004 \0 \0 001 001 310 001 \0 \0
0112460 \0 \0 \0 \0 \0 \v P A G E H E A D I N
0112500 G \0 \v R U N N I N G H E A D \0 \0
0112520 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
0112540 \0 004 \0 \b \0 026 \0 \b T E R M I N A L
0112560 \0 \n \0 \0 \0 \0 \0 \0 \0 \0 \0 027 \0 \t H E
0112600 L V E T I C A \0 \n \0 \0 \0 \0 \0 \0 \0
0112620 \0 \0 024 \0 006 M O D E R N \0 \n \0 \0 \0
0112640 \0 \0 \0 002 \0 \0 024 \0 006 M O D E R N \0
0112660 \n \0 \0 \0 \0 \0 \0 \0 \0 \0 024 \0 006 M O D
0112700 E R N \0 \f \0 \0 \0 \0 \0 \0 002 \0 \0 024 \0
0112720 006 M O D E R N \0 006 \0 \0 \0 \0 \0 \0 \0
0112740 \0 \0 024 \0 006 M O D E R N \0 \n \0 \0 \0
0112760 \0 \0 \0 001 \0 \0 022 \0 004 L O G O \0 030 \0
0113000 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 002 \0 005 \0
0113020 \0 \0 005 \0 \0 \0 \0 \b \0 \0 \0 001 \0 \0 \0 \0
0113040 006 \0 \0 \0 006 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002
0113060 \0 005 \0 \0 \0 002 \0 001 \0 \v H R U L E .
0113100 G E T F N 001 \0 024 \0 006 M O D E R N
0113120 \0 \n \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 \0 \0
0113140 \0 \0 004 \0 \0 \0 \0 \0 002 \0 004 \0 \0 \0 002 \0
0113160 001 \0 \v H R U L E . G E T F N 001 \0
0113200 024 \0 006 M O D E R N \0 \n \0 \0 \0 \0 \0
0113220 \0 \0 \0 \0 \0 \0 001 \0 \0 \0 \0 004 \0 \0 \0 \0
0113240 \0 002 \0 004 \0 \0 \0 002 \0 001 \0 \v H R U L
0113260 E . G E T F N 001 \0 024 \0 006 M O D E
0113300 R N \0 \n \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001
0113320 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 003 \0 \0 \0
0113340 006 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 003 \0 \0
0113360 \0 002 \0 001 \0 \v H R U L E . G E T F
0113400 N 001 \0 024 \0 006 M O D E R N \0 \f \0 \0
0113420 \0 \0 \0 \0 002 \0 \0 \0 \0 001 \0 \0 \0 \0 005 \0
0113440 \0 \0 \0 \0 002 \0 004 \0 \0 \0 002 \0 001 \0 \v H
0113460 R U L E . G E T F N 001 \0 024 \0 006 M
0113500 O D E R N \0 \f \0 \0 \0 \0 \0 \0 002 \0 \0
0113520 \0 \0 001 \0 \0 \0 \0 005 \0 \0 \0 \0 \0 002 \0 002
0113540 \0 \0 \0 B \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0
0113560 002 \0 \0 \0 023 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002
0113600 \0 001 \0 \0 \0 035 \0 \0 \0 \0 004 \0 \0 \0 024 \0
0113620 001 \0 026 D O C O B J - T I M E S T
0113640 A M P - G E T F N \0 \0 \0 \0 001 \0 \0
0113660 \0 \0 004 \0 \0 \0 001 \0 \0 \0 \0 003 \0 \0 \0 \0
0113700 \0 002 \0 001 \0 \0 \0 \f \0 \0 \0 \0 003 \0 \0 \0
0113720 001 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0
0113740 001 274 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0
0113760 \0 \0 } \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001
0114000 \0 \0 \0 \f \0 \0 \0 \0 003 \0 \0 \0 001 \0 \0 \0
0114020 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 336 \0 \0
0114040 \0 \0 004 \0 \0 \0 025 \0 \0 \0 \0 \a \0 \0 001 032
0114060 \0 \0 \0 \0 004 \0 \0 \0 005 \0 \0 002 \0 004 \0 \0
0114100 \0 005 \0 \0 \0 \0 004 \0 \0 \0 \b \0 \0 \0 \0 \a
0114120 \0 \0 \0 \0 \0 \0 \0 004 \0 \0 \0 005 \0 \0 002
0114140 \0 004 \0 \0 \0 006 \0 \0 \0 \0 004 \0 \0 \0 016 \0
0114160 \0 \0 \0 \a \0 \0 \0 p \0 \0 \0 \0 004 \0 \0 \0
0114200 005 \0 \0 002 \0 004 \0 \0 \0 005 \0 \0 \0 \0 004 \0
0114220 \0 \0 006 \0 \0 \0 \0 \a \0 \0 \0 260 \0 \0 \0 \0
0114240 004 \0 \0 \0 005 \0 \0 002 \0 004 \0 \0 \0 005 \0 \0
0114260 \0 \0 004 \0 \0 \0 016 \0 \0 \0 \0 \a \0 \0 \0 r
0114300 \0 \0 \0 \0 004 \0 \0 \0 005 \0 \0 002 \0 004 \0 \0
0114320 \0 005 \0 \0 \0 \0 004 \0 \0 \0 006 \0 \0 \0 \0 \a
0114340 \0 \0 \0 2 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0
0114360 001 \0 \0 \0 316 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002
0114400 \0 001 \0 \0 \0 H \0 \0 \0 \0 004 \0 \0 \0 \0 \0
0114420 002 \0 001 \0 \0 \0 006 \0 \0 \0 \0 004 \0 \0 \0 016
0114440 \0 \0 \0 \0 \a \0 \0 \0 001 \0 \0 \0 \0 004 \0 \0
0114460 \0 001 \0 \0 \0 \0 002 \0 \0 \0 \v \0 \0 \0 \0 004
0114500 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 \f \0 \0 \0 \0
0114520 004 \0 \0 \0 004 \0 \0 \0 \0 \a \0 \0 \0 032 \0 \0
0114540 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \a \0 \0 \0 033
0114560 \0 \0 \0 \0 004 \0 \0 \0 003 \0 \0 \0 \0 \a \0 \0
0114600 \0 321 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0
0114620 \0 \0 006 \0 \0 \0 \0 004 \0 \0 \0 027 \0 \0 \0 \0
0114640 \a \0 \0 \0 001 \0 \0 \0 \0 004 \0 \0 \0 001 \0 \0
0114660 \0 \0 002 \0 \0 \0 \v \0 \0 \0 \0 004 \0 \0 \0 \0
0114700 \0 002 \0 001 \0 \0 \0 \b \0 \0 \0 \0 004 \0 \0 \0
0114720 \r \0 \0 \0 \0 \a \0 \0 \0 c \0 \0 \0 \0 004 \0
0114740 \0 \0 \0 \0 002 \0 001 \0 \0 \0 \n \0 \0 \0 \0 004
0114760 \0 \0 \0 036 \0 \0 \0 \0 \a \0 \0 \0 001 \0 \0 \0
0115000 \0 004 \0 \0 \0 001 \0 \0 \0 \0 002 \0 \0 \0 \v \0
0115020 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 307
0115040 \0 \0 \0 \0 004 \0 \0 004 260 \0 001 \0 \f B M O
0115060 B J . G E T F N 3 \0 \0 \0 \0 001 \0 \0
0115100 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 020 \0
0115120 \0 \0 \0 004 \0 \0 \0 \f \0 \0 \0 \0 \a \0 \0 \0
0115140 001 \0 \0 \0 \0 004 \0 \0 \0 001 \0 \0 \0 \0 002 \0
0115160 \0 \0 \v \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001
0115200 \0 \0 \0 i \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0
0115220 001 \0 \0 \0 023 \0 \0 \0 \0 004 \0 \0 \0 001 \0 \0
0115240 \0 \0 002 \0 \0 \0 \v \0 \0 \0 \0 004 \0 \0 \0 \0
0115260 \0 002 \0 001 \0 \0 \0 < \0 \0 \0 \0 004 \0 \0 \0
0115300 \0 \0 002 \0 001 \0 \0 \0 \r \0 \0 \0 \0 004 \0 \0
0115320 \0 \v \0 \0 \0 \0 \a \0 \0 \0 001 \0 \0 \0 \0 004
0115340 \0 \0 \0 001 \0 \0 \0 \0 002 \0 \0 \0 \v \0 \0 \0
0115360 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 / \0 \0
0115400 \0 \0 004 \0 \0 \0 \v \0 \0 \0 \0 \a \0 \0 \0 203
0115420 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0
0115440 \v \0 \0 \0 \0 004 \0 \0 \0 030 \0 \0 \0 \0 \a \0
0115460 \0 \0 001 \0 \0 \0 \0 004 \0 \0 \0 001 \0 \0 \0 \0
0115500 002 \0 \0 \0 \v \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002
0115520 \0 001 \0 \0 \0 ) \0 \0 \0 \0 004 \0 \0 \0 004 \0
0115540 \0 \0 \0 \a \0 \0 \0 017 \0 \0 \0 \0 004 \0 \0 \0
0115560 \a \0 \0 \0 \0 \a \0 \0 \0 032 \0 \0 \0 \0 004 \0
0115600 \0 \0 \v \0 \0 \0 \0 \a \0 \0 \0 ; \0 \0 \0 \0
0115620 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 016 \0 \0 \0
0115640 \0 004 \0 \0 \0 030 \0 \0 \0 \0 \a \0 \0 \0 001 \0
0115660 \0 \0 \0 004 \0 \0 \0 001 \0 \0 \0 \0 002 \0 \0 \0
0115700 \v \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0
0115720 \0 3 \0 \0 \0 \0 004 \0 \0 \0 004 \0 \0 \0 \0 \a
0115740 \0 \0 \0 005 \0 \0 \0 \0 004 \0 \0 \0 \b \0 \0 \0
0115760 \0 \a \0 \0 \0 002 \0 \0 \0 \0 004 \0 \0 \0 \0 \0
0116000 002 \0 001 \0 \0 \0 016 \0 \0 \0 \0 004 \0 \0 \0 026
0116020 \0 \0 \0 \0 \a \0 \0 \0 001 \0 \0 \0 \0 004 \0 \0
0116040 \0 001 \0 \0 \0 \0 002 \0 \0 \0 \v \0 \0 \0 \0 004
0116060 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 027 \0 \0 \0 \0
0116100 004 \0 \0 \0 \v \0 \0 \0 \0 \a \0 \0 \0 023 \0 \0
0116120 \0 \0 004 \0 \0 \0 \n \0 \0 \0 \0 \a \0 \0 \0 :
0116140 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0
0116160 020 \0 \0 \0 \0 004 \0 \0 \0 ' \0 \0 \0 \0 \a \0
0116200 \0 \0 001 \0 \0 \0 \0 002 \0 \0 \0 " \0 \0 \0 \0
0116220 004 \0 \0 \0 017 \0 \0 \0 \0 \a \0 \0 \0 E \0 \0
0116240 \0 \0 004 \0 \0 \0 020 \0 \0 \0 \0 \a \0 \0 \0 Q
0116260 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0
0116300 \a \0 \0 \0 \0 004 \0 \0 \0 " \0 \0 \0 \0 \a \0
0116320 \0 \0 001 \0 \0 \0 \0 004 \0 \0 \0 001 \0 \0 \0 \0
0116340 002 \0 \0 \0 \v \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002
0116360 \0 001 \0 \0 \0 ( \0 \0 \0 \0 004 \0 \0 \0 004 \0
0116400 \0 \0 \0 \a \0 \0 \0 002 \0 \0 \0 \0 004 \0 \0 \0
0116420 003 \0 \0 \0 \0 \a \0 \0 \0 ? \0 \0 \0 \0 004 \0
0116440 \0 \0 \0 \0 002 \0 001 \0 \0 \0 \r \0 \0 \0 \0 004
0116460 \0 \0 \0 \v \0 \0 \0 \0 \a \0 \0 \0 001 \0 \0 \0
0116500 \0 004 \0 \0 \0 001 \0 \0 \0 \0 002 \0 \0 \0 \v \0
0116520 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 9
0116540 \0 \0 \0 \0 004 \0 \0 \0 \v \0 \0 \0 \0 \a \0 \0
0116560 \0 231 \0 \0 \0 \0 004 \0 \0 \0 335 \0 \0 \0 \0 001
0116600 \0 \0 \0 301 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0
0116620 001 \0 \0 \0 021 \0 \0 \0 \0 004 \0 \0 \0 023 \0 \0
0116640 \0 \0 \a \0 \0 \0 001 \0 \0 \0 \0 004 \0 \0 \0 001
0116660 \0 \0 \0 \0 002 \0 \0 \0 \v \0 \0 \0 \0 004 \0 \0
0116700 \0 \0 \0 002 \0 001 \0 \0 \0 030 \0 \0 \0 \0 004 \0
0116720 \0 \0 \a \0 \0 \0 \0 \a \0 \0 \0 / \0 \0 \0 \0
0116740 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 \f \0 \0 \0
0116760 \0 004 \0 \0 \0 036 \0 \0 \0 \0 \a \0 \0 \0 001 \0
0117000 \0 \0 \0 004 \0 \0 \0 001 \0 \0 \0 \0 002 \0 \0 \0
0117020 \v \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0
0117040 \0 > \0 \0 \0 \0 004 \0 \0 \0 \v \0 \0 \0 \0 \a
0117060 \0 \0 \0 005 \0 \0 \0 \0 004 \0 \0 \0 \a \0 \0 \0
0117100 \0 \a \0 \0 \0 & \0 \0 \0 \0 004 \0 \0 \0 \0 \0
0117120 002 \0 001 \0 \0 \0 025 \0 \0 \0 \0 003 \0 \0 \0 001
0117140 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0
0117160 O \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0
0117200 \0 001 \0 \0 \0 \0 \a \0 \0 \0 321 \0 \0 \0 \0 004
0117220 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 006 \0 \0 \0 \0
0117240 \a \0 \0 \0 , \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002
0117260 \0 001 \0 \0 \0 006 \0 \0 \0 \0 \a \0 \0 \0 / \0
0117300 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 \f
0117320 \0 \0 \0 \0 \a \0 \0 \0 1 \0 \0 \0 \0 004 \0 \0
0117340 \0 \0 \0 002 \0 001 \0 \0 \0 022 \0 \0 \0 \0 \a \0
0117360 \0 \0 220 \0 \0 \0 \0 004 \0 \0 \0 001 \0 \0 \0 \0
0117400 \a \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 \v \0 \0 \0
0117420 \0 004 \0 \0 \0 % \0 \0 \0 \0 \a \0 \0 \0 177 \0
0117440 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 017
0117460 \0 \0 \0 \0 004 \0 \0 \0 % \0 \0 \0 \0 \a \0 \0
0117500 \0 202 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0
0117520 \0 \0 016 \0 \0 \0 \0 004 \0 \0 \0 # \0 \0 \0 \0
0117540 \a \0 \0 \0 m \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002
0117560 \0 001 \0 \0 \0 020 \0 \0 \0 \0 \a \0 \0 \0 335 \0
0117600 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 026
0117620 \0 \0 \0 \0 \a \0 \0 \0 G \0 \0 \0 \0 004 \0 \0
0117640 \0 \r \0 \0 \0 \0 \a \0 \0 \0 r \0 \0 \0 \0 004
0117660 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 031 \0 \0 \0 \0
0117700 \a \0 \0 \0 C \0 \0 \0 \0 004 \0 \0 \0 \r \0 \0
0117720 \0 \0 \a \0 \0 \0 ! \0 \0 \0 \0 004 \0 \0 \0 \0
0117740 \0 002 \0 001 \0 \0 \0 016 \0 \0 \0 \0 \a \0 \0 \0
0117760 r \0 \0 \0 \0 004 \0 \0 \0 \t \0 \0 \0 \0 \a \0
0120000 \0 \0 002 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001
0120020 \0 \0 001 9 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0
0120040 001 \0 \0 \0 V \0 \0 \0 \0 004 \0 \0 016 334 \0 001
0120060 \0 \f B M O B J . G E T F N 3 \0 \0
0120100 \0 \0 001 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001
0120120 \0 \0 \0 215 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0
0120140 001 \0 \0 \0 205 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002
0120160 \0 001 \0 \0 \0 I \0 \0 \0 \0 004 \0 \0 \0 \0 \0
0120200 002 \0 001 \0 \0 \0 I \0 \0 \0 \0 004 \0 \0 \0 \0
0120220 \0 002 \0 001 \0 \0 \0 M \0 \0 \0 \0 004 \0 \0 \0
0120240 \0 \0 002 \0 001 \0 \0 \0 T \0 \0 \0 \0 004 \0 \0
0120260 \0 \0 \0 002 \0 001 \0 \0 001 T \0 \0 \0 \0 004 \0
0120300 \0 \0 \0 \0 002 \0 001 \0 \0 \0 343 \0 \0 \0 \0 004
0120320 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 $ \0 \0 \0 \0
0120340 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 001 214 \0 \0 \0
0120360 \0 004 \0 \0 \0 " \0 001 \0 \f B M O B J .
0120400 G E T F N 3 \0 \0 \0 \0 @ \0 \0 \0 \0 004
0120420 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 r \0 \0 \0 \0
0120440 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 A \0 \0 \0
0120460 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 F \0 \0
0120500 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 4 \0
0120520 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 !
0120540 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0
0120560 220 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0
0120600 \0 * \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0
0120620 \0 \0 < \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001
0120640 \0 \0 \0 q \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0
0120660 001 \0 \0 \0 \b \0 \0 \0 \0 003 \0 \0 \0 001 \0 \0
0120700 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 334 \0
0120720 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 003 304
0120740 \0 001 \0 \f B M O B J . G E T F N 3
0120760 001 \0 024 \0 006 M O D E R N \0 \n \0 \0 \0
0121000 \0 \0 \0 \0 \0 \0 \0 \0 001 \0 \0 \0 \0 004 \0 \0
0121020 \0 \0 \0 002 \0 001 \0 \0 \0 034 \0 \0 \0 \0 004 \0
0121040 \0 \0 \0 \0 002 \0 001 \0 \0 \b , \0 001 \0 \f B
0121060 M O B J . G E T F N 3 001 \0 024 \0 006
0121100 M O D E R N \0 \n \0 \0 \0 \0 \0 \0 \0 \0
0121120 \0 \0 \0 001 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0
0121140 001 \0 \0 \0 ( \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002
0121160 \0 001 \0 \0 004 260 \0 001 \0 \f B M O B J .
0121200 G E T F N 3 001 \0 024 \0 006 M O D E R
0121220 N \0 \n \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 \0
0121240 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 \0 U
0121260 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002 \0 001 \0 \0 023
0121300 l \0 001 \0 \f B M O B J . G E T F N
0121320 3 001 \0 024 \0 006 M O D E R N \0 \n \0 \0
0121340 \0 \0 \0 \0 \0 \0 \0 \0 \0 001 \0 \0 \0 \0 004 \0
0121360 \0 \0 \0 \0 002 \0 001 \0 \0 \0 226 \0 \0 \0 \0 004
0121400 \0 \0 \0 \0 \0 002 \0 001 \0 \0 - 360 \0 001 \0 \f
0121420 B M O B J . G E T F N 3 001 \0 024 \0
0121440 006 M O D E R N \0 \n \0 \0 \0 \0 \0 \0 \0
0121460 \0 \0 \0 \0 001 \0 \0 \0 \0 004 \0 \0 \0 \0 \0 002
0121500 \0 001 \0 \0 002 / \0 \0 \0 \0 004 \0 \0 \0 \0 \0
0121520 002 \0 001 \0 \0 \0 \f \0 \0 \0 \0 004 \0 \0 \0 \0
0121540 \0 002 \0 001 \0 \0 220 234 001 ^ z 272
0121554