12 8273 672 true
0 2 3 5 11 13 24 25 27 31 34 38