Changed from workspace format to dump format for greater readability and portability