! ∀# ∃
%
& ∋
(
∋#
) ∗
# !
+
−
# ∃
%
#
!
∃
#
# !
&.
/ 0
1 2 ∀
345 64%
9
! # #
# !
+
#
# !
− ∋ ∀
#
∃
%
∋
∃
∃
,
%
∃
∃
%
%
∃
%
∗
3
∃
)
∃
%
8
#
∃
& !
. :
∋
%
,
∃
%
# ∃
%
7
∋
%
%
, #
∃
%
&
)
+
0
0 ;<
2 (
3 0 &..9
&
)
+
−
/
1
7
9
.
&
)
+
−
! ∀#
∋
(
∋#
#
∗
# !
#
!
,
#
# !
&.
0
#
2 ∀
∀
∋
8
#
!
# #
:
∋ ∀
# !
,
! ∀
∋
#
# !
∋ ∀
∗
0
0 ;<
2 (
3 0 &..9