python map list of strings to integer list,"k = [1, 1, 2, 3]"