15 1945 511 true
0 1 2 4 9 11 13 14 15 16 17 18 23 24 39