9 1943 523 true
2 5 11 12 13 17 23 25 36