Conversor de saída de programa para HTML
