12 512 295 true
2 4 7 9 14 15 20 25 31 33 35 37