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).
A369586
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).
Terms
- a(0) =31a(1) =31a(2) =311a(3) =31111a(4) =301a(5) =31a(6) =310a(7) =31a(8) =311a(9) =31a(10) =311a(11) =31111a(12) =311111111a(13) =3011111a(14) =30011a(15) =300110011a(16) =3001100110a(17) =30011110a(18) =300100a(19) =3001a(20) =31a(21) =311a(22) =31111a(23) =301a(24) =3010a(25) =31a(26) =311a(27) =31111a(28) =311111111a(29) =3011111
External references
- oeis: A369586