17 4172 580 true
1 2 3 4 6 7 9 10 12 13 14 15 17 18 19 25 31