SS(SSI(SS0))(S`KSK)(S`K`S(S`KS`SI)(S`K`S`KK(S`K`SI(S`KKK))))(S`K(S`SSKS`SI(S
`KK(S`K(S`SSKSKI(S(S`K(SSI)(S`KS(S`KS(S`KK(S`SSKS(S`KK(S`KS(S`K`S(S`K(SSSI`S
SS(SS0)(S`KSK)(S`K`SIK)`K0)(S(S(SS`K`S`K`SI)`KK)`K`KK))(S`K`S`K`S(SI`K(SS(SS
SS(SS0))(S`KSK)))(S`K`S`KK(S`SSKSK`K(S(SSS)(SS0)(S`KSK)(SI`K0))))))))`K(S`K`
S(S`KS`SI)(S`K`S`KK(S`K`SI(S`KKK)))))))))0)I)(SI`K0))))(SS(SS0)(S`KSK)(SI`K0
)))

## source
# 5
# [f.[r.
#     setcdr2 o-cdr2 f r r
# ]]
# [r.
#     [r.
#         setcdr2
#         (
#             2
#             [f.[r.
#                 y1
#                 [g.[r.
#                     iflt2 (car1 r) 36
#                     (cons2 10 (f (6 cdr r)))
#                     (setcdr2 o-cdr2 g r r)
#                 ]]
#                 r
#             ]]
#             I
#             (cdr1 r)
#         )
#         r
#     ]
#     (3 cdr r)
# ]