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