11 516 256 true
0 9 13 14 15 22 29 30 34 38 39