/* Defining polynomial */
x^2 - x + 12
/* GCD of coefficients */
2
/* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */
233.213083830834791179580188868
/* Belt */
[
<18, 1/6*(w + 3)>,
<6, 1/4*(w + 4)>,
<12, 1/12*w>,
<24, 1/2*(w + 1)>,
<24, 1/7*(w + 1)>,
<24, 1/12*(w + 8)>,
<18, 1/6*(w + 2)>,
<12, w - 3>,
<24, 1/12*(w + 3)>,
<24, 1/14*(3*w + 8)>,
<16, 1/7*(2*w + 3)>,
<16, 1/63*(2*w - 5)>,
<4, 1/21*(2*w + 10)>,
<4, 1/8*(w + 6)>,
<4, 1/8*(w + 5)>,
<4, 1/9*(2*w + 13)>,
<8, 1/28*(w - 2)>,
<16, 1/36*(w + 2)>,
<16, 1/4*(w + 2)>,
<8, 2*w - 4>,
<-6, 1/4*(-w + 5)>,
<-12, -w - 2>,
<-4, 1/21*(-2*w + 12)>,
<-4, 1/8*(-w + 7)>,
<-4, 1/8*(-w + 6)>,
<-4, 1/9*(-2*w + 15)>
]