← Back to branch summary

~ubuntu-branches/ubuntu/hardy/uim/hardy

« back to all changes in this revision

Viewing changes to sigscheme/bench/bench-takr.scm

  • Committer: Bazaar Package Importer
  • Author(s): Masahito Omote
  • Date: 2007-04-21 03:46:09 UTC
  • mfrom: (1.1.6 upstream)
  • Revision ID: james.westby@ubuntu.com-20070421034609-gpcurkutp8vaysqj
Tags: 1:1.4.1-3
* Switch to dh_gtkmodules for the gtk 2.10 transition (Closes:
  #419318)
  - debian/control: Add ${misc:Depends} and remove libgtk2.0-bin on
    uim-gtk2.0.
  - debian/uim-gtk2.0.post{inst,rm}: Removed.

Show diffs side-by-side

added added

removed removed

Lines of Context:
sigscheme/bench/bench-takr.scm
 
1
(define (tak0 x y z)
 
2
  (cond ((not (< y x)) z)
 
3
        (else (tak1 (tak37 (- x 1) y z)
 
4
                 (tak11 (- y 1) z x)
 
5
                 (tak17 (- z 1) x y)))))
 
6
(define (tak1 x y z)
 
7
  (cond ((not (< y x)) z)
 
8
        (else (tak2 (tak74 (- x 1) y z)
 
9
                 (tak22 (- y 1) z x)
 
10
                 (tak34 (- z 1) x y)))))
 
11
(define (tak2 x y z)
 
12
  (cond ((not (< y x)) z)
 
13
        (else (tak3 (tak11 (- x 1) y z)
 
14
                 (tak33 (- y 1) z x)
 
15
                 (tak51 (- z 1) x y)))))
 
16
(define (tak3 x y z)
 
17
  (cond ((not (< y x)) z)
 
18
        (else (tak4 (tak48 (- x 1) y z)
 
19
                 (tak44 (- y 1) z x)
 
20
                 (tak68 (- z 1) x y)))))
 
21
(define (tak4 x y z)
 
22
  (cond ((not (< y x)) z)
 
23
        (else (tak5 (tak85 (- x 1) y z)
 
24
                 (tak55 (- y 1) z x)
 
25
                 (tak85 (- z 1) x y)))))
 
26
(define (tak5 x y z)
 
27
  (cond ((not (< y x)) z)
 
28
        (else (tak6 (tak22 (- x 1) y z)
 
29
                 (tak66 (- y 1) z x)
 
30
                 (tak2 (- z 1) x y)))))
 
31
(define (tak6 x y z)
 
32
  (cond ((not (< y x)) z)
 
33
        (else (tak7 (tak59 (- x 1) y z)
 
34
                 (tak77 (- y 1) z x)
 
35
                 (tak19 (- z 1) x y)))))
 
36
(define (tak7 x y z)
 
37
  (cond ((not (< y x)) z)
 
38
        (else (tak8 (tak96 (- x 1) y z)
 
39
                 (tak88 (- y 1) z x)
 
40
                 (tak36 (- z 1) x y)))))
 
41
(define (tak8 x y z)
 
42
  (cond ((not (< y x)) z)
 
43
        (else (tak9 (tak33 (- x 1) y z)
 
44
                 (tak99 (- y 1) z x)
 
45
                 (tak53 (- z 1) x y)))))
 
46
(define (tak9 x y z)
 
47
  (cond ((not (< y x)) z)
 
48
        (else (tak10 (tak70 (- x 1) y z)
 
49
                  (tak10 (- y 1) z x)
 
50
                  (tak70 (- z 1) x y)))))
 
51
(define (tak10 x y z)
 
52
  (cond ((not (< y x)) z)
 
53
        (else (tak11 (tak7 (- x 1) y z)
 
54
                  (tak21 (- y 1) z x)
 
55
                  (tak87 (- z 1) x y)))))
 
56
(define (tak11 x y z)
 
57
  (cond ((not (< y x)) z)
 
58
        (else (tak12 (tak44 (- x 1) y z)
 
59
                  (tak32 (- y 1) z x)
 
60
                  (tak4 (- z 1) x y)))))
 
61
(define (tak12 x y z)
 
62
  (cond ((not (< y x)) z)
 
63
        (else (tak13 (tak81 (- x 1) y z)
 
64
                  (tak43 (- y 1) z x)
 
65
                  (tak21 (- z 1) x y)))))
 
66
 
 
67
(define (tak13 x y z)
 
68
  (cond ((not (< y x)) z)
 
69
        (else (tak14 (tak18 (- x 1) y z)
 
70
                  (tak54 (- y 1) z x)
 
71
                  (tak38 (- z 1) x y)))))
 
72
(define (tak14 x y z)
 
73
  (cond ((not (< y x)) z)
 
74
        (else (tak15 (tak55 (- x 1) y z)
 
75
                  (tak65 (- y 1) z x)
 
76
                  (tak55 (- z 1) x y)))))
 
77
(define (tak15 x y z)
 
78
  (cond ((not (< y x)) z)
 
79
        (else (tak16 (tak92 (- x 1) y z)
 
80
                  (tak76 (- y 1) z x)
 
81
                  (tak72 (- z 1) x y)))))
 
82
(define (tak16 x y z)
 
83
  (cond ((not (< y x)) z)
 
84
        (else (tak17 (tak29 (- x 1) y z)
 
85
                  (tak87 (- y 1) z x)
 
86
                  (tak89 (- z 1) x y)))))
 
87
(define (tak17 x y z)
 
88
  (cond ((not (< y x)) z)
 
89
        (else (tak18 (tak66 (- x 1) y z)
 
90
                  (tak98 (- y 1) z x)
 
91
                  (tak6 (- z 1) x y)))))
 
92
(define (tak18 x y z)
 
93
  (cond ((not (< y x)) z)
 
94
        (else (tak19 (tak3 (- x 1) y z)
 
95
                  (tak9 (- y 1) z x)
 
96
                  (tak23 (- z 1) x y)))))
 
97
(define (tak19 x y z)
 
98
  (cond ((not (< y x)) z)
 
99
        (else (tak20 (tak40 (- x 1) y z)
 
100
                  (tak20 (- y 1) z x)
 
101
                  (tak40 (- z 1) x y)))))
 
102
(define (tak20 x y z)
 
103
  (cond ((not (< y x)) z)
 
104
        (else (tak21 (tak77 (- x 1) y z)
 
105
                  (tak31 (- y 1) z x)
 
106
                  (tak57 (- z 1) x y)))))
 
107
 
 
108
(define (tak21 x y z)
 
109
  (cond ((not (< y x)) z)
 
110
        (else (tak22 (tak14 (- x 1) y z)
 
111
                  (tak42 (- y 1) z x)
 
112
                  (tak74 (- z 1) x y)))))
 
113
(define (tak22 x y z)
 
114
  (cond ((not (< y x)) z)
 
115
        (else (tak23 (tak51 (- x 1) y z)
 
116
                  (tak53 (- y 1) z x)
 
117
                  (tak91 (- z 1) x y)))))
 
118
(define (tak23 x y z)
 
119
  (cond ((not (< y x)) z)
 
120
        (else (tak24 (tak88 (- x 1) y z)
 
121
                  (tak64 (- y 1) z x)
 
122
                  (tak8 (- z 1) x y)))))
 
123
(define (tak24 x y z)
 
124
  (cond ((not (< y x)) z)
 
125
        (else (tak25 (tak25 (- x 1) y z)
 
126
                  (tak75 (- y 1) z x)
 
127
                  (tak25 (- z 1) x y)))))
 
128
(define (tak25 x y z)
 
129
  (cond ((not (< y x)) z)
 
130
        (else (tak26 (tak62 (- x 1) y z)
 
131
                  (tak86 (- y 1) z x)
 
132
                  (tak42 (- z 1) x y)))))
 
133
(define (tak26 x y z)
 
134
  (cond ((not (< y x)) z)
 
135
        (else (tak27 (tak99 (- x 1) y z)
 
136
                  (tak97 (- y 1) z x)
 
137
                  (tak59 (- z 1) x y)))))
 
138
(define (tak27 x y z)
 
139
  (cond ((not (< y x)) z)
 
140
        (else (tak28 (tak36 (- x 1) y z)
 
141
                  (tak8 (- y 1) z x)
 
142
                  (tak76 (- z 1) x y)))))
 
143
(define (tak28 x y z)
 
144
  (cond ((not (< y x)) z)
 
145
        (else (tak29 (tak73 (- x 1) y z)
 
146
                  (tak19 (- y 1) z x)
 
147
                  (tak93 (- z 1) x y)))))
 
148
(define (tak29 x y z)
 
149
  (cond ((not (< y x)) z)
 
150
        (else (tak30 (tak10 (- x 1) y z)
 
151
                  (tak30 (- y 1) z x)
 
152
                  (tak10 (- z 1) x y)))))
 
153
(define (tak30 x y z)
 
154
  (cond ((not (< y x)) z)
 
155
        (else (tak31 (tak47 (- x 1) y z)
 
156
                  (tak41 (- y 1) z x)
 
157
                  (tak27 (- z 1) x y)))))
 
158
(define (tak31 x y z)
 
159
  (cond ((not (< y x)) z)
 
160
        (else (tak32 (tak84 (- x 1) y z)
 
161
                  (tak52 (- y 1) z x)
 
162
                  (tak44 (- z 1) x y)))))
 
163
(define (tak32 x y z)
 
164
  (cond ((not (< y x)) z)
 
165
        (else (tak33 (tak21 (- x 1) y z)
 
166
                  (tak63 (- y 1) z x)
 
167
                  (tak61 (- z 1) x y)))))
 
168
(define (tak33 x y z)
 
169
  (cond ((not (< y x)) z)
 
170
        (else (tak34 (tak58 (- x 1) y z)
 
171
                  (tak74 (- y 1) z x)
 
172
                  (tak78 (- z 1) x y)))))
 
173
(define (tak34 x y z)
 
174
  (cond ((not (< y x)) z)
 
175
        (else (tak35 (tak95 (- x 1) y z)
 
176
                  (tak85 (- y 1) z x)
 
177
                  (tak95 (- z 1) x y)))))
 
178
(define (tak35 x y z)
 
179
  (cond ((not (< y x)) z)
 
180
        (else (tak36 (tak32 (- x 1) y z)
 
181
                  (tak96 (- y 1) z x)
 
182
                  (tak12 (- z 1) x y)))))
 
183
(define (tak36 x y z)
 
184
  (cond ((not (< y x)) z)
 
185
        (else (tak37 (tak69 (- x 1) y z)
 
186
                  (tak7 (- y 1) z x)
 
187
                  (tak29 (- z 1) x y)))))
 
188
(define (tak37 x y z)
 
189
  (cond ((not (< y x)) z)
 
190
        (else (tak38 (tak6 (- x 1) y z)
 
191
                  (tak18 (- y 1) z x)
 
192
                  (tak46 (- z 1) x y)))))
 
193
(define (tak38 x y z)
 
194
  (cond ((not (< y x)) z)
 
195
        (else (tak39 (tak43 (- x 1) y z)
 
196
                  (tak29 (- y 1) z x)
 
197
                  (tak63 (- z 1) x y)))))
 
198
(define (tak39 x y z)
 
199
  (cond ((not (< y x)) z)
 
200
        (else (tak40 (tak80 (- x 1) y z)
 
201
                  (tak40 (- y 1) z x)
 
202
                  (tak80 (- z 1) x y)))))
 
203
(define (tak40 x y z)
 
204
  (cond ((not (< y x)) z)
 
205
        (else (tak41 (tak17 (- x 1) y z)
 
206
                  (tak51 (- y 1) z x)
 
207
                  (tak97 (- z 1) x y)))))
 
208
 
 
209
(define (tak41 x y z)
 
210
  (cond ((not (< y x)) z)
 
211
        (else (tak42 (tak54 (- x 1) y z)
 
212
                  (tak62 (- y 1) z x)
 
213
                  (tak14 (- z 1) x y)))))
 
214
(define (tak42 x y z)
 
215
  (cond ((not (< y x)) z)
 
216
        (else (tak43 (tak91 (- x 1) y z)
 
217
                  (tak73 (- y 1) z x)
 
218
                  (tak31 (- z 1) x y)))))
 
219
(define (tak43 x y z)
 
220
  (cond ((not (< y x)) z)
 
221
        (else (tak44 (tak28 (- x 1) y z)
 
222
                  (tak84 (- y 1) z x)
 
223
                  (tak48 (- z 1) x y)))))
 
224
(define (tak44 x y z)
 
225
  (cond ((not (< y x)) z)
 
226
        (else (tak45 (tak65 (- x 1) y z)
 
227
                  (tak95 (- y 1) z x)
 
228
                  (tak65 (- z 1) x y)))))
 
229
(define (tak45 x y z)
 
230
  (cond ((not (< y x)) z)
 
231
        (else (tak46 (tak2 (- x 1) y z)
 
232
                  (tak6 (- y 1) z x)
 
233
                  (tak82 (- z 1) x y)))))
 
234
(define (tak46 x y z)
 
235
  (cond ((not (< y x)) z)
 
236
        (else (tak47 (tak39 (- x 1) y z)
 
237
                  (tak17 (- y 1) z x)
 
238
                  (tak99 (- z 1) x y)))))
 
239
(define (tak47 x y z)
 
240
  (cond ((not (< y x)) z)
 
241
        (else (tak48 (tak76 (- x 1) y z)
 
242
                  (tak28 (- y 1) z x)
 
243
                  (tak16 (- z 1) x y)))))
 
244
(define (tak48 x y z)
 
245
  (cond ((not (< y x)) z)
 
246
        (else (tak49 (tak13 (- x 1) y z)
 
247
                  (tak39 (- y 1) z x)
 
248
                  (tak33 (- z 1) x y)))))
 
249
(define (tak49 x y z)
 
250
  (cond ((not (< y x)) z)
 
251
        (else (tak50 (tak50 (- x 1) y z)
 
252
                  (tak50 (- y 1) z x)
 
253
                  (tak50 (- z 1) x y)))))
 
254
(define (tak50 x y z)
 
255
  (cond ((not (< y x)) z)
 
256
        (else (tak51 (tak87 (- x 1) y z)
 
257
                  (tak61 (- y 1) z x)
 
258
                  (tak67 (- z 1) x y)))))
 
259
(define (tak51 x y z)
 
260
  (cond ((not (< y x)) z)
 
261
        (else (tak52 (tak24 (- x 1) y z)
 
262
                  (tak72 (- y 1) z x)
 
263
                  (tak84 (- z 1) x y)))))
 
264
(define (tak52 x y z)
 
265
  (cond ((not (< y x)) z)
 
266
        (else (tak53 (tak61 (- x 1) y z)
 
267
                  (tak83 (- y 1) z x)
 
268
                  (tak1 (- z 1) x y)))))
 
269
(define (tak53 x y z)
 
270
  (cond ((not (< y x)) z)
 
271
        (else (tak54 (tak98 (- x 1) y z)
 
272
                  (tak94 (- y 1) z x)
 
273
                  (tak18 (- z 1) x y)))))
 
274
(define (tak54 x y z)
 
275
  (cond ((not (< y x)) z)
 
276
        (else (tak55 (tak35 (- x 1) y z)
 
277
                  (tak5 (- y 1) z x)
 
278
                  (tak35 (- z 1) x y)))))
 
279
(define (tak55 x y z)
 
280
  (cond ((not (< y x)) z)
 
281
        (else (tak56 (tak72 (- x 1) y z)
 
282
                  (tak16 (- y 1) z x)
 
283
                  (tak52 (- z 1) x y)))))
 
284
(define (tak56 x y z)
 
285
  (cond ((not (< y x)) z)
 
286
        (else (tak57 (tak9 (- x 1) y z)
 
287
                  (tak27 (- y 1) z x)
 
288
                  (tak69 (- z 1) x y)))))
 
289
(define (tak57 x y z)
 
290
  (cond ((not (< y x)) z)
 
291
        (else (tak58 (tak46 (- x 1) y z)
 
292
                  (tak38 (- y 1) z x)
 
293
                  (tak86 (- z 1) x y)))))
 
294
(define (tak58 x y z)
 
295
  (cond ((not (< y x)) z)
 
296
        (else (tak59 (tak83 (- x 1) y z)
 
297
                  (tak49 (- y 1) z x)
 
298
                  (tak3 (- z 1) x y)))))
 
299
(define (tak59 x y z)
 
300
  (cond ((not (< y x)) z)
 
301
        (else (tak60 (tak20 (- x 1) y z)
 
302
                  (tak60 (- y 1) z x)
 
303
                  (tak20 (- z 1) x y)))))
 
304
(define (tak60 x y z)
 
305
  (cond ((not (< y x)) z)
 
306
        (else (tak61 (tak57 (- x 1) y z)
 
307
                  (tak71 (- y 1) z x)
 
308
                  (tak37 (- z 1) x y)))))
 
309
 
 
310
(define (tak61 x y z)
 
311
  (cond ((not (< y x)) z)
 
312
        (else (tak62 (tak94 (- x 1) y z)
 
313
                  (tak82 (- y 1) z x)
 
314
                  (tak54 (- z 1) x y)))))
 
315
(define (tak62 x y z)
 
316
  (cond ((not (< y x)) z)
 
317
        (else (tak63 (tak31 (- x 1) y z)
 
318
                  (tak93 (- y 1) z x)
 
319
                  (tak71 (- z 1) x y)))))
 
320
(define (tak63 x y z)
 
321
  (cond ((not (< y x)) z)
 
322
        (else (tak64 (tak68 (- x 1) y z)
 
323
                  (tak4 (- y 1) z x)
 
324
                  (tak88 (- z 1) x y)))))
 
325
(define (tak64 x y z)
 
326
  (cond ((not (< y x)) z)
 
327
        (else (tak65 (tak5 (- x 1) y z)
 
328
                  (tak15 (- y 1) z x)
 
329
                  (tak5 (- z 1) x y)))))
 
330
(define (tak65 x y z)
 
331
  (cond ((not (< y x)) z)
 
332
        (else (tak66 (tak42 (- x 1) y z)
 
333
                  (tak26 (- y 1) z x)
 
334
                  (tak22 (- z 1) x y)))))
 
335
(define (tak66 x y z)
 
336
  (cond ((not (< y x)) z)
 
337
        (else (tak67 (tak79 (- x 1) y z)
 
338
                  (tak37 (- y 1) z x)
 
339
                  (tak39 (- z 1) x y)))))
 
340
(define (tak67 x y z)
 
341
  (cond ((not (< y x)) z)
 
342
        (else (tak68 (tak16 (- x 1) y z)
 
343
                  (tak48 (- y 1) z x)
 
344
                  (tak56 (- z 1) x y)))))
 
345
(define (tak68 x y z)
 
346
  (cond ((not (< y x)) z)
 
347
        (else (tak69 (tak53 (- x 1) y z)
 
348
                  (tak59 (- y 1) z x)
 
349
                  (tak73 (- z 1) x y)))))
 
350
(define (tak69 x y z)
 
351
  (cond ((not (< y x)) z)
 
352
        (else (tak70 (tak90 (- x 1) y z)
 
353
                  (tak70 (- y 1) z x)
 
354
                  (tak90 (- z 1) x y)))))
 
355
(define (tak70 x y z)
 
356
  (cond ((not (< y x)) z)
 
357
        (else (tak71 (tak27 (- x 1) y z)
 
358
                  (tak81 (- y 1) z x)
 
359
                  (tak7 (- z 1) x y)))))
 
360
(define (tak71 x y z)
 
361
  (cond ((not (< y x)) z)
 
362
        (else (tak72 (tak64 (- x 1) y z)
 
363
                  (tak92 (- y 1) z x)
 
364
                  (tak24 (- z 1) x y)))))
 
365
(define (tak72 x y z)
 
366
  (cond ((not (< y x)) z)
 
367
        (else (tak73 (tak1 (- x 1) y z)
 
368
                  (tak3 (- y 1) z x)
 
369
                  (tak41 (- z 1) x y)))))
 
370
(define (tak73 x y z)
 
371
  (cond ((not (< y x)) z)
 
372
        (else (tak74 (tak38 (- x 1) y z)
 
373
                  (tak14 (- y 1) z x)
 
374
                  (tak58 (- z 1) x y)))))
 
375
(define (tak74 x y z)
 
376
  (cond ((not (< y x)) z)
 
377
        (else (tak75 (tak75 (- x 1) y z)
 
378
                  (tak25 (- y 1) z x)
 
379
                  (tak75 (- z 1) x y)))))
 
380
(define (tak75 x y z)
 
381
  (cond ((not (< y x)) z)
 
382
        (else (tak76 (tak12 (- x 1) y z)
 
383
                  (tak36 (- y 1) z x)
 
384
                  (tak92 (- z 1) x y)))))
 
385
(define (tak76 x y z)
 
386
  (cond ((not (< y x)) z)
 
387
        (else (tak77 (tak49 (- x 1) y z)
 
388
                  (tak47 (- y 1) z x)
 
389
                  (tak9 (- z 1) x y)))))
 
390
(define (tak77 x y z)
 
391
  (cond ((not (< y x)) z)
 
392
        (else (tak78 (tak86 (- x 1) y z)
 
393
                  (tak58 (- y 1) z x)
 
394
                  (tak26 (- z 1) x y)))))
 
395
(define (tak78 x y z)
 
396
  (cond ((not (< y x)) z)
 
397
        (else (tak79 (tak23 (- x 1) y z)
 
398
                  (tak69 (- y 1) z x)
 
399
                  (tak43 (- z 1) x y)))))
 
400
(define (tak79 x y z)
 
401
  (cond ((not (< y x)) z)
 
402
        (else (tak80 (tak60 (- x 1) y z)
 
403
                  (tak80 (- y 1) z x)
 
404
                  (tak60 (- z 1) x y)))))
 
405
(define (tak80 x y z)
 
406
  (cond ((not (< y x)) z)
 
407
        (else (tak81 (tak97 (- x 1) y z)
 
408
                  (tak91 (- y 1) z x)
 
409
                  (tak77 (- z 1) x y)))))
 
410
 
 
411
(define (tak81 x y z)
 
412
  (cond ((not (< y x)) z)
 
413
        (else (tak82 (tak34 (- x 1) y z)
 
414
                  (tak2 (- y 1) z x)
 
415
                  (tak94 (- z 1) x y)))))
 
416
(define (tak82 x y z)
 
417
  (cond ((not (< y x)) z)
 
418
        (else (tak83 (tak71 (- x 1) y z)
 
419
                  (tak13 (- y 1) z x)
 
420
                  (tak11 (- z 1) x y)))))
 
421
(define (tak83 x y z)
 
422
  (cond ((not (< y x)) z)
 
423
        (else (tak84 (tak8 (- x 1) y z)
 
424
                  (tak24 (- y 1) z x)
 
425
                  (tak28 (- z 1) x y)))))
 
426
(define (tak84 x y z)
 
427
  (cond ((not (< y x)) z)
 
428
        (else (tak85 (tak45 (- x 1) y z)
 
429
                  (tak35 (- y 1) z x)
 
430
                  (tak45 (- z 1) x y)))))
 
431
(define (tak85 x y z)
 
432
  (cond ((not (< y x)) z)
 
433
        (else (tak86 (tak82 (- x 1) y z)
 
434
                  (tak46 (- y 1) z x)
 
435
                  (tak62 (- z 1) x y)))))
 
436
(define (tak86 x y z)
 
437
  (cond ((not (< y x)) z)
 
438
        (else (tak87 (tak19 (- x 1) y z)
 
439
                  (tak57 (- y 1) z x)
 
440
                  (tak79 (- z 1) x y)))))
 
441
(define (tak87 x y z)
 
442
  (cond ((not (< y x)) z)
 
443
        (else (tak88 (tak56 (- x 1) y z)
 
444
                  (tak68 (- y 1) z x)
 
445
                  (tak96 (- z 1) x y)))))
 
446
(define (tak88 x y z)
 
447
  (cond ((not (< y x)) z)
 
448
        (else (tak89 (tak93 (- x 1) y z)
 
449
                  (tak79 (- y 1) z x)
 
450
                  (tak13 (- z 1) x y)))))
 
451
(define (tak89 x y z)
 
452
  (cond ((not (< y x)) z)
 
453
        (else (tak90 (tak30 (- x 1) y z)
 
454
                  (tak90 (- y 1) z x)
 
455
                  (tak30 (- z 1) x y)))))
 
456
(define (tak90 x y z)
 
457
  (cond ((not (< y x)) z)
 
458
        (else (tak91 (tak67 (- x 1) y z)
 
459
                  (tak1 (- y 1) z x)
 
460
                  (tak47 (- z 1) x y)))))
 
461
(define (tak91 x y z)
 
462
  (cond ((not (< y x)) z)
 
463
        (else (tak92 (tak4 (- x 1) y z)
 
464
                  (tak12 (- y 1) z x)
 
465
                  (tak64 (- z 1) x y)))))
 
466
(define (tak92 x y z)
 
467
  (cond ((not (< y x)) z)
 
468
        (else (tak93 (tak41 (- x 1) y z)
 
469
                  (tak23 (- y 1) z x)
 
470
                  (tak81 (- z 1) x y)))))
 
471
(define (tak93 x y z)
 
472
  (cond ((not (< y x)) z)
 
473
        (else (tak94 (tak78 (- x 1) y z)
 
474
                  (tak34 (- y 1) z x)
 
475
                  (tak98 (- z 1) x y)))))
 
476
(define (tak94 x y z)
 
477
  (cond ((not (< y x)) z)
 
478
        (else (tak95 (tak15 (- x 1) y z)
 
479
                  (tak45 (- y 1) z x)
 
480
                  (tak15 (- z 1) x y)))))
 
481
(define (tak95 x y z)
 
482
  (cond ((not (< y x)) z)
 
483
        (else (tak96 (tak52 (- x 1) y z)
 
484
                  (tak56 (- y 1) z x)
 
485
                  (tak32 (- z 1) x y)))))
 
486
(define (tak96 x y z)
 
487
  (cond ((not (< y x)) z)
 
488
        (else (tak97 (tak89 (- x 1) y z)
 
489
                  (tak67 (- y 1) z x)
 
490
                  (tak49 (- z 1) x y)))))
 
491
(define (tak97 x y z)
 
492
  (cond ((not (< y x)) z)
 
493
        (else (tak98 (tak26 (- x 1) y z)
 
494
                  (tak78 (- y 1) z x)
 
495
                  (tak66 (- z 1) x y)))))
 
496
(define (tak98 x y z)
 
497
  (cond ((not (< y x)) z)
 
498
        (else (tak99 (tak63 (- x 1) y z)
 
499
                  (tak89 (- y 1) z x)
 
500
                  (tak83 (- z 1) x y)))))
 
501
(define (tak99 x y z)
 
502
  (cond ((not (< y x)) z)
 
503
        (else (tak0 (tak0 (- x 1) y z)
 
504
                 (tak0 (- y 1) z x)
 
505
                 (tak0 (- z 1) x y)))))
 
506
 
 
507
;;; call:  (tak0 18 12 6)
 
508
 
 
509
(tak0 18 12 6)