read `SuperCongruence.txt`:



NuP:=30:
Maxm:=21:
Maxd:=60:

print(`This file checks Theorem 3.4 of the paper "Polynomial Reduction and Super Congruences" by Qing-Hu Hou, Yan-Pong Mu, and Doron Zeilberger`):
print(`for odd m up to`, Maxm ):
print(`and for all primes from 5 to `, ithprime(3+NuP)):
print(`It also gives the values of the integers am, cm promised there. `):
print(``):





for m from 1 by 2 to Maxm do
print(`m is`, m):
print(``):
print(`[am,cm]=`, Check34(m,NuP, Maxd)):
print(``):

od:


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

quit: