/* Rudimentary structure file for CS-TR-80-785. */
VERSION: 0
001, COVER
002, BLANK_PAGE
003, TITLE_PAGE
004, BLANK_PAGE
005, CONTENTS, 1
006 ... 056,, 2 ... 52