User blog:Rgetar/Program demo

This is demo of work of program i'm creating. This is list of 259 ordinals, generated by it, in 5 formats. This list is result of quadruple expansion expansion of Buchholz ordinal.

Formats:
 * Computer format, used by the program itself.
 * Without infinite multipliers and without letters except φ
 * Without infinite multipliers and with letters
 * With infinite multipliers and without letters except φ
 * With infinite multipliers and with letters

Examples of format with infinite multipliers:
 * ε0ω = ωε0 + 1
 * ε02 = ωε02
 * ε0ε0 = ωω ε02
 * Ωω = ωΩ + 1
 * Ω2 = ωΩ2
 * ΩΩ = ωω Ω2

Letters:
 * ωX = φ(X), where φ is Veblen function
 * εX = φ(1, X), where φ is Veblen function
 * ζX = φ(2, X), where φ is Veblen function
 * ΑX = φ(ω, X), where φ is Veblen function, "Α" is capital Alpha
 * ΒX = φ(ε0, X), where φ is Veblen function, "Β" is capital Beta
 * ΓX = φ(1, 0, X), where φ is Veblen function
 * ΔX = φ(1, 0, 0, X), where φ is Veblen function
 * vX = (1 @ ω, X @ 0), where (...) is Schutte Klammersymbolen
 * VX is X-th (beginning from 0-th) ordinal α such as α = (1 @ α), where (...) is Schutte Klammersymbolen
 * HX is defined similar way as previous letters, but now H0 is Bachmann-Howard ordinal.
 * Ω is least uncountable cardinal
 * ΩX, where X > 1, is X-th infinite cardinal
 * φ(X) is Veblen-like collapsing function.

Designations ΑX, ΒX, ΔX, vX, VX, HX, φ(X) are made up by me.

Computer format
 1 1+1 1+1+1 </li> <li style="list-style-type: none">+1</li> <li style="list-style-type: none">+1+1</li> <li style="list-style-type: none">+1+1+1</li> </ul></ul><li style="list-style-type: none">+</li> <li style="list-style-type: none">++1</li> <li style="list-style-type: none">++1+1</li> </ul><li style="list-style-type: none">++</li> <li style="list-style-type: none">+++1</li> <li style="list-style-type: none">+++</li> </ul></ul><li style="list-style-type: none">(1)</li> <li style="list-style-type: none">(1)+1</li> <li style="list-style-type: none">(1)+1+1</li> </ul><li style="list-style-type: none">(1)+</li> <li style="list-style-type: none">(1)++1</li> <li style="list-style-type: none">(1)++</li> </ul><li style="list-style-type: none">(1)+(1)</li> <li style="list-style-type: none">(1)+(1)+1</li> <li style="list-style-type: none">(1)+(1)+</li> <li style="list-style-type: none">(1)+(1)+(1)</li> </ul><li style="list-style-type: none">(1+1)</li> <li style="list-style-type: none">(1+1)+1</li> <li style="list-style-type: none">(1+1)+</li> <li style="list-style-type: none">(1+1)+(1)</li> <li style="list-style-type: none">(1+1)+(1+1)</li> <li style="list-style-type: none">(1+1+1)</li> </ul></ul><li style="list-style-type: none">()</li> <li style="list-style-type: none">()+1</li> <li style="list-style-type: none">()+1+1</li> </ul><li style="list-style-type: none">()+</li> <li style="list-style-type: none">()++1</li> <li style="list-style-type: none">()++</li> <li style="list-style-type: none">()+(1)</li> </ul><li style="list-style-type: none">()+()</li> <li style="list-style-type: none">()+()+1</li> <li style="list-style-type: none">()+()+</li> <li style="list-style-type: none">()+()+()</li> </ul><li style="list-style-type: none">(+1)</li> <li style="list-style-type: none">(+1)+1</li> <li style="list-style-type: none">(+1)+</li> <li style="list-style-type: none">(+1)+()</li> <li style="list-style-type: none">(+1)+(+1)</li> <li style="list-style-type: none">(+1+1)</li> </ul><li style="list-style-type: none">(+)</li> <ul><li style="list-style-type: none">(+)+1</li> <li style="list-style-type: none">(+)+</li> <li style="list-style-type: none">(+)+()</li> <li style="list-style-type: none">(+)+(+)</li> <li style="list-style-type: none">(++1)</li> <li style="list-style-type: none">(++)</li> </ul><li style="list-style-type: none">((1))</li> <ul><li style="list-style-type: none">((1))+1</li> <li style="list-style-type: none">((1))+</li> <li style="list-style-type: none">((1))+((1))</li> <li style="list-style-type: none">((1)+1)</li> <li style="list-style-type: none">((1)+)</li> <li style="list-style-type: none">((1)+(1))</li> <li style="list-style-type: none">((1+1))</li> </ul><li style="list-style-type: none">(())</li> <ul><li style="list-style-type: none">(())+1</li> <li style="list-style-type: none">(())+</li> <li style="list-style-type: none">(())+()</li> <li style="list-style-type: none">(())+(())</li> <li style="list-style-type: none">(()+1)</li> <li style="list-style-type: none">(()+)</li> <li style="list-style-type: none">(()+())</li> <li style="list-style-type: none">((+1))</li> <li style="list-style-type: none">((+))</li> <li style="list-style-type: none">(((1)))</li> <li style="list-style-type: none">((()))</li> </ul></ul><li style="list-style-type: none">((1..))</li> <ul><li style="list-style-type: none">((1..))+1</li> <ul><li style="list-style-type: none">((1..))+1+1</li> </ul><li style="list-style-type: none">((1..))+</li> <ul><li style="list-style-type: none">((1..))++1</li> <li style="list-style-type: none">((1..))++</li> <li style="list-style-type: none">((1..))+(1)</li> <li style="list-style-type: none">((1..))+()</li> </ul><li style="list-style-type: none">((1..))+((1..))</li> <ul><li style="list-style-type: none">((1..))+((1..))+1</li> <li style="list-style-type: none">((1..))+((1..))+</li> <li style="list-style-type: none">((1..))+((1..))+((1..))</li> </ul><li style="list-style-type: none">(((1..))+1)</li> <ul><li style="list-style-type: none">(((1..))+1)+1</li> <li style="list-style-type: none">(((1..))+1)+</li> <li style="list-style-type: none">(((1..))+1)+((1..))</li> <li style="list-style-type: none">(((1..))+1)+(((1..))+1)</li> <li style="list-style-type: none">(((1..))+1+1)</li> <li style="list-style-type: none">(((1..))+)</li> <li style="list-style-type: none">(((1..))+((1..)))</li> <li style="list-style-type: none">((((1..))+1))</li> </ul><li style="list-style-type: none">((1..)+1)</li> <ul><li style="list-style-type: none">((1..)+1)+1</li> <li style="list-style-type: none">((1..)+1)+</li> <li style="list-style-type: none">((1..)+1)+((1..))</li> <li style="list-style-type: none">((1..)+1)+(((1..))+1)</li> <li style="list-style-type: none">((1..)+1)+((1..)+1)</li> <li style="list-style-type: none">(((1..)+1)+1)</li> <li style="list-style-type: none">((1..)+1+1)</li> </ul><li style="list-style-type: none">((1..)+)</li> <ul><li style="list-style-type: none">((1..)+)+1</li> <li style="list-style-type: none">((1..)+)+</li> <li style="list-style-type: none">((1..)+)+((1..))</li> <li style="list-style-type: none">((1..)+)+((1..)+)</li> <li style="list-style-type: none">(((1..)+)+1)</li> <li style="list-style-type: none">((1..)++1)</li> <li style="list-style-type: none">((1..)++)</li> <li style="list-style-type: none">((1..)+(1))</li> <li style="list-style-type: none">((1..)+())</li> </ul><li style="list-style-type: none">((1..)+((1..)))</li> <ul><li style="list-style-type: none">((1..)+((1..)))+1</li> <li style="list-style-type: none">((1..)+((1..)))+</li> <li style="list-style-type: none">((1..)+((1..)))+((1..))</li> <li style="list-style-type: none">((1..)+((1..)))+((1..)+)</li> <li style="list-style-type: none">((1..)+((1..)))+((1..)+((1..)))</li> <li style="list-style-type: none">(((1..)+((1..)))+1)</li> <li style="list-style-type: none">((1..)+((1..))+1)</li> <li style="list-style-type: none">((1..)+((1..))+)</li> <li style="list-style-type: none">((1..)+((1..))+((1..)))</li> <li style="list-style-type: none">((1..)+(((1..))+1))</li> <li style="list-style-type: none">((1..)+((1..)+1))</li> <li style="list-style-type: none">((1..)+((1..)+))</li> <li style="list-style-type: none">((1..)+((1..)+((1..))))</li> </ul><li style="list-style-type: none">((1..)+(1..))</li> <ul><li style="list-style-type: none">((1..)+(1..))+1</li> <li style="list-style-type: none">((1..)+(1..))+</li> <li style="list-style-type: none">((1..)+(1..))+((1..))</li> <li style="list-style-type: none">((1..)+(1..))+((1..)+(1..))</li> <li style="list-style-type: none">(((1..)+(1..))+1)</li> <li style="list-style-type: none">((1..)+((1..)+(1..))+1)</li> <li style="list-style-type: none">((1..)+(1..)+1)</li> <li style="list-style-type: none">((1..)+(1..)+)</li> <li style="list-style-type: none">((1..)+(1..)+((1..)))</li> <li style="list-style-type: none">((1..)+(1..)+((1..)+(1..)))</li> <li style="list-style-type: none">((1..)+(1..)+(1..))</li> </ul><li style="list-style-type: none">((1..1))</li> <ul><li style="list-style-type: none">((1..1))+1</li> <li style="list-style-type: none">((1..1))+</li> <li style="list-style-type: none">((1..1))+((1..1))</li> <li style="list-style-type: none">(((1..1))+1)</li> <li style="list-style-type: none">((1..1)+1)</li> <li style="list-style-type: none">((1..1)+)</li> <li style="list-style-type: none">((1..1)+((1..1)))</li> <li style="list-style-type: none">((1..1)+(1..))</li> <li style="list-style-type: none">((1..1)+(1..1))</li> <li style="list-style-type: none">((1..1+1))</li> </ul><li style="list-style-type: none">((1..))</li> <ul><li style="list-style-type: none">((1..))+1</li> <li style="list-style-type: none">((1..))+</li> <li style="list-style-type: none">((1..))+((1..))</li> <li style="list-style-type: none">((1..))+((1..))</li> <li style="list-style-type: none">(((1..))+1)</li> <li style="list-style-type: none">((1..)+((1..))+1)</li> <li style="list-style-type: none">((1..)+1)</li> <li style="list-style-type: none">((1..)+)</li> <li style="list-style-type: none">((1..)+((1..)))</li> <li style="list-style-type: none">((1..)+((1..)))</li> <li style="list-style-type: none">((1..)+(1..))</li> <li style="list-style-type: none">((1..)+(1..))</li> <li style="list-style-type: none">((1..+1))</li> <li style="list-style-type: none">((1..+))</li> <li style="list-style-type: none">((1..(1)))</li> <li style="list-style-type: none">((1..()))</li> </ul><li style="list-style-type: none">((1..((1..))))</li> <ul><li style="list-style-type: none">((1..((1..))))+1</li> <li style="list-style-type: none">((1..((1..))))+</li> <li style="list-style-type: none">((1..((1..))))+((1..))</li> <li style="list-style-type: none">((1..((1..))))+((1..))</li> <li style="list-style-type: none">((1..((1..))))+((1..((1..))))</li> <li style="list-style-type: none">(((1..((1..))))+1)</li> <li style="list-style-type: none">((1..)+((1..((1..))))+1)</li> <li style="list-style-type: none">((1..)+((1..((1..))))+1)</li> <li style="list-style-type: none">((1..((1..)))+1)</li> <li style="list-style-type: none">((1..((1..)))+)</li> <li style="list-style-type: none">((1..((1..)))+((1..)))</li> <li style="list-style-type: none">((1..((1..)))+((1..)))</li> <li style="list-style-type: none">((1..((1..)))+((1..((1..)))))</li> <li style="list-style-type: none">((1..((1..)))+(1..))</li> <li style="list-style-type: none">((1..((1..)))+(1..))</li> <li style="list-style-type: none">((1..((1..)))+(1..((1..))))</li> <li style="list-style-type: none">((1..((1..))+1))</li> <li style="list-style-type: none">((1..((1..))+))</li> <li style="list-style-type: none">((1..((1..))+((1..))))</li> <li style="list-style-type: none">((1..(((1..))+1)))</li> <li style="list-style-type: none">((1..((1..)+1)))</li> <li style="list-style-type: none">((1..((1..)+)))</li> <li style="list-style-type: none">((1..((1..)+((1..)))))</li> <li style="list-style-type: none">((1..((1..)+(1..))))</li> <li style="list-style-type: none">((1..((1..1))))</li> <li style="list-style-type: none">((1..((1..))))</li> <li style="list-style-type: none">((1..((1..((1..))))))</li> </ul><li style="list-style-type: none">((1..(1..)))</li> <ul><li style="list-style-type: none">((1..(1..)))+1</li> <li style="list-style-type: none">((1..(1..)))+</li> <li style="list-style-type: none">((1..(1..)))+((1..))</li> <li style="list-style-type: none">((1..(1..)))+((1..(1..)))</li> <li style="list-style-type: none">(((1..(1..)))+1)</li> <li style="list-style-type: none">((1..)+((1..(1..)))+1)</li> <li style="list-style-type: none">((1..)+((1..(1..)))+1)</li> <li style="list-style-type: none">((1..((1..)))+((1..(1..)))+1)</li> <li style="list-style-type: none">((1..((1..(1..))))+1)</li> <li style="list-style-type: none">((1..((1..(1..))))+)</li> <li style="list-style-type: none">((1..((1..(1..))))+((1..)))</li> <li style="list-style-type: none">((1..((1..(1..))))+((1..(1..))))</li> <li style="list-style-type: none">((1..((1..(1..))))+(1..))</li> <li style="list-style-type: none">((1..((1..(1..))))+(1..))</li> <li style="list-style-type: none">((1..((1..(1..))))+(1..((1..))))</li> <li style="list-style-type: none">((1..((1..(1..))))+(1..((1..(1..)))))</li> <li style="list-style-type: none">((1..((1..(1..)))+1))</li> <li style="list-style-type: none">((1..(1..))+1)</li> <li style="list-style-type: none">((1..(1..))+)</li> <li style="list-style-type: none">((1..(1..))+((1..)))</li> <li style="list-style-type: none">((1..(1..))+((1..(1..))))</li> <li style="list-style-type: none">((1..(1..))+(1..))</li> <li style="list-style-type: none">((1..(1..))+(1..(1..)))</li> <li style="list-style-type: none">((1..(1..)+1))</li> <li style="list-style-type: none">((1..(1..)+))</li> <li style="list-style-type: none">((1..(1..)+((1..))))</li> <li style="list-style-type: none">((1..(1..)+((1..(1..)))))</li> <li style="list-style-type: none">((1..(1..)+(1..)))</li> <li style="list-style-type: none">((1..(1..1)))</li> <li style="list-style-type: none">((1..(1..)))</li> <li style="list-style-type: none">((1..(1..((1..)))))</li> <li style="list-style-type: none">((1..(1..((1..(1..))))))</li> <li style="list-style-type: none">((1..(1..(1..))))</li> </ul><li style="list-style-type: none">((1..(1+1..)))</li> <ul><li style="list-style-type: none">((1..(1+1..)))+1</li> <li style="list-style-type: none">((1..(1+1..)))+</li> <li style="list-style-type: none">((1..(1+1..)))+((1..))</li> <li style="list-style-type: none">((1..(1+1..)))+((1..(1+1..)))</li> <li style="list-style-type: none">(((1..(1+1..)))+1)</li> <li style="list-style-type: none">((1..)+((1..(1+1..)))+1)</li> <li style="list-style-type: none">((1..(1+1..))+1)</li> <li style="list-style-type: none">((1..(1+1..))+)</li> <li style="list-style-type: none">((1..(1+1..))+((1..)))</li> <li style="list-style-type: none">((1..(1+1..))+((1..(1+1..))))</li> <li style="list-style-type: none">((1..(1+1..))+(1..))</li> <li style="list-style-type: none">((1..(1+1..))+(1..(1+1..)))</li> <li style="list-style-type: none">((1..(1..(1+1..))+1))</li> <li style="list-style-type: none">((1..(1+1..)+1))</li> <li style="list-style-type: none">((1..(1+1..)+))</li> <li style="list-style-type: none">((1..(1+1..)+((1..))))</li> <li style="list-style-type: none">((1..(1+1..)+((1..(1+1..)))))</li> <li style="list-style-type: none">((1..(1+1..)+(1..)))</li> <li style="list-style-type: none">((1..(1+1..)+(1..(1+1..))))</li> <li style="list-style-type: none">((1..(1+1..)+(1+1..)))</li> <li style="list-style-type: none">((1..(1+1..1)))</li> <li style="list-style-type: none">((1..(1+1..)))</li> <li style="list-style-type: none">((1..(1+1..((1..)))))</li> <li style="list-style-type: none">((1..(1+1..((1..(1+1..))))))</li> <li style="list-style-type: none">((1..(1+1..(1..))))</li> <li style="list-style-type: none">((1..(1+1..(1..(1+1..)))))</li> <li style="list-style-type: none">((1..(1+1..(1+1..))))</li> <li style="list-style-type: none">((1..(1+1..(1+1+1..))))</li> </ul></ul></ul></ul>(.)

