sequence from file constructor