../../Task/Extensible-prime-generator/Seed7