["3","6","9","17","19","20"]