A: (-8, 4)
f = OrthogonalLine(A, xAxis)
B = Point(f)
C = (8, 4)
g = Line(C, f)
h = Segment(A, C)
i = Line(B, h)
D = Intersect(i, g)
v1, a, b, d, c = Polygon(A, B, D, C)
E = Midpoint(A, C)
F = Midpoint(B, D)
G = Midpoint(E, C)
H = Midpoint(A, E)
I = Midpoint(B, F)
J = Midpoint(F, D)
K = Midpoint(A, B)
L = Midpoint(C, D)
j = Segment(K, L)
k = Segment(G, J)
l = Segment(E, F)
m = Segment(H, I)
Strich1: PolyLine[(1.8032E1,-2.4100E0), (1.8032E1,-2.4100E0), (�,�), (1.8054E1,-2.3660E0), (1.7856E1,-2.1460E0), (1.7790E1,-2.0360E0), (1.7724E1,-1.9480E0), (1.7658E1,-1.9040E0), (1.7614E1,-1.8380E0), (1.7548E1,-1.7940E0), (1.7504E1,-1.7280E0), (1.7394E1,-1.6620E0), (1.7306E1,-1.5960E0), (1.7240E1,-1.5300E0), (1.7196E1,-1.4640E0), (1.7130E1,-1.4200E0), (1.7086E1,-1.3540E0), (1.6932E1,-1.2440E0), (1.6822E1,-1.1780E0), (1.6756E1,-1.1560E0), (1.6690E1,-1.1120E0), (1.6624E1,-1.0900E0), (1.6558E1,-1.0680E0), (1.6492E1,-1.0240E0), (1.6426E1,-1.0020E0), (1.6360E1,-9.5800E-1), (1.6294E1,-9.1400E-1), (1.6228E1,-8.4800E-1), (1.6162E1,-8.2600E-1), (1.6096E1,-8.0400E-1), (1.6030E1,-7.6000E-1), (1.5964E1,-7.3800E-1), (1.5898E1,-6.9400E-1), (1.5832E1,-6.5000E-1), (1.5722E1,-6.0600E-1), (1.5546E1,-5.4000E-1), (1.5436E1,-5.1800E-1), (1.5370E1,-4.7400E-1), (1.5304E1,-4.5200E-1), (1.5238E1,-4.3000E-1), (1.5150E1,-4.3000E-1), (1.5084E1,-4.0800E-1), (1.4996E1,-4.0800E-1), (1.4930E1,-3.8600E-1), (1.4864E1,-3.6400E-1), (1.4776E1,-3.6400E-1), (1.4710E1,-3.8600E-1), (1.4622E1,-3.8600E-1), (1.4512E1,-4.0800E-1), (1.4424E1,-4.5200E-1), (1.4358E1,-4.7400E-1), (1.4292E1,-5.1800E-1), (1.4226E1,-5.4000E-1), (1.4072E1,-6.2800E-1), (1.3962E1,-7.1600E-1), (1.3896E1,-7.6000E-1), (1.3830E1,-8.2600E-1), (1.3764E1,-8.7000E-1), (1.3698E1,-9.3600E-1), (1.3632E1,-9.8000E-1), (1.3566E1,-1.0460E0), (1.3500E1,-1.0900E0), (1.3434E1,-1.1560E0), (1.3368E1,-1.2000E0), (1.3302E1,-1.2440E0), (1.3258E1,-1.3100E0), (1.3192E1,-1.3540E0), (1.3126E1,-1.4200E0), (1.3082E1,-1.4860E0), (1.3038E1,-1.5520E0), (1.2972E1,-1.6180E0), (1.2906E1,-1.6840E0), (1.2862E1,-1.7500E0), (1.2840E1,-1.8160E0), (1.2796E1,-1.8820E0), (1.2730E1,-1.9480E0), (1.2620E1,-2.0800E0), (1.2554E1,-2.2120E0), (1.2510E1,-2.2780E0), (1.2466E1,-2.3440E0), (1.2290E1,-2.6080E0), (1.2224E1,-2.7400E0), (1.2092E1,-2.9380E0), (1.2026E1,-3.0700E0), (1.2004E1,-3.1360E0), (1.1960E1,-3.2020E0), (1.1828E1,-3.4000E0), (1.1762E1,-3.5320E0), (1.1718E1,-3.6200E0), (1.1696E1,-3.7300E0), (1.1674E1,-3.7960E0), (1.1630E1,-3.8620E0), (1.1586E1,-3.9280E0), (1.1542E1,-4.0160E0), (1.1520E1,-4.1260E0), (1.1498E1,-4.1920E0), (1.1476E1,-4.2580E0), (1.1476E1,-4.3460E0), (�,�), true]
Strich2: PolyLine[(1.3896E1,-4.2360E0), (1.3896E1,-4.2360E0), (�,�), (1.3896E1,-4.2360E0), (1.3940E1,-4.3020E0), (1.4006E1,-4.3240E0), (1.4072E1,-4.3460E0), (1.4138E1,-4.3900E0), (1.4204E1,-4.4560E0), (1.4534E1,-4.6760E0), (1.4688E1,-4.7860E0), (1.4798E1,-4.8740E0), (1.4864E1,-4.9400E0), (1.4952E1,-5.0280E0), (1.5062E1,-5.0940E0), (1.5128E1,-5.1380E0), (1.5172E1,-5.2040E0), (1.5238E1,-5.2260E0), (1.5304E1,-5.2920E0), (1.5436E1,-5.3800E0), (1.5568E1,-5.4680E0), (1.5634E1,-5.4900E0), (1.5700E1,-5.5340E0), (1.5788E1,-5.5560E0), (1.6030E1,-5.6440E0), (1.6162E1,-5.6880E0), (1.6426E1,-5.7980E0), (1.6558E1,-5.8420E0), (1.6624E1,-5.8860E0), (1.6712E1,-5.8860E0), (1.6778E1,-5.9080E0), (1.6844E1,-5.9300E0), (1.6932E1,-5.9300E0), (1.7020E1,-5.9520E0), (1.7130E1,-5.9960E0), (1.7218E1,-5.9740E0), (1.7306E1,-5.9740E0), (1.7394E1,-5.9300E0), (1.7504E1,-5.9080E0), (1.7570E1,-5.8860E0), (1.7636E1,-5.8640E0), (1.7702E1,-5.8200E0), (1.7768E1,-5.7980E0), (1.7834E1,-5.7540E0), (1.7900E1,-5.7100E0), (1.8032E1,-5.6220E0), (1.8164E1,-5.5560E0), (1.8208E1,-5.4900E0), (1.8274E1,-5.4460E0), (1.8318E1,-5.3800E0), (1.8384E1,-5.3360E0), (1.8450E1,-5.2260E0), (1.8516E1,-5.1380E0), (1.8582E1,-5.0940E0), (1.8604E1,-5.0280E0), (1.8648E1,-4.9620E0), (1.8692E1,-4.8960E0), (1.8780E1,-4.7860E0), (1.9088E1,-4.3460E0), (1.9198E1,-4.2140E0), (1.9220E1,-4.1480E0), (1.9264E1,-4.0820E0), (1.9308E1,-4.0160E0), (1.9330E1,-3.9500E0), (1.9374E1,-3.8840E0), (1.9396E1,-3.8180E0), (1.9440E1,-3.7520E0), (1.9462E1,-3.6860E0), (1.9484E1,-3.6200E0), (1.9528E1,-3.5540E0), (1.9550E1,-3.4880E0), (1.9594E1,-3.4220E0), (1.9638E1,-3.3560E0), (1.9660E1,-3.2900E0), (1.9704E1,-3.2240E0), (1.9792E1,-3.1140E0), (1.9902E1,-3.0260E0), (1.9968E1,-2.9600E0), (2.0012E1,-2.8940E0), (2.0078E1,-2.8500E0), (2.0100E1,-2.7840E0), (2.0144E1,-2.7180E0), (2.0188E1,-2.6520E0), (2.0232E1,-2.5420E0), (2.0298E1,-2.4540E0), (2.0320E1,-2.3880E0), (2.0364E1,-2.3220E0), (2.0386E1,-2.2120E0), (2.0430E1,-2.1240E0), (2.0452E1,-2.0580E0), (2.0430E1,-2.1240E0), (2.0408E1,-2.1900E0), (2.0364E1,-2.2560E0), (2.0320E1,-2.3220E0), (2.0298E1,-2.3880E0), (2.0232E1,-2.4540E0), (�,�), true]
M = (NaN, NaN)
N = (NaN, NaN)
Segment(M, N)
O = (NaN, NaN)
P = (NaN, NaN)
Segment(O, P)
Q = (NaN, NaN)
R = (NaN, NaN)
Segment(Q, R)
S = (NaN, NaN)
T = (NaN, NaN)
Segment(S, T)
U = (NaN, NaN)
V = (NaN, NaN)
Segment(U, V)
W = (NaN, NaN)
Z = (NaN, NaN)
Segment(W, Z)
A_1 = (NaN, NaN)
B_1 = (NaN, NaN)
Segment(A_1, B_1)
C_1 = (NaN, NaN)
D_1 = (NaN, NaN)
Segment(C_1, D_1)
p = Function({0.344, 13.698, 3.398, 3.31, 3.332, 3.354, 3.321, 3.288, 3.2733333333333263, 3.2586666666666595, 3.244, 3.2293333333333263, 3.2146666666666603, 3.2, 3.167, 3.134, 3.068, 3.002, 2.914, 2.848, 2.815, 2.782, 2.767333333333328, 2.7526666666666615, 2.738, 2.716, 2.694, 2.672, 2.639, 2.606, 2.452, 2.386, 2.353, 2.32, 2.287, 2.254, 2.221, 2.188, 2.166, 2.144, 2.122, 2.056, 2.023, 1.99, 1.957, 1.924, 1.858, 1.792, 1.759, 1.726, 1.66, 1.6453333333333309, 1.6306666666666645, 1.616, 1.55, 1.5353333333333312, 1.5206666666666646, 1.506, 1.44, 1.4253333333333316, 1.410666666666665, 1.396, 1.363, 1.33, 1.315333333333332, 1.3006666666666653, 1.286, 1.253, 1.22, 1.154, 1.121, 1.088, 1.022, 0.956, 0.89, 0.857, 0.824, 0.8093333333333333, 0.7946666666666666, 0.78, 0.747, 0.714, 0.681, 0.648, 0.6333333333333337, 0.6186666666666671, 0.604, 0.571, 0.538, 0.505, 0.472, 0.439, 0.406, 0.34, 0.32533333333333464, 0.310666666666668, 0.296, 0.263, 0.23, 0.21533333333333493, 0.2006666666666683, 0.186, 0.153, 0.12, 0.10533333333333521, 0.09066666666666857, 0.076, 0.043, 0.01, -0.004666666666664494, -0.01933333333333112, -0.034, -0.067, -0.1, -0.133, -0.166, -0.17333333333333067, -0.180666666666664, -0.188, -0.221, -0.254, -0.2686666666666638, -0.2833333333333304, -0.298, -0.331, -0.364, -0.3713333333333302, -0.37866666666666343, -0.386, -0.3915, -0.397, -0.4025, -0.408, -0.41533333333333, -0.42266666666666336, -0.43, -0.43733333333333, -0.44466666666666327, -0.452, -0.45933333333333, -0.46666666666666323, -0.474, -0.474, -0.474, -0.474, -0.474, -0.48133333333332984, -0.4886666666666632, -0.496, -0.496, -0.496, -0.496, -0.496, -0.5033333333333299, -0.5106666666666632, -0.518, -0.5106666666666632, -0.5033333333333299, -0.496, -0.496, -0.496, -0.496, -0.496, -0.496, -0.496, -0.496, -0.496, -0.4886666666666632, -0.48133333333332984, -0.474, -0.474, -0.474, -0.474, -0.474, -0.46666666666666323, -0.45933333333333, -0.452, -0.452, -0.452, -0.452, -0.452, -0.44466666666666327, -0.43733333333333, -0.43, -0.43, -0.43, -0.43, -0.43, -0.41533333333333006, -0.4006666666666634, -0.386, -0.386, -0.386, -0.386, -0.386, -0.37866666666666343, -0.3713333333333302, -0.364, -0.3566666666666635, -0.3493333333333302, -0.342, -0.33466666666666356, -0.3273333333333303, -0.32, -0.30533333333333035, -0.2906666666666637, -0.276, -0.2686666666666638, -0.2613333333333305, -0.254, -0.2393333333333305, -0.2246666666666639, -0.21, -0.1953333333333306, -0.180666666666664, -0.166, -0.15133333333333074, -0.13666666666666413, -0.122, -0.10733333333333088, -0.09266666666666425, -0.078, -0.056, -0.034, -0.012, 0.0026666666666688202, 0.01733333333333545, 0.032, 0.04666666666666871, 0.06133333333333533, 0.076, 0.098, 0.12, 0.142, 0.1566666666666684, 0.17133333333333503, 0.186, 0.2006666666666683, 0.21533333333333493, 0.23, 0.24466666666666814, 0.2593333333333348, 0.274, 0.307, 0.34, 0.35466666666666785, 0.36933333333333446, 0.384, 0.417, 0.45, 0.4646666666666676, 0.4793333333333342, 0.494, 0.527, 0.56, 0.5746666666666672, 0.5893333333333338, 0.604, 0.637, 0.67, 0.6773333333333337, 0.6846666666666671, 0.692, 0.7066666666666669, 0.7213333333333335, 0.736, 0.758, 0.78, 0.802, 0.8166666666666665, 0.8313333333333333, 0.846, 0.868, 0.89, 0.912, 0.934, 0.956, 0.978, 0.9926666666666661, 1.0073333333333327, 1.022, 1.036666666666666, 1.0513333333333326, 1.066, 1.099, 1.132, 1.1466666666666656, 1.1613333333333324, 1.176, 1.1906666666666657, 1.2053333333333323, 1.22, 1.242, 1.264, 1.286, 1.3006666666666653, 1.315333333333332, 1.33, 1.3446666666666651, 1.3593333333333317, 1.374, 1.396, 1.418, 1.44, 1.4473333333333314, 1.4546666666666648, 1.462, 1.495, 1.528, 1.5426666666666646, 1.5573333333333312, 1.572, 1.605, 1.638, 1.671, 1.704, 1.7186666666666641, 1.7333333333333307, 1.748, 1.781, 1.814, 1.828666666666664, 1.8433333333333304, 1.858, 1.891, 1.924, 1.9386666666666634, 1.9533333333333303, 1.968, 1.9826666666666632, 1.99733333333333, 2.012, 2.045, 2.078, 2.092666666666663, 2.1073333333333295, 2.122, 2.155, 2.188, 2.21, 2.232, 2.254, 2.268666666666663, 2.283333333333329, 2.298, 2.32, 2.342, 2.364, 2.3786666666666623, 2.393333333333329, 2.408, 2.43, 2.452, 2.474, 2.507, 2.54, 2.554666666666662, 2.569333333333329, 2.584, 2.5986666666666616, 2.6133333333333284, 2.628, 2.661, 2.694, 2.708666666666661, 2.723333333333328, 2.738, 2.7453333333333276, 2.752666666666661, 2.76, 2.7746666666666613, 2.789333333333328, 2.804, 2.8186666666666613, 2.833333333333328, 2.848, 2.862666666666661, 2.8773333333333277, 2.892, 2.906666666666661, 2.9213333333333273, 2.936, 2.950666666666661, 2.965333333333328, 2.98, 2.9946666666666606, 3.009333333333327, 3.024, 3.0386666666666606, 3.0533333333333275, 3.068, 3.0826666666666607, 3.0973333333333266, 3.112, 3.1266666666666603, 3.1413333333333266, 3.156, 3.189, 3.222, 3.2293333333333263, 3.2366666666666597, 3.244, 3.2586666666666595, 3.2733333333333263, 3.288, 3.2953333333333266, 3.30266666666666, 3.31, 3.3246666666666598, 3.3393333333333266, 3.354, 3.361333333333326, 3.3686666666666594, 3.376, 3.383333333333326, 3.3906666666666596, 3.398, 3.4053333333333264, 3.4126666666666594, 3.42, 3.4273333333333262, 3.434666666666659, 3.442, 3.449333333333326, 3.4566666666666594, 3.464, 3.4713333333333263, 3.4786666666666597, 3.486, 3.486, 3.486, 3.486, 3.486, 3.4933333333333256, 3.500666666666659, 3.508, 3.515333333333326, 3.5226666666666593, 3.53, 3.5373333333333257, 3.544666666666659, 3.552, 3.559333333333326, 3.5666666666666593, 3.574, 3.574, 3.574, 3.574, 3.574, 3.574, 3.574, 3.574, 3.574, 3.559333333333326, 3.544666666666659, 3.53, 3.5226666666666593, 3.515333333333326, 3.508, 3.508, 3.508, 3.508, 3.508, 3.4933333333333256, 3.4786666666666597, 3.464, 3.4566666666666594, 3.449333333333326, 3.442, 3.4273333333333262, 3.4126666666666594, 3.398, 3.3906666666666596, 3.383333333333326, 3.376, 3.3686666666666594, 3.361333333333326, 3.354, 3.34666666666666, 3.3393333333333266, 3.332, 3.317333333333327, 3.30266666666666, 3.288, 3.2733333333333263, 3.2586666666666595, 3.244, 3.2366666666666597, 3.2293333333333263, 3.222, 3.2146666666666603, 3.207333333333327, 3.2, 3.1853333333333267, 3.1706666666666603, 3.156, 3.1413333333333266, 3.1266666666666603, 3.112, 3.0973333333333266, 3.0826666666666607, 3.068, 3.0533333333333275, 3.0386666666666606, 3.024, 3.009333333333327, 2.9946666666666606, 2.98, 2.947, 2.914, 2.906666666666661, 2.8993333333333275, 2.892, 2.859, 2.826, 2.811333333333328, 2.796666666666661, 2.782, 2.767333333333328, 2.7526666666666615, 2.738, 2.672, 2.65, 2.628, 2.606, 2.573, 2.54, 2.507, 2.474, 2.452, 2.43, 2.408, 2.375, 2.342, 2.309, 2.276, 2.2613333333333294, 2.2466666666666626, 2.232, 2.199, 2.166, 2.133, 2.1, 2.067, 2.034, 2.012, 1.99, 1.968, 1.935, 1.902, 1.869, 1.836, 1.803, 1.77, 1.704, 1.671, 1.638, 1.572, 1.539, 1.506, 1.484, 1.462, 1.44, 1.374, 1.341, 1.308, 1.275, 1.242, 1.176, 1.143, 1.11, 1.077, 1.044, 1.011, 0.978, 0.945, 0.912, 0.8973333333333331, 0.8826666666666664, 0.868, 0.835, 0.802, 0.7873333333333333, 0.7726666666666667, 0.758, 0.692, 0.659, 0.626, 0.593, 0.56, 0.545333333333334, 0.5306666666666674, 0.516, 0.483, 0.45, 0.4353333333333343, 0.4206666666666677, 0.406, 0.373, 0.34, 0.318, 0.296, 0.274, 0.241, 0.208, 0.175, 0.142, 0.076, 0.01, -0.056})
E_1 = (NaN, NaN)
F_1 = (NaN, NaN)
Segment(E_1, F_1)
G_1 = (NaN, NaN)
H_1 = (NaN, NaN)
Segment(G_1, H_1)
I_1 = (NaN, NaN)
J_1 = (NaN, NaN)
Segment(I_1, J_1)
K_1 = (NaN, NaN)
L_1 = (NaN, NaN)
Segment(K_1, L_1)
M_1 = (NaN, NaN)
N_1 = (NaN, NaN)
Segment(M_1, N_1)
O_1 = (NaN, NaN)
P_1 = (NaN, NaN)
Segment(O_1, P_1)
Q_1 = (1.8197245489521194, -2.099647240760349)
R_1 = (4.108219879506773, -2.099647240760349)
S_1 = (NaN, NaN)
T_1 = (NaN, NaN)
Segment(S_1, T_1)
U_1 = (NaN, NaN)
V_1 = (NaN, NaN)
Segment(U_1, V_1)
W_1 = (NaN, NaN)
Z_1 = (NaN, NaN)
Segment(W_1, Z_1)
A_2 = (NaN, NaN)
B_2 = (NaN, NaN)
Segment(A_2, B_2)
C_2 = (NaN, NaN)
D_2 = (NaN, NaN)
Segment(C_2, D_2)
E_2 = (NaN, NaN)
F_2 = (NaN, NaN)
Segment(E_2, F_2)
G_2 = (NaN, NaN)
H_2 = (NaN, NaN)
Segment(G_2, H_2)