Triangle D, E, FDEF is formed by connecting the midpoints of the side of triangle A, B, CABC. The lengths of the sides of triangle D, E, FDEF are shown. What is the length of start overline, A, C, end overline AC ?