/* Defining polynomial */ x^2 + 10 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 117.817421326776131687260189350 /* Belt */ [ <6, 1/10*w>, <6, 1/9*(w + 10)>, <12, 1/2*(w + 1)>, <12, 1/11*(3*w + 3)>, <12, 1/2*(3*w + 8)>, <12, 1/5*w>, <12, 1/3*(w + 5)>, <16, 1/7*(2*w + 3)>, <8, 2*w - 3>, <8, 1/49*(2*w - 3)>, <-6, -1/10*w>, <-6, 1/9*(-w + 10)>, <-12, 1/11*(-3*w + 3)>, <-12, 1/2*(-3*w + 8)>, <-12, -1/5*w>, <-12, 1/3*(-w + 5)> ]