A = Point(xAxis)
B = Point(xAxis)
poly1, a, b, c, C = Polygon(A, B, 3.0)
d, e, f, g, h = VonKoch(C, B)
i, j, k, l, m = VonKoch(B, A)
n, p, q, r, s = VonKoch(A, C)
D = Point(b)
t, a_1, b_1, c_1, d_1 = VonKoch(C, D)
E = Intersect(g, f)
e_1, f_1, g_1, h_1, i_1 = VonKoch(D, E)
F = Point(b)
j_1, k_1, l_1, m_1, n_1 = VonKoch(E, F)
p_1, q_1, r_1, s_1, t_1 = VonKoch(F, B)
G = Point(a)
a_2, b_2, c_2, d_2, e_2 = VonKoch(B, G)
H = Intersect(l, k)
f_2, g_2, h_2, i_2, j_2 = VonKoch(G, H)
I = Point(a)
k_2, l_2, m_2, n_2, p_2 = VonKoch(H, I)
q_2, r_2, s_2, t_2, a_3 = VonKoch(I, A)
J = Point(c)
b_3, c_3, d_3, e_3, f_3 = VonKoch(A, J)
K = Intersect(r, q)
g_3, h_3, i_3, j_3, k_3 = VonKoch(J, K)
L = Point(c)
l_3, m_3, n_3, p_3, q_3 = VonKoch(K, L)
r_3, s_3, t_3, a_4, b_4 = VonKoch(L, C)
M = Point(s)
N = Point(p)
c_4, d_4, e_4, f_4, g_4 = VonKoch(M, N)
O = Intersect(a_4, t_3)
h_4, i_4, j_4, k_4, l_4 = VonKoch(N, O)
P = Point(p)
m_4, n_4, p_4, q_4, r_4 = VonKoch(O, P)
Q = Point(d)
s_4, t_4, a_5, b_5, c_5 = VonKoch(P, Q)
R = Point(d)
d_5, e_5, f_5, g_5, h_5 = VonKoch(Q, R)
S = Intersect(c_1, b_1)
i_5, j_5, k_5, l_5, m_5 = VonKoch(R, S)
T = Point(d)
n_5, p_5, q_5, r_5, s_5 = VonKoch(S, T)
U = Point(h)
t_5, a_6, b_6, c_6, d_6 = VonKoch(T, U)
V = Point(f)
e_6, f_6, g_6, h_6, i_6 = VonKoch(U, V)
W = Intersect(h_1, g_1)
j_6, k_6, l_6, m_6, n_6 = VonKoch(V, W)
Z = Point(f)
p_6, q_6, r_6, s_6, t_6 = VonKoch(W, Z)
A_1 = Point(g)
a_7, b_7, c_7, d_7, e_7 = VonKoch(Z, A_1)
B_1 = Point(g)
f_7, g_7, h_7, i_7, j_7 = VonKoch(A_1, B_1)
C_1 = Intersect(m_1, l_1)
k_7, l_7, m_7, n_7, p_7 = VonKoch(B_1, C_1)
D_1 = Point(g)
q_7, r_7, s_7, t_7, a_8 = VonKoch(C_1, D_1)
E_1 = Point(h)
b_8, c_8, d_8, e_8, f_8 = VonKoch(D_1, E_1)
F_1 = Point(e)
g_8, h_8, i_8, j_8, k_8 = VonKoch(E_1, F_1)
G_1 = Intersect(s_1, r_1)
l_8, m_8, n_8, p_8, q_8 = VonKoch(F_1, G_1)
H_1 = Point(r)
I_1 = Intersect(p_3, n_3)
r_8, s_8, t_8, a_9, b_9 = VonKoch(H_1, I_1)
J_1 = Point(r)
c_9, d_9, e_9, f_9, g_9 = VonKoch(I_1, J_1)
h_9, i_9, j_9, k_9, l_9 = VonKoch(J_1, M)
K_1 = Point(e)
m_9, n_9, p_9, q_9, r_9 = VonKoch(G_1, K_1)
L_1 = Point(e)
s_9, t_9, a_{10}, b_{10}, c_{10} = VonKoch(K_1, L_1)
M_1 = Point(i)
d_{10}, e_{10}, f_{10}, g_{10}, h_{10} = VonKoch(L_1, M_1)
N_1 = Intersect(d_2, c_2)
i_{10}, j_{10}, k_{10}, l_{10}, m_{10} = VonKoch(M_1, N_1)
O_1 = Point(i)
n_{10}, p_{10}, q_{10}, r_{10}, s_{10} = VonKoch(N_1, O_1)
P_1 = Point(k)
t_{10}, a_{11}, b_{11}, c_{11}, d_{11} = VonKoch(O_1, P_1)
Q_1 = Point(k)
e_{11}, f_{11}, g_{11}, h_{11}, i_{11} = VonKoch(P_1, Q_1)
R_1 = Intersect(i_2, h_2)
j_{11}, k_{11}, l_{11}, m_{11}, n_{11} = VonKoch(Q_1, R_1)
S_1 = Point(k)
p_{11}, q_{11}, r_{11}, s_{11}, t_{11} = VonKoch(R_1, S_1)
T_1 = Point(l)
a_{12}, b_{12}, c_{12}, d_{12}, e_{12} = VonKoch(S_1, T_1)
U_1 = Point(l)
f_{12}, g_{12}, h_{12}, i_{12}, j_{12} = VonKoch(T_1, U_1)
V_1 = Intersect(n_2, m_2)
k_{12}, l_{12}, m_{12}, n_{12}, p_{12} = VonKoch(U_1, V_1)
W_1 = Point(l)
q_{12}, r_{12}, s_{12}, t_{12}, a_{13} = VonKoch(V_1, W_1)
Z_1 = Point(l)
b_{13}, c_{13}, d_{13}, e_{13}, f_{13} = VonKoch(W_1, Z_1)
A_2 = Point(j)
g_{13}, h_{13}, i_{13}, j_{13}, k_{13} = VonKoch(Z_1, A_2)
B_2 = Intersect(t_2, s_2)
l_{13}, m_{13}, n_{13}, p_{13}, q_{13} = VonKoch(A_2, B_2)
C_2 = Point(t_2)
r_{13}, s_{13}, t_{13}, a_{14}, b_{14} = VonKoch(B_2, C_2)
D_2 = Point(j)
c_{14}, d_{14}, e_{14}, f_{14}, g_{14} = VonKoch(C_2, D_2)
E_2 = Point(n)
h_{14}, i_{14}, j_{14}, k_{14}, l_{14} = VonKoch(D_2, E_2)
F_2 = Intersect(e_3, d_3)
m_{14}, n_{14}, p_{14}, q_{14}, r_{14} = VonKoch(E_2, F_2)
G_2 = Point(n)
s_{14}, t_{14}, a_{15}, b_{15}, c_{15} = VonKoch(F_2, G_2)
H_2 = Point(q)
d_{15}, e_{15}, f_{15}, g_{15}, h_{15} = VonKoch(G_2, H_2)
I_2 = Point(q)
i_{15}, j_{15}, k_{15}, l_{15}, m_{15} = VonKoch(H_2, I_2)
J_2 = Intersect(j_3, i_3)
n_{15}, p_{15}, q_{15}, r_{15}, s_{15} = VonKoch(I_2, J_2)
K_2 = Point(q)
t_{15}, a_{16}, b_{16}, c_{16}, d_{16} = VonKoch(J_2, K_2)
L_2 = Point(r)
e_{16}, f_{16}, g_{16}, h_{16}, i_{16} = VonKoch(K_2, L_2)
j_{16}, k_{16}, l_{16}, m_{16}, n_{16} = VonKoch(L_2, H_1)

Tool: VonKoch
Point, Point
Input: A, B
Output: a, b, d, e, f

A' = Dilate(A, 0.3333333333333333, B)
B' = Dilate(B, 0.3333333333333333, A)
a = Segment(A, B')
b = Segment(A', B)
poly1, c, b', a', C = Polygon(B', A', 3.0)
d = Segment(B', C)
e = Segment(C, A')
f = Segment(B', A')