9 3943 630 true
0 2 3 13 17 19 22 23 37