gatx = (1, 0)
gaty = (0, -2)
A = (2, 5.5)
Sa, a_1, b_1, c_1, d_2, e_2, f_2 = Polygon(A, A + 0.25 * gatx - 0.125 * gaty, A + 2.25 * gatx - 0.125 * gaty, A + 2.5 * gatx, A + 2.25 * gatx + 0.125 * gaty, A + 0.25 * gatx + 0.125 * gaty)
B = (2, 3)
Sg = Werkzeug5(gatx, gaty, B)
C = (2, 0.5)
Sd = Werkzeug5(gatx, gaty, C)
A' = Rotate(A, 270.0*°, A)
D = Rotate(A + 0.25 * gatx - 0.125 * gaty, 270.0*°, A)
E = Rotate(A + 2.25 * gatx - 0.125 * gaty, 270.0*°, A)
F = Rotate(A + 2.5 * gatx, 270.0*°, A)
G = Rotate(A + 2.25 * gatx + 0.125 * gaty, 270.0*°, A)
H = Rotate(A + 0.25 * gatx + 0.125 * gaty, 270.0*°, A)
Sf, a', d_1, e_1, f_1, g_1, h = Polygon(A', D, E, F, G, H)
I = (2, 3)
J = (4.5, 5.5)
K = (4.5, 3)
Se = Werkzeug6(gatx, gaty, I)
Sb = Werkzeug6(gatx, gaty, J)
Sc = Werkzeug6(gatx, gaty, K)
Vieleck1, i, j, k, l = Polygon((1.5, 0.0), (5.0, 0.0), (5.0, 6.0), (1.5, 6.0))
L = (-2.25, 6)
M = (-1.5, 6)
N = (-0.75, 6)
O = (0, 6)
Vieleck2, e, f, g, m = LED(gatx, gaty, L)
Vieleck3, n, p, q, r = LED(gatx, gaty, M)
Vieleck4, s, t, h_1, i_1 = LED(gatx, gaty, N)
Vieleck5, j_1, k_1, l_1, m_1 = LED(gatx, gaty, O)
clock = 0 (slider from 0 to 9.9, step 1)
a: Mod[clock, 16.0] > 7.0
b: Mod[clock, 8.0] > 3.0
c: Mod[clock, 4.0] > 1.0
d: Mod[clock, 2.0] > 0.0
sa: (¬a) ∧ (¬b) ∧ (¬c) ∧ (¬d) ∨ (¬a) ∧ (¬b) ∧ c ∧ (¬d) ∨ (¬a) ∧ (¬b) ∧ c ∧ d ∨ (¬a) ∧ b ∧ (¬c) ∧ d ∨ (¬a) ∧ b ∧ c ∧ (¬d) ∨ (¬a) ∧ b ∧ c ∧ d ∨ a ∧ (¬b) ∧ (¬c) ∧ (¬d) ∨ a ∧ (¬b) ∧ (¬c) ∧ d
sb: (¬a) ∧ (¬b) ∧ (¬c) ∧ (¬d) ∨ (¬a) ∧ (¬b) ∧ (¬c) ∧ d ∨ (¬a) ∧ (¬b) ∧ c ∧ (¬d) ∨ (¬a) ∧ (¬b) ∧ c ∧ d ∨ (¬a) ∧ b ∧ (¬c) ∧ (¬d) ∨ (¬a) ∧ b ∧ c ∧ d ∨ a ∧ (¬b) ∧ (¬c) ∧ (¬d) ∨ a ∧ (¬b) ∧ (¬c) ∧ d
sc: (¬a) ∧ (¬b) ∧ (¬c) ∧ (¬d) ∨ (¬a) ∧ (¬b) ∧ (¬c) ∧ d ∨ (¬a) ∧ (¬b) ∧ c ∧ d ∨ (¬a) ∧ b ∧ (¬c) ∧ (¬d) ∨ (¬a) ∧ b ∧ (¬c) ∧ d ∨ (¬a) ∧ b ∧ c ∧ (¬d) ∨ (¬a) ∧ b ∧ c ∧ d ∨ a ∧ (¬b) ∧ (¬c) ∧ (¬d) ∨ a ∧ (¬b) ∧ (¬c) ∧ d
sd: (¬a) ∧ (¬b) ∧ (¬c) ∧ (¬d) ∨ (¬a) ∧ (¬b) ∧ c ∧ (¬d) ∨ (¬a) ∧ (¬b) ∧ c ∧ d ∨ (¬a) ∧ b ∧ (¬c) ∧ d ∨ (¬a) ∧ b ∧ c ∧ (¬d) ∨ a ∧ (¬b) ∧ (¬c) ∧ (¬d) ∨ a ∧ (¬b) ∧ (¬c) ∧ d
se: (¬a) ∧ (¬b) ∧ (¬c) ∧ (¬d) ∨ (¬a) ∧ (¬b) ∧ c ∧ (¬d) ∨ (¬a) ∧ b ∧ c ∧ (¬d) ∨ a ∧ (¬b) ∧ (¬c) ∧ (¬d) ∨ a ∧ (¬b) ∧ (¬c) ∧ (¬d)
sf: (¬a) ∧ (¬b) ∧ (¬c) ∧ (¬d) ∨ (¬a) ∧ b ∧ (¬c) ∧ (¬d) ∨ (¬a) ∧ b ∧ (¬c) ∧ d ∨ (¬a) ∧ b ∧ c ∧ (¬d) ∨ a ∧ (¬b) ∧ (¬c) ∧ (¬d) ∨ a ∧ (¬b) ∧ (¬c) ∧ d
sg: (¬a) ∧ (¬b) ∧ c ∧ (¬d) ∨ (¬a) ∧ (¬b) ∧ c ∧ d ∨ (¬a) ∧ b ∧ (¬c) ∧ (¬d) ∨ (¬a) ∧ b ∧ (¬c) ∧ d ∨ (¬a) ∧ b ∧ c ∧ (¬d) ∨ a ∧ (¬b) ∧ (¬c) ∧ (¬d) ∨ a ∧ (¬b) ∧ (¬c) ∧ d

