takr.scm

Scheme跨平台编译器

;;; takr.scm


(define (tak0 x y z)
  (cond ((not (< y x)) z)
        (else (tak1 (tak37 (- x 1) y z)
                 (tak11 (- y 1) z x)
                 (tak17 (- z 1) x y)))))
(define (tak1 x y z)
  (cond ((not (< y x)) z)
        (else (tak2 (tak74 (- x 1) y z)
                 (tak22 (- y 1) z x)
                 (tak34 (- z 1) x y)))))
(define (tak2 x y z)
  (cond ((not (< y x)) z)
        (else (tak3 (tak11 (- x 1) y z)
                 (tak33 (- y 1) z x)
                 (tak51 (- z 1) x y)))))
(define (tak3 x y z)
  (cond ((not (< y x)) z)
        (else (tak4 (tak48 (- x 1) y z)
                 (tak44 (- y 1) z x)
                 (tak68 (- z 1) x y)))))
(define (tak4 x y z)
  (cond ((not (< y x)) z)
        (else (tak5 (tak85 (- x 1) y z)
                 (tak55 (- y 1) z x)
                 (tak85 (- z 1) x y)))))
(define (tak5 x y z)
  (cond ((not (< y x)) z)
        (else (tak6 (tak22 (- x 1) y z)
                 (tak66 (- y 1) z x)
                 (tak2 (- z 1) x y)))))
(define (tak6 x y z)
  (cond ((not (< y x)) z)
        (else (tak7 (tak59 (- x 1) y z)
                 (tak77 (- y 1) z x)
                 (tak19 (- z 1) x y)))))
(define (tak7 x y z)
  (cond ((not (< y x)) z)
        (else (tak8 (tak96 (- x 1) y z)
                 (tak88 (- y 1) z x)
                 (tak36 (- z 1) x y)))))
(define (tak8 x y z)
  (cond ((not (< y x)) z)
        (else (tak9 (tak33 (- x 1) y z)
                 (tak99 (- y 1) z x)
                 (tak53 (- z 1) x y)))))
(define (tak9 x y z)
  (cond ((not (< y x)) z)
        (else (tak10 (tak70 (- x 1) y z)
                  (tak10 (- y 1) z x)
                  (tak70 (- z 1) x y)))))
(define (tak10 x y z)
  (cond ((not (< y x)) z)
        (else (tak11 (tak7 (- x 1) y z)
                  (tak21 (- y 1) z x)
                  (tak87 (- z 1) x y)))))
(define (tak11 x y z)
  (cond ((not (< y x)) z)
        (else (tak12 (tak44 (- x 1) y z)
                  (tak32 (- y 1) z x)
                  (tak4 (- z 1) x y)))))
(define (tak12 x y z)
  (cond ((not (< y x)) z)
        (else (tak13 (tak81 (- x 1) y z)
                  (tak43 (- y 1) z x)
                  (tak21 (- z 1) x y)))))
 
(define (tak13 x y z)
  (cond ((not (< y x)) z)
        (else (tak14 (tak18 (- x 1) y z)
                  (tak54 (- y 1) z x)
                  (tak38 (- z 1) x y)))))
(define (tak14 x y z)
  (cond ((not (< y x)) z)
        (else (tak15 (tak55 (- x 1) y z)
                  (tak65 (- y 1) z x)
                  (tak55 (- z 1) x y)))))
(define (tak15 x y z)
  (cond ((not (< y x)) z)
        (else (tak16 (tak92 (- x 1) y z)
                  (tak76 (- y 1) z x)
                  (tak72 (- z 1) x y)))))
(define (tak16 x y z)
  (cond ((not (< y x)) z)
        (else (tak17 (tak29 (- x 1) y z)
                  (tak87 (- y 1) z x)
                  (tak89 (- z 1) x y)))))
(define (tak17 x y z)
  (cond ((not (< y x)) z)
        (else (tak18 (tak66 (- x 1) y z)
                  (tak98 (- y 1) z x)
                  (tak6 (- z 1) x y)))))
(define (tak18 x y z)
  (cond ((not (< y x)) z)
        (else (tak19 (tak3 (- x 1) y z)
                  (tak9 (- y 1) z x)
                  (tak23 (- z 1) x y)))))
(define (tak19 x y z)
  (cond ((not (< y x)) z)
        (else (tak20 (tak40 (- x 1) y z)
                  (tak20 (- y 1) z x)
                  (tak40 (- z 1) x y)))))
(define (tak20 x y z)
  (cond ((not (< y x)) z)
        (else (tak21 (tak77 (- x 1) y z)
                  (tak31 (- y 1) z x)
                  (tak57 (- z 1) x y)))))
(define (tak21 x y z)
  (cond ((not (< y x)) z)
        (else (tak22 (tak14 (- x 1) y z)
                  (tak42 (- y 1) z x)
                  (tak74 (- z 1) x y)))))
(define (tak22 x y z)
  (cond ((not (< y x)) z)
        (else (tak23 (tak51 (- x 1) y z)
                  (tak53 (- y 1) z x)
                  (tak91 (- z 1) x y)))))
(define (tak23 x y z)
  (cond ((not (< y x)) z)
        (else (tak24 (tak88 (- x 1) y z)
                  (tak64 (- y 1) z x)
                  (tak8 (- z 1) x y)))))
(define (tak24 x y z)
  (cond ((not (< y x)) z)
        (else (tak25 (tak25 (- x 1) y z)
                  (tak75 (- y 1) z x)
                  (tak25 (- z 1) x y)))))
