6 293 300 true
0 2 12 15 20 22