13 12800 1027 true
1 5 6 10 14 15 16 20 23 29 33 37 39