(define (tak25 x y z)
  (cond ((not (< y x)) z)
        (else (tak26 (tak62 (- x 1) y z)
                  (tak86 (- y 1) z x)
                  (tak42 (- z 1) x y)))))
(define (tak26 x y z)
  (cond ((not (< y x)) z)
        (else (tak27 (tak99 (- x 1) y z)
                  (tak97 (- y 1) z x)
                  (tak59 (- z 1) x y)))))
(define (tak27 x y z)
  (cond ((not (< y x)) z)
        (else (tak28 (tak36 (- x 1) y z)
                  (tak8 (- y 1) z x)
                  (tak76 (- z 1) x y)))))
(define (tak28 x y z)
  (cond ((not (< y x)) z)
        (else (tak29 (tak73 (- x 1) y z)
                  (tak19 (- y 1) z x)
                  (tak93 (- z 1) x y)))))
(define (tak29 x y z)
  (cond ((not (< y x)) z)
        (else (tak30 (tak10 (- x 1) y z)
                  (tak30 (- y 1) z x)
                  (tak10 (- z 1) x y)))))
(define (tak30 x y z)
  (cond ((not (< y x)) z)
        (else (tak31 (tak47 (- x 1) y z)
                  (tak41 (- y 1) z x)
                  (tak27 (- z 1) x y)))))
(define (tak31 x y z)
  (cond ((not (< y x)) z)
        (else (tak32 (tak84 (- x 1) y z)
                  (tak52 (- y 1) z x)
                  (tak44 (- z 1) x y)))))
(define (tak32 x y z)
  (cond ((not (< y x)) z)
        (else (tak33 (tak21 (- x 1) y z)
                  (tak63 (- y 1) z x)
                  (tak61 (- z 1) x y)))))
(define (tak33 x y z)
  (cond ((not (< y x)) z)
        (else (tak34 (tak58 (- x 1) y z)
                  (tak74 (- y 1) z x)
                  (tak78 (- z 1) x y)))))
(define (tak34 x y z)
  (cond ((not (< y x)) z)
        (else (tak35 (tak95 (- x 1) y z)
                  (tak85 (- y 1) z x)
                  (tak95 (- z 1) x y)))))
(define (tak35 x y z)
  (cond ((not (< y x)) z)
        (else (tak36 (tak32 (- x 1) y z)
                  (tak96 (- y 1) z x)
                  (tak12 (- z 1) x y)))))
(define (tak36 x y z)
  (cond ((not (< y x)) z)
        (else (tak37 (tak69 (- x 1) y z)
                  (tak7 (- y 1) z x)
                  (tak29 (- z 1) x y)))))
(define (tak37 x y z)
  (cond ((not (< y x)) z)
        (else (tak38 (tak6 (- x 1) y z)
                  (tak18 (- y 1) z x)
                  (tak46 (- z 1) x y)))))
(define (tak38 x y z)
  (cond ((not (< y x)) z)
        (else (tak39 (tak43 (- x 1) y z)
                  (tak29 (- y 1) z x)
                  (tak63 (- z 1) x y)))))
(define (tak39 x y z)
  (cond ((not (< y x)) z)
        (else (tak40 (tak80 (- x 1) y z)
                  (tak40 (- y 1) z x)
                  (tak80 (- z 1) x y)))))
(define (tak40 x y z)
  (cond ((not (< y x)) z)
        (else (tak41 (tak17 (- x 1) y z)
                  (tak51 (- y 1) z x)
                  (tak97 (- z 1) x y)))))
(define (tak41 x y z)
  (cond ((not (< y x)) z)
        (else (tak42 (tak54 (- x 1) y z)
                  (tak62 (- y 1) z x)
                  (tak14 (- z 1) x y)))))
(define (tak42 x y z)
  (cond ((not (< y x)) z)
        (else (tak43 (tak91 (- x 1) y z)
                  (tak73 (- y 1) z x)
                  (tak31 (- z 1) x y)))))
(define (tak43 x y z)
  (cond ((not (< y x)) z)
        (else (tak44 (tak28 (- x 1) y z)
                  (tak84 (- y 1) z x)
                  (tak48 (- z 1) x y)))))
(define (tak44 x y z)
  (cond ((not (< y x)) z)
        (else (tak45 (tak65 (- x 1) y z)
                  (tak95 (- y 1) z x)
                  (tak65 (- z 1) x y)))))
(define (tak45 x y z)
  (cond ((not (< y x)) z)
        (else (tak46 (tak2 (- x 1) y z)
                  (tak6 (- y 1) z x)
                  (tak82 (- z 1) x y)))))
(define (tak46 x y z)
  (cond ((not (< y x)) z)
        (else (tak47 (tak39 (- x 1) y z)
                  (tak17 (- y 1) z x)
                  (tak99 (- z 1) x y)))))
(define (tak47 x y z)
  (cond ((not (< y x)) z)
        (else (tak48 (tak76 (- x 1) y z)
                  (tak28 (- y 1) z x)
                  (tak16 (- z 1) x y)))))
(define (tak48 x y z)
  (cond ((not (< y x)) z)
        (else (tak49 (tak13 (- x 1) y z)
                  (tak39 (- y 1) z x)
                  (tak33 (- z 1) x y)))))
(define (tak49 x y z)
  (cond ((not (< y x)) z)
        (else (tak50 (tak50 (- x 1) y z)
                  (tak50 (- y 1) z x)
                  (tak50 (- z 1) x y)))))