Header file sequences.hpp