12 10225 878 true
2 3 5 7 11 12 13 15 25 31 37 39