Loading Open Internet
    Infrastructure of reduced real quadratic polynomials