λφ.φ∙⟨⊥⟩∙⟨λφ.φ∙⟨λφ.λξ.φ∙ξ⟩∙⟨λφ.φ∙⟨⊥⟩∙⟨λφ.φ∙⟨λφ.λξ.φ∙ξ⟩∙⟨λφ.φ∙⟨⊥⟩∙⟨λφ.φ∙⟨λφ.λξ.φ∙⟨φ∙ξ⟩⟩∙⟨λφ.φ∙⟨⊥⟩∙⟨λφ.φ∙⟨λφ.λξ.φ∙⟨φ∙⟨φ∙ξ⟩⟩⟩∙⟨λφ.φ∙⟨⊥⟩∙⟨λφ.φ∙⟨λφ.λξ.φ∙⟨φ∙⟨φ∙⟨φ∙⟨φ∙ξ⟩⟩⟩⟩⟩∙⟨λφ.φ∙⟨⊥⟩∙⟨λφ.φ∙⟨λφ.λξ.φ∙⟨φ∙⟨φ∙⟨φ∙⟨φ∙⟨φ∙⟨φ∙⟨φ∙ξ⟩⟩⟩⟩⟩⟩⟩⟩∙⟨λφ.φ∙⟨⊥⟩∙⟨λφ.φ∙⟨λφ.λξ.φ∙⟨φ∙⟨φ∙⟨φ∙⟨φ∙⟨φ∙⟨φ∙⟨φ∙⟨φ∙⟨φ∙⟨φ∙⟨φ∙⟨φ∙ξ⟩⟩⟩⟩⟩⟩⟩⟩⟩⟩⟩⟩⟩