12 1023 502 true
2 3 5 7 11 12 13 15 25 31 37 39