You are on page 1of 69



  





 



!∀## ∃∃


!%& !∋

(∃

)%& %%∗+,!%))+ 


!∋∋&)%++∋)∋ ∗%
∋∗! !∋ &∋ !+
+  %∋ +!
∋%!!∋ ∋!∋!

+ !−+ +∋!∗


∋∋ ++)%,∋ ∋+
+& ∗.∋
∋/+ +)∋ ∗∋)∋∋∗∋+%+
∋∋∋+∋ ∗% !

0∃

∋ ∋ !!∋∗+∋! +∋+


∋∗)  
+% ,,   ))∗ 
∋∗+ ∋ ∋ ∋! +
)+))∗)+ ) +/+∋∋  1)%

2∃

∋∗!∋∋∋! ∋
+  +∋+∋ &+
+!++∋∋∋!
!∋∋!∋+∋∋∋∋!∋∋%∋
∋∋!∗∋%∋!∋∗ %∋∗

3∃

!∋+) ∗!∋%
∋+ ∋%∋ !&∋ )∋
%∋+∋!+∋+  
∋∋!∋!∋  ∋) !∋
+%∋!!∋+ /+∋∋∋∋

4∃
∋∋/+%∋+∋!∋∗%+ +∋! 
!∋∗%∋%∋!∗++&∋!∗
∋∗)+∋,−5∋%∗
∋∋∗ + ∗∋ ∋∋ ∋!
+∋∋ %∗%    6+∋∋!  

7∃

∋!+!,∋∋+!% +!∋∋
∗8∋!&∋+ %+∋∋∋
 !!∋%∗+∋)∋∋∋ /+
!+)! 9+ + ∋+ )
∗)∋∋ ∋) + !∋−&

:∃

+∋∋%%∋ ∋∋+%∗∋+ 


∋!∋∋!!+∗+−
∋!∋! ∋ ∋  ∋
 !% ∋) ∗!!+∋/+∋&
∋∗+ !∋!∋∋

∃

 ∋∋+)∋∋∗&,!+ 
%∋∗+) !∋+ ∋∋
 ) ∋+∋+  ∋%∋!
∋∋& )+∋! ∗! ∗% ∋
∋ +!∋!!∋+ ∗& + 

(∃

∋∋ !∋!∋+ ∗&∋∗%)+


 &%+∋! %%+ +/+
∋ %∋!∋∋∗) 9%∋
)∗∋ ∋+) ∗ %∋!!%
 !+ ∋∋∋∗ ∋+ ∋∋ 

((∃

!∋∋∋!∋  +∋
 ∋∋ !∋∋∗∋ 
∋∋ ∗∋ ∗ +)+∋
+∋ %!∋ ∗∋!
++∋&!!∋  ∗)∋!+ 
( ∃

6∋%;∋+∋∋−∋!∋
 !<∋% +%∗%∗!%
∋ !+∋)∋∗!+!!∋∗
!∋+!∗∗!∋&∋∗!+ ∋ +
!%∋+∋&−∋)∋+∋∗

(0∃

& /+∋ − %∋+&=


∋+!∗∋%!∋&
!∗∋+∋) ∋ +!!%+/++
∋∗!∗+,∋  %!∋∗
 ∋!∋  ∋∗!∋+  +∋

(2∃

 +  +% +)%∗>∋ )∋


& ∋%∋+∋+∋∋∗∋%∋∗
!∋+% ))  !
)∗,+∋∋∋!∗+∋!∋!
+%+  +∋∋+ ∋ 

(3∃

+∋
!++
! 
!∋!∗∋!∋
!
∋!+
+&∋ 
%+
,!∋ !
)∋
∋% 
+ 
!∋ %∋%
 


  
)+∋∋%
%∋
%+

 ∗
,∗

&∋)∗

(4∃

∋
 ∋
∋
! 
∋∋
∋∋!∗

∋
?∋
9∋
,∋&
+∋
!∗%
∋ +∗
∋∋
+∋
!∋∋∋∗
!∗∗∋
&
∋
+
,!∋
∋%%



(7∃

∋+∋
!∋!∋

∋
&+
)
 
)+)∋

∋

∋
+ ∗
∋ 
!+!
+) 
,%
!!
+& 
∋
∋
∗∋
∋
 
!∋+

(:∃


+
∋∗
!%∗∋+
+∋)
 
  ∋ !
∋
!!∋−∋
 
++
+∗
9)∋
−
+∋,
∋∗
! 

∋
∋

!
)
5 
 

(∃

+∋%)∋∋∋
 ∋∋−,∋
8!+
∋+%−∗
−−∋ 
∗ !)∗
+ +∋%
&% ∋ !
&+!∋
!∋∗ ∋
+)+∋)
 ∋
++

∃

∗%+
∋ ∗!&∋ ∋
∋ +∋
∋∗! ∋∗∋+
∋6∋)+
%∋%∋!!∋
 ∗ !−
 +∋+∋
+
))∋∗∗
≅+ ∋!!
∗,!&
!)∋+ 

(∃

&∋!∋ !+
!∋ +∋+
∗∗∗ +∋+
∋&∋ )∗,!∋
,6+%,+!∋∗
∋ 
%∗∋&∗
) ∋&%∗
∋! ∋!
−!∗)∗
∋!∋
 )∗+


 +!
