10 532 390 true
1 2 3 5 9 10 13 31 32 37