10 531 411 true
0 1 2 7 12 13 15 18 36 38