+!+ ∋
!%∋
8% %∋! 
∋ %%
∋)) +&+
+ ))∋∋
8 ∗ )
)∋&∋
 6∋
∗++∗ !∋
∋∋! +!∋ 
∋

0∃

&)∋)%∋
 /++∋%
! 
+∋%+ !
+ −+∋
% !%
+))+∋%
∋∋% 
%% ∋)∋%
%+ 
!∋+ !∋∗  
!%∋ ! )
)&

2∃

+∋ +)
∋%∋!∗%
∋∋ 
∋∋∋%+
 ∋!
%!
&∋∋∗
&∋∋+
+∋)+6
∗,∋
∗
!+!∋∗ +!
∋−

3∃

∋+∋% ∗∗∗
∋!+ !∗
∋
! +∋, !∋
%∋ 
∗  
%+ & 
∋)−
! +∋& ∋
∗∋%&
∋
6∋+ +∗


4∃

+ ∋+
+∋∗! 
+ ∋&∗!∋−
!∋∋
!%,∋)
∋%∗+∋
+
+ ∋+!∋ +∋
!∋+ &∋%∋
∋%!∋
∗∋+ 
+∋+ !∋∗
∋∗

7∃

∋% ! &∗


,∋ &∗&%
!)∋∋ )&
+∋%!+ ∋
∋  >∋+)+
 ∋∋∋6 +%
)+!∋&∋ %
+,! + !+
∋%∗!

:∃

∋! ∋)∋!
)∋−%∗+∋ 
∗∋∋,+%+
!∋+∗!!&∋∋
 %
!∋ ∋)+∋%&∋
∋+ ∋∋∋%!∗!∋
)+∋) !∗∋∋
+ 

∃


!∋%
∋
!∋
%% ∋
+∋∋
∋∋
+ 
)%

%
∋∗!
∋&∋+
++
%!++∋

 ∋∋
%+
!+∋
  
!+
∋
, 
!!%∋!


0∃


 !
%∋
!∋−
%∗
∋! 
)

)∋∋
∋∗
%
%! ∋
 
+ −
%+ 
 ∋
∗
∗

∋+)+∋
∋)+∋
∋+
8 ∗
∋
∋!

0(∃

&∋% 

∋∋ ) +

! +∋
+
+∋ ∋∗

∋∋ ∋)
!∋ 
% )∗)!+∋

∋∗
∋
!∋∗ ∋&

∋!!!∋%
)∋
−!∗ +)∋∗

0 ∃

∋+ +∋)∗
+∗
∋ +

+∋∋
+!∋+)
!∗∋

%%∗ −
!
 ∗

9+∋Α∋ ∋ 


+)+
+∋ 

%∋ 
9 
%+ ∋!

00∃

∋  +∋+  )∗


+!∋∋∋)∗
+!+ %∗,)

 !∋ ∋ ∋∋


 !∗
&+

!∋%∋∗+% 
∋∋
&)+

&+−)! ∋∋+
∋)
&∋+  +∋

∋∋% %%
!∗∋
∋∋∗∋ 

02∃

+∋+∋+ ∋+
!∗ 
!∋ ∋+ 

∋)+9)∋
∗
∋∋

∋ ∗

!  !!∋

+) ∋&)+ 


+%∋∗
+∋) %+

 ,∋∋+
∋! 
8∗∋!  

03∃

&∋∋ +)+
!!∋
!∋+ ++ 

+∋ 
+∋ !%
&∗ ∋++ 

!∋!    
∗!∋ 
 +∋+∋+

+ %
9+
∋!∗% ∋∗∋∋∋

 ∗!%∗+
∋& 
∋∋

04∃

+
−
∋! ∗

  !∋)+∋%
& &
 ∋%

)!∋%
∋
∗ 

∋)∗%∗
∗!∋
%∋!∗∋ ∋∋

! ∋!!
&
∋!  !∋

07∃

, !+∋∋
) !%
%)%∋

− ∋
+ 
∋)+%∋

∋!
%∋%
&∋∋ ∗ 
 ∋∋
∋+
&∋∗∋∋∋

−∋!∋ !
)
−−∋!

0:∃

+∋&&
∋!%
∋%∋!∋∗

&)∋
+∋
∋+!∋∋

+%+
%∋+ ∗
!∋!∋ 

!∋  %+ %



+!∋  ,∋ 

! +∋)∗ +!∋ !−


/+%+
+!∋ ∋∋

0∃

+ ∋ ∗


+%∗
∋+ −

+ )
+∋∋∗ 
∋∋+%%∗

,∋ ,+∋
!∋+
 /+

∋!∋!
 !∋6+
!∋!+∋
∗!∋ ! %+∋%
+ +∋
8 !∋) 

2∃

+∋!∋)+∋∗
∋∗
 !∋∗!∋  −

∗
+∋+
!+∋!

∋ ∗)% ∗
∋ )∋%
!∗∋&∋∋

 !!+
∋+
∗ !

∋∋ +∋
+ ∋%%
∋ !∋

2(∃

!
!
&%&

∋&+ 
%
6+%!,

+∋&∋∗
+)
 )∋∗

,&&∋!∋& 
∋∋∗
 !∋

∋% )∋ +
 
∋ = 

