All files in the reports directory are compressed. Use unix uncompress to restore them. The mail address tech-reports@cs.columbia.edu is available for ordering technical reports on an experimental basis. Please send problems or comments to tech-reports@cs.columbia.edu