Supersingular_variety loading ...