read `THS.txt`:

N:=12:
S:={1,2,3}:

print(`The first`, N, `terms of the sequence of generating functions according to the statistic SumOfHeights defined on trees where`):
print(`every vertex is either a leaf or else must have a number of vertices in the set`, S, `done from first-principle is`):
gu:=PnAseq(N,S,y):
print(``):
print(gu):
print(``):
print(`and in Maple notation`):
print(``):
lprint(gu):
print(``):
quit: