/* Defining polynomial */ x^2 - x + 13 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 151.391093749399066440333124970 /* Belt */ [ <52, 1/5*(w + 1)>, <4, 1/2*(w + 3)>, <6, 1/2*w>, <6, 1/65*(6*w + 33)>, <4, 1/3*w>, <5, 1/247*(12*w + 40)>, <4, 1/19*(2*w + 4)>, <1, 1/57*(6*w + 77)>, <4, 1/2*(w + 2)>, <1, 1/95*(9*w + 30)>, <1, 1/247*(30*w + 117)>, <1, 1/26*(15*w + 11)>, <1, 1/95*(4*w + 65)>, <1, 1/39*(4*w + 65)>, <1, 1/247*(18*w + 112)>, <4, 3/13*w>, <6, w>, <2, 1/169*(12*w + 144)>, <1, 1/13*(3*w + 13)>, <1, 1/325*(12*w + 52)>, <2, 1/4*w>, <1, 1/75*(3*w + 88)>, <2, 4/13*w>, <1, 1/100*(9*w + 39)>, <4, 1/65*(4*w + 52)>, <4, 1/16*(3*w + 10)>, <4, 1/16*(w + 13)>, <8, 1/20*(w - 2)>, <4, 1/76*(w + 2)>, <4, 1/4*(w + 2)>, <8, 1/3*(4*w - 8)>, <-4, 1/2*(-w + 4)>, <-6, 1/2*(-w + 1)>, <-6, 1/65*(-6*w + 39)>, <-5, 1/247*(-12*w + 52)>, <-1, 1/57*(-6*w + 83)>, <-1, 1/95*(-9*w + 39)>, <-1, 1/247*(-30*w + 147)>, <-1, 1/26*(-15*w + 26)>, <-1, 1/95*(-4*w + 69)>, <-1, 1/39*(-4*w + 69)>, <-1, 1/247*(-18*w + 130)>, <-2, 1/169*(-12*w + 156)>, <-1, 1/13*(-3*w + 16)>, <-1, 1/325*(-12*w + 64)>, <-1, 1/75*(-3*w + 91)>, <-1, 1/100*(-9*w + 48)>, <-4, 1/65*(-4*w + 56)>, <-4, 1/16*(-3*w + 13)>, <-4, 1/16*(-w + 14)>, <-4, 1/76*(-w + 3)>, <-4, 1/4*(-w + 3)> ]