Guarnieri–Vendramin's quaternion-brace counting conjecture

Let $m\geq 3$, and let $q(4m)$ denote the number of braces $B$ whose multiplicative group $(B,\circ)$ is a generalised quaternion group of order $4m$. Guarnieri–Vendramin's conjecture.

$$q(4m)=\begin{cases} 2 & \text{if }m\text{ is odd},\\ 7 & \text{if }m\equiv 0\pmod{8},\\ 9 & \text{if }m\equiv 4\pmod{8},\\ 6 & \text{if }m\equiv 2\pmod{8}\text{ or }m\equiv 6\pmod{8}. \end{cases}$$

This conjecture gives the number of braces with a prescribed generalised quaternion multiplicative group. It has recently been proved by Crespo, Gil-Muñoz, Rio and Vela, so the claim is solved.