A = (-1, 1)
f = Line(A, xAxis)
t_a = Point(f)
g = OrthogonalLine(A, xAxis)
h_c = Point(g)
h_b = Point(g)
h = Segment(A, t_a)
i = Segment(A, h_c)
j = Segment(A, h_b)
k = Line(h_b, f)
l = Segment(h_b, t_a)
m = Segment(t_a, h_c)
n = Line(A, m)
B_{1} = Intersect(n, l)
p = Line(B_{1}, f)
c = Circle(A, t_a)
T_a = Intersect(c, p, 1)
q = Segment(T_a, A)
f' = Mirror(f, q)
B = Intersect(k, f')
r = Line(B, T_a)
C = Intersect(r, f)
t1, a, c_1, b = Polygon(C, B, A)
s = OrthogonalLine(B, f)
H_b = Intersect(f, s)
t = Segment(B, H_b)
d = OrthogonalLine(C, f')
D = Intersect(d, f')
e = Segment(C, D)
Tt: t_a
HB: h_b
HC: h_c
B' = Dilate(B, 1.2, A)
f_1 = Segment(B', B)
E = Dilate(B_{1}, 1.2, A)
g_1 = Segment(E, A)