12 15240 1186 true
0 1 3 5 8 11 13 24 29 31 36 37