User manual
;3+∗
=∗∗+)+∗+3
))∃∗∗=∗∗+)+
∃ ) )+ ∗> ;
∃1>+∃;+
7+∀∗#)>
+ ∗7 ∗ ∀>
∗∗∗;3++
);∃313>∗81+,
∀#∃31# #
∃ ) ∃ 3 )
?∃+>∃+;∗
,−∃ 37 ∗ −∃+
−∃+8)∗∗;
∃≅0++∗∗∗1.
37∗<08
,−∃37+∗∗>∃2≅
∗∗,Α∃+
=∗ +∗∗∗1. 0+ > <,
)3∃;
,−∃ 1 # 9:
∗83 #∃ ;3 )7
)>+∃ΒΒ+)
0335#8