/* Defining polynomial */
x^2 - x + 15
/* GCD of coefficients */
1
/* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */
214.431612031704752863504850938
/* Belt */
[
<12, 1/2*(w - 3)>,
<24, 1/7*(w + 2)>,
<12, 1/15*(4*w - 4)>,
<8, 1/21*(5*w + 6)>,
<4, 1/441*(20*w - 44)>,
<4, 1/4*(5*w - 11)>,
<12, 1/17*(2*w + 2)>,
<12, 1/3*(w - 2)>,
<16, 1/21*(4*w + 9)>,
<12, 1/15*(w + 14)>,
<6, w + 1>,
<6, 1/16*w>,
<16, 1/3*(w + 1)>,
<4, 1/289*(24*w + 88)>,
<4, 1/17*(w - 2)>,
<1, 1/68*(w + 86)>,
<1, 1/16*(w + 18)>,
<2, 1/85*(4*w + 72)>,
<1, 5*w + 6>,
<16, 1/21*(4*w + 8)>,
<1, 1/441*(16*w + 53)>,
<1, 1/441*(80*w + 96)>,
<1, 1/357*(4*w + 9)>,
<4, w - 2>,
<-12, 1/2*(-w - 2)>,
<-24, 1/7*(-w + 3)>,
<-12, -4/15*w>,
<-12, 1/17*(-2*w + 4)>,
<-12, 1/3*(-w - 1)>,
<-6, -w + 2>,
<-6, 1/16*(-w + 1)>,
<-4, 1/289*(-24*w + 112)>,
<-1, 1/68*(-w + 87)>,
<-1, 1/16*(-w + 19)>,
<-2, 1/85*(-4*w + 76)>,
<-1, -5*w + 11>,
<-1, 1/441*(-16*w + 69)>,
<-1, 1/441*(-80*w + 176)>,
<-1, 1/357*(-4*w + 13)>
]