16 12008 1380 true
0 1 4 8 12 13 14 18 19 23 30 31 32 35 37 39