Without letters except φ
<ul><li style="list-style-type: none">0</li> <ul><li style="list-style-type: none">1</li> <ul><li style="list-style-type: none">2</li> <ul><li style="list-style-type: none">3</li> </ul></ul></ul><li style="list-style-type: none">&#966;(0)</li> <ul><li style="list-style-type: none">&#966;(0) + 1</li> <ul><li style="list-style-type: none">&#966;(0) + 2</li> <ul><li style="list-style-type: none">&#966;(0) + 3</li> </ul></ul><li style="list-style-type: none">&#966;(0)2</li> <ul><li style="list-style-type: none">&#966;(0)2 + 1</li> <ul><li style="list-style-type: none">&#966;(0)2 + 2</li> </ul><li style="list-style-type: none">&#966;(0)3</li> <ul><li style="list-style-type: none">&#966;(0)3 + 1</li> <li style="list-style-type: none">&#966;(0)4</li> </ul></ul><li style="list-style-type: none">&#966;(1)</li> <ul><li style="list-style-type: none">&#966;(1) + 1</li> <ul><li style="list-style-type: none">&#966;(1) + 2</li> </ul><li style="list-style-type: none">&#966;(1) + &#966;(0)</li> <ul><li style="list-style-type: none">&#966;(1) + &#966;(0) + 1</li> <li style="list-style-type: none">&#966;(1) + &#966;(0)2</li> </ul><li style="list-style-type: none">&#966;(1)2</li> <ul><li style="list-style-type: none">&#966;(1)2 + 1</li> <li style="list-style-type: none">&#966;(1)2 + &#966;(0)</li> <li style="list-style-type: none">&#966;(1)3</li> </ul><li style="list-style-type: none">&#966;(2)</li> <ul><li style="list-style-type: none">&#966;(2) + 1</li> <li style="list-style-type: none">&#966;(2) + &#966;(0)</li> <li style="list-style-type: none">&#966;(2) + &#966;(1)</li> <li style="list-style-type: none">&#966;(2)2</li> <li style="list-style-type: none">&#966;(3)</li> </ul></ul><li style="list-style-type: none">&#966;(&#966;(0))</li> <ul><li style="list-style-type: none">&#966;(&#966;(0)) + 1</li> <ul><li style="list-style-type: none">&#966;(&#966;(0)) + 2</li> </ul><li style="list-style-type: none">&#966;(&#966;(0)) + &#966;(0)</li> <ul><li style="list-style-type: none">&#966;(&#966;(0)) + &#966;(0) + 1</li> <li style="list-style-type: none">&#966;(&#966;(0)) + &#966;(0)2</li> <li style="list-style-type: none">&#966;(&#966;(0)) + &#966;(1)</li> </ul><li style="list-style-type: none">&#966;(&#966;(0))2</li> <ul><li style="list-style-type: none">&#966;(&#966;(0))2 + 1</li> <li style="list-style-type: none">&#966;(&#966;(0))2 + &#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;(0))3</li> </ul><li style="list-style-type: none">&#966;(&#966;(0) + 1)</li> <ul><li style="list-style-type: none">&#966;(&#966;(0) + 1) + 1</li> <li style="list-style-type: none">&#966;(&#966;(0) + 1) + &#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;(0) + 1) + &#966;(&#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;(0) + 1)2</li> <li style="list-style-type: none">&#966;(&#966;(0) + 2)</li> </ul><li style="list-style-type: none">&#966;(&#966;(0)2)</li> <ul><li style="list-style-type: none">&#966;(&#966;(0)2) + 1</li> <li style="list-style-type: none">&#966;(&#966;(0)2) + &#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;(0)2) + &#966;(&#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;(0)2)2</li> <li style="list-style-type: none">&#966;(&#966;(0)2 + 1)</li> <li style="list-style-type: none">&#966;(&#966;(0)3)</li> </ul><li style="list-style-type: none">&#966;(&#966;(1))</li> <ul><li style="list-style-type: none">&#966;(&#966;(1)) + 1</li> <li style="list-style-type: none">&#966;(&#966;(1)) + &#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;(1))2</li> <li style="list-style-type: none">&#966;(&#966;(1) + 1)</li> <li style="list-style-type: none">&#966;(&#966;(1) + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;(1)2)</li> <li style="list-style-type: none">&#966;(&#966;(2))</li> </ul><li style="list-style-type: none">&#966;(&#966;(&#966;(0)))</li> <ul><li style="list-style-type: none">&#966;(&#966;(&#966;(0))) + 1</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(0))) + &#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(0))) + &#966;(&#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(0)))2</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(0)) + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(0))2)</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(0) + 1))</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(0)2))</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(1)))</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(&#966;(0))))</li> </ul></ul><li style="list-style-type: none">&#966;1(0)</li> <ul><li style="list-style-type: none">&#966;1(0) + 1</li> <ul><li style="list-style-type: none">&#966;1(0) + 2</li> </ul><li style="list-style-type: none">&#966;1(0) + &#966;(0)</li> <ul><li style="list-style-type: none">&#966;1(0) + &#966;(0) + 1</li> <li style="list-style-type: none">&#966;1(0) + &#966;(0)2</li> <li style="list-style-type: none">&#966;1(0) + &#966;(1)</li> <li style="list-style-type: none">&#966;1(0) + &#966;(&#966;(0))</li> </ul><li style="list-style-type: none">&#966;1(0)2</li> <ul><li style="list-style-type: none">&#966;1(0)2 + 1</li> <li style="list-style-type: none">&#966;1(0)2 + &#966;(0)</li> <li style="list-style-type: none">&#966;1(0)3</li> </ul><li style="list-style-type: none">&#966;(&#966;1(0) + 1)</li> <ul><li style="list-style-type: none">&#966;(&#966;1(0) + 1) + 1</li> <li style="list-style-type: none">&#966;(&#966;1(0) + 1) + &#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + 1) + &#966;1(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + 1)2</li> <li style="list-style-type: none">&#966;(&#966;1(0) + 2)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(0))</li> <li style="list-style-type: none">&#966;1(0)2</li> <li style="list-style-type: none">&#966;(&#966;(&#966;1(0) + 1))</li> </ul><li style="list-style-type: none">&#966;(&#966;1(0) + 1)</li> <ul><li style="list-style-type: none">&#966;(&#966;1(0) + 1) + 1</li> <li style="list-style-type: none">&#966;(&#966;1(0) + 1) + &#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + 1) + &#966;1(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + 1) + &#966;(&#966;1(0) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + 1)2</li> <li style="list-style-type: none">&#966;(&#966;1(0) + 1)&#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + 2)</li> </ul><li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(0))</li> <ul><li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(0)) + 1</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(0)) + &#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(0)) + &#966;1(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(0))2</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(0))&#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(0) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(0)2)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(1))</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(&#966;(0)))</li> </ul><li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0))</li> <ul><li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0)) + 1</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0)) + &#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0)) + &#966;1(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0)) + &#966;(&#966;1(0) + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0))2</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0))&#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0) + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0)2)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(&#966;1(0) + 1))</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(&#966;1(0) + 1))</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(&#966;1(0) + &#966;(0)))</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(&#966;1(0) + &#966;1(0)))</li> </ul><li style="list-style-type: none">&#966;(&#966;1(0)2)</li> <ul><li style="list-style-type: none">&#966;(&#966;1(0)2) + 1</li> <li style="list-style-type: none">&#966;(&#966;1(0)2) + &#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0)2) + &#966;1(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0)2)2</li> <li style="list-style-type: none">&#966;(&#966;1(0)2)&#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(&#966;1(0)2) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0)2 + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0)2 + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0)2 + &#966;1(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0)2 + &#966;(&#966;1(0)2))</li> <li style="list-style-type: none">&#966;(&#966;1(0)3)</li> </ul><li style="list-style-type: none">&#966;1(1)</li> <ul><li style="list-style-type: none">&#966;1(1) + 1</li> <li style="list-style-type: none">&#966;1(1) + &#966;(0)</li> <li style="list-style-type: none">&#966;1(1)2</li> <li style="list-style-type: none">&#966;(&#966;1(1) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(1) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(1) + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;1(1) + &#966;1(1))</li> <li style="list-style-type: none">&#966;(&#966;1(1) + &#966;1(0))</li> <li style="list-style-type: none">&#966;(&#966;1(1)2)</li> <li style="list-style-type: none">&#966;1(2)</li> </ul><li style="list-style-type: none">&#966;1(&#966;(0))</li> <ul><li style="list-style-type: none">&#966;1(&#966;(0)) + 1</li> <li style="list-style-type: none">&#966;1(&#966;(0)) + &#966;(0)</li> <li style="list-style-type: none">&#966;1(&#966;(0)) + &#966;1(0)</li> <li style="list-style-type: none">&#966;1(&#966;(0))2</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(&#966;(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;(0)) + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;(0)) + &#966;1(0))</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;(0)) + &#966;1(&#966;(0)))</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;(0)) + &#966;1(0))</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;(0))2)</li> <li style="list-style-type: none">&#966;1(&#966;(0) + 1)</li> <li style="list-style-type: none">&#966;1(&#966;(0)2)</li> <li style="list-style-type: none">&#966;1(&#966;(1))</li> <li style="list-style-type: none">&#966;1(&#966;(&#966;(0)))</li> </ul><li style="list-style-type: none">&#966;1(&#966;1(0))</li> <ul><li style="list-style-type: none">&#966;1(&#966;1(0)) + 1</li> <li style="list-style-type: none">&#966;1(&#966;1(0)) + &#966;(0)</li> <li style="list-style-type: none">&#966;1(&#966;1(0)) + &#966;1(0)</li> <li style="list-style-type: none">&#966;1(&#966;1(0)) + &#966;1(&#966;(0))</li> <li style="list-style-type: none">&#966;1(&#966;1(0))2</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;1(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(&#966;1(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;(0)) + &#966;1(&#966;1(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;1(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;1(0)) + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;1(0)) + &#966;1(0))</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;1(0)) + &#966;1(&#966;(0)))</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;1(0)) + &#966;1(&#966;1(0)))</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;1(0)) + &#966;1(0))</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;1(0)) + &#966;1(&#966;(0)))</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;1(0))2)</li> <li style="list-style-type: none">&#966;1(&#966;1(0) + 1)</li> <li style="list-style-type: none">&#966;1(&#966;1(0) + &#966;(0))</li> <li style="list-style-type: none">&#966;1(&#966;1(0)2)</li> <li style="list-style-type: none">&#966;1(&#966;(&#966;1(0) + 1))</li> <li style="list-style-type: none">&#966;1(&#966;(&#966;1(0) + 1))</li> <li style="list-style-type: none">&#966;1(&#966;(&#966;1(0) + &#966;(0)))</li> <li style="list-style-type: none">&#966;1(&#966;(&#966;1(0) + &#966;1(0)))</li> <li style="list-style-type: none">&#966;1(&#966;(&#966;1(0)2))</li> <li style="list-style-type: none">&#966;1(&#966;1(1))</li> <li style="list-style-type: none">&#966;1(&#966;1(&#966;(0)))</li> <li style="list-style-type: none">&#966;1(&#966;1(&#966;1(0)))</li> </ul><li style="list-style-type: none">&#966;1(&#966;1(0))</li> <ul><li style="list-style-type: none">&#966;1(&#966;1(0)) + 1</li> <li style="list-style-type: none">&#966;1(&#966;1(0)) + &#966;(0)</li> <li style="list-style-type: none">&#966;1(&#966;1(0)) + &#966;1(0)</li> <li style="list-style-type: none">&#966;1(&#966;1(0))2</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;1(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(&#966;1(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;(0)) + &#966;1(&#966;1(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;1(0)) + &#966;1(&#966;1(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;1(&#966;1(0))) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;1(&#966;1(0))) + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;1(&#966;1(0))) + &#966;1(0))</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;1(&#966;1(0))) + &#966;1(&#966;1(0)))</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;1(&#966;1(0))) + &#966;1(0))</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;1(&#966;1(0))) + &#966;1(&#966;(0)))</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;1(&#966;1(0))) + &#966;1(&#966;1(0)))</li> <li style="list-style-type: none">&#966;(&#966;1(&#966;1(&#966;1(0)))2)</li> <li style="list-style-type: none">&#966;1(&#966;1(&#966;1(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0)2 + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0)2 + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0)2 + &#966;1(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0)2 + &#966;1(&#966;1(0)))</li> <li style="list-style-type: none">&#966;(&#966;1(0)2 + &#966;1(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0)22)</li> <li style="list-style-type: none">&#966;1(&#966;1(0) + 1)</li> <li style="list-style-type: none">&#966;1(&#966;1(0) + &#966;(0))</li> <li style="list-style-type: none">&#966;1(&#966;1(0) + &#966;1(0))</li> <li style="list-style-type: none">&#966;1(&#966;1(0) + &#966;1(&#966;1(0)))</li> <li style="list-style-type: none">&#966;1(&#966;1(0)2)</li> <li style="list-style-type: none">&#966;1(&#966;1(1))</li> <li style="list-style-type: none">&#966;1(&#966;1(&#966;(0)))</li> <li style="list-style-type: none">&#966;1(&#966;1(&#966;1(0)))</li> <li style="list-style-type: none">&#966;1(&#966;1(&#966;1(&#966;1(0))))</li> <li style="list-style-type: none">&#966;1(&#966;1(0)2)</li> </ul><li style="list-style-type: none">&#966;2(0)</li> <ul><li style="list-style-type: none">&#966;2(0) + 1</li> <li style="list-style-type: none">&#966;2(0) + &#966;(0)</li> <li style="list-style-type: none">&#966;2(0) + &#966;1(0)</li> <li style="list-style-type: none">&#966;2(0)2</li> <li style="list-style-type: none">&#966;(&#966;2(0) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;2(0) + 1)</li> <li style="list-style-type: none">&#966;(&#966;11(0) + 1)</li> <li style="list-style-type: none">&#966;(&#966;11(0) + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;11(0) + &#966;1(0))</li> <li style="list-style-type: none">&#966;(&#966;11(0) + &#966;2(0))</li> <li style="list-style-type: none">&#966;(&#966;11(0) + &#966;1(0))</li> <li style="list-style-type: none">&#966;(&#966;11(0)2)</li> <li style="list-style-type: none">&#966;1(&#966;11(0) + 1)</li> <li style="list-style-type: none">&#966;1(&#966;2(0) + 1)</li> <li style="list-style-type: none">&#966;1(&#966;2(0) + &#966;(0))</li> <li style="list-style-type: none">&#966;1(&#966;2(0) + &#966;1(0))</li> <li style="list-style-type: none">&#966;1(&#966;2(0) + &#966;2(0))</li> <li style="list-style-type: none">&#966;1(&#966;2(0) + &#966;1(0))</li> <li style="list-style-type: none">&#966;1(&#966;2(0) + &#966;11(0))</li> <li style="list-style-type: none">&#966;1(&#966;2(0)2)</li> <li style="list-style-type: none">&#966;2(1)</li> <li style="list-style-type: none">&#966;2(&#966;(0))</li> <li style="list-style-type: none">&#966;2(&#966;1(0))</li> <li style="list-style-type: none">&#966;2(&#966;2(0))</li> <li style="list-style-type: none">&#966;2(&#966;1(0))</li> <li style="list-style-type: none">&#966;2(&#966;11(0))</li> <li style="list-style-type: none">&#966;2(&#966;2(0))</li> <li style="list-style-type: none">&#966;3(0)</li> </ul></ul></ul></ul>&#966;&#969;(0)

