Code for Bounds on Eigenstate Thermalization - Sugimoto, Shoki