# MATH introduce a simple form of binary notation
# After this lesson, in the higher-level version of the message,
# will expand decimal to stand for the binary notation given.
[
hear] (= (unary 0) (.));

[hear] (= (unary 1 0) (:));

[hear] (= (unary 1 1 0) (:.));

[hear] (= (unary 1 1 1 0) (::));

[hear] (= (unary 1 1 1 1 0) (:..));

[hear] (= (unary 1 1 1 1 1 0) (:.:));

[hear] (= (unary 1 1 1 1 1 1 0) (::.));

[hear] (= (unary 1 1 1 1 1 1 1 0) (:::));

[hear] (= (unary 1 1 1 1 1 1 1 1 0) (:...));

[hear] (= (unary 1 1 1 1 1 1 1 1 1 0) (:..:));

[hear] (= (unary 1 1 1 1 1 1 1 1 1 1 0) (:.:.));

[hear] (= (unary 1 1 1 1 1 1 1 1 1 1 1 0) (:.::));

[hear] (= (unary 1 1 1 1 1 1 1 1 1 1 1 1 0) (::..));

[hear] (= (unary 1 1 1 1 1 1 1 1 1 1 1 1 1 0) (::.:));

[hear] (= (unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0) (:::.));

[hear] (= (unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0) (::::));

[hear] (= (::..) (unary 1 1 1 1 1 1 1 1 1 1 1 1 0));

[hear] (= (::..) (unary 1 1 1 1 1 1 1 1 1 1 1 1 0));

[hear] (= (::::) (unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0));

[hear] (= (:.:) (unary 1 1 1 1 1 0));

[hear] (= (.) (unary 0));

[hear] (= (:.:.) (unary 1 1 1 1 1 1 1 1 1 1 0));

[hear] (= (:::) (unary 1 1 1 1 1 1 1 0));

[hear] (= (:.:.) (unary 1 1 1 1 1 1 1 1 1 1 0));

[hear] (= (:::.) (unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0));

[hear] (= (:.:) (unary 1 1 1 1 1 0));

[hear] (= (:.::) (unary 1 1 1 1 1 1 1 1 1 1 1 0));

[hear] (= (:..:) (unary 1 1 1 1 1 1 1 1 1 0));

[hear] (= (:.:) (unary 1 1 1 1 1 0));

[hear] (= (:.) (unary 1 1 0));

[hear] (= (:.::) (unary 1 1 1 1 1 1 1 1 1 1 1 0));

[hear] (= (:.:) (unary 1 1 1 1 1 0));

[hear] (= (+ (.) (::..))
(::..));

[hear] (= (+ (:.:.) (::))
(::.:));

[hear] (= (+ (.) (::::))
(::::));

[hear] (= (+ (:...) (:..))
(::..));

[hear] (= (+ (::..) (.))
(::..));

[hear] (= (+ (:..:) (::.:))
(:.::.));

[hear] (= (+ (:.:) (::.))
(:.::));

[hear] (= (+ (:.::) (:::))
(:..:.));

[hear] (= (* (:..:) (::::))
(:....:::));

[hear] (= (* (:.) (:...))
(:....));

[hear] (= (* (.) (.)) (.));

[hear] (= (* (:.) (::.:))
(::.:.));

[hear] (= (* (:) (:::)) (:::));

[hear] (= (* (:) (:.)) (:.));

[hear] (= (* (::) (:::))
(:.:.:));

[hear] (= (* (:.:.) (:..))
(:.:...));