../ README 24-Oct-2025 19:33 638 hobby.pdf 24-Oct-2025 19:33 506510 hobby.tex 24-Oct-2025 19:33 43450 hobby_code.dtx 24-Oct-2025 19:33 114651 hobby_code.pdf 24-Oct-2025 19:33 514679