13 30000 1006 true
0 4 5 7 12 16 23 25 27 32 33 37 39