9 201 257 true
0 5 7 8 19 20 27 31 39