/* Defining polynomial */ x^2 - x + 31 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 517.010966339065475309376921354 /* Belt */ [ <40, 1/11*(w + 1)>, <4, 1/8*(w + 9)>, <8, 1/37*(3*w + 28)>, <4, 1/1581*(80*w + 1085)>, <4, 1/7*(w + 2)>, <4, 1/1581*(140*w + 356)>, <4, 1/4*(w - 1)>, <4, 1/28*(3*w + 28)>, <8, 1/31*(3*w + 28)>, <16, 1/37*(4*w + 25)>, <4, 1/77*(3*w + 80)>, <12, 1/11*(2*w + 2)>, <4, 1/33*(8*w + 83)>, <4, 1/77*(4*w + 25)>, <4, 1/9*(4*w + 25)>, <8, 1/11*(w - 2)>, <4, 1/31*(w + 30)>, <2, 1/186*(25*w + 186)>, <2, 1/61*(6*w + 25)>, <2, 1/3721*(30*w + 2016)>, <2, 1/186*(5*w + 150)>, <1, 1/961*(36*w + 1080)>, <1, 1/25*(w + 30)>, <32, 1/37*(5*w + 10)>, <8, 1/12*(5*w + 22)>, <12, 1/1333*(60*w + 868)>, <12, 1/43*(4*w + 27)>, <24, 1/5*(w + 3)>, <12, 1/215*(8*w - 32)>, <12, 1/2*w>, <12, 1/1147*(75*w + 700)>, <24, 1/33*(5*w + 23)>, <12, 1/473*(30*w + 305)>, <8, 1/11*(10*w + 21)>, <4, 1/31*(w + 31)>, <8, 1/17*(w + 4)>, <12, 1/17*(2*w + 8)>, <4, 1/341*(60*w + 126)>, <4, 1/102*(5*w + 71)>, <8, 1/341*(10*w + 21)>, <16, 1/43*(7*w + 15)>, <8, 1/1849*(42*w - 132)>, <8, 1/6*(7*w - 22)>, <12, 1/31*(3*w - 3)>, <12, 1/25*(2*w + 31)>, <16, 1/43*(6*w + 19)>, <12, 1/407*(12*w + 408)>, <6, 1/12*(w + 2)>, <8, 1/1369*(60*w + 264)>, <4, 1/37*(w - 3)>, <1, 1/222*(w + 261)>, <1, 1/36*(w + 39)>, <2, 1/259*(6*w + 234)>, <1, 7*w + 15>, <16, 1/43*(6*w + 18)>, <1, 1/1849*(36*w + 151)>, <1, 1/1849*(252*w + 540)>, <1, 1/1591*(6*w + 19)>, <4, w - 3>, <-4, 1/8*(-w + 10)>, <-4, 1/1581*(-80*w + 1165)>, <-4, 1/7*(-w + 3)>, <-4, 1/1581*(-140*w + 496)>, <-4, -1/4*w>, <-4, 1/28*(-3*w + 31)>, <-16, 1/37*(-4*w + 29)>, <-4, 1/77*(-3*w + 83)>, <-4, 1/33*(-8*w + 91)>, <-4, 1/77*(-4*w + 29)>, <-4, 1/9*(-4*w + 29)>, <-2, 1/186*(-25*w + 211)>, <-2, 1/61*(-6*w + 31)>, <-2, 1/3721*(-30*w + 2046)>, <-2, 1/186*(-5*w + 155)>, <-1, 1/961*(-36*w + 1116)>, <-1, 1/25*(-w + 31)>, <-12, 1/1333*(-60*w + 928)>, <-12, 1/43*(-4*w + 31)>, <-12, 1/215*(-8*w - 24)>, <-12, 1/2*(-w + 1)>, <-12, 1/1147*(-75*w + 775)>, <-12, 1/473*(-30*w + 335)>, <-4, 1/31*(-w + 32)>, <-4, 1/341*(-60*w + 186)>, <-4, 1/102*(-5*w + 76)>, <-12, -3/31*w>, <-12, 1/25*(-2*w + 33)>, <-12, 1/407*(-12*w + 420)>, <-6, 1/12*(-w + 3)>, <-1, 1/222*(-w + 262)>, <-1, 1/36*(-w + 40)>, <-2, 1/259*(-6*w + 240)>, <-1, -7*w + 22>, <-1, 1/1849*(-36*w + 187)>, <-1, 1/1849*(-252*w + 792)>, <-1, 1/1591*(-6*w + 25)> ]