../ convert.pdf 04-Aug-2025 06:15 162144 convert.tex 04-Aug-2025 06:15 16836 crest.svg 04-Aug-2025 06:15 717130 extreme-old.svg 04-Aug-2025 06:15 79329 extreme.svg 04-Aug-2025 06:15 86266 optim.pdf 04-Aug-2025 06:15 593483 optim.typ 04-Aug-2025 06:15 23573 sep-hyper.svg 04-Aug-2025 06:15 94507