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