2 ∃
+ ∋)+
%%∋!∗
!! %∋!

+ +) 


,%
∋ !∗∋ +

∗ +∋ &


∋∋
∋!−∋∋ 

∗! ∋  


∋∗)
/+−∗! 

  ∋ 
∋ ∋∗
∋%∗

20∃

%∋&%
! 
))+
+&)∗
∗
∗
+∗
∗∋
!∋∋∗
 
)%
&∋
+∋!

∋&! 
∋) 
−
!∋
∋) 
+)∋
∋∋∗
) ∋
+!
∋%+
+ 
22∃

+!∋)
!+∋
+∋+%
Β
+&++
!
!

+
∋! 
∋ ∗
∋
+∋+
,
∋
!∗∋ 
 
∋)∋
 ,−
+∋
++)∋+ 
∋)
+∋∋ % 
+∋∋+
+∋)

23∃

) & )+ 


 /+&
∋

!∋%
!∋&%
+!!& )

∋%++
∗∋∗
∋∗!∋!∗

∋+∋−∋+
+∋ 
!∋+∋∗,

   +∋∗
∋−
>/+∋−∋+
24∃

+∋  !∋%∋!∋!∋% ∋∋∋


%∋∋ +∋!+ ∋∋
∗!  ∗)!∋  
∋!∋%∋!∗ +∗!!∋!∋ ∋+
∋∋!
!%)∋+)∗∋&

27∃

∋∗!∋
%+!∗!∗∋∋
+!∋) !∋ 
) ,!
++&
!%∋∋∗!
! ∗
& +∋ ∋+
∋∋∗
∋ ∋+!∋∗
+∋%  +
!∗∋+)++
!

2:∃

!&∋+!∋
∗∋! 
 ! 

+ )+ ∗
∋+ 
  & )∋+ 

+6∋
+
%  !!%

6∋∋

∋! !∗!

+&∋∋%
+∋& 
∋

2∃
) 
+
 ! 
 
;  
)∋
+
%
∋
!
 
/+∋∗%
∋%%∗
)
8) 
  
!∋
,%
 %∗
)&
!∋ ∗
!
)+)
+∋ ∋
∋ ∋+∋

3∃

)%
+&)
+!∋%
+∋∋++!


∗,
+!∋
+)∋+∗

%∗

+
!∋  !!∗

8∋∋,
!%∗
∋&∗
∋!
% 
!∋∗%∗ 
∋
, ∗+∋

3(∃

+∋
%∋
!! 
)&∋ 

 +∋+
%

% ∋+! + ∋ ! 


 ! 
∗ 
!∋∋%)! ∗

∗!
!∗∋%
+%+
+∋+ 

∋
∋∋−
∋
&∋∋ +&∋

3 ∃

∋&
∋
&∗+∋∋
∋ 

!∋
 %
?−++%∋
)

 ∋∗
  +∋
∋ %∗

∋∗
)
++∋∋+
+ ∋


8∗∋
∋%%∗∋
∗ 

30∃

∋%
?
∋ +∋+∋%
∋! 

∋
%∋!
/++&%
 %∗

!∋
!∋
))!%∋∋∋)
∋ !!∋

)∋
∋%
>∋++
%∋

∋−
!∋∋∗!
! ,∗∗
∋∋∗ −

32∃

!+!) 
++
∗

∗ ∋−+%∋&+∋

)) ∋!∋

%∋+∋+ ∗
∋
∋%% ∋%

)∋%∗ 
!!
!∋∋)

+ +
&&
1+ +

33∃

!+ ∋!∗
!∋∋
∋!∗
+)

+% ∋+∋+
∋
%∋
++∋%

6∗∋+
!∋&∗
&
&

! ∗+∋ )
 
 !∗
&∋∋ !

∋+!!∗
 
∋ ∋
∋!∋

34∃

%+∋∗%∋
∋ )
%
∋

%+  

∋+
∋ 
∋) +))∋
+)
!∋)
&%∋%

!!∋)∗
! 
∋!∋)
++%

+)+∋+ %∋∋∗
∋∗
,!∋∋
+∋

37∃

.∗+∗
∋!∗
∋+∗
! 

∗
∋ 
+)!
 +

+))∗!∋ ∋∗
∋∋
!∋!∋∋,
+

,!∋∋%
∋%
!∗%
 ∋

) !∋
+∋
∗!∋ 
&∋

3:∃

&6!∋−
∋∋∗

)+ )∗
&∋ ∋∗
+!∋/+
,!∋
∋%

) ∋&)  %∋!


%∋!
+
∋∗ 

∗+
!∗∋∗
%∗
&+ 

∋) %∋
 
∋∗∗
)∋

3∃

  +
 ∋
∋
∋+∋∗

∋ −
∋+ 
!∋&∋)−
∋+

∋−∋
∗ ∗
+∋ +
∋

∋ +!∋+∋
∋
%%
∋+∋

)∋ +
∋∋ 
∋
∋)++∗

4∃
%∋+ 
∋∗
&∋

∋!+)∋%
+∋
%∋∗

6+ +%
+!!)
∋∋

!∋
∋+∋∗
!∋∋

 !6)%∋

%∗ %∗