With letters
<ul><li style="list-style-type: none">0</li> <ul><li style="list-style-type: none">1</li> <ul><li style="list-style-type: none">2</li> <ul><li style="list-style-type: none">3</li> </ul></ul></ul><li style="list-style-type: none">&#969;</li> <ul><li style="list-style-type: none">&#969; + 1</li> <ul><li style="list-style-type: none">&#969; + 2</li> <ul><li style="list-style-type: none">&#969; + 3</li> </ul></ul><li style="list-style-type: none">&#969;2</li> <ul><li style="list-style-type: none">&#969;2 + 1</li> <ul><li style="list-style-type: none">&#969;2 + 2</li> </ul><li style="list-style-type: none">&#969;3</li> <ul><li style="list-style-type: none">&#969;3 + 1</li> <li style="list-style-type: none">&#969;4</li> </ul></ul><li style="list-style-type: none">&#969;2</li> <ul><li style="list-style-type: none">&#969;2 + 1</li> <ul><li style="list-style-type: none">&#969;2 + 2</li> </ul><li style="list-style-type: none">&#969;2 + &#969;</li> <ul><li style="list-style-type: none">&#969;2 + &#969; + 1</li> <li style="list-style-type: none">&#969;2 + &#969;2</li> </ul><li style="list-style-type: none">&#969;22</li> <ul><li style="list-style-type: none">&#969;22 + 1</li> <li style="list-style-type: none">&#969;22 + &#969;</li> <li style="list-style-type: none">&#969;23</li> </ul><li style="list-style-type: none">&#969;3</li> <ul><li style="list-style-type: none">&#969;3 + 1</li> <li style="list-style-type: none">&#969;3 + &#969;</li> <li style="list-style-type: none">&#969;3 + &#969;2</li> <li style="list-style-type: none">&#969;32</li> <li style="list-style-type: none">&#969;4</li> </ul></ul><li style="list-style-type: none">&#969;&#969;</li> <ul><li style="list-style-type: none">&#969;&#969; + 1</li> <ul><li style="list-style-type: none">&#969;&#969; + 2</li> </ul><li style="list-style-type: none">&#969;&#969; + &#969;</li> <ul><li style="list-style-type: none">&#969;&#969; + &#969; + 1</li> <li style="list-style-type: none">&#969;&#969; + &#969;2</li> <li style="list-style-type: none">&#969;&#969; + &#969;2</li> </ul><li style="list-style-type: none">&#969;&#969;2</li> <ul><li style="list-style-type: none">&#969;&#969;2 + 1</li> <li style="list-style-type: none">&#969;&#969;2 + &#969;</li> <li style="list-style-type: none">&#969;&#969;3</li> </ul><li style="list-style-type: none">&#969;&#969; + 1</li> <ul><li style="list-style-type: none">&#969;&#969; + 1 + 1</li> <li style="list-style-type: none">&#969;&#969; + 1 + &#969;</li> <li style="list-style-type: none">&#969;&#969; + 1 + &#969;&#969;</li> <li style="list-style-type: none">&#969;&#969; + 12</li> <li style="list-style-type: none">&#969;&#969; + 2</li> </ul><li style="list-style-type: none">&#969;&#969;2</li> <ul><li style="list-style-type: none">&#969;&#969;2 + 1</li> <li style="list-style-type: none">&#969;&#969;2 + &#969;</li> <li style="list-style-type: none">&#969;&#969;2 + &#969;&#969;</li> <li style="list-style-type: none">&#969;&#969;22</li> <li style="list-style-type: none">&#969;&#969;2 + 1</li> <li style="list-style-type: none">&#969;&#969;3</li> </ul><li style="list-style-type: none">&#969;&#969; 2 </li> <ul><li style="list-style-type: none">&#969;&#969; 2 + 1</li> <li style="list-style-type: none">&#969;&#969; 2 + &#969;</li> <li style="list-style-type: none">&#969;&#969; 2 2</li> <li style="list-style-type: none">&#969;&#969; 2 + 1 </li> <li style="list-style-type: none">&#969;&#969; 2 + &#969; </li> <li style="list-style-type: none">&#969;&#969; 22 </li> <li style="list-style-type: none">&#969;&#969; 3 </li> </ul><li style="list-style-type: none">&#969;&#969; &#969; </li> <ul><li style="list-style-type: none">&#969;&#969; &#969; + 1</li> <li style="list-style-type: none">&#969;&#969; &#969; + &#969;</li> <li style="list-style-type: none">&#969;&#969; &#969; + &#969;&#969;</li> <li style="list-style-type: none">&#969;&#969; &#969; 2</li> <li style="list-style-type: none">&#969;&#969; &#969; + 1 </li> <li style="list-style-type: none">&#969;&#969; &#969; + &#969; </li> <li style="list-style-type: none">&#969;&#969; &#969;2 </li> <li style="list-style-type: none">&#969;&#969; &#969; + 1 </li> <li style="list-style-type: none">&#969;&#969; &#969;2 </li> <li style="list-style-type: none">&#969;&#969; &#969; 2 </li> <li style="list-style-type: none">&#969;&#969; &#969; &#969; </li> </ul></ul><li style="list-style-type: none">&#949;0</li> <ul><li style="list-style-type: none">&#949;0 + 1</li> <ul><li style="list-style-type: none">&#949;0 + 2</li> </ul><li style="list-style-type: none">&#949;0 + &#969;</li> <ul><li style="list-style-type: none">&#949;0 + &#969; + 1</li> <li style="list-style-type: none">&#949;0 + &#969;2</li> <li style="list-style-type: none">&#949;0 + &#969;2</li> <li style="list-style-type: none">&#949;0 + &#969;&#969;</li> </ul><li style="list-style-type: none">&#949;02</li> <ul><li style="list-style-type: none">&#949;02 + 1</li> <li style="list-style-type: none">&#949;02 + &#969;</li> <li style="list-style-type: none">&#949;03</li> </ul><li style="list-style-type: none">&#969;&#949;0 + 1</li> <ul><li style="list-style-type: none">&#969;&#949;0 + 1 + 1</li> <li style="list-style-type: none">&#969;&#949;0 + 1 + &#969;</li> <li style="list-style-type: none">&#969;&#949;0 + 1 + &#949;0</li> <li style="list-style-type: none">&#969;&#949;0 + 12</li> <li style="list-style-type: none">&#969;&#949;0 + 2</li> <li style="list-style-type: none">&#969;&#949;0 + &#969;</li> <li style="list-style-type: none">&#949;02</li> <li style="list-style-type: none">&#969;&#969; &#949;0 + 1 </li> </ul><li style="list-style-type: none">&#949;1</li> <ul><li style="list-style-type: none">&#949;1 + 1</li> <li style="list-style-type: none">&#949;1 + &#969;</li> <li style="list-style-type: none">&#949;1 + &#949;0</li> <li style="list-style-type: none">&#949;1 + &#969;&#949;0 + 1</li> <li style="list-style-type: none">&#949;12</li> <li style="list-style-type: none">&#949;1&#969;</li> <li style="list-style-type: none">&#949;2</li> </ul><li style="list-style-type: none">&#949;&#969;</li> <ul><li style="list-style-type: none">&#949;&#969; + 1</li> <li style="list-style-type: none">&#949;&#969; + &#969;</li> <li style="list-style-type: none">&#949;&#969; + &#949;0</li> <li style="list-style-type: none">&#949;&#969;2</li> <li style="list-style-type: none">&#949;&#969;&#969;</li> <li style="list-style-type: none">&#949;&#969; + 1</li> <li style="list-style-type: none">&#949;&#969;2</li> <li style="list-style-type: none">&#949;&#969;2</li> <li style="list-style-type: none">&#949;&#969;&#969;</li> </ul><li style="list-style-type: none">&#949;&#949; 0 </li> <ul><li style="list-style-type: none">&#949;&#949; 0 + 1</li> <li style="list-style-type: none">&#949;&#949; 0 + &#969;</li> <li style="list-style-type: none">&#949;&#949; 0 + &#949;0</li> <li style="list-style-type: none">&#949;&#949; 0 + &#949;&#969;</li> <li style="list-style-type: none">&#949;&#949; 0 2</li> <li style="list-style-type: none">&#949;&#949; 0 &#969;</li> <li style="list-style-type: none">&#949;&#949; 0 + 1 </li> <li style="list-style-type: none">&#949;&#949; 0 + &#969; </li> <li style="list-style-type: none">&#949;&#949; 02 </li> <li style="list-style-type: none">&#949;&#969;&#949; 0 + 1 </li> <li style="list-style-type: none">&#949;&#949; 1 </li> <li style="list-style-type: none">&#949;&#949; &#969; </li> <li style="list-style-type: none">&#949;&#949; &#949; 0 </li> </ul><li style="list-style-type: none">&#950;0</li> <ul><li style="list-style-type: none">&#950;0 + 1</li> <li style="list-style-type: none">&#950;0 + &#969;</li> <li style="list-style-type: none">&#950;0 + &#949;0</li> <li style="list-style-type: none">&#950;02</li> <li style="list-style-type: none">&#950;0&#969;</li> <li style="list-style-type: none">&#949;&#950; 0 + 1 </li> <li style="list-style-type: none">&#950;1</li> <li style="list-style-type: none">&#950;&#969;</li> <li style="list-style-type: none">&#950;&#949; 0 </li> <li style="list-style-type: none">&#950;&#950; 0 </li> <li style="list-style-type: none">&#951;0</li> </ul><li style="list-style-type: none">&#913;0</li> <ul><li style="list-style-type: none">&#913;0 + 1</li> <li style="list-style-type: none">&#913;0 + &#969;</li> <li style="list-style-type: none">&#913;02</li> <li style="list-style-type: none">&#969;&#913;0 + 1</li> <li style="list-style-type: none">&#913;1</li> <li style="list-style-type: none">&#913;&#969;</li> <li style="list-style-type: none">&#913;&#913; 0 </li> <li style="list-style-type: none">&#966;(&#969;&#937; + 1 + &#937;)</li> <li style="list-style-type: none">&#966;(&#969;&#937; + 12)</li> <li style="list-style-type: none">&#966;1(2)</li> </ul><li style="list-style-type: none">&#966;1(&#969;)</li> <ul><li style="list-style-type: none">&#966;1(&#969;) + 1</li> <li style="list-style-type: none">&#966;1(&#969;) + &#969;</li> <li style="list-style-type: none">&#966;1(&#969;) + &#949;0</li> <li style="list-style-type: none">&#966;1(&#969;)2</li> <li style="list-style-type: none">&#969;&#966;1(&#969;) + 1</li> <li style="list-style-type: none">&#949;&#966; 1(&#969;) + 1 </li> <li style="list-style-type: none">&#966;(&#969;&#937; + &#969; + 1)</li> <li style="list-style-type: none">&#966;(&#969;&#937; + &#969; + &#969;)</li> <li style="list-style-type: none">&#966;(&#969;&#937; + &#969; + &#949;0)</li> <li style="list-style-type: none">&#966;(&#969;&#937; + &#969; + &#966;1(&#969;))</li> <li style="list-style-type: none">&#966;(&#969;&#937; + &#969; + &#937;)</li> <li style="list-style-type: none">&#966;(&#969;&#937; + &#969;2)</li> <li style="list-style-type: none">&#966;1(&#969; + 1)</li> <li style="list-style-type: none">&#966;1(&#969;2)</li> <li style="list-style-type: none">&#966;1(&#969;2)</li> <li style="list-style-type: none">&#966;1(&#969;&#969;)</li> </ul><li style="list-style-type: none">&#914;0</li> <ul><li style="list-style-type: none">&#914;0 + 1</li> <li style="list-style-type: none">&#914;0 + &#969;</li> <li style="list-style-type: none">&#914;0 + &#949;0</li> <li style="list-style-type: none">&#914;0 + &#966;1(&#969;)</li> <li style="list-style-type: none">&#914;02</li> <li style="list-style-type: none">&#969;&#914;0 + 1</li> <li style="list-style-type: none">&#949;&#914; 0 + 1 </li> <li style="list-style-type: none">&#966;(&#969;&#937; + &#969; + &#914;0 + 1)</li> <li style="list-style-type: none">&#914;1</li> <li style="list-style-type: none">&#914;&#969;</li> <li style="list-style-type: none">&#914;&#949; 0 </li> <li style="list-style-type: none">&#914;&#966; 1(&#969;) </li> <li style="list-style-type: none">&#914;&#914; 0 </li> <li style="list-style-type: none">&#966;(&#969;&#937; + &#949;0 + &#937;)</li> <li style="list-style-type: none">&#966;(&#969;&#937; + &#949;0 + &#969;&#937; + &#969;)</li> <li style="list-style-type: none">&#966;(&#969;&#937; + &#949;02)</li> <li style="list-style-type: none">&#966;1(&#949;0 + 1)</li> <li style="list-style-type: none">&#966;1(&#949;0 + &#969;)</li> <li style="list-style-type: none">&#966;1(&#949;02)</li> <li style="list-style-type: none">&#966;1(&#969;&#949;0 + 1)</li> <li style="list-style-type: none">&#966;1(&#949;1)</li> <li style="list-style-type: none">&#966;1(&#949;&#969;)</li> <li style="list-style-type: none">&#966;1(&#949;&#949; 0 )</li> <li style="list-style-type: none">&#966;1(&#950;0)</li> <li style="list-style-type: none">&#966;1(&#913;0)</li> <li style="list-style-type: none">&#966;1(&#966;1(&#969;))</li> <li style="list-style-type: none">&#966;1(&#914;0)</li> </ul><li style="list-style-type: none">&#915;0</li> <ul><li style="list-style-type: none">&#915;0 + 1</li> <li style="list-style-type: none">&#915;0 + &#969;</li> <li style="list-style-type: none">&#915;0 + &#949;0</li> <li style="list-style-type: none">&#915;02</li> <li style="list-style-type: none">&#969;&#915;0 + 1</li> <li style="list-style-type: none">&#949;&#915; 0 + 1 </li> <li style="list-style-type: none">&#966;(&#969;&#937; + &#969; + &#915;0 + 1)</li> <li style="list-style-type: none">&#914;&#915; 0 + 1 </li> <li style="list-style-type: none">&#966;(&#969;&#937; + &#915;0 + 1)</li> <li style="list-style-type: none">&#966;(&#969;&#937; + &#915;0 + &#969;)</li> <li style="list-style-type: none">&#966;(&#969;&#937; + &#915;0 + &#949;0)</li> <li style="list-style-type: none">&#966;(&#969;&#937; + &#915;0 + &#915;0)</li> <li style="list-style-type: none">&#966;(&#969;&#937; + &#915;0 + &#937;)</li> <li style="list-style-type: none">&#966;(&#969;&#937; + &#915;0 + &#969;&#937; + &#969;)</li> <li style="list-style-type: none">&#966;(&#969;&#937; + &#915;0 + &#969;&#937; + &#949;0)</li> <li style="list-style-type: none">&#966;(&#969;&#937; + &#915;02)</li> <li style="list-style-type: none">&#966;1(&#915;0 + 1)</li> <li style="list-style-type: none">&#915;1</li> <li style="list-style-type: none">&#915;&#969;</li> <li style="list-style-type: none">&#915;&#949; 0 </li> <li style="list-style-type: none">&#915;&#915; 0 </li> <li style="list-style-type: none">&#966;(&#937;2 + &#937;)</li> <li style="list-style-type: none">&#966;(&#937;22)</li> <li style="list-style-type: none">&#966;1(&#937; + 1)</li> <li style="list-style-type: none">&#966;1(&#937; + &#969;)</li> <li style="list-style-type: none">&#966;1(&#937; + &#949;0)</li> <li style="list-style-type: none">&#966;1(&#937; + &#915;0)</li> <li style="list-style-type: none">&#916;0</li> <li style="list-style-type: none">v0</li> <li style="list-style-type: none">&#966;1(&#969;&#937; + &#969;)</li> <li style="list-style-type: none">&#966;1(&#969;&#937; + &#949;0)</li> <li style="list-style-type: none">&#966;1(&#969;&#937; + &#915;0)</li> <li style="list-style-type: none">V0</li> </ul><li style="list-style-type: none">H0</li> <ul><li style="list-style-type: none">H0 + 1</li> <li style="list-style-type: none">H0 + &#969;</li> <li style="list-style-type: none">H0 + &#949;0</li> <li style="list-style-type: none">H02</li> <li style="list-style-type: none">&#969;H0 + 1</li> <li style="list-style-type: none">&#949;H 0 + 1 </li> <li style="list-style-type: none">H1</li> <li style="list-style-type: none">H&#969;</li> <li style="list-style-type: none">H&#949; 0 </li> <li style="list-style-type: none">HH 0 </li> <li style="list-style-type: none">&#966;(&#949;&#937; + 1 + &#937;)</li> <li style="list-style-type: none">&#966;(&#949;&#937; + 12)</li> <li style="list-style-type: none">&#966;1(&#949;&#937; + 1 + 1)</li> <li style="list-style-type: none">&#966;1(&#937;2 + 1)</li> <li style="list-style-type: none">&#966;1(&#937;2 + &#969;)</li> <li style="list-style-type: none">&#966;1(&#937;2 + &#949;0)</li> <li style="list-style-type: none">&#966;1(&#937;2 + H0)</li> <li style="list-style-type: none">&#966;1(&#937;2 + &#937;)</li> <li style="list-style-type: none">&#966;1(&#937;2 + &#949;&#937; + 1)</li> <li style="list-style-type: none">&#966;1(&#937;22)</li> <li style="list-style-type: none">&#966;2(1)</li> <li style="list-style-type: none">&#966;2(&#969;)</li> <li style="list-style-type: none">&#966;2(&#949;0)</li> <li style="list-style-type: none">&#966;2(H0)</li> <li style="list-style-type: none">&#966;2(&#937;)</li> <li style="list-style-type: none">&#966;2(&#949;&#937; + 1)</li> <li style="list-style-type: none">&#966;2(&#937;2)</li> <li style="list-style-type: none">&#966;3(0)</li> </ul></ul></ul></ul>&#966;&#969;(0)

