C' = (0.28, 2.34)
A = (-1.84, -0.08)
B' = (3.22, -0.12)
t1, c', a_{1}, b' = Polygon(A, B', C')
α = Angle(B', A, C')
β = Angle(A, B', C')
f = Ray(A, B')
c_{1} = Circle(B', C')
C'_1 = Intersect(c_{1}, f, 2)
d = Circle(C'_1, Segment[A, C'])
A'_1 = Intersect(d, f, 2)
A_1 = (12.96, -3.4)
g = Ray(A, A_1)
h = Line(A'_1, A_1)
i = Line(C'_1, h)
j = Line(B', i)
B = Intersect(j, g)
c = Segment(A, B)
C_1 = Intersect(i, g)
e = Circle(A, Segment[C_1, A_1])
k = Circle(B, C_1)
C = Intersect(e, k, 2)
b = Segment(A, C)
a = Segment(C, B)