../ convert.pdf 08-May-2025 08:45 162144 convert.tex 08-May-2025 08:45 16836 crest.svg 08-May-2025 05:27 717130 extreme-old.svg 08-May-2025 10:51 79329 extreme.svg 08-May-2025 11:20 86266 optim.pdf 09-May-2025 12:49 593483 optim.typ 09-May-2025 12:49 23573 sep-hyper.svg 08-May-2025 11:06 94507