Many special cases of the proven results listed in Table 1 were first
obtained using the experimental method presented in sections 2
through 4. In addition, we have obtained a number of experimental
results for which formal proofs have not yet been found. Tables 2
and 3 list some of these experimental identities. Others can be found
in [4].