# MATH introduce numbers (in unary notation)
# Here we count up, go through some primes, etc.
# There is some syntax around the numbers, but that doesn't
# need to be understood at this point.
# Any 'words' written here are converted to arbitrary integers
# in the actual message. Any word ending in -in-unary will be given
# in unary rather than the binary code used in the main body
# of the message.
[hear] (intro-in-unary 010);
[hear] (intro-in-unary 0110);
[hear] (intro-in-unary 01110);
[hear] (intro-in-unary 011110);
[hear] (intro-in-unary 0111110);
[hear] (intro-in-unary 01111110);
[hear] (intro-in-unary 011111110);
[hear] (intro-in-unary 0111111110);
[hear] (intro-in-unary 01111111110);
[hear] (intro-in-unary 011111111110);
[hear] (intro-in-unary 0111111111110);
[hear] (intro-in-unary 01111111111110);
[hear] (intro-in-unary 011111111111110);
[hear] (intro-in-unary 0111111111111110);
[hear] (intro-in-unary 01111111111111110);
[hear] (intro-in-unary 011111111111111110);
[hear] (intro-in-unary 0110);
[hear] (intro-in-unary 01110);
[hear] (intro-in-unary 0111110);
[hear] (intro-in-unary 011111110);
[hear] (intro-in-unary 0111111111110);
[hear] (intro-in-unary 011111111111110);
[hear] (intro-in-unary 010);
[hear] (intro-in-unary 011110);
[hear] (intro-in-unary 01111111110);
[hear] (intro-in-unary 011111111111111110);