The area of square ABCD is 36. E is a point on \overline{CD} such that CE=2ED. F is the intersection of AB and CD. Find [DEF].