eureka eureka_seven possible_duplicate renton_thurston vector