3 problems

Lower-bound conjecture. The order of $C$ satisfies

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…

Classification conjecture. The loops $Q(A)$ and $Q(B)$ are isomorphic if and only if $A$ and $B$ are of the same type.