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