L

T

PO

PV

PL

E'''

F'''

K'''

L'''

F''≡E''

L''≡K''

E'≡K'

F'≡L'

A = (-1.549282247782115, 2.058564495564231)
B = (10.570866266159452, 2.058564495564231)
a = Segment(A, B)
C = (4.545117314367247, 5.568757526255535)
D = (4.545117314367248, -2.8390233425779265)
b = Segment(C, D)
E''' = (5.476486842799133, 4.853436692506463)
F''' = (9.115100986130884, 4.853436692506463)
c = Segment(E''', F''')
G = (5.476486842799133, 1.6814014118560663)
d = Segment(E''', G)
H = (9.115100986130884, 1.7750257900838267)
e = Segment(F''', H)
I = (5.049735801297259, 3.011669039708909)
J = (5.9930802088277115, 3.0565902019722637)
f = CircleArc(E''', I, J)
K''' = Intersect(f, d, 1)
g = Circle(F''', Segment[E''', K'''])
L''' = Intersect(g, e, 1)
h = Segment(K''', L''')
i = Segment(E''', K''')
d_1 = Segment(F''', L''')
j = Segment(F''', L''')
M = (0.06330039840981083, 4.853436692506462)
k = Segment(E''', M)
N = (-0.1843553872740964, 2.9628747288791533)
l = Segment(K''', N)
O_1 = (1.0292917787269928, 5.028045710523292)
P = (1.0292917787269933, -2.60514899864853)
m = Segment(O_1, P)
Q = Intersect(k, m)
R = Intersect(l, m)
n = Segment(Q, R)
S = Intersect(a, d)
T = Intersect(a, e)
O = Intersect(a, b)
p = Circle(O, S)
q = Circle(O, T)
U = Intersect(q, b, 1)
V = Intersect(p, b, 2)
r = CircleArc(O, V, S)
s = CircleArc(O, U, T)
W = (0.18262735964709975, -2.5114191761994045)
t = Segment(U, W)
Z = (0.2549798169640489, 1.1271949671323471)
a_1 = Segment(V, Z)
A_1 = Intersect(m, a_1)
B_1 = Intersect(m, t)
b_1 = Segment(A_1, B_1)
c_1 = Segment(F''', L''')