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