E_3

E_2

E_1

E_0

1

1

1

1

&

&

&

&

&

&

&

&

&

&

0

1

2

3

4

5

6

7

8

9

vx = (0.5, 0)
vy = (0, -1)
A = (1, 2.5)
B = (3, 2.5)
C = (5, 2.5)
D = (7, 2.5)
E = (8.5, 4.5)
F = (8.5, 6)
G = (8.5, 7.5)
H = (8.5, 9)
I = (8.5, 10.5)
J = (8.5, 12)
K = (8.5, 13.5)
L = (8.5, 15)
M = (8.5, 16.5)
N = (8.5, 18)
a, b, c, d, e, f, g = NICHT(vx, vy, A)
h, i, j, k, l, p, m = NICHT(vx, vy, B)
n, q, r, s, t, c_1, a_1 = NICHT(vx, vy, C)
b_1, d_1, e_1, f_1, g_1, h_1, i_1 = NICHT(vx, vy, D)
j_1, k_1, l_1, m_1, n_1, p_1, q_1 = UND(vx, vy, E)
r_1, s_1, t_1, a_2, b_2, c_2, d_2 = UND(vx, vy, F)
e_2, f_2, g_2, h_2, i_2, j_2, k_2 = UND(vx, vy, G)
l_2, m_2, n_2, p_2, q_2, r_2, s_2 = UND(vx, vy, H)
t_2, a_3, b_3, c_3, d_3, e_3, f_3 = UND(vx, vy, I)
g_3, h_3, i_3, j_3, k_3, l_3, m_3 = UND(vx, vy, J)
n_3, p_3, q_3, r_3, s_3, t_3, a_4 = UND(vx, vy, K)
b_4, c_4, d_4, e_4, f_4, g_4, h_4 = UND(vx, vy, L)
i_4, j_4, k_4, l_4, m_4, n_4, p_4 = UND(vx, vy, M)
q_4, r_4, s_4, t_4, a_5, b_5, c_5 = UND(vx, vy, N)
e3 = false
e2 = false
e1 = false
e0 = false
d_5 = Segment((0.75, 1.0), (0.75, 18.5))
e_5 = Segment((2.75, 1.0), (2.75, 18.5))
f_5 = Segment((4.75, 1.0), (4.75, 18.5))
g_5 = Segment((6.75, 1.0), (6.75, 18.5))
h_5 = Segment((2.0, 2.0), (2.0, 18.5))
i_5 = Segment((4.0, 2.0), (4.0, 18.5))
j_5 = Segment((6.0, 2.0), (6.0, 18.5))
k_5 = Segment((8.0, 2.0), (8.0, 18.5))
l_5 = Segment((8.0, 17.75), (8.25, 17.75))
m_5 = Segment((6.0, 17.5), (8.5, 17.5))
n_5 = Segment((4.0, 17.25), (8.25, 17.25))
p_5 = Segment((2.0, 17.0), (8.5, 17.0))
O = Intersect(d, d_5)
P = Intersect(k, e_5)
Q = Intersect(s, f_5)
R = Intersect(f_1, g_5)
S = Intersect(k_5, l_5)
T = Intersect(j_5, m_5)
U = Intersect(i_5, n_5)
V = Intersect(h_5, p_5)
q_5 = Segment((6.75, 16.25), (8.25, 16.26))
r_5 = Segment((6.0, 16.0), (8.5, 16.0))
s_5 = Segment((4.0, 15.75), (8.25, 15.75))
t_5 = Segment((2.0, 15.5), (8.5, 15.5))
W = Intersect(g_5, q_5)
Z = Intersect(j_5, r_5)
A_1 = Intersect(i_5, s_5)
B_1 = Intersect(h_5, t_5)
a_6 = Segment((8.0, 14.75), (8.25, 14.75))
b_6 = Segment((4.75, 14.5), (8.5, 14.5))
c_6 = Segment((4.0, 14.25), (8.25, 14.25))
d_6 = Segment((2.0, 14.0), (8.5, 14.0))
C_1 = Intersect(k_5, a_6)
D_1 = Intersect(f_5, b_6)
E_1 = Intersect(i_5, c_6)
F_1 = Intersect(h_5, d_6)
e_6 = Segment((6.75, 13.25), (8.25, 13.25))
f_6 = Segment((4.75, 13.0), (8.5, 13.0))
g_6 = Segment((4.0, 12.75), (8.25, 12.75))
h_6 = Segment((2.0, 12.5), (8.5, 12.5))
i_6 = Segment((8.0, 11.75), (8.25, 11.75))
j_6 = Segment((6.0, 11.5), (8.5, 11.5))
k_6 = Segment((2.75, 11.25), (8.25, 11.25))
l_6 = Segment((2.0, 11.0), (8.5, 11.0))
m_6 = Segment((6.75, 10.25), (8.25, 10.25))
n_6 = Segment((6.0, 10.0), (8.5, 10.0))
p_6 = Segment((2.75, 9.75), (8.25, 9.75))
q_6 = Segment((2.0, 9.5), (8.5, 9.5))
r_6 = Segment((8.0, 8.75), (8.25, 8.75))
s_6 = Segment((4.75, 8.5), (8.5, 8.5))
t_6 = Segment((2.75, 8.25), (8.25, 8.25))
a_7 = Segment((2.0, 8.0), (8.5, 8.0))
b_7 = Segment((8.0, 8.75), (8.25, 8.75))
c_7 = Segment((6.75, 7.25), (8.25, 7.25))
d_7 = Segment((4.75, 7.0), (8.5, 7.0))
e_7 = Segment((2.75, 6.75), (8.25, 6.75))
f_7 = Segment((2.0, 6.5), (8.5, 6.5))
g_7 = Segment((8.0, 5.75), (8.25, 5.75))
h_7 = Segment((6.0, 5.5), (8.5, 5.5))
i_7 = Segment((4.0, 5.25), (8.25, 5.25))
j_7 = Segment((0.75, 5.0), (8.5, 5.0))
k_7 = Segment((6.75, 4.25), (8.25, 4.25))
l_7 = Segment((6.0, 4.0), (8.5, 4.0))
m_7 = Segment((4.0, 3.75), (8.25, 3.75))
n_7 = Segment((0.75, 3.5), (8.5, 3.5))
G_1 = Intersect(g_5, e_6)
H_1 = Intersect(g_5, m_6)
I_1 = Intersect(g_5, c_7)
J_1 = Intersect(g_5, k_7)
K_1 = Intersect(f_6, f_5)
L_1 = Intersect(g_6, i_5)
M_1 = Intersect(h_6, h_5)
N_1 = Intersect(i_6, k_5)
O_1 = Intersect(j_6, j_5)
P_1 = Intersect(k_6, e_5)
Q_1 = Intersect(l_6, h_5)
R_1 = Intersect(n_6, j_5)
S_1 = Intersect(p_6, e_5)
T_1 = Intersect(q_6, h_5)
U_1 = Intersect(k_5, r_6)
V_1 = Intersect(s_6, f_5)
W_1 = Intersect(t_6, e_5)
Z_1 = Intersect(a_7, h_5)
A_2 = Intersect(d_7, f_5)
B_2 = Intersect(e_7, e_5)
C_2 = Intersect(f_7, h_5)
D_2 = Intersect(g_7, k_5)
E_2 = Intersect(h_7, j_5)
F_2 = Intersect(i_7, i_5)
G_2 = Intersect(j_7, d_5)
H_2 = Intersect(l_7, j_5)
I_2 = Intersect(m_7, i_5)
J_2 = Intersect(n_7, d_5)
ne1: ¬e1
ne0: ¬e0
ne2: ¬e2
ne3: ¬e3
and0: ne0 ∧ ne1 ∧ ne2 ∧ ne3
and1: e0 ∧ ne1 ∧ ne2 ∧ ne3
and2: ne0 ∧ e1 ∧ ne2 ∧ ne3
and3: e0 ∧ e1 ∧ ne2 ∧ ne3
and4: ne0 ∧ ne1 ∧ e2 ∧ ne3
and5: e0 ∧ ne1 ∧ e2 ∧ ne3
and6: ne0 ∧ e1 ∧ e2 ∧ ne3
and7: e0 ∧ e1 ∧ e2 ∧ ne3
and8: ne0 ∧ ne1 ∧ ne2 ∧ e3
and9: e0 ∧ ne1 ∧ ne2 ∧ e3
p_7 = Segment((8.25, 4.5), (8.5, 4.5))
q_7 = Segment((8.25, 6.0), (8.5, 6.0))
r_7 = Segment((8.25, 7.5), (8.5, 7.5))
s_7 = Segment((8.25, 9.0), (8.5, 9.0))
t_7 = Segment((8.25, 10.5), (8.5, 10.5))
a_8 = Segment((8.25, 12.0), (8.5, 12.0))
b_8 = Segment((8.25, 13.5), (8.5, 13.5))
c_8 = Segment((8.25, 15.0), (8.5, 15.0))
d_8 = Segment((8.25, 16.5), (8.5, 16.5))
e_8 = Segment((8.25, 18.0), (8.5, 18.0))

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: 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: NICHT
Input: gatx, gaty, A
Output: a, b, c, g, d, e, f

a = Segment(A, A + gatx)
b = Segment(A + gatx, A + gatx + gaty)
c = Segment(A, A + gaty)
d = Segment(A + gaty, A + gatx + gaty)
e = Circle(A + gatx + (0.1, 0.0) + 0.5 * gaty, 0.1)
f = Segment(A + gatx + 0.5 * gaty + (0.2, 0.0), A + gatx + 0.5 * gaty + (0.5, 0.0))
g = Segment(A - 0.5 * gatx + 0.5 * gaty, A + 0.5 * gaty)