4(∃

 ∗
!+
++
,∋∋
∋
∗ 

)∋
+∋&∋)
∋∋

)∋+ 
∗!∋+%
+∋)
)+
!∋
&
∋&
+)∗
+∋
!∋++
!+
+∋∗

!∗

4 ∃
∋+ ∋
%&%
) %! ∗%−

! ∋
∋%∋&
&∋&∋+ 

∋∗∋
!&−
!∋∋∋)

 %∗ 1 

∋ ∋+%)∗

+ ∗ 
%)
 /+!

40∃

&∋!+∋
% 
!∋!∋&9,+

∋ !)∋∋∗
!
) !)

)∋+ ∗!  ∗


∗
!∋ ∗++&∗

!, 

∋ +) !+ &

∋∋

!∋+∋+

42∃

∗∋−∋!% !
 %∋+
∗∋  ∋
% /+&
&∋
!∋ + &

&∋∗∗ ∋ 
∋
!∗∋∋ &−

,!∋∗ 

∋∋∋

!∋& 
)+∋
+∋ , 

43∃

/+% ∗
∗
)∋%)

∋  ∗
+ +!!
!+∋ 

 !∋&∋
∋%∋!
!∋ &/+∋%∋+

∋ +%
 ∗
++∋!∋+

%&∋%∋
!+∋
! %∋!

44∃

+%
&∋∋
! 

+)∋∗
∋
+ !∋!∗

)∋∋+
+∋)
∋∗+∋ )

∋ ∋!∋ 
∋!∋∗
) ) !

!∋ ∗%
∋)
∋

47∃

+∋/+ )∗ )+∋∋ ))∗∗

+
%%∋ ∋
! ∗∋∋∗+∋∋
)%∗∋∋∋∗+)+%)∗
∋&+∋∗∋!∋!,∋,!

∋& ∋! ∗∋∗%+  +∗+  ∗

4:∃

+)∋+)∋
)
9)

∋ !∋
+%
&∋+ &)

)!)% 
++∗
∋∗!+

%−
+
%+∋+ ∗

∗%!
∋!∗
∋%∋!∋

4∃

+) /+ ∋∋∗
!∋!∋∋
∋!%∋! ! 

∋− +

∗%&∋

!∋& !
+∋∋
!∋ %

+∋ 
&%∋+ ∗
∋ ∋∋

  )∗!∋!∋!∗∋
∋
!∗∋∋%

7∃

∋
!∗
∋%∗)

∋  +)%+
∋
!! &∋

%  +!∋&−
!∋+
!∋ )∋∋

+) ∗ +∋


+)+∋
)%)+∋∗

!∋∋)∗
∋)&
% +∋

7(∃

)∗)∋ !∗∗∋!  ∋&

+&∋++ 
!%∗∗)
∋%∋!∗ ∋!+
!∋ + & %
!∗∋%)∋%+∋ )∋ !∋
+&+!∋&!!∋&+∋ %∋ +)∋∋

7 ∃

+∋ 
∋+)) %∗
%
∋ ∋
∋+&
 
!% ∋
!%

)%%
) 
∋+%

+∋ ∋
!∋
∋
8!∋
∗
!
Α%∋
∋)+ 
∋+ ∗
& 
∋


70∃

∋∋∋ )
)+
%∋!)∋

∋%∗∋!+
, 
∋!?∗∋

!∋! ∗!!
∋∋
!!

∋ ∋∋∋& 
∋∗
!∋+%%∋∋
∋+∋
+
∋+∋

72∃

!%
+
∗+∋∋

!∗∋!+ !
+!!
! +% + !!

∋!∋∋%∋
! + ∋
!∋+ ∋

))! +! +


!
/+∋∋

)∗∋
)∋!)+
8+%∋∋

73∃

! ∋ !)∗


∋6∋
!∋+∗∋

∋)∋)&! ∗)
 ∋∋
Β+ 

,%&∋%∋
+∋+)
)!+ )

 ∗)∋!)∗
9∋∗
+ !∋)∗

∗∋
+
∋∋+

74∃
+)
!
∋∋∗%%∋

8∋ +∋∋
∋!∋−
&∗)+∋∗

!% 
∋
∗ +∋)

)∋∋++ 
)!∋
!∋)∋ +

+∗+∋
  
!∋∋ %∋∋

77∃

%∋∗∗+,
∗)
−∋ + 

% ∋8
!
!∋ 

∋∋+) ∋
)∋∗
∋.+

&%+)%
∋)∋
∋∋ !!%+−

+∋% ∗
∋∗
) +

7:∃

%∋&% ∋+∋
+ ∋

+ +)6+%! ∋)+ 


 + +∋!

 !+!
∋!∗=∋ 

%%∋ ∋%∗!∗∗!
! % ∋

)∋∋+!
∋∗∋

7∃

∗ ∗! 


−
%%∋∋

+∋+
!
∋ ∋∗∋% ∋∗

+∋)+ ∗
∋
+&∋+ %%∋

++ + 


∋ ∗
)%∗+−

))∋∗+
%
!∋ !

:∃

∋ ∋%
%%++
 + 

)+!
∋%∗
∋+∋∗

!∗∗!∋∋ 
%
 )+∋∗! ∋

+∋∗∋&++∋
&+%∋ 
∋! 9

&∋  ∋
+)∋+
!∋+ % ∋

