!!
∀
,
,
&
,
,
#
#
,
,
,
!
∋&
,
∀
, ,
,
,
,
,
,
∃
∃
(
,
) (
,
∃
,
)
(
, ,
)
(
%
,
,
,
,
(
) (
)
,
,
,
,
,
,
,
,
,
%
,
∗
∋
,
&∗
∋+
,
%
,
! &
% , %
,
,
, ∀
,
,
,
∋
,
+
&
,
&
∀
,
,
,
%
,
,
,
−
, ,
,
,
,
,
,
,
,
,
,
%
,
,
∗
,
,
∋∗
,
∋∀
&
.
,
∀ ∗
∋∗
&!
, ,
,
,
,
,
−
,
,
,
%
%
,
,
%
∋∗
∋!
,
&
+ &
,
,
,
,
! &
∗
,
,
,
!
,
%
%
,
∗
∋
,
+ ∀
∋∗
,
,
,
,
∋
,
,
∋∋
,
0
−
,
∗
,
,
,
,
&,
,
,
, & ,
,
,
,
,
,
−
,
,
∋!
,
+
,
∃
,
,
,
,
∀
% ,
,
,
,
,
,
,
,
,
,
,
− ,
∀
− ,
)
,
∀
/
,
−
&
(
∗
,
! &
,
,
%
−
,
∃
,
,
,
+
∀
,
,
∃
(
,
)
,
,
%
&!
,
1
,
, %
%
,
∗ &
+
,
,
∋
,
,
&
,
−
,
∀
,
,
,
,
,
,
,
%
,
,
,
∗
,
,
#
,
8 7 6
,
#
,
∃
#
%
,
5 4 3 2
∃
,
+
,
,
,
,
,
,
,
,
,
,
∋∗
,
9
%
,
,
,
,
(
)
,
)
,
(
,
#
, ,
,
,
,
,
,
∋∋
; :
= <
,
%
#
∃
,
∃
,
,
&!
,
,
∃
,
,
∋
>1
?
≅∃
Β Α
,
,
,
,
Χ 7 6
,
,
,
,
,
,