Files available for download:

A collaboration with Eye Lipson.