Supporting material for article "The Lorenz Renormalization Conjecture" - View it on GitHub