../../Task/Integer-sequence/Eiffel