Tool: UND
Input: gatx, gaty, E
Output: l_1, m_1, p_1, n_1, q_1, r_1, s_1

l_1 = Segment(E, E + gatx)
m_1 = Segment(E, E + gaty)
n_1 = Segment(E + gatx, E + gatx + gaty)
p_1 = Segment(E + gaty, E + gatx + gaty)
q_1 = Segment(E - 0.5 * gatx + 0.25 * gaty, E + 0.25 * gaty)
r_1 = Segment(E - 0.5 * gatx + 0.75 * gaty, E + 0.75 * gaty)
s_1 = Segment(E + gatx + 0.5 * gaty, E + 1.5 * gatx + 0.5 * gaty)

Tool: jk
Input: A, gatx, gaty
Output: k, a, b, c, d, e, f, g, h, i, j, l

a = Segment(A, A + gatx)
b = Segment(A, A + gaty)
c = Segment(A + gatx, A + gatx + gaty)
d = Segment(A + gaty, A + gatx + gaty)
f = Segment(A - 0.5 * gatx + 0.5 * gaty, A + 0.5 * gaty)
g = Segment(A - 0.5 * gatx + 0.85 * gaty, A + 0.85 * gaty)
e = Segment(A - 0.5 * gatx + 0.15 * gaty, A + 0.15 * gaty)
h = Segment(A + gatx + 0.25 * gaty, A + 0.25 * gaty + 1.5 * gatx)
i = Segment(A + 1.2 * gatx + 0.75 * gaty, A + 0.75 * gaty + 1.5 * gatx)
k = Circle(A + 1.1 * gatx + 0.75 * gaty, 0.1)
j = Segment(A + 0.45 * gaty, A + 0.5 * gaty + 0.3 * gatx)
l = Segment(A + 0.55 * gaty, A + 0.5 * gaty + 0.3 * gatx)

Tool: jk (command jk1)
Input: A, gatx, gaty
Output: k, a, b, c, d, e, f, g, h, i, j, l

a = Segment(A, A + gatx)
b = Segment(A, A + gaty)
c = Segment(A + gatx, A + gatx + gaty)
d = Segment(A + gaty, A + gatx + gaty)
f = Segment(A - 0.5 * gatx + 0.5 * gaty, A + 0.5 * gaty)
g = Segment(A - 0.5 * gatx + 0.85 * gaty, A + 0.85 * gaty)
e = Segment(A - 0.5 * gatx + 0.15 * gaty, A + 0.15 * gaty)
h = Segment(A + gatx + 0.25 * gaty, A + 0.25 * gaty + 1.5 * gatx)
i = Segment(A + 1.2 * gatx + 0.75 * gaty, A + 0.75 * gaty + 1.5 * gatx)
k = Circle(A + 1.1 * gatx + 0.75 * gaty, 0.1)
j = Segment(A + 0.45 * gaty, A + 0.5 * gaty + 0.3 * gatx)
l = Segment(A + 0.55 * gaty, A + 0.5 * gaty + 0.3 * gatx)

Tool: LED
Input: gatx, gaty, P
Output: Vieleck1, f_3, e_3, p_3, d_3

Vieleck1_1, p_1, d_1, e_1, f_1 = Polygon(P, P + 0.5 * gatx, P + 0.5 * gatx + 0.5 * gaty, P + 0.5 * gaty)
Vieleck1, p_3, d_3, e_3, f_3 = Polygon(P, P + 0.5 * gatx, P + 0.5 * gatx + 0.5 * gaty, P + 0.5 * gaty)

Tool: Werkzeug5
Input: gatx, gaty, A
Output: Vieleck1

Vieleck1, a, b, c, d, e, f = Polygon(A, A + 0.25 * gatx - 0.125 * gaty, A + 2.25 * gatx - 0.125 * gaty, A + 2.5 * gatx, A + 2.25 * gatx + 0.125 * gaty, A + 0.25 * gatx + 0.125 * gaty)

Tool: Werkzeug6
Input: gatx, gaty, A
Output: Vieleck1'

A' = Rotate(A, 270.0*°, A)
D = Rotate(A + 0.25 * gatx - 0.125 * gaty, 270.0*°, A)
E = Rotate(A + 2.25 * gatx - 0.125 * gaty, 270.0*°, A)
F = Rotate(A + 2.5 * gatx, 270.0*°, A)
G = Rotate(A + 2.25 * gatx + 0.125 * gaty, 270.0*°, A)
H = Rotate(A + 0.25 * gatx + 0.125 * gaty, 270.0*°, A)
Vieleck1', a', d_1, e_1, f_1, g, h = Polygon(A', D, E, F, G, H)