Neustart

A1: (0, 3)
A3: (0, 1)
A6: (0, -1)
A8: (0, -3)
A2: (-2, 1)
A4: (2, 1)
A5 = (-2, -1.0041634139994795)
A7: (2, -1)
f = Segment(A1, A2)
g = Segment(A1, A3)
h = Segment(A1, A4)
i = Segment(A2, A3)
j = Segment(A3, A4)
k = Segment(A2, A5)
l = Segment(A2, A6)
m = Segment(A3, A5)
n = Segment(A3, A6)
p = Segment(A3, A7)
q = Segment(A4, A7)
r = Segment(A4, A6)
s = Segment(A5, A8)
t = 100 (slider from 0 to 100, step 1)
a = Segment(A6, A8)
b = Segment(A6, A7)
c = Segment(A7, A8)
K1 = Circle(A1, 0.5)
K2 = Circle(A2, 0.5)
K3 = Circle(A3, 0.5)
K4 = Circle(A4, 0.5)
K5 = Circle(A5, 0.5)
K6 = Circle(A6, 0.5)
K7 = Circle(A7, 0.5)
K8 = Circle(A8, 0.5)
B1 = (-2, -4)
B2 = (-1, -4)
B3 = (0, -4)
B4 = (1, -4)
B5 = (2, -4)
B6 = (-1, -5)
B7 = (0, -5)
B8 = (1, -5)
xMin: -4
xMax: 4
yMax: 4
yMin: -6
bildnr = 0
bildplatz: 0
liBilder: {Bild1, Bild2, Bild3, Bild4, Bild5, Bild6, Bild7, Bild8}
bes1 = false
bes2 = false
bes3 = false
bes4 = false
bes5 = false
bes6 = false
bes7 = false
bes8 = true
liPunkte: {A1, A2, A3, A4, A5, A6, A7, A8}
liBPunkte: {B1, B2, B3, B4, B5, B6, B7, B8}
liZahlen = Sequence(IndexOf[Element[liPunkte, n], liBPunkte], n, 1, 8)
f1: abs(Element[liZahlen, 1] - Element[liZahlen, 2]) ≠ 1 ∧ abs(Element[liZahlen, 1] - Element[liZahlen, 3]) ≠ 1 ∧ abs(Element[liZahlen, 1] - Element[liZahlen, 4]) ≠ 1
f2: abs(Element[liZahlen, 2] - Element[liZahlen, 1]) ≠ 1 ∧ abs(Element[liZahlen, 2] - Element[liZahlen, 3]) ≠ 1 ∧ abs(Element[liZahlen, 2] - Element[liZahlen, 5]) ≠ 1 ∧ abs(Element[liZahlen, 2] - Element[liZahlen, 6]) ≠ 1
f3: abs(Element[liZahlen, 3] - Element[liZahlen, 1]) ≠ 1 ∧ abs(Element[liZahlen, 3] - Element[liZahlen, 2]) ≠ 1 ∧ abs(Element[liZahlen, 3] - Element[liZahlen, 4]) ≠ 1 ∧ abs(Element[liZahlen, 3] - Element[liZahlen, 5]) ≠ 1 ∧ abs(Element[liZahlen, 3] - Element[liZahlen, 6]) ≠ 1 ∧ abs(Element[liZahlen, 3] - Element[liZahlen, 7]) ≠ 1
d: (f * 4)
f4: abs(Element[liZahlen, 4] - Element[liZahlen, 1]) ≠ 1 ∧ abs(Element[liZahlen, 4] - Element[liZahlen, 3]) ≠ 1 ∧ abs(Element[liZahlen, 4] - Element[liZahlen, 6]) ≠ 1 ∧ abs(Element[liZahlen, 4] - Element[liZahlen, 7]) ≠ 1
f5: abs(Element[liZahlen, 5] - Element[liZahlen, 2]) ≠ 1 ∧ abs(Element[liZahlen, 5] - Element[liZahlen, 3]) ≠ 1 ∧ abs(Element[liZahlen, 5] - Element[liZahlen, 6]) ≠ 1 ∧ abs(Element[liZahlen, 5] - Element[liZahlen, 8]) ≠ 1
f6: abs(Element[liZahlen, 6] - Element[liZahlen, 2]) ≠ 1 ∧ abs(Element[liZahlen, 6] - Element[liZahlen, 3]) ≠ 1 ∧ abs(Element[liZahlen, 6] - Element[liZahlen, 4]) ≠ 1 ∧ abs(Element[liZahlen, 6] - Element[liZahlen, 5]) ≠ 1 ∧ abs(Element[liZahlen, 6] - Element[liZahlen, 7]) ≠ 1 ∧ abs(Element[liZahlen, 6] - Element[liZahlen, 8]) ≠ 1
f7: abs(Element[liZahlen, 7] - Element[liZahlen, 3]) ≠ 1 ∧ abs(Element[liZahlen, 7] - Element[liZahlen, 4]) ≠ 1 ∧ abs(Element[liZahlen, 7] - Element[liZahlen, 6]) ≠ 1 ∧ abs(Element[liZahlen, 7] - Element[liZahlen, 8]) ≠ 1
f8: abs(Element[liZahlen, 8] - Element[liZahlen, 5]) ≠ 1 ∧ abs(Element[liZahlen, 8] - Element[liZahlen, 6]) ≠ 1 ∧ abs(Element[liZahlen, 8] - Element[liZahlen, 7]) ≠ 1
Text1: "" + t + ""
e = Segment(A5, A6)
richtig: bes1 + bes2 + bes3 + bes4 + bes5 + bes6 + bes7 + bes8 + f1 + f2 + f3 + f4 + f5 + f6 + f7 + f8