12 6417 1190 true
1 3 4 11 13 15 24 31 32 33 35 37