12 1897 513 true
1 2 3 4 7 13 16 22 36 37 38 39