5 144 217 true
4 8 15 17 33