6 423 290 true
0 2 5 15 17 25