Professional Documents
Culture Documents
Al-Madkhal Ila Al-Fiqh Al-Islami by Dr. Salah Abul Haaj
Al-Madkhal Ila Al-Fiqh Al-Islami by Dr. Salah Abul Haaj
:
.
.
.
.
!
.
y t
.
t
y
.
.
:
.
.
Y
y
.
.
.
.
.
.
//
//
/
:
:
:
:
:
:
:
:
:
:
: :
:t ). (
:t :
).(
:t : ). (
:t : ).(
:t
).(
:
:
:
((
))
))
((
((
))
((
))
))
((
:Y .()
:Y .()
:Y .()
) ( : : .
) ( . :
) ( . :
) ( .
) ( : - :.
) (6 : .
) (7 : .
) (8 : .
t
()t
.
))
((
: :
.
:
:
.
) (
))
((
:Y
() ) :e
().(
:
.
))
((
: :
:
:
). (
) ( : :.
) ( : :.
) (3.:
) ( : : :.
) ( : :.
:t .
: y
.
.
).(
:
:
) .( .t
:
) ( : Y ()
.
: :
. :
).(
:
. : .
: .
. : .
: .
) ( .- : : .
) ( : : :
: - :
: :
:
.
) (3 : .
) (4 : .
) (5 : : :
:.
:
.
. :
. : :
: :
.
: e
.
. : .
.
. : .
: :
: : .
: : .
. : ).(
:
) .( : ) .(
: ).(
) (1 : - : : :.
) ( : .
) ( - : :
.
) (4 : :.
:
.
:
:
).(
: :
: :
. ).(
:Y .()
: : ) .(
:Y .()
) (1 : : :
-.
) (2 : .
) (3 : .
) (4 : . :
) (5 : .
.
: : : .
:Y
.() : .()
).(
: : .
:Y
()
() e
:Y ()
) (1.:
) (2 : .
) (3 : :.
) (4 : .
) (5.:
) (6 : .
() :Y
.
)() (
: : ).(
: :
:
:
.
:
.
:()t
e
.
))
) (1.:
) (2.:
) (3 : - : .-
) (4 : . :
) (5 ) : ( .
.
.
e
.
:
).(
. Y
y
:
.
.
.
.
.
.
.
:
).(
)(
((
) (1 : - :.
) (2 : . :
) (3 : - :.
.
:
.
():t
.
: .
.
: :
.
:
. .
.
).(
.
))
((
) (1 .-
) (2 : :.
:
).(
) (1 : .
. :
.
) (
)(
.
.:
) (1 : - :.
) (2 : :.
.
. :
e
.
. :
.
).(
) (1
t - -
.-
. :
()
:Y
() :Y
.() :Y .()
) (1 :
) (2 : .
) (3 : .
) (4 : .
: :
.
: ) (
) t ( ).(
))
((
: :
:
) ( - : :.
) (2 :
: :
) ( . : . .
. :
) (3
.
. :
.
. :
.
. :
.
. :
.
. :
.
. :
)(
.
. : )(
.
))
((
((
))
: :
) (1 : .
) (2 : - :.
:
.
Y
:Y
()
:Y
.()
.
:Y
.
)() (
: :
) . (
:
) (1.:
) (2.:
) (3.:
) ( : - : -.
) ( : . :.
:()t
))
) :
() ( :
))
((
.
((
:()t
))
:
() :
.
((
:()t
))
.
((
) ( . :
) ( : : :
t : ) : (
: : ) : t
( : . :
) ( . :
) ( ).(
) ( .
:()t
))
) :
(
.
((
: :
:()t
))
) (
((
((
))
.
: ()
.
) ( . :
) ( .- :
) ( :.
) (4.:
:
.()
.
:Y
() :Y ()
) :e
().(
) :(
))
:
: :
:
) (1.:
) (2 : .
) (3 : .
) (4 : : :
: .
) (5 .
: :
.
((
) ( ) (
:
. .
. .
. .
. .
. .
. .
:
) (1 .
) (2 : : . :
.
: :
. :
.
. :
.
: :
: :
e y
e
e .
:
: :e
e
.
:
e
).(
e
.
e
.
e
.
:
.e
e:
. :Y
)(
).(
. :Y ()
:t
) (1 e .
) (2 : .
) (3 : :.
) (4.:
:
e :
:e :
e
e
:e
e :
() :
() ().(
) :(
))
.
((
) (1 : .
) (2 :
) (3 : : :
: :.
) (4 . :
:
. ) :e () (
.
. ) : e
:e
().(
. :
.
: Y . ()
: :
).(
) (1 : : :
.
) (2 : : :
)) : :
(( .
: : ) :
(.
) (3 .-
) (4 e -
- : -.
: y :e
y
e
: ).(
y :
: :
. e
e ) : : :
: : :
:e ().(
. ) e
:
) (1 : .
.
: .
) (2 : :
:
.
. : :
) : e (
e ) : ( ) :e
( ) : e (
. :
- .
:
e ().(
. t) :
:
:t e
().(
. ) :t
:
e e
:
e
: : ()
)() (
e ( .
) (1 : : :
: : :
: :.
) (2 : : :
.
) (3 : .
) (4 : : :
:.
) (5 y :
.
:
:
e :
:
e
) :t
e : ) (
. :
e . :
().(
: ) (
.
) :t
e :
() ( e
) (1 : :.
) (2 : : :
:.
) (3 :
.
) (4 : : :
:.
:
:Y
() :Y ()
).(
:
.
.
.
.
: e :
: e e t
) e ().(
: e e
) :t e
e :
:
:
:e (
) (1 : .
) (2 : .
) (3 : - :.
) (4 : : . :
) (5 : : .
)(
:
t
e ).(
: :
:
e
.
: :
()
() )(
.()
::
).(
) (1 : y - :
- :.
) (2 : .
) (3 : .
) (4 : .
) (5:
) (6 : : :.
:
()
Y :
:Y () :Y
() e
:
() :Y :
.()
: :Y
()
:Y
)() (
e
.e
) (1 : .
) (2 : .
) (3.:
) (4 : .
) (5.:
) (6 : .
) (7 : .
) (8 : - :.
: :
e
:Y () e
t
t
.
e
:t e
).(
: :
: e .
e
.
:
).(
) (1 : .
) (2 : .
) (3 : - :.
:
:
:Y .()
:
e .
.
Y :
()
: :Y ()
:Y () :Y ()
).(
: e
.
:
) (1 : .
) (2 : .
) (3 : .
) (4 : .
) (5 : .
) (6 : .- :
:
. e
e ) :e
() ( t :
e
:
() () :
)() (
. .
. .
.
.
.
.
.
.
) ( : : :
: : :.
) (2 : .
) (3 : .
) (4 : : :
.
) (5
. : .
:
. : ()
y
).(
) (1 : .
) (2
: : :
:
.
:
.
.
] [- :
.
e
:Y
] : [ .
y
.
:
.
) : (
:
) (
) :(
))
.
:
:Y ()
() :
. . ()
((
.
) : (
. : .-
) (1 .- :
) (2 : .
) (3 : .
) (4 : .
y
e
y
.
e
Y
y :
: :
: y e
Y e
:
. y
))
.
((
((
))
:
. y
:
. t t :
)() (
. t
: :
: :
e
).(
:()t
))
:
).(
((
) (1 : . :
) (2 : t
t .
) (3 : : : :
.
) (4 .
) (5 -
y )) :
: .
: .
:
: y
:
. e y
) :e
) (
() (
).(
y
.((.
) (1 t -
.
) (2 : : :
: :.
) (3
.
:
. y t
:
t :
) .( t
t .
. :
. :t
Y
e
e
e :
).(
. t t t
Y e
Y e
Y e
) (1 : : :.
) (2 : : . :
:
).(
. y
e
e y ).(
: y
t t
t t .
t
Y :
) ( :
) ( : ).(
:t
).(
:t
).(
) (1 : : :
: :.
) (2 . :
) (3 . :
) (4 . :
) (5 . : : :
.
) (6 : . :
:
:t ).(
Y
.
t
:
. e
).(
t
e
).(
:
.
t
) (1 : : :
.
) (2 : . :
) (3 : - :.
) (4 : :.
:
y t t ).(
:t t
) .( :
. t t
:t t
:t
t
y t
).(
. t t
:t e
e ).(
.
y
:
) (1 : .
) (2 : .
) (3 : :.
) (4 : :
:
).(
y
y
t .
: e
: : e
:t
e
:Y
)() (
:
y :
.
y . t ).(
) (1 : .
) (2 : .
) (3 : :
:.
) (4 : - :.
:
. t t t
) (.
: y
y e
y
y
.
:
. t :Y
()
: :
.
) (1 : - :.
) (2.:
:
t
) (
.
).(
. t :Y
()
) : e () ( ) :
() ( :
) ().(
) (1 : -.
) (2 : :.
) (3 : .
) (4 . :
) (5 . :
) (6 : - :
:.
:
t
) ( :
).(
. t :Y
()
.
:Y ()
u
:
).(
:
e y
) (1 : -.
) (2 : -.
) (3 : .
) (4 : .
) (5 : -.
:
e .
t
t y
y .
e
) :(
))
e
.
:
) (1 .-
:
:
.
:
:
.()
:
: .
: .
.
.
.
) (1 : .
:
:
.
((
y
t
y
.
y
t
).(
) :(
))
e
) (1 : .
) (2 .-
:
.
.
e
. e
((
:
t
)
().(
t :
e
. : e
)(
) (1 . : :.
) (2 : : . :
: : . :
: :.
:
:y ).(
t
y ) :
e :
().(
) :t ( t
))
.
((
: :
y
:()t
))
) ( y
.
((
()t :
))
y
))
((
) (1 : : .
) (2 : : :
/ - : :
.
) (3 . :
) (4 . :
) (5 :
.y : .
) (6 .
:
y
.
((
t
:t
))
:()t
))
((
.
((
t : e
:
.()y
: :
:
.
:
:
) (
) (1 .- :
) (2 : .
) (3 : : : :
.
:
.
: y
) .(
)(
) ( .
: :
: t
.
t e
t
y )(
:
) (1 .-
) (2
t .
) (3
:
:
e
) .( ) ( ) (
)(
) :(
))
.
((
) :(
))
..
.
((
.
) (1 - : : - :
- : .- :
) (2 - :.
) (3 - :.
) (4 .- :
) (5 . :
) (6 : -.
:
:
()
.()
) .(
).(
:
e:
. : ) :
e :
.()(e
.
:
e :
e ().
) (1.:
) (2.:
) (3 : .
) (4 : .
) (5 : : :.
) (6 : :.
:
.
. e
e : ).(
. :t :
e
).(
. t
:
:
e e :
) .( : .
. : e
:
: ) .( : .
: .
) (1 : :.
) (2 : :.
) (3 : :.
) (4 : :.
:
. e
: .
e : . :
. e t
()t
.
.
) (.
y :
)(
) (
))
:
((
) (1 : :.
) (2 : : .
) (3 . :
) (4 .-
:
).(
:Y :
: . . .
: . .
) () () ( ) ( ) ( :
.
) :(
))
.
((
t :
e :
:t
.
:
) (1
) ( .
) (2 . :
) (3 . :
) (4 . :
) (5 . :
) (6 . :
) (7 .
:
: :
...
: t
t t .
: t t
t
e
. :
.
: :
t
t
t
:
.
: :
e
t
:
:
.
: : :
.
: e
.
t
t
t
).(
.
.
) (1 : .- :
y
y
.
:
. : y
y
.y
. :
.
. :
.
: :
:
: :
:
.
:
:
:
.
)(
)(
))
((
))
) ( : .
((
) (1 )) (( )) ((
)) (( )) (( )) (( )) ((
)) (( )) (( . : . :
) (2 t - )) :
))
((
.
" "
!
)) ((
- ! - : :
)) (( - - )) ((
: : .
((.
t
.
)) :
:
)(
t :
))
.
:
!
.
((
:
t
)(
)) : ((
)) (( : )) ((
! . )) ((
!
)) (( !
((.
t
.
) (1 .
) (2 : :
.
:
))
((
.y
t
((
))
.
.
((
))
((
))
t ) :(
))
((
t ).(
t
) :( t
))
t
t
y
.
) (1 : : : t
:
.
) (2 .-
) (3 .-
:
.
t
.
((
e :t
))
).(
((
) :( t
))
t .
t
t
t .
((
:()t :
))
: :
.
((
) (1 : . : :.
) (2 .
) (3 .
:
:()t
))
t
))
))
((
((
))
((
((
))
.
((
: .
: :
)(
) t( : t :
))
.
((
).(
)(
)(
)( :y
))
: :
) (1 .
) (2 . :
) (3 : .
) (4 :
) (5 .
:
.
((
)(
:t
))
)(
!
!
t
t :
.
((
y y
))
((
y ).(
y
.
) (1 .
) (2
: :
. :
))(( . : :
: ..
) (3 : . :
:
:
.
: y
:
))
e .
.
))
((
:
))
.
" "
t
:
t
. .
))
(( ((
:
) :(
))
e
.
((
.
).(
((
: :
e
y t
) (1 .
) (2 .-
:
y
:
:
e :
: :y
t t
t
).(
t : :
))
e
) (
((
.
)( y
t :t
))
) .( : ) .( ) :e
((
))
((
) (1 .
) (2 : .
) (3 : : : :
.
:
() ( ) :e
() ( ) :e
() ( ) :e :
() ( :t
))
) .( :t
((
))
e e
) ( :t
))
((
e ) .(
((
t ) (
.
) t( e) : ().(
t
) (1 : :
: :
.
) (2 : : :
.
) (3 : : :
: :.
) (4 : : :
.
) (5 : :.
) (6 : .
) (7 : : .
) (8 : .
) (9 : .-
) (10 : : :.
:
t
.
t
t :
))
:t ).(
((
((
))
) t( : t e
t : . t:
((
))
t . :t
((
))
))
. :t :
))
((
).(
((
t t t
t
t y
t t y
) (1 : .
) (2 : .
:
.
:t e
))
) :(
.
((
:
))
t .
.
((
t
e
.
t
t t).(
: :y
y
:
. ) t() .( :t
))
) (1 : .
) (2 -
.
:
. :
))
((
e : e .
((
t y
.
. ) t() (
. :t t
))
.
((
. ) t() ( :t
))
. y
((
. ) t () ( :t
))
:
. .
((
. ) t (
)(
t .
. ) t () ( t
) (1 : .- :
-.
) (2 : 80
.
) (3 : - : .
) (4 : 80 .
) (5 : .
) (6 : .
:
t
t .t
. ) t() (
:
))
. :t
))
((
.
((
. ) t() (
t
:t !
))
((
.
. ) () (
. t t
.
) (1 : . :
.
) (2 : - : - : :
- : .
) (3 : .
:
. )() ( t
.
. ) t() (
y .
. . . . . .
. . . .
. . . . . .
. . . . .
. . . . . . . .
. . . . . .
. . . . . .
. . . .
.()y
y
y e.
: :y
.
) (1 : .
) (2 : .
) (3 : -.
:
:()t
))
.
((
.
).(
:
. ) t() ( t
t :
t t
)) :
((.
:t t :
))
t . :t
((
.
) (1 . :
) (2 : - .
) (3 : : :
.
:
. -) t() ( t
:
))
e t :t
))
((
e . :t
))
((
. :t
))
((
. t :t :
))
((
.
((
. )(
)(
:
))
. y t
((
:
))
.
((
) ( :
))
:
((
))
:
))
((
. :
((
))
((
) (1 : : - :
: :.
) (2 : : :
.-
) (3 .
:
:t ) .(
((
))
((
))
))
.
((
))
((
:
))
) (
((
.
: :t
))
: : ! :
) .( ).(
((
: :y
. ) t() ( :t
.
. ) t( ) ( :
.
. ) t() ( t :
.
) (1 :.
) (2 :.
) (3 .
) (4 : -.
) (5 : .
) (6 : .
) (7 : - : :
. : : )) ((
:.
:
:t : .t
t t y :
))
: : !
) .(
((
.
t : :
))
).(
((
:()t
))
:
y t
.
((
t t
:
))
t :
) (1 .
) (2 : : :.
) (3 .-
:
).(
((
t : t
:
).(
: :t
:t
. ) t () ( :t
. :
.
. ) t () (
:t . :
.
. ) t () ( :t
. :t
) (1 . :
) (2 : .
) (3 : : :
:.
) (4 : : : :
: - :.
:
. : :
:
: .
. ) t() ( :t
.
. ) t () (
:
.
))
))
((
.
((
))
((
.
.
) (1 : .
) (2 : .
) (3 : .
:
:
).(
((
:
y
).(
: :y
e
)( )( )( y
e:
) t() :( ) :e
:
)(
: : ().(
)( ) :( :t
))
e .
((
) (1 : -.
) (2 : .
) (3 : -.
) (4 : .
) (5 : : :.
) (6 : .
:
) t() :( : y
))
t : . :t y
))
((
.
((
:t
y e
e t
.()y
: :
. -) t( ) (
t : e . :t
))
))
((
t t .
((
:t t :
))
y e
y
t y :
y : .() t
((
) (1 : .
) (2 : .
) (3 : : :
.
) (4 : .
:
. -) t() ( :t
))
. t :t
))
((
. :
))
((
.
((
. ) t() (
.
. )() (
:t .
((
))
:t
))
.
((
. ) t() ( :t
))
.
((
. )() ( :t
. :t
))
))
((
. :t
))
((
((
:t .
((
))
) (1 : - : .
) (2 : : : .
) (3 : - :
.
) (4 : .
) (5 : : .
:
. )() ( :t
))
: .
((
:t . t
((
))
)(
) . ( ) y () (
: .
))
((
) t() ( :t
:
))
. :t
))
((
.
((
. ) t () (
:t . :t
((
))
))
. t
((
) (1 : : .
) (2 . : .
) (3 : .
) (4 : .
) (5 : : -.
:
. ) t() ( :t
))
. :t
))
((
.
((
. ) t() (
:t
))
. y
((
. ) t () (
:t
))
. t
((
. ) t() (
:t .
((
))
:t .
((
))
. ) y() ( :t
))
.
((
. ) y() (
t
t : .
:t :
))
t :
) (1 : .
) (2 : .
) (3 : .
) (4 : -.
) (5 : .
) (6 : : t .
:
.() y
((
: :y
. -) t() (
:t . :t
((
))
))
. t
((
. -) t() (
:
.
. ) t (
) ( :t .
. -) t() ( :t
.
. ) ( t
)() ( :
) (1 : .
) (2 : - : -
-.
) (3 : - : : .
) (4 : .
) (5 : : - : :
.
) (6 : : : :
.
:
.y :t . t
((
))
: .
((
))
: .
((
))
. ) t () ( .
: .
((
))
. )() ( t :t
:t
))
))
((
.
((
:t
))
y :t
))
((
).(
((
: :t
. ) ( ) t(
) :( t :
.
. ) t( ):(
: . :t
))
.
((
) (1 : - :
.
) (2 : t ..
) (3 : t - .
) (4 : .
) (5 : : .
:
. ) t () :(
.
. :()t :t
))
:
:
.
((
t) ( :
))
t
.
((
:
e e
) (1 : .
) (2 : .
) (3 . :
:
:
: :y
. ) t( ) :( ) :e
() .( :t :
))
)(
)( .
((
y :
.()y
. )( ) :(
:t . t :
((
))
:t e
))
.
((
: :y
. ) t() :( :t
))
. :t
))
((
. :t .
((
))
((
) (1 : - : -.
) (2 :.
) (3 : .
) (4 : :
:.
) (5 : : : .
:
. ) t() :(
t : . :
((
))
:t :.
. ) t():(
:t
))
. :t . :
((
((
))
))
.
((
. ) t() :(
t .t
. ) t() :( :t
))
: . t
((
: :y
. ) t() :( .
. ) t() :( :t
))
t
t .
((
: :t
) (1 : - : - :.
) (2 : - : - : :
) (3 : .
) (4 : - : .
) (5 : .
) (6 : .
:
. ) t() :(
t.
. -) t() :(
:t
))
.
((
:
y
:
: :y
.
)/(
) :(
:e
) () .( :t
))
).(
((
)/( ) :( :t
))
)(
) (1 : .
) (2 : - : t .
) (3 : -.
) (4 : : :
: ) :
(.
) (5 : .
) (6 : .
:
)( . y :
))
((
. :t
))
((
.
((
)(
:t : :t
))
e
. :t
))
((
.t
((
::
. ) t() :( :t
))
t . :
))
((
.
((
) t() :(
y
. :t .
((
))
:t . :
))
))
((
.
((
) t() :( :t
))
.
((
: t
))
.
((
) (1 : .
) (2 : : .
) (3 : . .
) (4 : .
:
.
)t() :( .
) t() :(
.
)t() :( :t
))
. : :
((
: : )( :
: :
: : :
.
.
) t() :(
. :t
))
.
((
) (1 : .
) (2 : .
) (3 : - : - :
: - : :
: :
- :.
) (4 : - :
:.
: :y
. )t() :( :t
.
. ) t() :( :t
. t
((
))
:t .
((
))
. ) t() :( .
. ) t() :( :t
))
.
((
: :t
. ) t() :(
. .
. -) t() :(
: . :t
((
))
.
((
))
) (1 : .
) (2 : .
) (3 : .
) (4 : .
) (5 : .
:
t
:
))
. :
))
((
. :
))
((
. :
((
))
.
((
:
t
t
:
)( .
).(
:
) (1 : - : :
:
: .
) (2 : .
:
. )t () :(
e
.
: . : .
((
))
((
))
.
. )t() :(
y :t .
((
))
:t .
((
))
. )t() :(
y
:t
))
. :t
))
((
.
((
. )t() :( :t
))
t : . : .
((
))
((
. ) t ():(
) (1 : : : :
: : :
.
) (2 : : .
) (3 : :.
) (4 : .
) (5 : .
:
t :
))
. : .
((
((
))
:y
) t () :( :t
))
. :t
))
((
.
((
t
))
. t
((
t
:t .
((
))
).(
::
t y :
. )t() :(
: t t
))
.
((
) (1 : - : : -
:.
) (2 : .
) (3 : .
:
. ) t(:
t
t . :
))
e
).(
((
:
. ) t() :(
t t t
:t t .
((
))
:t .
((
))
. ) t() :( :
))
.
((
. :()t :
))
. :t
))
((
.
((
) (1 : .
) (2 : - : .
) (3 : .
) (4 : : :
:
. :.
:
. )t() :( :t
))
. :t
))
((
.
((
. /) t( ) :(
:t .
((
))
t :
))
.
((
. ) t () :(
:t
))
.
((
. :t
))
.
((
. ) t() :( :
: :
. :
.
:
. -) t() :( :t
))
. t
((
) (1 : .
) (2 : .
) (3 : - : :
) (4 : : - .
) (5 : : .
:
t :
))
. :t .
((
((
))
. ) t() :(
. :t . :t
((
))
. :t .
((
))
))
((
. )() :( :t
t
. :t .
.4 )( .5 )(
.6 ) t () :( :t
))
.7 . .8 . .
((
. .
)() . .( )() :(
:
))
.
((
) (1 : - : : :
:.
) (2 : : : :
:.
) (3 : .
) (4 : -.
) (5 : - : .
:
e y
.
:
)(
. ) t(
:
. :t
))
))
((
((
. t ).(
. t ).(
. ) t() ( .
. )t() ( :
))
.
((
) t (
) :(
))
e
) (1 : - : .
) (2 : : .
) (3 : .
) (4 : .
) (5 : : .
) (6 . :
:
:Y
.()
e
.
((
) (1 : .
:
. .
. .
. .
. .
.
.
:
).(
((
))
:
))
.
.
! ..
.
).(
((
) (1 :
.
) (2 : -.
: :
: t
: :
: .) (
)(
) ( y :
))
) ( t
) .( t
((
:t
))
).(
((
) (1 -
: : :
- : : :
.
) (2 : :
. .
) (
.
: " "
: :
. :
)( . : . . : .
) (4 : : - : :
- :.
) ( : : :.
:
) :( :
))
: t : :
:
.
((
t
).(
::
:
) .().(
) .().(
) .( ) ( ) ( ) ( ) y(8
:()t .
:()t .
) .() ( ) t (:
) (1 . :
) (2 : .
) ( : .
) (4 . :
.
) ( : - :.
) ( . :
) ( . :
) ( . :
) ( . :
) ( . : : :.
) ( : :.
) (12 .
:
. t t
t .
. t ) t (
t
) ( ) ( ) (
) ( ) ( ) ( ) ( ) (
) ( ) ( ) (
).(
. t t
:
))
t
t :
) (1 . : .
) (2 - .
) (3 .-
) (4 t - :
.
) (5 .- :
) (6 . : .\ :
) (7 . :
) (8 . :
) (9 . :
) (10 . :
) (11 . : :
) (12 .
) (13 t t
.-
:
t
.
((
))
)(
) (
.
: Y
() ) :e
().(
) (1 t
- .
) ( :- :
.
t
.
t
t
:
.
! .
) (3 : .
) (4 : :.
:
: .
.
:
u
).(
((
: :
))
)( :Y
((
))
() :Y
)(
((
).(
::
) (1 : -.
) (2 : .
.
) (3.:
) (4 : .
) (5 . :
:
t
:t :
))
: : . : :
:
: :
: : ).(
((
) ( ) (
)(
: . :
))
((
).(
::
t
) (1 : .
) (2 . :
) (3 .
) (4 : : : .
) (5 - :
: : - :.
:
.
:t e
))
y ).(
((
:
. t .e
. t .y
. t y
.
. .
:t
::
t ) (
:
) (1 : . :
.
) (2 t :-
!!
:
:
).(
:
.
:
.
" "
.
" :
"
!!
.
) (1 . : : .
:
: ).(
: :
.
. :
:
. : : :t
:Y ()
. :
t .
. :
) (1 t .-
) (2 : .
:
) :
().(
.
.
. t
:
.
.
: . :
.
).(
:t
))
t :
) (1 : :
.
) (2 - :
t - -.
:
).(
((
: :
:()t
))
: e
e
e
.
((
))
)(
.
t
:
))
y t .
((
:t
))
.
((
) (1 : .
) (2 . :
) (3 :
. :
. : .
:
.
t
: t
:
t
((
))
((
))
.
))
((
).(
((
))
y
.
e
) (1 : -.
:
).(
((
: :
:()t
))
:
t
.
.
.
.
((
: :
) (1 : .
) (2 .
:
. ).(
: :
t
)( :
))
).(
((
: :
:()t .
((
))
: :
).(
: :
) .(
:()t
))
. t
((
) (1 : .
) (2 : .
) (3 : .
) (4 .
) (5 : .
) (6 : .
) (7 .
:
: :
:t t
).(
: :
t t
:t
))
t
t :
).(
((
t
:
.
) (1 : .
) (2 : .
:
:t
))
.
((
:t
))
: :
).(
((
)(
: t
))
).(
((
))
) (1 : :.
) (2 . :
) (3 : -.
:
t ).(
((
:()t :
))
.
((
: :
) :t ( e t :
))
))
) . (
((
((
))
((
)( : t
))
).(
((
:t
))
. : t
).(
((
:t
))
.() t
((
) (1 : .
) (2 .
) (3 .-
) (4 : :
: : : :.
) (5 : t .
) (6 : t .
) ( : : :..
:
:t
))
. :
. : . t :
((
))
.(1) y
((
:t
))
t
.() t
((
t t :
))
).(
((
:t t
))
).(
((
:t
))
(5) ).(
((
:t
))
).(
((
) ( : :.
) (2 : t .
) (3 : .
) (4 : t .
) ( .()
) (6 : t t .
) (7 : t .
:
: t t
))
).(
((
:()t
))
. ) :(
((
))
.) :(
((
))
. t
((
::
t
.
)(
: : . : . :
) (1 : t .
) ( . :
) ( . :
) (4 t.
) ( : :.
:
) .( :t
))
t ).(
((
t
t
t
:t t
))
:
).(
((
: :
t
.
):(
. t
) (
) (1 : t .
) (2 : .
) (3 : t .
) (4 : :
.
) (5 : t -.
:
:t . :t
))
))
((
.
((
) ( :t t
))
).(
((
:t t
))
. :
: (().(
.
:(4)t
.
) :(5
) (1 : : :.
) (2 : :.
) ( : -.
) ( . :
) ( . :
:
:
).(1
((
:t
))
. t :
).(
((
. t
))
((
)(
. 3
) ( ) ( ) (
t
))
) ( .
((
) ( : :.
) ( : :.
) (
.-
) ( :
:
.
) (4 . :
) (5 .
) (6 .
). : (7
:
. ) t (
()y
) (
) (
.
.
:t
))
e ) t ( :
))
((
e
y
).(
((
) (1 : t .
) (2 : -.
) (3 -.
) (4 : -.
) (5 . : -.
) (6 t :
:
t
)(1
:
))
.
((
.
.
) ( .-
: t
: :
e
y).(
::
) ( ()t
)(.
::
t :
).(
t :
))
t t
.() t
((
) (1 : - :
: - :
.
) (2 .-
) (3 : -.
) (4 : .
:
t
:
))
).(
((
t :t
))
: t t
: :
: :
).(
((
: :
:t
))
.
((
:t
))
(.
:t
))
.
((
:t .
((
))
) (1 : .
) (2 : -.
:
:t
))
).(
((
:t
))
).(
((
:()t
))
.
((
t )( t
).(
) (1 .
) (2 : .
) (3 : :.
) (4 : .
:
t
: :
) ( :
))
((
: . :()t
))
.
((
::
)( ) :().(
::
:
:
:
:t
) (1 : : : -
. - : :
-.
) (2 .- t
) (3 : -.
:
t
.
t
: t :
. :t .
:
t
t t .t
:
.()y
: :
:t
))
. :
))
((
:
))
((
).(
((
:t .
((
))
) (1 : -.
) (2 : -.
:
:t
))
: .
((
:t .
((
))
:t :
))
: :
:
).(
((
:t ).(
))
((
t )( :t
((
))
: : ).(
: :
) t ( :
))
((
))
y
).(
((
:
. ) t () (
t
) (1 .-
) (2 : :.
) (3 : .
) (4 : t
- .
) (5 .
:
)() ( ()t :
))
:
:t :
.
((
. t ) :(
))
y
.
((
. t
) :t (
))
) (1 .
) (2 .-
) (3 t.-
) (4 .-
:
t
y
y
.
((
. ) t (
((
))
.
. t t t
t .
. t
) :t (
))
) :(
((
))
).(
))
((
((
.
) (1 .
) (2 .
) (3 :
))
.((t
: t
: :
).(
::
)():():( )(
)( :()t .
::
t
:()t
))
.
((
))
) (1 : - :.
) (2 : t .
) (3 . :
) (4 .- :
:
:t
.
t
t
).(
((
::
t
.
Y
))
) (1 : t .
:
).(
((
:
: :
t
t
)(
))
.
t
: . :t
:
.
t
).(
((
: :
t
) (1 : :
.
) (2 : :.
) (3 : t .
:
).(
: :
).(
.
:
).(
: :
) (1 : :.
) (2 : .
) (3 : - :.
:
.t
)(
: :Y
:Y
() t
).(
: :
:
e ) :
().(
:t ).(
((
))
: t t ).(
((
))
: t ).(
((
))
) (1 : .
) (2 : .
) (3 : :.
) (4 : : :
:.
) (5 : :.
) (6 : :.
) (7 : :.
:
t :
))
).(
((
:t
))
).(
((
:t ).(
((
))
:t
))
).(
((
::
t ) : () (
. :
).(
:()t
))
)
() ( ) :e () ( :Y
) (1 : :.
) (2 : :.
) (3 : :.
) (4 : :.
) (5 :
t ) : ( .
. :
) (6 : - :.
) (7 . :
) (8 : : .
. :
:
()
:
() : ()
.
((
t )().(
) (1 :
. :
) (2 : .
) (3 : .
) (4.:
) (5 : :.
: t
: :
) (e ) (
:
. .
.
.
.
).(
::
)( ) (
:t ).(
((
))
: :
t
:t
))
) (1 : - : - :
- .
) (2 : t - :.
) (3 : : : t 14
.
) (4 : .
:
:
((
).(
) ( )(
t .
))
((
t t
).(
))
((
)(
:t
))
).(
((
t
t
) ( :t
))
).(
((
) (1 : .
) (2 : -.
) (3 : :.
) (4 : -.
) (5 : .
) (6 : .
) (7 : .
:
) (
))
((
((
))
) (
).(
)( .
))
((
::
:t
))
e
: ).(
((
:
. .
.
.
.
.
) (1 t :
.
) (2 : .
:
.
.
:
))
).(
((
: :
:()t e :
))
))
(()(
((
:t
))
. e
((
t : :
((
))
))
((
.
:t t
))
.
((
: :
))
. t
((
) (1 : .
) (2 .
) (3 : :.
:
:t
))
:
).(
((
:t
))
).(
((
) (
).(
: :
: t
t :t
))
.
((
:
. t
.
.
) (1 .-
) (2 : .
) (3 : .
:
t :
: .
.
. t t
).(
: t
:
.
t .
. t
).(
:
:
) (1 .-
) (2 : : .-
:
.
t
)(
))
:
).(
((
)(
)(
((
))
t ) (
t
:t
))
))
((
).(
((
) (1 : -.
) (2 :
: :
:
. :
.- : .
) (3 : .
) (4 : . :
: t
: :
).(
::
)( :
))
).(
((
::
)(
y
:
).(
::
t :
) (1 : - :.
) (2 : :.
) (3 : -:.
:
.
y
.t
. y
.
. y
.
.
.
. t
).(
t
) ( .
:()t
))
) (1 t - :
.
) (2 : t .
) (3 t.
:
.
.
((
: :
:t ).(
((
))
:t
))
).(
((
:t .
((
))
:t .
((
))
:t
))
.
((
:t .
((
))
:t :
))
.
((
:t ).(
((
))
:t
))
).(
((
) (1 : :.
) (2 : :.
) (3 .- :
) (4 : :.
::
t )(
) ( )- (
)- (
t
)().(
:() t :
))
: :
t : :
.
.
((
)( .
) (1 : :.
) (2 : : t -
-.
) (3 .- :
: :
))
))
((
))
((
((
.
))
))
((
((
:
.
) (
).(
.
.
.
) ( :t
))
) (1 .
) (2 .
:
).(
((
.
. t
t
))
t ).(
))
((
((
) (1 : . :
) (2 : .
- .-
: :
.
t .t
.
.
t t
t t
t
t
:
t
: t
t t).(
) (1 : t .
:
t
.
.
t
).(
t t :
))
: :t
: : :t
).(
((
:()t t
))
e
) (1 : .
) (2 : t . :
) (3 t.-
:
.
((
e t ) :
e : :
: : : :
: : ().(
) :t (
))
e
e :
.
:
.
((
:()t e
))
:
.
((
:()t e
))
) (1 . :
) (2 .
) (3 . : :
) (4 .- :
:
.
e
.
((
t
t
: : ).(
) (1 : -
.
e
.
:
()y
.
:
. .
. .
. .
. .
. .
. .
) (1 : .
:Y ()
:()t :
))
.
: y
.
. t
((
:t
))
: e ).(
((
) (1.:
) (2 .-
) (3 : .
:
:
: :
t
t .
:
))
y
y
).(
((
t t t t
y
) :e
().(
: t t
))
t
) (1 : :.
) (2 .
:
t
).(
((
: :
t
t
t t t
t t t
))
((
).(
t t
.
))
((
t t
.
t
e
) (1 : :.
) (2 : -.
:
t
:y y
))
).(
((
:
:
t :
))
((
.
t
)(
:t
))
.
((
) (1 : :.
) (2 t.-
:
.
:
:
t t
t t t
t
))
((
t y
t
))
))
((
t
((
((
))
.
:t
))
:
: .
:
:
:
).(
((
((
))
t
.
((
))
.
).(
)(
))
((
).(
((
))
((
))
))
((
: )(
)(
((
))
))
((
)(
))
((
)( )(
))
))
((
) ( )(
))
((
((
) (1 : .
) (2 : .
) (3 : t -.
) (4 t :
:
)(
((
))
)(
((
))
)(
((
))
)(
((
))
)(
))
))
((
)(
((
)(
((
))
)(
((
))
)(
))
))
((
)(
))
((
)(
((
)(
))
))
((
((
))
)(
))
((
)(
((
))
((
))
)(
((
))
))
((
((
((
))
) ( )(
))
((
((
))
)(
))
))
((
)(
))
((
((
))
)(
))
((
:
)(
((
).(
((
))
t
)(
)(
((
))
((
))
((
))
)( :
))
((
))
((
))
))
))
((
((
).(
((
: :
t
) ( :
((
))
) (1
-.
) (2 : : - : - :
- : :
- : - : :
.
) (3 : : - :.
) (4 : .
:
) () (
))
))
((
((
) () ( ) ()(
))
((
)() (
))
((
t
. .
:()t
))
:
.
((
:t t :
))
) (1 : - : :
- //- :
.
) (2 : : :
.
) (3 : - : -
: : :.
) (4 : . : - :.
) (5 .-
:
).(
((
: :
t
t
.y
:t
))
.
t
.
t
.
t
).(
((
) (1 : :.
) (2 : - .
:
.
:()t
))
.
((
: :
.
:(2) t
))
:
. .
) (1 .
) (2 . :
:
. :
t
))
))
((
((
((
()t :y
))
t
t y y
.
((
:()t
))
.
((
:
))
:t
:
).(
((
) (1 . :
) (2 .
) ( : .
:
:()t
))
.
((
: :
:t ) (
((
))
t ).(
)(
:t
))
. t :
.
.() t
((
) :(
))
) (1 .-
) (2 : : :
:.
) (3 : :.
) (4 . :
) (5 : :.
) (6 . :
:
.
((
t
) :(
))
t
.
((
:
:
) (1 .- : t -
:
t t
.
.
:t
))
).(
((
: :
) :t (
))
.
((
()t :
))
.
((
) (1 : .-
) (2 .
) (3 .
:
:t
))
:
).(
((
:t t
))
:
. .
. .
:
).(
((
:t :
))
:
:
y y
) (1 : .
) (2 : .
:
y
:
.
).(
((
) (1 : - .
:()t
))
e
.
.
((
:
: :
) ( .
:
.
.
:t
))
).(
((
)(
: t
))
)(
((
) ( : .
) ( .
) (3.:
: :
e
.
t
.
:
.
: .
:()t
))
y
:
) ( ).(-
:
.
((
:()t :Y
))
() :Y
.()
!
.
((
.
.
))
:t
))
.
((
:t
))
t .
((
) ( .
) (2 : .
) (3 : .
:
:
))
). (
((
:y
))
) :e () (
). (
((
))
). (
((
:()t
))
.
((
) ( : .
) (2 : : :.
) ( :
. :
) ( : ) (
) (
) (5 .-
:
t t
:t :t :
: t e
:t
)(
t .
:t
))
:
). (
((
:t t
))
: t : :
: ).(
((
) ( : .
) ( : .
) (3 : :.
:
.
.
:t
))
.
). (
((
:()t
))
.
((
:()t
))
) ( .
) ( .
) ( .-
:
:
((
))
e
.
. e
((
: :
) t ( :
))
) (1 .-
:
.
.
((
t
Y
.
e
:()t y
))
y
:
.
((
) ( .
: :
.
y
.
: :
) :e () ( ):t (
))
.
.
.
((
) (1 .
) (2 .-
:
:
.
.
.
.
:
:()t
))
y
:y
))
((
.
((
:()t
))
.
((
:()t
))
) ( .
) ( .
) ( .
:
.
((
: :
.
. :()t
))
.
((
) ( .
: : .
.
:
.
:()t
))
t
))
((
.
((
.
:t
))
) ( .
:
...
t : e
t : . :
((
))
:
.
). (
((
:()t t
))
. t
t
.
((
)(
t : y
))
) ( )) (( .-
) (2 . :
) (3 .-
:
).(
((
:
))
:
).(
((
) :t (
))
). (
((
:t
))
t : e
))
:
))
e ) (
((
))
) (1 - : . :
) (2 : - .
) (3 . :
) ( .
) (5 : ) : t : e
(
: : :
) : ( :
:
.
:
) .( :t
((
).(
((
) :(
))
: :
:
.
:
.
((
.
:()t
))
.
((
:()t
))
t )
) (1 : ) : (
:.
) ( : .-
) (3 .
) ( .-
) ( .-
:
() ( ) :
() ( ) :
(). .(
((
. t
) () (
) (
).(
:t
))
) ( :t
))
((
) (1 : : :
: : .
) (2 : : - :
:
e
.
) (3 : : :
- : : e
: .
) (4 : : :
: :
:t
.
) (5 : .
) (6 .-
) (7 : . :
t . :
:
) (
((
e
.
:()t
))
e
e
. e
((
.
:()t
))
) (1 : .
) (2 . :
) (3 - .-
:
. : ) :e
u :
u : ().(
u
e
.
. t :
: ).(
))
((
t
.
t) : e :
() :
().(
) (1 : :.
) (2 : : :
.
) (3 : .
) (4 : :
.
:
.
e .
((
: :()t
))
t
.
((
:
.
.y
.
:
))
:t
y ).(
((
.
:()t : t
))
) (1 . :
) (2 : :.
) (3 . :
:
:
.
((
) :t (
))
:
:Y ()
: .
((
.
:
:()t
))
.
.
((
.
Y :
)() (
) (1 . :
) (2 : .
) (3 . :
) (4 : .
) (5 : :.
:
.
t
:()t
))
) () ( t
).(
((
) t (
:
))
:
.
:
: .
))
((
t
t
t t
) ( .- :
) (2 .
) (3
t e . : .- :
) (4 .- :
:
.
((
:
. .
. .
. .
: :
:
.
:
.
:
.
:
y
.
:
.
.
:
t
t t t
t ).(
) (1 : -
.
: :
)(
()t t
) :( . :
))
((
: : :
.
.
: :
.
) (1 : : t -
.
: t -
.
-
-
t
: : -
t - .-
) (2 : -.
) (3 .
)(
)(
.y
: ).(
:
.()y
t
.()y
.
:
))
) (1 :-
.
) (2 : :
.
) (3 t .
) (4 . :
.
) (5 t .
:
).(
((
: :
).(
t
) (
) ( )() ( .y
.
) ( : .
) (2 : -
. : -
-.
) (3 : : .
) (4 : : .-
) (5 : : .
) (6 : : .-
:
:()t
))
.
((
:
))
)( )( ) (:()y
((
))
((
:
.
))
.
).(
((
) ( .
) ( : :.
) (3 . :
) (4 : :.
) ( : :.
:
:
.
.
.
).(1
:()t t :
))
:
.
((
:()t
))
) (1 : .-
) (2 . :
) (3 . :
:
:
.
((
t ):(
))
.
:
))
((
.
((
:
:
. .
.
.
. :
.
. ).(
:
.
) ( . :
) (2 .: .-
:
.
.
).(
.
:
).(
) (1 : .
) (2 : :.
:
:
:
.
) :(
))
.
((
) (
:
:
) ( . :
) (2 : .
)(
:()t
))
.
((
) :(
))
) (1 : .
) (2 . :
) (3 .-
:
t .
((
:
:
).(
:t . :
))
))
((
: . :
((
))
).(
((
:t
))
.
).(
((
:
:
) (1 : .
) (2 : - :.
) (3 : - :.
:
)(
.
:
:
:
t y
) ( : :t
))
)( ).(
((
) (1 : -.
) (2 : .
) (3 : - .
t :
)(
:
:
:()t
))
) (1 : :
.
) ( . .
) ( :
:
. :
.
.
) ( .
:
.
((
:
:
.
:()t
))
.
((
:()t
))
.
((
) (1 .
) (2 .
:
:
: :
.
.
) :(
))
.
((
:()t
))
.
((
) (1 .
) (2 .
:
.
:()t
))
((
.
.
.
:()t
))
.
:
. : :
.
:
.
((
:()t
))
) (1 : .
) (2 .- :
) (3 .
:
.
((
:()t
))
.
((
:()t
))
.) :(
((
))
.
((
).(
.
) (1 : : .
) (2 .
) (3 .
) (4 : .
:
.
:()t
))
))
((
))
))
((
((
.
((
:()t
))
).(
((
) (1 .
) (2 .33
) (3 .
: :
.
) (
)( ) (.
)(
):(
))
.
((
)
( t
)( : ) ( :
))
).(
((
) (
.
) ( : .
) (2 -.
) (3 :
. :..
:
) (
:()t
))
. :()t
))
((
) :(
))
))
((
((
. :
))
((
).(
((
:()t
))
))
((
((
))
:
.
((
) :t (
))
))
((
. :()t
))
((
))
((
))
((
.
((
) (1 . :
) ( . :
) ( : / .
) (4 : :.
) (5 .
) (6 . :
) (7 : :
.
:
) (
) :t (
))
))
((
))
((
.
((
:()t
.
))
. :
))
((
.
((
((
))
).(
.
:()t
))
).(
((
) (1 .
) (2 .
) (3 : :.
) (4 .-
) (5 : .
:
.
) ( :()t
))
).(
((
.
) (
).(
.
.
((
))
. )( :
))
. : .
((
))
((
).(
. ) (
).(
.
).(
) (1 .
) (2 : : :..
) (3 : : .
:.
) (4 : : .
) (5 : : :.
:
. ) (
) :( . ) (
((
))
.
.
)( ) :( .
((
))
) :(
))
.
((
))
.
((
. ) (
) (.
. )(
) (.
.
.
) (1 : : :.
) (2 . :
) (3 :.
) (4 .
) (5 :.
) ( : : :.
) ( : : :.
:
. ) (
):(
((
)) ))
((
))
.
((
. ) (
) (
).(
. ) (
) (
.
.
:()t
))
((
))
))
((
.
((
) (1 . :
) (2 : :.
) (3 : :.
) (4 .33
:
. t ) :(
))
t
t
) :t (
))
. .
(( ((
.
)( :()t
))
t
t .
((
: :
:
. :()t
))
.
((
. .
) (1 .
) (2 . :
-.
) (3 .
) (4 .
:
.
.
.
.
:()t
))
.
.
((
) ( :
))
.
((
:
:
:
. .
.
) ( .- : - :
.
) (2 .
:
.
:
.
:
:
:
. )( ) :(
))
))
((
.
((
. ) (
))
(()(
) :(
))
.
((
. ) ( ) :t (
))
))
((
.
))
((
((
:
))
((
))
((
) (1 . :
) (2 : :.
) (3 .
) (4 .
:
.
:
.
:
:
:
. .
. .
. .
. .
. :
) ( ) (
) ( ) :(
((
))
) ( : . :
:.
) ( . :
:
:
) ( ) :(
((
))
.
((
:
. .
. ) (
.
) :(
.
.
:
:
).(
) ( : : :.
) ( .
) ( : . :
.
) ( .
) ( . : :
.
:
:
))
((
: ).(
))
((
:
:
: ).(
:
:
:
:
.
:
:
. .
) ( : . :
) ( : -.
:
.
.
.
.
.
.
. .
.
.
. .
. .
.
.
. .
. .
. .
. .
).(
) ( : - -.
:()t
))
.
((
:
:
) :(
))
.
((
) (1 .-
) (2 . :
:
:
: ) (
((
))
((
))
)( )(
((
))
((
))
) ( ) (
))
))
((
((
) ( ) (
((
))
))
((
)( ) (
((
))
).(
:
))
((
))
))
:
((
))
))
((
((
))
((
))
((
. :
((
))
).(
((
:()t
))
.) :( .
((
((
))
) :( .
((
))
) ( : .
) (2 : .
) (3 . :
) (4 . :
) (5 . :
:
:()t
))
.
((
()t :()t .
((
))
:()t
))
. ...
((
:()t .
((
))
:
. :()t
))
.
((
. ) :(
))
.
((
:()t
))
.
) (1 . :
) (2 . :
) (3 . :
) (4 .
) (5 / :.
) (6 . :
) (7 .-
) (8 . :
:
: .
((
: :
:
: y t t
: ) .(
:
:
.) :( : t
))
((
((
))
((
))
))
((
.
))
((
((
))
. : .
((
))
. : : ) ( )(
))
((
: :
))
((
) ( : .
) ( : :
.
) ( . :
) ( . : :
:
((
))
((
))
: .
:
. : ).(
. ) (
) :(
((
((
))
))
))
((
((
((
))
))
..
((
))
: :
:
: t
:
. :
((
))
:
))
((
) :(
.
. : .
))
((
) ( .-
) ( : -.
) ( . :
) ( . :
:
. : .
((
))
. :
((
))
.
: :
((
))
. :
((
))
.
((
))
: : :
:
))
((
((
))
((
))
((
))
((
))
((
))
))
))
((
).(
((
:
) (
((
))
:
:
))
((
))
((
))
) (1 : -.
:
((
))
))
((
).(
((
:
:
).(
) (
((
))
) ( ) () (
) (
))
))
)(
((
: . :t
))
((
((
))
))
((
).(
((
) (1 : -.
) (2 : : : .
) (3 . :
) (4 . :
) (5 : :.
:
:
:
: .
:
:
. :
:Y () .
. :
) :e ()(
.
:
.
.
.
: :Y
) (1 : .
) (2 : : :
:.
:
()
. :
: :Y ()
.
.
: Y ()
.
.
) :e (.
.
).(
)(1 : .
) (2 : .
) (3 : .
) (4 : - : -.
:
:
: Y
()
:Y
() .
).(
:
:
:
: :
:t ).(
((
))
) :(
))
.
((
) (1 : .
) (2 : .
) (3 : -.
) (4 : :.
) (5 /.
)(
:t
))
.
((
) :(
))
.
((
) :(
))
.
((
:
.
t t
: .
t
) (1 /.
) (2 .
) (3 . :
:
.t
.
))
((
) ( :
).(
: :
t
).(
:t
))
) (1 . :
) (2 : - : .
) (3 : .
).(
((
:t ).(
((
))
:t
))
).(
((
:t
))
t : :
))
((
t
t
).(
((
: :
) (1 : : :.
) (2 : :.
) (3 : :.
) (4 : : : : :
.
:
.
.
:
: :
.
) (
) ( ) ( :
))
t .
((
) (1 : -.
) (2 . :
) (3 .- :
:
:
))
.
))
((
:
.
.
.
.
.
.
.
.
:
.
((
:
:
):(
:
.
:
.
.
.
:
) (1
:
.
:
.
.
.
.
.
:
.
:
. :
.
).(
:
:
:
.
:()t
))
) (1 : -.
) (2 .
:
((
.
.
:
.
:
) :(
))
:
))
((
))
.
((
:
))
.
((
))
((
))
((
.
((
) (1 .
:
.
).(
:
:
.
: ).(
:
: :
: t
).(
: .()t
: : t .()t
) (1 : -.
) (2 : .
) ( : . :.
) ( : :.
:
: : t .()t
: : t .()t
) :( : .()t
: .()t
: : .()y
: y
).(
: :
t
).(
t t
t t t
t : :
t t :t
: t : t
:t ).(
) ( : :..
) ( : : .
) ( : :.
) ( .
) ( : :.
) ( : :.
) ( : :.
) ( : :.
) ( : :.
) ( : : :.
:
: :
: t :
).(
: : :
).(
: : :
).(
:
).(
:
) (
)() (
) ( .
) ( : :.
) ( : .
) ( : .
) ( : :.
) (
:
-) ( . : - :
.
) (
-) ( : .- :
.- . :
) (
. : . : .
) ( : .
:
:
) ( )() (
)() ().(
: : )().(
: : : :
))
))
((
))
((
((
).(
:
((
))
((
))
((
))
))
((
((
))
)().(
: :
))
((
((
))
))
((
))
((
((
))
))
((
).(
: : : )(
:
) (1 : : .
) (2 : :
.
) (3 : : :
.
) (4 .-
) ( : .
) ( : :.
) ( : : :.
) ( : -.
) ( : :.
:
: : ).(
: ) (
).(
:
).(
:
).(
e
) .(
).(
: )
( ).(
:
).(
) ( : :.
) ( : : : :.
) ( : : :.
) ( : :.
) ( : :.
) ( : : .
) ( : :.
) ( : : .
) ( : : .
:
: ) .( :
).(
:
))
((
).(
: ).(
: : : ).(
:
).(
: ) (
)().(
: t ) t().(
)(
: : :
)() (
)( .
) ( : :.
) ( : :.
) ( : .
) ( : :.
) ( : :.
) ( : :.
) ( : .
) ( : .
) (
:
:
) :( .
:
) :( . .
))
((
) :( . .
))
((
.
:
e ).(
: ):(
: :
.
:
: .
. : : -
.
) ( : .
) ( :.
) ( : :.
) ( . :
) ( : .
) (6 -
.
:
:
.
:
.
: .
:
.
: .
: .
: .
: .
: .
:
.
: .
: : .
: .
: .
:
: ):(
: .
: .
: .
: .
: .
: .
:
...
:
.
:
.
: .
: .
:
: .
:
.
) (1
.-
.
:
:
.
: .
: .
:
.
:
.
:
.
:
:
.
: .
))
((
:
: ):(
:
.
: : .
: .
: .
: .t
: .t
:
((
))
))
((
.
))
((
: )(.
: )(.
: ) (.
: )(.
: )(.
: )(.
: )(.
: )(.
) (1 -
:
:
:
:
: :
:
:
. :
:
.
:
.
.
:
:
. : .
. : .
:
.
.
:
.
:
. :
:
) :
:
() (
:
. t
t
.
. t
.
) :(
))
) (1 : : :
: .t
) (2 .-
:
.
((
:
. :
:Y ()
:Y
() :Y
() :Y ().
:
. :
:
) (1 : .
) (2 : .
) (3 : .
) (4 : .
:
.
.
.
.
.
. :
. :
. :
. :
.
:()t
))
:
.
) (1 .
:
.
.
.
.
((
. : .
. : .
).(
:
: :
:
) (1 .-
:
. .
. .
.
.
. ).(
:()t
))
:
.
((
:
.
:
. .
. .
.
) (1 : - :
.
) (2 .
:
.
).(
:
:
. .
. .
.
.
.
.
).(
:
:
.
.
. ).(
) (1 : - :
.
) (2 : :
:.
) (3 : :
.
:
:
:
.
.
.
.
.
).(
t t
:
))
)(
((
) (1 : - - :.
) (2 : .
:
:
.
: t
.
:
.
:
:
.
.
:
:
.
))
.
((
((
))
))
((
((
))
.
))
.
((
.
((
))
))
.
((
.
.
))
((
:
.
: .
((
))
.
.
((
))
((
))
.
))
.
((
((
))
((
))
.
))
.
((
((
))
.
))
.
((
.
.
))
))
((
((
.
:
((
))
((
))
.
((
))
.
))
((
.
((
))
:
.
.
) :t (
))
.
((
:
))
).(
((
) (1 .
) (2 : .
:
e.
:
.
.
.
))
))
((
))
((
))
((
:
((
((
))
.
.
) (
.
) :(
))
. .
((
) (1 : -.
) (2 .
:
.
e
.
.
.
.
) :(
))
y !
!
e
) (1 .-
:
.
.
((
:
.
:
.
.
.
:
.
.
.
:
.
:
.
:
.
) :(
))
.
.
.
.
) (1 .-
:
.
.
.
((
((
))
))
((
((
))
.
))
((
((
))
))
((
))
))
((
:
((
((
))
).(
((
))
) :(
))
.
((
((
))
((
))
((
))
.
))
((
))
((
) (1 : -.
) (2 : .
:
))
))
((
e
((
):(
))
.
((
) :(
))
))
((
((
))
((
))
))
((
.
((
) ( : ) (
))
) ( :
((
) (1 .
) (2 .
) (3 .
) (4 . : : :.
:
))
) ( :
))
((
))
((
))
((
))
((
.
((
. .
.
.
.
:
) (
:
))
.
.
))
((
))
))
((
((
!..
.
((
) (1 .-
: :e
e
e
e :
))
((
.()y
e
.
) :
: e
e
e : ().(
) (1 : e -.
) (2 . :
:
e ) :e
() (
:
.
e
y
.
y
.
e
e
.e
: :y
t
t y
.
t
:t
))
) (1 : : :
:.
:
e
:
).(
((
y:
. e
.t
. e
y ) ( : y
))
.
((
. y
y
y e
.
.
) (1 : . :
) (2 .
: :
y y
) t (
.
:t
))
t t
).(
((
:t
))
: t
t
t
))
((
).(
((
) (1 : : t :
: : :.
) (2 : :.
: :t
t
:t
))
t
) .(
((
) :( t .
((
))
: ).(
((
))
t t
t
.
) (1 : .
) (2 .
) (3 : .
:
:()t
))
))
((
))
((
))
((
t
.
.
.
((
: :t
t
t
t :
) (1 : -.
:
).(
))
((
t
))
((
.
:t
).(
t
t
) (1 : -.
) (2 : -.
:
: .t
).(
:
t :
t
))
((
((
))
))
((
))
((
).(
t t
t ).(
))
((
))
((
:
:
))
((
.
) (1 : .
) (2 : -.
) (3 : .
:
((
))
:
.
:
...
. t .
. .t
))
((
))
))
((
).(
((
.
t t
t
.
) (1 : -.
:
)(
:
).(
: :t
t
.
:t
).(
t :
))
:
((
))
).(
((
) (1 : -
.
) (2 : -.
) (3 : .
:
: : :
))
).(
((
) (
.
)(
.
).(
t
))
((
t ) (
) (1 : .
) (2 : -.
:
) ( :
))
.() t
((
:
))
))
))
((
((
).(
((
: :t
t t
t t
.
))
((
).(
) (
)(
))
((
t
).(
) (1 : .
) (2 : .
) (3 : .
) (4 : .
:
) (
.
)(
.
) ( :
.
) ( :
. : -
-.
:
) (
:
: :
:
: : t
) (
) :(
))
((
))
))
((
))
((
. :
((
.
))
((
).(
.
))
((
).(
) ( :-
.
) ( : :.
) (3 : :.
:
. ) (
((
))
).(
.
((
))
).(
.
((
))
).(
: ) ( :
))
((
))
))
((
((
).(
:
:
. ) (
))
((
))
((
.
) (1 : :.
) ( :
. : - : :
.
) (3 : : - :.
) (4 : - :.
) (5 : : - :.
) (6 : - :.
:
. ) (
((
))
).(
. ) (
((
))
).(
) (
))
((
((
))
:
).(
: ) (
((
))
))
((
((
))
))
((
. :
).(
: :
. )( )(
((
))
((
))
).(
((
))
) (1 : :.
) (2 : :.
) (3 : - :.
) (4 : - :.
) (5 : :.
:
. ) (
((
))
).(
. ) (
((
))
)().(
. )( :
))
))
((
).(
((
((
))
))
((
))
((
. ) (
((
))
.
. ) ( :
((
))
).(
. )( )) ((
))
((
)) (( )) (( )) ((
:
) (1 : - :.
) (2 : : :.
) (3 : - : - :
: : :.
) (4 : - :.
:
) ( :
:
)(
) :(
))
))
((
.
((
:
) (
((
))
)) ( ( ) (
))
))
((
))
((
)(.
))
((
((
))
) (1 : - :.
) ( : :.
) ( . :
) ( .
((
:
((
))
))
((
.
)(
((
))
)( ) ( ) (
) ( ) ( ) (
) ( ) (
) (. ) (
) ( ) ( ) (.
) ( )
))
((
(.
))
((
((
))
))
((
))
).(
: ).(
))
((
.
))
((
))
) (1 : - :.
) (2 : :.
((
((
:
))
((
.
: )(
((
))
)( )( )(
)( )(
)( )( )(
)( )(
)( )(
)( )(
)( )( )(
)( )(
)( )( )(
)( )(
)( )(
)( )( )(
) )(
)( )( )(
)( )(
:
).(
:
.
:
.
).(
t
.
) (1
.-
) ( :
:
.
((
))
))
((
)(.
((
))
:
:
. )(.
((
))
. ) (
))
((
((
))
: ) (
) ( ) (
) ( ) (
)( ) ( ) (
) ( ) (
) (
).(
. ) (
((
))
:
).(
: )(
((
))
)(
))
((
))
((
))
((
))
) (1 : .-
) (2 : - :.
((
:
:
).(
:
:
. )( ).(
((
))
((
))
. )(.
((
))
. ) ( ) (
((
))
((
))
:
).(
. ) (
))
))
((
((
((
))
((
))
))
((
))
((
))
((
))
((
) (1 : - :.
) (2 : :.
) (3 : - -.
) (4 : :.
:
).(
. ) (
))
((
) (
) ( ) (
) ( ) (
) ( ) (
) ( ) (
) ( ) (
) ( ) (
) ( ) ( )
( ).(
:
:
. ) (
((
))
:
:
.
. ) (
))
((
)(.
) (1 : :.
) (2 : -.
:
. ) (
((
))
.
((
))
((
))
. )( .
))
))
((
((
. )().(
((
))
:
:
.
((
))
) (
:
).(
. ) (
))
))
((
).(
((
. )(
))
))
((
((
.
. )(.
))
((
) (1 : : - :.
) (2 : - :.
) (3 : - : :.
:
. )(
((
))
.
((
))
))
((
. )().(
((
))
.
((
))
)().(
. )(.
((
))
: :
t
:
.
) (
((
))
) (
)( .
.
) (
((
))
) (
) ( t
).(
.
))
((
))
((
) (
) (1 : - : :
:.
) (2 : : :.
) (3 : .
:
:
.
.
((
))
)(
).(
:
.
))
((
((
))
) (
))
((
((
))
.y ).(
))
((
((
))
)().(
.
)().(
))
((
:
.
))
((
) (
))
((
) (1 : .
) (2 : .
) (3 : -.
) (4 : .
:
((
))
).(
((
))
: ) (
)() (.
((
))
) (
:
))
))
((
. :
))
((
((
))
((
) ( ) :(
((
))
))
))
((
))
((
))
((
((
)(
:
))
((
) .( )() (.
.
))
((
) (
) (1 : -.
) (2 : .
) (3 : -.
) (4 :.
) (5 : -.
) (6 : :.
:
((
))
) .(
):(
.
))
((
.
. )(.
.
((
))
)(
.
. .
. .
. .
.
)(.
. .
.
((
))
)(.
.
((
))
)(.
) (1 : -.
) (2 - :.
:
. ) (.
. )(.
.
((
))
)(.
.
((
))
)(.
. ) (
((
))
).(
((
))
: :
))
((
)() (
:
) () (
))
((
))
t
((
))
) t (
)(
((
))
((
))
.
))
))
((
((
) (1 : -.
) (2 : : :
:.
) (3 : : : .-
) (4 : : - : - :
- : :
.
:
) t() (
((
))
.
) t() (
:
))
((
.
:
:
.
((
))
)( ) () (
.
) (
)(
.
((
))
))
((
))
))
((
((
.
) (
)(
))
((
) (1 : - : : :
:.
) (2 : - : - :
- : :.
) (3 : : - : : :.
) (4 : - : - :.
) (5 : - - : :
:.
:
((
))
.
))
((
(( ))
) (
((
))
) ( .
((
))
).(
))
((
((
:
((
))
((
))
((
))
))
))
((
((
))
((
. : :
((
))
((
))
((
))
.
))
((
((
))
.
))
))
((
((
((
))
((
))
((
))
))
))
((
((
))
((
))
((
))
((
) (1 : - : :.
) (2 : .
:
((
))
((
))
.
((
))
((
))
((
))
((
))
).(
((
))
((
))
:
.
)(
((
))
.
.
)(
))
((
))
.
))
((
((
((
))
))
((
:
))
))
((
))
((
) (1 : -.
:
).(
((
: :
:
.
))
)() (
((
((
))
:
))
. :
))
((
).(
((
) :(
))
)() (
))
((
) (1 : .
) (2 : : : - :
: :..
) (3 : -.
) (4 .-
) (5 : : - : - :
.
:
.
((
:
((
))
)( ).(
((
))
((
((
))
))
))
((
))
((
((
))
((
))
((
))
:
))
((
))
))
((
((
((
))
. ) :(
))
.
((
))
))
((
((
:
))
) (1 : .
) (2 .
:
.
((
)().(
))
((
((
))
).(
:
))
))
((
.
((
))
((
) (
((
))
).(
((
))
) :(
))
))
((
))
((
))
((
))
((
) (1 : .
) (2 : .
) (3 : -.
) (4 .
:
.
((
))
((
).(
.
((
))
).(
.
))
((
: .
).(
.
))
))
((
((
)( .
((
))
) (1 : .
) (2 : .
) (3 : -.
:
).(
((
))
.
((
))
))
))
((
((
e
).(
. ) () (
))
((
: .
:
))
((
)(.() .
) (1 : .
) (2 : .
) (3 : - : : - :
.
) (4 : -.
:
.
((
))
:
))
)(
.() .
((
.
((
))
) (
))
((
) (
) (
))
((
).(
.
((
))
) ( ).(
.
))
((
) (
) (1 : -.
) (2 : -.
) (3 : -.
:
) (
).(
.
((
))
((
))
((
))
:
)().(
.
((
))
).(
.
((
))
((
))
((
))
) (
((
))
)(
))
))
((
))
((
) ().(
) (1 : -.
) (2 : -.
) (3 : .
) (4 : -.
((
) :(
))
:
.
))
((
((
))
((
))
))
))
((
))
((
((
.
.
))
))
((
((
))
((
))
((
) (1 .-
:
))
((
.
((
))
))
))
((
))
((
))
((
((
.
((
))
((
))
((
))
((
))
((
))
))
((
))
((
))
((
.
:
:
.
.
.
((
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . ..
:
. .
: . .
) ( . . .
. ..
.
. ..
y .
. ..
)- ( . : .
. . ..
) (
.
) ( . : .
. . .
) ( .
.
) ( . .
. ..
. ..
.
. . ..
.
.
) (. . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. .
. . ..
. .
. ..
. . ..
.
.
:
.
. . .
.
. ..
) ( .. . .
. ..
)( . . ..
. ..
) ( .:
. . ..
) ( .
.
. . ..
) (.
.
: . .
. : . . ..
.
.
. ..
.
) ( . . . . .
..
) ( ..
. ..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
) ( . .
. . ..
)( . ..
)( . .
) ( .
. . .. . .
)( . ..
. .
)- (.
: . ..
)( .
..
. : .
. ..
)( . . . ...
) ( . : .
. ..
)( . : . . . ..
)( . : . .
)(.
. . ..
)( . ..
) (.:. ..
. ..
) ( . : . . . .
.
) ( .
. .
. ...
.
) ( . :
. . ..
) ( .:
. .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
) ( . : . .
. ..
) (. .
.
) ( . : . .
. ..
- .
)( . .
.
. . ..
. ..
.
) ( . .
.
) ( . :
. . ..
) ( . : .
. . ...
)( . . ..
) ( . : .
. ..
. )- (.
. . ..
.
. ..
) ( .
. . . . : .
) ( . : .
. ..
)( . . ..
) ( . .
.
) ( .
.
)( . . . ..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
)- ( . :
. . ..
) ( .
..
)( .
) ( . : . .
. ..
) : (.
. ..
) ( . . ..
.
)( . ..
)( . ...
) (
.
) (.
: . . .. .
. . ..
.
.
.
. ..
) ( . :
. . . ..
) (.
..
.
. . ..
) ( .
. ..
) ( .
..
)( . . . ..
. ..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
)( . .
) ( . :
. . ..
)( ...
) (.
. ..
) ( .
. . .
)( . . ..
) ( . :
. . . ..
)( .
)- ( . .
.
) ( .
.
)( . ..
)( .
) ( . :
. . . ..
) ( . :
. . . ..
)( . . ..
)( . : . . .
..
) ( .
..
) ( . :.
. . ..
.
..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
) ( . : .
. ..
) ( . :
. . ..
)( . .
. ..
)( . : . ..
.
. . . ..
) ( . : . . ..
.
) ( . . .
..
)( . : .
..
)( . : .
..
)( . : .
. . .
: ) ( . : .
..
)( . : . .
..
) ( . :
. . . ..
) ( . :.
. . . ..
) .( :. . .
. ..
) ( :
.
. ..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
) ( . : .
. . . ..
. ..
. : . . ..
.
)( . .
)( . : .
. ..
)- ( . :
. . . ...
) ( . .
. .
)( . . .
. : .
..
.
. ) (.
. ..
) ( . : .
. . ...
) (. :.
. . ..
) ( . :. ..
. ..
) ( . : .
..
) ( :
) (.
. .
. ..
) (
.
.
.
.
.
.
.
.
.
.
.
. ) ( .
.
. : . .
. ..
)-( . ...
)( . : .
. . ..
)- ( . : .
. . ..
)( . : . ..
) ( :
.
)( . ..
) (.: . .
..
. )-
( . . ..
.
.
.
.
.
.
.
.
.
) (.: .
.. ..
. . ..
) ( .
. ..
: .
.
) ( . :
. . ..
)( . ..
) ( . . .
.
)( . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. .
.
) ( .
. . . .
) ( . :
. . ..
) ( .
. . : .
. .
) ( .
.
. : . .. .
..
. . . .
..
: . ..
. ..
)( . . ..
) ( .
. ..
)(.: . .
. ..
. .
.
..
) ( .
. .
. . . .
.
) ( .
).(
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
)( . :
. . . . ..
)( . .
)- ( . :
. . . ..
)
( . . . ).(
e . . ..
)( .
) ( .
.
)( . : . . . ...
) ( . :.
. . ..
.
..
) ( . :
. .
)(
.
) ( .
..
..
. .
) (.
. .
) ( . .
..
)(. : . .
. ..
. . ..
.
. . ..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
) ( . :.
. . . ..
:
. . ..
)( . .
)( . ..
. . .
.
. .
. ..
:.
.
. . ..
.
. . ..
. . .
..
. . . .
. ..
)( . . ...
. ...
)( . : .
. . ..
)( . ..
) (. .
.
)( . ..
. ) (. : .
. ...
) ( . : .
. . ...
)( . ..
) ( : ) (. :.
. . . . . ..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. : . .
. . . . ..
) ( . : . .
. . ..
)-( . ..
) (
: .
. ..
) ( . : . .
..
) ( . . .
. .
: ) ( ...
.
. . :.
)- ( :
. .. . ..
)-( . : ...
. ..
.
) (.
: . . .
.
. ..
. . ..
) ( . : .
. ..
) (. : ..
..
. .. ..
)( . : . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
)( . : .
.
) ( . : . .
. ..
) ( . : .
. . ..
) ( .
.
) (
.
) ( .
. .. .
) ( . . .
.
) ( . : .
. ..
:
.
)( . ..
.
) ( . :
. . ..
)( . ..
)( . ..
) ( . .
. .
. : .
. ..
)( . ..
) ( . : .
..
) ( . .
..
) . ( . : .
. ..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
)( . .
)( . ).(
. .
..
. . ..
.
)( . . . ..
. .
.
. .
)- ( . : .
..
)( . : . .
. . ...
. ..
)( . ..
) ( ..
.
)( . ..
) .(-
. .
.
. ) (.
. . . ..
.
)( . . ..
.
.
.
.
.
.
.
.
.
) ( .:
. . ..
. .
)( . .
) ( . :
. . ..
: )( . ..
) (.:. .
.
) ( . :.
. ..
)- ( . : .
. . ..
) ( .
).(
: e
: e
: t