\section{Introduction}
In this paper, all the fusion categories are assumed to be over the complex field. The notion of integral modular fusion category was highly studied, see the list of references at the beginning of \cite{CzPl}. In \cite{BrRo} they are classified up to rank $6$ (all pointed) where the notion of Egyptian fraction is the key. The idea making possible the classification up to rank $11$ in the present paper is the fact that (as we will explain in the next paragraph) we only need to consider Egyptian fractions \emph{with squared denominators}, which is combinatorially much more retrictive. To get an idea, just for a sum equal to $1$, the number of Egyptian fractions of length $n=1,2,..., 8$ is $1, 1, 3, 14, 147, 3462, 294314, 159330691$, respectively (see \cite{A002966}), whereas with squared denominators, the number is just $1, 0, 0, 1, 0, 1, 1, 4$, respectively (see \cite{A348625}).

The notion of fusion ring and basics results are recalled in \S \ref{sub:Fu}, where we refer to \cite[Chapter 3]{EGNO}. As introduced in \cite{ENO21}, a fusion ring $\mathcal{F}$ is called \emph{s-Frobenius} if for every basis element $b$ then $\mathrm{FPdim}(\mathcal{F})^s / \mathrm{FPdim}(b)$ is an algebraic integer. By \cite[Proposition 8.14.6]{EGNO}, the Grothendieck ring of a modular fusion category is $\frac{1}{2}$-Frobenius. Let $\mathcal{F}$ be a $\frac{1}{2}$-Frobenius integral fusion ring of basis $\{b_1, \dots, b_r \}$, $\mathrm{FPdim} \ D$ and type $[d_1, \dots, d_r]$, with $1=d_1 \le d_2 \le \cdots \le d_r$ and $d_i = \mathrm{FPdim}(b_i)$. By assumption, $d_i^2$ divides $D$, for all $i$. Now there is a unique square-free positive integer $q$ such that $D = qs^2$. Thus $d_i$ divides $s$, for all $i$. Let $s_i$ be the positive integer $s/d_i$, recall that $D = \sum_{i=1}^r d_i^2$, so we get the following Egyptian fraction with squared denominators:
$$ q = \sum_{i=1}^r \frac{1}{s_i^2}.$$
All such Egyptian fractions were classified up to $r=13$ using SageMath \cite{sage}, see \S \ref{sec:Egy} where we will see how to reduce to $q \le r/2$. Note that $s_1 = s$, so that $d_i = s_1 / s_i$, and we can assume that $s_i$ divides $s_1$, for all $i$. Then as detailed in \S \ref{sec:Egy}, up to rank $11$, we are reduced to consider $216$ types (and $9025$ ones up to rank $13$).

The next step is to apply some criteria for a type to come from a fusion ring, as explained in \S \ref{sec:crit}. These criteria are proved using elementary number theory, mainly modular arithmetic. They exclude about $35\%$ of the types up to rank $13$. For the remaining types, we apply our fusion ring solver, see \S \ref{sec:Fu}; the idea is to solve the dimension equations $$d_i d_j = \sum_k N_{i,j}^k d_k,$$ which are positive linear Diophantine equations, using Normaliz \cite{Norma}, after reducing the number of variables using the unit axiom of a fusion data $(N_{i,j}^k)$ and the Frobenius reciprocity, see \ref{sub:Fu}; together with exploiting as efficiently as possible the associativity equations (non-linear) during the solving of above linear equations. This step provides a classification of all the $\frac{1}{2}$-Frobenius integral fusion rings up to rank $11$, there are exactly $1527$ ones (from $43$ types), and prove that there is no (non-trivial) perfect one up to rank $12$, see \S \ref{sec:Half}.

Now, we want to classify all the possible modular data associated to these fusion rings. The definition of modular data we use (see \S \ref{sub:MD}) is contrained by the main properties of a modular fusion category, in fact a pseudounitary one, because this paper focuses on the integral case, see \cite{EGNO}. We only need to consider the commutative fusion rings because a modular fusion category is braided, so has a commutative Grothendieck ring (note that our classification also contains $55$ noncommutative fusion rings, see \S \ref{sec:Half}). Let us first consider the $S$-matrices: from a given commutative fusion ring, consider its eigentable (see \ref{sub:Fu}) as a matrix, and keep only the ones with cyclotomic entries (such fusion ring can be called \emph{cyclotomic}). Then, make the appropriate renormalization and permutations to get a self-transpose matrix, see \S \ref{sub:FuToMD}; when it is  possible, the fusion ring can be called \emph{self-transposable}, otherwise it can be excluded. We deduce that there are exactly $44$ cyclotomic $\frac{1}{2}$-Frobenius integral self-transposable fusion rings up to rank $11$ (from $21$ types), i.e. less than $3\%$ of the $1527$ ones in the previous step. Now about the $T$-matrices: for the remaining fusion rings $\mathcal{R}$, we solve the Anderson-Moore-Vafa equations (see \S \ref{sub:MD}) on the finite ring $\mathbb{Z}/m\mathbb{Z}$, where $m$ is the biggest integer dividing $\mathrm{FPdim}(\mathcal{R})^{5/2}$, and we keep only the $S$- and $T$-matrices satifying all the assumptions of Definition \ref{def:MD}. We end up with $19+44$ modular data, from $5+15$ fusion rings and $3+11$ types (non-pointed + pointed).

\begin{remark} \label{rem:pointedMD}
The pointed modular fusion categories are well-known to be given by a metric group $(G,q)$, i.e. a finite abelian group $G$ together with a non-degenerate quadratic form $q: G \to \mathbb{C}^*$, see \cite[Section 8.4]{EGNO}, given by the $T$-matrix.
\end{remark}

The following theorem is just a summary of \S \ref{sec:modata} where we will mention (in the non-pointed case) all the modular data (MD): $S$- and $T$-matrices, but also central charge, fusion data, 2nd Frobenius-Schur indicators (but just the $T$-matrices in the pointed case).

\begin{theorem} \label{thm:main}
There are $19$ MD of non-pointed integral modular fusion categories up to rank $11$, given by:
\begin{itemize}
\item Rank $8$, $\mathrm{FPdim} \ 36$, type $[1, 1, 2, 2, 2, 2, 3, 3]$:
	\begin{itemize}
	\item $6$ MD with central charge $c=0$ from $\mathcal{Z}(\mathrm{Vec}_{S_3}^{\omega})$, see \cite{GrMo},
	\item $2$ MD with $c=4$ from $(C_3^2 + 0)^{C_2}$, see \cite[point (b) on page 983]{GeNaNi}.
	\end{itemize}
\item Rank $10$, $\mathrm{FPdim} \ 36$, type $[1, 1, 1, 2, 2, 2, 2, 2, 2, 3]$:
	\begin{itemize}
	\item  $3$ MD with $c=4$ from $SU(3)_3$, its complex conjugate and a zesting, see \cite[\S 6.3.1]{DeGaPlRoZh}.
	\end{itemize}
\item Rank $11$, $\mathrm{FPdim} \ 32$, type $[1,1,1,1,2,2,2,2,2,2,2]$
	\begin{itemize}
	\item $8$ MD with $c=\pm 1$ from $SO(8)_2$, conjugates and zestings, see \S \ref{sub:zes}.
	\end{itemize}
\end{itemize}
There are $44$ MD of pointed modular fusion categories up to rank $11$; here are their number per group $G$:
$$\begin{array}{c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c}
G & C_1 & C_2 & C_3 & C_2^2 & C_4 & C_5 & C_6 & C_7 & C_2^3 & C_2 \times C_4 & C_8 & C_3^2 & C_9 & C_{10} & C_{11} \\ \hline
\# \text{MD} & 1 & 2 & 2 & 5& 4 & 2 & 4 & 2 & 4 & 4 & 4 & 2 & 2 & 4 & 2
\end{array}$$
There is no other integral modular data up to rank $11$ (i.e. all categorifiable as above).
\end{theorem}

\begin{question} \label{qu:MDcat}
Is there a modular data without categorification?
\end{question}

Motivated by \cite[Question 2]{ENO11}, it is proven in \cite{LPRinter} that every simple integral fusion category is weakly group-theoretical if and only if every simple integral modular fusion category is pointed. We prove the following result:
\begin{theorem} \label{thm:simple12}
Every simple integral modular fusion category up to rank $12$ is pointed.
\end{theorem}
Thanks to \cite[Corollary 6.16]{nik}, Theorem \ref{thm:simple12} is a corollary of the following fusion ring result.
\begin{theorem} \label{thm:perfectnoprimepower12}
Every perfect integral $\frac{1}{2}$-Frobenius fusion ring up to rank $12$, without (non-trivial) basis element of prime-power $\mathrm{FPdim}$, is trivial.
\end{theorem}
The following result generalizes Theorem \ref{thm:perfectnoprimepower12}, but is a bit harder to check.
\begin{theorem} \label{thm:perfect12}
Every perfect integral $\frac{1}{2}$-Frobenius fusion ring up to rank $12$ is trivial.
\end{theorem}
Observe that the proof up to rank $9$ is immediate from the list in \S \ref{sub:types} and the Nichols-Richmond theorem extended to the fusion ring, see the proof of \cite[Theorem 3.4]{DoNaVe}, because there is always a non-trivial basis element of $\mathrm{FPdim} \le 2$. Now the proof for the remaining ranks requires the use of type criteria (see \S \ref{sec:crit}) and fusion ring solver (see \S \ref{sec:Fu}).

We are led to the following questions:
\begin{question}
Is there a non-pointed simple integral $\frac{1}{2}$-Frobenius fusion ring?
\end{question}

Note that there is a perfect integral $\frac{1}{2}$-Frobenius fusion ring/category at rank $2913$ and $\mathrm{FPdim} = 2^6 3^5 5^4$, coming from a perfect extension of $A_5$, see \cite{Cra}, but with basis elements of prime-power $\mathrm{FPdim}$. Now the same construction from some other simple groups should avoid prime-power $\mathrm{FPdim}$ too (see an eventual answer at \cite{PalMXE}).

\begin{question}
Is there a non-pointed simple integral modular fusion category?
\end{question}

Note that there is a perfect integral modular fusion category of $\mathrm{FPdim} =  |M_{24}|^2 =  2^{20} 3^6 5^2 7^2 11^2 23^2$ as the Drinfeld center of the representation category of the bicrossed product Hopf algebra of an exact factorization of the finite simple group $M_{24}$, see \cite{EGGS}.

\begin{ac} Thanks to Sebastian Burciu, Eric Rowell and Yilong Wang for their stimulating interest on this work and useful discussions. The third author is supported by BIMSA Start-up Research Fund and Foreign Youth Talent Program from the Ministry of Sciences and Technology of China.
\end{ac}

\noindent \textbf{Availability of data and materials.} Data for the computations in this paper are available on reasonable request from the authors. The softwares used for the computations can be downloaded from the URLs listed in the references.

\tableofcontents

\section{Fusion data and modular data}

In this section, we recall the notions of fusion data and modular data, and the basic results. We refer to \cite{EGNO}.

\subsection{Fusion data} \label{sub:Fu}

The notion of fusion data slightly augments the notion of finite group.

\begin{definition} \label{def:fu}
A \emph{fusion data} is a finite set $\{1,2,...,r\}$ with an involution $i \to i^*$, and nonnegative integers $N_{i,j}^k$ such that for all $i,j,k,t$:
\begin{itemize}
\item (Associativity) $\sum_s N_{i,j}^s N_{s,k}^t = \sum_s N_{j,k}^s N_{i,s}^t$,
\item (Unit) $N_{1,i}^j = N_{i,1}^j = \delta_{i,j}$,
\item (Dual) $N_{i^*,j}^{1} = N_{j,i^*}^{1} = \delta_{i,j}$
\end{itemize}
The fusion data can be denoted just as $(N_{i,j}^k)$.
\end{definition}

Observe that $1^* = 1$. The following result can be deduced from Definition \ref{def:fu}, see \cite[Proposition 3.1.6]{EGNO}.
\begin{proposition}[Frobenius reciprocity] \label{prop:FrobRec}
For all $i,j,k$, then $N_{i,j}^k = N_{i^*,k}^j = N_{k,j^*}^i.$
\end{proposition}

A \emph{fusion ring} $\mathcal{R}$ is a free $\mathbb{Z}$-module together with a finite basis $\mathcal{B}=\{b_1, \dots, b_r\}$ and a fusion product defined by $$ b_i b_j = \sum_k N_{i,j}^k b_k, $$ where $(N_{i,j}^k)$ is a fusion data, and a $*$-structure defined by $b_i^* := b_{i^*}$, such that $(b_i b_j)^* = b_j^* b_i^*$. Then the three axioms for a fusion data reformulate as follows. For all $i,j,k$,
\begin{itemize}
\item  $(b_i b_j)b_k = b_i(b_j b_k)$,
\item  $b_1 b_i = b_i b_1 = b_i$,
\item  $\tau(b_i b_j^*) = \delta_{i,j}$,
\end{itemize}
with $\tau(x)$ the coefficient of $b_1$ in the decomposition of $x \in \mathcal{R}$. It follows that $\mathcal{R}_{\mathbb{C}}:=\mathcal{R} \otimes_{\mathbb{Z}} \mathbb{C}$ has a structure of finite dimensional unital $*$-algebra, where $\tau$ extends linearly as a trace (i.e. $\tau(xy) = \tau(yx)$), and define an inner product as $\langle x,y \rangle := \tau(xy^*)$. Note that $\langle x,b_i \rangle$ is the coefficient of $b_i$ in the decomposition of $x$.

\begin{theorem}[Frobenius-Perron theorem] \label{thm:FrobPer}
Let $\mathcal{R}$ be a fusion ring with basis $\mathcal{B}$, and let $\mathcal{R}_{\mathbb{C}}$ be the finite dimensional unital $*$-algebra defined as above. There is a unique $*$-homomorphism $d:\mathcal{R}_{\mathbb{C}} \to \mathbb{C}$ such that $d(\mathcal{B}) \subset \mathbb{R}_{>0}$.
\end{theorem}

The number $d(b_i)$ is called the \emph{Frobenius-Perron dimension} of $b_i$, noted $\mathrm{FPdim}(b_i)$ or just $d_i$, whereas $\sum_i d_i^2$ is called the Frobenius-Perron dimension of $\mathcal{R}$, noted $\mathrm{FPdim}(\mathcal{R})$. The list $[d_1, d_2, \dots , d_r]$ is called the \emph{type} of $\mathcal{R}$.

The fusion ring $\mathcal{R}$ is called:
\begin{itemize}
\item \emph{Frobenius} (or $1$-Frobenius, or of Frobenius type) if $\frac{\mathrm{FPdim}(\mathcal{R})}{\mathrm{FPdim}(b_i)}$ is an algebraic integer, for all $i$,
\item \emph{integral} if the number $\mathrm{FPdim}(b_i)$ is an integer, for all $i$,
\item \emph{commutative} if $b_i b_j = b_j  b_i$, for all $i,j$, i.e. $N_{i,j}^k = N_{j,i}^k$.
\end{itemize}

The \emph{multiplicity} of $\mathcal{R}$ is $\max_{i,j,k}(N_{i,j}^k)$, and its \emph{rank} is $r$, the cardinal of the basis.

\begin{remark} \label{rem:mat} The fusion data provides a representation of its fusion ring as follows. Consider the matrices $M_i = (N_{i,j}^k)_{k,j}$, then by the Associativity axiom in Definition  \ref{def:fu}, we can prove that $M_i M_j = \sum_k N_{i,j}^k M_k$. Moreover, $M_1$ is the identity matrix, and by Frobenius reciprocity, the matrix adjoint $M_i^*$ is $M_{i^*}$. Finally, by Frobenius-Perron theorem, the operator norm $ \Vert M_i \Vert$ is equal to $\mathrm{FPdim}(b_i)$.
\end{remark}

\begin{remark} The notion of fusion data is just a combinatorial reformulation of the notion of fusion ring, so all the attributes qualifying a fusion ring can be used to qualify a fusion data.
\end{remark}

\begin{lemma} \label{lem:dim1}
Let $M \in M_n(\mathbb{Z}_{\ge 0})$. Then $M$ is a permutation matrix if and only if $\Vert M \Vert = 1$.
\end{lemma}
\begin{proof}
Let $\{e_1, \dots, e_n\}$ be an orthonornal basis for which the matrix $M$ has non-negative integer entries. If $M$ is not a permutation matrix then one of the following holds:
\begin{itemize}
\item[(1)] $\exists i,j,k$ with $j \neq k$ such that $\langle Me_i , e_j \rangle, \langle Me_i , e_k \rangle \neq 0$,
\item[(2)] $\exists i,j,k$ with $i \neq j$ such that $Me_i = Me_j = e_k$,
\end{itemize}
but (1) implies that $\Vert Me_i \Vert/\Vert e_i \Vert \ge \sqrt{2}$, whereas (2) implies that $\Vert M(e_i+e_j) \Vert/\Vert e_i+e_j \Vert = \sqrt{2}$. Both cases implies that $\Vert M \Vert >1$. Next, if $M$ is a permutation matrix then trivially $\Vert M \Vert=1$.
\end{proof}

\begin{corollary} \label{cor:dim1}
Let $x,y$ be two basis elements of a fusion ring such that $\mathrm{FPdim}(x)=1$. Then $xy$ and $yx$ are basis elements and $\mathrm{FPdim}(xy)=\mathrm{FPdim}(yx)=\mathrm{FPdim}(y)$.
\end{corollary}
\begin{proof}
Immediate from Remark \ref{rem:mat}, Lemma \ref{lem:dim1} and the fact that $\mathrm{FPdim}$ is a ring homomorphism.
\end{proof}

\subsection{Modular data} \label{sub:MD}

