31111111

Appears in sequences

• Triangle read by rows: row n lists partitions of n-th triangular number into triangular parts.at n=12A114738
• Composite numbers with digital product = 3.at n=19A199982
• 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=21A369409
• 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=34A369409