9 403 509 true
2 3 7 10 14 15 16 20 27