<judicial records by provenance>