User manual
∃/∀0
!7>#∀03≅/)231
(∀<(Ν(Η#≅1
>#∀∀:)<
>#∀#)#<(50#
7#Η>#<>#∀(4(
)0)3&0∀∀3#)
/))/0,7<
(:)7)(:∀03
∆(3/(3∀##∋)?0<
)3#)<3?
# 3 !)∀#3 7∀37 ∋ ∋0
7)(/037:#0∀3
∋33∋<#2,
!∀#∋()(=6
),
37( 3) ∋ ) 3
##)))(∋)
6)4,<Ι)<3#
47∀ 23, # 6 ,7
# ,7 3 # !#0 #
>#∀3 ) ?+)
:#3
:#376∀(∀/
∋/,7)
3#!0;
)(0)0<
)4,(!1∋#!1/0<
)0333(>#<
)!)#030∋#
?)
∃