(p - 2) (q - 2)

{4, 6}

Mosaic

\text{\color{#C00}            Convex regular configurations \{}\textbf{\color{black}p}\text{\color{#C00}, } \textbf{ \color{black}q}\text{\color{#C00}\}:}\
\text{\color{#C00} regular polygons with }\textbf{\color{black}p} \text{\color{#C00} sides, where }\textbf{\color{black}q}\text{\color{#C00} coincide at each vertex.}

\text{           ELLIPTIC\
\text{\bf           Σα \color{#C00}<\color{black} 2 π  \      (p - 2)(q - 2) \color{#C00}<\color{black} 4}\
\text{\{3,3\} tetrahedron  \{4, 3\} cube\
       \{3, 4\} octahedron \
\{5, 3\} dodecahedron  \{3, 5\} icosahedron

\text{       EUCLIDEAN\
\text{\bf        Σα \color{#C00}=\color{black} 2 π\    (p - 2)(q - 2) \color{#C00}=\color{black} 4}\
\text{\{3, 6\} equilateral triangles\
\{6, 3\} regular hexagons\
\{4, 4\} squares

\text{   HYPERBOLIC\
\text{\bf     Σα \color{#C00}>\color{black} 2 π  \(p - 2)(q - 2) \color{#C00}>\color{black} 4}\
\text{  Infinite possibilities

Steiner

$\scriptsize{\\\\Escher \\Circle\; Limit\; I}$

Coxeter

Dual {6, 4}

"Final" image

{5, 5}

Self-duality

{p, q}

{3, 4}
Octahedron

{4, 4}
Squares

{3, 6}
Equilateral
triangles

{3, 5}
Icosahedron

{4, 3}
Cube
(W₅)

{6, 3}
Regular
hexagons
(W₇)

{3, 3}
Tetrahedron
(W₄)

{5, 3}
Dodecah.
(W₆)

c = Circle((0, 0), 1)
p = 4
q = 6
P0 = Intersect(Circle[((1 - (sin(pi / p) / cos(pi / q))^(2))^(-1 / 2), 0), ((cos(pi / q) / sin(pi / p))^(2) - 1)^(-1 / 2)], Ray[(0, 0), Rotate[(1, 0), pi / p]], 1)
V = Sequence(Rotate[P0, ((k * 2) * pi / p)], k, 0, p - 1)
animación = false
vel: 1
hc1 = Circle(Mirror[V(p), c], V(p), V(1))
op1 = true
op2 = false
op4 = false
espejo: {(x - 1.732050807568878)² + y² = 2.000000000000002}
Vac: {(0.3660254037844385, 0.36602540378443843),(-0.36602540378443843, 0.3660254037844385),(-0.36602540378443854, -0.3660254037844384),(0.3660254037844384, -0.36602540378443854)}
pV: {(0.3660254037844384, -0.3660254037844384),(0.34874120460842595, -0.29403153293039674),(0.3352485609014568, -0.22123174208247418),(0.325584455062069, -0.14782557040713337),(0.31977537573262493, -0.07401421911853603),(0.31783724519578227, -9.727398671252354E-17),(0.31977537573262493, 0.07401421911853585),(0.325584455062069, 0.14782557040713315),(0.3352485609014568, 0.22123174208247395),(0.34874120460842617, 0.2940315329303965),(0.3660254037844384, 0.3660254037844384),(0.29403153293039674, 0.34874120460842595),(0.22123174208247418, 0.3352485609014568),(0.14782557040713337, 0.325584455062069),(0.07401421911853603, 0.31977537573262493),(9.727398671252354E-17, 0.31783724519578227),(-0.07401421911853585, 0.31977537573262493),(-0.14782557040713315, 0.325584455062069),(-0.22123174208247395, 0.3352485609014568),(-0.2940315329303965, 0.34874120460842617),(-0.3660254037844383, 0.36602540378443843),(-0.3487412046084259, 0.2940315329303968),(-0.3352485609014568, 0.2212317420824742),(-0.325584455062069, 0.1478255704071334),(-0.31977537573262493, 0.07401421911853608),(-0.31783724519578227, 1.3619782321040627E-16),(-0.31977537573262493, -0.07401421911853581),(-0.325584455062069, -0.14782557040713312),(-0.3352485609014568, -0.22123174208247393),(-0.3487412046084262, -0.29403153293039647),(-0.36602540378443843, -0.3660254037844383),(-0.2940315329303968, -0.3487412046084259),(-0.22123174208247423, -0.33524856090145677),(-0.14782557040713343, -0.325584455062069),(-0.07401421911853609, -0.31977537573262493),(-1.556597414593476E-16, -0.31783724519578227),(0.0740142191185358, -0.31977537573262493),(0.1478255704071331, -0.325584455062069),(0.2212317420824739, -0.3352485609014569),(0.29403153293039647, -0.3487412046084262)}
vert: {{(0.3660254037844385, 0.36602540378443843), 5, 0},{(-0.36602540378443843, 0.3660254037844385), 5, 0},{(-0.36602540378443854, -0.3660254037844384), 5, 0},{(0.3660254037844384, -0.36602540378443854), 5, 0}}
pos = 0
actualp = Polygon(pV)
qR = 5
test = false
esp = 4
op3 = false
op7 = false
anima = 0.62 (slider from 0 to 1, step 0.01)
Vacp = Flatten(Join[{{Vac(p)}, {Vac \ {Vac(p)}}}])
Vac2 = Flatten(Join[{{Vac \ {Vac(1)}}, {Vac(1)}}])
rectas46: {(x - 1.73205)^(2) + y^(2) = 2, x^(2) + (y - 1.73205)^(2) = 2, (x + 1.73205)^(2) + y^(2) = 2, x^(2) + (y + 1.73205)^(2) = 2, (x - 1.73205)^(2) + y^(2) = 2, x^(2) + (y - 1.73205)^(2) = 2, (x + 1.73205)^(2) + y^(2) = 2, x^(2) + (y + 1.73205)^(2) = 2, x^(2) + y^(2) - (1.73205 * x) - (1.73205 * y) = -1, x^(2) + y^(2) + (1.73205 * x) - (1.73205 * y) = -1, x^(2) + y^(2) + (1.73205 * x) + (1.73205 * y) = -1, x^(2) + y^(2) - (1.73205 * x) + (1.73205 * y) = -1, x^(2) + y^(2) - (1.73205 * x) - (1.73205 * y) = -1, x^(2) + y^(2) + (1.73205 * x) - (1.73205 * y) = -1, x^(2) + y^(2) + (1.73205 * x) + (1.73205 * y) = -1, x^(2) + y^(2) - (1.73205 * x) + (1.73205 * y) = -1, x^(2) + y^(2) - (0.81508 * x) - (1.83394 * y) = -1, x^(2) + y^(2) + (1.83394 * x) - (0.81508 * y) = -1, x^(2) + y^(2) + (0.81508 * x) + (1.83394 * y) = -1, x^(2) + y^(2) - (1.83394 * x) + (0.81508 * y) = -1, x^(2) + y^(2) - (0.81508 * x) - (1.83394 * y) = -1, x^(2) + y^(2) + (1.83394 * x) - (0.81508 * y) = -1, x^(2) + y^(2) + (0.81508 * x) + (1.83394 * y) = -1, x^(2) + y^(2) - (1.83394 * x) + (0.81508 * y) = -1, x^(2) + y^(2) - (1.83394 * x) - (0.81508 * y) = -1, x^(2) + y^(2) + (0.81508 * x) - (1.83394 * y) = -1, x^(2) + y^(2) + (1.83394 * x) + (0.81508 * y) = -1, x^(2) + y^(2) - (0.81508 * x) + (1.83394 * y) = -1, x^(2) + y^(2) - (1.83394 * x) - (0.81508 * y) = -1, x^(2) + y^(2) + (0.81508 * x) - (1.83394 * y) = -1, x^(2) + y^(2) + (1.83394 * x) + (0.81508 * y) = -1, x^(2) + y^(2) - (0.81508 * x) + (1.83394 * y) = -1, {x^(2) + y^(2) - (2.07846 * x) = -1, x^(2) + y^(2) - (2.07846 * y) = -1, x^(2) + y^(2) + (2.07846 * x) = -1, x^(2) + y^(2) + (2.07846 * y) = -1, x^(2) + y^(2) - (2.07846 * x) = -1, x^(2) + y^(2) - (2.07846 * y) = -1, x^(2) + y^(2) + (2.07846 * x) = -1, x^(2) + y^(2) + (2.07846 * y) = -1}, {x^(2) + y^(2) - (1.73205 * x) - (1.03923 * y) = -1, x^(2) + y^(2) + (1.03923 * x) - (1.73205 * y) = -1, x^(2) + y^(2) + (1.73205 * x) + (1.03923 * y) = -1, x^(2) + y^(2) - (1.03923 * x) + (1.73205 * y) = -1, x^(2) + y^(2) - (1.73205 * x) - (1.03923 * y) = -1, x^(2) + y^(2) + (1.03923 * x) - (1.73205 * y) = -1, x^(2) + y^(2) + (1.73205 * x) + (1.03923 * y) = -1, x^(2) + y^(2) - (1.03923 * x) + (1.73205 * y) = -1}, {x^(2) + y^(2) - (1.97949 * x) - (0.49487 * y) = -1, x^(2) + y^(2) + (0.49487 * x) - (1.97949 * y) = -1, x^(2) + y^(2) + (1.97949 * x) + (0.49487 * y) = -1, x^(2) + y^(2) - (0.49487 * x) + (1.97949 * y) = -1, x^(2) + y^(2) - (1.97949 * x) - (0.49487 * y) = -1, x^(2) + y^(2) + (0.49487 * x) - (1.97949 * y) = -1, x^(2) + y^(2) + (1.97949 * x) + (0.49487 * y) = -1, x^(2) + y^(2) - (0.49487 * x) + (1.97949 * y) = -1}, {x^(2) + y^(2) - (1.25967 * x) - (1.57459 * y) = -1, x^(2) + y^(2) + (1.57459 * x) - (1.25967 * y) = -1, x^(2) + y^(2) + (1.25967 * x) + (1.57459 * y) = -1, x^(2) + y^(2) - (1.57459 * x) + (1.25967 * y) = -1, x^(2) + y^(2) - (1.25967 * x) - (1.57459 * y) = -1, x^(2) + y^(2) + (1.57459 * x) - (1.25967 * y) = -1, x^(2) + y^(2) + (1.25967 * x) + (1.57459 * y) = -1, x^(2) + y^(2) - (1.57459 * x) + (1.25967 * y) = -1}, {x^(2) + y^(2) - (1.57459 * x) - (1.25967 * y) = -1, x^(2) + y^(2) + (1.25967 * x) - (1.57459 * y) = -1, x^(2) + y^(2) + (1.57459 * x) + (1.25967 * y) = -1, x^(2) + y^(2) - (1.25967 * x) + (1.57459 * y) = -1, x^(2) + y^(2) - (1.57459 * x) - (1.25967 * y) = -1, x^(2) + y^(2) + (1.25967 * x) - (1.57459 * y) = -1, x^(2) + y^(2) + (1.57459 * x) + (1.25967 * y) = -1, x^(2) + y^(2) - (1.25967 * x) + (1.57459 * y) = -1}, {x^(2) + y^(2) - (0.49487 * x) - (1.97949 * y) = -1, x^(2) + y^(2) + (1.97949 * x) - (0.49487 * y) = -1, x^(2) + y^(2) + (0.49487 * x) + (1.97949 * y) = -1, x^(2) + y^(2) - (1.97949 * x) + (0.49487 * y) = -1, x^(2) + y^(2) - (0.49487 * x) - (1.97949 * y) = -1, x^(2) + y^(2) + (1.97949 * x) - (0.49487 * y) = -1, x^(2) + y^(2) + (0.49487 * x) + (1.97949 * y) = -1, x^(2) + y^(2) - (1.97949 * x) + (0.49487 * y) = -1}, {x^(2) + y^(2) - (1.03923 * x) - (1.73205 * y) = -1, x^(2) + y^(2) + (1.73205 * x) - (1.03923 * y) = -1, x^(2) + y^(2) + (1.03923 * x) + (1.73205 * y) = -1, x^(2) + y^(2) - (1.73205 * x) + (1.03923 * y) = -1, x^(2) + y^(2) - (1.03923 * x) - (1.73205 * y) = -1, x^(2) + y^(2) + (1.73205 * x) - (1.03923 * y) = -1, x^(2) + y^(2) + (1.03923 * x) + (1.73205 * y) = -1, x^(2) + y^(2) - (1.73205 * x) + (1.03923 * y) = -1}, {x^(2) + y^(2) - (2.07846 * y) = -1, x^(2) + y^(2) + (2.07846 * x) = -1, x^(2) + y^(2) + (2.07846 * y) = -1, x^(2) + y^(2) - (2.07846 * x) = -1, x^(2) + y^(2) - (2.07846 * y) = -1, x^(2) + y^(2) + (2.07846 * x) = -1, x^(2) + y^(2) + (2.07846 * y) = -1, x^(2) + y^(2) - (2.07846 * x) = -1}, {x^(2) + y^(2) - (1.91123 * x) + (0.59726 * y) = -1, x^(2) + y^(2) - (0.59726 * x) - (1.91123 * y) = -1, x^(2) + y^(2) + (1.91123 * x) - (0.59726 * y) = -1, x^(2) + y^(2) + (0.59726 * x) + (1.91123 * y) = -1, x^(2) + y^(2) - (1.91123 * x) + (0.59726 * y) = -1, x^(2) + y^(2) - (0.59726 * x) - (1.91123 * y) = -1, x^(2) + y^(2) + (1.91123 * x) - (0.59726 * y) = -1, x^(2) + y^(2) + (0.59726 * x) + (1.91123 * y) = -1}, {x^(2) + y^(2) - (1.93582 * x) + (0.50943 * y) = -1, x^(2) + y^(2) - (0.50943 * x) - (1.93582 * y) = -1, x^(2) + y^(2) + (1.93582 * x) - (0.50943 * y) = -1, x^(2) + y^(2) + (0.50943 * x) + (1.93582 * y) = -1, x^(2) + y^(2) - (1.93582 * x) + (0.50943 * y) = -1, x^(2) + y^(2) - (0.50943 * x) - (1.93582 * y) = -1, x^(2) + y^(2) + (1.93582 * x) - (0.50943 * y) = -1, x^(2) + y^(2) + (0.50943 * x) + (1.93582 * y) = -1}, {x^(2) + y^(2) - (1.96611 * x) + (0.3745 * y) = -1, x^(2) + y^(2) - (0.3745 * x) - (1.96611 * y) = -1, x^(2) + y^(2) + (1.96611 * x) - (0.3745 * y) = -1, x^(2) + y^(2) + (0.3745 * x) + (1.96611 * y) = -1, x^(2) + y^(2) - (1.96611 * x) + (0.3745 * y) = -1, x^(2) + y^(2) - (0.3745 * x) - (1.96611 * y) = -1, x^(2) + y^(2) + (1.96611 * x) - (0.3745 * y) = -1, x^(2) + y^(2) + (0.3745 * x) + (1.96611 * y) = -1}, {x^(2) + y^(2) - (1.97949 * x) + (0.29692 * y) = -1, x^(2) + y^(2) - (0.29692 * x) - (1.97949 * y) = -1, x^(2) + y^(2) + (1.97949 * x) - (0.29692 * y) = -1, x^(2) + y^(2) + (0.29692 * x) + (1.97949 * y) = -1, x^(2) + y^(2) - (1.97949 * x) + (0.29692 * y) = -1, x^(2) + y^(2) - (0.29692 * x) - (1.97949 * y) = -1, x^(2) + y^(2) + (1.97949 * x) - (0.29692 * y) = -1, x^(2) + y^(2) + (0.29692 * x) + (1.97949 * y) = -1}, {x^(2) + y^(2) - (1.99852 * x) + (0.13323 * y) = -1, x^(2) + y^(2) - (0.13323 * x) - (1.99852 * y) = -1, x^(2) + y^(2) + (1.99852 * x) - (0.13323 * y) = -1, x^(2) + y^(2) + (0.13323 * x) + (1.99852 * y) = -1, x^(2) + y^(2) - (1.99852 * x) + (0.13323 * y) = -1, x^(2) + y^(2) - (0.13323 * x) - (1.99852 * y) = -1, x^(2) + y^(2) + (1.99852 * x) - (0.13323 * y) = -1, x^(2) + y^(2) + (0.13323 * x) + (1.99852 * y) = -1}, {x^(2) + y^(2) - (2.00553 * x) = -1, x^(2) + y^(2) - (2.00553 * y) = -1, x^(2) + y^(2) + (2.00553 * x) = -1, x^(2) + y^(2) + (2.00553 * y) = -1, x^(2) + y^(2) - (2.00553 * x) = -1, x^(2) + y^(2) - (2.00553 * y) = -1, x^(2) + y^(2) + (2.00553 * x) = -1, x^(2) + y^(2) + (2.00553 * y) = -1}, {x^(2) + y^(2) - (1.99852 * x) - (0.13323 * y) = -1, x^(2) + y^(2) + (0.13323 * x) - (1.99852 * y) = -1, x^(2) + y^(2) + (1.99852 * x) + (0.13323 * y) = -1, x^(2) + y^(2) - (0.13323 * x) + (1.99852 * y) = -1, x^(2) + y^(2) - (1.99852 * x) - (0.13323 * y) = -1, x^(2) + y^(2) + (0.13323 * x) - (1.99852 * y) = -1, x^(2) + y^(2) + (1.99852 * x) + (0.13323 * y) = -1, x^(2) + y^(2) - (0.13323 * x) + (1.99852 * y) = -1}, {x^(2) + y^(2) - (1.97949 * x) - (0.29692 * y) = -1, x^(2) + y^(2) + (0.29692 * x) - (1.97949 * y) = -1, x^(2) + y^(2) + (1.97949 * x) + (0.29692 * y) = -1, x^(2) + y^(2) - (0.29692 * x) + (1.97949 * y) = -1, x^(2) + y^(2) - (1.97949 * x) - (0.29692 * y) = -1, x^(2) + y^(2) + (0.29692 * x) - (1.97949 * y) = -1, x^(2) + y^(2) + (1.97949 * x) + (0.29692 * y) = -1, x^(2) + y^(2) - (0.29692 * x) + (1.97949 * y) = -1}, {x^(2) + y^(2) - (1.96611 * x) - (0.3745 * y) = -1, x^(2) + y^(2) + (0.3745 * x) - (1.96611 * y) = -1, x^(2) + y^(2) + (1.96611 * x) + (0.3745 * y) = -1, x^(2) + y^(2) - (0.3745 * x) + (1.96611 * y) = -1, x^(2) + y^(2) - (1.96611 * x) - (0.3745 * y) = -1, x^(2) + y^(2) + (0.3745 * x) - (1.96611 * y) = -1, x^(2) + y^(2) + (1.96611 * x) + (0.3745 * y) = -1, x^(2) + y^(2) - (0.3745 * x) + (1.96611 * y) = -1}, {x^(2) + y^(2) - (1.93582 * x) - (0.50943 * y) = -1, x^(2) + y^(2) + (0.50943 * x) - (1.93582 * y) = -1, x^(2) + y^(2) + (1.93582 * x) + (0.50943 * y) = -1, x^(2) + y^(2) - (0.50943 * x) + (1.93582 * y) = -1, x^(2) + y^(2) - (1.93582 * x) - (0.50943 * y) = -1, x^(2) + y^(2) + (0.50943 * x) - (1.93582 * y) = -1, x^(2) + y^(2) + (1.93582 * x) + (0.50943 * y) = -1, x^(2) + y^(2) - (0.50943 * x) + (1.93582 * y) = -1}, {x^(2) + y^(2) - (1.91123 * x) - (0.59726 * y) = -1, x^(2) + y^(2) + (0.59726 * x) - (1.91123 * y) = -1, x^(2) + y^(2) + (1.91123 * x) + (0.59726 * y) = -1, x^(2) + y^(2) - (0.59726 * x) + (1.91123 * y) = -1, x^(2) + y^(2) - (1.91123 * x) - (0.59726 * y) = -1, x^(2) + y^(2) + (0.59726 * x) - (1.91123 * y) = -1, x^(2) + y^(2) + (1.91123 * x) + (0.59726 * y) = -1, x^(2) + y^(2) - (0.59726 * x) + (1.91123 * y) = -1}, {x^(2) + y^(2) - (1.88266 * x) - (0.67776 * y) = -1, x^(2) + y^(2) + (0.67776 * x) - (1.88266 * y) = -1, x^(2) + y^(2) + (1.88266 * x) + (0.67776 * y) = -1, x^(2) + y^(2) - (0.67776 * x) + (1.88266 * y) = -1, x^(2) + y^(2) - (1.88266 * x) - (0.67776 * y) = -1, x^(2) + y^(2) + (0.67776 * x) - (1.88266 * y) = -1, x^(2) + y^(2) + (1.88266 * x) + (0.67776 * y) = -1, x^(2) + y^(2) - (0.67776 * x) + (1.88266 * y) = -1}, {x^(2) + y^(2) - (1.85068 * x) - (0.75926 * y) = -1, x^(2) + y^(2) + (0.75926 * x) - (1.85068 * y) = -1, x^(2) + y^(2) + (1.85068 * x) + (0.75926 * y) = -1, x^(2) + y^(2) - (0.75926 * x) + (1.85068 * y) = -1, x^(2) + y^(2) - (1.85068 * x) - (0.75926 * y) = -1, x^(2) + y^(2) + (0.75926 * x) - (1.85068 * y) = -1, x^(2) + y^(2) + (1.85068 * x) + (0.75926 * y) = -1, x^(2) + y^(2) - (0.75926 * x) + (1.85068 * y) = -1}, {x^(2) + y^(2) - (1.83639 * x) - (0.79299 * y) = -1, x^(2) + y^(2) + (0.79299 * x) - (1.83639 * y) = -1, x^(2) + y^(2) + (1.83639 * x) + (0.79299 * y) = -1, x^(2) + y^(2) - (0.79299 * x) + (1.83639 * y) = -1, x^(2) + y^(2) - (1.83639 * x) - (0.79299 * y) = -1, x^(2) + y^(2) + (0.79299 * x) - (1.83639 * y) = -1, x^(2) + y^(2) + (1.83639 * x) + (0.79299 * y) = -1, x^(2) + y^(2) - (0.79299 * x) + (1.83639 * y) = -1}, {x^(2) + y^(2) - (1.81261 * x) - (0.84589 * y) = -1, x^(2) + y^(2) + (0.84589 * x) - (1.81261 * y) = -1, x^(2) + y^(2) + (1.81261 * x) + (0.84589 * y) = -1, x^(2) + y^(2) - (0.84589 * x) + (1.81261 * y) = -1, x^(2) + y^(2) - (1.81261 * x) - (0.84589 * y) = -1, x^(2) + y^(2) + (0.84589 * x) - (1.81261 * y) = -1, x^(2) + y^(2) + (1.81261 * x) + (0.84589 * y) = -1, x^(2) + y^(2) - (0.84589 * x) + (1.81261 * y) = -1}, {x^(2) + y^(2) - (1.79782 * x) - (0.87699 * y) = -1, x^(2) + y^(2) + (0.87699 * x) - (1.79782 * y) = -1, x^(2) + y^(2) + (1.79782 * x) + (0.87699 * y) = -1, x^(2) + y^(2) - (0.87699 * x) + (1.79782 * y) = -1, x^(2) + y^(2) - (1.79782 * x) - (0.87699 * y) = -1, x^(2) + y^(2) + (0.87699 * x) - (1.79782 * y) = -1, x^(2) + y^(2) + (1.79782 * x) + (0.87699 * y) = -1, x^(2) + y^(2) - (0.87699 * x) + (1.79782 * y) = -1}, {x^(2) + y^(2) - (1.76354 * x) - (0.94475 * y) = -1, x^(2) + y^(2) + (0.94475 * x) - (1.76354 * y) = -1, x^(2) + y^(2) + (1.76354 * x) + (0.94475 * y) = -1, x^(2) + y^(2) - (0.94475 * x) + (1.76354 * y) = -1, x^(2) + y^(2) - (1.76354 * x) - (0.94475 * y) = -1, x^(2) + y^(2) + (0.94475 * x) - (1.76354 * y) = -1, x^(2) + y^(2) + (1.76354 * x) + (0.94475 * y) = -1, x^(2) + y^(2) - (0.94475 * x) + (1.76354 * y) = -1}, {x^(2) + y^(2) - (1.73205 * x) - (1.00277 * y) = -1, x^(2) + y^(2) + (1.00277 * x) - (1.73205 * y) = -1, x^(2) + y^(2) + (1.73205 * x) + (1.00277 * y) = -1, x^(2) + y^(2) - (1.00277 * x) + (1.73205 * y) = -1, x^(2) + y^(2) - (1.73205 * x) - (1.00277 * y) = -1, x^(2) + y^(2) + (1.00277 * x) - (1.73205 * y) = -1, x^(2) + y^(2) + (1.73205 * x) + (1.00277 * y) = -1, x^(2) + y^(2) - (1.00277 * x) + (1.73205 * y) = -1}, {x^(2) + y^(2) - (1.6967 * x) - (1.06044 * y) = -1, x^(2) + y^(2) + (1.06044 * x) - (1.6967 * y) = -1, x^(2) + y^(2) + (1.6967 * x) + (1.06044 * y) = -1, x^(2) + y^(2) - (1.06044 * x) + (1.6967 * y) = -1, x^(2) + y^(2) - (1.6967 * x) - (1.06044 * y) = -1, x^(2) + y^(2) + (1.06044 * x) - (1.6967 * y) = -1, x^(2) + y^(2) + (1.6967 * x) + (1.06044 * y) = -1, x^(2) + y^(2) - (1.06044 * x) + (1.6967 * y) = -1}, {x^(2) + y^(2) - (1.64687 * x) - (1.13577 * y) = -1, x^(2) + y^(2) + (1.13577 * x) - (1.64687 * y) = -1, x^(2) + y^(2) + (1.64687 * x) + (1.13577 * y) = -1, x^(2) + y^(2) - (1.13577 * x) + (1.64687 * y) = -1, x^(2) + y^(2) - (1.64687 * x) - (1.13577 * y) = -1, x^(2) + y^(2) + (1.13577 * x) - (1.64687 * y) = -1, x^(2) + y^(2) + (1.64687 * x) + (1.13577 * y) = -1, x^(2) + y^(2) - (1.13577 * x) + (1.64687 * y) = -1}, {x^(2) + y^(2) - (1.62031 * x) - (1.17332 * y) = -1, x^(2) + y^(2) + (1.17332 * x) - (1.62031 * y) = -1, x^(2) + y^(2) + (1.62031 * x) + (1.17332 * y) = -1, x^(2) + y^(2) - (1.17332 * x) + (1.62031 * y) = -1, x^(2) + y^(2) - (1.62031 * x) - (1.17332 * y) = -1, x^(2) + y^(2) + (1.17332 * x) - (1.62031 * y) = -1, x^(2) + y^(2) + (1.62031 * x) + (1.17332 * y) = -1, x^(2) + y^(2) - (1.17332 * x) + (1.62031 * y) = -1}, {x^(2) + y^(2) - (1.56865 * x) - (1.24185 * y) = -1, x^(2) + y^(2) + (1.24185 * x) - (1.56865 * y) = -1, x^(2) + y^(2) + (1.56865 * x) + (1.24185 * y) = -1, x^(2) + y^(2) - (1.24185 * x) + (1.56865 * y) = -1, x^(2) + y^(2) - (1.56865 * x) - (1.24185 * y) = -1, x^(2) + y^(2) + (1.24185 * x) - (1.56865 * y) = -1, x^(2) + y^(2) + (1.56865 * x) + (1.24185 * y) = -1, x^(2) + y^(2) - (1.24185 * x) + (1.56865 * y) = -1}, {x^(2) + y^(2) - (1.73205 * x) - (1.03923 * y) = -1, x^(2) + y^(2) + (1.03923 * x) - (1.73205 * y) = -1, x^(2) + y^(2) + (1.73205 * x) + (1.03923 * y) = -1, x^(2) + y^(2) - (1.03923 * x) + (1.73205 * y) = -1, x^(2) + y^(2) - (1.73205 * x) - (1.03923 * y) = -1, x^(2) + y^(2) + (1.03923 * x) - (1.73205 * y) = -1, x^(2) + y^(2) + (1.73205 * x) + (1.03923 * y) = -1, x^(2) + y^(2) - (1.03923 * x) + (1.73205 * y) = -1}, {x^(2) + y^(2) - (1.49223 * x) - (1.33235 * y) = -1, x^(2) + y^(2) + (1.33235 * x) - (1.49223 * y) = -1, x^(2) + y^(2) + (1.49223 * x) + (1.33235 * y) = -1, x^(2) + y^(2) - (1.33235 * x) + (1.49223 * y) = -1, x^(2) + y^(2) - (1.49223 * x) - (1.33235 * y) = -1, x^(2) + y^(2) + (1.33235 * x) - (1.49223 * y) = -1, x^(2) + y^(2) + (1.49223 * x) + (1.33235 * y) = -1, x^(2) + y^(2) - (1.33235 * x) + (1.49223 * y) = -1}, {x^(2) + y^(2) - (1.44927 * x) - (1.37857 * y) = -1, x^(2) + y^(2) + (1.37857 * x) - (1.44927 * y) = -1, x^(2) + y^(2) + (1.44927 * x) + (1.37857 * y) = -1, x^(2) + y^(2) - (1.37857 * x) + (1.44927 * y) = -1, x^(2) + y^(2) - (1.44927 * x) - (1.37857 * y) = -1, x^(2) + y^(2) + (1.37857 * x) - (1.44927 * y) = -1, x^(2) + y^(2) + (1.44927 * x) + (1.37857 * y) = -1, x^(2) + y^(2) - (1.37857 * x) + (1.44927 * y) = -1}, {x^(2) + y^(2) - (1.43013 * x) - (1.39835 * y) = -1, x^(2) + y^(2) + (1.39835 * x) - (1.43013 * y) = -1, x^(2) + y^(2) + (1.43013 * x) + (1.39835 * y) = -1, x^(2) + y^(2) - (1.39835 * x) + (1.43013 * y) = -1, x^(2) + y^(2) - (1.43013 * x) - (1.39835 * y) = -1, x^(2) + y^(2) + (1.39835 * x) - (1.43013 * y) = -1, x^(2) + y^(2) + (1.43013 * x) + (1.39835 * y) = -1, x^(2) + y^(2) - (1.39835 * x) + (1.43013 * y) = -1}, {x^(2) + y^(2) - (1.39835 * x) - (1.43013 * y) = -1, x^(2) + y^(2) + (1.43013 * x) - (1.39835 * y) = -1, x^(2) + y^(2) + (1.39835 * x) + (1.43013 * y) = -1, x^(2) + y^(2) - (1.43013 * x) + (1.39835 * y) = -1, x^(2) + y^(2) - (1.39835 * x) - (1.43013 * y) = -1, x^(2) + y^(2) + (1.43013 * x) - (1.39835 * y) = -1, x^(2) + y^(2) + (1.39835 * x) + (1.43013 * y) = -1, x^(2) + y^(2) - (1.43013 * x) + (1.39835 * y) = -1}, {x^(2) + y^(2) - (1.37857 * x) - (1.44927 * y) = -1, x^(2) + y^(2) + (1.44927 * x) - (1.37857 * y) = -1, x^(2) + y^(2) + (1.37857 * x) + (1.44927 * y) = -1, x^(2) + y^(2) - (1.44927 * x) + (1.37857 * y) = -1, x^(2) + y^(2) - (1.37857 * x) - (1.44927 * y) = -1, x^(2) + y^(2) + (1.44927 * x) - (1.37857 * y) = -1, x^(2) + y^(2) + (1.37857 * x) + (1.44927 * y) = -1, x^(2) + y^(2) - (1.44927 * x) + (1.37857 * y) = -1}, {x^(2) + y^(2) - (1.33235 * x) - (1.49223 * y) = -1, x^(2) + y^(2) + (1.49223 * x) - (1.33235 * y) = -1, x^(2) + y^(2) + (1.33235 * x) + (1.49223 * y) = -1, x^(2) + y^(2) - (1.49223 * x) + (1.33235 * y) = -1, x^(2) + y^(2) - (1.33235 * x) - (1.49223 * y) = -1, x^(2) + y^(2) + (1.49223 * x) - (1.33235 * y) = -1, x^(2) + y^(2) + (1.33235 * x) + (1.49223 * y) = -1, x^(2) + y^(2) - (1.49223 * x) + (1.33235 * y) = -1}, {x^(2) + y^(2) - (1.28897 * x) - (1.53065 * y) = -1, x^(2) + y^(2) + (1.53065 * x) - (1.28897 * y) = -1, x^(2) + y^(2) + (1.28897 * x) + (1.53065 * y) = -1, x^(2) + y^(2) - (1.53065 * x) + (1.28897 * y) = -1, x^(2) + y^(2) - (1.28897 * x) - (1.53065 * y) = -1, x^(2) + y^(2) + (1.53065 * x) - (1.28897 * y) = -1, x^(2) + y^(2) + (1.28897 * x) + (1.53065 * y) = -1, x^(2) + y^(2) - (1.53065 * x) + (1.28897 * y) = -1}, {x^(2) + y^(2) - (1.24185 * x) - (1.56865 * y) = -1, x^(2) + y^(2) + (1.56865 * x) - (1.24185 * y) = -1, x^(2) + y^(2) + (1.24185 * x) + (1.56865 * y) = -1, x^(2) + y^(2) - (1.56865 * x) + (1.24185 * y) = -1, x^(2) + y^(2) - (1.24185 * x) - (1.56865 * y) = -1, x^(2) + y^(2) + (1.56865 * x) - (1.24185 * y) = -1, x^(2) + y^(2) + (1.24185 * x) + (1.56865 * y) = -1, x^(2) + y^(2) - (1.56865 * x) + (1.24185 * y) = -1}, {x^(2) + y^(2) - (1.17332 * x) - (1.62031 * y) = -1, x^(2) + y^(2) + (1.62031 * x) - (1.17332 * y) = -1, x^(2) + y^(2) + (1.17332 * x) + (1.62031 * y) = -1, x^(2) + y^(2) - (1.62031 * x) + (1.17332 * y) = -1, x^(2) + y^(2) - (1.17332 * x) - (1.62031 * y) = -1, x^(2) + y^(2) + (1.62031 * x) - (1.17332 * y) = -1, x^(2) + y^(2) + (1.17332 * x) + (1.62031 * y) = -1, x^(2) + y^(2) - (1.62031 * x) + (1.17332 * y) = -1}, {x^(2) + y^(2) - (1.13577 * x) - (1.64687 * y) = -1, x^(2) + y^(2) + (1.64687 * x) - (1.13577 * y) = -1, x^(2) + y^(2) + (1.13577 * x) + (1.64687 * y) = -1, x^(2) + y^(2) - (1.64687 * x) + (1.13577 * y) = -1, x^(2) + y^(2) - (1.13577 * x) - (1.64687 * y) = -1, x^(2) + y^(2) + (1.64687 * x) - (1.13577 * y) = -1, x^(2) + y^(2) + (1.13577 * x) + (1.64687 * y) = -1, x^(2) + y^(2) - (1.64687 * x) + (1.13577 * y) = -1}, {x^(2) + y^(2) - (1.06044 * x) - (1.6967 * y) = -1, x^(2) + y^(2) + (1.6967 * x) - (1.06044 * y) = -1, x^(2) + y^(2) + (1.06044 * x) + (1.6967 * y) = -1, x^(2) + y^(2) - (1.6967 * x) + (1.06044 * y) = -1, x^(2) + y^(2) - (1.06044 * x) - (1.6967 * y) = -1, x^(2) + y^(2) + (1.6967 * x) - (1.06044 * y) = -1, x^(2) + y^(2) + (1.06044 * x) + (1.6967 * y) = -1, x^(2) + y^(2) - (1.6967 * x) + (1.06044 * y) = -1}, {x^(2) + y^(2) - (1.00277 * x) - (1.73205 * y) = -1, x^(2) + y^(2) + (1.73205 * x) - (1.00277 * y) = -1, x^(2) + y^(2) + (1.00277 * x) + (1.73205 * y) = -1, x^(2) + y^(2) - (1.73205 * x) + (1.00277 * y) = -1, x^(2) + y^(2) - (1.00277 * x) - (1.73205 * y) = -1, x^(2) + y^(2) + (1.73205 * x) - (1.00277 * y) = -1, x^(2) + y^(2) + (1.00277 * x) + (1.73205 * y) = -1, x^(2) + y^(2) - (1.73205 * x) + (1.00277 * y) = -1}, {x^(2) + y^(2) - (0.94475 * x) - (1.76354 * y) = -1, x^(2) + y^(2) + (1.76354 * x) - (0.94475 * y) = -1, x^(2) + y^(2) + (0.94475 * x) + (1.76354 * y) = -1, x^(2) + y^(2) - (1.76354 * x) + (0.94475 * y) = -1, x^(2) + y^(2) - (0.94475 * x) - (1.76354 * y) = -1, x^(2) + y^(2) + (1.76354 * x) - (0.94475 * y) = -1, x^(2) + y^(2) + (0.94475 * x) + (1.76354 * y) = -1, x^(2) + y^(2) - (1.76354 * x) + (0.94475 * y) = -1}, {x^(2) + y^(2) - (0.87699 * x) - (1.79782 * y) = -1, x^(2) + y^(2) + (1.79782 * x) - (0.87699 * y) = -1, x^(2) + y^(2) + (0.87699 * x) + (1.79782 * y) = -1, x^(2) + y^(2) - (1.79782 * x) + (0.87699 * y) = -1, x^(2) + y^(2) - (0.87699 * x) - (1.79782 * y) = -1, x^(2) + y^(2) + (1.79782 * x) - (0.87699 * y) = -1, x^(2) + y^(2) + (0.87699 * x) + (1.79782 * y) = -1, x^(2) + y^(2) - (1.79782 * x) + (0.87699 * y) = -1}, {x^(2) + y^(2) - (0.84589 * x) - (1.81261 * y) = -1, x^(2) + y^(2) + (1.81261 * x) - (0.84589 * y) 
(the line above was cut: it had 21572 characters; the first 20000 are kept)
s: {x^(2) + y^(2) = 0.10102, (x - 0.53711)^(2) + y^(2) = 0.04808, (x - 0.66302)^(2) + (y - 0.33151)^(2) = 0.01832, (x - 0.5565)^(2) + (y - 0.5565)^(2) = 0.0129, (x - 0.33151)^(2) + (y - 0.66302)^(2) = 0.01832, x^(2) + (y - 0.53711)^(2) = 0.04808}
S = Zip(Center[a], a, s)
cExt = Circle(((-0.22475, -0.22475) + (0.63683, 0.63683)) / 2, (-0.22475, -0.22475))
cInt = Circle(((0.22475, 0.22475) + (0.47618, 0.47618)) / 2, (0.22475, 0.22475))
cInt': cInt
e1 = Conic(S(1), S(2), S(3), S(4), S(5))
op6 = false
op5 = false
esc: {{{{(0, 0), (0.16117, 0.09305), (0.25439, 0.04516), (0.27119, 0.15657), (0.37197, 0.12967), (0.34973, 0.07011), (0.41421, 0)}, {(0, 0), (0, 0.1861), (-0.08808, 0.24289), (0, 0.31314), (-0.07369, 0.38697), (-0.11415, 0.33793), (-0.20711, 0.35872)}, {(0.44829, 0.25882), (0.40011, 0.27303), (0.35085, 0.29036), (0.30277, 0.31014), (0.25318, 0.33371), (0.20711, 0.35872), (0.23558, 0.26782), (0.1663, 0.19773), (0.27119, 0.15657), (0.29828, 0.2573), (0.35993, 0.2078)}, {(0, 0.51764), (0.0364, 0.48302), (0.07603, 0.44903), (0.1172, 0.41727), (0.16241, 0.38611), (0.20711, 0.35872), (0.11415, 0.33793), (0.08808, 0.24289), (0, 0.31314), (0.07369, 0.38697), (0, 0.41561)}}, {{(0, 0), (-0.16117, 0.09305), (-0.1663, 0.19773), (-0.27119, 0.15657), (-0.29828, 0.2573), (-0.23558, 0.26782), (-0.20711, 0.35872)}, {(0, 0), (-0.16117, -0.09305), (-0.1663, -0.19773), (-0.27119, -0.15657), (-0.29828, -0.2573), (-0.23558, -0.26782), (-0.20711, -0.35872)}, {(-0.44829, 0.25882), (-0.43651, 0.20999), (-0.42688, 0.15867), (-0.41997, 0.10713), (-0.41559, 0.0524), (-0.41421, 0), (-0.34973, 0.07011), (-0.25439, 0.04516), (-0.27119, 0.15657), (-0.37197, 0.12967), (-0.35993, 0.2078)}, {(-0.44829, -0.25882), (-0.43651, -0.20999), (-0.42688, -0.15867), (-0.41997, -0.10713), (-0.41559, -0.0524), (-0.41421, 0), (-0.34973, -0.07011), (-0.25439, -0.04516), (-0.27119, -0.15657), (-0.37197, -0.12967), (-0.35993, -0.2078)}}, {{(0, 0), (0, -0.1861), (-0.08808, -0.24289), (0, -0.31314), (-0.07369, -0.38697), (-0.11415, -0.33793), (-0.20711, -0.35872)}, {(0, 0), (0.16117, -0.09305), (0.25439, -0.04516), (0.27119, -0.15657), (0.37197, -0.12967), (0.34973, -0.07011), (0.41421, 0)}, {(0, -0.51764), (0.0364, -0.48302), (0.07603, -0.44903), (0.1172, -0.41727), (0.16241, -0.38611), (0.20711, -0.35872), (0.11415, -0.33793), (0.08808, -0.24289), (0, -0.31314), (0.07369, -0.38697), (0, -0.41561)}, {(0.44829, -0.25882), (0.40011, -0.27303), (0.35085, -0.29036), (0.30277, -0.31014), (0.25318, -0.33371), (0.20711, -0.35872), (0.23558, -0.26782), (0.1663, -0.19773), (0.27119, -0.15657), (0.29828, -0.2573), (0.35993, -0.2078)}}}, {{{(0.41421, 0), (0.41559, 0.0524), (0.41997, 0.10713), (0.42688, 0.15867), (0.43651, 0.20999), (0.44829, 0.25882), (0.35993, 0.2078), (0.29828, 0.2573), (0.27119, 0.15657), (0.37197, 0.12967), (0.34973, 0.07011)}, {(-0.2071, 0.35872), (-0.16242, 0.38611), (-0.11721, 0.41727), (-0.07603, 0.44902), (-0.0364, 0.48302), (0, 0.51764), (0, 0.41561), (0.07369, 0.38697), (0, 0.31314), (-0.07369, 0.38697), (-0.11415, 0.33793)}, {(0, 0), (0.20711, 0.35872), (0.23558, 0.26782), (0.1663, 0.19773), (0.27119, 0.15657), (0.25439, 0.04516), (0.16117, 0.09305)}, {(0, 0), (0.20711, 0.35872), (0.11415, 0.33793), (0.08808, 0.24289), (0, 0.31314), (-0.08808, 0.24289), (0, 0.1861)}}, {{(-0.20711, 0.35872), (-0.25317, 0.33371), (-0.30276, 0.31014), (-0.35085, 0.29035), (-0.40011, 0.27303), (-0.44829, 0.25882), (-0.35993, 0.20781), (-0.37197, 0.12967), (-0.27119, 0.15657), (-0.29828, 0.2573), (-0.23558, 0.26782)}, {(-0.20711, -0.35871), (-0.25317, -0.33371), (-0.30276, -0.31014), (-0.35085, -0.29035), (-0.40011, -0.27303), (-0.44829, -0.25882), (-0.35993, -0.20781), (-0.37197, -0.12967), (-0.27119, -0.15657), (-0.29828, -0.2573), (-0.23558, -0.26782)}, {(0, 0), (-0.41422, 0), (-0.34973, 0.07011), (-0.25439, 0.04516), (-0.27119, 0.15657), (-0.1663, 0.19773), (-0.16117, 0.09305)}, {(0, 0), (-0.41422, 0), (-0.34973, -0.07011), (-0.25439, -0.04517), (-0.27119, -0.15657), (-0.16631, -0.19772), (-0.16117, -0.09305)}}, {{(-0.20711, -0.35872), (-0.16242, -0.38611), (-0.11721, -0.41727), (-0.07603, -0.44902), (-0.0364, -0.48302), (0, -0.51764), (0, -0.41561), (0.07369, -0.38697), (0, -0.31314), (-0.07369, -0.38697), (-0.11415, -0.33793)}, {(0.41421, -0.00001), (0.41559, -0.0524), (0.41997, -0.10713), (0.42688, -0.15867), (0.43651, -0.20999), (0.44829, -0.25882), (0.35993, -0.20781), (0.29828, -0.2573), (0.27119, -0.15657), (0.37197, -0.12967), (0.34973, -0.07011)}, {(0, 0), (0.20711, -0.35872), (0.11415, -0.33793), (0.08809, -0.24289), (0, -0.31314), (-0.08809, -0.24289), (0, -0.1861)}, {(0, 0), (0.20711, -0.35872), (0.23558, -0.26782), (0.16631, -0.19772), (0.27119, -0.15657), (0.25439, -0.04517), (0.16117, -0.09305)}}}, {{{(0.11602, 0.10873), (0.08747, 0.09866)}, {(0.03615, 0.15484), (0.04171, 0.12508)}, {(0.39838, 0.19685), (0.41883, 0.19156)}, {(-0.02871, 0.44344), (-0.04352, 0.4585)}}, {{(-0.15217, 0.04611), (-0.12918, 0.02642)}, {(-0.15217, -0.04611), (-0.12918, -0.02642)}, {(-0.36967, 0.24658), (-0.37531, 0.26694)}, {(-0.36967, -0.24658), (-0.37531, -0.26694)}}, {{(0.03615, -0.15484), (0.04171, -0.12508)}, {(0.11602, -0.10873), (0.08747, -0.09866)}, {(-0.02871, -0.44344), (-0.04352, -0.4585)}, {(0.39838, -0.19685), (0.41883, -0.19156)}}}, {{{(0.32909, 0.02447), (0.34675, 0.01576)}, {(-0.14336, 0.29724), (-0.15973, 0.30818)}, {(0.25823, 0.30039), (0.26938, 0.31585)}, {(0.13103, 0.37383), (0.13884, 0.39121)}}, {{(-0.18574, 0.27277), (-0.18703, 0.29241)}, {(-0.18574, -0.27277), (-0.18703, -0.29241)}, {(-0.38926, 0.07344), (-0.40822, 0.07536)}, {(-0.38926, -0.07344), (-0.40822, -0.07536)}}, {{(-0.14336, -0.29724), (-0.15973, -0.30818)}, {(0.32909, -0.02447), (0.34675, -0.01576)}, {(0.13103, -0.37383), (0.13884, -0.39121)}, {(0.25823, -0.30039), (0.26938, -0.31585)}}}, {{{(0.32909, 0.02447), (0.34167, 0.02471)}, {(-0.14336, 0.29724), (-0.14944, 0.30825)}, {(0.25823, 0.30039), (0.27095, 0.30088)}, {(0.13103, 0.37383), (0.12509, 0.38509)}}, {{(-0.18574, 0.27277), (-0.19223, 0.28354)}, {(-0.18574, -0.27277), (-0.19223, -0.28354)}, {(-0.38926, 0.07344), (-0.39604, 0.08421)}, {(-0.38926, -0.07344), (-0.39604, -0.08421)}}, {{(-0.14335, -0.29724), (-0.14944, -0.30825)}, {(0.3291, -0.02447), (0.34167, -0.02471)}, {(0.13103, -0.37383), (0.12509, -0.38509)}, {(0.25823, -0.30039), (0.27095, -0.30088)}}}, {{{(0.11602, 0.10873), (0.10059, 0.10101)}, {(0.03615, 0.15484), (0.03718, 0.13762)}, {(0.39838, 0.19685), (0.40969, 0.19349)}, {(-0.02871, 0.44344), (-0.03728, 0.45154)}}, {{(-0.15217, 0.04611), (-0.13778, 0.03661)}, {(-0.15217, -0.04611), (-0.13778, -0.03661)}, {(-0.36967, 0.24658), (-0.37241, 0.25806)}, {(-0.36967, -0.24658), (-0.37241, -0.25806)}}, {{(0.03615, -0.15484), (0.03718, -0.13762)}, {(0.11602, -0.10873), (0.10059, -0.10101)}, {(-0.02871, -0.44344), (-0.03728, -0.45154)}, {(0.39838, -0.19685), (0.40969, -0.19349)}}}}
esc0: {{{{(0, 0), (0.16117, 0.09305), (0.25439, 0.04516), (0.27119, 0.15657), (0.37197, 0.12967), (0.34973, 0.07011), (0.41421, 0)}, {(0, 0), (0, 0.1861), (-0.08808, 0.24289), (0, 0.31314), (-0.07369, 0.38697), (-0.11415, 0.33793), (-0.20711, 0.35872)}, {(0.44829, 0.25882), (0.40011, 0.27303), (0.35085, 0.29036), (0.30277, 0.31014), (0.25318, 0.33371), (0.20711, 0.35872), (0.23558, 0.26782), (0.1663, 0.19773), (0.27119, 0.15657), (0.29828, 0.2573), (0.35993, 0.2078)}, {(0, 0.51764), (0.0364, 0.48302), (0.07603, 0.44903), (0.1172, 0.41727), (0.16241, 0.38611), (0.20711, 0.35872), (0.11415, 0.33793), (0.08808, 0.24289), (0, 0.31314), (0.07369, 0.38697), (0, 0.41561)}}, {{(0, 0), (-0.16117, 0.09305), (-0.1663, 0.19773), (-0.27119, 0.15657), (-0.29828, 0.2573), (-0.23558, 0.26782), (-0.20711, 0.35872)}, {(0, 0), (-0.16117, -0.09305), (-0.1663, -0.19773), (-0.27119, -0.15657), (-0.29828, -0.2573), (-0.23558, -0.26782), (-0.20711, -0.35872)}, {(-0.44829, 0.25882), (-0.43651, 0.20999), (-0.42688, 0.15867), (-0.41997, 0.10713), (-0.41559, 0.0524), (-0.41421, 0), (-0.34973, 0.07011), (-0.25439, 0.04516), (-0.27119, 0.15657), (-0.37197, 0.12967), (-0.35993, 0.2078)}, {(-0.44829, -0.25882), (-0.43651, -0.20999), (-0.42688, -0.15867), (-0.41997, -0.10713), (-0.41559, -0.0524), (-0.41421, 0), (-0.34973, -0.07011), (-0.25439, -0.04516), (-0.27119, -0.15657), (-0.37197, -0.12967), (-0.35993, -0.2078)}}, {{(0, 0), (0, -0.1861), (-0.08808, -0.24289), (0, -0.31314), (-0.07369, -0.38697), (-0.11415, -0.33793), (-0.20711, -0.35872)}, {(0, 0), (0.16117, -0.09305), (0.25439, -0.04516), (0.27119, -0.15657), (0.37197, -0.12967), (0.34973, -0.07011), (0.41421, 0)}, {(0, -0.51764), (0.0364, -0.48302), (0.07603, -0.44903), (0.1172, -0.41727), (0.16241, -0.38611), (0.20711, -0.35872), (0.11415, -0.33793), (0.08808, -0.24289), (0, -0.31314), (0.07369, -0.38697), (0, -0.41561)}, {(0.44829, -0.25882), (0.40011, -0.27303), (0.35085, -0.29036), (0.30277, -0.31014), (0.25318, -0.33371), (0.20711, -0.35872), (0.23558, -0.26782), (0.1663, -0.19773), (0.27119, -0.15657), (0.29828, -0.2573), (0.35993, -0.2078)}}}, {{{(0.41421, 0), (0.41559, 0.0524), (0.41997, 0.10713), (0.42688, 0.15867), (0.43651, 0.20999), (0.44829, 0.25882), (0.35993, 0.2078), (0.29828, 0.2573), (0.27119, 0.15657), (0.37197, 0.12967), (0.34973, 0.07011)}, {(-0.2071, 0.35872), (-0.16242, 0.38611), (-0.11721, 0.41727), (-0.07603, 0.44902), (-0.0364, 0.48302), (0, 0.51764), (0, 0.41561), (0.07369, 0.38697), (0, 0.31314), (-0.07369, 0.38697), (-0.11415, 0.33793)}, {(0, 0), (0.20711, 0.35872), (0.23558, 0.26782), (0.1663, 0.19773), (0.27119, 0.15657), (0.25439, 0.04516), (0.16117, 0.09305)}, {(0, 0), (0.20711, 0.35872), (0.11415, 0.33793), (0.08808, 0.24289), (0, 0.31314), (-0.08808, 0.24289), (0, 0.1861)}}, {{(-0.20711, 0.35872), (-0.25317, 0.33371), (-0.30276, 0.31014), (-0.35085, 0.29035), (-0.40011, 0.27303), (-0.44829, 0.25882), (-0.35993, 0.20781), (-0.37197, 0.12967), (-0.27119, 0.15657), (-0.29828, 0.2573), (-0.23558, 0.26782)}, {(-0.20711, -0.35871), (-0.25317, -0.33371), (-0.30276, -0.31014), (-0.35085, -0.29035), (-0.40011, -0.27303), (-0.44829, -0.25882), (-0.35993, -0.20781), (-0.37197, -0.12967), (-0.27119, -0.15657), (-0.29828, -0.2573), (-0.23558, -0.26782)}, {(0, 0), (-0.41422, 0), (-0.34973, 0.07011), (-0.25439, 0.04516), (-0.27119, 0.15657), (-0.1663, 0.19773), (-0.16117, 0.09305)}, {(0, 0), (-0.41422, 0), (-0.34973, -0.07011), (-0.25439, -0.04517), (-0.27119, -0.15657), (-0.16631, -0.19772), (-0.16117, -0.09305)}}, {{(-0.20711, -0.35872), (-0.16242, -0.38611), (-0.11721, -0.41727), (-0.07603, -0.44902), (-0.0364, -0.48302), (0, -0.51764), (0, -0.41561), (0.07369, -0.38697), (0, -0.31314), (-0.07369, -0.38697), (-0.11415, -0.33793)}, {(0.41421, -0.00001), (0.41559, -0.0524), (0.41997, -0.10713), (0.42688, -0.15867), (0.43651, -0.20999), (0.44829, -0.25882), (0.35993, -0.20781), (0.29828, -0.2573), (0.27119, -0.15657), (0.37197, -0.12967), (0.34973, -0.07011)}, {(0, 0), (0.20711, -0.35872), (0.11415, -0.33793), (0.08809, -0.24289), (0, -0.31314), (-0.08809, -0.24289), (0, -0.1861)}, {(0, 0), (0.20711, -0.35872), (0.23558, -0.26782), (0.16631, -0.19772), (0.27119, -0.15657), (0.25439, -0.04517), (0.16117, -0.09305)}}}, {{{(0.11602, 0.10873), (0.08747, 0.09866)}, {(0.03615, 0.15484), (0.04171, 0.12508)}, {(0.39838, 0.19685), (0.41883, 0.19156)}, {(-0.02871, 0.44344), (-0.04352, 0.4585)}}, {{(-0.15217, 0.04611), (-0.12918, 0.02642)}, {(-0.15217, -0.04611), (-0.12918, -0.02642)}, {(-0.36967, 0.24658), (-0.37531, 0.26694)}, {(-0.36967, -0.24658), (-0.37531, -0.26694)}}, {{(0.03615, -0.15484), (0.04171, -0.12508)}, {(0.11602, -0.10873), (0.08747, -0.09866)}, {(-0.02871, -0.44344), (-0.04352, -0.4585)}, {(0.39838, -0.19685), (0.41883, -0.19156)}}}, {{{(0.32909, 0.02447), (0.34675, 0.01576)}, {(-0.14336, 0.29724), (-0.15973, 0.30818)}, {(0.25823, 0.30039), (0.26938, 0.31585)}, {(0.13103, 0.37383), (0.13884, 0.39121)}}, {{(-0.18574, 0.27277), (-0.18703, 0.29241)}, {(-0.18574, -0.27277), (-0.18703, -0.29241)}, {(-0.38926, 0.07344), (-0.40822, 0.07536)}, {(-0.38926, -0.07344), (-0.40822, -0.07536)}}, {{(-0.14336, -0.29724), (-0.15973, -0.30818)}, {(0.32909, -0.02447), (0.34675, -0.01576)}, {(0.13103, -0.37383), (0.13884, -0.39121)}, {(0.25823, -0.30039), (0.26938, -0.31585)}}}, {{{(0.32909, 0.02447), (0.34167, 0.02471)}, {(-0.14336, 0.29724), (-0.14944, 0.30825)}, {(0.25823, 0.30039), (0.27095, 0.30088)}, {(0.13103, 0.37383), (0.12509, 0.38509)}}, {{(-0.18574, 0.27277), (-0.19223, 0.28354)}, {(-0.18574, -0.27277), (-0.19223, -0.28354)}, {(-0.38926, 0.07344), (-0.39604, 0.08421)}, {(-0.38926, -0.07344), (-0.39604, -0.08421)}}, {{(-0.14335, -0.29724), (-0.14944, -0.30825)}, {(0.3291, -0.02447), (0.34167, -0.02471)}, {(0.13103, -0.37383), (0.12509, -0.38509)}, {(0.25823, -0.30039), (0.27095, -0.30088)}}}, {{{(0.11602, 0.10873), (0.10059, 0.10101)}, {(0.03615, 0.15484), (0.03718, 0.13762)}, {(0.39838, 0.19685), (0.40969, 0.19349)}, {(-0.02871, 0.44344), (-0.03728, 0.45154)}}, {{(-0.15217, 0.04611), (-0.13778, 0.03661)}, {(-0.15217, -0.04611), (-0.13778, -0.03661)}, {(-0.36967, 0.24658), (-0.37241, 0.25806)}, {(-0.36967, -0.24658), (-0.37241, -0.25806)}}, {{(0.03615, -0.15484), (0.03718, -0.13762)}, {(0.11602, -0.10873), (0.10059, -0.10101)}, {(-0.02871, -0.44344), (-0.03728, -0.45154)}, {(0.39838, -0.19685), (0.40969, -0.19349)}}}}
escB = Sequence(Sequence[Polygon[esc(1, a, b)], b, 1, Length[esc(1, a)]], a, 1, Length[esc(1)])
escN = Sequence(Sequence[Polygon[esc(2, a, b)], b, 1, Length[esc(2, a)]], a, 1, Length[esc(2)])
escOb = Sequence(Sequence[Circle[esc(5, a, b, 1), esc(5, a, b, 2)], b, 1, Length[esc(5, a)]], a, 1, Length[esc(5)])
escObf = Sequence(Sequence[Circle[esc(3, a, b, 1), esc(3, a, b, 2)], b, 1, Length[esc(3, a)]], a, 1, Length[esc(3)])
escOn = Sequence(Sequence[Circle[esc(6, a, b, 1), esc(6, a, b, 2)], b, 1, Length[esc(6, a)]], a, 1, Length[esc(6)])
escOnf = Sequence(Sequence[Circle[esc(4, a, b, 1), esc(4, a, b, 2)], b, 1, Length[esc(4, a)]], a, 1, Length[esc(4)])
escB0 = Sequence(Sequence[Polygon[esc0(1, a, b)], b, 1, Length[esc0(1, a)]], a, 1, Length[esc0(1)])
escN0 = Sequence(Sequence[Polygon[esc0(2, a, b)], b, 1, Length[esc0(2, a)]], a, 1, Length[esc0(2)])
escOb0 = Sequence(Sequence[Circle[esc0(5, a, b, 1), esc0(5, a, b, 2)], b, 1, Length[esc0(5, a)]], a, 1, Length[esc0(5)])
escObf0 = Sequence(Sequence[Circle[esc0(3, a, b, 1), esc0(3, a, b, 2)], b, 1, Length[esc0(3, a)]], a, 1, Length[esc0(3)])
escOn0 = Sequence(Sequence[Circle[esc0(6, a, b, 1), esc0(6, a, b, 2)], b, 1, Length[esc0(6, a)]], a, 1, Length[esc0(6)])
escOnf0 = Sequence(Sequence[Circle[esc0(4, a, b, 1), esc0(4, a, b, 2)], b, 1, Length[esc0(4, a)]], a, 1, Length[esc0(4)])
mosaico: {{{{(0.1296, 0.05368), (0.1906, 0.05471), (0.25089, 0), (0.1906, -0.05471), (0.1296, -0.05368), (0.07487, 0)}, {(0.05368, 0.1296), (0.09609, 0.17346), (0.17741, 0.17741), (0.17346, 0.09609), (0.1296, 0.05368), (0.05294, 0.05294)}, {(-0.05368, 0.1296), (-0.05471, 0.1906), (0, 0.25089), (0.05471, 0.1906), (0.05368, 0.1296), (0, 0.07487)}, {(-0.1296, 0.05368), (-0.17346, 0.09609), (-0.17741, 0.17741), (-0.09609, 0.17346), (-0.05368, 0.1296), (-0.05294, 0.05294)}, {(-0.1296, -0.05368), (-0.1906, -0.05471), (-0.25089, 0), (-0.1906, 0.05471), (-0.1296, 0.05368), (-0.07487, 0)}, {(-0.05368, -0.1296), (-0.09609, -0.17346), (-0.17741, -0.17741), (-0.17346, -0.09609), (-0.1296, -0.05368), (-0.05294, -0.05294)}, {(0.05368, -0.1296), (0.05471, -0.1906), (0, -0.25089), (-0.05471, -0.1906), (-0.05368, -0.1296), (0, -0.07487)}, {(0.1296, -0.05368), (0.17346, -0.09609), (0.17741, -0.17741), (0.09609, -0.17346), (0.05368, -0.1296), (0.05294, -0.05294)}}}, {{{(0.25089, 0), (0.28234, -0.02732), (0.28311, -0.05704), (0.31903, -0.05818), (0.31903, 0.05818), (0.28311, 0.05704), (0.28234, 0.02732)}, {(0, 0.25089), (0.02732, 0.28234), (0.05704, 0.28311), (0.05818, 0.31903), (-0.05818, 0.31903), (-0.05704, 0.28311), (-0.02732, 0.28234)}, {(-0.25089, 0), (-0.28234, 0.02732), (-0.28311, 0.05704), (-0.31903, 0.05818), (-0.31903, -0.05818), (-0.28311, -0.05704), (-0.28234, -0.02732)}, {(0, -0.25089), (-0.02732, -0.28234), (-0.05704, -0.28311), (-0.05818, -0.31903), (0.05818, -0.31903), (0.05704, -0.28311), (0.02732, -0.28234)}}}, {{{(0.32423, 0.1343), (0.34061, 0.25276), (0.29589, 0.21159), (0.2903, 0.16323)}, {(-0.1343, 0.32423), (-0.25276, 0.34061), (-0.21159, 0.29589), (-0.16323, 0.2903)}, {(-0.32423, -0.1343), (-0.34061, -0.25276), (-0.29589, -0.21159), (-0.2903, -0.16323)}, {(0.1343, -0.32423), (0.25276, -0.34061), (0.21159, -0.29589), (0.16323, -0.2903)}}, {{(0.26673, 0.18445), (0.29589, 0.21159), (0.31228, 0.31228), (0.21159, 0.29589), (0.18445, 0.26673), (0.1774, 0.1774)}, {(-0.18445, 0.26673), (-0.21159, 0.29589), (-0.31228, 0.31228), (-0.29589, 0.21159), (-0.26673, 0.18445), (-0.1774, 0.1774)}, {(-0.26673, -0.18445), (-0.29589, -0.21159), (-0.31228, -0.31228), (-0.21159, -0.29589), (-0.18445, -0.26673), (-0.1774, -0.1774)}, {(0.18445, -0.26673), (0.21159, -0.29589), (0.31228, -0.31228), (0.29589, -0.21159), (0.26673, -0.18445), (0.1774, -0.1774)}}, {{(0.21159, 0.29589), (0.25276, 0.34061), (0.1343, 0.32423), (0.16323, 0.2903)}, {(-0.29589, 0.21159), (-0.34061, 0.25276), (-0.32423, 0.1343), (-0.2903, 0.16323)}, {(-0.21159, -0.29589), (-0.25276, -0.34061), (-0.1343, -0.32423), (-0.16323, -0.2903)}, {(0.29589, -0.21159), (0.34061, -0.25276), (0.32423, -0.1343), (0.2903, -0.16323)}}}, {{{(0.17235, 0.05436), (0.28311, 0.05704), (0.2903, 0.16323), (0.26673, 0.18445), (0.17346, 0.09608)}, {(-0.05436, 0.17235), (-0.05704, 0.28311), (-0.16323, 0.2903), (-0.18445, 0.26673), (-0.09608, 0.17346)}, {(-0.17235, -0.05436), (-0.28311, -0.05704), (-0.2903, -0.16323), (-0.26673, -0.18445), (-0.17346, -0.09608)}, {(0.05436, -0.17235), (0.05704, -0.28311), (0.16323, -0.2903), (0.18445, -0.26673), (0.09608, -0.17346)}}, {{(0.17235, -0.05436), (0.17346, -0.09608), (0.26673, -0.18445), (0.2903, -0.16323), (0.28311, -0.05704)}, {(0.05436, 0.17235), (0.09608, 0.17346), (0.18445, 0.26673), (0.16323, 0.2903), (0.05704, 0.28311)}, {(-0.17235, 0.05436), (-0.17346, 0.09608), (-0.26673, 0.18445), (-0.2903, 0.16323), (-0.28311, 0.05704)}, {(-0.05436, -0.17235), (-0.09608, -0.17346), (-0.18445, -0.26673), (-0.16323, -0.2903), (-0.05704, -0.28311)}}}, {{{(-0.177907256549113, -0.265368919646249), (-0.184089770695889, -0.272012372751475), (-0.199811103746896, -0.288967528288314), (-0.211095283270422, -0.301192238388894), (-0.24610530998325, -0.339415831561866), (-0.26054542037936, -0.34204502199842), (-0.22446745170224, -0.303032464571425), (-0.31945, -0.31945), (-0.30511, -0.30511), (-0.21289010674722, -0.290599166640835), (-0.189745082269047, -0.265866499374067), (-0.182927558293024, -0.182927558293024), (-0.170854529493249, -0.170854529493249), (-0.096100057378065, -0.167446932008234), (-0.057265967004009, -0.127390850020466), (-0.056529198151372, -0.056529198151372), (-0.045565054563577, -0.045565054563577), (-0.046082919122578, -0.115936598078421), (0, -0.069111611694159), (0, -0.07986736871419), (-0.046205582045274, -0.127016503235883), (-0.057434232768766, -0.138581273185467), (-0.084952615567787, -0.167102522030123), (-0.095872359237574, -0.17849132680211), (-0.107134722333936, -0.178908915442732), (-0.171538304293422, -0.182189160866294), (-0.176725076859726, -0.252025243614037)}, {(-0.265368919646249, -0.177907256549113), (-0.272012372751475, -0.184089770695889), (-0.288967528288314, -0.199811103746896), (-0.301192238388894, -0.211095283270422), (-0.339415831561866, -0.24610530998325), (-0.34204502199842, -0.26054542037936), (-0.303032464571425, -0.22446745170224), (-0.31945, -0.31945), (-0.30511, -0.30511), (-0.290599166640835, -0.21289010674722), (-0.265866499374067, -0.189745082269047), (-0.182927558293024, -0.182927558293024), (-0.170854529493249, -0.170854529493249), (-0.167446932008234, -0.096100057378065), (-0.127390850020466, -0.057265967004009), (-0.056529198151372, -0.056529198151372), (-0.045565054563577, -0.045565054563577), (-0.115936598078421, -0.046082919122578), (-0.069111611694159, 0), (-0.07986736871419, 0), (-0.127016503235883, -0.046205582045274), (-0.138581273185467, -0.057434232768766), (-0.167102522030123, -0.084952615567787), (-0.17849132680211, -0.095872359237574), (-0.178908915442732, -0.107134722333936), (-0.182189160866294, -0.171538304293422), (-0.252025243614037, -0.176725076859726)}, {(-0.057434232768766, -0.138581273185467), (-0.057914717175622, -0.166443458808156), (-0.084952615567787, -0.167102522030123), (-0.095872359237574, -0.17849132680211), (-0.058128318774247, -0.177429969312353), (-0.060720077909824, -0.278054917882335), (-0.160488102976478, -0.284692404113925), (-0.177907256549113, -0.265368919646249), (-0.184089770695889, -0.272012372751475), (-0.171638174506459, -0.285808768368792), (-0.199811103746896, -0.288967528288314), (-0.211095283270422, -0.301192238388894), (-0.163063865059388, -0.295527604242765), (-0.13833, -0.32462), (-0.12727, -0.32358), (-0.151948412266701, -0.294426269059645), (-0.061049880959073, -0.288350258122513), (-0.06211, -0.3192), (-0.0501, -0.31872), (-0.049248913595487, -0.287942604637003), (-0.048984043022912, -0.277668516256808), (-0.047419820343533, -0.206829922983398), (-0.047196661791265, -0.194632509891422), (-0.046205582045274, -0.127016503235883)}, {(-0.138581273185467, -0.057434232768766), (-0.166443458808156, -0.057914717175622), (-0.167102522030123, -0.084952615567787), (-0.17849132680211, -0.095872359237574), (-0.177429969312353, -0.058128318774247), (-0.278054917882335, -0.060720077909824), (-0.284692404113925, -0.160488102976478), (-0.265368919646249, -0.177907256549113), (-0.272012372751475, -0.184089770695889), (-0.285808768368792, -0.171638174506459), (-0.288967528288314, -0.199811103746896), (-0.301192238388894, -0.211095283270422), (-0.295527604242765, -0.163063865059388), (-0.32462, -0.13833), (-0.32358, -0.12727), (-0.294426269059645, -0.151948412266701), (-0.288350258122513, -0.061049880959073), (-0.3192, -0.06211), (-0.31872, -0.0501), (-0.287942604637003, -0.049248913595487), (-0.277668516256808, -0.048984043022912), (-0.206829922983398, -0.047419820343533), (-0.194632509891422, -0.047196661791265), (-0.127016503235883, -0.046205582045274)}, {(-0.026632321893331, -0.27716140303737), (-0.048984043022912, -0.277668516256808), (-0.049248913595487, -0.287942604637003), (-0.023837619182062, -0.28736112780434), (0, -0.259704170361822), (0, -0.246648019761148), (-0.047196661791265, -0.194632509891422), (-0.047419820343533, -0.206829922983398), (-0.005741583572672, -0.253153207114723)}, {(-0.27716140303737, -0.026632321893331), (-0.277668516256808, -0.048984043022912), (-0.287942604637003, -0.049248913595487), (-0.28736112780434, -0.023837619182062), (-0.259704170361822, 0), (-0.246648019761148, 0), (-0.194632509891422, -0.047196661791265), (-0.206829922983398, -0.047419820343533), (-0.253153207114723, -0.005741583572672)}, {(-0.177907256549113, -0.265368919646249), (-0.095872359237574, -0.17849132680211), (-0.107134722333941, -0.178908915442734), (-0.176725076859725, -0.252025243614033)}, {(-0.265368919646249, -0.177907256549113), (-0.17849132680211, -0.095872359237574), (-0.178908915442734, -0.107134722333941), (-0.252025243614033, -0.176725076859725)}}, {{(0.265368919646249, -0.177907256549113), (0.272012372751475, -0.184089770695889), (0.288967528288314, -0.199811103746896), (0.301192238388894, -0.211095283270422), (0.339415831561866, -0.24610530998325), (0.34204502199842, -0.26054542037936), (0.303032464571425, -0.22446745170224), (0.31945, -0.31945), (0.30511, -0.30511), (0.290599166640835, -0.21289010674722), (0.265866499374067, -0.189745082269047), (0.182927558293024, -0.182927558293024), (0.170854529493249, -0.170854529493249), (0.167446932008234, -0.096100057378065), (0.127390850020466, -0.057265967004009), (0.056529198151372, -0.056529198151372), (0.045565054563577, -0.045565054563577), (0.115936598078421, -0.046082919122578), (0.069111611694159, 0), (0.07986736871419, 0), (0.127016503235883, -0.046205582045274), (0.138581273185467, -0.057434232768766), (0.167102522030123, -0.084952615567787), (0.17849132680211, -0.095872359237574), (0.178908915442732, -0.107134722333936), (0.182189160866294, -0.171538304293422), (0.252025243614037, -0.176725076859726)}, {(0.177907256549113, -0.265368919646249), (0.184089770695889, -0.272012372751475), (0.199811103746896, -0.288967528288314), (0.211095283270422, -0.301192238388894), (0.24610530998325, -0.339415831561866), (0.26054542037936, -0.34204502199842), (0.22446745170224, -0.303032464571425), (0.31945, -0.31945), (0.30511, -0.30511), (0.21289010674722, -0.290599166640835), (0.189745082269047, -0.265866499374067), (0.182927558293024, -0.182927558293024), (0.170854529493249, -0.170854529493249), (0.096100057378065, -0.167446932008234), (0.057265967004009, -0.127390850020466), (0.056529198151372, -0.056529198151372), (0.045565054563577, -0.045565054563577), (0.046082919122578, -0.115936598078421), (0, -0.069111611694159), (0, -0.07986736871419), (0.046205582045274, -0.127016503235883), (0.057434232768766, -0.138581273185467), (0.084952615567787, -0.167102522030123), (0.095872359237574, -0.17849132680211), (0.107134722333936, -0.178908915442732), (0.171538304293422, -0.182189160866294), (0.176725076859726, -0.252025243614037)}, {(0.138581273185467, -0.057434232768766), (0.166443458808156, -0.057914717175622), (0.167102522030123, -0.084952615567787), (0.17849132680211, -0.095872359237574), (0.177429969312353, -0.058128318774247), (0.278054917882335, -0.060720077909824), (0.284692404113925, -0.160488102976478), (0.265368919646249, -0.177907256549113), (0.272012372751475, -0.184089770695889), (0.285808768368792, -0.171638174506459), (0.288967528288314, -0.199811103746896), (0.301192238388894, -0.211095283270422), (0.295527604242765, -0.163063865059388), (0.32462, -0.13833), (0.32358, -0.12727), (0.294426269059645, -0.151948412266701), (0.288350258122513, -0.061049880959073), (0.3192, -0.06211), (0.31872, -0.0501), (0.287942604637003, -0.049248913595487), (0.277668516256808, -0.048984043022912), (0.206829922983398, -0.047419820343533), (0.194632509891422, -0.047196661791265), (0.127016503235883, -0.046205582045274)}, {(0.057434232768766, -0.138581273185467), (0.057914717175622, -0.166443458808156), (0.084952615567787, -0.167102522030123), (0.095872359237574, -0.17849132680211), (0.058128318774247, -0.177429969312353), (0.060720077909824, -0.278054917882335), (0.160488102976478, -0.284692404113925), (0.177907256549113, -0.265368919646249), (0.184089770695889, -0.272012372751475), (0.171638174506459, -0.285808768368792), (0.199811103746896, -0.288967528288314), (0.211095283270422, -0.301192238388894), (0.163063865059388, -0.295527604242765), (0.13833, -0.32462), (0.12727, -0.32358), (0.151948412266701, -0.294426269059645), (0.061049880959073, -0.288350258122513), (0.06211, -0.3192), (0.0501, -0.31872), (0.049248913595487, -0.287942604637003), (0.048984043022912, -0.277668516256808), (0.047419820343533, -0.206829922983398), (0.047196661791265, -0.194632509891422), (0.046205582045274, -0.127016503235883)}, {(0.27716140303737, -0.026632321893331), (0.277668516256808, -0.048984043022912), (0.287942604637003, -0.049248913595487), (0.28736112780434, -0.023837619182062), (0.259704170361822, 0), (0.246648019761148, 0), (0.194632509891422, -0.047196661791265), (0.206829922983398, -0.047419820343533), (0.253153207114723, -0.005741583572672)}, {(0.026632321893331, -0.27716140303737), (0.048984043022912, -0.277668516256808), (0.049248913595487, -0.287942604637003), (0.023837619182062, -0.28736112780434), (0, -0.259704170361822), (0, -0.246648019761148), (0.047196661791265, -0.194632509891422), (0.047419820343533, -0.206829922983398), (0.005741583572672, -0.253153207114723)}, {(0.265368919646249, -0.177907256549113), (0.17849132680211, -0.095872359237574), (0.178908915442734, -0.107134722333941), (0.252025243614033, -0.176725076859725)}, {(0.177907256549113, -0.265368919646249), (0.095872359237574, -0.17849132680211), (0.107134722333941, -0.178908915442734), (0.176725076859725, -0.252025243614033)}}, {{(0.177907256549113, 0.265368919646249), (0.184089770695889, 0.272012372751475), (0.199811103746896, 0.288967528288314), (0.211095283270422, 0.301192238388894), (0.24610530998325, 0.339415831561866), (0.26054542037936, 0.34204502199842), (0.22446745170224, 0.303032464571425), (0.31945, 0.31945), (0.30511, 0.30511), (0.21289010674722, 0.290599166640835), (0.189745082269047, 0.265866499374067), (0.182927558293024, 0.182927558293024), (0.170854529493249, 0.170854529493249), (0.096100057378065, 0.167446932008234), (0.057265967004009, 0.127390850020466), (0.056529198151372, 0.056529198151372), (0.045565054563577, 0.045565054563577), (0.046082919122578, 0.115936598078421), (0, 0.069111611694159), (0, 0.07986736871419), (0.046205582045274, 0.127016503235883), (0.057434232768766, 0.138581273185467), (0.084952615567787, 0.167102522030123), (0.095872359237574, 0.17849132680211), (0.107134722333936, 0.178908915442732), (0.171538304293422, 0.182189160866294), (0.176725076859726, 0.252025243614037)}, {(0.265368919646249, 0.177907256549113), (0.272012372751475, 0.184089770695889), (0.288967528288314, 0.199811103746896), (0.301192238388894, 0.211095283270422), (0.339415831561866, 0.24610530998325), (0.34204502199842, 0.26054542037936), (0.303032464571425, 0.22446745170224), (0.31945, 0.31945), (0.30511, 0.30511), (0.290599166640835, 0.21289010674722), (0.265866499374067, 0.189745082269047), (0.182927558293024, 0.182927558293024), (0.170854529493249, 0.170854529493249), (0.167446932008234, 0.096100057378065), (0.127390850020466, 0.057265967004009), (0.056529198151372, 0.056529198151372), (0.045565054563577, 0.045565054563577), (0.115936598078421, 0.046082919122577), (0.069111611694159, 0), (0.07986736871419, 0), (0.127016503235883, 0.046205582045274), (0.138581273185467, 0.057434232768766), (0.167102522030123, 0.084952615567787), (0.17849132680211, 0.095872359237574), (0.178908915442732, 0.107134722333936), (0.182189160866294, 0.171538304293422), (0.252025243614037, 0.176725076859726)}, {(0.057434232768766, 0.138581273185467), (0.057914717175622, 0.166443458808156), (0.084952615567787, 0.167102522030123), (0.095872359237574, 0.17849132680211), (0.058128318774247, 0.177429969312353), (0.060720077909824, 0.278054917882335), (0.160488102976478, 0.284692404113925), (0.177907256549113, 0.265368919646249), (0.184089770695889, 0.272012372751475), (0.171638174506459, 0.285808768368792), (0.199811103746896, 0.288967528288314), (0.211095283270422, 0.301192238388894), (0.163063865059388, 0.295527604242765), (0.13833, 0.32462), (0.12727, 0.32358), (0.151948412266701, 0.294426269059645), (0.061049880959073, 0.288350258122513), (0.06211, 0.3192), (0.0501, 0.31872), (0.049248913595487, 0.287942604637003), (0.048984043022912, 0.277668516256808), (0.047419820343533, 0.206829922983398), (0.047196661791265, 0.194632509891422), (0.046205582045274, 0.127016503235883)}, {(0.138581273185467, 0.057434232768766), (0.166443458808156, 0.057914717175622), (0.167102522030123, 0.084952615567787), (0.17849132680211, 0.095872359237574), (0.177429969312353, 0.058128318774247), (0.278054917882335, 0.060720077909824), (0.284692404113925, 0.160488102976478), (0.265368919646249, 0.177907256549113), (0.272012372751475, 0.184089770695889), (0.285808768368792, 0.171638174506459), (0.288967528288314, 0.199811103746896), (0.301192238388894, 0.211095283270422), (0.295527604242765, 0.163063865059388), (0.32462, 0.13833), (0.32358, 0.12727), (0.294426269059645, 0.151948412266701), (0.288350258122513, 0.061049880959073), (0.3192, 0.06211), (0.31872, 0.0501), (0.287942604637003, 0.049248913595487), (0.277668516256808, 0.048984043022912), (0.206829922983398, 0.047419820343532), (0.194632509891422, 0.047196661791265), (0.127016503235883, 0.046205582045274)}, {(0.026632321893331, 0.27716140303737), (0.048984043022912, 0.277668516256808), (0.049248913595487, 0.287942604637003), (0.023837619182062, 0.28736112780434), (0, 0.259704170361822), (0, 0.246648019761148), (0.047196661791265, 0.194632509891422), (0.047419820343533, 0.206829922983398), (0.005741583572672, 0.253153207114723)}, {(0.27716140303737, 0.026632321893331), (0.277668516256808, 0.048984043022912), (0.287942604637003, 0.049248913595487), (0.28736112780434, 0.023837619182062), (0.259704170361822, 0), (0.246648019761148, 0), (0.194632509891422, 0.047196661791265), (0.206829922983398, 0.047419820343532), (0.253153207114723, 0.005741583572672)}, {(0.177907256549113, 0.265368919646249), (0.095872359237574, 0.17849132680211), (0.107134722333941, 0.178908915442734), (0.176725076859725, 0.252025243614033)}, {(0.265368919646249, 0.177907256549113), (0.17849132680211, 0.095872359237574), (0.178908915442734, 0.107134722333941), (0.252025243614033, 0.176725076859725)}}, {{(-0.265368919646249, 0.177907256549113), (-0.272012372751475, 0.184089770695889), (-0.288967528288314, 0.199811103746896), (-0.301192238388894, 0.211095283270422), (-0.339415831561866, 0.24610530998325), (-0.34204502199842, 0.26054542037936), (-0.303032464571425, 0.22446745170224), (-0.31945, 0.31945), (-0.30511, 0.30511), (-0.290599166640835, 0.21289010674722), (-0.265866499374067, 0.189745082269047), (-0.182927558293024, 0.182927558293024), (-0.170854529493249, 0.170854529493249), (-0.167446932008234, 0.096100057378065), (-0.127390850020466, 0.057265967004009), (-0.056529198151372, 0.056529198151372), (-0.045565054563577, 0.045565054563577), (-0.115936598078421, 0.046082919122578), (-0.069111611694159, 0), (-0.07986736871419, 0), (-0.127016503235883, 0.046205582045274), (-0.138581273185467, 0.057434232768766), (-0.167102522030123, 0.084952615567787), (-0.17849132680211, 0.095872359237574), (-0.178908915442732, 0.107134722333936), (-0.182189160866294, 0.171538304293422), (-0.252025243614037, 0.176725076859726)}, {(-0.177907256549113, 0.265368919646249), (-0.184089770695889, 0.272012372751475), (-0.199811103746896, 0.288967528288314), (-0.211095283270422, 0.301192238388894), (-0.24610530998325, 0.339415831561866), (-0.26054542037936, 0.34204502199842), (-0.22446745170224, 0.303032464571425), (-0.31945, 0.31945), (-0.30511, 0.30511), (-0.21289010674722, 0.290599166640835), (-0.189745082269047, 0.265866499374067), (-0.182927558293024, 0.182927558293024), (-0.170854529493249, 0.170854529493249), (-0.096100057378065, 0.167446932008235), (-0.057265967004009, 0.127390850020466), (-0.056529198151372, 0.056529198151372), (-0.045565054563577, 0.045565054563577), (-0.046082919122577, 0.115936598078421), (0, 0.069111611694159), (0, 0.07986736871419), (-0.046205582045274, 0.127016503235883), (-0.0574
(the line above was cut: it had 23047 characters; the first 20000 are kept)
mos1 = Sequence(Sequence[Polygon[mosaico(1, s, k)], k, 1, Length[mosaico(1, s)]], s, 1, Length[mosaico(1)])
mos2 = Sequence(Sequence[Polygon[mosaico(2, s, k)], k, 1, Length[mosaico(2, s)]], s, 1, Length[mosaico(2)])
mos3 = Sequence(Sequence[Polygon[mosaico(3, s, k)], k, 1, Length[mosaico(3, s)]], s, 1, Length[mosaico(3)])
mos4 = Sequence(Sequence[Polygon[mosaico(4, s, k)], k, 1, Length[mosaico(4, s)]], s, 1, Length[mosaico(4)])
c1: {x² + y² = 0.10102226560000001}
c01: {Circle[(0, 0), (0.31784, 0)]}
mos5 = Sequence(Sequence[Polygon[mosaico(5, s, k)], k, 1, Length[mosaico(5, s)]], s, 1, Length[mosaico(5)])
mosaico0: {{{{(0.1296, 0.05368), (0.1906, 0.05471), (0.25089, 0), (0.1906, -0.05471), (0.1296, -0.05368), (0.07487, 0)}, {(0.05368, 0.1296), (0.09609, 0.17346), (0.17741, 0.17741), (0.17346, 0.09609), (0.1296, 0.05368), (0.05294, 0.05294)}, {(-0.05368, 0.1296), (-0.05471, 0.1906), (0, 0.25089), (0.05471, 0.1906), (0.05368, 0.1296), (0, 0.07487)}, {(-0.1296, 0.05368), (-0.17346, 0.09609), (-0.17741, 0.17741), (-0.09609, 0.17346), (-0.05368, 0.1296), (-0.05294, 0.05294)}, {(-0.1296, -0.05368), (-0.1906, -0.05471), (-0.25089, 0), (-0.1906, 0.05471), (-0.1296, 0.05368), (-0.07487, 0)}, {(-0.05368, -0.1296), (-0.09609, -0.17346), (-0.17741, -0.17741), (-0.17346, -0.09609), (-0.1296, -0.05368), (-0.05294, -0.05294)}, {(0.05368, -0.1296), (0.05471, -0.1906), (0, -0.25089), (-0.05471, -0.1906), (-0.05368, -0.1296), (0, -0.07487)}, {(0.1296, -0.05368), (0.17346, -0.09609), (0.17741, -0.17741), (0.09609, -0.17346), (0.05368, -0.1296), (0.05294, -0.05294)}}}, {{{(0.25089, 0), (0.28234, -0.02732), (0.28311, -0.05704), (0.31903, -0.05818), (0.31903, 0.05818), (0.28311, 0.05704), (0.28234, 0.02732)}, {(0, 0.25089), (0.02732, 0.28234), (0.05704, 0.28311), (0.05818, 0.31903), (-0.05818, 0.31903), (-0.05704, 0.28311), (-0.02732, 0.28234)}, {(-0.25089, 0), (-0.28234, 0.02732), (-0.28311, 0.05704), (-0.31903, 0.05818), (-0.31903, -0.05818), (-0.28311, -0.05704), (-0.28234, -0.02732)}, {(0, -0.25089), (-0.02732, -0.28234), (-0.05704, -0.28311), (-0.05818, -0.31903), (0.05818, -0.31903), (0.05704, -0.28311), (0.02732, -0.28234)}}}, {{{(0.32423, 0.1343), (0.34061, 0.25276), (0.29589, 0.21159), (0.2903, 0.16323)}, {(-0.1343, 0.32423), (-0.25276, 0.34061), (-0.21159, 0.29589), (-0.16323, 0.2903)}, {(-0.32423, -0.1343), (-0.34061, -0.25276), (-0.29589, -0.21159), (-0.2903, -0.16323)}, {(0.1343, -0.32423), (0.25276, -0.34061), (0.21159, -0.29589), (0.16323, -0.2903)}}, {{(0.26673, 0.18445), (0.29589, 0.21159), (0.31228, 0.31228), (0.21159, 0.29589), (0.18445, 0.26673), (0.1774, 0.1774)}, {(-0.18445, 0.26673), (-0.21159, 0.29589), (-0.31228, 0.31228), (-0.29589, 0.21159), (-0.26673, 0.18445), (-0.1774, 0.1774)}, {(-0.26673, -0.18445), (-0.29589, -0.21159), (-0.31228, -0.31228), (-0.21159, -0.29589), (-0.18445, -0.26673), (-0.1774, -0.1774)}, {(0.18445, -0.26673), (0.21159, -0.29589), (0.31228, -0.31228), (0.29589, -0.21159), (0.26673, -0.18445), (0.1774, -0.1774)}}, {{(0.21159, 0.29589), (0.25276, 0.34061), (0.1343, 0.32423), (0.16323, 0.2903)}, {(-0.29589, 0.21159), (-0.34061, 0.25276), (-0.32423, 0.1343), (-0.2903, 0.16323)}, {(-0.21159, -0.29589), (-0.25276, -0.34061), (-0.1343, -0.32423), (-0.16323, -0.2903)}, {(0.29589, -0.21159), (0.34061, -0.25276), (0.32423, -0.1343), (0.2903, -0.16323)}}}, {{{(0.17235, 0.05436), (0.28311, 0.05704), (0.2903, 0.16323), (0.26673, 0.18445), (0.17346, 0.09608)}, {(-0.05436, 0.17235), (-0.05704, 0.28311), (-0.16323, 0.2903), (-0.18445, 0.26673), (-0.09608, 0.17346)}, {(-0.17235, -0.05436), (-0.28311, -0.05704), (-0.2903, -0.16323), (-0.26673, -0.18445), (-0.17346, -0.09608)}, {(0.05436, -0.17235), (0.05704, -0.28311), (0.16323, -0.2903), (0.18445, -0.26673), (0.09608, -0.17346)}}, {{(0.17235, -0.05436), (0.17346, -0.09608), (0.26673, -0.18445), (0.2903, -0.16323), (0.28311, -0.05704)}, {(0.05436, 0.17235), (0.09608, 0.17346), (0.18445, 0.26673), (0.16323, 0.2903), (0.05704, 0.28311)}, {(-0.17235, 0.05436), (-0.17346, 0.09608), (-0.26673, 0.18445), (-0.2903, 0.16323), (-0.28311, 0.05704)}, {(-0.05436, -0.17235), (-0.09608, -0.17346), (-0.18445, -0.26673), (-0.16323, -0.2903), (-0.05704, -0.28311)}}}, {{{(-0.177907256549113, -0.265368919646249), (-0.184089770695889, -0.272012372751475), (-0.199811103746896, -0.288967528288314), (-0.211095283270422, -0.301192238388894), (-0.24610530998325, -0.339415831561866), (-0.26054542037936, -0.34204502199842), (-0.22446745170224, -0.303032464571425), (-0.31945, -0.31945), (-0.30511, -0.30511), (-0.21289010674722, -0.290599166640835), (-0.189745082269047, -0.265866499374067), (-0.182927558293024, -0.182927558293024), (-0.170854529493249, -0.170854529493249), (-0.096100057378065, -0.167446932008234), (-0.057265967004009, -0.127390850020466), (-0.056529198151372, -0.056529198151372), (-0.045565054563577, -0.045565054563577), (-0.046082919122578, -0.115936598078421), (0, -0.069111611694159), (0, -0.07986736871419), (-0.046205582045274, -0.127016503235883), (-0.057434232768766, -0.138581273185467), (-0.084952615567787, -0.167102522030123), (-0.095872359237574, -0.17849132680211), (-0.107134722333936, -0.178908915442732), (-0.171538304293422, -0.182189160866294), (-0.176725076859726, -0.252025243614037)}, {(-0.265368919646249, -0.177907256549113), (-0.272012372751475, -0.184089770695889), (-0.288967528288314, -0.199811103746896), (-0.301192238388894, -0.211095283270422), (-0.339415831561866, -0.24610530998325), (-0.34204502199842, -0.26054542037936), (-0.303032464571425, -0.22446745170224), (-0.31945, -0.31945), (-0.30511, -0.30511), (-0.290599166640835, -0.21289010674722), (-0.265866499374067, -0.189745082269047), (-0.182927558293024, -0.182927558293024), (-0.170854529493249, -0.170854529493249), (-0.167446932008234, -0.096100057378065), (-0.127390850020466, -0.057265967004009), (-0.056529198151372, -0.056529198151372), (-0.045565054563577, -0.045565054563577), (-0.115936598078421, -0.046082919122578), (-0.069111611694159, 0), (-0.07986736871419, 0), (-0.127016503235883, -0.046205582045274), (-0.138581273185467, -0.057434232768766), (-0.167102522030123, -0.084952615567787), (-0.17849132680211, -0.095872359237574), (-0.178908915442732, -0.107134722333936), (-0.182189160866294, -0.171538304293422), (-0.252025243614037, -0.176725076859726)}, {(-0.057434232768766, -0.138581273185467), (-0.057914717175622, -0.166443458808156), (-0.084952615567787, -0.167102522030123), (-0.095872359237574, -0.17849132680211), (-0.058128318774247, -0.177429969312353), (-0.060720077909824, -0.278054917882335), (-0.160488102976478, -0.284692404113925), (-0.177907256549113, -0.265368919646249), (-0.184089770695889, -0.272012372751475), (-0.171638174506459, -0.285808768368792), (-0.199811103746896, -0.288967528288314), (-0.211095283270422, -0.301192238388894), (-0.163063865059388, -0.295527604242765), (-0.13833, -0.32462), (-0.12727, -0.32358), (-0.151948412266701, -0.294426269059645), (-0.061049880959073, -0.288350258122513), (-0.06211, -0.3192), (-0.0501, -0.31872), (-0.049248913595487, -0.287942604637003), (-0.048984043022912, -0.277668516256808), (-0.047419820343533, -0.206829922983398), (-0.047196661791265, -0.194632509891422), (-0.046205582045274, -0.127016503235883)}, {(-0.138581273185467, -0.057434232768766), (-0.166443458808156, -0.057914717175622), (-0.167102522030123, -0.084952615567787), (-0.17849132680211, -0.095872359237574), (-0.177429969312353, -0.058128318774247), (-0.278054917882335, -0.060720077909824), (-0.284692404113925, -0.160488102976478), (-0.265368919646249, -0.177907256549113), (-0.272012372751475, -0.184089770695889), (-0.285808768368792, -0.171638174506459), (-0.288967528288314, -0.199811103746896), (-0.301192238388894, -0.211095283270422), (-0.295527604242765, -0.163063865059388), (-0.32462, -0.13833), (-0.32358, -0.12727), (-0.294426269059645, -0.151948412266701), (-0.288350258122513, -0.061049880959073), (-0.3192, -0.06211), (-0.31872, -0.0501), (-0.287942604637003, -0.049248913595487), (-0.277668516256808, -0.048984043022912), (-0.206829922983398, -0.047419820343533), (-0.194632509891422, -0.047196661791265), (-0.127016503235883, -0.046205582045274)}, {(-0.026632321893331, -0.27716140303737), (-0.048984043022912, -0.277668516256808), (-0.049248913595487, -0.287942604637003), (-0.023837619182062, -0.28736112780434), (0, -0.259704170361822), (0, -0.246648019761148), (-0.047196661791265, -0.194632509891422), (-0.047419820343533, -0.206829922983398), (-0.005741583572672, -0.253153207114723)}, {(-0.27716140303737, -0.026632321893331), (-0.277668516256808, -0.048984043022912), (-0.287942604637003, -0.049248913595487), (-0.28736112780434, -0.023837619182062), (-0.259704170361822, 0), (-0.246648019761148, 0), (-0.194632509891422, -0.047196661791265), (-0.206829922983398, -0.047419820343533), (-0.253153207114723, -0.005741583572672)}, {(-0.177907256549113, -0.265368919646249), (-0.095872359237574, -0.17849132680211), (-0.107134722333941, -0.178908915442734), (-0.176725076859725, -0.252025243614033)}, {(-0.265368919646249, -0.177907256549113), (-0.17849132680211, -0.095872359237574), (-0.178908915442734, -0.107134722333941), (-0.252025243614033, -0.176725076859725)}}, {{(0.265368919646249, -0.177907256549113), (0.272012372751475, -0.184089770695889), (0.288967528288314, -0.199811103746896), (0.301192238388894, -0.211095283270422), (0.339415831561866, -0.24610530998325), (0.34204502199842, -0.26054542037936), (0.303032464571425, -0.22446745170224), (0.31945, -0.31945), (0.30511, -0.30511), (0.290599166640835, -0.21289010674722), (0.265866499374067, -0.189745082269047), (0.182927558293024, -0.182927558293024), (0.170854529493249, -0.170854529493249), (0.167446932008234, -0.096100057378065), (0.127390850020466, -0.057265967004009), (0.056529198151372, -0.056529198151372), (0.045565054563577, -0.045565054563577), (0.115936598078421, -0.046082919122578), (0.069111611694159, 0), (0.07986736871419, 0), (0.127016503235883, -0.046205582045274), (0.138581273185467, -0.057434232768766), (0.167102522030123, -0.084952615567787), (0.17849132680211, -0.095872359237574), (0.178908915442732, -0.107134722333936), (0.182189160866294, -0.171538304293422), (0.252025243614037, -0.176725076859726)}, {(0.177907256549113, -0.265368919646249), (0.184089770695889, -0.272012372751475), (0.199811103746896, -0.288967528288314), (0.211095283270422, -0.301192238388894), (0.24610530998325, -0.339415831561866), (0.26054542037936, -0.34204502199842), (0.22446745170224, -0.303032464571425), (0.31945, -0.31945), (0.30511, -0.30511), (0.21289010674722, -0.290599166640835), (0.189745082269047, -0.265866499374067), (0.182927558293024, -0.182927558293024), (0.170854529493249, -0.170854529493249), (0.096100057378065, -0.167446932008234), (0.057265967004009, -0.127390850020466), (0.056529198151372, -0.056529198151372), (0.045565054563577, -0.045565054563577), (0.046082919122578, -0.115936598078421), (0, -0.069111611694159), (0, -0.07986736871419), (0.046205582045274, -0.127016503235883), (0.057434232768766, -0.138581273185467), (0.084952615567787, -0.167102522030123), (0.095872359237574, -0.17849132680211), (0.107134722333936, -0.178908915442732), (0.171538304293422, -0.182189160866294), (0.176725076859726, -0.252025243614037)}, {(0.138581273185467, -0.057434232768766), (0.166443458808156, -0.057914717175622), (0.167102522030123, -0.084952615567787), (0.17849132680211, -0.095872359237574), (0.177429969312353, -0.058128318774247), (0.278054917882335, -0.060720077909824), (0.284692404113925, -0.160488102976478), (0.265368919646249, -0.177907256549113), (0.272012372751475, -0.184089770695889), (0.285808768368792, -0.171638174506459), (0.288967528288314, -0.199811103746896), (0.301192238388894, -0.211095283270422), (0.295527604242765, -0.163063865059388), (0.32462, -0.13833), (0.32358, -0.12727), (0.294426269059645, -0.151948412266701), (0.288350258122513, -0.061049880959073), (0.3192, -0.06211), (0.31872, -0.0501), (0.287942604637003, -0.049248913595487), (0.277668516256808, -0.048984043022912), (0.206829922983398, -0.047419820343533), (0.194632509891422, -0.047196661791265), (0.127016503235883, -0.046205582045274)}, {(0.057434232768766, -0.138581273185467), (0.057914717175622, -0.166443458808156), (0.084952615567787, -0.167102522030123), (0.095872359237574, -0.17849132680211), (0.058128318774247, -0.177429969312353), (0.060720077909824, -0.278054917882335), (0.160488102976478, -0.284692404113925), (0.177907256549113, -0.265368919646249), (0.184089770695889, -0.272012372751475), (0.171638174506459, -0.285808768368792), (0.199811103746896, -0.288967528288314), (0.211095283270422, -0.301192238388894), (0.163063865059388, -0.295527604242765), (0.13833, -0.32462), (0.12727, -0.32358), (0.151948412266701, -0.294426269059645), (0.061049880959073, -0.288350258122513), (0.06211, -0.3192), (0.0501, -0.31872), (0.049248913595487, -0.287942604637003), (0.048984043022912, -0.277668516256808), (0.047419820343533, -0.206829922983398), (0.047196661791265, -0.194632509891422), (0.046205582045274, -0.127016503235883)}, {(0.27716140303737, -0.026632321893331), (0.277668516256808, -0.048984043022912), (0.287942604637003, -0.049248913595487), (0.28736112780434, -0.023837619182062), (0.259704170361822, 0), (0.246648019761148, 0), (0.194632509891422, -0.047196661791265), (0.206829922983398, -0.047419820343533), (0.253153207114723, -0.005741583572672)}, {(0.026632321893331, -0.27716140303737), (0.048984043022912, -0.277668516256808), (0.049248913595487, -0.287942604637003), (0.023837619182062, -0.28736112780434), (0, -0.259704170361822), (0, -0.246648019761148), (0.047196661791265, -0.194632509891422), (0.047419820343533, -0.206829922983398), (0.005741583572672, -0.253153207114723)}, {(0.265368919646249, -0.177907256549113), (0.17849132680211, -0.095872359237574), (0.178908915442734, -0.107134722333941), (0.252025243614033, -0.176725076859725)}, {(0.177907256549113, -0.265368919646249), (0.095872359237574, -0.17849132680211), (0.107134722333941, -0.178908915442734), (0.176725076859725, -0.252025243614033)}}, {{(0.177907256549113, 0.265368919646249), (0.184089770695889, 0.272012372751475), (0.199811103746896, 0.288967528288314), (0.211095283270422, 0.301192238388894), (0.24610530998325, 0.339415831561866), (0.26054542037936, 0.34204502199842), (0.22446745170224, 0.303032464571425), (0.31945, 0.31945), (0.30511, 0.30511), (0.21289010674722, 0.290599166640835), (0.189745082269047, 0.265866499374067), (0.182927558293024, 0.182927558293024), (0.170854529493249, 0.170854529493249), (0.096100057378065, 0.167446932008234), (0.057265967004009, 0.127390850020466), (0.056529198151372, 0.056529198151372), (0.045565054563577, 0.045565054563577), (0.046082919122578, 0.115936598078421), (0, 0.069111611694159), (0, 0.07986736871419), (0.046205582045274, 0.127016503235883), (0.057434232768766, 0.138581273185467), (0.084952615567787, 0.167102522030123), (0.095872359237574, 0.17849132680211), (0.107134722333936, 0.178908915442732), (0.171538304293422, 0.182189160866294), (0.176725076859726, 0.252025243614037)}, {(0.265368919646249, 0.177907256549113), (0.272012372751475, 0.184089770695889), (0.288967528288314, 0.199811103746896), (0.301192238388894, 0.211095283270422), (0.339415831561866, 0.24610530998325), (0.34204502199842, 0.26054542037936), (0.303032464571425, 0.22446745170224), (0.31945, 0.31945), (0.30511, 0.30511), (0.290599166640835, 0.21289010674722), (0.265866499374067, 0.189745082269047), (0.182927558293024, 0.182927558293024), (0.170854529493249, 0.170854529493249), (0.167446932008234, 0.096100057378065), (0.127390850020466, 0.057265967004009), (0.056529198151372, 0.056529198151372), (0.045565054563577, 0.045565054563577), (0.115936598078421, 0.046082919122577), (0.069111611694159, 0), (0.07986736871419, 0), (0.127016503235883, 0.046205582045274), (0.138581273185467, 0.057434232768766), (0.167102522030123, 0.084952615567787), (0.17849132680211, 0.095872359237574), (0.178908915442732, 0.107134722333936), (0.182189160866294, 0.171538304293422), (0.252025243614037, 0.176725076859726)}, {(0.057434232768766, 0.138581273185467), (0.057914717175622, 0.166443458808156), (0.084952615567787, 0.167102522030123), (0.095872359237574, 0.17849132680211), (0.058128318774247, 0.177429969312353), (0.060720077909824, 0.278054917882335), (0.160488102976478, 0.284692404113925), (0.177907256549113, 0.265368919646249), (0.184089770695889, 0.272012372751475), (0.171638174506459, 0.285808768368792), (0.199811103746896, 0.288967528288314), (0.211095283270422, 0.301192238388894), (0.163063865059388, 0.295527604242765), (0.13833, 0.32462), (0.12727, 0.32358), (0.151948412266701, 0.294426269059645), (0.061049880959073, 0.288350258122513), (0.06211, 0.3192), (0.0501, 0.31872), (0.049248913595487, 0.287942604637003), (0.048984043022912, 0.277668516256808), (0.047419820343533, 0.206829922983398), (0.047196661791265, 0.194632509891422), (0.046205582045274, 0.127016503235883)}, {(0.138581273185467, 0.057434232768766), (0.166443458808156, 0.057914717175622), (0.167102522030123, 0.084952615567787), (0.17849132680211, 0.095872359237574), (0.177429969312353, 0.058128318774247), (0.278054917882335, 0.060720077909824), (0.284692404113925, 0.160488102976478), (0.265368919646249, 0.177907256549113), (0.272012372751475, 0.184089770695889), (0.285808768368792, 0.171638174506459), (0.288967528288314, 0.199811103746896), (0.301192238388894, 0.211095283270422), (0.295527604242765, 0.163063865059388), (0.32462, 0.13833), (0.32358, 0.12727), (0.294426269059645, 0.151948412266701), (0.288350258122513, 0.061049880959073), (0.3192, 0.06211), (0.31872, 0.0501), (0.287942604637003, 0.049248913595487), (0.277668516256808, 0.048984043022912), (0.206829922983398, 0.047419820343532), (0.194632509891422, 0.047196661791265), (0.127016503235883, 0.046205582045274)}, {(0.026632321893331, 0.27716140303737), (0.048984043022912, 0.277668516256808), (0.049248913595487, 0.287942604637003), (0.023837619182062, 0.28736112780434), (0, 0.259704170361822), (0, 0.246648019761148), (0.047196661791265, 0.194632509891422), (0.047419820343533, 0.206829922983398), (0.005741583572672, 0.253153207114723)}, {(0.27716140303737, 0.026632321893331), (0.277668516256808, 0.048984043022912), (0.287942604637003, 0.049248913595487), (0.28736112780434, 0.023837619182062), (0.259704170361822, 0), (0.246648019761148, 0), (0.194632509891422, 0.047196661791265), (0.206829922983398, 0.047419820343532), (0.253153207114723, 0.005741583572672)}, {(0.177907256549113, 0.265368919646249), (0.095872359237574, 0.17849132680211), (0.107134722333941, 0.178908915442734), (0.176725076859725, 0.252025243614033)}, {(0.265368919646249, 0.177907256549113), (0.17849132680211, 0.095872359237574), (0.178908915442734, 0.107134722333941), (0.252025243614033, 0.176725076859725)}}, {{(-0.265368919646249, 0.177907256549113), (-0.272012372751475, 0.184089770695889), (-0.288967528288314, 0.199811103746896), (-0.301192238388894, 0.211095283270422), (-0.339415831561866, 0.24610530998325), (-0.34204502199842, 0.26054542037936), (-0.303032464571425, 0.22446745170224), (-0.31945, 0.31945), (-0.30511, 0.30511), (-0.290599166640835, 0.21289010674722), (-0.265866499374067, 0.189745082269047), (-0.182927558293024, 0.182927558293024), (-0.170854529493249, 0.170854529493249), (-0.167446932008234, 0.096100057378065), (-0.127390850020466, 0.057265967004009), (-0.056529198151372, 0.056529198151372), (-0.045565054563577, 0.045565054563577), (-0.115936598078421, 0.046082919122578), (-0.069111611694159, 0), (-0.07986736871419, 0), (-0.127016503235883, 0.046205582045274), (-0.138581273185467, 0.057434232768766), (-0.167102522030123, 0.084952615567787), (-0.17849132680211, 0.095872359237574), (-0.178908915442732, 0.107134722333936), (-0.182189160866294, 0.171538304293422), (-0.252025243614037, 0.176725076859726)}, {(-0.177907256549113, 0.265368919646249), (-0.184089770695889, 0.272012372751475), (-0.199811103746896, 0.288967528288314), (-0.211095283270422, 0.301192238388894), (-0.24610530998325, 0.339415831561866), (-0.26054542037936, 0.34204502199842), (-0.22446745170224, 0.303032464571425), (-0.31945, 0.31945), (-0.30511, 0.30511), (-0.21289010674722, 0.290599166640835), (-0.189745082269047, 0.265866499374067), (-0.182927558293024, 0.182927558293024), (-0.170854529493249, 0.170854529493249), (-0.096100057378065, 0.167446932008235), (-0.057265967004009, 0.127390850020466), (-0.056529198151372, 0.056529198151372), (-0.045565054563577, 0.045565054563577), (-0.046082919122577, 0.115936598078421), (0, 0.069111611694159), (0, 0.07986736871419), (-0.046205582045274, 0.127016503235883), (-0.057
(the line above was cut: it had 23048 characters; the first 20000 are kept)
mos05 = Sequence(Sequence[Polygon[mosaico0(5, s, k)], k, 1, Length[mosaico0(5, s)]], s, 1, Length[mosaico0(5)])
mos01 = Sequence(Sequence[Polygon[mosaico0(1, s, k)], k, 1, Length[mosaico0(1, s)]], s, 1, Length[mosaico0(1)])
mos02 = Sequence(Sequence[Polygon[mosaico0(2, s, k)], k, 1, Length[mosaico0(2, s)]], s, 1, Length[mosaico0(2)])
mos03 = Sequence(Sequence[Polygon[mosaico0(3, s, k)], k, 1, Length[mosaico0(3, s)]], s, 1, Length[mosaico0(3)])
mos04 = Sequence(Sequence[Polygon[mosaico0(4, s, k)], k, 1, Length[mosaico0(4, s)]], s, 1, Length[mosaico0(4)])
mosaicoFinal = false
cox0: {{(0, 0), (0.04142, 0), (0.08284, 0), (0.12426, 0), (0.16569, 0), (0.20711, 0), (0.24853, 0), (0.28995, 0), (0.33137, 0), (0.37279, 0), (0.41421, 0), (0.41456, 0.02618), (0.41558, 0.05234), (0.4173, 0.07846), (0.41969, 0.10453), (0.42277, 0.13053), (0.42653, 0.15643), (0.43096, 0.18224), (0.43607, 0.20791), (0.44184, 0.23345), (0.44829, 0.25882), (0.40346, 0.23294), (0.35863, 0.20706), (0.3138, 0.18117), (0.26897, 0.15529), (0.22414, 0.12941), (0.17932, 0.10353), (0.13449, 0.07765), (0.08966, 0.05176), (0.04483, 0.02588)}, {(0, 0), (0.02071, 0.03587), (0.04142, 0.07174), (0.06213, 0.10762), (0.08284, 0.14349), (0.10355, 0.17936), (0.12426, 0.21523), (0.14497, 0.2511), (0.16569, 0.28698), (0.1864, 0.32285), (0.20711, 0.35872), (0.18461, 0.37211), (0.16246, 0.38607), (0.1407, 0.40062), (0.11932, 0.41573), (0.09834, 0.43139), (0.07779, 0.4476), (0.05766, 0.46434), (0.03798, 0.4816), (0.01875, 0.49937), (0, 0.51764), (0, 0.46587), (0, 0.41411), (0, 0.36235), (0, 0.31058), (0, 0.25882), (0, 0.20706), (0, 0.15529), (0, 0.10353), (0, 0.05176)}, {(0, 0), (-0.02071, 0.03587), (-0.04142, 0.07174), (-0.06213, 0.10762), (-0.08284, 0.14349), (-0.10355, 0.17936), (-0.12426, 0.21523), (-0.14497, 0.2511), (-0.16569, 0.28698), (-0.1864, 0.32285), (-0.20711, 0.35872), (-0.22995, 0.34593), (-0.25312, 0.33373), (-0.2766, 0.32216), (-0.30037, 0.3112), (-0.32443, 0.30086), (-0.34874, 0.29117), (-0.3733, 0.2821), (-0.39809, 0.27369), (-0.42309, 0.26592), (-0.44829, 0.25882), (-0.40346, 0.23294), (-0.35863, 0.20706), (-0.3138, 0.18117), (-0.26897, 0.15529), (-0.22414, 0.12941), (-0.17932, 0.10353), (-0.13449, 0.07765), (-0.08966, 0.05176), (-0.04483, 0.02588)}, {(0, 0), (-0.04142, 0), (-0.08284, 0), (-0.12426, 0), (-0.16569, 0), (-0.20711, 0), (-0.24853, 0), (-0.28995, 0), (-0.33137, 0), (-0.37279, 0), (-0.41421, 0), (-0.41456, -0.02618), (-0.41558, -0.05234), (-0.4173, -0.07846), (-0.41969, -0.10453), (-0.42277, -0.13053), (-0.42653, -0.15643), (-0.43096, -0.18224), (-0.43607, -0.20791), (-0.44184, -0.23345), (-0.44829, -0.25882), (-0.40346, -0.23294), (-0.35863, -0.20706), (-0.3138, -0.18117), (-0.26897, -0.15529), (-0.22414, -0.12941), (-0.17932, -0.10353), (-0.13449, -0.07765), (-0.08966, -0.05176), (-0.04483, -0.02588)}, {(0, 0), (-0.02071, -0.03587), (-0.04142, -0.07174), (-0.06213, -0.10762), (-0.08284, -0.14349), (-0.10355, -0.17936), (-0.12426, -0.21523), (-0.14497, -0.2511), (-0.16569, -0.28698), (-0.1864, -0.32285), (-0.20711, -0.35872), (-0.18461, -0.37211), (-0.16246, -0.38607), (-0.1407, -0.40062), (-0.11932, -0.41573), (-0.09834, -0.43139), (-0.07779, -0.4476), (-0.05766, -0.46434), (-0.03798, -0.4816), (-0.01875, -0.49937), (0, -0.51764), (0, -0.46587), (0, -0.41411), (0, -0.36235), (0, -0.31058), (0, -0.25882), (0, -0.20706), (0, -0.15529), (0, -0.10353), (0, -0.05176)}, {(0, 0), (0.02071, -0.03587), (0.04142, -0.07174), (0.06213, -0.10762), (0.08284, -0.14349), (0.10355, -0.17936), (0.12426, -0.21523), (0.14497, -0.2511), (0.16569, -0.28698), (0.1864, -0.32285), (0.2071, -0.35872), (0.22995, -0.34593), (0.25312, -0.33373), (0.2766, -0.32216), (0.30037, -0.3112), (0.32443, -0.30086), (0.34874, -0.29117), (0.3733, -0.2821), (0.39809, -0.27369), (0.42309, -0.26592), (0.44829, -0.25882), (0.40346, -0.23294), (0.35863, -0.20706), (0.3138, -0.18117), (0.26897, -0.15529), (0.22414, -0.12941), (0.17932, -0.10353), (0.13449, -0.07765), (0.08966, -0.05176), (0.04483, -0.02588)}, {(0, 0), (0.04142, 0), (0.08284, 0), (0.12426, 0), (0.16569, 0), (0.20711, 0), (0.24853, 0), (0.28995, 0), (0.33137, 0), (0.37279, 0), (0.41421, 0), (0.41456, -0.02618), (0.41558, -0.05234), (0.4173, -0.07846), (0.41969, -0.10453), (0.42277, -0.13053), (0.42653, -0.15643), (0.43096, -0.18224), (0.43607, -0.20791), (0.44184, -0.23345), (0.44829, -0.25882), (0.40346, -0.23294), (0.35863, -0.20706), (0.3138, -0.18117), (0.26897, -0.15529), (0.22414, -0.12941), (0.17932, -0.10353), (0.13449, -0.07765), (0.08966, -0.05176), (0.04483, -0.02588)}, {(0, 0), (0.02071, 0.03587), (0.04142, 0.07174), (0.06213, 0.10762), (0.08284, 0.14349), (0.10355, 0.17936), (0.12426, 0.21523), (0.14497, 0.2511), (0.16569, 0.28698), (0.1864, 0.32285), (0.20711, 0.35872), (0.22995, 0.34593), (0.25312, 0.33373), (0.2766, 0.32216), (0.30037, 0.3112), (0.32443, 0.30086), (0.34874, 0.29117), (0.3733, 0.2821), (0.39809, 0.27369), (0.42309, 0.26592), (0.44829, 0.25882), (0.40346, 0.23294), (0.35863, 0.20706), (0.3138, 0.18117), (0.26897, 0.15529), (0.22414, 0.12941), (0.17932, 0.10353), (0.13449, 0.07765), (0.08966, 0.05176), (0.04483, 0.02588)}, {(0, 0), (-0.02071, 0.03587), (-0.04142, 0.07174), (-0.06213, 0.10762), (-0.08284, 0.14349), (-0.10355, 0.17936), (-0.12426, 0.21523), (-0.14497, 0.2511), (-0.16569, 0.28698), (-0.1864, 0.32285), (-0.20711, 0.35872), (-0.18461, 0.37211), (-0.16246, 0.38607), (-0.1407, 0.40062), (-0.11932, 0.41573), (-0.09834, 0.43139), (-0.07779, 0.4476), (-0.05766, 0.46434), (-0.03798, 0.4816), (-0.01875, 0.49937), (0, 0.51764), (0, 0.46587), (0, 0.41411), (0, 0.36235), (0, 0.31058), (0, 0.25882), (0, 0.20706), (0, 0.15529), (0, 0.10353), (0, 0.05176)}, {(0, 0), (-0.04142, 0), (-0.08284, 0), (-0.12426, 0), (-0.16569, 0), (-0.20711, 0), (-0.24853, 0), (-0.28995, 0), (-0.33137, 0), (-0.37279, 0), (-0.41421, 0), (-0.41456, 0.02618), (-0.41558, 0.05234), (-0.4173, 0.07846), (-0.41969, 0.10453), (-0.42277, 0.13053), (-0.42653, 0.15643), (-0.43096, 0.18224), (-0.43607, 0.20791), (-0.44184, 0.23345), (-0.44829, 0.25882), (-0.40346, 0.23294), (-0.35863, 0.20706), (-0.3138, 0.18117), (-0.26897, 0.15529), (-0.22414, 0.12941), (-0.17932, 0.10353), (-0.13449, 0.07765), (-0.08966, 0.05176), (-0.04483, 0.02588)}, {(0, 0), (-0.02071, -0.03587), (-0.04142, -0.07174), (-0.06213, -0.10762), (-0.08284, -0.14349), (-0.10355, -0.17936), (-0.12426, -0.21523), (-0.14497, -0.2511), (-0.16569, -0.28698), (-0.1864, -0.32285), (-0.20711, -0.35872), (-0.22995, -0.34593), (-0.25312, -0.33373), (-0.2766, -0.32216), (-0.30037, -0.3112), (-0.32443, -0.30086), (-0.34874, -0.29117), (-0.3733, -0.2821), (-0.39809, -0.27369), (-0.42309, -0.26592), (-0.44829, -0.25882), (-0.40346, -0.23294), (-0.35863, -0.20706), (-0.3138, -0.18117), (-0.26897, -0.15529), (-0.22414, -0.12941), (-0.17932, -0.10353), (-0.13449, -0.07765), (-0.08966, -0.05176), (-0.04483, -0.02588)}, {(0, 0), (0.02071, -0.03587), (0.04142, -0.07174), (0.06213, -0.10762), (0.08284, -0.14349), (0.10355, -0.17936), (0.12426, -0.21523), (0.14497, -0.2511), (0.16569, -0.28698), (0.1864, -0.32285), (0.2071, -0.35872), (0.18461, -0.37211), (0.16246, -0.38607), (0.1407, -0.40062), (0.11932, -0.41573), (0.09834, -0.43139), (0.07779, -0.4476), (0.05766, -0.46434), (0.03798, -0.4816), (0.01875, -0.49937), (0, -0.51764), (0, -0.46587), (0, -0.41411), (0, -0.36235), (0, -0.31058), (0, -0.25882), (0, -0.20706), (0, -0.15529), (0, -0.10353), (0, -0.05176)}}
coxeter01 = Sequence(Polygon[cox0(k)], k, 1, 6)
coxeter02 = Sequence(Polygon[cox0(k)], k, 7, 12)
cox: {{(0, 0), (0.04142, 0), (0.08284, 0), (0.12426, 0), (0.16569, 0), (0.20711, 0), (0.24853, 0), (0.28995, 0), (0.33137, 0), (0.37279, 0), (0.41421, 0), (0.41456, 0.02618), (0.41558, 0.05234), (0.4173, 0.07846), (0.41969, 0.10453), (0.42277, 0.13053), (0.42653, 0.15643), (0.43096, 0.18224), (0.43607, 0.20791), (0.44184, 0.23345), (0.44829, 0.25882), (0.40346, 0.23294), (0.35863, 0.20706), (0.3138, 0.18117), (0.26897, 0.15529), (0.22414, 0.12941), (0.17932, 0.10353), (0.13449, 0.07765), (0.08966, 0.05176), (0.04483, 0.02588)}, {(0, 0), (0.02071, 0.03587), (0.04142, 0.07174), (0.06213, 0.10762), (0.08284, 0.14349), (0.10355, 0.17936), (0.12426, 0.21523), (0.14497, 0.2511), (0.16569, 0.28698), (0.1864, 0.32285), (0.20711, 0.35872), (0.18461, 0.37211), (0.16246, 0.38607), (0.1407, 0.40062), (0.11932, 0.41573), (0.09834, 0.43139), (0.07779, 0.4476), (0.05766, 0.46434), (0.03798, 0.4816), (0.01875, 0.49937), (0, 0.51764), (0, 0.46587), (0, 0.41411), (0, 0.36235), (0, 0.31058), (0, 0.25882), (0, 0.20706), (0, 0.15529), (0, 0.10353), (0, 0.05176)}, {(0, 0), (-0.02071, 0.03587), (-0.04142, 0.07174), (-0.06213, 0.10762), (-0.08284, 0.14349), (-0.10355, 0.17936), (-0.12426, 0.21523), (-0.14497, 0.2511), (-0.16569, 0.28698), (-0.1864, 0.32285), (-0.20711, 0.35872), (-0.22995, 0.34593), (-0.25312, 0.33373), (-0.2766, 0.32216), (-0.30037, 0.3112), (-0.32443, 0.30086), (-0.34874, 0.29117), (-0.3733, 0.2821), (-0.39809, 0.27369), (-0.42309, 0.26592), (-0.44829, 0.25882), (-0.40346, 0.23294), (-0.35863, 0.20706), (-0.3138, 0.18117), (-0.26897, 0.15529), (-0.22414, 0.12941), (-0.17932, 0.10353), (-0.13449, 0.07765), (-0.08966, 0.05176), (-0.04483, 0.02588)}, {(0, 0), (-0.04142, 0), (-0.08284, 0), (-0.12426, 0), (-0.16569, 0), (-0.20711, 0), (-0.24853, 0), (-0.28995, 0), (-0.33137, 0), (-0.37279, 0), (-0.41421, 0), (-0.41456, -0.02618), (-0.41558, -0.05234), (-0.4173, -0.07846), (-0.41969, -0.10453), (-0.42277, -0.13053), (-0.42653, -0.15643), (-0.43096, -0.18224), (-0.43607, -0.20791), (-0.44184, -0.23345), (-0.44829, -0.25882), (-0.40346, -0.23294), (-0.35863, -0.20706), (-0.3138, -0.18117), (-0.26897, -0.15529), (-0.22414, -0.12941), (-0.17932, -0.10353), (-0.13449, -0.07765), (-0.08966, -0.05176), (-0.04483, -0.02588)}, {(0, 0), (-0.02071, -0.03587), (-0.04142, -0.07174), (-0.06213, -0.10762), (-0.08284, -0.14349), (-0.10355, -0.17936), (-0.12426, -0.21523), (-0.14497, -0.2511), (-0.16569, -0.28698), (-0.1864, -0.32285), (-0.20711, -0.35872), (-0.18461, -0.37211), (-0.16246, -0.38607), (-0.1407, -0.40062), (-0.11932, -0.41573), (-0.09834, -0.43139), (-0.07779, -0.4476), (-0.05766, -0.46434), (-0.03798, -0.4816), (-0.01875, -0.49937), (0, -0.51764), (0, -0.46587), (0, -0.41411), (0, -0.36235), (0, -0.31058), (0, -0.25882), (0, -0.20706), (0, -0.15529), (0, -0.10353), (0, -0.05176)}, {(0, 0), (0.02071, -0.03587), (0.04142, -0.07174), (0.06213, -0.10762), (0.08284, -0.14349), (0.10355, -0.17936), (0.12426, -0.21523), (0.14497, -0.2511), (0.16569, -0.28698), (0.1864, -0.32285), (0.2071, -0.35872), (0.22995, -0.34593), (0.25312, -0.33373), (0.2766, -0.32216), (0.30037, -0.3112), (0.32443, -0.30086), (0.34874, -0.29117), (0.3733, -0.2821), (0.39809, -0.27369), (0.42309, -0.26592), (0.44829, -0.25882), (0.40346, -0.23294), (0.35863, -0.20706), (0.3138, -0.18117), (0.26897, -0.15529), (0.22414, -0.12941), (0.17932, -0.10353), (0.13449, -0.07765), (0.08966, -0.05176), (0.04483, -0.02588)}, {(0, 0), (0.04142, 0), (0.08284, 0), (0.12426, 0), (0.16569, 0), (0.20711, 0), (0.24853, 0), (0.28995, 0), (0.33137, 0), (0.37279, 0), (0.41421, 0), (0.41456, -0.02618), (0.41558, -0.05234), (0.4173, -0.07846), (0.41969, -0.10453), (0.42277, -0.13053), (0.42653, -0.15643), (0.43096, -0.18224), (0.43607, -0.20791), (0.44184, -0.23345), (0.44829, -0.25882), (0.40346, -0.23294), (0.35863, -0.20706), (0.3138, -0.18117), (0.26897, -0.15529), (0.22414, -0.12941), (0.17932, -0.10353), (0.13449, -0.07765), (0.08966, -0.05176), (0.04483, -0.02588)}, {(0, 0), (0.02071, 0.03587), (0.04142, 0.07174), (0.06213, 0.10762), (0.08284, 0.14349), (0.10355, 0.17936), (0.12426, 0.21523), (0.14497, 0.2511), (0.16569, 0.28698), (0.1864, 0.32285), (0.20711, 0.35872), (0.22995, 0.34593), (0.25312, 0.33373), (0.2766, 0.32216), (0.30037, 0.3112), (0.32443, 0.30086), (0.34874, 0.29117), (0.3733, 0.2821), (0.39809, 0.27369), (0.42309, 0.26592), (0.44829, 0.25882), (0.40346, 0.23294), (0.35863, 0.20706), (0.3138, 0.18117), (0.26897, 0.15529), (0.22414, 0.12941), (0.17932, 0.10353), (0.13449, 0.07765), (0.08966, 0.05176), (0.04483, 0.02588)}, {(0, 0), (-0.02071, 0.03587), (-0.04142, 0.07174), (-0.06213, 0.10762), (-0.08284, 0.14349), (-0.10355, 0.17936), (-0.12426, 0.21523), (-0.14497, 0.2511), (-0.16569, 0.28698), (-0.1864, 0.32285), (-0.20711, 0.35872), (-0.18461, 0.37211), (-0.16246, 0.38607), (-0.1407, 0.40062), (-0.11932, 0.41573), (-0.09834, 0.43139), (-0.07779, 0.4476), (-0.05766, 0.46434), (-0.03798, 0.4816), (-0.01875, 0.49937), (0, 0.51764), (0, 0.46587), (0, 0.41411), (0, 0.36235), (0, 0.31058), (0, 0.25882), (0, 0.20706), (0, 0.15529), (0, 0.10353), (0, 0.05176)}, {(0, 0), (-0.04142, 0), (-0.08284, 0), (-0.12426, 0), (-0.16569, 0), (-0.20711, 0), (-0.24853, 0), (-0.28995, 0), (-0.33137, 0), (-0.37279, 0), (-0.41421, 0), (-0.41456, 0.02618), (-0.41558, 0.05234), (-0.4173, 0.07846), (-0.41969, 0.10453), (-0.42277, 0.13053), (-0.42653, 0.15643), (-0.43096, 0.18224), (-0.43607, 0.20791), (-0.44184, 0.23345), (-0.44829, 0.25882), (-0.40346, 0.23294), (-0.35863, 0.20706), (-0.3138, 0.18117), (-0.26897, 0.15529), (-0.22414, 0.12941), (-0.17932, 0.10353), (-0.13449, 0.07765), (-0.08966, 0.05176), (-0.04483, 0.02588)}, {(0, 0), (-0.02071, -0.03587), (-0.04142, -0.07174), (-0.06213, -0.10762), (-0.08284, -0.14349), (-0.10355, -0.17936), (-0.12426, -0.21523), (-0.14497, -0.2511), (-0.16569, -0.28698), (-0.1864, -0.32285), (-0.20711, -0.35872), (-0.22995, -0.34593), (-0.25312, -0.33373), (-0.2766, -0.32216), (-0.30037, -0.3112), (-0.32443, -0.30086), (-0.34874, -0.29117), (-0.3733, -0.2821), (-0.39809, -0.27369), (-0.42309, -0.26592), (-0.44829, -0.25882), (-0.40346, -0.23294), (-0.35863, -0.20706), (-0.3138, -0.18117), (-0.26897, -0.15529), (-0.22414, -0.12941), (-0.17932, -0.10353), (-0.13449, -0.07765), (-0.08966, -0.05176), (-0.04483, -0.02588)}, {(0, 0), (0.02071, -0.03587), (0.04142, -0.07174), (0.06213, -0.10762), (0.08284, -0.14349), (0.10355, -0.17936), (0.12426, -0.21523), (0.14497, -0.2511), (0.16569, -0.28698), (0.1864, -0.32285), (0.2071, -0.35872), (0.18461, -0.37211), (0.16246, -0.38607), (0.1407, -0.40062), (0.11932, -0.41573), (0.09834, -0.43139), (0.07779, -0.4476), (0.05766, -0.46434), (0.03798, -0.4816), (0.01875, -0.49937), (0, -0.51764), (0, -0.46587), (0, -0.41411), (0, -0.36235), (0, -0.31058), (0, -0.25882), (0, -0.20706), (0, -0.15529), (0, -0.10353), (0, -0.05176)}}
V0 = Intersect(hc1, Ray[(V(1) + V(p)) / 2, (0, 0)])
arcoCelda = CircumcircleArc(V(p), V0, V(1))
celda0 = Join(Sequence[Rotate[Sequence[Point[arcoCelda, s], s, 0, 0.9, 0.1], ((2 * k) * pi / p)], k, 0, p - 1])
coxeter1 = Sequence(Polygon[cox(k)], k, 1, 6)
coxeter2 = Sequence(Polygon[cox(k)], k, 7, 12)
op8 = false
pol = Polygon(celda0)
ncActual = 0
Vplus = Sequence({Vac(k), q - 1, ncActual}, k, 3, p - 1)
paleta: {{{}}, {{154, 140, 172}, {208, 202, 218}}, {{154, 140, 172}, {208, 202, 218}}, {{}}, {{204, 0, 0}, {255, 239, 213}}, {{204, 0, 0}, {255, 239, 213}}, {{154, 140, 172}, {208, 202, 218}}, {{73, 83, 152}, {167, 211, 231}, {230, 184, 47}}, {{}}, {{204, 0, 0}, {0, 204, 0}, {0, 0, 204}, {230, 230, 0}}}
nc = If(floor(p / 2) ≠ p / 2 ∧ q ≟ 3, 4, floor(q / 2) ≟ q / 2, 2, 3)
caso = 1
vert0 = Sequence({V(k), q - 1, 0}, k, 1, p)
op9 = false
op10 = false
pp = 7 (slider from 3 to 17, step 1)
qq = 3 (slider from qqMin to 17, step 1)
qqMin: 3 + floor(4 / (pp - 2))
textop: "p = " + pp + ""
textoq: "q = " + qq + ""
auto: {{{(0.44973, -0.32675), (0.43119, -0.26296), (0.4167, -0.19813), (0.40631, -0.13252), (0.40006, -0.06639), (0.39798, 0), (0.40006, 0.06639), (0.40631, 0.13252), (0.4167, 0.19813), (0.43119, 0.26296), (0.44973, 0.32675), (0.42385, 0.30795), (0.40841, 0.24751), (0.39636, 0.1863), (0.38772, 0.12452), (0.38252, 0.06236), (0.38079, 0), (0.38252, -0.06236), (0.38772, -0.12452), (0.39636, -0.1863), (0.40841, -0.24751), (0.42385, -0.30795)}, {(0.44973, 0.32675), (0.38333, 0.32883), (0.3172, 0.33508), (0.2516, 0.34547), (0.18677, 0.35996), (0.12298, 0.3785), (0.06048, 0.401), (-0.00048, 0.42738), (-0.05967, 0.45754), (-0.11684, 0.49135), (-0.17178, 0.52869), (-0.1619, 0.49827), (-0.10919, 0.46491), (-0.0547, 0.43453), (0.00138, 0.40722), (0.0589, 0.38307), (0.11767, 0.36215), (0.17751, 0.34453), (0.23824, 0.33026), (0.29966, 0.31939), (0.3616, 0.31194), (0.42385, 0.30795)}, {(-0.17178, 0.52869), (-0.19428, 0.46619), (-0.22066, 0.40522), (-0.25082, 0.34604), (-0.28463, 0.28886), (-0.32197, 0.23392), (-0.36268, 0.18144), (-0.40661, 0.13161), (-0.45358, 0.08464), (-0.50341, 0.04071), (-0.55589, 0), (-0.52391, 0), (-0.47589, 0.03982), (-0.43016, 0.08225), (-0.38686, 0.12716), (-0.34612, 0.17439), (-0.30807, 0.22382), (-0.27282, 0.27529), (-0.24048, 0.32863), (-0.21115, 0.38369), (-0.18493, 0.4403), (-0.1619, 0.49827)}, {(-0.55589, 0), (-0.50341, -0.04071), (-0.45358, -0.08464), (-0.40661, -0.13161), (-0.36268, -0.18144), (-0.32197, -0.23392), (-0.28463, -0.28886), (-0.25082, -0.34604), (-0.22066, -0.40522), (-0.19428, -0.46619), (-0.17178, -0.52869), (-0.1619, -0.49827), (-0.18493, -0.4403), (-0.21115, -0.38369), (-0.24048, -0.32863), (-0.27282, -0.27529), (-0.30807, -0.22382), (-0.34612, -0.17439), (-0.38686, -0.12716), (-0.43016, -0.08225), (-0.47589, -0.03982), (-0.52391, 0)}, {(-0.17178, -0.52869), (-0.11684, -0.49135), (-0.05967, -0.45754), (-0.00048, -0.42738), (0.06048, -0.401), (0.12298, -0.3785), (0.18677, -0.35996), (0.2516, -0.34547), (0.3172, -0.33508), (0.38333, -0.32883), (0.44973, -0.32675), (0.42385, -0.30795), (0.3616, -0.31194), (0.29966, -0.31939), (0.23824, -0.33026), (0.17751, -0.34453), (0.11767, -0.36215), (0.0589, -0.38307), (0.00138, -0.40722), (-0.0547, -0.43453), (-0.10919, -0.46491), (-0.1619, -0.49827)}}, {{(0.01294, 0.0094), (0.05144, 0.00902), (0.08995, 0.00867), (0.12846, 0.00835), (0.16696, 0.00806), (0.20547, 0.00779), (0.24397, 0.00756), (0.28248, 0.00735), (0.32098, 0.00717), (0.35949, 0.00701), (0.398, 0.00689), (0.398, -0.00677), (0.3569, -0.00689), (0.31581, -0.00704), (0.27471, -0.00723), (0.23362, -0.00745), (0.19253, -0.00769), (0.15143, -0.00797), (0.11034, -0.00828), (0.06925, -0.00862), (0.02815, -0.009), (-0.01294, -0.0094)}, {(-0.00494, 0.01521), (0.00732, 0.05171), (0.01955, 0.08823), (0.03175, 0.12475), (0.04393, 0.16128), (0.05608, 0.19782), (0.06821, 0.23437), (0.0803, 0.27092), (0.09237, 0.30749), (0.10442, 0.34406), (0.11643, 0.38065), (0.12943, 0.37643), (0.11684, 0.33731), (0.10429, 0.29817), (0.09177, 0.25903), (0.07927, 0.21988), (0.06681, 0.18073), (0.05438, 0.14156), (0.04197, 0.10238), (0.0296, 0.06319), (0.01726, 0.02399), (0.00494, -0.01521)}, {(-0.01599, 0), (-0.04692, 0.02294), (-0.07787, 0.04586), (-0.10883, 0.06875), (-0.13981, 0.09162), (-0.17081, 0.11447), (-0.20182, 0.13729), (-0.23285, 0.16009), (-0.26389, 0.18287), (-0.29496, 0.20563), (-0.32604, 0.22836), (-0.31801, 0.23941), (-0.28469, 0.21536), (-0.25135, 0.19133), (-0.218, 0.16732), (-0.18463, 0.14334), (-0.15123, 0.11939), (-0.11783, 0.09546), (-0.0844, 0.07156), (-0.05095, 0.04768), (-0.01749, 0.02383), (0.01599, 0)}, {(-0.00494, -0.01521), (-0.03632, -0.03754), (-0.06767, -0.05989), (-0.09901, -0.08226), (-0.13034, -0.10466), (-0.16165, -0.12707), (-0.19294, -0.14952), (-0.22421, -0.17198), (-0.25547, -0.19447), (-0.28671, -0.21698), (-0.31794, -0.23951), (-0.32597, -0.22846), (-0.29279, -0.20421), (-0.25964, -0.17993), (-0.2265, -0.15562), (-0.19338, -0.13129), (-0.16028, -0.10694), (-0.1272, -0.08256), (-0.09413, -0.05816), (-0.06109, -0.03373), (-0.02806, -0.00927), (0.00494, 0.01521)}, {(0.01294, -0.0094), (0.02448, -0.04614), (0.03604, -0.08287), (0.04764, -0.11959), (0.05926, -0.1563), (0.0709, -0.193), (0.08258, -0.2297), (0.09428, -0.26638), (0.10601, -0.30306), (0.11776, -0.33973), (0.12954, -0.37639), (0.11655, -0.38061), (0.10373, -0.34156), (0.09089, -0.30253), (0.07802, -0.2635), (0.06511, -0.22449), (0.05218, -0.18548), (0.03921, -0.14648), (0.02622, -0.1075), (0.0132, -0.06852), (0.00014, -0.02955), (-0.01294, 0.0094)}}}
auto0: {{{(0.44973, -0.32675), (0.43119, -0.26296), (0.4167, -0.19813), (0.40631, -0.13252), (0.40006, -0.06639), (0.39798, 0), (0.40006, 0.06639), (0.40631, 0.13252), (0.4167, 0.19813), (0.43119, 0.26296), (0.44973, 0.32675), (0.42385, 0.30795), (0.40841, 0.24751), (0.39636, 0.1863), (0.38772, 0.12452), (0.38252, 0.06236), (0.38079, 0), (0.38252, -0.06236), (0.38772, -0.12452), (0.39636, -0.1863), (0.40841, -0.24751), (0.42385, -0.30795)}, {(0.44973, 0.32675), (0.38333, 0.32883), (0.3172, 0.33508), (0.2516, 0.34547), (0.18677, 0.35996), (0.12298, 0.3785), (0.06048, 0.401), (-0.00048, 0.42738), (-0.05967, 0.45754), (-0.11684, 0.49135), (-0.17178, 0.52869), (-0.1619, 0.49827), (-0.10919, 0.46491), (-0.0547, 0.43453), (0.00138, 0.40722), (0.0589, 0.38307), (0.11767, 0.36215), (0.17751, 0.34453), (0.23824, 0.33026), (0.29966, 0.31939), (0.3616, 0.31194), (0.42385, 0.30795)}, {(-0.17178, 0.52869), (-0.19428, 0.46619), (-0.22066, 0.40522), (-0.25082, 0.34604), (-0.28463, 0.28886), (-0.32197, 0.23392), (-0.36268, 0.18144), (-0.40661, 0.13161), (-0.45358, 0.08464), (-0.50341, 0.04071), (-0.55589, 0), (-0.52391, 0), (-0.47589, 0.03982), (-0.43016, 0.08225), (-0.38686, 0.12716), (-0.34612, 0.17439), (-0.30807, 0.22382), (-0.27282, 0.27529), (-0.24048, 0.32863), (-0.21115, 0.38369), (-0.18493, 0.4403), (-0.1619, 0.49827)}, {(-0.55589, 0), (-0.50341, -0.04071), (-0.45358, -0.08464), (-0.40661, -0.13161), (-0.36268, -0.18144), (-0.32197, -0.23392), (-0.28463, -0.28886), (-0.25082, -0.34604), (-0.22066, -0.40522), (-0.19428, -0.46619), (-0.17178, -0.52869), (-0.1619, -0.49827), (-0.18493, -0.4403), (-0.21115, -0.38369), (-0.24048, -0.32863), (-0.27282, -0.27529), (-0.30807, -0.22382), (-0.34612, -0.17439), (-0.38686, -0.12716), (-0.43016, -0.08225), (-0.47589, -0.03982), (-0.52391, 0)}, {(-0.17178, -0.52869), (-0.11684, -0.49135), (-0.05967, -0.45754), (-0.00048, -0.42738), (0.06048, -0.401), (0.12298, -0.3785), (0.18677, -0.35996), (0.2516, -0.34547), (0.3172, -0.33508), (0.38333, -0.32883), (0.44973, -0.32675), (0.42385, -0.30795), (0.3616, -0.31194), (0.29966, -0.31939), (0.23824, -0.33026), (0.17751, -0.34453), (0.11767, -0.36215), (0.0589, -0.38307), (0.00138, -0.40722), (-0.0547, -0.43453), (-0.10919, -0.46491), (-0.1619, -0.49827)}}, {{(0.01294, 0.0094), (0.05144, 0.00902), (0.08995, 0.00867), (0.12846, 0.00835), (0.16696, 0.00806), (0.20547, 0.00779), (0.24397, 0.00756), (0.28248, 0.00735), (0.32098, 0.00717), (0.35949, 0.00701), (0.398, 0.00689), (0.398, -0.00677), (0.3569, -0.00689), (0.31581, -0.00704), (0.27471, -0.00723), (0.23362, -0.00745), (0.19253, -0.00769), (0.15143, -0.00797), (0.11034, -0.00828), (0.06925, -0.00862), (0.02815, -0.009), (-0.01294, -0.0094)}, {(-0.00494, 0.01521), (0.00732, 0.05171), (0.01955, 0.08823), (0.03175, 0.12475), (0.04393, 0.16128), (0.05608, 0.19782), (0.06821, 0.23437), (0.0803, 0.27092), (0.09237, 0.30749), (0.10442, 0.34406), (0.11643, 0.38065), (0.12943, 0.37643), (0.11684, 0.33731), (0.10429, 0.29817), (0.09177, 0.25903), (0.07927, 0.21988), (0.06681, 0.18073), (0.05438, 0.14156), (0.04197, 0.10238), (0.0296, 0.06319), (0.01726, 0.02399), (0.00494, -0.01521)}, {(-0.01599, 0), (-0.04692, 0.02294), (-0.07787, 0.04586), (-0.10883, 0.06875), (-0.13981, 0.09162), (-0.17081, 0.11447), (-0.20182, 0.13729), (-0.23285, 0.16009), (-0.26389, 0.18287), (-0.29496, 0.20563), (-0.32604, 0.22836), (-0.31801, 0.23941), (-0.28469, 0.21536), (-0.25135, 0.19133), (-0.218, 0.16732), (-0.18463, 0.14334), (-0.15123, 0.11939), (-0.11783, 0.09546), (-0.0844, 0.07156), (-0.05095, 0.04768), (-0.01749, 0.02383), (0.01599, 0)}, {(-0.00494, -0.01521), (-0.03632, -0.03754), (-0.06767, -0.05989), (-0.09901, -0.08226), (-0.13034, -0.10466), (-0.16165, -0.12707), (-0.19294, -0.14952), (-0.22421, -0.17198), (-0.25547, -0.19447), (-0.28671, -0.21698), (-0.31794, -0.23951), (-0.32597, -0.22846), (-0.29279, -0.20421), (-0.25964, -0.17993), (-0.2265, -0.15562), (-0.19338, -0.13129), (-0.16028, -0.10694), (-0.1272, -0.08256), (-0.09413, -0.05816), (-0.06109, -0.03373), (-0.02806, -0.00927), (0.00494, 0.01521)}, {(0.01294, -0.0094), (0.02448, -0.04614), (0.03604, -0.08287), (0.04764, -0.11959), (0.05926, -0.1563), (0.0709, -0.193), (0.08258, -0.2297), (0.09428, -0.26638), (0.10601, -0.30306), (0.11776, -0.33973), (0.12954, -0.37639), (0.11655, -0.38061), (0.10373, -0.34156), (0.09089, -0.30253), (0.07802, -0.2635), (0.06511, -0.22449), (0.05218, -0.18548), (0.03921, -0.14648), (0.02622, -0.1075), (0.0132, -0.06852), (0.00014, -0.02955), (-0.01294, 0.0094)}}}
autodual1 = Sequence(Polygon[auto(1, k)], k, 1, 5)
autodual2 = Sequence(Polygon[auto(2, k)], k, 1, 5)
autodual01 = Sequence(Polygon[auto0(1, k)], k, 1, 5)
autodual02 = Sequence(Polygon[auto0(2, k)], k, 1, 5)
test2 = false
Vac2' = Flatten(Join[{{Vac \ {Vac(1), Vac(2)}}, {Vac(1), Vac(2)}}])
Vacp' = Flatten(Join[{{Vac(p - 1), Vac(p)}, {Vac \ {Vac(p - 1), Vac(p)}}}])
Export_1: (-1, -1)
Export_2: (1, 1)
textonc: "Chromatic number = " + nc + "
(" + (If[nc ≟ 2, "q even", nc ≟ 4, "q = 3 and p odd", q ≟ 3, "q = 3 and p even", "q > 3 and odd"]) + ", like:)"
panel: {Polygon[(1.4, -2), (3, -2), (3, 2), (1.4, 2)]}
vuelta = 1
vueltaS = 0
texto2: "Chromatic number: " + nc + ""
texto1: "Copy:  " + pos + "
Lap:  " + (If[pos ≟ 0, 0, vuelta]) + ""