Title: digest of mining claim laws