/* Defining polynomial */ x^2 + 134 /* GCD of coefficients */ 1 /* 24 * |disc|^(3/2) /(8*pi^2)* zeta_F(2) */ 7230.83896752018667856099942223 /* Belt */ [ <228, 1/10*(w + 6)>, <24, 1/143*(3*w + 9)>, <24, 1/3*(w + 3)>, <228, 1/15*(w + 11)>, <156, 1/25*(w + 21)>, <156, 1/25*(w + 4)>, <102, 1/11*(w + 5)>, <48, 1/143*(9*w + 27)>, <48, 1/9*(w + 3)>, <102, 1/159*(11*w + 55)>, <24, 1/143*(3*w + 152)>, <24, 1/680*(9*w + 734)>, <24, 1/170*(3*w + 152)>, <24, 1/3233*(36*w + 2936)>, <24, 1/183*(4*w + 28)>, <24, 1/143*(4*w - 12)>, <24, 1/135*(8*w - 32)>, <24, 1/80*(9*w - 36)>, <48, 1/85*(2*w + 63)>, <48, 1/53*(2*w + 63)>, <24, 1/44*(w + 48)>, <24, 1/1219*(22*w + 1056)>, <36, 1/69*(w - 2)>, <36, 1/2*(w - 2)>, <96, 1/8*(w + 4)>, <24, 1/54*(13*w + 67)>, <24, 1/65*(2*w + 67)>, <132, 1/11*(w + 3)>, <124, 1/170*(13*w + 92)>, <24, 1/675*(143*w + 818)>, <24, 1/1139*(33*w + 737)>, <48, 1/187*(4*w - 24)>, <24, 1/143*(8*w + 143)>, <24, 1/40*(3*w - 12)>, <24, 1/45*(4*w - 16)>, <72, 1/99*(7*w + 43)>, <24, 1/55*(4*w - 12)>, <72, 1/150*(7*w + 28)>, <24, 1/52*(5*w - 15)>, <24, 1/10*(w + 3)>, <72, 1/7*(w + 4)>, <48, 1/187*(4*w + 211)>, <132, 1/13*(w + 3)>, <24, 1/675*(143*w - 143)>, <124, 1/183*(13*w + 92)>, <24, 1/1139*(33*w + 402)>, <24, 1/10*(w + 7)>, <132, 1/50*(3*w + 12)>, <24, 8/143*w>, <132, 1/50*(3*w + 38)>, <72, 1/14*(w + 6)>, <66, 1/135*(7*w + 128)>, <66, 1/170*(7*w + 128)>, <12, 1/792*(35*w + 1072)>, <12, 1/67*(4*w + 67)>, <24, 1/2277*(40*w + 1805)>, <24, 1/24*(5*w - 35)>, <48, 1/159*(8*w + 119)>, <24, 1/5695*(156*w + 2211)>, <12, 1/15555*(91*w + 14911)>, <24, 1/52*(3*w - 15)>, <48, 1/159*(8*w + 40)>, <48, 1/69*(2*w + 65)>, <24, 1/100*(13*w - 52)>, <24, 1/65*(2*w - 8)>, <72, 1/46*(3*w + 6)>, <24, 1/78*(w + 79)>, <24, 1/143*(6*w + 18)>, <24, 1/39*(2*w - 8)>, <72, 1/46*(3*w + 40)>, <24, 1/65*(2*w + 73)>, <24, 1/2125*(26*w + 2054)>, <88, 1/85*(6*w + 36)>, <24, 1/143*(4*w + 12)>, <24, 1/143*(4*w + 131)>, <12, 1/7*(w - 3)>, <24, 1/4719*(140*w + 295)>, <24, 1/49*(4*w + 61)>, <24, 1/115*(28*w + 59)>, <24, 1/5865*(196*w + 2989)>, <48, 1/5*(w + 2)>, <48, 1/183*(8*w + 56)>, <60, 1/3*(w + 2)>, <60, 1/46*(w + 2)>, <24, 1/1541*(22*w + 1474)>, <24, 1/66*(w + 67)>, <48, 1/138*(5*w + 10)>, <48, 1/8*(w + 7)>, <24, 1/150*(7*w - 28)>, <12, 1/34*(w - 6)>, <72, 1/27*(w + 1)>, <12, 1/75*(2*w - 8)>, <12, 1/91*(2*w + 8)>, <72, 1/30*(w + 4)>, <24, 1/44*(5*w + 59)>, <24, 1/69*(13*w + 95)>, <24, 1/4*w>, <24, 1/215*(13*w + 117)>, <24, 1/134*(9*w + 134)>, <48, 1/8*(w + 6)>, <72, 1/183*(11*w + 77)>, <24, 1/60*(7*w + 67)>, <24, 1/8*(w - 6)>, <24, 1/63*(10*w - 50)>, <24, 1/63*(10*w + 113)>, <12, 1/45*(2*w + 2)>, <12, 1/33*(2*w + 43)>, <12, 1/75*(11*w - 44)>, <24, 1/44*(5*w - 15)>, <24, 1/26*(w + 28)>, <24, 1/75*(2*w + 67)>, <72, 1/11*(w + 7)>, <24, 9/134*w>, <24, 1/150*(13*w + 52)>, <48, 1/8*(w + 2)>, <24, 1/165*(4*w + 109)>, <24, 1/60*(7*w - 7)>, <24, 1/30*(w + 16)>, <24, 1/13*(w + 16)>, <24, 1/330*(7*w + 98)>, <24, 1/330*(7*w + 232)>, <24, 1/61*(5*w + 35)>, <24, 1/495*(7*w + 56)>, <24, 1/495*(7*w + 439)>, <24, 1/66*(5*w + 40)>, <24, 1/18*(w + 21)>, <24, 1/234*(5*w + 184)>, <12, 1/99*(w + 107)>, <12, 1/169*(7*w + 134)>, <12, 1/183*(2*w + 14)>, <36, 1/5*(w + 5)>, <24, 1/159*(5*w + 184)>, <12, 1/45*(2*w - 2)>, <12, 1/33*(2*w + 47)>, <12, 1/92*(5*w + 102)>, <12, 1/39*(2*w + 19)>, <24, 1/143*(18*w + 197)>, <24, 1/25*(w - 4)>, <24, 1/795*(26*w + 559)>, <72, 1/13*(w + 8)>, <24, 1/1525*(26*w + 1404)>, <24, 1/7*(2*w - 10)>, <24, 1/25*(w + 29)>, <24, 1/39*(2*w + 43)>, <72, 1/159*(13*w + 94)>, <24, 1/52*(w + 54)>, <24, 1/825*(14*w + 706)>, <24, 1/24*(w - 4)>, <24, 1/5*(2*w + 17)>, <24, 1/85*(3*w + 67)>, <12, 1/540*(143*w + 143)>, <12, 1/4*(w - 1)>, <12, 1/135*(2*w + 137)>, <12, 1/91*(11*w + 124)>, <12, 1/13515*(88*w + 832)>, <48, 1/159*(10*w + 109)>, <24, 1/23*(w + 25)>, <24, 1/3657*(112*w + 1673)>, <24, 1/33*(w + 25)>, <24, 1/175*(16*w + 239)>, <24, 1/1125*(22*w + 1012)>, <24, 1/44*(w + 46)>, <12, 1/72*(5*w + 67)>, <12, 1/26*(w + 10)>, <12, w + 1>, <24, 1/25*(4*w - 16)>, <12, 1/10*(w + 11)>, <24, 1/165*(2*w + 17)>, <24, 1/85*(3*w + 18)>, <24, 1/67*(14*w + 67)>, <36, 1/5*w>, <24, 1/72*(11*w + 116)>, <24, 1/255*(11*w - 66)>, <36, 1/7*(w + 2)>, <60, 1/22*(w + 14)>, <72, 1/12*(w + 7)>, <72, 1/61*(4*w + 28)>, <12, 1/5*(w - 1)>, <12, 1/459*(11*w + 308)>, <24, 1/28*(w + 28)>, <36, 1/7*(w + 5)>, <24, 1/1403*(33*w + 440)>, <24, 1/72*(11*w - 44)>, <60, 1/15*(w + 14)>, <12, 1/135*(13*w - 13)>, <12, 1/6*(w - 8)>, <12, 1/26*(3*w - 12)>, <24, 1/3*(2*w - 14)>, <24, 1/18*(w - 7)>, <24, 1/1287*(5*w + 1247)>, <24, 1/138*(5*w + 148)>, <24, 1/138*(5*w - 10)>, <24, 1/122*(w - 7)>, <48, 1/14*(w + 7)>, <24, 1/253*(6*w + 103)>, <72, 1/12*(w + 4)>, <24, 1/26*(w + 1)>, <24, 1/45*(w + 46)>, <36, 1/198*(7*w + 142)>, <72, 1/33*(2*w + 17)>, <24, 1/759*(26*w + 109)>, <24, 1/50*(w + 46)>, <36, 1/135*(7*w + 142)>, <24, 1/24*(w + 26)>, <12, 1/135*(2*w + 133)>, <6, 1/945*(121*w + 1066)>, <12, 1/85*(2*w + 73)>, <12, 1/276*(77*w + 122)>, <24, 1/69*(2*w + 19)>, <12, 1/16*(w + 14)>, <12, 1/11*(8*w + 64)>, <12, 1/253*(8*w + 53)>, <24, 1/13*(2*w + 19)>, <24, 1/135*(4*w + 104)>, <12, 1/99*(10*w - 80)>, <24, 1/8174*(231*w + 4422)>, <24, 1/28*(3*w - 12)>, <24, 1/10*(w + 14)>, <36, 1/69*(5*w + 10)>, <36, 1/99*(5*w + 40)>, <24, 1/4087*(140*w + 2680)>, <24, 1/120*(7*w + 134)>, <24, 1/1403*(42*w + 843)>, <24, 1/8174*(231*w + 3752)>, <24, 1/10*(w - 4)>, <12, 1/265*(6*w + 129)>, <24, 1/3721*(42*w - 255)>, <12, 1/732*(5*w - 35)>, <24, 1/3721*(42*w + 3976)>, <6, 1/1749*(49*w + 1994)>, <12, 1/6831*(245*w + 3940)>, <12, 1/275*(6*w + 224)>, <12, 1/138*(w + 140)>, <12, 1/23*(24*w - 48)>, <24, 1/12*(w - 2)>, <24, 1/12*(w + 14)>, <12, 1/3551*(120*w + 3216)>, <36, 1/3*(w + 5)>, <12, 1/69*(w + 2)>, <36, 1/53*(w + 5)>, <24, 1/759*(20*w + 259)>, <12, 1/483*(55*w + 593)>, <12, 1/396*(w - 8)>, <24, 1/759*(20*w + 500)>, <12, 1/23*(8*w + 16)>, <12, 1/636*(13*w - 65)>, <24, 1/1287*(5*w + 40)>, <12, 1/85*(w + 6)>, <12, 1/48*(w - 6)>, <6, 1/170*(w + 6)>, <6, 1/159*(169*w + 845)>, <4, 1/7225*(78*w + 6588)>, <4, w - 6>, <1, 1/33489*(13*w + 31018)>, <1, 1/31110*(169*w + 29744)>, <2, 1/2379*(14*w + 2464)>, <1, 1/33489*(14*w + 85)>, <1, 1/170*(169*w + 1366)>, <1, 1/169*(14*w + 85)>, <1, 13*w + 92>, <4, 1/170*(w - 6)>, <-12, 1/792*(-35*w + 1072)>, <-12, 1/67*(-4*w + 67)>, <-12, 1/15555*(-91*w + 14911)>, <-12, 1/7*(-w - 3)>, <-24, 1/150*(-7*w - 28)>, <-12, 1/34*(-w - 6)>, <-12, 1/75*(-2*w - 8)>, <-12, 1/91*(-2*w + 8)>, <-12, 1/45*(-2*w + 2)>, <-12, 1/33*(-2*w + 43)>, <-12, 1/75*(-11*w - 44)>, <-12, 1/99*(-w + 107)>, <-12, 1/169*(-7*w + 134)>, <-12, 1/183*(-2*w + 14)>, <-12, 1/45*(-2*w - 2)>, <-12, 1/33*(-2*w + 47)>, <-12, 1/92*(-5*w + 102)>, <-12, 1/39*(-2*w + 19)>, <-12, 1/540*(-143*w + 143)>, <-12, 1/4*(-w - 1)>, <-12, 1/135*(-2*w + 137)>, <-12, 1/91*(-11*w + 124)>, <-12, 1/13515*(-88*w + 832)>, <-12, 1/72*(-5*w + 67)>, <-12, 1/26*(-w + 10)>, <-12, -w + 1>, <-12, 1/10*(-w + 11)>, <-12, 1/5*(-w - 1)>, <-12, 1/459*(-11*w + 308)>, <-12, 1/135*(-13*w - 13)>, <-12, 1/6*(-w - 8)>, <-12, 1/26*(-3*w - 12)>, <-6, 1/945*(-121*w + 1066)>, <-12, 1/85*(-2*w + 73)>, <-12, 1/276*(-77*w + 122)>, <-12, 1/16*(-w + 14)>, <-12, 1/11*(-8*w + 64)>, <-12, 1/253*(-8*w + 53)>, <-12, 1/99*(-10*w - 80)>, <-12, 1/265*(-6*w + 129)>, <-12, 1/732*(-5*w - 35)>, <-6, 1/1749*(-49*w + 1994)>, <-12, 1/6831*(-245*w + 3940)>, <-12, 1/275*(-6*w + 224)>, <-12, 1/138*(-w + 140)>, <-12, 1/23*(-24*w - 48)>, <-12, 1/3551*(-120*w + 3216)>, <-12, 1/69*(-w + 2)>, <-12, 1/483*(-55*w + 593)>, <-12, 1/396*(-w - 8)>, <-12, 1/23*(-8*w + 16)>, <-12, 1/636*(-13*w - 65)>, <-12, 1/85*(-w + 6)>, <-12, 1/48*(-w - 6)>, <-6, 1/170*(-w + 6)>, <-6, 1/159*(-169*w + 845)>, <-4, 1/7225*(-78*w + 6588)>, <-1, 1/33489*(-13*w + 31018)>, <-1, 1/31110*(-169*w + 29744)>, <-2, 1/2379*(-14*w + 2464)>, <-1, 1/33489*(-14*w + 85)>, <-1, 1/170*(-169*w + 1366)>, <-1, 1/169*(-14*w + 85)>, <-1, -13*w + 92> ]