Infrasense’s high-speed dual-frequency GPR setup in Alaska.