Roughly speaking, a modular data is a fusion data with two matrices $S$ and $T$ generating a representation of the modular group $\mathrm{SL}(2,\mathbb{Z})$. More precisely, following \cite[Theoren 1.2]{NRWW} and \cite[\S 8.18]{EGNO}:
\begin{definition} \label{def:MD}
Let $\mathcal{R}$ be a fusion ring of rank $r$, type $[d_1, \dots, d_r]$ and fusion data $(N_{i,j}^k)$. Let $D:=\sqrt{\mathrm{FPdim}(\mathcal{R})}$ and $\zeta_n := \exp(2i\pi/n)$. A (pseudounitary) \emph{modular data} on $\mathcal{R}$ is given by two matrices $S,T \in M_r(\mathbb{C})$ such that:
\begin{itemize}
\item $S,T$ are symmetric matrices, $T$ is unitary, diagonal, $T_{1,1}=1$, $S_{1,i}=d_i$ and $S S^* = D^2 \id$.
\item  Verlinde formula:  $N_{i,j}^k = \frac{1}{D^2}\sum_l \frac{S_{li} S_{lj} \overline{S_{lk}}}{d_l}$.
\item Central charge: let $\theta_i := T_{i,i}$ and $p_\pm := \sum_{i=1}^{r} d_i^2 (\theta_i)^{\pm 1}$. Then
$p_+/p_-$ is a root of unity, and $p_+=D\zeta_8^c$ for some rational number $c$, called the \textbf{central charge}, only defined modulo $8$.
\item Projective representation of $\mathrm{SL}(2,\mathbb{Z})$: $(ST)^3 = p_+ S^2$, $\frac{S^2}{D^2} =C$, $C^2 =\id,$ where $C$ is the permutation matrix for the involution $i \to i^*$, satisfying $\mathrm{Tr}(C) > 0$.
\item Cauchy theorem: the set of distinct prime factors of $\mathrm{ord}(T)$ coincides with the distinct prime factors of $\mathrm{norm}(D^2)$, where $\mathrm{norm}(x)$ is the product of the distinct Galois conjugates of the algebraic number $x$.
\item Cyclotomic integers: for all $i,j$ the numbers $S_{i,j}$,  $S_{i,j}/d_j$ and $T_{i,i}$ are cyclotomic integers. Moreover, the conductor of $S_{i,j}$ divides $\mathrm{ord}(T)$, and there is $j$ such that $S_{i,j}/d_j \in \mathbb{R}_{\ge 1}$, for all $i$.
\item  Frobenius-Schur indicators: for all $i$ and for all $n \ge 1$, the number $\nu_n(i):= \sum_{j,k} N_{j,k}^i (d_j\theta_j^n) \overline{(d_k\theta_k^n)}$ is a cyclotomic integer whose conductor divides $n$ and $\mathrm{ord}(T)$. Moreover, $\nu_1(i)=\delta_{i,1}$  and $\nu_2(i)=\pm \delta_{i,i^*}$.
\item Anderson-Moore-Vafa equations: $T_{i,i} = \zeta^{v_i}_m$, with $0 \le v_i < m$ and $m$ the biggest integer dividing $D^5$. Let $t_i$ be $v_i \mod m$. For all $i,j,k,l$,  the following equation holds on $\mathbb{Z}/m\mathbb{Z}$, involving its structure of $\mathbb{Z}$-module:
$$\left(\sum_{p=1}^r N_{i,j}^p N_{p,k}^l \right) (t_i + t_j + t_k + t_l) = \sum_{p=1}^r \left(N_{i,j}^p N_{p,k}^l + N_{i,k}^p N_{j,p}^l + N_{j,k}^p N_{i,p}^l \right) t_p.$$
Let $s_i:=f(v_i/m)$ be the \textbf{topological spin} of the i-th basis element, with $f(x) = x \delta_{x \le \frac{1}{2}} + (1-x)\delta_{x > \frac{1}{2}}$.
\end{itemize}
\end{definition}
We wonder about the redundancy in Definition \ref{sub:MD}, in particular, whether the Anderson-Moore-Vafa equations can be deduced from the other assumptions.
\begin{remark} \label{rem:CoHalf}
Verlinde formula and the results in \cite[Section 2]{LPRinter} implies that the fusion ring $\mathcal{R}$ is commutative, and together with $S$ symmetric and $SS^* = \mathrm{FPdim}(\mathcal{R})\id$, we can deduce that $\mathcal{R}$ is self-transposable (in the sense of \S \ref{subsub:Smat}). Finally, by the proof of \cite[Proposition 8.14.6]{EGNO}, $\mathcal{R}$ is also $\frac{1}{2}$-Frobenius.
\end{remark}

Note that this paper focuses on integral fusion categories, so $D^2$ is an integer and $\mathrm{norm}(D^2) = D^2$. Moreover such a category is pseudounitary, so spherical, so pivotal (see \cite{EGNO}). In a non-pseudounitary setting, Definition \ref{def:MD} should be modified (as in \cite[Theoren 1.2]{NRWW}) because the equality $S_{1,i} = \mathrm{FPdim}(b_i)$ may not hold.

Note that such a definition of modular data is so strong that we do not even know one without categorification (yet), which leads us to Question \ref{qu:MDcat}.

\subsection{From fusion data to modular data} \label{sub:FuToMD}
This subsection is dedicated to explain how to classify all the possible modular data (if any) associated to a fusion data. First of all, the fusion data can be assumed commutative and $\frac{1}{2}$-Frobenius (see Remark \ref{rem:CoHalf}). Up to rank $11$, the number of $\frac{1}{2}$-Frobenius integral fusion rings is exactly $1527$, with exactly $55$ noncommutative ones, see the details per rank in \S \ref{sec:Half}.

\subsubsection{S-matrix} \label{subsub:Smat}
Let $(N_{i,j}^k)$ be a commutative fusion data of rank $r$. Consider the fusion matrices $M_i = (N_{i,j}^k)_{k,j}$. Because $M_i^*$ = $M_{i^*}$, the commutativity makes these matrices normal, so simultaneously diagonalizable. Let $(D_i)$ be their simultaneous diagonalization, then $D_i = \mathrm{diag}(\lambda_{i,j})$. In fact, we can always choose $\lambda_{i,1}= \Vert M_i \Vert =d_i$. The matrix $(\lambda_{i,j})$ is called the \emph{eigentable} (or character table) of the fusion data. Let $c_j:= \sum_i \vert \lambda_{i,j}\vert^2$ be the \emph{formal codegrees}. The goal here is to find all the possible permutations $q$ of $\{1, \dots ,r\}$ such that:
\begin{itemize}
\item $q(1)=1$,
\item $d_{q(i)} = d_{i}$,
\item the matrix $S = (\sqrt{c_1/c_j} \lambda_{i,q(j)})$ is symmetric (i.e. self-transpose).
\end{itemize}
\begin{remark}
Above symmetric assumption implies that $$\sqrt{c_1/c_j}  = \sqrt{c_1/c_j}   \lambda_{1,q(j)}  =  \sqrt{c_1/c_1} \lambda_{j,q(1)}  = d_j,$$ so we can assume that $\sqrt{c_1/c_j}=d_j$, for all $j$.
\end{remark}

If such a permutation $q$ exists, then the fusion data will be called \emph{self-transposable}, but it is very rare, so this step is a very strong filter. We can recover the fusion data from $S$ by the Verlinde formula. Note that we only need to consider the fusion data whose eigentable has all its entries cyclotomic (such fusion data will be called \emph{cyclotomic}). The addition of the assumptions self-transposable and cyclotomic permits to exclude more than $97\%$ of the $\frac{1}{2}$-Frobenius integral fusion rings  (up to rank $11$) found in \S \ref{sec:Half}. It remains $44$ ones, the number of types and fusion rings per rank is written below:
$$\begin{array}{c|c|c|c|c|c|c|c|c|c|c|c}
\text{Rank} & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11  \\ \hline
\# \text{Types} & 1  &  1 &  1 &  1 & 1  &  1 &  2 &  2 & 2 & 4 &  5  \\ \hline
\# \text{FR} & 1  &  1 &  1 &  2 &  1 & 1  &  3 & 7  & 4 & 11 &  12
\end{array}$$
Here is the list of types counted above:
\small
\begin{itemize}
\item rank 1: [1],
\item rank 2: [1,1],
\item rank 3: [1,1,1],
\item rank 4: [1,1,1,1],
\item rank 5: [1,1,1,1,1],
\item rank 6: [1,1,1,1,1,1],
\item rank 7: [1,1,1,1,1,1,1],[1,1,1,1,2,2,2],
\item rank 8: [1,1,1,1,1,1,1,1],[1,1,2,2,2,2,3,3],
\item rank 9: [1,1,1,1,1,1,1,1,1],[1,1,1,1,4,4,6,6,6]
\item rank 10:[1,1,1,1,1,1,1,1,1,1],[1,1,1,1,2,2,2,4,4,4],[1,1,1,2,2,2,2,2,2,3],[1,1,2,3,3,4,4,4,6,6],
\item rank 11:[1,1,1,1,1,1,1,1,1,1,1],[1,1,1,1,2,2,2,2,2,2,2],[1,1,1,1,2,6,6,8,12,12,12],[1,1,1,3,4,4,4,4,4,4,6],[1,1,1,1,4,4,12,12,18,18,18].
\end{itemize}
\normalsize
The list of fusion rings counted above is available at \cite{data} in the file called SelfTransposableUpToRank11.txt. They were classified using the list HalfFrobeniusIntegralFusionRings.txt together with the function preSmatrix in the file ModularData.sage at \cite{data}.

\subsubsection{T-matrix} \label{subsub:Tmat}
For the remaining fusion rings $\mathcal{R}$ with fusion data $(N_{i,j}^k)$, we solve the Anderson-Moore-Vafa equations
$$\left(\sum_{p=1}^r N_{i,j}^p N_{p,k}^l \right) (s_i + s_j + s_k + s_l) = \sum_{p=1}^r \left(N_{i,j}^p N_{p,k}^l + N_{i,k}^p N_{j,p}^l + N_{j,k}^p N_{i,p}^l \right) s_p$$
on the finite ring $\mathbb{Z}/m\mathbb{Z}$, where $m$ is the biggest integer dividing $\mathrm{FPdim}(\mathcal{R})^{5/2}$. For each solution $(s_i) \in (\mathbb{Z}/m\mathbb{Z})^r$, if any, take the representative $(v_i) \in \mathbb{Z}^r$, with $0 \le v_i < m$. The $T$-matrix is $\mathrm{diag}(\zeta_{v_i})$.

Finally, we keep only the $S$- and $T$-matrices satifying all the assumptions of Definition \ref{def:MD}. We end up with $19+44=63$ modular data, from $5+15=20$ fusion rings and $3+11=14$ types (non-pointed + pointed), which prove Theorem \ref{thm:main}. This classification was done by applying the function STmatrix (or STmatrix2 according to relevance) in ModularData.sage to the list in SelfTransposableUpToRank11.txt mentioned in \S \ref{subsub:Smat}, all in \cite{data}.

\subsection{Model by zesting} \label{sub:zes}

This subsection is dedicated to make a model of some modular data mentioned in Theorem \ref{thm:main}, mainly by zesting \cite{DeGaPlRoZh}. The following proposition is due to Eric C. Rowell.

\begin{proposition}
The eight modular data listed in \S \ref{subsubR11} come from  $SO(8)_2$, conjugates and zestings.
\end{proposition}
 \noindent \textit{Proof sketch.}
Starting with $SO(8)_2$ one observes that this is $G = C_2 \times C_2$ graded.  Therefore one can twist the braiding by a bicharacter: change the braiding to $B(\deg(X),\deg(Y)) c_{X,Y}$ where $B$ is the bicharacter.  One has to change the twists accordingly (of course).  This is a special case of braided zesting (or rather ribbon zesting).  The effect is to multiply certain rows/columns of $S$ by a sign.  Glancing at the $S$-matrices listed in \S \ref{subsubR11}, this should explain it all.  Complex conjugation fixes $S$ but changes $T$, so that should be the whole story (of course complex conjugation changes the underlying fusion category). $\square$

\section{Type criteria} \label{sec:crit}
In this section, we explain some criteria we used to exclude some types from being the type of a fusion ring. A \emph{type} is a list of the form $T=[[d_1,m_1],[d_2,m_2], \dots, [d_s, m_s]]$ such that $1=d_1 < d_2 < \cdots < d_s$, $m_i \ge 1$ for all $i$. It is called:
\begin{itemize}
\item \emph{trivial} if $T=[[1,1]]$,
\item \emph{pointed} if $T=[[1,m]]$,
\item \emph{perfect} if $m_1=1$,
\item \emph{integral} if $d_i \in \mathbb{Z}$, for all i.
\end{itemize}

The idea is to apply the criteria explained in this section to our list of possible types in \S \ref{sec:Egy}, in ascending order of computation time. For the remaining types, we will apply our fusion ring solver explained in \S \ref{sec:Fu}.

\begin{notation}
We warn the reader that what is denoted $T$ in this section is a type, \emph{not} a $T$-matrix. Moreover, a type $T=[[d_1,m_1],[d_2,m_2], \dots, [d_s, m_s]]$ can sometimes be noted just $[d_1, \dots, d_1, d_2, \dots, d_2, \dots, d_s, \dots, d_s]$ where $d_i$ appears $m_i$ times. Then we reformulate the notation of a type of rank $r$ as $[d_1, \dots, d_r]$ with $1 = d_1 \le d_2 \le \cdots \le d_r$.
\end{notation}

\subsection{Small perfect type}
\begin{proposition} \label{prop:small}
There is no non-trivial perfect integral fusion ring with $s \le 3$.
\end{proposition}
\begin{proof}
If $s=1$ then $T=[[1,1]]$ is trivial. If $s=2$ then $T=[[1,1],[d,n]]$ with $d>1$ and $n \ge 1$, but if there is a fusion ring of type $T$, let $b$ be a basis element with $\mathrm{FPdim}(b)=d$. By applying $\mathrm{FPdim}$ to the decomposition of $bb^*$ we get that $d^2 = 1+kd,$ for some integer $k \ge 1$, and by reducing modulo $d$, we get that $0=1 \mod d$, contradiction with $d>1$. Finally, if $s=3$, then $T=[[1,1],[a,m], [b,n]]$, with $1<a<b$ and $m,n \ge 1$. Let $\mathcal{R}$ be a fusion ring of this type. Let us call the basis elements $1, a_1, \dots, a_m, b_1, \dots, b_n.$
\begin{claim} \label{cl:1}
$a \wedge b = 1$.
\end{claim}
\begin{proof}
Let $d= a \wedge b$. Then $\mathrm{FPdim}(a_i a_i^*) = a^2 = 1 + \alpha a + \beta b, $
but $d$ divides $a$ and $b$, so $0=1 \mod d$, i.e. $d=1$.
\end{proof}
\begin{claim} \label{cl:2}
For all $i$, there is $j$ such that $\langle a_i a_i^* , b_j \rangle \neq 0$.
\end{claim}
\begin{proof}
If not, then $a^2 = 1 + \alpha a$, so $1=0 \mod a$, contradiction with $a>1$.
\end{proof}
\begin{claim} \label{cl:3}
If $k \neq i^*$ then $\langle a_i a_k, b_j \rangle = 0$.
\end{claim}
\begin{proof}
If not then $a^2 = \alpha a + \beta b$ with $\beta \neq 0$, so $ \beta b = 0 \mod a$, but $a \wedge b =1$ (i.e. $b$ is invertible modulo $a$), thus $\beta = b^{-1} 0 = 0 \mod a$, i.e. $\beta = ka$ with $k \ge 1$. Now, $a^2 = \alpha a + \beta b \ge \beta b = kab \ge ab$. So $a^2 \ge ab$, contradiction with $b>a$.
\end{proof}
\begin{claim} \label{cl:4}
$a_{i^*} b_j = ba_{i^*}$.
\end{claim}
\begin{proof}
By Frobenius reciprocity and Claim \ref{cl:3}, if $k\neq i^*$ then $\langle a_{i^*} b_j, a_k \rangle = 0$, and by Claim \ref{cl:2},  $\langle a_{i^*} b_j, a_{i^*} \rangle \neq 0$. Now, $\mathrm{FPdim}(a_{i^*} b_j) = ab = \alpha a + \beta b$, with $\alpha \ge 1$, so $\beta = 0 \mod a$, and $\beta = ka$ with $k \ge 0$. Thus, $ab=\alpha a + kab$, so $(1-k)ab = \alpha a > 0$, then $(1-k) > 0$ and $k<1$. Thus, $k\ge 0$ and $k<1$, i.e. $k=0$ and $\beta = 0$. By combining the first sentence of the proof with $\beta = 0$, we get that $a_{i^*}b_j = \alpha a_{i^*}$, where $\alpha$ must be $b$ (by applying $\mathrm{FPdim}$).
\end{proof}
By Claim \ref{cl:4} and Frobenius reciprocity, $\langle a_i a_{i^*}, b_j \rangle = b$, so $a^2 \ge b^2$, contradiction with $a<b$.
\end{proof}
\begin{remark} \label{rem:NoExt}
Proposition \ref{prop:small} cannot be extended to $s=4$ because $\mathrm{Rep}(A_5)$ is of type $[[1,1],[3,2],[4,1],[5,1]]$.
\end{remark}

The application of Proposition \ref{prop:small} to the list in \S \ref{sec:Egy} permits to exclude the following $4$ types (up to rank $13$): $[[1, 1], [2, 2], [3, 3]]$, $[[1, 1], [2, 6], [5, 3]]$, $[[1, 1], [2, 2], [3, 7]]$, $[[1, 1], [3, 7], [4, 5]]$.

\subsection{Gcd criterion} \label{sub:gcd}

\begin{proposition} \label{prop:gcd}
There is no perfect integral fusion ring of type $T=[d_1,d_2, \dots, d_r]$ such that $\gcd(d_2,\dots, d_r) > 1$.
\end{proposition}
\begin{proof}
 Let  $d = \gcd(d_2,\dots, d_n)$. Assume that $T$ is the type of a fusion ring. Let $i > 1$, then
