/* Defining polynomial */ x^2 - x + 23 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 324.352359894624868990636616898 /* Belt */ [ <20, 1/25*(3*w + 19)>, <36, 1/29*(5*w + 14)>, <6, 1/841*(20*w + 765)>, <64, 1/5*(w + 3)>, <8, 1/25*(2*w - 4)>, <8, 1/2*(w - 2)>, <6, 1/667*(50*w + 42)>, <6, 1/23*(2*w + 23)>, <12, w>, <24, 1/161*(12*w + 92)>, <24, 1/161*(12*w + 57)>, <12, 1/69*(20*w + 69)>, <12, 1/29*(3*w + 20)>, <6, 1/116*(9*w + 134)>, <18, 1/29*(4*w + 8)>, <12, 1/25*(2*w + 21)>, <12, w + 1>, <2, 1/625*(48*w + 304)>, <12, 1/29*(w + 2)>, <6, 1/841*(20*w + 56)>, <-6, 1/667*(-50*w + 92)>, <-6, 1/23*(-2*w + 25)>, <-12, 1/69*(-20*w + 89)>, <-12, 1/29*(-3*w + 23)>, <-6, 1/116*(-9*w + 143)>, <-18, 1/29*(-4*w + 12)>, <-12, 1/25*(-2*w + 23)>, <-12, -w + 2>, <-2, 1/625*(-48*w + 352)>, <-12, 1/29*(-w + 3)> ]