311101
domain: N
Appears in sequences
- Smallest positive integer such that n iterations of A073846 are required to reach an even number.at n=16A263570
- Irregular triangle read by rows: T(0, 0) = 2; T(i, j) is the j-th term in the least maximal chain of composites that is longer than the (i-1)-st least maximal chain of composites, where i>0.at n=49A271363
- Irregular triangle read by rows: row n lists all of the distinct derivable strings in the MIU formal system that are n characters long.at n=39A369173
- Irregular triangle read by rows: row n lists the lines of a "normal" proof (see comments) for the MIU formal system string (theorem) given by A369173(n+1).at n=22A369409