9 3080 843 true
4 8 15 19 21 23 27 30 35