:(∃


)+∋8∋)∋
+ ∋

!∋
∋∗ !+ +∋ )
∗

!+
∋∋+ %+∋
!∋ ∋

)  
!∋∋∋))6 
+&


∋+ ∋)∋!
)

: ∃

+ 
∋+ &%)%∋!
+%∋!

∋∗
%+!% ∋ 
!

∋
&∋% +! ∋%
)

 %∋
!∋)+∗!∋&∋ 
∋

,+
!!∋ ∗%9+∋
∋ 
:0∃

%!∋+∋
,∋∋
% )∗! +∋

++/+
∋
+∗∋

∋∋%∗ 
∋∗
∋ /+∋

%+&+∋∗
,∋+
&∋∋%∗!∗

+))%+ !∗
+%∋
+∋ !∋

:2∃

+∗%
8∗∋∋!
&∋  +∋!

∋∋! 
8
8∋!∋

∋∋ 
,  
+ ∋+

%∋∗+∋∗
%+
 ∋!∗&∋

, 
!∋
!) !∋!∗

:3∃

 ∗8∋∋∋
/+)
  −

%∗∋ 
!∗∋ 
∋% 

+!∋+∋))∗
∋!∋∋
∗,∋+,∋

 !∋−
∋∋
 +!∋∗

∋∋∋ ∋∋
 )∗
+!∋% ∋∗%!∋∗%

:4∃

∋ !∋ %%∗


∋∗ ∋∗
∋&  +∋

∋%%∗
)%%∋
∋ + )∋!∋

 %%

∋&∋∗

>∋+ ) +
!%∋!
! +∋ ∋!∗ 

  
∋∗ 
+%!∗

:7∃

+ ∋∗,%∗
%%∗
+) ∋−

% +∋
&+
!∋+∗!+∋!∋+
∋&∋
∋
Χ%∋∋

∋++,∋+∋
+ &
 + ∋+

∋∗∋∋%
!∋∋
8∋∋!+ )%&

::∃

+!∋
%∋
+)  ∋+∗

)∋+/+∗
+)6+%
∋+

+ +∗
∋∗ 
!!   

!+∋∗
)
∋/+ 

∋ %
+!
> +∋∋ 

:∃

! ∋∋
 %&∋
>+∋  ∋∋ 

∋ ∋!
∗∋!
∋) !∋

&∗ +∋
!∋ 
)%∗!+
+%+∋
∋∋+%+
∗ !+

+/+ %
+∋∋∋∗
∋ +6%%

∃

∋++ ∗ +∗


!∋!∗∋ !
)∋∗

)
+)∋∗!∋  
8%+

&∋
!∋ ∋
∋∋

∋%∋!
∗∋ 


∋ ∋ ∋


∋)+%&
9 !∋

(∃

)+!∋∋!+
!%
+/+%

+ ∋∗%
+∋∋,
6 

 %+&
 ∋
)∗ ∋∗

 +
!∗∋
 

%)+%

∗/++∋&

 ∃

∗
+∋+  ∋ !
?∋+ ∋+

+
 ∋!+∋∋
∋+)%

)∋
∋+∋∗ ∋ 
 ∋

+ +!!∋
+∋!!% !∗
+ ∋

∋∗∋)∋
+∋∋ ∋+∋
!∋−

0∃

∋)
+)
∋∋
∋ !!∋% 

/+ 
+ +∋
&
+!∋) !∋

∋−
%∋++
!
+∋∗!+

∗!∋ 
 
% 
+ ∋%+

!∋
 &∋
!
6+ ∋∋!∋

2∃

∋
.−∋!
∋+ 
++∋!

,
∋+
 
%)∋!∋∋−

&∋∋∗
∋,
! +∋!+
!∋ ∋∋+

 )∗
+∋
∋∗
)6+&+∋

!∗
!+
> 
%−,∋

3∃

+ 
!∋∗
,+ )∗
 ∋

!+∋ ∋
)∋∗
∋−
∋+%∋∋

)& +∋
&& ∋+
9∗ ∋
%∗

∗!∋ )%
)∋

! +!∋∗

+!∋  !∋%
∋+!%
,!
∋

4∃

 !!)&∋
!!%
∋&∋∗
 !,

∋−)∗!∋ ∋!
 !
+∋ !
!∋∋∋

! %) 


+∋
∋∗
∋ −∋

∋ ) 
∗+
∋ 
∋+

∗! + 
%+%

∋+

7∃

∋∗ %&∋∗!∋∋ !∗


∗


)+)∋%&
∗∋
∗%%

∋)∋)+∋∋
)∗
+
+)∗;+∋+∋ %∋
++ )
!∋  !

)+ ∗∋ ∋&


!&
∗ !∋

:∃

!−∋ +∋+
∗
∋

+!!+%∋!!+ 
+!
∋∗ !

∋− −∗%+∋!∋
 −
+∋

 +∗+∋+∋+!)∋
∋∋
9∋

!)∋ ∋%+∗
∋)
!∗

∃

∋
∋%+∋ ∋
!∋∋!+

 ∋
%%∋∋∋)>%+
∋!

!++
∋+! +∋!!&+∋
∋ 

% 
!∋!∋∋%∋
%

!+
∋∗∋!∋ &
+∋&

