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.