• 1. (2024·凉山模拟)  如图，以正方形ABCD的AB边为直径作半圆O ， 过点C作直线切半圆于点F ， 交AD边于点E ， 若的周长为24，则四边形ABCE的周长为.