The enumeration of right Bol loops of order $3p$ up to isotopism

Let $p>3$ be a prime, and consider right Bol loops of order $3p$, with two such loops identified when they are isotopic. Enumeration claim. The number of right Bol loops of order $3p$ up to isotopism is

$$\left\lfloor \frac{p+5}{6}\right\rfloor+1.$$

This gives an explicit enumeration of these loops for every prime $p>3$. The source provides no resolution evidence beyond the asserted statement.