Progetto di - Comune di Sesto Calende

Pro vin cia d i:
Pro g e t t o d i:
Ta vo la :
Co m m it t e n t e :
S ca la :
File : p ii 2 0 1 1
Da t a :
Ag g io rn a m e n t o :
19/12/2013
!!
∀
#∃%#
&
∋
∀
(
& & ) ∗+, − #∃∃.. /
2 ∗,323,∗+343 5 6 7 %38##3+∃83
2
∃34+43∃∃.4+
2
∀
∋
) ∗ − #%∃+# ∀/
/9 0
2 ∃∗∗%24∗,.∃8 − 6 7 %38##∃3,#%
2
∃#343.,∃%#%
:::2/ ∀
2
/ ∀/2 5
2
0
1
5
1
;
2
1.1
1.2
1.3
!
(
.
1
La Direttiva 2001/42/CE ................................................................................................................... 4
Il recepimento della Direttiva: D.Lvo n. 152/2006 (e successive modifiche e integrazioni) ............ 6
La Legge Regionale 12/05 e successive modifiche e integrazioni .................................................... 7
∀∀ ##
∃ % & %%
∋
2.1 Fasi del percorso metodologico procedurale della Verifica di assoggettabilità .............................. 11
2.2 Mappatura del pubblico, dei soggetti amministrativi, degli strumenti di informazione coinvolti ... 12
2.3 Definizione delle modalità di partecipazione e di informazione del pubblico ................................ 13
) ∀ ∗
%%+
(
3.1 Localizzazione dell’intervento ........................................................................................................ 13
3.2 Il PGT del Comune di Sesto Calende .............................................................................................. 13
3.3 Il Master Plan .................................................................................................................................. 17
3.4 Il PII – Verbella ............................................................................................................................... 17
,
∗
∀ −
∀
− %
!!
4.1 Il PTR della Regione Lombardia ..................................................................................................... 22
4.2 Il PTPR della Regione Lombardia................................................................................................... 24
4.3 Il PTCP della Provincia di Varese ................................................................................................... 27
4.4 PTC del Parco Lombardo della Valle del Ticino............................................................................. 35
4.5 Il Piano stralcio per l’Assetto Idrogeologico (PAI) ......................................................................... 40
4.1 Interferenza con i Siti Natura 2000.................................................................................................. 42
4.2 Lo studio di incidenza...................................................................................................................... 45
Relazione con l’intervento ........................................................................................................................ 45
4.3 Compatibilità programmatica dell’intervento.................................................................................. 46
∗
/ ∀∀ ∃ %
/
∃
% #
%%+
0
5.1 Acque............................................................................................................................................... 47
Relazione con l’intervento ........................................................................................................................ 58
5.2 Suolo e sottosuolo............................................................................................................................ 58
Relazione con l’intervento ........................................................................................................................ 64
5.3 Aria .................................................................................................................................................. 65
Relazione con l’intervento ........................................................................................................................ 69
5.4 Rifiuti............................................................................................................................................... 70
Relazione con l’intervento ........................................................................................................................ 73
5.5 Energia............................................................................................................................................. 75
Relazione con l’intervento ........................................................................................................................ 77
5.6 Inquinamento elettromagnetico ....................................................................................................... 77
Relazione con l’intervento ........................................................................................................................ 78
5.7 Inquinamento luminoso ................................................................................................................... 79
Relazione con l’intervento ........................................................................................................................ 79
5.8 Inquinamento acustico ..................................................................................................................... 80
Relazione con l’intervento ........................................................................................................................ 83
5.9 Ecosistemi........................................................................................................................................ 83
Relazione con l’intervento ........................................................................................................................ 87
5.10
Paesaggio ..................................................................................................................................... 87
5.11
Rete ecologica.............................................................................................................................. 93
Relazione con l’intervento ........................................................................................................................ 99
% , ∀−% ∀ ∀
∃
%
22
−
≅ #
∃
!
( ∗
¬ 2
##
#
!
(
!
∃ ≅
#
∃
+
! #
∃∃
!
∃
#
∗
#
(
∋ ∋∋
∃ (
#
!
¬ : Α
∃
+
¬ 3 Α
#
#
0 <
#
#
#
∃∃
#
#
¬ ≅ &
#
#
!
∃
#
! ∃∃
?21:≅1 ;;
#
∃ 2 (
#
(
#
#
# +
∃
∃
∃
#
431≅≅<1 ;;,
+
#
#
∃ 2
∃∃
#
#
!
∃
+
#
∃∃
#
6
!
∃ 2
∃
(
!
!
∃
!
+
#
+
!
#
#
+
#
#
#
#
∋∋
∃
+ !
¬ 0 7 +
+
(
!
%
!
!
#
#
##
# ∃
+
#
#
0 #
!
∃∃
+
#
>
#
(
#
#
∃∃
#
(
∃ (
%#
∃
# ! !
#
∗
!
∃
#
∃ 3
≅∗ =Α
∃ (
#
#
0
#
+ ##
%
∗
+
∃∃
∃∃
#
∃ ≅
( #
6
∃
∃∃
#
+ ∃
)
!
:#
#
#
% (
#
− )
# !!
∀ #
∃ ≅
#
∃
#
#
#
(
∃
#
##
∋ #
−
−
∃∃
##
##
#
#
)Α ∋∋
#
!
#
#
∀
#
;
#
,
∗
#
#
#
!
(
##
#
,
∃
−
∋ Β
##
∃
#
∃
# #
!
&
.
2
≅
:
3
0
<
4
?
;;
∃
∃
)
#
9
∋ #
∀
!
#
!
#
∃
%
%
%
&
./ &
∃
!
#
(
%
! ,
,
∃
∃
( !
(
( ,
(
!
#
,
#
,
,
,
,
# !
!
##
! #
! %
(
!
##
∃
,
#
#
# !!
(
#
##
!
∋ !
− )
!
!
& #
)−
&
= &2
2//.1:21 ; 6
#
#
:12//4 =∀
!
#
!
#
:
)−
#
6
∃
9
1
.321/0 =7
≅ #
2//0
.32
>
# #
!
∋ #
( ∗ =−
%
#
%
≅
(
( +
#
#
+
!
# ∃
( ∗=
+ !
(
∃
%
+
#
#
! >
∋#
&
∃
#Χ
∋ #
3
#
,
¬
!
∗ #
(
#
!
6 ∋>
∋
#
>,
− &
−
2 %+#<#∃∃4 0 /∀∋∋ //
=&
∋
#
#
!
#
#
#
#
!
+
!
%
#
!
+
5
∀
+
+
∃
%
#
!
##
#
∃
!
##
∋
!
∃
∋&& >
%
#
!
#
∃
:
!
#
#
#
#
##
!
(
!
(
!
!
#
>
( #
#
#
+
!
∋
∃
#
∃
#Χ
#
#
∃
(
∗
#
!
#
∋∋
∃
! %
+
#
+ #
#
9 ##
##
!
#
#
+ ∃
,
#
¬
!
∗ +
1
#
!
#
#
∃
∃
#
+
(
(
∃
!
#
+
#
#
∃
¬ #
(8
,
#
∗
#
¬ 9 ##
#
∃
#
∃
#
∃
%
#
#
(8
∃ ( ,
%
#
!
∗
#
#
∃
.≅,
%
#
∗ # !!
#
+
#
! % + !
#
#
+
#
∋
#
,
% #
∗
# !!
(
!
#
#
#
#
( #
#
#
# !!
#
# !!
(
#
#
#
,
∗ +
∃
∃
#
#
(
# !!
# !!
#
#
#
#
∃
!
##
∋ #
0( #
=D
# > # ∃
2
#
≅
∃∃
#
#
∗
(
!
#
%
+
!
∃
#
#
+
¬
¬
¬
Α
#
¬
∃
#
#
##
∗
#
#
∃
#
(
∃
∃
#
∃
+ ##
+
#
∋∋ ∋∋∋
+
#
∋
,
! #
#
#
#
#
!
#
∃
∃
#
#
( !
∃
&
≅ &
¬
9 # !!
#
∃ (
#
≅!
!
#
+
¬
4
%
#
−+
%
∃
∃∃
#
∃
!
.
#
∃
∃
!
!
9 ##
!
#
(
2
#
#
! +
2
#
( #
#
∋∋ #
%
#
!
+ !
∃
6
.2
#
∋ 5
∃
+
#
#
∃
3
+
#
+
#
+
+
≅3<
.??<
2 (
#
#
%
#
+
.2
#
∃
∃
+
#
!
∃
#
∃
#
(
6
#
..
%
+
∗
%,
,
,
9 ##
!
,
,
∃ + ∃
−
#
−
¬
,
Ε (
(
1#
.2
∃
#
∃
=
∃
. 7
+
#
%
∃
+
##
#
+
#
!
+
∋
# #
%>∗
#
#
+
0
≅ +
##
∃
∃
#
%#
#
#
∃
#
∃
#
∃
#
2 −+
#
¬
!
##
%
#
!
+
% #
!
#
#
∋ #
6
+
%
#
#
+
%
#
≅
¬
+
+
%
#
#
+
¬
!
: −+
%
!
%
∃
#
#
+
#
+
#
∋
∃
¬
−
#
3 ∋
.≅ #
1#
!
#
#
#
!
6 ∋>
#
9
)
>
# !!
##
%#
#
∃
.≅ .4
! %
9 ##
1
!
#
#
∃
−
∃
#
#
%#<∃+ /∀∋∋ //
− 9
% #
#
% #
.
#
+
#
#
#
−
# #
−
.321/0 (
9
!
#
)
− 9 .21/3 =−
−
.2 =#
>( ∃
# ∃
∃
∃
.21/3>, − 9 31/? =
# +
−
9
#
#
2/./>
− 9 :12/.2 =7
!
∃
. ( ∗ =∋
#
−
∃
∃∃
2
∃
#
!
!
∗ − 9 .21/0 =
∃ (
#
# !! ( >, − 9 <12/./ =∋
∃
#
#
#
>
∃
#
##
!
≅
#
! %
∃
∋ #
#
#
&
:
#
#
##
∋
#
+
+
#
∃∃
2
∃∃
( =
9
#
#
#
#
(
.
#
−
>
#
∃
#
#
#
)
#
!
#
&
4
6 ∃∃
#
##
>
∃
#
∃
(
# #
&5 &
∃
#
∃
−
&9Α ∃
&Α5 ##
5
∃
5
9
≅.
2/.. #
&
(
&9Α
# ∃
23
!
#
&∋∋
− − 9 .21/3
#
(8
Φ
∗
#
#
4
.21/3 ,
#
#
#
# !!
#
%
∃
(
#
.21/3 ,
.21/3 ,
#
&
#
(
#
#
!
∃
∗
#
2≅1?< ∃
#
# #
!
( #
#
#
#
∃
#
#
∃
#
. 4
#
∃
!
%
#
#
#
#
Α
&Α5
2≅1.??<
23
23
.
≅: ) −
20<12/// ,
?2
.!
.21/3
!
(
#
(
Α
&Α5
#
#
9
#
≅.
2/./
;Φ# 2/.3
#
#
% #
Ε
&
#
(
¬
¬ &
¬
¬ &
¬
9
&9Α
∃ (
∃∃
(
,
∃
∃
#
##
∃
#
!
+ !
2//.1:21 ;;
∃∃
#
2//.
#
(8
# #
##
!
#
∃
#
#
∃
#
!
#
2<
#
! %
( = ∃
+
#
!
%
∃
∗ =∋ #
!
>
.
!
6
−9
#
∃∃
> ;
5
#
− 9 .21/3
! %
!! (
#
−
9 ##
!
##
!
0
#
−
∃∃
!
) .
¬
2
2/./
#
#
#
≅2
!
(
∗
# #
# Η
!
#
#
#
#
#
9 ##
( 6 #
∋
(
1#
#
∗
# Η
∃
1#
∋
# !!
,
Γ∀9−
%#
##
%
#
#
#
¬
#
0?12//?
#
∃∃
#
# !!
# #
#
∋ #
#
∃∃
!
!
(8
9
.≅
!
2//<
)
≅3. (
##
=
:
.212//3 #
Α ∋
¬
#
Α
#
!
#
#
!
#
¬ #
#
∃
¬ #
#
!
(
#
¬
∃∃
∃
!
#
%
∃
#
+
#
#
#
; #
,
#
∃
#
;
∃
#
#
#
#
#
(
%
!
−
#
#
6
∃
#
∋
∋
∋
∋
,
,
∃
¬
#
∃
!
#
#
∋ #
(
#
(
+
( ∗
%
#
!
##
%
−9
5
% +
!
#
#
Ι
&
∋ #
#
# ∃
!
Ι&
#
#
∃
,
!
∋ #
,
∃
#
#
#
%
##
#
∃
!
#
(
− Α
9
( #
#
#
#
.
:
− 9 .212//3
##
)Α9 ϑ410:2/
2< .2 2//<
=)
#
#
!
&
#
> Κ
6
∃
) !
41<../
.4 #
2//4∗ =
!
#
#
#
#
+
:
..
2//3
.2 Λ
#
Λ
Λ
#
!
#
#
Λ ##
!
.≅
2//<
41/≅3. #
2>
)
Α
9
414?3/
.. ∃ !!
2//? ;
)
Α
9
41./?<.
≅/
! 2//?
Λ)
#
!
#
#
:
.212//3,
≅3.12//< 9 #
#
.0
2//4
:
∃
Λ
∃
)
Α
9
<0.
./
! 2/./ =)
#
!
#
#
:
.212//3,
≅3.12//< 9 #
#
2?
2/./
.24
∃
2<
! 2//4
410:2/ ≅/
! 2//? 41./?<.> # !!
2ϑ
Γ ∀ 9 − :<
23
! 2/./>
7
.:1.212/./
)
Α
!
9
− !
##
Λ + ##
!
#
#
Λ
)
<.012/./ ∃
%
&∋∋
# #
. ! =Β
#
¬
!
#
9;Α∋D7 −;>
)
! %
#
&9DΑ9 ΒΒ
(
#
#
>
∋75;Α9 5D )∋ ∋75;9 ;75D ;7Ι 9∋−; 7Ι
#
#
#
∃
∃
=
∃
!
#
!
6∋
//
∃
#
##
∗
∃
431≅≅<1 ;;
.321/0
,
!
#
∃∃
#
&
#
#
(
#
#
#
∃∃
∃
∋ #
#
#
?
#
∃ (
∃
!
!
∃∃
∃
#
#
#
Ε
#
?21:≅1 ;; ∋
1
#
#
+
+
! %
∋
∃
∋∋ ∋∋∋
∋∋
)−
Ι& ,
∃ (
#
6
∃ (
!
)
! %
∋
9
(
#
( /
−
! ∋ /
∃
∋ ! ∋
∀
6∋
#
//
?
∃
! %
(
#
!
¬
#
.
∗
#
!
¬
(
#
∋ #
−
Α
#
∋
−
∃
! %
#
!
!
%
∃
%
#
−
(
#
∃
∃
∃
∃
∃
∃
∃
#
#
,
,
# !!
# !!
%
∃
#
!
∃
%
%
−
−
−
−
!
∋
∃
%#
∗
6
# !!
∃
,
,
# !!
∃∃
# !!
∃
¬
; !
∃
#
∃
#
− ∀
##
#
#
∃
#
−
#
% #
#
∃
∃
∃
#
##
∃∃
∃
∋∋
∃
# ∃
&
#
#
!
)
∗
∃
#
&
#
!
%
&
∋
∃
∃
∃
(
&
#
#
) ∃
&
(
∋
∃
(
# (
#
∋
∋
)
&
!
(
− ∀
∃
%
∃
∃
&
(
(
(
∋
!
(
(
∋
%
∃
&
(
∋
(
∃
!
&
##
Α
∃
∋
##
5
Β
∃
∋ ∃
&
!
5
#
## ∃
#
≅
−
% ∃∃
!
##
9
¬
#
6
7
#
#
2/// ∋
6
Ι&
##
∃
#
∃
∃
∃
∋
+
#
#
#
#
!
∃
!
∃
#
#
#
#
# ∃
(
&
## ∃
#
#
#
#
#
5∀
#
∃
∃∃
#
#
# ∃
%#
#
!
#
#
#
∃
& 0? (
#
!
∀
− #
#
#
∋
(
#
∃
!
#
∃ !!
#
#
∃
%
#
# ∃
∃
!
/
#
∋
#! %
∃
!
//
∋
∋
∋
! %
%
#
∋
#
∃
#
#
#
(
!
∋
#
∗
#
∃
∃
1
∃
1
∃
#
∋
∃
#
! %
#
#
#
& ∋
∋∀/ ∋
∃
≅∀
7
#
?
#
∀
7
#
!
%
! %
#
/∀
≅∀
7
∃
,
∋
#
∃
#
? / /
Ν#
#
! % # !!
(
!
−
%
#
#
5
#
#
#
# !!
/∀
7
&
#
#
#
&
#
Ο
!
#
Β
∋
! %
Ν#
Ν#
#
#
#
!
#
∃
(
#
5
∋
#
∋
∋
#
∃
#
!
∀
∃
#/∀#
.: 4//
2
#
!
(
∃
0
% ∀∀
∃% &# % #
9∃
∃ ∗
∃ ! %
% ∀∀ ! 3
∃% &
9∃
∗ #
Α
−
∃
!
5#
#
%
1! %
1
#
! %
#
231
4
∀
&5 &
Α
%
≅.
∗
7D9Β; Α;D−DΑ∋ Π; )∋
#
(
##
%
#
(
∃
(
∃
!
## ∃
55∀ Ι∋D7;
#
∗Γ. )2
∋ &
−!2%
∃∃
∃
%
# !
∃
∃
##
(
#
(
#
1
# ∃
!
∃
%
(
∃
#
#Χ
#
23−%
!
% ∀∀ ( 3
9∃
Α
−+
## ∃
∃% &
∀∀
%
∗ #
∃
∗
7D9Β; Α;D−DΑ∋ Π; )∋
≅2
!
6
#
##
+
!
#
#
#
#
(8
%
∃
!
#
3
%
∗Γ. ).
∃
∃
#
! %
#
+
5#
−! %
55∀ Ι∋D7;
6
∃
∃
!
( #
#
!
#
∀!5%
43−
!
!
(
#
∃
#
#
#
(
## ∃
∃
#
(
∃
% ∀∀
9∃
Α
5
∃
3
∃% &
#
∗ #
6 ∃
#
∗
%
(
43∀
≅≅
!
7D9Β; Α;D−DΑ∋ Π; )∋
55∀ Ι∋D7;
∃
#
!
#
1
5#
∀!6%
#
#
%
!
∗
#
!
<
#
#
∃
∃
#
#
∃
#
73∀
∀∀ ∀
∃
!
3/
% ∀ &
∗
3
& ∋
#
∃
∃
;
Α
≅
?
#
9
∃
0!
! %
∗
7
;
#
∃
%
#
(
#
Α
#
− 2: ∃ !!
!
#
+
%
(
∃
9∃
&
,
& ∋∗
!
∋
/ %∗
−%
9∃
9∃
Α
∃
%
0
∗
∗
%
.??2
223
! %
#
%
#
Α
7D9Β; Α;D−DΑ∋ Π; )∋
0
55∀ Ι∋D7;
∗
%
∃
∃
(
#
#
#
#
Γ
#
#
:
(
,
#
0
7
Α
!
∃
(
!
8
8
∃
#
#
##
#
8
,
#
∃
!
∃
∃
7
∗
#
Α
,
! ∃
2//
(
!
#
(
<
#
0
∗
#
#
%
#
=
&
+
∋
&
!
!
6
# !!
+
%# #
6
#
&−
&∋∋ 6
+
&− ( #
#
∃
!
%
#
−
D
&−
(
1
5
∃∃
%
#
#
;
#
!
(
# #
..!
&∋∋
#
# !!
#
#
+
%
#
#
#
(
Ρ4/
#
#
∋ ∃
6#
#
+∋
!
#
&
=
∗
∃
#
(
#
#
(
# #
7
9; ∋);7Ι
< 3/0
5;9Ι∋ 9∋D
3//
75∋;9∋ 5∋
: ?//
#
; ∋ 5;75;
75∋;9∋ 5∋
&9D)∀55∋
7∀D
D 59∀Ι∋D7;
< 0/:
−Γ;9ΑΠ∋;9D
##2∃%∃
&
#
#
∃ (
!
&
&
. 3//
2
2
&
&
2
≅0 1.//
−&
3/Μ −&
23/
</Μ −&
2 /34
:/
. ?0/
2
./Μ −&
0/
:/
: 302
≅ /:2
2
</Μ −&
./Μ −&
.?0
Α∋ + D−5D
2
≅ .?≅
2
≅/:
Α∋ + D−5D
2
. <2/
2
2
2
2
. 3//1≅3Σ2Τ
40 ∀5;75∋
2
2/
Σ
∀5;75;
& & .2.#∗
#
(
#
#
#
#
(
∃
#
# !!
#
#
!
2
2
#
+
2
2 </2
2 ?:/
#
#
;
&
0/
#
%
! %
0/Μ
!
6
%
∗
,
2
2
%
&
./
D&
&9D)∀55∋
#
# (
%
#
&
7∀D
D 59∀Ι∋D7;
7∀D
D 59∀Ι∋D7;
7∀D
D 59∀Ι∋D7;
+ #
∃∃
(
&
&
&
∃
#
!
∋
!
#
+
.< 2
9
&Α5
∃
+
!
2
2
¬ 9; ∋);7Ι ; ;9 ∋Ι∋ −− 9; ∋);7Ι ∗ ≅0 1.//
−&
¬ 559;ΙΙ 5∀9; &∀ΓΓ−∋ Π; D )∋ ∋75;9; ; &∀ΓΓ−∋ D Α;7;9 −;
#
/ 3 21 2
−&,
+
#
= ;9 ∋Ι∋ −− 9; ∋);7Ι >,
¬ 55∋ ∋5 + Β∋ 5; 5;9Ι∋ 9∋; ; )∋ &9D)∀Ι∋D7;
%
:/Μ
% #
∗
¬ 5;9Ι∋ 9∋D </Μ
−& &9D)∀55∋ ./Μ
−&,
¬ 5∀9∋ 5∋ D 9∋ ;55∋
−Γ;9ΑΠ∋;9 ; 7D7 −Γ;9ΑΠ∋;9 ∗
∃
&
∃
6 ∃
#
#
2
&9Α ( #
2/ 1
.:
75
&9Α
∋
#
! ∗
&
# #
%
( #
+
#
#
∃
(
#
>
=
#
#
!
#
#
#
%
#
(
∃
D
+
%
!
∗
##
(
,
−
Β
%
!
>
#
#
%
!
%
/
! 7 −,. #/<
(
∃∃
#
∃
6
/,= /,<< />< . !
=
( #
#
##
#
∃
∃
#
(8
∋ ∃
#
%
6
+
∃
%
(
#
#
#
) #
#
%
##
#
#
#
!
∋
#
!
# (
∃
Ε
∃
# ∃
∃∃
#
#
#
#
Ο
∃
(
∃
!
#
%
#
∃∃
#
#
##
%
Α !
¬ −
¬ 9
¬ 5
¬
#
¬
¬ 9
∃
!
∃
!
(
∃
#
#
( #
∃
#
#
Β
#
(
#
!
%
#
∗
∃
!
∃
##
!
#
%,
+
##
!
,
!
# #
#
∋
,
+
∃
∃∃
##
%
#
#
,
#
#
#
#
(
¬ 9
¬
# !!
∃
!
∃
%
#
##
!
#
,
,
#
!
#
#
,
¬
¬ −
¬
¬
#
#
#
!
∃
( !
,
Β
! ,
¬
%
#
##
#
%
∃∃
(
%
,
,
#
,
9
9
,
¬ ;
¬ Β
¬ 9
#
! ,
! %
!
%
∃
∋ &
#
5
9
&59
#
5
&
∃
,
!
##
.?
.212//3 (
&
9
&
#
(
!
!
#
∃ # #
∋ &
&
&5&9
2//.
&59
#
.?
:21/:
)−
&5&9
9
Ε
#
#
#
2/
! 2///
6#
#
# #
> ; # #
;
!
∃
%
#
&59
% −
.
#
7
#
5
;
#
=W
#
∃
Η
∃
¬
− #
Ε
! %
∃
,
∃
(
%∗
%
#
#
−
#
∃
% #
&
1
#
!
∃
−
(
#
∃
−
¬
.21/3
!
&59 (
!
∃
9
¬
∃∃
∋ &59
(
!
∃
,
=#
#
∋ &
>
#
∃
5
&
# ∃
#
9
##
2//.
#
#
#
(
#
%
.:≅
#
=
;
#
.:12//0
#
∃
(
∋
(
#
!
%
%
% ∃
#
(
∃
#
#
# #
#
∃
&5&9
.:≅
#
∃
#
#
∃
> #
Γ
.
#
#
#
∃
#
∃
!
=
=
∃∃
Ε #
;+
#
#
!
! >
#
! %> =
=
! #Χ
>
!
( >
#
#
∃
=
>
!
%#
!
∃∃
#Χ
% #
(
#
∃
=
#
!
#
%
#
=#
#
!
(
!
∃
(
>
#
#
#
&
∃
! %
#
#
∃ (
#
!
#
#
#
#
∃
∃
#
(
#
# ∃
#
#
#
%
#
#
¬
¬
¬
¬
¬
¬
¬
¬
!
∃
−
−
∃
− ∃
∋
∋
∀7; D,
−
Γ
9
∃
#
∋
#
∀
∋
=5
(
!
,
,
#
∃
∃
#
#
∃
∗
,
,
,
!
#
#
,
#
!
% #
#
##
=
!
∃
#
∋
∃
# #
#
# ! !
#Χ
#
!
#
#
∃
> &
(
∗
(
#
∋
#
6
#
#
∃ ( W
# ∃
! (
#
#
#
!
∋
#
∃
%
#
#
Β ∃
#
#
#
∃
!
!
∋
!
(
∃
%
!
!
#
!
!
!
(
# Χ ## #
∀ % #
=Κ
#
∃
#
∋ (
#
=
#
#
!
−
(
∃
#
#
W
− #
# ∃ %
∋
Β
(
#
∃
(
#Χ
#
Κ
(
!
#
(
# #
#
#
%
(
#
#
Ε
# #
∃
#
#
#
∋
=#
>
#
# Η
(
∃
∃
∃∃
6#
%
#
#
(
W
Α
6
#Χ
(
#
>∗
5
#
∃
!
#
!
#
∃
∃
(
#
∃
#
##
W
>
(
#
− ∃
#
!
(
∃
!
#
#
∃
;
(
(
!
W Κ
%
=&
#Χ #
∋
(
(
W
#
>
!
∃
# #
∃
(
#
!
#
#
6
!
#
#
W
#
#
#
!
∃
!
#
(
# #
−
W (
##
Ε
#
>
#
(
#
%
&
(
!
∗
,
∋ &
∋
∃
/
#
##<
∀
%5#
!
&
#
∗
∋
∋
=&
/
.. /: 2//<
5
&
(
##
∗
&
##
∃
− ) !
6
#
24 /: 2//<,
∃
9
− !
.212//3 &5 & (
∋ &5 & 6
¬ 9
,
¬ 7
,
¬
∃ ,
¬ Β ! %,
¬
,
¬ &
,
¬ 9 ( ,
¬ ## ∃
¬ )
7
#
∃
9
#
∃
#
∃
6 !
#
#
&
!!
!
#
#
&
&5 &
#
!
#
##
.4 /: 2//<
6
# !!
/2 /3 2//<∗
#
.4
#
#
#
∋ &
#
%
#
6
Γ
∀∃∃
.<
./ − 9
∃∃
!
∗
,
#
%
&5 & )
#
#
#
(
∃
#
∃
#
,
? − 9 .212//3
>
#
∋
2<
.<
∃
∃
!
##
!
( (
! %
!
!
!
#
(
∃
#
##
(
#
∃∃
∃
∋
&
(
#
¬ ∋
∗
!
!
#
#
∗
&5 &
#
(
#
#
!!
,
¬ ∋ ∃
¬ ) ∃
,
!
#
∗
∃
( #
(
# !
#
,
#
(
!
( #
∃
!
#
(
#
!
7
!
##
# !
#
∃
6 !
?
9
#
#
6
&
(
#
7
%
#
#
,
( #
#
%
)
∃
#
%
(
&5 &
)
# ∃
% !
&
. .?? Ξ
#
04≅ 2 !1 Ξ
2
(
&
4.4 ?:/ !
2
!
∋
(
%
2//.
# #
./
# #
#
#
∃∃
!
.3. 4
#
.≅. :
&
#
#
##
(
!
∃
#
6
∋
≅4 3
/.
∋ &5 &
)
¬ Γ
#
¬ ∋ #
¬
! ∋ ∀
5
0. :
(
∃
#
(
5
.//
∃
!
#
!
=
>
#
#
( (
%
(
#
∃∃
∃
∃
#
!
#
!
∃
!
%
(
#
¬
¬
¬
)
¬
¬
¬
¬
9
¬
¬
¬
!
#
!
%
!
#
!
#
%
&
∋
(
!
∃
#
#
#
# ∃
!
Β
Γ
(
)
#
∃
!
#
!!
&
∃
#
( # ∃
!
∃
#
¬
¬ 9 #
¬ &
# ∃
#
!
Β #
¬
# ∃
¬ 5 #
¬
#
¬
∀
∃
9∃
%
6
!
∃
∗
(
#
##
,
∃
!
(
!
#
!
?
∋ &5 &
! %
(
∃
(
6
¬
¬ ∋
( #
∗
:
#
#
#
∃∃
∃
= #
∃
(
%
∃∃
∃∃
> (
−
6
6
∃∃
#
!
#
%
! %
#
#
∃
¬ −
6
!
#
∃∃
∃∃
¬ −
7
(
( #
(
=
>
!
(
∃
&:4
≅ϑ
∃
:
02?1 ≅2
# #
,
− =
9
#
−
#
#
#
&Χ
# !!
?∀
>
!
& :4
≅ϑ
!
∃
∃
!
#
1
#
!
−
9 ∋ #
∃
(
Φ
,
!
?∀
!
6
?∀
∋ &5 &
#
# ∃
∋
/
/
∀
&
(
#
6
∃
!
∃
&∋∋
( #
−
#
#
#
∋ #
∋
!
&
(
#
Α
∃
.?4.
#
∋
5
=
2//.
= !
# ∃
> ∃
#
> (
!
!
#
# >
∃
∃
=
!
#
#
#
6
#
#
!
#
#
#
Α
Β #
(
#
#Χ
!
∃
!
#
(
Γ
∃
#
Β
##
#
!
∃
!
(
#
Α
#
Α
#
−
!
! %
∃
!
,
∃
# ∃
¬ −
#
Α
5
Α
∗
##
#
%
(
¬ −
(
(
!
∃∃
#
!
¬ −
≅≅
#
#
∋
Β
!
(
&∋∋ =Β
! , &∋∋
!
2//. 2//≅
5
Α
¬
!
!
>
!
#
!
6
# #
#
Α
#
∃
#
∗
∃
# !!
¬
¬ Α
∋
# ∃
##
∃
)
−
−
#
∋#
#
∃
#
#
∀
##
&
#
%
!
∃
#
#
#
#
#
# ∃
#
#
2/Μ
( # #
∃∃
#
!
,
∃
#
# ∃
!
∃
#
%
≅ /// !
, #
∃
,
##
%
#
#
∃
# Ξ
!
∃
,
#
∃
%
∃
!
&
∃
(
%
!
∃
#
7
%
!
∃
!
∃
#
#
∃
∃ (
(
#
%
#
(
!
∃
(
#
#
&∋∋
!
,
∋ #
)
&
( #∗11
## ∃
!
?∀
!
∃ #
−
#/ ∀#
## ∃
1
##
!
#
∃
∃
&∋∋
#
/∋
∋! (
#
#
∋&
&
!
!
∋
#
#
#
# ∃
#
(
.≅Μ
#
∃
!
#
:≅Μ
7
!
#
#
5
#
#
&
#
#
∃
(
# % &
#
#
D!
∃
! %
&5 & 6
##
∃
##
Α
Ε
∃
#
##
∃
#
!
#
%
##
&Α5
#
%
∃
#
∃∃
!
!
#
∃
∃
#
#
&∋
/
∋ &5 & ∃
#
# ∗
!
#
!
>
−
%
##
!
∃
. − 9 2<12//:
∗
∃
!
!
!
#
¬
∋
?
%
!
#Χ
!
7
∃
∋ &
&5 &
%
#
∃
∃
∋
#
#
∋ &5 &
3. 0≅:
# ∃
!
#
&
#
# #
¬
¬
#
./Μ
∃
∗
=
%
5
#
&
#
%>
%
&∋∋
#
& 0?
=
#
#
(
,
?∀
#/∀#
!
∋ &∋∋
−
Β
∃
=
.:2
.≅0 .
##
∋
∋
∋ &5 & ∃
∋ #
9
∃
!
>
)
:21/:
) Β /≅ ./ .?0. ∃
≅//
&
5
Φ − .:?<1.?≅?
#
&5
.:2
#
;
&
6
∃
%
∃
#
#
∋
#
(
#
∃
&
#
#
##
−
(
Β #
5
#
Β
#
5
∃
%∃
#
Β
&
(
−
#
#
6
%
∃
#
∃
%
%
∋ #
9
∗
#
#
∗
%
#
#
#
&
#
∃
∃
9
(
#
∃
#
#
∗
%
#
#
#
#
!
(∗
∃
7 #
¬ #
¬
¬
∃
¬
∃
¬
¬
∃∃
∃
#
∃∃
#
#
#
#
#
∃
##
#
#
#
#
∃
&
(
#
#
(
(
#
∃
#
∃
∃
#
#
,
!
∗
%
!
(
# Η#
(
∗
##
,
7 #
9
;
&
(
#
#
#
∋
9
#
(
∃
;
#
#
#
!
∃
#
#
(
%
( #
#
!
#
#
∃∃
!
#Χ
!
#
#
!
#
;
#
∃∃
#
(
(
;
!
#
∗
%
∃
Α
!
∃
#
##
∃
%
!
∃
!
Α
∃
(
##
%
∃
#
!
∃
#
#
9
9
#
#
;
;
#
#
!
#
∃
&5 &
% !
&∋∋
Α
#
#
,
?∀
<
∃
#
,
#
#/∀#
(
∋
#
# #
&5 &
∃
#
− !
Κ
!
#
/∋>
∋ &5 &
#
#
9
Ε
%
#
∃∃
# #
9
#
#
!!
−
# %
# #
# ∃
∋
#
∋
# Η
%
#
∃
#
7
%
(
(
Κ
# !
! #
!
∃
∋#
!
#
#
!
∃
# !
(
##
#
#
(
(
( #
(
#
∋
7
(
Β
!
(
(8
(
=&
( #
# !
## ∃
!
&5 &
& ∋
#
9
≅ 2<:
2/1/≅12//≅
#
∃
> ∋
&
&5 &
− !
9
¬
¬
)
#
∃
∃
&
5
∃
&∋∋ ##
,
∗
# ∃
#
(
&
)
&5∀
#
=
( >
?∀
#/∀#
(
≅≅:1?? (
# ∃
&5 &
(
#
7
∃
7
!
#
8
&5 &
(
#
∃
∃
&∋∋
#
%
∃
,
?∀
#/∀#
∋
∋ &
∋
# !
∋
5
&5
#
&
#
#
5
7
5
(
#
#
.
#
#
.<
∃
− !
∋ &5
∃
#
% ( (
−9 ?
#
#
# #
1 ( #
!!
#
Η6
.?<: ϑ 2
(
&
#
#
!
(
(
(
(
!
&
&
−
!
!
(
∃
−
#
#
&
#
#
#
# #
#
∋ #
#
∃
#
∃
.?4≅ ϑ 40 =&
#
&
#
#
(
(
#
%
#
%
# #
5
Ε
&5 #
9
&
&
6
&5
−
∋
!
∋
∃
∃
#
(
Ι
∋
#
∃
!
ΙΓ
∃
#
D
#
&∋∋
!
!
Ε#
#
# #
(
#
!
#
5
!
≅/
&
6
#
∃
9
;
(
5
&
−
>
#
#
##
!
Ι
( #
#
∃
#
) Α 9 22
#
#
∃
&
(
.?4: ϑ ≅4?32 (
#
5
∃
!
Β
!
#
#
!
7
=&
2
∃
Γ
∃
>
#
( #
∃
(
+
7!7!
.
#/∀
#
.
/
!
+
7
7!7!2 3
#/∀
#
#
.
/
#
#
!
(
#
!
&
&
&
5
#
+
7!7!4 #
#
#
.
!
−
/
!
∋ &
5
∃
#
#
(
&
!
∃
!
∃
9
#
#
!
∋
(
∃
!
!
# #
−
!
Ε
%
%
∃
Η
#
!
∃
#
#
##
! %
#
∃
9
% −
7 #
5
#
##
#
#
∃
! %
!
∃∃
%
!
,
# #
(
#
#
!
∃
∃
#
(
#
∃
#
#
!
(
∃
#
#
(
!
##
∃∃
− ∃
∀
∃
#
∃
!
(8
∃
6
#
(
∃
#
#
% (
∃
6
∃
#
∃
− Γ
#
∃
# !
∃
#
#
!
(
6
#
∃∃
∃
9
9
∃
!
∃
#
#
∃
%
<
,
##
#
Χ
(
#
&∋∋
,
( !
(
#
#
1 #
#
#
! %
∃
∃
#
.
/
/
−
%
∋
!
Γ
//
∃
& 6
( #
##
!
∋ 0
1
#
!
∃
(
#
&
#
#
∋
Χ
#
& :3
#
#
#
∃
5
#
∃
∃
# ,
,
##
!
5
Γ !
∃
∃
Γ
&
:0
!
∃
∃
,
#
#
#
! %#
∃
,
∃
∃
∃
#
!
%
∃
!
∃
%
¬ −
∃
∃
# (
#
∗
∃
(
&
&
∃
#
¬ Α
¬
,
#
∃
∃
%
%
∃
#
#
(
!
#
¬
!
!
,
∃
∃
∃
#
!
∃∃
#
#
&
+
(
∃
& ∋ ∋
#
∃
#
∃
!
6
(
!
!
∃
,
!
#
∋ & ∋
∃
∃
∋
#
%
(
#
∃
¬ 9
#
!
#
#
#
& :3 &
##
# #
&
#
#
& ∋
#
%
#
!
#
∗
& :3 ,
,
∃
(
¬ ∋
!
¬ −+
∃
.??:,
∃
¬ −
¬ −
#
∗
#
#
¬ − 7
#
#
!
9 #
¬ ∋
!
,
¬ −
¬ ∋ &
¬ −
#
!
(
∃
,
&
!
∃
!
∋ &
(8 #
#
.??:
#
&
¬ ∀
(
#
#
#
#
%
#
#
(
#
( # Η
%
∗
#
&
!
!
#
,
#
#
,
&
∃
(
∃
+
#
#
#
−
¬ &
( #
∃
!
%
#
¬ Β
¬
¬ −
!
#
#
&
(
(
∃
!
∃
#
! %
∃
#
#
#
!
#
∃
#
∃
& ,
#
(
!
∃
,
∃∃
# ∃
,
,
#
#
¬ &
#
! ,
#
#
∃
∗
#
∃
∃
¬ −
#
!
∃
#
#
! %
,
¬ &
#
∃
∃∃
#
∃
∃∃
¬ &
∃
! %
∃
#
¬ 9
¬ &
3//
¬ Β
¬
#
# ,
¬ )
∃
∃
−
& 6
¬
#
¬ ) ∃
# ∃
,
¬ )
(
#
∃
∃
#
#
#
(
∃
#
6
#
! −
,
#
2/ .// 2//
(
∗
(
#
%
## ∃
#
∃
##
#
#
#
#
(
#
!
(
∃
2//
!
(
∃
∃
∃
#
∗
,
#
( #
#
(
!
#Χ
#
#
#
∋
> & ∋
##
#
(
#
9 #
¬
∃
∃
#
%
∋ =&
∃
# (
#
6
∃
#
,
∃
¬ −
# ∃
#
,
#
∃
!
#
∃
#
∃
#
(
& :3
&
&
#
& ∋
!
∃
#
∃
∗
#
#
∃
!
¬
¬
& :3
Ρ?:
#
∃
(
#
¬
∃
∃
(
#
221?3 ≅31?3 .431?2 ,
,
#
#
,
#
#
∃
!
#
∃
% ##
!
∃
&
#
(
#
∃
.??4
)
.4/
≅
#
#
∃
#
!
#
%
#
.??4
..
20<
&∋∋
(
,
∋
6
9
7
9 ∋
2/// 6
##
)
#
∀
∋
∋
!
#∃∃∃
#
)
?21:≅1 ;; =Π ! >
Ι
#
Ι
<?1:/?1 ;; =∀
>#
#
! .??<
∋ #
∃
(
Ι
&
#
( !
0
∋
Ι&
#
(
#
≅
)
?21:≅1 ;; )
)Α9 4
2//≅
<1.:./0 ,
≅2)74)∀,, −
Α
.
∃
∋
∋
! #!<! ! ≅!5!6! >
≅!5!6!2
) Α 9 .3
! 2//:
∋∋1.?/.4 #
∋
Β
#
Β#
−
6≅)7:≅)∀,,∃
∋
∋
7 Β#
6
(
#
# ∃
#
∃
#
( !
#
∋ 1 Ι&
( #
∃
#
#
#
#
#
∃∃
( #
# Η
7
2///
(
#
(
%
!
( !
#
#
−
+
(
#
#
6
#
#
1#
( #
∃∃
∃
# #
9
7
2///
#
(
∃
+
%
+
(
+
!
!
# Η
7
2
) Α 9 0:2/12//< (
#
#
#
!
&
&
%
#
∋
∋ #
#
#
%
∃
∃
7
2/// ∋
Ι&
Π !
)
)&9 4
#
≅3<
∀
#∃∃∃
Π !
)
)
?21:21 ;; 6
#
∋ ∋∋
)
%#
#
!
−+
#
( !
∃
6
%
#
#
∃
!
∃
∃
&
#
#
!
(
!
%
#
)
Ι&
∃
Α
Β
#
#
7
!
+
#
#
∃
∃
#
∋
∃
#
#
!
2
∃
# #
∋∋∋
;
#
(
+ !
Β
5
5
# #
#
∋ Β
!
; #
9
7
2///
)
Π !
∃
( !
?21:≅1 ;;
∋ #
?21:≅1 ;; &
##
#
)
Α
∃
#
5
5
∋
)
∃
+
#
∋ − !
#
(
!
#
?21:≅1 ;;
∃
Α
<?1:/?1 ;; ∃
.
#
∃
∋ #
¬
∀
#
∃
&
)
(
#
( #
− Ι&
#
9
)
)Α
#
∃
#
Ι
!
.
# #
# ∋
# ∋
!
!
∃
#
∃∃
#
ΛΙ
Λ Ι
#
.<3 ∋
.4 # #
∋
# ∋
6
( !
Α
¬
∗
∗
Ι
¬
#
#
6
6
2///Λ∗
#
∃
#
− 9
Λ7
#
∃
#
(
( (
?21:≅1 ;;
( !
)
#
+
#
2///
#
<?1:/?1 ;;
(
∃
∃
¬
2:
!
¬
#
#
¬
¬
∋
Β
2//2
2//:10?1 ;
9 # !!
( Λ
+ !
∋
2//:1<?41 ;
!
∃
Β
+
2//:
6
Β
+
2//3
6
¬
,
#
.?<?
2 #
,
&
?21:≅1 ;;
)
¬
∃
.??2
∃
2.
4
≅
#
,
23
+
23
!
∃
!
∃
+
#
#
∗
Π !
∃
(
( #
Ι
Ι&
7
∃
∀
!
.??<
≅3< Λ9
( !
∃
,
! 2//2 # !!
#
22
! 2//≅
!
∃
# ,
<
! 2//:
2//: # !!
∋ #
2//3 # !!
∋ #
(8
Α
∃∃
7
22:
2///,
+
+
Α
!
∃∃
∃
Α
!
#
∃∃
∃
∋
.0<
.?
∋
,
.30
<
9
∋
.
. ∋
7
∃∃
2///
? ./
3
)&9 ≅3<1?<
3
)&9 ≅3<1?<
!
% (
(8
∋ ∃
∋
9
−
#
%
? ./
)Α Κ
%
!
% ∃
!
9
7
!
9
Α
)&9 ≅3<1?<
)
41412//≅
−
#
#
#
#
.:./0
<
##
#
)Α Κ
/∀
0
−
(
∃ (
#
(
#
(
∗
#
#
( !
#
6
#
#
!
#
##
¬
9
7
2///,
#
¬
∃
(
∃
( #
∃
#
#
!!
#
¬
−
!
Κ
∃
(
∃∃
,
(
∃
!
#
!!
!
(
∃
(
#
#
(
#
(
#
<
−
Ι
Β
∋
&∋∋ #
#
6
Ι& ∋52/4/≅/. =Γ (
)
<?1:/?1 ;
Β
3
2//< =;
<?1:/?1 ;>
&
>
5
)
&
6
∃
5
)
9
7
>
Ι& ∋52/./3/2 =
Β
!
&
#
Ι&
2///∗
−
5
∃
#
#
)
7
)
2///
(
&
: 3
0
#
&∋∋
2//4 (
2/ ∃ !!
#
Ι&
) Β .<
!
Ι
.ϑ
≅/
.4: ∋
##
2//4 ΛΒ
)Α9
#
∃
) !
##
2//<
.4: =
#
Γ∀9−
≅3
#
00:412//4> &
#
9
Ι&
(
Α
9
0 0:4 =7
∃
Ι
!! (
%>
≅
∃
#
∃
Ι
Ι
&
#
Ι& >
20
2//4 6
# !!
)Α9 41<44:
Ι&
!
) Β .<
! 2//<
)
2/..
=9
(
( >
#
## ∃
9
( ∋
Β
#
7
+
−
#
%
Β
;
#
%
/ ∋>
−
∃
&∋∋
∋>
∗
9 ##
(
5
##
!
Β
(
#Χ
##
∋>
#
#
#
#
#
( #
#
#
.?<. 2/./
∃
#
!
−
!
#
2/..
Β
! ∃
#
#
−
!
Α !
≅/Μ
.ϑ
)
#
#
#
#
#
∃
#
#
#
2/.. 6
−
∃
≅.
#
≅#
#
#
6
.
=
!
∋
2:
!
∃
2/..
/
!
2:
.
=
≅6 32: : !
&
#
2/..
#
#
(
∃
2/..
#
∃
#
(
# #
∀ 9
∃
# ∃
%
!
)
9
#Χ
=
∋≅∀
(
>
2/.. 6 #
# ∃
%
#
∃
#
6
#
#
!
∃
#
,
(
∃
#
∃
Β
%
!
−
# ∃
∃∃
(
#
(
(
&
#
#
∃
Υ
!
#
#
∃
−
∃
∃
# 6
#
∃
#
#
%
#
#
#
!
∃∃
(
∋∀/
(
∃∃
∃∃
!
#
>
=
#
#
#
!
∃
#
∃∃
( %
#
#
Β
#
+
+
#
#
∃
/
#
∃
#
∃
#
(
Β
#
#
+
∃
−
#
#
#
#
#
6
∃
#
−
:
34
/∀ 9
#
Ε
#
!
∋
/∀
∃
6∋ !
∋
#
2/./
%
2/.. 6
#
#
#
#
#
#
%
#
2/./
∃
#
∋ /
/
∃
∀9
#
Β
#
∃
∋
##
−
∃∃
#
% ∃∃
∃
−
#
: Β
∃ #
∋ ∃
#
∋
)∋
∋
3
+
#
∃
Α( ∃∃
∃
(
%Α
2/./
(
∃ #
##
(
##
+ #
≅ /4
#
∋
0 :?
# #
#
#
!
∃
∃
( ∃
#
6
. 2<
#
3=
2/..
2::7
2:
!
6
(8
∃
∃
Κ
Β
(
∗
#
6
≅
−
≅
∃
# #
∃
( ( #
∗ ∃
%Β
∃
#
#
#Χ!
2//:
##
#
.< Β
∃
!
#
!
#
=
!
D
!
#
6
#
##
6
≅ # ! !
2 00
≅
#
∃
6
# #
Α
6#
2//? (
#
∋
%
≅ 6
#
!
!
#
#
∃
##
(
#Χ
#
∃
/ ≅≅
!
6
#
#
#
#
6
5
#
∃
#
#
#
#
#
∃
#
!
#
Β
#
∃
∃
∗
#
99
(
!!
∃
#
!
Β
−
(
#
∃
#
#
##
#
; #
!
#
∋ #
6∃
∃
#
#
#
#
&
+
−
∃
∃
#
(
6
!
#
∃
∀
∃
##
∃∃
# #
#
#
#
!
5D
#
!
∃
#
1
∋
#
#
#
(
#
!
#
)
∃
%
∃
∋>
#
# ∃
∋
≅/ 0 2/..
∋∀/
#
#
#
#
−
#
#
2/.. &
!
∀
2/..
!
(
.
∃
%
!!
# #
.
∃
#
−
∃
(
(
Β
#
#
%
#
(
2/.2
6
:
!
&
!
#
)D
&D
%
#
#
!
5D
#
#
6
!
#
#
∃
#
7
#
∃
#
#
!
!
!
#
∃ ∃
#
##
#
% Α( ∃∃
2/..
/ 3 ./ 2/ ≅/
6
% / 3 ./ 2/
#
(
#
#
# ∃
3/ .// .3/ 2// 23/ ≅// ≅0/
∋
#
#
−
#
# ∃
≅/ 3/ .//
−
. #
#Π
#
/ 23
#
2//.
#
2/.. Κ
#
#
< 3≅ < 3? 4? ?3Μ # #Π
#
< ?≅
% #Π ./2Μ
#
∋
#
2/.. #
!
#
#
(
#
#
#
2/.. #
2
(
#
#
∗
#
/ 43 / ?4
7 .
#
(8
#
( ∃ #
( ∋
, #
#
#
/ <?
/ ?3
7 .
#
−
#
2/.. ( #
/ .≅ / .<
7
.
#
2 −
#
∃
≅
∃
#
/ ?:
7 .
/ ?3
7 .
#
/ 4≅ / 43
7 .
(
## #
2/..
!
#Χ
#
##
∃
2//<
≅ −
∃ ∃
#
2/..
!
∃ !!
#
./ .2 Ψ & .
#
#
? .. Ψ & .
:
%
∃∃
! %
∃
(
∃ ∃
!
∋
%
#
2/.. #
∋ ∃
#
2/..
2//
# ∃
%
< .0
D2 . 0/Μ
#
∃ !!
0 44
D2 . 3<Μ
#
3 )
∃
#
##
∃
!
2/ /2 2//≅ Κ
#
#
#Χ
(
(
∃
# ∃
(
#Χ
#
2/.. #
+ ! !.
=
2::
+ ! 2! .
=
%
% Α
2:
#
∋
#
:325
!
%
∃
2::
:325
2: :
!
+ ! 4! .
2:
=
%
2::
!
+ ! 7! .
=
%
2::
2:
!
+ ! 5! .
=
%
2::
2::
2:
!
∋≅∀ /
;
9
&Α5
#
¬
¬
¬
¬
&
&
&
&
!!
D
∋ ∋
!
:#
#
#
Β
# !
− 5 !
#
( #
#
!
#
∗
! ∗
−
∃
#
# ∃
#
∃
∃∃
! ∃∃
#
(
∃∃
# ∃
−
−
5
¬
¬
¬
¬
−
Γ
!
!
&
;7∋
##
D
=&
.?4≅
#
2//2
#
%
=Α
=
!
(
(
∃
##
#
∃∃
#
!
##
,
6
(
∃
(
#
&
>
(
>
9
&
# ! >
%
!
Β
2//<
∃
∃ (
##
#
(
(
#
! %
∗
−∋5DΙD7
ΓΓ∋D D −∋ΒD ∗
#
43
# ∃
%
# ∃
../
(
!!
5
6
∃
∃
−
!
#Χ # ∃
−∋5DΙD7 ΑΠ∋ ∋D D ΓΓ∋D ∗ &
43 .:/
# ∃
%
#
∃
∃
!
∃
∃ #
)
#
∃
# ! 5
#
(
!!
!
#Χ∃
!!
;
∃
( # ∃
#
∃
!!
!!
(
−∋5DΙD7
9Α∋−−D ∗ ;
!
.:/
#
#
#
! %
#
!
# ! !
#
∋
(
∀Γ 59 5D 9D ∋D D∗
#
! %
# ∃
#
#
∃
#
∃
∃ ( #
##
%
(
(
∃
%
5D
Ε ∃
#Χ# ∃
#Χ # ∃
∗
!
#
%6
=Α ∃
>
#
##
!
#
!
∃
7
#
#
∀ %
## ∃
!
∃
#
#
∀ %
#
%6
#
∃
%
#
!!
#Χ
!
− #
! %
∃
%
!
#
∃ # ∃
#
∃
∃
!!
(
−
%
#
# ∃
% #
.≅/ .3/
#
Α
∃
%
#
##
∃
)
#
∃
#
#
5D
&
∀
!
%
(
#
−
∃
%6
∃
#
(
!!
#
#
%
#
∃
∃
∋ ∋ 2/
#
#
#
2≅1. ;
∃
∃
#
#
∃
#
#
#
#
! %
!
!
#
! %
(
!!
# ∃
∀ %
!
−
#
##
∃
(
!
Γ
∃
(
#
!!
∃
∃
#
#
!! ∃
(
##
#
!!
∃
% 6
,
∃
,
%
6
#,6
%6
;+
!!
#
#
#
∃
(
%
≅/
)
!
#
+
#
−
#
∃
9 ##
#
(
%
03
)
#
#Χ ∃
#
∃
#Χ
∃
# ∃
#
7
#
%
9
−
&
#
#
#
∃
##
# ∃
∃
#
%
∃∃
%
#
#
−
∃
%
,
#
#
#
∃
#
#
−
#
∃
(
;D
%
#
D
(
∃
#
!
#
∃
∃
7D ;
5
#
−
∃
#
−
#
(
.?3 2//
∃
∃
≅Μ
∀
?
/ ∋
−
! %
∃
∃∃
(
#
%
∃
#
(
( −
= ( >
233
5
∃
#
#
#
−
#
≅ 4Ζ
∃
#
5
−
5
∋≅∀ 6
/∀! 6 ∋
∃
#
∃
! % #
(
#
∃∃
∃
#
#
#
#
#Χ
#
(
#
.?4< −
#
#
! %
#
∃
! %#
.??/ #
!
%
∃
∃
∗
9∋ Π∋D Τ &;9∋ D−D ∋5
− #
%
[ ∀−7;9 Γ∋−∋5
# ! ! % (
[
−D9;
∃ (
#
−
! %
#
∋
#
(
##
6
! %
∃
#
(
%
!
!
(
∃
(
∃
(
#
(
(
Κ
##
##
∃
#
(8
∃
∃
(
#
∃
−
! % #
∃
∃
(
!
(
∃∃
7
¬
∀−7;9 Γ∋−∋5
Β
−5 ∗ ##
5
∃
∃
−
(
∀−7;9 Γ∋−∋5
∃
5
9
#
Β;)∋ ∗ 9
#
#
#Χ
−
(
! %
∀−7;9 Γ∋−∋5
¬
Γ
∗
#
#
#
!
# #
#
#
Χ∀
)
?
∋≅∀ /
#
#
#
( ∃
!
#
!
7
( #Χ
∋
∃
#
∗
∃
#
)−
3 ./
1
∃
1
#
∃
¬ 7
¬ &
#
(
! %
(
Β
%
(
∃
≅.12//. 3/
#
#
#
∃
(
1
#
#
#
! ∃
!
∗ &
/ :: ##! &
#
#
¬
#
1 ,
!
∃
#
#
∃
∗ #
(
! % ∋
#
,
∃
6
¬
! %∗
#
#
(
##
∃∃
−
(
!
∋ ∋
&
5 !
#
Π Φ
)
&
∋ ∋
#
∃
# ! !
∃
)
1
/ 2<
3/
%
(
# (
¬ 5 ;&
∋
∋ !
6
#
∋
##
∃
∃
# ∃
−
¬
¬
¬
¬
)
(
!
##
#
!
∃∃
∃,
#
#
∃
#
&Τ#
; Τ
9Τ9
∋Τ∋ ∃
!
Β
(
#
#
!
6∗
1
1
# ∃
∃∃
#
1
1
#
%
#
!
!
∗
#
∃
∃
∃
(
∃∃
!
!!
#
∃
∃
&Τ; ς9ς∋
1
#
∃
−
∃
−
#
6#
D
(
(
#
%
) Τ5Φ−Φ
!
#
!!
#
#
(
−
2 ≅Μ
! 6
6
#
#
)
#
#
#
! %
!
∃
≅Φ./ : 1
# !
∃
#
,
#
!
#
24 #
(
4 ≅// /// ≅1
!
−
#
∃
#
&
∃∃
∋ ∋
0< 3 #
∗
)
∃
&
−
!
∀
∋ !
∋
#Χ
∋
#
#
(
∃∃
!
#
(
# Η
!
#
=&
>
.4 /// ///
./ /// ///
≅
≅
∀
#
#
#
(
≅
!
7
!
∃
%
#
(
,
. ///
##
#
#
2//3
#
# !!
./ .0
!
#
(
≅
.0
#
#
7
%
∋ ∋
2//3
# #
− #
∋
2//<
#
∗
#
D
2//2
∃∃
##
/ ?3 . /3
#
#
∃
!
≅/Μ
∃
#
#
≅
∗
# Η
−
2//:
%
##
!
#
#
!!
#
!!
∋
! /
# ∃
!
/
!!
%
!
/ //
≅/
Γ;
2
# ∃
!
!
≅≅
Ι;− .
#
%#
D
,
# ∃
!
!
!
!!
#
# ∃
)
#
#
#
#
#
&
#
)
=
&
5
−
#
#
!
=−
%
(
!
#
#
%
;9
( ∃
> −
(
(
!
#
(
∃
#
>
6#
!
%
%
(
# ∃
∃
(
#
∃
#
%#
#
∃
#
#
%
#
∃
%
#
# ∃
!
# ∃
# ∃
# ! ∴
# ∃
%
%
,
∃
#
#
%
∃
∃
(
∋ ∋
∋∋
#
∃
%6
∋
&∋∋
!
#
#
(
∀
!!
=
6
#
(
;
#
∃
# #
2Γ #
! %
,
./
∃ (
##
2) #
−+
#
(
# #
∃
#
∃
6
#Χ
(
#
!
(
!
∃
7
(
#
#
(
∃
#
..
#
#
(
#
#
#
(
#
> (
!
∃
#
(
7
#
# Η
#
∋∋∋
#
&Α5 #
#
∃ ≅2 #
≅) # .:
∃
≅
∃ ≅.
2]
# .2
≅∀
;
−
∋
Α
9
6
∋
!
ϑ 3!2
)
5
6
.∗./ ///
( 9
#
#
∃
ϑ ≅. =
∋
>
Α
.∗.// ///
−
6∃
#
#
#
#
∃
#
)
#
5
#
#
#
#
&
∃
∋
∃
5
! ∃
;
#
!
!
&
##
#
#
5
Κ
∃
#
#
∃
!
7
Β
5
7
!
! #
&
#
# −
!
D
−
!
##
∃
6
#
&
( &
#
(
∃
(
−
# #
#
#
#
!
#
#
#
#
(
#
6
∗
#
!
∃ (
#
!
#
5
#
∃
Α
∃∃
##
(
#
−
&
!
# −
∗
! #
#
#
#
#Χ
!
D
#
6 (
!
∃ (
(
∃
##
(
&
!
(
%
#
∗
%
∃
#
#
#
!
∃∃
7
!
#
#
#
∋# ∃
!
7
#
#
! #
#
##
∃
−
#Χ
Β
#
∃
∃
7
∃∴ (
##
#
!
# ∃
∃
!
∃
#
!!
#
6
!!
∃
#
∃
>
5
− (
(
#
,
#
%
%
=
− #
Β
∃
,
#
∃
&
−
#
#
#
,
−
#
#Χ
6
Α
!
6#
!
∃
#
!!
#
6
7
(
##
(
#
∃∃
7
#
−
∗
(
6
&
#
Β
#
∃
#
∗
#
#
;
! ∃
#
#
∃
∃
∃
#Χ
(
Η
!!
(
#
(
6
#
#
(
&
∃
#
∃
∋ (
(
∋
∃
#
−
#
(
#
#
(
#Χ
(
∃
∃
−
#
∃
&
#
!
#
∃
!
#
∃
∃
=
!!
∃
(
!
(
#
∃
##
(
#
!
#
6
#
#
∃
5
#
(
#
#Χ #
#
&
>
6
#
#
#
−
Β
#
(
−
%#
5
(
%
−
(
∃
#
#
(
#
∃
∃
(
(
∃
6∃
Α
= D7Α;D
∃
&
∃
(
&9Α
!
##
>
#
#
∃
∋
∃
6#
∃
!
!
#
#
#
−
#
#
(
##
&
Β
#
#
!
Γ
∃
⊥Α(
# ∃
(
Η
#
(
, ∃
Α ∃
(
_ ⊥
_
#
∋ #
%∗
Α
∃
DΒ.
D
Β
∃
(
∋
∋
−
(
(
.
#
##
∃
6
#
Κ
#Χ #
6
( #
!
6
6
(
6
#
#
#
#
!
∃
Β
, #Χ#
#
5
∃∃
6 ∃
#
%
!
∃
6
5
∃
−
−
5
#
# ∃
#
(
#
#
(
%#
%
6
#
#
∃
!
(
−
#
Α2
#
#
!!
!
#
(
∋
#
%
!! ∃
(
∃
#
(
#
∃
!!
∋
.3
∃
##
!
∃∃
−
#
∃
!!
Κ
( #
(
!
%
#
(
!
(
−
∃
#
∃
#
#
7
!!
−
(
2≅
# ∃
!!
#
Α
#
Α≅
!!
(
6
!
∃
#
∃
#
#
≅
#
(
#
6
#
#
#
7
#
Α
#
!
#
(8
∃
,
−
6
∃
∃∃
!
#
−
% ;
%
∃∃
∃
Β
(
#Χ∃
)).
6
#
!!
# ∃
:
5
#
(
(
∃
!
∃
#
(
#
!
∃
Β
#
#
(
!!
!!
#
−
6
#
!!
%6
#
−
!!
#
#
#
,
#
−
6
!
!
#
#
6
7
¬
¬
#
(
#
#
#
∃
∃
% : )
!
∃
!
∃
%
∃
#
∃
∃∃
#
#
#
∗
! ∃
∃
#
∃
#
¬
¬
∋
∃
#
∃
(
#
/
# ∃
#
#
#
6
6
&
∋
#
−
&
(
#
9
#
#
2//
5
.
#
:#
9& #
)
%
(
# !!
2
2
% (
(
3 #
#
(
∃∃
#
#
#
#
!
#
#
#
#
#
! %
∃
&
#
∗
−∋5DΙD7
ΓΓ∋D D −∋ΒD
∗
#
(
!!
−
!
−∋5DΙD7 ΑΠ∋ ∋D D ΓΓ∋D ∗ #
∃
!
6 #
(
!!
!
( # ∃
#
∃
−∋5DΙD7 9Α∋−−D ∗ 6
!
#
! %
#
(
∀Γ 59 5D 9D ∋D D∗
#
! %
# ∃
∃
−
#
(
7D ;
#
%
−
∃
∃
#
Γ
∋>
. 3//
:
# Η#
#
∃
43
# ∃
%
#
5
∃
../
6
#Χ # ∃
43 .:/
# ∃
∃
# ! 5
#Χ ∃
!!
!!
!!
(
.:/
#
#
!
∋
%
#
#
;D
5
#
#
#
∃
#
#
;
∃
∃
#
∋
#
#
∃
: 4Μ
−
&
∃
≅Μ
! %
#
!
#
= D7Α;D>
∀ 9
∋
#
−
#
∋
(
≅≅
#
6 77;
∃
7
#
#
#
Β

6#
#
(
Β
#
∃
#
%
#
## ∃
=9
!
∃
>
∃
∃
(
!
.?: ?<
(
=
# #
#
5
#
# Η
#
>
#
6
2Μ
∃
%
)
!
∗
5
#
7
#
∀
6#
Ε
.?< ?0
# 6
#
#
#
5
! %
&9Α
#
∋
#
∃
#
#
>
∃
∃
#
9 ##
=&
#
∃
&∋∋
!
=
( > ∃
#
#
∋
(
∃
.≅ /: 2//<
#
6
)
¬
6
(
#
!
#
#
#
#
¬
#
#
(
∗
+
!
#
,
+
∋
∃∃
#
(
∃
∗
Β
#
%
#
+
( # ∃
5
6
∃∃
(
#
!
#
#
#
!
!!
#
(
∃
!
∃
#
#
#
!
#
!
+
#
#
∀
!
# ∃
!
&
(
&
∃
!
!!
# ∃
3/
(
! !
%
∋
#
#
(
∃
% ∃
#
!!
∃
4//
(
∃
!
2
(
#
( ∃
#
#
#
#
#
!
+ ##
(
(
#
(
D
3/
# ∃
#
!
,
!
#
!
#
%
6
#
#
6#
≅
#
%
2
. 2//
∃
#
#
#
!
!
Κ
#
# ∃
2
./ ///
#
∃
!
##
#
#
#
−
!
#
−
!
∃
!
!!
!
− #
,
#
≅02 ≅0≅
#
##
#
!
(
# (
6
&
+
# ∃
#
∀
#
6
/4
. ///
# ∗
+
%
!
#
!
2
# ∃
#
#
#
2
≅//
∃
−
#
∃ !
!
#
#
!
∗
#
(
(
##
!
# ∃
#
#
7
6
∃
#
!
∃
D
7
#
∃
.?<3
#
−
! ∗ #
(
#
#
∃
#
!!
!
∃
#
# Η
!
∃
#
, 6 # ! !
(
#
∃
∃
#
−
(
;+ #
#
#
#
(
+
∃
#
!
(
#
!!
(
!
(
!
#
(
∋
!!
# ∃
(
∃
#
#
&
( #
∃
#
#
∀∃∃
%
(
∃∃
#
#
#
! !
# ∃
%
1#
%
# #
#
∃
≅/ 2//
!
%
%
# ∃
%
6
.
<
&
∋
!
#
#
(
&∋∋
# #
(
%
#
%
6
#
!
#
%
% #
# Η
#
−
&
∃
( (
#
∃
#
&
#
∃
#
∃
#
# !!
%
#
%
#
(
!
!
∃
#
#
∃
!
#
%
7 +
+
∃
+
( #
#
+
7
−
!
;
#
∃
6
%
!
%
#
(8
#
∃ ( #
# ∃
.321/0 ∋ #
+ ##
#
#
%
−
.
#
−
(
#
#
∃
!
!
∃
3
!
#
#
6
!
∋
5
)
#
+
∃
%
!
#
# !!
#
Κ
#
#
##
∃
Α
/ ∋
∃
(
# ∃
!
%
#
∃
!
∃
∃
−
!
∃ (
(
#
#
∃∃
Α
∃
#
∃∃
##
#
#
#
%
!
!
(
#
!
∃∃
!
#
#
∃
∃
(
−
6 !
)
#
#
(
,
!
!
!
∃
#
!
#
∃
)
#
#
Κ
%
9&
2//3
∋#
#
!
≅∀
0
/ ∋> !
//
#1
∋!
7
9 6
//
∃
∃
#
!
∃
D≅ ;
∃
#
//
∋
0
1
)
#Χ!
∋
∋ #
(
#
∃ 6
> ∋ !
!
( 6#Χ#
!
∃
∃ ∗
∃
D2
D2
=#
∗
!
#
−
∃
5 ∃∃
∃
!
(
#
Α
∃∃
!
#
(
D 6
−
#
∃
!
!
!
!
∃
#
#
!
!
! ∃
#
# (
!
!
#
//
0
9
∋
∃
#
#
7D
71
7D 6
#
#
7D Φ ∗
!
#
−
∋ !
6
(
6
∃
#
#
,6
∃
(
#
%
!
∃
(
∋
7D2
#
∃
#
%
6
∃∃
∃∃
#
∃
!
#
∋ #
7D 2 −
−
%
!
#
−
9
0 ∗1
6
! ∃
∃
!
7
∃
D≅
(
;
#
#
(
(
#
∃
∀
# ∃
(
∃
#
,
Α
# ∃
!
#
−
∃
(
#
#
6#
(
##
#
#
∃
#
(
#
(
#
#
#
!
− #Χ
#Χ
/! / 0
&
1
#
#
#
∋
0
∋ #
(
∃
6
#
∃
#
%∃1
#
#
#Χ
!
∃
/ . .// α
#
∋ #
∃
∋
)
0
∀
9
#
#
#
6
∃
Β
#
#
#
(
#
#Χ
#
)
#
&
#
#
#
%
(
6#
!
( #
!
∃
//
#
#
(
Ο
%6
!
!
&
∃
#
) Β 231..1?:
) & 9 2/≅144
( &
#
) Β .0131?0 ) Β 21:1/2
#
#
5 ∃∃
!
∋ !
#
!
#
−
%
Β 241≅14≅
)&
5
∃
6 #Χ
!
∃
∃
0
<
) Β 21:1/2
)
.4≅1/:
#
∗
1
/ 9
9
#
//
9
./
0Ε <
4(
) Β 0/
/21/:1/2
∗
1
/ 9
9
% ?4ϑ
2//
.(
) & 9 2/≅144
2// ς≅/
.(
) Β 0/
/21/:1/2
#
#
#
./
#
>
#
!
#
#
&
∃
#
#
!
∃
6 &Β ./
!
!
( 6
∃
∃∃
#
!
!
#
#
#
1
#
6
# ∃
# Η
! %
#
&
#
##
#
∃
∋ !
∋
,
∃
#
#
#
!
# Η ∃∃
%
Β
∋
α
∃
!
(
Κ
(
−
!
#Χ
.4
#
#
:/ ς0
) Β 0/
/21/:1/2
://
//
9
0Ε <
.(
≅
∗
1
) Β 0/
/21/:1/2
/ 9
9
#
//
6
≅/
0Ε <
) Β 0/
/21/:1/2
∗
1
/ 9
9
#
#
#Χ
2:
#Χ
.(
) Β 0/
/21/:1/2
.23
2: (
) Β 0/
/21/:1/2
#
#
#
≅3/
≅
#
#
2/
3//
9
0Ε <
) Β 0/
/21/:1/2
.
.(
≅.
≅
∗
1
) Β 0/
/21/:1/2
/ 9
9
!
#
.2/
4(
) − .4≅
2.1/31/:
!
#
.4 ///
.4/
D5:/
3
.(
2:/
.(
) − .4≅
2.1/31/:
) − .4≅
2.1/31/:
) − .4≅
2.1/31/:
#
#
∃
∋
0Ε <
∗
1
/ 9
9
/! /
∋
(
%
.3/
2: (
%
≅//
2: (
0Ε <
)& Β
241/≅14≅
)& Β
241/≅14≅
∗
1
/ 9
9
%∃
#
#
#Χ
3/
≅3
∀
:/
0Ε <
9 0 1!
) Β 0/
/21/:1/2
∗
1
/ 9
∋
9
) Β 0/
/21/:1/2
#
#
∋
2: (
9
!
3 ς≅
∃)∃∃%
∋
) Β 0/
/21/:1/2
&2 2 #+<%%<., &
%∃3<∃,<
&
#
#
6
∋7;Β 9 ∋7
∃
2//4 7
∃
;
∗
# #
,
∃
#
¬
¬
¬
¬
¬
¬
¬
¬
¬
¬
&
∃
∃∃
¬
¬
¬
¬
¬
¬
¬
¬
¬
∋
!
!
!
&
;
∀
5
;Β
#Χ
#
∃
#
%
∃
#
!
D9∋7 ∋9
D9
∋7∃
∃
!
∋9
(
! ,
,
,
#
,
!
!
! ,
,
#
,
!
(
,
,
!
#
(
#
6 #
∃
#
∗
Γ
D
∃
#
D2 ,
7D Φ ,
D
Π: ,
Β
Β
Γ
Β
!
!
7Π: ,
&
&
5
7Β D ,
D,
D2 ,
7 2D ,
#
&5
&Β ./
## ∃
∋
( #∗11
#
!
∋
!
!
∃∃
∃
¬
¬ &
∋7;Β 9
#
∃
∗
#
!
∃
∃
(
#
!
#
#
!
##
∃
#
#
D 2 7DΦ 7Π≅,
# ∃
+
## ∗
#
7D Φ
Π:,
#
#
7
∃∃
(
!!
D2
#
D2 ≅? <Μ ∋
≅2 2Μ &
1
#
∗
D 7Β D
¬ Α
∗
¬ &
&Β./
1
∋7;Β 9
# !
∋
∋
9
!
7D Φ
#
D
Π:
72D∗
#
#
%
(
!
6
#
&Β ./ 02 ?Μ D 32 .Μ
D2 :4Μ
#Χ
−
!
!
#
#
6 ∃
#
#
7D Φ 4. :Μ
#
D
D
#
#
≅4Μ
∃
∃
6
D :0 2Μ
#
!
&Β./
)
#
#
!
∃
#
(
#
%
#
!
#
∋7;Β 9
∃
−
,
D2
#
!
+
(
∀
!
5
5
;
∃
#
!
!
!
0,= <
<
∋
/.
/
/
<3
2/
/
20 .
//
.30 /
/
%.%)3
D
2::Χ
!
&Β./
/
.?
/
≅0
.≅
/
2/. :
/.
.<4 3
/
∗84)8
∀
/
/0
/
/:
/0
/
2. 3
/
.. /
/
∗,)#
∀
!
∋
#
#Χ
!
#
!
#
!
(
#
∃
#
#
∃
#
%
#
#
# Η
∃∃
#
#
#
##
!
#
!
%
(
#
∃
−
¬
∀
<<
./: 3
::
.≅
20
.23 .
≅3 <
/.
≅3 :
./ 3
∗#3)#
∋
−
−
2//4 (
∀
D
,
#
;
2::
7DΣ
/
/
/
/
≅<
/
::
/
..
/
.)∗
!
!
2//.
∋
)
&
∃
∃
0,= <
−
#
#
#
#Χ
&∋∋
#
! %
#
##
#
!
#
∗
∃
,
6 # Η
#
#
∃
¬
¬ ∃
!
#
( #
∃
#
,
#
6∀
&
%
∃
=9 ##
#
2//< 2//?
9∃
!
∋9∃
∀!
9∀ #
¬ ∃
#
¬ ∃
!
¬ ∃
#
¬ ∃
#
¬ ∃
%
∋
#
∃∃
!
) ∃∃
)
#
2//< 2//?
!
#
∃
!
&
> ∃
!
!
#
∗
,
#
!
!
,
,
#
#
(
,
∃
#
#
∃
#
#
∀
∃
∀9
∀9
!
9
#
∋ !
∀9
!
∋
5
#∃∃3
#∃∃.
Ξ 1
0 .2. 3/:
0 :<2 002
./ 0/:
./ 4.4
#
7
Ξ 1 ![
. 34
. :<
. ≅3
. ≅.
%#
∃<
∃ 2::632::≅ !
6
∃
# Η
#
− 9
¬
¬
#
7 2//?
#
Ξ 1 ![
∋ !
/ 5
∀
+
9
− #
∃∃
∃
#
# #
#
,
#
#
#
#
#
#
#
∃∃
9
#
##
#
) ∃∃
#
# ∗
(
#
) ∃∃
#
!
#
∃
!
#
∃
∗
=5> = >
∃
∃
∃∃
0. 3Μ
) ∃∃
∃
#
∃
#
#
∃
#
∃
%#
#
#
9
##
∃
∃
(
!
∗
!
!
∃
(
!
∃
≅.1.212//0
#
<.
≅3Μ
)
#
#
#
#
#
#
.321/0
#
,
∃
2//≅
)
221?<
#
#
.:.
∋
#∃∃3
./ 0/:
#∃∃.
./ 4.4
#
<−
+
%#
/9
∀
/!
&D
2.
<.
03 ≅4
0. 3
2::6
2::≅
∀
∀
∃ ?<
!
7
∃∃
%,%
∋
#
(
#
# #
# #
> #
=
∃
#
∃
7
&
./ #
!
∃
)
##
#
∃
#
#
##
!
∃
##
∃
#
+
%#
∋
∃ ?<
∃ 2::≅ !
∃
0
∃
#
#
9
∃∃
#
∋
∃∃
) ∃∃
#
∃
5
∃
9
#
) ∃∃
6
&
% ; D7D9)
(
#
&
#
∃
(
#
&
(
#
#
../ 4/
#
(
#
43
%
#
#
.:.
&
/
/
(
#
9
/9
%,% ∋
/
/!
&
∀
∋
#∃∃3
Θ1 ![
Θ ./. :<
; D7D9)
./:
Μ
0: :
#∃∃.
Θ 42 .2 :<
; D7D9)
43
0. 3
∀
∀
&
∃
#
∃∃
∀
!
!
&
∃
#
∃
=∋
>
;
) ∃∃
#
#
#
∗ #
∃
#
2//.
∃
∃
#
∃
∃∃
#
∃
#
#
∃
∋
#
66 ∋
#
!
%
!
#Χ
9
/9
∀
/!
%,%
∋
∋∋
#Χ
& 66
2::6
%#
2::≅
∃ ?<
∋
!
2//? (
#
.:.
#
9
Μ
0. 0 Μ
.2
∋
.2
∃
#
∗
0≅
+
!
∋
#
∋
#∃∃3
#∃∃.
,
#
∃
6
#
∃ (
!
9
∃
#
,
∃
!
#
# ,
1
#
#
#
#
∋#
!
∃∃
#
0≅ (
( ∃
&
∃∃
)
#
(
∋
#
6
∃
∃
∋
#
(
;
6
(
# #
∃
!
(
#
;
∃
(8
∃
( #
) ∃∃
9
<
∋
#
∃
#
(
∃
!
(
∃∃
(
%
Η
∃
#
#
&∋∋ 6
#
%
∃
#
#
∃
∃
#
#
1
# !!
∋
∃∃
#
#
;
!
#
∃
%
∃∃
#
∃
∃
!
#
#
(8
#
#
#
− # !
(
( (
##
!
#
(8
#
# #
#
#
#
#
##
%
∃∃
#
+
#
!
#
!
!
! %
−
¬
¬
¬
)
! %
∃∃
#Χ#
∃
#
∃
!
#
%
+
# Χ ∃∃
!
#
#
!
#
#
1
!
∋ 9;7
1
−
!
5
2//3 2//4
)
( ∃
# +
#
Α
;
9
Φβ #
#
#
,
∃
#
∋9;7
! ∃
# ∗
D2
∃
#
( #
,
∃
(
5
∃
( #∗11
= ∋9;7
∋
(
2//3
∃
5
#
(
#
;5
#
!
+
(
6
#
+
∋9;7
∃
#
#
#
#
D2
∃
#
#
#
5
∃
#
∋
#
∃
7
(
!
∃
∃
∃
D2
#
>
∃
#
+
;5
#
!
#
#
+
;
#
&
−
(
+
(
!
%
6
!
5;&
6
5
#
∀
!
∋
)
∀
∀
#
∃
%
(
#∀
#
∗ +
%
/#
%
%
−
∃
. %
%
(
∗
# 0
#
∋
%
∗ +#
1
#,
+
.
(
% <,0 !
% &
∋
/
+
+
#
%
−
−
+
∀
#
,
<
−
#
∀
∀
&∋∋ #
%
( # Η
#
Α
!
##
∃
!
#
∃
#
#
# #
≅∀
5
#
#
#
∃
∃
6#
#
(
#
∃
#
!
#
%
!
−
(
#
#
Ε#
#
#
#
!
!
∋
6
∃
∃
#
∃
#
#
!
(
#
#
!
!
#
∃
∃
#
−
∃
!
∃
!
∃
#
#
#
!
∃
#
∃∃
∃
=
!
∗
∃
(
(
(8
#
(
# #
∃
∃∃
#
(
#
#
#
!
7
(
#
#
#
!
(8
5
#
##
!
!
( #
#
#
% <,0 !
∋
#
∃
+
> 6
Λ
#
Λ
∃
#
#
#Χ
∃∃
%
#
#
(
∃∃
∗
)
¬ )
&
Β
!
#
2//≅
¬ −
¬ −
−
%#
∃
/41/<12//≅ Λ
#
3/ Π
#
# #
#
Λ Α ∀ 24
2//
221/212//.
9
≅0 Λ−
Λ Α∀ <
..
2//.
%
#
#
..
#
∃
!
#
#
2//.
#
33
∃
∃
−
#
∃
−
.// ΥΠ
( #
#
+ #
≅// ΑΠ
∃∃
#
¬
#
9
9
∃
∃
∃
∃
∃
!
∃
∃
(
≅
Α(
, ##
/
∃
≅// ΑΠ
∗
;− ∗
∃
!
#
#
!
∃
(
!
#
(
∃
9 Β ∗
!
#
#
<
∋
∗
#
!
#
∃∃
#
¬ −
∝
!
∃
∃
∃
#
∝
∃
#
Σ,
¬
!
#
!
(
#
(
∃∃
#
#
% #
# #
#
#
#
#
#
∃
∋
6
&
#
#
5
#
#
#
4
:
#
#
−
(
6
5
− 9 ..12//. ( !
#
∃
(8
#
#
#
#
≅// 
# (
6
!
#
+
∃
!
#
#
∃
∃
∃
#
,
≅∀
)
∀
#
/
#
#
#
∋ #
6 ∃
∋
%
−
=
>
6
∃
∃
∃
(
#Χ
!
.<12/// =Β
∃
6
#
∃
−9
#
#
≅412//: ( #
&
9
>
!!
4?3/
<
)
# !!
)
#
##
∃∃
2//≅
#
−
!
2//3
,
)
=−
!
≅
2//<
#
#
#
6
( ∃
( 6
(
#
6
6
6 #
#
#
∋
#
#
# ∃
∃
(8
# ∃
#
7
#
# #
#
2//:
∃
∃
#
≅4
∃
#
−
∃
#
!
∃
#
#
!
%
∃
%
−
#
#
>
! %#
%
!
∃
#
#
!
!
!
#
# !
#
#
(
(
∃
∃
#
#
!
∃
#
( #
∃
(
#
#
#
!!
D
(
!
∃
#
∃∃
∋
#
∃
(
∃
−
−
!
D
) !
.. )
!
2/// Λ
∃
( ##
Α
!
−
∋ !
!
#
20..
!
∀
#
Α
#
Λ
∃
#
#
3
#
&∋∋ 6
#
− ::<1.??3 =−
#
∃
#
>
6
∃∃
&
#
.:1..1.??< ∃
∗
)& Β
∃
%
∗
¬
#
9
+
( # Η
%
,
∗
¬
#Χ
!
( # Η
!
!
#
%
,
∃∃
¬
∗
∃∃
!
,
%∗
¬
!
(
,
#
!
#
#
!
∗
¬
#
2//:
∋ )&9 ≅/
Φ
∃
+ !
.:2
(
#
#
#
!
+
243
∃
.??2 &
6
Λ
#
+ ∃
#
(
!
6
#
ΛΓΛ # Χ
∋∀/ ∋
∃
!
#
#
#
!
2
#
(
Φ
!
#
#
∃
#
∃
∃
Λ #
∃
∃
#
)&9 − ∃
2#
∗
∃
Λ Λ #Χ
+ ∃
∀
Β
!
)
−
20 #
2//: 6
##
&
Ι
#
#
∋
#
#
0/ Γ
%
#
3/ Γ
03 Γ
33 Γ
#
&
∃
#
∃
#
(
#
∗
∃
¬
Γ .3/
#
∃
¬
∃
.//
∃
#
Γ #
.//
∃
!
&0?
,
∃
(
%
#
∃
#
6
,∃
)!
!
∃
,#
:/ Γ #
.//
!
∃
∃
∃
,
∃
#
#
3/ Γ
− #
−
#
#
∃
¬
∀
#
23/
#
#
#
#
.//
03 Γ
)!
)&9 .:21/:
03 Γ
33
6#
33 Γ
−
# ∃
!
∃∃
##
Α
∃
#
∋
∃∃
#
.3
+ !
!
#
#
(
∋
.:1..1.??< #
∃
33 Γ
#
(
∃
− #
∃
6
!
%
#
%
)& Β
#
#
#
!
(
∃
%
#
∃
#
∃
∋ #
03 Γ
)&9 .:21/: #
∃
#
#
∋
( ∃
##
!
#
%
2//0
!
#
∋ ∃
#
#
3/ 32 Γ
∃
#
#
!
!
!
∃
#
∃ (
&∋∋ Β
!
−
∋
∃
#
∃
)
#
!
∃
##
#
6
&
#
∃
#
(
#
)
2//0
# # %
#
∃
#
%
∃
( #
!!
!
) & 9 ≅/ /≅ 2//: 7ϑ .:2
!
#
∃
∋ #
03 Γ
33 Γ
#
)&9 .:21/: #
∃
#
.//
#
#
;9Γ;−−
03 Γ
#
−
#
∃∃
#
33 Γ
:3 :< Γ ,
.:1..1.??< #
)& Β
#
#
#
.//
#
03 Γ
33 Γ
#
#
∃
−
#
##
∗
∃∃
¬
¬
7
,
#
6
#
∋
#
(
( 6
#
∃
#
+
#
#
−
##
# !
−
−
%
#
(
# #
#
#
( #
%
#
#
( #
(
!!
!
∃
∃∃
(
&0? 6
#
#
+
!
#
∃∃
#
!
&
2<1212//4 241≅12//4
#
!
∃
#
&∋∋
#
!
&0?
∃
∃∃
/2 Γ
#
#
0//
%
04 Γ
#
#Χ
ς./ Γ ∗
#
(
02 Γ
!
&
#
#
# Η
%
∋
&0?
6
6
%
%
(
1
3
%
+
%
(
#
−
(
5
5
∋
5
(
3
%
(
∋
%
(( −
5
(
∋
(
%
3
(
%
%
%
%
% #
(( −
%
(
#
∋
%
!
%
%
9,
<
3
%
%
#
3
5 = ∋
3
;4 +
8 − ?
;
(
3
0
8∀
9
%
1
8 :
(
.
∋
%%
3
(
∋
%
3
8
!
%
%
((
−
−
;
!
#
∋
#
;
/#
3
8
%
∃
#
=
%
(
3
(
∋
+
%
(
(
%
−
%
%
!
> 3
8
(
(
%
%
7
&
1 %
3
%
(
!
,
∋
#
!
(
(
−
%
%
%
((
%
%
−
%
(
%
!
∋
%
((
Β
.≅
!
6 −
−
!
(
3
#
3
0
%
%
%
%
% ∋
!
0
3
.!
%
−
>
%
(
%
(
≅
%
−
−
!
;
(
%
%
%
#
%
(
− /
/
%
/
.=
(
/#
% ∋
8< %%
∋
3
%
∋
%
(
+
− ∋
%
.!
Α
(
#Χ
∃
!
&
##
!
¬ −
#
)−
ϑ:212//:
∗
# !!
(
#
##
.≅4
#
#
(
+
#
+
.?43 ,
&
#
&
9
∋ &5
5
∋ &5
.:.
)−
∃∃
ϑ:212//:
!
,
¬ −
#
¬ ∋&
( #
.:2
)−
+ Φ
#
ϑ:212//:
ΛΑ
Λ
.:≅
!
:≅.
7
(
%
∃∃
&
!
ϑ:212//:
#
#
∃
!
&
∀!
#
#
∃
∃
#
∗
∃
¬
#
∗
#
∃ ∋ΑΒ .∗23 ///
∗
#
∃ ∋ΑΒ .∗23 ///
#
¬
#
∃
∃
−
#
!
,
!
#
,
#
¬
!
#
6
∃ #
6
##
∃
(
∗
#
(
#
!
∃ (
(
!!
#
(
!
,
∗
¬
#
7
#
!
#
#
!
#
#
∃ ∋ΑΒ
!
!
#
(
#
#
+4
+
&
∃
)−
!
&
&
−
&
5
#
∀
##
#
5 ∀ /0
∀
75 77
#
#
#
&
## ∃
&Α5
−
.
/
#
6
∃∃
! &
#∗/
!
∀
;
#
# #
#
∀
!
Β
%
!
#
)
∋ Β
#
#
##
∃ # # %
# !!
&
; #
#
∃
#
#
#
&
!
#
;
#
−
∃
∃
!
# #
∃
#
(
∃
(
#
#
# #
#
!!
#
!
#
∃
#
∃
#
#
%
#
#
&9Α
−
&Α5
( #Χ
.:2
#
5∀ /0 6 #
)
:212//:
6
.
.3/
5
#
&5
&
5
#
∃
(
#
# ∃
Φ ∃∃
;
(
(
∃
∃ ∗ ! Υ
∃
∃
6
(
(
#
Β
&
% #
> 7
∃
5
#
#
%
;
&
(
&
2//≅
##
∃
#
#
¬
# #
∃
!
#
∋ ∃
##
#
#
#
∃
Φ #
∃
&
&Α5
∃∃
#
&
#
!
>∗
∃
(
(
#
#
(
− #
! % #
# >
#
#
#
#
# 6
#
!
;
(
=
(
! %#
!
#
−
=!
#
#
∃∃
=
;
,
#
∋
≅//
.∃ (
∗
∋
∃
.!
#
#
¬
9 #
#
5∀ /0 6
#
#
#
#
#
∃
&
: =
∋
−
! %
#
!
!
.? 40 4<
#
#
#
#
> 5
#
3=
(
#
#
#
#
#
#
∃
! %
6
>
#
#
(
#
#
# !!
∃ !
#
∃
∃
#
!
!
∃
#
#
!
(
#
#
#
#
∀
#
∃
!
∃
6
#
∃∃
1
1
#
!
#
∃
−
#
∃
∃
# #
#
∃
∃
#
#
#
#
#
##
=
#
##
#
(
∗
7
¬
∃
##
∃
,
#
#
Ε
(
!
∃
#
−
!
∃
!
!
#
!
¬
%
!
5∀ /0 6
#
(
#
#
# #
!
!
#
!
∃
#
¬
∃
(
#
#
¬
#
!
#
#
%
# !!
#
!
#
,
# > (
5
,
∃
(
#
#
#
#
7
#
!
∃
∋ #
∃
Η6
∋ #
¬
¬
# #
!
( ,
#
#
1∃
!
#
#
(
# #
#
!
#
#
# ∗
,
#
!
,
#
¬
¬
#
##
∃
#
#
∃
!
#
#
∋
∋
<
− 9
∋ &
#
!
,
;
∀
&
5
−
#∗/
∀
∀
5
∃
#
(
&
∃
!
9
∃
!
#
#
!
Ε
∃
#
! %
##
! %
∃
−
#
!
#
9
5
#
!
6
#
(
%
# #
∀
∃
!
(
(
#
#
#
∃
,
(8
∃
∃∃
#
∃
#
#
% (
∃
%
6 # #
#
#
! %
%
!
∃
##
∃
∃
− Γ
#
∃
#
#
∃
# !
6
#
1 #
#
#
!
(
∃∃
∃
9
% −
7 #
∃
!
#
∃
#
∋
(
( !
(
∃
#
∃
##
∃
#
!
∃
∃
!
##
Η
!
!
#
#
#
∃∃
− ∃
∃
(
Χ
#
#
#
(
9
&∋∋
∃
!
∃
#
#
,
#
(
∃
%
<
,
#
.
/
∋
#
.
?∀
<
,
#
.
/
!
− 9
;
9
!
∃
#
4143.3
;
&59
9
9
#
#
− 9
9
− 9;9
;
9
20
!
2//4
Α
%#
9
;
#
9
9;9
2χ
0::<12//4
!
0:.312//< #
#
&
∃
&
5
5
9
(
#
,
#
#
#
∃
&59
,
!
##
%
#
&5 & #
#
∃
,
( #
∃
&59
∃
! % #
!
( #
∃
#
# Η ∃
##
!
#
Λ9;9 9
∋
#
#
# ∃
# #
#
! % #
∃
##
#
∃
#
#
& Α 5 1& 9 Α
#
# ∃
&
(
%#
#
#
#
;
9
#
! ,∃
#
Λ
??
!!
#
#
% #
9
.∗23 ///
# + !
#
#Χ # !
∃∃
!
(
6
+
#
(
%
#
∃
∃∃
∋
Λ9
#
#
#
!
#
∃
#
9
+
Λ ∃
+
!
%
#
)
#
#
(
&∋∋ )
(
∃
#
(
#
#Χ
7DΒ; ;55D9;∗ Γ
D ;9Γ 7D
D)∋ ; ;55D9;∗ ./
=
); 9∋Ι∋D7; Α;7;9 −;∗
#
−
∋
#
Β
7
; ∃
5
∃
(
−
Γ
∃
(
#
Γ !!
−
#
#
#
#
∃
&
#
(
&
# (
9
Β
−
#
#
!!
! ( 7
! (
# (
!
#
!
−
−
(
# !
# #
(
∃
#
6
−
&
∃
Β
;
Γ
# ∃
− !
6 #
#
!
(
−
!
∃
(
∃
#
∃
9
# ( # #
&
#
#
!
(
&
5
#
Β
Β
Α
! (
(
∃
!
#
∃
−
;
Β
&
!
5
#
#
#
#
7 !!
#
!
(
#
!
#
#
#
−
!
∃
∃
Β
#Χ
#
!
#
5
9
#
∃
#
∃
5
(
#
#
&
(
#Χ
6 #
∃
∃
−
!
&
7
!
%
;−;Β;75∋ )∋ 5∀5;− ∗
¬ ∋
∋ #
∗ ∋5 2/.//.3 &
Γ
( , ∋52/.///?
9
#
, ∋52/.///4 −
!! , ∋52/.///< &
Γ !! , ∋52/.//./ Γ (
,
∋52/.//.. &
¬ Ι& Ι
&
#
∗ ∋5 2/./3/2
−
Β
, ∋5 2/4/≅/. Γ (
5
,
∋52/.///< &
Γ !! , ∋52/./3/. −
¬ & ( 9
∗ &9 − !
5
¬ 9
7
9
1
∗ 979 &
Γ !!
¬ Β
7
9
∗ Β79
¬
9
!
∗ 9 =
>
¬
∗9
Γ ∃
∀7; D =&
5
>,
9
=&
Γ !! >, ∋Γ
∋ #
Γ
=&
Γ !! −
−
Γ
>, ∋Γ
∋ #
Γ
=
5
>, 9;
9
∋
;#
=&
! (
− !
>
;−;Β;75∋ );−− 9;5; ; D−DΑ∋
∗
!
∗
!
5
∃
#
!
≅≅<0
9
7
Γ
−
=∃
#
#
#
!
∗ /.
#
, ≅.
2//<
−
5
0::< #
:/ #
∃ =9
;
&59
..1.212//<
! &59 . ./ .: .<
9
(
∃
%∗
(
9
#
&
¬
5
≅ #
=
%
(
7
&
∗)
#
;
&
¬
%
#
Γ
#
2//4
.0
#
!
2//<
&
−
)
.? >
>
,
5
#
#
( #
&∋∋
∀
#
∋
1
.
!
Γ
(
∀
# ∃ ,
(
,
1
1
#
∋
Λ (
Λ
1
!
!
,
∋
#
#
∃
#
,
#
!
#
!!
≅
∃
!
! ,
∃
#
#
,
Β
∃
,
#
!
!
(
%
%
#
#
−
#
#
#
#
#
∗
=
,
(
(
,
,
# ∃
# ∃
∀
(
∋
∃
,
#
/
1
#
%
∃
∃
%
∃
∃∃
#
)Β
Β
#
,
#
,
#
#
∃
, ∃
∃!
!
#
#
(
∃
# !
#
%
,
#
,
#
#
∴#
#
∃!,
∃
%7
( #
7
#
∃
∃
5
&∋∋
∃
#
,
& 0?
/
:
∃
<
,
,
(
%
∃
∃
,
( ,
# !!
#
#
∴
%
<
!
¬ ∃
∋
∃∃
( #
#
∃∃
(
∃
%
&∋∋ 6 #
∃
#
∃
∃
−
#
∋
&∋∋ (
∃
)
#
#
#
∃
#
&∋∋ #
!
∃
%
#
( # Η
#
6
#
&
#
(
7
#
6
∃
#
!
Ι&
%
!
#
∋
(
#
#
D
Α
#
6
#
(
#
#
.:1..1.??< #
#
%
Λ
)&9 .:21/: −
∋
#
( ##
( ∃
#
#
)& Β
%#
#
∃
#
.//
#
∃
(
∃
−
Ι
Β
&∋∋ #
#
6
Ι& ∋52/4/≅/. =Γ (
)
<?1:/?1 ;
Β
3
2//< =;
<?1:/?1 ;> &
6
#
&
>
5
)
−
9
&∋∋
#
;
#
∃
5
)
%
6
,
∃
!
#
∃
∃
%
! %#
∃∃
(
∃
2///∗
−
5
∃
9
7
>
Ι& ∋52/./3/2 =
Β
!
&
#
Ι&
#
#
∋
#
Λ
(
! % #
## ∃
#
##
&∋∋ 6
! %
#
#
#
∋
#
&∋∋
! %#
∃∃
(8
# Η ∃∃
(
#
∃
#
!
#
!
#
!!
#
(
#
∋ !
(
#
∃
#
# ∃
∃
#
#
!
!
#
(
!
(8
#
(
# #
#