(∃


!∗%+∋! 


∋
!∋%∋&∗  
∗∋


+∋!++∋)∋
++

!∋!
+&∋∋%−
<!

∗∋∋+))∋
  +!∋+  ∋
∋ ∗

((∃

∋ )−!∋%+∋ !∋,!  ! 


+∗!+!∋ %∋∋)!∋
∗∗ ∋∗!∋%
∋!!∋+ !∋  ) &∋ +!∋+
!∋ + 8!,+∋∋)∋

( ∃

∗
 %
)∋
∋+!

+ ∋&
+∋∋
+−
%
∋)
=∋ 
+∋ 
!)
∋
)
∋!∋
∋∋
+ )
∋%
∋ +∋∋
∋∗
∋ ∗
+)
  +∋+


(0∃

! 
+%
 %∗
∋∋
+
∗∋!+
) ∋
∋%+
 ∋
∋
! 
!  
 ∋+%∋!
+∋
+)++
∋&
!∗+
+ ∋
/+∋
 ∗
!
% 
+∋∗
++
!∋∋ 

(2∃

∋ + 
!∋
! 
∋∗∋%+

!∋∗
!)∋%
6∋
%
%  !∗
∋
)+∋)+ 
∋)+
8∗
∋!
!  
+∗
∋∋−
 )∗
%+
+!
!∋
!
!
8∋∋ 

(3∃

%∋ ∋
 
∋∋∋!

8
%%∋
∋ !∋ +)!

∋∗∋
/+
∋+ ∗&

& +)
∋+ 
!!∋∋∋∗

 +)
 −
 ∋!∋!%∋ 

(4∃

)∗,!
∗∋
+∗!∗%∗

8∋
+∋−∋∗
+ +∋

)∋−∗+∋∋
!∋!∗
6∋ ∋∋

+∋&∗∋ 
+−
! ∋ 

∋∋
%%+
∋ ∋  %∋!∋

(7∃

∋)∋)−∗
6
!%+

 ∋
∋ 
∋%9∋+

∗ ∋
,
∗∋∋

∋∋ %
∋
,!∗ ∋)∗

∋∗∋
 +
)+∋∋∋ 

(:∃

∋%+
!,∋∋!∋)∗
%∋

,∋
∋ ∋++ ! !∗ ∗
! +∋

 
&&∗ ∋
!∗ ∗
+
&∋∋ ∗∋  +&
&∗

)%∋
+∋ ! + !∋+ +
%)

(∃

<&
+!∋∋∗+∋∋∋ 
−∋ 

∗!
∋!∋!∋ 
)∋%∋

 
!∋&∋)∋! %!∗ −


− &
!∋ −)!∗
!%

+%%+
%%) + !∋ ∋)
∋

((∃

9! + &∗∋−∋)
!+
∋++ ∗

6)& !++ 
))∗


+,!∋ & ∗


∋!
! !∋+∋

∋!∋)!∋ !>∋
!∗ 
,
+& + ,∗
+∋)
!∋ &∋

(((∃

∋∗
!∋
1∗∋∋∗+ ∋

∋)++
 !∋
!∋∗%+∋∋! ,+

6+)
)∗
+∋!∗ +!!∋)∗!∗

%

∋%!∋ !6

∋
!∋+ ∗
 !+)∗! + %

(( ∃

∋+ ∋!∋∗
∋!+
+ −

∋−∋
+∋)
%∋&+

%%∗
&
+−

∋∋∋ 
%∋!
!! ∋∗

&!∋
 ! )
%∗ ∋

((0∃
/+&+)∗
+)+
∋  

% ∋%∋
∋+∋∗∋
+ +!∋

∋∋+!∋ %∗
+%%)∗
)++∗)

&)∋ 
%
&∋)+%+%

+%+∋<−)%
∋% 
&∋6

((2∃

∋+
)∋
∗∋ +∋&

∋)
∋+
!∋∋+∋ ! 

∗ +∋&−
∋
!∋!+ !∋ 

 ∋&∋∗
6+&∗
!+∋  ∋ 

% !∋%∋
∋
+!)∗∋ )

((3∃

 ∋ +) ∋


+∋∋)
++
∋ ∋∋
)∗
8  +∋+

)++∗
)
,!∋∋/+ 

!)∋&+∋
 ∗
+!∋  &++

!+∋ !∋
+∋) +!∋∋%∋
!∋%∋!

((4∃

∋&∋+∋)∗∋
+)/+/+∋∗%∗

∋/+∗∋ + 


 !)∋

+)∋ !! ∋)


 ∋ ∋∋

8%&)∋ ∋+%
+∋ !9∋ 

!!∋ +
∋∋%∋&%

((7∃

!+ ∋+%
%++!

 ∋!∋∗%!%∗∋∗
+ ! ∗∋

∋ ∋!&∗ !
)∋ ∋+ 

%+∋∋∋)6+
1!&+−

+!)+
,!∋)∋+∋)∋
((:∃

∋∋∋%+
!+∋∗,

%∋∋∋!∋8∋++
%!∋+

∋ %>!+
)+∋

∗ &+
%&+ !

+∋∋∋ ∋
!! ∗% 

((∃

%+∋ ∋)%∗
 +∋ !

%+∋∋ +− ∗


)∋∋&8+

+∗
∋∗+

∗   ! +)∋


