λ.λ.[1],λ.λ.[2[1]],λ.λ.[2[2[1]]],λ.λ.[2[2[2[1]]]],λ.λ.[2[2[2[2[1]]]]],λ.λ.[2[2[2[2[2[1]]]]]],λ.λ.[2[2[2[2[2[2[1]]]]]]],λ.λ.[2[2[2[2[2[2[2[1]]]]]]]],λ.λ.[2[2[2[2[2[2[2[2[1]]]]]]]]],λ.λ.[2[2[2[2[2[2[2[2[2[1]]]]]]]]]],λ.λ.[2[2[2[2[2[2[2[2[2[2[1]]]]]]]]]]]
