---

       # MATH introduce numbers (in unary notation)
       # Here we count up, then count down, then go through primes, etc.
       # There is a bunch of syntax around the numbers, but that
       # can just be treated as noise at this point - it doesn't matter.
       # The key is to set up the structure of ';'-terminated sequences,
       # and to introduce one simple representation of numbers.
       # Symbols like intro and unary are encoded as binary numbers,
       # which again can be treated as noise for now.
[hear] (intro / unary 0);

[hear] (intro / unary 1 0);

[hear] (intro / unary 1 1 0);

[hear] (intro / unary 1 1 1 0);

[hear] (intro / unary 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 0);

[hear] (intro / unary 1 1 1 0);

[hear] (intro / unary 1 1 0);

[hear] (intro / unary 1 0);

[hear] (intro / unary 0);

[hear] (intro / unary 0);

[hear] (intro / unary 1 0);

[hear] (intro / unary 1 1 0);

[hear] (intro / unary 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 0);

[hear] (intro / unary 1 0);

[hear] (intro / unary 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 0);

[hear] (intro / unary 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 0);

[hear] (intro / unary 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0);