8 2249 521 true
1 4 12 15 22 25 35 39