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