9 3176 508 true
0 3 4 5 13 14 15 30 32