Professional Documents
Culture Documents
∀( !)! )
∃
∋
∀(∀
!
# ∃
#
#!
##
!
%!%
#
#
!
∗
!
&
∀(
∀( +
∃ #
##
#
!
#
∀(
#
#
#
#
#
∀
!
!
#∗
∀
#
#!
∀
!
&
&
(
!
)
#
∗
#
#
∗
∀
#
∀+
+
#
! #
#
!
#
∗
∃
∗
#
#(+
∃
#
+
∀
# #
#
#
∀
!#
!
#
!
#
###
#
(!
!(
!
# #
!
#
# &
#
#
∀
∋
&
#
#
!
!&
#
! #
#
#
!
#
#
#
#
!#
&
#
#∀/
%
!
!
∀(
#
#!
##
!
&
∀+
!
#
#
&
#
##
#∋
#
∗
!
) !)
#
#
!
∃#
##
#
−
#
#
(+#(+,((
#
!
!
!
/
#
#
∀ ∀(
(
!
#∀/ #
&
∀(
& & &∀
!
!
!
#)
∃!
#
!
!
∀
#
#
!
#
∀
&
#
# ∃
#
#!
!
%
!
!
∃
∃
∃
∀
# &
∋
!
#
!
!
!
∀(
!
!
!
!
∃
#
∗
!
!∃
&
#
∀
#
∀
∗
,
#
#
##
#
#
#!
!
! #
∀(
∀
#
∃
∃
#
# /# ∃ # /
(
(,(
∗
#
!
#
∋
∀
#
#
#
!!
!
∀
∀
&&
#∋
##!
#
& #
!
#
#
!
∗
!∗
∃
##
!
∗
!
)) ! )
#
∀
!
#∀(!
#
#
#
((#
#!
&
∗
!
!
,
#
&
#
! ) #
# !)
−
∀−
##
!
#
#
.
#
∗∋
!#
!
∋
∃
/
#
!
∀
!
#
# #
#
∀
#
#
∀/
#
−
!
#
#
#
(
∋
#
#
∃
#
& ∋#
.
#
∃
!
&!
#
##
(+
!
+#
#
#
!
#
#
∀(
&
∀(+
! )
!!
#
!
#
#
∗
#
!)!
∀/ #
#
!
#
#∋
∀(
∀
# #
# !
∗
∀
&
#! !
)
∃
!∃
#
(+
∃(+
∀∃
#
!
&
((
!(
#
#
∋
#
)
!
∗
# #
∃ ∃
#
!#
#
!
∀
#
##
∋#
!
#
#
)
&∋
∋
!
#
.
!
∋
###
#∀
#
∃
∃
!
∗
#
! !
∃
#
##
. #
∀(+∃
#
∃ (+
∀(
#
#
#
#
! !
#
∋
∗
+
#
#
#
&
#
!
#
#
#
∀
!
!
∃
∗
#
.
#
#
(+#
#∀+
∀+
+
!
& #
&
&
.
!
!
#
%
!
∃
)
)! %
+∀+
)
)
)! )
!
#
∗!(
!(
#
#!#!
∀/
#∀/∀
&
#
#
∀∀− !
#
#
#
!
!
!
#
∃
#
#
#
∀
!
#
!
,(
(+
#
!
#
∀
%
!!
&
& &
#
#
!
#!
!
!
!
!
#
&
!
∃
#
#
!
#
#
&
∀
!
#
∗
#!(
##
#
#
∀ !
∀
!
#
∀
∀
∗
∋∃
# !
#
∋
#
#
#
#
#
!
!
#
#
∗
∗
#
!!
!
!
#
!
!
∃ ∃
&
!
!
#
)
#∃
#
∀
#!
#
∗
#
#
#
#
#
#
∀−
#
!
#
!
#
#
#
∀(+
∀−
#
∋
#
!
#
#!(
&
&
&∃
∃
#
#
#
!
∋∀∀/
∃ ∃ ∋
#∗!
+
(
#
#
!
∀
∋
∋
# #
#
#+
#
#
∀
& #
#∗
#
!#
!
#&
∗
&
&!
!
#
!
!
#
#
!
#
#
#
#
#
#
∀
∀
#
#
& !
!
!
#!
&
∀−
∀
#
!
∀
#
&
# #
!
+
∀(+#
# &
! ,
#
∃
∀+
#
(
#
#
#
∋
∀(
#
!
& #
#
#
∃
&
#
!
∀ #
#
!
∃
∗
#∗
∗
(+
(
#∗ ∃
! !
!
#
#
!
∃
!
∗
!
+#∀+
!
#∀
!(
&
#
#
! &
#
&
#∀/&
#
#
! !
!
# #
!
& ! !
!
!
∀−
&#
∃
∀(
∀
∗
!
∀
#
∋
∗ #
%
!
# #
#
#
! ∃
+ # !
!( &
&
∀+∃
!
#
((#
#
#
#
∀ (+
∗
#!
#
#
!
!
#
!∃
!
#
∃
(+
#
&
!
!
#∀
#
#
−
∃
∀
(&
#∋
∗
#
##
∗
#
# #
#&&
#
∀
(+∃
∗
∀
&
#
∗
∀
∀
#
!
!
#
!
#
∃
∃
#
∗
∃
&
&
∀−
!
!
#
!!
#∀+
#∀
+
!%!%
∃
∃
∀
!
#
∀
− −!
.
.
∃
∃
∃
∃ ∃
#
!
#
#
!!
#
#
#
##
!
#
#
#
∀
!
#
!
∃
#∋
(+,(#
#
#
∀+#
#
!
∃ !
!)
&&
∗
#
/
#
!
∀
#
#
∃
!!
!
!
%&& ) )
#
!
∗#
#
##
#
!
#
!
!
#
!
#
&!
!&
)
!
!!
∀ ∀#∀+
#
#
&
&
# &
# #
&
)
)
∀#
∀
.
.
−
−
∀−
#∋
&&
#∋
∗
,((
∀
#
∗
∃∃∃
(+
#
!(
#&
& & &
! &
&!
#
∗
#
#
&
!
!
#∀/
#
∀
!#!
∀
!
!
∀#
∋
#
&
!
! !
#
,(
+
!
∋ +∃∀(#
&
!
!
#
∀
∀#
#
∀
∀
∀
∀
−
.
∀
!
∀
!
∋
#
∗
#! #
&∀
#
∀((+
#
∀∃∃
,(+,(
#
#
&
!
∃∃ !
∀
∋
!
&
#
!
&
∃
#∃ (+∃
#
!
!
#
!
∋
∋
###
#
!
#!
&
!
#
((
∗ (+
#
!
∃
∃
!
#
∃
∀
#//
∗
∗
#
.∃
#
##
#
&
(
− ∃
!
(
∀
!
#
#
#
#
##
&!
& &
∀
!
∃
!
# !
(
!
#
#
#
!
#
#
#
,(#
#
∀+
#
###
∀(
#
!
!
!
#
#
#
#
#
!
!
((+∀(
!
!
!
!
∀
!
∀
∗
#
!
!
!(
(
#
!
!
#
)
)
#
#
#∀#
!!
∀/ #
& /
∃
∀
!
#∀/∀−
&∀+
# #
!
∀(
#
#
!
# #
+ #∃
∗
∀
!%!
#
!
&
&
∃−
&
#∋
∋
∗
∀
∀−
+#
#
#
#
∀
#
#
!
%
#
!
!
!
∀
!
!
!
!
#
#
∗
!
∋
#
#
&
.!
#
∗
∗
#!
!
#
# #
.
∃ ∃
∃
#
#
&!
∗
#
!
∗
!
& ∀(
!
∀ (+ +∃
!
,
!!
!
#
∗
#!
#
#
!(
!
&
(+,( ,(+## ! ! !!
#
#
#
#
+#
#
∗
#
!
∗
∀−
∗
∀
#∀
#
#
#
#
#
∀ #
#
#
#
!
#
∗!
∗
(+
∀
## ##
#
#
#
+
− ∀
∀
!
∀#
#
!
&
#
&
!!
#
.
#
#
∀
∀
!
∀#∀+ ∃
#
!
!
!!
%
%∗ ! ###
&
!
#
#
#
#.
∃#
##
!
& &+!
&
)
−
#!
!(
!
∃
# # #
#
#
! ! #
#
#
#
−∋
#
#
#
#
! ∀
!
&
#
!
∃
& &!
!
!
∀(+∀
! ,((+#(+
∃#
#
##
!
##
#
#
∀
/#
# &
∀(
#
∃ #
#
#
#
(+
∀
∀#
#
!
#
#
∋ #
!
∗
∗
!
%
!#
#
#
∀
& &
#
#
!
!
∀
##! # !
!
∃
#
#
#
#
#
∃
!
+
∗
#
∗
#
) ∃
∋
#
∃#
&
∋#
! ∗
∃
∀
!
##!
.
&
# #
###
!
#
# #
## ∀
%
!
!(
#
!
#
∃
#
#∃
!
∀#
#
#
#
#
∃
#
!!
&
&
#
#
!
#
#
!
#
#
!
!
&
∀ .
∗
∗
!
# &
!
!
∗ &
∃
∃
#
###
# #
&#
# ∃
!
#
∃
#
#
∀
#
∀ #
∀∀
!
!#
# !
#∋
#
∃
!
∀
#
#
#
!
#
#
∗
&
#
#
#
!
&
#
#!(
#
#
∃
#
∀#
#
) !
! !
!
!
&!
&
&##
! !
!
∀
#
+#
#!#
#∃∃
&
!
#
#
#
.
#
&
)
!
#
#
∀+
#
!
∃
#
#
!
∋
∋
#
##
#
&
&
∃
!
!
!
&
%
%
#
∀( #
! &
#
!
∀
.
#!
∀∀/
#
#
#
# #
∋
#
∗
#
&
!
!∀
##
#
#
#
!
!
#
&
&!∃
#
#
#
#
!!
#
#
!
#
∀
!
!
∀#∀
#
#
∗
!
#
# #
&
#
∀+
#
#
!
!
!
.
. .
∗ #
∗
# &
#
(!
!&
!
#
∋
#
#
−
!
! #
∀
!
#
!!
# #
# #####
#
#
#
#!
!
∀
#
#
#
∋
∗
∀
∀(
//
&
∀
!
#
+
#
!!
,
#
#
&
&
∀
#
∗
#
! &
&
!
!(
/
∀
((
#
#
#
#
#
# # !
#
#
! !
!
!
!
#
#!
#
!
! ∃
∋
∗
#
!
!
∃
# &
#
##
#
#
#
,((+,(
##
(+
(+
∀+∃ !#
#∃
#
∀+
∀
&!
!
#
#
#
&
&
#!
#
!
#
(
!( ,
# !
#
#
!(
#
∀
!
#
#
#
#
#
&
!
!
!
(
!
∃
#
!∀
#
#
∗
#
##
!
#
∀(#
!%
#
# !
%
#
)
#
#
#!!
#
!
#
!
!
!
∗
∀
∋
&
!
∋
#
∀
#
!
#
# # #
#
& ### &
∀/
#
#
∀/#/
#
∗
!
#
&
∀(
#
! )
#
#
∀/
∀
∗
#∗
#
!
∃
&
∃
∃
∃∃
# ∃ ∃
! )
∀
#
#
!
!
&
!
#
!
#
!(∃
#
#
.
.
#
∀#
#
#
∋
#
#
( ∀(
#
∀(
!
#
!∀∀
#/
#
!
∀
#
!&
∀
#
!
!!
#
!
#
!
#
#
∀
!
!
∃
#
!
#
#
#
∀∃
#
!∃
# !
!
#
! #
&
!
#
#
! #
#
#
#
##
#
! !
,(+##
!
∃
#
#
#
∋
∗
#
∀
#
#
∀
!
# !
(+
#
#
#
#
∀
∀!#
#!
∗
∀
# &
∃ ∃
#
∀−
! ∃
∃ &
!
#,(
#
∃
∃
∀
∃
∃
#∗
! ! ∋
&
#
&
#
#
#
∗
∀/
&
∀
#
# ∀
#
!
!
! !
−
−
#
−
−
# #
#
!
!
∃
!
!(
(+ ,(
∀
∀
∀ !
# +# +#
#
#
&
#
∀(
(
#
#
#
#
!
!∃
#
&
#
#
∀/
∀(
#
#
!
∗/∀
#
!
! !
#
#
#
!
#
!
∀(
∀(
!
#
#
!
∀
!
!!
∀
!
(+
#
&&
&
∋
/!
&
#
∋
#∋
#
#
!
&
!
!
#
!
∀
#∋
&
&
!
#
∗
∗
#
#
!
&
#
#
!
#
!
#
#
!
∋
&!
∀
,(#
#
#
# ∗
∗
!
∀
∀
#
#
)#
!
!
!
!
!##∀
!
)
#
(
!(
#
#
∋
∃
!
##
!
∀
−∀
#
#
##∀
#∀
∀
#∃
!
#
#
∋
∃
∃
#
∀
&
#
#
#
(+!
#
#
#
/
#
#
#
#
!!
&
∀
!
#
!
#
#
#
∀+#∀
∃
#
!#
!
∀+∀
#
∀
#
!
#
!
) ) )
&
!
&
!
#
#
∗
#
#
!
!(
,(
,(!!
∋
!
!
#!
#
#
#
&
#
∃
#
(+
!
)! )#
+
!
#
#
+
#∃(+∃
∀
&
!
! ,(
!
!
!
!
!
# (+
#
!
#
!
!
#
#
#
#
!##
#
#
∗!
∃
!
#
#
∃
& +
#
#
#∋
#∋
∗
#
#
#
!
#
#
##
∀−
/
!∃
∗(+
!
##
! !
! &
##
#
#
!
#!
!
!
∀−
#
#
!&
#
#
#
!
##
#
&!
∃
!
#
∃
∃
#
!
!(
!(
∀ !
#
∀+∀(∀
!(
∀
∀
& !
& &
∀−
∀
−
#
!
!
#
#
∗
!
!
! !
!(
#
∀
(
∃
#∀−
!
!!
!&!
#
∗
!
!∗
.
(+
#
#
#
&
(+
#
#
#
∃
#
#
& &
#
#
#
!
∀
∗
#!
∋
!
!
∗#!
&
∗#∗
#
!
∋
∋
∋
!.
#
#
!
#
#
)
!#
#
!
∗#∋
#
∋
∗
!
∀
#
&
#
∀ &
∀/∀
!
#
#
#∗
&
&
#
!
#
. .
#
(+∃ ∀(
&
!
#&
∀
∃
#!
!
! !
!
#∀#
!
&
&
#
(
∀(
# !
#
&
#
#
#
!
#
##
#
#∀
!
#
(
∀(
#
#
#∗
!
!(
!
.
!#
∀(
∀
∗
#
#
∀
&!
∗
∗ ∗
!
#
# & ∀ #
+
!∗/
#,
!
!
!
∀
#
!
!
#
!
!
#
#
∀
&#
!
#
!(
!
∃∃∃
∃
#
!
#
#
!(
#
#
!
∋
∋!
#
!
!
∃
#
#
∗
!#(+#
#
!
!
#!
&!
!
!
!
#
# !
!
#
∗
! #
#
∃∀ ∀(
#+ ! !
.
∃#
#
#
∀(
∀
#
!
#
#
#
#
!
∀
#
!
∃
#
#
!
∀
∀
! ∃ (+
∀
∀
(+#
!
∀
#
!
!
# #
#∀
∃
#
#
# !
#
#
#∗
!
∋
#
#
!
!
!
!
∀
∀
!
! !
!
∋
∗
#
#
!
∃
∃
#
#
#(+∃
#
#
&
∗
#
#
! ! &
&
&
!
∀
#
(+,
# +
!
#
∀/
∀
∃
#
∋
) # !
∗
#
#
)
#
!(
+
# &
∀+
#
#!
!
!! &
∃
%
%
#
! !
∗
∗# ∃
(( #
&
!
#+ # !
##
#
∀
!
!& #
#
# ! #(+
#
∗
#
#
!!
##
#
&!
#∃
∋
∋∀+ ∀+# +
&
∀
∀#
& ∋
!
#
#
!
#
&
!
!
# #
#
#
#
#
%
!
.
!
/
#∀
#∗
#
#
∗
∋
!
∋# !
#
!
∀ ∀
∃
,( !!
∀/
#
##
!
∀ !! &
∀(
−
% #
#
∗#
#
((#
,(
#
#
&&
#
!
#
#
#
#
∀
!
∃
#
!
!
&
# #
&
#
∃
#
#
#
!
∗
!
!
!.
.#
!
#
!
!
!
#
#
#
#
!
+ #
!
#
∗
%%
!
%
∀ +
∃ (+∃
#
∃
#
∀
# +
#
#∀
∀
/
#
#
!
+
!
!!
! !
!
∗
∗
#(+#
#
%
∃
, ,((+ ! !#
∃
/
∃
&
∀+
#
#
∀(+
#
#
#
∀
#
#
#
∀
∃
# #
/#
/
#
#
! &
∃
#
#
%
/
#
!
!
!
!
∃ (+,(
!
#
!!
∗
!
#
#
(##
!
#
#
! )
.#
!! !
!
#
.
#
#
!
!(
#
#
&
.
#
&!
#∋
∗
∃
∀
∗
∗
(+∃
(+ (+∃
#
#
!
#
∗
#
!
#
∀/ ∃
#
!!
&!
&!
##
#
!
! #
!
.
# ∃
!
#
#
∀
!
!
∀(
#
∗#∋
#
#
∃
∋
#
!
!
!!
#
∗
! !! #
#
/
∋
#
∗
#
#
#
#
#
!
/
#∀−
∀
#!
∀(
(
#
!
∀
#
##
∀
#
#
#
!
#
∗ !(
#
# #
&
&
!
&
!
∀
# #
#
#
∗&
∗
!
#
!
(
∀
#∀
∃ ∃∃
∃
(+∀
(∃
##
#
#
#
#
#
#∋
!
%
.
#
∀+
∗
∗
##
∗
#!
&
∃
∀
#
#∗
&
%
%!
!
!
#∃
(
!(
(
!#
#
∋
!
#
#
∀
∀+
#
∀(# −
!
!
#
!
#
%
∀/ ∃
#
#!
∗
#
#
#
#
#
#
!
)
#
!
!
#
#
#
.
!
&
#
( &
#
#
,((+#
#
#
+
!
!
#
#
/
&
#
!
#
#
#
+
#
#
#
#
!
#
∋
∗
∗
!
+
&
#
#
#
#
&!
!
#
!
#
!!
#
!
∀ ∀
#
&#
(+(+
#
#
#
∗
!
#
#
##
#
# #
!
!
! #
#
#
#
!
#
&
!!
!)
& ∃
∀(
#
#
# ∃
#/
##
#
#
(
!
# ∀+#
#
∀(
##
#
!
∀(
∀#
#
!
#/#
#
!(
!
##
#
#
#
−
−
!(
#
#
∗
#
#
∀∀/
#
!
#
∗
&
#
#
∋
!
!
#
#
#
#
#
!
∋
∗
∗
& #
#
∃ .
! !
!
/
#
∃
&
#
#
∀(#
∀(
&
!
!
∀
∀
+
#
!#
#
#
&
∀
∀
!#! # ∀(
∀ #
1
∋
∋
∀
∀−
#
∀−
!
#
&
&
&
#
#
&
#
#
#!
! !
!
!
∀
!
#
#
#
!
!
∀
/∀/
#
! !
#
&
∃
#
!
#
∃
#!
& !
!
∗
∀
#
∀#
∃
&
!
,
!
#∀
#∀∀
(
∀(
∀
!
!
#
! #
−
##
∀
#
!
#
#
##
∋#
!
#
∗
!
%
!
#∀
# !
#
∋
#
! &
((#
!(
#
∀
!
∃ !
∀
&
#
#
! ∃
∋
∃
(+
&
#
(+.
/# !
#
#
#
∀
∀
.
#∀/
#∋
!
∃
!
#
!
.
&
( ∀(∀/
∋
#
#
!(
#
!(
&
#
∃+
∀
#
(+∃
& #
∃
#
((+((,(#
/
#
! #
#
##
!
!
!
(+
#∃ (+ !
∀
& &
#
#&
∗
∀
#
!
!
&
!!
∀
∀
!
#
& !
!
!
#
#
!
∀/
(+
∋
#
%!
#
!
!
#
! !
&
∀ +
##
(+
!
!!
∋
&
∃
!
!! ∀ ∀
#
#
& ∀+
#
!
∀(
!
!
∃
#
.
)
&
#
∀− ,
∗
! #
#
#
#
∀−#
#
∀
∗
!!
#
!(
!
&
∀
&
!
! #
!
!
∗
!
#
&!&
∋
#
!(
#
#
#
#
∃ #
#
#+
!
#
#
#
#
&
#
#
∀
#
& &
&
∀−
#
!!
!
!
∀
&
&
!
!
!
#
#
#
&
#
∗
#
# #
&
& &
#
#
#
!
#
#
#
#
∗
∃
∋
#
#
&
/
#
#
∀(
∀##
∗
!
#
∃
#
!
!
.
!
!
#
!
#
∀−
∀
#
∋
#
+ +# #
#
#
&
#
#
#
!
!
!
∀
#
!
&
&
#
,(# !
!(
# ∀(
#
#
&
#
+#
+#
!
∀ ∃ (+
#
∃
!
#
#
!
#
!
(
#
#
#!
#
∃
∃ ∃
%
!!
∀ (+∃
##
!
∀
∀
∀ ∀
!
##
#
∋
#
∀
,( ∀
!
!
!
∀+
∃
∗ ∗
!
%
#
&!
!
#!
∃
!#
∀
∗
∗
(+
#
.
.
∀(∃
##
#
##
&
(+
#
∗
#
!
∀(
#
&
!
∀
∃
&!
!
#
#
!
∀
#
#
#
#
#!!
∀
#
&∃
#
!
#
!
#
)
!
!
!
#
!
#
!
#
#
#
∃#
#
#
#
!
∃
#
∗
#
∗
∃
∋
∗
#
!
&
&
##
#
#
#
!( !
!
∀
#
#
#
#
∀
∀
∗∗
!
# .
(+!
# ∋
∋
∋
∋
∀#
(+
∀
!
!
#
− −
∀
∀(
&
&
)
&
∗
#
#
!
!
!
∀
#
∃
#
#
# ! ! !
!
&
) !
∃
#
∀ ∀
#
!
#
∗ #∀( (+
∀+
#
#
/
#
∀ !)
∀(+
∃
,(#
#
!
# ((
#∗
#
#
#
!
###&&
##
#
!
∀
#
#
# #
!
!
#! %
#
∋
∗
∋ ∋
#
∗
!
#
#
##!
,
#
∃ !
#
#
#∋
#
#
!
#
#
∀
#
!
∀
∀
#
#
#
#
∀
(/
# #
∀
∀
!
∃∃
#
!
−
#
!
∃
##
#
&
∀
!
&
!∃
(+
) !)
#
!
!
#
#
#
#
#
#
∀
!
!
!
!
!
#
!(!
!&
!
! !
#
#
#
/
#∀/
/
∀−
#
#
#
!
!
#
!
&
& &
∃
!
∀
&
∀+#
!
#
∀
/∀
#
+
,(
∀
∀
#
#
∃
!
!
#
−
∀
!
∃
!(
#
#
!(#
#
#
(
#
&
#
#
!
!
!
!
∀/
&
∀
∀
#
#
#
∀ #
#
∗##
&!
#
#
∃
# #
#
#
∀
&
!∀ !
#
#∃∃
∀ ∀∀
∀
#
#
!
#
#
# # #
#
# + ∀+
!(
#
#
!
!
!
#
#
#
#
#
#(+,(#
(+
#
& #∗
∀+
#∀
+#
∃
∀/#/
∀
∀(
!
##
#
#
#∃(+
!
!(
∀
!
! ∋
#
#
##
∃
!
!
!
#
!
∀∀#
#
∀
∀(
##
!!
∀
!
#&
−
.
!
!
#
!
!
&
((# ! ###∋
!
#
#!
##
###
#
#
∗
#∃ #
#
/∀/
#
!//
#
∃
∀
+∃ (+∃
#
∀(
#
∀
#∀
#/
#
#
!#
/∀/
.
#
∋
∋
,
(+
#
#
#
##
#
%
#
∃
#
#
!
!
∀
∀+
#
#
#
#
#
#
#
∗
#
−
!
##!
!
∀#
# # !
#
.
#
#
#
((
∃
&
#
∃∃∃
&
&
#∋
!
∗
∋
∗
#
!
#
!(
!
!(
!
(+
∃#/
∀(
#
%
!(
!
!
!
! !
##
!
#
#(+
#
##
#
&
#
#+
∃
∗
! !
#
#!
#((
∋#
!
∋
#
∗
#
##
#
#
∋
#
)
∃
#
#
!
#
∀
!
!
#
+,(
(+
.
∀
∋
##
#
#
∗
∋ #
∗ !
# ! !
!
∀%
!
∀
#!
!
)
#+#
!(
!
&
!!
#
∀
#
∀+
#
!
(
&
#
#
&!&
∃
!
#
#
#
#
! !
∀
#
! !
∀
&
&
!(
!
∀/
#
#
(+∃
#
#∃
#
.
&
# !
+##
#
# ∀(
∃ #
!
!
#
∀(
∗
!!#
!
#
!
!&
!
#
#
∃
∃
#
#,((+,
#
−
!#
∀
#
(
#
#
#&
!
2
∗
!
#
#
!
!
#
#
∋
#
∃
#
!
#!
#
+∀
,(,( +∀+
&
!
#
∀
−/!
#!
#
∃
#
!
∃
∃ ∃∀/(
#
!
#
!
∋
∗
!
#
#
#
∀ ∀#
∀
.
!
!
#
#
∀
∀
!
)
∀
∃
#
+ +∀ ∀#
#+
∀+
! !
#
#
#
∀
∀
∀
∗
#
!
(+
∀ !
#
!
#
∃
#
#
!
#
#
(+
∃ !
∋
#
∀
∗ #
∃
!
!
#
!
##
# &
∃
#
#
+
∋#∋#
∗
#∀(
!
!
∀ #
!
(+
∀
/
#
#
∀/
#
&
&
(+
)
∃+∃
#
##
##
! !
#
∗
#∋
#
!
∀/
∀
#
!
!
!∀
#
/
# !
∀
#
!
∀−
#
#
,( (+
∀/
# #
&
!
#
#
#
!
#
#
##
&
&
!
#∋#
!
!! !
# #
#
!
∗
!
#
&
#
∀(+∃
∃&
∀
! #
#
#
∋
# ! !
#
#
#
&
(+
∀ ∀
∀
#
#
∀
#
∀
!
,((+
!
!
#
#
#
∀
∀
∀(
#
#
#
/
!
!
∋
#
∀
∀ &
&
&
#,(#
! #
!!
/∀/
#/
&
#
& #
∀
#
∀%
!
#
!
∀/
#
#
#
&
∗
#
!
∃
∗
&
#
!
&
∃
+&
&
#
#
#
!
#!
!
∃
∀
∀
%!
∋
#
∗ #
∃∋
#
∗
#
#
∃
!
#
!
!
!
!!
#
∋
#
∋
#! &
#
#
&
!
,
(+ +
)
#
#
∗
%
∋
#
###
#
&
%
∃#
∀+
!
∀#∀
/
&
##
#
&
∀
/
#
#+#
#
! !
# !
) !
& &
∋#
∋
#!
#
#
&
!
!!
∗
∃
#
∋ !&
#
#
!
!
#∀/
#∗
#
#
!
#
∀
#
!
!
!
#
!
.
#
∀
#
##
#!
!
#
!
%
&((
#
#
+
+#
#
∀(
∀(
(
(
(
∀
∀(
#
∀#
∀+ #∗
#
∀+#
∃ ∃
!
#
&
&
#
#
∋
∀−∀−
−
#
#
∋
!
#
∀
!
∃∃∃∃∃
!
&
#
#
!
(
#
#
∀
!
#
#+
#
∃
#
#
∃
#
∋
#
!#
&
!#!
# !
#
#
#
&
#
#
&
#
#
∀#
!
∀
#
∋ ∃
!
∃
!
%
!
!(
#/
#
! ∋
# ∀#
#
#
#
#
#
!∀(
∋
∃
!∃
∃
∀
#
#
∗
+ ∀
(
#
∀
∀
##
#
(+
#∀
#
#
&
∀(
#
#
∃
∋
#
#
#
# #
#
!
#
#
!
−
!
#
∃
#
#
#
∃∃
)
#
#
.
.
#
#
%! !
#
∋
#
#
&
!
#∃
###
#!
#
#
∋
#
#
∀! !
#
#∀+
!
/
∃
&
#
(+
#
#
#
#
&
#
∀
#
∃
!
∀/,
∃
#
,(
#
∋#∗
∀
#
#∋
∋
#
%
&
#
∀ !
∀#
###
#
!
(
!
!
#
#
# ∗
#
!
∀(
!
∀+
+
∀
!
∀
∀
∀
## ! !
−
−
∋
∋#
#
!
∀
!
∗
#
#
#
#!
#
!
#
∗
& &
∀
#
!
#
#
!##
#!
#
#∀
#
#
#
!
#
∀
(
!
!
!∗
∃
%
&
#
!
!∀
#
!
.
∀
#
∋
∗
!
!
&
#!#! ##
,(##
#
#
! !
&
∀ ∗
##
∗
#
#
(+#
#
∋
& !
#
#
#
#
!
#
−
∀−
#
#!# #
&
#
∗
#
&
#
#
!
#
∗
!
∃ ∃
∃
!
∀−
−&
∗
∗#
(
#
!
!#
−
#∗
#
#
#!
!
#
!
∗
∀
#
#
&
& &
∀(
∀
∀+
)
!#
∀ #!
!
∀
∗
##
#
∀
!
&
.
∋ ∋
)
∀
∀
∀
#
)
#
&
&
!(
&
#
#
!
∀
∗
##
∗
∗# #!
∗
#
#∋
∀#
#
∀(&
#/
#
#∀/#
# ∃
−
!
!
∀
#
∗∀
#
(
#
# ∀
&
#
#
!
!
# #
#
#
##
∀(∃
∀/
#∀/∀#
#
∗
##!(
∋
!
∗
∋ #
#
(
!
∃
!
!
∃
∀
& #
∀ ∀
#
#
#
#
∀
∀ ∗
#
# !
!
#
∗
#∀
! !
!
∀
(+ ∀
#
∀(
∀(
∀
&
&
∀
∃
∃
#
∗
!
!
!
.
∀##
#
#∗
!
#
∋
∋#
∀
)
∀
#
#
!
!
#
#!!
#
!
#
∗
#
∋
#
#
!
!
#,(+,+,(∋
#
#
!∀∀
!
!
!
!
#
! #
#
#!
#
&
!
∋
∋ !
&
#
−
#
#
#
!
∀
#
∀
∀
∀
∃
∀
(
&
!!
#
∋
∋
!!
!
&#
−
##
#
!
!
& & &
#
∃#
∀
#
#
#
!
!
!
!
& #
#
!
#
#
&
+,(
## ((+
#
#
!
/
∋ ∋
∋#∀
# #! #
#
#
#
!
!
! !
&
!
%
#
∗
#
#
.
!
#∋
∃
∀
! !
∀(
∀(
) )+
∗
∗
#
#
#
!
!
!
∋#
∀
!
### #
#
#
&
#
#
#
# ! %!
!
#
%!
!
.
#
#
∀
((
! ∃
((#
!
!
#!
# !
∗
#
.
.
#
∗∗
#
∗
!
#
#
#
#
!
#
.
.
#
#
#
#
∃
∗
&
&
##
#
∀
(
#
!
# (
(
∗
#
#
# ((
!
#
!
#
!
∀
−∀ &∀( #!
&&
&&
!
#
∀
+#+
!
!
!
#
#
!
!
!
# !)
#
#
#
(
∀
!
!
∗ ∀
/
#
# ∃
∃
#
#
!
#
!
∃
&
#
&
#
!
#
&
∀
!
!
#
∀ !
!
&
!&
# ∀
−
−
∀
∗
&
#∗
&
!
#
#∃∃
&
& &
& &
∀+
#
#
##
#
∀ ∀
#
#
!
!#! ! !
!
!
∀#
! !
#
!∀(
∀
!
#!
!
%
% #
!
!
&
!
∃
∃
∃!
#
#
#
#
#
#
+
+#
#
#
∀
! !
&!
&
∀( #
!
!
∀( ∀(∀
#(
&
#
(+,((
#
#
!##
#
#∀∀
#
∋
#
∗ ∀
# #
)
!
∗
!
/
#
#
#
#
!(
#
#
!
#
#
&
#
&
((
#
∋
∗
((
# #
#&
#∀
#
!
+ ∃
.
!
!
#∃
∀
##
#
#
(
#
#
∃ ∃
,(
#
!
! &
&
∀
∗
∀
∀
#
#
!
!
#
# !
#
∃
(+
###
!.
!
#
#
&
(
#
!
#
&
!
∀
#
∀(
#
!
∀/
#
∋
∋
#
!
!
#
!&
#
&&
#
∋
!#
#
##
((
#
!
/
#
# #
!
∀
!)
# #
!
&
%
∗
&
!
!
!
∀
(
(
∋
#∗
∀
#
#
!
+
∀!
#
%
!
#
∋
∗
∀
#
#
!
#!
∗#
∋#
#
∗!
∀−
−
!(
#
!
#
! )! )
∃
&
&
!)
!
∀
#
∃
#
# !
#
& !
!
∋#
#
&
∃
∀
∀
∃
#
#
& &
∀+#
+
.!
.#∀#
#
# !
!%
∃
∋
#
#
!
#
∗
! !
!
!
!
#
(
#
#
##
.
∃
# #
#
!
#
#
#
− ∀
!
#
∋#∋
#
#
###
!(
#
#
#
!
∃∃
!
!∃ !
!
!
!
∗
&
#∗
(+
##
##
#
#
#
!
!
#
#
!
!
&
&
#
# ##
+
∃
! ∃
∋
!
∀
∀ !+ #
#
##
!(
! #
∃
#
#
!
#
&
#
#
!
∀(
!
!
!
!
#
!
!∗
#
!
&
∃∃
#
# !
!
) ∀
∃
%
&
!
!
#
&
!&
!
#
#
!
!)#
!
#
#∗)
∀
∋
#
∗
#
#
∃
#
∗
%
%%
&
−+∀
− &
##
!
#
∀−
∃
#
∃
!
#
#
(+
.
∀
.
!
!
∀
∃∃
#
(
#
(
#
!
&
) !
##
!
∃
! ∋
#∋
#
!
%
#
!
(
! ) !
!
& &
#
∃ (+
,(+!
∀+#
∗
∀
∋
!
#
∗
!
! ∃
!∃
#
#
#
#
!#!
#
#∀
#
∀(
, ((#
∀−
#
!
∗
!.
&
&
!
!
&!
∀( ∀(
.
#
! !
∃!
!
#
#
#
!
##
#
#∋
&
&& &
#
# #
#
&
#
#
#
##!
#
∋
∋
#,&∋
#
#
#
∃
!
!
!
!#
∀
∀∀(
#∃
#
#
#
∃∃
##
!
!
∋
#
&
.
! ∗
#
! !
!
∀(
#
∀( ∀(
∀(
!
∀+
#
#
#
#
#
#
#
#
#
#
#
#
∋ ∀
(
!(
#
#
∋ #
∋#
∗
∋#
∗
#
∗
!
! ! !
∀
##
#
#
#
∗
∃ ! #
!
!
#
!
# #
!(
#
#
#
#
∀
(+∃
#
∀
&
!
#
#
!
!
#!
#
&
!
!
!
#
∀
∗
!
#
#
!
∋
#
&
∃
!
#
#
##
#
!
#
&
∗
∗
#∋
∀
!
,(,((+#,(
!
#
#
# &
#
.!(
#
∀
∀
#
#
!
%
!
&
∗ ∃
∋
!
&
!
##+ ∀
!
!
∗
!!
!#
∃
!
!
!(
#∃
#
#
!
#
#
#
#
# ∀
(
#
#
∋
!
!
! !
!
(
&!
#
& & ((#
!) #
∋
#
∗
∃
(+
#
!
/#
∋
&
) ) !(
∀
(
.
!
#!
&
#
/∀
∃
#
!(
##
(
∗
#∀
###
#
#∀(
∀
#
#
#
!∋ ∀ # &
∀∃
∗
!
(+,(
∀
#
# #
∀
,( ,( ∀−
−
−
∀(
∀+#
!
&
!
# ∃ ∀( ! !
#
#
!!
#
!∋
#
∀
# !
!!
,(
∋
#∗
!
,(+#
#
& !
#
(
#
#
# !#
∀
# #
+#
#
#
!
! !
#
(
+#∀+
#
&
#
!
%
(+
# #
&
#
#∋##
∗
!(
# #
# !!
!
#
!
&
!
! ) !
#
! #
&
&
#
&
&
!! #
∗
#
#
∃
!
#
#
∃
!
##
#
#
!
!
∋
∗
#
∗
!
#
#&&
!!
∋
∋ !) !
!
!
&
&
#
#
##
#
#
!
! #
#!
#
.
&
#
∗
&
#
#
#
!
!
#
!
! !
!
∃
#
#
&
!#
∀+
∃
##
!
∀
∀/
#
!
#
&
#
##
#
# !
& &
∃
%
#
!!
#
#
!
#
#
!
(+∃
∃
#
!
!
#
!!
∋
!
#
∋
#
#
#
#
!
#
#
!
#
!
)
#
##
&
∋
∋
∗
!
!
∀
.
∀(
#
!
!
!
∀
#
)
#
#
!
!
∗
#
∀
−
#
#
#
&!&!
#
#
!
!
#
∀!
#
!!
!
!
∀
&∗
#
#
#
!
∗
####
∀ #
∋
#
!
!
∀
∃ !
!!
∃
&
#
∋
∋
#&
#
#
!
!
##
& &
∀(+ (+
& !
#
∀
!(
#
∗
∗
∗
##
∋
#
#
&
∃
#
#
!
!
!
#
!
#
∃
∀
!(
#
#
#
!
∃
!
∀
!
)
!
#
#
#
#
#
!!
∀
∃∃
& !
,(#
#
#
∀(
∀
∀(
∀
!
∃
! !
∀
#&
!
∋
# ∀
∋
∋
∋
#
#
∀∀
#∀(
!
∃
#
!(
#
#
#
#
#
#
#
!
# ∀
#
!
#
∀/#
#
#
∃
#
#
!
#
∀
#
∃ +
∀
∀
∀+∀(
∀
∀
!
!
#
&!
&
!
∃∃
!&
!
#
#
#
&
&
#
! ∃ &
∃
# #
#
# ! !
##
#
#
∋
!
! &
#
∀
)
#
!
!( #
#
##
#
!
!
!
!
%
!
!
!
#
#
#
#
#
!
#
# #
!
+
!
&
∗
∗
!
!
∀
!
∀
!#
#
#
##
(
∃
#
!(
#
#((+ ((#
#
#
(+!
###
#
∀ ∀(
&
#
# !
∗
# #
#
#
#
#
#
#
#
#
# #
∀(
∀( !
&
#
(+
#
∋
# !
∀
%
#
!
!(
#
∀(
#
∀
#
#
&
#
#
#!
# !
!
#&
&
#
&
∃
∗
#
&
!!
!
!
#∋
+
∀∃
#
#
!
!!
!
#
∀#
∀ #
∃
##!
!!#
∃
!
∗
∗
∗
#
−
∀−
# ! #
#
!
!
#
∗
#∀/
&
!
∗ #
#
∀(
∀(!
∀
∀
∃ + !
) !∃
&
∀(
#
#,(
&
#∀/
#
#
∗
∗!
!
∗
∗
∗
&
,(
∃
∃
∋
#!
#
∋
#
!(
!
∋
!
!
!
∀
+,((
&
+,(
#
&
∀
∀
#
#
!
.
#
&!
#
#
#
#
#
#
!
&
+∃
∃ #
.
#
##
#
∗
∗
∗
#
!(∀(
&
& !
#
#
∃!
##
! &
#
#
#
(+ ,((+)
#
&
#
− ∀
!
#
∋
.
#
#
∗
∗
!
!
!∃
(+
∀
#
#
#
##
#
∃
(
#
!!
#
# #
∃
!
∗
∀
∃
#
(
! !
#
)
#
+ ∀
!
#
#
&
!%
&
∀
#
#
&
#
!
∃
##
)
#
∀
!
∀−
/
∀
(+
#
#
##
##
#
(+ ,(+
#
#
#
#
#
&
∀#
!
∀∀
∀(
#
#
# &!
#
−
− ∀
%
!
!
!
!
!
!
%
#
& &
+∃ #
!
∀/
# !(!
∋
#∃
#
#
#
#
#
#
&
#
!
∋
#∋
#
.
. .#
%
!
∀∗
∀
#
!
#∋
∋
&
#
#
#
&
∋
&
!
&
!
/
#
!
&
!
+#
#
! ! #
+
!
&
&!
#
#
!
!
,!
&
#
#
(
#
#
!
#
!
!
!!
∀(
!
!! ##
&
! ∃
+
!
&!
#
#!#!
#
!
#
∗
!
!
!
∀
!
&
+
#
##
#
!
&
∀ !(+
#
∀(
##
,(#
##
∀
!
##
& −
∀−
∀
−
∀−
#
#∃
∀/##
#
##
#
&
!
#
##
∋
#∋
#
!
!
%
!
# ((#
#
#
!
∀
∀
#
)
!
!
∀+ (+
∀#
−
#
#
#
∀−
&
(
#
#
!
!
#
#
! !
!
∋
#
&
∀/#
∗
#
#
//
#
#
#
∀
∀∃(+
#∀∀
∀∀
# !!
##
∋
∋
#∗
!
∗
∗∗#
(+
#
&
/
#∀
#
#
###
#
!
#
!
!
∃
%&
# ∀/
!
#
∗
#
#
!
#
#
#
#
∀
#
#
#
#
%
! !
∃+
∃
∃ #
# #
∗
!
(+∃ ∀(
∀
(
∀
#
&
∀
#
#
#
&
#
∀
#
∃
∀∀#
∀
#
&
&
!
!
!∀(
∀(∀+
#
+
+
#
#∃
∃
!
∃
∀
%#
#
#
∀&
&
#
!
+#
∀(
∀(#
!
∀(
∃
& &
#
∗
!
#
#
#
∀
)
!
#
∀ ∃
&
∀#
((
&
!
)
#
#
#+
! &
∗
#
#
#
#
#
! #
!
#
∋
&&
&#
#
#
∀
∀
∀(
#
#
#
∀#
#
!
!
#
∀( &
∀
#
∀
#
!
!
!
/
)
!
#
((
#
!
!
!)
#!(∀
#
∋
#∋
#
!(
! +# +
+
∀(
+∃+
+
∀ (+
∗
!
%
##((
(
,+,((+
! !
.
.
#
#
#
##∀
!
#
∃
# ∃ !
#
#
∗
,(#
∃
#
)
%
&
!
! #
∃
∃((#
((
#
#
∀(∀(
%
%
#
#
#
!
∋
#∋#
!
!#
∀
#
∗
∀//
!
(+
!
#
#
−
∀−
#
!
#
∋
#
#
##
#
#
#
!
#
#
,(
!
!
∋
.
#
!
((,
) !)
#
#
!
!
#
#
#
# #
∗
!
!
#
!∃
!
#
#
#
(
!
#
∀#
#
# #
&
∀
#
∀
#
!(
!
##
&
!
!
∀+
∀
∃
!
#
#
!
!
+#
!
#
)∀
#
!
!
∀
#
∋!
∗∗
!
! !
#
#
# #
#
∗
∀
#
#
#
#
#
#
∋#!
#
&
!
&
!
&
!
!
#
∃
∃
∀
∀
(+
∀
∀!
!
.
! &
,(#
#
!∃
&
&
!
#
#
%
#
∗
#
!!!
#
#
#
∋
.
..
,(+,(
((# #∀
∀
#∀
.
#
!
#
##
#
∀
∀ !
∀