%∗!

 +∗&∋+!
%∋ !+!

( ∃

)+! )!∋
 &&−

9∗ ∋ % ∋∗ ∋∋∋!∗


∋

)∋∗∋! ∋
∗∋!

+%%∋ ∋!∋
+∋∋∋+
+)%& !
+%+ 

( (∃

!%∋!∗  ∋∋ 


!+&∋+∗
% ∋∋+)∋

∋ 
 
 ∗)− +) +!

∋∋ %
!∋
 1+ 

+!∋,/+ ∗+∋ ∋


)∋+
∋&∗

+∋%∋∋
+ ∋+
6%∋

( ∃

%& !∗ ∗%∋ +∋


−%!∋%∋

∋+
!−∋∋∗

! +∋+)∋+ %+
∗∋ !

∗∋%+∋∗∋)∋+ 
)−!∋ ! 

)+ ∋,∋∋%+∋
+∋∗∋ ∗

( 0∃

%∗
)%/+∋!+

8∋+)!%∋!∗
 &∋++ ∗+
 + 
) !∋∗%∋%

+%∋!+ ∋−
∗ !!∋ ∗

%∗ ∋)∗
! !∗+∋∋

( 2∃

!+)∗+ ∋
∋  ∋

∋   ∋!!∋&
9∗ ∋∋!

∗ +∋ ∋∋&∋∗∋+%


+%∋

∋ +!∋ % ∋+∋∗


&∋!+ 

+−−∗∋% +!∋∋%
!∋∋∗

( 3∃

%%%∗∋&∋)∋∋ ∗!

∋)∋!∋)+∋%∋ 

∋ ∋∋+ ))%

∋+%∋+∋ ∋∋)!∗∋∋!∋& +)∋∗+

)&+ ) !  ∋!∋∗)

( 4∃

; 
&−
,
+!∗∋ 

∋∋
! 
∋
,∋!∋

%
6+∋
∋
+∋∋,+)

! 

%∋%
!!%−−

%∋&)
+
%
%+!

( 7∃

%! !∋
∗!∋
+ ∗
∋

∗ ∋  +∋∗



∋
/+∋+ 

 ∋!!∋+
!∋∗∋∋! 
! ∗
∋+

 +)∋∋%
+)
, )∗
,

+∋+
 %
)
∋

( :∃

)% !∋ !∗∋


 /++)∗
+, %%
+%++∋&

!∋  ∋&∗


∋%+∋. 

 +&∗+−∗∗!∋!
/+∋ ∋−

++)%
 !∗

( ∃

∋ )+∋+! 


 9∗+

)∋%∋∗! !∋
++∋%∗%+

!∋))∋∗)∋
+ ∋)

∋++∋!
!!+)

!∋∗+∗∋
+ ∋ !∗∋

(0∃

+,%∗
&+
)+∋
6+∋∗
∗!∋

∗
+ +)+)∗
 
∋∗∋
9∗∋

!+)∋
!∋ +∋
 
)

≅)∋
+&)
%∋
Χ∗
+)6∗


!%
%

∗

(0(∃

)∋
∋∋%
!∋)
)

∋+
 
+ ! &∗
)+

!
∋∗
8∋∋ 
+ 

∗!∋!
&∋ +
!!∗∋
∋!∋+

!∋−
∋ ∗
∋&∋+
+∋

(0 ∃

%!∋
!
 ∗∋

∋&  
∗!
=∋!)+!∋
!∋∗∋!∋ &
)
∋%∋∋

+  !


+!∋∋
∋++ + ∋∋

∗ ! 


++
  !!∋

(00∃

!∋&∋
∋
∋ ∋−

! +∗∋%
! !
) 

&%∗> 
∋∋
   

!!

∋%%∋))

∋ !
)∗
!∋)∋%%∋!

(02∃

  /+∋∗ /+) ∋!!  &


)+ ∗ ∋∋+/+ 8 +
∋!%!∋ ∗&∋% %+∋∋+
!∋∋% +!!∋!!∋%
∋!∗%%%&∋!!+∋∗∋+∋&∋ ∋

(03∃

∋+/+&∗)&∗ 
∗8∋∋∗!! +)∋∗∗
&∋)−∋−+ 
!∋ ∋∗ +%%8++∋)!∋
  ∗%∗∋∋∋∋ !  ∋!
(04∃

+%%∗∋∗)∋
   ++

+∋∋ +∋∋∗ !+


∋+)+

∗+,∋
∋+%∋+

) ∗&∋+
∋+ +∗

∋% ∋∋!%
∋ !

(07∃

+∋)∋)∋
+−
%+!%
)!∋&

+
 
∋!∋∋
?+))

∋) !
)∋ 
!∋ ∗
,+ !%∋

+%
∋%)∋
+
  !%

+
 
!∋!∗∋∗
∋!∋∋

(0:∃

 ∋!∗

! & 
∋

∋6+
+! 
∋!+ !
!∋

)&
%
∋)∋ −−
++

%

!∋+  ,!∋&
,+

!
) ∋∋∗
∋ −+ 
)%

(0∃

 

!∋∋!)+
,

!∋∗
 
+∋∋)∋∋%
!+

+!
%∋
)∋∗∋&
=∋

∋−
 ∋+∋∗
 !∋%∋+)∗
