Usando o ângulo de mistura fraca efetivo como um parâmetro de entrada na SMEFT | Synapse