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