13 10377 889 true
1 2 4 7 10 11 12 15 17 20 23 32 39