read `CTcong.txt`:

print(`---------------------------------`):
print(`---------------------------------`):
print(`These theorems are for the partial sums of the Central Binomial Coefficients`):
print(`for the sum from 0 to r*p-1, for f from 1 to 10`):

for r from 1 to 10 do
print(``):
print(`---------------------------------`):
print(``):
 TheoQP(1/x+2+x,1,x,p,r,0):
od:

print(`---------------------------------`):
print(`---------------------------------`):





print(`These theorems are for the partial sums of the Catalan Numbers`):
print(`for the sum from 0 to r*p-1, for f from 1 to 10`):


for r from 1 to 10 do
print(``):
print(`---------------------------------`):
print(``):
 TheoQP(1/x+2+x,1-x,x,p,r,0):
od:

print(`---------------------------------`):
print(`---------------------------------`):


print(`These theorems are for the partial sums of the Motzkin Numbers`):
print(`for the sum from 0 to r*p-1, for f from 1 to 10`):

for r from 1 to 10 do
print(``):
print(`---------------------------------`):
print(``):
 TheoQP(1/x+1+x,1-x^2,x,p,r,0):
od:



print(`---------------------------------`):
print(`---------------------------------`):
print(`These theorems are for the partial sums of the Central Pentagonal Coefficients`):
print(`for the sum from 0 to r*p-1, for f from 1 to 10`):

for r from 1 to 10 do
print(``):
print(`---------------------------------`):
print(``):
 TheoQP(1/x^2+1/x+1+x+x^2,1,x,p,r,1):
od:

print(`---------------------------------`):
print(`---------------------------------`):

print(`The whole thing took`, time(), `seconds. `):




quit: