Skip to content

Instantly share code, notes, and snippets.

@TOTBWF

TOTBWF/ObfuscatedSKI.hs

Last active February 23, 2023 06:29
Show Gist options
  • Star 3 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save TOTBWF/5d83d715f1fbbfd68b867bf727396578 to your computer and use it in GitHub Desktop.
Save TOTBWF/5d83d715f1fbbfd68b867bf727396578 to your computer and use it in GitHub Desktop.
Download ZIP
A Lambda Expression to SKI Combinator compiler, written entirely using SKI combinators.
Raw
ObfuscatedSKI.hs
This file has been truncated, but you can view the full file.
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ImpredicativeTypes #-}
{-# LANGUAGE TemplateHaskell #-}
module ObfuscatedSKI where
import Unsafe.Coerce (unsafeCoerce)
--------------------------------------------------------------------------------
-- A Lambda to SKI Combinator Compiler, written entirely using SKI Combinators
--
-- Example usage:
-- ObfuscatedSKI> readout $ compile $ term (Lam $ Lam $ Var 1)
-- "((S(KK))I)"
--
-- Of note is the fact that we don't use any datatypes inside of the compiler, instead
-- relying entirely on Scott and Boehm-Berarducci encoded data. This means that there is:
-- * No pattern matching
-- * No Lambdas
--------------------------------------------------------------------------------
-- Helpers for interacting with the system.
-- These are not build using SKI combinators as they aren't pertinent to the core algorithm,
-- and are merely used to get data in/read data out.
nat :: Nat -> Int
nat n = n (+1) 0
bool :: Boolean -> Bool
bool b = b True False
data Term = Var Int | Lam Term | App Term Term
term :: Term -> Comb
term (Var i) = Comb $ \v _ _ _ _ _ -> v (lit i)
term (Lam t) = Comb $ \v l a s k i -> l (term t)
term (App t1 t2) = Comb $ \v l a s k i -> a (unComb (term t1) v l a s k i) (unComb (term t2) v l a s k i)
readout :: Comb -> String
readout (Comb c) = c (\n -> show $ nat n) (\r -> "(\\." <> readout r <> ")") (\x y -> "(" <> x <> y <> ")") "S" "K" "I"
lit :: Int -> Nat
lit 0 = zero
lit n = suc (lit (n - 1))
--------------------------------------------------------------------------------
-- Prelude
s :: (a -> b -> c) -> (a -> b) -> (a -> c)
s = (<*>)
k :: a -> b -> a
k = pure
i :: a -> a
i = s k k
u :: a -> b
u = unsafeCoerce
y :: (a -> a) -> a
y = s (k (s i (u i))) (s (s (k s) k) (k (s i (u i))))
--------------------------------------------------------------------------------
-- Booleans
type Boolean = forall r. r -> r -> r
tt :: Boolean
tt = ((s (k k)) i)
ff :: Boolean
ff = (k i)
land :: Boolean -> Boolean -> Boolean
land = ((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) (k k))))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) i)))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k k))))))
((s ((s (k s)) ((s (k k)) (k k)))) (k i)))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) (k k))))))
((s (k k)) (k i))))))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) (k i)))))))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) (k i))))
--------------------------------------------------------------------------------
-- Natural Numbers
type Nat = forall r. (r -> r) -> r -> r
zero :: Nat
zero = (k i)
suc :: Nat -> Nat
suc = ((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) i)))))
((s ((s (k s)) ((s (k k)) (k k)))) (k i))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k)))) (k i)))))
((s (k k)) (k i))))
pre :: Nat -> Nat
pre = ((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) i)))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k k))))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k s))))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k k))))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k i)))))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k k))))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k s))))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k k))))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k k))))))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k i)))))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k k))))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k k))))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) (k k))))))
((s ((s (k s)) ((s (k k)) (k k)))) (k i))))))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) (k k))))))
((s (k k)) (k i)))))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) (k i))))
minus :: Nat -> Nat -> Nat
minus = ((s ((s (k s))
((s ((s (k s)) (k i)))
((s ((s (k s)) ((s (k k)) (k u)))) ((s (k k)) (k pre))))))
((s (k k)) i))
isZero :: Nat -> Boolean
isZero = ((s ((s i) ((s (k k)) (k ff)))) (k tt))
leq :: Nat -> Nat -> Boolean
leq = ((s ((s (k s)) ((s (k k)) (k isZero))))
((s ((s (k s)) ((s (k k)) (k u))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k minus))))
((s ((s (k s)) ((s (k k)) (k u)))) ((s (k k)) i)))))
((s ((s (k s)) ((s (k k)) (k u)))) (k i)))))
eq :: Nat -> Nat -> Boolean
eq = ((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k land))))
((s ((s (k s)) ((s (k k)) (k u))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k leq))))
((s ((s (k s)) ((s (k k)) (k u)))) ((s (k k)) i)))))
((s ((s (k s)) ((s (k k)) (k u)))) (k i)))))))
((s ((s (k s)) ((s (k k)) (k u))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k leq))))
((s ((s (k s)) ((s (k k)) (k u)))) (k i)))))
((s ((s (k s)) ((s (k k)) (k u)))) ((s (k k)) i)))))
--------------------------------------------------------------------------------
-- Lambda Expressions, and Combinators
-- We need to scott encode our data here. I'm sure that we could do this
-- with Boehm-Berarducci, but it's difficult indeed
newtype Comb = Comb { unComb :: forall r. (Nat -> r) -- Variables
-> (Comb -> r) -- Abstractions.
-> (r -> r -> r) -- Applications.
-> r -- S
-> r -- K
-> r -- I
-> r }
compile :: Comb -> Comb
compile (Comb c) = (Comb
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) (k k))))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) (k s))))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k k))))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k s))))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k k))))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k k))))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k k))))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k s))))))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k)))) ((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k k))))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k s))))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k)) (k s))))
((s ((s (k s))
((s (k k)) (k k))))
((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k)) (k s))))
((s ((s (k s))
((s (k k)) (k k))))
((s (k k)) (k k))))))
((s ((s (k s))
((s (k k)) (k k))))
((s (k k)) (k s))))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k)) (k s))))
((s ((s (k s))
((s (k k)) (k k))))
((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k)) (k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k)) (k k))))
((s (k k)) (k k))))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s (k k)) (k k))))
((s (k k)) (k k))))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k s))))))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s)) ((s (k k)) (k k))))
((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k)) (k s))))
((s ((s (k s))
((s (k k)) (k k))))
((s (k k)) (k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k)) (k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k)) (k k))))
((s (k k)) (k s))))))))
((s ((s (k s))
((s ((s (k s)) ((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k)) (k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k)) (k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k c))))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
i))))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k unComb))))))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k k))))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s ((s (k s))
((s (k k))
(k s))))
((s ((s (k s))
((s (k k))
(k k))))
((s (k k))
(k s))))))
((s ((s (k s))
((s ((s (k s))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment