5 284 179 true
0 1 6 10 13