Clear

A2 = 0
A3 = 1
A4 = 2
A5 = 3
A6 = 4
A7 = 5
A8 = 6
A9 = 7
A10 = 8
A11 = 9
B1 = 0
C1 = 1
D1 = 2
E1 = 3
F1 = 4
G1 = 5
H1 = 6
I1 = 7
J1 = 8
K1 = 9
B2 = Polygon((B$1, $A2), (B$1 + 1, $A2), 4)
lista1: {B2}
C2 = Polygon((C$1, $A2), (C$1 + 1, $A2), 4)
D2 = Polygon((D$1, $A2), (D$1 + 1, $A2), 4)
E2 = Polygon((E$1, $A2), (E$1 + 1, $A2), 4)
F2 = Polygon((F$1, $A2), (F$1 + 1, $A2), 4)
G2 = Polygon((G$1, $A2), (G$1 + 1, $A2), 4)
H2 = Polygon((H$1, $A2), (H$1 + 1, $A2), 4)
I2 = Polygon((I$1, $A2), (I$1 + 1, $A2), 4)
J2 = Polygon((J$1, $A2), (J$1 + 1, $A2), 4)
K2 = Polygon((K$1, $A2), (K$1 + 1, $A2), 4)
B3 = Polygon((B$1, $A3), (B$1 + 1, $A3), 4)
B4 = Polygon((B$1, $A4), (B$1 + 1, $A4), 4)
B5 = Polygon((B$1, $A5), (B$1 + 1, $A5), 4)
B6 = Polygon((B$1, $A6), (B$1 + 1, $A6), 4)
B7 = Polygon((B$1, $A7), (B$1 + 1, $A7), 4)
B8 = Polygon((B$1, $A8), (B$1 + 1, $A8), 4)
B9 = Polygon((B$1, $A9), (B$1 + 1, $A9), 4)
B10 = Polygon((B$1, $A10), (B$1 + 1, $A10), 4)
B11 = Polygon((B$1, $A11), (B$1 + 1, $A11), 4)
C3 = Polygon((C$1, $A3), (C$1 + 1, $A3), 4)
C4 = Polygon((C$1, $A4), (C$1 + 1, $A4), 4)
C5 = Polygon((C$1, $A5), (C$1 + 1, $A5), 4)
C6 = Polygon((C$1, $A6), (C$1 + 1, $A6), 4)
C7 = Polygon((C$1, $A7), (C$1 + 1, $A7), 4)
C8 = Polygon((C$1, $A8), (C$1 + 1, $A8), 4)
C9 = Polygon((C$1, $A9), (C$1 + 1, $A9), 4)
C10 = Polygon((C$1, $A10), (C$1 + 1, $A10), 4)
C11 = Polygon((C$1, $A11), (C$1 + 1, $A11), 4)
D3 = Polygon((D$1, $A3), (D$1 + 1, $A3), 4)
D4 = Polygon((D$1, $A4), (D$1 + 1, $A4), 4)
D5 = Polygon((D$1, $A5), (D$1 + 1, $A5), 4)
D6 = Polygon((D$1, $A6), (D$1 + 1, $A6), 4)
D7 = Polygon((D$1, $A7), (D$1 + 1, $A7), 4)
D8 = Polygon((D$1, $A8), (D$1 + 1, $A8), 4)
D9 = Polygon((D$1, $A9), (D$1 + 1, $A9), 4)
D10 = Polygon((D$1, $A10), (D$1 + 1, $A10), 4)
D11 = Polygon((D$1, $A11), (D$1 + 1, $A11), 4)
E3 = Polygon((E$1, $A3), (E$1 + 1, $A3), 4)
E4 = Polygon((E$1, $A4), (E$1 + 1, $A4), 4)
E5 = Polygon((E$1, $A5), (E$1 + 1, $A5), 4)
E6 = Polygon((E$1, $A6), (E$1 + 1, $A6), 4)
E7 = Polygon((E$1, $A7), (E$1 + 1, $A7), 4)
E8 = Polygon((E$1, $A8), (E$1 + 1, $A8), 4)
E9 = Polygon((E$1, $A9), (E$1 + 1, $A9), 4)
E10 = Polygon((E$1, $A10), (E$1 + 1, $A10), 4)
E11 = Polygon((E$1, $A11), (E$1 + 1, $A11), 4)
F3 = Polygon((F$1, $A3), (F$1 + 1, $A3), 4)
F4 = Polygon((F$1, $A4), (F$1 + 1, $A4), 4)
F5 = Polygon((F$1, $A5), (F$1 + 1, $A5), 4)
F6 = Polygon((F$1, $A6), (F$1 + 1, $A6), 4)
F7 = Polygon((F$1, $A7), (F$1 + 1, $A7), 4)
F8 = Polygon((F$1, $A8), (F$1 + 1, $A8), 4)
F9 = Polygon((F$1, $A9), (F$1 + 1, $A9), 4)
F10 = Polygon((F$1, $A10), (F$1 + 1, $A10), 4)
F11 = Polygon((F$1, $A11), (F$1 + 1, $A11), 4)
G3 = Polygon((G$1, $A3), (G$1 + 1, $A3), 4)
G4 = Polygon((G$1, $A4), (G$1 + 1, $A4), 4)
G5 = Polygon((G$1, $A5), (G$1 + 1, $A5), 4)
G6 = Polygon((G$1, $A6), (G$1 + 1, $A6), 4)
G7 = Polygon((G$1, $A7), (G$1 + 1, $A7), 4)
G8 = Polygon((G$1, $A8), (G$1 + 1, $A8), 4)
G9 = Polygon((G$1, $A9), (G$1 + 1, $A9), 4)
G10 = Polygon((G$1, $A10), (G$1 + 1, $A10), 4)
G11 = Polygon((G$1, $A11), (G$1 + 1, $A11), 4)
H3 = Polygon((H$1, $A3), (H$1 + 1, $A3), 4)
H4 = Polygon((H$1, $A4), (H$1 + 1, $A4), 4)
H5 = Polygon((H$1, $A5), (H$1 + 1, $A5), 4)
H6 = Polygon((H$1, $A6), (H$1 + 1, $A6), 4)
H7 = Polygon((H$1, $A7), (H$1 + 1, $A7), 4)
H8 = Polygon((H$1, $A8), (H$1 + 1, $A8), 4)
H9 = Polygon((H$1, $A9), (H$1 + 1, $A9), 4)
H10 = Polygon((H$1, $A10), (H$1 + 1, $A10), 4)
H11 = Polygon((H$1, $A11), (H$1 + 1, $A11), 4)
I3 = Polygon((I$1, $A3), (I$1 + 1, $A3), 4)
I4 = Polygon((I$1, $A4), (I$1 + 1, $A4), 4)
I5 = Polygon((I$1, $A5), (I$1 + 1, $A5), 4)
I6 = Polygon((I$1, $A6), (I$1 + 1, $A6), 4)
I7 = Polygon((I$1, $A7), (I$1 + 1, $A7), 4)
I8 = Polygon((I$1, $A8), (I$1 + 1, $A8), 4)
I9 = Polygon((I$1, $A9), (I$1 + 1, $A9), 4)
I10 = Polygon((I$1, $A10), (I$1 + 1, $A10), 4)
I11 = Polygon((I$1, $A11), (I$1 + 1, $A11), 4)
J3 = Polygon((J$1, $A3), (J$1 + 1, $A3), 4)
J4 = Polygon((J$1, $A4), (J$1 + 1, $A4), 4)
J5 = Polygon((J$1, $A5), (J$1 + 1, $A5), 4)
J6 = Polygon((J$1, $A6), (J$1 + 1, $A6), 4)
J7 = Polygon((J$1, $A7), (J$1 + 1, $A7), 4)
J8 = Polygon((J$1, $A8), (J$1 + 1, $A8), 4)
J9 = Polygon((J$1, $A9), (J$1 + 1, $A9), 4)
J10 = Polygon((J$1, $A10), (J$1 + 1, $A10), 4)
J11 = Polygon((J$1, $A11), (J$1 + 1, $A11), 4)
K3 = Polygon((K$1, $A3), (K$1 + 1, $A3), 4)
K4 = Polygon((K$1, $A4), (K$1 + 1, $A4), 4)
K5 = Polygon((K$1, $A5), (K$1 + 1, $A5), 4)
K6 = Polygon((K$1, $A6), (K$1 + 1, $A6), 4)
K7 = Polygon((K$1, $A7), (K$1 + 1, $A7), 4)
K8 = Polygon((K$1, $A8), (K$1 + 1, $A8), 4)
K9 = Polygon((K$1, $A9), (K$1 + 1, $A9), 4)
K10 = Polygon((K$1, $A10), (K$1 + 1, $A10), 4)
K11 = Polygon((K$1, $A11), (K$1 + 1, $A11), 4)
lista2 = Sequence(Segment[(0, n), (10, n)], n, 0, 10)
lista3 = Sequence(Segment[(n, 0), (n, 10)], n, 0, 10)
lista4 = Sequence(Circle[(5, -15.5), 1.5 + n], n, 0, 10)
B = (5, -15.5)
C = (15.62, -11.1)
lista5 = Sequence(Segment[Rotate[B, (((-n) * 22.5))°, B], Rotate[C, (((-n) * 22.5))°, B]], n, 0, 10)
B14 = Polygon((B$1, $A2), (B$1 + 1, $A2), 4)
lista6: {B14}
C14 = Polygon((C$1, $A2), (C$1 + 1, $A2), 4)
D14 = Polygon((D$1, $A2), (D$1 + 1, $A2), 4)
E14 = Polygon((E$1, $A2), (E$1 + 1, $A2), 4)
F14 = Polygon((F$1, $A2), (F$1 + 1, $A2), 4)
G14 = Polygon((G$1, $A2), (G$1 + 1, $A2), 4)
H14 = Polygon((H$1, $A2), (H$1 + 1, $A2), 4)
I14 = Polygon((I$1, $A2), (I$1 + 1, $A2), 4)
J14 = Polygon((J$1, $A2), (J$1 + 1, $A2), 4)
K14 = Polygon((K$1, $A2), (K$1 + 1, $A2), 4)
B15 = Polygon((B$1, $A3), (B$1 + 1, $A3), 4)
B16 = Polygon((B$1, $A4), (B$1 + 1, $A4), 4)
B17 = Polygon((B$1, $A5), (B$1 + 1, $A5), 4)
B18 = Polygon((B$1, $A6), (B$1 + 1, $A6), 4)
B19 = Polygon((B$1, $A7), (B$1 + 1, $A7), 4)
B20 = Polygon((B$1, $A8), (B$1 + 1, $A8), 4)
B21 = Polygon((B$1, $A9), (B$1 + 1, $A9), 4)
B22 = Polygon((B$1, $A10), (B$1 + 1, $A10), 4)
B23 = Polygon((B$1, $A11), (B$1 + 1, $A11), 4)
C15 = Polygon((C$1, $A3), (C$1 + 1, $A3), 4)
C16 = Polygon((C$1, $A4), (C$1 + 1, $A4), 4)
C17 = Polygon((C$1, $A5), (C$1 + 1, $A5), 4)
C18 = Polygon((C$1, $A6), (C$1 + 1, $A6), 4)
C19 = Polygon((C$1, $A7), (C$1 + 1, $A7), 4)
C20 = Polygon((C$1, $A8), (C$1 + 1, $A8), 4)
C21 = Polygon((C$1, $A9), (C$1 + 1, $A9), 4)
C22 = Polygon((C$1, $A10), (C$1 + 1, $A10), 4)
C23 = Polygon((C$1, $A11), (C$1 + 1, $A11), 4)
D15 = Polygon((D$1, $A3), (D$1 + 1, $A3), 4)
D16 = Polygon((D$1, $A4), (D$1 + 1, $A4), 4)
D17 = Polygon((D$1, $A5), (D$1 + 1, $A5), 4)
D18 = Polygon((D$1, $A6), (D$1 + 1, $A6), 4)
D19 = Polygon((D$1, $A7), (D$1 + 1, $A7), 4)
D20 = Polygon((D$1, $A8), (D$1 + 1, $A8), 4)
D21 = Polygon((D$1, $A9), (D$1 + 1, $A9), 4)
D22 = Polygon((D$1, $A10), (D$1 + 1, $A10), 4)
D23 = Polygon((D$1, $A11), (D$1 + 1, $A11), 4)
E15 = Polygon((E$1, $A3), (E$1 + 1, $A3), 4)
E16 = Polygon((E$1, $A4), (E$1 + 1, $A4), 4)
E17 = Polygon((E$1, $A5), (E$1 + 1, $A5), 4)
E18 = Polygon((E$1, $A6), (E$1 + 1, $A6), 4)
E19 = Polygon((E$1, $A7), (E$1 + 1, $A7), 4)
E20 = Polygon((E$1, $A8), (E$1 + 1, $A8), 4)
E21 = Polygon((E$1, $A9), (E$1 + 1, $A9), 4)
E22 = Polygon((E$1, $A10), (E$1 + 1, $A10), 4)
E23 = Polygon((E$1, $A11), (E$1 + 1, $A11), 4)
F15 = Polygon((F$1, $A3), (F$1 + 1, $A3), 4)
F16 = Polygon((F$1, $A4), (F$1 + 1, $A4), 4)
F17 = Polygon((F$1, $A5), (F$1 + 1, $A5), 4)
F18 = Polygon((F$1, $A6), (F$1 + 1, $A6), 4)
F19 = Polygon((F$1, $A7), (F$1 + 1, $A7), 4)
F20 = Polygon((F$1, $A8), (F$1 + 1, $A8), 4)
F21 = Polygon((F$1, $A9), (F$1 + 1, $A9), 4)
F22 = Polygon((F$1, $A10), (F$1 + 1, $A10), 4)
F23 = Polygon((F$1, $A11), (F$1 + 1, $A11), 4)
G15 = Polygon((G$1, $A3), (G$1 + 1, $A3), 4)
G16 = Polygon((G$1, $A4), (G$1 + 1, $A4), 4)
G17 = Polygon((G$1, $A5), (G$1 + 1, $A5), 4)
G18 = Polygon((G$1, $A6), (G$1 + 1, $A6), 4)
G19 = Polygon((G$1, $A7), (G$1 + 1, $A7), 4)
G20 = Polygon((G$1, $A8), (G$1 + 1, $A8), 4)
G21 = Polygon((G$1, $A9), (G$1 + 1, $A9), 4)
G22 = Polygon((G$1, $A10), (G$1 + 1, $A10), 4)
G23 = Polygon((G$1, $A11), (G$1 + 1, $A11), 4)
H15 = Polygon((H$1, $A3), (H$1 + 1, $A3), 4)
H16 = Polygon((H$1, $A4), (H$1 + 1, $A4), 4)
H17 = Polygon((H$1, $A5), (H$1 + 1, $A5), 4)
H18 = Polygon((H$1, $A6), (H$1 + 1, $A6), 4)
H19 = Polygon((H$1, $A7), (H$1 + 1, $A7), 4)
H20 = Polygon((H$1, $A8), (H$1 + 1, $A8), 4)
H21 = Polygon((H$1, $A9), (H$1 + 1, $A9), 4)
H22 = Polygon((H$1, $A10), (H$1 + 1, $A10), 4)
H23 = Polygon((H$1, $A11), (H$1 + 1, $A11), 4)
I15 = Polygon((I$1, $A3), (I$1 + 1, $A3), 4)
I16 = Polygon((I$1, $A4), (I$1 + 1, $A4), 4)
I17 = Polygon((I$1, $A5), (I$1 + 1, $A5), 4)
I18 = Polygon((I$1, $A6), (I$1 + 1, $A6), 4)
I19 = Polygon((I$1, $A7), (I$1 + 1, $A7), 4)
I20 = Polygon((I$1, $A8), (I$1 + 1, $A8), 4)
I21 = Polygon((I$1, $A9), (I$1 + 1, $A9), 4)
I22 = Polygon((I$1, $A10), (I$1 + 1, $A10), 4)
I23 = Polygon((I$1, $A11), (I$1 + 1, $A11), 4)
J15 = Polygon((J$1, $A3), (J$1 + 1, $A3), 4)
J16 = Polygon((J$1, $A4), (J$1 + 1, $A4), 4)
J17 = Polygon((J$1, $A5), (J$1 + 1, $A5), 4)
J18 = Polygon((J$1, $A6), (J$1 + 1, $A6), 4)
J19 = Polygon((J$1, $A7), (J$1 + 1, $A7), 4)
J20 = Polygon((J$1, $A8), (J$1 + 1, $A8), 4)
J21 = Polygon((J$1, $A9), (J$1 + 1, $A9), 4)
J22 = Polygon((J$1, $A10), (J$1 + 1, $A10), 4)
J23 = Polygon((J$1, $A11), (J$1 + 1, $A11), 4)
K15 = Polygon((K$1, $A3), (K$1 + 1, $A3), 4)
K16 = Polygon((K$1, $A4), (K$1 + 1, $A4), 4)
K17 = Polygon((K$1, $A5), (K$1 + 1, $A5), 4)
K18 = Polygon((K$1, $A6), (K$1 + 1, $A6), 4)
K19 = Polygon((K$1, $A7), (K$1 + 1, $A7), 4)
K20 = Polygon((K$1, $A8), (K$1 + 1, $A8), 4)
K21 = Polygon((K$1, $A9), (K$1 + 1, $A9), 4)
K22 = Polygon((K$1, $A10), (K$1 + 1, $A10), 4)
K23 = Polygon((K$1, $A11), (K$1 + 1, $A11), 4)
B26 = false
C26 = false
D26 = false
E26 = false
F26 = false
G26 = false
H26 = false
I26 = false
J26 = false
K26 = false
B27 = false
B28 = false
B29 = false
B30 = false
B31 = false
B32 = false
B33 = false
B34 = false
B35 = false
C27 = false
C28 = false
C29 = false
C30 = false
C31 = false
C32 = false
C33 = false
C34 = false
C35 = false
D27 = true
D28 = true
D29 = false
D30 = false
D31 = true
D32 = true
D33 = true
D34 = true
D35 = false
E27 = true
E28 = true
E29 = false
E30 = false
E31 = true
E32 = true
E33 = true
E34 = true
E35 = false
F27 = true
F28 = false
F29 = false
F30 = false
F31 = true
F32 = false
F33 = false
F34 = true
F35 = false
G27 = true
G28 = false
G29 = false
G30 = false
G31 = true
G32 = false
G33 = false
G34 = true
G35 = false
H27 = true
H28 = true
H29 = true
H30 = true
H31 = true
H32 = false
H33 = false
H34 = true
H35 = false
I27 = false
I28 = true
I29 = true
I30 = true
I31 = false
I32 = false
I33 = false
I34 = true
I35 = false
J27 = false
J28 = false
J29 = false
J30 = false
J31 = false
J32 = false
J33 = false
J34 = false
J35 = false
K27 = false
K28 = false
K29 = false
K30 = false
K31 = false
K32 = false
K33 = false
K34 = false
K35 = false
B38(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A2 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A2)^(2)) ∧ ((sin((((B$1 - 1) * 22.5))°) * x) - (cos((((B$1 - 1) * 22.5))°) * y) > (sin((((B$1 - 1) * 22.5))°) * 5) - (cos((((B$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((B$1 * 22.5))°) * x) - (cos(((B$1 * 22.5))°) * y)  <  (sin(((B$1 * 22.5))°) * 5) - (cos(((B$1 * 22.5))°) * (-15.5)))
C38(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A2 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A2)^(2)) ∧ ((sin((((C$1 - 1) * 22.5))°) * x) - (cos((((C$1 - 1) * 22.5))°) * y) > (sin((((C$1 - 1) * 22.5))°) * 5) - (cos((((C$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((C$1 * 22.5))°) * x) - (cos(((C$1 * 22.5))°) * y)  <  (sin(((C$1 * 22.5))°) * 5) - (cos(((C$1 * 22.5))°) * (-15.5)))
D38(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A2 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A2)^(2)) ∧ ((sin((((D$1 - 1) * 22.5))°) * x) - (cos((((D$1 - 1) * 22.5))°) * y) > (sin((((D$1 - 1) * 22.5))°) * 5) - (cos((((D$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((D$1 * 22.5))°) * x) - (cos(((D$1 * 22.5))°) * y)  <  (sin(((D$1 * 22.5))°) * 5) - (cos(((D$1 * 22.5))°) * (-15.5)))
E38(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A2 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A2)^(2)) ∧ ((sin((((E$1 - 1) * 22.5))°) * x) - (cos((((E$1 - 1) * 22.5))°) * y) > (sin((((E$1 - 1) * 22.5))°) * 5) - (cos((((E$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((E$1 * 22.5))°) * x) - (cos(((E$1 * 22.5))°) * y)  <  (sin(((E$1 * 22.5))°) * 5) - (cos(((E$1 * 22.5))°) * (-15.5)))
F38(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A2 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A2)^(2)) ∧ ((sin((((F$1 - 1) * 22.5))°) * x) - (cos((((F$1 - 1) * 22.5))°) * y) > (sin((((F$1 - 1) * 22.5))°) * 5) - (cos((((F$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((F$1 * 22.5))°) * x) - (cos(((F$1 * 22.5))°) * y)  <  (sin(((F$1 * 22.5))°) * 5) - (cos(((F$1 * 22.5))°) * (-15.5)))
G38(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A2 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A2)^(2)) ∧ ((sin((((G$1 - 1) * 22.5))°) * x) - (cos((((G$1 - 1) * 22.5))°) * y) > (sin((((G$1 - 1) * 22.5))°) * 5) - (cos((((G$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((G$1 * 22.5))°) * x) - (cos(((G$1 * 22.5))°) * y)  <  (sin(((G$1 * 22.5))°) * 5) - (cos(((G$1 * 22.5))°) * (-15.5)))
H38(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A2 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A2)^(2)) ∧ ((sin((((H$1 - 1) * 22.5))°) * x) - (cos((((H$1 - 1) * 22.5))°) * y) > (sin((((H$1 - 1) * 22.5))°) * 5) - (cos((((H$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((H$1 * 22.5))°) * x) - (cos(((H$1 * 22.5))°) * y)  <  (sin(((H$1 * 22.5))°) * 5) - (cos(((H$1 * 22.5))°) * (-15.5)))
I38(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A2 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A2)^(2)) ∧ ((sin((((I$1 - 1) * 22.5))°) * x) - (cos((((I$1 - 1) * 22.5))°) * y) > (sin((((I$1 - 1) * 22.5))°) * 5) - (cos((((I$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((I$1 * 22.5))°) * x) - (cos(((I$1 * 22.5))°) * y)  <  (sin(((I$1 * 22.5))°) * 5) - (cos(((I$1 * 22.5))°) * (-15.5)))
J38(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A2 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A2)^(2)) ∧ ((sin((((J$1 - 1) * 22.5))°) * x) - (cos((((J$1 - 1) * 22.5))°) * y) > (sin((((J$1 - 1) * 22.5))°) * 5) - (cos((((J$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((J$1 * 22.5))°) * x) - (cos(((J$1 * 22.5))°) * y)  <  (sin(((J$1 * 22.5))°) * 5) - (cos(((J$1 * 22.5))°) * (-15.5)))
K38(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A2 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A2)^(2)) ∧ ((sin((((K$1 - 1) * 22.5))°) * x) - (cos((((K$1 - 1) * 22.5))°) * y) > (sin((((K$1 - 1) * 22.5))°) * 5) - (cos((((K$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((K$1 * 22.5))°) * x) - (cos(((K$1 * 22.5))°) * y)  <  (sin(((K$1 * 22.5))°) * 5) - (cos(((K$1 * 22.5))°) * (-15.5)))
B39(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A3 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A3)^(2)) ∧ ((sin((((B$1 - 1) * 22.5))°) * x) - (cos((((B$1 - 1) * 22.5))°) * y) > (sin((((B$1 - 1) * 22.5))°) * 5) - (cos((((B$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((B$1 * 22.5))°) * x) - (cos(((B$1 * 22.5))°) * y)  <  (sin(((B$1 * 22.5))°) * 5) - (cos(((B$1 * 22.5))°) * (-15.5)))
B40(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A4 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A4)^(2)) ∧ ((sin((((B$1 - 1) * 22.5))°) * x) - (cos((((B$1 - 1) * 22.5))°) * y) > (sin((((B$1 - 1) * 22.5))°) * 5) - (cos((((B$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((B$1 * 22.5))°) * x) - (cos(((B$1 * 22.5))°) * y)  <  (sin(((B$1 * 22.5))°) * 5) - (cos(((B$1 * 22.5))°) * (-15.5)))
B41(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A5 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A5)^(2)) ∧ ((sin((((B$1 - 1) * 22.5))°) * x) - (cos((((B$1 - 1) * 22.5))°) * y) > (sin((((B$1 - 1) * 22.5))°) * 5) - (cos((((B$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((B$1 * 22.5))°) * x) - (cos(((B$1 * 22.5))°) * y)  <  (sin(((B$1 * 22.5))°) * 5) - (cos(((B$1 * 22.5))°) * (-15.5)))
B42(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A6 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A6)^(2)) ∧ ((sin((((B$1 - 1) * 22.5))°) * x) - (cos((((B$1 - 1) * 22.5))°) * y) > (sin((((B$1 - 1) * 22.5))°) * 5) - (cos((((B$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((B$1 * 22.5))°) * x) - (cos(((B$1 * 22.5))°) * y)  <  (sin(((B$1 * 22.5))°) * 5) - (cos(((B$1 * 22.5))°) * (-15.5)))
B43(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A7 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A7)^(2)) ∧ ((sin((((B$1 - 1) * 22.5))°) * x) - (cos((((B$1 - 1) * 22.5))°) * y) > (sin((((B$1 - 1) * 22.5))°) * 5) - (cos((((B$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((B$1 * 22.5))°) * x) - (cos(((B$1 * 22.5))°) * y)  <  (sin(((B$1 * 22.5))°) * 5) - (cos(((B$1 * 22.5))°) * (-15.5)))
B44(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A8 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A8)^(2)) ∧ ((sin((((B$1 - 1) * 22.5))°) * x) - (cos((((B$1 - 1) * 22.5))°) * y) > (sin((((B$1 - 1) * 22.5))°) * 5) - (cos((((B$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((B$1 * 22.5))°) * x) - (cos(((B$1 * 22.5))°) * y)  <  (sin(((B$1 * 22.5))°) * 5) - (cos(((B$1 * 22.5))°) * (-15.5)))
B45(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A9 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A9)^(2)) ∧ ((sin((((B$1 - 1) * 22.5))°) * x) - (cos((((B$1 - 1) * 22.5))°) * y) > (sin((((B$1 - 1) * 22.5))°) * 5) - (cos((((B$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((B$1 * 22.5))°) * x) - (cos(((B$1 * 22.5))°) * y)  <  (sin(((B$1 * 22.5))°) * 5) - (cos(((B$1 * 22.5))°) * (-15.5)))
B46(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A10 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A10)^(2)) ∧ ((sin((((B$1 - 1) * 22.5))°) * x) - (cos((((B$1 - 1) * 22.5))°) * y) > (sin((((B$1 - 1) * 22.5))°) * 5) - (cos((((B$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((B$1 * 22.5))°) * x) - (cos(((B$1 * 22.5))°) * y)  <  (sin(((B$1 * 22.5))°) * 5) - (cos(((B$1 * 22.5))°) * (-15.5)))
B47(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A11 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A11)^(2)) ∧ ((sin((((B$1 - 1) * 22.5))°) * x) - (cos((((B$1 - 1) * 22.5))°) * y) > (sin((((B$1 - 1) * 22.5))°) * 5) - (cos((((B$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((B$1 * 22.5))°) * x) - (cos(((B$1 * 22.5))°) * y)  <  (sin(((B$1 * 22.5))°) * 5) - (cos(((B$1 * 22.5))°) * (-15.5)))
C39(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A3 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A3)^(2)) ∧ ((sin((((C$1 - 1) * 22.5))°) * x) - (cos((((C$1 - 1) * 22.5))°) * y) > (sin((((C$1 - 1) * 22.5))°) * 5) - (cos((((C$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((C$1 * 22.5))°) * x) - (cos(((C$1 * 22.5))°) * y)  <  (sin(((C$1 * 22.5))°) * 5) - (cos(((C$1 * 22.5))°) * (-15.5)))
C40(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A4 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A4)^(2)) ∧ ((sin((((C$1 - 1) * 22.5))°) * x) - (cos((((C$1 - 1) * 22.5))°) * y) > (sin((((C$1 - 1) * 22.5))°) * 5) - (cos((((C$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((C$1 * 22.5))°) * x) - (cos(((C$1 * 22.5))°) * y)  <  (sin(((C$1 * 22.5))°) * 5) - (cos(((C$1 * 22.5))°) * (-15.5)))
C41(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A5 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A5)^(2)) ∧ ((sin((((C$1 - 1) * 22.5))°) * x) - (cos((((C$1 - 1) * 22.5))°) * y) > (sin((((C$1 - 1) * 22.5))°) * 5) - (cos((((C$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((C$1 * 22.5))°) * x) - (cos(((C$1 * 22.5))°) * y)  <  (sin(((C$1 * 22.5))°) * 5) - (cos(((C$1 * 22.5))°) * (-15.5)))
C42(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A6 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A6)^(2)) ∧ ((sin((((C$1 - 1) * 22.5))°) * x) - (cos((((C$1 - 1) * 22.5))°) * y) > (sin((((C$1 - 1) * 22.5))°) * 5) - (cos((((C$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((C$1 * 22.5))°) * x) - (cos(((C$1 * 22.5))°) * y)  <  (sin(((C$1 * 22.5))°) * 5) - (cos(((C$1 * 22.5))°) * (-15.5)))
C43(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A7 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A7)^(2)) ∧ ((sin((((C$1 - 1) * 22.5))°) * x) - (cos((((C$1 - 1) * 22.5))°) * y) > (sin((((C$1 - 1) * 22.5))°) * 5) - (cos((((C$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((C$1 * 22.5))°) * x) - (cos(((C$1 * 22.5))°) * y)  <  (sin(((C$1 * 22.5))°) * 5) - (cos(((C$1 * 22.5))°) * (-15.5)))
C44(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A8 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A8)^(2)) ∧ ((sin((((C$1 - 1) * 22.5))°) * x) - (cos((((C$1 - 1) * 22.5))°) * y) > (sin((((C$1 - 1) * 22.5))°) * 5) - (cos((((C$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((C$1 * 22.5))°) * x) - (cos(((C$1 * 22.5))°) * y)  <  (sin(((C$1 * 22.5))°) * 5) - (cos(((C$1 * 22.5))°) * (-15.5)))
C45(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A9 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A9)^(2)) ∧ ((sin((((C$1 - 1) * 22.5))°) * x) - (cos((((C$1 - 1) * 22.5))°) * y) > (sin((((C$1 - 1) * 22.5))°) * 5) - (cos((((C$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((C$1 * 22.5))°) * x) - (cos(((C$1 * 22.5))°) * y)  <  (sin(((C$1 * 22.5))°) * 5) - (cos(((C$1 * 22.5))°) * (-15.5)))
C46(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A10 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A10)^(2)) ∧ ((sin((((C$1 - 1) * 22.5))°) * x) - (cos((((C$1 - 1) * 22.5))°) * y) > (sin((((C$1 - 1) * 22.5))°) * 5) - (cos((((C$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((C$1 * 22.5))°) * x) - (cos(((C$1 * 22.5))°) * y)  <  (sin(((C$1 * 22.5))°) * 5) - (cos(((C$1 * 22.5))°) * (-15.5)))
C47(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A11 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A11)^(2)) ∧ ((sin((((C$1 - 1) * 22.5))°) * x) - (cos((((C$1 - 1) * 22.5))°) * y) > (sin((((C$1 - 1) * 22.5))°) * 5) - (cos((((C$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((C$1 * 22.5))°) * x) - (cos(((C$1 * 22.5))°) * y)  <  (sin(((C$1 * 22.5))°) * 5) - (cos(((C$1 * 22.5))°) * (-15.5)))
D39(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A3 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A3)^(2)) ∧ ((sin((((D$1 - 1) * 22.5))°) * x) - (cos((((D$1 - 1) * 22.5))°) * y) > (sin((((D$1 - 1) * 22.5))°) * 5) - (cos((((D$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((D$1 * 22.5))°) * x) - (cos(((D$1 * 22.5))°) * y)  <  (sin(((D$1 * 22.5))°) * 5) - (cos(((D$1 * 22.5))°) * (-15.5)))
D40(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A4 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A4)^(2)) ∧ ((sin((((D$1 - 1) * 22.5))°) * x) - (cos((((D$1 - 1) * 22.5))°) * y) > (sin((((D$1 - 1) * 22.5))°) * 5) - (cos((((D$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((D$1 * 22.5))°) * x) - (cos(((D$1 * 22.5))°) * y)  <  (sin(((D$1 * 22.5))°) * 5) - (cos(((D$1 * 22.5))°) * (-15.5)))
D41(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A5 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A5)^(2)) ∧ ((sin((((D$1 - 1) * 22.5))°) * x) - (cos((((D$1 - 1) * 22.5))°) * y) > (sin((((D$1 - 1) * 22.5))°) * 5) - (cos((((D$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((D$1 * 22.5))°) * x) - (cos(((D$1 * 22.5))°) * y)  <  (sin(((D$1 * 22.5))°) * 5) - (cos(((D$1 * 22.5))°) * (-15.5)))
D42(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A6 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A6)^(2)) ∧ ((sin((((D$1 - 1) * 22.5))°) * x) - (cos((((D$1 - 1) * 22.5))°) * y) > (sin((((D$1 - 1) * 22.5))°) * 5) - (cos((((D$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((D$1 * 22.5))°) * x) - (cos(((D$1 * 22.5))°) * y)  <  (sin(((D$1 * 22.5))°) * 5) - (cos(((D$1 * 22.5))°) * (-15.5)))
D43(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A7 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A7)^(2)) ∧ ((sin((((D$1 - 1) * 22.5))°) * x) - (cos((((D$1 - 1) * 22.5))°) * y) > (sin((((D$1 - 1) * 22.5))°) * 5) - (cos((((D$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((D$1 * 22.5))°) * x) - (cos(((D$1 * 22.5))°) * y)  <  (sin(((D$1 * 22.5))°) * 5) - (cos(((D$1 * 22.5))°) * (-15.5)))
D44(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A8 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A8)^(2)) ∧ ((sin((((D$1 - 1) * 22.5))°) * x) - (cos((((D$1 - 1) * 22.5))°) * y) > (sin((((D$1 - 1) * 22.5))°) * 5) - (cos((((D$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((D$1 * 22.5))°) * x) - (cos(((D$1 * 22.5))°) * y)  <  (sin(((D$1 * 22.5))°) * 5) - (cos(((D$1 * 22.5))°) * (-15.5)))
D45(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A9 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A9)^(2)) ∧ ((sin((((D$1 - 1) * 22.5))°) * x) - (cos((((D$1 - 1) * 22.5))°) * y) > (sin((((D$1 - 1) * 22.5))°) * 5) - (cos((((D$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((D$1 * 22.5))°) * x) - (cos(((D$1 * 22.5))°) * y)  <  (sin(((D$1 * 22.5))°) * 5) - (cos(((D$1 * 22.5))°) * (-15.5)))
D46(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A10 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A10)^(2)) ∧ ((sin((((D$1 - 1) * 22.5))°) * x) - (cos((((D$1 - 1) * 22.5))°) * y) > (sin((((D$1 - 1) * 22.5))°) * 5) - (cos((((D$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((D$1 * 22.5))°) * x) - (cos(((D$1 * 22.5))°) * y)  <  (sin(((D$1 * 22.5))°) * 5) - (cos(((D$1 * 22.5))°) * (-15.5)))
D47(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A11 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A11)^(2)) ∧ ((sin((((D$1 - 1) * 22.5))°) * x) - (cos((((D$1 - 1) * 22.5))°) * y) > (sin((((D$1 - 1) * 22.5))°) * 5) - (cos((((D$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((D$1 * 22.5))°) * x) - (cos(((D$1 * 22.5))°) * y)  <  (sin(((D$1 * 22.5))°) * 5) - (cos(((D$1 * 22.5))°) * (-15.5)))
E39(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A3 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A3)^(2)) ∧ ((sin((((E$1 - 1) * 22.5))°) * x) - (cos((((E$1 - 1) * 22.5))°) * y) > (sin((((E$1 - 1) * 22.5))°) * 5) - (cos((((E$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((E$1 * 22.5))°) * x) - (cos(((E$1 * 22.5))°) * y)  <  (sin(((E$1 * 22.5))°) * 5) - (cos(((E$1 * 22.5))°) * (-15.5)))
E40(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A4 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A4)^(2)) ∧ ((sin((((E$1 - 1) * 22.5))°) * x) - (cos((((E$1 - 1) * 22.5))°) * y) > (sin((((E$1 - 1) * 22.5))°) * 5) - (cos((((E$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((E$1 * 22.5))°) * x) - (cos(((E$1 * 22.5))°) * y)  <  (sin(((E$1 * 22.5))°) * 5) - (cos(((E$1 * 22.5))°) * (-15.5)))
E41(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A5 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A5)^(2)) ∧ ((sin((((E$1 - 1) * 22.5))°) * x) - (cos((((E$1 - 1) * 22.5))°) * y) > (sin((((E$1 - 1) * 22.5))°) * 5) - (cos((((E$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((E$1 * 22.5))°) * x) - (cos(((E$1 * 22.5))°) * y)  <  (sin(((E$1 * 22.5))°) * 5) - (cos(((E$1 * 22.5))°) * (-15.5)))
E42(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A6 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A6)^(2)) ∧ ((sin((((E$1 - 1) * 22.5))°) * x) - (cos((((E$1 - 1) * 22.5))°) * y) > (sin((((E$1 - 1) * 22.5))°) * 5) - (cos((((E$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((E$1 * 22.5))°) * x) - (cos(((E$1 * 22.5))°) * y)  <  (sin(((E$1 * 22.5))°) * 5) - (cos(((E$1 * 22.5))°) * (-15.5)))
E43(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A7 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A7)^(2)) ∧ ((sin((((E$1 - 1) * 22.5))°) * x) - (cos((((E$1 - 1) * 22.5))°) * y) > (sin((((E$1 - 1) * 22.5))°) * 5) - (cos((((E$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((E$1 * 22.5))°) * x) - (cos(((E$1 * 22.5))°) * y)  <  (sin(((E$1 * 22.5))°) * 5) - (cos(((E$1 * 22.5))°) * (-15.5)))
E44(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A8 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A8)^(2)) ∧ ((sin((((E$1 - 1) * 22.5))°) * x) - (cos((((E$1 - 1) * 22.5))°) * y) > (sin((((E$1 - 1) * 22.5))°) * 5) - (cos((((E$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((E$1 * 22.5))°) * x) - (cos(((E$1 * 22.5))°) * y)  <  (sin(((E$1 * 22.5))°) * 5) - (cos(((E$1 * 22.5))°) * (-15.5)))
E45(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A9 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A9)^(2)) ∧ ((sin((((E$1 - 1) * 22.5))°) * x) - (cos((((E$1 - 1) * 22.5))°) * y) > (sin((((E$1 - 1) * 22.5))°) * 5) - (cos((((E$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((E$1 * 22.5))°) * x) - (cos(((E$1 * 22.5))°) * y)  <  (sin(((E$1 * 22.5))°) * 5) - (cos(((E$1 * 22.5))°) * (-15.5)))
E46(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A10 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A10)^(2)) ∧ ((sin((((E$1 - 1) * 22.5))°) * x) - (cos((((E$1 - 1) * 22.5))°) * y) > (sin((((E$1 - 1) * 22.5))°) * 5) - (cos((((E$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((E$1 * 22.5))°) * x) - (cos(((E$1 * 22.5))°) * y)  <  (sin(((E$1 * 22.5))°) * 5) - (cos(((E$1 * 22.5))°) * (-15.5)))
E47(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A11 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A11)^(2)) ∧ ((sin((((E$1 - 1) * 22.5))°) * x) - (cos((((E$1 - 1) * 22.5))°) * y) > (sin((((E$1 - 1) * 22.5))°) * 5) - (cos((((E$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((E$1 * 22.5))°) * x) - (cos(((E$1 * 22.5))°) * y)  <  (sin(((E$1 * 22.5))°) * 5) - (cos(((E$1 * 22.5))°) * (-15.5)))
F39(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A3 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A3)^(2)) ∧ ((sin((((F$1 - 1) * 22.5))°) * x) - (cos((((F$1 - 1) * 22.5))°) * y) > (sin((((F$1 - 1) * 22.5))°) * 5) - (cos((((F$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((F$1 * 22.5))°) * x) - (cos(((F$1 * 22.5))°) * y)  <  (sin(((F$1 * 22.5))°) * 5) - (cos(((F$1 * 22.5))°) * (-15.5)))
F40(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A4 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A4)^(2)) ∧ ((sin((((F$1 - 1) * 22.5))°) * x) - (cos((((F$1 - 1) * 22.5))°) * y) > (sin((((F$1 - 1) * 22.5))°) * 5) - (cos((((F$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((F$1 * 22.5))°) * x) - (cos(((F$1 * 22.5))°) * y)  <  (sin(((F$1 * 22.5))°) * 5) - (cos(((F$1 * 22.5))°) * (-15.5)))
F41(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A5 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A5)^(2)) ∧ ((sin((((F$1 - 1) * 22.5))°) * x) - (cos((((F$1 - 1) * 22.5))°) * y) > (sin((((F$1 - 1) * 22.5))°) * 5) - (cos((((F$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((F$1 * 22.5))°) * x) - (cos(((F$1 * 22.5))°) * y)  <  (sin(((F$1 * 22.5))°) * 5) - (cos(((F$1 * 22.5))°) * (-15.5)))
F42(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A6 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A6)^(2)) ∧ ((sin((((F$1 - 1) * 22.5))°) * x) - (cos((((F$1 - 1) * 22.5))°) * y) > (sin((((F$1 - 1) * 22.5))°) * 5) - (cos((((F$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((F$1 * 22.5))°) * x) - (cos(((F$1 * 22.5))°) * y)  <  (sin(((F$1 * 22.5))°) * 5) - (cos(((F$1 * 22.5))°) * (-15.5)))
F43(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A7 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A7)^(2)) ∧ ((sin((((F$1 - 1) * 22.5))°) * x) - (cos((((F$1 - 1) * 22.5))°) * y) > (sin((((F$1 - 1) * 22.5))°) * 5) - (cos((((F$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((F$1 * 22.5))°) * x) - (cos(((F$1 * 22.5))°) * y)  <  (sin(((F$1 * 22.5))°) * 5) - (cos(((F$1 * 22.5))°) * (-15.5)))
F44(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A8 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A8)^(2)) ∧ ((sin((((F$1 - 1) * 22.5))°) * x) - (cos((((F$1 - 1) * 22.5))°) * y) > (sin((((F$1 - 1) * 22.5))°) * 5) - (cos((((F$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((F$1 * 22.5))°) * x) - (cos(((F$1 * 22.5))°) * y)  <  (sin(((F$1 * 22.5))°) * 5) - (cos(((F$1 * 22.5))°) * (-15.5)))
F45(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A9 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A9)^(2)) ∧ ((sin((((F$1 - 1) * 22.5))°) * x) - (cos((((F$1 - 1) * 22.5))°) * y) > (sin((((F$1 - 1) * 22.5))°) * 5) - (cos((((F$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((F$1 * 22.5))°) * x) - (cos(((F$1 * 22.5))°) * y)  <  (sin(((F$1 * 22.5))°) * 5) - (cos(((F$1 * 22.5))°) * (-15.5)))
F46(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A10 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A10)^(2)) ∧ ((sin((((F$1 - 1) * 22.5))°) * x) - (cos((((F$1 - 1) * 22.5))°) * y) > (sin((((F$1 - 1) * 22.5))°) * 5) - (cos((((F$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((F$1 * 22.5))°) * x) - (cos(((F$1 * 22.5))°) * y)  <  (sin(((F$1 * 22.5))°) * 5) - (cos(((F$1 * 22.5))°) * (-15.5)))
F47(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A11 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A11)^(2)) ∧ ((sin((((F$1 - 1) * 22.5))°) * x) - (cos((((F$1 - 1) * 22.5))°) * y) > (sin((((F$1 - 1) * 22.5))°) * 5) - (cos((((F$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((F$1 * 22.5))°) * x) - (cos(((F$1 * 22.5))°) * y)  <  (sin(((F$1 * 22.5))°) * 5) - (cos(((F$1 * 22.5))°) * (-15.5)))
G39(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A3 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A3)^(2)) ∧ ((sin((((G$1 - 1) * 22.5))°) * x) - (cos((((G$1 - 1) * 22.5))°) * y) > (sin((((G$1 - 1) * 22.5))°) * 5) - (cos((((G$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((G$1 * 22.5))°) * x) - (cos(((G$1 * 22.5))°) * y)  <  (sin(((G$1 * 22.5))°) * 5) - (cos(((G$1 * 22.5))°) * (-15.5)))
G40(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A4 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A4)^(2)) ∧ ((sin((((G$1 - 1) * 22.5))°) * x) - (cos((((G$1 - 1) * 22.5))°) * y) > (sin((((G$1 - 1) * 22.5))°) * 5) - (cos((((G$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((G$1 * 22.5))°) * x) - (cos(((G$1 * 22.5))°) * y)  <  (sin(((G$1 * 22.5))°) * 5) - (cos(((G$1 * 22.5))°) * (-15.5)))
G41(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A5 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A5)^(2)) ∧ ((sin((((G$1 - 1) * 22.5))°) * x) - (cos((((G$1 - 1) * 22.5))°) * y) > (sin((((G$1 - 1) * 22.5))°) * 5) - (cos((((G$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((G$1 * 22.5))°) * x) - (cos(((G$1 * 22.5))°) * y)  <  (sin(((G$1 * 22.5))°) * 5) - (cos(((G$1 * 22.5))°) * (-15.5)))
G42(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A6 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A6)^(2)) ∧ ((sin((((G$1 - 1) * 22.5))°) * x) - (cos((((G$1 - 1) * 22.5))°) * y) > (sin((((G$1 - 1) * 22.5))°) * 5) - (cos((((G$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((G$1 * 22.5))°) * x) - (cos(((G$1 * 22.5))°) * y)  <  (sin(((G$1 * 22.5))°) * 5) - (cos(((G$1 * 22.5))°) * (-15.5)))
G43(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A7 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A7)^(2)) ∧ ((sin((((G$1 - 1) * 22.5))°) * x) - (cos((((G$1 - 1) * 22.5))°) * y) > (sin((((G$1 - 1) * 22.5))°) * 5) - (cos((((G$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((G$1 * 22.5))°) * x) - (cos(((G$1 * 22.5))°) * y)  <  (sin(((G$1 * 22.5))°) * 5) - (cos(((G$1 * 22.5))°) * (-15.5)))
G44(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A8 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A8)^(2)) ∧ ((sin((((G$1 - 1) * 22.5))°) * x) - (cos((((G$1 - 1) * 22.5))°) * y) > (sin((((G$1 - 1) * 22.5))°) * 5) - (cos((((G$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((G$1 * 22.5))°) * x) - (cos(((G$1 * 22.5))°) * y)  <  (sin(((G$1 * 22.5))°) * 5) - (cos(((G$1 * 22.5))°) * (-15.5)))
G45(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A9 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A9)^(2)) ∧ ((sin((((G$1 - 1) * 22.5))°) * x) - (cos((((G$1 - 1) * 22.5))°) * y) > (sin((((G$1 - 1) * 22.5))°) * 5) - (cos((((G$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((G$1 * 22.5))°) * x) - (cos(((G$1 * 22.5))°) * y)  <  (sin(((G$1 * 22.5))°) * 5) - (cos(((G$1 * 22.5))°) * (-15.5)))
G46(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A10 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A10)^(2)) ∧ ((sin((((G$1 - 1) * 22.5))°) * x) - (cos((((G$1 - 1) * 22.5))°) * y) > (sin((((G$1 - 1) * 22.5))°) * 5) - (cos((((G$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((G$1 * 22.5))°) * x) - (cos(((G$1 * 22.5))°) * y)  <  (sin(((G$1 * 22.5))°) * 5) - (cos(((G$1 * 22.5))°) * (-15.5)))
G47(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A11 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A11)^(2)) ∧ ((sin((((G$1 - 1) * 22.5))°) * x) - (cos((((G$1 - 1) * 22.5))°) * y) > (sin((((G$1 - 1) * 22.5))°) * 5) - (cos((((G$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((G$1 * 22.5))°) * x) - (cos(((G$1 * 22.5))°) * y)  <  (sin(((G$1 * 22.5))°) * 5) - (cos(((G$1 * 22.5))°) * (-15.5)))
H39(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A3 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A3)^(2)) ∧ ((sin((((H$1 - 1) * 22.5))°) * x) - (cos((((H$1 - 1) * 22.5))°) * y) > (sin((((H$1 - 1) * 22.5))°) * 5) - (cos((((H$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((H$1 * 22.5))°) * x) - (cos(((H$1 * 22.5))°) * y)  <  (sin(((H$1 * 22.5))°) * 5) - (cos(((H$1 * 22.5))°) * (-15.5)))
H40(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A4 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A4)^(2)) ∧ ((sin((((H$1 - 1) * 22.5))°) * x) - (cos((((H$1 - 1) * 22.5))°) * y) > (sin((((H$1 - 1) * 22.5))°) * 5) - (cos((((H$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((H$1 * 22.5))°) * x) - (cos(((H$1 * 22.5))°) * y)  <  (sin(((H$1 * 22.5))°) * 5) - (cos(((H$1 * 22.5))°) * (-15.5)))
H41(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A5 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A5)^(2)) ∧ ((sin((((H$1 - 1) * 22.5))°) * x) - (cos((((H$1 - 1) * 22.5))°) * y) > (sin((((H$1 - 1) * 22.5))°) * 5) - (cos((((H$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((H$1 * 22.5))°) * x) - (cos(((H$1 * 22.5))°) * y)  <  (sin(((H$1 * 22.5))°) * 5) - (cos(((H$1 * 22.5))°) * (-15.5)))
H42(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A6 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A6)^(2)) ∧ ((sin((((H$1 - 1) * 22.5))°) * x) - (cos((((H$1 - 1) * 22.5))°) * y) > (sin((((H$1 - 1) * 22.5))°) * 5) - (cos((((H$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((H$1 * 22.5))°) * x) - (cos(((H$1 * 22.5))°) * y)  <  (sin(((H$1 * 22.5))°) * 5) - (cos(((H$1 * 22.5))°) * (-15.5)))
H43(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A7 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A7)^(2)) ∧ ((sin((((H$1 - 1) * 22.5))°) * x) - (cos((((H$1 - 1) * 22.5))°) * y) > (sin((((H$1 - 1) * 22.5))°) * 5) - (cos((((H$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((H$1 * 22.5))°) * x) - (cos(((H$1 * 22.5))°) * y)  <  (sin(((H$1 * 22.5))°) * 5) - (cos(((H$1 * 22.5))°) * (-15.5)))
H44(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A8 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A8)^(2)) ∧ ((sin((((H$1 - 1) * 22.5))°) * x) - (cos((((H$1 - 1) * 22.5))°) * y) > (sin((((H$1 - 1) * 22.5))°) * 5) - (cos((((H$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((H$1 * 22.5))°) * x) - (cos(((H$1 * 22.5))°) * y)  <  (sin(((H$1 * 22.5))°) * 5) - (cos(((H$1 * 22.5))°) * (-15.5)))
H45(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A9 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A9)^(2)) ∧ ((sin((((H$1 - 1) * 22.5))°) * x) - (cos((((H$1 - 1) * 22.5))°) * y) > (sin((((H$1 - 1) * 22.5))°) * 5) - (cos((((H$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((H$1 * 22.5))°) * x) - (cos(((H$1 * 22.5))°) * y)  <  (sin(((H$1 * 22.5))°) * 5) - (cos(((H$1 * 22.5))°) * (-15.5)))
H46(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A10 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A10)^(2)) ∧ ((sin((((H$1 - 1) * 22.5))°) * x) - (cos((((H$1 - 1) * 22.5))°) * y) > (sin((((H$1 - 1) * 22.5))°) * 5) - (cos((((H$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((H$1 * 22.5))°) * x) - (cos(((H$1 * 22.5))°) * y)  <  (sin(((H$1 * 22.5))°) * 5) - (cos(((H$1 * 22.5))°) * (-15.5)))
H47(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A11 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A11)^(2)) ∧ ((sin((((H$1 - 1) * 22.5))°) * x) - (cos((((H$1 - 1) * 22.5))°) * y) > (sin((((H$1 - 1) * 22.5))°) * 5) - (cos((((H$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((H$1 * 22.5))°) * x) - (cos(((H$1 * 22.5))°) * y)  <  (sin(((H$1 * 22.5))°) * 5) - (cos(((H$1 * 22.5))°) * (-15.5)))
I39(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A3 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A3)^(2)) ∧ ((sin((((I$1 - 1) * 22.5))°) * x) - (cos((((I$1 - 1) * 22.5))°) * y) > (sin((((I$1 - 1) * 22.5))°) * 5) - (cos((((I$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((I$1 * 22.5))°) * x) - (cos(((I$1 * 22.5))°) * y)  <  (sin(((I$1 * 22.5))°) * 5) - (cos(((I$1 * 22.5))°) * (-15.5)))
I40(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A4 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A4)^(2)) ∧ ((sin((((I$1 - 1) * 22.5))°) * x) - (cos((((I$1 - 1) * 22.5))°) * y) > (sin((((I$1 - 1) * 22.5))°) * 5) - (cos((((I$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((I$1 * 22.5))°) * x) - (cos(((I$1 * 22.5))°) * y)  <  (sin(((I$1 * 22.5))°) * 5) - (cos(((I$1 * 22.5))°) * (-15.5)))
I41(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A5 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A5)^(2)) ∧ ((sin((((I$1 - 1) * 22.5))°) * x) - (cos((((I$1 - 1) * 22.5))°) * y) > (sin((((I$1 - 1) * 22.5))°) * 5) - (cos((((I$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((I$1 * 22.5))°) * x) - (cos(((I$1 * 22.5))°) * y)  <  (sin(((I$1 * 22.5))°) * 5) - (cos(((I$1 * 22.5))°) * (-15.5)))
I42(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A6 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A6)^(2)) ∧ ((sin((((I$1 - 1) * 22.5))°) * x) - (cos((((I$1 - 1) * 22.5))°) * y) > (sin((((I$1 - 1) * 22.5))°) * 5) - (cos((((I$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((I$1 * 22.5))°) * x) - (cos(((I$1 * 22.5))°) * y)  <  (sin(((I$1 * 22.5))°) * 5) - (cos(((I$1 * 22.5))°) * (-15.5)))
I43(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A7 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A7)^(2)) ∧ ((sin((((I$1 - 1) * 22.5))°) * x) - (cos((((I$1 - 1) * 22.5))°) * y) > (sin((((I$1 - 1) * 22.5))°) * 5) - (cos((((I$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((I$1 * 22.5))°) * x) - (cos(((I$1 * 22.5))°) * y)  <  (sin(((I$1 * 22.5))°) * 5) - (cos(((I$1 * 22.5))°) * (-15.5)))
I44(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A8 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A8)^(2)) ∧ ((sin((((I$1 - 1) * 22.5))°) * x) - (cos((((I$1 - 1) * 22.5))°) * y) > (sin((((I$1 - 1) * 22.5))°) * 5) - (cos((((I$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((I$1 * 22.5))°) * x) - (cos(((I$1 * 22.5))°) * y)  <  (sin(((I$1 * 22.5))°) * 5) - (cos(((I$1 * 22.5))°) * (-15.5)))
I45(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A9 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A9)^(2)) ∧ ((sin((((I$1 - 1) * 22.5))°) * x) - (cos((((I$1 - 1) * 22.5))°) * y) > (sin((((I$1 - 1) * 22.5))°) * 5) - (cos((((I$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((I$1 * 22.5))°) * x) - (cos(((I$1 * 22.5))°) * y)  <  (sin(((I$1 * 22.5))°) * 5) - (cos(((I$1 * 22.5))°) * (-15.5)))
I46(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A10 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A10)^(2)) ∧ ((sin((((I$1 - 1) * 22.5))°) * x) - (cos((((I$1 - 1) * 22.5))°) * y) > (sin((((I$1 - 1) * 22.5))°) * 5) - (cos((((I$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((I$1 * 22.5))°) * x) - (cos(((I$1 * 22.5))°) * y)  <  (sin(((I$1 * 22.5))°) * 5) - (cos(((I$1 * 22.5))°) * (-15.5)))
I47(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A11 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A11)^(2)) ∧ ((sin((((I$1 - 1) * 22.5))°) * x) - (cos((((I$1 - 1) * 22.5))°) * y) > (sin((((I$1 - 1) * 22.5))°) * 5) - (cos((((I$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((I$1 * 22.5))°) * x) - (cos(((I$1 * 22.5))°) * y)  <  (sin(((I$1 * 22.5))°) * 5) - (cos(((I$1 * 22.5))°) * (-15.5)))
J39(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A3 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A3)^(2)) ∧ ((sin((((J$1 - 1) * 22.5))°) * x) - (cos((((J$1 - 1) * 22.5))°) * y) > (sin((((J$1 - 1) * 22.5))°) * 5) - (cos((((J$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((J$1 * 22.5))°) * x) - (cos(((J$1 * 22.5))°) * y)  <  (sin(((J$1 * 22.5))°) * 5) - (cos(((J$1 * 22.5))°) * (-15.5)))
J40(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A4 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A4)^(2)) ∧ ((sin((((J$1 - 1) * 22.5))°) * x) - (cos((((J$1 - 1) * 22.5))°) * y) > (sin((((J$1 - 1) * 22.5))°) * 5) - (cos((((J$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((J$1 * 22.5))°) * x) - (cos(((J$1 * 22.5))°) * y)  <  (sin(((J$1 * 22.5))°) * 5) - (cos(((J$1 * 22.5))°) * (-15.5)))
J41(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A5 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A5)^(2)) ∧ ((sin((((J$1 - 1) * 22.5))°) * x) - (cos((((J$1 - 1) * 22.5))°) * y) > (sin((((J$1 - 1) * 22.5))°) * 5) - (cos((((J$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((J$1 * 22.5))°) * x) - (cos(((J$1 * 22.5))°) * y)  <  (sin(((J$1 * 22.5))°) * 5) - (cos(((J$1 * 22.5))°) * (-15.5)))
J42(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A6 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A6)^(2)) ∧ ((sin((((J$1 - 1) * 22.5))°) * x) - (cos((((J$1 - 1) * 22.5))°) * y) > (sin((((J$1 - 1) * 22.5))°) * 5) - (cos((((J$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((J$1 * 22.5))°) * x) - (cos(((J$1 * 22.5))°) * y)  <  (sin(((J$1 * 22.5))°) * 5) - (cos(((J$1 * 22.5))°) * (-15.5)))
J43(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A7 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A7)^(2)) ∧ ((sin((((J$1 - 1) * 22.5))°) * x) - (cos((((J$1 - 1) * 22.5))°) * y) > (sin((((J$1 - 1) * 22.5))°) * 5) - (cos((((J$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((J$1 * 22.5))°) * x) - (cos(((J$1 * 22.5))°) * y)  <  (sin(((J$1 * 22.5))°) * 5) - (cos(((J$1 * 22.5))°) * (-15.5)))
J44(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A8 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A8)^(2)) ∧ ((sin((((J$1 - 1) * 22.5))°) * x) - (cos((((J$1 - 1) * 22.5))°) * y) > (sin((((J$1 - 1) * 22.5))°) * 5) - (cos((((J$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((J$1 * 22.5))°) * x) - (cos(((J$1 * 22.5))°) * y)  <  (sin(((J$1 * 22.5))°) * 5) - (cos(((J$1 * 22.5))°) * (-15.5)))
J45(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A9 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A9)^(2)) ∧ ((sin((((J$1 - 1) * 22.5))°) * x) - (cos((((J$1 - 1) * 22.5))°) * y) > (sin((((J$1 - 1) * 22.5))°) * 5) - (cos((((J$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((J$1 * 22.5))°) * x) - (cos(((J$1 * 22.5))°) * y)  <  (sin(((J$1 * 22.5))°) * 5) - (cos(((J$1 * 22.5))°) * (-15.5)))
J46(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A10 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A10)^(2)) ∧ ((sin((((J$1 - 1) * 22.5))°) * x) - (cos((((J$1 - 1) * 22.5))°) * y) > (sin((((J$1 - 1) * 22.5))°) * 5) - (cos((((J$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((J$1 * 22.5))°) * x) - (cos(((J$1 * 22.5))°) * y)  <  (sin(((J$1 * 22.5))°) * 5) - (cos(((J$1 * 22.5))°) * (-15.5)))
J47(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A11 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A11)^(2)) ∧ ((sin((((J$1 - 1) * 22.5))°) * x) - (cos((((J$1 - 1) * 22.5))°) * y) > (sin((((J$1 - 1) * 22.5))°) * 5) - (cos((((J$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((J$1 * 22.5))°) * x) - (cos(((J$1 * 22.5))°) * y)  <  (sin(((J$1 * 22.5))°) * 5) - (cos(((J$1 * 22.5))°) * (-15.5)))
K39(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A3 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A3)^(2)) ∧ ((sin((((K$1 - 1) * 22.5))°) * x) - (cos((((K$1 - 1) * 22.5))°) * y) > (sin((((K$1 - 1) * 22.5))°) * 5) - (cos((((K$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((K$1 * 22.5))°) * x) - (cos(((K$1 * 22.5))°) * y)  <  (sin(((K$1 * 22.5))°) * 5) - (cos(((K$1 * 22.5))°) * (-15.5)))
K40(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A4 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A4)^(2)) ∧ ((sin((((K$1 - 1) * 22.5))°) * x) - (cos((((K$1 - 1) * 22.5))°) * y) > (sin((((K$1 - 1) * 22.5))°) * 5) - (cos((((K$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((K$1 * 22.5))°) * x) - (cos(((K$1 * 22.5))°) * y)  <  (sin(((K$1 * 22.5))°) * 5) - (cos(((K$1 * 22.5))°) * (-15.5)))
K41(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A5 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A5)^(2)) ∧ ((sin((((K$1 - 1) * 22.5))°) * x) - (cos((((K$1 - 1) * 22.5))°) * y) > (sin((((K$1 - 1) * 22.5))°) * 5) - (cos((((K$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((K$1 * 22.5))°) * x) - (cos(((K$1 * 22.5))°) * y)  <  (sin(((K$1 * 22.5))°) * 5) - (cos(((K$1 * 22.5))°) * (-15.5)))
K42(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A6 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A6)^(2)) ∧ ((sin((((K$1 - 1) * 22.5))°) * x) - (cos((((K$1 - 1) * 22.5))°) * y) > (sin((((K$1 - 1) * 22.5))°) * 5) - (cos((((K$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((K$1 * 22.5))°) * x) - (cos(((K$1 * 22.5))°) * y)  <  (sin(((K$1 * 22.5))°) * 5) - (cos(((K$1 * 22.5))°) * (-15.5)))
K43(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A7 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A7)^(2)) ∧ ((sin((((K$1 - 1) * 22.5))°) * x) - (cos((((K$1 - 1) * 22.5))°) * y) > (sin((((K$1 - 1) * 22.5))°) * 5) - (cos((((K$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((K$1 * 22.5))°) * x) - (cos(((K$1 * 22.5))°) * y)  <  (sin(((K$1 * 22.5))°) * 5) - (cos(((K$1 * 22.5))°) * (-15.5)))
K44(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A8 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A8)^(2)) ∧ ((sin((((K$1 - 1) * 22.5))°) * x) - (cos((((K$1 - 1) * 22.5))°) * y) > (sin((((K$1 - 1) * 22.5))°) * 5) - (cos((((K$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((K$1 * 22.5))°) * x) - (cos(((K$1 * 22.5))°) * y)  <  (sin(((K$1 * 22.5))°) * 5) - (cos(((K$1 * 22.5))°) * (-15.5)))
K45(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A9 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A9)^(2)) ∧ ((sin((((K$1 - 1) * 22.5))°) * x) - (cos((((K$1 - 1) * 22.5))°) * y) > (sin((((K$1 - 1) * 22.5))°) * 5) - (cos((((K$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((K$1 * 22.5))°) * x) - (cos(((K$1 * 22.5))°) * y)  <  (sin(((K$1 * 22.5))°) * 5) - (cos(((K$1 * 22.5))°) * (-15.5)))
K46(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A10 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A10)^(2)) ∧ ((sin((((K$1 - 1) * 22.5))°) * x) - (cos((((K$1 - 1) * 22.5))°) * y) > (sin((((K$1 - 1) * 22.5))°) * 5) - (cos((((K$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((K$1 * 22.5))°) * x) - (cos(((K$1 * 22.5))°) * y)  <  (sin(((K$1 * 22.5))°) * 5) - (cos(((K$1 * 22.5))°) * (-15.5)))
K47(x, y) = ((x - 5)^(2) + (y + 15.5)^(2)  <  (1.5 + $A11 + 1)^(2)) ∧ ((x - 5)^(2) + (y + 15.5)^(2) > (1.5 + $A11)^(2)) ∧ ((sin((((K$1 - 1) * 22.5))°) * x) - (cos((((K$1 - 1) * 22.5))°) * y) > (sin((((K$1 - 1) * 22.5))°) * 5) - (cos((((K$1 - 1) * 22.5))°) * (-15.5))) ∧ ((sin(((K$1 * 22.5))°) * x) - (cos(((K$1 * 22.5))°) * y)  <  (sin(((K$1 * 22.5))°) * 5) - (cos(((K$1 * 22.5))°) * (-15.5)))