Hilbert_symbol loading ...