300110011

domain: N

Properties

Primality

Prime: yes

Appears in sequences

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=15A369586
Prime numbersat n=16258003