9 1925 477 true
0 1 8 13 16 19 31 34 36