9 708 513 true
0 1 5 6 10 11 17 31 37