Kronecker_symbol loading ...