A = (-2.7, 3.8200000000000003)
B = (0.7000000000000001, -4.88)
C = (13.36, 0.9400000000000001)
a = Segment(B, C)
b = Segment(A, C)
c = Segment(A, B)
d = AngularBisector(B, A, C)
e = AngularBisector(A, C, B)
f = AngularBisector(C, B, A)
Sc = Intersect(c, e)
E = Intersect(a, d)
F = Intersect(b, f)
wγ = Segment(C, Sc)
wβ = Segment(F, B)
wα = Segment(A, E)
W = Intersect(wα, wβ)
g = OrthogonalLine(W, a)
L1_1 = Intersect(g, a)
h = OrthogonalLine(W, b)
i = OrthogonalLine(W, c)
L1 = Intersect(c, i)
L2 = Intersect(b, h)
j = Segment(W, L2)
k = Segment(W, L1)
l = Segment(W, L1_1)
α = Angle(W, L2, F)
β = Angle(B, L1, W)
γ = Angle(E, L1_1, W)
p = Circle(W, L2)