9 4271 521 true
0 3 8 15 18 19 20 23 30