$$d_i d_{i^*} = \sum_k d_k N_{i,i^*}^k,$$
but by Definition \ref{def:fu} and Frobenius reciprocity (Proposition \ref{prop:FrobRec}), $N_{i,i^*}^1=1$, so $d_i d_{i^*}  = 1 + d \times K$, where $K = \sum_{k>1} (d_k / d) N_{i,i^*}^k$ is an integer, so $d_i d_{i^*} = 1 \mod d$, contradiction with $i > 1$ and $d = \gcd(d_2, \dots, d_r) > 1$.
\end{proof}

\subsection{TypeTest} \label{sub:TypeTest}
Consider a type $T=[d_1, \dots , d_r]$ with $1=d_1 \le \cdots \le d_r$ and $d_2>1$ (i.e. perfect). Assume that there is $i,g_i>1$ such that $g_i$ divides $d_j$ for all $d_j \not \in \{1,d_{i}\}$, and $d_{i} \wedge g_i = 1$. Assume that there is a fusion ring of this type, with basis $\{b_1, \dots, b_r\}$ and $d_k = \mathrm{FPdim}(b_k)$.

\begin{lemma} \label{lem:TypeTest}
For all $j$ such that $d_j \not \in \{1,d_{i}\}$ then $$\sum_{k; \ d_k = d_{i}} N_{j,j^{*}}^k = -1/d_{i} \mod g_i.$$
\end{lemma}
\begin{proof}
For all $j$ such that $d_j \not \in \{1,d_{i}\}$ then
 $$ b_j b_{j^*} = b_1 + \sum_{k; \ d_k = d_{i}} N_{j,j^{*}}^k b_k + \sum_{k; \ d_k \not \in \{1,d_{i}\}} N_{j,j^{*}}^k b_k.$$
Next by applying $\mathrm{FPdim}$ modulo $g_i$, we get that $$0 = 1 + xd_{i} \mod g_i,$$
but $d_{i}$ is invertible modulo $g_i$, it follows that $x = -1/d_{i} \mod g_i$.
\end{proof}

Let $a_{d_{i}}$ such that $0 \le a_{d_{i}} < g_i$ and $a_{d_{i}} = -1/d_{i} \mod g_i$. Let $S$ be the set of all such $d_{i}$. From the proof of Lemma \ref{lem:TypeTest}, we get that for all $j \neq 1$, $$ d_j^2 \ge 1 + \sum_{d \in S \setminus \{d_j\}} a_d d, $$
so if above inequality does not hold then $T$ cannot be the type of a fusion ring. Moreover, by Lemma \ref{lem:g^2}, if the set $\{k \ | \ d_k = d_j\}$ has cardinal one, then we can use the following stronger inequality $$d_j^2 \ge 1 + b_jd_j + \sum_{d \in S \setminus \{d_j\}} a_d d, $$
with $0 \le b_j < g_j^2$ and $b_j= d_j - \frac{1}{d_j} \mod g_j^2$.

The Sagemath code of this criterion is the function TypeTest in the file TypeCriteria.sage at \cite{data}. The application of this criterion to the list in \S \ref{sec:Egy} permits to exclude the following number of perfect types (per rank):
$$\begin{array}{c|c|c|c|c|c|c}
\text{rank} & 8 & 9 & 10 & 11 & 12 & 13   \\ \hline
\# \text{perfect types} & 1&1&12&37&249&2380
\end{array}$$

\subsection{LocalCriterion}
Consider a type $T=[[d_1,m_1],[d_2,m_2], \dots, [d_s, m_s]]$ as defined above. Assume that there is $g, i_0>1$ such that $g$ divides $d_i$ for all $i \not \in \{1,i_0\}$, and $d_{i_0} \wedge g = 1$. Let $(d,m):=(d_{i_0},m_{i_0})$. Assume that $T$ admits a fusion ring of basis $\{b_{1-m_1}, \dots, b_0,b_1, \dots, b_{r-1}\}$ such that,  $b_0 = 1$, $\mathrm{FPdim}(b_i) = 1$ for all $i \le 0$,   $\mathrm{FPdim}(b_j) = d$ for all $j \in \{1, \dots, m\}$.
\begin{lemma} \label{lem:g^2}
For all $i \in \{1, \dots, m\}$ we have that $$\sum_{j,k=1}^m N_{i,j}^k = md - \frac{m_1}{d} \mod g^2,$$
and for all $j>m$, we have that $g$ divides $\sum_{k=1}^m N_{i,j}^k$.
\end{lemma}
\begin{proof}
For all $i \in \{1,\dots, m\}$ and for all $j>m$, $\mathrm{FPdim}(b_i) \neq \mathrm{FPdim}(b_j)$, so by Corollary \ref{cor:dim1} and Frobenius reciprocity, $$ b_i b_j  = \sum_{k \ge 1} N_{i,j}^k b_k = \sum_{k=1}^m N_{i,j}^k b_k + \cdots,$$
Apply $\mathrm{FPdim}$ and reduce modulo $g$, we get that $$ d \sum_{k=1}^m N_{i,j}^k = 0 \mod g,$$
but $d$ is invertible modulo $g$, so $g$ divides $\sum_{k=1}^m N_{i,j}^k$. By Corollary \ref{cor:dim1}, for all $i \in \{1,\dots, m\}$ and for all $s \le 0$, then $b_i b_s = b_k$ with $k \in \{1,\dots, m\}$, so by Frobenius reciprocity, $$b_{i^*} \sum_{k=1}^m b_k = \sum_{s \le 0} b_s + \sum_{j=1}^m (\sum_{k=1}^m N_{i,j}^k) b_j + \sum_{j>m} (\sum_{k=1}^m N_{i,j}^k) b_j.$$
Again apply $\mathrm{FPdim}$, we get that $md^2 = m_1 + xd + yg^2 $, so by reducing modulo $g^2$, we get that $ x = md - \frac{m_1}{d} \mod g^2. $
\end{proof}

Then we can consider the partitions of $md^2 - xd - m_1$ of the form $\sum_{i \not \in \{1,i_0\}} a_i d_i$, with $x = md - \frac{1}{d} \mod g^2$ and $a_i = 0 \mod g$, see the SageMath code in \S \ref{subsub:sage1}, also available at \cite{data}. It is a criterion because for some types, we can find $d$ such that there is no partition as above.

\begin{example} For $T=[[1, 1], [1295, 2], [3990, 1], [4218, 1], [24605, 1], [42180, 1], [98420, 2], [147630, 3]]$, we can apply Lemma \ref{lem:g^2} to $(d,m,g) = (1295,2,19), (3990,1,37), (4218,1,5)$. Then $md - \frac{1}{d} = 126, 1135, 11 \mod g^2$, respectively. The use of the function LocalCriterion (in \S \ref{subsub:sage1}) to $(d,m,g) = (1295,2,19)$ permits to exclude $T$ in less than 1s.
\begin{verbatim}
sage:
CPU times: user 640 ms, sys: 0 ns, total: 640 ms
Wall time: 982 ms
[]
\end{verbatim}
Note that we cannot use $(d,m,g) = (3990,1,37)$, because it provides $55$ solutions.
\begin{verbatim}
sage: L=LocalCriterion(T, 3990,1,37)
sage: len(L)
55
\end{verbatim}
\end{example}

The application of this criterion to the list in \S \ref{sec:Egy} (with less than 2s for each possible $(d,m,g)$) permits to exclude the following number of types (per rank):
$$\begin{array}{c|c|c|c|c|c|c|c|c|c|c|c|c|c}
\text{rank} & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13   \\ \hline
\# \text{types} &0&0&0&0&0&1&1&3&5&21&63&344&2852     \\ \hline
\# \text{perfect types} &0&0&0&0&0&1&1&2&2&14&37&238&2173
\end{array}$$

Observe that this critrion alone is enough to exclude all the perfect types up to rank $9$, so enough to prove that there is no (non-trivial) perfect integral $\frac{1}{2}$-Frobenius fusion ring, and so no (non-trivial) perfect modular integral fusion category, up to rank $9$, but the use of our fusion ring solver in \S \ref{sec:Fu} permits to prove up to rank $12$, see \S \ref{sec:Half}.

