User manual
 
+,)−7.<3.  Θ+      ≅?
    ?∃∗∗  Β3  ∀Β  9+  ∃33∗
:   ∃  Β  ∀Β  9+  <+  
∗−:);1Χ
Χ )##
Χ )#
Χ +9∀:∃
5893∀:
Χ ∃
&Χ Α)∗
?∃∗∗ Β3 ∀ΒΧ     ∃     
∗∗    ;    ;    #    8
∃    9  ∗  3∗3  :>  
1##7+<∃9%#:
)##>58)∗
    ∗  =388  ,      Ι  ∗
;3  )∗   8 > 
)∗818
?∃∗∗Β  ∀ΒΧ   ∃    
∗5)##
>6+#+Ι,
∗    +    >      
  ∃      >        +
;.++)37=
+,)−8.∀33)3.;373;1)
  )    ∀∃∃3  ∃    +
3  +1  ∃  3    ∗1.
;+1)>)
∗37)∃
      6#  +∗    ∃  .    
≅?#∀#∃
&










