../ emoji.opm 05-Jul-2025 19:34 1950 math.opm 05-Jul-2025 19:34 57393 minim-mp.opm 05-Jul-2025 19:34 327 minim-pdf.opm 05-Jul-2025 19:34 3198 minim.opm 05-Jul-2025 19:34 7555 mte.opm 05-Jul-2025 19:34 22056 plain-at.opm 05-Jul-2025 19:34 1282 qrcode.opm 05-Jul-2025 19:34 85123 tikz.opm 05-Jul-2025 19:34 5290 vlna.opm 05-Jul-2025 19:34 7543