6 664 439 true
3 5 12 19 23 31