read `AreaBounce.txt`:

N:=30:

print(`The Area-Bounce theorem for n from 1 to`, N,  ` (assuming Haglund's proved theorem 4.3), is `):
print(``):
print([seq(CheckSymF(i),i=1..N)]):

print(``):
print(`--------------------------------`):
print(``):
print(`This took`, time(), `seconds . `):
print(``):
quit: