Olympiad Number Theory · Superchallenge problem

What is the largest number of edges in a triangle-free graph on $25$ vertices, and how many vertices are in the smaller side of the extremal graph?