Replication Data for: Regolith mixing by impacts: Lateral diffusion of basin melt.