License granted by Mike Munz (munzm@u.washington.edu) on 2009-12-23T17:22:45Z (GMT):

These files have been submitted for Branko Grünbaum and Steven Gillispie.