15 142864 4057 true
0 1 3 7 10 13 16 21 22 25 30 32 35 36 38