5 270 129 true
0 1 7 14 17