Without letters except φ
<ul><li style="list-style-type: none">0</li> <ul><li style="list-style-type: none">1</li> <ul><li style="list-style-type: none">2</li> <ul><li style="list-style-type: none">3</li> </ul></ul></ul><li style="list-style-type: none">&#966;(0)</li> <ul><li style="list-style-type: none">&#966;(0) + 1</li> <ul><li style="list-style-type: none">&#966;(0) + 2</li> <ul><li style="list-style-type: none">&#966;(0) + 3</li> </ul></ul><li style="list-style-type: none">&#966;(0)2</li> <ul><li style="list-style-type: none">&#966;(0)2 + 1</li> <ul><li style="list-style-type: none">&#966;(0)2 + 2</li> </ul><li style="list-style-type: none">&#966;(0)3</li> <ul><li style="list-style-type: none">&#966;(0)3 + 1</li> <li style="list-style-type: none">&#966;(0)4</li> </ul></ul><li style="list-style-type: none">&#966;(1)</li> <ul><li style="list-style-type: none">&#966;(1) + 1</li> <ul><li style="list-style-type: none">&#966;(1) + 2</li> </ul><li style="list-style-type: none">&#966;(0)(&#966;(0) + 1)</li> <ul><li style="list-style-type: none">&#966;(0)(&#966;(0) + 1) + 1</li> <li style="list-style-type: none">&#966;(0)(&#966;(0) + 2)</li> </ul><li style="list-style-type: none">&#966;(1)2</li> <ul><li style="list-style-type: none">&#966;(1)2 + 1</li> <li style="list-style-type: none">&#966;(0)(&#966;(0)2 + 1)</li> <li style="list-style-type: none">&#966;(1)3</li> </ul><li style="list-style-type: none">&#966;(2)</li> <ul><li style="list-style-type: none">&#966;(2) + 1</li> <li style="list-style-type: none">&#966;(0)(&#966;(1) + 1)</li> <li style="list-style-type: none">&#966;(1)(&#966;(0) + 1)</li> <li style="list-style-type: none">&#966;(2)2</li> <li style="list-style-type: none">&#966;(3)</li> </ul></ul><li style="list-style-type: none">&#966;(&#966;(0))</li> <ul><li style="list-style-type: none">&#966;(&#966;(0)) + 1</li> <ul><li style="list-style-type: none">&#966;(&#966;(0)) + 2</li> </ul><li style="list-style-type: none">&#966;(&#966;(0)) + &#966;(0)</li> <ul><li style="list-style-type: none">&#966;(&#966;(0)) + &#966;(0) + 1</li> <li style="list-style-type: none">&#966;(&#966;(0)) + &#966;(0)2</li> <li style="list-style-type: none">&#966;(&#966;(0)) + &#966;(1)</li> </ul><li style="list-style-type: none">&#966;(&#966;(0))2</li> <ul><li style="list-style-type: none">&#966;(&#966;(0))2 + 1</li> <li style="list-style-type: none">&#966;(&#966;(0))2 + &#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;(0))3</li> </ul><li style="list-style-type: none">&#966;(&#966;(0) + 1)</li> <ul><li style="list-style-type: none">&#966;(&#966;(0) + 1) + 1</li> <li style="list-style-type: none">&#966;(&#966;(0) + 1) + &#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;(0))(&#966;(0) + 1)</li> <li style="list-style-type: none">&#966;(&#966;(0) + 1)2</li> <li style="list-style-type: none">&#966;(&#966;(0) + 2)</li> </ul><li style="list-style-type: none">&#966;(&#966;(0)2)</li> <ul><li style="list-style-type: none">&#966;(&#966;(0)2) + 1</li> <li style="list-style-type: none">&#966;(&#966;(0)2) + &#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;(0))(&#966;(&#966;(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;(0)2)2</li> <li style="list-style-type: none">&#966;(&#966;(0)2 + 1)</li> <li style="list-style-type: none">&#966;(&#966;(0)3)</li> </ul><li style="list-style-type: none">&#966;(&#966;(1))</li> <ul><li style="list-style-type: none">&#966;(&#966;(1)) + 1</li> <li style="list-style-type: none">&#966;(&#966;(1)) + &#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;(1))2</li> <li style="list-style-type: none">&#966;(&#966;(1) + 1)</li> <li style="list-style-type: none">&#966;(&#966;(0)(&#966;(0) + 1))</li> <li style="list-style-type: none">&#966;(&#966;(1)2)</li> <li style="list-style-type: none">&#966;(&#966;(2))</li> </ul><li style="list-style-type: none">&#966;(&#966;(&#966;(0)))</li> <ul><li style="list-style-type: none">&#966;(&#966;(&#966;(0))) + 1</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(0))) + &#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(0))) + &#966;(&#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(0)))2</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(0)) + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(0))2)</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(0) + 1))</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(0)2))</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(1)))</li> <li style="list-style-type: none">&#966;(&#966;(&#966;(&#966;(0))))</li> </ul></ul><li style="list-style-type: none">&#966;1(0)</li> <ul><li style="list-style-type: none">&#966;1(0) + 1</li> <ul><li style="list-style-type: none">&#966;1(0) + 2</li> </ul><li style="list-style-type: none">&#966;1(0) + &#966;(0)</li> <ul><li style="list-style-type: none">&#966;1(0) + &#966;(0) + 1</li> <li style="list-style-type: none">&#966;1(0) + &#966;(0)2</li> <li style="list-style-type: none">&#966;1(0) + &#966;(1)</li> <li style="list-style-type: none">&#966;1(0) + &#966;(&#966;(0))</li> </ul><li style="list-style-type: none">&#966;1(0)2</li> <ul><li style="list-style-type: none">&#966;1(0)2 + 1</li> <li style="list-style-type: none">&#966;1(0)2 + &#966;(0)</li> <li style="list-style-type: none">&#966;1(0)3</li> </ul><li style="list-style-type: none">&#966;1(0)&#966;(0)</li> <ul><li style="list-style-type: none">&#966;1(0)&#966;(0) + 1</li> <li style="list-style-type: none">&#966;1(0)&#966;(0) + &#966;(0)</li> <li style="list-style-type: none">&#966;1(0)(&#966;(0) + 1)</li> <li style="list-style-type: none">&#966;1(0)&#966;(0)2</li> <li style="list-style-type: none">&#966;1(0)&#966;(1)</li> <li style="list-style-type: none">&#966;1(0)&#966;(&#966;(0))</li> <li style="list-style-type: none">&#966;1(0)2</li> <li style="list-style-type: none">&#966;1(0)&#966;(0)</li> </ul><li style="list-style-type: none">&#966;(&#966;1(0) + 1)</li> <ul><li style="list-style-type: none">&#966;(&#966;1(0) + 1) + 1</li> <li style="list-style-type: none">&#966;(&#966;1(0) + 1) + &#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + 1) + &#966;1(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + 1) + &#966;1(0)&#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + 1)2</li> <li style="list-style-type: none">&#966;(&#966;1(0) + 1)&#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + 2)</li> </ul><li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(0))</li> <ul><li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(0)) + 1</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(0)) + &#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(0)) + &#966;1(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(0))2</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(0))&#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(0) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(0)2)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(1))</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(&#966;(0)))</li> </ul><li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0))</li> <ul><li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0)) + 1</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0)) + &#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0)) + &#966;1(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0)) + &#966;(&#966;1(0) + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0))2</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0))&#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0) + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0)2)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(0)&#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(&#966;1(0) + 1))</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(&#966;1(0) + &#966;(0)))</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(&#966;1(0) + &#966;1(0)))</li> </ul><li style="list-style-type: none">&#966;(&#966;1(0)2)</li> <ul><li style="list-style-type: none">&#966;(&#966;1(0)2) + 1</li> <li style="list-style-type: none">&#966;(&#966;1(0)2) + &#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0)2) + &#966;1(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0)2)2</li> <li style="list-style-type: none">&#966;(&#966;1(0)2)&#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;(&#966;1(0)2) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0)2 + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0)2 + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0)2 + &#966;1(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0)2 + &#966;(&#966;1(0)2))</li> <li style="list-style-type: none">&#966;(&#966;1(0)3)</li> </ul><li style="list-style-type: none">&#966;1(1)</li> <ul><li style="list-style-type: none">&#966;1(1) + 1</li> <li style="list-style-type: none">&#966;1(1) + &#966;(0)</li> <li style="list-style-type: none">&#966;1(1)2</li> <li style="list-style-type: none">&#966;1(1)&#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;(0) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;(0) + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;(0) + &#966;1(1))</li> <li style="list-style-type: none">&#966;(&#966;1(0)(&#966;(0) + 1))</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;(0)2)</li> <li style="list-style-type: none">&#966;1(2)</li> </ul><li style="list-style-type: none">&#966;1(&#966;(0))</li> <ul><li style="list-style-type: none">&#966;1(&#966;(0)) + 1</li> <li style="list-style-type: none">&#966;1(&#966;(0)) + &#966;(0)</li> <li style="list-style-type: none">&#966;1(&#966;(0)) + &#966;1(0)</li> <li style="list-style-type: none">&#966;1(&#966;(0))2</li> <li style="list-style-type: none">&#966;1(&#966;(0))&#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(&#966;(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;(&#966;(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;(&#966;(0)) + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;(&#966;(0)) + &#966;1(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;(&#966;(0)) + &#966;1(&#966;(0)))</li> <li style="list-style-type: none">&#966;(&#966;1(0)(&#966;(&#966;(0)) + 1))</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;(&#966;(0))2)</li> <li style="list-style-type: none">&#966;1(&#966;(0) + 1)</li> <li style="list-style-type: none">&#966;1(&#966;(0)2)</li> <li style="list-style-type: none">&#966;1(&#966;(1))</li> <li style="list-style-type: none">&#966;1(&#966;(&#966;(0)))</li> </ul><li style="list-style-type: none">&#966;1(&#966;1(0))</li> <ul><li style="list-style-type: none">&#966;1(&#966;1(0)) + 1</li> <li style="list-style-type: none">&#966;1(&#966;1(0)) + &#966;(0)</li> <li style="list-style-type: none">&#966;1(&#966;1(0)) + &#966;1(0)</li> <li style="list-style-type: none">&#966;1(&#966;1(0)) + &#966;1(&#966;(0))</li> <li style="list-style-type: none">&#966;1(&#966;1(0))2</li> <li style="list-style-type: none">&#966;1(&#966;1(0))&#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(&#966;1(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;(&#966;(0)) + &#966;1(&#966;1(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;1(0) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;1(0) + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;1(0) + &#966;1(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;1(0) + &#966;1(&#966;(0)))</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;1(0) + &#966;1(&#966;1(0)))</li> <li style="list-style-type: none">&#966;(&#966;1(0)(&#966;1(0) + 1))</li> <li style="list-style-type: none">&#966;(&#966;1(0)(&#966;1(0) + &#966;(&#966;(0))))</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;1(0)2)</li> <li style="list-style-type: none">&#966;1(&#966;1(0) + 1)</li> <li style="list-style-type: none">&#966;1(&#966;1(0) + &#966;(0))</li> <li style="list-style-type: none">&#966;1(&#966;1(0)2)</li> <li style="list-style-type: none">&#966;1(&#966;1(0)&#966;(0))</li> <li style="list-style-type: none">&#966;1(&#966;(&#966;1(0) + 1))</li> <li style="list-style-type: none">&#966;1(&#966;(&#966;1(0) + &#966;(0)))</li> <li style="list-style-type: none">&#966;1(&#966;(&#966;1(0) + &#966;1(0)))</li> <li style="list-style-type: none">&#966;1(&#966;(&#966;1(0)2))</li> <li style="list-style-type: none">&#966;1(&#966;1(1))</li> <li style="list-style-type: none">&#966;1(&#966;1(&#966;(0)))</li> <li style="list-style-type: none">&#966;1(&#966;1(&#966;1(0)))</li> </ul><li style="list-style-type: none">&#966;1(&#966;1(0))</li> <ul><li style="list-style-type: none">&#966;1(&#966;1(0)) + 1</li> <li style="list-style-type: none">&#966;1(&#966;1(0)) + &#966;(0)</li> <li style="list-style-type: none">&#966;1(&#966;1(0)) + &#966;1(0)</li> <li style="list-style-type: none">&#966;1(&#966;1(0))2</li> <li style="list-style-type: none">&#966;1(&#966;1(0))&#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;1(&#966;1(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;(&#966;(0)) + &#966;1(&#966;1(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;1(0) + &#966;1(&#966;1(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;1(&#966;1(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;1(&#966;1(0)) + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;1(&#966;1(0)) + &#966;1(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;1(&#966;1(0)) + &#966;1(&#966;1(0)))</li> <li style="list-style-type: none">&#966;(&#966;1(0)(&#966;1(&#966;1(0)) + 1))</li> <li style="list-style-type: none">&#966;(&#966;1(0)(&#966;1(&#966;1(0)) + &#966;(&#966;(0))))</li> <li style="list-style-type: none">&#966;(&#966;1(0)(&#966;1(&#966;1(0)) + &#966;1(0)))</li> <li style="list-style-type: none">&#966;(&#966;1(0)&#966;1(&#966;1(0))2)</li> <li style="list-style-type: none">&#966;1(&#966;1(&#966;1(0)) + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0)2 + 1)</li> <li style="list-style-type: none">&#966;(&#966;1(0)2 + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0)2 + &#966;1(0))</li> <li style="list-style-type: none">&#966;(&#966;1(0)2 + &#966;1(&#966;1(0)))</li> <li style="list-style-type: none">&#966;(&#966;1(0)(&#966;1(0) + 1))</li> <li style="list-style-type: none">&#966;(&#966;1(0)22)</li> <li style="list-style-type: none">&#966;1(&#966;1(0) + 1)</li> <li style="list-style-type: none">&#966;1(&#966;1(0) + &#966;(0))</li> <li style="list-style-type: none">&#966;1(&#966;1(0) + &#966;1(0))</li> <li style="list-style-type: none">&#966;1(&#966;1(0) + &#966;1(&#966;1(0)))</li> <li style="list-style-type: none">&#966;1(&#966;1(0)2)</li> <li style="list-style-type: none">&#966;1(&#966;1(0)&#966;(0))</li> <li style="list-style-type: none">&#966;1(&#966;1(0)&#966;(&#966;(0)))</li> <li style="list-style-type: none">&#966;1(&#966;1(0)&#966;1(0))</li> <li style="list-style-type: none">&#966;1(&#966;1(0)&#966;1(&#966;1(0)))</li> <li style="list-style-type: none">&#966;1(&#966;1(0)2)</li> </ul><li style="list-style-type: none">&#966;2(0)</li> <ul><li style="list-style-type: none">&#966;2(0) + 1</li> <li style="list-style-type: none">&#966;2(0) + &#966;(0)</li> <li style="list-style-type: none">&#966;2(0) + &#966;1(0)</li> <li style="list-style-type: none">&#966;2(0)2</li> <li style="list-style-type: none">&#966;2(0)&#966;(0)</li> <li style="list-style-type: none">&#966;(&#966;1(0) + &#966;2(0) + 1)</li> <li style="list-style-type: none">&#966;(&#966;11(0) + 1)</li> <li style="list-style-type: none">&#966;(&#966;11(0) + &#966;(0))</li> <li style="list-style-type: none">&#966;(&#966;11(0) + &#966;1(0))</li> <li style="list-style-type: none">&#966;(&#966;11(0) + &#966;2(0))</li> <li style="list-style-type: none">&#966;(&#966;11(0) + &#966;1(0))</li> <li style="list-style-type: none">&#966;(&#966;11(0)2)</li> <li style="list-style-type: none">&#966;1(&#966;11(0) + 1)</li> <li style="list-style-type: none">&#966;1(&#966;2(0) + 1)</li> <li style="list-style-type: none">&#966;1(&#966;2(0) + &#966;(0))</li> <li style="list-style-type: none">&#966;1(&#966;2(0) + &#966;1(0))</li> <li style="list-style-type: none">&#966;1(&#966;2(0) + &#966;2(0))</li> <li style="list-style-type: none">&#966;1(&#966;2(0) + &#966;1(0))</li> <li style="list-style-type: none">&#966;1(&#966;2(0) + &#966;11(0))</li> <li style="list-style-type: none">&#966;1(&#966;2(0)2)</li> <li style="list-style-type: none">&#966;2(1)</li> <li style="list-style-type: none">&#966;2(&#966;(0))</li> <li style="list-style-type: none">&#966;2(&#966;1(0))</li> <li style="list-style-type: none">&#966;2(&#966;2(0))</li> <li style="list-style-type: none">&#966;2(&#966;1(0))</li> <li style="list-style-type: none">&#966;2(&#966;11(0))</li> <li style="list-style-type: none">&#966;2(&#966;2(0))</li> <li style="list-style-type: none">&#966;3(0)</li> </ul></ul></ul></ul>&#966;&#969;(0)

