300100
domain: N
Appears in sequences
- Fibonacci sequence beginning 0, 4.at n=25A022087
- s(k)-s(j), where the pairs (k,j) are given by A205877 and A205878, and s(k) denotes the (k+1)-st Fibonacci number.at n=33A205879
- 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=24A369173
- Irregular triangle read by rows: row n lists the lines of the shortest proof for the MIU formal system string (theorem) given by A369173(n+1).at n=18A369586