x

C = (26.782214288947934, -6.1519655548394185)
A_1 = (10.974026682477813, -6.163512958759539)
f = Line(C, A_1)
B_1 = (14.964706228047143, 1.6797999448133096)
g = Line(C, B_1)
h = AngularBisector(A_1, C, B_1)
F = Point(h)
C' = Rotate(C, (-(30°)), F)
α = Angle(C', F, C)
i = Segment(C', F)
D = Intersect(f, i)
j = LineBisector(D, C)
k = LineBisector(D, F)
l = AngularBisector(C, D, F)
O = Point(j)
E' = Mirror(O, l)
m = Segment(O, D)
E'_1 = Mirror(O, l)
D' = Mirror(D, l)
m' = Segment(E'_1, D')
O' = Intersect(k, m')
c = Circle(O, D)
d = Circle(O', D)
n = Segment(D, C)
p = Segment(F, C)
q = Segment(F, D)
H = Point(g)
r = Segment(C, H)
A = Intersect(c, d, 2)
s = Line(A, F)
β = Angle(F, A, D)
γ = Angle(D, A, C)
t = Segment(A, D)
B = Intersect(f, s)
E = Point(f)
a = Segment(C, E)
G = Point(j)
I = Point(j)
b = Segment(G, I)
J = Point(k)
K = Point(k)
e = Segment(J, K)
L = Point(l)
M = Point(l)
f_1 = Segment(L, M)
N = Point(s)
g_1 = Segment(A, N)