3 25 217 true
3 12 13