9 3873 512 true
12 15 17 18 23 28 29 31 39