12 15023 1039 true
0 3 8 9 12 13 16 20 21 31 32 37