With letters
<ul><li style="list-style-type: none">0</li> <ul><li style="list-style-type: none">1</li> <ul><li style="list-style-type: none">2</li> <ul><li style="list-style-type: none">3</li> </ul></ul></ul><li style="list-style-type: none">&#969;</li> <ul><li style="list-style-type: none">&#969; + 1</li> <ul><li style="list-style-type: none">&#969; + 2</li> <ul><li style="list-style-type: none">&#969; + 3</li> </ul></ul><li style="list-style-type: none">&#969;2</li> <ul><li style="list-style-type: none">&#969;2 + 1</li> <ul><li style="list-style-type: none">&#969;2 + 2</li> </ul><li style="list-style-type: none">&#969;3</li> <ul><li style="list-style-type: none">&#969;3 + 1</li> <li style="list-style-type: none">&#969;4</li> </ul></ul><li style="list-style-type: none">&#969;2</li> <ul><li style="list-style-type: none">&#969;2 + 1</li> <ul><li style="list-style-type: none">&#969;2 + 2</li> </ul><li style="list-style-type: none">&#969;(&#969; + 1)</li> <ul><li style="list-style-type: none">&#969;(&#969; + 1) + 1</li> <li style="list-style-type: none">&#969;(&#969; + 2)</li> </ul><li style="list-style-type: none">&#969;22</li> <ul><li style="list-style-type: none">&#969;22 + 1</li> <li style="list-style-type: none">&#969;(&#969;2 + 1)</li> <li style="list-style-type: none">&#969;23</li> </ul><li style="list-style-type: none">&#969;3</li> <ul><li style="list-style-type: none">&#969;3 + 1</li> <li style="list-style-type: none">&#969;(&#969;2 + 1)</li> <li style="list-style-type: none">&#969;2(&#969; + 1)</li> <li style="list-style-type: none">&#969;32</li> <li style="list-style-type: none">&#969;4</li> </ul></ul><li style="list-style-type: none">&#969;&#969;</li> <ul><li style="list-style-type: none">&#969;&#969; + 1</li> <ul><li style="list-style-type: none">&#969;&#969; + 2</li> </ul><li style="list-style-type: none">&#969;&#969; + &#969;</li> <ul><li style="list-style-type: none">&#969;&#969; + &#969; + 1</li> <li style="list-style-type: none">&#969;&#969; + &#969;2</li> <li style="list-style-type: none">&#969;&#969; + &#969;2</li> </ul><li style="list-style-type: none">&#969;&#969;2</li> <ul><li style="list-style-type: none">&#969;&#969;2 + 1</li> <li style="list-style-type: none">&#969;&#969;2 + &#969;</li> <li style="list-style-type: none">&#969;&#969;3</li> </ul><li style="list-style-type: none">&#969;&#969; + 1</li> <ul><li style="list-style-type: none">&#969;&#969; + 1 + 1</li> <li style="list-style-type: none">&#969;&#969; + 1 + &#969;</li> <li style="list-style-type: none">&#969;&#969;(&#969; + 1)</li> <li style="list-style-type: none">&#969;&#969; + 12</li> <li style="list-style-type: none">&#969;&#969; + 2</li> </ul><li style="list-style-type: none">&#969;&#969;2</li> <ul><li style="list-style-type: none">&#969;&#969;2 + 1</li> <li style="list-style-type: none">&#969;&#969;2 + &#969;</li> <li style="list-style-type: none">&#969;&#969;(&#969;&#969; + 1)</li> <li style="list-style-type: none">&#969;&#969;22</li> <li style="list-style-type: none">&#969;&#969;2 + 1</li> <li style="list-style-type: none">&#969;&#969;3</li> </ul><li style="list-style-type: none">&#969;&#969; 2 </li> <ul><li style="list-style-type: none">&#969;&#969; 2 + 1</li> <li style="list-style-type: none">&#969;&#969; 2 + &#969;</li> <li style="list-style-type: none">&#969;&#969; 2 2</li> <li style="list-style-type: none">&#969;&#969; 2 + 1 </li> <li style="list-style-type: none">&#969;&#969;(&#969; + 1)</li> <li style="list-style-type: none">&#969;&#969; 22 </li> <li style="list-style-type: none">&#969;&#969; 3 </li> </ul><li style="list-style-type: none">&#969;&#969; &#969; </li> <ul><li style="list-style-type: none">&#969;&#969; &#969; + 1</li> <li style="list-style-type: none">&#969;&#969; &#969; + &#969;</li> <li style="list-style-type: none">&#969;&#969; &#969; + &#969;&#969;</li> <li style="list-style-type: none">&#969;&#969; &#969; 2</li> <li style="list-style-type: none">&#969;&#969; &#969; + 1 </li> <li style="list-style-type: none">&#969;&#969; &#969; + &#969; </li> <li style="list-style-type: none">&#969;&#969; &#969;2 </li> <li style="list-style-type: none">&#969;&#969; &#969; + 1 </li> <li style="list-style-type: none">&#969;&#969; &#969;2 </li> <li style="list-style-type: none">&#969;&#969; &#969; 2 </li> <li style="list-style-type: none">&#969;&#969; &#969; &#969; </li> </ul></ul><li style="list-style-type: none">&#949;0</li> <ul><li style="list-style-type: none">&#949;0 + 1</li> <ul><li style="list-style-type: none">&#949;0 + 2</li> </ul><li style="list-style-type: none">&#949;0 + &#969;</li> <ul><li style="list-style-type: none">&#949;0 + &#969; + 1</li> <li style="list-style-type: none">&#949;0 + &#969;2</li> <li style="list-style-type: none">&#949;0 + &#969;2</li> <li style="list-style-type: none">&#949;0 + &#969;&#969;</li> </ul><li style="list-style-type: none">&#949;02</li> <ul><li style="list-style-type: none">&#949;02 + 1</li> <li style="list-style-type: none">&#949;02 + &#969;</li> <li style="list-style-type: none">&#949;03</li> </ul><li style="list-style-type: none">&#949;0&#969;</li> <ul><li style="list-style-type: none">&#949;0&#969; + 1</li> <li style="list-style-type: none">&#949;0&#969; + &#969;</li> <li style="list-style-type: none">&#949;0(&#969; + 1)</li> <li style="list-style-type: none">&#949;0&#969;2</li> <li style="list-style-type: none">&#949;0&#969;2</li> <li style="list-style-type: none">&#949;0&#969;&#969;</li> <li style="list-style-type: none">&#949;02</li> <li style="list-style-type: none">&#949;0&#969;</li> </ul><li style="list-style-type: none">&#949;1</li> <ul><li style="list-style-type: none">&#949;1 + 1</li> <li style="list-style-type: none">&#949;1 + &#969;</li> <li style="list-style-type: none">&#949;1 + &#949;0</li> <li style="list-style-type: none">&#949;1 + &#949;0&#969;</li> <li style="list-style-type: none">&#949;12</li> <li style="list-style-type: none">&#949;1&#969;</li> <li style="list-style-type: none">&#949;2</li> </ul><li style="list-style-type: none">&#949;&#969;</li> <ul><li style="list-style-type: none">&#949;&#969; + 1</li> <li style="list-style-type: none">&#949;&#969; + &#969;</li> <li style="list-style-type: none">&#949;&#969; + &#949;0</li> <li style="list-style-type: none">&#949;&#969;2</li> <li style="list-style-type: none">&#949;&#969;&#969;</li> <li style="list-style-type: none">&#949;&#969; + 1</li> <li style="list-style-type: none">&#949;&#969;2</li> <li style="list-style-type: none">&#949;&#969;2</li> <li style="list-style-type: none">&#949;&#969;&#969;</li> </ul><li style="list-style-type: none">&#949;&#949; 0 </li> <ul><li style="list-style-type: none">&#949;&#949; 0 + 1</li> <li style="list-style-type: none">&#949;&#949; 0 + &#969;</li> <li style="list-style-type: none">&#949;&#949; 0 + &#949;0</li> <li style="list-style-type: none">&#949;&#949; 0 + &#949;&#969;</li> <li style="list-style-type: none">&#949;&#949; 0 2</li> <li style="list-style-type: none">&#949;&#949; 0 &#969;</li> <li style="list-style-type: none">&#949;&#949; 0 + 1 </li> <li style="list-style-type: none">&#949;&#949; 0 + &#969; </li> <li style="list-style-type: none">&#949;&#949; 02 </li> <li style="list-style-type: none">&#949;&#949; 0&#969; </li> <li style="list-style-type: none">&#949;&#949; 1 </li> <li style="list-style-type: none">&#949;&#949; &#969; </li> <li style="list-style-type: none">&#949;&#949; &#949; 0 </li> </ul><li style="list-style-type: none">&#950;0</li> <ul><li style="list-style-type: none">&#950;0 + 1</li> <li style="list-style-type: none">&#950;0 + &#969;</li> <li style="list-style-type: none">&#950;0 + &#949;0</li> <li style="list-style-type: none">&#950;02</li> <li style="list-style-type: none">&#950;0&#969;</li> <li style="list-style-type: none">&#949;&#950; 0 + 1 </li> <li style="list-style-type: none">&#950;1</li> <li style="list-style-type: none">&#950;&#969;</li> <li style="list-style-type: none">&#950;&#949; 0 </li> <li style="list-style-type: none">&#950;&#950; 0 </li> <li style="list-style-type: none">&#951;0</li> </ul><li style="list-style-type: none">&#913;0</li> <ul><li style="list-style-type: none">&#913;0 + 1</li> <li style="list-style-type: none">&#913;0 + &#969;</li> <li style="list-style-type: none">&#913;02</li> <li style="list-style-type: none">&#913;0&#969;</li> <li style="list-style-type: none">&#913;1</li> <li style="list-style-type: none">&#913;&#969;</li> <li style="list-style-type: none">&#913;&#913; 0 </li> <li style="list-style-type: none">&#966;(&#937;(&#969; + 1))</li> <li style="list-style-type: none">&#966;(&#937;&#969;2)</li> <li style="list-style-type: none">&#966;1(2)</li> </ul><li style="list-style-type: none">&#966;1(&#969;)</li> <ul><li style="list-style-type: none">&#966;1(&#969;) + 1</li> <li style="list-style-type: none">&#966;1(&#969;) + &#969;</li> <li style="list-style-type: none">&#966;1(&#969;) + &#949;0</li> <li style="list-style-type: none">&#966;1(&#969;)2</li> <li style="list-style-type: none">&#966;1(&#969;)&#969;</li> <li style="list-style-type: none">&#949;&#966; 1(&#969;) + 1 </li> <li style="list-style-type: none">&#966;(&#937;&#969;&#969; + 1)</li> <li style="list-style-type: none">&#966;(&#937;&#969;&#969; + &#969;)</li> <li style="list-style-type: none">&#966;(&#937;&#969;&#969; + &#949;0)</li> <li style="list-style-type: none">&#966;(&#937;&#969;&#969; + &#966;1(&#969;))</li> <li style="list-style-type: none">&#966;(&#937;(&#969;&#969; + 1))</li> <li style="list-style-type: none">&#966;(&#937;&#969;&#969;2)</li> <li style="list-style-type: none">&#966;1(&#969; + 1)</li> <li style="list-style-type: none">&#966;1(&#969;2)</li> <li style="list-style-type: none">&#966;1(&#969;2)</li> <li style="list-style-type: none">&#966;1(&#969;&#969;)</li> </ul><li style="list-style-type: none">&#914;0</li> <ul><li style="list-style-type: none">&#914;0 + 1</li> <li style="list-style-type: none">&#914;0 + &#969;</li> <li style="list-style-type: none">&#914;0 + &#949;0</li> <li style="list-style-type: none">&#914;0 + &#966;1(&#969;)</li> <li style="list-style-type: none">&#914;02</li> <li style="list-style-type: none">&#914;0&#969;</li> <li style="list-style-type: none">&#949;&#914; 0 + 1 </li> <li style="list-style-type: none">&#966;(&#937;&#969;&#969; + &#914;0 + 1)</li> <li style="list-style-type: none">&#914;1</li> <li style="list-style-type: none">&#914;&#969;</li> <li style="list-style-type: none">&#914;&#949; 0 </li> <li style="list-style-type: none">&#914;&#966; 1(&#969;) </li> <li style="list-style-type: none">&#914;&#914; 0 </li> <li style="list-style-type: none">&#966;(&#937;(&#949;0 + 1))</li> <li style="list-style-type: none">&#966;(&#937;(&#949;0 + &#969;&#969;))</li> <li style="list-style-type: none">&#966;(&#937;&#949;02)</li> <li style="list-style-type: none">&#966;1(&#949;0 + 1)</li> <li style="list-style-type: none">&#966;1(&#949;0 + &#969;)</li> <li style="list-style-type: none">&#966;1(&#949;02)</li> <li style="list-style-type: none">&#966;1(&#949;0&#969;)</li> <li style="list-style-type: none">&#966;1(&#949;1)</li> <li style="list-style-type: none">&#966;1(&#949;&#969;)</li> <li style="list-style-type: none">&#966;1(&#949;&#949; 0 )</li> <li style="list-style-type: none">&#966;1(&#950;0)</li> <li style="list-style-type: none">&#966;1(&#913;0)</li> <li style="list-style-type: none">&#966;1(&#966;1(&#969;))</li> <li style="list-style-type: none">&#966;1(&#914;0)</li> </ul><li style="list-style-type: none">&#915;0</li> <ul><li style="list-style-type: none">&#915;0 + 1</li> <li style="list-style-type: none">&#915;0 + &#969;</li> <li style="list-style-type: none">&#915;0 + &#949;0</li> <li style="list-style-type: none">&#915;02</li> <li style="list-style-type: none">&#915;0&#969;</li> <li style="list-style-type: none">&#949;&#915; 0 + 1 </li> <li style="list-style-type: none">&#966;(&#937;&#969;&#969; + &#915;0 + 1)</li> <li style="list-style-type: none">&#914;&#915; 0 + 1 </li> <li style="list-style-type: none">&#966;(&#937;&#915;0 + 1)</li> <li style="list-style-type: none">&#966;(&#937;&#915;0 + &#969;)</li> <li style="list-style-type: none">&#966;(&#937;&#915;0 + &#949;0)</li> <li style="list-style-type: none">&#966;(&#937;&#915;0 + &#915;0)</li> <li style="list-style-type: none">&#966;(&#937;(&#915;0 + 1))</li> <li style="list-style-type: none">&#966;(&#937;(&#915;0 + &#969;&#969;))</li> <li style="list-style-type: none">&#966;(&#937;(&#915;0 + &#949;0))</li> <li style="list-style-type: none">&#966;(&#937;&#915;02)</li> <li style="list-style-type: none">&#966;1(&#915;0 + 1)</li> <li style="list-style-type: none">&#915;1</li> <li style="list-style-type: none">&#915;&#969;</li> <li style="list-style-type: none">&#915;&#949; 0 </li> <li style="list-style-type: none">&#915;&#915; 0 </li> <li style="list-style-type: none">&#966;(&#937;(&#937; + 1))</li> <li style="list-style-type: none">&#966;(&#937;22)</li> <li style="list-style-type: none">&#966;1(&#937; + 1)</li> <li style="list-style-type: none">&#966;1(&#937; + &#969;)</li> <li style="list-style-type: none">&#966;1(&#937; + &#949;0)</li> <li style="list-style-type: none">&#966;1(&#937; + &#915;0)</li> <li style="list-style-type: none">&#916;0</li> <li style="list-style-type: none">v0</li> <li style="list-style-type: none">&#966;1(&#937;&#969;&#969;)</li> <li style="list-style-type: none">&#966;1(&#937;&#949;0)</li> <li style="list-style-type: none">&#966;1(&#937;&#915;0)</li> <li style="list-style-type: none">V0</li> </ul><li style="list-style-type: none">H0</li> <ul><li style="list-style-type: none">H0 + 1</li> <li style="list-style-type: none">H0 + &#969;</li> <li style="list-style-type: none">H0 + &#949;0</li> <li style="list-style-type: none">H02</li> <li style="list-style-type: none">H0&#969;</li> <li style="list-style-type: none">&#949;H 0 + 1 </li> <li style="list-style-type: none">H1</li> <li style="list-style-type: none">H&#969;</li> <li style="list-style-type: none">H&#949; 0 </li> <li style="list-style-type: none">HH 0 </li> <li style="list-style-type: none">&#966;(&#949;&#937; + 1 + &#937;)</li> <li style="list-style-type: none">&#966;(&#949;&#937; + 12)</li> <li style="list-style-type: none">&#966;1(&#949;&#937; + 1 + 1)</li> <li style="list-style-type: none">&#966;1(&#937;2 + 1)</li> <li style="list-style-type: none">&#966;1(&#937;2 + &#969;)</li> <li style="list-style-type: none">&#966;1(&#937;2 + &#949;0)</li> <li style="list-style-type: none">&#966;1(&#937;2 + H0)</li> <li style="list-style-type: none">&#966;1(&#937;2 + &#937;)</li> <li style="list-style-type: none">&#966;1(&#937;2 + &#949;&#937; + 1)</li> <li style="list-style-type: none">&#966;1(&#937;22)</li> <li style="list-style-type: none">&#966;2(1)</li> <li style="list-style-type: none">&#966;2(&#969;)</li> <li style="list-style-type: none">&#966;2(&#949;0)</li> <li style="list-style-type: none">&#966;2(H0)</li> <li style="list-style-type: none">&#966;2(&#937;)</li> <li style="list-style-type: none">&#966;2(&#949;&#937; + 1)</li> <li style="list-style-type: none">&#966;2(&#937;2)</li> <li style="list-style-type: none">&#966;3(0)</li> </ul></ul></ul></ul>&#966;&#969;(0)