5 273 227 true
0 1 5 7 11