/* Defining polynomial */ x^2 - x + 56 /* GCD of coefficients */ 2 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 1949.88893288136622930270421477 /* Belt */ [ <32, 1/56*(5*w + 56)>, <36, 1/2*(w - 1)>, <32, 1/86*(5*w + 56)>, <36, 1/28*(w - 1)>, <24, 1/43*(4*w + 20)>, <24, 1/31*(4*w + 8)>, <60, 1/34*(3*w + 9)>, <60, 1/6*(w + 3)>, <12, 1/589*(18*w - 23)>, <24, 1/31*(w + 33)>, <24, 1/62*(3*w + 6)>, <36, 1/56*(5*w + 51)>, <24, 3/56*w>, <36, 1/76*(5*w + 51)>, <72, 1/68*(7*w + 21)>, <40, 1/76*(9*w + 36)>, <18, 2*w + 9>, <102, 1/19*(2*w + 9)>, <24, 1/20*(7*w + 41)>, <6, 1/228*(49*w + 424)>, <6, 1/76*(3*w + 12)>, <24, 1/119*(5*w + 134)>, <48, 1/62*(5*w + 47)>, <12, 1/56*(w + 55)>, <6, 1/16*(w + 8)>, <18, 1/7*w>, <28, 1/43*(3*w + 15)>, <24, 1/29*(w + 1)>, <28, 1/6*(w + 5)>, <24, 1/2*(w + 1)>, <24, 1/217*(15*w - 45)>, <24, 1/217*(15*w + 247)>, <48, 1/58*(5*w + 48)>, <48, 1/58*(5*w + 5)>, <12, 1/434*(27*w + 488)>, <36, 1/76*(7*w + 41)>, <24, 1/3*(w - 1)>, <40, 1/4*(w - 1)>, <24, 1/56*(3*w - 3)>, <40, 1/19*(w + 14)>, <36, 1/62*(7*w + 41)>, <24, 1/29*(6*w - 12)>, <24, 1/12*(w - 2)>, <12, 1/32*(w + 30)>, <6, 1/51*(16*w + 48)>, <24, 1/493*(14*w + 59)>, <24, 1/3*(2*w - 8)>, <24, 1/493*(14*w + 420)>, <24, 1/102*(7*w + 123)>, <102, 1/19*(2*w + 8)>, <24, 1/14*(3*w + 23)>, <8, 1/3*(w + 1)>, <2, 1/3364*(147*w + 2548)>, <36, 1/31*(2*w + 4)>, <12, 1/21*(2*w - 6)>, <12, 1/98*(w + 104)>, <24, 1/6*(w - 2)>, <24, 1/29*(3*w - 6)>, <36, 1/4*(w + 2)>, <12, 1/16*(3*w - 9)>, <16, 1/551*(30*w + 291)>, <16, 1/29*(3*w + 23)>, <48, 1/4*w>, <48, 1/14*w>, <24, 1/133*(6*w + 43)>, <24, 1/31*(6*w + 43)>, <12, 1/551*(24*w + 488)>, <12, 1/32*(w + 4)>, <12, 1/29*(8*w + 13)>, <12, 1/551*(48*w + 368)>, <24, 1/2*(w + 4)>, <12, 1/62*(w + 2)>, <4, 1/4*(w - 2)>, <4, 1/1247*(42*w + 651)>, <8, 1/7*(w + 1)>, <4, 1/86*(6*w + 179)>, <8, 1/58*(7*w + 7)>, <4, 1/215*(4*w + 62)>, <16, 1/87*(10*w + 97)>, <16, 1/29*(3*w + 3)>, <12, 1/392*(3*w + 371)>, <12, 1/49*(4*w + 24)>, <12, 1/76*(9*w + 112)>, <12, 1/64*(w - 1)>, <12, 1/34*(5*w - 20)>, <4, 1/15*(w + 14)>, <4, 1/215*(9*w + 131)>, <4, 1/56*(9*w + 131)>, <4, 1/10*(3*w + 25)>, <18, 2*w - 10>, <12, 1/38*(5*w + 58)>, <8, 1/5776*(45*w - 200)>, <8, 1/5*(9*w - 40)>, <-12, 1/589*(-18*w - 5)>, <-6, 1/228*(-49*w + 473)>, <-6, 1/76*(-3*w + 15)>, <-6, 1/16*(-w + 9)>, <-18, 1/7*(-w + 1)>, <-12, 1/434*(-27*w + 515)>, <-12, 1/32*(-w + 31)>, <-6, 1/51*(-16*w + 64)>, <-24, 1/3*(-2*w - 6)>, <-2, 1/3364*(-147*w + 2695)>, <-12, 1/21*(-2*w - 4)>, <-12, 1/98*(-w + 105)>, <-12, 1/16*(-3*w - 6)>, <-12, 1/551*(-24*w + 512)>, <-12, 1/32*(-w + 5)>, <-12, 1/29*(-8*w + 21)>, <-12, 1/551*(-48*w + 416)>, <-12, 1/62*(-w + 3)>, <-4, 1/4*(-w - 1)>, <-4, 1/1247*(-42*w + 693)>, <-4, 1/86*(-6*w + 185)>, <-4, 1/215*(-4*w + 66)>, <-12, 1/392*(-3*w + 374)>, <-12, 1/49*(-4*w + 28)>, <-12, 1/76*(-9*w + 121)>, <-12, -1/64*w>, <-12, 1/34*(-5*w - 15)>, <-4, 1/15*(-w + 15)>, <-4, 1/215*(-9*w + 140)>, <-4, 1/56*(-9*w + 140)>, <-4, 1/10*(-3*w + 28)>, <-12, 1/38*(-5*w + 63)> ]