;; Some inspiration from: http://www.its.caltech.edu/~boozer/symbols/pr.html

;; At the left (car) side map even integers to all integers,
;; and odd integers to sublists,
;; and at the right (cdr) side map all integers to sublists,
;; with 0 mapped to the terminating ().


(define (unrank-intsexp rank pr1 pr2)
  (let recurse ((rank rank) (side 'oikea))
    (cond ((eq? side 'oikea) ;; At the right side.
             (cond ((zero? rank) (list)) ;; 0 marks the terminating nil.
                   (else (cons (recurse (pr1 (-1+ rank)) 'vasen)
                               (recurse (pr2 (-1+ rank)) 'oikea)
                         )
                   )
             )
          )
          (else ;; At the left side
             (cond ((zero? (modulo rank 2)) (/ rank 2)) ;; 2n -> n
                   (else (cons (recurse (pr1 (/ (-1+ rank) 2)) 'vasen)
                               (recurse (pr2 (/ (-1+ rank) 2)) 'oikea)
                         )
                   )
             )
          )
    )
  )
)


(define (rank-intsexp is packfun)
  (let recurse ((is is) (side 'oikea))
    (cond ((integer? is) (* is 2)) ;; n -> 2n (integers only on the car-side)
          ((null? is) 0) ;; nils should occur only on the cdr-side.
          (else (1+ (* (if (eq? side 'vasen) 2 1)
                       (packfun (recurse (car is) 'vasen)
                                (recurse (cdr is) 'oikea)
                       )
                    )
                )
          )
    )
  )
)

(define (unrank-intsexp-tr rank) (unrank-intsexp rank A025581 A002262))
(define (rank-intsexp-tr sexp)   (rank-intsexp sexp packA001477))

;; lepreff stands for "Leaves Preserving Forth-Form"

(define (map-int-to-prim-at-level n depth)
    (cond ((eq? 1 depth) (list 'LEPREFF n)) ;; Only calls to other lepreff's allowed.
          ((eq? 2 depth)                    ;; Also SWAPs & recursion calls allowed.
              (cond ((zero? n) 'SWAP)
                    ((eq? 1 n) 'RECURSE)
                    (else (list 'LEPREFF (- n 2)))
              )
          )
          (else ;; Stack depth 3 or more. Also ROTation of the whole stack allowed.
              (cond ((zero? n) 'SWAP)
                    ((eq? 1 n) 'ROTN)
                    ((eq? 2 n) 'RECURSE)
                    (else (list 'LEPREFF (- n 3)))
              )
          )
    )
)



(define (intsexp->lepreff-clause is)
  (let recurse ((is is) (depth 1))
    (cond ((null? is) is)
          ((list? (car is))
             (append! (list '<SNOC>) ;; SNOC
                      (recurse (car is) (1+ depth))
                      (list '<CONS>) ;; CONS
                      (recurse (cdr is) depth)
             )
          )
          (else ;; An integer.
             (cons (map-int-to-prim-at-level (car is) depth)
                   (recurse (cdr is) depth)
             )
          )
    ) ;; cond
  ) ;; let
)

Scheme saved on Monday November 26, 2001 at 10:17:02 PM
  Release 7.6.0
  Microcode 14.5
  Runtime 14.192
  Win32 1.5
  SF 4.38
  Liar (Intel i386) 4.113
  Edwin 3.110

;You are in an interaction window of the Edwin editor.
;Type C-h for help.  C-h m will describe some commands.
;Package: (user)

(load "c:\\karttu\\Nekomorphisms\\gatomorf.scm")
(load "c:\\karttu\\Nekomorphisms\\gatouse1.scm")

(rank-intsexp-tr '((1 0 1)))
;Value: 56954

(rank-intsexp-tr '(((1))))
;Value: 1654


(unrank-intsexp-tr 56954)
;Value 49: ((1 0 1))

(intsexp->lepreff-clause (unrank-intsexp-tr 56954))
;Value 50: (<snoc> recurse swap recurse <cons>)
(intsexp->lepreff-clause (unrank-intsexp-tr 1654))
;Value 54: (<snoc> <snoc> rotn <cons> <cons>)


(define muodot (map intsexp->lepreff-clause (map unrank-intsexp-tr (iota0 1655))))
;Value: muodot


(map prlist muodot)

(lepreff 0)
<SNOC> SWAP <CONS>
(lepreff 0) (lepreff 0)
(lepreff 1)
<SNOC> SWAP <CONS> (lepreff 0)
(lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 1) (lepreff 0)
<SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 2)
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 1) <SNOC> SWAP <CONS>
<SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 0) (lepreff 1)
<SNOC> SWAP SWAP <CONS>
(lepreff 2) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 1) (lepreff 0) (lepreff 0)
<SNOC> SWAP <CONS> (lepreff 1)
(lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 3)
<SNOC> SWAP SWAP <CONS> (lepreff 0)
(lepreff 2) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 1) (lepreff 1)
<SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> RECURSE <CONS>
(lepreff 3) (lepreff 0)
<SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 2) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
(lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 4)
<SNOC> RECURSE <CONS> (lepreff 0)
(lepreff 3) <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 2) (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 1) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 0) (lepreff 1) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS>
(lepreff 4) (lepreff 0)
<SNOC> RECURSE <CONS> <SNOC> SWAP <CONS>
(lepreff 3) (lepreff 0) (lepreff 0)
<SNOC> SWAP SWAP <CONS> (lepreff 1)
(lepreff 2) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 1) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> SWAP <CONS> (lepreff 1) (lepreff 0)
(lepreff 0) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 5)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 0)
(lepreff 4) <SNOC> SWAP <CONS>
<SNOC> RECURSE <CONS> (lepreff 0) (lepreff 0)
(lepreff 3) (lepreff 1)
<SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 2) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 1) (lepreff 1) (lepreff 0)
<SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 0) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS>
(lepreff 5) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 4) (lepreff 0) (lepreff 0)
<SNOC> RECURSE <CONS> (lepreff 1)
(lepreff 3) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 2) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1) (lepreff 0)
(lepreff 1) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> SWAP <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 0) (lepreff 2)
(lepreff 6)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 5) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 4) (lepreff 1)
<SNOC> RECURSE <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 3) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 2) (lepreff 1) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 1) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> SWAP <CONS> (lepreff 2)
(lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS>
(lepreff 6) (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 5) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 1)
(lepreff 4) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> RECURSE <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 3) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> SWAP SWAP <CONS> (lepreff 1) (lepreff 0)
(lepreff 2) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 1) (lepreff 2)
<SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 0) (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 7)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 0)
(lepreff 6) <SNOC> SWAP <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 5) (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 4) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 3) (lepreff 1) (lepreff 0)
<SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 2) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 2)
(lepreff 1) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> SWAP <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 0) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> RECURSE SWAP <CONS>
(lepreff 7) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 6) (lepreff 0) (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 1)
(lepreff 5) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 4) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> RECURSE <CONS> (lepreff 1) (lepreff 0)
(lepreff 3) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 2) (lepreff 2)
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 1) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 0) (lepreff 0) (lepreff 1)
(lepreff 8)
<SNOC> RECURSE SWAP <CONS> (lepreff 0)
(lepreff 7) <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 6) (lepreff 1)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 5) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 4) (lepreff 1) (lepreff 0)
<SNOC> RECURSE <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 3) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> SWAP SWAP <CONS> (lepreff 2)
(lepreff 2) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 1) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> SWAP <CONS> (lepreff 0) (lepreff 1)
(lepreff 0) <SNOC> SWAP SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS>
(lepreff 8) (lepreff 0)
<SNOC> RECURSE SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 7) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 1)
(lepreff 6) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 5) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 1) (lepreff 0)
(lepreff 4) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> RECURSE <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 3) (lepreff 2)
<SNOC> SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 2) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 1) (lepreff 0) (lepreff 1)
<SNOC> SWAP <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 0) (lepreff 2) (lepreff 0)
(lepreff 9)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 8) <SNOC> SWAP <CONS>
<SNOC> RECURSE SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 7) (lepreff 1)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 6) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 5) (lepreff 1) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 4) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> RECURSE <CONS> (lepreff 2)
(lepreff 3) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> SWAP SWAP <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 2) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 1)
(lepreff 1) <SNOC> SWAP SWAP <CONS>
<SNOC> SWAP <CONS> (lepreff 2) (lepreff 0)
(lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP SWAP <CONS>
(lepreff 9) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 8) (lepreff 0) (lepreff 0)
<SNOC> RECURSE SWAP <CONS> (lepreff 1)
(lepreff 7) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 6) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 1) (lepreff 0)
(lepreff 5) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 4) (lepreff 2)
<SNOC> RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 3) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 2) (lepreff 0) (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 1) (lepreff 2) (lepreff 0)
<SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 0) (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 10)
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 0)
(lepreff 9) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 8) (lepreff 1)
<SNOC> RECURSE SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 7) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 6) (lepreff 1) (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 5) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 2)
(lepreff 4) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> RECURSE <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 3) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 1)
(lepreff 2) <SNOC> SWAP SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 2) (lepreff 0)
(lepreff 1) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> SWAP <CONS> (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 0) <SNOC> SWAP <CONS> (lepreff 1)
<SNOC> (lepreff 0) <CONS>
(lepreff 10) (lepreff 0)
<SNOC> SWAP SWAP SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 9) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
(lepreff 8) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> RECURSE SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 7) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 1) (lepreff 0)
(lepreff 6) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 5) (lepreff 2)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 4) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> RECURSE <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 3) (lepreff 0) (lepreff 1)
<SNOC> SWAP SWAP <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 2) (lepreff 2) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 1) (lepreff 1) (lepreff 0) (lepreff 0)
<SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 1)
(lepreff 0) (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 11)
<SNOC> (lepreff 0) <CONS> (lepreff 0)
(lepreff 10) <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 9) (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 8) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> RECURSE SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 7) (lepreff 1) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 6) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 2)
(lepreff 5) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 4) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> RECURSE <CONS> (lepreff 0) (lepreff 1)
(lepreff 3) <SNOC> SWAP SWAP <CONS>
<SNOC> SWAP SWAP <CONS> (lepreff 2) (lepreff 0)
(lepreff 2) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 1) <SNOC> SWAP <CONS> (lepreff 1)
<SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 0) (lepreff 3)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS>
(lepreff 11) (lepreff 0)
<SNOC> (lepreff 0) <CONS> <SNOC> SWAP <CONS>
(lepreff 10) (lepreff 0) (lepreff 0)
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 1)
(lepreff 9) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 8) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> RECURSE SWAP <CONS> (lepreff 1) (lepreff 0)
(lepreff 7) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 6) (lepreff 2)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 5) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 4) (lepreff 0) (lepreff 1)
<SNOC> RECURSE <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 3) (lepreff 2) (lepreff 0)
<SNOC> SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 2) (lepreff 1) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 1)
(lepreff 1) (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP <CONS> (lepreff 3)
(lepreff 0) <SNOC> SWAP SWAP <CONS> (lepreff 0)
(lepreff 12)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> (lepreff 0)
(lepreff 11) <SNOC> SWAP <CONS>
<SNOC> (lepreff 0) <CONS> (lepreff 0) (lepreff 0)
(lepreff 10) (lepreff 1)
<SNOC> SWAP SWAP SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 9) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 8) (lepreff 1) (lepreff 0)
<SNOC> RECURSE SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 7) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 2)
(lepreff 6) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 5) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 0) (lepreff 1)
(lepreff 4) <SNOC> SWAP SWAP <CONS>
<SNOC> RECURSE <CONS> (lepreff 2) (lepreff 0)
(lepreff 3) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP <CONS> (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 2) <SNOC> SWAP <CONS> (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 1) (lepreff 3)
<SNOC> SWAP <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0)
(lepreff 0) (lepreff 2) <SNOC> SWAP <CONS>
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS>
(lepreff 12) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 11) (lepreff 0) (lepreff 0)
<SNOC> (lepreff 0) <CONS> (lepreff 1)
(lepreff 10) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 9) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 1) (lepreff 0)
(lepreff 8) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> RECURSE SWAP <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 7) (lepreff 2)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 6) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 5) (lepreff 0) (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 4) (lepreff 2) (lepreff 0)
<SNOC> RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 3) (lepreff 1) (lepreff 0) (lepreff 0)
<SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 1)
(lepreff 2) (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 3)
(lepreff 1) <SNOC> SWAP SWAP <CONS> (lepreff 0)
<SNOC> SWAP <CONS> (lepreff 2) <SNOC> SWAP <CONS>
(lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 13)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 12) <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 11) (lepreff 1)
<SNOC> (lepreff 0) <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 10) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 9) (lepreff 1) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 8) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> RECURSE SWAP <CONS> (lepreff 2)
(lepreff 7) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 6) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 1)
(lepreff 5) <SNOC> SWAP SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 2) (lepreff 0)
(lepreff 4) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> RECURSE <CONS> (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 3) <SNOC> SWAP <CONS> (lepreff 1)
<SNOC> SWAP SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 2) (lepreff 3)
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0)
(lepreff 1) (lepreff 2) <SNOC> SWAP <CONS>
<SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 0) (lepreff 1) (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS>
(lepreff 13) (lepreff 0)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 12) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> (lepreff 1)
(lepreff 11) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> (lepreff 0) <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 10) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 1) (lepreff 0)
(lepreff 9) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 8) (lepreff 2)
<SNOC> RECURSE SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 7) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 6) (lepreff 0) (lepreff 1)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 5) (lepreff 2) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 4) (lepreff 1) (lepreff 0) (lepreff 0)
<SNOC> RECURSE <CONS> <SNOC> SWAP <CONS> (lepreff 1)
(lepreff 3) (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP SWAP <CONS> (lepreff 3)
(lepreff 2) <SNOC> SWAP SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 2) <SNOC> SWAP <CONS>
(lepreff 1) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
<SNOC> SWAP <CONS> (lepreff 1) (lepreff 1)
(lepreff 0) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 14)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> (lepreff 0)
(lepreff 13) <SNOC> SWAP <CONS>
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 12) (lepreff 1)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 11) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> (lepreff 0) <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 10) (lepreff 1) (lepreff 0)
<SNOC> SWAP SWAP SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 9) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 2)
(lepreff 8) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> RECURSE SWAP <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 7) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 0) (lepreff 1)
(lepreff 6) <SNOC> SWAP SWAP <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 2) (lepreff 0)
(lepreff 5) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 4) <SNOC> SWAP <CONS> (lepreff 1)
<SNOC> RECURSE <CONS> (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 3) (lepreff 3)
<SNOC> SWAP SWAP <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0)
(lepreff 2) (lepreff 2) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 1) (lepreff 1) (lepreff 1)
<SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 0) (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> SWAP RECURSE <CONS>
(lepreff 14) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 13) (lepreff 0) (lepreff 0)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> (lepreff 1)
(lepreff 12) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 11) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> (lepreff 0) <CONS> (lepreff 1) (lepreff 0)
(lepreff 10) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 9) (lepreff 2)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 8) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> RECURSE SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 7) (lepreff 0) (lepreff 1)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 6) (lepreff 2) (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 5) (lepreff 1) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 1)
(lepreff 4) (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> RECURSE <CONS> (lepreff 3)
(lepreff 3) <SNOC> SWAP SWAP <CONS> (lepreff 0)
<SNOC> SWAP SWAP <CONS> (lepreff 2) <SNOC> SWAP <CONS>
(lepreff 2) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1) (lepreff 1)
(lepreff 1) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP <CONS> (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 0) <SNOC> RECURSE <CONS>
(lepreff 15)
<SNOC> SWAP RECURSE <CONS> (lepreff 0)
(lepreff 14) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 13) (lepreff 1)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 12) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 11) (lepreff 1) (lepreff 0)
<SNOC> (lepreff 0) <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 10) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 2)
(lepreff 9) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 8) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> RECURSE SWAP <CONS> (lepreff 0) (lepreff 1)
(lepreff 7) <SNOC> SWAP SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 2) (lepreff 0)
(lepreff 6) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 5) <SNOC> SWAP <CONS> (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 4) (lepreff 3)
<SNOC> RECURSE <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0)
(lepreff 3) (lepreff 2) <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 2) (lepreff 1) (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 1) (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> SWAP <CONS> <SNOC> RECURSE <CONS>
(lepreff 0) (lepreff 3) (lepreff 0)
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS>
(lepreff 15) (lepreff 0)
<SNOC> SWAP RECURSE <CONS> <SNOC> SWAP <CONS>
(lepreff 14) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> (lepreff 1)
(lepreff 13) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 12) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> (lepreff 1) (lepreff 0)
(lepreff 11) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> (lepreff 0) <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 10) (lepreff 2)
<SNOC> SWAP SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 9) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 8) (lepreff 0) (lepreff 1)
<SNOC> RECURSE SWAP <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 7) (lepreff 2) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 6) (lepreff 1) (lepreff 0) (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 1)
(lepreff 5) (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 3)
(lepreff 4) <SNOC> SWAP SWAP <CONS> (lepreff 0)
<SNOC> RECURSE <CONS> (lepreff 2) <SNOC> SWAP <CONS>
(lepreff 3) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
<SNOC> SWAP SWAP <CONS> (lepreff 1) (lepreff 1)
(lepreff 2) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 1) <SNOC> RECURSE <CONS>
<SNOC> SWAP <CONS> (lepreff 3) (lepreff 0)
(lepreff 0) <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 16)
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> (lepreff 0)
(lepreff 15) <SNOC> SWAP <CONS>
<SNOC> SWAP RECURSE <CONS> (lepreff 0) (lepreff 0)
(lepreff 14) (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 13) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 12) (lepreff 1) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 11) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> (lepreff 0) <CONS> (lepreff 2)
(lepreff 10) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 9) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 1)
(lepreff 8) <SNOC> SWAP SWAP <CONS>
<SNOC> RECURSE SWAP <CONS> (lepreff 2) (lepreff 0)
(lepreff 7) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 6) <SNOC> SWAP <CONS> (lepreff 1)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 5) (lepreff 3)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0)
(lepreff 4) (lepreff 2) <SNOC> SWAP <CONS>
<SNOC> RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 3) (lepreff 1) (lepreff 1)
<SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 2) (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE <CONS>
(lepreff 1) (lepreff 3) (lepreff 0)
<SNOC> SWAP <CONS> <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 0) (lepreff 2) (lepreff 0) (lepreff 0)
<SNOC> (lepreff 0) SWAP <CONS>
(lepreff 16) (lepreff 0)
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 15) (lepreff 0) (lepreff 0)
<SNOC> SWAP RECURSE <CONS> (lepreff 1)
(lepreff 14) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 13) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> (lepreff 1) (lepreff 0)
(lepreff 12) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 11) (lepreff 2)
<SNOC> (lepreff 0) <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 10) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 9) (lepreff 0) (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 8) (lepreff 2) (lepreff 0)
<SNOC> RECURSE SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 7) (lepreff 1) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 1)
(lepreff 6) (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 3)
(lepreff 5) <SNOC> SWAP SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 2) <SNOC> SWAP <CONS>
(lepreff 4) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
<SNOC> RECURSE <CONS> (lepreff 1) (lepreff 1)
(lepreff 3) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 2) <SNOC> RECURSE <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 3) (lepreff 0)
(lepreff 1) <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> SWAP <CONS> (lepreff 2) (lepreff 0) (lepreff 0)
(lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
(lepreff 17)
<SNOC> (lepreff 0) SWAP <CONS> (lepreff 0)
(lepreff 16) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 15) (lepreff 1)
<SNOC> SWAP RECURSE <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 14) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 13) (lepreff 1) (lepreff 0)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 12) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> (lepreff 2)
(lepreff 11) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> (lepreff 0) <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 10) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 0) (lepreff 1)
(lepreff 9) <SNOC> SWAP SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 2) (lepreff 0)
(lepreff 8) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> RECURSE SWAP <CONS> (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 7) <SNOC> SWAP <CONS> (lepreff 1)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 6) (lepreff 3)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0)
(lepreff 5) (lepreff 2) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 4) (lepreff 1) (lepreff 1)
<SNOC> RECURSE <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 3) (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP <CONS> <SNOC> RECURSE <CONS>
(lepreff 2) (lepreff 3) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 1) (lepreff 2) (lepreff 0) (lepreff 0)
<SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
(lepreff 0) (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS>
(lepreff 17) (lepreff 0)
<SNOC> (lepreff 0) SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 16) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> (lepreff 1)
(lepreff 15) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP RECURSE <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 14) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> (lepreff 1) (lepreff 0)
(lepreff 13) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 12) (lepreff 2)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 11) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> (lepreff 0) <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 10) (lepreff 0) (lepreff 1)
<SNOC> SWAP SWAP SWAP <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 9) (lepreff 2) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 8) (lepreff 1) (lepreff 0) (lepreff 0)
<SNOC> RECURSE SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 1)
(lepreff 7) (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 3)
(lepreff 6) <SNOC> SWAP SWAP <CONS> (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 2) <SNOC> SWAP <CONS>
(lepreff 5) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 1) (lepreff 1)
(lepreff 4) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> RECURSE <CONS> (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 3) <SNOC> RECURSE <CONS>
<SNOC> SWAP SWAP <CONS> (lepreff 3) (lepreff 0)
(lepreff 2) <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 2) (lepreff 0) (lepreff 0)
(lepreff 1) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
<SNOC> SWAP <CONS> (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 0) <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 18)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 17) <SNOC> SWAP <CONS>
<SNOC> (lepreff 0) SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 16) (lepreff 1)
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 15) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 14) (lepreff 1) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 13) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> (lepreff 2)
(lepreff 12) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 11) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> (lepreff 0) <CONS> (lepreff 0) (lepreff 1)
(lepreff 10) <SNOC> SWAP SWAP <CONS>
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 2) (lepreff 0)
(lepreff 9) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 8) <SNOC> SWAP <CONS> (lepreff 1)
<SNOC> RECURSE SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 7) (lepreff 3)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0)
(lepreff 6) (lepreff 2) <SNOC> SWAP <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 5) (lepreff 1) (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 4) (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> RECURSE <CONS> <SNOC> RECURSE <CONS>
(lepreff 3) (lepreff 3) (lepreff 0)
<SNOC> SWAP SWAP <CONS> <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 2) (lepreff 2) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
(lepreff 1) (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 0) (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> RECURSE SWAP SWAP <CONS>
(lepreff 18) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 17) (lepreff 0) (lepreff 0)
<SNOC> (lepreff 0) SWAP <CONS> (lepreff 1)
(lepreff 16) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 15) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> SWAP RECURSE <CONS> (lepreff 1) (lepreff 0)
(lepreff 14) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 13) (lepreff 2)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 12) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 11) (lepreff 0) (lepreff 1)
<SNOC> (lepreff 0) <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 10) (lepreff 2) (lepreff 0)
<SNOC> SWAP SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 9) (lepreff 1) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 1)
(lepreff 8) (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> RECURSE SWAP <CONS> (lepreff 3)
(lepreff 7) <SNOC> SWAP SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 2) <SNOC> SWAP <CONS>
(lepreff 6) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 1) (lepreff 1)
(lepreff 5) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 4) <SNOC> RECURSE <CONS>
<SNOC> RECURSE <CONS> (lepreff 3) (lepreff 0)
(lepreff 3) <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP <CONS> (lepreff 2) (lepreff 0) (lepreff 0)
(lepreff 2) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 1) <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> SWAP <CONS> (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 0) (lepreff 4)
(lepreff 19)
<SNOC> RECURSE SWAP SWAP <CONS> (lepreff 0)
(lepreff 18) <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 17) (lepreff 1)
<SNOC> (lepreff 0) SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 16) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 15) (lepreff 1) (lepreff 0)
<SNOC> SWAP RECURSE <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 14) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> (lepreff 2)
(lepreff 13) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 12) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> (lepreff 0) (lepreff 1)
(lepreff 11) <SNOC> SWAP SWAP <CONS>
<SNOC> (lepreff 0) <CONS> (lepreff 2) (lepreff 0)
(lepreff 10) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 9) <SNOC> SWAP <CONS> (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 8) (lepreff 3)
<SNOC> RECURSE SWAP <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0)
(lepreff 7) (lepreff 2) <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 6) (lepreff 1) (lepreff 1)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 5) (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> RECURSE <CONS>
(lepreff 4) (lepreff 3) (lepreff 0)
<SNOC> RECURSE <CONS> <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 3) (lepreff 2) (lepreff 0) (lepreff 0)
<SNOC> SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
(lepreff 2) (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 1) (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> SWAP <CONS> (lepreff 4)
(lepreff 0) <SNOC> RECURSE <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> RECURSE <CONS>
(lepreff 19) (lepreff 0)
<SNOC> RECURSE SWAP SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 18) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
(lepreff 17) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> (lepreff 0) SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 16) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> (lepreff 1) (lepreff 0)
(lepreff 15) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> SWAP RECURSE <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 14) (lepreff 2)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 13) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 12) (lepreff 0) (lepreff 1)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 11) (lepreff 2) (lepreff 0)
<SNOC> (lepreff 0) <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 10) (lepreff 1) (lepreff 0) (lepreff 0)
<SNOC> SWAP SWAP SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 1)
(lepreff 9) (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 3)
(lepreff 8) <SNOC> SWAP SWAP <CONS> (lepreff 0)
<SNOC> RECURSE SWAP <CONS> (lepreff 2) <SNOC> SWAP <CONS>
(lepreff 7) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 1) (lepreff 1)
(lepreff 6) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 5) <SNOC> RECURSE <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 3) (lepreff 0)
(lepreff 4) <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> RECURSE <CONS> (lepreff 2) (lepreff 0) (lepreff 0)
(lepreff 3) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
<SNOC> SWAP SWAP <CONS> (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 2) <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 1) (lepreff 4)
<SNOC> SWAP <CONS> <SNOC> RECURSE <CONS> (lepreff 0)
(lepreff 0) (lepreff 3) <SNOC> SWAP <CONS>
(lepreff 20)
<SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> (lepreff 0)
(lepreff 19) <SNOC> SWAP <CONS>
<SNOC> RECURSE SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 18) (lepreff 1)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 17) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> (lepreff 0) SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 16) (lepreff 1) (lepreff 0)
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 15) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> SWAP RECURSE <CONS> (lepreff 2)
(lepreff 14) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 13) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 1)
(lepreff 12) <SNOC> SWAP SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> (lepreff 2) (lepreff 0)
(lepreff 11) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> (lepreff 0) <CONS> (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 10) <SNOC> SWAP <CONS> (lepreff 1)
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 9) (lepreff 3)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0)
(lepreff 8) (lepreff 2) <SNOC> SWAP <CONS>
<SNOC> RECURSE SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 7) (lepreff 1) (lepreff 1)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 6) (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE <CONS>
(lepreff 5) (lepreff 3) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 4) (lepreff 2) (lepreff 0) (lepreff 0)
<SNOC> RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
(lepreff 3) (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 2) (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 4)
(lepreff 1) <SNOC> RECURSE <CONS> (lepreff 0)
<SNOC> SWAP <CONS> (lepreff 3) <SNOC> SWAP <CONS>
(lepreff 0) <SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS>
(lepreff 20) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> <SNOC> SWAP <CONS>
(lepreff 19) (lepreff 0) (lepreff 0)
<SNOC> RECURSE SWAP SWAP <CONS> (lepreff 1)
(lepreff 18) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 17) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> (lepreff 0) SWAP <CONS> (lepreff 1) (lepreff 0)
(lepreff 16) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 15) (lepreff 2)
<SNOC> SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 14) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 13) (lepreff 0) (lepreff 1)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 12) (lepreff 2) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 11) (lepreff 1) (lepreff 0) (lepreff 0)
<SNOC> (lepreff 0) <CONS> <SNOC> SWAP <CONS> (lepreff 1)
(lepreff 10) (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 3)
(lepreff 9) <SNOC> SWAP SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 2) <SNOC> SWAP <CONS>
(lepreff 8) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
<SNOC> RECURSE SWAP <CONS> (lepreff 1) (lepreff 1)
(lepreff 7) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 6) <SNOC> RECURSE <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 3) (lepreff 0)
(lepreff 5) <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 2) (lepreff 0) (lepreff 0)
(lepreff 4) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
<SNOC> RECURSE <CONS> (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 3) <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP <CONS> (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 2) (lepreff 4)
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE <CONS> (lepreff 0)
(lepreff 1) (lepreff 3) <SNOC> SWAP <CONS>
<SNOC> SWAP <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 0) (lepreff 2) (lepreff 1)
(lepreff 21)
<SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 0)
(lepreff 20) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> (lepreff 0) (lepreff 0)
(lepreff 19) (lepreff 1)
<SNOC> RECURSE SWAP SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 18) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 17) (lepreff 1) (lepreff 0)
<SNOC> (lepreff 0) SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 16) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> (lepreff 2)
(lepreff 15) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> SWAP RECURSE <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 14) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> (lepreff 0) (lepreff 1)
(lepreff 13) <SNOC> SWAP SWAP <CONS>
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> (lepreff 2) (lepreff 0)
(lepreff 12) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 11) <SNOC> SWAP <CONS> (lepreff 1)
<SNOC> (lepreff 0) <CONS> (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 10) (lepreff 3)
<SNOC> SWAP SWAP SWAP <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0)
(lepreff 9) (lepreff 2) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 8) (lepreff 1) (lepreff 1)
<SNOC> RECURSE SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 7) (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> <SNOC> RECURSE <CONS>
(lepreff 6) (lepreff 3) (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 5) (lepreff 2) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
(lepreff 4) (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> RECURSE <CONS> <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 3) (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> SWAP SWAP <CONS> (lepreff 4)
(lepreff 2) <SNOC> RECURSE <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 3) <SNOC> SWAP <CONS>
(lepreff 1) <SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> SWAP <CONS> (lepreff 2) (lepreff 1)
(lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> (lepreff 1) <CONS>
(lepreff 21) (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 20) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> (lepreff 1)
(lepreff 19) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> RECURSE SWAP SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 18) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 1) (lepreff 0)
(lepreff 17) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> (lepreff 0) SWAP <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 16) (lepreff 2)
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 15) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> SWAP RECURSE <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 14) (lepreff 0) (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 13) (lepreff 2) (lepreff 0)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 12) (lepreff 1) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 1)
(lepreff 11) (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> (lepreff 0) <CONS> (lepreff 3)
(lepreff 10) <SNOC> SWAP SWAP <CONS> (lepreff 0)
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 2) <SNOC> SWAP <CONS>
(lepreff 9) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 1) (lepreff 1)
(lepreff 8) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> RECURSE SWAP <CONS> (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 7) <SNOC> RECURSE <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 3) (lepreff 0)
(lepreff 6) <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 2) (lepreff 0) (lepreff 0)
(lepreff 5) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 4) <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> RECURSE <CONS> (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 3) (lepreff 4)
<SNOC> SWAP SWAP <CONS> <SNOC> RECURSE <CONS> (lepreff 0)
(lepreff 2) (lepreff 3) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 1) (lepreff 2) (lepreff 1)
<SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 0) (lepreff 1) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 22)
<SNOC> (lepreff 1) <CONS> (lepreff 0)
(lepreff 21) <SNOC> SWAP <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 20) (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 19) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> RECURSE SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 18) (lepreff 1) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 17) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> (lepreff 0) SWAP <CONS> (lepreff 2)
(lepreff 16) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 15) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> SWAP RECURSE <CONS> (lepreff 0) (lepreff 1)
(lepreff 14) <SNOC> SWAP SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> (lepreff 2) (lepreff 0)
(lepreff 13) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 12) <SNOC> SWAP <CONS> (lepreff 1)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 11) (lepreff 3)
<SNOC> (lepreff 0) <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0)
(lepreff 10) (lepreff 2) <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 9) (lepreff 1) (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 8) (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> RECURSE SWAP <CONS> <SNOC> RECURSE <CONS>
(lepreff 7) (lepreff 3) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 6) (lepreff 2) (lepreff 0) (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
(lepreff 5) (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 4) (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> RECURSE <CONS> (lepreff 4)
(lepreff 3) <SNOC> RECURSE <CONS> (lepreff 0)
<SNOC> SWAP SWAP <CONS> (lepreff 3) <SNOC> SWAP <CONS>
(lepreff 2) <SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 2) (lepreff 1)
(lepreff 1) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP <CONS> (lepreff 1) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 0) <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS>
(lepreff 22) (lepreff 0)
<SNOC> (lepreff 1) <CONS> <SNOC> SWAP <CONS>
(lepreff 21) (lepreff 0) (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 1)
(lepreff 20) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 19) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> RECURSE SWAP SWAP <CONS> (lepreff 1) (lepreff 0)
(lepreff 18) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 17) (lepreff 2)
<SNOC> (lepreff 0) SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 16) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 15) (lepreff 0) (lepreff 1)
<SNOC> SWAP RECURSE <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 14) (lepreff 2) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 13) (lepreff 1) (lepreff 0) (lepreff 0)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 1)
(lepreff 12) (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> (lepreff 3)
(lepreff 11) <SNOC> SWAP SWAP <CONS> (lepreff 0)
<SNOC> (lepreff 0) <CONS> (lepreff 2) <SNOC> SWAP <CONS>
(lepreff 10) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 1) (lepreff 1)
(lepreff 9) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 8) <SNOC> RECURSE <CONS>
<SNOC> RECURSE SWAP <CONS> (lepreff 3) (lepreff 0)
(lepreff 7) <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 2) (lepreff 0) (lepreff 0)
(lepreff 6) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 5) <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 4) (lepreff 4)
<SNOC> RECURSE <CONS> <SNOC> RECURSE <CONS> (lepreff 0)
(lepreff 3) (lepreff 3) <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 2) (lepreff 2) (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 1) (lepreff 1) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 0) (lepreff 0) (lepreff 1) (lepreff 0)
(lepreff 23)
<SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> (lepreff 0)
(lepreff 22) <SNOC> SWAP <CONS>
<SNOC> (lepreff 1) <CONS> (lepreff 0) (lepreff 0)
(lepreff 21) (lepreff 1)
<SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 20) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 19) (lepreff 1) (lepreff 0)
<SNOC> RECURSE SWAP SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 18) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 2)
(lepreff 17) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> (lepreff 0) SWAP <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 16) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> (lepreff 0) (lepreff 1)
(lepreff 15) <SNOC> SWAP SWAP <CONS>
<SNOC> SWAP RECURSE <CONS> (lepreff 2) (lepreff 0)
(lepreff 14) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 13) <SNOC> SWAP <CONS> (lepreff 1)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 12) (lepreff 3)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0)
(lepreff 11) (lepreff 2) <SNOC> SWAP <CONS>
<SNOC> (lepreff 0) <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 10) (lepreff 1) (lepreff 1)
<SNOC> SWAP SWAP SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 9) (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE <CONS>
(lepreff 8) (lepreff 3) (lepreff 0)
<SNOC> RECURSE SWAP <CONS> <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 7) (lepreff 2) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
(lepreff 6) (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 5) (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 4)
(lepreff 4) <SNOC> RECURSE <CONS> (lepreff 0)
<SNOC> RECURSE <CONS> (lepreff 3) <SNOC> SWAP <CONS>
(lepreff 3) <SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> SWAP SWAP <CONS> (lepreff 2) (lepreff 1)
(lepreff 2) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 1) <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> SWAP <CONS> (lepreff 0) (lepreff 1) (lepreff 0)
(lepreff 0) <SNOC> <SNOC> SWAP <CONS> SWAP <CONS>
<SNOC> (lepreff 0) <SNOC> SWAP <CONS> <CONS>
(lepreff 23) (lepreff 0)
<SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 22) (lepreff 0) (lepreff 0)
<SNOC> (lepreff 1) <CONS> (lepreff 1)
(lepreff 21) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 20) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> (lepreff 1) (lepreff 0)
(lepreff 19) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> RECURSE SWAP SWAP <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 18) (lepreff 2)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 17) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> (lepreff 0) SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 16) (lepreff 0) (lepreff 1)
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 15) (lepreff 2) (lepreff 0)
<SNOC> SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 14) (lepreff 1) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 1)
(lepreff 13) (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> (lepreff 3)
(lepreff 12) <SNOC> SWAP SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> (lepreff 2) <SNOC> SWAP <CONS>
(lepreff 11) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
<SNOC> (lepreff 0) <CONS> (lepreff 1) (lepreff 1)
(lepreff 10) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 9) <SNOC> RECURSE <CONS>
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 3) (lepreff 0)
(lepreff 8) <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> RECURSE SWAP <CONS> (lepreff 2) (lepreff 0) (lepreff 0)
(lepreff 7) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 6) <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 5) (lepreff 4)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> RECURSE <CONS> (lepreff 0)
(lepreff 4) (lepreff 3) <SNOC> SWAP <CONS>
<SNOC> RECURSE <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 3) (lepreff 2) (lepreff 1)
<SNOC> SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 2) (lepreff 1) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 1) (lepreff 0) (lepreff 1) (lepreff 0)
<SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP <CONS>
(lepreff 0) (lepreff 4) (lepreff 0)
(lepreff 24)
<SNOC> (lepreff 0) <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 23) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 22) (lepreff 1)
<SNOC> (lepreff 1) <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 21) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 20) (lepreff 1) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 19) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> RECURSE SWAP SWAP <CONS> (lepreff 2)
(lepreff 18) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 17) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> (lepreff 0) SWAP <CONS> (lepreff 0) (lepreff 1)
(lepreff 16) <SNOC> SWAP SWAP <CONS>
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> (lepreff 2) (lepreff 0)
(lepreff 15) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> SWAP RECURSE <CONS> (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 14) <SNOC> SWAP <CONS> (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 13) (lepreff 3)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0)
(lepreff 12) (lepreff 2) <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 11) (lepreff 1) (lepreff 1)
<SNOC> (lepreff 0) <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 10) (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP SWAP <CONS> <SNOC> RECURSE <CONS>
(lepreff 9) (lepreff 3) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 8) (lepreff 2) (lepreff 0) (lepreff 0)
<SNOC> RECURSE SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
(lepreff 7) (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 6) (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 4)
(lepreff 5) <SNOC> RECURSE <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 3) <SNOC> SWAP <CONS>
(lepreff 4) <SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> RECURSE <CONS> (lepreff 2) (lepreff 1)
(lepreff 3) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP SWAP <CONS> (lepreff 1) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 2) <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 1) (lepreff 0)
(lepreff 1) <SNOC> <SNOC> SWAP <CONS> SWAP <CONS>
<SNOC> SWAP <CONS> (lepreff 4) (lepreff 0)
(lepreff 0) <SNOC> RECURSE <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP SWAP <CONS>
(lepreff 24) (lepreff 0)
<SNOC> (lepreff 0) <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 23) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> (lepreff 1)
(lepreff 22) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> (lepreff 1) <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 21) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 1) (lepreff 0)
(lepreff 20) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 19) (lepreff 2)
<SNOC> RECURSE SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 18) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 17) (lepreff 0) (lepreff 1)
<SNOC> (lepreff 0) SWAP <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 16) (lepreff 2) (lepreff 0)
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 15) (lepreff 1) (lepreff 0) (lepreff 0)
<SNOC> SWAP RECURSE <CONS> <SNOC> SWAP <CONS> (lepreff 1)
(lepreff 14) (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> (lepreff 3)
(lepreff 13) <SNOC> SWAP SWAP <CONS> (lepreff 0)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> (lepreff 2) <SNOC> SWAP <CONS>
(lepreff 12) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> (lepreff 1) (lepreff 1)
(lepreff 11) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> (lepreff 0) <CONS> (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 10) <SNOC> RECURSE <CONS>
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 3) (lepreff 0)
(lepreff 9) <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 2) (lepreff 0) (lepreff 0)
(lepreff 8) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
<SNOC> RECURSE SWAP <CONS> (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 7) <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 6) (lepreff 4)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE <CONS> (lepreff 0)
(lepreff 5) (lepreff 3) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 4) (lepreff 2) (lepreff 1)
<SNOC> RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 3) (lepreff 1) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 2) (lepreff 0) (lepreff 1) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP <CONS>
(lepreff 1) (lepreff 4) (lepreff 0)
<SNOC> SWAP <CONS> <SNOC> RECURSE <CONS> <SNOC> SWAP <CONS>
(lepreff 0) (lepreff 3) (lepreff 0) (lepreff 0)
(lepreff 25)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP SWAP <CONS> (lepreff 0)
(lepreff 24) <SNOC> SWAP <CONS>
<SNOC> (lepreff 0) <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 23) (lepreff 1)
<SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 22) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> (lepreff 1) <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 21) (lepreff 1) (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 20) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> (lepreff 2)
(lepreff 19) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> RECURSE SWAP SWAP <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 18) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 1)
(lepreff 17) <SNOC> SWAP SWAP <CONS>
<SNOC> (lepreff 0) SWAP <CONS> (lepreff 2) (lepreff 0)
(lepreff 16) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 15) <SNOC> SWAP <CONS> (lepreff 1)
<SNOC> SWAP RECURSE <CONS> (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 14) (lepreff 3)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0)
(lepreff 13) (lepreff 2) <SNOC> SWAP <CONS>
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 12) (lepreff 1) (lepreff 1)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 11) (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> (lepreff 0) <CONS> <SNOC> RECURSE <CONS>
(lepreff 10) (lepreff 3) (lepreff 0)
<SNOC> SWAP SWAP SWAP <CONS> <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 9) (lepreff 2) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
(lepreff 8) (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> RECURSE SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 7) (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 4)
(lepreff 6) <SNOC> RECURSE <CONS> (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 3) <SNOC> SWAP <CONS>
(lepreff 5) <SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 2) (lepreff 1)
(lepreff 4) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> RECURSE <CONS> (lepreff 1) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 3) <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 1) (lepreff 0)
(lepreff 2) <SNOC> <SNOC> SWAP <CONS> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 4) (lepreff 0)
(lepreff 1) <SNOC> RECURSE <CONS> <SNOC> SWAP <CONS>
<SNOC> SWAP <CONS> (lepreff 3) (lepreff 0) (lepreff 0)
(lepreff 0) <SNOC> SWAP SWAP <CONS> (lepreff 1)
<SNOC> RECURSE RECURSE <CONS>
(lepreff 25) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 24) (lepreff 0) (lepreff 0)
<SNOC> (lepreff 0) <SNOC> SWAP <CONS> <CONS> (lepreff 1)
(lepreff 23) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 22) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> (lepreff 1) <CONS> (lepreff 1) (lepreff 0)
(lepreff 21) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 20) (lepreff 2)
<SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 19) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> RECURSE SWAP SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 18) (lepreff 0) (lepreff 1)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 17) (lepreff 2) (lepreff 0)
<SNOC> (lepreff 0) SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 16) (lepreff 1) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 1)
(lepreff 15) (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP RECURSE <CONS> (lepreff 3)
(lepreff 14) <SNOC> SWAP SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> (lepreff 2) <SNOC> SWAP <CONS>
(lepreff 13) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> (lepreff 1) (lepreff 1)
(lepreff 12) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 11) <SNOC> RECURSE <CONS>
<SNOC> (lepreff 0) <CONS> (lepreff 3) (lepreff 0)
(lepreff 10) <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 2) (lepreff 0) (lepreff 0)
(lepreff 9) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 8) <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> RECURSE SWAP <CONS> (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 7) (lepreff 4)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> <SNOC> RECURSE <CONS> (lepreff 0)
(lepreff 6) (lepreff 3) <SNOC> SWAP <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 5) (lepreff 2) (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 4) (lepreff 1) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> RECURSE <CONS> <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 3) (lepreff 0) (lepreff 1) (lepreff 0)
<SNOC> SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP <CONS>
(lepreff 2) (lepreff 4) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE <CONS> <SNOC> SWAP <CONS>
(lepreff 1) (lepreff 3) (lepreff 0) (lepreff 0)
<SNOC> SWAP <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 1)
(lepreff 0) (lepreff 2) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 26)
<SNOC> RECURSE RECURSE <CONS> (lepreff 0)
(lepreff 25) <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 24) (lepreff 1)
<SNOC> (lepreff 0) <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 23) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 22) (lepreff 1) (lepreff 0)
<SNOC> (lepreff 1) <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 21) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 2)
(lepreff 20) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 19) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> RECURSE SWAP SWAP <CONS> (lepreff 0) (lepreff 1)
(lepreff 18) <SNOC> SWAP SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 2) (lepreff 0)
(lepreff 17) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> (lepreff 0) SWAP <CONS> (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 16) <SNOC> SWAP <CONS> (lepreff 1)
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 15) (lepreff 3)
<SNOC> SWAP RECURSE <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0)
(lepreff 14) (lepreff 2) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 13) (lepreff 1) (lepreff 1)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 12) (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> <SNOC> RECURSE <CONS>
(lepreff 11) (lepreff 3) (lepreff 0)
<SNOC> (lepreff 0) <CONS> <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 10) (lepreff 2) (lepreff 0) (lepreff 0)
<SNOC> SWAP SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
(lepreff 9) (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 8) (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> RECURSE SWAP <CONS> (lepreff 4)
(lepreff 7) <SNOC> RECURSE <CONS> (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 3) <SNOC> SWAP <CONS>
(lepreff 6) <SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 2) (lepreff 1)
(lepreff 5) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 1) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 4) <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> RECURSE <CONS> (lepreff 0) (lepreff 1) (lepreff 0)
(lepreff 3) <SNOC> <SNOC> SWAP <CONS> SWAP <CONS>
<SNOC> SWAP SWAP <CONS> (lepreff 4) (lepreff 0)
(lepreff 2) <SNOC> RECURSE <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 3) (lepreff 0) (lepreff 0)
(lepreff 1) <SNOC> SWAP SWAP <CONS> (lepreff 1)
<SNOC> SWAP <CONS> (lepreff 2) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> SWAP <CONS>
(lepreff 26) (lepreff 0)
<SNOC> RECURSE RECURSE <CONS> <SNOC> SWAP <CONS>
(lepreff 25) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP SWAP <CONS> (lepreff 1)
(lepreff 24) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> (lepreff 0) <SNOC> SWAP <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 23) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> (lepreff 1) (lepreff 0)
(lepreff 22) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> (lepreff 1) <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 21) (lepreff 2)
<SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 20) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 19) (lepreff 0) (lepreff 1)
<SNOC> RECURSE SWAP SWAP <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 18) (lepreff 2) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 17) (lepreff 1) (lepreff 0) (lepreff 0)
<SNOC> (lepreff 0) SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 1)
(lepreff 16) (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> (lepreff 3)
(lepreff 15) <SNOC> SWAP SWAP <CONS> (lepreff 0)
<SNOC> SWAP RECURSE <CONS> (lepreff 2) <SNOC> SWAP <CONS>
(lepreff 14) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> (lepreff 1) (lepreff 1)
(lepreff 13) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 12) <SNOC> RECURSE <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> (lepreff 3) (lepreff 0)
(lepreff 11) <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> (lepreff 0) <CONS> (lepreff 2) (lepreff 0) (lepreff 0)
(lepreff 10) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 9) <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 8) (lepreff 4)
<SNOC> RECURSE SWAP <CONS> <SNOC> RECURSE <CONS> (lepreff 0)
(lepreff 7) (lepreff 3) <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 6) (lepreff 2) (lepreff 1)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 5) (lepreff 1) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 4) (lepreff 0) (lepreff 1) (lepreff 0)
<SNOC> RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP <CONS>
(lepreff 3) (lepreff 4) (lepreff 0)
<SNOC> SWAP SWAP <CONS> <SNOC> RECURSE <CONS> <SNOC> SWAP <CONS>
(lepreff 2) (lepreff 3) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 1)
(lepreff 1) (lepreff 2) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 0) (lepreff 1) <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 27)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 0)
(lepreff 26) <SNOC> SWAP <CONS>
<SNOC> RECURSE RECURSE <CONS> (lepreff 0) (lepreff 0)
(lepreff 25) (lepreff 1)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 24) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> (lepreff 0) <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 23) (lepreff 1) (lepreff 0)
<SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 22) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> (lepreff 1) <CONS> (lepreff 2)
(lepreff 21) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 20) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> (lepreff 0) (lepreff 1)
(lepreff 19) <SNOC> SWAP SWAP <CONS>
<SNOC> RECURSE SWAP SWAP <CONS> (lepreff 2) (lepreff 0)
(lepreff 18) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 17) <SNOC> SWAP <CONS> (lepreff 1)
<SNOC> (lepreff 0) SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 16) (lepreff 3)
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0)
(lepreff 15) (lepreff 2) <SNOC> SWAP <CONS>
<SNOC> SWAP RECURSE <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 14) (lepreff 1) (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 13) (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE <CONS>
(lepreff 12) (lepreff 3) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 11) (lepreff 2) (lepreff 0) (lepreff 0)
<SNOC> (lepreff 0) <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
(lepreff 10) (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP SWAP SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 9) (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 4)
(lepreff 8) <SNOC> RECURSE <CONS> (lepreff 0)
<SNOC> RECURSE SWAP <CONS> (lepreff 3) <SNOC> SWAP <CONS>
(lepreff 7) <SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 2) (lepreff 1)
(lepreff 6) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 1) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 5) <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 0) (lepreff 1) (lepreff 0)
(lepreff 4) <SNOC> <SNOC> SWAP <CONS> SWAP <CONS>
<SNOC> RECURSE <CONS> (lepreff 4) (lepreff 0)
(lepreff 3) <SNOC> RECURSE <CONS> <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP <CONS> (lepreff 3) (lepreff 0) (lepreff 0)
(lepreff 2) <SNOC> SWAP SWAP <CONS> (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 2) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 1) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> SWAP <CONS> (lepreff 1) <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 0) <SNOC> SWAP <CONS> (lepreff 1) (lepreff 0)
<SNOC> SWAP SWAP <SNOC> SWAP <CONS> <CONS>
(lepreff 27) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 26) (lepreff 0) (lepreff 0)
<SNOC> RECURSE RECURSE <CONS> (lepreff 1)
(lepreff 25) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 24) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> (lepreff 0) <SNOC> SWAP <CONS> <CONS> (lepreff 1) (lepreff 0)
(lepreff 23) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> (lepreff 0) (lepreff 0) (lepreff 0)
(lepreff 22) (lepreff 2)
<SNOC> (lepreff 1) <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 21) (lepreff 1) <SNOC> SWAP <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 20) (lepreff 0) (lepreff 1)
<SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> <SNOC> SWAP SWAP <CONS>
(lepreff 19) (lepreff 2) (lepreff 0)
<SNOC> RECURSE SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
(lepreff 18) (lepreff 1) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 1)
(lepreff 17) (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> (lepreff 0) SWAP <CONS> (lepreff 3)
(lepreff 16) <SNOC> SWAP SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> (lepreff 2) <SNOC> SWAP <CONS>
(lepreff 15) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
<SNOC> SWAP RECURSE <CONS> (lepreff 1) (lepreff 1)
(lepreff 14) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 13) <SNOC> RECURSE <CONS>
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> (lepreff 3) (lepreff 0)
(lepreff 12) <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> (lepreff 2) (lepreff 0) (lepreff 0)
(lepreff 11) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
<SNOC> (lepreff 0) <CONS> (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 10) <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 9) (lepreff 4)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> <SNOC> RECURSE <CONS> (lepreff 0)
(lepreff 8) (lepreff 3) <SNOC> SWAP <CONS>
<SNOC> RECURSE SWAP <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 7) (lepreff 2) (lepreff 1)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 6) (lepreff 1) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 5) (lepreff 0) (lepreff 1) (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> SWAP <CONS>
(lepreff 4) (lepreff 4) (lepreff 0)
<SNOC> RECURSE <CONS> <SNOC> RECURSE <CONS> <SNOC> SWAP <CONS>
(lepreff 3) (lepreff 3) (lepreff 0) (lepreff 0)
<SNOC> SWAP SWAP <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 1)
(lepreff 2) (lepreff 2) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 1) (lepreff 1) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 1) (lepreff 0)
(lepreff 0) (lepreff 0) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 28)
<SNOC> SWAP SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 0)
(lepreff 27) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 0) (lepreff 0)
(lepreff 26) (lepreff 1)
<SNOC> RECURSE RECURSE <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 25) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 24) (lepreff 1) (lepreff 0)
<SNOC> (lepreff 0) <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 23) (lepreff 0) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> SWAP SWAP <CONS> SWAP <CONS> (lepreff 2)
(lepreff 22) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0)
<SNOC> (lepreff 1) <CONS> (lepreff 1) <SNOC> SWAP <CONS>
(lepreff 21) <SNOC> SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> SWAP <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 0) (lepreff 1)
(lepreff 20) <SNOC> SWAP SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> RECURSE <CONS> (lepreff 2) (lepreff 0)
(lepreff 19) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS>
<SNOC> RECURSE SWAP SWAP <CONS> (lepreff 1) (lepreff 0) (lepreff 0)
(lepreff 18) <SNOC> SWAP <CONS> (lepreff 1)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 17) (lepreff 3)
<SNOC> (lepreff 0) SWAP <CONS> <SNOC> SWAP SWAP <CONS> (lepreff 0)
(lepreff 16) (lepreff 2) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP SWAP <CONS> <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 0)
(lepreff 15) (lepreff 1) (lepreff 1)
<SNOC> SWAP RECURSE <CONS> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 14) (lepreff 0) (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP SWAP <CONS> <SNOC> RECURSE <CONS>
(lepreff 13) (lepreff 3) (lepreff 0)
<SNOC> RECURSE <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 12) (lepreff 2) (lepreff 0) (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1)
(lepreff 11) (lepreff 1) <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> (lepreff 0) <CONS> <SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 10) (lepreff 0) <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> SWAP SWAP SWAP <CONS> (lepreff 4)
(lepreff 9) <SNOC> RECURSE <CONS> (lepreff 0)
<SNOC> <SNOC> SWAP <CONS> <SNOC> SWAP <CONS> <CONS> (lepreff 3) <SNOC> SWAP <CONS>
(lepreff 8) <SNOC> SWAP SWAP <CONS> (lepreff 0) (lepreff 0)
<SNOC> RECURSE SWAP <CONS> (lepreff 2) (lepreff 1)
(lepreff 7) <SNOC> <SNOC> SWAP <CONS> <CONS> <SNOC> SWAP <CONS> (lepreff 0)
<SNOC> <SNOC> <SNOC> SWAP <CONS> <CONS> <CONS> (lepreff 1) (lepreff 0) <SNOC> SWAP <CONS>
(lepreff 6) <SNOC> SWAP <CONS> <SNOC> <SNOC> SWAP <CONS> <CONS>
<SNOC> SWAP <SNOC> SWAP <CONS> <CONS> (lepreff 0) (lepreff 1) (lepreff 0)
(lepreff 5) <SNOC> <SNOC> SWAP <CONS> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> SWAP <CONS> (lepreff 4) (lepreff 0)
(lepreff 4) <SNOC> RECURSE <CONS> <SNOC> SWAP <CONS>
<SNOC> RECURSE <CONS> (lepreff 3) (lepreff 0) (lepreff 0)
(lepreff 3) <SNOC> SWAP SWAP <CONS> (lepreff 1)
<SNOC> SWAP SWAP <CONS> (lepreff 2) <SNOC> SWAP <CONS> (lepreff 0)
(lepreff 2) <SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 0) <SNOC> SWAP <CONS>
<SNOC> <SNOC> SWAP <CONS> <CONS> (lepreff 1) <SNOC> <SNOC> SWAP <CONS> <CONS>
(lepreff 1) <SNOC> SWAP <CONS> (lepreff 1) (lepreff 0)
<SNOC> SWAP <CONS> (lepreff 0) <SNOC> SWAP <CONS> <SNOC> SWAP <CONS>
(lepreff 0) (lepreff 5)
<SNOC> <SNOC> ROTN <CONS> <CONS>
(lepreff 28) (lepreff 0)