A = (5.116782540361557, 0.26243832288111024)
B = (14.325675736503994, -4.030675587064288)
C = (8.852774797871302, 4.195061751838727)
a = Segment(A, B)
b = Segment(B, C)
c = Segment(C, A)
C' = Rotate(C, 60*°, A)
A' = Rotate(A, 60*°, A)
c' = Segment(C', A')
B' = Rotate(B, 300*°, B)
C'_1 = Rotate(C, 300*°, B)
b' = Segment(B', C'_1)
d = Segment(C', C)
e = Segment(C, C'_1)
A'_1 = Rotate(A, 300*°, A)
B'_1 = Rotate(B, 300*°, A)
a' = Segment(A'_1, B'_1)
f = Segment(B'_1, B)
D = Midpoint(c)
E = Midpoint(d)
F = Midpoint(b)
G = Midpoint(b')
H = Midpoint(a)
I = Midpoint(a')
g = Segment(C', D)
h = Segment(A, E)
i = Segment(C'_1, F)
j = Segment(C, G)
k = Segment(B'_1, H)
l = Segment(B, I)
J = Intersect(g, h)
K = Intersect(i, j)
L = Intersect(k, l)
m = Segment(J, K)
n = Segment(K, L)
p = Segment(L, J)
q = Segment(C', D)
r = Segment(E, A)
M = Midpoint(c')
N = Midpoint(e)
O = Midpoint(f)
s = Segment(C, M)
t = Segment(C'_1, F)
a_1 = Segment(C, G)
b_1 = Segment(B, N)
c_1 = Segment(A, O)
d_1 = Segment(B, I)
e_1 = Segment(B'_1, H)