These are example programs included with SUMMON.  The file extensions have been
changed from .py to .pytxt to make our webserver happy (viewing *.py files 
is forbidden normally).