[optimalsolver]

I'll take this opportunity to point out my favorite integer sequence, Recaman's Sequence:

https://www.youtube.com/watch?v=FGC5TdIiT9U