diff -r b6ed836ce59b -r 484b74bc057e progs/defs.fun
--- a/progs/defs.fun	Mon Nov 18 11:11:11 2019 +0000
+++ b/progs/defs.fun	Wed Nov 20 17:10:03 2019 +0000
@@ -77,7 +77,9 @@
 //(write (div(11, 3)); rem(11, 3))
 //gcd(54, 24)
 //is_prime(2)
-primes(1000000)
+primes(1000)
+//primes(1000000)
+//collatz(4000)
 //collatz(5000)
 //facT(6, 1)