(S(K((S(K(S(S(K((S(K(SII))(S(S(KS)(S(KK)I))(K(SII))))(S(K(S(
S(KS)(S(S(KS)(S(KK)(S(K(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(
KS)(S(KK)I))(KI)))))(K(KI))))(S(K(SI(K(K(K(KI))))))I))))(KI)
))))(S(K(S(S(KS)(S(KK)(S(K(S(S(KS)(S(KK)(S(KS)(S(K(SI))(S(KK
)I)))))(K(S(KK)I))))(S(K(SI(K(S(KK)I))))I))))))(S(S(KS)(S(K(
S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I))(K(S(K(SI(K(KI))))I)))))
)(K(KI)))))))(S(K(S(S(K((S(K(SII))(S(S(KS)(S(KK)I))(K(SII)))
)(S(K(S(S(KS)(S(S(KS)(S(KK)(S(K(S(S(KS)(S(K(S(KS)))(S(K(S(KK
)))(S(S(KS)(S(KK)I))(KI)))))(K(KI))))(S(K(SI(K(K(K(KI))))))I
))))(KI)))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I)
)(K(S(K(SI(K(KI))))I))))))(K(S(S(KS)(S(KK)(S(K(S(S(KS)(S(KK)
(S(KS)(S(K(SI))(S(KK)I)))))(K(S(KK)I))))(S(K(SI(K(S(KK)I))))
I))))(KI)))))))I)(K(K(S(KK)I)))))(S(K(((S(K(SII))(S(S(KS)(S(
KK)I))(K(SII))))(S(K(S(S(KS)(S(K(S(KS)))(S(K(S(K(S(S(S(K(S(S
(KS)(S(K(S(KS)))(S(K(S(KK)))(S(K(S(KS)))(S(S(KS)(S(K(S(KS)))
(S(K(S(KK)))(S(K(S(S(K(S(S(KS)(S(KK)(S(KS)(S(K(S(KS)))(S(K(S
(KK)))(S(S(KS)(S(KK)(SI(K(S(K(SI))(S(KK)I))))))(K(S(K(S(KK)I
))I))))))))(K(S(KK)(S(S(KS)(S(KK)(SI(K(S(K(SI))(S(KK)I))))))
(K(S(K(S(KK)I))I)))))))I)))(S(KK)I)))))(K(KI)))))))(K(K(S(KK
)I)))))I)(K((S(S(KS)(S(KK)(S(KS)(S(KK)I))))(K(S(S(KS)(S(KK)I
))(KI))))((S(K(S(S(KS)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(S(K(S(
KK)))(S(S(KS)(S(KK)I))(KI)))))(K(KI))))I)((S(K(S(S(KS)(S(KK)
I))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I))(KI)))
))(K(KI))))((SI)I((S(K(S(S(KS)(S(KK)I))))(S(S(KS)(S(K(S(KS))
)(S(K(S(KK)))(S(S(KS)(S(KK)I))(KI)))))(K(KI))))I))))))))))(S
(K(S(S(KS)(S(S(KS)(S(KK)I))(K(S(K(S(S(K(SI(K(S(K(S(S(KS)(S(K
K)I))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I))(KI)
))))(K(KI)))))))I)(K((S(S(KS)(S(KK)(S(KS)(S(KK)I))))(K(S(S(K
S)(S(KK)I))(KI))))((S(K(S(S(KS)(S(KK)I))))(S(S(KS)(S(K(S(KS)
))(S(K(S(KK)))(S(S(KS)(S(KK)I))(KI)))))(K(KI))))((S(K(S(S(KS
)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I)
)(KI)))))(K(KI))))I))((S(SII))I((S(K(S(S(KS)(S(KK)I))))(S(S(
KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I))(KI)))))(K(KI)))
)I))))))I))))))(S(KK)(S(KK)I))))))))(S(K(S(K(S(S(KS)(S(S(KS)
(S(KK)I))(K(S(K(S(S(K(SI(K(S(K(S(S(KS)(S(KK)I))))(S(S(KS)(S(
K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I))(KI)))))(K(KI)))))))I)
(K((S(S(KS)(S(KK)(S(KS)(S(KK)I))))(K(S(S(KS)(S(KK)I))(KI))))
((S(K(S(S(KS)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S
(KS)(S(KK)I))(KI)))))(K(KI))))((S(K(S(S(KS)(S(KK)I))))(S(S(K
S)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I))(KI)))))(K(KI))))
I))((S(SII))I((S(K(S(S(KS)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(S(
K(S(KK)))(S(S(KS)(S(KK)I))(KI)))))(K(KI))))I))))))(S(S(K((S(
K(SII))(S(S(KS)(S(KK)I))(K(SII))))(S(S(KS)(S(K(S(KS)))(S(K(S
(S(KS)(S(S(KS)(S(KK)(S(K(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(K
(S(KS)))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(S(K(S
(S(KS)(S(KK)(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SI(
K(S(K(SI))(S(KK)I))))))(K(S(K(S(KK)I))I))))))))(K(S(KK)(S(S(
KS)(S(KK)(SI(K(S(K(SI))(S(KK)I))))))(K(S(K(S(KK)I))I)))))))I
)))(KI)))))(K(KI)))))))(K(K(S(KK)I)))))I)))(KI)))))(S(S(KS)(
S(K(S(KS)))(S(S(KS)(S(KK)(S(KS)(S(KK)I))))(K(S(S(KS)(S(KK)(S
(K(S(K(S(SI(K(S(S(KS)(S(K(S(KS)))(S(S(KS)(S(K(S(KS)))(S(K(S(
KK)))(S(S(KS)(S(KK)I))(K(S(K(S(K(SI))))(S(K(S(KK)))(S(K(SI))
(S(KK)I)))))))))(K(K(S(KK)I))))))(K(K(KI))))))))(S(KK)I)))I)
))(KI))))))(K(KI))))))(K(S(S(KS)(S(S(KS)(S(S(KS)(S(KK)(S(K(S
(S(KS)(S(K(S(KS)))(S(K(S(K(S(KS)))))(S(K(S(K(S(KK)))))(S(S(K
S)(S(K(S(KS)))(S(K(S(KK)))(S(K(S(K(S(S(KS)(S(K(S(KS)))(S(K(S
(KK)))(S(S(KS)(S(KK)I))(KI)))))(K(KI))))))(S(S(KS)(S(KK)(S(K
(S(K(S(S(K(S(K(S(K(SI(K(S(KK)I))))))(S(S(KS)(S(KK)(SI(K(SI(K
(KI)))))))(KI))))I)))(S(KK)(S(SI(K((S(S(KS)(S(KK)(S(KS)(S(K(
SI))(S(KK)I)))))(K(S(KK)I)))(KI))))(K((S(S(KS)(S(KK)(S(KS)(S
(K(SI))(S(KK)I)))))(K(S(KK)I)))(S(KK)I)((S(K(S(K(SII))(S(S(K
S)(S(KK)I))(K(SII)))))(S(K(S(S(KS)(S(KK)(S(KS)(S(K(SI))(S(KK
)I)))))(K(S(KK)I))))I))(KI))))))))I)))(KI))))))(K(KI)))))))(
K(K(KI)))))I)))(KI)))(K(K(KI)))))(S(KK)I))))))I)(K((S(S(KS)(
S(KK)(S(KS)(S(KK)I))))(K(S(S(KS)(S(KK)I))(KI))))((S(K(S(S(KS
)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I)
)(KI)))))(K(KI))))I)((S(K(S(S(KS)(S(KK)I))))(S(S(KS)(S(K(S(K
S)))(S(K(S(KK)))(S(S(KS)(S(KK)I))(KI)))))(K(KI))))((SI)I((S(
K(S(S(KS)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)
(S(KK)I))(KI)))))(K(KI))))I))))))))))))))(S(S(KS)(S(K(S(KS))
)(S(K(S(K(S(KS)))))(S(K(S(K(S(KK)))))(S(S(KS)(S(K(S(KS)))(S(
K(S(KK)))(S(S(KS)(S(KK)I))(KI)))))(K(KI)))))))(K(K(K(S(S(K(S
(S(KS)(S(S(KS)(S(KK)(S(K((S(K(SII))(S(S(KS)(S(KK)I))(K(SII))
))(S(S(KS)(S(K(S(KS)))(S(K(S(K(S(KS)))))(S(K(S(S(KS)(S(K(S(K
S)))(S(K(S(KK)))(S(S(KS)(S(KK)(S(K(S(S(KS)(S(K(S(KS)))(S(K(S
(K(S(KS)))))(S(K(S(K(S(KK)))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)
))(S(K(S(S(K(S(S(KS)(S(KK)(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S
(KS)(S(KK)(SI(K(S(K(SI))(S(KK)I))))))(K(S(K(S(KK)I))I)))))))
)(K(S(KK)(S(S(KS)(S(KK)(SI(K(S(K(SI))(S(KK)I))))))(K(S(K(S(K
K)I))I)))))))I)))(S(KK)I)))))(K(KI)))))))(K(K(KI)))))I)))(KI
)))))))(S(S(KS)(S(K(S(KS)))(S(K(S(K(S(KS)))))(S(K(S(K(S(KK))
)))(S(S(KS)(S(K(S(KS)))(S(S(KS)(S(KK)(S(KS)(S(KK)I))))(K(S(S
(KS)(S(KK)(S(K(S(K(S(SI(K(S(S(KS)(S(K(S(KS)))(S(S(KS)(S(K(S(
KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I))(K(S(K(S(K(SI))))(S(K(S(KK
)))(S(K(SI))(S(KK)I)))))))))(K(K(S(KK)I))))))(K(K(KI))))))))
(S(KK)I)))I)))(KI))))))(K(KI)))))))(K(K(K(S(K(S(K(S(S(KS)(S(
KK)I))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I))(KI
)))))(K(KI)))))I)))))))))(K(K(KI))))))I)))(KI)))(K(K(KI)))))
I)(K((S(S(KS)(S(KK)(S(KS)(S(KK)I))))(K(S(S(KS)(S(KK)I))(KI))
))((S(K(S(S(KS)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S
(S(KS)(S(KK)I))(KI)))))(K(KI))))I)((S(K(S(S(KS)(S(KK)I))))(S
(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I))(KI)))))(K(KI
))))((SI)I((S(K(S(S(KS)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(S(K(S
(KK)))(S(S(KS)(S(KK)I))(KI)))))(K(KI))))I)))))))))))))(K(S(K
K)I))(S(S(KS)(S(KK)(S(KS)(S(K(SI))(S(KK)I)))))(K(S(KK)I)))))
I)))))(S(KK)I))((S(S(KS)(S(KK)(S(KS)(S(K(SI))(S(KK)I)))))(K(
S(KK)I)))((S(S(KS)(S(KK)(S(KS)(S(KK)I))))(K(S(S(KS)(S(KK)I))
(KI))))((S(K(S(S(KS)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK
)))(S(S(KS)(S(KK)I))(KI)))))(K(KI))))I)((S(K(S(S(KS)(S(KK)I)
)))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I))(KI)))))
(K(KI))))((SI)I((S(K(S(S(KS)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(
S(K(S(KK)))(S(S(KS)(S(KK)I))(KI)))))(K(KI))))I))))(K((SI)I((
SI)I((S(K(S(S(KS)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))
(S(S(KS)(S(KK)I))(KI)))))(K(KI))))I)))))))(S(K(S(S(K((S(K(SI
I))(S(S(KS)(S(KK)I))(K(SII))))(S(K(S(S(KS)(S(S(KS)(S(KK)(S(S
(K(S(S(KS)(S(KK)(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)
(SI(K(S(K(SI))(S(KK)I))))))(K(S(K(S(KK)I))I))))))))(K(S(KK)(
S(S(KS)(S(KK)(SI(K(S(K(SI))(S(KK)I))))))(K(S(K(S(KK)I))I))))
)))I)(KI))))(KI)))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)
(S(KK)I))(K(S(K(S(S(KS)(S(K(S(KS)))(S(S(KS)(S(K(S(KS)))(S(K(
S(KK)))(S(S(KS)(S(KK)I))(K(S(K(S(K(SI))))(S(K(S(KK)))(S(K(SI
))(S(KK)I)))))))))(K(K(S(KK)I))))))(K(K(KI)))))I))))))(K(S(S
(KS)(S(KK)(S(K(S(S(KS)(S(KK)(S(KS)(S(KK)I))))(K(S(S(KS)(S(KK
)I))(KI)))))I)))(KI)))))))I)(KI)))(S(K(S(S(K((S(K(SII))(S(S(
KS)(S(KK)I))(K(SII))))(S(K(S(S(KS)(S(S(KS)(S(KK)(S(S(K(S(S(K
S)(S(K(S(KS)))(S(K(S(K(S(KS)))))(S(K(S(K(S(KK)))))(S(S(KS)(S
(K(S(KS)))(S(K(S(KK)))(S(K(S(S(K(S(S(KS)(S(KK)(S(KS)(S(K(S(K
S)))(S(K(S(KK)))(S(S(KS)(S(KK)(SI(K(S(K(SI))(S(KK)I))))))(K(
S(K(S(KK)I))I))))))))(K(S(KK)(S(S(KS)(S(KK)(SI(K(S(K(SI))(S(
KK)I))))))(K(S(K(S(KK)I))I)))))))I)))(S(KK)I)))))(K(KI))))))
)(K(K(KI)))))(S(K(SI(K(S(KK)I))))I))(K((S(K(S(S(KS)(S(KK)I))
))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I))(KI)))))(
K(KI))))((S(S(KS)(S(KK)(S(KS)(S(KK)I))))(K(S(S(KS)(S(KK)I))(
KI))))((S(K(S(S(KS)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)
))(S(S(KS)(S(KK)I))(KI)))))(K(KI))))I)((S(K(S(S(KS)(S(KK)I))
))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I))(KI)))))(
K(KI))))((SI)I((S(K(S(S(KS)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(S
(K(S(KK)))(S(S(KS)(S(KK)I))(KI)))))(K(KI))))((S(K(S(S(KS)(S(
KK)I))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I))(KI
)))))(K(KI))))I))))))))))(KI)))))(S(K(S(S(KS)(S(S(KS)(S(KK)(
S(S(K(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(K(S(KS)))(S(S(KS)(S(
K(S(KS)))(S(K(S(KK)))(S(K(S(S(K(S(S(KS)(S(KK)(S(KS)(S(K(S(KS
)))(S(K(S(KK)))(S(S(KS)(S(KK)(SI(K(S(K(SI))(S(KK)I))))))(K(S
(K(S(KK)I))I))))))))(K(S(KK)(S(S(KS)(S(KK)(SI(K(S(K(SI))(S(K
K)I))))))(K(S(K(S(KK)I))I)))))))I)))(S(KK)I)))))(K(KI)))))))
(K(K(S(KK)I)))))(S(K(SI(K(S(KK)I))))I))(K((S(S(KS)(S(KK)(S(K
S)(S(KK)I))))(K(S(S(KS)(S(KK)I))(KI))))((S(K(S(S(KS)(S(KK)I)
)))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I))(KI)))))
(K(KI))))((S(K(S(S(KS)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(S(K(S(
KK)))(S(S(KS)(S(KK)I))(KI)))))(K(KI))))I))((S(SII))I((S(K(S(
S(KS)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(K
K)I))(KI)))))(K(KI))))I)))))))(KI)))))(S(S(KS)(S(K(S(KS)))(S
(K(S(KK)))(S(S(KS)(S(KK)I))(K(S(K(SI(K(KI))))I))))))(K(S(K(S
(S(K(SI(K(S(K(S(S(KS)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(S(K(S(K
K)))(S(S(KS)(S(KK)I))(KI)))))(K(KI)))))))(S(K((S(S(KS)(S(KK)
(S(KS)(S(KK)I))))(K(S(S(KS)(S(KK)I))(KI))))((S(S(KS)(S(KK)(S
(KS)(S(KK)I))))(K(S(S(KS)(S(KK)I))(KI))))((S(K(S(S(KS)(S(KK)
I))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I))(KI)))
))(K(KI))))I)((S(K(S(S(KS)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(S(
K(S(KK)))(S(S(KS)(S(KK)I))(KI)))))(K(KI))))((SI)I((S(K(S(S(K
S)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I
))(KI)))))(K(KI))))I))))))I))))(S(KK)(S(K(S(S(K(S(K(S(SI(K(S
(S(KS)(S(K(S(KS)))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S
(KK)I))(K(S(K(S(K(SI))))(S(K(S(KK)))(S(K(SI))(S(KK)I))))))))
)(K(K(S(KK)I))))))(K(K(KI))))))))(S(KK)I)))I)(K((S(S(KS)(S(K
K)(S(KS)(S(KK)I))))(K(S(S(KS)(S(KK)I))(KI))))((S(K(S(S(KS)(S
(KK)I))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)I))(K
I)))))(K(KI))))((S(K(S(S(KS)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(
S(K(S(KK)))(S(S(KS)(S(KK)I))(KI)))))(K(KI))))I))((S(SII))I((
S(K(S(S(KS)(S(KK)I))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(K
S)(S(KK)I))(KI)))))(K(KI))))I))))))(S(K(SI(K(S(KK)I))))I))))
))))))I)(K(KI))))I)))