# 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);