6271 is prime. 6277 is prime. Out of memory! panic: leave_scope inconsistency at primes.pl line 15.