Paper 9:  When is projectivity detected on subalgebras?
          by Jon F. Carlson

The code for this paper takes around 21 seconds to run on a
64-bit 2.6GHz AMD processor.

Note: The final example depends on the random choices made, so the
      results of calling IsProjective may not match those shown in
      the paper.