/* Defining polynomial */
x^2 + 6
/* GCD of coefficients */
1
/* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */
62.1860747738350259510666272608
/* Belt */
[
<12, w + 1>,
<8, 1/2*(w + 2)>,
<4, 1/15*(2*w + 6)>,
<6, 1/7*(3*w + 3)>,
<12, 1/7*(w + 1)>,
<6, 1/7*(2*w + 5)>,
<1, 3*w + 4>,
<1, 1/7*(6*w + 15)>,
<1, 1/35*(w + 13)>,
<1, 1/6*(w + 8)>,
<6, 1/10*(3*w + 6)>,
<1, 1/10*(w + 8)>,
<1, 1/3*(2*w + 5)>,
<-8, 1/2*(-w + 2)>,
<-4, 1/15*(-2*w + 6)>,
<-1, -3*w + 4>,
<-1, 1/7*(-6*w + 15)>,
<-1, 1/35*(-w + 13)>,
<-1, 1/6*(-w + 8)>,
<-1, 1/10*(-w + 8)>,
<-1, 1/3*(-2*w + 5)>
]