deleted:    1-12.scm~
	deleted:    1-13.scm~
	deleted:    1-15.scm~
	deleted:    1-16.scm~
	deleted:    1-20.scm~