read `SuperCongruence.txt`:


MaxDen:=9:
Maxm:=10:
Maxr:=10;

print(`This file checks Theorem 3.3 of the paper "Polynomial Reduction and Super Congruences" by Qing-Hu Hou, Yan-Pong Mu, and Doron Zeilberger`):
print(`For various alpha, r and m`):
for i from 2 to MaxDen do
for j from 1 to i-1 do
 alpha:=j/i:
print(`alpha is `, alpha):
for r from 1 to Maxr do
 print(`r is `, r):

 for m from 1 to Maxm do

  print(`m is `, m):

 print(`The output is`):
   print(Check33(k,alpha,r,m,40)):
od:
od:
od:
od:

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