9 1977 412 true
1 3 4 13 16 23 24 30 32