dajal dan simbol setan toto tasmara.pdf (1)
!
)
∗
.
222 3
4
∀
# ∃%&
∋ (%
∋+ (,∃%−,∋.(,∃%−, .(,∃∃/,−
0 ∗ ∋+ (,∃%−∃∃
1
!
5
&
7
6
6
8
9
&
:
8
4
;
.
&8
∗
.
;
7
∗
4
&
&
: 3
&;
&5
8
8
;
&)
7&
9
6..
7
&
;
+
6
5 .? =
.#
∃ ..
&
9
&
.
8
)
&
8
&
9 &
7
..
≅
&
& 8
.
..
6
6
& >5;&
3
8
7
8
4
6
6
9
3
8
& :
&
6
8
∗
+
&
&
5
&
8
∗>: ;
∗
&!
+
.0
?
9
4
.
Α
. Α
∗
5 .? =
.
+
=
. 9Α
& 4 9 ∋%
>
∋,,,;
4
.
4
+
4
Β
3
∀77
.! 9 &
#
;
9 7
8
6
Χ#D5#)5: Χ#∀Ε 4
3
5
=
5
7
7
.
=
5
;
.
ΑΑ
.
=
#
4
.;
= 5
=
=
5
&
8
4
4
&
8
∗ 99 +
∗ .3 Α
5
∃+
:
4
.#
9
9
8
5
8
:
.#
&
9
6
6 3
&
7
9
.7
&
8
.
9
∗0
+
&
.9
&
6 ∀
∗9=
+&
&
&
# ∃6&
∗9
∗9
+&
+&
∗9
9
+&
9
& )Φ&
∗9
+&
∗9
∗9
∗9
+&
&
&
9
&
+&
+&
.
D
.
&
;
3
9
& >
∗
Ε
&
&
+
&
:
3
9
Γ
3
∀
& 6 %%
#
∃
% ∃
&
∃
&
8
&
6
;
6&
.8
∋& &(
+ )
∃
)
∗∗ %&6 ∗!
%
&
.;
&
8
&
9
9
&
4
.
.
D
.
3
6
∃
9
% # %
#
)
% ∃ )
)
5
6 ∗ .#
4Β)
&
% ∃
∃ +
#
∗ & &
##
)
∋&
&
&#
∃
(
∃
)
8
9
∗
.
=
=+
.
∗ .3 Α
8
∋
+
&
&
∗ .)
&
−−& .0
∃Η
&
≅ &
.4 99 ,+
4
&
4
6
)
+
∃
∃&
9
+
)
)
% )
.#
#
#
∋
#
)
(
) &
# # &
+
>
/)
∃
−
)
6 ∗5
.
∃
)
.4 99 ,+ 8
&
6& +
0&
&
9
∃
% , )
) ∋
#
(
# ,
∃
∋∋∃+
)
# %
&
+
∃
+
#
% )
∃
% ∃ ∀
∃ . &
)
−−Η .0
∃Η
6∗
&
77
.
∗
+
>
&
!
&
5
&
&
&
&
&
+
& ∗ .
&6
= .
6
&
&
Ε
9
>
∗
;
+
>
5
∗
>
+
.
&
D
3
.
7
4
&
&
&
4
&
5
&
>
&
9
&
&
.
Β
!
&
9
&
&
&
:
Χ
&
&
&
>
9
)
&
6
6 )
&
Ε
9
5
&
&
+,
&
(∀
− ( %
.&
∗
∀ / ∀
&
&
/∀
∀ /∀ %∀
∀(
%
∀
&
∀∗&
& )
&
/∀ &
&
∀
−
∀
∀ ∗
& ∀%
∀%
& /
/
&
Ε
&
&
&
9
3
0+
#
&
&
8
;
&
;
9
6
5 .? =
6
&
3
&
.
!
)
&
&
2
&
8
&
3
∗
5
;
&
8
&
D
&
Β
!
&
8
=
& ∋( Ι
)
.
+
)
∋,,∃
&3
Ε
4
∃
Χ#D5#)5: Χ#Χ:3 )
Χ#D5#)5: Χ#∀Ε 4
850)5: 4
3
5
3
Κ
8
Χ
0
D
>
!
Ε
;
#
Ι
3
)
)
5
3
Κ
8
Χ
0
D
3
5
3
Κ
8
Χ
0
D
>
Ε∀; #54 85# ϑ Ι# 4;Χ DΧ:5!5# !Ι#4 :54 DΕΙ35Ε
Β
∋
# + (
9
3
4
4 8
3
5
5Α
;
Ε
!
∋− 1
, 1 ∃&(
;
∋1++∃(
0
3
D
>
∋1 & + + 2
) (
!
∋1
(
3
3
∋1
&(
∋1 , + (
0
>
1
&+
−
− %
D
:
ϑ
5
!
!
!
<
)5#85.)5#85 85)5#D#
5
8
D
8
8
4
8
;Χ#D>585
Χ:5#D DΕΙ35Ε
∀
∋0
∃ 3
(
D
6!
)
6 ∋−
∃+ + 4+∃(
4
D
9
∋− 4 +# + 5 ∃ +, ,)(
>
)
!
8
)
)
>
3
∀
&;
&
5
4
! 3
Χ
Ε ϑ
& 9 &
4
; ;
∀
)
3
∋
−
∋
∋%
∋/
∋(
∋∃
∋
−
−
/
Λ
(
∃
%
%Λ
%(
%(
%(
/
(−
(%
(∃
∃−
∃−
∃Λ
∃Λ
,
,
,(
,,
∋ −
∋ Λ
∋ (
∋ ∃
∋ ∃
∋ ∃
∋ ,
∋ ,
# !
Ι
!
∀
3
Φ
∋∋
∋∋
3
3
5
3
Κ
8
Χ
0
D
>
Φ 5;55> 85# Χ4Χ#4 Χ:45)∀5# ∀;5)
5
3
5 .? = ∋6 7 , 8
∃(
∋0&
(Β
: 9
&>
4
)
;
:
;
5 ;
5
:
)
;
5
3
∀
;
8
3
5
3
Κ
8
Χ
0
Φ 85!Β5> Χ:45∀85:55#
;
8
)
8
)
Χ
9
;
4
5
)
D
8
∋%−
∋%(
∋/
∋//
∋/∃
∋Λ
∋Λ
3
5
3
Κ
8
Χ
0
D
>
Φ ;Χ#DΧ#5Ε 3Χ3Χ:5 5 5 5:5# !50 : 454
4
∀
:
D
4
4
.
;
3
∀
;
4
∀
3
D
;
8
Β
D
8
∋Λ/
∋ΛΛ
∋Λ,
∋(
∋∃%
∋∃Λ
∋∃(
∋∃(
∋∃∃
&
∋∋−
∋
∋ ∋
∋ −
∋ Λ
∋ ,
∋−/
∋−Λ
∋−(
∋−,
∋%∋
! !
.1
23 4
4
.4! .
!
∀ #
)
7
∃ %&∋
3
9
&
;
& 7
∗
<
6
∗
% 5
6
&
&7
6 ∀
6
<
8
7
& 7
<
.
8
<
&
9
.
&
≅
7
Η
&
=
D
D
≅
5
7
<
4
&
6566
.
7 8596:&
<
∗
4
+
&
&
! (∀%&
+
6
Ι
∗!
4; 8
+
∗
&
&
&
Ε
<
;
7
∀/ &
4
..!∀
)
%
∋,,Λ
∋
<
)
5
∋−
∗
− 3
% 4
Η
&
7
+
&∗ +
&
3
:
4
∋
;
&
<
.
<
&
∋−
ΕΜΜ ∗( +
Η
3
&
&
∗
+
&
0
9
&
&
&
.
∃ ∀ − , % ∀%
/ ∀%(∀ ∗
5
..
..
4
− ∀∗
+&
∀
3
9
9
&
+& %(∀
≅
< ∗
%
∀
∗
≅
+&
∀=∀
+&
&
;
&
4
6
&
6
9
∀
&
&
.
<
<
!
&
<
∗
+ ;
9
9
;
&
&
&
∗
)
.
+
.
9
..
9
9
..
∗
∗
+&
D
∗
:
!
!
&
∀ ∀+
4
+
9
9 ∗
!
+
!
7
!
:
:
&
&
∗ 7
!
&
+
&9
)
6
∗9) ∃
+
∗ + ,+ &
, , & ,
/
0
, ,
& )
+
+:
∃ 1+
),
& %+∗
+
Η
,
&
+
&+
: +
&+
&+
, & %
4
∗ +
&
&
?
9
9
;
9
7
D
>
Ε
<
6 ∗
= &
Η
=
≅ & 5 ≅
!
9
&
∗ ∀
&
&
9
9
&
&
3
6
5
+
≅
3
;
.
&
<
<
9
+..
9
&!
9
Β
9
:
& & +
∃+
&+ +
∗ )& ∃ & ∃
.+
∃+,
&+
0
+ ,
,∀
5
&/
Β
7
9
)
≅
.
: ≅
& : ≅
&
3
≅
:
Η
!
!
D
6
:
6
∗∋(%−.∋∃∋ +
≅
− %
;
5
&
Χ
.
4
9
∃
& %
% ∃
∃
& % )
&
;
:
#
=
+ +
& ∗ ≅
+6
&
#
&
≅
∃
:
3
&
5
.
&
5
D 9
;9
& %
∃
&
#
&
9
5
%
&
& #
+ +
∗
&
#
&
∋((
!
≅
+6
Β
∀ ≅
&
&3 ≅
.
9
&
!
&
!
7
∗
≅
+
&
∗
9
&
+
9
8
≅
5
6< &
& ∗
,
% )
∗
0
# % ∃
∃ #∃
&
7%
9
Λ
>
D ;
+& +%+
7 ∗Β
9
)
∃
%
% &+ )
∃
∗
≅
≅
)
+6
<
3
%
& 0
&
9
:
)
+%+& & ∃ 3 : &
Ε
8
;0
−
!
4
Α
!
/
−
∀
∀ ∀∗
&
∗)
∀
.&− )∀
4
94
+ ;
&
&
&
&
4
)
5
4
≅
&
&
∗4
9
≅
≅
+
∀
3
&
4
&
;
;
9
#
4
&
9
=& 4
.
∋ ; ∋((Λ
!
∀−% &
∋ ;
.
&
Β
&
&
∋
.
∗;
≅
≅
9
&
≅
9
9
≅ +
9
≅
&
9
∗)
9
9
≅
≅
.
9
−
9
+
;
&
&
.
9
∗5
9
9
&
&
9
≅
+
&
%
&
.
∗)
9
9
≅
≅
)Φ
(
Ε
;
Η
≅
)
+
Λ
%
∃ ∀
Β
,
−
9
∀
6
− ∀
!
9
06
∀
!
8
<
;
6
!
6
&
&
9&
9
9
∗
&
&
+
.
&
Β
∀
&
&
9
&
∀
9Χ
;
∀ &
Ε ≅
Ε9
5
3
#
!
∀
>
8
;
%&
&
&
&
6
3
3
) ∀∀
&
&
6
≅
&
: ≅
& : ≅
≅ &
&
&
≅
&
9
&
≅
9
:
&
∋(∃/&
&
∗
.Κ
8
+
Ε 7
D
Ι
: ≅
∋(∃, 8
;
)
!
∋∃%∃&
%
&
%
;
<
&
∀
!
;
&
∃
Ε
; ≅
4
&54
9
Ι
Β
D ≅
/
&
9
)∀
.
:
!
9
)
∀
6
6
&
%&
6
&
&
6 ∗
&
+
;
..
∗
9
&
9
+..
5
&
&
&
&
Η
8
&
8
4
6
;
6
8
Ε
.
9
;
.
!
&
&
&
=
=
)
;
+
∗
9
<
3
∀%
∋
∀ ∀ /
&∗& /
.
∗
+&
6
&
∗ 33+
/&
;
∗
≅
∗
;
.
9&
9
+
;
−
6 ∀ −&−
8
&
<
∀
.
&
&
%&
&
&
∗
9
9
..
+
%
;
∗
9
/
;
∗
9
Λ
;
(
;
.
∗
9
∗Κ
9
9
+
≅
≅
+
+
+
3
≅
.
∀
#
+
!
# 7
9
;
9 & ≅ &
6
66.6
1(∀
;
9
∀ − ∗
.
+ ..
&
9
∗
6
&
&
+
8
&
&
Λ
9
6Κ
∗ ≅
(
8
5Χ % =∀
3
3
D
+6
∀ > %%
!
&
)
+ ;
.&− )∀ &
∋
≅
;
&
Ι
∗
∀ % > % =∀ &
&
%
/
/
;
&
&
Η
Η
&
;
Η
Η
−
&
;
&
&
&
&
&
&
%
;
/
;
;
&
==
6
9
;
;
6
6
∗
∗1(∀
∀ − +
+ 8
.
0
.−− 9
(
Β # 7
&
9
9<
8
.
3
5
!
5
4
4
9
∗
%
D 9
5
.
+ 8 5
4
&
&
5
D 9
&
&
∗−
+
∗
4
)
∋∃∃∋&
&
5
<
∋(
∋∃∃∋&
&
;
∋∃∃∋&
Α
%∀
+&
∋,
& ∀ &
9
5
9
!
&
8
&
&
&
&
4
&
Β
∗
∀ &∀ ∀
: ≅
+
5
& ∀ ,
∃
/−
6 ∀
(∀
6
7
(∀
4
&
∀
,
D
&
7
ΕΕ D
!
∗
+&
,
&
− ∀00
! ∀% 4
3
∀
∀
∀
%
!
(&%
8
3
D(&%D
:
9
6)
(&% &
)
9
6
<
!
9
!
)
=
=)
=
.# =
&
&
∗
9
+
4
!&%
=)
=
;
4
4
&
&
=
.
=
.
&
5
&
9
=
∗
4
&
;
=
=)
>∀ = 3
&
(&%
)
≅
+
Ι
=(
;
%=
&
!1.
>∀
∀> !
4
%
∀> 4
!
9
3
=
Ε
4
<
3
&
=
9
6
∀
. .
)
∗0 =
=∗
9
=
6 ∗(
)
Ε
!
≅
∗
:
!
..
+ D
=)
≅
&
;
:
!
!
.3
≅
!
D
+&
+
&
∗
.Κ
9
+
≅
4
Β
9 <
6
/Ν/Ν/Ο∋/ 8
9
6∗
;
+
???
9
∋
.∋ &
<
∗<
&
≅ +
9
<
./
Χ
!
−−&
ΛΛΛ&
Ι
)
3
∋ −/ ;
∋−
&
.
.. ∀ ∀
6
)
∀
∀
6 ∀ −
∃
∗ &% ∃ % ∃
6 ;
∃
6Φ
6
.
∀
6 3
#
&
.
&
.
D
9
:
∀%
!
/
8
=∀
;
∋∃%% Β
8
5 ≅
+
!
=
&
5Γ
, %%
!
8
%%∀
Π
&
5 ≅
6
&
& <
Β
∋;
∋∃%−
5 ≅
9
∀ &∗& 6 ∗ ≅
=∀
&
∋
.
&
∋
;
.
Ι
8
6
6
∀ =
∋,% + ;
8
6 &
( &6 ∗
∗
9
5 ≅ &
Α %∀ & ∀%% ∗
!
Β
∋ (.∋
+ #
≅
&
&
∋,∋Λ+
& ∀ )
∋,∋%&
;
6
.
6
!
Η
&
3
Ε
9
− (
65
Ε
.
<
#
;
&
6 55
, 8
3
D
..
∋ 5 ≅
∋∋ Ε
;
.
.
)
3
∋∃
9
∋∋
8
&
9
9
<
!
5
Β
&
∗
!
!
&
+
.
=
6
6
!
(
∋
;Χ .
(
∀
3
(
Ε
∗
≅
&
Ι
0 =
−
)
>
=
!
6
6
∗
∗
5
9
/ 5
Λ 5
( ;
=&
!1.4 :
&
&
∗
=
=
4
8
.
9
+&
∗≅
+
0 =
+
+&
∗
9
+&
∗
∗
≅
&
+&
+&
+
−−
%
8
&
∋−
ΛΛΛ
6
6∗
≅
9
+
&
.
..
3
∀
ΛΛΛ
!
)
≅
..
5;
&
9
≅
!
8
4
;
!
≅
−
&
%&
.!
Γ >
..
)
<
<
6
3
ΗΒ
≅
+
∋− ∋∃
∋
!
)
6
<
∗
∋
.!
∗Ι5 +
9 ..
6)
≅
.
;
6 !
Ε 9
:
!
.!
8
Ε
.!
9
&
&
&
&
∀
6
;
6
<
)
..
9 3
=
6Ε
∀
∗
&
ΛΛΛ+ ∀
93
Η
&
.!
Α ∀ &(
9
=ΛΛΛ=
!
6∗Β
!
9
3
6 9
6
Ι
ΛΛΛ&
9
.Κ
+
&
9Κ
.!
.
&
&
;
&
9
.
;
&
68
&
5
.!
&
.
6∗Κ
=
.Κ
&
9
9
<
&
&
& 9
&
Β
&
9
+
<
9
0
9
<
3
&
6
<
)
((
&
6 ∗
∀/ ∀
+ 4
, ∀&
5
64
8
<
<
4
4
5
6∗
%
7
5
9
≅
5
Λ−
5
9
4
6 ∀>
&
&
5
7
Λ−
−
%%&
≅
9
∗Ι5 +
6
6
6
.
!
&
.
∀
∗
) ∀∀
%&
3
.
∗ 33Η ∀
∋−
#
+
&
%
+
!
<
6
6
)
∀
∀
∗∋∃∋ .∋∃(/+
∀
6<
7
&
&
6
Α
∀
)
! & ∀
∀
9
;
%&
6
6&
!
9
;
<
!
)
6
6
;
&
&
&
4
)
&
4
4
6
4
6
&
6&
&
∗
)
<
6
9
&
+ >
&
!
.
5
&
9
∋
Ε
6!
∋
&3
∋(.∋∃
&)
.
Β
6;
.;
=Θ6
∋
Ε
<
&
& =5
−.%
Η
&
8
&
.
6
−
<
64
− ∃
)
&
.
.
.
Γ6
%
5
6
Ε
∋ ΛΗ
∋
.
5
;
& =8
)
)
& =8
Γ=
= 6
∋%
4
6
6
∗
9
≅
+
&
Κ
6
<
∗
& 9
7
<
∃ ∋Λ
56
6
6
6
+
=
=&
6
6
.
9
&
&
;
!
9
;
6
6&
4
6
6∗ ≅ &
&
+
..
Η
∗<
∋
−∋+
4
9
&
8
.#
.#
∗;
;
% ∃+
∗
∀
&
!
≅ &
+
<
≅
!
&
.!
& &
! &
D
5
4
&
Β
&
Κ
6
.
6
D
6
6
Ι
&
.
∋− < 7
! .
∃ ∋Λ& 68
=
=
;
5
.
6
∋/
3
5
Β
∀−% & 57
)
≅
.Κ
+ ;
=& 4
&
&
.
9
!
∗
:
=;
8
3
&
=
&
9
∀
&
9
6.∀ (
6
∀
6
∀ (
6 ∗−
∀
+
,
+
3
,
&/ ) , % ∀ =∀
Γ7 , % ∃& & ∀ − ∀
Γ?
∀ ∀ / − % −∀
Γ≅
∀
−
) &
−
=∀ ∀
Γ# % ( %;ΓΓΓ
ΓΒ Α%&( )
∀
ΓΦ , % !
5Γ
∃8 ∀
%
∀ ∀ ∃& :
∋( Ε
.
6
#
5
: 9
&
−
∋(
;
<
&
&
&
&
&
&
&
&
&
3
6
.
&
&
6
3
&
&
.
D
&
&
&
&
9
∗
&
9
!
5
∀>&∗&
.
&
&
∃
6
&
4
!
6
≅
5
5Β
+
∗
9
3
+
#
<
.−− 9
/
;
.
∗
9
.
9
+&
9
&
3
&
9
&
&
Κ .
&
≅
&
Ε
9
!
;
9
&
≅
∗
&
+&
4
&
6
;
6
!
#
∗#
∗
+
;
3
&
9
.
∋− ∋∃
9
4
&
)
Κ
9
9
&
3
&
∋∃ Ε
&
.
∗ΛΛΛ+ 6
Ε
+
&
.
Β
6<
&
≅
& ∋∃
Α
∋∃
&
;
9
.
&
3
;
!
!
# ≅
∋((Λ
Ι
Β
&
9
≅
9
4
5
Β
∋
!
)
9
&
)
ΛΛΛ ∗5Φ+
3
3
Ε
6
ΛΛΛ )
!
)
&
)
∋,,,
6
6
6∗
!
#
.
!
∗#
≅
&
& ∀ 6
3 ∋,,,
∋,,,
≅
+
&!
+
∀
.
4
∗ 9 &
Ε
9
≅ &
≅ &
+
.
ΛΛΛ
3
3
;Γ
0− .1 !
∋,,,
&
4
&
+: & + ∃+
, % !
5
4
&
6
∃
Ε
>
9
;
&
&
& ,+
∋
ΛΛΛ
≅
&
9
Ε
3
6
&
+,− ./
1
9 &
9 6
4 ;
&
∀ ≅
4
64
&
!
;0
&
;06
!
;0
)
& 6Ι
6 ∗5
7
(+
;
.
!
∗!
7
%( ∋−.
+
∋, ∋ ; ∋((ΛΗ ∋ ; ∗
3
ΛΛΛ
5
=
./+
∋Ν/Ο ΛΗ ∋(( Ο ∋Ν(Ν( Ο ∋/ Ο ∋Ν/ Ο ΛΗ
)
∋((Λ&
∋∃Ν∋ Ο ∋Ν, Ο ∋ Ο ∋Ν Ο ∋ Ο
=+
∋,
9
∗ ≅
4
5
<
6>
.
#
&
9
&
#
∗
.
.#
<
.
.
.
+
5
6 ∗ .)
3
&
−%+
.
<
&
5
9<
6
7
5
.
6
&
4Β)
;
;
5
Η
5
&
#
!
∀
&
&
5
5
4
..
5
4
&
)
∗
99
D& =∀
&
%
+
∗ ∃+
3
0
∀
& )
9
99
&
.−−&
∀
%
&
+ ∃+
4
5
Β
/+: &
,+
9
5
7
5
Β
&
.
Β
;
5
&
&
&
6
&
( &6
9
9
4 ;
&/ ∗∀
. +
9
&
&
6
6
&
4
8
8
∗
6
+2 ,
6
6/∀ ∀
6
6
;
8
..
4
..
;
9
, +, %
6
&
:
&
&
9
&
8∃
:
;
&
&
4
.
4
&
9
&
6
&
9
6
&
;
&
9
8
6
9
6 ∗
+&
7
&
3
&
7
9
&
7 &
7
9
6
7
&
.
6
..
∗
4
+& 7
& 7 ;4D ∗
)
& ;4D
3
+
&
− ∀: /&
− &/ ∀ :
8
8
)
−
∀
)( ∀
& 8 &
∀
8
>
&
6
6
∃%
>
9
+
<
&
.
>
8
<
Β
∗>
&
;
&
9
Κ
>
5
8
7
Β
8
3
Κ
>
&
9
<
)
Κ
&
#
& D
9
8
D
& 3
9
4
& Χ 7
= ∀ − − ∗
<
& 5
&
<
)
&
Ε
Η
+
3
8
&
8
&
9
9
≅
&
≅ &
&
;
&
&
9
&
.
7
4
9
&
<
!
<
!
5
∋, ( 4
.
<
∗∋∃%∃+
>
4
#
∗∀ + 8
&
<
8
<
>
4 ≅
5
&
≅
5
∋,/∃&
) ∀
Β
5
&
∀
Β
)
:
:
&
&
9
)
>
# <
)
)
)
&
;
6
6
6
∗Κ
3
6
#
+&
#
!
!&
Η
53Κ ∗5 3
1 &
D
;
3
!
Κ
+& Κ#3Κ ∗Κ
Η4
!
&/ 8∃
6
6 ..
&
≅
6
Ι
% (∀
6. ∗% )∀ % =∀
. )∀
6
Η
&
∃ %
3
Κ
Η
+
%∀:
&
6
#
3
Κ##
D
7 ..
3
6
,
∃
# # & +&
8
&
&
6
6
9
D
&
9
.
&
Ι
9
&
&
&
.
&
&
∀
8∃
&
:
8
&
∗
&
∀
.
&
&
.
&
+
&
&
5
9
.
≅
3
.
&
9
&
&
4
≅
4
.
;
!
&
.
&
)
;
D
& 6)
:
!
0
6
4
&
!
&
9
4
−
%%&
∗Ι5 +
−
5
4
&
9
3
9
.
9
Β
9
!
9
&
&
∋− ∋.−
;
&
.
3
6Ε
&
Η
.
.
3
8
;
&
8
Θ6
;
9
≅
!
∗
!
∗!
3
!
6
+&
6
.
&
9
+
9
.
<
3
&
<
)
=
8
∗
≅ +
..)
)
&
&
!
9
&
..
3
6Ε
& 5
&
:
&
∗
+
6 ∗Β
.#
3
5
&
.# &
∋− Λ+
!
;
9
&
9
&
&
≅
5
4
&
;5
∀
..!
& !
&
..
&
..
..
;
&
4 & >
3
5 99&
.
& 5≅
.
& D
& 4
8
&
&
9
5
&
Ε
3
9
<
∋ )
99
%
&
&
8
9
9
&
7
9
9
&
&
4
&
)
7
7
. !∀ /
&
5
&
9
!∀(
8∃ ∀∀
!
;
9
≅
∀ :
&
&
;
3
5
>
8
&
9
9
&
&
;
&
.
4
&
&
;
&
9
.
9
6
8
6
)
&
9
&
&
&
> ∋
6
9
&
Β
=
=
∗
)
+ 3
)
.#
0
≅
6;
9
9
6
3
≅
D
Α
9
)
9 ≅
&
0
9
≅
6
)
>
&
5 99
&
9
&
&
5
&
9
&
/
&
&
∀ /∀−
8∃ −
:
4
7
9
∗
&
;
+
6
6
.
6
6
9
9
&
9
4
>
9
.
&
&
9
≅
&
.
≅
>
&
5
9&
&
#
)
+
;
3
&
!
9#
∗:
≅
0
#
!
&
;
9
&
&
!
9
9
!
9
&
6
6 4
9
7
&
.
8
≅
9
&
&
.
3
.
9
&6
6
9
6
4
&
7
6 ;
6
6
Ε
9
9
&
&
>
9
6
6
0
7
6
8
&
6
&
6
6
;
&
6
&
5
6
!
3
Ε
4
6
&
7
9
6
)
.
≅
&
6
6
7
&
Λ
∗
+
;
∋
9
)
&
! 9
7
.!
4
&
9
&
0
&
9
.
&
&
&
!
#
≅
.
6
6
7
∃
0
8
3
7
9
6
6
3
6
6
9
9 7
3
9
&
&
;
;
Ι
.
.
&
3
6
& 5 .? =
6
!
9
.
∀
.
9
7
&
9 7
&
9
&
≅
9
8
6 4
.
&
7
6
&
∀
&
7
..
..
.
∗
≅
&
9
+
&
9
8
9
3
&
&
9
4
&
&
&
Γ!
;
!
&
Ι
;
.
.8
&
9
&
&
≅
&
(
9
;
5
&
>
+
/
9
∀ (&
+
%∀
∀ ∀
&
/∀
/ %
∀/
+ 8 %D! Η
∀
Ι
5
%∀(
&− /
∀(∀
%% 8
Χ ;Γ7 :
(∀
%
∀
:
&
9
4Β)
+8 %
∀
5
:
Η
3
Χ 55Β:
&/
/
&
%
∀
%
&
/∀ ∀
.# &
&
9
!
&
9
;
;
&
.
&
.
.8
!
&
&
8
9
9
&
3
2
&
8
6 9 ==&
;
Ε
9
6
6
&
9
.
;
.;
4
&
Γ
6
&
.8
&(&
6
63
9
62
∃ ∀∀
∀
∀
∀ /%
68
&
.
4
9
8
9
+
9
9
&
9
)
9
9
#
9
.
.!
D
.
&
6 ∗4
6
:
!
6 )
≅
<
.
<
&
&
∃
&
&
.
;
&9
;
;
∀
.
.
&
Β #
0
∗
7
+&
;
8
&
9
5
&
&
9
9
&
3
&
9
3
9
%− ;
<
:
>
∗!
&
8
>
5
9
+
.
!
.
&
8
D
&
∀
.
&
∋ )
!
0
)
)
∗!
∗!
)
&
ΜΜΜΦ ≅
8 ;
&9
∋Λ Ι
∋Λ%Λ
)
+ !
/.Κ
Η
9
∋− Λ
6
6
+
&
)
&
)
!
&
Κ
4
5≅
+&
5
)
4
∗)
Χ
;
..
!
&
9
!
!
&
&
)
&
.
;
.
&
&
6!
)
&
.
∗)
!
..;
≅
3
;
&
)
9
≅
&
6
&
&
&
Λ−+
)
≅
,
D
4
4
&
% 4
!
)
!
)
Χ
:
:
)
Ε
>
)
:
&
&
>
4
∗:
&
+
Κ
Ε
3
&
!
)
;
∗
&
=
6
∀
+
.
3
Η
&
∗
)
&
Χ
∗
&
∗)
∗
)
9Χ
..;
Α +&
.
9
3
≅
&
8
:
9
&
Α &
&
≅
Λ(+
3
9
Κ
∗Κ
&
3
≅
..
+ ..
4
&
&
3
&
<
&
<
8
&
&
&
&
&
;
<
Α +&
+6
.
&
&
!
&
&
9
>
∗≅
+
4
−
)
6
6
Ε
5
)
Ε
&
8
:
!
)
&
7
&
)
Ι
∋− (&
!
≅
!
)
∋−
&
)
&
8
;
∋, ;
∋−∋%&
∗
+!
)
&
8 ;
∗
Κ
)
;
&
Κ
Φ
)
!
&
Α
;
)
9
!
)
4
:
+
;
&
Α
&
&
&
9
&
.
6
6
9
&
6
9
4
&
:
Κ
:
&
&
&
99
∋( /
9
≅
Ε
6
∗
Κ
64
:
: 6 9
:
99 &
&
∋% +
99
..3
8
& 9
∋( /&
≅ 9
&
;
&
9
Β
!
4
5
D
:
&
!
>
)
!
)
5
)
∀
!
)
)
!
.
Κ
6!
&
)
<
&
<
Ι
)
Ε
∗!
∗!
∗
)
Β
:
)
+
:
>
4
&
3
+
<
6
9
−∋
+ 8
&
∗<
≅
&
8
..3
≅
∗Κ
+
9
3
97
≅
&
≅
D
≅ &
Ι
D
∃−+
4
;
!
6
!
)
.
&
&
6
&
.
&
!
.!
!
)
&
&
.
∗
&
9
5
+
4
3
!
3
!
Β
∋ .∋−&
.
8
3
.
9
& 9
3
4
#
;
!
)
6;
6
3
5 9
6
&
8
&
4
;
.
6 ;
4
3
3
<
5 9
;
=
=
Η
3
#
;
&
.
∗8
9
Ι
;
Β
;
69
6
6
&
4
5
5
9
≅
9
9
)
60
9∀
6 ..3
&
6
3
9
:
3
5
6
9
6=)
9
9
Λ(+
;
9
&
4
&
&
#
)
&
5
&
;
)
4
5
&
.
&
#
;
.
!
65
&
;
9
6
3
65
Ε
;
6&
3
&
&
6
6
.
&
.
!
3
−
)
&
&
&
.
∀
&
&
9 5
&
&
&
∗∀
5
&
+
3
&
9
#
9
∗
D
+
∗)
+
∗
5
+
.
∗
+&
D
5
64
47
3
Ε Φ &
4
)
&
>
.
!
;
∗)
&!
93
.
&!
)
4
3
;
9
&
&
!
6
)
D
..Ε Φ & )
&
&
3
∗∋,ΛΛ+
)
5
) 4
&
8
∀ ≅
Β
!
)
99
D
/ 8
)
&) 3
3 &
9;
4
9
&
&
&
.
−−
D
%/+
&)
Ε
.
!
<
!
&<
!
!
;
.!
8
&
9
&
)
≅
4
&
&
&
9
&
&
#
!
9
&
(
4
∋Λ(−
&
..
8
9
6)
4
D
Ε
9
;
6&
%
&
6
8
6
!
9
4
5
∋(∋(
94
9
&
&0
9&
;
!
&
≅
9
;
..
&
&
6 4
6
&
9
&
.
∗
+
&
9
&
5
&
#
<
∋,Λ∃&
)
6!
Κ
9:
∗
&
Χ
& 8 5
:
+
&
:
&
&
∗∋, ∃.∋,∃%+
Β
∗)
Κ
9 :
+6
6
&
&
9&
&
.
6
−%
Ε
5
)
!
Κ
9
9
∗Β
9
9
9≅
9
)
&
&
≅
9
∃ 0
∗
>
∗
&
∋,,(&
4
D
:
+
≅
9
&
..) ≅
&
9
&
Β ; !
9
+
8 8 7 >
<
+&
4
D
3
&
.
4
&
D
9
∋,(−&
Κ
)
9
≅
≅
5
6
∗!
∀
6
5
−−
∋,,Λ
)
≅
Φ
+& ∀
&
&
∋,,/&
)
5
∋,,(&
9
)
∋,,%
9
:
9
<
Η
!
∋,,/&
)
!
5 Φ
∀
< + !
∗
9
∗
9
0
8 Β 9
9
#
Μ
<
&)
Κ Ε
&
+&
+
6
≅
+&
.
Β
<
<
9
<
&
Β
6
∗∋∃∋,.∋,
+
<
7
5
ϑ&
&
3
)
!
Α
&
9
&4
9
∋(∋(
&
Φ
&
∋,%+
9
5
4
.
&
&
Ε
∗:
5
;
&
6
&
&
;
)
)
&
<
9
&
..8 ≅
&
Ε
ϑ
&
7
!
5
&
∗0
#
9
)
+&
6
60
&
∗
9
7
:
&
4
&
6∗
Χ
Κ
∋,,(
&
!
∀
5
#
∗
4
&
+
−/
)
!
)
∗)
;
3
Ε
!
)
+
4
3
∗
&
+
.
8
&
&
.<
&
≅
9
Ε
∗
+
;
&
&
&
&
3
Ε
&
∗∋+
)
∗ +
)
∗−+
)
∗Χ
+
9+
∗;
3
Ε
:
4
&
5
∗0
)
;
+
<
:
&
)
8
9
&
)
8
&
&
!
)
&
4
;
9
&
&
4
;
3
&
6
6&
6
6
4
9
8
6
;
∗−−
+
&
6
9
;
&
−Λ(& 3
)
:
D
!
7
%%−&
∗:
5
;
+
5
.−−
<
∗
+
6;
∋(,(
;
&
5
6
8
8
&
.
−Λ
6
6
∗∋+
∗ +
∗−+
&
;
;
;
Χ
;
;
9
;
&
)
!
9
∗)
9
&
;
&
!
)
+
;
&
8
∗
)
)
)
&
6
)
)
)
.
&
&
9
9
+
&
∗∋+
∗ +
∗−+
&
:
4
4
6
&
;
;
Χ
4
;
9
9
9
9
≅
&
&
.
Η
&
&
6
6
&
5
− 5
&
6
6
0
4
&
9
&
!
!
&
0
&
&
<
)
!
6;
:
&
!
9
0
&
&
Κ
)
4
9
∋:
Ε
3
.:
:
0
8
3
5
&
∋∋ ∋ .∋∋ 6
5
;
&
≅
Β
&
9
<
4
8
9
&
∗
≅
&
+ 3
3
Η
.
∗
−(
+9
&
<
>
<
4
5
5 99
<
!
)
&
:
&
!
!
..
)
&
!
&:
>
.
..)
) &
3
∗
&
&6
&
+9
& 6Φ
≅
>
9
≅
&
6
<
∗ = + 9
∗<
Κ
!
+
&
6
!
!
6
!
&
..
!
3
&
<
<
6
6∗
8
Λ
≅
+&
&
/8
!
&
≅
≅
& )
5 99
&
6
)
!
Β
..
>
3
&
9
3
+ 4
& !
6
∗
4
&
6
&
≅
.
∗Κ
6
3
&
≅
69
& ∋,∃−+
9 &
≅
9
6
6
9
4
;
; ≅
..;
& !
.
&
&
≅≅
8
∗
+ Κ .
!
%
5
5
9
&
.
&
9
5
&
∗
5
Ε
5
9
D
+ 4
9
Χ!
#
Β
;
5
!
&
)
%.∋∋.∋(/ 0
,.∋∋.∋((/ Β
>
%. ,.∋∃
Κ
−∃
#
Ε
Ε
Ε
Ε
Ε
%
Λ
# ∋
−∋
)
Φ
Φ
)
)
&
3
%. ∋.∋∃∋(
5
Ε
≅
D
.∋∋.∋∃Λ% Κ
−. %.∋∃Λ/
>
%. %.∋, ∋ ;
∋∃. .∋, , !
∋−. ∃.∋,
;
,. .∋, ,
3
∋∃. / ∋,/∋ Κ
5 D 9
Β
; !
)
: ≅
Β
> )9
Β
D >
>
4 )
D
0
%−
≅
Ε
Ε
Ε
Ε
Ε
Ε
Ε
Ε
∋∋,
)
Ι
∋
Φ
∃ Λ Ι
3
−/Λ
Ι
(
Ι
%/
−
Κ
5
Ε
)
Ε
&4
9
9
9
5
&
9
9
&
&
9
9
&
Ε
∋( 5
:
:
∋∋ 0
4
..D
D
Ε
∋∃Λ/
∋,∃∃
8Κ&
Β
)
>
4
:
Κ
;
9
3
3
D
)
5
;
Β
&8
4
3
&
8 Χ
Ε
5
&
#
Κ
&
<
9
/ 0
Β
# 7
5
Β
0
#
7
∋/ Ι
9
0
Β
∋∃%%
∀ ≅
# 7
:
3 7
&
Β
&
9
∗
.−−+
&
∗
+ 8
;
3
!
9
Φ
3
&4
8
&
&0
8
8
>
Β
Χ
−,
>
# 7
&
&
;
6
∗
6
+
&
3
&
6
)
4
&
ϑ
Η)
∗=
6
&
Α +
&
Β
ΗΙ
D
.
&
.
9;
>
&
9
&
!
Φ
..
>
≅
>
∗; 0
Χ
4
Β
9
.
Φ
≅
≅
9
&
∀
.!
&
)
&
D
)
)
Γ8
Γ4
%
9
+
)
)
3
& 6;
)
Ε≅
0
5
<
3
≅
Ε≅
# 7
)
&
4
&
%∋
∀
3
ϑ
67
6
<
<
<
Χ7
8
<
6
∗
+
6
8
63
;
7
9
Χ
6 ∗3
&
&
< &
;
<
∗<
∋∃,/&
!
Χ
+& Ε
3 7 & 4
)
9
9
<
∗<
.4
.
7
9
<
&
ϑ
&
+
6
6 9
&
&
7
+&
9
5
∗<
&
)
59
>
7
>
7
7
+
9
∗
+&
&
9
7
.
∀
&
7
9
&
&
.
9
.
&
.
.<
4
∗
& 6!
ΜΦ
∀
+
&
.
&
!
.
&
9
;
6
.
∀
&
∗
.<
+
Κ
&Ι
9
.
.
;
9
Ι
≅
3=
3=
&Ι
3
&
Ι
4
;6
;
..
6!
.
99
&
9
..
&
&
!
&
6
− Ε
&
+
6 ∗
& )
.
−
+
4
6
∋, −
9 7
∗=
7
∋
Ε
; 0
5
&8
0
.5
∋,,∋
%
.
∗)
9
&
&
99
&
Β
+
∋∃,(&
!
5
ϑ
3
&
3 7 & 4
&
∀ − ∗ϑΙ5+
4)
&
ϑΙ5
3
9
>
> 7 Η !
7 >
<
+&
<
) ϑΙ5 !9 4 ≅ 4
∗
7Η
5
)
;7
;
8
/
5
D
ϑΙ5
&
9
3
&
&
;
&
.8
&
&
.
.
∗
&
+
&
∃ ∀∀
&
&
8
Κ
Κ
&3 9
Κ
&
Χ
&
4
Κ
8
&
!
&
&
.
9
4
!
&
&
6
.
!
&
64
)
≅ 6
6
6
7
)
D
7
Κ
6
&
&
9 D
.
9
&
9
&
.
&
&
&
9
∗
&
+
&
&
Η
Κ
9
≅
≅
&
&
&
6
6 ;
&
ϑ
6
;
.
% Ι
∀ ≅
Β
&;
%−
&
67
6
9
6
∗ ∀%
∀%∀>
== .
+
,
7
9
Κ
9&
7
..
=
)
7
0
: ≅
:
Ε
ΜΦ
D
)
Α
∗5
0
;
Α
≅
;
)
9
!
)
&
Ε
=
0
8
: ≅
9
3
ΜΦ & 9
&
((+
..3
≅
:
&
5
D
7
∋((Λ&
7
≅
9
9
.
&
&
&
.
9
;
3
&
&
.
33 ..
..
&
.
&
9
9
3
Ε
&
Κ
:
Κ
; 0
5
& :
Κ
9
.
&
&
9
&
9
:
&
6
Κ
Ε
Κ
3
:
Κ
Ε
6&
Κ
;
;
&
&
Κ
7
Κ
Ε
&
9
6
:
&
8
6
&
9
6
&
9
.
%%
6
3
&
≅
&
&
∀
7
:
.
∋/
∋,(∃
∋−,∃ > 4
4 =
∋,∃/
&
9
∗
Κ
+
Ε
.
9
Κ
0
;
9
9
∋
/;
57
Ε
9
&
∋,/
3
&
8
5
Φ
8
∋,∃∋
.
9
∗; 0
∋(−+
%/
5
&
! !
D
.
+
(
D
7
>
∀&
&
/ ( % /∀
∀%&
∀∗∀
&
∀%
(
∀
&%&
∀/
8
;
9
9
6
3
.
4
&
5
9
5
&
#
6∗
&&
8
=
# #
=
)
&
!
:
∃
.
# ∃
#
∃
&
Ε
% ∃
3
+
Ε
∃
;
Ε
#
)
&
&
9
.
6
∋∋&
#
# ∃
;
)
#
)
8
3
&
&
∗Β
6
∃
∋− ∋+
&
∃
∗Β
6!
#
%
%
+
&&
∋− ∃+
∃
+ #
)
∃ %
)
∃
& %
∃
∃
& #
∃ ∃
∃ ∃
∃ &
#
6 ∗Β
∗Β
&6 &
∃ ∃ &)
# &
#
∃
∋− ∋∃+
#
∋−+
∃
∃
+
& %
#
∗Χ +
∃
#
% ∃
)
∃ %
#
)
& +
5
∃
%
#
∃
#
) )
∀
&
&
&
%Λ
&
6
% /
−
% ∃
6 ∃
∃ # %
)
6
&/ #
;
62
+
%ΧΒ;:
6
.
5
.
8
∀ ∀
(&
∀ ∀
&
;
&
8
#
∗ &
∀%
∀/
D
8 D
∋( ∋
#
&
& %
)
∃
Ε
#
∋(
%
∃
6
&
&
% +
+ # )
#
∃ #
)
∃&
)
>6
#
#
)
&
&
&
.
8
.
5
.
9
&
.
8
8
&
.;
#
#
3
.; =
99 &
99 &
∋∋(
&
=
9
5
!
99
9 = ∗
∗
+ 5
.
9 &
=
4
5
//
#
&
.9 . +
∗
+
9
& =
9
&
9
9
&
99
9
=
&
&
9 =
= 4
&
5
9
= 8
9
9 &
99
&6 Χ
99
5
+
9
∗
9
=
.
.; =
∋∋(&
6
8
9
//&
9
5
.
∗
+
5
5
9
9
∗#
&
6
)
+
+
∗
)
∃∗
∋ ∗
, #
∗ ∋)
%
;
99
=
9
&
5
∗
(+
+
6 ∗ .#
6 ∗ .; =
6 ∗ .5 9
,(+
/ +
5 .? =
#
#
= ∋/+
;
.
9
5
!
+
(
=&
99
99
.
6&
&
+ >
#
9
6 &
6
5
9
&#
6
+ Ι
∗
9
&
)∋
9=
∗
+
5
#
//&
9
&
9=
#
&
&
!
9=
9 =
9 = ∗
9 =
+
5 .? =
=
&
6
∃
3 Α
6 ∃
∗ .5 =
& #
/− +
&
=&
) ∀
& #
∃
5 .? =
# #
% ∃
∋∗
7 # 7∃
&& #
)
∋∗
7 # 7∃
∃
(6 ∗ .
∗? # 7∃
(6
∋Λ/+
4
.
∗ .;
∋∋+Η
Ε
.; =
Λ(&
9 =
6
.
;
=
=
6
9 = 6 ∗ 7.ϑ
9 = 6 ∗< 9 (Λ+
.3 Α
(
−%& .5 =
9 − +Η 6
Λ∋& .5 9 ∋ /& <
%∃
9 = 6 ∗5
%Λ&
#
.: = % & .>
5 .? = .
%+Η 6 9 = 6
/& 7.ϑ
% &
&
#
/
/&%
9
∀(
(∀ &
5
4Β)
∗ .5 7 Λ + #
#
&
.
5
8
9
4
9
4
6
5 ? =
#
&7
ΓΕ
&
8
5 .? =
#
8
&
8
&
9 &
8
!
#
8
&
5 .? =
;
#
8
5 .? = &
Ε
;
&
D
∀
(
5
3
&
∗ %
5 .? =
8
)
&;
&
#
9
&
3
.
&
8
6
.
;
5
5
5
5
Θ6
&
8
>
;
&5
8
&
.>
&
5
>
& 6Θ
5
&
9 &
;
! =
&
6
94
8
?
.5
& 65
8
&
&
5
&
∗
3
+
∗Β
−
∗
+ 8
&
%.Λ+
∋, ∋∋. ∋& Β
;
5
%
6
;
(∗
&
Ε
.
+
..
! =
)
&8
:
.
..
/
5 .? =
(∗ +
.5
<
5 .? =
)
&8
&
9
%,
:
5
∗
5 ≅
;
+ <
#
∗
<
+
!
∀
≅
!
/
∀ & Χ
(
& &
∀ !&
#
&
9
3
5
99
∗
9
+
//&
&
Η
9=
∗
+ 4
6
&
8
=5
)9
.!
9
∗
= ∀
∀ (∀
99 +
=
9
%−
=&
9 6
=
99
5
4
& ∀%
D &= 8
6>
&
&∋& ∀ ∀%
&
& ∀% &
7.ϑ
%
6>
%D%
∀∗
=
=
&
&
) ∋&
%
) &6
&
&
6
=
&
) = >
!
∋
#
8
9
5
= 8
∗
//& 6
9
99 6
#
&
9
+
#
=
;
#
8
8
#
.;
5
..
&
.8
..
&
6
&
.;
9
6
#
.8
7
5
%D
4
9
D
∗ %
5
8
; &
Λ
(
4
) ∀
/) )
3
8
>
&
& 0& %
∃& %
!
:
)
/)
Β
.4
.;
=&
&
∃
% ∃
)
.
8
Η
&
& ∀
6 ∗ .#
=
∃ ∋)
= ∋(∋+
#
&
5 .; = 9& 3
/
4Β)
∃,%
5 .? =
∃
(
#
5
&
5
;
5
6
..
5
!
&
9
&
3
5
∗
&
4Β)
/,+
+ 6 ∗5
#
3
5 !
5
5
8
%
6
)
&6
∗ %
5
&
8
;
&
& 6
5
8
)
=
&
&
9
= 4
9
Ι
&
5
5
68
6
9
.
&
&
5
9
&
6
∃
5 .? =
∗<
9
∃
∋%
&, )
)
&
.
.#
(
∀
∃#
!
%
#
&
#≅ 9
& %
6 ∗ .#
∃
)
= ∋ −+
9 . 9
#
++
∃
∃
5
!
+ 4
.
∀
) & ∃
#
6 ∗5
9
>
Α% ∃
) &
Λ,+
;
9
∋& #
&
4
.
) ( ∃
&
)
&
&
.#
) &
&
.
<
:
∗
+ ;
6
3
4
&
(
8
6
&
+
/∋
)
)
9 4
&
6
&
∗
(
&%
5 .? =
6 &
) ∃
& % )
70 ∋)
∃# ,
∃
∃ %∀
& ∃
∀ & ∗&
%
9
& #
(∃
∀ −
/%∀
5
∃ &
∃ ∀
&& ∀
!
++
# % ∃
7 % ∃
6 ∗5
/∀ (
&
∗
% Η
<
)
#
#
(∃+
∃
∃
Ε
? =
<
5 .? =
∃
∀
#∃
&& ∀
9
.#
# , ∀
#
)
#
3
&
)
/
∃ &
5.
&
&
4
∗
+
∗
∗
&
∋− Ο ∋Ν− Ο %+
+8
%
3
<
&
&
&
:
&
9
;
8
6
.
&5
4Β)
,
& ∀
)
# &
# ∃
) ≅ 70 ∃
∀
% +
)
>6 ∗ .3 Α
(,+
D
9
#
+
7 ∋∃
& ∃
∃
7
+
)
& ∃ Α
& ∃(
% #
&
9
. 9
≅
.
∀
5
9
9
9
/−
5 .? =
6!
+
+
!
4
9
∃
#
7
%
.#
∃
%
%
)
6 ∗ .#
= %Λ+
&
6
6∗
&
≅
+
&
&
&
>
5
6 #
&
:
# &
#
∀
9
#
6 ∗ .3 Α
7
5
.# &
5
∃ %
#
% ∃
∋ ,+
&
8
.
&
)
7
&
8
&
9
&
.
7
&
;
.
68
& &
+
0
5
.
∃
% ∃
#
&
&)
∋ /+
∃
∃
+
6
6
9
.#
#
&
∃
&
0&
) &
&
& ,
)
&
)
7
∃
6 ∗ .3 Α
#
&
.#
∗
9
3
+
8
5
6
∗ ∀ ) %%∀
!
&
Η
&
<
6 ∀ ∗
6
&
&
<
∀
&&6
%
∀% +
6≅≅≅6&
Ε
∗
5
&
>
∀
8
+
/%
∃+
.
;
:
)
&
9 &
&
!
+
+
6 ∗ .3 Α
&
9
+
# ∃
−
9
9
8
<
.
6
∀
∃
&
5
∋
.
∋− 4
&
&
∋ ( %D
3
Β
/
+
&
∗
(
&
.
&
.
9
6
∀
#
% ∃
#
6
5
∗ %
%
∀
,
)
%
Β6 ∗5
∃
)
(∋+
∃
)
#
∃
)
&
8
9
&
&
&
7
8
9
&
6
<
∗
5
∗
9
6∗
&
.
9 <
.
.:
+&
&
6
6
+&
9
9
9
.
.
9
.
26 ∗
)
%
8
!
8
#
.
;
&
+Η 6
&
+
//
;
&
4
&
)
6 9
%
6
& /∀ ∀
6
6 ∗ ∀> > %
8
99 &
&
.
6
0
7
8
∀ +&
=∀
&
&
6
9
7
&
4
&
&
9
9
8
9
&
&
.
&
9
!
8
&
&
.
9
% #
6
)
)
%
6 ∗ .#
&
Α
# ∗ & &
% ∃
∃ +
9
∗ .#
>
&
&#
& ∃
)
∃ +
7
5
∃
#
% ∃ )
9
∃
6
)
6&
5
.
5
4
..
5 .? =
=
=
..
9
9 . 9
49
&
9
( &%
& &) %
9
9
)
>
? =
6
/Λ
& 68
&
∗
+
4
&
9
.#
∃
&
&
9
∗
+
)
%
& &
6 ∗ .5 =
#
%
−∃+
∀
6
∃
∃ ∃
∃
#
∃ & ) % )
∀
# & ∃
8
9
&5
#
9
)
%
∃
∃ ∃ #
∋∃
∋
(& %
% ∃ −
##
( ∃ #
− ∃
∃
)
&
∗
#
%
.
+
3
.
!
:
!
,∀
&/
;
∗
≅
+
&
&
∀−% &
!
=&
!
≅
.
4
&
8
6
≅
%
&
6
&
=−&
.
∗
+
&
3
&
.
3
&
∀
.
9
&
9
;
∗Α
≅
!∀ (
%
∀
&
/(
&
∀
∗∗ %
+
8
9
&
6
&
& &
% )
% )
&
)
∃
%
∋
%
∃
%(
∃
)
#
#
>
∋
&
#
∃%
)
∃%
)
%( ∃
∃%
# & &
)
9
∃
∋ )
∋
∃
)
∃
)
∃
+
&
∀
( ∃
&
∀
( ∃
& #
6 ∗ .5 9 ∋(,+
∃
+
5
)
8
5
8
∗
+
6
%
∀
%6
4
&
9
5
4
4
&
5 .? =
&
&
;
9
8
∗
3
8
3
∋ .
∗Β
+
+&
&
.
.
D
:
.
8
!
9
&
.!
& !
∗
D
:
9
+
!
!
..
9
5
& (;
7
%
4
∗Κ
−−/
∀
Κ
9 Κ
Ε
∀
8
3
∀ + ;
∗) ∀∀
Ι
&
&
&
9 &
&
&
9
∋,∋(+
&
&
&
/∃
9
&
(
≅Χ
∀%∀
D
.
.
&
&
= ∀
& ∀−∀
9
&
= 5
∗
∀%∀
)
<
)
&
Κ
5
Ι
+
>
∀ &
Ι
&
5
9
. .
;
6
6&
.
)
6
6
Ε
!
Ε
∗!
>
+
&
Κ
;
)
&
)
&; &
5≅ & 5
Χ
8
)
6
& 3
≅
(
5
Κ
5
& )
;
#Χ
∗
%%&
≅
−&
6
∀
)
&
+
−&
&
&
.
≅
.
&
/,
&
&
&
<
9
6
4
5
6∗
5
+
Ε Φ
47
Β
∋,ΛΛ
9
& Ε Φ
≅
9
∀
& Ε Φ
)
)
∋,( &
4
Κ
3
Β
(
;
)
)
4
:
8 ≅ #
ΒΧ Α >%∀
&
9
∋,Λ, Ε
&
∗
& Α
4
+ ;
&
9
&
Ε Φ
&
&
∗
9
9
9
∗5
−
9
∀
>
5
&
&
∀ −
+
&
+
&
&
5
3
≅
&
>
&
>
&
&
.
.
..
;
..
9Η
9
;
;
&
4
&
&
&
3
&
&
!
..
.
.!
Λ
;
.
9
&
∗
4
+&
9
;
!
Β
&
5
≅
&
Κ
.
&
;
! /
∀
!∀ ≅≅≅
&
6
6
D
&
&
9
&
&
9
&
9
3
Κ
4
.
.
&
9 D & Β
−
6
&
7
Ε
&
.
9
9
0
Β# 7
&
99
8
5
9
!
!
ΛΛΛ ..
&
5
;
!
6
ΛΛΛ6
Β
3
Λ∋
∋− ∋∃..
&
!
#
&!
;
&)
?
%
∀
/
D
5
)
9
∋,,,
9
∋,,,
3
∋,,,
∋,,,
&
3
∗
ΛΛΛ ∋&
3
ΛΛΛ
&
7
.
Η
ΛΛΛ
.#
∃ +
;
6−& Λ& ,&
∋6
&
Κ
&
6
Φ
<
Ε
5ΦΦΦ
6 ∗
D
9
3
>
9
+
.
∋,,,
)
&
7
.!
;
&
8
5
Λ
≅≅ΦΦ
Λ
,,
&
3
∗
+
−
,
ΦΦΦΦ
,
,
,,
,,
∋,,,
Ε
9
3
ΛΛΛ
;
Ε
∋,
∋.−.Λ.,&
&Λ
&,4
9 &
&
∋−
Λ
65 ∀ ∀ (∀ 5ΦΦΦ
;
&
&
3
3
− 4
&
Ε
9
∗ ∀ ∀ ∀ ) .&− )∀ +
5
>
6
6 ∗
.!
∗Ι5
9
+
Ι
ΛΛΛ
5
+
6
∃
∃ #
∃
9 & ΧΧΧ ∃
#
)
#
∃
& 7# % 7
9 % +
∃ ∃
#
#
∗ ∃
# # & ∗
&
&
9
3
&
&
99
..8 ≅ Κ
∋,Λ,+ 6
&
7# % 7 ∋
(
# &
∃ ∗
& % ∃
∃
&
%
9
9
9
∃ &
∃
& ∃ ∃
3
ΛΛΛ )
∗
&
9
)
99
4
9
<
!
3
∗Β
∋ .
&
&
&
#
+
&
&
&
∗
8
.
5
61 &
&
% # ∃
&
)
&
& %
4
7
& # ∃ ) ,%
9 ∃
0&
&
&
+
&
Ε Φ
∗
∃
&
&
& #
∃
&
+
∃
.
&
&
∃
)
) 6
5
&
5 .? =
6
#
&
= Λ +
#
& ∃
) &
∋∃
( % ) &
)
5
9
4
6 ∗ .
&
4
&
.#
6 #
∀
6 & &
5 9 −∃+
)
.
)
#
#
∃ %+
∋ % ∃
+
( &
∃
& #
∋∀
∋
(
∃ %( +
+
9
&5
6∗
5 7
∃
.
.
5≅
)
&
7
Ι
&
&
3
&
Λ +
6 ∗ .
;
& Ι
&
.
.
5
>
5 .? =
Λ−
&
7
&
6∀
∀
&
∃
+
% +
∃
5
<
%
&)
)
∋ −+
6 ∗ .; =
95
2
∃ )
#
#
3
∃ &
9
%∋
∗
∃ %∀
.
%%
∃
#
)
9
!
&
∗)
? = Η
8
&
8
&
Ε
9
.
3
&
&
3
6
>
>
∃ +
&
&
6
5
D 9
&
9
∗)
8
9
+ 5
;
!
&
6∀
%
)
Ε
9
Κ
∃
∃ %∃
& &∃
∗
Κ
≅
∋
#
∃
% ∃
+
)
∃ %∃
∃
&
≅
& %
)
∀ &
&
Κ
&
&
&
∗
7
(
>
+
7
5
&
&
7
5Γ ,
∃
6
+
Β !
Φ
#
)
&
∗
+
&
%
&
∗
&
55
Λ%
+
∗
+
;
.
6
6 ;
.
&
!
.
&
&
&
9
9
&
9
&
9
Κ
.
∗
6∗
9
+
+
Ε
6 9
!
7
9
3
!
3
6
≅
∗Β
∋(.∋∃+
&
&
D
∗
∀
8
) ∀∀
∀
&
&
6
&
∀
∀
&
D& =∀
∀
%
∀ /%
∀D %&
7
5
&
&
&
&
6
6
8
9
7
&
6
∀
6
8
Λ/
&
∗
+
∀
∗
∀
.
..
+
∗
9
&
+&
..
;
≅
)
&
&
&
&
&
5
&
8
&
&
7
5
+
9 D +
∗
&
=
Ε
∗
D
≅
9
.
&
∀
.
6
&
6 ..
≅
8
9
.
6
Ι
≅
6&
&
D
≅
&
&
≅
.
!
&
D
!
∀
.!
;
&
&Ι
&
5
∗Ι5 +
.
3
&
ΛΛΛ
Ε
∋,,,
3
ΛΛΛ
6
6∗
9
.
+&
≅
Η
9
5
∗9
+
&
.
;
∗
+ ;
.
&
&
9
.
!
&
;
;
∗
8
+
&
4
&
&
&
&
5
∗
9
.
∗
5 .;
4
.8
+ !
&
&
.!
&
&
&
&
&
9
+
9
&
;
ΛΛ
9
>
9
9
9
7
.
!
&
.
9&
!
5
.
.
∗
+
.
4
&
9
&
.
9
Β
&
&
&
#
( %D
( % ∗
.
∀
&
&
8
9
9
.
&
Χ
Β
7
;
4
>
63
9
;
4
8 ≅
Β
6 ∗8 ;
Η
;
∋/+
Λ(
&!
3
(∀
!
∀
,
D
ΕΕ D
9
&
− ∀00
5
4
.
6
Β
6
;
3
>
9
D
6
)
−− D
(
ΦΧ ∀
& ∀ ,
Λ∃
5
;
& 99
69
&
&
&
Λ,
8
&
.
;
9
.
&
;
&
.
5
65 ∀ ∀ (∀ 5ΦΦΦ
!
4
&
∋,,,&
Β
&
9
&
&
&
&
&
#
9
5
4
;
6
5Φ
&
6
6/ ∗&
5ΦΦΦ
∀
6
5
&
9
∗
≅
+&
(
∋,,,
.
5ΓΧ
∀
& &
&
6 9
6 4
(
.
8 9
!∀ &
&
Ε
9
4
+
4
∗)
)
9
.
3
7
0 =
9
3
∀
∀
8 9
& &
9
7
Ε
∗9
3
&
>
9 6 6 8 9
+
≅
&
∗
+
+
∀
&
∀
%
∀
)
&
∗)
∀
&
)
&
&
)
&
8 9
.
≅
+
&
4
&
∀
;
>
%
&∀
6
6
&
∗
+ 8
&
.
(∋
(
55Χ
&(&
∃ ∀∀
D
∗
56
∋
+
<
∗
+
∗∋Ν−+
&
&
&
#
!
≅≅≅
−
3
&
∋,,,
ΛΛ
&
)
4
&
&
66
%
Ε
9 &
5
∀
/
.
6
4
!
&
8
∀ &5
..3
3
&5
ΛΛΛ
Β
∋− ∋∃
3
,,
&
!
:
.
&
..
>
&
5 9&
6
&
!
+&
∀
Χ
&
6 5
Ι
∗
&
&
∀
6
9
.
.
&
&
(
ΛΛΛ
5
≅
&
)
&
5
.
8
&
&
∗5
>
+
.
&
5
&
.
.
4
5
&
&
7
&
..
9
;
&
>
∀
6
8
.
#
#
6
&
≅
.
∀
&
7
;
.
.
.
Ε
4
.
&
<
∗
∗
Α
&
&
+
8
+
/
5 .? = &
8
∗∗ %
∀
8
&
& 5
4Β)
5 .? =
6
#
& &
∃ +
% #
;
#
5
9
%
&
∃
)
.# &
&
#
∃
<
9&
)
∃
)
9
)
% ∃
>
)
? = &
% ∃
)
9
∃
9
5
6
&
5
&
&
# ∗
6 ∗ .#
:
&
.#
8
(−
.
6
+
&
( >
6
6
∃
∃
5;
6
&
6
6 ∀
#
∃
#
& %
# #,
&
8
∗
9
%
6
4
.
3
#
∃
#
∃
∃
&
Β
& %
∋− ∋∋& 6
∃+ # ∃
6
+ !
&
&
&
.
&
;
.
6
6
9
∗
+ D
7
;
9
&
3
&5≅
.
5
>
1 &
) 99
&
∀
∀
&
& 8 ∀∀
>
3
6
− −:
9
9
6 8
6
;
>
∀ /
9
&
& 8) −∀
3
>
&
&
6
− −:
&
Κ
∀
/&
8 ∀
− −:
9
∋ 3
&
&
9
3
3
&
&
(%
9
&
&
7
>
∀
! % 8 ∀ ∀
(%∀
− −:
9
9
&
&
?
>
/8 ∀= /
− −:
.
9
.
&
.
≅
>
∀ & &%
!∀%
8 ∀ (% > ( −
− −:
9
9
6
8
6
9
>
#
>
8
!
!∀
8 ∀(
.
%∀
− −:
9D
;
Β
>
.
∀ ( %
8 ∀ ∀=∀
%
− −:
.
9
9
>
7
;
.
4
&
&
.
;
&
&
&
9
.9
>
&
;
.
&
6)
6
&
8
6:
9
;
&
&
&
3
&
D
8
&
&
&
6
.
&
&
6
6:
&
6
6 4
&
.
&
&
&
7
9
&
.
.
;
;
(/
&
8
&
:
∗4
DΚ: ∗D
Ε
4 ≅
Κ
= ..
!
.
=
9
&
+
;∋Λ&
:
Α +&
&
8
&
9
;
Β
.
>
&
&
.
8
&
.
Κ
9 )
9
.−−
.
;
3
<
.
∀
5
#
∃
5
)
Β
&
9
)
&
≅
& % ∀
4Β)
∃
&
&
∗
+
∗∗ %
% #
& 6
∃
#
)
% ∃ )
)
%
&
% ∃
∃ +
6 ∗ .#
&
#
∗
& &
&
)
&
4
((
∗
%
+
&
&
&
.
5
4
((
%D
(∀
D
&
%
6)
∗ %
6
8
&
.;
.8
&
#
;
&
:
8
&
3
9
&
∗
.
5
& #
;
) ∃
) ∃
−
+
.;
.8
&
:
%
.
& #
∃
& 6− ∃ & +
& #
∃ % ∃ &
0
#
−
&∃
+
(Λ
# %
# ∗
7
7 6 ∗>: 3
#
8
> 7 9
:
∃
% ∀∃ %
)
#
∃
)
∗ 9
& % )
& #
%
% ∃
∃
8
&5
>
)
% ∃
#
& #
& #
)
&
&6
+
& & #
+
& & #
∃ %
) ∃
)
∃
&
, ∃
)
∃
) ∃
∃ )
6 ∗;
9 Α=
% ∃
% % ∃
∗
#
:
#
) ∃
∃
∃
&
&6
+
& +
# ∗ # % &
;
+
6 ∗>: 3
8
#
% ∃
)
8
&
∀
&
9 Ε
.
+
& )
&
)
∃
# ∗
% )
)
&
% )
&
)
∃
8
>
8
9 ..
;
8
9
.
.
6 ∗
5
≅
>
Β
6
+
&
&
;
&
&
&
.
6
!
9
8
&
6
.
&
≅
:
6
5
:
6
&
.#
∀ & &
9
4
8
.
8
&
9
≅
∗
∀
9
+
&
8
8
&
∗
+
∗
+
∗
+
∗
&
)
8
.
5
((
8
+ 4
.
∀−∀/
5 .#
!
6 %
∋∃
)
&
&
∀
∗∗ %
4 =
:
8
& 64
5
!
66 #
&
∃
)
∃ %
∃ %
∃
&
∃
#+ +
) (
)
∃
&
% , )
% ∃ ) 2
&
2
&
# & # ∃
#
) )
# ) & & ) ∃
∃
∃
)
)
%
+
&
)
∃
& # +
∃ ∃ ∃
∃
∃
∃
∃ & ∃
% ∃
)
∋
(
)
6 ∗4
;
+
:
8
>
3
8
&
5
..
..
6
!
Ε
8
6
9
6 8
6
&
8
%
9
∀
& &
&
8!
7
6
6 ∗
+
:
5
..
8
..
8
.
3
4
.
&
8
3
&
.
8
&
&
..
..
4
8
)
8
6
)
,
9
0&
∃
& #
>
&
6
&
) ∀
+∃
∃
6
&
∗
+∃
(∃
∃
∃
:
∃
%
∗
∃
&
6 ∗>: 5
∀
) )
+
%
%
8
∗
6
+
&
6
Χ
9
Ι
..
&
..
8
!
&
&
:
45Β
6 #
∃
& ∃
∃
&
∃
∃
& %
) ∃ ∃
&& ) )
; !∀ ∀−
&
5
6
) ∋
∃
& +
)
& # ( ∀% )
)
,
5
∃
∗ &
;
+
&
) #
∃
% ∃
%
#
∃ #
∗ # 7∀%
) #
) %
& ) Β7
)
+
8
∀
>
5 .? =
&
:
4Β)
6 7! −
0 Α − +
& &
)
∃
∀ 6 7
&
)
!
∃
∃ ,
7>6 ∗ .
5
9
9
8
6
.
6
.
8
! 9
≅
&
8
9
<
!
∗
∃
&
∃
9
5
)
6 ∗>: ;
%
#
>
9
∃
:
% ∃
& ∃
, %
∃
∃
+
% ∃
7− ∃
)
%
#
7>6 ∗>: ;
&
)
∀ &
5
3
%
∃
&!
6
Η
.#
;
;
6
9
∃ +
(,
!
8
6
6
9
9
>
)
>
6;
∗
+6
4
5
Α
&
&
.
<
&
&
&
.
&
&
&
&
8
&
&
3
8
6
;
3
:
5 .? =
4
6
8
5
:
Ι
.
.# ..
7
:
..
8
5
4 =
.!
&%&%%
>
(∀ (
6 ∃ ∗
)
∃ & & +
∃
)
%
∋
(
% ∃ ) 2
∃& # +
%+ & %+ &
∃ ∃
)
7
∃
Β7 0
∗ # 7 )
+
∋
()
#
72
#
) 7∀%
#
% , )
% ∃ −
Β7 0
∗ # 7−
∃ &
7
#
%+ &
79
∃ 7 ∀
% %+ &
& # ∃
+
& #
∃
∋%+ &
(
7
7−
∋
(
∃ #+
#
& +
&
∃ %
)
∃# ∗
& #
∃ % % ∃
∃
+
&
&
#
7
&
&
)
∃& # +
. &
& ∗7
&
)
#
& # ∃ ∃%
& % ) ∃ % &
∃
∃%
%
∃ %
) 2
#
) 7∀%
%
∃ % , )
% ∃
Β7 0
∗ # 7=
& % ∃ & 7
∃
∃%
& % ) ∋
& # (
∃
∃
& %
)
)
∃ ∃ #
∃ #
∃
∃
#
# ∃
)
#
∃
∃
) 79
D7
#
∃
∃
#
#
) 7∀%
#
% , )
% ∃ Β7 0
∗ # 7− ∃ #
%
#
#
# )
7
∃
&
#
7
&
+
∋
( ∃ ∃ % # #
∃
% ∃
& +
% 7
# &
#
# +
% ∀
∃
#
+
& +
+
#
∃
∃ %
∃& #
)
∃
∃%
∃
+
∃ ∃
%
)
∃
%
∃
% ∃
∃
%
&
∃
/ #
& #∃ )
70
& )
%
# &
& &
) ∋
&) ∃( ∃ & & −
. ## 7
7>6 ∗>:
;
+
5
:
& 6∀
∃
∃
!
∃ ∀&#
# )
; ∀
8
;
∀
%
&
/4
!∀
6 ∗>: ;
+
.
&
&
.
Ι
5
:
&
.#
9
8
# 9
7
4
Κ
Ε
&
&
&
9
;
8
6
&/6 ∗7
D
!
+
!
.
5
8
!
&
&
8
.8
;
..
>
8
9
&
.
7
.;
8
∗
;
+
..
&5
8
;
∗8
5
&
3
&
3
.
5
&
+
∗
:
=
.#
&
8
6
%
&
5
Β
68
8
6
6 ..
6 ∗
6
6..
8
&5
.
5
68
& #
.
5
≅
8
+Η
>5;&
4
&
+
#
&
;
%
8
&
#
#
% ∃ ) ∃
& % ∃ ) 6 ∗5
/%+
∀
∃∋
#
&
% ∃ )
&5
9
5
∀
+
&
8
;
&
∗ 9
&
+
&
&
&
;
&
4
∗ 9
+ 5
&
.
6
6 ∗
&
9
4
&
..
9
+
..
Ε
&
.
..
5
&
..
!
9
5
&
9
6−
)
5
%
&
#
&
% ∃
(6∗ :
∃ ∃
& #
∃
∃
∃
∋
∃
# ( % #
% #
&
& % ) ∀
# ∋
%∋+
;
&
8
3
5
6
∋−
6 8
∋,%− ..
∋Λ
∋−
.
..
;
&
−
)
!
4
3
∋
∋
%∋ ,,
∃Λ
%−/
∃−
4
!
&
&
5
&
&
5
3
5
∗∀4 5
&
6
6
8
9
8
#545 ∗#
5
&
4
5
+
Η
>
9 Ε
6
9 +
6∗
!
7
&
&
&
6
∃
6
+
&
∃
∀
∗∗ %
5 .;
4 =
8
6∀%
#
#
#
&
%
Β; ∀
% ) #
+ ∃ &
∀
6 ∗>: 3
;
∗ # ;8
Β; 2
/ #
+
+
#
∗ # ;0
#
&
∗
Ι
&
7
&
8
.
..
..
&
&
∀ /%
∀
..
Ε
6
&
.
..
Β
3
;0
6
6
6
!
6
.<
∗
6
8
4
+
.
9
.
9
9
6
5
!
6
3
;
Ι & 4
≅ & ;
& 3
&
4
;
&
&
8
&
5
≅
.
8
&
&
&
( %
8
3
∗∗ %
3
;
5
>
:
6− ∃
∃
+
∃ )
+
∃ +
!
;
&
! ∃ & % #
# & # ) Ρ
& =>
&
#
&
∃ #
)
)
<
&
2=Θ6
8
;
&:
3
6
#
#
% #
&
∃
& ∃
)
)
)
#
)
∃
+
&
&
%
! ∃ %
# %
# 6
∃−
∃
,
#
9
>
;
8
<
.
5
&
&
&
8
7
+ 5
∗
>
Α 9
∗
&
;
&
5
8
+
9
∗
+&
9
5
5
&
∗
5
4
&
5
.#
.# &
&4
4
+
3
;
5
.
&
∋
.
&
&
&
!
9
&
5
Η
7
−
&
.
4
7
&
.
≅
>Φ
&
7
!
%
5 84Η
&
6
&
6
&
&
&
)
.
&
&
3
∀
5
5
&
>
4
5
&
>
>
&
&
!
6
∀ & &
8
&
∗
+ <
&
4
6
8
5
5
)
3
&
&
&
&
4
&
∃%
&
<
≅ & ;
!
&!
&5
&
&
&
&
Η
&
&
∗
∀
+ 5
&
5
;
5 .? =
&
&
&
4
:
∀∀ / & 7
&
5
8
&
&
&
9
&
≅
&
∀%
9
5
&
!
8
&
9
)
&
&
&
&
4
6
6
9
;
8
9
&
9
&
3
&
9
9
6
6
Ι
8
9
)
!
9
&
&
9
;
8
.
&
∀∀
∗
+ 5
&
8
.
&
≅
∀
&
&
&
&
.
# 9
8
9
8
&
9
&
&
:
&
&
&
&
;
9
Η
5
&# :
9 .9
!
&:
3
9
.
4
&#
&
&
.
9
Β
∃/
&
&
&
! !
.4! .
;,
7 ∃89
∀
Χ
&
/
1
1
&
∋
)
%
++
∃
(
% ∃
&
)
∃
)
∃ ∋
7 (
∃ % % &
& ∃ %
& %∃ + ∃
+
/
& #
#
, ∃ )
;
;
% &
∋7 & # ) ( ∃
) ∃
; # ;
&
&
& &
∃
6
)
#
&
∋ /+
6 ∗5
5
)
% ∃
%
+
+
)
# ,
#
+
+
&
0&
&
∃
∃
& #
&
%
#
+
&
≅ &
∃
&
∃
+
∃ %&
( &
∃+ ∋
∀
≅
# & &
)
& & ∃ ∃
∃ % & & )
5
4
4
&
;
&
&
7
.
4
.
&
7
<
9
Ε
6
6
.
&
&
3
&
3
6
6
6&
6
&
!
5
&
&
&
!
&
&
!
4
&
&
&
:
45Β
!
.
.
!
∀
&
)
9
Β
.
∃Λ
;
&
!
&
7
.
&
&
6
∃
−∀Ι)& 8 ∀&
∃
8
:
∃ % 8) % :
∃
8(&
:
∃& 8 ∀ ∀
:
∃−
8
% :
∃
8 ∀/∀ −
:
∃ −
8/∀ /∀−
:
∃
:
!
&
&
8
&
&
&
&
6
+
&, )
∋ +
+
)
&
Φ∃6
∀
#
& #
∃ +
#
5
∃
+
& & ∃
+
9
∃# ∀
6 ∗5
)
#
#
#
&
.
∋
:
45Β
& #
)
∃ %% % ,
∃ +
9
6 ∗>: .)
∃
8
& 6∀ ∗ &
∃
% ∃
& &
& %
7+
&
% ∃
& #
) &
# &
# ∗
∋
)
+
&
∃
(
( %
& #
& ∃
∃
)
&
#
% ∃
< &% ∃
#
∃
%
:
4
4
&
&
.
&
∀
&
4
&
)
Η
7
6.& /&
&
%
<
/∀ ∗
∀
∀
&
∀ ∀
∀
∀ ∀
−
∀
∀(
8/
&
/∀
∀%
&
/
:
/&
6
&
&
&
>
% &
∀
# # % ++
Α
∗ .:
−∋.− +
/
&
)
%
+
% ++
9
9
+
.#
6
)
& #
∃(
&
,
∃
#
+
+
∃
% )
∃ % ∃
++
)
∃
6
6
∃
# # %
∋ &
∋%
% ,
− %
& ( 7= ∗ .; =
5
%
%
. &
(
++
/−+
∃
&
#
∃
%
% , #
∃ % ∃ &&
)
.
∋
?
∃
(
4
)
&
.
&
∀
&
.
9
9
7 &
&
Γ3
3
&
#) Β
3
3
6
7
∗
.
!
∀
6
7
# 7
>
4
7
∋
&
( )
!
#
&
Κ
≅
5
Κ
∀ ≅
)
∗
≅
#
&
)
5
&
( %
&(&>
&
>
( %
∀ ∀
∀ − ( &
/∀>
−
&
∀
∀
∀
&>
∀
Α
=
Α
=
∀/∀
%−
∀%
&
(∀ (
%&
!
∀∗∀
∀ &
Α
= D %D
(
Α %
%
&
&
∀
/ ∀
Ε
∀ &
(∀ ∀% / D ∀% /
.&/
/∀ &
∀
%
∀−& % (∀ ∗
∗
∀−& %
∀−& %
∋
%&
∗> (
∀
( %
& ∀ %
Α
=
&
∗
0
&∗> % %
%% %%
)
? = &
:
9
5.
&
4
5 .? =
4
&
∋ 7
∃∃
?
#(
4
&
&
∗
9
& ∃+
9
≅
&
#
&
;
&
;
&
&
∗ 9
∗
9 +&
∗ =
+&
+&
∗
.
&
9
+
7 +&
&
9
6
&
.
9
.
9
+
)
&5
.#
#
&
&
∃
&
) &
0&
&
∃
&
)
)
)
∃
#
6 ∗ .3 Α
∃+
)
)
Ε
6 &
&
9
) ∀
)
& %
+
&
+
)
)
#
# %
& &
5
∃
/) ∃
#
+ + 6 ∗ .4 99 %+
9
)
&
3
.# &
Γ 3
.
&
5
4
.
.
&
&
.
!
3
3
5
;
&
&
&
&
:
9
& ;1
Γ 5
.
; 5
.
Γ!
&
8
&
&
Γ 4
∋#
?
(
Γ
;
( !
&
9
&
∋
!
&
4
6
&
5
&
∃,
6&
.
∃
&
:
∀
63
# &
∃& ∗
#
9
& %
&:
∃ ∃
) %
& &
∃
Ι
∋&
)
∃
#
(
6 ∗>: .)
%
∀
7+
:
& 69
& %
6 ∗;
∃
)
..
&
9 Α=
∃
∃
&
5
∃
)
+
5
:
.
&
5
∃
.
..
&
Η
Η
#
Γ 5
∗7
Η
+
&
Γ
5
5
9
∀
)
& 6
++
6 ∗ .;
!
&
&
∋,+
∃
#
∗ & &
)
%
++
&
9
++
8
8
.
8
& 6
2 !
&
5 .? =
&
6
5
9
∀
6
& 64
&
6
.
&
7
4
8
26
!
∋
# &
#
6 ∗ .; =
( ;
9
.# 6
∃ % ++
)
/Λ+
!
% ( %
∀
5
4Β)
9
#
& &
&
&
& %
) %
# ∀
∋
Α. &
(∀
&6
6 ∗ .3 Α
∋
+
7
6
6
≅
&
9
&
&
≅
;
,
.
5
+
/) ∃
)
+
% &
:
)
.
≅
&
7
Κ
#
)
&
#
∀
;
Ε
6<
:
5
4 ≅
59
)
;
&
== 5
6
∗
&
<
+3
6
4
&
&
&
;
.
99
5 ≅ ) 99
4 +# ;
+∗ &
∗
!
+
;4 ∃
;
!
;
≅
+
&
.
&
6
6 !
&
0
D
+:
7
)
6
(
&+ ∃
!
6 ∋
+&
&
Φ
6
)
Χ
3 ≅
Χ
Χ
6
&>
!
∀
!
∋,∋∃&
&5
&
(
.
&!
&3
&
∗5 ) 99 &
4
&4 ≅
&
Χ
&
9 ∋,, +
!
∀
5
;
9
&
&
&
6
6
4
&
Φ
6
)
6 8
Φ
.
8
59
#
6
6
;
&
&
&
&
.
&
&
&
;
&
!
&
&
&
7
&
6
5
6
6
&
9
+
+
6
&
)
6
&
∃ ∃
/ &
.#
#
#
,∋
+
+
!
#
;
∃ %
%
& % ∃
&
++
6 ∗ .; =
&
..
%
% ∋
( & #
#
&
∃
%
∃ %
) ∀
∃
#
%
#
6
6
9
..
.
5
&
!
&
&
7
∋
∋ ?
∀ ∗
6
7
+
7:
9
&
9
9
6
&
3
+
#
.
59
..
−/
0
,+ ? & ∃+
)
& 0
D
5
& )
4
..
3
&
&
6∗
;
&
;
6
(
(
&
D
)
/∋+
3
Α
& #
)
& &
) +
% ∃ +
+
%
%
4
& >
&
&
.
&
!
!
&
!
Φ
;
&
6
6
)
)
4
6
;
)
.
)
&
6<
6
)
.
.
6 ∗
5
6
6
5
)
)
&
)
53:
6
.
3
Γ5
)
6Κ
+
&
&
4
0
8
7
&
∗
3
≅
5
Φ
&
,
Ι
4
+
3
&
#
∃ 8+& 0 ∃ &,
ΦΙΚ ∋5
Α
∀%
∀∀ 3
(
+ %
∀
Α
&
− ;
, (
∋ +
3
∋Λ∋,
3
6
≅
&
≅
6
6
&
6
.
3
∗
Χ
4
4
!
+
∗!
+
&
)
& 3
4
∗∀%
∀
!
& 3
&
∗! > 5
∀
;
&
∀∀
ϑ
7
&∗& !∀%
∀ % & ∀
!
)
!
%
∀
∋,∃ +
9
)
&
∀∀
Β
3
Γ
&
&
!
.
!
3
;
&∀
3
4 ≅
& !
:
)
&
7
&
∗
.
+
>
.
#
.
&
&
;
&5
4
&
4
5
4
&
4
)
5
5
)
)
&
7
&%
7
4
Ε
&
%
6
.&− )∀
6
7
.
,−
&
5
0.∋Λ
;
;
54Χ5#
5
Ι
9 Χ
∗Ι! +
! 9
∀
&
Χ
∗5 ΧΚ+
!))
.3
&
&
:
..
6
..
6
!
)
&
Κ
∋,(Λ
3
4
∗3 4+
%
∋−&(
/%&%
/&,
∋,,−&
&
..
..
:
;
;
∗D# +
∗D# +
45Β
7
;
7
3
8
/
& 3
∗∋,, +
5
#
&
∋,Λ(&
&
5
&
∋,∃
/
5
−
∗D# +
#
&
3
Ε & %,
∋/
∗D# +
∗D# +
9
D#
Λ&/
!
%
∋,(%.∋,(∃&
5
!
&
∋
7
& ∃7
(
&
!
7
!
&
&
;
>
6
6
6 ∋
7
∗
!
.
,
+&
(
6
&
6
∋
Ε
>
6
&
−
,%
3
!
4
Α∀
=
Ι ΧΚ 3
∀
.
>
&%
∗ Κ; +& 3
∀
;
! 9
!))
3
7
..
&
54Χ5#&
Ε
&
6
6
5
;
&
3 :
.
9
& Ι! &
&
54Χ5#
9
&
6 !
∗ &6 D
.
3
.
8
&
&
)
&
∀
&
8
&
& 5 ΧΚ
&
7
8
50)5
3
9
3
&
&
6
&
7
%D
%
>
/
∀ (
&
&
)
&
3
&
∀
Ι
&
∀ (&
7
6
<
& &
6
&
%
7
6 Ι
9
!
6
&
&
;
6 !
6
6
6
&
6
∗
& ∃7
+
6
, &&+
6
Σ 7
Ι
&
6
6
,/
&6
6
Η
&
4
9
&
9
Κ
&
∗
& ∃+
9&
&
6
6
.
6
6
6
8
?
∋
D
∗
(& 6
.
6
6
7
4
<
≅
≅
)
!
4
D
&
.
>
<
9
68
+
!
∃ ∃
/ &
∃
%
&
)
%
&
∃
∃ %
∃
∃
% ++
&
%
%
6 ∗ .3 Α
#
/
;
6 ∋
6
;0&
&
% ∃
∀
)
4
∗ ;0+
≅
5
7 &
& &
∀
.
∃
5
7
6
<
∋)
#
% ∃
∃
∋
(7
+
.
&
(
&
&
6
&
;0
&
>
.
!
.
&
7
.
6
#
)
6
.
&
&
7
.
&
9
7
.
&
&∋
9
&
;
8
&
&
Ε
6
&
Κ .
6
7
6
6
&
;
&∀
.
,Λ
,
+ +
;
8
) 999
Κ 5&
9
3
4
0
;
)
)
Κ5 Ε
Κ5
9
Κ
& 3
3
9
9
+
Ε
3
& Κ
9
&
;
5
∗3
4
Χ ≅
)
&
:
9
&
8
&
>
9
Β
5
Κ5
.
&
&
Κ5
Κ5
Κ5
;
∗
&
4
&
9
+
;
.
3
7
5
9
Χ
:
.
&
&
.
!
Κ
3
3
Κ
3
;
Ε
&
&Β
D
.
7
!
.
&
9
9
6
5
D
7
6
&
7
Κ
.
;
,(
;
&
&
3
.3
&
&
.
6
6
; ≅
4
& 68
9
Η
8
&
&
3
&
.3
&
;
.
∗
+
6
3
9
&
∗) 5≅ ≅.Ε
+& Χ
&
)
!
7
8
&
.Β
&
&
+
)
5
∀
∗5
4
8
&
.
!
3
9
.
5
.
Β
6 8
∗
≅
+
.
.
;
& 64
&
&
6
6
9
≅
4
6
7
9
6
;
7
7
4
;
)
.
#
.
.
&
!
;
Κ5
.
.
&
.
6
6
Κ5
9
;
&
Κ5
;
&
6
∀
D
.!
&
6
:
!
&
&
7
∀
.
,∃
&
/∀
%
∀
)
8
8
∀
% ( % )ϑ ∀ − − :
8
5
Κ
;
≅
6 ∗= ∀ − − +
∀
9
7
6
6
.
&
.
9
&
9
9
&
)
&
)
:
&
6
)Φ6&
≅
6/∀
4
≅
9
;
&Β :
&
>
7
&
&
6
67
5
&
.
&
≅
>
.
∗
!
≅
∗
6
+
6
&
+
5
∗
+&
≅
4
9
Κ
8
4
9
9
)
5
&
8
:
9
4 ≅
5
5
4
Φ
..
Φ
5
9
9
&
&4
&
&
>
9
)
9
9
∗
+
≅
7
&
6
6
≅
Ι
≅
&
.
6
..
≅
.
6
..
≅
6
6
≅ &
&
;
&
.
!
&
9
4
!
&
≅
,,
≅
:
∗
+
&
≅
.
≅
<
6
∗Α
Α !Α
+
!Α
&
6
9
∀
9
9
3
9
)
≅
6
≅
6
9.
&
&
5
9
.
&
!
6 ∀ ∀
≅
&
ϑ6 4
&
9
&
∗
Κ##+
≅
7
&
.
&
%=
.
& 68
&
))%∀
6
6
&
9
!
;
&
&
9
6
!
>
9
# 7
9
;
D
.
& D
&
!
9
& 64
.
6>
&
)
≅
&
∗≅
!
&
&
+
&
#
9
5
Κ
&
5
!
≅
9
&
8
&
&
&
&
&
&
)
∗
.
222 3
4
∀
# ∃%&
∋ (%
∋+ (,∃%−,∋.(,∃%−, .(,∃∃/,−
0 ∗ ∋+ (,∃%−∃∃
1
!
5
&
7
6
6
8
9
&
:
8
4
;
.
&8
∗
.
;
7
∗
4
&
&
: 3
&;
&5
8
8
;
&)
7&
9
6..
7
&
;
+
6
5 .? =
.#
∃ ..
&
9
&
.
8
)
&
8
&
9 &
7
..
≅
&
& 8
.
..
6
6
& >5;&
3
8
7
8
4
6
6
9
3
8
& :
&
6
8
∗
+
&
&
5
&
8
∗>: ;
∗
&!
+
.0
?
9
4
.
Α
. Α
∗
5 .? =
.
+
=
. 9Α
& 4 9 ∋%
>
∋,,,;
4
.
4
+
4
Β
3
∀77
.! 9 &
#
;
9 7
8
6
Χ#D5#)5: Χ#∀Ε 4
3
5
=
5
7
7
.
=
5
;
.
ΑΑ
.
=
#
4
.;
= 5
=
=
5
&
8
4
4
&
8
∗ 99 +
∗ .3 Α
5
∃+
:
4
.#
9
9
8
5
8
:
.#
&
9
6
6 3
&
7
9
.7
&
8
.
9
∗0
+
&
.9
&
6 ∀
∗9=
+&
&
&
# ∃6&
∗9
∗9
+&
+&
∗9
9
+&
9
& )Φ&
∗9
+&
∗9
∗9
∗9
+&
&
&
9
&
+&
+&
.
D
.
&
;
3
9
& >
∗
Ε
&
&
+
&
:
3
9
Γ
3
∀
& 6 %%
#
∃
% ∃
&
∃
&
8
&
6
;
6&
.8
∋& &(
+ )
∃
)
∗∗ %&6 ∗!
%
&
.;
&
8
&
9
9
&
4
.
.
D
.
3
6
∃
9
% # %
#
)
% ∃ )
)
5
6 ∗ .#
4Β)
&
% ∃
∃ +
#
∗ & &
##
)
∋&
&
&#
∃
(
∃
)
8
9
∗
.
=
=+
.
∗ .3 Α
8
∋
+
&
&
∗ .)
&
−−& .0
∃Η
&
≅ &
.4 99 ,+
4
&
4
6
)
+
∃
∃&
9
+
)
)
% )
.#
#
#
∋
#
)
(
) &
# # &
+
>
/)
∃
−
)
6 ∗5
.
∃
)
.4 99 ,+ 8
&
6& +
0&
&
9
∃
% , )
) ∋
#
(
# ,
∃
∋∋∃+
)
# %
&
+
∃
+
#
% )
∃
% ∃ ∀
∃ . &
)
−−Η .0
∃Η
6∗
&
77
.
∗
+
>
&
!
&
5
&
&
&
&
&
+
& ∗ .
&6
= .
6
&
&
Ε
9
>
∗
;
+
>
5
∗
>
+
.
&
D
3
.
7
4
&
&
&
4
&
5
&
>
&
9
&
&
.
Β
!
&
9
&
&
&
:
Χ
&
&
&
>
9
)
&
6
6 )
&
Ε
9
5
&
&
+,
&
(∀
− ( %
.&
∗
∀ / ∀
&
&
/∀
∀ /∀ %∀
∀(
%
∀
&
∀∗&
& )
&
/∀ &
&
∀
−
∀
∀ ∗
& ∀%
∀%
& /
/
&
Ε
&
&
&
9
3
0+
#
&
&
8
;
&
;
9
6
5 .? =
6
&
3
&
.
!
)
&
&
2
&
8
&
3
∗
5
;
&
8
&
D
&
Β
!
&
8
=
& ∋( Ι
)
.
+
)
∋,,∃
&3
Ε
4
∃
Χ#D5#)5: Χ#Χ:3 )
Χ#D5#)5: Χ#∀Ε 4
850)5: 4
3
5
3
Κ
8
Χ
0
D
>
!
Ε
;
#
Ι
3
)
)
5
3
Κ
8
Χ
0
D
3
5
3
Κ
8
Χ
0
D
>
Ε∀; #54 85# ϑ Ι# 4;Χ DΧ:5!5# !Ι#4 :54 DΕΙ35Ε
Β
∋
# + (
9
3
4
4 8
3
5
5Α
;
Ε
!
∋− 1
, 1 ∃&(
;
∋1++∃(
0
3
D
>
∋1 & + + 2
) (
!
∋1
(
3
3
∋1
&(
∋1 , + (
0
>
1
&+
−
− %
D
:
ϑ
5
!
!
!
<
)5#85.)5#85 85)5#D#
5
8
D
8
8
4
8
;Χ#D>585
Χ:5#D DΕΙ35Ε
∀
∋0
∃ 3
(
D
6!
)
6 ∋−
∃+ + 4+∃(
4
D
9
∋− 4 +# + 5 ∃ +, ,)(
>
)
!
8
)
)
>
3
∀
&;
&
5
4
! 3
Χ
Ε ϑ
& 9 &
4
; ;
∀
)
3
∋
−
∋
∋%
∋/
∋(
∋∃
∋
−
−
/
Λ
(
∃
%
%Λ
%(
%(
%(
/
(−
(%
(∃
∃−
∃−
∃Λ
∃Λ
,
,
,(
,,
∋ −
∋ Λ
∋ (
∋ ∃
∋ ∃
∋ ∃
∋ ,
∋ ,
# !
Ι
!
∀
3
Φ
∋∋
∋∋
3
3
5
3
Κ
8
Χ
0
D
>
Φ 5;55> 85# Χ4Χ#4 Χ:45)∀5# ∀;5)
5
3
5 .? = ∋6 7 , 8
∃(
∋0&
(Β
: 9
&>
4
)
;
:
;
5 ;
5
:
)
;
5
3
∀
;
8
3
5
3
Κ
8
Χ
0
Φ 85!Β5> Χ:45∀85:55#
;
8
)
8
)
Χ
9
;
4
5
)
D
8
∋%−
∋%(
∋/
∋//
∋/∃
∋Λ
∋Λ
3
5
3
Κ
8
Χ
0
D
>
Φ ;Χ#DΧ#5Ε 3Χ3Χ:5 5 5 5:5# !50 : 454
4
∀
:
D
4
4
.
;
3
∀
;
4
∀
3
D
;
8
Β
D
8
∋Λ/
∋ΛΛ
∋Λ,
∋(
∋∃%
∋∃Λ
∋∃(
∋∃(
∋∃∃
&
∋∋−
∋
∋ ∋
∋ −
∋ Λ
∋ ,
∋−/
∋−Λ
∋−(
∋−,
∋%∋
! !
.1
23 4
4
.4! .
!
∀ #
)
7
∃ %&∋
3
9
&
;
& 7
∗
<
6
∗
% 5
6
&
&7
6 ∀
6
<
8
7
& 7
<
.
8
<
&
9
.
&
≅
7
Η
&
=
D
D
≅
5
7
<
4
&
6566
.
7 8596:&
<
∗
4
+
&
&
! (∀%&
+
6
Ι
∗!
4; 8
+
∗
&
&
&
Ε
<
;
7
∀/ &
4
..!∀
)
%
∋,,Λ
∋
<
)
5
∋−
∗
− 3
% 4
Η
&
7
+
&∗ +
&
3
:
4
∋
;
&
<
.
<
&
∋−
ΕΜΜ ∗( +
Η
3
&
&
∗
+
&
0
9
&
&
&
.
∃ ∀ − , % ∀%
/ ∀%(∀ ∗
5
..
..
4
− ∀∗
+&
∀
3
9
9
&
+& %(∀
≅
< ∗
%
∀
∗
≅
+&
∀=∀
+&
&
;
&
4
6
&
6
9
∀
&
&
.
<
<
!
&
<
∗
+ ;
9
9
;
&
&
&
∗
)
.
+
.
9
..
9
9
..
∗
∗
+&
D
∗
:
!
!
&
∀ ∀+
4
+
9
9 ∗
!
+
!
7
!
:
:
&
&
∗ 7
!
&
+
&9
)
6
∗9) ∃
+
∗ + ,+ &
, , & ,
/
0
, ,
& )
+
+:
∃ 1+
),
& %+∗
+
Η
,
&
+
&+
: +
&+
&+
, & %
4
∗ +
&
&
?
9
9
;
9
7
D
>
Ε
<
6 ∗
= &
Η
=
≅ & 5 ≅
!
9
&
∗ ∀
&
&
9
9
&
&
3
6
5
+
≅
3
;
.
&
<
<
9
+..
9
&!
9
Β
9
:
& & +
∃+
&+ +
∗ )& ∃ & ∃
.+
∃+,
&+
0
+ ,
,∀
5
&/
Β
7
9
)
≅
.
: ≅
& : ≅
&
3
≅
:
Η
!
!
D
6
:
6
∗∋(%−.∋∃∋ +
≅
− %
;
5
&
Χ
.
4
9
∃
& %
% ∃
∃
& % )
&
;
:
#
=
+ +
& ∗ ≅
+6
&
#
&
≅
∃
:
3
&
5
.
&
5
D 9
;9
& %
∃
&
#
&
9
5
%
&
& #
+ +
∗
&
#
&
∋((
!
≅
+6
Β
∀ ≅
&
&3 ≅
.
9
&
!
&
!
7
∗
≅
+
&
∗
9
&
+
9
8
≅
5
6< &
& ∗
,
% )
∗
0
# % ∃
∃ #∃
&
7%
9
Λ
>
D ;
+& +%+
7 ∗Β
9
)
∃
%
% &+ )
∃
∗
≅
≅
)
+6
<
3
%
& 0
&
9
:
)
+%+& & ∃ 3 : &
Ε
8
;0
−
!
4
Α
!
/
−
∀
∀ ∀∗
&
∗)
∀
.&− )∀
4
94
+ ;
&
&
&
&
4
)
5
4
≅
&
&
∗4
9
≅
≅
+
∀
3
&
4
&
;
;
9
#
4
&
9
=& 4
.
∋ ; ∋((Λ
!
∀−% &
∋ ;
.
&
Β
&
&
∋
.
∗;
≅
≅
9
&
≅
9
9
≅ +
9
≅
&
9
∗)
9
9
≅
≅
.
9
−
9
+
;
&
&
.
9
∗5
9
9
&
&
9
≅
+
&
%
&
.
∗)
9
9
≅
≅
)Φ
(
Ε
;
Η
≅
)
+
Λ
%
∃ ∀
Β
,
−
9
∀
6
− ∀
!
9
06
∀
!
8
<
;
6
!
6
&
&
9&
9
9
∗
&
&
+
.
&
Β
∀
&
&
9
&
∀
9Χ
;
∀ &
Ε ≅
Ε9
5
3
#
!
∀
>
8
;
%&
&
&
&
6
3
3
) ∀∀
&
&
6
≅
&
: ≅
& : ≅
≅ &
&
&
≅
&
9
&
≅
9
:
&
∋(∃/&
&
∗
.Κ
8
+
Ε 7
D
Ι
: ≅
∋(∃, 8
;
)
!
∋∃%∃&
%
&
%
;
<
&
∀
!
;
&
∃
Ε
; ≅
4
&54
9
Ι
Β
D ≅
/
&
9
)∀
.
:
!
9
)
∀
6
6
&
%&
6
&
&
6 ∗
&
+
;
..
∗
9
&
9
+..
5
&
&
&
&
Η
8
&
8
4
6
;
6
8
Ε
.
9
;
.
!
&
&
&
=
=
)
;
+
∗
9
<
3
∀%
∋
∀ ∀ /
&∗& /
.
∗
+&
6
&
∗ 33+
/&
;
∗
≅
∗
;
.
9&
9
+
;
−
6 ∀ −&−
8
&
<
∀
.
&
&
%&
&
&
∗
9
9
..
+
%
;
∗
9
/
;
∗
9
Λ
;
(
;
.
∗
9
∗Κ
9
9
+
≅
≅
+
+
+
3
≅
.
∀
#
+
!
# 7
9
;
9 & ≅ &
6
66.6
1(∀
;
9
∀ − ∗
.
+ ..
&
9
∗
6
&
&
+
8
&
&
Λ
9
6Κ
∗ ≅
(
8
5Χ % =∀
3
3
D
+6
∀ > %%
!
&
)
+ ;
.&− )∀ &
∋
≅
;
&
Ι
∗
∀ % > % =∀ &
&
%
/
/
;
&
&
Η
Η
&
;
Η
Η
−
&
;
&
&
&
&
&
&
%
;
/
;
;
&
==
6
9
;
;
6
6
∗
∗1(∀
∀ − +
+ 8
.
0
.−− 9
(
Β # 7
&
9
9<
8
.
3
5
!
5
4
4
9
∗
%
D 9
5
.
+ 8 5
4
&
&
5
D 9
&
&
∗−
+
∗
4
)
∋∃∃∋&
&
5
<
∋(
∋∃∃∋&
&
;
∋∃∃∋&
Α
%∀
+&
∋,
& ∀ &
9
5
9
!
&
8
&
&
&
&
4
&
Β
∗
∀ &∀ ∀
: ≅
+
5
& ∀ ,
∃
/−
6 ∀
(∀
6
7
(∀
4
&
∀
,
D
&
7
ΕΕ D
!
∗
+&
,
&
− ∀00
! ∀% 4
3
∀
∀
∀
%
!
(&%
8
3
D(&%D
:
9
6)
(&% &
)
9
6
<
!
9
!
)
=
=)
=
.# =
&
&
∗
9
+
4
!&%
=)
=
;
4
4
&
&
=
.
=
.
&
5
&
9
=
∗
4
&
;
=
=)
>∀ = 3
&
(&%
)
≅
+
Ι
=(
;
%=
&
!1.
>∀
∀> !
4
%
∀> 4
!
9
3
=
Ε
4
<
3
&
=
9
6
∀
. .
)
∗0 =
=∗
9
=
6 ∗(
)
Ε
!
≅
∗
:
!
..
+ D
=)
≅
&
;
:
!
!
.3
≅
!
D
+&
+
&
∗
.Κ
9
+
≅
4
Β
9 <
6
/Ν/Ν/Ο∋/ 8
9
6∗
;
+
???
9
∋
.∋ &
<
∗<
&
≅ +
9
<
./
Χ
!
−−&
ΛΛΛ&
Ι
)
3
∋ −/ ;
∋−
&
.
.. ∀ ∀
6
)
∀
∀
6 ∀ −
∃
∗ &% ∃ % ∃
6 ;
∃
6Φ
6
.
∀
6 3
#
&
.
&
.
D
9
:
∀%
!
/
8
=∀
;
∋∃%% Β
8
5 ≅
+
!
=
&
5Γ
, %%
!
8
%%∀
Π
&
5 ≅
6
&
& <
Β
∋;
∋∃%−
5 ≅
9
∀ &∗& 6 ∗ ≅
=∀
&
∋
.
&
∋
;
.
Ι
8
6
6
∀ =
∋,% + ;
8
6 &
( &6 ∗
∗
9
5 ≅ &
Α %∀ & ∀%% ∗
!
Β
∋ (.∋
+ #
≅
&
&
∋,∋Λ+
& ∀ )
∋,∋%&
;
6
.
6
!
Η
&
3
Ε
9
− (
65
Ε
.
<
#
;
&
6 55
, 8
3
D
..
∋ 5 ≅
∋∋ Ε
;
.
.
)
3
∋∃
9
∋∋
8
&
9
9
<
!
5
Β
&
∗
!
!
&
+
.
=
6
6
!
(
∋
;Χ .
(
∀
3
(
Ε
∗
≅
&
Ι
0 =
−
)
>
=
!
6
6
∗
∗
5
9
/ 5
Λ 5
( ;
=&
!1.4 :
&
&
∗
=
=
4
8
.
9
+&
∗≅
+
0 =
+
+&
∗
9
+&
∗
∗
≅
&
+&
+&
+
−−
%
8
&
∋−
ΛΛΛ
6
6∗
≅
9
+
&
.
..
3
∀
ΛΛΛ
!
)
≅
..
5;
&
9
≅
!
8
4
;
!
≅
−
&
%&
.!
Γ >
..
)
<
<
6
3
ΗΒ
≅
+
∋− ∋∃
∋
!
)
6
<
∗
∋
.!
∗Ι5 +
9 ..
6)
≅
.
;
6 !
Ε 9
:
!
.!
8
Ε
.!
9
&
&
&
&
∀
6
;
6
<
)
..
9 3
=
6Ε
∀
∗
&
ΛΛΛ+ ∀
93
Η
&
.!
Α ∀ &(
9
=ΛΛΛ=
!
6∗Β
!
9
3
6 9
6
Ι
ΛΛΛ&
9
.Κ
+
&
9Κ
.!
.
&
&
;
&
9
.
;
&
68
&
5
.!
&
.
6∗Κ
=
.Κ
&
9
9
<
&
&
& 9
&
Β
&
9
+
<
9
0
9
<
3
&
6
<
)
((
&
6 ∗
∀/ ∀
+ 4
, ∀&
5
64
8
<
<
4
4
5
6∗
%
7
5
9
≅
5
Λ−
5
9
4
6 ∀>
&
&
5
7
Λ−
−
%%&
≅
9
∗Ι5 +
6
6
6
.
!
&
.
∀
∗
) ∀∀
%&
3
.
∗ 33Η ∀
∋−
#
+
&
%
+
!
<
6
6
)
∀
∀
∗∋∃∋ .∋∃(/+
∀
6<
7
&
&
6
Α
∀
)
! & ∀
∀
9
;
%&
6
6&
!
9
;
<
!
)
6
6
;
&
&
&
4
)
&
4
4
6
4
6
&
6&
&
∗
)
<
6
9
&
+ >
&
!
.
5
&
9
∋
Ε
6!
∋
&3
∋(.∋∃
&)
.
Β
6;
.;
=Θ6
∋
Ε
<
&
& =5
−.%
Η
&
8
&
.
6
−
<
64
− ∃
)
&
.
.
.
Γ6
%
5
6
Ε
∋ ΛΗ
∋
.
5
;
& =8
)
)
& =8
Γ=
= 6
∋%
4
6
6
∗
9
≅
+
&
Κ
6
<
∗
& 9
7
<
∃ ∋Λ
56
6
6
6
+
=
=&
6
6
.
9
&
&
;
!
9
;
6
6&
4
6
6∗ ≅ &
&
+
..
Η
∗<
∋
−∋+
4
9
&
8
.#
.#
∗;
;
% ∃+
∗
∀
&
!
≅ &
+
<
≅
!
&
.!
& &
! &
D
5
4
&
Β
&
Κ
6
.
6
D
6
6
Ι
&
.
∋− < 7
! .
∃ ∋Λ& 68
=
=
;
5
.
6
∋/
3
5
Β
∀−% & 57
)
≅
.Κ
+ ;
=& 4
&
&
.
9
!
∗
:
=;
8
3
&
=
&
9
∀
&
9
6.∀ (
6
∀
6
∀ (
6 ∗−
∀
+
,
+
3
,
&/ ) , % ∀ =∀
Γ7 , % ∃& & ∀ − ∀
Γ?
∀ ∀ / − % −∀
Γ≅
∀
−
) &
−
=∀ ∀
Γ# % ( %;ΓΓΓ
ΓΒ Α%&( )
∀
ΓΦ , % !
5Γ
∃8 ∀
%
∀ ∀ ∃& :
∋( Ε
.
6
#
5
: 9
&
−
∋(
;
<
&
&
&
&
&
&
&
&
&
3
6
.
&
&
6
3
&
&
.
D
&
&
&
&
9
∗
&
9
!
5
∀>&∗&
.
&
&
∃
6
&
4
!
6
≅
5
5Β
+
∗
9
3
+
#
<
.−− 9
/
;
.
∗
9
.
9
+&
9
&
3
&
9
&
&
Κ .
&
≅
&
Ε
9
!
;
9
&
≅
∗
&
+&
4
&
6
;
6
!
#
∗#
∗
+
;
3
&
9
.
∋− ∋∃
9
4
&
)
Κ
9
9
&
3
&
∋∃ Ε
&
.
∗ΛΛΛ+ 6
Ε
+
&
.
Β
6<
&
≅
& ∋∃
Α
∋∃
&
;
9
.
&
3
;
!
!
# ≅
∋((Λ
Ι
Β
&
9
≅
9
4
5
Β
∋
!
)
9
&
)
ΛΛΛ ∗5Φ+
3
3
Ε
6
ΛΛΛ )
!
)
&
)
∋,,,
6
6
6∗
!
#
.
!
∗#
≅
&
& ∀ 6
3 ∋,,,
∋,,,
≅
+
&!
+
∀
.
4
∗ 9 &
Ε
9
≅ &
≅ &
+
.
ΛΛΛ
3
3
;Γ
0− .1 !
∋,,,
&
4
&
+: & + ∃+
, % !
5
4
&
6
∃
Ε
>
9
;
&
&
& ,+
∋
ΛΛΛ
≅
&
9
Ε
3
6
&
+,− ./
1
9 &
9 6
4 ;
&
∀ ≅
4
64
&
!
;0
&
;06
!
;0
)
& 6Ι
6 ∗5
7
(+
;
.
!
∗!
7
%( ∋−.
+
∋, ∋ ; ∋((ΛΗ ∋ ; ∗
3
ΛΛΛ
5
=
./+
∋Ν/Ο ΛΗ ∋(( Ο ∋Ν(Ν( Ο ∋/ Ο ∋Ν/ Ο ΛΗ
)
∋((Λ&
∋∃Ν∋ Ο ∋Ν, Ο ∋ Ο ∋Ν Ο ∋ Ο
=+
∋,
9
∗ ≅
4
5
<
6>
.
#
&
9
&
#
∗
.
.#
<
.
.
.
+
5
6 ∗ .)
3
&
−%+
.
<
&
5
9<
6
7
5
.
6
&
4Β)
;
;
5
Η
5
&
#
!
∀
&
&
5
5
4
..
5
4
&
)
∗
99
D& =∀
&
%
+
∗ ∃+
3
0
∀
& )
9
99
&
.−−&
∀
%
&
+ ∃+
4
5
Β
/+: &
,+
9
5
7
5
Β
&
.
Β
;
5
&
&
&
6
&
( &6
9
9
4 ;
&/ ∗∀
. +
9
&
&
6
6
&
4
8
8
∗
6
+2 ,
6
6/∀ ∀
6
6
;
8
..
4
..
;
9
, +, %
6
&
:
&
&
9
&
8∃
:
;
&
&
4
.
4
&
9
&
6
&
9
6
&
;
&
9
8
6
9
6 ∗
+&
7
&
3
&
7
9
&
7 &
7
9
6
7
&
.
6
..
∗
4
+& 7
& 7 ;4D ∗
)
& ;4D
3
+
&
− ∀: /&
− &/ ∀ :
8
8
)
−
∀
)( ∀
& 8 &
∀
8
>
&
6
6
∃%
>
9
+
<
&
.
>
8
<
Β
∗>
&
;
&
9
Κ
>
5
8
7
Β
8
3
Κ
>
&
9
<
)
Κ
&
#
& D
9
8
D
& 3
9
4
& Χ 7
= ∀ − − ∗
<
& 5
&
<
)
&
Ε
Η
+
3
8
&
8
&
9
9
≅
&
≅ &
&
;
&
&
9
&
.
7
4
9
&
<
!
<
!
5
∋, ( 4
.
<
∗∋∃%∃+
>
4
#
∗∀ + 8
&
<
8
<
>
4 ≅
5
&
≅
5
∋,/∃&
) ∀
Β
5
&
∀
Β
)
:
:
&
&
9
)
>
# <
)
)
)
&
;
6
6
6
∗Κ
3
6
#
+&
#
!
!&
Η
53Κ ∗5 3
1 &
D
;
3
!
Κ
+& Κ#3Κ ∗Κ
Η4
!
&/ 8∃
6
6 ..
&
≅
6
Ι
% (∀
6. ∗% )∀ % =∀
. )∀
6
Η
&
∃ %
3
Κ
Η
+
%∀:
&
6
#
3
Κ##
D
7 ..
3
6
,
∃
# # & +&
8
&
&
6
6
9
D
&
9
.
&
Ι
9
&
&
&
.
&
&
∀
8∃
&
:
8
&
∗
&
∀
.
&
&
.
&
+
&
&
5
9
.
≅
3
.
&
9
&
&
4
≅
4
.
;
!
&
.
&
)
;
D
& 6)
:
!
0
6
4
&
!
&
9
4
−
%%&
∗Ι5 +
−
5
4
&
9
3
9
.
9
Β
9
!
9
&
&
∋− ∋.−
;
&
.
3
6Ε
&
Η
.
.
3
8
;
&
8
Θ6
;
9
≅
!
∗
!
∗!
3
!
6
+&
6
.
&
9
+
9
.
<
3
&
<
)
=
8
∗
≅ +
..)
)
&
&
!
9
&
..
3
6Ε
& 5
&
:
&
∗
+
6 ∗Β
.#
3
5
&
.# &
∋− Λ+
!
;
9
&
9
&
&
≅
5
4
&
;5
∀
..!
& !
&
..
&
..
..
;
&
4 & >
3
5 99&
.
& 5≅
.
& D
& 4
8
&
&
9
5
&
Ε
3
9
<
∋ )
99
%
&
&
8
9
9
&
7
9
9
&
&
4
&
)
7
7
. !∀ /
&
5
&
9
!∀(
8∃ ∀∀
!
;
9
≅
∀ :
&
&
;
3
5
>
8
&
9
9
&
&
;
&
.
4
&
&
;
&
9
.
9
6
8
6
)
&
9
&
&
&
> ∋
6
9
&
Β
=
=
∗
)
+ 3
)
.#
0
≅
6;
9
9
6
3
≅
D
Α
9
)
9 ≅
&
0
9
≅
6
)
>
&
5 99
&
9
&
&
5
&
9
&
/
&
&
∀ /∀−
8∃ −
:
4
7
9
∗
&
;
+
6
6
.
6
6
9
9
&
9
4
>
9
.
&
&
9
≅
&
.
≅
>
&
5
9&
&
#
)
+
;
3
&
!
9#
∗:
≅
0
#
!
&
;
9
&
&
!
9
9
!
9
&
6
6 4
9
7
&
.
8
≅
9
&
&
.
3
.
9
&6
6
9
6
4
&
7
6 ;
6
6
Ε
9
9
&
&
>
9
6
6
0
7
6
8
&
6
&
6
6
;
&
6
&
5
6
!
3
Ε
4
6
&
7
9
6
)
.
≅
&
6
6
7
&
Λ
∗
+
;
∋
9
)
&
! 9
7
.!
4
&
9
&
0
&
9
.
&
&
&
!
#
≅
.
6
6
7
∃
0
8
3
7
9
6
6
3
6
6
9
9 7
3
9
&
&
;
;
Ι
.
.
&
3
6
& 5 .? =
6
!
9
.
∀
.
9
7
&
9 7
&
9
&
≅
9
8
6 4
.
&
7
6
&
∀
&
7
..
..
.
∗
≅
&
9
+
&
9
8
9
3
&
&
9
4
&
&
&
Γ!
;
!
&
Ι
;
.
.8
&
9
&
&
≅
&
(
9
;
5
&
>
+
/
9
∀ (&
+
%∀
∀ ∀
&
/∀
/ %
∀/
+ 8 %D! Η
∀
Ι
5
%∀(
&− /
∀(∀
%% 8
Χ ;Γ7 :
(∀
%
∀
:
&
9
4Β)
+8 %
∀
5
:
Η
3
Χ 55Β:
&/
/
&
%
∀
%
&
/∀ ∀
.# &
&
9
!
&
9
;
;
&
.
&
.
.8
!
&
&
8
9
9
&
3
2
&
8
6 9 ==&
;
Ε
9
6
6
&
9
.
;
.;
4
&
Γ
6
&
.8
&(&
6
63
9
62
∃ ∀∀
∀
∀
∀ /%
68
&
.
4
9
8
9
+
9
9
&
9
)
9
9
#
9
.
.!
D
.
&
6 ∗4
6
:
!
6 )
≅
<
.
<
&
&
∃
&
&
.
;
&9
;
;
∀
.
.
&
Β #
0
∗
7
+&
;
8
&
9
5
&
&
9
9
&
3
&
9
3
9
%− ;
<
:
>
∗!
&
8
>
5
9
+
.
!
.
&
8
D
&
∀
.
&
∋ )
!
0
)
)
∗!
∗!
)
&
ΜΜΜΦ ≅
8 ;
&9
∋Λ Ι
∋Λ%Λ
)
+ !
/.Κ
Η
9
∋− Λ
6
6
+
&
)
&
)
!
&
Κ
4
5≅
+&
5
)
4
∗)
Χ
;
..
!
&
9
!
!
&
&
)
&
.
;
.
&
&
6!
)
&
.
∗)
!
..;
≅
3
;
&
)
9
≅
&
6
&
&
&
Λ−+
)
≅
,
D
4
4
&
% 4
!
)
!
)
Χ
:
:
)
Ε
>
)
:
&
&
>
4
∗:
&
+
Κ
Ε
3
&
!
)
;
∗
&
=
6
∀
+
.
3
Η
&
∗
)
&
Χ
∗
&
∗)
∗
)
9Χ
..;
Α +&
.
9
3
≅
&
8
:
9
&
Α &
&
≅
Λ(+
3
9
Κ
∗Κ
&
3
≅
..
+ ..
4
&
&
3
&
<
&
<
8
&
&
&
&
&
;
<
Α +&
+6
.
&
&
!
&
&
9
>
∗≅
+
4
−
)
6
6
Ε
5
)
Ε
&
8
:
!
)
&
7
&
)
Ι
∋− (&
!
≅
!
)
∋−
&
)
&
8
;
∋, ;
∋−∋%&
∗
+!
)
&
8 ;
∗
Κ
)
;
&
Κ
Φ
)
!
&
Α
;
)
9
!
)
4
:
+
;
&
Α
&
&
&
9
&
.
6
6
9
&
6
9
4
&
:
Κ
:
&
&
&
99
∋( /
9
≅
Ε
6
∗
Κ
64
:
: 6 9
:
99 &
&
∋% +
99
..3
8
& 9
∋( /&
≅ 9
&
;
&
9
Β
!
4
5
D
:
&
!
>
)
!
)
5
)
∀
!
)
)
!
.
Κ
6!
&
)
<
&
<
Ι
)
Ε
∗!
∗!
∗
)
Β
:
)
+
:
>
4
&
3
+
<
6
9
−∋
+ 8
&
∗<
≅
&
8
..3
≅
∗Κ
+
9
3
97
≅
&
≅
D
≅ &
Ι
D
∃−+
4
;
!
6
!
)
.
&
&
6
&
.
&
!
.!
!
)
&
&
.
∗
&
9
5
+
4
3
!
3
!
Β
∋ .∋−&
.
8
3
.
9
& 9
3
4
#
;
!
)
6;
6
3
5 9
6
&
8
&
4
;
.
6 ;
4
3
3
<
5 9
;
=
=
Η
3
#
;
&
.
∗8
9
Ι
;
Β
;
69
6
6
&
4
5
5
9
≅
9
9
)
60
9∀
6 ..3
&
6
3
9
:
3
5
6
9
6=)
9
9
Λ(+
;
9
&
4
&
&
#
)
&
5
&
;
)
4
5
&
.
&
#
;
.
!
65
&
;
9
6
3
65
Ε
;
6&
3
&
&
6
6
.
&
.
!
3
−
)
&
&
&
.
∀
&
&
9 5
&
&
&
∗∀
5
&
+
3
&
9
#
9
∗
D
+
∗)
+
∗
5
+
.
∗
+&
D
5
64
47
3
Ε Φ &
4
)
&
>
.
!
;
∗)
&!
93
.
&!
)
4
3
;
9
&
&
!
6
)
D
..Ε Φ & )
&
&
3
∗∋,ΛΛ+
)
5
) 4
&
8
∀ ≅
Β
!
)
99
D
/ 8
)
&) 3
3 &
9;
4
9
&
&
&
.
−−
D
%/+
&)
Ε
.
!
<
!
&<
!
!
;
.!
8
&
9
&
)
≅
4
&
&
&
9
&
&
#
!
9
&
(
4
∋Λ(−
&
..
8
9
6)
4
D
Ε
9
;
6&
%
&
6
8
6
!
9
4
5
∋(∋(
94
9
&
&0
9&
;
!
&
≅
9
;
..
&
&
6 4
6
&
9
&
.
∗
+
&
9
&
5
&
#
<
∋,Λ∃&
)
6!
Κ
9:
∗
&
Χ
& 8 5
:
+
&
:
&
&
∗∋, ∃.∋,∃%+
Β
∗)
Κ
9 :
+6
6
&
&
9&
&
.
6
−%
Ε
5
)
!
Κ
9
9
∗Β
9
9
9≅
9
)
&
&
≅
9
∃ 0
∗
>
∗
&
∋,,(&
4
D
:
+
≅
9
&
..) ≅
&
9
&
Β ; !
9
+
8 8 7 >
<
+&
4
D
3
&
.
4
&
D
9
∋,(−&
Κ
)
9
≅
≅
5
6
∗!
∀
6
5
−−
∋,,Λ
)
≅
Φ
+& ∀
&
&
∋,,/&
)
5
∋,,(&
9
)
∋,,%
9
:
9
<
Η
!
∋,,/&
)
!
5 Φ
∀
< + !
∗
9
∗
9
0
8 Β 9
9
#
Μ
<
&)
Κ Ε
&
+&
+
6
≅
+&
.
Β
<
<
9
<
&
Β
6
∗∋∃∋,.∋,
+
<
7
5
ϑ&
&
3
)
!
Α
&
9
&4
9
∋(∋(
&
Φ
&
∋,%+
9
5
4
.
&
&
Ε
∗:
5
;
&
6
&
&
;
)
)
&
<
9
&
..8 ≅
&
Ε
ϑ
&
7
!
5
&
∗0
#
9
)
+&
6
60
&
∗
9
7
:
&
4
&
6∗
Χ
Κ
∋,,(
&
!
∀
5
#
∗
4
&
+
−/
)
!
)
∗)
;
3
Ε
!
)
+
4
3
∗
&
+
.
8
&
&
.<
&
≅
9
Ε
∗
+
;
&
&
&
&
3
Ε
&
∗∋+
)
∗ +
)
∗−+
)
∗Χ
+
9+
∗;
3
Ε
:
4
&
5
∗0
)
;
+
<
:
&
)
8
9
&
)
8
&
&
!
)
&
4
;
9
&
&
4
;
3
&
6
6&
6
6
4
9
8
6
;
∗−−
+
&
6
9
;
&
−Λ(& 3
)
:
D
!
7
%%−&
∗:
5
;
+
5
.−−
<
∗
+
6;
∋(,(
;
&
5
6
8
8
&
.
−Λ
6
6
∗∋+
∗ +
∗−+
&
;
;
;
Χ
;
;
9
;
&
)
!
9
∗)
9
&
;
&
!
)
+
;
&
8
∗
)
)
)
&
6
)
)
)
.
&
&
9
9
+
&
∗∋+
∗ +
∗−+
&
:
4
4
6
&
;
;
Χ
4
;
9
9
9
9
≅
&
&
.
Η
&
&
6
6
&
5
− 5
&
6
6
0
4
&
9
&
!
!
&
0
&
&
<
)
!
6;
:
&
!
9
0
&
&
Κ
)
4
9
∋:
Ε
3
.:
:
0
8
3
5
&
∋∋ ∋ .∋∋ 6
5
;
&
≅
Β
&
9
<
4
8
9
&
∗
≅
&
+ 3
3
Η
.
∗
−(
+9
&
<
>
<
4
5
5 99
<
!
)
&
:
&
!
!
..
)
&
!
&:
>
.
..)
) &
3
∗
&
&6
&
+9
& 6Φ
≅
>
9
≅
&
6
<
∗ = + 9
∗<
Κ
!
+
&
6
!
!
6
!
&
..
!
3
&
<
<
6
6∗
8
Λ
≅
+&
&
/8
!
&
≅
≅
& )
5 99
&
6
)
!
Β
..
>
3
&
9
3
+ 4
& !
6
∗
4
&
6
&
≅
.
∗Κ
6
3
&
≅
69
& ∋,∃−+
9 &
≅
9
6
6
9
4
;
; ≅
..;
& !
.
&
&
≅≅
8
∗
+ Κ .
!
%
5
5
9
&
.
&
9
5
&
∗
5
Ε
5
9
D
+ 4
9
Χ!
#
Β
;
5
!
&
)
%.∋∋.∋(/ 0
,.∋∋.∋((/ Β
>
%. ,.∋∃
Κ
−∃
#
Ε
Ε
Ε
Ε
Ε
%
Λ
# ∋
−∋
)
Φ
Φ
)
)
&
3
%. ∋.∋∃∋(
5
Ε
≅
D
.∋∋.∋∃Λ% Κ
−. %.∋∃Λ/
>
%. %.∋, ∋ ;
∋∃. .∋, , !
∋−. ∃.∋,
;
,. .∋, ,
3
∋∃. / ∋,/∋ Κ
5 D 9
Β
; !
)
: ≅
Β
> )9
Β
D >
>
4 )
D
0
%−
≅
Ε
Ε
Ε
Ε
Ε
Ε
Ε
Ε
∋∋,
)
Ι
∋
Φ
∃ Λ Ι
3
−/Λ
Ι
(
Ι
%/
−
Κ
5
Ε
)
Ε
&4
9
9
9
5
&
9
9
&
&
9
9
&
Ε
∋( 5
:
:
∋∋ 0
4
..D
D
Ε
∋∃Λ/
∋,∃∃
8Κ&
Β
)
>
4
:
Κ
;
9
3
3
D
)
5
;
Β
&8
4
3
&
8 Χ
Ε
5
&
#
Κ
&
<
9
/ 0
Β
# 7
5
Β
0
#
7
∋/ Ι
9
0
Β
∋∃%%
∀ ≅
# 7
:
3 7
&
Β
&
9
∗
.−−+
&
∗
+ 8
;
3
!
9
Φ
3
&4
8
&
&0
8
8
>
Β
Χ
−,
>
# 7
&
&
;
6
∗
6
+
&
3
&
6
)
4
&
ϑ
Η)
∗=
6
&
Α +
&
Β
ΗΙ
D
.
&
.
9;
>
&
9
&
!
Φ
..
>
≅
>
∗; 0
Χ
4
Β
9
.
Φ
≅
≅
9
&
∀
.!
&
)
&
D
)
)
Γ8
Γ4
%
9
+
)
)
3
& 6;
)
Ε≅
0
5
<
3
≅
Ε≅
# 7
)
&
4
&
%∋
∀
3
ϑ
67
6
<
<
<
Χ7
8
<
6
∗
+
6
8
63
;
7
9
Χ
6 ∗3
&
&
< &
;
<
∗<
∋∃,/&
!
Χ
+& Ε
3 7 & 4
)
9
9
<
∗<
.4
.
7
9
<
&
ϑ
&
+
6
6 9
&
&
7
+&
9
5
∗<
&
)
59
>
7
>
7
7
+
9
∗
+&
&
9
7
.
∀
&
7
9
&
&
.
9
.
&
.
.<
4
∗
& 6!
ΜΦ
∀
+
&
.
&
!
.
&
9
;
6
.
∀
&
∗
.<
+
Κ
&Ι
9
.
.
;
9
Ι
≅
3=
3=
&Ι
3
&
Ι
4
;6
;
..
6!
.
99
&
9
..
&
&
!
&
6
− Ε
&
+
6 ∗
& )
.
−
+
4
6
∋, −
9 7
∗=
7
∋
Ε
; 0
5
&8
0
.5
∋,,∋
%
.
∗)
9
&
&
99
&
Β
+
∋∃,(&
!
5
ϑ
3
&
3 7 & 4
&
∀ − ∗ϑΙ5+
4)
&
ϑΙ5
3
9
>
> 7 Η !
7 >
<
+&
<
) ϑΙ5 !9 4 ≅ 4
∗
7Η
5
)
;7
;
8
/
5
D
ϑΙ5
&
9
3
&
&
;
&
.8
&
&
.
.
∗
&
+
&
∃ ∀∀
&
&
8
Κ
Κ
&3 9
Κ
&
Χ
&
4
Κ
8
&
!
&
&
.
9
4
!
&
&
6
.
!
&
64
)
≅ 6
6
6
7
)
D
7
Κ
6
&
&
9 D
.
9
&
9
&
.
&
&
&
9
∗
&
+
&
&
Η
Κ
9
≅
≅
&
&
&
6
6 ;
&
ϑ
6
;
.
% Ι
∀ ≅
Β
&;
%−
&
67
6
9
6
∗ ∀%
∀%∀>
== .
+
,
7
9
Κ
9&
7
..
=
)
7
0
: ≅
:
Ε
ΜΦ
D
)
Α
∗5
0
;
Α
≅
;
)
9
!
)
&
Ε
=
0
8
: ≅
9
3
ΜΦ & 9
&
((+
..3
≅
:
&
5
D
7
∋((Λ&
7
≅
9
9
.
&
&
&
.
9
;
3
&
&
.
33 ..
..
&
.
&
9
9
3
Ε
&
Κ
:
Κ
; 0
5
& :
Κ
9
.
&
&
9
&
9
:
&
6
Κ
Ε
Κ
3
:
Κ
Ε
6&
Κ
;
;
&
&
Κ
7
Κ
Ε
&
9
6
:
&
8
6
&
9
6
&
9
.
%%
6
3
&
≅
&
&
∀
7
:
.
∋/
∋,(∃
∋−,∃ > 4
4 =
∋,∃/
&
9
∗
Κ
+
Ε
.
9
Κ
0
;
9
9
∋
/;
57
Ε
9
&
∋,/
3
&
8
5
Φ
8
∋,∃∋
.
9
∗; 0
∋(−+
%/
5
&
! !
D
.
+
(
D
7
>
∀&
&
/ ( % /∀
∀%&
∀∗∀
&
∀%
(
∀
&%&
∀/
8
;
9
9
6
3
.
4
&
5
9
5
&
#
6∗
&&
8
=
# #
=
)
&
!
:
∃
.
# ∃
#
∃
&
Ε
% ∃
3
+
Ε
∃
;
Ε
#
)
&
&
9
.
6
∋∋&
#
# ∃
;
)
#
)
8
3
&
&
∗Β
6
∃
∋− ∋+
&
∃
∗Β
6!
#
%
%
+
&&
∋− ∃+
∃
+ #
)
∃ %
)
∃
& %
∃
∃
& #
∃ ∃
∃ ∃
∃ &
#
6 ∗Β
∗Β
&6 &
∃ ∃ &)
# &
#
∃
∋− ∋∃+
#
∋−+
∃
∃
+
& %
#
∗Χ +
∃
#
% ∃
)
∃ %
#
)
& +
5
∃
%
#
∃
#
) )
∀
&
&
&
%Λ
&
6
% /
−
% ∃
6 ∃
∃ # %
)
6
&/ #
;
62
+
%ΧΒ;:
6
.
5
.
8
∀ ∀
(&
∀ ∀
&
;
&
8
#
∗ &
∀%
∀/
D
8 D
∋( ∋
#
&
& %
)
∃
Ε
#
∋(
%
∃
6
&
&
% +
+ # )
#
∃ #
)
∃&
)
>6
#
#
)
&
&
&
.
8
.
5
.
9
&
.
8
8
&
.;
#
#
3
.; =
99 &
99 &
∋∋(
&
=
9
5
!
99
9 = ∗
∗
+ 5
.
9 &
=
4
5
//
#
&
.9 . +
∗
+
9
& =
9
&
9
9
&
99
9
=
&
&
9 =
= 4
&
5
9
= 8
9
9 &
99
&6 Χ
99
5
+
9
∗
9
=
.
.; =
∋∋(&
6
8
9
//&
9
5
.
∗
+
5
5
9
9
∗#
&
6
)
+
+
∗
)
∃∗
∋ ∗
, #
∗ ∋)
%
;
99
=
9
&
5
∗
(+
+
6 ∗ .#
6 ∗ .; =
6 ∗ .5 9
,(+
/ +
5 .? =
#
#
= ∋/+
;
.
9
5
!
+
(
=&
99
99
.
6&
&
+ >
#
9
6 &
6
5
9
&#
6
+ Ι
∗
9
&
)∋
9=
∗
+
5
#
//&
9
&
9=
#
&
&
!
9=
9 =
9 = ∗
9 =
+
5 .? =
=
&
6
∃
3 Α
6 ∃
∗ .5 =
& #
/− +
&
=&
) ∀
& #
∃
5 .? =
# #
% ∃
∋∗
7 # 7∃
&& #
)
∋∗
7 # 7∃
∃
(6 ∗ .
∗? # 7∃
(6
∋Λ/+
4
.
∗ .;
∋∋+Η
Ε
.; =
Λ(&
9 =
6
.
;
=
=
6
9 = 6 ∗ 7.ϑ
9 = 6 ∗< 9 (Λ+
.3 Α
(
−%& .5 =
9 − +Η 6
Λ∋& .5 9 ∋ /& <
%∃
9 = 6 ∗5
%Λ&
#
.: = % & .>
5 .? = .
%+Η 6 9 = 6
/& 7.ϑ
% &
&
#
/
/&%
9
∀(
(∀ &
5
4Β)
∗ .5 7 Λ + #
#
&
.
5
8
9
4
9
4
6
5 ? =
#
&7
ΓΕ
&
8
5 .? =
#
8
&
8
&
9 &
8
!
#
8
&
5 .? =
;
#
8
5 .? = &
Ε
;
&
D
∀
(
5
3
&
∗ %
5 .? =
8
)
&;
&
#
9
&
3
.
&
8
6
.
;
5
5
5
5
Θ6
&
8
>
;
&5
8
&
.>
&
5
>
& 6Θ
5
&
9 &
;
! =
&
6
94
8
?
.5
& 65
8
&
&
5
&
∗
3
+
∗Β
−
∗
+ 8
&
%.Λ+
∋, ∋∋. ∋& Β
;
5
%
6
;
(∗
&
Ε
.
+
..
! =
)
&8
:
.
..
/
5 .? =
(∗ +
.5
<
5 .? =
)
&8
&
9
%,
:
5
∗
5 ≅
;
+ <
#
∗
<
+
!
∀
≅
!
/
∀ & Χ
(
& &
∀ !&
#
&
9
3
5
99
∗
9
+
//&
&
Η
9=
∗
+ 4
6
&
8
=5
)9
.!
9
∗
= ∀
∀ (∀
99 +
=
9
%−
=&
9 6
=
99
5
4
& ∀%
D &= 8
6>
&
&∋& ∀ ∀%
&
& ∀% &
7.ϑ
%
6>
%D%
∀∗
=
=
&
&
) ∋&
%
) &6
&
&
6
=
&
) = >
!
∋
#
8
9
5
= 8
∗
//& 6
9
99 6
#
&
9
+
#
=
;
#
8
8
#
.;
5
..
&
.8
..
&
6
&
.;
9
6
#
.8
7
5
%D
4
9
D
∗ %
5
8
; &
Λ
(
4
) ∀
/) )
3
8
>
&
& 0& %
∃& %
!
:
)
/)
Β
.4
.;
=&
&
∃
% ∃
)
.
8
Η
&
& ∀
6 ∗ .#
=
∃ ∋)
= ∋(∋+
#
&
5 .; = 9& 3
/
4Β)
∃,%
5 .? =
∃
(
#
5
&
5
;
5
6
..
5
!
&
9
&
3
5
∗
&
4Β)
/,+
+ 6 ∗5
#
3
5 !
5
5
8
%
6
)
&6
∗ %
5
&
8
;
&
& 6
5
8
)
=
&
&
9
= 4
9
Ι
&
5
5
68
6
9
.
&
&
5
9
&
6
∃
5 .? =
∗<
9
∃
∋%
&, )
)
&
.
.#
(
∀
∃#
!
%
#
&
#≅ 9
& %
6 ∗ .#
∃
)
= ∋ −+
9 . 9
#
++
∃
∃
5
!
+ 4
.
∀
) & ∃
#
6 ∗5
9
>
Α% ∃
) &
Λ,+
;
9
∋& #
&
4
.
) ( ∃
&
)
&
&
.#
) &
&
.
<
:
∗
+ ;
6
3
4
&
(
8
6
&
+
/∋
)
)
9 4
&
6
&
∗
(
&%
5 .? =
6 &
) ∃
& % )
70 ∋)
∃# ,
∃
∃ %∀
& ∃
∀ & ∗&
%
9
& #
(∃
∀ −
/%∀
5
∃ &
∃ ∀
&& ∀
!
++
# % ∃
7 % ∃
6 ∗5
/∀ (
&
∗
% Η
<
)
#
#
(∃+
∃
∃
Ε
? =
<
5 .? =
∃
∀
#∃
&& ∀
9
.#
# , ∀
#
)
#
3
&
)
/
∃ &
5.
&
&
4
∗
+
∗
∗
&
∋− Ο ∋Ν− Ο %+
+8
%
3
<
&
&
&
:
&
9
;
8
6
.
&5
4Β)
,
& ∀
)
# &
# ∃
) ≅ 70 ∃
∀
% +
)
>6 ∗ .3 Α
(,+
D
9
#
+
7 ∋∃
& ∃
∃
7
+
)
& ∃ Α
& ∃(
% #
&
9
. 9
≅
.
∀
5
9
9
9
/−
5 .? =
6!
+
+
!
4
9
∃
#
7
%
.#
∃
%
%
)
6 ∗ .#
= %Λ+
&
6
6∗
&
≅
+
&
&
&
>
5
6 #
&
:
# &
#
∀
9
#
6 ∗ .3 Α
7
5
.# &
5
∃ %
#
% ∃
∋ ,+
&
8
.
&
)
7
&
8
&
9
&
.
7
&
;
.
68
& &
+
0
5
.
∃
% ∃
#
&
&)
∋ /+
∃
∃
+
6
6
9
.#
#
&
∃
&
0&
) &
&
& ,
)
&
)
7
∃
6 ∗ .3 Α
#
&
.#
∗
9
3
+
8
5
6
∗ ∀ ) %%∀
!
&
Η
&
<
6 ∀ ∗
6
&
&
<
∀
&&6
%
∀% +
6≅≅≅6&
Ε
∗
5
&
>
∀
8
+
/%
∃+
.
;
:
)
&
9 &
&
!
+
+
6 ∗ .3 Α
&
9
+
# ∃
−
9
9
8
<
.
6
∀
∃
&
5
∋
.
∋− 4
&
&
∋ ( %D
3
Β
/
+
&
∗
(
&
.
&
.
9
6
∀
#
% ∃
#
6
5
∗ %
%
∀
,
)
%
Β6 ∗5
∃
)
(∋+
∃
)
#
∃
)
&
8
9
&
&
&
7
8
9
&
6
<
∗
5
∗
9
6∗
&
.
9 <
.
.:
+&
&
6
6
+&
9
9
9
.
.
9
.
26 ∗
)
%
8
!
8
#
.
;
&
+Η 6
&
+
//
;
&
4
&
)
6 9
%
6
& /∀ ∀
6
6 ∗ ∀> > %
8
99 &
&
.
6
0
7
8
∀ +&
=∀
&
&
6
9
7
&
4
&
&
9
9
8
9
&
&
.
&
9
!
8
&
&
.
9
% #
6
)
)
%
6 ∗ .#
&
Α
# ∗ & &
% ∃
∃ +
9
∗ .#
>
&
&#
& ∃
)
∃ +
7
5
∃
#
% ∃ )
9
∃
6
)
6&
5
.
5
4
..
5 .? =
=
=
..
9
9 . 9
49
&
9
( &%
& &) %
9
9
)
>
? =
6
/Λ
& 68
&
∗
+
4
&
9
.#
∃
&
&
9
∗
+
)
%
& &
6 ∗ .5 =
#
%
−∃+
∀
6
∃
∃ ∃
∃
#
∃ & ) % )
∀
# & ∃
8
9
&5
#
9
)
%
∃
∃ ∃ #
∋∃
∋
(& %
% ∃ −
##
( ∃ #
− ∃
∃
)
&
∗
#
%
.
+
3
.
!
:
!
,∀
&/
;
∗
≅
+
&
&
∀−% &
!
=&
!
≅
.
4
&
8
6
≅
%
&
6
&
=−&
.
∗
+
&
3
&
.
3
&
∀
.
9
&
9
;
∗Α
≅
!∀ (
%
∀
&
/(
&
∀
∗∗ %
+
8
9
&
6
&
& &
% )
% )
&
)
∃
%
∋
%
∃
%(
∃
)
#
#
>
∋
&
#
∃%
)
∃%
)
%( ∃
∃%
# & &
)
9
∃
∋ )
∋
∃
)
∃
)
∃
+
&
∀
( ∃
&
∀
( ∃
& #
6 ∗ .5 9 ∋(,+
∃
+
5
)
8
5
8
∗
+
6
%
∀
%6
4
&
9
5
4
4
&
5 .? =
&
&
;
9
8
∗
3
8
3
∋ .
∗Β
+
+&
&
.
.
D
:
.
8
!
9
&
.!
& !
∗
D
:
9
+
!
!
..
9
5
& (;
7
%
4
∗Κ
−−/
∀
Κ
9 Κ
Ε
∀
8
3
∀ + ;
∗) ∀∀
Ι
&
&
&
9 &
&
&
9
∋,∋(+
&
&
&
/∃
9
&
(
≅Χ
∀%∀
D
.
.
&
&
= ∀
& ∀−∀
9
&
= 5
∗
∀%∀
)
<
)
&
Κ
5
Ι
+
>
∀ &
Ι
&
5
9
. .
;
6
6&
.
)
6
6
Ε
!
Ε
∗!
>
+
&
Κ
;
)
&
)
&; &
5≅ & 5
Χ
8
)
6
& 3
≅
(
5
Κ
5
& )
;
#Χ
∗
%%&
≅
−&
6
∀
)
&
+
−&
&
&
.
≅
.
&
/,
&
&
&
<
9
6
4
5
6∗
5
+
Ε Φ
47
Β
∋,ΛΛ
9
& Ε Φ
≅
9
∀
& Ε Φ
)
)
∋,( &
4
Κ
3
Β
(
;
)
)
4
:
8 ≅ #
ΒΧ Α >%∀
&
9
∋,Λ, Ε
&
∗
& Α
4
+ ;
&
9
&
Ε Φ
&
&
∗
9
9
9
∗5
−
9
∀
>
5
&
&
∀ −
+
&
+
&
&
5
3
≅
&
>
&
>
&
&
.
.
..
;
..
9Η
9
;
;
&
4
&
&
&
3
&
&
!
..
.
.!
Λ
;
.
9
&
∗
4
+&
9
;
!
Β
&
5
≅
&
Κ
.
&
;
! /
∀
!∀ ≅≅≅
&
6
6
D
&
&
9
&
&
9
&
9
3
Κ
4
.
.
&
9 D & Β
−
6
&
7
Ε
&
.
9
9
0
Β# 7
&
99
8
5
9
!
!
ΛΛΛ ..
&
5
;
!
6
ΛΛΛ6
Β
3
Λ∋
∋− ∋∃..
&
!
#
&!
;
&)
?
%
∀
/
D
5
)
9
∋,,,
9
∋,,,
3
∋,,,
∋,,,
&
3
∗
ΛΛΛ ∋&
3
ΛΛΛ
&
7
.
Η
ΛΛΛ
.#
∃ +
;
6−& Λ& ,&
∋6
&
Κ
&
6
Φ
<
Ε
5ΦΦΦ
6 ∗
D
9
3
>
9
+
.
∋,,,
)
&
7
.!
;
&
8
5
Λ
≅≅ΦΦ
Λ
,,
&
3
∗
+
−
,
ΦΦΦΦ
,
,
,,
,,
∋,,,
Ε
9
3
ΛΛΛ
;
Ε
∋,
∋.−.Λ.,&
&Λ
&,4
9 &
&
∋−
Λ
65 ∀ ∀ (∀ 5ΦΦΦ
;
&
&
3
3
− 4
&
Ε
9
∗ ∀ ∀ ∀ ) .&− )∀ +
5
>
6
6 ∗
.!
∗Ι5
9
+
Ι
ΛΛΛ
5
+
6
∃
∃ #
∃
9 & ΧΧΧ ∃
#
)
#
∃
& 7# % 7
9 % +
∃ ∃
#
#
∗ ∃
# # & ∗
&
&
9
3
&
&
99
..8 ≅ Κ
∋,Λ,+ 6
&
7# % 7 ∋
(
# &
∃ ∗
& % ∃
∃
&
%
9
9
9
∃ &
∃
& ∃ ∃
3
ΛΛΛ )
∗
&
9
)
99
4
9
<
!
3
∗Β
∋ .
&
&
&
#
+
&
&
&
∗
8
.
5
61 &
&
% # ∃
&
)
&
& %
4
7
& # ∃ ) ,%
9 ∃
0&
&
&
+
&
Ε Φ
∗
∃
&
&
& #
∃
&
+
∃
.
&
&
∃
)
) 6
5
&
5 .? =
6
#
&
= Λ +
#
& ∃
) &
∋∃
( % ) &
)
5
9
4
6 ∗ .
&
4
&
.#
6 #
∀
6 & &
5 9 −∃+
)
.
)
#
#
∃ %+
∋ % ∃
+
( &
∃
& #
∋∀
∋
(
∃ %( +
+
9
&5
6∗
5 7
∃
.
.
5≅
)
&
7
Ι
&
&
3
&
Λ +
6 ∗ .
;
& Ι
&
.
.
5
>
5 .? =
Λ−
&
7
&
6∀
∀
&
∃
+
% +
∃
5
<
%
&)
)
∋ −+
6 ∗ .; =
95
2
∃ )
#
#
3
∃ &
9
%∋
∗
∃ %∀
.
%%
∃
#
)
9
!
&
∗)
? = Η
8
&
8
&
Ε
9
.
3
&
&
3
6
>
>
∃ +
&
&
6
5
D 9
&
9
∗)
8
9
+ 5
;
!
&
6∀
%
)
Ε
9
Κ
∃
∃ %∃
& &∃
∗
Κ
≅
∋
#
∃
% ∃
+
)
∃ %∃
∃
&
≅
& %
)
∀ &
&
Κ
&
&
&
∗
7
(
>
+
7
5
&
&
7
5Γ ,
∃
6
+
Β !
Φ
#
)
&
∗
+
&
%
&
∗
&
55
Λ%
+
∗
+
;
.
6
6 ;
.
&
!
.
&
&
&
9
9
&
9
&
9
Κ
.
∗
6∗
9
+
+
Ε
6 9
!
7
9
3
!
3
6
≅
∗Β
∋(.∋∃+
&
&
D
∗
∀
8
) ∀∀
∀
&
&
6
&
∀
∀
&
D& =∀
∀
%
∀ /%
∀D %&
7
5
&
&
&
&
6
6
8
9
7
&
6
∀
6
8
Λ/
&
∗
+
∀
∗
∀
.
..
+
∗
9
&
+&
..
;
≅
)
&
&
&
&
&
5
&
8
&
&
7
5
+
9 D +
∗
&
=
Ε
∗
D
≅
9
.
&
∀
.
6
&
6 ..
≅
8
9
.
6
Ι
≅
6&
&
D
≅
&
&
≅
.
!
&
D
!
∀
.!
;
&
&Ι
&
5
∗Ι5 +
.
3
&
ΛΛΛ
Ε
∋,,,
3
ΛΛΛ
6
6∗
9
.
+&
≅
Η
9
5
∗9
+
&
.
;
∗
+ ;
.
&
&
9
.
!
&
;
;
∗
8
+
&
4
&
&
&
&
5
∗
9
.
∗
5 .;
4
.8
+ !
&
&
.!
&
&
&
&
&
9
+
9
&
;
ΛΛ
9
>
9
9
9
7
.
!
&
.
9&
!
5
.
.
∗
+
.
4
&
9
&
.
9
Β
&
&
&
#
( %D
( % ∗
.
∀
&
&
8
9
9
.
&
Χ
Β
7
;
4
>
63
9
;
4
8 ≅
Β
6 ∗8 ;
Η
;
∋/+
Λ(
&!
3
(∀
!
∀
,
D
ΕΕ D
9
&
− ∀00
5
4
.
6
Β
6
;
3
>
9
D
6
)
−− D
(
ΦΧ ∀
& ∀ ,
Λ∃
5
;
& 99
69
&
&
&
Λ,
8
&
.
;
9
.
&
;
&
.
5
65 ∀ ∀ (∀ 5ΦΦΦ
!
4
&
∋,,,&
Β
&
9
&
&
&
&
&
#
9
5
4
;
6
5Φ
&
6
6/ ∗&
5ΦΦΦ
∀
6
5
&
9
∗
≅
+&
(
∋,,,
.
5ΓΧ
∀
& &
&
6 9
6 4
(
.
8 9
!∀ &
&
Ε
9
4
+
4
∗)
)
9
.
3
7
0 =
9
3
∀
∀
8 9
& &
9
7
Ε
∗9
3
&
>
9 6 6 8 9
+
≅
&
∗
+
+
∀
&
∀
%
∀
)
&
∗)
∀
&
)
&
&
)
&
8 9
.
≅
+
&
4
&
∀
;
>
%
&∀
6
6
&
∗
+ 8
&
.
(∋
(
55Χ
&(&
∃ ∀∀
D
∗
56
∋
+
<
∗
+
∗∋Ν−+
&
&
&
#
!
≅≅≅
−
3
&
∋,,,
ΛΛ
&
)
4
&
&
66
%
Ε
9 &
5
∀
/
.
6
4
!
&
8
∀ &5
..3
3
&5
ΛΛΛ
Β
∋− ∋∃
3
,,
&
!
:
.
&
..
>
&
5 9&
6
&
!
+&
∀
Χ
&
6 5
Ι
∗
&
&
∀
6
9
.
.
&
&
(
ΛΛΛ
5
≅
&
)
&
5
.
8
&
&
∗5
>
+
.
&
5
&
.
.
4
5
&
&
7
&
..
9
;
&
>
∀
6
8
.
#
#
6
&
≅
.
∀
&
7
;
.
.
.
Ε
4
.
&
<
∗
∗
Α
&
&
+
8
+
/
5 .? = &
8
∗∗ %
∀
8
&
& 5
4Β)
5 .? =
6
#
& &
∃ +
% #
;
#
5
9
%
&
∃
)
.# &
&
#
∃
<
9&
)
∃
)
9
)
% ∃
>
)
? = &
% ∃
)
9
∃
9
5
6
&
5
&
&
# ∗
6 ∗ .#
:
&
.#
8
(−
.
6
+
&
( >
6
6
∃
∃
5;
6
&
6
6 ∀
#
∃
#
& %
# #,
&
8
∗
9
%
6
4
.
3
#
∃
#
∃
∃
&
Β
& %
∋− ∋∋& 6
∃+ # ∃
6
+ !
&
&
&
.
&
;
.
6
6
9
∗
+ D
7
;
9
&
3
&5≅
.
5
>
1 &
) 99
&
∀
∀
&
& 8 ∀∀
>
3
6
− −:
9
9
6 8
6
;
>
∀ /
9
&
& 8) −∀
3
>
&
&
6
− −:
&
Κ
∀
/&
8 ∀
− −:
9
∋ 3
&
&
9
3
3
&
&
(%
9
&
&
7
>
∀
! % 8 ∀ ∀
(%∀
− −:
9
9
&
&
?
>
/8 ∀= /
− −:
.
9
.
&
.
≅
>
∀ & &%
!∀%
8 ∀ (% > ( −
− −:
9
9
6
8
6
9
>
#
>
8
!
!∀
8 ∀(
.
%∀
− −:
9D
;
Β
>
.
∀ ( %
8 ∀ ∀=∀
%
− −:
.
9
9
>
7
;
.
4
&
&
.
;
&
&
&
9
.9
>
&
;
.
&
6)
6
&
8
6:
9
;
&
&
&
3
&
D
8
&
&
&
6
.
&
&
6
6:
&
6
6 4
&
.
&
&
&
7
9
&
.
.
;
;
(/
&
8
&
:
∗4
DΚ: ∗D
Ε
4 ≅
Κ
= ..
!
.
=
9
&
+
;∋Λ&
:
Α +&
&
8
&
9
;
Β
.
>
&
&
.
8
&
.
Κ
9 )
9
.−−
.
;
3
<
.
∀
5
#
∃
5
)
Β
&
9
)
&
≅
& % ∀
4Β)
∃
&
&
∗
+
∗∗ %
% #
& 6
∃
#
)
% ∃ )
)
%
&
% ∃
∃ +
6 ∗ .#
&
#
∗
& &
&
)
&
4
((
∗
%
+
&
&
&
.
5
4
((
%D
(∀
D
&
%
6)
∗ %
6
8
&
.;
.8
&
#
;
&
:
8
&
3
9
&
∗
.
5
& #
;
) ∃
) ∃
−
+
.;
.8
&
:
%
.
& #
∃
& 6− ∃ & +
& #
∃ % ∃ &
0
#
−
&∃
+
(Λ
# %
# ∗
7
7 6 ∗>: 3
#
8
> 7 9
:
∃
% ∀∃ %
)
#
∃
)
∗ 9
& % )
& #
%
% ∃
∃
8
&5
>
)
% ∃
#
& #
& #
)
&
&6
+
& & #
+
& & #
∃ %
) ∃
)
∃
&
, ∃
)
∃
) ∃
∃ )
6 ∗;
9 Α=
% ∃
% % ∃
∗
#
:
#
) ∃
∃
∃
&
&6
+
& +
# ∗ # % &
;
+
6 ∗>: 3
8
#
% ∃
)
8
&
∀
&
9 Ε
.
+
& )
&
)
∃
# ∗
% )
)
&
% )
&
)
∃
8
>
8
9 ..
;
8
9
.
.
6 ∗
5
≅
>
Β
6
+
&
&
;
&
&
&
.
6
!
9
8
&
6
.
&
≅
:
6
5
:
6
&
.#
∀ & &
9
4
8
.
8
&
9
≅
∗
∀
9
+
&
8
8
&
∗
+
∗
+
∗
+
∗
&
)
8
.
5
((
8
+ 4
.
∀−∀/
5 .#
!
6 %
∋∃
)
&
&
∀
∗∗ %
4 =
:
8
& 64
5
!
66 #
&
∃
)
∃ %
∃ %
∃
&
∃
#+ +
) (
)
∃
&
% , )
% ∃ ) 2
&
2
&
# & # ∃
#
) )
# ) & & ) ∃
∃
∃
)
)
%
+
&
)
∃
& # +
∃ ∃ ∃
∃
∃
∃
∃ & ∃
% ∃
)
∋
(
)
6 ∗4
;
+
:
8
>
3
8
&
5
..
..
6
!
Ε
8
6
9
6 8
6
&
8
%
9
∀
& &
&
8!
7
6
6 ∗
+
:
5
..
8
..
8
.
3
4
.
&
8
3
&
.
8
&
&
..
..
4
8
)
8
6
)
,
9
0&
∃
& #
>
&
6
&
) ∀
+∃
∃
6
&
∗
+∃
(∃
∃
∃
:
∃
%
∗
∃
&
6 ∗>: 5
∀
) )
+
%
%
8
∗
6
+
&
6
Χ
9
Ι
..
&
..
8
!
&
&
:
45Β
6 #
∃
& ∃
∃
&
∃
∃
& %
) ∃ ∃
&& ) )
; !∀ ∀−
&
5
6
) ∋
∃
& +
)
& # ( ∀% )
)
,
5
∃
∗ &
;
+
&
) #
∃
% ∃
%
#
∃ #
∗ # 7∀%
) #
) %
& ) Β7
)
+
8
∀
>
5 .? =
&
:
4Β)
6 7! −
0 Α − +
& &
)
∃
∀ 6 7
&
)
!
∃
∃ ,
7>6 ∗ .
5
9
9
8
6
.
6
.
8
! 9
≅
&
8
9
<
!
∗
∃
&
∃
9
5
)
6 ∗>: ;
%
#
>
9
∃
:
% ∃
& ∃
, %
∃
∃
+
% ∃
7− ∃
)
%
#
7>6 ∗>: ;
&
)
∀ &
5
3
%
∃
&!
6
Η
.#
;
;
6
9
∃ +
(,
!
8
6
6
9
9
>
)
>
6;
∗
+6
4
5
Α
&
&
.
<
&
&
&
.
&
&
&
&
8
&
&
3
8
6
;
3
:
5 .? =
4
6
8
5
:
Ι
.
.# ..
7
:
..
8
5
4 =
.!
&%&%%
>
(∀ (
6 ∃ ∗
)
∃ & & +
∃
)
%
∋
(
% ∃ ) 2
∃& # +
%+ & %+ &
∃ ∃
)
7
∃
Β7 0
∗ # 7 )
+
∋
()
#
72
#
) 7∀%
#
% , )
% ∃ −
Β7 0
∗ # 7−
∃ &
7
#
%+ &
79
∃ 7 ∀
% %+ &
& # ∃
+
& #
∃
∋%+ &
(
7
7−
∋
(
∃ #+
#
& +
&
∃ %
)
∃# ∗
& #
∃ % % ∃
∃
+
&
&
#
7
&
&
)
∃& # +
. &
& ∗7
&
)
#
& # ∃ ∃%
& % ) ∃ % &
∃
∃%
%
∃ %
) 2
#
) 7∀%
%
∃ % , )
% ∃
Β7 0
∗ # 7=
& % ∃ & 7
∃
∃%
& % ) ∋
& # (
∃
∃
& %
)
)
∃ ∃ #
∃ #
∃
∃
#
# ∃
)
#
∃
∃
) 79
D7
#
∃
∃
#
#
) 7∀%
#
% , )
% ∃ Β7 0
∗ # 7− ∃ #
%
#
#
# )
7
∃
&
#
7
&
+
∋
( ∃ ∃ % # #
∃
% ∃
& +
% 7
# &
#
# +
% ∀
∃
#
+
& +
+
#
∃
∃ %
∃& #
)
∃
∃%
∃
+
∃ ∃
%
)
∃
%
∃
% ∃
∃
%
&
∃
/ #
& #∃ )
70
& )
%
# &
& &
) ∋
&) ∃( ∃ & & −
. ## 7
7>6 ∗>:
;
+
5
:
& 6∀
∃
∃
!
∃ ∀&#
# )
; ∀
8
;
∀
%
&
/4
!∀
6 ∗>: ;
+
.
&
&
.
Ι
5
:
&
.#
9
8
# 9
7
4
Κ
Ε
&
&
&
9
;
8
6
&/6 ∗7
D
!
+
!
.
5
8
!
&
&
8
.8
;
..
>
8
9
&
.
7
.;
8
∗
;
+
..
&5
8
;
∗8
5
&
3
&
3
.
5
&
+
∗
:
=
.#
&
8
6
%
&
5
Β
68
8
6
6 ..
6 ∗
6
6..
8
&5
.
5
68
& #
.
5
≅
8
+Η
>5;&
4
&
+
#
&
;
%
8
&
#
#
% ∃ ) ∃
& % ∃ ) 6 ∗5
/%+
∀
∃∋
#
&
% ∃ )
&5
9
5
∀
+
&
8
;
&
∗ 9
&
+
&
&
&
;
&
4
∗ 9
+ 5
&
.
6
6 ∗
&
9
4
&
..
9
+
..
Ε
&
.
..
5
&
..
!
9
5
&
9
6−
)
5
%
&
#
&
% ∃
(6∗ :
∃ ∃
& #
∃
∃
∃
∋
∃
# ( % #
% #
&
& % ) ∀
# ∋
%∋+
;
&
8
3
5
6
∋−
6 8
∋,%− ..
∋Λ
∋−
.
..
;
&
−
)
!
4
3
∋
∋
%∋ ,,
∃Λ
%−/
∃−
4
!
&
&
5
&
&
5
3
5
∗∀4 5
&
6
6
8
9
8
#545 ∗#
5
&
4
5
+
Η
>
9 Ε
6
9 +
6∗
!
7
&
&
&
6
∃
6
+
&
∃
∀
∗∗ %
5 .;
4 =
8
6∀%
#
#
#
&
%
Β; ∀
% ) #
+ ∃ &
∀
6 ∗>: 3
;
∗ # ;8
Β; 2
/ #
+
+
#
∗ # ;0
#
&
∗
Ι
&
7
&
8
.
..
..
&
&
∀ /%
∀
..
Ε
6
&
.
..
Β
3
;0
6
6
6
!
6
.<
∗
6
8
4
+
.
9
.
9
9
6
5
!
6
3
;
Ι & 4
≅ & ;
& 3
&
4
;
&
&
8
&
5
≅
.
8
&
&
&
( %
8
3
∗∗ %
3
;
5
>
:
6− ∃
∃
+
∃ )
+
∃ +
!
;
&
! ∃ & % #
# & # ) Ρ
& =>
&
#
&
∃ #
)
)
<
&
2=Θ6
8
;
&:
3
6
#
#
% #
&
∃
& ∃
)
)
)
#
)
∃
+
&
&
%
! ∃ %
# %
# 6
∃−
∃
,
#
9
>
;
8
<
.
5
&
&
&
8
7
+ 5
∗
>
Α 9
∗
&
;
&
5
8
+
9
∗
+&
9
5
5
&
∗
5
4
&
5
.#
.# &
&4
4
+
3
;
5
.
&
∋
.
&
&
&
!
9
&
5
Η
7
−
&
.
4
7
&
.
≅
>Φ
&
7
!
%
5 84Η
&
6
&
6
&
&
&
)
.
&
&
3
∀
5
5
&
>
4
5
&
>
>
&
&
!
6
∀ & &
8
&
∗
+ <
&
4
6
8
5
5
)
3
&
&
&
&
4
&
∃%
&
<
≅ & ;
!
&!
&5
&
&
&
&
Η
&
&
∗
∀
+ 5
&
5
;
5 .? =
&
&
&
4
:
∀∀ / & 7
&
5
8
&
&
&
9
&
≅
&
∀%
9
5
&
!
8
&
9
)
&
&
&
&
4
6
6
9
;
8
9
&
9
&
3
&
9
9
6
6
Ι
8
9
)
!
9
&
&
9
;
8
.
&
∀∀
∗
+ 5
&
8
.
&
≅
∀
&
&
&
&
.
# 9
8
9
8
&
9
&
&
:
&
&
&
&
;
9
Η
5
&# :
9 .9
!
&:
3
9
.
4
&#
&
&
.
9
Β
∃/
&
&
&
! !
.4! .
;,
7 ∃89
∀
Χ
&
/
1
1
&
∋
)
%
++
∃
(
% ∃
&
)
∃
)
∃ ∋
7 (
∃ % % &
& ∃ %
& %∃ + ∃
+
/
& #
#
, ∃ )
;
;
% &
∋7 & # ) ( ∃
) ∃
; # ;
&
&
& &
∃
6
)
#
&
∋ /+
6 ∗5
5
)
% ∃
%
+
+
)
# ,
#
+
+
&
0&
&
∃
∃
& #
&
%
#
+
&
≅ &
∃
&
∃
+
∃ %&
( &
∃+ ∋
∀
≅
# & &
)
& & ∃ ∃
∃ % & & )
5
4
4
&
;
&
&
7
.
4
.
&
7
<
9
Ε
6
6
.
&
&
3
&
3
6
6
6&
6
&
!
5
&
&
&
!
&
&
!
4
&
&
&
:
45Β
!
.
.
!
∀
&
)
9
Β
.
∃Λ
;
&
!
&
7
.
&
&
6
∃
−∀Ι)& 8 ∀&
∃
8
:
∃ % 8) % :
∃
8(&
:
∃& 8 ∀ ∀
:
∃−
8
% :
∃
8 ∀/∀ −
:
∃ −
8/∀ /∀−
:
∃
:
!
&
&
8
&
&
&
&
6
+
&, )
∋ +
+
)
&
Φ∃6
∀
#
& #
∃ +
#
5
∃
+
& & ∃
+
9
∃# ∀
6 ∗5
)
#
#
#
&
.
∋
:
45Β
& #
)
∃ %% % ,
∃ +
9
6 ∗>: .)
∃
8
& 6∀ ∗ &
∃
% ∃
& &
& %
7+
&
% ∃
& #
) &
# &
# ∗
∋
)
+
&
∃
(
( %
& #
& ∃
∃
)
&
#
% ∃
< &% ∃
#
∃
%
:
4
4
&
&
.
&
∀
&
4
&
)
Η
7
6.& /&
&
%
<
/∀ ∗
∀
∀
&
∀ ∀
∀
∀ ∀
−
∀
∀(
8/
&
/∀
∀%
&
/
:
/&
6
&
&
&
>
% &
∀
# # % ++
Α
∗ .:
−∋.− +
/
&
)
%
+
% ++
9
9
+
.#
6
)
& #
∃(
&
,
∃
#
+
+
∃
% )
∃ % ∃
++
)
∃
6
6
∃
# # %
∋ &
∋%
% ,
− %
& ( 7= ∗ .; =
5
%
%
. &
(
++
/−+
∃
&
#
∃
%
% , #
∃ % ∃ &&
)
.
∋
?
∃
(
4
)
&
.
&
∀
&
.
9
9
7 &
&
Γ3
3
&
#) Β
3
3
6
7
∗
.
!
∀
6
7
# 7
>
4
7
∋
&
( )
!
#
&
Κ
≅
5
Κ
∀ ≅
)
∗
≅
#
&
)
5
&
( %
&(&>
&
>
( %
∀ ∀
∀ − ( &
/∀>
−
&
∀
∀
∀
&>
∀
Α
=
Α
=
∀/∀
%−
∀%
&
(∀ (
%&
!
∀∗∀
∀ &
Α
= D %D
(
Α %
%
&
&
∀
/ ∀
Ε
∀ &
(∀ ∀% / D ∀% /
.&/
/∀ &
∀
%
∀−& % (∀ ∗
∗
∀−& %
∀−& %
∋
%&
∗> (
∀
( %
& ∀ %
Α
=
&
∗
0
&∗> % %
%% %%
)
? = &
:
9
5.
&
4
5 .? =
4
&
∋ 7
∃∃
?
#(
4
&
&
∗
9
& ∃+
9
≅
&
#
&
;
&
;
&
&
∗ 9
∗
9 +&
∗ =
+&
+&
∗
.
&
9
+
7 +&
&
9
6
&
.
9
.
9
+
)
&5
.#
#
&
&
∃
&
) &
0&
&
∃
&
)
)
)
∃
#
6 ∗ .3 Α
∃+
)
)
Ε
6 &
&
9
) ∀
)
& %
+
&
+
)
)
#
# %
& &
5
∃
/) ∃
#
+ + 6 ∗ .4 99 %+
9
)
&
3
.# &
Γ 3
.
&
5
4
.
.
&
&
.
!
3
3
5
;
&
&
&
&
:
9
& ;1
Γ 5
.
; 5
.
Γ!
&
8
&
&
Γ 4
∋#
?
(
Γ
;
( !
&
9
&
∋
!
&
4
6
&
5
&
∃,
6&
.
∃
&
:
∀
63
# &
∃& ∗
#
9
& %
&:
∃ ∃
) %
& &
∃
Ι
∋&
)
∃
#
(
6 ∗>: .)
%
∀
7+
:
& 69
& %
6 ∗;
∃
)
..
&
9 Α=
∃
∃
&
5
∃
)
+
5
:
.
&
5
∃
.
..
&
Η
Η
#
Γ 5
∗7
Η
+
&
Γ
5
5
9
∀
)
& 6
++
6 ∗ .;
!
&
&
∋,+
∃
#
∗ & &
)
%
++
&
9
++
8
8
.
8
& 6
2 !
&
5 .? =
&
6
5
9
∀
6
& 64
&
6
.
&
7
4
8
26
!
∋
# &
#
6 ∗ .; =
( ;
9
.# 6
∃ % ++
)
/Λ+
!
% ( %
∀
5
4Β)
9
#
& &
&
&
& %
) %
# ∀
∋
Α. &
(∀
&6
6 ∗ .3 Α
∋
+
7
6
6
≅
&
9
&
&
≅
;
,
.
5
+
/) ∃
)
+
% &
:
)
.
≅
&
7
Κ
#
)
&
#
∀
;
Ε
6<
:
5
4 ≅
59
)
;
&
== 5
6
∗
&
<
+3
6
4
&
&
&
;
.
99
5 ≅ ) 99
4 +# ;
+∗ &
∗
!
+
;4 ∃
;
!
;
≅
+
&
.
&
6
6 !
&
0
D
+:
7
)
6
(
&+ ∃
!
6 ∋
+&
&
Φ
6
)
Χ
3 ≅
Χ
Χ
6
&>
!
∀
!
∋,∋∃&
&5
&
(
.
&!
&3
&
∗5 ) 99 &
4
&4 ≅
&
Χ
&
9 ∋,, +
!
∀
5
;
9
&
&
&
6
6
4
&
Φ
6
)
6 8
Φ
.
8
59
#
6
6
;
&
&
&
&
.
&
&
&
;
&
!
&
&
&
7
&
6
5
6
6
&
9
+
+
6
&
)
6
&
∃ ∃
/ &
.#
#
#
,∋
+
+
!
#
;
∃ %
%
& % ∃
&
++
6 ∗ .; =
&
..
%
% ∋
( & #
#
&
∃
%
∃ %
) ∀
∃
#
%
#
6
6
9
..
.
5
&
!
&
&
7
∋
∋ ?
∀ ∗
6
7
+
7:
9
&
9
9
6
&
3
+
#
.
59
..
−/
0
,+ ? & ∃+
)
& 0
D
5
& )
4
..
3
&
&
6∗
;
&
;
6
(
(
&
D
)
/∋+
3
Α
& #
)
& &
) +
% ∃ +
+
%
%
4
& >
&
&
.
&
!
!
&
!
Φ
;
&
6
6
)
)
4
6
;
)
.
)
&
6<
6
)
.
.
6 ∗
5
6
6
5
)
)
&
)
53:
6
.
3
Γ5
)
6Κ
+
&
&
4
0
8
7
&
∗
3
≅
5
Φ
&
,
Ι
4
+
3
&
#
∃ 8+& 0 ∃ &,
ΦΙΚ ∋5
Α
∀%
∀∀ 3
(
+ %
∀
Α
&
− ;
, (
∋ +
3
∋Λ∋,
3
6
≅
&
≅
6
6
&
6
.
3
∗
Χ
4
4
!
+
∗!
+
&
)
& 3
4
∗∀%
∀
!
& 3
&
∗! > 5
∀
;
&
∀∀
ϑ
7
&∗& !∀%
∀ % & ∀
!
)
!
%
∀
∋,∃ +
9
)
&
∀∀
Β
3
Γ
&
&
!
.
!
3
;
&∀
3
4 ≅
& !
:
)
&
7
&
∗
.
+
>
.
#
.
&
&
;
&5
4
&
4
5
4
&
4
)
5
5
)
)
&
7
&%
7
4
Ε
&
%
6
.&− )∀
6
7
.
,−
&
5
0.∋Λ
;
;
54Χ5#
5
Ι
9 Χ
∗Ι! +
! 9
∀
&
Χ
∗5 ΧΚ+
!))
.3
&
&
:
..
6
..
6
!
)
&
Κ
∋,(Λ
3
4
∗3 4+
%
∋−&(
/%&%
/&,
∋,,−&
&
..
..
:
;
;
∗D# +
∗D# +
45Β
7
;
7
3
8
/
& 3
∗∋,, +
5
#
&
∋,Λ(&
&
5
&
∋,∃
/
5
−
∗D# +
#
&
3
Ε & %,
∋/
∗D# +
∗D# +
9
D#
Λ&/
!
%
∋,(%.∋,(∃&
5
!
&
∋
7
& ∃7
(
&
!
7
!
&
&
;
>
6
6
6 ∋
7
∗
!
.
,
+&
(
6
&
6
∋
Ε
>
6
&
−
,%
3
!
4
Α∀
=
Ι ΧΚ 3
∀
.
>
&%
∗ Κ; +& 3
∀
;
! 9
!))
3
7
..
&
54Χ5#&
Ε
&
6
6
5
;
&
3 :
.
9
& Ι! &
&
54Χ5#
9
&
6 !
∗ &6 D
.
3
.
8
&
&
)
&
∀
&
8
&
& 5 ΧΚ
&
7
8
50)5
3
9
3
&
&
6
&
7
%D
%
>
/
∀ (
&
&
)
&
3
&
∀
Ι
&
∀ (&
7
6
<
& &
6
&
%
7
6 Ι
9
!
6
&
&
;
6 !
6
6
6
&
6
∗
& ∃7
+
6
, &&+
6
Σ 7
Ι
&
6
6
,/
&6
6
Η
&
4
9
&
9
Κ
&
∗
& ∃+
9&
&
6
6
.
6
6
6
8
?
∋
D
∗
(& 6
.
6
6
7
4
<
≅
≅
)
!
4
D
&
.
>
<
9
68
+
!
∃ ∃
/ &
∃
%
&
)
%
&
∃
∃ %
∃
∃
% ++
&
%
%
6 ∗ .3 Α
#
/
;
6 ∋
6
;0&
&
% ∃
∀
)
4
∗ ;0+
≅
5
7 &
& &
∀
.
∃
5
7
6
<
∋)
#
% ∃
∃
∋
(7
+
.
&
(
&
&
6
&
;0
&
>
.
!
.
&
7
.
6
#
)
6
.
&
&
7
.
&
9
7
.
&
&∋
9
&
;
8
&
&
Ε
6
&
Κ .
6
7
6
6
&
;
&∀
.
,Λ
,
+ +
;
8
) 999
Κ 5&
9
3
4
0
;
)
)
Κ5 Ε
Κ5
9
Κ
& 3
3
9
9
+
Ε
3
& Κ
9
&
;
5
∗3
4
Χ ≅
)
&
:
9
&
8
&
>
9
Β
5
Κ5
.
&
&
Κ5
Κ5
Κ5
;
∗
&
4
&
9
+
;
.
3
7
5
9
Χ
:
.
&
&
.
!
Κ
3
3
Κ
3
;
Ε
&
&Β
D
.
7
!
.
&
9
9
6
5
D
7
6
&
7
Κ
.
;
,(
;
&
&
3
.3
&
&
.
6
6
; ≅
4
& 68
9
Η
8
&
&
3
&
.3
&
;
.
∗
+
6
3
9
&
∗) 5≅ ≅.Ε
+& Χ
&
)
!
7
8
&
.Β
&
&
+
)
5
∀
∗5
4
8
&
.
!
3
9
.
5
.
Β
6 8
∗
≅
+
.
.
;
& 64
&
&
6
6
9
≅
4
6
7
9
6
;
7
7
4
;
)
.
#
.
.
&
!
;
Κ5
.
.
&
.
6
6
Κ5
9
;
&
Κ5
;
&
6
∀
D
.!
&
6
:
!
&
&
7
∀
.
,∃
&
/∀
%
∀
)
8
8
∀
% ( % )ϑ ∀ − − :
8
5
Κ
;
≅
6 ∗= ∀ − − +
∀
9
7
6
6
.
&
.
9
&
9
9
&
)
&
)
:
&
6
)Φ6&
≅
6/∀
4
≅
9
;
&Β :
&
>
7
&
&
6
67
5
&
.
&
≅
>
.
∗
!
≅
∗
6
+
6
&
+
5
∗
+&
≅
4
9
Κ
8
4
9
9
)
5
&
8
:
9
4 ≅
5
5
4
Φ
..
Φ
5
9
9
&
&4
&
&
>
9
)
9
9
∗
+
≅
7
&
6
6
≅
Ι
≅
&
.
6
..
≅
.
6
..
≅
6
6
≅ &
&
;
&
.
!
&
9
4
!
&
≅
,,
≅
:
∗
+
&
≅
.
≅
<
6
∗Α
Α !Α
+
!Α
&
6
9
∀
9
9
3
9
)
≅
6
≅
6
9.
&
&
5
9
.
&
!
6 ∀ ∀
≅
&
ϑ6 4
&
9
&
∗
Κ##+
≅
7
&
.
&
%=
.
& 68
&
))%∀
6
6
&
9
!
;
&
&
9
6
!
>
9
# 7
9
;
D
.
& D
&
!
9
& 64
.
6>
&
)
≅
&
∗≅
!
&
&
+
&
#
9
5
Κ
&
5
!
≅
9
&
8
&
&
&
&
&
&