../ README 26-Jul-2025 19:34 638 hobby.pdf 26-Jul-2025 19:34 506510 hobby.tex 26-Jul-2025 19:34 43450 hobby_code.dtx 26-Jul-2025 19:34 114651 hobby_code.pdf 26-Jul-2025 19:34 514679