/* Defining polynomial */ x^2 + 13 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 167.975536823734317246173451598 /* Belt */ [ <6, 2/13*w>, <6, 1/9*(2*w + 13)>, <20, 1/17*(4*w + 9)>, <24, 1/7*(w + 6)>, <12, 1/14*(3*w + 11)>, <12, 1/119*(12*w + 75)>, <4, 1/7*(6*w + 13)>, <4, 1/13*(w + 13)>, <4, 1/13*(3*w + 13)>, <4, 1/143*(6*w + 26)>, <8, 1/28*(3*w - 3)>, <4, 1/77*(2*w + 82)>, <8, 1/3*(2*w - 2)>, <4, 1/11*(2*w + 5)>, <12, 1/16*(w + 15)>, <6, 1/17*(8*w + 16)>, <2, 4*w + 9>, <-6, -2/13*w>, <-6, 1/9*(-2*w + 13)>, <-12, 1/14*(-3*w + 11)>, <-12, 1/119*(-12*w + 75)>, <-4, 1/7*(-6*w + 13)>, <-4, 1/13*(-w + 13)>, <-4, 1/13*(-3*w + 13)>, <-4, 1/143*(-6*w + 26)>, <-4, 1/77*(-2*w + 82)>, <-4, 1/11*(-2*w + 5)>, <-12, 1/16*(-w + 15)>, <-6, 1/17*(-8*w + 16)>, <-2, -4*w + 9> ]