Salida de fórmulas de comprobación de diseño