/* Defining polynomial */
x^2 - x + 5
/* GCD of coefficients */
1
/* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */
31.8377775733283723189075951798
/* Belt */
[
<8, 1/5*(w + 4)>,
<2, 1/5*(4*w + 5)>,
<4, 1/5*(w - 1)>,
<4, 1/2*(w + 1)>,
<1, 1/10*(w + 15)>,
<1, 1/4*(w + 5)>,
<2, 1/15*(2*w + 10)>,
<1, 3*w + 1>,
<4, 1/7*(2*w + 2)>,
<1, 1/49*(4*w + 11)>,
<1, 1/49*(12*w + 4)>,
<1, 1/35*(2*w + 3)>,
<4, w - 1>,
<-2, 1/5*(-4*w + 9)>,
<-1, 1/10*(-w + 16)>,
<-1, 1/4*(-w + 6)>,
<-2, 1/15*(-2*w + 12)>,
<-1, -3*w + 4>,
<-1, 1/49*(-4*w + 15)>,
<-1, 1/49*(-12*w + 16)>,
<-1, 1/35*(-2*w + 5)>
]