GND

U_S

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

a4

a3

b3

b2

a2

a1

b1

Ü_0

b4

s3

s2

s1

Ü

s4

7483

vx = (0.5, 0)
vy = (0, -0.5)
A = (0.75, 1)
Vieleck1, a, b, c, d = Polygon(A, A + vy, A + vy + vx, A + vx)
B = (1.5, 1)
C = (2.25, 1)
D = (3, 1)
E = (3.75, 1)
F = (4.5, 1)
G = (5.25, 1)
e, f, g, h = pin(vx, vy, B)
i, j, k, l = pin(vx, vy, C)
m, n, p, q = pin(vx, vy, D)
r, s, t, a_1 = pin(vx, vy, E)
b_1, c_1, d_1, e_1 = pin(vx, vy, F)
f_1, g_1, h_1, i_1 = pin(vx, vy, G)
H = (0.5, 1)
I = (6.75, 1)
J = (6.75, 3)
K = (0.5, 3)
Vieleck2, h_2, i_2, j_1, k_1 = Polygon(H, I, J, K)
L = (0.75, 3.5)
M = (1.5, 3.5)
N = (2.25, 3.5)
O = (3, 3.5)
P = (3.75, 3.5)
Q = (4.5, 3.5)
R = (5.25, 3.5)
l_1, m_1, n_1, p_1 = pin(vx, vy, L)
q_1, r_1, s_1, t_1 = pin(vx, vy, M)
a_2, b_2, c_2, d_2 = pin(vx, vy, N)
e_2, f_2, g_2, j_2 = pin(vx, vy, O)
k_2, l_2, m_2, n_2 = pin(vy, vx, P)
p_2, q_2, r_2, s_2 = pin(vx, vy, Q)
t_2, a_3, b_3, c_3 = pin(vx, vy, R)
S = Point(k_1)
T = Point(k_1)
d_3 = Semicircle(S, T)
U = (6, 1)
V = (6, 3.5)
e_3, f_3, g_3, h_3 = pin(vx, vy, U)
i_3, j_3, k_3, l_3 = pin(vx, vy, V)
o = false
u = false
v = false
w = false
z = false
o_1 = false
u_1 = false
v_1 = false
w_1 = false
ergs1: v_1 ∧ (¬o_1) ∧ (¬u_1) ∨ (¬v_1) ∧ o_1 ∧ (¬u_1) ∨ (¬v_1) ∧ (¬o_1) ∧ u_1 ∨ v_1 ∧ o_1 ∧ u_1
ub1: v_1 ∧ o_1 ∧ (¬u_1) ∨ (¬v_1) ∧ o_1 ∧ u_1 ∨ v_1 ∧ (¬o_1) ∧ u_1 ∨ v_1 ∧ o_1 ∧ u_1
ergs2: ub1 ∧ (¬z) ∧ (¬w) ∨ (¬ub1) ∧ z ∧ (¬w) ∨ (¬ub1) ∧ (¬z) ∧ w ∨ ub1 ∧ z ∧ w
ub2: ub1 ∧ z ∧ (¬w) ∨ (¬ub1) ∧ z ∧ w ∨ ub1 ∧ (¬z) ∧ w ∨ ub1 ∧ z ∧ w
ub3: ub2 ∧ u ∧ (¬v) ∨ (¬ub2) ∧ u ∧ v ∨ ub2 ∧ (¬u) ∧ v ∨ ub2 ∧ u ∧ v
ub4: ub3 ∧ o ∧ (¬w_1) ∨ (¬ub3) ∧ o ∧ w_1 ∨ ub3 ∧ (¬o) ∧ w_1 ∨ ub3 ∧ o ∧ w_1
ergs3: ub2 ∧ (¬u) ∧ (¬v) ∨ (¬ub2) ∧ u ∧ (¬v) ∨ (¬ub2) ∧ (¬u) ∧ v ∨ ub2 ∧ u ∧ v
ergs4: ub3 ∧ (¬o) ∧ (¬w_1) ∨ (¬ub3) ∧ o ∧ (¬w_1) ∨ (¬ub3) ∧ (¬o) ∧ w_1 ∨ ub3 ∧ o ∧ w_1

Tool: pin
Input: vx, vy, A
Output: a, b, c, d

Vieleck1, a, b, c, d = Polygon(A, A + vy, A + vy + vx, A + vx)

Tool: NandKLein
Input: vx, vy, U, A
Output: p_3, e_3, f_3, g_3, h_3, i_3, j_3, k_3, l_3, m_3, n_3

Vieleck1, a, b, c, d = Polygon(A, A + vy, A + vy + vx, A + vx)
U = Point(d)
e_3 = Segment(U, U - 1.5 * vy)
f_3 = Segment(U - 1.5 * vy, U - 1.5 * vy + 2.0 * vx)
g_3 = Segment(U + 1.5 * vx, U + 1.5 * vx - vy)
h_3 = Segment(U + 1.5 * vx - vy, U + 2.0 * vx - vy)
Vieleck3, i_3, j_3, k_3, l_3 = Polygon(U + 2.0 * vx - 1.75 * vy, U + 2.5 * vx - 1.75 * vy, U + 2.5 * vx - 0.75 * vy, U + 2.0 * vx - 0.75 * vy)
p_3 = Circle(U + 2.55 * vx - 1.25 * vy, 0.05)
m_3 = Segment(U + 2.6 * vx - 1.25 * vy, U + 3.0 * vx - 1.25 * vy)
n_3 = Segment(U + 3.0 * vx - 1.25 * vy, U + 3.0 * vx)

Tool: NandKlein2
Input: vx, vy, M, W
Output: q_4, h_4, j_4, i_4, l_4, k_4, m_4, n_4, p_4, r_4, s_4

q_1, r_1, s_1, t_1 = pin(vx, vy, M)
h_4 = Segment(W, W + 1.5 * vy)
i_4 = Segment(W + 1.5 * vy, W + 1.5 * vy + 2.0 * vx)
j_4 = Segment(W + 1.5 * vx, W + 1.5 * vx + vy)
k_4 = Segment(W + 1.5 * vx + vy, W + 2.0 * vx + vy)
Vieleck4, l_4, m_4, n_4, p_4 = Polygon(W + 2.0 * vx + 0.75 * vy, W + 2.0 * vx + 1.75 * vy, W + 2.5 * vx + 1.75 * vy, W + 2.5 * vx + 0.75 * vy)
q_4 = Circle(W + 2.55 * vx + 1.25 * vy, 0.05)
r_4 = Segment(W + 2.6 * vx + 1.25 * vy, W + 3.0 * vx + 1.25 * vy)
s_4 = Segment(W + 3.0 * vx + 1.25 * vy, W + 3.0 * vx)