User manual
∀
/∃∃ 1?
∗+;∗∃#1
∃∃∃
∃∃∃∗:;
#
∗+∗+ ?
∗ 5 % ∋7 1
∗;
∃#; ∃;
∗;
∃:#∃;
;∗∃;
∃5 %;(117
∃ ∃∗
2∗?≅%;&11Α
∃1
∃∃ ∃∃5
7 ∃57
4