../ FontLog.txt 17-Mar-2025 19:31 6461 OFL-FAQ.txt 17-Mar-2025 19:31 43780 OFL.txt 17-Mar-2025 19:31 4701 heuristica-doc.pdf 17-Mar-2025 19:31 203162 heuristica-doc.tex 17-Mar-2025 19:31 5516