These are the files used in the proof of Statement 2 of
Theorem 7 -- the dimension bound.  They are Mathematica
files.
