Triangle EFG is dilated by a scale factor of 1/4 ​ to form triangle E'F'G'. Side E'F' measures 12.512.5. What is the measure of side EF?