A detailed gravitational lens model based on submillimeter array and keck adaptive optics imaging of a Herschel-atlas submillimeter galaxy AT z = 4.243.