6 512 313 true
12 15 25 31 33 37