SSI`S`S`K(S`K(SS(SSSS(SS0))(S`KSK)(S`K`S(S`KS(S`K`SI(S`KK(S(S(S(S(SI`KK)`K(S
I`K0))`K(SSI`S`S`K(S`K`S(SI`K(S(SS(SSI(SS0)))(SS0)))(S`KK(S`K`S(SI`K(SS(SS(S
S(S(SSSSSSSSS)(SS0))))))(S`KK(S`K`S(SI`K(SS(S(SSS)(SS(S(SSS)(SS0))))))(S`KK(
S`K`S(SI`K(SS(S(SI(SS0))(SSI(SS(SS0))))))K)))))))I))`KK)`K(S`KSK)))))(S`K`S`
KK(S`K`SI(S`KKK)))))(S`SSKS(S`KK(S`K`S(S`KS`SI)(S`K`S`KK(S`K`SI(S`KKK)))))`K
(SS(S(SSSSS)(SS0))(S`KSK)(SI`K0))))I

# xlist =
#     y1
#     [f.
#         cons2 32'
#         cons2 ?3'
#         cons2 ?9'
#         cons2 ?7'
#         f
#     ]
# ;
# 
# y1
# [f.
#     10
#     [g.[r.
#         cons2 (nth2 car1 r xlist ucc)
#         o-cdr2 g r
#     ]]
#     [r.
#         forward
#         f
#         (13 cdr r)
#     ]
# ]