../ convert.pdf 02-Nov-2025 07:25 162144 convert.tex 02-Nov-2025 07:25 16836 crest.svg 02-Nov-2025 07:25 717130 extreme-old.svg 02-Nov-2025 07:25 79329 extreme.svg 02-Nov-2025 07:25 86266 optim.pdf 02-Nov-2025 07:25 593483 optim.typ 02-Nov-2025 07:25 23573 sep-hyper.svg 02-Nov-2025 07:25 94507