16 8461 807 true
0 1 3 7 13 18 23 25 27 29 30 31 33 34 38 39