/* Defining polynomial */ x^2 + 22 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 353.253338806322952960658782656 /* Belt */ [ <40, 1/13*(2*w + 4)>, <24, 1/143*(10*w + 33)>, <12, 1/403*(15*w + 355)>, <28, 1/26*(5*w + 16)>, <24, 1/143*(10*w + 110)>, <24, 1/26*(3*w + 6)>, <24, 1/3*(w + 2)>, <12, 1/4*(w + 1)>, <12, 1/92*(15*w - 15)>, <12, 1/25*(3*w + 22)>, <12, 1/31*(2*w + 6)>, <12, w + 1>, <12, 1/3*(w + 3)>, <12, 1/31*(8*w - 24)>, <28, 1/31*(5*w + 16)>, <12, 1/23*(2*w + 21)>, <6, 1/26*(w + 2)>, <6, 1/23*(25*w + 25)>, <4, 1/169*(10*w + 124)>, <4, w - 2>, <1, 1/961*(5*w + 790)>, <1, 1/806*(25*w + 700)>, <2, 1/155*(6*w + 168)>, <1, 1/961*(6*w + 13)>, <1, 1/26*(25*w + 106)>, <1, 1/25*(6*w + 13)>, <1, 5*w + 16>, <4, 1/26*(w - 2)>, <-12, 1/403*(-15*w + 355)>, <-12, 1/4*(-w + 1)>, <-12, 1/92*(-15*w - 15)>, <-12, 1/25*(-3*w + 22)>, <-12, 1/31*(-2*w + 6)>, <-12, -w + 1>, <-12, 1/3*(-w + 3)>, <-12, 1/31*(-8*w - 24)>, <-6, 1/26*(-w + 2)>, <-6, 1/23*(-25*w + 25)>, <-4, 1/169*(-10*w + 124)>, <-1, 1/961*(-5*w + 790)>, <-1, 1/806*(-25*w + 700)>, <-2, 1/155*(-6*w + 168)>, <-1, 1/961*(-6*w + 13)>, <-1, 1/26*(-25*w + 106)>, <-1, 1/25*(-6*w + 13)>, <-1, -5*w + 16> ]