© 2025 Instituto de Ciências Matemáticas e de Computação