;;;-*- Mode:LISP; Package:BENCH-TAKRU; Base:8 -*- ;;; From the "Dick Gabriel" Benchmark Series. ;;; Enhancements (C) Copyright 1983, Lisp Machine, Inc. ;;;BEGIN ;;;TAKR ;;; Gross MacLisp Version ;(include "timer.lsp") (timer timit (tak0 18. 12. 6.)) (PROCLAIM '(FUNCTION TAK0 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK1 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK2 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK3 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK4 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK5 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK6 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK7 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK8 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK9 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK10 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK11 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK12 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK13 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK14 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK15 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK16 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK17 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK18 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK19 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK20 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK21 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK22 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK23 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK24 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK25 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK26 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK27 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK28 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK29 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK30 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK31 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK32 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK33 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK34 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK35 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK36 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK37 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK38 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK39 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK40 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK41 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK42 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK43 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK44 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK45 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK46 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK47 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK48 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK49 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK50 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK51 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK52 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK53 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK54 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK55 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK56 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK57 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK58 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK59 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK60 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK61 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK62 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK63 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK64 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK65 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK66 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK67 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK68 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK69 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK70 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK71 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK72 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK73 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK74 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK75 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK76 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK77 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK78 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK79 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK80 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK81 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK82 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK83 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK84 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK85 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK86 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK87 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK88 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK89 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK90 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK91 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK92 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK93 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK94 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK95 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK96 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK97 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK98 (FIXNUM FIXNUM FIXNUM) FIXNUM) '(FUNCTION TAK99 (FIXNUM FIXNUM FIXNUM) FIXNUM)) (EVAL-WHEN (EVAL COMPILE LOAD) (DEFCONST *TO-UCOMPILE* '( TAK0 TAK1 TAK2 TAK3 TAK4 TAK5 TAK6 TAK7 TAK8 TAK9 TAK10 TAK11 TAK12 TAK13 TAK14 TAK15 TAK16 TAK17 TAK18 TAK19 TAK20 TAK21 TAK22 TAK23 TAK24 TAK25 TAK26 TAK27 TAK28 TAK29 TAK30 TAK31 TAK32 TAK33 TAK34 TAK35 TAK36 TAK37 TAK38 TAK39 TAK40 TAK41 TAK42 TAK43 TAK44 TAK45 TAK46 TAK47 TAK48 TAK49 TAK50 TAK51 TAK52 TAK53 TAK54 TAK55 TAK56 TAK57 TAK58 TAK59 TAK60 TAK61 TAK62 TAK63 TAK64 TAK65 TAK66 TAK67 TAK68 TAK69 TAK70 TAK71 TAK72 TAK73 TAK74 TAK75 TAK76 TAK77 TAK78 TAK79 TAK80 TAK81 TAK82 TAK83 TAK84 TAK85 TAK86 TAK87 TAK88 TAK89 TAK90 TAK91 TAK92 TAK93 TAK94 TAK95 TAK96 TAK97 TAK98 TAK99)) (MAPC #'(LAMBDA (X) (PUTPROP X T 'COMPILER:MICROCOMPILE) (PUTPROP X T ; ':DYNAMIC ':DEPEND-ON-BEING-MICROCOMPILED)) *TO-UCOMPILE*)) (DEFUN TAK0 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK1 (TAK37 (THE FIXNUM (1- X)) Y Z) (TAK11 (THE FIXNUM (1- Y)) Z X) (TAK17 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK1 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK2 (TAK74 (THE FIXNUM (1- X)) Y Z) (TAK22 (THE FIXNUM (1- Y)) Z X) (TAK34 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK2 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK3 (TAK11 (THE FIXNUM (1- X)) Y Z) (TAK33 (THE FIXNUM (1- Y)) Z X) (TAK51 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK3 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK4 (TAK48 (THE FIXNUM (1- X)) Y Z) (TAK44 (THE FIXNUM (1- Y)) Z X) (TAK68 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK4 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK5 (TAK85 (THE FIXNUM (1- X)) Y Z) (TAK55 (THE FIXNUM (1- Y)) Z X) (TAK85 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK5 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK6 (TAK22 (THE FIXNUM (1- X)) Y Z) (TAK66 (THE FIXNUM (1- Y)) Z X) (TAK2 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK6 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK7 (TAK59 (THE FIXNUM (1- X)) Y Z) (TAK77 (THE FIXNUM (1- Y)) Z X) (TAK19 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK7 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK8 (TAK96 (THE FIXNUM (1- X)) Y Z) (TAK88 (THE FIXNUM (1- Y)) Z X) (TAK36 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK8 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK9 (TAK33 (THE FIXNUM (1- X)) Y Z) (TAK99 (THE FIXNUM (1- Y)) Z X) (TAK53 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK9 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK10 (TAK70 (THE FIXNUM (1- X)) Y Z) (TAK10 (THE FIXNUM (1- Y)) Z X) (TAK70 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK10 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK11 (TAK7 (THE FIXNUM (1- X)) Y Z) (TAK21 (THE FIXNUM (1- Y)) Z X) (TAK87 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK11 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK12 (TAK44 (THE FIXNUM (1- X)) Y Z) (TAK32 (THE FIXNUM (1- Y)) Z X) (TAK4 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK12 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK13 (TAK81 (THE FIXNUM (1- X)) Y Z) (TAK43 (THE FIXNUM (1- Y)) Z X) (TAK21 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK13 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK14 (TAK18 (THE FIXNUM (1- X)) Y Z) (TAK54 (THE FIXNUM (1- Y)) Z X) (TAK38 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK14 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK15 (TAK55 (THE FIXNUM (1- X)) Y Z) (TAK65 (THE FIXNUM (1- Y)) Z X) (TAK55 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK15 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK16 (TAK92 (THE FIXNUM (1- X)) Y Z) (TAK76 (THE FIXNUM (1- Y)) Z X) (TAK72 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK16 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK17 (TAK29 (THE FIXNUM (1- X)) Y Z) (TAK87 (THE FIXNUM (1- Y)) Z X) (TAK89 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK17 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK18 (TAK66 (THE FIXNUM (1- X)) Y Z) (TAK98 (THE FIXNUM (1- Y)) Z X) (TAK6 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK18 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK19 (TAK3 (THE FIXNUM (1- X)) Y Z) (TAK9 (THE FIXNUM (1- Y)) Z X) (TAK23 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK19 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK20 (TAK40 (THE FIXNUM (1- X)) Y Z) (TAK20 (THE FIXNUM (1- Y)) Z X) (TAK40 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK20 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK21 (TAK77 (THE FIXNUM (1- X)) Y Z) (TAK31 (THE FIXNUM (1- Y)) Z X) (TAK57 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK21 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK22 (TAK14 (THE FIXNUM (1- X)) Y Z) (TAK42 (THE FIXNUM (1- Y)) Z X) (TAK74 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK22 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK23 (TAK51 (THE FIXNUM (1- X)) Y Z) (TAK53 (THE FIXNUM (1- Y)) Z X) (TAK91 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK23 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK24 (TAK88 (THE FIXNUM (1- X)) Y Z) (TAK64 (THE FIXNUM (1- Y)) Z X) (TAK8 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK24 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK25 (TAK25 (THE FIXNUM (1- X)) Y Z) (TAK75 (THE FIXNUM (1- Y)) Z X) (TAK25 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK25 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK26 (TAK62 (THE FIXNUM (1- X)) Y Z) (TAK86 (THE FIXNUM (1- Y)) Z X) (TAK42 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK26 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK27 (TAK99 (THE FIXNUM (1- X)) Y Z) (TAK97 (THE FIXNUM (1- Y)) Z X) (TAK59 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK27 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK28 (TAK36 (THE FIXNUM (1- X)) Y Z) (TAK8 (THE FIXNUM (1- Y)) Z X) (TAK76 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK28 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK29 (TAK73 (THE FIXNUM (1- X)) Y Z) (TAK19 (THE FIXNUM (1- Y)) Z X) (TAK93 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK29 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK30 (TAK10 (THE FIXNUM (1- X)) Y Z) (TAK30 (THE FIXNUM (1- Y)) Z X) (TAK10 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK30 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK31 (TAK47 (THE FIXNUM (1- X)) Y Z) (TAK41 (THE FIXNUM (1- Y)) Z X) (TAK27 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK31 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK32 (TAK84 (THE FIXNUM (1- X)) Y Z) (TAK52 (THE FIXNUM (1- Y)) Z X) (TAK44 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK32 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK33 (TAK21 (THE FIXNUM (1- X)) Y Z) (TAK63 (THE FIXNUM (1- Y)) Z X) (TAK61 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK33 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK34 (TAK58 (THE FIXNUM (1- X)) Y Z) (TAK74 (THE FIXNUM (1- Y)) Z X) (TAK78 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK34 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK35 (TAK95 (THE FIXNUM (1- X)) Y Z) (TAK85 (THE FIXNUM (1- Y)) Z X) (TAK95 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK35 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK36 (TAK32 (THE FIXNUM (1- X)) Y Z) (TAK96 (THE FIXNUM (1- Y)) Z X) (TAK12 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK36 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK37 (TAK69 (THE FIXNUM (1- X)) Y Z) (TAK7 (THE FIXNUM (1- Y)) Z X) (TAK29 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK37 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK38 (TAK6 (THE FIXNUM (1- X)) Y Z) (TAK18 (THE FIXNUM (1- Y)) Z X) (TAK46 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK38 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK39 (TAK43 (THE FIXNUM (1- X)) Y Z) (TAK29 (THE FIXNUM (1- Y)) Z X) (TAK63 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK39 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK40 (TAK80 (THE FIXNUM (1- X)) Y Z) (TAK40 (THE FIXNUM (1- Y)) Z X) (TAK80 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK40 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK41 (TAK17 (THE FIXNUM (1- X)) Y Z) (TAK51 (THE FIXNUM (1- Y)) Z X) (TAK97 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK41 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK42 (TAK54 (THE FIXNUM (1- X)) Y Z) (TAK62 (THE FIXNUM (1- Y)) Z X) (TAK14 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK42 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK43 (TAK91 (THE FIXNUM (1- X)) Y Z) (TAK73 (THE FIXNUM (1- Y)) Z X) (TAK31 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK43 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK44 (TAK28 (THE FIXNUM (1- X)) Y Z) (TAK84 (THE FIXNUM (1- Y)) Z X) (TAK48 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK44 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK45 (TAK65 (THE FIXNUM (1- X)) Y Z) (TAK95 (THE FIXNUM (1- Y)) Z X) (TAK65 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK45 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK46 (TAK2 (THE FIXNUM (1- X)) Y Z) (TAK6 (THE FIXNUM (1- Y)) Z X) (TAK82 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK46 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK47 (TAK39 (THE FIXNUM (1- X)) Y Z) (TAK17 (THE FIXNUM (1- Y)) Z X) (TAK99 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK47 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK48 (TAK76 (THE FIXNUM (1- X)) Y Z) (TAK28 (THE FIXNUM (1- Y)) Z X) (TAK16 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK48 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK49 (TAK13 (THE FIXNUM (1- X)) Y Z) (TAK39 (THE FIXNUM (1- Y)) Z X) (TAK33 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK49 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK50 (TAK50 (THE FIXNUM (1- X)) Y Z) (TAK50 (THE FIXNUM (1- Y)) Z X) (TAK50 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK50 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK51 (TAK87 (THE FIXNUM (1- X)) Y Z) (TAK61 (THE FIXNUM (1- Y)) Z X) (TAK67 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK51 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK52 (TAK24 (THE FIXNUM (1- X)) Y Z) (TAK72 (THE FIXNUM (1- Y)) Z X) (TAK84 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK52 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK53 (TAK61 (THE FIXNUM (1- X)) Y Z) (TAK83 (THE FIXNUM (1- Y)) Z X) (TAK1 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK53 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK54 (TAK98 (THE FIXNUM (1- X)) Y Z) (TAK94 (THE FIXNUM (1- Y)) Z X) (TAK18 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK54 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK55 (TAK35 (THE FIXNUM (1- X)) Y Z) (TAK5 (THE FIXNUM (1- Y)) Z X) (TAK35 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK55 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK56 (TAK72 (THE FIXNUM (1- X)) Y Z) (TAK16 (THE FIXNUM (1- Y)) Z X) (TAK52 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK56 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK57 (TAK9 (THE FIXNUM (1- X)) Y Z) (TAK27 (THE FIXNUM (1- Y)) Z X) (TAK69 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK57 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK58 (TAK46 (THE FIXNUM (1- X)) Y Z) (TAK38 (THE FIXNUM (1- Y)) Z X) (TAK86 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK58 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK59 (TAK83 (THE FIXNUM (1- X)) Y Z) (TAK49 (THE FIXNUM (1- Y)) Z X) (TAK3 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK59 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK60 (TAK20 (THE FIXNUM (1- X)) Y Z) (TAK60 (THE FIXNUM (1- Y)) Z X) (TAK20 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK60 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK61 (TAK57 (THE FIXNUM (1- X)) Y Z) (TAK71 (THE FIXNUM (1- Y)) Z X) (TAK37 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK61 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK62 (TAK94 (THE FIXNUM (1- X)) Y Z) (TAK82 (THE FIXNUM (1- Y)) Z X) (TAK54 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK62 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK63 (TAK31 (THE FIXNUM (1- X)) Y Z) (TAK93 (THE FIXNUM (1- Y)) Z X) (TAK71 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK63 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK64 (TAK68 (THE FIXNUM (1- X)) Y Z) (TAK4 (THE FIXNUM (1- Y)) Z X) (TAK88 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK64 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK65 (TAK5 (THE FIXNUM (1- X)) Y Z) (TAK15 (THE FIXNUM (1- Y)) Z X) (TAK5 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK65 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK66 (TAK42 (THE FIXNUM (1- X)) Y Z) (TAK26 (THE FIXNUM (1- Y)) Z X) (TAK22 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK66 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK67 (TAK79 (THE FIXNUM (1- X)) Y Z) (TAK37 (THE FIXNUM (1- Y)) Z X) (TAK39 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK67 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK68 (TAK16 (THE FIXNUM (1- X)) Y Z) (TAK48 (THE FIXNUM (1- Y)) Z X) (TAK56 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK68 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK69 (TAK53 (THE FIXNUM (1- X)) Y Z) (TAK59 (THE FIXNUM (1- Y)) Z X) (TAK73 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK69 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK70 (TAK90 (THE FIXNUM (1- X)) Y Z) (TAK70 (THE FIXNUM (1- Y)) Z X) (TAK90 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK70 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK71 (TAK27 (THE FIXNUM (1- X)) Y Z) (TAK81 (THE FIXNUM (1- Y)) Z X) (TAK7 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK71 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK72 (TAK64 (THE FIXNUM (1- X)) Y Z) (TAK92 (THE FIXNUM (1- Y)) Z X) (TAK24 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK72 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK73 (TAK1 (THE FIXNUM (1- X)) Y Z) (TAK3 (THE FIXNUM (1- Y)) Z X) (TAK41 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK73 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK74 (TAK38 (THE FIXNUM (1- X)) Y Z) (TAK14 (THE FIXNUM (1- Y)) Z X) (TAK58 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK74 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK75 (TAK75 (THE FIXNUM (1- X)) Y Z) (TAK25 (THE FIXNUM (1- Y)) Z X) (TAK75 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK75 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK76 (TAK12 (THE FIXNUM (1- X)) Y Z) (TAK36 (THE FIXNUM (1- Y)) Z X) (TAK92 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK76 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK77 (TAK49 (THE FIXNUM (1- X)) Y Z) (TAK47 (THE FIXNUM (1- Y)) Z X) (TAK9 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK77 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK78 (TAK86 (THE FIXNUM (1- X)) Y Z) (TAK58 (THE FIXNUM (1- Y)) Z X) (TAK26 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK78 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK79 (TAK23 (THE FIXNUM (1- X)) Y Z) (TAK69 (THE FIXNUM (1- Y)) Z X) (TAK43 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK79 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK80 (TAK60 (THE FIXNUM (1- X)) Y Z) (TAK80 (THE FIXNUM (1- Y)) Z X) (TAK60 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK80 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK81 (TAK97 (THE FIXNUM (1- X)) Y Z) (TAK91 (THE FIXNUM (1- Y)) Z X) (TAK77 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK81 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK82 (TAK34 (THE FIXNUM (1- X)) Y Z) (TAK2 (THE FIXNUM (1- Y)) Z X) (TAK94 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK82 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK83 (TAK71 (THE FIXNUM (1- X)) Y Z) (TAK13 (THE FIXNUM (1- Y)) Z X) (TAK11 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK83 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK84 (TAK8 (THE FIXNUM (1- X)) Y Z) (TAK24 (THE FIXNUM (1- Y)) Z X) (TAK28 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK84 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK85 (TAK45 (THE FIXNUM (1- X)) Y Z) (TAK35 (THE FIXNUM (1- Y)) Z X) (TAK45 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK85 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK86 (TAK82 (THE FIXNUM (1- X)) Y Z) (TAK46 (THE FIXNUM (1- Y)) Z X) (TAK62 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK86 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK87 (TAK19 (THE FIXNUM (1- X)) Y Z) (TAK57 (THE FIXNUM (1- Y)) Z X) (TAK79 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK87 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK88 (TAK56 (THE FIXNUM (1- X)) Y Z) (TAK68 (THE FIXNUM (1- Y)) Z X) (TAK96 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK88 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK89 (TAK93 (THE FIXNUM (1- X)) Y Z) (TAK79 (THE FIXNUM (1- Y)) Z X) (TAK13 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK89 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK90 (TAK30 (THE FIXNUM (1- X)) Y Z) (TAK90 (THE FIXNUM (1- Y)) Z X) (TAK30 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK90 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK91 (TAK67 (THE FIXNUM (1- X)) Y Z) (TAK1 (THE FIXNUM (1- Y)) Z X) (TAK47 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK91 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK92 (TAK4 (THE FIXNUM (1- X)) Y Z) (TAK12 (THE FIXNUM (1- Y)) Z X) (TAK64 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK92 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK93 (TAK41 (THE FIXNUM (1- X)) Y Z) (TAK23 (THE FIXNUM (1- Y)) Z X) (TAK81 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK93 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK94 (TAK78 (THE FIXNUM (1- X)) Y Z) (TAK34 (THE FIXNUM (1- Y)) Z X) (TAK98 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK94 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK95 (TAK15 (THE FIXNUM (1- X)) Y Z) (TAK45 (THE FIXNUM (1- Y)) Z X) (TAK15 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK95 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK96 (TAK52 (THE FIXNUM (1- X)) Y Z) (TAK56 (THE FIXNUM (1- Y)) Z X) (TAK32 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK96 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK97 (TAK89 (THE FIXNUM (1- X)) Y Z) (TAK67 (THE FIXNUM (1- Y)) Z X) (TAK49 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK97 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK98 (TAK26 (THE FIXNUM (1- X)) Y Z) (TAK78 (THE FIXNUM (1- Y)) Z X) (TAK66 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK98 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK99 (TAK63 (THE FIXNUM (1- X)) Y Z) (TAK89 (THE FIXNUM (1- Y)) Z X) (TAK83 (THE FIXNUM (1- Z)) X Y))))) (DEFUN TAK99 (X Y Z) (DECLARE (FIXNUM X Y Z)) (COND ((NOT (< Y X)) Z) (T (TAK0 (TAK0 (THE FIXNUM (1- X)) Y Z) (TAK0 (THE FIXNUM (1- Y)) Z X) (TAK0 (THE FIXNUM (1- Z)) X Y))))) ;;;END