[
  "(lam (fix1 $0 (lam (lam (if (empty? $0) 0 (+ ($1 (cdr $0)) 1))))))",
  "(lam (fn_0 $0 (lam 0) (lam (+ 1))))",
  "(lam (fix1 $0 (lam (lam (+ (if (empty? (cdr $0)) 0 ($1 (cdr $0))) 1)))))",
  "(lam (fix1 $0 (lam (lam (+ 1 (if (empty? (cdr $0)) 0 ($1 (cdr $0))))))))",
  "(lam (fix1 $0 (lam (lam (if (empty? (cdr $0)) 1 (+ 1 ($1 (cdr $0))))))))",
  "(lam (fix1 $0 (lam (lam (if (eq? $0 0) empty (cons (+ 1 $0) ($1 (- $0 1))))))))",
  "(lam (fix1 $0 (lam (lam (if (eq? 0 $0) empty (cons (+ $0 1) ($1 (- $0 1))))))))",
  "(lam (fix1 $0 (lam (lam (if (eq? 0 $0) empty (cons (+ 1 $0) ($1 (- $0 1))))))))",
  "(lam (fix1 $0 (lam (lam (if (gt? $0 0) (cons (+ $0 1) ($1 (- $0 1))) empty)))))",
  "(lam (fix1 $0 (lam (lam (if (gt? $0 0) (cons (+ 1 $0) ($1 (- $0 1))) empty)))))",
  "(lam (fix1 $0 (lam (lam (if (eq? $0 0) empty (cons (- 0 $0) ($1 (+ 1 $0))))))))",
  "(lam (fix1 $0 (lam (lam (if (eq? 0 $0) empty (cons (- 0 $0) ($1 (+ $0 1))))))))",
  "(lam (fix1 $0 (lam (lam (if (eq? 0 $0) empty (cons (- 0 $0) ($1 (+ 1 $0))))))))",
  "(lam (fix1 $0 (lam (lam (if (gt? 0 $0) (cons (- 0 $0) ($1 (+ $0 1))) empty)))))",
  "(lam (fix1 $0 (lam (lam (if (gt? 0 $0) (cons (- 0 $0) ($1 (+ 1 $0))) empty)))))",
  "(lam (fix1 $0 (lam (lam (if (empty? $0) empty (cons (car $0) ($1 (cdr (cdr $0)))))))))",
  "(lam (fix1 $0 (lam (lam (if (empty? $0) $0 (cons (car $0) ($1 (cdr (cdr $0)))))))))",
  "(lam (fix1 $0 (lam (lam (if (empty? (if (empty? $0) empty $0)) empty (cons (car $0) ($1 (cdr (cdr $0)))))))))",
  "(lam (fix1 $0 (lam (lam (if (empty? (cdr $0)) empty (cons (car $0) ($1 (cdr $0))))))))",
  "(lam (fix1 $0 (lam (lam (cons (car $0) (if (empty? (cdr (cdr $0))) empty ($1 (cdr $0))))))))",
  "(lam (fix1 $0 (lam (lam (if (empty? (cdr $0)) (cdr $0) (cons (car $0) ($1 (cdr $0))))))))",
  "(lam (fix1 $0 (lam (lam (cdr (if (empty? (cdr $0)) $0 (cons 0 (cons (car $0) ($1 (cdr $0))))))))))",
  "(lam (fix1 $0 (lam (lam (cdr (if (empty? (cdr $0)) $0 (cons 1 (cons (car $0) ($1 (cdr $0))))))))))",
  "(lam (fix1 $0 (lam (lam (if (empty? $0) empty (cons (car $0) (cons (car $0) ($1 (cdr $0)))))))))",
  "(lam (fix1 $0 (lam (lam (if (empty? $0) $0 (cons (car $0) (cons (car $0) ($1 (cdr $0)))))))))",
  "(lam (fix1 $0 (lam (lam (cons (car $0) (cons (car $0) (if (empty? (cdr $0)) empty ($1 (cdr $0)))))))))",
  "(lam (fix1 $0 (lam (lam (if (empty? $0) 0 (+ ($1 (cdr $0)) (car $0)))))))",
  "(lam (fn_0 $0 (lam 0) (lam (+ $0))))",
  "(lam (fix1 $0 (lam (lam (+ (car $0) (if (empty? (cdr $0)) 0 ($1 (cdr $0))))))))",
  "(lam (fix1 $0 (lam (lam (+ (if (empty? (cdr $0)) 0 ($1 (cdr $0))) (car $0))))))",
  "(lam (fix1 $0 (lam (lam (if (empty? (cdr $0)) (car $0) (+ ($1 (cdr $0)) (car $0)))))))",
  "(lam (fn_0 $0 (lam (cons 0 empty)) (lam (cons $0))))",
  "(lam (fn_0 $0 (lam (cons 0 $0)) (lam (cons $0))))",
  "(lam (fix1 $0 (lam (lam (cons (car $0) (if (empty? (cdr $0)) (cons 0 empty) ($1 (cdr $0))))))))",
  "(lam (fn_0 $0 (lam (cons (- 1 1) empty)) (lam (cons $0))))",
  "(lam (fix1 $0 (lam (lam (cons (if (empty? $0) 0 (car $0)) (if (empty? $0) empty ($1 (cdr $0))))))))",
  "(lam (fn_0 $0 (lam empty) (lam (cons (+ $0 $0)))))",
  "(lam (fn_0 $0 (lam $0) (lam (cons (+ $0 $0)))))",
  "(lam (fix1 $0 (lam (lam (cons (+ (car $0) (car $0)) (if (empty? (cdr $0)) empty ($1 (cdr $0))))))))",
  "(lam (fn_0 $0 (lam empty) (lam (cons (+ $0 1)))))",
  "(lam (fn_0 $0 (lam empty) (lam (cons (+ 1 $0)))))",
  "(lam (fn_0 $0 (lam $0) (lam (cons (+ $0 1)))))",
  "(lam (fn_0 $0 (lam $0) (lam (cons (+ 1 $0)))))",
  "(lam (fix1 $0 (lam (lam (cons (+ (car $0) 1) (if (empty? (cdr $0)) empty ($1 (cdr $0))))))))",
  "(lam (fn_0 $0 (lam empty) (lam (cons (- 0 $0)))))",
  "(lam (fn_0 $0 (lam $0) (lam (cons (- 0 $0)))))",
  "(lam (fix1 $0 (lam (lam (cons (- 0 (car $0)) (if (empty? (cdr $0)) empty ($1 (cdr $0))))))))",
  "(lam (fn_0 $0 (lam empty) (lam (cons (- 1 (+ $0 1))))))",
  "(lam (fn_0 $0 (lam empty) (lam (cons (- 1 (+ 1 $0))))))"
]