8 512 317 true
3 5 10 13 27 31 34 38