a = 
b = 
c =

α = 
β = 
γ = 

A = (-2.9718900626540785, -2.1502229710245424)
B = (7, -3)
c = Segment(A, B)
C = (3.2085199098422237, 2.888024042073626)
a = Segment(B, C)
b = Segment(C, A)
α = Angle(B, A, C)
β = Angle(C, B, A)
γ = Angle(A, C, B)
T2: a + ""
T3: b + ""
T4: c + ""
T6: α + ""
T7: β + ""
T8: γ + ""