A1 = (4.5767591780894366, 5.469335828064688)
A2 = (5.179613671954118, 4.700991865295977)
A3 = (6.4680673941354945, 5.209280948358355)
A4 = (7.531928265661402, 5.256563653759506)
A5 = (5.82975087121995, 2.064981039181784)
A6 = (4.848634734146057, 1.6276160142211333)
A7 = (5.60515802056448, 3.1406625870579794)
A8 = (6.338039954282328, 4.287268193035902)
A9 = (4.659503912541452, 3.8262618153746755)
A10 = (6.9527151244972965, 2.8451456783007827)
A11 = (5.155972319253542, 0.6346792007969531)
A12 = (4.600400530790012, 2.5614494458938744)
C = (11.74008904636388, 4.783736599747992)
D = (7.591031647412841, 0.5282931136443624)
a = Line(C, D)
E = (3.5128983065635295, 4.4054749565387805)
F = (11.18451725790035, 3.3888967904140244)
b = Line(E, F)