OFFSET
1,3
COMMENTS
The binary representation of the deep factorization of n, A300560, is obtained by recursively replacing any factor prime(i)^e_i by the expression [i [e_i]], and finally taking '[' and ']' as binary digits 1 and 0.
This always ends in trailing 0's which can be safely removed without loss of information; then there is a final binary digit 1 that can also be dropped. The result is a(n), in binary, equal to A300563(n) when converted to decimal.
The initial a(1) = 0 results from the empty factorization of 1.
To reconstruct the deep factorization of n > 1, append a digit 1 and then as many 0's (namely: A145037(a(n))+1) as to have the same number of as 1's.
FORMULA
a(n) = A007088(A300563(n)), see there for an expression in terms of A300560. - M. F. Hasler, Mar 16 2018
EXAMPLE
The first term a(1) = 0 represents, by convention, the empty factorization of the number 1.
To reconstruct the full deep factorization A300560(n), append a digit 1 and then as many 0's as to balance the number of 1's:
a(2) = 1, append a 1 => 11; append two 0's => 1100 = A300560(2).
a(3) = 11100, append a 1 => 111001; append two 0's => 11100100 = A300560(3).
a(4) = 111, append a 1 => 1111; append four 0's => 11110000 = A300560(4).
CROSSREFS
KEYWORD
nonn
AUTHOR
M. F. Hasler, Mar 08 2018
STATUS
approved