13 1989 512 true
1 7 8 12 13 17 20 22 25 29 30 36 38