| .. | ||
| primality-by-trial-division-1.picat | ||
| primality-by-trial-division-2.picat | ||
| primality-by-trial-division-3.picat | ||
| primality-by-trial-division-4.picat | ||
| primality-by-trial-division-5.picat | ||
| .. | ||
| primality-by-trial-division-1.picat | ||
| primality-by-trial-division-2.picat | ||
| primality-by-trial-division-3.picat | ||
| primality-by-trial-division-4.picat | ||
| primality-by-trial-division-5.picat | ||