15 8343 807 true
0 1 2 5 7 17 19 22 23 24 26 31 33 38 39