User manual
∃()
#&
%(
0−
∀ 0(2
3,∗∗/
#),
&()
4()
2 4(&
5 4)&)(
%&
∃6−
7(∋∃∃∃∗
8
49:49;−:<( ;88
47(:<(;888=8>
4( ?
4(:<(∀;>
4(?
4(:<(;>8
4(∀?
4(&:<(;>88
4(?
4(∗−:<(;>888
(8>888)))&∗&
(∀