/* Defining polynomial */
x^2 - x + 30
/* GCD of coefficients */
2
/* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */
995.184332240864890264947428855
/* Belt */
[
<36, 1/12*(w + 9)>,
<78, 1/4*(w + 2)>,
<78, 1/8*(w + 6)>,
<36, 1/14*(w + 10)>,
<36, 1/10*(w + 9)>,
<36, 1/10*(w + 10)>,
<48, 1/36*(5*w + 10)>,
<36, 1/16*(w + 14)>,
<12, 1/18*w>,
<6, 1/9*(w - 3)>,
<184, 1/6*(w + 2)>,
<36, 1/2*(w + 2)>,
<48, 1/4*(w + 5)>,
<48, 1/15*(w + 5)>,
<24, 1/4*(w + 3)>,
<18, 1/10*(w + 5)>,
<6, 1/6*(w + 6)>,
<12, 1/30*w>,
<24, 1/21*(2*w + 6)>,
<36, 1/15*(w + 15)>,
<20, 1/36*(w + 38)>,
<12, 1/5*(w - 2)>,
<48, 1/15*(w + 17)>,
<48, 1/12*(5*w + 22)>,
<24, 1/9*(2*w - 6)>,
<24, 1/8*(w - 3)>,
<18, 1/10*(w + 4)>,
<12, w - 5>,
<36, 1/16*(w + 1)>,
<24, 1/32*(3*w + 26)>,
<12, 1/16*(3*w + 10)>,
<12, 1/200*(3*w - 13)>,
<12, 1/36*(w + 2)>,
<20, 1/36*(w - 3)>,
<-12, 1/18*(-w + 1)>,
<-6, 1/9*(-w - 2)>,
<-6, 1/6*(-w + 7)>,
<-12, 1/5*(-w - 1)>,
<-12, -w - 4>,
<-12, 1/16*(-3*w + 13)>,
<-12, 1/200*(-3*w - 10)>,
<-12, 1/36*(-w + 3)>
]