true 12 9 true
0 1 8 12 14 15 16 22 42 43 47