On the particular example of the cqe net shown in Figure , there is only one symmetry and it maps each symbol of a category on the other of the same category. As a consequence, only one of the two first lines and one of the two last lines of candidates shown in Figure need to be kept. Systre thus examines 24 candidates, and only 3 for CrystalNets.jl.