The putative grammar is
Let's first describe the tree. Of course, its root is [[],[]]
There are , 80, internal vertices. Here there are
followed by their sons
The number-, 1, internal vertex is, [[], [3, 3, -2, -2]], and his sons are
{[[3], [3, 3, -2, -2]], [[-2], [3, 3, -2, -2]]}
The number-, 2, internal vertex is, [[3, -2, -2, -2], [3, 3, -2, 3, -2]],
and his sons are
{[[3, -2, -2, -2, 3], [3, 3, -2, 3, -2]],
[[3, -2, -2, -2, -2], [3, 3, -2, 3, -2]]}
The number-, 3, internal vertex is, [[-2, 3], [3, 3]], and his sons are
{[[-2, 3, 3], [3, 3]], [[-2, 3, -2], [3, 3]]}
The number-, 4, internal vertex is, [[-2, 3, -2], [3, 3, -2, 3]],
and his sons are
{[[-2, 3, -2, 3], [3, 3, -2, 3]], [[-2, 3, -2, -2], [3, 3, -2, 3]]}
The number-, 5, internal vertex is, [[3, -2], [3, 3]], and his sons are
{[[3, -2, 3], [3, 3]], [[3, -2, -2], [3, 3]]}
The number-, 6, internal vertex is, [[], [-2, -2, 3, -2]], and his sons are
{[[], [3, -2, -2, 3, -2]], [[], [-2, -2, -2, 3, -2]]}
The number-, 7, internal vertex is, [[3], [3, 3, -2]], and his sons are
{[[3, 3], [3, 3, -2]], [[3, -2], [3, 3, -2]]}
The number-, 8, internal vertex is, [[], [-2, -2, 3, -2, 3, -2, -2]],
and his sons are
{[[], [3, -2, -2, 3, -2, 3, -2, -2]], [[], [-2, -2, -2, 3, -2, 3, -2, -2]]}
The number-, 9, internal vertex is, [[3, -2], [3, 3, -2, -2]],
and his sons are
{[[3, -2, 3], [3, 3, -2, -2]], [[3, -2, -2], [3, 3, -2, -2]]}
The number-, 10, internal vertex is, [[-2, -2, 3, -2, -2, -2], [3, 3]],
and his sons are
{[[-2, -2, 3, -2, -2, -2, 3], [3, 3]], [[-2, -2, 3, -2, -2, -2, -2], [3, 3]]}
The number-, 11, internal vertex is, [[3, -2], [3, -2, 3]], and his sons are
{[[3, -2, -2], [3, -2, 3]], [[3, -2, 3], [3, -2, 3]]}
The number-, 12, internal vertex is, [[3, -2, -2], [3, -2, -2, 3]],
and his sons are
{[[3, -2, -2, 3], [3, -2, -2, 3]], [[3, -2, -2, -2], [3, -2, -2, 3]]}
The number-, 13, internal vertex is, [[3, -2], [3, -2, -2, 3]],
and his sons are
{[[3, -2, -2], [3, -2, -2, 3]], [[3, -2, 3], [3, -2, -2, 3]]}
The number-, 14, internal vertex is, [[], [3, 3, -2, 3, -2]], and his sons are
{[[-2], [3, 3, -2, 3, -2]], [[3], [3, 3, -2, 3, -2]]}
The number-, 15, internal vertex is, [[3, -2, -2, -2], [3, 3, -2, -2]],
and his sons are
{[[3, -2, -2, -2, 3], [3, 3, -2, -2]], [[3, -2, -2, -2, -2], [3, 3, -2, -2]]}
The number-, 16, internal vertex is, [[], [3, -2]], and his sons are
{[[], [3, 3, -2]], [[], [-2, 3, -2]]}
The number-, 17, internal vertex is, [[-2, 3, -2], [3, 3, -2]],
and his sons are
{[[-2, 3, -2, 3], [3, 3, -2]], [[-2, 3, -2, -2], [3, 3, -2]]}
The number-, 18, internal vertex is, [[], [3, -2, 3, -2]], and his sons are
{[[], [-2, 3, -2, 3, -2]], [[], [3, 3, -2, 3, -2]]}
The number-, 19, internal vertex is, [[3, -2, -2], [3, 3, -2]],
and his sons are
{[[3, -2, -2, -2], [3, 3, -2]], [[3, -2, -2, 3], [3, 3, -2]]}
The number-, 20, internal vertex is, [[-2], [-2, 3, -2, 3]], and his sons are
{[[-2, -2], [-2, 3, -2, 3]], [[-2, 3], [-2, 3, -2, 3]]}
The number-, 21, internal vertex is, [[3, -2, -2], [3, 3, -2, -2]],
and his sons are
{[[3, -2, -2, 3], [3, 3, -2, -2]], [[3, -2, -2, -2], [3, 3, -2, -2]]}
The number-, 22, internal vertex is, [[], [-2, 3, -2, 3, -2, -2]],
and his sons are
{[[], [3, -2, 3, -2, 3, -2, -2]], [[], [-2, -2, 3, -2, 3, -2, -2]]}
The number-, 23, internal vertex is, [[], [3, -2, -2, 3, -2]],
and his sons are
{[[], [3, 3, -2, -2, 3, -2]], [[], [-2, 3, -2, -2, 3, -2]]}
The number-, 24, internal vertex is, [[-2], [3, 3]], and his sons are
{[[-2, 3], [3, 3]], [[-2, -2], [3, 3]]}
The number-, 25, internal vertex is, [[], [3, 3, -2]], and his sons are
{[[3], [3, 3, -2]], [[-2], [3, 3, -2]]}
The number-, 26, internal vertex is, [[], [3, -2, 3, -2, -2]],
and his sons are
{[[], [3, 3, -2, 3, -2, -2]], [[], [-2, 3, -2, 3, -2, -2]]}
The number-, 27, internal vertex is, [[3, -2, -2], [3, 3]], and his sons are
{[[3, -2, -2, 3], [3, 3]], [[3, -2, -2, -2], [3, 3]]}
The number-, 28, internal vertex is, [[3], [3, -2, 3]], and his sons are
{[[3, 3], [3, -2, 3]], [[3, -2], [3, -2, 3]]}
The number-, 29, internal vertex is, [[], [-2, 3]], and his sons are
{[[], [3, -2, 3]], [[], [-2, -2, 3]]}
The number-, 30, internal vertex is, [[-2, 3, -2, -2], [3, 3, -2, 3]],
and his sons are
{[[-2, 3, -2, -2, -2], [3, 3, -2, 3]], [[-2, 3, -2, -2, 3], [3, 3, -2, 3]]}
The number-, 31, internal vertex is, [[-2, -2, 3, -2], [3, 3]],
and his sons are
{[[-2, -2, 3, -2, 3], [3, 3]], [[-2, -2, 3, -2, -2], [3, 3]]}
The number-, 32, internal vertex is, [[3, -2, -2, -2], [3, -2, -2, 3]],
and his sons are
{[[3, -2, -2, -2, 3], [3, -2, -2, 3]], [[3, -2, -2, -2, -2], [3, -2, -2, 3]]}
The number-, 33, internal vertex is, [[], [-2, -2, -2]], and his sons are
{[[], [-2, -2, -2, -2]], [[], [3, -2, -2, -2]]}
The number-, 34, internal vertex is, [[-2, 3, -2, -2, -2], [3, 3, -2, 3]],
and his sons are
{[[-2, 3, -2, -2, -2, 3], [3, 3, -2, 3]],
[[-2, 3, -2, -2, -2, -2], [3, 3, -2, 3]]}
The number-, 35, internal vertex is, [[3, -2, -2], [3, -2, 3]],
and his sons are
{[[3, -2, -2, 3], [3, -2, 3]], [[3, -2, -2, -2], [3, -2, 3]]}
The number-, 36, internal vertex is, [[-2, -2], [3, 3]], and his sons are
{[[-2, -2, 3], [3, 3]], [[-2, -2, -2], [3, 3]]}
The number-, 37, internal vertex is, [[3, -2], [3, 3, -2, 3, -2]],
and his sons are
{[[3, -2, -2], [3, 3, -2, 3, -2]], [[3, -2, 3], [3, 3, -2, 3, -2]]}
The number-, 38, internal vertex is, [[-2, 3], [3, 3, -2]], and his sons are
{[[-2, 3, 3], [3, 3, -2]], [[-2, 3, -2], [3, 3, -2]]}
The number-, 39, internal vertex is, [[-2], [-2, 3, -2, 3, -2]],
and his sons are
{[[-2], [3, -2, 3, -2, 3, -2]], [[-2], [-2, -2, 3, -2, 3, -2]]}
The number-, 40, internal vertex is, [[], [-2]], and his sons are
{[[], [3, -2]], [[], [-2, -2]]}
The number-, 41, internal vertex is, [[3, -2], [3, 3, -2]], and his sons are
{[[3, -2, 3], [3, 3, -2]], [[3, -2, -2], [3, 3, -2]]}
The number-, 42, internal vertex is, [[3], [3, 3, -2, 3, -2]],
and his sons are
{[[3, -2], [3, 3, -2, 3, -2]], [[3, 3], [3, 3, -2, 3, -2]]}
The number-, 43, internal vertex is, [[3], [3, 3, -2, -2]], and his sons are
{[[3, 3], [3, 3, -2, -2]], [[3, -2], [3, 3, -2, -2]]}
The number-, 44, internal vertex is, [[-2], [-2, -2, 3, -2, 3, -2]],
and his sons are
{[[-2], [3, -2, -2, 3, -2, 3, -2]], [[-2], [-2, -2, -2, 3, -2, 3, -2]]}
The number-, 45, internal vertex is, [[], [-2, 3, -2]], and his sons are
{[[], [-2, -2, 3, -2]], [[], [3, -2, 3, -2]]}
The number-, 46, internal vertex is, [[], [-2, 3, -2, -2]], and his sons are
{[[], [3, -2, 3, -2, -2]], [[], [-2, -2, 3, -2, -2]]}
The number-, 47, internal vertex is, [[], [-2, 3, -2, 3, -2]],
and his sons are
{[[3], [-2, 3, -2, 3, -2]], [[-2], [-2, 3, -2, 3, -2]]}
The number-, 48, internal vertex is, [[], [3, -2, -2, 3]], and his sons are
{[[3], [3, -2, -2, 3]], [[-2], [3, -2, -2, 3]]}
The number-, 49, internal vertex is, [[-2, 3, -2, -2], [3, 3]],
and his sons are
{[[-2, 3, -2, -2, 3], [3, 3]], [[-2, 3, -2, -2, -2], [3, 3]]}
The number-, 50, internal vertex is, [[], [3, 3]], and his sons are
{[[3], [3, 3]], [[-2], [3, 3]]}
The number-, 51, internal vertex is, [[-2], [3, 3, -2, 3]], and his sons are
{[[-2, 3], [3, 3, -2, 3]], [[-2, -2], [3, 3, -2, 3]]}
The number-, 52, internal vertex is, [[], [3, -2, -2, -2]], and his sons are
{[[], [-2, 3, -2, -2, -2]], [[], [3, 3, -2, -2, -2]]}
The number-, 53, internal vertex is, [[], [-2, -2, 3]], and his sons are
{[[], [-2, -2, -2, 3]], [[], [3, -2, -2, 3]]}
The number-, 54, internal vertex is, [[], [3, -2, -2, -2, 3]],
and his sons are
{[[], [3, 3, -2, -2, -2, 3]], [[], [-2, 3, -2, -2, -2, 3]]}
The number-, 55, internal vertex is, [[3, -2, -2, -2], [3, 3, -2]],
and his sons are
{[[3, -2, -2, -2, 3], [3, 3, -2]], [[3, -2, -2, -2, -2], [3, 3, -2]]}
The number-, 56, internal vertex is, [[-2, 3, -2], [3, 3]], and his sons are
{[[-2, 3, -2, -2], [3, 3]], [[-2, 3, -2, 3], [3, 3]]}
The number-, 57, internal vertex is, [[-2, 3, -2, -2], [3, 3, -2]],
and his sons are
{[[-2, 3, -2, -2, 3], [3, 3, -2]], [[-2, 3, -2, -2, -2], [3, 3, -2]]}
The number-, 58, internal vertex is, [[], [-2, -2]], and his sons are
{[[], [-2, -2, -2]], [[], [3, -2, -2]]}
The number-, 59, internal vertex is, [[], [-2, -2, -2, 3]], and his sons are
{[[], [-2, -2, -2, -2, 3]], [[], [3, -2, -2, -2, 3]]}
The number-, 60, internal vertex is, [[3], [3, 3]], and his sons are
{[[3, -2], [3, 3]], [[3, 3], [3, 3]]}
The number-, 61, internal vertex is, [[], [-2, 3, -2, -2, 3, -2]],
and his sons are
{[[], [3, -2, 3, -2, -2, 3, -2]], [[], [-2, -2, 3, -2, -2, 3, -2]]}
The number-, 62, internal vertex is, [[], [3, -2, 3]], and his sons are
{[[3], [3, -2, 3]], [[-2], [3, -2, 3]]}
The number-, 63, internal vertex is, [[-2, 3, -2, -2, -2], [3, 3]],
and his sons are
{[[-2, 3, -2, -2, -2, -2], [3, 3]], [[-2, 3, -2, -2, -2, 3], [3, 3]]}
The number-, 64, internal vertex is, [[-2, -2], [-2, 3, -2, 3]],
and his sons are
{[[-2, -2], [3, -2, 3, -2, 3]], [[-2, -2], [-2, -2, 3, -2, 3]]}
The number-, 65, internal vertex is, [[3, -2, -2, -2], [3, 3]],
and his sons are
{[[3, -2, -2, -2, 3], [3, 3]], [[3, -2, -2, -2, -2], [3, 3]]}
The number-, 66, internal vertex is, [[], [3]], and his sons are
{[[], [3, 3]], [[], [-2, 3]]}
The number-, 67, internal vertex is, [[3, -2, -2, -2], [3, -2, 3]],
and his sons are
{[[3, -2, -2, -2, 3], [3, -2, 3]], [[3, -2, -2, -2, -2], [3, -2, 3]]}
The number-, 68, internal vertex is, [[-2, -2, 3], [3, 3]], and his sons are
{[[-2, -2, 3, 3], [3, 3]], [[-2, -2, 3, -2], [3, 3]]}
The number-, 69, internal vertex is, [[-2, -2], [-2, -2, 3, -2, 3]],
and his sons are
{[[-2, -2], [3, -2, -2, 3, -2, 3]], [[-2, -2], [-2, -2, -2, 3, -2, 3]]}
The number-, 70, internal vertex is, [[3], [3, -2, -2, 3]], and his sons are
{[[3, 3], [3, -2, -2, 3]], [[3, -2], [3, -2, -2, 3]]}
The number-, 71, internal vertex is, [[3, -2, -2], [3, 3, -2, 3, -2]],
and his sons are
{[[3, -2, -2, -2], [3, 3, -2, 3, -2]], [[3, -2, -2, 3], [3, 3, -2, 3, -2]]}
The number-, 72, internal vertex is, [[], [3, -2, -2]], and his sons are
{[[], [-2, 3, -2, -2]], [[], [3, 3, -2, -2]]}
The number-, 73, internal vertex is, [[-2], [3, 3, -2]], and his sons are
{[[-2, 3], [3, 3, -2]], [[-2, -2], [3, 3, -2]]}
The number-, 74, internal vertex is, [[-2], [3, -2, -2, 3]], and his sons are
{[[-2], [-2, 3, -2, -2, 3]], [[-2], [3, 3, -2, -2, 3]]}
The number-, 75, internal vertex is, [[-2, 3], [3, 3, -2, 3]],
and his sons are
{[[-2, 3, -2], [3, 3, -2, 3]], [[-2, 3, 3], [3, 3, -2, 3]]}
The number-, 76, internal vertex is, [[], []], and his sons are
{[[], [3]], [[], [-2]]}
The number-, 77, internal vertex is, [[-2, 3, -2, -2, -2], [3, 3, -2]],
and his sons are
{[[-2, 3, -2, -2, -2, 3], [3, 3, -2]], [[-2, 3, -2, -2, -2, -2], [3, 3, -2]]}
The number-, 78, internal vertex is, [[-2], [-2, 3, -2, -2, 3]],
and his sons are
{[[-2], [-2, -2, 3, -2, -2, 3]], [[-2], [3, -2, 3, -2, -2, 3]]}
The number-, 79, internal vertex is, [[-2], [3, -2, 3]], and his sons are
{[[-2], [3, 3, -2, 3]], [[-2], [-2, 3, -2, 3]]}
The number-, 80, internal vertex is, [[-2, -2, 3, -2, -2], [3, 3]],
and his sons are
{[[-2, -2, 3, -2, -2, 3], [3, 3]], [[-2, -2, 3, -2, -2, -2], [3, 3]]}
This concludes the listing of the internal vertices and their sons.
There are , 81, leaves. Here there are,
each followed by his clone (empty or some internal vertex)
The number-, 1, leaf is, [[], [-2, 3, -2, -2, -2, 3]], and he is a clone of,
{}
The number-, 2, leaf is, [[3], [-2, 3, -2, 3, -2]], and he is a clone of, {}
The number-, 3, leaf is, [[], [3, 3, -2, -2, -2, 3]], and he is a clone of,
[[], [3]]
The number-, 4, leaf is, [[-2, -2, 3, -2, -2, -2, 3], [3, 3]],
and he is a clone of, {}
The number-, 5, leaf is, [[], [-2, 3, -2, -2, -2]], and he is a clone of, {}
The number-, 6, leaf is, [[-2, 3, 3], [3, 3, -2, 3]], and he is a clone of, {}
The number-, 7, leaf is, [[3, 3], [3, 3, -2]], and he is a clone of, {}
The number-, 8, leaf is, [[], [-2, -2, -2, 3, -2]], and he is a clone of, {}
The number-, 9, leaf is, [[-2, -2], [3, 3, -2, 3]], and he is a clone of,
[[], [3]]
The number-, 10, leaf is, [[], [3, -2, -2, 3, -2, 3, -2, -2]],
and he is a clone of, [[], [3, -2, -2]]
The number-, 11, leaf is, [[], [3, 3, -2, 3, -2, -2]], and he is a clone of,
[[], [3]]
The number-, 12, leaf is, [[3, -2, 3], [3, 3]], and he is a clone of, {}
The number-, 13, leaf is, [[-2, 3, 3], [3, 3]], and he is a clone of, {}
The number-, 14, leaf is, [[-2, 3, -2, 3], [3, 3]], and he is a clone of, {}
The number-, 15, leaf is, [[3, 3], [3, 3, -2, -2]], and he is a clone of, {}
The number-, 16, leaf is, [[-2, 3, -2, -2, 3], [3, 3, -2]],
and he is a clone of, {}
The number-, 17, leaf is, [[3, -2, -2, -2, -2], [3, -2, 3]],
and he is a clone of, [[], [3, -2, -2]]
The number-, 18, leaf is, [[], [-2, -2, -2, 3, -2, 3, -2, -2]],
and he is a clone of, {}
The number-, 19, leaf is, [[3, -2, -2, 3], [3, 3, -2, 3, -2]],
and he is a clone of, {}
The number-, 20, leaf is, [[3, -2, -2, -2, 3], [3, 3, -2, -2]],
and he is a clone of, {}
The number-, 21, leaf is, [[3, -2, 3], [3, 3, -2, 3, -2]],
and he is a clone of, {}
The number-, 22, leaf is, [[-2, 3, -2, -2, -2, -2], [3, 3, -2]],
and he is a clone of, [[], [3, -2, -2, -2]]
The number-, 23, leaf is, [[3, -2, 3], [3, 3, -2]], and he is a clone of, {}
The number-, 24, leaf is, [[3, -2, -2, 3], [3, 3]], and he is a clone of, {}
The number-, 25, leaf is, [[], [-2, -2, 3, -2, -2]], and he is a clone of, {}
The number-, 26, leaf is, [[-2, 3, -2, -2, -2, -2], [3, 3, -2, 3]],
and he is a clone of, [[], []]
The number-, 27, leaf is, [[-2], [3, 3, -2, -2, 3]], and he is a clone of,
[[], [3]]
The number-, 28, leaf is, [[3, -2, 3], [3, -2, 3]], and he is a clone of, {}
The number-, 29, leaf is, [[3, 3], [3, 3, -2, 3, -2]], and he is a clone of,
{}
The number-, 30, leaf is, [[3, -2, -2, -2, 3], [3, -2, 3]],
and he is a clone of, {}
The number-, 31, leaf is, [[3, -2, -2, -2, 3], [3, 3, -2, 3, -2]],
and he is a clone of, {}
The number-, 32, leaf is, [[-2], [3, 3, -2, 3, -2]], and he is a clone of,
[[], [3]]
The number-, 33, leaf is, [[3, -2, -2, 3], [3, 3, -2, -2]],
and he is a clone of, {}
The number-, 34, leaf is, [[-2, 3, 3], [3, 3, -2]], and he is a clone of, {}
The number-, 35, leaf is, [[-2], [3, -2, 3, -2, -2, 3]], and he is a clone of,
[[], [3, -2]]
The number-, 36, leaf is, [[-2, 3, -2, 3], [3, 3, -2, 3]],
and he is a clone of, {}
The number-, 37, leaf is, [[3, 3], [3, 3]], and he is a clone of, {}
The number-, 38, leaf is, [[-2, -2, 3, -2, -2, -2, -2], [3, 3]],
and he is a clone of, [[], [3, -2, -2, -2]]
The number-, 39, leaf is, [[-2, 3, -2, -2, -2, 3], [3, 3, -2, 3]],
and he is a clone of, {}
The number-, 40, leaf is, [[3, -2, -2, -2, -2], [3, 3]], and he is a clone of,
[[], [3, -2]]
The number-, 41, leaf is, [[3, -2, -2, -2, -2], [3, -2, -2, 3]],
and he is a clone of, [[], [3, -2, -2, -2]]
The number-, 42, leaf is, [[-2], [-2, -2, 3, -2, -2, 3]], and he is a clone of,
{}
The number-, 43, leaf is, [[], [3, -2, 3, -2, -2, 3, -2]],
and he is a clone of, [[], [3, -2]]
The number-, 44, leaf is, [[], [-2, -2, 3, -2, -2, 3, -2]],
and he is a clone of, {}
The number-, 45, leaf is, [[], [3, 3, -2, -2, -2]], and he is a clone of,
[[], []]
The number-, 46, leaf is, [[3, 3], [3, -2, 3]], and he is a clone of, {}
The number-, 47, leaf is, [[-2, -2], [3, 3, -2]], and he is a clone of,
[[], []]
The number-, 48, leaf is, [[], [-2, -2, -2, -2, 3]], and he is a clone of, {}
The number-, 49, leaf is, [[3, -2, -2, 3], [3, 3, -2]], and he is a clone of,
{}
The number-, 50, leaf is, [[-2], [3, -2, 3, -2, 3, -2]], and he is a clone of,
[[], [3, -2]]
The number-, 51, leaf is, [[-2, 3, -2, -2, -2, -2], [3, 3]],
and he is a clone of, [[], [3, -2, -2]]
The number-, 52, leaf is, [[-2, 3, -2, -2, -2, 3], [3, 3]],
and he is a clone of, {}
The number-, 53, leaf is, [[3, -2, -2, -2, -2], [3, 3, -2, -2]],
and he is a clone of, [[], [3, -2, -2, -2]]
The number-, 54, leaf is, [[3, -2, -2, 3], [3, -2, 3]], and he is a clone of,
{}
The number-, 55, leaf is, [[3, -2, -2, -2, 3], [3, 3, -2]],
and he is a clone of, {}
The number-, 56, leaf is, [[-2, 3, -2, -2, 3], [3, 3]], and he is a clone of,
{}
The number-, 57, leaf is, [[-2, 3, -2, 3], [3, 3, -2]], and he is a clone of,
{}
The number-, 58, leaf is, [[-2, -2, 3, -2, 3], [3, 3]], and he is a clone of,
{}
The number-, 59, leaf is, [[-2], [3, -2, -2, 3, -2, 3, -2]],
and he is a clone of, [[], [3, -2, -2]]
The number-, 60, leaf is, [[-2], [-2, -2, -2, 3, -2, 3, -2]],
and he is a clone of, {}
The number-, 61, leaf is, [[-2, 3], [-2, 3, -2, 3]], and he is a clone of, {}
The number-, 62, leaf is, [[], [-2, -2, -2, -2]], and he is a clone of, {}
The number-, 63, leaf is, [[3, -2, -2, -2, 3], [3, 3]], and he is a clone of,
{}
The number-, 64, leaf is, [[-2, -2, 3, -2, -2, 3], [3, 3]],
and he is a clone of, {}
The number-, 65, leaf is, [[-2, 3, -2, -2, 3], [3, 3, -2, 3]],
and he is a clone of, {}
The number-, 66, leaf is, [[-2, -2, -2], [3, 3]], and he is a clone of,
[[], []]
The number-, 67, leaf is, [[-2, -2, 3, 3], [3, 3]], and he is a clone of, {}
The number-, 68, leaf is, [[-2], [3, 3, -2, -2]], and he is a clone of,
[[], []]
The number-, 69, leaf is, [[-2, 3, -2, -2, -2, 3], [3, 3, -2]],
and he is a clone of, {}
The number-, 70, leaf is, [[-2, -2], [3, -2, 3, -2, 3]], and he is a clone of,
[[], [3, -2]]
The number-, 71, leaf is, [[3, 3], [3, -2, -2, 3]], and he is a clone of, {}
The number-, 72, leaf is, [[3, -2, 3], [3, 3, -2, -2]], and he is a clone of,
{}
The number-, 73, leaf is, [[3, -2, -2, -2, -2], [3, 3, -2, 3, -2]],
and he is a clone of, [[], []]
The number-, 74, leaf is, [[3, -2, -2, 3], [3, -2, -2, 3]],
and he is a clone of, {}
The number-, 75, leaf is, [[], [3, 3, -2, -2, 3, -2]], and he is a clone of,
[[], [3]]
The number-, 76, leaf is, [[3, -2, -2, -2, 3], [3, -2, -2, 3]],
and he is a clone of, {}
The number-, 77, leaf is, [[], [3, -2, 3, -2, 3, -2, -2]],
and he is a clone of, [[], [3, -2]]
The number-, 78, leaf is, [[3, -2, 3], [3, -2, -2, 3]], and he is a clone of,
{}
The number-, 79, leaf is, [[-2, -2], [3, -2, -2, 3, -2, 3]],
and he is a clone of, [[], [3, -2, -2]]
The number-, 80, leaf is, [[-2, -2], [-2, -2, -2, 3, -2, 3]],
and he is a clone of, {}
The number-, 81, leaf is, [[3, -2, -2, -2, -2], [3, 3, -2]],
and he is a clone of, [[], [3, -2, -2]]
This concludes the family-tree part of the grammar
in other words, those internal vertices [V1,V2] that
have the property that V1V2 belogs to our language
There are, 7, of these guys, here they are:
{[[], []], [[], [3, -2, -2, 3, -2]], [[], [-2, 3, -2, 3, -2]],
[[-2], [3, -2, -2, 3]], [[], [3, -2, -2, -2, 3]], [[-2], [-2, 3, -2, 3]],
[[], [3, -2, 3, -2, -2]]}
This concludes the description of the linear grammar of our language.
Tam ve-nishlam, sevakh le-el bore olam.
This grammar is , true
1
The weight-enumerator for Loehr-Warrington words is, - ----------
5
-1 + 10 x
The whole thing took, 30.123, second.