\subsubsection{SageMath code} \label{subsub:sage1}
\begin{verbatim}
def LocalCriterion(T, d, m, g):
    global SSL
    SSL=[]
    L=[]
    L.append(T[0])
    m1=T[0][1]
    mm=m*d**2-m1
    dim=[t[0] for t in T[1:]]
    dim.remove(d)
    a=(m*d-m1/d
    q=(mm-a)//(d*(g**2))
    for i in range(q+1):
        LL=copy.deepcopy(L)
        LL.append([d,a+i*(g**2)])
        LocalCriterionInter(dim,mm-d*(a+i*(g**2)),g,LL)
    SSL.sort()
    return SSL

def LocalCriterionInter(dim, m, g, L):
    global SSL
    if m>=0 and len(dim)>0:
        d=dim[-1]
        ddim=copy.deepcopy(dim)
        ddim.remove(d)
        q=m//(d*g)
        for i in range(q+1):
            LL=copy.deepcopy(L)
            LL.append([d,i*g])
            LocalCriterionInter(ddim,m-i*d*g,g,LL)
    elif m==0:
        sL=copy.deepcopy(L)
        sL.sort()
        SSL.append(sL)
\end{verbatim}

\section{Fusion ring solver with Normaliz} \label{sec:Fu}

A fusion ring solver is a program which takes a type as input and gives all the fusion rings of this type as output. This section introduces two versions of a fusion ring solver, a full one in \S \ref{sub:full} involving the dimension equations and the associativity equations, and an intermediate one involving only a simplified set of dimension equations. Both use the software Normaliz \cite{Norma}, introduced in \S \ref{sub:Norma}.

\subsection{About Normaliz} \label{sub:Norma}
Normaliz \cite{Norma} is an open source software tool for discrete convex geometry and related algebra. See Bruns and Gubeladze \cite{BrGu} for terminology and an extensive treatment. Normaliz solves diophantine systems of linear inequalities, equations and congruences with integral coefficients.  In addition it computes enumerative data such as multiplicities (geometrically: volumes) and Hilbert series. Its objects can be defined by generators, for example extreme rays of cones, bases of lattices and vertices of polytopes, or by constraints, inequalities, equations and congruences. For systems with coefficients in real algebraic number fields, Normaliz  performs the basic tasks of convex hull computation and its dual, vertex enumeration. Lattice points in (bounded) polytopes defined  over real algebraic number fields can also be computed, which allows applications to nonintegral fusion rings. For fusion rings it is important that lattice points in polytopes can be constrained by polynomial equations and inequalities. Normaliz releases contain source files, documentation, examples and a test suite, together with binaries for Linux, Mac OS and MS Windows.

For lattice points in general polytopes $P$ Normaliz uses the project-and-lift algorithm. It projects $P$ successively to coordinate hyperplanes until dimension $0$ and then lifts the lattice points back. If $P'$ is a projection of $P$ to a coordinate hyperplane, then the lattice points of $P$ are projected to lattice points in $P'$, and if $x\in P'$ is a lattice point in $P'$, then its preimages are the lattice points in a line segment. Polynomial constraints can be applied as soon as the lifting has reached the highest coordinate appearing in the constraint.

In this generic form project-and-lift can do only very small cases of fusion rings. For reasonable performance the algorithm has been adapted to the special structure of the linear and polynomial constraints for fusion rings. Each linear equation is inhomogeneous with nonnegative coefficients and a positive right hand side. Let us call the set of coordinates appearing in it with positive coefficients a \emph{patch}. The patches cover the full set of coordinates, and therefore the linear equations, restricted to the nonnegative orthant, define a polytope $P$. The solutions to a linear equation, restricted to its patch, are computed by the project-and-lift algorithm sketched above, and the lattice points in $P$ are obtained by patching these local solutions along coinciding components. In other words, we start from the solutions of the first equation, and then extend it patch by patch. The polynomial equations are applied as soon as all coordinates appearing in them have been found. The astronomic number of lattice points in $P$, and the combinatorial explosion in successive extensions can only be damped by the polynomial equations. Therefore Normaliz tries to find an order of the patches that allows the evaluation of polynomial equations as soon as possible.

\subsection{Full version} \label{sub:full}
Consider a fusion ring with basis $\{b_1, \dots, b_r\}$. Following \S \ref{sub:Fu} we have that for all $i,j$:
$$ b_i b_j = \sum_k N_{i,j}^k b_k,$$
and by applying $\mathrm{FPdim}$, we get the type $[d_1, \dots, d_r]$ and its \emph{dimension equations}:
$$ d_i d_j = \sum_k N_{i,j}^k d_k.$$
The idea is to solve these $r^2$ linear positive diophantine equations where $(d_i)$ are fixed and $(N_{i,j}^k)$ are $r^3$ variables, using Normaliz. Now, we can reduce the number of variables to about $(r-1)^3/6$ using the Unit axiom ($N_{1,i}^j = N_{i,1}^j = \delta_{i,j}$) from Definition \ref{def:fu} of a fusion data, and the Frobenius reciprocity (Proposition \ref{prop:FrobRec}) which can be developped as:
$$N_{i,j}^k = N_{i^*,k}^j = N_{j,k^*}^{i^*} = N_{j^*, i^*}^{k^*} = N_{k^*, i}^{j^*} = N_{k, j^*}^{i}.$$
The key that makes the computation much faster is to exploit the associativity equations (non-linear)
$$\sum_s N_{i,j}^s N_{s,k}^t = \sum_s N_{j,k}^s N_{i,s}^t,$$
in the most relevant way possible during the solving of above linear diophantine equations. We don't know whether the way we found is the best possible, but it is already very efficient (see \S \ref{sub:Norma} for more details).

In practice, on a given type $L=[d_1, d_2, \dots, d_r]$, apply the function TypeToNormaliz whose SageMath code is available at \cite{data}. That will produce .in files (one for each possible duality map $i \to i^*$). Put these files in a folder together with the files normaliz.exe and run\_normaliz.bat available at \cite{data}, and click on run\_normaliz (note that there is also a Linux version). That will produce .out files containing all the possible solutions (if any). It remains to convert these solutions into fusion data, up to isomorphism. This last step is not yet completely automated, it still requires manual manipulation, but we will see how in the following example. Take the type $L=[1,1,2]$ of the Grothendieck ring of $\mathrm{Rep}(S_3)$. The application of TypeToNormaliz produces the file [1,1,2][0,1,2].in with the following content:
\footnotesize
\begin{verbatim}
amb_space 4
inhom_equations 4
1 2 0 0 0
0 1 2 0 -2
0 1 2 0 -2
0 0 1 2 -3
LatticePoints
convert_equations
nonnegative
polynomial_equations 2
x[2]^2 - x[1]*x[3] + x[3]^2 - x[2]*x[4] - 1;
-x[2]^2 + x[1]*x[3] - x[3]^2 + x[2]*x[4] + 1;
\end{verbatim}
\normalsize
The top part encodes the linear diophantine equations, and the bottom part, the associativity equations. Next the application of run\_normaliz produces the file [1,1,2][0,1,2].out containing the following:
\footnotesize
\begin{verbatim}
1 lattice points in polytope (module generators) satisfying polynomial constraints:
 0 0 1 1 1
\end{verbatim}
\normalsize
Here there is a single solution, but in general there can be several ones (see the next example). Then remove the last $1$ of each line of solution and convert into a list of lists:
\begin{verbatim}
sage: LL=[[0,0,1,1]]
\end{verbatim}
Take the list for the type and for the duality map:
\begin{verbatim}
sage: L=[1,1,2]
sage: d=[0,1,2]
\end{verbatim}
Apply the function System as follows:
\begin{verbatim}
sage: [A,V,M,Assoc]=System(L,d)
[x1, x2, x3, x4]
sage: M
[[[1, 0, 0], [0, 1, 0], [0, 0, 1]],
 [[0, 1, 0], [1, x1, x2], [0, x2, x3]],
 [[0, 0, 1], [0, x2, x3], [1, x3, x4]]]
\end{verbatim}
That prints the list of variables, and M is the fusion data with these variables. Next make the function mat as follows:
\begin{verbatim}
sage: def mat(l):
....:     [x1, x2, x3, x4]=l
....:     return [[[1, 0, 0], [0, 1, 0], [0, 0, 1]],
....:  [[0, 1, 0], [1, x1, x2], [0, x2, x3]],
....:  [[0, 0, 1], [0, x2, x3], [1, x3, x4]]]
\end{verbatim}
Finally, apply the function ListToFusion as follows to get all the fusion data up to isomorphism:
\begin{verbatim}
sage: ListToFusion(mat,LL,L,d)
[[[[1, 0, 0], [0, 1, 0], [0, 0, 1]],
  [[0, 1, 0], [1, 0, 0], [0, 0, 1]],
  [[0, 0, 1], [0, 0, 1], [1, 1, 1]]]]
\end{verbatim}
It is the fusion data of $\mathrm{Rep}(S_3)$, which can ultimately be written in a Tex form as follows:
 $$\begin{matrix}1&0&0 \\ 0&1&0 \\ 0&0&1\end{matrix} \ , \  \ \ \ \begin{matrix}0&1&0 \\ 1&0&0 \\ 0&0&1\end{matrix} \ , \ \ \ \ \begin{matrix}0&0&1 \\ 0&0&1 \\ 1&1&1 \end{matrix}$$

Now if we apply the same procedure, with the type $L=[1,5,5,5,6,7,7]$, we get four .in files. Only the one for the trivial duality map admits solutions, its .out file contains the following:
\footnotesize
\begin{verbatim}
6 lattice points in polytope (module generators) satisfying polynomial constraints:
 1 0 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 2 1 2 0 3 1 2 1
 1 0 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 2 1 2 1 2 2 1 1
 1 0 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 2 1 2 2 1 3 0 1
 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 2 1 2 0 3 1 2 1
 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 2 1 2 1 2 2 1 1
 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 2 1 2 2 1 3 0 1
\end{verbatim}
\normalsize
All the files are available at \cite{data}. Ultimately, we get the following two fusion data:
$$ \begin{smallmatrix}1&0&0&0&0&0&0 \\ 0&1&0&0&0&0&0 \\ 0&0&1&0&0&0&0 \\ 0&0&0&1&0&0&0 \\ 0&0&0&0&1&0&0 \\ 0&0&0&0&0&1&0 \\ 0&0&0&0&0&0&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&1&0&0&0&0&0 \\ 1&1&0&1&0&1&1 \\ 0&0&1&0&1&1&1 \\ 0&1&0&0&1&1&1 \\ 0&0&1&1&1&1&1 \\ 0&1&1&1&1&1&1 \\ 0&1&1&1&1&1&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&1&0&0&0&0 \\ 0&0&1&0&1&1&1 \\ 1&1&1&0&0&1&1 \\ 0&0&0&1&1&1&1 \\ 0&1&0&1&1&1&1 \\ 0&1&1&1&1&1&1 \\ 0&1&1&1&1&1&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&1&0&0&0 \\ 0&1&0&0&1&1&1 \\ 0&0&0&1&1&1&1 \\ 1&0&1&1&0&1&1 \\ 0&1&1&0&1&1&1 \\ 0&1&1&1&1&1&1 \\ 0&1&1&1&1&1&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&1&0&0 \\ 0&0&1&1&1&1&1 \\ 0&1&0&1&1&1&1 \\ 0&1&1&0&1&1&1 \\ 1&1&1&1&1&1&1 \\ 0&1&1&1&1&2&1 \\ 0&1&1&1&1&1&2\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&1&0 \\ 0&1&1&1&1&1&1 \\ 0&1&1&1&1&1&1 \\ 0&1&1&1&1&1&1 \\ 0&1&1&1&1&2&1 \\ 1&1&1&1&2&0&3 \\ 0&1&1&1&1&3&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&0&1 \\ 0&1&1&1&1&1&1 \\ 0&1&1&1&1&1&1 \\ 0&1&1&1&1&1&1 \\ 0&1&1&1&1&1&2 \\ 0&1&1&1&1&3&1 \\ 1&1&1&1&2&1&2\end{smallmatrix} $$

$$ \begin{smallmatrix}1&0&0&0&0&0&0 \\ 0&1&0&0&0&0&0 \\ 0&0&1&0&0&0&0 \\ 0&0&0&1&0&0&0 \\ 0&0&0&0&1&0&0 \\ 0&0&0&0&0&1&0 \\ 0&0&0&0&0&0&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&1&0&0&0&0&0 \\ 1&1&0&1&0&1&1 \\ 0&0&1&0&1&1&1 \\ 0&1&0&0&1&1&1 \\ 0&0&1&1&1&1&1 \\ 0&1&1&1&1&1&1 \\ 0&1&1&1&1&1&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&1&0&0&0&0 \\ 0&0&1&0&1&1&1 \\ 1&1&1&0&0&1&1 \\ 0&0&0&1&1&1&1 \\ 0&1&0&1&1&1&1 \\ 0&1&1&1&1&1&1 \\ 0&1&1&1&1&1&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&1&0&0&0 \\ 0&1&0&0&1&1&1 \\ 0&0&0&1&1&1&1 \\ 1&0&1&1&0&1&1 \\ 0&1&1&0&1&1&1 \\ 0&1&1&1&1&1&1 \\ 0&1&1&1&1&1&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&1&0&0 \\ 0&0&1&1&1&1&1 \\ 0&1&0&1&1&1&1 \\ 0&1&1&0&1&1&1 \\ 1&1&1&1&1&1&1 \\ 0&1&1&1&1&2&1 \\ 0&1&1&1&1&1&2\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&1&0 \\ 0&1&1&1&1&1&1 \\ 0&1&1&1&1&1&1 \\ 0&1&1&1&1&1&1 \\ 0&1&1&1&1&2&1 \\ 1&1&1&1&2&1&2 \\ 0&1&1&1&1&2&2\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&0&1 \\ 0&1&1&1&1&1&1 \\ 0&1&1&1&1&1&1 \\ 0&1&1&1&1&1&1 \\ 0&1&1&1&1&1&2 \\ 0&1&1&1&1&2&2 \\ 1&1&1&1&2&2&1\end{smallmatrix} $$

\subsection{Dimension partition version} \label{sub:DimPar}
This approach is relevant only for the types $T=[[d_1,m_1],[d_2,m_2], \dots, [d_s, m_s]]$ with $s$ not too large, because we can simplify the dimension equations by grouping the elements of same dimension (i.e. dimension partition), but we don't know (yet) how to convert the associativity equations. This version should be used as an intermediate of the full version for the appropriate types, in the sense that it can avoid some computational explosions by breaking some symmetries, but for now, we use it only as a criterion, i.e. if it has no solution then neither the full one.

Let us reformulate the type as $[1, d_{1,1}, \dots, d_{1,n_1}, d_{2,1}, \dots, d_{2,n_2}, \dots, d_{s,1}, d_{s,n_s}]$, where $d_{i,a}= d_i$, $d_1 \ge 1 = d_{0,1}$ and $n_i = m_i - \delta_{1,d_1} \delta_{1,i}$. Then the dimension equations write as:
$$ d_{i,a} d_{j,b} = \sum_{k,c} N_{i,a,j,b}^{k,c} d_{k,c}.$$
Now let $D_i:=\sum_{a=1}^{n_i} d_{i,a} = n_id_i$ and $M_{i,j}^k := \sum_{a,b,c} N_{i,a,j,b}^{k,c}$ then
$$D_i D_j = \sum_{a,b}\sum_{k,c} N_{i,a,j,b}^{k,c} d_{k,c} = \sum_k (\sum_{a,b,c} N_{i,a,j,b}^{k,c}) d_{k}= \sum_k M_{i,j}^k d_{k}.$$
So we are reduced to solve the linear positive Diophantine equations
$$n_i d_i n_j d_j = \sum_k M_{i,j}^k d_{k},$$
where $(d_i,n_i)$ are fixed, and the variables $(M_{i,j}^k)$ reduce to about $s^3/6$ ones by the following dimension partition version of the Unit axiom and of the Frobenius reciprocity. Note that after the dimension grouping, the duality map becomes trivial (i.e. $i^* = i$).
\begin{lemma} \label{lem:FuPart}
Here is the dimension partition version of:
\begin{itemize}
\item (Unit) $M_{i,0}^j = M_{0,i}^j =  \delta_{i,j}m_i$
\item (Dual) $M_{i,j}^0 = M_{j,i}^0 =  \delta_{i,j}m_i$
\item (Frobenius reciprocity) $M_{i,j}^k = M_{i,k}^j = M_{j,k}^{i} = M_{j, i}^{k} = M_{k, i}^{j} = M_{k, j}^{i}.$
\end{itemize}
\end{lemma}
\begin{proof}
Straightforward.
\end{proof}

Note that we did not (yet) find a satisfying dimension partition version of the associativity axiom. In practice, apply the procedure in \S \ref{sub:full} up to the .out files, but replace the function TypeToNormaliz by TypeToPreNormaliz. For example, consider the type $L=[1,6,12,12,15,15,15,20,20,30,30,60]$. You will find the .in and .out files at \cite{data}. Note that this dimension partition version was enough to prove Theorem \ref{thm:perfectnoprimepower12}, see \S \ref{sec:Half} just after Theorem \ref{thm:PrimePower}, where $L$ is the first type (among $24$ ones) to exclude at rank $12$.

\begin{remark}
This version uses the dimension partition of the type, but we could consider other versions exploiting other relevant partitions.
\end{remark}

\section{$\frac{1}{2}$-Frobenius integral fusion rings} \label{sec:Half}
Here is the number of $\frac{1}{2}$-Frobenius integral fusion rings (FR) up to rank $11$, and the number of noncommutative (NC) ones.

$$\begin{array}{c|c|c|c|c|c|c|c|c|c|c|c}
\text{Rank} & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11  \\ \hline
\# \text{FR} & 1 & 1 & 1 & 2 & 3 & 6 & 9 & 23 & 105 & 158 & 1218   \\ \hline
\# \text{NC} & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 4 & 5 & 7 & 38
\end{array}$$

The list of these fusion rings is quite big but made available online in the file SelfTransposableUpToRank11.txt at \cite{data}. They were obtained by applying the type criteria in \S \ref{sec:crit} and the fusion ring solver in \S \ref{sec:Fu} to the list of types in \S \ref{sec:Egy}. The number of types per rank is quite small compared to the table in \S \ref{sub:types}.
$$\begin{array}{c|c|c|c|c|c|c|c|c|c|c|c|c|c}
\text{rank} & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11   \\ \hline
\# \text{types} & 1 & 1 & 1 & 1 & 2 & 2 & 2 & 4 & 5 & 9 & 15
\end{array}$$
Here is this list of types for each rank and with lexicographic order:
\begin{itemize}
\item rank 1: [[1]],
\item rank 2: [[1, 1]],
\item rank 3: [[1, 1, 1]],
\item rank 4: [[1, 1, 1, 1]],
\item rank 5: [[1, 1, 1, 1, 1], [1, 1, 1, 1, 2]],
\item rank 6: [[1, 1, 1, 1, 1, 1], [1, 1, 1, 1, 2, 2]],
\item rank 7: [[1, 1, 1, 1, 1, 1, 1], [1, 1, 1, 1, 2, 2, 2]],
\item rank 8: [[1, 1, 1, 1, 1, 1, 1, 1], [1, 1, 1, 1, 2, 2, 2, 2], [1, 1, 1, 1, 2, 2, 2, 4], [1, 1, 2, 2, 2, 2, 3, 3]]
\item rank 9:
 [[1, 1, 1, 1, 1, 1, 1, 1, 1],
  [1, 1, 1, 1, 2, 2, 2, 2, 2],
  [1, 1, 1, 1, 2, 2, 2, 4, 4],
  [1, 1, 1, 1, 4, 4, 6, 6, 6],
  [1, 1, 2, 2, 2, 2, 3, 3, 6]]
\item rank 10:
[[1, 1, 1, 1, 1, 1, 1, 1, 1, 1],
  [1, 1, 1, 1, 1, 1, 1, 1, 1, 3],
  [1, 1, 1, 1, 1, 1, 1, 1, 2, 2],
  [1, 1, 1, 1, 2, 2, 2, 2, 2, 2],
  [1, 1, 1, 1, 2, 2, 2, 4, 4, 4],
  [1, 1, 1, 1, 4, 4, 6, 6, 6, 12],
  [1, 1, 1, 2, 2, 2, 2, 2, 2, 3],
  [1, 1, 2, 2, 2, 2, 3, 3, 6, 6],
  [1, 1, 2, 3, 3, 4, 4, 4, 6, 6]]
\item rank 11:
 [[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1],
  [1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 3],
  [1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2],
  [1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 4],
  [1, 1, 1, 1, 1, 1, 2, 2, 2, 3, 3],
  [1, 1, 1, 2, 2, 2, 2, 2, 2, 3, 6],
  [1, 1, 1, 1, 2, 2, 2, 4, 4, 4, 4],
  [1, 1, 1, 1, 2, 2, 2, 4, 4, 4, 8],
  [1, 1, 1, 1, 2, 4, 4, 4, 4, 6, 6],
  [1, 1, 2, 2, 2, 2, 3, 3, 6, 6, 6],
  [1, 1, 2, 3, 3, 4, 4, 4, 6, 6, 12],
  [1, 1, 1, 1, 2, 6, 6, 8, 12, 12, 12],
  [1, 1, 1, 1, 4, 4, 6, 6, 6, 12, 12],
  [1, 1, 1, 3, 4, 4, 4, 4, 4, 4, 6],
  [1, 1, 1, 1, 4, 4, 12, 12, 18, 18, 18]]
\end{itemize}

Observe that there is no non-trivial perfect types in the above list, which proves Theorem \ref{thm:perfect12} up to rank $11$.

Note that there is a perfect integral $\frac{1}{2}$-Frobenius fusion ring/category $\mathrm{Rep}(G)$ of rank $2913$ and type $$[ [ 1, 1 ], [ 3, 2 ], [ 4, 1 ], [ 5, 7 ], [ 10, 4 ], [ 12, 10 ], [ 15, 14 ],  [ 20, 59 ], [ 30, 164 ], [ 60, 2651 ] ]$$ coming from a perfect group $G$ of order $9720000 = 2^6 3^5 5^4$, see \cite{Cra}, but we expect an example of much smaller rank.

\begin{question}
What is the smallest rank for a perfect integral $\frac{1}{2}$-Frobenius fusion ring/category?
\end{question}

Now, to prove that every simple integral modular fusion category up to rank $12$ is pointed (Theorem \ref{thm:simple12}), it remains to consider the rank $12$. For so, we will use the following result constraining the types in the simple case.

\begin{theorem}[Corollary 6.16 in \cite{nik}] \label{thm:PrimePower}
Let $\mathcal{C}$ be an integral modular fusion category. If there is a simple object of prime-power $\mathrm{FPdim}$ then there is a nontrivial symmetric subcategory.
\end{theorem}

So we are reduced to consider perfect integral $\frac{1}{2}$-Frobenius fusion ring without (non-trivial) basis element of prime-power $\mathrm{FPdim}$, i.e. we are reduced to prove Theorem \ref{thm:perfectnoprimepower12}. After applying the type criteria from \S \ref{sec:crit} to the list of $131$ possible perfect types of rank $12$ without prime-power element (after $1$), it remains only to consider the following $24$ types, which can all be excluded quickly using the fusion ring solver with dimension partition in \S \ref{sub:DimPar}.

\footnotesize
 [1, 6, 12, 12, 15, 15, 15, 20, 20, 30, 30, 60],
 [1, 6, 12, 12, 30, 35, 105, 105, 140, 210, 210, 210],
 [1, 6, 18, 76, 171, 532, 1197, 1197, 1596, 2394, 2394, 2394],
 [1, 6, 18, 95, 190, 342, 570, 570, 570, 570, 855, 855],
 [1, 6, 18, 95, 190, 342, 855, 855, 1140, 1710, 1710, 1710],
 [1, 10, 12, 14, 28, 35, 105, 105, 140, 210, 210, 210],
 [1, 10, 12, 21, 35, 35, 42, 140, 140, 210, 210, 210],
 [1, 10, 12, 21, 42, 105, 105, 140, 210, 210, 210, 420],
 [1, 10, 12, 21, 42, 140, 315, 315, 420, 630, 630, 630],
 [1, 10, 12, 140, 189, 378, 945, 945, 1260, 1890, 1890, 1890],
 [1, 10, 15, 18, 50, 90, 150, 150, 150, 150, 225, 225],
 [1, 10, 15, 18, 50, 90, 225, 225, 300, 450, 450, 450],
 [1, 12, 12, 15, 44, 60, 165, 165, 220, 330, 330, 330],
 [1, 12, 15, 28, 36, 140, 315, 315, 420, 630, 630, 630],
 [1, 12, 20, 30, 51, 102, 255, 255, 340, 510, 510, 510],
 [1, 12, 28, 39, 84, 84, 273, 273, 364, 546, 546, 546],
 [1, 18, 21, 28, 30, 140, 315, 315, 420, 630, 630, 630],
 [1, 18, 28, 42, 117, 364, 819, 819, 1092, 1638, 1638, 1638],
 [1, 20, 57, 95, 120, 190, 285, 760, 760, 1140, 1140, 1140],
 [1, 21, 58, 189, 406, 1827, 3132, 7308, 7308, 10962, 10962, 10962],
 [1, 30, 68, 75, 300, 510, 1275, 1275, 1700, 2550, 2550, 2550],
 [1, 35, 40, 45, 168, 210, 315, 840, 840, 1260, 1260, 1260],
 [1, 45, 168, 385, 385, 2310, 3960, 9240, 9240, 13860, 13860, 13860],
 [1, 75, 210, 1932, 2300, 4830, 12075, 12075, 16100, 24150, 24150, 24150].
 \normalsize

 Finally, to prove Theorem \ref{thm:perfect12} at rank $12$, after applying the type criteria in \S \ref{sec:crit} and the fusion ring solver with dimension partition in \S \ref{sub:DimPar}, it remains only the following $7$ types to consider. They can all be excluded using the full fusion ring solver in \S \ref{sub:full}.

 \footnotesize
\noindent[1, 2, 2, 2, 3, 3, 3, 4, 4, 6, 6, 12],
[1, 2, 2, 3, 4, 4, 15, 15, 20, 30, 30, 30],
[1, 2, 3, 3, 3, 4, 4, 16, 16, 24, 24, 24],
[1, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 4],
[1, 2, 3, 3, 3, 4, 4, 4, 8, 12, 12, 12],
[1, 3, 3, 3, 4, 4, 4, 4, 4, 6, 12, 12],
[1, 3, 3, 3, 4, 4, 6, 8, 8, 8, 12, 12]
 \normalsize

\section{Egyptian fraction with squared denominators} \label{sec:Egy}
A $(q,r)$-Egyptian fraction with squared denominators will denote a sum of the following form:
$$ q = \sum_{i=1}^r \frac{1}{s_i^2},$$
with $q,r,s_i \in \mathbb{Z}_{\ge 1}$ and $s_1 \ge s_2 \ge \cdots \ge s_r \ge 1$. Moreover, for our need of classification of possible types of Grothendieck rings of modular integral fusion categories (more generally, of $\frac{1}{2}$-Frobenius integral fusion rings), we can assume that $s_i$ divides $s_1$, for all $i$. Up to substracting $1$ to $q$ and $r$ as much as necessary, we can assume that $s_i \ge 2$, for all $i$ ($q$ is not assumed square-free) and then complete the list of $(q,r)$-Egyptian fraction with squared denominators with the $(q-k,r-k)$ ones on which we add $k$ times the number $1$ in the sum. Under this trick, we can assume that $q \le r/2$.

Here is what we did:
\begin{itemize}
\item Use the function \texttt{ModularRep} in \S \ref{sub:sage} for $1 \le r \le 11$ and $1 \le q \le r/2$,
\item Complete the classification by adding some $1$ as explained above,
\item Make all the possible types by $d_i  = s_1/s_i$, the list is displayed in \S \ref{sub:types}.
\end{itemize}

\subsection{List of types up to rank 13} \label{sub:types}
Here is the number (per rank) of possible types up to rank $13$, deduced only from the use of Egyptian fractions with squared denominators, and also the number of perfect types (see \S \ref{sec:crit}):

$$\begin{array}{c|c|c|c|c|c|c|c|c|c|c|c|c|c}
\text{rank} & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13  \\ \hline
\# \text{types} & 1 & 1 & 1 & 1 & 2 & 3 & 3 & 7 & 11 & 42 & 144 & 812 & 7997 \\ \hline
\# \text{perfect types} & 1 & 0 & 0 & 0 & 0 & 1 & 1 & 2 & 2 & 24 & 88 & 591 & 6517
\end{array}$$

Observe that the ratio of perfect types increases: $\simeq 18\%$, $57\%$, $61\%$, $73\%$, $81\%$, at rank $9, \dots, 13$, respectively.

\begin{question}
Does the ratio of perfect types converge to $1$ when the rank goes to infinity?
\end{question}

Let us display (lexicographically) all these types up to rank $11$ (those of rank $12$ and $13$ are available online at \cite{data}):
\footnotesize
\begin{itemize}
\item rank 1:
[[1]]
\item rank 2:
[[1, 1]]
\item rank 3:
[[1, 1, 1]]
\item rank 4:
[[1, 1, 1, 1]]
\item rank 5:
[[1, 1, 1, 1, 1], [1, 1, 1, 1, 2]]
\item rank 6:
[[1, 1, 1, 1, 1, 1], [1, 1, 1, 1, 2, 2], [1, 2, 2, 3, 3, 3]]
\item rank 7:
[[1, 1, 1, 1, 1, 1, 1], [1, 1, 1, 1, 2, 2, 2], [1, 2, 2, 3, 3, 3, 6]]
\item rank 8:
[[1, 1, 1, 1, 1, 1, 1, 1], [1, 1, 1, 1, 2, 2, 2, 2], [1, 1, 1, 1, 2, 2, 2, 4], [1, 1, 2, 2, 2, 2, 3, 3], [1, 1, 3, 3, 4, 6, 6, 6], [1, 2, 2, 3, 3, 3, 6, 6], [1, 2, 2, 6, 6, 9, 9, 9]]
\item rank 9:
[[1, 1, 1, 1, 1, 1, 1, 1, 1], [1, 1, 1, 1, 1, 1, 1, 1, 2], [1, 1, 1, 1, 1, 2, 3, 3, 3], [1, 1, 1, 1, 2, 2, 2, 2, 2], [1, 1, 1, 1, 2, 2, 2, 4, 4], [1, 1, 1, 1, 4, 4, 6, 6, 6], [1, 1, 2, 2, 2, 2, 3, 3, 6], [1, 1, 3, 3, 4, 6, 6, 6, 12], [1, 1, 4, 9, 9, 12, 18, 18, 18], [1, 2, 2, 3, 3, 3, 6, 6, 6], [1, 2, 2, 6, 6, 9, 9, 9, 18]]
\item rank 10:
[[1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [1, 1, 1, 1, 1, 1, 1, 1, 1, 3], [1, 1, 1, 1, 1, 1, 1, 1, 2, 2], [1, 1, 1, 1, 1, 2, 3, 3, 3, 6], [1, 1, 1, 1, 2, 2, 2, 2, 2, 2], [1, 1, 1, 1, 2, 2, 2, 4, 4, 4], [1, 1, 1, 1, 4, 4, 6, 6, 6, 12], [1, 1, 1, 2, 2, 2, 2, 2, 2, 3], [1, 1, 1, 2, 2, 3, 4, 6, 6, 6], [1, 1, 1, 2, 3, 8, 8, 12, 12, 12], [1, 1, 1, 7, 12, 28, 28, 42, 42, 42], [1, 1, 2, 2, 2, 2, 3, 3, 6, 6], [1, 1, 2, 3, 3, 4, 4, 4, 6, 6], [1, 1, 3, 3, 4, 6, 6, 6, 12, 12], [1, 1, 3, 3, 4, 12, 12, 18, 18, 18], [1, 1, 4, 4, 4, 5, 5, 10, 10, 10], [1, 1, 4, 9, 9, 12, 18, 18, 18, 36], [1, 1, 4, 12, 27, 27, 36, 54, 54, 54], [1, 2, 2, 2, 2, 2, 2, 5, 5, 5], [1, 2, 2, 2, 6, 14, 14, 21, 21, 21], [1, 2, 2, 3, 3, 3, 3, 3, 3, 3], [1, 2, 2, 3, 3, 3, 6, 6, 6, 6], [1, 2, 2, 3, 3, 3, 6, 6, 6, 12], [1, 2, 2, 3, 6, 6, 6, 6, 9, 9], [1, 2, 2, 3, 9, 9, 12, 18, 18, 18], [1, 2, 2, 4, 5, 5, 5, 10, 10, 10], [1, 2, 2, 6, 6, 9, 9, 9, 18, 18], [1, 2, 2, 6, 6, 18, 18, 27, 27, 27], [1, 2, 3, 6, 10, 10, 10, 10, 15, 15], [1, 2, 3, 6, 15, 15, 20, 30, 30, 30], [1, 3, 3, 3, 4, 4, 4, 4, 4, 6], [1, 3, 3, 3, 4, 6, 8, 12, 12, 12], [1, 3, 3, 3, 6, 16, 16, 24, 24, 24], [1, 4, 4, 4, 7, 7, 7, 14, 14, 14], [1, 4, 9, 28, 63, 63, 84, 126, 126, 126], [1, 5, 7, 35, 60, 140, 140, 210, 210, 210], [1, 5, 10, 18, 30, 30, 30, 30, 45, 45], [1, 5, 10, 18, 45, 45, 60, 90, 90, 90], [1, 6, 18, 38, 38, 114, 114, 171, 171, 171], [1, 12, 12, 17, 51, 51, 68, 102, 102, 102], [1, 18, 30, 70, 70, 210, 210, 315, 315, 315], [1, 70, 130, 182, 390, 910, 910, 1365, 1365, 1365]]
\item rank 11:
[[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 3], [1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2], [1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 4], [1, 1, 1, 1, 1, 1, 2, 2, 2, 3, 3], [1, 1, 1, 1, 1, 2, 3, 3, 3, 6, 6], [1, 1, 1, 1, 1, 2, 6, 6, 9, 9, 9], [1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2], [1, 1, 1, 1, 2, 2, 2, 4, 4, 4, 4], [1, 1, 1, 1, 2, 2, 2, 4, 4, 4, 8], [1, 1, 1, 1, 2, 4, 4, 4, 4, 6, 6], [1, 1, 1, 1, 2, 6, 6, 8, 12, 12, 12], [1, 1, 1, 1, 3, 6, 14, 14, 21, 21, 21], [1, 1, 1, 1, 4, 4, 6, 6, 6, 12, 12], [1, 1, 1, 1, 4, 4, 12, 12, 18, 18, 18], [1, 1, 1, 2, 2, 2, 2, 2, 2, 3, 6], [1, 1, 1, 2, 2, 3, 4, 6, 6, 6, 12], [1, 1, 1, 2, 3, 3, 10, 10, 15, 15, 15], [1, 1, 1, 2, 3, 8, 8, 12, 12, 12, 24], [1, 1, 1, 3, 4, 4, 4, 4, 4, 4, 6], [1, 1, 1, 3, 4, 4, 6, 8, 12, 12, 12], [1, 1, 1, 3, 4, 6, 16, 16, 24, 24, 24], [1, 1, 1, 3, 14, 24, 56, 56, 84, 84, 84], [1, 1, 1, 5, 5, 6, 6, 10, 15, 15, 15], [1, 1, 1, 5, 6, 6, 20, 20, 30, 30, 30], [1, 1, 1, 7, 12, 28, 28, 42, 42, 42, 84], [1, 1, 1, 12, 14, 14, 21, 28, 42, 42, 42], [1, 1, 1, 12, 14, 21, 56, 56, 84, 84, 84], [1, 1, 1, 12, 49, 84, 196, 196, 294, 294, 294], [1, 1, 2, 2, 2, 2, 3, 3, 6, 6, 6], [1, 1, 2, 3, 3, 4, 4, 4, 6, 6, 12], [1, 1, 2, 5, 10, 12, 15, 20, 30, 30, 30], [1, 1, 2, 5, 12, 15, 40, 40, 60, 60, 60], [1, 1, 2, 12, 15, 15, 20, 20, 20, 30, 30], [1, 1, 3, 3, 3, 3, 3, 3, 4, 6, 6], [1, 1, 3, 3, 4, 6, 6, 6, 12, 12, 12], [1, 1, 3, 3, 4, 12, 12, 18, 18, 18, 36], [1, 1, 3, 4, 6, 6, 9, 12, 18, 18, 18], [1, 1, 3, 4, 6, 9, 24, 24, 36, 36, 36], [1, 1, 3, 4, 21, 36, 84, 84, 126, 126, 126], [1, 1, 3, 8, 10, 15, 40, 40, 60, 60, 60], [1, 1, 4, 4, 4, 5, 5, 10, 10, 10, 20], [1, 1, 4, 4, 4, 15, 15, 20, 30, 30, 30], [1, 1, 4, 6, 9, 9, 12, 12, 12, 18, 18], [1, 1, 4, 9, 9, 12, 18, 18, 18, 36, 36], [1, 1, 4, 9, 9, 12, 36, 36, 54, 54, 54], [1, 1, 4, 12, 12, 12, 15, 15, 30, 30, 30], [1, 1, 4, 12, 27, 27, 36, 54, 54, 54, 108], [1, 1, 4, 12, 36, 81, 81, 108, 162, 162, 162], [1, 1, 5, 6, 9, 9, 30, 30, 45, 45, 45], [1, 1, 5, 15, 15, 18, 18, 30, 45, 45, 45], [1, 1, 5, 15, 18, 18, 60, 60, 90, 90, 90], [1, 1, 7, 7, 15, 30, 70, 70, 105, 105, 105], [1, 1, 9, 9, 9, 14, 42, 42, 63, 63, 63], [1, 1, 17, 24, 34, 51, 136, 136, 204, 204, 204], [1, 1, 63, 76, 399, 684, 1596, 1596, 2394, 2394, 2394], [1, 2, 2, 2, 2, 2, 2, 5, 5, 5, 10], [1, 2, 2, 2, 3, 3, 3, 4, 4, 6, 6], [1, 2, 2, 2, 6, 14, 14, 21, 21, 21, 42], [1, 2, 2, 3, 3, 3, 3, 3, 3, 3, 6], [1, 2, 2, 3, 3, 3, 3, 6, 9, 9, 9], [1, 2, 2, 3, 3, 3, 6, 6, 6, 6, 6], [1, 2, 2, 3, 3, 3, 6, 6, 6, 12, 12], [1, 2, 2, 3, 3, 3, 12, 12, 18, 18, 18], [1, 2, 2, 3, 6, 6, 6, 6, 9, 9, 18], [1, 2, 2, 3, 9, 9, 12, 18, 18, 18, 36], [1, 2, 2, 3, 12, 27, 27, 36, 54, 54, 54], [1, 2, 2, 4, 5, 5, 5, 10, 10, 10, 20], [1, 2, 2, 4, 5, 15, 15, 20, 30, 30, 30], [1, 2, 2, 6, 6, 9, 9, 9, 18, 18, 18], [1, 2, 2, 6, 6, 18, 18, 27, 27, 27, 54], [1, 2, 3, 3, 3, 8, 8, 8, 8, 12, 12], [1, 2, 3, 3, 3, 12, 12, 16, 24, 24, 24], [1, 2, 3, 5, 5, 5, 6, 10, 15, 15, 15], [1, 2, 3, 5, 5, 6, 20, 20, 30, 30, 30], [1, 2, 3, 6, 10, 10, 10, 10, 15, 15, 30], [1, 2, 3, 6, 15, 15, 20, 30, 30, 30, 60], [1, 2, 3, 6, 20, 45, 45, 60, 90, 90, 90], [1, 2, 3, 18, 52, 117, 117, 156, 234, 234, 234], [1, 2, 18, 20, 36, 45, 45, 45, 90, 90, 90], [1, 2, 20, 27, 54, 135, 135, 180, 270, 270, 270], [1, 2, 21, 66, 84, 231, 231, 308, 462, 462, 462], [1, 3, 3, 3, 4, 4, 4, 4, 4, 6, 12], [1, 3, 3, 3, 4, 6, 8, 12, 12, 12, 24], [1, 3, 3, 3, 5, 6, 6, 10, 15, 15, 15], [1, 3, 3, 3, 6, 6, 20, 20, 30, 30, 30], [1, 3, 3, 3, 6, 16, 16, 24, 24, 24, 48], [1, 3, 3, 5, 9, 10, 30, 30, 45, 45, 45], [1, 3, 3, 7, 7, 18, 42, 42, 63, 63, 63], [1, 3, 3, 9, 20, 20, 60, 60, 90, 90, 90], [1, 3, 4, 6, 6, 21, 21, 28, 42, 42, 42], [1, 3, 4, 7, 35, 60, 140, 140, 210, 210, 210], [1, 3, 4, 10, 18, 45, 45, 60, 90, 90, 90], [1, 3, 7, 7, 42, 72, 168, 168, 252, 252, 252], [1, 3, 8, 15, 15, 24, 30, 40, 60, 60, 60], [1, 3, 26, 126, 364, 819, 819, 1092, 1638, 1638, 1638], [1, 3, 38, 60, 114, 285, 285, 380, 570, 570, 570], [1, 4, 4, 4, 7, 7, 7, 14, 14, 14, 28], [1, 4, 4, 4, 7, 21, 21, 28, 42, 42, 42], [1, 4, 7, 21, 91, 156, 364, 364, 546, 546, 546], [1, 4, 9, 12, 44, 99, 99, 132, 198, 198, 198], [1, 4, 9, 21, 21, 28, 84, 84, 126, 126, 126], [1, 4, 9, 28, 63, 63, 84, 126, 126, 126, 252], [1, 4, 9, 28, 84, 189, 189, 252, 378, 378, 378], [1, 5, 5, 7, 15, 30, 70, 70, 105, 105, 105], [1, 5, 6, 10, 12, 12, 15, 15, 30, 30, 30], [1, 5, 7, 15, 70, 120, 280, 280, 420, 420, 420], [1, 5, 7, 21, 28, 60, 140, 140, 210, 210, 210], [1, 5, 7, 35, 60, 140, 140, 210, 210, 210, 420], [1, 5, 7, 60, 70, 70, 105, 140, 210, 210, 210], [1, 5, 7, 60, 70, 105, 280, 280, 420, 420, 420], [1, 5, 7, 60, 245, 420, 980, 980, 1470, 1470, 1470], [1, 5, 10, 15, 15, 15, 18, 30, 45, 45, 45], [1, 5, 10, 15, 15, 18, 60, 60, 90, 90, 90], [1, 5, 10, 18, 30, 30, 30, 30, 45, 45, 90], [1, 5, 10, 18, 45, 45, 60, 90, 90, 90, 180], [1, 5, 10, 18, 60, 135, 135, 180, 270, 270, 270], [1, 5, 15, 105, 120, 168, 210, 280, 420, 420, 420], [1, 5, 18, 30, 100, 225, 225, 300, 450, 450, 450], [1, 5, 18, 90, 260, 585, 585, 780, 1170, 1170, 1170], [1, 5, 60, 105, 105, 168, 210, 280, 420, 420, 420], [1, 6, 12, 12, 15, 15, 15, 20, 20, 30, 30], [1, 6, 18, 19, 76, 171, 171, 228, 342, 342, 342], [1, 6, 18, 38, 38, 114, 114, 171, 171, 171, 342], [1, 7, 7, 12, 63, 108, 252, 252, 378, 378, 378], [1, 7, 9, 45, 63, 70, 210, 210, 315, 315, 315], [1, 7, 15, 20, 105, 180, 420, 420, 630, 630, 630], [1, 7, 35, 35, 75, 150, 350, 350, 525, 525, 525], [1, 7, 45, 45, 45, 70, 210, 210, 315, 315, 315], [1, 7, 315, 380, 1995, 3420, 7980, 7980, 11970, 11970, 11970], [1, 10, 12, 21, 42, 105, 105, 140, 210, 210, 210], [1, 10, 18, 45, 140, 315, 315, 420, 630, 630, 630], [1, 12, 12, 17, 17, 17, 68, 68, 102, 102, 102], [1, 12, 12, 17, 51, 51, 68, 102, 102, 102, 204], [1, 12, 12, 17, 68, 153, 153, 204, 306, 306, 306], [1, 12, 12, 34, 34, 51, 51, 51, 102, 102, 102], [1, 18, 20, 20, 30, 45, 45, 45, 90, 90, 90], [1, 18, 25, 25, 45, 45, 150, 150, 225, 225, 225], [1, 18, 30, 35, 140, 315, 315, 420, 630, 630, 630], [1, 18, 30, 70, 70, 210, 210, 315, 315, 315, 630], [1, 70, 130, 182, 390, 910, 910, 1365, 1365, 1365, 2730], [1, 74, 117, 666, 1924, 4329, 4329, 5772, 8658, 8658, 8658], [1, 85, 170, 540, 918, 2295, 2295, 3060, 4590, 4590, 4590], [1, 117, 962, 4662, 13468, 30303, 30303, 40404, 60606, 60606, 60606]]
\end{itemize}
\normalsize
\subsection{SageMath code} \label{sub:sage}

\begin{verbatim}
def ModularRep(q,r):
    L=all_rep(q, r)
    P=[]
    for l in L:
        if l[0]!=1: # those starting with 1 should be considered with q-1.
            k=0
            for ll in l:
                if l[-1
                    k=1
                    break
            if k==0:
                lll=[l[-1]/ll for ll in l]
                lll.sort()
                Di=sum([i^2 for i in lll])
                P.append(lll+[[sqrt(Di)]])
    return P

def res_rep(s, N):
    def succ(t):
        s0, m = t
        if s0==0 or len(m)>=N:
            return []
        p = numerator(s0)
        q = denominator(s0)
        if len(m)==N-1:
            if p==1 and is_square(q):
                r = q.isqrt()
                if r>=m[-1]:
                    return [(0,m+(r,))]
            return []
        L = max(m[-1], ((q-1)//p).isqrt()+1)
        U = floor((N-len(m))/s0).isqrt()
        if len(m)==N-2:
            S = []
            try:
                two_squares(p)
                two_squares(q)
            except:
                return S
            q2 = q^2
            for r in (L..U):
                d = p*r^2-q
                if d>0 and q
                    r2 = (q2//d + q)//p
                    if is_square(r2):
                        S.append( (0,m+(r,r2.isqrt())) )
            return S
        if len(m)==N-3:
            t = p*q
            a = valuation(t,2)
            if
                return []
        return ( (s0-1/r^2, m+(r,)) for r in (L..U) )
    return RecursivelyEnumeratedSet(seeds=[(s-1/r^2,(r,)) for r in range(1,floor(N/s).isqrt()+1)], \
    successors=succ, structure='forest')

def all_rep(s, N):
    return res_rep(s,N).map_reduce(lambda t: {t[1]} if t[0]==0 and len(t[1])==N else set(), set.union, \
    set() )

def count_rep(s, N):
    return res_rep(s,N).map_reduce(lambda t: int(t[0]==0 and len(t[1])==N))
\end{verbatim}

\section{List of modular data} \label{sec:modata}
This section provides the list of all the integral modular data (MD) up to rank $11$. Note that they are all categorifiable, i.e. each one is the MD of an integral modular fusion category.  The categorical models are mentioned in Theorem \ref{thm:main}. We will first consider the non-pointed case in \S \ref{sub:non-pointed}, and next the pointed case in \S \ref{sub:pointed}. These data are also available online in a computable form at \cite{data}.
\subsection{Non-pointed case} \label{sub:non-pointed}
Here is the order in which the data are written:
\begin{itemize}
\item rank,
\item type,
\item fusion coefficients,
\item list of topological spins $(s_i)$ giving the T-matrix (see Definition \ref{def:MD}),
\item cyclotomic conductor of the $S$-matrix,
\item cyclotomic conductor of the $T$-matrix (its order),
\item central charge,
\item list of 2nd Frobenius-Schur indicators,
\item $S$-matrix.
\end{itemize}
\subsubsection{Rank $8$, type $[1,1,2,2,2,2,3,3]$, first fusion ring}
$$\begin{smallmatrix}1&0&0&0&0&0&0&0 \\ 0&1&0&0&0&0&0&0 \\ 0&0&1&0&0&0&0&0 \\ 0&0&0&1&0&0&0&0 \\ 0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&0&0&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&1&0&0&0&0&0&0 \\ 1&0&0&0&0&0&0&0 \\ 0&0&1&0&0&0&0&0 \\ 0&0&0&1&0&0&0&0 \\ 0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&0&0&1 \\ 0&0&0&0&0&0&1&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&1&0&0&0&0&0 \\ 0&0&1&0&0&0&0&0 \\ 1&1&0&0&0&1&0&0 \\ 0&0&0&1&1&0&0&0 \\ 0&0&0&1&0&1&0&0 \\ 0&0&1&0&1&0&0&0 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&1&0&0&0&0 \\ 0&0&0&1&0&0&0&0 \\ 0&0&0&1&1&0&0&0 \\ 1&1&1&0&0&0&0&0 \\ 0&0&1&0&0&1&0&0 \\ 0&0&0&0&1&1&0&0 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&1&0&0&0 \\ 0&0&0&0&1&0&0&0 \\ 0&0&0&1&0&1&0&0 \\ 0&0&1&0&0&1&0&0 \\ 1&1&0&0&1&0&0&0 \\ 0&0&1&1&0&0&0&0 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1\end{smallmatrix} , \ \begin{smallmatrix}0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&1&0&0 \\ 0&0&1&0&1&0&0&0 \\ 0&0&0&0&1&1&0&0 \\ 0&0&1&1&0&0&0&0 \\ 1&1&0&1&0&0&0&0 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&0&0&1 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1 \\ 1&0&1&1&1&1&0&0 \\ 0&1&1&1&1&1&0&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&0&0&1 \\ 0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1 \\ 0&1&1&1&1&1&0&0 \\ 1&0&1&1&1&1&0&0\end{smallmatrix}$$
\begin{itemize}
\item $[0, 0, -2/9, 4/9, 0, 1/9, 1/2, 0]$, $9$, $18$, $0$, $[1, 1, 1, 1, 1, 1, 1, 1]$, $$\left[ \begin{matrix}1 & 1 & 2 & 2 & 2 & 2 & 3 & 3 \\ 1 & 1 & 2 & 2 & 2 & 2 & -3 & -3 \\ 2 & 2 & 2\zeta_9^4 + 2\zeta_9^5 & 2\zeta_9^2 + 2\zeta_9^7 & -2 & -2\zeta_9^2 - 2\zeta_9^4 - 2\zeta_9^5 - 2\zeta_9^7 & 0 & 0 \\ 2 & 2 & 2\zeta_9^2 + 2\zeta_9^7 & -2\zeta_9^2 - 2\zeta_9^4 - 2\zeta_9^5 - 2\zeta_9^7 & -2 & 2\zeta_9^4 + 2\zeta_9^5 & 0 & 0 \\ 2 & 2 & -2 & -2 & 4 & -2 & 0 & 0 \\ 2 & 2 & -2\zeta_9^2 - 2\zeta_9^4 - 2\zeta_9^5 - 2\zeta_9^7 & 2\zeta_9^4 + 2\zeta_9^5 & -2 & 2\zeta_9^2 + 2\zeta_9^7 & 0 & 0 \\ 3 & -3 & 0 & 0 & 0 & 0 & 3 & -3 \\ 3 & -3 & 0 & 0 & 0 & 0 & -3 & 3\end{matrix} \right],$$

\item $[0, 0, -4/9, -1/9, 0, 2/9, 1/2, 0]$, $9$, $18$, $0$, $[1, 1, 1, 1, 1, 1, 1, 1]$, $$\left[  \begin{matrix}1 & 1 & 2 & 2 & 2 & 2 & 3 & 3 \\ 1 & 1 & 2 & 2 & 2 & 2 & -3 & -3 \\ 2 & 2 & -2\zeta_9^2 - 2\zeta_9^4 - 2\zeta_9^5 - 2\zeta_9^7 & 2\zeta_9^4 + 2\zeta_9^5 & -2 & 2\zeta_9^2 + 2\zeta_9^7 & 0 & 0 \\ 2 & 2 & 2\zeta_9^4 + 2\zeta_9^5 & 2\zeta_9^2 + 2\zeta_9^7 & -2 & -2\zeta_9^2 - 2\zeta_9^4 - 2\zeta_9^5 - 2\zeta_9^7 & 0 & 0 \\ 2 & 2 & -2 & -2 & 4 & -2 & 0 & 0 \\ 2 & 2 & 2\zeta_9^2 + 2\zeta_9^7 & -2\zeta_9^2 - 2\zeta_9^4 - 2\zeta_9^5 - 2\zeta_9^7 & -2 & 2\zeta_9^4 + 2\zeta_9^5 & 0 & 0 \\ 3 & -3 & 0 & 0 & 0 & 0 & 3 & -3 \\ 3 & -3 & 0 & 0 & 0 & 0 & -3 & 3\end{matrix} \right],$$

\item $[0, 0, -2/9, 4/9, 0, 1/9, -1/4, 1/4]$, $9$, $36$, $0$, $[1, 1, 1, 1, 1, 1, -1, -1]$, $$\left[  \begin{matrix}1 & 1 & 2 & 2 & 2 & 2 & 3 & 3 \\ 1 & 1 & 2 & 2 & 2 & 2 & -3 & -3 \\ 2 & 2 & 2\zeta_9^4 + 2\zeta_9^5 & 2\zeta_9^2 + 2\zeta_9^7 & -2 & -2\zeta_9^2 - 2\zeta_9^4 - 2\zeta_9^5 - 2\zeta_9^7 & 0 & 0 \\ 2 & 2 & 2\zeta_9^2 + 2\zeta_9^7 & -2\zeta_9^2 - 2\zeta_9^4 - 2\zeta_9^5 - 2\zeta_9^7 & -2 & 2\zeta_9^4 + 2\zeta_9^5 & 0 & 0 \\ 2 & 2 & -2 & -2 & 4 & -2 & 0 & 0 \\ 2 & 2 & -2\zeta_9^2 - 2\zeta_9^4 - 2\zeta_9^5 - 2\zeta_9^7 & 2\zeta_9^4 + 2\zeta_9^5 & -2 & 2\zeta_9^2 + 2\zeta_9^7 & 0 & 0 \\ 3 & -3 & 0 & 0 & 0 & 0 & -3 & 3 \\ 3 & -3 & 0 & 0 & 0 & 0 & 3 & -3\end{matrix} \right],$$

\item $[0, 0, -4/9, -1/9, 0, 2/9, -1/4, 1/4]$, $9$, $36$, $0$, $[1, 1, 1, 1, 1, 1, -1, -1],$ $$\left[  \begin{matrix}1 & 1 & 2 & 2 & 2 & 2 & 3 & 3 \\ 1 & 1 & 2 & 2 & 2 & 2 & -3 & -3 \\ 2 & 2 & -2\zeta_9^2 - 2\zeta_9^4 - 2\zeta_9^5 - 2\zeta_9^7 & 2\zeta_9^4 + 2\zeta_9^5 & -2 & 2\zeta_9^2 + 2\zeta_9^7 & 0 & 0 \\ 2 & 2 & 2\zeta_9^4 + 2\zeta_9^5 & 2\zeta_9^2 + 2\zeta_9^7 & -2 & -2\zeta_9^2 - 2\zeta_9^4 - 2\zeta_9^5 - 2\zeta_9^7 & 0 & 0 \\ 2 & 2 & -2 & -2 & 4 & -2 & 0 & 0 \\ 2 & 2 & 2\zeta_9^2 + 2\zeta_9^7 & -2\zeta_9^2 - 2\zeta_9^4 - 2\zeta_9^5 - 2\zeta_9^7 & -2 & 2\zeta_9^4 + 2\zeta_9^5 & 0 & 0 \\ 3 & -3 & 0 & 0 & 0 & 0 & -3 & 3 \\ 3 & -3 & 0 & 0 & 0 & 0 & 3 & -3 \end{matrix} \right] $$
\end{itemize}
\subsubsection{Rank $8$, type $[1,1,2,2,2,2,3,3]$, second fusion ring}
$$\begin{smallmatrix}1&0&0&0&0&0&0&0 \\ 0&1&0&0&0&0&0&0 \\ 0&0&1&0&0&0&0&0 \\ 0&0&0&1&0&0&0&0 \\ 0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&0&0&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&1&0&0&0&0&0&0 \\ 1&0&0&0&0&0&0&0 \\ 0&0&1&0&0&0&0&0 \\ 0&0&0&1&0&0&0&0 \\ 0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&0&0&1 \\ 0&0&0&0&0&0&1&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&1&0&0&0&0&0 \\ 0&0&1&0&0&0&0&0 \\ 1&1&1&0&0&0&0&0 \\ 0&0&0&0&1&1&0&0 \\ 0&0&0&1&0&1&0&0 \\ 0&0&0&1&1&0&0&0 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&1&0&0&0&0 \\ 0&0&0&1&0&0&0&0 \\ 0&0&0&0&1&1&0&0 \\ 1&1&0&1&0&0&0&0 \\ 0&0&1&0&0&1&0&0 \\ 0&0&1&0&1&0&0&0 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&1&0&0&0 \\ 0&0&0&0&1&0&0&0 \\ 0&0&0&1&0&1&0&0 \\ 0&0&1&0&0&1&0&0 \\ 1&1&0&0&1&0&0&0 \\ 0&0&1&1&0&0&0&0 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1\end{smallmatrix} , \ \begin{smallmatrix}0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&1&0&0 \\ 0&0&0&1&1&0&0&0 \\ 0&0&1&0&1&0&0&0 \\ 0&0&1&1&0&0&0&0 \\ 1&1&0&0&0&1&0&0 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&0&0&1 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1 \\ 1&0&1&1&1&1&0&0 \\ 0&1&1&1&1&1&0&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&0&0&1 \\ 0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1 \\ 0&0&0&0&0&0&1&1 \\ 0&1&1&1&1&1&0&0 \\ 1&0&1&1&1&1&0&0\end{smallmatrix}$$
\begin{itemize}
\item  $[0, 0, -1/3, 1/3, 0, 0, 1/2, 0]$, $1$, $6$, $0$, $[1, 1, 1, 1, 1, 1, 1, 1]$, $$ \left[ \begin{matrix}1 & 1 & 2 & 2 & 2 & 2 & 3 & 3 \\ 1 & 1 & 2 & 2 & 2 & 2 & -3 & -3 \\ 2 & 2 & -2 & 4 & -2 & -2 & 0 & 0 \\ 2 & 2 & 4 & -2 & -2 & -2 & 0 & 0 \\ 2 & 2 & -2 & -2 & 4 & -2 & 0 & 0 \\ 2 & 2 & -2 & -2 & -2 & 4 & 0 & 0 \\ 3 & -3 & 0 & 0 & 0 & 0 & 3 & -3 \\ 3 & -3 & 0 & 0 & 0 & 0 & -3 & 3\end{matrix} \right]$$
\item  $[0, 0, -1/3, -1/3, 1/3, 1/3, 1/2, 0]$, $1$, $6$, $4$, $[1, 1, 1, 1, 1, 1, -1, -1]$, $$ \left[ \begin{matrix}1 & 1 & 2 & 2 & 2 & 2 & 3 & 3 \\ 1 & 1 & 2 & 2 & 2 & 2 & -3 & -3 \\ 2 & 2 & -2 & 4 & -2 & -2 & 0 & 0 \\ 2 & 2 & 4 & -2 & -2 & -2 & 0 & 0 \\ 2 & 2 & -2 & -2 & -2 & 4 & 0 & 0 \\ 2 & 2 & -2 & -2 & 4 & -2 & 0 & 0 \\ 3 & -3 & 0 & 0 & 0 & 0 & -3 & 3 \\ 3 & -3 & 0 & 0 & 0 & 0 & 3 & -3\end{matrix} \right]$$
\item  $[0, 0, -1/3, 1/3, 0, 0, -1/4, 1/4]$, $1$, $12$, $0$, $[1, 1, 1, 1, 1, 1, -1, -1]$, $$ \left[ \begin{matrix}1 & 1 & 2 & 2 & 2 & 2 & 3 & 3 \\ 1 & 1 & 2 & 2 & 2 & 2 & -3 & -3 \\ 2 & 2 & -2 & 4 & -2 & -2 & 0 & 0 \\ 2 & 2 & 4 & -2 & -2 & -2 & 0 & 0 \\ 2 & 2 & -2 & -2 & 4 & -2 & 0 & 0 \\ 2 & 2 & -2 & -2 & -2 & 4 & 0 & 0 \\ 3 & -3 & 0 & 0 & 0 & 0 & -3 & 3 \\ 3 & -3 & 0 & 0 & 0 & 0 & 3 & -3\end{matrix} \right]$$
\item  $[0, 0, -1/3, -1/3, 1/3, 1/3, -1/4, 1/4]$, $1$, $12$, $4$, $[1, 1, 1, 1, 1, 1, 1, 1]$, $$ \left[ \begin{matrix}1 & 1 & 2 & 2 & 2 & 2 & 3 & 3 \\ 1 & 1 & 2 & 2 & 2 & 2 & -3 & -3 \\ 2 & 2 & -2 & 4 & -2 & -2 & 0 & 0 \\ 2 & 2 & 4 & -2 & -2 & -2 & 0 & 0 \\ 2 & 2 & -2 & -2 & -2 & 4 & 0 & 0 \\ 2 & 2 & -2 & -2 & 4 & -2 & 0 & 0 \\ 3 & -3 & 0 & 0 & 0 & 0 & 3 & -3 \\ 3 & -3 & 0 & 0 & 0 & 0 & -3 & 3\end{matrix} \right]$$
\end{itemize}
\subsubsection{Rank $10$, type $[1, 1, 1, 2, 2, 2, 2, 2, 2, 3]$, first fusion ring}
$$\begin{smallmatrix}1&0&0&0&0&0&0&0&0&0 \\ 0&1&0&0&0&0&0&0&0&0 \\ 0&0&1&0&0&0&0&0&0&0 \\ 0&0&0&1&0&0&0&0&0&0 \\ 0&0&0&0&1&0&0&0&0&0 \\ 0&0&0&0&0&1&0&0&0&0 \\ 0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&0&0&0&0&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&1&0&0&0&0&0&0&0&0 \\ 0&0&1&0&0&0&0&0&0&0 \\ 1&0&0&0&0&0&0&0&0&0 \\ 0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&0&0&0&1&0 \\ 0&0&0&0&1&0&0&0&0&0 \\ 0&0&0&1&0&0&0&0&0&0 \\ 0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&1&0&0&0&0 \\ 0&0&0&0&0&0&0&0&0&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&1&0&0&0&0&0&0&0 \\ 1&0&0&0&0&0&0&0&0&0 \\ 0&1&0&0&0&0&0&0&0&0 \\ 0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&1&0&0&0&0 \\ 0&0&0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&1&0&0&0&0&0&0 \\ 0&0&0&0&1&0&0&0&0&0 \\ 0&0&0&0&0&0&0&0&0&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&1&0&0&0&0&0&0 \\ 0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&1&0&0&1&0 \\ 0&0&1&0&0&0&0&0&0&1 \\ 0&1&0&0&0&0&0&0&0&1 \\ 0&0&0&0&1&0&0&0&1&0 \\ 0&0&0&0&1&1&0&0&0&0 \\ 1&0&0&0&0&0&0&0&0&1 \\ 0&0&0&1&0&0&1&1&0&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&1&0&0&0&0&0 \\ 0&0&0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&1&0&0&0&0 \\ 0&0&1&0&0&0&0&0&0&1 \\ 0&0&0&1&0&0&0&1&0&0 \\ 0&0&0&1&0&0&1&0&0&0 \\ 0&1&0&0&0&0&0&0&0&1 \\ 1&0&0&0&0&0&0&0&0&1 \\ 0&0&0&0&0&0&1&1&0&0 \\ 0&0&0&0&1&1&0&0&1&0\end{smallmatrix} ,$$   $$\begin{smallmatrix}0&0&0&0&0&1&0&0&0&0 \\ 0&0&0&0&1&0&0&0&0&0 \\ 0&0&0&0&0&0&0&0&1&0 \\ 0&1&0&0&0&0&0&0&0&1 \\ 0&0&0&1&0&0&1&0&0&0 \\ 0&0&0&0&0&0&1&1&0&0 \\ 1&0&0&0&0&0&0&0&0&1 \\ 0&0&1&0&0&0&0&0&0&1 \\ 0&0&0&1&0&0&0&1&0&0 \\ 0&0&0&0&1&1&0&0&1&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&1&0&0&0&0&0&0 \\ 0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&0&1&0&0&0&1&0 \\ 0&1&0&0&0&0&0&0&0&1 \\ 1&0&0&0&0&0&0&0&0&1 \\ 0&0&0&0&1&1&0&0&0&0 \\ 0&0&0&0&0&1&0&0&1&0 \\ 0&0&1&0&0&0&0&0&0&1 \\ 0&0&0&1&0&0&1&1&0&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&1&0&0&0&0&0&0 \\ 0&0&0&0&1&1&0&0&0&0 \\ 1&0&0&0&0&0&0&0&0&1 \\ 0&0&1&0&0&0&0&0&0&1 \\ 0&0&0&0&0&1&0&0&1&0 \\ 0&0&0&0&1&0&0&0&1&0 \\ 0&1&0&0&0&0&0&0&0&1 \\ 0&0&0&1&0&0&1&1&0&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&1&0&0&0&0 \\ 0&0&0&0&1&0&0&0&0&0 \\ 1&0&0&0&0&0&0&0&0&1 \\ 0&0&0&0&0&0&1&1&0&0 \\ 0&0&0&1&0&0&0&1&0&0 \\ 0&0&1&0&0&0&0&0&0&1 \\ 0&1&0&0&0&0&0&0&0&1 \\ 0&0&0&1&0&0&1&0&0&0 \\ 0&0&0&0&1&1&0&0&1&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&0&0&0&0&1 \\ 0&0&0&0&0&0&0&0&0&1 \\ 0&0&0&0&0&0&0&0&0&1 \\ 0&0&0&1&0&0&1&1&0&0 \\ 0&0&0&0&1&1&0&0&1&0 \\ 0&0&0&0&1&1&0&0&1&0 \\ 0&0&0&1&0&0&1&1&0&0 \\ 0&0&0&1&0&0&1&1&0&0 \\ 0&0&0&0&1&1&0&0&1&0 \\ 1&1&1&0&0&0&0&0&0&2\end{smallmatrix}$$

\begin{itemize}
\item $[0, 0, 0, 1/9, 4/9, -2/9, -2/9, 4/9, 1/9, 1/2]$, $9$, $18$, $4$, $[1, 0, 0, 0, 0, 0, 0, 0, 0, 1]$,
$$ \left[  \begin{matrix}1 & 1 & 1 & 2 & 2 & 2 & 2 & 2 & 2 & 3 \\ 1 & 1 & 1 & 2\zeta_3^2 & 2\zeta_3 & 2\zeta_3 & 2\zeta_3^2 & 2\zeta_3^2 & 2\zeta_3 & 3 \\ 1 & 1 & 1 & 2\zeta_3 & 2\zeta_3^2 & 2\zeta_3^2 & 2\zeta_3 & 2\zeta_3 & 2\zeta_3^2 & 3 \\ 2 & 2\zeta_3^2 & 2\zeta_3 & -2\zeta_9^7 & -2\zeta_9^5 & 2\zeta_9^2 + 2\zeta_9^5 & 2\zeta_9^4 + 2\zeta_9^7 & -2\zeta_9^4 & -2\zeta_9^2 & 0 \\ 2 & 2\zeta_3 & 2\zeta_3^2 & -2\zeta_9^5 & 2\zeta_9^4 + 2\zeta_9^7 & -2\zeta_9^7 & -2\zeta_9^2 & 2\zeta_9^2 + 2\zeta_9^5 & -2\zeta_9^4 & 0 \\ 2 & 2\zeta_3 & 2\zeta_3^2 & 2\zeta_9^2 + 2\zeta_9^5 & -2\zeta_9^7 & -2\zeta_9^4 & -2\zeta_9^5 & -2\zeta_9^2 & 2\zeta_9^4 + 2\zeta_9^7 & 0 \\ 2 & 2\zeta_3^2 & 2\zeta_3 & 2\zeta_9^4 + 2\zeta_9^7 & -2\zeta_9^2 & -2\zeta_9^5 & -2\zeta_9^4 & -2\zeta_9^7 & 2\zeta_9^2 + 2\zeta_9^5 & 0 \\ 2 & 2\zeta_3^2 & 2\zeta_3 & -2\zeta_9^4 & 2\zeta_9^2 + 2\zeta_9^5 & -2\zeta_9^2 & -2\zeta_9^7 & 2\zeta_9^4 + 2\zeta_9^7 & -2\zeta_9^5 & 0 \\ 2 & 2\zeta_3 & 2\zeta_3^2 & -2\zeta_9^2 & -2\zeta_9^4 & 2\zeta_9^4 + 2\zeta_9^7 & 2\zeta_9^2 + 2\zeta_9^5 & -2\zeta_9^5 & -2\zeta_9^7 & 0 \\ 3 & 3 & 3 & 0 & 0 & 0 & 0 & 0 & 0 & -3\end{matrix} \right] $$
\item $[0, 0, 0, 2/9, -1/9, -4/9, -4/9, -1/9, 2/9, 1/2]$, $9$, $18$, $4$, $[1, 0, 0, 0, 0, 0, 0, 0, 0, 1]$,
$$ \left[  \begin{matrix}1 & 1 & 1 & 2 & 2 & 2 & 2 & 2 & 2 & 3 \\ 1 & 1 & 1 & 2\zeta_3 & 2\zeta_3^2 & 2\zeta_3^2 & 2\zeta_3 & 2\zeta_3 & 2\zeta_3^2 & 3 \\ 1 & 1 & 1 & 2\zeta_3^2 & 2\zeta_3 & 2\zeta_3 & 2\zeta_3^2 & 2\zeta_3^2 & 2\zeta_3 & 3 \\ 2 & 2\zeta_3 & 2\zeta_3^2 & -2\zeta_9^5 & 2\zeta_9^4 + 2\zeta_9^7 & -2\zeta_9^7 & -2\zeta_9^2 & 2\zeta_9^2 + 2\zeta_9^5 & -2\zeta_9^4 & 0 \\ 2 & 2\zeta_3^2 & 2\zeta_3 & 2\zeta_9^4 + 2\zeta_9^7 & -2\zeta_9^2 & -2\zeta_9^5 & -2\zeta_9^4 & -2\zeta_9^7 & 2\zeta_9^2 + 2\zeta_9^5 & 0 \\ 2 & 2\zeta_3^2 & 2\zeta_3 & -2\zeta_9^7 & -2\zeta_9^5 & 2\zeta_9^2 + 2\zeta_9^5 & 2\zeta_9^4 + 2\zeta_9^7 & -2\zeta_9^4 & -2\zeta_9^2 & 0 \\ 2 & 2\zeta_3 & 2\zeta_3^2 & -2\zeta_9^2 & -2\zeta_9^4 & 2\zeta_9^4 + 2\zeta_9^7 & 2\zeta_9^2 + 2\zeta_9^5 & -2\zeta_9^5 & -2\zeta_9^7 & 0 \\ 2 & 2\zeta_3 & 2\zeta_3^2 & 2\zeta_9^2 + 2\zeta_9^5 & -2\zeta_9^7 & -2\zeta_9^4 & -2\zeta_9^5 & -2\zeta_9^2 & 2\zeta_9^4 + 2\zeta_9^7 & 0 \\ 2 & 2\zeta_3^2 & 2\zeta_3 & -2\zeta_9^4 & 2\zeta_9^2 + 2\zeta_9^5 & -2\zeta_9^2 & -2\zeta_9^7 & 2\zeta_9^4 + 2\zeta_9^7 & -2\zeta_9^5 & 0 \\ 3 & 3 & 3 & 0 & 0 & 0 & 0 & 0 & 0 & -3\end{matrix} \right] $$
\end{itemize}
\subsubsection{Rank $10$, type $[1, 1, 1, 2, 2, 2, 2, 2, 2, 3]$, second fusion ring}
$$\begin{smallmatrix}1&0&0&0&0&0&0&0&0&0 \\ 0&1&0&0&0&0&0&0&0&0 \\ 0&0&1&0&0&0&0&0&0&0 \\ 0&0&0&1&0&0&0&0&0&0 \\ 0&0&0&0&1&0&0&0&0&0 \\ 0&0&0&0&0&1&0&0&0&0 \\ 0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&0&0&0&0&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&1&0&0&0&0&0&0&0&0 \\ 0&0&1&0&0&0&0&0&0&0 \\ 1&0&0&0&0&0&0&0&0&0 \\ 0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&0&0&0&1&0 \\ 0&0&0&0&1&0&0&0&0&0 \\ 0&0&0&1&0&0&0&0&0&0 \\ 0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&1&0&0&0&0 \\ 0&0&0&0&0&0&0&0&0&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&1&0&0&0&0&0&0&0 \\ 1&0&0&0&0&0&0&0&0&0 \\ 0&1&0&0&0&0&0&0&0&0 \\ 0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&1&0&0&0&0 \\ 0&0&0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&1&0&0&0&0&0&0 \\ 0&0&0&0&1&0&0&0&0&0 \\ 0&0&0&0&0&0&0&0&0&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&1&0&0&0&0&0&0 \\ 0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&1&0&0&1&0 \\ 0&0&1&0&0&0&0&0&0&1 \\ 0&1&0&0&0&0&0&0&0&1 \\ 0&0&0&0&1&0&0&0&1&0 \\ 0&0&0&0&1&1&0&0&0&0 \\ 1&0&0&0&0&0&0&0&0&1 \\ 0&0&0&1&0&0&1&1&0&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&1&0&0&0&0&0 \\ 0&0&0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&1&0&0&0&0 \\ 0&0&1&0&0&0&0&0&0&1 \\ 0&0&0&1&0&0&0&1&0&0 \\ 0&0&0&1&0&0&1&0&0&0 \\ 0&1&0&0&0&0&0&0&0&1 \\ 1&0&0&0&0&0&0&0&0&1 \\ 0&0&0&0&0&0&1&1&0&0 \\ 0&0&0&0&1&1&0&0&1&0\end{smallmatrix} ,$$   $$\begin{smallmatrix}0&0&0&0&0&1&0&0&0&0 \\ 0&0&0&0&1&0&0&0&0&0 \\ 0&0&0&0&0&0&0&0&1&0 \\ 0&1&0&0&0&0&0&0&0&1 \\ 0&0&0&1&0&0&1&0&0&0 \\ 0&0&0&0&0&0&1&1&0&0 \\ 1&0&0&0&0&0&0&0&0&1 \\ 0&0&1&0&0&0&0&0&0&1 \\ 0&0&0&1&0&0&0&1&0&0 \\ 0&0&0&0&1&1&0&0&1&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&1&0&0&0&0&0&0 \\ 0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&0&1&0&0&0&1&0 \\ 0&1&0&0&0&0&0&0&0&1 \\ 1&0&0&0&0&0&0&0&0&1 \\ 0&0&0&0&1&1&0&0&0&0 \\ 0&0&0&0&0&1&0&0&1&0 \\ 0&0&1&0&0&0&0&0&0&1 \\ 0&0&0&1&0&0&1&1&0&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&1&0&0&0&0&0&0 \\ 0&0&0&0&1&1&0&0&0&0 \\ 1&0&0&0&0&0&0&0&0&1 \\ 0&0&1&0&0&0&0&0&0&1 \\ 0&0&0&0&0&1&0&0&1&0 \\ 0&0&0&0&1&0&0&0&1&0 \\ 0&1&0&0&0&0&0&0&0&1 \\ 0&0&0&1&0&0&1&1&0&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&1&0&0&0&0 \\ 0&0&0&0&1&0&0&0&0&0 \\ 1&0&0&0&0&0&0&0&0&1 \\ 0&0&0&0&0&0&1&1&0&0 \\ 0&0&0&1&0&0&0&1&0&0 \\ 0&0&1&0&0&0&0&0&0&1 \\ 0&1&0&0&0&0&0&0&0&1 \\ 0&0&0&1&0&0&1&0&0&0 \\ 0&0&0&0&1&1&0&0&1&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&0&0&0&0&1 \\ 0&0&0&0&0&0&0&0&0&1 \\ 0&0&0&0&0&0&0&0&0&1 \\ 0&0&0&1&0&0&1&1&0&0 \\ 0&0&0&0&1&1&0&0&1&0 \\ 0&0&0&0&1&1&0&0&1&0 \\ 0&0&0&1&0&0&1&1&0&0 \\ 0&0&0&1&0&0&1&1&0&0 \\ 0&0&0&0&1&1&0&0&1&0 \\ 1&1&1&0&0&0&0&0&0&2\end{smallmatrix}$$
\begin{itemize}
\item $[0, 0, 0, 0, 1/3, -1/3, -1/3, 1/3, 0, 1/2]$, $3$, $6$, $4$, $[1, 0, 0, 0, 0, 0, 0, 0, 0, 1]$,
$$ \left[  \begin{matrix}1 & 1 & 1 & 2 & 2 & 2 & 2 & 2 & 2 & 3 \\ 1 & 1 & 1 & 2\zeta_3^2 & 2\zeta_3 & 2\zeta_3 & 2\zeta_3^2 & 2\zeta_3^2 & 2\zeta_3 & 3 \\ 1 & 1 & 1 & 2\zeta_3 & 2\zeta_3^2 & 2\zeta_3^2 & 2\zeta_3 & 2\zeta_3 & 2\zeta_3^2 & 3 \\ 2 & 2\zeta_3^2 & 2\zeta_3 & -2 & -2\zeta_3 & -2\zeta_3^2 & -2\zeta_3 & -2\zeta_3^2 & -2 & 0 \\ 2 & 2\zeta_3 & 2\zeta_3^2 & -2\zeta_3 & -2\zeta_3 & -2 & -2 & -2\zeta_3^2 & -2\zeta_3^2 & 0 \\ 2 & 2\zeta_3 & 2\zeta_3^2 & -2\zeta_3^2 & -2 & -2\zeta_3^2 & -2\zeta_3 & -2 & -2\zeta_3 & 0 \\ 2 & 2\zeta_3^2 & 2\zeta_3 & -2\zeta_3 & -2 & -2\zeta_3 & -2\zeta_3^2 & -2 & -2\zeta_3^2 & 0 \\ 2 & 2\zeta_3^2 & 2\zeta_3 & -2\zeta_3^2 & -2\zeta_3^2 & -2 & -2 & -2\zeta_3 & -2\zeta_3 & 0 \\ 2 & 2\zeta_3 & 2\zeta_3^2 & -2 & -2\zeta_3^2 & -2\zeta_3 & -2\zeta_3^2 & -2\zeta_3 & -2 & 0 \\ 3 & 3 & 3 & 0 & 0 & 0 & 0 & 0 & 0 & -3\end{matrix} \right] $$
\end{itemize}

\subsubsection{Rank $11$, $[1,1,1,1,2,2,2,2,2,2,2]$} \label{subsubR11}
$$\begin{smallmatrix}[1&0&0&0&0&0&0&0&0&0&0 \\ 0&1&0&0&0&0&0&0&0&0&0 \\ 0&0&1&0&0&0&0&0&0&0&0 \\ 0&0&0&1&0&0&0&0&0&0&0 \\ 0&0&0&0&1&0&0&0&0&0&0 \\ 0&0&0&0&0&1&0&0&0&0&0 \\ 0&0&0&0&0&0&1&0&0&0&0 \\ 0&0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&0&0&0&0&0&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&1&0&0&0&0&0&0&0&0&0 \\ 1&0&0&0&0&0&0&0&0&0&0 \\ 0&0&0&1&0&0&0&0&0&0&0 \\ 0&0&1&0&0&0&0&0&0&0&0 \\ 0&0&0&0&0&0&0&0&0&0&1 \\ 0&0&0&0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&0&1&0&0&0&0 \\ 0&0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&1&0&0&0&0&0 \\ 0&0&0&0&1&0&0&0&0&0&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&1&0&0&0&0&0&0&0&0 \\ 0&0&0&1&0&0&0&0&0&0&0 \\ 1&0&0&0&0&0&0&0&0&0&0 \\ 0&1&0&0&0&0&0&0&0&0&0 \\ 0&0&0&0&0&0&0&0&0&0&1 \\ 0&0&0&0&0&1&0&0&0&0&0 \\ 0&0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&0&1&0&0&0&0 \\ 0&0&0&0&0&0&0&0&0&1&0 \\ 0&0&0&0&1&0&0&0&0&0&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&1&0&0&0&0&0&0&0 \\ 0&0&1&0&0&0&0&0&0&0&0 \\ 0&1&0&0&0&0&0&0&0&0&0 \\ 1&0&0&0&0&0&0&0&0&0&0 \\ 0&0&0&0&1&0&0&0&0&0&0 \\ 0&0&0&0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&0&1&0&0&0&0 \\ 0&0&0&0&0&1&0&0&0&0&0 \\ 0&0&0&0&0&0&0&0&0&0&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&1&0&0&0&0&0&0 \\ 0&0&0&0&0&0&0&0&0&0&1 \\ 0&0&0&0&0&0&0&0&0&0&1 \\ 0&0&0&0&1&0&0&0&0&0&0 \\ 1&0&0&1&0&0&0&1&0&0&0 \\ 0&0&0&0&0&0&1&0&1&0&0 \\ 0&0&0&0&0&1&0&0&0&1&0 \\ 0&0&0&0&1&0&0&0&0&0&1 \\ 0&0&0&0&0&1&0&0&0&1&0 \\ 0&0&0&0&0&0&1&0&1&0&0 \\ 0&1&1&0&0&0&0&1&0&0&0\end{smallmatrix} ,$$  $$\begin{smallmatrix}0&0&0&0&0&1&0&0&0&0&0 \\ 0&0&0&0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&1&0&0&0&0&0 \\ 0&0&0&0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&0&1&0&1&0&0 \\ 1&0&1&0&0&0&0&1&0&0&0 \\ 0&0&0&0&1&0&0&0&0&0&1 \\ 0&0&0&0&0&1&0&0&0&1&0 \\ 0&0&0&0&1&0&0&0&0&0&1 \\ 0&1&0&1&0&0&0&1&0&0&0 \\ 0&0&0&0&0&0&1&0&1&0&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&0&1&0&0&0&0 \\ 0&0&0&0&0&0&1&0&0&0&0 \\ 0&0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&1&0&0&0&1&0 \\ 0&0&0&0&1&0&0&0&0&0&1 \\ 1&1&0&0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&0&1&0&1&0&0 \\ 0&0&1&1&0&0&0&1&0&0&0 \\ 0&0&0&0&1&0&0&0&0&0&1 \\ 0&0&0&0&0&1&0&0&0&1&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&0&0&1&0&0&0 \\ 0&0&0&0&1&0&0&0&0&0&1 \\ 0&0&0&0&0&1&0&0&0&1&0 \\ 0&0&0&0&0&0&1&0&1&0&0 \\ 1&1&1&1&0&0&0&0&0&0&0 \\ 0&0&0&0&0&0&1&0&1&0&0 \\ 0&0&0&0&0&1&0&0&0&1&0 \\ 0&0&0&0&1&0&0&0&0&0&1\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&0&0&0&1&0&0 \\ 0&0&0&0&0&0&1&0&0&0&0 \\ 0&0&0&0&0&0&1&0&0&0&0 \\ 0&0&0&0&0&1&0&0&0&1&0 \\ 0&0&0&0&1&0&0&0&0&0&1 \\ 0&0&1&1&0&0&0&1&0&0&0 \\ 0&0&0&0&0&0&1&0&1&0&0 \\ 1&1&0&0&0&0&0&1&0&0&0 \\ 0&0&0&0&1&0&0&0&0&0&1 \\ 0&0&0&0&0&1&0&0&0&1&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&1&0&0&0&0&0 \\ 0&0&0&0&0&0&0&0&0&1&0 \\ 0&0&0&0&0&1&0&0&0&0&0 \\ 0&0&0&0&0&0&1&0&1&0&0 \\ 0&1&0&1&0&0&0&1&0&0&0 \\ 0&0&0&0&1&0&0&0&0&0&1 \\ 0&0&0&0&0&1&0&0&0&1&0 \\ 0&0&0&0&1&0&0&0&0&0&1 \\ 1&0&1&0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&0&1&0&1&0&0\end{smallmatrix} ,   \ \begin{smallmatrix}0&0&0&0&0&0&0&0&0&0&1 \\ 0&0&0&0&1&0&0&0&0&0&0 \\ 0&0&0&0&1&0&0&0&0&0&0 \\ 0&0&0&0&0&0&0&0&0&0&1 \\ 0&1&1&0&0&0&0&1&0&0&0 \\ 0&0&0&0&0&0&1&0&1&0&0 \\ 0&0&0&0&0&1&0&0&0&1&0 \\ 0&0&0&0&1&0&0&0&0&0&1 \\ 0&0&0&0&0&1&0&0&0&1&0 \\ 0&0&0&0&0&0&1&0&1&0&0 \\ 1&0&0&1&0&0&0&1&0&0&0\end{smallmatrix}$$
\begin{itemize}
\item $[0, 0, 0, 0, -7/16, -3/16, -3/16, 1/4, 5/16, 5/16, 1/16]$, $8$, $16$, $1$, $[1, 1, 1, 1, 1, -1, -1, 1, -1, -1, 1]$,
$$\left[\begin{array}{*{11}c}1 & 1 & 1 & 1 & 2 & 2 & 2 & 2 & 2 & 2 & 2 \\ 1 & 1 & 1 & 1 & -2 & -2 & 2 & 2 & 2 & -2 & -2 \\ 1 & 1 & 1 & 1 & -2 & 2 & -2 & 2 & -2 & 2 & -2 \\ 1 & 1 & 1 & 1 & 2 & -2 & -2 & 2 & -2 & -2 & 2 \\ 2 & -2 & -2 & 2 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 & 0 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 \\ 2 & -2 & 2 & -2 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 \\ 2 & 2 & -2 & -2 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 \\ 2 & 2 & 2 & 2 & 0 & 0 & 0 & -4 & 0 & 0 & 0 \\ 2 & 2 & -2 & -2 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 \\ 2 & -2 & 2 & -2 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 \\ 2 & -2 & -2 & 2 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 & 0 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3\end{array}\right]$$
\item $[0, 0, 0, 0, -7/16, -3/16, 1/16, 1/4, -7/16, 5/16, 1/16]$, $8$, 16, $1$, $[1, 1, 1, 1, -1, 1, -1, 1, -1, 1, -1]$,
$$\left[\begin{array}{*{11}c}1 & 1 & 1 & 1 & 2 & 2 & 2 & 2 & 2 & 2 & 2 \\ 1 & 1 & 1 & 1 & -2 & -2 & 2 & 2 & 2 & -2 & -2 \\ 1 & 1 & 1 & 1 & -2 & 2 & -2 & 2 & -2 & 2 & -2 \\ 1 & 1 & 1 & 1 & 2 & -2 & -2 & 2 & -2 & -2 & 2 \\ 2 & -2 & -2 & 2 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 & 0 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 \\ 2 & -2 & 2 & -2 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 \\ 2 & 2 & -2 & -2 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 \\ 2 & 2 & 2 & 2 & 0 & 0 & 0 & -4 & 0 & 0 & 0 \\ 2 & 2 & -2 & -2 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 \\ 2 & -2 & 2 & -2 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 \\ 2 & -2 & -2 & 2 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 & 0 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3\end{array}\right]$$
\item $[0, 0, 0, 0, -7/16, 1/16, 1/16, 1/4, -7/16, -7/16, 1/16]$, $8$, 16, $1$, $[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]$,
$$\left[\begin{array}{*{11}c}1 & 1 & 1 & 1 & 2 & 2 & 2 & 2 & 2 & 2 & 2 \\ 1 & 1 & 1 & 1 & -2 & -2 & 2 & 2 & 2 & -2 & -2 \\ 1 & 1 & 1 & 1 & -2 & 2 & -2 & 2 & -2 & 2 & -2 \\ 1 & 1 & 1 & 1 & 2 & -2 & -2 & 2 & -2 & -2 & 2 \\ 2 & -2 & -2 & 2 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 & 0 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 \\ 2 & -2 & 2 & -2 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 \\ 2 & 2 & -2 & -2 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 \\ 2 & 2 & 2 & 2 & 0 & 0 & 0 & -4 & 0 & 0 & 0 \\ 2 & 2 & -2 & -2 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 \\ 2 & -2 & 2 & -2 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 \\ 2 & -2 & -2 & 2 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 & 0 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3\end{array}\right]$$
\item $[0, 0, 0, 0, -3/16, 5/16, 5/16, 1/4, -3/16, -3/16, 5/16]$, $8$, $16$, $1$, $[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]$,
$$\left[\begin{array}{*{11}c}1 & 1 & 1 & 1 & 2 & 2 & 2 & 2 & 2 & 2 & 2 \\ 1 & 1 & 1 & 1 & -2 & -2 & 2 & 2 & 2 & -2 & -2 \\ 1 & 1 & 1 & 1 & -2 & 2 & -2 & 2 & -2 & 2 & -2 \\ 1 & 1 & 1 & 1 & 2 & -2 & -2 & 2 & -2 & -2 & 2 \\ 2 & -2 & -2 & 2 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 & 0 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 \\ 2 & -2 & 2 & -2 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 \\ 2 & 2 & -2 & -2 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 \\ 2 & 2 & 2 & 2 & 0 & 0 & 0 & -4 & 0 & 0 & 0 \\ 2 & 2 & -2 & -2 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 \\ 2 & -2 & 2 & -2 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 \\ 2 & -2 & -2 & 2 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 & 0 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3\end{array}\right]$$
\item $[0, 0, 0, 0, -5/16, 7/16, 7/16, -1/4, -1/16, -1/16, 3/16]$, $8$, 16, $-1$, $[1, 1, 1, 1, 1, -1, -1, 1, -1, -1, 1]$,
$$\left[\begin{array}{*{11}c}1 & 1 & 1 & 1 & 2 & 2 & 2 & 2 & 2 & 2 & 2 \\ 1 & 1 & 1 & 1 & -2 & -2 & 2 & 2 & 2 & -2 & -2 \\ 1 & 1 & 1 & 1 & -2 & 2 & -2 & 2 & -2 & 2 & -2 \\ 1 & 1 & 1 & 1 & 2 & -2 & -2 & 2 & -2 & -2 & 2 \\ 2 & -2 & -2 & 2 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 & 0 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 \\ 2 & -2 & 2 & -2 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 \\ 2 & 2 & -2 & -2 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 \\ 2 & 2 & 2 & 2 & 0 & 0 & 0 & -4 & 0 & 0 & 0 \\ 2 & 2 & -2 & -2 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 \\ 2 & -2 & 2 & -2 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 \\ 2 & -2 & -2 & 2 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 & 0 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3\end{array}\right]$$
\item $[0, 0, 0, 0, -5/16, 7/16, -5/16, -1/4, 3/16, -1/16, 3/16]$, $8$, 16, $-1$, $[1, 1, 1, 1, -1, 1, -1, 1, -1, 1, -1]$,
$$\left[\begin{array}{*{11}c}1 & 1 & 1 & 1 & 2 & 2 & 2 & 2 & 2 & 2 & 2 \\ 1 & 1 & 1 & 1 & -2 & -2 & 2 & 2 & 2 & -2 & -2 \\ 1 & 1 & 1 & 1 & -2 & 2 & -2 & 2 & -2 & 2 & -2 \\ 1 & 1 & 1 & 1 & 2 & -2 & -2 & 2 & -2 & -2 & 2 \\ 2 & -2 & -2 & 2 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 & 0 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 \\ 2 & -2 & 2 & -2 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 \\ 2 & 2 & -2 & -2 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 \\ 2 & 2 & 2 & 2 & 0 & 0 & 0 & -4 & 0 & 0 & 0 \\ 2 & 2 & -2 & -2 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 \\ 2 & -2 & 2 & -2 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 \\ 2 & -2 & -2 & 2 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 & 0 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3\end{array}\right]$$
\item $[0, 0, 0, 0, -5/16, -5/16, -5/16, -1/4, 3/16, 3/16, 3/16]$, $8$, $16$, $-1$, $[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]$,
$$\left[\begin{array}{*{11}c}1 & 1 & 1 & 1 & 2 & 2 & 2 & 2 & 2 & 2 & 2 \\ 1 & 1 & 1 & 1 & -2 & -2 & 2 & 2 & 2 & -2 & -2 \\ 1 & 1 & 1 & 1 & -2 & 2 & -2 & 2 & -2 & 2 & -2 \\ 1 & 1 & 1 & 1 & 2 & -2 & -2 & 2 & -2 & -2 & 2 \\ 2 & -2 & -2 & 2 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 & 0 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 \\ 2 & -2 & 2 & -2 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 \\ 2 & 2 & -2 & -2 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 \\ 2 & 2 & 2 & 2 & 0 & 0 & 0 & -4 & 0 & 0 & 0 \\ 2 & 2 & -2 & -2 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 \\ 2 & -2 & 2 & -2 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 \\ 2 & -2 & -2 & 2 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 & 0 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3\end{array}\right]$$
\item $[0, 0, 0, 0, -1/16, -1/16, -1/16, -1/4, 7/16, 7/16, 7/16]$, $8$, $16$, $-1$, $[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]$,
$$\left[\begin{array}{*{11}c}1 & 1 & 1 & 1 & 2 & 2 & 2 & 2 & 2 & 2 & 2 \\ 1 & 1 & 1 & 1 & -2 & -2 & 2 & 2 & 2 & -2 & -2 \\ 1 & 1 & 1 & 1 & -2 & 2 & -2 & 2 & -2 & 2 & -2 \\ 1 & 1 & 1 & 1 & 2 & -2 & -2 & 2 & -2 & -2 & 2 \\ 2 & -2 & -2 & 2 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 & 0 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 \\ 2 & -2 & 2 & -2 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 \\ 2 & 2 & -2 & -2 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 \\ 2 & 2 & 2 & 2 & 0 & 0 & 0 & -4 & 0 & 0 & 0 \\ 2 & 2 & -2 & -2 & 0 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 & 0 \\ 2 & -2 & 2 & -2 & 0 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3 & 0 \\ 2 & -2 & -2 & 2 & -2\zeta_8 + 2\zeta_8^3 & 0 & 0 & 0 & 0 & 0 & 2\zeta_8 - 2\zeta_8^3\end{array}\right]$$
\end{itemize}

\subsection{Pointed case} \label{sub:pointed}
Following Remark \ref{rem:pointedMD}, we only need to write the abelian groups and its T-matrices (here the topological spins). Recall that $C_n$ denotes the cyclic group of order $n$. The full data (as in \S \ref{sub:non-pointed}) are available at \cite{data}.
\begin{itemize}
\item $C_1$: [0],
\item $C_2$: [0, 1/4], [0, -1/4],
\item $C_3$: [0, 1/3, 1/3], [0, -1/3, -1/3],
\item $C_2^2$: [0, 1/2, 0, 0], [0, -1/4, 1/4, 0], [0, 1/2, 1/4, 1/4], [0, 1/2, 1/2, 1/2], [0, -1/4, -1/4, 1/2],
\item $C_4$: [0, 1/2, 1/8, 1/8], [0, 1/2, 3/8, 3/8], [0, 1/2, -3/8, -3/8], [0, 1/2, -1/8, -1/8],
\item $C_5$: [0, 1/5, -1/5, -1/5, 1/5], [0, 2/5, -2/5, -2/5, 2/5],
\item $C_6$: [0, -1/4, 1/12, 1/3, 1/3, 1/12], [0, -1/4, 5/12, -1/3, -1/3, 5/12], [0, 1/4, -5/12, 1/3, 1/3, -5/12], [0, 1/4, -1/12, -1/3, -1/3, -1/12],
\item $C_7$: [0, 1/7, -3/7, 2/7, 2/7, -3/7, 1/7], [0, 3/7, -2/7, -1/7, -1/7, -2/7, 3/7],
\item $C_2^3$: [0, -1/4, 1/4, 1/4, 1/4, 1/2, 0, 0], [0, -1/4, -1/4, -1/4, 1/4, 1/2, 0, 0], [0, -1/4, 1/2, 1/2, 1/4, 1/2, 1/4, 1/4], [0, -1/4, 1/2, -1/4, 1/2, -1/4, 1/2, 1/4],
\item $C_2 \times C_4$: [0, 1/2, -1/4, 1/4, 1/8, 3/8, 3/8, 1/8], [0, 1/2, 1/4, -1/4, 1/8, -1/8, -1/8, 1/8], [0, 1/2, -1/4, 1/4, 3/8, -3/8, -3/8, 3/8], [0, 1/2, -1/4, 1/4, -3/8, -1/8, -1/8, -3/8],
\item $C_8$: [0, 0, 1/4, -7/16, 1/16, 1/16, -7/16, 1/4], [0, 0, 1/4, -3/16, 5/16, 5/16, -3/16, 1/4], [0, 0, -1/4, -5/16, 3/16, 3/16, -5/16, -1/4], [0, 0, -1/4, -1/16, 7/16, 7/16, -1/16, -1/4],
\item $C_3^2$: [0, 0, 0, 1/3, -1/3, -1/3, 1/3, 0, 0], [0, 1/3, 1/3, -1/3, -1/3, -1/3, -1/3, 1/3, 1/3],
\item $C_9$: [0, 0, 1/9, -2/9, 4/9, 4/9, -2/9, 1/9, 0], [0, 0, 2/9, -4/9, -1/9, -1/9, -4/9, 2/9, 0],
\item $C_{10}$: [0, 1/4, 1/20, -1/5, 1/5, 9/20, 9/20, 1/5, -1/5, 1/20], [0, -1/4, 3/20, 2/5, -2/5, 7/20, 7/20, -2/5, 2/5, 3/20], [0, -1/4, -9/20, -1/5, 1/5, -1/20, -1/20, 1/5, -1/5, -9/20], [0, 1/4, -7/20, 2/5, -2/5, -3/20, -3/20, -2/5, 2/5, -7/20],
\item $C_{11}$: [0, 1/11, 4/11, -2/11, 5/11, 3/11, 3/11, 5/11, -2/11, 4/11, 1/11], [0, 2/11, -3/11, -4/11, -1/11, -5/11, -5/11, -1/11, -4/11, -3/11, 2/11]
\end{itemize}