File:Smallest_nonmodular_lattice_1.svg loading ...