1 (***********************************************************************)
5 (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
7 (* Copyright 1996 Institut National de Recherche en Informatique et *)
8 (* en Automatique. All rights reserved. This file is distributed *)
9 (* under the terms of the Q Public License version 1.0. *)
11 (***********************************************************************)
16 if x
> y
then tak (tak (x
-1) y z
) (tak (y
-1) z x
) (tak (z
-1) x y
)
20 if n
<= 0 then 0 else tak 18 12 6 + repeat(n
-1)
22 let _ = print_int
(repeat 2000); print_newline
(); exit
0