25/02/2004 12:01:35, asco-o@o-o.lt wrote:

>((A -> B) -> A) -> A
>(((A -> B) -> A) -> A) -> A
>((((A -> B) -> A) -> A) -> A) -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A) -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A) -> A) -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A) -> A -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A
>(((((A -> B) -> A) -> A) -> A) -> A) -> A
>
>
>........................................................................
>........\\\\\//////............/\\\\\.....||||\\\\\...||\\\.||||........
>.........\\\\\////...|||||....///\\\\\....||||/////...|||\\\||||........
>........./////\\\\...|||||.../////\\\\\...||||\\\\\...||||\\||||........
>......../////\\\\\\........./////..\\\\\..||||.\\\\\..||||.\||||........
>........................................................................
>
>