+∋!

)
!∋
%%∋∗
! +6∋&
(2∃

!∋∗%+∋∋)
%∗∋
,!∗

)+& %∋ 
!∋∋ ∋
+!−

∋%∋
∗!%+∋
,∋ 

)−%∗ +)∋
+ ! %+%
∋

+ ∗
)∋∗+%%
∗! 

(2(∃

!∗!
8∋∋ +)
!∋  )∋

∋∋∋∗
∋! ∗∋
∋ + !∋


 ) ∗ 
!∋ %%

∋+∋
≅%+∋
∋%+!∋∗

∋∋
!∋%!∋%∋  
+∗ 

(2 ∃

)
+ 
%∋)
%∗
,∋&

∋∋
∋
!∗∋∋∗
&∋ ∋
!


+∋∋+!)
∗!−
%∋
)∋

&+
∗−∋
! + !
∋
 

∋∋+
+∋∋∗  !
∋∗ )+
 
+∋)

(20∃

∋!∋
∋∋
%)∗
!∋

+
!∋∗
∋&!∋
∋
)&
∋ +∋)
+)+ 
+∋!−
/+∋
%∋)
 ∋ !∋
+
 
!!!∋
)∋%
=+∋
+,!∋ ∗
+
∋&∋)∋
!∋∋

(22∃

∋&)∋
&∋ !
∋ ,&

)+∋+  ∋!!


 +
∋!−∋

∋∋∋∋
)
   .−%

  !∋!∗
 +
))) )∗+∋+

) Β+

!!+∋∋

(23∃

++∋)!%∗ 
%
+!∋

∋&−!+
∋ 
+!++∋∋∗

+∋∋∋∗%!∋∋∗

 &!∗,

%%
+∋
!+%%∋

 ∗ 
!
!∗∋

(24∃

)+∋+
& 
)∋
+ ,∗+∋

!∗
∋∋
∋ 
∗ ∋ %

& 
)∋∋

∗∋1)∋


+∋∋
+ ∋−
%∋+∋

∋ ∋∗
!∋!∋

 ) )

(27∃

∋∗%)
+∋ 
∋ 
/+)∋&

∋+,
  ∗

 

∋∋!&+∋+ 

)∋%∋
&)∋%∗

∋ ∋,∋∗
+ %
!∋!∗)
)

,∗)∋
 %
&∋ !∗
 &

(2:∃

∋
!∋!,∗
%∋%
+!

∋∗ ∋

&%∗∋)∋
&

∋
!+ 
! ∗ %∋ !
∋&

 
+)∋+
∋, ∗
!∋+

+∗
!∋  
% ∋
 +

(2∃

∋ + ++ ∋∗)))∋!+


!++∋)∋∗%∗∋!+∋%∋∋∗
∋!∋ ∋∋∗+∋ %+
∋%%∋%∗&∋  + +% &+∋∋∗
%∋∋∗∋!∋!+∋&%∋+∗!∋

(3∃

%∋∋ %∋∋∋%∋−−
,∋+∋%∋%!∋∋+  ∗)+
 +∋+∋)∋)∋+∋∋)∋
! ∋ =∋!∗+  
+)∋+ ))∗&∋∗∋
(3(∃

)∋∋∗∋+% ∗   &

+∋∋ ∋!∋&∋%∋ +!∋+

+∗%! )!)

1∗∗!%+& )∗∗!+

!∋∋∗1∗&&+∋ ∋

(3 ∃

∋)∗+)∋∋+ ∗!&∗!∋ ∗

∋∗ 8∗∋!∋!∋∗%+&∋∋∗

∋&!,% +∋ %∋

∋ ∋ !∋∋!&∋)∋&

∋∋−&∋∗∋&  ∗

(30∃

!∗∋) ++∋ 
!

∗  ∗∋∗ +!∋,∋


!!∋+∋

) ∋+% &∋)%∋
)+∋!∋!!∋!∋

!∋& +∋%)
∋ !∋%∋&−

+% ∋!!
+∋) +!

(32∃

+ ∋−∋&∋
+%∋ ∋+

∋!++ !∗∋∗,
+∋ 
!! +%  +) ∋+
+∋% !%+

∋ ∗  !


+∋+6

/+!&∋∋∋ 
∋∋!∋!

(33∃

+∋6))
∋ 
∋&!)

 ∋
∋∋%)
∋+ ∋∗

 +!∋
)+
!+!∋&∋%∋

∋ ) !!∋
Β)∋
%  ∋∋%

+!∋∋ 
∋∋&∋)
∋)!−

(34∃

% &∗
 /+
%−  

) !
%∋
 ∋ ∋∗

∋& 
& ∋%
!∋∗∋ !+∋)+ 

? ∋!∋!∋∗
∋∋!+
!+%∋+∋%∗
,−∋
  
∋+)∋∗!!∗∋

(37∃

!∋+  !∗∋+


!∋!)∋ . !∋∋∋
&∋! !∋+∋ ∋+∋!
∋∋%%∗%∋!+ %
∋)+   +)∋∗+

(3:∃

%)&% )+%∋)+∋
!!∋!!+∋ /+!∋∗+ 
)&  +∗  !∗
))%∗ %!)!∋, ∋ !∋∋∗
+∋ ∗+ ∋)