🦞🌯 Lobster Roll

This is a relatively simple algorithm, which is considered folklore, but is still somewhat obscure to many people. I have used this before as a part of [monitoring temporal logic](https://github.com/Agnishom/lattice-mtl/blob/master/src/Monitor/AggQueue.v)

Relevant Paper: https://dl.acm.org/doi/10.1145/3503222.3507719 I am sure this is impressive engineering, but I am not sure if this solves a meaningful problem. If you do need to access the data in this manner, maybe you shouldn't have stored it as JSON in the first place?