Package g1401_1500.s1415_the_k_th_lexicographical_string_of_all_happy_strings_of_length_n