Sugimoto, S. Code for Bounds on Eigenstate Thermalization [Computer software]. https://doi.org/10.5281/zenodo.14707989