../ legendre.rs 24-Jul-2006 01:21 28 primality.rs 24-Jul-2006 01:21 3701 rand.rs 24-Jul-2006 01:21 1637 spanish 24-Jul-2006 01:21 3237 titanic_prime.rs 24-Jul-2006 01:21 7658