Thank you twice! Once for the write-up (as detailed and enjoyable as usual), but also today a second time, for making the solution available. I had an off-by-one error, and could not find what was wrong: so I came here, pasted my input in your notebook to know the correct result (without looking at your approach). This helped me focus and find my mistake more quickly. 🙏