Galois_symbol loading ...