12 712 382 true
0 3 8 9 12 13 16 20 21 31 32 37