abstract = "We attempt to predict the number of programs in a
finite program space that meet a specification. The
utility of being able to predict this is to provide a
quantifiable measurement to how difficult a very
specific search problem over program space is.",