La especificación da los siguientes valores: