The event files in this directory were generated by our Fortran
verification condition generator.  The algorithms, specifications, and
invariants are included at the end of the events files.  isqrt is a
Newton-style integer square root algorithm.  mjrty is our majority
vote algorithm.  fsrch is a version of our fast string algorithm.

  Boyer and Moore