(f => (x => f(y => x(x)(y)))(x => f(y => x(x)(y))))(f => l => (b => b)((p => p(x => y => x))((l => (p => p(x => y => y))((p => p(x => y => y))(l)))(l)))( l )( x => (p => ((f => (x => f(y => x(x)(y)))(x => f(y => x(x)(y))))(f => a => b => (b => b)((p => p(x => y => x))(a))( b )( (b => b)((p => p(x => y => x))(b))( a )( (b => b)((m => n => (n => n(x => (x => y => y))((x => y => x)))((m => n => n((n => (p => p(x => y => x))(n((p => (x => y => f => f(x)(y))((p => p(x => y => y))(p))((n => x => y => x(n(x)(y)))((p => p(x => y => y))(p)))))((x => y => f => f(x)(y))((x => y => y))((x => y => y))))))(m))(m)(n)))((l => (p => p(x => y => x))((p => p(x => y => y))(l)))(a))((n => (p => p(x => y => x))(n((p => (x => y => f => f(x)(y))((p => p(x => y => y))(p))((n => x => y => x(n(x)(y)))((p => p(x => y => y))(p)))))((x => y => f => f(x)(y))((x => y => y))((x => y => y)))))((l => (p => p(x => y => x))((p => p(x => y => y))(l)))(b))))( x => (l => x => (x => y => f => f(x)(y))((x => y => y))((x => y => f => f(x)(y))(x)(l)))(f((l => (p => p(x => y => y))((p => p(x => y => y))(l)))(a))(b))((l => (p => p(x => y => x))((p => p(x => y => y))(l)))(a))(x) )( x => (l => x => (x => y => f => f(x)(y))((x => y => y))((x => y => f => f(x)(y))(x)(l)))(f((l => (p => p(x => y => y))((p => p(x => y => y))(l)))(b))(a))((l => (p => p(x => y => x))((p => p(x => y => y))(l)))(b))(x) ) ) ) ))((p => p(x => y => x))(p))((p => p(x => y => y))(p)))( (p => f => (x => y => f => f(x)(y))( f((p => p(x => y => x))(p)) )( f((p => p(x => y => y))(p)) ))((l => c => (p => p(x => y => x))( ((f => (x => f(y => x(x)(y)))(x => f(y => x(x)(y))))(f => l => x => g => (b => b)((p => p(x => y => x))(l))( x )( y => g(f((l => (p => p(x => y => y))((p => p(x => y => y))(l)))(l))(x)(g))((l => (p => p(x => y => x))((p => p(x => y => y))(l)))(l))(y) ) ))(l)( (x => y => f => f(x)(y))( (x => y => f => f(x)(y))(((x => y => f => f(x)(y))((x => y => x))((x => y => y))))(((x => y => f => f(x)(y))((x => y => x))((x => y => y)))) )( (x => y => y) ) )( a => e => (b => b)((m => n => (n => n(x => (x => y => y))((x => y => x)))((m => n => n((n => (p => p(x => y => x))(n((p => (x => y => f => f(x)(y))((p => p(x => y => y))(p))((n => x => y => x(n(x)(y)))((p => p(x => y => y))(p)))))((x => y => f => f(x)(y))((x => y => y))((x => y => y))))))(m))(m)(n)))((p => p(x => y => y))(a))((n => (p => p(x => y => x))(n((p => (x => y => f => f(x)(y))((p => p(x => y => y))(p))((n => x => y => x(n(x)(y)))((p => p(x => y => y))(p)))))((x => y => f => f(x)(y))((x => y => y))((x => y => y)))))(c)))( (x => y => f => f(x)(y))( (x => y => f => f(x)(y))( (l => x => (x => y => f => f(x)(y))((x => y => y))((x => y => f => f(x)(y))(x)(l)))((p => p(x => y => x))((p => p(x => y => x))(a)))(e) )( (p => p(x => y => y))((p => p(x => y => x))(a)) ) )((n => x => y => x(n(x)(y)))((p => p(x => y => y))(a))) )( (x => y => f => f(x)(y))( (x => y => f => f(x)(y))( (p => p(x => y => x))((p => p(x => y => x))(a)) )( (l => x => (x => y => f => f(x)(y))((x => y => y))((x => y => f => f(x)(y))(x)(l)))((p => p(x => y => y))((p => p(x => y => x))(a)))(e) ) )((n => x => y => x(n(x)(y)))((p => p(x => y => y))(a))) ) ) ))( l )( ((f => (x => f(y => x(x)(y)))(x => f(y => x(x)(y))))(f => m => n => (b => b)((m => n => (n => n(x => (x => y => y))((x => y => x)))((m => n => n((n => (p => p(x => y => x))(n((p => (x => y => f => f(x)(y))((p => p(x => y => y))(p))((n => x => y => x(n(x)(y)))((p => p(x => y => y))(p)))))((x => y => f => f(x)(y))((x => y => y))((x => y => y))))))(m))(m)(n)))(n)(m))( x => (n => x => y => x(n(x)(y)))(f((m => n => n((n => (p => p(x => y => x))(n((p => (x => y => f => f(x)(y))((p => p(x => y => y))(p))((n => x => y => x(n(x)(y)))((p => p(x => y => y))(p)))))((x => y => f => f(x)(y))((x => y => y))((x => y => y))))))(m))(m)(n))(n))(x) )( (x => y => y) ) ))((l => ((f => (x => f(y => x(x)(y)))(x => f(y => x(x)(y))))(f => l => x => g => (b => b)((p => p(x => y => x))(l))( x )( y => g(f((l => (p => p(x => y => y))((p => p(x => y => y))(l)))(l))(x)(g))((l => (p => p(x => y => x))((p => p(x => y => y))(l)))(l))(y) ) ))(l)((x => y => y))(i => _ => (n => x => y => x(n(x)(y)))(i)))(l))((x => y => x(x(y)))) ) )(f) )(x) ) )