# 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.
# It wouldn't be hard to accompany this lesson with a more
# formal definition once functions are introduced (below)
# so maybe the transition to binary should be delayed?
[hear] (= (:) 010);
[hear] (= (:.) 0110);
[hear] (= (:..) 011110);
[hear] (= (:...) 0111111110);
[hear] (= (:....) 011111111111111110);
[hear] (= (.) 00);
[hear] (= (:) 010);
[hear] (= (:.) 0110);
[hear] (= (::) 01110);
[hear] (= (:..) 011110);
[hear] (= (:.:) 0111110);
[hear] (= (::.) 01111110);
[hear] (= (:::) 011111110);
[hear] (= (:...) 0111111110);
[hear] (= (:..:) 01111111110);
[hear] (= (:.:.) 011111111110);
[hear] (= (:.::) 0111111111110);
[hear] (= (::..) 01111111111110);
[hear] (= (::.:) 011111111111110);
[hear] (= (:::.) 0111111111111110);
[hear] (= (::::) 01111111111111110);
[hear] (= (.) 00);
[hear] (= (:::) 011111110);
[hear] (= (::.:) 011111111111110);
[hear] (= (:.:) 0111110);
[hear] (= (:..:) 01111111110);
[hear] (= (.) 00);
[hear] (= (::) 01110);
[hear] (= (::::) 01111111111111110);
[hear] (= (::..) 01111111111110);
[hear] (= (:.:) 0111110);
[hear] (= (:.:) 0111110);
[hear] (= (:..:) 01111111110);
[hear] (= (:.) 0110);
[hear] (= (:) 010);
[hear] (= (::::) 01111111111111110);
[hear] (= (:.) 0110);
[hear] (= 0111110 / + 011110 010);
[hear] (= (:.:) / + (:..) (:));
[hear] (= 011111110 / + 01111110 010);
[hear] (= (:::) / + (::.) (:));
[hear] (= 0111110 / + 011110 010);
[hear] (= (:.:) / + (:..) (:));
[hear] (= 011110 / + 00 011110);
[hear] (= (:..) / + (.) (:..));
[hear] (= 01111111110 / + 011111110 0110);
[hear] (= (:..:) /
+ (:::) (:.));
[hear] (= 0111111111110 / + 011111110 011110);
[hear] (= (:.::) /
+ (:::) (:..));
[hear] (= 011111111110 / + 01110 011111110);
[hear] (= (:.:.) /
+ (::) (:::));
[hear] (= 01111110 / + 0111110 010);
[hear] (= (::.) / + (:.:) (:));
[hear] (= 011110 / * 011110 010);
[hear] (= (:..) / * (:..) (:));
[hear] (= 011110 / * 010 011110);
[hear] (= (:..) / * (:) (:..));
[hear] (= 011110 / * 010 011110);
[hear] (= (:..) / * (:) (:..));
[hear] (= 01111110 / * 0110 01110);
[hear] (= (::.) / * (:.) (::));
[hear] (= 01111110 / * 0110 01110);
[hear] (= (::.) / * (:.) (::));
[hear] (= 011110 / * 0110 0110);
[hear] (= (:..) / * (:.) (:.));
[hear] (= 01111111110 / * 01110 01110);
[hear] (= (:..:) /
* (::) (::));
[hear] (= 011111111111111110 / * 011110 011110);
[hear] (= (:....) /
* (:..) (:..));