9 403 268 true
0 1 5 8 12 13 14 15 32