Two Maxima-based scripts for computing graph sizes.
A prototype filter for Moore graphs.