7 807 273 true
0 1 2 5 13 19 23