10 664 572 true
0 3 7 11 25 30 31 33 36 39