/* Defining polynomial */ x^2 - x + 14 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 250.561124544261349797635516487 /* Belt */ [ <24, 1/16*(3*w + 10)>, <14, 1/16*(w + 17)>, <76, 1/4*(w + 1)>, <12, 1/6*(w - 1)>, <24, 1/7*w>, <24, 1/35*(3*w + 11)>, <6, 1/35*(4*w + 28)>, <6, 1/2*(w + 2)>, <12, 1/14*w>, <24, 1/35*(3*w + 21)>, <24, 1/7*(w + 6)>, <12, 1/16*(w + 1)>, <14, 1/16*(w - 2)>, <-12, -1/6*w>, <-6, 1/35*(-4*w + 32)>, <-6, 1/2*(-w + 3)>, <-12, 1/16*(-w + 2)> ]