9 1993 473 true
9 13 15 20 25 26 30 36 37