9 1708 457 true 0 1 6 9 15 27 31 34 38