User manual
.:∗#
∗+∗+∗#∗+∗# 1
∃∃∃1∗+∗+
∗# ∗;+#:
:; ∗#:
∃1#∃ 0+;+
11 ;∃1+
:#;1#
<+ : :; ∗#
+∃+∃∗+
∃ ; ∃
. 11 ; :# ∃ 1 :
+∗∃1∗+;=∗#:
1+∗∃;
∃1
.11;:#∃1∃
&#+∗+8 ∗+
<#∗∃ ∗∃:;∗#
:
!
. ∗ 5∗ > ∃7
:#∃3∃1
:: )1
1∗∃
4