takr.scm

Scheme跨平台编译器

(define (tak50 x y z)
  (cond ((not (< y x)) z)
        (else (tak51 (tak87 (- x 1) y z)
                  (tak61 (- y 1) z x)
                  (tak67 (- z 1) x y)))))
(define (tak51 x y z)
  (cond ((not (< y x)) z)
        (else (tak52 (tak24 (- x 1) y z)
                  (tak72 (- y 1) z x)
                  (tak84 (- z 1) x y)))))
(define (tak52 x y z)
  (cond ((not (< y x)) z)
        (else (tak53 (tak61 (- x 1) y z)
                  (tak83 (- y 1) z x)
                  (tak1 (- z 1) x y)))))
(define (tak53 x y z)
  (cond ((not (< y x)) z)
        (else (tak54 (tak98 (- x 1) y z)
                  (tak94 (- y 1) z x)
                  (tak18 (- z 1) x y)))))
(define (tak54 x y z)
  (cond ((not (< y x)) z)
        (else (tak55 (tak35 (- x 1) y z)
                  (tak5 (- y 1) z x)
                  (tak35 (- z 1) x y)))))
(define (tak55 x y z)
  (cond ((not (< y x)) z)
        (else (tak56 (tak72 (- x 1) y z)
                  (tak16 (- y 1) z x)
                  (tak52 (- z 1) x y)))))
(define (tak56 x y z)
  (cond ((not (< y x)) z)
        (else (tak57 (tak9 (- x 1) y z)
                  (tak27 (- y 1) z x)
                  (tak69 (- z 1) x y)))))
(define (tak57 x y z)
  (cond ((not (< y x)) z)
        (else (tak58 (tak46 (- x 1) y z)
                  (tak38 (- y 1) z x)
                  (tak86 (- z 1) x y)))))
(define (tak58 x y z)
  (cond ((not (< y x)) z)
        (else (tak59 (tak83 (- x 1) y z)
                  (tak49 (- y 1) z x)
                  (tak3 (- z 1) x y)))))
(define (tak59 x y z)
  (cond ((not (< y x)) z)
        (else (tak60 (tak20 (- x 1) y z)
                  (tak60 (- y 1) z x)
                  (tak20 (- z 1) x y)))))
(define (tak60 x y z)
  (cond ((not (< y x)) z)
        (else (tak61 (tak57 (- x 1) y z)
                  (tak71 (- y 1) z x)
                  (tak37 (- z 1) x y)))))
(define (tak61 x y z)
  (cond ((not (< y x)) z)
        (else (tak62 (tak94 (- x 1) y z)
                  (tak82 (- y 1) z x)
                  (tak54 (- z 1) x y)))))
(define (tak62 x y z)
  (cond ((not (< y x)) z)
        (else (tak63 (tak31 (- x 1) y z)
                  (tak93 (- y 1) z x)
                  (tak71 (- z 1) x y)))))
(define (tak63 x y z)
  (cond ((not (< y x)) z)
        (else (tak64 (tak68 (- x 1) y z)
                  (tak4 (- y 1) z x)
                  (tak88 (- z 1) x y)))))
(define (tak64 x y z)
  (cond ((not (< y x)) z)
        (else (tak65 (tak5 (- x 1) y z)
                  (tak15 (- y 1) z x)
                  (tak5 (- z 1) x y)))))
(define (tak65 x y z)
  (cond ((not (< y x)) z)
        (else (tak66 (tak42 (- x 1) y z)
                  (tak26 (- y 1) z x)
                  (tak22 (- z 1) x y)))))
(define (tak66 x y z)
  (cond ((not (< y x)) z)
        (else (tak67 (tak79 (- x 1) y z)
                  (tak37 (- y 1) z x)
                  (tak39 (- z 1) x y)))))
(define (tak67 x y z)
  (cond ((not (< y x)) z)
        (else (tak68 (tak16 (- x 1) y z)
                  (tak48 (- y 1) z x)
                  (tak56 (- z 1) x y)))))
(define (tak68 x y z)
  (cond ((not (< y x)) z)
        (else (tak69 (tak53 (- x 1) y z)
                  (tak59 (- y 1) z x)
                  (tak73 (- z 1) x y)))))
(define (tak69 x y z)
  (cond ((not (< y x)) z)
        (else (tak70 (tak90 (- x 1) y z)
                  (tak70 (- y 1) z x)
                  (tak90 (- z 1) x y)))))
(define (tak70 x y z)
  (cond ((not (< y x)) z)
        (else (tak71 (tak27 (- x 1) y z)
                  (tak81 (- y 1) z x)
                  (tak7 (- z 1) x y)))))
(define (tak71 x y z)
  (cond ((not (< y x)) z)
        (else (tak72 (tak64 (- x 1) y z)
                  (tak92 (- y 1) z x)
                  (tak24 (- z 1) x y)))))
(define (tak72 x y z)
  (cond ((not (< y x)) z)
        (else (tak73 (tak1 (- x 1) y z)
                  (tak3 (- y 1) z x)
                  (tak41 (- z 1) x y)))))
(define (tak73 x y z)
  (cond ((not (< y x)) z)
        (else (tak74 (tak38 (- x 1) y z)
                  (tak14 (- y 1) z x)
                  (tak58 (- z 1) x y)))))
(define (tak74 x y z)
  (cond ((not (< y x)) z)
        (else (tak75 (tak75 (- x 1) y z)
                  (tak25 (- y 1) z x)
                  (tak75 (- z 1) x y)))))
