/* Defining polynomial */
x^2 + 2
/* GCD of coefficients */
1
/* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */
12.0460920400943776472683786292
/* Belt */
[
<4, w>,
<1, 1/9*(w + 4)>,
<1, 1/6*(w + 2)>,
<2, 1/3*(2*w + 4)>,
<1, 1/9*(2*w + 1)>,
<4, w + 1>,
<1, 1/2*(w + 4)>,
<1, 2*w + 1>,
<1, w + 2>
]