By Yukun Yao and Doron Zeilberger
NOTE: THIS PROJECT HAS BEEN INCORPORATED AS PART OF THIS ARTICLE IT IS LEFT HERE FOR HISTORICAL REASONS.
First Written: Nov. 15, 2018 .
the input file generates the output file.
the input file generates the output file.
the input file generates the output file.
Note that the generating functions for n ≤ 6 have been previously computed by Paul Raff and Faase, but m=7 seems to be new. Suprisingly, the degree of the denominator is 48, rather than 64 (until m=6 the degree is 2m-1)