Finished Euclid section. Added Five-state busy beaver example.