Loading paper
The group $J_4 \times J_4$ is recognizable by spectrum | Tomesphere