# forward = S`KS(S`K`S(SI0)K);
# ifodd1  = _1(S(SI`K0)`KK)0;
# 
# 8
# [f.[c.[d.[r.
#     ifodd1 (car1 r)
#     (
#         # cat
#         c forward
#         (
#             K $
#             cons2 10
#             (f (succ c) d (4 cdr r))
#         )
#         (
#             cons2 ?m
#             cons2 ?e
#             cons2 ?o
#             cons2 ?w
#             K
#         )
#     )
#     (
#         # dog
#         d forward
#         (
#             K $
#             cons2 10
#             (f c (succ d) (4 cdr r))
#         )
#         (
#             cons2 ?w
#             cons2 ?o
#             cons2 ?o
#             cons2 ?f
#             K
#         )
#     )
# ]]]]
# K
# 1
# 1

S`SSKS`SSI(SS0)(S`KSK)(S`SSKS(S`K`S`KS(S`K`S`K`S`KS(S`K`S`K`S`K`S(S(S(SI`KK)
`K(S(SI`K0)`KK))`K0)(S`SSKS(S`K`S`KS(S`K`S`K`S`KS(S`K`S(S`KS(S`KK(S`KS(S`KK(
SI`K(S`KS(S`K`S(SI0)K)))))))(S`K`S`K`S`K`S`KK(S`K`S`K`S`K`S`K`S(SI`K(SS(SSSS
(SS0))(S`KSK)))(S`K`S`K`S`K`S`KK(S`SSKS(S`K`S`KS(S`K`S`K`S`KS(S`K`S`K`S`KK(S
IK`S(S`KSK)))))`K`K`K(SSI`S(S`KSK)I(SI`K0)))))))))`K`K`K`K(S(SI`K(SS(S(SSSSS
SS)(SS(SS0)))(S`KSK)))`K(S(SI`K(SS(S(SS0)(SS(SSSS(SS0))))(S`KSK)))`K(S(SI`K(
SS(S(SSS)(SS(SSSS(SS0))))(S`KSK)))`K(S(SI`K(S(S(SSSS(SS0))S)(S(SSS)(SS(SSSS(
SS0))))(S`KSK)))`KK))))))))(S`SSKS(S`K`S`KS(S`K`S`K`S`KS(S`K`S`K`S(S`KS(S`KK
(SI`K(S`KS(S`K`S(SI0)K)))))(S`K`S`K`S`K`S`KK(S`K`S`K`S`K`S`K`S(SI`K(SS(SSSS(
SS0))(S`KSK)))(S`K`S`K`S`K`S`KK(S`SSKS(S`K`S`KS(S`K`S`K`S`KS(S`K`S`K`S`KK(S`
SSKS(S`K`S`KS`S`KK)`K`K`S(S`KSK)))))`K`K`K(SSI`S(S`KSK)I(SI`K0)))))))))`K`K`
K`K(S(SI`K(S(S(SSSS(SS0))S)(S(SSS)(SS(SSSS(SS0))))(S`KSK)))`K(S(SI`K(SS(S(SS
S)(SS(SSSS(SS0))))(S`KSK)))`K(S(SI`K(SS(S(SSS)(SS(SSSS(SS0))))(S`KSK)))`K(S(
SI`K(SS(SS(S(SS0)(SS(SSSS(SS0)))))(S`KSK)))`KK))))))KII