#Input file for the Cosmological Theorem
#Save as inCosmo, then assuming that you have HORTON
#in your directory (and Maple on your computer) do
#nice maple -q<inCosmo>oCosmo
#After about a week or two you would get the output file oCosmo
#that can also be obtained from Zeilberger's website

read HORTON:

Cosmo(8);

quit: