9 512 319 true
0 7 12 13 16 20 21 23 30