../../Task/Vector-products/Seed7