12 529 255 true
1 5 6 7 12 15 19 20 31 33 37 38