7 515 289 true
0 3 5 15 23 31 32