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).

A369409

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).

Terms

    a(0) =31a(1) =31a(2) =311a(3) =31111a(4) =301a(5) =31a(6) =311a(7) =31111a(8) =310a(9) =31a(10) =311a(11) =31a(12) =311a(13) =31111a(14) =311111111a(15) =3111111110a(16) =31111100a(17) =311111a(18) =31111111111a(19) =311111111110a(20) =3111111100a(21) =31111111a(22) =311101a(23) =3001a(24) =31a(25) =311a(26) =31111a(27) =311111111a(28) =3111111110a(29) =31111100

External references