10 4155 513 true
1 4 7 10 14 17 29 30 32 37