Sequencing by enumerative methods by Lenstra