Compressão de modelo pré-treinado usando o Algoritmo de Otimização BAT para classificação de imagens de Covid-19 com XAI | Synapse