MAC0499 - Provadores de Teoremas baseados em contagem