(define (tak75 x y z)
  (cond ((not (< y x)) z)
        (else (tak76 (tak12 (- x 1) y z)
                  (tak36 (- y 1) z x)
                  (tak92 (- z 1) x y)))))
(define (tak76 x y z)
  (cond ((not (< y x)) z)
        (else (tak77 (tak49 (- x 1) y z)
                  (tak47 (- y 1) z x)
                  (tak9 (- z 1) x y)))))
(define (tak77 x y z)
  (cond ((not (< y x)) z)
        (else (tak78 (tak86 (- x 1) y z)
                  (tak58 (- y 1) z x)
                  (tak26 (- z 1) x y)))))
(define (tak78 x y z)
  (cond ((not (< y x)) z)
        (else (tak79 (tak23 (- x 1) y z)
                  (tak69 (- y 1) z x)
                  (tak43 (- z 1) x y)))))
(define (tak79 x y z)
  (cond ((not (< y x)) z)
        (else (tak80 (tak60 (- x 1) y z)
                  (tak80 (- y 1) z x)
                  (tak60 (- z 1) x y)))))
(define (tak80 x y z)
  (cond ((not (< y x)) z)
        (else (tak81 (tak97 (- x 1) y z)
                  (tak91 (- y 1) z x)
                  (tak77 (- z 1) x y)))))
(define (tak81 x y z)
  (cond ((not (< y x)) z)
        (else (tak82 (tak34 (- x 1) y z)
                  (tak2 (- y 1) z x)
                  (tak94 (- z 1) x y)))))
(define (tak82 x y z)
  (cond ((not (< y x)) z)
        (else (tak83 (tak71 (- x 1) y z)
                  (tak13 (- y 1) z x)
                  (tak11 (- z 1) x y)))))
(define (tak83 x y z)
  (cond ((not (< y x)) z)
        (else (tak84 (tak8 (- x 1) y z)
                  (tak24 (- y 1) z x)
                  (tak28 (- z 1) x y)))))
(define (tak84 x y z)
  (cond ((not (< y x)) z)
        (else (tak85 (tak45 (- x 1) y z)
                  (tak35 (- y 1) z x)
                  (tak45 (- z 1) x y)))))
(define (tak85 x y z)
  (cond ((not (< y x)) z)
        (else (tak86 (tak82 (- x 1) y z)
                  (tak46 (- y 1) z x)
                  (tak62 (- z 1) x y)))))
(define (tak86 x y z)
  (cond ((not (< y x)) z)
        (else (tak87 (tak19 (- x 1) y z)
                  (tak57 (- y 1) z x)
                  (tak79 (- z 1) x y)))))
(define (tak87 x y z)
  (cond ((not (< y x)) z)
        (else (tak88 (tak56 (- x 1) y z)
                  (tak68 (- y 1) z x)
                  (tak96 (- z 1) x y)))))
(define (tak88 x y z)
  (cond ((not (< y x)) z)
        (else (tak89 (tak93 (- x 1) y z)
                  (tak79 (- y 1) z x)
                  (tak13 (- z 1) x y)))))
(define (tak89 x y z)
  (cond ((not (< y x)) z)
        (else (tak90 (tak30 (- x 1) y z)
                  (tak90 (- y 1) z x)
                  (tak30 (- z 1) x y)))))
(define (tak90 x y z)
  (cond ((not (< y x)) z)
        (else (tak91 (tak67 (- x 1) y z)
                  (tak1 (- y 1) z x)
                  (tak47 (- z 1) x y)))))
(define (tak91 x y z)
  (cond ((not (< y x)) z)
        (else (tak92 (tak4 (- x 1) y z)
                  (tak12 (- y 1) z x)
                  (tak64 (- z 1) x y)))))
(define (tak92 x y z)
  (cond ((not (< y x)) z)
        (else (tak93 (tak41 (- x 1) y z)
                  (tak23 (- y 1) z x)
                  (tak81 (- z 1) x y)))))
(define (tak93 x y z)
  (cond ((not (< y x)) z)
        (else (tak94 (tak78 (- x 1) y z)
                  (tak34 (- y 1) z x)
                  (tak98 (- z 1) x y)))))
(define (tak94 x y z)
  (cond ((not (< y x)) z)
        (else (tak95 (tak15 (- x 1) y z)
                  (tak45 (- y 1) z x)
                  (tak15 (- z 1) x y)))))
(define (tak95 x y z)
  (cond ((not (< y x)) z)
        (else (tak96 (tak52 (- x 1) y z)
                  (tak56 (- y 1) z x)
                  (tak32 (- z 1) x y)))))
(define (tak96 x y z)
  (cond ((not (< y x)) z)
        (else (tak97 (tak89 (- x 1) y z)
                  (tak67 (- y 1) z x)
                  (tak49 (- z 1) x y)))))
(define (tak97 x y z)
  (cond ((not (< y x)) z)
        (else (tak98 (tak26 (- x 1) y z)
                  (tak78 (- y 1) z x)
                  (tak66 (- z 1) x y)))))
(define (tak98 x y z)
  (cond ((not (< y x)) z)
        (else (tak99 (tak63 (- x 1) y z)
                  (tak89 (- y 1) z x)
                  (tak83 (- z 1) x y)))))
(define (tak99 x y z)
  (cond ((not (< y x)) z)
        (else (tak0 (tak0 (- x 1) y z)
                 (tak0 (- y 1) z x)
                 (tak0 (- z 1) x y)))))
 
(time (do ((i 100 (- i 1))) ((zero? i)) (tak0 18 12 6)))