Instructions for program

This document specifies how the program should be constructed, what it
should do, and what the output should look like.