Professional Documents
Culture Documents
!
∀∀
∀
#
∃%
∀&
∃∋
∀&
(
∀)
#%
∗
∀
∃
&
+
,
+
∃
/
∃
//
∃%
/
∃
%
/
∃
5
/
5%
5
∋
∋
&∗
%
∋
&∀
∃∋
∋ 6
&/
7
&
1
1
&
∃
%
.
∋
%
∋
&)
∃
.
∋
∗
−
(
.
∋
/
/
#
∋ ∋∋
5
8(
∃
∀
∃
,
∃∋
%
&
&
9
∀)∀)2:
.:
2
5
∃
2
;.∋
2
2(
<
∋ %
9
∀)
2
9∋ %
−(
∋
5
∋
∀ %
(1
=>∋−12
%
?
∋ %
≅5
%
2
Α
1
−
−(
2
9%
,2
2,
.
∀)∀&2
%2 2
Β
∋
∋%
∋
2
Β(
2
5
:
.:
.
∋
;
∃
%
∃
5
,
;
;;
.
2
∋
>
∋5
1:
.
:
2
2
∋
.
1Χ
5
∆
;
#
∋
21;
.5∋ 2
12
>
2
∋%
Β
%
∋
∆ ∃
>
∋
2
2+1
%
:
.:
Ε
∋
1
1 %;
5
1,
%
6;5
∋
2.
;.∋
(
;
Ε∋.
%
5
2
∋1
2
;92
5
%5
; ∋
Φ %
0
:
.:
2
∀)∀)2
.
∋
∃
∋ %%
; ∋
5
1
;
∋
; .∋
Γ# ∋ .
∋ ∋
2
∋
;,Η%
(%
5
55
Ι3Χ
4
%
.∋
∋
2,
,
5
∋ ;
2
2 .∋
5
∋
.∋
..
.
5
2Η
.5,
;;
ΙΗ
.
∋
;
.∋
..
Ιϑ∀
+5
%
;
%
Ε
2.∋
;
5
<;
.
#∋
;
∋∋
2
.1
2
∋
∋1
;
5
2∋;
− ./..0
∀
1+ 2 3 4 5
! . 6
7
.
..
;
(%
9 2
2
5
2
1
2 >
2
,
,
(
−
∋2
%
∋ 15
%
(
2
%
; ∋ 5
>
<
9 2
∋
Κ
∋ 29
5∋
,;
;∋∋.
∋
∋
Κ. 2
52∋
#
2
.
∋
∋
>
6
2
.∋ ;
5
%
%% ∋
6
∋
5
0
%%:
.:
2
9
5%
.
.∋
;
Χ
.∋
Γ
ϑ
%
∋
Χ
.∋
5
(
∋
∋ 5
;
∋ ;
(5
%
∋
. 2
2
5
<5
5 ,
,;
∋
∋
Κ
∋
5
2Η
5
Ι≅2
2Η;1
;1
>
Ι
−5 ,
?
2./..0
;
9
Ι.
5<Η%
,1
;
9
.
∋
Ι∃
;
5 52
;5 ,
;5
9
∋
2
<
∋
9
(
2
∋1
;
2;
∋
∋
∋
∋ %
%
5
( ; %(
2..
2.5
%
%
;
,
,
2 ∋
(
2
,
∋
2
2;
,
∋
∋
∋Η%
.;
%(
∋
∋
2
∋ ΙΗ71 %
.
∋
Ι
(
<∋ ;
9
(
2;
;∋
∋(
2;
(
2
;;
2
;
(
2
;
9
(
;
>
2
#.∋.∋
2
2;
2
1
1
22
;
2
,
Λ
2
%
Λ
.∋
6.
∋
2
9
;.
.∋ 1
;
;
∋
2
%
.6
.
2
,
,
;.
.
2
%
%
(
5%
5
.
(
2.∋
.
#
%
∋
∋ ;
<
;
9
.
0
,
2
#9
9;
2
;
%
2
(
5
(
2 .
(
2
(
2
;
5
.
%
!,>
2
5
;
,5 2
%
5
2
)
∋
%
2
2
,
;
∃
;;
5
∃
2
2
2
.
∋
9
;9
.
∋ ∋
∃
1 %
2
1
2
(
2
;
,
;
∋ ;
.
∋
;.
+
%
+ ,
:
,
∋
2
2
,
(
∋
;
∋
2
15
;
∋
6
2
,5
,∋
2,
,∋
5
,∋
2
,
∋
,
,2,
5
;
∋
1
2,
,
∋
2
∋
6
2 ,2
;
2
.;
(
+
%
< Η
;9
Ι Χ
0
1
2,
2,
5
0
∋ 1;
%
Χ
∋
%
−
2(
;9∋ 2
;
;5
%
2;
5
2;
2
%
;∋(
2
>
−;
%
2
5
%
2
.
9
;∋∋∋(
∋51 2
,< ,
;9
12 ,
∋(
<
Λ
2 2
;
0
,
∋(
51 ;
2,
( ;
,2,
;
<
%
∋
5∋ 2
,5
∋ ∋
(
8 ,;;9
2
,
,
6;9
;
2
!, 1∋1
,
(
,< ,.
∋
65
6
;.∋
∋1
5
:
.∋
:
.:
∋;
∋
..
Χ
;
6
<
− 2;
∋∋
2
∋1
,
2
, ;
!
Β
2
∋
;
∋
,
;
0 ∋
<;
.∋ ∋
5
1
Χ
%
2
%
5
5
Χ
%
5
;2
2
(
∋
∋,
;
Μ
.∋(
Ν1
2
%
Λ
;
2
Λ
5
1
#
.∋
∋
;;
∋∃
∋%
(
5 (
2
;
;, ∋
∋
02
2
.∋
;
%
+
.∋
(
5
Ν1
;.
5
2
;
5
;
.
1
;
5
0 % ;
5
#
2 .∋ ..
∋ ;
;1∋
<
5 2
;
2
%
2 2
;
%
Χ
.
,,
2
∋5
; ; ∋(
2
Κ
(
2
∋ 5
%
∋ 5
∃
5
.∋
∋<%
%
.∋
∋ Β
5 Ν1
5
Ν1
;.
6
%
Χ
.
,
2
2 #
.∋
.∋
Ν1
2
,
,
;
,
.∃
;
,
2
;
∋
#
Ν1
;
Ν1
<
%
2Ν1
.∋
5
1
Ε
2
8
2∋
2
2
9
.
Μ .∋
∋ %
;
∋
5 ∋
;
∋
∋
,2
;.
5
1
;
<
∋
2
∋
2
;
;
2.
5
;.∋
..
Ε
;
∋. 2
.
9
2 20
%
<ΗΧ
.∋ ;
ΙΗΧ
,1
.
;
%
Ι#
∋
%
Η
∋∋
Ι∃
;
1
%
;;
∋ #
;
,
2
;
>
;(
9 ,
9
∋,
∋
9
; ∋
5
Ο
Π
+
5
2
∋>;2
<;
∋ .
∋ ;.
;
2
∋
2
.
∋ Κ
;
.∋
;
<∋(
..
∋.<
0
;.
6,2∋
:
.
∋ :
∋
(
;
.
∋ # .∋
2
∋
2
;
%
Μ
5
%
%
(1
∀
%
,
%
∀∗
∀ 2
≅5
%
2
.∋..
; 5
%
∋
;
∋ 2
∋
2
∋
Ν
Ν
.∋
8;
2.(
;.∋..
5
%
;
%
1
.∋
(%
;
.∋
>
∋
0
.∋
,
∋
2
,;
!
∃
∋
;
;1;.
Μ
.∋
.
5
,
;( %,
−(
−
; .∋
.∋
;
9∋.∋
!∀!
∋2−
∋
;12;
5
Ν
∋
2
5 2
∋
2∋
;
.
1
;
∋∋;
%
%;
%
2
%
2
5
;
%
9
;5
∋
6 1
9
2
∋
21
#
1
5
∋
1
1
#
; 2
%
5%
5
%
5
:
0
∋
2
∃
2
6
∋
2.
∋
∃
:
9%
#
∋
2
%
;
Μ.∋
;.∋
%
2
(
( ;
5
∋
−
.∋
5
;
,
2∋
6
2.∋
2∋
%
2
5;
(
<
.∋ ∋
%
<
%
%
;.∋
%
∋
∋
Λ
∋
; ∋1
>
2
Λ
%
5
, ∋
.
∋ Λ
9
Λ
∋
5
(%
0
9
.
# ,
%
:
2
∋
2:
2
2 ∋
2
# ,
∃ 5
∀∀
2
;%
∋2
;
∋
%∋
%
∃
,
∋
%
∃
∋
< 1
∋
2
2
2
−
2
2
5
;2
:
1
2
2
.∋
;
∃
5
%
1
∋
5
%
<
6.
∋
:
.∋
Χ
.∋
>
1
1
0
,
,
5
12
2
∃
%
∋
1
∃ ∀
(
2∋ 2;:
.∋
(1
9
∀∀2
5∋ %
%
%
1
< ∋
2
∋1
5
.
Β(
%
%
.∋;
%
5
%5,5
%
Ε∋
1
(
9
>
∋
<
Κ
∋
∃>
%
, >
;
∋
∋
Η
%
;
Ι∃
:
∋
5
5
1
;.∋
;
;
2
9
;∋ 2
9
;
∋
:
.:
%
2
2
;
.∋
−
2
9
∋2
∃
.
.∋
;
;
,
Ν
∃
;∋
;
∋
∋
2
;
∋
(
.
;9
2
<Γ
;
9;
;
9 ϑ&
2
% ;
9
1
∋
2
.
5
1
.
2
9%
.
10
∋
2
1
.
1
8..392 :+ #;&& .##.
∀
;
(
1
Θ; .
&∋(
%
5
, .2
;
5
5
∋
%
∋
Η%
;
∋
;
9
;
∋
;∋Ι
,
%
0
2
2
2>
,
∃
∋
%
2
%
∋#
6.,
(2
2Γ1
ϑ;
,(
( 5
2
;
.1
Χ
.
∋
∋ ;
.
∃
Γ
9
ϑ
5
<Γ∃
9
1
9
2
2.5
.
∋ ϑ
.;
9
<Γ+
.
∋ .
2
∋
<6
.
2
;
.
ΘΡ
.
;
,ϑ<6
;
2∋ <)
;,.
2Γ
..
2
2
%
21
ϑ ==%
1
;
.
∃
∋
.
.
,5+
1
;
2
;
5
%
;
5
2
2
.∋;
;<
1
5%
!
1
28(
2 ,
Η71
; Ι
1
.∋
.
∋ ∋
;
∋
%
∋
<.
∋
;;
∋
∋ Κ .
∋
; ;
∋
.
Κ.
∋
;∋
2 1
%
2
Κ
.
∋
;
9∋
2 12(
∋
%
∋
∋
∋,
<
.
∋ ∋
>
;%
∋∋
,
%
5
%
2>
2
5
(
∋
∋(
1
2
9
>
2
,
2
−
2 %
%
∋
2
2
∋
∋%
+
<
∋ .,
∃5∋
1
2 :
2 %
)
#
9∋
%
<;
.
;
!,
2
∋
%
∋
<
;∋(
∋
2
∋
;∋
∀
!
#
>. ? #;<> . ==; 2
∃
. .#&#.
/
∀
!
#
%
&.≅ ? #;&% .&#%.
∀
%
2∋
;;
∋
Λ
2
2
.
>
>
( ;
∗
∋
∃+;
.
∋
∋
∋
.
∋ 2
∃
Φ
%
∋
;1
%
∋
−1
;∋
∋
2
∋ ;1
%
; :
;1∋
∋
∋
+
2
∋;
5
7
9
0;
.
;
∋
6
,
;; 2;,
#∋ ,;
>
.
2;
.
∋
∋
.
∋
:
.(
1∋
# ∋
.
1:
9%
.∋
−1
9
%
% 5
.∋
2
2
%
Λ
∋
;
(
,
5
<
!!
∃
∋
<1
1
∋
2
!;
∋
∋ <
;
.
∋ Β∋
:
%
− %;
9
;
;
52
∋
22,
2 %
.(
2
>
%
%#+
,
+!
#
∃
2
Β
∃ΕΚ
∃
Κ
Φ
.
Κ%#
∋
Χ≅ ,
%.=
:
−
9
1.
5
=>∋∋ ∋%
∋ ∋
+
;
.
∋ 2
∋
5
.∋
2
∋ .
1
∀/
−∋ ;
+1
<
%
#9
!
∃
Κ
#9
−.5 2
;
%
Κ
Χ
Σ! ∃
2
5%
5
Ν ΤΥ≅
%5
9
%
5
<ΓΦ
∋ ∋
2
<−
−
22
1∋
2 ∋
ΘΡ−
%
2
12
,
215
5%
2;1;2
2
ΛΗ5
∋
Ι
Λ
∋
2
,∋
;
.%
Χ
Λ
Κ
2Η
∋;Ι
ΛΧ
2
.
%
Μ
9
;.
ϑ&
2
<+1
∀
0>∋9<∀+1
0;
∋
Η7
ΙΗ7
1
,
2
∋ Ι
, ∋∋
, −
−
−
.;
>
∋
.;
−
;
Λ
5
2
∋ 2,
2
2
(2
Λ2 ,;.∋2;
#
,
%
<
;2∋ ,
∋
# ,;.
<∋ , ∋
∋
5 Κ∋ ,
∋
..
;
5
2
;2
∋ ,
5
∋
∋
%
:
2
(%
,
.
5,
∋
∋ Χ
∋
5
2
∋
2
#
5#.2 1Γ %
ϑ5
2
8
Ε
2
∋
,
2
;
5
∋
;
.
∋
;
,
Κ
2
;2
;
2
;.
∀&
9
<
.;
Η∃Σ
Ι∃;,2
8(
<
1
#%
2
%
2
2
#
2
5
2
(
; ∋
;
∃
<
2
∋
2
(
2
5
∋
;
5
∃
5
2
∋
;
;
;
,
∋
,
2%
∋
∋(
∋ 2 2
−
5.
Λ
..
5
;.
1
#
%
Λ/0
1
Λ
Λ2
<
# , %
9
# .∋ ,
.
(
2
, 2 ,(
2
2
66;
5
+
, Ε1
%
5
Γ+
.
∋ ;
9
,;
.
∋ ϑ
Χ
9
5 %
,
5
1
∋
5
9
# #
9%2
%2
− ,1∋
∋
.,
<
.
∃
;.
2
.
0
,
,;9
5
Χ
25
2
;9
2
,
2 ,
;
,
2,
∋ ∋;
;.
∋
2;1
;
,
2
∋
2
;
;
∋
Ε ;
Κ
; .
5
,%
<
2,2
∋
9
;,
,
∋
; , ∋(
%
#∋ ,;
5
∋
;
.
;51
.
22∋ ,
;.
( ;
<
,
.
.
Λ5
2
Λ
∋
2
∋ ΛΛ3
∋ ΛΗ%
;,
∋
ΙΛ
.
..
<
..
8
..
;
2 5 ∋
<
−
4 =< −
−
8
.
..
<∋ ,
.ΗΧ
,
Ι∃ ∋ ;.
.
2Η
,∋1
∋
∋ .
(Ι≅∋1 ∋
2.;1
∋
;
;. .
;
%
∋ 2
;
(
%
∋ ΕΓ
2 2
2
2
∋
; ∋%∋
∋
∋ ; ∋%
∋ ϑ Η#∋
≅;
Λ
&
./..0
#
∋
∃
!
#∋(
! #;&% .>.
∃
. #;<(∋#;<> .#(.
∀
(
5
Λ
∃;1−5
∋5
∋(
Χ
;
#∋
2∋.∋ 2∋
2
Η71,
Ι
%
∋
2 Χ
5
5
5
Η
;.
Ι /,
1 ΗΧ
Ι Η≅ ;
Ι Γ 5
#
∋%
ΘΡ>
ϑ)
0 ,
.∋
;.∋∋
<Η;1
2
2
2
Ι!1
;.
;
∋
5∋
;Χ
∋;1 ∋
,
∋
,2(
∋ #∋∋1
;
, .
2
∋
2
<Η71ΙΗ71
ΙΗ71.Ι0.
5
5
2
∋
,∋
;
2;
Χ
.
;
;1
.
0
<
Χ
.
;
+
,
∋
#%
.; 5
2
5 2
%
∋
Ε; .∋ Χ
;
#∋
−
−
0.
Ε
;
;2
.
2∋ ,
Χ
<
≅
2
2+1
2Χ ∋
Φ
.
2
Χ
,
,
8(
#
;
∋
2
∋ ;
.
2
.∋ ∋(
∋ 2
.
(;
(#
,
25 ,5 # <5 #
<∋
08(
<
;;
2
9
>
52
2
(
2
%
8
9
6.,
0
<
9
;
.
2
∋∃
∋
.
5
5
6
−
Ε;
8(
;
5
5
;
65 ;
;
%
;
>
;
;;
∋
<%
;
1∋
;
.
∃
5
;
5
2
∋
<
5
Κ
5
;
8(
%
Χ2
;∋
2
2;,
∋
5
2
∋
2 5
<
Κ
∋ Κ
%
%
Κ
5
5
; .
∋
%
2
5
.
<
5
Κ
9
Κ
.;
9
2
%
5
+
;8(
;
5
<
2
)
)
. .<;Χ.
∀
2
,2
0
∋
( ;
−(1
.∋ Χ
..
;
;
∋∃
∃
;
.
∋(
%
∋
5
5
2
5 2
%
,
2
Χ
5; 2
;
2
;
( (
;≅
∃
0
−(
Γ5
ϑ
Γ
ϑ Γ
%
ϑ
9
2 (1
∋ ς
ς
Χ
<
Ε
;
%
2 (
2
%2% 2Β
;.
+
2=
6
2Β
Ε
:
Κ
−%
;
∃
.
+2Ε
Ε∗!
+
? #;(Χ .#&∋#<.
∀)
Ν
,
∋
∋ −
+ς,∋
2
5
ς∀
567
;.
<
;,
5%
.
∃
∋
,∃
Χ
2>
;
;
∋
∋
2
( ;
#;
%
;∋
∋
0;
,
∋
,
,
Γ1
:
ϑ
(
2
Μ %
;
(
;
,2
∋
∋Χ
;
(
;1
:
1
∋−..
, ,
−
8
)
8)
;
%
5
;.
;
2
Γ1
;
>
∋
5
9
;
,5,
;∋ Κ
2
5
;
5
%
2626;
2
2
−
566
28
)
8)
−
∋
<
−
%
;
(
%
;
∋
∋
%
Γ
;,8(
,
. ,
∋
.
6.
∋
2∋
2Η;1 Ι
Χ Χ
9
8(
ΘΡ8(
.1
2
1
;
Κ
2
2 .1
∋ 2
;
.
;(
;
(
∋
Χ
2
2
2;
2
2(
2
.
;.Κ
2
:
2
; ;
2∋
2..
;ϑ∀
∋
Χ
; .
%
;
9
# .
;
∋;
5
;
;;
(
;∋
(
; 3
7
2
.
25
Χ
∋
2
2
25∋
2
∋
0Η;1
.
;∋Ι#∋;Α;
∀
#∋ , 5
∋ #∋;5∋
.
−
5
;
,
;
,)0
# .
;
;∋;2
∋
;
∋
;
∋ ∋(
∀∗
#
.=>=∋=>(.
∀∀
∃
. #;<(∋#;<> .%.
∀
)
.##.
∀
+
2
5
2
5
<
∋ 2 2
5%
;
∋
;∋
∋; ∋(
∃
;∋
%
Η# ,;
.,∋∋
Ι6
2
∋
5
1
Μ
.
!
< 1
2
Λ
∋
.
∋( 2
.
∋
Λ
#%
0
;1 1
:
Λ 2 1
Λ 5
1
,
#% 2 1
2
!
%
,;,
1Ε.
2
>
%
2#% ∋
;1
;,
∃
%
∋
<
,
2
,;
(5 %
#%
;,
−
2
5
5
6 ;
∋
2#%
6.
∋
2;
;
.
∋ ∋
.
∋
∋
2
0
%
. ,
;1;5
,;
2;
...
;1(2
Μ
.
9
;
∋ −
2 ,2Η;1
;
Ι2
Η;1
9
,.∋ Ι−(
Η;1
9
.
.∋
31
Η;1
∋
Ι
.
5
∋
;;
9 .(
,
5
,
∋
∋
%
.(
,
%
,
Γ#
9
,
2 ,; ∋ ;.
∋
;
5 3 ,
∋ Κ
9
,
2
2
∋
ϑ∀6
9
2
5
2Η;1
∋
;2
;.
;
2
;
;..
;. ..
Ι−5
;
∋ .
;
;
9
;
∋
;
Χ
.5
.
2 ,
%
2 (
2
;
∋ ,
(
%
#2 ,
;
5
∋1
5
Η%
∋ ,
Ι
9
<
19%
,
−
Η%
,
∋ ;
9
9
∋
Ι∃5%
,
;
9
Λ
Λ
(
2Η
,
5,∋
Ι
∀
,
.3 #;=#∋#;=&.∃&.
∗
;
<
. ,
52
∋
∋
;
∋
∋
(
∋(
2
∋
. ,
∀Χ
5 ,
;.
2
∋ ,
;.∋
: ,.
%
6.
∋
∋
.
∋ ( ∋(
−
;
5%
5
Γ
ϑ
.
∋
∋
2 ∋ Γ
(
2
.(
2
.
∋(
; 2
∋
5 2,
; .ϑ∀/∃
;
∋
;
∋;.
Η
Ι8
;
∋
8
∋1
;
<Γ71
;1
;
%
,
9
∋ Κ;1
∋ 2
<Η;1∋ .∋(
Ι2ϑ∀&
Φ
2
(
(6
(%
5 ∋< 9∗
∀
25
.(
#
;
∋
(
2
,
.∋
%
2
;
.
..
ΛΗ71,
2;9
ΙΛ ,
9
ΛΛ
ΛΗ71ΙΛ
Λ
Η71ΙΛ∃Ν,∋ΛΗ,∋ΙΛ∃ ΛΗ−%
∋ ΙΛ6;,Λ−1
∋
= ∋ ∋∃
;.
∋
∋
8
2
9
∋
;;∋
∋5
%
;
∋ 6
1( 2
1
1
;
2
;
; 1 ϑ∗
−
∋
<
∋
;∋
7
∋
Χ
;∋2
>
;
;
∃
2
%
;
(
;
%
Λ
;∋
∋
Λ!
;
;
∋
∋
2 ∋
;
,
∋>;
;
(∋
∋ ∋>;
.;∋
;; ∋ 0.,
1
.;
Ε;
(
2(
,(
2
(
>
Η%
ΙΓ
2
Θ 5Ρ
,
;
;.
ϑ ∀ ∃
,
2
2;
(
;5
52
1
%
2.
<Χ
.
;
;
;
;
5
%
Κ
2
∋.
9
; ,
.
Χ
;
,
5
0
;
(
.(
2
2
2
;
∃
2
2.;
(
2 ;
.
2
∋
0∋;
5
;
;
−Λ+
.
<Γ+
.
∋ ;
.∋
2 ,2%
+
.
∋ ;>
+
;
5
,
Κ
..
(
;9
%
..
.%
(
ϑ
Φ
∋;
.
2;
∋1
2
2
,
2
5
0;,
∋Κ
5
2,
5>
2
%
,
∋
<
2
∋
Ε 5 ;
%
2
%
2
1
2
∗
∃
.3 #;<>∋#;<∃ .&;Χ.
∀
#
.=&&.
2 /
!
(
∃
? ∆.
∋;
5
;
02
2
,
,
.
;
.(
;
5
(<
9
;∋
%
∋2
∋
2
%
0
.
2
2
;
9
∋
%
,
;,
%
6
(<∋2.
2;
,
;;
2 ;
∋
1
;∋
;
1
5
;.
∃
%
( ;∋
%
%
2 ∋%
∋
5
.
2 1
%
25;
9
5 2
.
1%
;
;
(
%
52
,
%
.(
22
∋
2
9 2 1∋ (
2 ;
%
∃55
∋(1
∋ ,
∋%
;
<
;
;
;
2
;
;
.
,;
;
−,
,
<;∋
%
%
∋
%
2
.
∋
(
25%
1<Γ− <
.∋
5%
5
9
Χ
< !
5:;∃
%
(
!
∋
2
∋
Γ
%
ϑ
%
.
2
.∋%
%
2
−∀+.
∋ 2
;
;
5%
∋
/+
,
9
< /
,1 +
,
%
;
,
.(
2 2
1(
2
;2
2
∃
%
2
2
#∋
#∋∋1
;∋
∋ ,;1
5
2.
Κ
2
2(
−∋
5
∋
∋
.;
+
5%
Χ
∋
2
.
∋
2
%
1Χ
;1
%+∋
.&<.
? 0(
(%% ∗ 4
+ Φ
11 Γ
1
/
#
;
.
2;
∋ .
,
#
∋ 2
2
∋
2.
%
...
∋ 5%
2
∋ ;
%
%
2
;
∋
;
;
∋
∋(
∋
;
∋ % ∃5∋ %
∋
∋ .
; ;
Λ
,2
Λ
∋(
2
%
2
5∋ %
#9
∃
21
2
∋
∋
#9
∃
>
.
,
02
2
1
2
2
∋(
;
;
5
2
#%
!∋#9
∃
5
∋
,.Γ∃
∋
Α
∋ ∋(
.
Κ
−;,
2
2
2
∋
5
,
∀
!
<..?Η #;<Χ .<=%.
&
.>>2 .
/
; 5 <
;.∋
6
∋
.(
2 5
∋
∋;1
;12;
∋
1Κ
;.(
∋
∋
2
;
∋%2 5 ;
1
1
2
5
5
;Ν
2
∋ 2.∋
∀
;
.
5%
#
%
∋
;
;
∋(
5
∃
;
.(
Χ
.;
%
(
∃
;
< 2
∋ 2
;
;
;
∃
%
2
;2
2
∋%
∃
;
∋
5
%
5
0
;
Γ
5
ϑ
Γ
ϑ
; %
∋
;1 ; .∋
(
5
−
5
6;1 %
5
;1
;
≅∋
∋
; ! ;
5
5
;
<Γ371
4371
43
.
43
54;.∋
,
∋
3+
%
2143
43
%
∋43
,
.
4364ϑΗ# ,; %
,
1Ι
Η;1
(
5
∋
Ι
Γ−
<
>
∋ Κ
,
1
∋
<
.
, . < ;
2
.
5
ϑ)
..
∋
#5 ∋;∋ ∋
∋%
2∋(
.ΓΧ
ϑΛ
;
,
Λ2Γ
,;
∋
ϑ≅∋
;.
2Γ
ϑ
5Γ
;
ΚΗ
;1
;. 5
Ιϑ∃
;∋1
; <
;
2
Κ
∋
<
Κ
Η0;1
;
,
∋1Ι
−
5
Χ
.
;
,
∋(
Χ
.
5
;
,
5
∃
5
∃
5
0
!
,
5
; ∋
2 2
; ,
;
>
;
2
2
2;
∋
9
.
2
,
∃
5
,
5
.
,
6.
∋
2 %
(
.
∋ .∋
.
∋ ;
ΓΧ
.,
,.
2
.
,
2
;,
.
∋ ;.∋
∋ .
;
∋
∋
ΘΡ
;
∋
,
.3 #;<; .#>;.
)
∀
!
?Η #;=# .#∃>.
&
+
,
∃
2;∋
∋ .
∋ +
(
;
%
∋
Β
Ν
2.
∋
Α
∋2
%∃
9
.(
!∋
∗< %#
Β
Ν
.∋
.∋
9
∋%
2
#9
! 2
(
;
2#9
∃ 2.∋
#
Ν
..2>
∋ 2.
;
2
∋ ,!
∋
∋
∋
2
5
25
Γ;
,∋,
(
ϑ %
∋,
#9
:
.∋
<
;2
∋
2
∋
(
2%
;
∋
5
∋
#9
∃ 2;.∋
2 %∋
(
Χ
%
#9
Α
2
Χ
;
.
∋
−
2
∋
2;
%
25
∋
5(
∋ => Φ
∋2
%
.
(
;
%. ,
;(2
%
2
5(
−1
2ΒΝ
%
∃
(
9
<
.∋
∋ ; 2∋
(
2
2
5
6
2
2
;5 .
.
.∋
Λ 2 .
(
Λ 2
%
2
∋ 2.
(
Ν
∋
1
2
2#9
:
%
;
∋
∃. .∋
2
#9
:
.∋
<
2.; ! 0
∋ 1
2(
2
.
2(
.
5
ΒΝ
∋1
%
%
>#9
:
%5
5
∋
(%
9
;
5
8
%
#9
! 2
1
1
52
,
. #;<(∋#;<> .<<=.
Σ
5− ./..0
∗
:. #
3
6
? #;&% .>.
Ε;
5
.
,
%
5
<Γ−
9
>
∃
ϑ
Η71
∃12
2
;
5
∋ ..
;.
∋
5
∃
∋
1∋
2
;
5
%
#;
2
9
∃
;
%
;
<
;1
∋2..
;
.
(>
.
2
;,
>
;;
2
2
<
;
,Ε
..
;
%
Ε
2∋1
. 2
∋
%
2
;
1
ΗΧ
%
5
;
Ι0
.∋.%21
5
2
65
2
∃1
..
<.
9
2
2 2 ∋ 2
>
.∋
(
;
..
%
∋
5%
52 ∃
5
;
5
%
5
5
%
5
∋
5
;
+
,
.∋
Χ
<
;1
%
5
2
.
%
Χ
<
∋
∋ ;
Χ
∋
;. ∋(
%
0
∋;
%
∋2 2;
2
2
;
..
∃
2
(
2
2
2
1
≅∋
.
(;
, ∋
∃
≅∋
,
,9
.
(2
.
∃
Η0%
;
5
,
( ;;
.
Ι?
5
2 .∋
2 .∋ ,2.
5
<∋
2
)
2 ∋
∋
∋
#∋
;
<
5
2
2%
∋
2.
<
9
2
5
+
.
2
,
2
(
Η0;1
Ι7
,(
;
∃
5
05
5
<
,
2,,
2
,
;
?
;
Η71
1
<.
(;
∃
5
;
+
<
Η%
5
.
(
Ι∃
,;
1
5
2
;.∋
.
(
.
(
;
Η%
2
2
Ι
;.
<
5%
∃
2
,
2
∋
.
∃
5
1
5 %
5
,%
.
+
∋
2
−
5
%
< 12
2
∋
Κ
∋
,−(
!
∋
5
Μ%
∋
;
2
5
2
%
,;9
∋
2
5
(
5
∋
2
Λ 2
∋
Λ
..
5
.
∋
#
2
5 2
∋
∃
∋
>
∋
5
2
5
%
#
0
∋,
<
( ..
2
;
5Χ
.∋ ,
2∋
∋
;
9
2
+
∋
+
;
5
!, 9
>
2
%
2
2
5%
∋
∃
;
(
2
2
%
%
2
.
#
#
2
2
∋
%
;
Η
%
∋,
;
Ι+
%
7
2
2
;
5
∋
5
#
2
∋ Κ
2
;
;2
5
2
∋(
5
;
;%
2
;
.
5
=
5
%
−5
∋
#∋
∋
2
2;
∋
∋1
;
5
2
;%
0
<
.
∋ 2
2
Μ ,.
∋
2
∋ 2−
(
2
2
;
.
2;5
;
;
Λ
Λ
;
0;
;5
≅∋
(
9
2
25
52
5∃
Β
8
9
6
(
;
2
∗
(
2
2
,
6;%
ΗΕ
;
Ι#
5%
;
∋
, .
,
;
2
..
%
..
−
<Γ,
ϑ2
.
;
..
∃
!
!
..
2
2,5
∃
(
<Γ+
5,ϑ21
(
∋(
∋ 5
<Γ,
ϑ
.,
%
;
Γ.
∋
5,;
;
, Κ
5
<
5,
;
5,ΘΡ(
.
,
<71
5,
.
9
Κ
∀
2
5
5
1
(
..
;∋
Κ
%
ϑ<#
Φ
∋
2
(
∋
∋
2
, ;
∃
5
5
∀
#∋
;
(5%
∋1
%
+
< %
.∋
;
Κ
..
..
<Γ8
;.
∋ .
;
.
∃
..
Κ
2
∋
;
ϑ <&
;.
∋
#!
1;.
∋
(
; . ∋ 2 5 2
2
∋(
(
2
.
∋
2Γ
;2
2
2
.
2
∋(
2
%
−
;
.
∋
2∋
∋
..
;.
∋
9
ϑ
!, 2 1..
5
1;
.
2;
∋
1 2;
2;
,,
;
12>
.2;
!
..
6
2
.
%
Χ
1;5
5
#
1
;
5( ;
Χ
!∋∋ ;5
(
∋;.
5
− ϑϑ∀5 )Γ5
2+
?
!
ϑ,ϑ,
5 Γ/..0
∀
#
%
778779
)
779
∗
#
99
∀
(Κ.∋
(
6.
;2
∋
2
.∋
%
<=6
(
;
Ξ8ΦΦΦ.∋∋
; ∋(
Φ%
.∋
∋ 2
5
2
%
,
,
Γ.
∋ 2 ∋
2
∋
.∋
ϑ <(+
(;
(
;
<ΓΑ
5
%
5
2
2
2
9
;
5ϑ<>
Ν
2
1 ∋%
∋ (
<Γ
∋
,
∋
∋
#% ϑ<∃ Χ
:
.:
2
#9
Β
2
∋
!
Β
;2
, 2∋%
5
<
(
∋
;2
9
2
<Γ.
∋ %
.∋
∋
;;
ϑ
∋
;
;
;
∃Ξ8Φ
,
(1
9
Φ2
∋
5
2
, ;6
2
,2∋
.∋
9
(
=
%
2∋
.∋
(
9
∋
.∋
∋
∋
;
2
2(
∋
,
:
,
∋
2!
Β
5
#
∋
2∋
%
>
;
5 %
∋
(<
%
%
.∋
5
0
(
.;∋
%
∃
∋
;
Λ
Λ∋ %
∋
..;
∋ %
+∋1
(Λ
∋
,Λ−.
2
%
;
∋
%
∃
2
2
5
∋
2
%
∃
%
∋>;
∋
%
∃
2
>
2
%
: .
6
?
/
/
!
%
? #;(% . .##>#.
.
:
Β: 4 , Β.:7 /
!
%
∀
∋
5
;
5
%
.
∋ <.
∋
∃
;.;
2
6 (
2;%
1
2
,(
; ∋
%
;(
∋
∋
2>
9
2:
.
∃ 1∋
,
<Γ7
∋
7
.
7
∋
2
5
∋(
Κ
∋ 2
2
2 .2
∋
∋
2%
∋
2
2
∋
2
22
25#
2,
2
Κ
;
∋
2
2%
ΘΡ
35%
;
+
2
;
+
;
2
∋ 2
∃
;
5
.
∋
ϑ<;
−
∋
∋
5
2
< %
Ε;
<5
;.
%
2 %
2
Γ6
5%
5
;
5
%
,
%
Κ
.
52
9
5ϑ<%
;
2
+
;∋ 2
;
2 ..
(
2
..
;
;
−∋∋1
5
∋ 25 25 2
;
2
2
,5
(
%
0 %
∋
5
,5,
2 2
;
2
;
65
5 2
;
ΓΧ
ϑ(
5 ΓΧ
ϑ
∋
>
..
Χ
;
%
Ε∋
2
6∋
>
∋
5
(5
5
∋
0.,
9
+∋1
;1
;
< ∋(
∋
∋
2
2
Κ .
;.∋
2
5
∋1
<
Γ
;
9
5
∋
5
ΘΡ;
.
>%
2
.
∋
;.∋
∋.
;
.1
+5
−%
)
∃
),<8=>:8>
∀
!
&
7=
6
%2.
;
2%
%
;
−%
Χ
ϑ=Χ
4
9
.;
5
∋
; ; ∃
9
1
5
;
%
Χ ,
%
; 5 0
∋
0
∃>
;
∃
9
1
2
2;
∋
;
(#%
5
∋
2 ,
2
2∋
5
;
5
∃
;
∋
(,
5
; 2
(,
∃
;
%
.
∋
(
;
(
1
∋
;
5
2
∋
;
;
2;
9
∋
Ε
5
<; ;1;5
; 5
∋
∋;
..
∋
2
ΓΧ
ϑ
5
2
∋
.
Χ
>
∋1
∋
∋
,
3
∋Χ
<Γ+
∋
ϑ=#Χ,
2 2
2
.∋ ,
;
∋∋
,
%
∋
;5
%
,
5
−∃
; .
2
%
<
%
,∋
7 <2;
;
9 +
%
+.
∋(
+
Κ,
2
∋
2
%
;2
;8
,
Χ
2
%
2;
;
2
;
∋
5
∋1
2
5
%
∋
5
%
1
1
:
2 ;
5
;
.
∋ ∃
; Κ
∃
2
%
2
∋(
; 2
;5
;
∋
5
%
(6
/∗
#
:
/∀
)
/
Β
% 2 ,12Β.
6
2
!
1
>
%
25%
5
%
.
∋ %
0:
.72; 2
;
;
!
;
2
%
%
; 5∋
∃
.
∋ ,
;
.
∋ 2 2 ∃
>
2 ∋ ;25
,
2
5
Λ
∋1
<.
∋
;∋∋
;.∋
∋
;
∃
.
∋ Χ
5
5 ς∃
2
;
;−
.
∋ Κ
1ς=&6.
∋
2
(
∃
2
.
>
6 2 Γ.
9
;
ϑ
∋
..
; .
2;
%
..
2
%
;,
,
2
%
2
2 ..
..
2
25
5 ∃
2
;.
.
(
2
;
;.
2
;.
.
∋
−
∋2
2
,∋
Χ
% ∋ 0
;
%
Γ
% ∋
.
%
Χ
; ∋
∋%
;
∋ 2
2
;
;2
2
.∋
∋
;∋
Κ
;
∋
ϑ=<
% ∋
;.
0
;1
,
5
.,2
∋
;1
,
2
9
2
5
, ∋
1
,
%
;
∋ 2
2
∋
<Γ≅
2
12
−
2
5
;
.∋
#
∋
22 ∋2
∋
5
%
%
;2
∋
2
.∋ ..
ϑ==
Χ
%
,
% ∋7
<)
≅Μ
5
6 %
.5
%
12
2.
2
=
2
5%
5
;
2%
/
∃
),<8==
/
>7
//
)
>
?
Κ2
5? 2
Λ
5!Μ/..0
&
∃
( 2
(
∋
∋
2
%
9
2;
;
9
:
9
∋(
,
#
∃
.∋
%
2.
Ξ8ΦΦΦ−
∋Β<
%
Γ ϑ2;
∋
∋
∋
2Η
%
Ι0
5
2Η
.
%
Ι:
(∋%
−
2 (∋
Γ
ϑ
;, ,
;
.
2
∋1
;
(
,
∋
5∋
( ;;.
+
(
∋
Χ
(
2
(,
;
∃
%
>
Α!8
Β 2
(
5%
5
28
!
2
∋
%
;
9
, 21∋%
?
∋1
∋
(
( %
8
!
;.∋
∋
:
!!∗%Β
:
#
8
Ψ
2
5
5
1
;2 1 Β
2Ε
∋∋2∃
Τ2Ε 2
2− 2=
2−+
Β
2 >
;
(
∃
%
(%
5,
=
Β1
(
2
2∋ 5
%5
2
%
%
.
− ( ;
(
5
;.
2
5 %
∋1
#,
2−< ,Γ1
:
ϑ
5
%
Λ
Λ.
,
5
;
(%
5
∋
5
.∋
2∋1
2Χ∃
Β
0
.∋
5
<
2
2
#
(5
%5
;
;
2
;
;
∋
52
%
# 5
%5
(
5
8
∋
%
%
2
∋
∋
%
5%
5
∋
>
.
∋
∋
(
∃
2
5%
5
;Γ
;5
.
5
2∋(
∋ (
2
5
;.
∋
(
2
5
;
∋
2
;
5
∋∋
%
5 ∋
2
..
.∋
∋(
>
%
ϑ=(
..
<:
;
Χ
5
%
Χ
; ,∋
;
∃∋
∋#
2
5
>
0
%
;
;
/&
#∃/
!
;,)>7<>78>
∃
;
%
2
;
%
#
2
2
2>
.
∋
.∋Λ
Λ2.
∋
;
7;
∋ 2
5 1
∋ 2
0∋.
1
(
5
∋
.
;1
.
∋,
%
2
;
∋
∋ %
#
∋
2
;
.%
2
;
.
(
(2;
.
.
;
5
#22
;
. ,
2
%
2
>
%
<
2
;
.
;
25
2
2;
>
%
∋
∃
5
>
;
5
%
.
∋
Γ
;
2
; 2
∋
2
2
.;
%
2
2
..
; , .
2 2
..
;
,
1
∋ 1
.∋
;
#
∋
2
5
5
.
∋ 2
2
2
∋ 2; 2
ΘΡ.
∋
∋
5
∋
; .∋ 2
;
2
−
∋
.
∋
21
2
5
(
25
; ;5
2; 2
.
∋
2 ; 2
5
2
5
;
6
∋ 21∋
%
Κ
. .Κ
∃
∋ ∋
%
%
>
2
;.∋
2∋ 2 %
2 25
Κ
%
5 ;
5
2
;.∋
2,
;;
2(
5
Κ5
%
2
>
2
ϑ=>
7,.
(
%
9
<
;
∋(
%
%
∋∃
%
∋
;
!
5
∋ ∋
;
%
.
>
.
∋
(Ε;
<
2
%
;
5
.∋
.∋
∃
; Γ
ϑ
∋
Γ
ϑ
Χ
2
9
∆
;
Γ 1
ϑ
>
+
∋ 2.
2
%
;%
%
2
%
∋
<
;
5
∋
;
;
∋;
∋
/
8
+ .
(
,
; .
#
5
#
;
5
1
>
2
∋2;
∋ ;
2
.
∋
(
Γ.
∋ ,
2; .∋ 2.∋
5
;
; 5
;∋ ΘΡ
;;
;2
; 9 <
Κ
5%
,
;
%
2
2
5(
5(
2
%
ϑ=∃
Φ
2∋2
(
%
9
2
2 (
<
∃
∋ 2
..∋
2
∋ ;
2
;∋1
∃
%
(
1 .
5
∋2 2
Γ; ∋ 25 2
2
;
(
ϑ=; ∃
∋ ;. Γ#∋
2
ϑ
. ∋,
%
02
29!(
∋
. ;
ϑ=%
∋ .
∋
;
2 2
.
+
∋
.
.
∋
.
∋
∋
∋
<Γ
.
∋ >
∋ 2
.
ϑ(Χ0
%
2
2
;.
2
;
#+
;
∋2
%
∋
%
,∋
%
∋
2
%
9
2
(
;
!
∋
Κ
;
.∋
;;
ΓΕ∋
∋
.
∋
.
ϑ(#
#
∃%&
∋
−. 9
1
Ν
2
2
∋
∋(
2
;.∋
;
(
∋(
# ,
9
∋ ;∋
∋ 0∋ %
<
;
9
.
#
5 ,
;
9
!∀6
, ,∋(
;
,;
;7,
,,;
2
(
<Γ∋∋
ϑ
(
2
∋
;
∋ ;.∋
2
;
;(
6
,,
2,
,
#∋
;5
;
%
/
)
7
/)
<>9)
>
/
)
>
&∗
9
&∀
>=
)
∃
;
9
.
!
(
;
(2
; ∋(
;
! !, 2
;
∋
(
;
Ν
2
2
,Η%
∋ ;1
;
;
ΙΗ0;1 %
.
1
%
;
∋; Ι
#
,;
∋
;;
.
Χ
(
;
; . 6
∋;
;
∋
5
2 5;
;
=
.∋
∋
Ε
2
∋
>
<
2
2 ∋
;
( ;
.∋
; ;
(
2
∋2Γ
ϑ ∋
Γ
ϑ∃
∋%
Γ
ϑ2 2;
∋ 2 ,
%
;Γ
∋ϑ
2;
∋%
∋
∋
#
2
(
.
∋ ∃
;
:
.
∋(
.
2 .
2.
∋
!
5%
∋
<
(
∋ΓΧ
∋
<30
∋1
4
∋(
<0
2
ϑ(&!
5<
∋1
2
(
1
9
1
<Γ#
9
;
.
∋ ;
%
#
9
;.
∋
2;%
,
2%
;1>
.
ΘΡ!,>
2.
∋ ∋;
;(
,
;
;
;
;1∋
;.
12
(
%
%
(;∋
ϑ(<
+
.
∋
>
∋
(
%
;∋
∋ +(
∋
5
−∋
∋ %
2.
2
%
.
,
∋
;
;2
2
2;
∃
;
∋∋
21Β
2
5
;
6;5 ;
∋
2
∋ ∋
.
∋
∋
∋
∋
;
(
.
(
&
#
>9
77
&
77
;.
∋
∋.
6
;∋
(
;; . <
2,;
(
;
.(
∋
;
.∋
Γ
∋
2
52
;
%
Κ
(
∋
, Κ
∋
;
1
(∋
2
∋
2 2
2
2
ϑ(=2Η
∃ ,
Ι
%
0
<
;
.
5
.;
2. (
∋
∋ 5 0
0;
(
>
Η#
(Ι2Η%
Ι
2
∋
.
%
Χ
∋
,
<
(Χ
<1
.
;
. Χ
;
2 ;
<
2
25
%
;
;.
∋(
∋
%
2
%
∋
(2
;
.
,
2
;
∋ ∋
6
(
;
#
;
,
∋
9
<
2 2 2 2
2
2
2
%
,;.
,
=
∆
;<
6
8
2
2
2
#∋;
<
5
2
5
2∋1
%
;
8
.
−Ε%
.;
%
Ν 2
;
2
∋1
6.:
∋.0;=
9
∋
;.Χ
(
.
;
Γ# =
(
;
%
2
,
; .
Κ
(,
∋
Κ1%
∋(2%
5
2∋
∋
∋
%
2
; ;
,
1
ϑ ((
2=
1
2 2
2
9
#∋;
.
∋
.
∋
#∋;
< %
%
%
%
#∋;
2
2
<
;
5
.
2
2
∋<
30
4
∋
Ε0≅
,
%
;. ,
%
;
,
%
ΚΓ5
5 %
ϑ
;
, ∋ +
5
2
∋(
∋ %
2
∋
#5
2∋
;
2
;
%
;∋
∋
%
2
<
(
Γ.;
2
&/
#
7
&&
#
7>
/∗
.
∋ 2
∋
;=
;
2
;
.
∋ 2
;
.∋2
;
%
ϑ(>
!
Γ
ϑ2 2
<
2
2
;
1
∋
1ΓΧ
=
%
ϑ
;
%
Χ
>
;
;
=
;
,
#
52
2;
;=
;
2;
;
;
%
∋
%
#∋
1;
.
∋
10
∋1
1
(;
.∋
1
∋
Χ Γϑ
=
5
∋(
=
#
,
.∋
∋(
>
2
.∋
;
;.∋∋2
.∋ ∋(
;
;
51Χ
;
∋ 2
;
1
∋(
;
<. =
2
%
2
%
;
.
1 ∋
(
1
∋
∃%
2
1
1
%
5
21<
;5>
∋
Κ
.
∋
5
;;
.
∋(
%
Κ
;∋
0
9
∋
;
%
Λ 2
(Λ
∋< .
;
;(
#
9
;
+
. %
;∋
;
∋
2
;
;
−.
%
<.
∋ ;.
2;
.∋
;.
;
5
∋
5 .
;
+.
∋ ∋
;
,
;
2;
;
%
∋
%
;
( .
Κ ;
5
;
∋
∋
2
.
∋ ∋
; 5%
1
;1
%
%
>
∋2;
>
#∋
;
.
∋
%
2;Γ.
∋
%
%
5
ϑ(∃; 5(
;∋
(
2
.(
;
2
∋2∋
∋(
5
+ .
∋
5
;
2
2
% ; ∋
5
1
.
.(
;
1
&
)
77
&
)
7>
/∀
((
%
;
;(
%
; (
.∋
∃
%
;.
∋
.
∋ 5
2
2
<Γ#
.
∋
52
52
2
9
Κ
∋
∋
ΘΡ(
,
2
,
ϑ(;
Χ
,
∋
∋
2
2
∋ ∋
.
∋ ;
∋ %
∃
∋
< ;
2
∋
; %
∋
∃
>
;
%
2
;;
%
∃ %
∋(
%
2
<
5 2
∋
2
2
!
;2
%
%
5
2
5
.
;
Η%
2
2
ΙΗ0%
∋
%
Ι
<Η%
∋
Ι∃
%
∋(
.
;
5%
0
Χ
1
%
2; #∃
;5
.
∋ ∋1
;.
∋
∃
>
1
.
2
%
5
;
.
∋
Γ#
.
∋
2
%
..
ϑ(%
;
∋
;
.
∋
−
; #∀
%
2
;
2
∋
∋
;#∀
.
∋
∋
&)
Β , .<<;.
&
,7<
/
.
! #
;Χ
9
2
!
%
>∋;
#9
:
=−
;
5
6! −5;
9Χ
! ∃
;
>
))?
Ν
:
.−∋Τ;
4
(
<9−
∋
!Φ( )!
≅ ∋!
. <
∋
! ∗
!
Φ(
Γ
<∋≅!
∋
ΑΒ
∋
!∀5Η7
Β(
;9
2
∃
>∋>
%
(%
Χ
;
%
∋
2
%
5
2
,
9
;
∋
2 ∋
2
2
2
;.
,∋ .(
.
Ε)!
≅> −,
<Γ
2
∋
2 < 3 ,2
4 ∃
; ;
,
∋#
;.
2
;
; ,
∋ 2
1
Ε
2,;
2
1
;,
.
,
5
∋
∋
Κ
5
Κ
,
.ϑ∀
1 ! 2 2
∀...)
Κ+
Η Μ Γ!
−Ν 5
2 Γ Ν
Λ 5!
1 5 ? 2 Β
5Ο
! .
Η Λ 1 2
! 2 ! − Ν∀...)ΚΠ
1 ΝΜ? , Λ−
Θ
Λ .
5,
.7
−
?
#!
!.∆ #;&(∋#;&> .&#> &&Χ &&&.
Σ
Κ1Γ − Μ/..0
∀
∃
. #;<(∋#;<> .&&<.
/
Χ
∋
< %
%
+
>
.
Ε∋
.
;
.
(
2
;
<
∋2
2
%
2
>
(
2
6.;
;
,
;
,
∃Γ∃
,
Κ
%
ΘΡ
%
1
;
.
∋ 2
Κ∋
2
>
;
%
#
;
#
%
;
∋ ∋
∋
2
%
(
;2
0%
∋
6
;.2
∋
2
;.∋
5
<
2
.
2
Γ∃.
2
%
2
>
∃
.##;.
//
Σ
(
ΣΣ
%
;.
∋
∋
ϑ
+
;
%
%
Η
.
%
%
ΙΕ
; ∋
(
∋∋
%
.%< ;1
>
;
1
.
∋
2
1
.
5
∋ ∃
.
2
2
%
2
∋ %
Η%
5
∋
;
2
; 2
%
ΙΓ
%
>
;
,
# 2
2 %
2 5%
2%
2
2
%
229
2
2 .
Κ
2
%
2
%
2
2
1
2,
%
%
2
?
;.
∋ ∋ ;
%
.
∋
ϑ/
Ν
. ∋
+
;
∋2
%
2
;1
..
;.
∋
0.
; 2
2
5
2
%
%
Β
;. %
2∋
;
( 2
;
%
−
2
5%
5
%
%
2
;
;
∋
∋1
;
.
∋(
∋%
∃ ; .
<
;;
#∋
;
5
∋1
3
;
;
%
(
Χ
1
2
2
2
Κ8
1 ,
;; <Γ
>
2;
.3
.
∋
4ϑ&6
Γ
;
%
;
;
2(
;
Η7
Ι
21(
Κ.
.5
−1 %
(;
2
>
2
1
2Η.
;1
(
∋
Ι371
4Χ<(
. 2
5
5
Κ
,
5
∃
(
,
∋
#
1
.
1
2
5 2
2;
(
ϑ
Σ
8
2
Λ!5./..0
ΣΡ
−Η5 5∆3∆3
./..0
#
%
.∃(.
/
.##>.
&
.(&.
#
.&∃;.
/&
2 %
>
%
<
2%
Χ
;
>
∋
;
2
∋(
Ε
∋∋.
,;=
<
;
% <Γ
ϑΚ
;
% <Γ+>
ϑ ∃
2
%
Κ
2 ,
2
; ∃ %
1
2
5
;12
;
∋∋
, 5,
∋
∋
;
∋
5
;
5
6
∋
,5
2
;%
;.
∋
2;...
%
%
; .
2
∋
2
%
..
5%
%
∋
.
∋
%
2
∋;,..
%
2%
;
95
Γ
%
;
1
.
,
∋
ϑ
Χ
5
15 Χ
.
152
52
%
5%
;
Μ
%
∋ %
#
5 ;
,
∋2;
>
;
>
∋
∋1
5 ;
%
5%
+
;1
22
2
#%
2%
2
;
1
.
2
2
,;
%
%
.∋
<
%
;
5%
∋
2
∋1
;.
∋
Γ∃
;
.
;
2
5
∋
2
2,
+
5%
<%
%
∋
2
,5
∋
#.
∋
∋ %
2
2
2
>Κ
< ∋2
.
5
∋
ΘΡ
;
.
∋
∋
%
2
%
%
;
>
∋371. (
5
;
(
4ϑ)
−
2
Λ %
2
%
2
2
2
%
∃
2
∃
%
2
;
5
;
5
∋
)
.%#.
)
)
.<>&∋<><.
/
%
1
%
∋(
;
.
%
∋
∋ #
∋(
∋(
∃
∋(
∋ 2
5 5 2
>
.
∋∃ 2
∋ .
2
∋
∋ . .
;
∃
.
5
2
12
%
∃
(
2
∋ ∋
∃
5
6
∋
%
;
∋
2
;
%
,
∋(
0∋
;
5
Β
(
(
%
∃
∋2
.∋ (
2
∋.
∋ ∋
5
%
∃
2
2 ,
2
%
2 %
2
%
% 2
#;5
%
∋(
−;
Φ
Ν
∋∋
2
%
%
6 %
∋
5
;
∀)∀
∋
Μ
−
∋% %
5
:
Β
.:
∋ #
∋
2
.
?
%
Β
.2:
,
%
∋∋
1
; .∋
−
0
,
∋ 5
Β
.
∋
ΗΙ
2
;
; .
5
Β
.
∋
!
2
5
2
∋
5
5
−
;.
2∋ ;
2>
2
∋
∋
2
5;
5
; 12
5
(
121
∋
∋
;
2;
.
∋
5
∋
∋
5
0−
2
5
;
2..
1
4 Θ
! 2
!5−, +
5!∗ϑ 2
+
−
.ϑ ? ,Η Λ
∗ ϑ
2 5 2 5
5 + +
, ,−
Μϑ
1
∗
5
Γ5!
.7≅
.5
? #;=Χ .;=.
/
∋; .
5ΓΗΧ
5
;5
5.
ΙΘΡ
∋ 5
.
;
Χ
;
;
∋,;
2
5
..
2
Φ
2
∋
=
∋
!
∋
ϑ∗
−
∋2
∋
2
%
5
1
%
;
2,5
;.
2 ; .
∋ 2 ; .
5
(
∋
∋ ;.
∋ 1
(
6Γ
%
5
.
>
5
5
∋ ,5
.
∋
.
,∋
%
ϑ∀6
(5
2
( %
;
5 %
1
∋
5 2
∋
(
;∋ ∋
:
.
Χ
( %
%
∋
%
.∋
(
1
;
%
6
2 (
.∋
;
∋
+
(
.∋
∃ %
;
2
;
5
%
∃ %
1
∋1
; ;
5%
∃,5
%
%
5%
2
5%
%
5
5
%
%
2 ∋
.
∋
∋2
Χ
%
∋2
∋
∃ % 2(
2
Χ
∋
%
2
%
∃ %
∋
∋
%
1 .∋
Ε∋ . 3!∀
∀∀
∀
#5
.∋
∃ %
..∋ 2
%
% %
.∋
.
!
2
2
.
(;;
∋ .
%
,∋
5
2
2
∋2
.
∋
>
Γ∃
1
Κ
∋ΘΡ∃ %
2
2
2
2
1
5 2
∋ 2
2
2
;.
∋
.
;
;
!
2
% 6
; Ν
.
5 2−%
∋
! ∋
.∋
2
2
∋
2
5
∋ Κ
2
∋2
∋
%
Κ
∋
2 ∋∋
>
∋
;
2
%
2
;
<,
,
2
;1;
5Κ;1;.
∋
5 ;.
∋
ϑ
8
;
(< .
∋
;.
∋
, ;
(
,
%
;.
∗
5:
≅
Ε1! #;#> .∆3.
∀
≅
>.
#
.<&;∋(&%.
/)
∋ (
;
∋%(
6
%
2.
5
%
#%
9%6∋<;1
;
∋
,5
6∋∋ ∋
∋
.∋
∋
5%
5
,
<ΓΗ
;1
%
1;.∋
Ιϑ
∋
2 ,
2
∋
∋
∋
Κ
;∋%
∋
;
∋
−%
;
;
−%
8
, # ;. ∋
.;
2.
−%
2
∋
∃
;.
2
;1
;12
2∋
5 (
5 ∋
6
<
∋ ∋
>
+∋
2%;.
;
2
; .
∋ 1
1
<
Λ
;
5
6>
.
2;1
;
∋
∋
.
2
.( 2( .(
2.
5
∃
%
5%
;
(
+
,
;1;
5
2
%
Χ
∋%
∋
∋
∋
.
∋
∋ ∋
2 ∋
∋
! ∀
) −
∀ 5 ). 1
2
!
5
./..0
/
∋
2 ∋
2
;
5
#
( ;
.
∋ 2
5
∋
2
;
>
.
Γ
;
;∋
ϑ& ∃
>
%
Γ∃
%
%
2
∋;∋
.
Κ
2
2
>
>
%
∋
%
ϑ ∃
. >
,
< ;
%
∋
Γ#
<Η71
%
.
Ι=
;,
7
,
; . 5
5
7
%
.
∋
21,
∋
Χ
∋
2
2
5
5
ϑ
((
6%
;
,
.
∋
∋
%
%
2
2
∋Μ>
;
1
,2
2
Γ#%
%
2
%
.
5
∋ .ϑ)#
5%
5
%
Γ
ϑ;
%
9
5
#
5
1
%
<(
9
%
5%
5
9
&
#
.#Χ%.
#%=∋#%(.
)
.#%(.
)
#
.<>(.
&∗
∋
∋
#
2
5%
5
;
.
∋
.
∋
(52
%
2;
%
(5
5
2
%
Χ
2
2
5
5%
5
5%
5
5
Κ1
2
+∋1
;
5 9
5
%5
2
∋
∋
2
,
%
∋
;
;∋
;∋
.
0
.
∋ ;
;
.∋
<
; ∃
5%
5
∋
2
2
∋
#
,;;,
;
...
Γ∃
.
∋
2 .
∋
;
. (52
.
;
ϑ ∋
,
(5
(5∋
5%
%
%
%
5%
5
5
∋
!
%
2
∋#%
∋
2.
∋ ;
%
5%
Χ
5
%
Χ
;
.
∋
.
∋ 2.∋
;∋
.
∋
−
;
.,
;
.
∋ 2 2
;
∋ 6
2
2.∋
5%
2.
∋
.
∋
∋∋;
2;
∃
(
>
5
>∋
#%
.∋ .
∋
#
5
7
∋2
;
2∋ ;
∃
2
∋
2
(
,
< ∆
Κ
∋
2
2
?
Α
Γ 1
2
∋
∋ ∋
2
∋
.2∗!)
; 2∗!8∃
52
5,
;
<∗
∃
5ϑ7∃
Κ
−,
>
< .
∋ (5 2
,
∋ 5 (
5
5
∋
∋;
∋
6.
∋
∋;
5
,
%
∃
5%
5
.∋
<3Χ
∋
2
∋
.
4
.∋ Χ
.
.∋ ,
∋ ;
; .
71
∋
0
∋
;
5
;
%
2
4 7
.3 #;(; .>&.
)∗
.3 #;(; .&##.
&∀
(
;;
.
∋
∋
,
#∋ ,;
(
;
5 ;
∋
Γ
; 2
;
∋
2
ϑ)∀
(
;.
( %
5
%
( ∋
.
∋
∋
,
∃
; ∋
.
5
;
.
%
,
%
2
∋
%
;
5
,
;
%
∋
2
,
%
;Χ
∋ ,
∋
%
∃ ,
∃
∋2
2
∃ %
,5
5
.
∋
∋ ,6
,
%
%
.
;
6
%
,
;∋
%
∃
%
2∋(
5 <
∋ ∋
∋
2
%
;5
Γ
.
∋
2.
5
Κ
.
2
.
<∋5
5 %
<
∋, ∋
Κ
2
#
%
.
2
2
1∋
<1
∋
2;1
5
21
2;1
∋
∋
5
∋
Κ2
;
2
<
2
2
,2,
#
.
∋Κ
∋
;
2
%
2>
5Κ ,5
ΘΡ
∋ 2
(
∋ ∋
Κ
;1 2
∋
ϑ)
5
2
5%
5
>
2.;
(2
;;
%
Κ
(2;5
(
:
.:
∋∋
2
; 5
%
∀
2
∀)∀&2
5
%
∋ ;
;
5
.
;.
.
∋ Χ
;. 5
Κ %
0; %
∋;.
;
∃ %
2
2
Χ
.
1
∋
2;
∋%
;
.2
∋2
5
∋ %
Χ, 5
∋ 2
∋
2
2
∋
;
%
∋
2
2
(1
>
∋ %
Μ
%
∃∋
∋
;
5
.
;
!,
%
∋>
∋
<
∋
∋
∋ 2
∋
(%
%
%
.;
)∀
#
%
.#&<.
)
#
.&;%∋&%Χ.
&
5
%
2∋
2.
#.∋ ,
;
∋
;
.
∋
∋
%
Φ
%
%
∋ >
5
∋
;
#+
∋ 2.
∋
∋
∋<%
1
.∋5
∋
2
%
0
;%
.
1 % ∃ % 2
∋2
;
%
Η
ΙΗ∃ %
;
% ΙΗΧ
%
2
2
.∋
; . 2
; ,∋
2
∋ Ι ∃ %
.∋
∋2
;
∃ %
(6
,
(∋ ∋
6
,
2
6 %
%
<
.
∋
∋( ∋
∋
2
#% .∋ ∋
!
6
Ε;
(6
!
2
(
01
2,5,
;;
2;
∋
,
∀;(
;
;
Λ
! ∋
(
Λ
.
% ;
∋(
8(
(
<
Γ#∋
Κ
,
∋
Κ%
.∋ ;∋ ϑ)
∋
∋1
;
;
#5
%
∃
;
Λ
∋Λ2
2∋ 2
;
∋
;2
∋ ∋2
% Ε)∃≅ 36
2∋1
2
Ε)∃≅3
;
%
∃ %
2
;
Χ
%
∋ 2
9
;
;
+, ∋1
Ε)∃≅
; ,
Λ; %
;
.
Η# .
9
2
5
Β
.Ι71
;
%
#!#
∋,∋
# 2
2
∋
%
2
∋
;.
2
;.
%
#!#
2
5
; %
(
(
,∋
Λ ,
Λ2
5
;
Λ>
,,Λ
;
∃
. (
;.
Γ
5,
2,
2 ,
∋
;(
,∋
;
571
2(
2
2
∃ %
2 ;
2
∋
;
%
∃ %
Κ
(
2
,
ϑ )/
%
∋
∋
;∋
5
%
( ,
∋
;(
∋ Γ+
2
1Κ
2
2. >
(
%
Ε;>
9
ϑ)&
)
)
.<(%.
)/
#
.<(>.
)&
)
.<=&.
&
Η
2 ,2
(
#% ΙΜ∋1
9∋2
∆
Γ
,!+5%
5
,
2(
;
5
2
;%
1∋
;
+
5
,
;<
2
2;
∋;1
;.
5
∋2
Χ
.∋
∋
.
∋
∋0
∃
%
;5%#%
;
6 %∃
; 5%
5
. ;9
;
9
2.∋
Γ
9
ϑ )#%
;
.
∋
2 Γ
ϑΧ
;
5
6
!
%2
∋
2;
. ;2
2
5
5
5
%
1<6
!
5
∋1
.
2
Χ
.
;
6.
∋
6
!
5%
.
#%
Χ
;
!#
;
#% 2
Γ
ϑ2
%212
∋
2
2
%
%
Η
;1%Ι
%
; %∃
2
.1
,
< %
,
5
Κ
%;
.∋
2;.∋
(
%
<
6
2
2
2
2
6
6
Η
2 ,>
2
ΙΗ ;
5
∋ 5
∋2
2
;
Λ;
%
2
.
∋
,
(
(
;
Ι
)
=
;
;2
2
∋;
∋∃
,
2
%
;
Λ
Λ
∋
#
∋2.
6
∋ , ,
2
6
;.∋.
!
6 0
;
∋
∃
;.∋;
.
Κ;
.∋
;1
∃.∋∋
%
2
;,
;
5
.∋
2
∃;
%
Λ
;
2
Λ2
1
%
<
9
.∋
.
∋ 22
2..
∋ <
%
;
2 %
%
(
2
8
.∋
2
>
2
%
6
(
;12
2
;
%
)
&
&∃<.
&/
9
1
2 Ζ#
Β
.2
6
1
2
.∋
2
;
;
;
∋
∋
01.
9
5<Γ∃.
2
.
..
21.∋
21.∋
2
∋(
5
2
%
2
∋ 2
2
2
2∋(
5
2
2
;∋
%
5 ϑ)
∃
2
∋
9
#
2
9
5
9
< 2
5
2 5
;
5%
5
∃
6
∋
0
,%
∃
∋
; ∋
%
;; ∋
.
∋ 2
; 2; .(
;
(
2
Χ
.∋ .
2∋
.
∋ 2
;
2
2
!
>
.
∋ ;
(
,
5
2
∋
2
2 ,
∋
>
.
∋ ;. ,
2
2
%
2∋ ,
2
2
,
∋
∋
0
2.;
<Γ#5.
;
2
%
2
%
;
∋
∋
2
%
;
2
∋
2
ϑ))
4 25 .
5
)
7.
!
&−!#;&% .#((.
))
∃
?Η #;=# .#(.
&&
∋
:
.:
Ε;
2
2∋
<
9
;
2
5
∋
%
.(
Ε ;
%
<
,
+
Ε;
∋%
<.∋
∋ 2. .∋
;
;∋Κ
,.(
Κ
;
9
∋
Κ.
∋
,
Κ
;
;;
9
.
25
2
<
Α
∋
(
∋ ( ;
∋ ∃ % ;
,
%2.
;
)
8
;.;. 2∋
;
;
5
Χ
∋
#
,
;
;
5
2
<
2
2
∋# . .
∋
∃
∃
Χ
.;
9
5
%
∋(
∋
%
#%
.
∋
.
∋
#%
∋
1
%
Ε
2∋1
Κ
5
(∋;
∋
2
∋
2
2
2
2
;
5 #
.
.
∋ .∋
5
,
;
.
∋
∋ %
∋
0
>
>
Α
∋
2
>
(1
2
%
2
,
5∃
%
∃
2∋(
%
#
!(=
Β(
#∋;
∋
#.(
2
Ν Τ2
5
5=
∋
(1
2
;
2
#
∋
:
25
%
;
1∃
; .
12
;
(1
.
1
(1
2
1
2
5
%
%
∃
5 :
∋%
)
.:5 ?Η #;<Χ .<.
&
∗
.%∃.
&
ϑ0
%
ϑ ∀
Ν
Λ
;5
5Λ5
5
%# <∀
∋
;2 >
∋
; 2
∋ ,Χ
9
.
2
∋ 2.
∃
2
.
%
<
9
1
Χ
#
#∋
; 2
2
;
;
2
%
5
6
∋
2 ; ; 7
+
%
∃
2
#
,
1
1
∋
%
.
∃
9
%
2
Γ∃
.
∋
2
∃
.
2
∋
5
2
; ∃
;
∋
. ;
(
%
%
+
∋(
+
2
∋
%
2;
%
.
∋
1
%
;,∋
%
9
5
%;
∋
;5
%
Κ
∋1
∋%;%
∋
5
2
2
Κ
;.∋
2
2 .
∋ 2;5
;
∋
2;
.2
.2
%
∋
.
ϑ 65 1
<
9
∀
∋ ,
∀
;1
.
2
.
∋ ;∋
∃
;
.
12
2
52
9
;
>
!
∋ 2
<
9
∋
0
∋
2
∋
∋
;
(
;
.;∋
%
.∃
9
1
∋
1
∋
1
.
∋ 2 2
7
2; ;
2 ,
.;
2
!
<
9
Κ
.(
0
∋
62
Β(
.∋ ..
(
9
.(
;
∋
5%
5
6
:
.:
2
∃Ν2
∀
)
.#∋&.
.3 #;<; .#∋#&.
&)
2
∋
Φ
1
%
(
∀)∗25
(%∃
2 ∋
2
∋
∋
<
∃Ν%
;
9
0 2
5
!
2,.
∋
#9
Β .2
Φ
%
>∋
#9
∃592
%1
:
.:
<ΛΗ71.;.
%
;Α
∋
∋∋
;
(
1
Ι3Λ
%
5
Λ2Α
∋
∋
%
∋
%
;1
∋
;
0;
%
∋ <
2
Λ
2Η;1.;. ΙΛ
%
ΛΛΒΛ
%Λ2
;
2
.
2
∋
5
∋
.(
Ε;
;
;
∋
2
∃
∋
∋1
∋
<
#%
9
;∋
Χ
%
5
;
∋
;
∋
Λ
;∋
2
;
∋
Λ;
,
7
9
;
2 ;, ∋ ,
.
;
,
∋
Ε;
∋
;;
∋
∋
;
Ε;
.
∋
2
%
∋
5
Λ
25,
5
2
1
5
1
2
5
Λ;
∋
∋
1
2(
%2
∋
%21
%
2
2
;%
2
,5
2
∋
122
(
52
,
∋
,
<
. .
,
∋
;
.
Α
5
1
2∋
1
%
2 (
;
2
∋
(
(
∋ >Ε
.
,;
<
2
∋
2
.∋
2
Κ
,
(
%
%
2
∋ Κ
2
∋
;
>
Β
Χ
∋
∋
2
5 1
∋ 5
1
9
.∋
,
.
2
(2 %
2
;2
5 25∋ >
..
!1
,∋
%
.
.(
−
−
−
,
; ,
.
+>
2
>
%
<
∋1
.
∋ ;.!
2∋
;
.
5
∋1
;.
;#
∋(
%
. .
∋
1
.
∋
∋ #%
;
1
9
,;
;5
∋ 2
%
;
,
2
&
#
;∋
,;
.
1
%
#
( ,
8(
;∋
5
%
.(
∋
2
%
;.∋
%
2
;3
(
43
%#9
:
(
%
∋
4
2(1
1
∋
#∋
;
;5
%
<
2
;
5
2 ;
2
∋
∋(2;
5%
−
..
2%
∋%
;
%
∋
;∋;
;1Μ∋
;
,
∃
; 2
∋ ,
!
−(
1∋
2(
2
5
.
∋
;
∋
(( ;
≅
.
∋
1
<.
∋ ; #
;
;
5 %
;
Κ(
;
∋
2 1
Κ;
.
.∋
2;
2
2
..
2
Κ;
;1.∋ ; 9
2.
∋
;
Κ;
2
∋
2;
∋
;
2;
,
..
∋
>Κ ;
2
.∋
(
2
∋
2
;
5
2 2
5,∋
2
%
2 .
Χ
5
(
2
2
∋1
:
8(
6
5
− 2
(
∃
Τ
2 Ε
2;
%
Γ5
%ϑ
5
∃2.∋5
2
2
8 Γ
ϑΣ ;
∋ Γ
%
;
(∋
∋(
ϑ2
.
1
;
5
Β(
.(
Ε52∋(
Ν
%.∋ 1
:
2%
;
1
2#9
#1 [2.∋5
∋
2
%
5
2%
1
;.
9
#
∋
2
Α
! .
552
#. ∋
55
2
Ν
2
.3 #;<; .&∃∃.
5Η2!Ν 2−1 1
ϑ5!ϑ,
Σ
∗
1Β∋
%+∋∋
∋9
;
∋
6
∋ Φ %
2;
1
:
2
%
22
2− .
5
;
Γ
ϑ , Γ,
ϑ
Ν
+
>
5∋
;
∋
2
∋,
!.
2#
Φ
2
%
∋
5
%
.
−
52
5%(
2−
2
9
∋
2
5∋
,
2
Β2
%.∋
1
Ε∋
∋
2.∋5
2.
;
5
5,∋
∃ #
; .
=∋
5
%
2
9∋
∋
9
2
2
.
, ∋
5,∋ 2
2
∋
%
Μ;
%
;
(
.
∋ %
%
.
= 2
1
2
%
!
+
:
2 ∋1
,
2
5
2
2
2
%
1
#.
. 2.(
5∋
5
8
2
:
.:
;,
(
.
8
2; ∋
−
2;.
;.
;>
ΞΦΞ
%
.
;
;
#9
∃ 2
25
#
Ν
Φ
Χ
2
#
Φ
%
2#
9
!2#
6
2#
Ν
%2#
!1
9
2#
8
2#
6,2 Κ ∃Χ∃ Κ
−4Χ
2
5
2
>
1
∋
2
5
6
2#9
∃
(
.∋
Φ
2 Φ # (
(
%
=
%
2
9
;1∃Ν2
∋
;
9.
9
ΦΦΦ6.∋
2
5
∋
2.∋
(
2
5
∋
∋
2.∋
2
5
Ν
∋9
+∋1
.∋
Ε
2−
2
# Λ
(
∋
Λ2 Χ
6
# .∋
2 5
%
2
2
29
∀)∀.∋
%
5
#
5 Φ
5 !
.2
%1
%
Ν
,5
/
)
.&∃%.
∀
∃
%
.
%
%
%
9
11
∃
2 .∋ 5
#
!1
9
%Φ
5
>∋
;.
Β12% 1
#
9
Λ;∋
>
9
2 ∋ ∋
5
∋(
5
5Λ2.∋
.∋
2.∋
Ν
2.∋
%
9
! 2.∋
(
.∋
∋
; ∋
∋
1∃
%
∋
8.
;%
2
∋
, 5
; ;
∋ ;
2
∋2 Γ
;2 1
2
Φ
.
(
∋(
.
∋2
5
; ∋ 5
;
%
∋
.,
.
∋ ϑ &8
%
#
!1
<∋∋
%
5.
1
;
#
∋
;∋
;
;∋
%
∋
#9
:
%5,
#9
∋
∃
9
2
5
2 ;
%
2
;
∋%
#
!1
Η71
∗<1
%
Σ
;;
%
5
(
1
∋
;5
;
2
. 5#
2
;
.%Γ
(
∋2;
52
∋∋
2 ,#>∋
;
5
∃ Γ
2#
( Κ
;
2
∋
2
Κ
2∋
2
,
%
2>
∋ ;1
;(2
(
;
2.
∋
#
%
;
. 5
;9
<
∃
Φ(
(
∋ <!;
2.
;
∋
1
;
%
5
5
;
,∋
2 .
∃
!
8
∃ ?Η
&
#;&% .∆∆3∋∆∆3.
Σ
5 .
1 −
5−
5 , 5
55./..0
(
Ε2
;
2
2
;9
Κ
(
2
2%
+
∋
1
.
.∋
5
+
%
.
∋ Κ
2 ,
;
∃
∋
#
∋
.
,
1
∋
2
.
(
(
ϑ
Χ
; #
!1
. (
1
:
∃#
!
1
#
2
∋
%
5
5%
5
#
1
Γ
ϑ ; Γ
5∋
ϑ (
(
+∋1
.
2;
∋
. ,
2
2Γ
ϑ
2
Γ
1ϑ
∋
2
∋
;∋
#
∋1
%
;1
(
∋
#
!1
.
∋ ;
∋ #9
Ν
21
25
∋
%
#9
∃
%
#9
Β
∋%
#9
Ν
2
#9
Β
∋% #9
Β
+
;
∋
%#Χ
∋ 2
11.(
2
9
;
∋
#
;#
∀ ;
∋
5
..
1
∃
#
#9
∃
<#
1
Γ
%
;
;
∋
, ϑΕ∋ Γ
5%
ϑ
; 5 5
%5 %
,< 5
∋
1
2
5
) ∃ #
.%
∃
2 ∋∋
∋(
∋
2
%
9
1
:
,
+5
#9
∃ <
.∋
%
∋
(
52.
5
∋
∃.∋
1
. ∋
∋
%
%
2
.∋(
5
5
< 1
>∋
;.∋;
55
∋∋
5%
5
Κ.∋
5
∋
;∋
∋9
(∃
∋9
(
21
%;∋
.
∋ <
2
.
2
2∋
>
(
1
2
(
%
1;
%;1
:
%
2
∋
;∋
2
%
#;
;
2
2
5
5
%
∋
<
5
Β 12
−
2;
1
!
1
2
≅
2
5
1∃
2; 5
Ζ+.1
2
5Ν2
5 21
:
Τ21
Α
21
∃12
1
#1
;2
2∃
∋2!
2#.
26Χ
1
∋
5
5
#
2
∋.
<
#
.==>2==;.
−. .
Α+
7= 2 #∃Β
!
,3
?Η 2 #;<Χ.
)
∃
∃
31 .;#∋;<2&>=∋&>>.
#
2
%
2
2
5
2 =2 !
!
!>.
%
∋
(
2#9
∃ %
9
<
∃
∃
∃
!∃
∃
∋
%
5
∋
2
%
+ (
=≅Α=#≅
%
5
∋
ΦΧ#+=Φ∴Χ
−∃Β∃≅0
%
2
∋
%
2
.
∋
∋9
(
∋9
Β∃≅
∋9
#≅Φ−6−ΦΧ+]ΝΦ62ΧΦ8=#Φ−6−2≅!Φ#Φ∴Χ2=8Φ#+622
2
2( 5%
∃
%
2
∋
,
;
52
(
∋
2
∋
%
∋
Χ
∋
#9
∃
%
;
5
%
;
;;
5
∋ 2
.
∋
,
.∋
Ν
< ΓΕ
;
2 1
#
; ,
∋
%
∋ Κ
5
Χ
,
.ϑ
∃
%
5,
2.∋
.
<
.
∋
.
∋ ;
#
; 2;
2;∋ ,2;
∋∋ 2
5
5
%
∋
.
2
.
∋
∋1
<
.
∋ ;
∃
2;
%
%
#∋
2
5
2;%
7
∋%
∃
%
25%
∋
(5
;
%
;
∃
∋(
,; %
;
∃
2∋ 5
2
∋
∋
,
.
#∋
2
5
2;%
∋(
∃∋
2
∃( ;,
!∃ %
%
,;
1
2
∋
2
12
∋
<
.∋
Κ
.
∋
5
5Κ
(5
∋
Κ 5
2 5
∋
∋
6.
∋
2
∋
2
5
9
;9
;
Φ
5 ;
;2
2
>
∋
?
%
<1
.
9
∋
.
%
2
2
Σ
−./..0
/
∃
.3 #;<>∋#;<∃ .<&;.
&
1
∋2
%
2
9 .
%
;∋
∋
%
∋1
;
.
∋ 8(
2∋1
8(
1
%
2
5
∋
2
%
(
%
0.,5
%
∋ 1
8(
Ν
%
∋
5<Γ∃
.
<3
%
4∋
%
;. ∋
9
,;
2Ν%
5
2
1 %
∋(
Α
!
;
2
∋
6
%
Κ
∋(
5
%
,>;8(
Η
ΙΗ8
1
ΙΗΧ
1;
1
Ιϑ ∀∗∗
∃∋
8(
∋
;; 2
∋
∃
;
∋
∋
;
(
(
6.,
7
(
2
5
0
2
1
,
∋
5
Ε;
%
∋
5
2
1
2
(%
2
∋
2
2
(
5
2
5
1
2
∋ ∋
9
;1
%
Ε; ;52
%
%
2∋
2
%
9
∋
%
>∋Ε5
Α
!
,;
Α
=
Α
!
;
∋
2
,
∋
,
%
∋
Γ;6
!
2
2
%
; < ∀⊥ ;1
2⊥
;1 ,2⊥ %
,ϑ#
2
∋
;<Γ∀⊥;
%#
∋
2
.
=
6
25
%
2⊥;
; ,
5
2
2
=
ϑ2;
,
;
<Γ;(
1
1
5
ϑ∀∗∀
5
%
2
2 5
!
,>
5
%
∋ ∃
%
%
1
∋(
%
2
(52
,
8(
,
1
2
9
∃
2
2
2∋
(
∋ Γ∋
;
;
∋
∃
.
;1#
∋
.
(
. ∃
Η#∋
;1Ι
;∋ ,.Χ
,;
5
2
∋ 8
∋
1
5
ϑ∀∗#(%
. ∃
2
( ,.
9
∋ 2∋
;
∋ 2
;
%
;
;
5%
%
;
8(
5
∀∗∗
.&#∋&&.
∀∗∀
)
.#=<.
∀∗
)
.&&
(
2
Γ−,∋
Κ
.
,;
ΘΡ #
12
.
; ,
∋,5,(5 ϑ∀∗
8
, (
<
9
∋1
Γ∋
1
ϑ
%
Κ
1
;
9
2
2(
Κ
1
;
.,∋
5
52;
∋
∋Κ
∋
5
%
∀
9
(
,
1
,
;;
∋
5
(%
2
> 5
71
,
2
1
∋
9
;
9
;
∋Β
∋
∋2
∋
#9
− 2
(
[
Β
2
#9
#1 [2
1
; %
%
6∋ 2.
2=
2!2
ΖΝ
2
2∃
2Α
∋2
Χ
2! #
.∋
2
∋
2
&!
#9
Α 2;.
(∃
2 .
9
5
∋ −∃
2#
2
5∋5,
−.
1
Λ
.∋
2
255
;
5
Λ
(
1
<−
−
−
Κ21
2
2
2
∋
2
%
2
2
9
:
2
;9
<
9.
;
;
; 2
#9
Β
5
2
#9
#1 [,
,%
∃
5
.∋
2
∋2
∃Ν
01
9%
..
5
∋
>
;
%
;122.
Λ1
%
∋
%
!,
(
..
2
1
2
5
+∋1
;
∋ :
# .∋ , ∋
1
∋,∋
<#% !
2∃
Τ
0
Η
..
;
1
:
2
1
21
.
ΙΗ ;1
∋
∋
,(
Ι0
∀))2− .∋
Ν
<; ..
∋ Γ, ∋
∋
ϑ2
.
9
7
Γ
1
∋ϑ
5
1
7 .
%
1
9
∀∗/
%
5
∀)∗
5
,
.
∀)∀2
% 1,
2(
ΜΑ
∀∗
)
.&#.
∀∗/
.3 #;<; .&∃%.
+
19
;1Α
;.∋
Β
2
Κ
∋
;
Μ
∋
5 < ∋(
Κ
%
5
1Κ
%
>∋
#
#
(%
;
∋
5
∋
. .
( (%
∋
; 7 1 2 5
>
∋
;2
∋
;
∋ 5
∋ ∋
.
2
∋
;
;∋
7 ;
,
2;(
11
,
.
>
2;
∋
∋
.
.
∋
,
.
7
%
∋
Κ#9
∃
∋%
2
2
∋
>∋
;
Η ;1
1
1 (
ΙΜ∋%Κ,
(
9
∋05
%
%
∃%
<∗3
∃Χ
%
Γ+
5
2
∋2.5
5
∃
%
2
ΘΡ ∃
%
∋
∋
#
2
2
∋
∋
2
;
∋
2 .
2
;
(
0
∋
.
%
.
∋
2
1
∃
;
2
2
∋
∋
2
9
2
5
2;
2;
∋ 2 ;
2 .
∋
ϑ∀∗&
2
2
∋%
∋(
2
∃
%
2
%
(
( ;;∋
%
Ε
2
%
.∋
.∋(5
.
2
∋
;
.(
∋
;
%
Ε∋;
%
6 .
%
25
%
;
2
∋ ∋
2;
∀)/∗
.
∋
9
;
5
;
∋
>
;
∋
(%
5
∋%
;.∋
∋1
∋%
;
.1Ε∋;
1
9 2
∀)/∗2
(
5
5∗
∃+Γ8
%
∋ ∋∋
2∋
∋
ϑ
#
∋ 5
∋∋
2
[
Β
;.∋
#
!1
;
9
>
−
1
%
%
∋
%#
∋
−
−
2
∋
∋ 2−
−
1
∋ %#
.
(
;
9∋
9
.
∋
2#9
8
+ 2.∋
1
5
;
∋
;
∋
∀∗&
Χ
<1 #;<< .><.
)
∀∗
)
&1 .Σ& #−1!#;<& .#%∋&#.
Σ
21 ./..0
∀∗
)
<1 .&Χ;∋&#Χ.
∀∗)
,
31 #;<>∋#;<∃ .<&;.
2Σ
Κ
Κ;
.
Γ
2
2
.(
2
;
;
Κ
%
2
5
2
(
ΘΡ
ϑ6
,
2
,
Α
2
,
Χ
∋
2
,
,
2
2
(
Κ (
1
,
5
∋
2
,
5
(
∋
∋ 2
. ,
,
.
∋ ϑ∀∗
6
.
∋
∋(∋
,
( 5
<
− ..
2
.∋
%
∃
;5
∋∃
%
;5
%
2
%
2
2
2 2
5
;
∋
2;
%
5
Λ;
.∋ ,∋
Λ∋1
;
,
∋<( ;
;
;
%
5
2 5
5
<
;
2;
∋
;5
Η%
2
∋ ∋
∋(
2
.
∋ ∋
;
.
∋ ∋
;
;
.
∋ ΙΓ
∋9
2∋
ϑ∀∀∗+∋1
,
. >
1
1
1
%
2
1
Λ
1
Λ:
∃
;
∋
∋
;.
∋
;
∋
5
2;
∋
∋(
%
5∋
;
∋
2;
0;. ,
<Γ
.
;
2
;
∋
%
;>.∋
2
∋
,
;
#
!1
2
(,
;
%
Α 1
. 2
9
;
;
%
#
∋
2;
;;∋
, ΘΡ Α 1
(, ∋
<
ϑ∀∀∀
#
∋
2
;.∋; ;
∋
;
1
2;
Λ;.
∋
2
5−5,
Θ.−1 15 ,
Σ
5 5− ΘΝ 2 55
, Λ
5 ! Τ 21Τ 2
! ./..0
∀∗
.#%#∋#%&.
∀∀∗
.<=&.
∀∀∀
∆
.<<Χ∋<<#.
∗
2
∋Λ0
(
;
.
2
2
∋
2
;
∋
∃
%
.∋
5
Γ
ϑ
∋
<
2
5
∋
; %
2;
%
2∋
Φ
2
∋
.
5
.
%
Ε
2
∋.
∋
,;
5
<
∋
21
+
∋
∋
;.∋
5
(
2
.∋ ..
∋.
1
2
5
2
∋∋1
,
−
28(
2
5
2
,
,
∋
5
;
∋
%
5
2
%
(
2
∋
∋
;;
∃
%
∋
%
,;
+
∋
2
,
,
∋
=>∋5
∋
∃
∋
∋
∋
2
!!;
∋
∋
5
.∋
5
+∋1
!!; >∋
5
.
∋ 2
;
,
2
5
2;
(5 ∋
∃
;
∋
∋5
5
.
(
∋ ;
+
.5;
5
.
2
∋
2 ∋ ∃
;
2
2
2
,5
%
2
Λ∋
2
5
Λ
%
∋
<
%
∋
2
.
∋ .
.
∋ 2
%
>∋
∃
∀
.
∋
5 ϑ∀∀ Η
.
∋ ∋
∋2
2
∋
2 ∋(
ΙΧ
<
Γ#∋ ∋
2
∋
.
∋ ∋ϑ∀∀#
%
∋ ∋
Γ−
ϑ;
∋
5
1
∋∋
∋Γ
∋ ϑ .
;
;
;! .
2
.
2
%
∋
2 2 %
∋
+%;
(
2Γ %
ϑ7
.
5%
2;
. .
>
;
2%
5%
5%
%
∋
∋
∋
2
.
∋ ∃Φ
%
>∋25%
2..
;
,
%
∃
. ,
.
5
(
,
;
,
8(
, 2
,
5
.
, ; . ;
.
∋
;∋
, ∃+ Γ∋
5
2
∋ 2
2
8(
;
,>
;#9
ϑ∀∀/
Η%
ΙΗ%
;%
ΙΗ71.
∋
%
∋
(
∋
Ι0Η%
(%
5 ,2
5
∋
2
∋
5
ΙΗ71
;
;
∋
;
2
9,
Ι
.
∋
.5
2
,
:
.:
.∋
;.
#%
5
5
2
2
Β
∋
Β ;
∋
2
2
%
∋
2
∋
;
5
<
; ∃
;
2;
;
0
;
2
,
5
2
,
1
#
%
;
%
∋
%
5
.
.
∋
.
∋ 7
∋ <
5%
;
2
5%
Β
.
∋
;;
,5
∋
1;
%
2
2%
∋
2
∃
;
∋
.
.
∋
2
5
;.
%
.5
2
%
2 2
5
%
∀∀
#
!
&−#;<; .>( 2
.3 #;<;
.#==.
+
! #
!
.∃<
∀∀
.3.#;<;.#=(.
∀∀/
.&&.
;
!, ,
5
%
2 2
%
∃
5
,
.∋ ,2
.
5
∃
2:
.:
25 ∋
<∋
;
(
%
2
.
∋ 2∋
5
,
0
2
2
5
∋2
%
.
;
∋
;
.
1
%
6.∋
2
2#
5
2
%
%
2
5
5
2 5
5
2.5
:
5>
;
% %
∋(
2 %
%
∋(
%
,
∋
#
%
%
2
2
2 ; ; .
.
(
7,
.
< ;1
∋
6∋
;2
2
5
:
5>
; ∋%
%
%
2>
; ∋%
%
>∋
∋(
%
∋
:
%
=.%
%
%
0
;
∋
∋ ∋(
Γ1
ϑ<
∋
5
∋ 2
∋
∋
:
∋
∋
%
∋∋(
5%
+
;∋
5
∋
:
;
2 ∋
!
5∋
1
2
<
% ∃ ∋
5
∋
∋
∋
;
∋
. ,∃∋ 2
,
2∋7∋
;95
∋
∋
5
5
9
Γ
ϑ
1
%
2 5
<
%
<
%
Γ1
:
ϑ;
9
%
Κ
;%
∋(
%
;
9∋
5
,
%
9 .(
;
∋
;1
∋
< 5 Γ
2
%
2
∋
9
ϑ∀∀&
∋
%
.∋
∋−1 Α
2#9
#1 [
%
?
∃ −
2
∋
(
Χ∋
.
∗
∃
%# 4
5
5
∋
5
∋
%
∀∀&
∃
. #;<(∋#;<> .&∃>.
.(
5
<−
:
2
;
.(
∋
∋(
Λ
5 ∋ 2∋
∋
∋;
;
.Λ
%
Κ∆∀6
2
5
∗∆∀
∋ 2
;,
#∋
;
5∋<
5%
,
.
,
5
2
#%
Ν
2
5
%
2
( ;
∃
;
2
2∋ −
>
∃
2
5 ,
5
,
(
∃
;
1
;
.∋ ∋ 2
%
2
(
;
(
;
,
2
5
2
>
5
< 5
;
2 5
1
%
1
∋1
∃∋
∋
∋
.5
<#9
∃
.∋∋
?!
!
#9
∃
2
,
Γ
.∋
62#9
Α
#
.∋
∋
∋
∋
Κ∆∀
∋
5
;
9
2
,
; .∃
;
∋
5
2 ;
∋
!
∋%
2
2
2
.
2
∋ , .
Β ∋ 6
.
∋
;
!∋ ∋>;
5
52>
;∋
∃(5
5
9∋
;
∋
∃
,2
2
∋
0
5,
Γ# .
ΘΡ; ;
2
2
1
∋ .
∃
5
5
Κ
ΘΡ .(
2
2
.∋
,ϑ∀∀
∋
2
5
%
2
5
∋
<
2
.
∋ 2
∋ 2
%
2 20
%
5
#
2
(
2∋
∋
2
∋ ∀)&
∋
;
∋
5 ;
5 7
2
2;
∋
;∋
∋ Χ
;
5
2;
∋
;
∋
∋ ∃
2
5%
∋ 2
∋
<
;2
%
2
Κ
%
2
;
(
(
%
% Κ
;.∋
;
;
%
%
∀∀
.&#=.
/
6
2
; %
2
;
∋
Ε;
.
∋
Γ;
%
;
.2
,
2∋
2
5
2
%
,5 ;
∋2
,
∋
(
;
%
,
∋
;
∋
;
%
(
∋
ϑ∀∀
Χ
.∋
, ; . ;
;
5
5 2
2∃
5
2
∃;.;
:, .∋
:, ;
5%
%
5
0
. ∋
2
(
2
,∋
(
2
.5
;;
<98
,
2
∋ ,2
∃ ,>
. ΘΡ
∋∋ 5
2
(
∋∋ .ΘΡ8
385
5
,4
;
∋
#
%
;
∋(
5 ;
#
, 2
2
;.∋(
8(
,
Κ
, 2 2
2
;, ;.
∋
2.;∋
∋
,
;.
5
53≅.43∃∋.
4!
,
,ϑ∀∀)
∀∀
.&%<.
∀∀)
.<=%∋<(#.
&
Ν
.∋ .
<
9
,#
∋
2.∋9
<
2
,