8 133 505 true
8 12 17 19 20 27 31 34