Comprobar

Regla1a = (6.68, 4.26)
Regla1b = Circle(Regla1a, 4)
Regla1c = Point(Regla1b)
Regla1c1 = 0.17453292519943295 rad (slider from 0 to 6.283185307179586, step 0.017453292519943295)
Regla1c2: Regla1c1 / 2
Regla1d: Angle[Regla1a + (1, 0), Regla1a, Regla1c] - Regla1c1 / 2
Regla1e = Rotate(Regla1a + ((-7.68), (-0.5)), (Regla1c2 * Div[Regla1d + Regla1c2, Regla1c2]), Regla1a)
Regla1f = Rotate(Regla1a + (7.68, (-0.5)), (Regla1c2 * Div[Regla1d + Regla1c2, Regla1c2]), Regla1a)
Regla1g = Rotate(Regla1a - (0.19, 0.19), Regla1d, Regla1a)
Regla1h = Rotate(Regla1a - ((-0.19), 0.19), Regla1d, Regla1a)
Regla1i: Regla1c - (0.21, 0.19)
Regla1j: Regla1c - ((-0.21), 0.19)
o = false
r = 0.5
s = 0.01 (slider from 0.01 to 0.1, step 0.01)
A = (6.72, -2.72)
desp = 1 (slider from 0 to 2, step 0.1)
B: A + ((desp * r), r + s)
luz = 0.5 (slider from 0 to 1, step 0.1)
C = (-4.08, 3.3000000000000003)
polígono1, a, b, c, d, D, E = Polygon(C, C + (2.6, 0), 4)
lista1 = Sequence(Sequence[Polygon[A + (((2 * k) * r), (t * r) + (t * s)), A + (((2 * (k + 1)) * r), (t * r) + (t * s)), A + (((2 * (k + 1)) * r), ((t + 1) * r) + (t * s)), A + (((2 * k) * r), ((t + 1) * r) + (t * s))], t, -8, 16, 2], k, -12, 12, 2)
lista2 = Sequence(Sequence[Polygon[B + (((2 * k) * r), (t * r) + (t * s)), B + (((2 * (k + 1)) * r), (t * r) + (t * s)), B + (((2 * (k + 1)) * r), ((t + 1) * r) + (t * s)), B + (((2 * k) * r), ((t + 1) * r) + (t * s))], t, -8, 16, 2], k, -12, 12, 2)
lista3 = Sequence(Polygon[A + (((-22) * r), (t * r) + (t * s)), A + ((24 * r), (t * r) + (t * s)), A + ((24 * r), ((t - 1) * s) + (t * r)), A + (((-22) * r), ((t - 1) * s) + (t * r))], t, -8, 20)