hat4-starts.txt

hat4.c

hat41.txt

hat42.txt

hat43.txt

hat44.txt