t@&&tdVqEEY6@tiitnqtEx2 infimum supremumpctQP