9 193 271 true
0 1 3 4 9 11 14 16 39