13 30731 1024 true
0 1 6 9 11 12 13 14 17 24 28 31 38