Reduções de valores de programações sujeitas à disponibilidade de fontes