3 42 217 true
2 7 13