9 2080 431 true
2 5 10 13 15 17 27 34 37