A = (-2.8, 2.86)
B = (5.36, 4.92)
C = (0.88, -2.12)
a = Segment(A, B)
b = Segment(B, C)
c = Segment(C, A)
d, e = AngularBisector(c, a)
f, g = AngularBisector(b, a)
h, i = AngularBisector(c, b)
D = Intersect(a, i)
E = Intersect(g, c)
F = Intersect(e, b)
j = Segment(A, F)
k = Segment(B, E)
l = Segment(C, D)
G = Point(j)
m = OrthogonalLine(G, a)
H = Intersect(a, m)
p = Circle(G, H)