>>2229915FUCKYOUFUCKYOUFUCKYOUFUCKYOUFUCKYOUFUCKYOUFUCKYOUFUCKYOUFUCKYOUFUCKYOUFUCKYOUFUCKYOU
M[0,1] is a set of function of natural numbers to natural numbers.
M[m+1,1] is a set that has one element from each M[m,n] (n=1,2,...); M[m+1,1] is a direct product of M[m,1], M[m,2], M[m,3], ....
Element of M[m,1] also works as a function in M[0,1] that is element of element of ... element of M[m,1].
M[m,n+1] (n=1,2,...) is a set of maps from M[m,n] to M[m,n].
Element of M[m,n], m(m,n) is defined as follows. Here, a_i, b_i,f_i are elements of m(m,i) and strict structure of definition is same as m(n) map.
m(0,1) (x) := x+1
m(m,n+1) f_n f_{n-1} ...f_1 (x) := f_n^x f_{n-1}... f_1(x)
(m=0; n=1,2,... {or} m=1,2,...; n=2,3,…)
m(m+1,1) := [m(m,1),m(m,2),m(m,3),…]
m(m+1,2)[a_1,a_2,...] := [b_1,b_2,…] where b_n is defined as:
b_n f_{n-1}...f_1(x) := a_y a_{y-1}...a_n f_{n-1}…f_1(x) (y=max(x,n))
F_6(x) := m(x,2)m(x,1)(x)
F_6(x) ≈f_ζ0(x)
F_6 := F^{63}_6(3)