A = (0, 1)
c = Circle(A, 1)
B = Point(c)
d = Circle(B, 1)
h = Circle(A, 2)
E = Point(h)
k = Circle(E, 2)
C, F = Intersect(d, k)
a: F ≟ (0, 1)
e = Circle(B, 3)
f = Ray(If[a, C, F], B)
D = Intersect(e, f, 1)
g = Segment(A, B)
P = If(a, C, F)
i = Segment(D, E)
j = Segment(E, P)
b = Length(i)
G: E + Vector[E, D] / 4
H: E + (Vector[E, D] / 4 * 2)
I: E + (Vector[E, D] / 4 * 3)
p = Circle(E, 0.75)
q = Circle(G, 0.75)
r = Circle(H, 0.75)
s = Circle(B, 0.75)
t = Circle(I, 0.75)
c_1 = Circle(D, 0.75)
J, K = Intersect(c_1, t)
L, M = Intersect(t, r)
N, O = Intersect(q, r)
Q, R = Intersect(p, q)
l = Segment(E, Q)
m = Segment(Q, G)
n = Segment(E, R)
f_1 = Segment(R, G)
g_1 = Segment(G, N)
h_1 = Segment(G, O)
i_1 = Segment(N, H)
j_1 = Segment(O, H)
k_1 = Segment(H, M)
l_1 = Segment(H, L)
m_1 = Segment(M, I)
n_1 = Segment(L, I)
p_1 = Segment(I, K)
q_1 = Segment(K, D)
r_1 = Segment(I, J)
s_1 = Segment(J, D)
t_1 = Segment(P, D)