7   if x == 0 then x else x - 1;

     7   if x == 0 then x else x - 1;

     8 

     8 

     9 def add(x, y) =

     9 def add(x, y) =

    10   if x == 0 then y else suc(add(x - 1, y));

    10   if x == 0 then y else suc(add(x - 1, y));

    11 

    11 

    12 def mult(x, y) =

    15 def mult(x, y) =

    13   if x == 0 then 0 else add(y, mult(x - 1, y));

    16   if x == 0 then 0 else add(y, mult(x - 1, y));

    14 

    17 

    15 def pow(x, y) =

    18 def pow(x, y) =

    16   if y == 0 then 1 else mult(x, pow(x, y - 1));

    19   if y == 0 then 1 else mult(x, pow(x, y - 1));

    81 //primes(1000000)

    84 //primes(1000000)

    82 //collatz(4000)

    85 //collatz(4000)

    83 //collatz(5000)

    86 //collatz(5000)

    84 //facT(6, 1)

    87 //facT(6, 1)

    85 

    88