Дан квадрат ABCD. Через вершину C проведена прямая m, не имеющая с квадратом общих точек. Точки E и F — проекции вершин B и D на прямую m. Отрезки BF и DE пересекаются в точке K, прямая AK пересекается с прямой m в точке L. Известно, что BE=7, AL=31. Чему равна сторона квадрата ABCD?