12 8828 951 true
0 5 6 8 12 13 20 30 31 32 35 37